0.00/0.00 c Parsing...
1.39/1.47 c ==============================================================================
1.39/1.47 c | | ORIGINAL | LEARNT | |
1.39/1.47 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress |
1.39/1.47 c ==============================================================================
1.39/1.47 c | 0 | 1377238 3343680 | 413171 0 0 nan | 0.000 % |
9.68/9.77 c | 0 | 958485 2693825 | -- 0 -- -- | -- | -116636/37456
9.68/9.78 c ==============================================================================
9.68/9.78 c Result : #vars: 138674 #clauses: 958485 #literals: 2693825
9.68/9.78 c CPU time: 9.45456 s
9.68/9.78 c ==============================================================================
10.68/10.79 c This is MiniSat 2.0 beta
10.68/10.79 c WARNING: for repeatability, setting FPU to use double precision
10.68/10.79 c ============================[ Problem Statistics ]=============================
10.68/10.79 c | |
10.68/10.80 c | Number of variables: 138674 |
10.68/10.80 c | Number of clauses: 958485 |
11.37/11.44 c | Parsing time: 0.56 s |
11.37/11.47 c ============================[ Search Statistics ]==============================
11.37/11.47 c | Conflicts | ORIGINAL | LEARNT | Progress |
11.37/11.47 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
11.37/11.47 c ===============================================================================
11.37/11.47 c | 0 | 138674 958485 2693825 | 319495 0 nan | 0.000 % |
11.77/11.82 c | 100 | 138668 958485 2693825 | 319495 99 18 | 0.255 % |
12.17/12.20 c | 200 | 138578 958485 2693825 | 319495 197 47 | 0.633 % |
12.27/12.37 c | 300 | 138415 958485 2693825 | 319495 296 40 | 1.405 % |
12.37/12.44 c | 411 | 138383 958485 2693825 | 319495 406 40 | 1.498 % |
12.47/12.59 c | 511 | 138350 958485 2693825 | 319495 506 41 | 1.498 % |
12.67/12.76 c | 621 | 138110 958485 2693825 | 319495 614 37 | 1.899 % |
13.07/13.12 c | 743 | 138110 958485 2693825 | 319495 736 40 | 1.899 % |
13.17/13.27 c | 843 | 136040 934405 2631612 | 319495 828 39 | 1.900 % |
13.37/13.48 c | 953 | 135895 934405 2631612 | 319495 936 38 | 2.422 % |
13.57/13.65 c | 1074 | 135501 934405 2631612 | 319495 1056 43 | 2.918 % |
13.77/13.88 c | 1207 | 135500 934405 2631612 | 319495 1188 43 | 3.016 % |
13.97/14.08 c | 1307 | 135331 934405 2631612 | 319495 1287 43 | 3.557 % |
14.27/14.37 c | 1417 | 135319 934405 2631612 | 319495 1396 43 | 3.789 % |
14.47/14.50 c | 1538 | 135210 934405 2631612 | 319495 1516 43 | 3.971 % |
14.57/14.69 c | 1671 | 135208 934405 2631612 | 319495 1648 42 | 4.007 % |
14.97/15.06 c | 1819 | 132575 915173 2585965 | 319495 1743 45 | 4.398 % |
15.17/15.27 c | 1921 | 132575 915173 2585965 | 319495 1845 48 | 4.398 % |
15.47/15.52 c | 2033 | 132575 915173 2585965 | 319495 1957 51 | 4.398 % |
15.67/15.70 c | 2158 | 132476 915173 2585965 | 319495 2080 51 | 5.553 % |
15.77/15.82 c | 2294 | 132225 915173 2585965 | 319495 2216 51 | 5.553 % |
16.07/16.18 c | 2440 | 132222 915173 2585965 | 319495 2361 51 | 5.563 % |
16.37/16.47 c | 2601 | 132219 915173 2585965 | 319495 2521 57 | 5.573 % |
16.57/16.68 c | 2703 | 132219 915173 2585965 | 319495 2623 60 | 5.573 % |
16.87/16.92 c | 2813 | 130613 902260 2554246 | 319495 2717 62 | 5.813 % |
17.16/17.21 c | 2934 | 130613 902260 2554246 | 319495 2838 60 | 5.813 % |
17.36/17.46 c | 3067 | 130608 902260 2554246 | 319495 2970 60 | 5.822 % |
17.76/17.81 c | 3217 | 130535 902260 2554246 | 319495 3117 60 | 5.977 % |
18.26/18.39 c | 3377 | 130534 902260 2554246 | 319495 3277 59 | 5.977 % |
18.76/18.84 c | 3555 | 130532 902260 2554246 | 319495 3454 60 | 6.026 % |
18.86/18.93 c | 3657 | 130317 900802 2551243 | 319495 3546 59 | 6.026 % |
18.96/19.05 c | 3767 | 130317 900802 2551243 | 319495 3656 59 | 6.026 % |
19.06/19.18 c | 3890 | 130317 900802 2551243 | 319495 3779 59 | 6.026 % |
19.16/19.25 c | 4024 | 130317 900802 2551243 | 319495 3913 59 | 6.026 % |
19.26/19.37 c | 4172 | 130317 900802 2551243 | 319495 4061 62 | 6.026 % |
19.56/19.64 c | 4332 | 130317 900802 2551243 | 319495 4221 63 | 6.026 % |
19.77/19.86 c | 4508 | 130317 900802 2551243 | 319495 4397 62 | 6.026 % |
20.06/20.13 c | 4705 | 130263 900802 2551243 | 319495 4587 64 | 7.040 % |
20.06/20.19 c | 4805 | 130263 900802 2551243 | 319495 4687 64 | 7.040 % |
20.26/20.31 c | 4915 | 130246 900802 2551243 | 319495 4796 63 | 7.051 % |
20.46/20.53 c | 5036 | 130085 900802 2551243 | 319495 4917 63 | 7.051 % |
20.66/20.78 c | 5169 | 130085 900802 2551243 | 319495 5050 64 | 7.051 % |
20.96/21.01 c | 5315 | 128896 885468 2510366 | 319495 5178 64 | 7.051 % |
21.26/21.31 c | 5476 | 128810 885468 2510366 | 319495 5337 64 | 7.202 % |
21.46/21.57 c | 5654 | 128620 885468 2510366 | 319495 5513 65 | 7.347 % |
21.66/21.77 c | 5847 | 128619 885468 2510366 | 319495 5705 64 | 7.358 % |
22.06/22.13 c | 6060 | 128617 885468 2510366 | 319495 5917 66 | 7.367 % |
22.16/22.26 c | 6162 | 128617 885468 2510366 | 319495 6019 66 | 7.367 % |
22.46/22.59 c | 6272 | 128617 885468 2510366 | 319495 6129 67 | 7.367 % |
22.76/22.88 c | 6393 | 128617 885468 2510366 | 319495 6250 67 | 7.367 % |
23.07/23.17 c | 6526 | 128430 882711 2503790 | 319495 6375 67 | 7.793 % |
23.26/23.37 c | 6672 | 128430 882711 2503790 | 319495 6521 67 | 7.793 % |
23.66/23.71 c | 6835 | 128419 882711 2503790 | 319495 6684 67 | 7.793 % |
24.16/24.29 c | 7011 | 128271 882711 2503790 | 319495 6859 67 | 8.182 % |
25.46/25.52 c | 7204 | 128243 882711 2503790 | 319495 7049 66 | 8.480 % |
26.76/26.81 c | 7416 | 126701 867925 2464854 | 319495 7241 66 | 8.753 % |
27.36/27.46 c | 7650 | 125161 859556 2446758 | 319495 7376 67 | 9.744 % |
27.76/27.86 c | 7750 | 125143 859556 2446758 | 319495 7474 67 | 9.817 % |
27.96/28.07 c | 7862 | 125143 859556 2446758 | 319495 7586 67 | 9.817 % |
28.16/28.20 c | 7984 | 125136 859556 2446758 | 319495 7706 68 | 9.835 % |
28.46/28.60 c | 8119 | 125136 859556 2446758 | 319495 7841 69 | 9.835 % |
29.05/29.12 c | 8266 | 125082 859556 2446758 | 319495 7985 69 | 10.734 % |
29.75/29.80 c | 8426 | 125079 859556 2446758 | 319495 8144 69 | 10.941 % |
30.15/30.28 c | 8602 | 123456 848850 2419651 | 319495 8312 68 | 11.027 % |
30.76/30.82 c | 8795 | 123453 848850 2419651 | 319495 8505 69 | 11.027 % |
31.15/31.25 c | 9007 | 123453 848850 2419651 | 319495 8717 69 | 11.027 % |
31.86/31.97 c | 9241 | 123453 848850 2419651 | 319495 8951 72 | 11.027 % |
32.35/32.50 c | 9497 | 123383 848238 2418427 | 319495 9207 78 | 11.027 % |
32.75/32.83 c | 9598 | 123383 848238 2418427 | 319495 9308 79 | 11.027 % |
33.05/33.17 c | 9711 | 123383 848238 2418427 | 319495 9421 80 | 11.027 % |
33.35/33.46 c | 9833 | 123383 848238 2418427 | 319495 9543 79 | 11.027 % |
33.76/33.89 c | 9967 | 123331 848238 2418427 | 319495 9673 78 | 11.369 % |
34.15/34.21 c | 10114 | 123261 848238 2418427 | 2147483647 9818 78 | 11.505 % |
34.45/34.59 c | 10275 | 122719 844849 2410635 | 2147483647 9958 78 | 11.505 % |
34.95/35.04 c | 10451 | 122715 844849 2410635 | 2147483647 10133 78 | 11.530 % |
35.25/35.32 c | 10644 | 122650 844849 2410635 | 2147483647 10324 77 | 11.828 % |
36.05/36.13 c | 10858 | 122514 844849 2410635 | 2147483647 10537 77 | 11.981 % |
36.65/36.71 c | 11095 | 122472 844849 2410635 | 2147483647 10773 77 | 12.329 % |
37.45/37.59 c | 11351 | 121577 838194 2394494 | 2147483647 10934 77 | 12.329 % |
38.25/38.33 c | 11632 | 121559 838194 2394494 | 2147483647 11210 78 | 12.539 % |
38.45/38.56 c | 11732 | 121555 838194 2394494 | 2147483647 11310 78 | 12.539 % |
38.75/38.90 c | 11843 | 121526 838194 2394494 | 2147483647 11420 79 | 12.617 % |
39.35/39.48 c | 11966 | 121033 835198 2387354 | 2147483647 11483 78 | 12.721 % |
39.65/39.76 c | 12099 | 120930 835198 2387354 | 2147483647 11614 78 | 12.847 % |
40.25/40.35 c | 12245 | 120930 835198 2387354 | 2147483647 11760 78 | 12.847 % |
40.75/40.82 c | 12406 | 120738 835198 2387354 | 2147483647 11919 78 | 13.176 % |
41.15/41.26 c | 12583 | 120706 835198 2387354 | 2147483647 12096 78 | 13.176 % |
41.55/41.70 c | 12776 | 120581 835198 2387354 | 2147483647 12287 79 | 13.832 % |
42.25/42.33 c | 12988 | 120581 835198 2387354 | 2147483647 12499 78 | 13.832 % |
42.45/42.59 c | 13221 | 119493 825793 2363970 | 2147483647 12720 77 | 13.832 % |
43.25/43.37 c | 13477 | 119490 825793 2363970 | 2147483647 12975 77 | 13.840 % |
43.94/44.00 c | 13759 | 119490 825793 2363970 | 2147483647 13257 78 | 13.840 % |
44.64/44.77 c | 14069 | 119490 825793 2363970 | 2147483647 13567 79 | 13.840 % |
44.94/45.06 c | 14169 | 119490 825793 2363970 | 2147483647 13667 79 | 13.840 % |
45.24/45.40 c | 14279 | 119481 825694 2363700 | 2147483647 13775 79 | 13.840 % |
45.64/45.75 c | 14401 | 119481 825694 2363700 | 2147483647 13897 80 | 13.840 % |
46.14/46.29 c | 14535 | 119481 825694 2363700 | 2147483647 14031 80 | 13.840 % |
46.44/46.58 c | 14681 | 119479 825694 2363700 | 2147483647 14176 80 | 13.850 % |
46.94/47.09 c | 14843 | 119479 825694 2363700 | 2147483647 14338 80 | 13.850 % |
47.44/47.54 c | 15019 | 119436 825694 2363700 | 2147483647 14512 80 | 13.994 % |
47.94/48.03 c | 15213 | 118838 822352 2355787 | 2147483647 14686 80 | 14.304 % |
48.04/48.12 c | 15425 | 118838 822352 2355787 | 2147483647 14898 80 | 14.304 % |
48.64/48.75 c | 15661 | 118548 822352 2355787 | 2147483647 15130 80 | 14.660 % |
49.53/49.61 c | 15918 | 118547 822352 2355787 | 2147483647 15386 80 | 14.669 % |
50.03/50.11 c | 16199 | 118496 822352 2355787 | 2147483647 15665 79 | 14.774 % |
50.63/50.78 c | 16508 | 118488 822352 2355787 | 2147483647 15973 80 | 14.849 % |
51.43/51.59 c | 16847 | 118082 818916 2348842 | 2147483647 16287 80 | 14.854 % |
51.73/51.87 c | 16947 | 118082 818916 2348842 | 2147483647 16387 80 | 14.854 % |
51.93/52.00 c | 17061 | 118045 818916 2348842 | 2147483647 16498 80 | 14.988 % |
52.13/52.27 c | 17184 | 118021 818916 2348842 | 2147483647 16620 80 | 14.996 % |
52.53/52.63 c | 17318 | 118021 818916 2348842 | 2147483647 16754 80 | 14.996 % |
52.83/52.95 c | 17465 | 118021 818916 2348842 | 2147483647 16901 80 | 14.996 % |
53.13/53.25 c | 17625 | 118021 818916 2348842 | 2147483647 17061 81 | 14.996 % |
53.63/53.76 c | 17802 | 118018 818916 2348842 | 2147483647 17237 81 | 15.005 % |
54.23/54.37 c | 17995 | 117802 817704 2346239 | 2147483647 17420 81 | 15.322 % |
54.53/54.62 c | 18207 | 117759 817704 2346239 | 2147483647 17631 80 | 15.387 % |
55.03/55.10 c | 18441 | 117754 817704 2346239 | 2147483647 17864 80 | 15.395 % |
55.33/55.41 c | 18697 | 117753 817704 2346239 | 2147483647 18119 81 | 15.407 % |
56.13/56.20 c | 18978 | 117750 817704 2346239 | 2147483647 18399 81 | 15.415 % |
56.73/56.89 c | 19287 | 116744 813020 2335109 | 2147483647 18685 81 | 15.949 % |
57.34/57.42 c | 19626 | 116641 813020 2335109 | 2147483647 19022 82 | 16.373 % |
58.24/58.38 c | 20000 | 116631 813020 2335109 | 2147483647 19396 83 | 16.373 % |
58.53/58.69 c | 20100 | 116631 813020 2335109 | 2147483647 19496 84 | 16.373 % |
58.83/58.96 c | 20210 | 116631 813020 2335109 | 2147483647 19606 84 | 16.373 % |
59.13/59.23 c | 20331 | 116624 813020 2335109 | 2147483647 19726 84 | 16.383 % |
59.34/59.46 c | 20465 | 116624 813020 2335109 | 2147483647 19860 84 | 16.383 % |
59.83/59.93 c | 20611 | 116624 813020 2335109 | 2147483647 20006 84 | 16.383 % |
60.23/60.30 c | 20774 | 115764 808117 2324540 | 2147483647 20132 84 | 16.853 % |
60.44/60.55 c | 20950 | 115763 808117 2324540 | 2147483647 20307 84 | 16.854 % |
60.53/60.67 c | 21144 | 115763 808117 2324540 | 2147483647 20501 84 | 16.854 % |
60.83/60.95 c | 21356 | 115761 808117 2324540 | 2147483647 20712 84 | 16.863 % |
61.53/61.70 c | 21589 | 115726 808117 2324540 | 2147483647 20944 85 | 16.866 % |
62.33/62.50 c | 21845 | 115726 808117 2324540 | 2147483647 21200 85 | 16.866 % |
62.93/63.06 c | 22126 | 115726 808117 2324540 | 2147483647 21481 87 | 16.866 % |
63.53/63.66 c | 22436 | 115726 808117 2324540 | 2147483647 21791 88 | 16.866 % |
64.03/64.15 c | 22777 | 115285 805201 2318634 | 2147483647 22114 88 | 16.866 % |
64.33/64.41 c | 23150 | 115283 805201 2318634 | 2147483647 22486 88 | 16.871 % |
65.23/65.37 c | 23561 | 115279 805201 2318634 | 2147483647 22897 89 | 16.871 % |
65.33/65.49 c | 23661 | 115279 805201 2318634 | 2147483647 22997 89 | 16.871 % |
65.63/65.78 c | 23771 | 115279 805201 2318634 | 2147483647 23107 89 | 16.871 % |
66.03/66.11 c | 23892 | 115212 805201 2318634 | 2147483647 23225 88 | 17.416 % |
66.23/66.34 c | 24025 | 115211 805201 2318634 | 2147483647 23357 88 | 17.416 % |
66.63/66.79 c | 24171 | 115179 805201 2318634 | 2147483647 23501 88 | 17.770 % |
67.13/67.26 c | 24331 | 115164 805201 2318634 | 2147483647 23661 88 | 17.770 % |
67.62/67.71 c | 24510 | 114031 792083 2283439 | 2147483647 23758 88 | 17.770 % |
68.03/68.16 c | 24703 | 114030 792083 2283439 | 2147483647 23950 88 | 17.780 % |
68.72/68.81 c | 24915 | 114029 792083 2283439 | 2147483647 24161 88 | 17.781 % |
69.22/69.36 c | 25148 | 114029 792083 2283439 | 2147483647 24394 88 | 17.781 % |
69.52/69.62 c | 25405 | 114029 792083 2283439 | 2147483647 24651 88 | 17.781 % |
70.22/70.33 c | 25686 | 114029 792083 2283439 | 2147483647 24931 89 | 17.819 % |
70.91/71.09 c | 26000 | 114024 792083 2283439 | 2147483647 25243 89 | 17.827 % |
71.71/71.82 c | 26339 | 113890 791568 2282157 | 2147483647 25564 90 | 18.362 % |
72.12/72.23 c | 26712 | 113886 791568 2282157 | 2147483647 25936 90 | 18.370 % |
72.71/72.80 c | 27122 | 113886 791568 2282157 | 2147483647 26346 91 | 18.370 % |
73.42/73.58 c | 27580 | 113880 791568 2282157 | 2147483647 26802 91 | 18.378 % |
73.72/73.87 c | 27681 | 113880 791568 2282157 | 2147483647 26903 92 | 18.378 % |
73.92/74.08 c | 27792 | 113880 791568 2282157 | 2147483647 27014 92 | 18.378 % |
74.12/74.23 c | 27916 | 113880 791568 2282157 | 2147483647 27138 91 | 18.378 % |
74.42/74.54 c | 28049 | 113880 791568 2282157 | 2147483647 27271 92 | 18.378 % |
74.92/75.10 c | 28203 | 113878 791568 2282157 | 2147483647 27423 92 | 18.396 % |
75.32/75.49 c | 28363 | 113875 791568 2282157 | 2147483647 27583 92 | 18.396 % |
76.02/76.19 c | 28539 | 113164 786367 2269274 | 2147483647 27707 94 | 18.396 % |
76.42/76.55 c | 28734 | 113139 786367 2269274 | 2147483647 27900 94 | 18.664 % |
76.82/76.95 c | 28954 | 113139 786367 2269274 | 2147483647 28120 94 | 18.664 % |
77.42/77.51 c | 29190 | 113139 786367 2269274 | 2147483647 28356 95 | 18.664 % |
77.71/77.86 c | 29446 | 113139 786367 2269274 | 2147483647 28612 94 | 18.664 % |
78.41/78.54 c | 29727 | 113138 786367 2269274 | 2147483647 28892 95 | 18.665 % |
79.41/79.54 c | 30036 | 113120 786367 2269274 | 2147483647 29198 94 | 18.757 % |
80.51/80.61 c | 30376 | 113120 786367 2269274 | 2147483647 29538 94 | 18.757 % |
81.21/81.36 c | 30748 | 112662 779354 2250155 | 2147483647 29894 95 | 19.045 % |
82.21/82.40 c | 31157 | 112628 779354 2250155 | 2147483647 30303 96 | 19.045 % |
83.21/83.31 c | 31608 | 112600 779354 2250155 | 2147483647 30753 96 | 19.092 % |
84.61/84.74 c | 32102 | 112600 779354 2250155 | 2147483647 31247 98 | 19.092 % |
84.70/84.88 c | 32202 | 112551 779354 2250155 | 2147483647 31346 97 | 19.185 % |
85.10/85.25 c | 32313 | 112551 779354 2250155 | 2147483647 31457 97 | 19.185 % |
85.61/85.71 c | 32434 | 112551 779354 2250155 | 2147483647 31578 98 | 19.185 % |
85.90/86.05 c | 32567 | 112551 779354 2250155 | 2147483647 31711 98 | 19.185 % |
86.20/86.39 c | 32713 | 112068 774899 2238541 | 2147483647 31795 98 | 19.213 % |
86.30/86.46 c | 32873 | 112068 774899 2238541 | 2147483647 31955 98 | 19.213 % |
86.50/86.65 c | 33050 | 112068 774899 2238541 | 2147483647 32132 98 | 19.213 % |
86.70/86.86 c | 33243 | 112068 774899 2238541 | 2147483647 32325 98 | 19.213 % |
87.40/87.52 c | 33456 | 112067 774899 2238541 | 2147483647 32538 99 | 19.213 % |
87.90/88.03 c | 33689 | 112067 774899 2238541 | 2147483647 32771 98 | 19.213 % |
88.69/88.81 c | 33945 | 112067 774899 2238541 | 2147483647 33027 99 | 19.213 % |
89.40/89.57 c | 34226 | 112067 774899 2238541 | 2147483647 33308 99 | 19.213 % |
90.50/90.64 c | 34537 | 112067 774899 2238541 | 2147483647 33619 100 | 19.213 % |
91.30/91.42 c | 34881 | 112067 774899 2238541 | 2147483647 33963 100 | 19.213 % |
91.80/91.92 c | 35253 | 112029 774612 2237860 | 2147483647 34318 101 | 19.219 % |
92.70/92.82 c | 35664 | 112027 774612 2237860 | 2147483647 34726 102 | 19.434 % |
94.29/94.40 c | 36113 | 111861 774612 2237860 | 2147483647 35173 104 | 19.741 % |
95.60/95.77 c | 36607 | 111856 774612 2237860 | 2147483647 35666 105 | 19.751 % |
97.09/97.23 c | 37149 | 111828 774612 2237860 | 2147483647 36206 106 | 20.368 % |
97.19/97.38 c | 37250 | 110429 763911 2211284 | 2147483647 36244 106 | 20.368 % |
97.49/97.62 c | 37368 | 110429 763911 2211284 | 2147483647 36362 106 | 20.368 % |
97.89/98.09 c | 37489 | 110428 763911 2211284 | 2147483647 36482 107 | 20.369 % |
98.09/98.24 c | 37622 | 110428 763911 2211284 | 2147483647 36615 107 | 20.369 % |
98.49/98.62 c | 37768 | 110428 763911 2211284 | 2147483647 36761 107 | 20.369 % |
98.79/98.91 c | 37928 | 110428 763911 2211284 | 2147483647 36921 107 | 20.369 % |
99.19/99.39 c | 38104 | 110428 763911 2211284 | 2147483647 37097 107 | 20.369 % |
99.79/99.90 c | 38300 | 110428 763911 2211284 | 2147483647 37293 107 | 20.369 % |
100.19/100.32 c | 38512 | 110428 763911 2211284 | 2147483647 37505 107 | 20.369 % |
100.99/101.15 c | 38747 | 110427 763911 2211284 | 2147483647 37739 107 | 20.369 % |
101.60/101.76 c | 39005 | 110427 763911 2211284 | 2147483647 37997 108 | 20.369 % |
103.00/103.17 c | 39291 | 110427 763911 2211284 | 2147483647 38283 109 | 20.369 % |
103.79/103.91 c | 39603 | 110425 763904 2211270 | 2147483647 38591 109 | 20.371 % |
104.19/104.37 c | 39942 | 110425 763904 2211270 | 2147483647 38930 109 | 20.371 % |
105.19/105.31 c | 40314 | 110417 763904 2211270 | 2147483647 39299 108 | 20.431 % |
106.38/106.55 c | 40723 | 110403 763904 2211270 | 2147483647 39696 109 | 20.506 % |
107.28/107.41 c | 41172 | 110402 763904 2211270 | 2147483647 40144 109 | 20.509 % |
107.98/108.16 c | 41666 | 110395 763904 2211270 | 2147483647 40637 110 | 20.517 % |
109.48/109.62 c | 42211 | 109049 743334 2154760 | 2147483647 41015 111 | 21.363 % |
110.88/111.00 c | 42807 | 109049 743334 2154760 | 2147483647 41610 112 | 21.379 % |
111.08/111.27 c | 42907 | 109044 743334 2154760 | 2147483647 41710 112 | 21.379 % |
111.48/111.65 c | 43018 | 109043 743334 2154760 | 2147483647 41820 112 | 21.380 % |
111.78/111.99 c | 43139 | 109043 743334 2154760 | 2147483647 41941 112 | 21.380 % |
112.18/112.39 c | 43272 | 109043 743334 2154760 | 2147483647 42074 112 | 21.380 % |
112.68/112.85 c | 43418 | 109029 743334 2154760 | 2147483647 42218 112 | 21.390 % |
113.27/113.42 c | 43582 | 109028 743334 2154760 | 2147483647 42381 113 | 21.398 % |
113.57/113.74 c | 43760 | 109028 743334 2154760 | 2147483647 42559 113 | 21.398 % |
114.08/114.27 c | 43953 | 109028 743334 2154760 | 2147483647 42752 113 | 21.398 % |
114.58/114.74 c | 44165 | 109028 743334 2154760 | 2147483647 42964 113 | 21.398 % |
114.88/115.04 c | 44400 | 109028 743334 2154760 | 2147483647 43199 114 | 21.398 % |
115.68/115.86 c | 44656 | 109028 743334 2154760 | 2147483647 43455 114 | 21.398 % |
116.18/116.36 c | 44937 | 109028 743334 2154760 | 2147483647 43736 115 | 21.398 % |
117.37/117.53 c | 45251 | 109000 742969 2153794 | 2147483647 44038 115 | 21.532 % |
118.27/118.46 c | 45591 | 108994 742969 2153794 | 2147483647 44377 116 | 21.536 % |
119.27/119.44 c | 45963 | 108964 742969 2153794 | 2147483647 44746 116 | 21.897 % |
120.27/120.45 c | 46377 | 108929 742969 2153794 | 2147483647 45159 116 | 21.902 % |
121.07/121.21 c | 46829 | 108910 742969 2153794 | 2147483647 45609 117 | 22.110 % |
122.57/122.79 c | 47322 | 108907 742969 2153794 | 2147483647 46102 118 | 22.110 % |
124.07/124.29 c | 47865 | 108010 729356 2116667 | 2147483647 46576 119 | 22.115 % |
125.08/125.30 c | 48461 | 108010 729356 2116667 | 2147483647 47172 119 | 22.115 % |
126.68/126.82 c | 49117 | 108008 729356 2116667 | 2147483647 47826 119 | 22.127 % |
126.88/127.01 c | 49217 | 108008 729356 2116667 | 2147483647 47926 119 | 22.127 % |
127.07/127.25 c | 49327 | 108007 729356 2116667 | 2147483647 48035 119 | 22.127 % |
127.27/127.43 c | 49448 | 108004 729356 2116667 | 2147483647 48155 119 | 22.238 % |
127.68/127.84 c | 49581 | 107988 729356 2116667 | 2147483647 48288 119 | 22.238 % |
127.98/128.17 c | 49731 | 107988 729356 2116667 | 2147483647 48438 120 | 22.238 % |
128.37/128.57 c | 49894 | 107978 729356 2116667 | 2147483647 48599 120 | 22.275 % |
129.07/129.22 c | 50075 | 107978 729356 2116667 | 2147483647 48780 121 | 22.275 % |
129.68/129.82 c | 50270 | 107962 729356 2116667 | 2147483647 48975 121 | 22.275 % |
129.97/130.17 c | 50485 | 107962 729356 2116667 | 2147483647 49190 121 | 22.275 % |
130.37/130.54 c | 50718 | 107784 727021 2110349 | 2147483647 49360 122 | 22.275 % |
130.67/130.89 c | 50974 | 107783 727021 2110349 | 2147483647 49615 121 | 22.276 % |
131.97/132.10 c | 51256 | 107776 727021 2110349 | 2147483647 49896 122 | 22.315 % |
132.56/132.80 c | 51569 | 107776 727021 2110349 | 2147483647 50209 122 | 22.315 % |
133.47/133.61 c | 51908 | 107776 727021 2110349 | 2147483647 50548 123 | 22.315 % |
134.47/134.67 c | 52280 | 107776 727021 2110349 | 2147483647 50920 123 | 22.315 % |
135.07/135.23 c | 52689 | 107776 727021 2110349 | 2147483647 51329 123 | 22.315 % |
136.17/136.32 c | 53141 | 107776 727021 2110349 | 2147483647 51781 124 | 22.315 % |
137.57/137.73 c | 53635 | 107776 727021 2110349 | 2147483647 52275 125 | 22.315 % |
138.86/139.05 c | 54177 | 107776 727021 2110349 | 2147483647 52817 127 | 22.315 % |
139.96/140.17 c | 54776 | 107728 726815 2109911 | 2147483647 53415 127 | 22.316 % |
141.36/141.59 c | 55435 | 107727 726815 2109911 | 2147483647 54073 128 | 22.316 % |
142.86/143.04 c | 56155 | 107680 726815 2109911 | 2147483647 54789 128 | 22.451 % |
142.95/143.18 c | 56260 | 107680 726815 2109911 | 2147483647 54894 128 | 22.451 % |
143.15/143.32 c | 56376 | 107679 726815 2109911 | 2147483647 55009 128 | 22.452 % |
143.36/143.59 c | 56501 | 107679 726815 2109911 | 2147483647 55134 129 | 22.452 % |
143.66/143.85 c | 56635 | 107679 726815 2109911 | 2147483647 55268 128 | 22.452 % |
144.16/144.35 c | 56782 | 107679 726815 2109911 | 2147483647 55415 129 | 22.452 % |
144.56/144.77 c | 56942 | 107671 726815 2109911 | 2147483647 55573 129 | 22.509 % |
145.06/145.28 c | 57120 | 107655 726815 2109911 | 2147483647 55751 129 | 22.509 % |
145.36/145.59 c | 57313 | 107655 726815 2109911 | 2147483647 55944 129 | 22.509 % |
146.06/146.30 c | 57525 | 107652 726815 2109911 | 2147483647 56154 129 | 22.518 % |
146.35/146.51 c | 57759 | 107652 726815 2109911 | 2147483647 56387 129 | 22.562 % |
147.26/147.43 c | 58016 | 107634 726815 2109911 | 2147483647 56644 130 | 22.562 % |
147.75/147.94 c | 58297 | 107387 724180 2103057 | 2147483647 56863 130 | 22.562 % |
148.75/148.92 c | 58607 | 107387 724180 2103057 | 2147483647 57173 130 | 22.562 % |
150.45/150.63 c | 58954 | 107385 724180 2103057 | 2147483647 57519 131 | 22.567 % |
151.05/151.23 c | 59326 | 107385 724180 2103057 | 2147483647 57891 131 | 22.567 % |
152.15/152.37 c | 59738 | 107385 724180 2103057 | 2147483647 58303 132 | 22.567 % |
153.25/153.40 c | 60188 | 107385 724180 2103057 | 2147483647 58753 133 | 22.567 % |
153.85/154.01 c | 60681 | 107385 724180 2103057 | 2147483647 59246 133 | 22.567 % |
155.25/155.49 c | 61225 | 107384 724180 2103057 | 2147483647 59789 133 | 22.575 % |
157.45/157.64 c | 61825 | 107384 724180 2103057 | 2147483647 60388 135 | 22.576 % |
159.05/159.28 c | 62482 | 107379 724180 2103057 | 2147483647 61044 136 | 22.585 % |
161.94/162.12 c | 63202 | 107354 723902 2102317 | 2147483647 61747 139 | 22.590 % |
163.34/163.59 c | 63995 | 107354 723902 2102317 | 2147483647 62540 140 | 22.590 % |
163.75/163.92 c | 64095 | 107354 723902 2102317 | 2147483647 62640 140 | 22.590 % |
163.95/164.11 c | 64206 | 107354 723902 2102317 | 2147483647 62751 140 | 22.590 % |
164.15/164.38 c | 64327 | 107354 723902 2102317 | 2147483647 62872 140 | 22.590 % |
164.45/164.65 c | 64465 | 107352 723902 2102317 | 2147483647 63009 140 | 22.595 % |
165.05/165.24 c | 64611 | 107352 723902 2102317 | 2147483647 63155 140 | 22.595 % |
165.35/165.50 c | 64771 | 107352 723902 2102317 | 2147483647 63315 140 | 22.595 % |
165.55/165.73 c | 64949 | 107352 723902 2102317 | 2147483647 63493 140 | 22.595 % |
166.45/166.67 c | 65143 | 107349 723902 2102317 | 2147483647 63686 140 | 22.603 % |
167.55/167.74 c | 65356 | 107349 723902 2102317 | 2147483647 63899 141 | 22.603 % |
168.25/168.48 c | 65590 | 107282 723902 2102317 | 2147483647 64132 141 | 22.707 % |
169.15/169.40 c | 65846 | 107282 723902 2102317 | 2147483647 64388 142 | 22.707 % |
170.25/170.48 c | 66127 | 107282 723902 2102317 | 2147483647 64669 142 | 22.707 % |
170.94/171.18 c | 66436 | 107184 722657 2099097 | 2147483647 64923 142 | 22.708 % |
172.34/172.54 c | 66780 | 107184 722657 2099097 | 2147483647 65267 143 | 22.708 % |
174.14/174.38 c | 67155 | 107184 722657 2099097 | 2147483647 65642 144 | 22.708 % |
175.04/175.22 c | 67565 | 107184 722657 2099097 | 2147483647 66052 145 | 22.708 % |
176.04/176.27 c | 68015 | 107182 722657 2099097 | 2147483647 66501 145 | 22.717 % |
177.64/177.83 c | 68508 | 107179 722657 2099097 | 2147483647 66993 146 | 22.723 % |
178.74/178.93 c | 69052 | 107179 722657 2099097 | 2147483647 67537 147 | 22.723 % |
180.74/180.90 c | 69648 | 107162 722657 2099097 | 2147483647 68130 147 | 22.790 % |
182.34/182.55 c | 70305 | 107037 722657 2099097 | 2147483647 68785 148 | 22.952 % |
184.73/184.90 c | 71026 | 107037 722657 2099097 | 2147483647 69506 150 | 22.952 % |
187.64/187.87 c | 71822 | 107037 722657 2099097 | 2147483647 70302 153 | 22.952 % |
189.53/189.73 c | 72694 | 106844 721109 2095534 | 2147483647 71117 156 | 22.955 % |
189.83/190.02 c | 72799 | 106843 721109 2095534 | 2147483647 71222 156 | 22.955 % |
190.23/190.43 c | 72912 | 106817 721109 2095534 | 2147483647 71332 156 | 22.993 % |
190.53/190.71 c | 73033 | 106817 721109 2095534 | 2147483647 71453 156 | 22.993 % |
190.73/190.90 c | 73167 | 106817 721109 2095534 | 2147483647 71587 156 | 22.993 % |
190.93/191.14 c | 73314 | 106813 721109 2095534 | 2147483647 71733 156 | 22.999 % |
191.23/191.47 c | 73475 | 106813 721109 2095534 | 2147483647 71894 156 | 22.999 % |
192.03/192.20 c | 73653 | 106811 721109 2095534 | 2147483647 72071 156 | 23.004 % |
192.33/192.53 c | 73848 | 106811 721109 2095534 | 2147483647 72266 156 | 23.004 % |
192.83/193.09 c | 74061 | 106811 721109 2095534 | 2147483647 72479 156 | 23.004 % |
193.33/193.52 c | 74295 | 106811 721109 2095534 | 2147483647 72713 156 | 23.004 % |
194.03/194.25 c | 74559 | 106811 721109 2095534 | 2147483647 72977 157 | 23.004 % |
194.43/194.64 c | 74842 | 106811 721109 2095534 | 2147483647 73260 156 | 23.004 % |
195.03/195.27 c | 75157 | 106811 721109 2095534 | 2147483647 73575 157 | 23.004 % |
195.64/195.85 c | 75496 | 106811 721109 2095534 | 2147483647 73914 157 | 23.004 % |
196.93/197.12 c | 75872 | 106811 721109 2095534 | 2147483647 74290 158 | 23.004 % |
197.93/198.20 c | 76281 | 106811 721109 2095534 | 2147483647 74699 158 | 23.004 % |
199.03/199.24 c | 76730 | 106810 721109 2095534 | 2147483647 75147 158 | 23.004 % |
201.43/201.66 c | 77226 | 106810 721109 2095534 | 2147483647 75643 159 | 23.004 % |
202.93/203.18 c | 77768 | 106809 721109 2095534 | 2147483647 76184 160 | 23.012 % |
204.33/204.56 c | 78380 | 106809 721109 2095534 | 2147483647 76796 160 | 23.012 % |
206.32/206.56 c | 79037 | 106809 721109 2095534 | 2147483647 77453 160 | 23.012 % |
209.03/209.27 c | 79757 | 106762 720310 2093490 | 2147483647 78133 162 | 23.012 % |
212.23/212.43 c | 80549 | 106762 720310 2093490 | 2147483647 78925 164 | 23.012 % |
213.92/214.17 c | 81420 | 106762 720310 2093490 | 2147483647 79796 166 | 23.012 % |
218.52/218.78 c | 82378 | 106761 720310 2093490 | 2147483647 80753 170 | 23.013 % |
218.92/219.15 c | 82479 | 106761 720310 2093490 | 2147483647 80854 170 | 23.013 % |
219.32/219.59 c | 82592 | 106761 720310 2093490 | 2147483647 80967 170 | 23.013 % |
219.72/219.91 c | 82715 | 106761 720310 2093490 | 2147483647 81090 170 | 23.013 % |
220.02/220.25 c | 82848 | 106761 720310 2093490 | 2147483647 81223 170 | 23.013 % |
220.41/220.60 c | 82994 | 106761 720310 2093490 | 2147483647 81369 170 | 23.013 % |
220.61/220.84 c | 83154 | 106761 720310 2093490 | 2147483647 81529 170 | 23.013 % |
221.41/221.62 c | 83330 | 106761 720310 2093490 | 2147483647 81705 171 | 23.013 % |
222.12/222.32 c | 83525 | 106761 720310 2093490 | 2147483647 81900 171 | 23.013 % |
222.82/223.08 c | 83738 | 106761 720310 2093490 | 2147483647 82113 171 | 23.013 % |
223.52/223.72 c | 83971 | 106761 720310 2093490 | 2147483647 82346 171 | 23.013 % |
224.32/224.50 c | 84229 | 106761 720310 2093490 | 2147483647 82604 171 | 23.013 % |
225.82/226.02 c | 84511 | 106756 720310 2093490 | 2147483647 82884 172 | 23.020 % |
226.52/226.70 c | 84820 | 106756 720310 2093490 | 2147483647 83193 172 | 23.020 % |
226.92/227.19 c | 85160 | 106756 720310 2093490 | 2147483647 83533 172 | 23.020 % |
228.41/228.69 c | 85532 | 106751 720217 2093245 | 2147483647 83894 173 | 23.020 % |
229.72/229.95 c | 85941 | 106751 720217 2093245 | 2147483647 84303 174 | 23.020 % |
230.82/231.08 c | 86396 | 106751 720217 2093245 | 2147483647 84758 176 | 23.020 % |
232.32/232.56 c | 86890 | 106749 720217 2093245 | 2147483647 85251 177 | 23.030 % |
233.81/234.01 c | 87432 | 106749 720217 2093245 | 2147483647 85793 177 | 23.030 % |
234.81/235.06 c | 88028 | 106749 720217 2093245 | 2147483647 86389 177 | 23.030 % |
238.71/238.93 c | 88683 | 106749 720217 2093245 | 2147483647 87044 178 | 23.030 % |
242.01/242.20 c | 89404 | 106749 720217 2093245 | 2147483647 87765 180 | 23.030 % |
244.01/244.24 c | 90203 | 106749 720217 2093245 | 2147483647 88564 181 | 23.030 % |
246.41/246.61 c | 91077 | 106749 720217 2093245 | 2147483647 89437 181 | 23.032 % |
250.11/250.37 c | 92035 | 106723 720217 2093245 | 2147483647 90394 183 | 23.074 % |
252.21/252.48 c | 93088 | 106723 720217 2093245 | 2147483647 91447 184 | 23.074 % |
252.60/252.82 c | 93188 | 106677 719385 2091265 | 2147483647 91477 184 | 23.074 % |
252.90/253.14 c | 93298 | 106677 719385 2091265 | 2147483647 91587 184 | 23.074 % |
253.20/253.40 c | 93422 | 106677 719385 2091265 | 2147483647 91711 184 | 23.074 % |
253.81/254.07 c | 93556 | 106677 719385 2091265 | 2147483647 91845 184 | 23.074 % |
254.40/254.67 c | 93702 | 106677 719385 2091265 | 2147483647 91991 185 | 23.074 % |
254.91/255.15 c | 93865 | 106677 719385 2091265 | 2147483647 92154 185 | 23.074 % |
255.21/255.45 c | 94041 | 106677 719385 2091265 | 2147483647 92330 185 | 23.074 % |
255.81/256.06 c | 94235 | 106677 719385 2091265 | 2147483647 92524 185 | 23.074 % |
256.91/257.13 c | 94451 | 106677 719385 2091265 | 2147483647 92740 185 | 23.074 % |
257.41/257.69 c | 94684 | 106677 719385 2091265 | 2147483647 92973 185 | 23.074 % |
258.90/259.12 c | 94941 | 106677 719385 2091265 | 2147483647 93230 186 | 23.074 % |
259.90/260.13 c | 95225 | 106677 719385 2091265 | 2147483647 93514 186 | 23.074 % |
260.30/260.54 c | 95534 | 106677 719385 2091265 | 2147483647 93823 186 | 23.074 % |
261.10/261.39 c | 95876 | 106676 719385 2091265 | 2147483647 94163 186 | 23.088 % |
262.10/262.35 c | 96249 | 106664 719385 2091265 | 2147483647 94535 186 | 23.095 % |
262.90/263.20 c | 96658 | 106664 719385 2091265 | 2147483647 94944 187 | 23.095 % |
263.60/263.90 c | 97108 | 106664 719385 2091265 | 2147483647 95394 187 | 23.095 % |
265.70/266.00 c | 97601 | 106663 719385 2091265 | 2147483647 95886 188 | 23.096 % |
268.20/268.41 c | 98143 | 106661 719385 2091265 | 2147483647 96426 189 | 23.103 % |
269.70/269.94 c | 98741 | 106661 719385 2091265 | 2147483647 97024 189 | 23.103 % |
270.70/270.96 c | 99402 | 106354 719385 2091265 | 2147483647 97683 189 | 23.418 % |
271.70/271.95 c | 100122 | 106354 719385 2091265 | 2147483647 98403 190 | 23.418 % |
272.80/273.00 c | 100914 | 106354 719385 2091265 | 2147483647 99195 192 | 23.418 % |
275.70/275.98 c | 101785 | 106352 719385 2091265 | 2147483647 100066 192 | 23.418 % |
277.00/277.28 c | 102745 | 106352 719385 2091265 | 2147483647 101026 191 | 23.418 % |
281.79/282.01 c | 103801 | 106196 717504 2087127 | 2147483647 102041 192 | 23.433 % |
284.59/284.84 c | 104959 | 106176 717504 2087127 | 2147483647 103196 192 | 23.793 % |
284.79/285.00 c | 105060 | 106176 717504 2087127 | 2147483647 103297 192 | 23.793 % |
284.99/285.26 c | 105171 | 106176 717504 2087127 | 2147483647 103408 192 | 23.793 % |
285.29/285.52 c | 105292 | 106176 717504 2087127 | 2147483647 103529 191 | 23.793 % |
285.59/285.86 c | 105425 | 106176 717504 2087127 | 2147483647 103662 191 | 23.793 % |
285.99/286.20 c | 105572 | 106176 717504 2087127 | 2147483647 103809 191 | 23.793 % |
286.39/286.69 c | 105736 | 106176 717504 2087127 | 2147483647 103973 191 | 23.793 % |
286.99/287.28 c | 105913 | 106175 717504 2087127 | 2147483647 104149 191 | 23.798 % |
287.50/287.71 c | 106106 | 106175 717504 2087127 | 2147483647 104342 191 | 23.798 % |
287.90/288.17 c | 106320 | 106172 717504 2087127 | 2147483647 104553 191 | 23.800 % |
288.59/288.83 c | 106555 | 106172 717504 2087127 | 2147483647 104788 191 | 23.800 % |
289.99/290.25 c | 106813 | 106172 717504 2087127 | 2147483647 105046 192 | 23.800 % |
290.89/291.19 c | 107094 | 106172 717504 2087127 | 2147483647 105327 192 | 23.800 % |
291.49/291.71 c | 107408 | 106172 717504 2087127 | 2147483647 105641 192 | 23.800 % |
291.99/292.22 c | 107749 | 106171 717504 2087127 | 2147483647 105981 192 | 23.803 % |
293.69/293.99 c | 108124 | 106170 717504 2087127 | 2147483647 106356 192 | 23.803 % |
294.99/295.25 c | 108535 | 106169 717504 2087127 | 2147483647 106766 192 | 23.811 % |
296.69/296.95 c | 108985 | 106169 717504 2087127 | 2147483647 107216 192 | 23.811 % |
297.79/298.03 c | 109478 | 106169 717504 2087127 | 2147483647 107709 193 | 23.811 % |
299.08/299.35 c | 110021 | 106169 717504 2087127 | 2147483647 108252 193 | 23.811 % |
300.69/300.92 c | 110617 | 106169 717504 2087127 | 2147483647 108848 194 | 23.811 % |
303.48/303.71 c | 111272 | 106169 717504 2087127 | 2147483647 109503 194 | 23.811 % |
304.98/305.23 c | 111992 | 105653 708137 2061139 | 2147483647 110163 195 | 23.818 % |
307.88/308.19 c | 112787 | 105651 708137 2061139 | 2147483647 110957 196 | 23.819 % |
312.48/312.70 c | 113658 | 105649 708137 2061139 | 2147483647 111827 197 | 23.946 % |
315.78/316.01 c | 114616 | 105648 708137 2061139 | 2147483647 112784 198 | 23.947 % |
318.27/318.57 c | 115669 | 105648 708137 2061139 | 2147483647 113836 198 | 23.955 % |
320.38/320.66 c | 116835 | 105647 708137 2061139 | 2147483647 115001 198 | 23.956 % |
327.27/327.50 c | 118108 | 105647 708137 2061139 | 2147483647 116274 201 | 23.956 % |
327.47/327.75 c | 118215 | 105647 708137 2061139 | 2147483647 116381 201 | 23.956 % |
327.88/328.16 c | 118326 | 105647 708137 2061139 | 2147483647 116492 201 | 23.956 % |
328.08/328.39 c | 118447 | 105647 708137 2061139 | 2147483647 116613 201 | 23.956 % |
328.68/328.97 c | 118581 | 105647 708137 2061139 | 2147483647 116747 201 | 23.956 % |
329.08/329.33 c | 118729 | 105647 708137 2061139 | 2147483647 116895 201 | 23.956 % |
329.68/329.92 c | 118889 | 105647 708137 2061139 | 2147483647 117055 201 | 23.956 % |
330.08/330.35 c | 119066 | 105646 708137 2061139 | 2147483647 117231 201 | 23.957 % |
330.98/331.20 c | 119265 | 105646 708137 2061139 | 2147483647 117430 201 | 23.957 % |
331.38/331.65 c | 119479 | 105646 708137 2061139 | 2147483647 117644 201 | 23.957 % |
332.67/332.94 c | 119718 | 105646 708137 2061139 | 2147483647 117883 201 | 23.957 % |
333.47/333.75 c | 119977 | 105646 708137 2061139 | 2147483647 118142 201 | 23.957 % |
334.67/334.94 c | 120262 | 105646 708137 2061139 | 2147483647 118427 202 | 23.957 % |
335.97/336.27 c | 120573 | 105646 708137 2061139 | 2147483647 118738 202 | 23.957 % |
337.17/337.47 c | 120913 | 105444 706772 2057787 | 2147483647 119041 202 | 23.966 % |
338.17/338.41 c | 121286 | 105442 706772 2057787 | 2147483647 119413 202 | 23.973 % |
340.77/341.01 c | 121696 | 105441 706772 2057787 | 2147483647 119822 203 | 23.974 % |
341.88/342.19 c | 122148 | 105438 706772 2057787 | 2147483647 120271 203 | 23.989 % |
345.27/345.59 c | 122642 | 105400 706772 2057787 | 2147483647 120764 204 | 24.093 % |
346.77/347.03 c | 123184 | 105400 706772 2057787 | 2147483647 121306 203 | 24.093 % |
347.96/348.25 c | 123780 | 105400 706772 2057787 | 2147483647 121902 203 | 24.093 % |
349.17/349.46 c | 124437 | 105400 706772 2057787 | 2147483647 122559 203 | 24.093 % |
350.87/351.13 c | 125157 | 105400 706772 2057787 | 2147483647 123279 203 | 24.093 % |
352.97/353.20 c | 125950 | 105398 706772 2057787 | 2147483647 124069 203 | 24.109 % |
356.67/356.98 c | 126822 | 105398 706772 2057787 | 2147483647 124941 204 | 24.109 % |
359.56/359.80 c | 127780 | 105398 706772 2057787 | 2147483647 125899 204 | 24.109 % |
363.26/363.58 c | 128833 | 105398 706772 2057787 | 2147483647 126952 204 | 24.109 % |
368.96/369.29 c | 129991 | 105398 706772 2057787 | 2147483647 128110 206 | 24.109 % |
372.35/372.63 c | 131268 | 105397 706772 2057787 | 2147483647 129386 206 | 24.110 % |
377.36/377.63 c | 132668 | 105391 706772 2057787 | 2147483647 130784 207 | 24.118 % |
377.86/378.15 c | 132768 | 105229 703516 2048943 | 2147483647 130301 208 | 24.118 % |
378.06/378.33 c | 132878 | 105229 703516 2048943 | 2147483647 130411 208 | 24.118 % |
378.46/378.74 c | 133011 | 105229 703516 2048943 | 2147483647 130544 208 | 24.118 % |
378.76/379.08 c | 133145 | 105229 703516 2048943 | 2147483647 130678 208 | 24.118 % |
379.45/379.71 c | 133292 | 105229 703516 2048943 | 2147483647 130825 208 | 24.118 % |
380.05/380.32 c | 133452 | 105228 703516 2048943 | 2147483647 130984 208 | 24.118 % |
380.95/381.21 c | 133628 | 105228 703516 2048943 | 2147483647 131160 208 | 24.118 % |
381.65/381.98 c | 133821 | 105228 703516 2048943 | 2147483647 131353 209 | 24.118 % |
382.45/382.73 c | 134035 | 105228 703516 2048943 | 2147483647 131567 209 | 24.118 % |
383.75/384.02 c | 134268 | 105228 703516 2048943 | 2147483647 131800 209 | 24.118 % |
384.65/384.92 c | 134529 | 105228 703516 2048943 | 2147483647 132061 209 | 24.118 % |
385.25/385.58 c | 134810 | 105228 703516 2048943 | 2147483647 132342 209 | 24.118 % |
385.95/386.28 c | 135119 | 105228 703516 2048943 | 2147483647 132651 210 | 24.118 % |
387.45/387.71 c | 135466 | 105228 703516 2048943 | 2147483647 132998 210 | 24.118 % |
388.35/388.68 c | 135841 | 105228 703516 2048943 | 2147483647 133373 210 | 24.118 % |
390.05/390.30 c | 136255 | 105228 703516 2048943 | 2147483647 133787 210 | 24.118 % |
391.65/391.95 c | 136705 | 105227 703516 2048943 | 2147483647 134236 210 | 24.119 % |
392.85/393.10 c | 137206 | 105227 703516 2048943 | 2147483647 134737 210 | 24.119 % |
395.15/395.40 c | 137749 | 105226 703516 2048943 | 2147483647 135279 211 | 24.120 % |
397.35/397.67 c | 138350 | 105225 703516 2048943 | 2147483647 135879 211 | 24.121 % |
399.34/399.60 c | 139006 | 105224 703516 2048943 | 2147483647 136534 211 | 24.121 % |
400.94/401.28 c | 139728 | 105221 703516 2048943 | 2147483647 137254 211 | 24.131 % |
403.45/403.74 c | 140524 | 105221 703516 2048943 | 2147483647 138050 212 | 24.131 % |
406.75/407.02 c | 141399 | 105219 703516 2048943 | 2147483647 138923 212 | 24.143 % |
409.24/409.53 c | 142357 | 105218 703516 2048943 | 2147483647 139880 213 | 24.152 % |
413.04/413.34 c | 143410 | 105215 703516 2048943 | 2147483647 140932 214 | 24.157 % |
417.34/417.64 c | 144573 | 105215 703516 2048943 | 2147483647 142095 215 | 24.157 % |
422.93/423.29 c | 145848 | 105215 703516 2048943 | 2147483647 143370 216 | 24.157 % |
425.84/426.14 c | 147249 | 105175 703054 2047755 | 2147483647 144753 218 | 24.157 % |
433.53/433.84 c | 148789 | 105171 703054 2047755 | 2147483647 146290 219 | 24.165 % |
433.93/434.26 c | 148889 | 105171 703054 2047755 | 2147483647 146390 219 | 24.165 % |
434.43/434.73 c | 148999 | 105171 703054 2047755 | 2147483647 146500 219 | 24.165 % |
435.04/435.36 c | 149122 | 105169 703054 2047755 | 2147483647 146621 219 | 24.174 % |
435.44/435.79 c | 149256 | 105169 703054 2047755 | 2147483647 146755 219 | 24.174 % |
435.84/436.19 c | 149404 | 105169 703054 2047755 | 2147483647 146903 219 | 24.174 % |
436.54/436.83 c | 149566 | 105167 703054 2047755 | 2147483647 147064 219 | 24.180 % |
437.44/437.74 c | 149744 | 105167 703054 2047755 | 2147483647 147242 219 | 24.180 % |
438.14/438.49 c | 149937 | 105166 703054 2047755 | 2147483647 147434 219 | 24.180 % |
438.93/439.25 c | 150150 | 105166 703054 2047755 | 2147483647 147647 219 | 24.180 % |
439.53/439.84 c | 150383 | 105166 703054 2047755 | 2147483647 147879 219 | 24.343 % |
440.03/440.38 c | 150639 | 105165 703054 2047755 | 2147483647 148135 219 | 24.343 % |
441.23/441.58 c | 150920 | 105165 703054 2047755 | 2147483647 148416 219 | 24.343 % |
442.33/442.67 c | 151230 | 105161 703054 2047755 | 2147483647 148723 218 | 24.354 % |
443.73/444.03 c | 151576 | 105064 703054 2047755 | 2147483647 149068 219 | 24.496 % |
445.93/446.27 c | 151950 | 105064 703054 2047755 | 2147483647 149442 220 | 24.496 % |
447.52/447.83 c | 152361 | 105052 703054 2047755 | 2147483647 149852 220 | 24.523 % |
448.92/449.28 c | 152810 | 105052 703054 2047755 | 2147483647 150301 220 | 24.523 % |
450.92/451.22 c | 153303 | 105052 703054 2047755 | 2147483647 150794 220 | 24.523 % |
454.13/454.45 c | 153848 | 105052 703054 2047755 | 2147483647 151339 221 | 24.523 % |
456.02/456.37 c | 154446 | 105052 703054 2047755 | 2147483647 151937 222 | 24.523 % |
458.23/458.52 c | 155101 | 105037 703054 2047755 | 2147483647 152591 222 | 24.568 % |
460.52/460.80 c | 155821 | 105034 703054 2047755 | 2147483647 153310 223 | 24.573 % |
462.33/462.64 c | 156613 | 105034 703054 2047755 | 2147483647 154102 223 | 24.573 % |
465.52/465.82 c | 157484 | 105026 703054 2047755 | 2147483647 154972 223 | 24.586 % |
467.92/468.23 c | 158442 | 105025 703054 2047755 | 2147483647 155929 223 | 24.595 % |
469.62/469.94 c | 159496 | 104565 698772 2036881 | 2147483647 156677 223 | 24.597 % |
472.12/472.46 c | 160655 | 104565 698772 2036881 | 2147483647 157836 223 | 24.597 % |
478.72/479.04 c | 161933 | 104563 698772 2036881 | 2147483647 159113 224 | 24.646 % |
482.11/482.42 c | 163335 | 104563 698772 2036881 | 2147483647 160515 225 | 24.646 % |
489.71/490.09 c | 164878 | 104560 698772 2036881 | 2147483647 162056 226 | 24.981 % |
495.02/495.39 c | 166581 | 104560 698772 2036881 | 2147483647 163759 228 | 24.981 % |
495.21/495.52 c | 166685 | 104560 698772 2036881 | 2147483647 163863 228 | 24.981 % |
495.31/495.63 c | 166795 | 104560 698772 2036881 | 2147483647 163973 228 | 24.981 % |
496.01/496.36 c | 166916 | 104560 698772 2036881 | 2147483647 164094 228 | 24.981 % |
496.61/496.98 c | 167049 | 104560 698772 2036881 | 2147483647 164227 228 | 24.981 % |
497.11/497.45 c | 167195 | 104559 698772 2036881 | 2147483647 164372 227 | 24.986 % |
498.31/498.61 c | 167355 | 104559 698772 2036881 | 2147483647 164531 228 | 24.987 % |
498.71/499.09 c | 167531 | 104559 698772 2036881 | 2147483647 164707 228 | 24.987 % |
500.01/500.30 c | 167728 | 104559 698772 2036881 | 2147483647 164903 228 | 24.996 % |
501.11/501.43 c | 167941 | 104555 698772 2036881 | 2147483647 165111 228 | 25.014 % |
501.91/502.22 c | 168178 | 104554 698772 2036881 | 2147483647 165348 228 | 25.014 % |
502.81/503.18 c | 168434 | 104554 698772 2036881 | 2147483647 165604 228 | 25.014 % |
503.21/503.59 c | 168715 | 104554 698772 2036881 | 2147483647 165885 228 | 25.014 % |
504.80/505.12 c | 169024 | 104554 698772 2036881 | 2147483647 166194 228 | 25.014 % |
506.60/506.98 c | 169364 | 104554 698772 2036881 | 2147483647 166534 228 | 25.014 % |
507.71/508.09 c | 169739 | 104554 698772 2036881 | 2147483647 166909 229 | 25.014 % |
508.71/509.00 c | 170149 | 104554 698772 2036881 | 2147483647 167319 228 | 25.014 % |
510.11/510.42 c | 170599 | 104553 698772 2036881 | 2147483647 167767 228 | 25.018 % |
511.00/511.37 c | 171094 | 104553 698772 2036881 | 2147483647 168262 228 | 25.018 % |
512.90/513.29 c | 171636 | 104551 698772 2036881 | 2147483647 168801 228 | 25.021 % |
515.39/515.70 c | 172233 | 104551 698772 2036881 | 2147483647 169398 229 | 25.021 % |
517.10/517.41 c | 172888 | 104550 698772 2036881 | 2147483647 170052 228 | 25.022 % |
519.20/519.51 c | 173608 | 104549 698772 2036881 | 2147483647 170770 228 | 25.186 % |
522.90/523.27 c | 174400 | 104549 698772 2036881 | 2147483647 171562 229 | 25.186 % |
525.59/525.97 c | 175271 | 103691 687937 2007533 | 2147483647 172138 229 | 25.227 % |
529.69/530.05 c | 176234 | 103658 687937 2007533 | 2147483647 173099 230 | 25.569 % |
531.70/532.04 c | 177295 | 103658 687937 2007533 | 2147483647 174160 230 | 25.569 % |
536.09/536.46 c | 178453 | 103656 687937 2007533 | 2147483647 175316 230 | 25.570 % |
541.90/542.25 c | 179730 | 103655 687937 2007533 | 2147483647 176592 232 | 25.572 % |
544.99/545.38 c | 181130 | 103654 687937 2007533 | 2147483647 177991 233 | 25.573 % |
550.59/550.94 c | 182671 | 103648 687937 2007533 | 2147483647 179528 234 | 25.589 % |
555.78/556.11 c | 184366 | 103648 687937 2007533 | 2147483647 181223 235 | 25.589 % |
562.79/563.18 c | 186235 | 103642 687937 2007533 | 2147483647 183086 236 | 25.902 % |
563.48/563.80 c | 186335 | 103642 687937 2007533 | 2147483647 183186 236 | 25.902 % |
564.28/564.63 c | 186447 | 103642 687937 2007533 | 2147483647 183298 236 | 25.902 % |
564.58/564.96 c | 186568 | 103642 687937 2007533 | 2147483647 183419 236 | 25.902 % |
564.99/565.36 c | 186704 | 103642 687937 2007533 | 2147483647 183555 236 | 25.902 % |
565.68/566.03 c | 186850 | 103642 687937 2007533 | 2147483647 183701 236 | 25.902 % |
566.38/566.79 c | 187010 | 103642 687937 2007533 | 2147483647 183861 236 | 25.902 % |
567.38/567.72 c | 187187 | 103638 687937 2007533 | 2147483647 184037 236 | 26.026 % |
568.08/568.42 c | 187381 | 103638 687937 2007533 | 2147483647 184231 236 | 26.026 % |
568.68/569.08 c | 187594 | 103638 687937 2007533 | 2147483647 184444 236 | 26.026 % |
569.48/569.86 c | 187827 | 103638 687937 2007533 | 2147483647 184677 236 | 26.026 % |
570.28/570.67 c | 188084 | 103638 687937 2007533 | 2147483647 184934 236 | 26.026 % |
570.98/571.34 c | 188365 | 103638 687937 2007533 | 2147483647 185215 236 | 26.026 % |
571.68/572.04 c | 188675 | 103638 687937 2007533 | 2147483647 185525 237 | 26.026 % |
573.58/573.98 c | 189017 | 103638 687937 2007533 | 2147483647 185867 237 | 26.026 % |
575.28/575.60 c | 189390 | 103637 687937 2007533 | 2147483647 186239 237 | 26.029 % |
576.87/577.26 c | 189801 | 103637 687937 2007533 | 2147483647 186650 237 | 26.029 % |
578.78/579.12 c | 190256 | 103637 687937 2007533 | 2147483647 187105 237 | 26.029 % |
580.28/580.69 c | 190749 | 103635 687937 2007533 | 2147483647 187596 238 | 26.036 % |
582.27/582.61 c | 191294 | 103635 687937 2007533 | 2147483647 188141 238 | 26.036 % |
583.97/584.37 c | 191891 | 103635 687937 2007533 | 2147483647 188738 239 | 26.036 % |
586.57/586.97 c | 192550 | 103634 687937 2007533 | 2147483647 189396 239 | 26.041 % |
589.28/589.66 c | 193270 | 103634 687937 2007533 | 2147483647 190116 240 | 26.041 % |
591.48/591.89 c | 194062 | 103634 687937 2007533 | 2147483647 190908 240 | 26.041 % |
595.07/595.47 c | 194939 | 103634 687937 2007533 | 2147483647 191785 241 | 26.041 % |
598.56/598.99 c | 195899 | 102562 670122 1958036 | 2147483647 189466 241 | 26.041 % |
602.26/602.69 c | 196952 | 102561 670122 1958036 | 2147483647 190518 241 | 26.042 % |
607.56/607.96 c | 198113 | 102560 670122 1958036 | 2147483647 191676 241 | 26.052 % |
612.06/612.46 c | 199391 | 102559 670122 1958036 | 2147483647 192952 241 | 26.053 % |
615.37/615.77 c | 200791 | 102559 670122 1958036 | 2147483647 194352 242 | 26.053 % |
620.16/620.54 c | 202331 | 102559 670122 1958036 | 2147483647 195892 244 | 26.053 % |
625.46/625.83 c | 204027 | 102557 670122 1958036 | 2147483647 197586 245 | 26.060 % |
633.56/633.93 c | 205891 | 102557 670122 1958036 | 2147483647 199450 245 | 26.060 % |
638.25/638.70 c | 207940 | 102548 670122 1958036 | 2147483647 201499 245 | 26.060 % |
638.45/638.82 c | 208041 | 102548 670122 1958036 | 2147483647 201600 245 | 26.060 % |
638.76/639.20 c | 208151 | 102548 670122 1958036 | 2147483647 201710 245 | 26.060 % |
639.25/639.60 c | 208272 | 102548 670122 1958036 | 2147483647 201831 245 | 26.060 % |
639.35/639.71 c | 208405 | 102548 670122 1958036 | 2147483647 201964 245 | 26.060 % |
639.76/640.13 c | 208551 | 102547 670122 1958036 | 2147483647 202109 245 | 26.061 % |
639.95/640.30 c | 208713 | 102547 670122 1958036 | 2147483647 202271 245 | 26.061 % |
640.65/641.07 c | 208890 | 102539 670122 1958036 | 2147483647 202447 245 | 26.188 % |
641.35/641.77 c | 209083 | 102539 670122 1958036 | 2147483647 202640 245 | 26.188 % |
642.15/642.54 c | 209295 | 102538 670122 1958036 | 2147483647 202851 244 | 26.192 % |
643.25/643.62 c | 209528 | 102538 670122 1958036 | 2147483647 203084 245 | 26.192 % |
644.15/644.53 c | 209786 | 102538 670122 1958036 | 2147483647 203342 245 | 26.192 % |
644.75/645.14 c | 210070 | 102538 670122 1958036 | 2147483647 203626 245 | 26.192 % |
645.35/645.78 c | 210383 | 102535 670122 1958036 | 2147483647 203936 245 | 26.206 % |
646.95/647.39 c | 210728 | 102525 670122 1958036 | 2147483647 204281 245 | 26.206 % |
649.25/649.64 c | 211102 | 102525 670122 1958036 | 2147483647 204655 245 | 26.206 % |
650.54/650.93 c | 211512 | 102524 670122 1958036 | 2147483647 205064 245 | 26.207 % |
652.55/652.94 c | 211961 | 102519 670122 1958036 | 2147483647 205512 245 | 26.214 % |
655.05/655.47 c | 212454 | 102513 670122 1958036 | 2147483647 206004 245 | 26.221 % |
656.95/657.34 c | 212997 | 102512 670122 1958036 | 2147483647 206546 245 | 26.254 % |
659.65/660.07 c | 213593 | 102512 670122 1958036 | 2147483647 207142 246 | 26.254 % |
661.54/661.91 c | 214248 | 102512 670122 1958036 | 2147483647 207797 245 | 26.254 % |
664.64/665.00 c | 214968 | 102511 670122 1958036 | 2147483647 208516 245 | 26.255 % |
667.74/668.19 c | 215760 | 102511 670122 1958036 | 2147483647 209308 246 | 26.255 % |
671.24/671.66 c | 216636 | 102511 670122 1958036 | 2147483647 210184 246 | 26.255 % |
673.84/674.27 c | 217594 | 102264 668574 1954503 | 2147483647 210996 246 | 26.256 % |
680.63/681.00 c | 218648 | 102264 668574 1954503 | 2147483647 212050 247 | 26.256 % |
683.94/684.31 c | 219806 | 102264 668574 1954503 | 2147483647 213208 248 | 26.256 % |
691.13/691.57 c | 221079 | 102263 668574 1954503 | 2147483647 214480 249 | 26.257 % |
698.23/698.68 c | 222482 | 102259 668574 1954503 | 2147483647 215881 250 | 26.265 % |
704.83/705.29 c | 224024 | 102253 668574 1954503 | 2147483647 217422 251 | 26.270 % |
713.12/713.55 c | 225720 | 102253 668574 1954503 | 2147483647 219118 251 | 26.270 % |
721.12/721.52 c | 227583 | 102251 668574 1954503 | 2147483647 220980 251 | 26.274 % |
731.91/732.31 c | 229635 | 102251 668574 1954503 | 2147483647 223032 254 | 26.274 % |
740.82/741.22 c | 231892 | 102250 668574 1954503 | 2147483647 225288 255 | 26.275 % |
741.02/741.41 c | 231993 | 102250 668574 1954503 | 2147483647 225389 255 | 26.275 % |
741.22/741.61 c | 232104 | 102250 668574 1954503 | 2147483647 225500 255 | 26.275 % |
741.42/741.88 c | 232226 | 102250 668574 1954503 | 2147483647 225622 255 | 26.275 % |
742.22/742.64 c | 232359 | 102250 668574 1954503 | 2147483647 225755 255 | 26.275 % |
743.41/743.89 c | 232505 | 102250 668574 1954503 | 2147483647 225901 255 | 26.275 % |
744.01/744.45 c | 232665 | 102250 668574 1954503 | 2147483647 226061 255 | 26.275 % |
744.41/744.80 c | 232843 | 102250 668574 1954503 | 2147483647 226239 255 | 26.275 % |
745.31/745.73 c | 233036 | 102250 668574 1954503 | 2147483647 226432 255 | 26.275 % |
746.61/747.05 c | 233250 | 102249 668574 1954503 | 2147483647 226645 255 | 26.280 % |
747.61/748.06 c | 233489 | 102249 668574 1954503 | 2147483647 226884 255 | 26.280 % |
749.11/749.58 c | 233749 | 102249 668574 1954503 | 2147483647 227144 255 | 26.280 % |
750.61/751.07 c | 234032 | 102249 668574 1954503 | 2147483647 227427 255 | 26.280 % |
752.10/752.50 c | 234341 | 102249 668574 1954503 | 2147483647 227736 256 | 26.280 % |
753.41/753.80 c | 234680 | 102249 668574 1954503 | 2147483647 228075 256 | 26.280 % |
754.31/754.73 c | 235053 | 102249 668574 1954503 | 2147483647 228448 256 | 26.280 % |
757.61/758.05 c | 235463 | 102249 668574 1954503 | 2147483647 228858 257 | 26.280 % |
759.71/760.18 c | 235915 | 102249 668574 1954503 | 2147483647 229310 257 | 26.280 % |
761.91/762.34 c | 236412 | 102249 668574 1954503 | 2147483647 229807 257 | 26.280 % |
763.90/764.37 c | 236955 | 102249 668574 1954503 | 2147483647 230350 257 | 26.280 % |
765.61/766.04 c | 237551 | 102230 668351 1953923 | 2147483647 230910 257 | 26.280 % |
769.10/769.57 c | 238206 | 102230 668351 1953923 | 2147483647 231565 258 | 26.280 % |
772.81/773.21 c | 238926 | 102229 668351 1953923 | 2147483647 232284 258 | 26.289 % |
776.70/777.14 c | 239718 | 102229 668351 1953923 | 2147483647 233076 258 | 26.289 % |
781.10/781.54 c | 240597 | 102229 668351 1953923 | 2147483647 233955 259 | 26.289 % |
785.00/785.44 c | 241557 | 102229 668351 1953923 | 2147483647 234915 259 | 26.289 % |
790.09/790.52 c | 242611 | 102227 668351 1953923 | 2147483647 235967 260 | 26.295 % |
794.20/794.62 c | 243772 | 102227 668351 1953923 | 2147483647 237128 261 | 26.295 % |
798.39/798.83 c | 245046 | 102227 668351 1953923 | 2147483647 238402 261 | 26.295 % |
803.29/803.73 c | 246456 | 102226 668351 1953923 | 2147483647 239811 262 | 26.306 % |
808.38/808.84 c | 247996 | 102226 668351 1953923 | 2147483647 241351 262 | 26.306 % |
812.29/812.80 c | 249692 | 102226 668351 1953923 | 2147483647 243047 262 | 26.306 % |
818.38/818.89 c | 251556 | 102224 668351 1953923 | 2147483647 244909 262 | 26.316 % |
826.88/827.31 c | 253606 | 102221 668351 1953923 | 2147483647 246957 263 | 26.321 % |
838.38/838.81 c | 255859 | 102220 668351 1953923 | 2147483647 249208 265 | 26.332 % |
849.08/849.60 c | 258337 | 102216 668351 1953923 | 2147483647 251684 266 | 26.342 % |
849.38/849.87 c | 258438 | 102215 668351 1953923 | 2147483647 251784 266 | 26.573 % |
850.28/850.71 c | 258548 | 102189 668351 1953923 | 2147483647 251894 266 | 26.573 % |
850.98/851.46 c | 258670 | 102189 668351 1953923 | 2147483647 252016 266 | 26.573 % |
851.87/852.36 c | 258803 | 102189 668351 1953923 | 2147483647 252149 266 | 26.573 % |
852.97/853.46 c | 258952 | 102189 668351 1953923 | 2147483647 252298 266 | 26.573 % |
853.77/854.21 c | 259114 | 102189 668351 1953923 | 2147483647 252460 267 | 26.573 % |
854.47/854.98 c | 259291 | 102189 668351 1953923 | 2147483647 252637 267 | 26.573 % |
855.17/855.68 c | 259484 | 102189 668351 1953923 | 2147483647 252830 267 | 26.573 % |
856.17/856.62 c | 259696 | 102189 668351 1953923 | 2147483647 253042 267 | 26.573 % |
857.17/857.68 c | 259929 | 102189 668351 1953923 | 2147483647 253275 267 | 26.573 % |
857.97/858.49 c | 260186 | 102189 668351 1953923 | 2147483647 253532 267 | 26.573 % |
858.47/858.98 c | 260468 | 102189 668351 1953923 | 2147483647 253814 267 | 26.573 % |
860.17/860.61 c | 260780 | 102185 668351 1953923 | 2147483647 254124 267 | 26.585 % |
862.17/862.68 c | 261120 | 102184 668351 1953923 | 2147483647 254463 267 | 26.592 % |
862.77/863.22 c | 261492 | 102184 668351 1953923 | 2147483647 254835 266 | 26.592 % |
865.67/866.10 c | 261904 | 102184 668351 1953923 | 2147483647 255247 267 | 26.592 % |
867.47/867.94 c | 262353 | 102184 668351 1953923 | 2147483647 255696 267 | 26.592 % |
869.67/870.11 c | 262847 | 101798 666244 1948963 | 2147483647 256005 267 | 26.592 % |
872.87/873.33 c | 263391 | 101798 666244 1948963 | 2147483647 256548 268 | 26.593 % |
875.46/875.95 c | 263987 | 101798 666244 1948963 | 2147483647 257144 268 | 26.593 % |
877.27/877.74 c | 264644 | 101798 666244 1948963 | 2147483647 257801 268 | 26.593 % |
881.26/881.79 c | 265364 | 101798 666244 1948963 | 2147483647 258521 268 | 26.593 % |
885.96/886.45 c | 266157 | 101798 666244 1948963 | 2147483647 259314 269 | 26.593 % |
889.76/890.22 c | 267028 | 101794 666244 1948963 | 2147483647 260182 269 | 26.606 % |
894.86/895.39 c | 267989 | 101791 666244 1948963 | 2147483647 261141 270 | 26.619 % |
898.95/899.42 c | 269042 | 101791 666244 1948963 | 2147483647 262194 270 | 26.619 % |
905.16/905.65 c | 270202 | 101791 666244 1948963 | 2147483647 263353 271 | 26.619 % |
911.46/911.99 c | 271475 | 101761 666244 1948963 | 2147483647 264623 271 | 26.833 % |
917.74/918.24 c | 272875 | 101761 666244 1948963 | 2147483647 266023 272 | 26.833 % |
924.55/925.09 c | 274418 | 101747 666244 1948963 | 2147483647 267562 272 | 26.862 % |
930.25/930.75 c | 276113 | 101747 666244 1948963 | 2147483647 269257 273 | 26.862 % |
937.84/938.37 c | 277977 | 101747 666244 1948963 | 2147483647 271120 273 | 26.864 % |
943.94/944.45 c | 280028 | 101742 666244 1948963 | 2147483647 273168 273 | 26.872 % |
955.24/955.71 c | 282284 | 101740 666244 1948963 | 2147483647 275422 274 | 26.873 % |
970.73/971.29 c | 284762 | 101739 666244 1948963 | 2147483647 277899 275 | 26.879 % |
982.83/983.40 c | 287487 | 101730 666244 1948963 | 2147483647 280603 276 | 27.004 % |
983.32/983.80 c | 287587 | 101730 666244 1948963 | 2147483647 280703 276 | 27.004 % |
983.52/984.09 c | 287697 | 101730 666244 1948963 | 2147483647 280813 276 | 27.004 % |
984.32/984.84 c | 287819 | 101730 666244 1948963 | 2147483647 280935 276 | 27.004 % |
984.82/985.34 c | 287957 | 101730 666244 1948963 | 2147483647 281073 276 | 27.004 % |
985.52/986.05 c | 288103 | 101730 666244 1948963 | 2147483647 281219 276 | 27.004 % |
986.62/987.11 c | 288263 | 101730 666244 1948963 | 2147483647 281379 276 | 27.004 % |
987.72/988.28 c | 288439 | 101730 666244 1948963 | 2147483647 281555 276 | 27.004 % |
989.02/989.60 c | 288632 | 101730 666244 1948963 | 2147483647 281748 276 | 27.004 % |
990.22/990.74 c | 288844 | 101730 666244 1948963 | 2147483647 281960 276 | 27.004 % |
992.12/992.65 c | 289081 | 101226 661818 1937138 | 2147483647 281986 276 | 27.004 % |
993.22/993.75 c | 289342 | 101226 661818 1937138 | 2147483647 282247 277 | 27.004 % |
994.82/995.36 c | 289627 | 101225 661818 1937138 | 2147483647 282531 277 | 27.012 % |
995.82/996.37 c | 289938 | 101224 661818 1937138 | 2147483647 282841 277 | 27.012 % |
997.92/998.42 c | 290277 | 101222 661818 1937138 | 2147483647 283179 277 | 27.019 % |
1000.32/1000.85 c | 290649 | 101222 661818 1937138 | 2147483647 283550 277 | 27.022 % |
1002.21/1002.77 c | 291067 | 101222 661818 1937138 | 2147483647 283968 277 | 27.022 % |
1003.91/1004.45 c | 291516 | 101222 661818 1937138 | 2147483647 284417 278 | 27.022 % |
1005.41/1005.91 c | 292010 | 101220 661818 1937138 | 2147483647 284910 278 | 27.029 % |
1009.32/1009.88 c | 292553 | 101220 661818 1937138 | 2147483647 285453 278 | 27.029 % |
1012.01/1012.59 c | 293149 | 101220 661818 1937138 | 2147483647 286049 278 | 27.029 % |
1015.82/1016.32 c | 293804 | 101220 661818 1937138 | 2147483647 286704 279 | 27.029 % |
1019.41/1019.90 c | 294526 | 101220 661818 1937138 | 2147483647 287426 279 | 27.029 % |
1023.81/1024.39 c | 295318 | 101220 661818 1937138 | 2147483647 288218 280 | 27.029 % |
1027.20/1027.72 c | 296195 | 101220 661818 1937138 | 2147483647 289095 280 | 27.029 % |
1032.80/1033.35 c | 297153 | 101216 661818 1937138 | 2147483647 290051 280 | 27.036 % |
1036.90/1037.45 c | 298206 | 101215 661818 1937138 | 2147483647 291103 281 | 27.037 % |
1042.21/1042.79 c | 299365 | 101215 661818 1937138 | 2147483647 292262 282 | 27.037 % |
1051.80/1052.31 c | 300644 | 101214 661818 1937138 | 2147483647 293540 283 | 27.038 % |
1058.59/1059.16 c | 302044 | 101213 661818 1937138 | 2147483647 294939 285 | 27.038 % |
1063.10/1063.65 c | 303585 | 101213 661818 1937138 | 2147483647 296480 284 | 27.038 % |
1072.18/1072.78 c | 305279 | 101213 661818 1937138 | 2147483647 298174 285 | 27.038 % |
1077.59/1078.16 c | 307143 | 101211 661818 1937138 | 2147483647 300036 285 | 27.040 % |
1085.88/1086.48 c | 309192 | 101211 661818 1937138 | 2147483647 302085 286 | 27.040 % |
1095.48/1096.07 c | 311446 | 101211 661818 1937138 | 2147483647 304339 286 | 27.040 % |
1106.98/1107.51 c | 313926 | 101206 661818 1937138 | 2147483647 306816 287 | 27.068 % |
1118.17/1118.73 c | 316652 | 101205 661818 1937138 | 2147483647 309541 290 | 27.069 % |
1130.27/1130.82 c | 319649 | 101204 661818 1937138 | 2147483647 312537 290 | 27.069 % |
1130.56/1131.18 c | 319749 | 101204 661818 1937138 | 2147483647 312637 290 | 27.069 % |
1130.86/1131.46 c | 319859 | 101204 661818 1937138 | 2147483647 312747 290 | 27.069 % |
1131.27/1131.86 c | 319983 | 101204 661818 1937138 | 2147483647 312871 290 | 27.069 % |
1131.96/1132.59 c | 320119 | 101204 661818 1937138 | 2147483647 313007 290 | 27.069 % |
1132.66/1133.20 c | 320266 | 101204 661818 1937138 | 2147483647 313154 290 | 27.069 % |
1132.96/1133.52 c | 320427 | 101204 661818 1937138 | 2147483647 313315 290 | 27.069 % |
1134.96/1135.58 c | 320604 | 101204 661818 1937138 | 2147483647 313492 290 | 27.069 % |
1136.36/1136.94 c | 320797 | 101204 661818 1937138 | 2147483647 313685 290 | 27.069 % |
1137.36/1137.99 c | 321011 | 101204 661818 1937138 | 2147483647 313899 290 | 27.069 % |
1138.87/1139.40 c | 321244 | 101203 661818 1937138 | 2147483647 314131 290 | 27.070 % |
1140.57/1141.12 c | 321500 | 101203 661818 1937138 | 2147483647 314387 290 | 27.070 % |
1141.67/1142.23 c | 321782 | 101203 661818 1937138 | 2147483647 314669 290 | 27.070 % |
1143.56/1144.19 c | 322094 | 101203 661818 1937138 | 2147483647 314981 290 | 27.070 % |
1145.96/1146.53 c | 322435 | 101203 661818 1937138 | 2147483647 315322 290 | 27.070 % |
1148.36/1148.97 c | 322809 | 101203 661818 1937138 | 2147483647 315696 291 | 27.070 % |
1150.26/1150.82 c | 323218 | 101203 661818 1937138 | 2147483647 316105 291 | 27.070 % |
1152.86/1153.48 c | 323667 | 101203 661818 1937138 | 2147483647 316554 291 | 27.070 % |
1155.75/1156.32 c | 324162 | 101134 661014 1934960 | 2147483647 315151 292 | 27.071 % |
1159.65/1160.24 c | 324705 | 101133 661014 1934960 | 2147483647 315693 292 | 27.071 % |
1162.76/1163.35 c | 325303 | 101133 661014 1934960 | 2147483647 316291 292 | 27.071 % |
1165.75/1166.35 c | 325958 | 101132 661014 1934960 | 2147483647 316945 292 | 27.076 % |
1170.55/1171.19 c | 326678 | 101132 661014 1934960 | 2147483647 317665 293 | 27.076 % |
1173.55/1174.17 c | 327470 | 101128 661014 1934960 | 2147483647 318453 292 | 27.095 % |
1177.75/1178.33 c | 328347 | 101128 661014 1934960 | 2147483647 319330 293 | 27.095 % |
1182.45/1183.05 c | 329305 | 101128 661014 1934960 | 2147483647 320288 293 | 27.095 % |
1187.84/1188.42 c | 330363 | 101128 661014 1934960 | 2147483647 321346 293 | 27.095 % |
1192.24/1192.81 c | 331524 | 101128 661014 1934960 | 2147483647 322507 293 | 27.095 % |
1199.64/1200.21 c | 332797 | 101124 661014 1934960 | 2147483647 323778 293 | 27.206 % |
1205.64/1206.26 c | 334197 | 101124 661014 1934960 | 2147483647 325178 295 | 27.206 % |
1212.23/1212.88 c | 335737 | 101124 661014 1934960 | 2147483647 326718 295 | 27.206 % |
1220.23/1220.81 c | 337432 | 101124 661014 1934960 | 2147483647 328413 296 | 27.206 % |
1227.33/1227.98 c | 339301 | 100972 661014 1934960 | 2147483647 330280 296 | 27.208 % |
1233.93/1234.58 c | 341350 | 100972 661014 1934960 | 2147483647 332329 296 | 27.208 % |
1250.62/1251.26 c | 343606 | 100972 661014 1934960 | 2147483647 334585 298 | 27.208 % |
1261.62/1262.25 c | 346087 | 100972 661014 1934960 | 2147483647 337066 299 | 27.208 % |
1281.51/1282.10 c | 348812 | 100972 661014 1934960 | 2147483647 339788 299 | 27.239 % |
1296.81/1297.48 c | 351811 | 100971 661014 1934960 | 2147483647 342786 301 | 27.243 % |
1303.80/1304.47 c | 355107 | 100971 661014 1934960 | 2147483647 346082 299 | 27.243 % |
1304.20/1304.82 c | 355208 | 100971 661014 1934960 | 2147483647 346183 299 | 27.243 % |
1304.50/1305.15 c | 355320 | 100971 661014 1934960 | 2147483647 346295 299 | 27.243 % |
1305.00/1305.62 c | 355442 | 100971 661014 1934960 | 2147483647 346416 299 | 27.260 % |
1305.20/1305.84 c | 355575 | 100971 661014 1934960 | 2147483647 346549 299 | 27.260 % |
1305.70/1306.39 c | 355721 | 100969 661014 1934960 | 2147483647 346695 299 | 27.260 % |
1306.60/1307.26 c | 355886 | 100969 661014 1934960 | 2147483647 346860 299 | 27.260 % |
1307.61/1308.24 c | 356064 | 100969 661014 1934960 | 2147483647 347038 299 | 27.260 % |
1308.70/1309.32 c | 356258 | 100969 661014 1934960 | 2147483647 347232 299 | 27.260 % |
1309.90/1310.50 c | 356473 | 100969 661014 1934960 | 2147483647 347447 299 | 27.260 % |
1311.50/1312.15 c | 356706 | 100969 661014 1934960 | 2147483647 347680 300 | 27.260 % |
1313.20/1313.83 c | 356964 | 100969 661014 1934960 | 2147483647 347938 300 | 27.260 % |
1313.90/1314.56 c | 357250 | 100969 661014 1934960 | 2147483647 348224 299 | 27.260 % |
1315.90/1316.58 c | 357571 | 100969 661014 1934960 | 2147483647 348545 299 | 27.260 % |
1319.09/1319.74 c | 357912 | 100969 661014 1934960 | 2147483647 348886 300 | 27.260 % |
1322.00/1322.62 c | 358286 | 100969 661014 1934960 | 2147483647 349260 300 | 27.260 % |
1325.00/1325.65 c | 358695 | 100969 661014 1934960 | 2147483647 349669 300 | 27.260 % |
1329.10/1329.74 c | 359146 | 100872 659745 1931950 | 2147483647 349988 300 | 27.260 % |
1331.49/1332.17 c | 359639 | 100872 659745 1931950 | 2147483647 350481 300 | 27.260 % |
1332.19/1332.88 c | 360181 | 100872 659745 1931950 | 2147483647 351023 300 | 27.260 % |
1334.59/1335.21 c | 360783 | 100868 659745 1931950 | 2147483647 351620 300 | 27.322 % |
1339.19/1339.83 c | 361438 | 100868 659745 1931950 | 2147483647 352275 301 | 27.322 % |
1341.39/1342.07 c | 362162 | 100868 659745 1931950 | 2147483647 352999 300 | 27.322 % |
1344.89/1345.53 c | 362954 | 100862 659745 1931950 | 2147483647 353787 300 | 27.327 % |
1349.38/1350.01 c | 363825 | 100862 659745 1931950 | 2147483647 354658 301 | 27.327 % |
1356.79/1357.46 c | 364789 | 100862 659745 1931950 | 2147483647 355620 301 | 27.330 % |
1359.48/1360.19 c | 365842 | 100862 659745 1931950 | 2147483647 356673 301 | 27.330 % |
1365.88/1366.58 c | 367001 | 100862 659745 1931950 | 2147483647 357832 300 | 27.330 % |
1374.68/1375.38 c | 368274 | 100862 659745 1931950 | 2147483647 359105 301 | 27.330 % |
1381.67/1382.35 c | 369674 | 100861 659745 1931950 | 2147483647 360504 301 | 27.335 % |
1391.46/1392.16 c | 371215 | 100860 659745 1931950 | 2147483647 362044 302 | 27.340 % |
1399.96/1400.69 c | 372912 | 100860 659745 1931950 | 2147483647 363741 302 | 27.340 % |
1413.76/1414.42 c | 374777 | 100857 659745 1931950 | 2147483647 365603 303 | 27.343 % |
1425.86/1426.59 c | 376834 | 100856 659745 1931950 | 2147483647 367659 304 | 27.348 % |
1437.55/1438.20 c | 379091 | 100854 659745 1931950 | 2147483647 369915 304 | 27.350 % |
1447.96/1448.67 c | 381572 | 100854 659745 1931950 | 2147483647 372396 306 | 27.350 % |
1460.15/1460.88 c | 384297 | 100854 659745 1931950 | 2147483647 375121 306 | 27.350 % |
1471.84/1472.59 c | 387296 | 100853 659745 1931950 | 2147483647 378119 306 | 27.357 % |
1494.73/1495.43 c | 390593 | 100853 659745 1931950 | 2147483647 381416 308 | 27.357 % |
1516.83/1517.54 c | 394218 | 100853 659745 1931950 | 2147483647 385041 310 | 27.357 % |
1517.42/1518.12 c | 394318 | 100853 659745 1931950 | 2147483647 385141 310 | 27.357 % |
1518.22/1518.93 c | 394434 | 100853 659745 1931950 | 2147483647 385257 310 | 27.357 % |
1518.72/1519.41 c | 394557 | 100853 659745 1931950 | 2147483647 385380 310 | 27.357 % |
1519.72/1520.47 c | 394692 | 100853 659745 1931950 | 2147483647 385515 310 | 27.357 % |
1520.82/1521.57 c | 394840 | 100852 659745 1931950 | 2147483647 385662 310 | 27.369 % |
1522.12/1522.83 c | 395001 | 100852 659745 1931950 | 2147483647 385823 310 | 27.369 % |
1523.32/1524.06 c | 395177 | 100852 659745 1931950 | 2147483647 385999 310 | 27.369 % |
1524.73/1525.42 c | 395370 | 100852 659745 1931950 | 2147483647 386192 310 | 27.369 % |
1526.72/1527.46 c | 395582 | 100852 659745 1931950 | 2147483647 386404 310 | 27.369 % |
1528.62/1529.34 c | 395815 | 100852 659745 1931950 | 2147483647 386637 311 | 27.369 % |
1530.22/1530.97 c | 396071 | 100852 659745 1931950 | 2147483647 386893 311 | 27.369 % |
1532.62/1533.36 c | 396363 | 100852 659745 1931950 | 2147483647 387184 311 | 27.764 % |
1533.31/1534.05 c | 396672 | 100852 659745 1931950 | 2147483647 387493 311 | 27.764 % |
1535.61/1536.37 c | 397013 | 100852 659745 1931950 | 2147483647 387834 311 | 27.764 % |
1537.91/1538.61 c | 397385 | 100850 659745 1931950 | 2147483647 388203 311 | 27.883 % |
1539.92/1540.62 c | 397795 | 100816 659745 1931950 | 2147483647 388613 311 | 27.883 % |
1543.42/1544.17 c | 398246 | 100816 659745 1931950 | 2147483647 389064 311 | 27.883 % |
1546.51/1547.20 c | 398739 | 100816 659745 1931950 | 2147483647 389557 311 | 27.883 % |
1549.71/1550.43 c | 399283 | 100816 659745 1931950 | 2147483647 390101 311 | 27.883 % |
1551.71/1552.49 c | 399881 | 100816 659745 1931950 | 2147483647 390699 311 | 27.883 % |
1557.51/1558.28 c | 400537 | 100816 659745 1931950 | 2147483647 391355 311 | 27.883 % |
1563.51/1564.26 c | 401259 | 100816 659745 1931950 | 2147483647 392077 312 | 27.883 % |
1569.11/1569.89 c | 402051 | 100816 659745 1931950 | 2147483647 392869 312 | 27.883 % |
1573.20/1573.96 c | 402924 | 100816 659745 1931950 | 2147483647 393742 312 | 27.883 % |
1579.40/1580.17 c | 403885 | 100006 646764 1896239 | 2147483647 394206 313 | 27.890 % |
1585.19/1585.95 c | 404938 | 100006 646764 1896239 | 2147483647 395259 313 | 27.890 % |
1591.79/1592.56 c | 406097 | 100005 646764 1896239 | 2147483647 396416 313 | 27.897 % |
1598.29/1599.03 c | 407370 | 100005 646764 1896239 | 2147483647 397687 313 | 27.899 % |
1606.29/1607.08 c | 408771 | 100003 646764 1896239 | 2147483647 399086 312 | 27.906 % |
1615.19/1615.91 c | 410311 | 100003 646764 1896239 | 2147483647 400626 313 | 27.906 % |
1625.38/1626.11 c | 412009 | 99996 646764 1896239 | 2147483647 402317 313 | 27.940 % |
1637.48/1638.24 c | 413872 | 99996 646764 1896239 | 2147483647 404180 313 | 27.940 % |
1651.57/1652.38 c | 415924 | 99991 646764 1896239 | 2147483647 406228 314 | 27.962 % |
1668.36/1669.11 c | 418179 | 99990 646764 1896239 | 2147483647 408481 314 | 27.975 % |
1688.06/1688.87 c | 420658 | 99990 646764 1896239 | 2147483647 410958 314 | 27.987 % |
1699.35/1700.17 c | 423383 | 99990 646764 1896239 | 2147483647 413683 314 | 27.987 % |
1714.55/1715.31 c | 426381 | 99990 646764 1896239 | 2147483647 416681 314 | 27.987 % |
1741.65/1742.41 c | 429677 | 99990 646764 1896239 | 2147483647 419976 317 | 27.989 % |
1766.93/1767.78 c | 433302 | 99987 646764 1896239 | 2147483647 423598 317 | 27.994 % |
1782.22/1783.07 c | 437289 | 99987 646764 1896239 | 2147483647 427585 317 | 27.994 % |
1782.82/1783.64 c | 437393 | 99987 646764 1896239 | 2147483647 427689 317 | 27.994 % |
1783.72/1784.54 c | 437504 | 99986 646764 1896239 | 2147483647 427799 317 | 28.002 % |
1784.83/1785.64 c | 437627 | 99986 646764 1896239 | 2147483647 427922 317 | 28.002 % |
1785.53/1786.39 c | 437760 | 99986 646764 1896239 | 2147483647 428055 317 | 28.002 % |
1786.13/1786.99 c | 437909 | 99986 646764 1896239 | 2147483647 428204 317 | 28.002 % |
1787.73/1788.51 c | 438069 | 99986 646764 1896239 | 2147483647 428364 317 | 28.002 % |
1788.93/1789.72 c | 438246 | 99986 646764 1896239 | 2147483647 428541 317 | 28.002 % |
1789.72/1790.59 c | 438439 | 99986 646764 1896239 | 2147483647 428734 317 | 28.002 % |
1792.02/1792.81 c | 438651 | 99986 646764 1896239 | 2147483647 428946 317 | 28.002 % |
1794.32/1795.17 c | 438886 | 99986 646764 1896239 | 2147483647 429181 317 | 28.002 % |
1797.32/1798.18 c | 439146 | 99986 646764 1896239 | 2147483647 429441 317 | 28.002 % |
1799.12/1799.96 c | 439431 | 99986 646764 1896239 | 2147483647 429726 318 | 28.002 % |
1801.72/1802.56 c | 439740 | 99986 646764 1896239 | 2147483647 430035 318 | 28.002 % |
1803.32/1804.18 c | 440079 | 99986 646764 1896239 | 2147483647 430374 318 | 28.002 % |
1806.02/1806.80 c | 440451 | 99986 646764 1896239 | 2147483647 430746 318 | 28.002 % |
1809.11/1809.91 c | 440861 | 99843 645200 1891896 | 2147483647 430959 318 | 28.002 % |
1811.21/1812.03 c | 441311 | 99843 645200 1891896 | 2147483647 431409 318 | 28.002 % |
1812.51/1813.32 c | 441806 | 99843 645200 1891896 | 2147483647 431904 318 | 28.002 % |
1815.92/1816.74 c | 442353 | 99843 645200 1891896 | 2147483647 432451 318 | 28.002 % |
1820.21/1821.07 c | 442949 | 99843 645200 1891896 | 2147483647 433047 318 | 28.002 % |
1822.31/1823.11 c | 443606 | 99843 645200 1891896 | 2147483647 433704 318 | 28.002 % |
1827.42/1828.20 c | 444328 | 99842 645200 1891896 | 2147483647 434425 318 | 28.008 % |
1832.71/1833.58 c | 445127 | 99842 645200 1891896 | 2147483647 435224 319 | 28.008 % |
1835.80/1836.65 c | 445999 | 99842 645200 1891896 | 2147483647 436096 319 | 28.008 % |
1839.31/1840.19 c | 446957 | 99842 645200 1891896 | 2147483647 437054 319 | 28.008 % |
1848.50/1849.39 c | 448016 | 99842 645200 1891896 | 2147483647 438113 319 | 28.008 % |
1855.10/1855.95 c | 449174 | 99842 645200 1891896 | 2147483647 439271 319 | 28.008 % |
1861.19/1862.06 c | 450447 | 99842 645200 1891896 | 2147483647 440544 320 | 28.008 % |
1870.79/1871.64 c | 451847 | 99842 645200 1891896 | 2147483647 441943 320 | 28.009 % |
1876.79/1877.62 c | 453388 | 99840 645200 1891896 | 2147483647 443482 320 | 28.036 % |
1885.89/1886.77 c | 455083 | 99839 645200 1891896 | 2147483647 445175 320 | 28.044 % |
1895.79/1896.62 c | 456948 | 99837 645200 1891896 | 2147483647 447039 320 | 28.050 % |
1910.08/1910.99 c | 458997 | 99835 645200 1891896 | 2147483647 449087 322 | 28.056 % |
1923.17/1924.02 c | 461250 | 99834 645200 1891896 | 2147483647 451339 323 | 28.064 % |
1935.97/1936.87 c | 463731 | 99834 645200 1891896 | 2147483647 453820 324 | 28.064 % |
1951.07/1951.98 c | 466457 | 99832 645200 1891896 | 2147483647 456544 325 | 28.065 % |
1977.36/1978.23 c | 469459 | 99830 645200 1891896 | 2147483647 459544 326 | 28.067 % |
1991.15/1992.01 c | 472756 | 99830 645200 1891896 | 2147483647 462841 327 | 28.067 % |
1999.95/2000.85 c | 476382 | 99829 645200 1891896 | 2147483647 466465 327 | 28.147 % |
2023.64/2024.51 c | 480376 | 99783 645200 1891896 | 2147483647 470452 327 | 28.231 % |
2047.83/2048.74 c | 484761 | 99782 645200 1891896 | 2147483647 474836 329 | 28.232 % |
2048.23/2049.14 c | 484864 | 99782 645200 1891896 | 2147483647 474939 329 | 28.232 % |
2049.23/2050.13 c | 484974 | 99782 645200 1891896 | 2147483647 475049 329 | 28.232 % |
2050.13/2051.04 c | 485097 | 99782 645200 1891896 | 2147483647 475172 329 | 28.232 % |
2051.13/2052.02 c | 485235 | 99782 645200 1891896 | 2147483647 475310 329 | 28.232 % |
2052.12/2053.02 c | 485381 | 99782 645200 1891896 | 2147483647 475456 329 | 28.232 % |
2052.92/2053.87 c | 485542 | 99782 645200 1891896 | 2147483647 475617 329 | 28.232 % |
2053.62/2054.51 c | 485720 | 99782 645200 1891896 | 2147483647 475795 329 | 28.232 % |
2054.42/2055.35 c | 485917 | 99782 645200 1891896 | 2147483647 475992 329 | 28.232 % |
2056.43/2057.39 c | 486129 | 99782 645200 1891896 | 2147483647 476204 329 | 28.232 % |
2058.03/2058.96 c | 486363 | 99782 645200 1891896 | 2147483647 476437 329 | 28.297 % |
2060.23/2061.16 c | 486622 | 99782 645200 1891896 | 2147483647 476696 329 | 28.297 % |
2062.43/2063.37 c | 486907 | 99782 645200 1891896 | 2147483647 476981 329 | 28.297 % |
2064.42/2065.38 c | 487216 | 99782 645200 1891896 | 2147483647 477290 329 | 28.297 % |
2068.02/2068.93 c | 487556 | 99782 645200 1891896 | 2147483647 477630 329 | 28.297 % |
2071.02/2071.98 c | 487929 | 99782 645200 1891896 | 2147483647 478003 329 | 28.297 % |
2074.22/2075.16 c | 488338 | 99782 645200 1891896 | 2147483647 478412 329 | 28.297 % |
2077.12/2078.09 c | 488788 | 99782 645200 1891896 | 2147483647 478862 329 | 28.297 % |
2080.12/2081.02 c | 489284 | 99782 645200 1891896 | 2147483647 479358 329 | 28.297 % |
2083.72/2084.60 c | 489826 | 99782 645200 1891896 | 2147483647 479900 329 | 28.297 % |
2087.21/2088.11 c | 490423 | 99782 645200 1891896 | 2147483647 480497 330 | 28.297 % |
2091.71/2092.70 c | 491078 | 99781 645200 1891896 | 2147483647 481151 330 | 28.297 % |
2096.01/2096.95 c | 491806 | 99781 645200 1891896 | 2147483647 481879 330 | 28.297 % |
2099.91/2100.85 c | 492599 | 99781 645200 1891896 | 2147483647 482672 331 | 28.297 % |
2105.21/2106.16 c | 493473 | 99781 645200 1891896 | 2147483647 483546 331 | 28.297 % |
2111.70/2112.69 c | 494433 | 99781 645200 1891896 | 2147483647 484505 331 | 28.298 % |
2115.81/2116.71 c | 495487 | 99781 645200 1891896 | 2147483647 485559 331 | 28.298 % |
2125.30/2126.21 c | 496645 | 99781 645200 1891896 | 2147483647 486717 331 | 28.298 % |
2135.21/2136.15 c | 497918 | 99781 645200 1891896 | 2147483647 487990 332 | 28.298 % |
2145.29/2146.24 c | 499318 | 99431 641971 1883398 | 2147483647 488690 333 | 28.299 % |
2155.19/2156.11 c | 500859 | 99431 641971 1883398 | 2147483647 490231 334 | 28.299 % |
2166.39/2167.31 c | 502553 | 99431 641971 1883398 | 2147483647 491925 334 | 28.299 % |
2177.98/2178.92 c | 504416 | 99430 641971 1883398 | 2147483647 493786 335 | 28.304 % |
2186.48/2187.44 c | 506468 | 99430 641971 1883398 | 2147483647 495838 335 | 28.304 % |
2201.77/2202.77 c | 508721 | 99430 641971 1883398 | 2147483647 498090 334 | 28.344 % |
2215.37/2216.40 c | 511200 | 99430 641971 1883398 | 2147483647 500569 335 | 28.344 % |
2235.06/2236.04 c | 513925 | 99419 641971 1883398 | 2147483647 503292 336 | 28.387 % |
2255.86/2256.83 c | 516925 | 99416 641971 1883398 | 2147483647 506291 337 | 28.389 % |
2274.14/2275.10 c | 520228 | 99416 641971 1883398 | 2147483647 509593 338 | 28.396 % |
2297.14/2298.12 c | 523853 | 99414 641971 1883398 | 2147483647 513216 339 | 28.422 % |
2325.73/2326.79 c | 527840 | 99413 641971 1883398 | 2147483647 517201 340 | 28.453 % |
2340.03/2341.00 c | 532226 | 99372 641971 1883398 | 2147483647 521587 340 | 28.453 % |
2376.81/2377.80 c | 537052 | 99370 641971 1883398 | 2147483647 526411 342 | 28.466 % |
2377.52/2378.56 c | 537152 | 99370 641971 1883398 | 2147483647 526511 342 | 28.466 % |
2378.41/2379.44 c | 537262 | 99370 641971 1883398 | 2147483647 526621 342 | 28.466 % |
2379.42/2380.44 c | 537385 | 99370 641971 1883398 | 2147483647 526744 342 | 28.466 % |
2380.41/2381.43 c | 537519 | 99370 641971 1883398 | 2147483647 526878 342 | 28.466 % |
2381.31/2382.40 c | 537665 | 99370 641971 1883398 | 2147483647 527024 342 | 28.466 % |
2382.31/2383.40 c | 537826 | 99370 641971 1883398 | 2147483647 527185 342 | 28.466 % |
2384.21/2385.21 c | 538004 | 99370 641971 1883398 | 2147483647 527363 342 | 28.466 % |
2386.31/2387.34 c | 538200 | 99367 641971 1883398 | 2147483647 527558 342 | 28.469 % |
2387.80/2388.85 c | 538413 | 99367 641971 1883398 | 2147483647 527771 342 | 28.469 % |
2389.61/2390.64 c | 538646 | 99367 641971 1883398 | 2147483647 528004 342 | 28.469 % |
2391.11/2392.10 c | 538903 | 99367 641971 1883398 | 2147483647 528261 342 | 28.469 % |
2392.81/2393.86 c | 539193 | 99366 641971 1883398 | 2147483647 528550 342 | 28.470 % |
2393.61/2394.62 c | 539507 | 99366 641971 1883398 | 2147483647 528864 342 | 28.470 % |
2395.91/2396.91 c | 539846 | 99366 641971 1883398 | 2147483647 529203 342 | 28.470 % |
2399.50/2400.54 c | 540221 | 99366 641971 1883398 | 2147483647 529578 342 | 28.470 % |
2402.00/2403.03 c | 540630 | 99366 641971 1883398 | 2147483647 529987 342 | 28.470 % |
2405.10/2406.17 c | 541080 | 99366 641971 1883398 | 2147483647 530437 342 | 28.470 % |
2408.90/2409.97 c | 541574 | 99366 641971 1883398 | 2147483647 530931 342 | 28.470 % |
2412.30/2413.32 c | 542118 | 99366 641971 1883398 | 2147483647 531475 343 | 28.470 % |
2415.29/2416.36 c | 542715 | 99366 641971 1883398 | 2147483647 532072 343 | 28.470 % |
2420.49/2421.58 c | 543370 | 99366 641971 1883398 | 2147483647 532727 343 | 28.470 % |
2425.19/2426.21 c | 544092 | 99366 641971 1883398 | 2147483647 533449 343 | 28.470 % |
2432.20/2433.21 c | 544885 | 99366 641971 1883398 | 2147483647 534242 343 | 28.470 % |
2438.69/2439.80 c | 545760 | 99366 641971 1883398 | 2147483647 535117 343 | 28.470 % |
2444.88/2445.94 c | 546721 | 99366 641971 1883398 | 2147483647 536078 344 | 28.470 % |
2452.28/2453.31 c | 547779 | 99366 641971 1883398 | 2147483647 537136 344 | 28.470 % |
2455.88/2456.91 c | 548937 | 99366 641971 1883398 | 2147483647 538294 343 | 28.470 % |
2465.88/2466.95 c | 550210 | 99366 641971 1883398 | 2147483647 539567 343 | 28.470 % |
2477.97/2479.02 c | 551611 | 99366 641971 1883398 | 2147483647 540968 344 | 28.470 % |
2490.87/2491.93 c | 553156 | 99366 641971 1883398 | 2147483647 542513 344 | 28.470 % |
2500.67/2501.72 c | 554853 | 99366 641971 1883398 | 2147483647 544210 344 | 28.470 % |
2505.17/2506.26 c | 556718 | 99360 641971 1883398 | 2147483647 546072 344 | 28.563 % |
2517.46/2518.50 c | 558771 | 99360 641971 1883398 | 2147483647 548125 345 | 28.563 % |
2534.65/2535.75 c | 561025 | 99351 641971 1883398 | 2147483647 550369 345 | 28.603 % |
2557.24/2558.38 c | 563506 | 99350 641971 1883398 | 2147483647 552848 345 | 28.616 % |
2579.34/2580.42 c | 566231 | 99349 641971 1883398 | 2147483647 555572 346 | 28.617 % |
2598.02/2599.17 c | 569228 | 98990 638561 1874771 | 2147483647 558234 347 | 28.617 % |
2625.32/2626.50 c | 572526 | 98944 638561 1874771 | 2147483647 561529 348 | 29.838 % |
2642.82/2643.94 c | 576156 | 98943 638561 1874771 | 2147483647 565158 348 | 29.838 % |
2670.61/2671.71 c | 580145 | 98941 638561 1874771 | 2147483647 569144 348 | 29.840 % |
2700.29/2701.40 c | 584537 | 98940 638561 1874771 | 2147483647 573535 349 | 29.841 % |
2737.68/2738.89 c | 589361 | 98940 638561 1874771 | 2147483647 578359 351 | 29.841 % |
2775.76/2777.00 c | 594666 | 98940 638561 1874771 | 2147483647 583663 353 | 29.859 % |
2776.46/2777.67 c | 594767 | 98939 638561 1874771 | 2147483647 583763 353 | 29.871 % |
2777.76/2778.92 c | 594879 | 98939 638561 1874771 | 2147483647 583875 353 | 29.871 % |
2778.56/2779.75 c | 595002 | 98939 638561 1874771 | 2147483647 583998 353 | 29.871 % |
2779.36/2780.58 c | 595135 | 98939 638561 1874771 | 2147483647 584131 353 | 29.871 % |
2780.26/2781.43 c | 595281 | 98939 638561 1874771 | 2147483647 584277 353 | 29.871 % |
2781.86/2783.01 c | 595445 | 98939 638561 1874771 | 2147483647 584441 353 | 29.871 % |
2783.36/2784.53 c | 595625 | 98939 638561 1874771 | 2147483647 584621 353 | 29.871 % |
2784.36/2785.58 c | 595822 | 98939 638561 1874771 | 2147483647 584818 353 | 29.871 % |
2786.06/2787.25 c | 596041 | 98939 638561 1874771 | 2147483647 585037 353 | 29.871 % |
2787.37/2788.53 c | 596274 | 98939 638561 1874771 | 2147483647 585270 353 | 29.871 % |
2789.36/2790.52 c | 596533 | 98939 638561 1874771 | 2147483647 585529 353 | 29.871 % |
2791.76/2792.96 c | 596815 | 98939 638561 1874771 | 2147483647 585811 353 | 29.871 % |
2793.16/2794.40 c | 597128 | 98939 638561 1874771 | 2147483647 586123 353 | 29.872 % |
2795.45/2796.66 c | 597467 | 98939 638561 1874771 | 2147483647 586462 353 | 29.872 % |
2798.46/2799.63 c | 597839 | 98939 638561 1874771 | 2147483647 586834 353 | 29.872 % |
2799.76/2800.96 c | 598250 | 98939 638561 1874771 | 2147483647 587245 353 | 29.872 % |
2801.56/2802.73 c | 598701 | 98939 638561 1874771 | 2147483647 587696 353 | 29.872 % |
2805.55/2806.78 c | 599197 | 98930 638561 1874771 | 2147483647 588191 353 | 29.905 % |
2808.05/2809.23 c | 599740 | 98930 638561 1874771 | 2147483647 588734 353 | 29.905 % |
2814.55/2815.75 c | 600339 | 98930 638561 1874771 | 2147483647 589333 353 | 29.905 % |
2819.84/2821.04 c | 600994 | 98930 638561 1874771 | 2147483647 589988 354 | 29.905 % |
2824.25/2825.42 c | 601717 | 98930 638561 1874771 | 2147483647 590711 354 | 29.905 % |
2830.15/2831.37 c | 602509 | 98930 638561 1874771 | 2147483647 591503 354 | 29.905 % |
2835.34/2836.51 c | 603381 | 98930 638561 1874771 | 2147483647 592375 354 | 29.905 % |
2841.64/2842.83 c | 604339 | 98927 638561 1874771 | 2147483647 593332 354 | 29.910 % |
2850.94/2852.17 c | 605392 | 98927 638561 1874771 | 2147483647 594384 354 | 29.916 % |
2858.33/2859.56 c | 606556 | 98927 638561 1874771 | 2147483647 595548 354 | 29.916 % |
2870.73/2871.94 c | 607834 | 98927 638561 1874771 | 2147483647 596826 354 | 29.916 % |
2879.52/2880.78 c | 609236 | 98927 638561 1874771 | 2147483647 598228 355 | 29.916 % |
2890.73/2891.94 c | 610777 | 98927 638561 1874771 | 2147483647 599769 355 | 29.916 % |
2898.52/2899.73 c | 612471 | 98927 638561 1874771 | 2147483647 601463 355 | 29.916 % |
2914.22/2915.44 c | 614335 | 98926 638561 1874771 | 2147483647 603325 355 | 29.945 % |
2930.81/2932.09 c | 616385 | 98925 638561 1874771 | 2147483647 605373 355 | 29.974 % |
2953.01/2954.20 c | 618638 | 98924 638561 1874771 | 2147483647 607623 355 | 29.986 % |
2967.10/2968.35 c | 621117 | 98922 638561 1874771 | 2147483647 610100 356 | 30.014 % |
2985.59/2986.82 c | 623842 | 98922 638561 1874771 | 2147483647 612825 356 | 30.014 % |
3001.79/3003.03 c | 626840 | 98921 638561 1874771 | 2147483647 615822 356 | 30.015 % |
3029.68/3030.93 c | 630139 | 98920 638561 1874771 | 2147483647 619119 357 | 30.021 % |
3062.16/3063.43 c | 633766 | 98918 638561 1874771 | 2147483647 622744 358 | 30.023 % |
3094.35/3095.64 c | 637757 | 98918 638561 1874771 | 2147483647 626735 358 | 30.023 % |
3141.24/3142.59 c | 642142 | 96911 606644 1785826 | 2147483647 630212 359 | 30.116 % |
3172.63/3173.93 c | 646967 | 96905 606644 1785826 | 2147483647 635036 361 | 30.139 % |
3197.82/3199.10 c | 652276 | 96905 606644 1785826 | 2147483647 640345 361 | 30.139 % |
3260.19/3261.51 c | 658111 | 96904 606644 1785826 | 2147483647 646179 363 | 30.247 % |
3261.09/3262.47 c | 658215 | 96904 606644 1785826 | 2147483647 646283 363 | 30.247 % |
3262.29/3263.60 c | 658325 | 96904 606644 1785826 | 2147483647 646393 363 | 30.247 % |
3263.39/3264.74 c | 658446 | 96904 606644 1785826 | 2147483647 646514 363 | 30.247 % |
3263.89/3265.28 c | 658579 | 96904 606644 1785826 | 2147483647 646647 363 | 30.247 % |
3264.59/3265.95 c | 658727 | 96904 606644 1785826 | 2147483647 646795 363 | 30.247 % |
3265.39/3266.70 c | 658887 | 96904 606644 1785826 | 2147483647 646955 363 | 30.247 % |
3266.99/3268.39 c | 659063 | 96903 606644 1785826 | 2147483647 647130 363 | 30.252 % |
3269.19/3270.54 c | 659260 | 96903 606644 1785826 | 2147483647 647327 363 | 30.252 % |
3271.39/3272.72 c | 659476 | 96903 606644 1785826 | 2147483647 647543 363 | 30.252 % |
3273.69/3275.05 c | 659711 | 96903 606644 1785826 | 2147483647 647778 363 | 30.252 % |
3275.78/3277.18 c | 659969 | 96903 606644 1785826 | 2147483647 648036 363 | 30.252 % |
3278.98/3280.37 c | 660250 | 96903 606644 1785826 | 2147483647 648316 363 | 30.252 % |
3280.28/3281.70 c | 660559 | 96903 606644 1785826 | 2147483647 648625 363 | 30.252 % |
3281.88/3283.27 c | 660905 | 96903 606644 1785826 | 2147483647 648970 363 | 30.258 % |
3285.89/3287.27 c | 661278 | 96903 606644 1785826 | 2147483647 649343 363 | 30.258 % |
3289.98/3291.33 c | 661689 | 96903 606644 1785826 | 2147483647 649754 363 | 30.258 % |
3293.08/3294.42 c | 662138 | 96903 606644 1785826 | 2147483647 650203 363 | 30.258 % |
3297.38/3298.79 c | 662636 | 96903 606644 1785826 | 2147483647 650701 364 | 30.258 % |
3303.37/3304.79 c | 663178 | 96903 606644 1785826 | 2147483647 651243 364 | 30.258 % |
3308.58/3309.95 c | 663778 | 96903 606644 1785826 | 2147483647 651843 364 | 30.258 % |
3311.07/3312.41 c | 664433 | 96903 606644 1785826 | 2147483647 652498 364 | 30.258 % |
3319.67/3321.03 c | 665154 | 96903 606644 1785826 | 2147483647 653219 365 | 30.258 % |
3325.76/3327.11 c | 665947 | 96903 606644 1785826 | 2147483647 654012 365 | 30.258 % |
3335.07/3336.49 c | 666819 | 96903 606644 1785826 | 2147483647 654884 365 | 30.258 % |
3341.66/3343.04 c | 667778 | 96903 606644 1785826 | 2147483647 655843 365 | 30.258 % |
3352.46/3353.80 c | 668832 | 96903 606644 1785826 | 2147483647 656897 366 | 30.258 % |
3361.55/3362.96 c | 669993 | 96901 606644 1785826 | 2147483647 658056 366 | 30.336 % |
3368.95/3370.40 c | 671267 | 96901 606644 1785826 | 2147483647 659330 366 | 30.336 % |
3380.95/3382.37 c | 672668 | 96901 606644 1785826 | 2147483647 660731 367 | 30.336 % |
3397.64/3399.03 c | 674208 | 96901 606644 1785826 | 2147483647 662269 367 | 30.347 % |
3413.74/3415.15 c | 675906 | 96901 606644 1785826 | 2147483647 663967 367 | 30.347 % |
3426.33/3427.74 c | 677769 | 96900 606644 1785826 | 2147483647 665829 367 | 30.348 % |
3445.13/3446.55 c | 679818 | 96900 606644 1785826 | 2147483647 667877 367 | 30.378 % |
3471.92/3473.32 c | 682072 | 96899 606644 1785826 | 2147483647 670130 367 | 30.379 % |
3496.81/3498.22 c | 684555 | 96899 606644 1785826 | 2147483647 672613 369 | 30.379 % |
3521.60/3523.05 c | 687280 | 96897 606644 1785826 | 2147483647 675335 369 | 30.435 % |
3544.19/3545.65 c | 690278 | 96897 606644 1785826 | 2147483647 678333 370 | 30.435 % |
3568.47/3569.99 c | 693574 | 96897 606644 1785826 | 2147483647 681629 371 | 30.435 % |
3592.36/3593.81 c | 697199 | 96895 606644 1785826 | 2147483647 685252 371 | 30.469 % |
3620.15/3621.60 c | 701189 | 96890 606644 1785826 | 2147483647 689236 371 | 30.563 % |
3655.64/3657.15 c | 705574 | 96889 606644 1785826 | 2147483647 693620 372 | 30.564 % |
3695.23/3696.70 c | 710397 | 96889 606644 1785826 | 2147483647 698443 374 | 30.564 % |
3744.52/3746.03 c | 715702 | 96889 606644 1785826 | 2147483647 703746 375 | 30.572 % |
3793.10/3794.69 c | 721539 | 96886 606644 1785826 | 2147483647 709578 377 | 30.580 % |
3868.76/3870.32 c | 727966 | 96261 600646 1770099 | 2147483647 714556 378 | 30.585 % |
3869.86/3871.47 c | 728067 | 96261 600646 1770099 | 2147483647 714657 378 | 30.585 % |
3871.76/3873.39 c | 728179 | 96261 600646 1770099 | 2147483647 714769 378 | 30.585 % |
3873.07/3874.66 c | 728301 | 96261 600646 1770099 | 2147483647 714891 378 | 30.585 % |
3874.37/3875.94 c | 728436 | 96261 600646 1770099 | 2147483647 715026 379 | 30.585 % |
3876.37/3877.97 c | 728583 | 96258 600646 1770099 | 2147483647 715172 379 | 30.590 % |
3878.07/3879.66 c | 728743 | 96258 600646 1770099 | 2147483647 715332 379 | 30.590 % |
3879.17/3880.76 c | 728920 | 96258 600646 1770099 | 2147483647 715509 379 | 30.590 % |
3880.37/3881.91 c | 729116 | 96256 600646 1770099 | 2147483647 715703 379 | 30.591 % |
3883.16/3884.77 c | 729328 | 96256 600646 1770099 | 2147483647 715915 379 | 30.591 % |
3885.16/3886.75 c | 729561 | 96256 600646 1770099 | 2147483647 716148 379 | 30.591 % |
3887.56/3889.15 c | 729818 | 96256 600646 1770099 | 2147483647 716405 379 | 30.591 % |
3888.46/3890.06 c | 730108 | 96256 600646 1770099 | 2147483647 716695 379 | 30.591 % |
3891.96/3893.55 c | 730418 | 96255 600646 1770099 | 2147483647 717004 378 | 30.595 % |
3894.96/3896.51 c | 730757 | 96255 600646 1770099 | 2147483647 717342 379 | 30.596 % |
3897.66/3899.25 c | 731135 | 96251 600646 1770099 | 2147483647 717719 379 | 30.607 % |
3902.15/3903.79 c | 731549 | 96251 600646 1770099 | 2147483647 718133 378 | 30.607 % |
3905.56/3907.17 c | 732000 | 96251 600646 1770099 | 2147483647 718584 379 | 30.607 % |
3907.15/3908.74 c | 732493 | 96251 600646 1770099 | 2147483647 719077 378 | 30.607 % |
3911.45/3913.08 c | 733036 | 96251 600646 1770099 | 2147483647 719620 378 | 30.607 % |
3915.55/3917.11 c | 733633 | 96251 600646 1770099 | 2147483647 720217 378 | 30.607 % |
3920.95/3922.52 c | 734289 | 96251 600646 1770099 | 2147483647 720873 379 | 30.607 % |
3924.64/3926.26 c | 735011 | 96251 600646 1770099 | 2147483647 721595 378 | 30.607 % |
3931.15/3932.76 c | 735803 | 96251 600646 1770099 | 2147483647 722387 378 | 30.607 % |
3942.04/3943.67 c | 736675 | 96251 600646 1770099 | 2147483647 723259 379 | 30.607 % |
3954.63/3956.26 c | 737635 | 96251 600646 1770099 | 2147483647 724219 379 | 30.607 % |
3961.64/3963.20 c | 738691 | 96251 600646 1770099 | 2147483647 725275 379 | 30.607 % |
3966.03/3967.68 c | 739850 | 96251 600646 1770099 | 2147483647 726433 379 | 30.608 % |
3979.34/3980.92 c | 741123 | 96251 600646 1770099 | 2147483647 727706 379 | 30.608 % |
3991.42/3993.07 c | 742523 | 96251 600646 1770099 | 2147483647 729106 379 | 30.608 % |
4000.41/4002.03 c | 744063 | 96251 600646 1770099 | 2147483647 730646 379 | 30.608 % |
4013.71/4015.36 c | 745758 | 96251 600646 1770099 | 2147483647 732341 380 | 30.608 % |
4034.31/4035.93 c | 747623 | 96251 600646 1770099 | 2147483647 734206 380 | 30.608 % |
4047.10/4048.74 c | 749673 | 96251 600646 1770099 | 2147483647 736255 380 | 30.608 % |
4063.40/4065.04 c | 751927 | 96251 600646 1770099 | 2147483647 738509 381 | 30.608 % |
4084.90/4086.57 c | 754406 | 96250 600646 1770099 | 2147483647 740987 381 | 30.614 % |
4098.49/4100.18 c | 757131 | 96246 600646 1770099 | 2147483647 743712 381 | 30.614 % |
4128.57/4130.24 c | 760130 | 96243 600646 1770099 | 2147483647 746709 381 | 30.624 % |
4159.96/4161.64 c | 763427 | 96243 600646 1770099 | 2147483647 750006 383 | 30.624 % |
4195.35/4197.06 c | 767053 | 96240 600646 1770099 | 2147483647 753630 383 | 30.634 % |
4226.24/4227.99 c | 771040 | 96239 600646 1770099 | 2147483647 757616 384 | 30.639 % |
4279.53/4281.29 c | 775427 | 96233 600646 1770099 | 2147483647 762002 384 | 30.697 % |
4329.10/4330.83 c | 780250 | 96228 600646 1770099 | 2147483647 766820 384 | 30.705 % |
4360.29/4362.09 c | 785556 | 96227 600646 1770099 | 2147483647 772125 384 | 30.706 % |
4409.98/4411.77 c | 791394 | 96226 600646 1770099 | 2147483647 777961 385 | 30.707 % |
4426.17/4427.93 c | 797815 | 96226 600646 1770099 | 2147483647 784382 384 | 30.707 % |
4476.25/4478.01 c | 804880 | 96216 600646 1770099 | 2147483647 791439 383 | 30.738 % |
4476.95/4478.72 c | 804981 | 96216 600646 1770099 | 2147483647 791540 383 | 30.738 % |
4477.95/4479.74 c | 805097 | 96216 600646 1770099 | 2147483647 791656 383 | 30.738 % |
4478.55/4480.31 c | 805220 | 96216 600646 1770099 | 2147483647 791779 383 | 30.738 % |
4479.95/4481.79 c | 805354 | 96216 600646 1770099 | 2147483647 791913 383 | 30.738 % |
4481.34/4483.13 c | 805502 | 96216 600646 1770099 | 2147483647 792061 383 | 30.738 % |
4482.85/4484.66 c | 805662 | 96216 600646 1770099 | 2147483647 792221 383 | 30.738 % |
4484.94/4486.76 c | 805838 | 96216 600646 1770099 | 2147483647 792397 383 | 30.738 % |
4486.44/4488.27 c | 806033 | 96216 600646 1770099 | 2147483647 792592 383 | 30.738 % |
4487.94/4489.72 c | 806245 | 96216 600646 1770099 | 2147483647 792804 383 | 30.738 % |
4491.24/4493.09 c | 806482 | 96215 600646 1770099 | 2147483647 793040 384 | 30.739 % |
4492.95/4494.71 c | 806742 | 96215 600646 1770099 | 2147483647 793299 384 | 30.740 % |
4494.04/4495.83 c | 807023 | 96214 600646 1770099 | 2147483647 793580 383 | 30.740 % |
4495.34/4497.10 c | 807332 | 96197 600646 1770099 | 2147483647 793888 383 | 31.327 % |
4499.35/4501.19 c | 807674 | 96197 600646 1770099 | 2147483647 794230 383 | 31.327 % |
4502.54/4504.38 c | 808046 | 96197 600646 1770099 | 2147483647 794602 383 | 31.327 % |
4506.74/4508.53 c | 808455 | 96197 600646 1770099 | 2147483647 795011 384 | 31.327 % |
4511.64/4513.47 c | 808904 | 96197 600646 1770099 | 2147483647 795460 384 | 31.327 % |
4516.63/4518.42 c | 809398 | 96197 600646 1770099 | 2147483647 795953 384 | 31.329 % |
4520.63/4522.46 c | 809942 | 96197 600646 1770099 | 2147483647 796497 384 | 31.329 % |
4525.03/4526.80 c | 810540 | 96197 600646 1770099 | 2147483647 797095 384 | 31.329 % |
4529.33/4531.11 c | 811195 | 96197 600646 1770099 | 2147483647 797750 384 | 31.329 % |
4532.03/4533.80 c | 811916 | 96197 600646 1770099 | 2147483647 798471 383 | 31.329 % |
4538.62/4540.48 c | 812709 | 96194 600646 1770099 | 2147483647 799260 383 | 31.342 % |
4542.72/4544.52 c | 813580 | 96194 600646 1770099 | 2147483647 800131 383 | 31.342 % |
4550.82/4552.66 c | 814538 | 96193 600646 1770099 | 2147483647 801088 384 | 31.343 % |
4564.52/4566.38 c | 815592 | 96193 600646 1770099 | 2147483647 802142 384 | 31.343 % |
4571.02/4572.83 c | 816752 | 96192 600646 1770099 | 2147483647 803300 384 | 31.345 % |
4578.71/4580.57 c | 818025 | 96177 600646 1770099 | 2147483647 804571 384 | 31.360 % |
4596.11/4597.98 c | 819425 | 96177 600646 1770099 | 2147483647 805971 384 | 31.360 % |
4610.20/4612.01 c | 820965 | 96177 600646 1770099 | 2147483647 807511 384 | 31.360 % |
4627.59/4629.45 c | 822664 | 96177 600646 1770099 | 2147483647 809210 384 | 31.360 % |
4642.49/4644.39 c | 824528 | 95185 587592 1734131 | 2147483647 810287 384 | 31.361 % |
4666.38/4668.29 c | 826580 | 95184 587592 1734131 | 2147483647 812338 384 | 31.366 % |
4689.17/4691.02 c | 828836 | 95184 587592 1734131 | 2147483647 814593 385 | 31.367 % |
4716.87/4718.77 c | 831316 | 95182 587592 1734131 | 2147483647 817072 385 | 31.373 % |
4742.55/4744.44 c | 834042 | 95182 587592 1734131 | 2147483647 819798 386 | 31.373 % |
4768.75/4770.62 c | 837040 | 95182 587592 1734131 | 2147483647 822795 386 | 31.404 % |
4802.43/4804.38 c | 840339 | 95182 587592 1734131 | 2147483647 826093 387 | 31.485 % |
4839.42/4841.32 c | 843966 | 95180 587592 1734131 | 2147483647 829718 387 | 31.491 % |
4866.91/4868.89 c | 847953 | 95180 587592 1734131 | 2147483647 833705 388 | 31.491 % |
4901.30/4903.22 c | 852341 | 95175 587592 1734131 | 2147483647 838091 388 | 31.537 % |
4925.89/4927.81 c | 857168 | 95165 587592 1734131 | 2147483647 842913 387 | 31.636 % |
4971.77/4973.75 c | 862477 | 95165 587592 1734131 | 2147483647 848222 388 | 31.636 % |
4993.66/4995.66 c | 868312 | 95164 587592 1734131 | 2147483647 854056 389 | 31.645 % |
5045.24/5047.23 c | 874732 | 95162 587592 1734131 | 2147483647 860474 392 | 31.656 % |
5123.52/5125.50 c | 881791 | 95162 587592 1734131 | 2147483647 867533 393 | 31.656 % |
5211.08/5213.18 c | 889560 | 95159 587592 1734131 | 2147483647 875297 394 | 31.700 % |
5212.79/5214.81 c | 889663 | 95159 587592 1734131 | 2147483647 875400 394 | 31.700 % |
5214.19/5216.26 c | 889773 | 95159 587592 1734131 | 2147483647 875510 394 | 31.700 % |
5215.59/5217.60 c | 889895 | 95159 587592 1734131 | 2147483647 875632 394 | 31.700 % |
5216.79/5218.87 c | 890029 | 95159 587592 1734131 | 2147483647 875766 394 | 31.700 % |
5218.99/5221.05 c | 890176 | 95159 587592 1734131 | 2147483647 875913 394 | 31.700 % |
5220.48/5222.56 c | 890336 | 95159 587592 1734131 | 2147483647 876073 394 | 31.700 % |
5221.89/5223.97 c | 890516 | 95159 587592 1734131 | 2147483647 876253 394 | 31.700 % |
5223.69/5225.75 c | 890711 | 95159 587592 1734131 | 2147483647 876448 394 | 31.700 % |
5225.09/5227.16 c | 890923 | 95159 587592 1734131 | 2147483647 876660 394 | 31.700 % |
5226.29/5228.39 c | 891157 | 95159 587592 1734131 | 2147483647 876894 394 | 31.700 % |
5228.98/5231.08 c | 891415 | 95159 587592 1734131 | 2147483647 877152 394 | 31.700 % |
5232.38/5234.49 c | 891701 | 95159 587592 1734131 | 2147483647 877438 394 | 31.700 % |
5237.68/5239.72 c | 892014 | 95159 587592 1734131 | 2147483647 877751 394 | 31.700 % |
5240.48/5242.60 c | 892355 | 95157 587592 1734131 | 2147483647 878091 394 | 31.704 % |
5245.38/5247.48 c | 892727 | 95157 587592 1734131 | 2147483647 878463 394 | 31.704 % |
5248.57/5250.69 c | 893141 | 95157 587592 1734131 | 2147483647 878877 394 | 31.704 % |
5251.67/5253.71 c | 893590 | 95157 587592 1734131 | 2147483647 879325 394 | 31.705 % |
5257.57/5259.60 c | 894091 | 95157 587592 1734131 | 2147483647 879826 395 | 31.705 % |
5264.37/5266.44 c | 894634 | 95157 587592 1734131 | 2147483647 880369 395 | 31.705 % |
5271.06/5273.12 c | 895234 | 95157 587592 1734131 | 2147483647 880969 395 | 31.705 % |
5277.76/5279.89 c | 895892 | 95157 587592 1734131 | 2147483647 881627 395 | 31.705 % |
5285.57/5287.60 c | 896619 | 95157 587592 1734131 | 2147483647 882354 395 | 31.705 % |
5290.56/5292.63 c | 897424 | 95156 587592 1734131 | 2147483647 883158 395 | 31.705 % |
5300.15/5302.25 c | 898295 | 95156 587592 1734131 | 2147483647 884029 395 | 31.705 % |
5312.66/5314.79 c | 899253 | 95156 587592 1734131 | 2147483647 884987 395 | 31.705 % |
5323.55/5325.69 c | 900307 | 95156 587592 1734131 | 2147483647 886041 395 | 31.705 % |
5334.34/5336.48 c | 901468 | 95156 587592 1734131 | 2147483647 887202 395 | 31.705 % |
5346.94/5349.02 c | 902741 | 95156 587592 1734131 | 2147483647 888475 395 | 31.705 % |
5360.73/5362.83 c | 904141 | 95156 587592 1734131 | 2147483647 889875 395 | 31.705 % |
5368.63/5370.75 c | 905681 | 95156 587592 1734131 | 2147483647 891415 395 | 31.705 % |
5386.93/5389.03 c | 907383 | 95156 587592 1734131 | 2147483647 893117 395 | 31.705 % |
5397.73/5399.82 c | 909246 | 95148 587592 1734131 | 2147483647 894979 395 | 31.785 % |
5420.42/5422.59 c | 911297 | 95147 587592 1734131 | 2147483647 897029 396 | 31.785 % |
5441.11/5443.23 c | 913560 | 95146 587592 1734131 | 2147483647 899291 396 | 31.790 % |
5468.80/5470.96 c | 916038 | 95143 587592 1734131 | 2147483647 901765 396 | 31.816 % |
5505.08/5507.20 c | 918765 | 95142 587592 1734131 | 2147483647 904491 397 | 31.885 % |
5536.57/5538.76 c | 921765 | 95139 587592 1734131 | 2147483647 907489 397 | 31.890 % |
5574.77/5576.99 c | 925066 | 95138 587592 1734131 | 2147483647 910789 397 | 31.891 % |
5615.15/5617.36 c | 928692 | 95137 587592 1734131 | 2147483647 914414 398 | 31.891 % |
5661.53/5663.72 c | 932682 | 95137 587592 1734131 | 2147483647 918404 398 | 31.891 % |
5711.62/5713.85 c | 937069 | 95137 587592 1734131 | 2147483647 922791 399 | 31.891 % |
5750.10/5752.37 c | 941895 | 94447 581631 1718663 | 2147483647 926979 400 | 31.893 % |
5803.18/5805.46 c | 947200 | 94446 581631 1718663 | 2147483647 932283 401 | 31.894 % |
5846.47/5848.71 c | 953035 | 94438 581631 1718663 | 2147483647 938110 400 | 31.899 % |
5891.95/5894.24 c | 959456 | 94437 581631 1718663 | 2147483647 944529 400 | 31.901 % |
5958.12/5960.46 c | 966515 | 94436 581631 1718663 | 2147483647 951587 401 | 31.903 % |
6045.90/6048.23 c | 974283 | 94433 581631 1718663 | 2147483647 959349 401 | 31.917 % |
6143.16/6145.53 c | 982825 | 94431 581631 1718663 | 2147483647 967889 402 | 31.926 % |
6143.46/6145.86 c | 982925 | 94431 581631 1718663 | 2147483647 967989 402 | 31.926 % |
6143.86/6146.24 c | 983035 | 94431 581631 1718663 | 2147483647 968099 402 | 31.926 % |
6144.36/6146.75 c | 983158 | 94431 581631 1718663 | 2147483647 968222 402 | 31.926 % |
6145.56/6147.96 c | 983291 | 94431 581631 1718663 | 2147483647 968355 402 | 31.926 % |
6147.46/6149.84 c | 983440 | 94431 581631 1718663 | 2147483647 968504 402 | 31.926 % |
6149.96/6152.39 c | 983600 | 94431 581631 1718663 | 2147483647 968664 402 | 31.926 % |
6152.45/6154.85 c | 983777 | 94431 581631 1718663 | 2147483647 968841 402 | 31.926 % |
6154.85/6157.25 c | 983971 | 94431 581631 1718663 | 2147483647 969035 402 | 31.926 % |
6157.06/6159.42 c | 984183 | 94431 581631 1718663 | 2147483647 969247 402 | 31.926 % |
6159.86/6162.21 c | 984419 | 94429 581631 1718663 | 2147483647 969482 402 | 31.963 % |
6162.65/6165.10 c | 984682 | 94429 581631 1718663 | 2147483647 969745 402 | 31.963 % |
6166.05/6168.44 c | 984965 | 94428 581631 1718663 | 2147483647 970027 402 | 31.963 % |
6170.55/6172.91 c | 985274 | 94428 581631 1718663 | 2147483647 970336 402 | 31.963 % |
6173.64/6176.02 c | 985614 | 94428 581631 1718663 | 2147483647 970676 402 | 31.963 % |
6177.36/6179.76 c | 985986 | 94428 581631 1718663 | 2147483647 971048 402 | 31.963 % |
6181.65/6184.10 c | 986397 | 94428 581631 1718663 | 2147483647 971459 402 | 31.963 % |
6183.55/6185.98 c | 986849 | 94428 581631 1718663 | 2147483647 971911 402 | 31.963 % |
6188.04/6190.42 c | 987343 | 94428 581631 1718663 | 2147483647 972405 402 | 31.963 % |
6194.74/6197.17 c | 987885 | 94428 581631 1718663 | 2147483647 972947 402 | 31.963 % |
6205.14/6207.50 c | 988481 | 94428 581631 1718663 | 2147483647 973543 402 | 31.963 % |
6214.74/6217.18 c | 989136 | 94428 581631 1718663 | 2147483647 974198 402 | 31.963 % |
6223.33/6225.74 c | 989859 | 94428 581631 1718663 | 2147483647 974921 402 | 31.963 % |
6231.23/6233.68 c | 990652 | 94428 581631 1718663 | 2147483647 975714 402 | 31.963 % |
6243.13/6245.58 c | 991523 | 94428 581631 1718663 | 2147483647 976585 402 | 31.963 % |
6252.13/6254.56 c | 992483 | 94428 581631 1718663 | 2147483647 977545 402 | 31.963 % |
6265.72/6268.19 c | 993536 | 94427 581631 1718663 | 2147483647 978597 403 | 31.966 % |
6281.91/6284.34 c | 994695 | 94427 581631 1718663 | 2147483647 979756 403 | 31.966 % |
6301.50/6304.00 c | 995971 | 94427 581631 1718663 | 2147483647 981032 403 | 31.966 % |
6318.40/6320.80 c | 997375 | 94427 581631 1718663 | 2147483647 982436 403 | 31.966 % |
6328.69/6331.14 c | 998918 | 94427 581631 1718663 | 2147483647 983979 404 | 31.966 % |
6348.59/6351.00 c | 1000614 | 94423 581631 1718663 | 2147483647 985674 404 | 31.971 % |
6376.68/6379.18 c | 1002477 | 94423 581631 1718663 | 2147483647 987536 404 | 31.989 % |
6388.77/6391.29 c | 1004527 | 94423 581631 1718663 | 2147483647 989586 404 | 31.989 % |
6413.27/6415.73 c | 1006783 | 94423 581631 1718663 | 2147483647 991842 404 | 31.989 % |
6436.36/6438.89 c | 1009264 | 94423 581631 1718663 | 2147483647 994323 404 | 31.989 % |
6463.35/6465.89 c | 1011990 | 94423 581631 1718663 | 2147483647 997048 404 | 31.989 % |
6488.84/6491.34 c | 1014990 | 94422 581631 1718663 | 2147483647 1000046 404 | 31.991 % |
6523.22/6525.78 c | 1018291 | 94421 581631 1718663 | 2147483647 1003346 404 | 31.992 % |
6562.01/6564.54 c | 1021919 | 94418 581631 1718663 | 2147483647 1006969 405 | 32.023 % |
6602.30/6604.82 c | 1025906 | 94418 581631 1718663 | 2147483647 1010956 406 | 32.023 % |
6641.08/6643.68 c | 1030300 | 94415 581631 1718663 | 2147483647 1015348 406 | 32.034 % |
6667.27/6669.82 c | 1035124 | 94414 581631 1718663 | 2147483647 1020170 405 | 32.036 % |
6723.75/6726.33 c | 1040443 | 94413 581631 1718663 | 2147483647 1025488 405 | 32.036 % |
6812.62/6815.21 c | 1046279 | 94413 581631 1718663 | 2147483647 1031323 406 | 32.038 % |
6879.60/6882.28 c | 1052697 | 94412 581631 1718663 | 2147483647 1037740 407 | 32.039 % |
6950.07/6952.78 c | 1059760 | 94408 581631 1718663 | 2147483647 1044797 407 | 32.509 % |
7027.65/7030.35 c | 1067524 | 93591 573028 1695439 | 2147483647 1021924 408 | 32.511 % |
7124.82/7127.59 c | 1076065 | 93591 573028 1695439 | 2147483647 1030464 408 | 32.512 % |
7228.17/7230.93 c | 1085460 | 93581 573028 1695439 | 2147483647 1039849 409 | 32.519 % |
7230.27/7233.08 c | 1085560 | 93581 573028 1695439 | 2147483647 1039949 409 | 32.519 % |
7231.97/7234.78 c | 1085670 | 93581 573028 1695439 | 2147483647 1040059 409 | 32.519 % |
7233.47/7236.26 c | 1085795 | 93581 573028 1695439 | 2147483647 1040184 409 | 32.519 % |
7235.37/7238.17 c | 1085931 | 93581 573028 1695439 | 2147483647 1040320 409 | 32.519 % |
7236.47/7239.25 c | 1086077 | 93581 573028 1695439 | 2147483647 1040466 409 | 32.519 % |
7238.17/7240.93 c | 1086238 | 93581 573028 1695439 | 2147483647 1040627 409 | 32.519 % |
7239.77/7242.51 c | 1086414 | 93581 573028 1695439 | 2147483647 1040803 409 | 32.519 % |
7242.07/7244.89 c | 1086612 | 93581 573028 1695439 | 2147483647 1041001 409 | 32.519 % |
7246.17/7248.91 c | 1086827 | 93581 573028 1695439 | 2147483647 1041216 409 | 32.519 % |
7249.66/7252.42 c | 1087061 | 93581 573028 1695439 | 2147483647 1041450 409 | 32.519 % |
7251.46/7254.24 c | 1087318 | 93581 573028 1695439 | 2147483647 1041707 409 | 32.519 % |
7253.36/7256.12 c | 1087604 | 93581 573028 1695439 | 2147483647 1041993 409 | 32.519 % |
7255.76/7258.51 c | 1087913 | 93581 573028 1695439 | 2147483647 1042302 409 | 32.519 % |
7259.76/7262.58 c | 1088252 | 93581 573028 1695439 | 2147483647 1042641 409 | 32.519 % |
7263.86/7266.61 c | 1088624 | 93581 573028 1695439 | 2147483647 1043013 409 | 32.519 % |
7266.95/7269.72 c | 1089036 | 93581 573028 1695439 | 2147483647 1043425 409 | 32.519 % |
7268.45/7271.29 c | 1089485 | 93581 573028 1695439 | 2147483647 1043874 409 | 32.519 % |
7270.65/7273.40 c | 1089978 | 93581 573028 1695439 | 2147483647 1044367 409 | 32.519 % |
7273.15/7275.99 c | 1090520 | 93581 573028 1695439 | 2147483647 1044909 409 | 32.519 % |
7283.25/7286.02 c | 1091118 | 93581 573028 1695439 | 2147483647 1045507 409 | 32.519 % |
7291.25/7294.02 c | 1091773 | 93581 573028 1695439 | 2147483647 1046162 409 | 32.519 % |
7299.54/7302.37 c | 1092495 | 93581 573028 1695439 | 2147483647 1046884 409 | 32.519 % |
7302.14/7304.92 c | 1093289 | 93581 573028 1695439 | 2147483647 1047678 409 | 32.519 % |
7306.84/7309.65 c | 1094162 | 93581 573028 1695439 | 2147483647 1048551 409 | 32.519 % |
7322.64/7325.41 c | 1095120 | 93581 573028 1695439 | 2147483647 1049509 410 | 32.519 % |
7334.94/7337.78 c | 1096177 | 93580 573028 1695439 | 2147483647 1050565 410 | 32.519 % |
7340.43/7343.21 c | 1097337 | 93580 573028 1695439 | 2147483647 1051725 410 | 32.519 % |
7362.13/7364.95 c | 1098612 | 93579 573028 1695439 | 2147483647 1052999 410 | 32.520 % |
7384.01/7386.81 c | 1100020 | 93578 573028 1695439 | 2147483647 1054406 410 | 32.532 % |
7405.81/7408.69 c | 1101562 | 93577 573028 1695439 | 2147483647 1055947 410 | 32.534 % |
7432.19/7435.03 c | 1103260 | 93577 573028 1695439 | 2147483647 1057644 410 | 32.547 % |
7460.39/7463.28 c | 1105125 | 93577 573028 1695439 | 2147483647 1059509 410 | 32.547 % |
7486.38/7489.26 c | 1107176 | 93576 573028 1695439 | 2147483647 1061559 410 | 32.548 % |
7519.16/7522.08 c | 1109435 | 93576 573028 1695439 | 2147483647 1063817 410 | 32.548 % |
7554.95/7557.89 c | 1111920 | 93574 573028 1695439 | 2147483647 1066300 410 | 32.553 % |
7579.14/7582.08 c | 1114646 | 93571 573028 1695439 | 2147483647 1069023 410 | 32.555 % |
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1837498-1242874921/watcher-1837498-1242874921 -o /tmp/evaluation-result-1837498-1242874921/solver-1837498-1242874921 -C 10000 -W 12000 -M 1800 SatELiteGTI HOME/instance-1837498-1242874921.cnf
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 10000 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 10030 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 12000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 0.92 0.98 0.94 3/64 17066
/proc/meminfo: memFree=1755320/2055920 swapFree=4179860/4192956
[pid=17066] ppid=17064 vsize=5356 CPUtime=0
/proc/17066/stat : 17066 (SatELiteGTI) S 17064 17066 17029 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 315518700 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 227607634756 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/17066/statm: 1339 237 197 169 0 50 0
[startup+0.015964 s]
/proc/loadavg: 0.92 0.98 0.94 3/64 17066
/proc/meminfo: memFree=1755320/2055920 swapFree=4179860/4192956
[pid=17066] ppid=17064 vsize=5356 CPUtime=0
/proc/17066/stat : 17066 (SatELiteGTI) S 17064 17066 17029 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 315518700 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 227607634756 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/17066/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.101981 s]
/proc/loadavg: 0.92 0.98 0.94 3/64 17066
/proc/meminfo: memFree=1755320/2055920 swapFree=4179860/4192956
[pid=17066] ppid=17064 vsize=5356 CPUtime=0
/proc/17066/stat : 17066 (SatELiteGTI) S 17064 17066 17029 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 315518700 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 227607634756 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/17066/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.302019 s]
/proc/loadavg: 0.92 0.98 0.94 3/64 17066
/proc/meminfo: memFree=1755320/2055920 swapFree=4179860/4192956
[pid=17066] ppid=17064 vsize=5356 CPUtime=0
/proc/17066/stat : 17066 (SatELiteGTI) S 17064 17066 17029 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 315518700 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 227607634756 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/17066/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.701098 s]
/proc/loadavg: 0.92 0.98 0.94 3/64 17066
/proc/meminfo: memFree=1755320/2055920 swapFree=4179860/4192956
[pid=17066] ppid=17064 vsize=5356 CPUtime=0
/proc/17066/stat : 17066 (SatELiteGTI) S 17064 17066 17029 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 315518700 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 227607634756 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/17066/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+1.50226 s]
/proc/loadavg: 0.92 0.98 0.94 2/66 17071
/proc/meminfo: memFree=1668108/2055920 swapFree=4179860/4192956
[pid=17066] ppid=17064 vsize=5356 CPUtime=0
/proc/17066/stat : 17066 (SatELiteGTI) S 17064 17066 17029 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 315518700 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 227607634756 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/17066/statm: 1339 237 197 169 0 50 0
[pid=17070] ppid=17066 vsize=126360 CPUtime=1.48
/proc/17070/stat : 17070 (SatELite_releas) R 17066 17066 17029 0 -1 4194304 29989 0 0 0 133 15 0 0 25 0 1 0 315518700 129392640 29807 1992294400 134512640 135223648 4294956128 18446744073709551615 134546390 0 0 4096 3 0 0 0 17 1 0 0
/proc/17070/statm: 31590 29807 70 173 0 31415 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 131716
[startup+3.10158 s]
/proc/loadavg: 0.93 0.98 0.94 2/66 17071
/proc/meminfo: memFree=1626592/2055920 swapFree=4179860/4192956
[pid=17066] ppid=17064 vsize=5356 CPUtime=0
/proc/17066/stat : 17066 (SatELiteGTI) S 17064 17066 17029 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 315518700 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 227607634756 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/17066/statm: 1339 237 197 169 0 50 0
[pid=17070] ppid=17066 vsize=147468 CPUtime=3.09
/proc/17070/stat : 17070 (SatELite_releas) R 17066 17066 17029 0 -1 4194304 38564 0 0 0 286 23 0 0 25 0 1 0 315518700 151007232 35031 1992294400 134512640 135223648 4294956128 18446744073709551615 134719062 0 0 4096 3 0 0 0 17 1 0 0
/proc/17070/statm: 36867 35031 76 173 0 36692 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 152824
[startup+6.30221 s]
/proc/loadavg: 0.93 0.98 0.94 2/66 17071
/proc/meminfo: memFree=1593440/2055920 swapFree=4179860/4192956
[pid=17066] ppid=17064 vsize=5356 CPUtime=0
/proc/17066/stat : 17066 (SatELiteGTI) S 17064 17066 17029 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 315518700 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 227607634756 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/17066/statm: 1339 237 197 169 0 50 0
[pid=17070] ppid=17066 vsize=155564 CPUtime=6.28
/proc/17070/stat : 17070 (SatELite_releas) R 17066 17066 17029 0 -1 4194304 43849 0 0 0 600 28 0 0 25 0 1 0 315518700 159297536 36369 1992294400 134512640 135223648 4294956128 18446744073709551615 134586632 0 0 4096 3 0 0 0 17 1 0 0
/proc/17070/statm: 38891 36369 76 173 0 38716 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 160920
[startup+12.7015 s]
/proc/loadavg: 0.94 0.98 0.94 2/66 17072
/proc/meminfo: memFree=1675624/2055920 swapFree=4179860/4192956
[pid=17066] ppid=17064 vsize=5356 CPUtime=10.78
/proc/17066/stat : 17066 (SatELiteGTI) S 17064 17066 17029 0 -1 4194304 336 49622 0 0 0 0 1036 42 16 0 1 0 315518700 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 227607634756 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17066/statm: 1339 239 197 169 0 50 0
[pid=17072] ppid=17066 vsize=53868 CPUtime=1.89
/proc/17072/stat : 17072 (minisat_static) R 17066 17066 17029 0 -1 4194304 12705 0 0 0 181 8 0 0 25 0 1 0 315519779 55160832 12593 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/17072/statm: 13467 12593 77 171 0 13294 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 59224
[startup+25.502 s]
/proc/loadavg: 0.95 0.98 0.94 2/66 17072
/proc/meminfo: memFree=1673640/2055920 swapFree=4179860/4192956
[pid=17066] ppid=17064 vsize=5356 CPUtime=10.78
/proc/17066/stat : 17066 (SatELiteGTI) S 17064 17066 17029 0 -1 4194304 336 49622 0 0 0 0 1036 42 16 0 1 0 315518700 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 227607634756 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17066/statm: 1339 239 197 169 0 50 0
[pid=17072] ppid=17066 vsize=55740 CPUtime=14.68
/proc/17072/stat : 17072 (minisat_static) R 17066 17066 17029 0 -1 4194304 13207 0 0 0 1460 8 0 0 25 0 1 0 315519779 57077760 13095 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 1 0 0
/proc/17072/statm: 13935 13095 77 171 0 13762 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 61096
[startup+51.1011 s]
/proc/loadavg: 0.96 0.98 0.94 2/66 17072
/proc/meminfo: memFree=1670568/2055920 swapFree=4179860/4192956
[pid=17066] ppid=17064 vsize=5356 CPUtime=10.78
/proc/17066/stat : 17066 (SatELiteGTI) S 17064 17066 17029 0 -1 4194304 336 49622 0 0 0 0 1036 42 16 0 1 0 315518700 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 227607634756 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17066/statm: 1339 239 197 169 0 50 0
[pid=17072] ppid=17066 vsize=59040 CPUtime=40.25
/proc/17072/stat : 17072 (minisat_static) R 17066 17066 17029 0 -1 4194304 14032 0 0 0 4016 9 0 0 25 0 1 0 315519779 60456960 13920 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 1 0 0
/proc/17072/statm: 14760 13920 77 171 0 14587 0
Current children cumulated CPU time (s) 51.03
Current children cumulated vsize (KiB) 64396
[startup+102.305 s]
/proc/loadavg: 0.98 0.98 0.94 2/66 17072
/proc/meminfo: memFree=1658408/2055920 swapFree=4179860/4192956
[pid=17066] ppid=17064 vsize=5356 CPUtime=10.78
/proc/17066/stat : 17066 (SatELiteGTI) S 17064 17066 17029 0 -1 4194304 336 49622 0 0 0 0 1036 42 16 0 1 0 315518700 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 227607634756 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17066/statm: 1339 239 197 169 0 50 0
[pid=17072] ppid=17066 vsize=71092 CPUtime=91.42
/proc/17072/stat : 17072 (minisat_static) R 17066 17066 17029 0 -1 4194304 17031 0 0 0 9129 13 0 0 25 0 1 0 315519779 72798208 16919 1992294400 134512640 135215339 4294956240 18446744073709551615 134528688 0 0 4096 3 0 0 0 17 1 0 0
/proc/17072/statm: 17773 16919 77 171 0 17600 0
Current children cumulated CPU time (s) 102.2
Current children cumulated vsize (KiB) 76448
[startup+162.301 s]
/proc/loadavg: 0.99 0.98 0.94 2/66 17072
/proc/meminfo: memFree=1639848/2055920 swapFree=4179860/4192956
[pid=17066] ppid=17064 vsize=5356 CPUtime=10.78
/proc/17066/stat : 17066 (SatELiteGTI) S 17064 17066 17029 0 -1 4194304 336 49622 0 0 0 0 1036 42 16 0 1 0 315518700 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 227607634756 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17066/statm: 1339 239 197 169 0 50 0
[pid=17072] ppid=17066 vsize=89776 CPUtime=151.36
/proc/17072/stat : 17072 (minisat_static) R 17066 17066 17029 0 -1 4194304 21688 0 0 0 15118 18 0 0 25 0 1 0 315519779 91930624 21576 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/17072/statm: 22444 21576 77 171 0 22271 0
Current children cumulated CPU time (s) 162.14
Current children cumulated vsize (KiB) 95132
[startup+222.302 s]
/proc/loadavg: 0.99 0.98 0.94 2/66 17072
/proc/meminfo: memFree=1617064/2055920 swapFree=4179860/4192956
[pid=17066] ppid=17064 vsize=5356 CPUtime=10.78
/proc/17066/stat : 17066 (SatELiteGTI) S 17064 17066 17029 0 -1 4194304 336 49622 0 0 0 0 1036 42 16 0 1 0 315518700 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 227607634756 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17066/statm: 1339 239 197 169 0 50 0
[pid=17072] ppid=17066 vsize=112368 CPUtime=211.34
/proc/17072/stat : 17072 (minisat_static) R 17066 17066 17029 0 -1 4194304 27326 0 0 0 21110 24 0 0 25 0 1 0 315519779 115064832 27214 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/17072/statm: 28092 27214 77 171 0 27919 0
Current children cumulated CPU time (s) 222.12
Current children cumulated vsize (KiB) 117724
[startup+282.302 s]
/proc/loadavg: 0.99 0.98 0.94 2/66 17072
/proc/meminfo: memFree=1593768/2055920 swapFree=4179860/4192956
[pid=17066] ppid=17064 vsize=5356 CPUtime=10.78
/proc/17066/stat : 17066 (SatELiteGTI) S 17064 17066 17029 0 -1 4194304 336 49622 0 0 0 0 1036 42 16 0 1 0 315518700 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 227607634756 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17066/statm: 1339 239 197 169 0 50 0
[pid=17072] ppid=17066 vsize=135680 CPUtime=271.31
/proc/17072/stat : 17072 (minisat_static) R 17066 17066 17029 0 -1 4194304 33159 0 0 0 27102 29 0 0 25 0 1 0 315519779 138936320 33047 1992294400 134512640 135215339 4294956240 18446744073709551615 134528788 0 0 4096 3 0 0 0 17 1 0 0
/proc/17072/statm: 33920 33047 77 171 0 33747 0
Current children cumulated CPU time (s) 282.09
Current children cumulated vsize (KiB) 141036
[startup+342.302 s]
/proc/loadavg: 0.99 0.98 0.94 2/66 17072
/proc/meminfo: memFree=1573864/2055920 swapFree=4179860/4192956
[pid=17066] ppid=17064 vsize=5356 CPUtime=10.78
/proc/17066/stat : 17066 (SatELiteGTI) S 17064 17066 17029 0 -1 4194304 336 49622 0 0 0 0 1036 42 16 0 1 0 315518700 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 227607634756 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17066/statm: 1339 239 197 169 0 50 0
[pid=17072] ppid=17066 vsize=155360 CPUtime=331.29
/proc/17072/stat : 17072 (minisat_static) R 17066 17066 17029 0 -1 4194304 38077 0 0 0 33094 35 0 0 25 0 1 0 315519779 159088640 37965 1992294400 134512640 135215339 4294956240 18446744073709551615 134528930 0 0 4096 3 0 0 0 17 1 0 0
/proc/17072/statm: 38840 37965 77 171 0 38667 0
Current children cumulated CPU time (s) 342.07
Current children cumulated vsize (KiB) 160716
[startup+402.303 s]
/proc/loadavg: 0.99 0.98 0.94 2/66 17072
/proc/meminfo: memFree=1554472/2055920 swapFree=4179860/4192956
[pid=17066] ppid=17064 vsize=5356 CPUtime=10.78
/proc/17066/stat : 17066 (SatELiteGTI) S 17064 17066 17029 0 -1 4194304 336 49622 0 0 0 0 1036 42 16 0 1 0 315518700 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 227607634756 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17066/statm: 1339 239 197 169 0 50 0
[pid=17072] ppid=17066 vsize=174780 CPUtime=391.26
/proc/17072/stat : 17072 (minisat_static) R 17066 17066 17029 0 -1 4194304 42971 0 0 0 39087 39 0 0 25 0 1 0 315519779 178974720 42859 1992294400 134512640 135215339 4294956240 18446744073709551615 134528802 0 0 4096 3 0 0 0 17 1 0 0
/proc/17072/statm: 43695 42859 77 171 0 43522 0
Current children cumulated CPU time (s) 402.04
Current children cumulated vsize (KiB) 180136
[startup+462.301 s]
################
# More data... #
################
/proc/17072/statm: 443215 441986 77 171 0 443042 0
Current children cumulated CPU time (s) 6879.7
Current children cumulated vsize (KiB) 1778216
[startup+6942.3 s]
/proc/loadavg: 1.00 1.00 0.95 2/66 17082
/proc/meminfo: memFree=15720/2055920 swapFree=4179860/4192956
[pid=17066] ppid=17064 vsize=5356 CPUtime=10.78
/proc/17066/stat : 17066 (SatELiteGTI) S 17064 17066 17029 0 -1 4194304 336 49622 0 0 0 0 1036 42 16 0 1 0 315518700 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 227607634756 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17066/statm: 1339 239 197 169 0 50 0
[pid=17072] ppid=17066 vsize=1782408 CPUtime=6928.9
/proc/17072/stat : 17072 (minisat_static) R 17066 17066 17029 0 -1 4194304 444486 0 0 0 692448 442 0 0 25 0 1 0 315519779 1825185792 444374 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/17072/statm: 445602 444374 77 171 0 445429 0
Current children cumulated CPU time (s) 6939.68
Current children cumulated vsize (KiB) 1787764
[startup+7002.3 s]
/proc/loadavg: 1.00 1.00 0.95 2/66 17082
/proc/meminfo: memFree=15720/2055920 swapFree=4179860/4192956
[pid=17066] ppid=17064 vsize=5356 CPUtime=10.78
/proc/17066/stat : 17066 (SatELiteGTI) S 17064 17066 17029 0 -1 4194304 336 49622 0 0 0 0 1036 42 16 0 1 0 315518700 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 227607634756 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17066/statm: 1339 239 197 169 0 50 0
[pid=17072] ppid=17066 vsize=1794764 CPUtime=6988.88
/proc/17072/stat : 17072 (minisat_static) R 17066 17066 17029 0 -1 4194304 447576 0 0 0 698443 445 0 0 25 0 1 0 315519779 1837838336 447464 1992294400 134512640 135215339 4294956240 18446744073709551615 134528849 0 0 4096 3 0 0 0 17 1 0 0
/proc/17072/statm: 448691 447464 77 171 0 448518 0
Current children cumulated CPU time (s) 6999.66
Current children cumulated vsize (KiB) 1800120
[startup+7062.3 s]
/proc/loadavg: 1.00 1.00 0.95 2/66 17082
/proc/meminfo: memFree=15720/2055920 swapFree=4179860/4192956
[pid=17066] ppid=17064 vsize=5356 CPUtime=10.78
/proc/17066/stat : 17066 (SatELiteGTI) S 17064 17066 17029 0 -1 4194304 336 49622 0 0 0 0 1036 42 16 0 1 0 315518700 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 227607634756 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17066/statm: 1339 239 197 169 0 50 0
[pid=17072] ppid=17066 vsize=1799716 CPUtime=7048.86
/proc/17072/stat : 17072 (minisat_static) R 17066 17066 17029 0 -1 4194304 448295 0 0 0 704440 446 0 0 25 0 1 0 315519779 1842909184 448183 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/17072/statm: 449929 448183 77 171 0 449756 0
Current children cumulated CPU time (s) 7059.64
Current children cumulated vsize (KiB) 1805072
[startup+7122.3 s]
/proc/loadavg: 1.00 1.00 0.95 2/66 17082
/proc/meminfo: memFree=15720/2055920 swapFree=4179860/4192956
[pid=17066] ppid=17064 vsize=5356 CPUtime=10.78
/proc/17066/stat : 17066 (SatELiteGTI) S 17064 17066 17029 0 -1 4194304 336 49622 0 0 0 0 1036 42 16 0 1 0 315518700 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 227607634756 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17066/statm: 1339 239 197 169 0 50 0
[pid=17072] ppid=17066 vsize=1799716 CPUtime=7108.84
/proc/17072/stat : 17072 (minisat_static) R 17066 17066 17029 0 -1 4194304 448296 0 0 0 710438 446 0 0 25 0 1 0 315519779 1842909184 448184 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/17072/statm: 449929 448184 77 171 0 449756 0
Current children cumulated CPU time (s) 7119.62
Current children cumulated vsize (KiB) 1805072
[startup+7182.3 s]
/proc/loadavg: 1.00 1.00 0.95 2/66 17088
/proc/meminfo: memFree=16936/2055920 swapFree=4179860/4192956
[pid=17066] ppid=17064 vsize=5356 CPUtime=10.78
/proc/17066/stat : 17066 (SatELiteGTI) S 17064 17066 17029 0 -1 4194304 336 49622 0 0 0 0 1036 42 16 0 1 0 315518700 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 227607634756 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17066/statm: 1339 239 197 169 0 50 0
[pid=17072] ppid=17066 vsize=1799716 CPUtime=7168.81
/proc/17072/stat : 17072 (minisat_static) R 17066 17066 17029 0 -1 4194304 448299 0 0 0 716435 446 0 0 25 0 1 0 315519779 1842909184 448187 1992294400 134512640 135215339 4294956240 18446744073709551615 134532769 0 0 4096 3 0 0 0 17 1 0 0
/proc/17072/statm: 449929 448187 77 171 0 449756 0
Current children cumulated CPU time (s) 7179.59
Current children cumulated vsize (KiB) 1805072
[startup+7242.3 s]
/proc/loadavg: 1.00 1.00 0.95 2/66 17088
/proc/meminfo: memFree=16936/2055920 swapFree=4179860/4192956
[pid=17066] ppid=17064 vsize=5356 CPUtime=10.78
/proc/17066/stat : 17066 (SatELiteGTI) S 17064 17066 17029 0 -1 4194304 336 49622 0 0 0 0 1036 42 16 0 1 0 315518700 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 227607634756 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17066/statm: 1339 239 197 169 0 50 0
[pid=17072] ppid=17066 vsize=1799716 CPUtime=7228.79
/proc/17072/stat : 17072 (minisat_static) R 17066 17066 17029 0 -1 4194304 448305 0 0 0 722433 446 0 0 25 0 1 0 315519779 1842909184 448193 1992294400 134512640 135215339 4294956240 18446744073709551615 134529051 0 0 4096 3 0 0 0 17 1 0 0
/proc/17072/statm: 449929 448193 77 171 0 449756 0
Current children cumulated CPU time (s) 7239.57
Current children cumulated vsize (KiB) 1805072
[startup+7302.3 s]
/proc/loadavg: 1.00 1.00 0.95 2/66 17088
/proc/meminfo: memFree=16872/2055920 swapFree=4179860/4192956
[pid=17066] ppid=17064 vsize=5356 CPUtime=10.78
/proc/17066/stat : 17066 (SatELiteGTI) S 17064 17066 17029 0 -1 4194304 336 49622 0 0 0 0 1036 42 16 0 1 0 315518700 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 227607634756 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17066/statm: 1339 239 197 169 0 50 0
[pid=17072] ppid=17066 vsize=1799880 CPUtime=7288.76
/proc/17072/stat : 17072 (minisat_static) R 17066 17066 17029 0 -1 4194304 448339 0 0 0 728430 446 0 0 25 0 1 0 315519779 1843077120 448227 1992294400 134512640 135215339 4294956240 18446744073709551615 134528728 0 0 4096 3 0 0 0 17 1 0 0
/proc/17072/statm: 449970 448227 77 171 0 449797 0
Current children cumulated CPU time (s) 7299.54
Current children cumulated vsize (KiB) 1805236
[startup+7362.31 s]
/proc/loadavg: 1.00 1.00 0.95 2/66 17088
/proc/meminfo: memFree=15400/2055920 swapFree=4179860/4192956
[pid=17066] ppid=17064 vsize=5356 CPUtime=10.78
/proc/17066/stat : 17066 (SatELiteGTI) S 17064 17066 17029 0 -1 4194304 336 49622 0 0 0 0 1036 42 16 0 1 0 315518700 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 227607634756 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17066/statm: 1339 239 197 169 0 50 0
[pid=17072] ppid=17066 vsize=1810504 CPUtime=7348.75
/proc/17072/stat : 17072 (minisat_static) R 17066 17066 17029 0 -1 4194304 451001 0 0 0 734425 450 0 0 25 0 1 0 315519779 1853956096 450889 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/17072/statm: 452626 450889 77 171 0 452453 0
Current children cumulated CPU time (s) 7359.53
Current children cumulated vsize (KiB) 1815860
[startup+7422.3 s]
/proc/loadavg: 1.00 1.00 0.95 2/66 17088
/proc/meminfo: memFree=15592/2055920 swapFree=4179860/4192956
[pid=17066] ppid=17064 vsize=5356 CPUtime=10.78
/proc/17066/stat : 17066 (SatELiteGTI) S 17064 17066 17029 0 -1 4194304 336 49622 0 0 0 0 1036 42 16 0 1 0 315518700 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 227607634756 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17066/statm: 1339 239 197 169 0 50 0
[pid=17072] ppid=17066 vsize=1817960 CPUtime=7408.72
/proc/17072/stat : 17072 (minisat_static) R 17066 17066 17029 0 -1 4194304 452866 0 0 0 740421 451 0 0 25 0 1 0 315519779 1861591040 452754 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/17072/statm: 454490 452754 77 171 0 454317 0
Current children cumulated CPU time (s) 7419.5
Current children cumulated vsize (KiB) 1823316
[startup+7482.3 s]
/proc/loadavg: 1.00 1.00 0.95 2/66 17088
/proc/meminfo: memFree=15848/2055920 swapFree=4179860/4192956
[pid=17066] ppid=17064 vsize=5356 CPUtime=10.78
/proc/17066/stat : 17066 (SatELiteGTI) S 17064 17066 17029 0 -1 4194304 336 49622 0 0 0 0 1036 42 16 0 1 0 315518700 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 227607634756 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17066/statm: 1339 239 197 169 0 50 0
[pid=17072] ppid=17066 vsize=1823828 CPUtime=7468.7
/proc/17072/stat : 17072 (minisat_static) R 17066 17066 17029 0 -1 4194304 454326 0 0 0 746417 453 0 0 25 0 1 0 315519779 1867599872 454214 1992294400 134512640 135215339 4294956240 18446744073709551615 134528788 0 0 4096 3 0 0 0 17 1 0 0
/proc/17072/statm: 455957 454214 77 171 0 455784 0
Current children cumulated CPU time (s) 7479.48
Current children cumulated vsize (KiB) 1829184
[startup+7542.3 s]
/proc/loadavg: 1.00 1.00 0.95 2/66 17088
/proc/meminfo: memFree=15464/2055920 swapFree=4179860/4192956
[pid=17066] ppid=17064 vsize=5356 CPUtime=10.78
/proc/17066/stat : 17066 (SatELiteGTI) S 17064 17066 17029 0 -1 4194304 336 49622 0 0 0 0 1036 42 16 0 1 0 315518700 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 227607634756 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17066/statm: 1339 239 197 169 0 50 0
[pid=17072] ppid=17066 vsize=1830576 CPUtime=7528.68
/proc/17072/stat : 17072 (minisat_static) R 17066 17066 17029 0 -1 4194304 455982 0 0 0 752412 456 0 0 25 0 1 0 315519779 1874509824 455870 1992294400 134512640 135215339 4294956240 18446744073709551615 134528863 0 0 4096 3 0 0 0 17 1 0 0
/proc/17072/statm: 457644 455870 77 171 0 457471 0
Current children cumulated CPU time (s) 7539.46
Current children cumulated vsize (KiB) 1835932
Maximum VSize exceeded: sending SIGTERM then SIGKILL
[startup+7586.2 s]
/proc/loadavg: 1.00 1.00 0.95 2/66 17088
/proc/meminfo: memFree=15848/2055920 swapFree=4179860/4192956
[pid=17066] ppid=17064 vsize=5356 CPUtime=10.78
/proc/17066/stat : 17066 (SatELiteGTI) S 17064 17066 17029 0 -1 4194304 336 49622 0 0 0 0 1036 42 16 0 1 0 315518700 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 227607634756 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17066/statm: 1339 239 197 169 0 50 0
[pid=17072] ppid=17066 vsize=1837884 CPUtime=7572.57
/proc/17072/stat : 17072 (minisat_static) R 17066 17066 17029 0 -1 4194304 457801 0 0 0 756800 457 0 0 25 0 1 0 315519779 1881993216 457689 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 1 0 0
/proc/17072/statm: 459471 457689 77 171 0 459298 0
Current children cumulated CPU time (s) 7583.35
Current children cumulated vsize (KiB) 1843240
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 17066 and gives
# childrusage.ru_utime.tv_sec=10
# childrusage.ru_utime.tv_usec=368423
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=426935
# CPU time returned by wait4() is 10.7954
# while last known CPU time is 7583.35
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 7586.21
CPU time (s): 7583.35
CPU user time (s): 7578.36
CPU system time (s): 4.99
CPU usage (%): 99.9623
Max. virtual memory (cumulated for all children) (KiB): 1843240
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 10.3684
system time used= 0.426935
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 49958
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= 14
involuntary context switches= 35
runsolver used 9.08562 second user time and 18.5212 second system time
The end
Begin job on node66 at 2009-05-21 05:02:03
IDJOB=1837498
IDBENCH=71050
IDSOLVER=674
FILE ID=node66/1837498-1242874921
PBS_JOBID= 9328617
Free space on /tmp= 66356 MiB
SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT09/APPLICATIONS/diagnosis/UTI-20-10p1.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1837498-1242874921/watcher-1837498-1242874921 -o /tmp/evaluation-result-1837498-1242874921/solver-1837498-1242874921 -C 10000 -W 12000 -M 1800 SatELiteGTI HOME/instance-1837498-1242874921.cnf
TIME LIMIT= 10000 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 9573f6b4001373bab93d1a02f96820d1
RANDOM SEED=381199824
node66.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.263
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5931.00
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.263
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5586.94
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1755800 kB
Buffers: 25836 kB
Cached: 223128 kB
SwapCached: 7464 kB
Active: 56460 kB
Inactive: 201436 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1755800 kB
SwapTotal: 4192956 kB
SwapFree: 4179860 kB
Dirty: 28236 kB
Writeback: 0 kB
Mapped: 13928 kB
Slab: 28276 kB
Committed_AS: 1157364 kB
PageTables: 1364 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264952 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 66328 MiB
End job on node66 at 2009-05-21 07:08:31