0.39/0.40 c SCIP version 1.1.0.7
0.39/0.40 c LP-Solver SoPlex 1.4.1
0.39/0.40 c user parameter file <scip.set> not found - using default parameters
0.39/0.40 c read problem <HOME/instance-1870446-1245204657.opb>
0.39/0.40 c original problem has 38644 variables (38644 bin, 0 int, 0 impl, 0 cont) and 38644 constraints
0.68/0.78 c start presolving problem
0.68/0.78 c presolving:
1.98/2.01 c (round 1) 37644 del vars, 1000 del conss, 37644 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 150576 impls, 0 clqs
4.39/4.49 c (3.8s) probing: 101/1000 (10.1%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
4.39/4.49 c (3.8s) probing aborted: 100/100 successive totally useless probings
4.39/4.49 c presolving (2 rounds):
4.39/4.49 c 37644 deleted vars, 1000 deleted constraints, 37644 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
4.39/4.49 c 225864 implications, 0 cliques
4.39/4.49 c presolved problem has 1000 variables (1000 bin, 0 int, 0 impl, 0 cont) and 37644 constraints
4.39/4.49 c 37644 constraints of type <and>
4.39/4.49 c transformed objective value is always integral (scale: 1)
4.39/4.49 c Presolving Time: 3.62
4.39/4.49 c OPT-NLC
4.39/4.49 c -----------------------------------------------------------------------------------------------
4.39/4.49 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
4.39/4.49 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
4.39/4.49 c limits/memory = c 1620
4.39/4.49 c # maximal time in seconds to run
4.39/4.49 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
4.39/4.49 c limits/time = c 1791
4.39/4.49 c # frequency for displaying node information lines
4.39/4.49 c # [type: int, range: [-1,2147483647], default: 100]
4.39/4.49 c display/freq = c 10000
4.39/4.49 c -----------------------------------------------------------------------------------------------
4.39/4.49 c start solving problem
4.39/4.49 c
6.59/6.61 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
6.59/6.61 c 5.9s| 1 | 0 | 1062 | 139M| 0 |1000 |1000 | 37k| 37k|1000 | 37k| 0 | 0 | 0 |-5.000000e+02 | -- | Inf
6.59/6.66 o -52
6.59/6.66 c R 5.9s| 1 | 0 | 1062 | 139M| 0 |1000 |1000 | 37k| 37k|1000 | 37k| 0 | 0 | 0 |-5.000000e+02 |-5.200000e+01 | 89.60%
9.19/9.24 c 8.5s| 1 | 0 | 1244 | 139M| 0 | 988 |1000 | 37k| 37k|1000 | 37k| 10 | 0 | 0 |-4.940000e+02 |-5.200000e+01 | 89.47%
12.19/12.27 c 11.5s| 1 | 0 | 1490 | 139M| 0 | 980 |1000 | 37k| 37k|1000 | 37k| 16 | 0 | 0 |-4.900000e+02 |-5.200000e+01 | 89.39%
14.68/14.75 c 13.9s| 1 | 0 | 1623 | 139M| 0 | 973 |1000 | 37k| 37k|1000 | 37k| 22 | 0 | 0 |-4.865000e+02 |-5.200000e+01 | 89.31%
17.88/17.91 c 17.1s| 1 | 0 | 1831 | 139M| 0 | 966 |1000 | 37k| 37k|1000 | 37k| 30 | 0 | 0 |-4.830000e+02 |-5.200000e+01 | 89.23%
20.68/20.76 c 19.9s| 1 | 0 | 1990 | 139M| 0 | 961 |1000 | 37k| 37k|1000 | 37k| 38 | 0 | 0 |-4.805000e+02 |-5.200000e+01 | 89.18%
24.48/24.50 c 23.6s| 1 | 0 | 2284 | 139M| 0 | 952 |1000 | 37k| 37k|1000 | 37k| 50 | 0 | 0 |-4.760000e+02 |-5.200000e+01 | 89.08%
28.58/28.60 c 27.7s| 1 | 0 | 2611 | 139M| 0 | 944 |1000 | 37k| 37k|1000 | 37k| 56 | 0 | 0 |-4.720000e+02 |-5.200000e+01 | 88.98%
32.47/32.52 c 31.6s| 1 | 0 | 2872 | 139M| 0 | 937 |1000 | 37k| 37k|1000 | 37k| 61 | 0 | 0 |-4.685000e+02 |-5.200000e+01 | 88.90%
37.17/37.23 c 36.4s| 1 | 0 | 3270 | 139M| 0 | 935 |1000 | 37k| 37k|1000 | 37k| 67 | 0 | 0 |-4.660000e+02 |-5.200000e+01 | 88.84%
41.07/41.19 c 40.3s| 1 | 0 | 3522 | 139M| 0 | 929 |1000 | 37k| 37k|1000 | 37k| 73 | 0 | 0 |-4.640000e+02 |-5.200000e+01 | 88.79%
44.46/44.60 c 43.7s| 1 | 0 | 3857 | 139M| 0 | 920 |1000 | 37k| 37k|1000 |1315 | 81 | 0 | 0 |-4.600000e+02 |-5.200000e+01 | 88.70%
44.97/45.00 c 44.1s| 1 | 0 | 4139 | 139M| 0 | 855 |1000 | 37k| 37k|1000 |1322 | 88 | 0 | 0 |-4.595000e+02 |-5.200000e+01 | 88.68%
45.97/46.06 c 45.1s| 1 | 0 | 4370 | 140M| 0 | 913 |1000 | 37k| 37k|1000 |3322 |2088 | 0 | 0 |-4.575000e+02 |-5.200000e+01 | 88.63%
46.66/46.73 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
46.66/46.73 c 45.8s| 1 | 0 | 4922 | 140M| 0 | 907 |1000 | 37k| 37k|1000 |3384 |2150 | 0 | 0 |-4.550000e+02 |-5.200000e+01 | 88.57%
47.37/47.42 c 46.5s| 1 | 0 | 5347 | 140M| 0 | 907 |1000 | 37k| 37k|1000 |3788 |2554 | 0 | 0 |-4.520000e+02 |-5.200000e+01 | 88.50%
48.06/48.16 c 47.2s| 1 | 0 | 5930 | 140M| 0 | 902 |1000 | 37k| 37k|1000 |3794 |2560 | 0 | 0 |-4.495000e+02 |-5.200000e+01 | 88.43%
48.76/48.86 c 47.9s| 1 | 0 | 6577 | 140M| 0 | 912 |1000 | 37k| 37k|1000 |3407 |2567 | 0 | 0 |-4.463333e+02 |-5.200000e+01 | 88.35%
53.57/53.63 c 52.7s| 1 | 0 | 6841 | 140M| 0 | 892 |1000 | 37k| 37k|1000 |5407 |4567 | 0 | 0 |-4.460000e+02 |-5.200000e+01 | 88.34%
54.36/54.40 c 53.5s| 1 | 0 | 7285 | 140M| 0 | 891 |1000 | 37k| 37k|1000 |5414 |4574 | 0 | 0 |-4.450000e+02 |-5.200000e+01 | 88.31%
55.16/55.22 c 54.3s| 1 | 0 | 7853 | 140M| 0 | 881 |1000 | 37k| 37k|1000 |5486 |4646 | 0 | 0 |-4.435000e+02 |-5.200000e+01 | 88.28%
56.07/56.15 c 55.2s| 1 | 0 | 8462 | 140M| 0 | 884 |1000 | 37k| 37k|1000 |5737 |4897 | 0 | 0 |-4.405000e+02 |-5.200000e+01 | 88.20%
57.17/57.27 c 56.3s| 1 | 0 | 9329 | 140M| 0 | 877 |1000 | 37k| 37k|1000 |5744 |4904 | 0 | 0 |-4.385000e+02 |-5.200000e+01 | 88.14%
58.56/58.66 c 57.7s| 1 | 0 | 10537 | 140M| 0 | 869 |1000 | 37k| 37k|1000 |3757 |4957 | 0 | 0 |-4.355000e+02 |-5.200000e+01 | 88.06%
59.37/59.41 c 58.4s| 1 | 0 | 11235 | 140M| 0 | 873 |1000 | 37k| 37k|1000 |3901 |5101 | 0 | 0 |-4.337500e+02 |-5.200000e+01 | 88.01%
60.26/60.35 c 59.4s| 1 | 0 | 12178 | 141M| 0 | 866 |1000 | 37k| 37k|1000 |4338 |5538 | 0 | 0 |-4.315000e+02 |-5.200000e+01 | 87.95%
61.06/61.13 c 60.2s| 1 | 0 | 12737 | 141M| 0 | 850 |1000 | 37k| 37k|1000 |4483 |5683 | 0 | 0 |-4.300000e+02 |-5.200000e+01 | 87.91%
61.86/61.90 c 60.9s| 1 | 0 | 13327 | 141M| 0 | 852 |1000 | 37k| 37k|1000 |4831 |6031 | 0 | 0 |-4.270000e+02 |-5.200000e+01 | 87.82%
62.36/62.46 c 61.5s| 1 | 0 | 13676 | 141M| 0 | 852 |1000 | 37k| 37k|1000 |4971 |6171 | 0 | 0 |-4.260000e+02 |-5.200000e+01 | 87.79%
63.27/63.39 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
63.27/63.39 c 62.4s| 1 | 0 | 14424 | 141M| 0 | 837 |1000 | 37k| 37k|1000 |4327 |6179 | 0 | 0 |-4.235000e+02 |-5.200000e+01 | 87.72%
64.06/64.11 c 63.1s| 1 | 0 | 15003 | 141M| 0 | 840 |1000 | 37k| 37k|1000 |4611 |6463 | 0 | 0 |-4.210000e+02 |-5.200000e+01 | 87.65%
64.66/64.71 c 63.7s| 1 | 0 | 15493 | 141M| 0 | 831 |1000 | 37k| 37k|1000 |4673 |6525 | 0 | 0 |-4.190000e+02 |-5.200000e+01 | 87.59%
65.36/65.46 c 64.5s| 1 | 0 | 16027 | 141M| 0 | 827 |1000 | 37k| 37k|1000 |5091 |6943 | 0 | 0 |-4.165000e+02 |-5.200000e+01 | 87.52%
66.06/66.19 c 65.2s| 1 | 0 | 16601 | 142M| 0 | 827 |1000 | 37k| 37k|1000 |5272 |7124 | 0 | 0 |-4.145000e+02 |-5.200000e+01 | 87.45%
67.36/67.43 c 66.4s| 1 | 0 | 17746 | 142M| 0 | 830 |1000 | 37k| 37k|1000 |5337 |7189 | 0 | 0 |-4.128750e+02 |-5.200000e+01 | 87.41%
68.56/68.69 c 67.7s| 1 | 0 | 18844 | 142M| 0 | 813 |1000 | 37k| 37k|1000 |4529 |7424 | 0 | 0 |-4.095000e+02 |-5.200000e+01 | 87.30%
69.36/69.45 c 68.4s| 1 | 0 | 19564 | 142M| 0 | 860 |1000 | 37k| 37k|1000 |4706 |7601 | 0 | 0 |-4.071000e+02 |-5.200000e+01 | 87.23%
73.96/74.05 c 73.0s| 1 | 0 | 19928 | 142M| 0 | 813 |1000 | 37k| 37k|1000 |6706 |9601 | 0 | 0 |-4.065000e+02 |-5.200000e+01 | 87.21%
74.85/74.99 c 74.0s| 1 | 0 | 20485 | 142M| 0 | 807 |1000 | 37k| 37k|1000 |6711 |9606 | 0 | 0 |-4.045000e+02 |-5.200000e+01 | 87.14%
75.86/75.98 c 74.9s| 1 | 0 | 21083 | 142M| 0 | 798 |1000 | 37k| 37k|1000 |6771 |9666 | 0 | 0 |-4.030000e+02 |-5.200000e+01 | 87.10%
76.76/76.86 c 75.8s| 1 | 0 | 21612 | 142M| 0 | 801 |1000 | 37k| 37k|1000 |7014 |9909 | 0 | 0 |-4.005000e+02 |-5.200000e+01 | 87.02%
77.76/77.82 c 76.8s| 1 | 0 | 22078 | 142M| 0 | 795 |1000 | 37k| 37k|1000 |6035 |9918 | 0 | 0 |-3.985000e+02 |-5.200000e+01 | 86.95%
78.56/78.60 c 77.5s| 1 | 0 | 22547 | 142M| 0 | 794 |1000 | 37k| 37k|1000 |6083 |9966 | 0 | 0 |-3.970000e+02 |-5.200000e+01 | 86.90%
79.35/79.41 c 78.3s| 1 | 0 | 23029 | 142M| 0 | 786 |1000 | 37k| 37k|1000 |6095 |9978 | 0 | 0 |-3.960000e+02 |-5.200000e+01 | 86.87%
80.16/80.24 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
80.16/80.24 c 79.2s| 1 | 0 | 23497 | 142M| 0 | 782 |1000 | 37k| 37k|1000 |6265 | 10k| 0 | 0 |-3.950000e+02 |-5.200000e+01 | 86.84%
81.16/81.27 c 80.2s| 1 | 0 | 24128 | 142M| 0 | 788 |1000 | 37k| 37k|1000 |6480 | 10k| 0 | 0 |-3.930000e+02 |-5.200000e+01 | 86.77%
82.15/82.20 c 81.1s| 1 | 0 | 24738 | 142M| 0 | 783 |1000 | 37k| 37k|1000 |6488 | 10k| 0 | 0 |-3.915000e+02 |-5.200000e+01 | 86.72%
83.16/83.27 c 82.2s| 1 | 0 | 25312 | 142M| 0 | 775 |1000 | 37k| 37k|1000 |5396 | 10k| 0 | 0 |-3.905000e+02 |-5.200000e+01 | 86.68%
84.05/84.16 c 83.1s| 1 | 0 | 25936 | 142M| 0 | 777 |1000 | 37k| 37k|1000 |5537 | 10k| 0 | 0 |-3.895000e+02 |-5.200000e+01 | 86.65%
84.56/84.69 c 83.6s| 1 | 0 | 26213 | 142M| 0 | 769 |1000 | 37k| 37k|1000 |5597 | 10k| 0 | 0 |-3.875000e+02 |-5.200000e+01 | 86.58%
85.46/85.57 c 84.5s| 1 | 0 | 26755 | 143M| 0 | 773 |1000 | 37k| 37k|1000 |5764 | 10k| 0 | 0 |-3.865000e+02 |-5.200000e+01 | 86.55%
86.35/86.46 c 85.4s| 1 | 0 | 27347 | 143M| 0 | 769 |1000 | 37k| 37k|1000 |5771 | 10k| 0 | 0 |-3.855000e+02 |-5.200000e+01 | 86.51%
87.46/87.50 c 86.4s| 1 | 0 | 28124 | 143M| 0 | 772 |1000 | 37k| 37k|1000 |5825 | 10k| 0 | 0 |-3.830000e+02 |-5.200000e+01 | 86.42%
88.45/88.56 c 87.5s| 1 | 0 | 28803 | 143M| 0 | 755 |1000 | 37k| 37k|1000 |5430 | 10k| 0 | 0 |-3.825000e+02 |-5.200000e+01 | 86.41%
89.46/89.55 c 88.5s| 1 | 0 | 29556 | 143M| 0 | 790 |1000 | 37k| 37k|1000 |5667 | 11k| 0 | 0 |-3.813750e+02 |-5.200000e+01 | 86.37%
90.95/91.07 c 90.0s| 1 | 0 | 30547 | 143M| 0 | 756 |1000 | 37k| 37k|1000 |6580 | 12k| 0 | 0 |-3.780000e+02 |-5.200000e+01 | 86.24%
92.15/92.20 c 91.1s| 1 | 0 | 31206 | 143M| 0 | 752 |1000 | 37k| 37k|1000 |6589 | 12k| 0 | 0 |-3.770000e+02 |-5.200000e+01 | 86.21%
93.15/93.26 c 92.2s| 1 | 0 | 31894 | 143M| 0 | 751 |1000 | 37k| 37k|1000 |6644 | 12k| 0 | 0 |-3.765000e+02 |-5.200000e+01 | 86.19%
94.46/94.59 c 93.5s| 1 | 0 | 32671 | 143M| 0 | 748 |1000 | 37k| 37k|1000 |6716 | 12k| 0 | 0 |-3.760000e+02 |-5.200000e+01 | 86.17%
95.96/96.08 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
95.96/96.08 c 95.0s| 1 | 0 | 33573 | 143M| 0 | 744 |1000 | 37k| 37k|1000 |6195 | 12k| 0 | 0 |-3.740000e+02 |-5.200000e+01 | 86.10%
97.25/97.37 c 96.2s| 1 | 0 | 34522 | 143M| 0 | 741 |1000 | 37k| 37k|1000 |6312 | 12k| 0 | 0 |-3.725000e+02 |-5.200000e+01 | 86.04%
98.05/98.14 c 97.0s| 1 | 0 | 34973 | 143M| 0 | 741 |1000 | 37k| 37k|1000 |6410 | 12k| 0 | 0 |-3.715000e+02 |-5.200000e+01 | 86.00%
99.16/99.20 c 98.1s| 1 | 0 | 35594 | 143M| 0 | 736 |1000 | 37k| 37k|1000 |6463 | 12k| 0 | 0 |-3.710000e+02 |-5.200000e+01 | 85.98%
100.55/100.65 c 99.5s| 1 | 0 | 36694 | 144M| 0 | 740 |1000 | 37k| 37k|1000 |6614 | 12k| 0 | 0 |-3.700000e+02 |-5.200000e+01 | 85.95%
102.05/102.17 c 101s| 1 | 0 | 37670 | 144M| 0 | 737 |1000 | 37k| 37k|1000 |6625 | 12k| 0 | 0 |-3.685000e+02 |-5.200000e+01 | 85.89%
103.05/103.11 c 102s| 1 | 0 | 38225 | 144M| 0 | 751 |1000 | 37k| 37k|1000 |5411 | 12k| 0 | 0 |-3.677500e+02 |-5.200000e+01 | 85.86%
104.86/105.00 c 104s| 1 | 0 | 39751 | 144M| 0 | 725 |1000 | 37k| 37k|1000 |5579 | 12k| 0 | 0 |-3.655000e+02 |-5.200000e+01 | 85.77%
106.35/106.43 c 105s| 1 | 0 | 40829 | 144M| 0 | 730 |1000 | 37k| 37k|1000 |5727 | 13k| 0 | 0 |-3.650000e+02 |-5.200000e+01 | 85.75%
107.75/107.83 c 107s| 1 | 0 | 41871 | 144M| 0 | 731 |1000 | 37k| 37k|1000 |5881 | 13k| 0 | 0 |-3.640000e+02 |-5.200000e+01 | 85.71%
109.65/109.72 c 109s| 1 | 0 | 43442 | 144M| 0 | 718 |1000 | 37k| 37k|1000 |6317 | 13k| 0 | 0 |-3.610000e+02 |-5.200000e+01 | 85.60%
110.95/111.08 c 110s| 1 | 0 | 44314 | 144M| 0 | 719 |1000 | 37k| 37k|1000 |6435 | 13k| 0 | 0 |-3.595000e+02 |-5.200000e+01 | 85.54%
112.06/112.18 c 111s| 1 | 0 | 44905 | 144M| 0 | 712 |1000 | 37k| 37k|1000 |5975 | 13k| 0 | 0 |-3.580000e+02 |-5.200000e+01 | 85.47%
113.25/113.36 c 112s| 1 | 0 | 45646 | 144M| 0 | 707 |1000 | 37k| 37k|1000 |6064 | 13k| 0 | 0 |-3.575000e+02 |-5.200000e+01 | 85.45%
114.64/114.70 c 114s| 1 | 0 | 46610 | 144M| 0 | 721 |1000 | 37k| 37k|1000 |6247 | 14k| 0 | 0 |-3.557500e+02 |-5.200000e+01 | 85.38%
115.75/115.88 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
115.75/115.88 c 115s| 1 | 0 | 47467 | 144M| 0 | 734 |1000 | 37k| 37k|1000 |6258 | 14k| 0 | 0 |-3.548750e+02 |-5.200000e+01 | 85.35%
117.05/117.11 c 116s| 1 | 0 | 48308 | 144M| 0 | 736 |1000 | 37k| 37k|1000 |6423 | 14k| 0 | 0 |-3.540833e+02 |-5.200000e+01 | 85.31%
119.05/119.11 c 118s| 1 | 0 | 49600 | 144M| 0 | 709 |1000 | 37k| 37k|1000 |6782 | 14k| 0 | 0 |-3.522500e+02 |-5.200000e+01 | 85.24%
120.24/120.36 c 119s| 1 | 0 | 50379 | 145M| 0 | 708 |1000 | 37k| 37k|1000 |6532 | 14k| 0 | 0 |-3.515000e+02 |-5.200000e+01 | 85.21%
121.65/121.72 c 121s| 1 | 0 | 51263 | 145M| 0 | 714 |1000 | 37k| 37k|1000 |6541 | 14k| 0 | 0 |-3.507500e+02 |-5.200000e+01 | 85.17%
123.15/123.29 c 122s| 1 | 0 | 52381 | 145M| 0 | 696 |1000 | 37k| 37k|1000 |6597 | 14k| 0 | 0 |-3.490000e+02 |-5.200000e+01 | 85.10%
124.55/124.61 c 123s| 1 | 0 | 53446 | 145M| 0 | 695 |1000 | 37k| 37k|1000 |6655 | 14k| 0 | 0 |-3.485000e+02 |-5.200000e+01 | 85.08%
126.14/126.25 c 125s| 1 | 0 | 54581 | 145M| 0 | 691 |1000 | 37k| 37k|1000 |6714 | 14k| 0 | 0 |-3.475000e+02 |-5.200000e+01 | 85.04%
128.75/128.83 c 128s| 1 | 0 | 56688 | 145M| 0 | 761 |1000 | 37k| 37k|1000 |6815 | 14k| 0 | 0 |-3.454000e+02 |-5.200000e+01 | 84.94%
130.94/131.03 c 130s| 1 | 0 | 58105 | 145M| 0 | 710 |1000 | 37k| 37k|1000 |6810 | 15k| 0 | 0 |-3.433750e+02 |-5.200000e+01 | 84.86%
132.54/132.64 c 131s| 1 | 0 | 59318 | 146M| 0 | 713 |1000 | 37k| 37k|1000 |6825 | 15k| 0 | 0 |-3.417500e+02 |-5.200000e+01 | 84.78%
134.54/134.68 c 133s| 1 | 0 | 60740 | 146M| 0 | 747 |1000 | 37k| 37k|1000 |6838 | 15k| 0 | 0 |-3.407273e+02 |-5.200000e+01 | 84.74%
136.45/136.53 c 135s| 1 | 0 | 61956 | 146M| 0 | 707 |1000 | 37k| 37k|1000 |7085 | 15k| 0 | 0 |-3.402500e+02 |-5.200000e+01 | 84.72%
138.25/138.33 c 137s| 1 | 0 | 63389 | 146M| 0 | 679 |1000 | 37k| 37k|1000 |7177 | 16k| 0 | 0 |-3.387500e+02 |-5.200000e+01 | 84.65%
139.44/139.52 c 138s| 1 | 0 | 64147 | 146M| 0 | 765 |1000 | 37k| 37k|1000 |7183 | 16k| 0 | 0 |-3.384286e+02 |-5.200000e+01 | 84.63%
140.94/141.09 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
140.94/141.09 c 140s| 1 | 0 | 65068 | 147M| 0 | 682 |1000 | 37k| 37k|1000 |6781 | 16k| 0 | 0 |-3.377500e+02 |-5.200000e+01 | 84.60%
142.94/143.02 c 142s| 1 | 0 | 66390 | 147M| 0 | 747 |1000 | 37k| 37k|1000 |6830 | 16k| 0 | 0 |-3.373214e+02 |-5.200000e+01 | 84.58%
144.94/145.07 c 144s| 1 | 0 | 67902 | 147M| 0 | 756 |1000 | 37k| 37k|1000 |6940 | 16k| 0 | 0 |-3.362490e+02 |-5.200000e+01 | 84.54%
147.44/147.53 c 146s| 1 | 0 | 69474 | 148M| 0 | 760 |1000 | 37k| 37k|1000 |7043 | 16k| 0 | 0 |-3.345787e+02 |-5.200000e+01 | 84.46%
150.14/150.22 c 149s| 1 | 0 | 71444 | 150M| 0 | 754 |1000 | 37k| 37k|1000 |7251 | 16k| 0 | 0 |-3.328235e+02 |-5.200000e+01 | 84.38%
152.94/153.05 c 152s| 1 | 0 | 73448 | 151M| 0 | 797 |1000 | 37k| 37k|1000 |7554 | 17k| 0 | 0 |-3.315543e+02 |-5.200000e+01 | 84.32%
155.34/155.44 c 154s| 1 | 0 | 75086 | 152M| 0 | 722 |1000 | 37k| 37k|1000 |7239 | 17k| 0 | 0 |-3.287500e+02 |-5.200000e+01 | 84.18%
158.24/158.36 c 157s| 1 | 0 | 76763 | 152M| 0 | 729 |1000 | 37k| 37k|1000 |7247 | 17k| 0 | 0 |-3.280000e+02 |-5.200000e+01 | 84.15%
162.83/162.90 c 162s| 1 | 0 | 79314 | 153M| 0 | 759 |1000 | 37k| 37k|1000 |7338 | 17k| 0 | 0 |-3.274857e+02 |-5.200000e+01 | 84.12%
165.64/165.78 c 164s| 1 | 0 | 81204 | 156M| 0 | 774 |1000 | 37k| 37k|1000 |7357 | 17k| 0 | 0 |-3.263252e+02 |-5.200000e+01 | 84.06%
168.44/168.54 c 167s| 1 | 0 | 82934 | 159M| 0 | 773 |1000 | 37k| 37k|1000 |7422 | 17k| 0 | 0 |-3.255371e+02 |-5.200000e+01 | 84.03%
172.83/172.94 c 172s| 1 | 0 | 85387 | 160M| 0 | 810 |1000 | 37k| 37k|1000 |7536 | 17k| 0 | 0 |-3.235629e+02 |-5.200000e+01 | 83.93%
176.94/177.01 c 176s| 1 | 0 | 87366 | 163M| 0 | 769 |1000 | 37k| 37k|1000 |7758 | 18k| 0 | 0 |-3.221884e+02 |-5.200000e+01 | 83.86%
179.74/179.86 c 178s| 1 | 0 | 88997 | 164M| 0 | 790 |1000 | 37k| 37k|1000 |7817 | 18k| 0 | 0 |-3.209122e+02 |-5.200000e+01 | 83.80%
183.03/183.12 c 182s| 1 | 0 | 90386 | 164M| 0 | 795 |1000 | 37k| 37k|1000 |7883 | 18k| 0 | 0 |-3.202164e+02 |-5.200000e+01 | 83.76%
186.63/186.72 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
186.63/186.72 c 185s| 1 | 0 | 92075 | 164M| 0 | 788 |1000 | 37k| 37k|1000 |7925 | 18k| 0 | 0 |-3.196056e+02 |-5.200000e+01 | 83.73%
190.03/190.15 c 189s| 1 | 0 | 93589 | 164M| 0 | 803 |1000 | 37k| 37k|1000 |7964 | 18k| 0 | 0 |-3.187523e+02 |-5.200000e+01 | 83.69%
194.03/194.17 c 193s| 1 | 0 | 95311 | 164M| 0 | 805 |1000 | 37k| 37k|1000 |8065 | 18k| 0 | 0 |-3.176197e+02 |-5.200000e+01 | 83.63%
198.13/198.23 c 197s| 1 | 0 | 96717 | 164M| 0 | 802 |1000 | 37k| 37k|1000 |7257 | 18k| 0 | 0 |-3.168261e+02 |-5.200000e+01 | 83.59%
201.13/201.21 c 200s| 1 | 0 | 97846 | 164M| 0 | 792 |1000 | 37k| 37k|1000 |7267 | 18k| 0 | 0 |-3.159608e+02 |-5.200000e+01 | 83.54%
204.83/204.99 c 204s| 1 | 0 | 99562 | 164M| 0 | 805 |1000 | 37k| 37k|1000 |7348 | 18k| 0 | 0 |-3.146481e+02 |-5.200000e+01 | 83.47%
209.72/209.87 c 208s| 1 | 0 |101905 | 164M| 0 | 813 |1000 | 37k| 37k|1000 |7392 | 19k| 0 | 0 |-3.130979e+02 |-5.200000e+01 | 83.39%
215.72/215.80 c 214s| 1 | 0 |104592 | 165M| 0 | 818 |1000 | 37k| 37k|1000 |7459 | 19k| 0 | 0 |-3.109328e+02 |-5.200000e+01 | 83.28%
219.82/219.98 c 218s| 1 | 0 |106120 | 165M| 0 | 814 |1000 | 37k| 37k|1000 |7655 | 19k| 0 | 0 |-3.103379e+02 |-5.200000e+01 | 83.24%
224.23/224.37 c 223s| 1 | 0 |107834 | 165M| 0 | 811 |1000 | 37k| 37k|1000 |7006 | 19k| 0 | 0 |-3.089663e+02 |-5.200000e+01 | 83.17%
228.52/228.61 c 227s| 1 | 0 |109695 | 165M| 0 | 790 |1000 | 37k| 37k|1000 |7069 | 19k| 0 | 0 |-3.078912e+02 |-5.200000e+01 | 83.11%
233.02/233.20 c 232s| 1 | 0 |111771 | 165M| 0 | 796 |1000 | 37k| 37k|1000 |7162 | 19k| 0 | 0 |-3.068421e+02 |-5.200000e+01 | 83.05%
237.62/237.76 c 236s| 1 | 0 |113778 | 165M| 0 | 817 |1000 | 37k| 37k|1000 |7178 | 19k| 0 | 0 |-3.057563e+02 |-5.200000e+01 | 82.99%
242.11/242.21 c 241s| 1 | 0 |115422 | 165M| 0 | 804 |1000 | 37k| 37k|1000 |7273 | 19k| 0 | 0 |-3.053692e+02 |-5.200000e+01 | 82.97%
248.01/248.11 c 247s| 1 | 0 |118071 | 165M| 0 | 816 |1000 | 37k| 37k|1000 |7288 | 19k| 0 | 0 |-3.036936e+02 |-5.200000e+01 | 82.88%
253.31/253.49 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
253.31/253.49 c 252s| 1 | 0 |119910 | 165M| 0 | 801 |1000 | 37k| 37k|1000 |7358 | 19k| 0 | 0 |-3.028760e+02 |-5.200000e+01 | 82.83%
258.21/258.38 c 257s| 1 | 0 |121779 | 165M| 0 | 820 |1000 | 37k| 37k|1000 |7370 | 19k| 0 | 0 |-3.017688e+02 |-5.200000e+01 | 82.77%
264.61/264.76 c 263s| 1 | 0 |124130 | 165M| 0 | 818 |1000 | 37k| 37k|1000 |7487 | 20k| 0 | 0 |-2.999393e+02 |-5.200000e+01 | 82.66%
267.91/268.09 c 266s| 1 | 0 |125006 | 165M| 0 | 819 |1000 | 37k| 37k|1000 |7552 | 20k| 0 | 0 |-2.997775e+02 |-5.200000e+01 | 82.65%
273.11/273.27 c 272s| 1 | 0 |126968 | 165M| 0 | 833 |1000 | 37k| 37k|1000 |7563 | 20k| 0 | 0 |-2.989659e+02 |-5.200000e+01 | 82.61%
278.11/278.22 c 277s| 1 | 0 |128207 | 165M| 0 | 841 |1000 | 37k| 37k|1000 |7586 | 20k| 0 | 0 |-2.986571e+02 |-5.200000e+01 | 82.59%
284.51/284.62 c 283s| 1 | 0 |130216 | 165M| 0 | 825 |1000 | 37k| 37k|1000 |7217 | 20k| 0 | 0 |-2.977698e+02 |-5.200000e+01 | 82.54%
289.80/289.90 c 288s| 1 | 0 |131673 | 165M| 0 | 866 |1000 | 37k| 37k|1000 |7277 | 20k| 0 | 0 |-2.972462e+02 |-5.200000e+01 | 82.51%
298.30/298.46 c 297s| 1 | 0 |133487 | 165M| 0 | 842 |1000 | 37k| 37k|1000 |7911 | 20k| 0 | 0 |-2.965947e+02 |-5.200000e+01 | 82.47%
305.10/305.29 c 304s| 1 | 0 |135344 | 165M| 0 | 834 |1000 | 37k| 37k|1000 |7967 | 20k| 0 | 0 |-2.957986e+02 |-5.200000e+01 | 82.42%
311.00/311.10 c 309s| 1 | 0 |136760 | 165M| 0 | 838 |1000 | 37k| 37k|1000 |8060 | 21k| 0 | 0 |-2.950705e+02 |-5.200000e+01 | 82.38%
318.29/318.40 c 317s| 1 | 0 |138778 | 165M| 0 | 838 |1000 | 37k| 37k|1000 |8107 | 21k| 0 | 0 |-2.944473e+02 |-5.200000e+01 | 82.34%
324.30/324.50 c 323s| 1 | 0 |140280 | 165M| 0 | 837 |1000 | 37k| 37k|1000 |7864 | 21k| 0 | 0 |-2.938019e+02 |-5.200000e+01 | 82.30%
332.00/332.12 c 330s| 1 | 0 |142720 | 165M| 0 | 833 |1000 | 37k| 37k|1000 |7904 | 21k| 0 | 0 |-2.928742e+02 |-5.200000e+01 | 82.24%
338.80/338.90 c 337s| 1 | 0 |144671 | 165M| 0 | 821 |1000 | 37k| 37k|1000 |7994 | 21k| 0 | 0 |-2.922656e+02 |-5.200000e+01 | 82.21%
344.20/344.34 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
344.20/344.34 c 343s| 1 | 0 |146163 | 165M| 0 | 827 |1000 | 37k| 37k|1000 |8026 | 21k| 0 | 0 |-2.918137e+02 |-5.200000e+01 | 82.18%
351.69/351.85 c 350s| 1 | 0 |148392 | 165M| 0 | 836 |1000 | 37k| 37k|1000 |8062 | 21k| 0 | 0 |-2.910265e+02 |-5.200000e+01 | 82.13%
358.89/359.08 c 357s| 1 | 0 |149998 | 164M| 0 | 839 |1000 | 37k| 37k|1000 |8074 | 21k| 0 | 0 |-2.906808e+02 |-5.200000e+01 | 82.11%
367.29/367.43 c 366s| 1 | 0 |152123 | 164M| 0 | 831 |1000 | 37k| 37k|1000 |7768 | 21k| 0 | 0 |-2.898742e+02 |-5.200000e+01 | 82.06%
375.09/375.29 c 373s| 1 | 0 |154769 | 164M| 0 | 837 |1000 | 37k| 37k|1000 |7852 | 21k| 0 | 0 |-2.889978e+02 |-5.200000e+01 | 82.01%
382.08/382.25 c 380s| 1 | 0 |156755 | 164M| 0 | 834 |1000 | 37k| 37k|1000 |7932 | 21k| 0 | 0 |-2.883560e+02 |-5.200000e+01 | 81.97%
390.28/390.45 c 388s| 1 | 0 |159402 | 165M| 0 | 849 |1000 | 37k| 37k|1000 |7998 | 21k| 0 | 0 |-2.870614e+02 |-5.200000e+01 | 81.89%
398.38/398.57 c 397s| 1 | 0 |161629 | 165M| 0 | 856 |1000 | 37k| 37k|1000 |8067 | 21k| 0 | 0 |-2.860432e+02 |-5.200000e+01 | 81.82%
405.27/405.41 c 403s| 1 | 0 |162811 | 164M| 0 | 841 |1000 | 37k| 37k|1000 |8100 | 21k| 0 | 0 |-2.855618e+02 |-5.200000e+01 | 81.79%
412.27/412.48 c 410s| 1 | 0 |164443 | 164M| 0 | 839 |1000 | 37k| 37k|1000 |7846 | 21k| 0 | 0 |-2.848152e+02 |-5.200000e+01 | 81.74%
419.68/419.89 c 418s| 1 | 0 |166194 | 164M| 0 | 861 |1000 | 37k| 37k|1000 |7877 | 21k| 0 | 0 |-2.841226e+02 |-5.200000e+01 | 81.70%
428.97/429.17 c 427s| 1 | 0 |168306 | 164M| 0 | 848 |1000 | 37k| 37k|1000 |7995 | 21k| 0 | 0 |-2.833217e+02 |-5.200000e+01 | 81.65%
436.48/436.60 c 435s| 1 | 0 |169924 | 164M| 0 | 853 |1000 | 37k| 37k|1000 |8041 | 22k| 0 | 0 |-2.828766e+02 |-5.200000e+01 | 81.62%
446.17/446.31 c 444s| 1 | 0 |172520 | 164M| 0 | 856 |1000 | 37k| 37k|1000 |8082 | 22k| 0 | 0 |-2.818955e+02 |-5.200000e+01 | 81.55%
456.76/456.96 c 455s| 1 | 0 |174687 | 164M| 0 | 846 |1000 | 37k| 37k|1000 |8285 | 22k| 0 | 0 |-2.808286e+02 |-5.200000e+01 | 81.48%
467.66/467.81 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
467.66/467.81 c 466s| 1 | 0 |177048 | 164M| 0 | 858 |1000 | 37k| 37k|1000 |8120 | 22k| 0 | 0 |-2.797636e+02 |-5.200000e+01 | 81.41%
476.86/477.02 c 475s| 1 | 0 |178639 | 164M| 0 | 860 |1000 | 37k| 37k|1000 |8147 | 22k| 0 | 0 |-2.793346e+02 |-5.200000e+01 | 81.38%
486.86/487.02 c 485s| 1 | 0 |180423 | 164M| 0 | 863 |1000 | 37k| 37k|1000 |8203 | 22k| 0 | 0 |-2.786811e+02 |-5.200000e+01 | 81.34%
496.45/496.69 c 494s| 1 | 0 |182032 | 164M| 0 | 865 |1000 | 37k| 37k|1000 |8219 | 22k| 0 | 0 |-2.782474e+02 |-5.200000e+01 | 81.31%
507.85/508.02 c 506s| 1 | 0 |184025 | 164M| 0 | 876 |1000 | 37k| 37k|1000 |8287 | 22k| 0 | 0 |-2.772039e+02 |-5.200000e+01 | 81.24%
518.55/518.71 c 516s| 1 | 0 |185727 | 164M| 0 | 866 |1000 | 37k| 37k|1000 |8311 | 22k| 0 | 0 |-2.766615e+02 |-5.200000e+01 | 81.20%
529.85/530.07 c 528s| 1 | 0 |187951 | 164M| 0 | 879 |1000 | 37k| 37k|1000 |8120 | 22k| 0 | 0 |-2.758826e+02 |-5.200000e+01 | 81.15%
540.65/540.83 c 539s| 1 | 0 |189767 | 164M| 0 | 879 |1000 | 37k| 37k|1000 |8177 | 22k| 0 | 0 |-2.753075e+02 |-5.200000e+01 | 81.11%
552.04/552.25 c 550s| 1 | 0 |191472 | 164M| 0 | 899 |1000 | 37k| 37k|1000 |8221 | 22k| 0 | 0 |-2.747429e+02 |-5.200000e+01 | 81.07%
564.74/564.99 c 563s| 1 | 0 |193601 | 164M| 0 | 899 |1000 | 37k| 37k|1000 |8284 | 22k| 0 | 0 |-2.740966e+02 |-5.200000e+01 | 81.03%
579.13/579.38 c 577s| 1 | 0 |196073 | 164M| 0 | 887 |1000 | 37k| 37k|1000 |8452 | 22k| 0 | 0 |-2.730692e+02 |-5.200000e+01 | 80.96%
591.94/592.18 c 590s| 1 | 0 |198045 | 164M| 0 | 897 |1000 | 37k| 37k|1000 |8491 | 22k| 0 | 0 |-2.722877e+02 |-5.200000e+01 | 80.90%
604.53/604.79 c 602s| 1 | 0 |199830 | 164M| 0 | 902 |1000 | 37k| 37k|1000 |8302 | 22k| 0 | 0 |-2.717435e+02 |-5.200000e+01 | 80.86%
619.53/619.70 c 617s| 1 | 0 |202307 | 164M| 0 | 904 |1000 | 37k| 37k|1000 |8361 | 23k| 0 | 0 |-2.708598e+02 |-5.200000e+01 | 80.80%
633.92/634.16 c 632s| 1 | 0 |204499 | 164M| 0 | 905 |1000 | 37k| 37k|1000 |8500 | 23k| 0 | 0 |-2.702652e+02 |-5.200000e+01 | 80.76%
648.12/648.31 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
648.12/648.31 c 646s| 1 | 0 |206653 | 164M| 0 | 902 |1000 | 37k| 37k|1000 |8598 | 23k| 0 | 0 |-2.696087e+02 |-5.200000e+01 | 80.71%
661.02/661.25 c 659s| 1 | 0 |208483 | 164M| 0 | 906 |1000 | 37k| 37k|1000 |8622 | 23k| 0 | 0 |-2.691431e+02 |-5.200000e+01 | 80.68%
673.31/673.50 c 671s| 1 | 0 |209949 | 163M| 0 | 910 |1000 | 37k| 37k|1000 |8650 | 23k| 0 | 0 |-2.687324e+02 |-5.200000e+01 | 80.65%
688.01/688.20 c 686s| 1 | 0 |212132 | 163M| 0 | 905 |1000 | 37k| 37k|1000 |8552 | 23k| 0 | 0 |-2.679875e+02 |-5.200000e+01 | 80.60%
701.61/701.89 c 699s| 1 | 0 |213902 | 163M| 0 | 909 |1000 | 37k| 37k|1000 |8640 | 23k| 0 | 0 |-2.674690e+02 |-5.200000e+01 | 80.56%
715.10/715.37 c 713s| 1 | 0 |215564 | 163M| 0 | 903 |1000 | 37k| 37k|1000 |8698 | 23k| 0 | 0 |-2.670494e+02 |-5.200000e+01 | 80.53%
728.10/728.34 c 726s| 1 | 0 |217118 | 163M| 0 | 906 |1000 | 37k| 37k|1000 |8737 | 23k| 0 | 0 |-2.666423e+02 |-5.200000e+01 | 80.50%
743.80/744.03 c 741s| 1 | 0 |219508 | 163M| 0 | 912 |1000 | 37k| 37k|1000 |8788 | 23k| 0 | 0 |-2.656446e+02 |-5.200000e+01 | 80.42%
759.89/760.18 c 757s| 1 | 0 |222022 | 163M| 0 | 916 |1000 | 37k| 37k|1000 |8849 | 23k| 0 | 0 |-2.649757e+02 |-5.200000e+01 | 80.38%
775.99/776.29 c 774s| 1 | 0 |224270 | 163M| 0 | 924 |1000 | 37k| 37k|1000 |8742 | 23k| 0 | 0 |-2.642723e+02 |-5.200000e+01 | 80.32%
788.89/789.15 c 786s| 1 | 0 |225605 | 163M| 0 | 924 |1000 | 37k| 37k|1000 |8789 | 23k| 0 | 0 |-2.638592e+02 |-5.200000e+01 | 80.29%
804.28/804.51 c 802s| 1 | 0 |227620 | 163M| 0 | 927 |1000 | 37k| 37k|1000 |8831 | 23k| 0 | 0 |-2.631436e+02 |-5.200000e+01 | 80.24%
817.27/817.54 c 815s| 1 | 0 |228600 | 163M| 0 | 924 |1000 | 37k| 37k|1000 |8886 | 23k| 0 | 0 |-2.629678e+02 |-5.200000e+01 | 80.23%
832.17/832.40 c 830s| 1 | 0 |230308 | 163M| 0 | 922 |1000 | 37k| 37k|1000 |8920 | 23k| 0 | 0 |-2.624809e+02 |-5.200000e+01 | 80.19%
846.37/846.65 c 844s| 1 | 0 |231841 | 163M| 0 | 922 |1000 | 37k| 37k|1000 |8973 | 24k| 0 | 0 |-2.620593e+02 |-5.200000e+01 | 80.16%
860.86/861.12 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
860.86/861.12 c 858s| 1 | 0 |233427 | 163M| 0 | 927 |1000 | 37k| 37k|1000 |8828 | 24k| 0 | 0 |-2.615967e+02 |-5.200000e+01 | 80.12%
873.36/873.62 c 871s| 1 | 0 |234349 | 163M| 0 | 931 |1000 | 37k| 37k|1000 |8869 | 24k| 0 | 0 |-2.614037e+02 |-5.200000e+01 | 80.11%
887.46/887.70 c 885s| 1 | 0 |235634 | 163M| 0 | 938 |1000 | 37k| 37k|1000 |8902 | 24k| 0 | 0 |-2.610549e+02 |-5.200000e+01 | 80.08%
902.96/903.21 c 900s| 1 | 0 |237152 | 163M| 0 | 942 |1000 | 37k| 37k|1000 |8953 | 24k| 0 | 0 |-2.607050e+02 |-5.200000e+01 | 80.05%
916.46/916.73 c 914s| 1 | 0 |238001 | 163M| 0 | 941 |1000 | 37k| 37k|1000 |8985 | 24k| 0 | 0 |-2.605213e+02 |-5.200000e+01 | 80.04%
929.75/930.06 c 927s| 1 | 0 |238997 | 162M| 0 | 943 |1000 | 37k| 37k|1000 |8994 | 24k| 0 | 0 |-2.602129e+02 |-5.200000e+01 | 80.02%
945.55/945.87 c 943s| 1 | 0 |240581 | 162M| 0 | 940 |1000 | 37k| 37k|1000 |8834 | 24k| 0 | 0 |-2.597934e+02 |-5.200000e+01 | 79.98%
959.54/959.85 c 957s| 1 | 0 |241735 | 162M| 0 | 947 |1000 | 37k| 37k|1000 |8863 | 24k| 0 | 0 |-2.593775e+02 |-5.200000e+01 | 79.95%
975.64/975.98 c 973s| 1 | 0 |243290 | 162M| 0 | 949 |1000 | 37k| 37k|1000 |8905 | 24k| 0 | 0 |-2.588159e+02 |-5.200000e+01 | 79.91%
991.84/992.15 c 989s| 1 | 0 |244721 | 162M| 0 | 944 |1000 | 37k| 37k|1000 |8960 | 24k| 0 | 0 |-2.583504e+02 |-5.200000e+01 | 79.87%
1007.13/1007.48 c 1004s| 1 | 0 |246023 | 162M| 0 | 950 |1000 | 37k| 37k|1000 |9004 | 24k| 0 | 0 |-2.579047e+02 |-5.200000e+01 | 79.84%
1021.33/1021.62 c 1018s| 1 | 0 |246929 | 162M| 0 | 958 |1000 | 37k| 37k|1000 |9043 | 24k| 0 | 0 |-2.577047e+02 |-5.200000e+01 | 79.82%
1033.82/1034.17 c 1031s| 1 | 0 |247408 | 161M| 0 | 962 |1000 | 37k| 37k|1000 |8970 | 24k| 0 | 0 |-2.576411e+02 |-5.200000e+01 | 79.82%
1050.12/1050.45 c 1047s| 1 | 0 |248990 | 161M| 0 | 952 |1000 | 37k| 37k|1000 |8987 | 24k| 0 | 0 |-2.572870e+02 |-5.200000e+01 | 79.79%
1064.31/1064.60 c 1061s| 1 | 0 |249906 | 161M| 0 | 952 |1000 | 37k| 37k|1000 |9028 | 24k| 0 | 0 |-2.570550e+02 |-5.200000e+01 | 79.77%
1080.62/1080.96 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1080.62/1080.96 c 1078s| 1 | 0 |251440 | 160M| 0 | 957 |1000 | 37k| 37k|1000 |9048 | 24k| 0 | 0 |-2.565929e+02 |-5.200000e+01 | 79.73%
1096.11/1096.41 c 1093s| 1 | 0 |252551 | 158M| 0 | 950 |1000 | 37k| 37k|1000 |9076 | 24k| 0 | 0 |-2.562525e+02 |-5.200000e+01 | 79.71%
1110.91/1111.29 c 1108s| 1 | 0 |253572 | 157M| 0 | 947 |1000 | 37k| 37k|1000 |9103 | 24k| 0 | 0 |-2.559567e+02 |-5.200000e+01 | 79.68%
1125.30/1125.64 c 1122s| 1 | 0 |254619 | 156M| 0 | 948 |1000 | 37k| 37k|1000 |9019 | 24k| 0 | 0 |-2.557202e+02 |-5.200000e+01 | 79.67%
1139.09/1139.46 c 1136s| 1 | 0 |255389 | 156M| 0 | 953 |1000 | 37k| 37k|1000 |9039 | 24k| 0 | 0 |-2.556168e+02 |-5.200000e+01 | 79.66%
1152.79/1153.19 c 1150s| 1 | 0 |256049 | 155M| 0 | 953 |1000 | 37k| 37k|1000 |9061 | 24k| 0 | 0 |-2.554717e+02 |-5.200000e+01 | 79.65%
1168.29/1168.69 c 1165s| 1 | 0 |257273 | 152M| 0 | 955 |1000 | 37k| 37k|1000 |9081 | 24k| 0 | 0 |-2.552573e+02 |-5.200000e+01 | 79.63%
1182.09/1182.47 c 1179s| 1 | 0 |257937 | 150M| 0 | 956 |1000 | 37k| 37k|1000 |9104 | 24k| 0 | 0 |-2.551331e+02 |-5.200000e+01 | 79.62%
1195.78/1196.11 c 1192s| 1 | 0 |258590 | 149M| 0 | 961 |1000 | 37k| 37k|1000 |9116 | 24k| 0 | 0 |-2.550522e+02 |-5.200000e+01 | 79.61%
1211.18/1211.53 c 1208s| 1 | 0 |259713 | 146M| 0 | 956 |1000 | 37k| 37k|1000 |9011 | 24k| 0 | 0 |-2.548258e+02 |-5.200000e+01 | 79.59%
1224.28/1224.63 c 1221s| 1 | 0 |260447 | 145M| 0 | 955 |1000 | 37k| 37k|1000 |9035 | 24k| 0 | 0 |-2.546409e+02 |-5.200000e+01 | 79.58%
1237.27/1237.64 c 1234s| 1 | 0 |260956 | 145M| 0 | 951 |1000 | 37k| 37k|1000 |9049 | 24k| 0 | 0 |-2.545467e+02 |-5.200000e+01 | 79.57%
1250.57/1250.93 c 1247s| 1 | 0 |261559 | 145M| 0 | 958 |1000 | 37k| 37k|1000 |9067 | 24k| 0 | 0 |-2.544510e+02 |-5.200000e+01 | 79.56%
1265.07/1265.47 c 1262s| 1 | 0 |262362 | 145M| 0 | 960 |1000 | 37k| 37k|1000 |9083 | 24k| 0 | 0 |-2.542584e+02 |-5.200000e+01 | 79.55%
1280.27/1280.64 c 1277s| 1 | 0 |263491 | 145M| 0 | 956 |1000 | 37k| 37k|1000 |9107 | 24k| 0 | 0 |-2.539585e+02 |-5.200000e+01 | 79.52%
1294.27/1294.69 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1294.27/1294.69 c 1291s| 1 | 0 |264183 | 144M| 0 | 961 |1000 | 37k| 37k|1000 |9028 | 24k| 0 | 0 |-2.537829e+02 |-5.200000e+01 | 79.51%
1307.46/1307.82 c 1304s| 1 | 0 |264792 | 144M| 0 | 962 |1000 | 37k| 37k|1000 |9047 | 24k| 0 | 0 |-2.536308e+02 |-5.200000e+01 | 79.50%
1322.16/1322.59 c 1319s| 1 | 0 |265641 | 144M| 0 | 960 |1000 | 37k| 37k|1000 |9062 | 24k| 0 | 0 |-2.534234e+02 |-5.200000e+01 | 79.48%
1336.05/1336.45 c 1333s| 1 | 0 |266320 | 144M| 0 | 963 |1000 | 37k| 37k|1000 |9078 | 24k| 0 | 0 |-2.533107e+02 |-5.200000e+01 | 79.47%
1349.85/1350.25 c 1346s| 1 | 0 |267012 | 144M| 0 | 959 |1000 | 37k| 37k|1000 |9094 | 24k| 0 | 0 |-2.531792e+02 |-5.200000e+01 | 79.46%
1364.75/1365.11 c 1361s| 1 | 0 |267842 | 144M| 0 | 964 |1000 | 37k| 37k|1000 |9113 | 24k| 0 | 0 |-2.529339e+02 |-5.200000e+01 | 79.44%
1378.44/1378.86 c 1375s| 1 | 0 |268477 | 143M| 0 | 968 |1000 | 37k| 37k|1000 |9075 | 24k| 0 | 0 |-2.528124e+02 |-5.200000e+01 | 79.43%
1393.14/1393.50 c 1389s| 1 | 0 |269249 | 143M| 0 | 969 |1000 | 37k| 37k|1000 |9091 | 24k| 0 | 0 |-2.526524e+02 |-5.200000e+01 | 79.42%
1407.93/1408.32 c 1404s| 1 | 0 |270061 | 143M| 0 | 968 |1000 | 37k| 37k|1000 |9111 | 24k| 0 | 0 |-2.524887e+02 |-5.200000e+01 | 79.41%
1423.12/1423.50 c 1419s| 1 | 0 |270929 | 143M| 0 | 971 |1000 | 37k| 37k|1000 |9127 | 25k| 0 | 0 |-2.521802e+02 |-5.200000e+01 | 79.38%
1438.22/1438.65 c 1435s| 1 | 0 |271701 | 143M| 0 | 970 |1000 | 37k| 37k|1000 |9149 | 25k| 0 | 0 |-2.519664e+02 |-5.200000e+01 | 79.36%
1454.22/1454.67 c 1451s| 1 | 0 |272924 | 143M| 0 | 966 |1000 | 37k| 37k|1000 |9177 | 25k| 0 | 0 |-2.516817e+02 |-5.200000e+01 | 79.34%
1469.42/1469.82 c 1466s| 1 | 0 |273853 | 143M| 0 | 969 |1000 | 37k| 37k|1000 |9150 | 25k| 0 | 0 |-2.514257e+02 |-5.200000e+01 | 79.32%
1485.01/1485.46 c 1481s| 1 | 0 |274735 | 143M| 0 | 974 |1000 | 37k| 37k|1000 |9170 | 25k| 0 | 0 |-2.511932e+02 |-5.200000e+01 | 79.30%
1499.51/1499.92 c 1496s| 1 | 0 |275311 | 143M| 0 | 978 |1000 | 37k| 37k|1000 |9185 | 25k| 0 | 0 |-2.510667e+02 |-5.200000e+01 | 79.29%
1513.50/1513.92 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1513.50/1513.92 c 1510s| 1 | 0 |275835 | 143M| 0 | 973 |1000 | 37k| 37k|1000 |9195 | 25k| 0 | 0 |-2.509563e+02 |-5.200000e+01 | 79.28%
1527.91/1528.30 c 1524s| 1 | 0 |276631 | 143M| 0 | 974 |1000 | 37k| 37k|1000 |9207 | 25k| 0 | 0 |-2.507058e+02 |-5.200000e+01 | 79.26%
1540.61/1541.09 c 1537s| 1 | 0 |276970 | 143M| 0 | 974 |1000 | 37k| 37k|1000 |9219 | 25k| 0 | 0 |-2.506260e+02 |-5.200000e+01 | 79.25%
1553.90/1554.37 c 1550s| 1 | 0 |277414 | 143M| 0 | 969 |1000 | 37k| 37k|1000 |9166 | 25k| 0 | 0 |-2.504789e+02 |-5.200000e+01 | 79.24%
1568.10/1568.60 c 1564s| 1 | 0 |278083 | 143M| 0 | 972 |1000 | 37k| 37k|1000 |9178 | 25k| 0 | 0 |-2.503051e+02 |-5.200000e+01 | 79.23%
1583.49/1583.91 c 1580s| 1 | 0 |278964 | 143M| 0 | 972 |1000 | 37k| 37k|1000 |9205 | 25k| 0 | 0 |-2.499929e+02 |-5.200000e+01 | 79.20%
1598.89/1599.39 c 1595s| 1 | 0 |279792 | 143M| 0 | 980 |1000 | 37k| 37k|1000 |9222 | 25k| 0 | 0 |-2.497319e+02 |-5.200000e+01 | 79.18%
1613.08/1613.56 c 1609s| 1 | 0 |280194 | 143M| 0 | 980 |1000 | 37k| 37k|1000 |9239 | 25k| 0 | 0 |-2.496301e+02 |-5.200000e+01 | 79.17%
1628.28/1628.75 c 1624s| 1 | 0 |281049 | 143M| 0 | 981 |1000 | 37k| 37k|1000 |9249 | 25k| 0 | 0 |-2.494105e+02 |-5.200000e+01 | 79.15%
1643.57/1644.03 c 1640s| 1 | 0 |281552 | 143M| 0 | 983 |1000 | 37k| 37k|1000 |9196 | 25k| 0 | 0 |-2.492918e+02 |-5.200000e+01 | 79.14%
1658.17/1658.63 c 1654s| 1 | 0 |282013 | 143M| 0 | 974 |1000 | 37k| 37k|1000 |9212 | 25k| 0 | 0 |-2.492033e+02 |-5.200000e+01 | 79.13%
1673.07/1673.57 c 1669s| 1 | 0 |282625 | 143M| 0 | 980 |1000 | 37k| 37k|1000 |9228 | 25k| 0 | 0 |-2.490463e+02 |-5.200000e+01 | 79.12%
1687.36/1687.84 c 1683s| 1 | 0 |283086 | 143M| 0 | 974 |1000 | 37k| 37k|1000 |9245 | 25k| 0 | 0 |-2.489650e+02 |-5.200000e+01 | 79.11%
1702.86/1703.31 c 1699s| 1 | 0 |283848 | 143M| 0 | 978 |1000 | 37k| 37k|1000 |9256 | 25k| 0 | 0 |-2.487325e+02 |-5.200000e+01 | 79.09%
1718.16/1718.62 c 1714s| 1 | 0 |284395 | 143M| 0 | 981 |1000 | 37k| 37k|1000 |9269 | 25k| 0 | 0 |-2.486053e+02 |-5.200000e+01 | 79.08%
1732.26/1732.77 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1732.26/1732.77 c 1728s| 1 | 0 |284865 | 143M| 0 | 979 |1000 | 37k| 37k|1000 |9221 | 25k| 0 | 0 |-2.484766e+02 |-5.200000e+01 | 79.07%
1747.05/1747.57 c 1743s| 1 | 0 |285383 | 143M| 0 | 982 |1000 | 37k| 37k|1000 |9233 | 25k| 0 | 0 |-2.483693e+02 |-5.200000e+01 | 79.06%
1763.24/1763.72 c 1759s| 1 | 0 |286222 | 143M| 0 | 983 |1000 | 37k| 37k|1000 |9245 | 25k| 0 | 0 |-2.481712e+02 |-5.200000e+01 | 79.05%
1778.24/1778.73 c 1774s| 1 | 0 |286706 | 143M| 0 | 990 |1000 | 37k| 37k|1000 |9258 | 25k| 0 | 0 |-2.480792e+02 |-5.200000e+01 | 79.04%
1792.54/1793.03 c 1788s| 1 | 0 |286992 | 143M| 0 | 988 |1000 | 37k| 37k|1000 |9268 | 25k| 0 | 0 |-2.480179e+02 |-5.200000e+01 | 79.03%
1795.33/1795.84 c 1791s| 1 | 0 |286992 | 143M| 0 | - |1000 | 37k| 37k|1000 |9281 | 25k| 0 | 0 |-2.480179e+02 |-5.200000e+01 | 79.03%
1795.33/1795.85 c 1791s| 1 | 2 |286992 | 143M| 0 | - |1000 | 37k| 37k|1000 |9281 | 25k| 0 | 0 |-2.480179e+02 |-5.200000e+01 | 79.03%
1795.33/1795.85 c
1795.33/1795.85 c SCIP Status : solving was interrupted [time limit reached]
1795.33/1795.85 c Solving Time (sec) : 1791.05
1795.33/1795.85 c Solving Nodes : 1
1795.33/1795.85 c Primal Bound : -5.20000000000000e+01 (1 solutions)
1795.33/1795.85 c Dual Bound : -2.48017925647376e+02
1795.33/1795.85 c Gap : 79.03 %
1795.43/1795.93 c NODE 1
1795.43/1795.93 c DUAL BOUND -248.018
1795.43/1795.93 c PRIMAL BOUND -52
1795.43/1795.93 c GAP 0.790338
1795.43/1795.93 s SATISFIABLE
1795.43/1795.93 v -x1000 -x999 -x998 -x997 -x996 -x995 x994 -x993 -x992 -x991 -x990 -x989 -x988 -x987 -x986 -x985 -x984 -x983 -x982 -x981 -x980 -x979
1795.43/1795.93 v -x978 -x977 -x976 -x975 -x974 -x973 -x972 -x971 -x970 -x969 x968 -x967 -x966 -x965 -x964 -x963 -x962 -x961 -x960 -x959 -x958
1795.43/1795.93 v -x957 -x956 -x955 -x954 -x953 -x952 -x951 -x950 -x949 -x948 -x947 -x946 -x945 -x944 -x943 -x942 -x941 -x940 -x939 -x938
1795.43/1795.93 v -x937 -x936 -x935 -x934 -x933 -x932 -x931 -x930 -x929 -x928 -x927 -x926 -x925 x924 -x923 -x922 -x921 -x920 -x919 -x918 -x917
1795.43/1795.93 v -x916 -x915 -x914 -x913 -x912 -x911 -x910 -x909 -x908 -x907 -x906 -x905 -x904 -x903 -x902 -x901 -x900 -x899 x898 -x897 -x896
1795.43/1795.93 v -x895 -x894 -x893 -x892 -x891 -x890 -x889 -x888 -x887 -x886 -x885 -x884 x883 -x882 -x881 -x880 -x879 -x878 -x877 -x876 -x875
1795.43/1795.93 v -x874 -x873 -x872 -x871 -x870 -x869 -x868 -x867 -x866 -x865 -x864 -x863 -x862 x861 -x860 -x859 -x858 -x857 -x856 -x855 -x854
1795.43/1795.93 v -x853 -x852 -x851 -x850 -x849 -x848 -x847 -x846 -x845 -x844 -x843 -x842 -x841 -x840 -x839 -x838 -x837 -x836 -x835 -x834 -x833
1795.43/1795.93 v -x832 -x831 -x830 -x829 -x828 -x827 -x826 -x825 -x824 -x823 -x822 -x821 -x820 -x819 -x818 -x817 -x816 -x815 -x814 -x813 -x812
1795.43/1795.93 v -x811 -x810 -x809 -x808 -x807 -x806 -x805 -x804 -x803 -x802 -x801 -x800 -x799 -x798 -x797 -x796 -x795 -x794 -x793 -x792 -x791
1795.43/1795.93 v x790 -x789 -x788 -x787 -x786 -x785 -x784 -x783 -x782 -x781 -x780 -x779 -x778 -x777 -x776 -x775 -x774 -x773 -x772 -x771 -x770
1795.43/1795.93 v -x769 -x768 x767 -x766 -x765 -x764 -x763 -x762 -x761 -x760 -x759 -x758 -x757 -x756 -x755 -x754 -x753 -x752 -x751 -x750 -x749
1795.43/1795.93 v -x748 -x747 -x746 -x745 -x744 -x743 -x742 -x741 -x740 -x739 -x738 -x737 -x736 -x735 -x734 -x733 -x732 -x731 -x730 -x729 -x728
1795.43/1795.93 v -x727 -x726 -x725 -x724 -x723 -x722 -x721 -x720 -x719 -x718 -x717 -x716 -x715 -x714 -x713 -x712 -x711 -x710 -x709 -x708 -x707
1795.43/1795.93 v -x706 -x705 -x704 -x703 -x702 -x701 -x700 -x699 -x698 -x697 -x696 -x695 -x694 -x693 -x692 -x691 -x690 -x689 -x688 -x687
1795.43/1795.93 v x686 -x685 -x684 -x683 -x682 -x681 -x680 x679 -x678 -x677 x676 -x675 -x674 -x673 -x672 -x671 -x670 -x669 -x668 -x667 -x666 -x665
1795.43/1795.93 v -x664 -x663 -x662 x661 -x660 -x659 -x658 -x657 -x656 -x655 -x654 -x653 -x652 -x651 -x650 -x649 -x648 -x647 -x646 -x645 -x644
1795.43/1795.93 v -x643 -x642 -x641 -x640 -x639 -x638 -x637 -x636 -x635 -x634 -x633 -x632 -x631 -x630 -x629 -x628 -x627 -x626 -x625 -x624 -x623
1795.43/1795.93 v -x622 -x621 -x620 -x619 -x618 -x617 -x616 -x615 x614 -x613 -x612 -x611 -x610 -x609 -x608 -x607 -x606 -x605 -x604 -x603 -x602
1795.43/1795.93 v -x601 -x600 -x599 -x598 x597 -x596 -x595 -x594 -x593 -x592 -x591 -x590 -x589 -x588 -x587 -x586 -x585 -x584 -x583 -x582 -x581
1795.43/1795.93 v -x580 -x579 -x578 -x577 -x576 -x575 -x574 -x573 -x572 -x571 -x570 -x569 -x568 -x567 -x566 -x565 x564 -x563 -x562 -x561 -x560
1795.43/1795.93 v -x559 -x558 -x557 -x556 -x555 -x554 -x553 -x552 -x551 -x550 -x549 -x548 -x547 -x546 -x545 -x544 -x543 -x542 -x541 -x540
1795.43/1795.93 v -x539 -x538 -x537 -x536 -x535 -x534 -x533 -x532 -x531 -x530 -x529 -x528 -x527 -x526 -x525 -x524 -x523 -x522 -x521 -x520 -x519
1795.43/1795.93 v -x518 -x517 -x516 -x515 -x514 -x513 -x512 -x511 -x510 -x509 -x508 -x507 -x506 -x505 -x504 -x503 -x502 -x501 x500 -x499 -x498
1795.43/1795.93 v -x497 -x496 -x495 -x494 -x493 -x492 -x491 -x490 -x489 -x488 -x487 -x486 -x485 -x484 -x483 -x482 x481 -x480 -x479 -x478 -x477
1795.43/1795.93 v -x476 -x475 -x474 -x473 -x472 -x471 -x470 -x469 -x468 -x467 -x466 -x465 -x464 -x463 -x462 -x461 -x460 -x459 -x458 -x457 -x456
1795.43/1795.93 v -x455 -x454 -x453 -x452 -x451 x450 -x449 -x448 -x447 -x446 -x445 -x444 -x443 -x442 -x441 -x440 -x439 -x438 -x437 -x436 -x435
1795.43/1795.93 v -x434 -x433 -x432 -x431 -x430 -x429 -x428 -x427 -x426 -x425 -x424 -x423 -x422 -x421 -x420 -x419 -x418 -x417 -x416 x415 -x414
1795.43/1795.93 v -x413 -x412 -x411 -x410 -x409 -x408 -x407 -x406 -x405 -x404 -x403 -x402 -x401 -x400 -x399 x398 -x397 -x396 -x395 -x394 -x393
1795.43/1795.93 v -x392 -x391 -x390 -x389 -x388 -x387 -x386 -x385 -x384 -x383 -x382 -x381 -x380 -x379 -x378 -x377 -x376 -x375 -x374 x373 -x372
1795.43/1795.93 v -x371 -x370 -x369 -x368 x367 -x366 -x365 -x364 -x363 -x362 -x361 -x360 -x359 -x358 -x357 -x356 -x355 -x354 -x353 -x352 -x351
1795.43/1795.93 v -x350 -x349 -x348 -x347 -x346 -x345 -x344 x343 -x342 -x341 -x340 -x339 -x338 -x337 -x336 -x335 -x334 -x333 -x332 -x331 -x330
1795.43/1795.93 v -x329 -x328 -x327 -x326 -x325 -x324 -x323 -x322 -x321 -x320 -x319 -x318 -x317 -x316 -x315 -x314 -x313 -x312 -x311 -x310 x309
1795.43/1795.93 v -x308 -x307 -x306 -x305 -x304 -x303 -x302 x301 -x300 -x299 -x298 -x297 x296 -x295 -x294 -x293 -x292 -x291 -x290 -x289 -x288
1795.43/1795.93 v -x287 -x286 -x285 -x284 -x283 x282 -x281 -x280 -x279 -x278 -x277 -x276 -x275 -x274 -x273 -x272 -x271 -x270 -x269 -x268 -x267
1795.43/1795.93 v -x266 -x265 -x264 -x263 -x262 x261 -x260 -x259 -x258 -x257 -x256 -x255 -x254 -x253 -x252 -x251 -x250 -x249 -x248 -x247 -x246
1795.43/1795.93 v -x245 -x244 -x243 -x242 x241 -x240 -x239 -x238 -x237 -x236 -x235 -x234 -x233 -x232 -x231 -x230 -x229 -x228 -x227 -x226 -x225
1795.43/1795.93 v -x224 x223 -x222 -x221 -x220 -x219 -x218 -x217 -x216 -x215 -x214 -x213 -x212 -x211 -x210 -x209 x208 -x207 -x206 -x205 -x204
1795.43/1795.93 v -x203 -x202 -x201 -x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189 -x188 -x187 -x186 -x185 -x184 -x183
1795.43/1795.93 v -x182 -x181 -x180 -x179 -x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168 -x167 -x166 -x165 -x164 -x163 -x162
1795.43/1795.93 v -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147 -x146 -x145 -x144 -x143 -x142 -x141
1795.43/1795.93 v -x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126 -x125 -x124 x123 -x122 -x121 -x120
1795.43/1795.93 v -x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105 -x104 -x103 -x102 -x101 -x100 x99
1795.43/1795.93 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 -x73
1795.43/1795.93 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
1795.43/1795.93 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
1795.43/1795.93 v -x20 -x19 -x18 -x17 -x16 -x15 x14 -x13 x12 -x11 -x10 x9 -x8 x7 x6 -x5 -x4 -x3 x2 -x1
1795.43/1795.93 c SCIP Status : solving was interrupted [time limit reached]
1795.43/1795.93 c Solving Time : 1791.05
1795.43/1795.93 c Original Problem :
1795.43/1795.93 c Problem name : HOME/instance-1870446-1245204657.opb
1795.43/1795.93 c Variables : 38644 (38644 binary, 0 integer, 0 implicit integer, 0 continuous)
1795.43/1795.93 c Constraints : 38644 initial, 38644 maximal
1795.43/1795.93 c Presolved Problem :
1795.43/1795.93 c Problem name : t_HOME/instance-1870446-1245204657.opb
1795.43/1795.93 c Variables : 1000 (1000 binary, 0 integer, 0 implicit integer, 0 continuous)
1795.43/1795.93 c Constraints : 37644 initial, 37644 maximal
1795.43/1795.93 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1795.43/1795.93 c trivial : 0.00 0 0 0 0 0 0 0 0
1795.43/1795.93 c dualfix : 0.01 0 0 0 0 0 0 0 0
1795.43/1795.93 c boundshift : 0.00 0 0 0 0 0 0 0 0
1795.43/1795.93 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1795.43/1795.93 c implics : 0.00 0 0 0 0 0 0 0 0
1795.43/1795.93 c probing : 2.22 0 0 0 0 0 0 0 0
1795.43/1795.93 c and : 1.00 0 0 0 0 0 0 0 0
1795.43/1795.93 c linear : 0.25 37644 0 0 37644 0 1000 0 0
1795.43/1795.93 c root node : - 0 - - 0 - - - -
1795.43/1795.93 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1795.43/1795.93 c integral : 0 0 0 0 0 0 0 0 0 0
1795.43/1795.93 c and : 37644 244 201 0 1 0 0 31744 0 0
1795.43/1795.93 c countsols : 0 0 0 0 1 0 0 0 0 0
1795.43/1795.93 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1795.43/1795.93 c integral : 0.00 0.00 0.00 0.00 0.00
1795.43/1795.93 c and : 13.84 12.09 1.75 0.00 0.00
1795.43/1795.93 c countsols : 0.00 0.00 0.00 0.00 0.00
1795.43/1795.93 c Propagators : Time Calls Cutoffs DomReds
1795.43/1795.93 c rootredcost : 0.00 0 0 0
1795.43/1795.93 c pseudoobj : 0.02 245 0 0
1795.43/1795.93 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1795.43/1795.93 c propagation : 0.00 0 0 0 0.0 0 0.0 -
1795.43/1795.93 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1795.43/1795.93 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1795.43/1795.93 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1795.43/1795.93 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1795.43/1795.93 c applied globally : - - - 0 0.0 - - -
1795.43/1795.93 c applied locally : - - - 0 0.0 - - -
1795.43/1795.93 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1795.43/1795.93 c cut pool : 1.17 243 - - 4369 - (maximal pool size: 16054)
1795.43/1795.93 c redcost : 0.02 244 0 0 0 0
1795.43/1795.93 c impliedbounds : 1.01 242 0 0 27650 0
1795.43/1795.93 c intobj : 0.00 0 0 0 0 0
1795.43/1795.93 c gomory : 1120.25 241 0 0 82163 0
1795.43/1795.93 c strongcg : 5.09 20 0 0 10000 0
1795.43/1795.93 c cmir : 4.61 10 0 0 0 0
1795.43/1795.93 c flowcover : 4.01 10 0 0 0 0
1795.43/1795.93 c clique : 13.56 241 0 0 2182 0
1795.43/1795.93 c zerohalf : 0.00 0 0 0 0 0
1795.43/1795.93 c mcf : 0.10 1 0 0 0 0
1795.43/1795.93 c Pricers : Time Calls Vars
1795.43/1795.93 c problem variables: 0.00 0 0
1795.43/1795.93 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1795.43/1795.93 c relpscost : 0.00 0 0 0 0 0 0
1795.43/1795.93 c pscost : 0.00 0 0 0 0 0 0
1795.43/1795.93 c inference : 0.00 1 0 0 0 0 2
1795.43/1795.93 c mostinf : 0.00 0 0 0 0 0 0
1795.43/1795.93 c leastinf : 0.00 0 0 0 0 0 0
1795.43/1795.93 c fullstrong : 0.00 0 0 0 0 0 0
1795.43/1795.93 c allfullstrong : 0.00 0 0 0 0 0 0
1795.43/1795.93 c random : 0.00 0 0 0 0 0 0
1795.43/1795.93 c Primal Heuristics : Time Calls Found
1795.43/1795.93 c LP solutions : 0.00 - 0
1795.43/1795.93 c pseudo solutions : 0.00 - 0
1795.43/1795.93 c simplerounding : 0.00 0 0
1795.43/1795.93 c rounding : 4.44 244 1
1795.43/1795.93 c shifting : 2.67 100 0
1795.43/1795.93 c intshifting : 0.00 0 0
1795.43/1795.93 c oneopt : 0.01 1 0
1795.43/1795.93 c fixandinfer : 0.00 0 0
1795.43/1795.93 c feaspump : 0.00 0 0
1795.43/1795.93 c coefdiving : 0.00 0 0
1795.43/1795.93 c pscostdiving : 0.00 0 0
1795.43/1795.93 c fracdiving : 0.00 0 0
1795.43/1795.93 c veclendiving : 0.00 0 0
1795.43/1795.93 c intdiving : 0.00 0 0
1795.43/1795.93 c actconsdiving : 0.00 0 0
1795.43/1795.93 c objpscostdiving : 0.00 0 0
1795.43/1795.93 c rootsoldiving : 0.00 0 0
1795.43/1795.93 c linesearchdiving : 0.00 0 0
1795.43/1795.93 c guideddiving : 0.00 0 0
1795.43/1795.93 c octane : 0.00 0 0
1795.43/1795.93 c rens : 0.00 0 0
1795.43/1795.93 c rins : 0.00 0 0
1795.43/1795.93 c localbranching : 0.00 0 0
1795.43/1795.93 c mutation : 0.00 0 0
1795.43/1795.93 c crossover : 0.00 0 0
1795.43/1795.93 c dins : 0.00 0 0
1795.43/1795.93 c LP : Time Calls Iterations Iter/call Iter/sec
1795.43/1795.93 c primal LP : 0.94 0 0 0.00 0.00
1795.43/1795.93 c dual LP : 604.33 244 286992 1176.20 474.89
1795.43/1795.93 c barrier LP : 0.00 0 0 0.00 -
1795.43/1795.93 c diving/probing LP: 0.00 0 0 0.00 -
1795.43/1795.93 c strong branching : 0.00 0 0 0.00 -
1795.43/1795.93 c (at root node) : - 0 0 0.00 -
1795.43/1795.93 c conflict analysis: 0.00 0 0 0.00 -
1795.43/1795.93 c B&B Tree :
1795.43/1795.93 c number of runs : 1
1795.43/1795.93 c nodes : 1
1795.43/1795.93 c nodes (total) : 1
1795.43/1795.93 c nodes left : 2
1795.43/1795.93 c max depth : 0
1795.43/1795.93 c max depth (total): 0
1795.43/1795.93 c backtracks : 0 (0.0%)
1795.43/1795.93 c delayed cutoffs : 0
1795.43/1795.93 c repropagations : 0 (0 domain reductions, 0 cutoffs)
1795.43/1795.93 c avg switch length: 1.00
1795.43/1795.93 c switching time : 0.00
1795.43/1795.93 c Solution :
1795.43/1795.93 c Solutions found : 1 (1 improvements)
1795.43/1795.93 c Primal Bound : -5.20000000000000e+01 (in run 1, after 1 nodes, 5.88 seconds, depth 0, found by <rounding>)
1795.43/1795.93 c Dual Bound : -2.48017925647376e+02
1795.43/1795.93 c Gap : 79.03 %
1795.43/1795.93 c Root Dual Bound : -2.48017925647376e+02
1795.74/1796.27 c Time complete: 1795.81.
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1870446-1245204657/watcher-1870446-1245204657 -o /tmp/evaluation-result-1870446-1245204657/solver-1870446-1245204657 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.spx -t 1800 -m 1800 -f HOME/instance-1870446-1245204657.opb
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): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 7919
/proc/meminfo: memFree=1824512/2055920 swapFree=4191900/4192956
[pid=7919] ppid=7917 vsize=4648 CPUtime=0
/proc/7919/stat : 7919 (pbscip.linux.x8) R 7917 7919 7882 0 -1 4194304 500 0 0 0 0 0 0 0 18 0 1 0 188066656 4759552 484 1992294400 4194304 7823515 548682068736 18446744073709551615 6109072 0 0 4096 0 0 0 0 17 1 0 0
/proc/7919/statm: 1082 485 320 886 0 192 0
[startup+0.0660441 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 7919
/proc/meminfo: memFree=1824512/2055920 swapFree=4191900/4192956
[pid=7919] ppid=7917 vsize=18272 CPUtime=0.05
/proc/7919/stat : 7919 (pbscip.linux.x8) R 7917 7919 7882 0 -1 4194304 3842 0 0 0 4 1 0 0 18 0 1 0 188066656 18710528 3824 1992294400 4194304 7823515 548682068736 18446744073709551615 4512305 0 0 4096 0 0 0 0 17 1 0 0
/proc/7919/statm: 4568 3824 354 886 0 3678 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 18272
[startup+0.101047 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 7919
/proc/meminfo: memFree=1824512/2055920 swapFree=4191900/4192956
[pid=7919] ppid=7917 vsize=23644 CPUtime=0.09
/proc/7919/stat : 7919 (pbscip.linux.x8) R 7917 7919 7882 0 -1 4194304 4984 0 0 0 7 2 0 0 18 0 1 0 188066656 24211456 4966 1992294400 4194304 7823515 548682068736 18446744073709551615 5878822 0 0 4096 0 0 0 0 17 1 0 0
/proc/7919/statm: 5911 4976 354 886 0 5021 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 23644
[startup+0.301065 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 7919
/proc/meminfo: memFree=1824512/2055920 swapFree=4191900/4192956
[pid=7919] ppid=7917 vsize=44248 CPUtime=0.29
/proc/7919/stat : 7919 (pbscip.linux.x8) R 7917 7919 7882 0 -1 4194304 10384 0 0 0 25 4 0 0 19 0 1 0 188066656 45309952 10366 1992294400 4194304 7823515 548682068736 18446744073709551615 5878822 0 0 4096 0 0 0 0 17 1 0 0
/proc/7919/statm: 11062 10366 354 886 0 10172 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 44248
[startup+0.701103 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 7919
/proc/meminfo: memFree=1824512/2055920 swapFree=4191900/4192956
[pid=7919] ppid=7917 vsize=101220 CPUtime=0.68
/proc/7919/stat : 7919 (pbscip.linux.x8) R 7917 7919 7882 0 -1 4194304 24937 0 0 0 60 8 0 0 22 0 1 0 188066656 103649280 24491 1992294400 4194304 7823515 548682068736 18446744073709551615 4685941 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7919/statm: 25305 24491 385 886 0 24415 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 101220
[startup+1.50118 s]
/proc/loadavg: 0.92 0.98 0.99 2/65 7920
/proc/meminfo: memFree=1723896/2055920 swapFree=4191900/4192956
[pid=7919] ppid=7917 vsize=115124 CPUtime=1.49
/proc/7919/stat : 7919 (pbscip.linux.x8) R 7917 7919 7882 0 -1 4194304 28179 0 0 0 137 12 0 0 25 0 1 0 188066656 117886976 27733 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7919/statm: 28781 27733 404 886 0 27891 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 115124
[startup+3.10132 s]
/proc/loadavg: 0.93 0.98 0.99 2/65 7920
/proc/meminfo: memFree=1710840/2055920 swapFree=4191900/4192956
[pid=7919] ppid=7917 vsize=121036 CPUtime=3.09
/proc/7919/stat : 7919 (pbscip.linux.x8) R 7917 7919 7882 0 -1 4194304 30448 0 0 0 280 29 0 0 25 0 1 0 188066656 123940864 29248 1992294400 4194304 7823515 548682068736 18446744073709551615 4903359 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7919/statm: 30259 29248 433 886 0 29369 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 121036
[startup+6.30162 s]
/proc/loadavg: 0.93 0.98 0.99 2/65 7920
/proc/meminfo: memFree=1636944/2055920 swapFree=4191900/4192956
[pid=7919] ppid=7917 vsize=207384 CPUtime=6.29
/proc/7919/stat : 7919 (pbscip.linux.x8) R 7917 7919 7882 0 -1 4194304 51816 0 0 0 592 37 0 0 25 0 1 0 188066656 212361216 49136 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7919/statm: 51846 49136 502 886 0 50956 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 207384
[startup+12.7012 s]
/proc/loadavg: 0.94 0.98 0.99 2/65 7920
/proc/meminfo: memFree=1621856/2055920 swapFree=4191900/4192956
[pid=7919] ppid=7917 vsize=213500 CPUtime=12.68
/proc/7919/stat : 7919 (pbscip.linux.x8) R 7917 7919 7882 0 -1 4194304 54199 0 0 0 1225 43 0 0 25 0 1 0 188066656 218624000 51063 1992294400 4194304 7823515 548682068736 18446744073709551615 5965829 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7919/statm: 53375 51063 544 886 0 52485 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 213500
[startup+25.5014 s]
/proc/loadavg: 0.95 0.98 0.99 2/65 7920
/proc/meminfo: memFree=1617824/2055920 swapFree=4191900/4192956
[pid=7919] ppid=7917 vsize=216028 CPUtime=25.47
/proc/7919/stat : 7919 (pbscip.linux.x8) R 7917 7919 7882 0 -1 4194304 55198 0 0 0 2499 48 0 0 25 0 1 0 188066656 221212672 52062 1992294400 4194304 7823515 548682068736 18446744073709551615 5575817 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7919/statm: 54007 52062 546 886 0 53117 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 216028
[startup+51.1018 s]
/proc/loadavg: 0.96 0.98 0.99 2/65 7920
/proc/meminfo: memFree=1614624/2055920 swapFree=4191900/4192956
[pid=7919] ppid=7917 vsize=219056 CPUtime=51.07
/proc/7919/stat : 7919 (pbscip.linux.x8) R 7917 7919 7882 0 -1 4194304 56463 0 0 0 5053 54 0 0 25 0 1 0 188066656 224313344 52874 1992294400 4194304 7823515 548682068736 18446744073709551615 4291205 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7919/statm: 54764 52874 546 886 0 53874 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 219056
[startup+102.306 s]
/proc/loadavg: 0.98 0.98 0.99 2/65 7920
/proc/meminfo: memFree=1607968/2055920 swapFree=4191900/4192956
[pid=7919] ppid=7917 vsize=224328 CPUtime=102.25
/proc/7919/stat : 7919 (pbscip.linux.x8) R 7917 7919 7882 0 -1 4194304 58125 0 0 0 10151 74 0 0 25 0 1 0 188066656 229711872 54536 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7919/statm: 56082 54536 546 886 0 55192 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 224328
[startup+162.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 7920
/proc/meminfo: memFree=1591264/2055920 swapFree=4191900/4192956
[pid=7919] ppid=7917 vsize=240484 CPUtime=162.24
/proc/7919/stat : 7919 (pbscip.linux.x8) R 7917 7919 7882 0 -1 4194304 62346 0 0 0 16131 93 0 0 25 0 1 0 188066656 246255616 58715 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7919/statm: 60121 58715 546 886 0 59231 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 240484
[startup+222.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 7920
/proc/meminfo: memFree=1575648/2055920 swapFree=4191900/4192956
[pid=7919] ppid=7917 vsize=256268 CPUtime=222.22
/proc/7919/stat : 7919 (pbscip.linux.x8) R 7917 7919 7882 0 -1 4194304 66235 0 0 0 22113 109 0 0 25 0 1 0 188066656 262418432 62593 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7919/statm: 64067 62593 547 886 0 63177 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 256268
[startup+282.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 7920
/proc/meminfo: memFree=1574368/2055920 swapFree=4191900/4192956
[pid=7919] ppid=7917 vsize=258452 CPUtime=282.21
/proc/7919/stat : 7919 (pbscip.linux.x8) R 7917 7919 7882 0 -1 4194304 66571 0 0 0 28098 123 0 0 25 0 1 0 188066656 264654848 62918 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7919/statm: 64613 62918 547 886 0 63723 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 258452
[startup+342.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 7920
/proc/meminfo: memFree=1574304/2055920 swapFree=4191900/4192956
[pid=7919] ppid=7917 vsize=258452 CPUtime=342.2
/proc/7919/stat : 7919 (pbscip.linux.x8) R 7917 7919 7882 0 -1 4194304 66571 0 0 0 34083 137 0 0 25 0 1 0 188066656 264654848 62918 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7919/statm: 64613 62918 547 886 0 63723 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 258452
[startup+402.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 7920
/proc/meminfo: memFree=1574176/2055920 swapFree=4191900/4192956
[pid=7919] ppid=7917 vsize=258452 CPUtime=402.18
/proc/7919/stat : 7919 (pbscip.linux.x8) R 7917 7919 7882 0 -1 4194304 66585 0 0 0 40067 151 0 0 25 0 1 0 188066656 264654848 62932 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7919/statm: 64613 62932 547 886 0 63723 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 258452
[startup+462.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 7920
/proc/meminfo: memFree=1574176/2055920 swapFree=4191900/4192956
[pid=7919] ppid=7917 vsize=258452 CPUtime=462.16
/proc/7919/stat : 7919 (pbscip.linux.x8) R 7917 7919 7882 0 -1 4194304 66585 0 0 0 46055 161 0 0 25 0 1 0 188066656 264654848 62932 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7919/statm: 64613 62932 547 886 0 63723 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 258452
[startup+522.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 7920
/proc/meminfo: memFree=1574112/2055920 swapFree=4191900/4192956
[pid=7919] ppid=7917 vsize=258452 CPUtime=522.14
/proc/7919/stat : 7919 (pbscip.linux.x8) R 7917 7919 7882 0 -1 4194304 66585 0 0 0 52040 174 0 0 25 0 1 0 188066656 264654848 62932 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7919/statm: 64613 62932 547 886 0 63723 0
Current children cumulated CPU time (s) 522.14
Current children cumulated vsize (KiB) 258452
[startup+582.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 7920
/proc/meminfo: memFree=1574112/2055920 swapFree=4191900/4192956
[pid=7919] ppid=7917 vsize=258452 CPUtime=582.13
/proc/7919/stat : 7919 (pbscip.linux.x8) R 7917 7919 7882 0 -1 4194304 66585 0 0 0 58028 185 0 0 25 0 1 0 188066656 264654848 62932 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7919/statm: 64613 62932 547 886 0 63723 0
Current children cumulated CPU time (s) 582.13
Current children cumulated vsize (KiB) 258452
[startup+642.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 7920
/proc/meminfo: memFree=1574112/2055920 swapFree=4191900/4192956
[pid=7919] ppid=7917 vsize=258636 CPUtime=642.12
/proc/7919/stat : 7919 (pbscip.linux.x8) R 7917 7919 7882 0 -1 4194304 66586 0 0 0 64017 195 0 0 25 0 1 0 188066656 264843264 62933 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7919/statm: 64659 62933 547 886 0 63769 0
Current children cumulated CPU time (s) 642.12
Current children cumulated vsize (KiB) 258636
[startup+702.302 s]
################
# More data... #
################
/proc/meminfo: memFree=1572320/2055920 swapFree=4191900/4192956
[pid=7919] ppid=7917 vsize=260128 CPUtime=1122
/proc/7919/stat : 7919 (pbscip.linux.x8) R 7917 7919 7882 0 -1 4194304 66990 0 0 0 111917 283 0 0 25 0 1 0 188066656 266371072 63337 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7919/statm: 65032 63337 547 886 0 64142 0
Current children cumulated CPU time (s) 1122
Current children cumulated vsize (KiB) 260128
[startup+1182.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 7920
/proc/meminfo: memFree=1572320/2055920 swapFree=4191900/4192956
[pid=7919] ppid=7917 vsize=260128 CPUtime=1181.99
/proc/7919/stat : 7919 (pbscip.linux.x8) R 7917 7919 7882 0 -1 4194304 66990 0 0 0 117906 293 0 0 25 0 1 0 188066656 266371072 63337 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7919/statm: 65032 63337 547 886 0 64142 0
Current children cumulated CPU time (s) 1181.99
Current children cumulated vsize (KiB) 260128
[startup+1242.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 7920
/proc/meminfo: memFree=1572128/2055920 swapFree=4191900/4192956
[pid=7919] ppid=7917 vsize=260128 CPUtime=1241.98
/proc/7919/stat : 7919 (pbscip.linux.x8) R 7917 7919 7882 0 -1 4194304 66990 0 0 0 123895 303 0 0 25 0 1 0 188066656 266371072 63337 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7919/statm: 65032 63337 547 886 0 64142 0
Current children cumulated CPU time (s) 1241.98
Current children cumulated vsize (KiB) 260128
[startup+1302.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 7920
/proc/meminfo: memFree=1572064/2055920 swapFree=4191900/4192956
[pid=7919] ppid=7917 vsize=260128 CPUtime=1301.97
/proc/7919/stat : 7919 (pbscip.linux.x8) R 7917 7919 7882 0 -1 4194304 66990 0 0 0 129883 314 0 0 25 0 1 0 188066656 266371072 63337 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7919/statm: 65032 63337 547 886 0 64142 0
Current children cumulated CPU time (s) 1301.97
Current children cumulated vsize (KiB) 260128
[startup+1362.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 7920
/proc/meminfo: memFree=1572064/2055920 swapFree=4191900/4192956
[pid=7919] ppid=7917 vsize=260128 CPUtime=1361.95
/proc/7919/stat : 7919 (pbscip.linux.x8) R 7917 7919 7882 0 -1 4194304 66990 0 0 0 135871 324 0 0 25 0 1 0 188066656 266371072 63337 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7919/statm: 65032 63337 547 886 0 64142 0
Current children cumulated CPU time (s) 1361.95
Current children cumulated vsize (KiB) 260128
[startup+1422.31 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 7920
/proc/meminfo: memFree=1572064/2055920 swapFree=4191900/4192956
[pid=7919] ppid=7917 vsize=260128 CPUtime=1421.93
/proc/7919/stat : 7919 (pbscip.linux.x8) R 7917 7919 7882 0 -1 4194304 66990 0 0 0 141859 334 0 0 25 0 1 0 188066656 266371072 63337 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7919/statm: 65032 63337 547 886 0 64142 0
Current children cumulated CPU time (s) 1421.93
Current children cumulated vsize (KiB) 260128
[startup+1482.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 7920
/proc/meminfo: memFree=1572064/2055920 swapFree=4191900/4192956
[pid=7919] ppid=7917 vsize=260128 CPUtime=1481.92
/proc/7919/stat : 7919 (pbscip.linux.x8) R 7917 7919 7882 0 -1 4194304 66990 0 0 0 147847 345 0 0 25 0 1 0 188066656 266371072 63337 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7919/statm: 65032 63337 547 886 0 64142 0
Current children cumulated CPU time (s) 1481.92
Current children cumulated vsize (KiB) 260128
[startup+1542.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 7920
/proc/meminfo: memFree=1572064/2055920 swapFree=4191900/4192956
[pid=7919] ppid=7917 vsize=260128 CPUtime=1541.9
/proc/7919/stat : 7919 (pbscip.linux.x8) R 7917 7919 7882 0 -1 4194304 66990 0 0 0 153835 355 0 0 25 0 1 0 188066656 266371072 63337 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7919/statm: 65032 63337 547 886 0 64142 0
Current children cumulated CPU time (s) 1541.9
Current children cumulated vsize (KiB) 260128
[startup+1602.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 7920
/proc/meminfo: memFree=1572000/2055920 swapFree=4191900/4192956
[pid=7919] ppid=7917 vsize=260128 CPUtime=1601.88
/proc/7919/stat : 7919 (pbscip.linux.x8) R 7917 7919 7882 0 -1 4194304 66990 0 0 0 159823 365 0 0 25 0 1 0 188066656 266371072 63337 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7919/statm: 65032 63337 547 886 0 64142 0
Current children cumulated CPU time (s) 1601.88
Current children cumulated vsize (KiB) 260128
[startup+1662.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 7920
/proc/meminfo: memFree=1572000/2055920 swapFree=4191900/4192956
[pid=7919] ppid=7917 vsize=260128 CPUtime=1661.87
/proc/7919/stat : 7919 (pbscip.linux.x8) R 7917 7919 7882 0 -1 4194304 66990 0 0 0 165814 373 0 0 25 0 1 0 188066656 266371072 63337 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7919/statm: 65032 63337 547 886 0 64142 0
Current children cumulated CPU time (s) 1661.87
Current children cumulated vsize (KiB) 260128
[startup+1722.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 7920
/proc/meminfo: memFree=1572000/2055920 swapFree=4191900/4192956
[pid=7919] ppid=7917 vsize=260128 CPUtime=1721.86
/proc/7919/stat : 7919 (pbscip.linux.x8) R 7917 7919 7882 0 -1 4194304 66990 0 0 0 171802 384 0 0 25 0 1 0 188066656 266371072 63337 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7919/statm: 65032 63337 547 886 0 64142 0
Current children cumulated CPU time (s) 1721.86
Current children cumulated vsize (KiB) 260128
[startup+1782.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 7920
/proc/meminfo: memFree=1571872/2055920 swapFree=4191900/4192956
[pid=7919] ppid=7917 vsize=260128 CPUtime=1781.84
/proc/7919/stat : 7919 (pbscip.linux.x8) R 7917 7919 7882 0 -1 4194304 66990 0 0 0 177789 395 0 0 25 0 1 0 188066656 266371072 63337 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7919/statm: 65032 63337 547 886 0 64142 0
Current children cumulated CPU time (s) 1781.84
Current children cumulated vsize (KiB) 260128
Solver just ended. Dumping a history of the last processes samples
[startup+1785.5 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 7920
/proc/meminfo: memFree=1571872/2055920 swapFree=4191900/4192956
[pid=7919] ppid=7917 vsize=260128 CPUtime=1785.04
/proc/7919/stat : 7919 (pbscip.linux.x8) R 7917 7919 7882 0 -1 4194304 66990 0 0 0 178108 396 0 0 25 0 1 0 188066656 266371072 63337 1992294400 4194304 7823515 548682068736 18446744073709551615 4338420 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7919/statm: 65032 63337 547 886 0 64142 0
Current children cumulated CPU time (s) 1785.04
Current children cumulated vsize (KiB) 260128
[startup+1791.91 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 7920
/proc/meminfo: memFree=1571872/2055920 swapFree=4191900/4192956
[pid=7919] ppid=7917 vsize=260128 CPUtime=1791.44
/proc/7919/stat : 7919 (pbscip.linux.x8) R 7917 7919 7882 0 -1 4194304 66990 0 0 0 178746 398 0 0 25 0 1 0 188066656 266371072 63337 1992294400 4194304 7823515 548682068736 18446744073709551615 6254475 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7919/statm: 65032 63337 547 886 0 64142 0
Current children cumulated CPU time (s) 1791.44
Current children cumulated vsize (KiB) 260128
[startup+1793.5 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 7920
/proc/meminfo: memFree=1571872/2055920 swapFree=4191900/4192956
[pid=7919] ppid=7917 vsize=260128 CPUtime=1793.04
/proc/7919/stat : 7919 (pbscip.linux.x8) R 7917 7919 7882 0 -1 4194304 66990 0 0 0 178906 398 0 0 25 0 1 0 188066656 266371072 63337 1992294400 4194304 7823515 548682068736 18446744073709551615 5965844 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7919/statm: 65032 63337 547 886 0 64142 0
Current children cumulated CPU time (s) 1793.04
Current children cumulated vsize (KiB) 260128
[startup+1795.1 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 7920
/proc/meminfo: memFree=1571872/2055920 swapFree=4191900/4192956
[pid=7919] ppid=7917 vsize=260128 CPUtime=1794.64
/proc/7919/stat : 7919 (pbscip.linux.x8) R 7917 7919 7882 0 -1 4194304 66990 0 0 0 179066 398 0 0 25 0 1 0 188066656 266371072 63337 1992294400 4194304 7823515 548682068736 18446744073709551615 4339127 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7919/statm: 65032 63337 547 886 0 64142 0
Current children cumulated CPU time (s) 1794.64
Current children cumulated vsize (KiB) 260128
[startup+1795.9 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 7920
/proc/meminfo: memFree=1571872/2055920 swapFree=4191900/4192956
[pid=7919] ppid=7917 vsize=260128 CPUtime=1795.43
/proc/7919/stat : 7919 (pbscip.linux.x8) R 7917 7919 7882 0 -1 4194304 66992 0 0 0 179145 398 0 0 25 0 1 0 188066656 266371072 63339 1992294400 4194304 7823515 548682068736 18446744073709551615 4685941 0 0 4096 0 0 0 0 17 1 0 0
/proc/7919/statm: 65032 63339 549 886 0 64142 0
Current children cumulated CPU time (s) 1795.43
Current children cumulated vsize (KiB) 260128
[startup+1796.1 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 7920
/proc/meminfo: memFree=1571872/2055920 swapFree=4191900/4192956
[pid=7919] ppid=7917 vsize=260128 CPUtime=1795.63
/proc/7919/stat : 7919 (pbscip.linux.x8) R 7917 7919 7882 0 -1 4194304 66997 0 0 0 179165 398 0 0 18 0 1 0 188066656 266371072 63344 1992294400 4194304 7823515 548682068736 18446744073709551615 4237366 0 0 4096 0 0 0 0 17 1 0 0
/proc/7919/statm: 65032 63344 554 886 0 64142 0
Current children cumulated CPU time (s) 1795.63
Current children cumulated vsize (KiB) 260128
[startup+1796.2 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 7920
/proc/meminfo: memFree=1629024/2055920 swapFree=4191900/4192956
[pid=7919] ppid=7917 vsize=199164 CPUtime=1795.74
/proc/7919/stat : 7919 (pbscip.linux.x8) R 7917 7919 7882 0 -1 4194304 66997 0 0 0 179175 399 0 0 18 0 1 0 188066656 203943936 48995 1992294400 4194304 7823515 548682068736 18446744073709551615 4819811 0 0 4096 0 0 0 0 17 1 0 0
/proc/7919/statm: 49791 48995 554 886 0 48901 0
Current children cumulated CPU time (s) 1795.74
Current children cumulated vsize (KiB) 199164
Child status: 0
Real time (s): 1796.28
CPU time (s): 1795.83
CPU user time (s): 1791.79
CPU system time (s): 4.03139
CPU usage (%): 99.9748
Max. virtual memory (cumulated for all children) (KiB): 260128
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1791.79
system time used= 4.03139
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 67002
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= 9
involuntary context switches= 3098
runsolver used 1.3388 second user time and 3.86441 second system time
The end
Begin job on node14 at 2009-06-17 04:10:57
IDJOB=1870446
IDBENCH=48222
IDSOLVER=683
FILE ID=node14/1870446-1245204657
PBS_JOBID= 9368370
Free space on /tmp= 66372 MiB
SOLVER NAME= SCIPspx SCIP 1.1.0.7 with SoPLEX 1.4.1(24.4.2009)
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mis/normalized-mis_1000_60_5.opb
COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt-gcc42.spx -t TIMEOUT -m MEMLIMIT -f BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1870446-1245204657/watcher-1870446-1245204657 -o /tmp/evaluation-result-1870446-1245204657/solver-1870446-1245204657 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.spx -t 1800 -m 1800 -f HOME/instance-1870446-1245204657.opb
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 80b55b230959185abe8760f01da7fec8
RANDOM SEED=930075148
node14.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.234
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5914.62
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.234
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5586.94
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1824992 kB
Buffers: 52020 kB
Cached: 123236 kB
SwapCached: 388 kB
Active: 87204 kB
Inactive: 101368 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1824992 kB
SwapTotal: 4192956 kB
SwapFree: 4191900 kB
Dirty: 10808 kB
Writeback: 0 kB
Mapped: 21656 kB
Slab: 28344 kB
Committed_AS: 193640 kB
PageTables: 1452 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264952 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 66364 MiB
End job on node14 at 2009-06-17 04:40:54