0.00/0.00 c SCIP version 2.0.1.4 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.5.0.4]
0.00/0.00 c Copyright (c) 2002-2011 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-3452350-1307109000.opb>
0.09/0.09 c original problem has 1000 variables (1000 bin, 0 int, 0 impl, 0 cont) and 1000 constraints
0.09/0.09 c problem read
0.09/0.09 c presolving settings loaded
0.29/0.30 o 0
0.29/0.30 c feasible solution found by trivial heuristic, objective value 0.000000e+00
0.29/0.30 c presolving:
0.69/0.73 c (round 1) 37742 del vars, 1000 del conss, 0 add conss, 37742 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 150968 impls, 0 clqs
0.79/0.86 c (round 2) 37742 del vars, 1000 del conss, 0 add conss, 37742 chg bounds, 0 chg sides, 0 chg coeffs, 37742 upgd conss, 226452 impls, 0 clqs
0.99/1.04 c (1.0s) probing: 101/1000 (10.1%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.99/1.04 c (1.0s) probing aborted: 100/100 successive totally useless probings
0.99/1.04 c presolving (3 rounds):
0.99/1.04 c 37742 deleted vars, 1000 deleted constraints, 0 added constraints, 37742 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.99/1.04 c 226452 implications, 0 cliques
0.99/1.04 c presolved problem has 1000 variables (1000 bin, 0 int, 0 impl, 0 cont) and 37742 constraints
0.99/1.04 c 37742 constraints of type <logicor>
0.99/1.04 c transformed objective value is always integral (scale: 1)
0.99/1.04 c Presolving Time: 0.93
0.99/1.04 c - non default parameters ----------------------------------------------------------------------
0.99/1.04 c # SCIP version 2.0.1.4
0.99/1.04 c
0.99/1.04 c # maximal number of intermediate conflict constraints generated in conflict graph (-1: use every intermediate constraint)
0.99/1.04 c # [type: int, range: [-1,2147483647], default: -1]
0.99/1.04 c conflict/interconss = 0
0.99/1.04 c
0.99/1.04 c # should binary conflicts be preferred?
0.99/1.04 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.99/1.04 c conflict/preferbinary = TRUE
0.99/1.04 c
0.99/1.04 c # maximum age an unnecessary constraint can reach before it is deleted (0: dynamic, -1: keep all constraints)
0.99/1.04 c # [type: int, range: [-1,2147483647], default: 0]
0.99/1.04 c constraints/agelimit = 1
0.99/1.04 c
0.99/1.04 c # should enforcement of pseudo solution be disabled?
0.99/1.04 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.99/1.04 c constraints/disableenfops = TRUE
0.99/1.04 c
0.99/1.04 c # frequency for displaying node information lines
0.99/1.04 c # [type: int, range: [-1,2147483647], default: 100]
0.99/1.04 c display/freq = 10000
0.99/1.04 c
0.99/1.04 c # maximal time in seconds to run
0.99/1.04 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.99/1.04 c limits/time = 1800
0.99/1.04 c
0.99/1.04 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.99/1.04 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.99/1.04 c limits/memory = 13950
0.99/1.04 c
0.99/1.04 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.99/1.04 c # [type: int, range: [-1,2147483647], default: 1]
0.99/1.04 c lp/solvefreq = 0
0.99/1.04 c
0.99/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)
0.99/1.04 c # [type: char, range: {lafpsqd}, default: l]
0.99/1.04 c lp/pricing = a
0.99/1.04 c
0.99/1.04 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.99/1.04 c # [type: int, range: [1,2], default: 1]
0.99/1.04 c timing/clocktype = 2
0.99/1.04 c
0.99/1.04 c # belongs reading time to solving time?
0.99/1.04 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.99/1.04 c timing/reading = TRUE
0.99/1.04 c
0.99/1.04 c # should presolving try to simplify inequalities
0.99/1.04 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.99/1.04 c constraints/linear/simplifyinequalities = TRUE
0.99/1.04 c
0.99/1.04 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.99/1.04 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.99/1.04 c constraints/indicator/addCouplingCons = TRUE
0.99/1.04 c
0.99/1.04 c # should presolving try to simplify knapsacks
0.99/1.04 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.99/1.04 c constraints/knapsack/simplifyinequalities = TRUE
0.99/1.04 c
0.99/1.04 c # priority of node selection rule <dfs> in standard mode
0.99/1.04 c # [type: int, range: [-536870912,536870911], default: 0]
0.99/1.04 c nodeselection/dfs/stdpriority = 1000000
0.99/1.04 c
0.99/1.04 c -----------------------------------------------------------------------------------------------
0.99/1.04 c start solving
0.99/1.04 c
1.49/1.53 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.53 c t 1.5s| 1 | 0 | 1014 | - | 77M| 0 |1000 |1000 | 37k|1000 | 37k| 0 | 0 | 0 |-5.000000e+02 | 0.000000e+00 | 100.00%
1.49/1.57 o -1
1.49/1.57 c R 1.6s| 1 | 0 | 1014 | - | 77M| 0 |1000 |1000 | 37k|1000 | 37k| 0 | 0 | 0 |-5.000000e+02 |-1.000000e+00 | 99.80%
1.59/1.61 o -2
1.59/1.61 c s 1.6s| 1 | 0 | 1014 | - | 77M| 0 |1000 |1000 | 37k|1000 | 37k| 0 | 0 | 0 |-5.000000e+02 |-2.000000e+00 | 99.60%
2.29/2.31 c 2.3s| 1 | 0 | 1272 | - | 77M| 0 | 988 |1000 | 37k|1000 | 37k| 10 | 0 | 0 |-4.940000e+02 |-2.000000e+00 | 99.60%
2.29/2.32 o -53
2.29/2.32 c b 2.3s| 1 | 0 | 1272 | - | 77M| 0 | 988 |1000 | 37k|1000 | 37k| 10 | 0 | 0 |-4.940000e+02 |-5.300000e+01 | 89.27%
2.99/3.01 c 3.0s| 1 | 0 | 1421 | - | 77M| 0 | 977 |1000 | 37k|1000 | 37k| 19 | 0 | 0 |-4.885000e+02 |-5.300000e+01 | 89.15%
3.69/3.79 c 3.8s| 1 | 0 | 1668 | - | 77M| 0 | 968 |1000 | 37k|1000 | 37k| 28 | 0 | 0 |-4.840000e+02 |-5.300000e+01 | 89.05%
4.59/4.66 c 4.7s| 1 | 0 | 1895 | - | 77M| 0 | 959 |1000 | 37k|1000 | 37k| 35 | 0 | 0 |-4.795000e+02 |-5.300000e+01 | 88.95%
5.51/5.58 c 5.6s| 1 | 0 | 2236 | - | 77M| 0 | 951 |1000 | 37k|1000 | 37k| 42 | 0 | 0 |-4.755000e+02 |-5.300000e+01 | 88.85%
6.60/6.64 c 6.6s| 1 | 0 | 2632 | - | 77M| 0 | 944 |1000 | 37k|1000 | 37k| 51 | 0 | 0 |-4.715000e+02 |-5.300000e+01 | 88.76%
7.60/7.71 c 7.7s| 1 | 0 | 3115 | - | 77M| 0 | 936 |1000 | 37k|1000 | 37k| 62 | 0 | 0 |-4.680000e+02 |-5.300000e+01 | 88.68%
8.99/9.07 c 9.1s| 1 | 0 | 3810 | - | 78M| 0 | 929 |1000 | 37k|1000 | 37k| 76 | 0 | 0 |-4.635000e+02 |-5.300000e+01 | 88.57%
10.67/10.70 c 10.7s| 1 | 0 | 4860 | - | 78M| 0 | 919 |1000 | 37k|1000 | 37k| 86 | 0 | 0 |-4.595000e+02 |-5.300000e+01 | 88.47%
12.36/12.41 c 12.4s| 1 | 0 | 5853 | - | 78M| 0 | 906 |1000 | 37k|1000 | 37k| 102 | 0 | 0 |-4.530000e+02 |-5.300000e+01 | 88.30%
13.85/13.93 c 13.9s| 1 | 0 | 7066 | - | 79M| 0 | 903 |1000 | 37k|1000 |1781 | 114 | 0 | 0 |-4.514000e+02 |-5.300000e+01 | 88.26%
14.05/14.17 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
14.05/14.17 c 14.2s| 1 | 0 | 7654 | - | 79M| 0 | 889 |1000 | 37k|1000 |1792 | 125 | 0 | 0 |-4.485000e+02 |-5.300000e+01 | 88.18%
14.35/14.47 c 14.5s| 1 | 0 | 8365 | - | 79M| 0 | 895 |1000 | 37k|1000 |2043 | 376 | 0 | 0 |-4.475000e+02 |-5.300000e+01 | 88.16%
14.96/15.09 c 15.1s| 1 | 0 | 11228 | - | 80M| 0 | 877 |1000 | 37k|1000 |2213 | 546 | 0 | 0 |-4.442500e+02 |-5.300000e+01 | 88.07%
15.56/15.63 c 15.6s| 1 | 0 | 12010 | - | 82M| 0 | 881 |1000 | 37k|1000 |3213 |1546 | 0 | 0 |-4.416667e+02 |-5.300000e+01 | 88.00%
15.96/16.02 c 16.0s| 1 | 0 | 13342 | - | 82M| 0 | 874 |1000 | 37k|1000 |3518 |1851 | 0 | 0 |-4.400000e+02 |-5.300000e+01 | 87.95%
16.47/16.51 c 16.5s| 1 | 0 | 14385 | - | 83M| 0 | 881 |1000 | 37k|1000 |3298 |2072 | 0 | 0 |-4.386667e+02 |-5.300000e+01 | 87.92%
16.86/16.92 c 16.9s| 1 | 0 | 15357 | - | 83M| 0 | 875 |1000 | 37k|1000 |3652 |2426 | 0 | 0 |-4.370000e+02 |-5.300000e+01 | 87.87%
17.46/17.54 c 17.5s| 1 | 0 | 17504 | - | 83M| 0 | 883 |1000 | 37k|1000 |4027 |2801 | 0 | 0 |-4.345000e+02 |-5.300000e+01 | 87.80%
18.05/18.10 c 18.1s| 1 | 0 | 19075 | - | 84M| 0 | 854 |1000 | 37k|1000 |4207 |2981 | 0 | 0 |-4.315000e+02 |-5.300000e+01 | 87.72%
18.45/18.54 c 18.5s| 1 | 0 | 20749 | - | 84M| 0 | 859 |1000 | 37k|1000 |4517 |3291 | 0 | 0 |-4.300000e+02 |-5.300000e+01 | 87.67%
18.95/19.09 c 19.1s| 1 | 0 | 23035 | - | 84M| 0 | 903 |1000 | 37k|1000 |4695 |3469 | 0 | 0 |-4.277500e+02 |-5.300000e+01 | 87.61%
19.85/19.92 c 19.9s| 1 | 0 | 23164 | - | 84M| 0 | 855 |1000 | 37k|1000 |6131 |5469 | 0 | 0 |-4.275000e+02 |-5.300000e+01 | 87.60%
20.16/20.21 c 20.2s| 1 | 0 | 23795 | - | 84M| 0 | 847 |1000 | 37k|1000 |6140 |5478 | 0 | 0 |-4.240000e+02 |-5.300000e+01 | 87.50%
20.46/20.55 c 20.5s| 1 | 0 | 24493 | - | 85M| 0 | 844 |1000 | 37k|1000 |6340 |5678 | 0 | 0 |-4.220000e+02 |-5.300000e+01 | 87.44%
20.66/20.80 c 20.8s| 1 | 0 | 24973 | - | 85M| 0 | 848 |1000 | 37k|1000 |6395 |5733 | 0 | 0 |-4.207500e+02 |-5.300000e+01 | 87.40%
21.06/21.12 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
21.06/21.12 c 21.1s| 1 | 0 | 25666 | - | 85M| 0 | 821 |1000 | 37k|1000 |6723 |6061 | 0 | 0 |-4.170000e+02 |-5.300000e+01 | 87.29%
21.55/21.63 c 21.6s| 1 | 0 | 27210 | - | 85M| 0 | 824 |1000 | 37k|1000 |7195 |6533 | 0 | 0 |-4.150000e+02 |-5.300000e+01 | 87.23%
21.97/22.04 c 22.0s| 1 | 0 | 28094 | - | 86M| 0 | 823 |1000 | 37k|1000 |4891 |6778 | 0 | 0 |-4.115000e+02 |-5.300000e+01 | 87.12%
22.35/22.43 c 22.4s| 1 | 0 | 29416 | - | 86M| 0 | 818 |1000 | 37k|1000 |5016 |6903 | 0 | 0 |-4.100000e+02 |-5.300000e+01 | 87.07%
22.76/22.88 c 22.9s| 1 | 0 | 30984 | - | 86M| 0 | 811 |1000 | 37k|1000 |5372 |7259 | 0 | 0 |-4.077500e+02 |-5.300000e+01 | 87.00%
23.36/23.43 c 23.4s| 1 | 0 | 33213 | - | 87M| 0 | 819 |1000 | 37k|1000 |5631 |7518 | 0 | 0 |-4.047500e+02 |-5.300000e+01 | 86.91%
23.76/23.81 c 23.8s| 1 | 0 | 33536 | - | 88M| 0 | 808 |1000 | 37k|1000 |7393 |9280 | 0 | 0 |-4.040000e+02 |-5.300000e+01 | 86.88%
24.06/24.13 c 24.1s| 1 | 0 | 34302 | - | 88M| 0 | 803 |1000 | 37k|1000 |7400 |9287 | 0 | 0 |-4.025000e+02 |-5.300000e+01 | 86.83%
24.35/24.47 c 24.5s| 1 | 0 | 35212 | - | 88M| 0 | 800 |1000 | 37k|1000 |6399 |9357 | 0 | 0 |-4.000000e+02 |-5.300000e+01 | 86.75%
24.65/24.77 c 24.8s| 1 | 0 | 35991 | - | 88M| 0 | 802 |1000 | 37k|1000 |6406 |9364 | 0 | 0 |-3.987500e+02 |-5.300000e+01 | 86.71%
25.05/25.15 c 25.2s| 1 | 0 | 37080 | - | 88M| 0 | 783 |1000 | 37k|1000 |6647 |9605 | 0 | 0 |-3.960000e+02 |-5.300000e+01 | 86.62%
25.36/25.48 c 25.5s| 1 | 0 | 38073 | - | 88M| 0 | 787 |1000 | 37k|1000 |6923 |9881 | 0 | 0 |-3.945000e+02 |-5.300000e+01 | 86.57%
25.95/26.04 c 26.0s| 1 | 0 | 40485 | - | 88M| 0 | 845 |1000 | 37k|1000 |6978 |9936 | 0 | 0 |-3.907917e+02 |-5.300000e+01 | 86.44%
26.45/26.58 c 26.6s| 1 | 0 | 40619 | - | 88M| 0 | 781 |1000 | 37k|1000 |8978 | 11k| 0 | 0 |-3.905000e+02 |-5.300000e+01 | 86.43%
26.85/26.99 c 27.0s| 1 | 0 | 41539 | - | 89M| 0 | 773 |1000 | 37k|1000 |7379 | 11k| 0 | 0 |-3.885000e+02 |-5.300000e+01 | 86.36%
27.25/27.31 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
27.25/27.31 c 27.3s| 1 | 0 | 42019 | - | 89M| 0 | 783 |1000 | 37k|1000 |7484 | 12k| 0 | 0 |-3.880000e+02 |-5.300000e+01 | 86.34%
27.66/27.76 c 27.8s| 1 | 0 | 43198 | - | 89M| 0 | 768 |1000 | 37k|1000 |7500 | 12k| 0 | 0 |-3.860000e+02 |-5.300000e+01 | 86.27%
27.96/28.06 c 28.1s| 1 | 0 | 43705 | - | 89M| 0 | 773 |1000 | 37k|1000 |7625 | 12k| 0 | 0 |-3.855000e+02 |-5.300000e+01 | 86.25%
28.46/28.52 c 28.5s| 1 | 0 | 44886 | - | 90M| 0 | 768 |1000 | 37k|1000 |7753 | 12k| 0 | 0 |-3.845000e+02 |-5.300000e+01 | 86.22%
28.76/28.81 c 28.8s| 1 | 0 | 45525 | - | 90M| 0 | 770 |1000 | 37k|1000 |7860 | 12k| 0 | 0 |-3.830000e+02 |-5.300000e+01 | 86.16%
29.06/29.15 c 29.1s| 1 | 0 | 46272 | - | 90M| 0 | 756 |1000 | 37k|1000 |5873 | 12k| 0 | 0 |-3.810000e+02 |-5.300000e+01 | 86.09%
29.46/29.51 c 29.5s| 1 | 0 | 47501 | - | 90M| 0 | 753 |1000 | 37k|1000 |6050 | 12k| 0 | 0 |-3.780000e+02 |-5.300000e+01 | 85.98%
29.67/29.79 c 29.8s| 1 | 0 | 48419 | - | 90M| 0 | 743 |1000 | 37k|1000 |6189 | 12k| 0 | 0 |-3.765000e+02 |-5.300000e+01 | 85.92%
29.95/30.03 c 30.0s| 1 | 0 | 48850 | - | 90M| 0 | 770 |1000 | 37k|1000 |6443 | 13k| 0 | 0 |-3.755000e+02 |-5.300000e+01 | 85.89%
30.45/30.54 c 30.5s| 1 | 0 | 50519 | - | 91M| 0 | 733 |1000 | 37k|1000 |6797 | 13k| 0 | 0 |-3.725000e+02 |-5.300000e+01 | 85.77%
30.66/30.79 c 30.8s| 1 | 0 | 50961 | - | 91M| 0 | 744 |1000 | 37k|1000 |7105 | 13k| 0 | 0 |-3.720000e+02 |-5.300000e+01 | 85.75%
30.95/31.08 c 31.1s| 1 | 0 | 51517 | - | 91M| 0 | 741 |1000 | 37k|1000 |6535 | 13k| 0 | 0 |-3.715000e+02 |-5.300000e+01 | 85.73%
31.55/31.68 c 31.7s| 1 | 0 | 53278 | - | 92M| 0 | 742 |1000 | 37k|1000 |6595 | 13k| 0 | 0 |-3.705000e+02 |-5.300000e+01 | 85.70%
32.26/32.34 c 32.3s| 1 | 0 | 55768 | - | 92M| 0 | 744 |1000 | 37k|1000 |6606 | 13k| 0 | 0 |-3.693333e+02 |-5.300000e+01 | 85.65%
32.97/33.07 c 33.1s| 1 | 0 | 58666 | - | 92M| 0 | 823 |1000 | 37k|1000 |6920 | 14k| 0 | 0 |-3.685435e+02 |-5.300000e+01 | 85.62%
33.75/33.86 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
33.75/33.86 c 33.9s| 1 | 0 | 59129 | - | 92M| 0 | 774 |1000 | 37k|1000 |8920 | 16k| 0 | 0 |-3.680000e+02 |-5.300000e+01 | 85.60%
34.45/34.54 c 34.5s| 1 | 0 | 61034 | - | 92M| 0 | 750 |1000 | 37k|1000 |8931 | 16k| 0 | 0 |-3.660000e+02 |-5.300000e+01 | 85.52%
34.86/34.95 c 35.0s| 1 | 0 | 61981 | - | 92M| 0 | 742 |1000 | 37k|1000 |8354 | 16k| 0 | 0 |-3.657500e+02 |-5.300000e+01 | 85.51%
35.85/35.90 c 35.9s| 1 | 0 | 64852 | - | 93M| 0 | 734 |1000 | 37k|1000 |8365 | 16k| 0 | 0 |-3.645000e+02 |-5.300000e+01 | 85.46%
36.75/36.86 c 36.9s| 1 | 0 | 67275 | - | 93M| 0 | 738 |1000 | 37k|1000 |8485 | 16k| 0 | 0 |-3.630000e+02 |-5.300000e+01 | 85.40%
37.65/37.76 c 37.8s| 1 | 0 | 70003 | - | 94M| 0 | 754 |1000 | 37k|1000 |8633 | 16k| 0 | 0 |-3.614000e+02 |-5.300000e+01 | 85.33%
38.05/38.10 c 38.1s| 1 | 0 | 70547 | - | 94M| 0 | 750 |1000 | 37k|1000 |8748 | 16k| 0 | 0 |-3.600000e+02 |-5.300000e+01 | 85.28%
38.36/38.47 c 38.5s| 1 | 0 | 71394 | - | 94M| 0 | 726 |1000 | 37k|1000 |8796 | 16k| 0 | 0 |-3.582500e+02 |-5.300000e+01 | 85.21%
38.95/39.04 c 39.0s| 1 | 0 | 72761 | - | 95M| 0 | 733 |1000 | 37k|1000 |8289 | 16k| 0 | 0 |-3.575000e+02 |-5.300000e+01 | 85.17%
39.57/39.67 c 39.7s| 1 | 0 | 73918 | - | 95M| 0 | 718 |1000 | 37k|1000 |8392 | 16k| 0 | 0 |-3.570000e+02 |-5.300000e+01 | 85.15%
40.35/40.45 c 40.5s| 1 | 0 | 76075 | - | 96M| 0 | 770 |1000 | 37k|1000 |8404 | 16k| 0 | 0 |-3.562500e+02 |-5.300000e+01 | 85.12%
41.77/41.83 c 41.8s| 1 | 0 | 79795 | - | 96M| 0 | 764 |1000 | 37k|1000 |8605 | 17k| 0 | 0 |-3.555882e+02 |-5.300000e+01 | 85.10%
42.96/43.05 c 43.1s| 1 | 0 | 82811 | - | 98M| 0 | 781 |1000 | 37k|1000 |8687 | 17k| 0 | 0 |-3.534916e+02 |-5.300000e+01 | 85.01%
43.97/44.04 c 44.0s| 1 | 0 | 84906 | - | 99M| 0 | 760 |1000 | 37k|1000 |8968 | 17k| 0 | 0 |-3.519500e+02 |-5.300000e+01 | 84.94%
44.45/44.59 c 44.6s| 1 | 0 | 86049 | - | 99M| 0 | 753 |1000 | 37k|1000 |8600 | 17k| 0 | 0 |-3.513125e+02 |-5.300000e+01 | 84.91%
45.25/45.33 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
45.25/45.33 c 45.3s| 1 | 0 | 88085 | - | 100M| 0 | 697 |1000 | 37k|1000 |8752 | 17k| 0 | 0 |-3.485000e+02 |-5.300000e+01 | 84.79%
46.25/46.32 c 46.3s| 1 | 0 | 91268 | - | 100M| 0 | 748 |1000 | 37k|1000 |8765 | 17k| 0 | 0 |-3.467083e+02 |-5.300000e+01 | 84.71%
46.86/46.97 c 47.0s| 1 | 0 | 92796 | - | 101M| 0 | 749 |1000 | 37k|1000 |8941 | 17k| 0 | 0 |-3.459286e+02 |-5.300000e+01 | 84.68%
47.75/47.87 c 47.9s| 1 | 0 | 95164 | - | 102M| 0 | 745 |1000 | 37k|1000 |9137 | 18k| 0 | 0 |-3.450538e+02 |-5.300000e+01 | 84.64%
48.65/48.76 c 48.8s| 1 | 0 | 97355 | - | 103M| 0 | 750 |1000 | 37k|1000 |9230 | 18k| 0 | 0 |-3.436429e+02 |-5.300000e+01 | 84.58%
49.75/49.88 c 49.9s| 1 | 0 |100139 | - | 104M| 0 | 726 |1000 | 37k|1000 |8960 | 18k| 0 | 0 |-3.427500e+02 |-5.300000e+01 | 84.54%
50.15/50.27 c 50.3s| 1 | 0 |100651 | - | 105M| 0 | 752 |1000 | 37k|1000 |9048 | 18k| 0 | 0 |-3.424272e+02 |-5.300000e+01 | 84.52%
51.35/51.40 c 51.4s| 1 | 0 |103466 | - | 106M| 0 | 723 |1000 | 37k|1000 |9166 | 18k| 0 | 0 |-3.418333e+02 |-5.300000e+01 | 84.50%
52.56/52.63 c 52.6s| 1 | 0 |106936 | - | 106M| 0 | 701 |1000 | 37k|1000 |9273 | 18k| 0 | 0 |-3.401250e+02 |-5.300000e+01 | 84.42%
53.55/53.64 c 53.6s| 1 | 0 |109238 | - | 107M| 0 | 758 |1000 | 37k|1000 |9379 | 18k| 0 | 0 |-3.388625e+02 |-5.300000e+01 | 84.36%
54.46/54.58 c 54.6s| 1 | 0 |111287 | - | 109M| 0 | 755 |1000 | 37k|1000 |9396 | 18k| 0 | 0 |-3.373173e+02 |-5.300000e+01 | 84.29%
57.75/57.89 c 57.9s| 1 | 0 |119131 | - | 110M| 0 | 784 |1000 | 37k|1000 |8862 | 18k| 0 | 0 |-3.351944e+02 |-5.300000e+01 | 84.19%
59.06/59.16 c 59.2s| 1 | 0 |122562 | - | 112M| 0 | 744 |1000 | 37k|1000 |9261 | 19k| 0 | 0 |-3.340312e+02 |-5.300000e+01 | 84.13%
60.26/60.34 c 60.3s| 1 | 0 |125528 | - | 114M| 0 | 745 |1000 | 37k|1000 |9316 | 19k| 0 | 0 |-3.320870e+02 |-5.300000e+01 | 84.04%
61.36/61.46 c 61.5s| 1 | 0 |128281 | - | 115M| 0 | 752 |1000 | 37k|1000 |9527 | 19k| 0 | 0 |-3.313630e+02 |-5.300000e+01 | 84.01%
62.85/62.98 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
62.85/62.98 c 63.0s| 1 | 0 |131542 | - | 116M| 0 | 731 |1000 | 37k|1000 |9574 | 19k| 0 | 0 |-3.301604e+02 |-5.300000e+01 | 83.95%
63.95/64.06 c 64.1s| 1 | 0 |133572 | - | 116M| 0 | 779 |1000 | 37k|1000 |9623 | 19k| 0 | 0 |-3.292855e+02 |-5.300000e+01 | 83.90%
65.86/65.97 c 66.0s| 1 | 0 |137286 | - | 117M| 0 | 773 |1000 | 37k|1000 |9187 | 19k| 0 | 0 |-3.281381e+02 |-5.300000e+01 | 83.85%
67.16/67.29 c 67.3s| 1 | 0 |139661 | - | 117M| 0 | 780 |1000 | 37k|1000 |9332 | 19k| 0 | 0 |-3.270828e+02 |-5.300000e+01 | 83.80%
68.35/68.42 c 68.4s| 1 | 0 |141665 | - | 117M| 0 | 768 |1000 | 37k|1000 |9349 | 19k| 0 | 0 |-3.264833e+02 |-5.300000e+01 | 83.77%
70.15/70.31 c 70.3s| 1 | 0 |145415 | - | 118M| 0 | 771 |1000 | 37k|1000 |9435 | 19k| 0 | 0 |-3.246764e+02 |-5.300000e+01 | 83.68%
71.06/71.19 c 71.2s| 1 | 0 |146944 | - | 118M| 0 | 746 |1000 | 37k|1000 |9598 | 20k| 0 | 0 |-3.234093e+02 |-5.300000e+01 | 83.61%
71.85/71.99 c 72.0s| 1 | 0 |148610 | - | 120M| 0 | 750 |1000 | 37k|1000 |9729 | 20k| 0 | 0 |-3.224896e+02 |-5.300000e+01 | 83.57%
72.85/72.96 c 73.0s| 1 | 0 |150622 | - | 122M| 0 | 750 |1000 | 37k|1000 |9416 | 20k| 0 | 0 |-3.213427e+02 |-5.300000e+01 | 83.51%
74.15/74.23 c 74.2s| 1 | 0 |153052 | - | 123M| 0 | 769 |1000 | 37k|1000 |9463 | 20k| 0 | 0 |-3.196914e+02 |-5.300000e+01 | 83.42%
74.95/75.00 c 75.0s| 1 | 0 |154474 | - | 124M| 0 | 769 |1000 | 37k|1000 |9671 | 20k| 0 | 0 |-3.188648e+02 |-5.300000e+01 | 83.38%
76.35/76.47 c 76.5s| 1 | 0 |157397 | - | 127M| 0 | 786 |1000 | 37k|1000 |9698 | 20k| 0 | 0 |-3.172071e+02 |-5.300000e+01 | 83.29%
77.35/77.42 c 77.4s| 1 | 0 |159043 | - | 129M| 0 | 794 |1000 | 37k|1000 |9874 | 20k| 0 | 0 |-3.168457e+02 |-5.300000e+01 | 83.27%
78.75/78.88 c 78.9s| 1 | 0 |160729 | - | 129M| 0 | 794 |1000 | 37k|1000 |9962 | 20k| 0 | 0 |-3.154119e+02 |-5.300000e+01 | 83.20%
80.06/80.20 c 80.2s| 1 | 0 |162434 | - | 129M| 0 | 782 |1000 | 37k|1000 |9714 | 21k| 0 | 0 |-3.149890e+02 |-5.300000e+01 | 83.17%
81.56/81.61 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
81.56/81.61 c 81.6s| 1 | 0 |165208 | - | 132M| 0 | 789 |1000 | 37k|1000 |9766 | 21k| 0 | 0 |-3.137626e+02 |-5.300000e+01 | 83.11%
82.86/82.91 c 82.9s| 1 | 0 |167052 | - | 132M| 0 | 807 |1000 | 37k|1000 |9815 | 21k| 0 | 0 |-3.130303e+02 |-5.300000e+01 | 83.07%
86.36/86.42 c 86.4s| 1 | 0 |173769 | - | 132M| 0 | 802 |1000 | 37k|1000 |9928 | 21k| 0 | 0 |-3.110622e+02 |-5.300000e+01 | 82.96%
88.26/88.39 c 88.4s| 1 | 0 |177048 | - | 132M| 0 | 809 |1000 | 37k|1000 | 10k| 21k| 0 | 0 |-3.101210e+02 |-5.300000e+01 | 82.91%
90.45/90.51 c 90.5s| 1 | 0 |180291 | - | 132M| 0 | 802 |1000 | 37k|1000 | 10k| 21k| 0 | 0 |-3.090452e+02 |-5.300000e+01 | 82.85%
92.37/92.48 c 92.5s| 1 | 0 |183099 | - | 132M| 0 | 796 |1000 | 37k|1000 |9683 | 21k| 0 | 0 |-3.081590e+02 |-5.300000e+01 | 82.80%
93.85/93.97 c 94.0s| 1 | 0 |185326 | - | 133M| 0 | 793 |1000 | 37k|1000 |9698 | 21k| 0 | 0 |-3.076010e+02 |-5.300000e+01 | 82.77%
95.56/95.66 c 95.7s| 1 | 0 |187813 | - | 132M| 0 | 801 |1000 | 37k|1000 |9902 | 21k| 0 | 0 |-3.068169e+02 |-5.300000e+01 | 82.73%
97.15/97.28 c 97.3s| 1 | 0 |189997 | - | 132M| 0 | 810 |1000 | 37k|1000 |9943 | 21k| 0 | 0 |-3.060470e+02 |-5.300000e+01 | 82.68%
100.07/100.15 c 100s| 1 | 0 |194514 | - | 132M| 0 | 821 |1000 | 37k|1000 | 10k| 21k| 0 | 0 |-3.050001e+02 |-5.300000e+01 | 82.62%
102.75/102.83 c 103s| 1 | 0 |198266 | - | 131M| 0 | 825 |1000 | 37k|1000 | 10k| 21k| 0 | 0 |-3.037245e+02 |-5.300000e+01 | 82.55%
105.35/105.42 c 105s| 1 | 0 |202031 | - | 131M| 0 | 817 |1000 | 37k|1000 |9926 | 22k| 0 | 0 |-3.028072e+02 |-5.300000e+01 | 82.50%
108.76/108.84 c 109s| 1 | 0 |208030 | - | 131M| 0 | 828 |1000 | 37k|1000 |9941 | 22k| 0 | 0 |-3.019358e+02 |-5.300000e+01 | 82.45%
111.95/112.06 c 112s| 1 | 0 |212620 | - | 130M| 0 | 824 |1000 | 37k|1000 | 10k| 22k| 0 | 0 |-3.005875e+02 |-5.300000e+01 | 82.37%
114.05/114.10 c 114s| 1 | 0 |215267 | - | 130M| 0 | 825 |1000 | 37k|1000 | 10k| 22k| 0 | 0 |-2.997368e+02 |-5.300000e+01 | 82.32%
117.45/117.59 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
117.45/117.59 c 118s| 1 | 0 |221066 | - | 130M| 0 | 841 |1000 | 37k|1000 | 10k| 22k| 0 | 0 |-2.988295e+02 |-5.300000e+01 | 82.26%
121.25/121.37 c 121s| 1 | 0 |226555 | - | 129M| 0 | 842 |1000 | 37k|1000 | 10k| 22k| 0 | 0 |-2.979954e+02 |-5.300000e+01 | 82.21%
124.45/124.57 c 125s| 1 | 0 |230812 | - | 129M| 0 | 848 |1000 | 37k|1000 | 10k| 22k| 0 | 0 |-2.972366e+02 |-5.300000e+01 | 82.17%
127.16/127.25 c 127s| 1 | 0 |233811 | - | 129M| 0 | 851 |1000 | 37k|1000 | 10k| 22k| 0 | 0 |-2.967591e+02 |-5.300000e+01 | 82.14%
129.96/130.01 c 130s| 1 | 0 |236148 | - | 129M| 0 | 848 |1000 | 37k|1000 | 10k| 22k| 0 | 0 |-2.964208e+02 |-5.300000e+01 | 82.12%
132.86/132.95 c 133s| 1 | 0 |239908 | - | 128M| 0 | 835 |1000 | 37k|1000 | 10k| 22k| 0 | 0 |-2.957793e+02 |-5.300000e+01 | 82.08%
136.06/136.15 c 136s| 1 | 0 |244317 | - | 128M| 0 | 842 |1000 | 37k|1000 | 10k| 22k| 0 | 0 |-2.951273e+02 |-5.300000e+01 | 82.04%
139.05/139.10 c 139s| 1 | 0 |247791 | - | 128M| 0 | 852 |1000 | 37k|1000 | 10k| 22k| 0 | 0 |-2.943636e+02 |-5.300000e+01 | 82.00%
142.76/142.86 c 143s| 1 | 0 |251635 | - | 128M| 0 | 853 |1000 | 37k|1000 | 10k| 22k| 0 | 0 |-2.936507e+02 |-5.300000e+01 | 81.95%
146.35/146.49 c 146s| 1 | 0 |255589 | - | 128M| 0 | 852 |1000 | 37k|1000 | 10k| 22k| 0 | 0 |-2.931328e+02 |-5.300000e+01 | 81.92%
150.56/150.66 c 151s| 1 | 0 |260890 | - | 128M| 0 | 864 |1000 | 37k|1000 | 10k| 22k| 0 | 0 |-2.925228e+02 |-5.300000e+01 | 81.88%
154.96/155.04 c 155s| 1 | 0 |266204 | - | 128M| 0 | 860 |1000 | 37k|1000 | 10k| 23k| 0 | 0 |-2.916450e+02 |-5.300000e+01 | 81.83%
159.15/159.30 c 159s| 1 | 0 |271083 | - | 128M| 0 | 864 |1000 | 37k|1000 | 10k| 23k| 0 | 0 |-2.905045e+02 |-5.300000e+01 | 81.76%
163.55/163.62 c 164s| 1 | 0 |276383 | - | 127M| 0 | 857 |1000 | 37k|1000 | 10k| 23k| 0 | 0 |-2.895744e+02 |-5.300000e+01 | 81.70%
167.17/167.25 c 167s| 1 | 0 |280581 | - | 127M| 0 | 861 |1000 | 37k|1000 | 10k| 23k| 0 | 0 |-2.885822e+02 |-5.300000e+01 | 81.63%
170.55/170.68 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
170.55/170.68 c 171s| 1 | 0 |283949 | - | 127M| 0 | 866 |1000 | 37k|1000 | 10k| 23k| 0 | 0 |-2.882566e+02 |-5.300000e+01 | 81.61%
175.06/175.10 c 175s| 1 | 0 |288569 | - | 126M| 0 | 882 |1000 | 37k|1000 | 10k| 23k| 0 | 0 |-2.873776e+02 |-5.300000e+01 | 81.56%
179.05/179.19 c 179s| 1 | 0 |291770 | - | 126M| 0 | 875 |1000 | 37k|1000 | 10k| 23k| 0 | 0 |-2.866141e+02 |-5.300000e+01 | 81.51%
184.35/184.46 c 184s| 1 | 0 |296359 | - | 126M| 0 | 879 |1000 | 37k|1000 | 10k| 23k| 0 | 0 |-2.855953e+02 |-5.300000e+01 | 81.44%
189.17/189.24 c 189s| 1 | 0 |300797 | - | 126M| 0 | 884 |1000 | 37k|1000 | 10k| 23k| 0 | 0 |-2.846779e+02 |-5.300000e+01 | 81.38%
193.35/193.41 c 193s| 1 | 0 |303869 | - | 126M| 0 | 878 |1000 | 37k|1000 | 10k| 23k| 0 | 0 |-2.841295e+02 |-5.300000e+01 | 81.35%
197.55/197.66 c 198s| 1 | 0 |308154 | - | 126M| 0 | 887 |1000 | 37k|1000 | 10k| 23k| 0 | 0 |-2.832456e+02 |-5.300000e+01 | 81.29%
202.65/202.72 c 203s| 1 | 0 |313533 | - | 126M| 0 | 871 |1000 | 37k|1000 | 10k| 23k| 0 | 0 |-2.825851e+02 |-5.300000e+01 | 81.24%
207.46/207.51 c 208s| 1 | 0 |318398 | - | 126M| 0 | 892 |1000 | 37k|1000 | 10k| 23k| 0 | 0 |-2.818631e+02 |-5.300000e+01 | 81.20%
213.37/213.46 c 213s| 1 | 0 |324056 | - | 126M| 0 | 884 |1000 | 37k|1000 | 10k| 23k| 0 | 0 |-2.803988e+02 |-5.300000e+01 | 81.10%
218.46/218.53 c 219s| 1 | 0 |327895 | - | 125M| 0 | 896 |1000 | 37k|1000 | 10k| 23k| 0 | 0 |-2.796172e+02 |-5.300000e+01 | 81.05%
223.46/223.59 c 224s| 1 | 0 |330838 | - | 125M| 0 | 900 |1000 | 37k|1000 | 10k| 23k| 0 | 0 |-2.790499e+02 |-5.300000e+01 | 81.01%
228.16/228.21 c 228s| 1 | 0 |333376 | - | 125M| 0 | 898 |1000 | 37k|1000 | 10k| 24k| 0 | 0 |-2.782508e+02 |-5.300000e+01 | 80.95%
233.55/233.60 c 234s| 1 | 0 |337821 | - | 125M| 0 | 891 |1000 | 37k|1000 | 10k| 24k| 0 | 0 |-2.772299e+02 |-5.300000e+01 | 80.88%
238.06/238.17 c 238s| 1 | 0 |339934 | - | 124M| 0 | 897 |1000 | 37k|1000 | 10k| 24k| 0 | 0 |-2.768113e+02 |-5.300000e+01 | 80.85%
243.56/243.67 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
243.56/243.67 c 244s| 1 | 0 |343924 | - | 124M| 0 | 891 |1000 | 37k|1000 | 11k| 24k| 0 | 0 |-2.760243e+02 |-5.300000e+01 | 80.80%
250.56/250.62 c 251s| 1 | 0 |351447 | - | 124M| 0 | 899 |1000 | 37k|1000 | 11k| 24k| 0 | 0 |-2.751019e+02 |-5.300000e+01 | 80.73%
256.75/256.89 c 257s| 1 | 0 |356025 | - | 124M| 0 | 900 |1000 | 37k|1000 | 11k| 24k| 0 | 0 |-2.742349e+02 |-5.300000e+01 | 80.67%
262.15/262.22 c 262s| 1 | 0 |359597 | - | 124M| 0 | 892 |1000 | 37k|1000 | 11k| 24k| 0 | 0 |-2.737320e+02 |-5.300000e+01 | 80.64%
267.45/267.50 c 268s| 1 | 0 |362884 | - | 124M| 0 | 897 |1000 | 37k|1000 | 11k| 24k| 0 | 0 |-2.729423e+02 |-5.300000e+01 | 80.58%
272.36/272.45 c 272s| 1 | 0 |365254 | - | 124M| 0 | 900 |1000 | 37k|1000 | 11k| 24k| 0 | 0 |-2.725199e+02 |-5.300000e+01 | 80.55%
278.27/278.33 c 278s| 1 | 0 |369538 | - | 124M| 0 | 914 |1000 | 37k|1000 | 11k| 24k| 0 | 0 |-2.718985e+02 |-5.300000e+01 | 80.51%
283.95/284.07 c 284s| 1 | 0 |373263 | - | 124M| 0 | 907 |1000 | 37k|1000 | 11k| 24k| 0 | 0 |-2.711765e+02 |-5.300000e+01 | 80.46%
289.75/289.84 c 290s| 1 | 0 |376710 | - | 123M| 0 | 899 |1000 | 37k|1000 | 11k| 24k| 0 | 0 |-2.705872e+02 |-5.300000e+01 | 80.41%
295.26/295.40 c 295s| 1 | 0 |379827 | - | 122M| 0 | 901 |1000 | 37k|1000 | 11k| 24k| 0 | 0 |-2.700294e+02 |-5.300000e+01 | 80.37%
301.37/301.48 c 301s| 1 | 0 |383641 | - | 122M| 0 | 905 |1000 | 37k|1000 | 11k| 24k| 0 | 0 |-2.693672e+02 |-5.300000e+01 | 80.32%
307.46/307.50 c 308s| 1 | 0 |387473 | - | 122M| 0 | 904 |1000 | 37k|1000 | 11k| 24k| 0 | 0 |-2.686694e+02 |-5.300000e+01 | 80.27%
314.36/314.44 c 314s| 1 | 0 |393073 | - | 122M| 0 | 902 |1000 | 37k|1000 | 11k| 24k| 0 | 0 |-2.677642e+02 |-5.300000e+01 | 80.21%
320.35/320.45 c 320s| 1 | 0 |396632 | - | 122M| 0 | 904 |1000 | 37k|1000 | 11k| 24k| 0 | 0 |-2.672215e+02 |-5.300000e+01 | 80.17%
326.05/326.10 c 326s| 1 | 0 |399216 | - | 121M| 0 | 910 |1000 | 37k|1000 | 11k| 25k| 0 | 0 |-2.668990e+02 |-5.300000e+01 | 80.14%
332.06/332.18 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
332.06/332.18 c 332s| 1 | 0 |402563 | - | 121M| 0 | 905 |1000 | 37k|1000 | 11k| 25k| 0 | 0 |-2.663213e+02 |-5.300000e+01 | 80.10%
339.15/339.23 c 339s| 1 | 0 |408038 | - | 121M| 0 | 907 |1000 | 37k|1000 | 11k| 25k| 0 | 0 |-2.655588e+02 |-5.300000e+01 | 80.04%
345.86/345.91 c 346s| 1 | 0 |412625 | - | 120M| 0 | 907 |1000 | 37k|1000 | 11k| 25k| 0 | 0 |-2.649260e+02 |-5.300000e+01 | 79.99%
351.76/351.84 c 352s| 1 | 0 |415994 | - | 120M| 0 | 915 |1000 | 37k|1000 | 11k| 25k| 0 | 0 |-2.645018e+02 |-5.300000e+01 | 79.96%
358.05/358.11 c 358s| 1 | 0 |420147 | - | 120M| 0 | 917 |1000 | 37k|1000 | 11k| 25k| 0 | 0 |-2.640332e+02 |-5.300000e+01 | 79.93%
363.36/363.45 c 363s| 1 | 0 |422102 | - | 119M| 0 | 921 |1000 | 37k|1000 | 11k| 25k| 0 | 0 |-2.638535e+02 |-5.300000e+01 | 79.91%
368.47/368.59 c 369s| 1 | 0 |423737 | - | 119M| 0 | 919 |1000 | 37k|1000 | 11k| 25k| 0 | 0 |-2.636921e+02 |-5.300000e+01 | 79.90%
374.66/374.70 c 375s| 1 | 0 |427444 | - | 119M| 0 | 913 |1000 | 37k|1000 | 11k| 25k| 0 | 0 |-2.633321e+02 |-5.300000e+01 | 79.87%
381.26/381.36 c 381s| 1 | 0 |431942 | - | 117M| 0 | 920 |1000 | 37k|1000 | 11k| 25k| 0 | 0 |-2.627624e+02 |-5.300000e+01 | 79.83%
388.56/388.69 c 389s| 1 | 0 |437406 | - | 116M| 0 | 920 |1000 | 37k|1000 | 11k| 25k| 0 | 0 |-2.621888e+02 |-5.300000e+01 | 79.79%
394.65/394.80 c 395s| 1 | 0 |440470 | - | 116M| 0 | 922 |1000 | 37k|1000 | 11k| 25k| 0 | 0 |-2.616875e+02 |-5.300000e+01 | 79.75%
400.56/400.62 c 401s| 1 | 0 |443207 | - | 115M| 0 | 925 |1000 | 37k|1000 | 11k| 25k| 0 | 0 |-2.613050e+02 |-5.300000e+01 | 79.72%
407.46/407.57 c 408s| 1 | 0 |448048 | - | 115M| 0 | 933 |1000 | 37k|1000 | 11k| 25k| 0 | 0 |-2.605215e+02 |-5.300000e+01 | 79.66%
414.06/414.13 c 414s| 1 | 0 |452156 | - | 114M| 0 | 932 |1000 | 37k|1000 | 11k| 25k| 0 | 0 |-2.600043e+02 |-5.300000e+01 | 79.62%
419.96/420.01 c 420s| 1 | 0 |454840 | - | 114M| 0 | 926 |1000 | 37k|1000 | 11k| 25k| 0 | 0 |-2.595410e+02 |-5.300000e+01 | 79.58%
425.46/425.59 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
425.46/425.59 c 426s| 1 | 0 |456898 | - | 113M| 0 | 934 |1000 | 37k|1000 | 11k| 25k| 0 | 0 |-2.592342e+02 |-5.300000e+01 | 79.56%
431.36/431.46 c 431s| 1 | 0 |459115 | - | 112M| 0 | 940 |1000 | 37k|1000 | 11k| 25k| 0 | 0 |-2.589225e+02 |-5.300000e+01 | 79.53%
437.36/437.50 c 437s| 1 | 0 |461659 | - | 111M| 0 | 939 |1000 | 37k|1000 | 11k| 25k| 0 | 0 |-2.586144e+02 |-5.300000e+01 | 79.51%
443.06/443.17 c 443s| 1 | 0 |463799 | - | 110M| 0 | 942 |1000 | 37k|1000 | 11k| 25k| 0 | 0 |-2.583590e+02 |-5.300000e+01 | 79.49%
448.78/448.89 c 449s| 1 | 0 |466198 | - | 110M| 0 | 943 |1000 | 37k|1000 | 11k| 25k| 0 | 0 |-2.581228e+02 |-5.300000e+01 | 79.47%
454.17/454.31 c 454s| 1 | 0 |467993 | - | 109M| 0 | 938 |1000 | 37k|1000 | 11k| 25k| 0 | 0 |-2.578809e+02 |-5.300000e+01 | 79.45%
460.16/460.22 c 460s| 1 | 0 |470452 | - | 109M| 0 | 948 |1000 | 37k|1000 | 11k| 25k| 0 | 0 |-2.575098e+02 |-5.300000e+01 | 79.42%
465.66/465.75 c 466s| 1 | 0 |472191 | - | 107M| 0 | 948 |1000 | 37k|1000 | 11k| 25k| 0 | 0 |-2.572944e+02 |-5.300000e+01 | 79.40%
472.06/472.16 c 472s| 1 | 0 |475426 | - | 105M| 0 | 945 |1000 | 37k|1000 | 11k| 25k| 0 | 0 |-2.567556e+02 |-5.300000e+01 | 79.36%
478.26/478.37 c 478s| 1 | 0 |478689 | - | 104M| 0 | 944 |1000 | 37k|1000 | 11k| 25k| 0 | 0 |-2.564248e+02 |-5.300000e+01 | 79.33%
484.86/484.93 c 485s| 1 | 0 |481980 | - | 102M| 0 | 951 |1000 | 37k|1000 | 11k| 25k| 0 | 0 |-2.558059e+02 |-5.300000e+01 | 79.28%
490.46/490.56 c 491s| 1 | 0 |483826 | - | 101M| 0 | 950 |1000 | 37k|1000 | 11k| 25k| 0 | 0 |-2.555762e+02 |-5.300000e+01 | 79.26%
496.36/496.43 c 496s| 1 | 0 |485966 | - | 100M| 0 | 948 |1000 | 37k|1000 | 11k| 25k| 0 | 0 |-2.553378e+02 |-5.300000e+01 | 79.24%
503.56/503.62 c 504s| 1 | 0 |490043 | - | 99M| 0 | 952 |1000 | 37k|1000 | 11k| 26k| 0 | 0 |-2.550986e+02 |-5.300000e+01 | 79.22%
509.86/509.92 c 510s| 1 | 0 |492715 | - | 99M| 0 | 960 |1000 | 37k|1000 | 11k| 26k| 0 | 0 |-2.546067e+02 |-5.300000e+01 | 79.18%
515.66/515.77 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
515.66/515.77 c 516s| 1 | 0 |494779 | - | 99M| 0 | 958 |1000 | 37k|1000 | 11k| 26k| 0 | 0 |-2.543337e+02 |-5.300000e+01 | 79.16%
521.27/521.34 c 521s| 1 | 0 |496235 | - | 98M| 0 | 961 |1000 | 37k|1000 | 11k| 26k| 0 | 0 |-2.541812e+02 |-5.300000e+01 | 79.15%
526.88/526.93 c 527s| 1 | 0 |497703 | - | 98M| 0 | 967 |1000 | 37k|1000 | 11k| 26k| 0 | 0 |-2.540499e+02 |-5.300000e+01 | 79.14%
532.57/532.65 c 533s| 1 | 0 |499438 | - | 97M| 0 | 968 |1000 | 37k|1000 | 11k| 26k| 0 | 0 |-2.539104e+02 |-5.300000e+01 | 79.13%
538.26/538.38 c 538s| 1 | 0 |501051 | - | 95M| 0 | 968 |1000 | 37k|1000 | 11k| 26k| 0 | 0 |-2.536866e+02 |-5.300000e+01 | 79.11%
543.96/544.02 c 544s| 1 | 0 |502300 | - | 94M| 0 | 966 |1000 | 37k|1000 | 11k| 26k| 0 | 0 |-2.535159e+02 |-5.300000e+01 | 79.09%
549.46/549.56 c 550s| 1 | 0 |503794 | - | 93M| 0 | 967 |1000 | 37k|1000 | 11k| 26k| 0 | 0 |-2.532954e+02 |-5.300000e+01 | 79.08%
555.06/555.15 c 555s| 1 | 0 |505252 | - | 91M| 0 | 973 |1000 | 37k|1000 | 11k| 26k| 0 | 0 |-2.531415e+02 |-5.300000e+01 | 79.06%
560.56/560.69 c 561s| 1 | 0 |506654 | - | 89M| 0 | 974 |1000 | 37k|1000 | 11k| 26k| 0 | 0 |-2.530146e+02 |-5.300000e+01 | 79.05%
566.27/566.39 c 566s| 1 | 0 |508092 | - | 86M| 0 | 970 |1000 | 37k|1000 | 11k| 26k| 0 | 0 |-2.528015e+02 |-5.300000e+01 | 79.03%
572.07/572.13 c 572s| 1 | 0 |509616 | - | 86M| 0 | 973 |1000 | 37k|1000 | 11k| 26k| 0 | 0 |-2.526202e+02 |-5.300000e+01 | 79.02%
577.56/577.67 c 578s| 1 | 0 |510819 | - | 86M| 0 | 973 |1000 | 37k|1000 | 11k| 26k| 0 | 0 |-2.524706e+02 |-5.300000e+01 | 79.01%
583.26/583.36 c 583s| 1 | 0 |512297 | - | 84M| 0 | 970 |1000 | 37k|1000 | 11k| 26k| 0 | 0 |-2.522650e+02 |-5.300000e+01 | 78.99%
589.77/589.83 c 590s| 1 | 0 |515000 | - | 84M| 0 | 975 |1000 | 37k|1000 | 11k| 26k| 0 | 0 |-2.520249e+02 |-5.300000e+01 | 78.97%
595.27/595.33 c 595s| 1 | 0 |516178 | - | 84M| 0 | 970 |1000 | 37k|1000 | 11k| 26k| 0 | 0 |-2.518067e+02 |-5.300000e+01 | 78.95%
601.06/601.13 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
601.06/601.13 c 601s| 1 | 0 |517706 | - | 83M| 0 | 980 |1000 | 37k|1000 | 11k| 26k| 0 | 0 |-2.516521e+02 |-5.300000e+01 | 78.94%
606.97/607.05 c 607s| 1 | 0 |519293 | - | 83M| 0 | 978 |1000 | 37k|1000 | 11k| 26k| 0 | 0 |-2.514424e+02 |-5.300000e+01 | 78.92%
612.57/612.65 c 613s| 1 | 0 |520456 | - | 83M| 0 | 977 |1000 | 37k|1000 | 11k| 26k| 0 | 0 |-2.512628e+02 |-5.300000e+01 | 78.91%
618.36/618.40 c 618s| 1 | 0 |522047 | - | 83M| 0 | 977 |1000 | 37k|1000 | 11k| 26k| 0 | 0 |-2.510119e+02 |-5.300000e+01 | 78.89%
623.97/624.08 c 624s| 1 | 0 |523277 | - | 83M| 0 | 976 |1000 | 37k|1000 | 11k| 26k| 0 | 0 |-2.508499e+02 |-5.300000e+01 | 78.87%
629.66/629.71 c 630s| 1 | 0 |524436 | - | 83M| 0 | 980 |1000 | 37k|1000 | 11k| 26k| 0 | 0 |-2.506981e+02 |-5.300000e+01 | 78.86%
635.16/635.27 c 635s| 1 | 0 |525630 | - | 83M| 0 | 983 |1000 | 37k|1000 | 11k| 26k| 0 | 0 |-2.505991e+02 |-5.300000e+01 | 78.85%
640.67/640.74 c 641s| 1 | 0 |526365 | - | 83M| 0 | 985 |1000 | 37k|1000 | 11k| 26k| 0 | 0 |-2.505346e+02 |-5.300000e+01 | 78.85%
646.67/646.72 c 647s| 1 | 0 |528011 | - | 83M| 0 | 981 |1000 | 37k|1000 | 11k| 26k| 0 | 0 |-2.503506e+02 |-5.300000e+01 | 78.83%
652.46/652.54 c 653s| 1 | 0 |529502 | - | 83M| 0 | 985 |1000 | 37k|1000 | 11k| 26k| 0 | 0 |-2.501718e+02 |-5.300000e+01 | 78.81%
657.97/658.09 c 658s| 1 | 0 |530449 | - | 83M| 0 | 987 |1000 | 37k|1000 | 11k| 26k| 0 | 0 |-2.500508e+02 |-5.300000e+01 | 78.80%
663.46/663.54 c 664s| 1 | 0 |531258 | - | 83M| 0 | 983 |1000 | 37k|1000 | 11k| 26k| 0 | 0 |-2.499359e+02 |-5.300000e+01 | 78.79%
669.57/669.62 c 670s| 1 | 0 |533064 | - | 83M| 0 | 982 |1000 | 37k|1000 | 11k| 26k| 0 | 0 |-2.496571e+02 |-5.300000e+01 | 78.77%
675.38/675.43 c 675s| 1 | 0 |534455 | - | 83M| 0 | 980 |1000 | 37k|1000 | 11k| 26k| 0 | 0 |-2.494386e+02 |-5.300000e+01 | 78.75%
681.07/681.11 c 681s| 1 | 0 |535538 | - | 83M| 0 | 984 |1000 | 37k|1000 | 11k| 26k| 0 | 0 |-2.492506e+02 |-5.300000e+01 | 78.74%
686.16/686.20 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
686.16/686.20 c 686s| 1 | 0 |536002 | - | 83M| 0 | 987 |1000 | 37k|1000 | 11k| 26k| 0 | 0 |-2.491807e+02 |-5.300000e+01 | 78.73%
691.56/691.62 c 692s| 1 | 0 |536829 | - | 83M| 0 | 983 |1000 | 37k|1000 | 11k| 26k| 0 | 0 |-2.490687e+02 |-5.300000e+01 | 78.72%
697.46/697.53 c 698s| 1 | 0 |538339 | - | 83M| 0 | 986 |1000 | 37k|1000 | 11k| 26k| 0 | 0 |-2.489620e+02 |-5.300000e+01 | 78.71%
702.96/703.07 c 703s| 1 | 0 |539193 | - | 83M| 0 | 986 |1000 | 37k|1000 | 11k| 26k| 0 | 0 |-2.488716e+02 |-5.300000e+01 | 78.70%
708.57/708.61 c 709s| 1 | 0 |539977 | - | 83M| 0 | 985 |1000 | 37k|1000 | 11k| 26k| 0 | 0 |-2.487790e+02 |-5.300000e+01 | 78.70%
715.07/715.17 c 715s| 1 | 0 |542114 | - | 83M| 0 | 987 |1000 | 37k|1000 | 11k| 26k| 0 | 0 |-2.485620e+02 |-5.300000e+01 | 78.68%
720.57/720.66 c 721s| 1 | 0 |542993 | - | 83M| 0 | 987 |1000 | 37k|1000 | 11k| 26k| 0 | 0 |-2.484671e+02 |-5.300000e+01 | 78.67%
726.47/726.52 c 727s| 1 | 0 |544367 | - | 83M| 0 | 990 |1000 | 37k|1000 | 11k| 26k| 0 | 0 |-2.482908e+02 |-5.300000e+01 | 78.65%
732.36/732.51 c 733s| 1 | 0 |545861 | - | 83M| 0 | 990 |1000 | 37k|1000 | 11k| 26k| 0 | 0 |-2.481361e+02 |-5.300000e+01 | 78.64%
737.66/737.79 c 738s| 1 | 0 |546309 | - | 83M| 0 | 990 |1000 | 37k|1000 | 11k| 26k| 0 | 0 |-2.480863e+02 |-5.300000e+01 | 78.64%
743.59/743.68 c 744s| 1 | 0 |547396 | - | 83M| 0 | 992 |1000 | 37k|1000 | 11k| 26k| 0 | 0 |-2.479646e+02 |-5.300000e+01 | 78.63%
749.46/749.53 c 750s| 1 | 0 |548632 | - | 83M| 0 | 991 |1000 | 37k|1000 | 11k| 26k| 0 | 0 |-2.478546e+02 |-5.300000e+01 | 78.62%
755.26/755.32 c 755s| 1 | 0 |549785 | - | 83M| 0 | 994 |1000 | 37k|1000 | 11k| 26k| 0 | 0 |-2.477291e+02 |-5.300000e+01 | 78.61%
760.86/760.96 c 761s| 1 | 0 |550639 | - | 83M| 0 | 996 |1000 | 37k|1000 | 11k| 26k| 0 | 0 |-2.475966e+02 |-5.300000e+01 | 78.59%
766.68/766.72 c 767s| 1 | 0 |551483 | - | 83M| 0 | 995 |1000 | 37k|1000 | 11k| 26k| 0 | 0 |-2.474418e+02 |-5.300000e+01 | 78.58%
772.47/772.53 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
772.47/772.53 c 773s| 1 | 0 |552390 | - | 83M| 0 | 994 |1000 | 37k|1000 | 11k| 26k| 0 | 0 |-2.473559e+02 |-5.300000e+01 | 78.57%
778.06/778.14 c 778s| 1 | 0 |553093 | - | 83M| 0 | 995 |1000 | 37k|1000 | 11k| 26k| 0 | 0 |-2.472601e+02 |-5.300000e+01 | 78.57%
783.47/783.58 c 784s| 1 | 0 |553594 | - | 83M| 0 | 996 |1000 | 37k|1000 | 11k| 26k| 0 | 0 |-2.472173e+02 |-5.300000e+01 | 78.56%
789.26/789.30 c 789s| 1 | 0 |554559 | - | 83M| 0 | 998 |1000 | 37k|1000 | 11k| 26k| 0 | 0 |-2.471565e+02 |-5.300000e+01 | 78.56%
794.87/794.93 c 795s| 1 | 0 |555192 | - | 83M| 0 | 997 |1000 | 37k|1000 | 11k| 26k| 0 | 0 |-2.470897e+02 |-5.300000e+01 | 78.55%
800.26/800.36 c 800s| 1 | 0 |555669 | - | 83M| 0 | 997 |1000 | 37k|1000 | 11k| 26k| 0 | 0 |-2.470185e+02 |-5.300000e+01 | 78.54%
805.77/805.84 c 806s| 1 | 0 |556189 | - | 83M| 0 | 998 |1000 | 37k|1000 | 11k| 26k| 0 | 0 |-2.469763e+02 |-5.300000e+01 | 78.54%
811.47/811.55 c 812s| 1 | 0 |556964 | - | 82M| 0 | 999 |1000 | 37k|1000 | 11k| 26k| 0 | 0 |-2.468447e+02 |-5.300000e+01 | 78.53%
817.66/817.71 c 818s| 1 | 0 |558223 | - | 83M| 0 | 998 |1000 | 37k|1000 | 11k| 26k| 0 | 0 |-2.466840e+02 |-5.300000e+01 | 78.52%
823.27/823.32 c 823s| 1 | 0 |558840 | - | 83M| 0 | 998 |1000 | 37k|1000 | 11k| 26k| 0 | 0 |-2.465712e+02 |-5.300000e+01 | 78.51%
829.39/829.43 c 829s| 1 | 0 |560080 | - | 83M| 0 | 998 |1000 | 37k|1000 | 11k| 26k| 0 | 0 |-2.464164e+02 |-5.300000e+01 | 78.49%
834.89/834.93 c 835s| 1 | 0 |560603 | - | 83M| 0 |1000 |1000 | 37k|1000 | 11k| 26k| 0 | 0 |-2.463258e+02 |-5.300000e+01 | 78.48%
840.39/840.48 c 840s| 1 | 0 |561318 | - | 83M| 0 | 999 |1000 | 37k|1000 | 11k| 26k| 0 | 0 |-2.462551e+02 |-5.300000e+01 | 78.48%
845.96/846.01 c 846s| 1 | 0 |561784 | - | 82M| 0 | 998 |1000 | 37k|1000 | 11k| 26k| 0 | 0 |-2.461935e+02 |-5.300000e+01 | 78.47%
851.56/851.61 c 852s| 1 | 0 |562272 | - | 82M| 0 | 998 |1000 | 37k|1000 | 11k| 26k| 0 | 0 |-2.461424e+02 |-5.300000e+01 | 78.47%
856.97/857.02 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
856.97/857.02 c 857s| 1 | 0 |562726 | - | 82M| 0 | 999 |1000 | 37k|1000 | 11k| 26k| 0 | 0 |-2.460906e+02 |-5.300000e+01 | 78.46%
862.27/862.40 c 862s| 1 | 0 |563294 | - | 82M| 0 |1000 |1000 | 37k|1000 | 11k| 26k| 0 | 0 |-2.460290e+02 |-5.300000e+01 | 78.46%
867.96/868.00 c 868s| 1 | 0 |564008 | - | 82M| 0 | 998 |1000 | 37k|1000 | 11k| 27k| 0 | 0 |-2.459322e+02 |-5.300000e+01 | 78.45%
873.87/873.91 c 874s| 1 | 0 |564977 | - | 82M| 0 | 999 |1000 | 37k|1000 | 11k| 27k| 0 | 0 |-2.458247e+02 |-5.300000e+01 | 78.44%
879.57/879.62 c 880s| 1 | 0 |565620 | - | 82M| 0 | 998 |1000 | 37k|1000 | 11k| 27k| 0 | 0 |-2.457611e+02 |-5.300000e+01 | 78.43%
885.27/885.39 c 885s| 1 | 0 |566191 | - | 82M| 0 | 998 |1000 | 37k|1000 | 11k| 27k| 0 | 0 |-2.456902e+02 |-5.300000e+01 | 78.43%
890.77/890.86 c 891s| 1 | 0 |566569 | - | 82M| 0 | 999 |1000 | 37k|1000 | 11k| 27k| 0 | 0 |-2.456423e+02 |-5.300000e+01 | 78.42%
896.49/896.59 c 897s| 1 | 0 |567199 | - | 82M| 0 | 998 |1000 | 37k|1000 | 11k| 27k| 0 | 0 |-2.455768e+02 |-5.300000e+01 | 78.42%
902.27/902.30 c 902s| 1 | 0 |567957 | - | 82M| 0 | 999 |1000 | 37k|1000 | 11k| 27k| 0 | 0 |-2.455056e+02 |-5.300000e+01 | 78.41%
908.48/908.53 c 909s| 1 | 0 |569183 | - | 82M| 0 | 998 |1000 | 37k|1000 | 11k| 27k| 0 | 0 |-2.453470e+02 |-5.300000e+01 | 78.40%
914.17/914.29 c 914s| 1 | 0 |569802 | - | 82M| 0 | 997 |1000 | 37k|1000 | 11k| 27k| 0 | 0 |-2.452742e+02 |-5.300000e+01 | 78.39%
920.47/920.55 c 921s| 1 | 0 |571372 | - | 82M| 0 | 998 |1000 | 37k|1000 | 11k| 27k| 0 | 0 |-2.451808e+02 |-5.300000e+01 | 78.38%
925.97/926.07 c 926s| 1 | 0 |572078 | - | 82M| 0 |1000 |1000 | 37k|1000 | 11k| 27k| 0 | 0 |-2.450955e+02 |-5.300000e+01 | 78.38%
931.77/931.80 c 932s| 1 | 0 |572740 | - | 82M| 0 |1000 |1000 | 37k|1000 | 11k| 27k| 0 | 0 |-2.449866e+02 |-5.300000e+01 | 78.37%
937.27/937.37 c 937s| 1 | 0 |573161 | - | 82M| 0 |1000 |1000 | 37k|1000 | 11k| 27k| 0 | 0 |-2.449426e+02 |-5.300000e+01 | 78.36%
943.07/943.15 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
943.07/943.15 c 943s| 1 | 0 |573926 | - | 82M| 0 | 999 |1000 | 37k|1000 | 11k| 27k| 0 | 0 |-2.448580e+02 |-5.300000e+01 | 78.35%
948.87/948.93 c 949s| 1 | 0 |574563 | - | 82M| 0 |1000 |1000 | 37k|1000 | 11k| 27k| 0 | 0 |-2.448132e+02 |-5.300000e+01 | 78.35%
954.96/955.07 c 955s| 1 | 0 |575609 | - | 82M| 0 |1000 |1000 | 37k|1000 | 11k| 27k| 0 | 0 |-2.447328e+02 |-5.300000e+01 | 78.34%
960.57/960.67 c 961s| 1 | 0 |576249 | - | 82M| 0 |1000 |1000 | 37k|1000 | 11k| 27k| 0 | 0 |-2.446864e+02 |-5.300000e+01 | 78.34%
966.67/966.74 c 967s| 1 | 0 |577162 | - | 82M| 0 |1000 |1000 | 37k|1000 | 11k| 27k| 0 | 0 |-2.446331e+02 |-5.300000e+01 | 78.33%
972.57/972.61 c 973s| 1 | 0 |577993 | - | 82M| 0 |1000 |1000 | 37k|1000 | 11k| 27k| 0 | 0 |-2.445352e+02 |-5.300000e+01 | 78.33%
978.27/978.39 c 978s| 1 | 0 |578761 | - | 82M| 0 | 999 |1000 | 37k|1000 | 12k| 27k| 0 | 0 |-2.444986e+02 |-5.300000e+01 | 78.32%
984.27/984.30 c 984s| 1 | 0 |579658 | - | 82M| 0 | 999 |1000 | 37k|1000 | 12k| 27k| 0 | 0 |-2.444216e+02 |-5.300000e+01 | 78.32%
990.06/990.10 c 990s| 1 | 0 |580346 | - | 82M| 0 |1000 |1000 | 37k|1000 | 11k| 27k| 0 | 0 |-2.443472e+02 |-5.300000e+01 | 78.31%
995.27/995.38 c 995s| 1 | 0 |580698 | - | 82M| 0 |1000 |1000 | 37k|1000 | 11k| 27k| 0 | 0 |-2.443202e+02 |-5.300000e+01 | 78.31%
1001.57/1001.60 c 1002s| 1 | 0 |581920 | - | 82M| 0 | 997 |1000 | 37k|1000 | 11k| 27k| 0 | 0 |-2.441792e+02 |-5.300000e+01 | 78.29%
1007.07/1007.13 c 1007s| 1 | 0 |582329 | - | 82M| 0 | 997 |1000 | 37k|1000 | 12k| 27k| 0 | 0 |-2.441472e+02 |-5.300000e+01 | 78.29%
1013.17/1013.25 c 1013s| 1 | 0 |583544 | - | 82M| 0 | 999 |1000 | 37k|1000 | 12k| 27k| 0 | 0 |-2.440807e+02 |-5.300000e+01 | 78.29%
1019.17/1019.26 c 1019s| 1 | 0 |584490 | - | 82M| 0 | 999 |1000 | 37k|1000 | 12k| 27k| 0 | 0 |-2.439995e+02 |-5.300000e+01 | 78.28%
1025.57/1025.61 c 1026s| 1 | 0 |585696 | - | 82M| 0 | 999 |1000 | 37k|1000 | 11k| 27k| 0 | 0 |-2.439071e+02 |-5.300000e+01 | 78.27%
1031.47/1031.51 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1031.47/1031.51 c 1032s| 1 | 0 |586558 | - | 82M| 0 |1000 |1000 | 37k|1000 | 12k| 27k| 0 | 0 |-2.438515e+02 |-5.300000e+01 | 78.27%
1037.29/1037.36 c 1037s| 1 | 0 |587532 | - | 82M| 0 |1000 |1000 | 37k|1000 | 12k| 27k| 0 | 0 |-2.437921e+02 |-5.300000e+01 | 78.26%
1043.37/1043.42 c 1043s| 1 | 0 |588459 | - | 82M| 0 |1000 |1000 | 37k|1000 | 12k| 27k| 0 | 0 |-2.437214e+02 |-5.300000e+01 | 78.25%
1049.07/1049.18 c 1049s| 1 | 0 |589080 | - | 82M| 0 | 999 |1000 | 37k|1000 | 12k| 27k| 0 | 0 |-2.436690e+02 |-5.300000e+01 | 78.25%
1055.07/1055.15 c 1055s| 1 | 0 |590116 | - | 82M| 0 | 999 |1000 | 37k|1000 | 12k| 27k| 0 | 0 |-2.435951e+02 |-5.300000e+01 | 78.24%
1061.17/1061.23 c 1061s| 1 | 0 |591317 | - | 82M| 0 |1000 |1000 | 37k|1000 | 12k| 27k| 0 | 0 |-2.435287e+02 |-5.300000e+01 | 78.24%
1067.18/1067.25 c 1067s| 1 | 0 |592436 | - | 82M| 0 |1000 |1000 | 37k|1000 | 12k| 27k| 0 | 0 |-2.434564e+02 |-5.300000e+01 | 78.23%
1073.07/1073.15 c 1073s| 1 | 0 |593391 | - | 82M| 0 |1000 |1000 | 37k|1000 | 12k| 27k| 0 | 0 |-2.433828e+02 |-5.300000e+01 | 78.22%
1079.17/1079.29 c 1079s| 1 | 0 |594689 | - | 82M| 0 |1000 |1000 | 37k|1000 | 12k| 27k| 0 | 0 |-2.433059e+02 |-5.300000e+01 | 78.22%
1085.27/1085.36 c 1085s| 1 | 0 |595627 | - | 82M| 0 |1000 |1000 | 37k|1000 | 12k| 27k| 0 | 0 |-2.432284e+02 |-5.300000e+01 | 78.21%
1091.27/1091.34 c 1091s| 1 | 0 |596575 | - | 82M| 0 |1000 |1000 | 37k|1000 | 12k| 27k| 0 | 0 |-2.431658e+02 |-5.300000e+01 | 78.20%
1098.27/1098.38 c 1098s| 1 | 0 |598832 | - | 82M| 0 |1000 |1000 | 37k|1000 | 12k| 27k| 0 | 0 |-2.430573e+02 |-5.300000e+01 | 78.19%
1104.07/1104.12 c 1104s| 1 | 0 |599544 | - | 82M| 0 |1000 |1000 | 37k|1000 | 12k| 27k| 0 | 0 |-2.430031e+02 |-5.300000e+01 | 78.19%
1109.97/1110.09 c 1110s| 1 | 0 |600344 | - | 82M| 0 |1000 |1000 | 37k|1000 | 12k| 27k| 0 | 0 |-2.429564e+02 |-5.300000e+01 | 78.19%
1115.87/1115.99 c 1116s| 1 | 0 |601146 | - | 82M| 0 |1000 |1000 | 37k|1000 | 12k| 27k| 0 | 0 |-2.428950e+02 |-5.300000e+01 | 78.18%
1121.88/1121.92 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1121.88/1121.92 c 1122s| 1 | 0 |601867 | - | 82M| 0 |1000 |1000 | 37k|1000 | 12k| 27k| 0 | 0 |-2.428492e+02 |-5.300000e+01 | 78.18%
1127.78/1127.83 c 1128s| 1 | 0 |602591 | - | 82M| 0 |1000 |1000 | 37k|1000 | 12k| 27k| 0 | 0 |-2.427773e+02 |-5.300000e+01 | 78.17%
1133.77/1133.87 c 1134s| 1 | 0 |603489 | - | 82M| 0 |1000 |1000 | 37k|1000 | 12k| 27k| 0 | 0 |-2.427363e+02 |-5.300000e+01 | 78.17%
1139.47/1139.61 c 1140s| 1 | 0 |604204 | - | 82M| 0 |1000 |1000 | 37k|1000 | 12k| 27k| 0 | 0 |-2.426825e+02 |-5.300000e+01 | 78.16%
1145.57/1145.69 c 1146s| 1 | 0 |605129 | - | 82M| 0 |1000 |1000 | 37k|1000 | 12k| 27k| 0 | 0 |-2.426031e+02 |-5.300000e+01 | 78.15%
1151.77/1151.87 c 1152s| 1 | 0 |606244 | - | 82M| 0 | 999 |1000 | 37k|1000 | 12k| 27k| 0 | 0 |-2.425183e+02 |-5.300000e+01 | 78.15%
1157.77/1157.82 c 1158s| 1 | 0 |606992 | - | 82M| 0 |1000 |1000 | 37k|1000 | 12k| 27k| 0 | 0 |-2.424643e+02 |-5.300000e+01 | 78.14%
1163.88/1163.99 c 1164s| 1 | 0 |607909 | - | 82M| 0 |1000 |1000 | 37k|1000 | 12k| 27k| 0 | 0 |-2.424116e+02 |-5.300000e+01 | 78.14%
1170.07/1170.16 c 1170s| 1 | 0 |608810 | - | 82M| 0 |1000 |1000 | 37k|1000 | 12k| 27k| 0 | 0 |-2.423745e+02 |-5.300000e+01 | 78.13%
1176.17/1176.22 c 1176s| 1 | 0 |609712 | - | 82M| 0 |1000 |1000 | 37k|1000 | 12k| 27k| 0 | 0 |-2.423340e+02 |-5.300000e+01 | 78.13%
1182.08/1182.19 c 1182s| 1 | 0 |610563 | - | 82M| 0 |1000 |1000 | 37k|1000 | 12k| 27k| 0 | 0 |-2.422887e+02 |-5.300000e+01 | 78.13%
1188.08/1188.19 c 1188s| 1 | 0 |611458 | - | 82M| 0 |1000 |1000 | 37k|1000 | 12k| 27k| 0 | 0 |-2.422460e+02 |-5.300000e+01 | 78.12%
1193.77/1193.84 c 1194s| 1 | 0 |612084 | - | 82M| 0 |1000 |1000 | 37k|1000 | 12k| 27k| 0 | 0 |-2.422080e+02 |-5.300000e+01 | 78.12%
1199.87/1199.91 c 1200s| 1 | 0 |613024 | - | 82M| 0 |1000 |1000 | 37k|1000 | 12k| 27k| 0 | 0 |-2.421529e+02 |-5.300000e+01 | 78.11%
1206.28/1206.35 c 1206s| 1 | 0 |614394 | - | 82M| 0 |1000 |1000 | 37k|1000 | 12k| 27k| 0 | 0 |-2.420955e+02 |-5.300000e+01 | 78.11%
1212.08/1212.19 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1212.08/1212.19 c 1212s| 1 | 0 |615344 | - | 82M| 0 |1000 |1000 | 37k|1000 | 12k| 27k| 0 | 0 |-2.420481e+02 |-5.300000e+01 | 78.10%
1218.17/1218.27 c 1218s| 1 | 0 |616506 | - | 82M| 0 |1000 |1000 | 37k|1000 | 12k| 27k| 0 | 0 |-2.420014e+02 |-5.300000e+01 | 78.10%
1223.87/1223.91 c 1224s| 1 | 0 |617050 | - | 82M| 0 |1000 |1000 | 37k|1000 | 12k| 27k| 0 | 0 |-2.419722e+02 |-5.300000e+01 | 78.10%
1229.87/1229.92 c 1230s| 1 | 0 |617864 | - | 82M| 0 |1000 |1000 | 37k|1000 | 12k| 27k| 0 | 0 |-2.419403e+02 |-5.300000e+01 | 78.09%
1235.47/1235.55 c 1236s| 1 | 0 |618467 | - | 82M| 0 |1000 |1000 | 37k|1000 | 12k| 27k| 0 | 0 |-2.419283e+02 |-5.300000e+01 | 78.09%
1241.17/1241.25 c 1241s| 1 | 0 |619101 | - | 82M| 0 |1000 |1000 | 37k|1000 | 12k| 27k| 0 | 0 |-2.419019e+02 |-5.300000e+01 | 78.09%
1246.77/1246.88 c 1247s| 1 | 0 |619868 | - | 82M| 0 |1000 |1000 | 37k|1000 | 12k| 27k| 0 | 0 |-2.418658e+02 |-5.300000e+01 | 78.09%
1252.48/1252.51 c 1253s| 1 | 0 |620292 | - | 82M| 0 |1000 |1000 | 37k|1000 | 12k| 27k| 0 | 0 |-2.418506e+02 |-5.300000e+01 | 78.09%
1258.40/1258.47 c 1258s| 1 | 0 |621147 | - | 82M| 0 |1000 |1000 | 37k|1000 | 12k| 27k| 0 | 0 |-2.418210e+02 |-5.300000e+01 | 78.08%
1264.17/1264.29 c 1264s| 1 | 0 |621951 | - | 82M| 0 |1000 |1000 | 37k|1000 | 12k| 27k| 0 | 0 |-2.417893e+02 |-5.300000e+01 | 78.08%
1269.78/1269.80 c 1270s| 1 | 0 |622302 | - | 82M| 0 |1000 |1000 | 37k|1000 | 12k| 27k| 0 | 0 |-2.417795e+02 |-5.300000e+01 | 78.08%
1275.48/1275.55 c 1276s| 1 | 0 |622988 | - | 82M| 0 |1000 |1000 | 37k|1000 | 12k| 27k| 0 | 0 |-2.417544e+02 |-5.300000e+01 | 78.08%
1281.68/1281.79 c 1282s| 1 | 0 |624658 | - | 82M| 0 |1000 |1000 | 37k|1000 | 12k| 27k| 0 | 0 |-2.417064e+02 |-5.300000e+01 | 78.07%
1287.57/1287.66 c 1288s| 1 | 0 |625530 | - | 82M| 0 |1000 |1000 | 37k|1000 | 12k| 27k| 0 | 0 |-2.416829e+02 |-5.300000e+01 | 78.07%
1293.27/1293.34 c 1293s| 1 | 0 |626167 | - | 82M| 0 |1000 |1000 | 37k|1000 | 12k| 27k| 0 | 0 |-2.416709e+02 |-5.300000e+01 | 78.07%
1298.88/1298.97 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1298.88/1298.97 c 1299s| 1 | 0 |626799 | - | 82M| 0 |1000 |1000 | 37k|1000 | 12k| 27k| 0 | 0 |-2.416541e+02 |-5.300000e+01 | 78.07%
1304.77/1304.82 c 1305s| 1 | 0 |627753 | - | 82M| 0 |1000 |1000 | 37k|1000 | 12k| 27k| 0 | 0 |-2.416210e+02 |-5.300000e+01 | 78.06%
1310.58/1310.63 c 1311s| 1 | 0 |628659 | - | 82M| 0 |1000 |1000 | 37k|1000 | 12k| 27k| 0 | 0 |-2.416020e+02 |-5.300000e+01 | 78.06%
1316.07/1316.13 c 1316s| 1 | 0 |629301 | - | 82M| 0 |1000 |1000 | 37k|1000 | 12k| 27k| 0 | 0 |-2.415869e+02 |-5.300000e+01 | 78.06%
1321.87/1321.99 c 1322s| 1 | 0 |630268 | - | 82M| 0 |1000 |1000 | 37k|1000 | 12k| 27k| 0 | 0 |-2.415520e+02 |-5.300000e+01 | 78.06%
1327.48/1327.60 c 1328s| 1 | 0 |631048 | - | 82M| 0 |1000 |1000 | 37k|1000 | 12k| 27k| 0 | 0 |-2.415336e+02 |-5.300000e+01 | 78.06%
1333.19/1333.25 c 1333s| 1 | 0 |631728 | - | 82M| 0 |1000 |1000 | 37k|1000 | 12k| 27k| 0 | 0 |-2.415136e+02 |-5.300000e+01 | 78.06%
1339.18/1339.25 c 1339s| 1 | 0 |632798 | - | 82M| 0 |1000 |1000 | 37k|1000 | 12k| 27k| 0 | 0 |-2.414817e+02 |-5.300000e+01 | 78.05%
1344.87/1344.96 c 1345s| 1 | 0 |633530 | - | 82M| 0 |1000 |1000 | 37k|1000 | 12k| 27k| 0 | 0 |-2.414624e+02 |-5.300000e+01 | 78.05%
1350.57/1350.61 c 1351s| 1 | 0 |634300 | - | 82M| 0 |1000 |1000 | 37k|1000 | 12k| 28k| 0 | 0 |-2.414367e+02 |-5.300000e+01 | 78.05%
1355.97/1356.04 c 1356s| 1 | 0 |634902 | - | 82M| 0 |1000 |1000 | 37k|1000 | 12k| 28k| 0 | 0 |-2.414240e+02 |-5.300000e+01 | 78.05%
1361.57/1361.63 c 1362s| 1 | 0 |635636 | - | 82M| 0 |1000 |1000 | 37k|1000 | 12k| 28k| 0 | 0 |-2.414101e+02 |-5.300000e+01 | 78.05%
1367.30/1367.35 c 1367s| 1 | 0 |636419 | - | 82M| 0 |1000 |1000 | 37k|1000 | 12k| 28k| 0 | 0 |-2.413844e+02 |-5.300000e+01 | 78.04%
1373.17/1373.29 c 1373s| 1 | 0 |637673 | - | 82M| 0 |1000 |1000 | 37k|1000 | 12k| 28k| 0 | 0 |-2.413410e+02 |-5.300000e+01 | 78.04%
1378.87/1378.95 c 1379s| 1 | 0 |638445 | - | 82M| 0 |1000 |1000 | 37k|1000 | 12k| 28k| 0 | 0 |-2.413220e+02 |-5.300000e+01 | 78.04%
1384.38/1384.47 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1384.38/1384.47 c 1384s| 1 | 0 |639253 | - | 82M| 0 |1000 |1000 | 37k|1000 | 12k| 28k| 0 | 0 |-2.413048e+02 |-5.300000e+01 | 78.04%
1389.87/1389.91 c 1390s| 1 | 0 |639793 | - | 82M| 0 |1000 |1000 | 37k|1000 | 12k| 28k| 0 | 0 |-2.412970e+02 |-5.300000e+01 | 78.04%
1395.57/1395.69 c 1396s| 1 | 0 |640965 | - | 82M| 0 |1000 |1000 | 37k|1000 | 12k| 28k| 0 | 0 |-2.412734e+02 |-5.300000e+01 | 78.03%
1401.28/1401.40 c 1401s| 1 | 0 |641617 | - | 82M| 0 |1000 |1000 | 37k|1000 | 12k| 28k| 0 | 0 |-2.412560e+02 |-5.300000e+01 | 78.03%
1406.98/1407.07 c 1407s| 1 | 0 |642228 | - | 82M| 0 |1000 |1000 | 37k|1000 | 12k| 28k| 0 | 0 |-2.412446e+02 |-5.300000e+01 | 78.03%
1412.87/1412.98 c 1413s| 1 | 0 |643466 | - | 82M| 0 |1000 |1000 | 37k|1000 | 12k| 28k| 0 | 0 |-2.412235e+02 |-5.300000e+01 | 78.03%
1418.27/1418.30 c 1418s| 1 | 0 |644002 | - | 82M| 0 |1000 |1000 | 37k|1000 | 12k| 28k| 0 | 0 |-2.412148e+02 |-5.300000e+01 | 78.03%
1423.47/1423.58 c 1424s| 1 | 0 |644373 | - | 82M| 0 |1000 |1000 | 37k|1000 | 12k| 28k| 0 | 0 |-2.412073e+02 |-5.300000e+01 | 78.03%
1428.98/1429.00 c 1429s| 1 | 0 |644863 | - | 82M| 0 |1000 |1000 | 37k|1000 | 12k| 28k| 0 | 0 |-2.411982e+02 |-5.300000e+01 | 78.03%
1434.40/1434.48 c 1434s| 1 | 0 |645218 | - | 82M| 0 |1000 |1000 | 37k|1000 | 12k| 28k| 0 | 0 |-2.411924e+02 |-5.300000e+01 | 78.03%
1439.90/1439.99 c 1440s| 1 | 0 |645847 | - | 82M| 0 |1000 |1000 | 37k|1000 | 12k| 28k| 0 | 0 |-2.411811e+02 |-5.300000e+01 | 78.02%
1445.98/1446.06 c 1446s| 1 | 0 |647123 | - | 82M| 0 |1000 |1000 | 37k|1000 | 12k| 28k| 0 | 0 |-2.411693e+02 |-5.300000e+01 | 78.02%
1451.67/1451.72 c 1452s| 1 | 0 |647815 | - | 82M| 0 |1000 |1000 | 37k|1000 | 12k| 28k| 0 | 0 |-2.411576e+02 |-5.300000e+01 | 78.02%
1457.58/1457.68 c 1458s| 1 | 0 |648962 | - | 82M| 0 |1000 |1000 | 37k|1000 | 12k| 28k| 0 | 0 |-2.411455e+02 |-5.300000e+01 | 78.02%
1463.07/1463.16 c 1463s| 1 | 0 |649417 | - | 82M| 0 |1000 |1000 | 37k|1000 | 12k| 28k| 0 | 0 |-2.411388e+02 |-5.300000e+01 | 78.02%
1468.39/1468.48 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1468.39/1468.48 c 1468s| 1 | 0 |649773 | - | 82M| 0 |1000 |1000 | 37k|1000 | 12k| 28k| 0 | 0 |-2.411347e+02 |-5.300000e+01 | 78.02%
1473.78/1473.90 c 1474s| 1 | 0 |650439 | - | 82M| 0 |1000 |1000 | 37k|1000 | 12k| 28k| 0 | 0 |-2.411277e+02 |-5.300000e+01 | 78.02%
1479.17/1479.29 c 1479s| 1 | 0 |650955 | - | 82M| 0 |1000 |1000 | 37k|1000 | 12k| 28k| 0 | 0 |-2.411212e+02 |-5.300000e+01 | 78.02%
1484.58/1484.64 c 1485s| 1 | 0 |651483 | - | 82M| 0 |1000 |1000 | 37k|1000 | 12k| 28k| 0 | 0 |-2.411139e+02 |-5.300000e+01 | 78.02%
1489.77/1489.86 c 1490s| 1 | 0 |651992 | - | 82M| 0 |1000 |1000 | 37k|1000 | 12k| 28k| 0 | 0 |-2.411037e+02 |-5.300000e+01 | 78.02%
1494.98/1495.05 c 1495s| 1 | 0 |652425 | - | 82M| 0 |1000 |1000 | 37k|1000 | 12k| 28k| 0 | 0 |-2.410988e+02 |-5.300000e+01 | 78.02%
1500.39/1500.44 c 1500s| 1 | 0 |653027 | - | 82M| 0 |1000 |1000 | 37k|1000 | 12k| 28k| 0 | 0 |-2.410920e+02 |-5.300000e+01 | 78.02%
1505.79/1505.90 c 1506s| 1 | 0 |653810 | - | 82M| 0 |1000 |1000 | 37k|1000 | 12k| 28k| 0 | 0 |-2.410864e+02 |-5.300000e+01 | 78.02%
1511.28/1511.32 c 1511s| 1 | 0 |654370 | - | 82M| 0 |1000 |1000 | 37k|1000 | 12k| 28k| 0 | 0 |-2.410819e+02 |-5.300000e+01 | 78.02%
1516.48/1516.58 c 1517s| 1 | 0 |654671 | - | 82M| 0 |1000 |1000 | 37k|1000 | 12k| 28k| 0 | 0 |-2.410793e+02 |-5.300000e+01 | 78.02%
1521.78/1521.86 c 1522s| 1 | 0 |655151 | - | 82M| 0 |1000 |1000 | 37k|1000 | 12k| 28k| 0 | 0 |-2.410753e+02 |-5.300000e+01 | 78.02%
1527.18/1527.24 c 1527s| 1 | 0 |655689 | - | 82M| 0 |1000 |1000 | 37k|1000 | 12k| 28k| 0 | 0 |-2.410690e+02 |-5.300000e+01 | 78.01%
1549.28/1549.39 c 1549s| 1 | 2 |655689 | - | 82M| 0 |1000 |1000 | 37k|1000 | 12k| 28k| 0 | 29 |-2.410690e+02 |-5.300000e+01 | 78.01%
1551.28/1551.32 c 1551s| 10000 | 35 |655689 | 0.0 | 82M| 53 | - |1000 | 37k| 0 | 0 | 28k| 14 | 29 |-2.410690e+02 |-5.300000e+01 | 78.01%
1553.20/1553.22 c 1553s| 20000 | 36 |655689 | 0.0 | 82M| 54 | - |1000 | 37k| 0 | 0 | 28k| 32 | 29 |-2.410690e+02 |-5.300000e+01 | 78.01%
1553.38/1553.46 o -54
1553.38/1553.46 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1553.38/1553.46 c *1553s| 21225 | 36 |655689 | 0.0 | 82M| 54 | - |1000 | 37k| 0 | 0 | 28k| 35 | 29 |-2.410690e+02 |-5.400000e+01 | 77.60%
1554.98/1555.00 c 1555s| 30000 | 33 |655689 | 0.0 | 82M| 54 | - |1000 | 37k| 0 | 0 | 28k| 45 | 29 |-2.410690e+02 |-5.400000e+01 | 77.60%
1556.68/1556.71 c 1557s| 40000 | 34 |655689 | 0.0 | 82M| 54 | - |1000 | 37k| 0 | 0 | 28k| 55 | 29 |-2.410690e+02 |-5.400000e+01 | 77.60%
1558.48/1558.50 c 1558s| 50000 | 33 |655689 | 0.0 | 82M| 54 | - |1000 | 37k| 0 | 0 | 28k| 73 | 29 |-2.410690e+02 |-5.400000e+01 | 77.60%
1560.18/1560.20 c 1560s| 60000 | 34 |655689 | 0.0 | 82M| 54 | - |1000 | 37k| 0 | 0 | 28k| 83 | 29 |-2.410690e+02 |-5.400000e+01 | 77.60%
1561.78/1561.91 c 1562s| 70000 | 33 |655689 | 0.0 | 82M| 54 | - |1000 | 37k| 0 | 0 | 28k| 108 | 29 |-2.410690e+02 |-5.400000e+01 | 77.60%
1563.48/1563.56 c 1564s| 80000 | 34 |655689 | 0.0 | 82M| 54 | - |1000 | 37k| 0 | 0 | 28k| 129 | 29 |-2.410690e+02 |-5.400000e+01 | 77.60%
1565.19/1565.28 c 1565s| 90000 | 33 |655689 | 0.0 | 82M| 54 | - |1000 | 37k| 0 | 0 | 28k| 147 | 29 |-2.410690e+02 |-5.400000e+01 | 77.60%
1566.88/1566.90 c 1567s|100000 | 33 |655689 | 0.0 | 82M| 56 | - |1000 | 37k| 0 | 0 | 28k| 164 | 29 |-2.410690e+02 |-5.400000e+01 | 77.60%
1568.49/1568.60 c 1569s|110000 | 33 |655689 | 0.0 | 82M| 56 | - |1000 | 37k| 0 | 0 | 28k| 195 | 29 |-2.410690e+02 |-5.400000e+01 | 77.60%
1570.18/1570.24 c 1570s|120000 | 33 |655689 | 0.0 | 82M| 57 | - |1000 | 37k| 0 | 0 | 28k| 224 | 29 |-2.410690e+02 |-5.400000e+01 | 77.60%
1571.79/1571.88 c 1572s|130000 | 32 |655689 | 0.0 | 82M| 57 | - |1000 | 37k| 0 | 0 | 28k| 252 | 29 |-2.410690e+02 |-5.400000e+01 | 77.60%
1573.38/1573.50 c 1573s|140000 | 34 |655689 | 0.0 | 82M| 59 | - |1000 | 37k| 0 | 0 | 28k| 266 | 29 |-2.410690e+02 |-5.400000e+01 | 77.60%
1574.88/1574.97 c 1575s|150000 | 34 |655689 | 0.0 | 82M| 59 | - |1000 | 37k| 0 | 0 | 28k| 280 | 29 |-2.410690e+02 |-5.400000e+01 | 77.60%
1576.30/1576.38 c 1576s|160000 | 30 |655689 | 0.0 | 82M| 59 | - |1000 | 37k| 0 | 0 | 28k| 292 | 29 |-2.410690e+02 |-5.400000e+01 | 77.60%
1577.88/1577.92 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1577.88/1577.92 c 1578s|170000 | 32 |655689 | 0.0 | 82M| 59 | - |1000 | 37k| 0 | 0 | 28k| 315 | 29 |-2.410690e+02 |-5.400000e+01 | 77.60%
1579.38/1579.45 c 1579s|180000 | 35 |655689 | 0.0 | 82M| 59 | - |1000 | 37k| 0 | 0 | 28k| 340 | 29 |-2.410690e+02 |-5.400000e+01 | 77.60%
1580.98/1581.04 c 1581s|190000 | 34 |655689 | 0.0 | 82M| 66 | - |1000 | 37k| 0 | 0 | 28k| 361 | 29 |-2.410690e+02 |-5.400000e+01 | 77.60%
1582.58/1582.68 c 1583s|200000 | 34 |655689 | 0.0 | 82M| 66 | - |1000 | 37k| 0 | 0 | 28k| 377 | 29 |-2.410690e+02 |-5.400000e+01 | 77.60%
1584.28/1584.36 c 1584s|210000 | 32 |655689 | 0.0 | 82M| 66 | - |1000 | 37k| 0 | 0 | 28k| 405 | 29 |-2.410690e+02 |-5.400000e+01 | 77.60%
1585.88/1585.96 c 1586s|220000 | 34 |655689 | 0.0 | 82M| 66 | - |1000 | 37k| 0 | 0 | 28k| 433 | 29 |-2.410690e+02 |-5.400000e+01 | 77.60%
1587.58/1587.68 c 1588s|230000 | 30 |655689 | 0.0 | 82M| 66 | - |1000 | 37k| 0 | 0 | 28k| 441 | 29 |-2.410690e+02 |-5.400000e+01 | 77.60%
1589.18/1589.27 c 1589s|240000 | 33 |655689 | 0.0 | 82M| 66 | - |1000 | 37k| 0 | 0 | 28k| 457 | 29 |-2.410690e+02 |-5.400000e+01 | 77.60%
1590.78/1590.82 c 1591s|250000 | 34 |655689 | 0.0 | 82M| 66 | - |1000 | 37k| 0 | 0 | 28k| 471 | 29 |-2.410690e+02 |-5.400000e+01 | 77.60%
1592.38/1592.40 c 1592s|260000 | 33 |655689 | 0.0 | 82M| 66 | - |1000 | 37k| 0 | 0 | 28k| 481 | 29 |-2.410690e+02 |-5.400000e+01 | 77.60%
1593.79/1593.85 c 1594s|270000 | 29 |655689 | 0.0 | 82M| 66 | - |1000 | 37k| 0 | 0 | 28k| 489 | 29 |-2.410690e+02 |-5.400000e+01 | 77.60%
1595.28/1595.36 c 1595s|280000 | 33 |655689 | 0.0 | 82M| 66 | - |1000 | 37k| 0 | 0 | 28k| 539 | 29 |-2.410690e+02 |-5.400000e+01 | 77.60%
1596.88/1596.98 c 1597s|290000 | 31 |655689 | 0.0 | 82M| 66 | - |1000 | 37k| 0 | 0 | 28k| 556 | 29 |-2.410690e+02 |-5.400000e+01 | 77.60%
1598.48/1598.50 c 1599s|300000 | 33 |655689 | 0.0 | 82M| 66 | - |1000 | 37k| 0 | 0 | 28k| 573 | 29 |-2.410690e+02 |-5.400000e+01 | 77.60%
1600.08/1600.17 c 1600s|310000 | 31 |655689 | 0.0 | 82M| 66 | - |1000 | 37k| 0 | 0 | 28k| 593 | 29 |-2.410690e+02 |-5.400000e+01 | 77.60%
1601.68/1601.78 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1601.68/1601.78 c 1602s|320000 | 34 |655689 | 0.0 | 82M| 66 | - |1000 | 37k| 0 | 0 | 28k| 621 | 29 |-2.410690e+02 |-5.400000e+01 | 77.60%
1603.28/1603.34 c 1603s|330000 | 35 |655689 | 0.0 | 82M| 66 | - |1000 | 37k| 0 | 0 | 28k| 632 | 29 |-2.410690e+02 |-5.400000e+01 | 77.60%
1604.38/1604.48 o -55
1604.38/1604.48 c *1604s|337051 | 38 |655689 | 0.0 | 82M| 66 | - |1000 | 37k| 0 | 0 | 28k| 650 | 29 |-2.410690e+02 |-5.500000e+01 | 77.18%
1604.90/1604.96 c 1605s|340000 | 33 |655689 | 0.0 | 82M| 66 | - |1000 | 37k| 0 | 0 | 28k| 656 | 29 |-2.410690e+02 |-5.500000e+01 | 77.18%
1606.38/1606.48 c 1606s|350000 | 32 |655689 | 0.0 | 82M| 66 | - |1000 | 37k| 0 | 0 | 28k| 678 | 29 |-2.410690e+02 |-5.500000e+01 | 77.18%
1607.98/1608.06 c 1608s|360000 | 35 |655689 | 0.0 | 82M| 66 | - |1000 | 37k| 0 | 0 | 28k| 690 | 29 |-2.410690e+02 |-5.500000e+01 | 77.18%
1609.58/1609.66 c 1610s|370000 | 34 |655689 | 0.0 | 82M| 66 | - |1000 | 37k| 0 | 0 | 28k| 694 | 29 |-2.410690e+02 |-5.500000e+01 | 77.18%
1611.18/1611.22 c 1611s|380000 | 33 |655689 | 0.0 | 82M| 66 | - |1000 | 37k| 0 | 0 | 28k| 712 | 29 |-2.410690e+02 |-5.500000e+01 | 77.18%
1612.68/1612.74 c 1613s|390000 | 31 |655689 | 0.0 | 82M| 66 | - |1000 | 37k| 0 | 0 | 28k| 730 | 29 |-2.410690e+02 |-5.500000e+01 | 77.18%
1614.28/1614.37 c 1614s|400000 | 32 |655689 | 0.0 | 82M| 66 | - |1000 | 37k| 0 | 0 | 28k| 742 | 29 |-2.410690e+02 |-5.500000e+01 | 77.18%
1615.79/1615.88 c 1616s|410000 | 32 |655689 | 0.0 | 82M| 66 | - |1000 | 37k| 0 | 0 | 28k| 750 | 29 |-2.410690e+02 |-5.500000e+01 | 77.18%
1617.28/1617.34 c 1617s|420000 | 32 |655689 | 0.0 | 82M| 66 | - |1000 | 37k| 0 | 0 | 28k| 755 | 29 |-2.410690e+02 |-5.500000e+01 | 77.18%
1618.78/1618.81 c 1619s|430000 | 34 |655689 | 0.0 | 82M| 66 | - |1000 | 37k| 0 | 0 | 28k| 779 | 29 |-2.410690e+02 |-5.500000e+01 | 77.18%
1620.30/1620.35 c 1620s|440000 | 39 |655689 | 0.0 | 82M| 66 | - |1000 | 37k| 0 | 0 | 28k| 800 | 29 |-2.410690e+02 |-5.500000e+01 | 77.18%
1621.78/1621.82 c 1622s|450000 | 35 |655689 | 0.0 | 82M| 66 | - |1000 | 37k| 0 | 0 | 28k| 806 | 29 |-2.410690e+02 |-5.500000e+01 | 77.18%
1623.18/1623.23 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1623.18/1623.23 c 1623s|460000 | 34 |655689 | 0.0 | 82M| 66 | - |1000 | 37k| 0 | 0 | 28k| 818 | 29 |-2.410690e+02 |-5.500000e+01 | 77.18%
1624.59/1624.65 c 1625s|470000 | 31 |655689 | 0.0 | 82M| 66 | - |1000 | 37k| 0 | 0 | 28k| 830 | 29 |-2.410690e+02 |-5.500000e+01 | 77.18%
1626.08/1626.16 c 1626s|480000 | 32 |655689 | 0.0 | 82M| 66 | - |1000 | 37k| 0 | 0 | 28k| 841 | 29 |-2.410690e+02 |-5.500000e+01 | 77.18%
1627.48/1627.59 c 1628s|490000 | 33 |655689 | 0.0 | 82M| 66 | - |1000 | 37k| 0 | 0 | 28k| 851 | 29 |-2.410690e+02 |-5.500000e+01 | 77.18%
1628.99/1629.02 c 1629s|500000 | 35 |655689 | 0.0 | 82M| 66 | - |1000 | 37k| 0 | 0 | 28k| 856 | 29 |-2.410690e+02 |-5.500000e+01 | 77.18%
1630.38/1630.42 c 1630s|510000 | 34 |655689 | 0.0 | 82M| 66 | - |1000 | 37k| 0 | 0 | 28k| 866 | 29 |-2.410690e+02 |-5.500000e+01 | 77.18%
1631.78/1631.86 c 1632s|520000 | 32 |655689 | 0.0 | 82M| 66 | - |1000 | 37k| 0 | 0 | 28k| 872 | 29 |-2.410690e+02 |-5.500000e+01 | 77.18%
1633.18/1633.26 c 1633s|530000 | 32 |655689 | 0.0 | 82M| 66 | - |1000 | 37k| 0 | 0 | 28k| 880 | 29 |-2.410690e+02 |-5.500000e+01 | 77.18%
1634.68/1634.72 c 1635s|540000 | 36 |655689 | 0.0 | 82M| 66 | - |1000 | 37k| 0 | 0 | 28k| 886 | 29 |-2.410690e+02 |-5.500000e+01 | 77.18%
1636.08/1636.13 c 1636s|550000 | 32 |655689 | 0.0 | 82M| 66 | - |1000 | 37k| 0 | 0 | 28k| 892 | 29 |-2.410690e+02 |-5.500000e+01 | 77.18%
1637.48/1637.57 c 1638s|560000 | 33 |655689 | 0.0 | 82M| 66 | - |1000 | 37k| 0 | 0 | 28k| 894 | 29 |-2.410690e+02 |-5.500000e+01 | 77.18%
1639.00/1639.08 c 1639s|570000 | 33 |655689 | 0.0 | 82M| 66 | - |1000 | 37k| 0 | 0 | 28k| 911 | 29 |-2.410690e+02 |-5.500000e+01 | 77.18%
1640.10/1640.13 o -56
1640.10/1640.13 c *1640s|577207 | 37 |655689 | 0.0 | 82M| 66 | - |1000 | 37k| 0 | 0 | 28k| 924 | 29 |-2.410690e+02 |-5.600000e+01 | 76.77%
1640.48/1640.50 c 1641s|580000 | 33 |655689 | 0.0 | 82M| 66 | - |1000 | 37k| 0 | 0 | 28k| 929 | 29 |-2.410690e+02 |-5.600000e+01 | 76.77%
1641.88/1641.90 c 1642s|590000 | 34 |655689 | 0.0 | 82M| 66 | - |1000 | 37k| 0 | 0 | 28k| 944 | 29 |-2.410690e+02 |-5.600000e+01 | 76.77%
1643.29/1643.37 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1643.29/1643.37 c 1643s|600000 | 32 |655689 | 0.0 | 82M| 66 | - |1000 | 37k| 0 | 0 | 28k| 962 | 29 |-2.410690e+02 |-5.600000e+01 | 76.77%
1644.78/1644.80 c 1645s|610000 | 34 |655689 | 0.0 | 82M| 66 | - |1000 | 37k| 0 | 0 | 28k| 975 | 29 |-2.410690e+02 |-5.600000e+01 | 76.77%
1646.18/1646.24 c 1646s|620000 | 34 |655689 | 0.0 | 82M| 66 | - |1000 | 37k| 0 | 0 | 28k| 986 | 29 |-2.410690e+02 |-5.600000e+01 | 76.77%
1647.58/1647.71 c 1648s|630000 | 34 |655689 | 0.0 | 82M| 66 | - |1000 | 37k| 0 | 0 | 28k| 997 | 29 |-2.410690e+02 |-5.600000e+01 | 76.77%
1649.08/1649.18 c 1649s|640000 | 33 |655689 | 0.0 | 82M| 66 | - |1000 | 37k| 0 | 0 | 28k|1003 | 29 |-2.410690e+02 |-5.600000e+01 | 76.77%
1650.58/1650.62 c 1651s|650000 | 33 |655689 | 0.0 | 82M| 66 | - |1000 | 37k| 0 | 0 | 28k|1011 | 29 |-2.410690e+02 |-5.600000e+01 | 76.77%
1651.98/1652.06 c 1652s|660000 | 33 |655689 | 0.0 | 82M| 66 | - |1000 | 37k| 0 | 0 | 28k|1018 | 29 |-2.410690e+02 |-5.600000e+01 | 76.77%
1653.38/1653.43 c 1653s|670000 | 35 |655689 | 0.0 | 82M| 66 | - |1000 | 37k| 0 | 0 | 28k|1027 | 29 |-2.410690e+02 |-5.600000e+01 | 76.77%
1654.68/1654.71 c 1655s|680000 | 31 |655689 | 0.0 | 82M| 66 | - |1000 | 37k| 0 | 0 | 28k|1043 | 29 |-2.410690e+02 |-5.600000e+01 | 76.77%
1655.88/1655.97 c 1656s|690000 | 31 |655689 | 0.0 | 82M| 66 | - |1000 | 37k| 0 | 0 | 28k|1047 | 29 |-2.410690e+02 |-5.600000e+01 | 76.77%
1657.18/1657.27 c 1657s|700000 | 29 |655689 | 0.0 | 82M| 66 | - |1000 | 37k| 0 | 0 | 28k|1057 | 29 |-2.410690e+02 |-5.600000e+01 | 76.77%
1658.58/1658.66 c 1659s|710000 | 34 |655689 | 0.0 | 82M| 66 | - |1000 | 37k| 0 | 0 | 28k|1076 | 29 |-2.410690e+02 |-5.600000e+01 | 76.77%
1659.98/1660.09 c 1660s|720000 | 31 |655689 | 0.0 | 82M| 66 | - |1000 | 37k| 0 | 0 | 28k|1090 | 29 |-2.410690e+02 |-5.600000e+01 | 76.77%
1661.38/1661.47 c 1661s|730000 | 34 |655689 | 0.0 | 82M| 66 | - |1000 | 37k| 0 | 0 | 28k|1106 | 29 |-2.410690e+02 |-5.600000e+01 | 76.77%
1662.78/1662.83 c 1663s|740000 | 33 |655689 | 0.0 | 82M| 66 | - |1000 | 37k| 0 | 0 | 28k|1118 | 29 |-2.410690e+02 |-5.600000e+01 | 76.77%
1664.19/1664.27 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1664.19/1664.27 c 1664s|750000 | 34 |655689 | 0.0 | 82M| 66 | - |1000 | 37k| 0 | 0 | 28k|1139 | 29 |-2.410690e+02 |-5.600000e+01 | 76.77%
1665.68/1665.74 c 1666s|760000 | 34 |655689 | 0.0 | 82M| 66 | - |1000 | 37k| 0 | 0 | 28k|1160 | 29 |-2.410690e+02 |-5.600000e+01 | 76.77%
1667.08/1667.19 c 1667s|770000 | 35 |655689 | 0.0 | 82M| 66 | - |1000 | 37k| 0 | 0 | 28k|1171 | 29 |-2.410690e+02 |-5.600000e+01 | 76.77%
1668.59/1668.65 c 1669s|780000 | 34 |655689 | 0.0 | 82M| 66 | - |1000 | 37k| 0 | 0 | 28k|1180 | 29 |-2.410690e+02 |-5.600000e+01 | 76.77%
1670.08/1670.12 c 1670s|790000 | 29 |655689 | 0.0 | 82M| 66 | - |1000 | 37k| 0 | 0 | 28k|1189 | 29 |-2.410690e+02 |-5.600000e+01 | 76.77%
1671.38/1671.47 c 1671s|800000 | 32 |655689 | 0.0 | 82M| 66 | - |1000 | 37k| 0 | 0 | 28k|1202 | 29 |-2.410690e+02 |-5.600000e+01 | 76.77%
1672.78/1672.87 c 1673s|810000 | 35 |655689 | 0.0 | 82M| 66 | - |1000 | 37k| 0 | 0 | 28k|1213 | 29 |-2.410690e+02 |-5.600000e+01 | 76.77%
1674.28/1674.31 c 1674s|820000 | 34 |655689 | 0.0 | 82M| 66 | - |1000 | 37k| 0 | 0 | 28k|1226 | 29 |-2.410690e+02 |-5.600000e+01 | 76.77%
1675.78/1675.82 c 1676s|830000 | 34 |655689 | 0.0 | 82M| 66 | - |1000 | 37k| 0 | 0 | 28k|1238 | 29 |-2.410690e+02 |-5.600000e+01 | 76.77%
1677.08/1677.16 c 1677s|840000 | 35 |655689 | 0.0 | 82M| 66 | - |1000 | 37k| 0 | 0 | 28k|1256 | 29 |-2.410690e+02 |-5.600000e+01 | 76.77%
1678.38/1678.49 c 1678s|850000 | 32 |655689 | 0.0 | 82M| 66 | - |1000 | 37k| 0 | 0 | 28k|1280 | 29 |-2.410690e+02 |-5.600000e+01 | 76.77%
1679.88/1679.97 c 1680s|860000 | 36 |655689 | 0.0 | 82M| 66 | - |1000 | 37k| 0 | 0 | 28k|1302 | 29 |-2.410690e+02 |-5.600000e+01 | 76.77%
1681.18/1681.24 c 1681s|870000 | 35 |655689 | 0.0 | 82M| 66 | - |1000 | 37k| 0 | 0 | 28k|1312 | 29 |-2.410690e+02 |-5.600000e+01 | 76.77%
1682.38/1682.44 c 1682s|880000 | 33 |655689 | 0.0 | 82M| 66 | - |1000 | 37k| 0 | 0 | 28k|1326 | 29 |-2.410690e+02 |-5.600000e+01 | 76.77%
1683.68/1683.72 c 1684s|890000 | 31 |655689 | 0.0 | 82M| 66 | - |1000 | 37k| 0 | 0 | 28k|1337 | 29 |-2.410690e+02 |-5.600000e+01 | 76.77%
1684.98/1685.01 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1684.98/1685.01 c 1685s|900000 | 32 |655689 | 0.0 | 82M| 66 | - |1000 | 37k| 0 | 0 | 28k|1351 | 29 |-2.410690e+02 |-5.600000e+01 | 76.77%
1686.38/1686.40 c 1686s|910000 | 35 |655689 | 0.0 | 82M| 66 | - |1000 | 37k| 0 | 0 | 28k|1361 | 29 |-2.410690e+02 |-5.600000e+01 | 76.77%
1687.78/1687.89 c 1688s|920000 | 30 |655689 | 0.0 | 82M| 66 | - |1000 | 37k| 0 | 0 | 28k|1371 | 29 |-2.410690e+02 |-5.600000e+01 | 76.77%
1689.28/1689.39 c 1689s|930000 | 36 |655689 | 0.0 | 82M| 66 | - |1000 | 37k| 0 | 0 | 28k|1385 | 29 |-2.410690e+02 |-5.600000e+01 | 76.77%
1690.78/1690.86 c 1691s|940000 | 31 |655689 | 0.0 | 82M| 66 | - |1000 | 37k| 0 | 0 | 28k|1398 | 29 |-2.410690e+02 |-5.600000e+01 | 76.77%
1692.38/1692.43 c 1692s|950000 | 36 |655689 | 0.0 | 82M| 66 | - |1000 | 37k| 0 | 0 | 28k|1412 | 29 |-2.410690e+02 |-5.600000e+01 | 76.77%
1693.89/1693.95 c 1694s|960000 | 35 |655689 | 0.0 | 82M| 66 | - |1000 | 37k| 0 | 0 | 28k|1422 | 29 |-2.410690e+02 |-5.600000e+01 | 76.77%
1695.38/1695.47 c 1695s|970000 | 34 |655689 | 0.0 | 82M| 66 | - |1000 | 37k| 0 | 0 | 28k|1441 | 29 |-2.410690e+02 |-5.600000e+01 | 76.77%
1696.88/1696.93 c 1697s|980000 | 33 |655689 | 0.0 | 82M| 66 | - |1000 | 37k| 0 | 0 | 28k|1450 | 29 |-2.410690e+02 |-5.600000e+01 | 76.77%
1698.29/1698.40 c 1698s|990000 | 33 |655689 | 0.0 | 82M| 66 | - |1000 | 37k| 0 | 0 | 28k|1465 | 29 |-2.410690e+02 |-5.600000e+01 | 76.77%
1699.68/1699.75 c 1700s| 1000k| 32 |655689 | 0.0 | 82M| 66 | - |1000 | 37k| 0 | 0 | 28k|1478 | 29 |-2.410690e+02 |-5.600000e+01 | 76.77%
1701.08/1701.17 c 1701s| 1010k| 31 |655689 | 0.0 | 82M| 66 | - |1000 | 37k| 0 | 0 | 28k|1493 | 29 |-2.410690e+02 |-5.600000e+01 | 76.77%
1702.69/1702.74 c 1703s| 1020k| 32 |655689 | 0.0 | 82M| 66 | - |1000 | 37k| 0 | 0 | 28k|1500 | 29 |-2.410690e+02 |-5.600000e+01 | 76.77%
1704.18/1704.25 c 1704s| 1030k| 31 |655689 | 0.0 | 82M| 66 | - |1000 | 37k| 0 | 0 | 28k|1512 | 29 |-2.410690e+02 |-5.600000e+01 | 76.77%
1705.68/1705.74 c 1706s| 1040k| 32 |655689 | 0.0 | 82M| 66 | - |1000 | 37k| 0 | 0 | 28k|1527 | 29 |-2.410690e+02 |-5.600000e+01 | 76.77%
1707.20/1707.27 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1707.20/1707.27 c 1707s| 1050k| 33 |655689 | 0.0 | 82M| 66 | - |1000 | 37k| 0 | 0 | 28k|1536 | 29 |-2.410690e+02 |-5.600000e+01 | 76.77%
1708.68/1708.74 c 1709s| 1060k| 32 |655689 | 0.0 | 82M| 66 | - |1000 | 37k| 0 | 0 | 28k|1543 | 29 |-2.410690e+02 |-5.600000e+01 | 76.77%
1710.28/1710.30 c 1710s| 1070k| 33 |655689 | 0.0 | 82M| 66 | - |1000 | 37k| 0 | 0 | 28k|1555 | 29 |-2.410690e+02 |-5.600000e+01 | 76.77%
1711.38/1711.47 o -57
1711.38/1711.47 c *1711s| 1077k| 31 |655689 | 0.0 | 82M| 67 | - |1000 | 37k| 0 | 0 | 28k|1564 | 29 |-2.410690e+02 |-5.700000e+01 | 76.36%
1711.78/1711.83 c 1712s| 1080k| 31 |655689 | 0.0 | 82M| 67 | - |1000 | 37k| 0 | 0 | 28k|1565 | 29 |-2.410690e+02 |-5.700000e+01 | 76.36%
1713.08/1713.12 c 1713s| 1090k| 31 |655689 | 0.0 | 82M| 67 | - |1000 | 37k| 0 | 0 | 28k|1573 | 29 |-2.410690e+02 |-5.700000e+01 | 76.36%
1714.48/1714.59 c 1715s| 1100k| 33 |655689 | 0.0 | 82M| 67 | - |1000 | 37k| 0 | 0 | 28k|1592 | 29 |-2.410690e+02 |-5.700000e+01 | 76.36%
1716.00/1716.06 c 1716s| 1110k| 32 |655689 | 0.0 | 82M| 67 | - |1000 | 37k| 0 | 0 | 28k|1607 | 29 |-2.410690e+02 |-5.700000e+01 | 76.36%
1717.28/1717.31 c 1717s| 1120k| 31 |655689 | 0.0 | 82M| 67 | - |1000 | 37k| 0 | 0 | 28k|1615 | 29 |-2.410690e+02 |-5.700000e+01 | 76.36%
1718.48/1718.58 c 1719s| 1130k| 31 |655689 | 0.0 | 82M| 67 | - |1000 | 37k| 0 | 0 | 28k|1625 | 29 |-2.410690e+02 |-5.700000e+01 | 76.36%
1719.78/1719.85 c 1720s| 1140k| 32 |655689 | 0.0 | 82M| 67 | - |1000 | 37k| 0 | 0 | 28k|1638 | 29 |-2.410690e+02 |-5.700000e+01 | 76.36%
1721.08/1721.18 c 1721s| 1150k| 30 |655689 | 0.0 | 82M| 67 | - |1000 | 37k| 0 | 0 | 28k|1649 | 29 |-2.410690e+02 |-5.700000e+01 | 76.36%
1722.38/1722.41 c 1722s| 1160k| 33 |655689 | 0.0 | 82M| 67 | - |1000 | 37k| 0 | 0 | 28k|1659 | 29 |-2.410690e+02 |-5.700000e+01 | 76.36%
1723.70/1723.73 c 1724s| 1170k| 30 |655689 | 0.0 | 82M| 67 | - |1000 | 37k| 0 | 0 | 28k|1665 | 29 |-2.410690e+02 |-5.700000e+01 | 76.36%
1724.88/1724.94 c 1725s| 1180k| 31 |655689 | 0.0 | 82M| 67 | - |1000 | 37k| 0 | 0 | 28k|1671 | 29 |-2.410690e+02 |-5.700000e+01 | 76.36%
1726.38/1726.41 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1726.38/1726.41 c 1726s| 1190k| 32 |655689 | 0.0 | 82M| 67 | - |1000 | 37k| 0 | 0 | 28k|1681 | 29 |-2.410690e+02 |-5.700000e+01 | 76.36%
1727.58/1727.66 c 1728s| 1200k| 34 |655689 | 0.0 | 82M| 67 | - |1000 | 37k| 0 | 0 | 28k|1687 | 29 |-2.410690e+02 |-5.700000e+01 | 76.36%
1728.78/1728.89 c 1729s| 1210k| 32 |655689 | 0.0 | 82M| 67 | - |1000 | 37k| 0 | 0 | 28k|1703 | 29 |-2.410690e+02 |-5.700000e+01 | 76.36%
1730.19/1730.24 c 1730s| 1220k| 32 |655689 | 0.0 | 82M| 67 | - |1000 | 37k| 0 | 0 | 28k|1713 | 29 |-2.410690e+02 |-5.700000e+01 | 76.36%
1731.58/1731.66 c 1732s| 1230k| 32 |655689 | 0.0 | 82M| 67 | - |1000 | 37k| 0 | 0 | 28k|1719 | 29 |-2.410690e+02 |-5.700000e+01 | 76.36%
1732.98/1733.05 c 1733s| 1240k| 32 |655689 | 0.0 | 82M| 67 | - |1000 | 37k| 0 | 0 | 28k|1723 | 29 |-2.410690e+02 |-5.700000e+01 | 76.36%
1734.38/1734.41 c 1734s| 1250k| 31 |655689 | 0.0 | 82M| 67 | - |1000 | 37k| 0 | 0 | 28k|1726 | 29 |-2.410690e+02 |-5.700000e+01 | 76.36%
1735.58/1735.66 c 1736s| 1260k| 30 |655689 | 0.0 | 82M| 67 | - |1000 | 37k| 0 | 0 | 28k|1729 | 29 |-2.410690e+02 |-5.700000e+01 | 76.36%
1736.90/1736.92 c 1737s| 1270k| 33 |655689 | 0.0 | 82M| 67 | - |1000 | 37k| 0 | 0 | 28k|1738 | 29 |-2.410690e+02 |-5.700000e+01 | 76.36%
1738.08/1738.18 c 1738s| 1280k| 31 |655689 | 0.0 | 82M| 67 | - |1000 | 37k| 0 | 0 | 28k|1746 | 29 |-2.410690e+02 |-5.700000e+01 | 76.36%
1739.48/1739.54 c 1740s| 1290k| 32 |655689 | 0.0 | 82M| 67 | - |1000 | 37k| 0 | 0 | 28k|1750 | 29 |-2.410690e+02 |-5.700000e+01 | 76.36%
1740.88/1740.98 c 1741s| 1300k| 31 |655689 | 0.0 | 82M| 67 | - |1000 | 37k| 0 | 0 | 28k|1756 | 29 |-2.410690e+02 |-5.700000e+01 | 76.36%
1742.40/1742.49 c 1742s| 1310k| 33 |655689 | 0.0 | 82M| 67 | - |1000 | 37k| 0 | 0 | 28k|1766 | 29 |-2.410690e+02 |-5.700000e+01 | 76.36%
1743.98/1744.06 c 1744s| 1320k| 29 |655689 | 0.0 | 82M| 67 | - |1000 | 37k| 0 | 0 | 28k|1771 | 29 |-2.410690e+02 |-5.700000e+01 | 76.36%
1745.48/1745.55 c 1746s| 1330k| 39 |655689 | 0.0 | 82M| 68 | - |1000 | 37k| 0 | 0 | 28k|1845 | 29 |-2.410690e+02 |-5.700000e+01 | 76.36%
1746.98/1747.04 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1746.98/1747.04 c 1747s| 1340k| 35 |655689 | 0.0 | 82M| 68 | - |1000 | 37k| 0 | 0 | 28k|1922 | 29 |-2.410690e+02 |-5.700000e+01 | 76.36%
1748.48/1748.51 c 1749s| 1350k| 34 |655689 | 0.0 | 82M| 68 | - |1000 | 37k| 0 | 0 | 28k|2000 | 29 |-2.410690e+02 |-5.700000e+01 | 76.36%
1749.99/1750.03 c 1750s| 1360k| 36 |655689 | 0.0 | 82M| 68 | - |1000 | 37k| 0 | 0 | 28k|2077 | 29 |-2.410690e+02 |-5.700000e+01 | 76.36%
1751.28/1751.36 c 1751s| 1370k| 40 |655689 | 0.0 | 82M| 68 | - |1000 | 37k| 0 | 0 | 28k|2123 | 29 |-2.410690e+02 |-5.700000e+01 | 76.36%
1752.58/1752.61 c 1753s| 1380k| 35 |655689 | 0.0 | 82M| 68 | - |1000 | 37k| 0 | 0 | 28k|2157 | 29 |-2.410690e+02 |-5.700000e+01 | 76.36%
1753.78/1753.82 c 1754s| 1390k| 36 |655689 | 0.0 | 82M| 68 | - |1000 | 37k| 0 | 0 | 28k|2208 | 29 |-2.410690e+02 |-5.700000e+01 | 76.36%
1755.28/1755.32 c 1755s| 1400k| 33 |655689 | 0.0 | 82M| 68 | - |1000 | 37k| 0 | 0 | 28k|2251 | 29 |-2.410690e+02 |-5.700000e+01 | 76.36%
1756.78/1756.82 c 1757s| 1410k| 37 |655689 | 0.0 | 82M| 68 | - |1000 | 37k| 0 | 0 | 28k|2296 | 29 |-2.410690e+02 |-5.700000e+01 | 76.36%
1758.28/1758.30 c 1758s| 1420k| 34 |655689 | 0.0 | 82M| 68 | - |1000 | 37k| 0 | 0 | 28k|2345 | 29 |-2.410690e+02 |-5.700000e+01 | 76.36%
1759.78/1759.82 c 1760s| 1430k| 33 |655689 | 0.0 | 82M| 68 | - |1000 | 37k| 0 | 0 | 28k|2363 | 29 |-2.410690e+02 |-5.700000e+01 | 76.36%
1761.18/1761.23 c 1761s| 1440k| 37 |655689 | 0.0 | 82M| 68 | - |1000 | 37k| 0 | 0 | 28k|2371 | 29 |-2.410690e+02 |-5.700000e+01 | 76.36%
1762.58/1762.62 c 1763s| 1450k| 34 |655689 | 0.0 | 82M| 68 | - |1000 | 37k| 0 | 0 | 28k|2377 | 29 |-2.410690e+02 |-5.700000e+01 | 76.36%
1763.98/1764.06 c 1764s| 1460k| 32 |655689 | 0.0 | 82M| 68 | - |1000 | 37k| 0 | 0 | 28k|2406 | 29 |-2.410690e+02 |-5.700000e+01 | 76.36%
1765.39/1765.48 c 1765s| 1470k| 33 |655689 | 0.0 | 82M| 68 | - |1000 | 37k| 0 | 0 | 28k|2414 | 29 |-2.410690e+02 |-5.700000e+01 | 76.36%
1766.78/1766.87 c 1767s| 1480k| 35 |655689 | 0.0 | 82M| 68 | - |1000 | 37k| 0 | 0 | 28k|2426 | 29 |-2.410690e+02 |-5.700000e+01 | 76.36%
1768.28/1768.36 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1768.28/1768.36 c 1768s| 1490k| 35 |655689 | 0.0 | 82M| 68 | - |1000 | 37k| 0 | 0 | 28k|2441 | 29 |-2.410690e+02 |-5.700000e+01 | 76.36%
1769.68/1769.76 c 1770s| 1500k| 33 |655689 | 0.0 | 82M| 68 | - |1000 | 37k| 0 | 0 | 28k|2450 | 29 |-2.410690e+02 |-5.700000e+01 | 76.36%
1771.00/1771.08 c 1771s| 1510k| 31 |655689 | 0.0 | 82M| 68 | - |1000 | 37k| 0 | 0 | 28k|2463 | 29 |-2.410690e+02 |-5.700000e+01 | 76.36%
1772.28/1772.37 c 1772s| 1520k| 34 |655689 | 0.0 | 82M| 68 | - |1000 | 37k| 0 | 0 | 28k|2476 | 29 |-2.410690e+02 |-5.700000e+01 | 76.36%
1773.68/1773.73 c 1774s| 1530k| 34 |655689 | 0.0 | 82M| 68 | - |1000 | 37k| 0 | 0 | 28k|2498 | 29 |-2.410690e+02 |-5.700000e+01 | 76.36%
1774.98/1775.01 c 1775s| 1540k| 34 |655689 | 0.0 | 82M| 68 | - |1000 | 37k| 0 | 0 | 28k|2512 | 29 |-2.410690e+02 |-5.700000e+01 | 76.36%
1776.50/1776.55 c 1777s| 1550k| 33 |655689 | 0.0 | 82M| 68 | - |1000 | 37k| 0 | 0 | 28k|2537 | 29 |-2.410690e+02 |-5.700000e+01 | 76.36%
1777.88/1777.96 c 1778s| 1560k| 33 |655689 | 0.0 | 82M| 68 | - |1000 | 37k| 0 | 0 | 28k|2560 | 29 |-2.410690e+02 |-5.700000e+01 | 76.36%
1779.28/1779.33 c 1779s| 1570k| 31 |655689 | 0.0 | 82M| 68 | - |1000 | 37k| 0 | 0 | 28k|2576 | 29 |-2.410690e+02 |-5.700000e+01 | 76.36%
1780.68/1780.80 c 1781s| 1580k| 33 |655689 | 0.0 | 82M| 68 | - |1000 | 37k| 0 | 0 | 28k|2590 | 29 |-2.410690e+02 |-5.700000e+01 | 76.36%
1782.08/1782.18 c 1782s| 1590k| 35 |655689 | 0.0 | 82M| 68 | - |1000 | 37k| 0 | 0 | 28k|2602 | 29 |-2.410690e+02 |-5.700000e+01 | 76.36%
1783.48/1783.52 c 1784s| 1600k| 32 |655689 | 0.0 | 82M| 68 | - |1000 | 37k| 0 | 0 | 28k|2613 | 29 |-2.410690e+02 |-5.700000e+01 | 76.36%
1784.88/1784.90 c 1785s| 1610k| 32 |655689 | 0.0 | 82M| 68 | - |1000 | 37k| 0 | 0 | 28k|2619 | 29 |-2.410690e+02 |-5.700000e+01 | 76.36%
1786.40/1786.43 c 1786s| 1620k| 34 |655689 | 0.0 | 82M| 68 | - |1000 | 37k| 0 | 0 | 28k|2634 | 29 |-2.410690e+02 |-5.700000e+01 | 76.36%
1787.78/1787.87 c 1788s| 1630k| 30 |655689 | 0.0 | 82M| 68 | - |1000 | 37k| 0 | 0 | 28k|2643 | 29 |-2.410690e+02 |-5.700000e+01 | 76.36%
1789.28/1789.34 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1789.28/1789.34 c 1789s| 1640k| 33 |655689 | 0.0 | 82M| 68 | - |1000 | 37k| 0 | 0 | 28k|2651 | 29 |-2.410690e+02 |-5.700000e+01 | 76.36%
1790.80/1790.85 c 1791s| 1650k| 32 |655689 | 0.0 | 82M| 68 | - |1000 | 37k| 0 | 0 | 28k|2669 | 29 |-2.410690e+02 |-5.700000e+01 | 76.36%
1792.28/1792.31 c 1792s| 1660k| 29 |655689 | 0.0 | 82M| 68 | - |1000 | 37k| 0 | 0 | 28k|2688 | 29 |-2.410690e+02 |-5.700000e+01 | 76.36%
1793.58/1793.67 c 1794s| 1670k| 34 |655689 | 0.0 | 82M| 68 | - |1000 | 37k| 0 | 0 | 28k|2701 | 29 |-2.410690e+02 |-5.700000e+01 | 76.36%
1794.98/1795.03 c 1795s| 1680k| 33 |655689 | 0.0 | 82M| 68 | - |1000 | 37k| 0 | 0 | 28k|2710 | 29 |-2.410690e+02 |-5.700000e+01 | 76.36%
1796.30/1796.36 c 1796s| 1690k| 33 |655689 | 0.0 | 82M| 68 | - |1000 | 37k| 0 | 0 | 28k|2725 | 29 |-2.410690e+02 |-5.700000e+01 | 76.36%
1797.78/1797.81 c 1798s| 1700k| 32 |655689 | 0.0 | 82M| 68 | - |1000 | 37k| 0 | 0 | 28k|2746 | 29 |-2.410690e+02 |-5.700000e+01 | 76.36%
1799.18/1799.24 c 1799s| 1710k| 33 |655689 | 0.0 | 82M| 68 | - |1000 | 37k| 0 | 0 | 28k|2755 | 29 |-2.410690e+02 |-5.700000e+01 | 76.36%
1799.98/1800.00 c
1799.98/1800.00 c SCIP Status : solving was interrupted [time limit reached]
1799.98/1800.00 c Solving Time (sec) : 1800.00
1799.98/1800.00 c Solving Nodes : 1715128
1799.98/1800.00 c Primal Bound : -5.70000000000000e+01 (50 solutions)
1799.98/1800.00 c Dual Bound : -2.41068967851250e+02
1799.98/1800.00 c Gap : 76.36 %
1799.98/1800.00 s SATISFIABLE
1799.98/1800.00 v x1000 -x999 -x998 -x997 -x996 -x995 -x994 -x993 -x992 x991 -x990 -x989 -x988 -x987 -x986 -x985 -x984 -x983 -x982 -x981 -x980 -x979
1799.98/1800.00 v -x978 -x977 -x976 -x975 -x974 -x973 -x972 -x971 -x970 -x969 -x968 -x967 -x966 -x965 -x964 -x963 -x962 -x961 -x960 -x959 -x958
1799.98/1800.00 v -x957 -x956 -x955 -x954 -x953 -x952 -x951 -x950 -x949 -x948 -x947 -x946 -x945 -x944 -x943 -x942 -x941 -x940 -x939 -x938
1799.98/1800.00 v -x937 -x936 -x935 -x934 -x933 -x932 -x931 x930 x929 -x928 -x927 -x926 -x925 -x924 -x923 -x922 -x921 -x920 -x919 -x918 -x917 -x916
1799.98/1800.00 v -x915 -x914 -x913 -x912 -x911 -x910 -x909 -x908 -x907 -x906 -x905 -x904 -x903 -x902 -x901 -x900 -x899 -x898 -x897 -x896
1799.98/1800.00 v -x895 -x894 -x893 -x892 -x891 -x890 -x889 -x888 -x887 -x886 -x885 -x884 -x883 -x882 -x881 x880 -x879 -x878 x877 -x876 -x875 -x874
1799.98/1800.00 v -x873 -x872 -x871 -x870 -x869 -x868 -x867 -x866 -x865 -x864 -x863 -x862 -x861 -x860 -x859 -x858 x857 -x856 -x855 x854 -x853
1799.98/1800.00 v -x852 -x851 -x850 -x849 -x848 -x847 -x846 -x845 -x844 -x843 -x842 -x841 -x840 -x839 -x838 -x837 -x836 -x835 -x834 -x833 -x832
1799.98/1800.00 v -x831 -x830 -x829 -x828 x827 -x826 -x825 -x824 -x823 -x822 -x821 -x820 -x819 -x818 -x817 -x816 -x815 -x814 -x813 -x812 -x811
1799.98/1800.00 v -x810 -x809 -x808 -x807 -x806 -x805 -x804 -x803 -x802 -x801 -x800 -x799 -x798 -x797 -x796 -x795 -x794 -x793 -x792 -x791
1799.98/1800.00 v -x790 -x789 -x788 -x787 -x786 -x785 -x784 -x783 -x782 -x781 -x780 -x779 -x778 -x777 -x776 -x775 -x774 -x773 -x772 -x771 -x770
1799.98/1800.00 v -x769 x768 -x767 -x766 -x765 -x764 -x763 -x762 -x761 -x760 -x759 -x758 -x757 -x756 -x755 x754 -x753 -x752 -x751 -x750 -x749
1799.98/1800.00 v -x748 -x747 -x746 -x745 -x744 -x743 -x742 -x741 -x740 -x739 -x738 -x737 -x736 -x735 -x734 -x733 -x732 -x731 -x730 -x729 -x728
1799.98/1800.00 v -x727 x726 -x725 -x724 -x723 -x722 -x721 x720 -x719 -x718 -x717 -x716 -x715 -x714 -x713 -x712 -x711 -x710 -x709 -x708 -x707
1799.98/1800.00 v -x706 -x705 -x704 -x703 -x702 -x701 -x700 -x699 -x698 -x697 -x696 x695 -x694 -x693 -x692 -x691 x690 -x689 -x688 -x687 -x686 -x685
1799.98/1800.00 v -x684 x683 -x682 -x681 -x680 -x679 -x678 -x677 -x676 -x675 -x674 -x673 -x672 -x671 -x670 -x669 -x668 -x667 -x666 -x665 -x664
1799.98/1800.00 v -x663 x662 -x661 -x660 -x659 -x658 -x657 -x656 -x655 -x654 -x653 -x652 -x651 -x650 -x649 -x648 -x647 -x646 -x645 -x644 -x643
1799.98/1800.00 v -x642 -x641 -x640 -x639 -x638 -x637 -x636 -x635 -x634 -x633 -x632 -x631 -x630 -x629 -x628 -x627 -x626 -x625 -x624 -x623
1799.98/1800.00 v -x622 -x621 -x620 -x619 -x618 x617 -x616 -x615 -x614 -x613 -x612 -x611 -x610 -x609 -x608 -x607 -x606 x605 -x604 -x603 -x602 -x601
1799.98/1800.00 v -x600 -x599 -x598 -x597 -x596 -x595 -x594 -x593 -x592 -x591 -x590 -x589 -x588 -x587 -x586 -x585 -x584 -x583 -x582 -x581
1799.98/1800.00 v -x580 -x579 -x578 x577 -x576 -x575 -x574 -x573 -x572 -x571 x570 -x569 -x568 -x567 x566 -x565 -x564 -x563 x562 -x561 -x560 -x559
1799.98/1800.00 v -x558 -x557 -x556 -x555 -x554 -x553 -x552 -x551 -x550 -x549 -x548 -x547 -x546 -x545 -x544 -x543 -x542 -x541 -x540 -x539 -x538
1799.98/1800.00 v -x537 -x536 -x535 -x534 -x533 -x532 -x531 -x530 -x529 -x528 -x527 -x526 -x525 -x524 x523 -x522 -x521 -x520 -x519 -x518 -x517
1799.98/1800.00 v -x516 -x515 -x514 -x513 -x512 -x511 -x510 -x509 -x508 -x507 -x506 -x505 -x504 -x503 -x502 -x501 -x500 x499 -x498 -x497 -x496
1799.98/1800.00 v -x495 -x494 -x493 -x492 -x491 -x490 -x489 -x488 -x487 -x486 -x485 -x484 -x483 -x482 -x481 -x480 -x479 -x478 -x477 -x476 -x475
1799.98/1800.00 v -x474 -x473 -x472 -x471 -x470 -x469 x468 -x467 -x466 -x465 -x464 -x463 -x462 -x461 -x460 -x459 -x458 -x457 -x456 -x455 x454
1799.98/1800.00 v -x453 -x452 -x451 -x450 -x449 -x448 -x447 -x446 -x445 -x444 x443 -x442 -x441 -x440 -x439 x438 -x437 -x436 -x435 -x434 -x433
1799.98/1800.00 v -x432 -x431 -x430 -x429 -x428 -x427 -x426 -x425 x424 -x423 -x422 -x421 -x420 -x419 -x418 -x417 -x416 -x415 -x414 -x413 -x412
1799.98/1800.00 v -x411 -x410 -x409 -x408 -x407 -x406 -x405 -x404 -x403 -x402 -x401 -x400 -x399 -x398 -x397 -x396 -x395 x394 -x393 -x392 -x391
1799.98/1800.00 v -x390 -x389 -x388 -x387 -x386 -x385 -x384 -x383 -x382 -x381 -x380 -x379 -x378 -x377 -x376 -x375 -x374 -x373 -x372 -x371 -x370
1799.98/1800.00 v -x369 -x368 x367 -x366 -x365 -x364 -x363 -x362 -x361 -x360 -x359 -x358 -x357 -x356 -x355 -x354 -x353 -x352 -x351 -x350 -x349
1799.98/1800.00 v -x348 -x347 -x346 -x345 -x344 -x343 -x342 -x341 -x340 -x339 -x338 -x337 -x336 -x335 x334 -x333 -x332 -x331 -x330 -x329 -x328
1799.98/1800.00 v -x327 -x326 -x325 -x324 -x323 -x322 -x321 -x320 -x319 -x318 -x317 -x316 -x315 -x314 -x313 -x312 -x311 -x310 -x309 -x308 -x307
1799.98/1800.00 v -x306 -x305 -x304 -x303 -x302 -x301 -x300 -x299 -x298 -x297 -x296 -x295 -x294 -x293 -x292 -x291 -x290 -x289 -x288 -x287
1799.98/1800.00 v -x286 -x285 -x284 -x283 -x282 -x281 -x280 -x279 -x278 -x277 -x276 -x275 -x274 -x273 -x272 -x271 -x270 -x269 -x268 -x267 -x266
1799.98/1800.00 v -x265 -x264 -x263 -x262 -x261 -x260 -x259 -x258 -x257 -x256 -x255 -x254 -x253 -x252 -x251 -x250 -x249 -x248 -x247 -x246 -x245
1799.98/1800.00 v -x244 -x243 -x242 -x241 -x240 -x239 -x238 -x237 -x236 -x235 -x234 -x233 -x232 -x231 -x230 -x229 -x228 -x227 -x226 -x225 -x224
1799.98/1800.00 v -x223 x222 -x221 -x220 -x219 -x218 -x217 -x216 x215 -x214 -x213 -x212 -x211 -x210 -x209 -x208 -x207 -x206 -x205 -x204 -x203
1799.98/1800.00 v -x202 -x201 -x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189 -x188 -x187 -x186 -x185 -x184 -x183 -x182
1799.98/1800.00 v -x181 -x180 -x179 -x178 -x177 -x176 x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168 -x167 -x166 -x165 -x164 -x163 -x162 -x161
1799.98/1800.00 v -x160 -x159 -x158 x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147 -x146 -x145 -x144 x143 -x142 -x141 -x140
1799.98/1800.00 v -x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126 -x125 -x124 -x123 -x122 -x121 -x120 -x119
1799.98/1800.00 v -x118 -x117 -x116 -x115 -x114 x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105 -x104 -x103 -x102 -x101 x100 -x99 -x98
1799.98/1800.00 v -x97 -x96 -x95 -x94 -x93 -x92 -x91 -x90 -x89 -x88 -x87 -x86 -x85 -x84 -x83 -x82 -x81 -x80 -x79 -x78 -x77 -x76 -x75 -x74 -x73
1799.98/1800.00 v -x72 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
1799.98/1800.00 v -x46 -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
1799.98/1800.00 v -x19 -x18 -x17 x16 -x15 x14 -x13 -x12 -x11 -x10 -x9 -x8 -x7 x6 x5 x4 -x3 x2 -x1
1799.98/1800.00 c SCIP Status : solving was interrupted [time limit reached]
1799.98/1800.00 c Total Time : 1800.00
1799.98/1800.00 c solving : 1800.00
1799.98/1800.00 c presolving : 0.93 (included in solving)
1799.98/1800.00 c reading : 0.10 (included in solving)
1799.98/1800.00 c Original Problem :
1799.98/1800.00 c Problem name : HOME/instance-3452350-1307109000.opb
1799.98/1800.00 c Variables : 1000 (1000 binary, 0 integer, 0 implicit integer, 0 continuous)
1799.98/1800.00 c Constraints : 1000 initial, 1000 maximal
1799.98/1800.00 c Presolved Problem :
1799.98/1800.00 c Problem name : t_HOME/instance-3452350-1307109000.opb
1799.98/1800.00 c Variables : 1000 (1000 binary, 0 integer, 0 implicit integer, 0 continuous)
1799.98/1800.00 c Constraints : 37742 initial, 37749 maximal
1799.98/1800.00 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1799.98/1800.00 c trivial : 0.00 0 0 0 0 0 0 0 0 0
1799.98/1800.01 c dualfix : 0.00 0 0 0 0 0 0 0 0 0
1799.98/1800.01 c boundshift : 0.00 0 0 0 0 0 0 0 0 0
1799.98/1800.01 c inttobinary : 0.00 0 0 0 0 0 0 0 0 0
1799.98/1800.01 c implics : 0.00 0 0 0 0 0 0 0 0 0
1799.98/1800.01 c probing : 0.17 0 0 0 0 0 0 0 0 0
1799.98/1800.01 c and : 0.38 0 0 0 0 0 0 0 0 0
1799.98/1800.01 c linear : 0.10 37742 0 0 37742 0 1000 0 0 0
1799.98/1800.01 c logicor : 0.06 0 0 0 0 0 0 0 0 0
1799.98/1800.01 c root node : - 0 - - 0 - - - - -
1799.98/1800.01 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS #Check #Resprop Cutoffs DomReds Cuts Conss Children
1799.98/1800.01 c integral : 0 0 0 1 0 60 0 0 0 0 0 2
1799.98/1800.01 c logicor : 37742+ 368 1702851 0 4 56 7985350 8598 3002730 35197 0 0
1799.98/1800.01 c countsols : 0 0 0 0 4 48 0 0 0 0 0 0
1799.98/1800.01 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS Check Resprop
1799.98/1800.01 c integral : 22.08 0.00 0.00 22.08 0.00 0.00 0.00
1799.98/1800.01 c logicor : 35.09 3.15 30.67 0.00 0.03 0.15 1.09
1799.98/1800.01 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1799.98/1800.01 c Propagators : #Propagate #Resprop Cutoffs DomReds
1799.98/1800.01 c vbounds : 0 0 0 0
1799.98/1800.01 c rootredcost : 4 0 0 0
1799.98/1800.01 c pseudoobj : 2866488 14706 758420 1533643
1799.98/1800.01 c Propagator Timings : TotalTime Propagate Resprop
1799.98/1800.01 c vbounds : 0.36 0.36 0.00
1799.98/1800.01 c rootredcost : 0.42 0.42 0.00
1799.98/1800.01 c pseudoobj : 92.84 91.87 0.98
1799.98/1800.01 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1799.98/1800.01 c propagation : 4.27 8598 2760 2760 46.7 0 0.0 -
1799.98/1800.01 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1799.98/1800.01 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1799.98/1800.01 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1799.98/1800.01 c pseudo solution : 77.54 89396 0 0 0.0 0 0.0 -
1799.98/1800.01 c applied globally : - - - 2760 46.7 - - -
1799.98/1800.01 c applied locally : - - - 0 0.0 - - -
1799.98/1800.01 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1799.98/1800.01 c cut pool : 1.12 367 - - 6042 - (maximal pool size: 17734)
1799.98/1800.01 c redcost : 0.01 368 0 0 0 0
1799.98/1800.01 c impliedbounds : 0.50 365 0 0 26855 0
1799.98/1800.01 c intobj : 0.00 0 0 0 0 0
1799.98/1800.01 c gomory : 1136.11 364 0 0 78311 0
1799.98/1800.01 c cgmip : 0.00 0 0 0 0 0
1799.98/1800.01 c closecuts : 0.00 0 0 0 0 0
1799.98/1800.01 c strongcg : 1.90 20 0 0 10000 0
1799.98/1800.01 c cmir : 1.36 10 0 0 0 0
1799.98/1800.01 c flowcover : 1.23 10 0 0 0 0
1799.98/1800.01 c clique : 17.61 364 0 0 3391 0
1799.98/1800.01 c zerohalf : 0.00 0 0 0 0 0
1799.98/1800.01 c mcf : 0.03 1 0 0 0 0
1799.98/1800.01 c oddcycle : 0.00 0 0 0 0 0
1799.98/1800.01 c rapidlearning : 0.00 0 0 0 0 0
1799.98/1800.01 c Pricers : Time Calls Vars
1799.98/1800.01 c problem variables: 0.00 0 0
1799.98/1800.01 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1799.98/1800.01 c relpscost : 22.08 1 0 0 0 0 2
1799.98/1800.01 c pscost : 0.00 0 0 0 0 0 0
1799.98/1800.01 c inference : 3.95 860188 0 0 0 0 1720376
1799.98/1800.01 c mostinf : 0.00 0 0 0 0 0 0
1799.98/1800.01 c leastinf : 0.00 0 0 0 0 0 0
1799.98/1800.01 c fullstrong : 0.00 0 0 0 0 0 0
1799.98/1800.01 c allfullstrong : 0.00 0 0 0 0 0 0
1799.98/1800.01 c random : 0.00 0 0 0 0 0 0
1799.98/1800.01 c Primal Heuristics : Time Calls Found
1799.98/1800.01 c LP solutions : 0.00 - 0
1799.98/1800.01 c pseudo solutions : 0.00 - 4
1799.98/1800.01 c crossover : 0.00 0 0
1799.98/1800.01 c oneopt : 0.52 2 1
1799.98/1800.01 c trivial : 0.02 2 1
1799.98/1800.01 c shiftandpropagate: 0.00 0 0
1799.98/1800.01 c simplerounding : 0.20 369 42
1799.98/1800.01 c zirounding : 0.00 1 0
1799.98/1800.01 c rounding : 9.81 369 1
1799.98/1800.01 c shifting : 9.84 369 1
1799.98/1800.01 c intshifting : 0.00 0 0
1799.98/1800.01 c twoopt : 0.00 0 0
1799.98/1800.01 c fixandinfer : 0.00 0 0
1799.98/1800.01 c feaspump : 0.00 0 0
1799.98/1800.01 c clique : 0.00 0 0
1799.98/1800.01 c coefdiving : 0.00 0 0
1799.98/1800.01 c pscostdiving : 0.00 0 0
1799.98/1800.01 c fracdiving : 0.00 0 0
1799.98/1800.01 c veclendiving : 0.00 0 0
1799.98/1800.01 c intdiving : 0.00 0 0
1799.98/1800.01 c actconsdiving : 0.00 0 0
1799.98/1800.01 c objpscostdiving : 0.00 0 0
1799.98/1800.01 c rootsoldiving : 0.00 0 0
1799.98/1800.01 c linesearchdiving : 0.00 0 0
1799.98/1800.01 c guideddiving : 0.00 0 0
1799.98/1800.01 c octane : 0.00 0 0
1799.98/1800.01 c rens : 0.01 0 0
1799.98/1800.01 c rins : 0.00 0 0
1799.98/1800.01 c localbranching : 0.00 0 0
1799.98/1800.01 c mutation : 0.00 0 0
1799.98/1800.01 c dins : 0.00 0 0
1799.98/1800.01 c vbounds : 0.00 0 0
1799.98/1800.01 c undercover : 0.00 0 0
1799.98/1800.01 c subnlp : 0.19 0 0
1799.98/1800.01 c trysol : 0.15 0 0
1799.98/1800.01 c LP : Time Calls Iterations Iter/call Iter/sec
1799.98/1800.01 c primal LP : 1.24 0 0 0.00 0.00
1799.98/1800.01 c dual LP : 338.25 369 655689 1776.93 1938.48
1799.98/1800.01 c lex dual LP : 0.00 0 0 0.00 -
1799.98/1800.01 c barrier LP : 0.00 0 0 0.00 -
1799.98/1800.01 c diving/probing LP: 0.00 0 0 0.00 -
1799.98/1800.01 c strong branching : 22.08 29 29000 1000.00 1313.56
1799.98/1800.01 c (at root node) : - 29 29000 1000.00 -
1799.98/1800.01 c conflict analysis: 0.00 0 0 0.00 -
1799.98/1800.01 c B&B Tree :
1799.98/1800.01 c number of runs : 1
1799.98/1800.01 c nodes : 1715128
1799.98/1800.01 c nodes (total) : 1715128
1799.98/1800.01 c nodes left : 31
1799.98/1800.01 c max depth : 68
1799.98/1800.01 c max depth (total): 68
1799.98/1800.01 c backtracks : 340713 (19.9%)
1799.98/1800.01 c delayed cutoffs : 1554
1799.98/1800.01 c repropagations : 2022 (7589 domain reductions, 1479 cutoffs)
1799.98/1800.01 c avg switch length: 2.00
1799.98/1800.01 c switching time : 23.57
1799.98/1800.01 c Solution :
1799.98/1800.01 c Solutions found : 50 (8 improvements)
1799.98/1800.01 c First Solution : +0.00000000000000e+00 (in run 1, after 0 nodes, 0.28 seconds, depth 0, found by <trivial>)
1799.98/1800.01 c Primal Bound : -5.70000000000000e+01 (in run 1, after 1077471 nodes, 1711.47 seconds, depth 67, found by <relaxation>)
1799.98/1800.01 c Dual Bound : -2.41068967851250e+02
1799.98/1800.01 c Gap : 76.36 %
1799.98/1800.01 c Root Dual Bound : -2.41068967851250e+02
1799.98/1800.01 c Root Iterations : 655689
1800.08/1800.11 c Time complete: 1800.09.
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 977)
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-3452350-1307109000/watcher-3452350-1307109000 -o /tmp/evaluation-result-3452350-1307109000/solver-3452350-1307109000 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4.linux.x86_64.gnu.opt.spx -f HOME/instance-3452350-1307109000.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: 0.93 1.39 1.73 1/459 7214
/proc/meminfo: memFree=30105412/32950928 swapFree=45617076/67111528
[pid=7214] ppid=7212 vsize=10992 CPUtime=0 cores=0,2,4,6
/proc/7214/stat : 7214 (scip-2.0.1.4.li) R 7212 7214 5789 0 -1 4202496 1745 0 0 0 0 0 0 0 22 0 1 0 822499802 11255808 1698 33554432000 4194304 9128323 140736113762272 18446744073709551615 6886064 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/7214/statm: 2748 1698 401 1205 0 1539 0
[startup+0.093941 s]
/proc/loadavg: 0.93 1.39 1.73 1/459 7214
/proc/meminfo: memFree=30105412/32950928 swapFree=45617076/67111528
[pid=7214] ppid=7212 vsize=16208 CPUtime=0.09 cores=0,2,4,6
/proc/7214/stat : 7214 (scip-2.0.1.4.li) R 7212 7214 5789 0 -1 4202496 3073 0 0 0 9 0 0 0 22 0 1 0 822499802 16596992 3026 33554432000 4194304 9128323 140736113762272 18446744073709551615 6191647 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/7214/statm: 4052 3026 401 1205 0 2843 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 16208
[startup+0.100939 s]
/proc/loadavg: 0.93 1.39 1.73 1/459 7214
/proc/meminfo: memFree=30105412/32950928 swapFree=45617076/67111528
[pid=7214] ppid=7212 vsize=20028 CPUtime=0.09 cores=0,2,4,6
/proc/7214/stat : 7214 (scip-2.0.1.4.li) R 7212 7214 5789 0 -1 4202496 3927 0 0 0 9 0 0 0 22 0 1 0 822499802 20508672 3879 33554432000 4194304 9128323 140736113762272 18446744073709551615 6886064 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/7214/statm: 5007 3899 432 1205 0 3798 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 20028
[startup+0.30097 s]
/proc/loadavg: 0.93 1.39 1.73 1/459 7214
/proc/meminfo: memFree=30105412/32950928 swapFree=45617076/67111528
[pid=7214] ppid=7212 vsize=91924 CPUtime=0.29 cores=0,2,4,6
/proc/7214/stat : 7214 (scip-2.0.1.4.li) R 7212 7214 5789 0 -1 4202496 21413 0 0 0 27 2 0 0 23 0 1 0 822499802 94130176 20910 33554432000 4194304 9128323 140736113762272 18446744073709551615 6522768 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/7214/statm: 22981 20910 481 1205 0 21772 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 91924
[startup+0.700894 s]
/proc/loadavg: 0.93 1.39 1.73 1/459 7214
/proc/meminfo: memFree=30105412/32950928 swapFree=45617076/67111528
[pid=7214] ppid=7212 vsize=106908 CPUtime=0.69 cores=0,2,4,6
/proc/7214/stat : 7214 (scip-2.0.1.4.li) R 7212 7214 5789 0 -1 4202496 26104 0 0 0 67 2 0 0 25 0 1 0 822499802 109473792 24670 33554432000 4194304 9128323 140736113762272 18446744073709551615 4815824 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/7214/statm: 26727 24670 519 1205 0 25518 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 106908
[startup+1.50076 s]
/proc/loadavg: 0.93 1.39 1.73 3/465 7225
/proc/meminfo: memFree=29940916/32950928 swapFree=45617076/67111528
[pid=7214] ppid=7212 vsize=171904 CPUtime=1.49 cores=0,2,4,6
/proc/7214/stat : 7214 (scip-2.0.1.4.li) R 7212 7214 5789 0 -1 4202496 43734 0 0 0 146 3 0 0 25 0 1 0 822499802 176029696 39423 33554432000 4194304 9128323 140736113762272 18446744073709551615 6941927 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/7214/statm: 42976 39423 873 1205 0 41767 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 171904
[startup+3.10036 s]
/proc/loadavg: 0.93 1.39 1.73 3/465 7225
/proc/meminfo: memFree=29884372/32950928 swapFree=45617076/67111528
[pid=7214] ppid=7212 vsize=171952 CPUtime=3.09 cores=0,2,4,6
/proc/7214/stat : 7214 (scip-2.0.1.4.li) R 7212 7214 5789 0 -1 4202496 47050 0 0 0 306 3 0 0 25 0 1 0 822499802 176078848 40097 33554432000 4194304 9128323 140736113762272 18446744073709551615 8008900 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/7214/statm: 42988 40097 730 1205 0 41779 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 171952
[startup+6.30091 s]
/proc/loadavg: 1.01 1.40 1.73 3/465 7225
/proc/meminfo: memFree=29851796/32950928 swapFree=45617076/67111528
[pid=7214] ppid=7212 vsize=173676 CPUtime=6.29 cores=0,2,4,6
/proc/7214/stat : 7214 (scip-2.0.1.4.li) R 7212 7214 5789 0 -1 4202496 48185 0 0 0 625 4 0 0 25 0 1 0 822499802 177844224 41232 33554432000 4194304 9128323 140736113762272 18446744073709551615 7315477 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/7214/statm: 43419 41232 732 1205 0 42210 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 173676
[startup+12.7008 s]
/proc/loadavg: 1.09 1.41 1.73 3/465 7225
/proc/meminfo: memFree=29831620/32950928 swapFree=45617076/67111528
[pid=7214] ppid=7212 vsize=182920 CPUtime=12.66 cores=0,2,4,6
/proc/7214/stat : 7214 (scip-2.0.1.4.li) R 7212 7214 5789 0 -1 4202496 49848 0 0 0 1260 6 0 0 25 0 1 0 822499802 187310080 42893 33554432000 4194304 9128323 140736113762272 18446744073709551615 8012623 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/7214/statm: 45730 42893 730 1205 0 44521 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 182920
[startup+25.5005 s]
/proc/loadavg: 1.29 1.44 1.73 3/465 7225
/proc/meminfo: memFree=29818272/32950928 swapFree=45617076/67111528
[pid=7214] ppid=7212 vsize=191748 CPUtime=25.46 cores=0,2,4,6
/proc/7214/stat : 7214 (scip-2.0.1.4.li) R 7212 7214 5789 0 -1 4202496 53214 0 0 0 2534 12 0 0 25 0 1 0 822499802 196349952 46050 33554432000 4194304 9128323 140736113762272 18446744073709551615 4347135 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/7214/statm: 47937 46050 707 1205 0 46728 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 191748
[startup+51.101 s]
/proc/loadavg: 1.53 1.48 1.74 3/465 7226
/proc/meminfo: memFree=29799904/32950928 swapFree=45617076/67111528
[pid=7214] ppid=7212 vsize=212832 CPUtime=51.05 cores=0,2,4,6
/proc/7214/stat : 7214 (scip-2.0.1.4.li) R 7212 7214 5789 0 -1 4202496 58034 0 0 0 5082 23 0 0 25 0 1 0 822499802 217939968 50678 33554432000 4194304 9128323 140736113762272 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/7214/statm: 53208 50678 671 1205 0 51999 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 212832
[startup+102.317 s]
/proc/loadavg: 1.80 1.56 1.75 3/465 7228
/proc/meminfo: memFree=29762284/32950928 swapFree=45617076/67111528
[pid=7214] ppid=7212 vsize=248396 CPUtime=102.27 cores=0,2,4,6
/proc/7214/stat : 7214 (scip-2.0.1.4.li) R 7212 7214 5789 0 -1 4202496 66920 0 0 0 10180 47 0 0 25 0 1 0 822499802 254357504 59479 33554432000 4194304 9128323 140736113762272 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/7214/statm: 62099 59479 686 1205 0 60890 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 248396
[startup+162.3 s]
/proc/loadavg: 1.92 1.64 1.76 3/465 7229
/proc/meminfo: memFree=29761708/32950928 swapFree=45617076/67111528
[pid=7214] ppid=7212 vsize=248396 CPUtime=162.25 cores=0,2,4,6
/proc/7214/stat : 7214 (scip-2.0.1.4.li) R 7212 7214 5789 0 -1 4202496 66940 0 0 0 16157 68 0 0 25 0 1 0 822499802 254357504 59484 33554432000 4194304 9128323 140736113762272 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/7214/statm: 62099 59484 671 1205 0 60890 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 248396
[startup+222.301 s]
/proc/loadavg: 1.97 1.70 1.77 3/465 7231
/proc/meminfo: memFree=29762356/32950928 swapFree=45617076/67111528
[pid=7214] ppid=7212 vsize=249864 CPUtime=222.25 cores=0,2,4,6
/proc/7214/stat : 7214 (scip-2.0.1.4.li) R 7212 7214 5789 0 -1 4202496 66940 0 0 0 22137 88 0 0 25 0 1 0 822499802 255860736 59484 33554432000 4194304 9128323 140736113762272 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/7214/statm: 62466 59484 671 1205 0 61257 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 249864
[startup+282.301 s]
/proc/loadavg: 2.04 1.77 1.79 3/465 7232
/proc/meminfo: memFree=29764032/32950928 swapFree=45617076/67111528
[pid=7214] ppid=7212 vsize=249864 CPUtime=282.26 cores=0,2,4,6
/proc/7214/stat : 7214 (scip-2.0.1.4.li) R 7212 7214 5789 0 -1 4202496 66941 0 0 0 28119 107 0 0 25 0 1 0 822499802 255860736 59485 33554432000 4194304 9128323 140736113762272 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/7214/statm: 62466 59485 671 1205 0 61257 0
Current children cumulated CPU time (s) 282.26
Current children cumulated vsize (KiB) 249864
[startup+342.301 s]
/proc/loadavg: 2.08 1.83 1.81 3/465 7234
/proc/meminfo: memFree=29764104/32950928 swapFree=45617076/67111528
[pid=7214] ppid=7212 vsize=249864 CPUtime=342.26 cores=0,2,4,6
/proc/7214/stat : 7214 (scip-2.0.1.4.li) R 7212 7214 5789 0 -1 4202496 66941 0 0 0 34100 126 0 0 25 0 1 0 822499802 255860736 59485 33554432000 4194304 9128323 140736113762272 18446744073709551615 6701365 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/7214/statm: 62466 59485 671 1205 0 61257 0
Current children cumulated CPU time (s) 342.26
Current children cumulated vsize (KiB) 249864
[startup+402.301 s]
/proc/loadavg: 2.06 1.88 1.82 3/465 7235
/proc/meminfo: memFree=29763540/32950928 swapFree=45617076/67111528
[pid=7214] ppid=7212 vsize=249864 CPUtime=402.26 cores=0,2,4,6
/proc/7214/stat : 7214 (scip-2.0.1.4.li) R 7212 7214 5789 0 -1 4202496 67090 0 0 0 40081 145 0 0 25 0 1 0 822499802 255860736 59634 33554432000 4194304 9128323 140736113762272 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/7214/statm: 62466 59634 671 1205 0 61257 0
Current children cumulated CPU time (s) 402.26
Current children cumulated vsize (KiB) 249864
[startup+462.3 s]
/proc/loadavg: 2.02 1.89 1.83 3/465 7237
/proc/meminfo: memFree=29763488/32950928 swapFree=45617076/67111528
[pid=7214] ppid=7212 vsize=249864 CPUtime=462.26 cores=0,2,4,6
/proc/7214/stat : 7214 (scip-2.0.1.4.li) R 7212 7214 5789 0 -1 4202496 67090 0 0 0 46066 160 0 0 25 0 1 0 822499802 255860736 59634 33554432000 4194304 9128323 140736113762272 18446744073709551615 6637216 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/7214/statm: 62466 59634 671 1205 0 61257 0
Current children cumulated CPU time (s) 462.26
Current children cumulated vsize (KiB) 249864
[startup+522.301 s]
/proc/loadavg: 2.01 1.91 1.84 3/465 7239
/proc/meminfo: memFree=29763820/32950928 swapFree=45617076/67111528
[pid=7214] ppid=7212 vsize=249864 CPUtime=522.26 cores=0,2,4,6
/proc/7214/stat : 7214 (scip-2.0.1.4.li) R 7212 7214 5789 0 -1 4202496 67090 0 0 0 52047 179 0 0 25 0 1 0 822499802 255860736 59634 33554432000 4194304 9128323 140736113762272 18446744073709551615 7018574 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/7214/statm: 62466 59634 671 1205 0 61257 0
Current children cumulated CPU time (s) 522.26
Current children cumulated vsize (KiB) 249864
[startup+582.301 s]
/proc/loadavg: 2.00 1.92 1.84 3/465 7240
/proc/meminfo: memFree=29763896/32950928 swapFree=45617076/67111528
[pid=7214] ppid=7212 vsize=249864 CPUtime=582.27 cores=0,2,4,6
/proc/7214/stat : 7214 (scip-2.0.1.4.li) R 7212 7214 5789 0 -1 4202496 67090 0 0 0 58033 194 0 0 25 0 1 0 822499802 255860736 59634 33554432000 4194304 9128323 140736113762272 18446744073709551615 6482080 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/7214/statm: 62466 59634 671 1205 0 61257 0
Current children cumulated CPU time (s) 582.27
Current children cumulated vsize (KiB) 249864
[startup+642.301 s]
################
# More data... #
################
[startup+882.301 s]
/proc/loadavg: 2.05 1.99 1.88 3/465 7260
/proc/meminfo: memFree=29761428/32950928 swapFree=45617076/67111528
[pid=7214] ppid=7212 vsize=250228 CPUtime=882.26 cores=0,2,4,6
/proc/7214/stat : 7214 (scip-2.0.1.4.li) R 7212 7214 5789 0 -1 4202496 67182 0 0 0 87965 261 0 0 25 0 1 0 822499802 256233472 59726 33554432000 4194304 9128323 140736113762272 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/7214/statm: 62557 59726 671 1205 0 61348 0
Current children cumulated CPU time (s) 882.26
Current children cumulated vsize (KiB) 250228
[startup+942.3 s]
/proc/loadavg: 2.11 2.02 1.90 3/465 7262
/proc/meminfo: memFree=29761944/32950928 swapFree=45617076/67111528
[pid=7214] ppid=7212 vsize=250664 CPUtime=942.27 cores=0,2,4,6
/proc/7214/stat : 7214 (scip-2.0.1.4.li) R 7212 7214 5789 0 -1 4202496 67290 0 0 0 93953 274 0 0 25 0 1 0 822499802 256679936 59834 33554432000 4194304 9128323 140736113762272 18446744073709551615 6631073 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/7214/statm: 62666 59834 671 1205 0 61457 0
Current children cumulated CPU time (s) 942.27
Current children cumulated vsize (KiB) 250664
[startup+1002.3 s]
/proc/loadavg: 2.04 2.01 1.90 3/465 7264
/proc/meminfo: memFree=29761772/32950928 swapFree=45617076/67111528
[pid=7214] ppid=7212 vsize=250664 CPUtime=1002.27 cores=0,2,4,6
/proc/7214/stat : 7214 (scip-2.0.1.4.li) R 7212 7214 5789 0 -1 4202496 67291 0 0 0 99939 288 0 0 25 0 1 0 822499802 256679936 59835 33554432000 4194304 9128323 140736113762272 18446744073709551615 7414868 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/7214/statm: 62666 59835 671 1205 0 61457 0
Current children cumulated CPU time (s) 1002.27
Current children cumulated vsize (KiB) 250664
[startup+1062.3 s]
/proc/loadavg: 2.01 2.01 1.91 3/465 7265
/proc/meminfo: memFree=29761620/32950928 swapFree=45617076/67111528
[pid=7214] ppid=7212 vsize=250860 CPUtime=1062.27 cores=0,2,4,6
/proc/7214/stat : 7214 (scip-2.0.1.4.li) R 7212 7214 5789 0 -1 4202496 67340 0 0 0 105926 301 0 0 25 0 1 0 822499802 256880640 59884 33554432000 4194304 9128323 140736113762272 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/7214/statm: 62715 59884 671 1205 0 61506 0
Current children cumulated CPU time (s) 1062.27
Current children cumulated vsize (KiB) 250860
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/465 7267
/proc/meminfo: memFree=29761560/32950928 swapFree=45617076/67111528
[pid=7214] ppid=7212 vsize=250860 CPUtime=1122.28 cores=0,2,4,6
/proc/7214/stat : 7214 (scip-2.0.1.4.li) R 7212 7214 5789 0 -1 4202496 67340 0 0 0 111915 313 0 0 25 0 1 0 822499802 256880640 59884 33554432000 4194304 9128323 140736113762272 18446744073709551615 7414736 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/7214/statm: 62715 59884 671 1205 0 61506 0
Current children cumulated CPU time (s) 1122.28
Current children cumulated vsize (KiB) 250860
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/465 7268
/proc/meminfo: memFree=29760996/32950928 swapFree=45617076/67111528
[pid=7214] ppid=7212 vsize=250860 CPUtime=1182.28 cores=0,2,4,6
/proc/7214/stat : 7214 (scip-2.0.1.4.li) R 7212 7214 5789 0 -1 4202496 67340 0 0 0 117901 327 0 0 25 0 1 0 822499802 256880640 59884 33554432000 4194304 9128323 140736113762272 18446744073709551615 6700136 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/7214/statm: 62715 59884 671 1205 0 61506 0
Current children cumulated CPU time (s) 1182.28
Current children cumulated vsize (KiB) 250860
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/465 7270
/proc/meminfo: memFree=29760052/32950928 swapFree=45617076/67111528
[pid=7214] ppid=7212 vsize=250860 CPUtime=1242.28 cores=0,2,4,6
/proc/7214/stat : 7214 (scip-2.0.1.4.li) R 7212 7214 5789 0 -1 4202496 67340 0 0 0 123889 339 0 0 25 0 1 0 822499802 256880640 59884 33554432000 4194304 9128323 140736113762272 18446744073709551615 7021573 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/7214/statm: 62715 59884 671 1205 0 61506 0
Current children cumulated CPU time (s) 1242.28
Current children cumulated vsize (KiB) 250860
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/465 7272
/proc/meminfo: memFree=29760140/32950928 swapFree=45617076/67111528
[pid=7214] ppid=7212 vsize=250860 CPUtime=1302.28 cores=0,2,4,6
/proc/7214/stat : 7214 (scip-2.0.1.4.li) R 7212 7214 5789 0 -1 4202496 67340 0 0 0 129876 352 0 0 25 0 1 0 822499802 256880640 59884 33554432000 4194304 9128323 140736113762272 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/7214/statm: 62715 59884 671 1205 0 61506 0
Current children cumulated CPU time (s) 1302.28
Current children cumulated vsize (KiB) 250860
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/465 7273
/proc/meminfo: memFree=29760328/32950928 swapFree=45617076/67111528
[pid=7214] ppid=7212 vsize=250860 CPUtime=1362.28 cores=0,2,4,6
/proc/7214/stat : 7214 (scip-2.0.1.4.li) R 7212 7214 5789 0 -1 4202496 67340 0 0 0 135863 365 0 0 25 0 1 0 822499802 256880640 59884 33554432000 4194304 9128323 140736113762272 18446744073709551615 7018482 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/7214/statm: 62715 59884 671 1205 0 61506 0
Current children cumulated CPU time (s) 1362.28
Current children cumulated vsize (KiB) 250860
[startup+1422.32 s]
/proc/loadavg: 2.04 2.01 1.91 3/465 7275
/proc/meminfo: memFree=29761244/32950928 swapFree=45617076/67111528
[pid=7214] ppid=7212 vsize=250860 CPUtime=1422.29 cores=0,2,4,6
/proc/7214/stat : 7214 (scip-2.0.1.4.li) R 7212 7214 5789 0 -1 4202496 67340 0 0 0 141851 378 0 0 25 0 1 0 822499802 256880640 59884 33554432000 4194304 9128323 140736113762272 18446744073709551615 6695070 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/7214/statm: 62715 59884 671 1205 0 61506 0
Current children cumulated CPU time (s) 1422.29
Current children cumulated vsize (KiB) 250860
[startup+1482.3 s]
/proc/loadavg: 2.11 2.04 1.93 3/465 7276
/proc/meminfo: memFree=29760928/32950928 swapFree=45617076/67111528
[pid=7214] ppid=7212 vsize=250860 CPUtime=1482.28 cores=0,2,4,6
/proc/7214/stat : 7214 (scip-2.0.1.4.li) R 7212 7214 5789 0 -1 4202496 67340 0 0 0 147834 394 0 0 25 0 1 0 822499802 256880640 59884 33554432000 4194304 9128323 140736113762272 18446744073709551615 6637216 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/7214/statm: 62715 59884 671 1205 0 61506 0
Current children cumulated CPU time (s) 1482.28
Current children cumulated vsize (KiB) 250860
[startup+1542.3 s]
/proc/loadavg: 2.04 2.03 1.93 3/465 7278
/proc/meminfo: memFree=29758504/32950928 swapFree=45617076/67111528
[pid=7214] ppid=7212 vsize=253412 CPUtime=1542.27 cores=0,2,4,6
/proc/7214/stat : 7214 (scip-2.0.1.4.li) R 7212 7214 5789 0 -1 4202496 68041 0 0 0 153818 409 0 0 25 0 1 0 822499802 259493888 60569 33554432000 4194304 9128323 140736113762272 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/7214/statm: 63353 60569 693 1205 0 62144 0
Current children cumulated CPU time (s) 1542.27
Current children cumulated vsize (KiB) 253412
[startup+1602.3 s]
/proc/loadavg: 2.01 2.02 1.93 3/465 7280
/proc/meminfo: memFree=29758284/32950928 swapFree=45617076/67111528
[pid=7214] ppid=7212 vsize=253412 CPUtime=1602.28 cores=0,2,4,6
/proc/7214/stat : 7214 (scip-2.0.1.4.li) R 7212 7214 5789 0 -1 4202496 68054 0 0 0 159817 411 0 0 25 0 1 0 822499802 259493888 60582 33554432000 4194304 9128323 140736113762272 18446744073709551615 6525252 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/7214/statm: 63353 60582 706 1205 0 62144 0
Current children cumulated CPU time (s) 1602.28
Current children cumulated vsize (KiB) 253412
[startup+1662.3 s]
/proc/loadavg: 2.00 2.02 1.93 3/465 7281
/proc/meminfo: memFree=29758192/32950928 swapFree=45617076/67111528
[pid=7214] ppid=7212 vsize=253412 CPUtime=1662.28 cores=0,2,4,6
/proc/7214/stat : 7214 (scip-2.0.1.4.li) R 7212 7214 5789 0 -1 4202496 68054 0 0 0 165817 411 0 0 25 0 1 0 822499802 259493888 60582 33554432000 4194304 9128323 140736113762272 18446744073709551615 4911808 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/7214/statm: 63353 60582 706 1205 0 62144 0
Current children cumulated CPU time (s) 1662.28
Current children cumulated vsize (KiB) 253412
[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 1.93 3/465 7283
/proc/meminfo: memFree=29757988/32950928 swapFree=45617076/67111528
[pid=7214] ppid=7212 vsize=253412 CPUtime=1722.28 cores=0,2,4,6
/proc/7214/stat : 7214 (scip-2.0.1.4.li) R 7212 7214 5789 0 -1 4202496 68054 0 0 0 171817 411 0 0 25 0 1 0 822499802 259493888 60582 33554432000 4194304 9128323 140736113762272 18446744073709551615 4209278 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/7214/statm: 63353 60582 706 1205 0 62144 0
Current children cumulated CPU time (s) 1722.28
Current children cumulated vsize (KiB) 253412
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/465 7284
/proc/meminfo: memFree=29756028/32950928 swapFree=45617076/67111528
[pid=7214] ppid=7212 vsize=253412 CPUtime=1782.28 cores=0,2,4,6
/proc/7214/stat : 7214 (scip-2.0.1.4.li) R 7212 7214 5789 0 -1 4202496 68054 0 0 0 177817 411 0 0 25 0 1 0 822499802 259493888 60582 33554432000 4194304 9128323 140736113762272 18446744073709551615 5984439 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/7214/statm: 63353 60582 706 1205 0 62144 0
Current children cumulated CPU time (s) 1782.28
Current children cumulated vsize (KiB) 253412
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.1 s]
/proc/loadavg: 2.00 2.00 1.93 3/465 7285
/proc/meminfo: memFree=29805732/32950928 swapFree=45617076/67111528
[pid=7214] ppid=7212 vsize=73504 CPUtime=1800.08 cores=0,2,4,6
/proc/7214/stat : 7214 (scip-2.0.1.4.li) R 7212 7214 5789 0 -1 4202496 68061 0 0 0 179597 411 0 0 25 0 1 0 822499802 75268096 16818 33554432000 4194304 9128323 140736113762272 18446744073709551615 8231418 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/7214/statm: 18376 16818 713 1205 0 17167 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 73504
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1800.1 s]
/proc/loadavg: 2.00 2.00 1.93 3/465 7285
/proc/meminfo: memFree=29805732/32950928 swapFree=45617076/67111528
[pid=7214] ppid=7212 vsize=73504 CPUtime=1800.08 cores=0,2,4,6
/proc/7214/stat : 7214 (scip-2.0.1.4.li) R 7212 7214 5789 0 -1 4202496 68061 0 0 0 179597 411 0 0 25 0 1 0 822499802 75268096 16818 33554432000 4194304 9128323 140736113762272 18446744073709551615 8231418 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/7214/statm: 18376 16818 713 1205 0 17167 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 73504
Child status: 0
Real time (s): 1800.12
CPU time (s): 1800.1
CPU user time (s): 1795.98
CPU system time (s): 4.12137
CPU usage (%): 99.9988
Max. virtual memory (cumulated for all children) (KiB): 253412
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1795.98
system time used= 4.12137
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 68063
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= 5
involuntary context switches= 3365
runsolver used 8.34973 second user time and 17.9303 second system time
The end