0.00/0.00 c SCIP version 1.2.1.3 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.4.2]
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-2703252-1278569262.opb>
0.10/0.18 c original problem has 16795 variables (16795 bin, 0 int, 0 impl, 0 cont) and 16795 constraints
0.10/0.18 c problem read
0.10/0.18 c presolving settings loaded
0.29/0.39 o 0
0.29/0.39 c feasible solution found by trivial heuristic, objective value 0.000000e+00
0.29/0.39 c presolving:
0.69/0.73 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
0.89/0.92 c (0.7s) probing: 101/1000 (10.1%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.89/0.92 c (0.7s) probing aborted: 100/100 successive totally useless probings
0.89/0.93 c presolving (2 rounds):
0.89/0.93 c 15795 deleted vars, 1000 deleted constraints, 15795 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.89/0.93 c 94770 implications, 0 cliques
0.89/0.93 c presolved problem has 1000 variables (1000 bin, 0 int, 0 impl, 0 cont) and 15795 constraints
0.89/0.93 c 15795 constraints of type <logicor>
0.89/0.93 c transformed objective value is always integral (scale: 1)
0.89/0.93 c Presolving Time: 0.64
0.89/0.93 c - non default parameters ----------------------------------------------------------------------
0.89/0.93 c # SCIP version 1.2.1.3
0.89/0.93 c
0.89/0.93 c # maximal number of intermediate conflict constraints generated in conflict graph (-1: use every intermediate constraint)
0.89/0.93 c # [type: int, range: [-1,2147483647], default: -1]
0.89/0.93 c conflict/interconss = 0
0.89/0.93 c
0.89/0.93 c # should binary conflicts be preferred?
0.89/0.93 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.89/0.93 c conflict/preferbinary = TRUE
0.89/0.93 c
0.89/0.93 c # maximum age an unnecessary constraint can reach before it is deleted (0: dynamic, -1: keep all constraints)
0.89/0.93 c # [type: int, range: [-1,2147483647], default: 0]
0.89/0.93 c constraints/agelimit = 1
0.89/0.93 c
0.89/0.93 c # should enforcement of pseudo solution be disabled?
0.89/0.93 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.89/0.93 c constraints/disableenfops = TRUE
0.89/0.93 c
0.89/0.93 c # frequency for displaying node information lines
0.89/0.93 c # [type: int, range: [-1,2147483647], default: 100]
0.89/0.93 c display/freq = 10000
0.89/0.93 c
0.89/0.93 c # maximal time in seconds to run
0.89/0.93 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.89/0.93 c limits/time = 1789.83
0.89/0.93 c
0.89/0.93 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.89/0.93 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.89/0.93 c limits/memory = 1620
0.89/0.93 c
0.89/0.93 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.89/0.93 c # [type: int, range: [-1,2147483647], default: 1]
0.89/0.93 c lp/solvefreq = 0
0.89/0.93 c
0.89/0.93 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)
0.89/0.93 c # [type: char, range: {lafpsqd}, default: l]
0.89/0.93 c lp/pricing = a
0.89/0.93 c
0.89/0.93 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.89/0.93 c # [type: int, range: [1,2], default: 1]
0.89/0.93 c timing/clocktype = 2
0.89/0.93 c
0.89/0.93 c # should presolving try to simplify inequalities
0.89/0.93 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.89/0.93 c constraints/linear/simplifyinequalities = TRUE
0.89/0.93 c
0.89/0.93 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.89/0.93 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.89/0.93 c constraints/indicator/addCouplingCons = TRUE
0.89/0.93 c
0.89/0.93 c # should presolving try to simplify knapsacks
0.89/0.93 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.89/0.93 c constraints/knapsack/simplifyinequalities = TRUE
0.89/0.93 c
0.89/0.93 c # priority of node selection rule <dfs> in standard mode
0.89/0.93 c # [type: int, range: [-536870912,536870911], default: 0]
0.89/0.93 c nodeselection/dfs/stdpriority = 1000000
0.89/0.93 c
0.89/0.93 c -----------------------------------------------------------------------------------------------
0.89/0.93 c start solving
0.89/0.93 c
1.59/1.60 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1.59/1.60 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.59/1.69 o -1
1.59/1.69 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.69/1.78 o -2
1.69/1.78 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.39/2.48 c 2.3s| 1 | 0 | 1160 | - | 44M| 0 | 992 |1000 | 15k|1000 | 15k| 8 | 0 | 0 |-4.960000e+02 |-2.000000e+00 | 99.60%
2.39/2.49 o -101
2.39/2.49 c b 2.3s| 1 | 0 | 1160 | - | 44M| 0 | 992 |1000 | 15k|1000 | 15k| 8 | 0 | 0 |-4.960000e+02 |-1.010000e+02 | 79.64%
3.30/3.38 c 3.2s| 1 | 0 | 1262 | - | 44M| 0 | 986 |1000 | 15k|1000 | 15k| 16 | 0 | 0 |-4.930000e+02 |-1.010000e+02 | 79.51%
4.19/4.22 c 4.0s| 1 | 0 | 1333 | - | 44M| 0 | 981 |1000 | 15k|1000 | 15k| 25 | 0 | 0 |-4.905000e+02 |-1.010000e+02 | 79.41%
5.09/5.19 c 5.0s| 1 | 0 | 1487 | - | 44M| 0 | 974 |1000 | 15k|1000 | 15k| 35 | 0 | 0 |-4.870000e+02 |-1.010000e+02 | 79.26%
6.29/6.30 c 6.1s| 1 | 0 | 1656 | - | 44M| 0 | 969 |1000 | 15k|1000 | 15k| 44 | 0 | 0 |-4.845000e+02 |-1.010000e+02 | 79.15%
7.19/7.23 c 7.0s| 1 | 0 | 1756 | - | 44M| 0 | 964 |1000 | 15k|1000 | 15k| 53 | 0 | 0 |-4.820000e+02 |-1.010000e+02 | 79.05%
8.19/8.25 c 8.1s| 1 | 0 | 1874 | - | 44M| 0 | 960 |1000 | 15k|1000 | 15k| 61 | 0 | 0 |-4.800000e+02 |-1.010000e+02 | 78.96%
9.09/9.18 c 9.0s| 1 | 0 | 1951 | - | 44M| 0 | 956 |1000 | 15k|1000 | 15k| 67 | 0 | 0 |-4.780000e+02 |-1.010000e+02 | 78.87%
10.49/10.53 c 10.4s| 1 | 0 | 2199 | - | 44M| 0 | 951 |1000 | 15k|1000 | 15k| 77 | 0 | 0 |-4.755000e+02 |-1.010000e+02 | 78.76%
11.98/12.06 c 11.9s| 1 | 0 | 2489 | - | 44M| 0 | 948 |1000 | 15k|1000 | 15k| 85 | 0 | 0 |-4.737500e+02 |-1.010000e+02 | 78.68%
12.89/12.96 c 12.8s| 1 | 0 | 2609 | - | 44M| 0 | 945 |1000 | 15k|1000 |1274 | 92 | 0 | 0 |-4.725000e+02 |-1.010000e+02 | 78.62%
13.39/13.41 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
13.39/13.41 c 13.2s| 1 | 0 | 2977 | - | 44M| 0 | 865 |1000 | 15k|1000 |1288 | 106 | 0 | 0 |-4.695000e+02 |-1.010000e+02 | 78.49%
13.99/14.03 c 13.8s| 1 | 0 | 3564 | - | 45M| 0 | 917 |1000 | 15k|1000 |2259 |1077 | 0 | 0 |-4.665000e+02 |-1.010000e+02 | 78.35%
14.48/14.53 c 14.3s| 1 | 0 | 4015 | - | 45M| 0 | 923 |1000 | 15k|1000 |2472 |1290 | 0 | 0 |-4.645000e+02 |-1.010000e+02 | 78.26%
14.99/15.07 c 14.9s| 1 | 0 | 4551 | - | 45M| 0 | 924 |1000 | 15k|1000 |2553 |1371 | 0 | 0 |-4.630000e+02 |-1.010000e+02 | 78.19%
15.59/15.66 c 15.5s| 1 | 0 | 5161 | - | 45M| 0 | 906 |1000 | 15k|1000 |2581 |1399 | 0 | 0 |-4.622500e+02 |-1.010000e+02 | 78.15%
16.38/16.45 c 16.3s| 1 | 0 | 6037 | - | 45M| 0 | 939 |1000 | 15k|1000 |2541 |1659 | 0 | 0 |-4.596250e+02 |-1.010000e+02 | 78.03%
17.39/17.41 c 17.2s| 1 | 0 | 6851 | - | 46M| 0 | 908 |1000 | 15k|1000 |3434 |2552 | 0 | 0 |-4.550000e+02 |-1.010000e+02 | 77.80%
17.89/17.98 c 17.8s| 1 | 0 | 7265 | - | 46M| 0 | 905 |1000 | 15k|1000 |3473 |2591 | 0 | 0 |-4.535000e+02 |-1.010000e+02 | 77.73%
18.39/18.41 c 18.2s| 1 | 0 | 7482 | - | 46M| 0 | 904 |1000 | 15k|1000 |3501 |2619 | 0 | 0 |-4.520000e+02 |-1.010000e+02 | 77.65%
19.09/19.11 c 18.9s| 1 | 0 | 8082 | - | 46M| 0 | 896 |1000 | 15k|1000 |3509 |2627 | 0 | 0 |-4.520000e+02 |-1.010000e+02 | 77.65%
19.89/19.97 c 19.8s| 1 | 0 | 8762 | - | 46M| 0 | 901 |1000 | 15k|1000 |3609 |2727 | 0 | 0 |-4.505000e+02 |-1.010000e+02 | 77.58%
20.89/20.92 c 20.7s| 1 | 0 | 9824 | - | 46M| 0 | 891 |1000 | 15k|1000 |2594 |2751 | 0 | 0 |-4.484375e+02 |-1.010000e+02 | 77.48%
21.39/21.47 c 21.3s| 1 | 0 | 10386 | - | 46M| 0 | 890 |1000 | 15k|1000 |2673 |2830 | 0 | 0 |-4.470000e+02 |-1.010000e+02 | 77.40%
21.99/22.00 c 21.8s| 1 | 0 | 10873 | - | 46M| 0 | 894 |1000 | 15k|1000 |2743 |2900 | 0 | 0 |-4.465000e+02 |-1.010000e+02 | 77.38%
22.58/22.63 c 22.5s| 1 | 0 | 11480 | - | 46M| 0 | 886 |1000 | 15k|1000 |2774 |2931 | 0 | 0 |-4.455000e+02 |-1.010000e+02 | 77.33%
23.29/23.30 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
23.29/23.30 c 23.1s| 1 | 0 | 12075 | - | 46M| 0 | 892 |1000 | 15k|1000 |2884 |3041 | 0 | 0 |-4.450000e+02 |-1.010000e+02 | 77.30%
23.99/24.06 c 23.9s| 1 | 0 | 12888 | - | 47M| 0 | 891 |1000 | 15k|1000 |2949 |3106 | 0 | 0 |-4.437500e+02 |-1.010000e+02 | 77.24%
24.98/25.00 c 24.8s| 1 | 0 | 13890 | - | 47M| 0 | 889 |1000 | 15k|1000 |1639 |3221 | 0 | 0 |-4.428750e+02 |-1.010000e+02 | 77.19%
25.48/25.54 c 25.4s| 1 | 0 | 14487 | - | 47M| 0 | 853 |1000 | 15k|1000 |1735 |3317 | 0 | 0 |-4.420000e+02 |-1.010000e+02 | 77.15%
25.98/26.05 c 25.9s| 1 | 0 | 14930 | - | 47M| 0 | 857 |1000 | 15k|1000 |2168 |3750 | 0 | 0 |-4.415000e+02 |-1.010000e+02 | 77.12%
26.78/26.89 c 26.7s| 1 | 0 | 15900 | - | 48M| 0 | 873 |1000 | 15k|1000 |2657 |4239 | 0 | 0 |-4.393125e+02 |-1.010000e+02 | 77.01%
28.08/28.10 c 27.9s| 1 | 0 | 17035 | - | 48M| 0 | 882 |1000 | 15k|1000 |3289 |4871 | 0 | 0 |-4.371667e+02 |-1.010000e+02 | 76.90%
28.88/28.98 c 28.8s| 1 | 0 | 17830 | - | 48M| 0 | 871 |1000 | 15k|1000 |3298 |4880 | 0 | 0 |-4.356667e+02 |-1.010000e+02 | 76.82%
30.39/30.48 c 30.3s| 1 | 0 | 19264 | - | 48M| 0 | 869 |1000 | 15k|1000 |2887 |4960 | 0 | 0 |-4.348333e+02 |-1.010000e+02 | 76.77%
31.19/31.28 c 31.1s| 1 | 0 | 20111 | - | 48M| 0 | 881 |1000 | 15k|1000 |2969 |5042 | 0 | 0 |-4.344167e+02 |-1.010000e+02 | 76.75%
33.18/33.27 c 33.1s| 1 | 0 | 22011 | - | 48M| 0 | 860 |1000 | 15k|1000 |3207 |5280 | 0 | 0 |-4.332500e+02 |-1.010000e+02 | 76.69%
33.98/34.03 c 33.8s| 1 | 0 | 22767 | - | 49M| 0 | 861 |1000 | 15k|1000 |3316 |5389 | 0 | 0 |-4.315000e+02 |-1.010000e+02 | 76.59%
34.68/34.79 c 34.6s| 1 | 0 | 23613 | - | 50M| 0 | 867 |1000 | 15k|1000 |3344 |5417 | 0 | 0 |-4.305000e+02 |-1.010000e+02 | 76.54%
35.78/35.82 c 35.6s| 1 | 0 | 24525 | - | 50M| 0 | 869 |1000 | 15k|1000 |3421 |5494 | 0 | 0 |-4.300000e+02 |-1.010000e+02 | 76.51%
37.18/37.22 c 37.0s| 1 | 0 | 26067 | - | 50M| 0 | 898 |1000 | 15k|1000 |2853 |5580 | 0 | 0 |-4.289000e+02 |-1.010000e+02 | 76.45%
39.28/39.34 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
39.28/39.34 c 39.2s| 1 | 0 | 26567 | - | 51M| 0 | 869 |1000 | 15k|1000 |4853 |7580 | 0 | 0 |-4.285000e+02 |-1.010000e+02 | 76.43%
40.38/40.44 c 40.3s| 1 | 0 | 27327 | - | 52M| 0 | 871 |1000 | 15k|1000 |4888 |7615 | 0 | 0 |-4.270000e+02 |-1.010000e+02 | 76.35%
41.58/41.67 c 41.5s| 1 | 0 | 28249 | - | 52M| 0 | 853 |1000 | 15k|1000 |4927 |7654 | 0 | 0 |-4.250000e+02 |-1.010000e+02 | 76.24%
43.47/43.51 c 43.3s| 1 | 0 | 29808 | - | 52M| 0 | 846 |1000 | 15k|1000 |4938 |7665 | 0 | 0 |-4.230000e+02 |-1.010000e+02 | 76.12%
44.48/44.57 c 44.4s| 1 | 0 | 30558 | - | 52M| 0 | 840 |1000 | 15k|1000 |4946 |7673 | 0 | 0 |-4.220000e+02 |-1.010000e+02 | 76.07%
45.67/45.72 c 45.5s| 1 | 0 | 31538 | - | 52M| 0 | 840 |1000 | 15k|1000 |3731 |7720 | 0 | 0 |-4.200000e+02 |-1.010000e+02 | 75.95%
46.18/46.27 c 46.1s| 1 | 0 | 32040 | - | 52M| 0 | 832 |1000 | 15k|1000 |3739 |7728 | 0 | 0 |-4.190000e+02 |-1.010000e+02 | 75.89%
47.58/47.62 c 47.4s| 1 | 0 | 33440 | - | 52M| 0 | 846 |1000 | 15k|1000 |3809 |7798 | 0 | 0 |-4.177500e+02 |-1.010000e+02 | 75.82%
48.48/48.53 c 48.4s| 1 | 0 | 34355 | - | 52M| 0 | 832 |1000 | 15k|1000 |3993 |7982 | 0 | 0 |-4.167500e+02 |-1.010000e+02 | 75.76%
49.59/49.61 c 49.4s| 1 | 0 | 35309 | - | 52M| 0 | 828 |1000 | 15k|1000 |4131 |8120 | 0 | 0 |-4.160000e+02 |-1.010000e+02 | 75.72%
50.28/50.35 c 50.2s| 1 | 0 | 35901 | - | 52M| 0 | 840 |1000 | 15k|1000 |4199 |8188 | 0 | 0 |-4.160000e+02 |-1.010000e+02 | 75.72%
51.98/52.10 c 51.9s| 1 | 0 | 37366 | - | 53M| 0 | 847 |1000 | 15k|1000 |2092 |8218 | 0 | 0 |-4.155000e+02 |-1.010000e+02 | 75.69%
52.88/52.95 c 52.8s| 1 | 0 | 38328 | - | 54M| 0 | 826 |1000 | 15k|1000 |2258 |8384 | 0 | 0 |-4.138667e+02 |-1.010000e+02 | 75.60%
53.68/53.70 c 53.5s| 1 | 0 | 39213 | - | 54M| 0 | 836 |1000 | 15k|1000 |2526 |8652 | 0 | 0 |-4.125000e+02 |-1.010000e+02 | 75.52%
54.48/54.53 c 54.3s| 1 | 0 | 40113 | - | 54M| 0 | 829 |1000 | 15k|1000 |2578 |8704 | 0 | 0 |-4.120000e+02 |-1.010000e+02 | 75.49%
55.67/55.71 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
55.67/55.71 c 55.5s| 1 | 0 | 41671 | - | 54M| 0 | 879 |1000 | 15k|1000 |2612 |8738 | 0 | 0 |-4.110154e+02 |-1.010000e+02 | 75.43%
56.98/57.05 c 56.9s| 1 | 0 | 42556 | - | 54M| 0 | 821 |1000 | 15k|1000 |4076 | 10k| 0 | 0 |-4.105000e+02 |-1.010000e+02 | 75.40%
58.08/58.19 c 58.0s| 1 | 0 | 43408 | - | 54M| 0 | 821 |1000 | 15k|1000 |3714 | 10k| 0 | 0 |-4.100000e+02 |-1.010000e+02 | 75.37%
58.88/58.93 c 58.7s| 1 | 0 | 43888 | - | 55M| 0 | 817 |1000 | 15k|1000 |3722 | 10k| 0 | 0 |-4.100000e+02 |-1.010000e+02 | 75.37%
60.17/60.23 c 60.0s| 1 | 0 | 45111 | - | 55M| 0 | 836 |1000 | 15k|1000 |3774 | 10k| 0 | 0 |-4.094375e+02 |-1.010000e+02 | 75.33%
61.17/61.29 c 61.1s| 1 | 0 | 46208 | - | 55M| 0 | 811 |1000 | 15k|1000 |3815 | 10k| 0 | 0 |-4.085000e+02 |-1.010000e+02 | 75.28%
62.58/62.65 c 62.5s| 1 | 0 | 47584 | - | 56M| 0 | 837 |1000 | 15k|1000 |3920 | 10k| 0 | 0 |-4.076000e+02 |-1.010000e+02 | 75.22%
63.88/63.94 c 63.8s| 1 | 0 | 48581 | - | 56M| 0 | 812 |1000 | 15k|1000 |3978 | 10k| 0 | 0 |-4.070000e+02 |-1.010000e+02 | 75.18%
65.37/65.42 c 65.2s| 1 | 0 | 49991 | - | 56M| 0 | 805 |1000 | 15k|1000 |3324 | 10k| 0 | 0 |-4.055000e+02 |-1.010000e+02 | 75.09%
66.27/66.35 c 66.2s| 1 | 0 | 51079 | - | 56M| 0 | 852 |1000 | 15k|1000 |3395 | 10k| 0 | 0 |-4.040000e+02 |-1.010000e+02 | 75.00%
67.38/67.43 c 67.3s| 1 | 0 | 52016 | - | 56M| 0 | 804 |1000 | 15k|1000 |3612 | 10k| 0 | 0 |-4.030000e+02 |-1.010000e+02 | 74.94%
68.07/68.13 c 68.0s| 1 | 0 | 52481 | - | 56M| 0 | 806 |1000 | 15k|1000 |3635 | 10k| 0 | 0 |-4.025000e+02 |-1.010000e+02 | 74.91%
69.47/69.57 c 69.4s| 1 | 0 | 53773 | - | 57M| 0 | 796 |1000 | 15k|1000 |3647 | 10k| 0 | 0 |-4.010000e+02 |-1.010000e+02 | 74.81%
70.57/70.69 c 70.5s| 1 | 0 | 54902 | - | 57M| 0 | 795 |1000 | 15k|1000 |3719 | 10k| 0 | 0 |-4.005000e+02 |-1.010000e+02 | 74.78%
72.47/72.50 c 72.3s| 1 | 0 | 56500 | - | 57M| 0 | 796 |1000 | 15k|1000 |2914 | 10k| 0 | 0 |-3.997500e+02 |-1.010000e+02 | 74.73%
73.37/73.49 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
73.37/73.49 c 73.3s| 1 | 0 | 57620 | - | 57M| 0 | 798 |1000 | 15k|1000 |2961 | 11k| 0 | 0 |-3.992500e+02 |-1.010000e+02 | 74.70%
74.47/74.57 c 74.4s| 1 | 0 | 58828 | - | 57M| 0 | 821 |1000 | 15k|1000 |3155 | 11k| 0 | 0 |-3.981250e+02 |-1.010000e+02 | 74.63%
75.57/75.64 c 75.5s| 1 | 0 | 60181 | - | 57M| 0 | 853 |1000 | 15k|1000 |3317 | 11k| 0 | 0 |-3.967830e+02 |-1.010000e+02 | 74.55%
77.17/77.24 c 77.1s| 1 | 0 | 61940 | - | 58M| 0 | 833 |1000 | 15k|1000 |3747 | 11k| 0 | 0 |-3.955000e+02 |-1.010000e+02 | 74.46%
80.67/80.73 c 80.5s| 1 | 0 | 64761 | - | 58M| 0 | 820 |1000 | 15k|1000 |3864 | 11k| 0 | 0 |-3.948333e+02 |-1.010000e+02 | 74.42%
82.17/82.29 c 82.1s| 1 | 0 | 65923 | - | 59M| 0 | 850 |1000 | 15k|1000 |3430 | 12k| 0 | 0 |-3.940000e+02 |-1.010000e+02 | 74.37%
83.77/83.84 c 83.7s| 1 | 0 | 67205 | - | 60M| 0 | 847 |1000 | 15k|1000 |3491 | 12k| 0 | 0 |-3.940000e+02 |-1.010000e+02 | 74.37%
85.77/85.80 c 85.6s| 1 | 0 | 68783 | - | 60M| 0 | 848 |1000 | 15k|1000 |3554 | 12k| 0 | 0 |-3.940000e+02 |-1.010000e+02 | 74.37%
89.26/89.34 c 89.2s| 1 | 0 | 71753 | - | 62M| 0 | 819 |1000 | 15k|1000 |3636 | 12k| 0 | 0 |-3.935000e+02 |-1.010000e+02 | 74.33%
91.67/91.72 c 91.5s| 1 | 0 | 74089 | - | 63M| 0 | 918 |1000 | 15k|1000 |3719 | 12k| 0 | 0 |-3.927184e+02 |-1.010000e+02 | 74.28%
95.07/95.13 c 95.0s| 1 | 0 | 75938 | - | 64M| 0 | 883 |1000 | 15k|1000 |5717 | 14k| 0 | 0 |-3.919102e+02 |-1.010000e+02 | 74.23%
97.57/97.66 c 97.5s| 1 | 0 | 77440 | - | 64M| 0 | 833 |1000 | 15k|1000 |5516 | 14k| 0 | 0 |-3.906250e+02 |-1.010000e+02 | 74.14%
100.07/100.11 c 99.9s| 1 | 0 | 78823 | - | 65M| 0 | 818 |1000 | 15k|1000 |5542 | 14k| 0 | 0 |-3.901667e+02 |-1.010000e+02 | 74.11%
103.47/103.55 c 103s| 1 | 0 | 80404 | - | 65M| 0 | 862 |1000 | 15k|1000 |5592 | 14k| 0 | 0 |-3.893778e+02 |-1.010000e+02 | 74.06%
106.56/106.68 c 107s| 1 | 0 | 82468 | - | 69M| 0 | 855 |1000 | 15k|1000 |5721 | 14k| 0 | 0 |-3.872895e+02 |-1.010000e+02 | 73.92%
109.36/109.47 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
109.36/109.47 c 109s| 1 | 0 | 83666 | - | 69M| 0 | 851 |1000 | 15k|1000 |5763 | 14k| 0 | 0 |-3.858889e+02 |-1.010000e+02 | 73.83%
115.16/115.23 c 115s| 1 | 0 | 86491 | - | 69M| 0 | 869 |1000 | 15k|1000 |5792 | 14k| 0 | 0 |-3.844231e+02 |-1.010000e+02 | 73.73%
118.95/119.09 c 119s| 1 | 0 | 88668 | - | 73M| 0 | 850 |1000 | 15k|1000 |5390 | 14k| 0 | 0 |-3.825000e+02 |-1.010000e+02 | 73.59%
123.06/123.12 c 123s| 1 | 0 | 90887 | - | 76M| 0 | 838 |1000 | 15k|1000 |5410 | 14k| 0 | 0 |-3.817001e+02 |-1.010000e+02 | 73.54%
125.66/125.77 c 126s| 1 | 0 | 92487 | - | 77M| 0 | 864 |1000 | 15k|1000 |5511 | 14k| 0 | 0 |-3.795908e+02 |-1.010000e+02 | 73.39%
131.65/131.77 c 132s| 1 | 0 | 95497 | - | 78M| 0 | 852 |1000 | 15k|1000 |5594 | 14k| 0 | 0 |-3.783611e+02 |-1.010000e+02 | 73.31%
134.85/134.95 c 135s| 1 | 0 | 97076 | - | 78M| 0 | 860 |1000 | 15k|1000 |5726 | 15k| 0 | 0 |-3.768333e+02 |-1.010000e+02 | 73.20%
141.15/141.21 c 141s| 1 | 0 |100333 | - | 80M| 0 | 877 |1000 | 15k|1000 |5801 | 15k| 0 | 0 |-3.761250e+02 |-1.010000e+02 | 73.15%
148.05/148.18 c 148s| 1 | 0 |103426 | - | 83M| 0 | 861 |1000 | 15k|1000 |4909 | 15k| 0 | 0 |-3.755145e+02 |-1.010000e+02 | 73.10%
151.15/151.24 c 151s| 1 | 0 |105706 | - | 86M| 0 | 782 |1000 | 15k|1000 |5021 | 15k| 0 | 0 |-3.738929e+02 |-1.010000e+02 | 72.99%
153.64/153.78 c 154s| 1 | 0 |107601 | - | 87M| 0 | 860 |1000 | 15k|1000 |5064 | 15k| 0 | 0 |-3.734470e+02 |-1.010000e+02 | 72.95%
156.75/156.80 c 157s| 1 | 0 |109200 | - | 87M| 0 | 863 |1000 | 15k|1000 |5148 | 15k| 0 | 0 |-3.731982e+02 |-1.010000e+02 | 72.94%
160.74/160.88 c 161s| 1 | 0 |111512 | - | 88M| 0 | 834 |1000 | 15k|1000 |5171 | 15k| 0 | 0 |-3.722727e+02 |-1.010000e+02 | 72.87%
164.54/164.68 c 165s| 1 | 0 |113580 | - | 88M| 0 | 864 |1000 | 15k|1000 |5202 | 15k| 0 | 0 |-3.719815e+02 |-1.010000e+02 | 72.85%
168.14/168.21 c 168s| 1 | 0 |115354 | - | 88M| 0 | 855 |1000 | 15k|1000 |4844 | 15k| 0 | 0 |-3.710284e+02 |-1.010000e+02 | 72.78%
170.34/170.42 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
170.34/170.42 c 170s| 1 | 0 |116826 | - | 89M| 0 | 888 |1000 | 15k|1000 |4933 | 15k| 0 | 0 |-3.705296e+02 |-1.010000e+02 | 72.74%
172.94/173.05 c 173s| 1 | 0 |118183 | - | 89M| 0 | 806 |1000 | 15k|1000 |5038 | 15k| 0 | 0 |-3.702500e+02 |-1.010000e+02 | 72.72%
179.14/179.29 c 179s| 1 | 0 |121895 | - | 89M| 0 | 856 |1000 | 15k|1000 |5084 | 15k| 0 | 0 |-3.696638e+02 |-1.010000e+02 | 72.68%
181.94/182.05 c 182s| 1 | 0 |123867 | - | 90M| 0 | 895 |1000 | 15k|1000 |5132 | 15k| 0 | 0 |-3.689789e+02 |-1.010000e+02 | 72.63%
185.54/185.68 c 185s| 1 | 0 |126090 | - | 93M| 0 | 877 |1000 | 15k|1000 |5296 | 15k| 0 | 0 |-3.678659e+02 |-1.010000e+02 | 72.54%
189.44/189.51 c 189s| 1 | 0 |128841 | - | 95M| 0 | 901 |1000 | 15k|1000 |5106 | 16k| 0 | 0 |-3.666305e+02 |-1.010000e+02 | 72.45%
193.13/193.24 c 193s| 1 | 0 |130774 | - | 95M| 0 | 905 |1000 | 15k|1000 |5229 | 16k| 0 | 0 |-3.656019e+02 |-1.010000e+02 | 72.37%
197.74/197.88 c 198s| 1 | 0 |133116 | - | 95M| 0 | 927 |1000 | 15k|1000 |5299 | 16k| 0 | 0 |-3.651892e+02 |-1.010000e+02 | 72.34%
201.93/202.02 c 202s| 1 | 0 |134761 | - | 95M| 0 | 925 |1000 | 15k|1000 |5459 | 16k| 0 | 0 |-3.644602e+02 |-1.010000e+02 | 72.29%
206.74/206.86 c 207s| 1 | 0 |137177 | - | 96M| 0 | 930 |1000 | 15k|1000 |5563 | 16k| 0 | 0 |-3.632730e+02 |-1.010000e+02 | 72.20%
211.33/211.42 c 211s| 1 | 0 |138944 | - | 96M| 0 | 922 |1000 | 15k|1000 |5676 | 16k| 0 | 0 |-3.624874e+02 |-1.010000e+02 | 72.14%
216.64/216.80 c 217s| 1 | 0 |141311 | - | 96M| 0 | 922 |1000 | 15k|1000 |5477 | 16k| 0 | 0 |-3.616764e+02 |-1.010000e+02 | 72.07%
221.42/221.58 c 221s| 1 | 0 |143507 | - | 96M| 0 | 927 |1000 | 15k|1000 |5526 | 16k| 0 | 0 |-3.606970e+02 |-1.010000e+02 | 72.00%
226.53/226.61 c 226s| 1 | 0 |145465 | - | 96M| 0 | 940 |1000 | 15k|1000 |5583 | 16k| 0 | 0 |-3.596904e+02 |-1.010000e+02 | 71.92%
231.53/231.65 c 231s| 1 | 0 |147214 | - | 96M| 0 | 935 |1000 | 15k|1000 |5640 | 16k| 0 | 0 |-3.586187e+02 |-1.010000e+02 | 71.84%
237.22/237.34 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
237.22/237.34 c 237s| 1 | 0 |149387 | - | 96M| 0 | 945 |1000 | 15k|1000 |5702 | 16k| 0 | 0 |-3.577748e+02 |-1.010000e+02 | 71.77%
243.42/243.55 c 243s| 1 | 0 |151623 | - | 96M| 0 | 940 |1000 | 15k|1000 |5827 | 17k| 0 | 0 |-3.566548e+02 |-1.010000e+02 | 71.68%
248.22/248.38 c 248s| 1 | 0 |153170 | - | 96M| 0 | 935 |1000 | 15k|1000 |5545 | 17k| 0 | 0 |-3.557131e+02 |-1.010000e+02 | 71.61%
252.82/252.99 c 253s| 1 | 0 |154562 | - | 96M| 0 | 943 |1000 | 15k|1000 |5561 | 17k| 0 | 0 |-3.552084e+02 |-1.010000e+02 | 71.57%
258.72/258.85 c 259s| 1 | 0 |156994 | - | 96M| 0 | 951 |1000 | 15k|1000 |5705 | 17k| 0 | 0 |-3.544656e+02 |-1.010000e+02 | 71.51%
264.02/264.13 c 264s| 1 | 0 |158852 | - | 96M| 0 | 962 |1000 | 15k|1000 |5808 | 17k| 0 | 0 |-3.537120e+02 |-1.010000e+02 | 71.45%
269.01/269.12 c 269s| 1 | 0 |160215 | - | 96M| 0 | 955 |1000 | 15k|1000 |5831 | 17k| 0 | 0 |-3.532673e+02 |-1.010000e+02 | 71.41%
275.02/275.16 c 275s| 1 | 0 |162383 | - | 95M| 0 | 961 |1000 | 15k|1000 |5860 | 17k| 0 | 0 |-3.522097e+02 |-1.010000e+02 | 71.32%
281.11/281.28 c 281s| 1 | 0 |164478 | - | 95M| 0 | 963 |1000 | 15k|1000 |5686 | 17k| 0 | 0 |-3.515800e+02 |-1.010000e+02 | 71.27%
286.81/286.94 c 287s| 1 | 0 |165987 | - | 95M| 0 | 969 |1000 | 15k|1000 |5739 | 17k| 0 | 0 |-3.511615e+02 |-1.010000e+02 | 71.24%
292.61/292.78 c 293s| 1 | 0 |167627 | - | 95M| 0 | 970 |1000 | 15k|1000 |5805 | 17k| 0 | 0 |-3.504893e+02 |-1.010000e+02 | 71.18%
299.01/299.19 c 299s| 1 | 0 |169559 | - | 95M| 0 | 970 |1000 | 15k|1000 |5901 | 17k| 0 | 0 |-3.495823e+02 |-1.010000e+02 | 71.11%
305.20/305.38 c 305s| 1 | 0 |171353 | - | 95M| 0 | 967 |1000 | 15k|1000 |5935 | 17k| 0 | 0 |-3.487421e+02 |-1.010000e+02 | 71.04%
312.70/312.81 c 313s| 1 | 0 |173773 | - | 95M| 0 | 967 |1000 | 15k|1000 |5984 | 17k| 0 | 0 |-3.478377e+02 |-1.010000e+02 | 70.96%
318.70/318.81 c 319s| 1 | 0 |175303 | - | 95M| 0 | 979 |1000 | 15k|1000 |5873 | 17k| 0 | 0 |-3.474275e+02 |-1.010000e+02 | 70.93%
325.30/325.41 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
325.30/325.41 c 325s| 1 | 0 |177197 | - | 95M| 0 | 977 |1000 | 15k|1000 |5930 | 17k| 0 | 0 |-3.458561e+02 |-1.010000e+02 | 70.80%
332.20/332.31 c 332s| 1 | 0 |179134 | - | 95M| 0 | 985 |1000 | 15k|1000 |6020 | 18k| 0 | 0 |-3.451947e+02 |-1.010000e+02 | 70.74%
338.89/339.02 c 339s| 1 | 0 |180925 | - | 94M| 0 | 977 |1000 | 15k|1000 |6059 | 18k| 0 | 0 |-3.445033e+02 |-1.010000e+02 | 70.68%
344.79/344.91 c 345s| 1 | 0 |182032 | - | 94M| 0 | 982 |1000 | 15k|1000 |6094 | 18k| 0 | 0 |-3.442724e+02 |-1.010000e+02 | 70.66%
351.59/351.78 c 352s| 1 | 0 |183719 | - | 94M| 0 | 984 |1000 | 15k|1000 |6137 | 18k| 0 | 0 |-3.439828e+02 |-1.010000e+02 | 70.64%
359.88/360.05 c 360s| 1 | 0 |186038 | - | 94M| 0 | 985 |1000 | 15k|1000 |6075 | 18k| 0 | 0 |-3.429767e+02 |-1.010000e+02 | 70.55%
367.19/367.38 c 367s| 1 | 0 |188075 | - | 94M| 0 | 980 |1000 | 15k|1000 |6145 | 18k| 0 | 0 |-3.423052e+02 |-1.010000e+02 | 70.49%
374.18/374.36 c 374s| 1 | 0 |189746 | - | 93M| 0 | 977 |1000 | 15k|1000 |6181 | 18k| 0 | 0 |-3.418646e+02 |-1.010000e+02 | 70.46%
382.69/382.87 c 383s| 1 | 0 |192200 | - | 93M| 0 | 975 |1000 | 15k|1000 |6219 | 18k| 0 | 0 |-3.409205e+02 |-1.010000e+02 | 70.37%
390.18/390.33 c 390s| 1 | 0 |193988 | - | 93M| 0 | 992 |1000 | 15k|1000 |6277 | 18k| 0 | 0 |-3.403853e+02 |-1.010000e+02 | 70.33%
397.67/397.83 c 398s| 1 | 0 |195588 | - | 92M| 0 | 985 |1000 | 15k|1000 |6349 | 18k| 0 | 0 |-3.396219e+02 |-1.010000e+02 | 70.26%
405.47/405.67 c 405s| 1 | 0 |197393 | - | 92M| 0 | 985 |1000 | 15k|1000 |6269 | 18k| 0 | 0 |-3.390438e+02 |-1.010000e+02 | 70.21%
413.37/413.58 c 413s| 1 | 0 |199200 | - | 92M| 0 | 990 |1000 | 15k|1000 |6304 | 18k| 0 | 0 |-3.382811e+02 |-1.010000e+02 | 70.14%
420.97/421.13 c 421s| 1 | 0 |200719 | - | 92M| 0 | 990 |1000 | 15k|1000 |6351 | 18k| 0 | 0 |-3.375894e+02 |-1.010000e+02 | 70.08%
428.17/428.37 c 428s| 1 | 0 |202103 | - | 92M| 0 | 995 |1000 | 15k|1000 |6383 | 18k| 0 | 0 |-3.371706e+02 |-1.010000e+02 | 70.04%
435.86/436.08 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
435.86/436.08 c 436s| 1 | 0 |203525 | - | 92M| 0 | 991 |1000 | 15k|1000 |6409 | 18k| 0 | 0 |-3.367908e+02 |-1.010000e+02 | 70.01%
443.46/443.61 c 443s| 1 | 0 |204708 | - | 91M| 0 | 991 |1000 | 15k|1000 |6432 | 18k| 0 | 0 |-3.364738e+02 |-1.010000e+02 | 69.98%
451.26/451.43 c 451s| 1 | 0 |206079 | - | 91M| 0 | 993 |1000 | 15k|1000 |6375 | 18k| 0 | 0 |-3.361219e+02 |-1.010000e+02 | 69.95%
459.76/459.99 c 460s| 1 | 0 |207912 | - | 91M| 0 | 994 |1000 | 15k|1000 |6413 | 18k| 0 | 0 |-3.354592e+02 |-1.010000e+02 | 69.89%
468.75/468.97 c 469s| 1 | 0 |210266 | - | 91M| 0 | 989 |1000 | 15k|1000 |6446 | 18k| 0 | 0 |-3.346339e+02 |-1.010000e+02 | 69.82%
477.26/477.45 c 477s| 1 | 0 |212269 | - | 91M| 0 | 993 |1000 | 15k|1000 |6496 | 18k| 0 | 0 |-3.340882e+02 |-1.010000e+02 | 69.77%
484.85/485.03 c 485s| 1 | 0 |213711 | - | 91M| 0 | 996 |1000 | 15k|1000 |6525 | 18k| 0 | 0 |-3.335129e+02 |-1.010000e+02 | 69.72%
493.35/493.59 c 493s| 1 | 0 |215539 | - | 90M| 0 | 992 |1000 | 15k|1000 |6559 | 18k| 0 | 0 |-3.330469e+02 |-1.010000e+02 | 69.67%
500.54/500.70 c 501s| 1 | 0 |216546 | - | 90M| 0 | 997 |1000 | 15k|1000 |6491 | 18k| 0 | 0 |-3.327813e+02 |-1.010000e+02 | 69.65%
507.94/508.11 c 508s| 1 | 0 |217535 | - | 90M| 0 | 996 |1000 | 15k|1000 |6516 | 18k| 0 | 0 |-3.325565e+02 |-1.010000e+02 | 69.63%
515.63/515.86 c 516s| 1 | 0 |218733 | - | 89M| 0 | 997 |1000 | 15k|1000 |6546 | 18k| 0 | 0 |-3.322578e+02 |-1.010000e+02 | 69.60%
524.24/524.42 c 524s| 1 | 0 |220279 | - | 89M| 0 | 996 |1000 | 15k|1000 |6575 | 18k| 0 | 0 |-3.316666e+02 |-1.010000e+02 | 69.55%
532.04/532.26 c 532s| 1 | 0 |221355 | - | 89M| 0 | 995 |1000 | 15k|1000 |6599 | 19k| 0 | 0 |-3.313930e+02 |-1.010000e+02 | 69.52%
541.14/541.39 c 541s| 1 | 0 |223081 | - | 89M| 0 | 993 |1000 | 15k|1000 |6617 | 19k| 0 | 0 |-3.307928e+02 |-1.010000e+02 | 69.47%
549.63/549.85 c 550s| 1 | 0 |224299 | - | 89M| 0 | 995 |1000 | 15k|1000 |6598 | 19k| 0 | 0 |-3.304456e+02 |-1.010000e+02 | 69.44%
558.43/558.68 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
558.43/558.68 c 559s| 1 | 0 |225919 | - | 89M| 0 | 993 |1000 | 15k|1000 |6617 | 19k| 0 | 0 |-3.299125e+02 |-1.010000e+02 | 69.39%
567.33/567.57 c 567s| 1 | 0 |227371 | - | 88M| 0 | 991 |1000 | 15k|1000 |6643 | 19k| 0 | 0 |-3.293716e+02 |-1.010000e+02 | 69.34%
575.23/575.44 c 575s| 1 | 0 |228272 | - | 88M| 0 | 995 |1000 | 15k|1000 |6672 | 19k| 0 | 0 |-3.290584e+02 |-1.010000e+02 | 69.31%
583.01/583.27 c 583s| 1 | 0 |229177 | - | 88M| 0 | 995 |1000 | 15k|1000 |6695 | 19k| 0 | 0 |-3.288042e+02 |-1.010000e+02 | 69.28%
590.11/590.31 c 590s| 1 | 0 |229681 | - | 88M| 0 | 996 |1000 | 15k|1000 |6717 | 19k| 0 | 0 |-3.286773e+02 |-1.010000e+02 | 69.27%
598.12/598.31 c 598s| 1 | 0 |230609 | - | 88M| 0 | 997 |1000 | 15k|1000 |6668 | 19k| 0 | 0 |-3.284206e+02 |-1.010000e+02 | 69.25%
605.52/605.71 c 606s| 1 | 0 |231304 | - | 88M| 0 | 995 |1000 | 15k|1000 |6686 | 19k| 0 | 0 |-3.282564e+02 |-1.010000e+02 | 69.23%
613.00/613.22 c 613s| 1 | 0 |232012 | - | 88M| 0 | 999 |1000 | 15k|1000 |6696 | 19k| 0 | 0 |-3.280585e+02 |-1.010000e+02 | 69.21%
621.41/621.67 c 621s| 1 | 0 |233142 | - | 88M| 0 | 995 |1000 | 15k|1000 |6713 | 19k| 0 | 0 |-3.277842e+02 |-1.010000e+02 | 69.19%
629.01/629.26 c 629s| 1 | 0 |233806 | - | 88M| 0 | 995 |1000 | 15k|1000 |6730 | 19k| 0 | 0 |-3.275524e+02 |-1.010000e+02 | 69.17%
637.40/637.63 c 637s| 1 | 0 |234855 | - | 87M| 0 | 994 |1000 | 15k|1000 |6753 | 19k| 0 | 0 |-3.272312e+02 |-1.010000e+02 | 69.13%
645.51/645.77 c 646s| 1 | 0 |235790 | - | 87M| 0 | 994 |1000 | 15k|1000 |6710 | 19k| 0 | 0 |-3.269256e+02 |-1.010000e+02 | 69.11%
652.40/652.62 c 652s| 1 | 0 |236289 | - | 87M| 0 | 995 |1000 | 15k|1000 |6726 | 19k| 0 | 0 |-3.267980e+02 |-1.010000e+02 | 69.09%
660.80/661.05 c 661s| 1 | 0 |237393 | - | 87M| 0 | 997 |1000 | 15k|1000 |6745 | 19k| 0 | 0 |-3.264561e+02 |-1.010000e+02 | 69.06%
668.60/668.81 c 669s| 1 | 0 |238059 | - | 87M| 0 | 996 |1000 | 15k|1000 |6760 | 19k| 0 | 0 |-3.262395e+02 |-1.010000e+02 | 69.04%
675.49/675.75 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
675.49/675.75 c 676s| 1 | 0 |238437 | - | 86M| 0 | 996 |1000 | 15k|1000 |6773 | 19k| 0 | 0 |-3.261451e+02 |-1.010000e+02 | 69.03%
682.29/682.60 c 682s| 1 | 0 |238879 | - | 85M| 0 | 996 |1000 | 15k|1000 |6784 | 19k| 0 | 0 |-3.260479e+02 |-1.010000e+02 | 69.02%
689.99/690.29 c 690s| 1 | 0 |239625 | - | 85M| 0 | 997 |1000 | 15k|1000 |6750 | 19k| 0 | 0 |-3.257772e+02 |-1.010000e+02 | 69.00%
697.38/697.65 c 697s| 1 | 0 |240248 | - | 84M| 0 | 997 |1000 | 15k|1000 |6766 | 19k| 0 | 0 |-3.256254e+02 |-1.010000e+02 | 68.98%
704.78/705.00 c 705s| 1 | 0 |240915 | - | 83M| 0 | 999 |1000 | 15k|1000 |6781 | 19k| 0 | 0 |-3.254172e+02 |-1.010000e+02 | 68.96%
711.68/711.96 c 712s| 1 | 0 |241288 | - | 82M| 0 | 999 |1000 | 15k|1000 |6794 | 19k| 0 | 0 |-3.253461e+02 |-1.010000e+02 | 68.96%
719.08/719.32 c 719s| 1 | 0 |241861 | - | 82M| 0 | 998 |1000 | 15k|1000 |6809 | 19k| 0 | 0 |-3.251384e+02 |-1.010000e+02 | 68.94%
725.68/725.97 c 726s| 1 | 0 |242133 | - | 81M| 0 | 999 |1000 | 15k|1000 |6821 | 19k| 0 | 0 |-3.250896e+02 |-1.010000e+02 | 68.93%
733.37/733.61 c 733s| 1 | 0 |242853 | - | 80M| 0 | 998 |1000 | 15k|1000 |6785 | 19k| 0 | 0 |-3.248557e+02 |-1.010000e+02 | 68.91%
740.67/740.97 c 741s| 1 | 0 |243530 | - | 80M| 0 | 997 |1000 | 15k|1000 |6797 | 19k| 0 | 0 |-3.246710e+02 |-1.010000e+02 | 68.89%
748.57/748.82 c 749s| 1 | 0 |244337 | - | 80M| 0 | 996 |1000 | 15k|1000 |6811 | 19k| 0 | 0 |-3.244474e+02 |-1.010000e+02 | 68.87%
755.77/756.09 c 756s| 1 | 0 |244876 | - | 76M| 0 | 997 |1000 | 15k|1000 |6829 | 19k| 0 | 0 |-3.243140e+02 |-1.010000e+02 | 68.86%
763.56/763.81 c 764s| 1 | 0 |245669 | - | 76M| 0 | 997 |1000 | 15k|1000 |6845 | 19k| 0 | 0 |-3.241133e+02 |-1.010000e+02 | 68.84%
771.06/771.32 c 771s| 1 | 0 |246362 | - | 76M| 0 | 997 |1000 | 15k|1000 |6860 | 19k| 0 | 0 |-3.239303e+02 |-1.010000e+02 | 68.82%
778.06/778.32 c 778s| 1 | 0 |246820 | - | 72M| 0 | 998 |1000 | 15k|1000 |6831 | 19k| 0 | 0 |-3.238393e+02 |-1.010000e+02 | 68.81%
785.27/785.50 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
785.27/785.50 c 785s| 1 | 0 |247397 | - | 69M| 0 | 997 |1000 | 15k|1000 |6842 | 19k| 0 | 0 |-3.236591e+02 |-1.010000e+02 | 68.79%
791.95/792.24 c 792s| 1 | 0 |247807 | - | 68M| 0 | 996 |1000 | 15k|1000 |6859 | 19k| 0 | 0 |-3.235903e+02 |-1.010000e+02 | 68.79%
799.05/799.31 c 799s| 1 | 0 |248476 | - | 67M| 0 | 998 |1000 | 15k|1000 |6873 | 19k| 0 | 0 |-3.234579e+02 |-1.010000e+02 | 68.77%
806.06/806.30 c 806s| 1 | 0 |249079 | - | 67M| 0 | 998 |1000 | 15k|1000 |6884 | 19k| 0 | 0 |-3.233279e+02 |-1.010000e+02 | 68.76%
812.55/812.89 c 813s| 1 | 0 |249456 | - | 65M| 0 | 995 |1000 | 15k|1000 |6895 | 19k| 0 | 0 |-3.232817e+02 |-1.010000e+02 | 68.76%
819.65/819.90 c 820s| 1 | 0 |249988 | - | 62M| 0 | 996 |1000 | 15k|1000 |6855 | 19k| 0 | 0 |-3.231992e+02 |-1.010000e+02 | 68.75%
826.34/826.63 c 826s| 1 | 0 |250511 | - | 59M| 0 | 998 |1000 | 15k|1000 |6866 | 19k| 0 | 0 |-3.231338e+02 |-1.010000e+02 | 68.74%
833.04/833.35 c 833s| 1 | 0 |250951 | - | 58M| 0 | 998 |1000 | 15k|1000 |6879 | 19k| 0 | 0 |-3.230778e+02 |-1.010000e+02 | 68.74%
839.54/839.83 c 840s| 1 | 0 |251380 | - | 58M| 0 | 996 |1000 | 15k|1000 |6889 | 19k| 0 | 0 |-3.230348e+02 |-1.010000e+02 | 68.73%
845.94/846.22 c 846s| 1 | 0 |251840 | - | 57M| 0 | 971 |1000 | 15k|1000 |6898 | 19k| 0 | 0 |-3.230000e+02 |-1.010000e+02 | 68.73%
851.44/851.73 c 852s| 1 | 0 |251842 | - | 57M| 0 | 968 |1000 | 15k|1000 |6903 | 19k| 0 | 0 |-3.230000e+02 |-1.010000e+02 | 68.73%
913.12/913.40 c 913s| 1 | 2 |251842 | - | 57M| 0 | 968 |1000 | 15k|1000 |6903 | 19k| 0 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
916.13/916.41 c 916s| 10000 | 65 |251842 | 0.0 | 57M| 80 | - |1000 | 15k| 0 | 0 | 19k| 33 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
919.12/919.42 c 919s| 20000 | 60 |251842 | 0.0 | 57M| 80 | - |1000 | 15k| 0 | 0 | 19k| 59 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
922.02/922.33 c 922s| 30000 | 60 |251842 | 0.0 | 57M| 80 | - |1000 | 15k| 0 | 0 | 19k| 72 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
925.12/925.47 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
925.12/925.47 c 925s| 40000 | 58 |251842 | 0.0 | 57M| 80 | - |1000 | 15k| 0 | 0 | 19k| 79 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
928.01/928.38 c 928s| 50000 | 59 |251842 | 0.0 | 57M| 82 | - |1000 | 15k| 0 | 0 | 19k| 95 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
930.51/930.88 c 931s| 60000 | 62 |251842 | 0.0 | 57M| 82 | - |1000 | 15k| 0 | 0 | 19k| 101 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
932.91/933.24 c 933s| 70000 | 57 |251842 | 0.0 | 57M| 82 | - |1000 | 15k| 0 | 0 | 19k| 109 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
935.41/935.76 c 936s| 80000 | 61 |251842 | 0.0 | 57M| 82 | - |1000 | 15k| 0 | 0 | 19k| 117 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
937.91/938.21 c 938s| 90000 | 60 |251842 | 0.0 | 57M| 82 | - |1000 | 15k| 0 | 0 | 19k| 119 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
940.32/940.65 c 940s|100000 | 63 |251842 | 0.0 | 57M| 82 | - |1000 | 15k| 0 | 0 | 19k| 154 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
942.71/943.09 c 943s|110000 | 61 |251842 | 0.0 | 57M| 82 | - |1000 | 15k| 0 | 0 | 19k| 180 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
945.21/945.50 c 945s|120000 | 62 |251842 | 0.0 | 57M| 82 | - |1000 | 15k| 0 | 0 | 19k| 200 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
947.71/948.03 c 948s|130000 | 58 |251842 | 0.0 | 57M| 82 | - |1000 | 15k| 0 | 0 | 19k| 212 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
950.31/950.64 c 950s|140000 | 58 |251842 | 0.0 | 57M| 82 | - |1000 | 15k| 0 | 0 | 19k| 225 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
952.71/953.01 c 953s|150000 | 60 |251842 | 0.0 | 57M| 82 | - |1000 | 15k| 0 | 0 | 19k| 245 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
955.11/955.44 c 955s|160000 | 61 |251842 | 0.0 | 57M| 82 | - |1000 | 15k| 0 | 0 | 19k| 255 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
957.50/957.89 c 958s|170000 | 58 |251842 | 0.0 | 57M| 82 | - |1000 | 15k| 0 | 0 | 19k| 279 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
960.01/960.35 c 960s|180000 | 61 |251842 | 0.0 | 57M| 83 | - |1000 | 15k| 0 | 0 | 19k| 299 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
962.40/962.77 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
962.40/962.77 c 963s|190000 | 61 |251842 | 0.0 | 57M| 83 | - |1000 | 15k| 0 | 0 | 19k| 309 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
964.90/965.22 c 965s|200000 | 56 |251842 | 0.0 | 57M| 83 | - |1000 | 15k| 0 | 0 | 19k| 317 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
967.50/967.80 c 968s|210000 | 60 |251842 | 0.0 | 57M| 83 | - |1000 | 15k| 0 | 0 | 19k| 323 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
970.01/970.38 c 970s|220000 | 57 |251842 | 0.0 | 57M| 83 | - |1000 | 15k| 0 | 0 | 19k| 327 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
972.50/972.82 c 973s|230000 | 63 |251842 | 0.0 | 57M| 83 | - |1000 | 15k| 0 | 0 | 19k| 333 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
974.90/975.25 c 975s|240000 | 59 |251842 | 0.0 | 57M| 83 | - |1000 | 15k| 0 | 0 | 19k| 339 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
977.40/977.72 c 978s|250000 | 57 |251842 | 0.0 | 57M| 83 | - |1000 | 15k| 0 | 0 | 19k| 356 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
979.80/980.19 c 980s|260000 | 59 |251842 | 0.0 | 57M| 83 | - |1000 | 15k| 0 | 0 | 19k| 365 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
982.30/982.66 c 982s|270000 | 59 |251842 | 0.0 | 57M| 83 | - |1000 | 15k| 0 | 0 | 19k| 373 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
984.80/985.14 c 985s|280000 | 58 |251842 | 0.0 | 57M| 83 | - |1000 | 15k| 0 | 0 | 19k| 383 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
987.29/987.66 c 987s|290000 | 57 |251842 | 0.0 | 57M| 83 | - |1000 | 15k| 0 | 0 | 19k| 398 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
989.80/990.12 c 990s|300000 | 58 |251842 | 0.0 | 57M| 83 | - |1000 | 15k| 0 | 0 | 19k| 412 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
992.09/992.46 c 992s|310000 | 59 |251842 | 0.0 | 57M| 83 | - |1000 | 15k| 0 | 0 | 19k| 422 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
994.59/994.93 c 995s|320000 | 61 |251842 | 0.0 | 57M| 83 | - |1000 | 15k| 0 | 0 | 19k| 437 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
996.99/997.38 c 997s|330000 | 60 |251842 | 0.0 | 57M| 83 | - |1000 | 15k| 0 | 0 | 19k| 459 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
999.39/999.79 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
999.39/999.79 c 1000s|340000 | 57 |251842 | 0.0 | 57M| 83 | - |1000 | 15k| 0 | 0 | 19k| 479 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1001.90/1002.24 c 1002s|350000 | 61 |251842 | 0.0 | 57M| 83 | - |1000 | 15k| 0 | 0 | 19k| 509 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1004.29/1004.61 c 1004s|360000 | 60 |251842 | 0.0 | 57M| 83 | - |1000 | 15k| 0 | 0 | 19k| 538 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1006.69/1007.08 c 1007s|370000 | 58 |251842 | 0.0 | 57M| 83 | - |1000 | 15k| 0 | 0 | 19k| 591 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1009.19/1009.55 c 1009s|380000 | 59 |251842 | 0.0 | 57M| 83 | - |1000 | 15k| 0 | 0 | 19k| 609 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1011.59/1011.92 c 1012s|390000 | 60 |251842 | 0.0 | 57M| 83 | - |1000 | 15k| 0 | 0 | 19k| 618 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1013.99/1014.35 c 1014s|400000 | 60 |251842 | 0.0 | 57M| 83 | - |1000 | 15k| 0 | 0 | 19k| 624 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1016.39/1016.72 c 1017s|410000 | 62 |251842 | 0.0 | 57M| 83 | - |1000 | 15k| 0 | 0 | 19k| 629 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1018.69/1019.08 c 1019s|420000 | 59 |251842 | 0.0 | 57M| 83 | - |1000 | 15k| 0 | 0 | 19k| 636 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1021.09/1021.47 c 1021s|430000 | 62 |251842 | 0.0 | 57M| 83 | - |1000 | 15k| 0 | 0 | 19k| 643 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1023.48/1023.87 c 1024s|440000 | 57 |251842 | 0.0 | 57M| 83 | - |1000 | 15k| 0 | 0 | 19k| 648 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1025.88/1026.29 c 1026s|450000 | 58 |251842 | 0.0 | 57M| 83 | - |1000 | 15k| 0 | 0 | 19k| 654 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1028.29/1028.69 c 1029s|460000 | 60 |251842 | 0.0 | 57M| 83 | - |1000 | 15k| 0 | 0 | 19k| 659 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1030.78/1031.17 c 1031s|470000 | 61 |251842 | 0.0 | 57M| 83 | - |1000 | 15k| 0 | 0 | 19k| 665 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1033.18/1033.58 c 1033s|480000 | 58 |251842 | 0.0 | 57M| 83 | - |1000 | 15k| 0 | 0 | 19k| 670 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1035.58/1035.99 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1035.58/1035.99 c 1036s|490000 | 56 |251842 | 0.0 | 57M| 83 | - |1000 | 15k| 0 | 0 | 19k| 677 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1037.98/1038.34 c 1038s|500000 | 62 |251842 | 0.0 | 57M| 83 | - |1000 | 15k| 0 | 0 | 19k| 683 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1040.29/1040.64 c 1040s|510000 | 61 |251842 | 0.0 | 57M| 83 | - |1000 | 15k| 0 | 0 | 19k| 690 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1042.59/1043.00 c 1043s|520000 | 60 |251842 | 0.0 | 57M| 83 | - |1000 | 15k| 0 | 0 | 19k| 695 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1044.98/1045.34 c 1045s|530000 | 61 |251842 | 0.0 | 57M| 83 | - |1000 | 15k| 0 | 0 | 19k| 697 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1047.38/1047.70 c 1048s|540000 | 61 |251842 | 0.0 | 57M| 83 | - |1000 | 15k| 0 | 0 | 19k| 705 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1049.68/1050.06 c 1050s|550000 | 59 |251842 | 0.0 | 57M| 83 | - |1000 | 15k| 0 | 0 | 19k| 715 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1052.08/1052.40 c 1052s|560000 | 61 |251842 | 0.0 | 57M| 83 | - |1000 | 15k| 0 | 0 | 19k| 723 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1054.38/1054.73 c 1055s|570000 | 59 |251842 | 0.0 | 57M| 83 | - |1000 | 15k| 0 | 0 | 19k| 727 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1056.67/1057.09 c 1057s|580000 | 59 |251842 | 0.0 | 57M| 83 | - |1000 | 15k| 0 | 0 | 19k| 734 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1059.17/1059.53 c 1059s|590000 | 57 |251842 | 0.0 | 57M| 83 | - |1000 | 15k| 0 | 0 | 19k| 742 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1061.67/1062.01 c 1062s|600000 | 56 |251842 | 0.0 | 57M| 83 | - |1000 | 15k| 0 | 0 | 19k| 747 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1063.97/1064.37 c 1064s|610000 | 61 |251842 | 0.0 | 57M| 83 | - |1000 | 15k| 0 | 0 | 19k| 754 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1066.27/1066.69 c 1067s|620000 | 59 |251842 | 0.0 | 57M| 83 | - |1000 | 15k| 0 | 0 | 19k| 760 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1068.67/1069.02 c 1069s|630000 | 60 |251842 | 0.0 | 57M| 83 | - |1000 | 15k| 0 | 0 | 19k| 768 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1070.97/1071.39 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1070.97/1071.39 c 1071s|640000 | 59 |251842 | 0.0 | 57M| 83 | - |1000 | 15k| 0 | 0 | 19k| 771 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1073.38/1073.77 c 1074s|650000 | 60 |251842 | 0.0 | 57M| 83 | - |1000 | 15k| 0 | 0 | 19k| 782 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1075.77/1076.19 c 1076s|660000 | 60 |251842 | 0.0 | 57M| 83 | - |1000 | 15k| 0 | 0 | 19k| 787 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1078.27/1078.61 c 1078s|670000 | 58 |251842 | 0.0 | 57M| 83 | - |1000 | 15k| 0 | 0 | 19k| 789 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1080.67/1081.08 c 1081s|680000 | 59 |251842 | 0.0 | 57M| 83 | - |1000 | 15k| 0 | 0 | 19k| 794 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1083.07/1083.46 c 1083s|690000 | 58 |251842 | 0.0 | 57M| 83 | - |1000 | 15k| 0 | 0 | 19k| 798 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1085.37/1085.80 c 1086s|700000 | 63 |251842 | 0.0 | 57M| 83 | - |1000 | 15k| 0 | 0 | 19k| 799 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1087.77/1088.19 c 1088s|710000 | 57 |251842 | 0.0 | 57M| 83 | - |1000 | 15k| 0 | 0 | 19k| 806 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1090.16/1090.56 c 1090s|720000 | 62 |251842 | 0.0 | 57M| 83 | - |1000 | 15k| 0 | 0 | 19k| 812 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1092.56/1092.95 c 1093s|730000 | 61 |251842 | 0.0 | 57M| 83 | - |1000 | 15k| 0 | 0 | 19k| 816 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1094.96/1095.35 c 1095s|740000 | 62 |251842 | 0.0 | 57M| 83 | - |1000 | 15k| 0 | 0 | 19k| 823 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1097.47/1097.81 c 1098s|750000 | 62 |251842 | 0.0 | 57M| 83 | - |1000 | 15k| 0 | 0 | 19k| 830 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1099.86/1100.21 c 1100s|760000 | 60 |251842 | 0.0 | 57M| 83 | - |1000 | 15k| 0 | 0 | 19k| 838 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1102.26/1102.67 c 1102s|770000 | 57 |251842 | 0.0 | 57M| 83 | - |1000 | 15k| 0 | 0 | 19k| 851 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1104.66/1105.08 c 1105s|780000 | 60 |251842 | 0.0 | 57M| 83 | - |1000 | 15k| 0 | 0 | 19k| 865 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1107.16/1107.52 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1107.16/1107.52 c 1107s|790000 | 60 |251842 | 0.0 | 57M| 83 | - |1000 | 15k| 0 | 0 | 19k| 873 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1109.56/1109.99 c 1110s|800000 | 56 |251842 | 0.0 | 57M| 84 | - |1000 | 15k| 0 | 0 | 19k| 880 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1112.06/1112.42 c 1112s|810000 | 61 |251842 | 0.0 | 57M| 85 | - |1000 | 15k| 0 | 0 | 19k| 890 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1114.46/1114.86 c 1115s|820000 | 58 |251842 | 0.0 | 57M| 85 | - |1000 | 15k| 0 | 0 | 19k| 904 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1116.85/1117.28 c 1117s|830000 | 58 |251842 | 0.0 | 57M| 85 | - |1000 | 15k| 0 | 0 | 19k| 910 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1119.35/1119.71 c 1120s|840000 | 58 |251842 | 0.0 | 57M| 85 | - |1000 | 15k| 0 | 0 | 19k| 916 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1121.76/1122.16 c 1122s|850000 | 58 |251842 | 0.0 | 57M| 85 | - |1000 | 15k| 0 | 0 | 19k| 924 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1124.25/1124.64 c 1124s|860000 | 57 |251842 | 0.0 | 57M| 85 | - |1000 | 15k| 0 | 0 | 19k| 926 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1126.65/1127.09 c 1127s|870000 | 60 |251842 | 0.0 | 57M| 85 | - |1000 | 15k| 0 | 0 | 19k| 935 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1129.05/1129.48 c 1129s|880000 | 58 |251842 | 0.0 | 57M| 85 | - |1000 | 15k| 0 | 0 | 19k| 941 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1131.45/1131.89 c 1132s|890000 | 59 |251842 | 0.0 | 57M| 85 | - |1000 | 15k| 0 | 0 | 19k| 945 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1133.95/1134.32 c 1134s|900000 | 59 |251842 | 0.0 | 57M| 85 | - |1000 | 15k| 0 | 0 | 19k| 959 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1136.35/1136.76 c 1137s|910000 | 58 |251842 | 0.0 | 57M| 85 | - |1000 | 15k| 0 | 0 | 19k| 965 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1138.75/1139.16 c 1139s|920000 | 57 |251842 | 0.0 | 57M| 86 | - |1000 | 15k| 0 | 0 | 19k| 975 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1141.15/1141.58 c 1141s|930000 | 54 |251842 | 0.0 | 57M| 86 | - |1000 | 15k| 0 | 0 | 19k| 980 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1143.75/1144.17 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1143.75/1144.17 c 1144s|940000 | 63 |251842 | 0.0 | 57M| 86 | - |1000 | 15k| 0 | 0 | 19k|1012 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1146.44/1146.83 c 1147s|950000 | 61 |251842 | 0.0 | 57M| 86 | - |1000 | 15k| 0 | 0 | 19k|1043 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1149.04/1149.40 c 1149s|960000 | 60 |251842 | 0.0 | 57M| 86 | - |1000 | 15k| 0 | 0 | 19k|1091 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1151.45/1151.84 c 1152s|970000 | 60 |251842 | 0.0 | 57M| 86 | - |1000 | 15k| 0 | 0 | 19k|1137 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1153.94/1154.39 c 1154s|980000 | 61 |251842 | 0.0 | 57M| 86 | - |1000 | 15k| 0 | 0 | 19k|1180 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1156.54/1156.97 c 1157s|990000 | 62 |251842 | 0.0 | 57M| 86 | - |1000 | 15k| 0 | 0 | 19k|1217 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1159.05/1159.48 c 1159s| 1000k| 61 |251842 | 0.0 | 57M| 86 | - |1000 | 15k| 0 | 0 | 19k|1232 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1161.64/1162.05 c 1162s| 1010k| 60 |251842 | 0.0 | 57M| 86 | - |1000 | 15k| 0 | 0 | 19k|1238 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1164.04/1164.49 c 1164s| 1020k| 58 |251842 | 0.0 | 57M| 86 | - |1000 | 15k| 0 | 0 | 19k|1251 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1166.54/1166.96 c 1167s| 1030k| 62 |251842 | 0.0 | 57M| 86 | - |1000 | 15k| 0 | 0 | 19k|1265 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1168.94/1169.34 c 1169s| 1040k| 61 |251842 | 0.0 | 57M| 86 | - |1000 | 15k| 0 | 0 | 19k|1281 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1171.34/1171.73 c 1172s| 1050k| 58 |251842 | 0.0 | 57M| 86 | - |1000 | 15k| 0 | 0 | 19k|1297 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1173.74/1174.15 c 1174s| 1060k| 58 |251842 | 0.0 | 57M| 86 | - |1000 | 15k| 0 | 0 | 19k|1303 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1176.13/1176.57 c 1176s| 1070k| 59 |251842 | 0.0 | 57M| 86 | - |1000 | 15k| 0 | 0 | 19k|1308 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1178.53/1178.97 c 1179s| 1080k| 61 |251842 | 0.0 | 57M| 86 | - |1000 | 15k| 0 | 0 | 19k|1320 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1181.04/1181.42 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1181.04/1181.42 c 1181s| 1090k| 61 |251842 | 0.0 | 57M| 86 | - |1000 | 15k| 0 | 0 | 19k|1332 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1183.44/1183.88 c 1184s| 1100k| 60 |251842 | 0.0 | 57M| 86 | - |1000 | 15k| 0 | 0 | 19k|1350 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1186.04/1186.43 c 1186s| 1110k| 61 |251842 | 0.0 | 57M| 86 | - |1000 | 15k| 0 | 0 | 19k|1363 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1188.44/1188.80 c 1189s| 1120k| 58 |251842 | 0.0 | 57M| 86 | - |1000 | 15k| 0 | 0 | 19k|1375 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1190.84/1191.29 c 1191s| 1130k| 57 |251842 | 0.0 | 57M| 86 | - |1000 | 15k| 0 | 0 | 19k|1394 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1193.34/1193.78 c 1194s| 1140k| 59 |251842 | 0.0 | 57M| 86 | - |1000 | 15k| 0 | 0 | 19k|1409 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1195.74/1196.19 c 1196s| 1150k| 58 |251842 | 0.0 | 57M| 86 | - |1000 | 15k| 0 | 0 | 19k|1421 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1198.14/1198.56 c 1198s| 1160k| 61 |251842 | 0.0 | 57M| 86 | - |1000 | 15k| 0 | 0 | 19k|1425 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1200.44/1200.89 c 1201s| 1170k| 62 |251842 | 0.0 | 57M| 86 | - |1000 | 15k| 0 | 0 | 19k|1432 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1202.84/1203.26 c 1203s| 1180k| 60 |251842 | 0.0 | 57M| 86 | - |1000 | 15k| 0 | 0 | 19k|1446 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1205.14/1205.57 c 1205s| 1190k| 60 |251842 | 0.0 | 57M| 86 | - |1000 | 15k| 0 | 0 | 19k|1456 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1207.54/1207.91 c 1208s| 1200k| 59 |251842 | 0.0 | 57M| 86 | - |1000 | 15k| 0 | 0 | 19k|1471 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1210.23/1210.62 c 1210s| 1210k| 57 |251842 | 0.0 | 57M| 86 | - |1000 | 15k| 0 | 0 | 19k|1485 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1212.73/1213.11 c 1213s| 1220k| 63 |251842 | 0.0 | 57M| 86 | - |1000 | 15k| 0 | 0 | 19k|1497 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1214.93/1215.39 c 1215s| 1230k| 57 |251842 | 0.0 | 57M| 86 | - |1000 | 15k| 0 | 0 | 19k|1519 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1217.34/1217.71 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1217.34/1217.71 c 1218s| 1240k| 58 |251842 | 0.0 | 57M| 86 | - |1000 | 15k| 0 | 0 | 19k|1528 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1219.64/1220.08 c 1220s| 1250k| 56 |251842 | 0.0 | 57M| 86 | - |1000 | 15k| 0 | 0 | 19k|1536 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1222.13/1222.53 c 1222s| 1260k| 60 |251842 | 0.0 | 57M| 86 | - |1000 | 15k| 0 | 0 | 19k|1555 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1224.53/1224.95 c 1225s| 1270k| 60 |251842 | 0.0 | 57M| 86 | - |1000 | 15k| 0 | 0 | 19k|1573 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1226.93/1227.34 c 1227s| 1280k| 59 |251842 | 0.0 | 57M| 86 | - |1000 | 15k| 0 | 0 | 19k|1593 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1229.33/1229.72 c 1230s| 1290k| 58 |251842 | 0.0 | 57M| 86 | - |1000 | 15k| 0 | 0 | 19k|1596 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1231.74/1232.11 c 1232s| 1300k| 56 |251842 | 0.0 | 57M| 86 | - |1000 | 15k| 0 | 0 | 19k|1606 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1234.13/1234.57 c 1234s| 1310k| 60 |251842 | 0.0 | 57M| 86 | - |1000 | 15k| 0 | 0 | 19k|1609 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1236.53/1236.97 c 1237s| 1320k| 59 |251842 | 0.0 | 57M| 86 | - |1000 | 15k| 0 | 0 | 19k|1614 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1239.02/1239.43 c 1239s| 1330k| 58 |251842 | 0.0 | 57M| 86 | - |1000 | 15k| 0 | 0 | 19k|1623 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1241.42/1241.82 c 1242s| 1340k| 59 |251842 | 0.0 | 57M| 86 | - |1000 | 15k| 0 | 0 | 19k|1625 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1243.83/1244.25 c 1244s| 1350k| 58 |251842 | 0.0 | 57M| 86 | - |1000 | 15k| 0 | 0 | 19k|1632 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1246.22/1246.60 c 1246s| 1360k| 61 |251842 | 0.0 | 57M| 87 | - |1000 | 15k| 0 | 0 | 19k|1640 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1248.52/1248.96 c 1249s| 1370k| 57 |251842 | 0.0 | 57M| 87 | - |1000 | 15k| 0 | 0 | 19k|1652 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1251.02/1251.49 c 1251s| 1380k| 58 |251842 | 0.0 | 57M| 87 | - |1000 | 15k| 0 | 0 | 19k|1674 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1253.42/1253.85 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1253.42/1253.85 c 1254s| 1390k| 60 |251842 | 0.0 | 57M| 87 | - |1000 | 15k| 0 | 0 | 19k|1689 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1256.02/1256.49 c 1256s| 1400k| 58 |251842 | 0.0 | 57M| 87 | - |1000 | 15k| 0 | 0 | 19k|1706 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1258.42/1258.85 c 1259s| 1410k| 59 |251842 | 0.0 | 57M| 87 | - |1000 | 15k| 0 | 0 | 19k|1717 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1260.82/1261.24 c 1261s| 1420k| 61 |251842 | 0.0 | 57M| 87 | - |1000 | 15k| 0 | 0 | 19k|1733 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1263.22/1263.69 c 1264s| 1430k| 61 |251842 | 0.0 | 57M| 87 | - |1000 | 15k| 0 | 0 | 19k|1744 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1265.61/1266.04 c 1266s| 1440k| 61 |251842 | 0.0 | 57M| 87 | - |1000 | 15k| 0 | 0 | 19k|1755 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1268.11/1268.59 c 1268s| 1450k| 60 |251842 | 0.0 | 57M| 87 | - |1000 | 15k| 0 | 0 | 19k|1767 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1270.51/1270.99 c 1271s| 1460k| 59 |251842 | 0.0 | 57M| 87 | - |1000 | 15k| 0 | 0 | 19k|1775 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1273.01/1273.40 c 1273s| 1470k| 57 |251842 | 0.0 | 57M| 87 | - |1000 | 15k| 0 | 0 | 19k|1779 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1275.31/1275.76 c 1276s| 1480k| 57 |251842 | 0.0 | 57M| 87 | - |1000 | 15k| 0 | 0 | 19k|1782 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1277.71/1278.11 c 1278s| 1490k| 58 |251842 | 0.0 | 57M| 87 | - |1000 | 15k| 0 | 0 | 19k|1796 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1280.02/1280.48 c 1280s| 1500k| 56 |251842 | 0.0 | 57M| 87 | - |1000 | 15k| 0 | 0 | 19k|1811 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1282.41/1282.83 c 1283s| 1510k| 59 |251842 | 0.0 | 57M| 87 | - |1000 | 15k| 0 | 0 | 19k|1827 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1284.71/1285.14 c 1285s| 1520k| 56 |251842 | 0.0 | 57M| 87 | - |1000 | 15k| 0 | 0 | 19k|1843 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1287.01/1287.48 c 1287s| 1530k| 60 |251842 | 0.0 | 57M| 87 | - |1000 | 15k| 0 | 0 | 19k|1854 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1289.61/1290.00 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1289.61/1290.00 c 1290s| 1540k| 56 |251842 | 0.0 | 57M| 88 | - |1000 | 15k| 0 | 0 | 19k|1875 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1292.21/1292.61 c 1292s| 1550k| 56 |251842 | 0.0 | 57M| 88 | - |1000 | 15k| 0 | 0 | 19k|1889 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1294.71/1295.12 c 1295s| 1560k| 58 |251842 | 0.0 | 57M| 88 | - |1000 | 15k| 0 | 0 | 19k|1904 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1297.01/1297.44 c 1297s| 1570k| 58 |251842 | 0.0 | 57M| 88 | - |1000 | 15k| 0 | 0 | 19k|1919 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1299.40/1299.82 c 1300s| 1580k| 58 |251842 | 0.0 | 57M| 88 | - |1000 | 15k| 0 | 0 | 19k|1928 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1301.80/1302.23 c 1302s| 1590k| 58 |251842 | 0.0 | 57M| 88 | - |1000 | 15k| 0 | 0 | 19k|1937 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1304.10/1304.53 c 1304s| 1600k| 55 |251842 | 0.0 | 57M| 88 | - |1000 | 15k| 0 | 0 | 19k|1950 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1306.41/1306.89 c 1307s| 1610k| 65 |251842 | 0.0 | 57M| 89 | - |1000 | 15k| 0 | 0 | 19k|1962 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1308.80/1309.26 c 1309s| 1620k| 60 |251842 | 0.0 | 57M| 89 | - |1000 | 15k| 0 | 0 | 19k|1974 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1311.20/1311.62 c 1311s| 1630k| 60 |251842 | 0.0 | 57M| 89 | - |1000 | 15k| 0 | 0 | 19k|1994 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1313.50/1313.98 c 1314s| 1640k| 58 |251842 | 0.0 | 57M| 89 | - |1000 | 15k| 0 | 0 | 19k|2012 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1315.90/1316.39 c 1316s| 1650k| 60 |251842 | 0.0 | 57M| 89 | - |1000 | 15k| 0 | 0 | 19k|2029 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1318.40/1318.87 c 1319s| 1660k| 57 |251842 | 0.0 | 57M| 89 | - |1000 | 15k| 0 | 0 | 19k|2043 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1320.80/1321.27 c 1321s| 1670k| 58 |251842 | 0.0 | 57M| 89 | - |1000 | 15k| 0 | 0 | 19k|2059 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1323.10/1323.59 c 1323s| 1680k| 67 |251842 | 0.0 | 57M| 89 | - |1000 | 15k| 0 | 0 | 19k|2078 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1325.50/1325.96 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1325.50/1325.96 c 1326s| 1690k| 60 |251842 | 0.0 | 57M| 89 | - |1000 | 15k| 0 | 0 | 19k|2096 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1327.90/1328.33 c 1328s| 1700k| 59 |251842 | 0.0 | 57M| 92 | - |1000 | 15k| 0 | 0 | 19k|2105 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1330.30/1330.76 c 1331s| 1710k| 63 |251842 | 0.0 | 57M| 92 | - |1000 | 15k| 0 | 0 | 19k|2114 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1332.80/1333.24 c 1333s| 1720k| 61 |251842 | 0.0 | 57M| 92 | - |1000 | 15k| 0 | 0 | 19k|2127 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1335.10/1335.58 c 1335s| 1730k| 59 |251842 | 0.0 | 57M| 92 | - |1000 | 15k| 0 | 0 | 19k|2151 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1337.49/1337.95 c 1338s| 1740k| 57 |251842 | 0.0 | 57M| 92 | - |1000 | 15k| 0 | 0 | 19k|2167 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1339.89/1340.36 c 1340s| 1750k| 62 |251842 | 0.0 | 57M| 92 | - |1000 | 15k| 0 | 0 | 19k|2181 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1342.29/1342.78 c 1343s| 1760k| 56 |251842 | 0.0 | 57M| 92 | - |1000 | 15k| 0 | 0 | 19k|2205 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1344.69/1345.18 c 1345s| 1770k| 58 |251842 | 0.0 | 57M| 92 | - |1000 | 15k| 0 | 0 | 19k|2221 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1347.20/1347.62 c 1347s| 1780k| 63 |251842 | 0.0 | 57M| 92 | - |1000 | 15k| 0 | 0 | 19k|2235 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1349.59/1350.05 c 1350s| 1790k| 63 |251842 | 0.0 | 57M| 92 | - |1000 | 15k| 0 | 0 | 19k|2253 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1351.99/1352.48 c 1352s| 1800k| 61 |251842 | 0.0 | 57M| 92 | - |1000 | 15k| 0 | 0 | 19k|2266 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1354.39/1354.88 c 1355s| 1810k| 60 |251842 | 0.0 | 57M| 92 | - |1000 | 15k| 0 | 0 | 19k|2281 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1356.79/1357.29 c 1357s| 1820k| 57 |251842 | 0.0 | 57M| 92 | - |1000 | 15k| 0 | 0 | 19k|2293 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1359.29/1359.75 c 1360s| 1830k| 60 |251842 | 0.0 | 57M| 92 | - |1000 | 15k| 0 | 0 | 19k|2305 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1361.79/1362.21 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1361.79/1362.21 c 1362s| 1840k| 60 |251842 | 0.0 | 57M| 92 | - |1000 | 15k| 0 | 0 | 19k|2312 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1364.19/1364.66 c 1364s| 1850k| 57 |251842 | 0.0 | 57M| 92 | - |1000 | 15k| 0 | 0 | 19k|2339 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1366.58/1367.08 c 1367s| 1860k| 58 |251842 | 0.0 | 57M| 92 | - |1000 | 15k| 0 | 0 | 19k|2353 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1369.09/1369.53 c 1369s| 1870k| 63 |251842 | 0.0 | 57M| 92 | - |1000 | 15k| 0 | 0 | 19k|2369 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1371.48/1371.94 c 1372s| 1880k| 56 |251842 | 0.0 | 57M| 92 | - |1000 | 15k| 0 | 0 | 19k|2384 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1373.88/1374.37 c 1374s| 1890k| 56 |251842 | 0.0 | 57M| 92 | - |1000 | 15k| 0 | 0 | 19k|2402 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1376.28/1376.79 c 1377s| 1900k| 56 |251842 | 0.0 | 57M| 92 | - |1000 | 15k| 0 | 0 | 19k|2410 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1378.68/1379.19 c 1379s| 1910k| 56 |251842 | 0.0 | 57M| 92 | - |1000 | 15k| 0 | 0 | 19k|2422 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1381.19/1381.61 c 1381s| 1920k| 56 |251842 | 0.0 | 57M| 92 | - |1000 | 15k| 0 | 0 | 19k|2431 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1383.68/1384.11 c 1384s| 1930k| 59 |251842 | 0.0 | 57M| 92 | - |1000 | 15k| 0 | 0 | 19k|2443 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1386.08/1386.58 c 1386s| 1940k| 58 |251842 | 0.0 | 57M| 92 | - |1000 | 15k| 0 | 0 | 19k|2452 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1388.58/1389.09 c 1389s| 1950k| 59 |251842 | 0.0 | 57M| 92 | - |1000 | 15k| 0 | 0 | 19k|2454 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1391.18/1391.69 c 1392s| 1960k| 57 |251842 | 0.0 | 57M| 92 | - |1000 | 15k| 0 | 0 | 19k|2455 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1393.88/1394.38 c 1394s| 1970k| 56 |251842 | 0.0 | 57M| 92 | - |1000 | 15k| 0 | 0 | 19k|2469 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1396.48/1396.97 c 1397s| 1980k| 58 |251842 | 0.0 | 57M| 92 | - |1000 | 15k| 0 | 0 | 19k|2478 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1399.08/1399.51 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1399.08/1399.51 c 1399s| 1990k| 58 |251842 | 0.0 | 57M| 92 | - |1000 | 15k| 0 | 0 | 19k|2487 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1401.48/1401.98 c 1402s| 2000k| 57 |251842 | 0.0 | 57M| 92 | - |1000 | 15k| 0 | 0 | 19k|2499 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1403.98/1404.43 c 1404s| 2010k| 55 |251842 | 0.0 | 57M| 92 | - |1000 | 15k| 0 | 0 | 19k|2515 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1406.67/1407.14 c 1407s| 2020k| 58 |251842 | 0.0 | 57M| 92 | - |1000 | 15k| 0 | 0 | 19k|2528 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1409.47/1409.92 c 1410s| 2030k| 57 |251842 | 0.0 | 57M| 92 | - |1000 | 15k| 0 | 0 | 19k|2540 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1412.27/1412.75 c 1413s| 2040k| 54 |251842 | 0.0 | 57M| 92 | - |1000 | 15k| 0 | 0 | 19k|2553 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1414.97/1415.45 c 1415s| 2050k| 57 |251842 | 0.0 | 57M| 92 | - |1000 | 15k| 0 | 0 | 19k|2573 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1417.58/1418.04 c 1418s| 2060k| 60 |251842 | 0.0 | 57M| 92 | - |1000 | 15k| 0 | 0 | 19k|2583 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1419.87/1420.38 c 1420s| 2070k| 58 |251842 | 0.0 | 57M| 92 | - |1000 | 15k| 0 | 0 | 19k|2589 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1422.17/1422.68 c 1422s| 2080k| 58 |251842 | 0.0 | 57M| 92 | - |1000 | 15k| 0 | 0 | 19k|2605 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1424.57/1425.00 c 1425s| 2090k| 58 |251842 | 0.0 | 57M| 92 | - |1000 | 15k| 0 | 0 | 19k|2627 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1426.87/1427.33 c 1427s| 2100k| 59 |251842 | 0.0 | 57M| 92 | - |1000 | 15k| 0 | 0 | 19k|2641 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1429.17/1429.69 c 1430s| 2110k| 59 |251842 | 0.0 | 57M| 92 | - |1000 | 15k| 0 | 0 | 19k|2655 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1431.47/1431.97 c 1432s| 2120k| 58 |251842 | 0.0 | 57M| 92 | - |1000 | 15k| 0 | 0 | 19k|2672 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1433.87/1434.31 c 1434s| 2130k| 59 |251842 | 0.0 | 57M| 92 | - |1000 | 15k| 0 | 0 | 19k|2691 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1436.17/1436.65 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1436.17/1436.65 c 1436s| 2140k| 56 |251842 | 0.0 | 57M| 92 | - |1000 | 15k| 0 | 0 | 19k|2701 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1438.56/1439.00 c 1439s| 2150k| 58 |251842 | 0.0 | 57M| 92 | - |1000 | 15k| 0 | 0 | 19k|2711 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1440.86/1441.39 c 1441s| 2160k| 61 |251842 | 0.0 | 57M| 92 | - |1000 | 15k| 0 | 0 | 19k|2724 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1443.26/1443.75 c 1444s| 2170k| 57 |251842 | 0.0 | 57M| 92 | - |1000 | 15k| 0 | 0 | 19k|2736 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1445.66/1446.10 c 1446s| 2180k| 58 |251842 | 0.0 | 57M| 92 | - |1000 | 15k| 0 | 0 | 19k|2750 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1447.96/1448.45 c 1448s| 2190k| 57 |251842 | 0.0 | 57M| 92 | - |1000 | 15k| 0 | 0 | 19k|2755 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1450.26/1450.75 c 1451s| 2200k| 59 |251842 | 0.0 | 57M| 92 | - |1000 | 15k| 0 | 0 | 19k|2763 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1452.56/1453.08 c 1453s| 2210k| 62 |251842 | 0.0 | 57M| 92 | - |1000 | 15k| 0 | 0 | 19k|2778 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1454.87/1455.40 c 1455s| 2220k| 60 |251842 | 0.0 | 57M| 92 | - |1000 | 15k| 0 | 0 | 19k|2791 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1457.26/1457.71 c 1458s| 2230k| 59 |251842 | 0.0 | 57M| 92 | - |1000 | 15k| 0 | 0 | 19k|2810 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1459.56/1460.02 c 1460s| 2240k| 56 |251842 | 0.0 | 57M| 92 | - |1000 | 15k| 0 | 0 | 19k|2829 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1461.86/1462.35 c 1462s| 2250k| 57 |251842 | 0.0 | 57M| 92 | - |1000 | 15k| 0 | 0 | 19k|2845 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1464.16/1464.68 c 1464s| 2260k| 61 |251842 | 0.0 | 57M| 92 | - |1000 | 15k| 0 | 0 | 19k|2863 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1466.56/1467.06 c 1467s| 2270k| 56 |251842 | 0.0 | 57M| 92 | - |1000 | 15k| 0 | 0 | 19k|2877 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1468.95/1469.44 c 1469s| 2280k| 58 |251842 | 0.0 | 57M| 92 | - |1000 | 15k| 0 | 0 | 19k|2888 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1471.36/1471.85 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1471.36/1471.85 c 1472s| 2290k| 63 |251842 | 0.0 | 57M| 92 | - |1000 | 15k| 0 | 0 | 19k|2904 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1473.75/1474.21 c 1474s| 2300k| 61 |251842 | 0.0 | 57M| 92 | - |1000 | 15k| 0 | 0 | 19k|2911 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1476.05/1476.55 c 1476s| 2310k| 58 |251842 | 0.0 | 57M| 92 | - |1000 | 15k| 0 | 0 | 19k|2920 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1478.45/1478.91 c 1479s| 2320k| 57 |251842 | 0.0 | 57M| 92 | - |1000 | 15k| 0 | 0 | 19k|2936 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1480.75/1481.28 c 1481s| 2330k| 61 |251842 | 0.0 | 57M| 92 | - |1000 | 15k| 0 | 0 | 19k|2951 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1483.15/1483.62 c 1483s| 2340k| 60 |251842 | 0.0 | 57M| 92 | - |1000 | 15k| 0 | 0 | 19k|2964 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1485.45/1485.98 c 1486s| 2350k| 57 |251842 | 0.0 | 57M| 92 | - |1000 | 15k| 0 | 0 | 19k|2978 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1487.75/1488.29 c 1488s| 2360k| 62 |251842 | 0.0 | 57M| 92 | - |1000 | 15k| 0 | 0 | 19k|3009 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1490.16/1490.61 c 1490s| 2370k| 58 |251842 | 0.0 | 57M| 92 | - |1000 | 15k| 0 | 0 | 19k|3023 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1492.45/1492.92 c 1493s| 2380k| 56 |251842 | 0.0 | 57M| 92 | - |1000 | 15k| 0 | 0 | 19k|3040 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1494.75/1495.28 c 1495s| 2390k| 61 |251842 | 0.0 | 57M| 92 | - |1000 | 15k| 0 | 0 | 19k|3056 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1497.05/1497.56 c 1497s| 2400k| 61 |251842 | 0.0 | 57M| 92 | - |1000 | 15k| 0 | 0 | 19k|3067 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1499.35/1499.88 c 1500s| 2410k| 61 |251842 | 0.0 | 57M| 92 | - |1000 | 15k| 0 | 0 | 19k|3084 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1501.75/1502.26 c 1502s| 2420k| 58 |251842 | 0.0 | 57M| 92 | - |1000 | 15k| 0 | 0 | 19k|3092 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1504.05/1504.59 c 1504s| 2430k| 57 |251842 | 0.0 | 57M| 92 | - |1000 | 15k| 0 | 0 | 19k|3101 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1506.44/1506.92 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1506.44/1506.92 c 1507s| 2440k| 58 |251842 | 0.0 | 57M| 92 | - |1000 | 15k| 0 | 0 | 19k|3117 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1508.75/1509.26 c 1509s| 2450k| 57 |251842 | 0.0 | 57M| 92 | - |1000 | 15k| 0 | 0 | 19k|3120 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1511.14/1511.61 c 1511s| 2460k| 60 |251842 | 0.0 | 57M| 92 | - |1000 | 15k| 0 | 0 | 19k|3124 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1513.44/1513.92 c 1514s| 2470k| 60 |251842 | 0.0 | 57M| 92 | - |1000 | 15k| 0 | 0 | 19k|3130 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1515.74/1516.27 c 1516s| 2480k| 61 |251842 | 0.0 | 57M| 92 | - |1000 | 15k| 0 | 0 | 19k|3139 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1518.14/1518.67 c 1518s| 2490k| 58 |251842 | 0.0 | 57M| 92 | - |1000 | 15k| 0 | 0 | 19k|3148 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1520.54/1521.08 c 1521s| 2500k| 59 |251842 | 0.0 | 57M| 92 | - |1000 | 15k| 0 | 0 | 19k|3151 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1522.94/1523.44 c 1523s| 2510k| 58 |251842 | 0.0 | 57M| 92 | - |1000 | 15k| 0 | 0 | 19k|3160 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1525.35/1525.85 c 1526s| 2520k| 57 |251842 | 0.0 | 57M| 92 | - |1000 | 15k| 0 | 0 | 19k|3163 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1527.74/1528.24 c 1528s| 2530k| 59 |251842 | 0.0 | 57M| 92 | - |1000 | 15k| 0 | 0 | 19k|3168 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1530.04/1530.60 c 1530s| 2540k| 58 |251842 | 0.0 | 57M| 92 | - |1000 | 15k| 0 | 0 | 19k|3178 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1532.44/1532.96 c 1533s| 2550k| 60 |251842 | 0.0 | 57M| 92 | - |1000 | 15k| 0 | 0 | 19k|3189 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1534.84/1535.33 c 1535s| 2560k| 60 |251842 | 0.0 | 57M| 92 | - |1000 | 15k| 0 | 0 | 19k|3198 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1537.14/1537.70 c 1538s| 2570k| 60 |251842 | 0.0 | 57M| 92 | - |1000 | 15k| 0 | 0 | 19k|3202 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1539.54/1540.07 c 1540s| 2580k| 57 |251842 | 0.0 | 57M| 92 | - |1000 | 15k| 0 | 0 | 19k|3211 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1541.94/1542.44 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1541.94/1542.44 c 1542s| 2590k| 57 |251842 | 0.0 | 57M| 92 | - |1000 | 15k| 0 | 0 | 19k|3217 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1544.23/1544.78 c 1545s| 2600k| 59 |251842 | 0.0 | 57M| 92 | - |1000 | 15k| 0 | 0 | 19k|3220 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1546.63/1547.18 c 1547s| 2610k| 58 |251842 | 0.0 | 57M| 92 | - |1000 | 15k| 0 | 0 | 19k|3228 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1549.03/1549.57 c 1549s| 2620k| 56 |251842 | 0.0 | 57M| 92 | - |1000 | 15k| 0 | 0 | 19k|3237 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1551.43/1551.95 c 1552s| 2630k| 59 |251842 | 0.0 | 57M| 92 | - |1000 | 15k| 0 | 0 | 19k|3246 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1553.84/1554.35 c 1554s| 2640k| 56 |251842 | 0.0 | 57M| 92 | - |1000 | 15k| 0 | 0 | 19k|3251 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1556.23/1556.74 c 1557s| 2650k| 58 |251842 | 0.0 | 57M| 92 | - |1000 | 15k| 0 | 0 | 19k|3257 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1558.63/1559.13 c 1559s| 2660k| 57 |251842 | 0.0 | 57M| 92 | - |1000 | 15k| 0 | 0 | 19k|3263 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1561.03/1561.52 c 1561s| 2670k| 59 |251842 | 0.0 | 57M| 92 | - |1000 | 15k| 0 | 0 | 19k|3266 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1563.43/1563.90 c 1564s| 2680k| 53 |251842 | 0.0 | 57M| 92 | - |1000 | 15k| 0 | 0 | 19k|3268 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1565.73/1566.23 c 1566s| 2690k| 61 |251842 | 0.0 | 57M| 92 | - |1000 | 15k| 0 | 0 | 19k|3286 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1568.03/1568.55 c 1568s| 2700k| 57 |251842 | 0.0 | 57M| 92 | - |1000 | 15k| 0 | 0 | 19k|3300 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1570.33/1570.86 c 1571s| 2710k| 58 |251842 | 0.0 | 57M| 92 | - |1000 | 15k| 0 | 0 | 19k|3315 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1572.72/1573.21 c 1573s| 2720k| 59 |251842 | 0.0 | 57M| 92 | - |1000 | 15k| 0 | 0 | 19k|3326 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1575.02/1575.57 c 1575s| 2730k| 58 |251842 | 0.0 | 57M| 92 | - |1000 | 15k| 0 | 0 | 19k|3336 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1577.42/1577.91 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1577.42/1577.91 c 1578s| 2740k| 59 |251842 | 0.0 | 57M| 92 | - |1000 | 15k| 0 | 0 | 19k|3344 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1579.72/1580.23 c 1580s| 2750k| 57 |251842 | 0.0 | 57M| 92 | - |1000 | 15k| 0 | 0 | 19k|3362 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1582.02/1582.56 c 1582s| 2760k| 60 |251842 | 0.0 | 57M| 92 | - |1000 | 15k| 0 | 0 | 19k|3372 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1584.32/1584.87 c 1585s| 2770k| 58 |251842 | 0.0 | 57M| 92 | - |1000 | 15k| 0 | 0 | 19k|3384 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1586.72/1587.24 c 1587s| 2780k| 57 |251842 | 0.0 | 57M| 92 | - |1000 | 15k| 0 | 0 | 19k|3403 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1589.02/1589.59 c 1589s| 2790k| 56 |251842 | 0.0 | 57M| 92 | - |1000 | 15k| 0 | 0 | 19k|3415 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1591.42/1591.92 c 1592s| 2800k| 58 |251842 | 0.0 | 57M| 92 | - |1000 | 15k| 0 | 0 | 19k|3426 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1593.72/1594.29 c 1594s| 2810k| 59 |251842 | 0.0 | 57M| 92 | - |1000 | 15k| 0 | 0 | 19k|3434 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1596.11/1596.63 c 1596s| 2820k| 58 |251842 | 0.0 | 57M| 92 | - |1000 | 15k| 0 | 0 | 19k|3450 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1598.41/1598.96 c 1599s| 2830k| 57 |251842 | 0.0 | 57M| 92 | - |1000 | 15k| 0 | 0 | 19k|3459 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1600.71/1601.28 c 1601s| 2840k| 60 |251842 | 0.0 | 57M| 92 | - |1000 | 15k| 0 | 0 | 19k|3466 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1603.11/1603.64 c 1603s| 2850k| 56 |251842 | 0.0 | 57M| 92 | - |1000 | 15k| 0 | 0 | 19k|3472 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1605.41/1605.98 c 1606s| 2860k| 59 |251842 | 0.0 | 57M| 92 | - |1000 | 15k| 0 | 0 | 19k|3488 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1607.72/1608.30 c 1608s| 2870k| 61 |251842 | 0.0 | 57M| 92 | - |1000 | 15k| 0 | 0 | 19k|3503 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1610.11/1610.61 c 1610s| 2880k| 57 |251842 | 0.0 | 57M| 92 | - |1000 | 15k| 0 | 0 | 19k|3517 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1612.41/1612.94 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1612.41/1612.94 c 1613s| 2890k| 59 |251842 | 0.0 | 57M| 92 | - |1000 | 15k| 0 | 0 | 19k|3530 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1614.81/1615.30 c 1615s| 2900k| 58 |251842 | 0.0 | 57M| 92 | - |1000 | 15k| 0 | 0 | 19k|3540 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1617.11/1617.68 c 1617s| 2910k| 60 |251842 | 0.0 | 57M| 92 | - |1000 | 15k| 0 | 0 | 19k|3546 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1619.51/1620.09 c 1620s| 2920k| 57 |251842 | 0.0 | 57M| 92 | - |1000 | 15k| 0 | 0 | 19k|3557 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1621.91/1622.46 c 1622s| 2930k| 54 |251842 | 0.0 | 57M| 92 | - |1000 | 15k| 0 | 0 | 19k|3563 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1624.21/1624.80 c 1625s| 2940k| 57 |251842 | 0.0 | 57M| 92 | - |1000 | 15k| 0 | 0 | 19k|3567 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1626.61/1627.18 c 1627s| 2950k| 60 |251842 | 0.0 | 57M| 92 | - |1000 | 15k| 0 | 0 | 19k|3580 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1629.00/1629.55 c 1629s| 2960k| 60 |251842 | 0.0 | 57M| 92 | - |1000 | 15k| 0 | 0 | 19k|3605 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1631.40/1631.95 c 1632s| 2970k| 59 |251842 | 0.0 | 57M| 92 | - |1000 | 15k| 0 | 0 | 19k|3616 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1633.80/1634.34 c 1634s| 2980k| 63 |251842 | 0.0 | 57M| 92 | - |1000 | 15k| 0 | 0 | 19k|3625 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1636.20/1636.72 c 1637s| 2990k| 59 |251842 | 0.0 | 57M| 92 | - |1000 | 15k| 0 | 0 | 19k|3640 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1638.51/1639.07 c 1639s| 3000k| 59 |251842 | 0.0 | 57M| 92 | - |1000 | 15k| 0 | 0 | 19k|3647 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1640.90/1641.41 c 1641s| 3010k| 64 |251842 | 0.0 | 57M| 92 | - |1000 | 15k| 0 | 0 | 19k|3664 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1643.20/1643.76 c 1644s| 3020k| 65 |251842 | 0.0 | 57M| 92 | - |1000 | 15k| 0 | 0 | 19k|3673 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1645.60/1646.18 c 1646s| 3030k| 62 |251842 | 0.0 | 57M| 92 | - |1000 | 15k| 0 | 0 | 19k|3687 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1648.00/1648.55 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1648.00/1648.55 c 1648s| 3040k| 61 |251842 | 0.0 | 57M| 92 | - |1000 | 15k| 0 | 0 | 19k|3708 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1650.40/1650.93 c 1651s| 3050k| 58 |251842 | 0.0 | 57M| 92 | - |1000 | 15k| 0 | 0 | 19k|3715 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1652.80/1653.33 c 1653s| 3060k| 58 |251842 | 0.0 | 57M| 92 | - |1000 | 15k| 0 | 0 | 19k|3729 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1655.10/1655.68 c 1656s| 3070k| 64 |251842 | 0.0 | 57M| 92 | - |1000 | 15k| 0 | 0 | 19k|3738 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1657.50/1658.03 c 1658s| 3080k| 61 |251842 | 0.0 | 57M| 92 | - |1000 | 15k| 0 | 0 | 19k|3747 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1659.90/1660.42 c 1660s| 3090k| 58 |251842 | 0.0 | 57M| 92 | - |1000 | 15k| 0 | 0 | 19k|3755 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1662.29/1662.82 c 1663s| 3100k| 59 |251842 | 0.0 | 57M| 92 | - |1000 | 15k| 0 | 0 | 19k|3771 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1664.59/1665.16 c 1665s| 3110k| 56 |251842 | 0.0 | 57M| 92 | - |1000 | 15k| 0 | 0 | 19k|3776 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1666.99/1667.58 c 1667s| 3120k| 59 |251842 | 0.0 | 57M| 92 | - |1000 | 15k| 0 | 0 | 19k|3789 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1669.40/1669.95 c 1670s| 3130k| 63 |251842 | 0.0 | 57M| 92 | - |1000 | 15k| 0 | 0 | 19k|3805 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1671.79/1672.33 c 1672s| 3140k| 62 |251842 | 0.0 | 57M| 92 | - |1000 | 15k| 0 | 0 | 19k|3829 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1674.19/1674.70 c 1675s| 3150k| 61 |251842 | 0.0 | 57M| 92 | - |1000 | 15k| 0 | 0 | 19k|3844 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1676.59/1677.10 c 1677s| 3160k| 63 |251842 | 0.0 | 57M| 92 | - |1000 | 15k| 0 | 0 | 19k|3858 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1678.89/1679.48 c 1679s| 3170k| 62 |251842 | 0.0 | 57M| 92 | - |1000 | 15k| 0 | 0 | 19k|3877 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1681.29/1681.88 c 1682s| 3180k| 61 |251842 | 0.0 | 57M| 92 | - |1000 | 15k| 0 | 0 | 19k|3883 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1683.70/1684.29 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1683.70/1684.29 c 1684s| 3190k| 60 |251842 | 0.0 | 57M| 92 | - |1000 | 15k| 0 | 0 | 19k|3892 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1686.09/1686.67 c 1686s| 3200k| 63 |251842 | 0.0 | 57M| 92 | - |1000 | 15k| 0 | 0 | 19k|3905 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1688.49/1689.08 c 1689s| 3210k| 59 |251842 | 0.0 | 57M| 92 | - |1000 | 15k| 0 | 0 | 19k|3911 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1690.89/1691.47 c 1691s| 3220k| 59 |251842 | 0.0 | 57M| 92 | - |1000 | 15k| 0 | 0 | 19k|3926 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1693.29/1693.86 c 1694s| 3230k| 60 |251842 | 0.0 | 57M| 92 | - |1000 | 15k| 0 | 0 | 19k|3935 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1695.69/1696.28 c 1696s| 3240k| 57 |251842 | 0.0 | 57M| 92 | - |1000 | 15k| 0 | 0 | 19k|3947 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1698.08/1698.63 c 1698s| 3250k| 62 |251842 | 0.0 | 57M| 92 | - |1000 | 15k| 0 | 0 | 19k|3962 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1700.58/1701.17 c 1701s| 3260k| 61 |251842 | 0.0 | 57M| 92 | - |1000 | 15k| 0 | 0 | 19k|3967 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1703.08/1703.63 c 1703s| 3270k| 62 |251842 | 0.0 | 57M| 92 | - |1000 | 15k| 0 | 0 | 19k|3971 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1705.59/1706.10 c 1706s| 3280k| 63 |251842 | 0.0 | 57M| 92 | - |1000 | 15k| 0 | 0 | 19k|3981 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1707.98/1708.53 c 1708s| 3290k| 60 |251842 | 0.0 | 57M| 92 | - |1000 | 15k| 0 | 0 | 19k|3991 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1710.38/1710.98 c 1711s| 3300k| 61 |251842 | 0.0 | 57M| 92 | - |1000 | 15k| 0 | 0 | 19k|4002 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1712.88/1713.45 c 1713s| 3310k| 60 |251842 | 0.0 | 57M| 92 | - |1000 | 15k| 0 | 0 | 19k|4009 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1715.38/1715.92 c 1716s| 3320k| 63 |251842 | 0.0 | 57M| 92 | - |1000 | 15k| 0 | 0 | 19k|4017 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1717.88/1718.40 c 1718s| 3330k| 63 |251842 | 0.0 | 57M| 92 | - |1000 | 15k| 0 | 0 | 19k|4023 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1720.28/1720.88 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1720.28/1720.88 c 1721s| 3340k| 61 |251842 | 0.0 | 57M| 92 | - |1000 | 15k| 0 | 0 | 19k|4032 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1722.88/1723.48 c 1723s| 3350k| 59 |251842 | 0.0 | 57M| 92 | - |1000 | 15k| 0 | 0 | 19k|4034 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1725.48/1726.00 c 1726s| 3360k| 61 |251842 | 0.0 | 57M| 92 | - |1000 | 15k| 0 | 0 | 19k|4037 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1728.37/1728.91 c 1729s| 3370k| 61 |251842 | 0.0 | 57M| 92 | - |1000 | 15k| 0 | 0 | 19k|4050 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1731.07/1731.61 c 1731s| 3380k| 61 |251842 | 0.0 | 57M| 92 | - |1000 | 15k| 0 | 0 | 19k|4055 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1733.67/1734.29 c 1734s| 3390k| 63 |251842 | 0.0 | 57M| 92 | - |1000 | 15k| 0 | 0 | 19k|4065 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1736.48/1737.01 c 1737s| 3400k| 58 |251842 | 0.0 | 57M| 92 | - |1000 | 15k| 0 | 0 | 19k|4073 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1739.07/1739.62 c 1739s| 3410k| 59 |251842 | 0.0 | 57M| 92 | - |1000 | 15k| 0 | 0 | 19k|4080 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1741.77/1742.31 c 1742s| 3420k| 60 |251842 | 0.0 | 57M| 92 | - |1000 | 15k| 0 | 0 | 19k|4093 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1744.08/1744.70 c 1745s| 3430k| 59 |251842 | 0.0 | 57M| 92 | - |1000 | 15k| 0 | 0 | 19k|4099 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1746.57/1747.10 c 1747s| 3440k| 60 |251842 | 0.0 | 57M| 92 | - |1000 | 15k| 0 | 0 | 19k|4109 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1748.87/1749.49 c 1749s| 3450k| 57 |251842 | 0.0 | 57M| 92 | - |1000 | 15k| 0 | 0 | 19k|4117 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1751.37/1751.94 c 1752s| 3460k| 59 |251842 | 0.0 | 57M| 92 | - |1000 | 15k| 0 | 0 | 19k|4130 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1753.77/1754.31 c 1754s| 3470k| 57 |251842 | 0.0 | 57M| 92 | - |1000 | 15k| 0 | 0 | 19k|4140 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1756.07/1756.66 c 1756s| 3480k| 62 |251842 | 0.0 | 57M| 92 | - |1000 | 15k| 0 | 0 | 19k|4149 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1758.37/1758.98 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1758.37/1758.98 c 1759s| 3490k| 61 |251842 | 0.0 | 57M| 92 | - |1000 | 15k| 0 | 0 | 19k|4169 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1760.77/1761.36 c 1761s| 3500k| 62 |251842 | 0.0 | 57M| 92 | - |1000 | 15k| 0 | 0 | 19k|4181 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1763.27/1763.80 c 1764s| 3510k| 62 |251842 | 0.0 | 57M| 92 | - |1000 | 15k| 0 | 0 | 19k|4192 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1765.56/1766.18 c 1766s| 3520k| 64 |251842 | 0.0 | 57M| 92 | - |1000 | 15k| 0 | 0 | 19k|4206 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1767.96/1768.57 c 1768s| 3530k| 58 |251842 | 0.0 | 57M| 92 | - |1000 | 15k| 0 | 0 | 19k|4221 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1770.36/1770.96 c 1771s| 3540k| 62 |251842 | 0.0 | 57M| 92 | - |1000 | 15k| 0 | 0 | 19k|4235 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1772.77/1773.33 c 1773s| 3550k| 61 |251842 | 0.0 | 57M| 92 | - |1000 | 15k| 0 | 0 | 19k|4249 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1775.16/1775.74 c 1776s| 3560k| 61 |251842 | 0.0 | 57M| 92 | - |1000 | 15k| 0 | 0 | 19k|4259 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1777.56/1778.13 c 1778s| 3570k| 63 |251842 | 0.0 | 57M| 92 | - |1000 | 15k| 0 | 0 | 19k|4270 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1779.96/1780.53 c 1780s| 3580k| 61 |251842 | 0.0 | 57M| 92 | - |1000 | 15k| 0 | 0 | 19k|4280 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1782.36/1782.95 c 1783s| 3590k| 62 |251842 | 0.0 | 57M| 92 | - |1000 | 15k| 0 | 0 | 19k|4303 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1784.77/1785.33 c 1785s| 3600k| 62 |251842 | 0.0 | 57M| 92 | - |1000 | 15k| 0 | 0 | 19k|4315 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1787.16/1787.77 c 1788s| 3610k| 61 |251842 | 0.0 | 57M| 92 | - |1000 | 15k| 0 | 0 | 19k|4325 | 33 |-3.230000e+02 |-1.010000e+02 | 68.73%
1789.46/1790.01 c
1789.46/1790.01 c SCIP Status : solving was interrupted [time limit reached]
1789.46/1790.01 c Solving Time (sec) : 1789.83
1789.46/1790.01 c Solving Nodes : 3619402
1789.46/1790.01 c Primal Bound : -1.01000000000000e+02 (66 solutions)
1789.46/1790.01 c Dual Bound : -3.22999999999999e+02
1789.46/1790.01 c Gap : 68.73 %
1789.46/1790.05 s SATISFIABLE
1789.46/1790.05 v x1000 x999 -x998 -x997 -x996 -x995 -x994 -x993 -x992 -x991 -x990 -x989 -x988 -x987 -x986 -x985 -x984 -x983 -x982 -x981 -x980 -x979
1789.46/1790.05 v -x978 -x977 -x976 -x975 -x974 -x973 -x972 -x971 -x970 -x969 -x968 -x967 -x966 -x965 -x964 -x963 -x962 -x961 -x960 -x959 -x958
1789.46/1790.05 v -x957 -x956 -x955 -x954 -x953 -x952 -x951 -x950 -x949 -x948 -x947 -x946 -x945 -x944 -x943 -x942 -x941 -x940 -x939 -x938
1789.46/1790.05 v -x937 -x936 -x935 -x934 -x933 -x932 -x931 -x930 x929 -x928 -x927 -x926 -x925 -x924 -x923 x922 -x921 -x920 -x919 -x918 -x917 -x916
1789.46/1790.05 v -x915 -x914 -x913 -x912 -x911 x910 -x909 -x908 -x907 -x906 -x905 -x904 -x903 -x902 -x901 -x900 -x899 x898 -x897 -x896 -x895
1789.46/1790.05 v -x894 -x893 -x892 -x891 -x890 -x889 -x888 -x887 -x886 x885 -x884 -x883 -x882 -x881 -x880 -x879 -x878 -x877 -x876 -x875 -x874
1789.46/1790.05 v -x873 -x872 -x871 -x870 -x869 -x868 -x867 -x866 -x865 -x864 -x863 x862 -x861 x860 -x859 -x858 -x857 -x856 -x855 -x854 x853
1789.46/1790.05 v -x852 -x851 -x850 -x849 -x848 x847 -x846 -x845 -x844 -x843 -x842 -x841 -x840 -x839 -x838 -x837 -x836 -x835 -x834 -x833 -x832
1789.46/1790.05 v x831 -x830 -x829 -x828 x827 -x826 -x825 -x824 -x823 -x822 -x821 -x820 -x819 -x818 -x817 -x816 -x815 -x814 -x813 -x812 -x811
1789.46/1790.05 v x810 -x809 -x808 -x807 -x806 -x805 -x804 x803 -x802 -x801 -x800 -x799 -x798 -x797 -x796 -x795 -x794 -x793 -x792 -x791 -x790
1789.46/1790.05 v -x789 -x788 -x787 -x786 -x785 -x784 -x783 -x782 -x781 -x780 -x779 x778 -x777 x776 -x775 -x774 -x773 -x772 -x771 -x770 -x769 x768
1789.46/1790.05 v -x767 -x766 -x765 -x764 -x763 -x762 -x761 x760 -x759 -x758 -x757 -x756 -x755 -x754 -x753 x752 -x751 -x750 -x749 -x748 -x747
1789.46/1790.05 v -x746 -x745 -x744 -x743 -x742 x741 -x740 -x739 -x738 -x737 -x736 -x735 -x734 -x733 -x732 -x731 -x730 -x729 -x728 -x727 -x726
1789.46/1790.05 v -x725 -x724 -x723 -x722 -x721 -x720 -x719 -x718 -x717 -x716 -x715 -x714 -x713 -x712 -x711 -x710 -x709 -x708 -x707 -x706 -x705
1789.46/1790.05 v -x704 -x703 -x702 -x701 -x700 -x699 -x698 -x697 -x696 -x695 -x694 -x693 -x692 -x691 -x690 -x689 -x688 -x687 -x686 -x685 -x684
1789.46/1790.05 v -x683 -x682 -x681 -x680 -x679 -x678 -x677 -x676 -x675 -x674 -x673 -x672 -x671 -x670 -x669 -x668 -x667 -x666 -x665 -x664
1789.46/1790.05 v -x663 -x662 -x661 -x660 x659 -x658 -x657 -x656 -x655 x654 -x653 -x652 -x651 -x650 -x649 -x648 -x647 -x646 -x645 -x644 -x643 -x642
1789.46/1790.05 v -x641 -x640 -x639 -x638 -x637 -x636 -x635 -x634 -x633 -x632 -x631 -x630 -x629 x628 -x627 -x626 -x625 -x624 x623 -x622 -x621
1789.46/1790.05 v -x620 -x619 -x618 -x617 -x616 -x615 -x614 -x613 -x612 -x611 -x610 -x609 -x608 -x607 -x606 -x605 -x604 -x603 -x602 -x601 -x600
1789.46/1790.05 v -x599 -x598 -x597 -x596 -x595 -x594 -x593 -x592 -x591 -x590 -x589 -x588 -x587 -x586 -x585 -x584 -x583 x582 -x581 -x580 -x579
1789.46/1790.05 v -x578 -x577 -x576 -x575 -x574 x573 -x572 -x571 -x570 -x569 -x568 -x567 -x566 x565 -x564 -x563 -x562 -x561 x560 -x559 -x558
1789.46/1790.05 v -x557 -x556 -x555 -x554 -x553 -x552 -x551 -x550 -x549 x548 -x547 -x546 -x545 -x544 -x543 x542 -x541 -x540 -x539 -x538 -x537
1789.46/1790.05 v -x536 -x535 -x534 -x533 -x532 -x531 -x530 -x529 -x528 -x527 -x526 -x525 -x524 x523 -x522 -x521 -x520 -x519 -x518 -x517 -x516
1789.46/1790.05 v -x515 -x514 -x513 x512 -x511 -x510 -x509 -x508 x507 -x506 x505 -x504 -x503 -x502 -x501 -x500 -x499 -x498 -x497 -x496 -x495
1789.46/1790.05 v -x494 -x493 -x492 -x491 -x490 -x489 -x488 -x487 -x486 -x485 -x484 -x483 -x482 -x481 -x480 -x479 -x478 -x477 -x476 -x475 -x474
1789.46/1790.05 v -x473 -x472 x471 -x470 -x469 -x468 -x467 -x466 -x465 -x464 x463 -x462 -x461 -x460 -x459 -x458 -x457 -x456 -x455 -x454 -x453
1789.46/1790.05 v -x452 -x451 x450 -x449 -x448 x447 -x446 -x445 -x444 -x443 -x442 -x441 -x440 -x439 -x438 -x437 -x436 -x435 -x434 -x433 -x432 -x431
1789.46/1790.05 v -x430 -x429 -x428 -x427 -x426 -x425 -x424 -x423 -x422 -x421 -x420 -x419 -x418 -x417 -x416 -x415 -x414 -x413 -x412 -x411
1789.46/1790.05 v -x410 -x409 -x408 -x407 -x406 -x405 -x404 -x403 x402 -x401 -x400 -x399 -x398 -x397 -x396 x395 -x394 -x393 -x392 -x391 -x390 -x389
1789.46/1790.05 v -x388 -x387 -x386 -x385 -x384 -x383 -x382 -x381 -x380 -x379 -x378 -x377 -x376 -x375 -x374 x373 -x372 -x371 -x370 -x369 -x368
1789.46/1790.05 v -x367 -x366 -x365 -x364 -x363 -x362 -x361 -x360 -x359 -x358 -x357 -x356 -x355 -x354 -x353 -x352 -x351 -x350 -x349 -x348
1789.46/1790.05 v -x347 -x346 -x345 -x344 -x343 -x342 -x341 -x340 -x339 -x338 -x337 -x336 -x335 -x334 -x333 -x332 -x331 -x330 -x329 -x328 -x327
1789.46/1790.05 v -x326 -x325 -x324 -x323 x322 -x321 -x320 x319 -x318 -x317 -x316 -x315 -x314 -x313 -x312 x311 -x310 -x309 x308 -x307 -x306 -x305
1789.46/1790.05 v -x304 -x303 -x302 -x301 -x300 -x299 -x298 -x297 -x296 -x295 -x294 -x293 -x292 -x291 -x290 -x289 -x288 -x287 -x286 -x285 x284
1789.46/1790.05 v -x283 -x282 -x281 -x280 -x279 -x278 -x277 -x276 -x275 -x274 -x273 x272 -x271 -x270 -x269 -x268 -x267 -x266 -x265 -x264 -x263
1789.46/1790.05 v -x262 -x261 x260 -x259 -x258 -x257 -x256 -x255 -x254 -x253 -x252 -x251 -x250 x249 -x248 -x247 -x246 -x245 -x244 -x243 -x242
1789.46/1790.05 v x241 -x240 -x239 -x238 x237 -x236 -x235 -x234 -x233 x232 -x231 -x230 -x229 -x228 -x227 -x226 -x225 -x224 -x223 -x222 -x221
1789.46/1790.05 v -x220 -x219 -x218 -x217 -x216 -x215 -x214 -x213 -x212 -x211 -x210 -x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200
1789.46/1790.05 v -x199 -x198 -x197 -x196 x195 -x194 -x193 -x192 x191 x190 -x189 -x188 -x187 x186 -x185 -x184 -x183 -x182 x181 -x180 -x179 -x178
1789.46/1790.05 v -x177 -x176 -x175 -x174 x173 -x172 x171 -x170 -x169 -x168 -x167 -x166 -x165 -x164 -x163 x162 -x161 -x160 -x159 -x158 -x157
1789.46/1790.05 v -x156 -x155 x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147 -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136
1789.46/1790.05 v x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126 -x125 x124 -x123 -x122 -x121 x120 -x119 -x118 -x117 -x116 -x115
1789.46/1790.05 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
1789.46/1790.05 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
1789.46/1790.05 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
1789.46/1790.05 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
1789.46/1790.05 v -x11 -x10 x9 x8 x7 -x6 -x5 x4 x3 x2 x1
1789.46/1790.05 c SCIP Status : solving was interrupted [time limit reached]
1789.46/1790.05 c Solving Time : 1789.83
1789.46/1790.05 c Original Problem :
1789.46/1790.05 c Problem name : HOME/instance-2703252-1278569262.opb
1789.46/1790.05 c Variables : 16795 (16795 binary, 0 integer, 0 implicit integer, 0 continuous)
1789.46/1790.05 c Constraints : 16795 initial, 16795 maximal
1789.46/1790.05 c Presolved Problem :
1789.46/1790.05 c Problem name : t_HOME/instance-2703252-1278569262.opb
1789.46/1790.05 c Variables : 1000 (1000 binary, 0 integer, 0 implicit integer, 0 continuous)
1789.46/1790.05 c Constraints : 15795 initial, 15799 maximal
1789.46/1790.05 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1789.46/1790.05 c trivial : 0.00 0 0 0 0 0 0 0 0
1789.46/1790.05 c dualfix : 0.00 0 0 0 0 0 0 0 0
1789.46/1790.05 c boundshift : 0.00 0 0 0 0 0 0 0 0
1789.46/1790.05 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1789.46/1790.05 c implics : 0.00 0 0 0 0 0 0 0 0
1789.46/1790.05 c probing : 0.09 0 0 0 0 0 0 0 0
1789.46/1790.05 c linear : 0.10 15795 0 0 15795 0 1000 0 0
1789.46/1790.05 c logicor : 0.04 0 0 0 0 0 0 0 0
1789.46/1790.05 c root node : - 0 - - 0 - - - -
1789.46/1790.05 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1789.46/1790.05 c integral : 0 0 0 1 0 0 0 0 0 2
1789.46/1790.05 c logicor : 15795+ 203 3993300 0 0 12602 6313232 18207 0 0
1789.46/1790.05 c countsols : 0 0 0 0 0 0 0 0 0 0
1789.46/1790.05 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1789.46/1790.05 c integral : 56.30 0.00 0.00 56.30 0.00
1789.46/1790.05 c logicor : 71.86 0.82 71.04 0.00 0.00
1789.46/1790.05 c countsols : 0.00 0.00 0.00 0.00 0.00
1789.46/1790.05 c Propagators : Time Calls Cutoffs DomReds
1789.46/1790.05 c vbounds : 2.09 2 0 0
1789.46/1790.05 c rootredcost : 2.24 0 0 0
1789.46/1790.05 c pseudoobj : 594.86 6726775 1779195 7044111
1789.46/1790.05 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1789.46/1790.05 c propagation : 10.80 12602 4335 4335 71.4 0 0.0 -
1789.46/1790.05 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1789.46/1790.05 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1789.46/1790.05 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1789.46/1790.05 c pseudo solution : 26.47 18433 0 0 0.0 0 0.0 -
1789.46/1790.05 c applied globally : - - - 4335 71.4 - - -
1789.46/1790.05 c applied locally : - - - 0 0.0 - - -
1789.46/1790.05 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1789.46/1790.05 c cut pool : 1.93 202 - - 5819 - (maximal pool size: 17004)
1789.46/1790.05 c redcost : 0.01 203 0 0 0 0
1789.46/1790.05 c impliedbounds : 0.52 203 0 0 29418 0
1789.46/1790.05 c intobj : 0.00 0 0 0 0 0
1789.46/1790.05 c cgmip : 0.00 0 0 0 0 0
1789.46/1790.05 c gomory : 480.81 200 0 0 65288 0
1789.46/1790.05 c strongcg : 2.34 20 0 0 10000 0
1789.46/1790.05 c cmir : 1.05 10 0 0 0 0
1789.46/1790.05 c flowcover : 0.80 10 0 0 0 0
1789.46/1790.05 c clique : 6.08 200 0 0 1684 0
1789.46/1790.05 c zerohalf : 0.00 0 0 0 0 0
1789.46/1790.05 c mcf : 0.02 1 0 0 0 0
1789.46/1790.05 c rapidlearning : 0.00 0 0 0 0 0
1789.46/1790.05 c Pricers : Time Calls Vars
1789.46/1790.05 c problem variables: 0.00 0 0
1789.46/1790.05 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1789.46/1790.05 c relpscost : 56.30 1 0 0 0 0 2
1789.46/1790.05 c pscost : 0.00 0 0 0 0 0 0
1789.46/1790.05 c inference : 23.00 1811142 0 0 0 0 3622284
1789.46/1790.05 c mostinf : 0.00 0 0 0 0 0 0
1789.46/1790.05 c leastinf : 0.00 0 0 0 0 0 0
1789.46/1790.05 c fullstrong : 0.00 0 0 0 0 0 0
1789.46/1790.05 c allfullstrong : 0.00 0 0 0 0 0 0
1789.46/1790.05 c random : 0.00 0 0 0 0 0 0
1789.46/1790.05 c Primal Heuristics : Time Calls Found
1789.46/1790.05 c LP solutions : 0.00 - 0
1789.46/1790.05 c pseudo solutions : 0.00 - 0
1789.46/1790.05 c crossover : 0.00 0 0
1789.46/1790.05 c oneopt : 1.31 2 1
1789.46/1790.05 c trivial : 0.04 2 2
1789.46/1790.05 c simplerounding : 0.31 203 61
1789.46/1790.05 c zirounding : 0.00 1 0
1789.46/1790.05 c rounding : 13.27 203 1
1789.46/1790.05 c shifting : 14.12 203 1
1789.46/1790.05 c intshifting : 0.00 0 0
1789.46/1790.05 c twoopt : 0.00 0 0
1789.46/1790.05 c fixandinfer : 0.00 0 0
1789.46/1790.05 c feaspump : 0.00 0 0
1789.46/1790.05 c coefdiving : 0.00 0 0
1789.46/1790.05 c pscostdiving : 0.00 0 0
1789.46/1790.05 c fracdiving : 0.00 0 0
1789.46/1790.05 c veclendiving : 0.00 0 0
1789.46/1790.05 c intdiving : 0.00 0 0
1789.46/1790.05 c actconsdiving : 0.00 0 0
1789.46/1790.05 c objpscostdiving : 0.00 0 0
1789.46/1790.05 c rootsoldiving : 0.00 0 0
1789.46/1790.05 c linesearchdiving : 0.00 0 0
1789.46/1790.05 c guideddiving : 0.00 0 0
1789.46/1790.05 c octane : 0.00 0 0
1789.46/1790.05 c rens : 0.01 0 0
1789.46/1790.05 c rins : 0.00 0 0
1789.46/1790.05 c localbranching : 0.00 0 0
1789.46/1790.05 c mutation : 0.00 0 0
1789.46/1790.05 c dins : 0.00 0 0
1789.46/1790.05 c undercover : 0.00 0 0
1789.46/1790.05 c nlp : 1.02 0 0
1789.46/1790.05 c trysol : 0.92 0 0
1789.46/1790.05 c LP : Time Calls Iterations Iter/call Iter/sec
1789.46/1790.05 c primal LP : 0.29 0 0 0.00 0.00
1789.46/1790.05 c dual LP : 328.39 203 251842 1240.60 766.90
1789.46/1790.05 c lex dual LP : 0.00 0 0 0.00 -
1789.46/1790.05 c barrier LP : 0.00 0 0 0.00 -
1789.46/1790.05 c diving/probing LP: 0.00 0 0 0.00 -
1789.46/1790.05 c strong branching : 56.30 33 31004 939.52 550.72
1789.46/1790.05 c (at root node) : - 33 31004 939.52 -
1789.46/1790.05 c conflict analysis: 0.00 0 0 0.00 -
1789.46/1790.05 c B&B Tree :
1789.46/1790.05 c number of runs : 1
1789.46/1790.05 c nodes : 3619402
1789.46/1790.05 c nodes (total) : 3619402
1789.46/1790.05 c nodes left : 61
1789.46/1790.05 c max depth : 92
1789.46/1790.05 c max depth (total): 92
1789.46/1790.05 c backtracks : 858137 (23.7%)
1789.46/1790.05 c delayed cutoffs : 2708
1789.46/1790.05 c repropagations : 3056 (16739 domain reductions, 1971 cutoffs)
1789.46/1790.05 c avg switch length: 2.00
1789.46/1790.05 c switching time : 65.35
1789.46/1790.05 c Solution :
1789.46/1790.05 c Solutions found : 66 (4 improvements)
1789.46/1790.05 c First Solution : +0.00000000000000e+00 (in run 1, after 0 nodes, 0.17 seconds, depth 0, found by <trivial>)
1789.46/1790.05 c Primal Bound : -1.01000000000000e+02 (in run 1, after 1 nodes, 2.30 seconds, depth 0, found by <oneopt>)
1789.46/1790.05 c Dual Bound : -3.22999999999999e+02
1789.46/1790.05 c Gap : 68.73 %
1789.46/1790.05 c Root Dual Bound : -3.22999999999999e+02
1789.46/1790.05 c Root Iterations : 251842
1789.56/1790.19 c Time complete: 1789.65.