0.00/0.00 c Parsing...
0.52/0.52 c ==============================================================================
0.52/0.52 c | | ORIGINAL | LEARNT | |
0.52/0.52 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress |
0.52/0.52 c ==============================================================================
0.52/0.52 c | 0 | 547077 1276513 | 164123 0 0 nan | 0.000 % |
3.52/3.55 c | 0 | 222774 884637 | -- 0 -- -- | -- | -324296/-391859
3.52/3.55 c ==============================================================================
3.52/3.55 c Result : #vars: 28754 #clauses: 222774 #literals: 884637
3.52/3.55 c CPU time: 3.34 s
3.52/3.55 c ==============================================================================
3.82/3.86 c This is MiniSat 2.0 beta
3.82/3.86 c WARNING: for repeatability, setting FPU to use double precision
3.82/3.86 c ============================[ Problem Statistics ]=============================
3.82/3.86 c | |
3.82/3.86 c | Number of variables: 28754 |
3.82/3.86 c | Number of clauses: 222774 |
3.87/4.03 c | Parsing time: 0.17 s |
3.87/4.05 c ============================[ Search Statistics ]==============================
3.87/4.05 c | Conflicts | ORIGINAL | LEARNT | Progress |
3.87/4.05 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
3.87/4.05 c ===============================================================================
3.87/4.05 c | 0 | 28754 222774 884637 | 74258 0 nan | 0.000 % |
3.87/4.23 c | 512 | 28746 222774 884637 | 74258 508 22 | 0.063 % |
4.43/4.44 c | 1024 | 28746 222774 884637 | 74258 1020 28 | 0.063 % |
4.62/4.67 c | 1536 | 28723 222774 884637 | 74258 1526 25 | 0.177 % |
4.72/4.75 c | 2564 | 28701 222463 883677 | 74258 2550 26 | 0.198 % |
4.92/4.95 c | 3077 | 28697 222463 883677 | 74258 3059 26 | 0.212 % |
5.02/5.03 c | 3589 | 28696 222463 883677 | 74258 3570 26 | 0.236 % |
5.32/5.36 c | 4613 | 28686 222463 883677 | 74258 4590 27 | 0.285 % |
5.72/5.79 c | 6661 | 28672 222014 882238 | 74258 6635 35 | 0.285 % |
5.92/5.99 c | 7173 | 28672 222014 882238 | 74258 7147 34 | 0.285 % |
6.12/6.13 c | 7685 | 28672 222014 882238 | 74258 7659 34 | 0.285 % |
6.22/6.24 c | 8709 | 28672 222014 882238 | 74258 8683 35 | 0.285 % |
6.42/6.49 c | 9221 | 28672 222014 882238 | 74258 9195 35 | 0.285 % |
6.52/6.53 c | 9733 | 28672 222014 882238 | 74258 9707 34 | 0.285 % |
7.12/7.13 c | 10758 | 28672 222014 882238 | 2147483647 10732 35 | 0.285 % |
7.42/7.46 c | 12807 | 28672 222014 882238 | 2147483647 12781 37 | 0.285 % |
8.02/8.04 c | 16905 | 28668 221862 881623 | 2147483647 16877 36 | 0.299 % |
8.12/8.19 c | 17419 | 28663 221862 881623 | 2147483647 17390 36 | 0.337 % |
8.22/8.29 c | 17932 | 28663 221862 881623 | 2147483647 17903 37 | 0.337 % |
8.32/8.37 c | 18956 | 28663 221862 881623 | 2147483647 18927 36 | 0.337 % |
8.52/8.58 c | 19468 | 28663 221862 881623 | 2147483647 19439 36 | 0.337 % |
8.72/8.72 c | 19980 | 28657 221499 880307 | 2147483647 19950 36 | 0.337 % |
9.02/9.08 c | 21008 | 28657 221499 880307 | 2147483647 20978 37 | 0.337 % |
9.22/9.22 c | 23057 | 28657 221499 880307 | 2147483647 23027 36 | 0.337 % |
9.32/9.35 c | 23570 | 28657 221499 880307 | 2147483647 23540 36 | 0.337 % |
9.42/9.46 c | 24083 | 28657 221499 880307 | 2147483647 24053 36 | 0.337 % |
9.72/9.76 c | 25107 | 28657 221499 880307 | 2147483647 25077 36 | 0.337 % |
9.93/9.95 c | 25619 | 28657 221499 880307 | 2147483647 25589 36 | 0.337 % |
9.93/10.00 c | 26131 | 28657 221499 880307 | 2147483647 26101 36 | 0.337 % |
10.32/10.32 c | 27155 | 28657 221499 880307 | 2147483647 27125 36 | 0.337 % |
10.52/10.57 c | 29203 | 28657 221499 880307 | 2147483647 29173 35 | 0.337 % |
11.22/11.31 c | 33299 | 28657 221499 880307 | 2147483647 33269 35 | 0.337 % |
12.52/12.54 c | 41491 | 28657 221499 880307 | 2147483647 41461 35 | 0.337 % |
12.72/12.79 c | 42004 | 28657 221499 880307 | 2147483647 41974 35 | 0.337 % |
12.82/12.88 c | 42517 | 28657 221499 880307 | 2147483647 42487 35 | 0.337 % |
13.12/13.16 c | 43541 | 28657 221499 880307 | 2147483647 43511 35 | 0.337 % |
13.23/13.26 c | 44054 | 28657 221499 880307 | 2147483647 44024 35 | 0.337 % |
13.52/13.56 c | 44566 | 28657 221499 880307 | 2147483647 44536 35 | 0.337 % |
13.72/13.73 c | 45591 | 28657 221499 880307 | 2147483647 45561 35 | 0.337 % |
14.02/14.10 c | 47639 | 28657 221499 880307 | 2147483647 47609 35 | 0.337 % |
14.22/14.24 c | 48151 | 28657 221499 880307 | 2147483647 48121 35 | 0.337 % |
14.33/14.39 c | 48663 | 28657 221499 880307 | 2147483647 48633 35 | 0.337 % |
14.62/14.61 c | 49687 | 28657 221499 880307 | 2147483647 49657 35 | 0.337 % |
14.62/14.70 c | 50200 | 28657 221499 880307 | 2147483647 50170 35 | 0.337 % |
14.72/14.81 c | 50716 | 28657 221499 880307 | 2147483647 50686 35 | 0.337 % |
14.92/14.99 c | 51740 | 28657 221499 880307 | 2147483647 51710 36 | 0.337 % |
15.32/15.39 c | 53788 | 28657 221499 880307 | 2147483647 53758 36 | 0.337 % |
16.62/16.66 c | 57885 | 28657 221499 880307 | 2147483647 57855 36 | 0.337 % |
16.82/16.84 c | 58398 | 28657 221499 880307 | 2147483647 58368 36 | 0.337 % |
17.02/17.04 c | 58910 | 28657 221499 880307 | 2147483647 58880 36 | 0.337 % |
17.42/17.48 c | 59934 | 28657 221499 880307 | 2147483647 59904 36 | 0.337 % |
17.52/17.59 c | 60446 | 28657 221499 880307 | 2147483647 60416 36 | 0.337 % |
17.72/17.73 c | 60958 | 28657 221499 880307 | 2147483647 60928 36 | 0.337 % |
17.82/17.88 c | 61983 | 28657 221499 880307 | 2147483647 61953 36 | 0.337 % |
18.42/18.51 c | 64032 | 28657 221499 880307 | 2147483647 64002 36 | 0.337 % |
18.73/18.73 c | 64545 | 28657 221499 880307 | 2147483647 64515 36 | 0.337 % |
18.93/18.92 c | 65058 | 28657 221499 880307 | 2147483647 65028 36 | 0.337 % |
19.23/19.22 c | 66084 | 28657 221499 880307 | 2147483647 66054 36 | 0.337 % |
19.33/19.40 c | 66596 | 28657 221499 880307 | 2147483647 66566 36 | 0.337 % |
19.53/19.60 c | 67108 | 28657 221499 880307 | 2147483647 67078 36 | 0.337 % |
19.83/19.86 c | 68132 | 28657 221499 880307 | 2147483647 68102 36 | 0.337 % |
20.33/20.35 c | 70181 | 28657 221499 880307 | 2147483647 70151 36 | 0.337 % |
22.43/22.47 c | 74277 | 28657 221499 880307 | 2147483647 74247 37 | 0.337 % |
24.83/24.91 c | 82471 | 28657 221499 880307 | 79971 82441 37 | 0.337 % |
30.83/30.85 c | 98858 | 28657 221499 880307 | 78045 72300 37 | 0.337 % |
31.03/31.07 c | 99371 | 28657 221499 880307 | 78045 72813 37 | 0.337 % |
31.23/31.30 c | 99883 | 28657 221499 880307 | 78045 73325 37 | 0.337 % |
31.73/31.79 c | 100907 | 28657 221499 880307 | 73442 74349 37 | 0.337 % |
32.33/32.32 c | 101419 | 28657 221499 880307 | 73442 62910 37 | 0.337 % |
32.53/32.52 c | 101933 | 28657 221499 880307 | 73442 63424 37 | 0.337 % |
32.73/32.81 c | 102957 | 28657 221499 880307 | 73442 64448 37 | 0.337 % |
33.33/33.32 c | 105005 | 28657 221499 880307 | 73442 66496 37 | 0.337 % |
33.43/33.44 c | 105518 | 28657 221499 880307 | 73442 67009 37 | 0.337 % |
33.63/33.62 c | 106032 | 28657 221499 880307 | 73442 67523 37 | 0.337 % |
34.13/34.12 c | 107057 | 28657 221499 880307 | 73442 68548 38 | 0.337 % |
34.23/34.22 c | 107569 | 28657 221499 880307 | 73442 69060 38 | 0.337 % |
34.33/34.39 c | 108089 | 28657 221499 880307 | 73442 69580 38 | 0.337 % |
34.53/34.59 c | 109113 | 28657 221499 880307 | 73442 70604 38 | 0.337 % |
34.93/35.01 c | 111163 | 28657 221499 880307 | 2147483647 72654 38 | 0.337 % |
36.03/36.05 c | 115259 | 28657 221499 880307 | 2147483647 76750 38 | 0.337 % |
36.33/36.40 c | 115771 | 28657 221499 880307 | 2147483647 77262 39 | 0.337 % |
36.53/36.59 c | 116283 | 28657 221499 880307 | 2147483647 77774 39 | 0.337 % |
36.83/36.90 c | 117309 | 28657 221499 880307 | 2147483647 78800 38 | 0.337 % |
37.23/37.29 c | 117821 | 28657 221499 880307 | 2147483647 79312 38 | 0.337 % |
37.43/37.50 c | 118334 | 28657 221499 880307 | 2147483647 79825 38 | 0.337 % |
37.73/37.77 c | 119358 | 28657 221499 880307 | 2147483647 80849 38 | 0.337 % |
38.53/38.56 c | 121409 | 28657 221499 880307 | 81494 82900 39 | 0.337 % |
38.93/38.93 c | 121921 | 28657 221499 880307 | 81494 67134 39 | 0.337 % |
39.13/39.13 c | 122434 | 28657 221499 880307 | 81494 67647 39 | 0.337 % |
39.33/39.40 c | 123459 | 28657 221499 880307 | 81494 68672 39 | 0.337 % |
39.53/39.53 c | 123971 | 28657 221499 880307 | 81494 69184 39 | 0.337 % |
39.63/39.67 c | 124483 | 28657 221499 880307 | 81494 69696 39 | 0.337 % |
40.13/40.17 c | 125508 | 28654 221473 880233 | 81494 70719 39 | 0.348 % |
40.43/40.47 c | 127557 | 28654 221473 880233 | 81494 72768 39 | 0.348 % |
41.23/41.26 c | 131653 | 28654 221473 880233 | 75212 76864 38 | 0.348 % |
47.23/47.24 c | 139846 | 28651 221473 880233 | 75212 72117 38 | 0.358 % |
47.33/47.41 c | 140358 | 28651 221456 880187 | 2147483647 72628 38 | 0.358 % |
47.53/47.57 c | 140873 | 28651 221456 880187 | 2147483647 73143 38 | 0.358 % |
48.23/48.25 c | 141897 | 28651 221456 880187 | 2147483647 74167 39 | 0.358 % |
48.53/48.53 c | 142409 | 28651 221456 880187 | 2147483647 74679 39 | 0.358 % |
48.63/48.70 c | 142925 | 28651 221456 880187 | 2147483647 75195 39 | 0.358 % |
49.03/49.10 c | 143952 | 28651 221456 880187 | 2147483647 76222 39 | 0.358 % |
49.53/49.52 c | 146000 | 28651 221456 880187 | 2147483647 78270 39 | 0.358 % |
49.63/49.67 c | 146515 | 28651 221456 880187 | 2147483647 78785 39 | 0.358 % |
49.83/49.86 c | 147031 | 28651 221456 880187 | 2147483647 79301 39 | 0.358 % |
50.13/50.15 c | 148058 | 28651 221456 880187 | 2147483647 80328 39 | 0.358 % |
50.33/50.33 c | 148570 | 28651 221456 880187 | 2147483647 80840 39 | 0.358 % |
50.43/50.49 c | 149088 | 28651 221456 880187 | 2147483647 81358 39 | 0.358 % |
51.33/51.32 c | 150113 | 28651 221456 880187 | 82270 82383 40 | 0.358 % |
51.83/51.88 c | 152161 | 28651 221456 880187 | 82270 72368 39 | 0.358 % |
54.43/54.49 c | 156258 | 28651 221456 880187 | 82270 76465 41 | 0.358 % |
54.63/54.63 c | 156770 | 28651 221456 880187 | 82270 76977 41 | 0.358 % |
54.83/54.87 c | 157285 | 28651 221456 880187 | 82270 77492 41 | 0.358 % |
55.13/55.20 c | 158310 | 28651 221456 880187 | 82270 78517 41 | 0.358 % |
55.43/55.47 c | 158823 | 28651 221456 880187 | 82270 79030 41 | 0.358 % |
55.63/55.68 c | 159335 | 28651 221456 880187 | 82270 79542 41 | 0.358 % |
55.93/55.97 c | 160359 | 28651 221456 880187 | 80213 80566 42 | 0.358 % |
56.63/56.68 c | 162409 | 28651 221456 880187 | 80213 68453 41 | 0.358 % |
56.83/56.85 c | 162922 | 28651 221456 880187 | 80213 68966 41 | 0.358 % |
57.03/57.01 c | 163436 | 28651 221456 880187 | 80213 69480 41 | 0.358 % |
57.63/57.64 c | 164460 | 28651 221456 880187 | 80213 70504 41 | 0.358 % |
57.83/57.85 c | 164972 | 28651 221456 880187 | 80213 71016 41 | 0.359 % |
58.23/58.23 c | 165486 | 28651 221456 880187 | 80213 71530 41 | 0.358 % |
58.53/58.53 c | 166510 | 28651 221456 880187 | 80213 72554 41 | 0.358 % |
59.03/59.04 c | 168558 | 28651 221456 880187 | 80213 74602 41 | 0.358 % |
60.13/60.19 c | 172654 | 28651 221456 880187 | 76045 78698 40 | 0.358 % |
66.33/66.32 c | 180846 | 28651 221456 880187 | 76050 76896 41 | 0.358 % |
75.43/75.45 c | 197230 | 28651 221456 880187 | 77444 76731 39 | 0.358 % |
87.03/87.03 c | 230000 | 28637 221382 879977 | 81504 82656 36 | 0.407 % |
87.23/87.27 c | 230512 | 28637 221382 879977 | 82656 83168 36 | 0.407 % |
87.53/87.56 c | 231028 | 28637 221382 879977 | 82656 74317 36 | 0.407 % |
88.03/88.01 c | 232055 | 28637 221382 879977 | 82656 75344 36 | 0.407 % |
88.33/88.33 c | 232567 | 28637 221382 879977 | 82656 75856 36 | 0.407 % |
88.43/88.50 c | 233080 | 28637 221382 879977 | 82656 76369 36 | 0.407 % |
89.03/89.07 c | 234104 | 28637 221382 879977 | 82656 77393 36 | 0.407 % |
89.73/89.72 c | 236152 | 28637 221382 879977 | 82656 79441 36 | 0.407 % |
90.03/90.03 c | 236664 | 28637 221382 879977 | 82656 79953 36 | 0.407 % |
90.24/90.24 c | 237179 | 28637 221382 879977 | 82656 80468 36 | 0.407 % |
90.73/90.77 c | 238203 | 28637 221382 879977 | 82656 81492 37 | 0.407 % |
90.93/90.99 c | 238716 | 28637 221382 879977 | 82656 82005 37 | 0.407 % |
91.13/91.18 c | 239228 | 28637 221382 879977 | 82656 82517 37 | 0.407 % |
91.53/91.51 c | 240253 | 28637 221382 879977 | 2147483647 83542 37 | 0.407 % |
92.13/92.14 c | 242301 | 28637 221382 879977 | 2147483647 85590 37 | 0.407 % |
93.93/93.96 c | 246398 | 28616 221184 879265 | 2147483647 89680 37 | 0.480 % |
94.03/94.08 c | 246910 | 28616 221184 879265 | 2147483647 90192 37 | 0.480 % |
94.23/94.22 c | 247422 | 28616 221184 879265 | 2147483647 90704 37 | 0.480 % |
94.64/94.63 c | 248448 | 28616 221184 879265 | 2147483647 91730 37 | 0.480 % |
94.73/94.75 c | 248962 | 28616 221184 879265 | 2147483647 92244 37 | 0.480 % |
95.03/95.03 c | 249475 | 28616 221184 879265 | 2147483647 92757 37 | 0.480 % |
95.43/95.46 c | 250499 | 28615 221184 879265 | 93281 93780 37 | 0.501 % |
95.93/95.97 c | 252548 | 28615 221184 879265 | 93281 79564 37 | 0.501 % |
96.13/96.17 c | 253060 | 28615 221184 879265 | 93281 80076 37 | 0.501 % |
96.23/96.30 c | 253572 | 28615 221184 879265 | 93281 80588 37 | 0.501 % |
96.73/96.73 c | 254598 | 28615 221184 879265 | 93281 81614 37 | 0.501 % |
96.93/96.99 c | 255110 | 28615 221184 879265 | 93281 82126 37 | 0.501 % |
97.13/97.21 c | 255624 | 28615 221184 879265 | 93281 82640 37 | 0.501 % |
97.63/97.67 c | 256648 | 28615 221184 879265 | 93281 83664 37 | 0.501 % |
98.33/98.34 c | 258696 | 28615 221184 879265 | 93281 85712 37 | 0.501 % |
100.33/100.41 c | 262792 | 28615 221184 879265 | 87016 89808 37 | 0.501 % |
103.63/103.71 c | 270984 | 28610 220998 878531 | 83110 84092 36 | 0.501 % |
104.03/104.05 c | 271496 | 28610 220998 878531 | 83110 68692 36 | 0.501 % |
104.23/104.26 c | 272009 | 28610 220998 878531 | 83110 69205 37 | 0.501 % |
104.63/104.69 c | 273033 | 28610 220998 878531 | 83110 70229 37 | 0.501 % |
104.83/104.84 c | 273545 | 28610 220998 878531 | 83110 70741 37 | 0.501 % |
105.23/105.24 c | 274057 | 28610 220998 878531 | 83110 71253 37 | 0.501 % |
105.43/105.51 c | 275081 | 28609 220998 878531 | 83110 72276 37 | 0.511 % |
106.13/106.17 c | 277130 | 28609 220998 878531 | 83110 74325 37 | 0.511 % |
106.23/106.28 c | 277643 | 28609 220998 878531 | 83110 74838 37 | 0.511 % |
106.43/106.49 c | 278156 | 28609 220998 878531 | 83110 75351 37 | 0.511 % |
106.74/106.80 c | 279183 | 28609 220998 878531 | 83110 76378 37 | 0.511 % |
107.13/107.19 c | 279695 | 28609 220998 878531 | 83110 76890 37 | 0.511 % |
107.33/107.37 c | 280208 | 28609 220998 878531 | 77195 77403 37 | 0.511 % |
107.73/107.80 c | 281232 | 28609 220998 878531 | 77195 64013 36 | 0.511 % |
108.43/108.50 c | 283280 | 28607 220973 878465 | 77195 66061 37 | 0.511 % |
109.43/109.48 c | 287377 | 28605 220973 878465 | 77195 70157 37 | 0.518 % |
109.73/109.74 c | 287890 | 28605 220973 878465 | 77195 70670 37 | 0.518 % |
109.83/109.85 c | 288403 | 28605 220973 878465 | 77195 71183 37 | 0.518 % |
110.04/110.09 c | 289427 | 28605 220973 878465 | 77195 72207 37 | 0.518 % |
110.33/110.39 c | 289939 | 28605 220973 878465 | 77195 72719 37 | 0.518 % |
110.63/110.67 c | 290451 | 28605 220973 878465 | 72782 62813 37 | 0.518 % |
111.43/111.42 c | 291476 | 28605 220973 878465 | 72782 63838 37 | 0.518 % |
112.03/112.10 c | 293524 | 28605 220973 878465 | 72782 65886 37 | 0.518 % |
112.33/112.37 c | 294038 | 28605 220973 878465 | 72782 66400 37 | 0.518 % |
112.63/112.64 c | 294551 | 28605 220831 878047 | 72782 66912 37 | 0.518 % |
113.03/113.03 c | 295575 | 28605 220831 878047 | 72782 67936 37 | 0.518 % |
113.13/113.15 c | 296087 | 28604 220831 878047 | 72782 68447 37 | 0.522 % |
113.34/113.41 c | 296603 | 28604 220831 878047 | 72782 68963 37 | 0.522 % |
113.63/113.66 c | 297627 | 28604 220831 878047 | 72782 69987 37 | 0.522 % |
114.53/114.57 c | 299675 | 28601 220831 878047 | 72782 72034 37 | 0.549 % |
116.53/116.57 c | 303774 | 28601 220831 878047 | 72359 64258 36 | 0.549 % |
118.93/118.95 c | 311966 | 28601 220831 878047 | 70484 72450 36 | 0.549 % |
128.03/128.11 c | 328352 | 28596 220701 877560 | 2147483647 76885 38 | 0.549 % |
128.33/128.35 c | 328864 | 28596 220701 877560 | 2147483647 77397 39 | 0.549 % |
128.63/128.63 c | 329376 | 28596 220701 877560 | 2147483647 77909 39 | 0.549 % |
129.03/129.09 c | 330401 | 28596 220701 877560 | 2147483647 78934 38 | 0.549 % |
129.33/129.33 c | 330914 | 28596 220701 877560 | 2147483647 79447 39 | 0.549 % |
129.43/129.49 c | 331427 | 28596 220701 877560 | 2147483647 79960 39 | 0.549 % |
129.93/129.92 c | 332451 | 28596 220701 877560 | 2147483647 80984 39 | 0.549 % |
130.63/130.63 c | 334499 | 28596 220701 877560 | 2147483647 83032 39 | 0.549 % |
130.94/130.97 c | 335011 | 28596 220701 877560 | 2147483647 83544 39 | 0.549 % |
131.13/131.14 c | 335524 | 28596 220701 877560 | 2147483647 84057 39 | 0.549 % |
131.43/131.43 c | 336548 | 28596 220701 877560 | 2147483647 85081 39 | 0.549 % |
131.73/131.76 c | 337061 | 28596 220701 877560 | 2147483647 85594 39 | 0.549 % |
132.04/132.07 c | 337574 | 28596 220701 877560 | 2147483647 86107 39 | 0.549 % |
132.83/132.86 c | 338598 | 28596 220701 877560 | 2147483647 87131 39 | 0.549 % |
133.73/133.75 c | 340647 | 28584 220665 877429 | 88533 76199 38 | 0.598 % |
135.63/135.64 c | 344747 | 28584 220665 877429 | 88533 80299 38 | 0.598 % |
135.73/135.81 c | 345259 | 28584 220665 877429 | 88533 80811 38 | 0.598 % |
135.93/136.00 c | 345772 | 28584 220665 877429 | 88533 81324 38 | 0.598 % |
136.23/136.26 c | 346797 | 28584 220665 877429 | 88533 82349 38 | 0.598 % |
136.53/136.52 c | 347309 | 28582 220665 877429 | 88533 82861 38 | 0.598 % |
136.83/136.88 c | 347829 | 28582 220665 877429 | 88533 83381 38 | 0.598 % |
137.43/137.46 c | 348854 | 28581 220665 877429 | 88533 84405 39 | 0.602 % |
138.64/138.62 c | 350902 | 28581 220665 877429 | 85553 86453 39 | 0.602 % |
138.93/138.94 c | 351414 | 28581 220665 877429 | 85553 77131 39 | 0.602 % |
139.13/139.13 c | 351929 | 28581 220665 877429 | 85553 77646 39 | 0.602 % |
139.43/139.49 c | 352953 | 28581 220665 877429 | 85553 78670 39 | 0.602 % |
139.74/139.75 c | 353465 | 28581 220665 877429 | 85553 79182 39 | 0.602 % |
139.93/140.00 c | 353977 | 28581 220665 877429 | 85553 79694 39 | 0.602 % |
140.53/140.59 c | 355003 | 28581 220466 876674 | 85553 80716 39 | 0.602 % |
141.53/141.51 c | 357051 | 28581 220466 876674 | 85553 82764 39 | 0.602 % |
143.63/143.66 c | 361148 | 28581 220466 876674 | 85713 86861 40 | 0.602 % |
146.94/147.01 c | 369340 | 28581 220466 876674 | 85713 81305 40 | 0.602 % |
147.24/147.28 c | 369853 | 28581 220466 876674 | 85713 81818 40 | 0.602 % |
147.44/147.47 c | 370368 | 28581 220466 876674 | 81966 82333 40 | 0.602 % |
147.84/147.88 c | 371392 | 28581 220466 876674 | 81966 72423 41 | 0.602 % |
148.04/148.05 c | 371906 | 28581 220466 876674 | 81966 72937 41 | 0.602 % |
148.34/148.33 c | 372418 | 28581 220466 876674 | 81966 73449 40 | 0.602 % |
148.84/148.87 c | 373443 | 28576 220296 875989 | 81966 74470 40 | 0.619 % |
149.74/149.79 c | 375492 | 28576 220296 875989 | 81966 76519 40 | 0.619 % |
149.94/150.01 c | 376004 | 28576 220296 875989 | 81966 77031 40 | 0.619 % |
150.14/150.13 c | 376516 | 28576 220296 875989 | 81966 77543 40 | 0.619 % |
150.44/150.48 c | 377541 | 28576 220296 875989 | 81966 78568 40 | 0.619 % |
150.84/150.84 c | 378053 | 28576 220296 875989 | 81966 79080 40 | 0.619 % |
151.04/151.11 c | 378569 | 28576 220296 875989 | 81966 79596 40 | 0.619 % |
151.34/151.34 c | 379596 | 28576 220296 875989 | 81966 80623 40 | 0.619 % |
152.14/152.12 c | 381644 | 28576 220296 875989 | 81030 82671 41 | 0.619 % |
153.64/153.70 c | 385740 | 28576 220296 875989 | 81030 72830 37 | 0.619 % |
153.84/153.83 c | 386253 | 28576 220296 875989 | 81030 73343 37 | 0.619 % |
154.04/154.05 c | 386767 | 28576 220296 875989 | 81030 73857 37 | 0.619 % |
154.64/154.71 c | 387793 | 28576 220296 875989 | 81030 74883 37 | 0.619 % |
154.94/154.99 c | 388308 | 28576 220296 875989 | 81030 75398 37 | 0.619 % |
155.44/155.43 c | 388820 | 28565 220066 875263 | 81030 75905 37 | 0.657 % |
155.84/155.90 c | 389847 | 28565 220066 875263 | 81030 76932 37 | 0.657 % |
156.24/156.30 c | 391896 | 28565 220066 875263 | 2147483647 78981 38 | 0.657 % |
156.54/156.58 c | 392408 | 28565 220066 875263 | 2147483647 79493 38 | 0.657 % |
156.84/156.86 c | 392922 | 28564 220066 875263 | 2147483647 80006 38 | 0.692 % |
157.44/157.51 c | 393946 | 28564 220066 875263 | 2147483647 81030 38 | 0.692 % |
157.64/157.68 c | 394458 | 28564 220066 875263 | 2147483647 81542 38 | 0.692 % |
157.94/157.97 c | 394972 | 28564 220066 875263 | 2147483647 82056 38 | 0.692 % |
158.44/158.50 c | 395997 | 28563 220066 875263 | 2147483647 83080 38 | 0.741 % |
159.24/159.26 c | 398045 | 28563 220066 875263 | 2147483647 85128 38 | 0.741 % |
161.44/161.52 c | 402141 | 28563 220066 875263 | 87084 89224 40 | 0.741 % |
166.34/166.39 c | 410333 | 28541 219687 874071 | 85351 85684 41 | 0.741 % |
173.94/173.96 c | 426718 | 28541 219687 874071 | 85732 66127 42 | 0.741 % |
187.44/187.47 c | 459487 | 28541 219687 874071 | 59677 60128 43 | 0.741 % |
204.94/205.00 c | 525023 | 28538 219661 873998 | 38686 30392 29 | 0.751 % |
205.14/205.13 c | 525535 | 28537 219599 873778 | 38686 30902 29 | 0.755 % |
205.24/205.23 c | 526047 | 28537 219599 873778 | 38686 31414 29 | 0.755 % |
205.54/205.52 c | 527071 | 28533 219599 873778 | 38686 32437 29 | 0.772 % |
205.64/205.68 c | 527588 | 28533 219599 873778 | 38686 32954 29 | 0.772 % |
205.74/205.74 c | 528101 | 28533 219599 873778 | 38686 33467 29 | 0.772 % |
206.14/206.15 c | 529125 | 28533 219599 873778 | 38686 34491 29 | 0.772 % |
206.84/206.87 c | 531175 | 28533 219599 873778 | 35366 36541 29 | 0.772 % |
207.14/207.17 c | 531687 | 28532 219550 873501 | 35366 33349 28 | 0.772 % |
207.34/207.32 c | 532200 | 28528 219550 873501 | 35366 33858 28 | 0.786 % |
207.44/207.48 c | 533224 | 28528 219550 873501 | 35366 34882 29 | 0.786 % |
207.64/207.63 c | 533737 | 28528 219550 873501 | 35366 35395 29 | 0.786 % |
207.84/207.87 c | 534249 | 28528 219550 873501 | 35366 35907 29 | 0.786 % |
208.04/208.11 c | 535273 | 28528 219550 873501 | 35366 33341 28 | 0.786 % |
208.74/208.81 c | 537322 | 28514 219550 873501 | 35366 35389 30 | 0.911 % |
209.54/209.60 c | 541420 | 28492 218714 869764 | 2147483647 39466 30 | 0.911 % |
209.74/209.74 c | 541932 | 28492 218714 869764 | 2147483647 39978 31 | 0.911 % |
209.84/209.89 c | 542445 | 28492 218714 869764 | 2147483647 40491 31 | 0.911 % |
210.14/210.16 c | 543470 | 28492 218714 869764 | 2147483647 41516 31 | 0.911 % |
210.34/210.38 c | 543982 | 28492 218714 869764 | 2147483647 42028 31 | 0.911 % |
210.54/210.56 c | 544495 | 28492 218714 869764 | 2147483647 42541 31 | 0.911 % |
210.74/210.81 c | 545519 | 28492 218714 869764 | 2147483647 43565 32 | 0.911 % |
211.14/211.19 c | 547568 | 28492 218714 869764 | 2147483647 45614 31 | 0.911 % |
211.34/211.32 c | 548080 | 28492 218714 869764 | 2147483647 46126 32 | 0.911 % |
211.64/211.63 c | 548593 | 28488 218654 869529 | 2147483647 46637 32 | 0.925 % |
211.94/211.98 c | 549617 | 28488 218654 869529 | 2147483647 47661 32 | 0.925 % |
212.04/212.10 c | 550129 | 28488 218654 869529 | 2147483647 48173 32 | 0.925 % |
212.24/212.22 c | 550642 | 28488 218654 869529 | 2147483647 48686 32 | 0.925 % |
212.44/212.47 c | 551667 | 28488 218654 869529 | 2147483647 49711 32 | 0.925 % |
212.84/212.91 c | 553717 | 28488 218654 869529 | 2147483647 51761 32 | 0.925 % |
213.54/213.61 c | 557813 | 28488 218654 869529 | 2147483647 55857 33 | 0.925 % |
215.84/215.83 c | 566006 | 28488 218654 869529 | 2147483647 64050 35 | 0.925 % |
216.04/216.02 c | 566518 | 28488 218654 869529 | 2147483647 64562 35 | 0.925 % |
216.24/216.23 c | 567032 | 28488 218654 869529 | 2147483647 65076 35 | 0.925 % |
216.44/216.42 c | 568056 | 28488 218654 869529 | 2147483647 66100 35 | 0.925 % |
216.54/216.55 c | 568569 | 28488 218654 869529 | 2147483647 66613 35 | 0.925 % |
216.54/216.62 c | 569083 | 28488 218654 869529 | 2147483647 67127 35 | 0.925 % |
216.94/216.96 c | 570108 | 28488 218654 869529 | 2147483647 68152 35 | 0.925 % |
217.54/217.57 c | 572156 | 28488 218654 869529 | 2147483647 70200 36 | 0.925 % |
217.64/217.71 c | 572671 | 28488 218654 869529 | 2147483647 70715 36 | 0.925 % |
217.94/217.98 c | 573183 | 28488 218654 869529 | 2147483647 71227 36 | 0.925 % |
218.34/218.34 c | 574209 | 28488 218654 869529 | 2147483647 72253 36 | 0.925 % |
218.54/218.52 c | 574722 | 28488 218654 869529 | 2147483647 72766 36 | 0.925 % |
218.84/218.85 c | 575234 | 28488 218654 869529 | 2147483647 73278 36 | 0.925 % |
219.04/219.10 c | 576258 | 28488 218654 869529 | 2147483647 74302 36 | 0.925 % |
220.24/220.23 c | 578307 | 28488 218654 869529 | 2147483647 76351 37 | 0.925 % |
221.15/221.19 c | 582403 | 28488 218654 869529 | 78049 80447 36 | 0.925 % |
221.54/221.57 c | 582915 | 28488 218654 869529 | 78049 64689 38 | 0.925 % |
221.74/221.79 c | 583429 | 28488 218654 869529 | 78049 65203 38 | 0.925 % |
222.04/222.09 c | 584453 | 28488 218654 869529 | 78049 66227 38 | 0.925 % |
222.25/222.26 c | 584965 | 28488 218654 869529 | 78049 66739 37 | 0.925 % |
222.34/222.40 c | 585477 | 28488 218654 869529 | 78049 67251 37 | 0.925 % |
222.74/222.76 c | 586503 | 28488 218654 869529 | 78049 68277 37 | 0.925 % |
223.35/223.35 c | 588551 | 28488 218654 869529 | 78049 70325 38 | 0.925 % |
223.64/223.63 c | 589064 | 28488 218654 869529 | 78049 70838 38 | 0.925 % |
223.74/223.76 c | 589578 | 28488 218654 869529 | 78049 71352 38 | 0.925 % |
224.04/224.09 c | 590602 | 28488 218654 869529 | 71777 72376 38 | 0.925 % |
224.24/224.28 c | 591115 | 28488 218654 869529 | 71777 60794 38 | 0.925 % |
224.54/224.55 c | 591630 | 28488 218654 869529 | 71777 61309 38 | 0.925 % |
224.74/224.80 c | 592654 | 28488 218654 869529 | 71777 62333 38 | 0.925 % |
226.74/226.79 c | 594703 | 28488 218654 869529 | 71777 64382 39 | 0.925 % |
228.24/228.28 c | 598799 | 28488 218654 869529 | 71777 68478 39 | 0.925 % |
230.94/230.99 c | 606992 | 28488 218654 869529 | 2147483647 76671 39 | 0.925 % |
238.44/238.42 c | 623378 | 28488 218654 869529 | 66759 70136 41 | 0.925 % |
238.54/238.61 c | 623893 | 28488 218654 869529 | 66759 49262 42 | 0.925 % |
238.84/238.82 c | 624408 | 28488 218654 869529 | 66759 49777 42 | 0.925 % |
239.14/239.16 c | 625435 | 28488 218654 869529 | 66759 50804 42 | 0.925 % |
239.34/239.39 c | 625947 | 28477 218551 869159 | 66759 51310 42 | 0.963 % |
239.64/239.71 c | 626459 | 28477 218551 869159 | 66759 51822 42 | 0.963 % |
239.85/239.91 c | 627483 | 28477 218551 869159 | 66759 52846 41 | 0.963 % |
240.24/240.23 c | 629531 | 28477 218551 869159 | 66759 54894 41 | 0.963 % |
240.44/240.51 c | 630044 | 28477 218551 869159 | 55363 55407 41 | 0.963 % |
240.64/240.65 c | 630556 | 28477 218551 869159 | 55363 55919 41 | 0.963 % |
240.95/240.94 c | 631580 | 28477 218551 869159 | 55363 47405 40 | 0.963 % |
241.14/241.14 c | 632092 | 28477 218551 869159 | 55363 47917 40 | 0.963 % |
241.34/241.35 c | 632605 | 28476 218551 869159 | 55363 48429 40 | 0.967 % |
241.54/241.61 c | 633629 | 28476 218551 869159 | 55363 49453 40 | 0.967 % |
242.14/242.19 c | 635677 | 28476 218551 869159 | 55363 51501 39 | 0.967 % |
242.84/242.91 c | 639773 | 28476 218551 869159 | 55363 55597 39 | 0.967 % |
243.24/243.22 c | 640285 | 28476 218101 867063 | 2147483647 56102 39 | 0.967 % |
243.34/243.34 c | 640798 | 28476 218101 867063 | 2147483647 56615 39 | 0.967 % |
243.64/243.63 c | 641822 | 28476 218101 867063 | 2147483647 57639 39 | 0.967 % |
243.84/243.90 c | 642334 | 28476 218101 867063 | 2147483647 58151 39 | 0.967 % |
243.94/243.95 c | 642846 | 28476 218101 867063 | 2147483647 58663 38 | 0.967 % |
244.34/244.40 c | 643870 | 28476 218101 867063 | 2147483647 59687 38 | 0.967 % |
245.04/245.02 c | 645918 | 28476 218101 867063 | 2147483647 61735 38 | 0.967 % |
245.14/245.19 c | 646432 | 28475 218101 867063 | 2147483647 62248 38 | 1.022 % |
245.35/245.38 c | 646944 | 28475 218101 867063 | 2147483647 62760 38 | 1.022 % |
245.64/245.66 c | 647969 | 28475 218101 867063 | 2147483647 63785 38 | 1.022 % |
245.94/245.93 c | 648481 | 28474 218101 867063 | 2147483647 64296 38 | 1.064 % |
246.14/246.15 c | 648993 | 28474 218101 867063 | 2147483647 64808 38 | 1.064 % |
246.34/246.39 c | 650018 | 28474 218101 867063 | 65817 65833 38 | 1.064 % |
246.94/246.93 c | 652067 | 28474 218101 867063 | 65817 67882 40 | 1.064 % |
247.64/247.62 c | 656165 | 28474 218101 867063 | 65817 64836 39 | 1.064 % |
249.75/249.76 c | 664359 | 28448 217519 865022 | 60704 65062 36 | 1.064 % |
249.94/249.99 c | 664872 | 28448 217519 865022 | 60704 53479 32 | 1.064 % |
250.24/250.22 c | 665386 | 28448 217519 865022 | 60704 53993 32 | 1.064 % |
250.64/250.67 c | 666411 | 28448 217519 865022 | 60704 55018 32 | 1.064 % |
250.85/250.85 c | 666923 | 28448 217519 865022 | 60704 55530 32 | 1.064 % |
250.94/251.00 c | 667435 | 28448 217519 865022 | 60704 56042 32 | 1.064 % |
251.34/251.38 c | 668459 | 28448 217519 865022 | 60704 57066 33 | 1.064 % |
252.24/252.31 c | 670509 | 28448 217519 865022 | 58607 59116 33 | 1.064 % |
252.44/252.46 c | 671023 | 28448 217519 865022 | 58607 51778 32 | 1.064 % |
252.54/252.60 c | 671535 | 28448 217519 865022 | 58607 52290 32 | 1.064 % |
253.05/253.03 c | 672559 | 28447 217514 865008 | 58607 53312 33 | 1.068 % |
253.05/253.11 c | 673071 | 28447 217514 865008 | 58607 53824 33 | 1.068 % |
253.34/253.39 c | 673583 | 28447 217514 865008 | 58607 54336 33 | 1.068 % |
253.74/253.76 c | 674607 | 28447 217514 865008 | 58607 55360 33 | 1.068 % |
254.24/254.25 c | 676659 | 28447 217514 865008 | 58607 57412 33 | 1.068 % |
255.74/255.79 c | 680755 | 28447 217514 865008 | 2147483647 61508 33 | 1.068 % |
256.14/256.19 c | 681268 | 28447 217514 865008 | 2147483647 62021 33 | 1.068 % |
256.24/256.32 c | 681781 | 28447 217514 865008 | 2147483647 62534 33 | 1.068 % |
256.64/256.71 c | 682805 | 28447 217514 865008 | 2147483647 63558 33 | 1.068 % |
256.84/256.86 c | 683321 | 28447 217514 865008 | 2147483647 64074 33 | 1.068 % |
257.14/257.21 c | 683833 | 28447 217514 865008 | 2147483647 64586 33 | 1.068 % |
257.54/257.56 c | 684857 | 28447 217514 865008 | 2147483647 65610 33 | 1.068 % |
258.14/258.17 c | 686908 | 28447 217514 865008 | 2147483647 67661 33 | 1.068 % |
258.34/258.39 c | 687420 | 28447 217514 865008 | 2147483647 68173 33 | 1.068 % |
258.55/258.57 c | 687932 | 28447 217514 865008 | 2147483647 68685 33 | 1.068 % |
258.94/258.92 c | 688956 | 28447 217514 865008 | 2147483647 69709 34 | 1.068 % |
259.14/259.14 c | 689469 | 28447 217514 865008 | 2147483647 70222 34 | 1.068 % |
259.34/259.33 c | 689982 | 28447 217514 865008 | 2147483647 70735 34 | 1.068 % |
259.65/259.63 c | 691006 | 28447 217514 865008 | 2147483647 71759 34 | 1.068 % |
260.14/260.20 c | 693054 | 28447 217514 865008 | 2147483647 73807 34 | 1.068 % |
261.24/261.26 c | 697150 | 28447 217514 865008 | 2147483647 77903 35 | 1.068 % |
267.44/267.42 c | 705343 | 28447 217514 865008 | 80753 77568 35 | 1.068 % |
276.55/276.58 c | 721727 | 28447 217514 865008 | 2147483647 93952 35 | 1.068 % |
293.44/293.42 c | 754498 | 28447 217514 865008 | 82041 71041 45 | 1.068 % |
293.64/293.62 c | 755010 | 28447 217514 865008 | 82041 71553 45 | 1.068 % |
293.84/293.88 c | 755522 | 28447 217514 865008 | 82041 72065 45 | 1.068 % |
294.14/294.16 c | 756548 | 28447 217514 865008 | 82041 73091 45 | 1.068 % |
294.44/294.47 c | 757063 | 28447 217514 865008 | 82041 73606 45 | 1.068 % |
294.74/294.74 c | 757575 | 28447 217514 865008 | 82041 74118 45 | 1.068 % |
295.54/295.54 c | 758599 | 28447 217514 865008 | 82041 75142 45 | 1.068 % |
296.14/296.18 c | 760647 | 28447 217514 865008 | 76545 77190 45 | 1.068 % |
296.54/296.55 c | 761159 | 28447 217514 865008 | 76545 66996 46 | 1.068 % |
296.74/296.79 c | 761672 | 28447 217514 865008 | 76545 67509 46 | 1.068 % |
297.54/297.52 c | 762696 | 28447 217514 865008 | 76545 68533 46 | 1.068 % |
297.64/297.67 c | 763208 | 28447 217514 865008 | 76545 69045 46 | 1.068 % |
297.94/297.91 c | 763720 | 28447 217514 865008 | 76545 69557 46 | 1.068 % |
298.34/298.32 c | 764744 | 28447 217514 865008 | 76545 70581 46 | 1.068 % |
299.24/299.27 c | 766794 | 28447 217514 865008 | 76545 72631 46 | 1.068 % |
299.84/299.88 c | 770895 | 28447 217514 865008 | 2147483647 76732 45 | 1.068 % |
300.14/300.16 c | 771407 | 28447 217514 865008 | 2147483647 77244 45 | 1.068 % |
300.74/300.72 c | 771920 | 28426 217220 863972 | 2147483647 77747 45 | 1.141 % |
301.04/301.03 c | 772944 | 28426 217220 863972 | 2147483647 78771 45 | 1.141 % |
301.24/301.23 c | 773457 | 28426 217220 863972 | 2147483647 79284 45 | 1.141 % |
301.44/301.42 c | 773972 | 28426 217220 863972 | 2147483647 79799 45 | 1.141 % |
301.94/301.95 c | 774996 | 28426 217220 863972 | 2147483647 80823 45 | 1.141 % |
302.94/302.95 c | 777046 | 28426 217220 863972 | 2147483647 82873 44 | 1.141 % |
303.24/303.26 c | 777560 | 28426 217220 863972 | 2147483647 83387 44 | 1.141 % |
303.54/303.55 c | 778072 | 28425 217220 863972 | 2147483647 83898 44 | 1.169 % |
303.84/303.90 c | 779099 | 28425 217220 863972 | 2147483647 84925 44 | 1.169 % |
304.14/304.16 c | 779612 | 28425 217220 863972 | 2147483647 85438 44 | 1.169 % |
304.34/304.36 c | 780125 | 28425 217220 863972 | 2147483647 85951 44 | 1.169 % |
304.64/304.65 c | 781150 | 28425 217220 863972 | 2147483647 86976 44 | 1.169 % |
305.24/305.23 c | 783198 | 28425 217220 863972 | 2147483647 89024 44 | 1.169 % |
306.24/306.26 c | 787294 | 28425 217220 863972 | 2147483647 93120 44 | 1.169 % |
310.14/310.18 c | 795486 | 28418 216863 862729 | 95820 81062 46 | 1.169 % |
310.44/310.47 c | 796000 | 28418 216863 862729 | 95820 81576 46 | 1.169 % |
310.84/310.83 c | 796513 | 28418 216863 862729 | 95820 82089 46 | 1.169 % |
311.34/311.36 c | 797537 | 28418 216863 862729 | 95820 83113 46 | 1.169 % |
311.44/311.46 c | 798050 | 28418 216863 862729 | 95820 83626 46 | 1.169 % |
311.74/311.80 c | 798564 | 28418 216863 862729 | 95820 84140 46 | 1.169 % |
312.24/312.24 c | 799588 | 28418 216863 862729 | 95820 85164 47 | 1.169 % |
312.94/312.98 c | 801636 | 28418 216863 862729 | 85577 87212 46 | 1.169 % |
313.54/313.56 c | 802148 | 28418 216863 862729 | 85577 70386 39 | 1.169 % |
313.64/313.68 c | 802660 | 28418 216863 862729 | 85577 70898 39 | 1.169 % |
314.24/314.27 c | 803684 | 28418 216863 862729 | 85577 71922 39 | 1.169 % |
314.54/314.53 c | 804196 | 28418 216863 862729 | 85577 72434 39 | 1.169 % |
314.74/314.78 c | 804708 | 28418 216863 862729 | 85577 72946 39 | 1.169 % |
315.04/315.08 c | 805732 | 28418 216863 862729 | 85577 73970 39 | 1.169 % |
316.14/316.11 c | 807780 | 28418 216863 862729 | 85577 76018 39 | 1.169 % |
317.34/317.36 c | 811876 | 28418 216863 862729 | 78238 80114 40 | 1.169 % |
317.64/317.62 c | 812389 | 28418 216863 862729 | 78238 63078 38 | 1.169 % |
318.04/318.09 c | 812901 | 28418 216863 862729 | 78238 63590 38 | 1.169 % |
318.54/318.52 c | 813925 | 28418 216863 862729 | 78238 64614 38 | 1.169 % |
318.64/318.71 c | 814437 | 28418 216863 862729 | 78238 65126 38 | 1.169 % |
318.84/318.91 c | 814951 | 28418 216863 862729 | 78238 65640 38 | 1.169 % |
319.14/319.18 c | 815977 | 28418 216863 862729 | 78238 66666 38 | 1.169 % |
320.04/320.08 c | 818025 | 28418 216863 862729 | 78238 68714 39 | 1.169 % |
320.34/320.40 c | 818537 | 28418 216863 862729 | 78238 69226 39 | 1.169 % |
320.54/320.55 c | 819052 | 28418 216863 862729 | 78238 69741 39 | 1.169 % |
321.04/321.04 c | 820076 | 28418 216863 862729 | 70689 70765 39 | 1.169 % |
321.14/321.15 c | 820590 | 28418 216863 862729 | 70689 71279 39 | 1.169 % |
321.44/321.45 c | 821102 | 28418 216863 862729 | 70689 60763 39 | 1.169 % |
321.74/321.76 c | 822128 | 28418 216863 862729 | 70689 61789 39 | 1.169 % |
322.54/322.57 c | 824177 | 28418 216863 862729 | 70689 63838 39 | 1.169 % |
323.84/323.91 c | 828274 | 28417 216859 862719 | 70689 67934 39 | 1.172 % |
325.94/325.98 c | 836470 | 28417 216859 862719 | 69662 63275 37 | 1.172 % |
335.44/335.45 c | 852854 | 28417 216859 862719 | 2147483647 65940 38 | 1.172 % |
335.64/335.71 c | 853367 | 28417 216859 862719 | 2147483647 66453 38 | 1.172 % |
335.84/335.84 c | 853880 | 28417 216859 862719 | 2147483647 66966 38 | 1.172 % |
336.44/336.49 c | 854907 | 28417 216859 862719 | 2147483647 67993 38 | 1.172 % |
336.64/336.65 c | 855419 | 28417 216859 862719 | 2147483647 68505 38 | 1.172 % |
336.94/336.97 c | 855931 | 28417 216859 862719 | 2147483647 69017 38 | 1.172 % |
337.24/337.21 c | 856956 | 28417 216859 862719 | 2147483647 70042 38 | 1.172 % |
337.84/337.84 c | 859005 | 28417 216859 862719 | 2147483647 72091 38 | 1.172 % |
338.04/338.06 c | 859518 | 28417 216859 862719 | 2147483647 72604 37 | 1.172 % |
338.34/338.40 c | 860031 | 28417 216859 862719 | 73086 73117 38 | 1.172 % |
338.94/338.93 c | 861055 | 28417 216859 862719 | 73086 74141 38 | 1.172 % |
339.24/339.25 c | 861567 | 28417 216859 862719 | 73086 67239 37 | 1.172 % |
339.44/339.48 c | 862079 | 28417 216859 862719 | 73086 67751 37 | 1.172 % |
339.94/339.92 c | 863105 | 28417 216859 862719 | 73086 68777 37 | 1.172 % |
340.64/340.63 c | 865153 | 28417 216859 862719 | 73086 70825 37 | 1.172 % |
342.54/342.58 c | 869250 | 28417 216859 862719 | 73086 74922 38 | 1.172 % |
342.84/342.84 c | 869763 | 28417 216859 862719 | 73086 63163 36 | 1.172 % |
343.25/343.25 c | 870276 | 28417 216859 862719 | 63400 63676 36 | 1.172 % |
343.54/343.60 c | 871300 | 28417 216859 862719 | 63400 64700 36 | 1.172 % |
343.94/343.93 c | 871813 | 28417 216859 862719 | 63400 56565 36 | 1.172 % |
344.24/344.22 c | 872325 | 28417 216859 862719 | 63400 57077 36 | 1.172 % |
344.54/344.58 c | 873350 | 28417 216859 862719 | 63400 58102 36 | 1.172 % |
345.64/345.63 c | 875398 | 28417 216859 862719 | 63400 60150 37 | 1.172 % |
345.84/345.84 c | 875913 | 28417 216859 862719 | 63400 60665 37 | 1.172 % |
346.04/346.06 c | 876425 | 28417 216859 862719 | 63400 61177 37 | 1.172 % |
346.14/346.17 c | 877449 | 28417 216859 862719 | 63400 62201 37 | 1.172 % |
346.34/346.37 c | 877961 | 28417 216859 862719 | 63400 62713 37 | 1.172 % |
346.64/346.67 c | 878473 | 28417 216859 862719 | 63400 63225 37 | 1.172 % |
346.94/346.97 c | 879498 | 28417 216859 862719 | 63400 64250 37 | 1.172 % |
348.24/348.24 c | 881548 | 28417 216859 862719 | 55162 56710 38 | 1.172 % |
349.85/349.90 c | 885645 | 28417 216859 862719 | 55162 51245 36 | 1.172 % |
353.04/353.11 c | 893837 | 28417 216859 862719 | 2147483647 59437 35 | 1.172 % |
353.34/353.36 c | 894350 | 28413 216838 862617 | 2147483647 58676 35 | 1.186 % |
353.64/353.62 c | 894864 | 28413 216838 862617 | 2147483647 59190 35 | 1.186 % |
353.84/353.86 c | 895889 | 28413 216838 862617 | 2147483647 60215 35 | 1.186 % |
354.04/354.09 c | 896401 | 28413 216838 862617 | 2147483647 60727 35 | 1.186 % |
354.44/354.50 c | 896916 | 28413 216838 862617 | 2147483647 61242 35 | 1.186 % |
355.04/355.04 c | 897940 | 28413 216838 862617 | 2147483647 62266 35 | 1.186 % |
356.04/356.01 c | 899988 | 28413 216838 862617 | 2147483647 64314 35 | 1.186 % |
356.34/356.34 c | 900500 | 28413 216838 862617 | 2147483647 64826 35 | 1.186 % |
356.54/356.59 c | 901012 | 28413 216838 862617 | 2147483647 65338 35 | 1.186 % |
356.94/357.01 c | 902036 | 28413 216838 862617 | 2147483647 66362 35 | 1.186 % |
357.14/357.11 c | 902548 | 28413 216838 862617 | 2147483647 66874 35 | 1.186 % |
357.44/357.44 c | 903061 | 28413 216838 862617 | 2147483647 67387 35 | 1.186 % |
357.84/357.82 c | 904086 | 28413 216838 862617 | 2147483647 68412 35 | 1.186 % |
358.44/358.46 c | 906135 | 28413 216838 862617 | 2147483647 70461 35 | 1.186 % |
360.14/360.13 c | 910231 | 28413 216838 862617 | 74326 74557 36 | 1.186 % |
360.34/360.34 c | 910745 | 28413 216838 862617 | 74326 75071 36 | 1.186 % |
360.74/360.78 c | 911259 | 28413 216838 862617 | 74326 66038 36 | 1.186 % |
361.04/361.05 c | 912283 | 28413 216838 862617 | 74326 67062 36 | 1.186 % |
361.34/361.32 c | 912795 | 28413 216838 862617 | 74326 67574 36 | 1.186 % |
361.44/361.45 c | 913308 | 28413 216838 862617 | 74326 68087 36 | 1.186 % |
361.95/362.00 c | 914332 | 28413 216838 862617 | 74326 69111 36 | 1.186 % |
363.44/363.46 c | 916381 | 28413 216838 862617 | 74326 71160 37 | 1.186 % |
363.64/363.64 c | 916893 | 28413 216838 862617 | 74326 71672 37 | 1.186 % |
363.84/363.89 c | 917405 | 28413 216838 862617 | 74326 72184 37 | 1.186 % |
364.64/364.63 c | 918429 | 28413 216838 862617 | 74326 73208 37 | 1.186 % |
364.74/364.79 c | 918941 | 28413 216838 862617 | 74326 73720 37 | 1.186 % |
365.14/365.16 c | 919453 | 28413 216838 862617 | 74326 74232 37 | 1.186 % |
366.04/366.07 c | 920479 | 28413 216838 862617 | 74781 75258 37 | 1.186 % |
366.74/366.75 c | 922528 | 28413 216838 862617 | 74781 69782 36 | 1.186 % |
369.04/369.05 c | 926625 | 28413 216838 862617 | 74781 73879 36 | 1.186 % |
373.24/373.23 c | 934817 | 28413 216838 862617 | 77256 82071 36 | 1.186 % |
383.04/383.02 c | 951201 | 28413 216838 862617 | 67151 68352 41 | 1.186 % |
394.04/394.04 c | 983970 | 28413 216838 862617 | 64841 53998 37 | 1.186 % |
423.65/423.64 c | 1049506 | 28412 216831 862599 | 65682 64862 42 | 1.189 % |
466.05/466.01 c | 1180580 | 28391 216674 862152 | 46871 47449 48 | 1.263 % |
466.35/466.35 c | 1181092 | 28391 216655 862064 | 46871 35195 49 | 1.262 % |
466.55/466.54 c | 1181604 | 28391 216655 862064 | 46871 35707 49 | 1.262 % |
466.75/466.81 c | 1182628 | 28333 216655 862064 | 46871 36729 48 | 2.379 % |
467.05/467.03 c | 1183140 | 28333 216655 862064 | 46871 37241 48 | 2.379 % |
467.15/467.19 c | 1183653 | 28333 216655 862064 | 46871 37754 47 | 2.379 % |
467.45/467.50 c | 1184679 | 28326 216655 862064 | 46871 38780 47 | 2.379 % |
468.15/468.15 c | 1186727 | 28326 216655 862064 | 46871 40828 47 | 2.379 % |
468.25/468.30 c | 1187239 | 28326 216655 862064 | 46871 41340 47 | 2.379 % |
468.45/468.49 c | 1187751 | 28326 216655 862064 | 46871 41852 47 | 2.379 % |
468.75/468.72 c | 1188776 | 28326 216655 862064 | 46871 42877 46 | 2.379 % |
468.85/468.86 c | 1189291 | 28070 211574 841342 | 46871 43373 46 | 2.379 % |
469.05/469.09 c | 1189803 | 28070 211574 841342 | 46871 43885 46 | 2.379 % |
469.45/469.48 c | 1190827 | 28070 211574 841342 | 2147483647 44909 45 | 2.379 % |
469.76/469.73 c | 1192875 | 28070 211574 841342 | 2147483647 46957 45 | 2.379 % |
470.55/470.52 c | 1196972 | 28070 211574 841342 | 2147483647 51054 45 | 2.379 % |
470.86/470.87 c | 1197485 | 28070 211574 841342 | 2147483647 51567 45 | 2.379 % |
471.15/471.15 c | 1197997 | 28070 211574 841342 | 2147483647 52079 45 | 2.379 % |
471.35/471.40 c | 1199022 | 28069 211574 841342 | 2147483647 53103 45 | 2.382 % |
471.55/471.54 c | 1199534 | 28063 211570 841330 | 2147483647 53614 44 | 2.407 % |
471.75/471.74 c | 1200046 | 28063 211570 841330 | 2147483647 54126 44 | 2.407 % |
471.96/471.99 c | 1201071 | 28057 211570 841330 | 2147483647 55149 44 | 2.427 % |
472.45/472.44 c | 1203120 | 28057 211570 841330 | 2147483647 57198 44 | 2.427 % |
472.55/472.53 c | 1203639 | 28057 211570 841330 | 2147483647 57717 44 | 2.427 % |
472.65/472.62 c | 1204151 | 28057 211570 841330 | 2147483647 58229 44 | 2.427 % |
472.95/472.93 c | 1205175 | 28057 211570 841330 | 2147483647 59253 44 | 2.427 % |
473.15/473.12 c | 1205687 | 28057 211570 841330 | 2147483647 59765 43 | 2.427 % |
473.25/473.29 c | 1206199 | 28057 211570 841330 | 2147483647 60277 43 | 2.427 % |
473.65/473.62 c | 1207223 | 28057 211570 841330 | 2147483647 61301 43 | 2.427 % |
474.25/474.27 c | 1209271 | 28057 211570 841330 | 2147483647 63349 43 | 2.427 % |
474.95/475.00 c | 1213368 | 28057 211570 841330 | 2147483647 67446 42 | 2.427 % |
477.35/477.33 c | 1221562 | 28056 211086 839116 | 2147483647 75634 43 | 2.427 % |
477.46/477.49 c | 1222080 | 28056 211086 839116 | 2147483647 76152 43 | 2.427 % |
477.75/477.79 c | 1222594 | 28056 211086 839116 | 2147483647 76666 43 | 2.427 % |
477.85/477.88 c | 1223618 | 28056 211086 839116 | 2147483647 77690 42 | 2.427 % |
478.15/478.18 c | 1224130 | 28056 211086 839116 | 2147483647 78202 42 | 2.427 % |
478.45/478.47 c | 1224642 | 28056 211086 839116 | 2147483647 78714 43 | 2.427 % |
478.95/479.00 c | 1225666 | 28056 211086 839116 | 2147483647 79738 42 | 2.427 % |
479.55/479.59 c | 1227715 | 28056 211086 839116 | 2147483647 81787 43 | 2.427 % |
479.75/479.72 c | 1228227 | 28056 211086 839116 | 2147483647 82299 43 | 2.427 % |
479.85/479.85 c | 1228739 | 28056 211086 839116 | 2147483647 82811 43 | 2.427 % |
480.25/480.22 c | 1229763 | 28056 211086 839116 | 2147483647 83835 43 | 2.427 % |
480.35/480.37 c | 1230277 | 28056 211086 839116 | 2147483647 84349 43 | 2.427 % |
480.65/480.66 c | 1230789 | 28056 211086 839116 | 2147483647 84861 43 | 2.427 % |
480.85/480.89 c | 1231813 | 28056 211086 839116 | 2147483647 85885 43 | 2.428 % |
481.45/481.51 c | 1233862 | 28056 211086 839116 | 2147483647 87934 42 | 2.427 % |
482.75/482.73 c | 1237961 | 28056 211086 839116 | 2147483647 92033 42 | 2.427 % |
482.85/482.87 c | 1238474 | 28056 211086 839116 | 2147483647 92546 42 | 2.427 % |
483.15/483.18 c | 1238987 | 28056 211086 839116 | 2147483647 93059 42 | 2.427 % |
483.45/483.46 c | 1240012 | 28056 211086 839116 | 94073 94084 42 | 2.427 % |
483.55/483.54 c | 1240526 | 28056 211086 839116 | 94073 94598 42 | 2.427 % |
483.75/483.78 c | 1241039 | 28056 211086 839116 | 94073 95111 42 | 2.427 % |
484.15/484.17 c | 1242063 | 28056 211086 839116 | 94073 81470 39 | 2.427 % |
484.85/484.86 c | 1244112 | 28056 211086 839116 | 94073 83519 39 | 2.427 % |
484.95/484.98 c | 1244627 | 28056 211086 839116 | 94073 84034 39 | 2.427 % |
485.35/485.34 c | 1245139 | 28056 211086 839116 | 94073 84546 39 | 2.427 % |
485.65/485.62 c | 1246167 | 28056 211086 839116 | 94073 85574 38 | 2.427 % |
485.85/485.89 c | 1246680 | 28056 211086 839116 | 94073 86087 38 | 2.427 % |
486.15/486.19 c | 1247192 | 28056 211086 839116 | 94073 86599 38 | 2.427 % |
486.65/486.62 c | 1248216 | 28056 211086 839116 | 94073 87623 38 | 2.427 % |
487.25/487.30 c | 1250264 | 28056 211086 839116 | 89407 89671 38 | 2.427 % |
488.65/488.64 c | 1254360 | 28056 211086 839116 | 89407 93767 39 | 2.427 % |
492.35/492.35 c | 1262553 | 28056 211086 839116 | 76220 78771 39 | 2.427 % |
500.45/500.41 c | 1278937 | 28056 211086 839116 | 77623 78363 49 | 2.427 % |
500.65/500.65 c | 1279449 | 28056 211086 839116 | 77623 71039 49 | 2.427 % |
500.85/500.88 c | 1279962 | 28056 211086 839116 | 77623 71552 49 | 2.427 % |
501.25/501.23 c | 1280987 | 28056 211086 839116 | 2147483647 72577 48 | 2.427 % |
501.35/501.33 c | 1281500 | 28056 211086 839116 | 2147483647 73090 48 | 2.428 % |
501.55/501.51 c | 1282012 | 28056 211086 839116 | 2147483647 73602 48 | 2.427 % |
501.85/501.85 c | 1283036 | 28056 211086 839116 | 2147483647 74626 48 | 2.427 % |
503.45/503.42 c | 1285085 | 28056 211086 839116 | 2147483647 76675 49 | 2.427 % |
503.65/503.62 c | 1285600 | 28056 211086 839116 | 2147483647 77190 49 | 2.427 % |
504.05/504.07 c | 1286112 | 28056 211086 839116 | 2147483647 77702 49 | 2.427 % |
504.45/504.42 c | 1287137 | 28056 211086 839116 | 2147483647 78727 49 | 2.427 % |
504.85/504.82 c | 1287650 | 28056 211086 839116 | 2147483647 79240 48 | 2.427 % |
505.05/505.04 c | 1288166 | 28056 211086 839116 | 2147483647 79756 48 | 2.427 % |
505.55/505.52 c | 1289191 | 28056 211086 839116 | 2147483647 80781 48 | 2.427 % |
506.35/506.33 c | 1291241 | 28056 211086 839116 | 2147483647 82831 48 | 2.427 % |
507.25/507.30 c | 1295339 | 28056 211086 839116 | 2147483647 86929 47 | 2.427 % |
507.35/507.39 c | 1295851 | 28056 211086 839116 | 2147483647 87441 47 | 2.427 % |
507.55/507.58 c | 1296363 | 28056 211086 839116 | 2147483647 87953 47 | 2.427 % |
508.05/508.08 c | 1297387 | 28056 211086 839116 | 2147483647 88977 47 | 2.427 % |
508.26/508.26 c | 1297900 | 28056 211086 839116 | 2147483647 89490 47 | 2.427 % |
508.55/508.60 c | 1298413 | 28056 211086 839116 | 2147483647 90003 47 | 2.427 % |
509.15/509.16 c | 1299438 | 28044 210803 838065 | 2147483647 91023 47 | 2.469 % |
510.05/510.01 c | 1301486 | 28044 210803 838065 | 91586 93071 47 | 2.469 % |
510.25/510.29 c | 1301998 | 28044 210803 838065 | 91586 78719 48 | 2.469 % |
510.55/510.57 c | 1302512 | 28044 210803 838065 | 91586 79233 48 | 2.469 % |
510.95/510.92 c | 1303536 | 28044 210803 838065 | 91586 80257 47 | 2.469 % |
511.05/511.10 c | 1304048 | 28044 210803 838065 | 91586 80769 47 | 2.469 % |
511.25/511.25 c | 1304561 | 28044 210803 838065 | 91586 81282 47 | 2.469 % |
511.65/511.67 c | 1305585 | 28044 210803 838065 | 91586 82306 47 | 2.469 % |
512.25/512.23 c | 1307635 | 28044 210803 838065 | 91586 84356 47 | 2.469 % |
513.95/514.01 c | 1311732 | 28044 210803 838065 | 86722 88453 46 | 2.469 % |
517.25/517.25 c | 1319924 | 28044 210803 838065 | 86722 87800 46 | 2.469 % |
517.45/517.45 c | 1320439 | 28044 210803 838065 | 69190 69629 44 | 2.469 % |
517.75/517.77 c | 1320953 | 28044 210803 838065 | 69190 70143 44 | 2.469 % |
518.25/518.22 c | 1321977 | 28044 210803 838065 | 69190 56892 33 | 2.469 % |
518.45/518.44 c | 1322490 | 28043 210797 838047 | 69190 57404 33 | 2.473 % |
518.65/518.69 c | 1323003 | 28039 210797 838047 | 69190 57916 33 | 2.487 % |
518.95/518.93 c | 1324033 | 28039 210797 838047 | 69190 58946 33 | 2.487 % |
519.75/519.75 c | 1326084 | 28039 210797 838047 | 69190 60997 33 | 2.487 % |
519.95/519.95 c | 1326601 | 28039 210797 838047 | 69190 61514 33 | 2.487 % |
520.15/520.16 c | 1327116 | 28039 210797 838047 | 69190 62029 33 | 2.487 % |
520.46/520.47 c | 1328140 | 28039 210797 838047 | 69190 63053 33 | 2.487 % |
520.65/520.66 c | 1328653 | 28039 210797 838047 | 69190 63566 33 | 2.487 % |
520.75/520.79 c | 1329165 | 28039 210797 838047 | 69190 64078 33 | 2.487 % |
521.16/521.12 c | 1330189 | 28039 210797 838047 | 64913 65102 33 | 2.487 % |
521.66/521.68 c | 1332237 | 28039 210797 838047 | 64913 67150 34 | 2.487 % |
523.26/523.32 c | 1336337 | 28039 210797 838047 | 64913 61234 32 | 2.487 % |
523.46/523.51 c | 1336852 | 28039 210775 837943 | 64913 56786 33 | 2.487 % |
523.76/523.78 c | 1337364 | 28039 210775 837943 | 64913 57298 34 | 2.487 % |
524.36/524.33 c | 1338388 | 28039 210775 837943 | 64913 58322 34 | 2.487 % |
524.66/524.66 c | 1338900 | 28039 210775 837943 | 64913 58834 34 | 2.487 % |
524.76/524.76 c | 1339412 | 28039 210775 837943 | 64913 59346 34 | 2.487 % |
525.26/525.31 c | 1340436 | 28039 210775 837943 | 59934 60370 34 | 2.487 % |
525.96/525.93 c | 1342484 | 28037 210775 837943 | 59934 62417 34 | 2.494 % |
526.26/526.27 c | 1342997 | 28037 210775 837943 | 59934 56589 34 | 2.494 % |
526.46/526.45 c | 1343511 | 28037 210775 837943 | 59934 57103 34 | 2.494 % |
527.06/527.09 c | 1344536 | 28037 210775 837943 | 59934 58128 34 | 2.494 % |
527.26/527.28 c | 1345048 | 28037 210757 837879 | 59934 58634 34 | 2.494 % |
527.56/527.54 c | 1345561 | 28037 210757 837879 | 59934 59147 34 | 2.494 % |
528.06/528.07 c | 1346585 | 28037 210757 837879 | 59934 60171 34 | 2.494 % |
528.76/528.77 c | 1348633 | 28037 210757 837879 | 59934 62219 34 | 2.494 % |
530.26/530.28 c | 1352729 | 28037 210757 837879 | 2147483647 60094 37 | 2.494 % |
533.06/533.02 c | 1360922 | 28037 210757 837879 | 2147483647 68287 37 | 2.494 % |
538.86/538.86 c | 1377306 | 28037 210757 837879 | 77367 58694 41 | 2.494 % |
550.36/550.33 c | 1410079 | 28037 210757 837879 | 47452 47531 45 | 2.494 % |
550.56/550.61 c | 1410591 | 28037 210757 837879 | 47452 48043 45 | 2.494 % |
550.76/550.77 c | 1411103 | 28037 210757 837879 | 47452 48555 45 | 2.494 % |
551.36/551.32 c | 1412128 | 28036 210687 837702 | 47452 40650 48 | 2.497 % |
551.46/551.46 c | 1412640 | 28036 210687 837702 | 47452 41162 48 | 2.497 % |
551.76/551.73 c | 1413152 | 28036 210687 837702 | 47452 41674 47 | 2.497 % |
552.06/552.12 c | 1414176 | 28036 210687 837702 | 47452 42698 47 | 2.497 % |
552.66/552.66 c | 1416224 | 28036 210687 837702 | 47452 44746 46 | 2.497 % |
552.86/552.87 c | 1416736 | 28036 210687 837702 | 47452 45258 46 | 2.497 % |
552.96/552.97 c | 1417250 | 28036 210687 837702 | 47452 45772 46 | 2.497 % |
553.26/553.31 c | 1418274 | 28036 210687 837702 | 47452 46796 46 | 2.497 % |
553.56/553.55 c | 1418786 | 28036 210687 837702 | 47452 47308 46 | 2.497 % |
553.66/553.71 c | 1419298 | 28036 210687 837702 | 47452 47820 46 | 2.497 % |
553.96/553.99 c | 1420324 | 28036 210687 837702 | 2147483647 48846 46 | 2.497 % |
554.26/554.31 c | 1422375 | 28036 210687 837702 | 2147483647 50897 45 | 2.497 % |
555.26/555.27 c | 1426471 | 28036 210687 837702 | 2147483647 54993 45 | 2.497 % |
555.46/555.47 c | 1426984 | 28036 210687 837702 | 2147483647 55506 45 | 2.497 % |
555.76/555.77 c | 1427496 | 28036 210687 837702 | 2147483647 56018 44 | 2.497 % |
555.86/555.92 c | 1428522 | 28036 210687 837702 | 2147483647 57044 44 | 2.497 % |
556.26/556.24 c | 1429035 | 28036 210687 837702 | 2147483647 57557 44 | 2.497 % |
556.46/556.48 c | 1429547 | 28034 210678 837677 | 2147483647 58064 44 | 2.504 % |
556.76/556.75 c | 1430573 | 28034 210678 837677 | 2147483647 59090 44 | 2.504 % |
557.36/557.38 c | 1432621 | 28034 210678 837677 | 2147483647 61138 45 | 2.504 % |
557.56/557.53 c | 1433133 | 28034 210678 837677 | 2147483647 61650 45 | 2.504 % |
557.86/557.83 c | 1433645 | 28033 210678 837677 | 2147483647 62161 45 | 2.511 % |
558.26/558.29 c | 1434669 | 28033 210678 837677 | 2147483647 63185 45 | 2.511 % |
558.66/558.63 c | 1435183 | 28033 210678 837677 | 2147483647 63699 45 | 2.511 % |
558.66/558.68 c | 1435695 | 28033 210678 837677 | 2147483647 64211 45 | 2.511 % |
559.16/559.19 c | 1436719 | 28033 210678 837677 | 2147483647 65235 45 | 2.511 % |
559.86/559.89 c | 1438767 | 28033 210678 837677 | 2147483647 67283 44 | 2.511 % |
561.16/561.21 c | 1442864 | 28031 210664 837635 | 2147483647 71379 44 | 2.514 % |
564.06/564.06 c | 1451061 | 28031 210664 837635 | 2147483647 79576 42 | 2.514 % |
564.26/564.28 c | 1451573 | 28031 210664 837635 | 2147483647 80088 42 | 2.514 % |
564.46/564.51 c | 1452086 | 28031 210664 837635 | 2147483647 80601 42 | 2.514 % |
564.76/564.78 c | 1453114 | 28031 210664 837635 | 2147483647 81629 42 | 2.514 % |
565.06/565.08 c | 1453626 | 28031 210664 837635 | 2147483647 82141 42 | 2.514 % |
565.16/565.21 c | 1454138 | 28031 210664 837635 | 2147483647 82653 42 | 2.514 % |
565.86/565.92 c | 1455163 | 28031 210664 837635 | 2147483647 83678 42 | 2.514 % |
566.46/566.44 c | 1457211 | 28031 210664 837635 | 2147483647 85726 42 | 2.514 % |
566.66/566.71 c | 1457725 | 28031 210664 837635 | 2147483647 86240 42 | 2.514 % |
566.96/566.93 c | 1458237 | 28031 210664 837635 | 2147483647 86752 42 | 2.514 % |
567.06/567.02 c | 1459261 | 28031 210664 837635 | 2147483647 87776 41 | 2.514 % |
567.46/567.47 c | 1459774 | 28031 210664 837635 | 2147483647 88289 41 | 2.514 % |
567.76/567.81 c | 1460286 | 28031 210664 837635 | 2147483647 88801 41 | 2.514 % |
568.16/568.14 c | 1461310 | 28027 210618 837457 | 2147483647 89823 41 | 2.528 % |
569.26/569.24 c | 1463361 | 28027 210618 837457 | 2147483647 91874 42 | 2.528 % |
569.96/569.97 c | 1467458 | 28027 210618 837457 | 2147483647 95971 41 | 2.528 % |
570.16/570.18 c | 1467970 | 28027 210618 837457 | 2147483647 96483 41 | 2.528 % |
570.26/570.30 c | 1468484 | 28027 210618 837457 | 2147483647 96997 41 | 2.528 % |
570.76/570.80 c | 1469508 | 28027 210618 837457 | 2147483647 98021 41 | 2.528 % |
570.96/570.97 c | 1470020 | 28027 210618 837457 | 98514 98533 41 | 2.528 % |
571.36/571.40 c | 1470532 | 28027 210618 837457 | 98514 99045 41 | 2.528 % |
571.56/571.56 c | 1471556 | 28027 210618 837457 | 98514 100069 41 | 2.528 % |
572.46/572.51 c | 1473606 | 28023 210618 837457 | 98514 91933 41 | 2.556 % |
572.76/572.76 c | 1474118 | 28023 210618 837457 | 98514 92445 41 | 2.556 % |
573.26/573.25 c | 1474630 | 28023 210618 837457 | 98514 92957 41 | 2.556 % |
574.06/574.04 c | 1475655 | 28023 210618 837457 | 98514 93982 41 | 2.556 % |
574.36/574.33 c | 1476167 | 28023 210618 837457 | 98514 94494 41 | 2.556 % |
574.76/574.74 c | 1476679 | 28023 210618 837457 | 98514 95006 41 | 2.556 % |
575.36/575.39 c | 1477703 | 28019 210538 837188 | 98514 96026 40 | 2.556 % |
576.16/576.21 c | 1479754 | 28019 210538 837188 | 98514 98077 40 | 2.556 % |
578.36/578.37 c | 1483851 | 28019 210538 837188 | 98323 78171 36 | 2.556 % |
582.16/582.12 c | 1492044 | 28019 210538 837188 | 84323 86364 36 | 2.556 % |
589.06/589.06 c | 1508428 | 28019 210538 837188 | 82946 69064 36 | 2.556 % |
589.36/589.35 c | 1508940 | 28018 210532 837170 | 82946 69575 36 | 2.560 % |
589.56/589.55 c | 1509452 | 28018 210532 837170 | 82946 70087 36 | 2.560 % |
589.86/589.88 c | 1510477 | 28018 210532 837170 | 70637 71112 36 | 2.560 % |
590.26/590.25 c | 1510992 | 28018 210532 837170 | 70637 71627 36 | 2.560 % |
590.56/590.61 c | 1511504 | 28018 210532 837170 | 70637 56286 36 | 2.560 % |
591.16/591.20 c | 1512529 | 28018 210532 837170 | 70637 57311 36 | 2.560 % |
591.96/591.94 c | 1514579 | 28018 210532 837170 | 70637 59361 36 | 2.560 % |
592.26/592.24 c | 1515094 | 28018 210532 837170 | 70637 59876 36 | 2.560 % |
592.66/592.68 c | 1515606 | 28018 210532 837170 | 70637 60388 36 | 2.560 % |
593.06/593.11 c | 1516632 | 28018 210532 837170 | 70637 61414 36 | 2.560 % |
593.36/593.40 c | 1517144 | 28018 210532 837170 | 70637 61926 36 | 2.560 % |
593.66/593.64 c | 1517658 | 28018 210532 837170 | 70637 62440 36 | 2.560 % |
594.16/594.17 c | 1518682 | 28018 210532 837170 | 70637 63464 36 | 2.560 % |
594.86/594.83 c | 1520730 | 28018 210532 837170 | 64785 65512 36 | 2.560 % |
596.76/596.74 c | 1524828 | 28018 210532 837170 | 64785 52500 35 | 2.560 % |
596.86/596.90 c | 1525340 | 28018 210532 837170 | 64785 53012 35 | 2.560 % |
597.06/597.06 c | 1525852 | 28018 210532 837170 | 64785 53524 35 | 2.560 % |
597.26/597.31 c | 1526878 | 28018 210532 837170 | 64785 54550 35 | 2.560 % |
597.37/597.41 c | 1527391 | 28018 210532 837170 | 64785 55063 35 | 2.560 % |
597.86/597.82 c | 1527904 | 28018 210532 837170 | 64785 55576 35 | 2.560 % |
598.06/598.05 c | 1528928 | 28018 210532 837170 | 64785 56600 35 | 2.560 % |
599.26/599.30 c | 1530978 | 28018 210532 837170 | 57673 58650 35 | 2.560 % |
599.57/599.57 c | 1531492 | 28018 210532 837170 | 57673 51784 35 | 2.560 % |
599.76/599.76 c | 1532006 | 28018 210532 837170 | 57673 52298 35 | 2.560 % |
599.96/599.98 c | 1533030 | 28018 210532 837170 | 57673 53322 35 | 2.560 % |
600.26/600.28 c | 1533544 | 28018 210532 837170 | 57673 53836 35 | 2.560 % |
600.46/600.45 c | 1534064 | 28018 210532 837170 | 57673 54356 35 | 2.560 % |
600.96/600.93 c | 1535090 | 28018 210532 837170 | 57673 55382 35 | 2.560 % |
601.36/601.34 c | 1537141 | 28018 210532 837170 | 57673 57433 35 | 2.560 % |
603.66/603.63 c | 1541238 | 28018 210532 837170 | 60293 61530 36 | 2.560 % |
605.76/605.72 c | 1549430 | 28018 210532 837170 | 60293 63569 34 | 2.560 % |
605.96/605.99 c | 1549944 | 28018 210532 837170 | 60293 57727 34 | 2.560 % |
606.17/606.16 c | 1550460 | 28018 210532 837170 | 2147483647 58243 34 | 2.560 % |
606.46/606.46 c | 1551484 | 28018 210532 837170 | 2147483647 59267 34 | 2.560 % |
606.66/606.62 c | 1551997 | 28018 210532 837170 | 2147483647 59780 34 | 2.560 % |
606.86/606.83 c | 1552509 | 28018 210532 837170 | 2147483647 60292 35 | 2.560 % |
607.06/607.10 c | 1553535 | 28018 210532 837170 | 2147483647 61318 34 | 2.560 % |
608.56/608.52 c | 1555583 | 28018 210532 837170 | 2147483647 63366 35 | 2.560 % |
608.66/608.69 c | 1556096 | 28018 210532 837170 | 2147483647 63879 35 | 2.560 % |
608.86/608.89 c | 1556608 | 28018 210532 837170 | 2147483647 64391 35 | 2.560 % |
609.36/609.42 c | 1557632 | 28018 210532 837170 | 2147483647 65415 35 | 2.560 % |
609.56/609.55 c | 1558146 | 28018 210532 837170 | 2147483647 65929 35 | 2.560 % |
609.86/609.84 c | 1558658 | 28018 210532 837170 | 2147483647 66441 35 | 2.560 % |
610.26/610.24 c | 1559682 | 28018 210532 837170 | 2147483647 67465 35 | 2.560 % |
612.66/612.68 c | 1561733 | 28018 210532 837170 | 67783 69516 35 | 2.560 % |
614.36/614.33 c | 1565829 | 28018 210532 837170 | 67783 66661 35 | 2.560 % |
614.56/614.52 c | 1566341 | 28018 210532 837170 | 67783 67173 35 | 2.560 % |
614.76/614.76 c | 1566853 | 28018 210532 837170 | 67783 67685 35 | 2.560 % |
615.26/615.29 c | 1567877 | 28018 210532 837170 | 67783 68709 35 | 2.560 % |
615.66/615.66 c | 1568389 | 28018 210532 837170 | 67783 62351 35 | 2.560 % |
615.76/615.73 c | 1568901 | 28018 210532 837170 | 67783 62863 35 | 2.560 % |
616.07/616.11 c | 1569926 | 28018 210532 837170 | 67783 63888 34 | 2.560 % |
616.86/616.84 c | 1571974 | 28018 210532 837170 | 2147483647 65936 35 | 2.560 % |
617.06/617.07 c | 1572486 | 28018 210532 837170 | 2147483647 66448 35 | 2.560 % |
617.46/617.41 c | 1572998 | 28018 210532 837170 | 2147483647 66960 35 | 2.560 % |
617.66/617.71 c | 1574022 | 28018 210532 837170 | 2147483647 67984 35 | 2.560 % |
617.96/617.96 c | 1574536 | 28018 210532 837170 | 2147483647 68498 36 | 2.560 % |
618.16/618.12 c | 1575048 | 28018 210532 837170 | 2147483647 69010 36 | 2.560 % |
618.66/618.62 c | 1576074 | 28018 210532 837170 | 2147483647 70036 36 | 2.560 % |
619.16/619.18 c | 1578122 | 28018 210532 837170 | 2147483647 72084 36 | 2.560 % |
621.06/621.02 c | 1582220 | 28018 210532 837170 | 73965 76182 36 | 2.560 % |
626.26/626.23 c | 1590413 | 28018 210532 837170 | 2147483647 72121 36 | 2.560 % |
634.26/634.25 c | 1606800 | 28018 210532 837170 | 2147483647 88508 38 | 2.560 % |
646.86/646.84 c | 1639568 | 28018 210532 837170 | 75647 72275 39 | 2.560 % |
682.26/682.23 c | 1705104 | 28015 210527 837155 | 44071 49174 46 | 2.571 % |
682.46/682.42 c | 1705617 | 28015 210527 837155 | 44071 43659 46 | 2.570 % |
682.46/682.50 c | 1706129 | 28008 210527 837155 | 44071 44170 46 | 2.647 % |
682.66/682.71 c | 1707153 | 28007 210527 837155 | 44071 45194 45 | 2.647 % |
682.96/682.96 c | 1707669 | 28007 210527 837155 | 44071 41191 43 | 2.647 % |
683.16/683.13 c | 1708181 | 28007 210527 837155 | 44071 41703 43 | 2.647 % |
683.56/683.53 c | 1709208 | 28007 210527 837155 | 44071 42730 43 | 2.647 % |
683.76/683.79 c | 1711259 | 27992 210066 835092 | 2147483647 44776 42 | 2.654 % |
683.96/683.96 c | 1711771 | 27992 210066 835092 | 2147483647 45288 42 | 2.654 % |
684.06/684.09 c | 1712284 | 27992 210066 835092 | 2147483647 45801 42 | 2.654 % |
684.66/684.71 c | 1713308 | 27992 210066 835092 | 2147483647 46825 42 | 2.654 % |
684.86/684.85 c | 1713821 | 27992 210066 835092 | 2147483647 47338 42 | 2.654 % |
684.96/684.95 c | 1714333 | 27992 210066 835092 | 2147483647 47850 42 | 2.654 % |
685.36/685.37 c | 1715357 | 27992 210066 835092 | 2147483647 48874 41 | 2.654 % |
685.66/685.66 c | 1717405 | 27992 210066 835092 | 2147483647 50922 41 | 2.654 % |
686.66/686.66 c | 1721502 | 27992 210066 835092 | 2147483647 55019 40 | 2.654 % |
686.86/686.84 c | 1722014 | 27991 210057 835068 | 2147483647 55530 40 | 2.654 % |
686.96/687.00 c | 1722527 | 27991 210057 835068 | 2147483647 56043 40 | 2.654 % |
687.26/687.29 c | 1723551 | 27991 210057 835068 | 2147483647 57067 40 | 2.654 % |
687.36/687.41 c | 1724066 | 27991 210057 835068 | 2147483647 57582 40 | 2.654 % |
687.56/687.61 c | 1724579 | 27991 210057 835068 | 2147483647 58095 40 | 2.654 % |
687.86/687.88 c | 1725606 | 27991 210057 835068 | 2147483647 59122 40 | 2.654 % |
688.96/689.01 c | 1727654 | 27991 210057 835068 | 2147483647 61170 40 | 2.654 % |
689.06/689.10 c | 1728169 | 27991 210057 835068 | 2147483647 61685 40 | 2.654 % |
689.46/689.41 c | 1728681 | 27991 210057 835068 | 2147483647 62197 40 | 2.654 % |
689.66/689.68 c | 1729705 | 27991 210057 835068 | 2147483647 63221 40 | 2.654 % |
689.96/689.93 c | 1730218 | 27991 210057 835068 | 2147483647 63734 40 | 2.654 % |
690.36/690.31 c | 1730732 | 27973 209960 834753 | 2147483647 64243 40 | 2.716 % |
690.86/690.82 c | 1731757 | 27973 209960 834753 | 2147483647 65268 40 | 2.716 % |
691.26/691.27 c | 1733807 | 27973 209960 834753 | 2147483647 67318 40 | 2.716 % |
692.56/692.61 c | 1737903 | 27972 209960 834753 | 2147483647 71412 40 | 2.740 % |
695.86/695.90 c | 1746097 | 27972 209960 834753 | 2147483647 79606 41 | 2.740 % |
696.06/696.10 c | 1746609 | 27966 209899 834538 | 2147483647 80115 41 | 2.740 % |
696.46/696.43 c | 1747126 | 27966 209899 834538 | 2147483647 80632 41 | 2.740 % |
696.96/696.95 c | 1748151 | 27966 209899 834538 | 2147483647 81657 41 | 2.741 % |
697.06/697.10 c | 1748663 | 27966 209899 834538 | 2147483647 82169 41 | 2.740 % |
697.26/697.30 c | 1749175 | 27966 209899 834538 | 2147483647 82681 40 | 2.740 % |
697.76/697.79 c | 1750199 | 27966 209899 834538 | 2147483647 83705 40 | 2.740 % |
698.56/698.61 c | 1752250 | 27966 209899 834538 | 2147483647 85756 40 | 2.740 % |
698.96/698.92 c | 1752762 | 27966 209899 834538 | 2147483647 86268 41 | 2.740 % |
699.16/699.11 c | 1753275 | 27966 209899 834538 | 2147483647 86781 41 | 2.740 % |
699.36/699.35 c | 1754299 | 27966 209899 834538 | 2147483647 87805 40 | 2.740 % |
699.56/699.59 c | 1754811 | 27966 209899 834538 | 2147483647 88317 40 | 2.740 % |
699.96/699.99 c | 1755323 | 27966 209899 834538 | 2147483647 88829 40 | 2.740 % |
700.46/700.50 c | 1756348 | 27966 209899 834538 | 2147483647 89854 40 | 2.740 % |
701.26/701.22 c | 1758397 | 27966 209899 834538 | 2147483647 91903 41 | 2.740 % |
702.66/702.65 c | 1762493 | 27966 209899 834538 | 93506 95999 40 | 2.740 % |
702.86/702.90 c | 1763006 | 27966 209899 834538 | 93506 81565 36 | 2.740 % |
703.46/703.45 c | 1763518 | 27966 209899 834538 | 93506 82077 36 | 2.740 % |
704.06/704.08 c | 1764544 | 27966 209899 834538 | 93506 83103 36 | 2.740 % |
704.36/704.31 c | 1765058 | 27965 209893 834520 | 93506 83616 36 | 2.744 % |
704.46/704.46 c | 1765571 | 27965 209893 834520 | 93506 84129 36 | 2.744 % |
704.76/704.77 c | 1766597 | 27964 209893 834520 | 93506 85154 36 | 2.747 % |
706.06/706.09 c | 1768645 | 27964 209893 834520 | 93506 87202 36 | 2.747 % |
706.26/706.24 c | 1769157 | 27964 209893 834520 | 93506 87714 36 | 2.747 % |
706.66/706.63 c | 1769670 | 27964 209893 834520 | 93506 88227 36 | 2.747 % |
706.96/706.95 c | 1770694 | 27964 209893 834520 | 88557 89251 36 | 2.747 % |
707.06/707.10 c | 1771206 | 27964 209893 834520 | 88557 89763 36 | 2.747 % |
707.56/707.53 c | 1771719 | 27964 209893 834520 | 88557 78914 36 | 2.747 % |
707.86/707.86 c | 1772743 | 27964 209893 834520 | 88557 79938 36 | 2.747 % |
708.46/708.43 c | 1774797 | 27964 209893 834520 | 88557 81992 36 | 2.747 % |
709.36/709.33 c | 1778895 | 27964 209893 834520 | 88557 86090 36 | 2.747 % |
711.56/711.55 c | 1787088 | 27964 209893 834520 | 87196 76136 37 | 2.747 % |
719.36/719.39 c | 1803472 | 27964 209885 834492 | 69715 73187 36 | 2.747 % |
719.66/719.67 c | 1803985 | 27964 209885 834492 | 69715 62230 35 | 2.747 % |
719.86/719.90 c | 1804497 | 27964 209885 834492 | 69715 62742 35 | 2.747 % |
720.36/720.32 c | 1805521 | 27964 209885 834492 | 69715 63766 35 | 2.747 % |
720.36/720.41 c | 1806041 | 27964 209885 834492 | 69715 64286 35 | 2.747 % |
720.57/720.55 c | 1806554 | 27964 209885 834492 | 69715 64799 35 | 2.747 % |
721.16/721.12 c | 1807579 | 27964 209885 834492 | 69715 65824 36 | 2.747 % |
721.86/721.90 c | 1809627 | 27964 209885 834492 | 69715 67872 35 | 2.747 % |
722.36/722.31 c | 1810139 | 27964 209885 834492 | 2147483647 68384 35 | 2.747 % |
722.46/722.47 c | 1810651 | 27964 209885 834492 | 2147483647 68896 35 | 2.748 % |
722.96/723.00 c | 1811675 | 27959 209861 834424 | 2147483647 69919 36 | 2.765 % |
723.26/723.22 c | 1812188 | 27959 209861 834424 | 2147483647 70432 36 | 2.765 % |
723.66/723.66 c | 1812700 | 27959 209861 834424 | 2147483647 70944 36 | 2.765 % |
724.16/724.13 c | 1813724 | 27957 209861 834424 | 2147483647 71967 36 | 2.932 % |
725.46/725.43 c | 1815772 | 27957 209861 834424 | 2147483647 74015 36 | 2.932 % |
729.37/729.34 c | 1819870 | 27957 209861 834424 | 2147483647 78113 36 | 2.932 % |
729.56/729.58 c | 1820382 | 27911 208265 828930 | 2147483647 78624 36 | 2.932 % |
729.86/729.86 c | 1820894 | 27911 208265 828930 | 2147483647 79136 36 | 2.932 % |
729.96/729.98 c | 1821918 | 27911 208265 828930 | 2147483647 80160 36 | 2.932 % |
730.26/730.21 c | 1822431 | 27911 208265 828930 | 2147483647 80673 36 | 2.932 % |
730.36/730.38 c | 1822943 | 27911 208265 828930 | 2147483647 81185 36 | 2.932 % |
730.76/730.75 c | 1823968 | 27911 208265 828930 | 2147483647 82210 36 | 2.932 % |
731.36/731.35 c | 1826019 | 27911 208265 828930 | 2147483647 84261 36 | 2.932 % |
731.66/731.61 c | 1826531 | 27911 208265 828930 | 2147483647 84773 36 | 2.932 % |
731.76/731.79 c | 1827043 | 27911 208265 828930 | 2147483647 85285 36 | 2.932 % |
732.16/732.16 c | 1828068 | 27911 208265 828930 | 2147483647 86310 36 | 2.932 % |
732.36/732.41 c | 1828581 | 27911 208265 828930 | 2147483647 86823 36 | 2.932 % |
732.86/732.88 c | 1829094 | 27911 208265 828930 | 2147483647 87336 36 | 2.932 % |
733.06/733.09 c | 1830118 | 27911 208265 828930 | 88242 88360 36 | 2.932 % |
734.16/734.15 c | 1832167 | 27911 208265 828930 | 88242 90409 36 | 2.932 % |
735.86/735.84 c | 1836263 | 27911 208265 828930 | 88242 75703 35 | 2.932 % |
739.16/739.15 c | 1844456 | 27911 208265 828930 | 79440 64904 34 | 2.932 % |
739.36/739.39 c | 1844969 | 27911 208265 828930 | 79440 65417 34 | 2.932 % |
739.76/739.71 c | 1845482 | 27911 208265 828930 | 79440 65930 34 | 2.932 % |
740.06/740.05 c | 1846508 | 27911 208265 828930 | 79440 66956 34 | 2.932 % |
740.26/740.26 c | 1847023 | 27911 208265 828930 | 79440 67471 34 | 2.932 % |
740.37/740.38 c | 1847535 | 27911 208265 828930 | 79440 67983 34 | 2.932 % |
740.96/740.95 c | 1848559 | 27911 208265 828930 | 79440 69007 34 | 2.932 % |
741.66/741.69 c | 1850607 | 27911 208265 828930 | 70449 71055 34 | 2.932 % |
741.96/741.96 c | 1851120 | 27911 208265 828930 | 70449 71568 34 | 2.932 % |
742.36/742.33 c | 1851635 | 27911 208265 828930 | 70449 56877 34 | 2.932 % |
742.96/742.97 c | 1852659 | 27911 208265 828930 | 70449 57901 35 | 2.932 % |
743.26/743.21 c | 1853173 | 27911 208265 828930 | 70449 58415 35 | 2.932 % |
743.56/743.53 c | 1853685 | 27911 208265 828930 | 70449 58927 35 | 2.932 % |
744.16/744.19 c | 1854709 | 27911 208265 828930 | 70449 59951 34 | 2.932 % |
744.86/744.85 c | 1856757 | 27910 208260 828916 | 70449 61998 35 | 2.935 % |
746.56/746.59 c | 1860853 | 27907 208260 828916 | 65239 66091 35 | 2.946 % |
746.97/746.92 c | 1861365 | 27907 208260 828916 | 65239 54432 35 | 2.946 % |
747.06/747.07 c | 1861877 | 27907 208260 828916 | 65239 54944 35 | 2.946 % |
747.56/747.53 c | 1862903 | 27907 208260 828916 | 65239 55970 35 | 2.946 % |
747.76/747.76 c | 1863415 | 27907 208260 828916 | 65239 56482 35 | 2.946 % |
747.86/747.90 c | 1863927 | 27907 208260 828916 | 65239 56994 35 | 2.946 % |
748.36/748.32 c | 1864952 | 27907 208260 828916 | 65239 58019 35 | 2.946 % |
748.96/748.91 c | 1867000 | 27907 208260 828916 | 65239 60067 35 | 2.946 % |
749.17/749.12 c | 1867514 | 27907 208260 828916 | 65239 60581 35 | 2.946 % |
749.46/749.49 c | 1868026 | 27907 208245 828874 | 65239 61093 35 | 2.946 % |
749.96/749.91 c | 1869051 | 27904 208245 828874 | 65239 62116 35 | 2.956 % |
750.06/750.03 c | 1869564 | 27904 208245 828874 | 65239 62629 35 | 2.956 % |
750.27/750.26 c | 1870077 | 27904 208245 828874 | 63065 63142 35 | 2.956 % |
750.66/750.67 c | 1871102 | 27904 208245 828874 | 63065 64167 36 | 2.956 % |
751.56/751.54 c | 1873153 | 27904 208245 828874 | 63065 58887 35 | 2.956 % |
754.26/754.26 c | 1877250 | 27904 208245 828874 | 63065 62984 35 | 2.956 % |
758.06/758.08 c | 1885443 | 27904 208190 828466 | 2147483647 71175 36 | 2.956 % |
766.06/766.04 c | 1901829 | 27900 208190 828466 | 67826 69651 33 | 2.970 % |
782.77/782.77 c | 1934598 | 27900 208167 828387 | 64307 68900 43 | 2.970 % |
783.07/783.06 c | 1935110 | 27900 208167 828387 | 64307 52633 46 | 2.970 % |
783.27/783.24 c | 1935622 | 27900 208167 828387 | 64307 53145 46 | 2.970 % |
783.67/783.68 c | 1936646 | 27900 208167 828387 | 64307 54169 46 | 2.970 % |
783.77/783.78 c | 1937159 | 27900 208167 828387 | 64307 54682 46 | 2.970 % |
784.07/784.08 c | 1937671 | 27900 208167 828387 | 64307 55194 46 | 2.970 % |
784.47/784.47 c | 1938696 | 27900 208167 828387 | 64307 56219 45 | 2.970 % |
785.37/785.35 c | 1940744 | 27900 208167 828387 | 57523 58267 45 | 2.970 % |
785.47/785.48 c | 1941256 | 27900 208167 828387 | 57523 58779 45 | 2.970 % |
785.87/785.82 c | 1941769 | 27900 208167 828387 | 57523 51251 48 | 2.970 % |
786.27/786.27 c | 1942793 | 27900 208167 828387 | 57523 52275 47 | 2.970 % |
786.57/786.56 c | 1943307 | 27900 208167 828387 | 57523 52789 47 | 2.970 % |
786.77/786.73 c | 1943820 | 27900 208167 828387 | 57523 53302 47 | 2.970 % |
786.97/787.01 c | 1944845 | 27900 208167 828387 | 57523 54327 47 | 2.970 % |
787.47/787.51 c | 1946893 | 27900 208167 828387 | 57523 56375 46 | 2.970 % |
789.57/789.57 c | 1950989 | 27900 208167 828387 | 59482 60471 47 | 2.970 % |
789.87/789.87 c | 1951505 | 27900 208167 828387 | 59482 51002 46 | 2.970 % |
789.97/789.96 c | 1952020 | 27900 208167 828387 | 59482 51517 46 | 2.970 % |
790.37/790.37 c | 1953047 | 27900 208167 828387 | 59482 52544 45 | 2.970 % |
790.57/790.58 c | 1953560 | 27900 208167 828387 | 59482 53057 45 | 2.970 % |
790.77/790.79 c | 1954072 | 27900 208167 828387 | 59482 53569 45 | 2.970 % |
791.27/791.25 c | 1955097 | 27900 208167 828387 | 59482 54594 45 | 2.970 % |
791.87/791.85 c | 1957148 | 27900 208167 828387 | 59482 56645 45 | 2.970 % |
792.17/792.21 c | 1957660 | 27900 208167 828387 | 59482 57157 45 | 2.970 % |
792.37/792.40 c | 1958174 | 27900 208167 828387 | 59482 57671 45 | 2.970 % |
792.67/792.67 c | 1959200 | 27900 208167 828387 | 59482 58697 45 | 2.970 % |
792.87/792.89 c | 1959713 | 27894 207881 827205 | 59482 59209 45 | 2.991 % |
793.17/793.13 c | 1960225 | 27894 207881 827205 | 2147483647 59721 45 | 2.991 % |
793.67/793.63 c | 1961252 | 27894 207881 827205 | 2147483647 60748 45 | 2.991 % |
794.67/794.68 c | 1963300 | 27894 207881 827205 | 2147483647 62796 45 | 2.991 % |
796.27/796.24 c | 1967396 | 27894 207881 827205 | 2147483647 66892 44 | 2.991 % |
798.77/798.79 c | 1975589 | 27894 207881 827205 | 2147483647 75085 43 | 2.991 % |
799.07/799.02 c | 1976101 | 27894 207881 827205 | 2147483647 75597 43 | 2.991 % |
799.37/799.39 c | 1976613 | 27894 207881 827205 | 2147483647 76109 43 | 2.991 % |
799.87/799.86 c | 1977640 | 27894 207881 827205 | 2147483647 77136 43 | 2.991 % |
800.17/800.12 c | 1978152 | 27894 207881 827205 | 2147483647 77648 43 | 2.991 % |
800.37/800.32 c | 1978664 | 27894 207881 827205 | 2147483647 78160 43 | 2.991 % |
800.57/800.60 c | 1979689 | 27894 207881 827205 | 2147483647 79185 42 | 2.991 % |
801.07/801.07 c | 1981740 | 27894 207881 827205 | 79496 81236 42 | 2.991 % |
801.47/801.44 c | 1982252 | 27894 207881 827205 | 79496 73612 39 | 2.991 % |
801.77/801.77 c | 1982766 | 27894 207881 827205 | 79496 74126 39 | 2.991 % |
802.27/802.26 c | 1983793 | 27894 207881 827205 | 79496 75153 39 | 2.991 % |
802.57/802.54 c | 1984305 | 27894 207881 827205 | 79496 75665 39 | 2.991 % |
802.77/802.77 c | 1984817 | 27894 207881 827205 | 79496 76177 39 | 2.991 % |
803.27/803.23 c | 1985841 | 27894 207881 827205 | 79496 77201 39 | 2.991 % |
804.27/804.30 c | 1987891 | 27894 207881 827205 | 79496 79251 39 | 2.991 % |
805.87/805.88 c | 1991987 | 27894 207881 827205 | 81360 67936 34 | 2.991 % |
806.07/806.03 c | 1992501 | 27894 207881 827205 | 81360 68450 34 | 2.991 % |
806.27/806.29 c | 1993013 | 27894 207881 827205 | 81360 68962 34 | 2.991 % |
806.77/806.74 c | 1994038 | 27894 207881 827205 | 81360 69987 34 | 2.991 % |
806.87/806.88 c | 1994550 | 27894 207881 827205 | 81360 70499 34 | 2.991 % |
807.07/807.10 c | 1995064 | 27894 207881 827205 | 81360 71013 34 | 2.991 % |
807.37/807.39 c | 1996088 | 27894 207881 827205 | 81360 72037 34 | 2.991 % |
808.07/808.04 c | 1998138 | 27894 207881 827205 | 81360 74087 34 | 2.991 % |
808.27/808.28 c | 1998650 | 27894 207881 827205 | 81360 74599 34 | 2.991 % |
808.47/808.42 c | 1999162 | 27894 207881 827205 | 81360 75111 34 | 2.991 % |
808.77/808.72 c | 2000186 | 27894 207881 827205 | 75950 76135 34 | 2.991 % |
808.87/808.86 c | 2000699 | 27894 207881 827205 | 75950 76648 34 | 2.991 % |
809.07/809.08 c | 2001212 | 27894 207881 827205 | 75950 77161 35 | 2.991 % |
809.87/809.90 c | 2002236 | 27894 207881 827205 | 75950 64905 34 | 2.991 % |
810.87/810.85 c | 2004284 | 27894 207881 827205 | 75950 66953 34 | 2.991 % |
812.37/812.37 c | 2008383 | 27894 207881 827205 | 75950 71052 34 | 2.991 % |
814.77/814.75 c | 2016575 | 27894 207881 827205 | 72670 71805 33 | 2.991 % |
823.37/823.36 c | 2032960 | 27894 207881 827205 | 70681 59452 31 | 2.991 % |
823.57/823.53 c | 2033474 | 27894 207881 827205 | 70681 59966 31 | 2.991 % |
823.77/823.74 c | 2033988 | 27894 207881 827205 | 70681 60480 31 | 2.991 % |
824.17/824.15 c | 2035013 | 27894 207881 827205 | 70681 61505 31 | 2.991 % |
824.47/824.46 c | 2035526 | 27894 207881 827205 | 70681 62018 32 | 2.991 % |
824.67/824.63 c | 2036038 | 27894 207881 827205 | 70681 62530 31 | 2.991 % |
824.97/825.01 c | 2037064 | 27894 207881 827205 | 70681 63556 31 | 2.991 % |
825.57/825.52 c | 2039113 | 27894 207881 827205 | 70681 65605 32 | 2.991 % |
826.07/826.03 c | 2039625 | 27894 207881 827205 | 70681 66117 32 | 2.991 % |
826.37/826.36 c | 2040137 | 27894 207881 827205 | 66495 66629 32 | 2.991 % |
826.57/826.61 c | 2041163 | 27894 207881 827205 | 66495 67655 32 | 2.991 % |
826.87/826.88 c | 2041675 | 27894 207881 827205 | 66495 60293 31 | 2.991 % |
827.07/827.05 c | 2042188 | 27894 207881 827205 | 66495 60806 31 | 2.991 % |
827.77/827.76 c | 2043215 | 27894 207881 827205 | 66495 61833 31 | 2.991 % |
828.57/828.55 c | 2045263 | 27894 207881 827205 | 66495 63881 32 | 2.991 % |
829.87/829.84 c | 2049361 | 27894 207881 827205 | 66495 67979 32 | 2.991 % |
830.27/830.28 c | 2049874 | 27894 207881 827205 | 66495 60078 32 | 2.991 % |
830.57/830.57 c | 2050386 | 27894 207881 827205 | 60204 60590 32 | 2.991 % |
831.07/831.05 c | 2051410 | 27894 207881 827205 | 60204 61614 32 | 2.991 % |
831.27/831.27 c | 2051922 | 27894 207881 827205 | 60204 55965 31 | 2.991 % |
831.57/831.55 c | 2052434 | 27894 207881 827205 | 60204 56477 31 | 2.991 % |
831.77/831.73 c | 2053459 | 27894 207881 827205 | 60204 57502 31 | 2.991 % |
832.67/832.67 c | 2055508 | 27894 207881 827205 | 60204 59551 32 | 2.991 % |
832.87/832.90 c | 2056020 | 27894 207881 827205 | 60204 60063 32 | 2.991 % |
833.07/833.05 c | 2056533 | 27894 207881 827205 | 60204 60576 32 | 2.991 % |
833.47/833.49 c | 2057558 | 27894 207881 827205 | 60204 61601 32 | 2.991 % |
833.77/833.74 c | 2058070 | 27894 207881 827205 | 60204 55953 31 | 2.991 % |
834.07/834.03 c | 2058582 | 27894 207881 827205 | 60204 56465 31 | 2.991 % |
834.57/834.51 c | 2059606 | 27894 207881 827205 | 60204 57489 32 | 2.991 % |
835.17/835.12 c | 2061654 | 27894 207881 827205 | 2147483647 59537 32 | 2.991 % |
836.47/836.43 c | 2065750 | 27894 207881 827205 | 2147483647 63633 34 | 2.991 % |
839.57/839.56 c | 2073947 | 27894 207881 827205 | 67884 71830 35 | 2.991 % |
839.97/839.91 c | 2074459 | 27894 207881 827205 | 67884 61213 35 | 2.991 % |
840.17/840.12 c | 2074972 | 27894 207881 827205 | 67884 61726 35 | 2.991 % |
840.57/840.56 c | 2075996 | 27894 207881 827205 | 67884 62750 36 | 2.991 % |
840.87/840.83 c | 2076514 | 27894 207881 827205 | 67884 63268 36 | 2.991 % |
841.07/841.03 c | 2077026 | 27894 207881 827205 | 67884 63780 36 | 2.991 % |
841.57/841.55 c | 2078050 | 27894 207881 827205 | 67884 64804 36 | 2.991 % |
842.37/842.39 c | 2080099 | 27894 207881 827205 | 66755 66853 36 | 2.991 % |
842.67/842.63 c | 2080613 | 27894 207881 827205 | 66755 67367 36 | 2.991 % |
842.87/842.85 c | 2081125 | 27894 207881 827205 | 66755 67879 36 | 2.991 % |
843.47/843.47 c | 2082149 | 27894 207881 827205 | 66755 59359 37 | 2.991 % |
843.78/843.75 c | 2082662 | 27894 207881 827205 | 66755 59872 37 | 2.991 % |
844.07/844.01 c | 2083177 | 27894 207881 827205 | 66755 60387 37 | 2.991 % |
844.47/844.42 c | 2084201 | 27894 207881 827205 | 66755 61411 37 | 2.991 % |
845.07/845.07 c | 2086249 | 27894 207881 827205 | 66755 63459 37 | 2.991 % |
847.08/847.09 c | 2090346 | 27894 207881 827205 | 2147483647 67556 36 | 2.991 % |
847.47/847.43 c | 2090861 | 27894 207881 827205 | 2147483647 68071 36 | 2.991 % |
847.67/847.62 c | 2091373 | 27894 207881 827205 | 2147483647 68583 36 | 2.991 % |
848.27/848.27 c | 2092398 | 27894 207881 827205 | 2147483647 69608 36 | 2.991 % |
848.47/848.47 c | 2092911 | 27894 207881 827205 | 2147483647 70121 36 | 2.991 % |
849.07/849.02 c | 2093423 | 27894 207881 827205 | 2147483647 70633 36 | 2.991 % |
849.37/849.36 c | 2094448 | 27894 207881 827205 | 2147483647 71658 36 | 2.991 % |
850.38/850.37 c | 2096496 | 27894 207881 827205 | 2147483647 73706 37 | 2.991 % |
850.77/850.79 c | 2097009 | 27894 207881 827205 | 2147483647 74219 37 | 2.991 % |
851.17/851.11 c | 2097523 | 27894 207881 827205 | 2147483647 74733 37 | 2.991 % |
851.97/851.97 c | 2098547 | 27894 207881 827205 | 2147483647 75757 37 | 2.991 % |
852.27/852.31 c | 2099059 | 27776 206089 820019 | 2147483647 76256 37 | 3.401 % |
852.47/852.50 c | 2099571 | 27776 206089 820019 | 2147483647 76768 37 | 3.401 % |
852.97/852.93 c | 2100597 | 27776 206089 820019 | 2147483647 77794 37 | 3.401 % |
853.97/853.95 c | 2102653 | 27776 206089 820019 | 2147483647 79850 37 | 3.401 % |
856.17/856.15 c | 2106750 | 27776 206089 820019 | 2147483647 83947 38 | 3.401 % |
860.17/860.16 c | 2114942 | 27776 206089 820019 | 87197 92139 38 | 3.401 % |
867.17/867.14 c | 2131327 | 27776 206089 820019 | 73091 74415 37 | 3.401 % |
880.57/880.52 c | 2164095 | 27776 206089 820019 | 66868 70960 40 | 3.401 % |
916.88/916.82 c | 2229631 | 27776 206089 820019 | 69327 60983 48 | 3.401 % |
972.08/972.08 c | 2360707 | 27775 206033 819743 | 64242 64949 37 | 3.405 % |
1070.08/1070.08 c | 2622855 | 27740 205803 818929 | 2147483647 82180 35 | 3.526 % |
1070.48/1070.41 c | 2623367 | 27739 205791 818889 | 2147483647 82691 35 | 3.530 % |
1070.68/1070.69 c | 2623879 | 27737 205791 818889 | 2147483647 83202 35 | 3.586 % |
1071.28/1071.31 c | 2624903 | 27734 205791 818889 | 2147483647 84226 35 | 3.586 % |
1071.58/1071.52 c | 2625416 | 27734 205791 818889 | 2147483647 84739 35 | 3.586 % |
1071.78/1071.72 c | 2625931 | 27734 205791 818889 | 2147483647 85254 35 | 3.586 % |
1072.38/1072.41 c | 2626956 | 27734 205791 818889 | 2147483647 86279 35 | 3.586 % |
1073.08/1073.07 c | 2629005 | 27734 205791 818889 | 2147483647 88328 35 | 3.586 % |
1073.28/1073.26 c | 2629518 | 27734 205791 818889 | 2147483647 88841 35 | 3.586 % |
1073.58/1073.52 c | 2630030 | 27734 205791 818889 | 2147483647 89353 35 | 3.586 % |
1073.78/1073.80 c | 2631058 | 27734 205791 818889 | 2147483647 90381 35 | 3.586 % |
1074.28/1074.29 c | 2631570 | 27734 205791 818889 | 2147483647 90893 35 | 3.586 % |
1074.58/1074.58 c | 2632082 | 27734 205791 818889 | 2147483647 91405 35 | 3.586 % |
1074.98/1074.95 c | 2633107 | 27734 205791 818889 | 2147483647 92430 35 | 3.586 % |
1075.78/1075.74 c | 2635157 | 27734 205791 818889 | 2147483647 94480 35 | 3.586 % |
1078.48/1078.48 c | 2639253 | 27723 205552 817873 | 2147483647 98576 35 | 3.586 % |
1078.88/1078.88 c | 2639770 | 27723 205552 817873 | 2147483647 99093 35 | 3.586 % |
1079.18/1079.18 c | 2640282 | 27723 205552 817873 | 99325 99605 35 | 3.586 % |
1079.48/1079.50 c | 2641306 | 27723 205552 817873 | 99325 100629 35 | 3.586 % |
1079.88/1079.88 c | 2641824 | 27723 205552 817873 | 99325 82196 33 | 3.586 % |
1080.18/1080.12 c | 2642336 | 27723 205552 817873 | 99325 82708 33 | 3.586 % |
1080.78/1080.77 c | 2643361 | 27723 205552 817873 | 99325 83733 33 | 3.586 % |
1081.68/1081.63 c | 2645410 | 27723 205552 817873 | 99325 85782 33 | 3.586 % |
1081.88/1081.90 c | 2645925 | 27723 205552 817873 | 99325 86297 33 | 3.586 % |
1082.28/1082.22 c | 2646440 | 27723 205552 817873 | 99325 86812 33 | 3.586 % |
1082.98/1082.92 c | 2647464 | 27723 205552 817873 | 99325 87836 33 | 3.586 % |
1083.08/1083.08 c | 2647976 | 27723 205552 817873 | 99325 88348 33 | 3.586 % |
1083.38/1083.37 c | 2648493 | 27723 205552 817873 | 99325 88865 33 | 3.586 % |
1083.88/1083.83 c | 2649522 | 27723 205552 817873 | 99325 89894 33 | 3.586 % |
1085.48/1085.44 c | 2651575 | 27723 205552 817873 | 90372 91947 34 | 3.586 % |
1087.58/1087.54 c | 2655671 | 27723 205552 817873 | 90372 78751 33 | 3.586 % |
1090.98/1090.93 c | 2663863 | 27722 205545 817852 | 83076 86938 32 | 3.589 % |
1091.58/1091.52 c | 2664375 | 27722 205545 817852 | 83076 77540 32 | 3.589 % |
1091.88/1091.81 c | 2664887 | 27722 205545 817852 | 83076 78052 32 | 3.589 % |
1092.28/1092.24 c | 2665912 | 27722 205545 817852 | 83076 79077 32 | 3.589 % |
1092.48/1092.43 c | 2666425 | 27722 205545 817852 | 83076 79590 32 | 3.589 % |
1092.78/1092.72 c | 2666937 | 27722 205545 817852 | 83076 80102 32 | 3.589 % |
1093.18/1093.12 c | 2667961 | 27722 205545 817852 | 83076 81126 32 | 3.589 % |
1094.18/1094.20 c | 2670011 | 27722 205545 817852 | 83165 83176 32 | 3.589 % |
1094.58/1094.54 c | 2670523 | 27722 205545 817852 | 83165 83688 32 | 3.589 % |
1094.78/1094.71 c | 2671035 | 27722 205545 817852 | 83165 84200 32 | 3.589 % |
1095.38/1095.34 c | 2672062 | 27722 205545 817852 | 83165 71989 31 | 3.589 % |
1095.58/1095.55 c | 2672574 | 27722 205545 817852 | 83165 72501 31 | 3.589 % |
1095.78/1095.74 c | 2673086 | 27722 205545 817852 | 83165 73013 31 | 3.589 % |
1096.38/1096.32 c | 2674114 | 27722 205545 817852 | 83165 74041 31 | 3.589 % |
1096.88/1096.89 c | 2676162 | 27722 205545 817852 | 83165 76089 32 | 3.589 % |
1098.48/1098.41 c | 2680258 | 27722 205545 817852 | 79927 80185 33 | 3.589 % |
1098.78/1098.71 c | 2680770 | 27722 205545 817852 | 79927 80697 33 | 3.589 % |
1098.88/1098.88 c | 2681282 | 27722 205545 817852 | 79927 81209 33 | 3.589 % |
1099.58/1099.56 c | 2682307 | 27722 205545 817852 | 79927 72966 32 | 3.589 % |
1099.78/1099.80 c | 2682820 | 27722 205545 817852 | 79927 73479 32 | 3.589 % |
1100.09/1100.06 c | 2683333 | 27722 205545 817852 | 79927 73992 32 | 3.589 % |
1100.78/1100.76 c | 2684358 | 27722 205545 817852 | 79927 75017 32 | 3.589 % |
1101.58/1101.60 c | 2686407 | 27722 205545 817852 | 79927 77066 32 | 3.589 % |
1101.88/1101.85 c | 2686919 | 27722 205545 817852 | 79927 77578 32 | 3.589 % |
1102.08/1102.07 c | 2687431 | 27722 205545 817852 | 79927 78090 32 | 3.589 % |
1102.98/1102.97 c | 2688455 | 27722 205545 817852 | 79927 79114 32 | 3.589 % |
1103.18/1103.17 c | 2688967 | 27722 205545 817852 | 79927 79626 32 | 3.589 % |
1103.48/1103.44 c | 2689480 | 27722 205545 817852 | 79927 80139 33 | 3.589 % |
1104.18/1104.16 c | 2690504 | 27722 205545 817852 | 80659 81163 33 | 3.589 % |
1105.38/1105.40 c | 2692553 | 27722 205545 817852 | 80659 65143 32 | 3.589 % |
1106.48/1106.44 c | 2696650 | 27722 205545 817852 | 80659 69240 33 | 3.589 % |
1109.18/1109.15 c | 2704847 | 27722 205545 817852 | 72591 77437 35 | 3.589 % |
1114.58/1114.58 c | 2721231 | 27722 205545 817852 | 60614 61845 38 | 3.589 % |
1114.78/1114.80 c | 2721743 | 27722 205545 817852 | 60614 50690 38 | 3.589 % |
1114.88/1114.86 c | 2722257 | 27722 205545 817852 | 60614 51204 38 | 3.589 % |
1115.28/1115.29 c | 2723281 | 27722 205545 817852 | 60614 52228 38 | 3.589 % |
1115.58/1115.51 c | 2723794 | 27722 205545 817852 | 60614 52741 38 | 3.589 % |
1115.68/1115.69 c | 2724306 | 27722 205545 817852 | 60614 53253 38 | 3.589 % |
1115.88/1115.89 c | 2725330 | 27722 205545 817852 | 60614 54277 38 | 3.589 % |
1116.88/1116.85 c | 2727380 | 27722 205545 817852 | 60614 56327 38 | 3.589 % |
1117.08/1117.09 c | 2727895 | 27722 205545 817852 | 60614 56842 38 | 3.589 % |
1117.28/1117.28 c | 2728408 | 27722 205545 817852 | 60614 57355 38 | 3.589 % |
1117.58/1117.58 c | 2729432 | 27722 205545 817852 | 60614 58379 38 | 3.589 % |
1117.88/1117.88 c | 2729944 | 27722 205545 817852 | 60614 58891 38 | 3.589 % |
1118.18/1118.13 c | 2730457 | 27722 205545 817852 | 2147483647 59404 38 | 3.589 % |
1118.48/1118.46 c | 2731483 | 27722 205545 817852 | 2147483647 60430 38 | 3.589 % |
1119.08/1119.09 c | 2733532 | 27722 205545 817852 | 2147483647 62479 38 | 3.589 % |
1120.78/1120.72 c | 2737628 | 27722 205545 817852 | 2147483647 66575 39 | 3.589 % |
1120.99/1120.93 c | 2738140 | 27722 205545 817852 | 2147483647 67087 39 | 3.589 % |
1121.18/1121.13 c | 2738652 | 27722 205545 817852 | 2147483647 67599 39 | 3.589 % |
1121.38/1121.33 c | 2739676 | 27722 205545 817852 | 2147483647 68623 39 | 3.589 % |
1121.48/1121.49 c | 2740189 | 27722 205545 817852 | 68947 69136 38 | 3.589 % |
1121.68/1121.68 c | 2740703 | 27722 205545 817852 | 68947 69650 38 | 3.589 % |
1122.28/1122.23 c | 2741727 | 27722 205545 817852 | 68947 70674 38 | 3.589 % |
1122.78/1122.77 c | 2743775 | 27722 205545 817852 | 68947 63558 39 | 3.589 % |
1123.08/1123.09 c | 2744287 | 27722 205545 817852 | 68947 64070 39 | 3.589 % |
1123.19/1123.20 c | 2744802 | 27722 205545 817852 | 68947 64585 39 | 3.589 % |
1123.68/1123.61 c | 2745828 | 27722 205545 817852 | 68947 65611 39 | 3.589 % |
1123.98/1123.95 c | 2746344 | 27722 205545 817852 | 68947 66127 38 | 3.589 % |
1124.29/1124.27 c | 2746856 | 27722 205545 817852 | 68947 66639 39 | 3.589 % |
1124.68/1124.68 c | 2747880 | 27696 205279 816858 | 68947 67656 38 | 3.679 % |
1125.88/1125.86 c | 2749929 | 27696 205279 816858 | 68947 69705 39 | 3.679 % |
1127.28/1127.30 c | 2754026 | 27696 205279 816858 | 69776 73802 39 | 3.679 % |
1130.38/1130.38 c | 2762218 | 27696 205279 816858 | 2147483647 74614 39 | 3.679 % |
1130.68/1130.67 c | 2762730 | 27696 205279 816858 | 2147483647 75126 39 | 3.679 % |
1131.08/1131.01 c | 2763242 | 27696 205279 816858 | 2147483647 75638 39 | 3.679 % |
1131.68/1131.60 c | 2764267 | 27696 205279 816858 | 2147483647 76663 39 | 3.679 % |
1131.78/1131.76 c | 2764780 | 27696 205279 816858 | 2147483647 77176 39 | 3.679 % |
1132.18/1132.11 c | 2765294 | 27696 205279 816858 | 2147483647 77690 39 | 3.679 % |
1132.48/1132.48 c | 2766318 | 27696 205279 816858 | 2147483647 78714 39 | 3.679 % |
1133.48/1133.50 c | 2768366 | 27696 205279 816858 | 2147483647 80762 39 | 3.679 % |
1133.68/1133.69 c | 2768878 | 27696 205279 816858 | 2147483647 81274 39 | 3.679 % |
1133.98/1133.93 c | 2769390 | 27696 205279 816858 | 2147483647 81786 39 | 3.679 % |
1134.68/1134.64 c | 2770415 | 27696 205279 816858 | 2147483647 82811 39 | 3.679 % |
1134.88/1134.81 c | 2770930 | 27696 205279 816858 | 2147483647 83326 39 | 3.679 % |
1135.08/1135.06 c | 2771443 | 27696 205279 816858 | 2147483647 83839 39 | 3.679 % |
1135.78/1135.75 c | 2772467 | 27696 205279 816858 | 2147483647 84863 40 | 3.679 % |
1136.18/1136.20 c | 2774516 | 27696 205279 816858 | 2147483647 86912 40 | 3.679 % |
1138.59/1138.56 c | 2778612 | 27696 205279 816858 | 2147483647 91008 39 | 3.679 % |
1138.98/1138.99 c | 2779124 | 27696 205279 816858 | 2147483647 91520 39 | 3.679 % |
1139.18/1139.11 c | 2779636 | 27696 205279 816858 | 2147483647 92032 39 | 3.679 % |
1139.48/1139.45 c | 2780663 | 27687 205184 816569 | 2147483647 93052 39 | 3.711 % |
1139.78/1139.71 c | 2781175 | 27687 205184 816569 | 2147483647 93564 39 | 3.711 % |
1140.08/1140.07 c | 2781691 | 27687 205184 816569 | 2147483647 94080 39 | 3.711 % |
1140.68/1140.62 c | 2782719 | 27687 205184 816569 | 2147483647 95108 39 | 3.711 % |
1142.18/1142.12 c | 2784768 | 27687 205184 816569 | 2147483647 97157 39 | 3.711 % |
1142.48/1142.49 c | 2785280 | 27687 205184 816569 | 2147483647 97669 39 | 3.711 % |
1142.78/1142.78 c | 2785792 | 27687 205184 816569 | 2147483647 98181 39 | 3.711 % |
1143.28/1143.26 c | 2786820 | 27687 205184 816569 | 2147483647 99209 39 | 3.711 % |
1143.78/1143.74 c | 2787333 | 27687 205184 816569 | 2147483647 99722 39 | 3.711 % |
1143.98/1143.93 c | 2787846 | 27687 205184 816569 | 2147483647 100235 39 | 3.711 % |
1144.48/1144.44 c | 2788871 | 27687 205184 816569 | 2147483647 101260 39 | 3.711 % |
1145.78/1145.79 c | 2790920 | 27687 205184 816569 | 102390 103309 40 | 3.711 % |
1147.68/1147.63 c | 2795016 | 27687 205184 816569 | 102390 107405 40 | 3.711 % |
1150.09/1150.02 c | 2803208 | 27687 205184 816569 | 90015 93222 37 | 3.711 % |
1159.99/1160.01 c | 2819593 | 27687 205184 816569 | 81104 82304 38 | 3.711 % |
1185.79/1185.76 c | 2852361 | 27687 205184 816569 | 2147483647 106842 39 | 3.711 % |
1185.99/1186.01 c | 2852873 | 27687 205184 816569 | 2147483647 107354 39 | 3.711 % |
1186.29/1186.27 c | 2853386 | 27687 205184 816569 | 2147483647 107867 39 | 3.711 % |
1187.19/1187.21 c | 2854410 | 27687 205184 816569 | 2147483647 108891 39 | 3.711 % |
1187.59/1187.56 c | 2854922 | 27687 205184 816569 | 2147483647 109403 39 | 3.711 % |
1187.89/1187.89 c | 2855434 | 27687 205184 816569 | 2147483647 109915 39 | 3.711 % |
1188.69/1188.66 c | 2856460 | 27687 205184 816569 | 2147483647 110941 39 | 3.711 % |
1189.79/1189.81 c | 2858509 | 27687 205184 816569 | 2147483647 112990 39 | 3.711 % |
1190.19/1190.14 c | 2859021 | 27687 205184 816569 | 2147483647 113502 39 | 3.711 % |
1190.69/1190.65 c | 2859533 | 27687 205184 816569 | 2147483647 114014 39 | 3.711 % |
1191.09/1191.09 c | 2860557 | 27687 205184 816569 | 114481 115038 39 | 3.711 % |
1191.49/1191.46 c | 2861069 | 27687 205184 816569 | 114481 115550 39 | 3.711 % |
1191.79/1191.78 c | 2861583 | 27687 205184 816569 | 114481 98415 38 | 3.711 % |
1192.29/1192.28 c | 2862607 | 27687 205184 816569 | 114481 99439 38 | 3.711 % |
1193.29/1193.31 c | 2864655 | 27687 205184 816569 | 114481 101487 39 | 3.711 % |
1195.89/1195.88 c | 2868754 | 27687 205184 816569 | 114481 105586 39 | 3.711 % |
1196.29/1196.31 c | 2869266 | 27687 205184 816569 | 114481 106098 38 | 3.711 % |
1196.59/1196.61 c | 2869780 | 27687 205184 816569 | 114481 106612 38 | 3.711 % |
1197.09/1197.04 c | 2870806 | 27687 205184 816569 | 106833 107638 38 | 3.711 % |
1197.39/1197.35 c | 2871319 | 27687 205184 816569 | 106833 108151 38 | 3.711 % |
1197.79/1197.72 c | 2871833 | 27687 205184 816569 | 106833 93198 38 | 3.711 % |
1198.19/1198.15 c | 2872857 | 27687 205184 816569 | 106833 94222 38 | 3.711 % |
1198.69/1198.69 c | 2874906 | 27687 205184 816569 | 106833 96271 38 | 3.711 % |
1198.99/1199.00 c | 2875418 | 27687 205184 816569 | 106833 96783 38 | 3.711 % |
1199.39/1199.35 c | 2875930 | 27687 205184 816569 | 106833 97295 38 | 3.711 % |
1200.09/1200.02 HOME/SatELiteGTI: line 36: 28484 Terminated $MS $TMP.cnf $TMP.result
runsolver version 3.2.9 (svn:503) (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w /tmp/evaluation-result-1820765-1242475222/watcher-1820765-1242475222 -o /tmp/evaluation-result-1820765-1242475222/solver-1820765-1242475222 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1820765-1242475222.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.99 0.98 0.99 3/97 28478
/proc/meminfo: memFree=1833500/2074464 swapFree=1949244/1959888
[pid=28478] ppid=28476 vsize=2412 CPUtime=0.01
/proc/28478/stat : 28478 (SatELiteGTI) S 28476 28478 16367 0 -1 4194304 366 646 0 0 0 0 0 1 18 0 1 0 1012023292 2469888 276 4294967295 134512640 135169312 3220449936 3220448472 3085037294 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/28478/statm: 603 276 235 161 0 42 0
[pid=28482] ppid=28478 vsize=952 CPUtime=0
/proc/28482/stat : 28482 (SatELite_releas) R 28478 28478 16367 0 -1 4202496 126 0 0 0 0 0 0 0 20 0 1 0 1012023293 974848 62 4294967295 134512640 135223648 3217409936 3217408520 134719062 0 0 0 3 0 0 0 17 2 0 0 0
/proc/28482/statm: 238 63 46 174 0 63 0
[startup+0.092365 s]
/proc/loadavg: 0.99 0.98 0.99 3/97 28478
/proc/meminfo: memFree=1833500/2074464 swapFree=1949244/1959888
[pid=28478] ppid=28476 vsize=2412 CPUtime=0.01
/proc/28478/stat : 28478 (SatELiteGTI) S 28476 28478 16367 0 -1 4194304 366 646 0 0 0 0 0 1 18 0 1 0 1012023292 2469888 276 4294967295 134512640 135169312 3220449936 3220448472 3085037294 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/28478/statm: 603 276 235 161 0 42 0
[pid=28482] ppid=28478 vsize=15988 CPUtime=0.09
/proc/28482/stat : 28482 (SatELite_releas) R 28478 28478 16367 0 -1 4202496 3320 0 0 0 8 1 0 0 20 0 1 0 1012023293 16371712 3256 4294967295 134512640 135223648 3217409936 3217408520 134719062 0 0 0 3 0 0 0 17 2 0 0 0
/proc/28482/statm: 3997 3256 46 174 0 3822 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 18400
[startup+0.112365 s]
/proc/loadavg: 0.99 0.98 0.99 3/97 28478
/proc/meminfo: memFree=1833500/2074464 swapFree=1949244/1959888
[pid=28478] ppid=28476 vsize=2412 CPUtime=0.01
/proc/28478/stat : 28478 (SatELiteGTI) S 28476 28478 16367 0 -1 4194304 366 646 0 0 0 0 0 1 18 0 1 0 1012023292 2469888 276 4294967295 134512640 135169312 3220449936 3220448472 3085037294 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/28478/statm: 603 276 235 161 0 42 0
[pid=28482] ppid=28478 vsize=18348 CPUtime=0.11
/proc/28482/stat : 28482 (SatELite_releas) R 28478 28478 16367 0 -1 4202496 4003 0 0 0 9 2 0 0 20 0 1 0 1012023293 18788352 3939 4294967295 134512640 135223648 3217409936 3217408888 134737310 0 0 0 3 0 0 0 17 2 0 0 0
/proc/28482/statm: 4587 3940 46 174 0 4412 0
Current children cumulated CPU time (s) 0.12
Current children cumulated vsize (KiB) 20760
[startup+0.312352 s]
/proc/loadavg: 0.99 0.98 0.99 3/97 28478
/proc/meminfo: memFree=1833500/2074464 swapFree=1949244/1959888
[pid=28478] ppid=28476 vsize=2412 CPUtime=0.01
/proc/28478/stat : 28478 (SatELiteGTI) S 28476 28478 16367 0 -1 4194304 366 646 0 0 0 0 0 1 18 0 1 0 1012023292 2469888 276 4294967295 134512640 135169312 3220449936 3220448472 3085037294 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/28478/statm: 603 276 235 161 0 42 0
[pid=28482] ppid=28478 vsize=43948 CPUtime=0.31
/proc/28482/stat : 28482 (SatELite_releas) R 28478 28478 16367 0 -1 4202496 10726 0 0 0 27 4 0 0 21 0 1 0 1012023293 45002752 10662 4294967295 134512640 135223648 3217409936 3217408816 134542955 0 0 0 3 0 0 0 17 2 0 0 0
/proc/28482/statm: 10987 10664 46 174 0 10812 0
Current children cumulated CPU time (s) 0.32
Current children cumulated vsize (KiB) 46360
[startup+0.71233 s]
/proc/loadavg: 0.99 0.98 0.99 3/97 28478
/proc/meminfo: memFree=1833500/2074464 swapFree=1949244/1959888
[pid=28478] ppid=28476 vsize=2412 CPUtime=0.01
/proc/28478/stat : 28478 (SatELiteGTI) S 28476 28478 16367 0 -1 4194304 366 646 0 0 0 0 0 1 18 0 1 0 1012023292 2469888 276 4294967295 134512640 135169312 3220449936 3220448472 3085037294 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/28478/statm: 603 276 235 161 0 42 0
[pid=28482] ppid=28478 vsize=86420 CPUtime=0.71
/proc/28482/stat : 28482 (SatELite_releas) R 28478 28478 16367 0 -1 4202496 20106 0 0 0 62 9 0 0 22 0 1 0 1012023293 88494080 18523 4294967295 134512640 135223648 3217409936 3217407900 134713239 0 0 0 3 0 0 0 17 2 0 0 0
/proc/28482/statm: 21605 18523 73 174 0 21430 0
Current children cumulated CPU time (s) 0.72
Current children cumulated vsize (KiB) 88832
[startup+1.51228 s]
/proc/loadavg: 0.99 0.98 0.99 2/99 28483
/proc/meminfo: memFree=1755348/2074464 swapFree=1949244/1959888
[pid=28478] ppid=28476 vsize=2412 CPUtime=0.01
/proc/28478/stat : 28478 (SatELiteGTI) S 28476 28478 16367 0 -1 4194304 366 646 0 0 0 0 0 1 18 0 1 0 1012023292 2469888 276 4294967295 134512640 135169312 3220449936 3220448472 3085037294 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/28478/statm: 603 276 235 161 0 42 0
[pid=28482] ppid=28478 vsize=90328 CPUtime=1.51
/proc/28482/stat : 28482 (SatELite_releas) R 28478 28478 16367 0 -1 4202496 20959 0 0 0 140 11 0 0 25 0 1 0 1012023293 92495872 19376 4294967295 134512640 135223648 3217409936 3217407952 134586715 0 0 0 3 0 0 0 17 2 0 0 0
/proc/28482/statm: 22582 19376 73 174 0 22407 0
Current children cumulated CPU time (s) 1.52
Current children cumulated vsize (KiB) 92740
[startup+3.1122 s]
/proc/loadavg: 0.99 0.98 0.99 2/99 28483
/proc/meminfo: memFree=1742948/2074464 swapFree=1949244/1959888
[pid=28478] ppid=28476 vsize=2412 CPUtime=0.01
/proc/28478/stat : 28478 (SatELiteGTI) S 28476 28478 16367 0 -1 4194304 366 646 0 0 0 0 0 1 18 0 1 0 1012023292 2469888 276 4294967295 134512640 135169312 3220449936 3220448472 3085037294 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/28478/statm: 603 276 235 161 0 42 0
[pid=28482] ppid=28478 vsize=93576 CPUtime=3.11
/proc/28482/stat : 28482 (SatELite_releas) R 28478 28478 16367 0 -1 4202496 22108 0 0 0 291 20 0 0 25 0 1 0 1012023293 95821824 20165 4294967295 134512640 135223648 3217409936 3217408080 134575801 0 0 0 3 0 0 0 17 2 0 0 0
/proc/28482/statm: 23394 20165 73 174 0 23219 0
Current children cumulated CPU time (s) 3.12
Current children cumulated vsize (KiB) 95988
[startup+6.31202 s]
/proc/loadavg: 0.99 0.98 0.99 2/99 28484
/proc/meminfo: memFree=1796920/2074464 swapFree=1949244/1959888
[pid=28478] ppid=28476 vsize=2416 CPUtime=3.87
/proc/28478/stat : 28478 (SatELiteGTI) S 28476 28478 16367 0 -1 4194304 385 24633 0 0 1 0 362 24 20 0 1 0 1012023292 2473984 277 4294967295 134512640 135169312 3220449936 3220446152 3085037294 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/28478/statm: 604 277 235 161 0 43 0
[pid=28484] ppid=28478 vsize=17476 CPUtime=2.45
/proc/28484/stat : 28484 (minisat_static) R 28478 28478 16367 0 -1 4202496 4163 0 0 0 245 0 0 0 25 0 1 0 1012023679 17895424 4098 4294967295 134512640 135216591 3217924208 3217922400 134528842 0 0 0 3 0 0 0 17 3 0 0 0
/proc/28484/statm: 4369 4098 75 172 0 4196 0
Current children cumulated CPU time (s) 6.32
Current children cumulated vsize (KiB) 19892
[startup+12.7117 s]
/proc/loadavg: 0.99 0.98 0.99 2/99 28668
/proc/meminfo: memFree=1790568/2074464 swapFree=1949244/1959888
[pid=28478] ppid=28476 vsize=2416 CPUtime=3.87
/proc/28478/stat : 28478 (SatELiteGTI) S 28476 28478 16367 0 -1 4194304 385 24633 0 0 1 0 362 24 20 0 1 0 1012023292 2473984 277 4294967295 134512640 135169312 3220449936 3220446152 3085037294 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/28478/statm: 604 277 235 161 0 43 0
[pid=28484] ppid=28478 vsize=23396 CPUtime=8.85
/proc/28484/stat : 28484 (minisat_static) R 28478 28478 16367 0 -1 4202496 5605 0 0 0 885 0 0 0 25 0 1 0 1012023679 23957504 5540 4294967295 134512640 135216591 3217924208 3217922400 134528842 0 0 0 3 0 0 0 17 3 0 0 0
/proc/28484/statm: 5849 5540 75 172 0 5676 0
Current children cumulated CPU time (s) 12.72
Current children cumulated vsize (KiB) 25812
[startup+25.5209 s]
/proc/loadavg: 0.99 0.98 0.99 2/99 28669
/proc/meminfo: memFree=1782088/2074464 swapFree=1949244/1959888
[pid=28478] ppid=28476 vsize=2416 CPUtime=3.87
/proc/28478/stat : 28478 (SatELiteGTI) S 28476 28478 16367 0 -1 4194304 385 24633 0 0 1 0 362 24 20 0 1 0 1012023292 2473984 277 4294967295 134512640 135169312 3220449936 3220446152 3085037294 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/28478/statm: 604 277 235 161 0 43 0
[pid=28484] ppid=28478 vsize=31316 CPUtime=21.66
/proc/28484/stat : 28484 (minisat_static) R 28478 28478 16367 0 -1 4202496 7610 0 0 0 2165 1 0 0 25 0 1 0 1012023679 32067584 7545 4294967295 134512640 135216591 3217924208 3217922400 134528842 0 0 0 3 0 0 0 17 3 0 0 0
/proc/28484/statm: 7829 7545 75 172 0 7656 0
Current children cumulated CPU time (s) 25.53
Current children cumulated vsize (KiB) 33732
[startup+51.1195 s]
/proc/loadavg: 0.99 0.98 0.99 2/99 28669
/proc/meminfo: memFree=1780564/2074464 swapFree=1949244/1959888
[pid=28478] ppid=28476 vsize=2416 CPUtime=3.87
/proc/28478/stat : 28478 (SatELiteGTI) S 28476 28478 16367 0 -1 4194304 385 24633 0 0 1 0 362 24 20 0 1 0 1012023292 2473984 277 4294967295 134512640 135169312 3220449936 3220446152 3085037294 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/28478/statm: 604 277 235 161 0 43 0
[pid=28484] ppid=28478 vsize=33036 CPUtime=47.26
/proc/28484/stat : 28484 (minisat_static) R 28478 28478 16367 0 -1 4202496 8041 0 0 0 4725 1 0 0 25 0 1 0 1012023679 33828864 7976 4294967295 134512640 135216591 3217924208 3217922400 134528842 0 0 0 3 0 0 0 17 3 0 0 0
/proc/28484/statm: 8259 7976 75 172 0 8086 0
Current children cumulated CPU time (s) 51.13
Current children cumulated vsize (KiB) 35452
[startup+102.327 s]
/proc/loadavg: 0.99 0.98 0.99 3/99 28858
/proc/meminfo: memFree=1777944/2074464 swapFree=1949244/1959888
[pid=28478] ppid=28476 vsize=2416 CPUtime=3.87
/proc/28478/stat : 28478 (SatELiteGTI) S 28476 28478 16367 0 -1 4194304 385 24633 0 0 1 0 362 24 20 0 1 0 1012023292 2473984 277 4294967295 134512640 135169312 3220449936 3220446152 3085037294 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/28478/statm: 604 277 235 161 0 43 0
[pid=28484] ppid=28478 vsize=35480 CPUtime=98.47
/proc/28484/stat : 28484 (minisat_static) R 28478 28478 16367 0 -1 4202496 8589 0 0 0 9843 4 0 0 25 0 1 0 1012023679 36331520 8524 4294967295 134512640 135216591 3217924208 3217922400 134528842 0 0 0 3 0 0 0 17 3 0 0 0
/proc/28484/statm: 8870 8524 75 172 0 8697 0
Current children cumulated CPU time (s) 102.34
Current children cumulated vsize (KiB) 37896
[startup+162.323 s]
/proc/loadavg: 0.99 0.98 0.99 2/99 29046
/proc/meminfo: memFree=1776836/2074464 swapFree=1949244/1959888
[pid=28478] ppid=28476 vsize=2416 CPUtime=3.87
/proc/28478/stat : 28478 (SatELiteGTI) S 28476 28478 16367 0 -1 4194304 385 24633 0 0 1 0 362 24 20 0 1 0 1012023292 2473984 277 4294967295 134512640 135169312 3220449936 3220446152 3085037294 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/28478/statm: 604 277 235 161 0 43 0
[pid=28484] ppid=28478 vsize=36540 CPUtime=158.47
/proc/28484/stat : 28484 (minisat_static) R 28478 28478 16367 0 -1 4202496 8879 0 0 0 15843 4 0 0 25 0 1 0 1012023679 37416960 8814 4294967295 134512640 135216591 3217924208 3217922112 134532879 0 0 0 3 0 0 0 17 3 0 0 0
/proc/28484/statm: 9135 8814 75 172 0 8962 0
Current children cumulated CPU time (s) 162.34
Current children cumulated vsize (KiB) 38956
[startup+222.32 s]
/proc/loadavg: 0.99 0.98 0.99 2/99 29232
/proc/meminfo: memFree=1775480/2074464 swapFree=1949244/1959888
[pid=28478] ppid=28476 vsize=2416 CPUtime=3.87
/proc/28478/stat : 28478 (SatELiteGTI) S 28476 28478 16367 0 -1 4194304 385 24633 0 0 1 0 362 24 20 0 1 0 1012023292 2473984 277 4294967295 134512640 135169312 3220449936 3220446152 3085037294 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/28478/statm: 604 277 235 161 0 43 0
[pid=28484] ppid=28478 vsize=37860 CPUtime=218.47
/proc/28484/stat : 28484 (minisat_static) R 28478 28478 16367 0 -1 4202496 9196 0 0 0 21843 4 0 0 25 0 1 0 1012023679 38768640 9131 4294967295 134512640 135216591 3217924208 3217922112 134532786 0 0 0 3 0 0 0 17 3 0 0 0
/proc/28484/statm: 9465 9131 75 172 0 9292 0
Current children cumulated CPU time (s) 222.34
Current children cumulated vsize (KiB) 40276
[startup+282.327 s]
/proc/loadavg: 0.99 0.98 0.99 2/99 29425
/proc/meminfo: memFree=1773960/2074464 swapFree=1949244/1959888
[pid=28478] ppid=28476 vsize=2416 CPUtime=3.87
/proc/28478/stat : 28478 (SatELiteGTI) S 28476 28478 16367 0 -1 4194304 385 24633 0 0 1 0 362 24 20 0 1 0 1012023292 2473984 277 4294967295 134512640 135169312 3220449936 3220446152 3085037294 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/28478/statm: 604 277 235 161 0 43 0
[pid=28484] ppid=28478 vsize=39312 CPUtime=278.48
/proc/28484/stat : 28484 (minisat_static) R 28478 28478 16367 0 -1 4202496 9568 0 0 0 27844 4 0 0 25 0 1 0 1012023679 40255488 9503 4294967295 134512640 135216591 3217924208 3217922400 134528842 0 0 0 3 0 0 0 17 3 0 0 0
/proc/28484/statm: 9828 9503 75 172 0 9655 0
Current children cumulated CPU time (s) 282.35
Current children cumulated vsize (KiB) 41728
[startup+342.313 s]
/proc/loadavg: 0.99 0.98 0.99 2/99 29614
/proc/meminfo: memFree=1772132/2074464 swapFree=1949244/1959888
[pid=28478] ppid=28476 vsize=2416 CPUtime=3.87
/proc/28478/stat : 28478 (SatELiteGTI) S 28476 28478 16367 0 -1 4194304 385 24633 0 0 1 0 362 24 20 0 1 0 1012023292 2473984 277 4294967295 134512640 135169312 3220449936 3220446152 3085037294 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/28478/statm: 604 277 235 161 0 43 0
[pid=28484] ppid=28478 vsize=41188 CPUtime=338.47
/proc/28484/stat : 28484 (minisat_static) R 28478 28478 16367 0 -1 4202496 10032 0 0 0 33843 4 0 0 25 0 1 0 1012023679 42176512 9967 4294967295 134512640 135216591 3217924208 3217922176 134538249 0 0 0 3 0 0 0 17 3 0 0 0
/proc/28484/statm: 10297 9967 75 172 0 10124 0
Current children cumulated CPU time (s) 342.34
################
# More data... #
################
/proc/28478/stat : 28478 (SatELiteGTI) S 28476 28478 16367 0 -1 4194304 385 24633 0 0 1 0 362 24 20 0 1 0 1012023292 2473984 277 4294967295 134512640 135169312 3220449936 3220446152 3085037294 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/28478/statm: 604 277 235 161 0 43 0
[pid=28484] ppid=28478 vsize=41188 CPUtime=458.48
/proc/28484/stat : 28484 (minisat_static) R 28478 28478 16367 0 -1 4202496 10039 0 0 0 45844 4 0 0 25 0 1 0 1012023679 42176512 9974 4294967295 134512640 135216591 3217924208 3217922400 134528842 0 0 0 3 0 0 0 17 3 0 0 0
/proc/28484/statm: 10297 9974 75 172 0 10124 0
Current children cumulated CPU time (s) 462.35
Current children cumulated vsize (KiB) 43604
[startup+522.323 s]
/proc/loadavg: 0.99 0.98 0.99 3/99 30177
/proc/meminfo: memFree=1770644/2074464 swapFree=1949244/1959888
[pid=28478] ppid=28476 vsize=2416 CPUtime=3.87
/proc/28478/stat : 28478 (SatELiteGTI) S 28476 28478 16367 0 -1 4194304 385 24633 0 0 1 0 362 24 20 0 1 0 1012023292 2473984 277 4294967295 134512640 135169312 3220449936 3220446152 3085037294 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/28478/statm: 604 277 235 161 0 43 0
[pid=28484] ppid=28478 vsize=42776 CPUtime=518.49
/proc/28484/stat : 28484 (minisat_static) R 28478 28478 16367 0 -1 4202496 10437 0 0 0 51845 4 0 0 25 0 1 0 1012023679 43802624 10372 4294967295 134512640 135216591 3217924208 3217922400 134528842 0 0 0 3 0 0 0 17 3 0 0 0
/proc/28484/statm: 10694 10372 75 172 0 10521 0
Current children cumulated CPU time (s) 522.36
Current children cumulated vsize (KiB) 45192
[startup+582.32 s]
/proc/loadavg: 0.99 0.98 0.99 2/99 30366
/proc/meminfo: memFree=1770628/2074464 swapFree=1949244/1959888
[pid=28478] ppid=28476 vsize=2416 CPUtime=3.87
/proc/28478/stat : 28478 (SatELiteGTI) S 28476 28478 16367 0 -1 4194304 385 24633 0 0 1 0 362 24 20 0 1 0 1012023292 2473984 277 4294967295 134512640 135169312 3220449936 3220446152 3085037294 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/28478/statm: 604 277 235 161 0 43 0
[pid=28484] ppid=28478 vsize=42908 CPUtime=578.49
/proc/28484/stat : 28484 (minisat_static) R 28478 28478 16367 0 -1 4202496 10482 0 0 0 57845 4 0 0 25 0 1 0 1012023679 43937792 10417 4294967295 134512640 135216591 3217924208 3217922400 134528969 0 0 0 3 0 0 0 17 3 0 0 0
/proc/28484/statm: 10727 10417 75 172 0 10554 0
Current children cumulated CPU time (s) 582.36
Current children cumulated vsize (KiB) 45324
[startup+642.316 s]
/proc/loadavg: 0.99 0.98 0.99 3/99 30553
/proc/meminfo: memFree=1770520/2074464 swapFree=1949244/1959888
[pid=28478] ppid=28476 vsize=2416 CPUtime=3.87
/proc/28478/stat : 28478 (SatELiteGTI) S 28476 28478 16367 0 -1 4194304 385 24633 0 0 1 0 362 24 20 0 1 0 1012023292 2473984 277 4294967295 134512640 135169312 3220449936 3220446152 3085037294 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/28478/statm: 604 277 235 161 0 43 0
[pid=28484] ppid=28478 vsize=43056 CPUtime=638.49
/proc/28484/stat : 28484 (minisat_static) R 28478 28478 16367 0 -1 4202496 10508 0 0 0 63845 4 0 0 25 0 1 0 1012023679 44089344 10443 4294967295 134512640 135216591 3217924208 3217922400 134529251 0 0 0 3 0 0 0 17 3 0 0 0
/proc/28484/statm: 10764 10443 75 172 0 10591 0
Current children cumulated CPU time (s) 642.36
Current children cumulated vsize (KiB) 45472
[startup+702.313 s]
/proc/loadavg: 1.07 1.01 1.00 3/99 30746
/proc/meminfo: memFree=1769768/2074464 swapFree=1949244/1959888
[pid=28478] ppid=28476 vsize=2416 CPUtime=3.87
/proc/28478/stat : 28478 (SatELiteGTI) S 28476 28478 16367 0 -1 4194304 385 24633 0 0 1 0 362 24 20 0 1 0 1012023292 2473984 277 4294967295 134512640 135169312 3220449936 3220446152 3085037294 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/28478/statm: 604 277 235 161 0 43 0
[pid=28484] ppid=28478 vsize=43800 CPUtime=698.49
/proc/28484/stat : 28484 (minisat_static) R 28478 28478 16367 0 -1 4202496 10665 0 0 0 69845 4 0 0 25 0 1 0 1012023679 44851200 10600 4294967295 134512640 135216591 3217924208 3217922400 134528842 0 0 0 3 0 0 0 17 3 0 0 0
/proc/28484/statm: 10950 10600 75 172 0 10777 0
Current children cumulated CPU time (s) 702.36
Current children cumulated vsize (KiB) 46216
[startup+762.32 s]
/proc/loadavg: 1.02 1.01 1.00 3/99 30934
/proc/meminfo: memFree=1769752/2074464 swapFree=1949244/1959888
[pid=28478] ppid=28476 vsize=2416 CPUtime=3.87
/proc/28478/stat : 28478 (SatELiteGTI) S 28476 28478 16367 0 -1 4194304 385 24633 0 0 1 0 362 24 20 0 1 0 1012023292 2473984 277 4294967295 134512640 135169312 3220449936 3220446152 3085037294 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/28478/statm: 604 277 235 161 0 43 0
[pid=28484] ppid=28478 vsize=43800 CPUtime=758.5
/proc/28484/stat : 28484 (minisat_static) R 28478 28478 16367 0 -1 4202496 10665 0 0 0 75846 4 0 0 25 0 1 0 1012023679 44851200 10600 4294967295 134512640 135216591 3217924208 3217922400 134528842 0 0 0 3 0 0 0 17 3 0 0 0
/proc/28484/statm: 10950 10600 75 172 0 10777 0
Current children cumulated CPU time (s) 762.37
Current children cumulated vsize (KiB) 46216
[startup+822.316 s]
/proc/loadavg: 1.01 1.00 1.00 2/99 31120
/proc/meminfo: memFree=1769504/2074464 swapFree=1949244/1959888
[pid=28478] ppid=28476 vsize=2416 CPUtime=3.87
/proc/28478/stat : 28478 (SatELiteGTI) S 28476 28478 16367 0 -1 4194304 385 24633 0 0 1 0 362 24 20 0 1 0 1012023292 2473984 277 4294967295 134512640 135169312 3220449936 3220446152 3085037294 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/28478/statm: 604 277 235 161 0 43 0
[pid=28484] ppid=28478 vsize=43948 CPUtime=818.5
/proc/28484/stat : 28484 (minisat_static) R 28478 28478 16367 0 -1 4202496 10718 0 0 0 81846 4 0 0 25 0 1 0 1012023679 45002752 10653 4294967295 134512640 135216591 3217924208 3217922400 134528842 0 0 0 3 0 0 0 17 3 0 0 0
/proc/28484/statm: 10987 10653 75 172 0 10814 0
Current children cumulated CPU time (s) 822.37
Current children cumulated vsize (KiB) 46364
[startup+882.313 s]
/proc/loadavg: 1.05 1.01 1.00 2/99 31309
/proc/meminfo: memFree=1769388/2074464 swapFree=1949244/1959888
[pid=28478] ppid=28476 vsize=2416 CPUtime=3.87
/proc/28478/stat : 28478 (SatELiteGTI) S 28476 28478 16367 0 -1 4194304 385 24633 0 0 1 0 362 24 20 0 1 0 1012023292 2473984 277 4294967295 134512640 135169312 3220449936 3220446152 3085037294 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/28478/statm: 604 277 235 161 0 43 0
[pid=28484] ppid=28478 vsize=44096 CPUtime=878.5
/proc/28484/stat : 28484 (minisat_static) R 28478 28478 16367 0 -1 4202496 10761 0 0 0 87846 4 0 0 25 0 1 0 1012023679 45154304 10696 4294967295 134512640 135216591 3217924208 3217922400 134528902 0 0 0 3 0 0 0 17 3 0 0 0
/proc/28484/statm: 11024 10696 75 172 0 10851 0
Current children cumulated CPU time (s) 882.37
Current children cumulated vsize (KiB) 46512
[startup+942.32 s]
/proc/loadavg: 1.02 1.01 1.00 3/99 31496
/proc/meminfo: memFree=1769404/2074464 swapFree=1949244/1959888
[pid=28478] ppid=28476 vsize=2416 CPUtime=3.87
/proc/28478/stat : 28478 (SatELiteGTI) S 28476 28478 16367 0 -1 4194304 385 24633 0 0 1 0 362 24 20 0 1 0 1012023292 2473984 277 4294967295 134512640 135169312 3220449936 3220446152 3085037294 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/28478/statm: 604 277 235 161 0 43 0
[pid=28484] ppid=28478 vsize=44096 CPUtime=938.51
/proc/28484/stat : 28484 (minisat_static) R 28478 28478 16367 0 -1 4202496 10761 0 0 0 93847 4 0 0 25 0 1 0 1012023679 45154304 10696 4294967295 134512640 135216591 3217924208 3217922400 134528826 0 0 0 3 0 0 0 17 3 0 0 0
/proc/28484/statm: 11024 10696 75 172 0 10851 0
Current children cumulated CPU time (s) 942.38
Current children cumulated vsize (KiB) 46512
[startup+1002.32 s]
/proc/loadavg: 1.00 1.00 1.00 3/99 31692
/proc/meminfo: memFree=1769116/2074464 swapFree=1949244/1959888
[pid=28478] ppid=28476 vsize=2416 CPUtime=3.87
/proc/28478/stat : 28478 (SatELiteGTI) S 28476 28478 16367 0 -1 4194304 385 24633 0 0 1 0 362 24 20 0 1 0 1012023292 2473984 277 4294967295 134512640 135169312 3220449936 3220446152 3085037294 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/28478/statm: 604 277 235 161 0 43 0
[pid=28484] ppid=28478 vsize=44244 CPUtime=998.51
/proc/28484/stat : 28484 (minisat_static) R 28478 28478 16367 0 -1 4202496 10790 0 0 0 99847 4 0 0 25 0 1 0 1012023679 45305856 10725 4294967295 134512640 135216591 3217924208 3217922112 134532810 0 0 0 3 0 0 0 17 3 0 0 0
/proc/28484/statm: 11061 10725 75 172 0 10888 0
Current children cumulated CPU time (s) 1002.38
Current children cumulated vsize (KiB) 46660
[startup+1062.31 s]
/proc/loadavg: 1.00 1.00 1.00 3/99 31879
/proc/meminfo: memFree=1768528/2074464 swapFree=1949244/1959888
[pid=28478] ppid=28476 vsize=2416 CPUtime=3.87
/proc/28478/stat : 28478 (SatELiteGTI) S 28476 28478 16367 0 -1 4194304 385 24633 0 0 1 0 362 24 20 0 1 0 1012023292 2473984 277 4294967295 134512640 135169312 3220449936 3220446152 3085037294 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/28478/statm: 604 277 235 161 0 43 0
[pid=28484] ppid=28478 vsize=44952 CPUtime=1058.51
/proc/28484/stat : 28484 (minisat_static) R 28478 28478 16367 0 -1 4202496 10948 0 0 0 105847 4 0 0 25 0 1 0 1012023679 46030848 10883 4294967295 134512640 135216591 3217924208 3217922400 134529009 0 0 0 3 0 0 0 17 3 0 0 0
/proc/28484/statm: 11238 10883 75 172 0 11065 0
Current children cumulated CPU time (s) 1062.38
Current children cumulated vsize (KiB) 47368
[startup+1122.31 s]
/proc/loadavg: 1.00 1.00 1.00 3/99 32066
/proc/meminfo: memFree=1768264/2074464 swapFree=1949244/1959888
[pid=28478] ppid=28476 vsize=2416 CPUtime=3.87
/proc/28478/stat : 28478 (SatELiteGTI) S 28476 28478 16367 0 -1 4194304 385 24633 0 0 1 0 362 24 20 0 1 0 1012023292 2473984 277 4294967295 134512640 135169312 3220449936 3220446152 3085037294 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/28478/statm: 604 277 235 161 0 43 0
[pid=28484] ppid=28478 vsize=45088 CPUtime=1118.51
/proc/28484/stat : 28484 (minisat_static) R 28478 28478 16367 0 -1 4202496 10969 0 0 0 111847 4 0 0 25 0 1 0 1012023679 46170112 10904 4294967295 134512640 135216591 3217924208 3217922384 134525266 0 0 0 3 0 0 0 17 3 0 0 0
/proc/28484/statm: 11272 10904 75 172 0 11099 0
Current children cumulated CPU time (s) 1122.38
Current children cumulated vsize (KiB) 47504
[startup+1182.32 s]
/proc/loadavg: 1.00 1.00 1.00 3/99 32255
/proc/meminfo: memFree=1766412/2074464 swapFree=1949244/1959888
[pid=28478] ppid=28476 vsize=2416 CPUtime=3.87
/proc/28478/stat : 28478 (SatELiteGTI) S 28476 28478 16367 0 -1 4194304 385 24633 0 0 1 0 362 24 20 0 1 0 1012023292 2473984 277 4294967295 134512640 135169312 3220449936 3220446152 3085037294 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/28478/statm: 604 277 235 161 0 43 0
[pid=28484] ppid=28478 vsize=47068 CPUtime=1178.52
/proc/28484/stat : 28484 (minisat_static) R 28478 28478 16367 0 -1 4202496 11483 0 0 0 117848 4 0 0 25 0 1 0 1012023679 48197632 11418 4294967295 134512640 135216591 3217924208 3217922400 134528842 0 0 0 3 0 0 0 17 3 0 0 0
/proc/28484/statm: 11767 11418 75 172 0 11594 0
Current children cumulated CPU time (s) 1182.39
Current children cumulated vsize (KiB) 49484
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1200.02 s]
/proc/loadavg: 1.00 1.00 1.00 3/99 32257
/proc/meminfo: memFree=1765048/2074464 swapFree=1949244/1959888
[pid=28478] ppid=28476 vsize=2416 CPUtime=3.87
/proc/28478/stat : 28478 (SatELiteGTI) S 28476 28478 16367 0 -1 4194304 385 24633 0 0 1 0 362 24 20 0 1 0 1012023292 2473984 277 4294967295 134512640 135169312 3220449936 3220446152 3085037294 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/28478/statm: 604 277 235 161 0 43 0
[pid=28484] ppid=28478 vsize=48388 CPUtime=1196.22
/proc/28484/stat : 28484 (minisat_static) R 28478 28478 16367 0 -1 4202496 11818 0 0 0 119618 4 0 0 25 0 1 0 1012023679 49549312 11753 4294967295 134512640 135216591 3217924208 3217922176 134538666 0 0 0 3 0 0 0 17 3 0 0 0
/proc/28484/statm: 12097 11753 75 172 0 11924 0
Current children cumulated CPU time (s) 1200.09
Current children cumulated vsize (KiB) 50804
Sending SIGTERM to process tree (bottom up)
SSolver just ended. Dumping a history of the last processes samples
Child status: 143
Real time (s): 1200.04
CPU time (s): 1200.11
CPU user time (s): 1199.81
CPU system time (s): 0.3
CPU usage (%): 100.006
Max. virtual memory (cumulated for all children) (KiB): 97576
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1199.81
system time used= 0.3
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 37112
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= 24
involuntary context switches= 750
runsolver used 0.02 second user time and 0.02 second system time
The end
Begin job on tipi11 at 2009-05-16 14:00:22
IDJOB=1820765
IDBENCH=69586
IDSOLVER=658
FILE ID=tipi11/1820765-1242475222
PBS_JOBID=
Free space on /tmp= 9933 MiB
SOLVER NAME= minisat_cumr r-2009-03-18
BENCH NAME= SAT_RACE08/cnf/manol-pipe-f9b.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= runsolver --timestamp -w /tmp/evaluation-result-1820765-1242475222/watcher-1820765-1242475222 -o /tmp/evaluation-result-1820765-1242475222/solver-1820765-1242475222 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1820765-1242475222.cnf
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= c3e7cb16bced9d54ce489b6e95d89943
RANDOM SEED= 1834316723
Linux tipi11 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.431
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.40
processor : 1
vendor_id : AuthenticAMD
cpu family : 15
model : 33
model name : Dual Core AMD Opteron(tm) Processor 265
stepping : 2
cpu MHz : 1808.431
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.431
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.79
processor : 3
vendor_id : AuthenticAMD
cpu family : 15
model : 33
model name : Dual Core AMD Opteron(tm) Processor 265
stepping : 2
cpu MHz : 1808.431
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: 1833508 kB
Buffers: 19020 kB
Cached: 151796 kB
SwapCached: 5224 kB
Active: 49192 kB
Inactive: 133348 kB
HighTotal: 1178688 kB
HighFree: 1046760 kB
LowTotal: 895776 kB
LowFree: 786748 kB
SwapTotal: 1959888 kB
SwapFree: 1949244 kB
Dirty: 11304 kB
Writeback: 0 kB
AnonPages: 11004 kB
Mapped: 5080 kB
Slab: 49444 kB
PageTables: 392 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 2997120 kB
Committed_AS: 97128 kB
VmallocTotal: 114680 kB
VmallocUsed: 1324 kB
VmallocChunk: 113264 kB
Free space on /tmp at the end= 9932 MiB
End job on tipi11 at 2009-05-16 14:20:23