0.00/0.10 c old isEQ: 11, new EQ is 1
0.00/0.10 c old isEQ: 1, new EQ is 1
0.00/0.10 c old isEQ: 1, new EQ is 1
0.00/0.10 c old isEQ: 1, new EQ is 1
0.00/0.10 c old isEQ: 1, new EQ is 1
0.00/0.10 c old isEQ: 1, new EQ is 1
0.00/0.10 c old isEQ: 1, new EQ is 1
0.00/0.10 c old isEQ: 1, new EQ is 1
0.00/0.10 c old isEQ: 1, new EQ is 1
0.00/0.10 c old isEQ: 1, new EQ is 1
0.00/0.10 c old isEQ: 1, new EQ is 1
0.00/0.10 c old isEQ: 1, new EQ is 1
0.00/0.10 c old isEQ: 1, new EQ is 1
0.00/0.10 c old isEQ: 1, new EQ is 1
0.00/0.10 c old isEQ: 1, new EQ is 1
0.00/0.10 c old isEQ: 1, new EQ is 1
0.00/0.10 c old isEQ: 1, new EQ is 1
0.00/0.10 c old isEQ: 1, new EQ is 1
0.00/0.10 c old isEQ: 1, new EQ is 1
0.00/0.10 c old isEQ: 1, new EQ is 1
0.00/0.10 c old isEQ: 1, new EQ is 1
0.00/0.10 c old isEQ: 1, new EQ is 1
0.00/0.10 c old isEQ: 1, new EQ is 1
0.00/0.10 c old isEQ: 1, new EQ is 1
0.00/0.10 c old isEQ: 1, new EQ is 1
0.00/0.10 c old isEQ: 1, new EQ is 1
0.00/0.10 c old isEQ: 1, new EQ is 1
0.00/0.10 c old isEQ: 1, new EQ is 1
0.00/0.10 c old isEQ: 1, new EQ is 1
0.00/0.10 c old isEQ: 1, new EQ is 1
0.00/0.10 c old isEQ: 1, new EQ is 1
0.00/0.10 c old isEQ: 1, new EQ is 1
0.00/0.10 c old isEQ: 1, new EQ is 1
0.00/0.10 c old isEQ: 1, new EQ is 1
0.00/0.11 c old isEQ: 1, new EQ is 1
0.00/0.11 c old isEQ: 1, new EQ is 1
0.00/0.11 c old isEQ: 1, new EQ is 1
0.00/0.11 c old isEQ: 1, new EQ is 1
0.00/0.11 c old isEQ: 1, new EQ is 1
0.00/0.11 c old isEQ: 1, new EQ is 1
0.00/0.11 c old isEQ: 1, new EQ is 1
0.00/0.11 c old isEQ: 1, new EQ is 1
0.00/0.11 c old isEQ: 1, new EQ is 1
0.00/0.11 c old isEQ: 1, new EQ is 1
0.00/0.11 c old isEQ: 1, new EQ is 1
0.00/0.11 c old isEQ: 1, new EQ is 1
0.00/0.11 c old isEQ: 1, new EQ is 1
0.00/0.11 c old isEQ: 1, new EQ is 1
0.00/0.11 c old isEQ: 1, new EQ is 1
0.00/0.11 c old isEQ: 1, new EQ is 1
0.00/0.11 c old isEQ: 1, new EQ is 1
0.00/0.11 c old isEQ: 1, new EQ is 1
0.00/0.11 c old isEQ: 1, new EQ is 1
0.00/0.11 c old isEQ: 1, new EQ is 1
0.00/0.11 c old isEQ: 1, new EQ is 1
0.00/0.11 c old isEQ: 1, new EQ is 1
0.00/0.11 c old isEQ: 1, new EQ is 1
0.00/0.11 c old isEQ: 1, new EQ is 1
0.00/0.11 c old isEQ: 1, new EQ is 1
0.00/0.11 c old isEQ: 1, new EQ is 1
0.00/0.11 c old isEQ: 1, new EQ is 1
0.00/0.11 c old isEQ: 1, new EQ is 1
0.00/0.11 c old isEQ: 1, new EQ is 1
0.00/0.11 c old isEQ: 1, new EQ is 1
0.00/0.11 c old isEQ: 1, new EQ is 1
0.00/0.11 c old isEQ: 1, new EQ is 1
0.00/0.11 c old isEQ: 1, new EQ is 1
0.00/0.11 c old isEQ: 1, new EQ is 1
0.00/0.11 c old isEQ: 1, new EQ is 1
0.00/0.11 c old isEQ: 1, new EQ is 1
0.00/0.11 c old isEQ: 1, new EQ is 1
0.00/0.11 c old isEQ: 1, new EQ is 1
0.00/0.11 c old isEQ: 1, new EQ is 1
0.00/0.11 c old isEQ: 1, new EQ is 1
0.00/0.11 c old isEQ: 1, new EQ is 1
0.00/0.11 c old isEQ: 1, new EQ is 1
0.00/0.11 c old isEQ: 1, new EQ is 1
0.00/0.11 c old isEQ: 1, new EQ is 1
0.00/0.11 c old isEQ: 1, new EQ is 1
0.00/0.11 c old isEQ: 1, new EQ is 1
0.00/0.11 c old isEQ: 1, new EQ is 1
0.00/0.11 c old isEQ: 1, new EQ is 1
0.00/0.11 c old isEQ: 1, new EQ is 1
0.00/0.11 c old isEQ: 1, new EQ is 1
0.00/0.11 c old isEQ: 1, new EQ is 1
0.00/0.11 c old isEQ: 1, new EQ is 1
0.00/0.11 c old isEQ: 1, new EQ is 1
0.00/0.11 c old isEQ: 1, new EQ is 1
0.00/0.11 c old isEQ: 1, new EQ is 1
0.00/0.11 c old isEQ: 1, new EQ is 1
0.00/0.11 c old isEQ: 1, new EQ is 1
0.00/0.11 c old isEQ: 1, new EQ is 1
0.00/0.11 c old isEQ: 1, new EQ is 1
0.00/0.11 c old isEQ: 1, new EQ is 1
0.00/0.12 c old isEQ: 1, new EQ is 1
0.00/0.12 c old isEQ: 1, new EQ is 1
0.00/0.12 c old isEQ: 1, new EQ is 1
0.00/0.12 c old isEQ: 1, new EQ is 1
0.00/0.12 c old isEQ: 1, new EQ is 1
0.00/0.12 c old isEQ: 1, new EQ is 1
0.00/0.12 c old isEQ: 1, new EQ is 1
0.00/0.12 c old isEQ: 1, new EQ is 1
0.00/0.12 c old isEQ: 1, new EQ is 1
0.00/0.12 c old isEQ: 1, new EQ is 1
0.00/0.12 c old isEQ: 1, new EQ is 1
0.00/0.12 c old isEQ: 1, new EQ is 1
0.00/0.12 c old isEQ: 1, new EQ is 1
0.00/0.12 c old isEQ: 1, new EQ is 1
0.00/0.12 c old isEQ: 1, new EQ is 1
0.00/0.12 c old isEQ: 1, new EQ is 1
0.00/0.12 c old isEQ: 1, new EQ is 1
0.00/0.12 c old isEQ: 1, new EQ is 1
0.00/0.12 c old isEQ: 1, new EQ is 1
0.00/0.12 c old isEQ: 1, new EQ is 1
0.00/0.12 c old isEQ: 1, new EQ is 1
0.00/0.12 c old isEQ: 1, new EQ is 1
0.00/0.12 c old isEQ: 1, new EQ is 1
0.00/0.12 c old isEQ: 1, new EQ is 1
0.00/0.12 c old isEQ: 1, new EQ is 1
0.00/0.12 c old isEQ: 1, new EQ is 1
0.00/0.12 c old isEQ: 1, new EQ is 1
0.00/0.12 c old isEQ: 1, new EQ is 1
0.00/0.12 c old isEQ: 1, new EQ is 1
0.00/0.12 c old isEQ: 1, new EQ is 1
0.00/0.12 c old isEQ: 1, new EQ is 1
0.00/0.12 c old isEQ: 1, new EQ is 1
0.00/0.12 c old isEQ: 1, new EQ is 1
0.00/0.12 c old isEQ: 1, new EQ is 1
0.00/0.12 c old isEQ: 1, new EQ is 1
0.00/0.12 c old isEQ: 1, new EQ is 1
0.00/0.12 c old isEQ: 1, new EQ is 1
0.00/0.12 c old isEQ: 1, new EQ is 1
0.00/0.12 c old isEQ: 1, new EQ is 1
0.00/0.12 c old isEQ: 1, new EQ is 1
0.00/0.12 c old isEQ: 1, new EQ is 1
0.00/0.12 c old isEQ: 1, new EQ is 1
0.00/0.12 c old isEQ: 1, new EQ is 1
0.00/0.12 c old isEQ: 1, new EQ is 1
0.00/0.12 c old isEQ: 1, new EQ is 1
0.00/0.13 c old isEQ: 1, new EQ is 1
0.00/0.16 c run inc solver
0.00/0.16 c [INC SYSTEM] run initial solver
0.00/0.16 c [INC SYSTEM] preprocess with white file
0.00/0.92 c [INC SYSTEM] finished preprocessing in 0 s
0.00/0.92 c [INC SYSTEM] execute solver
0.97/1.05 c [INC SEARCH] formula is SAT
0.97/1.06 c [INC SYSTEM] solved the initial formula
0.97/1.08 c model valid
0.97/1.08 c current solution ok
1.26/1.33 o 96636764160
1.26/1.33 c starting approximation
1.26/1.33 c factor = 2
1.26/1.33 c factor still to low - shrinking to 1.56552e+09
1.26/1.33 c approx number of clauses: 1e+06
1.26/1.33 c current bound: 48318382080
2.47/2.53 c model valid
2.47/2.53 c current solution ok
2.47/2.53 c current bound: 48318382080
3.36/3.74 c model valid
3.36/3.74 c current solution ok
3.36/3.74 c current bound: 48318382080
4.90/5.22 c model valid
4.90/5.22 c current solution ok
4.90/5.22 c current bound: 48318382080
6.09/6.42 c model valid
6.09/6.42 c current solution ok
6.09/6.43 c current bound: 48318382080
7.31/7.63 c model valid
7.31/7.63 c current solution ok
7.31/7.64 c current bound: 48318382080
8.49/8.85 c model valid
8.49/8.85 c current solution ok
8.49/8.85 c current bound: 48318382080
9.69/10.06 c model valid
9.69/10.06 c current solution ok
9.76/10.11 c current bound: 48318382080
10.95/11.31 c model valid
10.95/11.31 c current solution ok
10.95/11.32 c current bound: 48318382080
12.14/12.52 c model valid
12.14/12.52 c current solution ok
12.14/12.53 c current bound: 48318382080
13.04/13.73 c model valid
13.04/13.73 c current solution ok
13.04/13.74 c current bound: 48318382080
14.24/14.94 c model valid
14.24/14.94 c current solution ok
14.24/14.94 c current bound: 48318382080
15.46/16.23 c model valid
15.46/16.23 c current solution ok
15.46/16.24 c current bound: 48318382080
16.67/17.44 c model valid
16.67/17.44 c current solution ok
16.67/17.45 c current bound: 48318382080
18.16/18.66 c model valid
18.16/18.66 c current solution ok
18.16/18.66 c current bound: 48318382080
19.36/19.86 c model valid
19.36/19.86 c current solution ok
19.36/19.87 c current bound: 48318382080
20.56/21.08 c model valid
20.56/21.08 c current solution ok
20.56/21.09 c current bound: 48318382080
21.51/22.29 c model valid
21.51/22.29 c current solution ok
21.51/22.29 c current bound: 48318382080
23.08/23.50 c model valid
23.08/23.50 c current solution ok
23.08/23.50 c current bound: 48318382080
24.28/24.71 c model valid
24.28/24.71 c current solution ok
24.28/24.72 c current bound: 48318382080
25.16/26.05 c model valid
25.16/26.05 c current solution ok
25.16/26.05 c current bound: 48318382080
26.36/27.25 c model valid
26.36/27.25 c current solution ok
26.36/27.26 c current bound: 48318382080
27.57/28.46 c model valid
27.57/28.46 c current solution ok
27.57/28.47 c current bound: 48318382080
29.05/29.67 c model valid
29.05/29.67 c current solution ok
29.05/29.68 c current bound: 48318382080
30.23/30.89 c model valid
30.23/30.89 c current solution ok
30.35/31.03 c current bound: 48318382080
31.53/32.22 c model valid
31.53/32.22 c current solution ok
31.53/32.23 c current bound: 48318382080
32.42/33.43 c model valid
32.42/33.43 c current solution ok
32.42/33.44 c current bound: 48318382080
33.63/34.64 c model valid
33.63/34.64 c current solution ok
33.63/34.64 c current bound: 48318382080
34.84/35.85 c model valid
34.84/35.85 c current solution ok
34.84/35.85 c current bound: 48318382080
36.35/37.13 c model valid
36.35/37.13 c current solution ok
36.35/37.13 c current bound: 48318382080
37.25/38.33 c model valid
37.25/38.33 c current solution ok
37.25/38.34 c current bound: 48318382080
38.74/39.54 c model valid
38.74/39.54 c current solution ok
38.74/39.55 c current bound: 48318382080
39.95/40.75 c model valid
39.95/40.75 c current solution ok
39.95/40.76 c current bound: 48318382080
41.15/41.96 c model valid
41.15/41.96 c current solution ok
41.15/41.97 c current bound: 48318382080
42.10/43.17 c model valid
42.10/43.17 c current solution ok
42.10/43.17 c current bound: 48318382080
43.30/44.38 c model valid
43.30/44.38 c current solution ok
43.30/44.39 c current bound: 48318382080
44.51/45.59 c model valid
44.51/45.59 c current solution ok
44.87/45.60 c current bound: 48318382080
46.03/46.93 c model valid
46.03/46.93 c current solution ok
46.03/46.93 c current bound: 48318382080
46.94/48.14 c model valid
46.94/48.14 c current solution ok
46.94/48.15 c current bound: 48318382080
48.14/49.35 c model valid
48.14/49.35 c current solution ok
48.14/49.36 c current bound: 48318382080
49.63/50.56 c model valid
49.63/50.56 c current solution ok
49.63/50.57 c current bound: 48318382080
50.82/51.77 c model valid
50.91/51.89 c current solution ok
50.91/51.91 c current bound: 48318382080
52.12/53.11 c model valid
52.12/53.11 c current solution ok
52.12/53.12 c current bound: 48318382080
53.31/54.32 c model valid
53.31/54.32 c current solution ok
53.31/54.33 c current bound: 48318382080
54.52/55.52 c model valid
54.52/55.52 c current solution ok
54.52/55.53 c current bound: 48318382080
55.40/56.73 c model valid
55.40/56.73 c current solution ok
55.40/56.74 c current bound: 48318382080
56.95/58.01 c model valid
56.95/58.01 c current solution ok
56.95/58.02 c current bound: 48318382080
58.16/59.22 c model valid
58.16/59.22 c current solution ok
58.16/59.23 c current bound: 48318382080
59.35/60.44 c model valid
59.35/60.44 c current solution ok
59.35/60.44 c current bound: 48318382080
60.55/61.65 c model valid
60.55/61.65 c current solution ok
60.55/61.65 c current bound: 48318382080
61.73/62.86 c model valid
61.73/62.86 c current solution ok
61.73/62.87 c current bound: 48318382080
62.68/64.07 c model valid
62.68/64.07 c current solution ok
62.68/64.08 c current bound: 48318382080
63.89/65.28 c model valid
63.89/65.28 c current solution ok
63.89/65.29 c current bound: 48318382080
65.47/66.50 c model valid
65.47/66.50 c current solution ok
65.47/66.50 c current bound: 48318382080
66.32/67.85 c model valid
66.32/67.85 c current solution ok
66.32/67.86 c current bound: 48318382080
67.54/69.06 c model valid
67.54/69.06 c current solution ok
67.54/69.06 c current bound: 48318382080
68.75/70.27 c model valid
68.75/70.27 c current solution ok
69.09/70.40 c current bound: 48318382080
70.30/71.60 c model valid
70.30/71.60 c current solution ok
70.30/71.61 c current bound: 48318382080
71.47/72.93 c model valid
71.47/72.93 c current solution ok
71.47/72.94 c current bound: 48318382080
72.38/74.13 c model valid
72.38/74.13 c current solution ok
72.38/74.14 c current bound: 48318382080
73.58/75.35 c model valid
73.58/75.35 c current solution ok
73.58/75.36 c current bound: 48318382080
74.81/76.56 c model valid
74.81/76.56 c current solution ok
74.81/76.57 c current bound: 48318382080
76.02/77.77 c model valid
76.02/77.77 c current solution ok
76.36/77.92 c current bound: 48318382080
77.55/79.15 c model valid
77.55/79.15 c current solution ok
77.55/79.15 c current bound: 48318382080
78.73/80.36 c model valid
78.73/80.36 c current solution ok
78.73/80.37 c current bound: 48318382080
79.92/81.57 c model valid
79.92/81.57 c current solution ok
79.92/81.58 c current bound: 48318382080
80.89/82.78 c model valid
80.89/82.78 c current solution ok
81.23/82.96 c current bound: 48318382080
82.09/84.17 c model valid
82.09/84.17 c current solution ok
82.09/84.18 c current bound: 48318382080
83.32/85.38 c model valid
83.32/85.38 c current solution ok
83.32/85.39 c current bound: 48318382080
84.88/86.60 c model valid
84.88/86.60 c current solution ok
84.88/86.61 c current bound: 48318382080
86.08/87.81 c model valid
86.08/87.81 c current solution ok
86.10/87.97 c current bound: 48318382080
87.22/89.17 c model valid
87.22/89.17 c current solution ok
87.22/89.18 c current bound: 48318382080
88.42/90.39 c model valid
88.42/90.39 c current solution ok
88.52/90.40 c current bound: 48318382080
89.73/91.61 c model valid
89.73/91.61 c current solution ok
89.73/91.62 c current bound: 48318382080
90.92/92.82 c model valid
90.92/92.82 c current solution ok
90.94/92.99 c current bound: 48318382080
91.80/94.19 c model valid
91.80/94.19 c current solution ok
91.80/94.19 c current bound: 48318382080
93.35/95.40 c model valid
93.35/95.40 c current solution ok
93.35/95.41 c current bound: 48318382080
94.55/96.61 c model valid
94.55/96.61 c current solution ok
94.55/96.62 c current bound: 48318382080
95.74/97.84 c model valid
95.74/97.84 c current solution ok
95.79/97.98 c current bound: 48318382080
96.90/99.18 c model valid
96.90/99.18 c current solution ok
96.90/99.19 c current bound: 48318382080
97.87/100.39 c model valid
97.87/100.39 c current solution ok
98.22/100.40 c current bound: 48318382080
99.42/101.60 c model valid
99.42/101.60 c current solution ok
99.42/101.61 c current bound: 48318382080
100.62/102.82 c model valid
100.62/102.82 c current solution ok
100.62/102.83 c current bound: 48318382080
101.83/104.12 c model valid
101.83/104.12 c current solution ok
101.83/104.13 c current bound: 48318382080
103.03/105.33 c model valid
103.03/105.33 c current solution ok
103.06/105.40 c current bound: 48318382080
103.92/106.59 c model valid
103.92/106.59 c current solution ok
104.27/106.60 c current bound: 48318382080
105.44/107.84 c model valid
105.44/107.84 c current solution ok
105.44/107.84 c current bound: 48318382080
106.67/109.13 c model valid
106.67/109.13 c current solution ok
106.67/109.14 c current bound: 48318382080
107.59/110.34 c model valid
107.59/110.34 c current solution ok
107.59/110.35 c current bound: 48318382080
108.79/111.55 c model valid
108.79/111.55 c current solution ok
108.79/111.56 c current bound: 48318382080
110.00/112.76 c model valid
110.00/112.76 c current solution ok
110.00/112.77 c current bound: 48318382080
111.22/113.97 c model valid
111.22/113.97 c current solution ok
111.22/113.98 c current bound: 48318382080
112.43/115.18 c model valid
112.43/115.18 c current solution ok
112.43/115.19 c current bound: 48318382080
113.64/116.39 c model valid
113.64/116.39 c current solution ok
114.00/116.40 c current bound: 48318382080
115.21/117.61 c model valid
115.21/117.61 c current solution ok
115.21/117.61 c current bound: 48318382080
116.38/118.92 c model valid
116.38/118.92 c current solution ok
116.38/118.93 c current bound: 48318382080
117.56/120.14 c model valid
117.56/120.14 c current solution ok
117.56/120.14 c current bound: 48318382080
118.48/121.35 c model valid
118.48/121.35 c current solution ok
118.48/121.35 c current bound: 48318382080
119.70/122.56 c model valid
119.70/122.56 c current solution ok
119.70/122.57 c current bound: 48318382080
120.91/123.78 c model valid
120.91/123.78 c current solution ok
121.26/123.94 c current bound: 48318382080
122.13/125.15 c model valid
122.13/125.15 c current solution ok
122.13/125.16 c current bound: 48318382080
123.35/126.36 c model valid
123.35/126.36 c current solution ok
123.35/126.37 c current bound: 48318382080
124.81/127.58 c model valid
124.81/127.58 c current solution ok
124.81/127.59 c current bound: 48318382080
126.12/128.80 c model valid
126.12/128.80 c current solution ok
126.12/129.00 c current bound: 48318382080
127.34/130.20 c model valid
127.34/130.20 c current solution ok
127.34/130.20 c current bound: 48318382080
128.54/131.40 c model valid
128.54/131.40 c current solution ok
128.54/131.41 c current bound: 48318382080
129.75/132.62 c model valid
129.75/132.62 c current solution ok
129.75/132.62 c current bound: 48318382080
130.95/133.82 c model valid
130.95/133.82 c current solution ok
130.97/133.99 c current bound: 48318382080
131.84/135.19 c model valid
131.84/135.19 c current solution ok
131.84/135.20 c current bound: 48318382080
133.29/136.40 c model valid
133.29/136.40 c current solution ok
133.41/136.41 c current bound: 48318382080
134.59/137.62 c model valid
134.59/137.62 c current solution ok
134.59/137.62 c current bound: 48318382080
135.79/138.82 c model valid
135.79/138.82 c current solution ok
135.82/138.99 c current bound: 48318382080
136.67/140.19 c model valid
136.67/140.19 c current solution ok
137.02/140.20 c current bound: 48318382080
138.24/141.41 c model valid
138.24/141.41 c current solution ok
138.24/141.42 c current bound: 48318382080
139.43/142.62 c model valid
139.43/142.62 c current solution ok
139.43/142.63 c current bound: 48318382080
140.31/143.84 c model valid
140.31/143.84 c current solution ok
140.31/143.85 c current bound: 48318382080
141.54/145.05 c model valid
141.54/145.05 c current solution ok
141.54/145.06 c current bound: 48318382080
143.03/146.26 c model valid
143.03/146.26 c current solution ok
143.03/146.26 c current bound: 48318382080
144.23/147.47 c model valid
144.23/147.47 c current solution ok
144.23/147.47 c current bound: 48318382080
145.42/148.68 c model valid
145.42/148.68 c current solution ok
145.42/148.68 c current bound: 48318382080
146.38/150.04 c model valid
146.38/150.04 c current solution ok
146.38/150.04 c current bound: 48318382080
147.58/151.24 c model valid
147.58/151.24 c current solution ok
147.58/151.25 c current bound: 48318382080
148.80/152.46 c model valid
148.80/152.46 c current solution ok
148.80/152.46 c current bound: 48318382080
150.00/153.67 c model valid
150.00/153.67 c current solution ok
150.00/153.67 c current bound: 48318382080
151.51/155.04 c model valid
151.51/155.04 c current solution ok
151.51/155.05 c current bound: 48318382080
152.70/156.25 c model valid
152.70/156.25 c current solution ok
152.70/156.26 c current bound: 48318382080
153.91/157.47 c model valid
153.91/157.47 c current solution ok
153.91/157.47 c current bound: 48318382080
154.85/158.67 c model valid
154.85/158.67 c current solution ok
154.85/158.68 c current bound: 48318382080
156.40/160.01 c model valid
156.40/160.01 c current solution ok
156.40/160.01 c current bound: 48318382080
157.60/161.21 c model valid
157.60/161.21 c current solution ok
157.60/161.22 c current bound: 48318382080
158.79/162.43 c model valid
158.79/162.43 c current solution ok
158.79/162.43 c current bound: 48318382080
159.68/163.64 c model valid
159.68/163.64 c current solution ok
159.68/163.64 c current bound: 48318382080
160.91/164.85 c model valid
160.91/164.85 c current solution ok
161.25/164.98 c current bound: 48318382080
162.36/166.19 c model valid
162.36/166.19 c current solution ok
162.36/166.20 c current bound: 48318382080
163.65/167.41 c model valid
163.65/167.41 c current solution ok
163.65/167.42 c current bound: 48318382080
164.85/168.63 c model valid
164.85/168.63 c current solution ok
164.85/168.63 c current bound: 48318382080
165.75/169.84 c model valid
165.75/169.84 c current solution ok
165.75/169.84 c current bound: 48318382080
167.28/171.13 c model valid
167.28/171.13 c current solution ok
167.28/171.13 c current bound: 48318382080
168.18/172.34 c model valid
168.18/172.34 c current solution ok
168.18/172.34 c current bound: 48318382080
169.38/173.55 c model valid
169.38/173.55 c current solution ok
169.38/173.56 c current bound: 48318382080
170.60/174.78 c model valid
170.60/174.78 c current solution ok
170.60/174.79 c current bound: 48318382080
172.07/176.00 c model valid
172.07/176.00 c current solution ok
172.19/176.01 c current bound: 48318382080
173.38/177.22 c model valid
173.38/177.22 c current solution ok
173.38/177.23 c current bound: 48318382080
174.57/178.44 c model valid
174.57/178.44 c current solution ok
174.57/178.45 c current bound: 48318382080
175.50/179.65 c model valid
175.50/179.65 c current solution ok
175.50/179.66 c current bound: 48318382080
176.71/180.99 c model valid
176.71/180.99 c current solution ok
177.06/181.00 c current bound: 48318382080
178.27/182.20 c model valid
178.27/182.20 c current solution ok
178.27/182.21 c current bound: 48318382080
179.47/183.41 c model valid
179.47/183.41 c current solution ok
179.47/183.42 c current bound: 48318382080
180.67/184.62 c model valid
180.67/184.62 c current solution ok
180.67/184.63 c current bound: 48318382080
181.88/185.82 c model valid
181.88/185.82 c current solution ok
181.91/186.04 c current bound: 48318382080
182.77/187.24 c model valid
182.77/187.24 c current solution ok
182.77/187.25 c current bound: 48318382080
183.97/188.46 c model valid
183.97/188.46 c current solution ok
183.97/188.46 c current bound: 48318382080
185.19/189.67 c model valid
185.19/189.67 c current solution ok
185.19/189.67 c current bound: 48318382080
186.74/191.00 c model valid
186.74/191.00 c current solution ok
186.74/191.01 c current bound: 48318382080
187.94/192.21 c model valid
187.94/192.21 c current solution ok
187.94/192.22 c current bound: 48318382080
189.14/193.42 c model valid
189.14/193.42 c current solution ok
189.14/193.43 c current bound: 48318382080
190.34/194.64 c model valid
190.34/194.64 c current solution ok
190.34/194.65 c current bound: 48318382080
191.54/195.85 c model valid
191.54/195.85 c current solution ok
191.60/196.01 c current bound: 48318382080
192.80/197.20 c model valid
192.80/197.20 c current solution ok
192.80/197.21 c current bound: 48318382080
194.00/198.42 c model valid
194.00/198.42 c current solution ok
194.00/198.42 c current bound: 48318382080
195.19/199.63 c model valid
195.19/199.63 c current solution ok
195.19/199.63 c current bound: 48318382080
196.10/200.84 c model valid
196.10/200.84 c current solution ok
196.10/200.85 c current bound: 48318382080
197.31/202.14 c model valid
197.31/202.14 c current solution ok
197.31/202.15 c current bound: 48318382080
198.51/203.35 c model valid
198.51/203.35 c current solution ok
198.51/203.36 c current bound: 48318382080
200.00/204.56 c model valid
200.00/204.56 c current solution ok
200.00/204.57 c current bound: 48318382080
201.21/205.78 c model valid
201.21/205.78 c current solution ok
201.21/205.78 c current bound: 48318382080
202.40/206.99 c model valid
202.40/206.99 c current solution ok
202.40/206.99 c current bound: 48318382080
203.36/208.19 c model valid
203.36/208.19 c current solution ok
203.71/208.20 c current bound: 48318382080
204.92/209.40 c model valid
204.92/209.40 c current solution ok
204.92/209.41 c current bound: 48318382080
206.12/210.61 c model valid
206.12/210.61 c current solution ok
206.12/210.61 c current bound: 48318382080
206.99/211.97 c model valid
206.99/211.97 c current solution ok
206.99/211.98 c current bound: 48318382080
208.20/213.18 c model valid
208.20/213.18 c current solution ok
208.20/213.19 c current bound: 48318382080
209.41/214.39 c model valid
209.41/214.39 c current solution ok
209.41/214.40 c current bound: 48318382080
210.97/215.61 c model valid
210.97/215.61 c current solution ok
210.97/215.61 c current bound: 48318382080
212.13/216.98 c model valid
212.13/216.98 c current solution ok
212.13/216.99 c current bound: 48318382080
213.05/218.19 c model valid
213.05/218.19 c current solution ok
213.41/218.20 c current bound: 48318382080
214.60/219.40 c model valid
214.60/219.40 c current solution ok
214.60/219.41 c current bound: 48318382080
215.81/220.61 c model valid
215.81/220.61 c current solution ok
215.81/220.62 c current bound: 48318382080
216.68/221.94 c model valid
216.68/221.94 c current solution ok
216.68/221.94 c current bound: 48318382080
217.91/223.15 c model valid
217.91/223.15 c current solution ok
217.91/223.16 c current bound: 48318382080
219.38/224.36 c model valid
219.38/224.36 c current solution ok
219.38/224.37 c current bound: 48318382080
220.59/225.57 c model valid
220.59/225.57 c current solution ok
220.59/225.58 c current bound: 48318382080
221.78/226.78 c model valid
221.78/226.78 c current solution ok
221.87/226.93 c current bound: 48318382080
222.75/228.13 c model valid
222.75/228.13 c current solution ok
222.75/228.14 c current bound: 48318382080
223.96/229.33 c model valid
223.96/229.33 c current solution ok
223.96/229.34 c current bound: 48318382080
225.18/230.54 c model valid
225.18/230.54 c current solution ok
225.18/230.55 c current bound: 48318382080
226.37/231.78 c model valid
226.37/231.78 c current solution ok
226.37/231.79 c current bound: 48318382080
227.62/232.99 c model valid
227.62/232.99 c current solution ok
227.96/233.00 c current bound: 48318382080
228.83/234.20 c model valid
228.83/234.20 c current solution ok
229.17/234.21 c current bound: 48318382080
230.38/235.41 c model valid
230.38/235.41 c current solution ok
230.38/235.42 c current bound: 48318382080
231.55/236.63 c model valid
231.55/236.63 c current solution ok
231.55/236.64 c current bound: 48318382080
232.46/237.85 c model valid
232.46/237.85 c current solution ok
232.46/237.85 c current bound: 48318382080
233.68/239.07 c model valid
233.68/239.07 c current solution ok
233.68/239.08 c current bound: 48318382080
234.91/240.28 c model valid
234.91/240.28 c current solution ok
234.91/240.29 c current bound: 48318382080
236.48/241.50 c model valid
236.48/241.50 c current solution ok
236.48/241.51 c current bound: 48318382080
237.34/242.85 c model valid
237.34/242.85 c current solution ok
237.34/242.85 c current bound: 48318382080
238.56/244.07 c model valid
238.56/244.07 c current solution ok
238.56/244.07 c current bound: 48318382080
240.03/245.28 c model valid
240.03/245.28 c current solution ok
240.13/245.39 c current bound: 48318382080
241.22/246.59 c model valid
241.22/246.59 c current solution ok
241.34/246.60 c current bound: 48318382080
242.19/247.93 c model valid
242.19/247.93 c current solution ok
242.19/247.94 c current bound: 48318382080
243.42/249.16 c model valid
243.42/249.16 c current solution ok
243.42/249.17 c current bound: 48318382080
244.65/250.39 c model valid
244.65/250.39 c current solution ok
245.03/250.40 c current bound: 48318382080
246.21/251.61 c model valid
246.21/251.61 c current solution ok
246.21/251.61 c current bound: 48318382080
247.39/252.97 c model valid
247.39/252.97 c current solution ok
247.39/252.98 c current bound: 48318382080
248.56/254.18 c model valid
248.56/254.18 c current solution ok
248.56/254.19 c current bound: 48318382080
249.87/255.40 c model valid
249.87/255.40 c current solution ok
249.87/255.41 c current bound: 48318382080
251.07/256.61 c model valid
251.07/256.61 c current solution ok
251.07/256.62 c current bound: 48318382080
251.95/257.98 c model valid
251.95/257.98 c current solution ok
251.95/257.99 c current bound: 48318382080
253.17/259.19 c model valid
253.17/259.19 c current solution ok
253.52/259.20 c current bound: 48318382080
254.72/260.40 c model valid
254.72/260.40 c current solution ok
254.72/260.41 c current bound: 48318382080
255.92/261.61 c model valid
255.92/261.61 c current solution ok
255.92/261.62 c current bound: 48318382080
257.09/262.95 c model valid
257.09/262.95 c current solution ok
257.09/262.96 c current bound: 48318382080
258.27/264.16 c model valid
258.27/264.16 c current solution ok
258.27/264.17 c current bound: 48318382080
259.22/265.37 c model valid
259.22/265.37 c current solution ok
259.22/265.38 c current bound: 48318382080
260.45/266.58 c model valid
260.45/266.58 c current solution ok
260.45/266.59 c current bound: 48318382080
262.00/267.80 c model valid
262.00/267.91 c current solution ok
262.00/267.97 c current bound: 48318382080
262.86/269.17 c model valid
262.86/269.17 c current solution ok
262.86/269.17 c current bound: 48318382080
264.07/270.37 c model valid
264.07/270.37 c current solution ok
264.07/270.38 c current bound: 48318382080
265.28/271.59 c model valid
265.28/271.59 c current solution ok
265.28/271.59 c current bound: 48318382080
266.74/272.80 c model valid
266.74/272.80 c current solution ok
266.86/272.94 c current bound: 48318382080
267.72/274.14 c model valid
267.72/274.14 c current solution ok
267.72/274.15 c current bound: 48318382080
268.94/275.35 c model valid
268.94/275.35 c current solution ok
268.94/275.36 c current bound: 48318382080
270.15/276.56 c model valid
270.15/276.56 c current solution ok
270.15/276.57 c current bound: 48318382080
271.35/277.78 c model valid
271.35/277.78 c current solution ok
271.35/277.79 c current bound: 48318382080
272.57/279.07 c model valid
272.57/279.07 c current solution ok
272.57/279.08 c current bound: 48318382080
273.77/280.29 c model valid
273.77/280.29 c current solution ok
274.12/280.39 c current bound: 48318382080
275.24/281.59 c model valid
275.24/281.59 c current solution ok
275.24/281.60 c current bound: 48318382080
276.55/282.80 c model valid
276.55/282.80 c current solution ok
276.55/282.81 c current bound: 48318382080
277.41/284.13 c model valid
277.41/284.13 c current solution ok
277.41/284.14 c current bound: 48318382080
278.63/285.34 c model valid
278.63/285.34 c current solution ok
278.63/285.35 c current bound: 48318382080
279.84/286.56 c model valid
279.84/286.56 c current solution ok
279.84/286.56 c current bound: 48318382080
281.05/287.77 c model valid
281.05/287.77 c current solution ok
281.05/287.77 c current bound: 48318382080
282.27/288.98 c model valid
282.27/288.98 c current solution ok
282.27/288.98 c current bound: 48318382080
283.48/290.19 c model valid
283.48/290.19 c current solution ok
283.82/290.20 c current bound: 48318382080
284.69/291.40 c model valid
284.69/291.40 c current solution ok
285.03/291.40 c current bound: 48318382080
286.24/292.61 c model valid
286.24/292.61 c current solution ok
286.24/292.61 c current bound: 48318382080
287.43/293.82 c model valid
287.43/293.82 c current solution ok
287.43/293.83 c current bound: 48318382080
288.63/295.03 c model valid
288.63/295.03 c current solution ok
288.63/295.04 c current bound: 48318382080
289.53/296.23 c model valid
289.53/296.23 c current solution ok
289.53/296.24 c current bound: 48318382080
290.74/297.44 c model valid
290.74/297.44 c current solution ok
290.74/297.45 c current bound: 48318382080
291.94/298.78 c model valid
291.94/298.78 c current solution ok
291.94/298.79 c current bound: 48318382080
293.51/300.00 c model valid
293.51/300.00 c current solution ok
293.51/300.01 c current bound: 48318382080
294.71/301.21 c model valid
294.71/301.21 c current solution ok
294.71/301.22 c current bound: 48318382080
295.92/302.43 c model valid
295.92/302.43 c current solution ok
295.92/302.43 c current bound: 48318382080
297.10/303.64 c model valid
297.10/303.64 c current solution ok
297.17/303.79 c current bound: 48318382080
298.02/304.99 c model valid
298.02/304.99 c current solution ok
298.38/305.00 c current bound: 48318382080
299.58/306.22 c model valid
299.58/306.22 c current solution ok
299.58/306.23 c current bound: 48318382080
300.46/307.44 c model valid
300.46/307.44 c current solution ok
300.46/307.44 c current bound: 48318382080
301.67/308.66 c model valid
301.67/308.66 c current solution ok
302.02/308.81 c current bound: 48318382080
303.22/310.02 c model valid
303.22/310.02 c current solution ok
303.22/310.02 c current bound: 48318382080
304.43/311.23 c model valid
304.43/311.23 c current solution ok
304.43/311.24 c current bound: 48318382080
305.61/312.45 c model valid
305.61/312.45 c current solution ok
305.61/312.45 c current bound: 48318382080
306.80/313.65 c model valid
306.80/313.65 c current solution ok
306.89/313.84 c current bound: 48318382080
307.75/315.04 c model valid
307.75/315.04 c current solution ok
307.75/315.05 c current bound: 48318382080
308.97/316.26 c model valid
308.97/316.26 c current solution ok
308.97/316.27 c current bound: 48318382080
310.18/317.47 c model valid
310.18/317.47 c current solution ok
310.18/317.48 c current bound: 48318382080
311.40/318.69 c model valid
311.40/318.69 c current solution ok
311.40/318.69 c current bound: 48318382080
312.96/319.90 c model valid
312.96/319.90 c current solution ok
312.96/319.91 c current bound: 48318382080
314.16/321.11 c model valid
314.16/321.11 c current solution ok
314.16/321.12 c current bound: 48318382080
315.37/322.33 c model valid
315.37/322.33 c current solution ok
315.37/322.34 c current bound: 48318382080
316.55/323.54 c model valid
316.55/323.54 c current solution ok
316.55/323.55 c current bound: 48318382080
317.47/324.86 c model valid
317.47/324.86 c current solution ok
317.47/324.87 c current bound: 48318382080
318.67/326.08 c model valid
318.67/326.08 c current solution ok
318.67/326.09 c current bound: 48318382080
320.26/327.30 c model valid
320.26/327.30 c current solution ok
320.26/327.31 c current bound: 48318382080
321.45/328.51 c model valid
321.45/328.51 c current solution ok
321.45/328.52 c current bound: 48318382080
322.65/329.72 c model valid
322.65/329.72 c current solution ok
322.67/329.89 c current bound: 48318382080
323.78/331.10 c model valid
323.78/331.10 c current solution ok
323.90/331.11 c current bound: 48318382080
325.09/332.31 c model valid
325.09/332.31 c current solution ok
325.09/332.32 c current bound: 48318382080
326.29/333.52 c model valid
326.29/333.52 c current solution ok
326.29/333.53 c current bound: 48318382080
327.18/334.74 c model valid
327.18/334.74 c current solution ok
327.54/334.91 c current bound: 48318382080
328.73/336.11 c model valid
328.73/336.11 c current solution ok
328.73/336.12 c current bound: 48318382080
329.92/337.32 c model valid
329.92/337.32 c current solution ok
329.92/337.33 c current bound: 48318382080
330.82/338.54 c model valid
330.82/338.54 c current solution ok
330.82/338.55 c current bound: 48318382080
332.03/339.76 c model valid
332.03/339.76 c current solution ok
332.38/339.91 c current bound: 48318382080
333.58/341.12 c model valid
333.58/341.12 c current solution ok
333.58/341.13 c current bound: 48318382080
334.76/342.33 c model valid
334.76/342.33 c current solution ok
334.76/342.34 c current bound: 48318382080
335.68/343.55 c model valid
335.68/343.55 c current solution ok
335.68/343.55 c current bound: 48318382080
336.90/344.77 c model valid
336.90/344.77 c current solution ok
337.26/344.94 c current bound: 48318382080
338.13/346.14 c model valid
338.13/346.14 c current solution ok
338.13/346.15 c current bound: 48318382080
339.33/347.36 c model valid
339.33/347.36 c current solution ok
339.33/347.37 c current bound: 48318382080
340.56/348.58 c model valid
340.56/348.58 c current solution ok
340.56/348.59 c current bound: 48318382080
342.02/349.80 c model valid
342.02/349.80 c current solution ok
342.12/350.02 c current bound: 48318382080
342.99/351.24 c model valid
342.99/351.24 c current solution ok
342.99/351.24 c current bound: 48318382080
344.22/352.46 c model valid
344.22/352.46 c current solution ok
344.22/352.47 c current bound: 48318382080
345.44/353.67 c model valid
345.44/353.67 c current solution ok
345.44/353.68 c current bound: 48318382080
346.64/355.04 c model valid
346.64/355.04 c current solution ok
346.64/355.04 c current bound: 48318382080
347.88/356.25 c model valid
347.88/356.25 c current solution ok
347.88/356.25 c current bound: 48318382080
349.36/357.47 c model valid
349.36/357.47 c current solution ok
349.36/357.48 c current bound: 48318382080
350.56/358.68 c model valid
350.56/358.68 c current solution ok
350.56/358.69 c current bound: 48318382080
351.77/359.90 c model valid
351.77/359.90 c current solution ok
351.88/360.04 c current bound: 48318382080
352.74/361.26 c model valid
352.74/361.26 c current solution ok
352.74/361.27 c current bound: 48318382080
353.97/362.49 c model valid
353.97/362.49 c current solution ok
354.34/362.50 c current bound: 48318382080
355.54/363.70 c model valid
355.54/363.70 c current solution ok
355.54/363.71 c current bound: 48318382080
356.42/365.03 c model valid
356.42/365.03 c current solution ok
356.42/365.04 c current bound: 48318382080
357.92/366.26 c model valid
357.92/366.26 c current solution ok
357.92/366.26 c current bound: 48318382080
359.12/367.48 c model valid
359.12/367.48 c current solution ok
359.12/367.49 c current bound: 48318382080
360.33/368.69 c model valid
360.33/368.69 c current solution ok
360.33/368.69 c current bound: 48318382080
361.65/369.90 c model valid
361.65/369.90 c current solution ok
361.65/370.06 c current bound: 48318382080
362.51/371.28 c model valid
362.51/371.28 c current solution ok
362.51/371.28 c current bound: 48318382080
364.10/372.50 c model valid
364.10/372.50 c current solution ok
364.10/372.51 c current bound: 48318382080
365.29/373.73 c model valid
365.29/373.73 c current solution ok
365.29/373.74 c current bound: 48318382080
366.48/375.07 c model valid
366.48/375.07 c current solution ok
366.48/375.08 c current bound: 48318382080
367.66/376.29 c model valid
367.66/376.29 c current solution ok
367.66/376.29 c current bound: 48318382080
368.96/377.51 c model valid
368.96/377.51 c current solution ok
368.96/377.52 c current bound: 48318382080
370.17/378.72 c model valid
370.17/378.72 c current solution ok
370.17/378.73 c current bound: 48318382080
371.06/380.05 c model valid
371.06/380.05 c current solution ok
371.06/380.06 c current bound: 48318382080
372.26/381.27 c model valid
372.26/381.27 c current solution ok
372.26/381.28 c current bound: 48318382080
373.48/382.48 c model valid
373.48/382.48 c current solution ok
373.48/382.49 c current bound: 48318382080
375.04/383.70 c model valid
375.04/383.70 c current solution ok
375.04/383.71 c current bound: 48318382080
376.24/384.91 c model valid
376.24/384.91 c current solution ok
376.25/385.07 c current bound: 48318382080
377.36/386.27 c model valid
377.36/386.27 c current solution ok
377.36/386.28 c current bound: 48318382080
378.34/387.49 c model valid
378.34/387.49 c current solution ok
378.68/387.50 c current bound: 48318382080
379.88/388.71 c model valid
379.88/388.71 c current solution ok
379.88/388.72 c current bound: 48318382080
380.77/389.93 c model valid
380.77/389.93 c current solution ok
381.12/390.09 c current bound: 48318382080
382.33/391.31 c model valid
382.33/391.31 c current solution ok
382.33/391.32 c current bound: 48318382080
383.53/392.52 c model valid
383.53/392.52 c current solution ok
383.53/392.53 c current bound: 48318382080
384.72/393.74 c model valid
384.72/393.74 c current solution ok
384.72/393.74 c current bound: 48318382080
385.93/394.95 c model valid
385.93/394.95 c current solution ok
385.99/395.09 c current bound: 48318382080
387.20/396.30 c model valid
387.20/396.30 c current solution ok
387.20/396.30 c current bound: 48318382080
388.39/397.52 c model valid
388.39/397.52 c current solution ok
388.39/397.53 c current bound: 48318382080
389.28/398.74 c model valid
389.28/398.74 c current solution ok
389.28/398.75 c current bound: 48318382080
390.50/399.97 c model valid
390.50/399.97 c current solution ok
390.87/400.14 c current bound: 48318382080
391.73/401.34 c model valid
391.73/401.34 c current solution ok
391.73/401.35 c current bound: 48318382080
393.22/402.55 c model valid
393.22/402.55 c current solution ok
393.22/402.56 c current bound: 48318382080
394.43/403.76 c model valid
394.43/403.76 c current solution ok
394.43/403.77 c current bound: 48318382080
395.63/404.98 c model valid
395.63/404.98 c current solution ok
395.72/405.16 c current bound: 48318382080
396.58/406.37 c model valid
396.58/406.37 c current solution ok
396.58/406.38 c current bound: 48318382080
397.79/407.59 c model valid
397.79/407.59 c current solution ok
397.79/407.60 c current bound: 48318382080
399.35/408.81 c model valid
399.35/408.81 c current solution ok
399.35/408.82 c current bound: 48318382080
400.23/410.19 c model valid
400.23/410.19 c current solution ok
400.23/410.20 c current bound: 48318382080
401.81/411.40 c model valid
401.81/411.40 c current solution ok
401.81/411.41 c current bound: 48318382080
403.02/412.62 c model valid
403.02/412.62 c current solution ok
403.02/412.63 c current bound: 48318382080
404.20/413.83 c model valid
404.20/413.83 c current solution ok
404.20/413.84 c current bound: 48318382080
405.11/415.16 c model valid
405.11/415.16 c current solution ok
405.11/415.17 c current bound: 48318382080
406.32/416.38 c model valid
406.32/416.38 c current solution ok
406.32/416.38 c current bound: 48318382080
407.53/417.59 c model valid
407.53/417.59 c current solution ok
407.87/417.60 c current bound: 48318382080
409.08/418.80 c model valid
409.08/418.80 c current solution ok
409.08/418.81 c current bound: 48318382080
410.28/420.02 c model valid
410.28/420.02 c current solution ok
410.31/420.16 c current bound: 48318382080
411.42/421.37 c model valid
411.42/421.37 c current solution ok
411.42/421.38 c current bound: 48318382080
412.62/422.59 c model valid
412.62/422.59 c current solution ok
412.62/422.60 c current bound: 48318382080
413.93/423.81 c model valid
413.93/423.81 c current solution ok
413.93/423.82 c current bound: 48318382080
415.14/425.03 c model valid
415.14/425.03 c current solution ok
415.17/425.18 c current bound: 48318382080
416.03/426.39 c model valid
416.03/426.39 c current solution ok
416.38/426.40 c current bound: 48318382080
417.60/427.61 c model valid
417.60/427.61 c current solution ok
417.60/427.62 c current bound: 48318382080
418.78/428.82 c model valid
418.78/428.82 c current solution ok
418.78/428.83 c current bound: 48318382080
419.98/430.03 c model valid
419.98/430.03 c current solution ok
420.01/430.19 c current bound: 48318382080
421.11/431.39 c model valid
421.11/431.39 c current solution ok
421.22/431.40 c current bound: 48318382080
422.43/432.60 c model valid
422.43/432.60 c current solution ok
422.43/432.61 c current bound: 48318382080
423.63/433.82 c model valid
423.63/433.82 c current solution ok
423.63/433.83 c current bound: 48318382080
424.52/435.03 c model valid
424.52/435.03 c current solution ok
424.87/435.25 c current bound: 48318382080
425.74/436.45 c model valid
425.74/436.45 c current solution ok
425.74/436.46 c current bound: 48318382080
426.93/437.66 c model valid
426.93/437.66 c current solution ok
426.93/437.67 c current bound: 48318382080
428.41/438.88 c model valid
428.41/438.88 c current solution ok
428.41/438.89 c current bound: 48318382080
429.72/440.10 c model valid
429.72/440.10 c current solution ok
429.72/440.11 c current bound: 48318382080
430.92/441.32 c model valid
430.92/441.32 c current solution ok
430.92/441.33 c current bound: 48318382080
431.82/442.53 c model valid
431.82/442.53 c current solution ok
431.82/442.54 c current bound: 48318382080
433.02/443.75 c model valid
433.02/443.75 c current solution ok
433.02/443.75 c current bound: 48318382080
434.25/444.96 c model valid
434.25/444.96 c current solution ok
434.25/444.97 c current bound: 48318382080
435.45/446.17 c model valid
435.45/446.17 c current solution ok
435.45/446.18 c current bound: 48318382080
436.66/447.38 c model valid
436.66/447.38 c current solution ok
436.66/447.39 c current bound: 48318382080
438.22/448.60 c model valid
438.22/448.60 c current solution ok
438.22/448.61 c current bound: 48318382080
439.43/449.82 c model valid
439.43/449.82 c current solution ok
439.43/449.82 c current bound: 48318382080
440.30/451.03 c model valid
440.30/451.03 c current solution ok
440.30/451.04 c current bound: 48318382080
441.83/452.34 c model valid
441.83/452.34 c current solution ok
441.83/452.35 c current bound: 48318382080
442.75/453.55 c model valid
442.75/453.55 c current solution ok
442.75/453.56 c current bound: 48318382080
443.98/454.77 c model valid
443.98/454.77 c current solution ok
443.98/454.78 c current bound: 48318382080
445.55/456.00 c model valid
445.55/456.00 c current solution ok
445.55/456.01 c current bound: 48318382080
446.74/457.21 c model valid
446.74/457.21 c current solution ok
446.74/457.22 c current bound: 48318382080
447.95/458.42 c model valid
447.95/458.42 c current solution ok
447.95/458.43 c current bound: 48318382080
448.83/459.65 c model valid
448.83/459.65 c current solution ok
448.83/459.65 c current bound: 48318382080
450.33/460.86 c model valid
450.33/460.86 c current solution ok
450.33/460.87 c current bound: 48318382080
451.56/462.16 c model valid
451.56/462.16 c current solution ok
451.56/462.16 c current bound: 48318382080
452.48/463.37 c model valid
452.48/463.37 c current solution ok
452.48/463.38 c current bound: 48318382080
453.70/464.58 c model valid
453.70/464.58 c current solution ok
453.70/464.59 c current bound: 48318382080
454.91/465.79 c model valid
454.91/465.79 c current solution ok
455.25/465.80 c current bound: 48318382080
456.45/467.00 c model valid
456.45/467.00 c current solution ok
456.45/467.01 c current bound: 48318382080
457.66/468.31 c model valid
457.66/468.31 c current solution ok
457.66/468.32 c current bound: 48318382080
458.54/469.53 c model valid
458.54/469.53 c current solution ok
458.54/469.54 c current bound: 48318382080
460.04/470.76 c model valid
460.04/470.76 c current solution ok
460.04/470.76 c current bound: 48318382080
461.26/471.97 c model valid
461.26/471.97 c current solution ok
461.26/471.98 c current bound: 48318382080
462.45/473.18 c model valid
462.45/473.18 c current solution ok
462.45/473.19 c current bound: 48318382080
463.76/474.40 c model valid
463.76/474.40 c current solution ok
463.76/474.41 c current bound: 48318382080
464.97/475.62 c model valid
464.97/475.62 c current solution ok
464.97/475.62 c current bound: 48318382080
466.16/476.82 c model valid
466.16/476.82 c current solution ok
466.16/476.83 c current bound: 48318382080
467.06/478.17 c model valid
467.06/478.17 c current solution ok
467.06/478.18 c current bound: 48318382080
468.27/479.38 c model valid
468.27/479.38 c current solution ok
468.27/479.39 c current bound: 48318382080
469.49/480.60 c model valid
469.49/480.60 c current solution ok
469.83/480.60 c current bound: 48318382080
471.04/481.82 c model valid
471.04/481.82 c current solution ok
471.04/481.83 c current bound: 48318382080
472.23/483.24 c model valid
472.23/483.24 c current solution ok
472.23/483.25 c current bound: 48318382080
473.13/484.45 c model valid
473.13/484.45 c current solution ok
473.13/484.46 c current bound: 48318382080
474.35/485.66 c model valid
474.35/485.66 c current solution ok
474.35/485.67 c current bound: 48318382080
475.56/486.88 c model valid
475.56/486.88 c current solution ok
475.56/486.88 c current bound: 48318382080
476.78/488.25 c model valid
476.78/488.25 c current solution ok
476.78/488.26 c current bound: 48318382080
478.26/489.47 c model valid
478.26/489.47 c current solution ok
478.26/489.47 c current bound: 48318382080
479.47/490.69 c model valid
479.47/490.69 c current solution ok
479.47/490.69 c current bound: 48318382080
480.77/491.92 c model valid
480.77/491.92 c current solution ok
480.77/491.93 c current bound: 48318382080
482.01/493.31 c model valid
482.01/493.31 c current solution ok
482.01/493.31 c current bound: 48318382080
483.21/494.52 c model valid
483.21/494.52 c current solution ok
483.21/494.53 c current bound: 48318382080
484.09/495.73 c model valid
484.09/495.73 c current solution ok
484.09/495.74 c current bound: 48318382080
485.31/496.94 c model valid
485.31/496.94 c current solution ok
485.31/496.95 c current bound: 48318382080
486.79/498.27 c model valid
486.79/498.27 c current solution ok
486.79/498.27 c current bound: 48318382080
487.98/499.49 c model valid
487.98/499.49 c current solution ok
487.98/499.49 c current bound: 48318382080
489.29/500.70 c model valid
489.29/500.70 c current solution ok
489.29/500.71 c current bound: 48318382080
490.48/501.92 c model valid
490.48/501.92 c current solution ok
490.48/501.92 c current bound: 48318382080
491.69/503.13 c model valid
491.69/503.13 c current solution ok
491.72/503.30 c current bound: 48318382080
492.92/504.50 c model valid
492.92/504.50 c current solution ok
492.92/504.51 c current bound: 48318382080
494.12/505.71 c model valid
494.12/505.71 c current solution ok
494.12/505.72 c current bound: 48318382080
495.00/506.93 c model valid
495.00/506.93 c current solution ok
495.00/506.94 c current bound: 48318382080
496.51/508.15 c model valid
496.51/508.15 c current solution ok
496.58/508.31 c current bound: 48318382080
497.77/509.51 c model valid
497.77/509.51 c current solution ok
497.77/509.52 c current bound: 48318382080
498.97/510.72 c model valid
498.97/510.72 c current solution ok
498.97/510.73 c current bound: 48318382080
499.87/511.95 c model valid
499.87/511.95 c current solution ok
499.87/511.95 c current bound: 48318382080
501.09/513.15 c model valid
501.09/513.15 c current solution ok
501.43/513.34 c current bound: 48318382080
502.29/514.54 c model valid
502.29/514.54 c current solution ok
502.29/514.55 c current bound: 48318382080
503.51/515.77 c model valid
503.51/515.77 c current solution ok
503.51/515.78 c current bound: 48318382080
504.99/516.99 c model valid
504.99/516.99 c current solution ok
504.99/517.00 c current bound: 48318382080
506.24/518.35 c model valid
506.24/518.35 c current solution ok
506.24/518.36 c current bound: 48318382080
507.16/519.56 c model valid
507.16/519.56 c current solution ok
507.16/519.57 c current bound: 48318382080
508.37/520.77 c model valid
508.37/520.77 c current solution ok
508.37/520.78 c current bound: 48318382080
509.59/521.98 c model valid
509.59/521.98 c current solution ok
509.59/521.99 c current bound: 48318382080
510.80/523.39 c model valid
510.80/523.39 c current solution ok
511.14/523.40 c current bound: 48318382080
512.35/524.61 c model valid
512.35/524.61 c current solution ok
512.35/524.61 c current bound: 48318382080
513.55/525.81 c model valid
513.55/525.81 c current solution ok
513.55/525.82 c current bound: 48318382080
514.75/527.03 c model valid
514.75/527.03 c current solution ok
514.75/527.03 c current bound: 48318382080
515.92/528.39 c model valid
515.92/528.39 c current solution ok
515.99/528.40 c current bound: 48318382080
517.19/529.60 c model valid
517.19/529.60 c current solution ok
517.19/529.61 c current bound: 48318382080
518.39/530.81 c model valid
518.39/530.81 c current solution ok
518.39/530.82 c current bound: 48318382080
519.26/532.03 c model valid
519.26/532.03 c current solution ok
519.26/532.04 c current bound: 48318382080
520.49/533.37 c model valid
520.49/533.37 c current solution ok
520.49/533.38 c current bound: 48318382080
521.94/534.58 c model valid
521.94/534.58 c current solution ok
521.94/534.59 c current bound: 48318382080
523.17/535.79 c model valid
523.17/535.79 c current solution ok
523.26/535.80 c current bound: 48318382080
524.46/537.01 c model valid
524.46/537.01 c current solution ok
524.46/537.02 c current bound: 48318382080
525.67/538.22 c model valid
525.67/538.22 c current solution ok
525.69/538.36 c current bound: 48318382080
526.55/539.57 c model valid
526.55/539.57 c current solution ok
526.55/539.57 c current bound: 48318382080
527.77/540.78 c model valid
527.77/540.78 c current solution ok
527.77/540.79 c current bound: 48318382080
528.98/541.99 c model valid
528.98/541.99 c current solution ok
529.32/542.00 c current bound: 48318382080
530.53/543.21 c model valid
530.53/543.21 c current solution ok
530.53/543.22 c current bound: 48318382080
531.73/544.42 c model valid
531.73/544.42 c current solution ok
531.73/544.42 c current bound: 48318382080
532.94/545.63 c model valid
532.94/545.63 c current solution ok
532.94/545.63 c current bound: 48318382080
534.12/546.83 c model valid
534.12/546.83 c current solution ok
534.12/546.84 c current bound: 48318382080
535.04/548.04 c model valid
535.04/548.04 c current solution ok
535.04/548.05 c current bound: 48318382080
536.26/549.25 c model valid
536.26/549.25 c current solution ok
536.26/549.26 c current bound: 48318382080
537.46/550.46 c model valid
537.46/550.46 c current solution ok
537.46/550.46 c current bound: 48318382080
538.67/551.67 c model valid
538.67/551.67 c current solution ok
538.67/551.68 c current bound: 48318382080
539.87/552.88 c model valid
539.87/552.88 c current solution ok
539.87/552.88 c current bound: 48318382080
541.08/554.09 c model valid
541.43/554.10 c current solution ok
541.43/554.10 c current bound: 48318382080
542.62/555.31 c model valid
542.62/555.31 c current solution ok
542.62/555.32 c current bound: 48318382080
543.83/556.53 c model valid
543.83/556.53 c current solution ok
543.83/556.54 c current bound: 48318382080
545.01/557.74 c model valid
545.01/557.74 c current solution ok
545.01/557.75 c current bound: 48318382080
546.22/558.95 c model valid
546.22/558.95 c current solution ok
546.22/558.96 c current bound: 48318382080
547.45/560.23 c model valid
547.45/560.23 c current solution ok
547.45/560.23 c current bound: 48318382080
548.35/561.44 c model valid
548.35/561.44 c current solution ok
548.35/561.44 c current bound: 48318382080
549.56/562.65 c model valid
549.56/562.65 c current solution ok
549.56/562.66 c current bound: 48318382080
550.77/563.86 c model valid
550.77/563.86 c current solution ok
550.77/563.87 c current bound: 48318382080
551.99/565.07 c model valid
551.99/565.07 c current solution ok
551.99/565.08 c current bound: 48318382080
553.19/566.28 c model valid
553.19/566.28 c current solution ok
553.19/566.29 c current bound: 48318382080
554.41/567.48 c model valid
554.41/567.49 c current solution ok
554.41/567.49 c current bound: 48318382080
555.86/568.69 c model valid
555.86/568.69 c current solution ok
555.95/568.70 c current bound: 48318382080
557.12/570.04 c model valid
557.12/570.04 c current solution ok
557.12/570.04 c current bound: 48318382080
558.04/571.25 c model valid
558.04/571.25 c current solution ok
558.04/571.26 c current bound: 48318382080
559.26/572.46 c model valid
559.26/572.46 c current solution ok
559.26/572.47 c current bound: 48318382080
560.46/573.67 c model valid
560.46/573.67 c current solution ok
560.46/573.68 c current bound: 48318382080
561.67/574.88 c model valid
561.67/574.88 c current solution ok
562.03/575.04 c current bound: 48318382080
562.88/576.24 c model valid
562.88/576.24 c current solution ok
562.88/576.25 c current bound: 48318382080
564.38/577.45 c model valid
564.38/577.45 c current solution ok
564.38/577.46 c current bound: 48318382080
565.57/578.67 c model valid
565.57/578.67 c current solution ok
565.57/578.68 c current bound: 48318382080
566.77/579.88 c model valid
566.77/579.88 c current solution ok
566.87/580.21 c current bound: 48318382080
568.06/581.42 c model valid
568.06/581.42 c current solution ok
568.06/581.42 c current bound: 48318382080
569.27/582.62 c model valid
569.27/582.62 c current solution ok
569.27/582.63 c current bound: 48318382080
570.16/583.83 c model valid
570.16/583.83 c current solution ok
570.16/583.84 c current bound: 48318382080
571.35/585.04 c model valid
571.35/585.04 c current solution ok
571.35/585.05 c current bound: 48318382080
572.84/586.25 c model valid
572.84/586.25 c current solution ok
572.84/586.26 c current bound: 48318382080
574.06/587.46 c model valid
574.06/587.46 c current solution ok
574.06/587.47 c current bound: 48318382080
575.23/588.67 c model valid
575.23/588.67 c current solution ok
575.23/588.68 c current bound: 48318382080
576.20/589.89 c model valid
576.20/589.89 c current solution ok
576.20/589.89 c current bound: 48318382080
577.75/591.10 c model valid
577.75/591.10 c current solution ok
577.75/591.11 c current bound: 48318382080
578.95/592.32 c model valid
578.95/592.32 c current solution ok
578.95/592.32 c current bound: 48318382080
580.16/593.53 c model valid
580.16/593.53 c current solution ok
580.16/593.53 c current bound: 48318382080
581.04/594.73 c model valid
581.04/594.73 c current solution ok
581.04/594.74 c current bound: 48318382080
582.26/595.95 c model valid
582.26/595.95 c current solution ok
582.26/595.95 c current bound: 48318382080
583.76/597.35 c model valid
583.76/597.35 c current solution ok
583.76/597.35 c current bound: 48318382080
584.96/598.57 c model valid
584.96/598.57 c current solution ok
584.96/598.58 c current bound: 48318382080
585.90/599.78 c model valid
585.90/599.78 c current solution ok
585.90/599.79 c current bound: 48318382080
587.47/601.00 c model valid
587.47/601.00 c current solution ok
587.47/601.01 c current bound: 48318382080
588.34/602.29 c model valid
588.34/602.29 c current solution ok
588.69/602.30 c current bound: 48318382080
589.89/603.50 c model valid
589.89/603.50 c current solution ok
589.89/603.51 c current bound: 48318382080
591.09/604.72 c model valid
591.09/604.72 c current solution ok
591.09/604.73 c current bound: 48318382080
591.98/605.93 c model valid
591.98/605.93 c current solution ok
591.98/605.94 c current bound: 48318382080
593.47/607.15 c model valid
593.47/607.15 c current solution ok
593.47/607.16 c current bound: 48318382080
594.68/608.36 c model valid
594.68/608.36 c current solution ok
594.68/608.37 c current bound: 48318382080
595.87/609.57 c model valid
595.87/609.57 c current solution ok
595.87/609.58 c current bound: 48318382080
596.82/610.78 c model valid
596.82/610.78 c current solution ok
596.82/610.79 c current bound: 48318382080
598.03/612.03 c model valid
598.03/612.03 c current solution ok
598.38/612.12 c current bound: 48318382080
599.56/613.32 c model valid
599.56/613.32 c current solution ok
599.56/613.32 c current bound: 48318382080
600.77/614.53 c model valid
600.77/614.53 c current solution ok
600.77/614.53 c current bound: 48318382080
601.66/615.73 c model valid
601.66/615.73 c current solution ok
601.66/615.74 c current bound: 48318382080
602.88/616.94 c model valid
602.88/616.94 c current solution ok
602.88/616.95 c current bound: 48318382080
604.36/618.15 c model valid
604.36/618.15 c current solution ok
604.36/618.16 c current bound: 48318382080
605.58/619.36 c model valid
605.58/619.36 c current solution ok
605.58/619.37 c current bound: 48318382080
606.75/620.57 c model valid
606.75/620.57 c current solution ok
606.75/620.58 c current bound: 48318382080
607.71/621.78 c model valid
607.71/621.78 c current solution ok
607.71/621.79 c current bound: 48318382080
609.28/623.00 c model valid
609.28/623.00 c current solution ok
609.28/623.01 c current bound: 48318382080
610.47/624.21 c model valid
610.47/624.21 c current solution ok
610.47/624.21 c current bound: 48318382080
611.67/625.42 c model valid
611.67/625.42 c current solution ok
611.67/625.43 c current bound: 48318382080
612.57/626.63 c model valid
612.57/626.63 c current solution ok
612.57/626.64 c current bound: 48318382080
613.79/627.95 c model valid
613.79/627.95 c current solution ok
613.79/627.96 c current bound: 48318382080
615.27/629.17 c model valid
615.27/629.17 c current solution ok
615.27/629.18 c current bound: 48318382080
616.45/630.38 c model valid
616.45/630.38 c current solution ok
616.56/630.42 c current bound: 48318382080
617.74/631.63 c model valid
617.74/631.63 c current solution ok
617.74/631.63 c current bound: 48318382080
618.64/632.96 c model valid
618.64/632.96 c current solution ok
618.64/632.97 c current bound: 48318382080
619.85/634.17 c model valid
619.85/634.17 c current solution ok
619.85/634.18 c current bound: 48318382080
621.06/635.38 c model valid
621.06/635.38 c current solution ok
621.06/635.39 c current bound: 48318382080
622.26/636.58 c model valid
622.26/636.58 c current solution ok
622.26/636.59 c current bound: 48318382080
623.83/637.80 c model valid
623.83/637.80 c current solution ok
623.84/637.97 c current bound: 48318382080
624.97/639.17 c model valid
624.97/639.17 c current solution ok
624.97/639.18 c current bound: 48318382080
626.16/640.39 c model valid
626.16/640.39 c current solution ok
626.16/640.39 c current bound: 48318382080
627.12/641.59 c model valid
627.12/641.59 c current solution ok
627.48/641.60 c current bound: 48318382080
628.67/642.80 c model valid
628.67/642.80 c current solution ok
628.68/642.97 c current bound: 48318382080
629.54/644.17 c model valid
629.54/644.17 c current solution ok
629.54/644.18 c current bound: 48318382080
630.75/645.38 c model valid
630.75/645.38 c current solution ok
630.75/645.39 c current bound: 48318382080
631.95/646.59 c model valid
631.95/646.59 c current solution ok
632.30/646.60 c current bound: 48318382080
633.16/647.80 c model valid
633.16/647.80 c current solution ok
633.51/647.81 c current bound: 48318382080
634.71/649.01 c model valid
634.71/649.01 c current solution ok
634.71/649.02 c current bound: 48318382080
635.90/650.22 c model valid
635.90/650.22 c current solution ok
635.90/650.23 c current bound: 48318382080
637.08/651.44 c model valid
637.08/651.44 c current solution ok
637.08/651.45 c current bound: 48318382080
638.01/652.64 c model valid
638.01/652.64 c current solution ok
638.01/652.65 c current bound: 48318382080
639.56/654.00 c model valid
639.56/654.00 c current solution ok
639.56/654.01 c current bound: 48318382080
640.77/655.21 c model valid
640.77/655.21 c current solution ok
640.77/655.22 c current bound: 48318382080
641.96/656.42 c model valid
641.96/656.42 c current solution ok
641.96/656.43 c current bound: 48318382080
643.17/657.63 c model valid
643.17/657.63 c current solution ok
643.17/657.64 c current bound: 48318382080
644.40/659.02 c model valid
644.40/659.02 c current solution ok
644.40/659.02 c current bound: 48318382080
645.59/660.22 c model valid
645.59/660.22 c current solution ok
645.59/660.23 c current bound: 48318382080
646.49/661.43 c model valid
646.49/661.43 c current solution ok
646.49/661.44 c current bound: 48318382080
647.70/662.64 c model valid
647.70/662.64 c current solution ok
647.70/662.65 c current bound: 48318382080
648.91/663.97 c model valid
648.91/663.97 c current solution ok
648.91/663.98 c current bound: 48318382080
650.48/665.21 c model valid
650.48/665.21 c current solution ok
650.48/665.21 c current bound: 48318382080
651.68/666.41 c model valid
651.68/666.41 c current solution ok
651.68/666.42 c current bound: 48318382080
652.89/667.63 c model valid
652.89/667.63 c current solution ok
652.89/667.64 c current bound: 48318382080
654.11/669.02 c model valid
654.11/669.02 c current solution ok
654.11/669.02 c current bound: 48318382080
655.31/670.23 c model valid
655.31/670.23 c current solution ok
655.31/670.23 c current bound: 48318382080
656.22/671.43 c model valid
656.22/671.43 c current solution ok
656.22/671.44 c current bound: 48318382080
657.42/672.65 c model valid
657.42/672.65 c current solution ok
657.42/672.66 c current bound: 48318382080
658.64/673.97 c model valid
658.64/673.97 c current solution ok
658.64/673.98 c current bound: 48318382080
659.84/675.19 c model valid
659.84/675.19 c current solution ok
660.19/675.20 c current bound: 48318382080
661.06/676.40 c model valid
661.06/676.40 c current solution ok
661.41/676.41 c current bound: 48318382080
662.61/677.62 c model valid
662.61/677.62 c current solution ok
662.61/677.62 c current bound: 48318382080
663.79/678.84 c model valid
663.79/678.84 c current solution ok
663.85/679.00 c current bound: 48318382080
665.06/680.20 c model valid
665.06/680.20 c current solution ok
665.06/680.21 c current bound: 48318382080
666.26/681.41 c model valid
666.26/681.41 c current solution ok
666.26/681.41 c current bound: 48318382080
667.46/682.61 c model valid
667.46/682.61 c current solution ok
667.46/682.62 c current bound: 48318382080
668.67/683.82 c model valid
668.67/683.82 c current solution ok
668.67/683.82 c current bound: 48318382080
669.54/685.13 c model valid
669.54/685.13 c current solution ok
669.54/685.14 c current bound: 48318382080
671.05/686.35 c model valid
671.05/686.35 c current solution ok
671.05/686.36 c current bound: 48318382080
672.26/687.56 c model valid
672.26/687.56 c current solution ok
672.26/687.57 c current bound: 48318382080
673.45/688.77 c model valid
673.45/688.77 c current solution ok
673.45/688.78 c current bound: 48318382080
674.40/689.98 c model valid
674.40/689.98 c current solution ok
674.40/689.99 c current bound: 48318382080
675.60/691.19 c model valid
675.60/691.19 c current solution ok
675.96/691.20 c current bound: 48318382080
677.16/692.40 c model valid
677.16/692.40 c current solution ok
677.16/692.41 c current bound: 48318382080
678.36/693.61 c model valid
678.36/693.61 c current solution ok
678.36/693.62 c current bound: 48318382080
679.56/694.82 c model valid
679.56/694.82 c current solution ok
679.56/694.83 c current bound: 48318382080
680.45/696.03 c model valid
680.45/696.03 c current solution ok
680.45/696.04 c current bound: 48318382080
681.66/697.24 c model valid
681.66/697.24 c current solution ok
681.66/697.25 c current bound: 48318382080
683.15/698.45 c model valid
683.15/698.45 c current solution ok
683.15/698.46 c current bound: 48318382080
684.39/699.83 c model valid
684.39/699.83 c current solution ok
684.39/699.84 c current bound: 48318382080
685.30/701.04 c model valid
685.30/701.04 c current solution ok
685.30/701.05 c current bound: 48318382080
686.51/702.26 c model valid
686.51/702.26 c current solution ok
686.51/702.27 c current bound: 48318382080
687.74/703.47 c model valid
687.74/703.47 c current solution ok
687.74/703.48 c current bound: 48318382080
689.27/704.83 c model valid
689.27/704.83 c current solution ok
689.27/704.83 c current bound: 48318382080
690.16/706.03 c model valid
690.16/706.03 c current solution ok
690.16/706.04 c current bound: 48318382080
691.65/707.24 c model valid
691.65/707.24 c current solution ok
691.65/707.25 c current bound: 48318382080
692.85/708.45 c model valid
692.85/708.45 c current solution ok
692.85/708.46 c current bound: 48318382080
694.11/709.82 c model valid
694.11/709.82 c current solution ok
694.11/709.83 c current bound: 48318382080
695.00/711.03 c model valid
695.00/711.03 c current solution ok
695.00/711.04 c current bound: 48318382080
696.20/712.24 c model valid
696.20/712.24 c current solution ok
696.20/712.25 c current bound: 48318382080
697.42/713.46 c model valid
697.42/713.46 c current solution ok
697.42/713.47 c current bound: 48318382080
698.65/714.83 c model valid
698.65/714.83 c current solution ok
698.65/714.83 c current bound: 48318382080
700.16/716.03 c model valid
700.16/716.03 c current solution ok
700.16/716.04 c current bound: 48318382080
701.36/717.25 c model valid
701.36/717.25 c current solution ok
701.36/717.26 c current bound: 48318382080
702.55/718.46 c model valid
702.55/718.46 c current solution ok
702.55/718.47 c current bound: 48318382080
703.48/719.84 c model valid
703.48/719.84 c current solution ok
703.48/719.85 c current bound: 48318382080
704.70/721.06 c model valid
704.70/721.06 c current solution ok
704.70/721.07 c current bound: 48318382080
705.91/722.28 c model valid
705.91/722.28 c current solution ok
705.91/722.29 c current bound: 48318382080
707.15/723.49 c model valid
707.15/723.49 c current solution ok
707.49/723.50 c current bound: 48318382080
708.65/724.84 c model valid
708.65/724.84 c current solution ok
708.65/724.84 c current bound: 48318382080
709.85/726.05 c model valid
709.85/726.05 c current solution ok
709.85/726.06 c current bound: 48318382080
711.03/727.26 c model valid
711.03/727.26 c current solution ok
711.03/727.27 c current bound: 48318382080
711.98/728.47 c model valid
711.98/728.47 c current solution ok
711.98/728.48 c current bound: 48318382080
713.18/729.68 c model valid
713.18/729.68 c current solution ok
713.55/729.83 c current bound: 48318382080
714.40/731.03 c model valid
714.40/731.03 c current solution ok
714.40/731.04 c current bound: 48318382080
715.61/732.24 c model valid
715.61/732.24 c current solution ok
715.61/732.25 c current bound: 48318382080
716.82/733.45 c model valid
716.82/733.45 c current solution ok
716.82/733.46 c current bound: 48318382080
718.03/734.65 c model valid
718.03/734.65 c current solution ok
718.03/734.66 c current bound: 48318382080
719.48/735.98 c model valid
719.48/735.98 c current solution ok
719.48/735.99 c current bound: 48318382080
720.69/737.19 c model valid
720.69/737.19 c current solution ok
720.79/737.20 c current bound: 48318382080
721.98/738.41 c model valid
721.98/738.41 c current solution ok
721.98/738.41 c current bound: 48318382080
723.20/739.62 c model valid
723.20/739.62 c current solution ok
723.20/739.63 c current bound: 48318382080
724.09/740.83 c model valid
724.09/740.83 c current solution ok
724.09/740.84 c current bound: 48318382080
725.30/742.04 c model valid
725.30/742.04 c current solution ok
725.30/742.05 c current bound: 48318382080
726.51/743.25 c model valid
726.51/743.25 c current solution ok
726.51/743.26 c current bound: 48318382080
727.73/744.46 c model valid
727.73/744.46 c current solution ok
727.73/744.47 c current bound: 48318382080
729.27/745.82 c model valid
729.27/745.82 c current solution ok
729.27/745.83 c current bound: 48318382080
730.44/747.03 c model valid
730.44/747.03 c current solution ok
730.44/747.04 c current bound: 48318382080
731.36/748.25 c model valid
731.36/748.25 c current solution ok
731.36/748.26 c current bound: 48318382080
732.57/749.46 c model valid
732.57/749.46 c current solution ok
732.57/749.47 c current bound: 48318382080
734.14/750.80 c model valid
734.14/750.80 c current solution ok
734.14/750.81 c current bound: 48318382080
735.34/752.01 c model valid
735.34/752.01 c current solution ok
735.34/752.02 c current bound: 48318382080
736.54/753.23 c model valid
736.54/753.23 c current solution ok
736.54/753.23 c current bound: 48318382080
737.42/754.44 c model valid
737.42/754.44 c current solution ok
737.42/754.45 c current bound: 48318382080
738.92/755.65 c model valid
738.92/755.65 c current solution ok
738.98/755.84 c current bound: 48318382080
739.84/757.04 c model valid
739.84/757.04 c current solution ok
739.84/757.05 c current bound: 48318382080
741.06/758.26 c model valid
741.06/758.26 c current solution ok
741.06/758.27 c current bound: 48318382080
742.28/759.47 c model valid
742.28/759.47 c current solution ok
742.28/759.48 c current bound: 48318382080
743.50/760.83 c model valid
743.50/760.83 c current solution ok
743.50/760.84 c current bound: 48318382080
744.71/762.04 c model valid
744.71/762.04 c current solution ok
744.71/762.05 c current bound: 48318382080
745.92/763.25 c model valid
745.92/763.25 c current solution ok
745.92/763.26 c current bound: 48318382080
747.40/764.46 c model valid
747.40/764.46 c current solution ok
747.40/764.47 c current bound: 48318382080
748.61/765.69 c model valid
748.61/765.69 c current solution ok
748.71/765.85 c current bound: 48318382080
749.57/767.06 c model valid
749.57/767.06 c current solution ok
749.57/767.07 c current bound: 48318382080
750.79/768.27 c model valid
750.79/768.27 c current solution ok
750.79/768.27 c current bound: 48318382080
752.00/769.48 c model valid
752.00/769.48 c current solution ok
752.00/769.49 c current bound: 48318382080
753.20/770.68 c model valid
753.20/770.68 c current solution ok
753.20/770.69 c current bound: 48318382080
754.41/771.89 c model valid
754.41/771.89 c current solution ok
754.75/771.90 c current bound: 48318382080
755.95/773.11 c model valid
755.95/773.11 c current solution ok
755.95/773.12 c current bound: 48318382080
757.17/774.32 c model valid
757.17/774.32 c current solution ok
757.17/774.33 c current bound: 48318382080
758.34/775.54 c model valid
758.34/775.54 c current solution ok
758.34/775.55 c current bound: 48318382080
759.54/776.76 c model valid
759.54/776.76 c current solution ok
759.54/776.77 c current bound: 48318382080
760.49/777.97 c model valid
760.49/777.97 c current solution ok
760.49/777.98 c current bound: 48318382080
761.70/779.19 c model valid
761.70/779.19 c current solution ok
762.05/779.20 c current bound: 48318382080
763.26/780.40 c model valid
763.26/780.40 c current solution ok
763.26/780.41 c current bound: 48318382080
764.13/781.74 c model valid
764.13/781.74 c current solution ok
764.13/781.74 c current bound: 48318382080
765.36/782.95 c model valid
765.36/782.95 c current solution ok
765.36/782.96 c current bound: 48318382080
766.57/784.17 c model valid
766.57/784.17 c current solution ok
766.57/784.18 c current bound: 48318382080
768.04/785.39 c model valid
768.04/785.39 c current solution ok
768.04/785.40 c current bound: 48318382080
769.32/786.74 c model valid
769.32/786.74 c current solution ok
769.32/786.75 c current bound: 48318382080
770.25/787.98 c model valid
770.25/787.98 c current solution ok
770.25/787.98 c current bound: 48318382080
771.46/789.19 c model valid
771.46/789.19 c current solution ok
771.46/789.19 c current bound: 48318382080
773.02/790.40 c model valid
773.02/790.40 c current solution ok
773.02/790.41 c current bound: 48318382080
773.88/791.75 c model valid
773.88/791.75 c current solution ok
773.88/791.76 c current bound: 48318382080
775.10/792.96 c model valid
775.10/792.96 c current solution ok
775.10/792.97 c current bound: 48318382080
776.61/794.17 c model valid
776.61/794.17 c current solution ok
776.61/794.18 c current bound: 48318382080
777.80/795.38 c model valid
777.80/795.38 c current solution ok
777.80/795.39 c current bound: 48318382080
778.99/796.59 c model valid
778.99/796.59 c current solution ok
779.10/796.75 c current bound: 48318382080
779.98/797.98 c model valid
779.98/797.98 c current solution ok
779.98/797.99 c current bound: 48318382080
781.53/799.20 c model valid
781.53/799.20 c current solution ok
781.53/799.21 c current bound: 48318382080
782.73/800.41 c model valid
782.73/800.41 c current solution ok
782.73/800.42 c current bound: 48318382080
783.93/801.62 c model valid
783.93/801.62 c current solution ok
783.95/801.80 c current bound: 48318382080
785.17/803.01 c model valid
785.17/803.01 c current solution ok
785.17/803.02 c current bound: 48318382080
786.36/804.22 c model valid
786.36/804.22 c current solution ok
786.36/804.23 c current bound: 48318382080
787.54/805.43 c model valid
787.54/805.43 c current solution ok
787.54/805.44 c current bound: 48318382080
788.46/806.65 c model valid
788.46/806.65 c current solution ok
788.82/806.78 c current bound: 48318382080
790.03/808.01 c model valid
790.03/808.01 c current solution ok
790.03/808.02 c current bound: 48318382080
790.91/809.23 c model valid
790.91/809.23 c current solution ok
790.91/809.24 c current bound: 48318382080
792.13/810.44 c model valid
792.13/810.44 c current solution ok
792.13/810.45 c current bound: 48318382080
793.33/811.65 c model valid
793.33/811.65 c current solution ok
793.68/811.77 c current bound: 48318382080
794.82/812.97 c model valid
794.82/812.97 c current solution ok
794.82/812.98 c current bound: 48318382080
796.01/814.18 c model valid
796.01/814.18 c current solution ok
796.01/814.18 c current bound: 48318382080
797.33/815.40 c model valid
797.33/815.40 c current solution ok
797.33/815.41 c current bound: 48318382080
798.53/816.61 c model valid
798.53/816.61 c current solution ok
798.53/816.62 c current bound: 48318382080
799.41/817.83 c model valid
799.41/817.83 c current solution ok
799.41/817.84 c current bound: 48318382080
800.61/819.05 c model valid
800.61/819.05 c current solution ok
800.61/819.05 c current bound: 48318382080
801.83/820.26 c model valid
801.83/820.26 c current solution ok
801.83/820.27 c current bound: 48318382080
803.04/821.48 c model valid
803.04/821.48 c current solution ok
803.04/821.49 c current bound: 48318382080
804.60/822.82 c model valid
804.60/822.82 c current solution ok
804.60/822.82 c current bound: 48318382080
805.78/824.03 c model valid
805.78/824.03 c current solution ok
805.78/824.04 c current bound: 48318382080
806.70/825.25 c model valid
806.70/825.25 c current solution ok
806.70/825.26 c current bound: 48318382080
807.92/826.46 c model valid
807.92/826.46 c current solution ok
807.92/826.47 c current bound: 48318382080
809.12/827.68 c model valid
809.12/827.68 c current solution ok
809.46/827.83 c current bound: 48318382080
810.33/829.03 c model valid
810.33/829.03 c current solution ok
810.33/829.04 c current bound: 48318382080
811.55/830.25 c model valid
811.55/830.25 c current solution ok
811.55/830.26 c current bound: 48318382080
812.77/831.47 c model valid
812.77/831.47 c current solution ok
812.77/831.48 c current bound: 48318382080
814.24/832.69 c model valid
814.24/832.69 c current solution ok
814.34/832.83 c current bound: 48318382080
815.51/834.04 c model valid
815.51/834.04 c current solution ok
815.51/834.05 c current bound: 48318382080
816.44/835.25 c model valid
816.44/835.25 c current solution ok
816.44/835.26 c current bound: 48318382080
817.64/836.47 c model valid
817.64/836.47 c current solution ok
817.64/836.47 c current bound: 48318382080
818.85/837.68 c model valid
818.85/837.68 c current solution ok
819.20/837.86 c current bound: 48318382080
820.06/839.07 c model valid
820.06/839.07 c current solution ok
820.06/839.08 c current bound: 48318382080
821.28/840.29 c model valid
821.28/840.29 c current solution ok
821.63/840.42 c current bound: 48318382080
822.79/841.64 c model valid
822.79/841.64 c current solution ok
822.79/841.64 c current bound: 48318382080
823.72/842.86 c model valid
823.72/842.86 c current solution ok
824.08/843.04 c current bound: 48318382080
824.94/844.24 c model valid
824.94/844.24 c current solution ok
824.94/844.25 c current bound: 48318382080
826.15/845.45 c model valid
826.15/845.45 c current solution ok
826.15/845.46 c current bound: 48318382080
827.37/846.67 c model valid
827.37/846.67 c current solution ok
827.37/846.67 c current bound: 48318382080
828.57/847.88 c model valid
828.57/847.88 c current solution ok
828.92/848.04 c current bound: 48318382080
830.07/849.25 c model valid
830.07/849.25 c current solution ok
830.07/849.26 c current bound: 48318382080
831.28/850.46 c model valid
831.28/850.46 c current solution ok
831.28/850.47 c current bound: 48318382080
832.23/851.69 c model valid
832.23/851.69 c current solution ok
832.59/851.70 c current bound: 48318382080
833.80/852.91 c model valid
833.80/852.91 c current solution ok
833.81/853.07 c current bound: 48318382080
834.67/854.28 c model valid
834.67/854.28 c current solution ok
834.67/854.29 c current bound: 48318382080
835.88/855.49 c model valid
835.88/855.49 c current solution ok
836.23/855.50 c current bound: 48318382080
837.44/856.71 c model valid
837.44/856.71 c current solution ok
837.44/856.72 c current bound: 48318382080
838.63/857.93 c model valid
838.63/857.93 c current solution ok
838.66/858.08 c current bound: 48318382080
839.78/859.29 c model valid
839.78/859.29 c current solution ok
839.89/859.30 c current bound: 48318382080
841.08/860.50 c model valid
841.08/860.50 c current solution ok
841.08/860.51 c current bound: 48318382080
842.28/861.72 c model valid
842.28/861.72 c current solution ok
842.28/861.73 c current bound: 48318382080
843.18/862.93 c model valid
843.18/862.93 c current solution ok
843.53/863.11 c current bound: 48318382080
844.72/864.32 c model valid
844.72/864.32 c current solution ok
844.72/864.33 c current bound: 48318382080
845.59/865.54 c model valid
845.59/865.54 c current solution ok
845.59/865.55 c current bound: 48318382080
847.10/866.76 c model valid
847.10/866.76 c current solution ok
847.10/866.77 c current bound: 48318382080
848.32/867.99 c model valid
848.32/867.99 c current solution ok
848.41/868.00 c current bound: 48318382080
849.61/869.20 c model valid
849.61/869.20 c current solution ok
849.61/869.21 c current bound: 48318382080
850.82/870.41 c model valid
850.82/870.41 c current solution ok
850.82/870.42 c current bound: 48318382080
852.02/871.63 c model valid
852.02/871.63 c current solution ok
852.02/871.63 c current bound: 48318382080
852.91/872.84 c model valid
852.91/872.84 c current solution ok
852.91/872.85 c current bound: 48318382080
854.13/874.06 c model valid
854.13/874.06 c current solution ok
854.13/874.06 c current bound: 48318382080
855.34/875.26 c model valid
855.34/875.26 c current solution ok
855.34/875.27 c current bound: 48318382080
856.56/876.48 c model valid
856.56/876.48 c current solution ok
856.56/876.48 c current bound: 48318382080
857.75/877.69 c model valid
857.75/877.69 c current solution ok
858.11/877.70 c current bound: 48318382080
859.32/878.91 c model valid
859.32/878.91 c current solution ok
859.32/878.92 c current bound: 48318382080
860.52/880.23 c model valid
860.52/880.23 c current solution ok
860.52/880.23 c current bound: 48318382080
861.41/881.44 c model valid
861.41/881.44 c current solution ok
861.41/881.45 c current bound: 48318382080
862.62/882.66 c model valid
862.62/882.66 c current solution ok
862.62/882.67 c current bound: 48318382080
863.84/883.88 c model valid
863.84/883.88 c current solution ok
863.84/883.89 c current bound: 48318382080
865.05/885.09 c model valid
865.05/885.09 c current solution ok
865.42/885.10 c current bound: 48318382080
866.61/886.31 c model valid
866.61/886.31 c current solution ok
866.61/886.31 c current bound: 48318382080
867.49/887.53 c model valid
867.49/887.53 c current solution ok
867.49/887.54 c current bound: 48318382080
869.00/888.74 c model valid
869.00/888.74 c current solution ok
869.00/888.75 c current bound: 48318382080
870.21/890.16 c model valid
870.21/890.16 c current solution ok
870.21/890.17 c current bound: 48318382080
871.13/891.37 c model valid
871.13/891.37 c current solution ok
871.13/891.38 c current bound: 48318382080
872.34/892.59 c model valid
872.34/892.59 c current solution ok
872.69/892.60 c current bound: 48318382080
873.89/893.80 c model valid
873.89/893.80 c current solution ok
873.89/893.81 c current bound: 48318382080
875.09/895.02 c model valid
875.09/895.02 c current solution ok
875.11/895.12 c current bound: 48318382080
876.31/896.32 c model valid
876.31/896.32 c current solution ok
876.31/896.33 c current bound: 48318382080
877.51/897.54 c model valid
877.51/897.54 c current solution ok
877.51/897.55 c current bound: 48318382080
878.69/898.76 c model valid
878.69/898.76 c current solution ok
878.69/898.77 c current bound: 48318382080
879.90/899.97 c model valid
879.90/899.97 c current solution ok
879.99/900.14 c current bound: 48318382080
880.86/901.36 c model valid
880.86/901.36 c current solution ok
880.86/901.36 c current bound: 48318382080
882.07/902.57 c model valid
882.07/902.57 c current solution ok
882.07/902.58 c current bound: 48318382080
883.28/903.78 c model valid
883.28/903.78 c current solution ok
883.28/903.79 c current bound: 48318382080
884.85/905.00 c model valid
884.85/905.00 c current solution ok
884.85/905.14 c current bound: 48318382080
886.00/906.34 c model valid
886.00/906.34 c current solution ok
886.00/906.35 c current bound: 48318382080
887.21/907.57 c model valid
887.21/907.57 c current solution ok
887.21/907.57 c current bound: 48318382080
888.40/908.78 c model valid
888.40/908.78 c current solution ok
888.40/908.79 c current bound: 48318382080
889.71/910.00 c model valid
889.71/910.00 c current solution ok
889.72/910.13 c current bound: 48318382080
890.57/911.34 c model valid
890.57/911.34 c current solution ok
890.57/911.35 c current bound: 48318382080
891.80/912.56 c model valid
891.80/912.56 c current solution ok
891.80/912.57 c current bound: 48318382080
893.01/913.77 c model valid
893.01/913.77 c current solution ok
893.01/913.78 c current bound: 48318382080
894.23/914.99 c model valid
894.23/914.99 c current solution ok
894.23/914.99 c current bound: 48318382080
895.67/916.29 c model valid
895.67/916.29 c current solution ok
895.67/916.30 c current bound: 48318382080
897.00/917.50 c model valid
897.00/917.50 c current solution ok
897.00/917.51 c current bound: 48318382080
898.20/918.71 c model valid
898.20/918.71 c current solution ok
898.20/918.72 c current bound: 48318382080
899.08/919.93 c model valid
899.08/919.93 c current solution ok
899.08/919.94 c current bound: 48318382080
900.29/921.14 c model valid
900.29/921.14 c current solution ok
900.29/921.15 c current bound: 48318382080
901.51/922.37 c model valid
901.51/922.37 c current solution ok
901.51/922.37 c current bound: 48318382080
902.72/923.58 c model valid
902.72/923.58 c current solution ok
902.72/923.59 c current bound: 48318382080
903.94/924.79 c model valid
903.94/924.79 c current solution ok
904.30/924.80 c current bound: 48318382080
905.50/926.01 c model valid
905.50/926.01 c current solution ok
905.51/926.13 c current bound: 48318382080
906.68/927.34 c model valid
906.68/927.34 c current solution ok
906.68/927.34 c current bound: 48318382080
907.87/928.56 c model valid
907.87/928.56 c current solution ok
907.87/928.56 c current bound: 48318382080
908.80/929.78 c model valid
908.80/929.78 c current solution ok
908.80/929.78 c current bound: 48318382080
910.02/931.17 c model valid
910.02/931.17 c current solution ok
910.02/931.18 c current bound: 48318382080
911.23/932.38 c model valid
911.23/932.38 c current solution ok
911.23/932.39 c current bound: 48318382080
912.45/933.59 c model valid
912.45/933.59 c current solution ok
912.80/933.60 c current bound: 48318382080
914.00/934.81 c model valid
914.00/934.81 c current solution ok
914.00/934.82 c current bound: 48318382080
915.18/936.14 c model valid
915.18/936.14 c current solution ok
915.18/936.14 c current bound: 48318382080
916.38/937.35 c model valid
916.38/937.35 c current solution ok
916.38/937.35 c current bound: 48318382080
917.31/938.57 c model valid
917.31/938.57 c current solution ok
917.31/938.58 c current bound: 48318382080
918.53/939.78 c model valid
918.53/939.78 c current solution ok
918.53/939.79 c current bound: 48318382080
920.09/941.00 c model valid
920.09/941.00 c current solution ok
920.09/941.12 c current bound: 48318382080
920.97/942.33 c model valid
920.97/942.33 c current solution ok
920.97/942.34 c current bound: 48318382080
922.18/943.54 c model valid
922.18/943.54 c current solution ok
922.18/943.55 c current bound: 48318382080
923.39/944.76 c model valid
923.39/944.76 c current solution ok
923.39/944.76 c current bound: 48318382080
924.88/945.96 c model valid
924.88/945.96 c current solution ok
924.88/945.97 c current bound: 48318382080
926.09/947.18 c model valid
926.09/947.18 c current solution ok
926.09/947.19 c current bound: 48318382080
927.28/948.39 c model valid
927.28/948.39 c current solution ok
927.41/948.40 c current bound: 48318382080
928.60/949.60 c model valid
928.60/949.60 c current solution ok
928.60/949.60 c current bound: 48318382080
929.80/950.81 c model valid
929.80/950.81 c current solution ok
929.80/950.82 c current bound: 48318382080
931.00/952.02 c model valid
931.00/952.02 c current solution ok
931.00/952.03 c current bound: 48318382080
931.89/953.23 c model valid
931.89/953.23 c current solution ok
931.89/953.24 c current bound: 48318382080
933.10/954.45 c model valid
933.10/954.45 c current solution ok
933.10/954.46 c current bound: 48318382080
934.31/955.66 c model valid
934.31/955.66 c current solution ok
934.31/955.67 c current bound: 48318382080
935.79/956.98 c model valid
935.79/956.98 c current solution ok
935.79/956.98 c current bound: 48318382080
936.99/958.19 c model valid
936.99/958.19 c current solution ok
937.07/958.20 c current bound: 48318382080
938.28/959.42 c model valid
938.28/959.42 c current solution ok
938.28/959.43 c current bound: 48318382080
939.19/960.64 c model valid
939.19/960.64 c current solution ok
939.19/960.65 c current bound: 48318382080
940.42/961.99 c model valid
940.42/961.99 c current solution ok
940.42/961.99 c current bound: 48318382080
941.97/963.20 c model valid
941.97/963.20 c current solution ok
941.97/963.21 c current bound: 48318382080
943.17/964.42 c model valid
943.17/964.42 c current solution ok
943.17/964.42 c current bound: 48318382080
944.04/965.64 c model valid
944.04/965.64 c current solution ok
944.04/965.65 c current bound: 48318382080
945.54/966.85 c model valid
945.54/966.85 c current solution ok
945.62/967.00 c current bound: 48318382080
946.81/968.20 c model valid
946.81/968.20 c current solution ok
946.81/968.21 c current bound: 48318382080
948.02/969.42 c model valid
948.02/969.42 c current solution ok
948.02/969.43 c current bound: 48318382080
948.91/970.64 c model valid
948.91/970.64 c current solution ok
948.91/970.64 c current bound: 48318382080
950.12/971.85 c model valid
950.12/971.85 c current solution ok
950.46/972.00 c current bound: 48318382080
951.67/973.21 c model valid
951.67/973.21 c current solution ok
951.67/973.22 c current bound: 48318382080
952.54/974.45 c model valid
952.54/974.45 c current solution ok
952.54/974.46 c current bound: 48318382080
954.05/975.66 c model valid
954.05/975.66 c current solution ok
954.05/975.67 c current bound: 48318382080
955.26/976.88 c model valid
955.26/976.88 c current solution ok
955.34/977.04 c current bound: 48318382080
956.22/978.25 c model valid
956.22/978.25 c current solution ok
956.22/978.26 c current bound: 48318382080
957.43/979.46 c model valid
957.43/979.46 c current solution ok
957.43/979.47 c current bound: 48318382080
958.64/980.67 c model valid
958.64/980.67 c current solution ok
958.64/980.68 c current bound: 48318382080
959.86/981.89 c model valid
959.86/981.89 c current solution ok
960.20/982.07 c current bound: 48318382080
961.08/983.27 c model valid
961.08/983.27 c current solution ok
961.08/983.28 c current bound: 48318382080
962.53/984.49 c model valid
962.53/984.49 c current solution ok
962.53/984.50 c current bound: 48318382080
963.84/985.71 c model valid
963.84/985.71 c current solution ok
963.84/985.71 c current bound: 48318382080
965.05/986.92 c model valid
965.05/986.92 c current solution ok
965.07/987.09 c current bound: 48318382080
966.27/988.30 c model valid
966.27/988.30 c current solution ok
966.27/988.31 c current bound: 48318382080
967.48/989.51 c model valid
967.48/989.51 c current solution ok
967.48/989.52 c current bound: 48318382080
968.68/990.72 c model valid
968.68/990.72 c current solution ok
968.68/990.73 c current bound: 48318382080
969.58/992.05 c model valid
969.58/992.05 c current solution ok
969.58/992.06 c current bound: 48318382080
971.06/993.26 c model valid
971.06/993.26 c current solution ok
971.06/993.27 c current bound: 48318382080
972.26/994.48 c model valid
972.26/994.48 c current solution ok
972.26/994.48 c current bound: 48318382080
973.47/995.69 c model valid
973.47/995.69 c current solution ok
973.57/995.70 c current bound: 48318382080
974.77/996.91 c model valid
974.77/996.91 c current solution ok
974.79/997.07 c current bound: 48318382080
975.65/998.27 c model valid
975.65/998.27 c current solution ok
975.65/998.28 c current bound: 48318382080
976.86/999.49 c model valid
976.86/999.49 c current solution ok
977.22/999.50 c current bound: 48318382080
978.41/1000.71 c model valid
978.41/1000.71 c current solution ok
978.41/1000.72 c current bound: 48318382080
979.62/1001.92 c model valid
979.62/1001.92 c current solution ok
979.64/1002.05 c current bound: 48318382080
980.78/1003.26 c model valid
980.78/1003.26 c current solution ok
980.78/1003.27 c current bound: 48318382080
981.97/1004.47 c model valid
981.97/1004.47 c current solution ok
981.97/1004.48 c current bound: 48318382080
982.94/1005.68 c model valid
982.94/1005.68 c current solution ok
982.94/1005.69 c current bound: 48318382080
984.50/1006.90 c model valid
984.50/1006.90 c current solution ok
984.50/1006.91 c current bound: 48318382080
985.37/1008.24 c model valid
985.37/1008.24 c current solution ok
985.37/1008.24 c current bound: 48318382080
986.57/1009.45 c model valid
986.57/1009.45 c current solution ok
986.57/1009.46 c current bound: 48318382080
987.78/1010.66 c model valid
987.78/1010.66 c current solution ok
987.78/1010.67 c current bound: 48318382080
989.01/1011.88 c model valid
989.01/1011.88 c current solution ok
989.01/1011.88 c current bound: 48318382080
990.45/1013.09 c model valid
990.45/1013.09 c current solution ok
990.45/1013.10 c current bound: 48318382080
991.75/1014.33 c model valid
991.75/1014.33 c current solution ok
991.75/1014.34 c current bound: 48318382080
992.66/1015.54 c model valid
992.66/1015.54 c current solution ok
992.66/1015.55 c current bound: 48318382080
993.88/1016.76 c model valid
993.88/1016.76 c current solution ok
993.88/1016.77 c current bound: 48318382080
995.43/1018.01 c model valid
995.43/1018.01 c current solution ok
995.44/1018.10 c current bound: 48318382080
996.64/1019.30 c model valid
996.64/1019.30 c current solution ok
996.64/1019.31 c current bound: 48318382080
997.85/1020.52 c model valid
997.85/1020.52 c current solution ok
997.85/1020.53 c current bound: 48318382080
998.74/1021.73 c model valid
998.74/1021.73 c current solution ok
998.74/1021.74 c current bound: 48318382080
1000.24/1022.94 c model valid
1000.24/1022.94 c current solution ok
1000.29/1023.09 c current bound: 48318382080
1001.51/1024.30 c model valid
1001.51/1024.30 c current solution ok
1001.51/1024.31 c current bound: 48318382080
1002.71/1025.51 c model valid
1002.71/1025.51 c current solution ok
1002.71/1025.52 c current bound: 48318382080
1003.90/1026.73 c model valid
1003.90/1026.73 c current solution ok
1003.90/1026.74 c current bound: 48318382080
1004.80/1027.95 c model valid
1004.80/1027.95 c current solution ok
1005.16/1028.13 c current bound: 48318382080
1006.01/1029.34 c model valid
1006.01/1029.34 c current solution ok
1006.01/1029.35 c current bound: 48318382080
1007.23/1030.55 c model valid
1007.23/1030.55 c current solution ok
1007.23/1030.55 c current bound: 48318382080
1008.71/1031.76 c model valid
1008.71/1031.76 c current solution ok
1008.71/1031.77 c current bound: 48318382080
1009.93/1032.97 c model valid
1009.93/1032.97 c current solution ok
1010.00/1033.13 c current bound: 48318382080
1010.87/1034.34 c model valid
1010.87/1034.34 c current solution ok
1010.87/1034.34 c current bound: 48318382080
1012.08/1035.55 c model valid
1012.08/1035.55 c current solution ok
1012.08/1035.56 c current bound: 48318382080
1013.29/1036.77 c model valid
1013.29/1036.77 c current solution ok
1013.29/1036.78 c current bound: 48318382080
1014.52/1037.99 c model valid
1014.52/1037.99 c current solution ok
1014.87/1038.13 c current bound: 48318382080
1015.74/1039.33 c model valid
1015.74/1039.33 c current solution ok
1015.74/1039.34 c current bound: 48318382080
1017.25/1040.54 c model valid
1017.25/1040.54 c current solution ok
1017.25/1040.55 c current bound: 48318382080
1018.45/1041.76 c model valid
1018.45/1041.76 c current solution ok
1018.45/1041.77 c current bound: 48318382080
1019.65/1042.97 c model valid
1019.65/1042.97 c current solution ok
1019.65/1042.98 c current bound: 48318382080
1020.62/1044.26 c model valid
1020.62/1044.26 c current solution ok
1020.62/1044.27 c current bound: 48318382080
1021.83/1045.47 c model valid
1021.83/1045.47 c current solution ok
1021.83/1045.48 c current bound: 48318382080
1023.05/1046.69 c model valid
1023.05/1046.69 c current solution ok
1023.39/1046.70 c current bound: 48318382080
1024.59/1047.92 c model valid
1024.59/1047.92 c current solution ok
1024.59/1047.93 c current bound: 48318382080
1025.50/1049.15 c model valid
1025.50/1049.15 c current solution ok
1025.50/1049.16 c current bound: 48318382080
1026.72/1050.37 c model valid
1026.72/1050.37 c current solution ok
1027.07/1050.42 c current bound: 48318382080
1028.26/1051.62 c model valid
1028.26/1051.62 c current solution ok
1028.26/1051.63 c current bound: 48318382080
1029.44/1052.84 c model valid
1029.44/1052.84 c current solution ok
1029.44/1052.85 c current bound: 48318382080
1030.36/1054.05 c model valid
1030.36/1054.05 c current solution ok
1030.73/1054.10 c current bound: 48318382080
1031.57/1055.28 c model valid
1031.57/1055.28 c current solution ok
1031.57/1055.29 c current bound: 48318382080
1033.12/1056.50 c model valid
1033.12/1056.50 c current solution ok
1033.12/1056.50 c current bound: 48318382080
1034.32/1057.71 c model valid
1034.32/1057.71 c current solution ok
1034.32/1057.71 c current bound: 48318382080
1035.53/1058.92 c model valid
1035.53/1058.92 c current solution ok
1035.53/1058.93 c current bound: 48318382080
1036.75/1060.20 c model valid
1036.75/1060.20 c current solution ok
1036.75/1060.21 c current bound: 48318382080
1037.96/1061.41 c model valid
1037.96/1061.41 c current solution ok
1037.96/1061.42 c current bound: 48318382080
1039.16/1062.62 c model valid
1039.16/1062.62 c current solution ok
1039.16/1062.63 c current bound: 48318382080
1040.35/1063.84 c model valid
1040.35/1063.84 c current solution ok
1040.35/1063.85 c current bound: 48318382080
1041.26/1065.05 c model valid
1041.26/1065.05 c current solution ok
1041.26/1065.06 c current bound: 48318382080
1042.47/1066.26 c model valid
1042.47/1066.26 c current solution ok
1042.47/1066.27 c current bound: 48318382080
1043.69/1067.48 c model valid
1043.69/1067.48 c current solution ok
1043.69/1067.49 c current bound: 48318382080
1045.26/1068.70 c model valid
1045.26/1068.70 c current solution ok
1045.26/1068.71 c current bound: 48318382080
1046.45/1070.02 c model valid
1046.45/1070.02 c current solution ok
1046.45/1070.06 c current bound: 48318382080
1047.35/1071.26 c model valid
1047.35/1071.26 c current solution ok
1047.35/1071.27 c current bound: 48318382080
1048.80/1072.48 c model valid
1048.80/1072.48 c current solution ok
1048.80/1072.48 c current bound: 48318382080
1050.00/1073.69 c model valid
1050.00/1073.69 c current solution ok
1050.13/1073.70 c current bound: 48318382080
1051.30/1075.02 c model valid
1051.30/1075.02 c current solution ok
1051.30/1075.03 c current bound: 48318382080
1052.20/1076.24 c model valid
1052.20/1076.24 c current solution ok
1052.20/1076.25 c current bound: 48318382080
1053.41/1077.45 c model valid
1053.41/1077.45 c current solution ok
1053.41/1077.46 c current bound: 48318382080
1054.63/1078.67 c model valid
1054.63/1078.67 c current solution ok
1054.63/1078.67 c current bound: 48318382080
1055.84/1079.88 c model valid
1055.84/1079.88 c current solution ok
1056.19/1080.03 c current bound: 48318382080
1057.34/1081.24 c model valid
1057.34/1081.24 c current solution ok
1057.34/1081.24 c current bound: 48318382080
1058.54/1082.44 c model valid
1058.54/1082.44 c current solution ok
1058.54/1082.45 c current bound: 48318382080
1059.73/1083.66 c model valid
1059.73/1083.66 c current solution ok
1059.73/1083.66 c current bound: 48318382080
1060.68/1084.88 c model valid
1060.68/1084.88 c current solution ok
1061.05/1085.02 c current bound: 48318382080
1062.23/1086.23 c model valid
1062.23/1086.23 c current solution ok
1062.23/1086.23 c current bound: 48318382080
1063.12/1087.44 c model valid
1063.12/1087.44 c current solution ok
1063.12/1087.45 c current bound: 48318382080
1064.33/1088.65 c model valid
1064.33/1088.65 c current solution ok
1064.33/1088.66 c current bound: 48318382080
1065.55/1089.87 c model valid
1065.55/1089.87 c current solution ok
1065.55/1089.88 c current bound: 48318382080
1067.10/1091.11 c model valid
1067.10/1091.11 c current solution ok
1067.10/1091.12 c current bound: 48318382080
1068.31/1092.32 c model valid
1068.31/1092.32 c current solution ok
1068.31/1092.33 c current bound: 48318382080
1069.48/1093.55 c model valid
1069.48/1093.55 c current solution ok
1069.48/1093.55 c current bound: 48318382080
1070.41/1094.77 c model valid
1070.41/1094.77 c current solution ok
1070.41/1094.78 c current bound: 48318382080
1071.64/1095.98 c model valid
1071.64/1095.98 c current solution ok
1071.64/1095.99 c current bound: 48318382080
1073.20/1097.20 c model valid
1073.20/1097.20 c current solution ok
1073.20/1097.21 c current bound: 48318382080
1074.39/1098.42 c model valid
1074.39/1098.42 c current solution ok
1074.39/1098.42 c current bound: 48318382080
1075.28/1099.63 c model valid
1075.28/1099.63 c current solution ok
1075.28/1099.64 c current bound: 48318382080
1076.49/1101.00 c model valid
1076.49/1101.00 c current solution ok
1076.85/1101.01 c current bound: 48318382080
1078.05/1102.22 c model valid
1078.05/1102.22 c current solution ok
1078.05/1102.22 c current bound: 48318382080
1079.25/1103.43 c model valid
1079.25/1103.43 c current solution ok
1079.25/1103.44 c current bound: 48318382080
1080.15/1104.64 c model valid
1080.15/1104.64 c current solution ok
1080.15/1104.65 c current bound: 48318382080
1081.36/1105.98 c model valid
1081.36/1105.98 c current solution ok
1081.36/1105.99 c current bound: 48318382080
1082.57/1107.19 c model valid
1082.57/1107.19 c current solution ok
1082.91/1107.20 c current bound: 48318382080
1084.12/1108.40 c model valid
1084.12/1108.40 c current solution ok
1084.12/1108.41 c current bound: 48318382080
1085.32/1109.62 c model valid
1085.32/1109.62 c current solution ok
1085.32/1109.63 c current bound: 48318382080
1086.21/1110.84 c model valid
1086.21/1110.84 c current solution ok
1086.56/1110.99 c current bound: 48318382080
1087.77/1112.20 c model valid
1087.77/1112.20 c current solution ok
1087.77/1112.21 c current bound: 48318382080
1088.97/1113.42 c model valid
1088.97/1113.42 c current solution ok
1088.97/1113.43 c current bound: 48318382080
1089.86/1114.63 c model valid
1089.86/1114.63 c current solution ok
1089.86/1114.64 c current bound: 48318382080
1091.07/1115.84 c model valid
1091.41/1115.95 c current solution ok
1091.41/1115.98 c current bound: 48318382080
1092.29/1117.19 c model valid
1092.29/1117.19 c current solution ok
1092.64/1117.20 c current bound: 48318382080
1093.84/1118.41 c model valid
1093.84/1118.41 c current solution ok
1093.84/1118.42 c current bound: 48318382080
1095.03/1119.62 c model valid
1095.03/1119.62 c current solution ok
1095.03/1119.63 c current bound: 48318382080
1096.22/1120.84 c model valid
1096.22/1120.84 c current solution ok
1096.22/1120.84 c current bound: 48318382080
1097.42/1122.05 c model valid
1097.42/1122.05 c current solution ok
1097.42/1122.06 c current bound: 48318382080
1098.63/1123.26 c model valid
1098.63/1123.26 c current solution ok
1098.63/1123.27 c current bound: 48318382080
1099.56/1124.47 c model valid
1099.56/1124.47 c current solution ok
1099.56/1124.48 c current bound: 48318382080
1100.77/1125.69 c model valid
1100.77/1125.69 c current solution ok
1101.11/1125.70 c current bound: 48318382080
1102.32/1126.90 c model valid
1102.32/1126.90 c current solution ok
1102.32/1126.91 c current bound: 48318382080
1103.52/1128.12 c model valid
1103.52/1128.12 c current solution ok
1103.52/1128.12 c current bound: 48318382080
1104.72/1129.33 c model valid
1104.72/1129.33 c current solution ok
1104.72/1129.33 c current bound: 48318382080
1105.61/1130.54 c model valid
1105.61/1130.54 c current solution ok
1105.61/1130.55 c current bound: 48318382080
1107.17/1131.91 c model valid
1107.17/1131.91 c current solution ok
1107.17/1131.91 c current bound: 48318382080
1108.37/1133.12 c model valid
1108.37/1133.12 c current solution ok
1108.37/1133.13 c current bound: 48318382080
1109.55/1134.34 c model valid
1109.55/1134.34 c current solution ok
1109.55/1134.34 c current bound: 48318382080
1110.48/1135.55 c model valid
1110.48/1135.55 c current solution ok
1110.48/1135.56 c current bound: 48318382080
1112.03/1136.91 c model valid
1112.03/1136.91 c current solution ok
1112.03/1136.92 c current bound: 48318382080
1113.23/1138.12 c model valid
1113.23/1138.12 c current solution ok
1113.23/1138.13 c current bound: 48318382080
1114.12/1139.34 c model valid
1114.12/1139.34 c current solution ok
1114.12/1139.35 c current bound: 48318382080
1115.32/1140.55 c model valid
1115.32/1140.55 c current solution ok
1115.32/1140.56 c current bound: 48318382080
1116.82/1141.89 c model valid
1116.82/1141.89 c current solution ok
1116.90/1141.90 c current bound: 48318382080
1118.10/1143.11 c model valid
1118.10/1143.11 c current solution ok
1118.10/1143.12 c current bound: 48318382080
1119.29/1144.32 c model valid
1119.29/1144.32 c current solution ok
1119.29/1144.33 c current bound: 48318382080
1120.18/1145.54 c model valid
1120.18/1145.54 c current solution ok
1120.18/1145.54 c current bound: 48318382080
1121.39/1146.88 c model valid
1121.39/1146.88 c current solution ok
1121.39/1146.89 c current bound: 48318382080
1122.97/1148.10 c model valid
1122.97/1148.10 c current solution ok
1122.97/1148.11 c current bound: 48318382080
1124.17/1149.32 c model valid
1124.17/1149.32 c current solution ok
1124.17/1149.33 c current bound: 48318382080
1125.37/1150.54 c model valid
1125.37/1150.54 c current solution ok
1125.37/1150.54 c current bound: 48318382080
1126.55/1151.75 c model valid
1126.55/1151.76 c current solution ok
1126.61/1151.90 c current bound: 48318382080
1127.49/1153.13 c model valid
1127.49/1153.13 c current solution ok
1127.49/1153.14 c current bound: 48318382080
1128.71/1154.34 c model valid
1128.71/1154.34 c current solution ok
1128.71/1154.35 c current bound: 48318382080
1129.93/1155.55 c model valid
1129.93/1155.55 c current solution ok
1129.93/1155.56 c current bound: 48318382080
1131.15/1156.93 c model valid
1131.15/1156.93 c current solution ok
1131.15/1156.94 c current bound: 48318382080
1132.35/1158.15 c model valid
1132.35/1158.15 c current solution ok
1132.35/1158.16 c current bound: 48318382080
1133.84/1159.36 c model valid
1133.84/1159.36 c current solution ok
1133.84/1159.37 c current bound: 48318382080
1135.04/1160.57 c model valid
1135.04/1160.57 c current solution ok
1135.04/1160.58 c current bound: 48318382080
1136.33/1161.91 c model valid
1136.33/1161.91 c current solution ok
1136.33/1161.92 c current bound: 48318382080
1137.21/1163.13 c model valid
1137.21/1163.13 c current solution ok
1137.21/1163.14 c current bound: 48318382080
1138.43/1164.35 c model valid
1138.43/1164.35 c current solution ok
1138.43/1164.36 c current bound: 48318382080
1139.64/1165.59 c model valid
1139.64/1165.59 c current solution ok
1140.02/1165.60 c current bound: 48318382080
1140.88/1166.97 c model valid
1140.88/1166.97 c current solution ok
1140.88/1166.97 c current bound: 48318382080
1142.37/1168.19 c model valid
1142.37/1168.19 c current solution ok
1142.37/1168.19 c current bound: 48318382080
1143.67/1169.40 c model valid
1143.67/1169.40 c current solution ok
1143.67/1169.41 c current bound: 48318382080
1144.87/1170.64 c model valid
1144.87/1170.64 c current solution ok
1144.87/1170.65 c current bound: 48318382080
1146.14/1172.01 c model valid
1146.14/1172.01 c current solution ok
1146.14/1172.02 c current bound: 48318382080
1147.34/1173.22 c model valid
1147.34/1173.22 c current solution ok
1147.34/1173.22 c current bound: 48318382080
1148.22/1174.44 c model valid
1148.22/1174.44 c current solution ok
1148.22/1174.44 c current bound: 48318382080
1149.44/1175.66 c model valid
1149.44/1175.66 c current solution ok
1149.44/1175.67 c current bound: 48318382080
1150.93/1177.00 c model valid
1150.93/1177.00 c current solution ok
1151.02/1177.01 c current bound: 48318382080
1152.21/1178.22 c model valid
1152.21/1178.22 c current solution ok
1152.21/1178.22 c current bound: 48318382080
1153.42/1179.42 c model valid
1153.42/1179.42 c current solution ok
1153.42/1179.43 c current bound: 48318382080
1154.31/1180.63 c model valid
1154.31/1180.63 c current solution ok
1154.31/1180.64 c current bound: 48318382080
1155.52/1181.85 c model valid
1155.52/1181.85 c current solution ok
1155.87/1182.02 c current bound: 48318382080
1157.05/1183.22 c model valid
1157.05/1183.22 c current solution ok
1157.05/1183.23 c current bound: 48318382080
1157.94/1184.43 c model valid
1157.94/1184.43 c current solution ok
1157.94/1184.44 c current bound: 48318382080
1159.15/1185.66 c model valid
1159.15/1185.66 c current solution ok
1159.15/1185.67 c current bound: 48318382080
1160.64/1186.88 c model valid
1160.64/1186.88 c current solution ok
1160.74/1187.03 c current bound: 48318382080
1161.90/1188.24 c model valid
1161.90/1188.24 c current solution ok
1161.90/1188.25 c current bound: 48318382080
1162.82/1189.47 c model valid
1162.82/1189.47 c current solution ok
1162.82/1189.48 c current bound: 48318382080
1164.06/1190.68 c model valid
1164.06/1190.68 c current solution ok
1164.06/1190.69 c current bound: 48318382080
1165.26/1191.89 c model valid
1165.26/1191.89 c current solution ok
1165.60/1192.06 c current bound: 48318382080
1166.48/1193.26 c model valid
1166.48/1193.26 c current solution ok
1166.48/1193.26 c current bound: 48318382080
1167.68/1194.47 c model valid
1167.68/1194.47 c current solution ok
1167.68/1194.48 c current bound: 48318382080
1169.15/1195.69 c model valid
1169.15/1195.69 c current solution ok
1169.15/1195.69 c current bound: 48318382080
1170.46/1196.90 c model valid
1170.46/1196.90 c current solution ok
1170.46/1197.06 c current bound: 48318382080
1171.32/1198.27 c model valid
1171.32/1198.27 c current solution ok
1171.32/1198.28 c current bound: 48318382080
1172.54/1199.49 c model valid
1172.54/1199.49 c current solution ok
1172.90/1199.50 c current bound: 48318382080
1174.09/1200.70 c model valid
1174.09/1200.70 c current solution ok
1174.09/1200.71 c current bound: 48318382080
1175.29/1201.91 c model valid
1175.29/1201.91 c current solution ok
1175.31/1202.08 c current bound: 48318382080
1176.18/1203.28 c model valid
1176.18/1203.28 c current solution ok
1176.18/1203.29 c current bound: 48318382080
1177.64/1204.49 c model valid
1177.64/1204.49 c current solution ok
1177.75/1204.50 c current bound: 48318382080
1178.94/1205.72 c model valid
1178.94/1205.72 c current solution ok
1178.94/1205.72 c current bound: 48318382080
1180.14/1206.92 c model valid
1180.16/1207.04 c current solution ok
1180.16/1207.08 c current bound: 48318382080
1181.04/1208.29 c model valid
1181.04/1208.29 c current solution ok
1181.39/1208.30 c current bound: 48318382080
1182.59/1209.51 c model valid
1182.59/1209.51 c current solution ok
1182.59/1209.51 c current bound: 48318382080
1183.80/1210.73 c model valid
1183.80/1210.73 c current solution ok
1183.80/1210.73 c current bound: 48318382080
1184.69/1211.94 c model valid
1185.03/1212.05 c current solution ok
1185.03/1212.06 c current bound: 48318382080
1186.18/1213.26 c model valid
1186.18/1213.26 c current solution ok
1186.18/1213.27 c current bound: 48318382080
1187.36/1214.47 c model valid
1187.36/1214.47 c current solution ok
1187.36/1214.48 c current bound: 48318382080
1188.57/1215.69 c model valid
1188.57/1215.69 c current solution ok
1188.68/1215.70 c current bound: 48318382080
1189.88/1216.91 c model valid
1189.88/1216.91 c current solution ok
1189.88/1216.92 c current bound: 48318382080
1191.10/1218.20 c model valid
1191.10/1218.20 c current solution ok
1191.10/1218.21 c current bound: 48318382080
1192.30/1219.42 c model valid
1192.30/1219.42 c current solution ok
1192.30/1219.42 c current bound: 48318382080
1193.50/1220.63 c model valid
1193.50/1220.63 c current solution ok
1193.50/1220.63 c current bound: 48318382080
1194.40/1221.85 c model valid
1194.40/1221.85 c current solution ok
1194.40/1221.85 c current bound: 48318382080
1195.62/1223.06 c model valid
1195.62/1223.06 c current solution ok
1195.62/1223.06 c current bound: 48318382080
1197.08/1224.27 c model valid
1197.08/1224.27 c current solution ok
1197.08/1224.28 c current bound: 48318382080
1198.30/1225.49 c model valid
1198.30/1225.49 c current solution ok
1198.30/1225.49 c current bound: 48318382080
1199.61/1226.70 c model valid
1199.61/1226.70 c current solution ok
1199.61/1226.70 c current bound: 48318382080
1200.78/1228.03 c model valid
1200.78/1228.03 c current solution ok
1200.78/1228.03 c current bound: 48318382080
1201.68/1229.24 c model valid
1201.68/1229.24 c current solution ok
1201.68/1229.24 c current bound: 48318382080
1202.90/1230.45 c model valid
1202.90/1230.45 c current solution ok
1202.90/1230.45 c current bound: 48318382080
1204.11/1231.66 c model valid
1204.11/1231.66 c current solution ok
1204.11/1231.67 c current bound: 48318382080
1205.31/1232.87 c model valid
1205.66/1233.00 c current solution ok
1205.66/1233.18 c current bound: 48318382080
1206.77/1234.39 c model valid
1206.77/1234.39 c current solution ok
1206.77/1234.39 c current bound: 48318382080
1208.08/1235.60 c model valid
1208.08/1235.60 c current solution ok
1208.08/1235.61 c current bound: 48318382080
1209.29/1236.82 c model valid
1209.29/1236.82 c current solution ok
1209.29/1236.83 c current bound: 48318382080
1210.17/1238.04 c model valid
1211.06/1238.66 c current solution ok
1211.06/1238.66 c current bound: 48318382080
1211.37/1239.25 c model valid
1211.37/1239.25 c current solution ok
1211.37/1239.25 c current bound: 48318382080
1212.59/1240.46 c model valid
1212.59/1240.46 c current solution ok
1212.59/1240.46 c current bound: 48318382080
1213.80/1241.68 c model valid
1213.80/1241.68 c current solution ok
1213.80/1241.69 c current bound: 48318382080
1215.01/1242.89 c model valid
1215.01/1242.89 c current solution ok
1215.01/1242.90 c current bound: 48318382080
1216.55/1244.12 c model valid
1216.55/1244.12 c current solution ok
1216.55/1244.19 c current bound: 48318382080
1217.78/1245.40 c model valid
1217.78/1245.40 c current solution ok
1217.78/1245.41 c current bound: 48318382080
1218.65/1246.85 c model valid
1218.65/1246.85 c current solution ok
1218.65/1246.85 c current bound: 48318382080
1219.87/1248.06 c model valid
1219.87/1248.06 c current solution ok
1219.87/1248.07 c current bound: 48318382080
1221.40/1249.42 c model valid
1221.40/1249.42 c current solution ok
1221.40/1249.43 c current bound: 48318382080
1222.61/1250.63 c model valid
1222.61/1250.63 c current solution ok
1222.61/1250.64 c current bound: 48318382080
1223.79/1251.85 c model valid
1223.79/1251.85 c current solution ok
1223.79/1251.86 c current bound: 48318382080
1224.98/1253.07 c model valid
1224.98/1253.07 c current solution ok
1224.98/1253.08 c current bound: 48318382080
1226.29/1254.40 c model valid
1226.29/1254.40 c current solution ok
1226.29/1254.41 c current bound: 48318382080
1227.49/1255.62 c model valid
1227.49/1255.62 c current solution ok
1227.49/1255.63 c current bound: 48318382080
1228.37/1256.83 c model valid
1228.37/1256.83 c current solution ok
1228.37/1256.84 c current bound: 48318382080
1229.60/1258.05 c model valid
1229.60/1258.05 c current solution ok
1229.60/1258.06 c current bound: 48318382080
1231.17/1260.40 c model valid
1231.17/1260.40 c current solution ok
1231.17/1260.45 c current bound: 48318382080
1232.31/1261.66 c model valid
1232.31/1261.66 c current solution ok
1232.31/1261.67 c current bound: 48318382080
1233.52/1262.88 c model valid
1233.52/1262.88 c current solution ok
1233.52/1262.89 c current bound: 48318382080
1234.84/1264.10 c model valid
1234.84/1264.10 c current solution ok
1234.84/1264.11 c current bound: 48318382080
1236.03/1265.32 c model valid
1236.03/1265.32 c current solution ok
1236.03/1265.33 c current bound: 48318382080
1236.93/1266.55 c model valid
1236.93/1266.55 c current solution ok
1236.93/1266.56 c current bound: 48318382080
1238.14/1267.77 c model valid
1238.14/1267.77 c current solution ok
1238.14/1267.78 c current bound: 48318382080
1239.36/1268.99 c model valid
1239.36/1268.99 c current solution ok
1239.72/1269.00 c current bound: 48318382080
1240.92/1270.21 c model valid
1240.92/1270.21 c current solution ok
1240.92/1270.22 c current bound: 48318382080
1241.80/1271.45 c model valid
1241.80/1271.45 c current solution ok
1241.80/1271.46 c current bound: 48318382080
1243.31/1272.67 c model valid
1243.31/1272.67 c current solution ok
1243.31/1272.68 c current bound: 48318382080
1244.52/1273.89 c model valid
1244.52/1273.89 c current solution ok
1244.62/1273.90 c current bound: 48318382080
1245.81/1275.22 c model valid
1245.81/1275.22 c current solution ok
1245.81/1275.23 c current bound: 48318382080
1246.69/1276.44 c model valid
1246.69/1276.44 c current solution ok
1246.69/1276.45 c current bound: 48318382080
1247.92/1277.65 c model valid
1247.92/1277.65 c current solution ok
1247.92/1277.66 c current bound: 48318382080
1249.13/1278.87 c model valid
1249.13/1278.87 c current solution ok
1249.13/1278.87 c current bound: 48318382080
1250.34/1280.08 c model valid
1250.34/1280.08 c current solution ok
1250.69/1280.23 c current bound: 48318382080
1251.87/1281.43 c model valid
1251.87/1281.43 c current solution ok
1251.87/1281.44 c current bound: 48318382080
1253.05/1282.64 c model valid
1253.05/1282.64 c current solution ok
1253.05/1282.65 c current bound: 48318382080
1254.25/1283.85 c model valid
1254.25/1283.85 c current solution ok
1254.25/1283.86 c current bound: 48318382080
1255.19/1285.06 c model valid
1255.19/1285.06 c current solution ok
1255.19/1285.07 c current bound: 48318382080
1256.39/1286.37 c model valid
1256.39/1286.37 c current solution ok
1256.39/1286.38 c current bound: 48318382080
1257.61/1287.59 c model valid
1257.61/1287.59 c current solution ok
1257.95/1287.60 c current bound: 48318382080
1259.16/1288.80 c model valid
1259.16/1288.80 c current solution ok
1259.16/1288.81 c current bound: 48318382080
1260.35/1290.01 c model valid
1260.35/1290.01 c current solution ok
1260.35/1290.02 c current bound: 48318382080
1261.56/1291.23 c model valid
1261.56/1291.23 c current solution ok
1261.56/1291.23 c current bound: 48318382080
1262.75/1292.43 c model valid
1262.75/1292.43 c current solution ok
1262.75/1292.44 c current bound: 48318382080
1263.94/1293.64 c model valid
1263.94/1293.64 c current solution ok
1263.94/1293.65 c current bound: 48318382080
1265.14/1294.86 c model valid
1265.14/1294.86 c current solution ok
1265.14/1294.86 c current bound: 48318382080
1266.08/1296.08 c model valid
1266.08/1296.08 c current solution ok
1266.44/1296.10 c current bound: 48318382080
1267.65/1297.31 c model valid
1267.65/1297.31 c current solution ok
1267.65/1297.31 c current bound: 48318382080
1268.84/1298.52 c model valid
1268.84/1298.52 c current solution ok
1268.84/1298.53 c current bound: 48318382080
1269.75/1299.74 c model valid
1269.75/1299.74 c current solution ok
1269.75/1299.75 c current bound: 48318382080
1270.95/1300.96 c model valid
1270.95/1300.96 c current solution ok
1270.95/1300.97 c current bound: 48318382080
1272.17/1302.27 c model valid
1272.17/1302.27 c current solution ok
1272.17/1302.28 c current bound: 48318382080
1273.64/1303.48 c model valid
1273.64/1303.48 c current solution ok
1273.64/1303.49 c current bound: 48318382080
1274.84/1304.69 c model valid
1274.84/1304.69 c current solution ok
1274.95/1304.70 c current bound: 48318382080
1276.14/1305.91 c model valid
1276.14/1305.91 c current solution ok
1276.14/1305.91 c current bound: 48318382080
1277.34/1307.13 c model valid
1277.34/1307.13 c current solution ok
1277.34/1307.13 c current bound: 48318382080
1278.24/1308.35 c model valid
1278.24/1308.35 c current solution ok
1278.24/1308.36 c current bound: 48318382080
1279.46/1309.56 c model valid
1279.46/1309.56 c current solution ok
1279.46/1309.57 c current bound: 48318382080
1280.69/1310.78 c model valid
1280.69/1310.78 c current solution ok
1280.69/1310.79 c current bound: 48318382080
1281.89/1312.05 c model valid
1281.89/1312.05 c current solution ok
1281.89/1312.08 c current bound: 48318382080
1283.10/1313.28 c model valid
1283.10/1313.28 c current solution ok
1283.10/1313.29 c current bound: 48318382080
1284.56/1314.49 c model valid
1284.56/1314.49 c current solution ok
1284.56/1314.50 c current bound: 48318382080
1285.86/1315.70 c model valid
1285.86/1315.70 c current solution ok
1285.86/1315.71 c current bound: 48318382080
1287.06/1316.92 c model valid
1287.06/1316.92 c current solution ok
1287.06/1316.92 c current bound: 48318382080
1287.95/1318.23 c model valid
1287.95/1318.23 c current solution ok
1287.95/1318.24 c current bound: 48318382080
1289.17/1319.45 c model valid
1289.17/1319.45 c current solution ok
1289.17/1319.46 c current bound: 48318382080
1290.38/1320.66 c model valid
1290.38/1320.66 c current solution ok
1290.38/1320.67 c current bound: 48318382080
1291.59/1321.88 c model valid
1291.59/1321.88 c current solution ok
1291.59/1321.89 c current bound: 48318382080
1292.81/1323.09 c model valid
1292.81/1323.09 c current solution ok
1293.16/1323.10 c current bound: 48318382080
1294.37/1324.32 c model valid
1294.37/1324.32 c current solution ok
1294.37/1324.32 c current bound: 48318382080
1295.55/1325.53 c model valid
1295.55/1325.53 c current solution ok
1295.55/1325.58 c current bound: 48318382080
1296.71/1326.78 c model valid
1296.71/1326.78 c current solution ok
1296.71/1326.79 c current bound: 48318382080
1298.01/1328.01 c model valid
1298.01/1328.01 c current solution ok
1298.03/1328.11 c current bound: 48318382080
1299.22/1329.31 c model valid
1299.22/1329.31 c current solution ok
1299.22/1329.32 c current bound: 48318382080
1300.41/1330.53 c model valid
1300.41/1330.53 c current solution ok
1300.41/1330.54 c current bound: 48318382080
1301.30/1331.74 c model valid
1301.30/1331.74 c current solution ok
1301.30/1331.75 c current bound: 48318382080
1302.53/1332.95 c model valid
1302.53/1332.95 c current solution ok
1302.88/1333.13 c current bound: 48318382080
1304.05/1334.33 c model valid
1304.05/1334.33 c current solution ok
1304.05/1334.34 c current bound: 48318382080
1305.23/1335.57 c model valid
1305.23/1335.57 c current solution ok
1305.23/1335.57 c current bound: 48318382080
1306.18/1336.79 c model valid
1306.18/1336.79 c current solution ok
1306.54/1336.80 c current bound: 48318382080
1307.77/1338.20 c model valid
1307.77/1338.20 c current solution ok
1307.77/1338.21 c current bound: 48318382080
1308.95/1339.42 c model valid
1308.95/1339.42 c current solution ok
1308.95/1339.42 c current bound: 48318382080
1309.85/1340.63 c model valid
1309.85/1340.63 c current solution ok
1309.85/1340.64 c current bound: 48318382080
1311.05/1341.84 c model valid
1311.05/1341.84 c current solution ok
1311.05/1341.85 c current bound: 48318382080
1312.56/1343.17 c model valid
1312.56/1343.17 c current solution ok
1312.56/1343.18 c current bound: 48318382080
1313.72/1344.38 c model valid
1313.72/1344.38 c current solution ok
1313.72/1344.39 c current bound: 48318382080
1315.04/1345.61 c model valid
1315.04/1345.61 c current solution ok
1315.04/1345.61 c current bound: 48318382080
1316.23/1346.82 c model valid
1316.23/1346.82 c current solution ok
1316.23/1346.83 c current bound: 48318382080
1317.14/1348.04 c model valid
1317.14/1348.04 c current solution ok
1317.48/1348.17 c current bound: 48318382080
1318.34/1349.38 c model valid
1318.34/1349.38 c current solution ok
1318.34/1349.39 c current bound: 48318382080
1319.91/1350.60 c model valid
1319.91/1350.60 c current solution ok
1319.91/1350.61 c current bound: 48318382080
1321.12/1351.81 c model valid
1321.12/1351.81 c current solution ok
1321.12/1351.82 c current bound: 48318382080
1322.32/1353.03 c model valid
1322.32/1353.03 c current solution ok
1322.32/1353.03 c current bound: 48318382080
1323.50/1354.34 c model valid
1323.50/1354.34 c current solution ok
1323.50/1354.35 c current bound: 48318382080
1324.41/1355.56 c model valid
1324.41/1355.56 c current solution ok
1324.41/1355.56 c current bound: 48318382080
1325.63/1356.77 c model valid
1325.63/1356.77 c current solution ok
1325.63/1356.78 c current bound: 48318382080
1326.84/1357.98 c model valid
1326.84/1357.98 c current solution ok
1326.84/1357.99 c current bound: 48318382080
1328.06/1359.19 c model valid
1328.06/1359.19 c current solution ok
1328.40/1359.20 c current bound: 48318382080
1329.60/1360.40 c model valid
1329.60/1360.40 c current solution ok
1329.60/1360.41 c current bound: 48318382080
1330.80/1361.62 c model valid
1330.80/1361.62 c current solution ok
1330.80/1361.63 c current bound: 48318382080
1331.99/1362.84 c model valid
1331.99/1362.84 c current solution ok
1331.99/1362.85 c current bound: 48318382080
1333.20/1364.05 c model valid
1333.20/1364.05 c current solution ok
1333.27/1364.13 c current bound: 48318382080
1334.42/1365.34 c model valid
1334.42/1365.34 c current solution ok
1334.42/1365.35 c current bound: 48318382080
1335.35/1366.56 c model valid
1335.35/1366.56 c current solution ok
1335.35/1366.57 c current bound: 48318382080
1336.56/1367.78 c model valid
1336.56/1367.78 c current solution ok
1336.56/1367.79 c current bound: 48318382080
1338.13/1369.00 c model valid
1338.13/1369.00 c current solution ok
1338.14/1369.16 c current bound: 48318382080
1339.00/1370.37 c model valid
1339.00/1370.37 c current solution ok
1339.00/1370.38 c current bound: 48318382080
1340.22/1371.58 c model valid
1340.22/1371.58 c current solution ok
1340.22/1371.59 c current bound: 48318382080
1341.69/1372.79 c model valid
1341.69/1372.79 c current solution ok
1341.69/1372.80 c current bound: 48318382080
1342.99/1374.00 c model valid
1342.99/1374.00 c current solution ok
1342.99/1374.01 c current bound: 48318382080
1344.20/1375.21 c model valid
1344.20/1375.21 c current solution ok
1344.20/1375.22 c current bound: 48318382080
1345.39/1376.42 c model valid
1345.39/1376.42 c current solution ok
1345.39/1376.43 c current bound: 48318382080
1346.28/1377.64 c model valid
1346.28/1377.64 c current solution ok
1346.28/1377.65 c current bound: 48318382080
1347.49/1378.85 c model valid
1347.49/1378.85 c current solution ok
1347.49/1378.85 c current bound: 48318382080
1348.70/1380.07 c model valid
1348.70/1380.07 c current solution ok
1348.70/1380.08 c current bound: 48318382080
1349.93/1381.29 c model valid
1349.93/1381.29 c current solution ok
1350.28/1381.30 c current bound: 48318382080
1351.49/1382.52 c model valid
1351.49/1382.52 c current solution ok
1351.49/1382.53 c current bound: 48318382080
1352.70/1383.73 c model valid
1352.70/1383.73 c current solution ok
1352.70/1383.74 c current bound: 48318382080
1353.93/1385.10 c model valid
1353.93/1385.10 c current solution ok
1353.93/1385.11 c current bound: 48318382080
1355.13/1386.32 c model valid
1355.13/1386.32 c current solution ok
1355.13/1386.33 c current bound: 48318382080
1356.03/1387.54 c model valid
1356.03/1387.54 c current solution ok
1356.03/1387.55 c current bound: 48318382080
1357.24/1388.76 c model valid
1357.24/1388.76 c current solution ok
1357.24/1388.77 c current bound: 48318382080
1358.46/1390.05 c model valid
1358.46/1390.05 c current solution ok
1358.46/1390.08 c current bound: 48318382080
1359.68/1391.29 c model valid
1359.68/1391.29 c current solution ok
1360.02/1391.30 c current bound: 48318382080
1361.24/1392.51 c model valid
1361.24/1392.51 c current solution ok
1361.24/1392.52 c current bound: 48318382080
1362.44/1393.72 c model valid
1362.44/1393.72 c current solution ok
1362.44/1393.73 c current bound: 48318382080
1363.62/1394.95 c model valid
1363.62/1394.95 c current solution ok
1363.68/1395.11 c current bound: 48318382080
1364.55/1396.33 c model valid
1364.55/1396.33 c current solution ok
1364.55/1396.34 c current bound: 48318382080
1365.79/1397.54 c model valid
1365.79/1397.54 c current solution ok
1365.79/1397.55 c current bound: 48318382080
1367.01/1398.76 c model valid
1367.01/1398.76 c current solution ok
1367.01/1398.77 c current bound: 48318382080
1368.21/1399.97 c model valid
1368.21/1399.97 c current solution ok
1368.56/1400.15 c current bound: 48318382080
1369.71/1401.35 c model valid
1369.71/1401.35 c current solution ok
1369.71/1401.36 c current bound: 48318382080
1370.90/1402.57 c model valid
1370.90/1402.57 c current solution ok
1370.90/1402.57 c current bound: 48318382080
1372.10/1403.78 c model valid
1372.10/1403.78 c current solution ok
1372.10/1403.79 c current bound: 48318382080
1373.06/1404.99 c model valid
1373.06/1404.99 c current solution ok
1373.42/1405.16 c current bound: 48318382080
1374.28/1406.38 c model valid
1374.28/1406.38 c current solution ok
1374.28/1406.39 c current bound: 48318382080
1375.86/1407.60 c model valid
1375.86/1407.60 c current solution ok
1375.86/1407.60 c current bound: 48318382080
1376.73/1408.85 c model valid
1376.73/1408.85 c current solution ok
1376.73/1408.85 c current bound: 48318382080
1378.26/1410.20 c model valid
1378.26/1410.20 c current solution ok
1378.33/1410.21 c current bound: 48318382080
1379.53/1411.41 c model valid
1379.53/1411.41 c current solution ok
1379.53/1411.42 c current bound: 48318382080
1380.73/1412.62 c model valid
1380.73/1412.62 c current solution ok
1380.73/1412.63 c current bound: 48318382080
1381.62/1413.84 c model valid
1381.62/1413.84 c current solution ok
1381.62/1413.85 c current bound: 48318382080
1382.84/1415.06 c model valid
1382.84/1415.06 c current solution ok
1383.20/1415.20 c current bound: 48318382080
1384.40/1416.41 c model valid
1384.40/1416.41 c current solution ok
1384.40/1416.41 c current bound: 48318382080
1385.59/1417.62 c model valid
1385.59/1417.62 c current solution ok
1385.59/1417.63 c current bound: 48318382080
1386.49/1418.83 c model valid
1386.49/1418.83 c current solution ok
1386.49/1418.84 c current bound: 48318382080
1387.98/1420.06 c model valid
1387.98/1420.06 c current solution ok
1388.05/1420.23 c current bound: 48318382080
1389.23/1421.44 c model valid
1389.23/1421.44 c current solution ok
1389.23/1421.45 c current bound: 48318382080
1390.14/1422.66 c model valid
1390.14/1422.66 c current solution ok
1390.14/1422.67 c current bound: 48318382080
1391.37/1423.88 c model valid
1391.37/1423.88 c current solution ok
1391.37/1423.88 c current bound: 48318382080
1392.58/1425.09 c model valid
1392.58/1425.09 c current solution ok
1392.92/1425.25 c current bound: 48318382080
1393.79/1426.47 c model valid
1393.79/1426.47 c current solution ok
1393.79/1426.47 c current bound: 48318382080
1395.02/1427.68 c model valid
1395.02/1427.68 c current solution ok
1395.02/1427.69 c current bound: 48318382080
1396.48/1428.90 c model valid
1396.48/1428.90 c current solution ok
1396.60/1428.91 c current bound: 48318382080
1397.80/1430.11 c model valid
1397.80/1430.11 c current solution ok
1397.81/1430.29 c current bound: 48318382080
1398.68/1431.49 c model valid
1398.68/1431.49 c current solution ok
1399.02/1431.50 c current bound: 48318382080
1400.23/1432.70 c model valid
1400.23/1432.70 c current solution ok
1400.23/1432.71 c current bound: 48318382080
1401.42/1433.92 c model valid
1401.42/1433.92 c current solution ok
1401.42/1433.92 c current bound: 48318382080
1402.30/1435.13 c model valid
1402.30/1435.13 c current solution ok
1402.66/1435.31 c current bound: 48318382080
1403.86/1436.52 c model valid
1403.86/1436.52 c current solution ok
1403.86/1436.53 c current bound: 48318382080
1405.07/1437.73 c model valid
1405.07/1437.73 c current solution ok
1405.07/1437.74 c current bound: 48318382080
1406.24/1438.95 c model valid
1406.24/1438.95 c current solution ok
1406.24/1438.96 c current bound: 48318382080
1407.19/1440.16 c model valid
1407.19/1440.16 c current solution ok
1407.53/1440.33 c current bound: 48318382080
1408.39/1441.54 c model valid
1408.39/1441.54 c current solution ok
1408.39/1441.55 c current bound: 48318382080
1409.60/1442.76 c model valid
1409.60/1442.76 c current solution ok
1409.60/1442.76 c current bound: 48318382080
1410.80/1443.97 c model valid
1410.80/1443.97 c current solution ok
1410.80/1443.98 c current bound: 48318382080
1412.02/1445.18 c model valid
1412.02/1445.18 c current solution ok
1412.37/1445.34 c current bound: 48318382080
1413.51/1446.55 c model valid
1413.51/1446.55 c current solution ok
1413.51/1446.56 c current bound: 48318382080
1414.71/1447.77 c model valid
1414.71/1447.77 c current solution ok
1414.71/1447.78 c current bound: 48318382080
1415.66/1448.98 c model valid
1415.66/1448.98 c current solution ok
1415.66/1448.99 c current bound: 48318382080
1417.22/1450.21 c model valid
1417.22/1450.21 c current solution ok
1417.23/1450.37 c current bound: 48318382080
1418.10/1451.58 c model valid
1418.10/1451.58 c current solution ok
1418.10/1451.59 c current bound: 48318382080
1419.65/1452.80 c model valid
1419.65/1452.80 c current solution ok
1419.65/1452.81 c current bound: 48318382080
1420.87/1454.02 c model valid
1420.87/1454.02 c current solution ok
1420.87/1454.03 c current bound: 48318382080
1422.06/1455.23 c model valid
1422.06/1455.23 c current solution ok
1422.10/1455.42 c current bound: 48318382080
1423.28/1456.63 c model valid
1423.28/1456.63 c current solution ok
1423.28/1456.63 c current bound: 48318382080
1424.17/1457.84 c model valid
1424.17/1457.84 c current solution ok
1424.17/1457.85 c current bound: 48318382080
1425.38/1459.06 c model valid
1425.38/1459.06 c current solution ok
1425.38/1459.07 c current bound: 48318382080
1426.93/1460.42 c model valid
1426.93/1460.42 c current solution ok
1426.93/1460.43 c current bound: 48318382080
1427.81/1461.63 c model valid
1427.81/1461.63 c current solution ok
1427.81/1461.64 c current bound: 48318382080
1429.02/1462.84 c model valid
1429.02/1462.84 c current solution ok
1429.02/1462.85 c current bound: 48318382080
1430.51/1464.05 c model valid
1430.51/1464.05 c current solution ok
1430.51/1464.06 c current bound: 48318382080
1431.71/1465.27 c model valid
1431.71/1465.27 c current solution ok
1431.79/1465.40 c current bound: 48318382080
1433.00/1466.61 c model valid
1433.00/1466.61 c current solution ok
1433.00/1466.62 c current bound: 48318382080
1434.19/1467.82 c model valid
1434.19/1467.82 c current solution ok
1434.19/1467.83 c current bound: 48318382080
1435.08/1469.05 c model valid
1435.08/1469.05 c current solution ok
1435.08/1469.06 c current bound: 48318382080
1436.32/1470.27 c model valid
1436.32/1470.27 c current solution ok
1436.66/1470.42 c current bound: 48318382080
1437.85/1471.62 c model valid
1437.85/1471.62 c current solution ok
1437.85/1471.63 c current bound: 48318382080
1439.04/1472.84 c model valid
1439.04/1472.84 c current solution ok
1439.04/1472.85 c current bound: 48318382080
1440.23/1474.06 c model valid
1440.23/1474.06 c current solution ok
1440.23/1474.07 c current bound: 48318382080
1441.44/1475.29 c model valid
1441.44/1475.29 c current solution ok
1441.54/1475.48 c current bound: 48318382080
1442.41/1476.68 c model valid
1442.41/1476.68 c current solution ok
1442.41/1476.69 c current bound: 48318382080
1443.97/1477.90 c model valid
1443.97/1477.90 c current solution ok
1443.97/1477.91 c current bound: 48318382080
1445.17/1479.12 c model valid
1445.17/1479.12 c current solution ok
1445.17/1479.13 c current bound: 48318382080
1446.06/1480.48 c model valid
1446.06/1480.48 c current solution ok
1446.06/1480.49 c current bound: 48318382080
1447.50/1481.69 c model valid
1447.50/1481.69 c current solution ok
1447.50/1481.70 c current bound: 48318382080
1448.81/1482.91 c model valid
1448.81/1482.91 c current solution ok
1448.81/1482.92 c current bound: 48318382080
1450.02/1484.12 c model valid
1450.02/1484.12 c current solution ok
1450.02/1484.13 c current bound: 48318382080
1451.25/1485.51 c model valid
1451.25/1485.51 c current solution ok
1451.25/1485.52 c current bound: 48318382080
1452.45/1486.72 c model valid
1452.45/1486.72 c current solution ok
1452.45/1486.73 c current bound: 48318382080
1453.34/1487.94 c model valid
1453.34/1487.94 c current solution ok
1453.34/1487.95 c current bound: 48318382080
1454.56/1489.16 c model valid
1454.56/1489.16 c current solution ok
1454.56/1489.17 c current bound: 48318382080
1456.05/1490.50 c model valid
1456.05/1490.50 c current solution ok
1456.12/1490.51 c current bound: 48318382080
1457.31/1491.71 c model valid
1457.31/1491.71 c current solution ok
1457.31/1491.72 c current bound: 48318382080
1458.51/1492.93 c model valid
1458.51/1492.93 c current solution ok
1458.51/1492.94 c current bound: 48318382080
1459.42/1494.14 c model valid
1459.42/1494.14 c current solution ok
1459.42/1494.15 c current bound: 48318382080
1460.63/1495.53 c model valid
1460.63/1495.53 c current solution ok
1460.63/1495.54 c current bound: 48318382080
1461.85/1496.74 c model valid
1461.85/1496.74 c current solution ok
1461.85/1496.75 c current bound: 48318382080
1463.05/1497.95 c model valid
1463.05/1497.95 c current solution ok
1463.05/1497.96 c current bound: 48318382080
1464.28/1499.17 c model valid
1464.28/1499.17 c current solution ok
1464.28/1499.18 c current bound: 48318382080
1465.81/1500.55 c model valid
1465.81/1500.55 c current solution ok
1465.81/1500.55 c current bound: 48318382080
1466.72/1501.77 c model valid
1466.72/1501.77 c current solution ok
1466.72/1501.78 c current bound: 48318382080
1467.95/1502.98 c model valid
1467.95/1502.98 c current solution ok
1467.95/1502.99 c current bound: 48318382080
1469.50/1504.20 c model valid
1469.50/1504.20 c current solution ok
1469.50/1504.21 c current bound: 48318382080
1470.38/1505.55 c model valid
1470.38/1505.55 c current solution ok
1470.38/1505.56 c current bound: 48318382080
1471.59/1506.76 c model valid
1471.59/1506.76 c current solution ok
1471.59/1506.77 c current bound: 48318382080
1472.81/1507.98 c model valid
1472.81/1507.98 c current solution ok
1472.81/1507.99 c current bound: 48318382080
1474.37/1509.21 c model valid
1474.37/1509.21 c current solution ok
1474.37/1509.22 c current bound: 48318382080
1475.54/1510.59 c model valid
1475.54/1510.59 c current solution ok
1475.59/1510.60 c current bound: 48318382080
1476.80/1511.81 c model valid
1476.80/1511.81 c current solution ok
1476.80/1511.82 c current bound: 48318382080
1478.01/1513.02 c model valid
1478.01/1513.02 c current solution ok
1478.01/1513.03 c current bound: 48318382080
1478.89/1514.25 c model valid
1478.89/1514.25 c current solution ok
1478.89/1514.26 c current bound: 48318382080
1480.46/1515.60 c model valid
1480.46/1515.60 c current solution ok
1480.46/1515.61 c current bound: 48318382080
1481.67/1516.82 c model valid
1481.67/1516.82 c current solution ok
1481.67/1516.83 c current bound: 48318382080
1482.86/1518.04 c model valid
1482.86/1518.04 c current solution ok
1482.86/1518.05 c current bound: 48318382080
1484.06/1519.25 c model valid
1484.06/1519.25 c current solution ok
1484.06/1519.26 c current bound: 48318382080
1485.33/1520.61 c model valid
1485.33/1520.61 c current solution ok
1485.33/1520.62 c current bound: 48318382080
1486.20/1521.83 c model valid
1486.20/1521.83 c current solution ok
1486.20/1521.84 c current bound: 48318382080
1487.42/1523.05 c model valid
1487.42/1523.05 c current solution ok
1487.42/1523.06 c current bound: 48318382080
1488.63/1524.26 c model valid
1488.63/1524.26 c current solution ok
1488.63/1524.27 c current bound: 48318382080
1489.87/1525.60 c model valid
1489.87/1525.60 c current solution ok
1490.22/1525.60 c current bound: 48318382080
1491.43/1526.81 c model valid
1491.43/1526.81 c current solution ok
1491.43/1526.82 c current bound: 48318382080
1492.61/1528.02 c model valid
1492.61/1528.02 c current solution ok
1492.61/1528.03 c current bound: 48318382080
1493.80/1529.24 c model valid
1493.80/1529.24 c current solution ok
1493.80/1529.24 c current bound: 48318382080
1494.73/1530.46 c model valid
1494.73/1530.46 c current solution ok
1495.07/1530.63 c current bound: 48318382080
1495.94/1531.84 c model valid
1495.94/1531.84 c current solution ok
1495.94/1531.85 c current bound: 48318382080
1497.14/1533.05 c model valid
1497.14/1533.05 c current solution ok
1497.14/1533.06 c current bound: 48318382080
1498.36/1534.26 c model valid
1498.36/1534.26 c current solution ok
1498.36/1534.26 c current bound: 48318382080
1499.56/1535.47 c model valid
1499.56/1535.47 c current solution ok
1499.91/1535.64 c current bound: 48318382080
1501.07/1536.85 c model valid
1501.07/1536.85 c current solution ok
1501.07/1536.85 c current bound: 48318382080
1502.00/1538.06 c model valid
1502.00/1538.06 c current solution ok
1502.00/1538.07 c current bound: 48318382080
1503.21/1539.27 c model valid
1503.21/1539.27 c current solution ok
1503.21/1539.28 c current bound: 48318382080
1504.42/1540.48 c model valid
1504.42/1540.48 c current solution ok
1504.77/1540.65 c current bound: 48318382080
1505.64/1541.86 c model valid
1505.64/1541.86 c current solution ok
1505.64/1541.87 c current bound: 48318382080
1506.85/1543.08 c model valid
1506.85/1543.08 c current solution ok
1506.85/1543.09 c current bound: 48318382080
1508.08/1544.29 c model valid
1508.08/1544.29 c current solution ok
1508.43/1544.30 c current bound: 48318382080
1509.63/1545.51 c model valid
1509.63/1545.51 c current solution ok
1509.64/1545.68 c current bound: 48318382080
1510.52/1546.88 c model valid
1510.52/1546.88 c current solution ok
1510.52/1546.89 c current bound: 48318382080
1512.07/1548.10 c model valid
1512.07/1548.10 c current solution ok
1512.07/1548.11 c current bound: 48318382080
1513.26/1549.32 c model valid
1513.26/1549.32 c current solution ok
1513.26/1549.33 c current bound: 48318382080
1514.15/1550.54 c model valid
1514.15/1550.54 c current solution ok
1514.50/1550.69 c current bound: 48318382080
1515.37/1551.89 c model valid
1515.37/1551.89 c current solution ok
1515.71/1551.90 c current bound: 48318382080
1516.92/1553.10 c model valid
1516.92/1553.10 c current solution ok
1516.92/1553.11 c current bound: 48318382080
1518.12/1554.32 c model valid
1518.12/1554.32 c current solution ok
1518.12/1554.33 c current bound: 48318382080
1519.30/1555.54 c model valid
1519.30/1555.54 c current solution ok
1519.35/1555.68 c current bound: 48318382080
1520.23/1556.88 c model valid
1520.23/1556.88 c current solution ok
1520.23/1556.89 c current bound: 48318382080
1521.79/1558.10 c model valid
1521.79/1558.10 c current solution ok
1521.79/1558.11 c current bound: 48318382080
1522.66/1559.34 c model valid
1522.66/1559.34 c current solution ok
1522.66/1559.35 c current bound: 48318382080
1523.90/1560.55 c model valid
1523.90/1560.55 c current solution ok
1524.25/1560.72 c current bound: 48318382080
1525.45/1561.92 c model valid
1525.45/1561.92 c current solution ok
1525.45/1561.93 c current bound: 48318382080
1526.65/1563.13 c model valid
1526.65/1563.13 c current solution ok
1526.65/1563.14 c current bound: 48318382080
1527.84/1564.34 c model valid
1527.84/1564.34 c current solution ok
1527.84/1564.35 c current bound: 48318382080
1528.76/1565.56 c model valid
1528.76/1565.56 c current solution ok
1529.10/1565.72 c current bound: 48318382080
1529.97/1566.94 c model valid
1529.97/1566.94 c current solution ok
1529.97/1566.94 c current bound: 48318382080
1531.18/1568.15 c model valid
1531.18/1568.15 c current solution ok
1531.18/1568.16 c current bound: 48318382080
1532.40/1569.36 c model valid
1532.40/1569.36 c current solution ok
1532.40/1569.37 c current bound: 48318382080
1533.61/1570.58 c model valid
1533.61/1570.58 c current solution ok
1533.95/1570.62 c current bound: 48318382080
1535.15/1571.82 c model valid
1535.15/1571.82 c current solution ok
1535.15/1571.82 c current bound: 48318382080
1536.35/1573.03 c model valid
1536.35/1573.03 c current solution ok
1536.35/1573.03 c current bound: 48318382080
1537.54/1574.24 c model valid
1537.54/1574.24 c current solution ok
1537.54/1574.25 c current bound: 48318382080
1538.45/1575.45 c model valid
1538.45/1575.45 c current solution ok
1538.45/1575.46 c current bound: 48318382080
1539.66/1576.67 c model valid
1539.66/1576.67 c current solution ok
1539.66/1576.67 c current bound: 48318382080
1540.87/1577.88 c model valid
1540.87/1577.88 c current solution ok
1540.87/1577.89 c current bound: 48318382080
1542.45/1579.10 c model valid
1542.45/1579.10 c current solution ok
1542.45/1579.11 c current bound: 48318382080
1543.65/1580.31 c model valid
1543.65/1580.31 c current solution ok
1543.65/1580.32 c current bound: 48318382080
1544.54/1581.66 c model valid
1544.54/1581.66 c current solution ok
1544.54/1581.67 c current bound: 48318382080
1546.02/1582.87 c model valid
1546.02/1582.87 c current solution ok
1546.02/1582.88 c current bound: 48318382080
1547.21/1584.09 c model valid
1547.21/1584.09 c current solution ok
1547.32/1584.10 c current bound: 48318382080
1548.52/1585.31 c model valid
1548.52/1585.31 c current solution ok
1548.52/1585.32 c current bound: 48318382080
1549.39/1586.69 c model valid
1549.39/1586.69 c current solution ok
1549.76/1586.70 c current bound: 48318382080
1550.96/1587.91 c model valid
1550.96/1587.91 c current solution ok
1550.96/1587.91 c current bound: 48318382080
1552.17/1589.13 c model valid
1552.17/1589.13 c current solution ok
1552.17/1589.14 c current bound: 48318382080
1553.06/1590.35 c model valid
1553.06/1590.35 c current solution ok
1553.06/1590.35 c current bound: 48318382080
1554.57/1591.68 c model valid
1554.57/1591.68 c current solution ok
1554.57/1591.69 c current bound: 48318382080
1555.74/1592.89 c model valid
1555.74/1592.89 c current solution ok
1555.84/1592.90 c current bound: 48318382080
1557.05/1594.10 c model valid
1557.05/1594.10 c current solution ok
1557.05/1594.11 c current bound: 48318382080
1558.24/1595.32 c model valid
1558.24/1595.32 c current solution ok
1558.24/1595.33 c current bound: 48318382080
1559.13/1596.53 c model valid
1559.13/1596.53 c current solution ok
1559.48/1596.68 c current bound: 48318382080
1560.35/1597.88 c model valid
1560.35/1597.88 c current solution ok
1560.35/1597.89 c current bound: 48318382080
1561.91/1599.10 c model valid
1561.91/1599.10 c current solution ok
1561.91/1599.11 c current bound: 48318382080
1563.12/1600.31 c model valid
1563.12/1600.31 c current solution ok
1563.12/1600.31 c current bound: 48318382080
1564.33/1601.52 c model valid
1564.33/1601.52 c current solution ok
1564.33/1601.53 c current bound: 48318382080
1565.55/1602.81 c model valid
1565.55/1602.81 c current solution ok
1565.55/1602.82 c current bound: 48318382080
1566.74/1604.02 c model valid
1566.74/1604.02 c current solution ok
1566.74/1604.03 c current bound: 48318382080
1567.63/1605.24 c model valid
1567.63/1605.24 c current solution ok
1567.63/1605.25 c current bound: 48318382080
1568.85/1606.45 c model valid
1568.85/1606.45 c current solution ok
1568.85/1606.46 c current bound: 48318382080
1570.06/1607.67 c model valid
1570.06/1607.67 c current solution ok
1570.06/1607.68 c current bound: 48318382080
1571.26/1608.89 c model valid
1571.26/1608.89 c current solution ok
1571.62/1608.90 c current bound: 48318382080
1572.83/1610.11 c model valid
1572.83/1610.11 c current solution ok
1572.83/1610.12 c current bound: 48318382080
1573.71/1611.33 c model valid
1573.71/1611.33 c current solution ok
1573.71/1611.34 c current bound: 48318382080
1575.26/1612.73 c model valid
1575.26/1612.73 c current solution ok
1575.26/1612.73 c current bound: 48318382080
1576.44/1613.94 c model valid
1576.44/1613.94 c current solution ok
1576.44/1613.95 c current bound: 48318382080
1577.38/1615.17 c model valid
1577.38/1615.17 c current solution ok
1577.38/1615.18 c current bound: 48318382080
1578.60/1616.39 c model valid
1578.60/1616.39 c current solution ok
1578.60/1616.39 c current bound: 48318382080
1579.80/1617.74 c model valid
1579.80/1617.74 c current solution ok
1579.80/1617.74 c current bound: 48318382080
1581.02/1618.95 c model valid
1581.02/1618.95 c current solution ok
1581.02/1618.95 c current bound: 48318382080
1582.23/1620.16 c model valid
1582.23/1620.16 c current solution ok
1582.23/1620.17 c current bound: 48318382080
1583.71/1621.38 c model valid
1583.71/1621.38 c current solution ok
1583.71/1621.38 c current bound: 48318382080
1584.96/1622.73 c model valid
1584.96/1622.73 c current solution ok
1584.96/1622.74 c current bound: 48318382080
1585.89/1623.94 c model valid
1585.89/1623.94 c current solution ok
1585.89/1623.95 c current bound: 48318382080
1587.10/1625.15 c model valid
1587.10/1625.15 c current solution ok
1587.10/1625.16 c current bound: 48318382080
1588.31/1626.36 c model valid
1588.31/1626.36 c current solution ok
1588.31/1626.37 c current bound: 48318382080
1589.52/1627.57 c model valid
1589.52/1627.57 c current solution ok
1589.86/1627.74 c current bound: 48318382080
1590.73/1628.95 c model valid
1590.73/1628.95 c current solution ok
1590.73/1628.96 c current bound: 48318382080
1592.21/1630.17 c model valid
1592.21/1630.17 c current solution ok
1592.21/1630.18 c current bound: 48318382080
1593.42/1631.38 c model valid
1593.42/1631.38 c current solution ok
1593.42/1631.39 c current bound: 48318382080
1594.61/1632.59 c model valid
1594.61/1632.59 c current solution ok
1594.72/1632.72 c current bound: 48318382080
1595.91/1633.92 c model valid
1595.91/1633.92 c current solution ok
1595.91/1633.93 c current bound: 48318382080
1596.80/1635.13 c model valid
1596.80/1635.13 c current solution ok
1596.80/1635.14 c current bound: 48318382080
1598.01/1636.34 c model valid
1598.01/1636.34 c current solution ok
1598.01/1636.35 c current bound: 48318382080
1599.23/1637.56 c model valid
1599.23/1637.56 c current solution ok
1599.23/1637.57 c current bound: 48318382080
1600.43/1638.86 c model valid
1600.43/1638.86 c current solution ok
1600.43/1638.87 c current bound: 48318382080
1601.91/1640.08 c model valid
1601.91/1640.08 c current solution ok
1601.91/1640.09 c current bound: 48318382080
1603.22/1641.30 c model valid
1603.22/1641.30 c current solution ok
1603.22/1641.30 c current bound: 48318382080
1604.43/1642.51 c model valid
1604.43/1642.51 c current solution ok
1604.43/1642.52 c current bound: 48318382080
1605.61/1643.72 c model valid
1605.61/1643.72 c current solution ok
1605.61/1643.73 c current bound: 48318382080
1606.51/1644.93 c model valid
1606.51/1644.93 c current solution ok
1606.51/1644.94 c current bound: 48318382080
1607.72/1646.14 c model valid
1607.72/1646.14 c current solution ok
1607.72/1646.15 c current bound: 48318382080
1608.93/1647.35 c model valid
1608.93/1647.35 c current solution ok
1608.93/1647.36 c current bound: 48318382080
1610.16/1648.68 c model valid
1610.16/1648.68 c current solution ok
1610.16/1648.69 c current bound: 48318382080
1611.36/1649.89 c model valid
1611.36/1649.89 c current solution ok
1611.36/1649.90 c current bound: 48318382080
1612.80/1651.10 c model valid
1612.80/1651.10 c current solution ok
1612.92/1651.11 c current bound: 48318382080
1614.11/1652.31 c model valid
1614.11/1652.31 c current solution ok
1614.11/1652.32 c current bound: 48318382080
1615.29/1653.53 c model valid
1615.29/1653.53 c current solution ok
1615.34/1653.70 c current bound: 48318382080
1616.54/1654.91 c model valid
1616.54/1654.91 c current solution ok
1616.54/1654.91 c current bound: 48318382080
1617.75/1656.11 c model valid
1617.75/1656.11 c current solution ok
1617.75/1656.12 c current bound: 48318382080
1618.95/1657.32 c model valid
1618.95/1657.32 c current solution ok
1618.95/1657.33 c current bound: 48318382080
1619.85/1658.53 c model valid
1619.85/1658.53 c current solution ok
1620.18/1658.71 c current bound: 48318382080
1621.38/1659.91 c model valid
1621.38/1659.91 c current solution ok
1621.38/1659.92 c current bound: 48318382080
1622.55/1661.13 c model valid
1622.55/1661.13 c current solution ok
1622.55/1661.14 c current bound: 48318382080
1623.47/1662.34 c model valid
1623.47/1662.34 c current solution ok
1623.47/1662.35 c current bound: 48318382080
1624.69/1663.55 c model valid
1624.69/1663.55 c current solution ok
1624.69/1663.55 c current bound: 48318382080
1625.89/1664.76 c model valid
1625.89/1664.76 c current solution ok
1625.89/1664.76 c current bound: 48318382080
1627.11/1665.97 c model valid
1627.11/1665.97 c current solution ok
1627.11/1665.97 c current bound: 48318382080
1628.31/1667.18 c model valid
1628.31/1667.18 c current solution ok
1628.31/1667.19 c current bound: 48318382080
1629.53/1668.39 c model valid
1629.53/1668.39 c current solution ok
1629.88/1668.40 c current bound: 48318382080
1631.07/1669.72 c model valid
1631.07/1669.72 c current solution ok
1631.07/1669.73 c current bound: 48318382080
1632.25/1670.94 c model valid
1632.25/1670.94 c current solution ok
1632.25/1670.94 c current bound: 48318382080
1633.44/1672.14 c model valid
1633.44/1672.14 c current solution ok
1633.44/1672.15 c current bound: 48318382080
1634.37/1673.36 c model valid
1634.37/1673.36 c current solution ok
1634.37/1673.36 c current bound: 48318382080
1635.59/1674.58 c model valid
1635.95/1674.70 c current solution ok
1635.95/1674.74 c current bound: 48318382080
1636.82/1675.95 c model valid
1636.82/1675.95 c current solution ok
1636.82/1675.96 c current bound: 48318382080
1638.03/1677.15 c model valid
1638.03/1677.15 c current solution ok
1638.03/1677.16 c current bound: 48318382080
1639.24/1678.37 c model valid
1639.24/1678.37 c current solution ok
1639.24/1678.38 c current bound: 48318382080
1640.45/1679.58 c model valid
1640.45/1679.58 c current solution ok
1640.45/1679.58 c current bound: 48318382080
1641.94/1680.86 c model valid
1641.94/1680.86 c current solution ok
1641.94/1680.87 c current bound: 48318382080
1643.12/1682.07 c model valid
1643.12/1682.07 c current solution ok
1643.12/1682.08 c current bound: 48318382080
1644.10/1683.29 c model valid
1644.10/1683.29 c current solution ok
1644.44/1683.30 c current bound: 48318382080
1645.65/1684.51 c model valid
1645.65/1684.51 c current solution ok
1645.65/1684.52 c current bound: 48318382080
1646.85/1685.72 c model valid
1646.85/1685.72 c current solution ok
1646.85/1685.73 c current bound: 48318382080
1647.74/1686.93 c model valid
1647.74/1686.93 c current solution ok
1647.74/1686.94 c current bound: 48318382080
1648.94/1688.15 c model valid
1648.94/1688.15 c current solution ok
1648.94/1688.16 c current bound: 48318382080
1650.16/1689.36 c model valid
1650.16/1689.36 c current solution ok
1650.16/1689.36 c current bound: 48318382080
1651.69/1690.72 c model valid
1651.69/1690.72 c current solution ok
1651.69/1690.73 c current bound: 48318382080
1652.88/1691.94 c model valid
1652.88/1691.94 c current solution ok
1652.88/1691.95 c current bound: 48318382080
1653.79/1693.15 c model valid
1653.79/1693.15 c current solution ok
1653.79/1693.16 c current bound: 48318382080
1655.01/1694.36 c model valid
1655.01/1694.36 c current solution ok
1655.01/1694.37 c current bound: 48318382080
1656.58/1695.70 c model valid
1656.58/1695.70 c current solution ok
1656.58/1695.71 c current bound: 48318382080
1657.78/1696.91 c model valid
1657.78/1696.91 c current solution ok
1657.78/1696.92 c current bound: 48318382080
1658.99/1698.12 c model valid
1658.99/1698.12 c current solution ok
1658.99/1698.13 c current bound: 48318382080
1660.18/1699.33 c model valid
1660.18/1699.33 c current solution ok
1660.18/1699.34 c current bound: 48318382080
1661.38/1700.54 c model valid
1661.38/1700.54 c current solution ok
1661.38/1700.55 c current bound: 48318382080
1662.58/1701.76 c model valid
1662.58/1701.76 c current solution ok
1662.58/1701.77 c current bound: 48318382080
1663.77/1702.97 c model valid
1663.77/1702.97 c current solution ok
1663.77/1702.98 c current bound: 48318382080
1664.72/1704.18 c model valid
1664.72/1704.18 c current solution ok
1664.72/1704.19 c current bound: 48318382080
1665.94/1705.39 c model valid
1665.94/1705.39 c current solution ok
1666.28/1705.40 c current bound: 48318382080
1667.48/1706.60 c model valid
1667.48/1706.60 c current solution ok
1667.48/1706.61 c current bound: 48318382080
1668.69/1707.81 c model valid
1668.69/1707.81 c current solution ok
1668.69/1707.82 c current bound: 48318382080
1669.88/1709.02 c model valid
1669.88/1709.02 c current solution ok
1669.88/1709.03 c current bound: 48318382080
1670.77/1710.23 c model valid
1670.77/1710.23 c current solution ok
1670.77/1710.24 c current bound: 48318382080
1672.36/1711.50 c model valid
1672.36/1711.50 c current solution ok
1672.36/1711.51 c current bound: 48318382080
1673.57/1712.71 c model valid
1673.57/1712.71 c current solution ok
1673.57/1712.72 c current bound: 48318382080
1674.77/1713.93 c model valid
1674.77/1713.93 c current solution ok
1674.77/1713.93 c current bound: 48318382080
1675.94/1715.14 c model valid
1675.94/1715.14 c current solution ok
1675.94/1715.15 c current bound: 48318382080
1676.87/1716.35 c model valid
1676.87/1716.35 c current solution ok
1676.87/1716.36 c current bound: 48318382080
1678.07/1717.66 c model valid
1678.07/1717.66 c current solution ok
1678.07/1717.67 c current bound: 48318382080
1679.29/1718.87 c model valid
1679.29/1718.87 c current solution ok
1679.29/1718.88 c current bound: 48318382080
1680.51/1720.08 c model valid
1680.51/1720.08 c current solution ok
1680.51/1720.09 c current bound: 48318382080
1681.72/1721.29 c model valid
1681.72/1721.29 c current solution ok
1682.08/1721.30 c current bound: 48318382080
1683.28/1722.50 c model valid
1683.28/1722.50 c current solution ok
1683.28/1722.51 c current bound: 48318382080
1684.48/1723.71 c model valid
1684.48/1723.71 c current solution ok
1684.48/1723.72 c current bound: 48318382080
1685.67/1724.93 c model valid
1685.67/1724.93 c current solution ok
1685.67/1724.94 c current bound: 48318382080
1686.59/1726.14 c model valid
1686.59/1726.14 c current solution ok
1686.59/1726.15 c current bound: 48318382080
1687.80/1727.53 c model valid
1687.80/1727.53 c current solution ok
1687.80/1727.54 c current bound: 48318382080
1689.02/1728.74 c model valid
1689.02/1728.74 c current solution ok
1689.02/1728.74 c current bound: 48318382080
1690.24/1729.94 c model valid
1690.24/1729.94 c current solution ok
1690.24/1729.95 c current bound: 48318382080
1691.43/1731.15 c model valid
1691.43/1731.15 c current solution ok
1691.43/1731.16 c current bound: 48318382080
1692.94/1732.48 c model valid
1692.94/1732.48 c current solution ok
1692.94/1732.49 c current bound: 48318382080
1694.21/1733.70 c model valid
1694.21/1733.70 c current solution ok
1694.21/1733.71 c current bound: 48318382080
1695.41/1734.92 c model valid
1695.41/1734.92 c current solution ok
1695.41/1734.93 c current bound: 48318382080
1696.29/1736.13 c model valid
1696.29/1736.13 c current solution ok
1696.29/1736.14 c current bound: 48318382080
1697.49/1737.34 c model valid
1697.49/1737.34 c current solution ok
1697.84/1737.51 c current bound: 48318382080
1699.03/1738.72 c model valid
1699.03/1738.72 c current solution ok
1699.03/1738.73 c current bound: 48318382080
1699.93/1739.93 c model valid
1699.93/1739.93 c current solution ok
1699.93/1739.94 c current bound: 48318382080
1701.14/1741.14 c model valid
1701.14/1741.14 c current solution ok
1701.14/1741.15 c current bound: 48318382080
1702.62/1742.35 c model valid
1702.62/1742.35 c current solution ok
1702.69/1742.49 c current bound: 48318382080
1703.91/1743.70 c model valid
1703.91/1743.70 c current solution ok
1703.91/1743.70 c current bound: 48318382080
1705.11/1744.91 c model valid
1705.11/1744.91 c current solution ok
1705.11/1744.92 c current bound: 48318382080
1706.00/1746.13 c model valid
1706.00/1746.13 c current solution ok
1706.00/1746.14 c current bound: 48318382080
1707.21/1747.34 c model valid
1707.21/1747.34 c current solution ok
1707.21/1747.35 c current bound: 48318382080
1708.43/1748.65 c model valid
1708.43/1748.65 c current solution ok
1708.43/1748.65 c current bound: 48318382080
1709.63/1749.87 c model valid
1709.63/1749.87 c current solution ok
1709.63/1749.88 c current bound: 48318382080
1710.85/1751.08 c model valid
1710.85/1751.08 c current solution ok
1710.85/1751.09 c current bound: 48318382080
1712.31/1752.30 c model valid
1712.31/1752.30 c current solution ok
1712.43/1752.31 c current bound: 48318382080
1713.62/1753.51 c model valid
1713.62/1753.51 c current solution ok
1713.62/1753.52 c current bound: 48318382080
1714.82/1754.72 c model valid
1714.82/1754.72 c current solution ok
1714.82/1754.73 c current bound: 48318382080
1715.71/1755.94 c model valid
1715.71/1755.94 c current solution ok
1715.71/1755.94 c current bound: 48318382080
1716.93/1757.15 c model valid
1716.93/1757.15 c current solution ok
1716.93/1757.16 c current bound: 48318382080
1718.13/1758.47 c model valid
1718.13/1758.47 c current solution ok
1718.13/1758.48 c current bound: 48318382080
1719.34/1759.68 c model valid
1719.34/1759.68 c current solution ok
1719.34/1759.69 c current bound: 48318382080
1720.90/1760.90 c model valid
1720.90/1760.90 c current solution ok
1720.90/1760.91 c current bound: 48318382080
1722.11/1762.11 c model valid
1722.11/1762.11 c current solution ok
1722.11/1762.12 c current bound: 48318382080
1723.31/1763.33 c model valid
1723.31/1763.33 c current solution ok
1723.34/1763.47 c current bound: 48318382080
1724.20/1764.67 c model valid
1724.20/1764.67 c current solution ok
1724.20/1764.68 c current bound: 48318382080
1725.41/1765.88 c model valid
1725.41/1765.88 c current solution ok
1725.41/1765.89 c current bound: 48318382080
1726.96/1767.10 c model valid
1726.96/1767.10 c current solution ok
1726.96/1767.11 c current bound: 48318382080
1728.17/1768.31 c model valid
1728.17/1768.31 c current solution ok
1728.17/1768.32 c current bound: 48318382080
1729.05/1769.59 c model valid
1729.05/1769.59 c current solution ok
1729.39/1769.60 c current bound: 48318382080
1730.59/1770.82 c model valid
1730.59/1770.82 c current solution ok
1730.59/1770.83 c current bound: 48318382080
1731.81/1772.02 c model valid
1731.81/1772.02 c current solution ok
1731.81/1772.03 c current bound: 48318382080
1733.00/1773.24 c model valid
1733.00/1773.24 c current solution ok
1733.00/1773.25 c current bound: 48318382080
1734.18/1774.46 c model valid
1734.18/1774.46 c current solution ok
1734.18/1774.46 c current bound: 48318382080
1735.12/1775.67 c model valid
1735.12/1775.67 c current solution ok
1735.12/1775.68 c current bound: 48318382080
1736.33/1776.88 c model valid
1736.33/1776.88 c current solution ok
1736.33/1776.89 c current bound: 48318382080
1737.54/1778.09 c model valid
1737.54/1778.09 c current solution ok
1737.89/1778.10 c current bound: 48318382080
1739.08/1779.41 c model valid
1739.08/1779.41 c current solution ok
1739.08/1779.42 c current bound: 48318382080
1739.96/1780.63 c model valid
1739.96/1780.63 c current solution ok
1740.31/1780.83 c current bound: 48318382080
1741.47/1782.04 c model valid
1741.47/1782.04 c current solution ok
1741.47/1782.05 c current bound: 48318382080
1742.67/1783.25 c model valid
1742.67/1783.25 c current solution ok
1742.67/1783.26 c current bound: 48318382080
1743.95/1784.60 c model valid
1743.95/1784.60 c current solution ok
1743.95/1784.61 c current bound: 48318382080
1745.15/1785.81 c model valid
1745.15/1785.81 c current solution ok
1745.15/1785.82 c current bound: 48318382080
1746.02/1787.05 c model valid
1746.02/1787.05 c current solution ok
1746.02/1787.06 c current bound: 48318382080
1747.26/1788.25 c model valid
1747.26/1788.25 c current solution ok
1747.26/1788.26 c current bound: 48318382080
1748.47/1789.58 c model valid
1748.47/1789.58 c current solution ok
1748.47/1789.58 c current bound: 48318382080
1749.94/1790.79 c model valid
1749.94/1790.79 c current solution ok
1749.94/1790.80 c current bound: 48318382080
1751.24/1792.01 c model valid
1751.24/1792.01 c current solution ok
1751.24/1792.02 c current bound: 48318382080
1752.44/1793.23 c model valid
1752.44/1793.23 c current solution ok
1752.44/1793.23 c current bound: 48318382080
1753.34/1794.44 c model valid
1753.34/1794.44 c current solution ok
1753.69/1794.62 c current bound: 48318382080
1754.87/1795.82 c model valid
1754.87/1795.82 c current solution ok
1754.87/1795.83 c current bound: 48318382080
1755.77/1797.05 c model valid
1755.77/1797.05 c current solution ok
1755.77/1797.06 c current bound: 48318382080
1757.00/1798.27 c model valid
1757.00/1798.27 c current solution ok
1757.00/1798.27 c current bound: 48318382080
1758.51/1799.65 c model valid
1758.51/1799.65 c current solution ok
1758.51/1799.66 c current bound: 48318382080
1759.69/1800.87 c model valid
1759.69/1800.87 c current solution ok
1759.69/1800.88 c current bound: 48318382080
1760.63/1802.08 c model valid
1760.63/1802.08 c current solution ok
1760.63/1802.09 c current bound: 48318382080
1762.21/1803.30 c model valid
1762.21/1803.30 c current solution ok
1762.21/1803.31 c current bound: 48318382080
1763.08/1804.64 c model valid
1763.08/1804.64 c current solution ok
1763.08/1804.65 c current bound: 48318382080
1764.30/1805.87 c model valid
1764.30/1805.87 c current solution ok
1764.30/1805.88 c current bound: 48318382080
1765.54/1807.08 c model valid
1765.54/1807.08 c current solution ok
1765.54/1807.09 c current bound: 48318382080
1767.11/1808.32 c model valid
1767.11/1808.32 c current solution ok
1767.11/1808.33 c current bound: 48318382080
1768.28/1809.65 c model valid
1768.28/1809.65 c current solution ok
1768.28/1809.66 c current bound: 48318382080
1769.19/1810.86 c model valid
1769.19/1810.86 c current solution ok
1769.19/1810.87 c current bound: 48318382080
1770.40/1812.08 c model valid
1770.40/1812.08 c current solution ok
1770.40/1812.08 c current bound: 48318382080
1771.62/1813.29 c model valid
1771.62/1813.29 c current solution ok
1771.97/1813.30 c current bound: 48318382080
1773.18/1814.50 c model valid
1773.18/1814.50 c current solution ok
1773.19/1814.67 c current bound: 48318382080
1774.06/1815.87 c model valid
1774.06/1815.87 c current solution ok
1774.06/1815.87 c current bound: 48318382080
1775.26/1817.08 c model valid
1775.26/1817.08 c current solution ok
1775.26/1817.09 c current bound: 48318382080
1776.82/1818.30 c model valid
1776.82/1818.30 c current solution ok
1776.82/1818.31 c current bound: 48318382080
1778.03/1819.51 c model valid
1778.03/1819.52 c current solution ok
1778.05/1819.67 c current bound: 48318382080
1778.90/1820.87 c model valid
1778.90/1820.87 c current solution ok
1778.90/1820.88 c current bound: 48318382080
1780.12/1822.08 c model valid
1780.12/1822.08 c current solution ok
1780.12/1822.09 c current bound: 48318382080
1781.32/1823.29 c model valid
1781.32/1823.29 c current solution ok
1781.66/1823.30 c current bound: 48318382080
1782.86/1824.50 c model valid
1782.86/1824.50 c current solution ok
1782.86/1824.51 c current bound: 48318382080
1784.09/1825.80 c model valid
1784.09/1825.80 c current solution ok
1784.09/1825.81 c current bound: 48318382080
1785.29/1827.01 c model valid
1785.29/1827.01 c current solution ok
1785.29/1827.02 c current bound: 48318382080
1786.50/1828.23 c model valid
1786.50/1828.23 c current solution ok
1786.50/1828.24 c current bound: 48318382080
1787.66/1829.44 c model valid
1787.66/1829.44 c current solution ok
1787.66/1829.45 c current bound: 48318382080
1788.60/1830.66 c model valid
1788.60/1830.66 c current solution ok
1788.60/1830.66 c current bound: 48318382080
1789.80/1831.89 c model valid
1789.80/1831.89 c current solution ok
1789.80/1831.89 c current bound: 48318382080
1791.37/1833.10 c model valid
1791.37/1833.10 c current solution ok
1791.37/1833.11 c current bound: 48318382080
1792.58/1834.31 c model valid
1792.58/1834.31 c current solution ok
1792.58/1834.32 c current bound: 48318382080
1793.46/1835.69 c model valid
1793.46/1835.69 c current solution ok
1793.82/1835.70 c current bound: 48318382080
1795.02/1836.91 c model valid
1795.02/1836.91 c current solution ok
1795.02/1836.92 c current bound: 48318382080
1796.22/1838.14 c model valid
1796.22/1838.14 c current solution ok
1796.22/1838.15 c current bound: 48318382080
1797.40/1839.35 c model valid
1797.40/1839.35 c current solution ok
1797.40/1839.36 c current bound: 48318382080
1798.64/1840.72 c model valid
1798.64/1840.72 c current solution ok
1798.64/1840.73 c current bound: 48318382080
1799.25/1841.31 c error: unexpected solver exit code
1799.25/1841.31 s UNKNOWN
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 989)
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3751446-1339122207/watcher-3751446-1339122207 -o /tmp/evaluation-result-3751446-1339122207/solver-3751446-1339122207 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-Itdqb.sh HOME/instance-3751446-1339122207.opb 270381837 HOME HOME
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.92 1.98 1.99 3/178 14347
/proc/meminfo: memFree=26609108/32873648 swapFree=7376/7376
[pid=14347] ppid=14345 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14347/stat : 14347 (npSolver-pbo-It) S 14345 14347 11259 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 378346176 9367552 275 33554432000 4194304 5064252 140734919197440 140734919196352 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/14347/statm: 2287 275 233 213 0 72 0
[startup+0.0671539 s]
/proc/loadavg: 1.92 1.98 1.99 3/178 14347
/proc/meminfo: memFree=26609108/32873648 swapFree=7376/7376
[pid=14347] ppid=14345 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14347/stat : 14347 (npSolver-pbo-It) S 14345 14347 11259 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 378346176 9367552 275 33554432000 4194304 5064252 140734919197440 140734919196352 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/14347/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100282 s]
/proc/loadavg: 1.92 1.98 1.99 3/178 14347
/proc/meminfo: memFree=26609108/32873648 swapFree=7376/7376
[pid=14347] ppid=14345 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14347/stat : 14347 (npSolver-pbo-It) S 14345 14347 11259 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 378346176 9367552 275 33554432000 4194304 5064252 140734919197440 140734919196352 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/14347/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300166 s]
/proc/loadavg: 1.92 1.98 1.99 3/178 14347
/proc/meminfo: memFree=26609108/32873648 swapFree=7376/7376
[pid=14347] ppid=14345 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14347/stat : 14347 (npSolver-pbo-It) S 14345 14347 11259 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 378346176 9367552 275 33554432000 4194304 5064252 140734919197440 140734919196352 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/14347/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.70025 s]
/proc/loadavg: 1.92 1.98 1.99 3/178 14347
/proc/meminfo: memFree=26609108/32873648 swapFree=7376/7376
[pid=14347] ppid=14345 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14347/stat : 14347 (npSolver-pbo-It) S 14345 14347 11259 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 378346176 9367552 275 33554432000 4194304 5064252 140734919197440 140734919196352 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/14347/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50032 s]
/proc/loadavg: 1.92 1.98 1.99 3/181 14353
/proc/meminfo: memFree=26570660/32873648 swapFree=7376/7376
[pid=14347] ppid=14345 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14347/stat : 14347 (npSolver-pbo-It) S 14345 14347 11259 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 378346176 9367552 275 33554432000 4194304 5064252 140734919197440 140734919196352 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/14347/statm: 2287 275 233 213 0 72 0
[pid=14348] ppid=14347 vsize=27876 CPUtime=1.29 cores=1,3,5,7
/proc/14348/stat : 14348 (npSolver-pbo) S 14347 14347 11259 0 -1 4202496 7520 15445 0 0 31 23 67 8 20 0 1 0 378346177 28545024 6414 33554432000 4194304 6004724 140736748443536 140736748435840 5186782 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/14348/statm: 6969 6414 191 442 0 6523 0
[pid=14353] ppid=14348 vsize=28948 CPUtime=0.11 cores=1,3,5,7
/proc/14353/stat : 14353 (glucosInc) S 14348 14347 11259 0 -1 4202496 5441 0 0 0 11 0 0 0 20 0 1 0 378346269 29642752 6311 33554432000 4194304 5654031 140737171084176 140737171082488 4976656 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/14353/statm: 7237 6311 146 357 0 6877 0
Current children cumulated CPU time (s) 1.4
Current children cumulated vsize (KiB) 65972
[startup+3.10034 s]
/proc/loadavg: 1.92 1.98 1.99 3/183 14356
/proc/meminfo: memFree=26481924/32873648 swapFree=7376/7376
[pid=14347] ppid=14345 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14347/stat : 14347 (npSolver-pbo-It) S 14345 14347 11259 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 378346176 9367552 275 33554432000 4194304 5064252 140734919197440 140734919196352 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/14347/statm: 2287 275 233 213 0 72 0
[pid=14348] ppid=14347 vsize=27876 CPUtime=2.49 cores=1,3,5,7
/proc/14348/stat : 14348 (npSolver-pbo) S 14347 14347 11259 0 -1 4202496 10571 36731 0 0 42 24 160 23 20 0 1 0 378346177 28545024 6414 33554432000 4194304 6004724 140736748443536 140736748435840 5186782 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/14348/statm: 6969 6414 191 442 0 6523 0
[pid=14353] ppid=14348 vsize=28948 CPUtime=0.11 cores=1,3,5,7
/proc/14353/stat : 14353 (glucosInc) S 14348 14347 11259 0 -1 4202496 5441 0 0 0 11 0 0 0 20 0 1 0 378346269 29642752 6311 33554432000 4194304 5654031 140737171084176 140737171082488 4976656 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/14353/statm: 7237 6311 146 357 0 6877 0
Current children cumulated CPU time (s) 2.6
Current children cumulated vsize (KiB) 65972
[startup+6.30023 s]
/proc/loadavg: 1.93 1.98 1.99 3/183 14377
/proc/meminfo: memFree=26508132/32873648 swapFree=7376/7376
[pid=14347] ppid=14345 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14347/stat : 14347 (npSolver-pbo-It) S 14345 14347 11259 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 378346176 9367552 275 33554432000 4194304 5064252 140734919197440 140734919196352 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/14347/statm: 2287 275 233 213 0 72 0
[pid=14348] ppid=14347 vsize=27876 CPUtime=5.67 cores=1,3,5,7
/proc/14348/stat : 14348 (npSolver-pbo) S 14347 14347 11259 0 -1 4202496 16679 95282 0 0 65 26 418 58 20 0 1 0 378346177 28545024 6414 33554432000 4194304 6004724 140736748443536 140736748435328 5186782 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/14348/statm: 6969 6414 191 442 0 6523 0
[pid=14353] ppid=14348 vsize=28948 CPUtime=0.11 cores=1,3,5,7
/proc/14353/stat : 14353 (glucosInc) S 14348 14347 11259 0 -1 4202496 5441 0 0 0 11 0 0 0 20 0 1 0 378346269 29642752 6311 33554432000 4194304 5654031 140737171084176 140737171082488 4976656 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/14353/statm: 7237 6311 146 357 0 6877 0
Current children cumulated CPU time (s) 5.78
Current children cumulated vsize (KiB) 65972
[startup+12.7003 s]
/proc/loadavg: 1.93 1.98 1.99 3/183 14412
/proc/meminfo: memFree=26477712/32873648 swapFree=7376/7376
[pid=14347] ppid=14345 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14347/stat : 14347 (npSolver-pbo-It) S 14345 14347 11259 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 378346176 9367552 275 33554432000 4194304 5064252 140734919197440 140734919196352 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/14347/statm: 2287 275 233 213 0 72 0
[pid=14348] ppid=14347 vsize=27876 CPUtime=12.16 cores=1,3,5,7
/proc/14348/stat : 14348 (npSolver-pbo) S 14347 14347 11259 0 -1 4202496 34961 207937 0 0 134 33 896 153 20 0 1 0 378346177 28545024 6414 33554432000 4194304 6004724 140736748443536 140736748435840 5186782 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/14348/statm: 6969 6414 191 442 0 6523 0
[pid=14353] ppid=14348 vsize=28948 CPUtime=0.11 cores=1,3,5,7
/proc/14353/stat : 14353 (glucosInc) S 14348 14347 11259 0 -1 4202496 5441 0 0 0 11 0 0 0 20 0 1 0 378346269 29642752 6311 33554432000 4194304 5654031 140737171084176 140737171082488 4976656 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/14353/statm: 7237 6311 146 357 0 6877 0
Current children cumulated CPU time (s) 12.27
Current children cumulated vsize (KiB) 65972
[startup+25.5004 s]
/proc/loadavg: 1.95 1.98 1.99 3/183 14489
/proc/meminfo: memFree=26479076/32873648 swapFree=7376/7376
[pid=14347] ppid=14345 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14347/stat : 14347 (npSolver-pbo-It) S 14345 14347 11259 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 378346176 9367552 275 33554432000 4194304 5064252 140734919197440 140734919196352 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/14347/statm: 2287 275 233 213 0 72 0
[pid=14348] ppid=14347 vsize=27876 CPUtime=24.29 cores=1,3,5,7
/proc/14348/stat : 14348 (npSolver-pbo) S 14347 14347 11259 0 -1 4202496 65450 422502 0 0 249 45 1818 317 20 0 1 0 378346177 28545024 6414 33554432000 4194304 6004724 140736748443536 140736748435840 5186782 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 4 0 0
/proc/14348/statm: 6969 6414 191 442 0 6523 0
[pid=14353] ppid=14348 vsize=28948 CPUtime=0.11 cores=1,3,5,7
/proc/14353/stat : 14353 (glucosInc) S 14348 14347 11259 0 -1 4202496 5441 0 0 0 11 0 0 0 20 0 1 0 378346269 29642752 6311 33554432000 4194304 5654031 140737171084176 140737171082488 4976656 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/14353/statm: 7237 6311 146 357 0 6877 0
[pid=14488] ppid=14348 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14488/stat : 14488 (satsolver.sh) S 14348 14347 11259 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 378348658 9367552 266 33554432000 4194304 5064252 140734186553296 140734186552208 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/14488/statm: 2287 266 226 213 0 72 0
[pid=14489] ppid=14488 vsize=72704 CPUtime=0.67 cores=1,3,5,7
/proc/14489/stat : 14489 (glucose) R 14488 14347 11259 0 -1 4202496 15690 0 0 0 65 2 0 0 20 0 1 0 378348658 74448896 16230 33554432000 4194304 5208918 140735877484816 140735876434216 4334567 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/14489/statm: 18176 16230 103 248 0 17925 0
Current children cumulated CPU time (s) 25.07
Current children cumulated vsize (KiB) 147824
[startup+51.1003 s]
/proc/loadavg: 1.96 1.98 1.99 3/183 14632
/proc/meminfo: memFree=26511764/32873648 swapFree=7376/7376
[pid=14347] ppid=14345 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14347/stat : 14347 (npSolver-pbo-It) S 14345 14347 11259 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 378346176 9367552 275 33554432000 4194304 5064252 140734919197440 140734919196352 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/14347/statm: 2287 275 233 213 0 72 0
[pid=14348] ppid=14347 vsize=27876 CPUtime=49.69 cores=1,3,5,7
/proc/14348/stat : 14348 (npSolver-pbo) S 14347 14347 11259 0 -1 4202496 129478 871897 0 0 490 68 3746 665 20 0 1 0 378346177 28545024 6414 33554432000 4194304 6004724 140736748443536 140736748435840 5186782 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 5 0 0
/proc/14348/statm: 6969 6414 191 442 0 6523 0
[pid=14353] ppid=14348 vsize=28948 CPUtime=0.11 cores=1,3,5,7
/proc/14353/stat : 14353 (glucosInc) S 14348 14347 11259 0 -1 4202496 5441 0 0 0 11 0 0 0 20 0 1 0 378346269 29642752 6311 33554432000 4194304 5654031 140737171084176 140737171082488 4976656 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/14353/statm: 7237 6311 146 357 0 6877 0
Current children cumulated CPU time (s) 49.8
Current children cumulated vsize (KiB) 65972
[startup+102.307 s]
/proc/loadavg: 1.98 1.98 1.99 3/183 14923
/proc/meminfo: memFree=26453556/32873648 swapFree=7376/7376
[pid=14347] ppid=14345 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14347/stat : 14347 (npSolver-pbo-It) S 14345 14347 11259 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 378346176 9367552 275 33554432000 4194304 5064252 140734919197440 140734919196352 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/14347/statm: 2287 275 233 213 0 72 0
[pid=14348] ppid=14347 vsize=27876 CPUtime=99.42 cores=1,3,5,7
/proc/14348/stat : 14348 (npSolver-pbo) S 14347 14347 11259 0 -1 4202496 254485 1748097 0 0 961 115 7543 1323 20 0 1 0 378346177 28545024 6414 33554432000 4194304 6004724 140736748443536 140736748435840 5186782 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 8 0 0
/proc/14348/statm: 6969 6414 191 442 0 6523 0
[pid=14353] ppid=14348 vsize=28948 CPUtime=0.11 cores=1,3,5,7
/proc/14353/stat : 14353 (glucosInc) S 14348 14347 11259 0 -1 4202496 5441 0 0 0 11 0 0 0 20 0 1 0 378346269 29642752 6315 33554432000 4194304 5654031 140737171084176 140737171082488 4976656 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/14353/statm: 7237 6315 146 357 0 6877 0
[pid=14922] ppid=14348 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14922/stat : 14922 (satsolver.sh) S 14348 14347 11259 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 378356347 9367552 267 33554432000 4194304 5064252 140734454146512 140734454145424 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/14922/statm: 2287 267 226 213 0 72 0
[pid=14923] ppid=14922 vsize=72404 CPUtime=0.59 cores=1,3,5,7
/proc/14923/stat : 14923 (glucose) R 14922 14347 11259 0 -1 4202496 15110 0 0 0 56 3 0 0 20 0 1 0 378356347 74141696 16652 33554432000 4194304 5208918 140734093470512 140734093468456 4229460 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/14923/statm: 18101 16653 95 248 0 17850 0
Current children cumulated CPU time (s) 100.12
Current children cumulated vsize (KiB) 147524
[startup+162.3 s]
/proc/loadavg: 2.01 1.99 1.99 3/183 15259
/proc/meminfo: memFree=26450288/32873648 swapFree=7376/7376
[pid=14347] ppid=14345 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14347/stat : 14347 (npSolver-pbo-It) S 14345 14347 11259 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 378346176 9367552 275 33554432000 4194304 5064252 140734919197440 140734919196352 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/14347/statm: 2287 275 233 213 0 72 0
[pid=14348] ppid=14347 vsize=27876 CPUtime=158.37 cores=1,3,5,7
/proc/14348/stat : 14348 (npSolver-pbo) S 14347 14347 11259 0 -1 4202496 400842 2788457 0 0 1514 169 12035 2119 20 0 1 0 378346177 28545024 6414 33554432000 4194304 6004724 140736748443536 140736748435328 5186782 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 15 0 0
/proc/14348/statm: 6969 6414 191 442 0 6523 0
[pid=14353] ppid=14348 vsize=28948 CPUtime=0.11 cores=1,3,5,7
/proc/14353/stat : 14353 (glucosInc) S 14348 14347 11259 0 -1 4202496 5441 0 0 0 11 0 0 0 20 0 1 0 378346269 29642752 6315 33554432000 4194304 5654031 140737171084176 140737171082488 4976656 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/14353/statm: 7237 6315 146 357 0 6877 0
Current children cumulated CPU time (s) 158.48
Current children cumulated vsize (KiB) 65972
[startup+222.3 s]
/proc/loadavg: 1.97 1.97 1.99 3/184 15604
/proc/meminfo: memFree=26490216/32873648 swapFree=7376/7376
[pid=14347] ppid=14345 vsize=9148 CPUtime=0 cores=1,3,5,7
################
# More data... #
################
/proc/loadavg: 2.18 2.15 2.06 3/183 22745
/proc/meminfo: memFree=25809100/32873648 swapFree=7376/7376
[pid=14347] ppid=14345 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14347/stat : 14347 (npSolver-pbo-It) S 14345 14347 11259 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 378346176 9367552 275 33554432000 4194304 5064252 140734919197440 140734919196352 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/14347/statm: 2287 275 233 213 0 72 0
[pid=14348] ppid=14347 vsize=27876 CPUtime=1447.62 cores=1,3,5,7
/proc/14348/stat : 14348 (npSolver-pbo) S 14347 14347 11259 0 -1 4202496 3638762 25508213 0 0 13722 1383 110203 19454 20 0 1 0 378346177 28545024 6414 33554432000 4194304 6004724 140736748443536 140736748435840 5186782 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 111 0 0
/proc/14348/statm: 6969 6414 191 442 0 6523 0
[pid=14353] ppid=14348 vsize=28948 CPUtime=0.11 cores=1,3,5,7
/proc/14353/stat : 14353 (glucosInc) S 14348 14347 11259 0 -1 4202496 5441 0 0 0 11 0 0 0 20 0 1 0 378346269 29642752 6315 33554432000 4194304 5654031 140737171084176 140737171082488 4976656 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/14353/statm: 7237 6315 146 357 0 6877 0
Current children cumulated CPU time (s) 1447.73
Current children cumulated vsize (KiB) 65972
[startup+1542.3 s]
/proc/loadavg: 2.01 2.11 2.05 3/183 23085
/proc/meminfo: memFree=25759084/32873648 swapFree=7376/7376
[pid=14347] ppid=14345 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14347/stat : 14347 (npSolver-pbo-It) S 14345 14347 11259 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 378346176 9367552 275 33554432000 4194304 5064252 140734919197440 140734919196352 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/14347/statm: 2287 275 233 213 0 72 0
[pid=14348] ppid=14347 vsize=27876 CPUtime=1505.98 cores=1,3,5,7
/proc/14348/stat : 14348 (npSolver-pbo) S 14347 14347 11259 0 -1 4202496 3785113 26538344 0 0 14274 1436 114629 20259 20 0 1 0 378346177 28545024 6414 33554432000 4194304 6004724 140736748443536 140736748435840 5186782 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 111 0 0
/proc/14348/statm: 6969 6414 191 442 0 6523 0
[pid=14353] ppid=14348 vsize=28948 CPUtime=0.11 cores=1,3,5,7
/proc/14353/stat : 14353 (glucosInc) S 14348 14347 11259 0 -1 4202496 5441 0 0 0 11 0 0 0 20 0 1 0 378346269 29642752 6315 33554432000 4194304 5654031 140737171084176 140737171082488 4976656 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/14353/statm: 7237 6315 146 357 0 6877 0
[pid=23084] ppid=14348 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23084/stat : 23084 (satsolver.sh) S 14348 14347 11259 0 -1 4202496 595 0 0 0 0 0 0 0 20 0 1 0 378500373 9367552 266 33554432000 4194304 5064252 140734733749408 140734733748320 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/23084/statm: 2287 266 226 213 0 72 0
[pid=23085] ppid=23084 vsize=71748 CPUtime=0.32 cores=1,3,5,7
/proc/23085/stat : 23085 (glucose) R 23084 14347 11259 0 -1 4202496 15437 0 0 0 30 2 0 0 20 0 1 0 378500373 73469952 16418 33554432000 4194304 5208918 140736362269424 140736361218824 4205155 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/23085/statm: 17937 16418 95 248 0 17686 0
Current children cumulated CPU time (s) 1506.41
Current children cumulated vsize (KiB) 146868
[startup+1602.3 s]
/proc/loadavg: 2.00 2.09 2.04 3/182 23421
/proc/meminfo: memFree=25795080/32873648 swapFree=7376/7376
[pid=14347] ppid=14345 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14347/stat : 14347 (npSolver-pbo-It) S 14345 14347 11259 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 378346176 9367552 275 33554432000 4194304 5064252 140734919197440 140734919196352 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/14347/statm: 2287 275 233 213 0 72 0
[pid=14348] ppid=14347 vsize=27876 CPUtime=1564.34 cores=1,3,5,7
/proc/14348/stat : 14348 (npSolver-pbo) S 14347 14347 11259 0 -1 4202496 3931460 27566007 0 0 14827 1490 119076 21041 20 0 1 0 378346177 28545024 6414 33554432000 4194304 6004724 140736748443536 140736748435840 5186782 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 114 0 0
/proc/14348/statm: 6969 6414 191 442 0 6523 0
[pid=14353] ppid=14348 vsize=28948 CPUtime=0.11 cores=1,3,5,7
/proc/14353/stat : 14353 (glucosInc) S 14348 14347 11259 0 -1 4202496 5441 0 0 0 11 0 0 0 20 0 1 0 378346269 29642752 6315 33554432000 4194304 5654031 140737171084176 140737171082488 4976656 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/14353/statm: 7237 6315 146 357 0 6877 0
Current children cumulated CPU time (s) 1564.45
Current children cumulated vsize (KiB) 65972
[startup+1662.3 s]
/proc/loadavg: 1.95 2.05 2.03 3/182 23761
/proc/meminfo: memFree=25807748/32873648 swapFree=7376/7376
[pid=14347] ppid=14345 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14347/stat : 14347 (npSolver-pbo-It) S 14345 14347 11259 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 378346176 9367552 275 33554432000 4194304 5064252 140734919197440 140734919196352 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/14347/statm: 2287 275 233 213 0 72 0
[pid=14348] ppid=14347 vsize=27876 CPUtime=1623.36 cores=1,3,5,7
/proc/14348/stat : 14348 (npSolver-pbo) S 14347 14347 11259 0 -1 4202496 4077818 28613445 0 0 15377 1546 123594 21819 20 0 1 0 378346177 28545024 6414 33554432000 4194304 6004724 140736748443536 140736748435328 5186782 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 117 0 0
/proc/14348/statm: 6969 6414 191 442 0 6523 0
[pid=14353] ppid=14348 vsize=28948 CPUtime=0.11 cores=1,3,5,7
/proc/14353/stat : 14353 (glucosInc) S 14348 14347 11259 0 -1 4202496 5441 0 0 0 11 0 0 0 20 0 1 0 378346269 29642752 6315 33554432000 4194304 5654031 140737171084176 140737171082488 4976656 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/14353/statm: 7237 6315 146 357 0 6877 0
[pid=23761] ppid=14348 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23761/stat : 23761 (cp2_post.sh) S 14348 14347 11259 0 -1 4202496 609 226 0 0 0 0 0 0 20 0 1 0 378512376 9367552 265 33554432000 4194304 5064252 140735297444560 140735297442848 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/23761/statm: 2287 265 225 213 0 72 0
Current children cumulated CPU time (s) 1623.47
Current children cumulated vsize (KiB) 75120
[startup+1722.3 s]
/proc/loadavg: 2.02 2.06 2.03 3/182 24103
/proc/meminfo: memFree=25802404/32873648 swapFree=7376/7376
[pid=14347] ppid=14345 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14347/stat : 14347 (npSolver-pbo-It) S 14345 14347 11259 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 378346176 9367552 275 33554432000 4194304 5064252 140734919197440 140734919196352 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/14347/statm: 2287 275 233 213 0 72 0
[pid=14348] ppid=14347 vsize=27876 CPUtime=1682.83 cores=1,3,5,7
/proc/14348/stat : 14348 (npSolver-pbo) S 14347 14347 11259 0 -1 4202496 4227213 29660231 0 0 15940 1603 128123 22617 20 0 1 0 378346177 28545024 6414 33554432000 4194304 6004724 140736748443536 140736748435328 5186782 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 124 0 0
/proc/14348/statm: 6969 6414 191 442 0 6523 0
[pid=14353] ppid=14348 vsize=28948 CPUtime=0.11 cores=1,3,5,7
/proc/14353/stat : 14353 (glucosInc) S 14348 14347 11259 0 -1 4202496 5441 0 0 0 11 0 0 0 20 0 1 0 378346269 29642752 6315 33554432000 4194304 5654031 140737171084176 140737171082488 4976656 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/14353/statm: 7237 6315 146 357 0 6877 0
Current children cumulated CPU time (s) 1682.94
Current children cumulated vsize (KiB) 65972
[startup+1782.3 s]
/proc/loadavg: 2.01 2.04 2.02 3/183 24443
/proc/meminfo: memFree=25790596/32873648 swapFree=7376/7376
[pid=14347] ppid=14345 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14347/stat : 14347 (npSolver-pbo-It) S 14345 14347 11259 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 378346176 9367552 275 33554432000 4194304 5064252 140734919197440 140734919196352 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/14347/statm: 2287 275 233 213 0 72 0
[pid=14348] ppid=14347 vsize=27876 CPUtime=1741.52 cores=1,3,5,7
/proc/14348/stat : 14348 (npSolver-pbo) S 14347 14347 11259 0 -1 4202496 4376597 30694420 0 0 16504 1659 132583 23406 20 0 1 0 378346177 28545024 6414 33554432000 4194304 6004724 140736748443536 140736748435840 5186782 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 132 0 0
/proc/14348/statm: 6969 6414 191 442 0 6523 0
[pid=14353] ppid=14348 vsize=28948 CPUtime=0.11 cores=1,3,5,7
/proc/14353/stat : 14353 (glucosInc) S 14348 14347 11259 0 -1 4202496 5441 0 0 0 11 0 0 0 20 0 1 0 378346269 29642752 6315 33554432000 4194304 5654031 140737171084176 140737171082488 4976656 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/14353/statm: 7237 6315 146 357 0 6877 0
Current children cumulated CPU time (s) 1741.63
Current children cumulated vsize (KiB) 65972
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1841.3 s]
/proc/loadavg: 2.13 2.06 2.03 3/183 24776
/proc/meminfo: memFree=25702360/32873648 swapFree=7376/7376
[pid=14347] ppid=14345 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14347/stat : 14347 (npSolver-pbo-It) S 14345 14347 11259 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 378346176 9367552 275 33554432000 4194304 5064252 140734919197440 140734919196352 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/14347/statm: 2287 275 233 213 0 72 0
[pid=14348] ppid=14347 vsize=27876 CPUtime=1798.66 cores=1,3,5,7
/proc/14348/stat : 14348 (npSolver-pbo) S 14347 14347 11259 0 -1 4202496 4519897 31700337 0 0 17045 1712 136921 24188 20 0 1 0 378346177 28545024 6414 33554432000 4194304 6004724 140736748443536 140736748435840 5186782 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 136 0 0
/proc/14348/statm: 6969 6414 191 442 0 6523 0
[pid=14353] ppid=14348 vsize=28948 CPUtime=0.11 cores=1,3,5,7
/proc/14353/stat : 14353 (glucosInc) S 14348 14347 11259 0 -1 4202496 5441 0 0 0 11 0 0 0 20 0 1 0 378346269 29642752 6315 33554432000 4194304 5654031 140737171084176 140737171082488 4976656 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/14353/statm: 7237 6315 146 357 0 6877 0
[pid=24775] ppid=14348 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24775/stat : 24775 (satsolver.sh) S 14348 14347 11259 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 378530259 9367552 266 33554432000 4194304 5064252 140735811156704 140735811155616 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/24775/statm: 2287 266 226 213 0 72 0
[pid=24776] ppid=24775 vsize=72272 CPUtime=0.48 cores=1,3,5,7
/proc/24776/stat : 24776 (glucose) R 24775 14347 11259 0 -1 4202496 15499 0 0 0 45 3 0 0 20 0 1 0 378530259 74006528 16487 33554432000 4194304 5208918 140733442627904 140733441577400 4229757 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/24776/statm: 18068 16487 95 248 0 17817 0
Current children cumulated CPU time (s) 1799.25
Current children cumulated vsize (KiB) 147392
Sending SIGTERM to process tree (bottom up)
Solver just ended. Dumping a history of the last processes samples
[startup+1841.3 s]
/proc/loadavg: 2.13 2.06 2.03 3/183 24776
/proc/meminfo: memFree=25702360/32873648 swapFree=7376/7376
[pid=14347] ppid=14345 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14347/stat : 14347 (npSolver-pbo-It) S 14345 14347 11259 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 378346176 9367552 275 33554432000 4194304 5064252 140734919197440 140734919196352 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/14347/statm: 2287 275 233 213 0 72 0
[pid=14348] ppid=14347 vsize=27876 CPUtime=1798.66 cores=1,3,5,7
/proc/14348/stat : 14348 (npSolver-pbo) S 14347 14347 11259 0 -1 4202496 4519897 31700337 0 0 17045 1712 136921 24188 20 0 1 0 378346177 28545024 6414 33554432000 4194304 6004724 140736748443536 140736748435840 5186782 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 136 0 0
/proc/14348/statm: 6969 6414 191 442 0 6523 0
[pid=14353] ppid=14348 vsize=28948 CPUtime=0.11 cores=1,3,5,7
/proc/14353/stat : 14353 (glucosInc) S 14348 14347 11259 0 -1 4202496 5441 0 0 0 11 0 0 0 20 0 1 0 378346269 29642752 6315 33554432000 4194304 5654031 140737171084176 140737171082488 4976656 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/14353/statm: 7237 6315 146 357 0 6877 0
[pid=24775] ppid=14348 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24775/stat : 24775 (satsolver.sh) S 14348 14347 11259 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 378530259 9367552 266 33554432000 4194304 5064252 140735811156704 140735811155616 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/24775/statm: 2287 266 226 213 0 72 0
[pid=24776] ppid=24775 vsize=72272 CPUtime=0.48 cores=1,3,5,7
/proc/24776/stat : 24776 (glucose) R 24775 14347 11259 0 -1 4202496 15499 0 0 0 45 3 0 0 20 0 1 0 378530259 74006528 16487 33554432000 4194304 5208918 140733442627904 140733441577400 4229757 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/24776/statm: 18068 16487 95 248 0 17817 0
Current children cumulated CPU time (s) 1799.25
Current children cumulated vsize (KiB) 147392
Child status: 0
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 14347 and gives
# childrusage.ru_utime.tv_sec=1539
# childrusage.ru_utime.tv_usec=672934
# childrusage.ru_stime.tv_sec=259
# childrusage.ru_stime.tv_usec=9624
# CPU time returned by wait4() is 1798.68
# while last known CPU time is 1799.25
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
# WARNING:
# The CPU time of some children was not reported to their father
# (probably because of a missing or aborted wait()).
# This 'lost CPU time' is added to the watched process CPU time.
# lost CPU time (s): 0.859985
# lost CPU user time (s): 0.76001
# lost CPU system time (s): 0.0999985
Real time (s): 1841.32
CPU time (s): 1800.11
CPU user time (s): 1540.98
CPU system time (s): 259.13
CPU usage (%): 97.762
Max. virtual memory (cumulated for all children) (KiB): 148064
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1539.67
system time used= 259.01
maximum resident set size= 70464
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 36221211
page faults= 0
swaps= 0
block input operations= 0
block output operations= 33551968
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 713463
involuntary context switches= 25506
runsolver used 3.2655 second user time and 8.34473 second system time
The end