0.00/0.00 c Parsing...
0.12/0.15 c ==============================================================================
0.12/0.15 c | | ORIGINAL | LEARNT | |
0.12/0.15 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress |
0.12/0.15 c ==============================================================================
0.12/0.15 c | 0 | 159423 466748 | 47826 0 0 nan | 0.000 % |
1.20/1.21 c | 0 | 71082 239848 | -- 0 -- -- | -- | -82705/-209984
1.20/1.22 c ==============================================================================
1.20/1.22 c Result : #vars: 8110 #clauses: 71082 #literals: 239848
1.20/1.22 c CPU time: 1.18 s
1.20/1.22 c ==============================================================================
1.20/1.30 c This is MiniSat 2.0 beta
1.20/1.30 c WARNING: for repeatability, setting FPU to use double precision
1.20/1.30 c ============================[ Problem Statistics ]=============================
1.20/1.30 c | |
1.20/1.31 c | Number of variables: 8110 |
1.20/1.31 c | Number of clauses: 71082 |
1.29/1.35 c | Parsing time: 0.04 s |
1.29/1.35 c ============================[ Search Statistics ]==============================
1.29/1.35 c | Conflicts | ORIGINAL | LEARNT | Progress |
1.29/1.35 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
1.29/1.35 c ===============================================================================
1.29/1.35 c | 0 | 8110 71082 239848 | 23694 0 nan | 0.000 % |
1.29/1.36 c | 100 | 8110 71082 239848 | 23694 100 9 | 0.000 % |
1.29/1.36 c | 200 | 8110 71082 239848 | 23694 200 9 | 0.000 % |
1.29/1.37 c | 300 | 8110 71082 239848 | 23694 300 10 | 0.000 % |
1.29/1.37 c | 410 | 8110 71082 239848 | 23694 410 11 | 0.000 % |
1.29/1.38 c | 510 | 8109 71082 239848 | 23694 509 11 | 0.012 % |
1.29/1.38 c | 620 | 8108 71082 239848 | 23694 618 12 | 0.037 % |
1.29/1.39 c | 741 | 8108 71082 239848 | 23694 739 12 | 0.037 % |
1.29/1.40 c | 841 | 8107 71082 239848 | 23694 839 12 | 0.037 % |
1.29/1.40 c | 951 | 8107 71082 239848 | 23694 949 13 | 0.037 % |
1.29/1.41 c | 1073 | 8107 71082 239848 | 23694 1071 13 | 0.037 % |
1.29/1.42 c | 1206 | 8107 71082 239848 | 23694 1204 13 | 0.037 % |
1.29/1.43 c | 1306 | 8107 71082 239848 | 23694 1304 12 | 0.037 % |
1.29/1.43 c | 1417 | 8107 71082 239848 | 23694 1415 12 | 0.037 % |
1.29/1.44 c | 1538 | 8107 71082 239848 | 23694 1536 12 | 0.037 % |
1.29/1.45 c | 1671 | 8107 71082 239848 | 23694 1669 12 | 0.037 % |
1.29/1.46 c | 1817 | 8107 71082 239848 | 23694 1815 12 | 0.037 % |
1.29/1.46 c | 1917 | 8107 71082 239848 | 23694 1915 12 | 0.037 % |
1.29/1.47 c | 2028 | 8107 71082 239848 | 23694 2026 12 | 0.037 % |
1.29/1.48 c | 2149 | 8107 71082 239848 | 23694 2147 12 | 0.037 % |
1.29/1.49 c | 2283 | 8107 71082 239848 | 23694 2281 12 | 0.037 % |
1.29/1.51 c | 2430 | 8107 70650 237736 | 23694 2427 12 | 0.037 % |
1.29/1.52 c | 2590 | 8107 70650 237736 | 23694 2587 12 | 0.037 % |
1.29/1.53 c | 2692 | 8107 70650 237736 | 23694 2689 12 | 0.037 % |
1.29/1.54 c | 2802 | 8107 70650 237736 | 23694 2799 12 | 0.037 % |
1.29/1.55 c | 2923 | 8107 70650 237736 | 23694 2920 12 | 0.037 % |
1.29/1.56 c | 3057 | 8107 70650 237736 | 23694 3054 13 | 0.037 % |
1.29/1.57 c | 3203 | 8107 70650 237736 | 23694 3200 13 | 0.037 % |
1.29/1.58 c | 3363 | 8107 70650 237736 | 23694 3360 13 | 0.037 % |
1.29/1.59 c | 3539 | 8107 70650 237736 | 23694 3536 13 | 0.037 % |
1.29/1.59 c | 3641 | 8107 70650 237736 | 23694 3638 13 | 0.037 % |
1.29/1.60 c | 3751 | 8107 70650 237736 | 23694 3748 13 | 0.037 % |
1.29/1.61 c | 3872 | 8107 70650 237736 | 23694 3869 13 | 0.037 % |
1.29/1.62 c | 4006 | 8107 70650 237736 | 23694 4003 13 | 0.037 % |
1.29/1.63 c | 4155 | 8107 70650 237736 | 23694 4152 13 | 0.037 % |
1.29/1.64 c | 4315 | 8107 70650 237736 | 23694 4312 13 | 0.037 % |
1.29/1.65 c | 4492 | 8107 70650 237736 | 23694 4489 13 | 0.037 % |
1.29/1.67 c | 4685 | 8107 70650 237736 | 23694 4682 13 | 0.037 % |
1.29/1.67 c | 4786 | 8107 70650 237736 | 23694 4783 13 | 0.037 % |
1.29/1.68 c | 4896 | 8107 70650 237736 | 23694 4893 13 | 0.037 % |
1.29/1.69 c | 5017 | 8107 70650 237736 | 23694 5014 13 | 0.037 % |
1.29/1.69 c | 5150 | 8107 70650 237736 | 23694 5147 13 | 0.037 % |
1.29/1.70 c | 5297 | 8107 70650 237736 | 23694 5294 13 | 0.037 % |
1.29/1.71 c | 5459 | 8107 70650 237736 | 23694 5456 13 | 0.037 % |
1.29/1.72 c | 5635 | 8107 70650 237736 | 23694 5632 13 | 0.037 % |
1.29/1.73 c | 5828 | 8107 70650 237736 | 23694 5825 13 | 0.037 % |
1.29/1.75 c | 6042 | 8107 70650 237736 | 23694 6039 13 | 0.037 % |
1.29/1.76 c | 6142 | 8107 70650 237736 | 23694 6139 13 | 0.037 % |
1.29/1.77 c | 6252 | 8107 70650 237736 | 23694 6249 13 | 0.037 % |
1.29/1.78 c | 6374 | 8107 70650 237736 | 23694 6371 13 | 0.037 % |
1.29/1.79 c | 6507 | 8107 70650 237736 | 23694 6504 13 | 0.037 % |
1.29/1.80 c | 6653 | 8107 70650 237736 | 23694 6650 13 | 0.037 % |
1.29/1.81 c | 6814 | 8107 70650 237736 | 23694 6811 13 | 0.037 % |
1.29/1.82 c | 6991 | 8107 70650 237736 | 23694 6988 13 | 0.037 % |
1.29/1.83 c | 7184 | 8107 70650 237736 | 23694 7181 13 | 0.037 % |
1.29/1.85 c | 7397 | 8107 70650 237736 | 23694 7394 13 | 0.037 % |
1.29/1.86 c | 7630 | 8107 70650 237736 | 23694 7627 13 | 0.037 % |
1.29/1.87 c | 7732 | 8107 70650 237736 | 23694 7729 13 | 0.037 % |
1.29/1.88 c | 7842 | 8107 70650 237736 | 23694 7839 13 | 0.037 % |
1.29/1.89 c | 7963 | 8107 70650 237736 | 23694 7960 14 | 0.037 % |
1.29/1.90 c | 8096 | 8107 70650 237736 | 23694 8093 14 | 0.037 % |
1.29/1.91 c | 8243 | 8107 70650 237736 | 23694 8240 14 | 0.037 % |
1.29/1.92 c | 8403 | 8107 70650 237736 | 23694 8400 14 | 0.037 % |
1.29/1.94 c | 8580 | 8107 70650 237736 | 23694 8577 14 | 0.037 % |
1.29/1.95 c | 8773 | 8107 70650 237736 | 23694 8770 14 | 0.037 % |
1.29/1.97 c | 8986 | 8107 70650 237736 | 23694 8983 14 | 0.037 % |
1.29/1.99 c | 9221 | 8107 70650 237736 | 23694 9218 14 | 0.037 % |
1.29/2.01 c | 9479 | 8107 70650 237736 | 23694 9476 14 | 0.037 % |
1.29/2.02 c | 9579 | 8107 70650 237736 | 23694 9576 14 | 0.037 % |
1.29/2.04 c | 9689 | 8107 70650 237736 | 23694 9686 14 | 0.037 % |
1.29/2.05 c | 9812 | 8107 70650 237736 | 23694 9809 14 | 0.037 % |
1.29/2.06 c | 9945 | 8107 70650 237736 | 23694 9942 14 | 0.037 % |
1.29/2.07 c | 10093 | 8107 70650 237736 | 2147483647 10090 14 | 0.037 % |
1.29/2.08 c | 10254 | 8107 70650 237736 | 2147483647 10251 14 | 0.037 % |
1.29/2.10 c | 10431 | 8107 70650 237736 | 2147483647 10428 14 | 0.037 % |
2.10/2.11 c | 10624 | 8107 70650 237736 | 2147483647 10621 14 | 0.037 % |
2.10/2.13 c | 10836 | 8107 70650 237736 | 2147483647 10833 14 | 0.037 % |
2.10/2.16 c | 11070 | 8107 70650 237736 | 2147483647 11067 14 | 0.037 % |
2.10/2.18 c | 11326 | 8107 70650 237736 | 2147483647 11323 14 | 0.037 % |
2.10/2.20 c | 11608 | 8107 70650 237736 | 2147483647 11605 14 | 0.037 % |
2.20/2.21 c | 11708 | 8107 70650 237736 | 2147483647 11705 14 | 0.037 % |
2.20/2.23 c | 11818 | 8107 70650 237736 | 2147483647 11815 14 | 0.037 % |
2.20/2.24 c | 11941 | 8107 70650 237736 | 2147483647 11938 14 | 0.037 % |
2.20/2.25 c | 12074 | 8107 70650 237736 | 2147483647 12071 14 | 0.037 % |
2.20/2.27 c | 12220 | 8107 70650 237736 | 2147483647 12217 14 | 0.037 % |
2.20/2.28 c | 12381 | 8107 70650 237736 | 2147483647 12378 14 | 0.037 % |
2.20/2.31 c | 12557 | 8107 70650 237736 | 2147483647 12554 14 | 0.037 % |
2.29/2.33 c | 12751 | 8107 70650 237736 | 2147483647 12748 14 | 0.037 % |
2.29/2.35 c | 12963 | 8107 70650 237736 | 2147483647 12960 14 | 0.037 % |
2.29/2.37 c | 13197 | 8107 70650 237736 | 2147483647 13194 14 | 0.037 % |
2.29/2.40 c | 13453 | 8107 70650 237736 | 2147483647 13450 14 | 0.037 % |
2.39/2.42 c | 13734 | 8107 70650 237736 | 2147483647 13731 14 | 0.037 % |
2.39/2.46 c | 14043 | 8107 70650 237736 | 2147483647 14040 14 | 0.037 % |
2.39/2.47 c | 14143 | 8107 70650 237736 | 2147483647 14140 14 | 0.037 % |
2.39/2.48 c | 14254 | 8107 70650 237736 | 2147483647 14251 14 | 0.037 % |
2.39/2.49 c | 14375 | 8107 70650 237736 | 2147483647 14372 14 | 0.037 % |
2.39/2.50 c | 14511 | 8107 70650 237736 | 2147483647 14508 14 | 0.037 % |
2.49/2.52 c | 14657 | 8107 70650 237736 | 2147483647 14654 14 | 0.037 % |
2.49/2.54 c | 14817 | 8107 70650 237736 | 2147483647 14814 14 | 0.037 % |
2.49/2.56 c | 14994 | 8107 70650 237736 | 2147483647 14991 14 | 0.037 % |
2.49/2.58 c | 15187 | 8107 70650 237736 | 2147483647 15184 14 | 0.037 % |
2.59/2.61 c | 15399 | 8107 70650 237736 | 2147483647 15396 14 | 0.037 % |
2.59/2.63 c | 15632 | 8107 70650 237736 | 2147483647 15629 14 | 0.037 % |
2.59/2.67 c | 15888 | 8107 70650 237736 | 2147483647 15885 14 | 0.037 % |
2.59/2.70 c | 16172 | 8107 70650 237736 | 2147483647 16169 14 | 0.037 % |
2.69/2.74 c | 16481 | 8107 70650 237736 | 2147483647 16478 14 | 0.037 % |
2.69/2.79 c | 16820 | 8107 70650 237736 | 2147483647 16817 14 | 0.037 % |
2.69/2.80 c | 16920 | 8107 70650 237736 | 2147483647 16917 14 | 0.037 % |
2.79/2.82 c | 17030 | 8107 70650 237736 | 2147483647 17027 14 | 0.037 % |
2.79/2.84 c | 17151 | 8107 70650 237736 | 2147483647 17148 14 | 0.037 % |
2.79/2.85 c | 17286 | 8107 70650 237736 | 2147483647 17283 14 | 0.037 % |
2.79/2.87 c | 17434 | 8107 70650 237736 | 2147483647 17431 14 | 0.037 % |
2.79/2.89 c | 17595 | 8107 70650 237736 | 2147483647 17592 14 | 0.037 % |
2.79/2.91 c | 17771 | 8107 70650 237736 | 2147483647 17768 14 | 0.037 % |
2.89/2.94 c | 17964 | 8107 70650 237736 | 2147483647 17961 14 | 0.037 % |
2.89/2.97 c | 18177 | 8107 70650 237736 | 2147483647 18174 14 | 0.037 % |
2.89/3.00 c | 18410 | 8107 70650 237736 | 2147483647 18407 14 | 0.037 % |
2.99/3.04 c | 18667 | 8107 70650 237736 | 2147483647 18664 14 | 0.037 % |
2.99/3.08 c | 18948 | 8107 70650 237736 | 2147483647 18945 14 | 0.037 % |
3.09/3.12 c | 19258 | 8107 70650 237736 | 2147483647 19255 14 | 0.037 % |
3.09/3.14 c | 19599 | 8107 70650 237736 | 2147483647 19596 14 | 0.037 % |
3.09/3.18 c | 19971 | 8107 70650 237736 | 2147483647 19968 14 | 0.037 % |
3.09/3.19 c | 20071 | 8107 70650 237736 | 2147483647 20068 14 | 0.037 % |
3.09/3.21 c | 20182 | 8107 70650 237736 | 2147483647 20179 14 | 0.037 % |
3.19/3.22 c | 20303 | 8107 70650 237736 | 2147483647 20300 14 | 0.037 % |
3.19/3.26 c | 20436 | 8096 69372 230627 | 2147483647 11919 13 | 0.173 % |
3.19/3.27 c | 20582 | 8096 69372 230627 | 2147483647 12065 13 | 0.173 % |
3.19/3.29 c | 20742 | 8096 69372 230627 | 2147483647 12225 13 | 0.173 % |
3.29/3.32 c | 20920 | 8096 69372 230627 | 2147483647 12403 13 | 0.173 % |
3.29/3.33 c | 21113 | 8096 69372 230627 | 2147483647 12596 14 | 0.173 % |
3.29/3.36 c | 21327 | 8096 69372 230627 | 2147483647 12810 14 | 0.173 % |
3.29/3.39 c | 21562 | 8096 69372 230627 | 2147483647 13045 14 | 0.173 % |
3.39/3.42 c | 21818 | 8096 69372 230627 | 2147483647 13301 14 | 0.173 % |
3.39/3.46 c | 22099 | 8096 69372 230627 | 2147483647 13582 14 | 0.173 % |
3.39/3.49 c | 22410 | 8096 69372 230627 | 2147483647 13893 14 | 0.173 % |
3.49/3.53 c | 22750 | 8096 69372 230627 | 2147483647 14233 14 | 0.173 % |
3.49/3.57 c | 23122 | 8096 69372 230627 | 2147483647 14605 14 | 0.173 % |
3.59/3.62 c | 23531 | 8096 69372 230627 | 2147483647 15014 14 | 0.173 % |
3.59/3.64 c | 23631 | 8096 69372 230627 | 2147483647 15114 14 | 0.173 % |
3.59/3.65 c | 23743 | 8096 69372 230627 | 2147483647 15226 14 | 0.173 % |
3.59/3.66 c | 23864 | 8096 69372 230627 | 2147483647 15347 14 | 0.173 % |
3.59/3.68 c | 23997 | 8096 69372 230627 | 2147483647 15480 14 | 0.173 % |
3.59/3.70 c | 24144 | 8096 69372 230627 | 2147483647 15627 14 | 0.173 % |
3.69/3.72 c | 24305 | 8096 69372 230627 | 2147483647 15788 14 | 0.173 % |
3.69/3.74 c | 24481 | 8096 69372 230627 | 2147483647 15964 14 | 0.173 % |
3.69/3.77 c | 24676 | 8096 69372 230627 | 2147483647 16159 14 | 0.173 % |
3.69/3.79 c | 24891 | 8096 69372 230627 | 2147483647 16374 14 | 0.173 % |
3.79/3.82 c | 25124 | 8096 69372 230627 | 2147483647 16607 14 | 0.173 % |
3.79/3.85 c | 25380 | 8096 69372 230627 | 2147483647 16863 14 | 0.173 % |
3.79/3.89 c | 25661 | 8096 69372 230627 | 2147483647 17144 14 | 0.173 % |
3.89/3.92 c | 25970 | 8096 69372 230627 | 2147483647 17453 15 | 0.173 % |
3.89/3.97 c | 26309 | 8096 69372 230627 | 2147483647 17792 15 | 0.173 % |
3.99/4.02 c | 26681 | 8096 69372 230627 | 2147483647 18164 15 | 0.173 % |
3.99/4.07 c | 27091 | 8096 69372 230627 | 2147483647 18574 15 | 0.173 % |
4.09/4.13 c | 27540 | 8096 69372 230627 | 2147483647 19023 15 | 0.173 % |
4.09/4.15 c | 27644 | 8096 69372 230627 | 2147483647 19127 15 | 0.173 % |
4.09/4.17 c | 27756 | 8096 69372 230627 | 2147483647 19239 15 | 0.173 % |
4.09/4.18 c | 27877 | 8096 69372 230627 | 2147483647 19360 15 | 0.173 % |
4.09/4.21 c | 28013 | 8096 69372 230627 | 2147483647 19496 15 | 0.173 % |
4.19/4.23 c | 28160 | 8096 69372 230627 | 2147483647 19643 15 | 0.173 % |
4.19/4.25 c | 28320 | 8096 69372 230627 | 2147483647 19803 15 | 0.173 % |
4.19/4.27 c | 28496 | 8096 69372 230627 | 2147483647 19979 15 | 0.173 % |
4.19/4.31 c | 28692 | 8096 69372 230627 | 2147483647 20175 15 | 0.173 % |
4.29/4.33 c | 28904 | 8096 69372 230627 | 2147483647 20387 15 | 0.173 % |
4.29/4.37 c | 29137 | 8096 69372 230627 | 2147483647 20620 15 | 0.173 % |
4.29/4.40 c | 29393 | 8096 69372 230627 | 2147483647 20876 15 | 0.173 % |
4.39/4.44 c | 29674 | 8096 69372 230627 | 2147483647 21157 15 | 0.173 % |
4.39/4.48 c | 29983 | 8096 69372 230627 | 2147483647 21466 15 | 0.173 % |
4.49/4.53 c | 30324 | 8096 69372 230627 | 2147483647 21807 15 | 0.173 % |
4.49/4.58 c | 30697 | 8096 69372 230627 | 2147483647 22180 15 | 0.173 % |
4.59/4.65 c | 31106 | 8096 69372 230627 | 2147483647 22589 15 | 0.173 % |
4.69/4.72 c | 31556 | 8096 69372 230627 | 2147483647 23039 15 | 0.173 % |
4.79/4.82 c | 32051 | 8096 69372 230627 | 2147483647 23534 15 | 0.173 % |
4.79/4.84 c | 32151 | 8096 69372 230627 | 2147483647 23634 15 | 0.173 % |
4.79/4.86 c | 32262 | 8096 69372 230627 | 2147483647 23745 15 | 0.173 % |
4.79/4.89 c | 32383 | 8096 69372 230627 | 2147483647 23866 15 | 0.173 % |
4.89/4.92 c | 32518 | 8096 69372 230627 | 2147483647 24001 15 | 0.173 % |
4.89/4.95 c | 32664 | 8096 69372 230627 | 2147483647 24147 15 | 0.173 % |
4.89/4.98 c | 32824 | 8096 69372 230627 | 2147483647 24307 15 | 0.173 % |
4.99/5.01 c | 33001 | 8096 69372 230627 | 2147483647 24484 15 | 0.173 % |
4.99/5.04 c | 33197 | 8096 69372 230627 | 2147483647 24680 15 | 0.173 % |
4.99/5.09 c | 33409 | 8096 69372 230627 | 2147483647 24892 15 | 0.173 % |
5.09/5.13 c | 33642 | 8096 69372 230627 | 2147483647 25125 15 | 0.173 % |
5.09/5.16 c | 33900 | 8096 69372 230627 | 2147483647 25383 15 | 0.173 % |
5.19/5.23 c | 34182 | 8096 69372 230627 | 2147483647 25665 15 | 0.173 % |
5.19/5.28 c | 34491 | 8096 69372 230627 | 2147483647 25974 15 | 0.173 % |
5.29/5.36 c | 34831 | 8096 69372 230627 | 2147483647 26314 16 | 0.173 % |
5.39/5.44 c | 35203 | 8096 69372 230627 | 2147483647 26686 16 | 0.173 % |
5.39/5.51 c | 35614 | 8096 69372 230627 | 2147483647 27097 16 | 0.173 % |
5.49/5.59 c | 36063 | 8096 69372 230627 | 2147483647 27546 16 | 0.173 % |
5.59/5.69 c | 36556 | 8096 69372 230627 | 2147483647 28039 16 | 0.173 % |
5.79/5.84 c | 37098 | 8096 69372 230627 | 2147483647 28581 16 | 0.173 % |
5.79/5.86 c | 37200 | 8096 69372 230627 | 2147483647 28683 16 | 0.173 % |
5.79/5.88 c | 37311 | 8096 69372 230627 | 2147483647 28794 16 | 0.173 % |
5.79/5.91 c | 37433 | 8096 69372 230627 | 2147483647 28916 16 | 0.173 % |
5.89/5.93 c | 37566 | 8096 69372 230627 | 2147483647 29049 16 | 0.173 % |
5.89/5.97 c | 37712 | 8096 69372 230627 | 2147483647 29195 16 | 0.173 % |
5.99/6.01 c | 37873 | 8096 69372 230627 | 2147483647 29356 16 | 0.173 % |
5.99/6.05 c | 38052 | 8096 69372 230627 | 2147483647 29535 16 | 0.173 % |
5.99/6.10 c | 38249 | 8096 69372 230627 | 2147483647 29732 16 | 0.173 % |
6.09/6.13 c | 38461 | 8096 69372 230627 | 2147483647 29944 16 | 0.173 % |
6.09/6.16 c | 38694 | 8096 69372 230627 | 2147483647 30177 16 | 0.173 % |
6.09/6.19 c | 38950 | 8096 69372 230627 | 2147483647 30433 16 | 0.173 % |
6.19/6.24 c | 39233 | 8096 69372 230627 | 2147483647 30716 16 | 0.173 % |
6.19/6.30 c | 39542 | 8096 69372 230627 | 2147483647 31025 16 | 0.173 % |
6.29/6.37 c | 39881 | 8096 69372 230627 | 2147483647 31364 16 | 0.173 % |
6.39/6.42 c | 40253 | 8096 69372 230627 | 2147483647 31736 16 | 0.173 % |
6.39/6.49 c | 40662 | 8096 69372 230627 | 2147483647 32145 16 | 0.173 % |
6.49/6.56 c | 41112 | 8096 69372 230627 | 2147483647 32595 16 | 0.173 % |
6.59/6.69 c | 41606 | 8096 69372 230627 | 2147483647 33089 16 | 0.173 % |
6.69/6.80 c | 42150 | 8096 69372 230627 | 2147483647 33633 16 | 0.173 % |
6.89/6.98 c | 42746 | 8096 69372 230627 | 2147483647 34229 16 | 0.173 % |
6.89/7.01 c | 42846 | 8096 69372 230627 | 2147483647 34329 16 | 0.173 % |
6.99/7.03 c | 42956 | 8096 69372 230627 | 2147483647 34439 16 | 0.173 % |
6.99/7.07 c | 43077 | 8096 69372 230627 | 2147483647 34560 16 | 0.173 % |
6.99/7.10 c | 43213 | 8096 69372 230627 | 2147483647 34696 16 | 0.173 % |
7.09/7.13 c | 43360 | 8096 69372 230627 | 2147483647 34843 16 | 0.173 % |
7.09/7.17 c | 43520 | 8096 69372 230627 | 2147483647 35003 16 | 0.173 % |
7.19/7.21 c | 43696 | 8096 69372 230627 | 2147483647 35179 16 | 0.173 % |
7.19/7.27 c | 43889 | 8096 69372 230627 | 2147483647 35372 16 | 0.173 % |
7.29/7.33 c | 44101 | 8096 69372 230627 | 2147483647 35584 16 | 0.173 % |
7.29/7.39 c | 44335 | 8096 69372 230627 | 2147483647 35818 16 | 0.173 % |
7.39/7.44 c | 44593 | 8096 69372 230627 | 2147483647 36076 16 | 0.173 % |
7.49/7.52 c | 44874 | 8096 69372 230627 | 2147483647 36357 16 | 0.173 % |
7.49/7.59 c | 45183 | 8096 69372 230627 | 2147483647 36666 16 | 0.173 % |
7.69/7.71 c | 45522 | 8096 69372 230627 | 2147483647 37005 16 | 0.173 % |
7.79/7.83 c | 45894 | 8096 69372 230627 | 2147483647 37377 16 | 0.173 % |
7.89/7.97 c | 46305 | 8096 69372 230627 | 2147483647 37788 16 | 0.173 % |
7.99/8.04 c | 46754 | 8096 69372 230627 | 2147483647 38237 16 | 0.173 % |
8.09/8.15 c | 47247 | 8096 69372 230627 | 2147483647 38730 16 | 0.173 % |
8.19/8.23 c | 47789 | 8096 69372 230627 | 2147483647 39272 16 | 0.173 % |
8.29/8.32 c | 48385 | 8096 69372 230627 | 2147483647 39868 16 | 0.173 % |
8.39/8.45 c | 49041 | 8096 69372 230627 | 2147483647 40524 16 | 0.173 % |
8.39/8.49 c | 49141 | 8096 69372 230627 | 2147483647 40624 16 | 0.173 % |
8.49/8.53 c | 49251 | 8096 69372 230627 | 2147483647 40734 16 | 0.173 % |
8.49/8.57 c | 49373 | 8096 69372 230627 | 2147483647 40856 16 | 0.173 % |
8.49/8.61 c | 49506 | 8096 69372 230627 | 2147483647 40989 16 | 0.173 % |
8.59/8.65 c | 49653 | 8096 69372 230627 | 2147483647 41136 16 | 0.173 % |
8.59/8.70 c | 49813 | 8096 69372 230627 | 2147483647 41296 16 | 0.173 % |
8.69/8.76 c | 49989 | 8096 69372 230627 | 2147483647 41472 16 | 0.173 % |
8.79/8.83 c | 50182 | 8096 69372 230627 | 2147483647 41665 16 | 0.173 % |
8.79/8.88 c | 50394 | 8096 69372 230627 | 2147483647 41877 16 | 0.173 % |
8.89/8.94 c | 50627 | 8096 69372 230627 | 2147483647 42110 16 | 0.173 % |
8.89/9.00 c | 50884 | 8096 69372 230627 | 2147483647 42367 16 | 0.173 % |
8.99/9.08 c | 51165 | 8096 69372 230627 | 2147483647 42648 16 | 0.173 % |
9.09/9.18 c | 51475 | 8096 69372 230627 | 2147483647 42958 16 | 0.173 % |
9.19/9.29 c | 51814 | 8096 69372 230627 | 2147483647 43297 16 | 0.173 % |
9.29/9.38 c | 52188 | 8096 69372 230627 | 2147483647 43671 16 | 0.173 % |
9.49/9.52 c | 52600 | 8096 69372 230627 | 2147483647 44083 17 | 0.173 % |
9.59/9.65 c | 53049 | 8096 69372 230627 | 2147483647 44532 17 | 0.173 % |
9.69/9.80 c | 53543 | 8096 69372 230627 | 2147483647 45026 17 | 0.173 % |
9.99/10.03 c | 54088 | 8096 69372 230627 | 2147483647 45571 17 | 0.173 % |
10.19/10.25 c | 54688 | 8096 69372 230627 | 2147483647 46171 17 | 0.173 % |
10.39/10.48 c | 55344 | 8096 69372 230627 | 2147483647 46827 17 | 0.173 % |
10.69/10.77 c | 56064 | 8096 69372 230627 | 2147483647 47547 17 | 0.173 % |
10.79/10.82 c | 56164 | 8096 69372 230627 | 2147483647 47647 17 | 0.173 % |
10.79/10.85 c | 56274 | 8096 69372 230627 | 2147483647 47757 17 | 0.173 % |
10.79/10.90 c | 56395 | 8096 69372 230627 | 2147483647 47878 17 | 0.173 % |
10.89/10.96 c | 56528 | 8096 69372 230627 | 2147483647 48011 17 | 0.173 % |
10.89/11.00 c | 56677 | 8096 69372 230627 | 2147483647 48160 17 | 0.173 % |
11.00/11.04 c | 56837 | 8096 69372 230627 | 2147483647 48320 17 | 0.173 % |
11.00/11.10 c | 57013 | 8096 69372 230627 | 2147483647 48496 17 | 0.173 % |
11.09/11.19 c | 57208 | 8096 69372 230627 | 2147483647 48691 17 | 0.173 % |
11.19/11.27 c | 57420 | 8096 69372 230627 | 2147483647 48903 17 | 0.173 % |
11.29/11.37 c | 57654 | 8096 69372 230627 | 2147483647 49137 17 | 0.173 % |
11.39/11.49 c | 57910 | 8096 69372 230627 | 2147483647 49393 17 | 0.173 % |
11.49/11.60 c | 58193 | 8096 69372 230627 | 2147483647 49676 17 | 0.173 % |
11.69/11.73 c | 58502 | 8096 69372 230627 | 2147483647 49985 17 | 0.173 % |
11.79/11.89 c | 58842 | 8096 69372 230627 | 2147483647 50325 17 | 0.173 % |
11.99/12.05 c | 59215 | 8096 69372 230627 | 2147483647 50698 17 | 0.173 % |
12.19/12.23 c | 59624 | 8096 69372 230627 | 2147483647 51107 17 | 0.173 % |
12.39/12.42 c | 60075 | 8096 69372 230627 | 2147483647 51558 17 | 0.173 % |
12.59/12.64 c | 60568 | 8096 69372 230627 | 2147483647 52051 17 | 0.173 % |
12.79/12.90 c | 61110 | 8096 69372 230627 | 2147483647 52593 17 | 0.173 % |
13.09/13.13 c | 61706 | 8096 69372 230627 | 2147483647 53189 17 | 0.173 % |
13.29/13.39 c | 62362 | 8096 69372 230627 | 2147483647 53845 17 | 0.173 % |
13.59/13.71 c | 63082 | 8096 69372 230627 | 2147483647 54565 17 | 0.173 % |
13.99/14.10 c | 63874 | 8096 69372 230627 | 2147483647 55357 17 | 0.173 % |
14.09/14.14 c | 63974 | 8096 69372 230627 | 2147483647 55457 17 | 0.173 % |
14.09/14.18 c | 64086 | 8096 69372 230627 | 2147483647 55569 17 | 0.173 % |
14.19/14.25 c | 64207 | 8096 69372 230627 | 2147483647 55690 17 | 0.173 % |
14.19/14.32 c | 64342 | 8096 69372 230627 | 2147483647 55825 17 | 0.173 % |
14.30/14.38 c | 64490 | 8096 69372 230627 | 2147483647 55973 17 | 0.173 % |
14.39/14.48 c | 64651 | 8096 69372 230627 | 2147483647 56134 17 | 0.173 % |
14.49/14.59 c | 64829 | 8096 69372 230627 | 2147483647 56312 17 | 0.173 % |
14.59/14.69 c | 65022 | 8096 69372 230627 | 2147483647 56505 17 | 0.173 % |
14.79/14.86 c | 65235 | 8096 69372 230627 | 2147483647 56718 17 | 0.173 % |
14.89/14.98 c | 65468 | 8096 69372 230627 | 2147483647 56951 17 | 0.173 % |
15.09/15.12 c | 65724 | 8096 69372 230627 | 2147483647 57207 17 | 0.173 % |
15.19/15.29 c | 66006 | 8096 69372 230627 | 2147483647 57489 17 | 0.173 % |
15.40/15.48 c | 66315 | 8096 69372 230627 | 2147483647 57798 17 | 0.173 % |
15.59/15.68 c | 66654 | 8096 69372 230627 | 2147483647 58137 17 | 0.173 % |
15.79/15.81 c | 67026 | 8096 69372 230627 | 2147483647 58509 17 | 0.173 % |
15.89/16.00 c | 67435 | 8096 69372 230627 | 2147483647 58918 17 | 0.173 % |
16.29/16.36 c | 67884 | 8096 69372 230627 | 2147483647 59367 17 | 0.173 % |
16.59/16.62 c | 68378 | 8096 69372 230627 | 2147483647 59861 17 | 0.173 % |
16.89/16.92 c | 68920 | 8096 69372 230627 | 2147483647 60403 17 | 0.173 % |
17.19/17.24 c | 69516 | 8096 69372 230627 | 2147483647 60999 18 | 0.173 % |
17.60/17.68 c | 70172 | 8096 69372 230627 | 2147483647 61655 18 | 0.173 % |
17.89/17.95 c | 70894 | 8096 69372 230627 | 2147483647 62377 18 | 0.173 % |
18.29/18.37 c | 71686 | 8096 69372 230627 | 2147483647 63169 18 | 0.173 % |
18.89/18.94 c | 72558 | 8096 69372 230627 | 2147483647 64041 18 | 0.173 % |
18.89/18.99 c | 72660 | 8096 69372 230627 | 2147483647 64143 18 | 0.173 % |
18.99/19.07 c | 72770 | 8096 69372 230627 | 2147483647 64253 18 | 0.173 % |
19.09/19.16 c | 72891 | 8096 69372 230627 | 2147483647 64374 18 | 0.173 % |
19.19/19.27 c | 73024 | 8096 69372 230627 | 2147483647 64507 18 | 0.173 % |
19.29/19.37 c | 73172 | 8096 69372 230627 | 2147483647 64655 18 | 0.173 % |
19.39/19.47 c | 73334 | 8096 69372 230627 | 2147483647 64817 18 | 0.173 % |
19.49/19.59 c | 73511 | 8096 69372 230627 | 2147483647 64994 18 | 0.173 % |
19.69/19.74 c | 73704 | 8096 69372 230627 | 2147483647 65187 18 | 0.173 % |
19.80/19.88 c | 73918 | 8096 69372 230627 | 2147483647 65401 18 | 0.173 % |
19.99/20.05 c | 74152 | 8096 69372 230627 | 2147483647 65635 18 | 0.173 % |
20.19/20.25 c | 74408 | 8096 69372 230627 | 2147483647 65891 18 | 0.173 % |
20.29/20.35 c | 74689 | 8096 69372 230627 | 2147483647 66172 18 | 0.173 % |
20.49/20.52 c | 74999 | 8096 69372 230627 | 2147483647 66482 18 | 0.173 % |
20.59/20.62 c | 75338 | 8096 69372 230627 | 2147483647 66821 18 | 0.173 % |
20.69/20.76 c | 75711 | 8096 69372 230627 | 2147483647 67194 18 | 0.173 % |
20.90/20.92 c | 76120 | 8096 69372 230627 | 2147483647 67603 18 | 0.173 % |
20.99/21.10 c | 76569 | 8096 69372 230627 | 2147483647 68052 18 | 0.173 % |
21.29/21.38 c | 77062 | 8096 69372 230627 | 2147483647 68545 18 | 0.173 % |
21.69/21.75 c | 77606 | 8096 69372 230627 | 2147483647 69089 18 | 0.173 % |
22.00/22.07 c | 78202 | 8096 69372 230627 | 2147483647 69685 18 | 0.173 % |
22.59/22.61 c | 78858 | 8096 69372 230627 | 2147483647 70341 18 | 0.173 % |
22.99/23.09 c | 79578 | 8096 69372 230627 | 2147483647 71061 18 | 0.173 % |
23.59/23.64 c | 80371 | 8096 69372 230627 | 2147483647 71854 18 | 0.173 % |
24.39/24.47 c | 81243 | 8096 69372 230627 | 2147483647 72726 18 | 0.173 % |
25.19/25.22 c | 82202 | 8096 69372 230627 | 2147483647 73685 18 | 0.173 % |
25.19/25.30 c | 82306 | 8096 69372 230627 | 2147483647 73789 18 | 0.173 % |
25.30/25.39 c | 82416 | 8096 69372 230627 | 2147483647 73899 18 | 0.173 % |
25.39/25.47 c | 82539 | 8096 69372 230627 | 2147483647 74022 18 | 0.173 % |
25.49/25.58 c | 82672 | 8096 69372 230627 | 2147483647 74155 18 | 0.173 % |
25.59/25.68 c | 82822 | 8096 69372 230627 | 2147483647 74305 18 | 0.173 % |
25.69/25.78 c | 82985 | 8096 69372 230627 | 2147483647 74468 18 | 0.173 % |
25.79/25.89 c | 83161 | 8096 69372 230627 | 2147483647 74644 18 | 0.173 % |
25.99/26.05 c | 83355 | 8096 69372 230627 | 2147483647 74838 18 | 0.173 % |
26.09/26.15 c | 83567 | 8096 69372 230627 | 2147483647 75050 18 | 0.173 % |
26.29/26.33 c | 83801 | 8096 69372 230627 | 2147483647 75284 18 | 0.173 % |
26.49/26.53 c | 84057 | 8096 69372 230627 | 2147483647 75540 18 | 0.173 % |
26.69/26.74 c | 84339 | 8096 69372 230627 | 2147483647 75822 18 | 0.173 % |
26.89/27.00 c | 84649 | 8096 69372 230627 | 2147483647 76132 18 | 0.173 % |
27.19/27.25 c | 84990 | 8096 69372 230627 | 2147483647 76473 18 | 0.173 % |
27.59/27.62 c | 85362 | 8096 69372 230627 | 2147483647 76845 18 | 0.173 % |
27.89/27.97 c | 85772 | 8096 69372 230627 | 2147483647 77255 18 | 0.173 % |
28.39/28.44 c | 86222 | 8096 69372 230627 | 2147483647 77705 18 | 0.173 % |
28.79/28.84 c | 86715 | 8096 69372 230627 | 2147483647 78198 18 | 0.173 % |
29.09/29.14 c | 87257 | 8096 69372 230627 | 2147483647 78740 18 | 0.173 % |
29.49/29.58 c | 87854 | 8096 69372 230627 | 2147483647 79337 18 | 0.173 % |
29.89/29.96 c | 88509 | 8096 69372 230627 | 2147483647 79992 18 | 0.173 % |
30.59/30.66 c | 89229 | 8096 69372 230627 | 2147483647 80712 18 | 0.173 % |
31.29/31.37 c | 90021 | 8096 69372 230627 | 81483 81504 18 | 0.173 % |
32.29/32.40 c | 90894 | 8096 69372 230627 | 81483 73123 18 | 0.173 % |
33.00/33.11 c | 91853 | 8096 69372 230627 | 81483 74082 18 | 0.173 % |
33.89/34.00 c | 92909 | 8096 69372 230627 | 81483 75138 18 | 0.173 % |
33.99/34.08 c | 93009 | 8096 69372 230627 | 81483 75238 18 | 0.173 % |
34.10/34.19 c | 93119 | 8096 69372 230627 | 81483 75348 18 | 0.173 % |
34.29/34.32 c | 93242 | 8096 69372 230627 | 81483 75471 18 | 0.173 % |
34.39/34.45 c | 93375 | 8096 69372 230627 | 81483 75604 18 | 0.173 % |
34.49/34.54 c | 93522 | 8096 69372 230627 | 81483 75751 18 | 0.173 % |
34.69/34.76 c | 93683 | 8096 69372 230627 | 81483 75912 18 | 0.173 % |
34.79/34.88 c | 93859 | 8096 69372 230627 | 81483 76088 18 | 0.173 % |
34.99/35.06 c | 94052 | 8096 69372 230627 | 81483 76281 18 | 0.173 % |
35.20/35.29 c | 94265 | 8096 69372 230627 | 81483 76494 19 | 0.173 % |
35.49/35.60 c | 94499 | 8096 69372 230627 | 81483 76728 19 | 0.173 % |
35.79/35.89 c | 94756 | 8096 69372 230627 | 81483 76985 19 | 0.173 % |
36.09/36.14 c | 95037 | 8096 69372 230627 | 81483 77266 19 | 0.173 % |
36.39/36.44 c | 95347 | 8096 69372 230627 | 81483 77576 19 | 0.173 % |
36.59/36.71 c | 95688 | 8096 69372 230627 | 81483 77917 19 | 0.173 % |
36.99/37.05 c | 96063 | 8096 69372 230627 | 81483 78292 19 | 0.173 % |
37.59/37.62 c | 96473 | 8096 69372 230627 | 81483 78702 19 | 0.173 % |
38.09/38.11 c | 96922 | 8096 69372 230627 | 81483 79151 19 | 0.173 % |
38.59/38.61 c | 97415 | 8096 69372 230627 | 81483 79644 19 | 0.173 % |
39.09/39.20 c | 97958 | 8096 69372 230627 | 81483 80187 19 | 0.173 % |
39.79/39.82 c | 98555 | 8096 69372 230627 | 81483 80784 19 | 0.173 % |
40.39/40.49 c | 99210 | 8096 69372 230627 | 81483 81439 19 | 0.173 % |
41.19/41.21 c | 99932 | 8096 69372 230627 | 81483 69638 18 | 0.173 % |
41.69/41.81 c | 100724 | 8096 69372 230627 | 69706 59936 18 | 0.173 % |
42.39/42.49 c | 101595 | 8096 69372 230627 | 69706 60807 18 | 0.173 % |
43.49/43.55 c | 102553 | 8096 69372 230627 | 69706 61765 18 | 0.173 % |
44.49/44.58 c | 103606 | 8096 69372 230627 | 69706 62818 18 | 0.173 % |
45.49/45.54 c | 104765 | 8096 69372 230627 | 69706 63977 18 | 0.173 % |
45.59/45.63 c | 104865 | 8096 69372 230627 | 69706 64077 18 | 0.173 % |
45.69/45.72 c | 104978 | 8096 69372 230627 | 69706 64190 18 | 0.173 % |
45.79/45.83 c | 105099 | 8096 69372 230627 | 69706 64311 18 | 0.173 % |
45.89/45.94 c | 105232 | 8096 69372 230627 | 69706 64444 18 | 0.173 % |
46.09/46.14 c | 105378 | 8096 69372 230627 | 69706 64590 18 | 0.173 % |
46.20/46.29 c | 105538 | 8096 69372 230627 | 69706 64750 18 | 0.173 % |
46.39/46.46 c | 105714 | 8096 69372 230627 | 69706 64926 18 | 0.173 % |
46.59/46.62 c | 105907 | 8096 69372 230627 | 69706 65119 18 | 0.173 % |
46.79/46.83 c | 106120 | 8096 69372 230627 | 69706 65332 18 | 0.173 % |
46.89/47.01 c | 106355 | 8096 69372 230627 | 69706 65567 18 | 0.173 % |
47.19/47.24 c | 106612 | 8096 69372 230627 | 69706 65824 18 | 0.173 % |
47.39/47.43 c | 106895 | 8096 69372 230627 | 69706 66107 18 | 0.173 % |
47.59/47.68 c | 107208 | 8096 69372 230627 | 69706 66420 18 | 0.173 % |
47.99/48.10 c | 107549 | 8096 69372 230627 | 69706 66761 18 | 0.173 % |
48.40/48.46 c | 107921 | 8096 69372 230627 | 69706 67133 18 | 0.173 % |
48.79/48.82 c | 108332 | 8096 69372 230627 | 69706 67544 18 | 0.173 % |
49.09/49.20 c | 108782 | 8096 69372 230627 | 69706 67994 18 | 0.173 % |
49.59/49.69 c | 109275 | 8096 69372 230627 | 69706 68487 18 | 0.173 % |
50.19/50.23 c | 109817 | 8096 69372 230627 | 69706 69029 18 | 0.173 % |
50.79/50.83 c | 110413 | 8096 69372 230627 | 69212 60566 18 | 0.173 % |
51.29/51.39 c | 111069 | 8096 69372 230627 | 69212 61222 18 | 0.173 % |
51.89/51.98 c | 111789 | 8096 69372 230627 | 69212 61942 18 | 0.173 % |
52.19/52.26 c | 112581 | 8096 69372 230627 | 69212 62734 18 | 0.173 % |
52.99/53.03 c | 113454 | 8096 69372 230627 | 69212 63607 18 | 0.173 % |
53.59/53.67 c | 114413 | 8096 69372 230627 | 69212 64566 18 | 0.173 % |
54.09/54.15 c | 115466 | 8096 69372 230627 | 69212 65619 18 | 0.173 % |
54.59/54.70 c | 116627 | 8096 69372 230627 | 69212 66780 18 | 0.173 % |
55.00/55.08 c | 117900 | 8096 69372 230627 | 69212 68053 18 | 0.173 % |
55.09/55.13 c | 118001 | 8096 69372 230627 | 69212 68154 18 | 0.173 % |
55.19/55.23 c | 118112 | 8096 69372 230627 | 69212 68265 18 | 0.173 % |
55.29/55.35 c | 118233 | 8096 69372 230627 | 69212 68386 18 | 0.173 % |
55.49/55.54 c | 118367 | 8096 69372 230627 | 69212 68520 18 | 0.173 % |
55.59/55.66 c | 118514 | 8096 69372 230627 | 69212 68667 18 | 0.173 % |
55.79/55.83 c | 118674 | 8096 69372 230627 | 69212 68827 18 | 0.173 % |
55.89/55.97 c | 118850 | 8096 69372 230627 | 69212 69003 18 | 0.173 % |
55.99/56.10 c | 119043 | 8096 69372 230627 | 69212 69196 18 | 0.173 % |
56.29/56.38 c | 119258 | 8096 69372 230627 | 69212 62481 18 | 0.173 % |
56.49/56.51 c | 119492 | 8096 69372 230627 | 69212 62715 18 | 0.173 % |
56.59/56.70 c | 119748 | 8096 69372 230627 | 69212 62971 18 | 0.173 % |
56.89/56.96 c | 120031 | 8096 69372 230627 | 2147483647 63254 18 | 0.173 % |
57.09/57.20 c | 120342 | 8096 69372 230627 | 2147483647 63565 18 | 0.173 % |
57.29/57.31 c | 120681 | 8096 69372 230627 | 2147483647 63904 18 | 0.173 % |
57.39/57.47 c | 121057 | 8096 69372 230627 | 2147483647 64280 18 | 0.173 % |
57.69/57.80 c | 121468 | 8096 69372 230627 | 2147483647 64691 18 | 0.173 % |
57.89/57.98 c | 121917 | 8096 69372 230627 | 2147483647 65140 18 | 0.173 % |
58.19/58.28 c | 122415 | 8096 69372 230627 | 2147483647 65638 18 | 0.173 % |
58.39/58.48 c | 122957 | 8096 69372 230627 | 2147483647 66180 18 | 0.173 % |
58.69/58.72 c | 123553 | 8096 69372 230627 | 2147483647 66776 18 | 0.173 % |
58.99/59.01 c | 124211 | 8096 69372 230627 | 2147483647 67434 18 | 0.173 % |
59.29/59.32 c | 124931 | 8096 69372 230627 | 2147483647 68154 18 | 0.173 % |
59.49/59.60 c | 125724 | 8096 69372 230627 | 2147483647 68947 18 | 0.173 % |
59.89/59.96 c | 126595 | 8096 69372 230627 | 2147483647 69818 18 | 0.173 % |
60.29/60.33 c | 127553 | 8096 69372 230627 | 2147483647 70776 18 | 0.173 % |
60.59/60.69 c | 128608 | 8096 69372 230627 | 2147483647 71831 18 | 0.173 % |
61.19/61.27 c | 129769 | 8096 69372 230627 | 2147483647 72992 18 | 0.173 % |
61.69/61.72 c | 131043 | 8096 69372 230627 | 2147483647 74266 18 | 0.173 % |
62.19/62.23 c | 132443 | 8096 69372 230627 | 2147483647 75666 18 | 0.173 % |
62.19/62.27 c | 132543 | 8096 69372 230627 | 2147483647 75766 18 | 0.173 % |
62.29/62.33 c | 132653 | 8096 69372 230627 | 2147483647 75876 18 | 0.173 % |
62.29/62.40 c | 132774 | 8096 69372 230627 | 2147483647 75997 18 | 0.173 % |
62.39/62.46 c | 132907 | 8096 69372 230627 | 2147483647 76130 18 | 0.173 % |
62.49/62.53 c | 133053 | 8096 69372 230627 | 2147483647 76276 18 | 0.173 % |
62.59/62.62 c | 133213 | 8096 69372 230627 | 2147483647 76436 18 | 0.173 % |
62.59/62.67 c | 133389 | 8096 69372 230627 | 2147483647 76612 18 | 0.173 % |
62.70/62.77 c | 133584 | 8096 69372 230627 | 2147483647 76807 18 | 0.173 % |
62.79/62.87 c | 133798 | 8096 69372 230627 | 2147483647 77021 18 | 0.173 % |
62.89/62.95 c | 134031 | 8096 69372 230627 | 2147483647 77254 18 | 0.173 % |
62.99/63.07 c | 134287 | 8096 69372 230627 | 2147483647 77510 18 | 0.173 % |
63.09/63.20 c | 134569 | 8096 69372 230627 | 2147483647 77792 18 | 0.173 % |
63.29/63.35 c | 134879 | 8096 69372 230627 | 2147483647 78102 18 | 0.173 % |
63.49/63.56 c | 135219 | 8096 69372 230627 | 2147483647 78442 18 | 0.173 % |
63.69/63.74 c | 135592 | 8096 69372 230627 | 2147483647 78815 18 | 0.173 % |
63.89/63.98 c | 136001 | 8096 69372 230627 | 2147483647 79224 18 | 0.173 % |
64.09/64.15 c | 136450 | 8096 69372 230627 | 2147483647 79673 18 | 0.173 % |
64.29/64.38 c | 136944 | 8096 69372 230627 | 2147483647 80167 18 | 0.173 % |
64.49/64.59 c | 137488 | 8096 69372 230627 | 2147483647 80711 18 | 0.173 % |
64.90/64.92 c | 138084 | 8096 69372 230627 | 2147483647 81307 18 | 0.173 % |
65.20/65.22 c | 138740 | 8096 69372 230627 | 2147483647 81963 18 | 0.173 % |
65.40/65.50 c | 139460 | 8096 69372 230627 | 2147483647 82683 18 | 0.173 % |
65.80/65.88 c | 140252 | 8096 69372 230627 | 2147483647 83475 18 | 0.173 % |
66.20/66.23 c | 141125 | 8096 69372 230627 | 2147483647 84348 18 | 0.173 % |
66.80/66.84 c | 142085 | 8096 69372 230627 | 2147483647 85308 18 | 0.173 % |
67.30/67.39 c | 143138 | 8096 69372 230627 | 2147483647 86361 18 | 0.173 % |
67.90/67.96 c | 144297 | 8096 69372 230627 | 2147483647 87520 18 | 0.173 % |
68.60/68.68 c | 145571 | 8096 69372 230627 | 2147483647 88794 18 | 0.173 % |
69.30/69.40 c | 146971 | 8096 69372 230627 | 2147483647 90194 18 | 0.173 % |
70.30/70.34 c | 148511 | 8096 69372 230627 | 2147483647 91734 18 | 0.173 % |
70.30/70.41 c | 148613 | 8096 69372 230627 | 2147483647 91836 18 | 0.173 % |
70.40/70.47 c | 148723 | 8096 69372 230627 | 2147483647 91946 18 | 0.173 % |
70.50/70.54 c | 148845 | 8096 69372 230627 | 2147483647 92068 18 | 0.173 % |
70.50/70.60 c | 148978 | 8096 69372 230627 | 2147483647 92201 18 | 0.173 % |
70.60/70.67 c | 149127 | 8096 69372 230627 | 2147483647 92350 18 | 0.173 % |
70.70/70.77 c | 149288 | 8096 69372 230627 | 2147483647 92511 18 | 0.173 % |
70.80/70.88 c | 149466 | 8096 69372 230627 | 2147483647 92689 18 | 0.173 % |
70.90/70.97 c | 149660 | 8096 69372 230627 | 2147483647 92883 18 | 0.173 % |
71.00/71.11 c | 149872 | 8096 69372 230627 | 2147483647 93095 18 | 0.173 % |
71.20/71.28 c | 150106 | 8096 69372 230627 | 2147483647 93329 18 | 0.173 % |
71.30/71.36 c | 150362 | 8096 69372 230627 | 2147483647 93585 18 | 0.173 % |
71.40/71.43 c | 150644 | 8096 69372 230627 | 2147483647 93867 18 | 0.173 % |
71.40/71.50 c | 150953 | 8096 69372 230627 | 2147483647 94176 18 | 0.173 % |
71.50/71.60 c | 151292 | 8096 69372 230627 | 2147483647 94515 18 | 0.173 % |
71.70/71.80 c | 151665 | 8096 69372 230627 | 2147483647 94888 18 | 0.173 % |
71.90/71.98 c | 152074 | 8096 69372 230627 | 2147483647 95297 19 | 0.173 % |
72.20/72.28 c | 152523 | 8096 69372 230627 | 2147483647 95746 19 | 0.173 % |
72.50/72.57 c | 153016 | 8096 69372 230627 | 2147483647 96239 19 | 0.173 % |
72.90/72.92 c | 153558 | 8096 69372 230627 | 2147483647 96781 19 | 0.173 % |
73.30/73.33 c | 154156 | 8096 69372 230627 | 2147483647 97379 19 | 0.173 % |
73.70/73.75 c | 154811 | 8096 69372 230627 | 2147483647 98034 19 | 0.173 % |
74.20/74.23 c | 155531 | 8096 69372 230627 | 2147483647 98754 19 | 0.173 % |
74.60/74.71 c | 156325 | 8096 69372 230627 | 2147483647 99548 19 | 0.173 % |
75.20/75.26 c | 157196 | 8096 69372 230627 | 2147483647 100419 19 | 0.173 % |
75.90/75.96 c | 158154 | 8096 69372 230627 | 2147483647 101377 19 | 0.173 % |
76.70/76.77 c | 159207 | 8096 69372 230627 | 2147483647 102430 19 | 0.173 % |
77.40/77.45 c | 160365 | 8096 69372 230627 | 2147483647 103588 19 | 0.173 % |
78.00/78.04 c | 161639 | 8096 69372 230627 | 2147483647 104862 19 | 0.173 % |
78.90/78.96 c | 163039 | 8096 69372 230627 | 2147483647 106262 19 | 0.173 % |
79.50/79.60 c | 164581 | 8096 69372 230627 | 2147483647 107804 19 | 0.173 % |
81.10/81.15 c | 166277 | 8096 69372 230627 | 2147483647 109500 19 | 0.173 % |
81.10/81.21 c | 166377 | 8096 69372 230627 | 2147483647 109600 19 | 0.173 % |
81.20/81.27 c | 166489 | 8096 69372 230627 | 2147483647 109712 19 | 0.173 % |
81.30/81.37 c | 166610 | 8096 69372 230627 | 2147483647 109833 19 | 0.173 % |
81.40/81.43 c | 166744 | 8096 69372 230627 | 2147483647 109967 19 | 0.173 % |
81.50/81.53 c | 166893 | 8096 69372 230627 | 2147483647 110116 19 | 0.173 % |
81.60/81.64 c | 167053 | 8096 69372 230627 | 2147483647 110276 19 | 0.173 % |
81.70/81.76 c | 167230 | 8096 69372 230627 | 2147483647 110453 19 | 0.173 % |
81.80/81.86 c | 167423 | 8096 69372 230627 | 2147483647 110646 19 | 0.173 % |
81.90/81.99 c | 167639 | 8096 69372 230627 | 2147483647 110862 19 | 0.173 % |
82.10/82.13 c | 167873 | 8096 69372 230627 | 2147483647 111096 19 | 0.173 % |
82.30/82.35 c | 168131 | 8096 69372 230627 | 2147483647 111354 19 | 0.173 % |
82.50/82.61 c | 168412 | 8096 69372 230627 | 2147483647 111635 19 | 0.173 % |
82.80/82.83 c | 168722 | 8096 69372 230627 | 2147483647 111945 19 | 0.173 % |
82.90/83.00 c | 169061 | 8096 69372 230627 | 2147483647 112284 19 | 0.173 % |
83.20/83.31 c | 169433 | 8096 69372 230627 | 2147483647 112656 19 | 0.173 % |
83.60/83.62 c | 169842 | 8096 69372 230627 | 2147483647 113065 19 | 0.173 % |
83.80/83.87 c | 170291 | 8096 69372 230627 | 2147483647 113514 19 | 0.173 % |
84.20/84.25 c | 170784 | 8096 69372 230627 | 2147483647 114007 19 | 0.173 % |
84.50/84.57 c | 171326 | 8096 69372 230627 | 2147483647 114549 19 | 0.173 % |
85.00/85.11 c | 171923 | 8096 69372 230627 | 2147483647 115146 19 | 0.173 % |
85.70/85.72 c | 172579 | 8096 69372 230627 | 2147483647 115802 19 | 0.173 % |
86.10/86.14 c | 173299 | 8096 69372 230627 | 2147483647 116522 19 | 0.173 % |
86.50/86.60 c | 174093 | 8096 69372 230627 | 2147483647 117316 19 | 0.173 % |
87.30/87.32 c | 174964 | 8096 69372 230627 | 2147483647 118187 19 | 0.173 % |
88.00/88.04 c | 175923 | 8096 69372 230627 | 2147483647 119146 19 | 0.173 % |
89.10/89.12 c | 176977 | 8096 69372 230627 | 2147483647 120200 19 | 0.173 % |
90.10/90.14 c | 178136 | 8096 69372 230627 | 2147483647 121359 19 | 0.173 % |
90.80/90.82 c | 179409 | 8096 69372 230627 | 2147483647 122632 19 | 0.173 % |
93.50/93.52 c | 180809 | 8096 69372 230627 | 123225 108901 19 | 0.173 % |
94.50/94.58 c | 182349 | 8096 69372 230627 | 123225 110441 19 | 0.173 % |
96.00/96.03 c | 184044 | 8096 69372 230627 | 123225 112136 19 | 0.173 % |
97.40/97.45 c | 185907 | 8096 69372 230627 | 123225 113999 19 | 0.173 % |
97.50/97.55 c | 186008 | 8096 69372 230627 | 123225 114100 19 | 0.173 % |
97.60/97.65 c | 186118 | 8096 69372 230627 | 123225 114210 19 | 0.173 % |
97.70/97.73 c | 186239 | 8096 69372 230627 | 123225 114331 19 | 0.173 % |
97.70/97.79 c | 186375 | 8096 69372 230627 | 123225 114467 19 | 0.173 % |
97.90/97.94 c | 186522 | 8096 69372 230627 | 123225 114614 19 | 0.173 % |
98.00/98.05 c | 186683 | 8096 69372 230627 | 123225 114775 19 | 0.173 % |
98.10/98.16 c | 186859 | 8096 69372 230627 | 123225 114951 19 | 0.173 % |
98.20/98.30 c | 187052 | 8096 69372 230627 | 123225 115144 19 | 0.173 % |
98.40/98.42 c | 187265 | 8096 69372 230627 | 123225 115357 19 | 0.173 % |
98.50/98.57 c | 187498 | 8096 69372 230627 | 123225 115590 19 | 0.173 % |
98.60/98.70 c | 187756 | 8096 69372 230627 | 123225 115848 19 | 0.173 % |
98.80/98.82 c | 188037 | 8096 69372 230627 | 123225 116129 19 | 0.173 % |
101.20/101.22 c | 188346 | 8094 69090 229510 | 123225 82710 20 | 0.197 % |
101.50/101.54 c | 188685 | 8094 69090 229510 | 123225 83049 20 | 0.197 % |
101.70/101.76 c | 189058 | 8094 69090 229510 | 123225 83422 20 | 0.197 % |
102.10/102.12 c | 189467 | 8094 69090 229510 | 123225 83831 20 | 0.197 % |
102.40/102.48 c | 189917 | 8094 69090 229510 | 123225 84281 20 | 0.197 % |
102.90/102.99 c | 190414 | 8094 69090 229510 | 84364 75259 20 | 0.197 % |
103.30/103.34 c | 190958 | 8094 69090 229510 | 84364 75803 20 | 0.197 % |
103.80/103.85 c | 191555 | 8094 69090 229510 | 84364 76400 20 | 0.197 % |
104.20/104.23 c | 192211 | 8094 69090 229510 | 84364 77056 20 | 0.197 % |
104.80/104.85 c | 192931 | 8094 69090 229510 | 84364 77776 20 | 0.197 % |
105.30/105.34 c | 193727 | 8094 69090 229510 | 84364 78572 20 | 0.197 % |
105.90/105.98 c | 194598 | 8094 69090 229510 | 84364 79443 20 | 0.197 % |
106.70/106.77 c | 195556 | 8094 69090 229510 | 84364 80401 20 | 0.197 % |
107.60/107.68 c | 196609 | 8094 69090 229510 | 84364 81454 20 | 0.197 % |
108.50/108.57 c | 197768 | 8094 69090 229510 | 84364 82613 20 | 0.197 % |
109.60/109.70 c | 199046 | 8094 69090 229510 | 84364 83891 20 | 0.197 % |
110.90/110.95 c | 200449 | 8094 69090 229510 | 2147483647 76834 20 | 0.197 % |
112.00/112.06 c | 201989 | 8094 69090 229510 | 2147483647 78374 20 | 0.197 % |
113.20/113.27 c | 203683 | 8094 69090 229510 | 2147483647 80068 20 | 0.197 % |
114.60/114.64 c | 205546 | 8094 69090 229510 | 2147483647 81931 20 | 0.197 % |
116.10/116.14 c | 207596 | 8094 69090 229510 | 2147483647 83981 20 | 0.197 % |
116.20/116.23 c | 207696 | 8094 69090 229510 | 2147483647 84081 20 | 0.197 % |
116.30/116.33 c | 207808 | 8094 69090 229510 | 2147483647 84193 20 | 0.197 % |
116.40/116.46 c | 207933 | 8094 69090 229510 | 2147483647 84318 20 | 0.197 % |
116.50/116.60 c | 208067 | 8094 69090 229510 | 2147483647 84452 20 | 0.197 % |
116.70/116.75 c | 208213 | 8094 69090 229510 | 2147483647 84598 20 | 0.197 % |
116.90/116.95 c | 208374 | 8094 69090 229510 | 2147483647 84759 20 | 0.197 % |
117.10/117.15 c | 208550 | 8094 69090 229510 | 2147483647 84935 20 | 0.197 % |
117.30/117.35 c | 208744 | 8094 69090 229510 | 2147483647 85129 20 | 0.197 % |
117.50/117.52 c | 208956 | 8094 69090 229510 | 2147483647 85341 20 | 0.197 % |
117.60/117.71 c | 209189 | 8094 69090 229510 | 2147483647 85574 20 | 0.197 % |
117.90/117.96 c | 209447 | 8094 69090 229510 | 2147483647 85832 20 | 0.197 % |
118.10/118.18 c | 209728 | 8094 69090 229510 | 2147483647 86113 20 | 0.197 % |
118.40/118.48 c | 210038 | 8094 69090 229510 | 2147483647 86423 20 | 0.197 % |
118.70/118.73 c | 210377 | 8094 69090 229510 | 2147483647 86762 20 | 0.197 % |
118.80/118.91 c | 210750 | 8094 69090 229510 | 2147483647 87135 20 | 0.197 % |
119.30/119.38 c | 211159 | 8094 69090 229510 | 2147483647 87544 20 | 0.197 % |
119.70/119.80 c | 211609 | 8094 69090 229510 | 2147483647 87994 20 | 0.197 % |
120.20/120.24 c | 212104 | 8094 69090 229510 | 2147483647 88489 20 | 0.197 % |
120.60/120.66 c | 212646 | 8094 69090 229510 | 2147483647 89031 20 | 0.197 % |
121.20/121.26 c | 213242 | 8094 69090 229510 | 2147483647 89627 20 | 0.197 % |
121.70/121.76 c | 213899 | 8094 69090 229510 | 2147483647 90284 20 | 0.197 % |
122.40/122.46 c | 214619 | 8094 69090 229510 | 2147483647 91004 20 | 0.197 % |
123.00/123.03 c | 215411 | 8094 69090 229510 | 2147483647 91796 20 | 0.197 % |
123.60/123.63 c | 216285 | 8094 69090 229510 | 2147483647 92670 20 | 0.197 % |
124.70/124.73 c | 217243 | 8094 69090 229510 | 2147483647 93628 20 | 0.197 % |
125.30/125.40 c | 218297 | 8094 69090 229510 | 2147483647 94682 20 | 0.197 % |
126.40/126.42 c | 219455 | 8094 69090 229510 | 2147483647 95840 20 | 0.197 % |
127.40/127.47 c | 220728 | 8094 69090 229510 | 96385 86388 20 | 0.197 % |
128.70/128.74 c | 222129 | 8094 69090 229510 | 96385 87789 20 | 0.197 % |
129.80/129.89 c | 223670 | 8094 69090 229510 | 96385 89330 20 | 0.197 % |
131.30/131.35 c | 225364 | 8094 69090 229510 | 96385 91024 20 | 0.197 % |
132.60/132.68 c | 227229 | 8094 69090 229510 | 96385 92889 20 | 0.197 % |
134.20/134.24 c | 229280 | 8094 69090 229510 | 96385 94940 20 | 0.197 % |
136.20/136.26 c | 231533 | 8094 69090 229510 | 95660 87567 20 | 0.197 % |
136.30/136.32 c | 231633 | 8094 69090 229510 | 95660 87667 20 | 0.197 % |
136.40/136.42 c | 231744 | 8094 69090 229510 | 95660 87778 20 | 0.197 % |
136.50/136.53 c | 231865 | 8094 69090 229510 | 95660 87899 20 | 0.197 % |
136.60/136.64 c | 231999 | 8094 69090 229510 | 95660 88033 20 | 0.197 % |
136.70/136.77 c | 232146 | 8094 69090 229510 | 95660 88180 20 | 0.197 % |
136.80/136.88 c | 232306 | 8094 69090 229510 | 95660 88340 20 | 0.197 % |
137.00/137.03 c | 232482 | 8094 69090 229510 | 95660 88516 20 | 0.197 % |
137.20/137.22 c | 232676 | 8094 69090 229510 | 95660 88710 20 | 0.197 % |
137.30/137.40 c | 232888 | 8094 69090 229510 | 95660 88922 20 | 0.197 % |
137.60/137.63 c | 233121 | 8094 69090 229510 | 95660 89155 20 | 0.197 % |
137.70/137.80 c | 233380 | 8094 69090 229510 | 95660 89414 20 | 0.197 % |
138.00/138.04 c | 233663 | 8094 69090 229510 | 95660 89697 20 | 0.197 % |
138.20/138.31 c | 233972 | 8094 69090 229510 | 95660 90006 20 | 0.197 % |
138.50/138.57 c | 234312 | 8094 69090 229510 | 95660 90346 20 | 0.197 % |
138.80/138.91 c | 234684 | 8094 69090 229510 | 95660 90718 20 | 0.197 % |
139.20/139.22 c | 235093 | 8094 69090 229510 | 95660 91127 20 | 0.197 % |
139.60/139.69 c | 235542 | 8094 69090 229510 | 95660 91576 20 | 0.197 % |
140.20/140.22 c | 236037 | 8094 69090 229510 | 95660 92071 20 | 0.197 % |
140.70/140.77 c | 236579 | 8094 69090 229510 | 95660 92613 20 | 0.197 % |
141.20/141.31 c | 237175 | 8094 69090 229510 | 95660 93209 20 | 0.197 % |
141.80/141.90 c | 237831 | 8094 69090 229510 | 95660 93865 20 | 0.197 % |
142.50/142.57 c | 238551 | 8094 69090 229510 | 95660 94585 20 | 0.197 % |
143.20/143.31 c | 239346 | 8094 69090 229510 | 95660 95380 20 | 0.197 % |
144.20/144.25 c | 240220 | 8094 69090 229510 | 96036 96254 20 | 0.197 % |
145.30/145.34 c | 241179 | 8094 69090 229510 | 96036 84478 20 | 0.197 % |
145.90/146.00 c | 242233 | 8094 69090 229510 | 96036 85532 20 | 0.197 % |
147.00/147.05 c | 243391 | 8094 69090 229510 | 96036 86690 20 | 0.197 % |
148.00/148.06 c | 244664 | 8094 69090 229510 | 96036 87963 20 | 0.197 % |
149.40/149.43 c | 246064 | 8094 69090 229510 | 96036 89363 20 | 0.197 % |
150.90/150.92 c | 247604 | 8094 69090 229510 | 96036 90903 20 | 0.197 % |
152.80/152.89 c | 249300 | 8094 69090 229510 | 96036 92599 20 | 0.197 % |
154.30/154.34 c | 251163 | 8094 69090 229510 | 93300 83952 20 | 0.197 % |
156.10/156.20 c | 253213 | 8094 69090 229510 | 93300 86002 20 | 0.197 % |
158.30/158.37 c | 255466 | 8094 69090 229510 | 93300 88255 20 | 0.197 % |
160.80/160.83 c | 257944 | 8094 69090 229510 | 93300 90733 20 | 0.197 % |
160.90/160.93 c | 258047 | 8094 69090 229510 | 93300 90836 20 | 0.197 % |
161.00/161.05 c | 258157 | 8094 69090 229510 | 93300 90946 20 | 0.197 % |
161.10/161.16 c | 258278 | 8094 69090 229510 | 93300 91067 20 | 0.197 % |
161.20/161.29 c | 258411 | 8094 69090 229510 | 93300 91200 20 | 0.197 % |
161.40/161.42 c | 258558 | 8094 69090 229510 | 93300 91347 20 | 0.197 % |
161.50/161.55 c | 258718 | 8094 69090 229510 | 93300 91507 20 | 0.197 % |
161.60/161.67 c | 258895 | 8094 69090 229510 | 93300 91684 20 | 0.197 % |
161.80/161.86 c | 259090 | 8094 69090 229510 | 93300 91879 20 | 0.197 % |
162.00/162.01 c | 259305 | 8094 69090 229510 | 93300 92094 20 | 0.197 % |
162.10/162.18 c | 259539 | 8094 69090 229510 | 93300 92328 20 | 0.197 % |
162.40/162.48 c | 259796 | 8094 69090 229510 | 93300 92585 20 | 0.197 % |
162.60/162.67 c | 260080 | 8094 69090 229510 | 92790 92869 20 | 0.197 % |
163.00/163.08 c | 260390 | 8094 69090 229510 | 92790 82465 20 | 0.197 % |
163.40/163.42 c | 260730 | 8094 69090 229510 | 92790 82805 20 | 0.197 % |
163.70/163.71 c | 261103 | 8094 69090 229510 | 92790 83178 20 | 0.197 % |
164.10/164.11 c | 261513 | 8094 69090 229510 | 92790 83588 20 | 0.197 % |
164.50/164.54 c | 261962 | 8094 69090 229510 | 92790 84037 20 | 0.197 % |
165.01/165.05 c | 262455 | 8094 69090 229510 | 92790 84530 20 | 0.197 % |
165.40/165.41 c | 263000 | 8094 69090 229510 | 92790 85075 20 | 0.197 % |
166.00/166.03 c | 263596 | 8094 69090 229510 | 92790 85671 20 | 0.197 % |
166.80/166.81 c | 264251 | 8094 69090 229510 | 92790 86326 20 | 0.197 % |
167.40/167.48 c | 264973 | 8094 69090 229510 | 92790 87048 20 | 0.197 % |
168.20/168.26 c | 265765 | 8094 69090 229510 | 92790 87840 20 | 0.197 % |
169.00/169.01 c | 266636 | 8094 69090 229510 | 92790 88711 20 | 0.197 % |
169.90/169.99 c | 267594 | 8094 69090 229510 | 92790 89669 20 | 0.197 % |
171.00/171.02 c | 268649 | 8094 69090 229510 | 92790 90724 20 | 0.197 % |
172.00/172.04 c | 269807 | 8094 69090 229510 | 92790 91882 20 | 0.197 % |
173.50/173.52 c | 271081 | 8094 69090 229510 | 92076 81269 20 | 0.197 % |
174.80/174.85 c | 272481 | 8094 69090 229510 | 92076 82669 20 | 0.197 % |
176.20/176.26 c | 274022 | 8094 69090 229510 | 92076 84210 20 | 0.197 % |
177.50/177.53 c | 275717 | 8094 69090 229510 | 92076 85905 20 | 0.197 % |
179.20/179.30 c | 277581 | 8094 69090 229510 | 92076 87769 20 | 0.197 % |
181.30/181.34 c | 279630 | 8094 69090 229510 | 92076 89818 20 | 0.197 % |
182.80/182.90 c | 281883 | 8094 69090 229510 | 90190 82049 20 | 0.197 % |
185.00/185.02 c | 284361 | 8094 69090 229510 | 90190 84527 20 | 0.197 % |
187.70/187.73 c | 287088 | 8094 69090 229510 | 90190 87254 20 | 0.197 % |
187.80/187.85 c | 287188 | 8094 69090 229510 | 90190 87354 20 | 0.197 % |
187.90/187.93 c | 287298 | 8094 69090 229510 | 90190 87464 20 | 0.197 % |
188.00/188.11 c | 287419 | 8094 69090 229510 | 90190 87585 20 | 0.197 % |
188.20/188.28 c | 287553 | 8094 69090 229510 | 90190 87719 20 | 0.197 % |
188.40/188.48 c | 287700 | 8094 69090 229510 | 90190 87866 20 | 0.197 % |
188.60/188.68 c | 287860 | 8094 69090 229510 | 90190 88026 20 | 0.197 % |
188.80/188.84 c | 288037 | 8094 69090 229510 | 90190 88203 20 | 0.197 % |
189.00/189.04 c | 288234 | 8094 69090 229510 | 90190 88400 20 | 0.197 % |
189.21/189.24 c | 288448 | 8094 69090 229510 | 90190 88614 20 | 0.197 % |
189.40/189.47 c | 288685 | 8094 69090 229510 | 90190 88851 20 | 0.197 % |
189.60/189.65 c | 288941 | 8094 69090 229510 | 90190 89107 20 | 0.197 % |
189.90/190.01 c | 289224 | 8094 69090 229510 | 90190 89390 20 | 0.197 % |
190.40/190.42 c | 289534 | 8094 69090 229510 | 90190 89700 20 | 0.197 % |
190.70/190.76 c | 289873 | 8094 69090 229510 | 90190 90039 20 | 0.197 % |
191.00/191.08 c | 290245 | 8094 69090 229510 | 90166 90411 20 | 0.197 % |
191.60/191.62 c | 290654 | 8094 69090 229510 | 90166 81779 20 | 0.197 % |
192.00/192.06 c | 291103 | 8094 69090 229510 | 90166 82228 20 | 0.197 % |
192.51/192.53 c | 291596 | 8094 69090 229510 | 90166 82721 20 | 0.197 % |
193.10/193.12 c | 292139 | 8094 69090 229510 | 90166 83264 20 | 0.197 % |
193.50/193.60 c | 292736 | 8094 69090 229510 | 90166 83861 20 | 0.197 % |
194.00/194.06 c | 293391 | 8094 69090 229510 | 90166 84516 20 | 0.197 % |
194.50/194.57 c | 294111 | 8094 69090 229510 | 90166 85236 20 | 0.197 % |
195.20/195.25 c | 294903 | 8094 69090 229510 | 90166 86028 20 | 0.197 % |
196.01/196.06 c | 295776 | 8094 69090 229510 | 90166 86901 20 | 0.197 % |
196.81/196.83 c | 296734 | 8094 69090 229510 | 90166 87859 20 | 0.197 % |
197.91/197.92 c | 297787 | 8094 69090 229510 | 90166 88912 20 | 0.197 % |
198.61/198.63 c | 298948 | 8094 69090 229510 | 90166 90073 20 | 0.197 % |
200.11/200.13 c | 300221 | 8094 69090 229510 | 2147483647 82292 20 | 0.197 % |
201.31/201.36 c | 301621 | 8094 69090 229510 | 2147483647 83692 20 | 0.197 % |
202.81/202.83 c | 303161 | 8094 69090 229510 | 2147483647 85232 20 | 0.197 % |
204.41/204.48 c | 304856 | 8094 69090 229510 | 2147483647 86927 20 | 0.197 % |
206.41/206.42 c | 306719 | 8094 69090 229510 | 2147483647 88790 20 | 0.197 % |
207.91/208.01 c | 308769 | 8094 69090 229510 | 2147483647 90840 20 | 0.197 % |
210.21/210.26 c | 311025 | 8094 69090 229510 | 2147483647 93096 20 | 0.197 % |
213.31/213.36 c | 313503 | 8094 69090 229510 | 2147483647 95574 20 | 0.197 % |
216.91/216.97 c | 316230 | 8094 69090 229510 | 2147483647 98301 20 | 0.197 % |
220.21/220.25 c | 319227 | 8094 69090 229510 | 2147483647 101298 20 | 0.197 % |
220.31/220.33 c | 319331 | 8094 69090 229510 | 2147483647 101402 20 | 0.197 % |
220.41/220.46 c | 319441 | 8094 69090 229510 | 2147483647 101512 20 | 0.197 % |
220.61/220.65 c | 319562 | 8094 69090 229510 | 2147483647 101633 20 | 0.197 % |
220.71/220.81 c | 319695 | 8094 69090 229510 | 2147483647 101766 20 | 0.197 % |
220.91/220.98 c | 319842 | 8094 69090 229510 | 2147483647 101913 20 | 0.197 % |
221.21/221.22 c | 320002 | 8094 69090 229510 | 2147483647 102073 20 | 0.197 % |
221.61/221.63 c | 320178 | 8094 69090 229510 | 102073 88016 20 | 0.197 % |
221.71/221.81 c | 320375 | 8094 69090 229510 | 102073 88213 20 | 0.197 % |
222.01/222.06 c | 320588 | 8094 69090 229510 | 102073 88426 20 | 0.197 % |
222.31/222.37 c | 320821 | 8094 69090 229510 | 102073 88659 20 | 0.197 % |
222.61/222.69 c | 321077 | 8094 69090 229510 | 102073 88915 20 | 0.197 % |
222.81/222.90 c | 321358 | 8094 69090 229510 | 102073 89196 20 | 0.197 % |
223.21/223.26 c | 321669 | 8094 69090 229510 | 102073 89507 20 | 0.197 % |
223.51/223.60 c | 322011 | 8094 69090 229510 | 102073 89849 20 | 0.197 % |
223.91/223.99 c | 322386 | 8094 69090 229510 | 102073 90224 20 | 0.197 % |
224.41/224.45 c | 322797 | 8094 69090 229510 | 102073 90635 20 | 0.197 % |
224.81/224.85 c | 323246 | 8094 69090 229510 | 102073 91084 20 | 0.197 % |
225.21/225.30 c | 323739 | 8094 69090 229510 | 102073 91577 20 | 0.197 % |
225.80/225.82 c | 324281 | 8094 69090 229510 | 102073 92119 20 | 0.197 % |
226.40/226.48 c | 324880 | 8094 69090 229510 | 102073 92718 20 | 0.197 % |
227.10/227.17 c | 325537 | 8094 69090 229510 | 102073 93375 20 | 0.197 % |
227.90/227.96 c | 326258 | 8094 69090 229510 | 102073 94096 20 | 0.197 % |
228.50/228.50 c | 327051 | 8094 69090 229510 | 102073 94889 20 | 0.197 % |
229.40/229.48 c | 327922 | 8094 69090 229510 | 102073 95760 20 | 0.197 % |
230.30/230.34 c | 328880 | 8094 69090 229510 | 102073 96718 20 | 0.197 % |
231.20/231.26 c | 329937 | 8094 69090 229510 | 102073 97775 20 | 0.197 % |
232.41/232.48 c | 331097 | 8094 69090 229510 | 97838 85684 20 | 0.197 % |
233.61/233.66 c | 332372 | 8094 69090 229510 | 97838 86959 20 | 0.197 % |
235.11/235.12 c | 333773 | 8094 69090 229510 | 97838 88360 20 | 0.197 % |
236.41/236.46 c | 335314 | 8094 69090 229510 | 97838 89901 20 | 0.197 % |
238.01/238.11 c | 337010 | 8094 69090 229510 | 97838 91597 20 | 0.197 % |
240.31/240.35 c | 338873 | 8094 69090 229510 | 97838 93460 20 | 0.197 % |
242.61/242.63 c | 340923 | 8094 69090 229510 | 94589 84119 20 | 0.197 % |
244.91/244.95 c | 343176 | 8094 69090 229510 | 94589 86372 20 | 0.197 % |
247.61/247.69 c | 345656 | 8094 69090 229510 | 94589 88852 20 | 0.197 % |
249.91/250.00 c | 348382 | 8094 69090 229510 | 94589 91578 20 | 0.197 % |
252.91/252.94 c | 351379 | 8094 69090 229510 | 2147483647 94575 20 | 0.197 % |
255.91/255.94 c | 354675 | 8094 69090 229510 | 2147483647 97871 20 | 0.197 % |
256.01/256.06 c | 354775 | 8094 69090 229510 | 2147483647 97971 20 | 0.197 % |
256.11/256.18 c | 354886 | 8094 69090 229510 | 2147483647 98082 20 | 0.197 % |
256.21/256.31 c | 355007 | 8094 69090 229510 | 2147483647 98203 20 | 0.197 % |
256.41/256.46 c | 355142 | 8094 69090 229510 | 2147483647 98338 20 | 0.197 % |
256.51/256.59 c | 355288 | 8094 69090 229510 | 2147483647 98484 20 | 0.197 % |
256.71/256.72 c | 355448 | 8094 69090 229510 | 2147483647 98644 20 | 0.197 % |
256.91/256.97 c | 355624 | 8094 69090 229510 | 2147483647 98820 20 | 0.197 % |
257.21/257.22 c | 355817 | 8094 69090 229510 | 2147483647 99013 20 | 0.197 % |
257.41/257.43 c | 356029 | 8094 69090 229510 | 2147483647 99225 20 | 0.197 % |
257.61/257.71 c | 356262 | 8094 69090 229510 | 2147483647 99458 20 | 0.197 % |
257.91/258.00 c | 356519 | 8094 69090 229510 | 2147483647 99715 20 | 0.197 % |
258.31/258.41 c | 356800 | 8094 69090 229510 | 2147483647 99996 20 | 0.197 % |
258.71/258.81 c | 357110 | 8094 69090 229510 | 2147483647 100306 20 | 0.197 % |
259.11/259.15 c | 357449 | 8094 69090 229510 | 2147483647 100645 20 | 0.197 % |
259.41/259.47 c | 357821 | 8094 69090 229510 | 2147483647 101017 20 | 0.197 % |
259.91/259.96 c | 358230 | 8094 69090 229510 | 2147483647 101426 20 | 0.197 % |
260.41/260.46 c | 358680 | 8094 69090 229510 | 2147483647 101876 21 | 0.197 % |
260.91/260.97 c | 359173 | 8094 69090 229510 | 2147483647 102369 21 | 0.197 % |
261.51/261.56 c | 359715 | 8094 69090 229510 | 2147483647 102911 21 | 0.197 % |
262.41/262.47 c | 360312 | 8094 69090 229510 | 103196 89204 20 | 0.197 % |
263.11/263.19 c | 360967 | 8094 69090 229510 | 103196 89859 20 | 0.197 % |
263.81/263.87 c | 361687 | 8094 69090 229510 | 103196 90579 20 | 0.197 % |
264.71/264.72 c | 362479 | 8094 69090 229510 | 103196 91371 20 | 0.197 % |
265.61/265.67 c | 363351 | 8094 69090 229510 | 103196 92243 20 | 0.197 % |
266.71/266.78 c | 364310 | 8094 69090 229510 | 103196 93202 20 | 0.197 % |
268.01/268.08 c | 365366 | 8094 69090 229510 | 103196 94258 20 | 0.197 % |
269.51/269.54 c | 366524 | 8094 69090 229510 | 103196 95416 20 | 0.197 % |
270.91/270.92 c | 367801 | 8094 69090 229510 | 103196 96693 20 | 0.197 % |
272.51/272.58 c | 369201 | 8094 69090 229510 | 103196 98093 20 | 0.197 % |
274.61/274.62 c | 370744 | 8094 69090 229510 | 98893 84056 20 | 0.197 % |
275.81/275.88 c | 372438 | 8094 69090 229510 | 98893 85750 20 | 0.197 % |
277.31/277.32 c | 374301 | 8094 69090 229510 | 98893 87613 20 | 0.197 % |
278.91/278.96 c | 376350 | 8094 69090 229510 | 98893 89662 20 | 0.197 % |
280.91/280.95 c | 378604 | 8094 69090 229510 | 98893 91916 20 | 0.197 % |
283.31/283.39 c | 381084 | 8094 69090 229510 | 2147483647 94396 20 | 0.197 % |
286.91/286.96 c | 383809 | 8094 69090 229510 | 2147483647 97121 20 | 0.197 % |
290.91/291.00 c | 386810 | 8094 69090 229510 | 2147483647 100122 20 | 0.197 % |
295.31/295.35 c | 390108 | 8094 69090 229510 | 103313 103420 20 | 0.197 % |
299.31/299.34 c | 393735 | 8094 69090 229510 | 103313 92682 20 | 0.197 % |
299.41/299.47 c | 393836 | 8094 69090 229510 | 103313 92783 20 | 0.197 % |
299.61/299.65 c | 393948 | 8094 69090 229510 | 103313 92895 20 | 0.197 % |
299.71/299.81 c | 394069 | 8094 69090 229510 | 103313 93016 20 | 0.197 % |
299.91/299.98 c | 394202 | 8094 69090 229510 | 103313 93149 20 | 0.197 % |
300.11/300.16 c | 394348 | 8094 69090 229510 | 103313 93295 20 | 0.197 % |
300.32/300.35 c | 394510 | 8094 69090 229510 | 103313 93457 20 | 0.197 % |
300.51/300.60 c | 394686 | 8094 69090 229510 | 103313 93633 20 | 0.197 % |
300.81/300.88 c | 394879 | 8094 69090 229510 | 103313 93826 20 | 0.197 % |
301.01/301.08 c | 395092 | 8094 69090 229510 | 103313 94039 20 | 0.197 % |
301.31/301.41 c | 395326 | 8094 69090 229510 | 103313 94273 20 | 0.197 % |
301.71/301.79 c | 395582 | 8094 69090 229510 | 103313 94529 20 | 0.197 % |
302.01/302.09 c | 395865 | 8094 69090 229510 | 103313 94812 20 | 0.197 % |
302.41/302.50 c | 396175 | 8094 69090 229510 | 103313 95122 20 | 0.197 % |
302.71/302.76 c | 396515 | 8094 69090 229510 | 103313 95462 20 | 0.197 % |
303.31/303.36 c | 396887 | 8094 69090 229510 | 103313 95834 20 | 0.197 % |
303.71/303.78 c | 397296 | 8094 69090 229510 | 103313 96243 20 | 0.197 % |
304.21/304.26 c | 397745 | 8094 69090 229510 | 103313 96692 20 | 0.197 % |
304.72/304.72 c | 398238 | 8094 69090 229510 | 103313 97185 20 | 0.197 % |
305.41/305.45 c | 398781 | 8094 69090 229510 | 103313 97728 20 | 0.197 % |
306.01/306.05 c | 399377 | 8094 69090 229510 | 103313 98324 20 | 0.197 % |
306.81/306.86 c | 400032 | 8094 69090 229510 | 98950 98979 20 | 0.197 % |
307.91/308.00 c | 400752 | 8094 69090 229510 | 98950 85216 20 | 0.197 % |
308.81/308.87 c | 401546 | 8094 69090 229510 | 98950 86010 20 | 0.197 % |
309.71/309.73 c | 402417 | 8094 69090 229510 | 98950 86881 20 | 0.197 % |
310.51/310.55 c | 403375 | 8094 69090 229510 | 98950 87839 20 | 0.197 % |
311.51/311.55 c | 404428 | 8093 69087 229504 | 98950 88889 20 | 0.210 % |
312.81/312.86 c | 405587 | 8093 69087 229504 | 98950 90048 20 | 0.210 % |
314.31/314.35 c | 406862 | 8093 69087 229504 | 98950 91323 20 | 0.210 % |
316.21/316.26 c | 408262 | 8093 69087 229504 | 98950 92723 20 | 0.210 % |
317.92/317.98 c | 409806 | 8093 69087 229504 | 98950 94267 20 | 0.210 % |
319.81/319.82 c | 411501 | 8093 69087 229504 | 94462 83361 19 | 0.210 % |
321.71/321.71 c | 413364 | 8093 69087 229504 | 94462 85224 19 | 0.210 % |
324.11/324.16 c | 415414 | 8093 69087 229504 | 94462 87274 19 | 0.210 % |
326.11/326.13 c | 417668 | 8093 69087 229504 | 94462 89528 19 | 0.210 % |
328.02/328.10 c | 420148 | 8093 69087 229504 | 91860 92008 19 | 0.210 % |
330.12/330.21 c | 422874 | 8093 69087 229504 | 91860 83013 19 | 0.210 % |
334.02/334.05 c | 425874 | 8093 69087 229504 | 91860 86013 19 | 0.210 % |
336.92/336.94 c | 429172 | 8093 69087 229504 | 91860 89311 20 | 0.210 % |
340.62/340.63 c | 432799 | 8093 69087 229504 | 90140 83116 19 | 0.210 % |
344.42/344.45 c | 436787 | 8093 69087 229504 | 90140 87104 19 | 0.210 % |
344.52/344.55 c | 436890 | 8093 69087 229504 | 90140 87207 19 | 0.210 % |
344.62/344.67 c | 437000 | 8093 69087 229504 | 90140 87317 19 | 0.210 % |
344.72/344.81 c | 437122 | 8093 69087 229504 | 90140 87439 19 | 0.210 % |
344.82/344.88 c | 437255 | 8093 69087 229504 | 90140 87572 19 | 0.210 % |
345.02/345.07 c | 437401 | 8093 69087 229504 | 90140 87718 19 | 0.210 % |
345.22/345.24 c | 437561 | 8093 69087 229504 | 90140 87878 19 | 0.210 % |
345.52/345.52 c | 437737 | 8093 69087 229504 | 90140 88054 19 | 0.210 % |
345.72/345.71 c | 437930 | 8093 69087 229504 | 90140 88247 19 | 0.210 % |
345.82/345.84 c | 438143 | 8093 69087 229504 | 90140 88460 19 | 0.210 % |
346.12/346.21 c | 438376 | 8093 69087 229504 | 90140 88693 19 | 0.210 % |
346.42/346.48 c | 438633 | 8093 69087 229504 | 90140 88950 19 | 0.210 % |
346.72/346.76 c | 438919 | 8093 69087 229504 | 90140 89236 19 | 0.210 % |
347.12/347.12 c | 439228 | 8093 69087 229504 | 90140 89545 19 | 0.210 % |
347.42/347.45 c | 439568 | 8093 69087 229504 | 90140 89885 19 | 0.210 % |
348.02/348.08 c | 439940 | 8093 69087 229504 | 90140 90257 19 | 0.210 % |
348.52/348.58 c | 440350 | 8093 69087 229504 | 80684 72933 19 | 0.210 % |
348.62/348.71 c | 440800 | 8093 69087 229504 | 80684 73383 19 | 0.210 % |
349.02/349.06 c | 441294 | 8093 69087 229504 | 80684 73877 19 | 0.210 % |
349.52/349.54 c | 441837 | 8093 69087 229504 | 80684 74420 19 | 0.210 % |
350.12/350.15 c | 442433 | 8093 69087 229504 | 80684 75016 19 | 0.210 % |
350.82/350.89 c | 443089 | 8093 69087 229504 | 80684 75672 19 | 0.210 % |
351.52/351.58 c | 443810 | 8093 69087 229504 | 80684 76393 19 | 0.210 % |
352.22/352.25 c | 444602 | 8093 69087 229504 | 80684 77185 19 | 0.210 % |
353.12/353.19 c | 445473 | 8093 69087 229504 | 80684 78056 19 | 0.210 % |
353.72/353.79 c | 446432 | 8093 69087 229504 | 80684 79015 19 | 0.210 % |
354.72/354.77 c | 447485 | 8093 69087 229504 | 80684 80068 19 | 0.210 % |
355.82/355.89 c | 448643 | 8093 69087 229504 | 80684 73136 19 | 0.210 % |
357.12/357.13 c | 449916 | 8093 69087 229504 | 80684 74409 19 | 0.210 % |
358.52/358.54 c | 451316 | 8093 69087 229504 | 2147483647 75809 19 | 0.210 % |
359.92/359.99 c | 452857 | 8093 69087 229504 | 2147483647 77350 19 | 0.210 % |
361.52/361.56 c | 454551 | 8093 69087 229504 | 2147483647 79044 19 | 0.210 % |
363.22/363.31 c | 456414 | 8093 69087 229504 | 2147483647 80907 19 | 0.210 % |
364.82/364.88 c | 458464 | 8093 69087 229504 | 2147483647 82957 19 | 0.210 % |
367.42/367.46 c | 460717 | 8093 69087 229504 | 2147483647 85210 19 | 0.210 % |
369.92/369.95 c | 463196 | 8093 69087 229504 | 2147483647 87689 19 | 0.210 % |
372.42/372.45 c | 465925 | 8093 69087 229504 | 2147483647 90418 20 | 0.210 % |
375.72/375.75 c | 468922 | 8093 69087 229504 | 2147483647 93415 20 | 0.210 % |
379.92/379.96 c | 472221 | 8093 69087 229504 | 2147483647 96714 20 | 0.210 % |
383.82/383.88 c | 475846 | 8093 69087 229504 | 2147483647 100339 20 | 0.210 % |
388.82/388.82 c | 479833 | 8093 69087 229504 | 2147483647 104326 20 | 0.210 % |
394.32/394.38 c | 484218 | 8093 69087 229504 | 104493 95946 20 | 0.210 % |
394.52/394.54 c | 484320 | 8093 69087 229504 | 104493 96048 20 | 0.210 % |
394.72/394.71 c | 484431 | 8093 69087 229504 | 104493 96159 20 | 0.210 % |
394.82/394.86 c | 484552 | 8093 69087 229504 | 104493 96280 20 | 0.210 % |
395.02/395.08 c | 484686 | 8093 69087 229504 | 104493 96414 20 | 0.210 % |
395.22/395.25 c | 484832 | 8093 69087 229504 | 104493 96560 20 | 0.210 % |
395.42/395.45 c | 484995 | 8093 69087 229504 | 104493 96723 20 | 0.210 % |
395.62/395.64 c | 485173 | 8093 69087 229504 | 104493 96901 20 | 0.210 % |
395.92/395.98 c | 485366 | 8093 69087 229504 | 104493 97094 20 | 0.210 % |
396.32/396.34 c | 485578 | 8093 69087 229504 | 104493 97306 20 | 0.210 % |
396.52/396.55 c | 485811 | 8093 69087 229504 | 104493 97539 20 | 0.210 % |
396.82/396.84 c | 486070 | 8093 69087 229504 | 104493 97798 20 | 0.210 % |
397.32/397.33 c | 486351 | 8093 69087 229504 | 104493 98079 20 | 0.210 % |
397.72/397.74 c | 486661 | 8093 69087 229504 | 104493 98389 20 | 0.210 % |
398.12/398.13 c | 487002 | 8093 69087 229504 | 104493 98730 20 | 0.210 % |
398.52/398.58 c | 487376 | 8093 69087 229504 | 104493 99104 20 | 0.210 % |
399.02/399.04 c | 487787 | 8093 69087 229504 | 104493 99515 20 | 0.210 % |
399.62/399.71 c | 488236 | 8093 69087 229504 | 104493 99964 20 | 0.210 % |
400.32/400.32 c | 488729 | 8093 69087 229504 | 104493 100457 20 | 0.210 % |
401.02/401.04 c | 489271 | 8093 69087 229504 | 104493 100999 20 | 0.210 % |
401.72/401.73 c | 489868 | 8093 69087 229504 | 104493 101596 20 | 0.210 % |
402.62/402.69 c | 490523 | 8093 69087 229504 | 101732 88987 19 | 0.210 % |
403.42/403.50 c | 491243 | 8093 69087 229504 | 101732 89707 19 | 0.210 % |
404.83/404.89 c | 492036 | 8093 69087 229504 | 101732 90500 19 | 0.210 % |
405.72/405.72 c | 492908 | 8093 69087 229504 | 101732 91372 19 | 0.210 % |
406.42/406.49 c | 493867 | 8093 69087 229504 | 101732 92331 20 | 0.210 % |
407.72/407.77 c | 494920 | 8093 69087 229504 | 101732 93384 20 | 0.210 % |
409.42/409.47 c | 496078 | 8093 69087 229504 | 101732 94542 20 | 0.210 % |
411.12/411.20 c | 497353 | 8093 69087 229504 | 101732 95817 20 | 0.210 % |
413.02/413.02 c | 498753 | 8093 69087 229504 | 101732 97217 20 | 0.210 % |
415.32/415.36 c | 500294 | 8093 69087 229504 | 98464 84058 19 | 0.210 % |
416.93/416.94 c | 501994 | 8093 69087 229504 | 98464 85758 19 | 0.210 % |
418.72/418.80 c | 503858 | 8093 69087 229504 | 98464 87622 19 | 0.210 % |
420.72/420.74 c | 505909 | 8093 69087 229504 | 98464 89673 19 | 0.210 % |
423.32/423.37 c | 508162 | 8093 69087 229504 | 98464 91926 19 | 0.210 % |
426.12/426.18 c | 510641 | 8093 69087 229504 | 93766 83411 19 | 0.210 % |
428.92/428.99 c | 513367 | 8093 69087 229504 | 93766 86137 19 | 0.210 % |
432.33/432.37 c | 516364 | 8093 69087 229504 | 93766 89134 20 | 0.210 % |
437.12/437.15 c | 519661 | 8093 69087 229504 | 93766 92431 20 | 0.210 % |
440.72/440.74 c | 523286 | 8093 69087 229504 | 92770 84357 19 | 0.210 % |
445.32/445.38 c | 527273 | 8093 69087 229504 | 92770 88344 19 | 0.210 % |
451.72/451.78 c | 531659 | 8093 69087 229504 | 91072 81630 19 | 0.210 % |
456.62/456.70 c | 536482 | 8093 69087 229504 | 91072 86453 19 | 0.210 % |
456.72/456.79 c | 536582 | 8093 69087 229504 | 91072 86553 19 | 0.210 % |
456.92/456.98 c | 536692 | 8093 69087 229504 | 91072 86663 19 | 0.210 % |
457.12/457.14 c | 536813 | 8093 69087 229504 | 91072 86784 19 | 0.210 % |
457.22/457.29 c | 536946 | 8093 69087 229504 | 91072 86917 19 | 0.210 % |
457.42/457.48 c | 537093 | 8093 69087 229504 | 91072 87064 19 | 0.210 % |
457.63/457.65 c | 537253 | 8093 69087 229504 | 91072 87224 19 | 0.210 % |
457.83/457.87 c | 537429 | 8093 69087 229504 | 91072 87400 19 | 0.210 % |
458.03/458.07 c | 537622 | 8093 69087 229504 | 91072 87593 19 | 0.210 % |
458.33/458.34 c | 537837 | 8093 69087 229504 | 91072 87808 19 | 0.210 % |
458.63/458.62 c | 538070 | 8093 69087 229504 | 91072 88041 19 | 0.210 % |
458.93/458.92 c | 538326 | 8093 69087 229504 | 91072 88297 19 | 0.210 % |
459.33/459.35 c | 538607 | 8093 69087 229504 | 91072 88578 19 | 0.210 % |
459.63/459.71 c | 538917 | 8093 69087 229504 | 91072 88888 19 | 0.210 % |
460.03/460.07 c | 539256 | 8093 69087 229504 | 91072 89227 19 | 0.210 % |
460.23/460.26 c | 539628 | 8093 69087 229504 | 91072 89599 19 | 0.210 % |
460.73/460.73 c | 540037 | 8093 69087 229504 | 89971 90008 19 | 0.210 % |
461.43/461.45 c | 540486 | 8093 69087 229504 | 89971 80557 19 | 0.210 % |
461.83/461.85 c | 540981 | 8093 69087 229504 | 89971 81052 19 | 0.210 % |
462.23/462.30 c | 541524 | 8093 69087 229504 | 89971 81595 19 | 0.210 % |
463.13/463.17 c | 542121 | 8093 69087 229504 | 89971 82192 19 | 0.210 % |
463.73/463.80 c | 542778 | 8093 69087 229504 | 89971 82849 19 | 0.210 % |
464.83/464.85 c | 543499 | 8093 69087 229504 | 89971 83570 19 | 0.210 % |
465.83/465.89 c | 544295 | 8093 69087 229504 | 89971 84366 19 | 0.210 % |
466.73/466.80 c | 545166 | 8093 69087 229504 | 89971 85237 19 | 0.210 % |
467.73/467.75 c | 546125 | 8093 69087 229504 | 89971 86196 19 | 0.210 % |
468.93/469.00 c | 547178 | 8093 69087 229504 | 89971 87249 19 | 0.210 % |
470.03/470.04 c | 548337 | 8093 69087 229504 | 89971 88408 19 | 0.210 % |
471.33/471.34 c | 549610 | 8093 69087 229504 | 89971 89681 19 | 0.210 % |
473.03/473.05 c | 551011 | 8093 69087 229504 | 90073 82049 19 | 0.210 % |
474.83/474.88 c | 552553 | 8093 69087 229504 | 90073 83591 19 | 0.210 % |
476.33/476.39 c | 554248 | 8093 69087 229504 | 90073 85286 19 | 0.210 % |
477.93/477.98 c | 556111 | 8093 69087 229504 | 90073 87149 19 | 0.210 % |
480.43/480.43 c | 558160 | 8093 69087 229504 | 90073 89198 19 | 0.210 % |
483.63/483.62 c | 560413 | 8093 69087 229504 | 80778 72103 18 | 0.210 % |
486.23/486.22 c | 562892 | 8093 69087 229504 | 80778 74582 18 | 0.210 % |
488.83/488.91 c | 565618 | 8093 69087 229504 | 80778 77308 19 | 0.210 % |
491.53/491.59 c | 568618 | 8093 69087 229504 | 80778 80308 19 | 0.210 % |
494.53/494.59 c | 571914 | 8093 69087 229504 | 2147483647 75466 19 | 0.210 % |
497.93/497.96 c | 575539 | 8093 69087 229504 | 2147483647 79091 19 | 0.210 % |
502.83/502.88 c | 579528 | 8093 69087 229504 | 2147483647 83080 19 | 0.210 % |
507.43/507.44 c | 583913 | 8093 69087 229504 | 2147483647 87465 19 | 0.210 % |
512.82/512.91 c | 588736 | 8093 69087 229504 | 2147483647 92288 19 | 0.210 % |
518.72/518.81 c | 594042 | 8093 69087 229504 | 2147483647 97594 20 | 0.210 % |
518.92/518.97 c | 594142 | 8093 69087 229504 | 2147483647 97694 20 | 0.210 % |
519.02/519.07 c | 594252 | 8093 69087 229504 | 2147483647 97804 20 | 0.210 % |
519.22/519.23 c | 594374 | 8093 69087 229504 | 2147483647 97926 20 | 0.210 % |
519.42/519.43 c | 594510 | 8093 69087 229504 | 2147483647 98062 20 | 0.210 % |
519.52/519.61 c | 594656 | 8093 69087 229504 | 2147483647 98208 20 | 0.210 % |
519.82/519.85 c | 594818 | 8093 69087 229504 | 2147483647 98370 20 | 0.210 % |
520.12/520.13 c | 594994 | 8093 69087 229504 | 2147483647 98546 20 | 0.210 % |
520.32/520.34 c | 595188 | 8093 69087 229504 | 2147483647 98740 20 | 0.210 % |
520.52/520.56 c | 595400 | 8093 69087 229504 | 2147483647 98952 20 | 0.210 % |
520.82/520.82 c | 595634 | 8093 69087 229504 | 2147483647 99186 20 | 0.210 % |
521.02/521.09 c | 595891 | 8093 69087 229504 | 2147483647 99443 20 | 0.210 % |
521.32/521.34 c | 596172 | 8093 69087 229504 | 2147483647 99724 20 | 0.210 % |
521.62/521.69 c | 596482 | 8093 69087 229504 | 2147483647 100034 20 | 0.210 % |
522.02/522.02 c | 596821 | 8093 69087 229504 | 2147483647 100373 20 | 0.210 % |
522.32/522.32 c | 597193 | 8093 69087 229504 | 2147483647 100745 20 | 0.210 % |
522.72/522.73 c | 597602 | 8093 69087 229504 | 2147483647 101154 20 | 0.210 % |
523.22/523.31 c | 598052 | 8093 69087 229504 | 2147483647 101604 20 | 0.210 % |
523.92/524.00 c | 598547 | 8093 69087 229504 | 2147483647 102099 20 | 0.210 % |
524.52/524.52 c | 599089 | 8093 69087 229504 | 2147483647 102641 20 | 0.210 % |
525.12/525.13 c | 599685 | 8093 69087 229504 | 2147483647 103237 20 | 0.210 % |
525.62/525.70 c | 600340 | 8093 69087 229504 | 103553 103892 20 | 0.210 % |
526.72/526.81 c | 601060 | 8093 69087 229504 | 103553 89965 19 | 0.210 % |
527.52/527.60 c | 601854 | 8093 69087 229504 | 103553 90759 19 | 0.210 % |
528.32/528.37 c | 602725 | 8093 69087 229504 | 103553 91630 19 | 0.210 % |
529.32/529.37 c | 603684 | 8093 69087 229504 | 103553 92589 19 | 0.210 % |
530.32/530.36 c | 604740 | 8093 69087 229504 | 103553 93645 19 | 0.210 % |
531.22/531.25 c | 605898 | 8093 69087 229504 | 103553 94803 19 | 0.210 % |
532.72/532.75 c | 607172 | 8093 69087 229504 | 103553 96077 19 | 0.210 % |
533.92/533.96 c | 608573 | 8093 69087 229504 | 103553 97478 20 | 0.210 % |
535.62/535.65 c | 610114 | 8093 69087 229504 | 98905 99019 20 | 0.210 % |
537.72/537.74 c | 611808 | 8093 69087 229504 | 98905 87066 19 | 0.210 % |
539.72/539.73 c | 613671 | 8093 69087 229504 | 98905 88929 19 | 0.210 % |
541.62/541.67 c | 615720 | 8093 69087 229504 | 98905 90978 19 | 0.210 % |
543.72/543.73 c | 617974 | 8093 69087 229504 | 98905 93232 19 | 0.210 % |
545.92/545.95 c | 620453 | 8093 69087 229504 | 95259 84916 19 | 0.210 % |
548.12/548.17 c | 623179 | 8093 69087 229504 | 95259 87642 19 | 0.210 % |
550.32/550.32 c | 626179 | 8093 69087 229504 | 95259 90642 19 | 0.210 % |
552.92/552.93 c | 629475 | 8093 69087 229504 | 95259 93938 19 | 0.210 % |
556.22/556.21 c | 633102 | 8093 69087 229504 | 94464 88073 19 | 0.210 % |
559.62/559.69 c | 637091 | 8093 69087 229504 | 94464 92062 19 | 0.210 % |
564.52/564.51 c | 641477 | 8093 69087 229504 | 84696 77090 18 | 0.210 % |
568.12/568.18 c | 646301 | 8093 69087 229504 | 84696 81914 18 | 0.210 % |
572.92/572.98 c | 651606 | 8093 69087 229504 | 2147483647 78722 18 | 0.210 % |
578.02/578.03 c | 657441 | 8093 69087 229504 | 2147483647 84557 18 | 0.210 % |
578.12/578.17 c | 657541 | 8093 69087 229504 | 2147483647 84657 18 | 0.210 % |
578.22/578.25 c | 657651 | 8093 69087 229504 | 2147483647 84767 18 | 0.210 % |
578.32/578.36 c | 657772 | 8093 69087 229504 | 2147483647 84888 18 | 0.210 % |
578.42/578.44 c | 657906 | 8093 69087 229504 | 2147483647 85022 18 | 0.210 % |
578.52/578.54 c | 658052 | 8093 69087 229504 | 2147483647 85168 18 | 0.210 % |
578.72/578.71 c | 658212 | 8093 69087 229504 | 2147483647 85328 18 | 0.210 % |
578.82/578.84 c | 658388 | 8093 69087 229504 | 2147483647 85504 18 | 0.210 % |
578.92/579.00 c | 658583 | 8093 69087 229504 | 2147483647 85699 18 | 0.210 % |
579.22/579.27 c | 658795 | 8093 69087 229504 | 2147483647 85911 18 | 0.210 % |
579.52/579.56 c | 659028 | 8093 69087 229504 | 2147483647 86144 18 | 0.210 % |
579.73/579.80 c | 659285 | 8093 69087 229504 | 2147483647 86401 18 | 0.210 % |
580.02/580.06 c | 659567 | 8093 69087 229504 | 2147483647 86683 18 | 0.210 % |
580.32/580.32 c | 659877 | 8093 69087 229504 | 2147483647 86993 18 | 0.210 % |
580.72/580.72 c | 660219 | 8093 69087 229504 | 2147483647 87335 18 | 0.210 % |
581.02/581.08 c | 660592 | 8093 69087 229504 | 2147483647 87708 18 | 0.210 % |
581.52/581.53 c | 661002 | 8093 69087 229504 | 2147483647 88118 18 | 0.210 % |
581.82/581.90 c | 661451 | 8093 69087 229504 | 2147483647 88567 18 | 0.210 % |
582.22/582.23 c | 661948 | 8093 69087 229504 | 2147483647 89064 19 | 0.210 % |
582.72/582.76 c | 662491 | 8093 69087 229504 | 2147483647 89607 19 | 0.210 % |
583.32/583.35 c | 663088 | 8093 69087 229504 | 2147483647 90204 19 | 0.210 % |
584.21/584.20 c | 663743 | 8093 69087 229504 | 2147483647 90859 19 | 0.210 % |
584.91/584.91 c | 664464 | 8093 69087 229504 | 2147483647 91580 19 | 0.210 % |
585.52/585.54 c | 665258 | 8093 69087 229504 | 2147483647 92374 19 | 0.210 % |
586.72/586.71 c | 666130 | 8093 69087 229504 | 2147483647 93246 19 | 0.210 % |
587.82/587.85 c | 667088 | 8093 69087 229504 | 2147483647 94204 19 | 0.210 % |
588.73/588.75 c | 668141 | 8093 69087 229504 | 2147483647 95257 19 | 0.210 % |
589.73/589.73 c | 669299 | 8093 69087 229504 | 2147483647 96415 19 | 0.210 % |
590.83/590.91 c | 670572 | 8093 69087 229504 | 97118 85736 18 | 0.210 % |
591.93/591.99 c | 671974 | 8093 69087 229504 | 97118 87138 18 | 0.210 % |
593.23/593.27 c | 673514 | 8093 69087 229504 | 97118 88678 18 | 0.210 % |
594.93/594.99 c | 675212 | 8093 69087 229504 | 97118 90376 18 | 0.210 % |
596.63/596.65 c | 677075 | 8093 69087 229504 | 97118 92239 18 | 0.210 % |
598.83/598.91 c | 679124 | 8093 69087 229504 | 97118 94288 18 | 0.210 % |
601.43/601.49 c | 681377 | 8093 69087 229504 | 95164 86042 18 | 0.210 % |
603.53/603.55 c | 683856 | 8093 69087 229504 | 95164 88521 18 | 0.210 % |
606.03/606.09 c | 686582 | 8093 69087 229504 | 95164 91247 18 | 0.210 % |
607.23/607.24 c | 689579 | 8089 68667 227149 | 95164 28417 12 | 0.296 % |
607.63/607.65 c ===============================================================================
607.63/607.65 c restarts : 1029
607.63/607.65 c conflicts : 691455 (1141 /sec)
607.63/607.65 c decisions : 1001272 (1.81 % random) (1652 /sec)
607.63/607.65 c propagations : 161603153 (266553 /sec)
607.63/607.65 c conflict literals : 15107520 (36.47 % deleted)
607.63/607.65 c Memory used : 21.55 MB
607.63/607.65 c CPU time : 606.27 s
607.63/607.65 c
607.63/607.65 s UNSATISFIABLE
607.63/607.65 s UNSATISFIABLE
runsolver version 3.2.9 (svn:503) (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w /tmp/evaluation-result-1821376-1242522602/watcher-1821376-1242522602 -o /tmp/evaluation-result-1821376-1242522602/solver-1821376-1242522602 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1821376-1242522602.cnf
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1230 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 8192 KiB
[startup+0 s]
/proc/loadavg: 1.01 1.01 1.00 2/91 19183
/proc/meminfo: memFree=1391380/2074464 swapFree=1952056/1959888
[pid=19183] ppid=19181 vsize=2416 CPUtime=0
/proc/19183/stat : 19183 (SatELiteGTI) S 19181 19183 15108 0 -1 4194304 369 642 0 0 0 0 0 0 18 0 1 0 1016758336 2473984 277 4294967295 134512640 135169312 3215664640 3215663176 3085598446 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/19183/statm: 604 277 235 161 0 43 0
[pid=19187] ppid=19183 vsize=952 CPUtime=0
/proc/19187/stat : 19187 (SatELite_releas) R 19183 19183 15108 0 -1 4202496 126 0 0 0 0 0 0 0 18 0 1 0 1016758337 974848 61 4294967295 134512640 135223648 3220812496 3220811092 134719062 0 0 0 3 0 0 0 17 1 0 0 0
/proc/19187/statm: 238 62 47 174 0 63 0
[startup+0.025313 s]
/proc/loadavg: 1.01 1.01 1.00 2/91 19183
/proc/meminfo: memFree=1391380/2074464 swapFree=1952056/1959888
[pid=19183] ppid=19181 vsize=2416 CPUtime=0
/proc/19183/stat : 19183 (SatELiteGTI) S 19181 19183 15108 0 -1 4194304 369 642 0 0 0 0 0 0 18 0 1 0 1016758336 2473984 277 4294967295 134512640 135169312 3215664640 3215663176 3085598446 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/19183/statm: 604 277 235 161 0 43 0
[pid=19187] ppid=19183 vsize=3392 CPUtime=0.03
/proc/19187/stat : 19187 (SatELite_releas) R 19183 19183 15108 0 -1 4202496 724 0 0 0 3 0 0 0 18 0 1 0 1016758337 3473408 659 4294967295 134512640 135223648 3220812496 3220811080 134719062 0 0 0 3 0 0 0 17 1 0 0 0
/proc/19187/statm: 848 660 47 174 0 673 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 5808
[startup+0.115305 s]
/proc/loadavg: 1.01 1.01 1.00 2/91 19183
/proc/meminfo: memFree=1391380/2074464 swapFree=1952056/1959888
[pid=19183] ppid=19181 vsize=2416 CPUtime=0
/proc/19183/stat : 19183 (SatELiteGTI) S 19181 19183 15108 0 -1 4194304 369 642 0 0 0 0 0 0 18 0 1 0 1016758336 2473984 277 4294967295 134512640 135169312 3215664640 3215663176 3085598446 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/19183/statm: 604 277 235 161 0 43 0
[pid=19187] ppid=19183 vsize=13104 CPUtime=0.12
/proc/19187/stat : 19187 (SatELite_releas) R 19183 19183 15108 0 -1 4202496 3007 0 0 0 11 1 0 0 18 0 1 0 1016758337 13418496 2942 4294967295 134512640 135223648 3220812496 3220811232 134540952 0 0 0 3 0 0 0 17 1 0 0 0
/proc/19187/statm: 3276 2942 47 174 0 3101 0
Current children cumulated CPU time (s) 0.12
Current children cumulated vsize (KiB) 15520
[startup+0.31529 s]
/proc/loadavg: 1.01 1.01 1.00 2/91 19183
/proc/meminfo: memFree=1391380/2074464 swapFree=1952056/1959888
[pid=19183] ppid=19181 vsize=2416 CPUtime=0
/proc/19183/stat : 19183 (SatELiteGTI) S 19181 19183 15108 0 -1 4194304 369 642 0 0 0 0 0 0 18 0 1 0 1016758336 2473984 277 4294967295 134512640 135169312 3215664640 3215663176 3085598446 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/19183/statm: 604 277 235 161 0 43 0
[pid=19187] ppid=19183 vsize=22264 CPUtime=0.31
/proc/19187/stat : 19187 (SatELite_releas) R 19183 19183 15108 0 -1 4202496 4628 0 0 0 30 1 0 0 18 0 1 0 1016758337 22798336 4563 4294967295 134512640 135223648 3220812496 3220810576 134548337 0 0 0 3 0 0 0 17 0 0 0 0
/proc/19187/statm: 5566 4563 72 174 0 5391 0
Current children cumulated CPU time (s) 0.31
Current children cumulated vsize (KiB) 24680
[startup+0.71526 s]
/proc/loadavg: 1.01 1.01 1.00 2/91 19183
/proc/meminfo: memFree=1391380/2074464 swapFree=1952056/1959888
[pid=19183] ppid=19181 vsize=2416 CPUtime=0
/proc/19183/stat : 19183 (SatELiteGTI) S 19181 19183 15108 0 -1 4194304 369 642 0 0 0 0 0 0 18 0 1 0 1016758336 2473984 277 4294967295 134512640 135169312 3215664640 3215663176 3085598446 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/19183/statm: 604 277 235 161 0 43 0
[pid=19187] ppid=19183 vsize=22020 CPUtime=0.71
/proc/19187/stat : 19187 (SatELite_releas) R 19183 19183 15108 0 -1 4202496 4976 0 0 0 70 1 0 0 19 0 1 0 1016758337 22548480 4516 4294967295 134512640 135223648 3220812496 3220810400 134541118 0 0 0 3 0 0 0 17 0 0 0 0
/proc/19187/statm: 5505 4516 73 174 0 5330 0
Current children cumulated CPU time (s) 0.71
Current children cumulated vsize (KiB) 24436
[startup+1.5152 s]
/proc/loadavg: 1.01 1.01 1.00 3/93 19188
/proc/meminfo: memFree=1370268/2074464 swapFree=1952056/1959888
[pid=19183] ppid=19181 vsize=2420 CPUtime=1.29
/proc/19183/stat : 19183 (SatELiteGTI) S 19181 19183 15108 0 -1 4194304 387 6168 0 0 0 0 126 3 18 0 1 0 1016758336 2478080 278 4294967295 134512640 135169312 3215664640 3215660856 3085598446 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/19183/statm: 605 278 235 161 0 44 0
Current children cumulated CPU time (s) 1.29
Current children cumulated vsize (KiB) 2420
[startup+3.11508 s]
/proc/loadavg: 1.01 1.01 1.00 3/93 19189
/proc/meminfo: memFree=1382296/2074464 swapFree=1952056/1959888
[pid=19183] ppid=19181 vsize=2420 CPUtime=1.29
/proc/19183/stat : 19183 (SatELiteGTI) S 19181 19183 15108 0 -1 4194304 387 6168 0 0 0 0 126 3 18 0 1 0 1016758336 2478080 278 4294967295 134512640 135169312 3215664640 3215660856 3085598446 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/19183/statm: 605 278 235 161 0 44 0
[pid=19189] ppid=19183 vsize=7480 CPUtime=1.8
/proc/19189/stat : 19189 (minisat_static) R 19183 19183 15108 0 -1 4202496 1757 0 0 0 180 0 0 0 25 0 1 0 1016758467 7659520 1692 4294967295 134512640 135215339 3220011632 3220009904 134525032 0 0 0 3 0 0 0 17 0 0 0 0
/proc/19189/statm: 1870 1692 72 172 0 1697 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 9900
[startup+6.31483 s]
/proc/loadavg: 1.01 1.01 1.00 3/93 19189
/proc/meminfo: memFree=1381096/2074464 swapFree=1952056/1959888
[pid=19183] ppid=19181 vsize=2420 CPUtime=1.29
/proc/19183/stat : 19183 (SatELiteGTI) S 19181 19183 15108 0 -1 4194304 387 6168 0 0 0 0 126 3 18 0 1 0 1016758336 2478080 278 4294967295 134512640 135169312 3215664640 3215660856 3085598446 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/19183/statm: 605 278 235 161 0 44 0
[pid=19189] ppid=19183 vsize=8832 CPUtime=5
/proc/19189/stat : 19189 (minisat_static) R 19183 19183 15108 0 -1 4202496 2092 0 0 0 499 1 0 0 25 0 1 0 1016758467 9043968 2027 4294967295 134512640 135215339 3220011632 3220009920 134528852 0 0 0 3 0 0 0 17 0 0 0 0
/proc/19189/statm: 2208 2027 72 172 0 2035 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 11252
[startup+12.7143 s]
/proc/loadavg: 1.01 1.01 1.00 3/93 19189
/proc/meminfo: memFree=1378596/2074464 swapFree=1952056/1959888
[pid=19183] ppid=19181 vsize=2420 CPUtime=1.29
/proc/19183/stat : 19183 (SatELiteGTI) S 19181 19183 15108 0 -1 4194304 387 6168 0 0 0 0 126 3 18 0 1 0 1016758336 2478080 278 4294967295 134512640 135169312 3215664640 3215660856 3085598446 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/19183/statm: 605 278 235 161 0 44 0
[pid=19189] ppid=19183 vsize=11172 CPUtime=11.4
/proc/19189/stat : 19189 (minisat_static) R 19183 19183 15108 0 -1 4202496 2686 0 0 0 1139 1 0 0 25 0 1 0 1016758467 11440128 2621 4294967295 134512640 135215339 3220011632 3220009920 134529148 0 0 0 3 0 0 0 17 0 0 0 0
/proc/19189/statm: 2793 2621 72 172 0 2620 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 13592
[startup+25.5134 s]
/proc/loadavg: 1.00 1.01 1.00 4/93 19190
/proc/meminfo: memFree=1375684/2074464 swapFree=1952056/1959888
[pid=19183] ppid=19181 vsize=2420 CPUtime=1.29
/proc/19183/stat : 19183 (SatELiteGTI) S 19181 19183 15108 0 -1 4194304 387 6168 0 0 0 0 126 3 18 0 1 0 1016758336 2478080 278 4294967295 134512640 135169312 3215664640 3215660856 3085598446 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/19183/statm: 605 278 235 161 0 44 0
[pid=19189] ppid=19183 vsize=13968 CPUtime=24.2
/proc/19189/stat : 19189 (minisat_static) R 19183 19183 15108 0 -1 4202496 3359 0 0 0 2419 1 0 0 25 0 1 0 1016758467 14303232 3294 4294967295 134512640 135215339 3220011632 3220009920 134528679 0 0 0 3 0 0 0 17 0 0 0 0
/proc/19189/statm: 3492 3294 72 172 0 3319 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 16388
[startup+51.1114 s]
/proc/loadavg: 1.00 1.01 1.00 3/93 19191
/proc/meminfo: memFree=1374460/2074464 swapFree=1952056/1959888
[pid=19183] ppid=19181 vsize=2420 CPUtime=1.29
/proc/19183/stat : 19183 (SatELiteGTI) S 19181 19183 15108 0 -1 4194304 387 6168 0 0 0 0 126 3 18 0 1 0 1016758336 2478080 278 4294967295 134512640 135169312 3215664640 3215660856 3085598446 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/19183/statm: 605 278 235 161 0 44 0
[pid=19189] ppid=19183 vsize=15360 CPUtime=49.8
/proc/19189/stat : 19189 (minisat_static) R 19183 19183 15108 0 -1 4202496 3705 0 0 0 4977 3 0 0 25 0 1 0 1016758467 15728640 3640 4294967295 134512640 135215339 3220011632 3220009920 134528682 0 0 0 3 0 0 0 17 0 0 0 0
/proc/19189/statm: 3840 3640 72 172 0 3667 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 17780
[startup+102.317 s]
/proc/loadavg: 1.00 1.00 1.00 3/93 19379
/proc/meminfo: memFree=1369400/2074464 swapFree=1952056/1959888
[pid=19183] ppid=19181 vsize=2420 CPUtime=1.29
/proc/19183/stat : 19183 (SatELiteGTI) S 19181 19183 15108 0 -1 4194304 387 6168 0 0 0 0 126 3 18 0 1 0 1016758336 2478080 278 4294967295 134512640 135169312 3215664640 3215660856 3085598446 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/19183/statm: 605 278 235 161 0 44 0
[pid=19189] ppid=19183 vsize=20256 CPUtime=101.01
/proc/19189/stat : 19189 (minisat_static) R 19183 19183 15108 0 -1 4202496 4906 0 0 0 10096 5 0 0 25 0 1 0 1016758467 20742144 4841 4294967295 134512640 135215339 3220011632 3220009920 134528682 0 0 0 3 0 0 0 17 0 0 0 0
/proc/19189/statm: 5064 4841 72 172 0 4891 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 22676
[startup+162.313 s]
/proc/loadavg: 1.00 1.00 1.00 3/93 19567
/proc/meminfo: memFree=1369028/2074464 swapFree=1952056/1959888
[pid=19183] ppid=19181 vsize=2420 CPUtime=1.29
/proc/19183/stat : 19183 (SatELiteGTI) S 19181 19183 15108 0 -1 4194304 387 6168 0 0 0 0 126 3 18 0 1 0 1016758336 2478080 278 4294967295 134512640 135169312 3215664640 3215660856 3085598446 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/19183/statm: 605 278 235 161 0 44 0
[pid=19189] ppid=19183 vsize=20680 CPUtime=161.01
/proc/19189/stat : 19189 (minisat_static) R 19183 19183 15108 0 -1 4202496 5013 0 0 0 16096 5 0 0 25 0 1 0 1016758467 21176320 4948 4294967295 134512640 135215339 3220011632 3220009920 134528682 0 0 0 3 0 0 0 17 0 0 0 0
/proc/19189/statm: 5170 4948 72 172 0 4997 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 23100
[startup+222.318 s]
/proc/loadavg: 1.00 1.00 1.00 3/93 19760
/proc/meminfo: memFree=1368524/2074464 swapFree=1952056/1959888
[pid=19183] ppid=19181 vsize=2420 CPUtime=1.29
/proc/19183/stat : 19183 (SatELiteGTI) S 19181 19183 15108 0 -1 4194304 387 6168 0 0 0 0 126 3 18 0 1 0 1016758336 2478080 278 4294967295 134512640 135169312 3215664640 3215660856 3085598446 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/19183/statm: 605 278 235 161 0 44 0
[pid=19189] ppid=19183 vsize=21112 CPUtime=221.02
/proc/19189/stat : 19189 (minisat_static) R 19183 19183 15108 0 -1 4202496 5105 0 0 0 22097 5 0 0 25 0 1 0 1016758467 21618688 5040 4294967295 134512640 135215339 3220011632 3220009920 134528788 0 0 0 3 0 0 0 17 0 0 0 0
/proc/19189/statm: 5278 5040 72 172 0 5105 0
Current children cumulated CPU time (s) 222.31
Current children cumulated vsize (KiB) 23532
[startup+282.314 s]
/proc/loadavg: 1.00 1.00 1.00 3/93 19946
/proc/meminfo: memFree=1368276/2074464 swapFree=1952056/1959888
[pid=19183] ppid=19181 vsize=2420 CPUtime=1.29
/proc/19183/stat : 19183 (SatELiteGTI) S 19181 19183 15108 0 -1 4194304 387 6168 0 0 0 0 126 3 18 0 1 0 1016758336 2478080 278 4294967295 134512640 135169312 3215664640 3215660856 3085598446 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/19183/statm: 605 278 235 161 0 44 0
[pid=19189] ppid=19183 vsize=21256 CPUtime=281.02
/proc/19189/stat : 19189 (minisat_static) R 19183 19183 15108 0 -1 4202496 5135 0 0 0 28097 5 0 0 25 0 1 0 1016758467 21766144 5070 4294967295 134512640 135215339 3220011632 3220009920 134528682 0 0 0 3 0 0 0 17 0 0 0 0
/proc/19189/statm: 5314 5070 72 172 0 5141 0
Current children cumulated CPU time (s) 282.31
Current children cumulated vsize (KiB) 23676
[startup+342.319 s]
/proc/loadavg: 1.04 1.01 1.00 2/93 20136
/proc/meminfo: memFree=1367980/2074464 swapFree=1952056/1959888
[pid=19183] ppid=19181 vsize=2420 CPUtime=1.29
/proc/19183/stat : 19183 (SatELiteGTI) S 19181 19183 15108 0 -1 4194304 387 6168 0 0 0 0 126 3 18 0 1 0 1016758336 2478080 278 4294967295 134512640 135169312 3215664640 3215660856 3085598446 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/19183/statm: 605 278 235 161 0 44 0
[pid=19189] ppid=19183 vsize=21388 CPUtime=341.03
/proc/19189/stat : 19189 (minisat_static) R 19183 19183 15108 0 -1 4202496 5191 0 0 0 34093 10 0 0 25 0 1 0 1016758467 21901312 5126 4294967295 134512640 135215339 3220011632 3220009920 134529085 0 0 0 3 0 0 0 17 0 0 0 0
/proc/19189/statm: 5347 5126 72 172 0 5174 0
Current children cumulated CPU time (s) 342.32
Current children cumulated vsize (KiB) 23808
[startup+402.314 s]
/proc/loadavg: 1.01 1.01 1.00 3/93 20324
/proc/meminfo: memFree=1367656/2074464 swapFree=1952056/1959888
[pid=19183] ppid=19181 vsize=2420 CPUtime=1.29
/proc/19183/stat : 19183 (SatELiteGTI) S 19181 19183 15108 0 -1 4194304 387 6168 0 0 0 0 126 3 18 0 1 0 1016758336 2478080 278 4294967295 134512640 135169312 3215664640 3215660856 3085598446 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/19183/statm: 605 278 235 161 0 44 0
[pid=19189] ppid=19183 vsize=21676 CPUtime=401.03
/proc/19189/stat : 19189 (minisat_static) R 19183 19183 15108 0 -1 4202496 5230 0 0 0 40093 10 0 0 25 0 1 0 1016758467 22196224 5165 4294967295 134512640 135215339 3220011632 3220009920 134528734 0 0 0 3 0 0 0 17 0 0 0 0
/proc/19189/statm: 5419 5165 72 172 0 5246 0
Current children cumulated CPU time (s) 402.32
Current children cumulated vsize (KiB) 24096
[startup+462.32 s]
/proc/loadavg: 1.00 1.00 1.00 3/93 20515
/proc/meminfo: memFree=1367540/2074464 swapFree=1952056/1959888
[pid=19183] ppid=19181 vsize=2420 CPUtime=1.29
/proc/19183/stat : 19183 (SatELiteGTI) S 19181 19183 15108 0 -1 4194304 387 6168 0 0 0 0 126 3 18 0 1 0 1016758336 2478080 278 4294967295 134512640 135169312 3215664640 3215660856 3085598446 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/19183/statm: 605 278 235 161 0 44 0
[pid=19189] ppid=19183 vsize=21840 CPUtime=461.04
/proc/19189/stat : 19189 (minisat_static) R 19183 19183 15108 0 -1 4202496 5272 0 0 0 46094 10 0 0 25 0 1 0 1016758467 22364160 5207 4294967295 134512640 135215339 3220011632 3220009920 134528748 0 0 0 3 0 0 0 17 0 0 0 0
/proc/19189/statm: 5460 5207 72 172 0 5287 0
Current children cumulated CPU time (s) 462.33
Current children cumulated vsize (KiB) 24260
[startup+522.315 s]
/proc/loadavg: 1.08 1.03 1.01 2/93 20704
/proc/meminfo: memFree=1367400/2074464 swapFree=1952056/1959888
[pid=19183] ppid=19181 vsize=2420 CPUtime=1.29
/proc/19183/stat : 19183 (SatELiteGTI) S 19181 19183 15108 0 -1 4194304 387 6168 0 0 0 0 126 3 18 0 1 0 1016758336 2478080 278 4294967295 134512640 135169312 3215664640 3215660856 3085598446 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/19183/statm: 605 278 235 161 0 44 0
[pid=19189] ppid=19183 vsize=21840 CPUtime=521.03
/proc/19189/stat : 19189 (minisat_static) R 19183 19183 15108 0 -1 4202496 5287 0 0 0 52093 10 0 0 25 0 1 0 1016758467 22364160 5222 4294967295 134512640 135215339 3220011632 3220009920 134528830 0 0 0 3 0 0 0 17 2 0 0 0
/proc/19189/statm: 5460 5222 72 172 0 5287 0
Current children cumulated CPU time (s) 522.32
Current children cumulated vsize (KiB) 24260
[startup+582.311 s]
/proc/loadavg: 1.03 1.02 1.00 3/93 20894
/proc/meminfo: memFree=1367260/2074464 swapFree=1952056/1959888
[pid=19183] ppid=19181 vsize=2420 CPUtime=1.29
/proc/19183/stat : 19183 (SatELiteGTI) S 19181 19183 15108 0 -1 4194304 387 6168 0 0 0 0 126 3 18 0 1 0 1016758336 2478080 278 4294967295 134512640 135169312 3215664640 3215660856 3085598446 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/19183/statm: 605 278 235 161 0 44 0
[pid=19189] ppid=19183 vsize=22064 CPUtime=581.03
/proc/19189/stat : 19189 (minisat_static) R 19183 19183 15108 0 -1 4202496 5330 0 0 0 58093 10 0 0 25 0 1 0 1016758467 22593536 5265 4294967295 134512640 135215339 3220011632 3220009920 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/19189/statm: 5516 5265 72 172 0 5343 0
Current children cumulated CPU time (s) 582.32
Current children cumulated vsize (KiB) 24484
Solver just ended. Dumping a history of the last processes samples
[startup+588.72 s]
/proc/loadavg: 1.02 1.02 1.00 3/93 20896
/proc/meminfo: memFree=1367268/2074464 swapFree=1952056/1959888
[pid=19183] ppid=19181 vsize=2420 CPUtime=1.29
/proc/19183/stat : 19183 (SatELiteGTI) S 19181 19183 15108 0 -1 4194304 387 6168 0 0 0 0 126 3 18 0 1 0 1016758336 2478080 278 4294967295 134512640 135169312 3215664640 3215660856 3085598446 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/19183/statm: 605 278 235 161 0 44 0
[pid=19189] ppid=19183 vsize=22064 CPUtime=587.44
/proc/19189/stat : 19189 (minisat_static) R 19183 19183 15108 0 -1 4202496 5330 0 0 0 58734 10 0 0 25 0 1 0 1016758467 22593536 5265 4294967295 134512640 135215339 3220011632 3220009920 134528863 0 0 0 3 0 0 0 17 2 0 0 0
/proc/19189/statm: 5516 5265 72 172 0 5343 0
Current children cumulated CPU time (s) 588.73
Current children cumulated vsize (KiB) 24484
[startup+595.12 s]
/proc/loadavg: 1.02 1.02 1.00 5/94 20909
/proc/meminfo: memFree=1367072/2074464 swapFree=1952056/1959888
[pid=19183] ppid=19181 vsize=2420 CPUtime=1.29
/proc/19183/stat : 19183 (SatELiteGTI) S 19181 19183 15108 0 -1 4194304 387 6168 0 0 0 0 126 3 18 0 1 0 1016758336 2478080 278 4294967295 134512640 135169312 3215664640 3215660856 3085598446 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/19183/statm: 605 278 235 161 0 44 0
[pid=19189] ppid=19183 vsize=22064 CPUtime=593.84
/proc/19189/stat : 19189 (minisat_static) R 19183 19183 15108 0 -1 4202496 5330 0 0 0 59374 10 0 0 25 0 1 0 1016758467 22593536 5265 4294967295 134512640 135215339 3220011632 3220009920 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/19189/statm: 5516 5265 72 172 0 5343 0
Current children cumulated CPU time (s) 595.13
Current children cumulated vsize (KiB) 24484
[startup+601.519 s]
/proc/loadavg: 1.02 1.02 1.00 4/93 21080
/proc/meminfo: memFree=1366912/2074464 swapFree=1952056/1959888
[pid=19183] ppid=19181 vsize=2420 CPUtime=1.29
/proc/19183/stat : 19183 (SatELiteGTI) S 19181 19183 15108 0 -1 4194304 387 6168 0 0 0 0 126 3 18 0 1 0 1016758336 2478080 278 4294967295 134512640 135169312 3215664640 3215660856 3085598446 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/19183/statm: 605 278 235 161 0 44 0
[pid=19189] ppid=19183 vsize=22064 CPUtime=600.24
/proc/19189/stat : 19189 (minisat_static) R 19183 19183 15108 0 -1 4202496 5330 0 0 0 60014 10 0 0 25 0 1 0 1016758467 22593536 5265 4294967295 134512640 135215339 3220011632 3220009920 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/19189/statm: 5516 5265 72 172 0 5343 0
Current children cumulated CPU time (s) 601.53
Current children cumulated vsize (KiB) 24484
[startup+604.719 s]
/proc/loadavg: 1.02 1.02 1.00 3/93 21080
/proc/meminfo: memFree=1367040/2074464 swapFree=1952056/1959888
[pid=19183] ppid=19181 vsize=2420 CPUtime=1.29
/proc/19183/stat : 19183 (SatELiteGTI) S 19181 19183 15108 0 -1 4194304 387 6168 0 0 0 0 126 3 18 0 1 0 1016758336 2478080 278 4294967295 134512640 135169312 3215664640 3215660856 3085598446 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/19183/statm: 605 278 235 161 0 44 0
[pid=19189] ppid=19183 vsize=22064 CPUtime=603.44
/proc/19189/stat : 19189 (minisat_static) R 19183 19183 15108 0 -1 4202496 5330 0 0 0 60334 10 0 0 25 0 1 0 1016758467 22593536 5265 4294967295 134512640 135215339 3220011632 3220009920 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/19189/statm: 5516 5265 72 172 0 5343 0
Current children cumulated CPU time (s) 604.73
Current children cumulated vsize (KiB) 24484
[startup+606.319 s]
/proc/loadavg: 1.02 1.02 1.00 3/93 21080
/proc/meminfo: memFree=1367040/2074464 swapFree=1952056/1959888
[pid=19183] ppid=19181 vsize=2420 CPUtime=1.29
/proc/19183/stat : 19183 (SatELiteGTI) S 19181 19183 15108 0 -1 4194304 387 6168 0 0 0 0 126 3 18 0 1 0 1016758336 2478080 278 4294967295 134512640 135169312 3215664640 3215660856 3085598446 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/19183/statm: 605 278 235 161 0 44 0
[pid=19189] ppid=19183 vsize=22064 CPUtime=605.04
/proc/19189/stat : 19189 (minisat_static) R 19183 19183 15108 0 -1 4202496 5330 0 0 0 60494 10 0 0 25 0 1 0 1016758467 22593536 5265 4294967295 134512640 135215339 3220011632 3220009840 134526306 0 0 0 3 0 0 0 17 2 0 0 0
/proc/19189/statm: 5516 5265 72 172 0 5343 0
Current children cumulated CPU time (s) 606.33
Current children cumulated vsize (KiB) 24484
[startup+607.119 s]
/proc/loadavg: 1.02 1.02 1.00 3/93 21080
/proc/meminfo: memFree=1367040/2074464 swapFree=1952056/1959888
[pid=19183] ppid=19181 vsize=2420 CPUtime=1.29
/proc/19183/stat : 19183 (SatELiteGTI) S 19181 19183 15108 0 -1 4194304 387 6168 0 0 0 0 126 3 18 0 1 0 1016758336 2478080 278 4294967295 134512640 135169312 3215664640 3215660856 3085598446 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/19183/statm: 605 278 235 161 0 44 0
[pid=19189] ppid=19183 vsize=22064 CPUtime=605.84
/proc/19189/stat : 19189 (minisat_static) R 19183 19183 15108 0 -1 4202496 5330 0 0 0 60574 10 0 0 25 0 1 0 1016758467 22593536 5265 4294967295 134512640 135215339 3220011632 3220009920 134528700 0 0 0 3 0 0 0 17 2 0 0 0
/proc/19189/statm: 5516 5265 72 172 0 5343 0
Current children cumulated CPU time (s) 607.13
Current children cumulated vsize (KiB) 24484
[startup+607.519 s]
/proc/loadavg: 1.02 1.02 1.00 3/93 21080
/proc/meminfo: memFree=1367040/2074464 swapFree=1952056/1959888
[pid=19183] ppid=19181 vsize=2420 CPUtime=1.29
/proc/19183/stat : 19183 (SatELiteGTI) S 19181 19183 15108 0 -1 4194304 387 6168 0 0 0 0 126 3 18 0 1 0 1016758336 2478080 278 4294967295 134512640 135169312 3215664640 3215660856 3085598446 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/19183/statm: 605 278 235 161 0 44 0
[pid=19189] ppid=19183 vsize=22064 CPUtime=606.24
/proc/19189/stat : 19189 (minisat_static) R 19183 19183 15108 0 -1 4202496 5330 0 0 0 60614 10 0 0 25 0 1 0 1016758467 22593536 5265 4294967295 134512640 135215339 3220011632 3220009920 134528809 0 0 0 3 0 0 0 17 2 0 0 0
/proc/19189/statm: 5516 5265 72 172 0 5343 0
Current children cumulated CPU time (s) 607.53
Current children cumulated vsize (KiB) 24484
[startup+607.619 s]
/proc/loadavg: 1.02 1.02 1.00 3/93 21080
/proc/meminfo: memFree=1367040/2074464 swapFree=1952056/1959888
[pid=19183] ppid=19181 vsize=2420 CPUtime=1.29
/proc/19183/stat : 19183 (SatELiteGTI) S 19181 19183 15108 0 -1 4194304 387 6168 0 0 0 0 126 3 18 0 1 0 1016758336 2478080 278 4294967295 134512640 135169312 3215664640 3215660856 3085598446 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/19183/statm: 605 278 235 161 0 44 0
[pid=19189] ppid=19183 vsize=22064 CPUtime=606.34
/proc/19189/stat : 19189 (minisat_static) R 19183 19183 15108 0 -1 4202496 5330 0 0 0 60624 10 0 0 25 0 1 0 1016758467 22593536 5265 4294967295 134512640 135215339 3220011632 3220009920 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/19189/statm: 5516 5265 72 172 0 5343 0
Current children cumulated CPU time (s) 607.63
Current children cumulated vsize (KiB) 24484
Child status: 20
Real time (s): 607.658
CPU time (s): 607.66
CPU user time (s): 607.53
CPU system time (s): 0.13
CPU usage (%): 100
Max. virtual memory (cumulated for all children) (KiB): 27596
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 607.53
system time used= 0.13
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 12166
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= 20
involuntary context switches= 1721
runsolver used 0.01 second user time and 0.03 second system time
The end
Begin job on tipi24 at 2009-05-17 03:10:02
IDJOB=1821376
IDBENCH=70946
IDSOLVER=657
FILE ID=tipi24/1821376-1242522602
PBS_JOBID=
Free space on /tmp= 9943 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= runsolver --timestamp -w /tmp/evaluation-result-1821376-1242522602/watcher-1821376-1242522602 -o /tmp/evaluation-result-1821376-1242522602/solver-1821376-1242522602 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1821376-1242522602.cnf
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= ed7689c65135a913d97feca3ab3874eb
RANDOM SEED= 920504797
Linux tipi24 2.6.18 #19 SMP Tue Jun 19 11:27:27 CEST 2007 i686 GNU/Linux
/proc/cpuinfo:
processor : 0
vendor_id : AuthenticAMD
cpu family : 15
model : 33
model name : Dual Core AMD Opteron(tm) Processor 265
stepping : 2
cpu MHz : 1808.461
cache size : 1024 KB
physical id : 0
siblings : 2
core id : 0
cpu cores : 2
fdiv_bug : no
hlt_bug : no
f00f_bug : no
coma_bug : no
fpu : yes
fpu_exception : yes
cpuid level : 1
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt lm 3dnowext 3dnow pni lahf_lm cmp_legacy ts fid vid ttp
bogomips : 3618.40
processor : 1
vendor_id : AuthenticAMD
cpu family : 15
model : 33
model name : Dual Core AMD Opteron(tm) Processor 265
stepping : 2
cpu MHz : 1808.461
cache size : 1024 KB
physical id : 0
siblings : 2
core id : 1
cpu cores : 2
fdiv_bug : no
hlt_bug : no
f00f_bug : no
coma_bug : no
fpu : yes
fpu_exception : yes
cpuid level : 1
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt lm 3dnowext 3dnow pni lahf_lm cmp_legacy ts fid vid ttp
bogomips : 3616.75
processor : 2
vendor_id : AuthenticAMD
cpu family : 15
model : 33
model name : Dual Core AMD Opteron(tm) Processor 265
stepping : 2
cpu MHz : 1808.461
cache size : 1024 KB
physical id : 1
siblings : 2
core id : 0
cpu cores : 2
fdiv_bug : no
hlt_bug : no
f00f_bug : no
coma_bug : no
fpu : yes
fpu_exception : yes
cpuid level : 1
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt lm 3dnowext 3dnow pni lahf_lm cmp_legacy ts fid vid ttp
bogomips : 3616.77
processor : 3
vendor_id : AuthenticAMD
cpu family : 15
model : 33
model name : Dual Core AMD Opteron(tm) Processor 265
stepping : 2
cpu MHz : 1808.461
cache size : 1024 KB
physical id : 1
siblings : 2
core id : 1
cpu cores : 2
fdiv_bug : no
hlt_bug : no
f00f_bug : no
coma_bug : no
fpu : yes
fpu_exception : yes
cpuid level : 1
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt lm 3dnowext 3dnow pni lahf_lm cmp_legacy ts fid vid ttp
bogomips : 3616.77
/proc/meminfo:
MemTotal: 2074464 kB
MemFree: 1391388 kB
Buffers: 29836 kB
Cached: 571900 kB
SwapCached: 3828 kB
Active: 96464 kB
Inactive: 514780 kB
HighTotal: 1178688 kB
HighFree: 687324 kB
LowTotal: 895776 kB
LowFree: 704064 kB
SwapTotal: 1959888 kB
SwapFree: 1952056 kB
Dirty: 5128 kB
Writeback: 0 kB
AnonPages: 8972 kB
Mapped: 3420 kB
Slab: 63496 kB
PageTables: 460 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 2997120 kB
Committed_AS: 87800 kB
VmallocTotal: 114680 kB
VmallocUsed: 1324 kB
VmallocChunk: 113264 kB
Free space on /tmp at the end= 9943 MiB
End job on tipi24 at 2009-05-17 03:20:10