0.00/0.00 c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.4.2] [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-2666683-1276662066.opb>
0.20/0.22 c original problem has 16795 variables (16795 bin, 0 int, 0 impl, 0 cont) and 16795 constraints
0.20/0.22 c problem read
0.20/0.22 c presolving settings loaded
0.39/0.44 o 0
0.39/0.44 c feasible solution found by trivial heuristic, objective value 0.000000e+00
0.39/0.44 c presolving:
0.89/0.90 c (round 1) 15795 del vars, 1000 del conss, 15795 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 63180 impls, 0 clqs
1.10/1.14 c (0.8s) probing: 101/1000 (10.1%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
1.10/1.14 c (0.8s) probing aborted: 100/100 successive totally useless probings
1.10/1.14 c presolving (2 rounds):
1.10/1.14 c 15795 deleted vars, 1000 deleted constraints, 15795 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
1.10/1.14 c 94770 implications, 0 cliques
1.10/1.14 c presolved problem has 1000 variables (1000 bin, 0 int, 0 impl, 0 cont) and 15795 constraints
1.10/1.14 c 15795 constraints of type <logicor>
1.10/1.14 c transformed objective value is always integral (scale: 1)
1.10/1.14 c Presolving Time: 0.69
1.10/1.14 c - non default parameters ----------------------------------------------------------------------
1.10/1.14 c # SCIP version 1.2.1.2
1.10/1.14 c
1.10/1.14 c # maximal number of intermediate conflict constraints generated in conflict graph (-1: use every intermediate constraint)
1.10/1.14 c # [type: int, range: [-1,2147483647], default: -1]
1.10/1.14 c conflict/interconss = 0
1.10/1.14 c
1.10/1.14 c # should binary conflicts be preferred?
1.10/1.14 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.10/1.14 c conflict/preferbinary = TRUE
1.10/1.14 c
1.10/1.14 c # maximum age an unnecessary constraint can reach before it is deleted (0: dynamic, -1: keep all constraints)
1.10/1.14 c # [type: int, range: [-1,2147483647], default: 0]
1.10/1.14 c constraints/agelimit = 1
1.10/1.14 c
1.10/1.14 c # should enforcement of pseudo solution be disabled?
1.10/1.14 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.10/1.14 c constraints/disableenfops = TRUE
1.10/1.14 c
1.10/1.14 c # frequency for displaying node information lines
1.10/1.14 c # [type: int, range: [-1,2147483647], default: 100]
1.10/1.14 c display/freq = 10000
1.10/1.14 c
1.10/1.14 c # maximal time in seconds to run
1.10/1.14 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1.10/1.14 c limits/time = 1799.78
1.10/1.14 c
1.10/1.14 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1.10/1.14 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1.10/1.14 c limits/memory = 1620
1.10/1.14 c
1.10/1.14 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
1.10/1.14 c # [type: int, range: [-1,2147483647], default: 1]
1.10/1.14 c lp/solvefreq = 0
1.10/1.14 c
1.10/1.14 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.14 c # [type: char, range: {lafpsqd}, default: l]
1.10/1.14 c lp/pricing = a
1.10/1.14 c
1.10/1.14 c # should presolving try to simplify inequalities
1.10/1.14 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.10/1.14 c constraints/linear/simplifyinequalities = TRUE
1.10/1.14 c
1.10/1.14 c # should presolving try to simplify knapsacks
1.10/1.14 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.10/1.14 c constraints/knapsack/simplifyinequalities = TRUE
1.10/1.14 c
1.10/1.14 c # priority of node selection rule <dfs> in standard mode
1.10/1.14 c # [type: int, range: [-536870912,536870911], default: 0]
1.10/1.14 c nodeselection/dfs/stdpriority = 1000000
1.10/1.14 c
1.10/1.14 c -----------------------------------------------------------------------------------------------
1.10/1.14 c start solving
1.10/1.14 c
1.79/1.80 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1.79/1.80 c t 1.4s| 1 | 0 | 1078 | - | 44M| 0 |1000 |1000 | 15k|1000 | 15k| 0 | 0 | 0 |-5.000000e+02 | 0.000000e+00 | 100.00%
1.79/1.88 o -1
1.79/1.88 c R 1.5s| 1 | 0 | 1078 | - | 44M| 0 |1000 |1000 | 15k|1000 | 15k| 0 | 0 | 0 |-5.000000e+02 |-1.000000e+00 | 99.80%
1.89/1.97 o -2
1.89/1.97 c s 1.6s| 1 | 0 | 1078 | - | 44M| 0 |1000 |1000 | 15k|1000 | 15k| 0 | 0 | 0 |-5.000000e+02 |-2.000000e+00 | 99.60%
2.59/2.64 c 2.2s| 1 | 0 | 1160 | - | 44M| 0 | 992 |1000 | 15k|1000 | 15k| 8 | 0 | 0 |-4.960000e+02 |-2.000000e+00 | 99.60%
2.59/2.65 o -101
2.59/2.65 c b 2.2s| 1 | 0 | 1160 | - | 44M| 0 | 992 |1000 | 15k|1000 | 15k| 8 | 0 | 0 |-4.960000e+02 |-1.010000e+02 | 79.64%
3.39/3.49 c 3.1s| 1 | 0 | 1262 | - | 44M| 0 | 986 |1000 | 15k|1000 | 15k| 16 | 0 | 0 |-4.930000e+02 |-1.010000e+02 | 79.51%
4.19/4.29 c 3.9s| 1 | 0 | 1333 | - | 44M| 0 | 981 |1000 | 15k|1000 | 15k| 25 | 0 | 0 |-4.905000e+02 |-1.010000e+02 | 79.41%
5.19/5.22 c 4.8s| 1 | 0 | 1487 | - | 44M| 0 | 974 |1000 | 15k|1000 | 15k| 35 | 0 | 0 |-4.870000e+02 |-1.010000e+02 | 79.26%
6.19/6.29 c 5.8s| 1 | 0 | 1656 | - | 44M| 0 | 969 |1000 | 15k|1000 | 15k| 44 | 0 | 0 |-4.845000e+02 |-1.010000e+02 | 79.15%
7.09/7.14 c 6.7s| 1 | 0 | 1756 | - | 44M| 0 | 964 |1000 | 15k|1000 | 15k| 53 | 0 | 0 |-4.820000e+02 |-1.010000e+02 | 79.05%
8.09/8.11 c 7.6s| 1 | 0 | 1874 | - | 44M| 0 | 960 |1000 | 15k|1000 | 15k| 61 | 0 | 0 |-4.800000e+02 |-1.010000e+02 | 78.96%
8.89/8.97 c 8.5s| 1 | 0 | 1951 | - | 44M| 0 | 956 |1000 | 15k|1000 | 15k| 67 | 0 | 0 |-4.780000e+02 |-1.010000e+02 | 78.87%
10.19/10.29 c 9.8s| 1 | 0 | 2199 | - | 44M| 0 | 951 |1000 | 15k|1000 | 15k| 77 | 0 | 0 |-4.755000e+02 |-1.010000e+02 | 78.76%
11.69/11.78 c 11.2s| 1 | 0 | 2489 | - | 44M| 0 | 948 |1000 | 15k|1000 | 15k| 85 | 0 | 0 |-4.737500e+02 |-1.010000e+02 | 78.68%
12.59/12.67 c 12.1s| 1 | 0 | 2609 | - | 44M| 0 | 945 |1000 | 15k|1000 |1274 | 92 | 0 | 0 |-4.725000e+02 |-1.010000e+02 | 78.62%
13.09/13.11 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
13.09/13.11 c 12.6s| 1 | 0 | 2977 | - | 44M| 0 | 865 |1000 | 15k|1000 |1288 | 106 | 0 | 0 |-4.695000e+02 |-1.010000e+02 | 78.49%
13.69/13.73 c 13.2s| 1 | 0 | 3564 | - | 45M| 0 | 917 |1000 | 15k|1000 |2259 |1077 | 0 | 0 |-4.665000e+02 |-1.010000e+02 | 78.35%
14.19/14.22 c 13.7s| 1 | 0 | 4015 | - | 45M| 0 | 923 |1000 | 15k|1000 |2472 |1290 | 0 | 0 |-4.645000e+02 |-1.010000e+02 | 78.26%
14.69/14.76 c 14.2s| 1 | 0 | 4551 | - | 45M| 0 | 924 |1000 | 15k|1000 |2553 |1371 | 0 | 0 |-4.630000e+02 |-1.010000e+02 | 78.19%
15.30/15.34 c 14.8s| 1 | 0 | 5161 | - | 45M| 0 | 906 |1000 | 15k|1000 |2581 |1399 | 0 | 0 |-4.622500e+02 |-1.010000e+02 | 78.15%
16.08/16.12 c 15.5s| 1 | 0 | 6037 | - | 45M| 0 | 939 |1000 | 15k|1000 |2541 |1659 | 0 | 0 |-4.596250e+02 |-1.010000e+02 | 78.03%
16.99/17.07 c 16.5s| 1 | 0 | 6851 | - | 46M| 0 | 908 |1000 | 15k|1000 |3434 |2552 | 0 | 0 |-4.550000e+02 |-1.010000e+02 | 77.80%
17.60/17.63 c 17.0s| 1 | 0 | 7265 | - | 46M| 0 | 905 |1000 | 15k|1000 |3473 |2591 | 0 | 0 |-4.535000e+02 |-1.010000e+02 | 77.73%
17.99/18.04 c 17.4s| 1 | 0 | 7482 | - | 46M| 0 | 904 |1000 | 15k|1000 |3501 |2619 | 0 | 0 |-4.520000e+02 |-1.010000e+02 | 77.65%
18.70/18.75 c 18.1s| 1 | 0 | 8082 | - | 46M| 0 | 896 |1000 | 15k|1000 |3509 |2627 | 0 | 0 |-4.520000e+02 |-1.010000e+02 | 77.65%
19.59/19.60 c 19.0s| 1 | 0 | 8762 | - | 46M| 0 | 901 |1000 | 15k|1000 |3609 |2727 | 0 | 0 |-4.505000e+02 |-1.010000e+02 | 77.58%
20.48/20.56 c 19.9s| 1 | 0 | 9824 | - | 46M| 0 | 891 |1000 | 15k|1000 |2594 |2751 | 0 | 0 |-4.484375e+02 |-1.010000e+02 | 77.48%
21.08/21.10 c 20.5s| 1 | 0 | 10386 | - | 46M| 0 | 890 |1000 | 15k|1000 |2673 |2830 | 0 | 0 |-4.470000e+02 |-1.010000e+02 | 77.40%
21.58/21.62 c 21.0s| 1 | 0 | 10873 | - | 46M| 0 | 894 |1000 | 15k|1000 |2743 |2900 | 0 | 0 |-4.465000e+02 |-1.010000e+02 | 77.38%
22.18/22.25 c 21.6s| 1 | 0 | 11480 | - | 46M| 0 | 886 |1000 | 15k|1000 |2774 |2931 | 0 | 0 |-4.455000e+02 |-1.010000e+02 | 77.33%
22.89/22.91 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
22.89/22.91 c 22.2s| 1 | 0 | 12075 | - | 46M| 0 | 892 |1000 | 15k|1000 |2884 |3041 | 0 | 0 |-4.450000e+02 |-1.010000e+02 | 77.30%
23.58/23.67 c 23.0s| 1 | 0 | 12888 | - | 47M| 0 | 891 |1000 | 15k|1000 |2949 |3106 | 0 | 0 |-4.437500e+02 |-1.010000e+02 | 77.24%
24.59/24.62 c 23.9s| 1 | 0 | 13890 | - | 47M| 0 | 889 |1000 | 15k|1000 |1639 |3221 | 0 | 0 |-4.428750e+02 |-1.010000e+02 | 77.19%
25.09/25.15 c 24.5s| 1 | 0 | 14487 | - | 47M| 0 | 853 |1000 | 15k|1000 |1735 |3317 | 0 | 0 |-4.420000e+02 |-1.010000e+02 | 77.15%
25.58/25.66 c 25.0s| 1 | 0 | 14930 | - | 47M| 0 | 857 |1000 | 15k|1000 |2168 |3750 | 0 | 0 |-4.415000e+02 |-1.010000e+02 | 77.12%
26.48/26.50 c 25.8s| 1 | 0 | 15900 | - | 48M| 0 | 873 |1000 | 15k|1000 |2657 |4239 | 0 | 0 |-4.393125e+02 |-1.010000e+02 | 77.01%
27.68/27.72 c 27.0s| 1 | 0 | 17035 | - | 48M| 0 | 882 |1000 | 15k|1000 |3289 |4871 | 0 | 0 |-4.371667e+02 |-1.010000e+02 | 76.90%
28.49/28.60 c 27.9s| 1 | 0 | 17830 | - | 48M| 0 | 871 |1000 | 15k|1000 |3298 |4880 | 0 | 0 |-4.356667e+02 |-1.010000e+02 | 76.82%
30.09/30.12 c 29.4s| 1 | 0 | 19264 | - | 48M| 0 | 869 |1000 | 15k|1000 |2887 |4960 | 0 | 0 |-4.348333e+02 |-1.010000e+02 | 76.77%
30.89/30.91 c 30.2s| 1 | 0 | 20111 | - | 48M| 0 | 881 |1000 | 15k|1000 |2969 |5042 | 0 | 0 |-4.344167e+02 |-1.010000e+02 | 76.75%
32.78/32.89 c 32.1s| 1 | 0 | 22011 | - | 48M| 0 | 860 |1000 | 15k|1000 |3207 |5280 | 0 | 0 |-4.332500e+02 |-1.010000e+02 | 76.69%
33.58/33.65 c 32.9s| 1 | 0 | 22767 | - | 49M| 0 | 861 |1000 | 15k|1000 |3316 |5389 | 0 | 0 |-4.315000e+02 |-1.010000e+02 | 76.59%
34.38/34.42 c 33.6s| 1 | 0 | 23613 | - | 50M| 0 | 867 |1000 | 15k|1000 |3344 |5417 | 0 | 0 |-4.305000e+02 |-1.010000e+02 | 76.54%
35.38/35.45 c 34.7s| 1 | 0 | 24525 | - | 50M| 0 | 869 |1000 | 15k|1000 |3421 |5494 | 0 | 0 |-4.300000e+02 |-1.010000e+02 | 76.51%
36.79/36.86 c 36.1s| 1 | 0 | 26067 | - | 50M| 0 | 898 |1000 | 15k|1000 |2853 |5580 | 0 | 0 |-4.289000e+02 |-1.010000e+02 | 76.45%
38.99/39.00 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
38.99/39.00 c 38.2s| 1 | 0 | 26567 | - | 51M| 0 | 869 |1000 | 15k|1000 |4853 |7580 | 0 | 0 |-4.285000e+02 |-1.010000e+02 | 76.43%
40.08/40.12 c 39.3s| 1 | 0 | 27327 | - | 52M| 0 | 871 |1000 | 15k|1000 |4888 |7615 | 0 | 0 |-4.270000e+02 |-1.010000e+02 | 76.35%
41.28/41.34 c 40.5s| 1 | 0 | 28249 | - | 52M| 0 | 853 |1000 | 15k|1000 |4927 |7654 | 0 | 0 |-4.250000e+02 |-1.010000e+02 | 76.24%
43.18/43.20 c 42.4s| 1 | 0 | 29808 | - | 52M| 0 | 846 |1000 | 15k|1000 |4938 |7665 | 0 | 0 |-4.230000e+02 |-1.010000e+02 | 76.12%
44.17/44.27 c 43.4s| 1 | 0 | 30558 | - | 52M| 0 | 840 |1000 | 15k|1000 |4946 |7673 | 0 | 0 |-4.220000e+02 |-1.010000e+02 | 76.07%
45.38/45.45 c 44.6s| 1 | 0 | 31538 | - | 52M| 0 | 840 |1000 | 15k|1000 |3731 |7720 | 0 | 0 |-4.200000e+02 |-1.010000e+02 | 75.95%
45.88/45.99 c 45.1s| 1 | 0 | 32040 | - | 52M| 0 | 832 |1000 | 15k|1000 |3739 |7728 | 0 | 0 |-4.190000e+02 |-1.010000e+02 | 75.89%
47.29/47.34 c 46.5s| 1 | 0 | 33440 | - | 52M| 0 | 846 |1000 | 15k|1000 |3809 |7798 | 0 | 0 |-4.177500e+02 |-1.010000e+02 | 75.82%
48.18/48.25 c 47.4s| 1 | 0 | 34355 | - | 52M| 0 | 832 |1000 | 15k|1000 |3993 |7982 | 0 | 0 |-4.167500e+02 |-1.010000e+02 | 75.76%
49.28/49.33 c 48.4s| 1 | 0 | 35309 | - | 52M| 0 | 828 |1000 | 15k|1000 |4131 |8120 | 0 | 0 |-4.160000e+02 |-1.010000e+02 | 75.72%
49.98/50.06 c 49.1s| 1 | 0 | 35901 | - | 52M| 0 | 840 |1000 | 15k|1000 |4199 |8188 | 0 | 0 |-4.160000e+02 |-1.010000e+02 | 75.72%
51.69/51.78 c 50.9s| 1 | 0 | 37366 | - | 53M| 0 | 847 |1000 | 15k|1000 |2092 |8218 | 0 | 0 |-4.155000e+02 |-1.010000e+02 | 75.69%
52.58/52.64 c 51.7s| 1 | 0 | 38328 | - | 54M| 0 | 826 |1000 | 15k|1000 |2258 |8384 | 0 | 0 |-4.138667e+02 |-1.010000e+02 | 75.60%
53.28/53.40 c 52.4s| 1 | 0 | 39213 | - | 54M| 0 | 836 |1000 | 15k|1000 |2526 |8652 | 0 | 0 |-4.125000e+02 |-1.010000e+02 | 75.52%
54.18/54.24 c 53.3s| 1 | 0 | 40113 | - | 54M| 0 | 829 |1000 | 15k|1000 |2578 |8704 | 0 | 0 |-4.120000e+02 |-1.010000e+02 | 75.49%
55.37/55.43 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
55.37/55.43 c 54.5s| 1 | 0 | 41671 | - | 54M| 0 | 879 |1000 | 15k|1000 |2612 |8738 | 0 | 0 |-4.110154e+02 |-1.010000e+02 | 75.43%
56.68/56.79 c 55.8s| 1 | 0 | 42556 | - | 54M| 0 | 821 |1000 | 15k|1000 |4076 | 10k| 0 | 0 |-4.105000e+02 |-1.010000e+02 | 75.40%
57.88/57.91 c 56.9s| 1 | 0 | 43408 | - | 54M| 0 | 821 |1000 | 15k|1000 |3714 | 10k| 0 | 0 |-4.100000e+02 |-1.010000e+02 | 75.37%
58.58/58.66 c 57.6s| 1 | 0 | 43888 | - | 55M| 0 | 817 |1000 | 15k|1000 |3722 | 10k| 0 | 0 |-4.100000e+02 |-1.010000e+02 | 75.37%
59.87/59.97 c 59.0s| 1 | 0 | 45111 | - | 55M| 0 | 836 |1000 | 15k|1000 |3774 | 10k| 0 | 0 |-4.094375e+02 |-1.010000e+02 | 75.33%
60.97/61.04 c 60.0s| 1 | 0 | 46208 | - | 55M| 0 | 811 |1000 | 15k|1000 |3815 | 10k| 0 | 0 |-4.085000e+02 |-1.010000e+02 | 75.28%
62.37/62.43 c 61.4s| 1 | 0 | 47584 | - | 56M| 0 | 837 |1000 | 15k|1000 |3920 | 10k| 0 | 0 |-4.076000e+02 |-1.010000e+02 | 75.22%
63.68/63.75 c 62.7s| 1 | 0 | 48581 | - | 56M| 0 | 812 |1000 | 15k|1000 |3978 | 10k| 0 | 0 |-4.070000e+02 |-1.010000e+02 | 75.18%
65.17/65.25 c 64.2s| 1 | 0 | 49991 | - | 56M| 0 | 805 |1000 | 15k|1000 |3324 | 10k| 0 | 0 |-4.055000e+02 |-1.010000e+02 | 75.09%
66.08/66.18 c 65.1s| 1 | 0 | 51079 | - | 56M| 0 | 852 |1000 | 15k|1000 |3395 | 10k| 0 | 0 |-4.040000e+02 |-1.010000e+02 | 75.00%
67.17/67.24 c 66.2s| 1 | 0 | 52016 | - | 56M| 0 | 804 |1000 | 15k|1000 |3612 | 10k| 0 | 0 |-4.030000e+02 |-1.010000e+02 | 74.94%
67.87/67.92 c 66.8s| 1 | 0 | 52481 | - | 56M| 0 | 806 |1000 | 15k|1000 |3635 | 10k| 0 | 0 |-4.025000e+02 |-1.010000e+02 | 74.91%
69.28/69.35 c 68.2s| 1 | 0 | 53773 | - | 57M| 0 | 796 |1000 | 15k|1000 |3647 | 10k| 0 | 0 |-4.010000e+02 |-1.010000e+02 | 74.81%
70.47/70.52 c 69.4s| 1 | 0 | 54902 | - | 57M| 0 | 795 |1000 | 15k|1000 |3719 | 10k| 0 | 0 |-4.005000e+02 |-1.010000e+02 | 74.78%
72.28/72.36 c 71.2s| 1 | 0 | 56500 | - | 57M| 0 | 796 |1000 | 15k|1000 |2914 | 10k| 0 | 0 |-3.997500e+02 |-1.010000e+02 | 74.73%
73.27/73.34 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
73.27/73.34 c 72.2s| 1 | 0 | 57620 | - | 57M| 0 | 798 |1000 | 15k|1000 |2961 | 11k| 0 | 0 |-3.992500e+02 |-1.010000e+02 | 74.70%
74.27/74.38 c 73.2s| 1 | 0 | 58828 | - | 57M| 0 | 821 |1000 | 15k|1000 |3155 | 11k| 0 | 0 |-3.981250e+02 |-1.010000e+02 | 74.63%
75.38/75.44 c 74.3s| 1 | 0 | 60181 | - | 57M| 0 | 853 |1000 | 15k|1000 |3317 | 11k| 0 | 0 |-3.967830e+02 |-1.010000e+02 | 74.55%
76.97/77.09 c 75.9s| 1 | 0 | 61940 | - | 58M| 0 | 833 |1000 | 15k|1000 |3747 | 11k| 0 | 0 |-3.955000e+02 |-1.010000e+02 | 74.46%
80.57/80.60 c 79.4s| 1 | 0 | 64761 | - | 58M| 0 | 820 |1000 | 15k|1000 |3864 | 11k| 0 | 0 |-3.948333e+02 |-1.010000e+02 | 74.42%
82.07/82.12 c 80.9s| 1 | 0 | 65923 | - | 59M| 0 | 850 |1000 | 15k|1000 |3430 | 12k| 0 | 0 |-3.940000e+02 |-1.010000e+02 | 74.37%
83.58/83.70 c 82.4s| 1 | 0 | 67205 | - | 60M| 0 | 847 |1000 | 15k|1000 |3491 | 12k| 0 | 0 |-3.940000e+02 |-1.010000e+02 | 74.37%
85.57/85.63 c 84.4s| 1 | 0 | 68783 | - | 60M| 0 | 848 |1000 | 15k|1000 |3554 | 12k| 0 | 0 |-3.940000e+02 |-1.010000e+02 | 74.37%
89.17/89.27 c 88.0s| 1 | 0 | 71753 | - | 62M| 0 | 819 |1000 | 15k|1000 |3636 | 12k| 0 | 0 |-3.935000e+02 |-1.010000e+02 | 74.33%
91.67/91.73 c 90.4s| 1 | 0 | 74089 | - | 63M| 0 | 918 |1000 | 15k|1000 |3719 | 12k| 0 | 0 |-3.927184e+02 |-1.010000e+02 | 74.28%
95.06/95.14 c 93.8s| 1 | 0 | 75938 | - | 64M| 0 | 883 |1000 | 15k|1000 |5717 | 14k| 0 | 0 |-3.919102e+02 |-1.010000e+02 | 74.23%
97.56/97.68 c 96.3s| 1 | 0 | 77440 | - | 64M| 0 | 833 |1000 | 15k|1000 |5516 | 14k| 0 | 0 |-3.906250e+02 |-1.010000e+02 | 74.14%
100.07/100.14 c 98.8s| 1 | 0 | 78823 | - | 65M| 0 | 818 |1000 | 15k|1000 |5542 | 14k| 0 | 0 |-3.901667e+02 |-1.010000e+02 | 74.11%
103.57/103.61 c 102s| 1 | 0 | 80404 | - | 65M| 0 | 862 |1000 | 15k|1000 |5592 | 14k| 0 | 0 |-3.893778e+02 |-1.010000e+02 | 74.06%
106.68/106.73 c 105s| 1 | 0 | 82468 | - | 69M| 0 | 855 |1000 | 15k|1000 |5721 | 14k| 0 | 0 |-3.872895e+02 |-1.010000e+02 | 73.92%
109.46/109.53 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
109.46/109.53 c 108s| 1 | 0 | 83666 | - | 69M| 0 | 851 |1000 | 15k|1000 |5763 | 14k| 0 | 0 |-3.858889e+02 |-1.010000e+02 | 73.83%
115.26/115.35 c 114s| 1 | 0 | 86491 | - | 69M| 0 | 869 |1000 | 15k|1000 |5792 | 14k| 0 | 0 |-3.844231e+02 |-1.010000e+02 | 73.73%
119.26/119.30 c 118s| 1 | 0 | 88668 | - | 73M| 0 | 850 |1000 | 15k|1000 |5390 | 14k| 0 | 0 |-3.825000e+02 |-1.010000e+02 | 73.59%
123.25/123.34 c 122s| 1 | 0 | 90887 | - | 76M| 0 | 838 |1000 | 15k|1000 |5410 | 14k| 0 | 0 |-3.817001e+02 |-1.010000e+02 | 73.54%
125.96/126.08 c 125s| 1 | 0 | 92487 | - | 77M| 0 | 864 |1000 | 15k|1000 |5511 | 14k| 0 | 0 |-3.795908e+02 |-1.010000e+02 | 73.39%
131.97/132.06 c 130s| 1 | 0 | 95497 | - | 78M| 0 | 852 |1000 | 15k|1000 |5594 | 14k| 0 | 0 |-3.783611e+02 |-1.010000e+02 | 73.31%
135.17/135.26 c 134s| 1 | 0 | 97076 | - | 78M| 0 | 860 |1000 | 15k|1000 |5726 | 15k| 0 | 0 |-3.768333e+02 |-1.010000e+02 | 73.20%
141.56/141.61 c 140s| 1 | 0 |100333 | - | 80M| 0 | 877 |1000 | 15k|1000 |5801 | 15k| 0 | 0 |-3.761250e+02 |-1.010000e+02 | 73.15%
148.46/148.60 c 147s| 1 | 0 |103426 | - | 83M| 0 | 861 |1000 | 15k|1000 |4909 | 15k| 0 | 0 |-3.755145e+02 |-1.010000e+02 | 73.10%
151.55/151.62 c 150s| 1 | 0 |105706 | - | 86M| 0 | 782 |1000 | 15k|1000 |5021 | 15k| 0 | 0 |-3.738929e+02 |-1.010000e+02 | 72.99%
154.05/154.18 c 152s| 1 | 0 |107601 | - | 87M| 0 | 860 |1000 | 15k|1000 |5064 | 15k| 0 | 0 |-3.734470e+02 |-1.010000e+02 | 72.95%
157.15/157.23 c 155s| 1 | 0 |109200 | - | 87M| 0 | 863 |1000 | 15k|1000 |5148 | 15k| 0 | 0 |-3.731982e+02 |-1.010000e+02 | 72.94%
161.25/161.37 c 160s| 1 | 0 |111512 | - | 88M| 0 | 834 |1000 | 15k|1000 |5171 | 15k| 0 | 0 |-3.722727e+02 |-1.010000e+02 | 72.87%
165.05/165.11 c 163s| 1 | 0 |113580 | - | 88M| 0 | 864 |1000 | 15k|1000 |5202 | 15k| 0 | 0 |-3.719815e+02 |-1.010000e+02 | 72.85%
168.55/168.60 c 167s| 1 | 0 |115354 | - | 88M| 0 | 855 |1000 | 15k|1000 |4844 | 15k| 0 | 0 |-3.710284e+02 |-1.010000e+02 | 72.78%
170.75/170.80 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
170.75/170.80 c 169s| 1 | 0 |116826 | - | 89M| 0 | 888 |1000 | 15k|1000 |4933 | 15k| 0 | 0 |-3.705296e+02 |-1.010000e+02 | 72.74%
173.35/173.46 c 172s| 1 | 0 |118183 | - | 89M| 0 | 806 |1000 | 15k|1000 |5038 | 15k| 0 | 0 |-3.702500e+02 |-1.010000e+02 | 72.72%
179.65/179.71 c 178s| 1 | 0 |121895 | - | 89M| 0 | 856 |1000 | 15k|1000 |5084 | 15k| 0 | 0 |-3.696638e+02 |-1.010000e+02 | 72.68%
182.35/182.47 c 181s| 1 | 0 |123867 | - | 90M| 0 | 895 |1000 | 15k|1000 |5132 | 15k| 0 | 0 |-3.689789e+02 |-1.010000e+02 | 72.63%
185.94/186.07 c 184s| 1 | 0 |126090 | - | 93M| 0 | 877 |1000 | 15k|1000 |5296 | 15k| 0 | 0 |-3.678659e+02 |-1.010000e+02 | 72.54%
189.84/189.91 c 188s| 1 | 0 |128841 | - | 95M| 0 | 901 |1000 | 15k|1000 |5106 | 16k| 0 | 0 |-3.666305e+02 |-1.010000e+02 | 72.45%
193.55/193.65 c 192s| 1 | 0 |130774 | - | 95M| 0 | 905 |1000 | 15k|1000 |5229 | 16k| 0 | 0 |-3.656019e+02 |-1.010000e+02 | 72.37%
198.14/198.23 c 196s| 1 | 0 |133116 | - | 95M| 0 | 927 |1000 | 15k|1000 |5299 | 16k| 0 | 0 |-3.651892e+02 |-1.010000e+02 | 72.34%
202.25/202.31 c 200s| 1 | 0 |134761 | - | 95M| 0 | 925 |1000 | 15k|1000 |5459 | 16k| 0 | 0 |-3.644602e+02 |-1.010000e+02 | 72.29%
207.04/207.15 c 205s| 1 | 0 |137177 | - | 96M| 0 | 930 |1000 | 15k|1000 |5563 | 16k| 0 | 0 |-3.632730e+02 |-1.010000e+02 | 72.20%
211.54/211.65 c 209s| 1 | 0 |138944 | - | 96M| 0 | 922 |1000 | 15k|1000 |5676 | 16k| 0 | 0 |-3.624874e+02 |-1.010000e+02 | 72.14%
216.83/216.95 c 215s| 1 | 0 |141311 | - | 96M| 0 | 922 |1000 | 15k|1000 |5477 | 16k| 0 | 0 |-3.616764e+02 |-1.010000e+02 | 72.07%
221.53/221.69 c 219s| 1 | 0 |143507 | - | 96M| 0 | 927 |1000 | 15k|1000 |5526 | 16k| 0 | 0 |-3.606970e+02 |-1.010000e+02 | 72.00%
226.64/226.73 c 224s| 1 | 0 |145465 | - | 96M| 0 | 940 |1000 | 15k|1000 |5583 | 16k| 0 | 0 |-3.596904e+02 |-1.010000e+02 | 71.92%
231.63/231.77 c 229s| 1 | 0 |147214 | - | 96M| 0 | 935 |1000 | 15k|1000 |5640 | 16k| 0 | 0 |-3.586187e+02 |-1.010000e+02 | 71.84%
237.33/237.48 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
237.33/237.48 c 235s| 1 | 0 |149387 | - | 96M| 0 | 945 |1000 | 15k|1000 |5702 | 16k| 0 | 0 |-3.577748e+02 |-1.010000e+02 | 71.77%
243.63/243.72 c 241s| 1 | 0 |151623 | - | 96M| 0 | 940 |1000 | 15k|1000 |5827 | 17k| 0 | 0 |-3.566548e+02 |-1.010000e+02 | 71.68%
248.43/248.57 c 246s| 1 | 0 |153170 | - | 96M| 0 | 935 |1000 | 15k|1000 |5545 | 17k| 0 | 0 |-3.557131e+02 |-1.010000e+02 | 71.61%
253.03/253.13 c 251s| 1 | 0 |154562 | - | 96M| 0 | 943 |1000 | 15k|1000 |5561 | 17k| 0 | 0 |-3.552084e+02 |-1.010000e+02 | 71.57%
258.83/258.95 c 256s| 1 | 0 |156994 | - | 96M| 0 | 951 |1000 | 15k|1000 |5705 | 17k| 0 | 0 |-3.544656e+02 |-1.010000e+02 | 71.51%
264.02/264.19 c 262s| 1 | 0 |158852 | - | 96M| 0 | 962 |1000 | 15k|1000 |5808 | 17k| 0 | 0 |-3.537120e+02 |-1.010000e+02 | 71.45%
269.02/269.19 c 267s| 1 | 0 |160215 | - | 96M| 0 | 955 |1000 | 15k|1000 |5831 | 17k| 0 | 0 |-3.532673e+02 |-1.010000e+02 | 71.41%
275.03/275.17 c 273s| 1 | 0 |162383 | - | 95M| 0 | 961 |1000 | 15k|1000 |5860 | 17k| 0 | 0 |-3.522097e+02 |-1.010000e+02 | 71.32%
281.12/281.25 c 279s| 1 | 0 |164478 | - | 95M| 0 | 963 |1000 | 15k|1000 |5686 | 17k| 0 | 0 |-3.515800e+02 |-1.010000e+02 | 71.27%
286.72/286.86 c 284s| 1 | 0 |165987 | - | 95M| 0 | 969 |1000 | 15k|1000 |5739 | 17k| 0 | 0 |-3.511615e+02 |-1.010000e+02 | 71.24%
292.52/292.69 c 290s| 1 | 0 |167627 | - | 95M| 0 | 970 |1000 | 15k|1000 |5805 | 17k| 0 | 0 |-3.504893e+02 |-1.010000e+02 | 71.18%
298.92/299.01 c 296s| 1 | 0 |169559 | - | 95M| 0 | 970 |1000 | 15k|1000 |5901 | 17k| 0 | 0 |-3.495823e+02 |-1.010000e+02 | 71.11%
304.92/305.07 c 302s| 1 | 0 |171353 | - | 95M| 0 | 967 |1000 | 15k|1000 |5935 | 17k| 0 | 0 |-3.487421e+02 |-1.010000e+02 | 71.04%
312.32/312.42 c 310s| 1 | 0 |173773 | - | 95M| 0 | 967 |1000 | 15k|1000 |5984 | 17k| 0 | 0 |-3.478377e+02 |-1.010000e+02 | 70.96%
318.21/318.38 c 316s| 1 | 0 |175303 | - | 95M| 0 | 979 |1000 | 15k|1000 |5873 | 17k| 0 | 0 |-3.474275e+02 |-1.010000e+02 | 70.93%
324.81/324.99 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
324.81/324.99 c 322s| 1 | 0 |177197 | - | 95M| 0 | 977 |1000 | 15k|1000 |5930 | 17k| 0 | 0 |-3.458561e+02 |-1.010000e+02 | 70.80%
331.71/331.83 c 329s| 1 | 0 |179134 | - | 95M| 0 | 985 |1000 | 15k|1000 |6020 | 18k| 0 | 0 |-3.451947e+02 |-1.010000e+02 | 70.74%
338.31/338.48 c 336s| 1 | 0 |180925 | - | 94M| 0 | 977 |1000 | 15k|1000 |6059 | 18k| 0 | 0 |-3.445033e+02 |-1.010000e+02 | 70.68%
344.21/344.37 c 341s| 1 | 0 |182032 | - | 94M| 0 | 982 |1000 | 15k|1000 |6094 | 18k| 0 | 0 |-3.442724e+02 |-1.010000e+02 | 70.66%
351.10/351.22 c 348s| 1 | 0 |183719 | - | 94M| 0 | 984 |1000 | 15k|1000 |6137 | 18k| 0 | 0 |-3.439828e+02 |-1.010000e+02 | 70.64%
359.30/359.49 c 356s| 1 | 0 |186038 | - | 94M| 0 | 985 |1000 | 15k|1000 |6075 | 18k| 0 | 0 |-3.429767e+02 |-1.010000e+02 | 70.55%
366.70/366.82 c 364s| 1 | 0 |188075 | - | 94M| 0 | 980 |1000 | 15k|1000 |6145 | 18k| 0 | 0 |-3.423052e+02 |-1.010000e+02 | 70.49%
373.70/373.82 c 371s| 1 | 0 |189746 | - | 93M| 0 | 977 |1000 | 15k|1000 |6181 | 18k| 0 | 0 |-3.418646e+02 |-1.010000e+02 | 70.46%
382.10/382.20 c 379s| 1 | 0 |192200 | - | 93M| 0 | 975 |1000 | 15k|1000 |6219 | 18k| 0 | 0 |-3.409205e+02 |-1.010000e+02 | 70.37%
389.39/389.53 c 386s| 1 | 0 |193988 | - | 93M| 0 | 992 |1000 | 15k|1000 |6277 | 18k| 0 | 0 |-3.403853e+02 |-1.010000e+02 | 70.33%
396.79/396.99 c 394s| 1 | 0 |195588 | - | 92M| 0 | 985 |1000 | 15k|1000 |6349 | 18k| 0 | 0 |-3.396219e+02 |-1.010000e+02 | 70.26%
404.70/404.81 c 402s| 1 | 0 |197393 | - | 92M| 0 | 985 |1000 | 15k|1000 |6269 | 18k| 0 | 0 |-3.390438e+02 |-1.010000e+02 | 70.21%
412.39/412.52 c 409s| 1 | 0 |199200 | - | 92M| 0 | 990 |1000 | 15k|1000 |6304 | 18k| 0 | 0 |-3.382811e+02 |-1.010000e+02 | 70.14%
419.99/420.10 c 417s| 1 | 0 |200719 | - | 92M| 0 | 990 |1000 | 15k|1000 |6351 | 18k| 0 | 0 |-3.375894e+02 |-1.010000e+02 | 70.08%
427.08/427.27 c 424s| 1 | 0 |202103 | - | 92M| 0 | 995 |1000 | 15k|1000 |6383 | 18k| 0 | 0 |-3.371706e+02 |-1.010000e+02 | 70.04%
434.78/434.98 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
434.78/434.98 c 432s| 1 | 0 |203525 | - | 92M| 0 | 991 |1000 | 15k|1000 |6409 | 18k| 0 | 0 |-3.367908e+02 |-1.010000e+02 | 70.01%
442.38/442.57 c 439s| 1 | 0 |204708 | - | 91M| 0 | 991 |1000 | 15k|1000 |6432 | 18k| 0 | 0 |-3.364738e+02 |-1.010000e+02 | 69.98%
450.18/450.34 c 447s| 1 | 0 |206079 | - | 91M| 0 | 993 |1000 | 15k|1000 |6375 | 18k| 0 | 0 |-3.361219e+02 |-1.010000e+02 | 69.95%
458.67/458.86 c 455s| 1 | 0 |207912 | - | 91M| 0 | 994 |1000 | 15k|1000 |6413 | 18k| 0 | 0 |-3.354592e+02 |-1.010000e+02 | 69.89%
467.57/467.79 c 464s| 1 | 0 |210266 | - | 91M| 0 | 989 |1000 | 15k|1000 |6446 | 18k| 0 | 0 |-3.346339e+02 |-1.010000e+02 | 69.82%
476.18/476.32 c 473s| 1 | 0 |212269 | - | 91M| 0 | 993 |1000 | 15k|1000 |6496 | 18k| 0 | 0 |-3.340882e+02 |-1.010000e+02 | 69.77%
483.67/483.89 c 480s| 1 | 0 |213711 | - | 91M| 0 | 996 |1000 | 15k|1000 |6525 | 18k| 0 | 0 |-3.335129e+02 |-1.010000e+02 | 69.72%
492.37/492.53 c 489s| 1 | 0 |215539 | - | 90M| 0 | 992 |1000 | 15k|1000 |6559 | 18k| 0 | 0 |-3.330469e+02 |-1.010000e+02 | 69.67%
499.46/499.69 c 496s| 1 | 0 |216546 | - | 90M| 0 | 997 |1000 | 15k|1000 |6491 | 18k| 0 | 0 |-3.327813e+02 |-1.010000e+02 | 69.65%
506.87/507.07 c 503s| 1 | 0 |217535 | - | 90M| 0 | 996 |1000 | 15k|1000 |6516 | 18k| 0 | 0 |-3.325565e+02 |-1.010000e+02 | 69.63%
514.66/514.81 c 511s| 1 | 0 |218733 | - | 89M| 0 | 997 |1000 | 15k|1000 |6546 | 18k| 0 | 0 |-3.322578e+02 |-1.010000e+02 | 69.60%
523.16/523.36 c 520s| 1 | 0 |220279 | - | 89M| 0 | 996 |1000 | 15k|1000 |6575 | 18k| 0 | 0 |-3.316666e+02 |-1.010000e+02 | 69.55%
530.96/531.18 c 527s| 1 | 0 |221355 | - | 89M| 0 | 995 |1000 | 15k|1000 |6599 | 19k| 0 | 0 |-3.313930e+02 |-1.010000e+02 | 69.52%
540.15/540.36 c 536s| 1 | 0 |223081 | - | 89M| 0 | 993 |1000 | 15k|1000 |6617 | 19k| 0 | 0 |-3.307928e+02 |-1.010000e+02 | 69.47%
548.66/548.88 c 545s| 1 | 0 |224299 | - | 89M| 0 | 995 |1000 | 15k|1000 |6598 | 19k| 0 | 0 |-3.304456e+02 |-1.010000e+02 | 69.44%
557.75/557.91 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
557.75/557.91 c 554s| 1 | 0 |225919 | - | 89M| 0 | 993 |1000 | 15k|1000 |6617 | 19k| 0 | 0 |-3.299125e+02 |-1.010000e+02 | 69.39%
566.75/566.92 c 563s| 1 | 0 |227371 | - | 88M| 0 | 991 |1000 | 15k|1000 |6643 | 19k| 0 | 0 |-3.293716e+02 |-1.010000e+02 | 69.34%
574.65/574.80 c 571s| 1 | 0 |228272 | - | 88M| 0 | 995 |1000 | 15k|1000 |6672 | 19k| 0 | 0 |-3.290584e+02 |-1.010000e+02 | 69.31%
582.55/582.75 c 579s| 1 | 0 |229177 | - | 88M| 0 | 995 |1000 | 15k|1000 |6695 | 19k| 0 | 0 |-3.288042e+02 |-1.010000e+02 | 69.28%
589.64/589.84 c 586s| 1 | 0 |229681 | - | 88M| 0 | 996 |1000 | 15k|1000 |6717 | 19k| 0 | 0 |-3.286773e+02 |-1.010000e+02 | 69.27%
597.74/597.93 c 594s| 1 | 0 |230609 | - | 88M| 0 | 997 |1000 | 15k|1000 |6668 | 19k| 0 | 0 |-3.284206e+02 |-1.010000e+02 | 69.25%
605.13/605.38 c 601s| 1 | 0 |231304 | - | 88M| 0 | 995 |1000 | 15k|1000 |6686 | 19k| 0 | 0 |-3.282564e+02 |-1.010000e+02 | 69.23%
612.74/612.96 c 609s| 1 | 0 |232012 | - | 88M| 0 | 999 |1000 | 15k|1000 |6696 | 19k| 0 | 0 |-3.280585e+02 |-1.010000e+02 | 69.21%
621.35/621.51 c 617s| 1 | 0 |233142 | - | 88M| 0 | 995 |1000 | 15k|1000 |6713 | 19k| 0 | 0 |-3.277842e+02 |-1.010000e+02 | 69.19%
628.84/629.02 c 625s| 1 | 0 |233806 | - | 88M| 0 | 995 |1000 | 15k|1000 |6730 | 19k| 0 | 0 |-3.275524e+02 |-1.010000e+02 | 69.17%
637.13/637.39 c 633s| 1 | 0 |234855 | - | 87M| 0 | 994 |1000 | 15k|1000 |6753 | 19k| 0 | 0 |-3.272312e+02 |-1.010000e+02 | 69.13%
645.33/645.58 c 641s| 1 | 0 |235790 | - | 87M| 0 | 994 |1000 | 15k|1000 |6710 | 19k| 0 | 0 |-3.269256e+02 |-1.010000e+02 | 69.11%
652.33/652.56 c 648s| 1 | 0 |236289 | - | 87M| 0 | 995 |1000 | 15k|1000 |6726 | 19k| 0 | 0 |-3.267980e+02 |-1.010000e+02 | 69.09%
660.93/661.13 c 657s| 1 | 0 |237393 | - | 87M| 0 | 997 |1000 | 15k|1000 |6745 | 19k| 0 | 0 |-3.264561e+02 |-1.010000e+02 | 69.06%
668.72/668.98 c 664s| 1 | 0 |238059 | - | 87M| 0 | 996 |1000 | 15k|1000 |6760 | 19k| 0 | 0 |-3.262395e+02 |-1.010000e+02 | 69.04%
675.92/676.10 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
675.92/676.10 c 672s| 1 | 0 |238437 | - | 86M| 0 | 996 |1000 | 15k|1000 |6773 | 19k| 0 | 0 |-3.261451e+02 |-1.010000e+02 | 69.03%
683.02/683.23 c 679s| 1 | 0 |238879 | - | 85M| 0 | 996 |1000 | 15k|1000 |6784 | 19k| 0 | 0 |-3.260479e+02 |-1.010000e+02 | 69.02%
690.72/690.92 c 686s| 1 | 0 |239625 | - | 85M| 0 | 997 |1000 | 15k|1000 |6750 | 19k| 0 | 0 |-3.257772e+02 |-1.010000e+02 | 69.00%
698.11/698.37 c 694s| 1 | 0 |240248 | - | 84M| 0 | 997 |1000 | 15k|1000 |6766 | 19k| 0 | 0 |-3.256254e+02 |-1.010000e+02 | 68.98%
705.51/705.77 c 701s| 1 | 0 |240915 | - | 83M| 0 | 999 |1000 | 15k|1000 |6781 | 19k| 0 | 0 |-3.254172e+02 |-1.010000e+02 | 68.96%
712.61/712.85 c 708s| 1 | 0 |241288 | - | 82M| 0 | 999 |1000 | 15k|1000 |6794 | 19k| 0 | 0 |-3.253461e+02 |-1.010000e+02 | 68.96%
720.01/720.29 c 715s| 1 | 0 |241861 | - | 82M| 0 | 998 |1000 | 15k|1000 |6809 | 19k| 0 | 0 |-3.251384e+02 |-1.010000e+02 | 68.94%
727.01/727.22 c 722s| 1 | 0 |242133 | - | 81M| 0 | 999 |1000 | 15k|1000 |6821 | 19k| 0 | 0 |-3.250896e+02 |-1.010000e+02 | 68.93%
734.91/735.14 c 730s| 1 | 0 |242853 | - | 80M| 0 | 998 |1000 | 15k|1000 |6785 | 19k| 0 | 0 |-3.248557e+02 |-1.010000e+02 | 68.91%
742.40/742.65 c 738s| 1 | 0 |243530 | - | 80M| 0 | 997 |1000 | 15k|1000 |6797 | 19k| 0 | 0 |-3.246710e+02 |-1.010000e+02 | 68.89%
750.51/750.76 c 746s| 1 | 0 |244337 | - | 80M| 0 | 996 |1000 | 15k|1000 |6811 | 19k| 0 | 0 |-3.244474e+02 |-1.010000e+02 | 68.87%
758.00/758.28 c 753s| 1 | 0 |244876 | - | 76M| 0 | 997 |1000 | 15k|1000 |6829 | 19k| 0 | 0 |-3.243140e+02 |-1.010000e+02 | 68.86%
765.90/766.19 c 761s| 1 | 0 |245669 | - | 76M| 0 | 997 |1000 | 15k|1000 |6845 | 19k| 0 | 0 |-3.241133e+02 |-1.010000e+02 | 68.84%
773.60/773.86 c 769s| 1 | 0 |246362 | - | 76M| 0 | 997 |1000 | 15k|1000 |6860 | 19k| 0 | 0 |-3.239303e+02 |-1.010000e+02 | 68.82%
780.80/781.06 c 776s| 1 | 0 |246820 | - | 72M| 0 | 998 |1000 | 15k|1000 |6831 | 19k| 0 | 0 |-3.238393e+02 |-1.010000e+02 | 68.81%
788.29/788.51 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
788.29/788.51 c 783s| 1 | 0 |247397 | - | 69M| 0 | 997 |1000 | 15k|1000 |6842 | 19k| 0 | 0 |-3.236591e+02 |-1.010000e+02 | 68.79%
795.29/795.51 c 790s| 1 | 0 |247807 | - | 68M| 0 | 996 |1000 | 15k|1000 |6859 | 19k| 0 | 0 |-3.235903e+02 |-1.010000e+02 | 68.79%
802.59/802.88 c 798s| 1 | 0 |248476 | - | 67M| 0 | 998 |1000 | 15k|1000 |6873 | 19k| 0 | 0 |-3.234579e+02 |-1.010000e+02 | 68.77%
809.99/810.28 c 805s| 1 | 0 |249079 | - | 67M| 0 | 998 |1000 | 15k|1000 |6884 | 19k| 0 | 0 |-3.233279e+02 |-1.010000e+02 | 68.76%
816.78/817.04 c 812s| 1 | 0 |249456 | - | 65M| 0 | 995 |1000 | 15k|1000 |6895 | 19k| 0 | 0 |-3.232817e+02 |-1.010000e+02 | 68.76%
824.08/824.37 c 819s| 1 | 0 |249988 | - | 62M| 0 | 996 |1000 | 15k|1000 |6855 | 19k| 0 | 0 |-3.231992e+02 |-1.010000e+02 | 68.75%
831.18/831.40 c 826s| 1 | 0 |250511 | - | 59M| 0 | 998 |1000 | 15k|1000 |6866 | 19k| 0 | 0 |-3.231338e+02 |-1.010000e+02 | 68.74%
838.18/838.41 c 833s| 1 | 0 |250951 | - | 58M| 0 | 998 |1000 | 15k|1000 |6879 | 19k| 0 | 0 |-3.230778e+02 |-1.010000e+02 | 68.74%
844.88/845.16 c 840s| 1 | 0 |251380 | - | 58M| 0 | 996 |1000 | 15k|1000 |6889 | 19k| 0 | 0 |-3.230348e+02 |-1.010000e+02 | 68.73%
851.58/851.81 c 846s| 1 | 0 |251840 | - | 57M| 0 | 971 |1000 | 15k|1000 |6898 | 19k| 0 | 0 |-3.230000e+02 |-1.010000e+02 | 68.73%
857.27/857.53 c 852s| 1 | 0 |251842 | - | 57M| 0 | 968 |1000 | 15k|1000 |6903 | 19k| 0 | 0 |-3.230000e+02 |-1.010000e+02 | 68.73%
919.76/920.09 c 914s| 1 | 2 |251842 | - | 57M| 0 | 968 |1000 | 15k|1000 |6903 | 19k| 0 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
922.96/923.20 c 917s| 10000 | 65 |251842 | 0.0 | 57M| 80 | - |1000 | 15k| 0 | 0 | 19k| 33 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
926.06/926.32 c 920s| 20000 | 60 |251842 | 0.0 | 57M| 80 | - |1000 | 15k| 0 | 0 | 19k| 59 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
929.06/929.33 c 923s| 30000 | 60 |251842 | 0.0 | 57M| 80 | - |1000 | 15k| 0 | 0 | 19k| 72 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
932.26/932.56 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
932.26/932.56 c 926s| 40000 | 58 |251842 | 0.0 | 57M| 80 | - |1000 | 15k| 0 | 0 | 19k| 79 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
935.26/935.58 c 929s| 50000 | 59 |251842 | 0.0 | 57M| 82 | - |1000 | 15k| 0 | 0 | 19k| 95 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
937.86/938.15 c 931s| 60000 | 62 |251842 | 0.0 | 57M| 82 | - |1000 | 15k| 0 | 0 | 19k| 101 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
940.26/940.57 c 934s| 70000 | 57 |251842 | 0.0 | 57M| 82 | - |1000 | 15k| 0 | 0 | 19k| 109 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
942.86/943.17 c 936s| 80000 | 61 |251842 | 0.0 | 57M| 82 | - |1000 | 15k| 0 | 0 | 19k| 117 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
945.36/945.68 c 938s| 90000 | 60 |251842 | 0.0 | 57M| 82 | - |1000 | 15k| 0 | 0 | 19k| 119 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
947.86/948.18 c 941s|100000 | 63 |251842 | 0.0 | 57M| 82 | - |1000 | 15k| 0 | 0 | 19k| 154 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
950.36/950.69 c 943s|110000 | 61 |251842 | 0.0 | 57M| 82 | - |1000 | 15k| 0 | 0 | 19k| 180 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
952.85/953.18 c 946s|120000 | 62 |251842 | 0.0 | 57M| 82 | - |1000 | 15k| 0 | 0 | 19k| 200 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
955.45/955.78 c 948s|130000 | 58 |251842 | 0.0 | 57M| 82 | - |1000 | 15k| 0 | 0 | 19k| 212 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
958.15/958.47 c 951s|140000 | 58 |251842 | 0.0 | 57M| 82 | - |1000 | 15k| 0 | 0 | 19k| 225 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
960.65/960.91 c 953s|150000 | 60 |251842 | 0.0 | 57M| 82 | - |1000 | 15k| 0 | 0 | 19k| 245 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
963.15/963.42 c 955s|160000 | 61 |251842 | 0.0 | 57M| 82 | - |1000 | 15k| 0 | 0 | 19k| 255 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
965.65/965.94 c 958s|170000 | 58 |251842 | 0.0 | 57M| 82 | - |1000 | 15k| 0 | 0 | 19k| 279 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
968.15/968.48 c 960s|180000 | 61 |251842 | 0.0 | 57M| 83 | - |1000 | 15k| 0 | 0 | 19k| 299 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
970.64/970.98 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
970.64/970.98 c 962s|190000 | 61 |251842 | 0.0 | 57M| 83 | - |1000 | 15k| 0 | 0 | 19k| 309 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
973.16/973.50 c 965s|200000 | 56 |251842 | 0.0 | 57M| 83 | - |1000 | 15k| 0 | 0 | 19k| 317 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
975.84/976.16 c 967s|210000 | 60 |251842 | 0.0 | 57M| 83 | - |1000 | 15k| 0 | 0 | 19k| 323 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
978.55/978.83 c 970s|220000 | 57 |251842 | 0.0 | 57M| 83 | - |1000 | 15k| 0 | 0 | 19k| 327 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
981.05/981.35 c 972s|230000 | 63 |251842 | 0.0 | 57M| 83 | - |1000 | 15k| 0 | 0 | 19k| 333 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
983.55/983.85 c 975s|240000 | 59 |251842 | 0.0 | 57M| 83 | - |1000 | 15k| 0 | 0 | 19k| 339 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
986.14/986.41 c 977s|250000 | 57 |251842 | 0.0 | 57M| 83 | - |1000 | 15k| 0 | 0 | 19k| 356 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
988.65/988.96 c 980s|260000 | 59 |251842 | 0.0 | 57M| 83 | - |1000 | 15k| 0 | 0 | 19k| 365 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
991.24/991.51 c 982s|270000 | 59 |251842 | 0.0 | 57M| 83 | - |1000 | 15k| 0 | 0 | 19k| 373 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
993.74/994.07 c 984s|280000 | 58 |251842 | 0.0 | 57M| 83 | - |1000 | 15k| 0 | 0 | 19k| 383 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
996.35/996.68 c 987s|290000 | 57 |251842 | 0.0 | 57M| 83 | - |1000 | 15k| 0 | 0 | 19k| 398 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
998.94/999.21 c 989s|300000 | 58 |251842 | 0.0 | 57M| 83 | - |1000 | 15k| 0 | 0 | 19k| 412 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1001.34/1001.62 c 991s|310000 | 59 |251842 | 0.0 | 57M| 83 | - |1000 | 15k| 0 | 0 | 19k| 422 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1003.83/1004.16 c 994s|320000 | 61 |251842 | 0.0 | 57M| 83 | - |1000 | 15k| 0 | 0 | 19k| 437 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1006.34/1006.70 c 996s|330000 | 60 |251842 | 0.0 | 57M| 83 | - |1000 | 15k| 0 | 0 | 19k| 459 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1008.84/1009.18 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1008.84/1009.18 c 999s|340000 | 57 |251842 | 0.0 | 57M| 83 | - |1000 | 15k| 0 | 0 | 19k| 479 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1011.43/1011.71 c 1001s|350000 | 61 |251842 | 0.0 | 57M| 83 | - |1000 | 15k| 0 | 0 | 19k| 509 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1013.85/1014.17 c 1003s|360000 | 60 |251842 | 0.0 | 57M| 83 | - |1000 | 15k| 0 | 0 | 19k| 538 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1016.43/1016.72 c 1006s|370000 | 58 |251842 | 0.0 | 57M| 83 | - |1000 | 15k| 0 | 0 | 19k| 591 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1018.93/1019.28 c 1008s|380000 | 59 |251842 | 0.0 | 57M| 83 | - |1000 | 15k| 0 | 0 | 19k| 609 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1021.44/1021.72 c 1011s|390000 | 60 |251842 | 0.0 | 57M| 83 | - |1000 | 15k| 0 | 0 | 19k| 618 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1023.94/1024.22 c 1013s|400000 | 60 |251842 | 0.0 | 57M| 83 | - |1000 | 15k| 0 | 0 | 19k| 624 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1026.33/1026.66 c 1015s|410000 | 62 |251842 | 0.0 | 57M| 83 | - |1000 | 15k| 0 | 0 | 19k| 629 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1028.84/1029.11 c 1018s|420000 | 59 |251842 | 0.0 | 57M| 83 | - |1000 | 15k| 0 | 0 | 19k| 636 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1031.23/1031.57 c 1020s|430000 | 62 |251842 | 0.0 | 57M| 83 | - |1000 | 15k| 0 | 0 | 19k| 643 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1033.74/1034.06 c 1022s|440000 | 57 |251842 | 0.0 | 57M| 83 | - |1000 | 15k| 0 | 0 | 19k| 648 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1036.23/1036.56 c 1025s|450000 | 58 |251842 | 0.0 | 57M| 83 | - |1000 | 15k| 0 | 0 | 19k| 654 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1038.73/1039.04 c 1027s|460000 | 60 |251842 | 0.0 | 57M| 83 | - |1000 | 15k| 0 | 0 | 19k| 659 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1041.34/1041.61 c 1030s|470000 | 61 |251842 | 0.0 | 57M| 83 | - |1000 | 15k| 0 | 0 | 19k| 665 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1043.83/1044.11 c 1032s|480000 | 58 |251842 | 0.0 | 57M| 83 | - |1000 | 15k| 0 | 0 | 19k| 670 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1046.33/1046.60 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1046.33/1046.60 c 1034s|490000 | 56 |251842 | 0.0 | 57M| 83 | - |1000 | 15k| 0 | 0 | 19k| 677 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1048.72/1049.02 c 1037s|500000 | 62 |251842 | 0.0 | 57M| 83 | - |1000 | 15k| 0 | 0 | 19k| 683 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1051.13/1051.40 c 1039s|510000 | 61 |251842 | 0.0 | 57M| 83 | - |1000 | 15k| 0 | 0 | 19k| 690 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1053.54/1053.83 c 1041s|520000 | 60 |251842 | 0.0 | 57M| 83 | - |1000 | 15k| 0 | 0 | 19k| 695 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1055.93/1056.25 c 1043s|530000 | 61 |251842 | 0.0 | 57M| 83 | - |1000 | 15k| 0 | 0 | 19k| 697 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1058.33/1058.68 c 1046s|540000 | 61 |251842 | 0.0 | 57M| 83 | - |1000 | 15k| 0 | 0 | 19k| 705 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1060.82/1061.11 c 1048s|550000 | 59 |251842 | 0.0 | 57M| 83 | - |1000 | 15k| 0 | 0 | 19k| 715 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1063.22/1063.53 c 1050s|560000 | 61 |251842 | 0.0 | 57M| 83 | - |1000 | 15k| 0 | 0 | 19k| 723 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1065.63/1065.94 c 1052s|570000 | 59 |251842 | 0.0 | 57M| 83 | - |1000 | 15k| 0 | 0 | 19k| 727 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1068.02/1068.38 c 1055s|580000 | 59 |251842 | 0.0 | 57M| 83 | - |1000 | 15k| 0 | 0 | 19k| 734 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1070.62/1070.90 c 1057s|590000 | 57 |251842 | 0.0 | 57M| 83 | - |1000 | 15k| 0 | 0 | 19k| 742 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1073.12/1073.46 c 1060s|600000 | 56 |251842 | 0.0 | 57M| 83 | - |1000 | 15k| 0 | 0 | 19k| 747 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1075.62/1075.91 c 1062s|610000 | 61 |251842 | 0.0 | 57M| 83 | - |1000 | 15k| 0 | 0 | 19k| 754 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1078.02/1078.30 c 1064s|620000 | 59 |251842 | 0.0 | 57M| 83 | - |1000 | 15k| 0 | 0 | 19k| 760 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1080.42/1080.71 c 1066s|630000 | 60 |251842 | 0.0 | 57M| 83 | - |1000 | 15k| 0 | 0 | 19k| 768 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1082.82/1083.16 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1082.82/1083.16 c 1069s|640000 | 59 |251842 | 0.0 | 57M| 83 | - |1000 | 15k| 0 | 0 | 19k| 771 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1085.32/1085.61 c 1071s|650000 | 60 |251842 | 0.0 | 57M| 83 | - |1000 | 15k| 0 | 0 | 19k| 782 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1087.82/1088.11 c 1073s|660000 | 60 |251842 | 0.0 | 57M| 83 | - |1000 | 15k| 0 | 0 | 19k| 787 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1090.31/1090.61 c 1076s|670000 | 58 |251842 | 0.0 | 57M| 83 | - |1000 | 15k| 0 | 0 | 19k| 789 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1092.81/1093.14 c 1078s|680000 | 59 |251842 | 0.0 | 57M| 83 | - |1000 | 15k| 0 | 0 | 19k| 794 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1095.22/1095.60 c 1081s|690000 | 58 |251842 | 0.0 | 57M| 83 | - |1000 | 15k| 0 | 0 | 19k| 798 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1097.71/1098.00 c 1083s|700000 | 63 |251842 | 0.0 | 57M| 83 | - |1000 | 15k| 0 | 0 | 19k| 799 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1100.11/1100.46 c 1085s|710000 | 57 |251842 | 0.0 | 57M| 83 | - |1000 | 15k| 0 | 0 | 19k| 806 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1102.61/1102.90 c 1088s|720000 | 62 |251842 | 0.0 | 57M| 83 | - |1000 | 15k| 0 | 0 | 19k| 812 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1105.01/1105.35 c 1090s|730000 | 61 |251842 | 0.0 | 57M| 83 | - |1000 | 15k| 0 | 0 | 19k| 816 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1107.51/1107.82 c 1092s|740000 | 62 |251842 | 0.0 | 57M| 83 | - |1000 | 15k| 0 | 0 | 19k| 823 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1110.01/1110.35 c 1095s|750000 | 62 |251842 | 0.0 | 57M| 83 | - |1000 | 15k| 0 | 0 | 19k| 830 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1112.51/1112.83 c 1097s|760000 | 60 |251842 | 0.0 | 57M| 83 | - |1000 | 15k| 0 | 0 | 19k| 838 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1115.02/1115.36 c 1099s|770000 | 57 |251842 | 0.0 | 57M| 83 | - |1000 | 15k| 0 | 0 | 19k| 851 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1117.50/1117.84 c 1102s|780000 | 60 |251842 | 0.0 | 57M| 83 | - |1000 | 15k| 0 | 0 | 19k| 865 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1120.00/1120.35 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1120.00/1120.35 c 1104s|790000 | 60 |251842 | 0.0 | 57M| 83 | - |1000 | 15k| 0 | 0 | 19k| 873 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1122.50/1122.89 c 1106s|800000 | 56 |251842 | 0.0 | 57M| 84 | - |1000 | 15k| 0 | 0 | 19k| 880 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1125.11/1125.40 c 1109s|810000 | 61 |251842 | 0.0 | 57M| 85 | - |1000 | 15k| 0 | 0 | 19k| 890 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1127.61/1127.92 c 1111s|820000 | 58 |251842 | 0.0 | 57M| 85 | - |1000 | 15k| 0 | 0 | 19k| 904 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1130.10/1130.41 c 1114s|830000 | 58 |251842 | 0.0 | 57M| 85 | - |1000 | 15k| 0 | 0 | 19k| 910 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1132.61/1132.93 c 1116s|840000 | 58 |251842 | 0.0 | 57M| 85 | - |1000 | 15k| 0 | 0 | 19k| 916 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1135.11/1135.45 c 1118s|850000 | 58 |251842 | 0.0 | 57M| 85 | - |1000 | 15k| 0 | 0 | 19k| 924 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1137.71/1138.01 c 1121s|860000 | 57 |251842 | 0.0 | 57M| 85 | - |1000 | 15k| 0 | 0 | 19k| 926 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1140.20/1140.53 c 1123s|870000 | 60 |251842 | 0.0 | 57M| 85 | - |1000 | 15k| 0 | 0 | 19k| 935 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1142.61/1142.99 c 1125s|880000 | 58 |251842 | 0.0 | 57M| 85 | - |1000 | 15k| 0 | 0 | 19k| 941 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1145.10/1145.48 c 1128s|890000 | 59 |251842 | 0.0 | 57M| 85 | - |1000 | 15k| 0 | 0 | 19k| 945 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1147.60/1147.99 c 1130s|900000 | 59 |251842 | 0.0 | 57M| 85 | - |1000 | 15k| 0 | 0 | 19k| 959 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1150.21/1150.50 c 1133s|910000 | 58 |251842 | 0.0 | 57M| 85 | - |1000 | 15k| 0 | 0 | 19k| 965 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1152.60/1152.97 c 1135s|920000 | 57 |251842 | 0.0 | 57M| 86 | - |1000 | 15k| 0 | 0 | 19k| 975 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1155.10/1155.46 c 1137s|930000 | 54 |251842 | 0.0 | 57M| 86 | - |1000 | 15k| 0 | 0 | 19k| 980 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1157.80/1158.13 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1157.80/1158.13 c 1140s|940000 | 63 |251842 | 0.0 | 57M| 86 | - |1000 | 15k| 0 | 0 | 19k|1012 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1160.50/1160.86 c 1142s|950000 | 61 |251842 | 0.0 | 57M| 86 | - |1000 | 15k| 0 | 0 | 19k|1043 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1163.20/1163.51 c 1145s|960000 | 60 |251842 | 0.0 | 57M| 86 | - |1000 | 15k| 0 | 0 | 19k|1091 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1165.70/1166.02 c 1147s|970000 | 60 |251842 | 0.0 | 57M| 86 | - |1000 | 15k| 0 | 0 | 19k|1137 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1168.29/1168.66 c 1150s|980000 | 61 |251842 | 0.0 | 57M| 86 | - |1000 | 15k| 0 | 0 | 19k|1180 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1171.00/1171.32 c 1152s|990000 | 62 |251842 | 0.0 | 57M| 86 | - |1000 | 15k| 0 | 0 | 19k|1217 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1173.60/1173.91 c 1155s| 1000k| 61 |251842 | 0.0 | 57M| 86 | - |1000 | 15k| 0 | 0 | 19k|1232 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1176.20/1176.57 c 1157s| 1010k| 60 |251842 | 0.0 | 57M| 86 | - |1000 | 15k| 0 | 0 | 19k|1238 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1178.69/1179.07 c 1160s| 1020k| 58 |251842 | 0.0 | 57M| 86 | - |1000 | 15k| 0 | 0 | 19k|1251 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1181.30/1181.62 c 1162s| 1030k| 62 |251842 | 0.0 | 57M| 86 | - |1000 | 15k| 0 | 0 | 19k|1265 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1183.70/1184.07 c 1164s| 1040k| 61 |251842 | 0.0 | 57M| 86 | - |1000 | 15k| 0 | 0 | 19k|1281 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1186.20/1186.54 c 1167s| 1050k| 58 |251842 | 0.0 | 57M| 86 | - |1000 | 15k| 0 | 0 | 19k|1297 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1188.70/1189.03 c 1169s| 1060k| 58 |251842 | 0.0 | 57M| 86 | - |1000 | 15k| 0 | 0 | 19k|1303 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1191.20/1191.52 c 1172s| 1070k| 59 |251842 | 0.0 | 57M| 86 | - |1000 | 15k| 0 | 0 | 19k|1308 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1193.59/1193.99 c 1174s| 1080k| 61 |251842 | 0.0 | 57M| 86 | - |1000 | 15k| 0 | 0 | 19k|1320 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1196.19/1196.52 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1196.19/1196.52 c 1176s| 1090k| 61 |251842 | 0.0 | 57M| 86 | - |1000 | 15k| 0 | 0 | 19k|1332 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1198.70/1199.06 c 1179s| 1100k| 60 |251842 | 0.0 | 57M| 86 | - |1000 | 15k| 0 | 0 | 19k|1350 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1201.29/1201.69 c 1181s| 1110k| 61 |251842 | 0.0 | 57M| 86 | - |1000 | 15k| 0 | 0 | 19k|1363 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1203.78/1204.12 c 1183s| 1120k| 58 |251842 | 0.0 | 57M| 86 | - |1000 | 15k| 0 | 0 | 19k|1375 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1206.29/1206.69 c 1186s| 1130k| 57 |251842 | 0.0 | 57M| 86 | - |1000 | 15k| 0 | 0 | 19k|1394 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1208.89/1209.26 c 1188s| 1140k| 59 |251842 | 0.0 | 57M| 86 | - |1000 | 15k| 0 | 0 | 19k|1409 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1211.38/1211.75 c 1191s| 1150k| 58 |251842 | 0.0 | 57M| 86 | - |1000 | 15k| 0 | 0 | 19k|1421 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1213.78/1214.19 c 1193s| 1160k| 61 |251842 | 0.0 | 57M| 86 | - |1000 | 15k| 0 | 0 | 19k|1425 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1216.29/1216.60 c 1195s| 1170k| 62 |251842 | 0.0 | 57M| 86 | - |1000 | 15k| 0 | 0 | 19k|1432 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1218.69/1219.05 c 1198s| 1180k| 60 |251842 | 0.0 | 57M| 86 | - |1000 | 15k| 0 | 0 | 19k|1446 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1221.08/1221.43 c 1200s| 1190k| 60 |251842 | 0.0 | 57M| 86 | - |1000 | 15k| 0 | 0 | 19k|1456 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1223.48/1223.84 c 1202s| 1200k| 59 |251842 | 0.0 | 57M| 86 | - |1000 | 15k| 0 | 0 | 19k|1471 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1226.28/1226.64 c 1205s| 1210k| 57 |251842 | 0.0 | 57M| 86 | - |1000 | 15k| 0 | 0 | 19k|1485 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1228.78/1229.20 c 1207s| 1220k| 63 |251842 | 0.0 | 57M| 86 | - |1000 | 15k| 0 | 0 | 19k|1497 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1231.18/1231.54 c 1209s| 1230k| 57 |251842 | 0.0 | 57M| 86 | - |1000 | 15k| 0 | 0 | 19k|1519 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1233.58/1233.93 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1233.58/1233.93 c 1212s| 1240k| 58 |251842 | 0.0 | 57M| 86 | - |1000 | 15k| 0 | 0 | 19k|1528 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1235.99/1236.38 c 1214s| 1250k| 56 |251842 | 0.0 | 57M| 86 | - |1000 | 15k| 0 | 0 | 19k|1536 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1238.58/1238.90 c 1216s| 1260k| 60 |251842 | 0.0 | 57M| 86 | - |1000 | 15k| 0 | 0 | 19k|1555 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1241.08/1241.40 c 1219s| 1270k| 60 |251842 | 0.0 | 57M| 86 | - |1000 | 15k| 0 | 0 | 19k|1573 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1243.47/1243.85 c 1221s| 1280k| 59 |251842 | 0.0 | 57M| 86 | - |1000 | 15k| 0 | 0 | 19k|1593 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1245.98/1246.31 c 1223s| 1290k| 58 |251842 | 0.0 | 57M| 86 | - |1000 | 15k| 0 | 0 | 19k|1596 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1248.37/1248.77 c 1226s| 1300k| 56 |251842 | 0.0 | 57M| 86 | - |1000 | 15k| 0 | 0 | 19k|1606 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1250.97/1251.31 c 1228s| 1310k| 60 |251842 | 0.0 | 57M| 86 | - |1000 | 15k| 0 | 0 | 19k|1609 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1253.38/1253.78 c 1230s| 1320k| 59 |251842 | 0.0 | 57M| 86 | - |1000 | 15k| 0 | 0 | 19k|1614 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1255.98/1256.31 c 1233s| 1330k| 58 |251842 | 0.0 | 57M| 86 | - |1000 | 15k| 0 | 0 | 19k|1623 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1258.37/1258.77 c 1235s| 1340k| 59 |251842 | 0.0 | 57M| 86 | - |1000 | 15k| 0 | 0 | 19k|1625 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1260.87/1261.28 c 1238s| 1350k| 58 |251842 | 0.0 | 57M| 86 | - |1000 | 15k| 0 | 0 | 19k|1632 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1263.37/1263.70 c 1240s| 1360k| 61 |251842 | 0.0 | 57M| 87 | - |1000 | 15k| 0 | 0 | 19k|1640 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1265.78/1266.12 c 1242s| 1370k| 57 |251842 | 0.0 | 57M| 87 | - |1000 | 15k| 0 | 0 | 19k|1652 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1268.37/1268.73 c 1245s| 1380k| 58 |251842 | 0.0 | 57M| 87 | - |1000 | 15k| 0 | 0 | 19k|1674 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1270.77/1271.16 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1270.77/1271.16 c 1247s| 1390k| 60 |251842 | 0.0 | 57M| 87 | - |1000 | 15k| 0 | 0 | 19k|1689 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1273.47/1273.87 c 1250s| 1400k| 58 |251842 | 0.0 | 57M| 87 | - |1000 | 15k| 0 | 0 | 19k|1706 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1275.97/1276.30 c 1252s| 1410k| 59 |251842 | 0.0 | 57M| 87 | - |1000 | 15k| 0 | 0 | 19k|1717 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1278.37/1278.77 c 1254s| 1420k| 61 |251842 | 0.0 | 57M| 87 | - |1000 | 15k| 0 | 0 | 19k|1733 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1280.97/1281.30 c 1257s| 1430k| 61 |251842 | 0.0 | 57M| 87 | - |1000 | 15k| 0 | 0 | 19k|1744 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1283.38/1283.73 c 1259s| 1440k| 61 |251842 | 0.0 | 57M| 87 | - |1000 | 15k| 0 | 0 | 19k|1755 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1285.97/1286.35 c 1261s| 1450k| 60 |251842 | 0.0 | 57M| 87 | - |1000 | 15k| 0 | 0 | 19k|1767 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1288.46/1288.81 c 1264s| 1460k| 59 |251842 | 0.0 | 57M| 87 | - |1000 | 15k| 0 | 0 | 19k|1775 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1290.87/1291.29 c 1266s| 1470k| 57 |251842 | 0.0 | 57M| 87 | - |1000 | 15k| 0 | 0 | 19k|1779 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1293.36/1293.72 c 1268s| 1480k| 57 |251842 | 0.0 | 57M| 87 | - |1000 | 15k| 0 | 0 | 19k|1782 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1295.77/1296.14 c 1271s| 1490k| 58 |251842 | 0.0 | 57M| 87 | - |1000 | 15k| 0 | 0 | 19k|1796 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1298.27/1298.61 c 1273s| 1500k| 56 |251842 | 0.0 | 57M| 87 | - |1000 | 15k| 0 | 0 | 19k|1811 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1300.67/1301.02 c 1275s| 1510k| 59 |251842 | 0.0 | 57M| 87 | - |1000 | 15k| 0 | 0 | 19k|1827 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1303.07/1303.40 c 1278s| 1520k| 56 |251842 | 0.0 | 57M| 87 | - |1000 | 15k| 0 | 0 | 19k|1843 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1305.46/1305.81 c 1280s| 1530k| 60 |251842 | 0.0 | 57M| 87 | - |1000 | 15k| 0 | 0 | 19k|1854 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1308.06/1308.41 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1308.06/1308.41 c 1282s| 1540k| 56 |251842 | 0.0 | 57M| 88 | - |1000 | 15k| 0 | 0 | 19k|1875 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1310.77/1311.10 c 1285s| 1550k| 56 |251842 | 0.0 | 57M| 88 | - |1000 | 15k| 0 | 0 | 19k|1889 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1313.36/1313.70 c 1287s| 1560k| 58 |251842 | 0.0 | 57M| 88 | - |1000 | 15k| 0 | 0 | 19k|1904 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1315.76/1316.10 c 1290s| 1570k| 58 |251842 | 0.0 | 57M| 88 | - |1000 | 15k| 0 | 0 | 19k|1919 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1318.16/1318.55 c 1292s| 1580k| 58 |251842 | 0.0 | 57M| 88 | - |1000 | 15k| 0 | 0 | 19k|1928 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1320.67/1321.04 c 1294s| 1590k| 58 |251842 | 0.0 | 57M| 88 | - |1000 | 15k| 0 | 0 | 19k|1937 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1323.06/1323.41 c 1296s| 1600k| 55 |251842 | 0.0 | 57M| 88 | - |1000 | 15k| 0 | 0 | 19k|1950 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1325.46/1325.85 c 1299s| 1610k| 65 |251842 | 0.0 | 57M| 89 | - |1000 | 15k| 0 | 0 | 19k|1962 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1327.96/1328.30 c 1301s| 1620k| 60 |251842 | 0.0 | 57M| 89 | - |1000 | 15k| 0 | 0 | 19k|1974 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1330.35/1330.74 c 1303s| 1630k| 60 |251842 | 0.0 | 57M| 89 | - |1000 | 15k| 0 | 0 | 19k|1994 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1332.76/1333.17 c 1306s| 1640k| 58 |251842 | 0.0 | 57M| 89 | - |1000 | 15k| 0 | 0 | 19k|2012 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1335.26/1335.66 c 1308s| 1650k| 60 |251842 | 0.0 | 57M| 89 | - |1000 | 15k| 0 | 0 | 19k|2029 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1337.86/1338.22 c 1310s| 1660k| 57 |251842 | 0.0 | 57M| 89 | - |1000 | 15k| 0 | 0 | 19k|2043 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1340.35/1340.70 c 1313s| 1670k| 58 |251842 | 0.0 | 57M| 89 | - |1000 | 15k| 0 | 0 | 19k|2059 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1342.66/1343.09 c 1315s| 1680k| 67 |251842 | 0.0 | 57M| 89 | - |1000 | 15k| 0 | 0 | 19k|2078 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1345.15/1345.55 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1345.15/1345.55 c 1317s| 1690k| 60 |251842 | 0.0 | 57M| 89 | - |1000 | 15k| 0 | 0 | 19k|2096 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1347.55/1347.99 c 1320s| 1700k| 59 |251842 | 0.0 | 57M| 92 | - |1000 | 15k| 0 | 0 | 19k|2105 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1350.05/1350.49 c 1322s| 1710k| 63 |251842 | 0.0 | 57M| 92 | - |1000 | 15k| 0 | 0 | 19k|2114 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1352.66/1353.04 c 1324s| 1720k| 61 |251842 | 0.0 | 57M| 92 | - |1000 | 15k| 0 | 0 | 19k|2127 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1355.05/1355.43 c 1327s| 1730k| 59 |251842 | 0.0 | 57M| 92 | - |1000 | 15k| 0 | 0 | 19k|2151 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1357.45/1357.86 c 1329s| 1740k| 57 |251842 | 0.0 | 57M| 92 | - |1000 | 15k| 0 | 0 | 19k|2167 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1359.95/1360.35 c 1331s| 1750k| 62 |251842 | 0.0 | 57M| 92 | - |1000 | 15k| 0 | 0 | 19k|2181 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1362.45/1362.85 c 1334s| 1760k| 56 |251842 | 0.0 | 57M| 92 | - |1000 | 15k| 0 | 0 | 19k|2205 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1364.94/1365.32 c 1336s| 1770k| 58 |251842 | 0.0 | 57M| 92 | - |1000 | 15k| 0 | 0 | 19k|2221 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1367.45/1367.83 c 1338s| 1780k| 63 |251842 | 0.0 | 57M| 92 | - |1000 | 15k| 0 | 0 | 19k|2235 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1369.94/1370.34 c 1341s| 1790k| 63 |251842 | 0.0 | 57M| 92 | - |1000 | 15k| 0 | 0 | 19k|2253 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1372.45/1372.84 c 1343s| 1800k| 61 |251842 | 0.0 | 57M| 92 | - |1000 | 15k| 0 | 0 | 19k|2266 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1374.94/1375.33 c 1346s| 1810k| 60 |251842 | 0.0 | 57M| 92 | - |1000 | 15k| 0 | 0 | 19k|2281 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1377.44/1377.81 c 1348s| 1820k| 57 |251842 | 0.0 | 57M| 92 | - |1000 | 15k| 0 | 0 | 19k|2293 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1379.95/1380.35 c 1350s| 1830k| 60 |251842 | 0.0 | 57M| 92 | - |1000 | 15k| 0 | 0 | 19k|2305 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1382.44/1382.89 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1382.44/1382.89 c 1353s| 1840k| 60 |251842 | 0.0 | 57M| 92 | - |1000 | 15k| 0 | 0 | 19k|2312 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1385.05/1385.42 c 1355s| 1850k| 57 |251842 | 0.0 | 57M| 92 | - |1000 | 15k| 0 | 0 | 19k|2339 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1387.55/1387.92 c 1357s| 1860k| 58 |251842 | 0.0 | 57M| 92 | - |1000 | 15k| 0 | 0 | 19k|2353 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1390.05/1390.45 c 1360s| 1870k| 63 |251842 | 0.0 | 57M| 92 | - |1000 | 15k| 0 | 0 | 19k|2369 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1392.54/1392.94 c 1362s| 1880k| 56 |251842 | 0.0 | 57M| 92 | - |1000 | 15k| 0 | 0 | 19k|2384 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1395.04/1395.44 c 1365s| 1890k| 56 |251842 | 0.0 | 57M| 92 | - |1000 | 15k| 0 | 0 | 19k|2402 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1397.54/1397.93 c 1367s| 1900k| 56 |251842 | 0.0 | 57M| 92 | - |1000 | 15k| 0 | 0 | 19k|2410 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1400.04/1400.41 c 1369s| 1910k| 56 |251842 | 0.0 | 57M| 92 | - |1000 | 15k| 0 | 0 | 19k|2422 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1402.53/1402.91 c 1372s| 1920k| 56 |251842 | 0.0 | 57M| 92 | - |1000 | 15k| 0 | 0 | 19k|2431 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1405.04/1405.48 c 1374s| 1930k| 59 |251842 | 0.0 | 57M| 92 | - |1000 | 15k| 0 | 0 | 19k|2443 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1407.64/1408.01 c 1376s| 1940k| 58 |251842 | 0.0 | 57M| 92 | - |1000 | 15k| 0 | 0 | 19k|2452 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1410.14/1410.57 c 1379s| 1950k| 59 |251842 | 0.0 | 57M| 92 | - |1000 | 15k| 0 | 0 | 19k|2454 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1412.83/1413.23 c 1381s| 1960k| 57 |251842 | 0.0 | 57M| 92 | - |1000 | 15k| 0 | 0 | 19k|2455 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1415.54/1415.99 c 1384s| 1970k| 56 |251842 | 0.0 | 57M| 92 | - |1000 | 15k| 0 | 0 | 19k|2469 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1418.23/1418.66 c 1387s| 1980k| 58 |251842 | 0.0 | 57M| 92 | - |1000 | 15k| 0 | 0 | 19k|2478 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1420.84/1421.27 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1420.84/1421.27 c 1389s| 1990k| 58 |251842 | 0.0 | 57M| 92 | - |1000 | 15k| 0 | 0 | 19k|2487 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1423.43/1423.80 c 1392s| 2000k| 57 |251842 | 0.0 | 57M| 92 | - |1000 | 15k| 0 | 0 | 19k|2499 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1425.93/1426.33 c 1394s| 2010k| 55 |251842 | 0.0 | 57M| 92 | - |1000 | 15k| 0 | 0 | 19k|2515 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1428.73/1429.11 c 1397s| 2020k| 58 |251842 | 0.0 | 57M| 92 | - |1000 | 15k| 0 | 0 | 19k|2528 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1431.53/1431.97 c 1399s| 2030k| 57 |251842 | 0.0 | 57M| 92 | - |1000 | 15k| 0 | 0 | 19k|2540 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1434.43/1434.88 c 1402s| 2040k| 54 |251842 | 0.0 | 57M| 92 | - |1000 | 15k| 0 | 0 | 19k|2553 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1437.24/1437.65 c 1405s| 2050k| 57 |251842 | 0.0 | 57M| 92 | - |1000 | 15k| 0 | 0 | 19k|2573 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1439.93/1440.32 c 1407s| 2060k| 60 |251842 | 0.0 | 57M| 92 | - |1000 | 15k| 0 | 0 | 19k|2583 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1442.33/1442.73 c 1410s| 2070k| 58 |251842 | 0.0 | 57M| 92 | - |1000 | 15k| 0 | 0 | 19k|2589 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1444.73/1445.10 c 1412s| 2080k| 58 |251842 | 0.0 | 57M| 92 | - |1000 | 15k| 0 | 0 | 19k|2605 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1447.03/1447.49 c 1414s| 2090k| 58 |251842 | 0.0 | 57M| 92 | - |1000 | 15k| 0 | 0 | 19k|2627 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1449.43/1449.88 c 1416s| 2100k| 59 |251842 | 0.0 | 57M| 92 | - |1000 | 15k| 0 | 0 | 19k|2641 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1451.92/1452.31 c 1419s| 2110k| 59 |251842 | 0.0 | 57M| 92 | - |1000 | 15k| 0 | 0 | 19k|2655 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1454.23/1454.66 c 1421s| 2120k| 58 |251842 | 0.0 | 57M| 92 | - |1000 | 15k| 0 | 0 | 19k|2672 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1456.62/1457.07 c 1423s| 2130k| 59 |251842 | 0.0 | 57M| 92 | - |1000 | 15k| 0 | 0 | 19k|2691 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1459.03/1459.47 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1459.03/1459.47 c 1425s| 2140k| 56 |251842 | 0.0 | 57M| 92 | - |1000 | 15k| 0 | 0 | 19k|2701 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1461.43/1461.89 c 1428s| 2150k| 58 |251842 | 0.0 | 57M| 92 | - |1000 | 15k| 0 | 0 | 19k|2711 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1463.92/1464.36 c 1430s| 2160k| 61 |251842 | 0.0 | 57M| 92 | - |1000 | 15k| 0 | 0 | 19k|2724 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1466.42/1466.81 c 1432s| 2170k| 57 |251842 | 0.0 | 57M| 92 | - |1000 | 15k| 0 | 0 | 19k|2736 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1468.82/1469.23 c 1435s| 2180k| 58 |251842 | 0.0 | 57M| 92 | - |1000 | 15k| 0 | 0 | 19k|2750 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1471.22/1471.65 c 1437s| 2190k| 57 |251842 | 0.0 | 57M| 92 | - |1000 | 15k| 0 | 0 | 19k|2755 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1473.62/1474.01 c 1439s| 2200k| 59 |251842 | 0.0 | 57M| 92 | - |1000 | 15k| 0 | 0 | 19k|2763 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1476.02/1476.42 c 1441s| 2210k| 62 |251842 | 0.0 | 57M| 92 | - |1000 | 15k| 0 | 0 | 19k|2778 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1478.42/1478.80 c 1444s| 2220k| 60 |251842 | 0.0 | 57M| 92 | - |1000 | 15k| 0 | 0 | 19k|2791 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1480.72/1481.18 c 1446s| 2230k| 59 |251842 | 0.0 | 57M| 92 | - |1000 | 15k| 0 | 0 | 19k|2810 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1483.11/1483.56 c 1448s| 2240k| 56 |251842 | 0.0 | 57M| 92 | - |1000 | 15k| 0 | 0 | 19k|2829 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1485.52/1485.94 c 1450s| 2250k| 57 |251842 | 0.0 | 57M| 92 | - |1000 | 15k| 0 | 0 | 19k|2845 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1487.92/1488.35 c 1453s| 2260k| 61 |251842 | 0.0 | 57M| 92 | - |1000 | 15k| 0 | 0 | 19k|2863 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1490.42/1490.81 c 1455s| 2270k| 56 |251842 | 0.0 | 57M| 92 | - |1000 | 15k| 0 | 0 | 19k|2877 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1492.82/1493.27 c 1457s| 2280k| 58 |251842 | 0.0 | 57M| 92 | - |1000 | 15k| 0 | 0 | 19k|2888 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1495.31/1495.75 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1495.31/1495.75 c 1460s| 2290k| 63 |251842 | 0.0 | 57M| 92 | - |1000 | 15k| 0 | 0 | 19k|2904 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1497.72/1498.20 c 1462s| 2300k| 61 |251842 | 0.0 | 57M| 92 | - |1000 | 15k| 0 | 0 | 19k|2911 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1500.22/1500.62 c 1464s| 2310k| 58 |251842 | 0.0 | 57M| 92 | - |1000 | 15k| 0 | 0 | 19k|2920 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1502.61/1503.07 c 1467s| 2320k| 57 |251842 | 0.0 | 57M| 92 | - |1000 | 15k| 0 | 0 | 19k|2936 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1505.11/1505.52 c 1469s| 2330k| 61 |251842 | 0.0 | 57M| 92 | - |1000 | 15k| 0 | 0 | 19k|2951 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1507.51/1507.93 c 1471s| 2340k| 60 |251842 | 0.0 | 57M| 92 | - |1000 | 15k| 0 | 0 | 19k|2964 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1509.92/1510.37 c 1473s| 2350k| 57 |251842 | 0.0 | 57M| 92 | - |1000 | 15k| 0 | 0 | 19k|2978 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1512.31/1512.76 c 1476s| 2360k| 62 |251842 | 0.0 | 57M| 92 | - |1000 | 15k| 0 | 0 | 19k|3009 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1514.71/1515.14 c 1478s| 2370k| 58 |251842 | 0.0 | 57M| 92 | - |1000 | 15k| 0 | 0 | 19k|3023 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1517.11/1517.53 c 1480s| 2380k| 56 |251842 | 0.0 | 57M| 92 | - |1000 | 15k| 0 | 0 | 19k|3040 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1519.51/1519.96 c 1483s| 2390k| 61 |251842 | 0.0 | 57M| 92 | - |1000 | 15k| 0 | 0 | 19k|3056 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1521.91/1522.31 c 1485s| 2400k| 61 |251842 | 0.0 | 57M| 92 | - |1000 | 15k| 0 | 0 | 19k|3067 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1524.21/1524.69 c 1487s| 2410k| 61 |251842 | 0.0 | 57M| 92 | - |1000 | 15k| 0 | 0 | 19k|3084 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1526.71/1527.14 c 1489s| 2420k| 58 |251842 | 0.0 | 57M| 92 | - |1000 | 15k| 0 | 0 | 19k|3092 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1529.10/1529.55 c 1492s| 2430k| 57 |251842 | 0.0 | 57M| 92 | - |1000 | 15k| 0 | 0 | 19k|3101 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1531.51/1531.95 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1531.51/1531.95 c 1494s| 2440k| 58 |251842 | 0.0 | 57M| 92 | - |1000 | 15k| 0 | 0 | 19k|3117 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1533.91/1534.37 c 1496s| 2450k| 57 |251842 | 0.0 | 57M| 92 | - |1000 | 15k| 0 | 0 | 19k|3120 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1536.32/1536.78 c 1498s| 2460k| 60 |251842 | 0.0 | 57M| 92 | - |1000 | 15k| 0 | 0 | 19k|3124 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1538.70/1539.16 c 1501s| 2470k| 60 |251842 | 0.0 | 57M| 92 | - |1000 | 15k| 0 | 0 | 19k|3130 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1541.11/1541.58 c 1503s| 2480k| 61 |251842 | 0.0 | 57M| 92 | - |1000 | 15k| 0 | 0 | 19k|3139 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1543.60/1544.06 c 1505s| 2490k| 58 |251842 | 0.0 | 57M| 92 | - |1000 | 15k| 0 | 0 | 19k|3148 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1546.11/1546.54 c 1508s| 2500k| 59 |251842 | 0.0 | 57M| 92 | - |1000 | 15k| 0 | 0 | 19k|3151 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1548.50/1548.98 c 1510s| 2510k| 58 |251842 | 0.0 | 57M| 92 | - |1000 | 15k| 0 | 0 | 19k|3160 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1551.00/1551.46 c 1512s| 2520k| 57 |251842 | 0.0 | 57M| 92 | - |1000 | 15k| 0 | 0 | 19k|3163 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1553.50/1553.91 c 1515s| 2530k| 59 |251842 | 0.0 | 57M| 92 | - |1000 | 15k| 0 | 0 | 19k|3168 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1555.90/1556.33 c 1517s| 2540k| 58 |251842 | 0.0 | 57M| 92 | - |1000 | 15k| 0 | 0 | 19k|3178 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1558.31/1558.77 c 1519s| 2550k| 60 |251842 | 0.0 | 57M| 92 | - |1000 | 15k| 0 | 0 | 19k|3189 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1560.80/1561.22 c 1522s| 2560k| 60 |251842 | 0.0 | 57M| 92 | - |1000 | 15k| 0 | 0 | 19k|3198 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1563.20/1563.66 c 1524s| 2570k| 60 |251842 | 0.0 | 57M| 92 | - |1000 | 15k| 0 | 0 | 19k|3202 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1565.70/1566.11 c 1526s| 2580k| 57 |251842 | 0.0 | 57M| 92 | - |1000 | 15k| 0 | 0 | 19k|3211 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1568.10/1568.58 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1568.10/1568.58 c 1528s| 2590k| 57 |251842 | 0.0 | 57M| 92 | - |1000 | 15k| 0 | 0 | 19k|3217 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1570.60/1571.00 c 1531s| 2600k| 59 |251842 | 0.0 | 57M| 92 | - |1000 | 15k| 0 | 0 | 19k|3220 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1573.00/1573.47 c 1533s| 2610k| 58 |251842 | 0.0 | 57M| 92 | - |1000 | 15k| 0 | 0 | 19k|3228 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1575.50/1575.93 c 1535s| 2620k| 56 |251842 | 0.0 | 57M| 92 | - |1000 | 15k| 0 | 0 | 19k|3237 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1577.89/1578.39 c 1538s| 2630k| 59 |251842 | 0.0 | 57M| 92 | - |1000 | 15k| 0 | 0 | 19k|3246 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1580.39/1580.88 c 1540s| 2640k| 56 |251842 | 0.0 | 57M| 92 | - |1000 | 15k| 0 | 0 | 19k|3251 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1582.89/1583.34 c 1542s| 2650k| 58 |251842 | 0.0 | 57M| 92 | - |1000 | 15k| 0 | 0 | 19k|3257 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1585.29/1585.79 c 1545s| 2660k| 57 |251842 | 0.0 | 57M| 92 | - |1000 | 15k| 0 | 0 | 19k|3263 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1587.79/1588.24 c 1547s| 2670k| 59 |251842 | 0.0 | 57M| 92 | - |1000 | 15k| 0 | 0 | 19k|3266 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1590.29/1590.70 c 1549s| 2680k| 53 |251842 | 0.0 | 57M| 92 | - |1000 | 15k| 0 | 0 | 19k|3268 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1592.69/1593.12 c 1552s| 2690k| 61 |251842 | 0.0 | 57M| 92 | - |1000 | 15k| 0 | 0 | 19k|3286 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1595.09/1595.52 c 1554s| 2700k| 57 |251842 | 0.0 | 57M| 92 | - |1000 | 15k| 0 | 0 | 19k|3300 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1597.48/1597.91 c 1556s| 2710k| 58 |251842 | 0.0 | 57M| 92 | - |1000 | 15k| 0 | 0 | 19k|3315 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1599.89/1600.32 c 1558s| 2720k| 59 |251842 | 0.0 | 57M| 92 | - |1000 | 15k| 0 | 0 | 19k|3326 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1602.30/1602.76 c 1561s| 2730k| 58 |251842 | 0.0 | 57M| 92 | - |1000 | 15k| 0 | 0 | 19k|3336 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1604.68/1605.16 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1604.68/1605.16 c 1563s| 2740k| 59 |251842 | 0.0 | 57M| 92 | - |1000 | 15k| 0 | 0 | 19k|3344 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1607.08/1607.56 c 1565s| 2750k| 57 |251842 | 0.0 | 57M| 92 | - |1000 | 15k| 0 | 0 | 19k|3362 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1609.49/1609.96 c 1568s| 2760k| 60 |251842 | 0.0 | 57M| 92 | - |1000 | 15k| 0 | 0 | 19k|3372 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1611.89/1612.35 c 1570s| 2770k| 58 |251842 | 0.0 | 57M| 92 | - |1000 | 15k| 0 | 0 | 19k|3384 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1614.29/1614.79 c 1572s| 2780k| 57 |251842 | 0.0 | 57M| 92 | - |1000 | 15k| 0 | 0 | 19k|3403 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1616.79/1617.21 c 1574s| 2790k| 56 |251842 | 0.0 | 57M| 92 | - |1000 | 15k| 0 | 0 | 19k|3415 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1619.19/1619.62 c 1577s| 2800k| 58 |251842 | 0.0 | 57M| 92 | - |1000 | 15k| 0 | 0 | 19k|3426 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1621.58/1622.06 c 1579s| 2810k| 59 |251842 | 0.0 | 57M| 92 | - |1000 | 15k| 0 | 0 | 19k|3434 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1623.98/1624.48 c 1581s| 2820k| 58 |251842 | 0.0 | 57M| 92 | - |1000 | 15k| 0 | 0 | 19k|3450 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1626.39/1626.87 c 1584s| 2830k| 57 |251842 | 0.0 | 57M| 92 | - |1000 | 15k| 0 | 0 | 19k|3459 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1628.78/1629.26 c 1586s| 2840k| 60 |251842 | 0.0 | 57M| 92 | - |1000 | 15k| 0 | 0 | 19k|3466 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1631.18/1631.69 c 1588s| 2850k| 56 |251842 | 0.0 | 57M| 92 | - |1000 | 15k| 0 | 0 | 19k|3472 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1633.68/1634.10 c 1590s| 2860k| 59 |251842 | 0.0 | 57M| 92 | - |1000 | 15k| 0 | 0 | 19k|3488 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1636.08/1636.50 c 1593s| 2870k| 61 |251842 | 0.0 | 57M| 92 | - |1000 | 15k| 0 | 0 | 19k|3503 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1638.38/1638.89 c 1595s| 2880k| 57 |251842 | 0.0 | 57M| 92 | - |1000 | 15k| 0 | 0 | 19k|3517 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1640.78/1641.29 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1640.78/1641.29 c 1597s| 2890k| 59 |251842 | 0.0 | 57M| 92 | - |1000 | 15k| 0 | 0 | 19k|3530 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1643.28/1643.73 c 1599s| 2900k| 58 |251842 | 0.0 | 57M| 92 | - |1000 | 15k| 0 | 0 | 19k|3540 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1645.67/1646.17 c 1602s| 2910k| 60 |251842 | 0.0 | 57M| 92 | - |1000 | 15k| 0 | 0 | 19k|3546 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1648.18/1648.66 c 1604s| 2920k| 57 |251842 | 0.0 | 57M| 92 | - |1000 | 15k| 0 | 0 | 19k|3557 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1650.68/1651.11 c 1606s| 2930k| 54 |251842 | 0.0 | 57M| 92 | - |1000 | 15k| 0 | 0 | 19k|3563 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1653.07/1653.53 c 1609s| 2940k| 57 |251842 | 0.0 | 57M| 92 | - |1000 | 15k| 0 | 0 | 19k|3567 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1655.47/1655.98 c 1611s| 2950k| 60 |251842 | 0.0 | 57M| 92 | - |1000 | 15k| 0 | 0 | 19k|3580 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1657.97/1658.41 c 1613s| 2960k| 60 |251842 | 0.0 | 57M| 92 | - |1000 | 15k| 0 | 0 | 19k|3605 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1660.37/1660.89 c 1616s| 2970k| 59 |251842 | 0.0 | 57M| 92 | - |1000 | 15k| 0 | 0 | 19k|3616 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1662.87/1663.35 c 1618s| 2980k| 63 |251842 | 0.0 | 57M| 92 | - |1000 | 15k| 0 | 0 | 19k|3625 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1665.28/1665.79 c 1620s| 2990k| 59 |251842 | 0.0 | 57M| 92 | - |1000 | 15k| 0 | 0 | 19k|3640 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1667.78/1668.22 c 1623s| 3000k| 59 |251842 | 0.0 | 57M| 92 | - |1000 | 15k| 0 | 0 | 19k|3647 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1670.17/1670.63 c 1625s| 3010k| 64 |251842 | 0.0 | 57M| 92 | - |1000 | 15k| 0 | 0 | 19k|3664 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1672.57/1673.06 c 1627s| 3020k| 65 |251842 | 0.0 | 57M| 92 | - |1000 | 15k| 0 | 0 | 19k|3673 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1675.07/1675.55 c 1630s| 3030k| 62 |251842 | 0.0 | 57M| 92 | - |1000 | 15k| 0 | 0 | 19k|3687 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1677.57/1678.00 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1677.57/1678.00 c 1632s| 3040k| 61 |251842 | 0.0 | 57M| 92 | - |1000 | 15k| 0 | 0 | 19k|3708 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1679.96/1680.45 c 1634s| 3050k| 58 |251842 | 0.0 | 57M| 92 | - |1000 | 15k| 0 | 0 | 19k|3715 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1682.48/1682.92 c 1637s| 3060k| 58 |251842 | 0.0 | 57M| 92 | - |1000 | 15k| 0 | 0 | 19k|3729 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1684.87/1685.34 c 1639s| 3070k| 64 |251842 | 0.0 | 57M| 92 | - |1000 | 15k| 0 | 0 | 19k|3738 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1687.27/1687.76 c 1641s| 3080k| 61 |251842 | 0.0 | 57M| 92 | - |1000 | 15k| 0 | 0 | 19k|3747 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1689.77/1690.22 c 1643s| 3090k| 58 |251842 | 0.0 | 57M| 92 | - |1000 | 15k| 0 | 0 | 19k|3755 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1692.17/1692.69 c 1646s| 3100k| 59 |251842 | 0.0 | 57M| 92 | - |1000 | 15k| 0 | 0 | 19k|3771 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1694.67/1695.11 c 1648s| 3110k| 56 |251842 | 0.0 | 57M| 92 | - |1000 | 15k| 0 | 0 | 19k|3776 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1697.07/1697.59 c 1650s| 3120k| 59 |251842 | 0.0 | 57M| 92 | - |1000 | 15k| 0 | 0 | 19k|3789 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1699.57/1700.04 c 1653s| 3130k| 63 |251842 | 0.0 | 57M| 92 | - |1000 | 15k| 0 | 0 | 19k|3805 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1702.06/1702.50 c 1655s| 3140k| 62 |251842 | 0.0 | 57M| 92 | - |1000 | 15k| 0 | 0 | 19k|3829 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1704.46/1704.94 c 1657s| 3150k| 61 |251842 | 0.0 | 57M| 92 | - |1000 | 15k| 0 | 0 | 19k|3844 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1706.96/1707.41 c 1660s| 3160k| 63 |251842 | 0.0 | 57M| 92 | - |1000 | 15k| 0 | 0 | 19k|3858 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1709.36/1709.86 c 1662s| 3170k| 62 |251842 | 0.0 | 57M| 92 | - |1000 | 15k| 0 | 0 | 19k|3877 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1711.86/1712.33 c 1664s| 3180k| 61 |251842 | 0.0 | 57M| 92 | - |1000 | 15k| 0 | 0 | 19k|3883 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1714.37/1714.81 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1714.37/1714.81 c 1667s| 3190k| 60 |251842 | 0.0 | 57M| 92 | - |1000 | 15k| 0 | 0 | 19k|3892 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1716.76/1717.27 c 1669s| 3200k| 63 |251842 | 0.0 | 57M| 92 | - |1000 | 15k| 0 | 0 | 19k|3905 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1719.25/1719.74 c 1671s| 3210k| 59 |251842 | 0.0 | 57M| 92 | - |1000 | 15k| 0 | 0 | 19k|3911 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1721.76/1722.21 c 1674s| 3220k| 59 |251842 | 0.0 | 57M| 92 | - |1000 | 15k| 0 | 0 | 19k|3926 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1724.15/1724.67 c 1676s| 3230k| 60 |251842 | 0.0 | 57M| 92 | - |1000 | 15k| 0 | 0 | 19k|3935 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1726.65/1727.18 c 1678s| 3240k| 57 |251842 | 0.0 | 57M| 92 | - |1000 | 15k| 0 | 0 | 19k|3947 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1729.16/1729.61 c 1681s| 3250k| 62 |251842 | 0.0 | 57M| 92 | - |1000 | 15k| 0 | 0 | 19k|3962 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1731.75/1732.23 c 1683s| 3260k| 61 |251842 | 0.0 | 57M| 92 | - |1000 | 15k| 0 | 0 | 19k|3967 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1734.26/1734.77 c 1685s| 3270k| 62 |251842 | 0.0 | 57M| 92 | - |1000 | 15k| 0 | 0 | 19k|3971 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1736.85/1737.33 c 1688s| 3280k| 63 |251842 | 0.0 | 57M| 92 | - |1000 | 15k| 0 | 0 | 19k|3981 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1739.35/1739.84 c 1690s| 3290k| 60 |251842 | 0.0 | 57M| 92 | - |1000 | 15k| 0 | 0 | 19k|3991 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1741.86/1742.37 c 1693s| 3300k| 61 |251842 | 0.0 | 57M| 92 | - |1000 | 15k| 0 | 0 | 19k|4002 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1744.45/1744.93 c 1695s| 3310k| 60 |251842 | 0.0 | 57M| 92 | - |1000 | 15k| 0 | 0 | 19k|4009 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1746.95/1747.47 c 1697s| 3320k| 63 |251842 | 0.0 | 57M| 92 | - |1000 | 15k| 0 | 0 | 19k|4017 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1749.55/1750.03 c 1700s| 3330k| 63 |251842 | 0.0 | 57M| 92 | - |1000 | 15k| 0 | 0 | 19k|4023 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1752.05/1752.59 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1752.05/1752.59 c 1702s| 3340k| 61 |251842 | 0.0 | 57M| 92 | - |1000 | 15k| 0 | 0 | 19k|4032 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1754.75/1755.28 c 1705s| 3350k| 59 |251842 | 0.0 | 57M| 92 | - |1000 | 15k| 0 | 0 | 19k|4034 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1757.36/1757.89 c 1707s| 3360k| 61 |251842 | 0.0 | 57M| 92 | - |1000 | 15k| 0 | 0 | 19k|4037 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1760.34/1760.90 c 1710s| 3370k| 61 |251842 | 0.0 | 57M| 92 | - |1000 | 15k| 0 | 0 | 19k|4050 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1763.15/1763.68 c 1713s| 3380k| 61 |251842 | 0.0 | 57M| 92 | - |1000 | 15k| 0 | 0 | 19k|4055 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1765.94/1766.45 c 1715s| 3390k| 63 |251842 | 0.0 | 57M| 92 | - |1000 | 15k| 0 | 0 | 19k|4065 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1768.75/1769.25 c 1718s| 3400k| 58 |251842 | 0.0 | 57M| 92 | - |1000 | 15k| 0 | 0 | 19k|4073 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1771.45/1771.95 c 1721s| 3410k| 59 |251842 | 0.0 | 57M| 92 | - |1000 | 15k| 0 | 0 | 19k|4080 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1774.24/1774.73 c 1723s| 3420k| 60 |251842 | 0.0 | 57M| 92 | - |1000 | 15k| 0 | 0 | 19k|4093 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1776.64/1777.19 c 1726s| 3430k| 59 |251842 | 0.0 | 57M| 92 | - |1000 | 15k| 0 | 0 | 19k|4099 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1779.14/1779.66 c 1728s| 3440k| 60 |251842 | 0.0 | 57M| 92 | - |1000 | 15k| 0 | 0 | 19k|4109 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1781.64/1782.14 c 1730s| 3450k| 57 |251842 | 0.0 | 57M| 92 | - |1000 | 15k| 0 | 0 | 19k|4117 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1784.14/1784.66 c 1733s| 3460k| 59 |251842 | 0.0 | 57M| 92 | - |1000 | 15k| 0 | 0 | 19k|4130 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1786.64/1787.11 c 1735s| 3470k| 57 |251842 | 0.0 | 57M| 92 | - |1000 | 15k| 0 | 0 | 19k|4140 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1789.04/1789.54 c 1737s| 3480k| 62 |251842 | 0.0 | 57M| 92 | - |1000 | 15k| 0 | 0 | 19k|4149 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1791.45/1791.94 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1791.45/1791.94 c 1740s| 3490k| 61 |251842 | 0.0 | 57M| 92 | - |1000 | 15k| 0 | 0 | 19k|4169 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1793.84/1794.39 c 1742s| 3500k| 62 |251842 | 0.0 | 57M| 92 | - |1000 | 15k| 0 | 0 | 19k|4181 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1796.44/1796.92 c 1744s| 3510k| 62 |251842 | 0.0 | 57M| 92 | - |1000 | 15k| 0 | 0 | 19k|4192 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1798.84/1799.36 c 1747s| 3520k| 64 |251842 | 0.0 | 57M| 92 | - |1000 | 15k| 0 | 0 | 19k|4206 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1800.04/1800.50 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.04/1800.50 c
1800.04/1800.50 c SCIP Status : solving was interrupted [user interrupt]
1800.04/1800.50 c Solving Time (sec) : 1747.68
1800.04/1800.50 c Solving Nodes : 3524527
1800.04/1800.50 c Primal Bound : -1.01000000000000e+02 (66 solutions)
1800.04/1800.50 c Dual Bound : -3.22999999999999e+02
1800.04/1800.50 c Gap : 68.73 %
1800.04/1800.54 s SATISFIABLE
1800.04/1800.54 v x1000 x999 -x998 -x997 -x996 -x995 -x994 -x993 -x992 -x991 -x990 -x989 -x988 -x987 -x986 -x985 -x984 -x983 -x982 -x981 -x980 -x979
1800.04/1800.54 v -x978 -x977 -x976 -x975 -x974 -x973 -x972 -x971 -x970 -x969 -x968 -x967 -x966 -x965 -x964 -x963 -x962 -x961 -x960 -x959 -x958
1800.04/1800.54 v -x957 -x956 -x955 -x954 -x953 -x952 -x951 -x950 -x949 -x948 -x947 -x946 -x945 -x944 -x943 -x942 -x941 -x940 -x939 -x938
1800.04/1800.54 v -x937 -x936 -x935 -x934 -x933 -x932 -x931 -x930 x929 -x928 -x927 -x926 -x925 -x924 -x923 x922 -x921 -x920 -x919 -x918 -x917 -x916
1800.04/1800.54 v -x915 -x914 -x913 -x912 -x911 x910 -x909 -x908 -x907 -x906 -x905 -x904 -x903 -x902 -x901 -x900 -x899 x898 -x897 -x896 -x895
1800.04/1800.54 v -x894 -x893 -x892 -x891 -x890 -x889 -x888 -x887 -x886 x885 -x884 -x883 -x882 -x881 -x880 -x879 -x878 -x877 -x876 -x875 -x874
1800.04/1800.54 v -x873 -x872 -x871 -x870 -x869 -x868 -x867 -x866 -x865 -x864 -x863 x862 -x861 x860 -x859 -x858 -x857 -x856 -x855 -x854 x853
1800.04/1800.54 v -x852 -x851 -x850 -x849 -x848 x847 -x846 -x845 -x844 -x843 -x842 -x841 -x840 -x839 -x838 -x837 -x836 -x835 -x834 -x833 -x832
1800.04/1800.54 v x831 -x830 -x829 -x828 x827 -x826 -x825 -x824 -x823 -x822 -x821 -x820 -x819 -x818 -x817 -x816 -x815 -x814 -x813 -x812 -x811
1800.04/1800.54 v x810 -x809 -x808 -x807 -x806 -x805 -x804 x803 -x802 -x801 -x800 -x799 -x798 -x797 -x796 -x795 -x794 -x793 -x792 -x791 -x790
1800.04/1800.54 v -x789 -x788 -x787 -x786 -x785 -x784 -x783 -x782 -x781 -x780 -x779 x778 -x777 x776 -x775 -x774 -x773 -x772 -x771 -x770 -x769 x768
1800.04/1800.54 v -x767 -x766 -x765 -x764 -x763 -x762 -x761 x760 -x759 -x758 -x757 -x756 -x755 -x754 -x753 x752 -x751 -x750 -x749 -x748 -x747
1800.04/1800.54 v -x746 -x745 -x744 -x743 -x742 x741 -x740 -x739 -x738 -x737 -x736 -x735 -x734 -x733 -x732 -x731 -x730 -x729 -x728 -x727 -x726
1800.04/1800.54 v -x725 -x724 -x723 -x722 -x721 -x720 -x719 -x718 -x717 -x716 -x715 -x714 -x713 -x712 -x711 -x710 -x709 -x708 -x707 -x706 -x705
1800.04/1800.54 v -x704 -x703 -x702 -x701 -x700 -x699 -x698 -x697 -x696 -x695 -x694 -x693 -x692 -x691 -x690 -x689 -x688 -x687 -x686 -x685 -x684
1800.04/1800.54 v -x683 -x682 -x681 -x680 -x679 -x678 -x677 -x676 -x675 -x674 -x673 -x672 -x671 -x670 -x669 -x668 -x667 -x666 -x665 -x664
1800.04/1800.54 v -x663 -x662 -x661 -x660 x659 -x658 -x657 -x656 -x655 x654 -x653 -x652 -x651 -x650 -x649 -x648 -x647 -x646 -x645 -x644 -x643 -x642
1800.04/1800.54 v -x641 -x640 -x639 -x638 -x637 -x636 -x635 -x634 -x633 -x632 -x631 -x630 -x629 x628 -x627 -x626 -x625 -x624 x623 -x622 -x621
1800.04/1800.54 v -x620 -x619 -x618 -x617 -x616 -x615 -x614 -x613 -x612 -x611 -x610 -x609 -x608 -x607 -x606 -x605 -x604 -x603 -x602 -x601 -x600
1800.04/1800.54 v -x599 -x598 -x597 -x596 -x595 -x594 -x593 -x592 -x591 -x590 -x589 -x588 -x587 -x586 -x585 -x584 -x583 x582 -x581 -x580 -x579
1800.04/1800.54 v -x578 -x577 -x576 -x575 -x574 x573 -x572 -x571 -x570 -x569 -x568 -x567 -x566 x565 -x564 -x563 -x562 -x561 x560 -x559 -x558
1800.04/1800.54 v -x557 -x556 -x555 -x554 -x553 -x552 -x551 -x550 -x549 x548 -x547 -x546 -x545 -x544 -x543 x542 -x541 -x540 -x539 -x538 -x537
1800.04/1800.54 v -x536 -x535 -x534 -x533 -x532 -x531 -x530 -x529 -x528 -x527 -x526 -x525 -x524 x523 -x522 -x521 -x520 -x519 -x518 -x517 -x516
1800.04/1800.54 v -x515 -x514 -x513 x512 -x511 -x510 -x509 -x508 x507 -x506 x505 -x504 -x503 -x502 -x501 -x500 -x499 -x498 -x497 -x496 -x495
1800.04/1800.54 v -x494 -x493 -x492 -x491 -x490 -x489 -x488 -x487 -x486 -x485 -x484 -x483 -x482 -x481 -x480 -x479 -x478 -x477 -x476 -x475 -x474
1800.04/1800.54 v -x473 -x472 x471 -x470 -x469 -x468 -x467 -x466 -x465 -x464 x463 -x462 -x461 -x460 -x459 -x458 -x457 -x456 -x455 -x454 -x453
1800.04/1800.54 v -x452 -x451 x450 -x449 -x448 x447 -x446 -x445 -x444 -x443 -x442 -x441 -x440 -x439 -x438 -x437 -x436 -x435 -x434 -x433 -x432 -x431
1800.04/1800.54 v -x430 -x429 -x428 -x427 -x426 -x425 -x424 -x423 -x422 -x421 -x420 -x419 -x418 -x417 -x416 -x415 -x414 -x413 -x412 -x411
1800.04/1800.54 v -x410 -x409 -x408 -x407 -x406 -x405 -x404 -x403 x402 -x401 -x400 -x399 -x398 -x397 -x396 x395 -x394 -x393 -x392 -x391 -x390 -x389
1800.04/1800.54 v -x388 -x387 -x386 -x385 -x384 -x383 -x382 -x381 -x380 -x379 -x378 -x377 -x376 -x375 -x374 x373 -x372 -x371 -x370 -x369 -x368
1800.04/1800.54 v -x367 -x366 -x365 -x364 -x363 -x362 -x361 -x360 -x359 -x358 -x357 -x356 -x355 -x354 -x353 -x352 -x351 -x350 -x349 -x348
1800.04/1800.54 v -x347 -x346 -x345 -x344 -x343 -x342 -x341 -x340 -x339 -x338 -x337 -x336 -x335 -x334 -x333 -x332 -x331 -x330 -x329 -x328 -x327
1800.04/1800.54 v -x326 -x325 -x324 -x323 x322 -x321 -x320 x319 -x318 -x317 -x316 -x315 -x314 -x313 -x312 x311 -x310 -x309 x308 -x307 -x306 -x305
1800.04/1800.54 v -x304 -x303 -x302 -x301 -x300 -x299 -x298 -x297 -x296 -x295 -x294 -x293 -x292 -x291 -x290 -x289 -x288 -x287 -x286 -x285 x284
1800.04/1800.54 v -x283 -x282 -x281 -x280 -x279 -x278 -x277 -x276 -x275 -x274 -x273 x272 -x271 -x270 -x269 -x268 -x267 -x266 -x265 -x264 -x263
1800.04/1800.54 v -x262 -x261 x260 -x259 -x258 -x257 -x256 -x255 -x254 -x253 -x252 -x251 -x250 x249 -x248 -x247 -x246 -x245 -x244 -x243 -x242
1800.04/1800.54 v x241 -x240 -x239 -x238 x237 -x236 -x235 -x234 -x233 x232 -x231 -x230 -x229 -x228 -x227 -x226 -x225 -x224 -x223 -x222 -x221
1800.04/1800.54 v -x220 -x219 -x218 -x217 -x216 -x215 -x214 -x213 -x212 -x211 -x210 -x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200
1800.04/1800.54 v -x199 -x198 -x197 -x196 x195 -x194 -x193 -x192 x191 x190 -x189 -x188 -x187 x186 -x185 -x184 -x183 -x182 x181 -x180 -x179 -x178
1800.04/1800.54 v -x177 -x176 -x175 -x174 x173 -x172 x171 -x170 -x169 -x168 -x167 -x166 -x165 -x164 -x163 x162 -x161 -x160 -x159 -x158 -x157
1800.04/1800.54 v -x156 -x155 x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147 -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136
1800.04/1800.54 v x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126 -x125 x124 -x123 -x122 -x121 x120 -x119 -x118 -x117 -x116 -x115
1800.04/1800.54 v -x114 -x113 -x112 -x111 -x110 -x109 -x108 x107 x106 x105 -x104 x103 x102 -x101 -x100 -x99 x98 -x97 -x96 -x95 -x94 -x93 -x92 -x91
1800.04/1800.54 v -x90 -x89 -x88 -x87 -x86 -x85 -x84 -x83 x82 x81 -x80 -x79 -x78 x77 -x76 -x75 -x74 -x73 -x72 -x71 -x70 -x69 -x68 -x67 -x66
1800.04/1800.54 v -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 -x40 -x39
1800.04/1800.54 v -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 x12
1800.04/1800.54 v -x11 -x10 x9 x8 x7 -x6 -x5 x4 x3 x2 x1
1800.04/1800.54 c SCIP Status : solving was interrupted [user interrupt]
1800.04/1800.54 c Solving Time : 1747.68
1800.04/1800.54 c Original Problem :
1800.04/1800.54 c Problem name : HOME/instance-2666683-1276662066.opb
1800.04/1800.54 c Variables : 16795 (16795 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.04/1800.54 c Constraints : 16795 initial, 16795 maximal
1800.04/1800.54 c Presolved Problem :
1800.04/1800.54 c Problem name : t_HOME/instance-2666683-1276662066.opb
1800.04/1800.54 c Variables : 1000 (1000 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.04/1800.54 c Constraints : 15795 initial, 15799 maximal
1800.04/1800.54 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.04/1800.54 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.54 c dualfix : 0.01 0 0 0 0 0 0 0 0
1800.04/1800.54 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.54 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.54 c implics : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.54 c probing : 0.09 0 0 0 0 0 0 0 0
1800.04/1800.54 c linear : 0.10 15795 0 0 15795 0 1000 0 0
1800.04/1800.54 c logicor : 0.04 0 0 0 0 0 0 0 0
1800.04/1800.54 c root node : - 0 - - 0 - - - -
1800.04/1800.54 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.04/1800.54 c integral : 0 0 0 1 0 0 0 0 0 2
1800.04/1800.54 c logicor : 15795+ 203 3887319 0 0 12288 6142127 18207 0 0
1800.04/1800.54 c countsols : 0 0 0 0 0 0 0 0 0 0
1800.04/1800.54 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.04/1800.54 c integral : 56.52 0.00 0.00 56.52 0.00
1800.04/1800.54 c logicor : 75.31 0.76 74.55 0.00 0.00
1800.04/1800.54 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.04/1800.54 c Propagators : Time Calls Cutoffs DomReds
1800.04/1800.54 c vbounds : 2.64 2 0 0
1800.04/1800.54 c rootredcost : 3.12 0 0 0
1800.04/1800.54 c pseudoobj : 534.56 6548264 1732186 6860544
1800.04/1800.54 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.04/1800.54 c propagation : 11.17 12288 4211 4211 71.4 0 0.0 -
1800.04/1800.54 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1800.54 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1800.54 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1800.54 c pseudo solution : 27.39 18298 0 0 0.0 0 0.0 -
1800.04/1800.54 c applied globally : - - - 4211 71.4 - - -
1800.04/1800.54 c applied locally : - - - 0 0.0 - - -
1800.04/1800.54 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.04/1800.54 c cut pool : 1.97 202 - - 5819 - (maximal pool size: 17004)
1800.04/1800.54 c redcost : 0.02 203 0 0 0 0
1800.04/1800.54 c impliedbounds : 0.57 203 0 0 29418 0
1800.04/1800.54 c intobj : 0.00 0 0 0 0 0
1800.04/1800.54 c cgmip : 0.00 0 0 0 0 0
1800.04/1800.54 c gomory : 486.35 200 0 0 65288 0
1800.04/1800.54 c strongcg : 2.22 20 0 0 10000 0
1800.04/1800.54 c cmir : 0.78 10 0 0 0 0
1800.04/1800.54 c flowcover : 0.61 10 0 0 0 0
1800.04/1800.54 c clique : 6.56 200 0 0 1684 0
1800.04/1800.54 c zerohalf : 0.00 0 0 0 0 0
1800.04/1800.54 c mcf : 0.03 1 0 0 0 0
1800.04/1800.54 c rapidlearning : 0.00 0 0 0 0 0
1800.04/1800.54 c Pricers : Time Calls Vars
1800.04/1800.54 c problem variables: 0.00 0 0
1800.04/1800.54 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.04/1800.54 c relpscost : 56.52 1 0 0 0 0 2
1800.04/1800.54 c pscost : 0.00 0 0 0 0 0 0
1800.04/1800.54 c inference : 24.46 1763665 0 0 0 0 3527330
1800.04/1800.54 c mostinf : 0.00 0 0 0 0 0 0
1800.04/1800.54 c leastinf : 0.00 0 0 0 0 0 0
1800.04/1800.54 c fullstrong : 0.00 0 0 0 0 0 0
1800.04/1800.54 c allfullstrong : 0.00 0 0 0 0 0 0
1800.04/1800.54 c random : 0.00 0 0 0 0 0 0
1800.04/1800.54 c Primal Heuristics : Time Calls Found
1800.04/1800.54 c LP solutions : 0.00 - 0
1800.04/1800.54 c pseudo solutions : 0.00 - 0
1800.04/1800.54 c crossover : 0.00 0 0
1800.04/1800.54 c oneopt : 1.78 2 1
1800.04/1800.54 c trivial : 0.05 2 2
1800.04/1800.54 c simplerounding : 0.26 203 61
1800.04/1800.54 c zirounding : 0.00 1 0
1800.04/1800.54 c rounding : 11.97 203 1
1800.04/1800.54 c shifting : 12.27 203 1
1800.04/1800.54 c intshifting : 0.00 0 0
1800.04/1800.54 c twoopt : 0.00 0 0
1800.04/1800.54 c fixandinfer : 0.00 0 0
1800.04/1800.54 c feaspump : 0.00 0 0
1800.04/1800.54 c coefdiving : 0.00 0 0
1800.04/1800.54 c pscostdiving : 0.00 0 0
1800.04/1800.54 c fracdiving : 0.00 0 0
1800.04/1800.54 c veclendiving : 0.00 0 0
1800.04/1800.54 c intdiving : 0.00 0 0
1800.04/1800.54 c actconsdiving : 0.00 0 0
1800.04/1800.54 c objpscostdiving : 0.00 0 0
1800.04/1800.54 c rootsoldiving : 0.00 0 0
1800.04/1800.54 c linesearchdiving : 0.00 0 0
1800.04/1800.54 c guideddiving : 0.00 0 0
1800.04/1800.54 c octane : 0.00 0 0
1800.04/1800.54 c rens : 0.01 0 0
1800.04/1800.54 c rins : 0.00 0 0
1800.04/1800.54 c localbranching : 0.00 0 0
1800.04/1800.54 c mutation : 0.00 0 0
1800.04/1800.54 c dins : 0.00 0 0
1800.04/1800.54 c undercover : 0.00 0 0
1800.04/1800.54 c nlp : 1.66 0 0
1800.04/1800.54 c trysol : 1.46 0 0
1800.04/1800.54 c LP : Time Calls Iterations Iter/call Iter/sec
1800.04/1800.54 c primal LP : 0.27 0 0 0.00 0.00
1800.04/1800.54 c dual LP : 326.69 203 251842 1240.60 770.89
1800.04/1800.54 c lex dual LP : 0.00 0 0 0.00 -
1800.04/1800.54 c barrier LP : 0.00 0 0 0.00 -
1800.04/1800.54 c diving/probing LP: 0.00 0 0 0.00 -
1800.04/1800.54 c strong branching : 56.52 33 31004 939.52 548.55
1800.04/1800.54 c (at root node) : - 33 31004 939.52 -
1800.04/1800.54 c conflict analysis: 0.00 0 0 0.00 -
1800.04/1800.54 c B&B Tree :
1800.04/1800.54 c number of runs : 1
1800.04/1800.54 c nodes : 3524527
1800.04/1800.54 c nodes (total) : 3524527
1800.04/1800.54 c nodes left : 60
1800.04/1800.54 c max depth : 92
1800.04/1800.54 c max depth (total): 92
1800.04/1800.54 c backtracks : 834557 (23.7%)
1800.04/1800.54 c delayed cutoffs : 2631
1800.04/1800.54 c repropagations : 2962 (16239 domain reductions, 1911 cutoffs)
1800.04/1800.54 c avg switch length: 2.00
1800.04/1800.54 c switching time : 68.16
1800.04/1800.54 c Solution :
1800.04/1800.54 c Solutions found : 66 (4 improvements)
1800.04/1800.54 c First Solution : +0.00000000000000e+00 (in run 1, after 0 nodes, 0.15 seconds, depth 0, found by <trivial>)
1800.04/1800.54 c Primal Bound : -1.01000000000000e+02 (in run 1, after 1 nodes, 2.22 seconds, depth 0, found by <oneopt>)
1800.04/1800.54 c Dual Bound : -3.22999999999999e+02
1800.04/1800.54 c Gap : 68.73 %
1800.04/1800.54 c Root Dual Bound : -3.22999999999999e+02
1800.04/1800.54 c Root Iterations : 251842
1800.15/1800.68 c Time complete: 1800.22.