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 | 163622 479140 | 49086 0 0 nan | 0.000 % |
1.22/1.26 c | 0 | 73221 247132 | -- 0 -- -- | -- | -84687/-214858
1.22/1.26 c ==============================================================================
1.22/1.26 c Result : #vars: 8333 #clauses: 73221 #literals: 247132
1.22/1.26 c CPU time: 1.22 s
1.22/1.26 c ==============================================================================
1.32/1.35 c This is MiniSat 2.0 beta
1.32/1.35 c WARNING: for repeatability, setting FPU to use double precision
1.32/1.35 c ============================[ Problem Statistics ]=============================
1.32/1.35 c | |
1.32/1.35 c | Number of variables: 8333 |
1.32/1.35 c | Number of clauses: 73221 |
1.32/1.40 c | Parsing time: 0.03 s |
1.32/1.40 c ============================[ Search Statistics ]==============================
1.32/1.40 c | Conflicts | ORIGINAL | LEARNT | Progress |
1.32/1.40 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
1.32/1.40 c ===============================================================================
1.32/1.40 c | 0 | 8333 73221 247132 | 24407 0 nan | 0.000 % |
1.32/1.40 c | 100 | 8332 73221 247132 | 24407 99 8 | 0.012 % |
1.36/1.41 c | 201 | 8330 73221 247132 | 24407 199 9 | 0.036 % |
1.36/1.42 c | 302 | 8330 73221 247132 | 24407 300 9 | 0.036 % |
1.36/1.42 c | 412 | 8330 73221 247132 | 24407 410 10 | 0.036 % |
1.36/1.43 c | 512 | 8330 73221 247132 | 24407 510 10 | 0.036 % |
1.36/1.43 c | 622 | 8330 73221 247132 | 24407 620 10 | 0.036 % |
1.36/1.44 c | 744 | 8330 73221 247132 | 24407 742 11 | 0.036 % |
1.36/1.44 c | 844 | 8330 73221 247132 | 24407 842 11 | 0.036 % |
1.36/1.45 c | 955 | 8330 73221 247132 | 24407 953 11 | 0.036 % |
1.36/1.46 c | 1077 | 8330 73221 247132 | 24407 1075 11 | 0.036 % |
1.36/1.47 c | 1210 | 8330 73221 247132 | 24407 1208 11 | 0.036 % |
1.36/1.47 c | 1310 | 8330 73221 247132 | 24407 1308 12 | 0.036 % |
1.36/1.48 c | 1421 | 8330 73221 247132 | 24407 1419 12 | 0.036 % |
1.36/1.49 c | 1543 | 8330 73221 247132 | 24407 1541 12 | 0.036 % |
1.36/1.50 c | 1676 | 8330 73221 247132 | 24407 1674 12 | 0.036 % |
1.36/1.51 c | 1822 | 8330 73221 247132 | 24407 1820 12 | 0.036 % |
1.36/1.52 c | 1922 | 8330 73221 247132 | 24407 1920 12 | 0.036 % |
1.36/1.52 c | 2034 | 8330 73221 247132 | 24407 2032 12 | 0.036 % |
1.36/1.53 c | 2156 | 8330 73221 247132 | 24407 2154 12 | 0.036 % |
1.36/1.54 c | 2289 | 8330 72780 244975 | 24407 2286 12 | 0.036 % |
1.36/1.55 c | 2436 | 8330 72780 244975 | 24407 2433 12 | 0.036 % |
1.36/1.56 c | 2599 | 8330 72780 244975 | 24407 2596 12 | 0.036 % |
1.36/1.57 c | 2700 | 8330 72780 244975 | 24407 2697 12 | 0.036 % |
1.36/1.57 c | 2810 | 8330 72780 244975 | 24407 2807 12 | 0.036 % |
1.36/1.58 c | 2932 | 8330 72780 244975 | 24407 2929 12 | 0.036 % |
1.36/1.59 c | 3065 | 8330 72780 244975 | 24407 3062 13 | 0.036 % |
1.36/1.60 c | 3212 | 8330 72780 244975 | 24407 3209 13 | 0.036 % |
1.36/1.61 c | 3372 | 8330 72780 244975 | 24407 3369 12 | 0.036 % |
1.36/1.62 c | 3548 | 8330 72780 244975 | 24407 3545 13 | 0.036 % |
1.36/1.63 c | 3649 | 8330 72780 244975 | 24407 3646 13 | 0.036 % |
1.36/1.64 c | 3759 | 8330 72780 244975 | 24407 3756 13 | 0.036 % |
1.36/1.65 c | 3882 | 8330 72780 244975 | 24407 3879 13 | 0.036 % |
1.36/1.66 c | 4015 | 8330 72780 244975 | 24407 4012 13 | 0.036 % |
1.36/1.67 c | 4163 | 8330 72780 244975 | 24407 4160 13 | 0.036 % |
1.36/1.68 c | 4323 | 8330 72780 244975 | 24407 4320 13 | 0.036 % |
1.36/1.70 c | 4499 | 8330 72780 244975 | 24407 4496 13 | 0.036 % |
1.36/1.71 c | 4695 | 8330 72780 244975 | 24407 4692 13 | 0.036 % |
1.36/1.72 c | 4796 | 8330 72780 244975 | 24407 4793 13 | 0.036 % |
1.36/1.73 c | 4907 | 8330 72780 244975 | 24407 4904 13 | 0.036 % |
1.36/1.73 c | 5028 | 8330 72780 244975 | 24407 5025 13 | 0.036 % |
1.36/1.74 c | 5161 | 8330 72780 244975 | 24407 5158 13 | 0.036 % |
1.36/1.75 c | 5307 | 8330 72780 244975 | 24407 5304 13 | 0.036 % |
1.36/1.76 c | 5467 | 8330 72780 244975 | 24407 5464 13 | 0.036 % |
1.36/1.78 c | 5644 | 8330 72780 244975 | 24407 5641 13 | 0.036 % |
1.36/1.79 c | 5837 | 8330 72780 244975 | 24407 5834 13 | 0.036 % |
1.36/1.80 c | 6051 | 8330 72780 244975 | 24407 6048 13 | 0.036 % |
1.36/1.81 c | 6151 | 8330 72780 244975 | 24407 6148 13 | 0.036 % |
1.36/1.82 c | 6262 | 8330 72780 244975 | 24407 6259 13 | 0.036 % |
1.36/1.83 c | 6383 | 8330 72780 244975 | 24407 6380 13 | 0.036 % |
1.36/1.84 c | 6516 | 8330 72780 244975 | 24407 6513 13 | 0.036 % |
1.36/1.85 c | 6665 | 8330 72780 244975 | 24407 6662 13 | 0.036 % |
1.36/1.86 c | 6825 | 8330 72780 244975 | 24407 6822 13 | 0.036 % |
1.36/1.87 c | 7001 | 8330 72780 244975 | 24407 6998 13 | 0.036 % |
1.36/1.89 c | 7194 | 8330 72780 244975 | 24407 7191 13 | 0.036 % |
1.36/1.90 c | 7406 | 8330 72780 244975 | 24407 7403 14 | 0.036 % |
1.36/1.91 c | 7642 | 8330 72780 244975 | 24407 7639 13 | 0.036 % |
1.36/1.92 c | 7744 | 8330 72780 244975 | 24407 7741 13 | 0.036 % |
1.36/1.93 c | 7854 | 8330 72780 244975 | 24407 7851 13 | 0.036 % |
1.36/1.94 c | 7975 | 8330 72780 244975 | 24407 7972 13 | 0.036 % |
1.36/1.95 c | 8109 | 8330 72780 244975 | 24407 8106 13 | 0.036 % |
1.36/1.96 c | 8256 | 8330 72780 244975 | 24407 8253 13 | 0.036 % |
1.36/1.97 c | 8417 | 8330 72780 244975 | 24407 8414 13 | 0.036 % |
1.36/1.98 c | 8593 | 8330 72780 244975 | 24407 8590 13 | 0.036 % |
1.36/1.99 c | 8786 | 8330 72780 244975 | 24407 8783 13 | 0.036 % |
1.36/2.01 c | 8999 | 8330 72780 244975 | 24407 8996 14 | 0.036 % |
1.36/2.03 c | 9232 | 8330 72780 244975 | 24407 9229 14 | 0.036 % |
1.36/2.04 c | 9490 | 8330 72780 244975 | 24407 9487 14 | 0.036 % |
1.36/2.05 c | 9592 | 8330 72780 244975 | 24407 9589 14 | 0.036 % |
1.36/2.06 c | 9703 | 8330 72780 244975 | 24407 9700 14 | 0.036 % |
1.36/2.07 c | 9828 | 8330 72780 244975 | 24407 9825 14 | 0.036 % |
1.36/2.08 c | 9962 | 8330 72780 244975 | 24407 9959 14 | 0.036 % |
1.36/2.09 c | 10112 | 8330 72780 244975 | 2147483647 10109 14 | 0.036 % |
2.12/2.11 c | 10273 | 8330 72780 244975 | 2147483647 10270 14 | 0.036 % |
2.12/2.12 c | 10449 | 8330 72780 244975 | 2147483647 10446 14 | 0.036 % |
2.12/2.14 c | 10642 | 8330 72780 244975 | 2147483647 10639 14 | 0.036 % |
2.12/2.16 c | 10855 | 8330 72780 244975 | 2147483647 10852 14 | 0.036 % |
2.12/2.18 c | 11090 | 8330 72780 244975 | 2147483647 11087 14 | 0.036 % |
2.12/2.20 c | 11347 | 8330 72780 244975 | 2147483647 11344 14 | 0.036 % |
2.22/2.22 c | 11628 | 8330 72780 244975 | 2147483647 11625 14 | 0.036 % |
2.22/2.24 c | 11729 | 8330 72780 244975 | 2147483647 11726 14 | 0.036 % |
2.22/2.24 c | 11840 | 8330 72780 244975 | 2147483647 11837 14 | 0.036 % |
2.22/2.25 c | 11962 | 8330 72780 244975 | 2147483647 11959 14 | 0.036 % |
2.22/2.27 c | 12095 | 8330 72780 244975 | 2147483647 12092 14 | 0.036 % |
2.22/2.29 c | 12243 | 8330 72780 244975 | 2147483647 12240 14 | 0.036 % |
2.22/2.30 c | 12403 | 8330 72780 244975 | 2147483647 12400 14 | 0.036 % |
2.32/2.31 c | 12580 | 8330 72780 244975 | 2147483647 12577 14 | 0.036 % |
2.32/2.33 c | 12774 | 8330 72780 244975 | 2147483647 12771 14 | 0.036 % |
2.32/2.35 c | 12986 | 8330 72780 244975 | 2147483647 12983 14 | 0.036 % |
2.32/2.38 c | 13219 | 8330 72780 244975 | 2147483647 13216 14 | 0.036 % |
2.32/2.40 c | 13477 | 8330 72780 244975 | 2147483647 13474 14 | 0.036 % |
2.42/2.43 c | 13758 | 8330 72780 244975 | 2147483647 13755 14 | 0.036 % |
2.42/2.46 c | 14067 | 8330 72780 244975 | 2147483647 14064 14 | 0.036 % |
2.42/2.48 c | 14168 | 8330 72780 244975 | 2147483647 14165 14 | 0.036 % |
2.42/2.49 c | 14280 | 8330 72780 244975 | 2147483647 14277 14 | 0.036 % |
2.42/2.51 c | 14401 | 8330 72780 244975 | 2147483647 14398 14 | 0.036 % |
2.52/2.52 c | 14534 | 8330 72780 244975 | 2147483647 14531 15 | 0.036 % |
2.52/2.54 c | 14680 | 8330 72780 244975 | 2147483647 14677 15 | 0.036 % |
2.52/2.55 c | 14843 | 8330 72780 244975 | 2147483647 14840 15 | 0.036 % |
2.52/2.56 c | 15020 | 8330 72780 244975 | 2147483647 15017 15 | 0.036 % |
2.52/2.58 c | 15216 | 8330 72780 244975 | 2147483647 15213 15 | 0.036 % |
2.52/2.59 c | 15429 | 8330 72780 244975 | 2147483647 15426 15 | 0.036 % |
2.62/2.61 c | 15662 | 8330 72780 244975 | 2147483647 15659 15 | 0.036 % |
2.62/2.62 c | 15919 | 8330 72780 244975 | 2147483647 15916 15 | 0.036 % |
2.62/2.64 c | 16201 | 8330 72780 244975 | 2147483647 16198 14 | 0.036 % |
2.62/2.66 c | 16510 | 8330 72780 244975 | 2147483647 16507 14 | 0.036 % |
2.62/2.68 c | 16850 | 8330 72780 244975 | 2147483647 16847 14 | 0.036 % |
2.62/2.69 c | 16951 | 8330 72780 244975 | 2147483647 16948 14 | 0.036 % |
2.62/2.70 c | 17062 | 8330 72780 244975 | 2147483647 17059 14 | 0.036 % |
2.62/2.71 c | 17184 | 8330 72780 244975 | 2147483647 17181 14 | 0.036 % |
2.72/2.72 c | 17319 | 8330 72780 244975 | 2147483647 17316 14 | 0.036 % |
2.72/2.72 c | 17466 | 8330 72780 244975 | 2147483647 17463 14 | 0.036 % |
2.72/2.74 c | 17628 | 8330 72780 244975 | 2147483647 17625 14 | 0.036 % |
2.72/2.76 c | 17804 | 8330 72780 244975 | 2147483647 17801 14 | 0.036 % |
2.72/2.77 c | 17997 | 8330 72780 244975 | 2147483647 17994 14 | 0.036 % |
2.72/2.79 c | 18209 | 8330 72780 244975 | 2147483647 18206 14 | 0.036 % |
2.82/2.82 c | 18443 | 8330 72780 244975 | 2147483647 18440 15 | 0.036 % |
2.82/2.84 c | 18699 | 8330 72780 244975 | 2147483647 18696 15 | 0.036 % |
2.82/2.87 c | 18980 | 8330 72780 244975 | 2147483647 18977 15 | 0.036 % |
2.82/2.90 c | 19289 | 8330 72780 244975 | 2147483647 19286 15 | 0.036 % |
2.92/2.95 c | 19630 | 8330 72780 244975 | 2147483647 19627 15 | 0.036 % |
2.92/2.98 c | 20003 | 8330 72780 244975 | 2147483647 20000 15 | 0.036 % |
2.92/2.99 c | 20104 | 8330 72780 244975 | 2147483647 20101 15 | 0.036 % |
2.92/3.00 c | 20214 | 8330 72780 244975 | 2147483647 20211 15 | 0.036 % |
3.02/3.01 c | 20335 | 8330 72780 244975 | 2147483647 20332 15 | 0.036 % |
3.02/3.03 c | 20468 | 8330 72780 244975 | 2147483647 20465 15 | 0.036 % |
3.02/3.04 c | 20614 | 8330 72780 244975 | 2147483647 20611 15 | 0.036 % |
3.02/3.06 c | 20774 | 8330 72780 244975 | 2147483647 20771 15 | 0.036 % |
3.02/3.08 c | 20950 | 8330 72780 244975 | 2147483647 20947 15 | 0.036 % |
3.02/3.10 c | 21144 | 8330 72780 244975 | 2147483647 21141 15 | 0.036 % |
3.12/3.13 c | 21356 | 8330 72780 244975 | 2147483647 21353 15 | 0.036 % |
3.12/3.15 c | 21590 | 8330 72780 244975 | 2147483647 21587 15 | 0.036 % |
3.12/3.18 c | 21846 | 8330 72780 244975 | 2147483647 21843 15 | 0.036 % |
3.22/3.22 c | 22128 | 8330 72780 244975 | 2147483647 22125 15 | 0.036 % |
3.22/3.25 c | 22438 | 8330 72780 244975 | 2147483647 22435 15 | 0.036 % |
3.22/3.29 c | 22777 | 8330 72780 244975 | 2147483647 22774 15 | 0.036 % |
3.32/3.34 c | 23149 | 8330 72780 244975 | 2147483647 23146 15 | 0.036 % |
3.32/3.39 c | 23559 | 8330 72780 244975 | 2147483647 23556 15 | 0.036 % |
3.32/3.40 c | 23660 | 8330 72780 244975 | 2147483647 23657 15 | 0.036 % |
3.42/3.42 c | 23770 | 8330 72780 244975 | 2147483647 23767 15 | 0.036 % |
3.42/3.43 c | 23891 | 8330 72780 244975 | 2147483647 23888 15 | 0.036 % |
3.42/3.45 c | 24024 | 8330 72780 244975 | 2147483647 24021 15 | 0.036 % |
3.42/3.47 c | 24171 | 8330 72780 244975 | 2147483647 24168 15 | 0.036 % |
3.42/3.49 c | 24332 | 8330 72780 244975 | 2147483647 24329 15 | 0.036 % |
3.52/3.51 c | 24508 | 8330 72780 244975 | 2147483647 24505 15 | 0.036 % |
3.52/3.53 c | 24701 | 8330 72780 244975 | 2147483647 24698 15 | 0.036 % |
3.52/3.56 c | 24913 | 8330 72780 244975 | 2147483647 24910 15 | 0.036 % |
3.52/3.59 c | 25146 | 8330 72780 244975 | 2147483647 25143 15 | 0.036 % |
3.62/3.62 c | 25402 | 8330 72780 244975 | 2147483647 25399 15 | 0.036 % |
3.62/3.65 c | 25683 | 8330 72780 244975 | 2147483647 25680 15 | 0.036 % |
3.62/3.70 c | 25992 | 8330 72780 244975 | 2147483647 25989 15 | 0.036 % |
3.72/3.74 c | 26332 | 8330 72780 244975 | 2147483647 26329 15 | 0.036 % |
3.72/3.79 c | 26706 | 8330 72780 244975 | 2147483647 26703 15 | 0.036 % |
3.82/3.85 c | 27115 | 8330 72780 244975 | 2147483647 27112 15 | 0.036 % |
3.82/3.90 c | 27566 | 8330 72780 244975 | 2147483647 27563 15 | 0.036 % |
3.92/3.92 c | 27667 | 8330 72780 244975 | 2147483647 27664 15 | 0.036 % |
3.92/3.94 c | 27777 | 8330 72780 244975 | 2147483647 27774 15 | 0.036 % |
3.92/3.95 c | 27898 | 8330 72780 244975 | 2147483647 27895 15 | 0.036 % |
3.92/3.97 c | 28031 | 8330 72780 244975 | 2147483647 28028 15 | 0.036 % |
3.92/3.99 c | 28177 | 8330 72780 244975 | 2147483647 28174 15 | 0.036 % |
4.02/4.02 c | 28338 | 8330 72780 244975 | 2147483647 28335 15 | 0.036 % |
4.02/4.04 c | 28515 | 8330 72780 244975 | 2147483647 28512 15 | 0.036 % |
4.02/4.07 c | 28709 | 8330 72780 244975 | 2147483647 28706 15 | 0.036 % |
4.02/4.10 c | 28923 | 8330 72780 244975 | 2147483647 28920 15 | 0.036 % |
4.12/4.12 c | 29156 | 8330 72780 244975 | 2147483647 29153 15 | 0.036 % |
4.12/4.16 c | 29412 | 8330 72780 244975 | 2147483647 29409 15 | 0.036 % |
4.12/4.20 c | 29694 | 8330 72780 244975 | 2147483647 29691 15 | 0.036 % |
4.22/4.25 c | 30006 | 8330 72780 244975 | 2147483647 30003 15 | 0.036 % |
4.22/4.30 c | 30346 | 8330 72780 244975 | 2147483647 30343 15 | 0.036 % |
4.32/4.34 c | 30718 | 8330 72780 244975 | 2147483647 30715 15 | 0.036 % |
4.32/4.40 c | 31127 | 8330 72780 244975 | 2147483647 31124 15 | 0.036 % |
4.42/4.46 c | 31577 | 8330 72780 244975 | 2147483647 31574 16 | 0.036 % |
4.52/4.51 c | 32071 | 8330 72780 244975 | 2147483647 32068 16 | 0.036 % |
4.52/4.53 c | 32171 | 8330 72780 244975 | 2147483647 32168 16 | 0.036 % |
4.52/4.54 c | 32281 | 8330 72780 244975 | 2147483647 32278 15 | 0.036 % |
4.52/4.55 c | 32402 | 8330 72780 244975 | 2147483647 32399 15 | 0.036 % |
4.52/4.57 c | 32537 | 8330 72780 244975 | 2147483647 32534 15 | 0.036 % |
4.52/4.58 c | 32685 | 8330 72780 244975 | 2147483647 32682 15 | 0.036 % |
4.52/4.60 c | 32845 | 8330 72780 244975 | 2147483647 32842 15 | 0.036 % |
4.62/4.61 c | 33021 | 8330 72780 244975 | 2147483647 33018 15 | 0.036 % |
4.62/4.64 c | 33214 | 8330 72780 244975 | 2147483647 33211 15 | 0.036 % |
4.62/4.68 c | 33426 | 8330 72780 244975 | 2147483647 33423 15 | 0.036 % |
4.72/4.71 c | 33659 | 8330 72780 244975 | 2147483647 33656 15 | 0.036 % |
4.72/4.76 c | 33916 | 8330 72780 244975 | 2147483647 33913 15 | 0.036 % |
4.72/4.80 c | 34197 | 8330 72780 244975 | 2147483647 34194 15 | 0.036 % |
4.82/4.85 c | 34506 | 8330 72780 244975 | 2147483647 34503 16 | 0.036 % |
4.92/4.91 c | 34846 | 8330 72780 244975 | 2147483647 34843 16 | 0.036 % |
4.92/4.97 c | 35221 | 8330 72780 244975 | 2147483647 35218 16 | 0.036 % |
5.02/5.03 c | 35630 | 8330 72780 244975 | 2147483647 35627 16 | 0.036 % |
5.12/5.12 c | 36081 | 8330 72780 244975 | 2147483647 36078 16 | 0.036 % |
5.12/5.19 c | 36574 | 8330 72780 244975 | 2147483647 36571 16 | 0.036 % |
5.22/5.27 c | 37117 | 8330 72780 244975 | 2147483647 37114 16 | 0.036 % |
5.22/5.29 c | 37217 | 8330 72780 244975 | 2147483647 37214 16 | 0.036 % |
5.32/5.31 c | 37327 | 8330 72780 244975 | 2147483647 37324 16 | 0.036 % |
5.32/5.34 c | 37450 | 8330 72780 244975 | 2147483647 37447 16 | 0.036 % |
5.32/5.36 c | 37584 | 8330 72780 244975 | 2147483647 37581 16 | 0.036 % |
5.32/5.39 c | 37730 | 8330 72780 244975 | 2147483647 37727 16 | 0.036 % |
5.42/5.42 c | 37890 | 8330 72780 244975 | 2147483647 37887 16 | 0.036 % |
5.42/5.46 c | 38066 | 8330 72780 244975 | 2147483647 38063 16 | 0.036 % |
5.42/5.49 c | 38259 | 8330 72780 244975 | 2147483647 38256 16 | 0.036 % |
5.52/5.53 c | 38471 | 8330 72780 244975 | 2147483647 38468 16 | 0.036 % |
5.52/5.57 c | 38704 | 8330 72780 244975 | 2147483647 38701 16 | 0.036 % |
5.62/5.63 c | 38960 | 8330 72780 244975 | 2147483647 38957 16 | 0.036 % |
5.62/5.67 c | 39241 | 8330 72780 244975 | 2147483647 39238 16 | 0.036 % |
5.72/5.73 c | 39552 | 8330 72780 244975 | 2147483647 39549 16 | 0.036 % |
5.72/5.79 c | 39891 | 8330 72780 244975 | 2147483647 39888 16 | 0.036 % |
5.82/5.86 c | 40264 | 8330 72780 244975 | 2147483647 40261 16 | 0.036 % |
5.92/5.93 c | 40673 | 8330 72780 244975 | 2147483647 40670 16 | 0.036 % |
5.92/5.99 c | 41123 | 8330 72780 244975 | 2147483647 41120 16 | 0.036 % |
6.02/6.09 c | 41617 | 8330 72780 244975 | 2147483647 41614 16 | 0.036 % |
6.12/6.17 c | 42161 | 8330 72780 244975 | 2147483647 42158 16 | 0.036 % |
6.22/6.27 c | 42762 | 8330 72780 244975 | 2147483647 42759 16 | 0.036 % |
6.22/6.29 c | 42863 | 8330 72780 244975 | 2147483647 42860 16 | 0.036 % |
6.22/6.30 c | 42975 | 8330 72780 244975 | 2147483647 42972 16 | 0.036 % |
6.32/6.32 c | 43096 | 8330 72780 244975 | 2147483647 43093 16 | 0.036 % |
6.32/6.34 c | 43231 | 8330 72780 244975 | 2147483647 43228 16 | 0.036 % |
6.32/6.37 c | 43378 | 8330 72780 244975 | 2147483647 43375 16 | 0.036 % |
6.32/6.39 c | 43540 | 8330 72780 244975 | 2147483647 43537 16 | 0.036 % |
6.42/6.42 c | 43716 | 8330 72780 244975 | 2147483647 43713 16 | 0.036 % |
6.42/6.45 c | 43909 | 8330 72780 244975 | 2147483647 43906 16 | 0.036 % |
6.42/6.48 c | 44121 | 8330 72780 244975 | 2147483647 44118 16 | 0.036 % |
6.52/6.53 c | 44354 | 8330 72780 244975 | 2147483647 44351 16 | 0.036 % |
6.52/6.56 c | 44610 | 8330 72780 244975 | 2147483647 44607 16 | 0.036 % |
6.52/6.60 c | 44891 | 8330 72780 244975 | 2147483647 44888 16 | 0.036 % |
6.62/6.64 c | 45200 | 8330 72780 244975 | 2147483647 45197 16 | 0.036 % |
6.62/6.69 c | 45539 | 8330 72780 244975 | 2147483647 45536 16 | 0.036 % |
6.72/6.77 c | 45911 | 8330 72780 244975 | 2147483647 45908 16 | 0.036 % |
6.82/6.85 c | 46320 | 8330 72780 244975 | 2147483647 46317 16 | 0.036 % |
6.92/6.95 c | 46770 | 8330 72780 244975 | 2147483647 46767 16 | 0.036 % |
7.02/7.04 c | 47263 | 8330 72780 244975 | 2147483647 47260 16 | 0.036 % |
7.12/7.14 c | 47805 | 8330 72780 244975 | 2147483647 47802 16 | 0.036 % |
7.22/7.25 c | 48402 | 8330 72780 244975 | 2147483647 48399 16 | 0.036 % |
7.32/7.38 c | 49057 | 8330 72780 244975 | 2147483647 49054 16 | 0.036 % |
7.32/7.40 c | 49157 | 8330 72780 244975 | 2147483647 49154 16 | 0.036 % |
7.42/7.44 c | 49267 | 8330 72780 244975 | 2147483647 49264 16 | 0.036 % |
7.42/7.47 c | 49388 | 8330 72780 244975 | 2147483647 49385 16 | 0.036 % |
7.42/7.49 c | 49521 | 8330 72780 244975 | 2147483647 49518 16 | 0.036 % |
7.52/7.52 c | 49667 | 8330 72780 244975 | 2147483647 49664 16 | 0.036 % |
7.52/7.56 c | 49827 | 8330 72780 244975 | 2147483647 49824 16 | 0.036 % |
7.52/7.60 c | 50003 | 8330 72780 244975 | 2147483647 50000 16 | 0.036 % |
7.62/7.64 c | 50196 | 8330 72780 244975 | 2147483647 50193 16 | 0.036 % |
7.62/7.69 c | 50411 | 8330 72780 244975 | 2147483647 50408 16 | 0.036 % |
7.72/7.76 c | 50645 | 8330 72780 244975 | 2147483647 50642 16 | 0.036 % |
7.82/7.81 c | 50901 | 8330 72780 244975 | 2147483647 50898 16 | 0.036 % |
7.82/7.89 c | 51183 | 8330 72780 244975 | 2147483647 51180 16 | 0.036 % |
7.92/7.97 c | 51494 | 8330 72780 244975 | 2147483647 51491 17 | 0.036 % |
8.02/8.07 c | 51833 | 8330 72780 244975 | 2147483647 51830 16 | 0.036 % |
8.12/8.17 c | 52206 | 8330 72780 244975 | 2147483647 52203 17 | 0.036 % |
8.22/8.29 c | 52619 | 8330 72780 244975 | 2147483647 52616 17 | 0.036 % |
8.32/8.40 c | 53069 | 8330 72780 244975 | 2147483647 53066 17 | 0.036 % |
8.52/8.53 c | 53562 | 8330 72780 244975 | 2147483647 53559 17 | 0.036 % |
8.62/8.65 c | 54104 | 8330 72780 244975 | 2147483647 54101 17 | 0.036 % |
8.72/8.80 c | 54700 | 8330 72780 244975 | 2147483647 54697 17 | 0.036 % |
8.92/8.96 c | 55358 | 8330 72780 244975 | 2147483647 55355 17 | 0.036 % |
9.12/9.17 c | 56079 | 8330 72780 244975 | 2147483647 56076 17 | 0.036 % |
9.12/9.20 c | 56180 | 8330 72780 244975 | 2147483647 56177 17 | 0.036 % |
9.22/9.23 c | 56291 | 8330 72780 244975 | 2147483647 56288 17 | 0.036 % |
9.22/9.27 c | 56412 | 8330 72780 244975 | 2147483647 56409 17 | 0.036 % |
9.32/9.31 c | 56546 | 8330 72780 244975 | 2147483647 56543 17 | 0.036 % |
9.32/9.35 c | 56692 | 8330 72780 244975 | 2147483647 56689 17 | 0.036 % |
9.32/9.39 c | 56852 | 8330 72780 244975 | 2147483647 56849 17 | 0.036 % |
9.42/9.44 c | 57029 | 8330 72780 244975 | 2147483647 57026 17 | 0.036 % |
9.42/9.50 c | 57222 | 8330 72780 244975 | 2147483647 57219 17 | 0.036 % |
9.52/9.56 c | 57434 | 8330 72780 244975 | 2147483647 57431 17 | 0.036 % |
9.62/9.64 c | 57668 | 8330 72780 244975 | 2147483647 57665 17 | 0.036 % |
9.72/9.72 c | 57928 | 8330 72780 244975 | 2147483647 57925 17 | 0.036 % |
9.72/9.79 c | 58210 | 8330 72780 244975 | 2147483647 58207 17 | 0.036 % |
9.82/9.88 c | 58519 | 8330 72780 244975 | 2147483647 58516 17 | 0.036 % |
9.92/9.99 c | 58858 | 8330 72780 244975 | 2147483647 58855 17 | 0.036 % |
10.12/10.13 c | 59230 | 8330 72780 244975 | 2147483647 59227 17 | 0.036 % |
10.22/10.26 c | 59639 | 8330 72780 244975 | 2147483647 59636 17 | 0.036 % |
10.42/10.43 c | 60088 | 8330 72780 244975 | 2147483647 60085 17 | 0.036 % |
10.52/10.56 c | 60582 | 8330 72780 244975 | 2147483647 60579 17 | 0.036 % |
10.72/10.71 c | 61124 | 8330 72780 244975 | 2147483647 61121 17 | 0.036 % |
10.82/10.87 c | 61721 | 8330 72780 244975 | 2147483647 61718 17 | 0.036 % |
11.02/11.05 c | 62377 | 8330 72780 244975 | 2147483647 62374 17 | 0.036 % |
11.22/11.30 c | 63098 | 8330 72780 244975 | 2147483647 63095 17 | 0.036 % |
11.52/11.51 c | 63890 | 8330 72780 244975 | 2147483647 63887 17 | 0.036 % |
11.52/11.54 c | 63990 | 8330 72780 244975 | 2147483647 63987 17 | 0.036 % |
11.52/11.59 c | 64101 | 8330 72780 244975 | 2147483647 64098 17 | 0.036 % |
11.62/11.62 c | 64223 | 8330 72780 244975 | 2147483647 64220 17 | 0.036 % |
11.62/11.67 c | 64356 | 8330 72780 244975 | 2147483647 64353 17 | 0.036 % |
11.72/11.71 c | 64502 | 8330 72780 244975 | 2147483647 64499 17 | 0.036 % |
11.72/11.77 c | 64664 | 8330 72780 244975 | 2147483647 64661 17 | 0.036 % |
11.82/11.86 c | 64841 | 8330 72780 244975 | 2147483647 64838 17 | 0.036 % |
11.92/11.93 c | 65034 | 8330 72780 244975 | 2147483647 65031 17 | 0.036 % |
12.02/12.01 c | 65246 | 8330 72780 244975 | 2147483647 65243 17 | 0.036 % |
12.02/12.07 c | 65479 | 8330 72780 244975 | 2147483647 65476 17 | 0.036 % |
12.12/12.17 c | 65735 | 8330 72780 244975 | 2147483647 65732 17 | 0.036 % |
12.22/12.24 c | 66016 | 8330 72780 244975 | 2147483647 66013 17 | 0.036 % |
12.32/12.37 c | 66325 | 8330 72780 244975 | 2147483647 66322 17 | 0.036 % |
12.42/12.47 c | 66665 | 8330 72780 244975 | 2147483647 66662 17 | 0.036 % |
12.62/12.61 c | 67037 | 8330 72780 244975 | 2147483647 67034 17 | 0.036 % |
12.72/12.76 c | 67447 | 8330 72780 244975 | 2147483647 67444 17 | 0.036 % |
12.82/12.89 c | 67896 | 8330 72780 244975 | 2147483647 67893 17 | 0.036 % |
13.02/13.02 c | 68389 | 8330 72780 244975 | 2147483647 68386 17 | 0.036 % |
13.22/13.23 c | 68931 | 8330 72780 244975 | 2147483647 68928 17 | 0.036 % |
13.42/13.41 c | 69528 | 8330 72780 244975 | 2147483647 69525 18 | 0.036 % |
13.62/13.65 c | 70184 | 8330 72780 244975 | 2147483647 70181 18 | 0.036 % |
13.82/13.85 c | 70907 | 8330 72780 244975 | 2147483647 70904 18 | 0.036 % |
14.12/14.21 c | 71699 | 8330 72780 244975 | 2147483647 71696 18 | 0.036 % |
14.52/14.54 c | 72570 | 8330 72780 244975 | 2147483647 72567 18 | 0.036 % |
14.52/14.58 c | 72670 | 8330 72780 244975 | 2147483647 72667 18 | 0.036 % |
14.62/14.61 c | 72780 | 8330 72780 244975 | 2147483647 72777 18 | 0.036 % |
14.62/14.67 c | 72902 | 8330 72780 244975 | 2147483647 72899 18 | 0.036 % |
14.72/14.72 c | 73037 | 8330 72780 244975 | 2147483647 73034 18 | 0.036 % |
14.72/14.79 c | 73185 | 8330 72780 244975 | 2147483647 73182 18 | 0.036 % |
14.82/14.86 c | 73348 | 8330 72780 244975 | 2147483647 73345 18 | 0.036 % |
14.92/14.94 c | 73525 | 8330 72780 244975 | 2147483647 73522 18 | 0.036 % |
15.02/15.04 c | 73719 | 8330 72780 244975 | 2147483647 73716 18 | 0.036 % |
15.12/15.13 c | 73931 | 8330 72780 244975 | 2147483647 73928 18 | 0.036 % |
15.22/15.21 c | 74164 | 8330 72780 244975 | 2147483647 74161 18 | 0.036 % |
15.32/15.31 c | 74420 | 8330 72780 244975 | 2147483647 74417 18 | 0.036 % |
15.32/15.41 c | 74701 | 8330 72780 244975 | 2147483647 74698 18 | 0.036 % |
15.52/15.53 c | 75010 | 8330 72780 244975 | 2147483647 75007 18 | 0.036 % |
15.62/15.63 c | 75349 | 8330 72780 244975 | 2147483647 75346 18 | 0.036 % |
15.72/15.72 c | 75721 | 8330 72780 244975 | 2147483647 75718 18 | 0.036 % |
15.82/15.81 c | 76131 | 8330 72780 244975 | 2147483647 76128 18 | 0.036 % |
15.82/15.90 c | 76580 | 8330 72780 244975 | 2147483647 76577 18 | 0.036 % |
16.12/16.13 c | 77073 | 8330 72780 244975 | 2147483647 77070 18 | 0.036 % |
16.42/16.46 c | 77616 | 8330 72780 244975 | 2147483647 77613 18 | 0.036 % |
16.72/16.75 c | 78214 | 8330 72780 244975 | 2147483647 78211 18 | 0.036 % |
17.02/17.03 c | 78869 | 8330 72780 244975 | 2147483647 78866 18 | 0.036 % |
17.32/17.37 c | 79590 | 8330 72780 244975 | 2147483647 79587 18 | 0.036 % |
17.72/17.75 c | 80382 | 8330 72780 244975 | 2147483647 80379 18 | 0.036 % |
18.12/18.18 c | 81254 | 8330 72780 244975 | 2147483647 81251 18 | 0.036 % |
18.62/18.65 c | 82213 | 8330 72780 244975 | 2147483647 82210 18 | 0.036 % |
18.62/18.69 c | 82313 | 8330 72780 244975 | 2147483647 82310 18 | 0.036 % |
18.73/18.75 c | 82423 | 8330 72780 244975 | 2147483647 82420 18 | 0.036 % |
18.82/18.83 c | 82545 | 8330 72780 244975 | 2147483647 82542 18 | 0.036 % |
18.92/18.91 c | 82679 | 8330 72780 244975 | 2147483647 82676 18 | 0.036 % |
18.92/19.00 c | 82829 | 8330 72780 244975 | 2147483647 82826 18 | 0.036 % |
19.02/19.08 c | 82990 | 8330 72780 244975 | 2147483647 82987 18 | 0.036 % |
19.12/19.16 c | 83167 | 8330 72780 244975 | 2147483647 83164 18 | 0.036 % |
19.22/19.26 c | 83360 | 8330 72780 244975 | 2147483647 83357 18 | 0.036 % |
19.32/19.38 c | 83575 | 8330 72780 244975 | 2147483647 83572 18 | 0.036 % |
19.52/19.51 c | 83809 | 8330 72780 244975 | 2147483647 83806 18 | 0.036 % |
19.62/19.61 c | 84066 | 8330 72780 244975 | 2147483647 84063 18 | 0.036 % |
19.72/19.74 c | 84347 | 8330 72780 244975 | 2147483647 84344 18 | 0.036 % |
19.92/19.93 c | 84656 | 8330 72780 244975 | 2147483647 84653 18 | 0.036 % |
20.02/20.05 c | 84998 | 8330 72780 244975 | 2147483647 84995 18 | 0.036 % |
20.22/20.25 c | 85372 | 8330 72780 244975 | 2147483647 85369 18 | 0.036 % |
20.42/20.43 c | 85781 | 8330 72780 244975 | 2147483647 85778 18 | 0.036 % |
20.62/20.68 c | 86231 | 8330 72780 244975 | 2147483647 86228 18 | 0.036 % |
20.93/20.97 c | 86725 | 8330 72780 244975 | 2147483647 86722 18 | 0.036 % |
21.22/21.26 c | 87267 | 8330 72780 244975 | 2147483647 87264 18 | 0.036 % |
21.62/21.66 c | 87863 | 8330 72780 244975 | 2147483647 87860 18 | 0.036 % |
22.03/22.05 c | 88518 | 8330 72780 244975 | 2147483647 88515 18 | 0.036 % |
22.52/22.51 c | 89239 | 8330 72780 244975 | 2147483647 89236 18 | 0.036 % |
23.02/23.06 c | 90031 | 8330 72780 244975 | 2147483647 90028 18 | 0.036 % |
23.52/23.58 c | 90905 | 8330 72780 244975 | 2147483647 90902 18 | 0.036 % |
24.12/24.15 c | 91864 | 8330 72780 244975 | 2147483647 91861 18 | 0.036 % |
24.72/24.79 c | 92917 | 8328 72770 244952 | 2147483647 92913 18 | 0.060 % |
24.82/24.85 c | 93018 | 8328 72770 244952 | 2147483647 93014 18 | 0.060 % |
24.92/24.93 c | 93131 | 8328 72770 244952 | 2147483647 93127 18 | 0.060 % |
25.02/25.01 c | 93252 | 8328 72770 244952 | 2147483647 93248 18 | 0.060 % |
25.02/25.09 c | 93385 | 8328 72770 244952 | 2147483647 93381 18 | 0.060 % |
25.12/25.17 c | 93534 | 8328 72770 244952 | 2147483647 93530 18 | 0.060 % |
25.22/25.28 c | 93694 | 8328 72770 244952 | 2147483647 93690 18 | 0.060 % |
25.42/25.41 c | 93870 | 8328 72770 244952 | 2147483647 93866 18 | 0.060 % |
25.52/25.54 c | 94063 | 8328 72770 244952 | 2147483647 94059 18 | 0.060 % |
25.72/25.73 c | 94277 | 8328 72770 244952 | 2147483647 94273 18 | 0.060 % |
25.82/25.90 c | 94513 | 8328 72770 244952 | 2147483647 94509 18 | 0.060 % |
26.02/26.06 c | 94770 | 8328 72770 244952 | 2147483647 94766 18 | 0.060 % |
26.22/26.23 c | 95052 | 8328 72770 244952 | 2147483647 95048 18 | 0.060 % |
26.43/26.42 c | 95362 | 8328 72770 244952 | 2147483647 95358 18 | 0.060 % |
26.62/26.66 c | 95701 | 8328 72770 244952 | 2147483647 95697 18 | 0.060 % |
26.92/26.94 c | 96073 | 8328 72770 244952 | 2147483647 96069 18 | 0.060 % |
27.22/27.25 c | 96482 | 8328 72770 244952 | 2147483647 96478 18 | 0.060 % |
27.53/27.57 c | 96932 | 8328 72770 244952 | 2147483647 96928 18 | 0.060 % |
27.92/27.97 c | 97425 | 8328 72770 244952 | 2147483647 97421 18 | 0.060 % |
28.32/28.36 c | 97968 | 8328 72770 244952 | 2147483647 97964 18 | 0.060 % |
28.72/28.76 c | 98564 | 8328 72770 244952 | 2147483647 98560 18 | 0.060 % |
29.12/29.13 c | 99219 | 8328 72770 244952 | 2147483647 99215 18 | 0.060 % |
29.73/29.72 c | 99939 | 8328 72770 244952 | 2147483647 99935 18 | 0.060 % |
30.52/30.58 c | 100732 | 8328 72770 244952 | 99996 85642 19 | 0.060 % |
31.22/31.23 c | 101603 | 8328 72770 244952 | 99996 86513 19 | 0.060 % |
31.93/31.96 c | 102561 | 8328 72770 244952 | 99996 87471 19 | 0.060 % |
32.72/32.79 c | 103615 | 8328 72770 244952 | 99996 88525 19 | 0.060 % |
33.52/33.53 c | 104776 | 8328 72770 244952 | 99996 89686 19 | 0.060 % |
33.52/33.60 c | 104878 | 8328 72770 244952 | 99996 89788 19 | 0.060 % |
33.62/33.68 c | 104988 | 8328 72770 244952 | 99996 89898 19 | 0.060 % |
33.72/33.79 c | 105109 | 8328 72770 244952 | 99996 90019 19 | 0.060 % |
33.92/33.90 c | 105242 | 8328 72770 244952 | 99996 90152 19 | 0.060 % |
34.02/34.03 c | 105388 | 8328 72770 244952 | 99996 90298 19 | 0.060 % |
34.13/34.17 c | 105550 | 8328 72770 244952 | 99996 90460 19 | 0.060 % |
34.32/34.31 c | 105726 | 8328 72770 244952 | 99996 90636 19 | 0.060 % |
34.42/34.42 c | 105920 | 8328 72770 244952 | 99996 90830 19 | 0.060 % |
34.52/34.53 c | 106132 | 8328 72770 244952 | 99996 91042 19 | 0.060 % |
34.72/34.70 c | 106366 | 8328 72770 244952 | 99996 91276 19 | 0.060 % |
34.92/34.93 c | 106623 | 8328 72770 244952 | 99996 91533 19 | 0.060 % |
35.12/35.18 c | 106904 | 8328 72770 244952 | 99996 91814 19 | 0.060 % |
35.32/35.39 c | 107213 | 8328 72770 244952 | 99996 92123 19 | 0.060 % |
35.62/35.67 c | 107556 | 8328 72770 244952 | 99996 92466 19 | 0.060 % |
35.92/35.96 c | 107928 | 8328 72770 244952 | 99996 92838 19 | 0.060 % |
36.22/36.22 c | 108338 | 8328 72770 244952 | 99996 93248 19 | 0.060 % |
36.52/36.59 c | 108788 | 8328 72770 244952 | 99996 93698 19 | 0.060 % |
36.82/36.86 c | 109283 | 8328 72770 244952 | 99996 94193 19 | 0.060 % |
37.32/37.33 c | 109826 | 8328 72770 244952 | 99996 94736 19 | 0.060 % |
37.92/37.93 c | 110426 | 8328 72770 244952 | 94911 79198 19 | 0.060 % |
38.42/38.44 c | 111081 | 8328 72770 244952 | 94911 79853 19 | 0.060 % |
39.02/39.08 c | 111802 | 8328 72770 244952 | 94911 80574 19 | 0.060 % |
39.63/39.63 c | 112596 | 8328 72770 244952 | 94911 81368 19 | 0.060 % |
40.42/40.40 c | 113467 | 8328 72770 244952 | 94911 82239 19 | 0.060 % |
41.22/41.30 c | 114425 | 8328 72770 244952 | 94911 83197 19 | 0.060 % |
42.02/42.08 c | 115478 | 8328 72770 244952 | 94911 84250 19 | 0.060 % |
43.12/43.17 c | 116636 | 8328 72770 244952 | 94911 85408 19 | 0.060 % |
44.32/44.34 c | 117909 | 8328 72770 244952 | 94911 86681 19 | 0.060 % |
44.42/44.44 c | 118010 | 8328 72770 244952 | 94911 86782 19 | 0.060 % |
44.52/44.52 c | 118122 | 8328 72770 244952 | 94911 86894 19 | 0.060 % |
44.62/44.63 c | 118243 | 8328 72770 244952 | 94911 87015 19 | 0.060 % |
44.72/44.73 c | 118376 | 8328 72770 244952 | 94911 87148 19 | 0.060 % |
44.82/44.86 c | 118523 | 8328 72770 244952 | 94911 87295 19 | 0.060 % |
45.02/45.05 c | 118683 | 8328 72770 244952 | 94911 87455 19 | 0.060 % |
45.22/45.21 c | 118859 | 8328 72770 244952 | 94911 87631 19 | 0.060 % |
45.32/45.38 c | 119054 | 8328 72770 244952 | 94911 87826 19 | 0.060 % |
45.62/45.61 c | 119269 | 8328 72770 244952 | 94911 88041 19 | 0.060 % |
45.82/45.84 c | 119502 | 8328 72770 244952 | 94911 88274 19 | 0.060 % |
46.12/46.13 c | 119758 | 8328 72770 244952 | 94911 88530 19 | 0.060 % |
46.42/46.44 c | 120040 | 8328 72770 244952 | 88773 88812 19 | 0.060 % |
46.82/46.82 c | 120352 | 8328 72770 244952 | 88773 72855 18 | 0.060 % |
47.02/47.08 c | 120694 | 8328 72770 244952 | 88773 73197 18 | 0.060 % |
47.33/47.40 c | 121067 | 8328 72770 244952 | 88773 73570 18 | 0.060 % |
47.72/47.76 c | 121476 | 8328 72770 244952 | 88773 73979 18 | 0.060 % |
48.12/48.12 c | 121926 | 8328 72770 244952 | 88773 74429 18 | 0.060 % |
48.52/48.56 c | 122421 | 8328 72770 244952 | 88773 74924 18 | 0.060 % |
48.92/49.00 c | 122963 | 8328 72770 244952 | 88773 75466 18 | 0.060 % |
49.53/49.57 c | 123560 | 8328 72770 244952 | 88773 76063 18 | 0.060 % |
50.12/50.11 c | 124215 | 8328 72770 244952 | 88773 76718 18 | 0.060 % |
50.82/50.82 c | 124936 | 8328 72770 244952 | 88773 77439 18 | 0.060 % |
51.32/51.39 c | 125729 | 8328 72770 244952 | 88773 78232 18 | 0.060 % |
52.12/52.18 c | 126600 | 8328 72770 244952 | 88773 79103 18 | 0.060 % |
52.72/52.72 c | 127559 | 8328 72770 244952 | 88773 80062 18 | 0.060 % |
53.32/53.34 c | 128614 | 8328 72770 244952 | 88773 81117 18 | 0.060 % |
54.02/54.06 c | 129775 | 8328 72770 244952 | 88773 82278 18 | 0.060 % |
54.82/54.88 c | 131048 | 8328 72770 244952 | 82505 70298 18 | 0.060 % |
55.32/55.34 c | 132448 | 8328 72770 244952 | 82505 71698 18 | 0.060 % |
55.42/55.41 c | 132550 | 8328 72770 244952 | 82505 71800 18 | 0.060 % |
55.42/55.46 c | 132660 | 8328 72770 244952 | 82505 71910 18 | 0.060 % |
55.42/55.50 c | 132781 | 8328 72770 244952 | 82505 72031 18 | 0.060 % |
55.52/55.54 c | 132915 | 8328 72770 244952 | 82505 72165 18 | 0.060 % |
55.52/55.58 c | 133061 | 8328 72770 244952 | 82505 72311 18 | 0.060 % |
55.62/55.61 c | 133222 | 8328 72770 244952 | 82505 72472 18 | 0.060 % |
55.62/55.67 c | 133398 | 8328 72770 244952 | 82505 72648 18 | 0.060 % |
55.72/55.75 c | 133591 | 8328 72770 244952 | 82505 72841 18 | 0.060 % |
55.92/55.93 c | 133804 | 8328 72770 244952 | 82505 73054 18 | 0.060 % |
55.92/56.00 c | 134037 | 8328 72770 244952 | 82505 73287 18 | 0.060 % |
56.22/56.27 c | 134293 | 8328 72770 244952 | 82505 73543 18 | 0.060 % |
56.42/56.46 c | 134576 | 8328 72770 244952 | 82505 73826 18 | 0.060 % |
56.52/56.56 c | 134885 | 8328 72770 244952 | 82505 74135 18 | 0.060 % |
56.72/56.72 c | 135224 | 8328 72770 244952 | 82505 74474 18 | 0.060 % |
56.82/56.86 c | 135597 | 8328 72770 244952 | 82505 74847 18 | 0.060 % |
56.92/56.96 c | 136008 | 8328 72770 244952 | 82505 75258 18 | 0.060 % |
57.02/57.09 c | 136457 | 8328 72770 244952 | 82505 75707 18 | 0.060 % |
57.23/57.22 c | 136950 | 8328 72770 244952 | 82505 76200 18 | 0.060 % |
57.32/57.36 c | 137493 | 8328 72770 244952 | 82505 76743 18 | 0.060 % |
57.52/57.56 c | 138090 | 8328 72770 244952 | 82505 77340 18 | 0.060 % |
57.72/57.75 c | 138748 | 8328 72770 244952 | 82505 77998 18 | 0.060 % |
58.02/58.03 c | 139469 | 8328 72770 244952 | 82505 78719 18 | 0.060 % |
58.22/58.29 c | 140263 | 8328 72770 244952 | 2147483647 79513 18 | 0.060 % |
58.62/58.63 c | 141135 | 8328 72770 244952 | 2147483647 80385 18 | 0.060 % |
58.92/58.94 c | 142093 | 8328 72770 244952 | 2147483647 81343 18 | 0.060 % |
59.32/59.32 c | 143147 | 8328 72770 244952 | 2147483647 82397 18 | 0.060 % |
59.92/59.93 c | 144305 | 8328 72770 244952 | 2147483647 83555 18 | 0.060 % |
60.53/60.56 c | 145578 | 8328 72770 244952 | 2147483647 84828 18 | 0.060 % |
60.92/60.98 c | 146979 | 8328 72770 244952 | 2147483647 86229 18 | 0.060 % |
61.82/61.81 c | 148519 | 8328 72770 244952 | 2147483647 87769 18 | 0.060 % |
61.82/61.85 c | 148619 | 8328 72770 244952 | 2147483647 87869 18 | 0.060 % |
61.82/61.90 c | 148730 | 8328 72770 244952 | 2147483647 87980 18 | 0.060 % |
61.92/61.94 c | 148852 | 8328 72770 244952 | 2147483647 88102 18 | 0.060 % |
61.92/62.00 c | 148988 | 8328 72770 244952 | 2147483647 88238 18 | 0.060 % |
62.02/62.07 c | 149136 | 8328 72770 244952 | 2147483647 88386 18 | 0.060 % |
62.12/62.15 c | 149296 | 8328 72770 244952 | 2147483647 88546 18 | 0.060 % |
62.22/62.22 c | 149473 | 8328 72770 244952 | 2147483647 88723 18 | 0.060 % |
62.32/62.32 c | 149667 | 8328 72770 244952 | 2147483647 88917 18 | 0.060 % |
62.42/62.43 c | 149879 | 8328 72770 244952 | 2147483647 89129 18 | 0.060 % |
62.52/62.55 c | 150114 | 8328 72770 244952 | 2147483647 89364 18 | 0.060 % |
62.62/62.65 c | 150370 | 8328 72770 244952 | 2147483647 89620 18 | 0.060 % |
62.73/62.77 c | 150652 | 8328 72770 244952 | 2147483647 89902 18 | 0.060 % |
62.82/62.89 c | 150962 | 8328 72770 244952 | 2147483647 90212 18 | 0.060 % |
63.02/63.03 c | 151301 | 8328 72770 244952 | 2147483647 90551 18 | 0.060 % |
63.22/63.20 c | 151673 | 8328 72770 244952 | 2147483647 90923 18 | 0.060 % |
63.42/63.49 c | 152084 | 8328 72770 244952 | 2147483647 91334 18 | 0.060 % |
65.83/65.85 c | 152533 | 8326 72482 243811 | 2147483647 39327 16 | 0.084 % |
65.93/65.99 c | 153026 | 8326 72482 243811 | 2147483647 39820 16 | 0.084 % |
66.03/66.10 c | 153569 | 8326 72482 243811 | 2147483647 40362 16 | 0.120 % |
66.23/66.27 c | 154165 | 8325 72482 243811 | 2147483647 40958 16 | 0.120 % |
66.43/66.44 c | 154820 | 8325 72482 243811 | 2147483647 41613 16 | 0.120 % |
66.63/66.62 c | 155540 | 8325 72482 243811 | 2147483647 42333 17 | 0.120 % |
66.83/66.85 c | 156332 | 8325 72482 243811 | 2147483647 43125 17 | 0.120 % |
67.13/67.11 c | 157203 | 8325 72482 243811 | 2147483647 43996 17 | 0.120 % |
67.43/67.42 c | 158163 | 8325 72482 243811 | 2147483647 44956 17 | 0.120 % |
67.73/67.79 c | 159216 | 8323 72048 241676 | 2147483647 46008 17 | 0.120 % |
68.23/68.22 c | 160374 | 8323 72048 241676 | 2147483647 47166 17 | 0.120 % |
68.53/68.60 c | 161648 | 8323 72048 241676 | 2147483647 48440 17 | 0.120 % |
68.93/69.00 c | 163048 | 8323 72048 241676 | 2147483647 49840 17 | 0.120 % |
69.53/69.53 c | 164588 | 8323 72048 241676 | 2147483647 51380 17 | 0.120 % |
70.03/70.11 c | 166284 | 8323 72048 241676 | 2147483647 53076 18 | 0.120 % |
70.13/70.15 c | 166387 | 8323 72048 241676 | 2147483647 53179 18 | 0.120 % |
70.13/70.19 c | 166497 | 8323 72048 241676 | 2147483647 53289 18 | 0.120 % |
70.23/70.23 c | 166618 | 8323 72048 241676 | 2147483647 53410 18 | 0.120 % |
70.23/70.29 c | 166751 | 8317 71822 241012 | 2147483647 53477 18 | 0.192 % |
70.33/70.35 c | 166897 | 8317 71822 241012 | 2147483647 53623 18 | 0.192 % |
70.43/70.41 c | 167059 | 8317 71822 241012 | 2147483647 53785 18 | 0.192 % |
70.43/70.49 c | 167235 | 8317 71822 241012 | 2147483647 53961 18 | 0.192 % |
70.53/70.55 c | 167429 | 8317 71822 241012 | 2147483647 54155 18 | 0.192 % |
70.53/70.60 c | 167641 | 8317 71822 241012 | 2147483647 54367 18 | 0.192 % |
70.63/70.67 c | 167876 | 8317 71822 241012 | 2147483647 54602 18 | 0.192 % |
70.73/70.75 c | 168132 | 8316 71822 241012 | 2147483647 54857 18 | 0.204 % |
70.83/70.82 c | 168413 | 8316 71822 241012 | 2147483647 55138 18 | 0.204 % |
70.93/70.95 c | 168722 | 8316 71822 241012 | 2147483647 55447 18 | 0.204 % |
71.03/71.10 c | 169061 | 8316 71822 241012 | 2147483647 55786 18 | 0.204 % |
71.23/71.22 c | 169435 | 8316 71822 241012 | 2147483647 56160 18 | 0.204 % |
71.43/71.43 c | 169845 | 8316 71822 241012 | 2147483647 56570 18 | 0.204 % |
71.53/71.53 c | 170294 | 8315 71822 241012 | 2147483647 57018 18 | 0.216 % |
71.73/71.72 c | 170787 | 8315 71822 241012 | 2147483647 57511 18 | 0.216 % |
71.93/71.92 c | 171329 | 8315 71822 241012 | 2147483647 58053 18 | 0.216 % |
72.13/72.18 c | 171925 | 8314 71822 241012 | 2147483647 58648 18 | 0.228 % |
72.43/72.42 c | 172580 | 8314 71822 241012 | 2147483647 59303 18 | 0.228 % |
72.73/72.77 c | 173300 | 8314 71822 241012 | 2147483647 60023 18 | 0.228 % |
73.03/73.04 c | 174092 | 8314 71813 240994 | 2147483647 60804 18 | 0.228 % |
73.43/73.45 c | 174966 | 8314 71813 240994 | 2147483647 61678 18 | 0.228 % |
73.83/73.90 c | 175924 | 8314 71813 240994 | 2147483647 62636 18 | 0.228 % |
74.33/74.38 c | 176978 | 8314 71813 240994 | 2147483647 63690 18 | 0.228 % |
74.93/74.93 c | 178137 | 8314 71813 240994 | 2147483647 64849 18 | 0.228 % |
75.53/75.60 c | 179411 | 8314 71813 240994 | 2147483647 66123 19 | 0.228 % |
75.83/75.88 c | 180812 | 8314 71813 240994 | 2147483647 67524 19 | 0.228 % |
76.53/76.56 c | 182354 | 8314 71813 240994 | 2147483647 69066 19 | 0.228 % |
77.43/77.45 c | 184048 | 8314 71813 240994 | 2147483647 70760 19 | 0.228 % |
78.63/78.71 c | 185911 | 8314 71813 240994 | 2147483647 72623 19 | 0.228 % |
78.73/78.77 c | 186011 | 8314 71813 240994 | 2147483647 72723 19 | 0.228 % |
78.83/78.82 c | 186122 | 8314 71813 240994 | 2147483647 72834 19 | 0.228 % |
78.93/78.91 c | 186244 | 8314 71813 240994 | 2147483647 72956 19 | 0.228 % |
78.93/78.97 c | 186377 | 8314 71813 240994 | 2147483647 73089 19 | 0.228 % |
79.03/79.05 c | 186523 | 8314 71813 240994 | 2147483647 73235 19 | 0.228 % |
79.13/79.14 c | 186684 | 8314 71813 240994 | 2147483647 73396 19 | 0.228 % |
79.13/79.21 c | 186862 | 8314 71813 240994 | 2147483647 73574 19 | 0.228 % |
79.23/79.26 c | 187055 | 8314 71813 240994 | 2147483647 73767 19 | 0.228 % |
79.33/79.35 c | 187267 | 8314 71813 240994 | 2147483647 73979 19 | 0.228 % |
79.43/79.46 c | 187501 | 8314 71813 240994 | 2147483647 74213 19 | 0.228 % |
79.63/79.62 c | 187757 | 8314 71813 240994 | 2147483647 74469 19 | 0.228 % |
79.63/79.70 c | 188038 | 8314 71813 240994 | 2147483647 74750 19 | 0.228 % |
79.83/79.87 c | 188348 | 8314 71813 240994 | 2147483647 75060 19 | 0.228 % |
80.03/80.11 c | 188689 | 8314 71813 240994 | 2147483647 75401 19 | 0.228 % |
80.23/80.27 c | 189061 | 8314 71813 240994 | 2147483647 75773 19 | 0.228 % |
80.43/80.47 c | 189470 | 8314 71813 240994 | 2147483647 76182 19 | 0.228 % |
80.53/80.60 c | 189919 | 8314 71813 240994 | 2147483647 76631 19 | 0.228 % |
80.83/80.88 c | 190412 | 8314 71813 240994 | 2147483647 77124 19 | 0.228 % |
81.03/81.07 c | 190955 | 8314 71813 240994 | 2147483647 77667 19 | 0.228 % |
81.33/81.36 c | 191551 | 8314 71813 240994 | 2147483647 78263 19 | 0.228 % |
81.63/81.67 c | 192209 | 8314 71813 240994 | 2147483647 78921 19 | 0.228 % |
82.03/82.09 c | 192929 | 8314 71813 240994 | 2147483647 79641 19 | 0.228 % |
82.53/82.60 c | 193725 | 8314 71813 240994 | 2147483647 80437 19 | 0.228 % |
83.13/83.12 c | 194596 | 8314 71813 240994 | 2147483647 81308 19 | 0.228 % |
83.53/83.61 c | 195554 | 8314 71813 240994 | 2147483647 82266 19 | 0.228 % |
84.13/84.15 c | 196608 | 8314 71813 240994 | 2147483647 83320 19 | 0.228 % |
84.83/84.87 c | 197767 | 8314 71813 240994 | 2147483647 84479 19 | 0.228 % |
85.53/85.52 c | 199040 | 8314 71813 240994 | 2147483647 85752 19 | 0.228 % |
86.53/86.52 c | 200440 | 8314 71813 240994 | 2147483647 87152 20 | 0.228 % |
87.43/87.50 c | 201980 | 8314 71813 240994 | 2147483647 88692 20 | 0.228 % |
88.33/88.37 c | 203674 | 8314 71813 240994 | 2147483647 90386 20 | 0.228 % |
89.33/89.39 c | 205538 | 8313 71810 240988 | 2147483647 92246 20 | 0.240 % |
90.93/91.00 c | 207588 | 8313 71810 240988 | 2147483647 94296 20 | 0.240 % |
91.03/91.08 c | 207688 | 8313 71810 240988 | 2147483647 94396 20 | 0.240 % |
91.13/91.17 c | 207798 | 8313 71810 240988 | 2147483647 94506 20 | 0.240 % |
91.23/91.23 c | 207920 | 8313 71810 240988 | 2147483647 94628 20 | 0.240 % |
91.23/91.31 c | 208053 | 8313 71810 240988 | 2147483647 94761 20 | 0.240 % |
91.33/91.41 c | 208199 | 8313 71810 240988 | 2147483647 94907 20 | 0.240 % |
91.53/91.52 c | 208360 | 8313 71810 240988 | 2147483647 95068 20 | 0.240 % |
91.63/91.62 c | 208537 | 8313 71810 240988 | 2147483647 95245 20 | 0.240 % |
91.73/91.79 c | 208730 | 8313 71810 240988 | 2147483647 95438 20 | 0.240 % |
91.93/91.93 c | 208942 | 8313 71810 240988 | 2147483647 95650 20 | 0.240 % |
92.03/92.09 c | 209175 | 8313 71810 240988 | 2147483647 95883 20 | 0.240 % |
92.23/92.29 c | 209432 | 8313 71810 240988 | 2147483647 96140 20 | 0.240 % |
92.53/92.55 c | 209715 | 8313 71810 240988 | 2147483647 96423 20 | 0.240 % |
92.73/92.75 c | 210026 | 8313 71810 240988 | 2147483647 96734 20 | 0.240 % |
92.93/92.97 c | 210367 | 8313 71810 240988 | 2147483647 97075 20 | 0.240 % |
93.13/93.15 c | 210739 | 8313 71810 240988 | 2147483647 97447 20 | 0.240 % |
93.33/93.33 c | 211150 | 8313 71810 240988 | 2147483647 97858 20 | 0.240 % |
93.73/93.72 c | 211599 | 8313 71810 240988 | 2147483647 98307 20 | 0.240 % |
94.03/94.07 c | 212092 | 8313 71810 240988 | 2147483647 98800 20 | 0.240 % |
94.43/94.45 c | 212636 | 8313 71810 240988 | 2147483647 99344 20 | 0.240 % |
94.83/94.84 c | 213233 | 8313 71810 240988 | 2147483647 99941 20 | 0.240 % |
95.23/95.27 c | 213889 | 8313 71810 240988 | 2147483647 100597 20 | 0.240 % |
95.73/95.77 c | 214611 | 8313 71810 240988 | 2147483647 101319 20 | 0.240 % |
96.23/96.23 c | 215403 | 8313 71810 240988 | 2147483647 102111 20 | 0.240 % |
97.03/97.02 c | 216275 | 8313 71810 240988 | 2147483647 102983 20 | 0.240 % |
97.63/97.67 c | 217234 | 8313 71810 240988 | 2147483647 103942 20 | 0.240 % |
98.43/98.45 c | 218289 | 8313 71810 240988 | 2147483647 104997 20 | 0.240 % |
99.33/99.33 c | 219447 | 8313 71810 240988 | 2147483647 106155 20 | 0.240 % |
100.33/100.37 c | 220722 | 8313 71810 240988 | 106708 92516 20 | 0.240 % |
101.53/101.52 c | 222122 | 8313 71810 240988 | 106708 93916 21 | 0.240 % |
102.63/102.63 c | 223662 | 8313 71810 240988 | 106708 95456 21 | 0.240 % |
103.73/103.77 c | 225357 | 8313 71810 240988 | 106708 97151 21 | 0.240 % |
105.13/105.13 c | 227221 | 8313 71810 240988 | 106708 99015 21 | 0.240 % |
106.33/106.36 c | 229271 | 8313 71810 240988 | 106708 101065 21 | 0.240 % |
107.83/107.83 c | 231524 | 8313 71810 240988 | 101794 90635 20 | 0.240 % |
107.93/107.95 c | 231626 | 8313 71810 240988 | 101794 90737 21 | 0.240 % |
108.03/108.02 c | 231738 | 8313 71810 240988 | 101794 90849 20 | 0.240 % |
108.03/108.09 c | 231859 | 8313 71810 240988 | 101794 90970 21 | 0.240 % |
108.13/108.16 c | 231993 | 8313 71810 240988 | 101794 91104 21 | 0.240 % |
108.23/108.25 c | 232140 | 8313 71810 240988 | 101794 91251 21 | 0.240 % |
108.33/108.37 c | 232300 | 8313 71810 240988 | 101794 91411 21 | 0.240 % |
108.53/108.52 c | 232476 | 8313 71810 240988 | 101794 91587 21 | 0.240 % |
108.63/108.66 c | 232674 | 8313 71810 240988 | 101794 91785 21 | 0.240 % |
108.73/108.81 c | 232886 | 8313 71810 240988 | 101794 91997 21 | 0.240 % |
108.93/108.98 c | 233121 | 8313 71810 240988 | 101794 92232 21 | 0.240 % |
109.13/109.18 c | 233377 | 8313 71810 240988 | 101794 92488 21 | 0.240 % |
109.43/109.46 c | 233658 | 8313 71810 240988 | 101794 92769 21 | 0.240 % |
109.63/109.68 c | 233967 | 8313 71810 240988 | 101794 93078 21 | 0.240 % |
109.93/109.97 c | 234307 | 8313 71810 240988 | 101794 93418 21 | 0.240 % |
110.23/110.25 c | 234679 | 8313 71810 240988 | 101794 93790 21 | 0.240 % |
110.53/110.55 c | 235090 | 8313 71810 240988 | 101794 94201 21 | 0.240 % |
110.93/110.92 c | 235540 | 8313 71810 240988 | 101794 94651 21 | 0.240 % |
111.23/111.23 c | 236033 | 8313 71810 240988 | 101794 95144 21 | 0.240 % |
111.63/111.65 c | 236575 | 8313 71810 240988 | 101794 95686 21 | 0.240 % |
112.03/112.06 c | 237172 | 8313 71810 240988 | 101794 96283 21 | 0.240 % |
112.53/112.58 c | 237827 | 8313 71810 240988 | 101794 96938 21 | 0.240 % |
113.03/113.07 c | 238548 | 8313 71810 240988 | 101794 97659 21 | 0.240 % |
113.83/113.85 c | 239340 | 8313 71810 240988 | 101794 98451 21 | 0.240 % |
114.53/114.52 c | 240211 | 8313 71810 240988 | 99111 99322 21 | 0.240 % |
115.33/115.41 c | 241171 | 8313 71810 240988 | 99111 86883 20 | 0.240 % |
116.13/116.17 c | 242226 | 8313 71810 240988 | 99111 87938 20 | 0.240 % |
116.83/116.88 c | 243384 | 8313 71810 240988 | 99111 89096 20 | 0.240 % |
117.73/117.76 c | 244660 | 8313 71810 240988 | 99111 90372 20 | 0.240 % |
118.73/118.75 c | 246060 | 8312 71807 240982 | 99111 91770 20 | 0.252 % |
119.73/119.73 c | 247600 | 8312 71807 240982 | 99111 93310 20 | 0.252 % |
120.93/120.96 c | 249295 | 8312 71807 240982 | 99111 95005 20 | 0.252 % |
122.43/122.48 c | 251160 | 8312 71807 240982 | 95710 84322 20 | 0.252 % |
123.43/123.48 c | 253209 | 8312 71807 240982 | 95710 86371 20 | 0.252 % |
124.93/124.98 c | 255462 | 8312 71807 240982 | 95710 88624 20 | 0.252 % |
126.63/126.61 c | 257941 | 8312 71807 240982 | 95710 91103 20 | 0.252 % |
126.73/126.71 c | 258041 | 8312 71807 240982 | 95710 91203 20 | 0.252 % |
126.83/126.84 c | 258151 | 8312 71807 240982 | 95710 91313 20 | 0.252 % |
126.93/126.92 c | 258272 | 8312 71807 240982 | 95710 91434 20 | 0.252 % |
127.03/127.02 c | 258406 | 8312 71807 240982 | 95710 91568 20 | 0.252 % |
127.13/127.13 c | 258553 | 8312 71807 240982 | 95710 91715 20 | 0.252 % |
127.23/127.27 c | 258714 | 8312 71807 240982 | 95710 91876 20 | 0.252 % |
127.43/127.43 c | 258890 | 8312 71807 240982 | 95710 92052 20 | 0.252 % |
127.53/127.59 c | 259084 | 8312 71807 240982 | 95710 92246 20 | 0.252 % |
127.73/127.78 c | 259296 | 8312 71807 240982 | 95710 92458 20 | 0.252 % |
127.93/127.98 c | 259529 | 8312 71807 240982 | 95710 92691 20 | 0.252 % |
128.13/128.15 c | 259787 | 8312 71807 240982 | 95710 92949 20 | 0.252 % |
128.33/128.33 c | 260068 | 8312 71807 240982 | 93162 93230 20 | 0.252 % |
128.63/128.65 c | 260377 | 8312 71807 240982 | 93162 83281 20 | 0.252 % |
128.93/128.92 c | 260716 | 8312 71807 240982 | 93162 83620 20 | 0.252 % |
129.23/129.21 c | 261088 | 8312 71807 240982 | 93162 83992 20 | 0.252 % |
129.43/129.47 c | 261497 | 8312 71807 240982 | 93162 84401 20 | 0.252 % |
129.84/129.83 c | 261946 | 8312 71807 240982 | 93162 84850 20 | 0.252 % |
130.13/130.14 c | 262439 | 8312 71807 240982 | 93162 85343 20 | 0.252 % |
130.33/130.40 c | 262981 | 8312 71807 240982 | 93162 85885 20 | 0.252 % |
130.73/130.80 c | 263577 | 8312 71807 240982 | 93162 86481 20 | 0.252 % |
131.33/131.32 c | 264234 | 8312 71807 240982 | 93162 87138 20 | 0.252 % |
131.83/131.86 c | 264954 | 8312 71807 240982 | 93162 87858 20 | 0.252 % |
132.43/132.42 c | 265746 | 8312 71807 240982 | 93162 88650 20 | 0.252 % |
133.03/133.11 c | 266618 | 8312 71807 240982 | 93162 89522 20 | 0.252 % |
133.63/133.70 c | 267583 | 8312 71807 240982 | 93162 90487 20 | 0.252 % |
134.63/134.69 c | 268636 | 8312 71807 240982 | 93162 91540 20 | 0.252 % |
135.34/135.37 c | 269796 | 8312 71807 240982 | 93162 92700 20 | 0.252 % |
136.44/136.44 c | 271069 | 8311 71804 240976 | 92903 83220 20 | 0.264 % |
137.33/137.37 c | 272470 | 8311 71804 240976 | 92903 84621 20 | 0.264 % |
138.83/138.87 c | 274014 | 8311 71804 240976 | 92903 86165 20 | 0.264 % |
140.33/140.32 c | 275708 | 8311 71804 240976 | 92903 87859 20 | 0.264 % |
141.73/141.72 c | 277571 | 8310 71804 240976 | 92903 89721 20 | 0.276 % |
143.23/143.29 c | 279622 | 8310 71804 240976 | 92903 91772 20 | 0.276 % |
145.13/145.15 c | 281877 | 8310 71699 240662 | 92149 83957 20 | 0.276 % |
146.93/147.00 c | 284356 | 8310 71699 240662 | 92149 86436 20 | 0.276 % |
148.73/148.79 c | 287081 | 8310 71699 240662 | 92149 89161 20 | 0.276 % |
148.83/148.88 c | 287186 | 8310 71699 240662 | 92149 89266 20 | 0.276 % |
148.93/148.97 c | 287296 | 8310 71699 240662 | 92149 89376 20 | 0.276 % |
149.03/149.09 c | 287417 | 8310 71699 240662 | 92149 89497 20 | 0.276 % |
149.13/149.20 c | 287551 | 8310 71699 240662 | 92149 89631 20 | 0.276 % |
149.33/149.36 c | 287698 | 8310 71699 240662 | 92149 89778 20 | 0.276 % |
149.43/149.50 c | 287858 | 8310 71699 240662 | 92149 89938 20 | 0.276 % |
149.53/149.59 c | 288035 | 8310 71699 240662 | 92149 90115 20 | 0.276 % |
149.73/149.75 c | 288229 | 8310 71699 240662 | 92149 90309 20 | 0.276 % |
149.83/149.89 c | 288441 | 8310 71699 240662 | 92149 90521 20 | 0.276 % |
150.03/150.01 c | 288674 | 8310 71699 240662 | 92149 90754 20 | 0.276 % |
150.23/150.23 c | 288932 | 8310 71699 240662 | 92149 91012 20 | 0.276 % |
150.33/150.40 c | 289214 | 8310 71699 240662 | 92149 91294 20 | 0.276 % |
150.63/150.65 c | 289523 | 8310 71699 240662 | 92149 91603 20 | 0.276 % |
150.93/151.00 c | 289862 | 8310 71699 240662 | 92149 91942 20 | 0.276 % |
151.33/151.40 c | 290234 | 8310 71699 240662 | 92080 92314 20 | 0.276 % |
151.84/151.85 c | 290643 | 8310 71699 240662 | 92080 82384 20 | 0.276 % |
152.23/152.25 c | 291093 | 8310 71699 240662 | 92080 82834 20 | 0.276 % |
152.63/152.66 c | 291588 | 8310 71699 240662 | 92080 83329 20 | 0.276 % |
153.03/153.04 c | 292130 | 8310 71699 240662 | 92080 83871 20 | 0.276 % |
153.33/153.32 c | 292726 | 8310 71699 240662 | 92080 84467 20 | 0.276 % |
153.93/153.93 c | 293382 | 8310 71699 240662 | 92080 85123 20 | 0.276 % |
154.53/154.52 c | 294103 | 8310 71699 240662 | 92080 85844 20 | 0.276 % |
155.03/155.11 c | 294897 | 8310 71699 240662 | 92080 86638 20 | 0.276 % |
155.83/155.86 c | 295770 | 8310 71699 240662 | 92080 87511 20 | 0.276 % |
156.43/156.48 c | 296728 | 8310 71699 240662 | 92080 88469 20 | 0.276 % |
157.43/157.45 c | 297781 | 8310 71699 240662 | 92080 89522 20 | 0.276 % |
158.44/158.46 c | 298944 | 8310 71699 240662 | 92080 90685 20 | 0.276 % |
159.63/159.65 c | 300217 | 8310 71699 240662 | 91743 91958 20 | 0.276 % |
160.83/160.84 c | 301618 | 8310 71699 240662 | 91743 83725 20 | 0.276 % |
162.23/162.21 c | 303160 | 8310 71699 240662 | 91743 85267 20 | 0.276 % |
163.43/163.50 c | 304854 | 8310 71699 240662 | 91743 86961 20 | 0.276 % |
164.83/164.91 c | 306718 | 8310 71699 240662 | 91743 88825 20 | 0.276 % |
166.63/166.70 c | 308768 | 8310 71699 240662 | 91743 90875 20 | 0.276 % |
168.43/168.44 c | 311022 | 8310 71699 240662 | 82228 74762 19 | 0.276 % |
170.23/170.31 c | 313503 | 8310 71699 240662 | 82228 77243 20 | 0.276 % |
172.13/172.18 c | 316230 | 8310 71699 240662 | 82228 79970 20 | 0.276 % |
174.13/174.18 c | 319228 | 8310 71699 240662 | 82228 74707 19 | 0.276 % |
174.23/174.26 c | 319330 | 8310 71699 240662 | 82228 74809 19 | 0.276 % |
174.33/174.34 c | 319441 | 8310 71699 240662 | 82228 74920 19 | 0.276 % |
174.43/174.46 c | 319562 | 8310 71699 240662 | 82228 75041 19 | 0.276 % |
174.53/174.55 c | 319695 | 8310 71699 240662 | 82228 75174 19 | 0.276 % |
174.63/174.66 c | 319841 | 8310 71699 240662 | 82228 75320 19 | 0.276 % |
174.73/174.77 c | 320001 | 8310 71699 240662 | 2147483647 75480 19 | 0.276 % |
174.83/174.90 c | 320179 | 8310 71699 240662 | 2147483647 75658 19 | 0.276 % |
175.03/175.03 c | 320372 | 8310 71699 240662 | 2147483647 75851 19 | 0.276 % |
175.23/175.24 c | 320588 | 8310 71699 240662 | 2147483647 76067 19 | 0.276 % |
175.43/175.45 c | 320823 | 8310 71699 240662 | 2147483647 76302 19 | 0.276 % |
175.73/175.74 c | 321079 | 8310 71699 240662 | 2147483647 76558 19 | 0.276 % |
175.93/175.95 c | 321363 | 8310 71699 240662 | 2147483647 76842 20 | 0.276 % |
176.13/176.16 c | 321673 | 8310 71699 240662 | 2147483647 77152 20 | 0.276 % |
176.23/176.30 c | 322013 | 8310 71699 240662 | 2147483647 77492 20 | 0.276 % |
176.63/176.64 c | 322386 | 8310 71699 240662 | 2147483647 77865 20 | 0.276 % |
176.93/176.97 c | 322795 | 8310 71699 240662 | 2147483647 78274 20 | 0.276 % |
177.23/177.30 c | 323244 | 8310 71699 240662 | 2147483647 78723 20 | 0.276 % |
177.73/177.74 c | 323741 | 8310 71699 240662 | 2147483647 79220 20 | 0.276 % |
178.03/178.08 c | 324283 | 8310 71699 240662 | 2147483647 79762 20 | 0.276 % |
178.43/178.50 c | 324880 | 8310 71699 240662 | 2147483647 80359 20 | 0.276 % |
178.73/178.79 c | 325535 | 8310 71699 240662 | 2147483647 81014 20 | 0.276 % |
179.14/179.21 c | 326256 | 8310 71699 240662 | 2147483647 81735 20 | 0.276 % |
179.93/179.95 c | 327048 | 8310 71699 240662 | 2147483647 82527 20 | 0.276 % |
180.23/180.31 c | 327919 | 8310 71699 240662 | 2147483647 83398 20 | 0.276 % |
181.23/181.24 c | 328877 | 8310 71699 240662 | 2147483647 84356 20 | 0.276 % |
182.03/182.10 c | 329930 | 8310 71699 240662 | 2147483647 85409 20 | 0.276 % |
183.03/183.03 c | 331088 | 8310 71699 240662 | 2147483647 86567 20 | 0.276 % |
184.33/184.40 c | 332361 | 8310 71699 240662 | 2147483647 87840 20 | 0.276 % |
185.43/185.42 c | 333761 | 8310 71699 240662 | 2147483647 89240 20 | 0.276 % |
186.43/186.47 c | 335301 | 8310 71699 240662 | 2147483647 90780 20 | 0.276 % |
187.53/187.55 c | 336997 | 8310 71699 240662 | 2147483647 92476 20 | 0.276 % |
189.33/189.35 c | 338862 | 8310 71699 240662 | 2147483647 94341 20 | 0.276 % |
191.73/191.74 c | 340913 | 8310 71699 240662 | 95480 84935 20 | 0.276 % |
193.13/193.13 c | 343167 | 8310 71699 240662 | 95480 87189 20 | 0.276 % |
194.93/194.97 c | 345645 | 8310 71699 240662 | 95480 89667 20 | 0.276 % |
196.93/196.94 c | 348371 | 8310 71699 240662 | 95480 92393 20 | 0.276 % |
199.63/199.69 c | 351368 | 8310 71699 240662 | 2147483647 95390 20 | 0.276 % |
202.23/202.23 c | 354667 | 8310 71699 240662 | 2147483647 98689 20 | 0.276 % |
202.33/202.37 c | 354769 | 8310 71699 240662 | 2147483647 98791 20 | 0.276 % |
202.43/202.47 c | 354879 | 8310 71699 240662 | 2147483647 98901 20 | 0.276 % |
202.53/202.59 c | 355001 | 8310 71699 240662 | 2147483647 99023 20 | 0.276 % |
202.73/202.80 c | 355134 | 8310 71699 240662 | 2147483647 99156 20 | 0.276 % |
202.93/202.96 c | 355283 | 8310 71699 240662 | 2147483647 99305 20 | 0.276 % |
203.13/203.13 c | 355444 | 8310 71699 240662 | 2147483647 99466 20 | 0.276 % |
203.33/203.32 c | 355620 | 8310 71699 240662 | 2147483647 99642 20 | 0.276 % |
203.43/203.49 c | 355813 | 8310 71699 240662 | 2147483647 99835 20 | 0.276 % |
203.73/203.73 c | 356025 | 8310 71699 240662 | 2147483647 100047 20 | 0.276 % |
203.93/203.94 c | 356262 | 8310 71699 240662 | 2147483647 100284 20 | 0.276 % |
204.13/204.12 c | 356519 | 8310 71699 240662 | 2147483647 100541 20 | 0.276 % |
204.33/204.38 c | 356800 | 8310 71699 240662 | 2147483647 100822 20 | 0.276 % |
204.63/204.70 c | 357109 | 8310 71699 240662 | 2147483647 101131 20 | 0.276 % |
205.13/205.12 c | 357448 | 8310 71699 240662 | 2147483647 101470 20 | 0.276 % |
205.53/205.58 c | 357820 | 8310 71699 240662 | 2147483647 101842 21 | 0.276 % |
206.03/206.04 c | 358230 | 8310 71699 240662 | 2147483647 102252 21 | 0.276 % |
206.33/206.40 c | 358679 | 8310 71699 240662 | 2147483647 102701 21 | 0.276 % |
206.83/206.82 c | 359172 | 8310 71699 240662 | 2147483647 103194 21 | 0.276 % |
207.13/207.17 c | 359714 | 8310 71699 240662 | 2147483647 103736 21 | 0.276 % |
207.83/207.85 c | 360311 | 8310 71699 240662 | 104023 90199 20 | 0.276 % |
208.13/208.17 c | 360966 | 8310 71699 240662 | 104023 90854 20 | 0.276 % |
208.93/208.95 c | 361686 | 8310 71699 240662 | 104023 91574 20 | 0.276 % |
209.43/209.46 c | 362478 | 8310 71699 240662 | 104023 92366 20 | 0.276 % |
210.13/210.11 c | 363349 | 8310 71699 240662 | 104023 93237 20 | 0.276 % |
210.83/210.83 c | 364307 | 8310 71699 240662 | 104023 94195 20 | 0.276 % |
211.63/211.62 c | 365360 | 8310 71699 240662 | 104023 95248 20 | 0.276 % |
212.23/212.29 c | 366519 | 8310 71699 240662 | 104023 96407 20 | 0.276 % |
213.63/213.67 c | 367792 | 8310 71699 240662 | 104023 97680 20 | 0.276 % |
215.03/215.03 c | 369194 | 8310 71699 240662 | 104023 99082 20 | 0.276 % |
216.53/216.54 c | 370737 | 8310 71699 240662 | 99888 87502 20 | 0.276 % |
217.63/217.70 c | 372433 | 8310 71699 240662 | 99888 89198 20 | 0.276 % |
219.23/219.25 c | 374296 | 8310 71699 240662 | 99888 91061 20 | 0.276 % |
220.93/220.99 c | 376349 | 8310 71699 240662 | 99888 93114 20 | 0.276 % |
222.93/222.96 c | 378604 | 8310 71699 240662 | 99888 95369 20 | 0.276 % |
225.03/225.06 c | 381087 | 8310 71699 240662 | 96765 86159 20 | 0.276 % |
226.53/226.59 c | 383812 | 8310 71699 240662 | 96765 88884 20 | 0.276 % |
229.03/229.07 c | 386810 | 8310 71699 240662 | 96765 91882 20 | 0.276 % |
232.43/232.48 c | 390107 | 8310 71699 240662 | 95075 95179 21 | 0.276 % |
235.23/235.26 c | 393732 | 8310 71699 240662 | 95075 86444 20 | 0.276 % |
235.33/235.33 c | 393832 | 8310 71699 240662 | 95075 86544 20 | 0.276 % |
235.43/235.42 c | 393944 | 8310 71699 240662 | 95075 86656 20 | 0.276 % |
235.53/235.52 c | 394067 | 8310 71699 240662 | 95075 86779 20 | 0.276 % |
235.63/235.62 c | 394200 | 8310 71699 240662 | 95075 86912 20 | 0.276 % |
235.73/235.77 c | 394347 | 8310 71699 240662 | 95075 87059 20 | 0.276 % |
235.83/235.86 c | 394509 | 8310 71699 240662 | 95075 87221 20 | 0.276 % |
235.93/235.98 c | 394686 | 8310 71699 240662 | 95075 87398 20 | 0.276 % |
236.13/236.17 c | 394882 | 8310 71699 240662 | 95075 87594 20 | 0.276 % |
236.33/236.31 c | 395094 | 8310 71699 240662 | 95075 87806 20 | 0.276 % |
236.53/236.51 c | 395327 | 8310 71699 240662 | 95075 88039 20 | 0.276 % |
236.83/236.81 c | 395583 | 8310 71699 240662 | 95075 88295 20 | 0.276 % |
237.03/237.04 c | 395864 | 8310 71699 240662 | 95075 88576 20 | 0.276 % |
237.33/237.32 c | 396173 | 8310 71699 240662 | 95075 88885 20 | 0.276 % |
237.63/237.63 c | 396513 | 8310 71699 240662 | 95075 89225 20 | 0.276 % |
238.03/238.03 c | 396886 | 8310 71699 240662 | 95075 89598 20 | 0.276 % |
238.43/238.44 c | 397295 | 8310 71699 240662 | 95075 90007 20 | 0.276 % |
238.93/238.92 c | 397744 | 8310 71699 240662 | 95075 90456 20 | 0.276 % |
239.43/239.45 c | 398237 | 8310 71699 240662 | 95075 90949 20 | 0.276 % |
240.03/240.09 c | 398779 | 8310 71699 240662 | 95075 91491 20 | 0.276 % |
240.63/240.70 c | 399375 | 8310 71699 240662 | 95075 92087 20 | 0.276 % |
241.23/241.27 c | 400031 | 8310 71699 240662 | 92712 92743 20 | 0.276 % |
241.93/241.96 c | 400751 | 8310 71699 240662 | 92712 82671 20 | 0.276 % |
242.63/242.65 c | 401544 | 8310 71699 240662 | 92712 83464 20 | 0.276 % |
243.33/243.39 c | 402415 | 8310 71699 240662 | 92712 84335 20 | 0.276 % |
244.03/244.08 c | 403375 | 8310 71699 240662 | 92712 85295 20 | 0.276 % |
245.13/245.18 c | 404429 | 8310 71699 240662 | 92712 86349 20 | 0.276 % |
246.03/246.06 c | 405589 | 8310 71699 240662 | 92712 87509 20 | 0.276 % |
247.23/247.27 c | 406864 | 8310 71699 240662 | 92712 88784 20 | 0.276 % |
248.64/248.64 c | 408265 | 8310 71699 240662 | 92712 90185 20 | 0.276 % |
249.74/249.71 c | 409805 | 8310 71699 240662 | 92712 91725 20 | 0.276 % |
251.13/251.20 c | 411499 | 8310 71699 240662 | 91922 82858 20 | 0.276 % |
252.73/252.71 c | 413362 | 8310 71699 240662 | 91922 84721 20 | 0.276 % |
254.43/254.46 c | 415412 | 8310 71699 240662 | 91922 86771 20 | 0.276 % |
256.53/256.54 c | 417665 | 8310 71699 240662 | 91922 89024 20 | 0.276 % |
258.33/258.32 c | 420144 | 8310 71699 240662 | 2147483647 91503 20 | 0.276 % |
261.13/261.14 c | 422869 | 8310 71699 240662 | 2147483647 94228 20 | 0.276 % |
263.33/263.31 c | 425871 | 8310 71699 240662 | 2147483647 97230 20 | 0.276 % |
266.73/266.77 c | 429167 | 8310 71699 240662 | 2147483647 100526 21 | 0.276 % |
270.64/270.62 c | 432795 | 8310 71699 240662 | 101359 91274 20 | 0.276 % |
274.53/274.54 c | 436783 | 8310 71699 240662 | 101359 95262 20 | 0.276 % |
274.63/274.62 c | 436884 | 8310 71699 240662 | 101359 95363 20 | 0.276 % |
274.73/274.74 c | 436994 | 8310 71699 240662 | 101359 95473 20 | 0.276 % |
274.83/274.83 c | 437115 | 8310 71699 240662 | 101359 95594 20 | 0.276 % |
274.93/274.91 c | 437250 | 8310 71699 240662 | 101359 95729 20 | 0.276 % |
275.04/275.04 c | 437396 | 8310 71699 240662 | 101359 95875 20 | 0.276 % |
275.13/275.17 c | 437556 | 8310 71699 240662 | 101359 96035 20 | 0.276 % |
275.33/275.37 c | 437732 | 8310 71699 240662 | 101359 96211 20 | 0.276 % |
275.63/275.61 c | 437926 | 8310 71699 240662 | 101359 96405 20 | 0.276 % |
275.83/275.86 c | 438138 | 8310 71699 240662 | 101359 96617 20 | 0.276 % |
276.03/276.08 c | 438371 | 8310 71699 240662 | 101359 96850 20 | 0.276 % |
276.43/276.43 c | 438627 | 8310 71699 240662 | 101359 97106 20 | 0.276 % |
276.73/276.74 c | 438909 | 8310 71699 240662 | 101359 97388 20 | 0.276 % |
276.93/276.97 c | 439218 | 8310 71699 240662 | 101359 97697 20 | 0.276 % |
277.24/277.24 c | 439560 | 8310 71699 240662 | 101359 98039 20 | 0.276 % |
277.73/277.71 c | 439932 | 8310 71699 240662 | 101359 98411 20 | 0.276 % |
278.34/278.33 c | 440341 | 8310 71699 240662 | 98479 86716 20 | 0.276 % |
278.83/278.81 c | 440792 | 8310 71699 240662 | 98479 87167 20 | 0.276 % |
279.33/279.33 c | 441286 | 8310 71699 240662 | 98479 87661 20 | 0.276 % |
279.83/279.88 c | 441830 | 8310 71699 240662 | 98479 88205 20 | 0.276 % |
280.54/280.53 c | 442426 | 8310 71699 240662 | 98479 88801 20 | 0.276 % |
281.13/281.12 c | 443081 | 8310 71699 240662 | 98479 89456 20 | 0.276 % |
281.73/281.80 c | 443801 | 8310 71699 240662 | 98479 90176 20 | 0.276 % |
282.43/282.44 c | 444594 | 8310 71699 240662 | 98479 90969 20 | 0.276 % |
282.93/282.98 c | 445467 | 8310 71699 240662 | 98479 91842 20 | 0.276 % |
283.53/283.56 c | 446426 | 8310 71699 240662 | 98479 92801 20 | 0.276 % |
284.63/284.65 c | 447481 | 8310 71699 240662 | 98479 93856 20 | 0.276 % |
285.63/285.65 c | 448640 | 8310 71699 240662 | 98479 95015 20 | 0.276 % |
286.93/286.90 c | 449915 | 8310 71699 240662 | 98479 96290 20 | 0.276 % |
288.24/288.30 c | 451316 | 8310 71699 240662 | 96376 85661 20 | 0.276 % |
289.03/289.04 c | 452859 | 8310 71699 240662 | 96376 87204 20 | 0.276 % |
290.33/290.36 c | 454556 | 8310 71699 240662 | 96376 88901 20 | 0.276 % |
292.54/292.54 c | 456419 | 8310 71699 240662 | 96376 90764 20 | 0.276 % |
294.64/294.67 c | 458470 | 8310 71699 240662 | 96376 92815 20 | 0.276 % |
297.54/297.54 c | 460724 | 8310 71699 240662 | 94346 80802 20 | 0.276 % |
299.54/299.58 c | 463202 | 8310 71699 240662 | 94346 83280 20 | 0.276 % |
302.54/302.60 c | 465928 | 8310 71699 240662 | 94346 86006 20 | 0.276 % |
306.04/306.06 c | 468926 | 8310 71699 240662 | 94346 89004 20 | 0.276 % |
309.94/309.95 c | 472222 | 8310 71699 240662 | 90078 82236 19 | 0.276 % |
312.84/312.84 c | 475847 | 8310 71699 240662 | 90078 85861 19 | 0.276 % |
316.84/316.84 c | 479834 | 8309 71595 240351 | 90078 89845 20 | 0.288 % |
319.54/319.60 c | 484220 | 8309 71595 240351 | 90012 85192 19 | 0.288 % |
319.64/319.64 c | 484320 | 8309 71595 240351 | 90012 85292 19 | 0.288 % |
319.74/319.72 c | 484430 | 8309 71595 240351 | 90012 85402 19 | 0.288 % |
319.84/319.84 c | 484552 | 8309 71595 240351 | 90012 85524 19 | 0.288 % |
319.94/319.96 c | 484688 | 8309 71595 240351 | 90012 85660 19 | 0.288 % |
320.04/320.05 c | 484837 | 8309 71595 240351 | 90012 85809 19 | 0.288 % |
320.14/320.15 c | 484999 | 8309 71595 240351 | 90012 85971 19 | 0.288 % |
320.34/320.35 c | 485177 | 8309 71595 240351 | 90012 86149 19 | 0.288 % |
320.54/320.52 c | 485370 | 8309 71595 240351 | 90012 86342 19 | 0.288 % |
320.74/320.72 c | 485587 | 8309 71595 240351 | 90012 86559 19 | 0.288 % |
320.94/320.99 c | 485820 | 8309 71595 240351 | 90012 86792 19 | 0.288 % |
321.14/321.17 c | 486078 | 8309 71595 240351 | 90012 87050 19 | 0.288 % |
321.54/321.54 c | 486359 | 8309 71595 240351 | 90012 87331 19 | 0.288 % |
321.84/321.86 c | 486670 | 8309 71595 240351 | 90012 87642 19 | 0.288 % |
322.14/322.17 c | 487010 | 8309 71595 240351 | 90012 87982 19 | 0.288 % |
322.44/322.49 c | 487384 | 8309 71595 240351 | 90012 88356 19 | 0.288 % |
322.84/322.88 c | 487793 | 8309 71595 240351 | 90012 88765 19 | 0.288 % |
323.14/323.16 c | 488242 | 8309 71595 240351 | 90012 89214 20 | 0.288 % |
323.74/323.78 c | 488735 | 8309 71595 240351 | 90012 89707 20 | 0.288 % |
324.44/324.47 c | 489278 | 8309 71595 240351 | 90012 90250 20 | 0.288 % |
325.04/325.08 c | 489874 | 8309 71595 240351 | 90012 81821 19 | 0.288 % |
325.44/325.44 c | 490529 | 8309 71595 240351 | 2147483647 82476 19 | 0.288 % |
326.14/326.17 c | 491249 | 8309 71595 240351 | 2147483647 83196 19 | 0.288 % |
326.74/326.79 c | 492042 | 8309 71595 240351 | 2147483647 83989 19 | 0.288 % |
327.44/327.43 c | 492915 | 8309 71595 240351 | 2147483647 84862 19 | 0.288 % |
328.44/328.48 c | 493873 | 8309 71595 240351 | 2147483647 85820 19 | 0.288 % |
329.24/329.21 c | 494927 | 8309 71595 240351 | 2147483647 86874 20 | 0.288 % |
330.24/330.26 c | 496086 | 8309 71595 240351 | 2147483647 88033 19 | 0.288 % |
330.94/330.92 c | 497360 | 8309 71595 240351 | 2147483647 89307 20 | 0.288 % |
332.04/332.11 c | 498760 | 8309 71595 240351 | 2147483647 90707 20 | 0.288 % |
333.74/333.78 c | 500300 | 8309 71595 240351 | 91947 82406 19 | 0.288 % |
334.94/334.91 c | 501996 | 8309 71595 240351 | 91947 84102 19 | 0.288 % |
336.74/336.78 c | 503861 | 8309 71595 240351 | 91947 85967 19 | 0.288 % |
338.24/338.26 c | 505910 | 8309 71595 240351 | 91947 88016 20 | 0.288 % |
340.44/340.50 c | 508164 | 8309 71595 240351 | 91947 90270 20 | 0.288 % |
343.04/343.06 c | 510642 | 8309 71595 240351 | 92107 81858 19 | 0.288 % |
345.74/345.72 c | 513368 | 8309 71595 240351 | 92107 84584 19 | 0.288 % |
348.04/348.08 c | 516366 | 8309 71595 240351 | 92107 87582 19 | 0.288 % |
351.04/351.05 c | 519663 | 8309 71595 240351 | 92107 90879 20 | 0.288 % |
353.84/353.81 c | 523288 | 8309 71595 240351 | 91216 84725 20 | 0.288 % |
357.14/357.13 c | 527275 | 8309 71595 240351 | 91216 88712 20 | 0.288 % |
360.74/360.73 c | 531662 | 8309 71595 240351 | 2147483647 93099 20 | 0.288 % |
366.24/366.27 c | 536488 | 8309 71595 240351 | 2147483647 97925 20 | 0.288 % |
366.35/366.34 c | 536588 | 8309 71595 240351 | 2147483647 98025 20 | 0.288 % |
366.44/366.48 c | 536698 | 8309 71595 240351 | 2147483647 98135 20 | 0.288 % |
366.64/366.61 c | 536822 | 8309 71595 240351 | 2147483647 98259 20 | 0.288 % |
366.64/366.67 c | 536955 | 8309 71595 240351 | 2147483647 98392 20 | 0.288 % |
366.74/366.78 c | 537102 | 8309 71595 240351 | 2147483647 98539 20 | 0.288 % |
366.94/366.94 c | 537263 | 8309 71595 240351 | 2147483647 98700 20 | 0.288 % |
367.04/367.06 c | 537440 | 8309 71595 240351 | 2147483647 98877 21 | 0.288 % |
367.24/367.26 c | 537633 | 8309 71595 240351 | 2147483647 99070 21 | 0.288 % |
367.54/367.52 c | 537845 | 8309 71595 240351 | 2147483647 99282 21 | 0.288 % |
367.84/367.84 c | 538078 | 8309 71595 240351 | 2147483647 99515 21 | 0.288 % |
368.04/368.09 c | 538334 | 8309 71595 240351 | 2147483647 99771 21 | 0.288 % |
368.34/368.37 c | 538615 | 8309 71595 240351 | 2147483647 100052 21 | 0.288 % |
368.64/368.68 c | 538926 | 8309 71595 240351 | 2147483647 100363 21 | 0.288 % |
369.04/369.09 c | 539266 | 8309 71595 240351 | 2147483647 100703 21 | 0.288 % |
369.44/369.50 c | 539639 | 8309 71595 240351 | 2147483647 101076 21 | 0.288 % |
369.84/369.89 c | 540049 | 8309 71595 240351 | 101437 101486 21 | 0.288 % |
370.44/370.47 c | 540499 | 8309 71595 240351 | 101437 87509 20 | 0.288 % |
370.84/370.90 c | 540993 | 8309 71595 240351 | 101437 88003 20 | 0.288 % |
371.34/371.38 c | 541537 | 8309 71595 240351 | 101437 88547 20 | 0.288 % |
371.94/371.94 c | 542134 | 8309 71595 240351 | 101437 89144 20 | 0.288 % |
372.44/372.49 c | 542790 | 8309 71595 240351 | 101437 89800 20 | 0.288 % |
372.95/372.93 c | 543510 | 8309 71595 240351 | 101437 90520 20 | 0.288 % |
373.64/373.67 c | 544302 | 8309 71595 240351 | 101437 91312 20 | 0.288 % |
374.34/374.40 c | 545173 | 8309 71595 240351 | 101437 92183 20 | 0.288 % |
375.34/375.34 c | 546131 | 8309 71595 240351 | 101437 93141 20 | 0.288 % |
376.14/376.21 c | 547184 | 8309 71595 240351 | 101437 94194 20 | 0.288 % |
377.04/377.04 c | 548344 | 8309 71595 240351 | 101437 95354 20 | 0.288 % |
378.45/378.43 c | 549617 | 8309 71595 240351 | 101437 96627 20 | 0.288 % |
379.94/379.95 c | 551017 | 8309 71595 240351 | 97010 84625 20 | 0.288 % |
381.34/381.37 c | 552558 | 8309 71595 240351 | 97010 86166 20 | 0.288 % |
383.04/383.01 c | 554254 | 8307 71570 240291 | 97010 87861 20 | 0.312 % |
384.24/384.24 c | 556118 | 8307 71570 240291 | 97010 89725 20 | 0.312 % |
386.54/386.57 c | 558167 | 8307 71570 240291 | 97010 91774 20 | 0.312 % |
388.44/388.45 c | 560421 | 8307 71570 240291 | 93607 82889 20 | 0.312 % |
390.24/390.30 c | 562900 | 8307 71570 240291 | 93607 85368 20 | 0.312 % |
392.04/392.02 c | 565625 | 8307 71570 240291 | 93607 88093 20 | 0.312 % |
394.34/394.36 c | 568625 | 8307 71570 240291 | 93607 91093 20 | 0.312 % |
396.94/396.92 c | 571923 | 8307 71570 240291 | 2147483647 94391 20 | 0.312 % |
400.14/400.18 c | 575550 | 8307 71570 240291 | 2147483647 98018 20 | 0.312 % |
405.04/405.01 c | 579537 | 8307 71570 240291 | 2147483647 102005 20 | 0.312 % |
409.45/409.45 c | 583922 | 8307 71570 240291 | 102468 92461 20 | 0.312 % |
413.75/413.76 c | 588745 | 8307 71570 240291 | 102468 97284 20 | 0.312 % |
419.95/419.97 c | 594050 | 8307 71570 240291 | 98539 88818 19 | 0.312 % |
420.05/420.09 c | 594150 | 8307 71570 240291 | 98539 88918 19 | 0.312 % |
420.15/420.16 c | 594260 | 8307 71570 240291 | 98539 89028 19 | 0.312 % |
420.35/420.33 c | 594381 | 8307 71570 240291 | 98539 89149 19 | 0.312 % |
420.45/420.46 c | 594515 | 8307 71570 240291 | 98539 89283 19 | 0.312 % |
420.65/420.69 c | 594663 | 8307 71570 240291 | 98539 89431 19 | 0.312 % |
420.85/420.89 c | 594824 | 8307 71570 240291 | 98539 89592 19 | 0.312 % |
421.05/421.03 c | 595000 | 8307 71570 240291 | 98539 89768 20 | 0.312 % |
421.25/421.29 c | 595193 | 8307 71570 240291 | 98539 89961 20 | 0.312 % |
421.55/421.57 c | 595405 | 8307 71570 240291 | 98539 90173 20 | 0.312 % |
421.75/421.74 c | 595639 | 8307 71570 240291 | 98539 90407 20 | 0.312 % |
422.05/422.03 c | 595899 | 8307 71570 240291 | 98539 90667 20 | 0.312 % |
422.15/422.20 c | 596181 | 8307 71570 240291 | 98539 90949 20 | 0.312 % |
422.45/422.45 c | 596490 | 8307 71570 240291 | 98539 91258 20 | 0.312 % |
422.75/422.75 c | 596830 | 8307 71570 240291 | 98539 91598 20 | 0.312 % |
423.05/423.09 c | 597202 | 8307 71570 240291 | 98539 91970 20 | 0.312 % |
423.45/423.49 c | 597613 | 8307 71570 240291 | 98539 92381 20 | 0.312 % |
423.85/423.84 c | 598064 | 8307 71570 240291 | 98539 92832 20 | 0.312 % |
424.35/424.32 c | 598559 | 8307 71570 240291 | 98539 93327 20 | 0.312 % |
424.95/424.99 c | 599103 | 8307 71570 240291 | 98539 93871 20 | 0.312 % |
425.65/425.63 c | 599703 | 8307 71570 240291 | 98539 94471 20 | 0.312 % |
426.45/426.44 c | 600358 | 8307 71570 240291 | 94770 80746 19 | 0.312 % |
427.15/427.13 c | 601080 | 8307 71570 240291 | 94770 81468 19 | 0.312 % |
427.75/427.78 c | 601872 | 8307 71570 240291 | 94770 82260 19 | 0.312 % |
428.65/428.63 c | 602743 | 8307 71570 240291 | 94770 83131 19 | 0.312 % |
429.55/429.59 c | 603705 | 8307 71570 240291 | 94770 84093 19 | 0.312 % |
430.35/430.35 c | 604758 | 8307 71570 240291 | 94770 85146 19 | 0.312 % |
431.15/431.13 c | 605917 | 8307 71570 240291 | 94770 86305 20 | 0.312 % |
432.05/432.08 c | 607190 | 8307 71570 240291 | 94770 87578 20 | 0.312 % |
433.15/433.20 c | 608591 | 8307 71570 240291 | 94770 88979 20 | 0.312 % |
434.95/435.00 c | 610131 | 8307 71570 240291 | 90390 90519 20 | 0.312 % |
436.45/436.51 c | 611826 | 8307 71570 240291 | 90390 82226 20 | 0.312 % |
437.85/437.82 c | 613690 | 8307 71570 240291 | 90390 84090 20 | 0.312 % |
439.45/439.43 c | 615740 | 8307 71570 240291 | 90390 86140 20 | 0.312 % |
441.05/441.09 c | 617993 | 8307 71570 240291 | 90390 88393 20 | 0.312 % |
443.65/443.65 c | 620471 | 8307 71570 240291 | 2147483647 90871 20 | 0.312 % |
446.45/446.45 c | 623198 | 8307 71570 240291 | 2147483647 93598 20 | 0.312 % |
449.45/449.44 c | 626196 | 8307 71570 240291 | 2147483647 96596 20 | 0.312 % |
452.75/452.72 c | 629492 | 8307 71570 240291 | 2147483647 99892 21 | 0.312 % |
456.55/456.56 c | 633118 | 8307 71570 240291 | 100400 89726 20 | 0.312 % |
459.85/459.84 c | 637105 | 8307 71570 240291 | 100400 93713 20 | 0.312 % |
464.55/464.53 c | 641492 | 8307 71570 240291 | 96609 85412 20 | 0.312 % |
468.85/468.91 c | 646315 | 8307 71570 240291 | 96609 90235 20 | 0.312 % |
473.45/473.50 c | 651621 | 8307 71570 240291 | 93921 84328 20 | 0.312 % |
478.35/478.33 c | 657457 | 8307 71570 240291 | 93921 90164 20 | 0.312 % |
478.45/478.43 c | 657558 | 8307 71570 240291 | 93921 90265 20 | 0.312 % |
478.56/478.56 c | 657668 | 8307 71570 240291 | 93921 90375 20 | 0.312 % |
478.65/478.70 c | 657790 | 8307 71570 240291 | 93921 90497 20 | 0.312 % |
478.85/478.89 c | 657924 | 8307 71570 240291 | 93921 90631 20 | 0.312 % |
479.05/479.06 c | 658070 | 8307 71570 240291 | 93921 90777 20 | 0.312 % |
479.25/479.27 c | 658230 | 8307 71570 240291 | 93921 90937 20 | 0.312 % |
479.45/479.44 c | 658406 | 8307 71570 240291 | 93921 91113 20 | 0.312 % |
479.55/479.61 c | 658599 | 8307 71570 240291 | 93921 91306 20 | 0.312 % |
479.95/479.92 c | 658811 | 8307 71570 240291 | 93921 91518 20 | 0.312 % |
480.15/480.16 c | 659044 | 8307 71570 240291 | 93921 91751 20 | 0.312 % |
480.45/480.47 c | 659300 | 8307 71570 240291 | 93921 92007 20 | 0.312 % |
480.76/480.75 c | 659581 | 8307 71570 240291 | 93921 92288 20 | 0.312 % |
481.05/481.11 c | 659891 | 8307 71570 240291 | 93921 92598 20 | 0.312 % |
481.65/481.68 c | 660230 | 8307 71570 240291 | 92707 80298 19 | 0.312 % |
481.95/481.99 c | 660603 | 8307 71570 240291 | 92707 80671 19 | 0.312 % |
482.25/482.28 c | 661013 | 8307 71570 240291 | 92707 81081 19 | 0.312 % |
482.65/482.70 c | 661462 | 8307 71570 240291 | 92707 81530 19 | 0.312 % |
483.05/483.08 c | 661955 | 8307 71570 240291 | 92707 82023 20 | 0.312 % |
483.55/483.56 c | 662499 | 8307 71570 240291 | 92707 82567 20 | 0.312 % |
484.15/484.14 c | 663097 | 8307 71570 240291 | 92707 83165 20 | 0.312 % |
484.75/484.79 c | 663753 | 8307 71570 240291 | 92707 83821 20 | 0.312 % |
485.55/485.51 c | 664473 | 8307 71570 240291 | 92707 84541 20 | 0.312 % |
486.26/486.29 c | 665267 | 8307 71570 240291 | 92707 85335 20 | 0.312 % |
487.15/487.18 c | 666138 | 8307 71570 240291 | 92707 86206 20 | 0.312 % |
487.95/487.97 c | 667096 | 8307 71570 240291 | 92707 87164 20 | 0.312 % |
489.05/489.07 c | 668150 | 8307 71570 240291 | 92707 88218 20 | 0.312 % |
490.25/490.28 c | 669308 | 8307 71570 240291 | 92707 89376 20 | 0.312 % |
491.45/491.46 c | 670581 | 8307 71570 240291 | 90068 80978 19 | 0.312 % |
492.75/492.75 c | 671981 | 8307 71570 240291 | 90068 82378 19 | 0.312 % |
494.15/494.12 c | 673521 | 8307 71570 240291 | 90068 83918 19 | 0.312 % |
495.45/495.48 c | 675215 | 8307 71570 240291 | 90068 85612 20 | 0.312 % |
497.55/497.56 c | 677080 | 8307 71570 240291 | 90068 87477 20 | 0.312 % |
499.55/499.60 c | 679130 | 8307 71570 240291 | 90068 89527 20 | 0.312 % |
501.75/501.81 c | 681385 | 8307 71570 240291 | 2147483647 82761 19 | 0.312 % |
503.65/503.61 c | 683864 | 8307 71570 240291 | 2147483647 85240 19 | 0.312 % |
506.45/506.42 c | 686592 | 8307 71570 240291 | 2147483647 87968 19 | 0.312 % |
509.65/509.62 c | 689590 | 8307 71570 240291 | 2147483647 90966 20 | 0.312 % |
512.85/512.85 c | 692888 | 8307 71570 240291 | 2147483647 94264 20 | 0.312 % |
516.45/516.46 c | 696513 | 8306 71567 240285 | 2147483647 97887 19 | 0.324 % |
521.06/521.06 c | 700501 | 8306 71567 240285 | 101375 87038 19 | 0.324 % |
525.06/525.08 c | 704887 | 8306 71567 240285 | 101375 91424 19 | 0.324 % |
529.36/529.38 c | 709711 | 8306 71567 240285 | 101375 96248 19 | 0.324 % |
534.16/534.13 c | 715017 | 8306 71567 240285 | 96537 90171 19 | 0.324 % |
539.95/540.01 c | 720852 | 8306 71567 240285 | 95154 86461 18 | 0.324 % |
543.75/543.78 c | 727270 | 8285 70218 232644 | 95154 25775 12 | 0.576 % |
543.75/543.80 c | 727372 | 8285 70218 232644 | 95154 25877 12 | 0.576 % |
543.85/543.82 c | 727482 | 8285 70218 232644 | 95154 25987 12 | 0.576 % |
543.85/543.86 c | 727603 | 8285 70218 232644 | 95154 26108 12 | 0.576 % |
543.85/543.89 c | 727736 | 8285 70218 232644 | 95154 26241 12 | 0.576 % |
543.95/543.92 c | 727884 | 8285 70218 232644 | 95154 26389 12 | 0.576 % |
543.95/543.96 c | 728044 | 8285 70218 232644 | 95154 26549 12 | 0.576 % |
543.95/544.00 c | 728221 | 8285 70218 232644 | 95154 26726 12 | 0.576 % |
544.05/544.04 c | 728415 | 8285 70218 232644 | 95154 26920 12 | 0.576 % |
544.05/544.08 c | 728629 | 8285 70218 232644 | 95154 27134 12 | 0.576 % |
544.15/544.13 c | 728862 | 8282 70218 232644 | 95154 27366 12 | 0.672 % |
544.15/544.18 c ===============================================================================
544.15/544.18 c restarts : 1047
544.15/544.18 c conflicts : 729074 (1343 /sec)
544.15/544.18 c decisions : 1051384 (1.82 % random) (1937 /sec)
544.15/544.18 c propagations : 168374979 (310231 /sec)
544.15/544.18 c conflict literals : 16205548 (36.83 % deleted)
544.15/544.18 c Memory used : 20.92 MB
544.15/544.18 c CPU time : 542.74 s
544.15/544.18 c
544.15/544.18 s UNSATISFIABLE
544.15/544.18 s UNSATISFIABLE
runsolver version 3.2.9 (svn:503) (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w /tmp/evaluation-result-1821382-1242522853/watcher-1821382-1242522853 -o /tmp/evaluation-result-1821382-1242522853/solver-1821382-1242522853 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1821382-1242522853.cnf
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1230 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 8192 KiB
[startup+0 s]
/proc/loadavg: 0.95 1.01 1.00 2/93 11738
/proc/meminfo: memFree=1178684/2074464 swapFree=1950884/1959888
[pid=11738] ppid=11736 vsize=2412 CPUtime=0.01
/proc/11738/stat : 11738 (SatELiteGTI) S 11736 11738 10114 0 -1 4194304 366 645 0 0 0 1 0 0 25 0 1 0 1016786162 2469888 276 4294967295 134512640 135169312 3213317056 3213315592 3085356782 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/11738/statm: 603 276 235 161 0 42 0
[pid=11742] ppid=11738 vsize=956 CPUtime=0
/proc/11742/stat : 11742 (SatELite_releas) R 11738 11738 10114 0 -1 4202496 130 0 0 0 0 0 0 0 25 0 1 0 1016786163 978944 66 4294967295 134512640 135223648 3218159696 3218158292 134719062 0 0 0 3 0 0 0 17 1 0 0 0
/proc/11742/statm: 239 69 47 174 0 64 0
[startup+0.051079 s]
/proc/loadavg: 0.95 1.01 1.00 2/93 11738
/proc/meminfo: memFree=1178684/2074464 swapFree=1950884/1959888
[pid=11738] ppid=11736 vsize=2412 CPUtime=0.01
/proc/11738/stat : 11738 (SatELiteGTI) S 11736 11738 10114 0 -1 4194304 366 645 0 0 0 1 0 0 25 0 1 0 1016786162 2469888 276 4294967295 134512640 135169312 3213317056 3213315592 3085356782 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/11738/statm: 603 276 235 161 0 42 0
[pid=11742] ppid=11738 vsize=6280 CPUtime=0.05
/proc/11742/stat : 11742 (SatELite_releas) R 11738 11738 10114 0 -1 4202496 1430 0 0 0 3 2 0 0 25 0 1 0 1016786163 6430720 1366 4294967295 134512640 135223648 3218159696 3218158648 134737310 0 0 0 3 0 0 0 17 1 0 0 0
/proc/11742/statm: 1570 1369 47 174 0 1395 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 8692
[startup+0.111077 s]
/proc/loadavg: 0.95 1.01 1.00 2/93 11738
/proc/meminfo: memFree=1178684/2074464 swapFree=1950884/1959888
[pid=11738] ppid=11736 vsize=2412 CPUtime=0.01
/proc/11738/stat : 11738 (SatELiteGTI) S 11736 11738 10114 0 -1 4194304 366 645 0 0 0 1 0 0 25 0 1 0 1016786162 2469888 276 4294967295 134512640 135169312 3213317056 3213315592 3085356782 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/11738/statm: 603 276 235 161 0 42 0
[pid=11742] ppid=11738 vsize=12696 CPUtime=0.11
/proc/11742/stat : 11742 (SatELite_releas) R 11738 11738 10114 0 -1 4202496 2871 0 0 0 9 2 0 0 25 0 1 0 1016786163 13000704 2807 4294967295 134512640 135223648 3218159696 3218158648 134737310 0 0 0 3 0 0 0 17 1 0 0 0
/proc/11742/statm: 3174 2809 47 174 0 2999 0
Current children cumulated CPU time (s) 0.12
Current children cumulated vsize (KiB) 15108
[startup+0.311102 s]
/proc/loadavg: 0.95 1.01 1.00 2/93 11738
/proc/meminfo: memFree=1178684/2074464 swapFree=1950884/1959888
[pid=11738] ppid=11736 vsize=2412 CPUtime=0.01
/proc/11738/stat : 11738 (SatELiteGTI) S 11736 11738 10114 0 -1 4194304 366 645 0 0 0 1 0 0 25 0 1 0 1016786162 2469888 276 4294967295 134512640 135169312 3213317056 3213315592 3085356782 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/11738/statm: 603 276 235 161 0 42 0
[pid=11742] ppid=11738 vsize=22592 CPUtime=0.31
/proc/11742/stat : 11742 (SatELite_releas) R 11738 11738 10114 0 -1 4202496 4736 0 0 0 27 4 0 0 25 0 1 0 1016786163 23134208 4672 4294967295 134512640 135223648 3218159696 3218157776 134548331 0 0 0 3 0 0 0 17 1 0 0 0
/proc/11742/statm: 5648 4672 72 174 0 5473 0
Current children cumulated CPU time (s) 0.32
Current children cumulated vsize (KiB) 25004
[startup+0.711047 s]
/proc/loadavg: 0.95 1.01 1.00 2/93 11738
/proc/meminfo: memFree=1178684/2074464 swapFree=1950884/1959888
[pid=11738] ppid=11736 vsize=2412 CPUtime=0.01
/proc/11738/stat : 11738 (SatELiteGTI) S 11736 11738 10114 0 -1 4194304 366 645 0 0 0 1 0 0 25 0 1 0 1016786162 2469888 276 4294967295 134512640 135169312 3213317056 3213315592 3085356782 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/11738/statm: 603 276 235 161 0 42 0
[pid=11742] ppid=11738 vsize=22368 CPUtime=0.71
/proc/11742/stat : 11742 (SatELite_releas) R 11738 11738 10114 0 -1 4202496 5087 0 0 0 67 4 0 0 25 0 1 0 1016786163 22904832 4618 4294967295 134512640 135223648 3218159696 3218157712 134586669 0 0 0 3 0 0 0 17 1 0 0 0
/proc/11742/statm: 5592 4618 73 174 0 5417 0
Current children cumulated CPU time (s) 0.72
Current children cumulated vsize (KiB) 24780
[startup+1.51101 s]
/proc/loadavg: 0.95 1.01 1.00 2/95 11744
/proc/meminfo: memFree=1157192/2074464 swapFree=1950884/1959888
[pid=11738] ppid=11736 vsize=2416 CPUtime=1.36
/proc/11738/stat : 11738 (SatELiteGTI) S 11736 11738 10114 0 -1 4194304 385 6296 0 0 0 1 131 4 18 0 1 0 1016786162 2473984 277 4294967295 134512640 135169312 3213317056 3213313272 3085356782 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/11738/statm: 604 277 235 161 0 43 0
Current children cumulated CPU time (s) 1.36
Current children cumulated vsize (KiB) 2416
[startup+3.11093 s]
/proc/loadavg: 0.95 1.01 1.00 2/95 11745
/proc/meminfo: memFree=1169964/2074464 swapFree=1950884/1959888
[pid=11738] ppid=11736 vsize=2416 CPUtime=1.36
/proc/11738/stat : 11738 (SatELiteGTI) S 11736 11738 10114 0 -1 4194304 385 6296 0 0 0 1 131 4 18 0 1 0 1016786162 2473984 277 4294967295 134512640 135169312 3213317056 3213313272 3085356782 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/11738/statm: 604 277 235 161 0 43 0
[pid=11745] ppid=11738 vsize=7716 CPUtime=1.76
/proc/11745/stat : 11745 (minisat_static) R 11738 11738 10114 0 -1 4202496 1840 0 0 0 173 3 0 0 25 0 1 0 1016786298 7901184 1775 4294967295 134512640 135215339 3220845376 3220843664 134528809 0 0 0 3 0 0 0 17 2 0 0 0
/proc/11745/statm: 1929 1775 73 172 0 1756 0
Current children cumulated CPU time (s) 3.12
Current children cumulated vsize (KiB) 10132
[startup+6.31084 s]
/proc/loadavg: 0.95 1.01 1.00 2/95 11745
/proc/meminfo: memFree=1167028/2074464 swapFree=1950884/1959888
[pid=11738] ppid=11736 vsize=2416 CPUtime=1.36
/proc/11738/stat : 11738 (SatELiteGTI) S 11736 11738 10114 0 -1 4194304 385 6296 0 0 0 1 131 4 18 0 1 0 1016786162 2473984 277 4294967295 134512640 135169312 3213317056 3213313272 3085356782 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/11738/statm: 604 277 235 161 0 43 0
[pid=11745] ppid=11738 vsize=10072 CPUtime=4.96
/proc/11745/stat : 11745 (minisat_static) R 11738 11738 10114 0 -1 4202496 2410 0 0 0 492 4 0 0 25 0 1 0 1016786298 10313728 2345 4294967295 134512640 135215339 3220845376 3220843664 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/11745/statm: 2518 2345 73 172 0 2345 0
Current children cumulated CPU time (s) 6.32
Current children cumulated vsize (KiB) 12488
[startup+12.7105 s]
/proc/loadavg: 0.96 1.01 1.00 2/95 11745
/proc/meminfo: memFree=1163908/2074464 swapFree=1950884/1959888
[pid=11738] ppid=11736 vsize=2416 CPUtime=1.36
/proc/11738/stat : 11738 (SatELiteGTI) S 11736 11738 10114 0 -1 4194304 385 6296 0 0 0 1 131 4 18 0 1 0 1016786162 2473984 277 4294967295 134512640 135169312 3213317056 3213313272 3085356782 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/11738/statm: 604 277 235 161 0 43 0
[pid=11745] ppid=11738 vsize=12836 CPUtime=11.36
/proc/11745/stat : 11745 (minisat_static) R 11738 11738 10114 0 -1 4202496 3104 0 0 0 1132 4 0 0 25 0 1 0 1016786298 13144064 3039 4294967295 134512640 135215339 3220845376 3220843664 134529080 0 0 0 3 0 0 0 17 2 0 0 0
/proc/11745/statm: 3209 3039 73 172 0 3036 0
Current children cumulated CPU time (s) 12.72
Current children cumulated vsize (KiB) 15252
[startup+25.5098 s]
/proc/loadavg: 0.97 1.01 1.00 2/95 11745
/proc/meminfo: memFree=1160532/2074464 swapFree=1950884/1959888
[pid=11738] ppid=11736 vsize=2416 CPUtime=1.36
/proc/11738/stat : 11738 (SatELiteGTI) S 11736 11738 10114 0 -1 4194304 385 6296 0 0 0 1 131 4 18 0 1 0 1016786162 2473984 277 4294967295 134512640 135169312 3213317056 3213313272 3085356782 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/11738/statm: 604 277 235 161 0 43 0
[pid=11745] ppid=11738 vsize=16204 CPUtime=24.16
/proc/11745/stat : 11745 (minisat_static) R 11738 11738 10114 0 -1 4202496 3913 0 0 0 2409 7 0 0 25 0 1 0 1016786298 16592896 3848 4294967295 134512640 135215339 3220845376 3220843440 134538110 0 0 0 3 0 0 0 17 2 0 0 0
/proc/11745/statm: 4051 3848 73 172 0 3878 0
Current children cumulated CPU time (s) 25.52
Current children cumulated vsize (KiB) 18620
[startup+51.1086 s]
/proc/loadavg: 0.98 1.00 1.00 2/95 11930
/proc/meminfo: memFree=1158904/2074464 swapFree=1950884/1959888
[pid=11738] ppid=11736 vsize=2416 CPUtime=1.36
/proc/11738/stat : 11738 (SatELiteGTI) S 11736 11738 10114 0 -1 4194304 385 6296 0 0 0 1 131 4 18 0 1 0 1016786162 2473984 277 4294967295 134512640 135169312 3213317056 3213313272 3085356782 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/11738/statm: 604 277 235 161 0 43 0
[pid=11745] ppid=11738 vsize=17624 CPUtime=49.76
/proc/11745/stat : 11745 (minisat_static) R 11738 11738 10114 0 -1 4202496 4247 0 0 0 4969 7 0 0 25 0 1 0 1016786298 18046976 4182 4294967295 134512640 135215339 3220845376 3220843664 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/11745/statm: 4406 4182 73 172 0 4233 0
Current children cumulated CPU time (s) 51.12
Current children cumulated vsize (KiB) 20040
[startup+102.316 s]
/proc/loadavg: 0.99 1.00 1.00 2/95 12117
/proc/meminfo: memFree=1156716/2074464 swapFree=1950884/1959888
[pid=11738] ppid=11736 vsize=2416 CPUtime=1.36
/proc/11738/stat : 11738 (SatELiteGTI) S 11736 11738 10114 0 -1 4194304 385 6296 0 0 0 1 131 4 18 0 1 0 1016786162 2473984 277 4294967295 134512640 135169312 3213317056 3213313272 3085356782 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/11738/statm: 604 277 235 161 0 43 0
[pid=11745] ppid=11738 vsize=19796 CPUtime=100.97
/proc/11745/stat : 11745 (minisat_static) R 11738 11738 10114 0 -1 4202496 4799 0 0 0 10090 7 0 0 25 0 1 0 1016786298 20271104 4699 4294967295 134512640 135215339 3220845376 3220843664 134528666 0 0 0 3 0 0 0 17 2 0 0 0
/proc/11745/statm: 4949 4699 73 172 0 4776 0
Current children cumulated CPU time (s) 102.33
Current children cumulated vsize (KiB) 22212
[startup+162.313 s]
/proc/loadavg: 0.99 1.00 1.00 2/95 12306
/proc/meminfo: memFree=1156212/2074464 swapFree=1950884/1959888
[pid=11738] ppid=11736 vsize=2416 CPUtime=1.36
/proc/11738/stat : 11738 (SatELiteGTI) S 11736 11738 10114 0 -1 4194304 385 6296 0 0 0 1 131 4 18 0 1 0 1016786162 2473984 277 4294967295 134512640 135169312 3213317056 3213313272 3085356782 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/11738/statm: 604 277 235 161 0 43 0
[pid=11745] ppid=11738 vsize=20212 CPUtime=160.97
/proc/11745/stat : 11745 (minisat_static) R 11738 11738 10114 0 -1 4202496 4909 0 0 0 16090 7 0 0 25 0 1 0 1016786298 20697088 4809 4294967295 134512640 135215339 3220845376 3220843664 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/11745/statm: 5053 4809 73 172 0 4880 0
Current children cumulated CPU time (s) 162.33
Current children cumulated vsize (KiB) 22628
[startup+222.31 s]
/proc/loadavg: 0.99 1.00 1.00 3/95 12497
/proc/meminfo: memFree=1155816/2074464 swapFree=1950884/1959888
[pid=11738] ppid=11736 vsize=2416 CPUtime=1.36
/proc/11738/stat : 11738 (SatELiteGTI) S 11736 11738 10114 0 -1 4194304 385 6296 0 0 0 1 131 4 18 0 1 0 1016786162 2473984 277 4294967295 134512640 135169312 3213317056 3213313272 3085356782 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/11738/statm: 604 277 235 161 0 43 0
[pid=11745] ppid=11738 vsize=20488 CPUtime=220.97
/proc/11745/stat : 11745 (minisat_static) R 11738 11738 10114 0 -1 4202496 4987 0 0 0 22090 7 0 0 25 0 1 0 1016786298 20979712 4887 4294967295 134512640 135215339 3220845376 3220843664 134528728 0 0 0 3 0 0 0 17 2 0 0 0
/proc/11745/statm: 5122 4887 73 172 0 4949 0
Current children cumulated CPU time (s) 222.33
Current children cumulated vsize (KiB) 22904
[startup+282.307 s]
/proc/loadavg: 0.99 1.00 1.00 3/95 12683
/proc/meminfo: memFree=1155732/2074464 swapFree=1950884/1959888
[pid=11738] ppid=11736 vsize=2416 CPUtime=1.36
/proc/11738/stat : 11738 (SatELiteGTI) S 11736 11738 10114 0 -1 4194304 385 6296 0 0 0 1 131 4 18 0 1 0 1016786162 2473984 277 4294967295 134512640 135169312 3213317056 3213313272 3085356782 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/11738/statm: 604 277 235 161 0 43 0
[pid=11745] ppid=11738 vsize=20652 CPUtime=280.97
/proc/11745/stat : 11745 (minisat_static) R 11738 11738 10114 0 -1 4202496 5030 0 0 0 28090 7 0 0 25 0 1 0 1016786298 21147648 4930 4294967295 134512640 135215339 3220845376 3220843664 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/11745/statm: 5163 4930 73 172 0 4990 0
Current children cumulated CPU time (s) 282.33
Current children cumulated vsize (KiB) 23068
[startup+342.314 s]
/proc/loadavg: 0.99 1.00 1.00 3/95 12876
/proc/meminfo: memFree=1155080/2074464 swapFree=1950884/1959888
[pid=11738] ppid=11736 vsize=2416 CPUtime=1.36
/proc/11738/stat : 11738 (SatELiteGTI) S 11736 11738 10114 0 -1 4194304 385 6296 0 0 0 1 131 4 18 0 1 0 1016786162 2473984 277 4294967295 134512640 135169312 3213317056 3213313272 3085356782 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/11738/statm: 604 277 235 161 0 43 0
[pid=11745] ppid=11738 vsize=21128 CPUtime=340.98
/proc/11745/stat : 11745 (minisat_static) R 11738 11738 10114 0 -1 4202496 5108 0 0 0 34091 7 0 0 25 0 1 0 1016786298 21635072 5008 4294967295 134512640 135215339 3220845376 3220843664 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/11745/statm: 5282 5008 73 172 0 5109 0
Current children cumulated CPU time (s) 342.34
Current children cumulated vsize (KiB) 23544
[startup+402.311 s]
/proc/loadavg: 0.99 1.00 1.00 3/95 13065
/proc/meminfo: memFree=1154872/2074464 swapFree=1950884/1959888
[pid=11738] ppid=11736 vsize=2416 CPUtime=1.36
/proc/11738/stat : 11738 (SatELiteGTI) S 11736 11738 10114 0 -1 4194304 385 6296 0 0 0 1 131 4 18 0 1 0 1016786162 2473984 277 4294967295 134512640 135169312 3213317056 3213313272 3085356782 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/11738/statm: 604 277 235 161 0 43 0
[pid=11745] ppid=11738 vsize=21284 CPUtime=400.98
/proc/11745/stat : 11745 (minisat_static) R 11738 11738 10114 0 -1 4202496 5149 0 0 0 40087 11 0 0 25 0 1 0 1016786298 21794816 5049 4294967295 134512640 135215339 3220845376 3220843664 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/11745/statm: 5321 5049 73 172 0 5148 0
Current children cumulated CPU time (s) 402.34
Current children cumulated vsize (KiB) 23700
[startup+462.319 s]
/proc/loadavg: 0.99 1.00 1.00 2/95 13254
/proc/meminfo: memFree=1154492/2074464 swapFree=1950884/1959888
[pid=11738] ppid=11736 vsize=2416 CPUtime=1.36
/proc/11738/stat : 11738 (SatELiteGTI) S 11736 11738 10114 0 -1 4194304 385 6296 0 0 0 1 131 4 18 0 1 0 1016786162 2473984 277 4294967295 134512640 135169312 3213317056 3213313272 3085356782 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/11738/statm: 604 277 235 161 0 43 0
[pid=11745] ppid=11738 vsize=21284 CPUtime=460.99
/proc/11745/stat : 11745 (minisat_static) R 11738 11738 10114 0 -1 4202496 5149 0 0 0 46088 11 0 0 25 0 1 0 1016786298 21794816 5049 4294967295 134512640 135215339 3220845376 3220843664 134528673 0 0 0 3 0 0 0 17 2 0 0 0
/proc/11745/statm: 5321 5049 73 172 0 5148 0
Current children cumulated CPU time (s) 462.35
Current children cumulated vsize (KiB) 23700
[startup+522.326 s]
/proc/loadavg: 0.99 1.00 1.00 2/95 13442
/proc/meminfo: memFree=1154212/2074464 swapFree=1950884/1959888
[pid=11738] ppid=11736 vsize=2416 CPUtime=1.36
/proc/11738/stat : 11738 (SatELiteGTI) S 11736 11738 10114 0 -1 4194304 385 6296 0 0 0 1 131 4 18 0 1 0 1016786162 2473984 277 4294967295 134512640 135169312 3213317056 3213313272 3085356782 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/11738/statm: 604 277 235 161 0 43 0
[pid=11745] ppid=11738 vsize=21420 CPUtime=521
/proc/11745/stat : 11745 (minisat_static) R 11738 11738 10114 0 -1 4202496 5201 0 0 0 52089 11 0 0 25 0 1 0 1016786298 21934080 5101 4294967295 134512640 135215339 3220845376 3220843664 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/11745/statm: 5355 5101 73 172 0 5182 0
Current children cumulated CPU time (s) 522.36
Current children cumulated vsize (KiB) 23836
Solver just ended. Dumping a history of the last processes samples
[startup+524.726 s]
/proc/loadavg: 0.99 1.00 1.00 2/95 13442
/proc/meminfo: memFree=1154244/2074464 swapFree=1950884/1959888
[pid=11738] ppid=11736 vsize=2416 CPUtime=1.36
/proc/11738/stat : 11738 (SatELiteGTI) S 11736 11738 10114 0 -1 4194304 385 6296 0 0 0 1 131 4 18 0 1 0 1016786162 2473984 277 4294967295 134512640 135169312 3213317056 3213313272 3085356782 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/11738/statm: 604 277 235 161 0 43 0
[pid=11745] ppid=11738 vsize=21420 CPUtime=523.4
/proc/11745/stat : 11745 (minisat_static) R 11738 11738 10114 0 -1 4202496 5202 0 0 0 52329 11 0 0 25 0 1 0 1016786298 21934080 5102 4294967295 134512640 135215339 3220845376 3220843664 134529080 0 0 0 3 0 0 0 17 2 0 0 0
/proc/11745/statm: 5355 5102 73 172 0 5182 0
Current children cumulated CPU time (s) 524.76
Current children cumulated vsize (KiB) 23836
[startup+537.515 s]
/proc/loadavg: 0.99 1.00 1.00 2/95 13443
/proc/meminfo: memFree=1154308/2074464 swapFree=1950884/1959888
[pid=11738] ppid=11736 vsize=2416 CPUtime=1.36
/proc/11738/stat : 11738 (SatELiteGTI) S 11736 11738 10114 0 -1 4194304 385 6296 0 0 0 1 131 4 18 0 1 0 1016786162 2473984 277 4294967295 134512640 135169312 3213317056 3213313272 3085356782 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/11738/statm: 604 277 235 161 0 43 0
[pid=11745] ppid=11738 vsize=21420 CPUtime=536.19
/proc/11745/stat : 11745 (minisat_static) R 11738 11738 10114 0 -1 4202496 5202 0 0 0 53608 11 0 0 25 0 1 0 1016786298 21934080 5102 4294967295 134512640 135215339 3220845376 3220843664 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/11745/statm: 5355 5102 73 172 0 5182 0
Current children cumulated CPU time (s) 537.55
Current children cumulated vsize (KiB) 23836
[startup+540.715 s]
/proc/loadavg: 0.99 1.00 1.00 2/95 13443
/proc/meminfo: memFree=1154332/2074464 swapFree=1950884/1959888
[pid=11738] ppid=11736 vsize=2416 CPUtime=1.36
/proc/11738/stat : 11738 (SatELiteGTI) S 11736 11738 10114 0 -1 4194304 385 6296 0 0 0 1 131 4 18 0 1 0 1016786162 2473984 277 4294967295 134512640 135169312 3213317056 3213313272 3085356782 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/11738/statm: 604 277 235 161 0 43 0
[pid=11745] ppid=11738 vsize=21420 CPUtime=539.39
/proc/11745/stat : 11745 (minisat_static) R 11738 11738 10114 0 -1 4202496 5202 0 0 0 53928 11 0 0 25 0 1 0 1016786298 21934080 5102 4294967295 134512640 135215339 3220845376 3220843664 134528700 0 0 0 3 0 0 0 17 2 0 0 0
/proc/11745/statm: 5355 5102 73 172 0 5182 0
Current children cumulated CPU time (s) 540.75
Current children cumulated vsize (KiB) 23836
[startup+542.315 s]
/proc/loadavg: 0.99 1.00 1.00 2/95 13443
/proc/meminfo: memFree=1154332/2074464 swapFree=1950884/1959888
[pid=11738] ppid=11736 vsize=2416 CPUtime=1.36
/proc/11738/stat : 11738 (SatELiteGTI) S 11736 11738 10114 0 -1 4194304 385 6296 0 0 0 1 131 4 18 0 1 0 1016786162 2473984 277 4294967295 134512640 135169312 3213317056 3213313272 3085356782 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/11738/statm: 604 277 235 161 0 43 0
[pid=11745] ppid=11738 vsize=21420 CPUtime=540.99
/proc/11745/stat : 11745 (minisat_static) R 11738 11738 10114 0 -1 4202496 5202 0 0 0 54088 11 0 0 25 0 1 0 1016786298 21934080 5102 4294967295 134512640 135215339 3220845376 3220843664 134529051 0 0 0 3 0 0 0 17 2 0 0 0
/proc/11745/statm: 5355 5102 73 172 0 5182 0
Current children cumulated CPU time (s) 542.35
Current children cumulated vsize (KiB) 23836
[startup+543.115 s]
/proc/loadavg: 0.99 1.00 1.00 2/95 13443
/proc/meminfo: memFree=1154332/2074464 swapFree=1950884/1959888
[pid=11738] ppid=11736 vsize=2416 CPUtime=1.36
/proc/11738/stat : 11738 (SatELiteGTI) S 11736 11738 10114 0 -1 4194304 385 6296 0 0 0 1 131 4 18 0 1 0 1016786162 2473984 277 4294967295 134512640 135169312 3213317056 3213313272 3085356782 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/11738/statm: 604 277 235 161 0 43 0
[pid=11745] ppid=11738 vsize=21420 CPUtime=541.79
/proc/11745/stat : 11745 (minisat_static) R 11738 11738 10114 0 -1 4202496 5202 0 0 0 54168 11 0 0 25 0 1 0 1016786298 21934080 5102 4294967295 134512640 135215339 3220845376 3220843664 134528728 0 0 0 3 0 0 0 17 2 0 0 0
/proc/11745/statm: 5355 5102 73 172 0 5182 0
Current children cumulated CPU time (s) 543.15
Current children cumulated vsize (KiB) 23836
[startup+543.915 s]
/proc/loadavg: 0.99 1.00 1.00 2/95 13443
/proc/meminfo: memFree=1154332/2074464 swapFree=1950884/1959888
[pid=11738] ppid=11736 vsize=2416 CPUtime=1.36
/proc/11738/stat : 11738 (SatELiteGTI) S 11736 11738 10114 0 -1 4194304 385 6296 0 0 0 1 131 4 18 0 1 0 1016786162 2473984 277 4294967295 134512640 135169312 3213317056 3213313272 3085356782 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/11738/statm: 604 277 235 161 0 43 0
[pid=11745] ppid=11738 vsize=21420 CPUtime=542.59
/proc/11745/stat : 11745 (minisat_static) R 11738 11738 10114 0 -1 4202496 5202 0 0 0 54248 11 0 0 25 0 1 0 1016786298 21934080 5102 4294967295 134512640 135215339 3220845376 3220843664 134528691 0 0 0 3 0 0 0 17 2 0 0 0
/proc/11745/statm: 5355 5102 73 172 0 5182 0
Current children cumulated CPU time (s) 543.95
Current children cumulated vsize (KiB) 23836
[startup+544.115 s]
/proc/loadavg: 0.99 1.00 1.00 2/95 13443
/proc/meminfo: memFree=1154332/2074464 swapFree=1950884/1959888
[pid=11738] ppid=11736 vsize=2416 CPUtime=1.36
/proc/11738/stat : 11738 (SatELiteGTI) S 11736 11738 10114 0 -1 4194304 385 6296 0 0 0 1 131 4 18 0 1 0 1016786162 2473984 277 4294967295 134512640 135169312 3213317056 3213313272 3085356782 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/11738/statm: 604 277 235 161 0 43 0
[pid=11745] ppid=11738 vsize=21420 CPUtime=542.79
/proc/11745/stat : 11745 (minisat_static) R 11738 11738 10114 0 -1 4202496 5202 0 0 0 54268 11 0 0 25 0 1 0 1016786298 21934080 5102 4294967295 134512640 135215339 3220845376 3220843664 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/11745/statm: 5355 5102 73 172 0 5182 0
Current children cumulated CPU time (s) 544.15
Current children cumulated vsize (KiB) 23836
Child status: 20
Real time (s): 544.187
CPU time (s): 544.22
CPU user time (s): 544.05
CPU system time (s): 0.17
CPU usage (%): 100.006
Max. virtual memory (cumulated for all children) (KiB): 28000
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 544.05
system time used= 0.17
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 12165
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 22
involuntary context switches= 335
runsolver used 0.01 second user time and 0.02 second system time
The end
Begin job on tipi13 at 2009-05-17 03:14:13
IDJOB=1821382
IDBENCH=70947
IDSOLVER=657
FILE ID=tipi13/1821382-1242522853
PBS_JOBID=
Free space on /tmp= 7053 MiB
SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT09/APPLICATIONS/bioinfo/q_query_3_l48_lambda.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= runsolver --timestamp -w /tmp/evaluation-result-1821382-1242522853/watcher-1821382-1242522853 -o /tmp/evaluation-result-1821382-1242522853/solver-1821382-1242522853 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1821382-1242522853.cnf
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= e7c28f6a200a1c1912fbaacfb3572515
RANDOM SEED= 1838937528
Linux tipi13 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.475
cache size : 1024 KB
physical id : 0
siblings : 2
core id : 0
cpu cores : 2
fdiv_bug : no
hlt_bug : no
f00f_bug : no
coma_bug : no
fpu : yes
fpu_exception : yes
cpuid level : 1
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt lm 3dnowext 3dnow pni lahf_lm cmp_legacy ts fid vid ttp
bogomips : 3618.37
processor : 1
vendor_id : AuthenticAMD
cpu family : 15
model : 33
model name : Dual Core AMD Opteron(tm) Processor 265
stepping : 2
cpu MHz : 1808.475
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.78
processor : 2
vendor_id : AuthenticAMD
cpu family : 15
model : 33
model name : Dual Core AMD Opteron(tm) Processor 265
stepping : 2
cpu MHz : 1808.475
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.475
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.78
/proc/meminfo:
MemTotal: 2074464 kB
MemFree: 1178716 kB
Buffers: 44412 kB
Cached: 758256 kB
SwapCached: 3516 kB
Active: 353292 kB
Inactive: 458800 kB
HighTotal: 1178688 kB
HighFree: 444228 kB
LowTotal: 895776 kB
LowFree: 734488 kB
SwapTotal: 1959888 kB
SwapFree: 1950884 kB
Dirty: 5012 kB
Writeback: 0 kB
AnonPages: 8780 kB
Mapped: 3016 kB
Slab: 74712 kB
PageTables: 468 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 2997120 kB
Committed_AS: 90592 kB
VmallocTotal: 114680 kB
VmallocUsed: 1324 kB
VmallocChunk: 113264 kB
Free space on /tmp at the end= 7053 MiB
End job on tipi13 at 2009-05-17 03:23:18