0.39/0.41 c SCIP version 1.1.0.7
0.39/0.41 c LP-Solver Clp 1.8.2
0.39/0.41 c user parameter file <scip.set> not found - using default parameters
0.39/0.41 c read problem <HOME/instance-1870447-1245204678.opb>
0.39/0.41 c original problem has 38644 variables (38644 bin, 0 int, 0 impl, 0 cont) and 38644 constraints
0.69/0.78 c start presolving problem
0.69/0.78 c presolving:
1.99/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.50 c (3.8s) probing: 101/1000 (10.1%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
4.39/4.50 c (3.8s) probing aborted: 100/100 successive totally useless probings
4.48/4.50 c presolving (2 rounds):
4.48/4.50 c 37644 deleted vars, 1000 deleted constraints, 37644 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
4.48/4.50 c 225864 implications, 0 cliques
4.48/4.50 c presolved problem has 1000 variables (1000 bin, 0 int, 0 impl, 0 cont) and 37644 constraints
4.48/4.50 c 37644 constraints of type <and>
4.48/4.50 c transformed objective value is always integral (scale: 1)
4.48/4.50 c Presolving Time: 3.63
4.48/4.50 c OPT-NLC
4.48/4.50 c -----------------------------------------------------------------------------------------------
4.48/4.50 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
4.48/4.50 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
4.48/4.50 c limits/memory = c 1620
4.48/4.50 c # maximal time in seconds to run
4.48/4.50 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
4.48/4.50 c limits/time = c 1791
4.48/4.50 c # frequency for displaying node information lines
4.48/4.50 c # [type: int, range: [-1,2147483647], default: 100]
4.48/4.50 c display/freq = c 10000
4.48/4.50 c -----------------------------------------------------------------------------------------------
4.48/4.50 c start solving problem
4.48/4.50 c
5.39/5.46 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
5.39/5.46 c 4.7s| 1 | 0 | 1031 | 139M| 0 |1000 |1000 | 37k| 37k|1000 | 37k| 0 | 0 | 0 |-5.000000e+02 | -- | Inf
5.49/5.50 o -52
5.49/5.50 c R 4.7s| 1 | 0 | 1031 | 139M| 0 |1000 |1000 | 37k| 37k|1000 | 37k| 0 | 0 | 0 |-5.000000e+02 |-5.200000e+01 | 89.60%
7.89/7.93 c 7.1s| 1 | 0 | 1198 | 139M| 0 | 989 |1000 | 37k| 37k|1000 | 37k| 9 | 0 | 0 |-4.945000e+02 |-5.200000e+01 | 89.48%
9.59/9.67 c 8.8s| 1 | 0 | 1244 | 139M| 0 | 982 |1000 | 37k| 37k|1000 | 37k| 16 | 0 | 0 |-4.910000e+02 |-5.200000e+01 | 89.41%
11.89/11.95 c 11.1s| 1 | 0 | 1365 | 139M| 0 | 975 |1000 | 37k| 37k|1000 | 37k| 23 | 0 | 0 |-4.875000e+02 |-5.200000e+01 | 89.33%
14.88/14.98 c 14.1s| 1 | 0 | 1588 | 139M| 0 | 960 |1000 | 37k| 37k|1000 | 37k| 36 | 0 | 0 |-4.800000e+02 |-5.200000e+01 | 89.17%
17.89/17.95 c 17.1s| 1 | 0 | 1754 | 139M| 0 | 954 |1000 | 37k| 37k|1000 | 37k| 44 | 0 | 0 |-4.770000e+02 |-5.200000e+01 | 89.10%
20.88/20.93 c 20.1s| 1 | 0 | 1929 | 139M| 0 | 944 |1000 | 37k| 37k|1000 | 37k| 56 | 0 | 0 |-4.720000e+02 |-5.200000e+01 | 88.98%
25.08/25.18 c 24.3s| 1 | 0 | 2209 | 139M| 0 | 940 |1000 | 37k| 37k|1000 | 37k| 62 | 0 | 0 |-4.700000e+02 |-5.200000e+01 | 88.94%
29.28/29.37 c 28.5s| 1 | 0 | 2493 | 139M| 0 | 932 |1000 | 37k| 37k|1000 | 37k| 70 | 0 | 0 |-4.660000e+02 |-5.200000e+01 | 88.84%
36.07/36.18 c 35.3s| 1 | 0 | 3019 | 139M| 0 | 926 |1000 | 37k| 37k|1000 | 37k| 76 | 0 | 0 |-4.625000e+02 |-5.200000e+01 | 88.76%
43.06/43.10 c 42.2s| 1 | 0 | 3433 | 139M| 0 | 921 |1000 | 37k| 37k|1000 | 37k| 83 | 0 | 0 |-4.605000e+02 |-5.200000e+01 | 88.71%
46.17/46.23 c 45.3s| 1 | 0 | 3628 | 139M| 0 | 915 |1000 | 37k| 37k|1000 |1350 | 90 | 0 | 0 |-4.575000e+02 |-5.200000e+01 | 88.63%
46.76/46.90 c 46.0s| 1 | 0 | 3928 | 139M| 0 | 870 |1000 | 37k| 37k|1000 |1356 | 96 | 0 | 0 |-4.570000e+02 |-5.200000e+01 | 88.62%
49.36/49.48 c 48.5s| 1 | 0 | 4701 | 141M| 0 | 909 |1000 | 37k| 37k|1000 |3356 |2096 | 0 | 0 |-4.555000e+02 |-5.200000e+01 | 88.58%
50.16/50.29 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
50.16/50.29 c 49.3s| 1 | 0 | 5381 | 141M| 0 | 906 |1000 | 37k| 37k|1000 |3426 |2166 | 0 | 0 |-4.515000e+02 |-5.200000e+01 | 88.48%
51.16/51.28 c 50.3s| 1 | 0 | 6117 | 141M| 0 | 893 |1000 | 37k| 37k|1000 |3688 |2428 | 0 | 0 |-4.475000e+02 |-5.200000e+01 | 88.38%
52.46/52.52 c 51.6s| 1 | 0 | 7151 | 141M| 0 | 887 |1000 | 37k| 37k|1000 |3752 |2492 | 0 | 0 |-4.450000e+02 |-5.200000e+01 | 88.31%
53.76/53.84 c 52.9s| 1 | 0 | 8295 | 141M| 0 | 910 |1000 | 37k| 37k|1000 |3504 |2617 | 0 | 0 |-4.431429e+02 |-5.200000e+01 | 88.27%
58.65/58.77 c 57.8s| 1 | 0 | 8626 | 141M| 0 | 890 |1000 | 37k| 37k|1000 |5504 |4617 | 0 | 0 |-4.425000e+02 |-5.200000e+01 | 88.25%
59.95/60.04 c 59.1s| 1 | 0 | 9276 | 142M| 0 | 879 |1000 | 37k| 37k|1000 |5511 |4624 | 0 | 0 |-4.390000e+02 |-5.200000e+01 | 88.15%
61.06/61.15 c 60.2s| 1 | 0 | 9947 | 142M| 0 | 868 |1000 | 37k| 37k|1000 |5520 |4633 | 0 | 0 |-4.350000e+02 |-5.200000e+01 | 88.05%
62.35/62.41 c 61.4s| 1 | 0 | 10778 | 142M| 0 | 865 |1000 | 37k| 37k|1000 |5596 |4709 | 0 | 0 |-4.335000e+02 |-5.200000e+01 | 88.00%
63.46/63.58 c 62.6s| 1 | 0 | 11589 | 142M| 0 | 856 |1000 | 37k| 37k|1000 |5677 |4790 | 0 | 0 |-4.300000e+02 |-5.200000e+01 | 87.91%
65.06/65.11 c 64.1s| 1 | 0 | 12658 | 142M| 0 | 855 |1000 | 37k| 37k|1000 |3848 |4936 | 0 | 0 |-4.275000e+02 |-5.200000e+01 | 87.84%
66.65/66.76 c 65.8s| 1 | 0 | 14013 | 142M| 0 | 772 |1000 | 37k| 37k|1000 |3854 |4942 | 0 | 0 |-4.260000e+02 |-5.200000e+01 | 87.79%
68.35/68.47 c 67.5s| 1 | 0 | 14727 | 143M| 0 | 849 |1000 | 37k| 37k|1000 |5854 |6942 | 0 | 0 |-4.245000e+02 |-5.200000e+01 | 87.75%
69.15/69.28 c 68.3s| 1 | 0 | 15217 | 143M| 0 | 841 |1000 | 37k| 37k|1000 |5862 |6950 | 0 | 0 |-4.235000e+02 |-5.200000e+01 | 87.72%
70.76/70.88 c 69.9s| 1 | 0 | 16329 | 143M| 0 | 840 |1000 | 37k| 37k|1000 |6055 |7143 | 0 | 0 |-4.200000e+02 |-5.200000e+01 | 87.62%
72.65/72.76 c 71.8s| 1 | 0 | 17491 | 143M| 0 | 836 |1000 | 37k| 37k|1000 |6062 |7150 | 0 | 0 |-4.180000e+02 |-5.200000e+01 | 87.56%
73.65/73.73 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
73.65/73.73 c 72.7s| 1 | 0 | 18049 | 143M| 0 | 831 |1000 | 37k| 37k|1000 |5252 |7155 | 0 | 0 |-4.165000e+02 |-5.200000e+01 | 87.52%
75.25/75.39 c 74.4s| 1 | 0 | 19430 | 143M| 0 | 824 |1000 | 37k| 37k|1000 |5311 |7214 | 0 | 0 |-4.160000e+02 |-5.200000e+01 | 87.50%
76.55/76.64 c 75.6s| 1 | 0 | 20308 | 143M| 0 | 826 |1000 | 37k| 37k|1000 |5552 |7455 | 0 | 0 |-4.150000e+02 |-5.200000e+01 | 87.47%
78.15/78.25 c 77.2s| 1 | 0 | 21629 | 143M| 0 | 822 |1000 | 37k| 37k|1000 |5715 |7618 | 0 | 0 |-4.130000e+02 |-5.200000e+01 | 87.41%
79.95/80.01 c 79.0s| 1 | 0 | 23070 | 143M| 0 | 820 |1000 | 37k| 37k|1000 |5879 |7782 | 0 | 0 |-4.105000e+02 |-5.200000e+01 | 87.33%
81.65/81.76 c 80.7s| 1 | 0 | 24438 | 143M| 0 | 814 |1000 | 37k| 37k|1000 |5945 |7848 | 0 | 0 |-4.090000e+02 |-5.200000e+01 | 87.29%
84.15/84.24 c 83.2s| 1 | 0 | 26307 | 144M| 0 | 802 |1000 | 37k| 37k|1000 |3822 |7970 | 0 | 0 |-4.060000e+02 |-5.200000e+01 | 87.19%
85.44/85.58 c 84.6s| 1 | 0 | 27658 | 144M| 0 | 828 |1000 | 37k| 37k|1000 |4113 |8261 | 0 | 0 |-4.045000e+02 |-5.200000e+01 | 87.14%
88.74/88.81 c 87.8s| 1 | 0 | 28050 | 145M| 0 | 806 |1000 | 37k| 37k|1000 |6113 | 10k| 0 | 0 |-4.030000e+02 |-5.200000e+01 | 87.10%
89.95/90.01 c 89.0s| 1 | 0 | 28763 | 145M| 0 | 803 |1000 | 37k| 37k|1000 |6121 | 10k| 0 | 0 |-4.015000e+02 |-5.200000e+01 | 87.05%
90.94/91.01 c 90.0s| 1 | 0 | 29353 | 145M| 0 | 796 |1000 | 37k| 37k|1000 |6126 | 10k| 0 | 0 |-3.990000e+02 |-5.200000e+01 | 86.97%
92.44/92.51 c 91.5s| 1 | 0 | 30252 | 145M| 0 | 795 |1000 | 37k| 37k|1000 |6175 | 10k| 0 | 0 |-3.985000e+02 |-5.200000e+01 | 86.95%
93.84/93.94 c 92.9s| 1 | 0 | 31023 | 145M| 0 | 794 |1000 | 37k| 37k|1000 |5608 | 10k| 0 | 0 |-3.980000e+02 |-5.200000e+01 | 86.93%
94.94/95.01 c 94.0s| 1 | 0 | 31736 | 145M| 0 | 793 |1000 | 37k| 37k|1000 |5675 | 10k| 0 | 0 |-3.965000e+02 |-5.200000e+01 | 86.89%
96.14/96.28 c 95.2s| 1 | 0 | 32579 | 145M| 0 | 802 |1000 | 37k| 37k|1000 |5734 | 10k| 0 | 0 |-3.962500e+02 |-5.200000e+01 | 86.88%
97.75/97.90 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
97.75/97.90 c 96.8s| 1 | 0 | 33961 | 145M| 0 | 786 |1000 | 37k| 37k|1000 |5863 | 10k| 0 | 0 |-3.930000e+02 |-5.200000e+01 | 86.77%
99.24/99.34 c 98.3s| 1 | 0 | 35132 | 145M| 0 | 777 |1000 | 37k| 37k|1000 |5870 | 10k| 0 | 0 |-3.915000e+02 |-5.200000e+01 | 86.72%
100.44/100.55 c 99.5s| 1 | 0 | 35861 | 145M| 0 | 780 |1000 | 37k| 37k|1000 |6052 | 10k| 0 | 0 |-3.910000e+02 |-5.200000e+01 | 86.70%
102.94/103.09 c 102s| 1 | 0 | 37611 | 145M| 0 | 787 |1000 | 37k| 37k|1000 |3637 | 10k| 0 | 0 |-3.895000e+02 |-5.200000e+01 | 86.65%
104.63/104.77 c 104s| 1 | 0 | 38904 | 146M| 0 | 768 |1000 | 37k| 37k|1000 |3978 | 11k| 0 | 0 |-3.890000e+02 |-5.200000e+01 | 86.63%
106.34/106.46 c 105s| 1 | 0 | 40394 | 146M| 0 | 774 |1000 | 37k| 37k|1000 |4281 | 11k| 0 | 0 |-3.879375e+02 |-5.200000e+01 | 86.60%
108.23/108.33 c 107s| 1 | 0 | 41957 | 146M| 0 | 774 |1000 | 37k| 37k|1000 |4663 | 11k| 0 | 0 |-3.865000e+02 |-5.200000e+01 | 86.55%
109.74/109.90 c 109s| 1 | 0 | 43377 | 146M| 0 | 773 |1000 | 37k| 37k|1000 |4767 | 12k| 0 | 0 |-3.850000e+02 |-5.200000e+01 | 86.49%
112.14/112.29 c 111s| 1 | 0 | 45099 | 147M| 0 | 759 |1000 | 37k| 37k|1000 |5340 | 12k| 0 | 0 |-3.825000e+02 |-5.200000e+01 | 86.41%
114.53/114.66 c 114s| 1 | 0 | 47005 | 147M| 0 | 830 |1000 | 37k| 37k|1000 |5166 | 12k| 0 | 0 |-3.809080e+02 |-5.200000e+01 | 86.35%
117.63/117.76 c 117s| 1 | 0 | 47387 | 147M| 0 | 763 |1000 | 37k| 37k|1000 |7166 | 14k| 0 | 0 |-3.805000e+02 |-5.200000e+01 | 86.33%
119.23/119.31 c 118s| 1 | 0 | 48280 | 147M| 0 | 760 |1000 | 37k| 37k|1000 |7173 | 14k| 0 | 0 |-3.790000e+02 |-5.200000e+01 | 86.28%
121.03/121.18 c 120s| 1 | 0 | 49266 | 147M| 0 | 755 |1000 | 37k| 37k|1000 |7183 | 14k| 0 | 0 |-3.775000e+02 |-5.200000e+01 | 86.23%
123.73/123.80 c 123s| 1 | 0 | 50649 | 148M| 0 | 757 |1000 | 37k| 37k|1000 |7190 | 14k| 0 | 0 |-3.760000e+02 |-5.200000e+01 | 86.17%
126.63/126.71 c 126s| 1 | 0 | 52231 | 148M| 0 | 742 |1000 | 37k| 37k|1000 |7378 | 14k| 0 | 0 |-3.740000e+02 |-5.200000e+01 | 86.10%
129.13/129.30 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
129.13/129.30 c 128s| 1 | 0 | 53718 | 148M| 0 | 743 |1000 | 37k| 37k|1000 |6546 | 15k| 0 | 0 |-3.715000e+02 |-5.200000e+01 | 86.00%
131.73/131.88 c 131s| 1 | 0 | 55272 | 148M| 0 | 740 |1000 | 37k| 37k|1000 |6553 | 15k| 0 | 0 |-3.700000e+02 |-5.200000e+01 | 85.95%
132.83/132.93 c 132s| 1 | 0 | 55947 | 148M| 0 | 739 |1000 | 37k| 37k|1000 |6562 | 15k| 0 | 0 |-3.695000e+02 |-5.200000e+01 | 85.93%
135.13/135.23 c 134s| 1 | 0 | 57294 | 149M| 0 | 740 |1000 | 37k| 37k|1000 |6672 | 15k| 0 | 0 |-3.692500e+02 |-5.200000e+01 | 85.92%
138.82/138.97 c 138s| 1 | 0 | 59757 | 149M| 0 | 734 |1000 | 37k| 37k|1000 |6756 | 15k| 0 | 0 |-3.675000e+02 |-5.200000e+01 | 85.85%
141.63/141.79 c 141s| 1 | 0 | 61423 | 149M| 0 | 731 |1000 | 37k| 37k|1000 |6870 | 15k| 0 | 0 |-3.665000e+02 |-5.200000e+01 | 85.81%
145.62/145.79 c 145s| 1 | 0 | 63640 | 149M| 0 | 726 |1000 | 37k| 37k|1000 |5637 | 15k| 0 | 0 |-3.650000e+02 |-5.200000e+01 | 85.75%
148.13/148.26 c 147s| 1 | 0 | 65174 | 149M| 0 | 719 |1000 | 37k| 37k|1000 |5758 | 15k| 0 | 0 |-3.635000e+02 |-5.200000e+01 | 85.69%
151.02/151.19 c 150s| 1 | 0 | 67223 | 149M| 0 | 723 |1000 | 37k| 37k|1000 |5987 | 15k| 0 | 0 |-3.625000e+02 |-5.200000e+01 | 85.66%
155.42/155.58 c 154s| 1 | 0 | 69607 | 149M| 0 | 725 |1000 | 37k| 37k|1000 |6034 | 15k| 0 | 0 |-3.616000e+02 |-5.200000e+01 | 85.62%
157.91/158.00 c 157s| 1 | 0 | 71505 | 149M| 0 | 718 |1000 | 37k| 37k|1000 |6045 | 15k| 0 | 0 |-3.610000e+02 |-5.200000e+01 | 85.60%
160.32/160.48 c 159s| 1 | 0 | 73323 | 149M| 0 | 739 |1000 | 37k| 37k|1000 |6202 | 16k| 0 | 0 |-3.595000e+02 |-5.200000e+01 | 85.54%
162.22/162.32 c 161s| 1 | 0 | 74381 | 150M| 0 | 724 |1000 | 37k| 37k|1000 |5881 | 16k| 0 | 0 |-3.590000e+02 |-5.200000e+01 | 85.52%
164.82/164.97 c 164s| 1 | 0 | 76046 | 151M| 0 | 710 |1000 | 37k| 37k|1000 |5933 | 16k| 0 | 0 |-3.580000e+02 |-5.200000e+01 | 85.47%
166.92/167.07 c 166s| 1 | 0 | 77362 | 151M| 0 | 714 |1000 | 37k| 37k|1000 |6088 | 16k| 0 | 0 |-3.565000e+02 |-5.200000e+01 | 85.41%
169.71/169.90 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
169.71/169.90 c 168s| 1 | 0 | 79192 | 151M| 0 | 742 |1000 | 37k| 37k|1000 |6101 | 16k| 0 | 0 |-3.557500e+02 |-5.200000e+01 | 85.38%
172.01/172.11 c 171s| 1 | 0 | 81005 | 151M| 0 | 755 |1000 | 37k| 37k|1000 |6430 | 16k| 0 | 0 |-3.532500e+02 |-5.200000e+01 | 85.28%
174.31/174.40 c 173s| 1 | 0 | 82558 | 152M| 0 | 719 |1000 | 37k| 37k|1000 |6977 | 17k| 0 | 0 |-3.512500e+02 |-5.200000e+01 | 85.20%
176.41/176.59 c 175s| 1 | 0 | 84086 | 152M| 0 | 703 |1000 | 37k| 37k|1000 |6412 | 17k| 0 | 0 |-3.490000e+02 |-5.200000e+01 | 85.10%
180.11/180.22 c 179s| 1 | 0 | 86292 | 152M| 0 | 715 |1000 | 37k| 37k|1000 |6464 | 17k| 0 | 0 |-3.480000e+02 |-5.200000e+01 | 85.06%
185.01/185.17 c 184s| 1 | 0 | 89377 | 152M| 0 | 691 |1000 | 37k| 37k|1000 |6668 | 17k| 0 | 0 |-3.455000e+02 |-5.200000e+01 | 84.95%
188.61/188.72 c 187s| 1 | 0 | 91887 | 152M| 0 | 701 |1000 | 37k| 37k|1000 |6676 | 17k| 0 | 0 |-3.445000e+02 |-5.200000e+01 | 84.91%
192.51/192.69 c 191s| 1 | 0 | 94836 | 152M| 0 | 686 |1000 | 37k| 37k|1000 |6733 | 17k| 0 | 0 |-3.440000e+02 |-5.200000e+01 | 84.88%
197.91/198.04 c 196s| 1 | 0 | 98338 | 152M| 0 | 794 |1000 | 37k| 37k|1000 |6774 | 17k| 0 | 0 |-3.429167e+02 |-5.200000e+01 | 84.84%
200.10/200.27 c 199s| 1 | 0 | 99511 | 153M| 0 | 711 |1000 | 37k| 37k|1000 |7542 | 18k| 0 | 0 |-3.425000e+02 |-5.200000e+01 | 84.82%
202.90/203.05 c 201s| 1 | 0 |101204 | 153M| 0 | 684 |1000 | 37k| 37k|1000 |7554 | 18k| 0 | 0 |-3.415000e+02 |-5.200000e+01 | 84.77%
205.01/205.17 c 203s| 1 | 0 |102434 | 153M| 0 | 727 |1000 | 37k| 37k|1000 |7566 | 18k| 0 | 0 |-3.410000e+02 |-5.200000e+01 | 84.75%
207.90/208.02 c 206s| 1 | 0 |103993 | 154M| 0 | 716 |1000 | 37k| 37k|1000 |7579 | 18k| 0 | 0 |-3.407500e+02 |-5.200000e+01 | 84.74%
213.20/213.39 c 212s| 1 | 0 |106569 | 154M| 0 | 678 |1000 | 37k| 37k|1000 |7590 | 18k| 0 | 0 |-3.400000e+02 |-5.200000e+01 | 84.71%
217.90/218.05 c 216s| 1 | 0 |108995 | 154M| 0 | 712 |1000 | 37k| 37k|1000 |7652 | 19k| 0 | 0 |-3.398000e+02 |-5.200000e+01 | 84.70%
224.99/225.13 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
224.99/225.13 c 223s| 1 | 0 |112251 | 154M| 0 | 723 |1000 | 37k| 37k|1000 |6809 | 19k| 0 | 0 |-3.390000e+02 |-5.200000e+01 | 84.66%
232.00/232.16 c 230s| 1 | 0 |115640 | 156M| 0 | 724 |1000 | 37k| 37k|1000 |6819 | 19k| 0 | 0 |-3.390000e+02 |-5.200000e+01 | 84.66%
238.29/238.48 c 237s| 1 | 0 |118538 | 157M| 0 | 679 |1000 | 37k| 37k|1000 |6936 | 19k| 0 | 0 |-3.390000e+02 |-5.200000e+01 | 84.66%
244.68/244.82 c 243s| 1 | 0 |121411 | 158M| 0 | 681 |1000 | 37k| 37k|1000 |6983 | 19k| 0 | 0 |-3.385000e+02 |-5.200000e+01 | 84.64%
246.69/246.86 c 245s| 1 | 0 |122687 | 159M| 0 | 719 |1000 | 37k| 37k|1000 |7044 | 19k| 0 | 0 |-3.377258e+02 |-5.200000e+01 | 84.60%
250.78/250.93 c 249s| 1 | 0 |124847 | 159M| 0 | 678 |1000 | 37k| 37k|1000 |7139 | 19k| 0 | 0 |-3.370000e+02 |-5.200000e+01 | 84.57%
252.68/252.86 c 251s| 1 | 0 |125894 | 160M| 0 | 721 |1000 | 37k| 37k|1000 |6310 | 19k| 0 | 0 |-3.364545e+02 |-5.200000e+01 | 84.54%
254.69/254.82 c 253s| 1 | 0 |127369 | 160M| 0 | 668 |1000 | 37k| 37k|1000 |6321 | 19k| 0 | 0 |-3.350000e+02 |-5.200000e+01 | 84.48%
256.09/256.29 c 254s| 1 | 0 |128431 | 160M| 0 | 686 |1000 | 37k| 37k|1000 |6366 | 19k| 0 | 0 |-3.345000e+02 |-5.200000e+01 | 84.45%
262.28/262.40 c 260s| 1 | 0 |131756 | 161M| 0 | 733 |1000 | 37k| 37k|1000 |6418 | 19k| 0 | 0 |-3.337330e+02 |-5.200000e+01 | 84.42%
265.07/265.26 c 263s| 1 | 0 |133749 | 161M| 0 | 756 |1000 | 37k| 37k|1000 |6512 | 19k| 0 | 0 |-3.328125e+02 |-5.200000e+01 | 84.38%
267.58/267.70 c 266s| 1 | 0 |135367 | 162M| 0 | 777 |1000 | 37k| 37k|1000 |6776 | 19k| 0 | 0 |-3.320724e+02 |-5.200000e+01 | 84.34%
270.08/270.21 c 268s| 1 | 0 |136712 | 162M| 0 | 727 |1000 | 37k| 37k|1000 |6942 | 20k| 0 | 0 |-3.312143e+02 |-5.200000e+01 | 84.30%
274.88/275.02 c 273s| 1 | 0 |139381 | 163M| 0 | 733 |1000 | 37k| 37k|1000 |7130 | 20k| 0 | 0 |-3.305000e+02 |-5.200000e+01 | 84.27%
279.77/279.90 c 278s| 1 | 0 |141985 | 163M| 0 | 730 |1000 | 37k| 37k|1000 |7174 | 20k| 0 | 0 |-3.292000e+02 |-5.200000e+01 | 84.20%
282.18/282.33 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
282.18/282.33 c 280s| 1 | 0 |143512 | 164M| 0 | 765 |1000 | 37k| 37k|1000 |7185 | 20k| 0 | 0 |-3.278556e+02 |-5.200000e+01 | 84.14%
284.07/284.28 c 282s| 1 | 0 |144713 | 165M| 0 | 776 |1000 | 37k| 37k|1000 |7295 | 20k| 0 | 0 |-3.274213e+02 |-5.200000e+01 | 84.12%
286.67/286.89 c 285s| 1 | 0 |146326 | 166M| 0 | 775 |1000 | 37k| 37k|1000 |7464 | 20k| 0 | 0 |-3.262373e+02 |-5.200000e+01 | 84.06%
290.18/290.39 c 288s| 1 | 0 |148330 | 168M| 0 | 780 |1000 | 37k| 37k|1000 |7345 | 20k| 0 | 0 |-3.250086e+02 |-5.200000e+01 | 84.00%
292.97/293.18 c 291s| 1 | 0 |149726 | 168M| 0 | 797 |1000 | 37k| 37k|1000 |7433 | 20k| 0 | 0 |-3.241593e+02 |-5.200000e+01 | 83.96%
295.68/295.84 c 294s| 1 | 0 |151174 | 170M| 0 | 804 |1000 | 37k| 37k|1000 |7575 | 21k| 0 | 0 |-3.227735e+02 |-5.200000e+01 | 83.89%
299.07/299.22 c 297s| 1 | 0 |152890 | 170M| 0 | 807 |1000 | 37k| 37k|1000 |7721 | 21k| 0 | 0 |-3.221283e+02 |-5.200000e+01 | 83.86%
302.47/302.62 c 301s| 1 | 0 |154646 | 170M| 0 | 791 |1000 | 37k| 37k|1000 |7770 | 21k| 0 | 0 |-3.206223e+02 |-5.200000e+01 | 83.78%
306.17/306.33 c 304s| 1 | 0 |156638 | 170M| 0 | 804 |1000 | 37k| 37k|1000 |7782 | 21k| 0 | 0 |-3.195150e+02 |-5.200000e+01 | 83.73%
309.06/309.29 c 307s| 1 | 0 |157946 | 171M| 0 | 798 |1000 | 37k| 37k|1000 |7090 | 21k| 0 | 0 |-3.189628e+02 |-5.200000e+01 | 83.70%
312.06/312.29 c 310s| 1 | 0 |159519 | 171M| 0 | 805 |1000 | 37k| 37k|1000 |7211 | 21k| 0 | 0 |-3.182120e+02 |-5.200000e+01 | 83.66%
316.07/316.28 c 314s| 1 | 0 |161485 | 171M| 0 | 808 |1000 | 37k| 37k|1000 |7357 | 21k| 0 | 0 |-3.166644e+02 |-5.200000e+01 | 83.58%
319.76/319.99 c 318s| 1 | 0 |163426 | 171M| 0 | 809 |1000 | 37k| 37k|1000 |7400 | 21k| 0 | 0 |-3.151524e+02 |-5.200000e+01 | 83.50%
322.96/323.19 c 321s| 1 | 0 |165057 | 172M| 0 | 810 |1000 | 37k| 37k|1000 |7443 | 21k| 0 | 0 |-3.145784e+02 |-5.200000e+01 | 83.47%
326.76/326.91 c 325s| 1 | 0 |166717 | 172M| 0 | 818 |1000 | 37k| 37k|1000 |7554 | 21k| 0 | 0 |-3.134967e+02 |-5.200000e+01 | 83.41%
331.55/331.74 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
331.55/331.74 c 330s| 1 | 0 |168801 | 172M| 0 | 788 |1000 | 37k| 37k|1000 |7256 | 21k| 0 | 0 |-3.119489e+02 |-5.200000e+01 | 83.33%
334.66/334.85 c 333s| 1 | 0 |170509 | 171M| 0 | 798 |1000 | 37k| 37k|1000 |7290 | 21k| 0 | 0 |-3.104483e+02 |-5.200000e+01 | 83.25%
338.36/338.55 c 336s| 1 | 0 |172524 | 171M| 0 | 794 |1000 | 37k| 37k|1000 |7356 | 22k| 0 | 0 |-3.089877e+02 |-5.200000e+01 | 83.17%
341.36/341.51 c 339s| 1 | 0 |173963 | 172M| 0 | 801 |1000 | 37k| 37k|1000 |7389 | 22k| 0 | 0 |-3.077024e+02 |-5.200000e+01 | 83.10%
344.95/345.18 c 343s| 1 | 0 |176054 | 172M| 0 | 781 |1000 | 37k| 37k|1000 |7459 | 22k| 0 | 0 |-3.063437e+02 |-5.200000e+01 | 83.03%
349.05/349.26 c 347s| 1 | 0 |178361 | 171M| 0 | 805 |1000 | 37k| 37k|1000 |7586 | 22k| 0 | 0 |-3.042971e+02 |-5.200000e+01 | 82.91%
352.25/352.44 c 350s| 1 | 0 |179600 | 171M| 0 | 781 |1000 | 37k| 37k|1000 |7518 | 22k| 0 | 0 |-3.036519e+02 |-5.200000e+01 | 82.88%
356.16/356.38 c 354s| 1 | 0 |181995 | 171M| 0 | 789 |1000 | 37k| 37k|1000 |7585 | 22k| 0 | 0 |-3.024438e+02 |-5.200000e+01 | 82.81%
359.84/360.04 c 358s| 1 | 0 |183852 | 171M| 0 | 787 |1000 | 37k| 37k|1000 |7630 | 22k| 0 | 0 |-3.011111e+02 |-5.200000e+01 | 82.73%
363.85/364.04 c 362s| 1 | 0 |185820 | 171M| 0 | 779 |1000 | 37k| 37k|1000 |7685 | 22k| 0 | 0 |-2.999993e+02 |-5.200000e+01 | 82.67%
367.94/368.11 c 366s| 1 | 0 |187996 | 171M| 0 | 790 |1000 | 37k| 37k|1000 |7729 | 22k| 0 | 0 |-2.988413e+02 |-5.200000e+01 | 82.60%
372.14/372.35 c 370s| 1 | 0 |190001 | 171M| 0 | 818 |1000 | 37k| 37k|1000 |7812 | 22k| 0 | 0 |-2.979736e+02 |-5.200000e+01 | 82.55%
378.04/378.23 c 376s| 1 | 0 |192388 | 171M| 0 | 800 |1000 | 37k| 37k|1000 |7852 | 23k| 0 | 0 |-2.964037e+02 |-5.200000e+01 | 82.46%
382.04/382.24 c 380s| 1 | 0 |194007 | 171M| 0 | 791 |1000 | 37k| 37k|1000 |7952 | 23k| 0 | 0 |-2.954102e+02 |-5.200000e+01 | 82.40%
386.74/387.00 c 385s| 1 | 0 |196191 | 171M| 0 | 814 |1000 | 37k| 37k|1000 |8004 | 23k| 0 | 0 |-2.942970e+02 |-5.200000e+01 | 82.33%
392.64/392.84 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
392.64/392.84 c 391s| 1 | 0 |198680 | 171M| 0 | 824 |1000 | 37k| 37k|1000 |8287 | 23k| 0 | 0 |-2.927887e+02 |-5.200000e+01 | 82.24%
398.23/398.44 c 396s| 1 | 0 |200683 | 171M| 0 | 812 |1000 | 37k| 37k|1000 |8406 | 23k| 0 | 0 |-2.920138e+02 |-5.200000e+01 | 82.19%
403.43/403.69 c 401s| 1 | 0 |202424 | 171M| 0 | 816 |1000 | 37k| 37k|1000 |8525 | 23k| 0 | 0 |-2.914781e+02 |-5.200000e+01 | 82.16%
410.03/410.26 c 408s| 1 | 0 |204858 | 171M| 0 | 806 |1000 | 37k| 37k|1000 |8211 | 23k| 0 | 0 |-2.903313e+02 |-5.200000e+01 | 82.09%
414.62/414.84 c 413s| 1 | 0 |206494 | 170M| 0 | 807 |1000 | 37k| 37k|1000 |8275 | 23k| 0 | 0 |-2.897649e+02 |-5.200000e+01 | 82.05%
421.03/421.28 c 419s| 1 | 0 |209064 | 170M| 0 | 806 |1000 | 37k| 37k|1000 |8307 | 23k| 0 | 0 |-2.888371e+02 |-5.200000e+01 | 82.00%
426.12/426.36 c 424s| 1 | 0 |210855 | 170M| 0 | 821 |1000 | 37k| 37k|1000 |8441 | 23k| 0 | 0 |-2.880559e+02 |-5.200000e+01 | 81.95%
431.12/431.38 c 429s| 1 | 0 |212410 | 171M| 0 | 821 |1000 | 37k| 37k|1000 |8563 | 24k| 0 | 0 |-2.871966e+02 |-5.200000e+01 | 81.89%
437.92/438.12 c 436s| 1 | 0 |214719 | 170M| 0 | 827 |1000 | 37k| 37k|1000 |8606 | 24k| 0 | 0 |-2.861089e+02 |-5.200000e+01 | 81.83%
444.22/444.40 c 442s| 1 | 0 |216425 | 170M| 0 | 843 |1000 | 37k| 37k|1000 |8298 | 24k| 0 | 0 |-2.853406e+02 |-5.200000e+01 | 81.78%
449.62/449.87 c 447s| 1 | 0 |217962 | 170M| 0 | 838 |1000 | 37k| 37k|1000 |8349 | 24k| 0 | 0 |-2.848750e+02 |-5.200000e+01 | 81.75%
454.71/454.92 c 453s| 1 | 0 |219281 | 170M| 0 | 844 |1000 | 37k| 37k|1000 |8451 | 24k| 0 | 0 |-2.844309e+02 |-5.200000e+01 | 81.72%
462.71/463.00 c 461s| 1 | 0 |222095 | 170M| 0 | 847 |1000 | 37k| 37k|1000 |8537 | 24k| 0 | 0 |-2.831296e+02 |-5.200000e+01 | 81.63%
468.90/469.18 c 467s| 1 | 0 |223994 | 170M| 0 | 837 |1000 | 37k| 37k|1000 |8570 | 24k| 0 | 0 |-2.824183e+02 |-5.200000e+01 | 81.59%
476.51/476.78 c 474s| 1 | 0 |226438 | 170M| 0 | 851 |1000 | 37k| 37k|1000 |8591 | 24k| 0 | 0 |-2.815467e+02 |-5.200000e+01 | 81.53%
485.80/486.08 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
485.80/486.08 c 484s| 1 | 0 |228880 | 170M| 0 | 845 |1000 | 37k| 37k|1000 |8352 | 24k| 0 | 0 |-2.806643e+02 |-5.200000e+01 | 81.47%
494.60/494.80 c 492s| 1 | 0 |231435 | 169M| 0 | 852 |1000 | 37k| 37k|1000 |8429 | 24k| 0 | 0 |-2.798500e+02 |-5.200000e+01 | 81.42%
502.29/502.60 c 500s| 1 | 0 |233716 | 169M| 0 | 849 |1000 | 37k| 37k|1000 |8466 | 24k| 0 | 0 |-2.790910e+02 |-5.200000e+01 | 81.37%
508.59/508.88 c 506s| 1 | 0 |235388 | 169M| 0 | 854 |1000 | 37k| 37k|1000 |8505 | 24k| 0 | 0 |-2.785246e+02 |-5.200000e+01 | 81.33%
515.69/515.95 c 513s| 1 | 0 |236934 | 169M| 0 | 868 |1000 | 37k| 37k|1000 |8571 | 24k| 0 | 0 |-2.778382e+02 |-5.200000e+01 | 81.28%
523.49/523.77 c 521s| 1 | 0 |238642 | 169M| 0 | 859 |1000 | 37k| 37k|1000 |8660 | 24k| 0 | 0 |-2.770181e+02 |-5.200000e+01 | 81.23%
530.28/530.59 c 528s| 1 | 0 |239793 | 169M| 0 | 867 |1000 | 37k| 37k|1000 |8399 | 24k| 0 | 0 |-2.768128e+02 |-5.200000e+01 | 81.21%
537.78/538.00 c 535s| 1 | 0 |241360 | 169M| 0 | 861 |1000 | 37k| 37k|1000 |8424 | 25k| 0 | 0 |-2.764048e+02 |-5.200000e+01 | 81.19%
546.48/546.78 c 544s| 1 | 0 |243597 | 169M| 0 | 862 |1000 | 37k| 37k|1000 |8458 | 25k| 0 | 0 |-2.755671e+02 |-5.200000e+01 | 81.13%
555.17/555.49 c 553s| 1 | 0 |245585 | 168M| 0 | 873 |1000 | 37k| 37k|1000 |8492 | 25k| 0 | 0 |-2.747763e+02 |-5.200000e+01 | 81.08%
564.87/565.13 c 563s| 1 | 0 |247482 | 168M| 0 | 870 |1000 | 37k| 37k|1000 |8557 | 25k| 0 | 0 |-2.742109e+02 |-5.200000e+01 | 81.04%
574.87/575.20 c 573s| 1 | 0 |249442 | 168M| 0 | 878 |1000 | 37k| 37k|1000 |8701 | 25k| 0 | 0 |-2.734473e+02 |-5.200000e+01 | 80.98%
587.86/588.18 c 586s| 1 | 0 |251921 | 168M| 0 | 880 |1000 | 37k| 37k|1000 |8578 | 25k| 0 | 0 |-2.726363e+02 |-5.200000e+01 | 80.93%
600.46/600.71 c 598s| 1 | 0 |254411 | 168M| 0 | 879 |1000 | 37k| 37k|1000 |8695 | 25k| 0 | 0 |-2.718971e+02 |-5.200000e+01 | 80.88%
611.15/611.50 c 609s| 1 | 0 |256036 | 167M| 0 | 872 |1000 | 37k| 37k|1000 |8741 | 25k| 0 | 0 |-2.714129e+02 |-5.200000e+01 | 80.84%
624.55/624.85 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
624.55/624.85 c 622s| 1 | 0 |258579 | 167M| 0 | 889 |1000 | 37k| 37k|1000 |8814 | 25k| 0 | 0 |-2.704301e+02 |-5.200000e+01 | 80.77%
638.44/638.71 c 636s| 1 | 0 |260994 | 167M| 0 | 885 |1000 | 37k| 37k|1000 |8943 | 25k| 0 | 0 |-2.696373e+02 |-5.200000e+01 | 80.71%
650.64/650.99 c 648s| 1 | 0 |263065 | 167M| 0 | 896 |1000 | 37k| 37k|1000 |8977 | 25k| 0 | 0 |-2.691574e+02 |-5.200000e+01 | 80.68%
663.43/663.79 c 661s| 1 | 0 |264625 | 167M| 0 | 898 |1000 | 37k| 37k|1000 |8883 | 25k| 0 | 0 |-2.688226e+02 |-5.200000e+01 | 80.66%
677.13/677.40 c 675s| 1 | 0 |266861 | 167M| 0 | 889 |1000 | 37k| 37k|1000 |8951 | 25k| 0 | 0 |-2.682629e+02 |-5.200000e+01 | 80.62%
688.62/688.93 c 686s| 1 | 0 |268383 | 167M| 0 | 892 |1000 | 37k| 37k|1000 |8982 | 26k| 0 | 0 |-2.679703e+02 |-5.200000e+01 | 80.59%
702.12/702.41 c 700s| 1 | 0 |270524 | 167M| 0 | 893 |1000 | 37k| 37k|1000 |9063 | 26k| 0 | 0 |-2.675018e+02 |-5.200000e+01 | 80.56%
715.61/715.97 c 713s| 1 | 0 |272767 | 167M| 0 | 894 |1000 | 37k| 37k|1000 |9109 | 26k| 0 | 0 |-2.669063e+02 |-5.200000e+01 | 80.52%
726.71/727.02 c 724s| 1 | 0 |273777 | 166M| 0 | 896 |1000 | 37k| 37k|1000 |9183 | 26k| 0 | 0 |-2.667235e+02 |-5.200000e+01 | 80.50%
740.21/740.51 c 738s| 1 | 0 |275383 | 166M| 0 | 893 |1000 | 37k| 37k|1000 |8952 | 26k| 0 | 0 |-2.663807e+02 |-5.200000e+01 | 80.48%
754.40/754.75 c 752s| 1 | 0 |277975 | 165M| 0 | 898 |1000 | 37k| 37k|1000 |8989 | 26k| 0 | 0 |-2.656175e+02 |-5.200000e+01 | 80.42%
766.29/766.61 c 764s| 1 | 0 |279472 | 165M| 0 | 909 |1000 | 37k| 37k|1000 |9042 | 26k| 0 | 0 |-2.653215e+02 |-5.200000e+01 | 80.40%
778.69/779.09 c 776s| 1 | 0 |281171 | 165M| 0 | 906 |1000 | 37k| 37k|1000 |9081 | 26k| 0 | 0 |-2.648677e+02 |-5.200000e+01 | 80.37%
792.19/792.56 c 790s| 1 | 0 |283291 | 165M| 0 | 900 |1000 | 37k| 37k|1000 |9103 | 26k| 0 | 0 |-2.643663e+02 |-5.200000e+01 | 80.33%
806.58/806.97 c 804s| 1 | 0 |285655 | 165M| 0 | 909 |1000 | 37k| 37k|1000 |9160 | 26k| 0 | 0 |-2.634976e+02 |-5.200000e+01 | 80.27%
823.67/824.07 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
823.67/824.07 c 821s| 1 | 0 |288550 | 164M| 0 | 905 |1000 | 37k| 37k|1000 |9067 | 26k| 0 | 0 |-2.626288e+02 |-5.200000e+01 | 80.20%
837.26/837.66 c 835s| 1 | 0 |290508 | 164M| 0 | 902 |1000 | 37k| 37k|1000 |9158 | 26k| 0 | 0 |-2.621748e+02 |-5.200000e+01 | 80.17%
851.17/851.54 c 849s| 1 | 0 |292694 | 164M| 0 | 902 |1000 | 37k| 37k|1000 |9210 | 26k| 0 | 0 |-2.616788e+02 |-5.200000e+01 | 80.13%
864.46/864.85 c 862s| 1 | 0 |294638 | 164M| 0 | 919 |1000 | 37k| 37k|1000 |9297 | 26k| 0 | 0 |-2.610848e+02 |-5.200000e+01 | 80.08%
877.55/877.91 c 875s| 1 | 0 |296308 | 164M| 0 | 919 |1000 | 37k| 37k|1000 |9357 | 26k| 0 | 0 |-2.607197e+02 |-5.200000e+01 | 80.06%
890.75/891.10 c 888s| 1 | 0 |298061 | 164M| 0 | 921 |1000 | 37k| 37k|1000 |9397 | 26k| 0 | 0 |-2.604042e+02 |-5.200000e+01 | 80.03%
904.44/904.81 c 902s| 1 | 0 |299493 | 164M| 0 | 921 |1000 | 37k| 37k|1000 |9293 | 26k| 0 | 0 |-2.601637e+02 |-5.200000e+01 | 80.01%
919.24/919.62 c 917s| 1 | 0 |301622 | 163M| 0 | 930 |1000 | 37k| 37k|1000 |9326 | 26k| 0 | 0 |-2.596713e+02 |-5.200000e+01 | 79.97%
932.73/933.16 c 930s| 1 | 0 |303192 | 163M| 0 | 922 |1000 | 37k| 37k|1000 |9383 | 27k| 0 | 0 |-2.594102e+02 |-5.200000e+01 | 79.95%
945.83/946.22 c 943s| 1 | 0 |304717 | 163M| 0 | 925 |1000 | 37k| 37k|1000 |9418 | 27k| 0 | 0 |-2.591386e+02 |-5.200000e+01 | 79.93%
959.02/959.48 c 956s| 1 | 0 |306257 | 163M| 0 | 931 |1000 | 37k| 37k|1000 |9444 | 27k| 0 | 0 |-2.587833e+02 |-5.200000e+01 | 79.91%
973.62/974.07 c 971s| 1 | 0 |308252 | 162M| 0 | 943 |1000 | 37k| 37k|1000 |9517 | 27k| 0 | 0 |-2.583650e+02 |-5.200000e+01 | 79.87%
987.21/987.65 c 984s| 1 | 0 |309404 | 162M| 0 | 940 |1000 | 37k| 37k|1000 |9359 | 27k| 0 | 0 |-2.581705e+02 |-5.200000e+01 | 79.86%
1000.40/1000.83 c 998s| 1 | 0 |310766 | 161M| 0 | 931 |1000 | 37k| 37k|1000 |9387 | 27k| 0 | 0 |-2.578968e+02 |-5.200000e+01 | 79.84%
1013.21/1013.60 c 1010s| 1 | 0 |311996 | 159M| 0 | 932 |1000 | 37k| 37k|1000 |9404 | 27k| 0 | 0 |-2.577391e+02 |-5.200000e+01 | 79.82%
1026.79/1027.24 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1026.79/1027.24 c 1024s| 1 | 0 |313628 | 158M| 0 | 936 |1000 | 37k| 37k|1000 |9438 | 27k| 0 | 0 |-2.573713e+02 |-5.200000e+01 | 79.80%
1041.39/1041.89 c 1039s| 1 | 0 |315443 | 158M| 0 | 940 |1000 | 37k| 37k|1000 |9476 | 27k| 0 | 0 |-2.569764e+02 |-5.200000e+01 | 79.76%
1055.98/1056.47 c 1053s| 1 | 0 |317178 | 158M| 0 | 944 |1000 | 37k| 37k|1000 |9542 | 27k| 0 | 0 |-2.565618e+02 |-5.200000e+01 | 79.73%
1069.79/1070.25 c 1067s| 1 | 0 |318418 | 157M| 0 | 950 |1000 | 37k| 37k|1000 |9412 | 27k| 0 | 0 |-2.563652e+02 |-5.200000e+01 | 79.72%
1084.08/1084.57 c 1081s| 1 | 0 |320074 | 157M| 0 | 944 |1000 | 37k| 37k|1000 |9449 | 27k| 0 | 0 |-2.559510e+02 |-5.200000e+01 | 79.68%
1098.57/1099.03 c 1096s| 1 | 0 |321789 | 156M| 0 | 948 |1000 | 37k| 37k|1000 |9502 | 27k| 0 | 0 |-2.555180e+02 |-5.200000e+01 | 79.65%
1111.76/1112.25 c 1109s| 1 | 0 |323030 | 156M| 0 | 945 |1000 | 37k| 37k|1000 |9527 | 27k| 0 | 0 |-2.553049e+02 |-5.200000e+01 | 79.63%
1124.36/1124.84 c 1121s| 1 | 0 |324078 | 156M| 0 | 952 |1000 | 37k| 37k|1000 |9558 | 27k| 0 | 0 |-2.551284e+02 |-5.200000e+01 | 79.62%
1137.56/1138.05 c 1134s| 1 | 0 |325261 | 155M| 0 | 950 |1000 | 37k| 37k|1000 |9591 | 27k| 0 | 0 |-2.548486e+02 |-5.200000e+01 | 79.60%
1151.26/1151.77 c 1148s| 1 | 0 |326297 | 155M| 0 | 951 |1000 | 37k| 37k|1000 |9529 | 27k| 0 | 0 |-2.546817e+02 |-5.200000e+01 | 79.58%
1165.15/1165.61 c 1162s| 1 | 0 |327667 | 154M| 0 | 950 |1000 | 37k| 37k|1000 |9556 | 27k| 0 | 0 |-2.544248e+02 |-5.200000e+01 | 79.56%
1178.34/1178.89 c 1175s| 1 | 0 |328888 | 154M| 0 | 954 |1000 | 37k| 37k|1000 |9588 | 27k| 0 | 0 |-2.541417e+02 |-5.200000e+01 | 79.54%
1191.94/1192.47 c 1189s| 1 | 0 |330000 | 153M| 0 | 952 |1000 | 37k| 37k|1000 |9608 | 27k| 0 | 0 |-2.539005e+02 |-5.200000e+01 | 79.52%
1204.33/1204.82 c 1201s| 1 | 0 |330578 | 152M| 0 | 955 |1000 | 37k| 37k|1000 |9645 | 27k| 0 | 0 |-2.538322e+02 |-5.200000e+01 | 79.51%
1218.43/1218.90 c 1215s| 1 | 0 |331802 | 151M| 0 | 958 |1000 | 37k| 37k|1000 |9661 | 27k| 0 | 0 |-2.535258e+02 |-5.200000e+01 | 79.49%
1232.22/1232.74 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1232.22/1232.74 c 1229s| 1 | 0 |332605 | 149M| 0 | 957 |1000 | 37k| 37k|1000 |9549 | 27k| 0 | 0 |-2.533562e+02 |-5.200000e+01 | 79.48%
1246.82/1247.38 c 1244s| 1 | 0 |334007 | 149M| 0 | 963 |1000 | 37k| 37k|1000 |9567 | 27k| 0 | 0 |-2.530717e+02 |-5.200000e+01 | 79.45%
1259.91/1260.45 c 1257s| 1 | 0 |334917 | 148M| 0 | 962 |1000 | 37k| 37k|1000 |9597 | 27k| 0 | 0 |-2.529151e+02 |-5.200000e+01 | 79.44%
1273.11/1273.68 c 1270s| 1 | 0 |335849 | 147M| 0 | 954 |1000 | 37k| 37k|1000 |9619 | 27k| 0 | 0 |-2.527337e+02 |-5.200000e+01 | 79.42%
1286.00/1286.57 c 1283s| 1 | 0 |336641 | 147M| 0 | 959 |1000 | 37k| 37k|1000 |9636 | 27k| 0 | 0 |-2.525705e+02 |-5.200000e+01 | 79.41%
1298.00/1298.55 c 1295s| 1 | 0 |337124 | 147M| 0 | 961 |1000 | 37k| 37k|1000 |9661 | 27k| 0 | 0 |-2.524851e+02 |-5.200000e+01 | 79.40%
1310.60/1311.19 c 1307s| 1 | 0 |337527 | 145M| 0 | 961 |1000 | 37k| 37k|1000 |9554 | 27k| 0 | 0 |-2.524413e+02 |-5.200000e+01 | 79.40%
1323.49/1324.04 c 1320s| 1 | 0 |338195 | 145M| 0 | 963 |1000 | 37k| 37k|1000 |9568 | 27k| 0 | 0 |-2.522840e+02 |-5.200000e+01 | 79.39%
1336.99/1337.58 c 1333s| 1 | 0 |339185 | 145M| 0 | 970 |1000 | 37k| 37k|1000 |9589 | 27k| 0 | 0 |-2.521294e+02 |-5.200000e+01 | 79.38%
1350.38/1350.91 c 1347s| 1 | 0 |339970 | 145M| 0 | 963 |1000 | 37k| 37k|1000 |9607 | 27k| 0 | 0 |-2.519728e+02 |-5.200000e+01 | 79.36%
1363.77/1364.35 c 1360s| 1 | 0 |340813 | 144M| 0 | 963 |1000 | 37k| 37k|1000 |9624 | 27k| 0 | 0 |-2.518077e+02 |-5.200000e+01 | 79.35%
1376.67/1377.23 c 1373s| 1 | 0 |341683 | 144M| 0 | 962 |1000 | 37k| 37k|1000 |9651 | 28k| 0 | 0 |-2.516356e+02 |-5.200000e+01 | 79.34%
1389.77/1390.35 c 1386s| 1 | 0 |342200 | 144M| 0 | 966 |1000 | 37k| 37k|1000 |9573 | 28k| 0 | 0 |-2.515249e+02 |-5.200000e+01 | 79.33%
1403.76/1404.32 c 1400s| 1 | 0 |343221 | 144M| 0 | 974 |1000 | 37k| 37k|1000 |9592 | 28k| 0 | 0 |-2.512972e+02 |-5.200000e+01 | 79.31%
1416.86/1417.44 c 1413s| 1 | 0 |344026 | 144M| 0 | 974 |1000 | 37k| 37k|1000 |9620 | 28k| 0 | 0 |-2.510973e+02 |-5.200000e+01 | 79.29%
1431.65/1432.27 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1431.65/1432.27 c 1428s| 1 | 0 |345226 | 144M| 0 | 970 |1000 | 37k| 37k|1000 |9639 | 28k| 0 | 0 |-2.508377e+02 |-5.200000e+01 | 79.27%
1445.04/1445.65 c 1441s| 1 | 0 |346079 | 144M| 0 | 974 |1000 | 37k| 37k|1000 |9657 | 28k| 0 | 0 |-2.506553e+02 |-5.200000e+01 | 79.25%
1458.23/1458.83 c 1454s| 1 | 0 |346819 | 144M| 0 | 973 |1000 | 37k| 37k|1000 |9672 | 28k| 0 | 0 |-2.504455e+02 |-5.200000e+01 | 79.24%
1472.83/1473.44 c 1469s| 1 | 0 |347651 | 144M| 0 | 974 |1000 | 37k| 37k|1000 |9636 | 28k| 0 | 0 |-2.502239e+02 |-5.200000e+01 | 79.22%
1486.53/1487.17 c 1483s| 1 | 0 |348313 | 144M| 0 | 978 |1000 | 37k| 37k|1000 |9659 | 28k| 0 | 0 |-2.500880e+02 |-5.200000e+01 | 79.21%
1500.83/1501.41 c 1497s| 1 | 0 |349332 | 144M| 0 | 975 |1000 | 37k| 37k|1000 |9676 | 28k| 0 | 0 |-2.498749e+02 |-5.200000e+01 | 79.19%
1514.22/1514.88 c 1510s| 1 | 0 |350176 | 144M| 0 | 979 |1000 | 37k| 37k|1000 |9696 | 28k| 0 | 0 |-2.497332e+02 |-5.200000e+01 | 79.18%
1527.61/1528.29 c 1524s| 1 | 0 |350831 | 144M| 0 | 979 |1000 | 37k| 37k|1000 |9709 | 28k| 0 | 0 |-2.496426e+02 |-5.200000e+01 | 79.17%
1541.21/1541.89 c 1537s| 1 | 0 |351650 | 143M| 0 | 978 |1000 | 37k| 37k|1000 |9720 | 28k| 0 | 0 |-2.494953e+02 |-5.200000e+01 | 79.16%
1555.00/1555.60 c 1551s| 1 | 0 |352210 | 143M| 0 | 980 |1000 | 37k| 37k|1000 |9658 | 28k| 0 | 0 |-2.493711e+02 |-5.200000e+01 | 79.15%
1568.90/1569.58 c 1565s| 1 | 0 |353036 | 143M| 0 | 976 |1000 | 37k| 37k|1000 |9676 | 28k| 0 | 0 |-2.491998e+02 |-5.200000e+01 | 79.13%
1582.09/1582.71 c 1578s| 1 | 0 |353759 | 143M| 0 | 984 |1000 | 37k| 37k|1000 |9694 | 28k| 0 | 0 |-2.490577e+02 |-5.200000e+01 | 79.12%
1594.99/1595.65 c 1591s| 1 | 0 |354307 | 143M| 0 | 987 |1000 | 37k| 37k|1000 |9716 | 28k| 0 | 0 |-2.489469e+02 |-5.200000e+01 | 79.11%
1608.69/1609.38 c 1605s| 1 | 0 |355050 | 143M| 0 | 982 |1000 | 37k| 37k|1000 |9730 | 28k| 0 | 0 |-2.487962e+02 |-5.200000e+01 | 79.10%
1621.68/1622.40 c 1618s| 1 | 0 |355593 | 143M| 0 | 982 |1000 | 37k| 37k|1000 |9741 | 28k| 0 | 0 |-2.486726e+02 |-5.200000e+01 | 79.09%
1636.77/1637.43 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1636.77/1637.43 c 1633s| 1 | 0 |356469 | 143M| 0 | 985 |1000 | 37k| 37k|1000 |9692 | 28k| 0 | 0 |-2.485257e+02 |-5.200000e+01 | 79.08%
1649.57/1650.24 c 1645s| 1 | 0 |356910 | 143M| 0 | 989 |1000 | 37k| 37k|1000 |9704 | 28k| 0 | 0 |-2.484294e+02 |-5.200000e+01 | 79.07%
1662.46/1663.19 c 1658s| 1 | 0 |357396 | 143M| 0 | 986 |1000 | 37k| 37k|1000 |9716 | 28k| 0 | 0 |-2.483419e+02 |-5.200000e+01 | 79.06%
1674.86/1675.59 c 1671s| 1 | 0 |357780 | 143M| 0 | 991 |1000 | 37k| 37k|1000 |9730 | 28k| 0 | 0 |-2.482899e+02 |-5.200000e+01 | 79.06%
1687.16/1687.83 c 1683s| 1 | 0 |358138 | 143M| 0 | 987 |1000 | 37k| 37k|1000 |9743 | 28k| 0 | 0 |-2.482338e+02 |-5.200000e+01 | 79.05%
1700.25/1700.91 c 1696s| 1 | 0 |358598 | 143M| 0 | 990 |1000 | 37k| 37k|1000 |9756 | 28k| 0 | 0 |-2.481503e+02 |-5.200000e+01 | 79.04%
1714.15/1714.87 c 1710s| 1 | 0 |359029 | 143M| 0 | 993 |1000 | 37k| 37k|1000 |9725 | 28k| 0 | 0 |-2.480769e+02 |-5.200000e+01 | 79.04%
1727.84/1728.55 c 1723s| 1 | 0 |359620 | 143M| 0 | 990 |1000 | 37k| 37k|1000 |9736 | 28k| 0 | 0 |-2.479863e+02 |-5.200000e+01 | 79.03%
1741.33/1742.04 c 1737s| 1 | 0 |360234 | 143M| 0 | 992 |1000 | 37k| 37k|1000 |9753 | 28k| 0 | 0 |-2.478713e+02 |-5.200000e+01 | 79.02%
1754.62/1755.34 c 1750s| 1 | 0 |360652 | 143M| 0 | 995 |1000 | 37k| 37k|1000 |9763 | 28k| 0 | 0 |-2.477698e+02 |-5.200000e+01 | 79.01%
1768.13/1768.80 c 1764s| 1 | 0 |361295 | 143M| 0 | 982 |1000 | 37k| 37k|1000 |9777 | 28k| 0 | 0 |-2.476152e+02 |-5.200000e+01 | 79.00%
1780.62/1781.36 c 1776s| 1 | 0 |361657 | 143M| 0 | 991 |1000 | 37k| 37k|1000 |9789 | 28k| 0 | 0 |-2.475542e+02 |-5.200000e+01 | 78.99%
1795.11/1795.89 c 1791s| 1 | 0 |362325 | 143M| 0 | 992 |1000 | 37k| 37k|1000 |9754 | 28k| 0 | 0 |-2.474006e+02 |-5.200000e+01 | 78.98%
1795.51/1796.29 c 1791s| 1 | 0 |362325 | 143M| 0 | - |1000 | 37k| 37k|1000 |9771 | 28k| 0 | 0 |-2.474006e+02 |-5.200000e+01 | 78.98%
1795.51/1796.30 c 1791s| 1 | 2 |362325 | 143M| 0 | - |1000 | 37k| 37k|1000 |9771 | 28k| 0 | 0 |-2.474006e+02 |-5.200000e+01 | 78.98%
1795.51/1796.30 c
1795.51/1796.30 c SCIP Status : solving was interrupted [time limit reached]
1795.51/1796.30 c Solving Time (sec) : 1791.05
1795.51/1796.30 c Solving Nodes : 1
1795.51/1796.30 c Primal Bound : -5.20000000000000e+01 (1 solutions)
1795.51/1796.30 c Dual Bound : -2.47400575599250e+02
1795.51/1796.30 c Gap : 78.98 %
1795.61/1796.38 c NODE 1
1795.61/1796.38 c DUAL BOUND -247.401
1795.61/1796.38 c PRIMAL BOUND -52
1795.61/1796.38 c GAP 0.789815
1795.61/1796.38 s SATISFIABLE
1795.61/1796.38 v -x1000 -x999 -x998 -x997 -x996 -x995 x994 -x993 -x992 -x991 -x990 -x989 -x988 -x987 -x986 -x985 -x984 -x983 -x982 -x981 -x980 -x979
1795.61/1796.38 v -x978 -x977 -x976 -x975 -x974 -x973 -x972 -x971 -x970 -x969 x968 -x967 -x966 -x965 -x964 -x963 -x962 -x961 -x960 -x959 -x958
1795.61/1796.38 v -x957 -x956 -x955 -x954 -x953 -x952 -x951 -x950 -x949 -x948 -x947 -x946 -x945 -x944 -x943 -x942 -x941 -x940 -x939 -x938
1795.61/1796.38 v -x937 -x936 -x935 -x934 -x933 -x932 -x931 -x930 -x929 -x928 -x927 -x926 -x925 x924 -x923 -x922 -x921 -x920 -x919 -x918 -x917
1795.61/1796.38 v -x916 -x915 -x914 -x913 -x912 -x911 -x910 -x909 -x908 -x907 -x906 -x905 -x904 -x903 -x902 -x901 -x900 -x899 x898 -x897 -x896
1795.61/1796.38 v -x895 -x894 -x893 -x892 -x891 -x890 -x889 -x888 -x887 -x886 -x885 -x884 x883 -x882 -x881 -x880 -x879 -x878 -x877 -x876 -x875
1795.61/1796.38 v -x874 -x873 -x872 -x871 -x870 -x869 -x868 -x867 -x866 -x865 -x864 -x863 -x862 x861 -x860 -x859 -x858 -x857 -x856 -x855 -x854
1795.61/1796.38 v -x853 -x852 -x851 -x850 -x849 -x848 -x847 -x846 -x845 -x844 -x843 -x842 -x841 -x840 -x839 -x838 -x837 -x836 -x835 -x834 -x833
1795.61/1796.38 v -x832 -x831 -x830 -x829 -x828 -x827 -x826 -x825 -x824 -x823 -x822 -x821 -x820 -x819 -x818 -x817 -x816 -x815 -x814 -x813 -x812
1795.61/1796.38 v -x811 -x810 -x809 -x808 -x807 -x806 -x805 -x804 -x803 -x802 -x801 -x800 -x799 -x798 -x797 -x796 -x795 -x794 -x793 -x792 -x791
1795.61/1796.38 v x790 -x789 -x788 -x787 -x786 -x785 -x784 -x783 -x782 -x781 -x780 -x779 -x778 -x777 -x776 -x775 -x774 -x773 -x772 -x771 -x770
1795.61/1796.38 v -x769 -x768 x767 -x766 -x765 -x764 -x763 -x762 -x761 -x760 -x759 -x758 -x757 -x756 -x755 -x754 -x753 -x752 -x751 -x750 -x749
1795.61/1796.38 v -x748 -x747 -x746 -x745 -x744 -x743 -x742 -x741 -x740 -x739 -x738 -x737 -x736 -x735 -x734 -x733 -x732 -x731 -x730 -x729 -x728
1795.61/1796.38 v -x727 -x726 -x725 -x724 -x723 -x722 -x721 -x720 -x719 -x718 -x717 -x716 -x715 -x714 -x713 -x712 -x711 -x710 -x709 -x708 -x707
1795.61/1796.38 v -x706 -x705 -x704 -x703 -x702 -x701 -x700 -x699 -x698 -x697 -x696 -x695 -x694 -x693 -x692 -x691 -x690 -x689 -x688 -x687
1795.61/1796.38 v x686 -x685 -x684 -x683 -x682 -x681 -x680 x679 -x678 -x677 x676 -x675 -x674 -x673 -x672 -x671 -x670 -x669 -x668 -x667 -x666 -x665
1795.61/1796.38 v -x664 -x663 -x662 x661 -x660 -x659 -x658 -x657 -x656 -x655 -x654 -x653 -x652 -x651 -x650 -x649 -x648 -x647 -x646 -x645 -x644
1795.61/1796.38 v -x643 -x642 -x641 -x640 -x639 -x638 -x637 -x636 -x635 -x634 -x633 -x632 -x631 -x630 -x629 -x628 -x627 -x626 -x625 -x624 -x623
1795.61/1796.38 v -x622 -x621 -x620 -x619 -x618 -x617 -x616 -x615 x614 -x613 -x612 -x611 -x610 -x609 -x608 -x607 -x606 -x605 -x604 -x603 -x602
1795.61/1796.38 v -x601 -x600 -x599 -x598 x597 -x596 -x595 -x594 -x593 -x592 -x591 -x590 -x589 -x588 -x587 -x586 -x585 -x584 -x583 -x582 -x581
1795.61/1796.38 v -x580 -x579 -x578 -x577 -x576 -x575 -x574 -x573 -x572 -x571 -x570 -x569 -x568 -x567 -x566 -x565 x564 -x563 -x562 -x561 -x560
1795.61/1796.38 v -x559 -x558 -x557 -x556 -x555 -x554 -x553 -x552 -x551 -x550 -x549 -x548 -x547 -x546 -x545 -x544 -x543 -x542 -x541 -x540
1795.61/1796.38 v -x539 -x538 -x537 -x536 -x535 -x534 -x533 -x532 -x531 -x530 -x529 -x528 -x527 -x526 -x525 -x524 -x523 -x522 -x521 -x520 -x519
1795.61/1796.38 v -x518 -x517 -x516 -x515 -x514 -x513 -x512 -x511 -x510 -x509 -x508 -x507 -x506 -x505 -x504 -x503 -x502 -x501 x500 -x499 -x498
1795.61/1796.38 v -x497 -x496 -x495 -x494 -x493 -x492 -x491 -x490 -x489 -x488 -x487 -x486 -x485 -x484 -x483 -x482 x481 -x480 -x479 -x478 -x477
1795.61/1796.38 v -x476 -x475 -x474 -x473 -x472 -x471 -x470 -x469 -x468 -x467 -x466 -x465 -x464 -x463 -x462 -x461 -x460 -x459 -x458 -x457 -x456
1795.61/1796.38 v -x455 -x454 -x453 -x452 -x451 x450 -x449 -x448 -x447 -x446 -x445 -x444 -x443 -x442 -x441 -x440 -x439 -x438 -x437 -x436 -x435
1795.61/1796.38 v -x434 -x433 -x432 -x431 -x430 -x429 -x428 -x427 -x426 -x425 -x424 -x423 -x422 -x421 -x420 -x419 -x418 -x417 -x416 x415 -x414
1795.61/1796.38 v -x413 -x412 -x411 -x410 -x409 -x408 -x407 -x406 -x405 -x404 -x403 -x402 -x401 -x400 -x399 x398 -x397 -x396 -x395 -x394 -x393
1795.61/1796.38 v -x392 -x391 -x390 -x389 -x388 -x387 -x386 -x385 -x384 -x383 -x382 -x381 -x380 -x379 -x378 -x377 -x376 -x375 -x374 x373 -x372
1795.61/1796.38 v -x371 -x370 -x369 -x368 x367 -x366 -x365 -x364 -x363 -x362 -x361 -x360 -x359 -x358 -x357 -x356 -x355 -x354 -x353 -x352 -x351
1795.61/1796.38 v -x350 -x349 -x348 -x347 -x346 -x345 -x344 x343 -x342 -x341 -x340 -x339 -x338 -x337 -x336 -x335 -x334 -x333 -x332 -x331 -x330
1795.61/1796.38 v -x329 -x328 -x327 -x326 -x325 -x324 -x323 -x322 -x321 -x320 -x319 -x318 -x317 -x316 -x315 -x314 -x313 -x312 -x311 -x310 x309
1795.61/1796.38 v -x308 -x307 -x306 -x305 -x304 -x303 -x302 x301 -x300 -x299 -x298 -x297 x296 -x295 -x294 -x293 -x292 -x291 -x290 -x289 -x288
1795.61/1796.38 v -x287 -x286 -x285 -x284 -x283 x282 -x281 -x280 -x279 -x278 -x277 -x276 -x275 -x274 -x273 -x272 -x271 -x270 -x269 -x268 -x267
1795.61/1796.38 v -x266 -x265 -x264 -x263 -x262 x261 -x260 -x259 -x258 -x257 -x256 -x255 -x254 -x253 -x252 -x251 -x250 -x249 -x248 -x247 -x246
1795.61/1796.38 v -x245 -x244 -x243 -x242 x241 -x240 -x239 -x238 -x237 -x236 -x235 -x234 -x233 -x232 -x231 -x230 -x229 -x228 -x227 -x226 -x225
1795.61/1796.38 v -x224 x223 -x222 -x221 -x220 -x219 -x218 -x217 -x216 -x215 -x214 -x213 -x212 -x211 -x210 -x209 x208 -x207 -x206 -x205 -x204
1795.61/1796.38 v -x203 -x202 -x201 -x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189 -x188 -x187 -x186 -x185 -x184 -x183
1795.61/1796.38 v -x182 -x181 -x180 -x179 -x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168 -x167 -x166 -x165 -x164 -x163 -x162
1795.61/1796.38 v -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147 -x146 -x145 -x144 -x143 -x142 -x141
1795.61/1796.38 v -x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126 -x125 -x124 x123 -x122 -x121 -x120
1795.61/1796.38 v -x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105 -x104 -x103 -x102 -x101 -x100 x99
1795.61/1796.38 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.61/1796.38 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.61/1796.38 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.61/1796.38 v -x20 -x19 -x18 -x17 -x16 -x15 x14 -x13 x12 -x11 -x10 x9 -x8 x7 x6 -x5 -x4 -x3 x2 -x1
1795.61/1796.38 c SCIP Status : solving was interrupted [time limit reached]
1795.61/1796.38 c Solving Time : 1791.05
1795.61/1796.38 c Original Problem :
1795.61/1796.38 c Problem name : HOME/instance-1870447-1245204678.opb
1795.61/1796.38 c Variables : 38644 (38644 binary, 0 integer, 0 implicit integer, 0 continuous)
1795.61/1796.38 c Constraints : 38644 initial, 38644 maximal
1795.61/1796.38 c Presolved Problem :
1795.61/1796.38 c Problem name : t_HOME/instance-1870447-1245204678.opb
1795.61/1796.38 c Variables : 1000 (1000 binary, 0 integer, 0 implicit integer, 0 continuous)
1795.61/1796.38 c Constraints : 37644 initial, 37644 maximal
1795.61/1796.38 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1795.61/1796.38 c trivial : 0.01 0 0 0 0 0 0 0 0
1795.61/1796.38 c dualfix : 0.00 0 0 0 0 0 0 0 0
1795.61/1796.38 c boundshift : 0.00 0 0 0 0 0 0 0 0
1795.61/1796.38 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1795.61/1796.38 c implics : 0.00 0 0 0 0 0 0 0 0
1795.61/1796.38 c probing : 2.24 0 0 0 0 0 0 0 0
1795.61/1796.38 c and : 0.98 0 0 0 0 0 0 0 0
1795.61/1796.38 c linear : 0.26 37644 0 0 37644 0 1000 0 0
1795.61/1796.38 c root node : - 0 - - 0 - - - -
1795.61/1796.38 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1795.61/1796.38 c integral : 0 0 0 0 0 0 0 0 0 0
1795.61/1796.38 c and : 37644 252 201 0 1 0 0 35177 0 0
1795.61/1796.38 c countsols : 0 0 0 0 1 0 0 0 0 0
1795.61/1796.38 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1795.61/1796.38 c integral : 0.00 0.00 0.00 0.00 0.00
1795.61/1796.38 c and : 14.26 12.50 1.76 0.00 0.00
1795.61/1796.38 c countsols : 0.00 0.00 0.00 0.00 0.00
1795.61/1796.38 c Propagators : Time Calls Cutoffs DomReds
1795.61/1796.38 c rootredcost : 0.00 0 0 0
1795.61/1796.38 c pseudoobj : 0.01 251 0 0
1795.61/1796.38 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1795.61/1796.38 c propagation : 0.00 0 0 0 0.0 0 0.0 -
1795.61/1796.38 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1795.61/1796.38 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1795.61/1796.38 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1795.61/1796.38 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1795.61/1796.38 c applied globally : - - - 0 0.0 - - -
1795.61/1796.38 c applied locally : - - - 0 0.0 - - -
1795.61/1796.38 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1795.61/1796.38 c cut pool : 1.57 251 - - 5357 - (maximal pool size: 18977)
1795.61/1796.38 c redcost : 0.03 252 0 0 0 0
1795.61/1796.38 c impliedbounds : 0.96 250 0 0 34397 0
1795.61/1796.38 c intobj : 0.00 0 0 0 0 0
1795.61/1796.38 c gomory : 1014.96 246 0 0 82933 0
1795.61/1796.38 c strongcg : 4.93 20 0 0 10000 0
1795.61/1796.38 c cmir : 5.04 10 0 0 0 0
1795.61/1796.38 c flowcover : 4.46 10 0 0 0 0
1795.61/1796.38 c clique : 13.36 246 0 0 2232 0
1795.61/1796.38 c zerohalf : 0.00 0 0 0 0 0
1795.61/1796.38 c mcf : 0.09 1 0 0 0 0
1795.61/1796.38 c Pricers : Time Calls Vars
1795.61/1796.38 c problem variables: 0.00 0 0
1795.61/1796.38 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1795.61/1796.38 c relpscost : 0.00 0 0 0 0 0 0
1795.61/1796.38 c pscost : 0.00 0 0 0 0 0 0
1795.61/1796.38 c inference : 0.00 1 0 0 0 0 2
1795.61/1796.38 c mostinf : 0.00 0 0 0 0 0 0
1795.61/1796.38 c leastinf : 0.00 0 0 0 0 0 0
1795.61/1796.38 c fullstrong : 0.00 0 0 0 0 0 0
1795.61/1796.38 c allfullstrong : 0.00 0 0 0 0 0 0
1795.61/1796.38 c random : 0.00 0 0 0 0 0 0
1795.61/1796.38 c Primal Heuristics : Time Calls Found
1795.61/1796.38 c LP solutions : 0.00 - 0
1795.61/1796.38 c pseudo solutions : 0.00 - 0
1795.61/1796.38 c simplerounding : 0.00 0 0
1795.61/1796.38 c rounding : 4.78 252 1
1795.61/1796.38 c shifting : 2.75 100 0
1795.61/1796.38 c intshifting : 0.00 0 0
1795.61/1796.38 c oneopt : 0.01 1 0
1795.61/1796.38 c fixandinfer : 0.00 0 0
1795.61/1796.38 c feaspump : 0.00 0 0
1795.61/1796.38 c coefdiving : 0.00 0 0
1795.61/1796.38 c pscostdiving : 0.00 0 0
1795.61/1796.38 c fracdiving : 0.00 0 0
1795.61/1796.38 c veclendiving : 0.00 0 0
1795.61/1796.38 c intdiving : 0.00 0 0
1795.61/1796.38 c actconsdiving : 0.00 0 0
1795.61/1796.38 c objpscostdiving : 0.00 0 0
1795.61/1796.38 c rootsoldiving : 0.00 0 0
1795.61/1796.38 c linesearchdiving : 0.00 0 0
1795.61/1796.38 c guideddiving : 0.00 0 0
1795.61/1796.38 c octane : 0.00 0 0
1795.61/1796.38 c rens : 0.00 0 0
1795.61/1796.38 c rins : 0.00 0 0
1795.61/1796.38 c localbranching : 0.00 0 0
1795.61/1796.38 c mutation : 0.00 0 0
1795.61/1796.38 c crossover : 0.00 0 0
1795.61/1796.38 c dins : 0.00 0 0
1795.61/1796.38 c LP : Time Calls Iterations Iter/call Iter/sec
1795.61/1796.38 c primal LP : 20.21 0 0 0.00 0.00
1795.61/1796.38 c dual LP : 685.73 252 362325 1437.80 528.38
1795.61/1796.38 c barrier LP : 0.00 0 0 0.00 -
1795.61/1796.38 c diving/probing LP: 0.00 0 0 0.00 -
1795.61/1796.38 c strong branching : 0.00 0 0 0.00 -
1795.61/1796.38 c (at root node) : - 0 0 0.00 -
1795.61/1796.38 c conflict analysis: 0.00 0 0 0.00 -
1795.61/1796.38 c B&B Tree :
1795.61/1796.38 c number of runs : 1
1795.61/1796.38 c nodes : 1
1795.61/1796.38 c nodes (total) : 1
1795.61/1796.38 c nodes left : 2
1795.61/1796.38 c max depth : 0
1795.61/1796.38 c max depth (total): 0
1795.61/1796.38 c backtracks : 0 (0.0%)
1795.61/1796.38 c delayed cutoffs : 0
1795.61/1796.38 c repropagations : 0 (0 domain reductions, 0 cutoffs)
1795.61/1796.38 c avg switch length: 1.00
1795.61/1796.38 c switching time : 0.00
1795.61/1796.38 c Solution :
1795.61/1796.38 c Solutions found : 1 (1 improvements)
1795.61/1796.38 c Primal Bound : -5.20000000000000e+01 (in run 1, after 1 nodes, 4.69 seconds, depth 0, found by <rounding>)
1795.61/1796.38 c Dual Bound : -2.47400575599250e+02
1795.61/1796.38 c Gap : 78.98 %
1795.61/1796.38 c Root Dual Bound : -2.47400575599250e+02
1796.01/1796.72 c Time complete: 1796.04.
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1870447-1245204678/watcher-1870447-1245204678 -o /tmp/evaluation-result-1870447-1245204678/solver-1870447-1245204678 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.clp -t 1800 -m 1800 -f HOME/instance-1870447-1245204678.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.95 1.00 0.99 2/64 5571
/proc/meminfo: memFree=1793504/2055920 swapFree=4192812/4192956
[pid=5571] ppid=5569 vsize=9972 CPUtime=0
/proc/5571/stat : 5571 (pbscip.linux.x8) R 5569 5571 5534 0 -1 4194304 1320 0 0 0 0 0 0 0 18 0 1 0 188068333 10211328 1304 1992294400 4194304 9342243 548682068736 18446744073709551615 4402248 0 0 4096 0 0 0 0 17 1 0 0
/proc/5571/statm: 2493 1311 362 1256 0 1232 0
[startup+0.025071 s]
/proc/loadavg: 0.95 1.00 0.99 2/64 5571
/proc/meminfo: memFree=1793504/2055920 swapFree=4192812/4192956
[pid=5571] ppid=5569 vsize=13392 CPUtime=0.02
/proc/5571/stat : 5571 (pbscip.linux.x8) R 5569 5571 5534 0 -1 4194304 2262 0 0 0 2 0 0 0 18 0 1 0 188068333 13713408 2246 1992294400 4194304 9342243 548682068736 18446744073709551615 5545369 0 0 4096 0 0 0 0 17 1 0 0
/proc/5571/statm: 3348 2246 378 1256 0 2087 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 13392
[startup+0.101087 s]
/proc/loadavg: 0.95 1.00 0.99 2/64 5571
/proc/meminfo: memFree=1793504/2055920 swapFree=4192812/4192956
[pid=5571] ppid=5569 vsize=24024 CPUtime=0.09
/proc/5571/stat : 5571 (pbscip.linux.x8) R 5569 5571 5534 0 -1 4194304 4947 0 0 0 8 1 0 0 18 0 1 0 188068333 24600576 4931 1992294400 4194304 9342243 548682068736 18446744073709551615 8251528 0 0 4096 0 0 0 0 17 1 0 0
/proc/5571/statm: 6006 4931 378 1256 0 4745 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 24024
[startup+0.301128 s]
/proc/loadavg: 0.95 1.00 0.99 2/64 5571
/proc/meminfo: memFree=1793504/2055920 swapFree=4192812/4192956
[pid=5571] ppid=5569 vsize=44964 CPUtime=0.29
/proc/5571/stat : 5571 (pbscip.linux.x8) R 5569 5571 5534 0 -1 4194304 10210 0 0 0 26 3 0 0 19 0 1 0 188068333 46043136 10194 1992294400 4194304 9342243 548682068736 18446744073709551615 5858006 0 0 4096 0 0 0 0 17 1 0 0
/proc/5571/statm: 11241 10194 378 1256 0 9980 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 44964
[startup+0.701212 s]
/proc/loadavg: 0.95 1.00 0.99 2/64 5571
/proc/meminfo: memFree=1793504/2055920 swapFree=4192812/4192956
[pid=5571] ppid=5569 vsize=102472 CPUtime=0.69
/proc/5571/stat : 5571 (pbscip.linux.x8) R 5569 5571 5534 0 -1 4194304 24996 0 0 0 59 10 0 0 22 0 1 0 188068333 104931328 24552 1992294400 4194304 9342243 548682068736 18446744073709551615 4685941 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5571/statm: 25618 24552 426 1256 0 24357 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 102472
[startup+1.50138 s]
/proc/loadavg: 0.95 1.00 0.99 2/65 5572
/proc/meminfo: memFree=1693400/2055920 swapFree=4192812/4192956
[pid=5571] ppid=5569 vsize=116520 CPUtime=1.49
/proc/5571/stat : 5571 (pbscip.linux.x8) R 5569 5571 5534 0 -1 4194304 28275 0 0 0 136 13 0 0 25 0 1 0 188068333 119316480 27831 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5571/statm: 29130 27831 446 1256 0 27869 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 116520
[startup+3.10172 s]
/proc/loadavg: 0.95 1.00 0.99 2/65 5572
/proc/meminfo: memFree=1680152/2055920 swapFree=4192812/4192956
[pid=5571] ppid=5569 vsize=122440 CPUtime=3.09
/proc/5571/stat : 5571 (pbscip.linux.x8) R 5569 5571 5534 0 -1 4194304 30546 0 0 0 278 31 0 0 25 0 1 0 188068333 125378560 29348 1992294400 4194304 9342243 548682068736 18446744073709551615 4520992 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5571/statm: 30610 29348 475 1256 0 29349 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 122440
[startup+6.3014 s]
/proc/loadavg: 0.95 1.00 0.99 2/65 5572
/proc/meminfo: memFree=1603176/2055920 swapFree=4192812/4192956
[pid=5571] ppid=5569 vsize=219884 CPUtime=6.29
/proc/5571/stat : 5571 (pbscip.linux.x8) R 5569 5571 5534 0 -1 4194304 51797 0 0 0 587 42 0 0 25 0 1 0 188068333 225161216 48667 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5571/statm: 54971 48667 622 1256 0 53710 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 219884
[startup+12.7017 s]
/proc/loadavg: 0.96 1.00 0.99 2/65 5572
/proc/meminfo: memFree=1590128/2055920 swapFree=4192812/4192956
[pid=5571] ppid=5569 vsize=223372 CPUtime=12.69
/proc/5571/stat : 5571 (pbscip.linux.x8) R 5569 5571 5534 0 -1 4194304 54604 0 0 0 1222 47 0 0 25 0 1 0 188068333 228732928 51474 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5571/statm: 55843 51474 642 1256 0 54582 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 223372
[startup+25.5015 s]
/proc/loadavg: 0.97 1.00 0.99 2/65 5572
/proc/meminfo: memFree=1585712/2055920 swapFree=4192812/4192956
[pid=5571] ppid=5569 vsize=226052 CPUtime=25.48
/proc/5571/stat : 5571 (pbscip.linux.x8) R 5569 5571 5534 0 -1 4194304 55698 0 0 0 2499 49 0 0 25 0 1 0 188068333 231477248 52568 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5571/statm: 56513 52568 644 1256 0 55252 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 226052
[startup+51.1019 s]
/proc/loadavg: 0.98 1.00 0.99 2/65 5572
/proc/meminfo: memFree=1571120/2055920 swapFree=4192812/4192956
[pid=5571] ppid=5569 vsize=232144 CPUtime=51.06
/proc/5571/stat : 5571 (pbscip.linux.x8) R 5569 5571 5534 0 -1 4194304 59654 0 0 0 5051 55 0 0 25 0 1 0 188068333 237715456 56310 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5571/statm: 58036 56310 659 1256 0 56775 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 232144
[startup+102.306 s]
/proc/loadavg: 0.99 1.00 0.99 2/65 5572
/proc/meminfo: memFree=1564720/2055920 swapFree=4192812/4192956
[pid=5571] ppid=5569 vsize=241356 CPUtime=102.24
/proc/5571/stat : 5571 (pbscip.linux.x8) R 5569 5571 5534 0 -1 4194304 62636 0 0 0 10160 64 0 0 25 0 1 0 188068333 247148544 57820 1992294400 4194304 9342243 548682068736 18446744073709551615 6941292 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5571/statm: 60339 57820 659 1256 0 59078 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 241356
[startup+162.301 s]
/proc/loadavg: 0.99 1.00 0.99 2/65 5572
/proc/meminfo: memFree=1564400/2055920 swapFree=4192812/4192956
[pid=5571] ppid=5569 vsize=241248 CPUtime=162.22
/proc/5571/stat : 5571 (pbscip.linux.x8) R 5569 5571 5534 0 -1 4194304 90379 0 0 0 16130 92 0 0 25 0 1 0 188068333 247037952 57800 1992294400 4194304 9342243 548682068736 18446744073709551615 6960333 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5571/statm: 60312 57800 659 1256 0 59051 0
Current children cumulated CPU time (s) 162.22
Current children cumulated vsize (KiB) 241248
[startup+222.301 s]
/proc/loadavg: 0.99 1.00 0.99 2/65 5572
/proc/meminfo: memFree=1562608/2055920 swapFree=4192812/4192956
[pid=5571] ppid=5569 vsize=248616 CPUtime=222.2
/proc/5571/stat : 5571 (pbscip.linux.x8) R 5569 5571 5534 0 -1 4194304 145217 0 0 0 22085 135 0 0 25 0 1 0 188068333 254582784 57987 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5571/statm: 62154 57987 659 1256 0 60893 0
Current children cumulated CPU time (s) 222.2
Current children cumulated vsize (KiB) 248616
[startup+282.302 s]
/proc/loadavg: 0.99 1.00 0.99 2/65 5572
/proc/meminfo: memFree=1545904/2055920 swapFree=4192812/4192956
[pid=5571] ppid=5569 vsize=266660 CPUtime=282.18
/proc/5571/stat : 5571 (pbscip.linux.x8) R 5569 5571 5534 0 -1 4194304 162658 0 0 0 28065 153 0 0 25 0 1 0 188068333 273059840 62535 1992294400 4194304 9342243 548682068736 18446744073709551615 6940674 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5571/statm: 66665 62535 659 1256 0 65404 0
Current children cumulated CPU time (s) 282.18
Current children cumulated vsize (KiB) 266660
[startup+342.301 s]
/proc/loadavg: 0.99 1.00 0.99 2/65 5572
/proc/meminfo: memFree=1533104/2055920 swapFree=4192812/4192956
[pid=5571] ppid=5569 vsize=276684 CPUtime=342.15
/proc/5571/stat : 5571 (pbscip.linux.x8) R 5569 5571 5534 0 -1 4194304 174070 0 0 0 34047 168 0 0 25 0 1 0 188068333 283324416 65680 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5571/statm: 69171 65680 659 1256 0 67910 0
Current children cumulated CPU time (s) 342.15
Current children cumulated vsize (KiB) 276684
[startup+402.301 s]
/proc/loadavg: 0.99 1.00 0.99 2/65 5572
/proc/meminfo: memFree=1531952/2055920 swapFree=4192812/4192956
[pid=5571] ppid=5569 vsize=276684 CPUtime=402.13
/proc/5571/stat : 5571 (pbscip.linux.x8) R 5569 5571 5534 0 -1 4194304 174355 0 0 0 40036 177 0 0 25 0 1 0 188068333 283324416 65965 1992294400 4194304 9342243 548682068736 18446744073709551615 6960255 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5571/statm: 69171 65965 659 1256 0 67910 0
Current children cumulated CPU time (s) 402.13
Current children cumulated vsize (KiB) 276684
[startup+462.302 s]
/proc/loadavg: 0.99 1.00 0.99 2/65 5572
/proc/meminfo: memFree=1530544/2055920 swapFree=4192812/4192956
[pid=5571] ppid=5569 vsize=276684 CPUtime=462.11
/proc/5571/stat : 5571 (pbscip.linux.x8) R 5569 5571 5534 0 -1 4194304 174689 0 0 0 46026 185 0 0 25 0 1 0 188068333 283324416 66299 1992294400 4194304 9342243 548682068736 18446744073709551615 6960248 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5571/statm: 69171 66299 659 1256 0 67910 0
Current children cumulated CPU time (s) 462.11
Current children cumulated vsize (KiB) 276684
[startup+522.302 s]
/proc/loadavg: 0.99 1.00 0.99 2/65 5572
/proc/meminfo: memFree=1530288/2055920 swapFree=4192812/4192956
[pid=5571] ppid=5569 vsize=276684 CPUtime=522.09
/proc/5571/stat : 5571 (pbscip.linux.x8) R 5569 5571 5534 0 -1 4194304 174727 0 0 0 52016 193 0 0 25 0 1 0 188068333 283324416 66337 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5571/statm: 69171 66337 659 1256 0 67910 0
Current children cumulated CPU time (s) 522.09
Current children cumulated vsize (KiB) 276684
[startup+582.301 s]
/proc/loadavg: 0.99 1.00 0.99 2/65 5572
/proc/meminfo: memFree=1530224/2055920 swapFree=4192812/4192956
[pid=5571] ppid=5569 vsize=276684 CPUtime=582.06
/proc/5571/stat : 5571 (pbscip.linux.x8) R 5569 5571 5534 0 -1 4194304 174748 0 0 0 58006 200 0 0 25 0 1 0 188068333 283324416 66358 1992294400 4194304 9342243 548682068736 18446744073709551615 6959589 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5571/statm: 69171 66358 659 1256 0 67910 0
Current children cumulated CPU time (s) 582.06
Current children cumulated vsize (KiB) 276684
[startup+642.302 s]
/proc/loadavg: 0.99 1.00 0.99 2/65 5572
/proc/meminfo: memFree=1529520/2055920 swapFree=4192812/4192956
[pid=5571] ppid=5569 vsize=276684 CPUtime=642.05
/proc/5571/stat : 5571 (pbscip.linux.x8) R 5569 5571 5534 0 -1 4194304 174905 0 0 0 63997 208 0 0 25 0 1 0 188068333 283324416 66515 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5571/statm: 69171 66515 659 1256 0 67910 0
Current children cumulated CPU time (s) 642.05
Current children cumulated vsize (KiB) 276684
[startup+702.302 s]
################
# More data... #
################
/proc/meminfo: memFree=1533552/2055920 swapFree=4192812/4192956
[pid=5571] ppid=5569 vsize=275984 CPUtime=1061.88
/proc/5571/stat : 5571 (pbscip.linux.x8) R 5569 5571 5534 0 -1 4194304 181599 0 0 0 105930 258 0 0 25 0 1 0 188068333 282607616 65486 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5571/statm: 68996 65486 668 1256 0 67735 0
Current children cumulated CPU time (s) 1061.88
Current children cumulated vsize (KiB) 275984
[startup+1122.3 s]
/proc/loadavg: 0.99 1.00 0.99 2/65 5572
/proc/meminfo: memFree=1533488/2055920 swapFree=4192812/4192956
[pid=5571] ppid=5569 vsize=277060 CPUtime=1121.86
/proc/5571/stat : 5571 (pbscip.linux.x8) R 5569 5571 5534 0 -1 4194304 187384 0 0 0 111917 269 0 0 25 0 1 0 188068333 283709440 65735 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5571/statm: 69265 65735 668 1256 0 68004 0
Current children cumulated CPU time (s) 1121.86
Current children cumulated vsize (KiB) 277060
[startup+1182.3 s]
/proc/loadavg: 0.99 1.00 0.99 2/65 5572
/proc/meminfo: memFree=1533360/2055920 swapFree=4192812/4192956
[pid=5571] ppid=5569 vsize=277120 CPUtime=1181.84
/proc/5571/stat : 5571 (pbscip.linux.x8) R 5569 5571 5534 0 -1 4194304 199658 0 0 0 117898 286 0 0 25 0 1 0 188068333 283770880 65530 1992294400 4194304 9342243 548682068736 18446744073709551615 4338438 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5571/statm: 69280 65530 668 1256 0 68019 0
Current children cumulated CPU time (s) 1181.84
Current children cumulated vsize (KiB) 277120
[startup+1242.3 s]
/proc/loadavg: 0.99 1.00 0.99 2/65 5572
/proc/meminfo: memFree=1533104/2055920 swapFree=4192812/4192956
[pid=5571] ppid=5569 vsize=277100 CPUtime=1241.81
/proc/5571/stat : 5571 (pbscip.linux.x8) R 5569 5571 5534 0 -1 4194304 208103 0 0 0 123883 298 0 0 25 0 1 0 188068333 283750400 65570 1992294400 4194304 9342243 548682068736 18446744073709551615 6952952 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5571/statm: 69275 65570 668 1256 0 68014 0
Current children cumulated CPU time (s) 1241.81
Current children cumulated vsize (KiB) 277100
[startup+1302.3 s]
/proc/loadavg: 0.99 1.00 0.99 2/65 5572
/proc/meminfo: memFree=1533104/2055920 swapFree=4192812/4192956
[pid=5571] ppid=5569 vsize=277220 CPUtime=1301.8
/proc/5571/stat : 5571 (pbscip.linux.x8) R 5569 5571 5534 0 -1 4194304 218029 0 0 0 129866 314 0 0 25 0 1 0 188068333 283873280 65560 1992294400 4194304 9342243 548682068736 18446744073709551615 5990660 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5571/statm: 69305 65560 668 1256 0 68044 0
Current children cumulated CPU time (s) 1301.8
Current children cumulated vsize (KiB) 277220
[startup+1362.3 s]
/proc/loadavg: 0.99 1.00 0.99 2/65 5572
/proc/meminfo: memFree=1532976/2055920 swapFree=4192812/4192956
[pid=5571] ppid=5569 vsize=278260 CPUtime=1361.77
/proc/5571/stat : 5571 (pbscip.linux.x8) R 5569 5571 5534 0 -1 4194304 225515 0 0 0 135851 326 0 0 25 0 1 0 188068333 284938240 65952 1992294400 4194304 9342243 548682068736 18446744073709551615 6948498 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5571/statm: 69565 65952 668 1256 0 68304 0
Current children cumulated CPU time (s) 1361.77
Current children cumulated vsize (KiB) 278260
[startup+1422.31 s]
/proc/loadavg: 0.99 1.00 0.99 2/65 5572
/proc/meminfo: memFree=1532848/2055920 swapFree=4192812/4192956
[pid=5571] ppid=5569 vsize=278288 CPUtime=1421.75
/proc/5571/stat : 5571 (pbscip.linux.x8) R 5569 5571 5534 0 -1 4194304 234951 0 0 0 141836 339 0 0 25 0 1 0 188068333 284966912 65588 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5571/statm: 69572 65588 668 1256 0 68311 0
Current children cumulated CPU time (s) 1421.75
Current children cumulated vsize (KiB) 278288
[startup+1482.3 s]
/proc/loadavg: 0.99 1.00 0.99 2/65 5572
/proc/meminfo: memFree=1532656/2055920 swapFree=4192812/4192956
[pid=5571] ppid=5569 vsize=277248 CPUtime=1481.73
/proc/5571/stat : 5571 (pbscip.linux.x8) R 5569 5571 5534 0 -1 4194304 243563 0 0 0 147820 353 0 0 25 0 1 0 188068333 283901952 65625 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5571/statm: 69312 65625 668 1256 0 68051 0
Current children cumulated CPU time (s) 1481.73
Current children cumulated vsize (KiB) 277248
[startup+1542.3 s]
/proc/loadavg: 0.99 1.00 0.99 2/65 5572
/proc/meminfo: memFree=1532784/2055920 swapFree=4192812/4192956
[pid=5571] ppid=5569 vsize=277328 CPUtime=1541.71
/proc/5571/stat : 5571 (pbscip.linux.x8) R 5569 5571 5534 0 -1 4194304 253187 0 0 0 153803 368 0 0 25 0 1 0 188068333 283983872 65596 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5571/statm: 69332 65596 668 1256 0 68071 0
Current children cumulated CPU time (s) 1541.71
Current children cumulated vsize (KiB) 277328
[startup+1602.3 s]
/proc/loadavg: 0.99 1.00 0.99 2/65 5572
/proc/meminfo: memFree=1532720/2055920 swapFree=4192812/4192956
[pid=5571] ppid=5569 vsize=277368 CPUtime=1601.69
/proc/5571/stat : 5571 (pbscip.linux.x8) R 5569 5571 5534 0 -1 4194304 260304 0 0 0 159791 378 0 0 25 0 1 0 188068333 284024832 65603 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5571/statm: 69342 65603 668 1256 0 68081 0
Current children cumulated CPU time (s) 1601.69
Current children cumulated vsize (KiB) 277368
[startup+1662.3 s]
/proc/loadavg: 0.99 1.00 0.99 2/65 5572
/proc/meminfo: memFree=1531184/2055920 swapFree=4192812/4192956
[pid=5571] ppid=5569 vsize=278456 CPUtime=1661.67
/proc/5571/stat : 5571 (pbscip.linux.x8) R 5569 5571 5534 0 -1 4194304 267604 0 0 0 165776 391 0 0 25 0 1 0 188068333 285138944 66044 1992294400 4194304 9342243 548682068736 18446744073709551615 6938234 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5571/statm: 69614 66044 668 1256 0 68353 0
Current children cumulated CPU time (s) 1661.67
Current children cumulated vsize (KiB) 278456
[startup+1722.3 s]
/proc/loadavg: 0.99 1.00 0.99 2/65 5572
/proc/meminfo: memFree=1532464/2055920 swapFree=4192812/4192956
[pid=5571] ppid=5569 vsize=277400 CPUtime=1721.64
/proc/5571/stat : 5571 (pbscip.linux.x8) R 5569 5571 5534 0 -1 4194304 272653 0 0 0 171760 404 0 0 25 0 1 0 188068333 284057600 65651 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5571/statm: 69350 65651 668 1256 0 68089 0
Current children cumulated CPU time (s) 1721.64
Current children cumulated vsize (KiB) 277400
[startup+1782.3 s]
/proc/loadavg: 0.99 1.00 0.99 2/65 5572
/proc/meminfo: memFree=1532592/2055920 swapFree=4192812/4192956
[pid=5571] ppid=5569 vsize=277460 CPUtime=1781.62
/proc/5571/stat : 5571 (pbscip.linux.x8) R 5569 5571 5534 0 -1 4194304 279383 0 0 0 177745 417 0 0 25 0 1 0 188068333 284119040 65622 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5571/statm: 69365 65622 668 1256 0 68104 0
Current children cumulated CPU time (s) 1781.62
Current children cumulated vsize (KiB) 277460
Solver just ended. Dumping a history of the last processes samples
[startup+1785.5 s]
/proc/loadavg: 0.99 1.00 0.99 2/65 5572
/proc/meminfo: memFree=1532592/2055920 swapFree=4192812/4192956
[pid=5571] ppid=5569 vsize=277460 CPUtime=1784.82
/proc/5571/stat : 5571 (pbscip.linux.x8) R 5569 5571 5534 0 -1 4194304 279383 0 0 0 178065 417 0 0 25 0 1 0 188068333 284119040 65622 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5571/statm: 69365 65622 668 1256 0 68104 0
Current children cumulated CPU time (s) 1784.82
Current children cumulated vsize (KiB) 277460
[startup+1791.91 s]
/proc/loadavg: 0.99 1.00 0.99 2/65 5572
/proc/meminfo: memFree=1532592/2055920 swapFree=4192812/4192956
[pid=5571] ppid=5569 vsize=277460 CPUtime=1791.22
/proc/5571/stat : 5571 (pbscip.linux.x8) R 5569 5571 5534 0 -1 4194304 279383 0 0 0 178704 418 0 0 25 0 1 0 188068333 284119040 65622 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5571/statm: 69365 65622 668 1256 0 68104 0
Current children cumulated CPU time (s) 1791.22
Current children cumulated vsize (KiB) 277460
[startup+1795.1 s]
/proc/loadavg: 0.99 1.00 0.99 2/65 5572
/proc/meminfo: memFree=1532400/2055920 swapFree=4192812/4192956
[pid=5571] ppid=5569 vsize=277428 CPUtime=1794.42
/proc/5571/stat : 5571 (pbscip.linux.x8) R 5569 5571 5534 0 -1 4194304 281330 0 0 0 179023 419 0 0 25 0 1 0 188068333 284086272 65663 1992294400 4194304 9342243 548682068736 18446744073709551615 6960258 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5571/statm: 69357 65663 668 1256 0 68096 0
Current children cumulated CPU time (s) 1794.42
Current children cumulated vsize (KiB) 277428
[startup+1795.9 s]
/proc/loadavg: 0.99 1.00 0.99 2/65 5572
/proc/meminfo: memFree=1532400/2055920 swapFree=4192812/4192956
[pid=5571] ppid=5569 vsize=277428 CPUtime=1795.21
/proc/5571/stat : 5571 (pbscip.linux.x8) R 5569 5571 5534 0 -1 4194304 281330 0 0 0 179102 419 0 0 25 0 1 0 188068333 284086272 65663 1992294400 4194304 9342243 548682068736 18446744073709551615 5392592 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5571/statm: 69357 65663 668 1256 0 68096 0
Current children cumulated CPU time (s) 1795.21
Current children cumulated vsize (KiB) 277428
[startup+1796.31 s]
/proc/loadavg: 0.99 1.00 0.99 2/65 5572
/proc/meminfo: memFree=1532400/2055920 swapFree=4192812/4192956
[pid=5571] ppid=5569 vsize=277428 CPUtime=1795.61
/proc/5571/stat : 5571 (pbscip.linux.x8) R 5569 5571 5534 0 -1 4194304 281332 0 0 0 179142 419 0 0 25 0 1 0 188068333 284086272 65665 1992294400 4194304 9342243 548682068736 18446744073709551615 4686261 0 0 4096 0 0 0 0 17 1 0 0
/proc/5571/statm: 69357 65665 670 1256 0 68096 0
Current children cumulated CPU time (s) 1795.61
Current children cumulated vsize (KiB) 277428
[startup+1796.7 s]
/proc/loadavg: 0.99 1.00 0.99 2/65 5572
/proc/meminfo: memFree=1532400/2055920 swapFree=4192812/4192956
[pid=5571] ppid=5569 vsize=157564 CPUtime=1796.01
/proc/5571/stat : 5571 (pbscip.linux.x8) R 5569 5571 5534 0 -1 4194304 281338 0 0 0 179180 421 0 0 25 0 1 0 188068333 161345536 36374 1992294400 4194304 9342243 548682068736 18446744073709551615 8483466 0 0 4096 0 0 0 0 17 0 0 0
/proc/5571/statm: 39391 36374 676 1256 0 38130 0
Current children cumulated CPU time (s) 1796.01
Current children cumulated vsize (KiB) 157564
Child status: 0
Real time (s): 1796.73
CPU time (s): 1796.04
CPU user time (s): 1791.8
CPU system time (s): 4.24235
CPU usage (%): 99.962
Max. virtual memory (cumulated for all children) (KiB): 278572
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1791.8
system time used= 4.24235
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 281343
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= 3
involuntary context switches= 3830
runsolver used 1.35079 second user time and 4.01739 second system time
The end
Begin job on node13 at 2009-06-17 04:11:18
IDJOB=1870447
IDBENCH=48222
IDSOLVER=684
FILE ID=node13/1870447-1245204678
PBS_JOBID= 9368371
Free space on /tmp= 66272 MiB
SOLVER NAME= SCIPclp SCIP 1.1.0.7 with CLP 1.8.2
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.clp -t TIMEOUT -m MEMLIMIT -f BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1870447-1245204678/watcher-1870447-1245204678 -o /tmp/evaluation-result-1870447-1245204678/solver-1870447-1245204678 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.clp -t 1800 -m 1800 -f HOME/instance-1870447-1245204678.opb
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 80b55b230959185abe8760f01da7fec8
RANDOM SEED=2055361076
node13.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.259
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.259
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: 1794496 kB
Buffers: 47720 kB
Cached: 135600 kB
SwapCached: 144 kB
Active: 65920 kB
Inactive: 131360 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1794496 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 12760 kB
Writeback: 0 kB
Mapped: 23616 kB
Slab: 50088 kB
Committed_AS: 172628 kB
PageTables: 1460 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= 66260 MiB
End job on node13 at 2009-06-17 04:41:15