0.00/0.00 c SCIP version 2.0.1.4 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.5.0.5]
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-3485124-1307783255.opb>
0.00/0.06 c original problem has 1000 variables (1000 bin, 0 int, 0 impl, 0 cont) and 1000 constraints
0.00/0.06 c problem read
0.00/0.06 c presolving settings loaded
0.19/0.26 o 0
0.19/0.26 c feasible solution found by trivial heuristic, objective value 0.000000e+00
0.19/0.26 c presolving:
0.59/0.68 c (round 1) 37647 del vars, 1000 del conss, 0 add conss, 37647 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 150588 impls, 0 clqs
0.79/0.81 c (round 2) 37647 del vars, 1000 del conss, 0 add conss, 37647 chg bounds, 0 chg sides, 0 chg coeffs, 37647 upgd conss, 225882 impls, 0 clqs
0.89/0.99 c (1.0s) probing: 101/1000 (10.1%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.89/0.99 c (1.0s) probing aborted: 100/100 successive totally useless probings
0.89/0.99 c presolving (3 rounds):
0.89/0.99 c 37647 deleted vars, 1000 deleted constraints, 0 added constraints, 37647 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.89/0.99 c 225882 implications, 0 cliques
0.89/0.99 c presolved problem has 1000 variables (1000 bin, 0 int, 0 impl, 0 cont) and 37647 constraints
0.89/0.99 c 37647 constraints of type <logicor>
0.89/0.99 c transformed objective value is always integral (scale: 1)
0.89/0.99 c Presolving Time: 0.92
0.89/0.99 c - non default parameters ----------------------------------------------------------------------
0.89/0.99 c # SCIP version 2.0.1.4
0.89/0.99 c
0.89/0.99 c # maximal number of intermediate conflict constraints generated in conflict graph (-1: use every intermediate constraint)
0.89/0.99 c # [type: int, range: [-1,2147483647], default: -1]
0.89/0.99 c conflict/interconss = 0
0.89/0.99 c
0.89/0.99 c # should binary conflicts be preferred?
0.89/0.99 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.89/0.99 c conflict/preferbinary = TRUE
0.89/0.99 c
0.89/0.99 c # maximum age an unnecessary constraint can reach before it is deleted (0: dynamic, -1: keep all constraints)
0.89/0.99 c # [type: int, range: [-1,2147483647], default: 0]
0.89/0.99 c constraints/agelimit = 1
0.89/0.99 c
0.89/0.99 c # should enforcement of pseudo solution be disabled?
0.89/0.99 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.89/0.99 c constraints/disableenfops = TRUE
0.89/0.99 c
0.89/0.99 c # frequency for displaying node information lines
0.89/0.99 c # [type: int, range: [-1,2147483647], default: 100]
0.89/0.99 c display/freq = 10000
0.89/0.99 c
0.89/0.99 c # maximal time in seconds to run
0.89/0.99 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.89/0.99 c limits/time = 1797
0.89/0.99 c
0.89/0.99 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.89/0.99 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.89/0.99 c limits/memory = 13950
0.89/0.99 c
0.89/0.99 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.89/0.99 c # [type: int, range: [1,2], default: 1]
0.89/0.99 c timing/clocktype = 2
0.89/0.99 c
0.89/0.99 c # belongs reading time to solving time?
0.89/0.99 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.89/0.99 c timing/reading = TRUE
0.89/0.99 c
0.89/0.99 c # should presolving try to simplify inequalities
0.89/0.99 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.89/0.99 c constraints/linear/simplifyinequalities = TRUE
0.89/0.99 c
0.89/0.99 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.89/0.99 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.89/0.99 c constraints/indicator/addCouplingCons = TRUE
0.89/0.99 c
0.89/0.99 c # should presolving try to simplify knapsacks
0.89/0.99 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.89/0.99 c constraints/knapsack/simplifyinequalities = TRUE
0.89/0.99 c
0.89/0.99 c -----------------------------------------------------------------------------------------------
0.89/0.99 c start solving
0.89/0.99 c
1.49/1.50 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.50 c t 1.5s| 1 | 0 | 1030 | - | 77M| 0 |1000 |1000 | 37k|1000 | 37k| 0 | 0 | 0 |-5.000000e+02 | 0.000000e+00 | 100.00%
1.49/1.54 o -1
1.49/1.54 c R 1.5s| 1 | 0 | 1030 | - | 77M| 0 |1000 |1000 | 37k|1000 | 37k| 0 | 0 | 0 |-5.000000e+02 |-1.000000e+00 | 99.80%
1.49/1.57 o -2
1.49/1.57 c s 1.6s| 1 | 0 | 1030 | - | 77M| 0 |1000 |1000 | 37k|1000 | 37k| 0 | 0 | 0 |-5.000000e+02 |-2.000000e+00 | 99.60%
2.20/2.24 c 2.2s| 1 | 0 | 1222 | - | 77M| 0 | 989 |1000 | 37k|1000 | 37k| 8 | 0 | 0 |-4.945000e+02 |-2.000000e+00 | 99.60%
2.20/2.25 o -51
2.20/2.25 c b 2.3s| 1 | 0 | 1222 | - | 77M| 0 | 989 |1000 | 37k|1000 | 37k| 8 | 0 | 0 |-4.945000e+02 |-5.100000e+01 | 89.69%
2.89/2.93 c 2.9s| 1 | 0 | 1366 | - | 77M| 0 | 981 |1000 | 37k|1000 | 37k| 15 | 0 | 0 |-4.905000e+02 |-5.100000e+01 | 89.60%
3.59/3.62 c 3.6s| 1 | 0 | 1448 | - | 77M| 0 | 974 |1000 | 37k|1000 | 37k| 22 | 0 | 0 |-4.870000e+02 |-5.100000e+01 | 89.53%
4.40/4.49 c 4.5s| 1 | 0 | 1737 | - | 77M| 0 | 966 |1000 | 37k|1000 | 37k| 31 | 0 | 0 |-4.830000e+02 |-5.100000e+01 | 89.44%
5.59/5.64 c 5.6s| 1 | 0 | 2290 | - | 77M| 0 | 955 |1000 | 37k|1000 | 37k| 44 | 0 | 0 |-4.775000e+02 |-5.100000e+01 | 89.32%
6.60/6.65 c 6.7s| 1 | 0 | 2637 | - | 77M| 0 | 947 |1000 | 37k|1000 | 37k| 56 | 0 | 0 |-4.735000e+02 |-5.100000e+01 | 89.23%
7.69/7.71 c 7.7s| 1 | 0 | 3082 | - | 78M| 0 | 940 |1000 | 37k|1000 | 37k| 67 | 0 | 0 |-4.695000e+02 |-5.100000e+01 | 89.14%
9.09/9.15 c 9.2s| 1 | 0 | 3992 | - | 78M| 0 | 932 |1000 | 37k|1000 | 37k| 77 | 0 | 0 |-4.660000e+02 |-5.100000e+01 | 89.06%
10.90/10.95 c 11.0s| 1 | 0 | 5046 | - | 78M| 0 | 927 |1000 | 37k|1000 | 37k| 87 | 0 | 0 |-4.620000e+02 |-5.100000e+01 | 88.96%
12.19/12.27 c 12.3s| 1 | 0 | 5457 | - | 79M| 0 | 915 |1000 | 37k|1000 | 37k| 99 | 0 | 0 |-4.575000e+02 |-5.100000e+01 | 88.85%
13.29/13.35 c 13.4s| 1 | 0 | 6061 | - | 79M| 0 | 909 |1000 | 37k|1000 |1739 | 110 | 0 | 0 |-4.535000e+02 |-5.100000e+01 | 88.75%
13.59/13.65 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
13.59/13.65 c 13.6s| 1 | 0 | 7202 | - | 80M| 0 | 897 |1000 | 37k|1000 |1751 | 122 | 0 | 0 |-4.512500e+02 |-5.100000e+01 | 88.70%
13.99/14.01 c 14.0s| 1 | 0 | 7868 | - | 80M| 0 | 897 |1000 | 37k|1000 |2346 | 717 | 0 | 0 |-4.485000e+02 |-5.100000e+01 | 88.63%
14.19/14.26 c 14.3s| 1 | 0 | 8517 | - | 80M| 0 | 885 |1000 | 37k|1000 |2353 | 724 | 0 | 0 |-4.465000e+02 |-5.100000e+01 | 88.58%
14.49/14.50 c 14.5s| 1 | 0 | 8942 | - | 80M| 0 | 886 |1000 | 37k|1000 |2600 | 971 | 0 | 0 |-4.440000e+02 |-5.100000e+01 | 88.51%
14.89/14.90 c 14.9s| 1 | 0 | 10620 | - | 80M| 0 | 875 |1000 | 37k|1000 |2663 |1034 | 0 | 0 |-4.405000e+02 |-5.100000e+01 | 88.42%
15.09/15.15 c 15.1s| 1 | 0 | 11208 | - | 81M| 0 | 867 |1000 | 37k|1000 |2415 |1216 | 0 | 0 |-4.395000e+02 |-5.100000e+01 | 88.40%
15.49/15.54 c 15.5s| 1 | 0 | 12489 | - | 81M| 0 | 886 |1000 | 37k|1000 |3013 |1814 | 0 | 0 |-4.377500e+02 |-5.100000e+01 | 88.35%
16.29/16.35 c 16.4s| 1 | 0 | 12555 | - | 83M| 0 | 877 |1000 | 37k|1000 |5013 |3814 | 0 | 0 |-4.371250e+02 |-5.100000e+01 | 88.33%
16.59/16.67 c 16.7s| 1 | 0 | 13471 | - | 83M| 0 | 861 |1000 | 37k|1000 |5027 |3828 | 0 | 0 |-4.340000e+02 |-5.100000e+01 | 88.25%
17.19/17.25 c 17.3s| 1 | 0 | 15668 | - | 84M| 0 | 856 |1000 | 37k|1000 |5316 |4117 | 0 | 0 |-4.310000e+02 |-5.100000e+01 | 88.17%
17.39/17.50 c 17.5s| 1 | 0 | 16127 | - | 84M| 0 | 876 |1000 | 37k|1000 |5498 |4299 | 0 | 0 |-4.305000e+02 |-5.100000e+01 | 88.15%
17.79/17.87 c 17.9s| 1 | 0 | 16972 | - | 84M| 0 | 851 |1000 | 37k|1000 |4618 |4381 | 0 | 0 |-4.285000e+02 |-5.100000e+01 | 88.10%
18.29/18.36 c 18.4s| 1 | 0 | 18543 | - | 85M| 0 | 851 |1000 | 37k|1000 |4835 |4598 | 0 | 0 |-4.267500e+02 |-5.100000e+01 | 88.05%
18.60/18.66 c 18.7s| 1 | 0 | 19521 | - | 85M| 0 | 839 |1000 | 37k|1000 |4975 |4738 | 0 | 0 |-4.255000e+02 |-5.100000e+01 | 88.01%
19.09/19.18 c 19.2s| 1 | 0 | 21684 | - | 85M| 0 | 849 |1000 | 37k|1000 |5355 |5118 | 0 | 0 |-4.235000e+02 |-5.100000e+01 | 87.96%
19.69/19.70 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
19.69/19.70 c 19.7s| 1 | 0 | 23676 | - | 85M| 0 | 878 |1000 | 37k|1000 |5482 |5245 | 0 | 0 |-4.218889e+02 |-5.100000e+01 | 87.91%
20.29/20.36 c 20.4s| 1 | 0 | 23866 | - | 85M| 0 | 851 |1000 | 37k|1000 |7482 |7245 | 0 | 0 |-4.215000e+02 |-5.100000e+01 | 87.90%
20.80/20.83 c 20.8s| 1 | 0 | 25154 | - | 86M| 0 | 837 |1000 | 37k|1000 |4486 |7258 | 0 | 0 |-4.175000e+02 |-5.100000e+01 | 87.78%
21.09/21.13 c 21.1s| 1 | 0 | 26033 | - | 87M| 0 | 829 |1000 | 37k|1000 |4541 |7313 | 0 | 0 |-4.155000e+02 |-5.100000e+01 | 87.73%
21.49/21.50 c 21.5s| 1 | 0 | 27427 | - | 87M| 0 | 827 |1000 | 37k|1000 |4598 |7370 | 0 | 0 |-4.135000e+02 |-5.100000e+01 | 87.67%
21.69/21.70 c 21.7s| 1 | 0 | 27738 | - | 87M| 0 | 808 |1000 | 37k|1000 |4605 |7377 | 0 | 0 |-4.130000e+02 |-5.100000e+01 | 87.65%
22.09/22.17 c 22.2s| 1 | 0 | 29417 | - | 88M| 0 | 815 |1000 | 37k|1000 |5107 |7879 | 0 | 0 |-4.102500e+02 |-5.100000e+01 | 87.57%
22.49/22.52 c 22.5s| 1 | 0 | 30526 | - | 88M| 0 | 817 |1000 | 37k|1000 |5393 |8165 | 0 | 0 |-4.092500e+02 |-5.100000e+01 | 87.54%
23.00/23.05 c 23.1s| 1 | 0 | 32252 | - | 88M| 0 | 822 |1000 | 37k|1000 |4520 |8418 | 0 | 0 |-4.072500e+02 |-5.100000e+01 | 87.48%
23.39/23.47 c 23.5s| 1 | 0 | 33594 | - | 88M| 0 | 804 |1000 | 37k|1000 |4856 |8754 | 0 | 0 |-4.055000e+02 |-5.100000e+01 | 87.42%
23.99/24.00 c 24.0s| 1 | 0 | 35192 | - | 89M| 0 | 807 |1000 | 37k|1000 |5108 |9006 | 0 | 0 |-4.035000e+02 |-5.100000e+01 | 87.36%
24.49/24.57 c 24.6s| 1 | 0 | 36800 | - | 89M| 0 | 796 |1000 | 37k|1000 |5535 |9433 | 0 | 0 |-4.010000e+02 |-5.100000e+01 | 87.28%
25.39/25.44 c 25.4s| 1 | 0 | 40756 | - | 90M| 0 | 808 |1000 | 37k|1000 |5714 |9612 | 0 | 0 |-4.002500e+02 |-5.100000e+01 | 87.26%
26.19/26.24 c 26.2s| 1 | 0 | 43765 | - | 90M| 0 | 866 |1000 | 37k|1000 |6162 | 10k| 0 | 0 |-3.985312e+02 |-5.100000e+01 | 87.20%
27.09/27.13 c 27.1s| 1 | 0 | 43919 | - | 90M| 0 | 810 |1000 | 37k|1000 |7277 | 12k| 0 | 0 |-3.985000e+02 |-5.100000e+01 | 87.20%
27.59/27.68 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
27.59/27.68 c 27.7s| 1 | 0 | 45543 | - | 91M| 0 | 797 |1000 | 37k|1000 |7284 | 12k| 0 | 0 |-3.967500e+02 |-5.100000e+01 | 87.15%
27.89/27.99 c 28.0s| 1 | 0 | 46045 | - | 91M| 0 | 791 |1000 | 37k|1000 |7420 | 12k| 0 | 0 |-3.955000e+02 |-5.100000e+01 | 87.10%
28.49/28.55 c 28.5s| 1 | 0 | 47288 | - | 91M| 0 | 785 |1000 | 37k|1000 |7430 | 12k| 0 | 0 |-3.935000e+02 |-5.100000e+01 | 87.04%
29.50/29.56 c 29.6s| 1 | 0 | 48510 | - | 92M| 0 | 794 |1000 | 37k|1000 |7495 | 12k| 0 | 0 |-3.920000e+02 |-5.100000e+01 | 86.99%
29.89/29.92 c 29.9s| 1 | 0 | 49142 | - | 92M| 0 | 798 |1000 | 37k|1000 |7507 | 12k| 0 | 0 |-3.900000e+02 |-5.100000e+01 | 86.92%
30.80/30.85 c 30.9s| 1 | 0 | 51970 | - | 93M| 0 | 754 |1000 | 37k|1000 |6006 | 12k| 0 | 0 |-3.865000e+02 |-5.100000e+01 | 86.80%
31.19/31.21 c 31.2s| 1 | 0 | 52874 | - | 94M| 0 | 766 |1000 | 37k|1000 |6613 | 12k| 0 | 0 |-3.850000e+02 |-5.100000e+01 | 86.75%
31.80/31.82 c 31.8s| 1 | 0 | 54669 | - | 94M| 0 | 768 |1000 | 37k|1000 |6712 | 13k| 0 | 0 |-3.840000e+02 |-5.100000e+01 | 86.72%
32.40/32.46 c 32.5s| 1 | 0 | 56864 | - | 94M| 0 | 757 |1000 | 37k|1000 |6722 | 13k| 0 | 0 |-3.825000e+02 |-5.100000e+01 | 86.67%
32.69/32.76 c 32.8s| 1 | 0 | 57470 | - | 94M| 0 | 760 |1000 | 37k|1000 |6944 | 13k| 0 | 0 |-3.810000e+02 |-5.100000e+01 | 86.61%
33.09/33.14 c 33.1s| 1 | 0 | 58285 | - | 94M| 0 | 772 |1000 | 37k|1000 |7001 | 13k| 0 | 0 |-3.800000e+02 |-5.100000e+01 | 86.58%
33.89/33.95 c 34.0s| 1 | 0 | 60910 | - | 95M| 0 | 791 |1000 | 37k|1000 |5660 | 13k| 0 | 0 |-3.785000e+02 |-5.100000e+01 | 86.53%
34.99/35.05 c 35.1s| 1 | 0 | 65012 | - | 95M| 0 | 749 |1000 | 37k|1000 |5829 | 13k| 0 | 0 |-3.765000e+02 |-5.100000e+01 | 86.45%
35.79/35.88 c 35.9s| 1 | 0 | 68163 | - | 95M| 0 | 753 |1000 | 37k|1000 |5937 | 13k| 0 | 0 |-3.750000e+02 |-5.100000e+01 | 86.40%
36.79/36.86 c 36.9s| 1 | 0 | 71792 | - | 96M| 0 | 745 |1000 | 37k|1000 |6045 | 13k| 0 | 0 |-3.735000e+02 |-5.100000e+01 | 86.35%
37.19/37.22 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
37.19/37.22 c 37.2s| 1 | 0 | 72679 | - | 96M| 0 | 740 |1000 | 37k|1000 |6110 | 13k| 0 | 0 |-3.730000e+02 |-5.100000e+01 | 86.33%
37.79/37.88 c 37.9s| 1 | 0 | 74972 | - | 96M| 0 | 746 |1000 | 37k|1000 |6252 | 13k| 0 | 0 |-3.725000e+02 |-5.100000e+01 | 86.31%
38.99/39.06 c 39.1s| 1 | 0 | 79603 | - | 97M| 0 | 779 |1000 | 37k|1000 |5509 | 14k| 0 | 0 |-3.707143e+02 |-5.100000e+01 | 86.24%
39.59/39.69 c 39.7s| 1 | 0 | 81581 | - | 97M| 0 | 755 |1000 | 37k|1000 |6050 | 14k| 0 | 0 |-3.695000e+02 |-5.100000e+01 | 86.20%
39.89/39.92 c 39.9s| 1 | 0 | 81986 | - | 97M| 0 | 772 |1000 | 37k|1000 |6118 | 14k| 0 | 0 |-3.690000e+02 |-5.100000e+01 | 86.18%
41.50/41.59 c 41.6s| 1 | 0 | 88382 | - | 99M| 0 | 730 |1000 | 37k|1000 |6464 | 15k| 0 | 0 |-3.670000e+02 |-5.100000e+01 | 86.10%
41.89/41.95 c 42.0s| 1 | 0 | 89329 | - | 99M| 0 | 738 |1000 | 37k|1000 |6649 | 15k| 0 | 0 |-3.665000e+02 |-5.100000e+01 | 86.08%
42.59/42.64 c 42.6s| 1 | 0 | 91640 | - | 100M| 0 | 726 |1000 | 37k|1000 |6666 | 15k| 0 | 0 |-3.655000e+02 |-5.100000e+01 | 86.05%
43.09/43.17 c 43.2s| 1 | 0 | 93149 | - | 100M| 0 | 747 |1000 | 37k|1000 |6417 | 15k| 0 | 0 |-3.652000e+02 |-5.100000e+01 | 86.04%
43.59/43.69 c 43.7s| 1 | 0 | 94917 | - | 100M| 0 | 753 |1000 | 37k|1000 |6466 | 15k| 0 | 0 |-3.642500e+02 |-5.100000e+01 | 86.00%
44.19/44.24 c 44.2s| 1 | 0 | 96631 | - | 100M| 0 | 749 |1000 | 37k|1000 |6815 | 15k| 0 | 0 |-3.637500e+02 |-5.100000e+01 | 85.98%
45.39/45.49 c 45.5s| 1 | 0 |100776 | - | 101M| 0 | 765 |1000 | 37k|1000 |6931 | 15k| 0 | 0 |-3.631875e+02 |-5.100000e+01 | 85.96%
46.29/46.35 c 46.4s| 1 | 0 |103493 | - | 101M| 0 | 774 |1000 | 37k|1000 |7134 | 16k| 0 | 0 |-3.619444e+02 |-5.100000e+01 | 85.91%
47.69/47.77 c 47.8s| 1 | 0 |108652 | - | 102M| 0 | 799 |1000 | 37k|1000 |7287 | 16k| 0 | 0 |-3.610465e+02 |-5.100000e+01 | 85.87%
48.80/48.80 c 48.8s| 1 | 0 |111257 | - | 103M| 0 | 793 |1000 | 37k|1000 |6648 | 16k| 0 | 0 |-3.592619e+02 |-5.100000e+01 | 85.80%
50.39/50.41 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
50.39/50.41 c 50.4s| 1 | 0 |115907 | - | 106M| 0 | 775 |1000 | 37k|1000 |6830 | 16k| 0 | 0 |-3.554375e+02 |-5.100000e+01 | 85.65%
51.39/51.41 c 51.4s| 1 | 0 |118235 | - | 109M| 0 | 767 |1000 | 37k|1000 |7197 | 17k| 0 | 0 |-3.534000e+02 |-5.100000e+01 | 85.57%
52.19/52.22 c 52.2s| 1 | 0 |120337 | - | 110M| 0 | 769 |1000 | 37k|1000 |7210 | 17k| 0 | 0 |-3.523462e+02 |-5.100000e+01 | 85.53%
52.90/52.93 c 52.9s| 1 | 0 |121963 | - | 111M| 0 | 775 |1000 | 37k|1000 |7258 | 17k| 0 | 0 |-3.515000e+02 |-5.100000e+01 | 85.49%
53.99/54.03 c 54.0s| 1 | 0 |125053 | - | 113M| 0 | 769 |1000 | 37k|1000 |7394 | 17k| 0 | 0 |-3.501410e+02 |-5.100000e+01 | 85.43%
55.19/55.20 c 55.2s| 1 | 0 |127851 | - | 114M| 0 | 811 |1000 | 37k|1000 |6498 | 17k| 0 | 0 |-3.490402e+02 |-5.100000e+01 | 85.39%
56.39/56.47 c 56.5s| 1 | 0 |130664 | - | 114M| 0 | 758 |1000 | 37k|1000 |6805 | 17k| 0 | 0 |-3.470000e+02 |-5.100000e+01 | 85.30%
58.09/58.18 c 58.2s| 1 | 0 |136518 | - | 115M| 0 | 754 |1000 | 37k|1000 |6915 | 17k| 0 | 0 |-3.442963e+02 |-5.100000e+01 | 85.19%
58.69/58.77 c 58.8s| 1 | 0 |137945 | - | 117M| 0 | 738 |1000 | 37k|1000 |6932 | 17k| 0 | 0 |-3.433889e+02 |-5.100000e+01 | 85.15%
59.79/59.82 c 59.8s| 1 | 0 |141421 | - | 118M| 0 | 741 |1000 | 37k|1000 |7019 | 17k| 0 | 0 |-3.420531e+02 |-5.100000e+01 | 85.09%
60.40/60.48 c 60.5s| 1 | 0 |143017 | - | 119M| 0 | 730 |1000 | 37k|1000 |7031 | 17k| 0 | 0 |-3.412613e+02 |-5.100000e+01 | 85.06%
61.50/61.60 c 61.6s| 1 | 0 |146101 | - | 119M| 0 | 764 |1000 | 37k|1000 |6083 | 17k| 0 | 0 |-3.400000e+02 |-5.100000e+01 | 85.00%
63.19/63.28 c 63.3s| 1 | 0 |152267 | - | 120M| 0 | 846 |1000 | 37k|1000 |6132 | 18k| 0 | 0 |-3.388401e+02 |-5.100000e+01 | 84.95%
64.09/64.14 c 64.1s| 1 | 0 |153597 | - | 121M| 0 | 782 |1000 | 37k|1000 |8132 | 20k| 0 | 0 |-3.384833e+02 |-5.100000e+01 | 84.93%
65.09/65.16 c 65.2s| 1 | 0 |155661 | - | 121M| 0 | 787 |1000 | 37k|1000 |8147 | 20k| 0 | 0 |-3.373801e+02 |-5.100000e+01 | 84.88%
66.00/66.09 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
66.00/66.09 c 66.1s| 1 | 0 |157339 | - | 121M| 0 | 779 |1000 | 37k|1000 |8196 | 20k| 0 | 0 |-3.360798e+02 |-5.100000e+01 | 84.83%
67.00/67.01 c 67.0s| 1 | 0 |159299 | - | 124M| 0 | 795 |1000 | 37k|1000 |8213 | 20k| 0 | 0 |-3.349383e+02 |-5.100000e+01 | 84.77%
67.89/67.91 c 67.9s| 1 | 0 |161044 | - | 125M| 0 | 771 |1000 | 37k|1000 |7745 | 20k| 0 | 0 |-3.335385e+02 |-5.100000e+01 | 84.71%
68.49/68.52 c 68.5s| 1 | 0 |162126 | - | 127M| 0 | 774 |1000 | 37k|1000 |7825 | 20k| 0 | 0 |-3.330373e+02 |-5.100000e+01 | 84.69%
69.50/69.58 c 69.6s| 1 | 0 |164596 | - | 129M| 0 | 783 |1000 | 37k|1000 |7884 | 20k| 0 | 0 |-3.320234e+02 |-5.100000e+01 | 84.64%
70.59/70.69 c 70.7s| 1 | 0 |167037 | - | 131M| 0 | 798 |1000 | 37k|1000 |7900 | 20k| 0 | 0 |-3.313899e+02 |-5.100000e+01 | 84.61%
71.70/71.70 c 71.7s| 1 | 0 |168690 | - | 131M| 0 | 813 |1000 | 37k|1000 |7911 | 20k| 0 | 0 |-3.304205e+02 |-5.100000e+01 | 84.57%
73.29/73.34 c 73.3s| 1 | 0 |171491 | - | 131M| 0 | 804 |1000 | 37k|1000 |7971 | 20k| 0 | 0 |-3.294099e+02 |-5.100000e+01 | 84.52%
74.29/74.36 c 74.4s| 1 | 0 |172919 | - | 131M| 0 | 809 |1000 | 37k|1000 |6709 | 20k| 0 | 0 |-3.286288e+02 |-5.100000e+01 | 84.48%
74.99/75.01 c 75.0s| 1 | 0 |173851 | - | 132M| 0 | 825 |1000 | 37k|1000 |6718 | 20k| 0 | 0 |-3.284441e+02 |-5.100000e+01 | 84.47%
76.39/76.43 c 76.4s| 1 | 0 |176262 | - | 132M| 0 | 815 |1000 | 37k|1000 |6791 | 20k| 0 | 0 |-3.277372e+02 |-5.100000e+01 | 84.44%
78.29/78.32 c 78.3s| 1 | 0 |180538 | - | 132M| 0 | 812 |1000 | 37k|1000 |6806 | 20k| 0 | 0 |-3.265228e+02 |-5.100000e+01 | 84.38%
79.50/79.53 c 79.5s| 1 | 0 |182597 | - | 132M| 0 | 819 |1000 | 37k|1000 |6817 | 20k| 0 | 0 |-3.259946e+02 |-5.100000e+01 | 84.36%
80.89/80.93 c 80.9s| 1 | 0 |184828 | - | 132M| 0 | 813 |1000 | 37k|1000 |6909 | 20k| 0 | 0 |-3.251904e+02 |-5.100000e+01 | 84.32%
82.89/82.96 c 83.0s| 1 | 0 |189017 | - | 132M| 0 | 804 |1000 | 37k|1000 |6724 | 20k| 0 | 0 |-3.235010e+02 |-5.100000e+01 | 84.23%
84.60/84.62 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
84.60/84.62 c 84.6s| 1 | 0 |192484 | - | 132M| 0 | 806 |1000 | 37k|1000 |6820 | 20k| 0 | 0 |-3.223176e+02 |-5.100000e+01 | 84.18%
85.90/85.99 c 86.0s| 1 | 0 |194922 | - | 132M| 0 | 830 |1000 | 37k|1000 |6836 | 20k| 0 | 0 |-3.213221e+02 |-5.100000e+01 | 84.13%
87.60/87.63 c 87.6s| 1 | 0 |198041 | - | 132M| 0 | 807 |1000 | 37k|1000 |6954 | 20k| 0 | 0 |-3.194506e+02 |-5.100000e+01 | 84.04%
89.10/89.12 c 89.1s| 1 | 0 |201054 | - | 132M| 0 | 821 |1000 | 37k|1000 |7011 | 20k| 0 | 0 |-3.179308e+02 |-5.100000e+01 | 83.96%
90.99/91.04 c 91.0s| 1 | 0 |205043 | - | 132M| 0 | 787 |1000 | 37k|1000 |7065 | 20k| 0 | 0 |-3.158024e+02 |-5.100000e+01 | 83.85%
92.30/92.38 c 92.4s| 1 | 0 |207752 | - | 132M| 0 | 791 |1000 | 37k|1000 |6917 | 21k| 0 | 0 |-3.144622e+02 |-5.100000e+01 | 83.78%
93.89/93.97 c 94.0s| 1 | 0 |211506 | - | 133M| 0 | 804 |1000 | 37k|1000 |6995 | 21k| 0 | 0 |-3.126807e+02 |-5.100000e+01 | 83.69%
94.89/94.99 c 95.0s| 1 | 0 |213108 | - | 133M| 0 | 815 |1000 | 37k|1000 |7044 | 21k| 0 | 0 |-3.122345e+02 |-5.100000e+01 | 83.67%
96.09/96.19 c 96.2s| 1 | 0 |215049 | - | 133M| 0 | 814 |1000 | 37k|1000 |7101 | 21k| 0 | 0 |-3.113373e+02 |-5.100000e+01 | 83.62%
97.69/97.70 c 97.7s| 1 | 0 |218122 | - | 132M| 0 | 814 |1000 | 37k|1000 |7258 | 21k| 0 | 0 |-3.105029e+02 |-5.100000e+01 | 83.58%
99.59/99.69 c 99.7s| 1 | 0 |221945 | - | 131M| 0 | 818 |1000 | 37k|1000 |7442 | 21k| 0 | 0 |-3.093802e+02 |-5.100000e+01 | 83.52%
101.39/101.44 c 101s| 1 | 0 |224762 | - | 131M| 0 | 832 |1000 | 37k|1000 |7496 | 21k| 0 | 0 |-3.081980e+02 |-5.100000e+01 | 83.45%
103.40/103.49 c 103s| 1 | 0 |228065 | - | 131M| 0 | 845 |1000 | 37k|1000 |7584 | 21k| 0 | 0 |-3.069338e+02 |-5.100000e+01 | 83.38%
105.99/106.06 c 106s| 1 | 0 |232215 | - | 131M| 0 | 845 |1000 | 37k|1000 |7765 | 22k| 0 | 0 |-3.058018e+02 |-5.100000e+01 | 83.32%
108.40/108.43 c 108s| 1 | 0 |235908 | - | 131M| 0 | 850 |1000 | 37k|1000 |7861 | 22k| 0 | 0 |-3.049038e+02 |-5.100000e+01 | 83.27%
110.70/110.72 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
110.70/110.72 c 111s| 1 | 0 |238918 | - | 131M| 0 | 851 |1000 | 37k|1000 |7907 | 22k| 0 | 0 |-3.042363e+02 |-5.100000e+01 | 83.24%
112.79/112.87 c 113s| 1 | 0 |241573 | - | 131M| 0 | 860 |1000 | 37k|1000 |7917 | 22k| 0 | 0 |-3.037088e+02 |-5.100000e+01 | 83.21%
116.20/116.23 c 116s| 1 | 0 |247979 | - | 131M| 0 | 844 |1000 | 37k|1000 |7732 | 22k| 0 | 0 |-3.025544e+02 |-5.100000e+01 | 83.14%
119.10/119.18 c 119s| 1 | 0 |253370 | - | 130M| 0 | 856 |1000 | 37k|1000 |7881 | 22k| 0 | 0 |-3.013789e+02 |-5.100000e+01 | 83.08%
121.89/121.94 c 122s| 1 | 0 |257597 | - | 130M| 0 | 859 |1000 | 37k|1000 |8026 | 22k| 0 | 0 |-3.005117e+02 |-5.100000e+01 | 83.03%
124.79/124.88 c 125s| 1 | 0 |262259 | - | 130M| 0 | 864 |1000 | 37k|1000 |8162 | 22k| 0 | 0 |-2.998232e+02 |-5.100000e+01 | 82.99%
127.80/127.85 c 128s| 1 | 0 |266053 | - | 130M| 0 | 854 |1000 | 37k|1000 |8206 | 22k| 0 | 0 |-2.987715e+02 |-5.100000e+01 | 82.93%
130.40/130.47 c 130s| 1 | 0 |269486 | - | 129M| 0 | 853 |1000 | 37k|1000 |8235 | 22k| 0 | 0 |-2.978712e+02 |-5.100000e+01 | 82.88%
133.89/133.97 c 134s| 1 | 0 |275185 | - | 129M| 0 | 865 |1000 | 37k|1000 |7833 | 22k| 0 | 0 |-2.966326e+02 |-5.100000e+01 | 82.81%
136.89/136.96 c 137s| 1 | 0 |278099 | - | 129M| 0 | 857 |1000 | 37k|1000 |7947 | 23k| 0 | 0 |-2.952271e+02 |-5.100000e+01 | 82.73%
139.60/139.65 c 140s| 1 | 0 |281272 | - | 129M| 0 | 859 |1000 | 37k|1000 |8047 | 23k| 0 | 0 |-2.945592e+02 |-5.100000e+01 | 82.69%
143.40/143.49 c 143s| 1 | 0 |287618 | - | 129M| 0 | 850 |1000 | 37k|1000 |8105 | 23k| 0 | 0 |-2.924207e+02 |-5.100000e+01 | 82.56%
146.20/146.24 c 146s| 1 | 0 |290917 | - | 129M| 0 | 856 |1000 | 37k|1000 |8192 | 23k| 0 | 0 |-2.914490e+02 |-5.100000e+01 | 82.50%
149.50/149.54 c 150s| 1 | 0 |295955 | - | 127M| 0 | 864 |1000 | 37k|1000 |8218 | 23k| 0 | 0 |-2.902159e+02 |-5.100000e+01 | 82.43%
152.19/152.25 c 152s| 1 | 0 |298833 | - | 127M| 0 | 859 |1000 | 37k|1000 |7970 | 23k| 0 | 0 |-2.896908e+02 |-5.100000e+01 | 82.40%
155.79/155.81 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
155.79/155.81 c 156s| 1 | 0 |303423 | - | 127M| 0 | 866 |1000 | 37k|1000 |8069 | 23k| 0 | 0 |-2.888483e+02 |-5.100000e+01 | 82.34%
159.90/159.97 c 160s| 1 | 0 |309566 | - | 127M| 0 | 870 |1000 | 37k|1000 |8134 | 23k| 0 | 0 |-2.880474e+02 |-5.100000e+01 | 82.29%
163.49/163.59 c 164s| 1 | 0 |313800 | - | 127M| 0 | 851 |1000 | 37k|1000 |8247 | 23k| 0 | 0 |-2.868724e+02 |-5.100000e+01 | 82.22%
166.99/167.03 c 167s| 1 | 0 |318368 | - | 126M| 0 | 860 |1000 | 37k|1000 |8265 | 23k| 0 | 0 |-2.862436e+02 |-5.100000e+01 | 82.18%
170.09/170.10 c 170s| 1 | 0 |321548 | - | 126M| 0 | 867 |1000 | 37k|1000 |8306 | 23k| 0 | 0 |-2.856077e+02 |-5.100000e+01 | 82.14%
173.19/173.23 c 173s| 1 | 0 |325032 | - | 126M| 0 | 861 |1000 | 37k|1000 |8072 | 23k| 0 | 0 |-2.848993e+02 |-5.100000e+01 | 82.10%
175.90/175.93 c 176s| 1 | 0 |327945 | - | 126M| 0 | 868 |1000 | 37k|1000 |8134 | 23k| 0 | 0 |-2.842017e+02 |-5.100000e+01 | 82.05%
179.60/179.68 c 180s| 1 | 0 |332140 | - | 125M| 0 | 862 |1000 | 37k|1000 |8173 | 23k| 0 | 0 |-2.833248e+02 |-5.100000e+01 | 82.00%
183.00/183.08 c 183s| 1 | 0 |335463 | - | 125M| 0 | 868 |1000 | 37k|1000 |8247 | 23k| 0 | 0 |-2.828090e+02 |-5.100000e+01 | 81.97%
186.69/186.75 c 187s| 1 | 0 |339374 | - | 125M| 0 | 873 |1000 | 37k|1000 |8261 | 23k| 0 | 0 |-2.821221e+02 |-5.100000e+01 | 81.92%
190.00/190.08 c 190s| 1 | 0 |342107 | - | 124M| 0 | 870 |1000 | 37k|1000 |8342 | 23k| 0 | 0 |-2.816768e+02 |-5.100000e+01 | 81.89%
193.69/193.77 c 194s| 1 | 0 |345415 | - | 124M| 0 | 878 |1000 | 37k|1000 |8197 | 23k| 0 | 0 |-2.810202e+02 |-5.100000e+01 | 81.85%
198.40/198.49 c 198s| 1 | 0 |352097 | - | 124M| 0 | 876 |1000 | 37k|1000 |8208 | 24k| 0 | 0 |-2.797702e+02 |-5.100000e+01 | 81.77%
201.90/201.94 c 202s| 1 | 0 |355152 | - | 123M| 0 | 884 |1000 | 37k|1000 |8361 | 24k| 0 | 0 |-2.791488e+02 |-5.100000e+01 | 81.73%
205.70/205.74 c 206s| 1 | 0 |358668 | - | 123M| 0 | 875 |1000 | 37k|1000 |8434 | 24k| 0 | 0 |-2.782441e+02 |-5.100000e+01 | 81.67%
209.69/209.77 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
209.69/209.77 c 210s| 1 | 0 |362486 | - | 122M| 0 | 884 |1000 | 37k|1000 |8456 | 24k| 0 | 0 |-2.773290e+02 |-5.100000e+01 | 81.61%
214.50/214.57 c 215s| 1 | 0 |368195 | - | 121M| 0 | 889 |1000 | 37k|1000 |8539 | 24k| 0 | 0 |-2.764522e+02 |-5.100000e+01 | 81.55%
218.49/218.58 c 219s| 1 | 0 |371426 | - | 121M| 0 | 879 |1000 | 37k|1000 |8505 | 24k| 0 | 0 |-2.758586e+02 |-5.100000e+01 | 81.51%
222.80/222.85 c 223s| 1 | 0 |375132 | - | 121M| 0 | 895 |1000 | 37k|1000 |8544 | 24k| 0 | 0 |-2.749811e+02 |-5.100000e+01 | 81.45%
227.10/227.16 c 227s| 1 | 0 |379120 | - | 121M| 0 | 885 |1000 | 37k|1000 |8639 | 24k| 0 | 0 |-2.741836e+02 |-5.100000e+01 | 81.40%
232.20/232.25 c 232s| 1 | 0 |385215 | - | 121M| 0 | 889 |1000 | 37k|1000 |8700 | 24k| 0 | 0 |-2.733698e+02 |-5.100000e+01 | 81.34%
237.70/237.73 c 238s| 1 | 0 |391671 | - | 121M| 0 | 888 |1000 | 37k|1000 |8754 | 24k| 0 | 0 |-2.724943e+02 |-5.100000e+01 | 81.28%
242.90/242.97 c 243s| 1 | 0 |397353 | - | 120M| 0 | 895 |1000 | 37k|1000 |8858 | 24k| 0 | 0 |-2.712419e+02 |-5.100000e+01 | 81.20%
247.90/247.93 c 248s| 1 | 0 |402194 | - | 119M| 0 | 902 |1000 | 37k|1000 |8799 | 24k| 0 | 0 |-2.704892e+02 |-5.100000e+01 | 81.15%
252.19/252.26 c 252s| 1 | 0 |405348 | - | 119M| 0 | 898 |1000 | 37k|1000 |8895 | 25k| 0 | 0 |-2.699713e+02 |-5.100000e+01 | 81.11%
257.80/257.85 c 258s| 1 | 0 |411603 | - | 119M| 0 | 910 |1000 | 37k|1000 |8974 | 25k| 0 | 0 |-2.689097e+02 |-5.100000e+01 | 81.03%
264.10/264.13 c 264s| 1 | 0 |419719 | - | 119M| 0 | 897 |1000 | 37k|1000 |9025 | 25k| 0 | 0 |-2.681791e+02 |-5.100000e+01 | 80.98%
269.00/269.04 c 269s| 1 | 0 |424512 | - | 118M| 0 | 910 |1000 | 37k|1000 |9083 | 25k| 0 | 0 |-2.674078e+02 |-5.100000e+01 | 80.93%
273.80/273.87 c 274s| 1 | 0 |428830 | - | 118M| 0 | 915 |1000 | 37k|1000 |9189 | 25k| 0 | 0 |-2.670148e+02 |-5.100000e+01 | 80.90%
278.60/278.69 c 279s| 1 | 0 |432663 | - | 118M| 0 | 905 |1000 | 37k|1000 |9009 | 25k| 0 | 0 |-2.663967e+02 |-5.100000e+01 | 80.86%
285.60/285.69 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
285.60/285.69 c 286s| 1 | 0 |441999 | - | 118M| 0 | 915 |1000 | 37k|1000 |9050 | 25k| 0 | 0 |-2.656055e+02 |-5.100000e+01 | 80.80%
290.50/290.52 c 291s| 1 | 0 |445964 | - | 116M| 0 | 913 |1000 | 37k|1000 |9159 | 25k| 0 | 0 |-2.651275e+02 |-5.100000e+01 | 80.76%
294.90/294.90 c 295s| 1 | 0 |448798 | - | 116M| 0 | 919 |1000 | 37k|1000 |9204 | 25k| 0 | 0 |-2.646001e+02 |-5.100000e+01 | 80.73%
300.31/300.38 c 300s| 1 | 0 |454305 | - | 116M| 0 | 916 |1000 | 37k|1000 |9223 | 25k| 0 | 0 |-2.640985e+02 |-5.100000e+01 | 80.69%
305.71/305.76 c 306s| 1 | 0 |459092 | - | 115M| 0 | 917 |1000 | 37k|1000 |9277 | 25k| 0 | 0 |-2.634619e+02 |-5.100000e+01 | 80.64%
310.90/310.92 c 311s| 1 | 0 |463238 | - | 115M| 0 | 921 |1000 | 37k|1000 |9059 | 25k| 0 | 0 |-2.630298e+02 |-5.100000e+01 | 80.61%
315.30/315.35 c 315s| 1 | 0 |466222 | - | 115M| 0 | 926 |1000 | 37k|1000 |9105 | 25k| 0 | 0 |-2.625661e+02 |-5.100000e+01 | 80.58%
319.80/319.80 c 320s| 1 | 0 |468647 | - | 115M| 0 | 925 |1000 | 37k|1000 |9196 | 25k| 0 | 0 |-2.622691e+02 |-5.100000e+01 | 80.55%
323.90/323.92 c 324s| 1 | 0 |470256 | - | 115M| 0 | 928 |1000 | 37k|1000 |9220 | 25k| 0 | 0 |-2.619801e+02 |-5.100000e+01 | 80.53%
328.30/328.34 c 328s| 1 | 0 |472571 | - | 114M| 0 | 934 |1000 | 37k|1000 |9236 | 25k| 0 | 0 |-2.615666e+02 |-5.100000e+01 | 80.50%
333.20/333.22 c 333s| 1 | 0 |475638 | - | 114M| 0 | 928 |1000 | 37k|1000 |9288 | 25k| 0 | 0 |-2.611782e+02 |-5.100000e+01 | 80.47%
337.60/337.67 c 338s| 1 | 0 |477713 | - | 112M| 0 | 924 |1000 | 37k|1000 |9176 | 25k| 0 | 0 |-2.609367e+02 |-5.100000e+01 | 80.46%
342.20/342.26 c 342s| 1 | 0 |480162 | - | 110M| 0 | 928 |1000 | 37k|1000 |9217 | 25k| 0 | 0 |-2.605661e+02 |-5.100000e+01 | 80.43%
347.61/347.63 c 348s| 1 | 0 |484424 | - | 107M| 0 | 931 |1000 | 37k|1000 |9286 | 26k| 0 | 0 |-2.602760e+02 |-5.100000e+01 | 80.41%
352.40/352.49 c 352s| 1 | 0 |487445 | - | 106M| 0 | 935 |1000 | 37k|1000 |9325 | 26k| 0 | 0 |-2.599599e+02 |-5.100000e+01 | 80.38%
357.00/357.07 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
357.00/357.07 c 357s| 1 | 0 |489750 | - | 104M| 0 | 940 |1000 | 37k|1000 |9361 | 26k| 0 | 0 |-2.597545e+02 |-5.100000e+01 | 80.37%
361.50/361.59 c 362s| 1 | 0 |491766 | - | 103M| 0 | 934 |1000 | 37k|1000 |9394 | 26k| 0 | 0 |-2.595043e+02 |-5.100000e+01 | 80.35%
365.60/365.67 c 366s| 1 | 0 |492940 | - | 102M| 0 | 934 |1000 | 37k|1000 |9265 | 26k| 0 | 0 |-2.593157e+02 |-5.100000e+01 | 80.33%
369.80/369.86 c 370s| 1 | 0 |494675 | - | 101M| 0 | 943 |1000 | 37k|1000 |9288 | 26k| 0 | 0 |-2.590860e+02 |-5.100000e+01 | 80.32%
374.10/374.15 c 374s| 1 | 0 |496284 | - | 100M| 0 | 942 |1000 | 37k|1000 |9314 | 26k| 0 | 0 |-2.589363e+02 |-5.100000e+01 | 80.30%
378.31/378.36 c 378s| 1 | 0 |497635 | - | 99M| 0 | 950 |1000 | 37k|1000 |9337 | 26k| 0 | 0 |-2.587848e+02 |-5.100000e+01 | 80.29%
382.90/382.98 c 383s| 1 | 0 |499749 | - | 98M| 0 | 943 |1000 | 37k|1000 |9356 | 26k| 0 | 0 |-2.584684e+02 |-5.100000e+01 | 80.27%
387.50/387.51 c 388s| 1 | 0 |501604 | - | 97M| 0 | 948 |1000 | 37k|1000 |9374 | 26k| 0 | 0 |-2.583299e+02 |-5.100000e+01 | 80.26%
392.00/392.01 c 392s| 1 | 0 |503304 | - | 96M| 0 | 949 |1000 | 37k|1000 |9254 | 26k| 0 | 0 |-2.581288e+02 |-5.100000e+01 | 80.24%
396.01/396.01 c 396s| 1 | 0 |504265 | - | 96M| 0 | 949 |1000 | 37k|1000 |9284 | 26k| 0 | 0 |-2.580060e+02 |-5.100000e+01 | 80.23%
401.01/401.04 c 401s| 1 | 0 |507057 | - | 96M| 0 | 951 |1000 | 37k|1000 |9295 | 26k| 0 | 0 |-2.576610e+02 |-5.100000e+01 | 80.21%
405.30/405.37 c 405s| 1 | 0 |508651 | - | 95M| 0 | 948 |1000 | 37k|1000 |9332 | 26k| 0 | 0 |-2.574098e+02 |-5.100000e+01 | 80.19%
409.70/409.79 c 410s| 1 | 0 |510573 | - | 95M| 0 | 954 |1000 | 37k|1000 |9364 | 26k| 0 | 0 |-2.571606e+02 |-5.100000e+01 | 80.17%
414.00/414.01 c 414s| 1 | 0 |511783 | - | 93M| 0 | 952 |1000 | 37k|1000 |9391 | 26k| 0 | 0 |-2.569257e+02 |-5.100000e+01 | 80.15%
418.51/418.58 c 419s| 1 | 0 |513611 | - | 91M| 0 | 946 |1000 | 37k|1000 |9330 | 26k| 0 | 0 |-2.565619e+02 |-5.100000e+01 | 80.12%
423.10/423.13 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
423.10/423.13 c 423s| 1 | 0 |515268 | - | 89M| 0 | 949 |1000 | 37k|1000 |9358 | 26k| 0 | 0 |-2.563889e+02 |-5.100000e+01 | 80.11%
427.00/427.09 c 427s| 1 | 0 |516058 | - | 87M| 0 | 947 |1000 | 37k|1000 |9373 | 26k| 0 | 0 |-2.563222e+02 |-5.100000e+01 | 80.10%
431.80/431.80 c 432s| 1 | 0 |518071 | - | 86M| 0 | 953 |1000 | 37k|1000 |9384 | 26k| 0 | 0 |-2.561040e+02 |-5.100000e+01 | 80.09%
436.50/436.58 c 437s| 1 | 0 |520255 | - | 86M| 0 | 948 |1000 | 37k|1000 |9404 | 26k| 0 | 0 |-2.557275e+02 |-5.100000e+01 | 80.06%
441.30/441.38 c 441s| 1 | 0 |522399 | - | 85M| 0 | 953 |1000 | 37k|1000 |9420 | 26k| 0 | 0 |-2.555163e+02 |-5.100000e+01 | 80.04%
446.11/446.15 c 446s| 1 | 0 |524465 | - | 85M| 0 | 956 |1000 | 37k|1000 |9364 | 26k| 0 | 0 |-2.551392e+02 |-5.100000e+01 | 80.01%
450.81/450.87 c 451s| 1 | 0 |526437 | - | 84M| 0 | 960 |1000 | 37k|1000 |9391 | 26k| 0 | 0 |-2.548543e+02 |-5.100000e+01 | 79.99%
455.11/455.18 c 455s| 1 | 0 |527732 | - | 84M| 0 | 968 |1000 | 37k|1000 |9419 | 26k| 0 | 0 |-2.546633e+02 |-5.100000e+01 | 79.97%
460.10/460.15 c 460s| 1 | 0 |530101 | - | 84M| 0 | 971 |1000 | 37k|1000 |9439 | 26k| 0 | 0 |-2.543524e+02 |-5.100000e+01 | 79.95%
465.01/465.06 c 465s| 1 | 0 |532301 | - | 84M| 0 | 972 |1000 | 37k|1000 |9464 | 26k| 0 | 0 |-2.541250e+02 |-5.100000e+01 | 79.93%
470.20/470.23 c 470s| 1 | 0 |534927 | - | 84M| 0 | 966 |1000 | 37k|1000 |9476 | 26k| 0 | 0 |-2.538003e+02 |-5.100000e+01 | 79.91%
474.80/474.85 c 475s| 1 | 0 |536321 | - | 84M| 0 | 966 |1000 | 37k|1000 |9407 | 26k| 0 | 0 |-2.536676e+02 |-5.100000e+01 | 79.89%
479.01/479.03 c 479s| 1 | 0 |537265 | - | 84M| 0 | 976 |1000 | 37k|1000 |9429 | 26k| 0 | 0 |-2.534860e+02 |-5.100000e+01 | 79.88%
483.71/483.72 c 484s| 1 | 0 |539005 | - | 84M| 0 | 969 |1000 | 37k|1000 |9444 | 26k| 0 | 0 |-2.531749e+02 |-5.100000e+01 | 79.86%
488.31/488.38 c 488s| 1 | 0 |540660 | - | 84M| 0 | 968 |1000 | 37k|1000 |9478 | 26k| 0 | 0 |-2.528770e+02 |-5.100000e+01 | 79.83%
493.60/493.68 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
493.60/493.68 c 494s| 1 | 0 |543361 | - | 84M| 0 | 975 |1000 | 37k|1000 |9497 | 26k| 0 | 0 |-2.525474e+02 |-5.100000e+01 | 79.81%
498.90/498.91 c 499s| 1 | 0 |545974 | - | 84M| 0 | 966 |1000 | 37k|1000 |9519 | 26k| 0 | 0 |-2.522324e+02 |-5.100000e+01 | 79.78%
504.11/504.16 c 504s| 1 | 0 |548452 | - | 84M| 0 | 975 |1000 | 37k|1000 |9474 | 26k| 0 | 0 |-2.519433e+02 |-5.100000e+01 | 79.76%
508.41/508.48 c 508s| 1 | 0 |549475 | - | 83M| 0 | 975 |1000 | 37k|1000 |9495 | 26k| 0 | 0 |-2.518291e+02 |-5.100000e+01 | 79.75%
512.61/512.66 c 513s| 1 | 0 |550167 | - | 83M| 0 | 978 |1000 | 37k|1000 |9511 | 26k| 0 | 0 |-2.517217e+02 |-5.100000e+01 | 79.74%
517.10/517.12 c 517s| 1 | 0 |551069 | - | 83M| 0 | 985 |1000 | 37k|1000 |9523 | 26k| 0 | 0 |-2.516069e+02 |-5.100000e+01 | 79.73%
521.71/521.79 c 522s| 1 | 0 |552334 | - | 83M| 0 | 975 |1000 | 37k|1000 |9539 | 26k| 0 | 0 |-2.514222e+02 |-5.100000e+01 | 79.72%
526.70/526.78 c 527s| 1 | 0 |554182 | - | 83M| 0 | 975 |1000 | 37k|1000 |9550 | 26k| 0 | 0 |-2.512089e+02 |-5.100000e+01 | 79.70%
532.11/532.15 c 532s| 1 | 0 |556394 | - | 83M| 0 | 971 |1000 | 37k|1000 |9500 | 26k| 0 | 0 |-2.509753e+02 |-5.100000e+01 | 79.68%
536.61/536.66 c 537s| 1 | 0 |557762 | - | 83M| 0 | 981 |1000 | 37k|1000 |9514 | 26k| 0 | 0 |-2.508067e+02 |-5.100000e+01 | 79.67%
541.50/541.58 c 542s| 1 | 0 |559405 | - | 83M| 0 | 984 |1000 | 37k|1000 |9531 | 26k| 0 | 0 |-2.506289e+02 |-5.100000e+01 | 79.65%
545.71/545.73 c 546s| 1 | 0 |559834 | - | 83M| 0 | 987 |1000 | 37k|1000 |9542 | 26k| 0 | 0 |-2.505753e+02 |-5.100000e+01 | 79.65%
549.81/549.89 c 550s| 1 | 0 |560301 | - | 83M| 0 | 987 |1000 | 37k|1000 |9553 | 27k| 0 | 0 |-2.504976e+02 |-5.100000e+01 | 79.64%
554.11/554.11 c 554s| 1 | 0 |560819 | - | 83M| 0 | 985 |1000 | 37k|1000 |9565 | 27k| 0 | 0 |-2.504369e+02 |-5.100000e+01 | 79.64%
558.21/558.29 c 558s| 1 | 0 |561337 | - | 83M| 0 | 986 |1000 | 37k|1000 |9503 | 27k| 0 | 0 |-2.503739e+02 |-5.100000e+01 | 79.63%
562.50/562.56 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
562.50/562.56 c 563s| 1 | 0 |562030 | - | 83M| 0 | 990 |1000 | 37k|1000 |9513 | 27k| 0 | 0 |-2.502807e+02 |-5.100000e+01 | 79.62%
567.21/567.21 c 567s| 1 | 0 |563435 | - | 83M| 0 | 987 |1000 | 37k|1000 |9525 | 27k| 0 | 0 |-2.500842e+02 |-5.100000e+01 | 79.61%
571.80/571.89 c 572s| 1 | 0 |564533 | - | 83M| 0 | 988 |1000 | 37k|1000 |9542 | 27k| 0 | 0 |-2.498968e+02 |-5.100000e+01 | 79.59%
576.51/576.59 c 577s| 1 | 0 |565910 | - | 83M| 0 | 983 |1000 | 37k|1000 |9553 | 27k| 0 | 0 |-2.497472e+02 |-5.100000e+01 | 79.58%
580.91/580.92 c 581s| 1 | 0 |566702 | - | 82M| 0 | 991 |1000 | 37k|1000 |9565 | 27k| 0 | 0 |-2.496782e+02 |-5.100000e+01 | 79.57%
585.30/585.34 c 585s| 1 | 0 |567500 | - | 82M| 0 | 988 |1000 | 37k|1000 |9531 | 27k| 0 | 0 |-2.496069e+02 |-5.100000e+01 | 79.57%
589.51/589.56 c 590s| 1 | 0 |568190 | - | 82M| 0 | 986 |1000 | 37k|1000 |9541 | 27k| 0 | 0 |-2.495015e+02 |-5.100000e+01 | 79.56%
593.80/593.87 c 594s| 1 | 0 |568761 | - | 82M| 0 | 993 |1000 | 37k|1000 |9560 | 27k| 0 | 0 |-2.493687e+02 |-5.100000e+01 | 79.55%
598.51/598.56 c 599s| 1 | 0 |569751 | - | 82M| 0 | 990 |1000 | 37k|1000 |9575 | 27k| 0 | 0 |-2.492732e+02 |-5.100000e+01 | 79.54%
603.01/603.03 c 603s| 1 | 0 |570614 | - | 82M| 0 | 990 |1000 | 37k|1000 |9591 | 27k| 0 | 0 |-2.491665e+02 |-5.100000e+01 | 79.53%
607.21/607.22 c 607s| 1 | 0 |571193 | - | 82M| 0 | 992 |1000 | 37k|1000 |9600 | 27k| 0 | 0 |-2.490876e+02 |-5.100000e+01 | 79.53%
611.71/611.72 c 612s| 1 | 0 |572073 | - | 82M| 0 | 988 |1000 | 37k|1000 |9563 | 27k| 0 | 0 |-2.489623e+02 |-5.100000e+01 | 79.51%
615.80/615.85 c 616s| 1 | 0 |572500 | - | 82M| 0 | 990 |1000 | 37k|1000 |9578 | 27k| 0 | 0 |-2.489071e+02 |-5.100000e+01 | 79.51%
620.31/620.37 c 620s| 1 | 0 |573472 | - | 82M| 0 | 993 |1000 | 37k|1000 |9589 | 27k| 0 | 0 |-2.487379e+02 |-5.100000e+01 | 79.50%
624.91/624.94 c 625s| 1 | 0 |574329 | - | 82M| 0 | 992 |1000 | 37k|1000 |9603 | 27k| 0 | 0 |-2.486260e+02 |-5.100000e+01 | 79.49%
629.41/629.48 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
629.41/629.48 c 629s| 1 | 0 |575112 | - | 82M| 0 | 992 |1000 | 37k|1000 |9615 | 27k| 0 | 0 |-2.485098e+02 |-5.100000e+01 | 79.48%
634.01/634.08 c 634s| 1 | 0 |575981 | - | 82M| 0 | 991 |1000 | 37k|1000 |9628 | 27k| 0 | 0 |-2.483294e+02 |-5.100000e+01 | 79.46%
639.02/639.03 c 639s| 1 | 0 |577112 | - | 82M| 0 | 993 |1000 | 37k|1000 |9610 | 27k| 0 | 0 |-2.481647e+02 |-5.100000e+01 | 79.45%
643.52/643.55 c 644s| 1 | 0 |578084 | - | 82M| 0 | 993 |1000 | 37k|1000 |9623 | 27k| 0 | 0 |-2.480296e+02 |-5.100000e+01 | 79.44%
648.21/648.24 c 648s| 1 | 0 |578991 | - | 82M| 0 | 994 |1000 | 37k|1000 |9633 | 27k| 0 | 0 |-2.478564e+02 |-5.100000e+01 | 79.42%
653.21/653.29 c 653s| 1 | 0 |580525 | - | 82M| 0 | 993 |1000 | 37k|1000 |9649 | 27k| 0 | 0 |-2.476875e+02 |-5.100000e+01 | 79.41%
657.82/657.86 c 658s| 1 | 0 |581282 | - | 82M| 0 | 995 |1000 | 37k|1000 |9666 | 27k| 0 | 0 |-2.476305e+02 |-5.100000e+01 | 79.40%
662.71/662.73 c 663s| 1 | 0 |582444 | - | 82M| 0 | 996 |1000 | 37k|1000 |9679 | 27k| 0 | 0 |-2.473990e+02 |-5.100000e+01 | 79.39%
667.41/667.41 c 667s| 1 | 0 |583247 | - | 82M| 0 | 995 |1000 | 37k|1000 |9657 | 27k| 0 | 0 |-2.472998e+02 |-5.100000e+01 | 79.38%
671.91/671.95 c 672s| 1 | 0 |584018 | - | 82M| 0 | 992 |1000 | 37k|1000 |9670 | 27k| 0 | 0 |-2.472016e+02 |-5.100000e+01 | 79.37%
676.91/676.97 c 677s| 1 | 0 |585542 | - | 82M| 0 | 994 |1000 | 37k|1000 |9688 | 27k| 0 | 0 |-2.470412e+02 |-5.100000e+01 | 79.36%
681.51/681.52 c 682s| 1 | 0 |586088 | - | 82M| 0 | 994 |1000 | 37k|1000 |9698 | 27k| 0 | 0 |-2.469668e+02 |-5.100000e+01 | 79.35%
686.01/686.08 c 686s| 1 | 0 |586660 | - | 82M| 0 | 998 |1000 | 37k|1000 |9704 | 27k| 0 | 0 |-2.468771e+02 |-5.100000e+01 | 79.34%
690.72/690.74 c 691s| 1 | 0 |587519 | - | 82M| 0 | 998 |1000 | 37k|1000 |9714 | 27k| 0 | 0 |-2.467920e+02 |-5.100000e+01 | 79.33%
695.71/695.78 c 696s| 1 | 0 |588749 | - | 82M| 0 | 998 |1000 | 37k|1000 |9671 | 27k| 0 | 0 |-2.466469e+02 |-5.100000e+01 | 79.32%
700.11/700.15 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
700.11/700.15 c 700s| 1 | 0 |589261 | - | 82M| 0 | 997 |1000 | 37k|1000 |9679 | 27k| 0 | 0 |-2.465811e+02 |-5.100000e+01 | 79.32%
704.91/704.98 c 705s| 1 | 0 |590435 | - | 82M| 0 | 998 |1000 | 37k|1000 |9693 | 27k| 0 | 0 |-2.464678e+02 |-5.100000e+01 | 79.31%
710.01/710.07 c 710s| 1 | 0 |592099 | - | 82M| 0 | 997 |1000 | 37k|1000 |9707 | 27k| 0 | 0 |-2.463533e+02 |-5.100000e+01 | 79.30%
714.71/714.71 c 715s| 1 | 0 |592960 | - | 82M| 0 | 994 |1000 | 37k|1000 |9718 | 27k| 0 | 0 |-2.462720e+02 |-5.100000e+01 | 79.29%
719.12/719.19 c 719s| 1 | 0 |593558 | - | 82M| 0 | 997 |1000 | 37k|1000 |9728 | 27k| 0 | 0 |-2.461989e+02 |-5.100000e+01 | 79.29%
724.01/724.04 c 724s| 1 | 0 |594573 | - | 82M| 0 | 996 |1000 | 37k|1000 |9697 | 27k| 0 | 0 |-2.461148e+02 |-5.100000e+01 | 79.28%
728.31/728.35 c 728s| 1 | 0 |594965 | - | 82M| 0 | 996 |1000 | 37k|1000 |9707 | 27k| 0 | 0 |-2.460803e+02 |-5.100000e+01 | 79.28%
732.92/732.96 c 733s| 1 | 0 |595666 | - | 82M| 0 | 995 |1000 | 37k|1000 |9718 | 27k| 0 | 0 |-2.460135e+02 |-5.100000e+01 | 79.27%
737.42/737.46 c 737s| 1 | 0 |596199 | - | 82M| 0 | 996 |1000 | 37k|1000 |9728 | 27k| 0 | 0 |-2.459463e+02 |-5.100000e+01 | 79.26%
742.12/742.16 c 742s| 1 | 0 |596918 | - | 82M| 0 | 995 |1000 | 37k|1000 |9739 | 27k| 0 | 0 |-2.458343e+02 |-5.100000e+01 | 79.25%
747.02/747.07 c 747s| 1 | 0 |597924 | - | 82M| 0 | 995 |1000 | 37k|1000 |9754 | 27k| 0 | 0 |-2.456437e+02 |-5.100000e+01 | 79.24%
751.51/751.58 c 752s| 1 | 0 |598402 | - | 82M| 0 | 998 |1000 | 37k|1000 |9725 | 27k| 0 | 0 |-2.455869e+02 |-5.100000e+01 | 79.23%
756.12/756.11 c 756s| 1 | 0 |599106 | - | 82M| 0 | 998 |1000 | 37k|1000 |9739 | 27k| 0 | 0 |-2.455066e+02 |-5.100000e+01 | 79.23%
760.81/760.84 c 761s| 1 | 0 |599817 | - | 82M| 0 | 998 |1000 | 37k|1000 |9752 | 27k| 0 | 0 |-2.454099e+02 |-5.100000e+01 | 79.22%
765.41/765.47 c 765s| 1 | 0 |600449 | - | 82M| 0 | 998 |1000 | 37k|1000 |9767 | 27k| 0 | 0 |-2.453312e+02 |-5.100000e+01 | 79.21%
770.31/770.34 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
770.31/770.34 c 770s| 1 | 0 |601325 | - | 82M| 0 | 997 |1000 | 37k|1000 |9780 | 27k| 0 | 0 |-2.452253e+02 |-5.100000e+01 | 79.20%
775.62/775.66 c 776s| 1 | 0 |602953 | - | 82M| 0 | 998 |1000 | 37k|1000 |9795 | 27k| 0 | 0 |-2.450882e+02 |-5.100000e+01 | 79.19%
780.31/780.36 c 780s| 1 | 0 |603664 | - | 82M| 0 | 997 |1000 | 37k|1000 |9759 | 27k| 0 | 0 |-2.450419e+02 |-5.100000e+01 | 79.19%
785.01/785.06 c 785s| 1 | 0 |604320 | - | 82M| 0 | 999 |1000 | 37k|1000 |9770 | 27k| 0 | 0 |-2.449731e+02 |-5.100000e+01 | 79.18%
789.51/789.59 c 790s| 1 | 0 |604762 | - | 82M| 0 | 998 |1000 | 37k|1000 |9782 | 27k| 0 | 0 |-2.449259e+02 |-5.100000e+01 | 79.18%
794.31/794.34 c 794s| 1 | 0 |605608 | - | 82M| 0 | 999 |1000 | 37k|1000 |9795 | 27k| 0 | 0 |-2.448015e+02 |-5.100000e+01 | 79.17%
799.12/799.18 c 799s| 1 | 0 |606431 | - | 82M| 0 | 998 |1000 | 37k|1000 |9808 | 27k| 0 | 0 |-2.446603e+02 |-5.100000e+01 | 79.15%
804.12/804.13 c 804s| 1 | 0 |607566 | - | 82M| 0 | 999 |1000 | 37k|1000 |9826 | 27k| 0 | 0 |-2.445583e+02 |-5.100000e+01 | 79.15%
808.72/808.79 c 809s| 1 | 0 |608076 | - | 82M| 0 | 998 |1000 | 37k|1000 |9791 | 27k| 0 | 0 |-2.445285e+02 |-5.100000e+01 | 79.14%
813.62/813.67 c 814s| 1 | 0 |608930 | - | 82M| 0 | 997 |1000 | 37k|1000 |9801 | 27k| 0 | 0 |-2.443828e+02 |-5.100000e+01 | 79.13%
818.43/818.49 c 818s| 1 | 0 |609750 | - | 82M| 0 | 998 |1000 | 37k|1000 |9811 | 27k| 0 | 0 |-2.443337e+02 |-5.100000e+01 | 79.13%
823.32/823.33 c 823s| 1 | 0 |610698 | - | 82M| 0 | 998 |1000 | 37k|1000 |9827 | 27k| 0 | 0 |-2.442752e+02 |-5.100000e+01 | 79.12%
828.12/828.13 c 828s| 1 | 0 |611473 | - | 82M| 0 | 999 |1000 | 37k|1000 |9838 | 27k| 0 | 0 |-2.442271e+02 |-5.100000e+01 | 79.12%
832.92/832.97 c 833s| 1 | 0 |612344 | - | 82M| 0 | 999 |1000 | 37k|1000 |9851 | 27k| 0 | 0 |-2.441445e+02 |-5.100000e+01 | 79.11%
838.12/838.11 c 838s| 1 | 0 |613567 | - | 82M| 0 | 998 |1000 | 37k|1000 |9816 | 27k| 0 | 0 |-2.440176e+02 |-5.100000e+01 | 79.10%
842.63/842.67 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
842.63/842.67 c 843s| 1 | 0 |614311 | - | 82M| 0 | 999 |1000 | 37k|1000 |9827 | 27k| 0 | 0 |-2.439580e+02 |-5.100000e+01 | 79.09%
847.52/847.56 c 848s| 1 | 0 |615280 | - | 82M| 0 | 998 |1000 | 37k|1000 |9841 | 27k| 0 | 0 |-2.438796e+02 |-5.100000e+01 | 79.09%
852.52/852.54 c 853s| 1 | 0 |616317 | - | 82M| 0 | 998 |1000 | 37k|1000 |9851 | 27k| 0 | 0 |-2.438077e+02 |-5.100000e+01 | 79.08%
857.22/857.21 c 857s| 1 | 0 |617093 | - | 82M| 0 | 997 |1000 | 37k|1000 |9864 | 27k| 0 | 0 |-2.437420e+02 |-5.100000e+01 | 79.08%
862.02/862.02 c 862s| 1 | 0 |617780 | - | 82M| 0 |1000 |1000 | 37k|1000 |9875 | 27k| 0 | 0 |-2.436893e+02 |-5.100000e+01 | 79.07%
866.62/866.63 c 867s| 1 | 0 |618472 | - | 82M| 0 |1000 |1000 | 37k|1000 |9841 | 27k| 0 | 0 |-2.436552e+02 |-5.100000e+01 | 79.07%
871.22/871.27 c 871s| 1 | 0 |619105 | - | 82M| 0 | 999 |1000 | 37k|1000 |9851 | 27k| 0 | 0 |-2.436188e+02 |-5.100000e+01 | 79.07%
876.02/876.02 c 876s| 1 | 0 |619724 | - | 82M| 0 | 999 |1000 | 37k|1000 |9861 | 27k| 0 | 0 |-2.435628e+02 |-5.100000e+01 | 79.06%
880.61/880.66 c 881s| 1 | 0 |620279 | - | 82M| 0 | 999 |1000 | 37k|1000 |9871 | 27k| 0 | 0 |-2.435136e+02 |-5.100000e+01 | 79.06%
885.12/885.13 c 885s| 1 | 0 |620655 | - | 82M| 0 | 998 |1000 | 37k|1000 |9884 | 27k| 0 | 0 |-2.434866e+02 |-5.100000e+01 | 79.05%
890.01/890.04 c 890s| 1 | 0 |621819 | - | 82M| 0 | 998 |1000 | 37k|1000 |9895 | 27k| 0 | 0 |-2.434319e+02 |-5.100000e+01 | 79.05%
894.92/894.97 c 895s| 1 | 0 |622805 | - | 82M| 0 |1000 |1000 | 37k|1000 |9863 | 27k| 0 | 0 |-2.433636e+02 |-5.100000e+01 | 79.04%
899.62/899.63 c 900s| 1 | 0 |623694 | - | 82M| 0 |1000 |1000 | 37k|1000 |9874 | 27k| 0 | 0 |-2.432936e+02 |-5.100000e+01 | 79.04%
904.42/904.47 c 904s| 1 | 0 |624519 | - | 82M| 0 |1000 |1000 | 37k|1000 |9884 | 27k| 0 | 0 |-2.432499e+02 |-5.100000e+01 | 79.03%
909.32/909.35 c 909s| 1 | 0 |625454 | - | 82M| 0 |1000 |1000 | 37k|1000 |9896 | 27k| 0 | 0 |-2.431927e+02 |-5.100000e+01 | 79.03%
914.02/914.08 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
914.02/914.08 c 914s| 1 | 0 |626098 | - | 82M| 0 |1000 |1000 | 37k|1000 |9907 | 27k| 0 | 0 |-2.431367e+02 |-5.100000e+01 | 79.02%
918.82/918.82 c 919s| 1 | 0 |626858 | - | 82M| 0 |1000 |1000 | 37k|1000 |9919 | 28k| 0 | 0 |-2.430970e+02 |-5.100000e+01 | 79.02%
923.62/923.64 c 924s| 1 | 0 |627594 | - | 82M| 0 | 998 |1000 | 37k|1000 |9881 | 28k| 0 | 0 |-2.430430e+02 |-5.100000e+01 | 79.02%
928.33/928.35 c 928s| 1 | 0 |628331 | - | 82M| 0 | 998 |1000 | 37k|1000 |9892 | 28k| 0 | 0 |-2.430104e+02 |-5.100000e+01 | 79.01%
932.83/932.87 c 933s| 1 | 0 |628886 | - | 82M| 0 | 999 |1000 | 37k|1000 |9901 | 28k| 0 | 0 |-2.429813e+02 |-5.100000e+01 | 79.01%
937.62/937.61 c 938s| 1 | 0 |629552 | - | 82M| 0 |1000 |1000 | 37k|1000 |9915 | 28k| 0 | 0 |-2.429370e+02 |-5.100000e+01 | 79.01%
942.52/942.57 c 943s| 1 | 0 |630587 | - | 82M| 0 |1000 |1000 | 37k|1000 |9928 | 28k| 0 | 0 |-2.428845e+02 |-5.100000e+01 | 79.00%
947.62/947.67 c 948s| 1 | 0 |631786 | - | 82M| 0 |1000 |1000 | 37k|1000 |9939 | 28k| 0 | 0 |-2.428255e+02 |-5.100000e+01 | 79.00%
952.52/952.52 c 953s| 1 | 0 |632640 | - | 82M| 0 | 999 |1000 | 37k|1000 |9903 | 28k| 0 | 0 |-2.427873e+02 |-5.100000e+01 | 78.99%
957.22/957.26 c 957s| 1 | 0 |633524 | - | 82M| 0 |1000 |1000 | 37k|1000 |9917 | 28k| 0 | 0 |-2.427399e+02 |-5.100000e+01 | 78.99%
961.92/961.96 c 962s| 1 | 0 |634374 | - | 82M| 0 |1000 |1000 | 37k|1000 |9930 | 28k| 0 | 0 |-2.427007e+02 |-5.100000e+01 | 78.99%
966.52/966.59 c 967s| 1 | 0 |635031 | - | 82M| 0 | 999 |1000 | 37k|1000 |9943 | 28k| 0 | 0 |-2.426641e+02 |-5.100000e+01 | 78.98%
971.52/971.50 c 972s| 1 | 0 |635937 | - | 82M| 0 |1000 |1000 | 37k|1000 |9954 | 28k| 0 | 0 |-2.426280e+02 |-5.100000e+01 | 78.98%
976.02/976.04 c 976s| 1 | 0 |636528 | - | 82M| 0 |1000 |1000 | 37k|1000 |9963 | 28k| 0 | 0 |-2.426083e+02 |-5.100000e+01 | 78.98%
981.02/981.09 c 981s| 1 | 0 |637748 | - | 82M| 0 |1000 |1000 | 37k|1000 |9922 | 28k| 0 | 0 |-2.425508e+02 |-5.100000e+01 | 78.97%
985.82/985.86 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
985.82/985.86 c 986s| 1 | 0 |638558 | - | 82M| 0 |1000 |1000 | 37k|1000 |9935 | 28k| 0 | 0 |-2.425200e+02 |-5.100000e+01 | 78.97%
990.73/990.78 c 991s| 1 | 0 |639638 | - | 82M| 0 |1000 |1000 | 37k|1000 |9947 | 28k| 0 | 0 |-2.424953e+02 |-5.100000e+01 | 78.97%
995.22/995.28 c 995s| 1 | 0 |640236 | - | 82M| 0 |1000 |1000 | 37k|1000 |9957 | 28k| 0 | 0 |-2.424683e+02 |-5.100000e+01 | 78.97%
999.83/999.87 c 1000s| 1 | 0 |640844 | - | 82M| 0 |1000 |1000 | 37k|1000 |9967 | 28k| 0 | 0 |-2.424435e+02 |-5.100000e+01 | 78.96%
1004.62/1004.68 c 1005s| 1 | 0 |641807 | - | 82M| 0 |1000 |1000 | 37k|1000 |9978 | 28k| 0 | 0 |-2.424120e+02 |-5.100000e+01 | 78.96%
1009.43/1009.45 c 1009s| 1 | 0 |642658 | - | 82M| 0 |1000 |1000 | 37k|1000 |9935 | 28k| 0 | 0 |-2.423874e+02 |-5.100000e+01 | 78.96%
1014.03/1014.02 c 1014s| 1 | 0 |643416 | - | 82M| 0 |1000 |1000 | 37k|1000 |9946 | 28k| 0 | 0 |-2.423685e+02 |-5.100000e+01 | 78.96%
1018.72/1018.76 c 1019s| 1 | 0 |644216 | - | 82M| 0 |1000 |1000 | 37k|1000 |9955 | 28k| 0 | 0 |-2.423483e+02 |-5.100000e+01 | 78.96%
1023.52/1023.51 c 1024s| 1 | 0 |645074 | - | 82M| 0 |1000 |1000 | 37k|1000 |9967 | 28k| 0 | 0 |-2.423210e+02 |-5.100000e+01 | 78.95%
1028.13/1028.12 c 1028s| 1 | 0 |645680 | - | 82M| 0 |1000 |1000 | 37k|1000 |9976 | 28k| 0 | 0 |-2.423026e+02 |-5.100000e+01 | 78.95%
1032.83/1032.83 c 1033s| 1 | 0 |646621 | - | 82M| 0 |1000 |1000 | 37k|1000 |9989 | 28k| 0 | 0 |-2.422749e+02 |-5.100000e+01 | 78.95%
1037.72/1037.71 c 1038s| 1 | 0 |647547 | - | 82M| 0 |1000 |1000 | 37k|1000 |9930 | 28k| 0 | 0 |-2.422432e+02 |-5.100000e+01 | 78.95%
1042.02/1042.06 c 1042s| 1 | 0 |647963 | - | 82M| 0 |1000 |1000 | 37k|1000 |9940 | 28k| 0 | 0 |-2.422328e+02 |-5.100000e+01 | 78.95%
1046.42/1046.48 c 1046s| 1 | 0 |648462 | - | 82M| 0 |1000 |1000 | 37k|1000 |9950 | 28k| 0 | 0 |-2.422146e+02 |-5.100000e+01 | 78.94%
1050.92/1050.98 c 1051s| 1 | 0 |648952 | - | 82M| 0 |1000 |1000 | 37k|1000 |9960 | 28k| 0 | 0 |-2.422017e+02 |-5.100000e+01 | 78.94%
1055.73/1055.75 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1055.73/1055.75 c 1056s| 1 | 0 |649976 | - | 82M| 0 |1000 |1000 | 37k|1000 |9969 | 28k| 0 | 0 |-2.421727e+02 |-5.100000e+01 | 78.94%
1060.33/1060.33 c 1060s| 1 | 0 |650777 | - | 82M| 0 | 999 |1000 | 37k|1000 |9980 | 28k| 0 | 0 |-2.421452e+02 |-5.100000e+01 | 78.94%
1065.22/1065.23 c 1065s| 1 | 0 |652108 | - | 82M| 0 | 999 |1000 | 37k|1000 |9941 | 28k| 0 | 0 |-2.421137e+02 |-5.100000e+01 | 78.94%
1069.43/1069.45 c 1069s| 1 | 0 |652529 | - | 82M| 0 |1000 |1000 | 37k|1000 |9949 | 28k| 0 | 0 |-2.421005e+02 |-5.100000e+01 | 78.93%
1073.92/1073.99 c 1074s| 1 | 0 |653347 | - | 82M| 0 |1000 |1000 | 37k|1000 |9960 | 28k| 0 | 0 |-2.420814e+02 |-5.100000e+01 | 78.93%
1078.52/1078.53 c 1079s| 1 | 0 |654206 | - | 82M| 0 |1000 |1000 | 37k|1000 |9970 | 28k| 0 | 0 |-2.420688e+02 |-5.100000e+01 | 78.93%
1083.02/1083.00 c 1083s| 1 | 0 |655005 | - | 82M| 0 |1000 |1000 | 37k|1000 |9980 | 28k| 0 | 0 |-2.420548e+02 |-5.100000e+01 | 78.93%
1087.53/1087.52 c 1088s| 1 | 0 |655848 | - | 82M| 0 |1000 |1000 | 37k|1000 |9992 | 28k| 0 | 0 |-2.420448e+02 |-5.100000e+01 | 78.93%
1091.92/1091.91 c 1092s| 1 | 0 |656416 | - | 82M| 0 |1000 |1000 | 37k|1000 |9952 | 28k| 0 | 0 |-2.420399e+02 |-5.100000e+01 | 78.93%
1096.13/1096.16 c 1096s| 1 | 0 |657009 | - | 82M| 0 |1000 |1000 | 37k|1000 |9961 | 28k| 0 | 0 |-2.420293e+02 |-5.100000e+01 | 78.93%
1100.42/1100.47 c 1100s| 1 | 0 |657647 | - | 82M| 0 | 998 |1000 | 37k|1000 |9969 | 28k| 0 | 0 |-2.420240e+02 |-5.100000e+01 | 78.93%
1104.72/1104.78 c 1105s| 1 | 0 |658150 | - | 82M| 0 |1000 |1000 | 37k|1000 |9978 | 28k| 0 | 0 |-2.420163e+02 |-5.100000e+01 | 78.93%
1109.23/1109.29 c 1109s| 1 | 0 |658950 | - | 82M| 0 |1000 |1000 | 37k|1000 |9988 | 28k| 0 | 0 |-2.420085e+02 |-5.100000e+01 | 78.93%
1113.92/1113.94 c 1114s| 1 | 0 |659765 | - | 82M| 0 |1000 |1000 | 37k|1000 |9994 | 28k| 0 | 0 |-2.420009e+02 |-5.100000e+01 | 78.93%
1118.12/1118.11 c 1118s| 1 | 0 |659786 | - | 82M| 0 | 967 |1000 | 37k|1000 |9922 | 28k| 0 | 0 |-2.420000e+02 |-5.100000e+01 | 78.93%
1157.82/1157.87 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1157.82/1157.87 c 1158s| 1 | 2 |659786 | - | 82M| 0 | 967 |1000 | 37k|1000 |9922 | 28k| 0 | 59 |-2.420000e+02 |-5.100000e+01 | 78.93%
1797.05/1797.00 c
1797.05/1797.00 c SCIP Status : solving was interrupted [time limit reached]
1797.05/1797.00 c Solving Time (sec) : 1797.00
1797.05/1797.00 c Solving Nodes : 341
1797.05/1797.00 c Primal Bound : -5.10000000000000e+01 (78 solutions)
1797.05/1797.00 c Dual Bound : -2.40514673032563e+02
1797.05/1797.00 c Gap : 78.80 %
1797.05/1797.01 s SATISFIABLE
1797.05/1797.01 v x1000 x999 -x998 -x997 -x996 -x995 -x994 -x993 -x992 -x991 -x990 -x989 -x988 -x987 -x986 -x985 -x984 -x983 -x982 -x981 -x980 -x979
1797.05/1797.01 v -x978 -x977 -x976 -x975 -x974 -x973 -x972 -x971 -x970 -x969 -x968 -x967 -x966 -x965 -x964 -x963 -x962 -x961 -x960 -x959 -x958
1797.05/1797.01 v -x957 -x956 -x955 -x954 x953 -x952 -x951 -x950 -x949 -x948 -x947 -x946 -x945 -x944 -x943 -x942 -x941 -x940 -x939 -x938 -x937
1797.05/1797.01 v -x936 -x935 -x934 -x933 -x932 -x931 -x930 -x929 -x928 -x927 -x926 -x925 -x924 -x923 -x922 -x921 -x920 -x919 -x918 -x917
1797.05/1797.01 v -x916 -x915 -x914 -x913 -x912 -x911 -x910 -x909 -x908 -x907 -x906 -x905 -x904 -x903 -x902 -x901 -x900 -x899 -x898 -x897 -x896
1797.05/1797.01 v -x895 -x894 -x893 -x892 -x891 -x890 -x889 -x888 -x887 -x886 -x885 -x884 -x883 -x882 -x881 -x880 -x879 -x878 -x877 -x876 -x875
1797.05/1797.01 v -x874 -x873 -x872 -x871 -x870 -x869 -x868 -x867 -x866 -x865 -x864 x863 -x862 -x861 -x860 -x859 -x858 -x857 -x856 -x855 -x854
1797.05/1797.01 v -x853 -x852 -x851 -x850 -x849 x848 -x847 -x846 -x845 -x844 -x843 -x842 -x841 -x840 -x839 -x838 -x837 -x836 -x835 -x834 -x833
1797.05/1797.01 v -x832 -x831 -x830 -x829 -x828 -x827 -x826 -x825 -x824 -x823 -x822 -x821 -x820 -x819 -x818 -x817 -x816 -x815 -x814 -x813 -x812
1797.05/1797.01 v -x811 -x810 -x809 -x808 -x807 -x806 x805 -x804 -x803 -x802 -x801 -x800 -x799 -x798 x797 -x796 -x795 -x794 -x793 -x792 -x791
1797.05/1797.01 v -x790 -x789 -x788 -x787 -x786 -x785 -x784 -x783 -x782 -x781 -x780 -x779 -x778 -x777 -x776 -x775 -x774 -x773 -x772 -x771 -x770
1797.05/1797.01 v -x769 -x768 x767 -x766 -x765 -x764 -x763 -x762 -x761 -x760 -x759 -x758 -x757 -x756 -x755 -x754 -x753 -x752 -x751 -x750 -x749
1797.05/1797.01 v -x748 -x747 -x746 -x745 -x744 -x743 -x742 -x741 -x740 -x739 -x738 -x737 -x736 -x735 -x734 -x733 x732 -x731 -x730 -x729 -x728
1797.05/1797.01 v -x727 -x726 -x725 -x724 -x723 -x722 -x721 -x720 -x719 -x718 -x717 -x716 -x715 -x714 -x713 -x712 -x711 -x710 -x709 -x708 -x707
1797.05/1797.01 v -x706 -x705 -x704 -x703 -x702 -x701 -x700 -x699 -x698 -x697 -x696 -x695 -x694 -x693 -x692 -x691 -x690 -x689 -x688 -x687 -x686
1797.05/1797.01 v -x685 -x684 -x683 -x682 -x681 x680 -x679 -x678 -x677 -x676 -x675 -x674 -x673 -x672 -x671 -x670 -x669 -x668 -x667 -x666 -x665
1797.05/1797.01 v -x664 -x663 -x662 x661 -x660 -x659 -x658 -x657 -x656 -x655 -x654 -x653 -x652 x651 -x650 -x649 -x648 -x647 -x646 -x645 -x644
1797.05/1797.01 v x643 -x642 -x641 -x640 -x639 -x638 -x637 -x636 -x635 -x634 -x633 -x632 -x631 -x630 -x629 -x628 -x627 -x626 -x625 -x624 -x623
1797.05/1797.01 v -x622 -x621 -x620 -x619 -x618 -x617 -x616 -x615 -x614 -x613 -x612 -x611 -x610 -x609 -x608 -x607 -x606 -x605 -x604 -x603 -x602
1797.05/1797.01 v -x601 -x600 -x599 -x598 -x597 -x596 -x595 -x594 -x593 -x592 -x591 -x590 -x589 -x588 -x587 -x586 -x585 -x584 -x583 -x582
1797.05/1797.01 v -x581 -x580 -x579 -x578 -x577 -x576 -x575 -x574 -x573 -x572 -x571 -x570 -x569 -x568 -x567 -x566 -x565 x564 -x563 -x562 -x561
1797.05/1797.01 v -x560 -x559 -x558 -x557 -x556 -x555 -x554 -x553 -x552 -x551 -x550 -x549 -x548 -x547 -x546 -x545 -x544 -x543 -x542 x541 -x540
1797.05/1797.01 v -x539 -x538 -x537 -x536 -x535 -x534 -x533 -x532 -x531 -x530 -x529 -x528 -x527 x526 -x525 -x524 -x523 -x522 -x521 -x520 -x519
1797.05/1797.01 v -x518 -x517 -x516 -x515 -x514 -x513 -x512 -x511 -x510 -x509 -x508 -x507 -x506 -x505 x504 -x503 -x502 -x501 -x500 -x499 -x498
1797.05/1797.01 v -x497 -x496 -x495 -x494 -x493 -x492 -x491 -x490 -x489 -x488 -x487 -x486 -x485 -x484 -x483 -x482 -x481 -x480 -x479 -x478 -x477
1797.05/1797.01 v -x476 -x475 -x474 -x473 -x472 -x471 -x470 -x469 -x468 -x467 -x466 -x465 -x464 -x463 -x462 -x461 -x460 -x459 x458 -x457 -x456
1797.05/1797.01 v -x455 -x454 -x453 x452 -x451 -x450 -x449 -x448 -x447 -x446 -x445 -x444 -x443 -x442 -x441 -x440 -x439 -x438 -x437 -x436 -x435
1797.05/1797.01 v -x434 -x433 -x432 -x431 -x430 -x429 -x428 -x427 -x426 -x425 -x424 -x423 -x422 -x421 -x420 -x419 -x418 -x417 -x416 -x415 -x414
1797.05/1797.01 v -x413 -x412 -x411 -x410 -x409 -x408 -x407 -x406 -x405 -x404 -x403 -x402 -x401 -x400 -x399 -x398 -x397 -x396 -x395 -x394 -x393
1797.05/1797.01 v -x392 -x391 -x390 -x389 -x388 -x387 -x386 -x385 -x384 -x383 -x382 -x381 -x380 -x379 -x378 -x377 -x376 -x375 -x374 -x373 -x372
1797.05/1797.01 v -x371 -x370 -x369 -x368 -x367 -x366 -x365 -x364 -x363 -x362 -x361 -x360 -x359 -x358 -x357 -x356 -x355 -x354 -x353 -x352 -x351
1797.05/1797.01 v -x350 -x349 -x348 -x347 -x346 -x345 -x344 -x343 x342 -x341 -x340 -x339 -x338 -x337 -x336 -x335 -x334 -x333 -x332 -x331 -x330
1797.05/1797.01 v -x329 -x328 -x327 -x326 -x325 -x324 -x323 x322 -x321 -x320 -x319 -x318 -x317 -x316 -x315 -x314 -x313 -x312 -x311 -x310 -x309
1797.05/1797.01 v -x308 -x307 -x306 -x305 -x304 -x303 -x302 -x301 -x300 -x299 -x298 -x297 -x296 -x295 -x294 -x293 -x292 -x291 -x290 -x289
1797.05/1797.01 v -x288 -x287 -x286 -x285 -x284 -x283 -x282 -x281 -x280 -x279 -x278 -x277 -x276 -x275 -x274 -x273 -x272 -x271 -x270 -x269 -x268
1797.05/1797.01 v -x267 -x266 -x265 -x264 -x263 -x262 -x261 -x260 -x259 -x258 -x257 -x256 -x255 -x254 -x253 -x252 -x251 -x250 x249 -x248 -x247
1797.05/1797.01 v -x246 -x245 -x244 -x243 -x242 -x241 -x240 -x239 -x238 -x237 -x236 -x235 -x234 -x233 -x232 -x231 -x230 -x229 -x228 -x227 -x226
1797.05/1797.01 v -x225 -x224 x223 -x222 -x221 -x220 -x219 -x218 -x217 -x216 -x215 -x214 -x213 -x212 -x211 -x210 -x209 -x208 -x207 -x206 -x205
1797.05/1797.01 v -x204 -x203 -x202 -x201 -x200 x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189 -x188 -x187 -x186 -x185 -x184
1797.05/1797.01 v -x183 -x182 -x181 -x180 -x179 -x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168 -x167 -x166 -x165 -x164 -x163
1797.05/1797.01 v x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 x152 -x151 -x150 -x149 x148 x147 -x146 -x145 -x144 -x143 -x142
1797.05/1797.01 v -x141 -x140 -x139 x138 -x137 -x136 -x135 -x134 -x133 x132 -x131 -x130 -x129 -x128 -x127 -x126 -x125 -x124 -x123 -x122 -x121 -x120
1797.05/1797.01 v -x119 -x118 -x117 -x116 -x115 x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105 -x104 -x103 -x102 -x101 -x100 -x99
1797.05/1797.01 v -x98 -x97 -x96 -x95 -x94 -x93 -x92 -x91 -x90 -x89 -x88 -x87 -x86 -x85 -x84 -x83 -x82 -x81 -x80 -x79 -x78 -x77 -x76 -x75 -x74
1797.05/1797.01 v -x73 -x72 -x71 -x70 -x69 -x68 -x67 -x66 -x65 -x64 x63 -x62 x61 -x60 -x59 -x58 -x57 -x56 -x55 -x54 -x53 x52 -x51 -x50 -x49
1797.05/1797.01 v -x48 -x47 -x46 -x45 -x44 -x43 -x42 -x41 -x40 -x39 -x38 -x37 -x36 -x35 -x34 -x33 -x32 -x31 -x30 x29 x28 x27 -x26 x25 -x24 -x23
1797.05/1797.01 v -x22 -x21 x20 x19 -x18 -x17 -x16 x15 -x14 x13 x12 -x11 x10 x9 x8 -x7 x6 x5 x4 x3 -x2 x1
1797.05/1797.01 c SCIP Status : solving was interrupted [time limit reached]
1797.05/1797.01 c Total Time : 1797.00
1797.05/1797.01 c solving : 1797.00
1797.05/1797.01 c presolving : 0.92 (included in solving)
1797.05/1797.01 c reading : 0.06 (included in solving)
1797.05/1797.01 c Original Problem :
1797.05/1797.01 c Problem name : HOME/instance-3485124-1307783255.opb
1797.05/1797.01 c Variables : 1000 (1000 binary, 0 integer, 0 implicit integer, 0 continuous)
1797.05/1797.01 c Constraints : 1000 initial, 1000 maximal
1797.05/1797.01 c Presolved Problem :
1797.05/1797.01 c Problem name : t_HOME/instance-3485124-1307783255.opb
1797.05/1797.01 c Variables : 1000 (1000 binary, 0 integer, 0 implicit integer, 0 continuous)
1797.05/1797.01 c Constraints : 37647 initial, 37647 maximal
1797.05/1797.01 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1797.05/1797.01 c trivial : 0.00 0 0 0 0 0 0 0 0 0
1797.05/1797.01 c dualfix : 0.00 0 0 0 0 0 0 0 0 0
1797.05/1797.01 c boundshift : 0.00 0 0 0 0 0 0 0 0 0
1797.05/1797.01 c inttobinary : 0.00 0 0 0 0 0 0 0 0 0
1797.05/1797.01 c implics : 0.00 0 0 0 0 0 0 0 0 0
1797.05/1797.01 c probing : 0.16 0 0 0 0 0 0 0 0 0
1797.05/1797.01 c and : 0.37 0 0 0 0 0 0 0 0 0
1797.05/1797.01 c linear : 0.10 37647 0 0 37647 0 1000 0 0 0
1797.05/1797.01 c logicor : 0.06 0 0 0 0 0 0 0 0 0
1797.05/1797.01 c root node : - 0 - - 0 - - - - -
1797.05/1797.01 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS #Check #Resprop Cutoffs DomReds Cuts Conss Children
1797.05/1797.01 c integral : 0 0 0 341 0 10813 0 0 0 0 0 682
1797.05/1797.01 c logicor : 37647 342 1390 0 0 10809 0 0 15940 35319 0 0
1797.05/1797.01 c countsols : 0 0 0 0 0 80 0 0 0 0 0 0
1797.05/1797.01 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS Check Resprop
1797.05/1797.01 c integral : 248.26 0.00 0.00 248.25 0.00 0.01 0.00
1797.05/1797.01 c logicor : 6.79 2.87 0.66 0.00 0.00 3.26 0.00
1797.05/1797.01 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1797.05/1797.01 c Propagators : #Propagate #Resprop Cutoffs DomReds
1797.05/1797.01 c vbounds : 0 0 0 0
1797.05/1797.01 c rootredcost : 0 0 0 0
1797.05/1797.01 c pseudoobj : 11672 0 0 0
1797.05/1797.01 c Propagator Timings : TotalTime Propagate Resprop
1797.05/1797.01 c vbounds : 0.00 0.00 0.00
1797.05/1797.01 c rootredcost : 0.00 0.00 0.00
1797.05/1797.01 c pseudoobj : 0.18 0.18 0.00
1797.05/1797.01 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1797.05/1797.01 c propagation : 0.00 0 0 0 0.0 0 0.0 -
1797.05/1797.01 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1797.05/1797.01 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1797.05/1797.01 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1797.05/1797.01 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1797.05/1797.01 c applied globally : - - - 0 0.0 - - -
1797.05/1797.01 c applied locally : - - - 0 0.0 - - -
1797.05/1797.01 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1797.05/1797.01 c cut pool : 1.15 341 - - 6559 - (maximal pool size: 20729)
1797.05/1797.01 c redcost : 0.01 682 0 0 0 0
1797.05/1797.01 c impliedbounds : 0.40 340 0 0 33844 0
1797.05/1797.01 c intobj : 0.00 0 0 0 0 0
1797.05/1797.01 c gomory : 795.10 338 0 0 78507 0
1797.05/1797.01 c cgmip : 0.00 0 0 0 0 0
1797.05/1797.01 c closecuts : 0.00 0 0 0 0 0
1797.05/1797.01 c strongcg : 1.74 20 0 0 10000 0
1797.05/1797.01 c cmir : 1.47 10 0 0 0 0
1797.05/1797.01 c flowcover : 1.34 10 0 0 0 0
1797.05/1797.01 c clique : 14.74 338 0 0 3132 0
1797.05/1797.01 c zerohalf : 0.00 0 0 0 0 0
1797.05/1797.01 c mcf : 0.02 1 0 0 0 0
1797.05/1797.01 c oddcycle : 0.00 0 0 0 0 0
1797.05/1797.01 c rapidlearning : 0.00 0 0 0 0 0
1797.05/1797.01 c Pricers : Time Calls Vars
1797.05/1797.01 c problem variables: 0.00 0 0
1797.05/1797.01 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1797.05/1797.01 c relpscost : 248.25 341 0 0 0 0 682
1797.05/1797.01 c pscost : 0.00 0 0 0 0 0 0
1797.05/1797.01 c inference : 0.00 0 0 0 0 0 0
1797.05/1797.01 c mostinf : 0.00 0 0 0 0 0 0
1797.05/1797.01 c leastinf : 0.00 0 0 0 0 0 0
1797.05/1797.01 c fullstrong : 0.00 0 0 0 0 0 0
1797.05/1797.01 c allfullstrong : 0.00 0 0 0 0 0 0
1797.05/1797.01 c random : 0.00 0 0 0 0 0 0
1797.05/1797.01 c Primal Heuristics : Time Calls Found
1797.05/1797.01 c LP solutions : 0.00 - 0
1797.05/1797.01 c pseudo solutions : 0.00 - 0
1797.05/1797.01 c oneopt : 0.01 2 1
1797.05/1797.01 c crossover : 0.02 1 0
1797.05/1797.01 c trivial : 0.02 2 1
1797.05/1797.01 c shiftandpropagate: 0.00 0 0
1797.05/1797.01 c simplerounding : 0.60 682 61
1797.05/1797.01 c zirounding : 0.16 341 0
1797.05/1797.01 c rounding : 12.92 682 1
1797.05/1797.01 c shifting : 8.87 373 1
1797.05/1797.01 c intshifting : 0.00 0 0
1797.05/1797.01 c twoopt : 0.00 0 0
1797.05/1797.01 c fixandinfer : 0.00 0 0
1797.05/1797.01 c feaspump : 0.00 0 0
1797.05/1797.01 c clique : 0.00 0 0
1797.05/1797.01 c coefdiving : 34.00 16 2
1797.05/1797.01 c pscostdiving : 28.10 13 1
1797.05/1797.01 c fracdiving : 29.98 15 1
1797.05/1797.01 c veclendiving : 37.01 25 9
1797.05/1797.01 c intdiving : 0.00 0 0
1797.05/1797.01 c actconsdiving : 0.00 0 0
1797.05/1797.01 c objpscostdiving : 34.86 1 0
1797.05/1797.01 c rootsoldiving : 7.88 5 0
1797.05/1797.01 c linesearchdiving : 22.57 12 0
1797.05/1797.01 c guideddiving : 22.34 13 0
1797.05/1797.01 c octane : 0.00 0 0
1797.05/1797.01 c rens : 0.01 0 0
1797.05/1797.01 c rins : 0.00 0 0
1797.05/1797.01 c localbranching : 0.00 0 0
1797.05/1797.01 c mutation : 0.00 0 0
1797.05/1797.01 c dins : 0.00 0 0
1797.05/1797.01 c vbounds : 0.00 0 0
1797.05/1797.01 c undercover : 0.00 0 0
1797.05/1797.01 c subnlp : 0.00 0 0
1797.05/1797.01 c trysol : 0.00 0 0
1797.05/1797.01 c LP : Time Calls Iterations Iter/call Iter/sec
1797.05/1797.01 c primal LP : 1.04 0 0 0.00 0.00
1797.05/1797.01 c dual LP : 483.65 682 1887362 2767.39 3902.34
1797.05/1797.01 c lex dual LP : 0.00 0 0 0.00 -
1797.05/1797.01 c barrier LP : 0.00 0 0 0.00 -
1797.05/1797.01 c diving/probing LP: 210.80 9988 1714466 171.65 8133.24
1797.05/1797.01 c strong branching : 248.18 1483 1101529 742.77 4438.51
1797.05/1797.01 c (at root node) : - 59 53013 898.53 -
1797.05/1797.01 c conflict analysis: 0.00 0 0 0.00 -
1797.05/1797.01 c B&B Tree :
1797.05/1797.01 c number of runs : 1
1797.05/1797.01 c nodes : 341
1797.05/1797.01 c nodes (total) : 341
1797.05/1797.01 c nodes left : 342
1797.05/1797.01 c max depth : 31
1797.05/1797.01 c max depth (total): 31
1797.05/1797.01 c backtracks : 111 (32.6%)
1797.05/1797.01 c delayed cutoffs : 0
1797.05/1797.01 c repropagations : 0 (0 domain reductions, 0 cutoffs)
1797.05/1797.01 c avg switch length: 4.79
1797.05/1797.01 c switching time : 0.19
1797.05/1797.01 c Solution :
1797.05/1797.01 c Solutions found : 78 (4 improvements)
1797.05/1797.01 c First Solution : +0.00000000000000e+00 (in run 1, after 0 nodes, 0.24 seconds, depth 0, found by <trivial>)
1797.05/1797.01 c Primal Bound : -5.10000000000000e+01 (in run 1, after 1 nodes, 2.24 seconds, depth 0, found by <oneopt>)
1797.05/1797.01 c Dual Bound : -2.40514673032563e+02
1797.05/1797.01 c Gap : 78.80 %
1797.05/1797.01 c Root Dual Bound : -2.42000000000001e+02
1797.05/1797.01 c Root Iterations : 659786
1797.15/1797.10 c Time complete: 1797.15.
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 988)
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-3485124-1307783255/watcher-3485124-1307783255 -o /tmp/evaluation-result-3485124-1307783255/solver-3485124-1307783255 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3485124-1307783255.opb -t 1800 -m 15500
running on 4 cores: 1,3,5,7
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: 2.00 2.00 2.00 2/177 18486
/proc/meminfo: memFree=31746604/32951124 swapFree=67053960/67111528
[pid=18486] ppid=18484 vsize=10704 CPUtime=0 cores=1,3,5,7
/proc/18486/stat : 18486 (scip-2.0.1.4_2.) R 18484 18486 15536 0 -1 4202496 1683 0 0 0 0 0 0 0 25 0 1 0 870740976 10960896 1637 33554432000 4194304 8979876 140736919391568 18446744073709551615 6779003 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/18486/statm: 2676 1637 367 1169 0 1503 0
[startup+0.0973931 s]
/proc/loadavg: 2.00 2.00 2.00 2/177 18486
/proc/meminfo: memFree=31746604/32951124 swapFree=67053960/67111528
[pid=18486] ppid=18484 vsize=36252 CPUtime=0.09 cores=1,3,5,7
/proc/18486/stat : 18486 (scip-2.0.1.4_2.) R 18484 18486 15536 0 -1 4202496 7819 0 0 0 8 1 0 0 25 0 1 0 870740976 37122048 7773 33554432000 4194304 8979876 140736919391568 18446744073709551615 7955656 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/18486/statm: 9063 7773 456 1169 0 7890 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 36252
[startup+0.10039 s]
/proc/loadavg: 2.00 2.00 2.00 2/177 18486
/proc/meminfo: memFree=31746604/32951124 swapFree=67053960/67111528
[pid=18486] ppid=18484 vsize=37564 CPUtime=0.09 cores=1,3,5,7
/proc/18486/stat : 18486 (scip-2.0.1.4_2.) R 18484 18486 15536 0 -1 4202496 8148 0 0 0 8 1 0 0 25 0 1 0 870740976 38465536 8102 33554432000 4194304 8979876 140736919391568 18446744073709551615 6779003 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/18486/statm: 9391 8124 456 1169 0 8218 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 37564
[startup+0.300356 s]
/proc/loadavg: 2.00 2.00 2.00 2/177 18486
/proc/meminfo: memFree=31746604/32951124 swapFree=67053960/67111528
[pid=18486] ppid=18484 vsize=94004 CPUtime=0.29 cores=1,3,5,7
/proc/18486/stat : 18486 (scip-2.0.1.4_2.) R 18484 18486 15536 0 -1 4202496 22045 0 0 0 27 2 0 0 25 0 1 0 870740976 96260096 21544 33554432000 4194304 8979876 140736919391568 18446744073709551615 7836068 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/18486/statm: 23501 21544 480 1169 0 22328 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 94004
[startup+0.700294 s]
/proc/loadavg: 2.00 2.00 2.00 2/177 18486
/proc/meminfo: memFree=31746604/32951124 swapFree=67053960/67111528
[pid=18486] ppid=18484 vsize=101500 CPUtime=0.69 cores=1,3,5,7
/proc/18486/stat : 18486 (scip-2.0.1.4_2.) R 18484 18486 15536 0 -1 4202496 26258 0 0 0 67 2 0 0 25 0 1 0 870740976 103936000 23406 33554432000 4194304 8979876 140736919391568 18446744073709551615 6492877 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/18486/statm: 25375 23406 501 1169 0 24202 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 101500
[startup+1.50014 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 18487
/proc/meminfo: memFree=31645560/32951124 swapFree=67053960/67111528
[pid=18486] ppid=18484 vsize=169148 CPUtime=1.49 cores=1,3,5,7
/proc/18486/stat : 18486 (scip-2.0.1.4_2.) R 18484 18486 15536 0 -1 4202496 44739 0 0 0 143 6 0 0 25 0 1 0 870740976 173207552 39711 33554432000 4194304 8979876 140736919391568 18446744073709551615 6956464 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/18486/statm: 42287 39711 795 1169 0 41114 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 169148
[startup+3.10085 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 18487
/proc/meminfo: memFree=31589148/32951124 swapFree=67053960/67111528
[pid=18486] ppid=18484 vsize=170620 CPUtime=3.09 cores=1,3,5,7
/proc/18486/stat : 18486 (scip-2.0.1.4_2.) R 18484 18486 15536 0 -1 4202496 45435 0 0 0 303 6 0 0 25 0 1 0 870740976 174714880 40241 33554432000 4194304 8979876 140736919391568 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/18486/statm: 42655 40241 814 1169 0 41482 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 170620
[startup+6.30025 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 18487
/proc/meminfo: memFree=31582756/32951124 swapFree=67053960/67111528
[pid=18486] ppid=18484 vsize=175556 CPUtime=6.29 cores=1,3,5,7
/proc/18486/stat : 18486 (scip-2.0.1.4_2.) R 18484 18486 15536 0 -1 4202496 46777 0 0 0 622 7 0 0 25 0 1 0 870740976 179769344 41455 33554432000 4194304 8979876 140736919391568 18446744073709551615 6250912 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/18486/statm: 43889 41455 688 1169 0 42716 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 175556
[startup+12.7011 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 18487
/proc/meminfo: memFree=31571276/32951124 swapFree=67053960/67111528
[pid=18486] ppid=18484 vsize=188048 CPUtime=12.69 cores=1,3,5,7
/proc/18486/stat : 18486 (scip-2.0.1.4_2.) R 18484 18486 15536 0 -1 4202496 49791 0 0 0 1259 10 0 0 25 0 1 0 870740976 192561152 44469 33554432000 4194304 8979876 140736919391568 18446744073709551615 6258147 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/18486/statm: 47012 44469 688 1169 0 45839 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 188048
[startup+25.5007 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 18487
/proc/meminfo: memFree=31562112/32951124 swapFree=67053960/67111528
[pid=18486] ppid=18484 vsize=195492 CPUtime=25.49 cores=1,3,5,7
/proc/18486/stat : 18486 (scip-2.0.1.4_2.) R 18484 18486 15536 0 -1 4202496 51986 0 0 0 2525 24 0 0 25 0 1 0 870740976 200183808 46579 33554432000 4194304 8979876 140736919391568 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/18486/statm: 48873 46579 668 1169 0 47700 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 195492
[startup+51.101 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 18488
/proc/meminfo: memFree=31540932/32951124 swapFree=67053960/67111528
[pid=18486] ppid=18484 vsize=218976 CPUtime=51.1 cores=1,3,5,7
/proc/18486/stat : 18486 (scip-2.0.1.4_2.) R 18484 18486 15536 0 -1 4202496 57740 0 0 0 5057 53 0 0 25 0 1 0 870740976 224231424 52267 33554432000 4194304 8979876 140736919391568 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/18486/statm: 54744 52267 663 1169 0 53571 0
Current children cumulated CPU time (s) 51.1
Current children cumulated vsize (KiB) 218976
[startup+102.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 18489
/proc/meminfo: memFree=31501592/32951124 swapFree=67053960/67111528
[pid=18486] ppid=18484 vsize=256708 CPUtime=102.3 cores=1,3,5,7
/proc/18486/stat : 18486 (scip-2.0.1.4_2.) R 18484 18486 15536 0 -1 4202496 67215 0 0 0 10135 95 0 0 25 0 1 0 870740976 262868992 61490 33554432000 4194304 8979876 140736919391568 18446744073709551615 6258147 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/18486/statm: 64177 61490 932 1169 0 63004 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 256708
[startup+162.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 18491
/proc/meminfo: memFree=31495560/32951124 swapFree=67053960/67111528
[pid=18486] ppid=18484 vsize=256708 CPUtime=162.3 cores=1,3,5,7
/proc/18486/stat : 18486 (scip-2.0.1.4_2.) R 18484 18486 15536 0 -1 4202496 67233 0 0 0 16096 134 0 0 25 0 1 0 870740976 262868992 61508 33554432000 4194304 8979876 140736919391568 18446744073709551615 7146196 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/18486/statm: 64177 61508 932 1169 0 63004 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 256708
[startup+222.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 18493
/proc/meminfo: memFree=31491528/32951124 swapFree=67053960/67111528
[pid=18486] ppid=18484 vsize=258172 CPUtime=222.3 cores=1,3,5,7
/proc/18486/stat : 18486 (scip-2.0.1.4_2.) R 18484 18486 15536 0 -1 4202496 67234 0 0 0 22064 166 0 0 25 0 1 0 870740976 264368128 61509 33554432000 4194304 8979876 140736919391568 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/18486/statm: 64543 61509 932 1169 0 63370 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 258172
[startup+282.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 18494
/proc/meminfo: memFree=31470128/32951124 swapFree=67053960/67111528
[pid=18486] ppid=18484 vsize=258172 CPUtime=282.3 cores=1,3,5,7
/proc/18486/stat : 18486 (scip-2.0.1.4_2.) R 18484 18486 15536 0 -1 4202496 67305 0 0 0 28030 200 0 0 25 0 1 0 870740976 264368128 61510 33554432000 4194304 8979876 140736919391568 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/18486/statm: 64543 61510 863 1169 0 63370 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 258172
[startup+342.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 18496
/proc/meminfo: memFree=31470324/32951124 swapFree=67053960/67111528
[pid=18486] ppid=18484 vsize=258172 CPUtime=342.3 cores=1,3,5,7
/proc/18486/stat : 18486 (scip-2.0.1.4_2.) R 18484 18486 15536 0 -1 4202496 67307 0 0 0 33999 231 0 0 25 0 1 0 870740976 264368128 61512 33554432000 4194304 8979876 140736919391568 18446744073709551615 4777104 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/18486/statm: 64543 61512 863 1169 0 63370 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 258172
[startup+402.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 18497
/proc/meminfo: memFree=31469632/32951124 swapFree=67053960/67111528
[pid=18486] ppid=18484 vsize=258172 CPUtime=402.3 cores=1,3,5,7
/proc/18486/stat : 18486 (scip-2.0.1.4_2.) R 18484 18486 15536 0 -1 4202496 67427 0 0 0 39972 258 0 0 25 0 1 0 870740976 264368128 61512 33554432000 4194304 8979876 140736919391568 18446744073709551615 6601961 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/18486/statm: 64543 61512 743 1169 0 63370 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 258172
[startup+462.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 18499
/proc/meminfo: memFree=31456420/32951124 swapFree=67053960/67111528
[pid=18486] ppid=18484 vsize=258172 CPUtime=462.3 cores=1,3,5,7
/proc/18486/stat : 18486 (scip-2.0.1.4_2.) R 18484 18486 15536 0 -1 4202496 67427 0 0 0 45948 282 0 0 25 0 1 0 870740976 264368128 61512 33554432000 4194304 8979876 140736919391568 18446744073709551615 7226500 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/18486/statm: 64543 61512 743 1169 0 63370 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 258172
[startup+522.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 18501
/proc/meminfo: memFree=31455372/32951124 swapFree=67053960/67111528
[pid=18486] ppid=18484 vsize=258172 CPUtime=522.31 cores=1,3,5,7
/proc/18486/stat : 18486 (scip-2.0.1.4_2.) R 18484 18486 15536 0 -1 4202496 67427 0 0 0 51928 303 0 0 25 0 1 0 870740976 264368128 61512 33554432000 4194304 8979876 140736919391568 18446744073709551615 6543892 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/18486/statm: 64543 61512 743 1169 0 63370 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 258172
[startup+582.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 18502
/proc/meminfo: memFree=31450832/32951124 swapFree=67053960/67111528
[pid=18486] ppid=18484 vsize=258172 CPUtime=582.31 cores=1,3,5,7
/proc/18486/stat : 18486 (scip-2.0.1.4_2.) R 18484 18486 15536 0 -1 4202496 67427 0 0 0 57908 323 0 0 25 0 1 0 870740976 264368128 61512 33554432000 4194304 8979876 140736919391568 18446744073709551615 6601671 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/18486/statm: 64543 61512 743 1169 0 63370 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 258172
[startup+642.301 s]
################
# More data... #
################
/proc/meminfo: memFree=31377800/32951124 swapFree=67053960/67111528
[pid=18486] ppid=18484 vsize=258172 CPUtime=1062.33 cores=1,3,5,7
/proc/18486/stat : 18486 (scip-2.0.1.4_2.) R 18484 18486 15536 0 -1 4202496 67456 0 0 0 105740 493 0 0 25 0 1 0 870740976 264368128 61541 33554432000 4194304 8979876 140736919391568 18446744073709551615 6543946 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/18486/statm: 64543 61541 743 1169 0 63370 0
Current children cumulated CPU time (s) 1062.33
Current children cumulated vsize (KiB) 258172
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 18520
/proc/meminfo: memFree=31370004/32951124 swapFree=67053960/67111528
[pid=18486] ppid=18484 vsize=258172 CPUtime=1122.33 cores=1,3,5,7
/proc/18486/stat : 18486 (scip-2.0.1.4_2.) R 18484 18486 15536 0 -1 4202496 67659 0 0 0 111720 513 0 0 25 0 1 0 870740976 264368128 61650 33554432000 4194304 8979876 140736919391568 18446744073709551615 7146128 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/18486/statm: 64543 61650 681 1169 0 63370 0
Current children cumulated CPU time (s) 1122.33
Current children cumulated vsize (KiB) 258172
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 18521
/proc/meminfo: memFree=31359312/32951124 swapFree=67053960/67111528
[pid=18486] ppid=18484 vsize=258172 CPUtime=1182.33 cores=1,3,5,7
/proc/18486/stat : 18486 (scip-2.0.1.4_2.) R 18484 18486 15536 0 -1 4202496 67661 0 0 0 117685 548 0 0 25 0 1 0 870740976 264368128 61652 33554432000 4194304 8979876 140736919391568 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/18486/statm: 64543 61652 683 1169 0 63370 0
Current children cumulated CPU time (s) 1182.33
Current children cumulated vsize (KiB) 258172
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 18523
/proc/meminfo: memFree=31349608/32951124 swapFree=67053960/67111528
[pid=18486] ppid=18484 vsize=258172 CPUtime=1242.33 cores=1,3,5,7
/proc/18486/stat : 18486 (scip-2.0.1.4_2.) R 18484 18486 15536 0 -1 4202496 67661 0 0 0 123606 627 0 0 25 0 1 0 870740976 264368128 61652 33554432000 4194304 8979876 140736919391568 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/18486/statm: 64543 61652 683 1169 0 63370 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 258172
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 18524
/proc/meminfo: memFree=31339784/32951124 swapFree=67053960/67111528
[pid=18486] ppid=18484 vsize=258172 CPUtime=1302.33 cores=1,3,5,7
/proc/18486/stat : 18486 (scip-2.0.1.4_2.) R 18484 18486 15536 0 -1 4202496 67666 0 0 0 129454 779 0 0 25 0 1 0 870740976 264368128 61657 33554432000 4194304 8979876 140736919391568 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/18486/statm: 64543 61657 688 1169 0 63370 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 258172
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 18526
/proc/meminfo: memFree=31328952/32951124 swapFree=67053960/67111528
[pid=18486] ppid=18484 vsize=258172 CPUtime=1362.33 cores=1,3,5,7
/proc/18486/stat : 18486 (scip-2.0.1.4_2.) R 18484 18486 15536 0 -1 4202496 67666 0 0 0 135358 875 0 0 25 0 1 0 870740976 264368128 61657 33554432000 4194304 8979876 140736919391568 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/18486/statm: 64543 61657 688 1169 0 63370 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 258172
[startup+1422.31 s]
/proc/loadavg: 2.05 2.01 2.00 3/178 18528
/proc/meminfo: memFree=31316764/32951124 swapFree=67053960/67111528
[pid=18486] ppid=18484 vsize=258172 CPUtime=1422.34 cores=1,3,5,7
/proc/18486/stat : 18486 (scip-2.0.1.4_2.) R 18484 18486 15536 0 -1 4202496 67666 0 0 0 141246 988 0 0 25 0 1 0 870740976 264368128 61657 33554432000 4194304 8979876 140736919391568 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/18486/statm: 64543 61657 688 1169 0 63370 0
Current children cumulated CPU time (s) 1422.34
Current children cumulated vsize (KiB) 258172
[startup+1482.3 s]
/proc/loadavg: 1.45 1.85 1.95 2/172 18553
/proc/meminfo: memFree=31574360/32951124 swapFree=67053960/67111528
[pid=18486] ppid=18484 vsize=258172 CPUtime=1482.34 cores=1,3,5,7
/proc/18486/stat : 18486 (scip-2.0.1.4_2.) R 18484 18486 15536 0 -1 4202496 67666 0 0 0 147048 1186 0 0 25 0 1 0 870740976 264368128 61657 33554432000 4194304 8979876 140736919391568 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/18486/statm: 64543 61657 688 1169 0 63370 0
Current children cumulated CPU time (s) 1482.34
Current children cumulated vsize (KiB) 258172
[startup+1542.3 s]
/proc/loadavg: 1.16 1.70 1.89 2/172 18555
/proc/meminfo: memFree=31574468/32951124 swapFree=67053960/67111528
[pid=18486] ppid=18484 vsize=258172 CPUtime=1542.34 cores=1,3,5,7
/proc/18486/stat : 18486 (scip-2.0.1.4_2.) R 18484 18486 15536 0 -1 4202496 67666 0 0 0 152815 1419 0 0 25 0 1 0 870740976 264368128 61657 33554432000 4194304 8979876 140736919391568 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/18486/statm: 64543 61657 688 1169 0 63370 0
Current children cumulated CPU time (s) 1542.34
Current children cumulated vsize (KiB) 258172
[startup+1602.3 s]
/proc/loadavg: 1.06 1.57 1.83 2/172 18556
/proc/meminfo: memFree=31574684/32951124 swapFree=67053960/67111528
[pid=18486] ppid=18484 vsize=258172 CPUtime=1602.34 cores=1,3,5,7
/proc/18486/stat : 18486 (scip-2.0.1.4_2.) R 18484 18486 15536 0 -1 4202496 67666 0 0 0 158598 1636 0 0 25 0 1 0 870740976 264368128 61657 33554432000 4194304 8979876 140736919391568 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/18486/statm: 64543 61657 688 1169 0 63370 0
Current children cumulated CPU time (s) 1602.34
Current children cumulated vsize (KiB) 258172
[startup+1662.3 s]
/proc/loadavg: 1.02 1.46 1.77 2/172 18558
/proc/meminfo: memFree=31574656/32951124 swapFree=67053960/67111528
[pid=18486] ppid=18484 vsize=258172 CPUtime=1662.35 cores=1,3,5,7
/proc/18486/stat : 18486 (scip-2.0.1.4_2.) R 18484 18486 15536 0 -1 4202496 67680 0 0 0 164382 1853 0 0 25 0 1 0 870740976 264368128 61671 33554432000 4194304 8979876 140736919391568 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/18486/statm: 64543 61671 702 1169 0 63370 0
Current children cumulated CPU time (s) 1662.35
Current children cumulated vsize (KiB) 258172
[startup+1722.3 s]
/proc/loadavg: 1.01 1.37 1.72 2/172 18560
/proc/meminfo: memFree=31574756/32951124 swapFree=67053960/67111528
[pid=18486] ppid=18484 vsize=258172 CPUtime=1722.34 cores=1,3,5,7
/proc/18486/stat : 18486 (scip-2.0.1.4_2.) R 18484 18486 15536 0 -1 4202496 67680 0 0 0 170161 2073 0 0 25 0 1 0 870740976 264368128 61671 33554432000 4194304 8979876 140736919391568 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/18486/statm: 64543 61671 702 1169 0 63370 0
Current children cumulated CPU time (s) 1722.34
Current children cumulated vsize (KiB) 258172
[startup+1782.3 s]
/proc/loadavg: 1.00 1.30 1.67 2/172 18561
/proc/meminfo: memFree=31574848/32951124 swapFree=67053960/67111528
[pid=18486] ppid=18484 vsize=258172 CPUtime=1782.34 cores=1,3,5,7
/proc/18486/stat : 18486 (scip-2.0.1.4_2.) R 18484 18486 15536 0 -1 4202496 67680 0 0 0 175961 2273 0 0 25 0 1 0 870740976 264368128 61671 33554432000 4194304 8979876 140736919391568 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/18486/statm: 64543 61671 702 1169 0 63370 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 258172
Solver just ended. Dumping a history of the last processes samples
[startup+1785.5 s]
/proc/loadavg: 1.00 1.30 1.67 2/172 18561
/proc/meminfo: memFree=31574848/32951124 swapFree=67053960/67111528
[pid=18486] ppid=18484 vsize=258172 CPUtime=1785.55 cores=1,3,5,7
/proc/18486/stat : 18486 (scip-2.0.1.4_2.) R 18484 18486 15536 0 -1 4202496 67680 0 0 0 176269 2286 0 0 25 0 1 0 870740976 264368128 61671 33554432000 4194304 8979876 140736919391568 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/18486/statm: 64543 61671 702 1169 0 63370 0
Current children cumulated CPU time (s) 1785.55
Current children cumulated vsize (KiB) 258172
[startup+1791.91 s]
/proc/loadavg: 1.00 1.29 1.67 2/172 18561
/proc/meminfo: memFree=31574832/32951124 swapFree=67053960/67111528
[pid=18486] ppid=18484 vsize=258172 CPUtime=1791.95 cores=1,3,5,7
/proc/18486/stat : 18486 (scip-2.0.1.4_2.) R 18484 18486 15536 0 -1 4202496 67680 0 0 0 176889 2306 0 0 25 0 1 0 870740976 264368128 61671 33554432000 4194304 8979876 140736919391568 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/18486/statm: 64543 61671 702 1169 0 63370 0
Current children cumulated CPU time (s) 1791.95
Current children cumulated vsize (KiB) 258172
[startup+1795.1 s]
/proc/loadavg: 1.00 1.29 1.66 2/172 18562
/proc/meminfo: memFree=31574956/32951124 swapFree=67053960/67111528
[pid=18486] ppid=18484 vsize=258172 CPUtime=1795.15 cores=1,3,5,7
/proc/18486/stat : 18486 (scip-2.0.1.4_2.) R 18484 18486 15536 0 -1 4202496 67680 0 0 0 177199 2316 0 0 25 0 1 0 870740976 264368128 61671 33554432000 4194304 8979876 140736919391568 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/18486/statm: 64543 61671 702 1169 0 63370 0
Current children cumulated CPU time (s) 1795.15
Current children cumulated vsize (KiB) 258172
[startup+1795.9 s]
/proc/loadavg: 1.00 1.29 1.66 2/172 18562
/proc/meminfo: memFree=31574956/32951124 swapFree=67053960/67111528
[pid=18486] ppid=18484 vsize=258172 CPUtime=1795.95 cores=1,3,5,7
/proc/18486/stat : 18486 (scip-2.0.1.4_2.) R 18484 18486 15536 0 -1 4202496 67680 0 0 0 177276 2319 0 0 25 0 1 0 870740976 264368128 61671 33554432000 4194304 8979876 140736919391568 18446744073709551615 7184810 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/18486/statm: 64543 61671 702 1169 0 63370 0
Current children cumulated CPU time (s) 1795.95
Current children cumulated vsize (KiB) 258172
[startup+1796.7 s]
/proc/loadavg: 1.00 1.29 1.66 2/172 18562
/proc/meminfo: memFree=31574956/32951124 swapFree=67053960/67111528
[pid=18486] ppid=18484 vsize=258172 CPUtime=1796.75 cores=1,3,5,7
/proc/18486/stat : 18486 (scip-2.0.1.4_2.) R 18484 18486 15536 0 -1 4202496 67680 0 0 0 177353 2322 0 0 25 0 1 0 870740976 264368128 61671 33554432000 4194304 8979876 140736919391568 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/18486/statm: 64543 61671 702 1169 0 63370 0
Current children cumulated CPU time (s) 1796.75
Current children cumulated vsize (KiB) 258172
[startup+1797.1 s]
/proc/loadavg: 1.00 1.29 1.66 2/172 18562
/proc/meminfo: memFree=31574956/32951124 swapFree=67053960/67111528
[pid=18486] ppid=18484 vsize=93396 CPUtime=1797.15 cores=1,3,5,7
/proc/18486/stat : 18486 (scip-2.0.1.4_2.) R 18484 18486 15536 0 -1 4202496 67684 0 0 0 177391 2324 0 0 25 0 1 0 870740976 95637504 17520 33554432000 4194304 8979876 140736919391568 18446744073709551615 8073290 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/18486/statm: 23349 17520 705 1169 0 22176 0
Current children cumulated CPU time (s) 1797.15
Current children cumulated vsize (KiB) 93396
Child status: 0
Real time (s): 1797.1
CPU time (s): 1797.16
CPU user time (s): 1773.91
CPU system time (s): 23.2475
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 258172
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1773.91
system time used= 23.2475
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 67689
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= 2630
runsolver used 2.35264 second user time and 5.85711 second system time
The end