0.00/0.00 c Parsing...
0.00/0.14 c ==============================================================================
0.00/0.14 c | | ORIGINAL | LEARNT | |
0.00/0.14 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress |
0.00/0.14 c ==============================================================================
0.00/0.14 c | 0 | 159423 466748 | 47826 0 0 nan | 0.000 % |
1.09/1.17 c | 0 | 71082 239848 | -- 0 -- -- | -- | -82705/-209984
1.09/1.17 c ==============================================================================
1.09/1.17 c Result : #vars: 8110 #clauses: 71082 #literals: 239848
1.09/1.17 c CPU time: 1.12083 s
1.09/1.17 c ==============================================================================
1.18/1.25 c This is MiniSat 2.0 beta
1.18/1.25 c WARNING: for repeatability, setting FPU to use double precision
1.18/1.25 c ============================[ Problem Statistics ]=============================
1.18/1.25 c | |
1.18/1.25 c | Number of variables: 8110 |
1.18/1.25 c | Number of clauses: 71082 |
1.18/1.30 c | Parsing time: 0.04 s |
1.24/1.30 c ============================[ Search Statistics ]==============================
1.24/1.30 c | Conflicts | ORIGINAL | LEARNT | Progress |
1.24/1.30 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
1.24/1.30 c ===============================================================================
1.24/1.30 c | 0 | 8110 71082 239848 | 23694 0 nan | 0.000 % |
1.24/1.30 c | 100 | 8110 71082 239848 | 23694 100 9 | 0.000 % |
1.24/1.31 c | 200 | 8110 71082 239848 | 23694 200 9 | 0.000 % |
1.24/1.31 c | 300 | 8110 71082 239848 | 23694 300 10 | 0.000 % |
1.24/1.32 c | 410 | 8110 71082 239848 | 23694 410 11 | 0.000 % |
1.24/1.33 c | 510 | 8109 71082 239848 | 23694 509 11 | 0.012 % |
1.24/1.33 c | 620 | 8108 71082 239848 | 23694 618 12 | 0.037 % |
1.24/1.34 c | 741 | 8108 71082 239848 | 23694 739 12 | 0.037 % |
1.24/1.34 c | 841 | 8107 71082 239848 | 23694 839 12 | 0.037 % |
1.24/1.35 c | 951 | 8107 71082 239848 | 23694 949 13 | 0.037 % |
1.24/1.36 c | 1073 | 8107 71082 239848 | 23694 1071 13 | 0.037 % |
1.24/1.37 c | 1206 | 8107 71082 239848 | 23694 1204 13 | 0.037 % |
1.24/1.38 c | 1306 | 8107 71082 239848 | 23694 1304 12 | 0.037 % |
1.24/1.38 c | 1417 | 8107 71082 239848 | 23694 1415 12 | 0.037 % |
1.24/1.39 c | 1538 | 8107 71082 239848 | 23694 1536 12 | 0.037 % |
1.24/1.40 c | 1671 | 8107 71082 239848 | 23694 1669 12 | 0.037 % |
1.24/1.41 c | 1817 | 8107 71082 239848 | 23694 1815 12 | 0.037 % |
1.24/1.41 c | 1917 | 8107 71082 239848 | 23694 1915 12 | 0.037 % |
1.24/1.42 c | 2028 | 8107 71082 239848 | 23694 2026 12 | 0.037 % |
1.24/1.43 c | 2149 | 8107 71082 239848 | 23694 2147 12 | 0.037 % |
1.24/1.44 c | 2283 | 8107 71082 239848 | 23694 2281 12 | 0.037 % |
1.24/1.46 c | 2430 | 8107 70650 237736 | 23694 2427 12 | 0.037 % |
1.24/1.47 c | 2590 | 8107 70650 237736 | 23694 2587 12 | 0.037 % |
1.24/1.48 c | 2692 | 8107 70650 237736 | 23694 2689 12 | 0.037 % |
1.24/1.49 c | 2802 | 8107 70650 237736 | 23694 2799 12 | 0.037 % |
1.24/1.50 c | 2923 | 8107 70650 237736 | 23694 2920 12 | 0.037 % |
1.24/1.51 c | 3057 | 8107 70650 237736 | 23694 3054 13 | 0.037 % |
1.24/1.52 c | 3203 | 8107 70650 237736 | 23694 3200 13 | 0.037 % |
1.24/1.53 c | 3363 | 8107 70650 237736 | 23694 3360 13 | 0.037 % |
1.24/1.54 c | 3539 | 8107 70650 237736 | 23694 3536 13 | 0.037 % |
1.24/1.55 c | 3641 | 8107 70650 237736 | 23694 3638 13 | 0.037 % |
1.24/1.55 c | 3751 | 8107 70650 237736 | 23694 3748 13 | 0.037 % |
1.24/1.56 c | 3872 | 8107 70650 237736 | 23694 3869 13 | 0.037 % |
1.24/1.57 c | 4006 | 8107 70650 237736 | 23694 4003 13 | 0.037 % |
1.24/1.58 c | 4155 | 8107 70650 237736 | 23694 4152 13 | 0.037 % |
1.24/1.60 c | 4315 | 8107 70650 237736 | 23694 4312 13 | 0.037 % |
1.24/1.61 c | 4492 | 8107 70650 237736 | 23694 4489 13 | 0.037 % |
1.24/1.62 c | 4685 | 8107 70650 237736 | 23694 4682 13 | 0.037 % |
1.24/1.63 c | 4786 | 8107 70650 237736 | 23694 4783 13 | 0.037 % |
1.24/1.63 c | 4896 | 8107 70650 237736 | 23694 4893 13 | 0.037 % |
1.24/1.64 c | 5017 | 8107 70650 237736 | 23694 5014 13 | 0.037 % |
1.24/1.65 c | 5150 | 8107 70650 237736 | 23694 5147 13 | 0.037 % |
1.24/1.66 c | 5297 | 8107 70650 237736 | 23694 5294 13 | 0.037 % |
1.24/1.67 c | 5459 | 8107 70650 237736 | 23694 5456 13 | 0.037 % |
1.24/1.68 c | 5635 | 8107 70650 237736 | 23694 5632 13 | 0.037 % |
1.24/1.70 c | 5828 | 8107 70650 237736 | 23694 5825 13 | 0.037 % |
1.24/1.71 c | 6042 | 8107 70650 237736 | 23694 6039 13 | 0.037 % |
1.24/1.72 c | 6142 | 8107 70650 237736 | 23694 6139 13 | 0.037 % |
1.24/1.73 c | 6252 | 8107 70650 237736 | 23694 6249 13 | 0.037 % |
1.24/1.74 c | 6374 | 8107 70650 237736 | 23694 6371 13 | 0.037 % |
1.24/1.75 c | 6507 | 8107 70650 237736 | 23694 6504 13 | 0.037 % |
1.24/1.76 c | 6653 | 8107 70650 237736 | 23694 6650 13 | 0.037 % |
1.24/1.77 c | 6814 | 8107 70650 237736 | 23694 6811 13 | 0.037 % |
1.24/1.78 c | 6991 | 8107 70650 237736 | 23694 6988 13 | 0.037 % |
1.24/1.80 c | 7184 | 8107 70650 237736 | 23694 7181 13 | 0.037 % |
1.24/1.82 c | 7397 | 8107 70650 237736 | 23694 7394 13 | 0.037 % |
1.24/1.83 c | 7630 | 8107 70650 237736 | 23694 7627 13 | 0.037 % |
1.24/1.84 c | 7732 | 8107 70650 237736 | 23694 7729 13 | 0.037 % |
1.24/1.85 c | 7842 | 8107 70650 237736 | 23694 7839 13 | 0.037 % |
1.24/1.86 c | 7963 | 8107 70650 237736 | 23694 7960 14 | 0.037 % |
1.24/1.87 c | 8096 | 8107 70650 237736 | 23694 8093 14 | 0.037 % |
1.24/1.89 c | 8243 | 8107 70650 237736 | 23694 8240 14 | 0.037 % |
1.24/1.90 c | 8403 | 8107 70650 237736 | 23694 8400 14 | 0.037 % |
1.24/1.91 c | 8580 | 8107 70650 237736 | 23694 8577 14 | 0.037 % |
1.24/1.93 c | 8773 | 8107 70650 237736 | 23694 8770 14 | 0.037 % |
1.24/1.95 c | 8986 | 8107 70650 237736 | 23694 8983 14 | 0.037 % |
1.24/1.97 c | 9221 | 8107 70650 237736 | 23694 9218 14 | 0.037 % |
1.24/1.99 c | 9479 | 8107 70650 237736 | 23694 9476 14 | 0.037 % |
1.24/2.00 c | 9579 | 8107 70650 237736 | 23694 9576 14 | 0.037 % |
1.24/2.01 c | 9689 | 8107 70650 237736 | 23694 9686 14 | 0.037 % |
1.24/2.02 c | 9812 | 8107 70650 237736 | 23694 9809 14 | 0.037 % |
1.24/2.03 c | 9945 | 8107 70650 237736 | 23694 9942 14 | 0.037 % |
1.24/2.04 c | 10093 | 8107 70650 237736 | 2147483647 10090 14 | 0.037 % |
1.24/2.06 c | 10254 | 8107 70650 237736 | 2147483647 10251 14 | 0.037 % |
1.24/2.07 c | 10431 | 8107 70650 237736 | 2147483647 10428 14 | 0.037 % |
1.24/2.09 c | 10624 | 8107 70650 237736 | 2147483647 10621 14 | 0.037 % |
2.07/2.11 c | 10836 | 8107 70650 237736 | 2147483647 10833 14 | 0.037 % |
2.07/2.14 c | 11070 | 8107 70650 237736 | 2147483647 11067 14 | 0.037 % |
2.07/2.17 c | 11326 | 8107 70650 237736 | 2147483647 11323 14 | 0.037 % |
2.07/2.19 c | 11608 | 8107 70650 237736 | 2147483647 11605 14 | 0.037 % |
2.17/2.20 c | 11708 | 8107 70650 237736 | 2147483647 11705 14 | 0.037 % |
2.17/2.21 c | 11818 | 8107 70650 237736 | 2147483647 11815 14 | 0.037 % |
2.17/2.23 c | 11941 | 8107 70650 237736 | 2147483647 11938 14 | 0.037 % |
2.17/2.24 c | 12074 | 8107 70650 237736 | 2147483647 12071 14 | 0.037 % |
2.17/2.26 c | 12220 | 8107 70650 237736 | 2147483647 12217 14 | 0.037 % |
2.17/2.27 c | 12381 | 8107 70650 237736 | 2147483647 12378 14 | 0.037 % |
2.17/2.29 c | 12557 | 8107 70650 237736 | 2147483647 12554 14 | 0.037 % |
2.26/2.32 c | 12751 | 8107 70650 237736 | 2147483647 12748 14 | 0.037 % |
2.26/2.34 c | 12963 | 8107 70650 237736 | 2147483647 12960 14 | 0.037 % |
2.26/2.37 c | 13197 | 8107 70650 237736 | 2147483647 13194 14 | 0.037 % |
2.26/2.39 c | 13453 | 8107 70650 237736 | 2147483647 13450 14 | 0.037 % |
2.36/2.42 c | 13734 | 8107 70650 237736 | 2147483647 13731 14 | 0.037 % |
2.36/2.46 c | 14043 | 8107 70650 237736 | 2147483647 14040 14 | 0.037 % |
2.36/2.47 c | 14143 | 8107 70650 237736 | 2147483647 14140 14 | 0.037 % |
2.36/2.48 c | 14254 | 8107 70650 237736 | 2147483647 14251 14 | 0.037 % |
2.36/2.49 c | 14375 | 8107 70650 237736 | 2147483647 14372 14 | 0.037 % |
2.47/2.51 c | 14511 | 8107 70650 237736 | 2147483647 14508 14 | 0.037 % |
2.47/2.53 c | 14657 | 8107 70650 237736 | 2147483647 14654 14 | 0.037 % |
2.47/2.54 c | 14817 | 8107 70650 237736 | 2147483647 14814 14 | 0.037 % |
2.47/2.56 c | 14994 | 8107 70650 237736 | 2147483647 14991 14 | 0.037 % |
2.47/2.59 c | 15187 | 8107 70650 237736 | 2147483647 15184 14 | 0.037 % |
2.57/2.62 c | 15399 | 8107 70650 237736 | 2147483647 15396 14 | 0.037 % |
2.57/2.64 c | 15632 | 8107 70650 237736 | 2147483647 15629 14 | 0.037 % |
2.57/2.67 c | 15888 | 8107 70650 237736 | 2147483647 15885 14 | 0.037 % |
2.67/2.71 c | 16172 | 8107 70650 237736 | 2147483647 16169 14 | 0.037 % |
2.67/2.74 c | 16481 | 8107 70650 237736 | 2147483647 16478 14 | 0.037 % |
2.67/2.79 c | 16820 | 8107 70650 237736 | 2147483647 16817 14 | 0.037 % |
2.77/2.80 c | 16920 | 8107 70650 237736 | 2147483647 16917 14 | 0.037 % |
2.77/2.82 c | 17030 | 8107 70650 237736 | 2147483647 17027 14 | 0.037 % |
2.77/2.84 c | 17151 | 8107 70650 237736 | 2147483647 17148 14 | 0.037 % |
2.77/2.86 c | 17286 | 8107 70650 237736 | 2147483647 17283 14 | 0.037 % |
2.77/2.87 c | 17434 | 8107 70650 237736 | 2147483647 17431 14 | 0.037 % |
2.77/2.89 c | 17595 | 8107 70650 237736 | 2147483647 17592 14 | 0.037 % |
2.87/2.92 c | 17771 | 8107 70650 237736 | 2147483647 17768 14 | 0.037 % |
2.87/2.95 c | 17964 | 8107 70650 237736 | 2147483647 17961 14 | 0.037 % |
2.87/2.98 c | 18177 | 8107 70650 237736 | 2147483647 18174 14 | 0.037 % |
2.97/3.01 c | 18410 | 8107 70650 237736 | 2147483647 18407 14 | 0.037 % |
2.97/3.05 c | 18667 | 8107 70650 237736 | 2147483647 18664 14 | 0.037 % |
2.97/3.08 c | 18948 | 8107 70650 237736 | 2147483647 18945 14 | 0.037 % |
3.07/3.12 c | 19258 | 8107 70650 237736 | 2147483647 19255 14 | 0.037 % |
3.07/3.15 c | 19599 | 8107 70650 237736 | 2147483647 19596 14 | 0.037 % |
3.07/3.19 c | 19971 | 8107 70650 237736 | 2147483647 19968 14 | 0.037 % |
3.07/3.20 c | 20071 | 8107 70650 237736 | 2147483647 20068 14 | 0.037 % |
3.17/3.21 c | 20182 | 8107 70650 237736 | 2147483647 20179 14 | 0.037 % |
3.17/3.23 c | 20303 | 8107 70650 237736 | 2147483647 20300 14 | 0.037 % |
3.17/3.26 c | 20436 | 8096 69372 230627 | 2147483647 11919 13 | 0.173 % |
3.17/3.28 c | 20582 | 8096 69372 230627 | 2147483647 12065 13 | 0.173 % |
3.27/3.30 c | 20742 | 8096 69372 230627 | 2147483647 12225 13 | 0.173 % |
3.27/3.33 c | 20920 | 8096 69372 230627 | 2147483647 12403 13 | 0.173 % |
3.27/3.34 c | 21113 | 8096 69372 230627 | 2147483647 12596 14 | 0.173 % |
3.27/3.37 c | 21327 | 8096 69372 230627 | 2147483647 12810 14 | 0.173 % |
3.37/3.40 c | 21562 | 8096 69372 230627 | 2147483647 13045 14 | 0.173 % |
3.37/3.44 c | 21818 | 8096 69372 230627 | 2147483647 13301 14 | 0.173 % |
3.37/3.48 c | 22099 | 8096 69372 230627 | 2147483647 13582 14 | 0.173 % |
3.47/3.51 c | 22410 | 8096 69372 230627 | 2147483647 13893 14 | 0.173 % |
3.47/3.55 c | 22750 | 8096 69372 230627 | 2147483647 14233 14 | 0.173 % |
3.47/3.60 c | 23122 | 8096 69372 230627 | 2147483647 14605 14 | 0.173 % |
3.57/3.64 c | 23531 | 8096 69372 230627 | 2147483647 15014 14 | 0.173 % |
3.57/3.66 c | 23631 | 8096 69372 230627 | 2147483647 15114 14 | 0.173 % |
3.57/3.67 c | 23743 | 8096 69372 230627 | 2147483647 15226 14 | 0.173 % |
3.57/3.69 c | 23864 | 8096 69372 230627 | 2147483647 15347 14 | 0.173 % |
3.67/3.71 c | 23997 | 8096 69372 230627 | 2147483647 15480 14 | 0.173 % |
3.67/3.73 c | 24144 | 8096 69372 230627 | 2147483647 15627 14 | 0.173 % |
3.67/3.75 c | 24305 | 8096 69372 230627 | 2147483647 15788 14 | 0.173 % |
3.67/3.77 c | 24481 | 8096 69372 230627 | 2147483647 15964 14 | 0.173 % |
3.67/3.79 c | 24676 | 8096 69372 230627 | 2147483647 16159 14 | 0.173 % |
3.76/3.81 c | 24891 | 8096 69372 230627 | 2147483647 16374 14 | 0.173 % |
3.76/3.84 c | 25124 | 8096 69372 230627 | 2147483647 16607 14 | 0.173 % |
3.76/3.87 c | 25380 | 8096 69372 230627 | 2147483647 16863 14 | 0.173 % |
3.86/3.92 c | 25661 | 8096 69372 230627 | 2147483647 17144 14 | 0.173 % |
3.86/3.95 c | 25970 | 8096 69372 230627 | 2147483647 17453 15 | 0.173 % |
3.96/4.00 c | 26309 | 8096 69372 230627 | 2147483647 17792 15 | 0.173 % |
3.96/4.05 c | 26681 | 8096 69372 230627 | 2147483647 18164 15 | 0.173 % |
4.06/4.11 c | 27091 | 8096 69372 230627 | 2147483647 18574 15 | 0.173 % |
4.06/4.16 c | 27540 | 8096 69372 230627 | 2147483647 19023 15 | 0.173 % |
4.06/4.18 c | 27644 | 8096 69372 230627 | 2147483647 19127 15 | 0.173 % |
4.16/4.20 c | 27756 | 8096 69372 230627 | 2147483647 19239 15 | 0.173 % |
4.16/4.21 c | 27877 | 8096 69372 230627 | 2147483647 19360 15 | 0.173 % |
4.16/4.24 c | 28013 | 8096 69372 230627 | 2147483647 19496 15 | 0.173 % |
4.16/4.26 c | 28160 | 8096 69372 230627 | 2147483647 19643 15 | 0.173 % |
4.16/4.28 c | 28320 | 8096 69372 230627 | 2147483647 19803 15 | 0.173 % |
4.16/4.30 c | 28496 | 8096 69372 230627 | 2147483647 19979 15 | 0.173 % |
4.26/4.33 c | 28692 | 8096 69372 230627 | 2147483647 20175 15 | 0.173 % |
4.26/4.36 c | 28904 | 8096 69372 230627 | 2147483647 20387 15 | 0.173 % |
4.26/4.40 c | 29137 | 8096 69372 230627 | 2147483647 20620 15 | 0.173 % |
4.36/4.42 c | 29393 | 8096 69372 230627 | 2147483647 20876 15 | 0.173 % |
4.36/4.46 c | 29674 | 8096 69372 230627 | 2147483647 21157 15 | 0.173 % |
4.46/4.51 c | 29983 | 8096 69372 230627 | 2147483647 21466 15 | 0.173 % |
4.46/4.56 c | 30324 | 8096 69372 230627 | 2147483647 21807 15 | 0.173 % |
4.56/4.60 c | 30697 | 8096 69372 230627 | 2147483647 22180 15 | 0.173 % |
4.56/4.67 c | 31106 | 8096 69372 230627 | 2147483647 22589 15 | 0.173 % |
4.66/4.74 c | 31556 | 8096 69372 230627 | 2147483647 23039 15 | 0.173 % |
4.76/4.83 c | 32051 | 8096 69372 230627 | 2147483647 23534 15 | 0.173 % |
4.76/4.85 c | 32151 | 8096 69372 230627 | 2147483647 23634 15 | 0.173 % |
4.76/4.87 c | 32262 | 8096 69372 230627 | 2147483647 23745 15 | 0.173 % |
4.76/4.89 c | 32383 | 8096 69372 230627 | 2147483647 23866 15 | 0.173 % |
4.86/4.92 c | 32518 | 8096 69372 230627 | 2147483647 24001 15 | 0.173 % |
4.86/4.95 c | 32664 | 8096 69372 230627 | 2147483647 24147 15 | 0.173 % |
4.86/4.98 c | 32824 | 8096 69372 230627 | 2147483647 24307 15 | 0.173 % |
4.96/5.01 c | 33001 | 8096 69372 230627 | 2147483647 24484 15 | 0.173 % |
4.96/5.04 c | 33197 | 8096 69372 230627 | 2147483647 24680 15 | 0.173 % |
4.96/5.09 c | 33409 | 8096 69372 230627 | 2147483647 24892 15 | 0.173 % |
5.05/5.12 c | 33642 | 8096 69372 230627 | 2147483647 25125 15 | 0.173 % |
5.05/5.16 c | 33900 | 8096 69372 230627 | 2147483647 25383 15 | 0.173 % |
5.15/5.22 c | 34182 | 8096 69372 230627 | 2147483647 25665 15 | 0.173 % |
5.15/5.27 c | 34491 | 8096 69372 230627 | 2147483647 25974 15 | 0.173 % |
5.25/5.34 c | 34831 | 8096 69372 230627 | 2147483647 26314 16 | 0.173 % |
5.36/5.41 c | 35203 | 8096 69372 230627 | 2147483647 26686 16 | 0.173 % |
5.36/5.47 c | 35614 | 8096 69372 230627 | 2147483647 27097 16 | 0.173 % |
5.46/5.55 c | 36063 | 8096 69372 230627 | 2147483647 27546 16 | 0.173 % |
5.55/5.65 c | 36556 | 8096 69372 230627 | 2147483647 28039 16 | 0.173 % |
5.65/5.78 c | 37098 | 8096 69372 230627 | 2147483647 28581 16 | 0.173 % |
5.65/5.79 c | 37200 | 8096 69372 230627 | 2147483647 28683 16 | 0.173 % |
5.75/5.82 c | 37311 | 8096 69372 230627 | 2147483647 28794 16 | 0.173 % |
5.75/5.84 c | 37433 | 8096 69372 230627 | 2147483647 28916 16 | 0.173 % |
5.75/5.87 c | 37566 | 8096 69372 230627 | 2147483647 29049 16 | 0.173 % |
5.85/5.91 c | 37712 | 8096 69372 230627 | 2147483647 29195 16 | 0.173 % |
5.85/5.94 c | 37873 | 8096 69372 230627 | 2147483647 29356 16 | 0.173 % |
5.85/5.98 c | 38052 | 8096 69372 230627 | 2147483647 29535 16 | 0.173 % |
5.96/6.02 c | 38249 | 8096 69372 230627 | 2147483647 29732 16 | 0.173 % |
5.96/6.05 c | 38461 | 8096 69372 230627 | 2147483647 29944 16 | 0.173 % |
5.96/6.07 c | 38694 | 8096 69372 230627 | 2147483647 30177 16 | 0.173 % |
6.06/6.11 c | 38950 | 8096 69372 230627 | 2147483647 30433 16 | 0.173 % |
6.06/6.16 c | 39233 | 8096 69372 230627 | 2147483647 30716 16 | 0.173 % |
6.16/6.21 c | 39542 | 8096 69372 230627 | 2147483647 31025 16 | 0.173 % |
6.16/6.28 c | 39881 | 8096 69372 230627 | 2147483647 31364 16 | 0.173 % |
6.26/6.33 c | 40253 | 8096 69372 230627 | 2147483647 31736 16 | 0.173 % |
6.26/6.39 c | 40662 | 8096 69372 230627 | 2147483647 32145 16 | 0.173 % |
6.36/6.46 c | 41112 | 8096 69372 230627 | 2147483647 32595 16 | 0.173 % |
6.46/6.58 c | 41606 | 8096 69372 230627 | 2147483647 33089 16 | 0.173 % |
6.56/6.68 c | 42150 | 8096 69372 230627 | 2147483647 33633 16 | 0.173 % |
6.76/6.84 c | 42746 | 8096 69372 230627 | 2147483647 34229 16 | 0.173 % |
6.76/6.86 c | 42846 | 8096 69372 230627 | 2147483647 34329 16 | 0.173 % |
6.76/6.89 c | 42956 | 8096 69372 230627 | 2147483647 34439 16 | 0.173 % |
6.86/6.92 c | 43077 | 8096 69372 230627 | 2147483647 34560 16 | 0.173 % |
6.86/6.95 c | 43213 | 8096 69372 230627 | 2147483647 34696 16 | 0.173 % |
6.86/6.98 c | 43360 | 8096 69372 230627 | 2147483647 34843 16 | 0.173 % |
6.96/7.02 c | 43520 | 8096 69372 230627 | 2147483647 35003 16 | 0.173 % |
6.96/7.05 c | 43696 | 8096 69372 230627 | 2147483647 35179 16 | 0.173 % |
7.06/7.10 c | 43889 | 8096 69372 230627 | 2147483647 35372 16 | 0.173 % |
7.06/7.16 c | 44101 | 8096 69372 230627 | 2147483647 35584 16 | 0.173 % |
7.16/7.21 c | 44335 | 8096 69372 230627 | 2147483647 35818 16 | 0.173 % |
7.16/7.26 c | 44593 | 8096 69372 230627 | 2147483647 36076 16 | 0.173 % |
7.26/7.33 c | 44874 | 8096 69372 230627 | 2147483647 36357 16 | 0.173 % |
7.26/7.39 c | 45183 | 8096 69372 230627 | 2147483647 36666 16 | 0.173 % |
7.46/7.50 c | 45522 | 8096 69372 230627 | 2147483647 37005 16 | 0.173 % |
7.56/7.61 c | 45894 | 8096 69372 230627 | 2147483647 37377 16 | 0.173 % |
7.66/7.73 c | 46305 | 8096 69372 230627 | 2147483647 37788 16 | 0.173 % |
7.66/7.80 c | 46754 | 8096 69372 230627 | 2147483647 38237 16 | 0.173 % |
7.76/7.89 c | 47247 | 8096 69372 230627 | 2147483647 38730 16 | 0.173 % |
7.85/7.98 c | 47789 | 8096 69372 230627 | 2147483647 39272 16 | 0.173 % |
7.95/8.06 c | 48385 | 8096 69372 230627 | 2147483647 39868 16 | 0.173 % |
8.05/8.18 c | 49041 | 8096 69372 230627 | 2147483647 40524 16 | 0.173 % |
8.15/8.21 c | 49141 | 8096 69372 230627 | 2147483647 40624 16 | 0.173 % |
8.15/8.25 c | 49251 | 8096 69372 230627 | 2147483647 40734 16 | 0.173 % |
8.15/8.29 c | 49373 | 8096 69372 230627 | 2147483647 40856 16 | 0.173 % |
8.25/8.32 c | 49506 | 8096 69372 230627 | 2147483647 40989 16 | 0.173 % |
8.25/8.36 c | 49653 | 8096 69372 230627 | 2147483647 41136 16 | 0.173 % |
8.35/8.41 c | 49813 | 8096 69372 230627 | 2147483647 41296 16 | 0.173 % |
8.35/8.45 c | 49989 | 8096 69372 230627 | 2147483647 41472 16 | 0.173 % |
8.45/8.52 c | 50182 | 8096 69372 230627 | 2147483647 41665 16 | 0.173 % |
8.45/8.56 c | 50394 | 8096 69372 230627 | 2147483647 41877 16 | 0.173 % |
8.55/8.61 c | 50627 | 8096 69372 230627 | 2147483647 42110 16 | 0.173 % |
8.55/8.67 c | 50884 | 8096 69372 230627 | 2147483647 42367 16 | 0.173 % |
8.65/8.74 c | 51165 | 8096 69372 230627 | 2147483647 42648 16 | 0.173 % |
8.75/8.83 c | 51475 | 8096 69372 230627 | 2147483647 42958 16 | 0.173 % |
8.85/8.92 c | 51814 | 8096 69372 230627 | 2147483647 43297 16 | 0.173 % |
8.95/9.01 c | 52188 | 8096 69372 230627 | 2147483647 43671 16 | 0.173 % |
9.05/9.13 c | 52600 | 8096 69372 230627 | 2147483647 44083 17 | 0.173 % |
9.15/9.24 c | 53049 | 8096 69372 230627 | 2147483647 44532 17 | 0.173 % |
9.25/9.38 c | 53543 | 8096 69372 230627 | 2147483647 45026 17 | 0.173 % |
9.45/9.57 c | 54088 | 8096 69372 230627 | 2147483647 45571 17 | 0.173 % |
9.65/9.77 c | 54688 | 8096 69372 230627 | 2147483647 46171 17 | 0.173 % |
9.85/9.97 c | 55344 | 8096 69372 230627 | 2147483647 46827 17 | 0.173 % |
10.15/10.22 c | 56064 | 8096 69372 230627 | 2147483647 47547 17 | 0.173 % |
10.15/10.26 c | 56164 | 8096 69372 230627 | 2147483647 47647 17 | 0.173 % |
10.15/10.29 c | 56274 | 8096 69372 230627 | 2147483647 47757 17 | 0.173 % |
10.24/10.33 c | 56395 | 8096 69372 230627 | 2147483647 47878 17 | 0.173 % |
10.24/10.38 c | 56528 | 8096 69372 230627 | 2147483647 48011 17 | 0.173 % |
10.34/10.42 c | 56677 | 8096 69372 230627 | 2147483647 48160 17 | 0.173 % |
10.34/10.46 c | 56837 | 8096 69372 230627 | 2147483647 48320 17 | 0.173 % |
10.44/10.51 c | 57013 | 8096 69372 230627 | 2147483647 48496 17 | 0.173 % |
10.44/10.59 c | 57208 | 8096 69372 230627 | 2147483647 48691 17 | 0.173 % |
10.54/10.66 c | 57420 | 8096 69372 230627 | 2147483647 48903 17 | 0.173 % |
10.64/10.75 c | 57654 | 8096 69372 230627 | 2147483647 49137 17 | 0.173 % |
10.74/10.85 c | 57910 | 8096 69372 230627 | 2147483647 49393 17 | 0.173 % |
10.85/10.95 c | 58193 | 8096 69372 230627 | 2147483647 49676 17 | 0.173 % |
10.95/11.06 c | 58502 | 8096 69372 230627 | 2147483647 49985 17 | 0.173 % |
11.14/11.20 c | 58842 | 8096 69372 230627 | 2147483647 50325 17 | 0.173 % |
11.24/11.33 c | 59215 | 8096 69372 230627 | 2147483647 50698 17 | 0.173 % |
11.34/11.49 c | 59624 | 8096 69372 230627 | 2147483647 51107 17 | 0.173 % |
11.54/11.65 c | 60075 | 8096 69372 230627 | 2147483647 51558 17 | 0.173 % |
11.74/11.84 c | 60568 | 8096 69372 230627 | 2147483647 52051 17 | 0.173 % |
11.95/12.06 c | 61110 | 8096 69372 230627 | 2147483647 52593 17 | 0.173 % |
12.14/12.27 c | 61706 | 8096 69372 230627 | 2147483647 53189 17 | 0.173 % |
12.34/12.48 c | 62362 | 8096 69372 230627 | 2147483647 53845 17 | 0.173 % |
12.64/12.76 c | 63082 | 8096 69372 230627 | 2147483647 54565 17 | 0.173 % |
12.94/13.09 c | 63874 | 8096 69372 230627 | 2147483647 55357 17 | 0.173 % |
13.05/13.13 c | 63974 | 8096 69372 230627 | 2147483647 55457 17 | 0.173 % |
13.05/13.16 c | 64086 | 8096 69372 230627 | 2147483647 55569 17 | 0.173 % |
13.14/13.23 c | 64207 | 8096 69372 230627 | 2147483647 55690 17 | 0.173 % |
13.14/13.29 c | 64342 | 8096 69372 230627 | 2147483647 55825 17 | 0.173 % |
13.24/13.34 c | 64490 | 8096 69372 230627 | 2147483647 55973 17 | 0.173 % |
13.34/13.42 c | 64651 | 8096 69372 230627 | 2147483647 56134 17 | 0.173 % |
13.44/13.52 c | 64829 | 8096 69372 230627 | 2147483647 56312 17 | 0.173 % |
13.54/13.60 c | 65022 | 8096 69372 230627 | 2147483647 56505 17 | 0.173 % |
13.64/13.75 c | 65235 | 8096 69372 230627 | 2147483647 56718 17 | 0.173 % |
13.74/13.84 c | 65468 | 8096 69372 230627 | 2147483647 56951 17 | 0.173 % |
13.84/13.97 c | 65724 | 8096 69372 230627 | 2147483647 57207 17 | 0.173 % |
14.04/14.11 c | 66006 | 8096 69372 230627 | 2147483647 57489 17 | 0.173 % |
14.14/14.27 c | 66315 | 8096 69372 230627 | 2147483647 57798 17 | 0.173 % |
14.34/14.44 c | 66654 | 8096 69372 230627 | 2147483647 58137 17 | 0.173 % |
14.44/14.55 c | 67026 | 8096 69372 230627 | 2147483647 58509 17 | 0.173 % |
14.64/14.71 c | 67435 | 8096 69372 230627 | 2147483647 58918 17 | 0.173 % |
14.94/15.02 c | 67884 | 8096 69372 230627 | 2147483647 59367 17 | 0.173 % |
15.14/15.23 c | 68378 | 8096 69372 230627 | 2147483647 59861 17 | 0.173 % |
15.34/15.49 c | 68920 | 8096 69372 230627 | 2147483647 60403 17 | 0.173 % |
15.64/15.75 c | 69516 | 8096 69372 230627 | 2147483647 60999 18 | 0.173 % |
16.04/16.12 c | 70172 | 8096 69372 230627 | 2147483647 61655 18 | 0.173 % |
16.24/16.36 c | 70894 | 8096 69372 230627 | 2147483647 62377 18 | 0.173 % |
16.64/16.72 c | 71686 | 8096 69372 230627 | 2147483647 63169 18 | 0.173 % |
17.04/17.19 c | 72558 | 8096 69372 230627 | 2147483647 64041 18 | 0.173 % |
17.14/17.24 c | 72660 | 8096 69372 230627 | 2147483647 64143 18 | 0.173 % |
17.24/17.31 c | 72770 | 8096 69372 230627 | 2147483647 64253 18 | 0.173 % |
17.24/17.38 c | 72891 | 8096 69372 230627 | 2147483647 64374 18 | 0.173 % |
17.34/17.47 c | 73024 | 8096 69372 230627 | 2147483647 64507 18 | 0.173 % |
17.45/17.55 c | 73172 | 8096 69372 230627 | 2147483647 64655 18 | 0.173 % |
17.55/17.64 c | 73334 | 8096 69372 230627 | 2147483647 64817 18 | 0.173 % |
17.64/17.74 c | 73511 | 8096 69372 230627 | 2147483647 64994 18 | 0.173 % |
17.74/17.87 c | 73704 | 8096 69372 230627 | 2147483647 65187 18 | 0.173 % |
17.84/17.98 c | 73918 | 8096 69372 230627 | 2147483647 65401 18 | 0.173 % |
18.04/18.12 c | 74152 | 8096 69372 230627 | 2147483647 65635 18 | 0.173 % |
18.14/18.29 c | 74408 | 8096 69372 230627 | 2147483647 65891 18 | 0.173 % |
18.24/18.38 c | 74689 | 8096 69372 230627 | 2147483647 66172 18 | 0.173 % |
18.44/18.53 c | 74999 | 8096 69372 230627 | 2147483647 66482 18 | 0.173 % |
18.54/18.62 c | 75338 | 8096 69372 230627 | 2147483647 66821 18 | 0.173 % |
18.64/18.74 c | 75711 | 8096 69372 230627 | 2147483647 67194 18 | 0.173 % |
18.74/18.87 c | 76120 | 8096 69372 230627 | 2147483647 67603 18 | 0.173 % |
18.94/19.03 c | 76569 | 8096 69372 230627 | 2147483647 68052 18 | 0.173 % |
19.14/19.26 c | 77062 | 8096 69372 230627 | 2147483647 68545 18 | 0.173 % |
19.44/19.57 c | 77606 | 8096 69372 230627 | 2147483647 69089 18 | 0.173 % |
19.74/19.84 c | 78202 | 8096 69372 230627 | 2147483647 69685 18 | 0.173 % |
20.14/20.29 c | 78858 | 8096 69372 230627 | 2147483647 70341 18 | 0.173 % |
20.54/20.68 c | 79578 | 8096 69372 230627 | 2147483647 71061 18 | 0.173 % |
21.04/21.14 c | 80371 | 8096 69372 230627 | 2147483647 71854 18 | 0.173 % |
21.64/21.79 c | 81243 | 8096 69372 230627 | 2147483647 72726 18 | 0.173 % |
22.34/22.41 c | 82202 | 8096 69372 230627 | 2147483647 73685 18 | 0.173 % |
22.34/22.47 c | 82306 | 8096 69372 230627 | 2147483647 73789 18 | 0.173 % |
22.44/22.55 c | 82416 | 8096 69372 230627 | 2147483647 73899 18 | 0.173 % |
22.54/22.61 c | 82539 | 8096 69372 230627 | 2147483647 74022 18 | 0.173 % |
22.64/22.70 c | 82672 | 8096 69372 230627 | 2147483647 74155 18 | 0.173 % |
22.64/22.79 c | 82822 | 8096 69372 230627 | 2147483647 74305 18 | 0.173 % |
22.73/22.87 c | 82985 | 8096 69372 230627 | 2147483647 74468 18 | 0.173 % |
22.83/22.97 c | 83161 | 8096 69372 230627 | 2147483647 74644 18 | 0.173 % |
22.94/23.09 c | 83355 | 8096 69372 230627 | 2147483647 74838 18 | 0.173 % |
23.04/23.17 c | 83567 | 8096 69372 230627 | 2147483647 75050 18 | 0.173 % |
23.23/23.33 c | 83801 | 8096 69372 230627 | 2147483647 75284 18 | 0.173 % |
23.43/23.50 c | 84057 | 8096 69372 230627 | 2147483647 75540 18 | 0.173 % |
23.53/23.67 c | 84339 | 8096 69372 230627 | 2147483647 75822 18 | 0.173 % |
23.73/23.88 c | 84649 | 8096 69372 230627 | 2147483647 76132 18 | 0.173 % |
23.93/24.08 c | 84990 | 8096 69372 230627 | 2147483647 76473 18 | 0.173 % |
24.23/24.37 c | 85362 | 8096 69372 230627 | 2147483647 76845 18 | 0.173 % |
24.53/24.67 c | 85772 | 8096 69372 230627 | 2147483647 77255 18 | 0.173 % |
24.93/25.04 c | 86222 | 8096 69372 230627 | 2147483647 77705 18 | 0.173 % |
25.23/25.35 c | 86715 | 8096 69372 230627 | 2147483647 78198 18 | 0.173 % |
25.53/25.60 c | 87257 | 8096 69372 230627 | 2147483647 78740 18 | 0.173 % |
25.83/25.96 c | 87854 | 8096 69372 230627 | 2147483647 79337 18 | 0.173 % |
26.13/26.28 c | 88509 | 8096 69372 230627 | 2147483647 79992 18 | 0.173 % |
26.73/26.83 c | 89229 | 8096 69372 230627 | 2147483647 80712 18 | 0.173 % |
27.23/27.39 c | 90021 | 8096 69372 230627 | 81483 81504 18 | 0.173 % |
28.13/28.27 c | 90894 | 8096 69372 230627 | 81483 73123 18 | 0.173 % |
28.73/28.84 c | 91853 | 8096 69372 230627 | 81483 74082 18 | 0.173 % |
29.43/29.57 c | 92909 | 8096 69372 230627 | 81483 75138 18 | 0.173 % |
29.53/29.63 c | 93009 | 8096 69372 230627 | 81483 75238 18 | 0.173 % |
29.63/29.73 c | 93119 | 8096 69372 230627 | 81483 75348 18 | 0.173 % |
29.73/29.84 c | 93242 | 8096 69372 230627 | 81483 75471 18 | 0.173 % |
29.83/29.95 c | 93375 | 8096 69372 230627 | 81483 75604 18 | 0.173 % |
29.93/30.01 c | 93522 | 8096 69372 230627 | 81483 75751 18 | 0.173 % |
30.13/30.20 c | 93683 | 8096 69372 230627 | 81483 75912 18 | 0.173 % |
30.13/30.29 c | 93859 | 8096 69372 230627 | 81483 76088 18 | 0.173 % |
30.33/30.44 c | 94052 | 8096 69372 230627 | 81483 76281 18 | 0.173 % |
30.53/30.63 c | 94265 | 8096 69372 230627 | 81483 76494 19 | 0.173 % |
30.73/30.87 c | 94499 | 8096 69372 230627 | 81483 76728 19 | 0.173 % |
31.03/31.11 c | 94756 | 8096 69372 230627 | 81483 76985 19 | 0.173 % |
31.23/31.31 c | 95037 | 8096 69372 230627 | 81483 77266 19 | 0.173 % |
31.43/31.56 c | 95347 | 8096 69372 230627 | 81483 77576 19 | 0.173 % |
31.63/31.77 c | 95688 | 8096 69372 230627 | 81483 77917 19 | 0.173 % |
31.93/32.05 c | 96063 | 8096 69372 230627 | 81483 78292 19 | 0.173 % |
32.43/32.52 c | 96473 | 8096 69372 230627 | 81483 78702 19 | 0.173 % |
32.83/32.92 c | 96922 | 8096 69372 230627 | 81483 79151 19 | 0.173 % |
33.23/33.32 c | 97415 | 8096 69372 230627 | 81483 79644 19 | 0.173 % |
33.73/33.82 c | 97958 | 8096 69372 230627 | 81483 80187 19 | 0.173 % |
34.22/34.33 c | 98555 | 8096 69372 230627 | 81483 80784 19 | 0.173 % |
34.73/34.87 c | 99210 | 8096 69372 230627 | 81483 81439 19 | 0.173 % |
35.33/35.46 c | 99932 | 8096 69372 230627 | 81483 69638 18 | 0.173 % |
35.83/35.97 c | 100724 | 8096 69372 230627 | 69706 59936 18 | 0.173 % |
36.43/36.52 c | 101595 | 8096 69372 230627 | 69706 60807 18 | 0.173 % |
37.34/37.41 c | 102553 | 8096 69372 230627 | 69706 61765 18 | 0.173 % |
38.13/38.26 c | 103606 | 8096 69372 230627 | 69706 62818 18 | 0.173 % |
38.93/39.04 c | 104765 | 8096 69372 230627 | 69706 63977 18 | 0.173 % |
39.03/39.12 c | 104865 | 8096 69372 230627 | 69706 64077 18 | 0.173 % |
39.03/39.19 c | 104978 | 8096 69372 230627 | 69706 64190 18 | 0.173 % |
39.13/39.27 c | 105099 | 8096 69372 230627 | 69706 64311 18 | 0.173 % |
39.23/39.37 c | 105232 | 8096 69372 230627 | 69706 64444 18 | 0.173 % |
39.43/39.53 c | 105378 | 8096 69372 230627 | 69706 64590 18 | 0.173 % |
39.53/39.65 c | 105538 | 8096 69372 230627 | 69706 64750 18 | 0.173 % |
39.63/39.79 c | 105714 | 8096 69372 230627 | 69706 64926 18 | 0.173 % |
39.83/39.93 c | 105907 | 8096 69372 230627 | 69706 65119 18 | 0.173 % |
39.93/40.09 c | 106120 | 8096 69372 230627 | 69706 65332 18 | 0.173 % |
40.13/40.24 c | 106355 | 8096 69372 230627 | 69706 65567 18 | 0.173 % |
40.33/40.43 c | 106612 | 8096 69372 230627 | 69706 65824 18 | 0.173 % |
40.43/40.59 c | 106895 | 8096 69372 230627 | 69706 66107 18 | 0.173 % |
40.63/40.79 c | 107208 | 8096 69372 230627 | 69706 66420 18 | 0.173 % |
41.03/41.12 c | 107549 | 8096 69372 230627 | 69706 66761 18 | 0.173 % |
41.33/41.42 c | 107921 | 8096 69372 230627 | 69706 67133 18 | 0.173 % |
41.63/41.71 c | 108332 | 8096 69372 230627 | 69706 67544 18 | 0.173 % |
41.93/42.02 c | 108782 | 8096 69372 230627 | 69706 67994 18 | 0.173 % |
42.33/42.42 c | 109275 | 8096 69372 230627 | 69706 68487 18 | 0.173 % |
42.73/42.86 c | 109817 | 8096 69372 230627 | 69706 69029 18 | 0.173 % |
43.22/43.35 c | 110413 | 8096 69372 230627 | 69212 60566 18 | 0.173 % |
43.72/43.81 c | 111069 | 8096 69372 230627 | 69212 61222 18 | 0.173 % |
44.12/44.29 c | 111789 | 8096 69372 230627 | 69212 61942 18 | 0.173 % |
44.42/44.52 c | 112581 | 8096 69372 230627 | 69212 62734 18 | 0.173 % |
45.03/45.15 c | 113454 | 8096 69372 230627 | 69212 63607 18 | 0.173 % |
45.52/45.66 c | 114413 | 8096 69372 230627 | 69212 64566 18 | 0.173 % |
45.92/46.06 c | 115466 | 8096 69372 230627 | 69212 65619 18 | 0.173 % |
46.32/46.49 c | 116627 | 8096 69372 230627 | 69212 66780 18 | 0.173 % |
46.72/46.81 c | 117900 | 8096 69372 230627 | 69212 68053 18 | 0.173 % |
46.72/46.85 c | 118001 | 8096 69372 230627 | 69212 68154 18 | 0.173 % |
46.82/46.93 c | 118112 | 8096 69372 230627 | 69212 68265 18 | 0.173 % |
46.92/47.03 c | 118233 | 8096 69372 230627 | 69212 68386 18 | 0.173 % |
47.02/47.18 c | 118367 | 8096 69372 230627 | 69212 68520 18 | 0.173 % |
47.13/47.27 c | 118514 | 8096 69372 230627 | 69212 68667 18 | 0.173 % |
47.32/47.41 c | 118674 | 8096 69372 230627 | 69212 68827 18 | 0.173 % |
47.42/47.52 c | 118850 | 8096 69372 230627 | 69212 69003 18 | 0.173 % |
47.52/47.63 c | 119043 | 8096 69372 230627 | 69212 69196 18 | 0.173 % |
47.72/47.87 c | 119258 | 8096 69372 230627 | 69212 62481 18 | 0.173 % |
47.82/47.97 c | 119492 | 8096 69372 230627 | 69212 62715 18 | 0.173 % |
48.02/48.12 c | 119748 | 8096 69372 230627 | 69212 62971 18 | 0.173 % |
48.22/48.33 c | 120031 | 8096 69372 230627 | 2147483647 63254 18 | 0.173 % |
48.42/48.52 c | 120342 | 8096 69372 230627 | 2147483647 63565 18 | 0.173 % |
48.52/48.62 c | 120681 | 8096 69372 230627 | 2147483647 63904 18 | 0.173 % |
48.62/48.76 c | 121057 | 8096 69372 230627 | 2147483647 64280 18 | 0.173 % |
48.92/49.01 c | 121468 | 8096 69372 230627 | 2147483647 64691 18 | 0.173 % |
49.02/49.15 c | 121917 | 8096 69372 230627 | 2147483647 65140 18 | 0.173 % |
49.22/49.39 c | 122415 | 8096 69372 230627 | 2147483647 65638 18 | 0.173 % |
49.42/49.56 c | 122957 | 8096 69372 230627 | 2147483647 66180 18 | 0.173 % |
49.62/49.75 c | 123553 | 8096 69372 230627 | 2147483647 66776 18 | 0.173 % |
49.82/49.98 c | 124211 | 8096 69372 230627 | 2147483647 67434 18 | 0.173 % |
50.12/50.23 c | 124931 | 8096 69372 230627 | 2147483647 68154 18 | 0.173 % |
50.32/50.45 c | 125724 | 8096 69372 230627 | 2147483647 68947 18 | 0.173 % |
50.62/50.76 c | 126595 | 8096 69372 230627 | 2147483647 69818 18 | 0.173 % |
50.92/51.06 c | 127553 | 8096 69372 230627 | 2147483647 70776 18 | 0.173 % |
51.22/51.38 c | 128608 | 8096 69372 230627 | 2147483647 71831 18 | 0.173 % |
51.72/51.88 c | 129769 | 8096 69372 230627 | 2147483647 72992 18 | 0.173 % |
52.12/52.26 c | 131043 | 8096 69372 230627 | 2147483647 74266 18 | 0.173 % |
52.52/52.68 c | 132443 | 8096 69372 230627 | 2147483647 75666 18 | 0.173 % |
52.62/52.72 c | 132543 | 8096 69372 230627 | 2147483647 75766 18 | 0.173 % |
52.62/52.78 c | 132653 | 8096 69372 230627 | 2147483647 75876 18 | 0.173 % |
52.72/52.83 c | 132774 | 8096 69372 230627 | 2147483647 75997 18 | 0.173 % |
52.72/52.88 c | 132907 | 8096 69372 230627 | 2147483647 76130 18 | 0.173 % |
52.82/52.94 c | 133053 | 8096 69372 230627 | 2147483647 76276 18 | 0.173 % |
52.91/53.02 c | 133213 | 8096 69372 230627 | 2147483647 76436 18 | 0.173 % |
52.91/53.06 c | 133389 | 8096 69372 230627 | 2147483647 76612 18 | 0.173 % |
53.01/53.15 c | 133584 | 8096 69372 230627 | 2147483647 76807 18 | 0.173 % |
53.11/53.23 c | 133798 | 8096 69372 230627 | 2147483647 77021 18 | 0.173 % |
53.21/53.30 c | 134031 | 8096 69372 230627 | 2147483647 77254 18 | 0.173 % |
53.31/53.40 c | 134287 | 8096 69372 230627 | 2147483647 77510 18 | 0.173 % |
53.41/53.51 c | 134569 | 8096 69372 230627 | 2147483647 77792 18 | 0.173 % |
53.51/53.63 c | 134879 | 8096 69372 230627 | 2147483647 78102 18 | 0.173 % |
53.72/53.81 c | 135219 | 8096 69372 230627 | 2147483647 78442 18 | 0.173 % |
53.82/53.94 c | 135592 | 8096 69372 230627 | 2147483647 78815 18 | 0.173 % |
54.01/54.14 c | 136001 | 8096 69372 230627 | 2147483647 79224 18 | 0.173 % |
54.11/54.29 c | 136450 | 8096 69372 230627 | 2147483647 79673 18 | 0.173 % |
54.31/54.48 c | 136944 | 8096 69372 230627 | 2147483647 80167 18 | 0.173 % |
54.51/54.66 c | 137488 | 8096 69372 230627 | 2147483647 80711 18 | 0.173 % |
54.82/54.93 c | 138084 | 8096 69372 230627 | 2147483647 81307 18 | 0.173 % |
55.01/55.18 c | 138740 | 8096 69372 230627 | 2147483647 81963 18 | 0.173 % |
55.31/55.41 c | 139460 | 8096 69372 230627 | 2147483647 82683 18 | 0.173 % |
55.61/55.73 c | 140252 | 8096 69372 230627 | 2147483647 83475 18 | 0.173 % |
55.91/56.02 c | 141125 | 8096 69372 230627 | 2147483647 84348 18 | 0.173 % |
56.41/56.52 c | 142085 | 8096 69372 230627 | 2147483647 85308 18 | 0.173 % |
56.81/56.98 c | 143138 | 8096 69372 230627 | 2147483647 86361 18 | 0.173 % |
57.31/57.45 c | 144297 | 8096 69372 230627 | 2147483647 87520 18 | 0.173 % |
57.91/58.03 c | 145571 | 8096 69372 230627 | 2147483647 88794 18 | 0.173 % |
58.51/58.62 c | 146971 | 8096 69372 230627 | 2147483647 90194 18 | 0.173 % |
59.21/59.38 c | 148511 | 8096 69372 230627 | 2147483647 91734 18 | 0.173 % |
59.31/59.44 c | 148613 | 8096 69372 230627 | 2147483647 91836 18 | 0.173 % |
59.31/59.48 c | 148723 | 8096 69372 230627 | 2147483647 91946 18 | 0.173 % |
59.41/59.54 c | 148845 | 8096 69372 230627 | 2147483647 92068 18 | 0.173 % |
59.41/59.59 c | 148978 | 8096 69372 230627 | 2147483647 92201 18 | 0.173 % |
59.51/59.66 c | 149127 | 8096 69372 230627 | 2147483647 92350 18 | 0.173 % |
59.61/59.74 c | 149288 | 8096 69372 230627 | 2147483647 92511 18 | 0.173 % |
59.71/59.83 c | 149466 | 8096 69372 230627 | 2147483647 92689 18 | 0.173 % |
59.81/59.91 c | 149660 | 8096 69372 230627 | 2147483647 92883 18 | 0.173 % |
59.91/60.03 c | 149872 | 8096 69372 230627 | 2147483647 93095 18 | 0.173 % |
60.01/60.17 c | 150106 | 8096 69372 230627 | 2147483647 93329 18 | 0.173 % |
60.11/60.23 c | 150362 | 8096 69372 230627 | 2147483647 93585 18 | 0.173 % |
60.11/60.29 c | 150644 | 8096 69372 230627 | 2147483647 93867 18 | 0.173 % |
60.21/60.36 c | 150953 | 8096 69372 230627 | 2147483647 94176 18 | 0.173 % |
60.31/60.45 c | 151292 | 8096 69372 230627 | 2147483647 94515 18 | 0.173 % |
60.51/60.62 c | 151665 | 8096 69372 230627 | 2147483647 94888 18 | 0.173 % |
60.61/60.77 c | 152074 | 8096 69372 230627 | 2147483647 95297 19 | 0.173 % |
60.91/61.02 c | 152523 | 8096 69372 230627 | 2147483647 95746 19 | 0.173 % |
61.11/61.26 c | 153016 | 8096 69372 230627 | 2147483647 96239 19 | 0.173 % |
61.41/61.54 c | 153558 | 8096 69372 230627 | 2147483647 96781 19 | 0.173 % |
61.71/61.87 c | 154156 | 8096 69372 230627 | 2147483647 97379 19 | 0.173 % |
62.11/62.22 c | 154811 | 8096 69372 230627 | 2147483647 98034 19 | 0.173 % |
62.52/62.60 c | 155531 | 8096 69372 230627 | 2147483647 98754 19 | 0.173 % |
62.82/62.99 c | 156325 | 8096 69372 230627 | 2147483647 99548 19 | 0.173 % |
63.31/63.43 c | 157196 | 8096 69372 230627 | 2147483647 100419 19 | 0.173 % |
63.81/63.99 c | 158154 | 8096 69372 230627 | 2147483647 101377 19 | 0.173 % |
64.51/64.63 c | 159207 | 8096 69372 230627 | 2147483647 102430 19 | 0.173 % |
65.01/65.19 c | 160365 | 8096 69372 230627 | 2147483647 103588 19 | 0.173 % |
65.51/65.68 c | 161639 | 8096 69372 230627 | 2147483647 104862 19 | 0.173 % |
66.31/66.43 c | 163039 | 8096 69372 230627 | 2147483647 106262 19 | 0.173 % |
66.81/66.95 c | 164581 | 8096 69372 230627 | 2147483647 107804 19 | 0.173 % |
68.11/68.21 c | 166277 | 8096 69372 230627 | 2147483647 109500 19 | 0.173 % |
68.11/68.27 c | 166377 | 8096 69372 230627 | 2147483647 109600 19 | 0.173 % |
68.21/68.32 c | 166489 | 8096 69372 230627 | 2147483647 109712 19 | 0.173 % |
68.31/68.40 c | 166610 | 8096 69372 230627 | 2147483647 109833 19 | 0.173 % |
68.31/68.45 c | 166744 | 8096 69372 230627 | 2147483647 109967 19 | 0.173 % |
68.41/68.54 c | 166893 | 8096 69372 230627 | 2147483647 110116 19 | 0.173 % |
68.51/68.62 c | 167053 | 8096 69372 230627 | 2147483647 110276 19 | 0.173 % |
68.61/68.73 c | 167230 | 8096 69372 230627 | 2147483647 110453 19 | 0.173 % |
68.71/68.82 c | 167423 | 8096 69372 230627 | 2147483647 110646 19 | 0.173 % |
68.81/68.93 c | 167639 | 8096 69372 230627 | 2147483647 110862 19 | 0.173 % |
68.90/69.05 c | 167873 | 8096 69372 230627 | 2147483647 111096 19 | 0.173 % |
69.11/69.23 c | 168131 | 8096 69372 230627 | 2147483647 111354 19 | 0.173 % |
69.30/69.44 c | 168412 | 8096 69372 230627 | 2147483647 111635 19 | 0.173 % |
69.50/69.62 c | 168722 | 8096 69372 230627 | 2147483647 111945 19 | 0.173 % |
69.60/69.75 c | 169061 | 8096 69372 230627 | 2147483647 112284 19 | 0.173 % |
69.90/70.00 c | 169433 | 8096 69372 230627 | 2147483647 112656 19 | 0.173 % |
70.10/70.25 c | 169842 | 8096 69372 230627 | 2147483647 113065 19 | 0.173 % |
70.31/70.45 c | 170291 | 8096 69372 230627 | 2147483647 113514 19 | 0.173 % |
70.60/70.76 c | 170784 | 8096 69372 230627 | 2147483647 114007 19 | 0.173 % |
70.91/71.02 c | 171326 | 8096 69372 230627 | 2147483647 114549 19 | 0.173 % |
71.31/71.45 c | 171923 | 8096 69372 230627 | 2147483647 115146 19 | 0.173 % |
71.81/71.94 c | 172579 | 8096 69372 230627 | 2147483647 115802 19 | 0.173 % |
72.11/72.29 c | 173299 | 8096 69372 230627 | 2147483647 116522 19 | 0.173 % |
72.51/72.66 c | 174093 | 8096 69372 230627 | 2147483647 117316 19 | 0.173 % |
73.11/73.24 c | 174964 | 8096 69372 230627 | 2147483647 118187 19 | 0.173 % |
73.70/73.80 c | 175923 | 8096 69372 230627 | 2147483647 119146 19 | 0.173 % |
74.50/74.66 c | 176977 | 8096 69372 230627 | 2147483647 120200 19 | 0.173 % |
75.30/75.43 c | 178136 | 8096 69372 230627 | 2147483647 121359 19 | 0.173 % |
75.81/75.99 c | 179409 | 8096 69372 230627 | 2147483647 122632 19 | 0.173 % |
78.10/78.22 c | 180809 | 8096 69372 230627 | 123225 108901 19 | 0.173 % |
78.90/79.08 c | 182349 | 8096 69372 230627 | 123225 110441 19 | 0.173 % |
80.11/80.22 c | 184044 | 8096 69372 230627 | 123225 112136 19 | 0.173 % |
81.20/81.37 c | 185907 | 8096 69372 230627 | 123225 113999 19 | 0.173 % |
81.30/81.45 c | 186008 | 8096 69372 230627 | 123225 114100 19 | 0.173 % |
81.40/81.54 c | 186118 | 8096 69372 230627 | 123225 114210 19 | 0.173 % |
81.50/81.60 c | 186239 | 8096 69372 230627 | 123225 114331 19 | 0.173 % |
81.50/81.65 c | 186375 | 8096 69372 230627 | 123225 114467 19 | 0.173 % |
81.60/81.77 c | 186522 | 8096 69372 230627 | 123225 114614 19 | 0.173 % |
81.70/81.86 c | 186683 | 8096 69372 230627 | 123225 114775 19 | 0.173 % |
81.80/81.96 c | 186859 | 8096 69372 230627 | 123225 114951 19 | 0.173 % |
81.90/82.08 c | 187052 | 8096 69372 230627 | 123225 115144 19 | 0.173 % |
82.00/82.19 c | 187265 | 8096 69372 230627 | 123225 115357 19 | 0.173 % |
82.20/82.31 c | 187498 | 8096 69372 230627 | 123225 115590 19 | 0.173 % |
82.30/82.42 c | 187756 | 8096 69372 230627 | 123225 115848 19 | 0.173 % |
82.40/82.53 c | 188037 | 8096 69372 230627 | 123225 116129 19 | 0.173 % |
84.40/84.60 c | 188346 | 8094 69090 229510 | 123225 82710 20 | 0.197 % |
84.70/84.86 c | 188685 | 8094 69090 229510 | 123225 83049 20 | 0.197 % |
84.90/85.04 c | 189058 | 8094 69090 229510 | 123225 83422 20 | 0.197 % |
85.20/85.34 c | 189467 | 8094 69090 229510 | 123225 83831 20 | 0.197 % |
85.50/85.63 c | 189917 | 8094 69090 229510 | 123225 84281 20 | 0.197 % |
85.90/86.06 c | 190414 | 8094 69090 229510 | 84364 75259 20 | 0.197 % |
86.20/86.35 c | 190958 | 8094 69090 229510 | 84364 75803 20 | 0.197 % |
86.60/86.77 c | 191555 | 8094 69090 229510 | 84364 76400 20 | 0.197 % |
86.89/87.09 c | 192211 | 8094 69090 229510 | 84364 77056 20 | 0.197 % |
87.39/87.59 c | 192931 | 8094 69090 229510 | 84364 77776 20 | 0.197 % |
87.80/88.00 c | 193727 | 8094 69090 229510 | 84364 78572 20 | 0.197 % |
88.39/88.53 c | 194598 | 8094 69090 229510 | 84364 79443 20 | 0.197 % |
89.00/89.18 c | 195556 | 8094 69090 229510 | 84364 80401 20 | 0.197 % |
89.79/89.94 c | 196609 | 8094 69090 229510 | 84364 81454 20 | 0.197 % |
90.49/90.66 c | 197768 | 8094 69090 229510 | 84364 82613 20 | 0.197 % |
91.49/91.60 c | 199046 | 8094 69090 229510 | 84364 83891 20 | 0.197 % |
92.49/92.65 c | 200449 | 8094 69090 229510 | 2147483647 76834 20 | 0.197 % |
93.39/93.57 c | 201989 | 8094 69090 229510 | 2147483647 78374 20 | 0.197 % |
94.39/94.57 c | 203683 | 8094 69090 229510 | 2147483647 80068 20 | 0.197 % |
95.59/95.72 c | 205546 | 8094 69090 229510 | 2147483647 81931 20 | 0.197 % |
96.79/96.96 c | 207596 | 8094 69090 229510 | 2147483647 83981 20 | 0.197 % |
96.89/97.03 c | 207696 | 8094 69090 229510 | 2147483647 84081 20 | 0.197 % |
96.99/97.12 c | 207808 | 8094 69090 229510 | 2147483647 84193 20 | 0.197 % |
97.09/97.23 c | 207933 | 8094 69090 229510 | 2147483647 84318 20 | 0.197 % |
97.19/97.35 c | 208067 | 8094 69090 229510 | 2147483647 84452 20 | 0.197 % |
97.29/97.47 c | 208213 | 8094 69090 229510 | 2147483647 84598 20 | 0.197 % |
97.49/97.63 c | 208374 | 8094 69090 229510 | 2147483647 84759 20 | 0.197 % |
97.59/97.80 c | 208550 | 8094 69090 229510 | 2147483647 84935 20 | 0.197 % |
97.79/97.97 c | 208744 | 8094 69090 229510 | 2147483647 85129 20 | 0.197 % |
97.99/98.10 c | 208956 | 8094 69090 229510 | 2147483647 85341 20 | 0.197 % |
98.09/98.26 c | 209189 | 8094 69090 229510 | 2147483647 85574 20 | 0.197 % |
98.29/98.46 c | 209447 | 8094 69090 229510 | 2147483647 85832 20 | 0.197 % |
98.49/98.65 c | 209728 | 8094 69090 229510 | 2147483647 86113 20 | 0.197 % |
98.69/98.89 c | 210038 | 8094 69090 229510 | 2147483647 86423 20 | 0.197 % |
98.99/99.10 c | 210377 | 8094 69090 229510 | 2147483647 86762 20 | 0.197 % |
99.09/99.27 c | 210750 | 8094 69090 229510 | 2147483647 87135 20 | 0.197 % |
99.49/99.63 c | 211159 | 8094 69090 229510 | 2147483647 87544 20 | 0.197 % |
99.79/99.98 c | 211609 | 8094 69090 229510 | 2147483647 87994 20 | 0.197 % |
100.19/100.34 c | 212104 | 8094 69090 229510 | 2147483647 88489 20 | 0.197 % |
100.49/100.69 c | 212646 | 8094 69090 229510 | 2147483647 89031 20 | 0.197 % |
100.99/101.17 c | 213242 | 8094 69090 229510 | 2147483647 89627 20 | 0.197 % |
101.39/101.57 c | 213899 | 8094 69090 229510 | 2147483647 90284 20 | 0.197 % |
101.99/102.15 c | 214619 | 8094 69090 229510 | 2147483647 91004 20 | 0.197 % |
102.49/102.61 c | 215411 | 8094 69090 229510 | 2147483647 91796 20 | 0.197 % |
102.99/103.10 c | 216285 | 8094 69090 229510 | 2147483647 92670 20 | 0.197 % |
103.89/104.00 c | 217243 | 8094 69090 229510 | 2147483647 93628 20 | 0.197 % |
104.40/104.55 c | 218297 | 8094 69090 229510 | 2147483647 94682 20 | 0.197 % |
105.19/105.37 c | 219455 | 8094 69090 229510 | 2147483647 95840 20 | 0.197 % |
106.09/106.22 c | 220728 | 8094 69090 229510 | 96385 86388 20 | 0.197 % |
107.09/107.29 c | 222129 | 8094 69090 229510 | 96385 87789 20 | 0.197 % |
108.09/108.23 c | 223670 | 8094 69090 229510 | 96385 89330 20 | 0.197 % |
109.19/109.39 c | 225364 | 8094 69090 229510 | 96385 91024 20 | 0.197 % |
110.29/110.46 c | 227229 | 8094 69090 229510 | 96385 92889 20 | 0.197 % |
111.59/111.70 c | 229280 | 8094 69090 229510 | 96385 94940 20 | 0.197 % |
113.19/113.35 c | 231533 | 8094 69090 229510 | 95660 87567 20 | 0.197 % |
113.29/113.40 c | 231633 | 8094 69090 229510 | 95660 87667 20 | 0.197 % |
113.39/113.50 c | 231744 | 8094 69090 229510 | 95660 87778 20 | 0.197 % |
113.39/113.58 c | 231865 | 8094 69090 229510 | 95660 87899 20 | 0.197 % |
113.49/113.68 c | 231999 | 8094 69090 229510 | 95660 88033 20 | 0.197 % |
113.59/113.79 c | 232146 | 8094 69090 229510 | 95660 88180 20 | 0.197 % |
113.69/113.88 c | 232306 | 8094 69090 229510 | 95660 88340 20 | 0.197 % |
113.89/114.01 c | 232482 | 8094 69090 229510 | 95660 88516 20 | 0.197 % |
113.99/114.17 c | 232676 | 8094 69090 229510 | 95660 88710 20 | 0.197 % |
114.19/114.31 c | 232888 | 8094 69090 229510 | 95660 88922 20 | 0.197 % |
114.39/114.50 c | 233121 | 8094 69090 229510 | 95660 89155 20 | 0.197 % |
114.49/114.64 c | 233380 | 8094 69090 229510 | 95660 89414 20 | 0.197 % |
114.69/114.85 c | 233663 | 8094 69090 229510 | 95660 89697 20 | 0.197 % |
114.89/115.06 c | 233972 | 8094 69090 229510 | 95660 90006 20 | 0.197 % |
115.09/115.28 c | 234312 | 8094 69090 229510 | 95660 90346 20 | 0.197 % |
115.39/115.55 c | 234684 | 8094 69090 229510 | 95660 90718 20 | 0.197 % |
115.68/115.81 c | 235093 | 8094 69090 229510 | 95660 91127 20 | 0.197 % |
116.08/116.21 c | 235542 | 8094 69090 229510 | 95660 91576 20 | 0.197 % |
116.49/116.65 c | 236037 | 8094 69090 229510 | 95660 92071 20 | 0.197 % |
116.98/117.11 c | 236579 | 8094 69090 229510 | 95660 92613 20 | 0.197 % |
117.38/117.55 c | 237175 | 8094 69090 229510 | 95660 93209 20 | 0.197 % |
117.88/118.02 c | 237831 | 8094 69090 229510 | 95660 93865 20 | 0.197 % |
118.38/118.57 c | 238551 | 8094 69090 229510 | 95660 94585 20 | 0.197 % |
118.98/119.17 c | 239346 | 8094 69090 229510 | 95660 95380 20 | 0.197 % |
119.79/119.93 c | 240220 | 8094 69090 229510 | 96036 96254 20 | 0.197 % |
120.68/120.82 c | 241179 | 8094 69090 229510 | 96036 84478 20 | 0.197 % |
121.18/121.34 c | 242233 | 8094 69090 229510 | 96036 85532 20 | 0.197 % |
121.99/122.19 c | 243391 | 8094 69090 229510 | 96036 86690 20 | 0.197 % |
122.88/123.00 c | 244664 | 8094 69090 229510 | 96036 87963 20 | 0.197 % |
123.88/124.09 c | 246064 | 8094 69090 229510 | 96036 89363 20 | 0.197 % |
125.18/125.32 c | 247604 | 8094 69090 229510 | 96036 90903 20 | 0.197 % |
126.78/126.93 c | 249300 | 8094 69090 229510 | 96036 92599 20 | 0.197 % |
127.88/128.09 c | 251163 | 8094 69090 229510 | 93300 83952 20 | 0.197 % |
129.38/129.59 c | 253213 | 8094 69090 229510 | 93300 86002 20 | 0.197 % |
131.18/131.35 c | 255466 | 8094 69090 229510 | 93300 88255 20 | 0.197 % |
133.18/133.31 c | 257944 | 8094 69090 229510 | 93300 90733 20 | 0.197 % |
133.28/133.41 c | 258047 | 8094 69090 229510 | 93300 90836 20 | 0.197 % |
133.38/133.50 c | 258157 | 8094 69090 229510 | 93300 90946 20 | 0.197 % |
133.48/133.60 c | 258278 | 8094 69090 229510 | 93300 91067 20 | 0.197 % |
133.58/133.70 c | 258411 | 8094 69090 229510 | 93300 91200 20 | 0.197 % |
133.68/133.80 c | 258558 | 8094 69090 229510 | 93300 91347 20 | 0.197 % |
133.78/133.92 c | 258718 | 8094 69090 229510 | 93300 91507 20 | 0.197 % |
133.88/134.02 c | 258895 | 8094 69090 229510 | 93300 91684 20 | 0.197 % |
133.98/134.18 c | 259090 | 8094 69090 229510 | 93300 91879 20 | 0.197 % |
134.18/134.32 c | 259305 | 8094 69090 229510 | 93300 92094 20 | 0.197 % |
134.28/134.46 c | 259539 | 8094 69090 229510 | 93300 92328 20 | 0.197 % |
134.58/134.72 c | 259796 | 8094 69090 229510 | 93300 92585 20 | 0.197 % |
134.67/134.88 c | 260080 | 8094 69090 229510 | 92790 92869 20 | 0.197 % |
135.08/135.23 c | 260390 | 8094 69090 229510 | 92790 82465 20 | 0.197 % |
135.37/135.51 c | 260730 | 8094 69090 229510 | 92790 82805 20 | 0.197 % |
135.57/135.75 c | 261103 | 8094 69090 229510 | 92790 83178 20 | 0.197 % |
135.87/136.08 c | 261513 | 8094 69090 229510 | 92790 83588 20 | 0.197 % |
136.28/136.43 c | 261962 | 8094 69090 229510 | 92790 84037 20 | 0.197 % |
136.68/136.85 c | 262455 | 8094 69090 229510 | 92790 84530 20 | 0.197 % |
136.97/137.14 c | 263000 | 8094 69090 229510 | 92790 85075 20 | 0.197 % |
137.47/137.63 c | 263596 | 8094 69090 229510 | 92790 85671 20 | 0.197 % |
138.07/138.26 c | 264251 | 8094 69090 229510 | 92790 86326 20 | 0.197 % |
138.67/138.80 c | 264973 | 8094 69090 229510 | 92790 87048 20 | 0.197 % |
139.27/139.42 c | 265765 | 8094 69090 229510 | 92790 87840 20 | 0.197 % |
139.87/140.02 c | 266636 | 8094 69090 229510 | 92790 88711 20 | 0.197 % |
140.68/140.81 c | 267594 | 8094 69090 229510 | 92790 89669 20 | 0.197 % |
141.47/141.65 c | 268649 | 8094 69090 229510 | 92790 90724 20 | 0.197 % |
142.27/142.47 c | 269807 | 8094 69090 229510 | 92790 91882 20 | 0.197 % |
143.47/143.66 c | 271081 | 8094 69090 229510 | 92076 81269 20 | 0.197 % |
144.57/144.73 c | 272481 | 8094 69090 229510 | 92076 82669 20 | 0.197 % |
145.67/145.88 c | 274022 | 8094 69090 229510 | 92076 84210 20 | 0.197 % |
146.67/146.90 c | 275717 | 8094 69090 229510 | 92076 85905 20 | 0.197 % |
148.17/148.36 c | 277581 | 8094 69090 229510 | 92076 87769 20 | 0.197 % |
149.77/149.99 c | 279630 | 8094 69090 229510 | 92076 89818 20 | 0.197 % |
151.07/151.28 c | 281883 | 8094 69090 229510 | 90190 82049 20 | 0.197 % |
152.87/153.01 c | 284361 | 8094 69090 229510 | 90190 84527 20 | 0.197 % |
154.97/155.15 c | 287088 | 8094 69090 229510 | 90190 87254 20 | 0.197 % |
155.06/155.25 c | 287188 | 8094 69090 229510 | 90190 87354 20 | 0.197 % |
155.16/155.31 c | 287298 | 8094 69090 229510 | 90190 87464 20 | 0.197 % |
155.26/155.46 c | 287419 | 8094 69090 229510 | 90190 87585 20 | 0.197 % |
155.36/155.59 c | 287553 | 8094 69090 229510 | 90190 87719 20 | 0.197 % |
155.56/155.76 c | 287700 | 8094 69090 229510 | 90190 87866 20 | 0.197 % |
155.76/155.92 c | 287860 | 8094 69090 229510 | 90190 88026 20 | 0.197 % |
155.86/156.05 c | 288037 | 8094 69090 229510 | 90190 88203 20 | 0.197 % |
156.07/156.22 c | 288234 | 8094 69090 229510 | 90190 88400 20 | 0.197 % |
156.16/156.39 c | 288448 | 8094 69090 229510 | 90190 88614 20 | 0.197 % |
156.36/156.58 c | 288685 | 8094 69090 229510 | 90190 88851 20 | 0.197 % |
156.56/156.74 c | 288941 | 8094 69090 229510 | 90190 89107 20 | 0.197 % |
156.86/157.03 c | 289224 | 8094 69090 229510 | 90190 89390 20 | 0.197 % |
157.17/157.36 c | 289534 | 8094 69090 229510 | 90190 89700 20 | 0.197 % |
157.46/157.64 c | 289873 | 8094 69090 229510 | 90190 90039 20 | 0.197 % |
157.66/157.89 c | 290245 | 8094 69090 229510 | 90166 90411 20 | 0.197 % |
158.17/158.35 c | 290654 | 8094 69090 229510 | 90166 81779 20 | 0.197 % |
158.56/158.71 c | 291103 | 8094 69090 229510 | 90166 82228 20 | 0.197 % |
158.86/159.08 c | 291596 | 8094 69090 229510 | 90166 82721 20 | 0.197 % |
159.36/159.56 c | 292139 | 8094 69090 229510 | 90166 83264 20 | 0.197 % |
159.76/159.96 c | 292736 | 8094 69090 229510 | 90166 83861 20 | 0.197 % |
160.16/160.34 c | 293391 | 8094 69090 229510 | 90166 84516 20 | 0.197 % |
160.56/160.76 c | 294111 | 8094 69090 229510 | 90166 85236 20 | 0.197 % |
161.16/161.30 c | 294903 | 8094 69090 229510 | 90166 86028 20 | 0.197 % |
161.76/161.96 c | 295776 | 8094 69090 229510 | 90166 86901 20 | 0.197 % |
162.36/162.57 c | 296734 | 8094 69090 229510 | 90166 87859 20 | 0.197 % |
163.26/163.44 c | 297787 | 8094 69090 229510 | 90166 88912 20 | 0.197 % |
163.86/164.01 c | 298948 | 8094 69090 229510 | 90166 90073 20 | 0.197 % |
165.06/165.22 c | 300221 | 8094 69090 229510 | 2147483647 82292 20 | 0.197 % |
165.96/166.19 c | 301621 | 8094 69090 229510 | 2147483647 83692 20 | 0.197 % |
167.15/167.36 c | 303161 | 8094 69090 229510 | 2147483647 85232 20 | 0.197 % |
168.45/168.67 c | 304856 | 8094 69090 229510 | 2147483647 86927 20 | 0.197 % |
170.05/170.20 c | 306719 | 8094 69090 229510 | 2147483647 88790 20 | 0.197 % |
171.25/171.48 c | 308769 | 8094 69090 229510 | 2147483647 90840 20 | 0.197 % |
173.05/173.29 c | 311025 | 8094 69090 229510 | 2147483647 93096 20 | 0.197 % |
175.55/175.76 c | 313503 | 8094 69090 229510 | 2147483647 95574 20 | 0.197 % |
178.45/178.67 c | 316230 | 8094 69090 229510 | 2147483647 98301 20 | 0.197 % |
181.05/181.25 c | 319227 | 8094 69090 229510 | 2147483647 101298 20 | 0.197 % |
181.15/181.32 c | 319331 | 8094 69090 229510 | 2147483647 101402 20 | 0.197 % |
181.25/181.44 c | 319441 | 8094 69090 229510 | 2147483647 101512 20 | 0.197 % |
181.45/181.60 c | 319562 | 8094 69090 229510 | 2147483647 101633 20 | 0.197 % |
181.55/181.73 c | 319695 | 8094 69090 229510 | 2147483647 101766 20 | 0.197 % |
181.65/181.87 c | 319842 | 8094 69090 229510 | 2147483647 101913 20 | 0.197 % |
181.85/182.05 c | 320002 | 8094 69090 229510 | 2147483647 102073 20 | 0.197 % |
182.25/182.41 c | 320178 | 8094 69090 229510 | 102073 88016 20 | 0.197 % |
182.35/182.55 c | 320375 | 8094 69090 229510 | 102073 88213 20 | 0.197 % |
182.55/182.75 c | 320588 | 8094 69090 229510 | 102073 88426 20 | 0.197 % |
182.85/183.00 c | 320821 | 8094 69090 229510 | 102073 88659 20 | 0.197 % |
183.05/183.25 c | 321077 | 8094 69090 229510 | 102073 88915 20 | 0.197 % |
183.25/183.42 c | 321358 | 8094 69090 229510 | 102073 89196 20 | 0.197 % |
183.56/183.73 c | 321669 | 8094 69090 229510 | 102073 89507 20 | 0.197 % |
183.85/184.00 c | 322011 | 8094 69090 229510 | 102073 89849 20 | 0.197 % |
184.15/184.34 c | 322386 | 8094 69090 229510 | 102073 90224 20 | 0.197 % |
184.56/184.71 c | 322797 | 8094 69090 229510 | 102073 90635 20 | 0.197 % |
184.85/185.03 c | 323246 | 8094 69090 229510 | 102073 91084 20 | 0.197 % |
185.15/185.39 c | 323739 | 8094 69090 229510 | 102073 91577 20 | 0.197 % |
185.55/185.80 c | 324281 | 8094 69090 229510 | 102073 92119 20 | 0.197 % |
186.15/186.32 c | 324880 | 8094 69090 229510 | 102073 92718 20 | 0.197 % |
186.65/186.87 c | 325537 | 8094 69090 229510 | 102073 93375 20 | 0.197 % |
187.35/187.50 c | 326258 | 8094 69090 229510 | 102073 94096 20 | 0.197 % |
187.75/187.94 c | 327051 | 8094 69090 229510 | 102073 94889 20 | 0.197 % |
188.55/188.73 c | 327922 | 8094 69090 229510 | 102073 95760 20 | 0.197 % |
189.25/189.40 c | 328880 | 8094 69090 229510 | 102073 96718 20 | 0.197 % |
189.95/190.13 c | 329937 | 8094 69090 229510 | 102073 97775 20 | 0.197 % |
190.95/191.13 c | 331097 | 8094 69090 229510 | 97838 85684 20 | 0.197 % |
191.95/192.10 c | 332372 | 8094 69090 229510 | 97838 86959 20 | 0.197 % |
193.05/193.26 c | 333773 | 8094 69090 229510 | 97838 88360 20 | 0.197 % |
194.15/194.33 c | 335314 | 8094 69090 229510 | 97838 89901 20 | 0.197 % |
195.45/195.66 c | 337010 | 8094 69090 229510 | 97838 91597 20 | 0.197 % |
197.35/197.52 c | 338873 | 8094 69090 229510 | 97838 93460 20 | 0.197 % |
199.15/199.34 c | 340923 | 8094 69090 229510 | 94589 84119 20 | 0.197 % |
200.94/201.20 c | 343176 | 8094 69090 229510 | 94589 86372 20 | 0.197 % |
203.14/203.37 c | 345656 | 8094 69090 229510 | 94589 88852 20 | 0.197 % |
204.94/205.17 c | 348382 | 8094 69090 229510 | 94589 91578 20 | 0.197 % |
207.34/207.54 c | 351379 | 8094 69090 229510 | 2147483647 94575 20 | 0.197 % |
209.64/209.88 c | 354675 | 8094 69090 229510 | 2147483647 97871 20 | 0.197 % |
209.74/209.97 c | 354775 | 8094 69090 229510 | 2147483647 97971 20 | 0.197 % |
209.84/210.06 c | 354886 | 8094 69090 229510 | 2147483647 98082 20 | 0.197 % |
209.94/210.17 c | 355007 | 8094 69090 229510 | 2147483647 98203 20 | 0.197 % |
210.14/210.30 c | 355142 | 8094 69090 229510 | 2147483647 98338 20 | 0.197 % |
210.24/210.40 c | 355288 | 8094 69090 229510 | 2147483647 98484 20 | 0.197 % |
210.34/210.50 c | 355448 | 8094 69090 229510 | 2147483647 98644 20 | 0.197 % |
210.54/210.71 c | 355624 | 8094 69090 229510 | 2147483647 98820 20 | 0.197 % |
210.74/210.91 c | 355817 | 8094 69090 229510 | 2147483647 99013 20 | 0.197 % |
210.84/211.07 c | 356029 | 8094 69090 229510 | 2147483647 99225 20 | 0.197 % |
211.14/211.30 c | 356262 | 8094 69090 229510 | 2147483647 99458 20 | 0.197 % |
211.34/211.54 c | 356519 | 8094 69090 229510 | 2147483647 99715 20 | 0.197 % |
211.64/211.88 c | 356800 | 8094 69090 229510 | 2147483647 99996 20 | 0.197 % |
211.94/212.20 c | 357110 | 8094 69090 229510 | 2147483647 100306 20 | 0.197 % |
212.24/212.48 c | 357449 | 8094 69090 229510 | 2147483647 100645 20 | 0.197 % |
212.54/212.74 c | 357821 | 8094 69090 229510 | 2147483647 101017 20 | 0.197 % |
212.94/213.15 c | 358230 | 8094 69090 229510 | 2147483647 101426 20 | 0.197 % |
213.34/213.54 c | 358680 | 8094 69090 229510 | 2147483647 101876 21 | 0.197 % |
213.74/213.95 c | 359173 | 8094 69090 229510 | 2147483647 102369 21 | 0.197 % |
214.24/214.41 c | 359715 | 8094 69090 229510 | 2147483647 102911 21 | 0.197 % |
214.94/215.17 c | 360312 | 8094 69090 229510 | 103196 89204 20 | 0.197 % |
215.54/215.76 c | 360967 | 8094 69090 229510 | 103196 89859 20 | 0.197 % |
216.14/216.32 c | 361687 | 8094 69090 229510 | 103196 90579 20 | 0.197 % |
216.74/216.99 c | 362479 | 8094 69090 229510 | 103196 91371 20 | 0.197 % |
217.54/217.75 c | 363351 | 8094 69090 229510 | 103196 92243 20 | 0.197 % |
218.43/218.62 c | 364310 | 8094 69090 229510 | 103196 93202 20 | 0.197 % |
219.43/219.67 c | 365366 | 8094 69090 229510 | 103196 94258 20 | 0.197 % |
220.63/220.83 c | 366524 | 8094 69090 229510 | 103196 95416 20 | 0.197 % |
221.73/221.94 c | 367801 | 8094 69090 229510 | 103196 96693 20 | 0.197 % |
223.04/223.27 c | 369201 | 8094 69090 229510 | 103196 98093 20 | 0.197 % |
224.63/224.89 c | 370744 | 8094 69090 229510 | 98893 84056 20 | 0.197 % |
225.63/225.89 c | 372438 | 8094 69090 229510 | 98893 85750 20 | 0.197 % |
226.83/227.05 c | 374301 | 8094 69090 229510 | 98893 87613 20 | 0.197 % |
228.13/228.36 c | 376350 | 8094 69090 229510 | 98893 89662 20 | 0.197 % |
229.73/229.94 c | 378604 | 8094 69090 229510 | 98893 91916 20 | 0.197 % |
231.73/231.91 c | 381084 | 8094 69090 229510 | 2147483647 94396 20 | 0.197 % |
234.53/234.73 c | 383809 | 8094 69090 229510 | 2147483647 97121 20 | 0.197 % |
237.73/237.93 c | 386810 | 8094 69090 229510 | 2147483647 100122 20 | 0.197 % |
241.13/241.30 c | 390108 | 8094 69090 229510 | 103313 103420 20 | 0.197 % |
244.22/244.49 c | 393735 | 8094 69090 229510 | 103313 92682 20 | 0.197 % |
244.32/244.59 c | 393836 | 8094 69090 229510 | 103313 92783 20 | 0.197 % |
244.52/244.72 c | 393948 | 8094 69090 229510 | 103313 92895 20 | 0.197 % |
244.62/244.86 c | 394069 | 8094 69090 229510 | 103313 93016 20 | 0.197 % |
244.82/245.01 c | 394202 | 8094 69090 229510 | 103313 93149 20 | 0.197 % |
244.92/245.15 c | 394348 | 8094 69090 229510 | 103313 93295 20 | 0.197 % |
245.13/245.31 c | 394510 | 8094 69090 229510 | 103313 93457 20 | 0.197 % |
245.32/245.51 c | 394686 | 8094 69090 229510 | 103313 93633 20 | 0.197 % |
245.52/245.74 c | 394879 | 8094 69090 229510 | 103313 93826 20 | 0.197 % |
245.62/245.90 c | 395092 | 8094 69090 229510 | 103313 94039 20 | 0.197 % |
245.92/246.16 c | 395326 | 8094 69090 229510 | 103313 94273 20 | 0.197 % |
246.23/246.45 c | 395582 | 8094 69090 229510 | 103313 94529 20 | 0.197 % |
246.42/246.69 c | 395865 | 8094 69090 229510 | 103313 94812 20 | 0.197 % |
246.82/247.03 c | 396175 | 8094 69090 229510 | 103313 95122 20 | 0.197 % |
247.02/247.23 c | 396515 | 8094 69090 229510 | 103313 95462 20 | 0.197 % |
247.52/247.72 c | 396887 | 8094 69090 229510 | 103313 95834 20 | 0.197 % |
247.82/248.07 c | 397296 | 8094 69090 229510 | 103313 96243 20 | 0.197 % |
248.22/248.44 c | 397745 | 8094 69090 229510 | 103313 96692 20 | 0.197 % |
248.62/248.80 c | 398238 | 8094 69090 229510 | 103313 97185 20 | 0.197 % |
249.22/249.42 c | 398781 | 8094 69090 229510 | 103313 97728 20 | 0.197 % |
249.72/249.91 c | 399377 | 8094 69090 229510 | 103313 98324 20 | 0.197 % |
250.32/250.55 c | 400032 | 8094 69090 229510 | 98950 98979 20 | 0.197 % |
251.32/251.51 c | 400752 | 8094 69090 229510 | 98950 85216 20 | 0.197 % |
251.92/252.19 c | 401546 | 8094 69090 229510 | 98950 86010 20 | 0.197 % |
252.72/252.91 c | 402417 | 8094 69090 229510 | 98950 86881 20 | 0.197 % |
253.32/253.56 c | 403375 | 8094 69090 229510 | 98950 87839 20 | 0.197 % |
254.12/254.37 c | 404428 | 8093 69087 229504 | 98950 88889 20 | 0.210 % |
255.22/255.47 c | 405587 | 8093 69087 229504 | 98950 90048 20 | 0.210 % |
256.42/256.66 c | 406862 | 8093 69087 229504 | 98950 91323 20 | 0.210 % |
257.92/258.16 c | 408262 | 8093 69087 229504 | 98950 92723 20 | 0.210 % |
259.32/259.52 c | 409806 | 8093 69087 229504 | 98950 94267 20 | 0.210 % |
260.82/261.03 c | 411501 | 8093 69087 229504 | 94462 83361 19 | 0.210 % |
262.32/262.52 c | 413364 | 8093 69087 229504 | 94462 85224 19 | 0.210 % |
264.32/264.52 c | 415414 | 8093 69087 229504 | 94462 87274 19 | 0.210 % |
265.81/266.09 c | 417668 | 8093 69087 229504 | 94462 89528 19 | 0.210 % |
267.41/267.66 c | 420148 | 8093 69087 229504 | 91860 92008 19 | 0.210 % |
269.11/269.39 c | 422874 | 8093 69087 229504 | 91860 83013 19 | 0.210 % |
272.21/272.42 c | 425874 | 8093 69087 229504 | 91860 86013 19 | 0.210 % |
274.51/274.74 c | 429172 | 8093 69087 229504 | 91860 89311 20 | 0.210 % |
277.61/277.80 c | 432799 | 8093 69087 229504 | 90140 83116 19 | 0.210 % |
280.61/280.85 c | 436787 | 8093 69087 229504 | 90140 87104 19 | 0.210 % |
280.71/280.93 c | 436890 | 8093 69087 229504 | 90140 87207 19 | 0.210 % |
280.81/281.03 c | 437000 | 8093 69087 229504 | 90140 87317 19 | 0.210 % |
280.91/281.15 c | 437122 | 8093 69087 229504 | 90140 87439 19 | 0.210 % |
281.01/281.21 c | 437255 | 8093 69087 229504 | 90140 87572 19 | 0.210 % |
281.11/281.36 c | 437401 | 8093 69087 229504 | 90140 87718 19 | 0.210 % |
281.31/281.50 c | 437561 | 8093 69087 229504 | 90140 87878 19 | 0.210 % |
281.51/281.74 c | 437737 | 8093 69087 229504 | 90140 88054 19 | 0.210 % |
281.61/281.89 c | 437930 | 8093 69087 229504 | 90140 88247 19 | 0.210 % |
281.71/281.99 c | 438143 | 8093 69087 229504 | 90140 88460 19 | 0.210 % |
282.01/282.29 c | 438376 | 8093 69087 229504 | 90140 88693 19 | 0.210 % |
282.31/282.51 c | 438633 | 8093 69087 229504 | 90140 88950 19 | 0.210 % |
282.51/282.73 c | 438919 | 8093 69087 229504 | 90140 89236 19 | 0.210 % |
282.81/283.02 c | 439228 | 8093 69087 229504 | 90140 89545 19 | 0.210 % |
283.01/283.29 c | 439568 | 8093 69087 229504 | 90140 89885 19 | 0.210 % |
283.51/283.78 c | 439940 | 8093 69087 229504 | 90140 90257 19 | 0.210 % |
284.01/284.23 c | 440350 | 8093 69087 229504 | 80684 72933 19 | 0.210 % |
284.11/284.33 c | 440800 | 8093 69087 229504 | 80684 73383 19 | 0.210 % |
284.41/284.62 c | 441294 | 8093 69087 229504 | 80684 73877 19 | 0.210 % |
284.81/285.01 c | 441837 | 8093 69087 229504 | 80684 74420 19 | 0.210 % |
285.31/285.51 c | 442433 | 8093 69087 229504 | 80684 75016 19 | 0.210 % |
285.91/286.12 c | 443089 | 8093 69087 229504 | 80684 75672 19 | 0.210 % |
286.41/286.69 c | 443810 | 8093 69087 229504 | 80684 76393 19 | 0.210 % |
287.01/287.23 c | 444602 | 8093 69087 229504 | 80684 77185 19 | 0.210 % |
287.71/287.99 c | 445473 | 8093 69087 229504 | 80684 78056 19 | 0.210 % |
288.21/288.48 c | 446432 | 8093 69087 229504 | 80684 79015 19 | 0.210 % |
289.02/289.25 c | 447485 | 8093 69087 229504 | 80684 80068 19 | 0.210 % |
289.91/290.16 c | 448643 | 8093 69087 229504 | 80684 73136 19 | 0.210 % |
290.91/291.19 c | 449916 | 8093 69087 229504 | 80684 74409 19 | 0.210 % |
292.11/292.31 c | 451316 | 8093 69087 229504 | 2147483647 75809 19 | 0.210 % |
293.21/293.46 c | 452857 | 8093 69087 229504 | 2147483647 77350 19 | 0.210 % |
294.41/294.70 c | 454551 | 8093 69087 229504 | 2147483647 79044 19 | 0.210 % |
295.91/296.15 c | 456414 | 8093 69087 229504 | 2147483647 80907 19 | 0.210 % |
297.21/297.45 c | 458464 | 8093 69087 229504 | 2147483647 82957 19 | 0.210 % |
299.31/299.55 c | 460717 | 8093 69087 229504 | 2147483647 85210 19 | 0.210 % |
301.21/301.49 c | 463196 | 8093 69087 229504 | 2147483647 87689 19 | 0.210 % |
303.21/303.44 c | 465925 | 8093 69087 229504 | 2147483647 90418 20 | 0.210 % |
305.71/305.95 c | 468922 | 8093 69087 229504 | 2147483647 93415 20 | 0.210 % |
309.01/309.22 c | 472221 | 8093 69087 229504 | 2147483647 96714 20 | 0.210 % |
312.11/312.34 c | 475846 | 8093 69087 229504 | 2147483647 100339 20 | 0.210 % |
315.90/316.16 c | 479833 | 8093 69087 229504 | 2147483647 104326 20 | 0.210 % |
320.30/320.51 c | 484218 | 8093 69087 229504 | 104493 95946 20 | 0.210 % |
320.40/320.64 c | 484320 | 8093 69087 229504 | 104493 96048 20 | 0.210 % |
320.50/320.78 c | 484431 | 8093 69087 229504 | 104493 96159 20 | 0.210 % |
320.70/320.90 c | 484552 | 8093 69087 229504 | 104493 96280 20 | 0.210 % |
320.80/321.07 c | 484686 | 8093 69087 229504 | 104493 96414 20 | 0.210 % |
321.00/321.20 c | 484832 | 8093 69087 229504 | 104493 96560 20 | 0.210 % |
321.10/321.36 c | 484995 | 8093 69087 229504 | 104493 96723 20 | 0.210 % |
321.30/321.51 c | 485173 | 8093 69087 229504 | 104493 96901 20 | 0.210 % |
321.50/321.79 c | 485366 | 8093 69087 229504 | 104493 97094 20 | 0.210 % |
321.80/322.07 c | 485578 | 8093 69087 229504 | 104493 97306 20 | 0.210 % |
322.00/322.24 c | 485811 | 8093 69087 229504 | 104493 97539 20 | 0.210 % |
322.19/322.49 c | 486070 | 8093 69087 229504 | 104493 97798 20 | 0.210 % |
322.59/322.89 c | 486351 | 8093 69087 229504 | 104493 98079 20 | 0.210 % |
322.99/323.20 c | 486661 | 8093 69087 229504 | 104493 98389 20 | 0.210 % |
323.29/323.50 c | 487002 | 8093 69087 229504 | 104493 98730 20 | 0.210 % |
323.59/323.87 c | 487376 | 8093 69087 229504 | 104493 99104 20 | 0.210 % |
323.99/324.22 c | 487787 | 8093 69087 229504 | 104493 99515 20 | 0.210 % |
324.49/324.76 c | 488236 | 8093 69087 229504 | 104493 99964 20 | 0.210 % |
324.99/325.22 c | 488729 | 8093 69087 229504 | 104493 100457 20 | 0.210 % |
325.49/325.78 c | 489271 | 8093 69087 229504 | 104493 100999 20 | 0.210 % |
326.09/326.31 c | 489868 | 8093 69087 229504 | 104493 101596 20 | 0.210 % |
326.79/327.08 c | 490523 | 8093 69087 229504 | 101732 88987 19 | 0.210 % |
327.50/327.74 c | 491243 | 8093 69087 229504 | 101732 89707 19 | 0.210 % |
328.60/328.87 c | 492036 | 8093 69087 229504 | 101732 90500 19 | 0.210 % |
329.29/329.53 c | 492908 | 8093 69087 229504 | 101732 91372 19 | 0.210 % |
329.89/330.15 c | 493867 | 8093 69087 229504 | 101732 92331 20 | 0.210 % |
330.89/331.17 c | 494920 | 8093 69087 229504 | 101732 93384 20 | 0.210 % |
332.29/332.56 c | 496078 | 8093 69087 229504 | 101732 94542 20 | 0.210 % |
333.69/333.91 c | 497353 | 8093 69087 229504 | 101732 95817 20 | 0.210 % |
335.09/335.32 c | 498753 | 8093 69087 229504 | 101732 97217 20 | 0.210 % |
336.89/337.19 c | 500294 | 8093 69087 229504 | 98464 84058 19 | 0.210 % |
338.19/338.44 c | 501994 | 8093 69087 229504 | 98464 85758 19 | 0.210 % |
339.69/339.93 c | 503858 | 8093 69087 229504 | 98464 87622 19 | 0.210 % |
341.19/341.48 c | 505909 | 8093 69087 229504 | 98464 89673 19 | 0.210 % |
343.29/343.56 c | 508162 | 8093 69087 229504 | 98464 91926 19 | 0.210 % |
345.48/345.77 c | 510641 | 8093 69087 229504 | 93766 83411 19 | 0.210 % |
347.68/347.95 c | 513367 | 8093 69087 229504 | 93766 86137 19 | 0.210 % |
350.38/350.60 c | 516364 | 8093 69087 229504 | 93766 89134 20 | 0.210 % |
354.18/354.43 c | 519661 | 8093 69087 229504 | 93766 92431 20 | 0.210 % |
357.08/357.33 c | 523286 | 8093 69087 229504 | 92770 84357 19 | 0.210 % |
360.68/360.99 c | 527273 | 8093 69087 229504 | 92770 88344 19 | 0.210 % |
365.78/366.07 c | 531659 | 8093 69087 229504 | 91072 81630 19 | 0.210 % |
369.68/369.91 c | 536482 | 8093 69087 229504 | 91072 86453 19 | 0.210 % |
369.68/369.98 c | 536582 | 8093 69087 229504 | 91072 86553 19 | 0.210 % |
369.88/370.14 c | 536692 | 8093 69087 229504 | 91072 86663 19 | 0.210 % |
369.98/370.26 c | 536813 | 8093 69087 229504 | 91072 86784 19 | 0.210 % |
370.08/370.37 c | 536946 | 8093 69087 229504 | 91072 86917 19 | 0.210 % |
370.28/370.53 c | 537093 | 8093 69087 229504 | 91072 87064 19 | 0.210 % |
370.38/370.67 c | 537253 | 8093 69087 229504 | 91072 87224 19 | 0.210 % |
370.57/370.85 c | 537429 | 8093 69087 229504 | 91072 87400 19 | 0.210 % |
370.77/371.01 c | 537622 | 8093 69087 229504 | 91072 87593 19 | 0.210 % |
370.97/371.23 c | 537837 | 8093 69087 229504 | 91072 87808 19 | 0.210 % |
371.17/371.44 c | 538070 | 8093 69087 229504 | 91072 88041 19 | 0.210 % |
371.37/371.69 c | 538326 | 8093 69087 229504 | 91072 88297 19 | 0.210 % |
371.77/372.04 c | 538607 | 8093 69087 229504 | 91072 88578 19 | 0.210 % |
372.07/372.33 c | 538917 | 8093 69087 229504 | 91072 88888 19 | 0.210 % |
372.37/372.62 c | 539256 | 8093 69087 229504 | 91072 89227 19 | 0.210 % |
372.47/372.79 c | 539628 | 8093 69087 229504 | 91072 89599 19 | 0.210 % |
372.87/373.16 c | 540037 | 8093 69087 229504 | 89971 90008 19 | 0.210 % |
373.47/373.76 c | 540486 | 8093 69087 229504 | 89971 80557 19 | 0.210 % |
373.78/374.08 c | 540981 | 8093 69087 229504 | 89971 81052 19 | 0.210 % |
374.17/374.46 c | 541524 | 8093 69087 229504 | 89971 81595 19 | 0.210 % |
374.88/375.16 c | 542121 | 8093 69087 229504 | 89971 82192 19 | 0.210 % |
375.37/375.66 c | 542778 | 8093 69087 229504 | 89971 82849 19 | 0.210 % |
376.27/376.52 c | 543499 | 8093 69087 229504 | 89971 83570 19 | 0.210 % |
377.08/377.35 c | 544295 | 8093 69087 229504 | 89971 84366 19 | 0.210 % |
377.77/378.07 c | 545166 | 8093 69087 229504 | 89971 85237 19 | 0.210 % |
378.57/378.83 c | 546125 | 8093 69087 229504 | 89971 86196 19 | 0.210 % |
379.57/379.82 c | 547178 | 8093 69087 229504 | 89971 87249 19 | 0.210 % |
380.38/380.65 c | 548337 | 8093 69087 229504 | 89971 88408 19 | 0.210 % |
381.38/381.68 c | 549610 | 8093 69087 229504 | 89971 89681 19 | 0.210 % |
382.77/383.05 c | 551011 | 8093 69087 229504 | 90073 82049 19 | 0.210 % |
384.27/384.50 c | 552553 | 8093 69087 229504 | 90073 83591 19 | 0.210 % |
385.37/385.69 c | 554248 | 8093 69087 229504 | 90073 85286 19 | 0.210 % |
386.77/387.02 c | 556111 | 8093 69087 229504 | 90073 87149 19 | 0.210 % |
388.67/388.96 c | 558160 | 8093 69087 229504 | 90073 89198 19 | 0.210 % |
391.27/391.51 c | 560413 | 8093 69087 229504 | 80778 72103 18 | 0.210 % |
393.37/393.60 c | 562892 | 8093 69087 229504 | 80778 74582 18 | 0.210 % |
395.47/395.77 c | 565618 | 8093 69087 229504 | 80778 77308 19 | 0.210 % |
397.66/397.94 c | 568618 | 8093 69087 229504 | 80778 80308 19 | 0.210 % |
400.07/400.40 c | 571914 | 8093 69087 229504 | 2147483647 75466 19 | 0.210 % |
402.86/403.12 c | 575539 | 8093 69087 229504 | 2147483647 79091 19 | 0.210 % |
406.66/407.00 c | 579528 | 8093 69087 229504 | 2147483647 83080 19 | 0.210 % |
410.26/410.57 c | 583913 | 8093 69087 229504 | 2147483647 87465 19 | 0.210 % |
414.76/415.03 c | 588736 | 8093 69087 229504 | 2147483647 92288 19 | 0.210 % |
420.55/420.83 c | 594042 | 8093 69087 229504 | 2147483647 97594 20 | 0.210 % |
420.65/420.99 c | 594142 | 8093 69087 229504 | 2147483647 97694 20 | 0.210 % |
420.75/421.09 c | 594252 | 8093 69087 229504 | 2147483647 97804 20 | 0.210 % |
420.96/421.25 c | 594374 | 8093 69087 229504 | 2147483647 97926 20 | 0.210 % |
421.15/421.44 c | 594510 | 8093 69087 229504 | 2147483647 98062 20 | 0.210 % |
421.35/421.62 c | 594656 | 8093 69087 229504 | 2147483647 98208 20 | 0.210 % |
421.55/421.86 c | 594818 | 8093 69087 229504 | 2147483647 98370 20 | 0.210 % |
421.85/422.13 c | 594994 | 8093 69087 229504 | 2147483647 98546 20 | 0.210 % |
422.06/422.34 c | 595188 | 8093 69087 229504 | 2147483647 98740 20 | 0.210 % |
422.25/422.55 c | 595400 | 8093 69087 229504 | 2147483647 98952 20 | 0.210 % |
422.55/422.81 c | 595634 | 8093 69087 229504 | 2147483647 99186 20 | 0.210 % |
422.76/423.06 c | 595891 | 8093 69087 229504 | 2147483647 99443 20 | 0.210 % |
423.06/423.32 c | 596172 | 8093 69087 229504 | 2147483647 99724 20 | 0.210 % |
423.36/423.66 c | 596482 | 8093 69087 229504 | 2147483647 100034 20 | 0.210 % |
423.66/423.97 c | 596821 | 8093 69087 229504 | 2147483647 100373 20 | 0.210 % |
423.96/424.27 c | 597193 | 8093 69087 229504 | 2147483647 100745 20 | 0.210 % |
424.36/424.68 c | 597602 | 8093 69087 229504 | 2147483647 101154 20 | 0.210 % |
424.96/425.27 c | 598052 | 8093 69087 229504 | 2147483647 101604 20 | 0.210 % |
425.66/425.96 c | 598547 | 8093 69087 229504 | 2147483647 102099 20 | 0.210 % |
426.16/426.48 c | 599089 | 8093 69087 229504 | 2147483647 102641 20 | 0.210 % |
426.76/427.06 c | 599685 | 8093 69087 229504 | 2147483647 103237 20 | 0.210 % |
427.36/427.61 c | 600340 | 8093 69087 229504 | 103553 103892 20 | 0.210 % |
428.46/428.70 c | 601060 | 8093 69087 229504 | 103553 89965 19 | 0.210 % |
429.15/429.48 c | 601854 | 8093 69087 229504 | 103553 90759 19 | 0.210 % |
429.95/430.23 c | 602725 | 8093 69087 229504 | 103553 91630 19 | 0.210 % |
430.96/431.25 c | 603684 | 8093 69087 229504 | 103553 92589 19 | 0.210 % |
431.96/432.22 c | 604740 | 8093 69087 229504 | 103553 93645 19 | 0.210 % |
432.75/433.07 c | 605898 | 8093 69087 229504 | 103553 94803 19 | 0.210 % |
434.26/434.56 c | 607172 | 8093 69087 229504 | 103553 96077 19 | 0.210 % |
435.45/435.74 c | 608573 | 8093 69087 229504 | 103553 97478 20 | 0.210 % |
437.15/437.44 c | 610114 | 8093 69087 229504 | 98905 99019 20 | 0.210 % |
439.15/439.49 c | 611808 | 8093 69087 229504 | 98905 87066 19 | 0.210 % |
441.15/441.42 c | 613671 | 8093 69087 229504 | 98905 88929 19 | 0.210 % |
442.95/443.29 c | 615720 | 8093 69087 229504 | 98905 90978 19 | 0.210 % |
444.95/445.28 c | 617974 | 8093 69087 229504 | 98905 93232 19 | 0.210 % |
447.15/447.41 c | 620453 | 8093 69087 229504 | 95259 84916 19 | 0.210 % |
449.25/449.59 c | 623179 | 8093 69087 229504 | 95259 87642 19 | 0.210 % |
451.35/451.66 c | 626179 | 8093 69087 229504 | 95259 90642 19 | 0.210 % |
453.95/454.22 c | 629475 | 8093 69087 229504 | 95259 93938 19 | 0.210 % |
457.14/457.41 c | 633102 | 8093 69087 229504 | 94464 88073 19 | 0.210 % |
460.55/460.86 c | 637091 | 8093 69087 229504 | 94464 92062 19 | 0.210 % |
465.24/465.50 c | 641477 | 8093 69087 229504 | 84696 77090 18 | 0.210 % |
468.74/469.06 c | 646301 | 8093 69087 229504 | 84696 81914 18 | 0.210 % |
473.43/473.76 c | 651606 | 8093 69087 229504 | 2147483647 78722 18 | 0.210 % |
478.43/478.73 c | 657441 | 8093 69087 229504 | 2147483647 84557 18 | 0.210 % |
478.53/478.86 c | 657541 | 8093 69087 229504 | 2147483647 84657 18 | 0.210 % |
478.63/478.95 c | 657651 | 8093 69087 229504 | 2147483647 84767 18 | 0.210 % |
478.73/479.06 c | 657772 | 8093 69087 229504 | 2147483647 84888 18 | 0.210 % |
478.83/479.14 c | 657906 | 8093 69087 229504 | 2147483647 85022 18 | 0.210 % |
478.93/479.24 c | 658052 | 8093 69087 229504 | 2147483647 85168 18 | 0.210 % |
479.13/479.42 c | 658212 | 8093 69087 229504 | 2147483647 85328 18 | 0.210 % |
479.24/479.56 c | 658388 | 8093 69087 229504 | 2147483647 85504 18 | 0.210 % |
479.43/479.72 c | 658583 | 8093 69087 229504 | 2147483647 85699 18 | 0.210 % |
479.63/479.99 c | 658795 | 8093 69087 229504 | 2147483647 85911 18 | 0.210 % |
479.93/480.28 c | 659028 | 8093 69087 229504 | 2147483647 86144 18 | 0.210 % |
480.23/480.53 c | 659285 | 8093 69087 229504 | 2147483647 86401 18 | 0.210 % |
480.44/480.78 c | 659567 | 8093 69087 229504 | 2147483647 86683 18 | 0.210 % |
480.73/481.04 c | 659877 | 8093 69087 229504 | 2147483647 86993 18 | 0.210 % |
481.13/481.44 c | 660219 | 8093 69087 229504 | 2147483647 87335 18 | 0.210 % |
481.43/481.79 c | 660592 | 8093 69087 229504 | 2147483647 87708 18 | 0.210 % |
481.93/482.22 c | 661002 | 8093 69087 229504 | 2147483647 88118 18 | 0.210 % |
482.23/482.60 c | 661451 | 8093 69087 229504 | 2147483647 88567 18 | 0.210 % |
482.63/482.92 c | 661948 | 8093 69087 229504 | 2147483647 89064 19 | 0.210 % |
483.13/483.43 c | 662491 | 8093 69087 229504 | 2147483647 89607 19 | 0.210 % |
483.73/484.01 c | 663088 | 8093 69087 229504 | 2147483647 90204 19 | 0.210 % |
484.53/484.86 c | 663743 | 8093 69087 229504 | 2147483647 90859 19 | 0.210 % |
485.23/485.54 c | 664464 | 8093 69087 229504 | 2147483647 91580 19 | 0.210 % |
485.83/486.16 c | 665258 | 8093 69087 229504 | 2147483647 92374 19 | 0.210 % |
487.03/487.31 c | 666130 | 8093 69087 229504 | 2147483647 93246 19 | 0.210 % |
488.13/488.42 c | 667088 | 8093 69087 229504 | 2147483647 94204 19 | 0.210 % |
489.03/489.31 c | 668141 | 8093 69087 229504 | 2147483647 95257 19 | 0.210 % |
489.93/490.28 c | 669299 | 8093 69087 229504 | 2147483647 96415 19 | 0.210 % |
491.02/491.39 c | 670572 | 8093 69087 229504 | 97118 85736 18 | 0.210 % |
492.12/492.47 c | 671974 | 8093 69087 229504 | 97118 87138 18 | 0.210 % |
493.42/493.76 c | 673514 | 8093 69087 229504 | 97118 88678 18 | 0.210 % |
495.12/495.49 c | 675212 | 8093 69087 229504 | 97118 90376 18 | 0.210 % |
496.83/497.12 c | 677075 | 8093 69087 229504 | 97118 92239 18 | 0.210 % |
499.02/499.32 c | 679124 | 8093 69087 229504 | 97118 94288 18 | 0.210 % |
501.52/501.85 c | 681377 | 8093 69087 229504 | 95164 86042 18 | 0.210 % |
503.52/503.84 c | 683856 | 8093 69087 229504 | 95164 88521 18 | 0.210 % |
505.92/506.29 c | 686582 | 8093 69087 229504 | 95164 91247 18 | 0.210 % |
507.12/507.43 c | 689579 | 8089 68667 227149 | 95164 28417 12 | 0.296 % |
507.52/507.86 c ===============================================================================
507.52/507.86 c restarts : 1029
507.52/507.86 c conflicts : 691455 (1366 /sec)
507.52/507.86 c decisions : 1001272 (1.81 % random) (1978 /sec)
507.52/507.86 c propagations : 161603153 (319217 /sec)
507.52/507.86 c conflict literals : 15107520 (36.47 % deleted)
507.52/507.86 c Memory used : 21.60 MB
507.52/507.86 c CPU time : 506.248 s
507.52/507.86 c
507.52/507.86 s UNSATISFIABLE
507.52/507.87 s UNSATISFIABLE
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1837404-1242869296/watcher-1837404-1242869296 -o /tmp/evaluation-result-1837404-1242869296/solver-1837404-1242869296 -C 10000 -W 12000 -M 1800 SatELiteGTI HOME/instance-1837404-1242869296.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.98 0.98 0.95 3/64 8310
/proc/meminfo: memFree=1503328/2055920 swapFree=4180396/4192956
[pid=8310] ppid=8308 vsize=5356 CPUtime=0
/proc/8310/stat : 8310 (SatELiteGTI) S 8308 8310 8137 0 -1 4194304 276 0 0 0 0 0 0 0 16 0 1 0 314962902 5484544 235 1992294400 4194304 4889804 548682068816 18446744073709551615 227848978514 0 0 4100 65536 18446744071563648864 0 0 17 0 0 0
/proc/8310/statm: 1339 235 195 169 0 50 0
[pid=8311] ppid=8310 vsize=5356 CPUtime=0
/proc/8311/stat : 8311 (SatELiteGTI) R 8310 8310 8137 0 -1 4194368 51 25 0 0 0 0 0 0 21 0 1 0 314962902 5484544 238 1992294400 4194304 4889804 548682068816 18446744073709551615 227848807236 0 65536 4096 65538 0 0 0 17 0 0 0
/proc/8311/statm: 1339 238 198 169 0 50 0
[pid=8313] ppid=8311 vsize=0 CPUtime=0
/proc/8313/stat : 8313 (sed) Z 8311 8310 8137 0 -1 4194316 163 0 0 0 0 0 0 0 18 0 1 0 314962903 0 0 1992294400 0 0 0 0 0 0 0 4096 0 18446744071563351923 0 0 17 1 0 0
/proc/8313/statm: 0 0 0 0 0 0 0
[startup+0.07973 s]
/proc/loadavg: 0.98 0.98 0.95 3/64 8310
/proc/meminfo: memFree=1503328/2055920 swapFree=4180396/4192956
[pid=8310] ppid=8308 vsize=5356 CPUtime=0
/proc/8310/stat : 8310 (SatELiteGTI) S 8308 8310 8137 0 -1 4194304 310 249 0 0 0 0 0 0 16 0 1 0 314962902 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 227848807236 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/8310/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.101732 s]
/proc/loadavg: 0.98 0.98 0.95 3/64 8310
/proc/meminfo: memFree=1503328/2055920 swapFree=4180396/4192956
[pid=8310] ppid=8308 vsize=5356 CPUtime=0
/proc/8310/stat : 8310 (SatELiteGTI) S 8308 8310 8137 0 -1 4194304 310 249 0 0 0 0 0 0 16 0 1 0 314962902 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 227848807236 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/8310/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.301768 s]
/proc/loadavg: 0.98 0.98 0.95 3/64 8310
/proc/meminfo: memFree=1503328/2055920 swapFree=4180396/4192956
[pid=8310] ppid=8308 vsize=5356 CPUtime=0
/proc/8310/stat : 8310 (SatELiteGTI) S 8308 8310 8137 0 -1 4194304 310 249 0 0 0 0 0 0 16 0 1 0 314962902 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 227848807236 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/8310/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.701839 s]
/proc/loadavg: 0.98 0.98 0.95 3/64 8310
/proc/meminfo: memFree=1503328/2055920 swapFree=4180396/4192956
[pid=8310] ppid=8308 vsize=5356 CPUtime=0
/proc/8310/stat : 8310 (SatELiteGTI) S 8308 8310 8137 0 -1 4194304 310 249 0 0 0 0 0 0 16 0 1 0 314962902 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 227848807236 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/8310/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+1.50199 s]
/proc/loadavg: 0.98 0.98 0.95 2/66 8315
/proc/meminfo: memFree=1481744/2055920 swapFree=4180396/4192956
[pid=8310] ppid=8308 vsize=5356 CPUtime=1.24
/proc/8310/stat : 8310 (SatELiteGTI) S 8308 8310 8137 0 -1 4194304 336 5727 0 0 0 0 119 5 16 0 1 0 314962902 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 227848807236 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8310/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 1.24
Current children cumulated vsize (KiB) 5356
[startup+3.10126 s]
/proc/loadavg: 0.98 0.98 0.95 2/66 8316
/proc/meminfo: memFree=1494032/2055920 swapFree=4180396/4192956
[pid=8310] ppid=8308 vsize=5356 CPUtime=1.24
/proc/8310/stat : 8310 (SatELiteGTI) S 8308 8310 8137 0 -1 4194304 336 5727 0 0 0 0 119 5 16 0 1 0 314962902 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 227848807236 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8310/statm: 1339 239 197 169 0 50 0
[pid=8316] ppid=8310 vsize=7476 CPUtime=1.83
/proc/8316/stat : 8316 (minisat_static) R 8310 8310 8137 0 -1 4194304 1706 0 0 0 182 1 0 0 25 0 1 0 314963028 7655424 1692 1992294400 134512640 135215339 4294956240 18446744073709551615 134528779 0 0 4096 3 0 0 0 17 1 0 0
/proc/8316/statm: 1869 1692 76 171 0 1696 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 12832
[startup+6.30182 s]
/proc/loadavg: 0.98 0.98 0.95 2/66 8316
/proc/meminfo: memFree=1492448/2055920 swapFree=4180396/4192956
[pid=8310] ppid=8308 vsize=5356 CPUtime=1.24
/proc/8310/stat : 8310 (SatELiteGTI) S 8308 8310 8137 0 -1 4194304 336 5727 0 0 0 0 119 5 16 0 1 0 314962902 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 227848807236 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8310/statm: 1339 239 197 169 0 50 0
[pid=8316] ppid=8310 vsize=8828 CPUtime=5.02
/proc/8316/stat : 8316 (minisat_static) R 8310 8310 8137 0 -1 4194304 2053 0 0 0 500 2 0 0 25 0 1 0 314963028 9039872 2039 1992294400 134512640 135215339 4294956240 18446744073709551615 134537869 0 0 4096 3 0 0 0 17 1 0 0
/proc/8316/statm: 2207 2039 76 171 0 2034 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 14184
[startup+12.702 s]
/proc/loadavg: 1.06 1.00 0.95 2/66 8316
/proc/meminfo: memFree=1489568/2055920 swapFree=4180396/4192956
[pid=8310] ppid=8308 vsize=5356 CPUtime=1.24
/proc/8310/stat : 8310 (SatELiteGTI) S 8308 8310 8137 0 -1 4194304 336 5727 0 0 0 0 119 5 16 0 1 0 314962902 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 227848807236 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8310/statm: 1339 239 197 169 0 50 0
[pid=8316] ppid=8310 vsize=11432 CPUtime=11.4
/proc/8316/stat : 8316 (minisat_static) R 8310 8310 8137 0 -1 4194304 2704 0 0 0 1138 2 0 0 25 0 1 0 314963028 11706368 2690 1992294400 134512640 135215339 4294956240 18446744073709551615 134528734 0 0 4096 3 0 0 0 17 1 0 0
/proc/8316/statm: 2858 2690 76 171 0 2685 0
Current children cumulated CPU time (s) 12.64
Current children cumulated vsize (KiB) 16788
[startup+25.5012 s]
/proc/loadavg: 1.05 1.00 0.95 2/66 8316
/proc/meminfo: memFree=1486496/2055920 swapFree=4180396/4192956
[pid=8310] ppid=8308 vsize=5356 CPUtime=1.24
/proc/8310/stat : 8310 (SatELiteGTI) S 8308 8310 8137 0 -1 4194304 336 5727 0 0 0 0 119 5 16 0 1 0 314962902 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 227848807236 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8310/statm: 1339 239 197 169 0 50 0
[pid=8316] ppid=8310 vsize=14492 CPUtime=24.19
/proc/8316/stat : 8316 (minisat_static) R 8310 8310 8137 0 -1 4194304 3453 0 0 0 2416 3 0 0 25 0 1 0 314963028 14839808 3439 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/8316/statm: 3623 3439 76 171 0 3450 0
Current children cumulated CPU time (s) 25.43
Current children cumulated vsize (KiB) 19848
[startup+51.1017 s]
/proc/loadavg: 1.03 1.00 0.95 2/66 8316
/proc/meminfo: memFree=1485408/2055920 swapFree=4180396/4192956
[pid=8310] ppid=8308 vsize=5356 CPUtime=1.24
/proc/8310/stat : 8310 (SatELiteGTI) S 8308 8310 8137 0 -1 4194304 336 5727 0 0 0 0 119 5 16 0 1 0 314962902 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 227848807236 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8310/statm: 1339 239 197 169 0 50 0
[pid=8316] ppid=8310 vsize=15520 CPUtime=49.78
/proc/8316/stat : 8316 (minisat_static) R 8310 8310 8137 0 -1 4194304 3718 0 0 0 4974 4 0 0 25 0 1 0 314963028 15892480 3704 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/8316/statm: 3880 3704 76 171 0 3707 0
Current children cumulated CPU time (s) 51.02
Current children cumulated vsize (KiB) 20876
[startup+102.306 s]
/proc/loadavg: 1.05 1.01 0.96 2/66 8316
/proc/meminfo: memFree=1480544/2055920 swapFree=4180396/4192956
[pid=8310] ppid=8308 vsize=5356 CPUtime=1.24
/proc/8310/stat : 8310 (SatELiteGTI) S 8308 8310 8137 0 -1 4194304 336 5727 0 0 0 0 119 5 16 0 1 0 314962902 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 227848807236 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8310/statm: 1339 239 197 169 0 50 0
[pid=8316] ppid=8310 vsize=20520 CPUtime=100.95
/proc/8316/stat : 8316 (minisat_static) R 8310 8310 8137 0 -1 4194304 4914 0 0 0 10089 6 0 0 25 0 1 0 314963028 21012480 4900 1992294400 134512640 135215339 4294956240 18446744073709551615 134528742 0 0 4096 3 0 0 0 17 1 0 0
/proc/8316/statm: 5130 4900 76 171 0 4957 0
Current children cumulated CPU time (s) 102.19
Current children cumulated vsize (KiB) 25876
[startup+162.302 s]
/proc/loadavg: 1.06 1.02 0.96 2/66 8316
/proc/meminfo: memFree=1480096/2055920 swapFree=4180396/4192956
[pid=8310] ppid=8308 vsize=5356 CPUtime=1.24
/proc/8310/stat : 8310 (SatELiteGTI) S 8308 8310 8137 0 -1 4194304 336 5727 0 0 0 0 119 5 16 0 1 0 314962902 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 227848807236 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8310/statm: 1339 239 197 169 0 50 0
[pid=8316] ppid=8310 vsize=20984 CPUtime=160.92
/proc/8316/stat : 8316 (minisat_static) R 8310 8310 8137 0 -1 4194304 5020 0 0 0 16085 7 0 0 25 0 1 0 314963028 21487616 5006 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/8316/statm: 5246 5006 76 171 0 5073 0
Current children cumulated CPU time (s) 162.16
Current children cumulated vsize (KiB) 26340
[startup+222.302 s]
/proc/loadavg: 1.05 1.03 0.97 2/66 8316
/proc/meminfo: memFree=1479840/2055920 swapFree=4180396/4192956
[pid=8310] ppid=8308 vsize=5356 CPUtime=1.24
/proc/8310/stat : 8310 (SatELiteGTI) S 8308 8310 8137 0 -1 4194304 336 5727 0 0 0 0 119 5 16 0 1 0 314962902 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 227848807236 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8310/statm: 1339 239 197 169 0 50 0
[pid=8316] ppid=8310 vsize=21128 CPUtime=220.89
/proc/8316/stat : 8316 (minisat_static) R 8310 8310 8137 0 -1 4194304 5082 0 0 0 22081 8 0 0 25 0 1 0 314963028 21635072 5068 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/8316/statm: 5282 5068 76 171 0 5109 0
Current children cumulated CPU time (s) 222.13
Current children cumulated vsize (KiB) 26484
[startup+282.301 s]
/proc/loadavg: 1.02 1.02 0.97 2/66 8316
/proc/meminfo: memFree=1479584/2055920 swapFree=4180396/4192956
[pid=8310] ppid=8308 vsize=5356 CPUtime=1.24
/proc/8310/stat : 8310 (SatELiteGTI) S 8308 8310 8137 0 -1 4194304 336 5727 0 0 0 0 119 5 16 0 1 0 314962902 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 227848807236 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8310/statm: 1339 239 197 169 0 50 0
[pid=8316] ppid=8310 vsize=21436 CPUtime=280.87
/proc/8316/stat : 8316 (minisat_static) R 8310 8310 8137 0 -1 4194304 5153 0 0 0 28079 8 0 0 25 0 1 0 314963028 21950464 5139 1992294400 134512640 135215339 4294956240 18446744073709551615 134529083 0 0 4096 3 0 0 0 17 1 0 0
/proc/8316/statm: 5359 5139 76 171 0 5186 0
Current children cumulated CPU time (s) 282.11
Current children cumulated vsize (KiB) 26792
[startup+342.302 s]
/proc/loadavg: 1.00 1.02 0.97 2/66 8316
/proc/meminfo: memFree=1479328/2055920 swapFree=4180396/4192956
[pid=8310] ppid=8308 vsize=5356 CPUtime=1.24
/proc/8310/stat : 8310 (SatELiteGTI) S 8308 8310 8137 0 -1 4194304 336 5727 0 0 0 0 119 5 16 0 1 0 314962902 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 227848807236 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8310/statm: 1339 239 197 169 0 50 0
[pid=8316] ppid=8310 vsize=21720 CPUtime=340.85
/proc/8316/stat : 8316 (minisat_static) R 8310 8310 8137 0 -1 4194304 5208 0 0 0 34076 9 0 0 25 0 1 0 314963028 22241280 5194 1992294400 134512640 135215339 4294956240 18446744073709551615 134528824 0 0 4096 3 0 0 0 17 1 0 0
/proc/8316/statm: 5430 5194 76 171 0 5257 0
Current children cumulated CPU time (s) 342.09
Current children cumulated vsize (KiB) 27076
[startup+402.302 s]
/proc/loadavg: 1.00 1.01 0.97 2/66 8316
/proc/meminfo: memFree=1479264/2055920 swapFree=4180396/4192956
[pid=8310] ppid=8308 vsize=5356 CPUtime=1.24
/proc/8310/stat : 8310 (SatELiteGTI) S 8308 8310 8137 0 -1 4194304 336 5727 0 0 0 0 119 5 16 0 1 0 314962902 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 227848807236 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8310/statm: 1339 239 197 169 0 50 0
[pid=8316] ppid=8310 vsize=21720 CPUtime=400.82
/proc/8316/stat : 8316 (minisat_static) R 8310 8310 8137 0 -1 4194304 5226 0 0 0 40073 9 0 0 25 0 1 0 314963028 22241280 5212 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/8316/statm: 5430 5212 76 171 0 5257 0
Current children cumulated CPU time (s) 402.06
Current children cumulated vsize (KiB) 27076
[startup+462.301 s]
/proc/loadavg: 1.00 1.01 0.97 2/66 8316
/proc/meminfo: memFree=1478944/2055920 swapFree=4180396/4192956
[pid=8310] ppid=8308 vsize=5356 CPUtime=1.24
/proc/8310/stat : 8310 (SatELiteGTI) S 8308 8310 8137 0 -1 4194304 336 5727 0 0 0 0 119 5 16 0 1 0 314962902 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 227848807236 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8310/statm: 1339 239 197 169 0 50 0
[pid=8316] ppid=8310 vsize=22112 CPUtime=460.8
/proc/8316/stat : 8316 (minisat_static) R 8310 8310 8137 0 -1 4194304 5292 0 0 0 46070 10 0 0 25 0 1 0 314963028 22642688 5278 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/8316/statm: 5528 5278 76 171 0 5355 0
Current children cumulated CPU time (s) 462.04
Current children cumulated vsize (KiB) 27468
Solver just ended. Dumping a history of the last processes samples
[startup+486.301 s]
/proc/loadavg: 1.00 1.00 0.97 2/66 8316
/proc/meminfo: memFree=1478944/2055920 swapFree=4180396/4192956
[pid=8310] ppid=8308 vsize=5356 CPUtime=1.24
/proc/8310/stat : 8310 (SatELiteGTI) S 8308 8310 8137 0 -1 4194304 336 5727 0 0 0 0 119 5 16 0 1 0 314962902 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 227848807236 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8310/statm: 1339 239 197 169 0 50 0
[pid=8316] ppid=8310 vsize=22112 CPUtime=484.79
/proc/8316/stat : 8316 (minisat_static) R 8310 8310 8137 0 -1 4194304 5294 0 0 0 48469 10 0 0 25 0 1 0 314963028 22642688 5280 1992294400 134512640 135215339 4294956240 18446744073709551615 134528884 0 0 4096 3 0 0 0 17 1 0 0
/proc/8316/statm: 5528 5280 76 171 0 5355 0
Current children cumulated CPU time (s) 486.03
Current children cumulated vsize (KiB) 27468
[startup+499.102 s]
/proc/loadavg: 1.00 1.00 0.97 2/66 8316
/proc/meminfo: memFree=1478944/2055920 swapFree=4180396/4192956
[pid=8310] ppid=8308 vsize=5356 CPUtime=1.24
/proc/8310/stat : 8310 (SatELiteGTI) S 8308 8310 8137 0 -1 4194304 336 5727 0 0 0 0 119 5 16 0 1 0 314962902 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 227848807236 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8310/statm: 1339 239 197 169 0 50 0
[pid=8316] ppid=8310 vsize=22112 CPUtime=497.58
/proc/8316/stat : 8316 (minisat_static) R 8310 8310 8137 0 -1 4194304 5294 0 0 0 49748 10 0 0 25 0 1 0 314963028 22642688 5280 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/8316/statm: 5528 5280 76 171 0 5355 0
Current children cumulated CPU time (s) 498.82
Current children cumulated vsize (KiB) 27468
[startup+502.302 s]
/proc/loadavg: 1.00 1.00 0.97 2/66 8316
/proc/meminfo: memFree=1478944/2055920 swapFree=4180396/4192956
[pid=8310] ppid=8308 vsize=5356 CPUtime=1.24
/proc/8310/stat : 8310 (SatELiteGTI) S 8308 8310 8137 0 -1 4194304 336 5727 0 0 0 0 119 5 16 0 1 0 314962902 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 227848807236 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8310/statm: 1339 239 197 169 0 50 0
[pid=8316] ppid=8310 vsize=22112 CPUtime=500.78
/proc/8316/stat : 8316 (minisat_static) R 8310 8310 8137 0 -1 4194304 5294 0 0 0 50068 10 0 0 25 0 1 0 314963028 22642688 5280 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/8316/statm: 5528 5280 76 171 0 5355 0
Current children cumulated CPU time (s) 502.02
Current children cumulated vsize (KiB) 27468
[startup+505.502 s]
/proc/loadavg: 1.00 1.00 0.97 2/66 8316
/proc/meminfo: memFree=1478944/2055920 swapFree=4180396/4192956
[pid=8310] ppid=8308 vsize=5356 CPUtime=1.24
/proc/8310/stat : 8310 (SatELiteGTI) S 8308 8310 8137 0 -1 4194304 336 5727 0 0 0 0 119 5 16 0 1 0 314962902 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 227848807236 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8310/statm: 1339 239 197 169 0 50 0
[pid=8316] ppid=8310 vsize=22112 CPUtime=503.98
/proc/8316/stat : 8316 (minisat_static) R 8310 8310 8137 0 -1 4194304 5294 0 0 0 50388 10 0 0 25 0 1 0 314963028 22642688 5280 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 1 0 0
/proc/8316/statm: 5528 5280 76 171 0 5355 0
Current children cumulated CPU time (s) 505.22
Current children cumulated vsize (KiB) 27468
[startup+507.106 s]
/proc/loadavg: 1.00 1.00 0.97 2/66 8316
/proc/meminfo: memFree=1478944/2055920 swapFree=4180396/4192956
[pid=8310] ppid=8308 vsize=5356 CPUtime=1.24
/proc/8310/stat : 8310 (SatELiteGTI) S 8308 8310 8137 0 -1 4194304 336 5727 0 0 0 0 119 5 16 0 1 0 314962902 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 227848807236 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8310/statm: 1339 239 197 169 0 50 0
[pid=8316] ppid=8310 vsize=22112 CPUtime=505.58
/proc/8316/stat : 8316 (minisat_static) R 8310 8310 8137 0 -1 4194304 5294 0 0 0 50548 10 0 0 25 0 1 0 314963028 22642688 5280 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/8316/statm: 5528 5280 76 171 0 5355 0
Current children cumulated CPU time (s) 506.82
Current children cumulated vsize (KiB) 27468
[startup+507.502 s]
/proc/loadavg: 1.00 1.00 0.97 2/66 8316
/proc/meminfo: memFree=1478944/2055920 swapFree=4180396/4192956
[pid=8310] ppid=8308 vsize=5356 CPUtime=1.24
/proc/8310/stat : 8310 (SatELiteGTI) S 8308 8310 8137 0 -1 4194304 336 5727 0 0 0 0 119 5 16 0 1 0 314962902 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 227848807236 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8310/statm: 1339 239 197 169 0 50 0
[pid=8316] ppid=8310 vsize=22112 CPUtime=505.98
/proc/8316/stat : 8316 (minisat_static) R 8310 8310 8137 0 -1 4194304 5294 0 0 0 50588 10 0 0 25 0 1 0 314963028 22642688 5280 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/8316/statm: 5528 5280 76 171 0 5355 0
Current children cumulated CPU time (s) 507.22
Current children cumulated vsize (KiB) 27468
[startup+507.702 s]
/proc/loadavg: 1.00 1.00 0.97 2/66 8316
/proc/meminfo: memFree=1478944/2055920 swapFree=4180396/4192956
[pid=8310] ppid=8308 vsize=5356 CPUtime=1.24
/proc/8310/stat : 8310 (SatELiteGTI) S 8308 8310 8137 0 -1 4194304 336 5727 0 0 0 0 119 5 16 0 1 0 314962902 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 227848807236 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8310/statm: 1339 239 197 169 0 50 0
[pid=8316] ppid=8310 vsize=22112 CPUtime=506.18
/proc/8316/stat : 8316 (minisat_static) R 8310 8310 8137 0 -1 4194304 5294 0 0 0 50608 10 0 0 25 0 1 0 314963028 22642688 5280 1992294400 134512640 135215339 4294956240 18446744073709551615 134528830 0 0 4096 3 0 0 0 17 1 0 0
/proc/8316/statm: 5528 5280 76 171 0 5355 0
Current children cumulated CPU time (s) 507.42
Current children cumulated vsize (KiB) 27468
[startup+507.801 s]
/proc/loadavg: 1.00 1.00 0.97 2/66 8316
/proc/meminfo: memFree=1478944/2055920 swapFree=4180396/4192956
[pid=8310] ppid=8308 vsize=5356 CPUtime=1.24
/proc/8310/stat : 8310 (SatELiteGTI) S 8308 8310 8137 0 -1 4194304 336 5727 0 0 0 0 119 5 16 0 1 0 314962902 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 227848807236 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8310/statm: 1339 239 197 169 0 50 0
[pid=8316] ppid=8310 vsize=22112 CPUtime=506.28
/proc/8316/stat : 8316 (minisat_static) R 8310 8310 8137 0 -1 4194304 5294 0 0 0 50618 10 0 0 25 0 1 0 314963028 22642688 5280 1992294400 134512640 135215339 4294956240 18446744073709551615 134528814 0 0 4096 3 0 0 0 17 1 0 0
/proc/8316/statm: 5528 5280 76 171 0 5355 0
Current children cumulated CPU time (s) 507.52
Current children cumulated vsize (KiB) 27468
Child status: 20
Real time (s): 507.879
CPU time (s): 507.616
CPU user time (s): 507.445
CPU system time (s): 0.170974
CPU usage (%): 99.9481
Max. virtual memory (cumulated for all children) (KiB): 30456
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 507.445
system time used= 0.170974
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 11517
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= 47
involuntary context switches= 2751
runsolver used 0.559914 second user time and 1.38379 second system time
The end
Begin job on node18 at 2009-05-21 03:28:16
IDJOB=1837404
IDBENCH=70946
IDSOLVER=674
FILE ID=node18/1837404-1242869296
PBS_JOBID= 9328595
Free space on /tmp= 66024 MiB
SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT09/APPLICATIONS/bioinfo/q_query_3_l47_lambda.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1837404-1242869296/watcher-1837404-1242869296 -o /tmp/evaluation-result-1837404-1242869296/solver-1837404-1242869296 -C 10000 -W 12000 -M 1800 SatELiteGTI HOME/instance-1837404-1242869296.cnf
TIME LIMIT= 10000 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= ed7689c65135a913d97feca3ab3874eb
RANDOM SEED=103233376
node18.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.280
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 : 5914.62
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.280
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: 1503744 kB
Buffers: 61420 kB
Cached: 435580 kB
SwapCached: 6676 kB
Active: 298752 kB
Inactive: 206556 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1503744 kB
SwapTotal: 4192956 kB
SwapFree: 4180396 kB
Dirty: 4920 kB
Writeback: 0 kB
Mapped: 13560 kB
Slab: 32916 kB
Committed_AS: 1121540 kB
PageTables: 1376 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= 66020 MiB
End job on node18 at 2009-05-21 03:36:44