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-1870347-1245199036.opb>
0.39/0.41 c original problem has 38643 variables (38643 bin, 0 int, 0 impl, 0 cont) and 38643 constraints
0.69/0.79 c start presolving problem
0.69/0.79 c presolving:
1.99/2.03 c (round 1) 37643 del vars, 1000 del conss, 37643 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 150572 impls, 0 clqs
4.49/4.53 c (3.9s) probing: 101/1000 (10.1%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
4.49/4.53 c (3.9s) probing aborted: 100/100 successive totally useless probings
4.49/4.53 c presolving (2 rounds):
4.49/4.53 c 37643 deleted vars, 1000 deleted constraints, 37643 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
4.49/4.53 c 225858 implications, 0 cliques
4.49/4.53 c presolved problem has 1000 variables (1000 bin, 0 int, 0 impl, 0 cont) and 37643 constraints
4.49/4.54 c 37643 constraints of type <and>
4.49/4.54 c transformed objective value is always integral (scale: 1)
4.49/4.54 c Presolving Time: 3.67
4.49/4.54 c OPT-NLC
4.49/4.54 c -----------------------------------------------------------------------------------------------
4.49/4.54 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
4.49/4.54 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
4.49/4.54 c limits/memory = c 1620
4.49/4.54 c # maximal time in seconds to run
4.49/4.54 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
4.49/4.54 c limits/time = c 1791
4.49/4.54 c # frequency for displaying node information lines
4.49/4.54 c # [type: int, range: [-1,2147483647], default: 100]
4.49/4.54 c display/freq = c 10000
4.49/4.54 c -----------------------------------------------------------------------------------------------
4.49/4.54 c start solving problem
4.49/4.54 c
5.40/5.47 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
5.40/5.47 c 4.7s| 1 | 0 | 1022 | 139M| 0 |1000 |1000 | 37k| 37k|1000 | 37k| 0 | 0 | 0 |-5.000000e+02 | -- | Inf
5.49/5.52 o -47
5.49/5.52 c R 4.8s| 1 | 0 | 1022 | 139M| 0 |1000 |1000 | 37k| 37k|1000 | 37k| 0 | 0 | 0 |-5.000000e+02 |-4.700000e+01 | 90.60%
7.70/7.72 c 6.9s| 1 | 0 | 1154 | 139M| 0 | 989 |1000 | 37k| 37k|1000 | 37k| 9 | 0 | 0 |-4.945000e+02 |-4.700000e+01 | 90.50%
10.08/10.14 c 9.3s| 1 | 0 | 1308 | 139M| 0 | 982 |1000 | 37k| 37k|1000 | 37k| 14 | 0 | 0 |-4.910000e+02 |-4.700000e+01 | 90.43%
12.29/12.34 c 11.5s| 1 | 0 | 1399 | 139M| 0 | 977 |1000 | 37k| 37k|1000 | 37k| 20 | 0 | 0 |-4.885000e+02 |-4.700000e+01 | 90.38%
14.58/14.66 c 13.8s| 1 | 0 | 1525 | 139M| 0 | 968 |1000 | 37k| 37k|1000 | 37k| 28 | 0 | 0 |-4.840000e+02 |-4.700000e+01 | 90.29%
17.59/17.60 c 16.8s| 1 | 0 | 1709 | 139M| 0 | 959 |1000 | 37k| 37k|1000 | 37k| 37 | 0 | 0 |-4.795000e+02 |-4.700000e+01 | 90.20%
22.59/22.60 c 21.7s| 1 | 0 | 2084 | 139M| 0 | 952 |1000 | 37k| 37k|1000 | 37k| 44 | 0 | 0 |-4.760000e+02 |-4.700000e+01 | 90.13%
22.59/22.65 o -49
22.59/22.65 c R21.8s| 1 | 0 | 2084 | 139M| 0 | 952 |1000 | 37k| 37k|1000 | 37k| 44 | 0 | 0 |-4.760000e+02 |-4.900000e+01 | 89.71%
27.18/27.29 c 26.4s| 1 | 0 | 2405 | 139M| 0 | 942 |1000 | 37k| 37k|1000 | 37k| 56 | 0 | 0 |-4.710000e+02 |-4.900000e+01 | 89.60%
32.68/32.76 c 31.9s| 1 | 0 | 2781 | 139M| 0 | 939 |1000 | 37k| 37k|1000 | 37k| 63 | 0 | 0 |-4.695000e+02 |-4.900000e+01 | 89.56%
38.97/39.01 c 38.1s| 1 | 0 | 3242 | 139M| 0 | 933 |1000 | 37k| 37k|1000 | 37k| 69 | 0 | 0 |-4.665000e+02 |-4.900000e+01 | 89.50%
47.87/47.93 c 47.0s| 1 | 0 | 3648 | 139M| 0 | 927 |1000 | 37k| 37k|1000 | 37k| 75 | 0 | 0 |-4.630000e+02 |-4.900000e+01 | 89.42%
53.36/53.49 c 52.6s| 1 | 0 | 4227 | 139M| 0 | 918 |1000 | 37k| 37k|1000 |1343 | 84 | 0 | 0 |-4.590000e+02 |-4.900000e+01 | 89.32%
53.97/54.02 c 53.1s| 1 | 0 | 4722 | 139M| 0 | 870 |1000 | 37k| 37k|1000 |1348 | 89 | 0 | 0 |-4.575000e+02 |-4.900000e+01 | 89.29%
56.57/56.69 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
56.57/56.69 c 55.8s| 1 | 0 | 4965 | 139M| 0 | 912 |1000 | 37k| 37k|1000 |3348 |2089 | 0 | 0 |-4.560000e+02 |-4.900000e+01 | 89.25%
57.37/57.45 c 56.5s| 1 | 0 | 5589 | 139M| 0 | 911 |1000 | 37k| 37k|1000 |3354 |2095 | 0 | 0 |-4.545000e+02 |-4.900000e+01 | 89.22%
58.47/58.52 c 57.6s| 1 | 0 | 6507 | 139M| 0 | 903 |1000 | 37k| 37k|1000 |3428 |2169 | 0 | 0 |-4.515000e+02 |-4.900000e+01 | 89.15%
59.87/59.99 c 59.1s| 1 | 0 | 7720 | 139M| 0 | 767 |1000 | 37k| 37k|1000 |3438 |2179 | 0 | 0 |-4.495000e+02 |-4.900000e+01 | 89.10%
63.47/63.58 c 62.6s| 1 | 0 | 7965 | 141M| 0 | 896 |1000 | 37k| 37k|1000 |5059 |4179 | 0 | 0 |-4.480000e+02 |-4.900000e+01 | 89.06%
64.87/65.00 c 64.0s| 1 | 0 | 8825 | 141M| 0 | 888 |1000 | 37k| 37k|1000 |5066 |4186 | 0 | 0 |-4.450000e+02 |-4.900000e+01 | 88.99%
66.16/66.26 c 65.3s| 1 | 0 | 9708 | 141M| 0 | 882 |1000 | 37k| 37k|1000 |5141 |4261 | 0 | 0 |-4.430000e+02 |-4.900000e+01 | 88.94%
66.76/66.84 c 65.9s| 1 | 0 | 9923 | 141M| 0 | 886 |1000 | 37k| 37k|1000 |5268 |4388 | 0 | 0 |-4.425000e+02 |-4.900000e+01 | 88.93%
68.37/68.42 c 67.5s| 1 | 0 | 11293 | 141M| 0 | 880 |1000 | 37k| 37k|1000 |5275 |4395 | 0 | 0 |-4.400000e+02 |-4.900000e+01 | 88.86%
69.37/69.41 c 68.5s| 1 | 0 | 11956 | 141M| 0 | 874 |1000 | 37k| 37k|1000 |5284 |4404 | 0 | 0 |-4.365000e+02 |-4.900000e+01 | 88.77%
70.96/71.00 c 70.0s| 1 | 0 | 13274 | 141M| 0 | 867 |1000 | 37k| 37k|1000 |5145 |4474 | 0 | 0 |-4.335000e+02 |-4.900000e+01 | 88.70%
72.76/72.81 c 71.8s| 1 | 0 | 14954 | 141M| 0 | 865 |1000 | 37k| 37k|1000 |5152 |4481 | 0 | 0 |-4.312500e+02 |-4.900000e+01 | 88.64%
74.26/74.34 c 73.4s| 1 | 0 | 16120 | 141M| 0 | 852 |1000 | 37k| 37k|1000 |5837 |5166 | 0 | 0 |-4.270000e+02 |-4.900000e+01 | 88.52%
76.06/76.11 c 75.2s| 1 | 0 | 17583 | 141M| 0 | 849 |1000 | 37k| 37k|1000 |5916 |5245 | 0 | 0 |-4.255000e+02 |-4.900000e+01 | 88.48%
78.66/78.76 c 77.8s| 1 | 0 | 19856 | 141M| 0 | 886 |1000 | 37k| 37k|1000 |5980 |5309 | 0 | 0 |-4.225556e+02 |-4.900000e+01 | 88.40%
82.95/83.00 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
82.95/83.00 c 82.0s| 1 | 0 | 20180 | 141M| 0 | 846 |1000 | 37k| 37k|1000 |7980 |7309 | 0 | 0 |-4.225000e+02 |-4.900000e+01 | 88.40%
84.76/84.81 c 83.8s| 1 | 0 | 21114 | 142M| 0 | 841 |1000 | 37k| 37k|1000 |5990 |7316 | 0 | 0 |-4.205000e+02 |-4.900000e+01 | 88.35%
86.56/86.66 c 85.7s| 1 | 0 | 22459 | 142M| 0 | 835 |1000 | 37k| 37k|1000 |5999 |7325 | 0 | 0 |-4.185000e+02 |-4.900000e+01 | 88.29%
88.75/88.82 c 87.8s| 1 | 0 | 24016 | 142M| 0 | 830 |1000 | 37k| 37k|1000 |6048 |7374 | 0 | 0 |-4.150000e+02 |-4.900000e+01 | 88.19%
89.65/89.75 c 88.8s| 1 | 0 | 24631 | 142M| 0 | 825 |1000 | 37k| 37k|1000 |6053 |7379 | 0 | 0 |-4.135000e+02 |-4.900000e+01 | 88.15%
91.26/91.39 c 90.4s| 1 | 0 | 25932 | 142M| 0 | 821 |1000 | 37k| 37k|1000 |6105 |7431 | 0 | 0 |-4.125000e+02 |-4.900000e+01 | 88.12%
94.15/94.20 c 93.2s| 1 | 0 | 27940 | 142M| 0 | 816 |1000 | 37k| 37k|1000 |6202 |7528 | 0 | 0 |-4.110000e+02 |-4.900000e+01 | 88.08%
95.76/95.87 c 94.9s| 1 | 0 | 29055 | 142M| 0 | 817 |1000 | 37k| 37k|1000 |5301 |7683 | 0 | 0 |-4.095000e+02 |-4.900000e+01 | 88.03%
97.86/97.96 c 97.0s| 1 | 0 | 30607 | 142M| 0 | 802 |1000 | 37k| 37k|1000 |5368 |7750 | 0 | 0 |-4.080000e+02 |-4.900000e+01 | 87.99%
99.85/99.96 c 99.0s| 1 | 0 | 32241 | 143M| 0 | 809 |1000 | 37k| 37k|1000 |5746 |8128 | 0 | 0 |-4.055000e+02 |-4.900000e+01 | 87.92%
100.75/100.85 c 99.8s| 1 | 0 | 32958 | 143M| 0 | 802 |1000 | 37k| 37k|1000 |5814 |8196 | 0 | 0 |-4.040000e+02 |-4.900000e+01 | 87.87%
101.85/101.96 c 101s| 1 | 0 | 33707 | 143M| 0 | 809 |1000 | 37k| 37k|1000 |5990 |8372 | 0 | 0 |-4.031250e+02 |-4.900000e+01 | 87.84%
103.86/103.94 c 103s| 1 | 0 | 35076 | 143M| 0 | 802 |1000 | 37k| 37k|1000 |6065 |8447 | 0 | 0 |-4.010000e+02 |-4.900000e+01 | 87.78%
105.25/105.31 c 104s| 1 | 0 | 36324 | 143M| 0 | 803 |1000 | 37k| 37k|1000 |5688 |8455 | 0 | 0 |-3.985051e+02 |-4.900000e+01 | 87.70%
106.15/106.23 c 105s| 1 | 0 | 37334 | 143M| 0 | 794 |1000 | 37k| 37k|1000 |5694 |8461 | 0 | 0 |-3.968112e+02 |-4.900000e+01 | 87.65%
107.05/107.14 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
107.05/107.14 c 106s| 1 | 0 | 38248 | 143M| 0 | 789 |1000 | 37k| 37k|1000 |5795 |8562 | 0 | 0 |-3.944583e+02 |-4.900000e+01 | 87.58%
108.45/108.50 c 107s| 1 | 0 | 39643 | 143M| 0 | 846 |1000 | 37k| 37k|1000 |5905 |8672 | 0 | 0 |-3.919150e+02 |-4.900000e+01 | 87.50%
111.75/111.87 c 111s| 1 | 0 | 39789 | 143M| 0 | 791 |1000 | 37k| 37k|1000 |7905 | 10k| 0 | 0 |-3.915000e+02 |-4.900000e+01 | 87.48%
114.15/114.24 c 113s| 1 | 0 | 41025 | 143M| 0 | 787 |1000 | 37k| 37k|1000 |7913 | 10k| 0 | 0 |-3.900000e+02 |-4.900000e+01 | 87.44%
115.55/115.68 c 115s| 1 | 0 | 41856 | 143M| 0 | 782 |1000 | 37k| 37k|1000 |7208 | 10k| 0 | 0 |-3.875000e+02 |-4.900000e+01 | 87.35%
116.85/116.96 c 116s| 1 | 0 | 42701 | 143M| 0 | 782 |1000 | 37k| 37k|1000 |7217 | 10k| 0 | 0 |-3.860000e+02 |-4.900000e+01 | 87.31%
118.85/118.98 c 118s| 1 | 0 | 43815 | 143M| 0 | 772 |1000 | 37k| 37k|1000 |7226 | 10k| 0 | 0 |-3.855000e+02 |-4.900000e+01 | 87.29%
121.25/121.36 c 120s| 1 | 0 | 45138 | 143M| 0 | 775 |1000 | 37k| 37k|1000 |7235 | 10k| 0 | 0 |-3.835000e+02 |-4.900000e+01 | 87.22%
123.05/123.15 c 122s| 1 | 0 | 46153 | 144M| 0 | 771 |1000 | 37k| 37k|1000 |7242 | 10k| 0 | 0 |-3.825000e+02 |-4.900000e+01 | 87.19%
125.14/125.24 c 124s| 1 | 0 | 47498 | 144M| 0 | 772 |1000 | 37k| 37k|1000 |7250 | 10k| 0 | 0 |-3.815000e+02 |-4.900000e+01 | 87.16%
126.94/127.03 c 126s| 1 | 0 | 48498 | 144M| 0 | 763 |1000 | 37k| 37k|1000 |6832 | 10k| 0 | 0 |-3.805000e+02 |-4.900000e+01 | 87.12%
128.84/128.95 c 128s| 1 | 0 | 49775 | 144M| 0 | 760 |1000 | 37k| 37k|1000 |6837 | 10k| 0 | 0 |-3.796667e+02 |-4.900000e+01 | 87.09%
130.44/130.57 c 130s| 1 | 0 | 51016 | 144M| 0 | 759 |1000 | 37k| 37k|1000 |6845 | 10k| 0 | 0 |-3.790000e+02 |-4.900000e+01 | 87.07%
132.34/132.43 c 131s| 1 | 0 | 52186 | 144M| 0 | 756 |1000 | 37k| 37k|1000 |6852 | 10k| 0 | 0 |-3.780000e+02 |-4.900000e+01 | 87.04%
135.15/135.21 c 134s| 1 | 0 | 53838 | 144M| 0 | 755 |1000 | 37k| 37k|1000 |6862 | 10k| 0 | 0 |-3.772500e+02 |-4.900000e+01 | 87.01%
137.65/137.75 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
137.65/137.75 c 137s| 1 | 0 | 55270 | 144M| 0 | 770 |1000 | 37k| 37k|1000 |6914 | 10k| 0 | 0 |-3.760000e+02 |-4.900000e+01 | 86.97%
139.45/139.56 c 138s| 1 | 0 | 56285 | 145M| 0 | 751 |1000 | 37k| 37k|1000 |6528 | 10k| 0 | 0 |-3.752500e+02 |-4.900000e+01 | 86.94%
142.84/142.91 c 142s| 1 | 0 | 58517 | 145M| 0 | 771 |1000 | 37k| 37k|1000 |6588 | 10k| 0 | 0 |-3.742500e+02 |-4.900000e+01 | 86.91%
145.44/145.57 c 144s| 1 | 0 | 60397 | 145M| 0 | 774 |1000 | 37k| 37k|1000 |6650 | 11k| 0 | 0 |-3.725000e+02 |-4.900000e+01 | 86.85%
148.04/148.11 c 147s| 1 | 0 | 61833 | 145M| 0 | 753 |1000 | 37k| 37k|1000 |6657 | 11k| 0 | 0 |-3.722500e+02 |-4.900000e+01 | 86.84%
151.85/151.95 c 151s| 1 | 0 | 64440 | 145M| 0 | 735 |1000 | 37k| 37k|1000 |6708 | 11k| 0 | 0 |-3.705000e+02 |-4.900000e+01 | 86.77%
156.14/156.26 c 155s| 1 | 0 | 67105 | 146M| 0 | 737 |1000 | 37k| 37k|1000 |6884 | 11k| 0 | 0 |-3.695000e+02 |-4.900000e+01 | 86.74%
159.44/159.53 c 158s| 1 | 0 | 69105 | 146M| 0 | 763 |1000 | 37k| 37k|1000 |6830 | 11k| 0 | 0 |-3.687500e+02 |-4.900000e+01 | 86.71%
161.64/161.76 c 161s| 1 | 0 | 71182 | 146M| 0 | 745 |1000 | 37k| 37k|1000 |6938 | 11k| 0 | 0 |-3.675000e+02 |-4.900000e+01 | 86.67%
163.93/164.06 c 163s| 1 | 0 | 72801 | 147M| 0 | 747 |1000 | 37k| 37k|1000 |7183 | 11k| 0 | 0 |-3.653333e+02 |-4.900000e+01 | 86.59%
168.74/168.89 c 168s| 1 | 0 | 75735 | 147M| 0 | 733 |1000 | 37k| 37k|1000 |7259 | 11k| 0 | 0 |-3.638333e+02 |-4.900000e+01 | 86.53%
170.94/171.00 c 170s| 1 | 0 | 77045 | 147M| 0 | 739 |1000 | 37k| 37k|1000 |7404 | 11k| 0 | 0 |-3.632500e+02 |-4.900000e+01 | 86.51%
174.33/174.49 c 173s| 1 | 0 | 79153 | 147M| 0 | 725 |1000 | 37k| 37k|1000 |7412 | 11k| 0 | 0 |-3.625000e+02 |-4.900000e+01 | 86.48%
179.83/179.94 c 179s| 1 | 0 | 82075 | 147M| 0 | 718 |1000 | 37k| 37k|1000 |7223 | 11k| 0 | 0 |-3.620000e+02 |-4.900000e+01 | 86.46%
183.23/183.34 c 182s| 1 | 0 | 84255 | 147M| 0 | 726 |1000 | 37k| 37k|1000 |7389 | 12k| 0 | 0 |-3.605000e+02 |-4.900000e+01 | 86.41%
185.03/185.15 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
185.03/185.15 c 184s| 1 | 0 | 85354 | 147M| 0 | 718 |1000 | 37k| 37k|1000 |7442 | 12k| 0 | 0 |-3.600000e+02 |-4.900000e+01 | 86.39%
188.03/188.12 c 187s| 1 | 0 | 87125 | 147M| 0 | 757 |1000 | 37k| 37k|1000 |7489 | 12k| 0 | 0 |-3.599000e+02 |-4.900000e+01 | 86.39%
190.14/190.25 c 189s| 1 | 0 | 88548 | 147M| 0 | 718 |1000 | 37k| 37k|1000 |7572 | 12k| 0 | 0 |-3.590000e+02 |-4.900000e+01 | 86.35%
191.83/191.92 c 191s| 1 | 0 | 89734 | 148M| 0 | 735 |1000 | 37k| 37k|1000 |7579 | 12k| 0 | 0 |-3.586667e+02 |-4.900000e+01 | 86.34%
194.43/194.59 c 193s| 1 | 0 | 91564 | 148M| 0 | 763 |1000 | 37k| 37k|1000 |7083 | 12k| 0 | 0 |-3.579000e+02 |-4.900000e+01 | 86.31%
196.52/196.62 c 195s| 1 | 0 | 92935 | 148M| 0 | 729 |1000 | 37k| 37k|1000 |7226 | 12k| 0 | 0 |-3.555000e+02 |-4.900000e+01 | 86.22%
198.73/198.81 c 198s| 1 | 0 | 94200 | 149M| 0 | 760 |1000 | 37k| 37k|1000 |7343 | 12k| 0 | 0 |-3.551250e+02 |-4.900000e+01 | 86.20%
200.43/200.58 c 199s| 1 | 0 | 95250 | 150M| 0 | 709 |1000 | 37k| 37k|1000 |7394 | 12k| 0 | 0 |-3.542500e+02 |-4.900000e+01 | 86.17%
206.53/206.62 c 205s| 1 | 0 | 98679 | 150M| 0 | 786 |1000 | 37k| 37k|1000 |7444 | 12k| 0 | 0 |-3.528919e+02 |-4.900000e+01 | 86.11%
208.53/208.63 c 207s| 1 | 0 | 99926 | 151M| 0 | 766 |1000 | 37k| 37k|1000 |7806 | 13k| 0 | 0 |-3.510500e+02 |-4.900000e+01 | 86.04%
210.43/210.55 c 209s| 1 | 0 |101098 | 151M| 0 | 742 |1000 | 37k| 37k|1000 |7445 | 13k| 0 | 0 |-3.495000e+02 |-4.900000e+01 | 85.98%
215.83/215.93 c 215s| 1 | 0 |103872 | 151M| 0 | 698 |1000 | 37k| 37k|1000 |7455 | 13k| 0 | 0 |-3.490000e+02 |-4.900000e+01 | 85.96%
221.12/221.24 c 220s| 1 | 0 |106625 | 151M| 0 | 766 |1000 | 37k| 37k|1000 |7461 | 13k| 0 | 0 |-3.487174e+02 |-4.900000e+01 | 85.95%
223.42/223.51 c 222s| 1 | 0 |108302 | 152M| 0 | 733 |1000 | 37k| 37k|1000 |7524 | 13k| 0 | 0 |-3.471154e+02 |-4.900000e+01 | 85.88%
227.12/227.23 c 226s| 1 | 0 |110519 | 152M| 0 | 717 |1000 | 37k| 37k|1000 |7540 | 13k| 0 | 0 |-3.463333e+02 |-4.900000e+01 | 85.85%
230.02/230.17 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
230.02/230.17 c 229s| 1 | 0 |112369 | 152M| 0 | 758 |1000 | 37k| 37k|1000 |7589 | 13k| 0 | 0 |-3.447625e+02 |-4.900000e+01 | 85.79%
233.22/233.36 c 232s| 1 | 0 |114483 | 153M| 0 | 834 |1000 | 37k| 37k|1000 |7342 | 13k| 0 | 0 |-3.426290e+02 |-4.900000e+01 | 85.70%
235.72/235.88 c 235s| 1 | 0 |115489 | 154M| 0 | 761 |1000 | 37k| 37k|1000 |9342 | 15k| 0 | 0 |-3.414444e+02 |-4.900000e+01 | 85.65%
238.01/238.14 c 237s| 1 | 0 |116729 | 154M| 0 | 764 |1000 | 37k| 37k|1000 |9386 | 15k| 0 | 0 |-3.401840e+02 |-4.900000e+01 | 85.60%
240.42/240.55 c 239s| 1 | 0 |118118 | 155M| 0 | 747 |1000 | 37k| 37k|1000 |9436 | 15k| 0 | 0 |-3.390972e+02 |-4.900000e+01 | 85.55%
243.11/243.22 c 242s| 1 | 0 |119504 | 156M| 0 | 757 |1000 | 37k| 37k|1000 |9482 | 15k| 0 | 0 |-3.384000e+02 |-4.900000e+01 | 85.52%
245.51/245.67 c 244s| 1 | 0 |120674 | 157M| 0 | 764 |1000 | 37k| 37k|1000 |9543 | 15k| 0 | 0 |-3.366429e+02 |-4.900000e+01 | 85.44%
248.41/248.53 c 247s| 1 | 0 |121956 | 157M| 0 | 705 |1000 | 37k| 37k|1000 |9177 | 15k| 0 | 0 |-3.357500e+02 |-4.900000e+01 | 85.41%
252.12/252.24 c 251s| 1 | 0 |123893 | 157M| 0 | 770 |1000 | 37k| 37k|1000 |9188 | 15k| 0 | 0 |-3.346500e+02 |-4.900000e+01 | 85.36%
256.31/256.41 c 255s| 1 | 0 |126169 | 158M| 0 | 767 |1000 | 37k| 37k|1000 |9328 | 15k| 0 | 0 |-3.333893e+02 |-4.900000e+01 | 85.30%
258.61/258.73 c 257s| 1 | 0 |127344 | 159M| 0 | 745 |1000 | 37k| 37k|1000 |9337 | 15k| 0 | 0 |-3.319412e+02 |-4.900000e+01 | 85.24%
261.31/261.41 c 260s| 1 | 0 |128722 | 159M| 0 | 736 |1000 | 37k| 37k|1000 |9353 | 15k| 0 | 0 |-3.315417e+02 |-4.900000e+01 | 85.22%
264.21/264.36 c 263s| 1 | 0 |130273 | 161M| 0 | 754 |1000 | 37k| 37k|1000 |9405 | 15k| 0 | 0 |-3.313459e+02 |-4.900000e+01 | 85.21%
275.20/275.32 c 274s| 1 | 0 |134346 | 161M| 0 | 764 |1000 | 37k| 37k|1000 |8877 | 15k| 0 | 0 |-3.307608e+02 |-4.900000e+01 | 85.19%
278.51/278.66 c 277s| 1 | 0 |136312 | 163M| 0 | 773 |1000 | 37k| 37k|1000 |9015 | 15k| 0 | 0 |-3.287210e+02 |-4.900000e+01 | 85.09%
280.60/280.77 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
280.60/280.77 c 279s| 1 | 0 |137250 | 163M| 0 | 787 |1000 | 37k| 37k|1000 |9167 | 16k| 0 | 0 |-3.284647e+02 |-4.900000e+01 | 85.08%
283.51/283.64 c 282s| 1 | 0 |138632 | 164M| 0 | 791 |1000 | 37k| 37k|1000 |9258 | 16k| 0 | 0 |-3.278444e+02 |-4.900000e+01 | 85.05%
287.81/287.92 c 287s| 1 | 0 |140781 | 164M| 0 | 798 |1000 | 37k| 37k|1000 |9433 | 16k| 0 | 0 |-3.262809e+02 |-4.900000e+01 | 84.98%
291.30/291.41 c 290s| 1 | 0 |142497 | 165M| 0 | 789 |1000 | 37k| 37k|1000 |9473 | 16k| 0 | 0 |-3.256875e+02 |-4.900000e+01 | 84.95%
296.20/296.34 c 295s| 1 | 0 |144603 | 167M| 0 | 779 |1000 | 37k| 37k|1000 |9383 | 16k| 0 | 0 |-3.231376e+02 |-4.900000e+01 | 84.84%
298.50/298.66 c 297s| 1 | 0 |145933 | 168M| 0 | 786 |1000 | 37k| 37k|1000 |9456 | 16k| 0 | 0 |-3.222458e+02 |-4.900000e+01 | 84.79%
301.10/301.26 c 300s| 1 | 0 |147366 | 169M| 0 | 754 |1000 | 37k| 37k|1000 |9505 | 16k| 0 | 0 |-3.216369e+02 |-4.900000e+01 | 84.77%
303.41/303.56 c 302s| 1 | 0 |148428 | 170M| 0 | 644 |1000 | 37k| 37k|1000 |9513 | 16k| 0 | 0 |-3.215000e+02 |-4.900000e+01 | 84.76%
314.10/314.23 c 313s| 1 | 0 |152266 | 170M| 0 | 785 |1000 | 37k| 37k|1000 |9556 | 16k| 0 | 0 |-3.208781e+02 |-4.900000e+01 | 84.73%
317.80/317.96 c 316s| 1 | 0 |153982 | 171M| 0 | 739 |1000 | 37k| 37k|1000 |9596 | 16k| 0 | 0 |-3.194579e+02 |-4.900000e+01 | 84.66%
321.20/321.39 c 320s| 1 | 0 |155442 | 172M| 0 | 779 |1000 | 37k| 37k|1000 |9286 | 16k| 0 | 0 |-3.184904e+02 |-4.900000e+01 | 84.61%
325.09/325.28 c 324s| 1 | 0 |157258 | 173M| 0 | 759 |1000 | 37k| 37k|1000 |9298 | 16k| 0 | 0 |-3.170275e+02 |-4.900000e+01 | 84.54%
327.99/328.17 c 327s| 1 | 0 |158827 | 175M| 0 | 775 |1000 | 37k| 37k|1000 |9349 | 16k| 0 | 0 |-3.161169e+02 |-4.900000e+01 | 84.50%
331.79/331.95 c 330s| 1 | 0 |160723 | 176M| 0 | 782 |1000 | 37k| 37k|1000 |9447 | 17k| 0 | 0 |-3.150425e+02 |-4.900000e+01 | 84.45%
335.89/336.08 c 335s| 1 | 0 |162801 | 177M| 0 | 790 |1000 | 37k| 37k|1000 |9464 | 17k| 0 | 0 |-3.140098e+02 |-4.900000e+01 | 84.40%
338.69/338.87 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
338.69/338.87 c 337s| 1 | 0 |164223 | 178M| 0 | 786 |1000 | 37k| 37k|1000 |9557 | 17k| 0 | 0 |-3.132215e+02 |-4.900000e+01 | 84.36%
342.59/342.75 c 341s| 1 | 0 |165895 | 179M| 0 | 795 |1000 | 37k| 37k|1000 |9216 | 17k| 0 | 0 |-3.116943e+02 |-4.900000e+01 | 84.28%
345.68/345.82 c 344s| 1 | 0 |167127 | 179M| 0 | 803 |1000 | 37k| 37k|1000 |9227 | 17k| 0 | 0 |-3.112758e+02 |-4.900000e+01 | 84.26%
349.39/349.50 c 348s| 1 | 0 |168953 | 180M| 0 | 807 |1000 | 37k| 37k|1000 |9239 | 17k| 0 | 0 |-3.105646e+02 |-4.900000e+01 | 84.22%
353.99/354.10 c 353s| 1 | 0 |171009 | 180M| 0 | 811 |1000 | 37k| 37k|1000 |9468 | 17k| 0 | 0 |-3.094051e+02 |-4.900000e+01 | 84.16%
358.08/358.27 c 357s| 1 | 0 |172961 | 181M| 0 | 797 |1000 | 37k| 37k|1000 |9539 | 17k| 0 | 0 |-3.084998e+02 |-4.900000e+01 | 84.12%
361.78/361.93 c 360s| 1 | 0 |174382 | 181M| 0 | 794 |1000 | 37k| 37k|1000 |9641 | 17k| 0 | 0 |-3.079970e+02 |-4.900000e+01 | 84.09%
366.38/366.51 c 365s| 1 | 0 |176331 | 182M| 0 | 794 |1000 | 37k| 37k|1000 |9656 | 17k| 0 | 0 |-3.065335e+02 |-4.900000e+01 | 84.01%
370.18/370.38 c 369s| 1 | 0 |178069 | 183M| 0 | 805 |1000 | 37k| 37k|1000 |9690 | 17k| 0 | 0 |-3.056478e+02 |-4.900000e+01 | 83.97%
375.08/375.28 c 374s| 1 | 0 |180242 | 183M| 0 | 801 |1000 | 37k| 37k|1000 |9708 | 17k| 0 | 0 |-3.044832e+02 |-4.900000e+01 | 83.91%
379.78/379.92 c 378s| 1 | 0 |182177 | 183M| 0 | 815 |1000 | 37k| 37k|1000 |9777 | 17k| 0 | 0 |-3.035620e+02 |-4.900000e+01 | 83.86%
385.78/385.95 c 384s| 1 | 0 |184826 | 183M| 0 | 816 |1000 | 37k| 37k|1000 |9889 | 17k| 0 | 0 |-3.022884e+02 |-4.900000e+01 | 83.79%
391.77/391.91 c 390s| 1 | 0 |187128 | 182M| 0 | 827 |1000 | 37k| 37k|1000 |9904 | 17k| 0 | 0 |-3.014023e+02 |-4.900000e+01 | 83.74%
397.08/397.26 c 396s| 1 | 0 |189013 | 182M| 0 | 817 |1000 | 37k| 37k|1000 |9743 | 18k| 0 | 0 |-3.007632e+02 |-4.900000e+01 | 83.71%
403.87/404.01 c 402s| 1 | 0 |192107 | 182M| 0 | 812 |1000 | 37k| 37k|1000 |9836 | 18k| 0 | 0 |-2.994025e+02 |-4.900000e+01 | 83.63%
409.27/409.46 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
409.27/409.46 c 408s| 1 | 0 |194176 | 182M| 0 | 829 |1000 | 37k| 37k|1000 |9958 | 18k| 0 | 0 |-2.986531e+02 |-4.900000e+01 | 83.59%
414.58/414.73 c 413s| 1 | 0 |195936 | 182M| 0 | 842 |1000 | 37k| 37k|1000 | 10k| 18k| 0 | 0 |-2.980110e+02 |-4.900000e+01 | 83.56%
422.17/422.33 c 421s| 1 | 0 |198642 | 182M| 0 | 836 |1000 | 37k| 37k|1000 | 10k| 18k| 0 | 0 |-2.965495e+02 |-4.900000e+01 | 83.48%
428.66/428.84 c 427s| 1 | 0 |200699 | 181M| 0 | 846 |1000 | 37k| 37k|1000 | 10k| 18k| 0 | 0 |-2.957810e+02 |-4.900000e+01 | 83.43%
436.36/436.55 c 435s| 1 | 0 |202822 | 181M| 0 | 836 |1000 | 37k| 37k|1000 |9994 | 18k| 0 | 0 |-2.950811e+02 |-4.900000e+01 | 83.39%
444.26/444.43 c 443s| 1 | 0 |205476 | 181M| 0 | 828 |1000 | 37k| 37k|1000 | 10k| 18k| 0 | 0 |-2.939285e+02 |-4.900000e+01 | 83.33%
450.87/451.01 c 449s| 1 | 0 |207684 | 181M| 0 | 840 |1000 | 37k| 37k|1000 | 10k| 18k| 0 | 0 |-2.928516e+02 |-4.900000e+01 | 83.27%
458.05/458.29 c 456s| 1 | 0 |210120 | 181M| 0 | 839 |1000 | 37k| 37k|1000 | 10k| 18k| 0 | 0 |-2.918570e+02 |-4.900000e+01 | 83.21%
466.46/466.70 c 465s| 1 | 0 |212808 | 181M| 0 | 833 |1000 | 37k| 37k|1000 | 10k| 18k| 0 | 0 |-2.905443e+02 |-4.900000e+01 | 83.14%
474.06/474.28 c 472s| 1 | 0 |215192 | 181M| 0 | 834 |1000 | 37k| 37k|1000 | 10k| 18k| 0 | 0 |-2.897747e+02 |-4.900000e+01 | 83.09%
482.45/482.61 c 481s| 1 | 0 |217639 | 181M| 0 | 856 |1000 | 37k| 37k|1000 | 10k| 18k| 0 | 0 |-2.886883e+02 |-4.900000e+01 | 83.03%
489.15/489.38 c 488s| 1 | 0 |219470 | 181M| 0 | 855 |1000 | 37k| 37k|1000 | 10k| 19k| 0 | 0 |-2.879940e+02 |-4.900000e+01 | 82.99%
495.05/495.26 c 493s| 1 | 0 |221013 | 181M| 0 | 838 |1000 | 37k| 37k|1000 | 10k| 19k| 0 | 0 |-2.871776e+02 |-4.900000e+01 | 82.94%
503.55/503.72 c 502s| 1 | 0 |223798 | 181M| 0 | 869 |1000 | 37k| 37k|1000 | 10k| 19k| 0 | 0 |-2.862247e+02 |-4.900000e+01 | 82.88%
516.14/516.31 c 514s| 1 | 0 |226116 | 181M| 0 | 843 |1000 | 37k| 37k|1000 | 10k| 19k| 0 | 0 |-2.852610e+02 |-4.900000e+01 | 82.82%
524.54/524.73 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
524.54/524.73 c 523s| 1 | 0 |228529 | 181M| 0 | 845 |1000 | 37k| 37k|1000 | 10k| 19k| 0 | 0 |-2.843824e+02 |-4.900000e+01 | 82.77%
532.64/532.83 c 531s| 1 | 0 |230494 | 181M| 0 | 850 |1000 | 37k| 37k|1000 | 10k| 19k| 0 | 0 |-2.838865e+02 |-4.900000e+01 | 82.74%
540.43/540.62 c 539s| 1 | 0 |232271 | 181M| 0 | 858 |1000 | 37k| 37k|1000 | 10k| 19k| 0 | 0 |-2.833941e+02 |-4.900000e+01 | 82.71%
549.33/549.52 c 548s| 1 | 0 |234478 | 181M| 0 | 866 |1000 | 37k| 37k|1000 | 10k| 19k| 0 | 0 |-2.824770e+02 |-4.900000e+01 | 82.65%
559.93/560.19 c 558s| 1 | 0 |236648 | 181M| 0 | 861 |1000 | 37k| 37k|1000 | 10k| 19k| 0 | 0 |-2.814741e+02 |-4.900000e+01 | 82.59%
569.43/569.68 c 568s| 1 | 0 |238442 | 181M| 0 | 863 |1000 | 37k| 37k|1000 | 10k| 19k| 0 | 0 |-2.810222e+02 |-4.900000e+01 | 82.56%
577.53/577.71 c 576s| 1 | 0 |239911 | 181M| 0 | 862 |1000 | 37k| 37k|1000 | 10k| 19k| 0 | 0 |-2.806192e+02 |-4.900000e+01 | 82.54%
586.33/586.57 c 585s| 1 | 0 |241535 | 180M| 0 | 876 |1000 | 37k| 37k|1000 | 10k| 20k| 0 | 0 |-2.801678e+02 |-4.900000e+01 | 82.51%
597.42/597.60 c 596s| 1 | 0 |243861 | 180M| 0 | 876 |1000 | 37k| 37k|1000 | 10k| 20k| 0 | 0 |-2.793957e+02 |-4.900000e+01 | 82.46%
608.92/609.11 c 607s| 1 | 0 |246432 | 180M| 0 | 868 |1000 | 37k| 37k|1000 | 10k| 20k| 0 | 0 |-2.786396e+02 |-4.900000e+01 | 82.41%
619.71/619.96 c 618s| 1 | 0 |248629 | 180M| 0 | 876 |1000 | 37k| 37k|1000 | 10k| 20k| 0 | 0 |-2.779533e+02 |-4.900000e+01 | 82.37%
630.21/630.48 c 628s| 1 | 0 |250637 | 180M| 0 | 880 |1000 | 37k| 37k|1000 | 10k| 20k| 0 | 0 |-2.770378e+02 |-4.900000e+01 | 82.31%
641.90/642.14 c 640s| 1 | 0 |252665 | 179M| 0 | 874 |1000 | 37k| 37k|1000 | 10k| 20k| 0 | 0 |-2.762782e+02 |-4.900000e+01 | 82.26%
652.50/652.74 c 651s| 1 | 0 |254171 | 179M| 0 | 880 |1000 | 37k| 37k|1000 | 10k| 20k| 0 | 0 |-2.759383e+02 |-4.900000e+01 | 82.24%
663.70/663.92 c 662s| 1 | 0 |256425 | 179M| 0 | 879 |1000 | 37k| 37k|1000 | 10k| 20k| 0 | 0 |-2.753327e+02 |-4.900000e+01 | 82.20%
674.49/674.76 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
674.49/674.76 c 673s| 1 | 0 |258142 | 179M| 0 | 886 |1000 | 37k| 37k|1000 | 10k| 20k| 0 | 0 |-2.749505e+02 |-4.900000e+01 | 82.18%
686.09/686.36 c 684s| 1 | 0 |260312 | 179M| 0 | 885 |1000 | 37k| 37k|1000 | 10k| 20k| 0 | 0 |-2.744602e+02 |-4.900000e+01 | 82.15%
698.78/699.05 c 697s| 1 | 0 |262373 | 179M| 0 | 892 |1000 | 37k| 37k|1000 | 10k| 20k| 0 | 0 |-2.737725e+02 |-4.900000e+01 | 82.10%
713.18/713.45 c 711s| 1 | 0 |264628 | 179M| 0 | 902 |1000 | 37k| 37k|1000 | 10k| 20k| 0 | 0 |-2.731003e+02 |-4.900000e+01 | 82.06%
728.18/728.47 c 726s| 1 | 0 |266507 | 178M| 0 | 894 |1000 | 37k| 37k|1000 | 10k| 20k| 0 | 0 |-2.726027e+02 |-4.900000e+01 | 82.03%
741.97/742.26 c 740s| 1 | 0 |268459 | 178M| 0 | 898 |1000 | 37k| 37k|1000 | 10k| 20k| 0 | 0 |-2.719842e+02 |-4.900000e+01 | 81.98%
757.97/758.23 c 756s| 1 | 0 |270868 | 178M| 0 | 886 |1000 | 37k| 37k|1000 | 10k| 20k| 0 | 0 |-2.710278e+02 |-4.900000e+01 | 81.92%
769.96/770.26 c 768s| 1 | 0 |272055 | 178M| 0 | 893 |1000 | 37k| 37k|1000 | 10k| 20k| 0 | 0 |-2.707597e+02 |-4.900000e+01 | 81.90%
785.26/785.59 c 783s| 1 | 0 |274068 | 178M| 0 | 897 |1000 | 37k| 37k|1000 | 10k| 20k| 0 | 0 |-2.703453e+02 |-4.900000e+01 | 81.88%
801.06/801.35 c 799s| 1 | 0 |276275 | 178M| 0 | 896 |1000 | 37k| 37k|1000 | 10k| 20k| 0 | 0 |-2.697805e+02 |-4.900000e+01 | 81.84%
817.95/818.21 c 816s| 1 | 0 |278483 | 178M| 0 | 904 |1000 | 37k| 37k|1000 | 10k| 21k| 0 | 0 |-2.691923e+02 |-4.900000e+01 | 81.80%
833.64/833.97 c 832s| 1 | 0 |280559 | 178M| 0 | 911 |1000 | 37k| 37k|1000 | 10k| 21k| 0 | 0 |-2.687145e+02 |-4.900000e+01 | 81.77%
851.15/851.48 c 849s| 1 | 0 |283082 | 178M| 0 | 908 |1000 | 37k| 37k|1000 | 10k| 21k| 0 | 0 |-2.678991e+02 |-4.900000e+01 | 81.71%
866.04/866.32 c 864s| 1 | 0 |284784 | 178M| 0 | 908 |1000 | 37k| 37k|1000 | 10k| 21k| 0 | 0 |-2.672135e+02 |-4.900000e+01 | 81.66%
881.94/882.22 c 880s| 1 | 0 |286860 | 177M| 0 | 909 |1000 | 37k| 37k|1000 | 11k| 21k| 0 | 0 |-2.666062e+02 |-4.900000e+01 | 81.62%
897.03/897.35 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
897.03/897.35 c 895s| 1 | 0 |288538 | 177M| 0 | 922 |1000 | 37k| 37k|1000 | 11k| 21k| 0 | 0 |-2.661684e+02 |-4.900000e+01 | 81.59%
915.53/915.85 c 913s| 1 | 0 |290809 | 177M| 0 | 912 |1000 | 37k| 37k|1000 | 10k| 21k| 0 | 0 |-2.656240e+02 |-4.900000e+01 | 81.55%
930.92/931.28 c 929s| 1 | 0 |292625 | 176M| 0 | 920 |1000 | 37k| 37k|1000 | 10k| 21k| 0 | 0 |-2.652692e+02 |-4.900000e+01 | 81.53%
946.41/946.75 c 944s| 1 | 0 |294425 | 175M| 0 | 916 |1000 | 37k| 37k|1000 | 11k| 21k| 0 | 0 |-2.649584e+02 |-4.900000e+01 | 81.51%
961.21/961.51 c 959s| 1 | 0 |295931 | 175M| 0 | 916 |1000 | 37k| 37k|1000 | 11k| 21k| 0 | 0 |-2.646364e+02 |-4.900000e+01 | 81.48%
976.91/977.27 c 975s| 1 | 0 |297796 | 175M| 0 | 919 |1000 | 37k| 37k|1000 | 11k| 21k| 0 | 0 |-2.642826e+02 |-4.900000e+01 | 81.46%
993.20/993.53 c 991s| 1 | 0 |299780 | 175M| 0 | 927 |1000 | 37k| 37k|1000 | 11k| 21k| 0 | 0 |-2.638612e+02 |-4.900000e+01 | 81.43%
1008.60/1008.96 c 1006s| 1 | 0 |301063 | 174M| 0 | 934 |1000 | 37k| 37k|1000 | 10k| 21k| 0 | 0 |-2.636479e+02 |-4.900000e+01 | 81.41%
1022.61/1022.92 c 1020s| 1 | 0 |302189 | 174M| 0 | 929 |1000 | 37k| 37k|1000 | 11k| 21k| 0 | 0 |-2.635179e+02 |-4.900000e+01 | 81.41%
1037.99/1038.37 c 1036s| 1 | 0 |303964 | 174M| 0 | 928 |1000 | 37k| 37k|1000 | 11k| 21k| 0 | 0 |-2.632122e+02 |-4.900000e+01 | 81.38%
1052.99/1053.32 c 1051s| 1 | 0 |305517 | 174M| 0 | 922 |1000 | 37k| 37k|1000 | 11k| 21k| 0 | 0 |-2.629161e+02 |-4.900000e+01 | 81.36%
1068.59/1069.00 c 1066s| 1 | 0 |307232 | 173M| 0 | 932 |1000 | 37k| 37k|1000 | 11k| 21k| 0 | 0 |-2.624844e+02 |-4.900000e+01 | 81.33%
1085.08/1085.45 c 1083s| 1 | 0 |309104 | 173M| 0 | 936 |1000 | 37k| 37k|1000 | 11k| 21k| 0 | 0 |-2.619412e+02 |-4.900000e+01 | 81.29%
1100.28/1100.67 c 1098s| 1 | 0 |310196 | 173M| 0 | 938 |1000 | 37k| 37k|1000 | 11k| 21k| 0 | 0 |-2.617646e+02 |-4.900000e+01 | 81.28%
1114.67/1115.09 c 1112s| 1 | 0 |311285 | 172M| 0 | 939 |1000 | 37k| 37k|1000 | 11k| 21k| 0 | 0 |-2.615422e+02 |-4.900000e+01 | 81.26%
1130.07/1130.49 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1130.07/1130.49 c 1128s| 1 | 0 |312566 | 171M| 0 | 939 |1000 | 37k| 37k|1000 | 11k| 21k| 0 | 0 |-2.612506e+02 |-4.900000e+01 | 81.24%
1145.67/1146.00 c 1143s| 1 | 0 |314035 | 171M| 0 | 929 |1000 | 37k| 37k|1000 | 11k| 21k| 0 | 0 |-2.608669e+02 |-4.900000e+01 | 81.22%
1162.66/1163.02 c 1160s| 1 | 0 |316062 | 170M| 0 | 943 |1000 | 37k| 37k|1000 | 11k| 21k| 0 | 0 |-2.603567e+02 |-4.900000e+01 | 81.18%
1179.56/1179.92 c 1177s| 1 | 0 |317820 | 169M| 0 | 936 |1000 | 37k| 37k|1000 | 11k| 22k| 0 | 0 |-2.599984e+02 |-4.900000e+01 | 81.15%
1198.75/1199.15 c 1196s| 1 | 0 |320114 | 169M| 0 | 937 |1000 | 37k| 37k|1000 | 11k| 22k| 0 | 0 |-2.594589e+02 |-4.900000e+01 | 81.11%
1214.05/1214.47 c 1212s| 1 | 0 |321293 | 168M| 0 | 943 |1000 | 37k| 37k|1000 | 11k| 22k| 0 | 0 |-2.592267e+02 |-4.900000e+01 | 81.10%
1230.05/1230.48 c 1228s| 1 | 0 |322744 | 168M| 0 | 948 |1000 | 37k| 37k|1000 | 11k| 22k| 0 | 0 |-2.589566e+02 |-4.900000e+01 | 81.08%
1245.94/1246.34 c 1244s| 1 | 0 |324092 | 167M| 0 | 937 |1000 | 37k| 37k|1000 | 11k| 22k| 0 | 0 |-2.585547e+02 |-4.900000e+01 | 81.05%
1261.34/1261.71 c 1259s| 1 | 0 |325353 | 167M| 0 | 943 |1000 | 37k| 37k|1000 | 11k| 22k| 0 | 0 |-2.583000e+02 |-4.900000e+01 | 81.03%
1276.94/1277.30 c 1274s| 1 | 0 |326575 | 165M| 0 | 947 |1000 | 37k| 37k|1000 | 11k| 22k| 0 | 0 |-2.580533e+02 |-4.900000e+01 | 81.01%
1292.93/1293.34 c 1290s| 1 | 0 |327610 | 164M| 0 | 942 |1000 | 37k| 37k|1000 | 11k| 22k| 0 | 0 |-2.578461e+02 |-4.900000e+01 | 81.00%
1308.63/1309.05 c 1306s| 1 | 0 |328863 | 163M| 0 | 947 |1000 | 37k| 37k|1000 | 11k| 22k| 0 | 0 |-2.575714e+02 |-4.900000e+01 | 80.98%
1323.01/1323.44 c 1320s| 1 | 0 |329757 | 162M| 0 | 950 |1000 | 37k| 37k|1000 | 11k| 22k| 0 | 0 |-2.573796e+02 |-4.900000e+01 | 80.96%
1338.91/1339.34 c 1336s| 1 | 0 |331124 | 162M| 0 | 949 |1000 | 37k| 37k|1000 | 11k| 22k| 0 | 0 |-2.571409e+02 |-4.900000e+01 | 80.94%
1356.11/1356.53 c 1354s| 1 | 0 |332787 | 162M| 0 | 952 |1000 | 37k| 37k|1000 | 11k| 22k| 0 | 0 |-2.568489e+02 |-4.900000e+01 | 80.92%
1370.41/1370.88 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1370.41/1370.88 c 1368s| 1 | 0 |333576 | 161M| 0 | 953 |1000 | 37k| 37k|1000 | 11k| 22k| 0 | 0 |-2.567170e+02 |-4.900000e+01 | 80.91%
1386.80/1387.26 c 1384s| 1 | 0 |334616 | 159M| 0 | 958 |1000 | 37k| 37k|1000 | 11k| 22k| 0 | 0 |-2.564693e+02 |-4.900000e+01 | 80.89%
1401.30/1401.74 c 1399s| 1 | 0 |335311 | 158M| 0 | 960 |1000 | 37k| 37k|1000 | 11k| 22k| 0 | 0 |-2.563506e+02 |-4.900000e+01 | 80.89%
1416.40/1416.81 c 1414s| 1 | 0 |336317 | 157M| 0 | 966 |1000 | 37k| 37k|1000 | 11k| 22k| 0 | 0 |-2.561737e+02 |-4.900000e+01 | 80.87%
1430.79/1431.29 c 1428s| 1 | 0 |336999 | 156M| 0 | 967 |1000 | 37k| 37k|1000 | 11k| 22k| 0 | 0 |-2.560211e+02 |-4.900000e+01 | 80.86%
1445.18/1445.63 c 1442s| 1 | 0 |337759 | 156M| 0 | 965 |1000 | 37k| 37k|1000 | 11k| 22k| 0 | 0 |-2.558620e+02 |-4.900000e+01 | 80.85%
1460.28/1460.76 c 1458s| 1 | 0 |338750 | 155M| 0 | 966 |1000 | 37k| 37k|1000 | 11k| 22k| 0 | 0 |-2.555906e+02 |-4.900000e+01 | 80.83%
1477.07/1477.55 c 1474s| 1 | 0 |339810 | 154M| 0 | 960 |1000 | 37k| 37k|1000 | 11k| 22k| 0 | 0 |-2.553570e+02 |-4.900000e+01 | 80.81%
1491.67/1492.19 c 1489s| 1 | 0 |340474 | 152M| 0 | 961 |1000 | 37k| 37k|1000 | 11k| 22k| 0 | 0 |-2.551926e+02 |-4.900000e+01 | 80.80%
1506.96/1507.44 c 1504s| 1 | 0 |341396 | 151M| 0 | 964 |1000 | 37k| 37k|1000 | 11k| 22k| 0 | 0 |-2.549659e+02 |-4.900000e+01 | 80.78%
1522.96/1523.41 c 1520s| 1 | 0 |342620 | 150M| 0 | 961 |1000 | 37k| 37k|1000 | 11k| 22k| 0 | 0 |-2.547154e+02 |-4.900000e+01 | 80.76%
1539.06/1539.58 c 1536s| 1 | 0 |343785 | 149M| 0 | 963 |1000 | 37k| 37k|1000 | 11k| 22k| 0 | 0 |-2.544185e+02 |-4.900000e+01 | 80.74%
1555.45/1555.94 c 1552s| 1 | 0 |345002 | 148M| 0 | 967 |1000 | 37k| 37k|1000 | 11k| 22k| 0 | 0 |-2.541561e+02 |-4.900000e+01 | 80.72%
1572.75/1573.23 c 1570s| 1 | 0 |346108 | 146M| 0 | 963 |1000 | 37k| 37k|1000 | 11k| 22k| 0 | 0 |-2.539009e+02 |-4.900000e+01 | 80.70%
1588.84/1589.33 c 1586s| 1 | 0 |347276 | 146M| 0 | 966 |1000 | 37k| 37k|1000 | 11k| 22k| 0 | 0 |-2.536623e+02 |-4.900000e+01 | 80.68%
1606.14/1606.63 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1606.14/1606.63 c 1603s| 1 | 0 |348899 | 145M| 0 | 966 |1000 | 37k| 37k|1000 | 11k| 22k| 0 | 0 |-2.532385e+02 |-4.900000e+01 | 80.65%
1621.63/1622.14 c 1619s| 1 | 0 |349956 | 145M| 0 | 968 |1000 | 37k| 37k|1000 | 11k| 22k| 0 | 0 |-2.530127e+02 |-4.900000e+01 | 80.63%
1637.63/1638.19 c 1635s| 1 | 0 |350907 | 145M| 0 | 974 |1000 | 37k| 37k|1000 | 11k| 22k| 0 | 0 |-2.528798e+02 |-4.900000e+01 | 80.62%
1653.03/1653.53 c 1650s| 1 | 0 |351778 | 145M| 0 | 977 |1000 | 37k| 37k|1000 | 11k| 22k| 0 | 0 |-2.527476e+02 |-4.900000e+01 | 80.61%
1670.02/1670.59 c 1667s| 1 | 0 |352742 | 144M| 0 | 974 |1000 | 37k| 37k|1000 | 11k| 22k| 0 | 0 |-2.525691e+02 |-4.900000e+01 | 80.60%
1686.12/1686.62 c 1683s| 1 | 0 |353673 | 143M| 0 | 968 |1000 | 37k| 37k|1000 | 11k| 22k| 0 | 0 |-2.523565e+02 |-4.900000e+01 | 80.58%
1701.71/1702.28 c 1698s| 1 | 0 |354594 | 143M| 0 | 968 |1000 | 37k| 37k|1000 | 11k| 22k| 0 | 0 |-2.521208e+02 |-4.900000e+01 | 80.56%
1716.41/1716.98 c 1713s| 1 | 0 |355257 | 143M| 0 | 972 |1000 | 37k| 37k|1000 | 11k| 22k| 0 | 0 |-2.519794e+02 |-4.900000e+01 | 80.55%
1732.11/1732.64 c 1729s| 1 | 0 |356136 | 143M| 0 | 978 |1000 | 37k| 37k|1000 | 11k| 22k| 0 | 0 |-2.517979e+02 |-4.900000e+01 | 80.54%
1747.00/1747.54 c 1744s| 1 | 0 |356742 | 143M| 0 | 973 |1000 | 37k| 37k|1000 | 11k| 22k| 0 | 0 |-2.516954e+02 |-4.900000e+01 | 80.53%
1765.00/1765.52 c 1762s| 1 | 0 |357820 | 143M| 0 | 974 |1000 | 37k| 37k|1000 | 11k| 22k| 0 | 0 |-2.514952e+02 |-4.900000e+01 | 80.52%
1780.09/1780.69 c 1777s| 1 | 0 |358348 | 143M| 0 | 976 |1000 | 37k| 37k|1000 | 11k| 22k| 0 | 0 |-2.514046e+02 |-4.900000e+01 | 80.51%
1794.39/1794.96 c 1791s| 1 | 0 |358723 | 143M| 0 | - |1000 | 37k| 37k|1000 | 11k| 22k| 0 | 0 |-2.514046e+02 |-4.900000e+01 | 80.51%
1794.39/1794.98 c 1791s| 1 | 2 |358723 | 143M| 0 | - |1000 | 37k| 37k|1000 | 11k| 22k| 0 | 0 |-2.514046e+02 |-4.900000e+01 | 80.51%
1794.39/1794.98 c
1794.39/1794.98 c SCIP Status : solving was interrupted [time limit reached]
1794.39/1794.98 c Solving Time (sec) : 1791.01
1794.39/1794.98 c Solving Nodes : 1
1794.39/1794.98 c Primal Bound : -4.90000000000000e+01 (2 solutions)
1794.39/1794.98 c Dual Bound : -2.51404582976401e+02
1794.39/1794.98 c Gap : 80.51 %
1794.49/1795.05 c NODE 1
1794.49/1795.05 c DUAL BOUND -251.405
1794.49/1795.05 c PRIMAL BOUND -49
1794.49/1795.05 c GAP 0.805095
1794.49/1795.05 s SATISFIABLE
1794.49/1795.05 v -x1000 -x999 -x998 -x997 -x996 -x995 -x994 -x993 -x992 -x991 -x990 -x989 -x988 -x987 -x986 -x985 -x984 -x983 -x982 -x981 -x980
1794.49/1795.05 v -x979 -x978 -x977 -x976 -x975 -x974 -x973 -x972 -x971 -x970 -x969 -x968 -x967 -x966 -x965 -x964 -x963 -x962 -x961 -x960 -x959
1794.49/1795.05 v -x958 -x957 -x956 -x955 -x954 -x953 -x952 -x951 -x950 x949 -x948 -x947 -x946 -x945 -x944 -x943 -x942 -x941 -x940 -x939 -x938
1794.49/1795.05 v x937 -x936 -x935 -x934 -x933 -x932 -x931 -x930 -x929 -x928 -x927 -x926 -x925 -x924 -x923 -x922 -x921 -x920 -x919 -x918 -x917
1794.49/1795.05 v x916 -x915 -x914 -x913 -x912 x911 -x910 -x909 -x908 -x907 -x906 -x905 -x904 -x903 -x902 -x901 -x900 -x899 -x898 -x897 -x896
1794.49/1795.05 v -x895 -x894 -x893 -x892 -x891 -x890 -x889 -x888 -x887 -x886 -x885 x884 -x883 -x882 -x881 -x880 -x879 -x878 -x877 -x876 -x875
1794.49/1795.05 v -x874 -x873 -x872 -x871 -x870 -x869 -x868 -x867 -x866 -x865 -x864 -x863 -x862 -x861 -x860 -x859 -x858 -x857 x856 -x855 -x854
1794.49/1795.05 v -x853 x852 -x851 -x850 -x849 -x848 -x847 -x846 -x845 -x844 -x843 -x842 -x841 -x840 -x839 -x838 -x837 -x836 -x835 -x834 -x833
1794.49/1795.05 v -x832 -x831 -x830 -x829 -x828 -x827 -x826 -x825 -x824 -x823 -x822 -x821 -x820 -x819 -x818 -x817 -x816 -x815 -x814 -x813 -x812
1794.49/1795.05 v -x811 -x810 -x809 -x808 -x807 -x806 -x805 -x804 -x803 -x802 x801 -x800 -x799 -x798 -x797 -x796 -x795 -x794 -x793 -x792 -x791
1794.49/1795.05 v -x790 -x789 -x788 -x787 -x786 -x785 -x784 -x783 -x782 -x781 -x780 -x779 -x778 -x777 -x776 -x775 -x774 -x773 -x772 -x771 -x770
1794.49/1795.05 v -x769 -x768 -x767 -x766 -x765 -x764 -x763 -x762 -x761 -x760 -x759 -x758 -x757 -x756 -x755 -x754 -x753 -x752 -x751 -x750 -x749
1794.49/1795.05 v -x748 -x747 -x746 -x745 -x744 -x743 -x742 -x741 -x740 x739 -x738 -x737 -x736 -x735 -x734 -x733 -x732 -x731 -x730 -x729 -x728
1794.49/1795.05 v -x727 -x726 -x725 -x724 -x723 -x722 -x721 -x720 -x719 -x718 -x717 -x716 -x715 -x714 -x713 -x712 -x711 -x710 -x709 -x708 -x707
1794.49/1795.05 v -x706 -x705 -x704 -x703 -x702 -x701 -x700 -x699 -x698 -x697 -x696 -x695 -x694 -x693 -x692 -x691 -x690 x689 -x688 -x687 -x686
1794.49/1795.05 v -x685 -x684 -x683 -x682 -x681 -x680 -x679 -x678 -x677 -x676 -x675 -x674 -x673 -x672 -x671 -x670 -x669 -x668 -x667 -x666 -x665
1794.49/1795.05 v -x664 -x663 -x662 -x661 -x660 x659 -x658 -x657 -x656 -x655 -x654 -x653 -x652 -x651 -x650 -x649 -x648 -x647 -x646 -x645 -x644
1794.49/1795.05 v -x643 -x642 -x641 -x640 -x639 -x638 -x637 -x636 -x635 -x634 x633 -x632 -x631 x630 -x629 -x628 -x627 -x626 -x625 -x624 -x623
1794.49/1795.05 v -x622 -x621 -x620 -x619 -x618 -x617 -x616 -x615 -x614 -x613 -x612 -x611 -x610 -x609 -x608 -x607 -x606 -x605 -x604 -x603 -x602
1794.49/1795.05 v -x601 -x600 -x599 -x598 -x597 -x596 -x595 -x594 -x593 -x592 -x591 -x590 -x589 -x588 -x587 -x586 -x585 -x584 -x583 -x582
1794.49/1795.05 v -x581 -x580 -x579 -x578 -x577 -x576 -x575 -x574 -x573 -x572 -x571 -x570 -x569 -x568 -x567 -x566 -x565 -x564 -x563 -x562 -x561
1794.49/1795.05 v -x560 -x559 -x558 -x557 -x556 -x555 x554 -x553 -x552 -x551 -x550 -x549 -x548 -x547 -x546 -x545 -x544 -x543 -x542 -x541 -x540
1794.49/1795.05 v -x539 -x538 -x537 -x536 -x535 -x534 -x533 -x532 -x531 -x530 -x529 -x528 -x527 -x526 -x525 -x524 -x523 -x522 -x521 -x520 -x519
1794.49/1795.05 v -x518 -x517 -x516 -x515 -x514 -x513 x512 -x511 -x510 -x509 -x508 -x507 -x506 -x505 -x504 -x503 -x502 -x501 -x500 -x499 -x498
1794.49/1795.05 v -x497 -x496 -x495 -x494 -x493 -x492 -x491 -x490 -x489 -x488 -x487 -x486 -x485 -x484 -x483 -x482 -x481 -x480 -x479 -x478 -x477
1794.49/1795.05 v -x476 -x475 -x474 -x473 -x472 -x471 -x470 -x469 -x468 -x467 -x466 -x465 -x464 -x463 -x462 -x461 -x460 -x459 -x458 -x457 -x456
1794.49/1795.05 v -x455 -x454 -x453 -x452 -x451 -x450 x449 -x448 x447 -x446 -x445 -x444 -x443 -x442 x441 -x440 -x439 -x438 -x437 -x436 -x435
1794.49/1795.05 v -x434 -x433 -x432 -x431 -x430 -x429 -x428 -x427 -x426 -x425 -x424 -x423 -x422 -x421 -x420 -x419 -x418 -x417 -x416 -x415 -x414
1794.49/1795.05 v -x413 -x412 -x411 -x410 -x409 -x408 -x407 -x406 -x405 -x404 -x403 -x402 -x401 -x400 -x399 -x398 -x397 -x396 -x395 x394 -x393
1794.49/1795.05 v -x392 -x391 -x390 -x389 x388 -x387 -x386 -x385 -x384 -x383 -x382 -x381 -x380 -x379 -x378 -x377 -x376 -x375 -x374 -x373 -x372
1794.49/1795.05 v -x371 -x370 -x369 -x368 -x367 -x366 x365 -x364 -x363 -x362 -x361 -x360 -x359 -x358 -x357 -x356 -x355 -x354 -x353 -x352 -x351
1794.49/1795.05 v -x350 -x349 -x348 -x347 -x346 -x345 x344 -x343 -x342 -x341 -x340 -x339 -x338 -x337 -x336 -x335 -x334 -x333 -x332 -x331 -x330
1794.49/1795.05 v -x329 -x328 -x327 -x326 -x325 -x324 -x323 -x322 -x321 -x320 -x319 -x318 -x317 -x316 -x315 -x314 -x313 -x312 -x311 -x310 -x309
1794.49/1795.05 v -x308 -x307 -x306 -x305 -x304 -x303 -x302 -x301 -x300 -x299 -x298 -x297 -x296 -x295 -x294 -x293 -x292 -x291 -x290 -x289 -x288
1794.49/1795.05 v -x287 -x286 -x285 -x284 -x283 -x282 -x281 -x280 -x279 -x278 -x277 -x276 -x275 -x274 -x273 -x272 -x271 -x270 -x269 -x268
1794.49/1795.05 v -x267 -x266 -x265 -x264 -x263 -x262 -x261 -x260 -x259 -x258 -x257 -x256 -x255 -x254 -x253 -x252 -x251 -x250 -x249 -x248 -x247
1794.49/1795.05 v -x246 -x245 -x244 -x243 x242 -x241 x240 -x239 -x238 -x237 -x236 -x235 -x234 -x233 -x232 -x231 -x230 -x229 -x228 -x227 -x226
1794.49/1795.05 v -x225 -x224 x223 -x222 -x221 -x220 -x219 -x218 -x217 -x216 -x215 -x214 -x213 -x212 -x211 -x210 -x209 -x208 -x207 -x206 -x205
1794.49/1795.05 v -x204 -x203 -x202 -x201 -x200 x199 -x198 -x197 x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189 -x188 -x187 -x186 -x185 -x184 -x183
1794.49/1795.05 v -x182 -x181 -x180 -x179 -x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168 x167 -x166 -x165 -x164 -x163 -x162
1794.49/1795.05 v -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 x152 -x151 -x150 -x149 x148 -x147 -x146 -x145 -x144 -x143 -x142 -x141
1794.49/1795.05 v -x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 x128 -x127 -x126 -x125 x124 -x123 -x122 -x121 -x120
1794.49/1795.05 v -x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 x108 -x107 -x106 -x105 x104 -x103 -x102 -x101 -x100 -x99
1794.49/1795.05 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
1794.49/1795.05 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
1794.49/1795.05 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
1794.49/1795.05 v -x20 -x19 -x18 -x17 -x16 -x15 -x14 -x13 -x12 -x11 -x10 -x9 -x8 x7 -x6 -x5 -x4 -x3 x2 -x1
1794.49/1795.05 c SCIP Status : solving was interrupted [time limit reached]
1794.49/1795.05 c Solving Time : 1791.01
1794.49/1795.05 c Original Problem :
1794.49/1795.05 c Problem name : HOME/instance-1870347-1245199036.opb
1794.49/1795.05 c Variables : 38643 (38643 binary, 0 integer, 0 implicit integer, 0 continuous)
1794.49/1795.05 c Constraints : 38643 initial, 38643 maximal
1794.49/1795.05 c Presolved Problem :
1794.49/1795.05 c Problem name : t_HOME/instance-1870347-1245199036.opb
1794.49/1795.05 c Variables : 1000 (1000 binary, 0 integer, 0 implicit integer, 0 continuous)
1794.49/1795.05 c Constraints : 37643 initial, 37643 maximal
1794.49/1795.05 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1794.49/1795.05 c trivial : 0.01 0 0 0 0 0 0 0 0
1794.49/1795.05 c dualfix : 0.00 0 0 0 0 0 0 0 0
1794.49/1795.05 c boundshift : 0.00 0 0 0 0 0 0 0 0
1794.49/1795.05 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1794.49/1795.05 c implics : 0.01 0 0 0 0 0 0 0 0
1794.49/1795.05 c probing : 2.25 0 0 0 0 0 0 0 0
1794.49/1795.05 c and : 1.01 0 0 0 0 0 0 0 0
1794.49/1795.05 c linear : 0.26 37643 0 0 37643 0 1000 0 0
1794.49/1795.05 c root node : - 0 - - 0 - - - -
1794.49/1795.05 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1794.49/1795.05 c integral : 0 0 0 0 0 0 0 0 0 0
1794.49/1795.05 c and : 37643 235 201 0 1 0 0 32419 0 0
1794.49/1795.05 c countsols : 0 0 0 0 1 0 0 0 0 0
1794.49/1795.05 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1794.49/1795.05 c integral : 0.00 0.00 0.00 0.00 0.00
1794.49/1795.05 c and : 13.34 11.52 1.82 0.00 0.00
1794.49/1795.05 c countsols : 0.00 0.00 0.00 0.00 0.00
1794.49/1795.05 c Propagators : Time Calls Cutoffs DomReds
1794.49/1795.05 c rootredcost : 0.00 0 0 0
1794.49/1795.05 c pseudoobj : 0.01 236 0 0
1794.49/1795.05 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1794.49/1795.05 c propagation : 0.00 0 0 0 0.0 0 0.0 -
1794.49/1795.05 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1794.49/1795.05 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1794.49/1795.05 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1794.49/1795.05 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1794.49/1795.05 c applied globally : - - - 0 0.0 - - -
1794.49/1795.05 c applied locally : - - - 0 0.0 - - -
1794.49/1795.05 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1794.49/1795.05 c cut pool : 1.74 234 - - 3795 - (maximal pool size: 12917)
1794.49/1795.05 c redcost : 0.03 235 0 0 0 0
1794.49/1795.05 c impliedbounds : 0.85 232 0 0 20738 0
1794.49/1795.05 c intobj : 0.00 0 0 0 0 0
1794.49/1795.05 c gomory : 944.96 231 0 0 84015 0
1794.49/1795.05 c strongcg : 4.38 20 0 0 10000 0
1794.49/1795.05 c cmir : 5.69 10 0 0 0 0
1794.49/1795.05 c flowcover : 5.18 10 0 0 0 0
1794.49/1795.05 c clique : 12.88 230 0 0 2055 0
1794.49/1795.05 c zerohalf : 0.00 0 0 0 0 0
1794.49/1795.05 c mcf : 0.10 1 0 0 0 0
1794.49/1795.05 c Pricers : Time Calls Vars
1794.49/1795.05 c problem variables: 0.00 0 0
1794.49/1795.05 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1794.49/1795.05 c relpscost : 0.00 0 0 0 0 0 0
1794.49/1795.05 c pscost : 0.00 0 0 0 0 0 0
1794.49/1795.05 c inference : 0.00 1 0 0 0 0 2
1794.49/1795.05 c mostinf : 0.00 0 0 0 0 0 0
1794.49/1795.05 c leastinf : 0.00 0 0 0 0 0 0
1794.49/1795.05 c fullstrong : 0.00 0 0 0 0 0 0
1794.49/1795.05 c allfullstrong : 0.00 0 0 0 0 0 0
1794.49/1795.05 c random : 0.00 0 0 0 0 0 0
1794.49/1795.05 c Primal Heuristics : Time Calls Found
1794.49/1795.05 c LP solutions : 0.00 - 0
1794.49/1795.05 c pseudo solutions : 0.00 - 0
1794.49/1795.05 c simplerounding : 0.00 0 0
1794.49/1795.05 c rounding : 4.82 235 2
1794.49/1795.05 c shifting : 2.91 100 0
1794.49/1795.05 c intshifting : 0.00 0 0
1794.49/1795.05 c oneopt : 0.01 1 0
1794.49/1795.05 c fixandinfer : 0.00 0 0
1794.49/1795.05 c feaspump : 0.00 0 0
1794.49/1795.05 c coefdiving : 0.00 0 0
1794.49/1795.05 c pscostdiving : 0.00 0 0
1794.49/1795.05 c fracdiving : 0.00 0 0
1794.49/1795.05 c veclendiving : 0.00 0 0
1794.49/1795.05 c intdiving : 0.00 0 0
1794.49/1795.05 c actconsdiving : 0.00 0 0
1794.49/1795.05 c objpscostdiving : 0.00 0 0
1794.49/1795.05 c rootsoldiving : 0.00 0 0
1794.49/1795.05 c linesearchdiving : 0.00 0 0
1794.49/1795.05 c guideddiving : 0.00 0 0
1794.49/1795.05 c octane : 0.00 0 0
1794.49/1795.05 c rens : 0.00 0 0
1794.49/1795.05 c rins : 0.00 0 0
1794.49/1795.05 c localbranching : 0.00 0 0
1794.49/1795.05 c mutation : 0.00 0 0
1794.49/1795.05 c crossover : 0.00 0 0
1794.49/1795.05 c dins : 0.00 0 0
1794.49/1795.05 c LP : Time Calls Iterations Iter/call Iter/sec
1794.49/1795.05 c primal LP : 19.28 0 0 0.00 0.00
1794.49/1795.05 c dual LP : 757.00 236 358723 1520.01 473.87
1794.49/1795.05 c barrier LP : 0.00 0 0 0.00 -
1794.49/1795.05 c diving/probing LP: 0.00 0 0 0.00 -
1794.49/1795.05 c strong branching : 0.00 0 0 0.00 -
1794.49/1795.05 c (at root node) : - 0 0 0.00 -
1794.49/1795.05 c conflict analysis: 0.00 0 0 0.00 -
1794.49/1795.05 c B&B Tree :
1794.49/1795.05 c number of runs : 1
1794.49/1795.05 c nodes : 1
1794.49/1795.05 c nodes (total) : 1
1794.49/1795.05 c nodes left : 2
1794.49/1795.05 c max depth : 0
1794.49/1795.05 c max depth (total): 0
1794.49/1795.05 c backtracks : 0 (0.0%)
1794.49/1795.05 c delayed cutoffs : 0
1794.49/1795.05 c repropagations : 0 (0 domain reductions, 0 cutoffs)
1794.49/1795.05 c avg switch length: 1.00
1794.49/1795.05 c switching time : 0.00
1794.49/1795.05 c Solution :
1794.49/1795.05 c Solutions found : 2 (2 improvements)
1794.49/1795.05 c Primal Bound : -4.90000000000000e+01 (in run 1, after 1 nodes, 21.75 seconds, depth 0, found by <rounding>)
1794.49/1795.05 c Dual Bound : -2.51404582976401e+02
1794.49/1795.05 c Gap : 80.51 %
1794.49/1795.05 c Root Dual Bound : -2.51404582976401e+02
1794.89/1795.40 c Time complete: 1794.89.
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1870347-1245199036/watcher-1870347-1245199036 -o /tmp/evaluation-result-1870347-1245199036/solver-1870347-1245199036 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.clp -t 1800 -m 1800 -f HOME/instance-1870347-1245199036.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: 1.00 1.00 1.00 3/67 11354
/proc/meminfo: memFree=1637600/2055920 swapFree=4192956/4192956
[pid=11354] ppid=11352 vsize=5816 CPUtime=0
/proc/11354/stat : 11354 (pbscip.linux.x8) R 11352 11354 11042 0 -1 4194304 537 0 0 0 0 0 0 0 18 0 1 0 176392960 5955584 521 1992294400 4194304 9342243 548682068736 18446744073709551615 5862928 0 0 4096 0 0 0 0 17 1 0 0
/proc/11354/statm: 1513 527 353 1256 0 252 0
[startup+0.0123581 s]
/proc/loadavg: 1.00 1.00 1.00 3/67 11354
/proc/meminfo: memFree=1637600/2055920 swapFree=4192956/4192956
[pid=11354] ppid=11352 vsize=11184 CPUtime=0
/proc/11354/stat : 11354 (pbscip.linux.x8) R 11352 11354 11042 0 -1 4194304 1697 0 0 0 0 0 0 0 18 0 1 0 176392960 11452416 1681 1992294400 4194304 9342243 548682068736 18446744073709551615 8251083 0 0 4096 0 0 0 0 17 1 0 0
/proc/11354/statm: 2796 1683 376 1256 0 1535 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 11184
[startup+0.101365 s]
/proc/loadavg: 1.00 1.00 1.00 3/67 11354
/proc/meminfo: memFree=1637600/2055920 swapFree=4192956/4192956
[pid=11354] ppid=11352 vsize=24048 CPUtime=0.09
/proc/11354/stat : 11354 (pbscip.linux.x8) R 11352 11354 11042 0 -1 4194304 4924 0 0 0 8 1 0 0 18 0 1 0 176392960 24625152 4908 1992294400 4194304 9342243 548682068736 18446744073709551615 8251447 0 0 4096 0 0 0 0 17 1 0 0
/proc/11354/statm: 6012 4908 378 1256 0 4751 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 24048
[startup+0.301382 s]
/proc/loadavg: 1.00 1.00 1.00 3/67 11354
/proc/meminfo: memFree=1637600/2055920 swapFree=4192956/4192956
[pid=11354] ppid=11352 vsize=43828 CPUtime=0.29
/proc/11354/stat : 11354 (pbscip.linux.x8) R 11352 11354 11042 0 -1 4194304 9954 0 0 0 25 4 0 0 19 0 1 0 176392960 44879872 9911 1992294400 4194304 9342243 548682068736 18446744073709551615 8193836 0 0 4096 0 0 0 0 17 1 0 0
/proc/11354/statm: 10957 9911 378 1256 0 9696 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 43828
[startup+0.701417 s]
/proc/loadavg: 1.00 1.00 1.00 3/67 11354
/proc/meminfo: memFree=1637600/2055920 swapFree=4192956/4192956
[pid=11354] ppid=11352 vsize=102552 CPUtime=0.69
/proc/11354/stat : 11354 (pbscip.linux.x8) R 11352 11354 11042 0 -1 4194304 25042 0 0 0 59 10 0 0 22 0 1 0 176392960 105013248 24571 1992294400 4194304 9342243 548682068736 18446744073709551615 4685941 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11354/statm: 25638 24571 426 1256 0 24377 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 102552
[startup+1.50149 s]
/proc/loadavg: 1.00 1.00 1.00 2/68 11355
/proc/meminfo: memFree=1536984/2055920 swapFree=4192956/4192956
[pid=11354] ppid=11352 vsize=116464 CPUtime=1.5
/proc/11354/stat : 11354 (pbscip.linux.x8) R 11352 11354 11042 0 -1 4194304 28287 0 0 0 138 12 0 0 25 0 1 0 176392960 119259136 27816 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11354/statm: 29116 27816 446 1256 0 27855 0
Current children cumulated CPU time (s) 1.5
Current children cumulated vsize (KiB) 116464
[startup+3.10163 s]
/proc/loadavg: 1.00 1.00 1.00 2/68 11355
/proc/meminfo: memFree=1523800/2055920 swapFree=4192956/4192956
[pid=11354] ppid=11352 vsize=122376 CPUtime=3.09
/proc/11354/stat : 11354 (pbscip.linux.x8) R 11352 11354 11042 0 -1 4194304 30556 0 0 0 279 30 0 0 25 0 1 0 176392960 125313024 29331 1992294400 4194304 9342243 548682068736 18446744073709551615 4903359 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11354/statm: 30594 29331 475 1256 0 29333 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 122376
[startup+6.30192 s]
/proc/loadavg: 1.00 1.00 1.00 2/68 11355
/proc/meminfo: memFree=1446936/2055920 swapFree=4192956/4192956
[pid=11354] ppid=11352 vsize=219648 CPUtime=6.29
/proc/11354/stat : 11354 (pbscip.linux.x8) R 11352 11354 11042 0 -1 4194304 51409 0 0 0 589 40 0 0 25 0 1 0 176392960 224919552 48605 1992294400 4194304 9342243 548682068736 18446744073709551615 4338420 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11354/statm: 54912 48605 622 1256 0 53651 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 219648
[startup+12.7015 s]
/proc/loadavg: 1.00 1.00 1.00 2/68 11355
/proc/meminfo: memFree=1437408/2055920 swapFree=4192956/4192956
[pid=11354] ppid=11352 vsize=221664 CPUtime=12.69
/proc/11354/stat : 11354 (pbscip.linux.x8) R 11352 11354 11042 0 -1 4194304 53532 0 0 0 1223 46 0 0 25 0 1 0 176392960 226983936 50728 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11354/statm: 55416 50728 642 1256 0 54155 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 221664
[startup+25.5016 s]
/proc/loadavg: 1.00 1.00 1.00 2/68 11355
/proc/meminfo: memFree=1432672/2055920 swapFree=4192956/4192956
[pid=11354] ppid=11352 vsize=222880 CPUtime=25.49
/proc/11354/stat : 11354 (pbscip.linux.x8) R 11352 11354 11042 0 -1 4194304 54535 0 0 0 2500 49 0 0 25 0 1 0 176392960 228229120 51731 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11354/statm: 55720 51731 644 1256 0 54459 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 222880
[startup+51.1019 s]
/proc/loadavg: 1.00 1.00 1.00 2/68 11355
/proc/meminfo: memFree=1421472/2055920 swapFree=4192956/4192956
[pid=11354] ppid=11352 vsize=232800 CPUtime=51.07
/proc/11354/stat : 11354 (pbscip.linux.x8) R 11352 11354 11042 0 -1 4194304 57336 0 0 0 5054 53 0 0 25 0 1 0 176392960 238387200 54532 1992294400 4194304 9342243 548682068736 18446744073709551615 5869964 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11354/statm: 58200 54532 646 1256 0 56939 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 232800
[startup+102.305 s]
/proc/loadavg: 1.00 1.00 1.00 2/68 11355
/proc/meminfo: memFree=1419232/2055920 swapFree=4192956/4192956
[pid=11354] ppid=11352 vsize=224892 CPUtime=102.26
/proc/11354/stat : 11354 (pbscip.linux.x8) R 11352 11354 11042 0 -1 4194304 58210 0 0 0 10166 60 0 0 25 0 1 0 176392960 230289408 55076 1992294400 4194304 9342243 548682068736 18446744073709551615 5869938 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11354/statm: 56223 55076 659 1256 0 54962 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 224892
[startup+162.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/68 11355
/proc/meminfo: memFree=1417696/2055920 swapFree=4192956/4192956
[pid=11354] ppid=11352 vsize=229040 CPUtime=162.24
/proc/11354/stat : 11354 (pbscip.linux.x8) R 11352 11354 11042 0 -1 4194304 58574 0 0 0 16156 68 0 0 25 0 1 0 176392960 234536960 55440 1992294400 4194304 9342243 548682068736 18446744073709551615 6960775 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11354/statm: 57260 55440 659 1256 0 55999 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 229040
[startup+222.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/68 11355
/proc/meminfo: memFree=1410336/2055920 swapFree=4192956/4192956
[pid=11354] ppid=11352 vsize=240436 CPUtime=222.22
/proc/11354/stat : 11354 (pbscip.linux.x8) R 11352 11354 11042 0 -1 4194304 67482 0 0 0 22143 79 0 0 25 0 1 0 176392960 246206464 57261 1992294400 4194304 9342243 548682068736 18446744073709551615 6965954 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11354/statm: 60109 57261 659 1256 0 58848 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 240436
[startup+282.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/68 11355
/proc/meminfo: memFree=1392352/2055920 swapFree=4192956/4192956
[pid=11354] ppid=11352 vsize=260416 CPUtime=282.21
/proc/11354/stat : 11354 (pbscip.linux.x8) R 11352 11354 11042 0 -1 4194304 75193 0 0 0 28130 91 0 0 25 0 1 0 176392960 266665984 61723 1992294400 4194304 9342243 548682068736 18446744073709551615 6040624 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11354/statm: 65104 61723 659 1256 0 63843 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 260416
[startup+342.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/68 11357
/proc/meminfo: memFree=1370720/2055920 swapFree=4192956/4192956
[pid=11354] ppid=11352 vsize=286252 CPUtime=342.19
/proc/11354/stat : 11354 (pbscip.linux.x8) R 11352 11354 11042 0 -1 4194304 93253 0 0 0 34110 109 0 0 25 0 1 0 176392960 293122048 67056 1992294400 4194304 9342243 548682068736 18446744073709551615 6096184 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11354/statm: 71563 67056 659 1256 0 70302 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 286252
[startup+402.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/68 11357
/proc/meminfo: memFree=1368800/2055920 swapFree=4192956/4192956
[pid=11354] ppid=11352 vsize=287572 CPUtime=402.18
/proc/11354/stat : 11354 (pbscip.linux.x8) R 11352 11354 11042 0 -1 4194304 99480 0 0 0 40096 122 0 0 25 0 1 0 176392960 294473728 67520 1992294400 4194304 9342243 548682068736 18446744073709551615 6040560 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11354/statm: 71893 67520 659 1256 0 70632 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 287572
[startup+462.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/68 11357
/proc/meminfo: memFree=1367264/2055920 swapFree=4192956/4192956
[pid=11354] ppid=11352 vsize=287736 CPUtime=462.15
/proc/11354/stat : 11354 (pbscip.linux.x8) R 11352 11354 11042 0 -1 4194304 99857 0 0 0 46086 129 0 0 25 0 1 0 176392960 294641664 67897 1992294400 4194304 9342243 548682068736 18446744073709551615 6959570 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11354/statm: 71934 67897 659 1256 0 70673 0
Current children cumulated CPU time (s) 462.15
Current children cumulated vsize (KiB) 287736
[startup+522.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/68 11357
/proc/meminfo: memFree=1366496/2055920 swapFree=4192956/4192956
[pid=11354] ppid=11352 vsize=287736 CPUtime=522.14
/proc/11354/stat : 11354 (pbscip.linux.x8) R 11352 11354 11042 0 -1 4194304 100030 0 0 0 52079 135 0 0 25 0 1 0 176392960 294641664 68070 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11354/statm: 71934 68070 659 1256 0 70673 0
Current children cumulated CPU time (s) 522.14
Current children cumulated vsize (KiB) 287736
[startup+582.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/68 11357
/proc/meminfo: memFree=1366304/2055920 swapFree=4192956/4192956
[pid=11354] ppid=11352 vsize=287736 CPUtime=582.12
/proc/11354/stat : 11354 (pbscip.linux.x8) R 11352 11354 11042 0 -1 4194304 100082 0 0 0 58072 140 0 0 25 0 1 0 176392960 294641664 68122 1992294400 4194304 9342243 548682068736 18446744073709551615 6960746 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11354/statm: 71934 68122 659 1256 0 70673 0
Current children cumulated CPU time (s) 582.12
Current children cumulated vsize (KiB) 287736
[startup+642.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/68 11386
/proc/meminfo: memFree=1365408/2055920 swapFree=4192956/4192956
[pid=11354] ppid=11352 vsize=287736 CPUtime=642.1
/proc/11354/stat : 11354 (pbscip.linux.x8) R 11352 11354 11042 0 -1 4194304 100185 0 0 0 64065 145 0 0 25 0 1 0 176392960 294641664 68225 1992294400 4194304 9342243 548682068736 18446744073709551615 4338488 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11354/statm: 71934 68225 659 1256 0 70673 0
Current children cumulated CPU time (s) 642.1
Current children cumulated vsize (KiB) 287736
[startup+702.301 s]
################
# More data... #
################
/proc/meminfo: memFree=1363936/2055920 swapFree=4192956/4192956
[pid=11354] ppid=11352 vsize=287868 CPUtime=1121.97
/proc/11354/stat : 11354 (pbscip.linux.x8) R 11352 11354 11042 0 -1 4194304 100508 0 0 0 112002 195 0 0 25 0 1 0 176392960 294776832 68548 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11354/statm: 71967 68548 668 1256 0 70706 0
Current children cumulated CPU time (s) 1121.97
Current children cumulated vsize (KiB) 287868
[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/68 11386
/proc/meminfo: memFree=1363936/2055920 swapFree=4192956/4192956
[pid=11354] ppid=11352 vsize=287868 CPUtime=1181.96
/proc/11354/stat : 11354 (pbscip.linux.x8) R 11352 11354 11042 0 -1 4194304 100508 0 0 0 117995 201 0 0 25 0 1 0 176392960 294776832 68548 1992294400 4194304 9342243 548682068736 18446744073709551615 5990660 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11354/statm: 71967 68548 668 1256 0 70706 0
Current children cumulated CPU time (s) 1181.96
Current children cumulated vsize (KiB) 287868
[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/68 11386
/proc/meminfo: memFree=1363680/2055920 swapFree=4192956/4192956
[pid=11354] ppid=11352 vsize=288112 CPUtime=1241.94
/proc/11354/stat : 11354 (pbscip.linux.x8) R 11352 11354 11042 0 -1 4194304 100544 0 0 0 123988 206 0 0 25 0 1 0 176392960 295026688 68584 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11354/statm: 72028 68584 668 1256 0 70767 0
Current children cumulated CPU time (s) 1241.94
Current children cumulated vsize (KiB) 288112
[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/68 11386
/proc/meminfo: memFree=1367072/2055920 swapFree=4192956/4192956
[pid=11354] ppid=11352 vsize=283144 CPUtime=1301.93
/proc/11354/stat : 11354 (pbscip.linux.x8) R 11352 11354 11042 0 -1 4194304 103268 0 0 0 129977 216 0 0 25 0 1 0 176392960 289939456 67652 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11354/statm: 70786 67652 668 1256 0 69525 0
Current children cumulated CPU time (s) 1301.93
Current children cumulated vsize (KiB) 283144
[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/68 11386
/proc/meminfo: memFree=1366496/2055920 swapFree=4192956/4192956
[pid=11354] ppid=11352 vsize=291128 CPUtime=1361.91
/proc/11354/stat : 11354 (pbscip.linux.x8) R 11352 11354 11042 0 -1 4194304 114280 0 0 0 135962 229 0 0 25 0 1 0 176392960 298115072 67834 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11354/statm: 72782 67834 668 1256 0 71521 0
Current children cumulated CPU time (s) 1361.91
Current children cumulated vsize (KiB) 291128
[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/68 11386
/proc/meminfo: memFree=1366176/2055920 swapFree=4192956/4192956
[pid=11354] ppid=11352 vsize=291168 CPUtime=1421.89
/proc/11354/stat : 11354 (pbscip.linux.x8) R 11352 11354 11042 0 -1 4194304 122935 0 0 0 141949 240 0 0 25 0 1 0 176392960 298156032 67895 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11354/statm: 72792 67895 668 1256 0 71531 0
Current children cumulated CPU time (s) 1421.89
Current children cumulated vsize (KiB) 291168
[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/68 11392
/proc/meminfo: memFree=1366176/2055920 swapFree=4192956/4192956
[pid=11354] ppid=11352 vsize=288948 CPUtime=1481.87
/proc/11354/stat : 11354 (pbscip.linux.x8) R 11352 11354 11042 0 -1 4194304 131263 0 0 0 147937 250 0 0 25 0 1 0 176392960 295882752 67848 1992294400 4194304 9342243 548682068736 18446744073709551615 6939160 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11354/statm: 72237 67848 668 1256 0 70976 0
Current children cumulated CPU time (s) 1481.87
Current children cumulated vsize (KiB) 288948
[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/68 11392
/proc/meminfo: memFree=1366240/2055920 swapFree=4192956/4192956
[pid=11354] ppid=11352 vsize=289040 CPUtime=1541.85
/proc/11354/stat : 11354 (pbscip.linux.x8) R 11352 11354 11042 0 -1 4194304 140785 0 0 0 153924 261 0 0 25 0 1 0 176392960 295976960 67832 1992294400 4194304 9342243 548682068736 18446744073709551615 5990660 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11354/statm: 72260 67832 668 1256 0 70999 0
Current children cumulated CPU time (s) 1541.85
Current children cumulated vsize (KiB) 289040
[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/68 11392
/proc/meminfo: memFree=1366048/2055920 swapFree=4192956/4192956
[pid=11354] ppid=11352 vsize=290272 CPUtime=1601.83
/proc/11354/stat : 11354 (pbscip.linux.x8) R 11352 11354 11042 0 -1 4194304 149160 0 0 0 159911 272 0 0 25 0 1 0 176392960 297238528 67749 1992294400 4194304 9342243 548682068736 18446744073709551615 6960723 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11354/statm: 72568 67749 668 1256 0 71307 0
Current children cumulated CPU time (s) 1601.83
Current children cumulated vsize (KiB) 290272
[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/68 11392
/proc/meminfo: memFree=1366496/2055920 swapFree=4192956/4192956
[pid=11354] ppid=11352 vsize=290392 CPUtime=1661.82
/proc/11354/stat : 11354 (pbscip.linux.x8) R 11352 11354 11042 0 -1 4194304 159586 0 0 0 165898 284 0 0 25 0 1 0 176392960 297361408 67751 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11354/statm: 72598 67751 668 1256 0 71337 0
Current children cumulated CPU time (s) 1661.82
Current children cumulated vsize (KiB) 290392
[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/68 11392
/proc/meminfo: memFree=1366368/2055920 swapFree=4192956/4192956
[pid=11354] ppid=11352 vsize=290384 CPUtime=1721.8
/proc/11354/stat : 11354 (pbscip.linux.x8) R 11352 11354 11042 0 -1 4194304 168751 0 0 0 171884 296 0 0 25 0 1 0 176392960 297353216 67765 1992294400 4194304 9342243 548682068736 18446744073709551615 4338488 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11354/statm: 72596 67765 668 1256 0 71335 0
Current children cumulated CPU time (s) 1721.8
Current children cumulated vsize (KiB) 290384
[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/68 11392
/proc/meminfo: memFree=1366688/2055920 swapFree=4192956/4192956
[pid=11354] ppid=11352 vsize=288132 CPUtime=1781.79
/proc/11354/stat : 11354 (pbscip.linux.x8) R 11352 11354 11042 0 -1 4194304 177709 0 0 0 177872 307 0 0 25 0 1 0 176392960 295047168 67683 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11354/statm: 72033 67683 668 1256 0 70772 0
Current children cumulated CPU time (s) 1781.79
Current children cumulated vsize (KiB) 288132
Solver just ended. Dumping a history of the last processes samples
[startup+1785.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/68 11392
/proc/meminfo: memFree=1366688/2055920 swapFree=4192956/4192956
[pid=11354] ppid=11352 vsize=288132 CPUtime=1784.99
/proc/11354/stat : 11354 (pbscip.linux.x8) R 11352 11354 11042 0 -1 4194304 177709 0 0 0 178192 307 0 0 25 0 1 0 176392960 295047168 67683 1992294400 4194304 9342243 548682068736 18446744073709551615 6939369 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11354/statm: 72033 67683 668 1256 0 70772 0
Current children cumulated CPU time (s) 1784.99
Current children cumulated vsize (KiB) 288132
[startup+1791.91 s]
/proc/loadavg: 1.00 1.00 1.00 2/68 11392
/proc/meminfo: memFree=1366688/2055920 swapFree=4192956/4192956
[pid=11354] ppid=11352 vsize=288132 CPUtime=1791.39
/proc/11354/stat : 11354 (pbscip.linux.x8) R 11352 11354 11042 0 -1 4194304 177709 0 0 0 178832 307 0 0 25 0 1 0 176392960 295047168 67683 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11354/statm: 72033 67683 668 1256 0 70772 0
Current children cumulated CPU time (s) 1791.39
Current children cumulated vsize (KiB) 288132
[startup+1793.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/68 11392
/proc/meminfo: memFree=1366688/2055920 swapFree=4192956/4192956
[pid=11354] ppid=11352 vsize=290388 CPUtime=1792.99
/proc/11354/stat : 11354 (pbscip.linux.x8) R 11352 11354 11042 0 -1 4194304 177982 0 0 0 178991 308 0 0 25 0 1 0 176392960 297357312 67862 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11354/statm: 72597 67862 668 1256 0 71336 0
Current children cumulated CPU time (s) 1792.99
Current children cumulated vsize (KiB) 290388
[startup+1794.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/68 11392
/proc/meminfo: memFree=1364704/2055920 swapFree=4192956/4192956
[pid=11354] ppid=11352 vsize=290388 CPUtime=1793.78
/proc/11354/stat : 11354 (pbscip.linux.x8) R 11352 11354 11042 0 -1 4194304 178345 0 0 0 179070 308 0 0 25 0 1 0 176392960 297357312 68225 1992294400 4194304 9342243 548682068736 18446744073709551615 6938510 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11354/statm: 72597 68225 668 1256 0 71336 0
Current children cumulated CPU time (s) 1793.78
Current children cumulated vsize (KiB) 290388
[startup+1795.1 s]
/proc/loadavg: 1.00 1.00 1.00 2/68 11392
/proc/meminfo: memFree=1365792/2055920 swapFree=4192956/4192956
[pid=11354] ppid=11352 vsize=290412 CPUtime=1794.59
/proc/11354/stat : 11354 (pbscip.linux.x8) R 11352 11354 11042 0 -1 4194304 178714 0 0 0 179150 309 0 0 17 0 1 0 176392960 297381888 67908 1992294400 4194304 9342243 548682068736 18446744073709551615 4302007 0 0 4096 0 0 0 0 17 1 0 0
/proc/11354/statm: 72603 67908 672 1256 0 71342 0
Current children cumulated CPU time (s) 1794.59
Current children cumulated vsize (KiB) 290412
[startup+1795.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/68 11392
/proc/meminfo: memFree=1365792/2055920 swapFree=4192956/4192956
[pid=11354] ppid=11352 vsize=290412 CPUtime=1794.79
/proc/11354/stat : 11354 (pbscip.linux.x8) R 11352 11354 11042 0 -1 4194304 178717 0 0 0 179170 309 0 0 18 0 1 0 176392960 297381888 67911 1992294400 4194304 9342243 548682068736 18446744073709551615 4814730 0 0 4096 0 0 0 0 17 1 0 0
/proc/11354/statm: 72603 67911 675 1256 0 71342 0
Current children cumulated CPU time (s) 1794.79
Current children cumulated vsize (KiB) 290412
[startup+1795.4 s]
/proc/loadavg: 1.00 1.00 1.00 2/68 11392
/proc/meminfo: memFree=1365792/2055920 swapFree=4192956/4192956
[pid=11354] ppid=11352 vsize=80776 CPUtime=1794.89
/proc/11354/stat : 11354 (pbscip.linux.x8) R 11352 11354 11042 0 -1 4194304 178718 0 0 0 179176 313 0 0 19 0 1 0 176392960 82714624 19530 1992294400 4194304 9342243 548682068736 18446744073709551615 8483466 0 0 4096 0 0 0 0 17 1 0 0
/proc/11354/statm: 20194 19530 11808 1256 0 18933 0
Current children cumulated CPU time (s) 1794.89
Current children cumulated vsize (KiB) 80776
Child status: 0
Real time (s): 1795.41
CPU time (s): 1794.9
CPU user time (s): 1791.77
CPU system time (s): 3.13852
CPU usage (%): 99.9719
Max. virtual memory (cumulated for all children) (KiB): 291232
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1791.77
system time used= 3.13852
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 178723
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= 3626
runsolver used 1.61175 second user time and 4.94325 second system time
The end
Begin job on node68 at 2009-06-17 02:37:16
IDJOB=1870347
IDBENCH=48172
IDSOLVER=684
FILE ID=node68/1870347-1245199036
PBS_JOBID= 9368326
Free space on /tmp= 66472 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_2.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-1870347-1245199036/watcher-1870347-1245199036 -o /tmp/evaluation-result-1870347-1245199036/solver-1870347-1245199036 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.clp -t 1800 -m 1800 -f HOME/instance-1870347-1245199036.opb
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 9073bcbe60c862f7d64be630b0fdd227
RANDOM SEED=1708816376
node68.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.238
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.238
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: 1638016 kB
Buffers: 43932 kB
Cached: 277708 kB
SwapCached: 0 kB
Active: 73336 kB
Inactive: 264768 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1638016 kB
SwapTotal: 4192956 kB
SwapFree: 4192956 kB
Dirty: 12704 kB
Writeback: 0 kB
Mapped: 26496 kB
Slab: 65424 kB
Committed_AS: 94352 kB
PageTables: 1568 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264960 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 66460 MiB
End job on node68 at 2009-06-17 03:07:12