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-3737305-1338711302.opb>
0.09/0.19 c original problem has 38742 variables (38742 bin, 0 int, 0 impl, 0 cont) and 38742 constraints
0.09/0.19 c problem read
0.09/0.19 c presolving settings loaded
0.28/0.37 o 0
0.28/0.37 c feasible solution found by trivial heuristic, objective value 0.000000e+00
0.28/0.37 c presolving:
0.69/0.79 c (round 1) 37742 del vars, 1000 del conss, 37742 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 150968 impls, 0 clqs
1.00/1.04 c (0.8s) probing: 101/1000 (10.1%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
1.00/1.04 c (0.8s) probing aborted: 100/100 successive totally useless probings
1.00/1.04 c presolving (2 rounds):
1.00/1.04 c 37742 deleted vars, 1000 deleted constraints, 37742 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
1.00/1.04 c 226452 implications, 0 cliques
1.00/1.04 c presolved problem has 1000 variables (1000 bin, 0 int, 0 impl, 0 cont) and 37742 constraints
1.00/1.04 c 37742 constraints of type <logicor>
1.00/1.04 c transformed objective value is always integral (scale: 1)
1.00/1.04 c Presolving Time: 0.74
1.00/1.04 c - non default parameters ----------------------------------------------------------------------
1.00/1.04 c # SCIP version 1.2.1.3
1.00/1.04 c
1.00/1.04 c # maximal number of intermediate conflict constraints generated in conflict graph (-1: use every intermediate constraint)
1.00/1.04 c # [type: int, range: [-1,2147483647], default: -1]
1.00/1.04 c conflict/interconss = 0
1.00/1.04 c
1.00/1.04 c # should binary conflicts be preferred?
1.00/1.04 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.00/1.04 c conflict/preferbinary = TRUE
1.00/1.04 c
1.00/1.04 c # maximum age an unnecessary constraint can reach before it is deleted (0: dynamic, -1: keep all constraints)
1.00/1.04 c # [type: int, range: [-1,2147483647], default: 0]
1.00/1.04 c constraints/agelimit = 1
1.00/1.04 c
1.00/1.04 c # should enforcement of pseudo solution be disabled?
1.00/1.04 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.00/1.04 c constraints/disableenfops = TRUE
1.00/1.04 c
1.00/1.04 c # frequency for displaying node information lines
1.00/1.04 c # [type: int, range: [-1,2147483647], default: 100]
1.00/1.04 c display/freq = 10000
1.00/1.04 c
1.00/1.04 c # maximal time in seconds to run
1.00/1.04 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1.00/1.04 c limits/time = 1789.82
1.00/1.04 c
1.00/1.04 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1.00/1.04 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1.00/1.04 c limits/memory = 13950
1.00/1.04 c
1.00/1.04 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
1.00/1.04 c # [type: int, range: [-1,2147483647], default: 1]
1.00/1.04 c lp/solvefreq = 0
1.00/1.04 c
1.00/1.04 c # LP pricing strategy ('l'pi default, 'a'uto, 'f'ull pricing, 'p'artial, 's'teepest edge pricing, 'q'uickstart steepest edge pricing, 'd'evex pricing)
1.00/1.04 c # [type: char, range: {lafpsqd}, default: l]
1.00/1.04 c lp/pricing = a
1.00/1.04 c
1.00/1.04 c # default clock type (1: CPU user seconds, 2: wall clock time)
1.00/1.04 c # [type: int, range: [1,2], default: 1]
1.00/1.04 c timing/clocktype = 2
1.00/1.04 c
1.00/1.04 c # should presolving try to simplify inequalities
1.00/1.04 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.00/1.04 c constraints/linear/simplifyinequalities = TRUE
1.00/1.04 c
1.00/1.04 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
1.00/1.04 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.00/1.04 c constraints/indicator/addCouplingCons = TRUE
1.00/1.04 c
1.00/1.04 c # should presolving try to simplify knapsacks
1.00/1.04 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.00/1.04 c constraints/knapsack/simplifyinequalities = TRUE
1.00/1.04 c
1.00/1.04 c # priority of node selection rule <dfs> in standard mode
1.00/1.04 c # [type: int, range: [-536870912,536870911], default: 0]
1.00/1.04 c nodeselection/dfs/stdpriority = 1000000
1.00/1.04 c
1.00/1.04 c -----------------------------------------------------------------------------------------------
1.00/1.04 c start solving
1.00/1.04 c
1.49/1.57 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1.49/1.57 c t 1.4s| 1 | 0 | 1036 | - | 101M| 0 |1000 |1000 | 37k|1000 | 37k| 0 | 0 | 0 |-5.000000e+02 | 0.000000e+00 | 100.00%
1.59/1.61 o -1
1.59/1.61 c R 1.4s| 1 | 0 | 1036 | - | 101M| 0 |1000 |1000 | 37k|1000 | 37k| 0 | 0 | 0 |-5.000000e+02 |-1.000000e+00 | 99.80%
1.59/1.65 o -2
1.59/1.65 c s 1.5s| 1 | 0 | 1036 | - | 101M| 0 |1000 |1000 | 37k|1000 | 37k| 0 | 0 | 0 |-5.000000e+02 |-2.000000e+00 | 99.60%
2.39/2.45 c 2.3s| 1 | 0 | 1215 | - | 101M| 0 | 991 |1000 | 37k|1000 | 37k| 7 | 0 | 0 |-4.955000e+02 |-2.000000e+00 | 99.60%
2.39/2.46 o -53
2.39/2.46 c b 2.3s| 1 | 0 | 1215 | - | 101M| 0 | 991 |1000 | 37k|1000 | 37k| 7 | 0 | 0 |-4.955000e+02 |-5.300000e+01 | 89.30%
3.19/3.25 c 3.1s| 1 | 0 | 1323 | - | 101M| 0 | 982 |1000 | 37k|1000 | 37k| 14 | 0 | 0 |-4.910000e+02 |-5.300000e+01 | 89.21%
3.98/4.09 c 3.9s| 1 | 0 | 1442 | - | 101M| 0 | 976 |1000 | 37k|1000 | 37k| 19 | 0 | 0 |-4.880000e+02 |-5.300000e+01 | 89.14%
4.99/5.01 c 4.8s| 1 | 0 | 1625 | - | 101M| 0 | 966 |1000 | 37k|1000 | 37k| 30 | 0 | 0 |-4.830000e+02 |-5.300000e+01 | 89.03%
5.89/5.95 c 5.8s| 1 | 0 | 1771 | - | 101M| 0 | 959 |1000 | 37k|1000 | 37k| 37 | 0 | 0 |-4.795000e+02 |-5.300000e+01 | 88.95%
6.98/7.04 c 6.8s| 1 | 0 | 1956 | - | 101M| 0 | 946 |1000 | 37k|1000 | 37k| 53 | 0 | 0 |-4.730000e+02 |-5.300000e+01 | 88.79%
8.18/8.27 c 8.1s| 1 | 0 | 2158 | - | 102M| 0 | 938 |1000 | 37k|1000 | 37k| 61 | 0 | 0 |-4.690000e+02 |-5.300000e+01 | 88.70%
9.48/9.57 c 9.4s| 1 | 0 | 2430 | - | 102M| 0 | 931 |1000 | 37k|1000 | 37k| 67 | 0 | 0 |-4.655000e+02 |-5.300000e+01 | 88.61%
10.88/10.93 c 10.7s| 1 | 0 | 2685 | - | 102M| 0 | 926 |1000 | 37k|1000 | 37k| 73 | 0 | 0 |-4.630000e+02 |-5.300000e+01 | 88.55%
12.28/12.35 c 12.2s| 1 | 0 | 2992 | - | 102M| 0 | 922 |1000 | 37k|1000 | 37k| 79 | 0 | 0 |-4.605000e+02 |-5.300000e+01 | 88.49%
13.78/13.84 c 13.6s| 1 | 0 | 3544 | - | 102M| 0 | 915 |1000 | 37k|1000 |1394 | 87 | 0 | 0 |-4.575000e+02 |-5.300000e+01 | 88.42%
13.98/14.05 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
13.98/14.05 c 13.9s| 1 | 0 | 3843 | - | 102M| 0 | 856 |1000 | 37k|1000 |1400 | 93 | 0 | 0 |-4.560000e+02 |-5.300000e+01 | 88.38%
14.29/14.34 c 14.1s| 1 | 0 | 4082 | - | 103M| 0 | 911 |1000 | 37k|1000 |3183 |1876 | 0 | 0 |-4.555000e+02 |-5.300000e+01 | 88.36%
14.58/14.61 c 14.4s| 1 | 0 | 4577 | - | 103M| 0 | 901 |1000 | 37k|1000 |3188 |1881 | 0 | 0 |-4.525000e+02 |-5.300000e+01 | 88.29%
14.78/14.84 c 14.6s| 1 | 0 | 4864 | - | 103M| 0 | 882 |1000 | 37k|1000 |3302 |1995 | 0 | 0 |-4.500000e+02 |-5.300000e+01 | 88.22%
15.08/15.11 c 14.9s| 1 | 0 | 5240 | - | 103M| 0 | 894 |1000 | 37k|1000 |3857 |2550 | 0 | 0 |-4.470000e+02 |-5.300000e+01 | 88.14%
15.29/15.36 c 15.2s| 1 | 0 | 5633 | - | 103M| 0 | 892 |1000 | 37k|1000 |3408 |2557 | 0 | 0 |-4.456667e+02 |-5.300000e+01 | 88.11%
15.48/15.56 c 15.4s| 1 | 0 | 5800 | - | 103M| 0 | 888 |1000 | 37k|1000 |3414 |2563 | 0 | 0 |-4.450000e+02 |-5.300000e+01 | 88.09%
15.78/15.81 c 15.6s| 1 | 0 | 6100 | - | 103M| 0 | 886 |1000 | 37k|1000 |3471 |2620 | 0 | 0 |-4.440000e+02 |-5.300000e+01 | 88.06%
15.98/16.07 c 15.9s| 1 | 0 | 6549 | - | 103M| 0 | 880 |1000 | 37k|1000 |3527 |2676 | 0 | 0 |-4.420000e+02 |-5.300000e+01 | 88.01%
16.38/16.42 c 16.2s| 1 | 0 | 7274 | - | 103M| 0 | 903 |1000 | 37k|1000 |3720 |2869 | 0 | 0 |-4.387857e+02 |-5.300000e+01 | 87.92%
17.28/17.38 c 17.2s| 1 | 0 | 7748 | - | 103M| 0 | 875 |1000 | 37k|1000 |5720 |4869 | 0 | 0 |-4.367500e+02 |-5.300000e+01 | 87.86%
17.58/17.66 c 17.5s| 1 | 0 | 8240 | - | 103M| 0 | 870 |1000 | 37k|1000 |3925 |4879 | 0 | 0 |-4.342500e+02 |-5.300000e+01 | 87.80%
17.78/17.88 c 17.7s| 1 | 0 | 8541 | - | 103M| 0 | 868 |1000 | 37k|1000 |3977 |4931 | 0 | 0 |-4.327500e+02 |-5.300000e+01 | 87.75%
18.08/18.15 c 18.0s| 1 | 0 | 9081 | - | 103M| 0 | 854 |1000 | 37k|1000 |4095 |5049 | 0 | 0 |-4.307500e+02 |-5.300000e+01 | 87.70%
18.38/18.43 c 18.2s| 1 | 0 | 9590 | - | 104M| 0 | 843 |1000 | 37k|1000 |4430 |5384 | 0 | 0 |-4.287500e+02 |-5.300000e+01 | 87.64%
18.69/18.78 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
18.69/18.78 c 18.6s| 1 | 0 | 10149 | - | 104M| 0 | 851 |1000 | 37k|1000 |4907 |5861 | 0 | 0 |-4.262500e+02 |-5.300000e+01 | 87.57%
19.08/19.17 c 19.0s| 1 | 0 | 11004 | - | 104M| 0 | 839 |1000 | 37k|1000 |5021 |5975 | 0 | 0 |-4.242500e+02 |-5.300000e+01 | 87.51%
19.58/19.62 c 19.4s| 1 | 0 | 11968 | - | 104M| 0 | 845 |1000 | 37k|1000 |4572 |6359 | 0 | 0 |-4.222500e+02 |-5.300000e+01 | 87.45%
19.98/20.01 c 19.8s| 1 | 0 | 13020 | - | 104M| 0 | 840 |1000 | 37k|1000 |4797 |6584 | 0 | 0 |-4.187500e+02 |-5.300000e+01 | 87.34%
20.38/20.48 c 20.3s| 1 | 0 | 14301 | - | 105M| 0 | 867 |1000 | 37k|1000 |5080 |6867 | 0 | 0 |-4.165000e+02 |-5.300000e+01 | 87.27%
21.08/21.18 c 21.0s| 1 | 0 | 14728 | - | 105M| 0 | 831 |1000 | 37k|1000 |7080 |8867 | 0 | 0 |-4.155000e+02 |-5.300000e+01 | 87.24%
21.58/21.66 c 21.5s| 1 | 0 | 15506 | - | 105M| 0 | 826 |1000 | 37k|1000 |7086 |8873 | 0 | 0 |-4.130000e+02 |-5.300000e+01 | 87.17%
21.89/21.96 c 21.8s| 1 | 0 | 15895 | - | 105M| 0 | 820 |1000 | 37k|1000 |7091 |8878 | 0 | 0 |-4.112500e+02 |-5.300000e+01 | 87.11%
22.28/22.30 c 22.1s| 1 | 0 | 16434 | - | 105M| 0 | 817 |1000 | 37k|1000 |6675 |9051 | 0 | 0 |-4.077500e+02 |-5.300000e+01 | 87.00%
22.78/22.89 c 22.7s| 1 | 0 | 17493 | - | 105M| 0 | 815 |1000 | 37k|1000 |6854 |9230 | 0 | 0 |-4.047500e+02 |-5.300000e+01 | 86.91%
23.08/23.17 c 23.0s| 1 | 0 | 17832 | - | 105M| 0 | 805 |1000 | 37k|1000 |6861 |9237 | 0 | 0 |-4.035000e+02 |-5.300000e+01 | 86.86%
23.58/23.68 c 23.5s| 1 | 0 | 18652 | - | 105M| 0 | 800 |1000 | 37k|1000 |6936 |9312 | 0 | 0 |-4.010000e+02 |-5.300000e+01 | 86.78%
24.19/24.28 c 24.1s| 1 | 0 | 19775 | - | 105M| 0 | 802 |1000 | 37k|1000 |6997 |9373 | 0 | 0 |-3.982500e+02 |-5.300000e+01 | 86.69%
24.68/24.70 c 24.5s| 1 | 0 | 20414 | - | 105M| 0 | 806 |1000 | 37k|1000 |7045 |9421 | 0 | 0 |-3.965000e+02 |-5.300000e+01 | 86.63%
25.29/25.33 c 25.1s| 1 | 0 | 21462 | - | 105M| 0 | 783 |1000 | 37k|1000 |5763 |9937 | 0 | 0 |-3.935000e+02 |-5.300000e+01 | 86.53%
25.68/25.76 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
25.68/25.76 c 25.6s| 1 | 0 | 22317 | - | 105M| 0 | 809 |1000 | 37k|1000 |5885 | 10k| 0 | 0 |-3.918000e+02 |-5.300000e+01 | 86.47%
25.98/26.09 c 25.9s| 1 | 0 | 22473 | - | 106M| 0 | 783 |1000 | 37k|1000 |7614 | 11k| 0 | 0 |-3.915000e+02 |-5.300000e+01 | 86.46%
26.48/26.51 c 26.3s| 1 | 0 | 23048 | - | 106M| 0 | 778 |1000 | 37k|1000 |7623 | 11k| 0 | 0 |-3.890000e+02 |-5.300000e+01 | 86.38%
26.78/26.83 c 26.6s| 1 | 0 | 23488 | - | 106M| 0 | 774 |1000 | 37k|1000 |7628 | 11k| 0 | 0 |-3.880000e+02 |-5.300000e+01 | 86.34%
27.18/27.22 c 27.0s| 1 | 0 | 24063 | - | 106M| 0 | 771 |1000 | 37k|1000 |7691 | 11k| 0 | 0 |-3.855000e+02 |-5.300000e+01 | 86.25%
27.48/27.57 c 27.4s| 1 | 0 | 24584 | - | 106M| 0 | 768 |1000 | 37k|1000 |7171 | 11k| 0 | 0 |-3.840000e+02 |-5.300000e+01 | 86.20%
27.78/27.89 c 27.7s| 1 | 0 | 25063 | - | 106M| 0 | 763 |1000 | 37k|1000 |7177 | 11k| 0 | 0 |-3.815000e+02 |-5.300000e+01 | 86.11%
28.18/28.22 c 28.0s| 1 | 0 | 25558 | - | 106M| 0 | 754 |1000 | 37k|1000 |7182 | 11k| 0 | 0 |-3.800000e+02 |-5.300000e+01 | 86.05%
28.48/28.56 c 28.4s| 1 | 0 | 26039 | - | 106M| 0 | 753 |1000 | 37k|1000 |7354 | 12k| 0 | 0 |-3.775000e+02 |-5.300000e+01 | 85.96%
28.78/28.81 c 28.6s| 1 | 0 | 26355 | - | 106M| 0 | 752 |1000 | 37k|1000 |7409 | 12k| 0 | 0 |-3.770000e+02 |-5.300000e+01 | 85.94%
29.08/29.13 c 28.9s| 1 | 0 | 26869 | - | 106M| 0 | 745 |1000 | 37k|1000 |7468 | 12k| 0 | 0 |-3.755000e+02 |-5.300000e+01 | 85.89%
29.48/29.52 c 29.3s| 1 | 0 | 27545 | - | 106M| 0 | 741 |1000 | 37k|1000 |5262 | 12k| 0 | 0 |-3.725000e+02 |-5.300000e+01 | 85.77%
29.69/29.74 c 29.5s| 1 | 0 | 27880 | - | 106M| 0 | 738 |1000 | 37k|1000 |5379 | 12k| 0 | 0 |-3.720000e+02 |-5.300000e+01 | 85.75%
29.98/30.05 c 29.9s| 1 | 0 | 28313 | - | 107M| 0 | 734 |1000 | 37k|1000 |5545 | 12k| 0 | 0 |-3.715000e+02 |-5.300000e+01 | 85.73%
30.28/30.39 c 30.2s| 1 | 0 | 28856 | - | 107M| 0 | 740 |1000 | 37k|1000 |5932 | 12k| 0 | 0 |-3.700000e+02 |-5.300000e+01 | 85.68%
30.68/30.73 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
30.68/30.73 c 30.5s| 1 | 0 | 29475 | - | 107M| 0 | 734 |1000 | 37k|1000 |5938 | 12k| 0 | 0 |-3.695000e+02 |-5.300000e+01 | 85.66%
31.18/31.22 c 31.0s| 1 | 0 | 30334 | - | 107M| 0 | 728 |1000 | 37k|1000 |6097 | 13k| 0 | 0 |-3.690000e+02 |-5.300000e+01 | 85.64%
31.58/31.64 c 31.4s| 1 | 0 | 31205 | - | 107M| 0 | 730 |1000 | 37k|1000 |6190 | 13k| 0 | 0 |-3.670000e+02 |-5.300000e+01 | 85.56%
32.08/32.12 c 31.9s| 1 | 0 | 32183 | - | 107M| 0 | 729 |1000 | 37k|1000 |6282 | 13k| 0 | 0 |-3.655000e+02 |-5.300000e+01 | 85.50%
32.47/32.53 c 32.3s| 1 | 0 | 32950 | - | 107M| 0 | 741 |1000 | 37k|1000 |6367 | 13k| 0 | 0 |-3.650000e+02 |-5.300000e+01 | 85.48%
32.99/33.08 c 32.9s| 1 | 0 | 33972 | - | 107M| 0 | 725 |1000 | 37k|1000 |6646 | 13k| 0 | 0 |-3.635000e+02 |-5.300000e+01 | 85.42%
33.58/33.66 c 33.5s| 1 | 0 | 34971 | - | 107M| 0 | 722 |1000 | 37k|1000 |6697 | 13k| 0 | 0 |-3.625000e+02 |-5.300000e+01 | 85.38%
34.08/34.16 c 34.0s| 1 | 0 | 35820 | - | 108M| 0 | 721 |1000 | 37k|1000 |6840 | 14k| 0 | 0 |-3.615000e+02 |-5.300000e+01 | 85.34%
34.97/35.04 c 34.9s| 1 | 0 | 37343 | - | 108M| 0 | 719 |1000 | 37k|1000 |6365 | 14k| 0 | 0 |-3.595000e+02 |-5.300000e+01 | 85.26%
35.38/35.41 c 35.2s| 1 | 0 | 37913 | - | 108M| 0 | 714 |1000 | 37k|1000 |6376 | 14k| 0 | 0 |-3.590000e+02 |-5.300000e+01 | 85.24%
35.78/35.82 c 35.6s| 1 | 0 | 38625 | - | 108M| 0 | 720 |1000 | 37k|1000 |6484 | 14k| 0 | 0 |-3.582500e+02 |-5.300000e+01 | 85.21%
35.98/36.04 c 35.9s| 1 | 0 | 38937 | - | 108M| 0 | 715 |1000 | 37k|1000 |6492 | 14k| 0 | 0 |-3.577500e+02 |-5.300000e+01 | 85.19%
36.48/36.52 c 36.3s| 1 | 0 | 39740 | - | 108M| 0 | 717 |1000 | 37k|1000 |6611 | 14k| 0 | 0 |-3.567500e+02 |-5.300000e+01 | 85.14%
37.08/37.12 c 36.9s| 1 | 0 | 40911 | - | 108M| 0 | 719 |1000 | 37k|1000 |6729 | 14k| 0 | 0 |-3.552500e+02 |-5.300000e+01 | 85.08%
37.48/37.58 c 37.4s| 1 | 0 | 41783 | - | 108M| 0 | 709 |1000 | 37k|1000 |5972 | 14k| 0 | 0 |-3.537500e+02 |-5.300000e+01 | 85.02%
37.98/38.09 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
37.98/38.09 c 37.9s| 1 | 0 | 43064 | - | 108M| 0 | 726 |1000 | 37k|1000 |6027 | 14k| 0 | 0 |-3.527500e+02 |-5.300000e+01 | 84.98%
38.57/38.66 c 38.5s| 1 | 0 | 44301 | - | 108M| 0 | 700 |1000 | 37k|1000 |6246 | 14k| 0 | 0 |-3.510000e+02 |-5.300000e+01 | 84.90%
38.97/39.09 c 38.9s| 1 | 0 | 45109 | - | 108M| 0 | 692 |1000 | 37k|1000 |6389 | 14k| 0 | 0 |-3.500000e+02 |-5.300000e+01 | 84.86%
39.48/39.58 c 39.4s| 1 | 0 | 46031 | - | 108M| 0 | 706 |1000 | 37k|1000 |6571 | 15k| 0 | 0 |-3.495000e+02 |-5.300000e+01 | 84.84%
40.18/40.22 c 40.0s| 1 | 0 | 47143 | - | 108M| 0 | 691 |1000 | 37k|1000 |6801 | 15k| 0 | 0 |-3.475000e+02 |-5.300000e+01 | 84.75%
40.68/40.73 c 40.5s| 1 | 0 | 47939 | - | 108M| 0 | 696 |1000 | 37k|1000 |6378 | 15k| 0 | 0 |-3.470000e+02 |-5.300000e+01 | 84.73%
41.27/41.30 c 41.1s| 1 | 0 | 49043 | - | 108M| 0 | 721 |1000 | 37k|1000 |6429 | 15k| 0 | 0 |-3.466667e+02 |-5.300000e+01 | 84.71%
41.87/41.98 c 41.8s| 1 | 0 | 50340 | - | 109M| 0 | 693 |1000 | 37k|1000 |6637 | 15k| 0 | 0 |-3.440000e+02 |-5.300000e+01 | 84.59%
42.37/42.46 c 42.3s| 1 | 0 | 51266 | - | 109M| 0 | 705 |1000 | 37k|1000 |6648 | 15k| 0 | 0 |-3.435000e+02 |-5.300000e+01 | 84.57%
42.97/43.01 c 42.8s| 1 | 0 | 52166 | - | 109M| 0 | 682 |1000 | 37k|1000 |6661 | 15k| 0 | 0 |-3.425000e+02 |-5.300000e+01 | 84.53%
43.67/43.78 c 43.6s| 1 | 0 | 53679 | - | 109M| 0 | 744 |1000 | 37k|1000 |6777 | 15k| 0 | 0 |-3.411000e+02 |-5.300000e+01 | 84.46%
44.28/44.37 c 44.2s| 1 | 0 | 54569 | - | 110M| 0 | 719 |1000 | 37k|1000 |7378 | 17k| 0 | 0 |-3.399375e+02 |-5.300000e+01 | 84.41%
44.98/45.06 c 44.9s| 1 | 0 | 55886 | - | 110M| 0 | 677 |1000 | 37k|1000 |7439 | 17k| 0 | 0 |-3.382500e+02 |-5.300000e+01 | 84.33%
45.38/45.49 c 45.3s| 1 | 0 | 56615 | - | 110M| 0 | 700 |1000 | 37k|1000 |7453 | 17k| 0 | 0 |-3.373333e+02 |-5.300000e+01 | 84.29%
45.97/46.06 c 45.9s| 1 | 0 | 57543 | - | 110M| 0 | 673 |1000 | 37k|1000 |7608 | 17k| 0 | 0 |-3.365000e+02 |-5.300000e+01 | 84.25%
46.37/46.49 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
46.37/46.49 c 46.3s| 1 | 0 | 58167 | - | 110M| 0 | 672 |1000 | 37k|1000 |7618 | 17k| 0 | 0 |-3.360000e+02 |-5.300000e+01 | 84.23%
47.07/47.15 c 47.0s| 1 | 0 | 59268 | - | 110M| 0 | 705 |1000 | 37k|1000 |7626 | 17k| 0 | 0 |-3.358333e+02 |-5.300000e+01 | 84.22%
47.77/47.82 c 47.6s| 1 | 0 | 60508 | - | 110M| 0 | 722 |1000 | 37k|1000 |7067 | 17k| 0 | 0 |-3.344600e+02 |-5.300000e+01 | 84.15%
48.47/48.56 c 48.4s| 1 | 0 | 61966 | - | 110M| 0 | 763 |1000 | 37k|1000 |7168 | 17k| 0 | 0 |-3.331875e+02 |-5.300000e+01 | 84.09%
49.17/49.25 c 49.1s| 1 | 0 | 63089 | - | 111M| 0 | 738 |1000 | 37k|1000 |7877 | 18k| 0 | 0 |-3.318462e+02 |-5.300000e+01 | 84.03%
50.37/50.40 c 50.2s| 1 | 0 | 64892 | - | 111M| 0 | 732 |1000 | 37k|1000 |8022 | 18k| 0 | 0 |-3.308000e+02 |-5.300000e+01 | 83.98%
51.17/51.22 c 51.0s| 1 | 0 | 66107 | - | 112M| 0 | 681 |1000 | 37k|1000 |8073 | 18k| 0 | 0 |-3.301000e+02 |-5.300000e+01 | 83.94%
51.97/52.04 c 51.9s| 1 | 0 | 67810 | - | 112M| 0 | 709 |1000 | 37k|1000 |8084 | 18k| 0 | 0 |-3.287917e+02 |-5.300000e+01 | 83.88%
52.67/52.77 c 52.6s| 1 | 0 | 69098 | - | 113M| 0 | 712 |1000 | 37k|1000 |7122 | 18k| 0 | 0 |-3.283333e+02 |-5.300000e+01 | 83.86%
53.77/53.81 c 53.6s| 1 | 0 | 70928 | - | 113M| 0 | 745 |1000 | 37k|1000 |7159 | 18k| 0 | 0 |-3.274000e+02 |-5.300000e+01 | 83.81%
55.27/55.31 c 55.1s| 1 | 0 | 73507 | - | 113M| 0 | 720 |1000 | 37k|1000 |7449 | 18k| 0 | 0 |-3.265000e+02 |-5.300000e+01 | 83.77%
57.37/57.42 c 57.2s| 1 | 0 | 76772 | - | 113M| 0 | 774 |1000 | 37k|1000 |7566 | 19k| 0 | 0 |-3.259170e+02 |-5.300000e+01 | 83.74%
58.47/58.52 c 58.3s| 1 | 0 | 78366 | - | 114M| 0 | 759 |1000 | 37k|1000 |7754 | 19k| 0 | 0 |-3.252772e+02 |-5.300000e+01 | 83.71%
59.37/59.44 c 59.2s| 1 | 0 | 79951 | - | 115M| 0 | 777 |1000 | 37k|1000 |7800 | 19k| 0 | 0 |-3.244839e+02 |-5.300000e+01 | 83.67%
60.48/60.53 c 60.3s| 1 | 0 | 81550 | - | 115M| 0 | 763 |1000 | 37k|1000 |7186 | 19k| 0 | 0 |-3.234377e+02 |-5.300000e+01 | 83.61%
61.17/61.22 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
61.17/61.22 c 61.0s| 1 | 0 | 82599 | - | 116M| 0 | 768 |1000 | 37k|1000 |7232 | 19k| 0 | 0 |-3.231248e+02 |-5.300000e+01 | 83.60%
62.17/62.26 c 62.1s| 1 | 0 | 84245 | - | 117M| 0 | 728 |1000 | 37k|1000 |7309 | 19k| 0 | 0 |-3.222024e+02 |-5.300000e+01 | 83.55%
63.27/63.34 c 63.1s| 1 | 0 | 86124 | - | 118M| 0 | 753 |1000 | 37k|1000 |7364 | 19k| 0 | 0 |-3.212240e+02 |-5.300000e+01 | 83.50%
64.36/64.46 c 64.3s| 1 | 0 | 88182 | - | 119M| 0 | 730 |1000 | 37k|1000 |7487 | 19k| 0 | 0 |-3.201354e+02 |-5.300000e+01 | 83.44%
65.56/65.68 c 65.5s| 1 | 0 | 90011 | - | 120M| 0 | 768 |1000 | 37k|1000 |7578 | 19k| 0 | 0 |-3.196493e+02 |-5.300000e+01 | 83.42%
67.17/67.23 c 67.0s| 1 | 0 | 92289 | - | 120M| 0 | 755 |1000 | 37k|1000 |7244 | 19k| 0 | 0 |-3.170712e+02 |-5.300000e+01 | 83.28%
68.36/68.40 c 68.2s| 1 | 0 | 94262 | - | 121M| 0 | 830 |1000 | 37k|1000 |7306 | 19k| 0 | 0 |-3.159636e+02 |-5.300000e+01 | 83.23%
70.57/70.64 c 70.5s| 1 | 0 | 96101 | - | 121M| 0 | 792 |1000 | 37k|1000 |9137 | 21k| 0 | 0 |-3.143432e+02 |-5.300000e+01 | 83.14%
71.56/71.67 c 71.5s| 1 | 0 | 97121 | - | 121M| 0 | 787 |1000 | 37k|1000 |9184 | 21k| 0 | 0 |-3.141400e+02 |-5.300000e+01 | 83.13%
72.96/73.06 c 72.9s| 1 | 0 | 98596 | - | 121M| 0 | 794 |1000 | 37k|1000 |9197 | 21k| 0 | 0 |-3.132438e+02 |-5.300000e+01 | 83.08%
74.56/74.67 c 74.5s| 1 | 0 |100362 | - | 121M| 0 | 800 |1000 | 37k|1000 |9215 | 21k| 0 | 0 |-3.123547e+02 |-5.300000e+01 | 83.03%
76.56/76.62 c 76.4s| 1 | 0 |102534 | - | 121M| 0 | 801 |1000 | 37k|1000 |9037 | 22k| 0 | 0 |-3.113276e+02 |-5.300000e+01 | 82.98%
77.96/78.06 c 77.9s| 1 | 0 |104127 | - | 121M| 0 | 800 |1000 | 37k|1000 |9107 | 22k| 0 | 0 |-3.109750e+02 |-5.300000e+01 | 82.96%
80.06/80.13 c 79.9s| 1 | 0 |106730 | - | 121M| 0 | 793 |1000 | 37k|1000 |9251 | 22k| 0 | 0 |-3.096642e+02 |-5.300000e+01 | 82.88%
81.66/81.76 c 81.6s| 1 | 0 |108686 | - | 121M| 0 | 803 |1000 | 37k|1000 |9319 | 22k| 0 | 0 |-3.085332e+02 |-5.300000e+01 | 82.82%
83.57/83.65 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
83.57/83.65 c 83.5s| 1 | 0 |110718 | - | 122M| 0 | 813 |1000 | 37k|1000 |9355 | 22k| 0 | 0 |-3.076040e+02 |-5.300000e+01 | 82.77%
85.56/85.64 c 85.4s| 1 | 0 |112510 | - | 122M| 0 | 821 |1000 | 37k|1000 |9446 | 22k| 0 | 0 |-3.069256e+02 |-5.300000e+01 | 82.73%
87.55/87.60 c 87.4s| 1 | 0 |114284 | - | 122M| 0 | 827 |1000 | 37k|1000 |9024 | 22k| 0 | 0 |-3.059461e+02 |-5.300000e+01 | 82.68%
89.55/89.63 c 89.4s| 1 | 0 |116178 | - | 122M| 0 | 820 |1000 | 37k|1000 |9086 | 22k| 0 | 0 |-3.042536e+02 |-5.300000e+01 | 82.58%
91.16/91.24 c 91.0s| 1 | 0 |117505 | - | 122M| 0 | 817 |1000 | 37k|1000 |9214 | 22k| 0 | 0 |-3.036645e+02 |-5.300000e+01 | 82.55%
93.05/93.19 c 93.0s| 1 | 0 |119226 | - | 122M| 0 | 823 |1000 | 37k|1000 |9277 | 22k| 0 | 0 |-3.024881e+02 |-5.300000e+01 | 82.48%
95.05/95.10 c 94.9s| 1 | 0 |120910 | - | 122M| 0 | 829 |1000 | 37k|1000 |9323 | 22k| 0 | 0 |-3.011536e+02 |-5.300000e+01 | 82.40%
97.35/97.43 c 97.2s| 1 | 0 |122853 | - | 121M| 0 | 830 |1000 | 37k|1000 |9381 | 22k| 0 | 0 |-3.001408e+02 |-5.300000e+01 | 82.34%
99.75/99.84 c 99.6s| 1 | 0 |125222 | - | 121M| 0 | 822 |1000 | 37k|1000 |9198 | 22k| 0 | 0 |-2.988570e+02 |-5.300000e+01 | 82.27%
101.85/101.91 c 102s| 1 | 0 |127006 | - | 121M| 0 | 832 |1000 | 37k|1000 |9323 | 23k| 0 | 0 |-2.978313e+02 |-5.300000e+01 | 82.20%
104.25/104.33 c 104s| 1 | 0 |128972 | - | 121M| 0 | 835 |1000 | 37k|1000 |9506 | 23k| 0 | 0 |-2.963798e+02 |-5.300000e+01 | 82.12%
105.94/106.06 c 106s| 1 | 0 |130200 | - | 121M| 0 | 841 |1000 | 37k|1000 |9651 | 23k| 0 | 0 |-2.956937e+02 |-5.300000e+01 | 82.08%
108.24/108.30 c 108s| 1 | 0 |132246 | - | 121M| 0 | 827 |1000 | 37k|1000 |9715 | 23k| 0 | 0 |-2.947310e+02 |-5.300000e+01 | 82.02%
110.45/110.54 c 110s| 1 | 0 |134230 | - | 121M| 0 | 844 |1000 | 37k|1000 |9826 | 23k| 0 | 0 |-2.939596e+02 |-5.300000e+01 | 81.97%
112.75/112.81 c 113s| 1 | 0 |135951 | - | 121M| 0 | 835 |1000 | 37k|1000 |9477 | 23k| 0 | 0 |-2.931826e+02 |-5.300000e+01 | 81.92%
114.74/114.86 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
114.74/114.86 c 115s| 1 | 0 |137509 | - | 121M| 0 | 838 |1000 | 37k|1000 |9546 | 23k| 0 | 0 |-2.923576e+02 |-5.300000e+01 | 81.87%
116.55/116.68 c 116s| 1 | 0 |138750 | - | 121M| 0 | 856 |1000 | 37k|1000 |9559 | 23k| 0 | 0 |-2.919351e+02 |-5.300000e+01 | 81.85%
119.15/119.23 c 119s| 1 | 0 |140710 | - | 121M| 0 | 850 |1000 | 37k|1000 |9584 | 23k| 0 | 0 |-2.911895e+02 |-5.300000e+01 | 81.80%
121.64/121.77 c 122s| 1 | 0 |142632 | - | 121M| 0 | 833 |1000 | 37k|1000 |9669 | 23k| 0 | 0 |-2.903362e+02 |-5.300000e+01 | 81.75%
124.15/124.27 c 124s| 1 | 0 |144806 | - | 121M| 0 | 827 |1000 | 37k|1000 |9697 | 23k| 0 | 0 |-2.893653e+02 |-5.300000e+01 | 81.68%
126.74/126.83 c 127s| 1 | 0 |146856 | - | 121M| 0 | 846 |1000 | 37k|1000 |9469 | 23k| 0 | 0 |-2.885295e+02 |-5.300000e+01 | 81.63%
129.74/129.86 c 130s| 1 | 0 |149103 | - | 121M| 0 | 847 |1000 | 37k|1000 |9540 | 24k| 0 | 0 |-2.875818e+02 |-5.300000e+01 | 81.57%
132.44/132.50 c 132s| 1 | 0 |151193 | - | 121M| 0 | 840 |1000 | 37k|1000 |9606 | 24k| 0 | 0 |-2.868549e+02 |-5.300000e+01 | 81.52%
135.34/135.44 c 135s| 1 | 0 |153547 | - | 121M| 0 | 847 |1000 | 37k|1000 |9617 | 24k| 0 | 0 |-2.860084e+02 |-5.300000e+01 | 81.47%
137.84/137.95 c 138s| 1 | 0 |155262 | - | 121M| 0 | 857 |1000 | 37k|1000 |9697 | 24k| 0 | 0 |-2.852706e+02 |-5.300000e+01 | 81.42%
141.34/141.43 c 141s| 1 | 0 |157809 | - | 120M| 0 | 858 |1000 | 37k|1000 |9737 | 24k| 0 | 0 |-2.839939e+02 |-5.300000e+01 | 81.34%
144.24/144.39 c 144s| 1 | 0 |159591 | - | 120M| 0 | 868 |1000 | 37k|1000 |9537 | 24k| 0 | 0 |-2.834491e+02 |-5.300000e+01 | 81.30%
148.04/148.16 c 148s| 1 | 0 |162234 | - | 120M| 0 | 854 |1000 | 37k|1000 |9569 | 24k| 0 | 0 |-2.817357e+02 |-5.300000e+01 | 81.19%
151.14/151.20 c 151s| 1 | 0 |163789 | - | 120M| 0 | 869 |1000 | 37k|1000 |9664 | 24k| 0 | 0 |-2.812492e+02 |-5.300000e+01 | 81.16%
154.24/154.32 c 154s| 1 | 0 |165374 | - | 120M| 0 | 871 |1000 | 37k|1000 |9721 | 24k| 0 | 0 |-2.807875e+02 |-5.300000e+01 | 81.12%
158.24/158.36 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
158.24/158.36 c 158s| 1 | 0 |168079 | - | 120M| 0 | 865 |1000 | 37k|1000 |9753 | 24k| 0 | 0 |-2.798976e+02 |-5.300000e+01 | 81.06%
161.94/162.08 c 162s| 1 | 0 |170603 | - | 120M| 0 | 872 |1000 | 37k|1000 |9804 | 24k| 0 | 0 |-2.789538e+02 |-5.300000e+01 | 81.00%
166.34/166.41 c 166s| 1 | 0 |173506 | - | 120M| 0 | 874 |1000 | 37k|1000 |9655 | 24k| 0 | 0 |-2.777220e+02 |-5.300000e+01 | 80.92%
170.44/170.57 c 170s| 1 | 0 |175913 | - | 120M| 0 | 867 |1000 | 37k|1000 |9800 | 24k| 0 | 0 |-2.768901e+02 |-5.300000e+01 | 80.86%
174.33/174.40 c 174s| 1 | 0 |177837 | - | 120M| 0 | 858 |1000 | 37k|1000 |9851 | 24k| 0 | 0 |-2.761883e+02 |-5.300000e+01 | 80.81%
178.04/178.15 c 178s| 1 | 0 |179987 | - | 120M| 0 | 864 |1000 | 37k|1000 |9861 | 24k| 0 | 0 |-2.753773e+02 |-5.300000e+01 | 80.75%
182.54/182.64 c 182s| 1 | 0 |182676 | - | 120M| 0 | 878 |1000 | 37k|1000 |9880 | 24k| 0 | 0 |-2.742867e+02 |-5.300000e+01 | 80.68%
186.94/187.01 c 187s| 1 | 0 |184795 | - | 120M| 0 | 866 |1000 | 37k|1000 |9987 | 24k| 0 | 0 |-2.737850e+02 |-5.300000e+01 | 80.64%
190.83/190.98 c 191s| 1 | 0 |186697 | - | 120M| 0 | 880 |1000 | 37k|1000 |9842 | 24k| 0 | 0 |-2.734564e+02 |-5.300000e+01 | 80.62%
194.83/194.92 c 195s| 1 | 0 |188374 | - | 119M| 0 | 886 |1000 | 37k|1000 |9973 | 25k| 0 | 0 |-2.731814e+02 |-5.300000e+01 | 80.60%
199.63/199.78 c 200s| 1 | 0 |191004 | - | 119M| 0 | 873 |1000 | 37k|1000 | 10k| 25k| 0 | 0 |-2.721848e+02 |-5.300000e+01 | 80.53%
204.53/204.64 c 204s| 1 | 0 |193436 | - | 119M| 0 | 878 |1000 | 37k|1000 | 10k| 25k| 0 | 0 |-2.715617e+02 |-5.300000e+01 | 80.48%
209.33/209.40 c 209s| 1 | 0 |195818 | - | 119M| 0 | 880 |1000 | 37k|1000 | 10k| 25k| 0 | 0 |-2.709227e+02 |-5.300000e+01 | 80.44%
213.93/214.04 c 214s| 1 | 0 |197953 | - | 119M| 0 | 895 |1000 | 37k|1000 | 10k| 25k| 0 | 0 |-2.703680e+02 |-5.300000e+01 | 80.40%
219.73/219.83 c 220s| 1 | 0 |201094 | - | 119M| 0 | 887 |1000 | 37k|1000 | 10k| 25k| 0 | 0 |-2.693929e+02 |-5.300000e+01 | 80.33%
224.24/224.33 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
224.24/224.33 c 224s| 1 | 0 |203054 | - | 119M| 0 | 887 |1000 | 37k|1000 | 10k| 25k| 0 | 0 |-2.688480e+02 |-5.300000e+01 | 80.29%
229.73/229.82 c 230s| 1 | 0 |206035 | - | 119M| 0 | 899 |1000 | 37k|1000 | 10k| 25k| 0 | 0 |-2.680915e+02 |-5.300000e+01 | 80.23%
234.42/234.51 c 234s| 1 | 0 |207921 | - | 119M| 0 | 898 |1000 | 37k|1000 | 10k| 25k| 0 | 0 |-2.676370e+02 |-5.300000e+01 | 80.20%
239.22/239.36 c 239s| 1 | 0 |209824 | - | 119M| 0 | 886 |1000 | 37k|1000 | 10k| 25k| 0 | 0 |-2.671596e+02 |-5.300000e+01 | 80.16%
244.23/244.31 c 244s| 1 | 0 |211920 | - | 119M| 0 | 893 |1000 | 37k|1000 | 10k| 25k| 0 | 0 |-2.664660e+02 |-5.300000e+01 | 80.11%
248.62/248.78 c 249s| 1 | 0 |213138 | - | 119M| 0 | 887 |1000 | 37k|1000 | 10k| 25k| 0 | 0 |-2.662728e+02 |-5.300000e+01 | 80.10%
253.62/253.71 c 254s| 1 | 0 |215290 | - | 119M| 0 | 892 |1000 | 37k|1000 | 10k| 25k| 0 | 0 |-2.657447e+02 |-5.300000e+01 | 80.06%
258.52/258.65 c 258s| 1 | 0 |217057 | - | 119M| 0 | 899 |1000 | 37k|1000 | 10k| 25k| 0 | 0 |-2.651839e+02 |-5.300000e+01 | 80.01%
263.02/263.11 c 263s| 1 | 0 |218373 | - | 119M| 0 | 894 |1000 | 37k|1000 | 10k| 25k| 0 | 0 |-2.649639e+02 |-5.300000e+01 | 80.00%
268.23/268.36 c 268s| 1 | 0 |220728 | - | 119M| 0 | 902 |1000 | 37k|1000 | 10k| 26k| 0 | 0 |-2.642790e+02 |-5.300000e+01 | 79.95%
272.91/273.03 c 273s| 1 | 0 |222144 | - | 119M| 0 | 907 |1000 | 37k|1000 | 10k| 26k| 0 | 0 |-2.640596e+02 |-5.300000e+01 | 79.93%
277.82/277.91 c 278s| 1 | 0 |223764 | - | 119M| 0 | 915 |1000 | 37k|1000 | 10k| 26k| 0 | 0 |-2.638134e+02 |-5.300000e+01 | 79.91%
282.72/282.89 c 283s| 1 | 0 |225600 | - | 119M| 0 | 913 |1000 | 37k|1000 | 10k| 26k| 0 | 0 |-2.633152e+02 |-5.300000e+01 | 79.87%
287.11/287.20 c 287s| 1 | 0 |226581 | - | 119M| 0 | 912 |1000 | 37k|1000 | 10k| 26k| 0 | 0 |-2.631642e+02 |-5.300000e+01 | 79.86%
292.01/292.11 c 292s| 1 | 0 |228314 | - | 119M| 0 | 908 |1000 | 37k|1000 | 10k| 26k| 0 | 0 |-2.627573e+02 |-5.300000e+01 | 79.83%
296.52/296.66 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
296.52/296.66 c 296s| 1 | 0 |229499 | - | 119M| 0 | 917 |1000 | 37k|1000 | 10k| 26k| 0 | 0 |-2.625097e+02 |-5.300000e+01 | 79.81%
301.22/301.35 c 301s| 1 | 0 |230751 | - | 119M| 0 | 923 |1000 | 37k|1000 | 10k| 26k| 0 | 0 |-2.622151e+02 |-5.300000e+01 | 79.79%
306.11/306.29 c 306s| 1 | 0 |232276 | - | 119M| 0 | 923 |1000 | 37k|1000 | 10k| 26k| 0 | 0 |-2.618846e+02 |-5.300000e+01 | 79.76%
310.71/310.81 c 311s| 1 | 0 |233347 | - | 119M| 0 | 932 |1000 | 37k|1000 | 10k| 26k| 0 | 0 |-2.616960e+02 |-5.300000e+01 | 79.75%
315.31/315.43 c 315s| 1 | 0 |234541 | - | 119M| 0 | 930 |1000 | 37k|1000 | 10k| 26k| 0 | 0 |-2.614131e+02 |-5.300000e+01 | 79.73%
320.41/320.53 c 320s| 1 | 0 |236233 | - | 119M| 0 | 928 |1000 | 37k|1000 | 10k| 26k| 0 | 0 |-2.609984e+02 |-5.300000e+01 | 79.69%
325.31/325.45 c 325s| 1 | 0 |237615 | - | 118M| 0 | 927 |1000 | 37k|1000 | 10k| 26k| 0 | 0 |-2.606885e+02 |-5.300000e+01 | 79.67%
330.31/330.48 c 330s| 1 | 0 |239089 | - | 118M| 0 | 929 |1000 | 37k|1000 | 10k| 26k| 0 | 0 |-2.604673e+02 |-5.300000e+01 | 79.65%
335.71/335.83 c 336s| 1 | 0 |240767 | - | 118M| 0 | 929 |1000 | 37k|1000 | 10k| 26k| 0 | 0 |-2.600826e+02 |-5.300000e+01 | 79.62%
340.81/340.97 c 341s| 1 | 0 |242364 | - | 118M| 0 | 929 |1000 | 37k|1000 | 10k| 26k| 0 | 0 |-2.596924e+02 |-5.300000e+01 | 79.59%
346.11/346.25 c 346s| 1 | 0 |243989 | - | 118M| 0 | 933 |1000 | 37k|1000 | 10k| 26k| 0 | 0 |-2.593631e+02 |-5.300000e+01 | 79.57%
351.01/351.17 c 351s| 1 | 0 |245207 | - | 118M| 0 | 933 |1000 | 37k|1000 | 10k| 26k| 0 | 0 |-2.590923e+02 |-5.300000e+01 | 79.54%
355.71/355.82 c 356s| 1 | 0 |246099 | - | 118M| 0 | 926 |1000 | 37k|1000 | 10k| 26k| 0 | 0 |-2.589160e+02 |-5.300000e+01 | 79.53%
360.71/360.86 c 361s| 1 | 0 |247399 | - | 118M| 0 | 933 |1000 | 37k|1000 | 10k| 26k| 0 | 0 |-2.585295e+02 |-5.300000e+01 | 79.50%
365.11/365.25 c 365s| 1 | 0 |248053 | - | 117M| 0 | 938 |1000 | 37k|1000 | 10k| 26k| 0 | 0 |-2.584136e+02 |-5.300000e+01 | 79.49%
369.80/369.96 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
369.80/369.96 c 370s| 1 | 0 |249145 | - | 117M| 0 | 942 |1000 | 37k|1000 | 10k| 26k| 0 | 0 |-2.581793e+02 |-5.300000e+01 | 79.47%
374.80/374.95 c 375s| 1 | 0 |250431 | - | 117M| 0 | 934 |1000 | 37k|1000 | 10k| 26k| 0 | 0 |-2.578428e+02 |-5.300000e+01 | 79.44%
380.80/380.98 c 381s| 1 | 0 |252561 | - | 117M| 0 | 936 |1000 | 37k|1000 | 10k| 26k| 0 | 0 |-2.573305e+02 |-5.300000e+01 | 79.40%
385.80/385.90 c 386s| 1 | 0 |253791 | - | 116M| 0 | 940 |1000 | 37k|1000 | 10k| 26k| 0 | 0 |-2.570339e+02 |-5.300000e+01 | 79.38%
391.30/391.48 c 391s| 1 | 0 |255539 | - | 116M| 0 | 934 |1000 | 37k|1000 | 10k| 26k| 0 | 0 |-2.563989e+02 |-5.300000e+01 | 79.33%
396.49/396.61 c 396s| 1 | 0 |256752 | - | 115M| 0 | 952 |1000 | 37k|1000 | 10k| 26k| 0 | 0 |-2.560656e+02 |-5.300000e+01 | 79.30%
401.31/401.44 c 401s| 1 | 0 |257863 | - | 115M| 0 | 943 |1000 | 37k|1000 | 10k| 27k| 0 | 0 |-2.558118e+02 |-5.300000e+01 | 79.28%
406.60/406.76 c 407s| 1 | 0 |259299 | - | 115M| 0 | 946 |1000 | 37k|1000 | 10k| 27k| 0 | 0 |-2.555590e+02 |-5.300000e+01 | 79.26%
411.79/411.92 c 412s| 1 | 0 |260531 | - | 115M| 0 | 941 |1000 | 37k|1000 | 10k| 27k| 0 | 0 |-2.553054e+02 |-5.300000e+01 | 79.24%
417.19/417.37 c 417s| 1 | 0 |262077 | - | 114M| 0 | 942 |1000 | 37k|1000 | 10k| 27k| 0 | 0 |-2.549955e+02 |-5.300000e+01 | 79.22%
422.60/422.74 c 423s| 1 | 0 |263492 | - | 113M| 0 | 943 |1000 | 37k|1000 | 10k| 27k| 0 | 0 |-2.546846e+02 |-5.300000e+01 | 79.19%
427.19/427.36 c 427s| 1 | 0 |264209 | - | 113M| 0 | 940 |1000 | 37k|1000 | 10k| 27k| 0 | 0 |-2.545663e+02 |-5.300000e+01 | 79.18%
431.89/432.01 c 432s| 1 | 0 |265108 | - | 111M| 0 | 946 |1000 | 37k|1000 | 10k| 27k| 0 | 0 |-2.544397e+02 |-5.300000e+01 | 79.17%
436.79/436.90 c 437s| 1 | 0 |266158 | - | 111M| 0 | 952 |1000 | 37k|1000 | 10k| 27k| 0 | 0 |-2.542743e+02 |-5.300000e+01 | 79.16%
441.49/441.69 c 441s| 1 | 0 |266956 | - | 110M| 0 | 952 |1000 | 37k|1000 | 10k| 27k| 0 | 0 |-2.540679e+02 |-5.300000e+01 | 79.14%
446.50/446.67 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
446.50/446.67 c 446s| 1 | 0 |267938 | - | 109M| 0 | 954 |1000 | 37k|1000 | 10k| 27k| 0 | 0 |-2.538715e+02 |-5.300000e+01 | 79.12%
451.39/451.59 c 451s| 1 | 0 |268771 | - | 108M| 0 | 960 |1000 | 37k|1000 | 10k| 27k| 0 | 0 |-2.536441e+02 |-5.300000e+01 | 79.10%
456.49/456.67 c 456s| 1 | 0 |269776 | - | 108M| 0 | 964 |1000 | 37k|1000 | 10k| 27k| 0 | 0 |-2.534682e+02 |-5.300000e+01 | 79.09%
461.49/461.60 c 461s| 1 | 0 |270702 | - | 106M| 0 | 960 |1000 | 37k|1000 | 10k| 27k| 0 | 0 |-2.533212e+02 |-5.300000e+01 | 79.08%
466.58/466.77 c 467s| 1 | 0 |271708 | - | 106M| 0 | 960 |1000 | 37k|1000 | 10k| 27k| 0 | 0 |-2.531304e+02 |-5.300000e+01 | 79.06%
472.18/472.37 c 472s| 1 | 0 |273184 | - | 106M| 0 | 962 |1000 | 37k|1000 | 10k| 27k| 0 | 0 |-2.527696e+02 |-5.300000e+01 | 79.03%
477.19/477.30 c 477s| 1 | 0 |274034 | - | 106M| 0 | 969 |1000 | 37k|1000 | 10k| 27k| 0 | 0 |-2.525778e+02 |-5.300000e+01 | 79.02%
482.28/482.48 c 482s| 1 | 0 |274967 | - | 106M| 0 | 965 |1000 | 37k|1000 | 10k| 27k| 0 | 0 |-2.522828e+02 |-5.300000e+01 | 78.99%
487.38/487.59 c 487s| 1 | 0 |275906 | - | 106M| 0 | 966 |1000 | 37k|1000 | 10k| 27k| 0 | 0 |-2.520542e+02 |-5.300000e+01 | 78.97%
492.59/492.78 c 493s| 1 | 0 |277051 | - | 106M| 0 | 965 |1000 | 37k|1000 | 10k| 27k| 0 | 0 |-2.517821e+02 |-5.300000e+01 | 78.95%
497.78/497.92 c 498s| 1 | 0 |278050 | - | 106M| 0 | 965 |1000 | 37k|1000 | 10k| 27k| 0 | 0 |-2.515380e+02 |-5.300000e+01 | 78.93%
503.08/503.24 c 503s| 1 | 0 |279158 | - | 106M| 0 | 968 |1000 | 37k|1000 | 10k| 27k| 0 | 0 |-2.512940e+02 |-5.300000e+01 | 78.91%
508.18/508.34 c 508s| 1 | 0 |280068 | - | 106M| 0 | 977 |1000 | 37k|1000 | 10k| 27k| 0 | 0 |-2.511485e+02 |-5.300000e+01 | 78.90%
513.38/513.56 c 513s| 1 | 0 |280953 | - | 106M| 0 | 975 |1000 | 37k|1000 | 10k| 27k| 0 | 0 |-2.510412e+02 |-5.300000e+01 | 78.89%
519.09/519.22 c 519s| 1 | 0 |282219 | - | 106M| 0 | 974 |1000 | 37k|1000 | 10k| 27k| 0 | 0 |-2.508229e+02 |-5.300000e+01 | 78.87%
524.18/524.36 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
524.18/524.36 c 524s| 1 | 0 |283114 | - | 106M| 0 | 977 |1000 | 37k|1000 | 10k| 27k| 0 | 0 |-2.506441e+02 |-5.300000e+01 | 78.85%
529.48/529.67 c 529s| 1 | 0 |284173 | - | 106M| 0 | 976 |1000 | 37k|1000 | 10k| 27k| 0 | 0 |-2.504231e+02 |-5.300000e+01 | 78.84%
534.18/534.34 c 534s| 1 | 0 |284654 | - | 106M| 0 | 975 |1000 | 37k|1000 | 11k| 27k| 0 | 0 |-2.503323e+02 |-5.300000e+01 | 78.83%
539.28/539.47 c 539s| 1 | 0 |285497 | - | 106M| 0 | 978 |1000 | 37k|1000 | 11k| 27k| 0 | 0 |-2.501640e+02 |-5.300000e+01 | 78.81%
544.08/544.28 c 544s| 1 | 0 |286070 | - | 106M| 0 | 980 |1000 | 37k|1000 | 11k| 27k| 0 | 0 |-2.500429e+02 |-5.300000e+01 | 78.80%
548.97/549.11 c 549s| 1 | 0 |286587 | - | 106M| 0 | 980 |1000 | 37k|1000 | 10k| 27k| 0 | 0 |-2.499646e+02 |-5.300000e+01 | 78.80%
553.27/553.43 c 553s| 1 | 0 |286867 | - | 106M| 0 | 976 |1000 | 37k|1000 | 10k| 27k| 0 | 0 |-2.499134e+02 |-5.300000e+01 | 78.79%
558.27/558.44 c 558s| 1 | 0 |287686 | - | 106M| 0 | 979 |1000 | 37k|1000 | 10k| 27k| 0 | 0 |-2.497387e+02 |-5.300000e+01 | 78.78%
563.47/563.69 c 563s| 1 | 0 |288566 | - | 106M| 0 | 970 |1000 | 37k|1000 | 10k| 27k| 0 | 0 |-2.495640e+02 |-5.300000e+01 | 78.76%
568.87/569.01 c 569s| 1 | 0 |289533 | - | 106M| 0 | 977 |1000 | 37k|1000 | 11k| 27k| 0 | 0 |-2.494007e+02 |-5.300000e+01 | 78.75%
573.48/573.66 c 573s| 1 | 0 |290014 | - | 106M| 0 | 983 |1000 | 37k|1000 | 11k| 27k| 0 | 0 |-2.493250e+02 |-5.300000e+01 | 78.74%
578.77/578.93 c 579s| 1 | 0 |290862 | - | 106M| 0 | 985 |1000 | 37k|1000 | 10k| 27k| 0 | 0 |-2.491607e+02 |-5.300000e+01 | 78.73%
583.67/583.81 c 584s| 1 | 0 |291453 | - | 106M| 0 | 987 |1000 | 37k|1000 | 10k| 27k| 0 | 0 |-2.490732e+02 |-5.300000e+01 | 78.72%
588.77/588.92 c 589s| 1 | 0 |292288 | - | 106M| 0 | 986 |1000 | 37k|1000 | 10k| 27k| 0 | 0 |-2.488893e+02 |-5.300000e+01 | 78.71%
593.47/593.65 c 593s| 1 | 0 |292743 | - | 106M| 0 | 990 |1000 | 37k|1000 | 11k| 27k| 0 | 0 |-2.488074e+02 |-5.300000e+01 | 78.70%
598.57/598.76 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
598.57/598.76 c 599s| 1 | 0 |293527 | - | 106M| 0 | 989 |1000 | 37k|1000 | 11k| 27k| 0 | 0 |-2.486193e+02 |-5.300000e+01 | 78.68%
603.27/603.45 c 603s| 1 | 0 |293963 | - | 106M| 0 | 993 |1000 | 37k|1000 | 11k| 27k| 0 | 0 |-2.485512e+02 |-5.300000e+01 | 78.68%
607.97/608.12 c 608s| 1 | 0 |294354 | - | 106M| 0 | 991 |1000 | 37k|1000 | 11k| 27k| 0 | 0 |-2.485060e+02 |-5.300000e+01 | 78.67%
612.87/613.02 c 613s| 1 | 0 |294849 | - | 106M| 0 | 989 |1000 | 37k|1000 | 11k| 27k| 0 | 0 |-2.483798e+02 |-5.300000e+01 | 78.66%
617.57/617.77 c 618s| 1 | 0 |295284 | - | 106M| 0 | 988 |1000 | 37k|1000 | 11k| 27k| 0 | 0 |-2.483356e+02 |-5.300000e+01 | 78.66%
622.17/622.31 c 622s| 1 | 0 |295544 | - | 106M| 0 | 990 |1000 | 37k|1000 | 11k| 27k| 0 | 0 |-2.483033e+02 |-5.300000e+01 | 78.66%
627.06/627.27 c 627s| 1 | 0 |296082 | - | 106M| 0 | 991 |1000 | 37k|1000 | 11k| 27k| 0 | 0 |-2.482050e+02 |-5.300000e+01 | 78.65%
632.27/632.44 c 632s| 1 | 0 |296749 | - | 106M| 0 | 993 |1000 | 37k|1000 | 11k| 27k| 0 | 0 |-2.481097e+02 |-5.300000e+01 | 78.64%
636.96/637.12 c 637s| 1 | 0 |297021 | - | 106M| 0 | 992 |1000 | 37k|1000 | 11k| 27k| 0 | 0 |-2.480751e+02 |-5.300000e+01 | 78.64%
641.66/641.85 c 642s| 1 | 0 |297503 | - | 106M| 0 | 992 |1000 | 37k|1000 | 11k| 27k| 0 | 0 |-2.479956e+02 |-5.300000e+01 | 78.63%
646.36/646.54 c 646s| 1 | 0 |297902 | - | 106M| 0 | 989 |1000 | 37k|1000 | 11k| 27k| 0 | 0 |-2.479018e+02 |-5.300000e+01 | 78.62%
650.97/651.13 c 651s| 1 | 0 |298266 | - | 106M| 0 | 994 |1000 | 37k|1000 | 11k| 27k| 0 | 0 |-2.478308e+02 |-5.300000e+01 | 78.61%
655.96/656.13 c 656s| 1 | 0 |298807 | - | 106M| 0 | 991 |1000 | 37k|1000 | 11k| 28k| 0 | 0 |-2.476897e+02 |-5.300000e+01 | 78.60%
660.87/661.04 c 661s| 1 | 0 |299287 | - | 106M| 0 | 994 |1000 | 37k|1000 | 11k| 28k| 0 | 0 |-2.475847e+02 |-5.300000e+01 | 78.59%
665.65/665.89 c 666s| 1 | 0 |299620 | - | 106M| 0 | 994 |1000 | 37k|1000 | 11k| 28k| 0 | 0 |-2.475038e+02 |-5.300000e+01 | 78.59%
670.56/670.74 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
670.56/670.74 c 671s| 1 | 0 |300122 | - | 106M| 0 | 994 |1000 | 37k|1000 | 11k| 28k| 0 | 0 |-2.473836e+02 |-5.300000e+01 | 78.58%
675.46/675.69 c 675s| 1 | 0 |300619 | - | 106M| 0 | 994 |1000 | 37k|1000 | 11k| 28k| 0 | 0 |-2.472597e+02 |-5.300000e+01 | 78.57%
680.26/680.43 c 680s| 1 | 0 |301021 | - | 106M| 0 | 991 |1000 | 37k|1000 | 11k| 28k| 0 | 0 |-2.471626e+02 |-5.300000e+01 | 78.56%
685.16/685.39 c 685s| 1 | 0 |301601 | - | 106M| 0 | 993 |1000 | 37k|1000 | 11k| 28k| 0 | 0 |-2.470174e+02 |-5.300000e+01 | 78.54%
690.15/690.32 c 690s| 1 | 0 |302012 | - | 105M| 0 | 991 |1000 | 37k|1000 | 11k| 28k| 0 | 0 |-2.468896e+02 |-5.300000e+01 | 78.53%
695.15/695.36 c 695s| 1 | 0 |302514 | - | 105M| 0 | 994 |1000 | 37k|1000 | 11k| 28k| 0 | 0 |-2.467784e+02 |-5.300000e+01 | 78.52%
700.15/700.37 c 700s| 1 | 0 |303106 | - | 105M| 0 | 991 |1000 | 37k|1000 | 11k| 28k| 0 | 0 |-2.466320e+02 |-5.300000e+01 | 78.51%
705.25/705.42 c 705s| 1 | 0 |303652 | - | 105M| 0 | 996 |1000 | 37k|1000 | 11k| 28k| 0 | 0 |-2.465122e+02 |-5.300000e+01 | 78.50%
710.56/710.73 c 711s| 1 | 0 |304475 | - | 105M| 0 | 989 |1000 | 37k|1000 | 11k| 28k| 0 | 0 |-2.463029e+02 |-5.300000e+01 | 78.48%
715.65/715.81 c 716s| 1 | 0 |305062 | - | 105M| 0 | 996 |1000 | 37k|1000 | 11k| 28k| 0 | 0 |-2.461795e+02 |-5.300000e+01 | 78.47%
720.26/720.47 c 720s| 1 | 0 |305307 | - | 105M| 0 | 998 |1000 | 37k|1000 | 11k| 28k| 0 | 0 |-2.461449e+02 |-5.300000e+01 | 78.47%
725.55/725.73 c 726s| 1 | 0 |305895 | - | 105M| 0 | 996 |1000 | 37k|1000 | 11k| 28k| 0 | 0 |-2.460307e+02 |-5.300000e+01 | 78.46%
730.35/730.57 c 730s| 1 | 0 |306369 | - | 105M| 0 | 994 |1000 | 37k|1000 | 11k| 28k| 0 | 0 |-2.459209e+02 |-5.300000e+01 | 78.45%
735.05/735.24 c 735s| 1 | 0 |306746 | - | 105M| 0 | 995 |1000 | 37k|1000 | 11k| 28k| 0 | 0 |-2.458497e+02 |-5.300000e+01 | 78.44%
739.94/740.13 c 740s| 1 | 0 |307258 | - | 105M| 0 | 996 |1000 | 37k|1000 | 11k| 28k| 0 | 0 |-2.457537e+02 |-5.300000e+01 | 78.43%
744.74/744.97 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
744.74/744.97 c 745s| 1 | 0 |307649 | - | 105M| 0 | 995 |1000 | 37k|1000 | 11k| 28k| 0 | 0 |-2.456613e+02 |-5.300000e+01 | 78.43%
749.65/749.82 c 750s| 1 | 0 |308033 | - | 105M| 0 | 996 |1000 | 37k|1000 | 11k| 28k| 0 | 0 |-2.455934e+02 |-5.300000e+01 | 78.42%
754.65/754.88 c 755s| 1 | 0 |308456 | - | 105M| 0 | 996 |1000 | 37k|1000 | 11k| 28k| 0 | 0 |-2.455221e+02 |-5.300000e+01 | 78.41%
759.65/759.85 c 760s| 1 | 0 |309031 | - | 105M| 0 | 994 |1000 | 37k|1000 | 11k| 28k| 0 | 0 |-2.453912e+02 |-5.300000e+01 | 78.40%
764.35/764.59 c 764s| 1 | 0 |309423 | - | 105M| 0 | 996 |1000 | 37k|1000 | 11k| 28k| 0 | 0 |-2.453201e+02 |-5.300000e+01 | 78.40%
769.44/769.68 c 769s| 1 | 0 |310034 | - | 105M| 0 | 998 |1000 | 37k|1000 | 11k| 28k| 0 | 0 |-2.451899e+02 |-5.300000e+01 | 78.38%
774.34/774.54 c 774s| 1 | 0 |310364 | - | 105M| 0 | 997 |1000 | 37k|1000 | 11k| 28k| 0 | 0 |-2.451392e+02 |-5.300000e+01 | 78.38%
779.34/779.59 c 779s| 1 | 0 |310875 | - | 105M| 0 | 996 |1000 | 37k|1000 | 11k| 28k| 0 | 0 |-2.450591e+02 |-5.300000e+01 | 78.37%
784.44/784.67 c 784s| 1 | 0 |311331 | - | 105M| 0 | 997 |1000 | 37k|1000 | 11k| 28k| 0 | 0 |-2.449722e+02 |-5.300000e+01 | 78.36%
789.44/789.61 c 789s| 1 | 0 |311789 | - | 105M| 0 | 998 |1000 | 37k|1000 | 11k| 28k| 0 | 0 |-2.448392e+02 |-5.300000e+01 | 78.35%
794.24/794.48 c 794s| 1 | 0 |312132 | - | 105M| 0 | 998 |1000 | 37k|1000 | 11k| 28k| 0 | 0 |-2.447817e+02 |-5.300000e+01 | 78.35%
799.64/799.84 c 800s| 1 | 0 |312729 | - | 105M| 0 | 999 |1000 | 37k|1000 | 11k| 28k| 0 | 0 |-2.446066e+02 |-5.300000e+01 | 78.33%
804.74/804.94 c 805s| 1 | 0 |313196 | - | 105M| 0 |1000 |1000 | 37k|1000 | 11k| 28k| 0 | 0 |-2.445097e+02 |-5.300000e+01 | 78.32%
809.54/809.71 c 810s| 1 | 0 |313498 | - | 105M| 0 | 999 |1000 | 37k|1000 | 11k| 28k| 0 | 0 |-2.444667e+02 |-5.300000e+01 | 78.32%
814.64/814.82 c 815s| 1 | 0 |313952 | - | 105M| 0 | 998 |1000 | 37k|1000 | 11k| 28k| 0 | 0 |-2.443451e+02 |-5.300000e+01 | 78.31%
819.73/819.97 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
819.73/819.97 c 820s| 1 | 0 |314486 | - | 105M| 0 | 999 |1000 | 37k|1000 | 11k| 28k| 0 | 0 |-2.442200e+02 |-5.300000e+01 | 78.30%
824.54/824.79 c 825s| 1 | 0 |314745 | - | 105M| 0 |1000 |1000 | 37k|1000 | 11k| 28k| 0 | 0 |-2.441697e+02 |-5.300000e+01 | 78.29%
829.53/829.73 c 830s| 1 | 0 |315029 | - | 105M| 0 | 998 |1000 | 37k|1000 | 11k| 28k| 0 | 0 |-2.441293e+02 |-5.300000e+01 | 78.29%
834.34/834.59 c 834s| 1 | 0 |315381 | - | 105M| 0 | 998 |1000 | 37k|1000 | 11k| 28k| 0 | 0 |-2.440640e+02 |-5.300000e+01 | 78.28%
839.73/839.90 c 840s| 1 | 0 |315945 | - | 105M| 0 | 999 |1000 | 37k|1000 | 11k| 28k| 0 | 0 |-2.439476e+02 |-5.300000e+01 | 78.27%
844.53/844.80 c 845s| 1 | 0 |316254 | - | 105M| 0 | 999 |1000 | 37k|1000 | 11k| 28k| 0 | 0 |-2.438979e+02 |-5.300000e+01 | 78.27%
849.43/849.67 c 849s| 1 | 0 |316618 | - | 105M| 0 | 999 |1000 | 37k|1000 | 11k| 28k| 0 | 0 |-2.438350e+02 |-5.300000e+01 | 78.26%
854.33/854.59 c 854s| 1 | 0 |317017 | - | 105M| 0 | 999 |1000 | 37k|1000 | 11k| 28k| 0 | 0 |-2.437783e+02 |-5.300000e+01 | 78.26%
859.53/859.77 c 860s| 1 | 0 |317461 | - | 105M| 0 | 998 |1000 | 37k|1000 | 11k| 28k| 0 | 0 |-2.436952e+02 |-5.300000e+01 | 78.25%
864.73/864.99 c 865s| 1 | 0 |317926 | - | 105M| 0 | 998 |1000 | 37k|1000 | 11k| 28k| 0 | 0 |-2.436079e+02 |-5.300000e+01 | 78.24%
869.94/870.14 c 870s| 1 | 0 |318393 | - | 105M| 0 | 998 |1000 | 37k|1000 | 11k| 28k| 0 | 0 |-2.435075e+02 |-5.300000e+01 | 78.23%
875.22/875.48 c 875s| 1 | 0 |318942 | - | 105M| 0 | 999 |1000 | 37k|1000 | 11k| 28k| 0 | 0 |-2.434339e+02 |-5.300000e+01 | 78.23%
880.03/880.27 c 880s| 1 | 0 |319257 | - | 105M| 0 | 999 |1000 | 37k|1000 | 11k| 28k| 0 | 0 |-2.433857e+02 |-5.300000e+01 | 78.22%
885.12/885.30 c 885s| 1 | 0 |319658 | - | 105M| 0 |1000 |1000 | 37k|1000 | 11k| 28k| 0 | 0 |-2.433142e+02 |-5.300000e+01 | 78.22%
890.32/890.53 c 890s| 1 | 0 |320130 | - | 105M| 0 | 999 |1000 | 37k|1000 | 11k| 28k| 0 | 0 |-2.432232e+02 |-5.300000e+01 | 78.21%
895.32/895.57 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
895.32/895.57 c 895s| 1 | 0 |320507 | - | 105M| 0 | 999 |1000 | 37k|1000 | 11k| 28k| 0 | 0 |-2.431693e+02 |-5.300000e+01 | 78.20%
900.22/900.49 c 900s| 1 | 0 |320846 | - | 105M| 0 |1000 |1000 | 37k|1000 | 11k| 28k| 0 | 0 |-2.431180e+02 |-5.300000e+01 | 78.20%
905.13/905.37 c 905s| 1 | 0 |321207 | - | 105M| 0 | 999 |1000 | 37k|1000 | 11k| 28k| 0 | 0 |-2.430719e+02 |-5.300000e+01 | 78.20%
910.12/910.34 c 910s| 1 | 0 |321535 | - | 105M| 0 |1000 |1000 | 37k|1000 | 11k| 28k| 0 | 0 |-2.430293e+02 |-5.300000e+01 | 78.19%
915.13/915.32 c 915s| 1 | 0 |321890 | - | 105M| 0 | 999 |1000 | 37k|1000 | 11k| 28k| 0 | 0 |-2.429739e+02 |-5.300000e+01 | 78.19%
919.92/920.17 c 920s| 1 | 0 |322289 | - | 105M| 0 | 999 |1000 | 37k|1000 | 11k| 28k| 0 | 0 |-2.429187e+02 |-5.300000e+01 | 78.18%
924.42/924.68 c 924s| 1 | 0 |322483 | - | 105M| 0 | 999 |1000 | 37k|1000 | 11k| 28k| 0 | 0 |-2.429056e+02 |-5.300000e+01 | 78.18%
929.22/929.50 c 929s| 1 | 0 |322840 | - | 105M| 0 | 999 |1000 | 37k|1000 | 11k| 28k| 0 | 0 |-2.428525e+02 |-5.300000e+01 | 78.18%
934.62/934.80 c 935s| 1 | 0 |323301 | - | 105M| 0 | 999 |1000 | 37k|1000 | 11k| 28k| 0 | 0 |-2.427893e+02 |-5.300000e+01 | 78.17%
939.61/939.85 c 940s| 1 | 0 |323733 | - | 105M| 0 | 999 |1000 | 37k|1000 | 11k| 28k| 0 | 0 |-2.427373e+02 |-5.300000e+01 | 78.17%
944.62/944.87 c 945s| 1 | 0 |324240 | - | 105M| 0 |1000 |1000 | 37k|1000 | 11k| 28k| 0 | 0 |-2.426135e+02 |-5.300000e+01 | 78.15%
949.41/949.63 c 949s| 1 | 0 |324603 | - | 105M| 0 | 999 |1000 | 37k|1000 | 11k| 28k| 0 | 0 |-2.425739e+02 |-5.300000e+01 | 78.15%
954.11/954.34 c 954s| 1 | 0 |324870 | - | 105M| 0 |1000 |1000 | 37k|1000 | 11k| 28k| 0 | 0 |-2.425500e+02 |-5.300000e+01 | 78.15%
959.02/959.26 c 959s| 1 | 0 |325210 | - | 105M| 0 |1000 |1000 | 37k|1000 | 11k| 28k| 0 | 0 |-2.424955e+02 |-5.300000e+01 | 78.14%
963.92/964.17 c 964s| 1 | 0 |325503 | - | 105M| 0 |1000 |1000 | 37k|1000 | 11k| 28k| 0 | 0 |-2.424712e+02 |-5.300000e+01 | 78.14%
968.82/969.05 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
968.82/969.05 c 969s| 1 | 0 |325821 | - | 105M| 0 |1000 |1000 | 37k|1000 | 11k| 28k| 0 | 0 |-2.424453e+02 |-5.300000e+01 | 78.14%
973.81/974.03 c 974s| 1 | 0 |326214 | - | 105M| 0 | 999 |1000 | 37k|1000 | 11k| 28k| 0 | 0 |-2.424063e+02 |-5.300000e+01 | 78.14%
978.82/979.04 c 979s| 1 | 0 |326630 | - | 105M| 0 |1000 |1000 | 37k|1000 | 11k| 28k| 0 | 0 |-2.423576e+02 |-5.300000e+01 | 78.13%
983.91/984.16 c 984s| 1 | 0 |327045 | - | 105M| 0 |1000 |1000 | 37k|1000 | 11k| 28k| 0 | 0 |-2.423077e+02 |-5.300000e+01 | 78.13%
989.01/989.28 c 989s| 1 | 0 |327526 | - | 105M| 0 | 999 |1000 | 37k|1000 | 11k| 28k| 0 | 0 |-2.422371e+02 |-5.300000e+01 | 78.12%
994.21/994.46 c 994s| 1 | 0 |327992 | - | 105M| 0 |1000 |1000 | 37k|1000 | 11k| 28k| 0 | 0 |-2.421668e+02 |-5.300000e+01 | 78.11%
999.11/999.38 c 999s| 1 | 0 |328435 | - | 105M| 0 |1000 |1000 | 37k|1000 | 11k| 28k| 0 | 0 |-2.421260e+02 |-5.300000e+01 | 78.11%
1004.01/1004.27 c 1004s| 1 | 0 |328729 | - | 105M| 0 |1000 |1000 | 37k|1000 | 11k| 28k| 0 | 0 |-2.421121e+02 |-5.300000e+01 | 78.11%
1009.11/1009.33 c 1009s| 1 | 0 |329166 | - | 105M| 0 |1000 |1000 | 37k|1000 | 11k| 28k| 0 | 0 |-2.420617e+02 |-5.300000e+01 | 78.10%
1013.70/1013.97 c 1014s| 1 | 0 |329467 | - | 105M| 0 |1000 |1000 | 37k|1000 | 11k| 28k| 0 | 0 |-2.420398e+02 |-5.300000e+01 | 78.10%
1018.61/1018.85 c 1019s| 1 | 0 |329852 | - | 105M| 0 |1000 |1000 | 37k|1000 | 11k| 28k| 0 | 0 |-2.419992e+02 |-5.300000e+01 | 78.10%
1023.51/1023.77 c 1024s| 1 | 0 |330197 | - | 105M| 0 |1000 |1000 | 37k|1000 | 11k| 28k| 0 | 0 |-2.419710e+02 |-5.300000e+01 | 78.10%
1028.21/1028.46 c 1028s| 1 | 0 |330509 | - | 105M| 0 |1000 |1000 | 37k|1000 | 11k| 28k| 0 | 0 |-2.419521e+02 |-5.300000e+01 | 78.09%
1033.00/1033.26 c 1033s| 1 | 0 |330821 | - | 105M| 0 |1000 |1000 | 37k|1000 | 11k| 28k| 0 | 0 |-2.419306e+02 |-5.300000e+01 | 78.09%
1037.80/1038.01 c 1038s| 1 | 0 |331167 | - | 105M| 0 |1000 |1000 | 37k|1000 | 11k| 28k| 0 | 0 |-2.419049e+02 |-5.300000e+01 | 78.09%
1042.51/1042.71 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1042.51/1042.71 c 1043s| 1 | 0 |331501 | - | 105M| 0 |1000 |1000 | 37k|1000 | 11k| 28k| 0 | 0 |-2.418803e+02 |-5.300000e+01 | 78.09%
1047.30/1047.55 c 1047s| 1 | 0 |331877 | - | 105M| 0 |1000 |1000 | 37k|1000 | 11k| 28k| 0 | 0 |-2.418527e+02 |-5.300000e+01 | 78.09%
1052.10/1052.36 c 1052s| 1 | 0 |332317 | - | 105M| 0 |1000 |1000 | 37k|1000 | 11k| 28k| 0 | 0 |-2.418136e+02 |-5.300000e+01 | 78.08%
1056.90/1057.12 c 1057s| 1 | 0 |332682 | - | 105M| 0 |1000 |1000 | 37k|1000 | 11k| 28k| 0 | 0 |-2.417928e+02 |-5.300000e+01 | 78.08%
1061.79/1062.04 c 1062s| 1 | 0 |333130 | - | 105M| 0 |1000 |1000 | 37k|1000 | 11k| 29k| 0 | 0 |-2.417614e+02 |-5.300000e+01 | 78.08%
1066.60/1066.89 c 1067s| 1 | 0 |333543 | - | 105M| 0 |1000 |1000 | 37k|1000 | 11k| 29k| 0 | 0 |-2.417342e+02 |-5.300000e+01 | 78.08%
1071.60/1071.82 c 1072s| 1 | 0 |334083 | - | 105M| 0 |1000 |1000 | 37k|1000 | 11k| 29k| 0 | 0 |-2.416858e+02 |-5.300000e+01 | 78.07%
1076.30/1076.52 c 1076s| 1 | 0 |334416 | - | 105M| 0 |1000 |1000 | 37k|1000 | 11k| 29k| 0 | 0 |-2.416624e+02 |-5.300000e+01 | 78.07%
1081.39/1081.64 c 1081s| 1 | 0 |334937 | - | 105M| 0 |1000 |1000 | 37k|1000 | 11k| 29k| 0 | 0 |-2.416207e+02 |-5.300000e+01 | 78.06%
1086.30/1086.55 c 1086s| 1 | 0 |335343 | - | 105M| 0 |1000 |1000 | 37k|1000 | 11k| 29k| 0 | 0 |-2.415955e+02 |-5.300000e+01 | 78.06%
1091.09/1091.34 c 1091s| 1 | 0 |335777 | - | 105M| 0 |1000 |1000 | 37k|1000 | 11k| 29k| 0 | 0 |-2.415660e+02 |-5.300000e+01 | 78.06%
1095.89/1096.14 c 1096s| 1 | 0 |336178 | - | 105M| 0 |1000 |1000 | 37k|1000 | 11k| 29k| 0 | 0 |-2.415373e+02 |-5.300000e+01 | 78.06%
1100.59/1100.81 c 1101s| 1 | 0 |336512 | - | 105M| 0 |1000 |1000 | 37k|1000 | 11k| 29k| 0 | 0 |-2.415184e+02 |-5.300000e+01 | 78.06%
1105.50/1105.70 c 1106s| 1 | 0 |336805 | - | 105M| 0 |1000 |1000 | 37k|1000 | 11k| 29k| 0 | 0 |-2.415048e+02 |-5.300000e+01 | 78.05%
1110.29/1110.59 c 1110s| 1 | 0 |337174 | - | 105M| 0 |1000 |1000 | 37k|1000 | 11k| 29k| 0 | 0 |-2.414849e+02 |-5.300000e+01 | 78.05%
1114.89/1115.19 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1114.89/1115.19 c 1115s| 1 | 0 |337455 | - | 105M| 0 |1000 |1000 | 37k|1000 | 11k| 29k| 0 | 0 |-2.414711e+02 |-5.300000e+01 | 78.05%
1119.79/1120.00 c 1120s| 1 | 0 |337880 | - | 105M| 0 |1000 |1000 | 37k|1000 | 11k| 29k| 0 | 0 |-2.414453e+02 |-5.300000e+01 | 78.05%
1124.29/1124.58 c 1124s| 1 | 0 |338210 | - | 105M| 0 |1000 |1000 | 37k|1000 | 11k| 29k| 0 | 0 |-2.414340e+02 |-5.300000e+01 | 78.05%
1129.09/1129.34 c 1129s| 1 | 0 |338508 | - | 105M| 0 |1000 |1000 | 37k|1000 | 11k| 29k| 0 | 0 |-2.414203e+02 |-5.300000e+01 | 78.05%
1133.89/1134.11 c 1134s| 1 | 0 |338824 | - | 105M| 0 |1000 |1000 | 37k|1000 | 11k| 29k| 0 | 0 |-2.414057e+02 |-5.300000e+01 | 78.05%
1138.69/1138.97 c 1139s| 1 | 0 |339315 | - | 105M| 0 |1000 |1000 | 37k|1000 | 11k| 29k| 0 | 0 |-2.413799e+02 |-5.300000e+01 | 78.04%
1143.49/1143.75 c 1144s| 1 | 0 |339758 | - | 105M| 0 |1000 |1000 | 37k|1000 | 11k| 29k| 0 | 0 |-2.413537e+02 |-5.300000e+01 | 78.04%
1148.29/1148.55 c 1148s| 1 | 0 |340199 | - | 105M| 0 |1000 |1000 | 37k|1000 | 11k| 29k| 0 | 0 |-2.413323e+02 |-5.300000e+01 | 78.04%
1153.09/1153.35 c 1153s| 1 | 0 |340579 | - | 105M| 0 |1000 |1000 | 37k|1000 | 11k| 29k| 0 | 0 |-2.413182e+02 |-5.300000e+01 | 78.04%
1157.68/1157.94 c 1158s| 1 | 0 |340863 | - | 105M| 0 |1000 |1000 | 37k|1000 | 11k| 29k| 0 | 0 |-2.413099e+02 |-5.300000e+01 | 78.04%
1162.58/1162.84 c 1163s| 1 | 0 |341246 | - | 105M| 0 |1000 |1000 | 37k|1000 | 11k| 29k| 0 | 0 |-2.412929e+02 |-5.300000e+01 | 78.03%
1167.28/1167.51 c 1167s| 1 | 0 |341537 | - | 105M| 0 |1000 |1000 | 37k|1000 | 11k| 29k| 0 | 0 |-2.412826e+02 |-5.300000e+01 | 78.03%
1171.88/1172.19 c 1172s| 1 | 0 |341892 | - | 105M| 0 |1000 |1000 | 37k|1000 | 11k| 29k| 0 | 0 |-2.412696e+02 |-5.300000e+01 | 78.03%
1176.58/1176.88 c 1177s| 1 | 0 |342196 | - | 105M| 0 |1000 |1000 | 37k|1000 | 11k| 29k| 0 | 0 |-2.412586e+02 |-5.300000e+01 | 78.03%
1181.28/1181.58 c 1181s| 1 | 0 |342550 | - | 105M| 0 |1000 |1000 | 37k|1000 | 11k| 29k| 0 | 0 |-2.412434e+02 |-5.300000e+01 | 78.03%
1186.18/1186.40 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1186.18/1186.40 c 1186s| 1 | 0 |343038 | - | 105M| 0 |1000 |1000 | 37k|1000 | 11k| 29k| 0 | 0 |-2.412203e+02 |-5.300000e+01 | 78.03%
1190.78/1191.05 c 1191s| 1 | 0 |343309 | - | 105M| 0 |1000 |1000 | 37k|1000 | 11k| 29k| 0 | 0 |-2.412089e+02 |-5.300000e+01 | 78.03%
1195.57/1195.81 c 1196s| 1 | 0 |343725 | - | 105M| 0 |1000 |1000 | 37k|1000 | 11k| 29k| 0 | 0 |-2.411933e+02 |-5.300000e+01 | 78.03%
1199.98/1200.28 c 1200s| 1 | 0 |344061 | - | 105M| 0 |1000 |1000 | 37k|1000 | 11k| 29k| 0 | 0 |-2.411792e+02 |-5.300000e+01 | 78.02%
1204.48/1204.75 c 1205s| 1 | 0 |344417 | - | 105M| 0 |1000 |1000 | 37k|1000 | 11k| 29k| 0 | 0 |-2.411685e+02 |-5.300000e+01 | 78.02%
1209.08/1209.33 c 1209s| 1 | 0 |344779 | - | 105M| 0 |1000 |1000 | 37k|1000 | 11k| 29k| 0 | 0 |-2.411615e+02 |-5.300000e+01 | 78.02%
1213.58/1213.85 c 1214s| 1 | 0 |345124 | - | 105M| 0 |1000 |1000 | 37k|1000 | 11k| 29k| 0 | 0 |-2.411525e+02 |-5.300000e+01 | 78.02%
1218.17/1218.46 c 1218s| 1 | 0 |345547 | - | 105M| 0 |1000 |1000 | 37k|1000 | 11k| 29k| 0 | 0 |-2.411448e+02 |-5.300000e+01 | 78.02%
1222.48/1222.78 c 1223s| 1 | 0 |345718 | - | 105M| 0 |1000 |1000 | 37k|1000 | 11k| 29k| 0 | 0 |-2.411423e+02 |-5.300000e+01 | 78.02%
1227.08/1227.32 c 1227s| 1 | 0 |346007 | - | 105M| 0 |1000 |1000 | 37k|1000 | 11k| 29k| 0 | 0 |-2.411369e+02 |-5.300000e+01 | 78.02%
1231.68/1231.94 c 1232s| 1 | 0 |346383 | - | 105M| 0 |1000 |1000 | 37k|1000 | 11k| 29k| 0 | 0 |-2.411306e+02 |-5.300000e+01 | 78.02%
1236.18/1236.46 c 1236s| 1 | 0 |346575 | - | 105M| 0 |1000 |1000 | 37k|1000 | 11k| 29k| 0 | 0 |-2.411277e+02 |-5.300000e+01 | 78.02%
1240.67/1240.95 c 1241s| 1 | 0 |346845 | - | 105M| 0 |1000 |1000 | 37k|1000 | 11k| 29k| 0 | 0 |-2.411208e+02 |-5.300000e+01 | 78.02%
1245.27/1245.52 c 1245s| 1 | 0 |347101 | - | 105M| 0 |1000 |1000 | 37k|1000 | 11k| 29k| 0 | 0 |-2.411140e+02 |-5.300000e+01 | 78.02%
1249.77/1250.09 c 1250s| 1 | 0 |347447 | - | 105M| 0 |1000 |1000 | 37k|1000 | 11k| 29k| 0 | 0 |-2.411074e+02 |-5.300000e+01 | 78.02%
1254.27/1254.52 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1254.27/1254.52 c 1254s| 1 | 0 |347735 | - | 105M| 0 |1000 |1000 | 37k|1000 | 11k| 29k| 0 | 0 |-2.410982e+02 |-5.300000e+01 | 78.02%
1258.67/1258.96 c 1259s| 1 | 0 |347900 | - | 105M| 0 |1000 |1000 | 37k|1000 | 11k| 29k| 0 | 0 |-2.410954e+02 |-5.300000e+01 | 78.02%
1263.17/1263.42 c 1263s| 1 | 0 |348173 | - | 105M| 0 |1000 |1000 | 37k|1000 | 11k| 29k| 0 | 0 |-2.410898e+02 |-5.300000e+01 | 78.02%
1267.67/1267.94 c 1268s| 1 | 0 |348402 | - | 105M| 0 |1000 |1000 | 37k|1000 | 11k| 29k| 0 | 0 |-2.410860e+02 |-5.300000e+01 | 78.02%
1272.27/1272.53 c 1272s| 1 | 0 |348713 | - | 105M| 0 |1000 |1000 | 37k|1000 | 11k| 29k| 0 | 0 |-2.410795e+02 |-5.300000e+01 | 78.02%
1276.66/1276.94 c 1277s| 1 | 0 |348971 | - | 105M| 0 |1000 |1000 | 37k|1000 | 11k| 29k| 0 | 0 |-2.410764e+02 |-5.300000e+01 | 78.02%
1281.06/1281.31 c 1281s| 1 | 0 |349203 | - | 105M| 0 |1000 |1000 | 37k|1000 | 11k| 29k| 0 | 0 |-2.410725e+02 |-5.300000e+01 | 78.01%
1285.36/1285.66 c 1285s| 1 | 0 |349399 | - | 105M| 0 |1000 |1000 | 37k|1000 | 11k| 29k| 0 | 0 |-2.410688e+02 |-5.300000e+01 | 78.01%
1316.26/1316.58 c 1316s| 1 | 2 |349399 | - | 105M| 0 |1000 |1000 | 37k|1000 | 11k| 29k| 0 | 27 |-2.410688e+02 |-5.300000e+01 | 78.01%
1317.96/1318.24 c 1318s| 10000 | 34 |349399 | 0.0 | 105M| 52 | - |1000 | 37k| 0 | 0 | 29k| 25 | 27 |-2.410688e+02 |-5.300000e+01 | 78.01%
1319.46/1319.72 c 1320s| 20000 | 36 |349399 | 0.0 | 105M| 55 | - |1000 | 37k| 0 | 0 | 29k| 51 | 27 |-2.410688e+02 |-5.300000e+01 | 78.01%
1319.46/1319.74 o -54
1319.46/1319.74 c *1320s| 20099 | 37 |349399 | 0.0 | 105M| 55 | - |1000 | 37k| 0 | 0 | 29k| 53 | 27 |-2.410688e+02 |-5.400000e+01 | 77.60%
1321.06/1321.30 c 1321s| 30000 | 38 |349399 | 0.0 | 105M| 55 | - |1000 | 37k| 0 | 0 | 29k| 71 | 27 |-2.410688e+02 |-5.400000e+01 | 77.60%
1322.46/1322.73 c 1323s| 40000 | 36 |349399 | 0.0 | 105M| 55 | - |1000 | 37k| 0 | 0 | 29k| 87 | 27 |-2.410688e+02 |-5.400000e+01 | 77.60%
1323.86/1324.13 c 1324s| 50000 | 35 |349399 | 0.0 | 105M| 55 | - |1000 | 37k| 0 | 0 | 29k| 110 | 27 |-2.410688e+02 |-5.400000e+01 | 77.60%
1324.16/1324.44 o -55
1324.16/1324.44 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1324.16/1324.44 c *1324s| 52702 | 40 |349399 | 0.0 | 105M| 58 | - |1000 | 37k| 0 | 0 | 29k| 115 | 27 |-2.410688e+02 |-5.500000e+01 | 77.18%
1325.16/1325.46 c 1325s| 60000 | 35 |349399 | 0.0 | 105M| 58 | - |1000 | 37k| 0 | 0 | 29k| 137 | 27 |-2.410688e+02 |-5.500000e+01 | 77.18%
1326.45/1326.77 c 1327s| 70000 | 36 |349399 | 0.0 | 105M| 58 | - |1000 | 37k| 0 | 0 | 29k| 158 | 27 |-2.410688e+02 |-5.500000e+01 | 77.18%
1327.75/1328.02 c 1328s| 80000 | 35 |349399 | 0.0 | 105M| 63 | - |1000 | 37k| 0 | 0 | 29k| 169 | 27 |-2.410688e+02 |-5.500000e+01 | 77.18%
1329.05/1329.32 c 1329s| 90000 | 33 |349399 | 0.0 | 105M| 65 | - |1000 | 37k| 0 | 0 | 29k| 182 | 27 |-2.410688e+02 |-5.500000e+01 | 77.18%
1330.35/1330.69 c 1330s|100000 | 34 |349399 | 0.0 | 105M| 65 | - |1000 | 37k| 0 | 0 | 29k| 201 | 27 |-2.410688e+02 |-5.500000e+01 | 77.18%
1331.86/1332.12 c 1332s|110000 | 37 |349399 | 0.0 | 105M| 65 | - |1000 | 37k| 0 | 0 | 29k| 216 | 27 |-2.410688e+02 |-5.500000e+01 | 77.18%
1333.15/1333.42 c 1333s|120000 | 40 |349399 | 0.0 | 105M| 65 | - |1000 | 37k| 0 | 0 | 29k| 228 | 27 |-2.410688e+02 |-5.500000e+01 | 77.18%
1334.35/1334.67 c 1334s|130000 | 36 |349399 | 0.0 | 105M| 65 | - |1000 | 37k| 0 | 0 | 29k| 237 | 27 |-2.410688e+02 |-5.500000e+01 | 77.18%
1335.85/1336.11 c 1336s|140000 | 34 |349399 | 0.0 | 105M| 65 | - |1000 | 37k| 0 | 0 | 29k| 252 | 27 |-2.410688e+02 |-5.500000e+01 | 77.18%
1337.05/1337.37 c 1337s|150000 | 35 |349399 | 0.0 | 105M| 65 | - |1000 | 37k| 0 | 0 | 29k| 262 | 27 |-2.410688e+02 |-5.500000e+01 | 77.18%
1338.36/1338.66 c 1338s|160000 | 35 |349399 | 0.0 | 105M| 70 | - |1000 | 37k| 0 | 0 | 29k| 269 | 27 |-2.410688e+02 |-5.500000e+01 | 77.18%
1339.65/1339.92 c 1340s|170000 | 38 |349399 | 0.0 | 105M| 70 | - |1000 | 37k| 0 | 0 | 29k| 280 | 27 |-2.410688e+02 |-5.500000e+01 | 77.18%
1340.95/1341.24 c 1341s|180000 | 34 |349399 | 0.0 | 105M| 70 | - |1000 | 37k| 0 | 0 | 29k| 313 | 27 |-2.410688e+02 |-5.500000e+01 | 77.18%
1342.35/1342.61 c 1342s|190000 | 33 |349399 | 0.0 | 105M| 70 | - |1000 | 37k| 0 | 0 | 29k| 338 | 27 |-2.410688e+02 |-5.500000e+01 | 77.18%
1343.65/1343.94 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1343.65/1343.94 c 1344s|200000 | 33 |349399 | 0.0 | 105M| 70 | - |1000 | 37k| 0 | 0 | 29k| 359 | 27 |-2.410688e+02 |-5.500000e+01 | 77.18%
1344.96/1345.26 c 1345s|210000 | 33 |349399 | 0.0 | 105M| 70 | - |1000 | 37k| 0 | 0 | 29k| 370 | 27 |-2.410688e+02 |-5.500000e+01 | 77.18%
1346.35/1346.65 c 1346s|220000 | 33 |349399 | 0.0 | 105M| 70 | - |1000 | 37k| 0 | 0 | 29k| 388 | 27 |-2.410688e+02 |-5.500000e+01 | 77.18%
1347.65/1347.95 c 1348s|230000 | 35 |349399 | 0.0 | 105M| 70 | - |1000 | 37k| 0 | 0 | 29k| 396 | 27 |-2.410688e+02 |-5.500000e+01 | 77.18%
1348.95/1349.25 c 1349s|240000 | 37 |349399 | 0.0 | 105M| 70 | - |1000 | 37k| 0 | 0 | 29k| 407 | 27 |-2.410688e+02 |-5.500000e+01 | 77.18%
1350.25/1350.56 c 1350s|250000 | 35 |349399 | 0.0 | 105M| 70 | - |1000 | 37k| 0 | 0 | 29k| 418 | 27 |-2.410688e+02 |-5.500000e+01 | 77.18%
1351.56/1351.83 c 1352s|260000 | 37 |349399 | 0.0 | 105M| 70 | - |1000 | 37k| 0 | 0 | 29k| 437 | 27 |-2.410688e+02 |-5.500000e+01 | 77.18%
1352.76/1353.05 c 1353s|270000 | 33 |349399 | 0.0 | 105M| 70 | - |1000 | 37k| 0 | 0 | 29k| 449 | 27 |-2.410688e+02 |-5.500000e+01 | 77.18%
1353.95/1354.27 c 1354s|280000 | 34 |349399 | 0.0 | 105M| 70 | - |1000 | 37k| 0 | 0 | 29k| 461 | 27 |-2.410688e+02 |-5.500000e+01 | 77.18%
1355.25/1355.55 c 1355s|290000 | 36 |349399 | 0.0 | 105M| 70 | - |1000 | 37k| 0 | 0 | 29k| 486 | 27 |-2.410688e+02 |-5.500000e+01 | 77.18%
1356.55/1356.84 c 1357s|300000 | 35 |349399 | 0.0 | 105M| 70 | - |1000 | 37k| 0 | 0 | 29k| 490 | 27 |-2.410688e+02 |-5.500000e+01 | 77.18%
1357.85/1358.11 c 1358s|310000 | 36 |349399 | 0.0 | 105M| 70 | - |1000 | 37k| 0 | 0 | 29k| 495 | 27 |-2.410688e+02 |-5.500000e+01 | 77.18%
1359.05/1359.33 c 1359s|320000 | 34 |349399 | 0.0 | 105M| 70 | - |1000 | 37k| 0 | 0 | 29k| 507 | 27 |-2.410688e+02 |-5.500000e+01 | 77.18%
1360.25/1360.53 c 1360s|330000 | 34 |349399 | 0.0 | 105M| 70 | - |1000 | 37k| 0 | 0 | 29k| 522 | 27 |-2.410688e+02 |-5.500000e+01 | 77.18%
1361.56/1361.84 c 1362s|340000 | 34 |349399 | 0.0 | 105M| 70 | - |1000 | 37k| 0 | 0 | 29k| 533 | 27 |-2.410688e+02 |-5.500000e+01 | 77.18%
1362.85/1363.11 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1362.85/1363.11 c 1363s|350000 | 36 |349399 | 0.0 | 105M| 70 | - |1000 | 37k| 0 | 0 | 29k| 546 | 27 |-2.410688e+02 |-5.500000e+01 | 77.18%
1364.05/1364.36 c 1364s|360000 | 37 |349399 | 0.0 | 105M| 70 | - |1000 | 37k| 0 | 0 | 29k| 563 | 27 |-2.410688e+02 |-5.500000e+01 | 77.18%
1365.25/1365.56 c 1365s|370000 | 33 |349399 | 0.0 | 105M| 70 | - |1000 | 37k| 0 | 0 | 29k| 577 | 27 |-2.410688e+02 |-5.500000e+01 | 77.18%
1366.65/1366.91 c 1367s|380000 | 32 |349399 | 0.0 | 105M| 70 | - |1000 | 37k| 0 | 0 | 29k| 594 | 27 |-2.410688e+02 |-5.500000e+01 | 77.18%
1367.95/1368.26 c 1368s|390000 | 33 |349399 | 0.0 | 105M| 70 | - |1000 | 37k| 0 | 0 | 29k| 613 | 27 |-2.410688e+02 |-5.500000e+01 | 77.18%
1369.15/1369.50 c 1369s|400000 | 33 |349399 | 0.0 | 105M| 70 | - |1000 | 37k| 0 | 0 | 29k| 627 | 27 |-2.410688e+02 |-5.500000e+01 | 77.18%
1370.45/1370.75 c 1371s|410000 | 34 |349399 | 0.0 | 105M| 70 | - |1000 | 37k| 0 | 0 | 29k| 637 | 27 |-2.410688e+02 |-5.500000e+01 | 77.18%
1371.65/1371.91 c 1372s|420000 | 39 |349399 | 0.0 | 105M| 70 | - |1000 | 37k| 0 | 0 | 29k| 650 | 27 |-2.410688e+02 |-5.500000e+01 | 77.18%
1372.85/1373.12 c 1373s|430000 | 34 |349399 | 0.0 | 105M| 70 | - |1000 | 37k| 0 | 0 | 29k| 661 | 27 |-2.410688e+02 |-5.500000e+01 | 77.18%
1374.05/1374.32 c 1374s|440000 | 33 |349399 | 0.0 | 105M| 70 | - |1000 | 37k| 0 | 0 | 29k| 668 | 27 |-2.410688e+02 |-5.500000e+01 | 77.18%
1375.25/1375.50 c 1375s|450000 | 33 |349399 | 0.0 | 105M| 70 | - |1000 | 37k| 0 | 0 | 29k| 682 | 27 |-2.410688e+02 |-5.500000e+01 | 77.18%
1376.45/1376.76 c 1377s|460000 | 33 |349399 | 0.0 | 105M| 70 | - |1000 | 37k| 0 | 0 | 29k| 695 | 27 |-2.410688e+02 |-5.500000e+01 | 77.18%
1377.65/1377.98 c 1378s|470000 | 34 |349399 | 0.0 | 105M| 70 | - |1000 | 37k| 0 | 0 | 29k| 709 | 27 |-2.410688e+02 |-5.500000e+01 | 77.18%
1378.95/1379.29 c 1379s|480000 | 37 |349399 | 0.0 | 105M| 70 | - |1000 | 37k| 0 | 0 | 29k| 725 | 27 |-2.410688e+02 |-5.500000e+01 | 77.18%
1379.45/1379.77 o -56
1379.45/1379.77 c *1380s|483276 | 45 |349399 | 0.0 | 105M| 70 | - |1000 | 37k| 0 | 0 | 29k| 735 | 27 |-2.410688e+02 |-5.600000e+01 | 76.77%
1380.35/1380.67 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1380.35/1380.67 c 1380s|490000 | 35 |349399 | 0.0 | 105M| 70 | - |1000 | 37k| 0 | 0 | 29k| 757 | 27 |-2.410688e+02 |-5.600000e+01 | 76.77%
1381.55/1381.88 c 1382s|500000 | 39 |349399 | 0.0 | 105M| 70 | - |1000 | 37k| 0 | 0 | 29k| 786 | 27 |-2.410688e+02 |-5.600000e+01 | 76.77%
1382.85/1383.11 c 1383s|510000 | 32 |349399 | 0.0 | 105M| 70 | - |1000 | 37k| 0 | 0 | 29k| 804 | 27 |-2.410688e+02 |-5.600000e+01 | 76.77%
1384.05/1384.36 c 1384s|520000 | 32 |349399 | 0.0 | 105M| 70 | - |1000 | 37k| 0 | 0 | 29k| 832 | 27 |-2.410688e+02 |-5.600000e+01 | 76.77%
1385.35/1385.62 c 1385s|530000 | 33 |349399 | 0.0 | 105M| 70 | - |1000 | 37k| 0 | 0 | 29k| 852 | 27 |-2.410688e+02 |-5.600000e+01 | 76.77%
1386.65/1386.92 c 1387s|540000 | 34 |349399 | 0.0 | 105M| 70 | - |1000 | 37k| 0 | 0 | 29k| 870 | 27 |-2.410688e+02 |-5.600000e+01 | 76.77%
1387.75/1388.06 c 1388s|550000 | 38 |349399 | 0.0 | 105M| 70 | - |1000 | 37k| 0 | 0 | 29k| 894 | 27 |-2.410688e+02 |-5.600000e+01 | 76.77%
1388.95/1389.25 c 1389s|560000 | 37 |349399 | 0.0 | 105M| 70 | - |1000 | 37k| 0 | 0 | 29k| 901 | 27 |-2.410688e+02 |-5.600000e+01 | 76.77%
1390.15/1390.43 c 1390s|570000 | 36 |349399 | 0.0 | 105M| 70 | - |1000 | 37k| 0 | 0 | 29k| 920 | 27 |-2.410688e+02 |-5.600000e+01 | 76.77%
1391.34/1391.63 c 1391s|580000 | 33 |349399 | 0.0 | 105M| 70 | - |1000 | 37k| 0 | 0 | 29k| 940 | 27 |-2.410688e+02 |-5.600000e+01 | 76.77%
1392.64/1392.92 c 1393s|590000 | 32 |349399 | 0.0 | 105M| 70 | - |1000 | 37k| 0 | 0 | 29k| 958 | 27 |-2.410688e+02 |-5.600000e+01 | 76.77%
1393.84/1394.11 c 1394s|600000 | 33 |349399 | 0.0 | 105M| 70 | - |1000 | 37k| 0 | 0 | 29k| 980 | 27 |-2.410688e+02 |-5.600000e+01 | 76.77%
1395.14/1395.45 c 1395s|610000 | 36 |349399 | 0.0 | 105M| 70 | - |1000 | 37k| 0 | 0 | 29k| 992 | 27 |-2.410688e+02 |-5.600000e+01 | 76.77%
1396.44/1396.74 c 1397s|620000 | 34 |349399 | 0.0 | 105M| 70 | - |1000 | 37k| 0 | 0 | 29k| 998 | 27 |-2.410688e+02 |-5.600000e+01 | 76.77%
1397.64/1397.91 c 1398s|630000 | 35 |349399 | 0.0 | 105M| 70 | - |1000 | 37k| 0 | 0 | 29k|1013 | 27 |-2.410688e+02 |-5.600000e+01 | 76.77%
1398.85/1399.20 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1398.85/1399.20 c 1399s|640000 | 34 |349399 | 0.0 | 105M| 70 | - |1000 | 37k| 0 | 0 | 29k|1028 | 27 |-2.410688e+02 |-5.600000e+01 | 76.77%
1400.14/1400.46 c 1400s|650000 | 33 |349399 | 0.0 | 105M| 70 | - |1000 | 37k| 0 | 0 | 29k|1037 | 27 |-2.410688e+02 |-5.600000e+01 | 76.77%
1401.44/1401.77 c 1402s|660000 | 33 |349399 | 0.0 | 105M| 70 | - |1000 | 37k| 0 | 0 | 29k|1056 | 27 |-2.410688e+02 |-5.600000e+01 | 76.77%
1402.74/1403.05 c 1403s|670000 | 33 |349399 | 0.0 | 105M| 70 | - |1000 | 37k| 0 | 0 | 29k|1068 | 27 |-2.410688e+02 |-5.600000e+01 | 76.77%
1404.04/1404.35 c 1404s|680000 | 37 |349399 | 0.0 | 105M| 70 | - |1000 | 37k| 0 | 0 | 29k|1079 | 27 |-2.410688e+02 |-5.600000e+01 | 76.77%
1405.34/1405.62 c 1405s|690000 | 33 |349399 | 0.0 | 105M| 70 | - |1000 | 37k| 0 | 0 | 29k|1085 | 27 |-2.410688e+02 |-5.600000e+01 | 76.77%
1406.55/1406.83 c 1407s|700000 | 32 |349399 | 0.0 | 105M| 70 | - |1000 | 37k| 0 | 0 | 29k|1100 | 27 |-2.410688e+02 |-5.600000e+01 | 76.77%
1407.75/1408.08 c 1408s|710000 | 34 |349399 | 0.0 | 105M| 70 | - |1000 | 37k| 0 | 0 | 29k|1109 | 27 |-2.410688e+02 |-5.600000e+01 | 76.77%
1409.24/1409.50 c 1409s|720000 | 31 |349399 | 0.0 | 105M| 70 | - |1000 | 37k| 0 | 0 | 29k|1120 | 27 |-2.410688e+02 |-5.600000e+01 | 76.77%
1410.44/1410.74 c 1411s|730000 | 31 |349399 | 0.0 | 105M| 70 | - |1000 | 37k| 0 | 0 | 29k|1129 | 27 |-2.410688e+02 |-5.600000e+01 | 76.77%
1411.74/1412.02 c 1412s|740000 | 32 |349399 | 0.0 | 105M| 70 | - |1000 | 37k| 0 | 0 | 29k|1147 | 27 |-2.410688e+02 |-5.600000e+01 | 76.77%
1412.94/1413.27 c 1413s|750000 | 34 |349399 | 0.0 | 105M| 70 | - |1000 | 37k| 0 | 0 | 29k|1159 | 27 |-2.410688e+02 |-5.600000e+01 | 76.77%
1414.35/1414.62 c 1414s|760000 | 31 |349399 | 0.0 | 105M| 70 | - |1000 | 37k| 0 | 0 | 29k|1184 | 27 |-2.410688e+02 |-5.600000e+01 | 76.77%
1415.54/1415.87 c 1416s|770000 | 33 |349399 | 0.0 | 105M| 70 | - |1000 | 37k| 0 | 0 | 29k|1208 | 27 |-2.410688e+02 |-5.600000e+01 | 76.77%
1416.84/1417.17 c 1417s|780000 | 31 |349399 | 0.0 | 105M| 70 | - |1000 | 37k| 0 | 0 | 29k|1226 | 27 |-2.410688e+02 |-5.600000e+01 | 76.77%
1418.14/1418.40 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1418.14/1418.40 c 1418s|790000 | 35 |349399 | 0.0 | 105M| 70 | - |1000 | 37k| 0 | 0 | 29k|1235 | 27 |-2.410688e+02 |-5.600000e+01 | 76.77%
1419.34/1419.66 c 1419s|800000 | 35 |349399 | 0.0 | 105M| 70 | - |1000 | 37k| 0 | 0 | 29k|1255 | 27 |-2.410688e+02 |-5.600000e+01 | 76.77%
1420.64/1420.97 c 1421s|810000 | 33 |349399 | 0.0 | 105M| 70 | - |1000 | 37k| 0 | 0 | 29k|1264 | 27 |-2.410688e+02 |-5.600000e+01 | 76.77%
1421.95/1422.23 c 1422s|820000 | 36 |349399 | 0.0 | 105M| 70 | - |1000 | 37k| 0 | 0 | 29k|1273 | 27 |-2.410688e+02 |-5.600000e+01 | 76.77%
1423.24/1423.51 c 1423s|830000 | 33 |349399 | 0.0 | 105M| 70 | - |1000 | 37k| 0 | 0 | 29k|1282 | 27 |-2.410688e+02 |-5.600000e+01 | 76.77%
1424.44/1424.74 c 1425s|840000 | 32 |349399 | 0.0 | 105M| 70 | - |1000 | 37k| 0 | 0 | 29k|1288 | 27 |-2.410688e+02 |-5.600000e+01 | 76.77%
1425.84/1426.11 c 1426s|850000 | 35 |349399 | 0.0 | 105M| 70 | - |1000 | 37k| 0 | 0 | 29k|1296 | 27 |-2.410688e+02 |-5.600000e+01 | 76.77%
1427.14/1427.41 c 1427s|860000 | 34 |349399 | 0.0 | 105M| 70 | - |1000 | 37k| 0 | 0 | 29k|1305 | 27 |-2.410688e+02 |-5.600000e+01 | 76.77%
1428.44/1428.75 c 1429s|870000 | 33 |349399 | 0.0 | 105M| 70 | - |1000 | 37k| 0 | 0 | 29k|1313 | 27 |-2.410688e+02 |-5.600000e+01 | 76.77%
1429.75/1430.04 c 1430s|880000 | 33 |349399 | 0.0 | 105M| 70 | - |1000 | 37k| 0 | 0 | 29k|1327 | 27 |-2.410688e+02 |-5.600000e+01 | 76.77%
1430.94/1431.29 c 1431s|890000 | 35 |349399 | 0.0 | 105M| 70 | - |1000 | 37k| 0 | 0 | 29k|1335 | 27 |-2.410688e+02 |-5.600000e+01 | 76.77%
1432.24/1432.52 c 1432s|900000 | 33 |349399 | 0.0 | 105M| 70 | - |1000 | 37k| 0 | 0 | 29k|1349 | 27 |-2.410688e+02 |-5.600000e+01 | 76.77%
1433.44/1433.71 c 1434s|910000 | 34 |349399 | 0.0 | 105M| 70 | - |1000 | 37k| 0 | 0 | 29k|1356 | 27 |-2.410688e+02 |-5.600000e+01 | 76.77%
1434.64/1434.97 c 1435s|920000 | 35 |349399 | 0.0 | 105M| 70 | - |1000 | 37k| 0 | 0 | 29k|1364 | 27 |-2.410688e+02 |-5.600000e+01 | 76.77%
1435.94/1436.20 c 1436s|930000 | 31 |349399 | 0.0 | 105M| 70 | - |1000 | 37k| 0 | 0 | 29k|1373 | 27 |-2.410688e+02 |-5.600000e+01 | 76.77%
1437.14/1437.43 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1437.14/1437.43 c 1437s|940000 | 35 |349399 | 0.0 | 105M| 70 | - |1000 | 37k| 0 | 0 | 29k|1389 | 27 |-2.410688e+02 |-5.600000e+01 | 76.77%
1438.34/1438.69 c 1438s|950000 | 34 |349399 | 0.0 | 105M| 70 | - |1000 | 37k| 0 | 0 | 29k|1407 | 27 |-2.410688e+02 |-5.600000e+01 | 76.77%
1439.64/1439.96 c 1440s|960000 | 33 |349399 | 0.0 | 105M| 70 | - |1000 | 37k| 0 | 0 | 29k|1422 | 27 |-2.410688e+02 |-5.600000e+01 | 76.77%
1440.84/1441.14 c 1441s|970000 | 36 |349399 | 0.0 | 105M| 70 | - |1000 | 37k| 0 | 0 | 29k|1439 | 27 |-2.410688e+02 |-5.600000e+01 | 76.77%
1442.04/1442.36 c 1442s|980000 | 32 |349399 | 0.0 | 105M| 70 | - |1000 | 37k| 0 | 0 | 29k|1452 | 27 |-2.410688e+02 |-5.600000e+01 | 76.77%
1443.34/1443.66 c 1443s|990000 | 34 |349399 | 0.0 | 105M| 70 | - |1000 | 37k| 0 | 0 | 29k|1473 | 27 |-2.410688e+02 |-5.600000e+01 | 76.77%
1444.64/1444.95 c 1445s| 1000k| 36 |349399 | 0.0 | 105M| 70 | - |1000 | 37k| 0 | 0 | 29k|1493 | 27 |-2.410688e+02 |-5.600000e+01 | 76.77%
1445.94/1446.21 c 1446s| 1010k| 32 |349399 | 0.0 | 105M| 70 | - |1000 | 37k| 0 | 0 | 29k|1511 | 27 |-2.410688e+02 |-5.600000e+01 | 76.77%
1447.14/1447.50 c 1447s| 1020k| 34 |349399 | 0.0 | 105M| 70 | - |1000 | 37k| 0 | 0 | 29k|1525 | 27 |-2.410688e+02 |-5.600000e+01 | 76.77%
1448.44/1448.79 c 1449s| 1030k| 34 |349399 | 0.0 | 105M| 70 | - |1000 | 37k| 0 | 0 | 29k|1537 | 27 |-2.410688e+02 |-5.600000e+01 | 76.77%
1449.74/1450.08 c 1450s| 1040k| 34 |349399 | 0.0 | 105M| 70 | - |1000 | 37k| 0 | 0 | 29k|1556 | 27 |-2.410688e+02 |-5.600000e+01 | 76.77%
1451.04/1451.39 c 1451s| 1050k| 35 |349399 | 0.0 | 105M| 70 | - |1000 | 37k| 0 | 0 | 29k|1571 | 27 |-2.410688e+02 |-5.600000e+01 | 76.77%
1452.44/1452.74 c 1453s| 1060k| 33 |349399 | 0.0 | 105M| 70 | - |1000 | 37k| 0 | 0 | 29k|1588 | 27 |-2.410688e+02 |-5.600000e+01 | 76.77%
1453.74/1454.09 c 1454s| 1070k| 34 |349399 | 0.0 | 105M| 70 | - |1000 | 37k| 0 | 0 | 29k|1619 | 27 |-2.410688e+02 |-5.600000e+01 | 76.77%
1455.04/1455.37 c 1455s| 1080k| 33 |349399 | 0.0 | 105M| 70 | - |1000 | 37k| 0 | 0 | 29k|1640 | 27 |-2.410688e+02 |-5.600000e+01 | 76.77%
1456.44/1456.71 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1456.44/1456.71 c 1457s| 1090k| 29 |349399 | 0.0 | 105M| 70 | - |1000 | 37k| 0 | 0 | 29k|1662 | 27 |-2.410688e+02 |-5.600000e+01 | 76.77%
1457.73/1458.00 c 1458s| 1100k| 35 |349399 | 0.0 | 105M| 70 | - |1000 | 37k| 0 | 0 | 29k|1673 | 27 |-2.410688e+02 |-5.600000e+01 | 76.77%
1458.93/1459.28 c 1459s| 1110k| 37 |349399 | 0.0 | 105M| 70 | - |1000 | 37k| 0 | 0 | 29k|1684 | 27 |-2.410688e+02 |-5.600000e+01 | 76.77%
1460.23/1460.56 c 1460s| 1120k| 33 |349399 | 0.0 | 105M| 70 | - |1000 | 37k| 0 | 0 | 29k|1704 | 27 |-2.410688e+02 |-5.600000e+01 | 76.77%
1461.43/1461.78 c 1462s| 1130k| 34 |349399 | 0.0 | 105M| 70 | - |1000 | 37k| 0 | 0 | 29k|1713 | 27 |-2.410688e+02 |-5.600000e+01 | 76.77%
1462.74/1463.00 c 1463s| 1140k| 32 |349399 | 0.0 | 105M| 70 | - |1000 | 37k| 0 | 0 | 29k|1718 | 27 |-2.410688e+02 |-5.600000e+01 | 76.77%
1464.03/1464.33 c 1464s| 1150k| 31 |349399 | 0.0 | 105M| 70 | - |1000 | 37k| 0 | 0 | 29k|1730 | 27 |-2.410688e+02 |-5.600000e+01 | 76.77%
1465.23/1465.58 c 1465s| 1160k| 31 |349399 | 0.0 | 105M| 70 | - |1000 | 37k| 0 | 0 | 29k|1742 | 27 |-2.410688e+02 |-5.600000e+01 | 76.77%
1466.53/1466.88 c 1467s| 1170k| 31 |349399 | 0.0 | 105M| 70 | - |1000 | 37k| 0 | 0 | 29k|1764 | 27 |-2.410688e+02 |-5.600000e+01 | 76.77%
1467.93/1468.22 c 1468s| 1180k| 32 |349399 | 0.0 | 105M| 70 | - |1000 | 37k| 0 | 0 | 29k|1782 | 27 |-2.410688e+02 |-5.600000e+01 | 76.77%
1469.24/1469.52 c 1469s| 1190k| 30 |349399 | 0.0 | 105M| 70 | - |1000 | 37k| 0 | 0 | 29k|1790 | 27 |-2.410688e+02 |-5.600000e+01 | 76.77%
1470.44/1470.79 c 1471s| 1200k| 31 |349399 | 0.0 | 105M| 70 | - |1000 | 37k| 0 | 0 | 29k|1799 | 27 |-2.410688e+02 |-5.600000e+01 | 76.77%
1471.83/1472.19 c 1472s| 1210k| 36 |349399 | 0.0 | 105M| 70 | - |1000 | 37k| 0 | 0 | 29k|1817 | 27 |-2.410688e+02 |-5.600000e+01 | 76.77%
1473.43/1473.70 c 1474s| 1220k| 34 |349399 | 0.0 | 105M| 70 | - |1000 | 37k| 0 | 0 | 29k|1833 | 27 |-2.410688e+02 |-5.600000e+01 | 76.77%
1474.93/1475.22 c 1475s| 1230k| 36 |349399 | 0.0 | 105M| 70 | - |1000 | 37k| 0 | 0 | 29k|1844 | 27 |-2.410688e+02 |-5.600000e+01 | 76.77%
1476.33/1476.63 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1476.33/1476.63 c 1476s| 1240k| 38 |349399 | 0.0 | 105M| 70 | - |1000 | 37k| 0 | 0 | 29k|1855 | 27 |-2.410688e+02 |-5.600000e+01 | 76.77%
1477.73/1478.05 c 1478s| 1250k| 33 |349399 | 0.0 | 105M| 70 | - |1000 | 37k| 0 | 0 | 29k|1868 | 27 |-2.410688e+02 |-5.600000e+01 | 76.77%
1479.14/1479.44 c 1479s| 1260k| 37 |349399 | 0.0 | 105M| 70 | - |1000 | 37k| 0 | 0 | 29k|1897 | 27 |-2.410688e+02 |-5.600000e+01 | 76.77%
1480.43/1480.78 c 1481s| 1270k| 37 |349399 | 0.0 | 105M| 70 | - |1000 | 37k| 0 | 0 | 29k|1914 | 27 |-2.410688e+02 |-5.600000e+01 | 76.77%
1481.83/1482.17 c 1482s| 1280k| 37 |349399 | 0.0 | 105M| 70 | - |1000 | 37k| 0 | 0 | 29k|1945 | 27 |-2.410688e+02 |-5.600000e+01 | 76.77%
1483.33/1483.63 c 1483s| 1290k| 34 |349399 | 0.0 | 105M| 70 | - |1000 | 37k| 0 | 0 | 29k|1966 | 27 |-2.410688e+02 |-5.600000e+01 | 76.77%
1484.74/1485.03 c 1485s| 1300k| 34 |349399 | 0.0 | 105M| 70 | - |1000 | 37k| 0 | 0 | 29k|1995 | 27 |-2.410688e+02 |-5.600000e+01 | 76.77%
1486.13/1486.47 c 1486s| 1310k| 35 |349399 | 0.0 | 105M| 70 | - |1000 | 37k| 0 | 0 | 29k|2008 | 27 |-2.410688e+02 |-5.600000e+01 | 76.77%
1487.63/1487.94 c 1488s| 1320k| 38 |349399 | 0.0 | 105M| 70 | - |1000 | 37k| 0 | 0 | 29k|2022 | 27 |-2.410688e+02 |-5.600000e+01 | 76.77%
1489.04/1489.35 c 1489s| 1330k| 35 |349399 | 0.0 | 105M| 70 | - |1000 | 37k| 0 | 0 | 29k|2032 | 27 |-2.410688e+02 |-5.600000e+01 | 76.77%
1490.53/1490.86 c 1491s| 1340k| 33 |349399 | 0.0 | 105M| 70 | - |1000 | 37k| 0 | 0 | 29k|2045 | 27 |-2.410688e+02 |-5.600000e+01 | 76.77%
1491.93/1492.26 c 1492s| 1350k| 33 |349399 | 0.0 | 105M| 70 | - |1000 | 37k| 0 | 0 | 29k|2062 | 27 |-2.410688e+02 |-5.600000e+01 | 76.77%
1493.33/1493.69 c 1493s| 1360k| 36 |349399 | 0.0 | 105M| 70 | - |1000 | 37k| 0 | 0 | 29k|2070 | 27 |-2.410688e+02 |-5.600000e+01 | 76.77%
1494.83/1495.17 c 1495s| 1370k| 35 |349399 | 0.0 | 105M| 70 | - |1000 | 37k| 0 | 0 | 29k|2085 | 27 |-2.410688e+02 |-5.600000e+01 | 76.77%
1496.33/1496.64 c 1496s| 1380k| 34 |349399 | 0.0 | 105M| 70 | - |1000 | 37k| 0 | 0 | 29k|2088 | 27 |-2.410688e+02 |-5.600000e+01 | 76.77%
1497.83/1498.15 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1497.83/1498.15 c 1498s| 1390k| 35 |349399 | 0.0 | 105M| 70 | - |1000 | 37k| 0 | 0 | 29k|2102 | 27 |-2.410688e+02 |-5.600000e+01 | 76.77%
1499.23/1499.57 c 1499s| 1400k| 32 |349399 | 0.0 | 105M| 70 | - |1000 | 37k| 0 | 0 | 29k|2123 | 27 |-2.410688e+02 |-5.600000e+01 | 76.77%
1500.73/1501.06 c 1501s| 1410k| 34 |349399 | 0.0 | 105M| 70 | - |1000 | 37k| 0 | 0 | 29k|2145 | 27 |-2.410688e+02 |-5.600000e+01 | 76.77%
1502.13/1502.41 c 1502s| 1420k| 36 |349399 | 0.0 | 105M| 70 | - |1000 | 37k| 0 | 0 | 29k|2156 | 27 |-2.410688e+02 |-5.600000e+01 | 76.77%
1503.53/1503.84 c 1504s| 1430k| 33 |349399 | 0.0 | 105M| 70 | - |1000 | 37k| 0 | 0 | 29k|2179 | 27 |-2.410688e+02 |-5.600000e+01 | 76.77%
1504.93/1505.27 c 1505s| 1440k| 33 |349399 | 0.0 | 105M| 70 | - |1000 | 37k| 0 | 0 | 29k|2194 | 27 |-2.410688e+02 |-5.600000e+01 | 76.77%
1506.33/1506.68 c 1506s| 1450k| 36 |349399 | 0.0 | 105M| 70 | - |1000 | 37k| 0 | 0 | 29k|2220 | 27 |-2.410688e+02 |-5.600000e+01 | 76.77%
1507.83/1508.17 c 1508s| 1460k| 34 |349399 | 0.0 | 105M| 70 | - |1000 | 37k| 0 | 0 | 29k|2239 | 27 |-2.410688e+02 |-5.600000e+01 | 76.77%
1509.23/1509.53 c 1509s| 1470k| 33 |349399 | 0.0 | 105M| 70 | - |1000 | 37k| 0 | 0 | 29k|2250 | 27 |-2.410688e+02 |-5.600000e+01 | 76.77%
1510.73/1511.02 c 1511s| 1480k| 35 |349399 | 0.0 | 105M| 70 | - |1000 | 37k| 0 | 0 | 29k|2285 | 27 |-2.410688e+02 |-5.600000e+01 | 76.77%
1512.23/1512.52 c 1512s| 1490k| 37 |349399 | 0.0 | 105M| 70 | - |1000 | 37k| 0 | 0 | 29k|2304 | 27 |-2.410688e+02 |-5.600000e+01 | 76.77%
1513.63/1513.95 c 1514s| 1500k| 33 |349399 | 0.0 | 105M| 70 | - |1000 | 37k| 0 | 0 | 29k|2317 | 27 |-2.410688e+02 |-5.600000e+01 | 76.77%
1515.03/1515.34 c 1515s| 1510k| 34 |349399 | 0.0 | 105M| 70 | - |1000 | 37k| 0 | 0 | 29k|2327 | 27 |-2.410688e+02 |-5.600000e+01 | 76.77%
1516.33/1516.67 c 1516s| 1520k| 31 |349399 | 0.0 | 105M| 70 | - |1000 | 37k| 0 | 0 | 29k|2334 | 27 |-2.410688e+02 |-5.600000e+01 | 76.77%
1517.73/1518.04 c 1518s| 1530k| 32 |349399 | 0.0 | 105M| 70 | - |1000 | 37k| 0 | 0 | 29k|2344 | 27 |-2.410688e+02 |-5.600000e+01 | 76.77%
1519.13/1519.46 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1519.13/1519.46 c 1519s| 1540k| 35 |349399 | 0.0 | 105M| 70 | - |1000 | 37k| 0 | 0 | 29k|2353 | 27 |-2.410688e+02 |-5.600000e+01 | 76.77%
1520.53/1520.81 c 1521s| 1550k| 34 |349399 | 0.0 | 105M| 70 | - |1000 | 37k| 0 | 0 | 29k|2363 | 27 |-2.410688e+02 |-5.600000e+01 | 76.77%
1521.93/1522.22 c 1522s| 1560k| 32 |349399 | 0.0 | 105M| 70 | - |1000 | 37k| 0 | 0 | 29k|2374 | 27 |-2.410688e+02 |-5.600000e+01 | 76.77%
1523.23/1523.53 c 1523s| 1570k| 32 |349399 | 0.0 | 105M| 70 | - |1000 | 37k| 0 | 0 | 29k|2394 | 27 |-2.410688e+02 |-5.600000e+01 | 76.77%
1524.62/1524.98 c 1525s| 1580k| 34 |349399 | 0.0 | 105M| 70 | - |1000 | 37k| 0 | 0 | 29k|2410 | 27 |-2.410688e+02 |-5.600000e+01 | 76.77%
1526.02/1526.35 c 1526s| 1590k| 37 |349399 | 0.0 | 105M| 70 | - |1000 | 37k| 0 | 0 | 29k|2430 | 27 |-2.410688e+02 |-5.600000e+01 | 76.77%
1527.42/1527.70 c 1528s| 1600k| 34 |349399 | 0.0 | 105M| 70 | - |1000 | 37k| 0 | 0 | 29k|2449 | 27 |-2.410688e+02 |-5.600000e+01 | 76.77%
1528.82/1529.10 c 1529s| 1610k| 36 |349399 | 0.0 | 105M| 70 | - |1000 | 37k| 0 | 0 | 29k|2471 | 27 |-2.410688e+02 |-5.600000e+01 | 76.77%
1530.22/1530.55 c 1530s| 1620k| 34 |349399 | 0.0 | 105M| 70 | - |1000 | 37k| 0 | 0 | 29k|2481 | 27 |-2.410688e+02 |-5.600000e+01 | 76.77%
1531.62/1531.93 c 1532s| 1630k| 34 |349399 | 0.0 | 105M| 70 | - |1000 | 37k| 0 | 0 | 29k|2492 | 27 |-2.410688e+02 |-5.600000e+01 | 76.77%
1533.03/1533.33 c 1533s| 1640k| 34 |349399 | 0.0 | 105M| 70 | - |1000 | 37k| 0 | 0 | 29k|2503 | 27 |-2.410688e+02 |-5.600000e+01 | 76.77%
1534.32/1534.62 c 1534s| 1650k| 32 |349399 | 0.0 | 105M| 70 | - |1000 | 37k| 0 | 0 | 29k|2521 | 27 |-2.410688e+02 |-5.600000e+01 | 76.77%
1535.72/1536.04 c 1536s| 1660k| 33 |349399 | 0.0 | 105M| 70 | - |1000 | 37k| 0 | 0 | 29k|2536 | 27 |-2.410688e+02 |-5.600000e+01 | 76.77%
1537.12/1537.42 c 1537s| 1670k| 32 |349399 | 0.0 | 105M| 70 | - |1000 | 37k| 0 | 0 | 29k|2557 | 27 |-2.410688e+02 |-5.600000e+01 | 76.77%
1538.42/1538.77 c 1539s| 1680k| 37 |349399 | 0.0 | 105M| 70 | - |1000 | 37k| 0 | 0 | 29k|2587 | 27 |-2.410688e+02 |-5.600000e+01 | 76.77%
1539.73/1540.09 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1539.73/1540.09 c 1540s| 1690k| 37 |349399 | 0.0 | 105M| 70 | - |1000 | 37k| 0 | 0 | 29k|2603 | 27 |-2.410688e+02 |-5.600000e+01 | 76.77%
1541.22/1541.57 c 1541s| 1700k| 36 |349399 | 0.0 | 105M| 70 | - |1000 | 37k| 0 | 0 | 29k|2612 | 27 |-2.410688e+02 |-5.600000e+01 | 76.77%
1542.72/1543.02 c 1543s| 1710k| 32 |349399 | 0.0 | 105M| 70 | - |1000 | 37k| 0 | 0 | 29k|2637 | 27 |-2.410688e+02 |-5.600000e+01 | 76.77%
1544.03/1544.33 c 1544s| 1720k| 34 |349399 | 0.0 | 105M| 70 | - |1000 | 37k| 0 | 0 | 29k|2662 | 27 |-2.410688e+02 |-5.600000e+01 | 76.77%
1545.52/1545.87 c 1546s| 1730k| 34 |349399 | 0.0 | 105M| 70 | - |1000 | 37k| 0 | 0 | 29k|2683 | 27 |-2.410688e+02 |-5.600000e+01 | 76.77%
1546.92/1547.22 c 1547s| 1740k| 31 |349399 | 0.0 | 105M| 70 | - |1000 | 37k| 0 | 0 | 29k|2693 | 27 |-2.410688e+02 |-5.600000e+01 | 76.77%
1548.32/1548.66 c 1548s| 1750k| 33 |349399 | 0.0 | 105M| 70 | - |1000 | 37k| 0 | 0 | 29k|2716 | 27 |-2.410688e+02 |-5.600000e+01 | 76.77%
1549.82/1550.18 c 1550s| 1760k| 32 |349399 | 0.0 | 105M| 70 | - |1000 | 37k| 0 | 0 | 29k|2738 | 27 |-2.410688e+02 |-5.600000e+01 | 76.77%
1551.32/1551.61 c 1551s| 1770k| 33 |349399 | 0.0 | 105M| 70 | - |1000 | 37k| 0 | 0 | 29k|2750 | 27 |-2.410688e+02 |-5.600000e+01 | 76.77%
1552.72/1553.04 c 1553s| 1780k| 37 |349399 | 0.0 | 105M| 70 | - |1000 | 37k| 0 | 0 | 29k|2769 | 27 |-2.410688e+02 |-5.600000e+01 | 76.77%
1554.12/1554.43 c 1554s| 1790k| 36 |349399 | 0.0 | 105M| 70 | - |1000 | 37k| 0 | 0 | 29k|2787 | 27 |-2.410688e+02 |-5.600000e+01 | 76.77%
1555.42/1555.79 c 1556s| 1800k| 34 |349399 | 0.0 | 105M| 70 | - |1000 | 37k| 0 | 0 | 29k|2798 | 27 |-2.410688e+02 |-5.600000e+01 | 76.77%
1556.92/1557.20 c 1557s| 1810k| 32 |349399 | 0.0 | 105M| 70 | - |1000 | 37k| 0 | 0 | 29k|2808 | 27 |-2.410688e+02 |-5.600000e+01 | 76.77%
1558.33/1558.63 c 1558s| 1820k| 36 |349399 | 0.0 | 105M| 70 | - |1000 | 37k| 0 | 0 | 29k|2829 | 27 |-2.410688e+02 |-5.600000e+01 | 76.77%
1559.62/1559.99 c 1560s| 1830k| 34 |349399 | 0.0 | 105M| 70 | - |1000 | 37k| 0 | 0 | 29k|2848 | 27 |-2.410688e+02 |-5.600000e+01 | 76.77%
1561.02/1561.40 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1561.02/1561.40 c 1561s| 1840k| 34 |349399 | 0.0 | 105M| 70 | - |1000 | 37k| 0 | 0 | 29k|2869 | 27 |-2.410688e+02 |-5.600000e+01 | 76.77%
1562.42/1562.79 c 1563s| 1850k| 34 |349399 | 0.0 | 105M| 70 | - |1000 | 37k| 0 | 0 | 29k|2896 | 27 |-2.410688e+02 |-5.600000e+01 | 76.77%
1563.92/1564.25 c 1564s| 1860k| 36 |349399 | 0.0 | 105M| 70 | - |1000 | 37k| 0 | 0 | 29k|2913 | 27 |-2.410688e+02 |-5.600000e+01 | 76.77%
1565.32/1565.65 c 1565s| 1870k| 36 |349399 | 0.0 | 105M| 70 | - |1000 | 37k| 0 | 0 | 29k|2937 | 27 |-2.410688e+02 |-5.600000e+01 | 76.77%
1566.72/1567.04 c 1567s| 1880k| 37 |349399 | 0.0 | 105M| 70 | - |1000 | 37k| 0 | 0 | 29k|2979 | 27 |-2.410688e+02 |-5.600000e+01 | 76.77%
1568.02/1568.33 c 1568s| 1890k| 35 |349399 | 0.0 | 105M| 70 | - |1000 | 37k| 0 | 0 | 29k|3017 | 27 |-2.410688e+02 |-5.600000e+01 | 76.77%
1569.42/1569.77 c 1570s| 1900k| 34 |349399 | 0.0 | 105M| 70 | - |1000 | 37k| 0 | 0 | 29k|3039 | 27 |-2.410688e+02 |-5.600000e+01 | 76.77%
1570.72/1571.02 c 1571s| 1910k| 32 |349399 | 0.0 | 105M| 70 | - |1000 | 37k| 0 | 0 | 29k|3055 | 27 |-2.410688e+02 |-5.600000e+01 | 76.77%
1572.12/1572.43 c 1572s| 1920k| 31 |349399 | 0.0 | 105M| 70 | - |1000 | 37k| 0 | 0 | 29k|3082 | 27 |-2.410688e+02 |-5.600000e+01 | 76.77%
1573.52/1573.80 c 1574s| 1930k| 36 |349399 | 0.0 | 105M| 70 | - |1000 | 37k| 0 | 0 | 29k|3096 | 27 |-2.410688e+02 |-5.600000e+01 | 76.77%
1574.82/1575.13 c 1575s| 1940k| 35 |349399 | 0.0 | 105M| 70 | - |1000 | 37k| 0 | 0 | 29k|3110 | 27 |-2.410688e+02 |-5.600000e+01 | 76.77%
1576.22/1576.50 c 1576s| 1950k| 33 |349399 | 0.0 | 105M| 70 | - |1000 | 37k| 0 | 0 | 29k|3136 | 27 |-2.410688e+02 |-5.600000e+01 | 76.77%
1577.62/1577.93 c 1578s| 1960k| 32 |349399 | 0.0 | 105M| 70 | - |1000 | 37k| 0 | 0 | 29k|3159 | 27 |-2.410688e+02 |-5.600000e+01 | 76.77%
1579.02/1579.35 c 1579s| 1970k| 32 |349399 | 0.0 | 105M| 70 | - |1000 | 37k| 0 | 0 | 29k|3174 | 27 |-2.410688e+02 |-5.600000e+01 | 76.77%
1580.32/1580.70 c 1581s| 1980k| 34 |349399 | 0.0 | 105M| 70 | - |1000 | 37k| 0 | 0 | 29k|3189 | 27 |-2.410688e+02 |-5.600000e+01 | 76.77%
1581.72/1582.08 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1581.72/1582.08 c 1582s| 1990k| 34 |349399 | 0.0 | 105M| 70 | - |1000 | 37k| 0 | 0 | 29k|3204 | 27 |-2.410688e+02 |-5.600000e+01 | 76.77%
1583.12/1583.44 c 1583s| 2000k| 30 |349399 | 0.0 | 105M| 70 | - |1000 | 37k| 0 | 0 | 29k|3226 | 27 |-2.410688e+02 |-5.600000e+01 | 76.77%
1584.52/1584.80 c 1585s| 2010k| 35 |349399 | 0.0 | 105M| 70 | - |1000 | 37k| 0 | 0 | 29k|3255 | 27 |-2.410688e+02 |-5.600000e+01 | 76.77%
1585.92/1586.23 c 1586s| 2020k| 34 |349399 | 0.0 | 105M| 70 | - |1000 | 37k| 0 | 0 | 29k|3285 | 27 |-2.410688e+02 |-5.600000e+01 | 76.77%
1587.42/1587.72 c 1588s| 2030k| 38 |349399 | 0.0 | 105M| 70 | - |1000 | 37k| 0 | 0 | 29k|3313 | 27 |-2.410688e+02 |-5.600000e+01 | 76.77%
1588.81/1589.18 c 1589s| 2040k| 33 |349399 | 0.0 | 105M| 70 | - |1000 | 37k| 0 | 0 | 29k|3337 | 27 |-2.410688e+02 |-5.600000e+01 | 76.77%
1590.41/1590.72 c 1591s| 2050k| 34 |349399 | 0.0 | 105M| 70 | - |1000 | 37k| 0 | 0 | 29k|3367 | 27 |-2.410688e+02 |-5.600000e+01 | 76.77%
1591.71/1592.05 c 1592s| 2060k| 33 |349399 | 0.0 | 105M| 70 | - |1000 | 37k| 0 | 0 | 29k|3383 | 27 |-2.410688e+02 |-5.600000e+01 | 76.77%
1593.11/1593.48 c 1593s| 2070k| 34 |349399 | 0.0 | 105M| 70 | - |1000 | 37k| 0 | 0 | 29k|3413 | 27 |-2.410688e+02 |-5.600000e+01 | 76.77%
1594.62/1594.95 c 1595s| 2080k| 36 |349399 | 0.0 | 105M| 70 | - |1000 | 37k| 0 | 0 | 29k|3437 | 27 |-2.410688e+02 |-5.600000e+01 | 76.77%
1596.01/1596.34 c 1596s| 2090k| 32 |349399 | 0.0 | 105M| 70 | - |1000 | 37k| 0 | 0 | 29k|3458 | 27 |-2.410688e+02 |-5.600000e+01 | 76.77%
1597.21/1597.59 c 1597s| 2100k| 34 |349399 | 0.0 | 105M| 70 | - |1000 | 37k| 0 | 0 | 29k|3485 | 27 |-2.410688e+02 |-5.600000e+01 | 76.77%
1598.71/1599.01 c 1599s| 2110k| 35 |349399 | 0.0 | 105M| 70 | - |1000 | 37k| 0 | 0 | 29k|3506 | 27 |-2.410688e+02 |-5.600000e+01 | 76.77%
1600.01/1600.33 c 1600s| 2120k| 32 |349399 | 0.0 | 105M| 70 | - |1000 | 37k| 0 | 0 | 29k|3524 | 27 |-2.410688e+02 |-5.600000e+01 | 76.77%
1601.32/1601.68 c 1601s| 2130k| 34 |349399 | 0.0 | 105M| 70 | - |1000 | 37k| 0 | 0 | 29k|3544 | 27 |-2.410688e+02 |-5.600000e+01 | 76.77%
1602.81/1603.12 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1602.81/1603.12 c 1603s| 2140k| 33 |349399 | 0.0 | 105M| 70 | - |1000 | 37k| 0 | 0 | 29k|3558 | 27 |-2.410688e+02 |-5.600000e+01 | 76.77%
1604.31/1604.61 c 1604s| 2150k| 36 |349399 | 0.0 | 105M| 70 | - |1000 | 37k| 0 | 0 | 29k|3580 | 27 |-2.410688e+02 |-5.600000e+01 | 76.77%
1605.62/1605.95 c 1606s| 2160k| 39 |349399 | 0.0 | 105M| 70 | - |1000 | 37k| 0 | 0 | 29k|3598 | 27 |-2.410688e+02 |-5.600000e+01 | 76.77%
1606.91/1607.29 c 1607s| 2170k| 33 |349399 | 0.0 | 105M| 70 | - |1000 | 37k| 0 | 0 | 29k|3614 | 27 |-2.410688e+02 |-5.600000e+01 | 76.77%
1608.31/1608.64 c 1608s| 2180k| 34 |349399 | 0.0 | 105M| 70 | - |1000 | 37k| 0 | 0 | 29k|3626 | 27 |-2.410688e+02 |-5.600000e+01 | 76.77%
1609.81/1610.10 c 1610s| 2190k| 36 |349399 | 0.0 | 105M| 70 | - |1000 | 37k| 0 | 0 | 29k|3643 | 27 |-2.410688e+02 |-5.600000e+01 | 76.77%
1611.12/1611.45 c 1611s| 2200k| 37 |349399 | 0.0 | 105M| 70 | - |1000 | 37k| 0 | 0 | 29k|3666 | 27 |-2.410688e+02 |-5.600000e+01 | 76.77%
1612.41/1612.75 c 1613s| 2210k| 33 |349399 | 0.0 | 105M| 70 | - |1000 | 37k| 0 | 0 | 29k|3685 | 27 |-2.410688e+02 |-5.600000e+01 | 76.77%
1613.81/1614.13 c 1614s| 2220k| 37 |349399 | 0.0 | 105M| 70 | - |1000 | 37k| 0 | 0 | 29k|3690 | 27 |-2.410688e+02 |-5.600000e+01 | 76.77%
1615.11/1615.44 c 1615s| 2230k| 34 |349399 | 0.0 | 105M| 70 | - |1000 | 37k| 0 | 0 | 29k|3714 | 27 |-2.410688e+02 |-5.600000e+01 | 76.77%
1616.51/1616.86 c 1617s| 2240k| 30 |349399 | 0.0 | 105M| 70 | - |1000 | 37k| 0 | 0 | 29k|3734 | 27 |-2.410688e+02 |-5.600000e+01 | 76.77%
1617.91/1618.24 c 1618s| 2250k| 33 |349399 | 0.0 | 105M| 70 | - |1000 | 37k| 0 | 0 | 29k|3759 | 27 |-2.410688e+02 |-5.600000e+01 | 76.77%
1619.21/1619.54 c 1619s| 2260k| 33 |349399 | 0.0 | 105M| 70 | - |1000 | 37k| 0 | 0 | 29k|3774 | 27 |-2.410688e+02 |-5.600000e+01 | 76.77%
1620.51/1620.85 c 1621s| 2270k| 34 |349399 | 0.0 | 105M| 70 | - |1000 | 37k| 0 | 0 | 29k|3786 | 27 |-2.410688e+02 |-5.600000e+01 | 76.77%
1621.91/1622.25 c 1622s| 2280k| 35 |349399 | 0.0 | 105M| 70 | - |1000 | 37k| 0 | 0 | 29k|3818 | 27 |-2.410688e+02 |-5.600000e+01 | 76.77%
1623.22/1623.58 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1623.22/1623.58 c 1623s| 2290k| 36 |349399 | 0.0 | 105M| 70 | - |1000 | 37k| 0 | 0 | 29k|3835 | 27 |-2.410688e+02 |-5.600000e+01 | 76.77%
1624.61/1624.91 c 1625s| 2300k| 34 |349399 | 0.0 | 105M| 70 | - |1000 | 37k| 0 | 0 | 29k|3865 | 27 |-2.410688e+02 |-5.600000e+01 | 76.77%
1626.01/1626.38 c 1626s| 2310k| 32 |349399 | 0.0 | 105M| 70 | - |1000 | 37k| 0 | 0 | 29k|3882 | 27 |-2.410688e+02 |-5.600000e+01 | 76.77%
1627.31/1627.65 c 1627s| 2320k| 32 |349399 | 0.0 | 105M| 70 | - |1000 | 37k| 0 | 0 | 29k|3909 | 27 |-2.410688e+02 |-5.600000e+01 | 76.77%
1628.61/1628.92 c 1629s| 2330k| 36 |349399 | 0.0 | 105M| 70 | - |1000 | 37k| 0 | 0 | 29k|3927 | 27 |-2.410688e+02 |-5.600000e+01 | 76.77%
1629.91/1630.26 c 1630s| 2340k| 33 |349399 | 0.0 | 105M| 70 | - |1000 | 37k| 0 | 0 | 29k|3945 | 27 |-2.410688e+02 |-5.600000e+01 | 76.77%
1631.21/1631.50 c 1631s| 2350k| 33 |349399 | 0.0 | 105M| 70 | - |1000 | 37k| 0 | 0 | 29k|3970 | 27 |-2.410688e+02 |-5.600000e+01 | 76.77%
1632.41/1632.74 c 1633s| 2360k| 32 |349399 | 0.0 | 105M| 70 | - |1000 | 37k| 0 | 0 | 29k|3982 | 27 |-2.410688e+02 |-5.600000e+01 | 76.77%
1633.71/1634.09 c 1634s| 2370k| 32 |349399 | 0.0 | 105M| 70 | - |1000 | 37k| 0 | 0 | 29k|4001 | 27 |-2.410688e+02 |-5.600000e+01 | 76.77%
1635.11/1635.48 c 1635s| 2380k| 33 |349399 | 0.0 | 105M| 70 | - |1000 | 37k| 0 | 0 | 29k|4012 | 27 |-2.410688e+02 |-5.600000e+01 | 76.77%
1636.51/1636.86 c 1637s| 2390k| 34 |349399 | 0.0 | 105M| 70 | - |1000 | 37k| 0 | 0 | 29k|4026 | 27 |-2.410688e+02 |-5.600000e+01 | 76.77%
1637.81/1638.10 c 1638s| 2400k| 32 |349399 | 0.0 | 105M| 70 | - |1000 | 37k| 0 | 0 | 29k|4049 | 27 |-2.410688e+02 |-5.600000e+01 | 76.77%
1639.21/1639.54 c 1639s| 2410k| 32 |349399 | 0.0 | 105M| 70 | - |1000 | 37k| 0 | 0 | 29k|4064 | 27 |-2.410688e+02 |-5.600000e+01 | 76.77%
1640.51/1640.88 c 1641s| 2420k| 30 |349399 | 0.0 | 105M| 70 | - |1000 | 37k| 0 | 0 | 29k|4082 | 27 |-2.410688e+02 |-5.600000e+01 | 76.77%
1641.81/1642.12 c 1642s| 2430k| 32 |349399 | 0.0 | 105M| 70 | - |1000 | 37k| 0 | 0 | 29k|4091 | 27 |-2.410688e+02 |-5.600000e+01 | 76.77%
1643.11/1643.44 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1643.11/1643.44 c 1643s| 2440k| 37 |349399 | 0.0 | 105M| 70 | - |1000 | 37k| 0 | 0 | 29k|4111 | 27 |-2.410688e+02 |-5.600000e+01 | 76.77%
1644.41/1644.75 c 1645s| 2450k| 31 |349399 | 0.0 | 105M| 70 | - |1000 | 37k| 0 | 0 | 29k|4125 | 27 |-2.410688e+02 |-5.600000e+01 | 76.77%
1645.71/1646.05 c 1646s| 2460k| 38 |349399 | 0.0 | 105M| 70 | - |1000 | 37k| 0 | 0 | 29k|4136 | 27 |-2.410688e+02 |-5.600000e+01 | 76.77%
1647.01/1647.36 c 1647s| 2470k| 33 |349399 | 0.0 | 105M| 70 | - |1000 | 37k| 0 | 0 | 29k|4156 | 27 |-2.410688e+02 |-5.600000e+01 | 76.77%
1648.41/1648.70 c 1649s| 2480k| 34 |349399 | 0.0 | 105M| 70 | - |1000 | 37k| 0 | 0 | 29k|4172 | 27 |-2.410688e+02 |-5.600000e+01 | 76.77%
1649.71/1650.03 c 1650s| 2490k| 31 |349399 | 0.0 | 105M| 70 | - |1000 | 37k| 0 | 0 | 29k|4188 | 27 |-2.410688e+02 |-5.600000e+01 | 76.77%
1651.01/1651.36 c 1651s| 2500k| 33 |349399 | 0.0 | 105M| 70 | - |1000 | 37k| 0 | 0 | 29k|4206 | 27 |-2.410688e+02 |-5.600000e+01 | 76.77%
1652.31/1652.68 c 1652s| 2510k| 32 |349399 | 0.0 | 105M| 70 | - |1000 | 37k| 0 | 0 | 29k|4220 | 27 |-2.410688e+02 |-5.600000e+01 | 76.77%
1653.61/1653.94 c 1654s| 2520k| 32 |349399 | 0.0 | 105M| 70 | - |1000 | 37k| 0 | 0 | 29k|4225 | 27 |-2.410688e+02 |-5.600000e+01 | 76.77%
1655.00/1655.38 c 1655s| 2530k| 30 |349399 | 0.0 | 105M| 70 | - |1000 | 37k| 0 | 0 | 29k|4238 | 27 |-2.410688e+02 |-5.600000e+01 | 76.77%
1656.50/1656.84 c 1657s| 2540k| 35 |349399 | 0.0 | 105M| 70 | - |1000 | 37k| 0 | 0 | 29k|4256 | 27 |-2.410688e+02 |-5.600000e+01 | 76.77%
1657.90/1658.25 c 1658s| 2550k| 32 |349399 | 0.0 | 105M| 70 | - |1000 | 37k| 0 | 0 | 29k|4263 | 27 |-2.410688e+02 |-5.600000e+01 | 76.77%
1659.30/1659.68 c 1659s| 2560k| 35 |349399 | 0.0 | 105M| 70 | - |1000 | 37k| 0 | 0 | 29k|4273 | 27 |-2.410688e+02 |-5.600000e+01 | 76.77%
1660.61/1660.99 c 1661s| 2570k| 38 |349399 | 0.0 | 105M| 70 | - |1000 | 37k| 0 | 0 | 29k|4290 | 27 |-2.410688e+02 |-5.600000e+01 | 76.77%
1662.10/1662.47 c 1662s| 2580k| 36 |349399 | 0.0 | 105M| 70 | - |1000 | 37k| 0 | 0 | 29k|4303 | 27 |-2.410688e+02 |-5.600000e+01 | 76.77%
1663.50/1663.87 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1663.50/1663.87 c 1664s| 2590k| 35 |349399 | 0.0 | 105M| 70 | - |1000 | 37k| 0 | 0 | 29k|4318 | 27 |-2.410688e+02 |-5.600000e+01 | 76.77%
1664.90/1665.27 c 1665s| 2600k| 35 |349399 | 0.0 | 105M| 70 | - |1000 | 37k| 0 | 0 | 29k|4341 | 27 |-2.410688e+02 |-5.600000e+01 | 76.77%
1666.30/1666.62 c 1666s| 2610k| 32 |349399 | 0.0 | 105M| 70 | - |1000 | 37k| 0 | 0 | 29k|4354 | 27 |-2.410688e+02 |-5.600000e+01 | 76.77%
1667.70/1668.00 c 1668s| 2620k| 39 |349399 | 0.0 | 105M| 70 | - |1000 | 37k| 0 | 0 | 29k|4380 | 27 |-2.410688e+02 |-5.600000e+01 | 76.77%
1669.10/1669.48 c 1669s| 2630k| 37 |349399 | 0.0 | 105M| 70 | - |1000 | 37k| 0 | 0 | 29k|4398 | 27 |-2.410688e+02 |-5.600000e+01 | 76.77%
1670.61/1670.98 c 1671s| 2640k| 36 |349399 | 0.0 | 105M| 70 | - |1000 | 37k| 0 | 0 | 29k|4416 | 27 |-2.410688e+02 |-5.600000e+01 | 76.77%
1672.10/1672.44 c 1672s| 2650k| 34 |349399 | 0.0 | 105M| 70 | - |1000 | 37k| 0 | 0 | 29k|4438 | 27 |-2.410688e+02 |-5.600000e+01 | 76.77%
1673.60/1673.95 c 1674s| 2660k| 37 |349399 | 0.0 | 105M| 70 | - |1000 | 37k| 0 | 0 | 29k|4461 | 27 |-2.410688e+02 |-5.600000e+01 | 76.77%
1675.10/1675.48 c 1675s| 2670k| 36 |349399 | 0.0 | 105M| 70 | - |1000 | 37k| 0 | 0 | 29k|4477 | 27 |-2.410688e+02 |-5.600000e+01 | 76.77%
1676.60/1676.98 c 1677s| 2680k| 35 |349399 | 0.0 | 105M| 70 | - |1000 | 37k| 0 | 0 | 29k|4494 | 27 |-2.410688e+02 |-5.600000e+01 | 76.77%
1678.21/1678.59 c 1678s| 2690k| 36 |349399 | 0.0 | 105M| 70 | - |1000 | 37k| 0 | 0 | 29k|4512 | 27 |-2.410688e+02 |-5.600000e+01 | 76.77%
1679.90/1680.22 c 1680s| 2700k| 36 |349399 | 0.0 | 105M| 70 | - |1000 | 37k| 0 | 0 | 29k|4527 | 27 |-2.410688e+02 |-5.600000e+01 | 76.77%
1681.30/1681.61 c 1681s| 2710k| 38 |349399 | 0.0 | 105M| 70 | - |1000 | 37k| 0 | 0 | 29k|4540 | 27 |-2.410688e+02 |-5.600000e+01 | 76.77%
1681.40/1681.79 o -57
1681.40/1681.79 c *1682s| 2711k| 36 |349399 | 0.0 | 105M| 70 | - |1000 | 37k| 0 | 0 | 29k|4542 | 27 |-2.410688e+02 |-5.700000e+01 | 76.36%
1682.80/1683.11 c 1683s| 2720k| 32 |349399 | 0.0 | 105M| 70 | - |1000 | 37k| 0 | 0 | 29k|4561 | 27 |-2.410688e+02 |-5.700000e+01 | 76.36%
1684.30/1684.61 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1684.30/1684.61 c 1684s| 2730k| 32 |349399 | 0.0 | 105M| 70 | - |1000 | 37k| 0 | 0 | 29k|4578 | 27 |-2.410688e+02 |-5.700000e+01 | 76.36%
1685.70/1686.03 c 1686s| 2740k| 34 |349399 | 0.0 | 105M| 70 | - |1000 | 37k| 0 | 0 | 29k|4593 | 27 |-2.410688e+02 |-5.700000e+01 | 76.36%
1687.11/1687.46 c 1687s| 2750k| 33 |349399 | 0.0 | 105M| 70 | - |1000 | 37k| 0 | 0 | 29k|4618 | 27 |-2.410688e+02 |-5.700000e+01 | 76.36%
1688.50/1688.81 c 1689s| 2760k| 34 |349399 | 0.0 | 105M| 70 | - |1000 | 37k| 0 | 0 | 29k|4646 | 27 |-2.410688e+02 |-5.700000e+01 | 76.36%
1689.80/1690.18 c 1690s| 2770k| 30 |349399 | 0.0 | 105M| 70 | - |1000 | 37k| 0 | 0 | 29k|4668 | 27 |-2.410688e+02 |-5.700000e+01 | 76.36%
1691.30/1691.63 c 1691s| 2780k| 36 |349399 | 0.0 | 105M| 70 | - |1000 | 37k| 0 | 0 | 29k|4682 | 27 |-2.410688e+02 |-5.700000e+01 | 76.36%
1692.80/1693.13 c 1693s| 2790k| 33 |349399 | 0.0 | 105M| 70 | - |1000 | 37k| 0 | 0 | 29k|4696 | 27 |-2.410688e+02 |-5.700000e+01 | 76.36%
1694.30/1694.63 c 1694s| 2800k| 31 |349399 | 0.0 | 105M| 70 | - |1000 | 37k| 0 | 0 | 29k|4710 | 27 |-2.410688e+02 |-5.700000e+01 | 76.36%
1695.80/1696.15 c 1696s| 2810k| 34 |349399 | 0.0 | 105M| 70 | - |1000 | 37k| 0 | 0 | 29k|4727 | 27 |-2.410688e+02 |-5.700000e+01 | 76.36%
1697.30/1697.67 c 1697s| 2820k| 35 |349399 | 0.0 | 105M| 70 | - |1000 | 37k| 0 | 0 | 29k|4731 | 27 |-2.410688e+02 |-5.700000e+01 | 76.36%
1698.70/1699.01 c 1699s| 2830k| 38 |349399 | 0.0 | 105M| 70 | - |1000 | 37k| 0 | 0 | 29k|4744 | 27 |-2.410688e+02 |-5.700000e+01 | 76.36%
1700.00/1700.31 c 1700s| 2840k| 35 |349399 | 0.0 | 105M| 70 | - |1000 | 37k| 0 | 0 | 29k|4756 | 27 |-2.410688e+02 |-5.700000e+01 | 76.36%
1701.20/1701.55 c 1701s| 2850k| 33 |349399 | 0.0 | 105M| 70 | - |1000 | 37k| 0 | 0 | 29k|4770 | 27 |-2.410688e+02 |-5.700000e+01 | 76.36%
1702.50/1702.87 c 1703s| 2860k| 35 |349399 | 0.0 | 105M| 70 | - |1000 | 37k| 0 | 0 | 29k|4785 | 27 |-2.410688e+02 |-5.700000e+01 | 76.36%
1703.80/1704.11 c 1704s| 2870k| 35 |349399 | 0.0 | 105M| 70 | - |1000 | 37k| 0 | 0 | 29k|4797 | 27 |-2.410688e+02 |-5.700000e+01 | 76.36%
1705.10/1705.41 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1705.10/1705.41 c 1705s| 2880k| 34 |349399 | 0.0 | 105M| 70 | - |1000 | 37k| 0 | 0 | 29k|4811 | 27 |-2.410688e+02 |-5.700000e+01 | 76.36%
1706.40/1706.78 c 1707s| 2890k| 33 |349399 | 0.0 | 105M| 70 | - |1000 | 37k| 0 | 0 | 29k|4828 | 27 |-2.410688e+02 |-5.700000e+01 | 76.36%
1707.80/1708.14 c 1708s| 2900k| 34 |349399 | 0.0 | 105M| 70 | - |1000 | 37k| 0 | 0 | 29k|4846 | 27 |-2.410688e+02 |-5.700000e+01 | 76.36%
1709.10/1709.49 c 1709s| 2910k| 37 |349399 | 0.0 | 105M| 70 | - |1000 | 37k| 0 | 0 | 29k|4870 | 27 |-2.410688e+02 |-5.700000e+01 | 76.36%
1710.60/1710.90 c 1711s| 2920k| 35 |349399 | 0.0 | 105M| 70 | - |1000 | 37k| 0 | 0 | 29k|4887 | 27 |-2.410688e+02 |-5.700000e+01 | 76.36%
1711.90/1712.27 c 1712s| 2930k| 35 |349399 | 0.0 | 105M| 70 | - |1000 | 37k| 0 | 0 | 29k|4893 | 27 |-2.410688e+02 |-5.700000e+01 | 76.36%
1713.20/1713.58 c 1713s| 2940k| 35 |349399 | 0.0 | 105M| 70 | - |1000 | 37k| 0 | 0 | 29k|4908 | 27 |-2.410688e+02 |-5.700000e+01 | 76.36%
1714.50/1714.83 c 1715s| 2950k| 33 |349399 | 0.0 | 105M| 70 | - |1000 | 37k| 0 | 0 | 29k|4923 | 27 |-2.410688e+02 |-5.700000e+01 | 76.36%
1715.80/1716.18 c 1716s| 2960k| 35 |349399 | 0.0 | 105M| 70 | - |1000 | 37k| 0 | 0 | 29k|4942 | 27 |-2.410688e+02 |-5.700000e+01 | 76.36%
1717.20/1717.52 c 1717s| 2970k| 34 |349399 | 0.0 | 105M| 70 | - |1000 | 37k| 0 | 0 | 29k|4955 | 27 |-2.410688e+02 |-5.700000e+01 | 76.36%
1718.50/1718.85 c 1719s| 2980k| 30 |349399 | 0.0 | 105M| 70 | - |1000 | 37k| 0 | 0 | 29k|4980 | 27 |-2.410688e+02 |-5.700000e+01 | 76.36%
1719.79/1720.16 c 1720s| 2990k| 34 |349399 | 0.0 | 105M| 70 | - |1000 | 37k| 0 | 0 | 29k|4989 | 27 |-2.410688e+02 |-5.700000e+01 | 76.36%
1721.20/1721.51 c 1721s| 3000k| 33 |349399 | 0.0 | 105M| 70 | - |1000 | 37k| 0 | 0 | 29k|5008 | 27 |-2.410688e+02 |-5.700000e+01 | 76.36%
1722.59/1722.95 c 1723s| 3010k| 32 |349399 | 0.0 | 105M| 70 | - |1000 | 37k| 0 | 0 | 29k|5019 | 27 |-2.410688e+02 |-5.700000e+01 | 76.36%
1724.09/1724.41 c 1724s| 3020k| 37 |349399 | 0.0 | 105M| 70 | - |1000 | 37k| 0 | 0 | 29k|5031 | 27 |-2.410688e+02 |-5.700000e+01 | 76.36%
1725.39/1725.79 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1725.39/1725.79 c 1726s| 3030k| 35 |349399 | 0.0 | 105M| 70 | - |1000 | 37k| 0 | 0 | 29k|5038 | 27 |-2.410688e+02 |-5.700000e+01 | 76.36%
1726.79/1727.18 c 1727s| 3040k| 34 |349399 | 0.0 | 105M| 70 | - |1000 | 37k| 0 | 0 | 29k|5045 | 27 |-2.410688e+02 |-5.700000e+01 | 76.36%
1728.19/1728.56 c 1728s| 3050k| 34 |349399 | 0.0 | 105M| 70 | - |1000 | 37k| 0 | 0 | 29k|5058 | 27 |-2.410688e+02 |-5.700000e+01 | 76.36%
1729.59/1729.94 c 1730s| 3060k| 30 |349399 | 0.0 | 105M| 70 | - |1000 | 37k| 0 | 0 | 29k|5070 | 27 |-2.410688e+02 |-5.700000e+01 | 76.36%
1731.00/1731.36 c 1731s| 3070k| 34 |349399 | 0.0 | 105M| 70 | - |1000 | 37k| 0 | 0 | 29k|5072 | 27 |-2.410688e+02 |-5.700000e+01 | 76.36%
1732.39/1732.72 c 1733s| 3080k| 32 |349399 | 0.0 | 105M| 70 | - |1000 | 37k| 0 | 0 | 29k|5092 | 27 |-2.410688e+02 |-5.700000e+01 | 76.36%
1733.79/1734.10 c 1734s| 3090k| 34 |349399 | 0.0 | 105M| 70 | - |1000 | 37k| 0 | 0 | 29k|5106 | 27 |-2.410688e+02 |-5.700000e+01 | 76.36%
1735.19/1735.54 c 1735s| 3100k| 36 |349399 | 0.0 | 105M| 70 | - |1000 | 37k| 0 | 0 | 29k|5118 | 27 |-2.410688e+02 |-5.700000e+01 | 76.36%
1736.50/1736.86 c 1737s| 3110k| 34 |349399 | 0.0 | 105M| 70 | - |1000 | 37k| 0 | 0 | 29k|5129 | 27 |-2.410688e+02 |-5.700000e+01 | 76.36%
1737.79/1738.18 c 1738s| 3120k| 37 |349399 | 0.0 | 105M| 70 | - |1000 | 37k| 0 | 0 | 29k|5142 | 27 |-2.410688e+02 |-5.700000e+01 | 76.36%
1739.19/1739.54 c 1739s| 3130k| 31 |349399 | 0.0 | 105M| 70 | - |1000 | 37k| 0 | 0 | 29k|5156 | 27 |-2.410688e+02 |-5.700000e+01 | 76.36%
1740.59/1740.92 c 1741s| 3140k| 34 |349399 | 0.0 | 105M| 70 | - |1000 | 37k| 0 | 0 | 29k|5167 | 27 |-2.410688e+02 |-5.700000e+01 | 76.36%
1742.00/1742.31 c 1742s| 3150k| 33 |349399 | 0.0 | 105M| 70 | - |1000 | 37k| 0 | 0 | 29k|5170 | 27 |-2.410688e+02 |-5.700000e+01 | 76.36%
1743.39/1743.73 c 1744s| 3160k| 34 |349399 | 0.0 | 105M| 70 | - |1000 | 37k| 0 | 0 | 29k|5181 | 27 |-2.410688e+02 |-5.700000e+01 | 76.36%
1744.89/1745.22 c 1745s| 3170k| 34 |349399 | 0.0 | 105M| 70 | - |1000 | 37k| 0 | 0 | 29k|5201 | 27 |-2.410688e+02 |-5.700000e+01 | 76.36%
1746.29/1746.61 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1746.29/1746.61 c 1746s| 3180k| 34 |349399 | 0.0 | 105M| 70 | - |1000 | 37k| 0 | 0 | 29k|5208 | 27 |-2.410688e+02 |-5.700000e+01 | 76.36%
1747.60/1747.97 c 1748s| 3190k| 32 |349399 | 0.0 | 105M| 70 | - |1000 | 37k| 0 | 0 | 29k|5217 | 27 |-2.410688e+02 |-5.700000e+01 | 76.36%
1748.99/1749.30 c 1749s| 3200k| 31 |349399 | 0.0 | 105M| 70 | - |1000 | 37k| 0 | 0 | 29k|5224 | 27 |-2.410688e+02 |-5.700000e+01 | 76.36%
1750.29/1750.63 c 1750s| 3210k| 31 |349399 | 0.0 | 105M| 70 | - |1000 | 37k| 0 | 0 | 29k|5234 | 27 |-2.410688e+02 |-5.700000e+01 | 76.36%
1751.69/1752.01 c 1752s| 3220k| 32 |349399 | 0.0 | 105M| 70 | - |1000 | 37k| 0 | 0 | 29k|5249 | 27 |-2.410688e+02 |-5.700000e+01 | 76.36%
1753.00/1753.34 c 1753s| 3230k| 37 |349399 | 0.0 | 105M| 70 | - |1000 | 37k| 0 | 0 | 29k|5256 | 27 |-2.410688e+02 |-5.700000e+01 | 76.36%
1754.49/1754.81 c 1755s| 3240k| 33 |349399 | 0.0 | 105M| 70 | - |1000 | 37k| 0 | 0 | 29k|5268 | 27 |-2.410688e+02 |-5.700000e+01 | 76.36%
1755.79/1756.11 c 1756s| 3250k| 32 |349399 | 0.0 | 105M| 70 | - |1000 | 37k| 0 | 0 | 29k|5281 | 27 |-2.410688e+02 |-5.700000e+01 | 76.36%
1756.99/1757.38 c 1757s| 3260k| 34 |349399 | 0.0 | 105M| 70 | - |1000 | 37k| 0 | 0 | 29k|5291 | 27 |-2.410688e+02 |-5.700000e+01 | 76.36%
1758.39/1758.76 c 1759s| 3270k| 32 |349399 | 0.0 | 105M| 70 | - |1000 | 37k| 0 | 0 | 29k|5307 | 27 |-2.410688e+02 |-5.700000e+01 | 76.36%
1759.79/1760.14 c 1760s| 3280k| 31 |349399 | 0.0 | 105M| 70 | - |1000 | 37k| 0 | 0 | 29k|5321 | 27 |-2.410688e+02 |-5.700000e+01 | 76.36%
1761.09/1761.49 c 1761s| 3290k| 34 |349399 | 0.0 | 105M| 70 | - |1000 | 37k| 0 | 0 | 29k|5327 | 27 |-2.410688e+02 |-5.700000e+01 | 76.36%
1762.49/1762.86 c 1763s| 3300k| 33 |349399 | 0.0 | 105M| 70 | - |1000 | 37k| 0 | 0 | 29k|5337 | 27 |-2.410688e+02 |-5.700000e+01 | 76.36%
1763.89/1764.29 c 1764s| 3310k| 34 |349399 | 0.0 | 105M| 70 | - |1000 | 37k| 0 | 0 | 29k|5341 | 27 |-2.410688e+02 |-5.700000e+01 | 76.36%
1765.29/1765.61 c 1765s| 3320k| 30 |349399 | 0.0 | 105M| 70 | - |1000 | 37k| 0 | 0 | 29k|5349 | 27 |-2.410688e+02 |-5.700000e+01 | 76.36%
1766.69/1767.00 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1766.69/1767.00 c 1767s| 3330k| 30 |349399 | 0.0 | 105M| 70 | - |1000 | 37k| 0 | 0 | 29k|5361 | 27 |-2.410688e+02 |-5.700000e+01 | 76.36%
1767.99/1768.35 c 1768s| 3340k| 34 |349399 | 0.0 | 105M| 70 | - |1000 | 37k| 0 | 0 | 29k|5371 | 27 |-2.410688e+02 |-5.700000e+01 | 76.36%
1769.39/1769.76 c 1770s| 3350k| 35 |349399 | 0.0 | 105M| 70 | - |1000 | 37k| 0 | 0 | 29k|5381 | 27 |-2.410688e+02 |-5.700000e+01 | 76.36%
1770.69/1771.08 c 1771s| 3360k| 35 |349399 | 0.0 | 105M| 70 | - |1000 | 37k| 0 | 0 | 29k|5393 | 27 |-2.410688e+02 |-5.700000e+01 | 76.36%
1772.09/1772.43 c 1772s| 3370k| 32 |349399 | 0.0 | 105M| 70 | - |1000 | 37k| 0 | 0 | 29k|5397 | 27 |-2.410688e+02 |-5.700000e+01 | 76.36%
1773.49/1773.82 c 1774s| 3380k| 35 |349399 | 0.0 | 105M| 70 | - |1000 | 37k| 0 | 0 | 29k|5407 | 27 |-2.410688e+02 |-5.700000e+01 | 76.36%
1774.89/1775.25 c 1775s| 3390k| 34 |349399 | 0.0 | 105M| 70 | - |1000 | 37k| 0 | 0 | 29k|5424 | 27 |-2.410688e+02 |-5.700000e+01 | 76.36%
1776.19/1776.56 c 1776s| 3400k| 34 |349399 | 0.0 | 105M| 70 | - |1000 | 37k| 0 | 0 | 29k|5439 | 27 |-2.410688e+02 |-5.700000e+01 | 76.36%
1777.59/1777.91 c 1778s| 3410k| 33 |349399 | 0.0 | 105M| 70 | - |1000 | 37k| 0 | 0 | 29k|5466 | 27 |-2.410688e+02 |-5.700000e+01 | 76.36%
1778.99/1779.31 c 1779s| 3420k| 32 |349399 | 0.0 | 105M| 70 | - |1000 | 37k| 0 | 0 | 29k|5475 | 27 |-2.410688e+02 |-5.700000e+01 | 76.36%
1780.29/1780.67 c 1780s| 3430k| 35 |349399 | 0.0 | 105M| 70 | - |1000 | 37k| 0 | 0 | 29k|5495 | 27 |-2.410688e+02 |-5.700000e+01 | 76.36%
1781.79/1782.16 c 1782s| 3440k| 30 |349399 | 0.0 | 105M| 70 | - |1000 | 37k| 0 | 0 | 29k|5517 | 27 |-2.410688e+02 |-5.700000e+01 | 76.36%
1783.19/1783.58 c 1783s| 3450k| 31 |349399 | 0.0 | 105M| 70 | - |1000 | 37k| 0 | 0 | 29k|5531 | 27 |-2.410688e+02 |-5.700000e+01 | 76.36%
1784.59/1784.96 c 1785s| 3460k| 34 |349399 | 0.0 | 105M| 70 | - |1000 | 37k| 0 | 0 | 29k|5539 | 27 |-2.410688e+02 |-5.700000e+01 | 76.36%
1785.99/1786.34 c 1786s| 3470k| 30 |349399 | 0.0 | 105M| 70 | - |1000 | 37k| 0 | 0 | 29k|5549 | 27 |-2.410688e+02 |-5.700000e+01 | 76.36%
1787.28/1787.64 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1787.28/1787.64 c 1787s| 3480k| 33 |349399 | 0.0 | 105M| 70 | - |1000 | 37k| 0 | 0 | 29k|5567 | 27 |-2.410688e+02 |-5.700000e+01 | 76.36%
1788.58/1788.99 c 1789s| 3490k| 35 |349399 | 0.0 | 105M| 70 | - |1000 | 37k| 0 | 0 | 29k|5592 | 27 |-2.410688e+02 |-5.700000e+01 | 76.36%
1789.68/1790.01 c
1789.68/1790.01 c SCIP Status : solving was interrupted [time limit reached]
1789.68/1790.01 c Solving Time (sec) : 1789.82
1789.68/1790.01 c Solving Nodes : 3497790
1789.68/1790.01 c Primal Bound : -5.70000000000000e+01 (59 solutions)
1789.68/1790.01 c Dual Bound : -2.41068792515803e+02
1789.68/1790.01 c Gap : 76.36 %
1789.68/1790.05 s SATISFIABLE
1789.68/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.68/1790.05 v -x978 -x977 -x976 -x975 -x974 -x973 -x972 -x971 -x970 -x969 -x968 -x967 -x966 -x965 -x964 -x963 -x962 -x961 -x960 -x959
1789.68/1790.05 v -x958 -x957 -x956 -x955 -x954 -x953 x952 -x951 -x950 -x949 x948 -x947 -x946 -x945 -x944 -x943 -x942 -x941 -x940 -x939 -x938 -x937
1789.68/1790.05 v -x936 -x935 -x934 -x933 -x932 -x931 x930 -x929 -x928 -x927 -x926 -x925 -x924 -x923 -x922 -x921 -x920 -x919 -x918 -x917 -x916
1789.68/1790.05 v -x915 -x914 -x913 -x912 -x911 -x910 -x909 -x908 -x907 -x906 -x905 -x904 -x903 -x902 -x901 -x900 -x899 -x898 -x897 -x896
1789.68/1790.05 v -x895 -x894 -x893 x892 x891 -x890 -x889 -x888 -x887 -x886 -x885 -x884 -x883 -x882 -x881 -x880 -x879 -x878 -x877 x876 x875 -x874
1789.68/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.68/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.68/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.68/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.68/1790.05 v -x789 x788 -x787 -x786 -x785 x784 -x783 -x782 -x781 -x780 -x779 -x778 -x777 -x776 x775 -x774 -x773 -x772 -x771 -x770 -x769
1789.68/1790.05 v -x768 -x767 -x766 -x765 -x764 -x763 -x762 x761 -x760 -x759 -x758 -x757 -x756 -x755 -x754 -x753 -x752 -x751 -x750 -x749 -x748
1789.68/1790.05 v -x747 -x746 -x745 -x744 -x743 x742 -x741 -x740 x739 x738 -x737 -x736 -x735 -x734 -x733 -x732 -x731 -x730 -x729 -x728 -x727 -x726
1789.68/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.68/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.68/1790.05 v -x683 -x682 -x681 -x680 -x679 -x678 -x677 -x676 -x675 -x674 -x673 -x672 -x671 -x670 -x669 -x668 x667 -x666 -x665 -x664 -x663
1789.68/1790.05 v -x662 -x661 -x660 -x659 -x658 -x657 x656 -x655 -x654 -x653 -x652 -x651 -x650 -x649 -x648 -x647 -x646 -x645 -x644 -x643 -x642
1789.68/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.68/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.68/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.68/1790.05 v -x578 -x577 -x576 -x575 -x574 -x573 -x572 -x571 -x570 -x569 -x568 -x567 -x566 -x565 -x564 -x563 -x562 -x561 -x560 -x559
1789.68/1790.05 v -x558 -x557 -x556 -x555 -x554 -x553 -x552 -x551 -x550 -x549 -x548 -x547 -x546 -x545 -x544 -x543 -x542 -x541 -x540 -x539 -x538
1789.68/1790.05 v -x537 -x536 -x535 -x534 -x533 x532 -x531 x530 -x529 -x528 -x527 -x526 -x525 -x524 -x523 -x522 -x521 -x520 -x519 -x518 -x517
1789.68/1790.05 v -x516 -x515 -x514 -x513 -x512 -x511 -x510 -x509 -x508 -x507 -x506 -x505 -x504 -x503 -x502 -x501 -x500 -x499 -x498 -x497 -x496
1789.68/1790.05 v -x495 -x494 x493 -x492 -x491 -x490 -x489 -x488 -x487 -x486 -x485 -x484 -x483 -x482 -x481 -x480 -x479 -x478 -x477 -x476 -x475
1789.68/1790.05 v x474 -x473 -x472 -x471 -x470 -x469 -x468 -x467 -x466 -x465 -x464 -x463 -x462 -x461 -x460 -x459 -x458 -x457 -x456 -x455 -x454
1789.68/1790.05 v -x453 -x452 -x451 -x450 -x449 -x448 -x447 -x446 -x445 -x444 -x443 -x442 -x441 -x440 -x439 -x438 -x437 -x436 -x435 -x434 -x433
1789.68/1790.05 v -x432 -x431 -x430 -x429 -x428 -x427 -x426 -x425 -x424 -x423 -x422 -x421 -x420 -x419 -x418 -x417 -x416 -x415 -x414 -x413 -x412
1789.68/1790.05 v -x411 -x410 -x409 -x408 -x407 -x406 -x405 -x404 -x403 -x402 -x401 -x400 -x399 -x398 -x397 -x396 -x395 -x394 -x393 -x392 -x391
1789.68/1790.05 v -x390 -x389 -x388 -x387 x386 -x385 -x384 -x383 -x382 -x381 -x380 -x379 -x378 -x377 x376 -x375 -x374 -x373 -x372 -x371 -x370
1789.68/1790.05 v x369 -x368 -x367 -x366 -x365 -x364 -x363 -x362 -x361 -x360 -x359 -x358 -x357 -x356 -x355 -x354 -x353 -x352 -x351 -x350 -x349
1789.68/1790.05 v -x348 -x347 -x346 -x345 -x344 -x343 -x342 -x341 -x340 -x339 -x338 -x337 -x336 -x335 -x334 -x333 -x332 -x331 -x330 -x329 -x328
1789.68/1790.05 v -x327 -x326 -x325 -x324 -x323 x322 -x321 -x320 -x319 -x318 -x317 -x316 -x315 -x314 -x313 -x312 -x311 -x310 -x309 -x308 -x307
1789.68/1790.05 v -x306 -x305 -x304 -x303 -x302 -x301 -x300 -x299 -x298 -x297 -x296 -x295 -x294 -x293 -x292 -x291 -x290 -x289 -x288 -x287 -x286
1789.68/1790.05 v -x285 -x284 -x283 -x282 -x281 -x280 -x279 -x278 -x277 -x276 -x275 -x274 -x273 -x272 -x271 -x270 -x269 -x268 -x267 -x266
1789.68/1790.05 v -x265 -x264 -x263 -x262 -x261 -x260 -x259 -x258 -x257 -x256 -x255 -x254 -x253 -x252 -x251 -x250 -x249 -x248 -x247 -x246 -x245
1789.68/1790.05 v -x244 -x243 -x242 -x241 -x240 -x239 -x238 -x237 -x236 -x235 -x234 -x233 -x232 -x231 -x230 -x229 -x228 -x227 -x226 -x225 -x224
1789.68/1790.05 v -x223 -x222 -x221 -x220 -x219 -x218 -x217 -x216 -x215 -x214 x213 -x212 -x211 -x210 -x209 -x208 -x207 -x206 -x205 -x204 -x203
1789.68/1790.05 v -x202 -x201 -x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189 -x188 -x187 -x186 -x185 -x184 -x183 -x182
1789.68/1790.05 v -x181 -x180 -x179 -x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168 -x167 -x166 -x165 -x164 -x163 -x162 -x161
1789.68/1790.05 v -x160 -x159 -x158 -x157 -x156 -x155 -x154 x153 -x152 -x151 -x150 -x149 -x148 -x147 -x146 -x145 x144 -x143 -x142 -x141 -x140
1789.68/1790.05 v -x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126 -x125 -x124 -x123 -x122 x121 -x120 -x119
1789.68/1790.05 v -x118 -x117 -x116 -x115 -x114 x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105 -x104 -x103 x102 -x101 x100 -x99 -x98 -x97
1789.68/1790.05 v -x96 -x95 x94 -x93 -x92 -x91 -x90 -x89 -x88 -x87 -x86 -x85 -x84 -x83 -x82 -x81 -x80 -x79 -x78 -x77 -x76 -x75 x74 x73 -x72
1789.68/1790.05 v x71 -x70 -x69 -x68 -x67 -x66 -x65 x64 -x63 -x62 -x61 -x60 x59 -x58 x57 -x56 -x55 -x54 -x53 -x52 -x51 -x50 -x49 -x48 -x47 -x46
1789.68/1790.05 v -x45 -x44 -x43 -x42 -x41 -x40 -x39 -x38 -x37 x36 -x35 x34 -x33 -x32 -x31 -x30 -x29 -x28 -x27 -x26 -x25 -x24 x23 -x22 x21 -x20
1789.68/1790.05 v -x19 -x18 -x17 -x16 -x15 x14 x13 -x12 -x11 x10 -x9 -x8 x7 -x6 -x5 x4 -x3 -x2 -x1
1789.68/1790.05 c SCIP Status : solving was interrupted [time limit reached]
1789.68/1790.05 c Solving Time : 1789.82
1789.68/1790.05 c Original Problem :
1789.68/1790.05 c Problem name : HOME/instance-3737305-1338711302.opb
1789.68/1790.05 c Variables : 38742 (38742 binary, 0 integer, 0 implicit integer, 0 continuous)
1789.68/1790.05 c Constraints : 38742 initial, 38742 maximal
1789.68/1790.05 c Presolved Problem :
1789.68/1790.05 c Problem name : t_HOME/instance-3737305-1338711302.opb
1789.68/1790.05 c Variables : 1000 (1000 binary, 0 integer, 0 implicit integer, 0 continuous)
1789.68/1790.05 c Constraints : 37742 initial, 37747 maximal
1789.68/1790.05 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1789.68/1790.05 c trivial : 0.00 0 0 0 0 0 0 0 0
1789.68/1790.05 c dualfix : 0.00 0 0 0 0 0 0 0 0
1789.68/1790.05 c boundshift : 0.00 0 0 0 0 0 0 0 0
1789.68/1790.05 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1789.68/1790.05 c implics : 0.00 0 0 0 0 0 0 0 0
1789.68/1790.05 c probing : 0.13 0 0 0 0 0 0 0 0
1789.68/1790.05 c linear : 0.10 37742 0 0 37742 0 1000 0 0
1789.68/1790.05 c logicor : 0.04 0 0 0 0 0 0 0 0
1789.68/1790.05 c root node : - 0 - - 0 - - - -
1789.68/1790.05 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1789.68/1790.05 c integral : 0 0 0 1 0 0 0 0 0 2
1789.68/1790.05 c logicor : 37742+ 379 3478006 0 4 23253 6166400 38120 0 0
1789.68/1790.05 c countsols : 0 0 0 0 4 0 0 0 0 0
1789.68/1790.05 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1789.68/1790.05 c integral : 30.86 0.00 0.00 30.86 0.00
1789.68/1790.05 c logicor : 47.89 1.43 46.46 0.00 0.01
1789.68/1790.05 c countsols : 0.00 0.00 0.00 0.00 0.00
1789.68/1790.05 c Propagators : Time Calls Cutoffs DomReds
1789.68/1790.05 c vbounds : 0.68 2 0 0
1789.68/1790.05 c rootredcost : 0.65 4 0 0
1789.68/1790.05 c pseudoobj : 187.43 5854608 1553959 3057190
1789.68/1790.05 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1789.68/1790.05 c propagation : 9.65 23253 5602 5602 48.9 0 0.0 -
1789.68/1790.05 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1789.68/1790.05 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1789.68/1790.05 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1789.68/1790.05 c pseudo solution : 146.54 165219 0 0 0.0 0 0.0 -
1789.68/1790.05 c applied globally : - - - 5602 48.9 - - -
1789.68/1790.05 c applied locally : - - - 0 0.0 - - -
1789.68/1790.05 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1789.68/1790.05 c cut pool : 0.49 378 - - 4871 - (maximal pool size: 16399)
1789.68/1790.05 c redcost : 0.01 379 0 0 0 0
1789.68/1790.05 c impliedbounds : 0.55 377 0 0 28842 0
1789.68/1790.05 c intobj : 0.00 0 0 0 0 0
1789.68/1790.05 c cgmip : 0.00 0 0 0 0 0
1789.68/1790.05 c gomory : 951.01 376 0 0 83336 0
1789.68/1790.05 c strongcg : 1.75 20 0 0 10000 0
1789.68/1790.05 c cmir : 1.60 10 0 0 0 0
1789.68/1790.05 c flowcover : 1.61 10 0 0 0 0
1789.68/1790.05 c clique : 15.90 374 0 0 3449 0
1789.68/1790.05 c zerohalf : 0.00 0 0 0 0 0
1789.68/1790.05 c mcf : 0.02 1 0 0 0 0
1789.68/1790.05 c rapidlearning : 0.00 0 0 0 0 0
1789.68/1790.05 c Pricers : Time Calls Vars
1789.68/1790.05 c problem variables: 0.00 0 0
1789.68/1790.05 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1789.68/1790.05 c relpscost : 30.86 1 0 0 0 0 2
1789.68/1790.05 c pscost : 0.00 0 0 0 0 0 0
1789.68/1790.05 c inference : 7.42 1758795 0 0 0 0 3517590
1789.68/1790.05 c mostinf : 0.00 0 0 0 0 0 0
1789.68/1790.05 c leastinf : 0.00 0 0 0 0 0 0
1789.68/1790.05 c fullstrong : 0.00 0 0 0 0 0 0
1789.68/1790.05 c allfullstrong : 0.00 0 0 0 0 0 0
1789.68/1790.05 c random : 0.00 0 0 0 0 0 0
1789.68/1790.05 c Primal Heuristics : Time Calls Found
1789.68/1790.05 c LP solutions : 0.00 - 0
1789.68/1790.05 c pseudo solutions : 0.00 - 4
1789.68/1790.05 c crossover : 0.00 0 0
1789.68/1790.05 c oneopt : 0.83 2 1
1789.68/1790.05 c trivial : 0.04 2 2
1789.68/1790.05 c simplerounding : 0.19 380 50
1789.68/1790.05 c zirounding : 0.00 1 0
1789.68/1790.05 c rounding : 9.26 380 1
1789.68/1790.05 c shifting : 10.07 380 1
1789.68/1790.05 c intshifting : 0.00 0 0
1789.68/1790.05 c twoopt : 0.00 0 0
1789.68/1790.05 c fixandinfer : 0.00 0 0
1789.68/1790.05 c feaspump : 0.00 0 0
1789.68/1790.05 c coefdiving : 0.00 0 0
1789.68/1790.05 c pscostdiving : 0.00 0 0
1789.68/1790.05 c fracdiving : 0.00 0 0
1789.68/1790.05 c veclendiving : 0.00 0 0
1789.68/1790.05 c intdiving : 0.00 0 0
1789.68/1790.05 c actconsdiving : 0.00 0 0
1789.68/1790.05 c objpscostdiving : 0.00 0 0
1789.68/1790.05 c rootsoldiving : 0.00 0 0
1789.68/1790.05 c linesearchdiving : 0.00 0 0
1789.68/1790.05 c guideddiving : 0.00 0 0
1789.68/1790.05 c octane : 0.00 0 0
1789.68/1790.05 c rens : 0.00 0 0
1789.68/1790.05 c rins : 0.00 0 0
1789.68/1790.05 c localbranching : 0.00 0 0
1789.68/1790.05 c mutation : 0.00 0 0
1789.68/1790.05 c dins : 0.00 0 0
1789.68/1790.05 c undercover : 0.00 0 0
1789.68/1790.05 c nlp : 0.29 0 0
1789.68/1790.05 c trysol : 0.30 0 0
1789.68/1790.05 c LP : Time Calls Iterations Iter/call Iter/sec
1789.68/1790.05 c primal LP : 1.20 0 0 0.00 0.00
1789.68/1790.05 c dual LP : 286.41 380 349399 919.47 1219.91
1789.68/1790.05 c lex dual LP : 0.00 0 0 0.00 -
1789.68/1790.05 c barrier LP : 0.00 0 0 0.00 -
1789.68/1790.05 c diving/probing LP: 0.00 0 0 0.00 -
1789.68/1790.05 c strong branching : 30.86 27 27000 1000.00 875.04
1789.68/1790.05 c (at root node) : - 27 27000 1000.00 -
1789.68/1790.05 c conflict analysis: 0.00 0 0 0.00 -
1789.68/1790.05 c B&B Tree :
1789.68/1790.05 c number of runs : 1
1789.68/1790.05 c nodes : 3497790
1789.68/1790.05 c nodes (total) : 3497790
1789.68/1790.05 c nodes left : 33
1789.68/1790.05 c max depth : 70
1789.68/1790.05 c max depth (total): 70
1789.68/1790.05 c backtracks : 744687 (21.3%)
1789.68/1790.05 c delayed cutoffs : 3829
1789.68/1790.05 c repropagations : 4795 (19140 domain reductions, 3441 cutoffs)
1789.68/1790.05 c avg switch length: 2.00
1789.68/1790.05 c switching time : 41.12
1789.68/1790.05 c Solution :
1789.68/1790.05 c Solutions found : 59 (8 improvements)
1789.68/1790.05 c First Solution : +0.00000000000000e+00 (in run 1, after 0 nodes, 0.14 seconds, depth 0, found by <trivial>)
1789.68/1790.05 c Primal Bound : -5.70000000000000e+01 (in run 1, after 2711172 nodes, 1681.60 seconds, depth 57, found by <relaxation>)
1789.68/1790.05 c Dual Bound : -2.41068792515803e+02
1789.68/1790.05 c Gap : 76.36 %
1789.68/1790.05 c Root Dual Bound : -2.41068792515803e+02
1789.68/1790.05 c Root Iterations : 349399
1789.78/1790.16 c Time complete: 1789.85.
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 989)
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3737305-1338711302/watcher-3737305-1338711302 -o /tmp/evaluation-result-3737305-1338711302/solver-3737305-1338711302 -C 1800 -W 1900 -M 15500 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-3737305-1338711302.opb -t 1800 -m 15500
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.95 2.00 2.00 2/176 18117
/proc/meminfo: memFree=27124832/32873660 swapFree=7120/7120
[pid=18117] ppid=18115 vsize=9240 CPUtime=0 cores=0,2,4,6
/proc/18117/stat : 18117 (pbscip.linux.x8) R 18115 18117 13836 0 -1 4202496 1498 0 0 0 0 0 0 0 20 0 1 0 337255952 9461760 1444 33554432000 4194304 8395647 140735732841040 140735010434824 7382157 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/18117/statm: 2310 1456 374 1026 0 1280 0
[startup+0.0887281 s]
/proc/loadavg: 1.95 2.00 2.00 2/176 18117
/proc/meminfo: memFree=27124832/32873660 swapFree=7120/7120
[pid=18117] ppid=18115 vsize=34520 CPUtime=0.08 cores=0,2,4,6
/proc/18117/stat : 18117 (pbscip.linux.x8) R 18115 18117 13836 0 -1 4202496 7841 0 0 0 7 1 0 0 20 0 1 0 337255952 35348480 7787 33554432000 4194304 8395647 140735732841040 140735010434824 7185554 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/18117/statm: 8630 7787 393 1026 0 7600 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 34520
[startup+0.10028 s]
/proc/loadavg: 1.95 2.00 2.00 2/176 18117
/proc/meminfo: memFree=27124832/32873660 swapFree=7120/7120
[pid=18117] ppid=18115 vsize=37180 CPUtime=0.09 cores=0,2,4,6
/proc/18117/stat : 18117 (pbscip.linux.x8) R 18115 18117 13836 0 -1 4202496 8441 0 0 0 8 1 0 0 20 0 1 0 337255952 38072320 8387 33554432000 4194304 8395647 140735732841040 140735010434824 6347101 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/18117/statm: 9295 8412 393 1026 0 8265 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 37180
[startup+0.300228 s]
/proc/loadavg: 1.95 2.00 2.00 2/176 18117
/proc/meminfo: memFree=27124832/32873660 swapFree=7120/7120
[pid=18117] ppid=18115 vsize=106112 CPUtime=0.28 cores=0,2,4,6
/proc/18117/stat : 18117 (pbscip.linux.x8) R 18115 18117 13836 0 -1 4202496 26059 0 0 0 25 3 0 0 20 0 1 0 337255952 108658688 25577 33554432000 4194304 8395647 140735732841040 140735732706248 4604783 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/18117/statm: 26528 25577 430 1026 0 25498 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 106112
[startup+0.700229 s]
/proc/loadavg: 1.95 2.00 2.00 2/176 18117
/proc/meminfo: memFree=27124832/32873660 swapFree=7120/7120
[pid=18117] ppid=18115 vsize=133584 CPUtime=0.69 cores=0,2,4,6
/proc/18117/stat : 18117 (pbscip.linux.x8) R 18115 18117 13836 0 -1 4202496 32736 0 0 0 64 5 0 0 20 0 1 0 337255952 136790016 31500 33554432000 4194304 8395647 140735732841040 140735732838280 4706433 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/18117/statm: 33396 31500 476 1026 0 32366 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 133584
[startup+1.50023 s]
/proc/loadavg: 1.95 2.00 2.00 3/177 18118
/proc/meminfo: memFree=26989692/32873660 swapFree=7120/7120
[pid=18117] ppid=18115 vsize=185656 CPUtime=1.49 cores=0,2,4,6
/proc/18117/stat : 18117 (pbscip.linux.x8) R 18115 18117 13836 0 -1 4202496 45773 0 0 0 142 7 0 0 20 0 1 0 337255952 190111744 43729 33554432000 4194304 8395647 140735732841040 140735732836504 7428202 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/18117/statm: 46414 43729 555 1026 0 45384 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 185656
[startup+3.10023 s]
/proc/loadavg: 1.95 2.00 2.00 3/177 18118
/proc/meminfo: memFree=26945112/32873660 swapFree=7120/7120
[pid=18117] ppid=18115 vsize=198816 CPUtime=3.09 cores=0,2,4,6
/proc/18117/stat : 18117 (pbscip.linux.x8) R 18115 18117 13836 0 -1 4202496 48057 0 0 0 302 7 0 0 20 0 1 0 337255952 203587584 46211 33554432000 4194304 8395647 140735732841040 140735732836280 6697980 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/18117/statm: 49704 46211 593 1026 0 48674 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 198816
[startup+6.3002 s]
/proc/loadavg: 1.96 2.00 2.00 3/177 18118
/proc/meminfo: memFree=26938044/32873660 swapFree=7120/7120
[pid=18117] ppid=18115 vsize=199228 CPUtime=6.28 cores=0,2,4,6
/proc/18117/stat : 18117 (pbscip.linux.x8) R 18115 18117 13836 0 -1 4202496 48813 0 0 0 620 8 0 0 20 0 1 0 337255952 204009472 46967 33554432000 4194304 8395647 140735732841040 140735732836280 7428202 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/18117/statm: 49807 46967 594 1026 0 48777 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 199228
[startup+12.7002 s]
/proc/loadavg: 1.96 2.00 2.00 3/177 18118
/proc/meminfo: memFree=26926532/32873660 swapFree=7120/7120
[pid=18117] ppid=18115 vsize=212056 CPUtime=12.68 cores=0,2,4,6
/proc/18117/stat : 18117 (pbscip.linux.x8) R 18115 18117 13836 0 -1 4202496 51856 0 0 0 1259 9 0 0 20 0 1 0 337255952 217145344 50010 33554432000 4194304 8395647 140735732841040 140735732835656 5994587 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/18117/statm: 53014 50010 594 1026 0 51984 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 212056
[startup+25.5002 s]
/proc/loadavg: 1.97 2.00 2.00 3/177 18118
/proc/meminfo: memFree=26916980/32873660 swapFree=7120/7120
[pid=18117] ppid=18115 vsize=219676 CPUtime=25.48 cores=0,2,4,6
/proc/18117/stat : 18117 (pbscip.linux.x8) R 18115 18117 13836 0 -1 4202496 54750 0 0 0 2535 13 0 0 20 0 1 0 337255952 224948224 52429 33554432000 4194304 8395647 140735732841040 140735732835656 7428202 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/18117/statm: 54919 52429 595 1026 0 53889 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 219676
[startup+51.1002 s]
/proc/loadavg: 1.98 2.00 2.00 3/177 18118
/proc/meminfo: memFree=26915728/32873660 swapFree=7120/7120
[pid=18117] ppid=18115 vsize=220732 CPUtime=51.07 cores=0,2,4,6
/proc/18117/stat : 18117 (pbscip.linux.x8) R 18115 18117 13836 0 -1 4202496 55283 0 0 0 5088 19 0 0 20 0 1 0 337255952 226029568 53015 33554432000 4194304 8395647 140735732841040 140735732835656 7428202 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/18117/statm: 55183 53015 595 1026 0 54153 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 220732
[startup+102.306 s]
/proc/loadavg: 1.99 2.00 2.00 3/177 18118
/proc/meminfo: memFree=26897424/32873660 swapFree=7120/7120
[pid=18117] ppid=18115 vsize=234472 CPUtime=102.25 cores=0,2,4,6
/proc/18117/stat : 18117 (pbscip.linux.x8) R 18115 18117 13836 0 -1 4202496 58813 0 0 0 10192 33 0 0 20 0 1 0 337255952 240099328 57207 33554432000 4194304 8395647 140735732841040 140735732836280 7428202 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/18117/statm: 58618 57207 597 1026 0 57588 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 234472
[startup+162.3 s]
/proc/loadavg: 1.99 2.00 2.00 3/177 18118
/proc/meminfo: memFree=26895256/32873660 swapFree=7120/7120
[pid=18117] ppid=18115 vsize=234472 CPUtime=162.24 cores=0,2,4,6
/proc/18117/stat : 18117 (pbscip.linux.x8) R 18115 18117 13836 0 -1 4202496 58820 0 0 0 16177 47 0 0 20 0 1 0 337255952 240099328 57788 33554432000 4194304 8395647 140735732841040 140735732836280 7428202 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/18117/statm: 58618 57788 597 1026 0 57588 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 234472
[startup+222.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/177 18156
/proc/meminfo: memFree=26937468/32873660 swapFree=7120/7120
[pid=18117] ppid=18115 vsize=234472 CPUtime=222.23 cores=0,2,4,6
/proc/18117/stat : 18117 (pbscip.linux.x8) R 18115 18117 13836 0 -1 4202496 58820 0 0 0 22162 61 0 0 20 0 1 0 337255952 240099328 57788 33554432000 4194304 8395647 140735732841040 140735732836280 7428202 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/18117/statm: 58618 57788 597 1026 0 57588 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 234472
[startup+282.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/177 18157
/proc/meminfo: memFree=26937624/32873660 swapFree=7120/7120
[pid=18117] ppid=18115 vsize=234652 CPUtime=282.21 cores=0,2,4,6
/proc/18117/stat : 18117 (pbscip.linux.x8) R 18115 18117 13836 0 -1 4202496 58843 0 0 0 28148 73 0 0 20 0 1 0 337255952 240283648 57811 33554432000 4194304 8395647 140735732841040 140735732836552 7428202 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/18117/statm: 58663 57811 597 1026 0 57633 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 234652
[startup+342.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/178 18160
/proc/meminfo: memFree=26934536/32873660 swapFree=7120/7120
[pid=18117] ppid=18115 vsize=235312 CPUtime=342.21 cores=0,2,4,6
/proc/18117/stat : 18117 (pbscip.linux.x8) R 18115 18117 13836 0 -1 4202496 58942 0 0 0 34134 87 0 0 20 0 1 0 337255952 240959488 57910 33554432000 4194304 8395647 140735732841040 140735732836280 7428202 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/18117/statm: 58828 57910 597 1026 0 57798 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 235312
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 18160
/proc/meminfo: memFree=26934832/32873660 swapFree=7120/7120
[pid=18117] ppid=18115 vsize=235312 CPUtime=402.2 cores=0,2,4,6
/proc/18117/stat : 18117 (pbscip.linux.x8) R 18115 18117 13836 0 -1 4202496 58942 0 0 0 40120 100 0 0 20 0 1 0 337255952 240959488 57910 33554432000 4194304 8395647 140735732841040 140735732836232 7428202 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/18117/statm: 58828 57910 597 1026 0 57798 0
Current children cumulated CPU time (s) 402.2
Current children cumulated vsize (KiB) 235312
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 18160
/proc/meminfo: memFree=26934580/32873660 swapFree=7120/7120
[pid=18117] ppid=18115 vsize=235488 CPUtime=462.19 cores=0,2,4,6
/proc/18117/stat : 18117 (pbscip.linux.x8) R 18115 18117 13836 0 -1 4202496 59052 0 0 0 46106 113 0 0 20 0 1 0 337255952 241139712 58019 33554432000 4194304 8395647 140735732841040 140735732836280 7428202 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/18117/statm: 58872 58019 597 1026 0 57842 0
Current children cumulated CPU time (s) 462.19
Current children cumulated vsize (KiB) 235488
[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 18160
/proc/meminfo: memFree=26933872/32873660 swapFree=7120/7120
[pid=18117] ppid=18115 vsize=236308 CPUtime=522.18 cores=0,2,4,6
/proc/18117/stat : 18117 (pbscip.linux.x8) R 18115 18117 13836 0 -1 4202496 59174 0 0 0 52094 124 0 0 20 0 1 0 337255952 241979392 58141 33554432000 4194304 8395647 140735732841040 140735732836232 7428202 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/18117/statm: 59077 58141 597 1026 0 58047 0
Current children cumulated CPU time (s) 522.18
Current children cumulated vsize (KiB) 236308
[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 18161
/proc/meminfo: memFree=26933900/32873660 swapFree=7120/7120
[pid=18117] ppid=18115 vsize=236308 CPUtime=582.17 cores=0,2,4,6
/proc/18117/stat : 18117 (pbscip.linux.x8) R 18115 18117 13836 0 -1 4202496 59200 0 0 0 58081 136 0 0 20 0 1 0 337255952 241979392 58167 33554432000 4194304 8395647 140735732841040 140735732836280 7428202 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/18117/statm: 59077 58167 597 1026 0 58047 0
Current children cumulated CPU time (s) 582.17
Current children cumulated vsize (KiB) 236308
[startup+642.3 s]
################
# More data... #
################
/proc/meminfo: memFree=26933292/32873660 swapFree=7120/7120
[pid=18117] ppid=18115 vsize=236888 CPUtime=1002.11 cores=0,2,4,6
/proc/18117/stat : 18117 (pbscip.linux.x8) R 18115 18117 13836 0 -1 4202496 59309 0 0 0 99994 217 0 0 20 0 1 0 337255952 242573312 58276 33554432000 4194304 8395647 140735732841040 140735732836280 7428202 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/18117/statm: 59222 58276 597 1026 0 58192 0
Current children cumulated CPU time (s) 1002.11
Current children cumulated vsize (KiB) 236888
[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 18166
/proc/meminfo: memFree=26933196/32873660 swapFree=7120/7120
[pid=18117] ppid=18115 vsize=236888 CPUtime=1062.09 cores=0,2,4,6
/proc/18117/stat : 18117 (pbscip.linux.x8) R 18115 18117 13836 0 -1 4202496 59309 0 0 0 105980 229 0 0 20 0 1 0 337255952 242573312 58276 33554432000 4194304 8395647 140735732841040 140735732836280 7428202 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/18117/statm: 59222 58276 597 1026 0 58192 0
Current children cumulated CPU time (s) 1062.09
Current children cumulated vsize (KiB) 236888
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 18166
/proc/meminfo: memFree=26933468/32873660 swapFree=7120/7120
[pid=18117] ppid=18115 vsize=236888 CPUtime=1122.09 cores=0,2,4,6
/proc/18117/stat : 18117 (pbscip.linux.x8) R 18115 18117 13836 0 -1 4202496 59309 0 0 0 111968 241 0 0 20 0 1 0 337255952 242573312 58276 33554432000 4194304 8395647 140735732841040 140735732836232 7428202 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/18117/statm: 59222 58276 597 1026 0 58192 0
Current children cumulated CPU time (s) 1122.09
Current children cumulated vsize (KiB) 236888
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 18167
/proc/meminfo: memFree=26933376/32873660 swapFree=7120/7120
[pid=18117] ppid=18115 vsize=236888 CPUtime=1182.08 cores=0,2,4,6
/proc/18117/stat : 18117 (pbscip.linux.x8) R 18115 18117 13836 0 -1 4202496 59309 0 0 0 117955 253 0 0 20 0 1 0 337255952 242573312 58276 33554432000 4194304 8395647 140735732841040 140735732836280 7428202 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/18117/statm: 59222 58276 597 1026 0 58192 0
Current children cumulated CPU time (s) 1182.08
Current children cumulated vsize (KiB) 236888
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 18167
/proc/meminfo: memFree=26933524/32873660 swapFree=7120/7120
[pid=18117] ppid=18115 vsize=236888 CPUtime=1242.07 cores=0,2,4,6
/proc/18117/stat : 18117 (pbscip.linux.x8) R 18115 18117 13836 0 -1 4202496 59309 0 0 0 123941 266 0 0 20 0 1 0 337255952 242573312 58276 33554432000 4194304 8395647 140735732841040 140735732836280 7428202 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/18117/statm: 59222 58276 597 1026 0 58192 0
Current children cumulated CPU time (s) 1242.07
Current children cumulated vsize (KiB) 236888
[startup+1302.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/177 18167
/proc/meminfo: memFree=26933308/32873660 swapFree=7120/7120
[pid=18117] ppid=18115 vsize=236888 CPUtime=1302.07 cores=0,2,4,6
/proc/18117/stat : 18117 (pbscip.linux.x8) R 18115 18117 13836 0 -1 4202496 59316 0 0 0 129930 277 0 0 20 0 1 0 337255952 242573312 58283 33554432000 4194304 8395647 140735732841040 140735732835912 7428202 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/18117/statm: 59222 58283 602 1026 0 58192 0
Current children cumulated CPU time (s) 1302.07
Current children cumulated vsize (KiB) 236888
[startup+1362.3 s]
/proc/loadavg: 2.09 2.02 2.00 3/177 18167
/proc/meminfo: memFree=26933340/32873660 swapFree=7120/7120
[pid=18117] ppid=18115 vsize=236888 CPUtime=1362.05 cores=0,2,4,6
/proc/18117/stat : 18117 (pbscip.linux.x8) R 18115 18117 13836 0 -1 4202496 59325 0 0 0 135926 279 0 0 20 0 1 0 337255952 242573312 58292 33554432000 4194304 8395647 140735732841040 140735732836472 5614893 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/18117/statm: 59222 58292 611 1026 0 58192 0
Current children cumulated CPU time (s) 1362.05
Current children cumulated vsize (KiB) 236888
[startup+1422.31 s]
/proc/loadavg: 2.03 2.02 2.00 3/177 18167
/proc/meminfo: memFree=26932872/32873660 swapFree=7120/7120
[pid=18117] ppid=18115 vsize=236888 CPUtime=1422.05 cores=0,2,4,6
/proc/18117/stat : 18117 (pbscip.linux.x8) R 18115 18117 13836 0 -1 4202496 59325 0 0 0 141926 279 0 0 20 0 1 0 337255952 242573312 58292 33554432000 4194304 8395647 140735732841040 140735732836472 4243669 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/18117/statm: 59222 58292 611 1026 0 58192 0
Current children cumulated CPU time (s) 1422.05
Current children cumulated vsize (KiB) 236888
[startup+1482.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 18168
/proc/meminfo: memFree=26932776/32873660 swapFree=7120/7120
[pid=18117] ppid=18115 vsize=236888 CPUtime=1482.03 cores=0,2,4,6
/proc/18117/stat : 18117 (pbscip.linux.x8) R 18115 18117 13836 0 -1 4202496 59325 0 0 0 147924 279 0 0 20 0 1 0 337255952 242573312 58292 33554432000 4194304 8395647 140735732841040 140735732836472 6019934 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/18117/statm: 59222 58292 611 1026 0 58192 0
Current children cumulated CPU time (s) 1482.03
Current children cumulated vsize (KiB) 236888
[startup+1542.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/178 18171
/proc/meminfo: memFree=26932440/32873660 swapFree=7120/7120
[pid=18117] ppid=18115 vsize=236888 CPUtime=1542.02 cores=0,2,4,6
/proc/18117/stat : 18117 (pbscip.linux.x8) R 18115 18117 13836 0 -1 4202496 59325 0 0 0 153923 279 0 0 20 0 1 0 337255952 242573312 58292 33554432000 4194304 8395647 140735732841040 140735732836472 5089577 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/18117/statm: 59222 58292 611 1026 0 58192 0
Current children cumulated CPU time (s) 1542.02
Current children cumulated vsize (KiB) 236888
[startup+1602.3 s]
/proc/loadavg: 2.06 2.02 2.00 3/177 18171
/proc/meminfo: memFree=26932600/32873660 swapFree=7120/7120
[pid=18117] ppid=18115 vsize=236888 CPUtime=1602.01 cores=0,2,4,6
/proc/18117/stat : 18117 (pbscip.linux.x8) R 18115 18117 13836 0 -1 4202496 59325 0 0 0 159922 279 0 0 20 0 1 0 337255952 242573312 58292 33554432000 4194304 8395647 140735732841040 140735732836472 6019974 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/18117/statm: 59222 58292 611 1026 0 58192 0
Current children cumulated CPU time (s) 1602.01
Current children cumulated vsize (KiB) 236888
[startup+1662.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 18171
/proc/meminfo: memFree=26932628/32873660 swapFree=7120/7120
[pid=18117] ppid=18115 vsize=236888 CPUtime=1662 cores=0,2,4,6
/proc/18117/stat : 18117 (pbscip.linux.x8) R 18115 18117 13836 0 -1 4202496 59325 0 0 0 165921 279 0 0 20 0 1 0 337255952 242573312 58292 33554432000 4194304 8395647 140735732841040 140735732836472 5085920 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/18117/statm: 59222 58292 611 1026 0 58192 0
Current children cumulated CPU time (s) 1662
Current children cumulated vsize (KiB) 236888
[startup+1722.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 18171
/proc/meminfo: memFree=26932536/32873660 swapFree=7120/7120
[pid=18117] ppid=18115 vsize=236888 CPUtime=1721.99 cores=0,2,4,6
/proc/18117/stat : 18117 (pbscip.linux.x8) R 18115 18117 13836 0 -1 4202496 59325 0 0 0 171920 279 0 0 20 0 1 0 337255952 242573312 58292 33554432000 4194304 8395647 140735732841040 140735732836472 4474212 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/18117/statm: 59222 58292 611 1026 0 58192 0
Current children cumulated CPU time (s) 1721.99
Current children cumulated vsize (KiB) 236888
[startup+1782.3 s]
/proc/loadavg: 2.08 2.03 2.01 3/177 18172
/proc/meminfo: memFree=26932200/32873660 swapFree=7120/7120
[pid=18117] ppid=18115 vsize=236888 CPUtime=1781.99 cores=0,2,4,6
/proc/18117/stat : 18117 (pbscip.linux.x8) R 18115 18117 13836 0 -1 4202496 59325 0 0 0 177920 279 0 0 20 0 1 0 337255952 242573312 58292 33554432000 4194304 8395647 140735732841040 140735732836472 6019962 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/18117/statm: 59222 58292 611 1026 0 58192 0
Current children cumulated CPU time (s) 1781.99
Current children cumulated vsize (KiB) 236888
Solver just ended. Dumping a history of the last processes samples
[startup+1785.5 s]
/proc/loadavg: 2.08 2.03 2.01 3/177 18172
/proc/meminfo: memFree=26932572/32873660 swapFree=7120/7120
[pid=18117] ppid=18115 vsize=236888 CPUtime=1785.19 cores=0,2,4,6
/proc/18117/stat : 18117 (pbscip.linux.x8) R 18115 18117 13836 0 -1 4202496 59325 0 0 0 178240 279 0 0 20 0 1 0 337255952 242573312 58292 33554432000 4194304 8395647 140735732841040 140735732836472 6019950 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/18117/statm: 59222 58292 611 1026 0 58192 0
Current children cumulated CPU time (s) 1785.19
Current children cumulated vsize (KiB) 236888
[startup+1788.7 s]
/proc/loadavg: 2.08 2.03 2.01 3/177 18172
/proc/meminfo: memFree=26932576/32873660 swapFree=7120/7120
[pid=18117] ppid=18115 vsize=236888 CPUtime=1788.38 cores=0,2,4,6
/proc/18117/stat : 18117 (pbscip.linux.x8) R 18115 18117 13836 0 -1 4202496 59325 0 0 0 178559 279 0 0 20 0 1 0 337255952 242573312 58292 33554432000 4194304 8395647 140735732841040 140735732836472 6028107 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/18117/statm: 59222 58292 611 1026 0 58192 0
Current children cumulated CPU time (s) 1788.38
Current children cumulated vsize (KiB) 236888
[startup+1789.5 s]
/proc/loadavg: 2.08 2.03 2.01 3/177 18172
/proc/meminfo: memFree=26932576/32873660 swapFree=7120/7120
[pid=18117] ppid=18115 vsize=236888 CPUtime=1789.18 cores=0,2,4,6
/proc/18117/stat : 18117 (pbscip.linux.x8) R 18115 18117 13836 0 -1 4202496 59325 0 0 0 178639 279 0 0 20 0 1 0 337255952 242573312 58292 33554432000 4194304 8395647 140735732841040 140735732836472 6019950 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/18117/statm: 59222 58292 611 1026 0 58192 0
Current children cumulated CPU time (s) 1789.18
Current children cumulated vsize (KiB) 236888
[startup+1789.9 s]
/proc/loadavg: 2.08 2.03 2.01 3/177 18172
/proc/meminfo: memFree=26932576/32873660 swapFree=7120/7120
[pid=18117] ppid=18115 vsize=236888 CPUtime=1789.58 cores=0,2,4,6
/proc/18117/stat : 18117 (pbscip.linux.x8) R 18115 18117 13836 0 -1 4202496 59325 0 0 0 178679 279 0 0 20 0 1 0 337255952 242573312 58292 33554432000 4194304 8395647 140735732841040 140735732836472 6019710 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/18117/statm: 59222 58292 611 1026 0 58192 0
Current children cumulated CPU time (s) 1789.58
Current children cumulated vsize (KiB) 236888
[startup+1790.1 s]
/proc/loadavg: 2.08 2.03 2.01 3/177 18172
/proc/meminfo: memFree=26932576/32873660 swapFree=7120/7120
[pid=18117] ppid=18115 vsize=236888 CPUtime=1789.78 cores=0,2,4,6
/proc/18117/stat : 18117 (pbscip.linux.x8) R 18115 18117 13836 0 -1 4202496 59331 0 0 0 178699 279 0 0 20 0 1 0 337255952 242573312 58298 33554432000 4194304 8395647 140735732841040 140735732836472 6345900 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/18117/statm: 59222 58298 617 1026 0 58192 0
Current children cumulated CPU time (s) 1789.78
Current children cumulated vsize (KiB) 236888
Child status: 0
Real time (s): 1790.16
CPU time (s): 1789.86
CPU user time (s): 1787.05
CPU system time (s): 2.80457
CPU usage (%): 99.9831
Max. virtual memory (cumulated for all children) (KiB): 236888
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1787.05
system time used= 2.80457
maximum resident set size= 233192
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 59334
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 35
involuntary context switches= 2066
runsolver used 3.02154 second user time and 6.76997 second system time
The end