0.00/0.00 c Parsing...
2.71/2.71 c ==============================================================================
2.71/2.71 c | | ORIGINAL | LEARNT | |
2.71/2.71 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress |
2.71/2.71 c ==============================================================================
2.71/2.71 c | 0 | 3230737 9429251 | 969221 0 0 nan | 0.000 % |
31.02/31.03 c | 0 | 3193200 9687142 | -- 0 -- -- | -- | -37507/257956
31.02/31.03 c ==============================================================================
31.02/31.03 c Result : #vars: 136989 #clauses: 3193200 #literals: 9687142
31.02/31.03 c CPU time: 30.35 s
31.02/31.03 c ==============================================================================
34.23/34.38 c This is MiniSat 2.0 beta
34.23/34.38 c WARNING: for repeatability, setting FPU to use double precision
34.23/34.38 c ============================[ Problem Statistics ]=============================
34.23/34.38 c | |
34.23/34.39 c | Number of variables: 136989 |
34.23/34.39 c | Number of clauses: 3193200 |
36.23/36.36 c | Parsing time: 1.81 s |
36.33/36.50 c ============================[ Search Statistics ]==============================
36.33/36.50 c | Conflicts | ORIGINAL | LEARNT | Progress |
36.33/36.50 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
36.33/36.50 c ===============================================================================
36.33/36.50 c | 0 | 136989 3193200 9687142 | 1064400 0 nan | 0.000 % |
37.03/37.13 c | 100 | 136989 3193200 9687142 | 1064400 100 41 | 0.000 % |
37.23/37.33 c | 202 | 136989 3193200 9687142 | 1064400 202 48 | 0.000 % |
37.53/37.66 c | 303 | 136989 3193200 9687142 | 1064400 303 50 | 0.000 % |
37.83/37.91 c | 414 | 136989 3193200 9687142 | 1064400 414 43 | 0.000 % |
38.03/38.14 c | 514 | 136989 3193200 9687142 | 1064400 514 39 | 0.000 % |
38.43/38.52 c | 624 | 136989 3193200 9687142 | 1064400 624 39 | 0.000 % |
39.13/39.23 c | 745 | 136989 3193200 9687142 | 1064400 745 35 | 0.000 % |
39.43/39.59 c | 846 | 136989 3193200 9687142 | 1064400 846 36 | 0.000 % |
39.53/39.70 c | 957 | 136989 3193200 9687142 | 1064400 957 37 | 0.000 % |
39.73/39.87 c | 1078 | 136989 3193200 9687142 | 1064400 1078 36 | 0.000 % |
39.83/39.98 c | 1212 | 136989 3193200 9687142 | 1064400 1212 36 | 0.000 % |
39.93/40.10 c | 1313 | 136989 3193200 9687142 | 1064400 1313 36 | 0.000 % |
40.33/40.47 c | 1424 | 136989 3193200 9687142 | 1064400 1424 36 | 0.000 % |
40.53/40.67 c | 1547 | 136989 3193200 9687142 | 1064400 1547 35 | 0.000 % |
40.93/41.02 c | 1681 | 136989 3193200 9687142 | 1064400 1681 34 | 0.000 % |
40.93/41.08 c | 1827 | 136989 3193200 9687142 | 1064400 1827 34 | 0.000 % |
41.13/41.25 c | 1930 | 136989 3193200 9687142 | 1064400 1930 36 | 0.000 % |
41.33/41.45 c | 2041 | 136989 3193200 9687142 | 1064400 2041 37 | 0.000 % |
41.83/41.93 c | 2163 | 136989 3193200 9687142 | 1064400 2163 36 | 0.000 % |
41.93/42.05 c | 2296 | 136989 3193200 9687142 | 1064400 2296 38 | 0.000 % |
42.53/42.70 c | 2442 | 136989 3193200 9687142 | 1064400 2442 37 | 0.000 % |
43.13/43.24 c | 2602 | 136989 3193200 9687142 | 1064400 2602 37 | 0.000 % |
43.23/43.31 c | 2704 | 136989 3193200 9687142 | 1064400 2704 37 | 0.000 % |
43.43/43.56 c | 2814 | 136989 3193200 9687142 | 1064400 2814 37 | 0.000 % |
43.93/44.07 c | 2936 | 136989 3193200 9687142 | 1064400 2936 36 | 0.000 % |
44.23/44.35 c | 3069 | 136989 3193200 9687142 | 1064400 3069 35 | 0.000 % |
44.53/44.71 c | 3215 | 136989 3193200 9687142 | 1064400 3215 35 | 0.000 % |
44.93/45.03 c | 3377 | 136989 3193200 9687142 | 1064400 3377 36 | 0.000 % |
45.23/45.38 c | 3554 | 136989 3193200 9687142 | 1064400 3554 37 | 0.000 % |
45.83/45.91 c | 3654 | 136989 3193200 9687142 | 1064400 3654 37 | 0.000 % |
45.93/46.05 c | 3765 | 136989 3193200 9687142 | 1064400 3765 36 | 0.000 % |
46.33/46.47 c | 3886 | 136989 3193200 9687142 | 1064400 3886 36 | 0.000 % |
46.93/47.09 c | 4020 | 136989 3193200 9687142 | 1064400 4020 36 | 0.000 % |
47.13/47.29 c | 4166 | 136989 3193200 9687142 | 1064400 4166 36 | 0.000 % |
47.63/47.78 c | 4328 | 136989 3193200 9687142 | 1064400 4328 36 | 0.000 % |
47.83/47.98 c | 4504 | 136989 3193200 9687142 | 1064400 4504 36 | 0.000 % |
48.13/48.28 c | 4697 | 136989 3193200 9687142 | 1064400 4697 35 | 0.000 % |
48.43/48.57 c | 4797 | 136989 3193200 9687142 | 1064400 4797 35 | 0.000 % |
48.83/48.95 c | 4908 | 136989 3193200 9687142 | 1064400 4908 35 | 0.000 % |
49.23/49.32 c | 5032 | 136989 3193200 9687142 | 1064400 5032 35 | 0.000 % |
49.63/49.75 c | 5170 | 136989 3193200 9687142 | 1064400 5170 35 | 0.000 % |
50.33/50.49 c | 5321 | 136989 3193200 9687142 | 1064400 5321 35 | 0.000 % |
50.63/50.73 c | 5481 | 136989 3193200 9687142 | 1064400 5481 35 | 0.000 % |
50.93/51.02 c | 5657 | 136989 3193200 9687142 | 1064400 5657 35 | 0.000 % |
51.03/51.18 c | 5850 | 136989 3193200 9687142 | 1064400 5850 35 | 0.000 % |
51.33/51.48 c | 6062 | 136989 3193200 9687142 | 1064400 6062 36 | 0.000 % |
51.63/51.75 c | 6162 | 136989 3193200 9687142 | 1064400 6162 35 | 0.000 % |
51.93/52.04 c | 6276 | 136989 3193200 9687142 | 1064400 6276 36 | 0.000 % |
52.03/52.11 c | 6398 | 136989 3193200 9687142 | 1064400 6398 36 | 0.000 % |
52.23/52.39 c | 6532 | 136989 3193200 9687142 | 1064400 6532 36 | 0.000 % |
52.63/52.78 c | 6679 | 136989 3193200 9687142 | 1064400 6679 36 | 0.000 % |
53.03/53.16 c | 6839 | 136989 3193200 9687142 | 1064400 6839 35 | 0.000 % |
53.23/53.33 c | 7016 | 136989 3193200 9687142 | 1064400 7016 36 | 0.000 % |
54.23/54.37 c | 7210 | 136989 3193200 9687142 | 1064400 7210 36 | 0.000 % |
54.43/54.52 c | 7423 | 136989 3193200 9687142 | 1064400 7423 37 | 0.000 % |
55.13/55.22 c | 7658 | 136989 3193200 9687142 | 1064400 7658 36 | 0.000 % |
55.43/55.52 c | 7759 | 136989 3193200 9687142 | 1064400 7759 36 | 0.000 % |
55.53/55.68 c | 7869 | 136989 3193200 9687142 | 1064400 7869 36 | 0.000 % |
55.93/56.09 c | 7990 | 136989 3193200 9687142 | 1064400 7990 36 | 0.000 % |
56.13/56.27 c | 8127 | 136989 3193200 9687142 | 1064400 8127 36 | 0.000 % |
56.63/56.76 c | 8274 | 136989 3193200 9687142 | 1064400 8274 36 | 0.000 % |
57.23/57.31 c | 8434 | 136988 3193189 9687120 | 1064400 8433 37 | 0.001 % |
57.43/57.55 c | 8611 | 136988 3193189 9687120 | 1064400 8610 37 | 0.001 % |
57.83/57.95 c | 8808 | 136988 3193189 9687120 | 1064400 8807 37 | 0.001 % |
58.23/58.34 c | 9020 | 136988 3193189 9687120 | 1064400 9019 37 | 0.001 % |
58.43/58.53 c | 9253 | 136988 3193189 9687120 | 1064400 9252 37 | 0.001 % |
58.93/59.01 c | 9509 | 136988 3193189 9687120 | 1064400 9508 37 | 0.001 % |
58.93/59.06 c | 9610 | 136988 3193189 9687120 | 1064400 9609 37 | 0.001 % |
59.03/59.20 c | 9720 | 136988 3193189 9687120 | 1064400 9719 37 | 0.001 % |
59.23/59.34 c | 9841 | 136988 3193189 9687120 | 1064400 9840 37 | 0.001 % |
59.33/59.42 c | 9974 | 136988 3193189 9687120 | 1064400 9973 37 | 0.001 % |
59.43/59.54 c | 10124 | 136988 3193189 9687120 | 2147483647 10123 37 | 0.001 % |
59.63/59.79 c | 10285 | 136988 3193189 9687120 | 2147483647 10284 37 | 0.001 % |
59.73/59.87 c | 10462 | 136988 3193189 9687120 | 2147483647 10461 37 | 0.001 % |
60.23/60.31 c | 10655 | 136988 3193189 9687120 | 2147483647 10654 37 | 0.001 % |
60.63/60.76 c | 10867 | 136988 3193189 9687120 | 2147483647 10866 39 | 0.001 % |
60.93/61.04 c | 11100 | 136988 3193189 9687120 | 2147483647 11099 39 | 0.001 % |
61.53/61.65 c | 11356 | 136988 3193189 9687120 | 2147483647 11355 38 | 0.001 % |
62.73/62.82 c | 11637 | 136988 3193189 9687120 | 2147483647 11636 38 | 0.001 % |
62.83/62.92 c | 11738 | 136988 3193189 9687120 | 2147483647 11737 38 | 0.001 % |
63.23/63.35 c | 11851 | 136988 3193189 9687120 | 2147483647 11850 38 | 0.001 % |
63.53/63.67 c | 11973 | 136988 3193189 9687120 | 2147483647 11972 39 | 0.001 % |
63.63/63.80 c | 12107 | 136988 3193189 9687120 | 2147483647 12106 39 | 0.001 % |
64.43/64.53 c | 12253 | 136988 3193189 9687120 | 2147483647 12252 39 | 0.001 % |
64.53/64.66 c | 12414 | 136988 3193189 9687120 | 2147483647 12413 39 | 0.001 % |
64.84/64.92 c | 12592 | 136988 3193189 9687120 | 2147483647 12591 39 | 0.001 % |
65.13/65.30 c | 12786 | 136988 3193189 9687120 | 2147483647 12785 39 | 0.001 % |
65.43/65.52 c | 12999 | 136988 3193189 9687120 | 2147483647 12998 39 | 0.001 % |
65.73/65.89 c | 13233 | 136988 3193189 9687120 | 2147483647 13232 39 | 0.001 % |
65.94/66.09 c | 13489 | 136988 3193189 9687120 | 2147483647 13488 39 | 0.001 % |
66.23/66.34 c | 13771 | 136988 3193189 9687120 | 2147483647 13770 39 | 0.001 % |
66.53/66.65 c | 14083 | 136988 3193189 9687120 | 2147483647 14082 39 | 0.001 % |
66.83/66.98 c | 14184 | 136988 3193189 9687120 | 2147483647 14183 39 | 0.001 % |
67.04/67.18 c | 14297 | 136988 3193189 9687120 | 2147483647 14296 39 | 0.001 % |
67.33/67.43 c | 14420 | 136988 3193189 9687120 | 2147483647 14419 39 | 0.001 % |
67.43/67.52 c | 14556 | 136988 3193189 9687120 | 2147483647 14555 39 | 0.001 % |
68.03/68.18 c | 14703 | 136988 3193189 9687120 | 2147483647 14702 39 | 0.001 % |
68.33/68.50 c | 14866 | 136988 3193189 9687120 | 2147483647 14865 39 | 0.001 % |
68.63/68.78 c | 15042 | 136988 3193189 9687120 | 2147483647 15041 39 | 0.001 % |
69.03/69.16 c | 15237 | 136988 3193189 9687120 | 2147483647 15236 39 | 0.001 % |
69.43/69.51 c | 15449 | 136988 3193189 9687120 | 2147483647 15448 39 | 0.001 % |
69.73/69.85 c | 15682 | 136988 3193189 9687120 | 2147483647 15681 40 | 0.001 % |
69.93/70.02 c | 15939 | 136988 3193189 9687120 | 2147483647 15938 40 | 0.001 % |
70.34/70.48 c | 16220 | 136988 3193189 9687120 | 2147483647 16219 41 | 0.001 % |
70.83/70.92 c | 16531 | 136988 3193189 9687120 | 2147483647 16530 41 | 0.001 % |
72.13/72.29 c | 16870 | 136988 3193189 9687120 | 2147483647 16869 41 | 0.001 % |
72.33/72.47 c | 16975 | 136988 3193189 9687120 | 2147483647 16974 41 | 0.001 % |
72.63/72.76 c | 17085 | 136988 3193189 9687120 | 2147483647 17084 41 | 0.001 % |
72.93/73.08 c | 17208 | 136988 3193189 9687120 | 2147483647 17207 41 | 0.001 % |
73.64/73.75 c | 17341 | 136988 3193189 9687120 | 2147483647 17340 41 | 0.001 % |
74.03/74.17 c | 17488 | 136988 3193189 9687120 | 2147483647 17487 41 | 0.001 % |
74.33/74.48 c | 17654 | 136988 3193189 9687120 | 2147483647 17653 41 | 0.001 % |
74.83/74.92 c | 17830 | 136988 3193189 9687120 | 2147483647 17829 41 | 0.001 % |
75.03/75.12 c | 18024 | 136988 3193189 9687120 | 2147483647 18023 41 | 0.001 % |
75.33/75.48 c | 18237 | 136988 3193189 9687120 | 2147483647 18236 41 | 0.001 % |
76.03/76.11 c | 18470 | 136988 3193189 9687120 | 2147483647 18469 41 | 0.001 % |
76.73/76.86 c | 18727 | 136988 3193189 9687120 | 2147483647 18726 41 | 0.001 % |
76.94/77.05 c | 19008 | 136988 3193189 9687120 | 2147483647 19007 41 | 0.001 % |
77.53/77.69 c | 19317 | 136988 3193189 9687120 | 2147483647 19316 41 | 0.001 % |
78.33/78.45 c | 19656 | 136988 3193189 9687120 | 2147483647 19655 41 | 0.001 % |
78.53/78.62 c | 20028 | 136988 3193189 9687120 | 2147483647 20027 42 | 0.001 % |
79.14/79.23 c | 20128 | 136988 3193189 9687120 | 2147483647 20127 42 | 0.001 % |
79.93/80.02 c | 20238 | 136988 3193189 9687120 | 2147483647 20237 41 | 0.001 % |
80.33/80.48 c | 20359 | 136988 3193189 9687120 | 2147483647 20358 41 | 0.001 % |
80.73/80.86 c | 20493 | 136988 3193189 9687120 | 2147483647 20492 41 | 0.001 % |
81.43/81.53 c | 20639 | 136988 3193189 9687120 | 2147483647 20638 41 | 0.001 % |
81.53/81.66 c | 20802 | 136988 3193189 9687120 | 2147483647 20801 41 | 0.001 % |
82.13/82.23 c | 20983 | 136988 3193189 9687120 | 2147483647 20982 41 | 0.001 % |
82.73/82.86 c | 21176 | 136988 3193189 9687120 | 2147483647 21175 41 | 0.001 % |
83.23/83.33 c | 21388 | 136988 3193189 9687120 | 2147483647 21387 41 | 0.001 % |
83.43/83.58 c | 21621 | 136988 3193189 9687120 | 2147483647 21620 41 | 0.001 % |
83.73/83.90 c | 21877 | 136988 3193189 9687120 | 2147483647 21876 41 | 0.001 % |
84.13/84.30 c | 22158 | 136988 3193189 9687120 | 2147483647 22157 41 | 0.001 % |
84.53/84.66 c | 22468 | 136988 3193189 9687120 | 2147483647 22467 41 | 0.001 % |
84.93/85.03 c | 22807 | 136988 3193189 9687120 | 2147483647 22806 41 | 0.001 % |
85.13/85.26 c | 23179 | 136988 3193189 9687120 | 2147483647 23178 42 | 0.001 % |
85.53/85.64 c | 23589 | 136988 3193189 9687120 | 2147483647 23588 43 | 0.001 % |
86.13/86.27 c | 23689 | 136988 3193189 9687120 | 2147483647 23688 43 | 0.001 % |
86.63/86.76 c | 23799 | 136988 3193189 9687120 | 2147483647 23798 43 | 0.001 % |
86.84/86.92 c | 23920 | 136988 3193189 9687120 | 2147483647 23919 43 | 0.001 % |
87.33/87.43 c | 24055 | 136988 3193189 9687120 | 2147483647 24054 43 | 0.001 % |
87.73/87.90 c | 24201 | 136988 3193189 9687120 | 2147483647 24200 43 | 0.001 % |
88.53/88.61 c | 24362 | 136988 3193189 9687120 | 2147483647 24361 43 | 0.001 % |
88.83/88.93 c | 24538 | 136988 3193189 9687120 | 2147483647 24537 43 | 0.001 % |
89.33/89.48 c | 24731 | 136988 3193189 9687120 | 2147483647 24730 43 | 0.001 % |
89.83/89.97 c | 24943 | 136988 3193189 9687120 | 2147483647 24942 43 | 0.001 % |
90.33/90.45 c | 25179 | 136988 3193189 9687120 | 2147483647 25178 43 | 0.001 % |
91.03/91.12 c | 25437 | 136988 3193189 9687120 | 2147483647 25436 43 | 0.001 % |
91.43/91.59 c | 25718 | 136988 3193189 9687120 | 2147483647 25717 43 | 0.001 % |
91.93/92.03 c | 26029 | 136988 3193189 9687120 | 2147483647 26028 43 | 0.001 % |
92.63/92.74 c | 26368 | 136988 3193189 9687120 | 2147483647 26367 44 | 0.001 % |
93.13/93.25 c | 26741 | 136988 3193189 9687120 | 2147483647 26740 44 | 0.001 % |
93.53/93.69 c | 27150 | 136988 3193189 9687120 | 2147483647 27149 43 | 0.001 % |
93.83/93.99 c | 27599 | 136988 3193189 9687120 | 2147483647 27598 43 | 0.001 % |
94.03/94.16 c | 27699 | 136988 3193189 9687120 | 2147483647 27698 43 | 0.001 % |
94.43/94.51 c | 27812 | 136988 3193189 9687120 | 2147483647 27811 43 | 0.001 % |
94.63/94.80 c | 27935 | 136988 3193189 9687120 | 2147483647 27934 44 | 0.001 % |
94.93/95.01 c | 28068 | 136988 3193189 9687120 | 2147483647 28067 44 | 0.001 % |
95.23/95.32 c | 28214 | 136988 3193189 9687120 | 2147483647 28213 44 | 0.001 % |
95.33/95.47 c | 28374 | 136988 3193189 9687120 | 2147483647 28373 44 | 0.001 % |
95.64/95.78 c | 28550 | 136988 3193189 9687120 | 2147483647 28549 44 | 0.001 % |
96.43/96.55 c | 28745 | 136988 3193189 9687120 | 2147483647 28744 44 | 0.001 % |
96.63/96.78 c | 28959 | 136988 3193189 9687120 | 2147483647 28958 44 | 0.001 % |
96.83/96.91 c | 29194 | 136988 3193189 9687120 | 2147483647 29193 44 | 0.001 % |
97.03/97.15 c | 29450 | 136988 3193189 9687120 | 2147483647 29449 44 | 0.001 % |
97.43/97.60 c | 29731 | 136988 3193189 9687120 | 2147483647 29730 44 | 0.001 % |
97.84/97.91 c | 30040 | 136988 3193189 9687120 | 2147483647 30039 44 | 0.001 % |
98.24/98.37 c | 30380 | 136988 3193189 9687120 | 2147483647 30379 44 | 0.001 % |
98.74/98.85 c | 30755 | 136988 3193189 9687120 | 2147483647 30754 44 | 0.001 % |
99.24/99.40 c | 31164 | 136988 3193189 9687120 | 2147483647 31163 44 | 0.001 % |
99.74/99.87 c | 31613 | 136988 3193189 9687120 | 2147483647 31612 45 | 0.001 % |
100.24/100.36 c | 32107 | 136988 3193189 9687120 | 2147483647 32106 45 | 0.001 % |
100.44/100.52 c | 32207 | 136988 3193189 9687120 | 2147483647 32206 45 | 0.001 % |
100.54/100.68 c | 32318 | 136988 3193189 9687120 | 2147483647 32317 45 | 0.001 % |
100.74/100.88 c | 32441 | 136988 3193189 9687120 | 2147483647 32440 45 | 0.001 % |
101.04/101.18 c | 32577 | 136988 3193189 9687120 | 2147483647 32576 45 | 0.001 % |
101.44/101.55 c | 32724 | 136988 3193189 9687120 | 2147483647 32723 45 | 0.001 % |
101.64/101.78 c | 32884 | 136988 3193189 9687120 | 2147483647 32883 45 | 0.001 % |
101.94/102.06 c | 33061 | 136988 3193189 9687120 | 2147483647 33060 45 | 0.001 % |
102.64/102.75 c | 33254 | 136988 3193189 9687120 | 2147483647 33253 45 | 0.001 % |
102.94/103.01 c | 33468 | 136988 3193189 9687120 | 2147483647 33467 45 | 0.001 % |
103.14/103.28 c | 33703 | 136988 3193189 9687120 | 2147483647 33702 45 | 0.001 % |
103.64/103.73 c | 33960 | 136988 3193189 9687120 | 2147483647 33959 45 | 0.001 % |
103.84/104.00 c | 34241 | 136988 3193189 9687120 | 2147483647 34240 45 | 0.001 % |
104.54/104.67 c | 34550 | 136988 3193189 9687120 | 2147483647 34549 45 | 0.001 % |
105.04/105.20 c | 34889 | 136988 3193189 9687120 | 2147483647 34888 45 | 0.001 % |
105.64/105.75 c | 35261 | 136988 3193189 9687120 | 2147483647 35260 45 | 0.001 % |
106.24/106.33 c | 35670 | 136988 3193189 9687120 | 2147483647 35669 46 | 0.001 % |
107.04/107.16 c | 36120 | 136988 3193189 9687120 | 2147483647 36119 46 | 0.001 % |
108.04/108.13 c | 36613 | 136988 3193189 9687120 | 2147483647 36612 46 | 0.001 % |
108.94/109.02 c | 37156 | 136988 3193189 9687120 | 2147483647 37155 46 | 0.001 % |
109.04/109.18 c | 37260 | 136988 3193189 9687120 | 2147483647 37259 47 | 0.001 % |
109.24/109.35 c | 37370 | 136988 3193189 9687120 | 2147483647 37369 47 | 0.001 % |
109.54/109.63 c | 37492 | 136988 3193189 9687120 | 2147483647 37491 47 | 0.001 % |
109.64/109.79 c | 37625 | 136988 3193189 9687120 | 2147483647 37624 47 | 0.001 % |
109.84/109.97 c | 37772 | 136988 3193189 9687120 | 2147483647 37771 47 | 0.001 % |
110.04/110.20 c | 37932 | 136988 3193189 9687120 | 2147483647 37931 47 | 0.001 % |
110.44/110.52 c | 38108 | 136988 3193189 9687120 | 2147483647 38107 47 | 0.001 % |
110.74/110.81 c | 38303 | 136988 3193189 9687120 | 2147483647 38302 47 | 0.001 % |
111.04/111.20 c | 38516 | 136988 3193189 9687120 | 2147483647 38515 47 | 0.001 % |
111.64/111.79 c | 38749 | 136988 3193189 9687120 | 2147483647 38748 47 | 0.001 % |
111.94/112.09 c | 39005 | 136988 3193189 9687120 | 2147483647 39004 47 | 0.001 % |
112.54/112.67 c | 39289 | 136988 3193189 9687120 | 2147483647 39288 48 | 0.001 % |
112.94/113.07 c | 39600 | 136988 3193189 9687120 | 2147483647 39599 47 | 0.001 % |
113.44/113.60 c | 39939 | 136988 3193189 9687120 | 2147483647 39938 48 | 0.001 % |
113.84/113.96 c | 40313 | 136988 3193189 9687120 | 2147483647 40312 48 | 0.001 % |
114.34/114.42 c | 40725 | 136988 3193189 9687120 | 2147483647 40724 48 | 0.001 % |
115.04/115.17 c | 41174 | 136988 3193189 9687120 | 2147483647 41173 48 | 0.001 % |
115.34/115.48 c | 41669 | 136988 3193189 9687120 | 2147483647 41668 48 | 0.001 % |
116.24/116.37 c | 42211 | 136988 3193189 9687120 | 2147483647 42210 49 | 0.001 % |
117.14/117.22 c | 42807 | 136988 3193189 9687120 | 2147483647 42806 49 | 0.001 % |
117.34/117.50 c | 42908 | 136988 3193189 9687120 | 2147483647 42907 49 | 0.001 % |
117.54/117.63 c | 43020 | 136988 3193189 9687120 | 2147483647 43019 49 | 0.001 % |
117.94/118.01 c | 43141 | 136988 3193189 9687120 | 2147483647 43140 49 | 0.001 % |
118.04/118.15 c | 43275 | 136988 3193189 9687120 | 2147483647 43274 49 | 0.001 % |
118.74/118.85 c | 43422 | 136988 3193189 9687120 | 2147483647 43421 49 | 0.001 % |
118.94/119.08 c | 43582 | 136988 3193189 9687120 | 2147483647 43581 48 | 0.001 % |
119.64/119.74 c | 43758 | 136988 3193189 9687120 | 2147483647 43757 48 | 0.001 % |
120.04/120.14 c | 43951 | 136988 3193189 9687120 | 2147483647 43950 48 | 0.001 % |
120.14/120.27 c | 44163 | 136988 3193189 9687120 | 2147483647 44162 48 | 0.001 % |
120.34/120.51 c | 44396 | 136988 3193189 9687120 | 2147483647 44395 48 | 0.001 % |
120.94/121.11 c | 44652 | 136988 3193189 9687120 | 2147483647 44651 48 | 0.001 % |
121.34/121.41 c | 44933 | 136988 3193189 9687120 | 2147483647 44932 48 | 0.001 % |
121.94/122.06 c | 45247 | 136988 3193189 9687120 | 2147483647 45246 48 | 0.001 % |
122.54/122.62 c | 45586 | 136988 3193189 9687120 | 2147483647 45585 48 | 0.001 % |
123.14/123.22 c | 45958 | 136988 3193189 9687120 | 2147483647 45957 49 | 0.001 % |
123.24/123.38 c | 46367 | 136988 3193189 9687120 | 2147483647 46366 49 | 0.001 % |
123.74/123.82 c | 46816 | 136988 3193189 9687120 | 2147483647 46815 49 | 0.001 % |
123.94/124.06 c | 47309 | 136988 3193189 9687120 | 2147483647 47308 49 | 0.001 % |
124.94/125.01 c | 47853 | 136988 3193189 9687120 | 2147483647 47852 49 | 0.001 % |
125.84/125.96 c | 48450 | 136988 3193189 9687120 | 2147483647 48449 49 | 0.001 % |
126.24/126.38 c | 49105 | 136988 3193189 9687120 | 2147483647 49104 50 | 0.001 % |
126.44/126.53 c | 49205 | 136988 3193189 9687120 | 2147483647 49204 50 | 0.001 % |
126.64/126.72 c | 49315 | 136988 3193189 9687120 | 2147483647 49314 51 | 0.001 % |
126.84/126.99 c | 49438 | 136988 3193189 9687120 | 2147483647 49437 51 | 0.001 % |
127.24/127.34 c | 49572 | 136988 3193189 9687120 | 2147483647 49571 51 | 0.001 % |
127.64/127.74 c | 49719 | 136988 3193189 9687120 | 2147483647 49718 51 | 0.001 % |
127.84/127.93 c | 49881 | 136988 3193189 9687120 | 2147483647 49880 51 | 0.001 % |
128.24/128.36 c | 50059 | 136988 3193189 9687120 | 2147483647 50058 51 | 0.001 % |
128.84/128.96 c | 50253 | 136988 3193189 9687120 | 2147483647 50252 51 | 0.001 % |
129.14/129.28 c | 50468 | 136988 3193189 9687120 | 2147483647 50467 51 | 0.001 % |
129.34/129.45 c | 50701 | 136988 3193189 9687120 | 2147483647 50700 52 | 0.001 % |
130.24/130.33 c | 50957 | 136988 3193189 9687120 | 2147483647 50956 51 | 0.001 % |
130.94/131.09 c | 51238 | 136988 3193189 9687120 | 2147483647 51237 51 | 0.001 % |
131.34/131.45 c | 51547 | 136988 3193189 9687120 | 2147483647 51546 52 | 0.001 % |
131.94/132.02 c | 51887 | 136988 3193189 9687120 | 2147483647 51886 51 | 0.001 % |
132.34/132.45 c | 52265 | 136988 3193189 9687120 | 2147483647 52264 51 | 0.001 % |
132.94/133.04 c | 52675 | 136988 3193189 9687120 | 2147483647 52674 51 | 0.001 % |
133.44/133.58 c | 53124 | 136988 3193189 9687120 | 2147483647 53123 52 | 0.001 % |
134.54/134.61 c | 53617 | 136988 3193189 9687120 | 2147483647 53616 52 | 0.001 % |
134.94/135.11 c | 54160 | 136988 3193189 9687120 | 2147483647 54159 52 | 0.001 % |
135.74/135.91 c | 54758 | 136988 3193189 9687120 | 2147483647 54757 52 | 0.001 % |
136.14/136.29 c | 55417 | 136988 3193189 9687120 | 2147483647 55416 52 | 0.001 % |
137.24/137.35 c | 56137 | 136988 3193189 9687120 | 2147483647 56136 52 | 0.001 % |
137.44/137.61 c | 56237 | 136988 3193189 9687120 | 2147483647 56236 52 | 0.001 % |
137.64/137.72 c | 56347 | 136988 3193189 9687120 | 2147483647 56346 52 | 0.001 % |
137.84/137.95 c | 56468 | 136988 3193189 9687120 | 2147483647 56467 52 | 0.001 % |
138.04/138.14 c | 56603 | 136988 3193189 9687120 | 2147483647 56602 52 | 0.001 % |
138.24/138.37 c | 56755 | 136988 3193189 9687120 | 2147483647 56754 52 | 0.001 % |
138.44/138.58 c | 56915 | 136988 3193189 9687120 | 2147483647 56914 52 | 0.001 % |
138.64/138.73 c | 57093 | 136988 3193189 9687120 | 2147483647 57092 52 | 0.001 % |
138.84/138.94 c | 57288 | 136988 3193189 9687120 | 2147483647 57287 52 | 0.001 % |
139.24/139.34 c | 57500 | 136988 3193189 9687120 | 2147483647 57499 52 | 0.001 % |
139.94/140.11 c | 57733 | 136988 3193189 9687120 | 2147483647 57732 53 | 0.001 % |
140.14/140.22 c | 57989 | 136988 3193189 9687120 | 2147483647 57988 53 | 0.001 % |
141.24/141.31 c | 58271 | 136988 3193189 9687120 | 2147483647 58270 52 | 0.001 % |
141.74/141.87 c | 58580 | 136988 3193189 9687120 | 2147483647 58579 53 | 0.001 % |
142.24/142.36 c | 58920 | 136988 3193189 9687120 | 2147483647 58919 52 | 0.001 % |
142.54/142.67 c | 59292 | 136988 3193189 9687120 | 2147483647 59291 52 | 0.001 % |
143.14/143.21 c | 59701 | 136988 3193189 9687120 | 2147483647 59700 52 | 0.001 % |
143.54/143.70 c | 60150 | 136988 3193189 9687120 | 2147483647 60149 53 | 0.001 % |
143.84/143.92 c | 60643 | 136988 3193189 9687120 | 2147483647 60642 53 | 0.001 % |
144.44/144.51 c | 61185 | 136988 3193189 9687120 | 2147483647 61184 53 | 0.001 % |
144.94/145.07 c | 61781 | 136988 3193189 9687120 | 2147483647 61780 53 | 0.001 % |
146.44/146.53 c | 62436 | 136988 3193189 9687120 | 2147483647 62435 53 | 0.001 % |
146.94/147.04 c | 63157 | 136988 3193189 9687120 | 2147483647 63156 53 | 0.001 % |
147.44/147.53 c | 63949 | 136988 3193189 9687120 | 2147483647 63948 54 | 0.001 % |
147.54/147.61 c | 64052 | 136988 3193189 9687120 | 2147483647 64051 54 | 0.001 % |
147.64/147.76 c | 64163 | 136988 3193189 9687120 | 2147483647 64162 54 | 0.001 % |
148.14/148.28 c | 64284 | 136988 3193189 9687120 | 2147483647 64283 54 | 0.001 % |
148.34/148.51 c | 64417 | 136988 3193189 9687120 | 2147483647 64416 54 | 0.001 % |
148.64/148.72 c | 64563 | 136988 3193189 9687120 | 2147483647 64562 54 | 0.001 % |
148.74/148.89 c | 64723 | 136988 3193189 9687120 | 2147483647 64722 54 | 0.001 % |
149.24/149.40 c | 64899 | 136988 3193189 9687120 | 2147483647 64898 54 | 0.001 % |
149.44/149.55 c | 65093 | 136988 3193189 9687120 | 2147483647 65092 54 | 0.001 % |
149.74/149.85 c | 65305 | 136988 3193189 9687120 | 2147483647 65304 54 | 0.001 % |
150.24/150.31 c | 65538 | 136988 3193189 9687120 | 2147483647 65537 54 | 0.001 % |
150.65/150.75 c | 65797 | 136988 3193189 9687120 | 2147483647 65796 54 | 0.001 % |
150.84/150.97 c | 66079 | 136988 3193189 9687120 | 2147483647 66078 54 | 0.001 % |
151.64/151.75 c | 66388 | 136988 3193189 9687120 | 2147483647 66387 54 | 0.001 % |
152.14/152.21 c | 66728 | 136988 3193189 9687120 | 2147483647 66727 54 | 0.001 % |
152.64/152.79 c | 67100 | 136988 3193189 9687120 | 2147483647 67099 54 | 0.001 % |
152.94/153.07 c | 67509 | 136988 3193189 9687120 | 2147483647 67508 54 | 0.001 % |
153.84/153.99 c | 67960 | 136988 3193189 9687120 | 2147483647 67959 54 | 0.001 % |
154.34/154.45 c | 68453 | 136988 3193189 9687120 | 2147483647 68452 54 | 0.001 % |
154.74/154.88 c | 68996 | 136988 3193189 9687120 | 2147483647 68995 54 | 0.001 % |
155.24/155.38 c | 69594 | 136988 3193189 9687120 | 2147483647 69593 54 | 0.001 % |
156.44/156.61 c | 70249 | 136988 3193189 9687120 | 2147483647 70248 54 | 0.001 % |
157.74/157.82 c | 70969 | 136988 3193189 9687120 | 2147483647 70968 54 | 0.001 % |
158.64/158.78 c | 71761 | 136988 3193189 9687120 | 2147483647 71760 55 | 0.001 % |
159.74/159.88 c | 72632 | 136988 3193189 9687120 | 2147483647 72631 55 | 0.001 % |
159.84/159.99 c | 72732 | 136988 3193189 9687120 | 2147483647 72731 55 | 0.001 % |
160.04/160.11 c | 72842 | 136988 3193189 9687120 | 2147483647 72841 55 | 0.001 % |
160.14/160.21 c | 72963 | 136988 3193189 9687120 | 2147483647 72962 55 | 0.001 % |
160.24/160.38 c | 73096 | 136988 3193189 9687120 | 2147483647 73095 55 | 0.001 % |
160.64/160.71 c | 73242 | 136988 3193189 9687120 | 2147483647 73241 55 | 0.001 % |
160.84/160.92 c | 73402 | 136988 3193189 9687120 | 2147483647 73401 55 | 0.001 % |
161.14/161.28 c | 73578 | 136988 3193189 9687120 | 2147483647 73577 55 | 0.001 % |
161.74/161.81 c | 73771 | 136988 3193189 9687120 | 2147483647 73770 55 | 0.001 % |
162.14/162.23 c | 73989 | 136988 3193189 9687120 | 2147483647 73988 55 | 0.001 % |
162.34/162.43 c | 74222 | 136988 3193189 9687120 | 2147483647 74221 55 | 0.001 % |
162.44/162.59 c | 74478 | 136988 3193189 9687120 | 2147483647 74477 55 | 0.001 % |
162.84/162.95 c | 74759 | 136988 3193189 9687120 | 2147483647 74758 55 | 0.001 % |
163.34/163.44 c | 75070 | 136988 3193189 9687120 | 2147483647 75069 55 | 0.001 % |
163.94/164.08 c | 75409 | 136988 3193189 9687120 | 2147483647 75408 55 | 0.001 % |
164.84/164.94 c | 75782 | 136988 3193189 9687120 | 2147483647 75781 55 | 0.001 % |
165.44/165.52 c | 76196 | 136988 3193189 9687120 | 2147483647 76195 55 | 0.001 % |
166.34/166.49 c | 76645 | 136988 3193189 9687120 | 2147483647 76644 55 | 0.001 % |
166.84/166.93 c | 77139 | 136988 3193189 9687120 | 2147483647 77138 55 | 0.001 % |
167.64/167.74 c | 77682 | 136988 3193189 9687120 | 2147483647 77681 55 | 0.001 % |
168.34/168.44 c | 78279 | 136988 3193189 9687120 | 2147483647 78278 55 | 0.001 % |
169.35/169.43 c | 78934 | 136988 3193189 9687120 | 2147483647 78933 55 | 0.001 % |
169.94/170.09 c | 79657 | 136988 3193189 9687120 | 2147483647 79656 55 | 0.001 % |
171.14/171.23 c | 80449 | 136988 3193189 9687120 | 2147483647 80448 56 | 0.001 % |
172.04/172.12 c | 81320 | 136988 3193189 9687120 | 2147483647 81319 56 | 0.001 % |
172.65/172.78 c | 82282 | 136988 3193189 9687120 | 2147483647 82281 56 | 0.001 % |
172.94/173.08 c | 82382 | 136988 3193189 9687120 | 2147483647 82381 56 | 0.001 % |
173.24/173.34 c | 82493 | 136988 3193189 9687120 | 2147483647 82492 56 | 0.001 % |
173.44/173.54 c | 82614 | 136988 3193189 9687120 | 2147483647 82613 56 | 0.001 % |
173.94/174.01 c | 82747 | 136988 3193189 9687120 | 2147483647 82746 56 | 0.001 % |
174.04/174.18 c | 82895 | 136988 3193189 9687120 | 2147483647 82894 56 | 0.001 % |
174.44/174.53 c | 83055 | 136988 3193189 9687120 | 2147483647 83054 56 | 0.001 % |
175.14/175.20 c | 83232 | 136988 3193189 9687120 | 2147483647 83231 56 | 0.001 % |
175.34/175.44 c | 83425 | 136988 3193189 9687120 | 2147483647 83424 56 | 0.001 % |
175.84/175.94 c | 83640 | 136988 3193189 9687120 | 2147483647 83639 56 | 0.001 % |
176.14/176.29 c | 83877 | 136988 3193189 9687120 | 2147483647 83876 56 | 0.001 % |
176.44/176.54 c | 84133 | 136988 3193189 9687120 | 2147483647 84132 56 | 0.001 % |
176.74/176.88 c | 84414 | 136988 3193189 9687120 | 2147483647 84413 56 | 0.001 % |
177.05/177.16 c | 84725 | 136988 3193189 9687120 | 2147483647 84724 56 | 0.001 % |
177.34/177.43 c | 85064 | 136988 3193189 9687120 | 2147483647 85063 56 | 0.001 % |
178.24/178.37 c | 85440 | 136988 3193189 9687120 | 2147483647 85439 56 | 0.001 % |
179.04/179.14 c | 85850 | 136988 3193189 9687120 | 2147483647 85849 56 | 0.001 % |
179.84/179.98 c | 86300 | 136988 3193189 9687120 | 2147483647 86299 56 | 0.001 % |
180.45/180.52 c | 86794 | 136988 3193189 9687120 | 2147483647 86793 56 | 0.001 % |
181.25/181.40 c | 87340 | 136988 3193189 9687120 | 2147483647 87339 56 | 0.001 % |
182.05/182.13 c | 87936 | 136988 3193189 9687120 | 2147483647 87935 56 | 0.001 % |
182.65/182.74 c | 88593 | 136988 3193189 9687120 | 2147483647 88592 57 | 0.001 % |
184.85/184.92 c | 89313 | 136988 3193189 9687120 | 2147483647 89312 57 | 0.001 % |
187.95/188.02 c | 90106 | 136988 3193189 9687120 | 2147483647 90105 57 | 0.001 % |
188.85/189.00 c | 90978 | 136988 3193189 9687120 | 2147483647 90977 58 | 0.001 % |
190.75/190.85 c | 91936 | 136988 3193189 9687120 | 2147483647 91935 58 | 0.001 % |
191.25/191.38 c | 92990 | 136988 3193189 9687120 | 2147483647 92989 58 | 0.001 % |
191.45/191.51 c | 93090 | 136988 3193189 9687120 | 2147483647 93089 58 | 0.001 % |
191.75/191.85 c | 93201 | 136988 3193189 9687120 | 2147483647 93200 58 | 0.001 % |
191.85/191.98 c | 93322 | 136988 3193189 9687120 | 2147483647 93321 58 | 0.001 % |
192.25/192.33 c | 93456 | 136988 3193189 9687120 | 2147483647 93455 58 | 0.001 % |
192.35/192.47 c | 93605 | 136988 3193189 9687120 | 2147483647 93604 58 | 0.001 % |
192.85/192.97 c | 93765 | 136988 3193189 9687120 | 2147483647 93764 58 | 0.001 % |
193.05/193.19 c | 93943 | 136988 3193189 9687120 | 2147483647 93942 58 | 0.001 % |
193.25/193.40 c | 94137 | 136988 3193189 9687120 | 2147483647 94136 58 | 0.001 % |
193.75/193.88 c | 94349 | 136988 3193189 9687120 | 2147483647 94348 58 | 0.001 % |
194.25/194.32 c | 94582 | 136988 3193189 9687120 | 2147483647 94581 58 | 0.001 % |
194.95/195.10 c | 94838 | 136988 3193189 9687120 | 2147483647 94837 58 | 0.001 % |
196.05/196.20 c | 95119 | 136988 3193189 9687120 | 2147483647 95118 58 | 0.001 % |
196.65/196.79 c | 95429 | 136988 3193189 9687120 | 2147483647 95428 58 | 0.001 % |
197.25/197.33 c | 95770 | 136988 3193189 9687120 | 2147483647 95769 58 | 0.001 % |
198.35/198.44 c | 96142 | 136988 3193189 9687120 | 2147483647 96141 58 | 0.001 % |
199.05/199.14 c | 96551 | 136988 3193189 9687120 | 2147483647 96550 58 | 0.001 % |
200.55/200.62 c | 97000 | 136988 3193189 9687120 | 2147483647 96999 58 | 0.001 % |
201.25/201.36 c | 97493 | 136988 3193189 9687120 | 2147483647 97492 58 | 0.001 % |
201.95/202.06 c | 98035 | 136988 3193189 9687120 | 2147483647 98034 58 | 0.001 % |
203.05/203.21 c | 98631 | 136988 3193189 9687120 | 2147483647 98630 58 | 0.001 % |
203.65/203.77 c | 99287 | 136988 3193189 9687120 | 2147483647 99286 58 | 0.001 % |
204.15/204.22 c | 100008 | 136988 3193189 9687120 | 2147483647 100007 58 | 0.001 % |
206.65/206.74 c | 100801 | 136988 3193189 9687120 | 2147483647 100800 58 | 0.001 % |
207.65/207.73 c | 101674 | 136988 3193189 9687120 | 2147483647 101673 58 | 0.001 % |
208.25/208.38 c | 102634 | 136988 3193189 9687120 | 2147483647 102633 58 | 0.001 % |
209.25/209.37 c | 103688 | 136988 3193189 9687120 | 2147483647 103687 58 | 0.001 % |
210.65/210.77 c | 104847 | 136988 3193189 9687120 | 2147483647 104846 58 | 0.001 % |
210.75/210.90 c | 104952 | 136988 3193189 9687120 | 2147483647 104951 58 | 0.001 % |
210.95/211.04 c | 105062 | 136988 3193189 9687120 | 2147483647 105061 58 | 0.001 % |
211.15/211.27 c | 105183 | 136988 3193189 9687120 | 2147483647 105182 58 | 0.001 % |
211.95/212.09 c | 105318 | 136988 3193189 9687120 | 2147483647 105317 58 | 0.001 % |
212.65/212.77 c | 105465 | 136988 3193189 9687120 | 2147483647 105464 58 | 0.001 % |
213.15/213.23 c | 105625 | 136988 3193189 9687120 | 2147483647 105624 58 | 0.001 % |
213.75/213.86 c | 105804 | 136988 3193189 9687120 | 2147483647 105803 58 | 0.001 % |
214.15/214.22 c | 105999 | 136988 3193189 9687120 | 2147483647 105998 58 | 0.001 % |
214.45/214.57 c | 106214 | 136988 3193189 9687120 | 2147483647 106213 58 | 0.001 % |
215.55/215.63 c | 106447 | 136988 3193189 9687120 | 2147483647 106446 58 | 0.001 % |
215.85/216.01 c | 106704 | 136988 3193189 9687120 | 2147483647 106703 58 | 0.001 % |
216.55/216.66 c | 106986 | 136988 3193189 9687120 | 2147483647 106985 58 | 0.001 % |
217.55/217.71 c | 107295 | 136988 3193189 9687120 | 2147483647 107294 58 | 0.001 % |
218.05/218.14 c | 107635 | 136988 3193189 9687120 | 2147483647 107634 58 | 0.001 % |
218.55/218.66 c | 108007 | 136988 3193189 9687120 | 2147483647 108006 58 | 0.001 % |
219.45/219.60 c | 108417 | 136988 3193189 9687120 | 2147483647 108416 58 | 0.001 % |
220.25/220.39 c | 108867 | 136988 3193189 9687120 | 2147483647 108866 58 | 0.001 % |
220.85/221.01 c | 109360 | 136988 3193189 9687120 | 2147483647 109359 58 | 0.001 % |
221.75/221.89 c | 109904 | 136988 3193189 9687120 | 2147483647 109903 58 | 0.001 % |
222.45/222.53 c | 110500 | 136988 3193189 9687120 | 2147483647 110499 59 | 0.001 % |
223.65/223.78 c | 111155 | 136988 3193189 9687120 | 2147483647 111154 59 | 0.001 % |
224.85/224.94 c | 111876 | 136988 3193189 9687120 | 2147483647 111875 59 | 0.001 % |
226.05/226.20 c | 112671 | 136988 3193189 9687120 | 2147483647 112670 59 | 0.001 % |
226.75/226.84 c | 113543 | 136988 3193189 9687120 | 2147483647 113542 59 | 0.001 % |
227.75/227.83 c | 114501 | 136988 3193189 9687120 | 2147483647 114500 59 | 0.001 % |
228.85/228.98 c | 115556 | 136988 3193189 9687120 | 2147483647 115555 59 | 0.001 % |
230.65/230.77 c | 116714 | 136988 3193189 9687120 | 2147483647 116713 60 | 0.001 % |
231.75/231.82 c | 117987 | 136988 3193189 9687120 | 2147483647 117986 60 | 0.001 % |
231.85/231.93 c | 118087 | 136988 3193189 9687120 | 2147483647 118086 60 | 0.001 % |
232.15/232.24 c | 118198 | 136988 3193189 9687120 | 2147483647 118197 60 | 0.001 % |
232.25/232.37 c | 118320 | 136988 3193189 9687120 | 2147483647 118319 60 | 0.001 % |
232.65/232.78 c | 118455 | 136988 3193189 9687120 | 2147483647 118454 60 | 0.001 % |
232.95/233.03 c | 118601 | 136988 3193189 9687120 | 2147483647 118600 60 | 0.001 % |
233.55/233.65 c | 118762 | 136988 3193189 9687120 | 2147483647 118761 60 | 0.001 % |
234.05/234.16 c | 118938 | 136988 3193189 9687120 | 2147483647 118937 60 | 0.001 % |
234.45/234.57 c | 119134 | 136988 3193189 9687120 | 2147483647 119133 60 | 0.001 % |
234.75/234.87 c | 119347 | 136988 3193189 9687120 | 2147483647 119346 60 | 0.001 % |
234.95/235.08 c | 119580 | 136988 3193189 9687120 | 2147483647 119579 60 | 0.001 % |
235.75/235.84 c | 119837 | 136988 3193189 9687120 | 2147483647 119836 60 | 0.001 % |
235.95/236.07 c | 120119 | 136988 3193189 9687120 | 2147483647 120118 60 | 0.001 % |
236.46/236.56 c | 120428 | 136988 3193189 9687120 | 2147483647 120427 60 | 0.001 % |
236.95/237.04 c | 120770 | 136988 3193189 9687120 | 2147483647 120769 60 | 0.001 % |
237.25/237.39 c | 121142 | 136988 3193189 9687120 | 2147483647 121141 60 | 0.001 % |
237.85/237.94 c | 121553 | 136988 3193189 9687120 | 2147483647 121552 60 | 0.001 % |
238.66/238.75 c | 122003 | 136988 3193189 9687120 | 2147483647 122002 61 | 0.001 % |
239.85/239.93 c | 122498 | 136988 3193189 9687120 | 2147483647 122497 61 | 0.001 % |
240.25/240.38 c | 123040 | 136988 3193189 9687120 | 2147483647 123039 61 | 0.001 % |
240.95/241.05 c | 123636 | 136988 3193189 9687120 | 2147483647 123635 61 | 0.001 % |
241.85/241.95 c | 124292 | 136988 3193189 9687120 | 2147483647 124291 61 | 0.001 % |
242.25/242.33 c | 125012 | 136988 3193189 9687120 | 2147483647 125011 61 | 0.001 % |
243.35/243.42 c | 125804 | 136988 3193189 9687120 | 2147483647 125803 62 | 0.001 % |
244.45/244.60 c | 126677 | 136988 3193189 9687120 | 2147483647 126676 62 | 0.001 % |
245.45/245.55 c | 127636 | 136988 3193189 9687120 | 2147483647 127635 62 | 0.001 % |
246.15/246.23 c | 128689 | 136988 3193189 9687120 | 2147483647 128688 62 | 0.001 % |
247.35/247.44 c | 129847 | 136988 3193189 9687120 | 2147483647 129846 62 | 0.001 % |
248.56/248.68 c | 131123 | 136988 3193189 9687120 | 2147483647 131122 62 | 0.001 % |
250.45/250.55 c | 132528 | 136988 3193189 9687120 | 2147483647 132527 62 | 0.001 % |
250.65/250.73 c | 132635 | 136988 3193189 9687120 | 2147483647 132634 62 | 0.001 % |
250.76/250.82 c | 132747 | 136988 3193189 9687120 | 2147483647 132746 62 | 0.001 % |
251.05/251.15 c | 132869 | 136988 3193189 9687120 | 2147483647 132868 62 | 0.001 % |
251.15/251.25 c | 133002 | 136988 3193189 9687120 | 2147483647 133001 62 | 0.001 % |
251.45/251.59 c | 133150 | 136988 3193189 9687120 | 2147483647 133149 62 | 0.001 % |
251.65/251.75 c | 133310 | 136988 3193189 9687120 | 2147483647 133309 62 | 0.001 % |
251.95/252.03 c | 133487 | 136988 3193189 9687120 | 2147483647 133486 62 | 0.001 % |
252.15/252.29 c | 133681 | 136988 3193189 9687120 | 2147483647 133680 62 | 0.001 % |
252.35/252.50 c | 133894 | 136988 3193189 9687120 | 2147483647 133893 62 | 0.001 % |
252.85/252.91 c | 134127 | 136988 3193189 9687120 | 2147483647 134126 62 | 0.001 % |
253.05/253.11 c | 134388 | 136988 3193189 9687120 | 2147483647 134387 62 | 0.001 % |
253.35/253.44 c | 134670 | 136988 3193189 9687120 | 2147483647 134669 62 | 0.001 % |
254.65/254.75 c | 134981 | 136988 3193189 9687120 | 2147483647 134980 62 | 0.001 % |
255.25/255.32 c | 135320 | 136988 3193189 9687120 | 2147483647 135319 62 | 0.001 % |
257.15/257.25 c | 135692 | 136988 3193189 9687120 | 2147483647 135691 62 | 0.001 % |
258.04/258.12 c | 136102 | 136988 3193189 9687120 | 2147483647 136101 62 | 0.001 % |
258.74/258.83 c | 136555 | 136988 3193189 9687120 | 2147483647 136554 62 | 0.001 % |
259.55/259.67 c | 137049 | 136988 3193189 9687120 | 2147483647 137048 62 | 0.001 % |
260.94/261.00 c | 137592 | 136988 3193189 9687120 | 2147483647 137591 62 | 0.001 % |
261.54/261.68 c | 138188 | 136988 3193189 9687120 | 2147483647 138187 62 | 0.001 % |
263.25/263.39 c | 138845 | 136988 3193189 9687120 | 2147483647 138844 62 | 0.001 % |
263.95/264.08 c | 139566 | 136988 3193189 9687120 | 2147483647 139565 62 | 0.001 % |
264.45/264.54 c | 140359 | 136988 3193189 9687120 | 2147483647 140358 62 | 0.001 % |
265.25/265.40 c | 141231 | 136988 3193189 9687120 | 2147483647 141230 63 | 0.001 % |
266.25/266.35 c | 142189 | 136988 3193189 9687120 | 2147483647 142188 63 | 0.001 % |
266.95/267.02 c | 143243 | 136988 3193189 9687120 | 2147483647 143242 63 | 0.001 % |
268.15/268.30 c | 144401 | 136988 3193189 9687120 | 2147483647 144400 63 | 0.001 % |
269.95/270.10 c | 145674 | 136988 3193189 9687120 | 2147483647 145673 63 | 0.001 % |
272.05/272.14 c | 147075 | 136988 3193189 9687120 | 2147483647 147074 63 | 0.001 % |
274.25/274.38 c | 148616 | 136988 3193189 9687120 | 2147483647 148615 63 | 0.001 % |
274.45/274.51 c | 148716 | 136988 3193189 9687120 | 2147483647 148715 63 | 0.001 % |
274.55/274.66 c | 148828 | 136988 3193189 9687120 | 2147483647 148827 63 | 0.001 % |
274.85/274.93 c | 148949 | 136988 3193189 9687120 | 2147483647 148948 63 | 0.001 % |
275.15/275.30 c | 149082 | 136988 3193189 9687120 | 2147483647 149081 63 | 0.001 % |
275.55/275.63 c | 149230 | 136988 3193189 9687120 | 2147483647 149229 63 | 0.001 % |
275.85/275.93 c | 149390 | 136988 3193189 9687120 | 2147483647 149389 63 | 0.001 % |
276.35/276.50 c | 149566 | 136988 3193189 9687120 | 2147483647 149565 63 | 0.001 % |
277.15/277.22 c | 149759 | 136988 3193189 9687120 | 2147483647 149758 63 | 0.001 % |
277.45/277.58 c | 149971 | 136988 3193189 9687120 | 2147483647 149970 63 | 0.001 % |
277.95/278.09 c | 150205 | 136988 3193189 9687120 | 2147483647 150204 63 | 0.001 % |
278.55/278.65 c | 150461 | 136988 3193189 9687120 | 2147483647 150460 63 | 0.001 % |
279.05/279.17 c | 150742 | 136988 3193189 9687120 | 2147483647 150741 63 | 0.001 % |
279.65/279.76 c | 151053 | 136988 3193189 9687120 | 2147483647 151052 63 | 0.001 % |
280.25/280.36 c | 151393 | 136988 3193189 9687120 | 2147483647 151392 63 | 0.001 % |
280.65/280.74 c | 151765 | 136988 3193189 9687120 | 2147483647 151764 63 | 0.001 % |
281.15/281.21 c | 152174 | 136988 3193189 9687120 | 2147483647 152173 63 | 0.001 % |
281.75/281.84 c | 152627 | 136988 3193189 9687120 | 2147483647 152626 63 | 0.001 % |
282.35/282.44 c | 153120 | 136988 3193189 9687120 | 2147483647 153119 63 | 0.001 % |
282.85/282.95 c | 153664 | 136988 3193189 9687120 | 2147483647 153663 63 | 0.001 % |
283.25/283.40 c | 154261 | 136988 3193189 9687120 | 2147483647 154260 63 | 0.001 % |
283.85/284.00 c | 154917 | 136988 3193189 9687120 | 2147483647 154916 63 | 0.001 % |
285.15/285.26 c | 155637 | 136988 3193189 9687120 | 2147483647 155636 63 | 0.001 % |
287.25/287.31 c | 156429 | 136988 3193189 9687120 | 2147483647 156428 63 | 0.001 % |
287.95/288.08 c | 157303 | 136988 3193189 9687120 | 2147483647 157302 63 | 0.001 % |
288.45/288.58 c | 158261 | 136988 3193189 9687120 | 2147483647 158260 63 | 0.001 % |
288.95/289.09 c | 159315 | 136988 3193189 9687120 | 2147483647 159314 63 | 0.001 % |
290.05/290.12 c | 160473 | 136988 3193189 9687120 | 2147483647 160472 63 | 0.001 % |
291.15/291.30 c | 161746 | 136988 3193189 9687120 | 2147483647 161745 64 | 0.001 % |
292.35/292.41 c | 163147 | 136988 3193189 9687120 | 2147483647 163146 64 | 0.001 % |
293.45/293.52 c | 164689 | 136988 3193189 9687120 | 2147483647 164688 64 | 0.001 % |
294.35/294.41 c | 166384 | 136988 3193189 9687120 | 2147483647 166383 64 | 0.001 % |
294.45/294.56 c | 166485 | 136988 3193189 9687120 | 2147483647 166484 64 | 0.001 % |
294.65/294.77 c | 166595 | 136988 3193189 9687120 | 2147483647 166594 64 | 0.001 % |
295.05/295.15 c | 166716 | 136988 3193189 9687120 | 2147483647 166715 64 | 0.001 % |
295.45/295.54 c | 166849 | 136988 3193189 9687120 | 2147483647 166848 64 | 0.001 % |
295.65/295.77 c | 166997 | 136988 3193189 9687120 | 2147483647 166996 64 | 0.001 % |
295.85/295.99 c | 167157 | 136988 3193189 9687120 | 2147483647 167156 64 | 0.001 % |
296.05/296.17 c | 167333 | 136988 3193189 9687120 | 2147483647 167332 64 | 0.001 % |
296.45/296.55 c | 167526 | 136988 3193189 9687120 | 2147483647 167525 64 | 0.001 % |
296.85/296.98 c | 167740 | 136988 3193189 9687120 | 2147483647 167739 64 | 0.001 % |
297.45/297.58 c | 167973 | 136988 3193189 9687120 | 2147483647 167972 64 | 0.001 % |
297.95/298.01 c | 168232 | 136988 3193189 9687120 | 2147483647 168231 64 | 0.001 % |
298.65/298.75 c | 168514 | 136988 3193189 9687120 | 2147483647 168513 64 | 0.001 % |
299.85/299.93 c | 168823 | 136988 3193189 9687120 | 2147483647 168822 64 | 0.001 % |
300.55/300.62 c | 169163 | 136988 3193189 9687120 | 2147483647 169162 64 | 0.001 % |
301.15/301.25 c | 169535 | 136988 3193189 9687120 | 2147483647 169534 64 | 0.001 % |
301.75/301.87 c | 169944 | 136988 3193189 9687120 | 2147483647 169943 64 | 0.001 % |
302.55/302.67 c | 170397 | 136988 3193189 9687120 | 2147483647 170396 64 | 0.001 % |
302.85/302.99 c | 170890 | 136988 3193189 9687120 | 2147483647 170889 64 | 0.001 % |
303.75/303.88 c | 171434 | 136988 3193189 9687120 | 2147483647 171433 64 | 0.001 % |
304.35/304.46 c | 172030 | 136988 3193189 9687120 | 2147483647 172029 65 | 0.001 % |
305.05/305.16 c | 172686 | 136988 3193189 9687120 | 2147483647 172685 65 | 0.001 % |
305.55/305.70 c | 173406 | 136988 3193189 9687120 | 2147483647 173405 65 | 0.001 % |
306.55/306.62 c | 174198 | 136988 3193189 9687120 | 2147483647 174197 65 | 0.001 % |
307.55/307.64 c | 175071 | 136988 3193189 9687120 | 2147483647 175070 65 | 0.001 % |
308.96/309.09 c | 176031 | 136988 3193189 9687120 | 2147483647 176030 65 | 0.001 % |
310.36/310.44 c | 177085 | 136988 3193189 9687120 | 2147483647 177084 65 | 0.001 % |
311.66/311.71 c | 178243 | 136988 3193189 9687120 | 2147483647 178242 65 | 0.001 % |
314.16/314.22 c | 179516 | 136988 3193189 9687120 | 2147483647 179515 65 | 0.001 % |
315.56/315.64 c | 180916 | 136988 3193189 9687120 | 2147483647 180915 65 | 0.001 % |
316.56/316.64 c | 182458 | 136988 3193189 9687120 | 2147483647 182457 65 | 0.001 % |
318.36/318.45 c | 184152 | 136988 3193189 9687120 | 2147483647 184151 65 | 0.001 % |
320.36/320.51 c | 186015 | 136988 3193189 9687120 | 2147483647 186014 66 | 0.001 % |
320.96/321.01 c | 186115 | 136988 3193189 9687120 | 2147483647 186114 66 | 0.001 % |
321.56/321.65 c | 186226 | 136988 3193189 9687120 | 2147483647 186225 66 | 0.001 % |
321.76/321.90 c | 186348 | 136988 3193189 9687120 | 2147483647 186347 66 | 0.001 % |
321.96/322.10 c | 186482 | 136988 3193189 9687120 | 2147483647 186481 66 | 0.001 % |
322.27/322.41 c | 186628 | 136988 3193189 9687120 | 2147483647 186627 66 | 0.001 % |
322.56/322.70 c | 186788 | 136988 3193189 9687120 | 2147483647 186787 66 | 0.001 % |
322.86/322.96 c | 186965 | 136988 3193189 9687120 | 2147483647 186964 66 | 0.001 % |
323.16/323.26 c | 187158 | 136988 3193189 9687120 | 2147483647 187157 66 | 0.001 % |
323.56/323.64 c | 187371 | 136988 3193189 9687120 | 2147483647 187370 66 | 0.001 % |
324.16/324.22 c | 187604 | 136988 3193189 9687120 | 2147483647 187603 66 | 0.001 % |
324.47/324.52 c | 187861 | 136988 3193189 9687120 | 2147483647 187860 66 | 0.001 % |
324.96/325.08 c | 188146 | 136988 3193189 9687120 | 2147483647 188145 66 | 0.001 % |
325.36/325.44 c | 188455 | 136988 3193189 9687120 | 2147483647 188454 66 | 0.001 % |
325.86/325.91 c | 188794 | 136988 3193189 9687120 | 2147483647 188793 66 | 0.001 % |
326.26/326.40 c | 189169 | 136988 3193189 9687120 | 2147483647 189168 66 | 0.001 % |
327.36/327.45 c | 189580 | 136988 3193189 9687120 | 2147483647 189579 66 | 0.001 % |
328.46/328.54 c | 190029 | 136988 3193189 9687120 | 2147483647 190028 66 | 0.001 % |
329.26/329.38 c | 190522 | 136988 3193189 9687120 | 2147483647 190521 66 | 0.001 % |
330.16/330.21 c | 191064 | 136988 3193189 9687120 | 2147483647 191063 66 | 0.001 % |
330.96/331.04 c | 191660 | 136988 3193189 9687120 | 2147483647 191659 66 | 0.001 % |
331.46/331.61 c | 192316 | 136988 3193189 9687120 | 2147483647 192315 66 | 0.001 % |
332.56/332.63 c | 193038 | 136988 3193189 9687120 | 2147483647 193037 66 | 0.001 % |
333.46/333.52 c | 193835 | 136988 3193189 9687120 | 2147483647 193834 66 | 0.001 % |
333.76/333.90 c | 194707 | 136988 3193189 9687120 | 2147483647 194706 66 | 0.001 % |
335.06/335.20 c | 195665 | 136988 3193189 9687120 | 2147483647 195664 66 | 0.001 % |
336.36/336.42 c | 196720 | 136988 3193189 9687120 | 2147483647 196719 67 | 0.001 % |
337.56/337.61 c | 197879 | 136988 3193189 9687120 | 2147483647 197878 67 | 0.001 % |
338.56/338.67 c | 199152 | 136988 3193189 9687120 | 2147483647 199151 67 | 0.001 % |
340.36/340.41 c | 200554 | 136988 3193189 9687120 | 2147483647 200553 67 | 0.001 % |
342.26/342.37 c | 202094 | 136988 3193189 9687120 | 2147483647 202093 67 | 0.001 % |
343.66/343.81 c | 203788 | 136988 3193189 9687120 | 2147483647 203787 67 | 0.001 % |
347.17/347.30 c | 205652 | 136988 3193189 9687120 | 2147483647 205651 67 | 0.001 % |
349.57/349.71 c | 207702 | 136988 3193189 9687120 | 2147483647 207701 67 | 0.001 % |
349.77/349.85 c | 207803 | 136988 3193189 9687120 | 2147483647 207802 68 | 0.001 % |
349.87/349.99 c | 207915 | 136988 3193189 9687120 | 2147483647 207914 68 | 0.001 % |
350.07/350.13 c | 208036 | 136988 3193189 9687120 | 2147483647 208035 68 | 0.001 % |
350.47/350.52 c | 208170 | 136988 3193189 9687120 | 2147483647 208169 68 | 0.001 % |
350.67/350.75 c | 208316 | 136988 3193189 9687120 | 2147483647 208315 68 | 0.001 % |
350.97/351.07 c | 208477 | 136988 3193189 9687120 | 2147483647 208476 68 | 0.001 % |
351.17/351.23 c | 208654 | 136988 3193189 9687120 | 2147483647 208653 68 | 0.001 % |
351.47/351.60 c | 208847 | 136988 3193189 9687120 | 2147483647 208846 68 | 0.001 % |
352.17/352.28 c | 209059 | 136988 3193189 9687120 | 2147483647 209058 68 | 0.001 % |
352.87/353.01 c | 209294 | 136988 3193189 9687120 | 2147483647 209293 68 | 0.001 % |
353.27/353.37 c | 209552 | 136988 3193189 9687120 | 2147483647 209551 68 | 0.001 % |
353.87/353.96 c | 209833 | 136988 3193189 9687120 | 2147483647 209832 68 | 0.001 % |
354.37/354.47 c | 210143 | 136988 3193189 9687120 | 2147483647 210142 68 | 0.001 % |
355.07/355.15 c | 210482 | 136988 3193189 9687120 | 2147483647 210481 68 | 0.001 % |
355.57/355.66 c | 210856 | 136988 3193189 9687120 | 2147483647 210855 68 | 0.001 % |
355.87/356.01 c | 211268 | 136988 3193189 9687120 | 2147483647 211267 68 | 0.001 % |
356.37/356.49 c | 211717 | 136988 3193189 9687120 | 2147483647 211716 68 | 0.001 % |
357.37/357.45 c | 212210 | 136988 3193189 9687120 | 2147483647 212209 68 | 0.001 % |
357.97/358.03 c | 212754 | 136988 3193189 9687120 | 2147483647 212753 68 | 0.001 % |
358.37/358.46 c | 213351 | 136988 3193189 9687120 | 2147483647 213350 68 | 0.001 % |
358.67/358.77 c | 214006 | 136988 3193189 9687120 | 2147483647 214005 68 | 0.001 % |
359.37/359.51 c | 214726 | 136988 3193189 9687120 | 2147483647 214725 68 | 0.001 % |
360.77/360.86 c | 215519 | 136988 3193189 9687120 | 2147483647 215518 68 | 0.001 % |
361.87/361.99 c | 216390 | 136988 3193189 9687120 | 2147483647 216389 68 | 0.001 % |
363.97/364.06 c | 217348 | 136988 3193189 9687120 | 2147483647 217347 68 | 0.001 % |
364.87/365.01 c | 218403 | 136988 3193189 9687120 | 2147483647 218402 68 | 0.001 % |
367.17/367.27 c | 219561 | 136988 3193189 9687120 | 2147483647 219560 68 | 0.001 % |
369.47/369.55 c | 220836 | 136988 3193189 9687120 | 2147483647 220835 68 | 0.001 % |
370.37/370.50 c | 222237 | 136988 3193189 9687120 | 2147483647 222236 68 | 0.001 % |
371.87/371.99 c | 223777 | 136988 3193189 9687120 | 2147483647 223776 69 | 0.001 % |
374.27/374.40 c | 225471 | 136988 3193189 9687120 | 2147483647 225470 68 | 0.001 % |
375.27/375.32 c | 227334 | 136988 3193189 9687120 | 2147483647 227333 69 | 0.001 % |
376.57/376.67 c | 229384 | 136988 3193189 9687120 | 2147483647 229383 69 | 0.001 % |
378.87/378.95 c | 231638 | 136988 3193189 9687120 | 2147483647 231637 69 | 0.001 % |
378.97/379.10 c | 231740 | 136988 3193189 9687120 | 2147483647 231739 69 | 0.001 % |
379.37/379.43 c | 231851 | 136988 3193189 9687120 | 2147483647 231850 69 | 0.001 % |
379.57/379.69 c | 231972 | 136988 3193189 9687120 | 2147483647 231971 69 | 0.001 % |
379.77/379.86 c | 232105 | 136988 3193189 9687120 | 2147483647 232104 69 | 0.001 % |
380.07/380.13 c | 232251 | 136988 3193189 9687120 | 2147483647 232250 69 | 0.001 % |
380.37/380.47 c | 232415 | 136988 3193189 9687120 | 2147483647 232414 69 | 0.001 % |
380.67/380.72 c | 232592 | 136988 3193189 9687120 | 2147483647 232591 69 | 0.001 % |
380.97/381.06 c | 232786 | 136988 3193189 9687120 | 2147483647 232785 69 | 0.001 % |
381.27/381.32 c | 232998 | 136988 3193189 9687120 | 2147483647 232997 69 | 0.001 % |
381.97/382.08 c | 233231 | 136988 3193189 9687120 | 2147483647 233230 69 | 0.001 % |
382.77/382.84 c | 233487 | 136988 3193189 9687120 | 2147483647 233486 69 | 0.001 % |
383.37/383.48 c | 233768 | 136988 3193189 9687120 | 2147483647 233767 69 | 0.001 % |
383.97/384.06 c | 234077 | 136988 3193189 9687120 | 2147483647 234076 69 | 0.001 % |
384.57/384.66 c | 234424 | 136988 3193189 9687120 | 2147483647 234423 69 | 0.001 % |
384.97/385.07 c | 234796 | 136988 3193189 9687120 | 2147483647 234795 69 | 0.001 % |
385.47/385.54 c | 235205 | 136988 3193189 9687120 | 2147483647 235204 69 | 0.001 % |
386.17/386.23 c | 235659 | 136988 3193189 9687120 | 2147483647 235658 69 | 0.001 % |
386.77/386.85 c | 236152 | 136988 3193189 9687120 | 2147483647 236151 69 | 0.001 % |
387.87/387.97 c | 236694 | 136988 3193189 9687120 | 2147483647 236693 70 | 0.001 % |
388.37/388.50 c | 237291 | 136988 3193189 9687120 | 2147483647 237290 70 | 0.001 % |
388.97/389.10 c | 237947 | 136988 3193189 9687120 | 2147483647 237946 70 | 0.001 % |
389.47/389.60 c | 238668 | 136988 3193189 9687120 | 2147483647 238667 70 | 0.001 % |
390.87/390.96 c | 239460 | 136988 3193189 9687120 | 2147483647 239459 70 | 0.001 % |
391.57/391.63 c | 240332 | 136988 3193189 9687120 | 2147483647 240331 70 | 0.001 % |
392.57/392.66 c | 241290 | 136988 3193189 9687120 | 2147483647 241289 70 | 0.001 % |
394.17/394.29 c | 242344 | 136988 3193189 9687120 | 2147483647 242343 70 | 0.001 % |
395.27/395.41 c | 243502 | 136988 3193189 9687120 | 2147483647 243501 70 | 0.001 % |
396.57/396.62 c | 244775 | 136988 3193189 9687120 | 2147483647 244774 70 | 0.001 % |
398.18/398.30 c | 246175 | 136988 3193189 9687120 | 2147483647 246174 70 | 0.001 % |
400.87/400.92 c | 247715 | 136988 3193189 9687120 | 2147483647 247714 70 | 0.001 % |
403.27/403.41 c | 249410 | 136988 3193189 9687120 | 2147483647 249409 71 | 0.001 % |
404.78/404.89 c | 251273 | 136988 3193189 9687120 | 2147483647 251272 71 | 0.001 % |
407.87/407.96 c | 253325 | 136988 3193189 9687120 | 2147483647 253324 71 | 0.001 % |
411.07/411.11 c | 255579 | 136988 3193189 9687120 | 2147483647 255578 71 | 0.001 % |
413.27/413.32 c | 258057 | 136988 3193189 9687120 | 2147483647 258056 71 | 0.001 % |
413.67/413.76 c | 258159 | 136988 3193189 9687120 | 2147483647 258158 71 | 0.001 % |
414.07/414.15 c | 258270 | 136988 3193189 9687120 | 2147483647 258269 71 | 0.001 % |
414.27/414.35 c | 258392 | 136988 3193189 9687120 | 2147483647 258391 71 | 0.001 % |
414.57/414.61 c | 258525 | 136988 3193189 9687120 | 2147483647 258524 71 | 0.001 % |
414.77/414.91 c | 258671 | 136988 3193189 9687120 | 2147483647 258670 71 | 0.001 % |
415.27/415.33 c | 258834 | 136988 3193189 9687120 | 2147483647 258833 71 | 0.001 % |
415.87/415.98 c | 259010 | 136988 3193189 9687120 | 2147483647 259009 71 | 0.001 % |
416.37/416.47 c | 259203 | 136988 3193189 9687120 | 2147483647 259202 71 | 0.001 % |
416.67/416.74 c | 259415 | 136988 3193189 9687120 | 2147483647 259414 71 | 0.001 % |
416.97/417.06 c | 259649 | 136988 3193189 9687120 | 2147483647 259648 71 | 0.001 % |
417.27/417.36 c | 259907 | 136988 3193189 9687120 | 2147483647 259906 71 | 0.001 % |
417.47/417.55 c | 260190 | 136988 3193189 9687120 | 2147483647 260189 71 | 0.001 % |
417.87/417.98 c | 260499 | 136988 3193189 9687120 | 2147483647 260498 71 | 0.001 % |
418.37/418.47 c | 260838 | 136988 3193189 9687120 | 2147483647 260837 71 | 0.001 % |
418.67/418.72 c | 261210 | 136988 3193189 9687120 | 2147483647 261209 71 | 0.001 % |
418.87/419.00 c | 261619 | 136988 3193189 9687120 | 2147483647 261618 71 | 0.001 % |
419.27/419.39 c | 262070 | 136988 3193189 9687120 | 2147483647 262069 71 | 0.001 % |
419.97/420.04 c | 262566 | 136988 3193189 9687120 | 2147483647 262565 72 | 0.001 % |
420.77/420.82 c | 263108 | 136988 3193189 9687120 | 2147483647 263107 72 | 0.001 % |
421.77/421.89 c | 263706 | 136988 3193189 9687120 | 2147483647 263705 72 | 0.001 % |
422.57/422.68 c | 264361 | 136988 3193189 9687120 | 2147483647 264360 72 | 0.001 % |
423.67/423.81 c | 265081 | 136988 3193189 9687120 | 2147483647 265080 72 | 0.001 % |
424.97/425.06 c | 265874 | 136988 3193189 9687120 | 2147483647 265873 72 | 0.001 % |
425.68/425.73 c | 266745 | 136988 3193189 9687120 | 2147483647 266744 72 | 0.001 % |
426.98/427.03 c | 267703 | 136988 3193189 9687120 | 2147483647 267702 72 | 0.001 % |
427.58/427.64 c | 268759 | 136988 3193189 9687120 | 2147483647 268758 72 | 0.001 % |
428.48/428.53 c | 269917 | 136988 3193189 9687120 | 2147483647 269916 72 | 0.001 % |
429.48/429.54 c | 271190 | 136988 3193189 9687120 | 2147483647 271189 72 | 0.001 % |
430.38/430.47 c | 272590 | 136988 3193189 9687120 | 2147483647 272589 72 | 0.001 % |
431.88/432.01 c | 274130 | 136988 3193189 9687120 | 2147483647 274129 72 | 0.001 % |
433.48/433.62 c | 275825 | 136988 3193189 9687120 | 2147483647 275824 72 | 0.001 % |
436.08/436.16 c | 277689 | 136988 3193189 9687120 | 2147483647 277688 72 | 0.001 % |
438.78/438.92 c | 279738 | 136988 3193189 9687120 | 2147483647 279737 72 | 0.001 % |
440.58/440.66 c | 281991 | 136988 3193189 9687120 | 2147483647 281990 73 | 0.001 % |
443.18/443.31 c | 284471 | 136988 3193189 9687120 | 2147483647 284470 73 | 0.001 % |
445.88/445.93 c | 287197 | 136988 3193189 9687120 | 2147483647 287196 73 | 0.001 % |
446.38/446.42 c | 287299 | 136988 3193189 9687120 | 2147483647 287298 73 | 0.001 % |
446.88/446.97 c | 287410 | 136988 3193189 9687120 | 2147483647 287409 73 | 0.001 % |
447.28/447.33 c | 287531 | 136988 3193189 9687120 | 2147483647 287530 73 | 0.001 % |
447.68/447.76 c | 287664 | 136988 3193189 9687120 | 2147483647 287663 73 | 0.001 % |
447.98/448.04 c | 287812 | 136988 3193189 9687120 | 2147483647 287811 73 | 0.001 % |
448.38/448.43 c | 287973 | 136988 3193189 9687120 | 2147483647 287972 73 | 0.001 % |
448.68/448.80 c | 288149 | 136988 3193189 9687120 | 2147483647 288148 73 | 0.001 % |
449.08/449.15 c | 288343 | 136988 3193189 9687120 | 2147483647 288342 73 | 0.001 % |
449.38/449.50 c | 288555 | 136988 3193189 9687120 | 2147483647 288554 73 | 0.001 % |
449.98/450.04 c | 288788 | 136988 3193189 9687120 | 2147483647 288787 73 | 0.001 % |
450.28/450.33 c | 289044 | 136988 3193189 9687120 | 2147483647 289043 73 | 0.001 % |
451.08/451.15 c | 289328 | 136988 3193189 9687120 | 2147483647 289327 73 | 0.001 % |
451.48/451.57 c | 289638 | 136988 3193189 9687120 | 2147483647 289637 73 | 0.001 % |
451.88/451.99 c | 289978 | 136988 3193189 9687120 | 2147483647 289977 73 | 0.001 % |
452.38/452.45 c | 290351 | 136988 3193189 9687120 | 2147483647 290350 73 | 0.001 % |
453.08/453.16 c | 290760 | 136988 3193189 9687120 | 2147483647 290759 73 | 0.001 % |
453.78/453.87 c | 291209 | 136988 3193189 9687120 | 2147483647 291208 73 | 0.001 % |
454.38/454.49 c | 291702 | 136988 3193189 9687120 | 2147483647 291701 73 | 0.001 % |
455.08/455.12 c | 292245 | 136988 3193189 9687120 | 2147483647 292244 73 | 0.001 % |
456.28/456.41 c | 292841 | 136988 3193189 9687120 | 2147483647 292840 73 | 0.001 % |
457.48/457.54 c | 293496 | 136988 3193189 9687120 | 2147483647 293495 73 | 0.001 % |
458.38/458.50 c | 294217 | 136988 3193189 9687120 | 2147483647 294216 73 | 0.001 % |
460.78/460.84 c | 295009 | 136988 3193189 9687120 | 2147483647 295008 73 | 0.001 % |
462.38/462.45 c | 295882 | 136988 3193189 9687120 | 2147483647 295881 73 | 0.001 % |
463.58/463.66 c | 296843 | 136988 3193189 9687120 | 2147483647 296842 73 | 0.001 % |
464.88/464.92 c | 297896 | 136988 3193189 9687120 | 2147483647 297895 73 | 0.001 % |
466.08/466.12 c | 299054 | 136988 3193189 9687120 | 2147483647 299053 73 | 0.001 % |
467.68/467.78 c | 300327 | 136988 3193189 9687120 | 2147483647 300326 73 | 0.001 % |
468.78/468.82 c | 301727 | 136988 3193189 9687120 | 2147483647 301726 73 | 0.001 % |
469.98/470.10 c | 303267 | 136988 3193189 9687120 | 2147483647 303266 73 | 0.001 % |
471.78/471.84 c | 304961 | 136988 3193189 9687120 | 2147483647 304960 73 | 0.001 % |
473.78/473.91 c | 306825 | 136988 3193189 9687120 | 2147483647 306824 73 | 0.001 % |
475.98/476.02 c | 308874 | 136988 3193189 9687120 | 2147483647 308873 73 | 0.001 % |
477.58/477.67 c | 311127 | 136988 3193189 9687120 | 2147483647 311126 73 | 0.001 % |
479.18/479.23 c | 313606 | 136988 3193189 9687120 | 2147483647 313605 73 | 0.001 % |
481.98/482.02 c | 316332 | 136988 3193189 9687120 | 2147483647 316331 73 | 0.001 % |
484.98/485.06 c | 319332 | 136988 3193189 9687120 | 2147483647 319331 73 | 0.001 % |
485.18/485.22 c | 319432 | 136988 3193189 9687120 | 2147483647 319431 73 | 0.001 % |
485.38/485.45 c | 319542 | 136988 3193189 9687120 | 2147483647 319541 73 | 0.001 % |
485.78/485.83 c | 319663 | 136988 3193189 9687120 | 2147483647 319662 73 | 0.001 % |
486.08/486.16 c | 319798 | 136988 3193189 9687120 | 2147483647 319797 73 | 0.001 % |
486.48/486.56 c | 319944 | 136988 3193189 9687120 | 2147483647 319943 73 | 0.001 % |
486.68/486.80 c | 320104 | 136988 3193189 9687120 | 2147483647 320103 73 | 0.001 % |
487.38/487.47 c | 320281 | 136988 3193189 9687120 | 2147483647 320280 73 | 0.001 % |
487.68/487.74 c | 320474 | 136988 3193189 9687120 | 2147483647 320473 73 | 0.001 % |
488.18/488.26 c | 320686 | 136988 3193189 9687120 | 2147483647 320685 73 | 0.001 % |
488.68/488.76 c | 320920 | 136988 3193189 9687120 | 2147483647 320919 73 | 0.001 % |
488.98/489.07 c | 321176 | 136988 3193189 9687120 | 2147483647 321175 73 | 0.001 % |
489.38/489.45 c | 321463 | 136988 3193189 9687120 | 2147483647 321462 73 | 0.001 % |
489.88/489.98 c | 321774 | 136988 3193189 9687120 | 2147483647 321773 73 | 0.001 % |
490.18/490.27 c | 322113 | 136988 3193189 9687120 | 2147483647 322112 73 | 0.001 % |
490.88/490.95 c | 322485 | 136988 3193189 9687120 | 2147483647 322484 73 | 0.001 % |
491.48/491.52 c | 322894 | 136988 3193189 9687120 | 2147483647 322893 74 | 0.001 % |
491.88/491.97 c | 323343 | 136988 3193189 9687120 | 2147483647 323342 73 | 0.001 % |
492.79/492.89 c | 323836 | 136988 3193189 9687120 | 2147483647 323835 73 | 0.001 % |
493.68/493.80 c | 324380 | 136988 3193189 9687120 | 2147483647 324379 74 | 0.001 % |
494.68/494.80 c | 324976 | 136988 3193189 9687120 | 2147483647 324975 74 | 0.001 % |
495.78/495.84 c | 325633 | 136988 3193189 9687120 | 2147483647 325632 74 | 0.001 % |
496.88/496.94 c | 326354 | 136988 3193189 9687120 | 2147483647 326353 74 | 0.001 % |
497.98/498.05 c | 327147 | 136988 3193189 9687120 | 2147483647 327146 74 | 0.001 % |
499.48/499.55 c | 328018 | 136988 3193189 9687120 | 2147483647 328017 74 | 0.001 % |
501.78/501.84 c | 328976 | 136988 3193189 9687120 | 2147483647 328975 74 | 0.001 % |
504.89/505.01 c | 330029 | 136987 3193177 9687096 | 2147483647 330026 74 | 0.001 % |
506.98/507.08 c | 331187 | 136987 3193177 9687096 | 2147483647 331184 74 | 0.002 % |
508.48/508.60 c | 332460 | 136987 3193177 9687096 | 2147483647 332457 74 | 0.001 % |
509.99/510.04 c | 333860 | 136987 3193177 9687096 | 2147483647 333857 74 | 0.001 % |
511.39/511.45 c | 335400 | 136987 3193177 9687096 | 2147483647 335397 74 | 0.001 % |
513.49/513.57 c | 337097 | 136987 3193177 9687096 | 2147483647 337094 74 | 0.001 % |
516.29/516.38 c | 338960 | 136987 3193177 9687096 | 2147483647 338957 74 | 0.002 % |
518.79/518.83 c | 341009 | 136987 3193177 9687096 | 2147483647 341006 74 | 0.001 % |
521.09/521.19 c | 343264 | 136987 3193177 9687096 | 2147483647 343261 75 | 0.002 % |
523.09/523.17 c | 345742 | 136987 3193177 9687096 | 2147483647 345739 75 | 0.001 % |
527.19/527.30 c | 348467 | 136987 3193177 9687096 | 2147483647 348464 75 | 0.002 % |
532.19/532.24 c | 351465 | 136987 3193177 9687096 | 2147483647 351462 75 | 0.001 % |
536.39/536.45 c | 354763 | 136987 3193177 9687096 | 2147483647 354760 75 | 0.002 % |
536.49/536.60 c | 354863 | 136987 3193177 9687096 | 2147483647 354860 75 | 0.001 % |
536.89/536.96 c | 354974 | 136987 3193177 9687096 | 2147483647 354971 75 | 0.001 % |
537.19/537.31 c | 355100 | 136987 3193177 9687096 | 2147483647 355097 75 | 0.001 % |
537.49/537.62 c | 355233 | 136987 3193177 9687096 | 2147483647 355230 75 | 0.001 % |
537.79/537.91 c | 355381 | 136987 3193177 9687096 | 2147483647 355378 75 | 0.001 % |
538.19/538.30 c | 355541 | 136987 3193177 9687096 | 2147483647 355538 75 | 0.002 % |
538.59/538.63 c | 355717 | 136987 3193177 9687096 | 2147483647 355714 75 | 0.002 % |
538.89/538.96 c | 355910 | 136987 3193177 9687096 | 2147483647 355907 75 | 0.002 % |
539.59/539.71 c | 356122 | 136987 3193177 9687096 | 2147483647 356119 75 | 0.002 % |
540.19/540.25 c | 356355 | 136987 3193177 9687096 | 2147483647 356352 75 | 0.002 % |
540.69/540.74 c | 356611 | 136987 3193177 9687096 | 2147483647 356608 75 | 0.001 % |
541.19/541.22 c | 356896 | 136987 3193177 9687096 | 2147483647 356893 75 | 0.001 % |
541.69/541.75 c | 357205 | 136987 3193177 9687096 | 2147483647 357202 75 | 0.001 % |
542.29/542.40 c | 357544 | 136987 3193177 9687096 | 2147483647 357541 75 | 0.001 % |
543.49/543.56 c | 357916 | 136987 3193177 9687096 | 2147483647 357913 75 | 0.001 % |
544.69/544.82 c | 358325 | 136987 3193177 9687096 | 2147483647 358322 75 | 0.001 % |
545.69/545.78 c | 358774 | 136987 3193177 9687096 | 2147483647 358771 75 | 0.001 % |
546.09/546.18 c | 359267 | 136987 3193177 9687096 | 2147483647 359264 75 | 0.002 % |
547.29/547.33 c | 359809 | 136987 3193177 9687096 | 2147483647 359806 75 | 0.002 % |
547.99/548.06 c | 360406 | 136987 3193177 9687096 | 2147483647 360403 75 | 0.002 % |
548.79/548.85 c | 361061 | 136987 3193177 9687096 | 2147483647 361058 75 | 0.001 % |
550.39/550.47 c | 361781 | 136987 3193177 9687096 | 2147483647 361778 75 | 0.002 % |
551.29/551.38 c | 362573 | 136987 3193177 9687096 | 2147483647 362570 75 | 0.001 % |
552.69/552.80 c | 363444 | 136987 3193177 9687096 | 2147483647 363441 75 | 0.001 % |
554.29/554.41 c | 364402 | 136987 3193177 9687096 | 2147483647 364399 75 | 0.002 % |
555.29/555.35 c | 365455 | 136987 3193177 9687096 | 2147483647 365452 75 | 0.002 % |
556.59/556.70 c | 366613 | 136987 3193177 9687096 | 2147483647 366610 75 | 0.002 % |
558.09/558.13 c | 367886 | 136987 3193177 9687096 | 2147483647 367883 75 | 0.002 % |
560.49/560.58 c | 369286 | 136987 3193177 9687096 | 2147483647 369283 75 | 0.001 % |
562.49/562.55 c | 370826 | 136987 3193177 9687096 | 2147483647 370823 75 | 0.001 % |
565.19/565.28 c | 372520 | 136987 3193177 9687096 | 2147483647 372517 75 | 0.002 % |
567.99/568.12 c | 374383 | 136987 3193177 9687096 | 2147483647 374380 75 | 0.002 % |
570.49/570.54 c | 376434 | 136987 3193177 9687096 | 2147483647 376431 75 | 0.001 % |
573.79/573.86 c | 378687 | 136987 3193177 9687096 | 2147483647 378684 76 | 0.001 % |
577.39/577.43 c | 381167 | 136987 3193177 9687096 | 2147483647 381164 76 | 0.002 % |
581.49/581.53 c | 383892 | 136987 3193177 9687096 | 2147483647 383889 76 | 0.001 % |
586.09/586.14 c | 386891 | 136987 3193177 9687096 | 2147483647 386888 76 | 0.001 % |
591.60/591.66 c | 390187 | 136987 3193177 9687096 | 2147483647 390184 76 | 0.001 % |
597.60/597.65 c | 393812 | 136987 3193177 9687096 | 2147483647 393809 76 | 0.001 % |
597.70/597.75 c | 393912 | 136987 3193177 9687096 | 2147483647 393909 76 | 0.002 % |
597.90/598.00 c | 394022 | 136987 3193177 9687096 | 2147483647 394019 76 | 0.001 % |
598.20/598.24 c | 394145 | 136987 3193177 9687096 | 2147483647 394142 76 | 0.002 % |
598.60/598.66 c | 394278 | 136987 3193177 9687096 | 2147483647 394275 76 | 0.001 % |
598.90/598.97 c | 394427 | 136987 3193177 9687096 | 2147483647 394424 76 | 0.001 % |
599.30/599.39 c | 394587 | 136987 3193177 9687096 | 2147483647 394584 76 | 0.001 % |
600.50/600.61 c | 394763 | 136987 3193177 9687096 | 2147483647 394760 76 | 0.002 % |
601.10/601.20 c | 394956 | 136987 3193177 9687096 | 2147483647 394953 76 | 0.002 % |
601.70/601.76 c | 395170 | 136987 3193177 9687096 | 2147483647 395167 76 | 0.001 % |
602.00/602.09 c | 395404 | 136987 3193177 9687096 | 2147483647 395401 76 | 0.001 % |
602.50/602.54 c | 395660 | 136987 3193177 9687096 | 2147483647 395657 76 | 0.001 % |
603.10/603.18 c | 395941 | 136987 3193177 9687096 | 2147483647 395938 76 | 0.002 % |
603.70/603.81 c | 396250 | 136987 3193177 9687096 | 2147483647 396247 76 | 0.001 % |
604.10/604.14 c | 396589 | 136987 3193177 9687096 | 2147483647 396586 76 | 0.001 % |
604.60/604.63 c | 396961 | 136987 3193177 9687096 | 2147483647 396958 76 | 0.002 % |
605.20/605.31 c | 397370 | 136987 3193177 9687096 | 2147483647 397367 76 | 0.001 % |
606.20/606.26 c | 397820 | 136987 3193177 9687096 | 2147483647 397817 76 | 0.001 % |
607.30/607.35 c | 398314 | 136987 3193177 9687096 | 2147483647 398311 76 | 0.001 % |
608.30/608.38 c | 398856 | 136987 3193177 9687096 | 2147483647 398853 76 | 0.001 % |
609.00/609.09 c | 399452 | 136987 3193177 9687096 | 2147483647 399449 76 | 0.001 % |
610.30/610.36 c | 400107 | 136987 3193177 9687096 | 2147483647 400104 76 | 0.001 % |
611.60/611.67 c | 400827 | 136987 3193177 9687096 | 2147483647 400824 76 | 0.001 % |
613.20/613.24 c | 401620 | 136987 3193177 9687096 | 2147483647 401617 76 | 0.001 % |
614.60/614.64 c | 402491 | 136987 3193177 9687096 | 2147483647 402488 76 | 0.002 % |
616.39/616.50 c | 403450 | 136987 3193177 9687096 | 2147483647 403447 76 | 0.002 % |
618.19/618.22 c | 404503 | 136987 3193177 9687096 | 2147483647 404500 75 | 0.001 % |
620.49/620.57 c | 405662 | 136987 3193177 9687096 | 2147483647 405659 76 | 0.001 % |
621.59/621.66 c | 406935 | 136987 3193177 9687096 | 2147483647 406932 76 | 0.001 % |
622.89/622.93 c | 408335 | 136987 3193177 9687096 | 2147483647 408332 76 | 0.002 % |
625.69/625.77 c | 409875 | 136987 3193177 9687096 | 2147483647 409872 76 | 0.001 % |
628.89/628.99 c | 411569 | 136987 3193177 9687096 | 2147483647 411566 76 | 0.001 % |
631.29/631.39 c | 413433 | 136987 3193177 9687096 | 2147483647 413430 76 | 0.001 % |
635.59/635.67 c | 415482 | 136987 3193177 9687096 | 2147483647 415479 76 | 0.001 % |
639.39/639.48 c | 417736 | 136987 3193177 9687096 | 2147483647 417733 76 | 0.002 % |
642.09/642.19 c | 420214 | 136987 3193177 9687096 | 2147483647 420211 76 | 0.002 % |
646.59/646.63 c | 422940 | 136987 3193177 9687096 | 2147483647 422937 76 | 0.001 % |
652.39/652.49 c | 425938 | 136987 3193177 9687096 | 2147483647 425935 76 | 0.001 % |
658.19/658.24 c | 429234 | 136987 3193177 9687096 | 2147483647 429231 76 | 0.001 % |
665.19/665.28 c | 432859 | 136987 3193177 9687096 | 2147483647 432856 76 | 0.002 % |
672.49/672.58 c | 436846 | 136987 3193177 9687096 | 2147483647 436843 76 | 0.002 % |
672.69/672.79 c | 436946 | 136987 3193177 9687096 | 2147483647 436943 76 | 0.002 % |
672.89/673.00 c | 437057 | 136987 3193177 9687096 | 2147483647 437054 76 | 0.002 % |
673.29/673.34 c | 437178 | 136987 3193177 9687096 | 2147483647 437175 76 | 0.001 % |
673.80/673.84 c | 437312 | 136987 3193177 9687096 | 2147483647 437309 76 | 0.001 % |
674.50/674.56 c | 437459 | 136987 3193177 9687096 | 2147483647 437456 76 | 0.001 % |
674.90/675.00 c | 437620 | 136987 3193177 9687096 | 2147483647 437617 76 | 0.001 % |
675.40/675.43 c | 437800 | 136987 3193177 9687096 | 2147483647 437797 76 | 0.001 % |
675.70/675.80 c | 437993 | 136987 3193177 9687096 | 2147483647 437990 76 | 0.001 % |
676.90/676.95 c | 438206 | 136987 3193177 9687096 | 2147483647 438203 76 | 0.001 % |
677.60/677.68 c | 438439 | 136987 3193177 9687096 | 2147483647 438436 76 | 0.001 % |
678.10/678.21 c | 438695 | 136987 3193177 9687096 | 2147483647 438692 76 | 0.001 % |
678.60/678.63 c | 438976 | 136987 3193177 9687096 | 2147483647 438973 76 | 0.001 % |
679.40/679.42 c | 439288 | 136987 3193177 9687096 | 2147483647 439285 76 | 0.001 % |
680.70/680.74 c | 439627 | 136987 3193177 9687096 | 2147483647 439624 76 | 0.001 % |
682.00/682.07 c | 440000 | 136987 3193177 9687096 | 2147483647 439997 76 | 0.001 % |
682.90/683.01 c | 440411 | 136987 3193177 9687096 | 2147483647 440408 76 | 0.001 % |
683.50/683.56 c | 440860 | 136987 3193177 9687096 | 2147483647 440857 76 | 0.001 % |
684.30/684.33 c | 441353 | 136987 3193177 9687096 | 2147483647 441350 76 | 0.001 % |
685.20/685.26 c | 441895 | 136987 3193177 9687096 | 2147483647 441892 76 | 0.001 % |
686.50/686.52 c | 442492 | 136987 3193177 9687096 | 2147483647 442489 76 | 0.001 % |
687.80/687.91 c | 443147 | 136987 3193177 9687096 | 2147483647 443144 76 | 0.001 % |
690.10/690.12 c | 443876 | 136987 3193177 9687096 | 2147483647 443873 76 | 0.001 % |
692.70/692.79 c | 444668 | 136987 3193177 9687096 | 2147483647 444665 76 | 0.001 % |
693.30/693.32 c | 445540 | 136987 3193177 9687096 | 2147483647 445537 76 | 0.001 % |
695.40/695.42 c | 446498 | 136987 3193177 9687096 | 2147483647 446495 76 | 0.002 % |
696.80/696.87 c | 447552 | 136987 3193177 9687096 | 2147483647 447549 76 | 0.002 % |
698.40/698.49 c | 448710 | 136987 3193177 9687096 | 2147483647 448707 76 | 0.001 % |
702.40/702.49 c | 449983 | 136987 3193177 9687096 | 2147483647 449980 76 | 0.001 % |
705.90/705.91 c | 451384 | 136987 3193177 9687096 | 2147483647 451381 76 | 0.001 % |
707.20/707.30 c | 452925 | 136987 3193177 9687096 | 2147483647 452922 76 | 0.001 % |
708.20/708.28 c | 454619 | 136987 3193177 9687096 | 2147483647 454616 76 | 0.001 % |
714.30/714.34 c | 456482 | 136987 3193177 9687096 | 2147483647 456479 76 | 0.001 % |
717.80/717.85 c | 458531 | 136987 3193177 9687096 | 2147483647 458528 76 | 0.001 % |
721.80/721.87 c | 460784 | 136987 3193177 9687096 | 2147483647 460781 76 | 0.002 % |
724.40/724.45 c | 463262 | 136987 3193177 9687096 | 2147483647 463259 76 | 0.001 % |
728.21/728.26 c | 465988 | 136987 3193177 9687096 | 2147483647 465985 76 | 0.001 % |
732.10/732.19 c | 468986 | 136987 3193177 9687096 | 2147483647 468983 77 | 0.001 % |
735.30/735.39 c | 472282 | 136987 3193177 9687096 | 2147483647 472279 77 | 0.001 % |
743.61/743.69 c | 475908 | 136987 3193177 9687096 | 2147483647 475905 77 | 0.002 % |
752.10/752.11 c | 479898 | 136987 3193177 9687096 | 2147483647 479895 77 | 0.001 % |
760.11/760.17 c | 484283 | 136987 3193177 9687096 | 2147483647 484280 77 | 0.001 % |
760.31/760.40 c | 484383 | 136987 3193177 9687096 | 2147483647 484380 77 | 0.002 % |
760.61/760.63 c | 484494 | 136987 3193177 9687096 | 2147483647 484491 77 | 0.002 % |
760.91/761.00 c | 484615 | 136987 3193177 9687096 | 2147483647 484612 77 | 0.001 % |
761.41/761.43 c | 484748 | 136987 3193177 9687096 | 2147483647 484745 77 | 0.001 % |
761.71/761.76 c | 484895 | 136987 3193177 9687096 | 2147483647 484892 77 | 0.001 % |
762.21/762.31 c | 485055 | 136987 3193177 9687096 | 2147483647 485052 77 | 0.001 % |
762.71/762.77 c | 485231 | 136987 3193177 9687096 | 2147483647 485228 77 | 0.001 % |
763.11/763.19 c | 485425 | 136987 3193177 9687096 | 2147483647 485422 77 | 0.001 % |
763.51/763.56 c | 485637 | 136987 3193177 9687096 | 2147483647 485634 77 | 0.001 % |
764.01/764.11 c | 485870 | 136987 3193177 9687096 | 2147483647 485867 77 | 0.002 % |
764.51/764.60 c | 486127 | 136987 3193177 9687096 | 2147483647 486124 77 | 0.001 % |
765.31/765.35 c | 486409 | 136987 3193177 9687096 | 2147483647 486406 77 | 0.002 % |
765.81/765.89 c | 486718 | 136987 3193177 9687096 | 2147483647 486715 77 | 0.001 % |
766.61/766.64 c | 487057 | 136987 3193177 9687096 | 2147483647 487054 77 | 0.002 % |
767.41/767.50 c | 487434 | 136987 3193177 9687096 | 2147483647 487431 77 | 0.002 % |
768.41/768.50 c | 487844 | 136987 3193177 9687096 | 2147483647 487841 77 | 0.002 % |
769.51/769.54 c | 488293 | 136987 3193177 9687096 | 2147483647 488290 77 | 0.002 % |
770.31/770.35 c | 488787 | 136987 3193177 9687096 | 2147483647 488784 77 | 0.001 % |
771.11/771.19 c | 489329 | 136987 3193177 9687096 | 2147483647 489326 77 | 0.001 % |
772.41/772.43 c | 489926 | 136987 3193177 9687096 | 2147483647 489923 77 | 0.001 % |
773.51/773.52 c | 490581 | 136987 3193177 9687096 | 2147483647 490578 77 | 0.001 % |
774.71/774.77 c | 491301 | 136987 3193177 9687096 | 2147483647 491298 77 | 0.001 % |
775.91/775.93 c | 492093 | 136987 3193177 9687096 | 2147483647 492090 77 | 0.001 % |
777.61/777.68 c | 492964 | 136987 3193177 9687096 | 2147483647 492961 77 | 0.001 % |
780.11/780.19 c | 493922 | 136987 3193177 9687096 | 2147483647 493919 77 | 0.001 % |
782.41/782.45 c | 494977 | 136987 3193177 9687096 | 2147483647 494974 77 | 0.001 % |
784.41/784.43 c | 496135 | 136987 3193177 9687096 | 2147483647 496132 77 | 0.001 % |
787.01/787.08 c | 497408 | 136987 3193177 9687096 | 2147483647 497405 77 | 0.002 % |
789.61/789.64 c | 498808 | 136987 3193177 9687096 | 2147483647 498805 77 | 0.001 % |
793.21/793.28 c | 500349 | 136987 3193177 9687096 | 2147483647 500346 77 | 0.001 % |
796.31/796.33 c | 502043 | 136987 3193177 9687096 | 2147483647 502040 77 | 0.001 % |
798.71/798.75 c | 503908 | 136987 3193177 9687096 | 2147483647 503905 77 | 0.001 % |
802.71/802.71 c | 505957 | 136987 3193177 9687096 | 2147483647 505954 77 | 0.001 % |
807.11/807.14 c | 508210 | 136987 3193177 9687096 | 2147483647 508207 77 | 0.002 % |
810.21/810.21 c | 510689 | 136987 3193177 9687096 | 2147483647 510686 77 | 0.001 % |
816.31/816.40 c | 513414 | 136987 3193177 9687096 | 2147483647 513411 77 | 0.002 % |
822.71/822.77 c | 516411 | 136987 3193177 9687096 | 2147483647 516408 77 | 0.002 % |
828.41/828.51 c | 519708 | 136987 3193177 9687096 | 2147483647 519705 77 | 0.002 % |
835.71/835.78 c | 523333 | 136987 3193177 9687096 | 2147483647 523330 77 | 0.001 % |
842.52/842.57 c | 527321 | 136987 3193177 9687096 | 2147483647 527318 77 | 0.002 % |
851.02/851.05 c | 531709 | 136987 3193177 9687096 | 2147483647 531706 77 | 0.001 % |
859.02/859.10 c | 536532 | 136987 3193177 9687096 | 2147483647 536529 76 | 0.002 % |
859.42/859.45 c | 536632 | 136987 3193177 9687096 | 2147483647 536629 76 | 0.002 % |
859.82/859.82 c | 536743 | 136987 3193177 9687096 | 2147483647 536740 76 | 0.001 % |
860.22/860.22 c | 536864 | 136987 3193177 9687096 | 2147483647 536861 76 | 0.002 % |
860.52/860.61 c | 536998 | 136987 3193177 9687096 | 2147483647 536995 76 | 0.002 % |
861.12/861.15 c | 537144 | 136987 3193177 9687096 | 2147483647 537141 76 | 0.001 % |
861.92/861.92 c | 537304 | 136987 3193177 9687096 | 2147483647 537301 76 | 0.001 % |
862.22/862.22 c | 537481 | 136987 3193177 9687096 | 2147483647 537478 76 | 0.002 % |
862.42/862.49 c | 537674 | 136987 3193177 9687096 | 2147483647 537671 76 | 0.001 % |
863.12/863.21 c | 537886 | 136987 3193177 9687096 | 2147483647 537883 76 | 0.001 % |
863.82/863.91 c | 538121 | 136987 3193177 9687096 | 2147483647 538118 76 | 0.001 % |
864.42/864.50 c | 538377 | 136987 3193177 9687096 | 2147483647 538374 76 | 0.001 % |
864.92/865.00 c | 538668 | 136987 3193177 9687096 | 2147483647 538665 76 | 0.001 % |
865.62/865.64 c | 538978 | 136987 3193177 9687096 | 2147483647 538975 76 | 0.001 % |
866.52/866.62 c | 539318 | 136987 3193177 9687096 | 2147483647 539315 76 | 0.001 % |
867.02/867.05 c | 539694 | 136987 3193177 9687096 | 2147483647 539691 76 | 0.002 % |
867.62/867.67 c | 540103 | 136987 3193177 9687096 | 2147483647 540100 76 | 0.001 % |
868.12/868.18 c | 540552 | 136987 3193177 9687096 | 2147483647 540549 76 | 0.001 % |
869.12/869.16 c | 541045 | 136987 3193177 9687096 | 2147483647 541042 76 | 0.001 % |
870.62/870.64 c | 541587 | 136987 3193177 9687096 | 2147483647 541584 76 | 0.001 % |
871.82/871.84 c | 542184 | 136987 3193177 9687096 | 2147483647 542181 77 | 0.002 % |
873.32/873.36 c | 542840 | 136987 3193177 9687096 | 2147483647 542837 77 | 0.002 % |
874.42/874.45 c | 543560 | 136987 3193177 9687096 | 2147483647 543557 77 | 0.001 % |
876.22/876.26 c | 544353 | 136987 3193177 9687096 | 2147483647 544350 77 | 0.002 % |
877.72/877.80 c | 545224 | 136987 3193177 9687096 | 2147483647 545221 77 | 0.002 % |
879.72/879.74 c | 546182 | 136987 3193177 9687096 | 2147483647 546179 77 | 0.001 % |
881.32/881.39 c | 547235 | 136987 3193177 9687096 | 2147483647 547232 76 | 0.002 % |
884.12/884.14 c | 548393 | 136987 3193177 9687096 | 2147483647 548390 76 | 0.001 % |
886.92/886.93 c | 549667 | 136987 3193177 9687096 | 2147483647 549664 76 | 0.001 % |
889.52/889.59 c | 551067 | 136987 3193177 9687096 | 2147483647 551064 76 | 0.002 % |
893.32/893.33 c | 552609 | 136987 3193177 9687096 | 2147483647 552606 76 | 0.002 % |
897.32/897.32 c | 554303 | 136987 3193177 9687096 | 2147483647 554300 76 | 0.002 % |
900.12/900.19 c | 556166 | 136987 3193177 9687096 | 2147483647 556163 76 | 0.002 % |
904.12/904.17 c | 558215 | 136987 3193177 9687096 | 2147483647 558212 76 | 0.001 % |
908.92/908.97 c | 560468 | 136987 3193177 9687096 | 2147483647 560465 76 | 0.002 % |
913.52/913.54 c | 562947 | 136987 3193177 9687096 | 2147483647 562944 76 | 0.002 % |
917.62/917.71 c | 565672 | 136987 3193177 9687096 | 2147483647 565669 77 | 0.001 % |
922.13/922.22 c | 568669 | 136987 3193177 9687096 | 2147483647 568666 77 | 0.001 % |
928.63/928.69 c | 571966 | 136987 3193177 9687096 | 2147483647 571963 77 | 0.001 % |
936.93/937.01 c | 575591 | 136987 3193177 9687096 | 2147483647 575588 77 | 0.001 % |
944.73/944.80 c | 579578 | 136987 3193177 9687096 | 2147483647 579575 77 | 0.001 % |
954.33/954.37 c | 583964 | 136987 3193177 9687096 | 2147483647 583961 77 | 0.001 % |
963.43/963.49 c | 588788 | 136987 3193177 9687096 | 2147483647 588785 77 | 0.002 % |
973.03/973.11 c | 594093 | 136987 3193177 9687096 | 2147483647 594090 77 | 0.002 % |
973.42/973.51 c | 594194 | 136987 3193177 9687096 | 2147483647 594191 77 | 0.002 % |
973.82/973.81 c | 594304 | 136987 3193177 9687096 | 2147483647 594301 77 | 0.002 % |
974.22/974.25 c | 594425 | 136987 3193177 9687096 | 2147483647 594422 77 | 0.002 % |
974.42/974.45 c | 594558 | 136987 3193177 9687096 | 2147483647 594555 77 | 0.002 % |
974.82/974.85 c | 594705 | 136987 3193177 9687096 | 2147483647 594702 77 | 0.002 % |
975.42/975.41 c | 594866 | 136987 3193177 9687096 | 2147483647 594863 77 | 0.002 % |
975.82/975.85 c | 595042 | 136987 3193177 9687096 | 2147483647 595039 77 | 0.002 % |
976.62/976.61 c | 595235 | 136987 3193177 9687096 | 2147483647 595232 77 | 0.001 % |
977.12/977.14 c | 595447 | 136987 3193177 9687096 | 2147483647 595444 77 | 0.002 % |
977.72/977.78 c | 595680 | 136987 3193177 9687096 | 2147483647 595677 77 | 0.002 % |
978.42/978.41 c | 595936 | 136987 3193177 9687096 | 2147483647 595933 77 | 0.002 % |
979.22/979.29 c | 596217 | 136987 3193177 9687096 | 2147483647 596214 77 | 0.002 % |
980.13/980.12 c | 596527 | 136987 3193177 9687096 | 2147483647 596524 77 | 0.002 % |
981.12/981.18 c | 596866 | 136987 3193177 9687096 | 2147483647 596863 77 | 0.002 % |
981.82/981.90 c | 597238 | 136987 3193177 9687096 | 2147483647 597235 77 | 0.002 % |
983.02/983.04 c | 597647 | 136987 3193177 9687096 | 2147483647 597644 77 | 0.001 % |
984.12/984.13 c | 598097 | 136987 3193177 9687096 | 2147483647 598094 77 | 0.002 % |
985.12/985.17 c | 598590 | 136987 3193177 9687096 | 2147483647 598587 77 | 0.002 % |
987.32/987.31 c | 599132 | 136987 3193177 9687096 | 2147483647 599129 77 | 0.001 % |
989.32/989.35 c | 599728 | 136987 3193177 9687096 | 2147483647 599725 77 | 0.001 % |
990.92/990.98 c | 600383 | 136987 3193177 9687096 | 2147483647 600380 77 | 0.001 % |
992.42/992.46 c | 601104 | 136987 3193177 9687096 | 2147483647 601101 77 | 0.001 % |
993.52/993.55 c | 601896 | 136987 3193177 9687096 | 2147483647 601893 77 | 0.002 % |
994.72/994.72 c | 602769 | 136987 3193177 9687096 | 2147483647 602766 77 | 0.001 % |
999.22/999.29 c | 603727 | 136987 3193177 9687096 | 2147483647 603724 77 | 0.001 % |
1003.43/1003.44 c | 604780 | 136987 3193177 9687096 | 2147483647 604777 77 | 0.001 % |
1004.73/1004.80 c | 605939 | 136987 3193177 9687096 | 2147483647 605936 77 | 0.001 % |
1007.83/1007.86 c | 607213 | 136987 3193177 9687096 | 2147483647 607210 77 | 0.001 % |
1009.03/1009.06 c | 608613 | 136987 3193177 9687096 | 2147483647 608610 77 | 0.001 % |
1011.83/1011.88 c | 610153 | 136987 3193177 9687096 | 2147483647 610150 77 | 0.001 % |
1013.43/1013.51 c | 611849 | 136987 3193177 9687096 | 2147483647 611846 77 | 0.001 % |
1017.83/1017.86 c | 613713 | 136987 3193177 9687096 | 2147483647 613710 77 | 0.001 % |
1020.63/1020.68 c | 615763 | 136987 3193177 9687096 | 2147483647 615760 77 | 0.001 % |
1023.43/1023.47 c | 618018 | 136987 3193177 9687096 | 2147483647 618015 77 | 0.001 % |
1030.23/1030.23 c | 620496 | 136987 3193177 9687096 | 2147483647 620493 77 | 0.002 % |
1034.13/1034.21 c | 623224 | 136987 3193177 9687096 | 2147483647 623221 77 | 0.002 % |
1039.83/1039.89 c | 626221 | 136987 3193177 9687096 | 2147483647 626218 77 | 0.002 % |
1047.53/1047.60 c | 629517 | 136987 3193177 9687096 | 2147483647 629514 77 | 0.002 % |
1056.83/1056.90 c | 633143 | 136987 3193177 9687096 | 2147483647 633140 77 | 0.002 % |
1062.43/1062.41 c | 637132 | 136987 3193177 9687096 | 2147483647 637129 77 | 0.002 % |
1069.43/1069.42 c | 641517 | 136987 3193177 9687096 | 2147483647 641514 78 | 0.001 % |
1080.53/1080.55 c | 646341 | 136987 3193177 9687096 | 2147483647 646338 78 | 0.001 % |
1094.94/1095.00 c | 651646 | 136987 3193177 9687096 | 2147483647 651643 77 | 0.002 % |
1107.44/1107.49 c | 657481 | 136987 3193177 9687096 | 2147483647 657478 77 | 0.002 % |
1107.74/1107.78 c | 657581 | 136987 3193177 9687096 | 2147483647 657578 77 | 0.002 % |
1108.14/1108.18 c | 657692 | 136987 3193177 9687096 | 2147483647 657689 77 | 0.002 % |
1108.74/1108.72 c | 657815 | 136987 3193177 9687096 | 2147483647 657812 77 | 0.002 % |
1109.14/1109.17 c | 657949 | 136987 3193177 9687096 | 2147483647 657946 77 | 0.002 % |
1109.64/1109.64 c | 658095 | 136987 3193177 9687096 | 2147483647 658092 77 | 0.002 % |
1110.24/1110.27 c | 658255 | 136987 3193177 9687096 | 2147483647 658252 77 | 0.002 % |
1111.04/1111.07 c | 658431 | 136987 3193177 9687096 | 2147483647 658428 77 | 0.002 % |
1111.74/1111.81 c | 658625 | 136987 3193177 9687096 | 2147483647 658622 77 | 0.002 % |
1112.74/1112.73 c | 658837 | 136987 3193177 9687096 | 2147483647 658834 77 | 0.001 % |
1113.14/1113.18 c | 659070 | 136987 3193177 9687096 | 2147483647 659067 77 | 0.001 % |
1113.74/1113.75 c | 659326 | 136987 3193177 9687096 | 2147483647 659323 77 | 0.001 % |
1114.84/1114.83 c | 659607 | 136987 3193177 9687096 | 2147483647 659604 77 | 0.002 % |
1115.64/1115.63 c | 659916 | 136987 3193177 9687096 | 2147483647 659913 77 | 0.001 % |
1116.44/1116.50 c | 660255 | 136987 3193177 9687096 | 2147483647 660252 77 | 0.001 % |
1117.04/1117.09 c | 660627 | 136987 3193177 9687096 | 2147483647 660624 77 | 0.001 % |
1117.64/1117.69 c | 661036 | 136987 3193177 9687096 | 2147483647 661033 77 | 0.001 % |
1118.94/1118.99 c | 661486 | 136987 3193177 9687096 | 2147483647 661483 77 | 0.001 % |
1120.84/1120.83 c | 661979 | 136987 3193177 9687096 | 2147483647 661976 77 | 0.002 % |
1121.84/1121.90 c | 662521 | 136987 3193177 9687096 | 2147483647 662518 77 | 0.002 % |
1123.44/1123.48 c | 663119 | 136987 3193177 9687096 | 2147483647 663116 77 | 0.002 % |
1125.54/1125.57 c | 663774 | 136987 3193177 9687096 | 2147483647 663771 77 | 0.001 % |
1127.34/1127.36 c | 664495 | 136987 3193177 9687096 | 2147483647 664492 77 | 0.001 % |
1129.24/1129.22 c | 665287 | 136987 3193177 9687096 | 2147483647 665284 77 | 0.001 % |
1130.84/1130.81 c | 666158 | 136987 3193177 9687096 | 2147483647 666155 77 | 0.001 % |
1132.94/1132.92 c | 667116 | 136987 3193177 9687096 | 2147483647 667113 77 | 0.001 % |
1135.34/1135.37 c | 668169 | 136987 3193177 9687096 | 2147483647 668166 77 | 0.002 % |
1137.64/1137.62 c | 669327 | 136987 3193177 9687096 | 2147483647 669324 77 | 0.002 % |
1140.54/1140.54 c | 670602 | 136987 3193177 9687096 | 2147483647 670599 77 | 0.002 % |
1143.64/1143.62 c | 672004 | 136987 3193177 9687096 | 2147483647 672001 77 | 0.001 % |
1146.94/1146.99 c | 673544 | 136987 3193177 9687096 | 2147483647 673541 77 | 0.002 % |
1150.84/1150.91 c | 675239 | 136987 3193177 9687096 | 2147483647 675236 77 | 0.001 % |
1155.34/1155.35 c | 677102 | 136987 3193177 9687096 | 2147483647 677099 77 | 0.002 % |
1160.24/1160.25 c | 679153 | 136987 3193177 9687096 | 2147483647 679150 77 | 0.002 % |
1165.34/1165.36 c | 681407 | 136987 3193177 9687096 | 2147483647 681404 77 | 0.002 % |
1170.85/1170.87 c | 683885 | 136987 3193177 9687096 | 2147483647 683882 77 | 0.002 % |
1179.15/1179.13 c | 686610 | 136987 3193177 9687096 | 2147483647 686607 77 | 0.001 % |
1185.55/1185.53 c | 689607 | 136987 3193177 9687096 | 2147483647 689604 77 | 0.002 % |
1191.95/1191.96 c | 692904 | 136987 3193177 9687096 | 2147483647 692901 77 | 0.002 % |
1199.95/1199.99 c | 696529 | 136987 3193177 9687096 | 2147483647 696526 77 | 0.002 % |
runsolver version 3.2.9 (svn:503) (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w /tmp/evaluation-result-1820734-1242471959/watcher-1820734-1242471959 -o /tmp/evaluation-result-1820734-1242471959/solver-1820734-1242471959 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1820734-1242471959.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.93 0.98 0.99 2/93 22532
/proc/meminfo: memFree=1232336/2074464 swapFree=1951864/1959888
[pid=22532] ppid=22530 vsize=2416 CPUtime=0
/proc/22532/stat : 22532 (SatELiteGTI) R 22530 22532 20977 0 -1 4194304 364 642 0 0 0 0 0 0 25 0 1 0 1011697527 2473984 277 4294967295 134512640 135169312 3216160384 3216159088 134784245 0 0 4 65536 0 0 0 17 2 0 0 0
/proc/22532/statm: 604 277 235 161 0 43 0
[pid=22536] ppid=22532 vsize=88 CPUtime=0
/proc/22536/stat : 22536 (SatELite_releas) R 22532 22532 20977 0 -1 4194304 66 0 0 0 0 0 0 0 25 0 1 0 1011697527 90112 1 4294967295 0 0 3214441570 3216159012 3085232618 0 0 0 0 0 0 0 17 0 0 0 0
/proc/22536/statm: 204 7 3 174 0 29 0
[startup+0.026231 s]
/proc/loadavg: 0.93 0.98 0.99 2/93 22532
/proc/meminfo: memFree=1232336/2074464 swapFree=1951864/1959888
[pid=22532] ppid=22530 vsize=2416 CPUtime=0
/proc/22532/stat : 22532 (SatELiteGTI) S 22530 22532 20977 0 -1 4194304 369 642 0 0 0 0 0 0 25 0 1 0 1011697527 2473984 277 4294967295 134512640 135169312 3216160384 3216158920 3085229806 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/22532/statm: 604 277 235 161 0 43 0
[pid=22536] ppid=22532 vsize=3336 CPUtime=0.03
/proc/22536/stat : 22536 (SatELite_releas) R 22532 22532 20977 0 -1 4202496 696 0 0 0 2 1 0 0 25 0 1 0 1011697527 3416064 631 4294967295 134512640 135223648 3214435520 3214434088 134719062 0 0 0 3 0 0 0 17 0 0 0 0
/proc/22536/statm: 834 631 46 174 0 659 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 5752
[startup+0.106221 s]
/proc/loadavg: 0.93 0.98 0.99 2/93 22532
/proc/meminfo: memFree=1232336/2074464 swapFree=1951864/1959888
[pid=22532] ppid=22530 vsize=2416 CPUtime=0
/proc/22532/stat : 22532 (SatELiteGTI) S 22530 22532 20977 0 -1 4194304 369 642 0 0 0 0 0 0 25 0 1 0 1011697527 2473984 277 4294967295 134512640 135169312 3216160384 3216158920 3085229806 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/22532/statm: 604 277 235 161 0 43 0
[pid=22536] ppid=22532 vsize=11844 CPUtime=0.11
/proc/22536/stat : 22536 (SatELite_releas) R 22532 22532 20977 0 -1 4202496 2528 0 0 0 8 3 0 0 25 0 1 0 1011697527 12128256 2463 4294967295 134512640 135223648 3214435520 3214434472 134737310 0 0 0 3 0 0 0 17 0 0 0 0
/proc/22536/statm: 2961 2464 46 174 0 2786 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 14260
[startup+0.306202 s]
/proc/loadavg: 0.93 0.98 0.99 2/93 22532
/proc/meminfo: memFree=1232336/2074464 swapFree=1951864/1959888
[pid=22532] ppid=22530 vsize=2416 CPUtime=0
/proc/22532/stat : 22532 (SatELiteGTI) S 22530 22532 20977 0 -1 4194304 369 642 0 0 0 0 0 0 25 0 1 0 1011697527 2473984 277 4294967295 134512640 135169312 3216160384 3216158920 3085229806 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/22532/statm: 604 277 235 161 0 43 0
[pid=22536] ppid=22532 vsize=28124 CPUtime=0.31
/proc/22536/stat : 22536 (SatELite_releas) R 22532 22532 20977 0 -1 4202496 6381 0 0 0 24 7 0 0 25 0 1 0 1011697527 28798976 6316 4294967295 134512640 135223648 3214435520 3214434020 134719062 0 0 0 3 0 0 0 17 0 0 0 0
/proc/22536/statm: 7031 6316 46 174 0 6856 0
Current children cumulated CPU time (s) 0.31
Current children cumulated vsize (KiB) 30540
[startup+0.706164 s]
/proc/loadavg: 0.93 0.98 0.99 2/93 22532
/proc/meminfo: memFree=1232336/2074464 swapFree=1951864/1959888
[pid=22532] ppid=22530 vsize=2416 CPUtime=0
/proc/22532/stat : 22532 (SatELiteGTI) S 22530 22532 20977 0 -1 4194304 369 642 0 0 0 0 0 0 25 0 1 0 1011697527 2473984 277 4294967295 134512640 135169312 3216160384 3216158920 3085229806 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/22532/statm: 604 277 235 161 0 43 0
[pid=22536] ppid=22532 vsize=59900 CPUtime=0.71
/proc/22536/stat : 22536 (SatELite_releas) R 22532 22532 20977 0 -1 4202496 13640 0 0 0 59 12 0 0 25 0 1 0 1011697527 61337600 13575 4294967295 134512640 135223648 3214435520 3214434472 134737310 0 0 0 3 0 0 0 17 0 0 0 0
/proc/22536/statm: 14975 13575 46 174 0 14800 0
Current children cumulated CPU time (s) 0.71
Current children cumulated vsize (KiB) 62316
[startup+1.50608 s]
/proc/loadavg: 0.93 0.98 0.99 2/95 22537
/proc/meminfo: memFree=1157804/2074464 swapFree=1951864/1959888
[pid=22532] ppid=22530 vsize=2416 CPUtime=0
/proc/22532/stat : 22532 (SatELiteGTI) S 22530 22532 20977 0 -1 4194304 369 642 0 0 0 0 0 0 25 0 1 0 1011697527 2473984 277 4294967295 134512640 135169312 3216160384 3216158920 3085229806 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/22532/statm: 604 277 235 161 0 43 0
[pid=22536] ppid=22532 vsize=121792 CPUtime=1.51
/proc/22536/stat : 22536 (SatELite_releas) R 22532 22532 20977 0 -1 4202496 27410 0 0 0 124 27 0 0 25 0 1 0 1011697527 124715008 27346 4294967295 134512640 135223648 3214435520 3214434400 134543095 0 0 0 3 0 0 0 17 0 0 0 0
/proc/22536/statm: 30448 27346 46 174 0 30273 0
Current children cumulated CPU time (s) 1.51
Current children cumulated vsize (KiB) 124208
[startup+3.10593 s]
/proc/loadavg: 0.93 0.98 0.99 2/95 22537
/proc/meminfo: memFree=1087248/2074464 swapFree=1951864/1959888
[pid=22532] ppid=22530 vsize=2416 CPUtime=0
/proc/22532/stat : 22532 (SatELiteGTI) S 22530 22532 20977 0 -1 4194304 369 642 0 0 0 0 0 0 25 0 1 0 1011697527 2473984 277 4294967295 134512640 135169312 3216160384 3216158920 3085229806 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/22532/statm: 604 277 235 161 0 43 0
[pid=22536] ppid=22532 vsize=250380 CPUtime=3.11
/proc/22536/stat : 22536 (SatELite_releas) R 22532 22532 20977 0 -1 4202496 61212 0 0 0 253 58 0 0 25 0 1 0 1011697527 256389120 56507 4294967295 134512640 135223648 3214435520 3214433520 134548993 0 0 0 3 0 0 0 17 0 0 0 0
/proc/22536/statm: 62595 56507 73 174 0 62420 0
Current children cumulated CPU time (s) 3.11
Current children cumulated vsize (KiB) 252796
[startup+6.30561 s]
/proc/loadavg: 0.93 0.98 0.99 2/95 22537
/proc/meminfo: memFree=993504/2074464 swapFree=1951864/1959888
[pid=22532] ppid=22530 vsize=2416 CPUtime=0
/proc/22532/stat : 22532 (SatELiteGTI) S 22530 22532 20977 0 -1 4194304 369 642 0 0 0 0 0 0 25 0 1 0 1011697527 2473984 277 4294967295 134512640 135169312 3216160384 3216158920 3085229806 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/22532/statm: 604 277 235 161 0 43 0
[pid=22536] ppid=22532 vsize=265888 CPUtime=6.31
/proc/22536/stat : 22536 (SatELite_releas) R 22532 22532 20977 0 -1 4202496 64394 0 0 0 571 60 0 0 25 0 1 0 1011697527 272269312 59689 4294967295 134512640 135223648 3214435520 3214433520 134548987 0 0 0 3 0 0 0 17 0 0 0 0
/proc/22536/statm: 66472 59689 73 174 0 66297 0
Current children cumulated CPU time (s) 6.31
Current children cumulated vsize (KiB) 268304
[startup+12.705 s]
/proc/loadavg: 0.94 0.98 0.99 2/95 22538
/proc/meminfo: memFree=970752/2074464 swapFree=1951864/1959888
[pid=22532] ppid=22530 vsize=2416 CPUtime=0
/proc/22532/stat : 22532 (SatELiteGTI) S 22530 22532 20977 0 -1 4194304 369 642 0 0 0 0 0 0 25 0 1 0 1011697527 2473984 277 4294967295 134512640 135169312 3216160384 3216158920 3085229806 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/22532/statm: 604 277 235 161 0 43 0
[pid=22536] ppid=22532 vsize=299340 CPUtime=12.71
/proc/22536/stat : 22536 (SatELite_releas) R 22532 22532 20977 0 -1 4202496 69889 0 0 0 1209 62 0 0 25 0 1 0 1011697527 306524160 64882 4294967295 134512640 135223648 3214435520 3214433872 134601983 0 0 0 3 0 0 0 17 0 0 0 0
/proc/22536/statm: 74835 64882 111 174 0 74660 0
Current children cumulated CPU time (s) 12.71
Current children cumulated vsize (KiB) 301756
[startup+25.5137 s]
/proc/loadavg: 0.95 0.98 0.99 3/95 22539
/proc/meminfo: memFree=965352/2074464 swapFree=1951864/1959888
[pid=22532] ppid=22530 vsize=2416 CPUtime=0
/proc/22532/stat : 22532 (SatELiteGTI) S 22530 22532 20977 0 -1 4194304 369 642 0 0 0 0 0 0 25 0 1 0 1011697527 2473984 277 4294967295 134512640 135169312 3216160384 3216158920 3085229806 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/22532/statm: 604 277 235 161 0 43 0
[pid=22536] ppid=22532 vsize=312296 CPUtime=25.52
/proc/22536/stat : 22536 (SatELite_releas) R 22532 22532 20977 0 -1 4202496 71245 0 0 0 2489 63 0 0 25 0 1 0 1011697527 319791104 66200 4294967295 134512640 135223648 3214435520 3214433616 134586144 0 0 0 3 0 0 0 17 0 0 0 0
/proc/22536/statm: 78074 66200 73 174 0 77899 0
Current children cumulated CPU time (s) 25.52
Current children cumulated vsize (KiB) 314712
[startup+51.1112 s]
/proc/loadavg: 0.97 0.98 0.99 2/95 22725
/proc/meminfo: memFree=1010356/2074464 swapFree=1951864/1959888
[pid=22532] ppid=22530 vsize=2420 CPUtime=34.3
/proc/22532/stat : 22532 (SatELiteGTI) S 22530 22532 20977 0 -1 4194304 387 82394 0 0 0 0 3344 86 25 0 1 0 1011697527 2478080 278 4294967295 134512640 135169312 3216160384 3216156600 3085229806 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/22532/statm: 605 278 235 161 0 44 0
[pid=22541] ppid=22532 vsize=147768 CPUtime=16.73
/proc/22541/stat : 22541 (minisat_static) R 22532 22532 20977 0 -1 4202496 36338 0 0 0 1654 19 0 0 25 0 1 0 1011700966 151314432 36253 4294967295 134512640 135215339 3213157360 3213155648 134529157 0 0 0 3 0 0 0 17 2 0 0 0
/proc/22541/statm: 36942 36253 73 172 0 36769 0
Current children cumulated CPU time (s) 51.03
Current children cumulated vsize (KiB) 150188
[startup+102.316 s]
/proc/loadavg: 0.98 0.98 0.99 2/95 22730
/proc/meminfo: memFree=1003552/2074464 swapFree=1951864/1959888
[pid=22532] ppid=22530 vsize=2420 CPUtime=34.3
/proc/22532/stat : 22532 (SatELiteGTI) S 22530 22532 20977 0 -1 4194304 387 82394 0 0 0 0 3344 86 25 0 1 0 1011697527 2478080 278 4294967295 134512640 135169312 3216160384 3216156600 3085229806 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/22532/statm: 605 278 235 161 0 44 0
[pid=22541] ppid=22532 vsize=154888 CPUtime=67.94
/proc/22541/stat : 22541 (minisat_static) R 22532 22532 20977 0 -1 4202496 38099 0 0 0 6773 21 0 0 25 0 1 0 1011700966 158605312 38014 4294967295 134512640 135215339 3213157360 3213155648 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/22541/statm: 38722 38014 73 172 0 38549 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 157308
[startup+162.31 s]
/proc/loadavg: 0.99 0.98 0.99 2/95 22917
/proc/meminfo: memFree=991376/2074464 swapFree=1951864/1959888
[pid=22532] ppid=22530 vsize=2420 CPUtime=34.3
/proc/22532/stat : 22532 (SatELiteGTI) S 22530 22532 20977 0 -1 4194304 387 82394 0 0 0 0 3344 86 25 0 1 0 1011697527 2478080 278 4294967295 134512640 135169312 3216160384 3216156600 3085229806 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/22532/statm: 605 278 235 161 0 44 0
[pid=22541] ppid=22532 vsize=167064 CPUtime=127.94
/proc/22541/stat : 22541 (minisat_static) R 22532 22532 20977 0 -1 4202496 41142 0 0 0 12771 23 0 0 25 0 1 0 1011700966 171073536 41057 4294967295 134512640 135215339 3213157360 3213155648 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/22541/statm: 41766 41057 73 172 0 41593 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 169484
[startup+222.314 s]
/proc/loadavg: 1.05 1.00 1.00 3/95 23105
/proc/meminfo: memFree=979968/2074464 swapFree=1951864/1959888
[pid=22532] ppid=22530 vsize=2420 CPUtime=34.3
/proc/22532/stat : 22532 (SatELiteGTI) S 22530 22532 20977 0 -1 4194304 387 82394 0 0 0 0 3344 86 25 0 1 0 1011697527 2478080 278 4294967295 134512640 135169312 3216160384 3216156600 3085229806 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/22532/statm: 605 278 235 161 0 44 0
[pid=22541] ppid=22532 vsize=178332 CPUtime=187.95
/proc/22541/stat : 22541 (minisat_static) R 22532 22532 20977 0 -1 4202496 43931 0 0 0 18766 29 0 0 25 0 1 0 1011700966 182611968 43846 4294967295 134512640 135215339 3213157360 3213155360 134532650 0 0 0 3 0 0 0 17 2 0 0 0
/proc/22541/statm: 44583 43846 73 172 0 44410 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 180752
[startup+282.309 s]
/proc/loadavg: 1.02 1.00 1.00 2/95 23292
/proc/meminfo: memFree=965716/2074464 swapFree=1951864/1959888
[pid=22532] ppid=22530 vsize=2420 CPUtime=34.3
/proc/22532/stat : 22532 (SatELiteGTI) S 22530 22532 20977 0 -1 4194304 387 82394 0 0 0 0 3344 86 25 0 1 0 1011697527 2478080 278 4294967295 134512640 135169312 3216160384 3216156600 3085229806 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/22532/statm: 605 278 235 161 0 44 0
[pid=22541] ppid=22532 vsize=193004 CPUtime=247.95
/proc/22541/stat : 22541 (minisat_static) R 22532 22532 20977 0 -1 4202496 47547 0 0 0 24763 32 0 0 25 0 1 0 1011700966 197636096 47462 4294967295 134512640 135215339 3213157360 3213155456 134527194 0 0 0 3 0 0 0 17 2 0 0 0
/proc/22541/statm: 48251 47462 73 172 0 48078 0
Current children cumulated CPU time (s) 282.25
Current children cumulated vsize (KiB) 195424
[startup+342.313 s]
/proc/loadavg: 1.05 1.01 1.00 3/95 23487
/proc/meminfo: memFree=948336/2074464 swapFree=1951864/1959888
[pid=22532] ppid=22530 vsize=2420 CPUtime=34.3
/proc/22532/stat : 22532 (SatELiteGTI) S 22530 22532 20977 0 -1 4194304 387 82394 0 0 0 0 3344 86 25 0 1 0 1011697527 2478080 278 4294967295 134512640 135169312 3216160384 3216156600 3085229806 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/22532/statm: 605 278 235 161 0 44 0
[pid=22541] ppid=22532 vsize=210324 CPUtime=307.96
/proc/22541/stat : 22541 (minisat_static) R 22532 22532 20977 0 -1 4202496 51937 0 0 0 30762 34 0 0 25 0 1 0 1011700966 215371776 51852 4294967295 134512640 135215339 3213157360 3213155648 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/22541/statm: 52581 51852 73 172 0 52408 0
Current children cumulated CPU time (s) 342.26
################
# More data... #
################
/proc/22541/statm: 66146 65279 73 172 0 65973 0
Current children cumulated CPU time (s) 522.29
Current children cumulated vsize (KiB) 267004
[startup+582.319 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 24237
/proc/meminfo: memFree=880152/2074464 swapFree=1951864/1959888
[pid=22532] ppid=22530 vsize=2420 CPUtime=34.3
/proc/22532/stat : 22532 (SatELiteGTI) S 22530 22532 20977 0 -1 4194304 387 82394 0 0 0 0 3344 86 25 0 1 0 1011697527 2478080 278 4294967295 134512640 135169312 3216160384 3216156600 3085229806 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/22532/statm: 605 278 235 161 0 44 0
[pid=22541] ppid=22532 vsize=279212 CPUtime=547.99
/proc/22541/stat : 22541 (minisat_static) R 22532 22532 20977 0 -1 4202496 69034 0 0 0 54753 46 0 0 25 0 1 0 1011700966 285913088 68949 4294967295 134512640 135215339 3213157360 3213155648 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/22541/statm: 69803 68949 73 172 0 69630 0
Current children cumulated CPU time (s) 582.29
Current children cumulated vsize (KiB) 281632
[startup+642.313 s]
/proc/loadavg: 1.00 1.00 1.00 3/95 24426
/proc/meminfo: memFree=867016/2074464 swapFree=1951864/1959888
[pid=22532] ppid=22530 vsize=2420 CPUtime=34.3
/proc/22532/stat : 22532 (SatELiteGTI) S 22530 22532 20977 0 -1 4194304 387 82394 0 0 0 0 3344 86 25 0 1 0 1011697527 2478080 278 4294967295 134512640 135169312 3216160384 3216156600 3085229806 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/22532/statm: 605 278 235 161 0 44 0
[pid=22541] ppid=22532 vsize=292156 CPUtime=607.99
/proc/22541/stat : 22541 (minisat_static) R 22532 22532 20977 0 -1 4202496 72271 0 0 0 60753 46 0 0 25 0 1 0 1011700966 299167744 72186 4294967295 134512640 135215339 3213157360 3213155648 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/22541/statm: 73039 72186 73 172 0 72866 0
Current children cumulated CPU time (s) 642.29
Current children cumulated vsize (KiB) 294576
[startup+702.317 s]
/proc/loadavg: 1.00 1.00 1.00 3/95 24621
/proc/meminfo: memFree=856276/2074464 swapFree=1951864/1959888
[pid=22532] ppid=22530 vsize=2420 CPUtime=34.3
/proc/22532/stat : 22532 (SatELiteGTI) S 22530 22532 20977 0 -1 4194304 387 82394 0 0 0 0 3344 86 25 0 1 0 1011697527 2478080 278 4294967295 134512640 135169312 3216160384 3216156600 3085229806 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/22532/statm: 605 278 235 161 0 44 0
[pid=22541] ppid=22532 vsize=302764 CPUtime=668
/proc/22541/stat : 22541 (minisat_static) R 22532 22532 20977 0 -1 4202496 74900 0 0 0 66753 47 0 0 25 0 1 0 1011700966 310030336 74815 4294967295 134512640 135215339 3213157360 3213155648 134529148 0 0 0 3 0 0 0 17 2 0 0 0
/proc/22541/statm: 75691 74815 73 172 0 75518 0
Current children cumulated CPU time (s) 702.3
Current children cumulated vsize (KiB) 305184
[startup+762.321 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 24808
/proc/meminfo: memFree=842256/2074464 swapFree=1951864/1959888
[pid=22532] ppid=22530 vsize=2420 CPUtime=34.3
/proc/22532/stat : 22532 (SatELiteGTI) S 22530 22532 20977 0 -1 4194304 387 82394 0 0 0 0 3344 86 25 0 1 0 1011697527 2478080 278 4294967295 134512640 135169312 3216160384 3216156600 3085229806 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/22532/statm: 605 278 235 161 0 44 0
[pid=22541] ppid=22532 vsize=317960 CPUtime=728.01
/proc/22541/stat : 22541 (minisat_static) R 22532 22532 20977 0 -1 4202496 78399 0 0 0 72749 52 0 0 25 0 1 0 1011700966 325591040 78314 4294967295 134512640 135215339 3213157360 3213155648 134528849 0 0 0 3 0 0 0 17 2 0 0 0
/proc/22541/statm: 79490 78314 73 172 0 79317 0
Current children cumulated CPU time (s) 762.31
Current children cumulated vsize (KiB) 320380
[startup+822.315 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 24996
/proc/meminfo: memFree=832452/2074464 swapFree=1951864/1959888
[pid=22532] ppid=22530 vsize=2420 CPUtime=34.3
/proc/22532/stat : 22532 (SatELiteGTI) S 22530 22532 20977 0 -1 4194304 387 82394 0 0 0 0 3344 86 25 0 1 0 1011697527 2478080 278 4294967295 134512640 135169312 3216160384 3216156600 3085229806 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/22532/statm: 605 278 235 161 0 44 0
[pid=22541] ppid=22532 vsize=328240 CPUtime=788.01
/proc/22541/stat : 22541 (minisat_static) R 22532 22532 20977 0 -1 4202496 80963 0 0 0 78746 55 0 0 25 0 1 0 1011700966 336117760 80878 4294967295 134512640 135215339 3213157360 3213155648 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/22541/statm: 82060 80878 73 172 0 81887 0
Current children cumulated CPU time (s) 822.31
Current children cumulated vsize (KiB) 330660
[startup+882.32 s]
/proc/loadavg: 1.00 1.00 1.00 3/95 25183
/proc/meminfo: memFree=822044/2074464 swapFree=1951864/1959888
[pid=22532] ppid=22530 vsize=2420 CPUtime=34.3
/proc/22532/stat : 22532 (SatELiteGTI) S 22530 22532 20977 0 -1 4194304 387 82394 0 0 0 0 3344 86 25 0 1 0 1011697527 2478080 278 4294967295 134512640 135169312 3216160384 3216156600 3085229806 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/22532/statm: 605 278 235 161 0 44 0
[pid=22541] ppid=22532 vsize=338616 CPUtime=848.02
/proc/22541/stat : 22541 (minisat_static) R 22532 22532 20977 0 -1 4202496 83559 0 0 0 84746 56 0 0 25 0 1 0 1011700966 346742784 83474 4294967295 134512640 135215339 3213157360 3213155648 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/22541/statm: 84654 83474 73 172 0 84481 0
Current children cumulated CPU time (s) 882.32
Current children cumulated vsize (KiB) 341036
[startup+942.324 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 25372
/proc/meminfo: memFree=810008/2074464 swapFree=1951864/1959888
[pid=22532] ppid=22530 vsize=2420 CPUtime=34.3
/proc/22532/stat : 22532 (SatELiteGTI) S 22530 22532 20977 0 -1 4194304 387 82394 0 0 0 0 3344 86 25 0 1 0 1011697527 2478080 278 4294967295 134512640 135169312 3216160384 3216156600 3085229806 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/22532/statm: 605 278 235 161 0 44 0
[pid=22541] ppid=22532 vsize=350648 CPUtime=908.03
/proc/22541/stat : 22541 (minisat_static) R 22532 22532 20977 0 -1 4202496 86517 0 0 0 90745 58 0 0 25 0 1 0 1011700966 359063552 86432 4294967295 134512640 135215339 3213157360 3213155648 134528788 0 0 0 3 0 0 0 17 2 0 0 0
/proc/22541/statm: 87662 86432 73 172 0 87489 0
Current children cumulated CPU time (s) 942.33
Current children cumulated vsize (KiB) 353068
[startup+1002.32 s]
/proc/loadavg: 1.04 1.01 1.00 2/95 25560
/proc/meminfo: memFree=801220/2074464 swapFree=1951864/1959888
[pid=22532] ppid=22530 vsize=2420 CPUtime=34.3
/proc/22532/stat : 22532 (SatELiteGTI) S 22530 22532 20977 0 -1 4194304 387 82394 0 0 0 0 3344 86 25 0 1 0 1011697527 2478080 278 4294967295 134512640 135169312 3216160384 3216156600 3085229806 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/22532/statm: 605 278 235 161 0 44 0
[pid=22541] ppid=22532 vsize=359504 CPUtime=968.03
/proc/22541/stat : 22541 (minisat_static) R 22532 22532 20977 0 -1 4202496 88663 0 0 0 96743 60 0 0 25 0 1 0 1011700966 368132096 88578 4294967295 134512640 135215339 3213157360 3213155648 134528624 0 0 0 3 0 0 0 17 2 0 0 0
/proc/22541/statm: 89876 88578 73 172 0 89703 0
Current children cumulated CPU time (s) 1002.33
Current children cumulated vsize (KiB) 361924
[startup+1062.31 s]
/proc/loadavg: 1.09 1.04 1.01 3/95 25751
/proc/meminfo: memFree=788432/2074464 swapFree=1951864/1959888
[pid=22532] ppid=22530 vsize=2420 CPUtime=34.3
/proc/22532/stat : 22532 (SatELiteGTI) S 22530 22532 20977 0 -1 4194304 387 82394 0 0 0 0 3344 86 25 0 1 0 1011697527 2478080 278 4294967295 134512640 135169312 3216160384 3216156600 3085229806 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/22532/statm: 605 278 235 161 0 44 0
[pid=22541] ppid=22532 vsize=372532 CPUtime=1028.03
/proc/22541/stat : 22541 (minisat_static) R 22532 22532 20977 0 -1 4202496 92005 0 0 0 102741 62 0 0 25 0 1 0 1011700966 381472768 91920 4294967295 134512640 135215339 3213157360 3213155648 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/22541/statm: 93133 91920 73 172 0 92960 0
Current children cumulated CPU time (s) 1062.33
Current children cumulated vsize (KiB) 374952
[startup+1122.32 s]
/proc/loadavg: 1.10 1.05 1.01 3/95 25939
/proc/meminfo: memFree=779876/2074464 swapFree=1951864/1959888
[pid=22532] ppid=22530 vsize=2420 CPUtime=34.3
/proc/22532/stat : 22532 (SatELiteGTI) S 22530 22532 20977 0 -1 4194304 387 82394 0 0 0 0 3344 86 25 0 1 0 1011697527 2478080 278 4294967295 134512640 135169312 3216160384 3216156600 3085229806 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/22532/statm: 605 278 235 161 0 44 0
[pid=22541] ppid=22532 vsize=380172 CPUtime=1088.04
/proc/22541/stat : 22541 (minisat_static) R 22532 22532 20977 0 -1 4202496 93963 0 0 0 108742 62 0 0 25 0 1 0 1011700966 389296128 93878 4294967295 134512640 135215339 3213157360 3213155648 134528742 0 0 0 3 0 0 0 17 2 0 0 0
/proc/22541/statm: 95043 93878 73 172 0 94870 0
Current children cumulated CPU time (s) 1122.34
Current children cumulated vsize (KiB) 382592
[startup+1182.32 s]
/proc/loadavg: 1.13 1.07 1.02 3/95 26126
/proc/meminfo: memFree=772188/2074464 swapFree=1951864/1959888
[pid=22532] ppid=22530 vsize=2420 CPUtime=34.3
/proc/22532/stat : 22532 (SatELiteGTI) S 22530 22532 20977 0 -1 4194304 387 82394 0 0 0 0 3344 86 25 0 1 0 1011697527 2478080 278 4294967295 134512640 135169312 3216160384 3216156600 3085229806 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/22532/statm: 605 278 235 161 0 44 0
[pid=22541] ppid=22532 vsize=388232 CPUtime=1148.05
/proc/22541/stat : 22541 (minisat_static) R 22532 22532 20977 0 -1 4202496 95872 0 0 0 114738 67 0 0 25 0 1 0 1011700966 397549568 95787 4294967295 134512640 135215339 3213157360 3213155648 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/22541/statm: 97058 95787 73 172 0 96885 0
Current children cumulated CPU time (s) 1182.35
Current children cumulated vsize (KiB) 390652
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1200.02 s]
/proc/loadavg: 1.10 1.07 1.01 2/95 26311
/proc/meminfo: memFree=768572/2074464 swapFree=1951864/1959888
[pid=22532] ppid=22530 vsize=2420 CPUtime=34.3
/proc/22532/stat : 22532 (SatELiteGTI) S 22530 22532 20977 0 -1 4194304 387 82394 0 0 0 0 3344 86 25 0 1 0 1011697527 2478080 278 4294967295 134512640 135169312 3216160384 3216156600 3085229806 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/22532/statm: 605 278 235 161 0 44 0
[pid=22541] ppid=22532 vsize=391344 CPUtime=1165.75
/proc/22541/stat : 22541 (minisat_static) R 22532 22532 20977 0 -1 4202496 96708 0 0 0 116508 67 0 0 25 0 1 0 1011700966 400736256 96623 4294967295 134512640 135215339 3213157360 3213155648 134528860 0 0 0 3 0 0 0 17 2 0 0 0
/proc/22541/statm: 97836 96623 73 172 0 97663 0
Current children cumulated CPU time (s) 1200.05
Current children cumulated vsize (KiB) 393764
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)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 22532 and gives
# childrusage.ru_utime.tv_sec=33
# childrusage.ru_utime.tv_usec=440000
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=860000
# CPU time returned by wait4() is 34.3
# while last known CPU time is 1200.05
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1200.05
CPU time (s): 1200.05
CPU user time (s): 1198.52
CPU system time (s): 1.53
CPU usage (%): 100
Max. virtual memory (cumulated for all children) (KiB): 393764
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 33.44
system time used= 0.86
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 82781
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= 22
involuntary context switches= 97
runsolver used 0.02 second user time and 0.05 second system time
The end
Begin job on tipi10 at 2009-05-16 13:05:59
IDJOB=1820734
IDBENCH=69571
IDSOLVER=657
FILE ID=tipi10/1820734-1242471959
PBS_JOBID=
Free space on /tmp= 4364 MiB
SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT_RACE08/cnf/velev-vliw-uns-4.0-9-i1.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= runsolver --timestamp -w /tmp/evaluation-result-1820734-1242471959/watcher-1820734-1242471959 -o /tmp/evaluation-result-1820734-1242471959/solver-1820734-1242471959 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1820734-1242471959.cnf
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 590cca3a58efdeb1c95ef988a53daa1d
RANDOM SEED= 1793158723
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: 1232336 kB
Buffers: 15760 kB
Cached: 722944 kB
SwapCached: 2724 kB
Active: 403376 kB
Inactive: 345312 kB
HighTotal: 1178688 kB
HighFree: 600464 kB
LowTotal: 895776 kB
LowFree: 631872 kB
SwapTotal: 1959888 kB
SwapFree: 1951864 kB
Dirty: 71508 kB
Writeback: 0 kB
AnonPages: 9156 kB
Mapped: 3384 kB
Slab: 84212 kB
PageTables: 420 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 2997120 kB
Committed_AS: 90596 kB
VmallocTotal: 114680 kB
VmallocUsed: 1324 kB
VmallocChunk: 113264 kB
Free space on /tmp at the end= 4292 MiB
End job on tipi10 at 2009-05-16 13:26:07