0.00/0.00 c Parsing...
0.13/0.14 c ==============================================================================
0.13/0.14 c | | ORIGINAL | LEARNT | |
0.13/0.14 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress |
0.13/0.14 c ==============================================================================
0.13/0.14 c | 0 | 216962 647286 | 65088 0 0 nan | 0.000 % |
2.93/2.99 c | 0 | 215680 949307 | -- 0 -- -- | -- | -1282/302021
2.93/2.99 c ==============================================================================
2.93/2.99 c Result : #vars: 1435 #clauses: 215680 #literals: 949307
2.93/2.99 c CPU time: 2.93 s
2.93/2.99 c ==============================================================================
3.23/3.27 c This is MiniSat 2.0 beta
3.23/3.27 c WARNING: for repeatability, setting FPU to use double precision
3.23/3.27 c ============================[ Problem Statistics ]=============================
3.23/3.27 c | |
3.23/3.28 c | Number of variables: 1435 |
3.23/3.28 c | Number of clauses: 215680 |
3.28/3.41 c | Parsing time: 0.13 s |
3.28/3.42 c ============================[ Search Statistics ]==============================
3.28/3.42 c | Conflicts | ORIGINAL | LEARNT | Progress |
3.28/3.42 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
3.28/3.42 c ===============================================================================
3.28/3.42 c | 0 | 1435 215680 949307 | 71893 0 nan | 0.000 % |
3.28/3.60 c | 101 | 1435 215680 949307 | 71893 101 62 | 0.000 % |
3.28/3.75 c | 202 | 1435 215680 949307 | 71893 202 59 | 0.000 % |
3.28/3.88 c | 302 | 1435 215680 949307 | 71893 302 60 | 0.000 % |
3.28/4.01 c | 413 | 1435 215680 949307 | 71893 413 62 | 0.000 % |
3.28/4.15 c | 515 | 1435 215680 949307 | 71893 515 60 | 0.000 % |
3.28/4.29 c | 625 | 1435 215680 949307 | 71893 625 61 | 0.000 % |
4.43/4.43 c | 748 | 1435 215680 949307 | 71893 748 59 | 0.000 % |
4.43/4.49 c | 848 | 1435 215680 949307 | 71893 848 62 | 0.000 % |
4.53/4.59 c | 959 | 1435 215680 949307 | 71893 959 63 | 0.000 % |
4.63/4.70 c | 1081 | 1435 215680 949307 | 71893 1081 62 | 0.000 % |
4.73/4.77 c | 1214 | 1435 215680 949307 | 71893 1214 62 | 0.000 % |
4.83/4.84 c | 1314 | 1435 215680 949307 | 71893 1314 61 | 0.000 % |
4.93/4.94 c | 1425 | 1435 215680 949307 | 71893 1425 61 | 0.000 % |
5.03/5.03 c | 1548 | 1435 215680 949307 | 71893 1548 61 | 0.000 % |
5.13/5.14 c | 1682 | 1435 215680 949307 | 71893 1682 63 | 0.000 % |
5.23/5.22 c | 1828 | 1435 215680 949307 | 71893 1828 64 | 0.000 % |
5.33/5.32 c | 1930 | 1435 215680 949307 | 71893 1930 65 | 0.000 % |
5.43/5.43 c | 2040 | 1435 215680 949307 | 71893 2040 64 | 0.000 % |
5.53/5.57 c | 2161 | 1435 215680 949307 | 71893 2161 65 | 0.000 % |
5.63/5.68 c | 2296 | 1435 215680 949307 | 71893 2296 65 | 0.000 % |
5.83/5.87 c | 2443 | 1435 215680 949307 | 71893 2443 65 | 0.000 % |
6.03/6.08 c | 2603 | 1435 215680 949307 | 71893 2603 64 | 0.000 % |
6.13/6.20 c | 2703 | 1435 215680 949307 | 71893 2703 63 | 0.000 % |
6.33/6.33 c | 2814 | 1435 215680 949307 | 71893 2814 62 | 0.000 % |
6.43/6.50 c | 2935 | 1435 215680 949307 | 71893 2935 61 | 0.000 % |
6.63/6.70 c | 3070 | 1435 215680 949307 | 71893 3070 60 | 0.000 % |
6.83/6.86 c | 3216 | 1435 215680 949307 | 71893 3216 61 | 0.000 % |
6.93/6.99 c | 3378 | 1435 215680 949307 | 71893 3378 61 | 0.000 % |
7.13/7.20 c | 3556 | 1435 215680 949307 | 71893 3556 61 | 0.000 % |
7.23/7.30 c | 3656 | 1435 215680 949307 | 71893 3656 61 | 0.000 % |
7.33/7.39 c | 3766 | 1435 215680 949307 | 71893 3766 61 | 0.000 % |
7.53/7.52 c | 3887 | 1435 215680 949307 | 71893 3887 61 | 0.000 % |
7.63/7.64 c | 4020 | 1435 215680 949307 | 71893 4020 62 | 0.000 % |
7.83/7.84 c | 4167 | 1435 215680 949307 | 71893 4167 62 | 0.000 % |
7.93/8.01 c | 4328 | 1435 215680 949307 | 71893 4328 61 | 0.000 % |
8.13/8.13 c | 4506 | 1435 215680 949307 | 71893 4506 61 | 0.000 % |
8.33/8.33 c | 4700 | 1435 215680 949307 | 71893 4700 62 | 0.000 % |
8.43/8.47 c | 4803 | 1435 215680 949307 | 71893 4803 62 | 0.000 % |
8.53/8.58 c | 4913 | 1435 215680 949307 | 71893 4913 62 | 0.000 % |
8.63/8.71 c | 5035 | 1435 215680 949307 | 71893 5035 63 | 0.000 % |
8.83/8.88 c | 5168 | 1435 215680 949307 | 71893 5168 63 | 0.000 % |
9.03/9.04 c | 5314 | 1435 215680 949307 | 71893 5314 63 | 0.000 % |
9.13/9.16 c | 5474 | 1435 215680 949307 | 71893 5474 63 | 0.000 % |
9.33/9.37 c | 5653 | 1435 215680 949307 | 71893 5653 63 | 0.000 % |
9.53/9.60 c | 5846 | 1435 215680 949307 | 71893 5846 62 | 0.000 % |
9.83/9.91 c | 6059 | 1435 215680 949307 | 71893 6059 61 | 0.000 % |
10.03/10.02 c | 6159 | 1435 215680 949307 | 71893 6159 62 | 0.000 % |
10.13/10.17 c | 6272 | 1435 215680 949307 | 71893 6272 61 | 0.000 % |
10.23/10.32 c | 6394 | 1435 215680 949307 | 71893 6394 61 | 0.000 % |
10.43/10.45 c | 6527 | 1435 215680 949307 | 71893 6527 61 | 0.000 % |
10.53/10.60 c | 6673 | 1435 215680 949307 | 71893 6673 62 | 0.000 % |
10.73/10.72 c | 6834 | 1435 215680 949307 | 71893 6834 62 | 0.000 % |
10.83/10.90 c | 7012 | 1435 215680 949307 | 71893 7012 62 | 0.000 % |
10.93/11.01 c | 7205 | 1435 215680 949307 | 71893 7205 61 | 0.000 % |
11.23/11.26 c | 7417 | 1435 215680 949307 | 71893 7417 61 | 0.000 % |
11.53/11.52 c | 7650 | 1435 215680 949307 | 71893 7650 61 | 0.000 % |
11.63/11.64 c | 7751 | 1435 215680 949307 | 71893 7751 60 | 0.000 % |
11.73/11.76 c | 7861 | 1435 215680 949307 | 71893 7861 60 | 0.000 % |
11.83/11.86 c | 7985 | 1435 215680 949307 | 71893 7985 60 | 0.000 % |
11.93/11.99 c | 8118 | 1435 215680 949307 | 71893 8118 59 | 0.000 % |
12.13/12.21 c | 8265 | 1435 215680 949307 | 71893 8265 59 | 0.000 % |
12.33/12.37 c | 8425 | 1435 215680 949307 | 71893 8425 58 | 0.000 % |
12.53/12.55 c | 8601 | 1435 215680 949307 | 71893 8601 58 | 0.000 % |
12.73/12.77 c | 8794 | 1435 215680 949307 | 71893 8794 57 | 0.000 % |
12.93/12.98 c | 9006 | 1435 215680 949307 | 71893 9006 57 | 0.000 % |
13.33/13.34 c | 9240 | 1435 215680 949307 | 71893 9240 57 | 0.000 % |
13.73/13.75 c | 9497 | 1435 215680 949307 | 71893 9497 57 | 0.000 % |
13.83/13.90 c | 9599 | 1435 215680 949307 | 71893 9599 57 | 0.000 % |
13.93/14.01 c | 9709 | 1435 215680 949307 | 71893 9709 57 | 0.000 % |
14.13/14.14 c | 9830 | 1435 215680 949307 | 71893 9830 57 | 0.000 % |
14.33/14.34 c | 9963 | 1435 215680 949307 | 71893 9963 56 | 0.000 % |
14.53/14.56 c | 10111 | 1435 215680 949307 | 2147483647 10111 56 | 0.000 % |
14.83/14.83 c | 10271 | 1435 215680 949307 | 2147483647 10271 56 | 0.001 % |
15.03/15.07 c | 10448 | 1435 215680 949307 | 2147483647 10448 55 | 0.000 % |
15.33/15.34 c | 10642 | 1435 215680 949307 | 2147483647 10642 55 | 0.000 % |
15.62/15.71 c | 10854 | 1435 215680 949307 | 2147483647 10854 54 | 0.000 % |
16.12/16.14 c | 11088 | 1435 215680 949307 | 2147483647 11088 54 | 0.000 % |
16.42/16.47 c | 11344 | 1435 215680 949307 | 2147483647 11344 55 | 0.000 % |
16.72/16.78 c | 11625 | 1435 215680 949307 | 2147483647 11625 55 | 0.000 % |
16.92/16.92 c | 11727 | 1435 215680 949307 | 2147483647 11727 55 | 0.000 % |
17.02/17.05 c | 11837 | 1435 215680 949307 | 2147483647 11837 55 | 0.000 % |
17.12/17.20 c | 11958 | 1435 215680 949307 | 2147483647 11958 55 | 0.000 % |
17.31/17.32 c | 12092 | 1435 215680 949307 | 2147483647 12092 55 | 0.000 % |
17.41/17.49 c | 12242 | 1435 215680 949307 | 2147483647 12242 55 | 0.000 % |
17.71/17.75 c | 12402 | 1435 215680 949307 | 2147483647 12402 55 | 0.000 % |
17.91/17.99 c | 12578 | 1435 215680 949307 | 2147483647 12578 55 | 0.000 % |
18.10/18.18 c | 12771 | 1435 215680 949307 | 2147483647 12771 55 | 0.000 % |
18.40/18.45 c | 12983 | 1435 215680 949307 | 2147483647 12983 56 | 0.000 % |
18.70/18.75 c | 13218 | 1435 215680 949307 | 2147483647 13218 56 | 0.000 % |
19.10/19.19 c | 13480 | 1435 215680 949307 | 2147483647 13480 56 | 0.000 % |
19.59/19.67 c | 13761 | 1435 215680 949307 | 2147483647 13761 55 | 0.000 % |
20.19/20.29 c | 14071 | 1435 215680 949307 | 2147483647 14071 55 | 0.000 % |
20.39/20.45 c | 14171 | 1435 215680 949307 | 2147483647 14171 55 | 0.000 % |
20.59/20.68 c | 14281 | 1435 215680 949307 | 2147483647 14281 55 | 0.000 % |
20.79/20.88 c | 14404 | 1435 215680 949307 | 2147483647 14404 55 | 0.000 % |
20.99/21.08 c | 14542 | 1435 215680 949307 | 2147483647 14542 55 | 0.000 % |
21.19/21.29 c | 14688 | 1435 215680 949307 | 2147483647 14688 55 | 0.000 % |
21.49/21.56 c | 14850 | 1435 215680 949307 | 2147483647 14850 55 | 0.000 % |
21.69/21.77 c | 15028 | 1435 215680 949307 | 2147483647 15028 55 | 0.000 % |
21.99/22.06 c | 15222 | 1435 215680 949307 | 2147483647 15222 56 | 0.002 % |
22.19/22.24 c | 15434 | 1435 215680 949307 | 2147483647 15434 56 | 0.000 % |
22.39/22.45 c | 15667 | 1435 215680 949307 | 2147483647 15667 56 | 0.000 % |
22.49/22.61 c | 15924 | 1435 215680 949307 | 2147483647 15924 56 | 0.000 % |
22.99/23.02 c | 16209 | 1435 215680 949307 | 2147483647 16209 56 | 0.000 % |
23.38/23.46 c | 16520 | 1435 215680 949307 | 2147483647 16520 56 | 0.000 % |
23.78/23.83 c | 16859 | 1435 215680 949307 | 2147483647 16859 57 | 0.000 % |
23.88/23.95 c | 16959 | 1435 215680 949307 | 2147483647 16959 57 | 0.000 % |
24.08/24.13 c | 17072 | 1435 215680 949307 | 2147483647 17072 57 | 0.000 % |
24.28/24.32 c | 17194 | 1435 215680 949307 | 2147483647 17194 57 | 0.000 % |
24.48/24.54 c | 17327 | 1435 215680 949307 | 2147483647 17327 57 | 0.000 % |
24.68/24.78 c | 17474 | 1435 215680 949307 | 2147483647 17474 57 | 0.000 % |
24.88/24.98 c | 17635 | 1435 215680 949307 | 2147483647 17635 57 | 0.000 % |
25.18/25.25 c | 17812 | 1435 215680 949307 | 2147483647 17812 57 | 0.000 % |
25.48/25.55 c | 18006 | 1435 215680 949307 | 2147483647 18006 57 | 0.000 % |
25.78/25.84 c | 18219 | 1435 215680 949307 | 2147483647 18219 57 | 0.000 % |
26.18/26.25 c | 18456 | 1435 215680 949307 | 2147483647 18456 57 | 0.000 % |
26.58/26.64 c | 18712 | 1435 215680 949307 | 2147483647 18712 57 | 0.000 % |
26.78/26.89 c | 18995 | 1435 215680 949307 | 2147483647 18995 57 | 0.000 % |
27.38/27.43 c | 19305 | 1435 215680 949307 | 2147483647 19305 57 | 0.000 % |
27.88/27.98 c | 19644 | 1435 215680 949307 | 2147483647 19644 56 | 0.000 % |
28.48/28.55 c | 20020 | 1435 215680 949307 | 2147483647 20020 56 | 0.000 % |
28.58/28.69 c | 20120 | 1435 215680 949307 | 2147483647 20120 56 | 0.000 % |
28.78/28.85 c | 20230 | 1435 215680 949307 | 2147483647 20230 56 | 0.000 % |
28.88/28.96 c | 20351 | 1435 215680 949307 | 2147483647 20351 56 | 0.000 % |
28.98/29.05 c | 20485 | 1435 215680 949307 | 2147483647 20485 56 | 0.000 % |
29.28/29.36 c | 20632 | 1435 215680 949307 | 2147483647 20632 56 | 0.000 % |
29.48/29.57 c | 20792 | 1435 215680 949307 | 2147483647 20792 56 | 0.000 % |
29.68/29.76 c | 20970 | 1435 215680 949307 | 2147483647 20970 57 | 0.000 % |
30.08/30.16 c | 21165 | 1435 215680 949307 | 2147483647 21165 57 | 0.000 % |
30.48/30.54 c | 21380 | 1435 215680 949307 | 2147483647 21380 57 | 0.000 % |
30.98/31.05 c | 21615 | 1435 215680 949307 | 2147483647 21615 56 | 0.000 % |
31.38/31.48 c | 21874 | 1435 215680 949307 | 2147483647 21874 56 | 0.000 % |
31.98/32.03 c | 22155 | 1435 215680 949307 | 2147483647 22155 56 | 0.000 % |
32.68/32.72 c | 22465 | 1435 215680 949307 | 2147483647 22465 56 | 0.000 % |
33.38/33.47 c | 22804 | 1435 215680 949307 | 2147483647 22804 55 | 0.000 % |
34.18/34.25 c | 23176 | 1435 215680 949307 | 2147483647 23176 55 | 0.000 % |
35.08/35.13 c | 23585 | 1435 215680 949307 | 2147483647 23585 55 | 0.000 % |
35.28/35.35 c | 23685 | 1435 215680 949307 | 2147483647 23685 55 | 0.000 % |
35.48/35.54 c | 23798 | 1435 215680 949307 | 2147483647 23798 55 | 0.000 % |
35.68/35.78 c | 23919 | 1435 215680 949307 | 2147483647 23919 55 | 0.000 % |
35.98/36.02 c | 24052 | 1435 215680 949307 | 2147483647 24052 55 | 0.000 % |
36.18/36.21 c | 24198 | 1435 215680 949307 | 2147483647 24198 55 | 0.000 % |
36.29/36.39 c | 24358 | 1435 215680 949307 | 2147483647 24358 55 | 0.000 % |
36.58/36.68 c | 24537 | 1435 215680 949307 | 2147483647 24537 55 | 0.000 % |
36.88/36.91 c | 24731 | 1435 215680 949307 | 2147483647 24731 55 | 0.000 % |
37.08/37.11 c | 24943 | 1435 215680 949307 | 2147483647 24943 55 | 0.000 % |
37.18/37.23 c | 25179 | 1435 215680 949307 | 2147483647 25179 55 | 0.000 % |
37.48/37.54 c | 25438 | 1435 215680 949307 | 2147483647 25438 56 | 0.000 % |
37.88/37.95 c | 25719 | 1435 215680 949307 | 2147483647 25719 56 | 0.000 % |
38.28/38.34 c | 26029 | 1435 215680 949307 | 2147483647 26029 56 | 0.000 % |
38.49/38.56 c | 26368 | 1435 215680 949307 | 2147483647 26368 56 | 0.000 % |
38.88/38.92 c | 26740 | 1435 215680 949307 | 2147483647 26740 56 | 0.000 % |
39.08/39.19 c | 27149 | 1435 215680 949307 | 2147483647 27149 56 | 0.000 % |
39.48/39.52 c | 27600 | 1435 215680 949307 | 2147483647 27600 56 | 0.000 % |
39.48/39.61 c | 27701 | 1435 215680 949307 | 2147483647 27701 56 | 0.000 % |
39.68/39.77 c | 27813 | 1435 215680 949307 | 2147483647 27813 56 | 0.000 % |
39.88/39.92 c | 27934 | 1435 215680 949307 | 2147483647 27934 56 | 0.000 % |
40.08/40.11 c | 28069 | 1435 215680 949307 | 2147483647 28069 56 | 0.000 % |
40.28/40.31 c | 28218 | 1435 215680 949307 | 2147483647 28218 56 | 0.000 % |
40.48/40.54 c | 28378 | 1435 215680 949307 | 2147483647 28378 56 | 0.000 % |
40.78/40.85 c | 28557 | 1435 215680 949307 | 2147483647 28557 56 | 0.000 % |
40.98/41.02 c | 28751 | 1435 215680 949307 | 2147483647 28751 56 | 0.000 % |
41.28/41.37 c | 28963 | 1435 215680 949307 | 2147483647 28963 56 | 0.000 % |
41.68/41.77 c | 29196 | 1435 215680 949307 | 2147483647 29196 56 | 0.000 % |
42.08/42.15 c | 29452 | 1435 215680 949307 | 2147483647 29452 56 | 0.000 % |
42.48/42.55 c | 29738 | 1435 215680 949307 | 2147483647 29738 56 | 0.000 % |
42.89/42.99 c | 30050 | 1435 215680 949307 | 2147483647 30050 56 | 0.000 % |
43.38/43.43 c | 30390 | 1435 215680 949307 | 2147483647 30390 57 | 0.000 % |
43.58/43.70 c | 30762 | 1435 215680 949307 | 2147483647 30762 57 | 0.000 % |
44.28/44.34 c | 31172 | 1435 215680 949307 | 2147483647 31172 57 | 0.000 % |
44.88/44.94 c | 31621 | 1435 215680 949307 | 2147483647 31621 56 | 0.000 % |
45.78/45.83 c | 32115 | 1435 215680 949307 | 2147483647 32115 56 | 0.000 % |
45.98/46.01 c | 32216 | 1435 215680 949307 | 2147483647 32216 56 | 0.000 % |
46.19/46.22 c | 32334 | 1435 215680 949307 | 2147483647 32334 56 | 0.000 % |
46.38/46.50 c | 32460 | 1435 215680 949307 | 2147483647 32460 56 | 0.000 % |
46.68/46.79 c | 32595 | 1435 215680 949307 | 2147483647 32595 56 | 0.000 % |
46.98/47.03 c | 32741 | 1435 215680 949307 | 2147483647 32741 56 | 0.000 % |
47.18/47.29 c | 32901 | 1435 215680 949307 | 2147483647 32901 56 | 0.000 % |
47.48/47.56 c | 33077 | 1435 215680 949307 | 2147483647 33077 56 | 0.000 % |
47.88/47.92 c | 33274 | 1435 215680 949307 | 2147483647 33274 56 | 0.000 % |
48.28/48.32 c | 33486 | 1435 215680 949307 | 2147483647 33486 56 | 0.000 % |
48.58/48.67 c | 33720 | 1435 215680 949307 | 2147483647 33720 56 | 0.000 % |
48.98/49.04 c | 33978 | 1435 215680 949307 | 2147483647 33978 56 | 0.000 % |
49.38/49.47 c | 34260 | 1435 215680 949307 | 2147483647 34260 56 | 0.000 % |
49.78/49.81 c | 34571 | 1435 215680 949307 | 2147483647 34571 56 | 0.000 % |
50.28/50.31 c | 34910 | 1435 215680 949307 | 2147483647 34910 56 | 0.000 % |
50.88/50.93 c | 35283 | 1435 215680 949307 | 2147483647 35283 57 | 0.000 % |
51.48/51.59 c | 35693 | 1435 215680 949307 | 2147483647 35693 57 | 0.000 % |
52.28/52.33 c | 36145 | 1435 215680 949307 | 2147483647 36145 57 | 0.000 % |
53.08/53.11 c | 36638 | 1435 215680 949307 | 2147483647 36638 57 | 0.000 % |
53.68/53.72 c | 37181 | 1435 215680 949307 | 2147483647 37181 57 | 0.000 % |
53.78/53.91 c | 37281 | 1435 215680 949307 | 2147483647 37281 57 | 0.000 % |
54.08/54.16 c | 37395 | 1435 215680 949307 | 2147483647 37395 56 | 0.000 % |
54.28/54.36 c | 37517 | 1435 215680 949307 | 2147483647 37517 56 | 0.000 % |
54.48/54.57 c | 37650 | 1435 215680 949307 | 2147483647 37650 57 | 0.000 % |
54.78/54.81 c | 37796 | 1435 215680 949307 | 2147483647 37796 57 | 0.000 % |
54.88/54.99 c | 37956 | 1435 215680 949307 | 2147483647 37956 57 | 0.000 % |
55.08/55.20 c | 38132 | 1435 215680 949307 | 2147483647 38132 57 | 0.000 % |
55.48/55.52 c | 38326 | 1435 215680 949307 | 2147483647 38326 57 | 0.000 % |
55.68/55.79 c | 38540 | 1435 215680 949307 | 2147483647 38540 57 | 0.000 % |
56.09/56.12 c | 38775 | 1435 215680 949307 | 2147483647 38775 57 | 0.000 % |
56.38/56.47 c | 39033 | 1435 215680 949307 | 2147483647 39033 57 | 0.000 % |
56.78/56.86 c | 39314 | 1435 215680 949307 | 2147483647 39314 57 | 0.000 % |
57.48/57.52 c | 39626 | 1435 215680 949307 | 2147483647 39626 57 | 0.000 % |
58.08/58.11 c | 39966 | 1435 215680 949307 | 2147483647 39966 57 | 0.000 % |
58.58/58.60 c | 40338 | 1435 215680 949307 | 2147483647 40338 58 | 0.000 % |
58.88/58.93 c | 40747 | 1435 215680 949307 | 2147483647 40747 58 | 0.000 % |
59.18/59.29 c | 41196 | 1435 215680 949307 | 2147483647 41196 58 | 0.000 % |
59.58/59.62 c | 41689 | 1435 215680 949307 | 2147483647 41689 58 | 0.000 % |
60.08/60.11 c | 42232 | 1435 215680 949307 | 2147483647 42232 58 | 0.000 % |
60.49/60.58 c | 42829 | 1435 215680 949307 | 2147483647 42829 59 | 0.000 % |
60.58/60.67 c | 42931 | 1435 215680 949307 | 2147483647 42931 59 | 0.000 % |
60.68/60.77 c | 43043 | 1435 215680 949307 | 2147483647 43043 59 | 0.000 % |
60.88/60.97 c | 43164 | 1435 215680 949307 | 2147483647 43164 59 | 0.000 % |
61.08/61.12 c | 43297 | 1435 215680 949307 | 2147483647 43297 59 | 0.000 % |
61.18/61.26 c | 43444 | 1435 215680 949307 | 2147483647 43444 59 | 0.000 % |
61.28/61.36 c | 43607 | 1435 215680 949307 | 2147483647 43607 59 | 0.000 % |
61.38/61.49 c | 43784 | 1435 215680 949307 | 2147483647 43784 59 | 0.000 % |
61.59/61.68 c | 43977 | 1435 215680 949307 | 2147483647 43977 59 | 0.000 % |
61.78/61.84 c | 44190 | 1435 215680 949307 | 2147483647 44190 59 | 0.000 % |
61.98/62.04 c | 44424 | 1435 215680 949307 | 2147483647 44424 59 | 0.000 % |
62.18/62.25 c | 44681 | 1435 215680 949307 | 2147483647 44681 59 | 0.000 % |
62.38/62.50 c | 44962 | 1435 215680 949307 | 2147483647 44962 59 | 0.000 % |
62.69/62.75 c | 45272 | 1435 215680 949307 | 2147483647 45272 59 | 0.001 % |
62.88/63.00 c | 45613 | 1435 215680 949307 | 2147483647 45613 59 | 0.000 % |
63.18/63.24 c | 45988 | 1435 215680 949307 | 2147483647 45988 59 | 0.000 % |
63.58/63.63 c | 46398 | 1435 215680 949307 | 2147483647 46398 59 | 0.000 % |
63.89/64.01 c | 46847 | 1435 215680 949307 | 2147483647 46847 59 | 0.000 % |
64.39/64.47 c | 47340 | 1435 215680 949307 | 2147483647 47340 59 | 0.000 % |
64.79/64.84 c | 47882 | 1435 215680 949307 | 2147483647 47882 60 | 0.000 % |
65.29/65.34 c | 48478 | 1435 215680 949307 | 2147483647 48478 60 | 0.000 % |
65.69/65.77 c | 49133 | 1435 215680 949307 | 2147483647 49133 60 | 0.000 % |
65.79/65.82 c | 49233 | 1435 215680 949307 | 2147483647 49233 60 | 0.000 % |
65.79/65.91 c | 49345 | 1435 215680 949307 | 2147483647 49345 60 | 0.000 % |
65.99/66.03 c | 49466 | 1435 215680 949307 | 2147483647 49466 60 | 0.000 % |
66.09/66.12 c | 49600 | 1435 215680 949307 | 2147483647 49600 60 | 0.000 % |
66.09/66.21 c | 49747 | 1435 215680 949307 | 2147483647 49747 60 | 0.000 % |
66.29/66.36 c | 49908 | 1435 215680 949307 | 2147483647 49908 60 | 0.000 % |
66.49/66.52 c | 50085 | 1435 215680 949307 | 2147483647 50085 60 | 0.000 % |
66.89/66.97 c | 50280 | 1435 215680 949307 | 2147483647 50280 60 | 0.000 % |
67.29/67.37 c | 50495 | 1435 215680 949307 | 2147483647 50495 60 | 0.000 % |
67.69/67.81 c | 50729 | 1435 215680 949307 | 2147483647 50729 60 | 0.000 % |
68.19/68.27 c | 50985 | 1435 215680 949307 | 2147483647 50985 60 | 0.000 % |
68.79/68.84 c | 51267 | 1435 215680 949307 | 2147483647 51267 60 | 0.000 % |
69.49/69.59 c | 51577 | 1435 215680 949307 | 2147483647 51577 60 | 0.000 % |
70.39/70.46 c | 51916 | 1435 215680 949307 | 2147483647 51916 60 | 0.000 % |
71.09/71.21 c | 52288 | 1435 215680 949307 | 2147483647 52288 60 | 0.000 % |
72.09/72.15 c | 52697 | 1435 215680 949307 | 2147483647 52697 60 | 0.000 % |
72.79/72.85 c | 53147 | 1435 215680 949307 | 2147483647 53147 60 | 0.000 % |
73.79/73.87 c | 53643 | 1435 215680 949307 | 2147483647 53643 60 | 0.000 % |
75.19/75.23 c | 54186 | 1435 215680 949307 | 2147483647 54186 60 | 0.000 % |
76.59/76.63 c | 54782 | 1435 215680 949307 | 2147483647 54782 60 | 0.000 % |
77.79/77.82 c | 55437 | 1435 215680 949307 | 2147483647 55437 60 | 0.000 % |
79.29/79.33 c | 56157 | 1435 215680 949307 | 2147483647 56157 60 | 0.000 % |
79.49/79.56 c | 56258 | 1435 215680 949307 | 2147483647 56258 60 | 0.000 % |
79.69/79.81 c | 56372 | 1435 215680 949307 | 2147483647 56372 60 | 0.000 % |
79.99/80.06 c | 56493 | 1435 215680 949307 | 2147483647 56493 60 | 0.000 % |
80.29/80.41 c | 56626 | 1435 215680 949307 | 2147483647 56626 60 | 0.000 % |
80.59/80.69 c | 56772 | 1435 215680 949307 | 2147483647 56772 60 | 0.000 % |
80.99/81.06 c | 56939 | 1435 215680 949307 | 2147483647 56939 60 | 0.000 % |
81.39/81.50 c | 57118 | 1435 215680 949307 | 2147483647 57118 60 | 0.000 % |
81.89/82.00 c | 57312 | 1435 215680 949307 | 2147483647 57312 59 | 0.000 % |
82.39/82.51 c | 57526 | 1435 215680 949307 | 2147483647 57526 59 | 0.000 % |
82.89/82.93 c | 57761 | 1435 215680 949307 | 2147483647 57761 60 | 0.000 % |
83.29/83.41 c | 58020 | 1435 215680 949307 | 2147483647 58020 60 | 0.000 % |
84.09/84.18 c | 58301 | 1435 215680 949307 | 2147483647 58301 60 | 0.000 % |
84.79/84.88 c | 58611 | 1435 215680 949307 | 2147483647 58611 60 | 0.000 % |
85.59/85.70 c | 58951 | 1435 215680 949307 | 2147483647 58951 60 | 0.000 % |
86.19/86.30 c | 59325 | 1435 215680 949307 | 2147483647 59325 60 | 0.000 % |
87.19/87.24 c | 59734 | 1435 215680 949307 | 2147483647 59734 60 | 0.000 % |
87.69/87.79 c | 60184 | 1435 215680 949307 | 2147483647 60184 60 | 0.000 % |
88.59/88.65 c | 60677 | 1435 215680 949307 | 2147483647 60677 60 | 0.000 % |
89.69/89.78 c | 61219 | 1435 215680 949307 | 2147483647 61219 60 | 0.000 % |
91.19/91.25 c | 61818 | 1435 215680 949307 | 2147483647 61818 59 | 0.000 % |
92.69/92.71 c | 62478 | 1435 215680 949307 | 2147483647 62478 59 | 0.000 % |
94.29/94.34 c | 63199 | 1435 215680 949307 | 2147483647 63199 59 | 0.000 % |
96.49/96.52 c | 63991 | 1435 215680 949307 | 2147483647 63991 59 | 0.000 % |
96.69/96.73 c | 64092 | 1435 215680 949307 | 2147483647 64092 59 | 0.000 % |
96.89/96.94 c | 64202 | 1435 215680 949307 | 2147483647 64202 59 | 0.000 % |
97.19/97.27 c | 64326 | 1435 215680 949307 | 2147483647 64326 59 | 0.000 % |
97.49/97.55 c | 64460 | 1435 215680 949307 | 2147483647 64460 59 | 0.000 % |
97.89/97.93 c | 64609 | 1435 215680 949307 | 2147483647 64609 59 | 0.000 % |
98.19/98.29 c | 64773 | 1435 215680 949307 | 2147483647 64773 59 | 0.000 % |
98.59/98.63 c | 64949 | 1435 215680 949307 | 2147483647 64949 59 | 0.000 % |
98.89/98.98 c | 65142 | 1435 215680 949307 | 2147483647 65142 59 | 0.000 % |
99.29/99.39 c | 65355 | 1435 215680 949307 | 2147483647 65355 59 | 0.000 % |
99.79/99.83 c | 65588 | 1435 215680 949307 | 2147483647 65588 59 | 0.000 % |
100.19/100.26 c | 65844 | 1435 215680 949307 | 2147483647 65844 59 | 0.000 % |
100.59/100.69 c | 66125 | 1435 215680 949307 | 2147483647 66125 59 | 0.000 % |
101.29/101.38 c | 66434 | 1435 215680 949307 | 2147483647 66434 59 | 0.000 % |
102.19/102.26 c | 66773 | 1435 215680 949307 | 2147483647 66773 59 | 0.000 % |
102.99/103.08 c | 67148 | 1435 215680 949307 | 2147483647 67148 59 | 0.000 % |
104.09/104.19 c | 67557 | 1435 215680 949307 | 2147483647 67557 59 | 0.000 % |
105.29/105.35 c | 68006 | 1435 215680 949307 | 2147483647 68006 59 | 0.000 % |
106.79/106.85 c | 68499 | 1435 215680 949307 | 2147483647 68499 59 | 0.000 % |
107.99/108.10 c | 69041 | 1435 215680 949307 | 2147483647 69041 59 | 0.000 % |
109.19/109.30 c | 69638 | 1435 215680 949307 | 2147483647 69638 59 | 0.000 % |
110.69/110.74 c | 70293 | 1435 215680 949307 | 2147483647 70293 59 | 0.000 % |
112.29/112.34 c | 71014 | 1435 215680 949307 | 2147483647 71014 59 | 0.000 % |
113.69/113.73 c | 71809 | 1435 215680 949307 | 2147483647 71809 59 | 0.000 % |
115.19/115.21 c | 72680 | 1435 215680 949307 | 2147483647 72680 60 | 0.000 % |
115.39/115.50 c | 72783 | 1435 215680 949307 | 2147483647 72783 60 | 0.000 % |
115.69/115.79 c | 72893 | 1435 215680 949307 | 2147483647 72893 60 | 0.000 % |
115.99/116.07 c | 73015 | 1435 215680 949307 | 2147483647 73015 60 | 0.000 % |
116.29/116.36 c | 73149 | 1435 215680 949307 | 2147483647 73149 60 | 0.000 % |
116.79/116.83 c | 73296 | 1435 215680 949307 | 2147483647 73296 60 | 0.000 % |
116.99/117.10 c | 73456 | 1435 215680 949307 | 2147483647 73456 60 | 0.000 % |
117.49/117.60 c | 73632 | 1435 215680 949307 | 2147483647 73632 60 | 0.000 % |
118.09/118.16 c | 73827 | 1435 215680 949307 | 2147483647 73827 60 | 0.000 % |
118.49/118.60 c | 74040 | 1435 215680 949307 | 2147483647 74040 60 | 0.000 % |
119.09/119.14 c | 74274 | 1435 215680 949307 | 2147483647 74274 60 | 0.000 % |
119.69/119.80 c | 74530 | 1435 215680 949307 | 2147483647 74530 60 | 0.000 % |
120.49/120.58 c | 74812 | 1435 215680 949307 | 2147483647 74812 60 | 0.000 % |
121.09/121.11 c | 75121 | 1435 215680 949307 | 2147483647 75121 60 | 0.000 % |
121.59/121.63 c | 75461 | 1435 215680 949307 | 2147483647 75461 60 | 0.000 % |
122.19/122.23 c | 75834 | 1435 215680 949307 | 2147483647 75834 60 | 0.000 % |
123.39/123.44 c | 76246 | 1435 215680 949307 | 2147483647 76246 60 | 0.000 % |
123.99/124.05 c | 76695 | 1435 215680 949307 | 2147483647 76695 61 | 0.000 % |
125.29/125.33 c | 77188 | 1435 215680 949307 | 2147483647 77188 61 | 0.000 % |
126.50/126.55 c | 77731 | 1435 215680 949307 | 2147483647 77731 61 | 0.000 % |
127.89/127.92 c | 78327 | 1435 215680 949307 | 2147483647 78327 61 | 0.000 % |
129.49/129.60 c | 78982 | 1435 215680 949307 | 2147483647 78982 61 | 0.000 % |
131.29/131.35 c | 79705 | 1435 215680 949307 | 2147483647 79705 61 | 0.000 % |
133.29/133.36 c | 80497 | 1435 215680 949307 | 2147483647 80497 60 | 0.000 % |
135.49/135.57 c | 81370 | 1435 215680 949307 | 2147483647 81370 60 | 0.000 % |
137.89/137.96 c | 82331 | 1435 215680 949307 | 2147483647 82331 60 | 0.000 % |
138.09/138.12 c | 82431 | 1435 215680 949307 | 2147483647 82431 60 | 0.000 % |
138.29/138.38 c | 82541 | 1435 215680 949307 | 2147483647 82541 60 | 0.000 % |
138.60/138.70 c | 82663 | 1435 215680 949307 | 2147483647 82663 60 | 0.000 % |
139.09/139.14 c | 82796 | 1435 215680 949307 | 2147483647 82796 60 | 0.000 % |
139.39/139.47 c | 82944 | 1435 215680 949307 | 2147483647 82944 60 | 0.000 % |
139.79/139.85 c | 83105 | 1435 215680 949307 | 2147483647 83105 60 | 0.000 % |
139.99/140.09 c | 83281 | 1435 215680 949307 | 2147483647 83281 60 | 0.000 % |
140.59/140.69 c | 83474 | 1435 215680 949307 | 2147483647 83474 60 | 0.000 % |
141.29/141.31 c | 83688 | 1435 215680 949307 | 2147483647 83688 60 | 0.000 % |
141.90/141.96 c | 83922 | 1435 215680 949307 | 2147483647 83922 60 | 0.000 % |
142.59/142.64 c | 84179 | 1435 215680 949307 | 2147483647 84179 60 | 0.000 % |
143.29/143.33 c | 84461 | 1435 215680 949307 | 2147483647 84461 60 | 0.000 % |
143.99/144.03 c | 84771 | 1435 215680 949307 | 2147483647 84771 60 | 0.000 % |
144.79/144.90 c | 85114 | 1435 215680 949307 | 2147483647 85114 60 | 0.000 % |
145.80/145.86 c | 85486 | 1435 215680 949307 | 2147483647 85486 59 | 0.000 % |
146.40/146.46 c | 85895 | 1435 215680 949307 | 2147483647 85895 60 | 0.000 % |
147.40/147.45 c | 86347 | 1435 215680 949307 | 2147483647 86347 60 | 0.000 % |
148.20/148.31 c | 86840 | 1435 215680 949307 | 2147483647 86840 60 | 0.000 % |
149.70/149.77 c | 87383 | 1435 215680 949307 | 2147483647 87383 60 | 0.000 % |
150.90/150.92 c | 87979 | 1435 215680 949307 | 2147483647 87979 60 | 0.000 % |
151.90/151.98 c | 88634 | 1435 215680 949307 | 2147483647 88634 60 | 0.000 % |
153.60/153.65 c | 89359 | 1435 215680 949307 | 2147483647 89359 60 | 0.000 % |
155.20/155.25 c | 90153 | 1435 215680 949307 | 2147483647 90153 60 | 0.000 % |
156.70/156.79 c | 91024 | 1435 215680 949307 | 2147483647 91024 60 | 0.000 % |
158.30/158.34 c | 91982 | 1435 215680 949307 | 2147483647 91982 60 | 0.000 % |
160.50/160.54 c | 93035 | 1435 215680 949307 | 2147483647 93035 60 | 0.000 % |
160.70/160.81 c | 93136 | 1435 215680 949307 | 2147483647 93136 60 | 0.000 % |
161.00/161.05 c | 93246 | 1435 215680 949307 | 2147483647 93246 60 | 0.000 % |
161.10/161.19 c | 93367 | 1435 215680 949307 | 2147483647 93367 60 | 0.000 % |
161.50/161.56 c | 93501 | 1435 215680 949307 | 2147483647 93501 60 | 0.000 % |
161.80/161.89 c | 93648 | 1435 215680 949307 | 2147483647 93648 60 | 0.000 % |
162.20/162.22 c | 93809 | 1435 215680 949307 | 2147483647 93809 61 | 0.000 % |
162.70/162.75 c | 93988 | 1435 215680 949307 | 2147483647 93988 61 | 0.000 % |
163.10/163.20 c | 94182 | 1435 215680 949307 | 2147483647 94182 60 | 0.000 % |
163.60/163.67 c | 94395 | 1435 215680 949307 | 2147483647 94395 60 | 0.000 % |
164.20/164.23 c | 94628 | 1435 215680 949307 | 2147483647 94628 60 | 0.000 % |
164.70/164.79 c | 94889 | 1435 215680 949307 | 2147483647 94889 60 | 0.000 % |
165.40/165.44 c | 95170 | 1435 215680 949307 | 2147483647 95170 60 | 0.000 % |
166.10/166.12 c | 95480 | 1435 215680 949307 | 2147483647 95480 60 | 0.000 % |
166.80/166.88 c | 95819 | 1435 215680 949307 | 2147483647 95819 60 | 0.000 % |
167.60/167.71 c | 96192 | 1435 215680 949307 | 2147483647 96192 60 | 0.001 % |
168.60/168.66 c | 96603 | 1435 215680 949307 | 2147483647 96603 60 | 0.000 % |
169.60/169.63 c | 97052 | 1435 215680 949307 | 2147483647 97052 60 | 0.000 % |
170.60/170.70 c | 97545 | 1435 215680 949307 | 2147483647 97545 60 | 0.000 % |
171.90/171.93 c | 98087 | 1435 215680 949307 | 2147483647 98087 60 | 0.000 % |
173.20/173.27 c | 98684 | 1435 215680 949307 | 2147483647 98684 60 | 0.000 % |
174.80/174.84 c | 99346 | 1435 215680 949307 | 2147483647 99346 60 | 0.000 % |
176.10/176.16 c | 100067 | 1435 215680 949307 | 2147483647 100067 60 | 0.000 % |
177.50/177.55 c | 100860 | 1435 215680 949307 | 2147483647 100860 60 | 0.000 % |
179.00/179.07 c | 101731 | 1435 215680 949307 | 2147483647 101731 60 | 0.000 % |
180.70/180.72 c | 102694 | 1435 215680 949307 | 2147483647 102694 60 | 0.000 % |
182.70/182.78 c | 103747 | 1435 215680 949307 | 2147483647 103747 60 | 0.000 % |
185.10/185.14 c | 104909 | 1435 215680 949307 | 2147483647 104909 60 | 0.000 % |
185.20/185.31 c | 105009 | 1435 215680 949307 | 2147483647 105009 60 | 0.000 % |
185.60/185.64 c | 105119 | 1435 215680 949307 | 2147483647 105119 60 | 0.000 % |
186.00/186.03 c | 105240 | 1435 215680 949307 | 2147483647 105240 60 | 0.000 % |
186.30/186.40 c | 105375 | 1435 215680 949307 | 2147483647 105375 60 | 0.000 % |
186.70/186.79 c | 105523 | 1435 215680 949307 | 2147483647 105523 59 | 0.000 % |
187.10/187.17 c | 105684 | 1435 215680 949307 | 2147483647 105684 60 | 0.000 % |
187.50/187.52 c | 105860 | 1435 215680 949307 | 2147483647 105860 60 | 0.000 % |
188.00/188.09 c | 106054 | 1435 215680 949307 | 2147483647 106054 60 | 0.000 % |
188.40/188.49 c | 106266 | 1435 215680 949307 | 2147483647 106266 60 | 0.000 % |
188.80/188.88 c | 106499 | 1435 215680 949307 | 2147483647 106499 60 | 0.000 % |
189.30/189.33 c | 106755 | 1435 215680 949307 | 2147483647 106755 60 | 0.000 % |
190.00/190.05 c | 107038 | 1435 215680 949307 | 2147483647 107038 60 | 0.000 % |
190.90/190.94 c | 107351 | 1435 215680 949307 | 2147483647 107351 60 | 0.000 % |
191.70/191.73 c | 107690 | 1435 215680 949307 | 2147483647 107690 60 | 0.000 % |
192.50/192.57 c | 108063 | 1435 215680 949307 | 2147483647 108063 60 | 0.000 % |
193.20/193.31 c | 108472 | 1435 215680 949307 | 2147483647 108472 60 | 0.000 % |
194.20/194.29 c | 108922 | 1435 215680 949307 | 2147483647 108922 60 | 0.000 % |
195.30/195.34 c | 109416 | 1435 215680 949307 | 2147483647 109416 60 | 0.000 % |
196.50/196.52 c | 109958 | 1435 215680 949307 | 2147483647 109958 60 | 0.000 % |
197.60/197.67 c | 110556 | 1435 215680 949307 | 2147483647 110556 60 | 0.000 % |
198.70/198.72 c | 111211 | 1435 215680 949307 | 2147483647 111211 60 | 0.000 % |
200.10/200.14 c | 111931 | 1435 215680 949307 | 2147483647 111931 60 | 0.000 % |
201.60/201.61 c | 112724 | 1435 215680 949307 | 2147483647 112724 60 | 0.000 % |
203.51/203.59 c | 113595 | 1435 215680 949307 | 2147483647 113595 60 | 0.000 % |
205.30/205.33 c | 114553 | 1435 215680 949307 | 2147483647 114553 60 | 0.000 % |
207.60/207.61 c | 115608 | 1435 215680 949307 | 2147483647 115608 61 | 0.000 % |
210.11/210.12 c | 116767 | 1435 215680 949307 | 2147483647 116767 61 | 0.000 % |
212.60/212.62 c | 118041 | 1435 215680 949307 | 2147483647 118041 61 | 0.000 % |
212.80/212.90 c | 118144 | 1435 215680 949307 | 2147483647 118144 61 | 0.000 % |
213.20/213.26 c | 118254 | 1435 215680 949307 | 2147483647 118254 61 | 0.000 % |
213.50/213.60 c | 118376 | 1435 215680 949307 | 2147483647 118376 61 | 0.000 % |
213.90/213.91 c | 118510 | 1435 215680 949307 | 2147483647 118510 61 | 0.000 % |
214.30/214.38 c | 118658 | 1435 215680 949307 | 2147483647 118658 61 | 0.000 % |
214.70/214.79 c | 118819 | 1435 215680 949307 | 2147483647 118819 61 | 0.000 % |
215.20/215.26 c | 118999 | 1435 215680 949307 | 2147483647 118999 61 | 0.000 % |
215.70/215.78 c | 119194 | 1435 215680 949307 | 2147483647 119194 61 | 0.000 % |
216.30/216.36 c | 119408 | 1435 215680 949307 | 2147483647 119408 61 | 0.000 % |
216.90/216.95 c | 119641 | 1435 215680 949307 | 2147483647 119641 61 | 0.000 % |
217.50/217.52 c | 119900 | 1435 215680 949307 | 2147483647 119900 61 | 0.000 % |
218.10/218.20 c | 120182 | 1435 215680 949307 | 2147483647 120182 61 | 0.000 % |
218.80/218.89 c | 120491 | 1435 215680 949307 | 2147483647 120491 61 | 0.000 % |
219.60/219.67 c | 120830 | 1435 215680 949307 | 2147483647 120830 61 | 0.000 % |
220.50/220.60 c | 121203 | 1435 215680 949307 | 2147483647 121203 61 | 0.000 % |
221.50/221.54 c | 121612 | 1435 215680 949307 | 2147483647 121612 61 | 0.000 % |
222.70/222.76 c | 122061 | 1435 215680 949307 | 2147483647 122061 61 | 0.000 % |
223.60/223.68 c | 122556 | 1435 215680 949307 | 2147483647 122556 61 | 0.000 % |
225.10/225.16 c | 123099 | 1435 215680 949307 | 2147483647 123099 61 | 0.000 % |
226.61/226.65 c | 123696 | 1435 215680 949307 | 2147483647 123696 61 | 0.000 % |
228.31/228.34 c | 124352 | 1435 215680 949307 | 2147483647 124352 61 | 0.000 % |
230.01/230.03 c | 125072 | 1435 215680 949307 | 2147483647 125072 61 | 0.000 % |
231.81/231.84 c | 125864 | 1435 215680 949307 | 2147483647 125864 61 | 0.000 % |
233.71/233.74 c | 126738 | 1435 215680 949307 | 2147483647 126738 61 | 0.000 % |
236.11/236.16 c | 127697 | 1435 215680 949307 | 2147483647 127697 61 | 0.000 % |
238.71/238.77 c | 128750 | 1435 215680 949307 | 2147483647 128750 61 | 0.000 % |
241.71/241.73 c | 129908 | 1435 215680 949307 | 2147483647 129908 61 | 0.000 % |
244.21/244.28 c | 131182 | 1435 215680 949307 | 2147483647 131182 61 | 0.000 % |
246.71/246.75 c | 132582 | 1435 215680 949307 | 2147483647 132582 62 | 0.000 % |
246.91/246.99 c | 132683 | 1435 215680 949307 | 2147483647 132683 62 | 0.000 % |
247.21/247.29 c | 132793 | 1435 215680 949307 | 2147483647 132793 62 | 0.000 % |
247.71/247.72 c | 132914 | 1435 215680 949307 | 2147483647 132914 62 | 0.000 % |
248.01/248.09 c | 133047 | 1435 215680 949307 | 2147483647 133047 62 | 0.000 % |
248.41/248.47 c | 133196 | 1435 215680 949307 | 2147483647 133196 62 | 0.000 % |
248.91/248.92 c | 133360 | 1435 215680 949307 | 2147483647 133360 62 | 0.000 % |
249.31/249.37 c | 133536 | 1435 215680 949307 | 2147483647 133536 62 | 0.000 % |
250.01/250.04 c | 133731 | 1435 215680 949307 | 2147483647 133731 62 | 0.000 % |
250.71/250.79 c | 133943 | 1435 215680 949307 | 2147483647 133943 62 | 0.000 % |
251.41/251.48 c | 134177 | 1435 215680 949307 | 2147483647 134177 62 | 0.000 % |
252.01/252.10 c | 134433 | 1435 215680 949307 | 2147483647 134433 62 | 0.000 % |
252.81/252.90 c | 134714 | 1435 215680 949307 | 2147483647 134714 62 | 0.000 % |
253.61/253.71 c | 135024 | 1435 215680 949307 | 2147483647 135024 62 | 0.000 % |
254.31/254.41 c | 135363 | 1435 215680 949307 | 2147483647 135363 62 | 0.000 % |
255.31/255.37 c | 135735 | 1435 215680 949307 | 2147483647 135735 62 | 0.000 % |
256.41/256.48 c | 136146 | 1435 215680 949307 | 2147483647 136146 62 | 0.000 % |
257.71/257.79 c | 136598 | 1435 215680 949307 | 2147483647 136598 62 | 0.000 % |
258.71/258.75 c | 137092 | 1435 215680 949307 | 2147483647 137092 62 | 0.000 % |
260.11/260.13 c | 137634 | 1435 215680 949307 | 2147483647 137634 62 | 0.000 % |
261.61/261.68 c | 138230 | 1435 215680 949307 | 2147483647 138230 62 | 0.000 % |
262.71/262.80 c | 138887 | 1435 215680 949307 | 2147483647 138887 62 | 0.000 % |
263.81/263.87 c | 139607 | 1435 215680 949307 | 2147483647 139607 62 | 0.000 % |
264.51/264.59 c | 140399 | 1435 215680 949307 | 2147483647 140399 62 | 0.000 % |
265.41/265.48 c | 141272 | 1435 215680 949307 | 2147483647 141272 62 | 0.000 % |
267.01/267.09 c | 142230 | 1435 215680 949307 | 2147483647 142230 62 | 0.000 % |
270.01/270.06 c | 143284 | 1435 215680 949307 | 2147483647 143284 62 | 0.000 % |
273.21/273.27 c | 144442 | 1435 215680 949307 | 2147483647 144442 62 | 0.000 % |
276.51/276.56 c | 145716 | 1435 215680 949307 | 2147483647 145716 62 | 0.000 % |
279.71/279.81 c | 147118 | 1435 215680 949307 | 2147483647 147118 62 | 0.000 % |
282.61/282.69 c | 148659 | 1435 215680 949307 | 2147483647 148659 62 | 0.000 % |
282.91/282.95 c | 148760 | 1435 215680 949307 | 2147483647 148760 62 | 0.000 % |
283.11/283.21 c | 148871 | 1435 215680 949307 | 2147483647 148871 62 | 0.000 % |
283.41/283.42 c | 148992 | 1435 215680 949307 | 2147483647 148992 62 | 0.000 % |
283.61/283.63 c | 149126 | 1435 215680 949307 | 2147483647 149126 62 | 0.000 % |
283.82/283.84 c | 149272 | 1435 215680 949307 | 2147483647 149272 62 | 0.000 % |
284.11/284.14 c | 149432 | 1435 215680 949307 | 2147483647 149432 62 | 0.000 % |
284.51/284.57 c | 149610 | 1435 215680 949307 | 2147483647 149610 62 | 0.000 % |
285.11/285.15 c | 149803 | 1435 215680 949307 | 2147483647 149803 62 | 0.000 % |
285.81/285.83 c | 150016 | 1435 215680 949307 | 2147483647 150016 62 | 0.000 % |
286.51/286.58 c | 150249 | 1435 215680 949307 | 2147483647 150249 63 | 0.000 % |
287.41/287.48 c | 150505 | 1435 215680 949307 | 2147483647 150505 63 | 0.000 % |
288.31/288.39 c | 150788 | 1435 215680 949307 | 2147483647 150788 63 | 0.000 % |
289.41/289.48 c | 151099 | 1435 215680 949307 | 2147483647 151099 63 | 0.000 % |
290.51/290.58 c | 151440 | 1435 215680 949307 | 2147483647 151440 63 | 0.000 % |
291.71/291.71 c | 151813 | 1435 215680 949307 | 2147483647 151813 63 | 0.000 % |
292.81/292.87 c | 152222 | 1435 215680 949307 | 2147483647 152222 62 | 0.000 % |
294.21/294.21 c | 152674 | 1435 215680 949307 | 2147483647 152674 62 | 0.000 % |
295.71/295.80 c | 153169 | 1435 215680 949307 | 2147483647 153169 62 | 0.000 % |
297.31/297.37 c | 153712 | 1435 215680 949307 | 2147483647 153712 62 | 0.000 % |
298.91/298.93 c | 154310 | 1435 215680 949307 | 2147483647 154310 62 | 0.000 % |
300.61/300.66 c | 154965 | 1435 215680 949307 | 2147483647 154965 62 | 0.000 % |
301.91/301.97 c | 155685 | 1435 215680 949307 | 2147483647 155685 62 | 0.000 % |
304.61/304.70 c | 156478 | 1435 215680 949307 | 2147483647 156478 62 | 0.000 % |
307.01/307.11 c | 157352 | 1435 215680 949307 | 2147483647 157352 62 | 0.000 % |
309.61/309.62 c | 158311 | 1435 215680 949307 | 2147483647 158311 62 | 0.000 % |
312.32/312.36 c | 159364 | 1435 215680 949307 | 2147483647 159364 62 | 0.000 % |
315.52/315.59 c | 160523 | 1435 215680 949307 | 2147483647 160523 62 | 0.000 % |
319.52/319.60 c | 161797 | 1435 215680 949307 | 2147483647 161797 62 | 0.000 % |
323.02/323.10 c | 163197 | 1435 215680 949307 | 2147483647 163197 62 | 0.000 % |
326.92/326.92 c | 164739 | 1435 215680 949307 | 2147483647 164739 62 | 0.000 % |
331.52/331.55 c | 166433 | 1435 215680 949307 | 2147483647 166433 62 | 0.000 % |
331.82/331.88 c | 166540 | 1435 215680 949307 | 2147483647 166540 62 | 0.000 % |
332.12/332.20 c | 166650 | 1435 215680 949307 | 2147483647 166650 62 | 0.000 % |
332.62/332.66 c | 166771 | 1435 215680 949307 | 2147483647 166771 62 | 0.000 % |
332.92/332.96 c | 166904 | 1435 215680 949307 | 2147483647 166904 62 | 0.000 % |
333.32/333.32 c | 167051 | 1435 215680 949307 | 2147483647 167051 62 | 0.000 % |
333.92/333.94 c | 167212 | 1435 215680 949307 | 2147483647 167212 62 | 0.000 % |
334.42/334.42 c | 167388 | 1435 215680 949307 | 2147483647 167388 62 | 0.000 % |
334.82/334.89 c | 167582 | 1435 215680 949307 | 2147483647 167582 62 | 0.000 % |
335.72/335.75 c | 167796 | 1435 215680 949307 | 2147483647 167796 62 | 0.000 % |
336.42/336.51 c | 168031 | 1435 215680 949307 | 2147483647 168031 62 | 0.000 % |
337.12/337.14 c | 168287 | 1435 215680 949307 | 2147483647 168287 62 | 0.000 % |
337.72/337.77 c | 168568 | 1435 215680 949307 | 2147483647 168568 62 | 0.000 % |
338.72/338.81 c | 168877 | 1435 215680 949307 | 2147483647 168877 62 | 0.000 % |
339.62/339.65 c | 169224 | 1435 215680 949307 | 2147483647 169224 62 | 0.000 % |
340.72/340.74 c | 169597 | 1435 215680 949307 | 2147483647 169597 62 | 0.000 % |
341.82/341.91 c | 170008 | 1435 215680 949307 | 2147483647 170008 62 | 0.000 % |
343.32/343.38 c | 170457 | 1435 215680 949307 | 2147483647 170457 62 | 0.000 % |
345.12/345.12 c | 170954 | 1435 215680 949307 | 2147483647 170954 62 | 0.000 % |
346.02/346.02 c | 171496 | 1435 215680 949307 | 2147483647 171496 62 | 0.000 % |
347.92/348.00 c | 172093 | 1435 215680 949307 | 2147483647 172093 62 | 0.000 % |
349.92/350.00 c | 172749 | 1435 215680 949307 | 2147483647 172749 62 | 0.000 % |
351.52/351.56 c | 173469 | 1435 215680 949307 | 2147483647 173469 62 | 0.000 % |
353.62/353.62 c | 174265 | 1435 215680 949307 | 2147483647 174265 62 | 0.000 % |
355.92/355.92 c | 175143 | 1435 215680 949307 | 2147483647 175143 62 | 0.000 % |
359.02/359.09 c | 176101 | 1435 215680 949307 | 2147483647 176101 62 | 0.000 % |
362.22/362.28 c | 177157 | 1435 215680 949307 | 2147483647 177157 62 | 0.000 % |
365.92/365.96 c | 178317 | 1435 215680 949307 | 2147483647 178317 62 | 0.000 % |
369.82/369.84 c | 179591 | 1435 215680 949307 | 2147483647 179591 62 | 0.000 % |
372.72/372.82 c | 180991 | 1435 215680 949307 | 2147483647 180991 62 | 0.000 % |
376.42/376.46 c | 182533 | 1435 215680 949307 | 2147483647 182533 62 | 0.000 % |
382.71/382.75 c | 184227 | 1435 215680 949307 | 2147483647 184227 62 | 0.000 % |
388.71/388.76 c | 186091 | 1435 215680 949307 | 2147483647 186091 62 | 0.000 % |
389.11/389.13 c | 186193 | 1435 215680 949307 | 2147483647 186193 62 | 0.000 % |
389.61/389.62 c | 186306 | 1435 215680 949307 | 2147483647 186306 62 | 0.000 % |
390.01/390.05 c | 186427 | 1435 215680 949307 | 2147483647 186427 62 | 0.000 % |
390.41/390.48 c | 186562 | 1435 215680 949307 | 2147483647 186562 62 | 0.000 % |
391.01/391.04 c | 186710 | 1435 215680 949307 | 2147483647 186710 62 | 0.000 % |
391.62/391.67 c | 186871 | 1435 215680 949307 | 2147483647 186871 62 | 0.000 % |
392.22/392.27 c | 187049 | 1435 215680 949307 | 2147483647 187049 62 | 0.000 % |
392.82/392.90 c | 187243 | 1435 215680 949307 | 2147483647 187243 62 | 0.000 % |
393.52/393.60 c | 187455 | 1435 215680 949307 | 2147483647 187455 62 | 0.000 % |
394.22/394.27 c | 187689 | 1435 215680 949307 | 2147483647 187689 62 | 0.000 % |
395.22/395.22 c | 187945 | 1435 215680 949307 | 2147483647 187945 62 | 0.000 % |
396.02/396.07 c | 188226 | 1435 215680 949307 | 2147483647 188226 62 | 0.000 % |
397.12/397.12 c | 188535 | 1435 215680 949307 | 2147483647 188535 62 | 0.000 % |
398.12/398.17 c | 188874 | 1435 215680 949307 | 2147483647 188874 62 | 0.000 % |
399.32/399.38 c | 189247 | 1435 215680 949307 | 2147483647 189247 62 | 0.000 % |
400.72/400.78 c | 189656 | 1435 215680 949307 | 2147483647 189656 62 | 0.000 % |
402.22/402.28 c | 190105 | 1435 215680 949307 | 2147483647 190105 62 | 0.000 % |
404.02/404.03 c | 190598 | 1435 215680 949307 | 2147483647 190598 62 | 0.000 % |
406.12/406.13 c | 191141 | 1435 215680 949307 | 2147483647 191141 62 | 0.000 % |
408.12/408.12 c | 191742 | 1435 215680 949307 | 2147483647 191742 62 | 0.000 % |
409.92/409.99 c | 192397 | 1435 215680 949307 | 2147483647 192397 62 | 0.000 % |
412.42/412.46 c | 193118 | 1435 215680 949307 | 2147483647 193118 62 | 0.000 % |
414.62/414.68 c | 193910 | 1435 215680 949307 | 2147483647 193910 62 | 0.000 % |
417.12/417.18 c | 194783 | 1435 215680 949307 | 2147483647 194783 62 | 0.000 % |
420.02/420.05 c | 195741 | 1435 215680 949307 | 2147483647 195741 62 | 0.000 % |
423.22/423.29 c | 196794 | 1435 215680 949307 | 2147483647 196794 62 | 0.000 % |
426.62/426.70 c | 197953 | 1435 215680 949307 | 2147483647 197953 61 | 0.000 % |
430.72/430.77 c | 199227 | 1435 215680 949307 | 2147483647 199227 61 | 0.000 % |
435.32/435.38 c | 200630 | 1435 215680 949307 | 2147483647 200630 61 | 0.000 % |
440.42/440.46 c | 202170 | 1435 215680 949307 | 2147483647 202170 61 | 0.000 % |
445.72/445.74 c | 203864 | 1435 215680 949307 | 2147483647 203864 61 | 0.000 % |
451.22/451.26 c | 205727 | 1435 215680 949307 | 2147483647 205727 61 | 0.000 % |
457.32/457.38 c | 207777 | 1435 215680 949307 | 2147483647 207777 60 | 0.000 % |
457.63/457.66 c | 207877 | 1435 215680 949307 | 2147483647 207877 60 | 0.000 % |
457.92/457.95 c | 207988 | 1435 215680 949307 | 2147483647 207988 60 | 0.000 % |
458.22/458.30 c | 208110 | 1435 215680 949307 | 2147483647 208110 60 | 0.000 % |
458.73/458.73 c | 208249 | 1435 215680 949307 | 2147483647 208249 60 | 0.000 % |
459.22/459.25 c | 208401 | 1435 215680 949307 | 2147483647 208401 60 | 0.000 % |
459.92/459.90 c | 208562 | 1435 215680 949307 | 2147483647 208562 60 | 0.000 % |
460.52/460.53 c | 208738 | 1435 215680 949307 | 2147483647 208738 60 | 0.000 % |
461.12/461.13 c | 208934 | 1435 215680 949307 | 2147483647 208934 60 | 0.000 % |
462.03/462.06 c | 209147 | 1435 215680 949307 | 2147483647 209147 60 | 0.000 % |
462.62/462.62 c | 209381 | 1435 215680 949307 | 2147483647 209381 60 | 0.000 % |
463.72/463.77 c | 209637 | 1435 215680 949307 | 2147483647 209637 60 | 0.000 % |
464.62/464.61 c | 209920 | 1435 215680 949307 | 2147483647 209920 60 | 0.000 % |
465.52/465.60 c | 210229 | 1435 215680 949307 | 2147483647 210229 60 | 0.000 % |
466.92/466.97 c | 210568 | 1435 215680 949307 | 2147483647 210568 60 | 0.000 % |
468.52/468.51 c | 210940 | 1435 215680 949307 | 2147483647 210940 60 | 0.000 % |
469.62/469.64 c | 211349 | 1435 215680 949307 | 2147483647 211349 60 | 0.000 % |
470.62/470.63 c | 211799 | 1435 215680 949307 | 2147483647 211799 60 | 0.000 % |
471.82/471.89 c | 212292 | 1435 215680 949307 | 2147483647 212292 60 | 0.000 % |
473.42/473.44 c | 212835 | 1435 215680 949307 | 2147483647 212835 60 | 0.000 % |
475.13/475.13 c | 213432 | 1435 215680 949307 | 2147483647 213432 61 | 0.000 % |
476.83/476.83 c | 214088 | 1435 215680 949307 | 2147483647 214088 61 | 0.000 % |
479.53/479.54 c | 214808 | 1435 215680 949307 | 2147483647 214808 61 | 0.000 % |
482.33/482.33 c | 215601 | 1435 215680 949307 | 2147483647 215601 61 | 0.000 % |
484.03/484.02 c | 216472 | 1435 215680 949307 | 2147483647 216472 61 | 0.000 % |
487.13/487.13 c | 217432 | 1435 215680 949307 | 2147483647 217432 61 | 0.000 % |
490.23/490.25 c | 218486 | 1435 215680 949307 | 2147483647 218486 61 | 0.000 % |
493.73/493.78 c | 219644 | 1435 215680 949307 | 2147483647 219644 61 | 0.000 % |
496.43/496.49 c | 220917 | 1435 215680 949307 | 2147483647 220917 61 | 0.000 % |
501.03/501.05 c | 222317 | 1435 215680 949307 | 2147483647 222317 61 | 0.000 % |
505.43/505.45 c | 223860 | 1435 215680 949307 | 2147483647 223860 61 | 0.000 % |
510.73/510.73 c | 225558 | 1435 215680 949307 | 2147483647 225558 61 | 0.000 % |
517.13/517.13 c | 227424 | 1435 215680 949307 | 2147483647 227424 61 | 0.000 % |
521.33/521.41 c | 229473 | 1435 215680 949307 | 2147483647 229473 61 | 0.000 % |
525.13/525.11 c | 231726 | 1435 215680 949307 | 2147483647 231726 61 | 0.000 % |
525.23/525.27 c | 231826 | 1435 215680 949307 | 2147483647 231826 61 | 0.000 % |
525.43/525.44 c | 231936 | 1435 215680 949307 | 2147483647 231936 61 | 0.000 % |
525.63/525.66 c | 232057 | 1435 215680 949307 | 2147483647 232057 61 | 0.000 % |
526.23/526.22 c | 232190 | 1435 215680 949307 | 2147483647 232190 61 | 0.000 % |
526.73/526.73 c | 232337 | 1435 215680 949307 | 2147483647 232337 61 | 0.000 % |
527.23/527.22 c | 232497 | 1435 215680 949307 | 2147483647 232497 61 | 0.000 % |
527.63/527.66 c | 232673 | 1435 215680 949307 | 2147483647 232673 61 | 0.000 % |
528.23/528.26 c | 232869 | 1435 215680 949307 | 2147483647 232869 61 | 0.000 % |
529.14/529.13 c | 233082 | 1435 215680 949307 | 2147483647 233082 61 | 0.000 % |
529.63/529.69 c | 233315 | 1435 215680 949307 | 2147483647 233315 61 | 0.000 % |
530.33/530.34 c | 233573 | 1435 215680 949307 | 2147483647 233573 61 | 0.000 % |
530.93/530.99 c | 233855 | 1435 215680 949307 | 2147483647 233855 61 | 0.000 % |
531.53/531.54 c | 234165 | 1435 215680 949307 | 2147483647 234165 61 | 0.000 % |
532.03/532.05 c | 234504 | 1435 215680 949307 | 2147483647 234504 61 | 0.000 % |
532.73/532.75 c | 234877 | 1435 215680 949307 | 2147483647 234877 61 | 0.000 % |
533.33/533.34 c | 235287 | 1435 215680 949307 | 2147483647 235287 61 | 0.000 % |
534.13/534.14 c | 235738 | 1435 215680 949307 | 2147483647 235738 61 | 0.000 % |
534.93/534.97 c | 236231 | 1435 215680 949307 | 2147483647 236231 61 | 0.000 % |
535.83/535.83 c | 236773 | 1435 215680 949307 | 2147483647 236773 61 | 0.000 % |
536.73/536.74 c | 237370 | 1435 215680 949307 | 2147483647 237370 61 | 0.000 % |
538.13/538.15 c | 238026 | 1435 215680 949307 | 2147483647 238026 61 | 0.000 % |
540.03/540.05 c | 238746 | 1435 215680 949307 | 2147483647 238746 61 | 0.000 % |
542.13/542.18 c | 239538 | 1435 215680 949307 | 2147483647 239538 61 | 0.000 % |
544.33/544.31 c | 240409 | 1435 215680 949307 | 2147483647 240409 62 | 0.000 % |
546.83/546.82 c | 241368 | 1435 215680 949307 | 2147483647 241368 62 | 0.000 % |
550.43/550.42 c | 242422 | 1435 215680 949307 | 2147483647 242422 62 | 0.000 % |
552.93/552.96 c | 243580 | 1435 215680 949307 | 2147483647 243580 62 | 0.000 % |
555.13/555.19 c | 244854 | 1435 215680 949307 | 2147483647 244854 62 | 0.000 % |
557.74/557.73 c | 246254 | 1435 215680 949307 | 2147483647 246254 62 | 0.000 % |
560.04/560.03 c | 247796 | 1435 215680 949307 | 2147483647 247796 62 | 0.000 % |
562.04/562.09 c | 249492 | 1435 215680 949307 | 2147483647 249492 62 | 0.000 % |
564.34/564.35 c | 251356 | 1435 215680 949307 | 2147483647 251356 62 | 0.000 % |
568.84/568.86 c | 253405 | 1435 215680 949307 | 2147483647 253405 62 | 0.000 % |
572.84/572.82 c | 255660 | 1435 215680 949307 | 2147483647 255660 62 | 0.000 % |
577.34/577.41 c | 258138 | 1435 215680 949307 | 2147483647 258138 62 | 0.001 % |
577.74/577.72 c | 258238 | 1435 215680 949307 | 2147483647 258238 62 | 0.000 % |
577.94/577.94 c | 258348 | 1435 215680 949307 | 2147483647 258348 62 | 0.000 % |
578.24/578.29 c | 258469 | 1435 215680 949307 | 2147483647 258469 62 | 0.000 % |
578.64/578.70 c | 258602 | 1435 215680 949307 | 2147483647 258602 62 | 0.000 % |
579.14/579.15 c | 258750 | 1435 215680 949307 | 2147483647 258750 62 | 0.000 % |
579.54/579.55 c | 258911 | 1435 215680 949307 | 2147483647 258911 62 | 0.000 % |
580.04/580.03 c | 259087 | 1435 215680 949307 | 2147483647 259087 62 | 0.000 % |
580.44/580.49 c | 259280 | 1435 215680 949307 | 2147483647 259280 62 | 0.000 % |
580.84/580.88 c | 259494 | 1435 215680 949307 | 2147483647 259494 62 | 0.000 % |
581.24/581.28 c | 259727 | 1435 215680 949307 | 2147483647 259727 62 | 0.000 % |
581.84/581.89 c | 259986 | 1435 215680 949307 | 2147483647 259986 62 | 0.000 % |
582.54/582.60 c | 260268 | 1435 215680 949307 | 2147483647 260268 62 | 0.000 % |
583.24/583.22 c | 260579 | 1435 215680 949307 | 2147483647 260579 62 | 0.000 % |
584.24/584.27 c | 260918 | 1435 215680 949307 | 2147483647 260918 62 | 0.000 % |
585.24/585.29 c | 261290 | 1435 215680 949307 | 2147483647 261290 62 | 0.000 % |
586.34/586.38 c | 261702 | 1435 215680 949307 | 2147483647 261702 62 | 0.000 % |
587.44/587.48 c | 262152 | 1435 215680 949307 | 2147483647 262152 62 | 0.000 % |
589.04/589.02 c | 262646 | 1435 215680 949307 | 2147483647 262646 62 | 0.000 % |
590.74/590.73 c | 263188 | 1435 215680 949307 | 2147483647 263188 62 | 0.000 % |
592.24/592.21 c | 263784 | 1435 215680 949307 | 2147483647 263784 62 | 0.000 % |
594.54/594.52 c | 264440 | 1435 215680 949307 | 2147483647 264440 61 | 0.000 % |
596.94/596.95 c | 265161 | 1435 215680 949307 | 2147483647 265161 61 | 0.000 % |
599.34/599.35 c | 265955 | 1435 215680 949307 | 2147483647 265955 61 | 0.000 % |
601.74/601.80 c | 266828 | 1435 215680 949307 | 2147483647 266828 61 | 0.000 % |
603.64/603.68 c | 267786 | 1435 215680 949307 | 2147483647 267786 61 | 0.000 % |
605.44/605.46 c | 268840 | 1435 215680 949307 | 2147483647 268840 61 | 0.000 % |
607.64/607.61 c | 269999 | 1435 215680 949307 | 2147483647 269999 62 | 0.000 % |
610.44/610.44 c | 271272 | 1435 215680 949307 | 270000 235100 61 | 0.000 % |
613.14/613.11 c | 272674 | 1435 215680 949307 | 270000 236502 61 | 0.000 % |
618.34/618.34 c | 274216 | 1435 215680 949307 | 270000 238044 61 | 0.000 % |
624.74/624.77 c | 275913 | 1435 215680 949307 | 270000 239741 61 | 0.000 % |
632.24/632.21 c | 277776 | 1435 215680 949307 | 270000 241604 61 | 0.000 % |
640.85/640.82 c | 279827 | 1435 215680 949307 | 270000 243655 60 | 0.000 % |
649.45/649.51 c | 282080 | 1435 215680 949307 | 2147483647 245908 60 | 0.000 % |
659.55/659.57 c | 284558 | 1435 215680 949307 | 2147483647 248386 60 | 0.000 % |
672.25/672.26 c | 287284 | 1435 215680 949307 | 2147483647 251112 61 | 0.000 % |
672.65/672.68 c | 287386 | 1435 215680 949307 | 2147483647 251214 61 | 0.000 % |
673.05/673.05 c | 287497 | 1435 215680 949307 | 2147483647 251325 61 | 0.000 % |
673.65/673.64 c | 287618 | 1435 215680 949307 | 2147483647 251446 61 | 0.000 % |
674.35/674.37 c | 287753 | 1435 215680 949307 | 2147483647 251581 61 | 0.000 % |
674.95/674.99 c | 287899 | 1435 215680 949307 | 2147483647 251727 61 | 0.000 % |
675.65/675.71 c | 288060 | 1435 215680 949307 | 2147483647 251888 61 | 0.000 % |
676.25/676.30 c | 288236 | 1435 215680 949307 | 2147483647 252064 61 | 0.000 % |
677.35/677.41 c | 288431 | 1435 215680 949307 | 2147483647 252259 61 | 0.000 % |
678.15/678.18 c | 288646 | 1435 215680 949307 | 2147483647 252474 61 | 0.000 % |
679.35/679.40 c | 288881 | 1435 215680 949307 | 2147483647 252709 61 | 0.000 % |
680.65/680.63 c | 289137 | 1435 215680 949307 | 2147483647 252965 61 | 0.000 % |
681.65/681.66 c | 289423 | 1435 215680 949307 | 2147483647 253251 61 | 0.000 % |
682.75/682.74 c | 289735 | 1435 215680 949307 | 2147483647 253563 61 | 0.000 % |
684.75/684.72 c | 290075 | 1435 215680 949307 | 2147483647 253903 61 | 0.000 % |
687.05/687.06 c | 290449 | 1435 215680 949307 | 2147483647 254277 61 | 0.000 % |
688.45/688.49 c | 290858 | 1435 215680 949307 | 2147483647 254686 61 | 0.000 % |
690.25/690.23 c | 291308 | 1435 215680 949307 | 2147483647 255136 61 | 0.000 % |
692.45/692.46 c | 291801 | 1435 215680 949307 | 2147483647 255629 61 | 0.000 % |
694.85/694.82 c | 292344 | 1435 215680 949307 | 2147483647 256172 61 | 0.000 % |
697.05/697.04 c | 292940 | 1435 215680 949307 | 2147483647 256768 61 | 0.000 % |
699.45/699.44 c | 293595 | 1435 215680 949307 | 2147483647 257423 61 | 0.000 % |
702.85/702.85 c | 294318 | 1435 215680 949307 | 2147483647 258146 61 | 0.000 % |
706.95/706.92 c | 295112 | 1435 215680 949307 | 2147483647 258940 61 | 0.000 % |
710.55/710.58 c | 295984 | 1435 215680 949307 | 2147483647 259812 61 | 0.000 % |
714.05/714.08 c | 296944 | 1435 215680 949307 | 2147483647 260772 61 | 0.000 % |
717.35/717.31 c | 297997 | 1435 215680 949307 | 2147483647 261825 60 | 0.000 % |
721.86/721.90 c | 299156 | 1435 215680 949307 | 2147483647 262984 60 | 0.000 % |
728.36/728.41 c | 300430 | 1435 215680 949307 | 2147483647 264258 60 | 0.000 % |
733.86/733.83 c | 301831 | 1435 215680 949307 | 2147483647 265659 60 | 0.000 % |
739.35/739.38 c | 303372 | 1435 215680 949307 | 2147483647 267200 60 | 0.000 % |
746.85/746.82 c | 305066 | 1435 215680 949307 | 2147483647 268894 60 | 0.000 % |
752.95/752.96 c | 306930 | 1435 215680 949307 | 2147483647 270758 60 | 0.000 % |
762.35/762.32 c | 308981 | 1435 215680 949307 | 2147483647 272809 60 | 0.000 % |
770.35/770.32 c | 311239 | 1435 215680 949307 | 2147483647 275067 60 | 0.000 % |
780.15/780.19 c | 313720 | 1435 215680 949307 | 2147483647 277548 60 | 0.000 % |
789.95/789.98 c | 316447 | 1435 215680 949307 | 2147483647 280275 60 | 0.000 % |
799.95/799.98 c | 319445 | 1435 215680 949307 | 2147483647 283273 59 | 0.000 % |
800.25/800.30 c | 319547 | 1435 215680 949307 | 2147483647 283375 59 | 0.000 % |
800.95/800.92 c | 319659 | 1435 215680 949307 | 2147483647 283487 59 | 0.000 % |
801.55/801.51 c | 319780 | 1435 215680 949307 | 2147483647 283608 59 | 0.000 % |
802.15/802.15 c | 319914 | 1435 215680 949307 | 2147483647 283742 59 | 0.000 % |
802.96/802.96 c | 320064 | 1435 215680 949307 | 2147483647 283892 59 | 0.000 % |
803.56/803.53 c | 320225 | 1435 215680 949307 | 2147483647 284053 60 | 0.000 % |
804.16/804.18 c | 320401 | 1435 215680 949307 | 2147483647 284229 60 | 0.000 % |
804.96/804.94 c | 320594 | 1435 215680 949307 | 2147483647 284422 60 | 0.000 % |
805.86/805.88 c | 320808 | 1435 215680 949307 | 2147483647 284636 60 | 0.000 % |
807.16/807.14 c | 321042 | 1435 215680 949307 | 2147483647 284870 60 | 0.000 % |
808.26/808.23 c | 321298 | 1435 215680 949307 | 2147483647 285126 60 | 0.000 % |
809.36/809.34 c | 321579 | 1435 215680 949307 | 2147483647 285407 60 | 0.000 % |
810.66/810.70 c | 321888 | 1435 215680 949307 | 2147483647 285716 60 | 0.000 % |
812.16/812.12 c | 322227 | 1435 215680 949307 | 2147483647 286055 60 | 0.000 % |
813.96/813.95 c | 322600 | 1435 215680 949307 | 2147483647 286428 60 | 0.000 % |
815.56/815.54 c | 323009 | 1435 215680 949307 | 2147483647 286837 60 | 0.000 % |
817.76/817.73 c | 323458 | 1435 215680 949307 | 2147483647 287286 60 | 0.000 % |
819.56/819.60 c | 323951 | 1435 215680 949307 | 2147483647 287779 60 | 0.000 % |
821.56/821.59 c | 324494 | 1435 215680 949307 | 2147483647 288322 60 | 0.000 % |
823.66/823.70 c | 325090 | 1435 215680 949307 | 2147483647 288918 60 | 0.000 % |
827.16/827.12 c | 325745 | 1435 215680 949307 | 2147483647 289573 60 | 0.000 % |
830.06/830.07 c | 326465 | 1435 215680 949307 | 2147483647 290293 60 | 0.000 % |
833.46/833.42 c | 327257 | 1435 215680 949307 | 2147483647 291085 60 | 0.000 % |
837.66/837.70 c | 328133 | 1435 215680 949307 | 2147483647 291961 60 | 0.000 % |
841.86/841.87 c | 329093 | 1435 215680 949307 | 2147483647 292921 60 | 0.000 % |
846.06/846.01 c | 330148 | 1435 215680 949307 | 2147483647 293976 60 | 0.000 % |
850.96/850.99 c | 331307 | 1435 215680 949307 | 2147483647 295135 60 | 0.000 % |
854.36/854.40 c | 332581 | 1435 215680 949307 | 2147483647 296409 60 | 0.000 % |
860.66/860.61 c | 333981 | 1435 215680 949307 | 2147483647 297809 60 | 0.000 % |
866.46/866.49 c | 335522 | 1435 215680 949307 | 2147483647 299350 60 | 0.000 % |
873.86/873.85 c | 337216 | 1435 215680 949307 | 2147483647 301044 60 | 0.000 % |
881.66/881.68 c | 339079 | 1435 215680 949307 | 2147483647 302907 60 | 0.000 % |
888.27/888.27 c | 341128 | 1435 215680 949307 | 2147483647 304956 60 | 0.000 % |
897.67/897.61 c | 343381 | 1435 215680 949307 | 2147483647 307209 60 | 0.000 % |
906.67/906.62 c | 345859 | 1435 215680 949307 | 2147483647 309687 60 | 0.000 % |
916.07/916.07 c | 348586 | 1435 215680 949307 | 2147483647 312414 61 | 0.000 % |
929.37/929.40 c | 351583 | 1435 215680 949307 | 2147483647 315411 61 | 0.000 % |
943.77/943.81 c | 354879 | 1435 215680 949307 | 2147483647 318707 61 | 0.000 % |
944.27/944.22 c | 354980 | 1435 215680 949307 | 2147483647 318808 61 | 0.000 % |
944.67/944.64 c | 355092 | 1435 215680 949307 | 2147483647 318920 61 | 0.000 % |
945.17/945.19 c | 355213 | 1435 215680 949307 | 2147483647 319041 61 | 0.000 % |
945.77/945.72 c | 355346 | 1435 215680 949307 | 2147483647 319174 61 | 0.000 % |
946.47/946.49 c | 355494 | 1435 215680 949307 | 2147483647 319322 61 | 0.000 % |
947.07/947.10 c | 355654 | 1435 215680 949307 | 2147483647 319482 61 | 0.000 % |
947.67/947.70 c | 355830 | 1435 215680 949307 | 2147483647 319658 61 | 0.000 % |
948.37/948.34 c | 356024 | 1435 215680 949307 | 2147483647 319852 61 | 0.000 % |
949.67/949.65 c | 356238 | 1435 215680 949307 | 2147483647 320066 61 | 0.000 % |
950.87/950.84 c | 356472 | 1435 215680 949307 | 2147483647 320300 61 | 0.000 % |
952.37/952.33 c | 356728 | 1435 215680 949307 | 2147483647 320556 61 | 0.000 % |
953.47/953.44 c | 357009 | 1435 215680 949307 | 2147483647 320837 61 | 0.000 % |
954.47/954.50 c | 357320 | 1435 215680 949307 | 2147483647 321148 61 | 0.000 % |
955.67/955.70 c | 357660 | 1435 215680 949307 | 2147483647 321488 61 | 0.000 % |
956.97/956.91 c | 358033 | 1435 215680 949307 | 2147483647 321861 61 | 0.000 % |
958.67/958.70 c | 358442 | 1435 215680 949307 | 2147483647 322270 61 | 0.000 % |
960.07/960.01 c | 358893 | 1435 215680 949307 | 2147483647 322721 61 | 0.000 % |
961.57/961.51 c | 359388 | 1435 215680 949307 | 2147483647 323216 61 | 0.000 % |
963.47/963.47 c | 359930 | 1435 215680 949307 | 2147483647 323758 61 | 0.000 % |
965.88/965.89 c | 360528 | 1435 215680 949307 | 2147483647 324356 61 | 0.000 % |
967.48/967.44 c | 361183 | 1435 215680 949307 | 2147483647 325011 61 | 0.000 % |
969.18/969.14 c | 361903 | 1435 215680 949307 | 2147483647 325731 61 | 0.000 % |
971.38/971.37 c | 362695 | 1435 215680 949307 | 2147483647 326523 61 | 0.000 % |
973.58/973.58 c | 363567 | 1435 215680 949307 | 2147483647 327395 61 | 0.000 % |
976.58/976.53 c | 364529 | 1435 215680 949307 | 2147483647 328357 61 | 0.000 % |
981.18/981.17 c | 365583 | 1435 215680 949307 | 2147483647 329411 61 | 0.000 % |
985.28/985.26 c | 366743 | 1435 215680 949307 | 2147483647 330571 61 | 0.000 % |
990.78/990.76 c | 368017 | 1435 215680 949307 | 2147483647 331845 61 | 0.000 % |
993.58/993.54 c | 369418 | 1435 215680 949307 | 2147483647 333246 61 | 0.000 % |
1000.28/1000.30 c | 370958 | 1435 215680 949307 | 2147483647 334786 61 | 0.000 % |
1005.98/1005.98 c | 372652 | 1435 215680 949307 | 2147483647 336480 61 | 0.000 % |
1013.78/1013.75 c | 374516 | 1435 215680 949307 | 2147483647 338344 61 | 0.000 % |
1020.78/1020.78 c | 376565 | 1435 215680 949307 | 2147483647 340393 61 | 0.000 % |
1031.18/1031.14 c | 378820 | 1435 215680 949307 | 2147483647 342648 61 | 0.000 % |
1040.69/1040.67 c | 381299 | 1435 215680 949307 | 2147483647 345127 61 | 0.000 % |
1054.19/1054.16 c | 384025 | 1435 215680 949307 | 2147483647 347853 61 | 0.000 % |
1067.89/1067.91 c | 387027 | 1435 215680 949307 | 2147483647 350855 61 | 0.000 % |
1084.39/1084.38 c | 390324 | 1435 215680 949307 | 2147483647 354152 62 | 0.000 % |
1100.68/1100.67 c | 393949 | 1435 215680 949307 | 2147483647 357777 62 | 0.000 % |
1101.08/1101.10 c | 394051 | 1435 215680 949307 | 2147483647 357879 62 | 0.000 % |
1102.08/1102.10 c | 394161 | 1435 215680 949307 | 2147483647 357989 62 | 0.000 % |
1102.88/1102.81 c | 394285 | 1435 215680 949307 | 2147483647 358113 62 | 0.000 % |
1103.48/1103.43 c | 394419 | 1435 215680 949307 | 2147483647 358247 62 | 0.000 % |
1104.49/1104.48 c | 394566 | 1435 215680 949307 | 2147483647 358394 62 | 0.000 % |
1105.48/1105.47 c | 394726 | 1435 215680 949307 | 2147483647 358554 62 | 0.000 % |
1106.58/1106.53 c | 394902 | 1435 215680 949307 | 2147483647 358730 62 | 0.000 % |
1107.68/1107.69 c | 395095 | 1435 215680 949307 | 2147483647 358923 62 | 0.000 % |
1108.78/1108.79 c | 395307 | 1435 215680 949307 | 2147483647 359135 62 | 0.000 % |
1110.18/1110.11 c | 395540 | 1435 215680 949307 | 2147483647 359368 62 | 0.000 % |
1111.78/1111.77 c | 395798 | 1435 215680 949307 | 2147483647 359626 62 | 0.002 % |
1113.18/1113.12 c | 396087 | 1435 215680 949307 | 2147483647 359915 62 | 0.000 % |
1115.28/1115.29 c | 396396 | 1435 215680 949307 | 2147483647 360224 62 | 0.000 % |
1116.98/1117.00 c | 396735 | 1435 215680 949307 | 2147483647 360563 62 | 0.000 % |
1118.58/1118.60 c | 397108 | 1435 215680 949307 | 2147483647 360936 62 | 0.000 % |
1120.18/1120.19 c | 397518 | 1435 215680 949307 | 2147483647 361346 62 | 0.000 % |
1122.88/1122.87 c | 397967 | 1435 215680 949307 | 2147483647 361795 62 | 0.000 % |
1125.18/1125.17 c | 398460 | 1435 215680 949307 | 2147483647 362288 62 | 0.000 % |
1127.88/1127.85 c | 399004 | 1435 215680 949307 | 2147483647 362832 62 | 0.000 % |
1131.18/1131.15 c | 399601 | 1435 215680 949307 | 2147483647 363429 62 | 0.000 % |
1134.39/1134.32 c | 400256 | 1435 215680 949307 | 2147483647 364084 62 | 0.000 % |
1138.59/1138.55 c | 400979 | 1435 215680 949307 | 2147483647 364807 62 | 0.000 % |
1140.89/1140.88 c | 401773 | 1435 215680 949307 | 2147483647 365601 62 | 0.000 % |
1147.89/1147.83 c | 402644 | 1435 215680 949307 | 2147483647 366472 62 | 0.000 % |
1154.19/1154.13 c | 403603 | 1435 215680 949307 | 2147483647 367431 62 | 0.000 % |
1160.59/1160.54 c | 404657 | 1435 215680 949307 | 2147483647 368485 62 | 0.000 % |
1165.99/1165.92 c | 405815 | 1435 215680 949307 | 2147483647 369643 62 | 0.000 % |
1171.99/1171.93 c | 407089 | 1435 215680 949307 | 2147483647 370917 62 | 0.000 % |
1179.59/1179.58 c | 408491 | 1435 215680 949307 | 2147483647 372319 62 | 0.000 % |
1187.09/1187.01 c | 410036 | 1435 215680 949307 | 2147483647 373864 62 | 0.000 % |
1195.19/1195.19 c | 411731 | 1435 215680 949307 | 2147483647 375559 62 | 0.000 % |
1200.09/1200.02 HOME/SatELiteGTI: line 36: 3127 Terminated $MS $TMP.cnf $TMP.result
runsolver version 3.2.9 (svn:503) (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w /tmp/evaluation-result-1821718-1242556667/watcher-1821718-1242556667 -o /tmp/evaluation-result-1821718-1242556667/solver-1821718-1242556667 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1821718-1242556667.cnf
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1230 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 8192 KiB
[startup+0 s]
/proc/loadavg: 0.92 1.01 0.99 2/93 3121
/proc/meminfo: memFree=453288/2074464 swapFree=1951864/1959888
[pid=3121] ppid=3119 vsize=2416 CPUtime=0.01
/proc/3121/stat : 3121 (SatELiteGTI) S 3119 3121 20977 0 -1 4194304 367 646 0 0 1 0 0 0 18 0 1 0 1020167762 2473984 277 4294967295 134512640 135169312 3220413056 3220411592 3085647598 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/3121/statm: 604 277 235 161 0 43 0
[pid=3125] ppid=3121 vsize=952 CPUtime=0
/proc/3125/stat : 3125 (SatELite_releas) R 3121 3121 20977 0 -1 4202496 104 0 0 0 0 0 0 0 20 0 1 0 1020167762 974848 40 4294967295 134512640 135223648 3216721648 3216721532 134529552 0 0 0 0 0 0 0 17 2 0 0 0
/proc/3125/statm: 238 49 40 174 0 63 0
[startup+0.094345 s]
/proc/loadavg: 0.92 1.01 0.99 2/93 3121
/proc/meminfo: memFree=453288/2074464 swapFree=1951864/1959888
[pid=3121] ppid=3119 vsize=2416 CPUtime=0.01
/proc/3121/stat : 3121 (SatELiteGTI) S 3119 3121 20977 0 -1 4194304 367 646 0 0 1 0 0 0 18 0 1 0 1020167762 2473984 277 4294967295 134512640 135169312 3220413056 3220411592 3085647598 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/3121/statm: 604 277 235 161 0 43 0
[pid=3125] ppid=3121 vsize=8868 CPUtime=0.09
/proc/3125/stat : 3125 (SatELite_releas) R 3121 3121 20977 0 -1 4202496 2006 0 0 0 8 1 0 0 20 0 1 0 1020167762 9080832 1942 4294967295 134512640 135223648 3216721648 3216720600 134737310 0 0 0 3 0 0 0 17 2 0 0 0
/proc/3125/statm: 2217 1942 46 174 0 2042 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 11284
[startup+0.124341 s]
/proc/loadavg: 0.92 1.01 0.99 2/93 3121
/proc/meminfo: memFree=453288/2074464 swapFree=1951864/1959888
[pid=3121] ppid=3119 vsize=2416 CPUtime=0.01
/proc/3121/stat : 3121 (SatELiteGTI) S 3119 3121 20977 0 -1 4194304 367 646 0 0 1 0 0 0 18 0 1 0 1020167762 2473984 277 4294967295 134512640 135169312 3220413056 3220411592 3085647598 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/3121/statm: 604 277 235 161 0 43 0
[pid=3125] ppid=3121 vsize=11648 CPUtime=0.12
/proc/3125/stat : 3125 (SatELite_releas) R 3121 3121 20977 0 -1 4202496 2752 0 0 0 9 3 0 0 20 0 1 0 1020167762 11927552 2688 4294967295 134512640 135223648 3216721648 3216720488 134719062 0 0 0 3 0 0 0 17 2 0 0 0
/proc/3125/statm: 2945 2694 47 174 0 2770 0
Current children cumulated CPU time (s) 0.13
Current children cumulated vsize (KiB) 14064
[startup+0.324322 s]
/proc/loadavg: 0.92 1.01 0.99 2/93 3121
/proc/meminfo: memFree=453288/2074464 swapFree=1951864/1959888
[pid=3121] ppid=3119 vsize=2416 CPUtime=0.01
/proc/3121/stat : 3121 (SatELiteGTI) S 3119 3121 20977 0 -1 4194304 367 646 0 0 1 0 0 0 18 0 1 0 1020167762 2473984 277 4294967295 134512640 135169312 3220413056 3220411592 3085647598 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/3121/statm: 604 277 235 161 0 43 0
[pid=3125] ppid=3121 vsize=17312 CPUtime=0.32
/proc/3125/stat : 3125 (SatELite_releas) R 3121 3121 20977 0 -1 4202496 4179 0 0 0 28 4 0 0 21 0 1 0 1020167762 17727488 4115 4294967295 134512640 135223648 3216721648 3216719316 134719062 0 0 0 3 0 0 0 17 2 0 0 0
/proc/3125/statm: 4328 4115 73 174 0 4153 0
Current children cumulated CPU time (s) 0.33
Current children cumulated vsize (KiB) 19728
[startup+0.724281 s]
/proc/loadavg: 0.92 1.01 0.99 2/93 3121
/proc/meminfo: memFree=453288/2074464 swapFree=1951864/1959888
[pid=3121] ppid=3119 vsize=2416 CPUtime=0.01
/proc/3121/stat : 3121 (SatELiteGTI) S 3119 3121 20977 0 -1 4194304 367 646 0 0 1 0 0 0 18 0 1 0 1020167762 2473984 277 4294967295 134512640 135169312 3220413056 3220411592 3085647598 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/3121/statm: 604 277 235 161 0 43 0
[pid=3125] ppid=3121 vsize=19888 CPUtime=0.72
/proc/3125/stat : 3125 (SatELite_releas) R 3121 3121 20977 0 -1 4202496 4612 0 0 0 68 4 0 0 22 0 1 0 1020167762 20365312 4548 4294967295 134512640 135223648 3216721648 3216719648 134549033 0 0 0 3 0 0 0 17 2 0 0 0
/proc/3125/statm: 4972 4548 73 174 0 4797 0
Current children cumulated CPU time (s) 0.73
Current children cumulated vsize (KiB) 22304
[startup+1.5242 s]
/proc/loadavg: 0.92 1.01 0.99 2/95 3126
/proc/meminfo: memFree=431176/2074464 swapFree=1951864/1959888
[pid=3121] ppid=3119 vsize=2416 CPUtime=0.01
/proc/3121/stat : 3121 (SatELiteGTI) S 3119 3121 20977 0 -1 4194304 367 646 0 0 1 0 0 0 18 0 1 0 1020167762 2473984 277 4294967295 134512640 135169312 3220413056 3220411592 3085647598 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/3121/statm: 604 277 235 161 0 43 0
[pid=3125] ppid=3121 vsize=23972 CPUtime=1.52
/proc/3125/stat : 3125 (SatELite_releas) R 3121 3121 20977 0 -1 4202496 5459 0 0 0 147 5 0 0 25 0 1 0 1020167762 24547328 5395 4294967295 134512640 135223648 3216721648 3216719744 134585471 0 0 0 3 0 0 0 17 2 0 0 0
/proc/3125/statm: 5993 5395 73 174 0 5818 0
Current children cumulated CPU time (s) 1.53
Current children cumulated vsize (KiB) 26388
[startup+3.12405 s]
/proc/loadavg: 0.92 1.01 0.99 2/95 3126
/proc/meminfo: memFree=431176/2074464 swapFree=1951864/1959888
[pid=3121] ppid=3119 vsize=2416 CPUtime=0.01
/proc/3121/stat : 3121 (SatELiteGTI) S 3119 3121 20977 0 -1 4194304 367 646 0 0 1 0 0 0 18 0 1 0 1020167762 2473984 277 4294967295 134512640 135169312 3220413056 3220411592 3085647598 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/3121/statm: 604 277 235 161 0 43 0
[pid=3125] ppid=3121 vsize=21576 CPUtime=3.12
/proc/3125/stat : 3125 (SatELite_releas) R 3121 3121 20977 0 -1 4202496 5460 0 0 0 307 5 0 0 25 0 1 0 1020167762 22093824 4968 4294967295 134512640 135223648 3216721648 3216718448 134730910 0 0 0 3 0 0 0 17 2 0 0 0
/proc/3125/statm: 5394 4968 73 174 0 5219 0
Current children cumulated CPU time (s) 3.13
Current children cumulated vsize (KiB) 23992
[startup+6.32374 s]
/proc/loadavg: 0.93 1.01 0.99 3/95 3312
/proc/meminfo: memFree=434776/2074464 swapFree=1951864/1959888
[pid=3121] ppid=3119 vsize=2420 CPUtime=3.28
/proc/3121/stat : 3121 (SatELiteGTI) S 3119 3121 20977 0 -1 4194304 386 6108 0 0 1 0 321 6 18 0 1 0 1020167762 2478080 278 4294967295 134512640 135169312 3220413056 3220409272 3085647598 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/3121/statm: 605 278 235 161 0 44 0
[pid=3127] ppid=3121 vsize=13976 CPUtime=3.05
/proc/3127/stat : 3127 (minisat_static) R 3121 3121 20977 0 -1 4202496 3346 0 0 0 305 0 0 0 25 0 1 0 1020168090 14311424 3281 4294967295 134512640 135215339 3214144736 3214143024 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/3127/statm: 3494 3281 73 172 0 3321 0
Current children cumulated CPU time (s) 6.33
Current children cumulated vsize (KiB) 16396
[startup+12.7231 s]
/proc/loadavg: 0.93 1.01 0.99 2/95 3313
/proc/meminfo: memFree=432964/2074464 swapFree=1951864/1959888
[pid=3121] ppid=3119 vsize=2420 CPUtime=3.28
/proc/3121/stat : 3121 (SatELiteGTI) S 3119 3121 20977 0 -1 4194304 386 6108 0 0 1 0 321 6 18 0 1 0 1020167762 2478080 278 4294967295 134512640 135169312 3220413056 3220409272 3085647598 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/3121/statm: 605 278 235 161 0 44 0
[pid=3127] ppid=3121 vsize=15724 CPUtime=9.45
/proc/3127/stat : 3127 (minisat_static) R 3121 3121 20977 0 -1 4202496 3767 0 0 0 945 0 0 0 25 0 1 0 1020168090 16101376 3702 4294967295 134512640 135215339 3214144736 3214143024 134528872 0 0 0 3 0 0 0 17 3 0 0 0
/proc/3127/statm: 3931 3702 73 172 0 3758 0
Current children cumulated CPU time (s) 12.73
Current children cumulated vsize (KiB) 18144
[startup+25.5118 s]
/proc/loadavg: 0.95 1.00 0.99 2/95 3316
/proc/meminfo: memFree=430628/2074464 swapFree=1951864/1959888
[pid=3121] ppid=3119 vsize=2420 CPUtime=3.28
/proc/3121/stat : 3121 (SatELiteGTI) S 3119 3121 20977 0 -1 4194304 386 6108 0 0 1 0 321 6 18 0 1 0 1020167762 2478080 278 4294967295 134512640 135169312 3220413056 3220409272 3085647598 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/3121/statm: 605 278 235 161 0 44 0
[pid=3127] ppid=3121 vsize=18100 CPUtime=22.2
/proc/3127/stat : 3127 (minisat_static) R 3121 3121 20977 0 -1 4202496 4388 0 0 0 2220 0 0 0 25 0 1 0 1020168090 18534400 4323 4294967295 134512640 135215339 3214144736 3214143024 134528682 0 0 0 3 0 0 0 17 0 0 0 0
/proc/3127/statm: 4525 4323 73 172 0 4352 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 20520
[startup+51.1093 s]
/proc/loadavg: 1.04 1.02 1.00 2/95 3316
/proc/meminfo: memFree=426048/2074464 swapFree=1951864/1959888
[pid=3121] ppid=3119 vsize=2420 CPUtime=3.28
/proc/3121/stat : 3121 (SatELiteGTI) S 3119 3121 20977 0 -1 4194304 386 6108 0 0 1 0 321 6 18 0 1 0 1020167762 2478080 278 4294967295 134512640 135169312 3220413056 3220409272 3085647598 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/3121/statm: 605 278 235 161 0 44 0
[pid=3127] ppid=3121 vsize=22820 CPUtime=47.8
/proc/3127/stat : 3127 (minisat_static) R 3121 3121 20977 0 -1 4202496 5534 0 0 0 4778 2 0 0 25 0 1 0 1020168090 23367680 5469 4294967295 134512640 135215339 3214144736 3214143024 134528682 0 0 0 3 0 0 0 17 0 0 0 0
/proc/3127/statm: 5705 5469 73 172 0 5532 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 25240
[startup+102.314 s]
/proc/loadavg: 1.02 1.01 1.00 2/95 3530
/proc/meminfo: memFree=416416/2074464 swapFree=1951864/1959888
[pid=3121] ppid=3119 vsize=2420 CPUtime=3.28
/proc/3121/stat : 3121 (SatELiteGTI) S 3119 3121 20977 0 -1 4194304 386 6108 0 0 1 0 321 6 18 0 1 0 1020167762 2478080 278 4294967295 134512640 135169312 3220413056 3220409272 3085647598 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/3121/statm: 605 278 235 161 0 44 0
[pid=3127] ppid=3121 vsize=32120 CPUtime=99.01
/proc/3127/stat : 3127 (minisat_static) R 3121 3121 20977 0 -1 4202496 7846 0 0 0 9894 7 0 0 25 0 1 0 1020168090 32890880 7781 4294967295 134512640 135215339 3214144736 3214143024 134528682 0 0 0 3 0 0 0 17 0 0 0 0
/proc/3127/statm: 8030 7781 73 172 0 7857 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 34540
[startup+162.318 s]
/proc/loadavg: 1.00 1.01 1.00 3/95 3717
/proc/meminfo: memFree=408844/2074464 swapFree=1951864/1959888
[pid=3121] ppid=3119 vsize=2420 CPUtime=3.28
/proc/3121/stat : 3121 (SatELiteGTI) S 3119 3121 20977 0 -1 4194304 386 6108 0 0 1 0 321 6 18 0 1 0 1020167762 2478080 278 4294967295 134512640 135169312 3220413056 3220409272 3085647598 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/3121/statm: 605 278 235 161 0 44 0
[pid=3127] ppid=3121 vsize=40568 CPUtime=159.02
/proc/3127/stat : 3127 (minisat_static) R 3121 3121 20977 0 -1 4202496 9925 0 0 0 15895 7 0 0 25 0 1 0 1020168090 41541632 9860 4294967295 134512640 135215339 3214144736 3214143024 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/3127/statm: 10142 9860 73 172 0 9969 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 42988
[startup+222.312 s]
/proc/loadavg: 1.00 1.00 1.00 3/95 3905
/proc/meminfo: memFree=400164/2074464 swapFree=1951864/1959888
[pid=3121] ppid=3119 vsize=2420 CPUtime=3.28
/proc/3121/stat : 3121 (SatELiteGTI) S 3119 3121 20977 0 -1 4194304 386 6108 0 0 1 0 321 6 18 0 1 0 1020167762 2478080 278 4294967295 134512640 135169312 3220413056 3220409272 3085647598 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/3121/statm: 605 278 235 161 0 44 0
[pid=3127] ppid=3121 vsize=48616 CPUtime=219.02
/proc/3127/stat : 3127 (minisat_static) R 3121 3121 20977 0 -1 4202496 11962 0 0 0 21892 10 0 0 25 0 1 0 1020168090 49782784 11897 4294967295 134512640 135215339 3214144736 3214143008 134525025 0 0 0 3 0 0 0 17 2 0 0 0
/proc/3127/statm: 12154 11897 73 172 0 11981 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 51036
[startup+282.317 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 4098
/proc/meminfo: memFree=392088/2074464 swapFree=1951864/1959888
[pid=3121] ppid=3119 vsize=2420 CPUtime=3.28
/proc/3121/stat : 3121 (SatELiteGTI) S 3119 3121 20977 0 -1 4194304 386 6108 0 0 1 0 321 6 18 0 1 0 1020167762 2478080 278 4294967295 134512640 135169312 3220413056 3220409272 3085647598 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/3121/statm: 605 278 235 161 0 44 0
[pid=3127] ppid=3121 vsize=57296 CPUtime=279.03
/proc/3127/stat : 3127 (minisat_static) R 3121 3121 20977 0 -1 4202496 14053 0 0 0 27891 12 0 0 25 0 1 0 1020168090 58671104 13988 4294967295 134512640 135215339 3214144736 3214143024 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/3127/statm: 14324 13988 73 172 0 14151 0
Current children cumulated CPU time (s) 282.31
Current children cumulated vsize (KiB) 59716
[startup+342.321 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 4287
/proc/meminfo: memFree=385648/2074464 swapFree=1951864/1959888
[pid=3121] ppid=3119 vsize=2420 CPUtime=3.28
/proc/3121/stat : 3121 (SatELiteGTI) S 3119 3121 20977 0 -1 4194304 386 6108 0 0 1 0 321 6 18 0 1 0 1020167762 2478080 278 4294967295 134512640 135169312 3220413056 3220409272 3085647598 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/3121/statm: 605 278 235 161 0 44 0
[pid=3127] ppid=3121 vsize=63476 CPUtime=339.04
/proc/3127/stat : 3127 (minisat_static) R 3121 3121 20977 0 -1 4202496 15594 0 0 0 33889 15 0 0 25 0 1 0 1020168090 64999424 15529 4294967295 134512640 135215339 3214144736 3214143024 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/3127/statm: 15869 15529 73 172 0 15696 0
Current children cumulated CPU time (s) 342.32
################
# More data... #
################
[pid=3127] ppid=3121 vsize=73928 CPUtime=459.04
/proc/3127/stat : 3127 (minisat_static) R 3121 3121 20977 0 -1 4202496 18099 0 0 0 45886 18 0 0 25 0 1 0 1020168090 75702272 18034 4294967295 134512640 135215339 3214144736 3214143024 134528679 0 0 0 3 0 0 0 17 2 0 0 0
/proc/3127/statm: 18482 18034 73 172 0 18309 0
Current children cumulated CPU time (s) 462.32
Current children cumulated vsize (KiB) 76348
[startup+522.313 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 4850
/proc/meminfo: memFree=368948/2074464 swapFree=1951864/1959888
[pid=3121] ppid=3119 vsize=2420 CPUtime=3.28
/proc/3121/stat : 3121 (SatELiteGTI) S 3119 3121 20977 0 -1 4194304 386 6108 0 0 1 0 321 6 18 0 1 0 1020167762 2478080 278 4294967295 134512640 135169312 3220413056 3220409272 3085647598 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/3121/statm: 605 278 235 161 0 44 0
[pid=3127] ppid=3121 vsize=80668 CPUtime=519.05
/proc/3127/stat : 3127 (minisat_static) R 3121 3121 20977 0 -1 4202496 19783 0 0 0 51882 23 0 0 25 0 1 0 1020168090 82604032 19718 4294967295 134512640 135215339 3214144736 3214143024 134528788 0 0 0 3 0 0 0 17 2 0 0 0
/proc/3127/statm: 20167 19718 73 172 0 19994 0
Current children cumulated CPU time (s) 522.33
Current children cumulated vsize (KiB) 83088
[startup+582.317 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 5043
/proc/meminfo: memFree=360368/2074464 swapFree=1951864/1959888
[pid=3121] ppid=3119 vsize=2420 CPUtime=3.28
/proc/3121/stat : 3121 (SatELiteGTI) S 3119 3121 20977 0 -1 4194304 386 6108 0 0 1 0 321 6 18 0 1 0 1020167762 2478080 278 4294967295 134512640 135169312 3220413056 3220409272 3085647598 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/3121/statm: 605 278 235 161 0 44 0
[pid=3127] ppid=3121 vsize=88836 CPUtime=579.06
/proc/3127/stat : 3127 (minisat_static) R 3121 3121 20977 0 -1 4202496 21876 0 0 0 57877 29 0 0 25 0 1 0 1020168090 90968064 21811 4294967295 134512640 135215339 3214144736 3214143024 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/3127/statm: 22209 21811 73 172 0 22036 0
Current children cumulated CPU time (s) 582.34
Current children cumulated vsize (KiB) 91256
[startup+642.321 s]
/proc/loadavg: 1.00 1.00 1.00 3/95 5230
/proc/meminfo: memFree=356896/2074464 swapFree=1951864/1959888
[pid=3121] ppid=3119 vsize=2420 CPUtime=3.28
/proc/3121/stat : 3121 (SatELiteGTI) S 3119 3121 20977 0 -1 4194304 386 6108 0 0 1 0 321 6 18 0 1 0 1020167762 2478080 278 4294967295 134512640 135169312 3220413056 3220409272 3085647598 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/3121/statm: 605 278 235 161 0 44 0
[pid=3127] ppid=3121 vsize=92440 CPUtime=639.07
/proc/3127/stat : 3127 (minisat_static) R 3121 3121 20977 0 -1 4202496 22725 0 0 0 63876 31 0 0 25 0 1 0 1020168090 94658560 22660 4294967295 134512640 135215339 3214144736 3214143024 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/3127/statm: 23110 22660 73 172 0 22937 0
Current children cumulated CPU time (s) 642.35
Current children cumulated vsize (KiB) 94860
[startup+702.315 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 5419
/proc/meminfo: memFree=355168/2074464 swapFree=1951864/1959888
[pid=3121] ppid=3119 vsize=2420 CPUtime=3.28
/proc/3121/stat : 3121 (SatELiteGTI) S 3119 3121 20977 0 -1 4194304 386 6108 0 0 1 0 321 6 18 0 1 0 1020167762 2478080 278 4294967295 134512640 135169312 3220413056 3220409272 3085647598 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/3121/statm: 605 278 235 161 0 44 0
[pid=3127] ppid=3121 vsize=94328 CPUtime=699.07
/proc/3127/stat : 3127 (minisat_static) R 3121 3121 20977 0 -1 4202496 23191 0 0 0 69871 36 0 0 25 0 1 0 1020168090 96591872 23126 4294967295 134512640 135215339 3214144736 3214143024 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/3127/statm: 23582 23126 73 172 0 23409 0
Current children cumulated CPU time (s) 702.35
Current children cumulated vsize (KiB) 96748
[startup+762.309 s]
/proc/loadavg: 1.00 1.00 1.00 3/95 5605
/proc/meminfo: memFree=354928/2074464 swapFree=1951864/1959888
[pid=3121] ppid=3119 vsize=2420 CPUtime=3.28
/proc/3121/stat : 3121 (SatELiteGTI) S 3119 3121 20977 0 -1 4194304 386 6108 0 0 1 0 321 6 18 0 1 0 1020167762 2478080 278 4294967295 134512640 135169312 3220413056 3220409272 3085647598 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/3121/statm: 605 278 235 161 0 44 0
[pid=3127] ppid=3121 vsize=94708 CPUtime=759.07
/proc/3127/stat : 3127 (minisat_static) R 3121 3121 20977 0 -1 4202496 23263 0 0 0 75867 40 0 0 25 0 1 0 1020168090 96980992 23198 4294967295 134512640 135215339 3214144736 3214143024 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/3127/statm: 23677 23198 73 172 0 23504 0
Current children cumulated CPU time (s) 762.35
Current children cumulated vsize (KiB) 97128
[startup+822.314 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 5793
/proc/meminfo: memFree=352160/2074464 swapFree=1951864/1959888
[pid=3121] ppid=3119 vsize=2420 CPUtime=3.28
/proc/3121/stat : 3121 (SatELiteGTI) S 3119 3121 20977 0 -1 4194304 386 6108 0 0 1 0 321 6 18 0 1 0 1020167762 2478080 278 4294967295 134512640 135169312 3220413056 3220409272 3085647598 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/3121/statm: 605 278 235 161 0 44 0
[pid=3127] ppid=3121 vsize=97368 CPUtime=819.08
/proc/3127/stat : 3127 (minisat_static) R 3121 3121 20977 0 -1 4202496 23937 0 0 0 81867 41 0 0 25 0 1 0 1020168090 99704832 23872 4294967295 134512640 135215339 3214144736 3214143024 134528872 0 0 0 3 0 0 0 17 2 0 0 0
/proc/3127/statm: 24342 23872 73 172 0 24169 0
Current children cumulated CPU time (s) 822.36
Current children cumulated vsize (KiB) 99788
[startup+882.308 s]
/proc/loadavg: 1.00 1.00 1.00 3/95 5982
/proc/meminfo: memFree=347488/2074464 swapFree=1951864/1959888
[pid=3121] ppid=3119 vsize=2420 CPUtime=3.28
/proc/3121/stat : 3121 (SatELiteGTI) S 3119 3121 20977 0 -1 4194304 386 6108 0 0 1 0 321 6 18 0 1 0 1020167762 2478080 278 4294967295 134512640 135169312 3220413056 3220409272 3085647598 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/3121/statm: 605 278 235 161 0 44 0
[pid=3127] ppid=3121 vsize=101988 CPUtime=879.08
/proc/3127/stat : 3127 (minisat_static) R 3121 3121 20977 0 -1 4202496 25111 0 0 0 87867 41 0 0 25 0 1 0 1020168090 104435712 25046 4294967295 134512640 135215339 3214144736 3214143024 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/3127/statm: 25497 25046 73 172 0 25324 0
Current children cumulated CPU time (s) 882.36
Current children cumulated vsize (KiB) 104408
[startup+942.312 s]
/proc/loadavg: 1.00 1.00 1.00 3/95 6173
/proc/meminfo: memFree=342256/2074464 swapFree=1951864/1959888
[pid=3121] ppid=3119 vsize=2420 CPUtime=3.28
/proc/3121/stat : 3121 (SatELiteGTI) S 3119 3121 20977 0 -1 4194304 386 6108 0 0 1 0 321 6 18 0 1 0 1020167762 2478080 278 4294967295 134512640 135169312 3220413056 3220409272 3085647598 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/3121/statm: 605 278 235 161 0 44 0
[pid=3127] ppid=3121 vsize=107720 CPUtime=939.09
/proc/3127/stat : 3127 (minisat_static) R 3121 3121 20977 0 -1 4202496 26383 0 0 0 93866 43 0 0 25 0 1 0 1020168090 110305280 26318 4294967295 134512640 135215339 3214144736 3214143024 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/3127/statm: 26930 26318 73 172 0 26757 0
Current children cumulated CPU time (s) 942.37
Current children cumulated vsize (KiB) 110140
[startup+1002.32 s]
/proc/loadavg: 1.00 1.00 1.00 3/95 6362
/proc/meminfo: memFree=336932/2074464 swapFree=1951864/1959888
[pid=3121] ppid=3119 vsize=2420 CPUtime=3.28
/proc/3121/stat : 3121 (SatELiteGTI) S 3119 3121 20977 0 -1 4194304 386 6108 0 0 1 0 321 6 18 0 1 0 1020167762 2478080 278 4294967295 134512640 135169312 3220413056 3220409272 3085647598 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/3121/statm: 605 278 235 161 0 44 0
[pid=3127] ppid=3121 vsize=113276 CPUtime=999.1
/proc/3127/stat : 3127 (minisat_static) R 3121 3121 20977 0 -1 4202496 27750 0 0 0 99859 51 0 0 25 0 1 0 1020168090 115994624 27685 4294967295 134512640 135215339 3214144736 3214143024 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/3127/statm: 28319 27685 73 172 0 28146 0
Current children cumulated CPU time (s) 1002.38
Current children cumulated vsize (KiB) 115696
[startup+1062.32 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 6548
/proc/meminfo: memFree=333180/2074464 swapFree=1951864/1959888
[pid=3121] ppid=3119 vsize=2420 CPUtime=3.28
/proc/3121/stat : 3121 (SatELiteGTI) S 3119 3121 20977 0 -1 4194304 386 6108 0 0 1 0 321 6 18 0 1 0 1020167762 2478080 278 4294967295 134512640 135169312 3220413056 3220409272 3085647598 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/3121/statm: 605 278 235 161 0 44 0
[pid=3127] ppid=3121 vsize=117128 CPUtime=1059.11
/proc/3127/stat : 3127 (minisat_static) R 3121 3121 20977 0 -1 4202496 28691 0 0 0 105852 59 0 0 25 0 1 0 1020168090 119939072 28626 4294967295 134512640 135215339 3214144736 3214143024 134528788 0 0 0 3 0 0 0 17 2 0 0 0
/proc/3127/statm: 29282 28626 73 172 0 29109 0
Current children cumulated CPU time (s) 1062.39
Current children cumulated vsize (KiB) 119548
[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 6736
/proc/meminfo: memFree=329136/2074464 swapFree=1951864/1959888
[pid=3121] ppid=3119 vsize=2420 CPUtime=3.28
/proc/3121/stat : 3121 (SatELiteGTI) S 3119 3121 20977 0 -1 4194304 386 6108 0 0 1 0 321 6 18 0 1 0 1020167762 2478080 278 4294967295 134512640 135169312 3220413056 3220409272 3085647598 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/3121/statm: 605 278 235 161 0 44 0
[pid=3127] ppid=3121 vsize=121156 CPUtime=1119.1
/proc/3127/stat : 3127 (minisat_static) R 3121 3121 20977 0 -1 4202496 29694 0 0 0 111848 62 0 0 25 0 1 0 1020168090 124063744 29629 4294967295 134512640 135215339 3214144736 3214143024 134528814 0 0 0 3 0 0 0 17 2 0 0 0
/proc/3127/statm: 30289 29629 73 172 0 30116 0
Current children cumulated CPU time (s) 1122.38
Current children cumulated vsize (KiB) 123576
[startup+1182.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 6925
/proc/meminfo: memFree=325656/2074464 swapFree=1951864/1959888
[pid=3121] ppid=3119 vsize=2420 CPUtime=3.28
/proc/3121/stat : 3121 (SatELiteGTI) S 3119 3121 20977 0 -1 4194304 386 6108 0 0 1 0 321 6 18 0 1 0 1020167762 2478080 278 4294967295 134512640 135169312 3220413056 3220409272 3085647598 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/3121/statm: 605 278 235 161 0 44 0
[pid=3127] ppid=3121 vsize=124692 CPUtime=1179.11
/proc/3127/stat : 3127 (minisat_static) R 3121 3121 20977 0 -1 4202496 30548 0 0 0 117849 62 0 0 25 0 1 0 1020168090 127684608 30483 4294967295 134512640 135215339 3214144736 3214143024 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/3127/statm: 31173 30483 73 172 0 31000 0
Current children cumulated CPU time (s) 1182.39
Current children cumulated vsize (KiB) 127112
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1200.01 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 6925
/proc/meminfo: memFree=324540/2074464 swapFree=1951864/1959888
[pid=3121] ppid=3119 vsize=2420 CPUtime=3.28
/proc/3121/stat : 3121 (SatELiteGTI) S 3119 3121 20977 0 -1 4194304 386 6108 0 0 1 0 321 6 18 0 1 0 1020167762 2478080 278 4294967295 134512640 135169312 3220413056 3220409272 3085647598 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/3121/statm: 605 278 235 161 0 44 0
[pid=3127] ppid=3121 vsize=125748 CPUtime=1196.81
/proc/3127/stat : 3127 (minisat_static) R 3121 3121 20977 0 -1 4202496 30814 0 0 0 119617 64 0 0 25 0 1 0 1020168090 128765952 30749 4294967295 134512640 135215339 3214144736 3214143024 134528863 0 0 0 3 0 0 0 17 2 0 0 0
/proc/3127/statm: 31437 30749 73 172 0 31264 0
Current children cumulated CPU time (s) 1200.09
Current children cumulated vsize (KiB) 128168
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1200.03
CPU time (s): 1200.1
CPU user time (s): 1199.39
CPU system time (s): 0.71
CPU usage (%): 100.006
Max. virtual memory (cumulated for all children) (KiB): 128168
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1199.39
system time used= 0.71
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 37399
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 16
involuntary context switches= 2958
runsolver used 0.01 second user time and 0.01 second system time
The end
Begin job on tipi10 at 2009-05-17 12:37:47
IDJOB=1821718
IDBENCH=71074
IDSOLVER=657
FILE ID=tipi10/1821718-1242556667
PBS_JOBID=
Free space on /tmp= 3860 MiB
SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT09/APPLICATIONS/satComp09_BioInstances/ndhf_xits_11_UNSAT.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= runsolver --timestamp -w /tmp/evaluation-result-1821718-1242556667/watcher-1821718-1242556667 -o /tmp/evaluation-result-1821718-1242556667/solver-1821718-1242556667 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1821718-1242556667.cnf
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 238f1788225c41f1f5779700e39b5833
RANDOM SEED= 193814291
Linux tipi10 2.6.18 #19 SMP Tue Jun 19 11:27:27 CEST 2007 i686 GNU/Linux
/proc/cpuinfo:
processor : 0
vendor_id : AuthenticAMD
cpu family : 15
model : 33
model name : Dual Core AMD Opteron(tm) Processor 265
stepping : 2
cpu MHz : 1808.367
cache size : 1024 KB
physical id : 0
siblings : 2
core id : 0
cpu cores : 2
fdiv_bug : no
hlt_bug : no
f00f_bug : no
coma_bug : no
fpu : yes
fpu_exception : yes
cpuid level : 1
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt lm 3dnowext 3dnow pni lahf_lm cmp_legacy ts fid vid ttp
bogomips : 3618.37
processor : 1
vendor_id : AuthenticAMD
cpu family : 15
model : 33
model name : Dual Core AMD Opteron(tm) Processor 265
stepping : 2
cpu MHz : 1808.367
cache size : 1024 KB
physical id : 0
siblings : 2
core id : 1
cpu cores : 2
fdiv_bug : no
hlt_bug : no
f00f_bug : no
coma_bug : no
fpu : yes
fpu_exception : yes
cpuid level : 1
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt lm 3dnowext 3dnow pni lahf_lm cmp_legacy ts fid vid ttp
bogomips : 3616.77
processor : 2
vendor_id : AuthenticAMD
cpu family : 15
model : 33
model name : Dual Core AMD Opteron(tm) Processor 265
stepping : 2
cpu MHz : 1808.367
cache size : 1024 KB
physical id : 1
siblings : 2
core id : 0
cpu cores : 2
fdiv_bug : no
hlt_bug : no
f00f_bug : no
coma_bug : no
fpu : yes
fpu_exception : yes
cpuid level : 1
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt lm 3dnowext 3dnow pni lahf_lm cmp_legacy ts fid vid ttp
bogomips : 3616.77
processor : 3
vendor_id : AuthenticAMD
cpu family : 15
model : 33
model name : Dual Core AMD Opteron(tm) Processor 265
stepping : 2
cpu MHz : 1808.367
cache size : 1024 KB
physical id : 1
siblings : 2
core id : 1
cpu cores : 2
fdiv_bug : no
hlt_bug : no
f00f_bug : no
coma_bug : no
fpu : yes
fpu_exception : yes
cpuid level : 1
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt lm 3dnowext 3dnow pni lahf_lm cmp_legacy ts fid vid ttp
bogomips : 3616.77
/proc/meminfo:
MemTotal: 2074464 kB
MemFree: 453188 kB
Buffers: 44608 kB
Cached: 1441712 kB
SwapCached: 2732 kB
Active: 606728 kB
Inactive: 889496 kB
HighTotal: 1178688 kB
HighFree: 118184 kB
LowTotal: 895776 kB
LowFree: 335004 kB
SwapTotal: 1959888 kB
SwapFree: 1951864 kB
Dirty: 5060 kB
Writeback: 0 kB
AnonPages: 9528 kB
Mapped: 3256 kB
Slab: 115268 kB
PageTables: 504 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 2997120 kB
Committed_AS: 90588 kB
VmallocTotal: 114680 kB
VmallocUsed: 1324 kB
VmallocChunk: 113264 kB
Free space on /tmp at the end= 3859 MiB
End job on tipi10 at 2009-05-17 12:57:49