0.00/0.00 c Parsing...
2.98/3.00 c ==============================================================================
2.98/3.00 c | | ORIGINAL | LEARNT | |
2.98/3.00 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress |
2.98/3.00 c ==============================================================================
2.98/3.00 c | 0 | 3355019 9898785 | 1006505 0 0 nan | 0.000 % |
122.75/122.82 c | 0 | 1504771 5219166 | -- 0 -- -- | -- | -1498875/-3723973
122.75/122.84 c ==============================================================================
122.75/122.84 c Result : #vars: 146997 #clauses: 1504771 #literals: 5219166
122.75/122.84 c CPU time: 121.986 s
122.75/122.84 c ==============================================================================
124.65/124.71 c This is MiniSat 2.0 beta
124.65/124.71 c WARNING: for repeatability, setting FPU to use double precision
124.65/124.71 c ============================[ Problem Statistics ]=============================
124.65/124.71 c | |
124.65/124.71 c | Number of variables: 146997 |
124.65/124.71 c | Number of clauses: 1504771 |
125.55/125.60 c | Parsing time: 0.79 s |
125.55/125.66 c ============================[ Search Statistics ]==============================
125.55/125.66 c | Conflicts | ORIGINAL | LEARNT | Progress |
125.55/125.66 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
125.55/125.66 c ===============================================================================
125.55/125.66 c | 0 | 146997 1504771 5219166 | 501590 0 nan | 0.000 % |
125.64/125.70 c | 100 | 146991 1504771 5219166 | 501590 98 6 | 0.041 % |
125.74/125.86 c | 202 | 146988 1504771 5219166 | 501590 199 12 | 0.050 % |
125.74/125.88 c | 302 | 146987 1504771 5219166 | 501590 298 11 | 0.051 % |
125.84/125.90 c | 412 | 146987 1504771 5219166 | 501590 408 10 | 0.051 % |
125.84/125.91 c | 513 | 146987 1504771 5219166 | 501590 509 10 | 0.051 % |
125.84/125.92 c | 623 | 146987 1504771 5219166 | 501590 619 10 | 0.051 % |
125.84/125.94 c | 744 | 146981 1504771 5219166 | 501590 739 10 | 0.116 % |
125.84/125.95 c | 844 | 146981 1504771 5219166 | 501590 839 10 | 0.116 % |
125.84/125.96 c | 956 | 146974 1504771 5219166 | 501590 950 10 | 0.135 % |
125.84/125.97 c | 1077 | 146957 1504771 5219166 | 501590 1069 10 | 0.176 % |
125.84/125.99 c | 1210 | 146951 1504771 5219166 | 501590 1202 10 | 0.176 % |
125.94/126.00 c | 1310 | 146951 1504771 5219166 | 501590 1302 10 | 0.176 % |
125.94/126.01 c | 1420 | 146951 1504771 5219166 | 501590 1412 11 | 0.176 % |
125.94/126.06 c | 1541 | 146951 1504771 5219166 | 501590 1533 11 | 0.176 % |
125.94/126.08 c | 1674 | 146946 1504771 5219166 | 501590 1662 11 | 0.184 % |
126.04/126.12 c | 1821 | 146946 1504771 5219166 | 501590 1809 10 | 0.184 % |
126.04/126.14 c | 1921 | 146946 1504771 5219166 | 501590 1908 10 | 0.193 % |
126.04/126.19 c | 2031 | 146946 1504771 5219166 | 501590 2018 10 | 0.193 % |
126.14/126.22 c | 2153 | 146889 1504771 5219166 | 501590 2139 10 | 0.212 % |
126.14/126.24 c | 2286 | 146889 1504771 5219166 | 501590 2272 10 | 0.212 % |
126.74/126.85 c | 2433 | 146889 1504771 5219166 | 501590 2419 10 | 0.212 % |
127.34/127.48 c | 2594 | 146889 1504771 5219166 | 501590 2580 10 | 0.212 % |
127.64/127.75 c | 2694 | 146889 1504771 5219166 | 501590 2680 10 | 0.212 % |
127.64/127.78 c | 2805 | 146874 1504771 5219166 | 501590 2790 10 | 0.247 % |
127.74/127.83 c | 2926 | 146861 1504771 5219166 | 501590 2911 10 | 0.247 % |
127.74/127.89 c | 3060 | 146861 1504771 5219166 | 501590 3045 10 | 0.247 % |
127.84/127.90 c | 3209 | 146861 1504771 5219166 | 501590 3194 10 | 0.247 % |
127.94/128.05 c | 3370 | 146856 1504771 5219166 | 501590 3354 10 | 0.253 % |
128.04/128.13 c | 3547 | 146856 1504771 5219166 | 501590 3531 10 | 0.253 % |
128.04/128.14 c | 3647 | 146856 1504771 5219166 | 501590 3631 10 | 0.253 % |
128.04/128.16 c | 3757 | 146856 1504771 5219166 | 501590 3741 10 | 0.253 % |
128.04/128.18 c | 3879 | 146856 1504771 5219166 | 501590 3863 11 | 0.253 % |
128.04/128.19 c | 4013 | 146856 1504771 5219166 | 501590 3997 11 | 0.253 % |
128.14/128.20 c | 4159 | 146855 1504771 5219166 | 501590 4142 11 | 0.255 % |
128.14/128.24 c | 4319 | 146855 1504771 5219166 | 501590 4302 11 | 0.255 % |
128.14/128.25 c | 4497 | 146855 1504771 5219166 | 501590 4480 11 | 0.255 % |
128.14/128.29 c | 4693 | 146855 1504771 5219166 | 501590 4676 11 | 0.255 % |
128.24/128.35 c | 4793 | 146855 1504771 5219166 | 501590 4776 11 | 0.255 % |
128.24/128.36 c | 4903 | 146855 1504771 5219166 | 501590 4886 11 | 0.255 % |
128.34/128.40 c | 5024 | 146855 1504771 5219166 | 501590 5007 11 | 0.255 % |
128.34/128.43 c | 5158 | 146855 1504771 5219166 | 501590 5141 11 | 0.255 % |
128.34/128.49 c | 5305 | 146855 1504771 5219166 | 501590 5288 11 | 0.255 % |
128.44/128.50 c | 5466 | 146855 1504771 5219166 | 501590 5449 11 | 0.255 % |
128.44/128.52 c | 5642 | 146855 1504771 5219166 | 501590 5625 11 | 0.255 % |
128.44/128.54 c | 5835 | 146854 1504771 5219166 | 501590 5817 11 | 0.257 % |
128.54/128.60 c | 6048 | 146803 1504771 5219166 | 501590 6021 11 | 0.362 % |
128.54/128.64 c | 6148 | 146756 1504771 5219166 | 501590 6120 11 | 0.380 % |
128.54/128.68 c | 6260 | 146756 1504771 5219166 | 501590 6232 11 | 0.380 % |
128.64/128.73 c | 6381 | 146756 1504771 5219166 | 501590 6353 11 | 0.380 % |
128.64/128.74 c | 6515 | 146756 1504771 5219166 | 501590 6487 11 | 0.380 % |
128.74/128.86 c | 6661 | 146756 1504771 5219166 | 501590 6633 11 | 0.380 % |
128.74/128.88 c | 6821 | 146756 1504771 5219166 | 501590 6793 11 | 0.380 % |
128.84/128.91 c | 6999 | 146756 1504771 5219166 | 501590 6971 11 | 0.380 % |
128.84/128.95 c | 7192 | 146756 1504771 5219166 | 501590 7164 11 | 0.380 % |
128.84/128.97 c | 7405 | 146756 1504771 5219166 | 501590 7377 11 | 0.380 % |
128.84/128.99 c | 7638 | 146756 1504771 5219166 | 501590 7610 12 | 0.380 % |
128.94/129.00 c | 7739 | 146756 1504771 5219166 | 501590 7711 12 | 0.380 % |
128.94/129.05 c | 7850 | 146756 1504771 5219166 | 501590 7822 12 | 0.380 % |
128.94/129.07 c | 7971 | 146756 1504771 5219166 | 501590 7943 12 | 0.380 % |
128.94/129.09 c | 8104 | 146755 1504771 5219166 | 501590 8075 12 | 0.382 % |
129.04/129.11 c | 8252 | 146755 1504771 5219166 | 501590 8223 12 | 0.382 % |
129.04/129.15 c | 8415 | 146755 1504771 5219166 | 501590 8386 12 | 0.382 % |
129.24/129.35 c | 8592 | 146721 1504771 5219166 | 501590 8561 12 | 0.386 % |
129.45/129.50 c | 8785 | 146719 1504771 5219166 | 501590 8754 12 | 0.386 % |
129.45/129.54 c | 8999 | 146719 1504771 5219166 | 501590 8968 12 | 0.386 % |
129.45/129.58 c | 9232 | 146719 1504771 5219166 | 501590 9201 12 | 0.386 % |
129.54/129.63 c | 9488 | 146719 1504771 5219166 | 501590 9457 12 | 0.386 % |
129.54/129.65 c | 9589 | 146719 1504771 5219166 | 501590 9558 12 | 0.386 % |
129.54/129.66 c | 9701 | 146719 1504771 5219166 | 501590 9670 12 | 0.386 % |
129.54/129.68 c | 9822 | 146719 1504771 5219166 | 501590 9791 12 | 0.386 % |
129.65/129.70 c | 9956 | 146719 1504771 5219166 | 501590 9925 12 | 0.386 % |
129.65/129.73 c | 10102 | 146719 1504771 5219166 | 2147483647 10071 12 | 0.386 % |
129.65/129.75 c | 10264 | 146719 1504771 5219166 | 2147483647 10233 12 | 0.386 % |
129.65/129.77 c | 10440 | 146719 1504771 5219166 | 2147483647 10409 12 | 0.386 % |
129.84/129.92 c | 10633 | 146429 1447401 4889069 | 2147483647 10166 12 | 0.386 % |
129.84/129.95 c | 10845 | 146429 1447401 4889069 | 2147483647 10378 12 | 0.386 % |
129.84/129.98 c | 11078 | 146429 1447401 4889069 | 2147483647 10611 12 | 0.386 % |
129.94/130.00 c | 11335 | 146429 1447401 4889069 | 2147483647 10868 12 | 0.386 % |
129.94/130.06 c | 11618 | 146429 1447401 4889069 | 2147483647 11151 12 | 0.386 % |
129.94/130.08 c | 11718 | 146429 1447401 4889069 | 2147483647 11251 12 | 0.386 % |
130.04/130.10 c | 11828 | 146429 1447401 4889069 | 2147483647 11361 12 | 0.386 % |
130.04/130.11 c | 11949 | 146429 1447401 4889069 | 2147483647 11482 12 | 0.386 % |
130.04/130.14 c | 12083 | 146429 1447401 4889069 | 2147483647 11616 12 | 0.386 % |
130.04/130.16 c | 12229 | 146429 1447401 4889069 | 2147483647 11762 12 | 0.386 % |
130.04/130.19 c | 12389 | 146429 1447401 4889069 | 2147483647 11922 12 | 0.386 % |
130.14/130.21 c | 12565 | 146429 1447401 4889069 | 2147483647 12098 12 | 0.386 % |
130.14/130.24 c | 12759 | 146429 1447401 4889069 | 2147483647 12292 13 | 0.386 % |
130.14/130.28 c | 12972 | 146429 1447401 4889069 | 2147483647 12505 13 | 0.386 % |
130.24/130.33 c | 13205 | 146429 1447401 4889069 | 2147483647 12738 13 | 0.386 % |
130.24/130.37 c | 13461 | 146429 1447401 4889069 | 2147483647 12994 13 | 0.386 % |
130.34/130.40 c | 13745 | 146429 1447401 4889069 | 2147483647 13278 13 | 0.386 % |
130.34/130.46 c | 14057 | 146429 1447401 4889069 | 2147483647 13590 13 | 0.386 % |
130.34/130.48 c | 14157 | 146429 1447401 4889069 | 2147483647 13690 13 | 0.386 % |
130.34/130.49 c | 14268 | 146429 1447401 4889069 | 2147483647 13801 13 | 0.386 % |
130.44/130.52 c | 14389 | 146429 1447401 4889069 | 2147483647 13922 13 | 0.386 % |
130.44/130.53 c | 14524 | 146429 1447401 4889069 | 2147483647 14057 13 | 0.386 % |
130.44/130.54 c | 14670 | 146429 1447401 4889069 | 2147483647 14203 13 | 0.386 % |
130.44/130.56 c | 14831 | 146429 1447401 4889069 | 2147483647 14364 13 | 0.386 % |
130.44/130.58 c | 15007 | 146429 1447401 4889069 | 2147483647 14540 13 | 0.386 % |
130.54/130.62 c | 15200 | 146429 1447401 4889069 | 2147483647 14733 13 | 0.386 % |
130.54/130.65 c | 15413 | 146429 1447401 4889069 | 2147483647 14946 13 | 0.386 % |
130.54/130.69 c | 15647 | 146429 1447401 4889069 | 2147483647 15180 13 | 0.386 % |
130.64/130.73 c | 15903 | 146429 1447401 4889069 | 2147483647 15436 13 | 0.386 % |
130.64/130.78 c | 16185 | 146428 1447401 4889069 | 2147483647 15717 13 | 0.388 % |
130.75/130.81 c | 16495 | 146428 1447401 4889069 | 2147483647 16027 13 | 0.388 % |
130.75/130.85 c | 16834 | 146428 1447401 4889069 | 2147483647 16366 13 | 0.388 % |
130.75/130.86 c | 16936 | 146428 1447401 4889069 | 2147483647 16468 13 | 0.388 % |
130.75/130.87 c | 17047 | 146428 1447401 4889069 | 2147483647 16579 13 | 0.388 % |
130.75/130.88 c | 17169 | 146428 1447401 4889069 | 2147483647 16701 13 | 0.388 % |
130.75/130.90 c | 17305 | 146428 1447401 4889069 | 2147483647 16837 13 | 0.388 % |
130.85/130.91 c | 17451 | 146428 1447401 4889069 | 2147483647 16983 13 | 0.388 % |
130.85/130.93 c | 17612 | 146428 1447401 4889069 | 2147483647 17144 13 | 0.388 % |
130.85/130.95 c | 17788 | 146428 1447401 4889069 | 2147483647 17320 13 | 0.388 % |
130.85/130.98 c | 17981 | 146428 1447401 4889069 | 2147483647 17513 13 | 0.388 % |
130.94/131.01 c | 18193 | 146428 1447401 4889069 | 2147483647 17725 13 | 0.388 % |
130.94/131.04 c | 18426 | 146428 1447401 4889069 | 2147483647 17958 13 | 0.388 % |
130.94/131.07 c | 18683 | 146428 1447401 4889069 | 2147483647 18215 13 | 0.388 % |
131.04/131.10 c | 18964 | 146428 1447401 4889069 | 2147483647 18496 13 | 0.388 % |
131.04/131.16 c | 19274 | 146428 1447401 4889069 | 2147483647 18806 13 | 0.388 % |
131.14/131.21 c | 19616 | 146428 1447401 4889069 | 2147483647 19148 14 | 0.388 % |
131.14/131.26 c | 19988 | 146427 1447401 4889069 | 2147483647 19520 14 | 0.388 % |
131.14/131.29 c | 20088 | 146427 1447401 4889069 | 2147483647 19620 14 | 0.388 % |
131.24/131.30 c | 20200 | 146427 1447401 4889069 | 2147483647 19732 14 | 0.388 % |
131.24/131.31 c | 20321 | 146427 1447401 4889069 | 2147483647 19853 14 | 0.388 % |
131.24/131.33 c | 20454 | 146427 1447401 4889069 | 2147483647 19986 14 | 0.388 % |
131.24/131.34 c | 20601 | 146427 1447401 4889069 | 2147483647 20133 14 | 0.388 % |
131.24/131.36 c | 20761 | 146425 1447401 4889069 | 2147483647 20292 14 | 0.390 % |
131.24/131.39 c | 20939 | 146425 1447401 4889069 | 2147483647 20470 14 | 0.390 % |
131.34/131.41 c | 21132 | 146425 1447401 4889069 | 2147483647 20663 14 | 0.390 % |
131.34/131.44 c | 21345 | 146425 1447401 4889069 | 2147483647 20876 14 | 0.390 % |
131.34/131.46 c | 21580 | 146425 1447401 4889069 | 2147483647 21111 14 | 0.390 % |
131.34/131.49 c | 21838 | 146425 1447401 4889069 | 2147483647 21369 14 | 0.390 % |
131.44/131.53 c | 22119 | 146425 1447401 4889069 | 2147483647 21650 14 | 0.390 % |
131.44/131.57 c | 22429 | 146425 1447401 4889069 | 2147483647 21960 14 | 0.390 % |
131.54/131.61 c | 22770 | 146425 1447401 4889069 | 2147483647 22301 14 | 0.390 % |
131.54/131.67 c | 23142 | 146425 1447401 4889069 | 2147483647 22673 14 | 0.390 % |
131.64/131.72 c | 23553 | 146425 1447401 4889069 | 2147483647 23084 14 | 0.390 % |
131.64/131.74 c | 23653 | 146425 1447401 4889069 | 2147483647 23184 14 | 0.390 % |
131.64/131.77 c | 23764 | 146425 1447401 4889069 | 2147483647 23295 14 | 0.390 % |
131.64/131.79 c | 23886 | 146425 1447401 4889069 | 2147483647 23417 14 | 0.390 % |
131.74/131.81 c | 24019 | 146425 1447401 4889069 | 2147483647 23550 14 | 0.390 % |
131.74/131.84 c | 24165 | 146425 1447401 4889069 | 2147483647 23696 14 | 0.390 % |
131.74/131.87 c | 24326 | 146425 1447401 4889069 | 2147483647 23857 14 | 0.390 % |
131.84/131.90 c | 24502 | 146425 1447401 4889069 | 2147483647 24033 14 | 0.390 % |
131.84/131.95 c | 24695 | 146425 1447401 4889069 | 2147483647 24226 14 | 0.390 % |
131.84/131.99 c | 24907 | 146425 1447401 4889069 | 2147483647 24438 15 | 0.390 % |
131.94/132.06 c | 25140 | 146424 1447401 4889069 | 2147483647 24671 15 | 0.390 % |
132.04/132.13 c | 25398 | 146424 1447401 4889069 | 2147483647 24929 15 | 0.390 % |
132.04/132.20 c | 25679 | 146424 1447401 4889069 | 2147483647 25210 15 | 0.390 % |
132.14/132.26 c | 25988 | 146424 1447401 4889069 | 2147483647 25519 15 | 0.390 % |
132.24/132.33 c | 26329 | 146424 1447401 4889069 | 2147483647 25860 15 | 0.390 % |
132.34/132.40 c | 26701 | 146424 1447401 4889069 | 2147483647 26232 15 | 0.390 % |
132.34/132.49 c | 27110 | 146424 1447401 4889069 | 2147483647 26641 15 | 0.390 % |
132.54/132.60 c | 27561 | 146424 1447401 4889069 | 2147483647 27092 15 | 0.390 % |
132.54/132.62 c | 27662 | 146424 1447401 4889069 | 2147483647 27193 15 | 0.390 % |
132.54/132.64 c | 27773 | 146424 1447401 4889069 | 2147483647 27304 15 | 0.390 % |
132.54/132.66 c | 27895 | 146424 1447401 4889069 | 2147483647 27426 15 | 0.390 % |
132.54/132.68 c | 28029 | 146424 1447401 4889069 | 2147483647 27560 15 | 0.390 % |
132.64/132.72 c | 28175 | 146424 1447401 4889069 | 2147483647 27706 16 | 0.390 % |
132.64/132.75 c | 28336 | 146424 1447401 4889069 | 2147483647 27867 16 | 0.390 % |
132.64/132.79 c | 28516 | 146424 1447401 4889069 | 2147483647 28047 16 | 0.390 % |
132.74/132.82 c | 28710 | 146424 1447401 4889069 | 2147483647 28241 16 | 0.390 % |
132.74/132.88 c | 28922 | 146424 1447401 4889069 | 2147483647 28453 16 | 0.390 % |
132.84/132.93 c | 29157 | 146424 1447401 4889069 | 2147483647 28688 16 | 0.390 % |
132.94/133.00 c | 29413 | 146424 1447401 4889069 | 2147483647 28944 16 | 0.390 % |
132.94/133.07 c | 29694 | 146424 1447401 4889069 | 2147483647 29225 16 | 0.390 % |
133.04/133.13 c | 30004 | 146424 1447401 4889069 | 2147483647 29535 16 | 0.390 % |
133.04/133.18 c | 30344 | 146424 1447401 4889069 | 2147483647 29875 16 | 0.390 % |
133.14/133.24 c | 30717 | 146424 1447401 4889069 | 2147483647 30248 16 | 0.390 % |
133.24/133.32 c | 31126 | 146424 1447401 4889069 | 2147483647 30657 16 | 0.390 % |
133.24/133.40 c | 31575 | 146424 1447401 4889069 | 2147483647 31106 16 | 0.390 % |
133.44/133.57 c | 32069 | 146423 1447353 4888905 | 2147483647 31596 16 | 0.390 % |
133.44/133.60 c | 32170 | 146423 1447353 4888905 | 2147483647 31697 16 | 0.390 % |
133.54/133.63 c | 32280 | 146423 1447353 4888905 | 2147483647 31807 16 | 0.390 % |
133.54/133.66 c | 32401 | 146423 1447353 4888905 | 2147483647 31928 16 | 0.390 % |
133.54/133.69 c | 32534 | 146423 1447353 4888905 | 2147483647 32061 16 | 0.390 % |
133.64/133.73 c | 32681 | 146423 1447353 4888905 | 2147483647 32208 17 | 0.390 % |
133.64/133.75 c | 32841 | 146423 1447353 4888905 | 2147483647 32368 17 | 0.390 % |
133.64/133.79 c | 33018 | 146423 1447353 4888905 | 2147483647 32545 17 | 0.390 % |
133.74/133.81 c | 33211 | 146423 1447353 4888905 | 2147483647 32738 17 | 0.390 % |
133.74/133.84 c | 33424 | 146423 1447353 4888905 | 2147483647 32951 17 | 0.390 % |
133.74/133.90 c | 33658 | 146423 1447353 4888905 | 2147483647 33185 17 | 0.390 % |
133.84/133.94 c | 33916 | 146423 1447353 4888905 | 2147483647 33443 17 | 0.390 % |
133.94/134.02 c | 34199 | 146423 1447353 4888905 | 2147483647 33726 17 | 0.390 % |
134.04/134.11 c | 34508 | 146423 1447353 4888905 | 2147483647 34035 17 | 0.390 % |
134.04/134.17 c | 34847 | 146423 1447353 4888905 | 2147483647 34374 17 | 0.390 % |
134.14/134.25 c | 35221 | 146423 1447353 4888905 | 2147483647 34748 17 | 0.390 % |
134.24/134.32 c | 35630 | 146423 1447353 4888905 | 2147483647 35157 17 | 0.390 % |
134.34/134.41 c | 36080 | 146423 1447353 4888905 | 2147483647 35607 17 | 0.390 % |
134.43/134.55 c | 36573 | 146423 1447353 4888905 | 2147483647 36100 17 | 0.390 % |
134.53/134.65 c | 37116 | 146423 1447353 4888905 | 2147483647 36643 17 | 0.390 % |
134.53/134.67 c | 37216 | 146423 1447353 4888905 | 2147483647 36743 17 | 0.390 % |
134.53/134.69 c | 37326 | 146423 1447353 4888905 | 2147483647 36853 17 | 0.390 % |
134.63/134.72 c | 37447 | 146423 1447353 4888905 | 2147483647 36974 17 | 0.390 % |
134.63/134.74 c | 37580 | 146423 1447353 4888905 | 2147483647 37107 17 | 0.390 % |
134.63/134.77 c | 37728 | 146423 1447353 4888905 | 2147483647 37255 17 | 0.390 % |
134.73/134.81 c | 37889 | 146423 1447353 4888905 | 2147483647 37416 17 | 0.390 % |
134.73/134.85 c | 38067 | 146423 1447353 4888905 | 2147483647 37594 17 | 0.390 % |
134.83/134.92 c | 38263 | 146423 1447353 4888905 | 2147483647 37790 17 | 0.390 % |
134.83/134.96 c | 38475 | 146423 1447353 4888905 | 2147483647 38002 17 | 0.390 % |
134.94/135.02 c | 38708 | 146423 1447353 4888905 | 2147483647 38235 17 | 0.390 % |
134.94/135.08 c | 38966 | 146423 1447353 4888905 | 2147483647 38493 17 | 0.390 % |
135.04/135.16 c | 39248 | 146423 1447353 4888905 | 2147483647 38775 17 | 0.390 % |
135.15/135.24 c | 39557 | 146423 1447353 4888905 | 2147483647 39084 17 | 0.390 % |
135.25/135.33 c | 39897 | 146423 1447353 4888905 | 2147483647 39424 18 | 0.390 % |
135.34/135.42 c | 40269 | 146423 1447353 4888905 | 2147483647 39796 18 | 0.390 % |
135.44/135.52 c | 40679 | 146423 1447353 4888905 | 2147483647 40206 18 | 0.390 % |
135.54/135.61 c | 41128 | 146423 1447353 4888905 | 2147483647 40655 18 | 0.390 % |
135.64/135.72 c | 41621 | 146423 1447353 4888905 | 2147483647 41148 18 | 0.390 % |
135.74/135.85 c | 42164 | 146423 1447353 4888905 | 2147483647 41691 18 | 0.390 % |
135.84/135.98 c | 42761 | 146423 1447353 4888905 | 2147483647 42288 18 | 0.390 % |
135.94/136.01 c | 42862 | 146423 1447353 4888905 | 2147483647 42389 18 | 0.390 % |
135.94/136.03 c | 42972 | 146423 1447353 4888905 | 2147483647 42499 18 | 0.390 % |
135.94/136.07 c | 43093 | 146423 1447353 4888905 | 2147483647 42620 18 | 0.390 % |
136.04/136.13 c | 43226 | 146423 1447353 4888905 | 2147483647 42753 18 | 0.390 % |
136.04/136.18 c | 43373 | 146423 1447353 4888905 | 2147483647 42900 18 | 0.390 % |
136.14/136.26 c | 43534 | 146423 1447353 4888905 | 2147483647 43061 18 | 0.390 % |
136.25/136.31 c | 43710 | 146423 1447353 4888905 | 2147483647 43237 18 | 0.390 % |
136.25/136.38 c | 43903 | 146423 1447353 4888905 | 2147483647 43430 18 | 0.390 % |
136.35/136.43 c | 44115 | 146423 1447353 4888905 | 2147483647 43642 18 | 0.390 % |
136.35/136.50 c | 44348 | 146423 1447353 4888905 | 2147483647 43875 18 | 0.390 % |
136.54/136.61 c | 44605 | 146423 1447353 4888905 | 2147483647 44132 18 | 0.390 % |
136.54/136.69 c | 44886 | 146423 1447353 4888905 | 2147483647 44413 18 | 0.390 % |
136.64/136.78 c | 45195 | 146423 1447353 4888905 | 2147483647 44722 18 | 0.390 % |
136.74/136.87 c | 45534 | 146423 1447353 4888905 | 2147483647 45061 18 | 0.390 % |
136.84/136.97 c | 45907 | 146423 1447353 4888905 | 2147483647 45434 18 | 0.390 % |
137.04/137.11 c | 46317 | 146423 1447353 4888905 | 2147483647 45844 18 | 0.390 % |
137.14/137.24 c | 46768 | 146423 1447353 4888905 | 2147483647 46295 18 | 0.390 % |
137.34/137.40 c | 47264 | 146423 1447353 4888905 | 2147483647 46791 18 | 0.390 % |
137.44/137.55 c | 47808 | 146423 1447353 4888905 | 2147483647 47335 18 | 0.390 % |
137.64/137.79 c | 48406 | 146423 1447353 4888905 | 2147483647 47932 18 | 0.393 % |
137.94/138.02 c | 49061 | 146423 1447353 4888905 | 2147483647 48587 19 | 0.393 % |
137.94/138.05 c | 49162 | 146423 1447353 4888905 | 2147483647 48688 19 | 0.393 % |
137.94/138.08 c | 49272 | 146423 1447353 4888905 | 2147483647 48798 19 | 0.393 % |
138.04/138.11 c | 49395 | 146423 1447353 4888905 | 2147483647 48921 19 | 0.393 % |
138.04/138.15 c | 49528 | 146423 1447353 4888905 | 2147483647 49054 19 | 0.393 % |
138.04/138.19 c | 49677 | 146423 1447353 4888905 | 2147483647 49203 19 | 0.393 % |
138.14/138.25 c | 49840 | 146423 1447353 4888905 | 2147483647 49366 19 | 0.393 % |
138.24/138.39 c | 50017 | 146422 1447353 4888905 | 2147483647 49543 19 | 0.393 % |
138.34/138.47 c | 50210 | 146422 1447353 4888905 | 2147483647 49736 19 | 0.393 % |
138.44/138.53 c | 50422 | 146422 1447353 4888905 | 2147483647 49948 19 | 0.393 % |
138.54/138.69 c | 50655 | 146420 1447329 4888823 | 2147483647 50180 19 | 0.393 % |
138.64/138.76 c | 50911 | 146418 1447329 4888823 | 2147483647 50435 19 | 0.395 % |
138.84/138.90 c | 51193 | 146418 1447329 4888823 | 2147483647 50717 19 | 0.395 % |
138.94/139.03 c | 51503 | 146418 1447329 4888823 | 2147483647 51027 19 | 0.395 % |
139.04/139.17 c | 51842 | 146418 1447329 4888823 | 2147483647 51366 19 | 0.395 % |
139.14/139.24 c | 52215 | 146418 1447329 4888823 | 2147483647 51739 19 | 0.395 % |
139.24/139.34 c | 52624 | 146418 1447329 4888823 | 2147483647 52148 19 | 0.395 % |
139.34/139.48 c | 53079 | 146418 1447329 4888823 | 2147483647 52603 19 | 0.395 % |
139.54/139.63 c | 53574 | 146418 1447329 4888823 | 2147483647 53098 19 | 0.395 % |
139.74/139.82 c | 54117 | 146418 1447329 4888823 | 2147483647 53641 19 | 0.395 % |
139.84/139.99 c | 54713 | 146418 1447329 4888823 | 2147483647 54237 19 | 0.395 % |
140.14/140.20 c | 55369 | 146418 1447329 4888823 | 2147483647 54893 19 | 0.395 % |
140.34/140.43 c | 56090 | 146418 1447329 4888823 | 2147483647 55614 19 | 0.395 % |
140.34/140.48 c | 56191 | 146418 1447329 4888823 | 2147483647 55715 19 | 0.395 % |
140.44/140.53 c | 56302 | 146418 1447329 4888823 | 2147483647 55826 19 | 0.395 % |
140.44/140.57 c | 56423 | 146418 1447329 4888823 | 2147483647 55947 19 | 0.395 % |
140.54/140.62 c | 56556 | 146418 1447329 4888823 | 2147483647 56080 19 | 0.395 % |
140.64/140.70 c | 56703 | 146418 1447329 4888823 | 2147483647 56227 19 | 0.395 % |
140.64/140.75 c | 56864 | 146418 1447329 4888823 | 2147483647 56388 19 | 0.395 % |
140.84/140.92 c | 57041 | 146418 1447329 4888823 | 2147483647 56565 19 | 0.395 % |
140.94/141.04 c | 57234 | 146418 1447329 4888823 | 2147483647 56758 19 | 0.395 % |
141.04/141.11 c | 57446 | 146418 1447329 4888823 | 2147483647 56970 19 | 0.395 % |
141.14/141.23 c | 57679 | 146418 1447329 4888823 | 2147483647 57203 19 | 0.395 % |
141.24/141.33 c | 57936 | 146418 1447329 4888823 | 2147483647 57460 19 | 0.395 % |
141.34/141.46 c | 58218 | 146418 1447329 4888823 | 2147483647 57742 19 | 0.395 % |
141.44/141.57 c | 58529 | 146418 1447329 4888823 | 2147483647 58053 19 | 0.395 % |
141.64/141.72 c | 58869 | 146418 1447329 4888823 | 2147483647 58393 19 | 0.395 % |
141.74/141.86 c | 59242 | 146418 1447329 4888823 | 2147483647 58766 19 | 0.395 % |
142.04/142.11 c | 59653 | 146418 1447329 4888823 | 2147483647 59177 19 | 0.395 % |
142.14/142.24 c | 60102 | 146418 1447329 4888823 | 2147483647 59626 19 | 0.395 % |
142.34/142.45 c | 60595 | 146418 1447329 4888823 | 2147483647 60119 19 | 0.395 % |
142.54/142.69 c | 61138 | 146418 1447329 4888823 | 2147483647 60662 19 | 0.395 % |
142.94/143.01 c | 61734 | 146418 1447329 4888823 | 2147483647 61258 20 | 0.395 % |
143.23/143.30 c | 62389 | 146418 1447329 4888823 | 2147483647 61913 20 | 0.395 % |
143.33/143.45 c | 63112 | 146418 1447329 4888823 | 2147483647 62636 20 | 0.395 % |
143.43/143.55 c | 63905 | 146418 1447329 4888823 | 2147483647 63429 20 | 0.395 % |
143.43/143.58 c | 64005 | 146418 1447329 4888823 | 2147483647 63529 20 | 0.395 % |
143.53/143.61 c | 64115 | 146418 1447329 4888823 | 2147483647 63639 20 | 0.395 % |
143.53/143.64 c | 64236 | 146418 1447329 4888823 | 2147483647 63760 20 | 0.395 % |
143.53/143.68 c | 64369 | 146418 1447329 4888823 | 2147483647 63893 20 | 0.395 % |
143.63/143.70 c | 64515 | 146418 1447329 4888823 | 2147483647 64039 20 | 0.395 % |
143.63/143.76 c | 64677 | 146418 1447329 4888823 | 2147483647 64201 20 | 0.395 % |
143.73/143.80 c | 64853 | 146418 1447329 4888823 | 2147483647 64377 20 | 0.395 % |
143.73/143.88 c | 65047 | 146418 1447329 4888823 | 2147483647 64571 20 | 0.395 % |
143.83/143.99 c | 65260 | 146418 1447329 4888823 | 2147483647 64784 20 | 0.395 % |
144.04/144.16 c | 65494 | 146418 1447329 4888823 | 2147483647 65018 20 | 0.395 % |
144.13/144.24 c | 65750 | 146418 1447329 4888823 | 2147483647 65274 20 | 0.395 % |
144.23/144.38 c | 66031 | 146418 1447329 4888823 | 2147483647 65555 20 | 0.395 % |
144.33/144.48 c | 66340 | 146418 1447329 4888823 | 2147483647 65864 20 | 0.395 % |
144.53/144.63 c | 66679 | 146418 1447329 4888823 | 2147483647 66203 20 | 0.395 % |
144.73/144.86 c | 67051 | 146418 1447329 4888823 | 2147483647 66575 20 | 0.395 % |
144.83/144.99 c | 67463 | 146418 1447329 4888823 | 2147483647 66987 20 | 0.395 % |
145.14/145.29 c | 67912 | 146417 1447305 4888741 | 2147483647 67434 20 | 0.395 % |
145.33/145.46 c | 68405 | 146417 1447305 4888741 | 2147483647 67927 20 | 0.395 % |
145.53/145.67 c | 68947 | 146417 1447305 4888741 | 2147483647 68469 20 | 0.395 % |
145.84/145.95 c | 69543 | 146417 1447305 4888741 | 2147483647 69065 20 | 0.395 % |
146.04/146.13 c | 70199 | 146417 1447305 4888741 | 2147483647 69721 20 | 0.395 % |
146.24/146.35 c | 70919 | 146417 1447305 4888741 | 2147483647 70441 20 | 0.395 % |
146.44/146.54 c | 71712 | 146417 1447305 4888741 | 2147483647 71234 20 | 0.395 % |
146.74/146.84 c | 72584 | 146417 1447305 4888741 | 2147483647 72106 20 | 0.395 % |
146.74/146.87 c | 72684 | 146417 1447305 4888741 | 2147483647 72206 20 | 0.395 % |
146.84/146.93 c | 72795 | 146417 1447305 4888741 | 2147483647 72317 20 | 0.395 % |
146.94/147.00 c | 72916 | 146417 1447305 4888741 | 2147483647 72438 20 | 0.395 % |
146.94/147.08 c | 73050 | 146417 1447305 4888741 | 2147483647 72572 20 | 0.395 % |
147.04/147.16 c | 73197 | 146417 1447305 4888741 | 2147483647 72719 20 | 0.395 % |
147.14/147.24 c | 73357 | 146417 1447305 4888741 | 2147483647 72879 20 | 0.395 % |
147.24/147.33 c | 73533 | 146417 1447305 4888741 | 2147483647 73055 20 | 0.395 % |
147.34/147.42 c | 73726 | 146417 1447305 4888741 | 2147483647 73248 20 | 0.395 % |
147.44/147.55 c | 73940 | 146417 1447305 4888741 | 2147483647 73462 20 | 0.395 % |
147.54/147.62 c | 74174 | 146417 1447305 4888741 | 2147483647 73696 20 | 0.395 % |
147.64/147.71 c | 74431 | 146417 1447305 4888741 | 2147483647 73953 20 | 0.395 % |
147.64/147.79 c | 74712 | 146417 1447305 4888741 | 2147483647 74234 20 | 0.395 % |
147.84/147.99 c | 75021 | 146417 1447305 4888741 | 2147483647 74543 20 | 0.395 % |
148.04/148.15 c | 75362 | 146417 1447305 4888741 | 2147483647 74884 20 | 0.395 % |
148.14/148.28 c | 75735 | 146417 1447305 4888741 | 2147483647 75257 20 | 0.395 % |
148.44/148.57 c | 76145 | 146417 1447305 4888741 | 2147483647 75667 20 | 0.395 % |
148.74/148.83 c | 76597 | 146417 1447305 4888741 | 2147483647 76119 20 | 0.395 % |
149.04/149.15 c | 77090 | 146417 1447305 4888741 | 2147483647 76612 20 | 0.395 % |
149.24/149.38 c | 77633 | 146417 1447305 4888741 | 2147483647 77155 20 | 0.395 % |
149.54/149.66 c | 78229 | 146417 1447305 4888741 | 2147483647 77751 20 | 0.395 % |
149.84/149.90 c | 78884 | 146417 1447305 4888741 | 2147483647 78406 20 | 0.395 % |
150.04/150.16 c | 79604 | 146417 1447305 4888741 | 2147483647 79126 20 | 0.395 % |
150.44/150.53 c | 80396 | 146417 1447305 4888741 | 2147483647 79918 20 | 0.395 % |
150.73/150.86 c | 81269 | 146417 1447305 4888741 | 2147483647 80791 21 | 0.395 % |
151.23/151.35 c | 82228 | 146417 1447305 4888741 | 2147483647 81750 21 | 0.395 % |
151.33/151.40 c | 82328 | 146417 1447305 4888741 | 2147483647 81850 21 | 0.395 % |
151.33/151.48 c | 82440 | 146417 1447305 4888741 | 2147483647 81962 21 | 0.395 % |
151.43/151.54 c | 82562 | 146417 1447305 4888741 | 2147483647 82084 21 | 0.395 % |
151.53/151.63 c | 82695 | 146417 1447305 4888741 | 2147483647 82217 21 | 0.395 % |
151.53/151.68 c | 82842 | 146417 1447305 4888741 | 2147483647 82364 21 | 0.395 % |
151.64/151.78 c | 83002 | 146417 1447305 4888741 | 2147483647 82524 21 | 0.395 % |
151.74/151.88 c | 83178 | 146417 1447305 4888741 | 2147483647 82700 21 | 0.395 % |
151.93/152.01 c | 83372 | 146417 1447305 4888741 | 2147483647 82894 21 | 0.395 % |
152.03/152.15 c | 83584 | 146417 1447305 4888741 | 2147483647 83106 21 | 0.395 % |
152.13/152.29 c | 83819 | 146417 1447305 4888741 | 2147483647 83341 21 | 0.395 % |
152.33/152.42 c | 84077 | 146417 1447305 4888741 | 2147483647 83599 21 | 0.395 % |
152.43/152.59 c | 84359 | 146417 1447305 4888741 | 2147483647 83881 21 | 0.395 % |
152.63/152.76 c | 84669 | 146417 1447305 4888741 | 2147483647 84191 21 | 0.395 % |
152.84/152.97 c | 85009 | 146417 1447305 4888741 | 2147483647 84531 21 | 0.395 % |
153.03/153.14 c | 85381 | 146417 1447305 4888741 | 2147483647 84903 21 | 0.395 % |
153.33/153.42 c | 85791 | 146417 1447305 4888741 | 2147483647 85313 21 | 0.395 % |
153.53/153.61 c | 86240 | 146417 1447305 4888741 | 2147483647 85762 21 | 0.395 % |
153.84/153.91 c | 86738 | 146417 1447305 4888741 | 2147483647 86260 21 | 0.395 % |
154.13/154.22 c | 87280 | 146417 1447305 4888741 | 2147483647 86802 21 | 0.395 % |
154.43/154.55 c | 87877 | 146417 1447305 4888741 | 2147483647 87399 21 | 0.395 % |
154.73/154.89 c | 88533 | 146417 1447305 4888741 | 2147483647 88055 21 | 0.395 % |
155.23/155.39 c | 89254 | 146417 1447305 4888741 | 2147483647 88776 21 | 0.395 % |
155.73/155.87 c | 90048 | 146417 1447305 4888741 | 2147483647 89570 21 | 0.395 % |
156.33/156.49 c | 90922 | 146417 1447305 4888741 | 2147483647 90444 21 | 0.395 % |
156.83/156.94 c | 91882 | 146417 1447305 4888741 | 2147483647 91404 21 | 0.395 % |
157.63/157.77 c | 92935 | 146417 1447305 4888741 | 2147483647 92457 21 | 0.395 % |
157.73/157.82 c | 93035 | 146417 1447305 4888741 | 2147483647 92557 21 | 0.395 % |
157.73/157.89 c | 93148 | 146417 1447305 4888741 | 2147483647 92670 21 | 0.395 % |
157.83/157.93 c | 93270 | 146417 1447305 4888741 | 2147483647 92792 21 | 0.395 % |
157.93/158.01 c | 93403 | 146417 1447305 4888741 | 2147483647 92925 21 | 0.395 % |
158.03/158.15 c | 93550 | 146417 1447305 4888741 | 2147483647 93072 21 | 0.395 % |
158.13/158.25 c | 93714 | 146417 1447305 4888741 | 2147483647 93236 21 | 0.395 % |
158.23/158.37 c | 93890 | 146417 1447305 4888741 | 2147483647 93412 21 | 0.395 % |
158.43/158.55 c | 94084 | 146417 1447305 4888741 | 2147483647 93606 21 | 0.395 % |
158.64/158.70 c | 94296 | 146417 1447305 4888741 | 2147483647 93818 21 | 0.395 % |
158.74/158.86 c | 94530 | 146417 1447305 4888741 | 2147483647 94052 21 | 0.395 % |
158.94/159.02 c | 94787 | 146417 1447305 4888741 | 2147483647 94309 21 | 0.395 % |
159.04/159.18 c | 95069 | 146417 1447305 4888741 | 2147483647 94591 21 | 0.395 % |
159.23/159.37 c | 95378 | 146417 1447305 4888741 | 2147483647 94900 21 | 0.395 % |
159.53/159.61 c | 95719 | 146417 1447305 4888741 | 2147483647 95241 21 | 0.395 % |
159.73/159.83 c | 96091 | 146417 1447305 4888741 | 2147483647 95613 21 | 0.395 % |
159.93/160.07 c | 96502 | 146417 1447305 4888741 | 2147483647 96024 21 | 0.395 % |
160.23/160.30 c | 96951 | 146417 1447305 4888741 | 2147483647 96473 21 | 0.395 % |
160.44/160.52 c | 97446 | 146417 1447305 4888741 | 2147483647 96968 22 | 0.395 % |
160.83/160.91 c | 97988 | 146417 1447305 4888741 | 2147483647 97510 22 | 0.395 % |
161.13/161.28 c | 98587 | 146417 1447305 4888741 | 2147483647 98109 22 | 0.395 % |
161.64/161.79 c | 99242 | 146417 1447305 4888741 | 2147483647 98764 22 | 0.395 % |
162.13/162.29 c | 99963 | 146417 1447305 4888741 | 2147483647 99485 22 | 0.395 % |
162.83/162.95 c | 100755 | 146417 1447305 4888741 | 2147483647 100277 22 | 0.395 % |
163.23/163.31 c | 101626 | 146417 1447305 4888741 | 2147483647 101148 22 | 0.395 % |
163.93/164.07 c | 102585 | 146417 1447305 4888741 | 2147483647 102107 22 | 0.395 % |
164.63/164.73 c | 103640 | 146417 1447305 4888741 | 2147483647 103162 22 | 0.395 % |
165.43/165.55 c | 104799 | 146417 1447305 4888741 | 2147483647 104321 22 | 0.395 % |
165.53/165.62 c | 104899 | 146417 1447305 4888741 | 2147483647 104421 22 | 0.395 % |
165.53/165.67 c | 105010 | 146417 1447305 4888741 | 2147483647 104532 22 | 0.395 % |
165.63/165.72 c | 105131 | 146417 1447305 4888741 | 2147483647 104653 22 | 0.395 % |
165.73/165.81 c | 105264 | 146417 1447305 4888741 | 2147483647 104786 22 | 0.395 % |
165.73/165.88 c | 105410 | 146417 1447305 4888741 | 2147483647 104932 22 | 0.395 % |
165.83/165.95 c | 105570 | 146417 1447305 4888741 | 2147483647 105092 22 | 0.395 % |
165.83/166.00 c | 105749 | 146417 1447305 4888741 | 2147483647 105271 22 | 0.395 % |
166.03/166.11 c | 105942 | 146417 1447305 4888741 | 2147483647 105464 22 | 0.395 % |
166.03/166.16 c | 106154 | 146417 1447305 4888741 | 2147483647 105676 22 | 0.395 % |
166.13/166.27 c | 106388 | 146417 1447305 4888741 | 2147483647 105910 22 | 0.395 % |
166.32/166.43 c | 106645 | 146417 1447305 4888741 | 2147483647 106167 22 | 0.395 % |
166.52/166.64 c | 106928 | 146417 1447305 4888741 | 2147483647 106450 22 | 0.395 % |
166.73/166.89 c | 107240 | 146417 1447305 4888741 | 2147483647 106762 22 | 0.395 % |
166.93/167.08 c | 107579 | 146417 1447305 4888741 | 2147483647 107101 22 | 0.395 % |
167.23/167.31 c | 107951 | 146417 1447305 4888741 | 2147483647 107473 22 | 0.395 % |
167.53/167.66 c | 108361 | 146417 1447305 4888741 | 2147483647 107883 22 | 0.395 % |
167.83/167.90 c | 108810 | 146417 1447305 4888741 | 2147483647 108332 22 | 0.395 % |
168.33/168.42 c | 109303 | 146417 1447305 4888741 | 2147483647 108825 22 | 0.395 % |
168.83/168.91 c | 109845 | 146416 1447296 4888713 | 2147483647 109366 22 | 0.395 % |
169.24/169.37 c | 110443 | 146416 1447296 4888713 | 2147483647 109964 22 | 0.395 % |
169.93/170.05 c | 111099 | 146416 1447296 4888713 | 2147483647 110620 22 | 0.395 % |
170.43/170.58 c | 111819 | 146416 1447296 4888713 | 2147483647 111340 22 | 0.395 % |
170.83/170.90 c | 112611 | 146416 1447296 4888713 | 2147483647 112132 22 | 0.395 % |
171.53/171.61 c | 113483 | 146416 1447296 4888713 | 2147483647 113004 22 | 0.395 % |
172.43/172.50 c | 114441 | 146416 1447296 4888713 | 2147483647 113962 22 | 0.395 % |
173.33/173.42 c | 115496 | 146416 1447296 4888713 | 2147483647 115017 22 | 0.395 % |
174.03/174.13 c | 116654 | 146416 1447296 4888713 | 2147483647 116175 22 | 0.395 % |
175.13/175.22 c | 117929 | 146416 1447296 4888713 | 2147483647 117450 22 | 0.395 % |
175.23/175.30 c | 118031 | 146416 1447296 4888713 | 2147483647 117552 22 | 0.395 % |
175.23/175.37 c | 118142 | 146416 1447296 4888713 | 2147483647 117663 22 | 0.395 % |
175.33/175.47 c | 118264 | 146416 1447296 4888713 | 2147483647 117785 22 | 0.395 % |
175.53/175.62 c | 118400 | 146416 1447296 4888713 | 2147483647 117921 22 | 0.395 % |
175.53/175.68 c | 118547 | 146416 1447296 4888713 | 2147483647 118068 22 | 0.395 % |
175.73/175.90 c | 118707 | 146416 1447296 4888713 | 2147483647 118228 22 | 0.395 % |
175.93/176.01 c | 118884 | 146416 1447296 4888713 | 2147483647 118405 22 | 0.395 % |
176.13/176.20 c | 119077 | 146416 1447296 4888713 | 2147483647 118598 22 | 0.395 % |
176.33/176.44 c | 119290 | 146416 1447296 4888713 | 2147483647 118811 22 | 0.395 % |
176.53/176.60 c | 119524 | 146416 1447296 4888713 | 2147483647 119045 22 | 0.395 % |
176.72/176.88 c | 119782 | 146416 1447296 4888713 | 2147483647 119303 22 | 0.395 % |
176.93/177.04 c | 120064 | 146416 1447296 4888713 | 2147483647 119585 22 | 0.395 % |
177.13/177.25 c | 120373 | 146416 1447296 4888713 | 2147483647 119894 22 | 0.395 % |
177.52/177.65 c | 120714 | 146416 1447296 4888713 | 2147483647 120235 22 | 0.395 % |
177.72/177.84 c | 121089 | 146416 1447296 4888713 | 2147483647 120610 22 | 0.395 % |
177.92/178.07 c | 121499 | 146416 1447296 4888713 | 2147483647 121020 22 | 0.395 % |
178.32/178.44 c | 121950 | 146416 1447296 4888713 | 2147483647 121471 22 | 0.395 % |
178.62/178.72 c | 122444 | 146416 1447296 4888713 | 2147483647 121965 22 | 0.395 % |
179.02/179.20 c | 122987 | 146416 1447296 4888713 | 2147483647 122508 22 | 0.395 % |
179.72/179.89 c | 123583 | 146413 1447272 4888631 | 2147483647 123102 22 | 0.397 % |
180.42/180.52 c | 124238 | 146413 1447272 4888631 | 2147483647 123757 23 | 0.397 % |
180.72/180.83 c | 124959 | 146413 1447272 4888631 | 2147483647 124478 23 | 0.397 % |
181.42/181.55 c | 125751 | 146413 1447272 4888631 | 2147483647 125270 23 | 0.397 % |
181.82/181.95 c | 126622 | 146413 1447272 4888631 | 2147483647 126141 23 | 0.397 % |
182.32/182.49 c | 127580 | 146413 1447272 4888631 | 2147483647 127099 23 | 0.397 % |
183.32/183.47 c | 128633 | 146413 1447272 4888631 | 2147483647 128152 23 | 0.397 % |
184.52/184.67 c | 129793 | 146413 1447272 4888631 | 2147483647 129312 23 | 0.397 % |
185.62/185.74 c | 131066 | 146413 1447272 4888631 | 2147483647 130585 23 | 0.397 % |
186.72/186.80 c | 132466 | 146413 1447272 4888631 | 2147483647 131985 23 | 0.397 % |
186.82/186.92 c | 132567 | 146413 1447272 4888631 | 2147483647 132086 23 | 0.397 % |
186.92/187.06 c | 132678 | 146413 1447272 4888631 | 2147483647 132197 23 | 0.397 % |
187.12/187.27 c | 132800 | 146413 1447272 4888631 | 2147483647 132319 23 | 0.397 % |
187.32/187.45 c | 132935 | 146413 1447272 4888631 | 2147483647 132454 23 | 0.397 % |
187.52/187.61 c | 133084 | 146413 1447272 4888631 | 2147483647 132603 23 | 0.397 % |
187.62/187.78 c | 133244 | 146413 1447272 4888631 | 2147483647 132763 23 | 0.397 % |
187.92/188.00 c | 133422 | 146413 1447272 4888631 | 2147483647 132941 23 | 0.397 % |
188.12/188.27 c | 133615 | 146413 1447272 4888631 | 2147483647 133134 23 | 0.397 % |
188.32/188.49 c | 133828 | 146413 1447272 4888631 | 2147483647 133347 23 | 0.397 % |
188.62/188.76 c | 134062 | 146413 1447272 4888631 | 2147483647 133581 23 | 0.397 % |
188.92/189.09 c | 134320 | 146413 1447272 4888631 | 2147483647 133839 23 | 0.397 % |
189.12/189.24 c | 134602 | 146413 1447272 4888631 | 2147483647 134121 23 | 0.397 % |
189.32/189.43 c | 134911 | 146413 1447272 4888631 | 2147483647 134430 23 | 0.397 % |
189.62/189.73 c | 135250 | 146413 1447272 4888631 | 2147483647 134769 23 | 0.397 % |
189.91/190.03 c | 135623 | 146413 1447272 4888631 | 2147483647 135142 23 | 0.397 % |
190.01/190.16 c | 136032 | 146413 1447272 4888631 | 2147483647 135551 23 | 0.397 % |
190.12/190.24 c | 136481 | 146413 1447272 4888631 | 2147483647 136000 23 | 0.397 % |
190.31/190.43 c | 136974 | 146413 1447272 4888631 | 2147483647 136493 23 | 0.397 % |
190.61/190.76 c | 137516 | 146413 1447272 4888631 | 2147483647 137035 23 | 0.397 % |
190.81/190.96 c | 138112 | 146413 1447272 4888631 | 2147483647 137631 23 | 0.397 % |
191.01/191.10 c | 138768 | 146413 1447272 4888631 | 2147483647 138287 23 | 0.397 % |
191.11/191.29 c | 139489 | 146413 1447272 4888631 | 2147483647 139008 23 | 0.397 % |
191.51/191.69 c | 140281 | 146413 1447272 4888631 | 2147483647 139800 23 | 0.397 % |
192.61/192.70 c | 141153 | 146413 1447272 4888631 | 2147483647 140672 23 | 0.397 % |
193.61/193.72 c | 142113 | 146413 1447272 4888631 | 2147483647 141632 23 | 0.397 % |
194.31/194.41 c | 143168 | 146410 1447248 4888549 | 2147483647 142685 23 | 0.399 % |
194.91/195.06 c | 144326 | 146410 1447248 4888549 | 2147483647 143843 23 | 0.399 % |
195.91/196.02 c | 145600 | 146410 1447248 4888549 | 2147483647 145117 23 | 0.399 % |
197.31/197.40 c | 147003 | 146410 1447248 4888549 | 2147483647 146520 23 | 0.399 % |
198.61/198.79 c | 148546 | 146410 1447248 4888549 | 2147483647 148063 23 | 0.399 % |
198.81/198.99 c | 148646 | 146410 1447248 4888549 | 2147483647 148163 23 | 0.399 % |
199.01/199.17 c | 148756 | 146410 1447248 4888549 | 2147483647 148273 23 | 0.399 % |
199.11/199.26 c | 148878 | 146410 1447248 4888549 | 2147483647 148395 23 | 0.399 % |
199.21/199.39 c | 149012 | 146410 1447248 4888549 | 2147483647 148529 23 | 0.399 % |
199.41/199.58 c | 149158 | 146410 1447248 4888549 | 2147483647 148675 23 | 0.399 % |
199.60/199.74 c | 149320 | 146410 1447248 4888549 | 2147483647 148837 23 | 0.399 % |
199.90/200.03 c | 149498 | 146410 1447248 4888549 | 2147483647 149015 23 | 0.399 % |
200.11/200.30 c | 149691 | 146410 1447248 4888549 | 2147483647 149208 23 | 0.399 % |
200.50/200.64 c | 149906 | 146410 1447248 4888549 | 2147483647 149423 23 | 0.399 % |
200.80/200.91 c | 150141 | 146410 1447248 4888549 | 2147483647 149658 23 | 0.399 % |
201.11/201.22 c | 150397 | 146410 1447248 4888549 | 2147483647 149914 23 | 0.399 % |
201.40/201.52 c | 150679 | 146410 1447248 4888549 | 2147483647 150196 23 | 0.399 % |
201.60/201.75 c | 150989 | 146410 1447248 4888549 | 2147483647 150506 23 | 0.399 % |
202.00/202.11 c | 151328 | 146410 1447248 4888549 | 2147483647 150845 23 | 0.399 % |
202.31/202.50 c | 151700 | 146410 1447248 4888549 | 2147483647 151217 23 | 0.399 % |
202.60/202.74 c | 152109 | 146410 1447248 4888549 | 2147483647 151626 23 | 0.399 % |
203.00/203.16 c | 152560 | 146410 1447248 4888549 | 2147483647 152077 23 | 0.399 % |
203.31/203.50 c | 153053 | 146410 1447248 4888549 | 2147483647 152570 23 | 0.399 % |
203.70/203.82 c | 153597 | 146410 1447248 4888549 | 2147483647 153114 23 | 0.399 % |
204.00/204.10 c | 154193 | 146410 1447248 4888549 | 2147483647 153710 23 | 0.399 % |
204.61/204.70 c | 154848 | 146410 1447248 4888549 | 2147483647 154365 23 | 0.399 % |
205.21/205.36 c | 155568 | 146410 1447248 4888549 | 2147483647 155085 23 | 0.399 % |
206.21/206.31 c | 156360 | 146410 1447248 4888549 | 2147483647 155877 23 | 0.399 % |
206.71/206.83 c | 157231 | 146410 1447248 4888549 | 2147483647 156748 23 | 0.399 % |
207.41/207.58 c | 158190 | 146410 1447248 4888549 | 2147483647 157707 24 | 0.399 % |
208.71/208.89 c | 159243 | 146410 1447248 4888549 | 2147483647 158760 24 | 0.399 % |
209.50/209.61 c | 160401 | 146410 1447248 4888549 | 2147483647 159918 24 | 0.399 % |
210.70/210.84 c | 161674 | 146410 1447248 4888549 | 2147483647 161191 24 | 0.399 % |
211.60/211.70 c | 163075 | 146410 1447248 4888549 | 2147483647 162592 24 | 0.399 % |
213.50/213.61 c | 164615 | 146410 1447248 4888549 | 2147483647 164132 24 | 0.399 % |
215.70/215.85 c | 166309 | 146410 1447248 4888549 | 2147483647 165826 24 | 0.399 % |
215.80/215.99 c | 166410 | 146410 1447248 4888549 | 2147483647 165927 24 | 0.399 % |
216.00/216.11 c | 166520 | 146410 1447248 4888549 | 2147483647 166037 24 | 0.399 % |
216.20/216.33 c | 166641 | 146410 1447248 4888549 | 2147483647 166158 24 | 0.399 % |
216.40/216.52 c | 166774 | 146410 1447248 4888549 | 2147483647 166291 24 | 0.399 % |
216.50/216.68 c | 166922 | 146410 1447248 4888549 | 2147483647 166439 24 | 0.399 % |
216.80/216.90 c | 167084 | 146410 1447248 4888549 | 2147483647 166601 24 | 0.399 % |
217.00/217.17 c | 167260 | 146410 1447248 4888549 | 2147483647 166777 24 | 0.399 % |
217.30/217.44 c | 167454 | 146410 1447248 4888549 | 2147483647 166971 24 | 0.399 % |
217.51/217.63 c | 167668 | 146410 1447248 4888549 | 2147483647 167185 24 | 0.399 % |
217.81/217.95 c | 167902 | 146410 1447248 4888549 | 2147483647 167419 24 | 0.399 % |
218.01/218.13 c | 168159 | 146410 1447248 4888549 | 2147483647 167676 24 | 0.399 % |
218.30/218.45 c | 168441 | 146410 1447248 4888549 | 2147483647 167958 24 | 0.399 % |
218.50/218.66 c | 168750 | 146410 1447248 4888549 | 2147483647 168267 24 | 0.399 % |
218.90/219.06 c | 169090 | 146410 1447248 4888549 | 2147483647 168607 24 | 0.399 % |
219.30/219.47 c | 169462 | 146410 1447248 4888549 | 2147483647 168979 24 | 0.399 % |
220.00/220.13 c | 169872 | 146410 1447248 4888549 | 2147483647 169389 24 | 0.399 % |
220.40/220.57 c | 170324 | 146410 1447248 4888549 | 2147483647 169841 24 | 0.399 % |
220.70/220.89 c | 170819 | 146410 1447248 4888549 | 2147483647 170336 24 | 0.399 % |
221.30/221.40 c | 171363 | 146410 1447248 4888549 | 2147483647 170880 24 | 0.399 % |
221.90/222.02 c | 171962 | 146410 1447248 4888549 | 2147483647 171479 24 | 0.399 % |
222.40/222.55 c | 172617 | 146410 1447248 4888549 | 2147483647 172134 24 | 0.399 % |
223.20/223.34 c | 173337 | 146410 1447248 4888549 | 2147483647 172854 24 | 0.399 % |
224.10/224.24 c | 174129 | 146409 1447239 4888521 | 2147483647 173645 24 | 0.400 % |
225.20/225.36 c | 175003 | 146409 1447239 4888521 | 2147483647 174519 24 | 0.400 % |
226.50/226.63 c | 175961 | 146409 1447239 4888521 | 2147483647 175477 24 | 0.400 % |
227.80/227.97 c | 177014 | 146409 1447239 4888521 | 2147483647 176530 24 | 0.400 % |
228.89/229.09 c | 178172 | 146409 1447239 4888521 | 2147483647 177688 24 | 0.400 % |
230.19/230.33 c | 179452 | 146409 1447239 4888521 | 2147483647 178968 24 | 0.400 % |
231.49/231.68 c | 180853 | 146409 1447239 4888521 | 2147483647 180369 24 | 0.400 % |
232.29/232.46 c | 182393 | 146409 1447239 4888521 | 2147483647 181909 24 | 0.400 % |
234.19/234.33 c | 184088 | 146409 1447239 4888521 | 2147483647 183604 24 | 0.400 % |
235.99/236.17 c | 185952 | 146409 1447239 4888521 | 2147483647 185468 24 | 0.400 % |
236.09/236.25 c | 186052 | 146409 1447239 4888521 | 2147483647 185568 24 | 0.400 % |
236.29/236.42 c | 186163 | 146409 1447239 4888521 | 2147483647 185679 24 | 0.400 % |
236.39/236.58 c | 186284 | 146409 1447239 4888521 | 2147483647 185800 24 | 0.400 % |
236.59/236.74 c | 186418 | 146409 1447239 4888521 | 2147483647 185934 24 | 0.400 % |
236.69/236.89 c | 186564 | 146409 1447239 4888521 | 2147483647 186080 24 | 0.400 % |
236.89/237.03 c | 186724 | 146409 1447239 4888521 | 2147483647 186240 24 | 0.400 % |
237.09/237.22 c | 186904 | 146409 1447239 4888521 | 2147483647 186420 24 | 0.400 % |
237.29/237.43 c | 187098 | 146409 1447239 4888521 | 2147483647 186614 24 | 0.400 % |
237.59/237.75 c | 187311 | 146409 1447239 4888521 | 2147483647 186827 24 | 0.400 % |
237.89/238.09 c | 187545 | 146409 1447239 4888521 | 2147483647 187061 24 | 0.400 % |
238.19/238.31 c | 187802 | 146409 1447239 4888521 | 2147483647 187318 24 | 0.400 % |
238.50/238.69 c | 188084 | 146409 1447239 4888521 | 2147483647 187600 24 | 0.400 % |
238.99/239.15 c | 188393 | 146409 1447239 4888521 | 2147483647 187909 24 | 0.400 % |
239.29/239.46 c | 188732 | 146409 1447239 4888521 | 2147483647 188248 24 | 0.400 % |
239.60/239.80 c | 189107 | 146409 1447239 4888521 | 2147483647 188623 24 | 0.400 % |
240.19/240.37 c | 189516 | 146409 1447239 4888521 | 2147483647 189032 25 | 0.400 % |
240.89/241.03 c | 189966 | 146409 1447239 4888521 | 2147483647 189482 25 | 0.400 % |
241.49/241.69 c | 190460 | 146409 1447239 4888521 | 2147483647 189976 25 | 0.400 % |
242.09/242.20 c | 191005 | 146409 1447239 4888521 | 2147483647 190521 25 | 0.400 % |
242.59/242.73 c | 191601 | 146409 1447239 4888521 | 2147483647 191117 25 | 0.400 % |
243.59/243.75 c | 192258 | 146409 1447239 4888521 | 2147483647 191774 25 | 0.400 % |
244.09/244.26 c | 192978 | 146409 1447239 4888521 | 2147483647 192494 25 | 0.400 % |
244.89/245.00 c | 193770 | 146409 1447239 4888521 | 2147483647 193286 25 | 0.400 % |
245.09/245.22 c | 194641 | 146409 1447239 4888521 | 2147483647 194157 25 | 0.400 % |
246.19/246.37 c | 195600 | 146409 1447239 4888521 | 2147483647 195116 25 | 0.400 % |
246.79/246.94 c | 196653 | 146409 1447239 4888521 | 2147483647 196169 25 | 0.400 % |
247.79/247.94 c | 197812 | 146409 1447239 4888521 | 2147483647 197328 25 | 0.400 % |
248.19/248.31 c | 199085 | 146409 1447239 4888521 | 2147483647 198601 25 | 0.400 % |
249.08/249.29 c | 200486 | 146406 1445434 4881335 | 2147483647 200001 25 | 0.402 % |
249.59/249.71 c | 202027 | 146406 1445434 4881335 | 2147483647 201542 25 | 0.402 % |
251.58/251.78 c | 203724 | 146406 1445434 4881335 | 2147483647 203239 25 | 0.402 % |
254.19/254.31 c | 205587 | 146406 1445434 4881335 | 2147483647 205102 25 | 0.402 % |
255.69/255.86 c | 207636 | 146406 1445434 4881335 | 2147483647 207151 25 | 0.402 % |
255.89/256.08 c | 207737 | 146406 1445434 4881335 | 2147483647 207252 25 | 0.402 % |
255.99/256.18 c | 207847 | 146406 1445434 4881335 | 2147483647 207362 25 | 0.402 % |
256.19/256.30 c | 207969 | 146406 1445434 4881335 | 2147483647 207484 25 | 0.402 % |
256.29/256.48 c | 208103 | 146406 1445434 4881335 | 2147483647 207618 25 | 0.402 % |
256.48/256.68 c | 208249 | 146406 1445434 4881335 | 2147483647 207764 25 | 0.402 % |
256.78/256.91 c | 208409 | 146406 1445434 4881335 | 2147483647 207924 25 | 0.402 % |
256.88/257.04 c | 208587 | 146406 1445434 4881335 | 2147483647 208102 25 | 0.402 % |
257.08/257.26 c | 208780 | 146406 1445434 4881335 | 2147483647 208295 25 | 0.402 % |
257.38/257.54 c | 208992 | 146406 1445434 4881335 | 2147483647 208507 25 | 0.402 % |
257.68/257.84 c | 209225 | 146406 1445434 4881335 | 2147483647 208740 25 | 0.402 % |
257.88/258.02 c | 209482 | 146406 1445434 4881335 | 2147483647 208997 25 | 0.402 % |
258.08/258.23 c | 209764 | 146406 1445434 4881335 | 2147483647 209279 25 | 0.402 % |
258.68/258.81 c | 210073 | 146406 1445434 4881335 | 2147483647 209588 25 | 0.402 % |
258.98/259.16 c | 210412 | 146406 1445434 4881335 | 2147483647 209927 25 | 0.402 % |
259.18/259.35 c | 210784 | 146406 1445434 4881335 | 2147483647 210299 25 | 0.402 % |
259.68/259.86 c | 211193 | 146406 1445434 4881335 | 2147483647 210708 25 | 0.402 % |
259.88/260.04 c | 211642 | 146406 1445434 4881335 | 2147483647 211157 25 | 0.402 % |
260.58/260.72 c | 212136 | 146406 1445434 4881335 | 2147483647 211651 25 | 0.402 % |
261.18/261.35 c | 212678 | 146406 1445434 4881335 | 2147483647 212193 25 | 0.402 % |
261.78/261.96 c | 213277 | 146406 1445434 4881335 | 2147483647 212792 25 | 0.402 % |
262.58/262.71 c | 213933 | 146406 1445434 4881335 | 2147483647 213448 25 | 0.402 % |
263.88/264.03 c | 214656 | 146406 1445434 4881335 | 2147483647 214171 25 | 0.402 % |
264.58/264.79 c | 215450 | 146406 1445434 4881335 | 2147483647 214965 25 | 0.402 % |
265.38/265.58 c | 216322 | 146406 1445434 4881335 | 2147483647 215837 25 | 0.402 % |
266.47/266.65 c | 217282 | 146406 1445434 4881335 | 2147483647 216797 25 | 0.402 % |
267.47/267.67 c | 218336 | 146406 1445434 4881335 | 2147483647 217851 25 | 0.402 % |
269.38/269.58 c | 219494 | 146406 1445434 4881335 | 2147483647 219009 25 | 0.402 % |
270.57/270.79 c | 220768 | 146406 1445434 4881335 | 2147483647 220283 25 | 0.402 % |
272.18/272.38 c | 222168 | 146406 1445434 4881335 | 2147483647 221683 25 | 0.402 % |
273.88/274.08 c | 223709 | 146406 1445434 4881335 | 2147483647 223224 25 | 0.402 % |
275.77/275.99 c | 225404 | 146406 1445434 4881335 | 2147483647 224919 25 | 0.402 % |
278.67/278.85 c | 227271 | 146406 1445434 4881335 | 2147483647 226786 25 | 0.402 % |
280.97/281.18 c | 229320 | 146406 1445434 4881335 | 2147483647 228835 25 | 0.402 % |
282.07/282.29 c | 231573 | 146406 1445434 4881335 | 2147483647 231088 26 | 0.402 % |
282.27/282.45 c | 231674 | 146406 1445434 4881335 | 2147483647 231189 26 | 0.402 % |
282.47/282.63 c | 231785 | 146406 1445434 4881335 | 2147483647 231300 26 | 0.402 % |
282.67/282.81 c | 231906 | 146406 1445434 4881335 | 2147483647 231421 26 | 0.402 % |
282.87/283.01 c | 232040 | 146406 1445434 4881335 | 2147483647 231555 26 | 0.402 % |
283.17/283.39 c | 232186 | 146406 1445434 4881335 | 2147483647 231701 26 | 0.402 % |
283.37/283.59 c | 232346 | 146406 1445434 4881335 | 2147483647 231861 26 | 0.402 % |
283.57/283.79 c | 232523 | 146406 1445434 4881335 | 2147483647 232038 26 | 0.402 % |
283.97/284.18 c | 232716 | 146406 1445434 4881335 | 2147483647 232231 26 | 0.402 % |
284.27/284.50 c | 232928 | 146406 1445434 4881335 | 2147483647 232443 26 | 0.402 % |
284.57/284.79 c | 233161 | 146406 1445434 4881335 | 2147483647 232676 26 | 0.402 % |
284.97/285.16 c | 233418 | 146406 1445434 4881335 | 2147483647 232933 26 | 0.402 % |
285.27/285.48 c | 233699 | 146406 1445434 4881335 | 2147483647 233214 26 | 0.402 % |
285.67/285.83 c | 234008 | 146406 1445434 4881335 | 2147483647 233523 26 | 0.402 % |
286.07/286.28 c | 234347 | 146406 1445434 4881335 | 2147483647 233862 26 | 0.402 % |
286.66/286.80 c | 234719 | 146406 1445434 4881335 | 2147483647 234234 26 | 0.402 % |
287.36/287.55 c | 235128 | 146406 1445434 4881335 | 2147483647 234643 26 | 0.402 % |
287.66/287.90 c | 235578 | 146406 1445434 4881335 | 2147483647 235093 26 | 0.402 % |
288.16/288.35 c | 236071 | 146406 1445434 4881335 | 2147483647 235586 26 | 0.402 % |
288.86/289.03 c | 236614 | 146406 1445434 4881335 | 2147483647 236129 26 | 0.402 % |
289.56/289.77 c | 237210 | 146406 1445434 4881335 | 2147483647 236725 26 | 0.402 % |
290.36/290.60 c | 237867 | 146406 1445434 4881335 | 2147483647 237382 26 | 0.402 % |
291.26/291.42 c | 238587 | 146406 1445434 4881335 | 2147483647 238102 26 | 0.402 % |
293.06/293.28 c | 239379 | 146406 1445434 4881335 | 2147483647 238894 26 | 0.402 % |
293.86/294.05 c | 240252 | 146406 1445434 4881335 | 2147483647 239767 26 | 0.402 % |
295.26/295.41 c | 241212 | 146406 1445434 4881335 | 2147483647 240727 26 | 0.402 % |
297.06/297.27 c | 242266 | 146406 1445434 4881335 | 2147483647 241781 26 | 0.402 % |
298.67/298.85 c | 243424 | 146406 1445434 4881335 | 2147483647 242939 26 | 0.402 % |
300.26/300.48 c | 244697 | 146406 1445434 4881335 | 2147483647 244212 26 | 0.402 % |
301.06/301.22 c | 246097 | 146406 1445434 4881335 | 2147483647 245612 26 | 0.402 % |
302.66/302.85 c | 247639 | 146406 1445434 4881335 | 2147483647 247154 26 | 0.402 % |
304.76/304.91 c | 249333 | 146406 1445434 4881335 | 2147483647 248848 26 | 0.402 % |
306.36/306.55 c | 251197 | 146406 1445434 4881335 | 2147483647 250712 26 | 0.402 % |
310.26/310.47 c | 253247 | 146406 1445434 4881335 | 2147483647 252762 26 | 0.402 % |
312.06/312.22 c | 255500 | 146406 1445434 4881335 | 2147483647 255015 26 | 0.402 % |
314.36/314.55 c | 257979 | 146406 1445434 4881335 | 2147483647 257494 26 | 0.402 % |
314.65/314.83 c | 258079 | 146406 1445434 4881335 | 2147483647 257594 26 | 0.402 % |
314.75/314.93 c | 258190 | 146406 1445434 4881335 | 2147483647 257705 26 | 0.402 % |
314.85/315.08 c | 258313 | 146406 1445434 4881335 | 2147483647 257828 26 | 0.402 % |
315.15/315.37 c | 258446 | 146406 1445434 4881335 | 2147483647 257961 26 | 0.402 % |
315.56/315.72 c | 258592 | 146406 1445434 4881335 | 2147483647 258107 26 | 0.402 % |
315.75/315.99 c | 258752 | 146406 1445434 4881335 | 2147483647 258267 26 | 0.402 % |
315.95/316.16 c | 258929 | 146406 1445434 4881335 | 2147483647 258444 26 | 0.402 % |
316.05/316.26 c | 259123 | 146406 1445434 4881335 | 2147483647 258638 26 | 0.402 % |
316.15/316.34 c | 259336 | 146406 1445434 4881335 | 2147483647 258851 26 | 0.402 % |
316.45/316.64 c | 259570 | 146406 1445434 4881335 | 2147483647 259085 26 | 0.402 % |
316.56/316.77 c | 259828 | 146406 1445434 4881335 | 2147483647 259343 26 | 0.402 % |
316.85/317.08 c | 260109 | 146406 1445434 4881335 | 2147483647 259624 26 | 0.402 % |
317.45/317.62 c | 260420 | 146406 1445434 4881335 | 2147483647 259935 26 | 0.402 % |
317.85/318.01 c | 260759 | 146406 1445434 4881335 | 2147483647 260274 26 | 0.402 % |
318.25/318.46 c | 261131 | 146406 1445434 4881335 | 2147483647 260646 26 | 0.402 % |
319.15/319.36 c | 261540 | 146406 1445434 4881335 | 2147483647 261055 26 | 0.402 % |
319.75/319.91 c | 261992 | 146406 1445434 4881335 | 2147483647 261507 26 | 0.402 % |
320.75/320.94 c | 262485 | 146406 1445434 4881335 | 2147483647 262000 26 | 0.402 % |
321.75/321.98 c | 263027 | 146406 1445434 4881335 | 2147483647 262542 26 | 0.402 % |
322.35/322.59 c | 263623 | 146406 1445434 4881335 | 2147483647 263138 26 | 0.402 % |
322.84/323.08 c | 264278 | 146406 1445434 4881335 | 2147483647 263793 26 | 0.402 % |
323.64/323.88 c | 264999 | 146406 1445434 4881335 | 2147483647 264514 26 | 0.402 % |
324.54/324.79 c | 265791 | 146406 1445434 4881335 | 2147483647 265306 26 | 0.402 % |
325.14/325.33 c | 266664 | 146406 1445434 4881335 | 2147483647 266179 26 | 0.402 % |
326.24/326.47 c | 267622 | 146406 1445434 4881335 | 2147483647 267137 27 | 0.402 % |
326.95/327.17 c | 268675 | 146406 1445434 4881335 | 2147483647 268190 27 | 0.402 % |
329.25/329.41 c | 269833 | 146406 1445434 4881335 | 2147483647 269348 27 | 0.402 % |
331.25/331.49 c | 271106 | 146406 1445434 4881335 | 2147483647 270621 27 | 0.402 % |
333.05/333.26 c | 272506 | 146403 1445410 4881253 | 2147483647 272019 27 | 0.404 % |
336.24/336.44 c | 274046 | 146403 1445410 4881253 | 2147483647 273559 27 | 0.404 % |
340.04/340.23 c | 275741 | 146403 1445410 4881253 | 2147483647 275254 27 | 0.404 % |
342.04/342.20 c | 277605 | 146403 1445410 4881253 | 2147483647 277118 27 | 0.404 % |
346.44/346.66 c | 279655 | 146403 1445410 4881253 | 2147483647 279168 27 | 0.404 % |
348.44/348.68 c | 281908 | 146403 1445410 4881253 | 2147483647 281421 27 | 0.404 % |
352.24/352.47 c | 284387 | 146403 1445410 4881253 | 2147483647 283900 27 | 0.404 % |
356.24/356.45 c | 287114 | 146403 1445410 4881253 | 2147483647 286627 27 | 0.404 % |
356.44/356.67 c | 287214 | 146403 1445410 4881253 | 2147483647 286727 27 | 0.404 % |
356.74/356.99 c | 287324 | 146403 1445410 4881253 | 2147483647 286837 27 | 0.404 % |
357.04/357.25 c | 287445 | 146403 1445410 4881253 | 2147483647 286958 27 | 0.404 % |
357.34/357.57 c | 287578 | 146403 1445410 4881253 | 2147483647 287091 27 | 0.404 % |
357.64/357.87 c | 287724 | 146403 1445410 4881253 | 2147483647 287237 27 | 0.404 % |
357.94/358.17 c | 287885 | 146403 1445410 4881253 | 2147483647 287398 27 | 0.404 % |
358.24/358.43 c | 288064 | 146403 1445410 4881253 | 2147483647 287577 27 | 0.404 % |
358.54/358.79 c | 288258 | 146403 1445410 4881253 | 2147483647 287771 27 | 0.404 % |
359.14/359.39 c | 288471 | 146403 1445410 4881253 | 2147483647 287984 27 | 0.404 % |
359.64/359.80 c | 288704 | 146403 1445410 4881253 | 2147483647 288217 27 | 0.404 % |
360.03/360.26 c | 288960 | 146403 1445410 4881253 | 2147483647 288473 27 | 0.404 % |
360.33/360.52 c | 289242 | 146403 1445410 4881253 | 2147483647 288755 27 | 0.404 % |
361.23/361.41 c | 289551 | 146403 1445410 4881253 | 2147483647 289064 27 | 0.404 % |
361.93/362.16 c | 289890 | 146403 1445410 4881253 | 2147483647 289403 27 | 0.404 % |
362.84/363.01 c | 290263 | 146403 1445410 4881253 | 2147483647 289776 27 | 0.404 % |
363.03/363.26 c | 290673 | 146403 1445410 4881253 | 2147483647 290186 27 | 0.404 % |
363.63/363.85 c | 291123 | 146403 1445410 4881253 | 2147483647 290636 27 | 0.404 % |
363.83/364.07 c | 291616 | 146403 1445410 4881253 | 2147483647 291129 27 | 0.404 % |
364.63/364.80 c | 292160 | 146403 1445410 4881253 | 2147483647 291673 27 | 0.404 % |
365.73/365.97 c | 292756 | 146403 1445410 4881253 | 2147483647 292269 27 | 0.404 % |
366.73/366.92 c | 293411 | 146403 1445410 4881253 | 2147483647 292924 27 | 0.404 % |
368.03/368.23 c | 294131 | 146403 1445410 4881253 | 2147483647 293644 27 | 0.404 % |
368.93/369.10 c | 294923 | 146403 1445410 4881253 | 2147483647 294436 27 | 0.404 % |
370.03/370.29 c | 295794 | 146403 1445410 4881253 | 2147483647 295307 27 | 0.404 % |
371.02/371.24 c | 296752 | 146403 1445410 4881253 | 2147483647 296265 27 | 0.404 % |
372.52/372.75 c | 297805 | 146403 1445410 4881253 | 2147483647 297318 27 | 0.404 % |
374.72/374.96 c | 298963 | 146403 1445410 4881253 | 2147483647 298476 27 | 0.404 % |
376.03/376.27 c | 300236 | 146403 1445410 4881253 | 2147483647 299749 27 | 0.404 % |
378.02/378.24 c | 301636 | 146403 1445410 4881253 | 2147483647 301149 27 | 0.404 % |
380.82/381.04 c | 303176 | 146403 1445410 4881253 | 2147483647 302689 27 | 0.404 % |
383.72/383.93 c | 304871 | 146396 1443538 4873863 | 2147483647 293653 27 | 0.409 % |
386.21/386.46 c | 306734 | 146392 1443538 4873863 | 2147483647 295515 27 | 0.418 % |
390.11/390.37 c | 308785 | 146389 1443538 4873863 | 2147483647 297566 27 | 0.418 % |
396.32/396.50 c | 311039 | 146389 1443538 4873863 | 2147483647 299820 27 | 0.418 % |
401.42/401.67 c | 313519 | 146389 1443538 4873863 | 2147483647 302300 27 | 0.418 % |
406.82/407.10 c | 316244 | 146389 1443538 4873863 | 2147483647 305025 27 | 0.418 % |
410.41/410.65 c | 319243 | 146389 1443538 4873863 | 2147483647 308024 27 | 0.418 % |
411.01/411.27 c | 319343 | 146382 1439209 4855494 | 2147483647 279232 27 | 0.418 % |
411.22/411.43 c | 319454 | 146382 1439209 4855494 | 2147483647 279343 28 | 0.418 % |
411.41/411.68 c | 319578 | 146382 1439209 4855494 | 2147483647 279467 28 | 0.418 % |
411.91/412.10 c | 319711 | 146382 1439209 4855494 | 2147483647 279600 28 | 0.418 % |
412.11/412.34 c | 319858 | 146382 1439209 4855494 | 2147483647 279747 28 | 0.418 % |
412.32/412.59 c | 320019 | 146382 1439209 4855494 | 2147483647 279908 28 | 0.418 % |
412.81/413.08 c | 320195 | 146382 1439209 4855494 | 2147483647 280084 28 | 0.418 % |
413.32/413.51 c | 320388 | 146382 1439209 4855494 | 2147483647 280277 28 | 0.418 % |
413.71/413.91 c | 320601 | 146382 1439209 4855494 | 2147483647 280490 28 | 0.418 % |
414.01/414.21 c | 320838 | 146382 1439209 4855494 | 2147483647 280727 28 | 0.418 % |
414.61/414.85 c | 321096 | 146382 1439209 4855494 | 2147483647 280985 28 | 0.418 % |
415.41/415.68 c | 321377 | 146382 1439209 4855494 | 2147483647 281266 28 | 0.418 % |
416.21/416.44 c | 321687 | 146382 1439209 4855494 | 2147483647 281576 28 | 0.418 % |
416.91/417.14 c | 322026 | 146382 1439209 4855494 | 2147483647 281915 28 | 0.418 % |
418.01/418.26 c | 322401 | 146382 1439209 4855494 | 2147483647 282290 28 | 0.418 % |
418.71/418.99 c | 322810 | 146382 1439209 4855494 | 2147483647 282699 28 | 0.418 % |
419.31/419.53 c | 323259 | 146382 1439209 4855494 | 2147483647 283148 28 | 0.418 % |
420.31/420.53 c | 323754 | 146382 1439209 4855494 | 2147483647 283643 28 | 0.418 % |
421.21/421.49 c | 324298 | 146382 1439209 4855494 | 2147483647 284187 28 | 0.418 % |
421.81/422.03 c | 324894 | 146382 1439209 4855494 | 2147483647 284783 28 | 0.418 % |
423.71/423.92 c | 325549 | 146382 1439209 4855494 | 2147483647 285438 28 | 0.418 % |
424.51/424.71 c | 326269 | 146382 1439209 4855494 | 2147483647 286158 28 | 0.418 % |
426.21/426.41 c | 327062 | 146382 1439209 4855494 | 2147483647 286951 28 | 0.418 % |
427.81/428.03 c | 327933 | 146382 1439209 4855494 | 2147483647 287822 28 | 0.418 % |
429.31/429.58 c | 328891 | 146382 1439209 4855494 | 2147483647 288780 28 | 0.418 % |
430.41/430.68 c | 329944 | 146382 1439209 4855494 | 2147483647 289833 28 | 0.418 % |
432.20/432.46 c | 331104 | 146382 1439209 4855494 | 2147483647 290993 28 | 0.418 % |
433.40/433.69 c | 332377 | 146382 1439209 4855494 | 2147483647 292266 28 | 0.418 % |
435.31/435.54 c | 333777 | 146382 1439209 4855494 | 2147483647 293666 28 | 0.418 % |
438.30/438.50 c | 335317 | 146382 1439209 4855494 | 2147483647 295206 28 | 0.418 % |
440.50/440.76 c | 337011 | 146382 1439209 4855494 | 2147483647 296900 28 | 0.418 % |
446.60/446.81 c | 338875 | 146382 1439209 4855494 | 2147483647 298764 28 | 0.418 % |
451.00/451.22 c | 340928 | 146382 1439209 4855494 | 2147483647 300817 28 | 0.418 % |
454.19/454.41 c | 343185 | 146382 1439209 4855494 | 2147483647 303074 28 | 0.418 % |
459.60/459.87 c | 345663 | 146382 1439209 4855494 | 2147483647 305552 28 | 0.418 % |
463.59/463.81 c | 348389 | 146382 1439209 4855494 | 2147483647 308278 28 | 0.418 % |
468.89/469.19 c | 351386 | 146382 1439209 4855494 | 2147483647 311275 28 | 0.418 % |
474.59/474.82 c | 354682 | 146382 1439209 4855494 | 2147483647 314571 28 | 0.418 % |
474.79/475.05 c | 354784 | 146382 1439209 4855494 | 2147483647 314673 28 | 0.418 % |
475.09/475.33 c | 354896 | 146382 1439209 4855494 | 2147483647 314785 28 | 0.418 % |
475.29/475.58 c | 355017 | 146382 1439209 4855494 | 2147483647 314906 28 | 0.418 % |
475.69/475.99 c | 355152 | 146382 1439209 4855494 | 2147483647 315041 28 | 0.418 % |
475.89/476.15 c | 355299 | 146382 1439209 4855494 | 2147483647 315188 28 | 0.418 % |
476.19/476.45 c | 355460 | 146382 1439209 4855494 | 2147483647 315349 28 | 0.418 % |
476.49/476.80 c | 355638 | 146382 1439209 4855494 | 2147483647 315527 28 | 0.418 % |
476.89/477.15 c | 355831 | 146382 1439209 4855494 | 2147483647 315720 28 | 0.418 % |
477.29/477.57 c | 356043 | 146382 1439209 4855494 | 2147483647 315932 28 | 0.418 % |
477.79/478.09 c | 356277 | 146382 1439209 4855494 | 2147483647 316166 28 | 0.418 % |
478.19/478.48 c | 356534 | 146382 1439209 4855494 | 2147483647 316423 28 | 0.418 % |
478.58/478.84 c | 356815 | 146382 1439209 4855494 | 2147483647 316704 28 | 0.418 % |
478.98/479.22 c | 357124 | 146382 1439209 4855494 | 2147483647 317013 28 | 0.418 % |
479.48/479.74 c | 357463 | 146382 1439209 4855494 | 2147483647 317352 28 | 0.418 % |
480.08/480.31 c | 357836 | 146382 1439209 4855494 | 2147483647 317725 28 | 0.418 % |
480.98/481.21 c | 358245 | 146382 1439209 4855494 | 2147483647 318134 28 | 0.418 % |
481.49/481.72 c | 358694 | 146382 1439209 4855494 | 2147483647 318583 28 | 0.418 % |
482.48/482.72 c | 359187 | 146382 1439209 4855494 | 2147483647 319076 28 | 0.418 % |
483.58/483.80 c | 359729 | 146382 1439209 4855494 | 2147483647 319618 28 | 0.418 % |
485.18/485.42 c | 360325 | 146382 1439209 4855494 | 2147483647 320214 28 | 0.418 % |
486.09/486.33 c | 360981 | 146382 1439209 4855494 | 2147483647 320870 28 | 0.418 % |
486.89/487.15 c | 361701 | 146382 1439209 4855494 | 2147483647 321590 28 | 0.418 % |
488.29/488.53 c | 362493 | 146382 1439209 4855494 | 2147483647 322382 28 | 0.418 % |
489.49/489.77 c | 363364 | 146382 1439209 4855494 | 2147483647 323253 28 | 0.418 % |
491.99/492.29 c | 364326 | 146382 1439209 4855494 | 2147483647 324215 28 | 0.418 % |
494.48/494.70 c | 365379 | 146382 1439209 4855494 | 2147483647 325268 28 | 0.418 % |
497.18/497.46 c | 366537 | 146382 1439209 4855494 | 2147483647 326426 28 | 0.418 % |
499.48/499.71 c | 367811 | 146382 1439209 4855494 | 2147483647 327700 28 | 0.418 % |
501.68/501.92 c | 369211 | 146382 1439209 4855494 | 2147483647 329100 28 | 0.418 % |
504.88/505.18 c | 370751 | 146382 1439209 4855494 | 2147483647 330640 28 | 0.418 % |
508.88/509.13 c | 372446 | 146382 1439209 4855494 | 2147483647 332335 28 | 0.418 % |
512.78/513.01 c | 374310 | 146382 1439209 4855494 | 2147483647 334199 28 | 0.418 % |
517.47/517.78 c | 376360 | 146379 1439185 4855412 | 2147483647 336244 28 | 0.420 % |
523.07/523.35 c | 378614 | 146379 1439185 4855412 | 2147483647 338498 28 | 0.420 % |
527.77/528.00 c | 381092 | 146379 1439185 4855412 | 2147483647 340976 28 | 0.420 % |
536.16/536.43 c | 383817 | 146379 1439185 4855412 | 2147483647 343701 28 | 0.420 % |
541.77/542.04 c | 386814 | 146379 1439185 4855412 | 2147483647 346698 28 | 0.420 % |
546.47/546.76 c | 390110 | 146379 1439185 4855412 | 2147483647 349994 29 | 0.420 % |
556.36/556.63 c | 393735 | 146379 1439185 4855412 | 2147483647 353619 29 | 0.420 % |
556.56/556.88 c | 393837 | 146379 1439185 4855412 | 2147483647 353721 29 | 0.420 % |
557.06/557.31 c | 393948 | 146379 1439185 4855412 | 2147483647 353832 29 | 0.420 % |
557.26/557.54 c | 394069 | 146379 1439185 4855412 | 2147483647 353953 29 | 0.420 % |
557.46/557.77 c | 394204 | 146379 1439185 4855412 | 2147483647 354088 29 | 0.420 % |
557.86/558.13 c | 394350 | 146379 1439185 4855412 | 2147483647 354234 29 | 0.420 % |
558.26/558.54 c | 394510 | 146379 1439185 4855412 | 2147483647 354394 29 | 0.420 % |
558.56/558.86 c | 394686 | 146379 1439185 4855412 | 2147483647 354570 29 | 0.420 % |
558.86/559.19 c | 394881 | 146379 1439185 4855412 | 2147483647 354765 29 | 0.420 % |
559.36/559.64 c | 395093 | 146379 1439185 4855412 | 2147483647 354977 29 | 0.420 % |
559.86/560.19 c | 395328 | 146379 1439185 4855412 | 2147483647 355212 29 | 0.420 % |
560.85/561.14 c | 395585 | 146379 1439185 4855412 | 2147483647 355469 29 | 0.420 % |
561.76/562.00 c | 395869 | 146379 1439185 4855412 | 2147483647 355753 29 | 0.420 % |
562.55/562.87 c | 396178 | 146379 1439185 4855412 | 2147483647 356062 29 | 0.420 % |
563.35/563.62 c | 396518 | 146379 1439185 4855412 | 2147483647 356402 29 | 0.420 % |
564.06/564.33 c | 396891 | 146379 1439185 4855412 | 2147483647 356775 29 | 0.420 % |
564.95/565.25 c | 397300 | 146379 1439185 4855412 | 2147483647 357184 29 | 0.420 % |
566.16/566.42 c | 397749 | 146379 1439185 4855412 | 2147483647 357633 29 | 0.420 % |
566.75/567.05 c | 398242 | 146379 1439185 4855412 | 2147483647 358126 29 | 0.420 % |
568.25/568.56 c | 398784 | 146379 1439185 4855412 | 2147483647 358668 29 | 0.420 % |
569.45/569.76 c | 399380 | 146379 1439185 4855412 | 2147483647 359264 29 | 0.420 % |
570.45/570.72 c | 400036 | 146379 1439185 4855412 | 2147483647 359920 29 | 0.420 % |
571.85/572.18 c | 400756 | 146379 1439185 4855412 | 2147483647 360640 29 | 0.420 % |
574.35/574.65 c | 401549 | 146379 1439185 4855412 | 2147483647 361433 29 | 0.420 % |
576.96/577.27 c | 402420 | 146379 1439185 4855412 | 2147483647 362304 29 | 0.420 % |
579.95/580.29 c | 403378 | 146379 1439185 4855412 | 2147483647 363262 29 | 0.420 % |
582.95/583.23 c | 404433 | 146379 1439185 4855412 | 2147483647 364317 29 | 0.420 % |
584.86/585.15 c | 405595 | 146379 1439185 4855412 | 2147483647 365479 29 | 0.420 % |
588.45/588.78 c | 406870 | 146379 1439185 4855412 | 2147483647 366754 29 | 0.420 % |
592.45/592.78 c | 408272 | 146379 1439185 4855412 | 2147483647 368156 29 | 0.420 % |
596.34/596.64 c | 409814 | 146379 1439185 4855412 | 2147483647 369698 29 | 0.420 % |
600.84/601.12 c | 411508 | 146379 1439185 4855412 | 2147483647 371392 29 | 0.420 % |
605.34/605.68 c | 413372 | 146379 1439185 4855412 | 2147483647 373256 29 | 0.420 % |
609.94/610.28 c | 415421 | 146379 1439185 4855412 | 2147483647 375305 29 | 0.420 % |
613.94/614.29 c | 417676 | 146379 1439185 4855412 | 2147483647 377560 29 | 0.420 % |
621.54/621.89 c | 420154 | 146379 1439185 4855412 | 2147483647 380038 29 | 0.420 % |
627.64/627.91 c | 422880 | 146379 1439185 4855412 | 2147483647 382764 29 | 0.420 % |
635.72/636.06 c | 425877 | 146379 1439185 4855412 | 2147483647 385761 29 | 0.420 % |
642.92/643.29 c | 429173 | 146379 1439185 4855412 | 2147483647 389057 29 | 0.420 % |
654.32/654.69 c | 432801 | 146379 1439185 4855412 | 2147483647 392685 29 | 0.420 % |
662.12/662.45 c | 436789 | 146379 1439185 4855412 | 2147483647 396673 29 | 0.420 % |
662.52/662.86 c | 436891 | 146379 1439185 4855412 | 2147483647 396775 29 | 0.420 % |
662.82/663.14 c | 437001 | 146379 1439185 4855412 | 2147483647 396885 29 | 0.420 % |
663.32/663.68 c | 437122 | 146379 1439185 4855412 | 2147483647 397006 29 | 0.420 % |
663.82/664.13 c | 437256 | 146379 1439185 4855412 | 2147483647 397140 29 | 0.420 % |
664.22/664.51 c | 437402 | 146379 1439185 4855412 | 2147483647 397286 29 | 0.420 % |
664.62/664.93 c | 437562 | 146379 1439185 4855412 | 2147483647 397446 29 | 0.420 % |
665.12/665.49 c | 437739 | 146379 1439185 4855412 | 2147483647 397623 29 | 0.420 % |
665.81/666.16 c | 437932 | 146379 1439185 4855412 | 2147483647 397816 29 | 0.420 % |
666.32/666.63 c | 438144 | 146379 1439185 4855412 | 2147483647 398028 29 | 0.420 % |
667.01/667.34 c | 438377 | 146379 1439185 4855412 | 2147483647 398261 29 | 0.420 % |
667.32/667.61 c | 438633 | 146379 1439185 4855412 | 2147483647 398517 29 | 0.420 % |
667.71/668.00 c | 438914 | 146379 1439185 4855412 | 2147483647 398798 29 | 0.420 % |
668.31/668.62 c | 439227 | 146379 1439185 4855412 | 2147483647 399111 29 | 0.420 % |
669.31/669.65 c | 439566 | 146379 1439185 4855412 | 2147483647 399450 29 | 0.420 % |
670.31/670.63 c | 439938 | 146379 1439185 4855412 | 2147483647 399822 29 | 0.420 % |
671.11/671.46 c | 440348 | 146379 1439185 4855412 | 2147483647 400232 29 | 0.420 % |
671.71/672.08 c | 440797 | 146379 1439185 4855412 | 2147483647 400681 29 | 0.420 % |
672.71/673.05 c | 441291 | 146379 1439185 4855412 | 2147483647 401175 29 | 0.420 % |
674.21/674.55 c | 441833 | 146379 1439185 4855412 | 2147483647 401717 29 | 0.420 % |
674.81/675.15 c | 442432 | 146379 1439185 4855412 | 2147483647 402316 29 | 0.420 % |
675.81/676.10 c | 443088 | 146379 1439185 4855412 | 2147483647 402972 29 | 0.420 % |
677.01/677.40 c | 443808 | 146379 1439185 4855412 | 2147483647 403692 29 | 0.420 % |
678.01/678.38 c | 444600 | 146379 1439185 4855412 | 2147483647 404484 29 | 0.420 % |
680.21/680.53 c | 445471 | 146379 1439185 4855412 | 2147483647 405355 29 | 0.420 % |
681.21/681.57 c | 446429 | 146379 1439185 4855412 | 2147483647 406313 29 | 0.420 % |
681.71/682.01 c | 447483 | 146379 1439185 4855412 | 2147483647 407367 29 | 0.420 % |
682.10/682.47 c | 448642 | 146379 1439185 4855412 | 2147483647 408526 29 | 0.420 % |
682.91/683.24 c | 449918 | 146379 1439185 4855412 | 2147483647 409802 29 | 0.420 % |
685.61/685.98 c | 451319 | 146379 1439185 4855412 | 2147483647 411203 29 | 0.420 % |
687.22/687.57 c | 452860 | 146379 1439185 4855412 | 2147483647 412744 29 | 0.420 % |
689.31/689.64 c | 454554 | 146379 1439185 4855412 | 2147483647 414438 29 | 0.420 % |
691.71/692.06 c | 456418 | 146379 1439185 4855412 | 2147483647 416302 28 | 0.420 % |
698.86/699.22 c | 458468 | 146379 1439185 4855412 | 2147483647 418352 28 | 0.420 % |
706.03/706.46 c | 460722 | 146379 1439185 4855412 | 2147483647 420606 28 | 0.420 % |
707.83/708.25 c | 463200 | 146379 1439185 4855412 | 2147483647 423084 28 | 0.420 % |
711.73/712.16 c | 465925 | 146379 1439185 4855412 | 2147483647 425809 28 | 0.420 % |
715.53/715.99 c | 468922 | 146379 1439185 4855412 | 2147483647 428806 28 | 0.420 % |
724.72/725.18 c | 472218 | 146379 1439185 4855412 | 2147483647 432102 28 | 0.420 % |
738.82/739.26 c | 475843 | 145958 1412406 4722603 | 2147483647 184783 22 | 0.707 % |
744.52/744.96 c | 479830 | 145958 1412406 4722603 | 2147483647 188770 22 | 0.707 % |
747.52/747.93 c | 484215 | 145958 1412406 4722603 | 2147483647 193155 22 | 0.707 % |
747.62/748.07 c | 484315 | 145958 1412406 4722603 | 2147483647 193255 22 | 0.707 % |
747.82/748.23 c | 484427 | 145958 1412406 4722603 | 2147483647 193367 22 | 0.707 % |
747.92/748.39 c | 484552 | 145958 1412406 4722603 | 2147483647 193492 22 | 0.707 % |
748.12/748.56 c | 484685 | 145958 1412406 4722603 | 2147483647 193625 22 | 0.707 % |
748.32/748.78 c | 484832 | 145958 1412406 4722603 | 2147483647 193772 22 | 0.707 % |
748.42/748.89 c | 484993 | 145958 1412406 4722603 | 2147483647 193933 22 | 0.707 % |
748.72/749.19 c | 485170 | 145958 1412406 4722603 | 2147483647 194110 22 | 0.707 % |
749.02/749.45 c | 485363 | 145958 1412406 4722603 | 2147483647 194303 22 | 0.707 % |
749.22/749.62 c | 485575 | 145958 1412406 4722603 | 2147483647 194515 22 | 0.707 % |
749.42/749.86 c | 485808 | 145958 1412406 4722603 | 2147483647 194748 22 | 0.707 % |
749.62/750.05 c | 486064 | 145958 1412406 4722603 | 2147483647 195004 22 | 0.707 % |
749.92/750.35 c | 486345 | 145958 1412406 4722603 | 2147483647 195285 22 | 0.707 % |
750.32/750.73 c | 486654 | 145958 1412406 4722603 | 2147483647 195594 22 | 0.707 % |
750.82/751.25 c | 486993 | 145958 1412406 4722603 | 2147483647 195933 22 | 0.707 % |
751.02/751.46 c | 487366 | 145958 1412406 4722603 | 2147483647 196306 22 | 0.707 % |
751.72/752.12 c | 487775 | 145958 1412406 4722603 | 2147483647 196715 22 | 0.707 % |
752.22/752.66 c | 488227 | 145958 1412406 4722603 | 2147483647 197167 22 | 0.707 % |
752.82/753.29 c | 488721 | 145958 1412406 4722603 | 2147483647 197661 22 | 0.707 % |
753.32/753.78 c | 489263 | 145958 1412406 4722603 | 2147483647 198203 22 | 0.707 % |
754.22/754.68 c | 489861 | 145958 1412406 4722603 | 2147483647 198801 22 | 0.707 % |
755.32/755.73 c | 490517 | 145953 1411923 4721099 | 2147483647 197228 22 | 0.710 % |
756.21/756.67 c | 491237 | 145953 1411923 4721099 | 2147483647 197947 22 | 0.739 % |
757.42/757.83 c | 492029 | 145953 1411923 4721099 | 2147483647 198739 22 | 0.739 % |
758.31/758.74 c | 492900 | 145953 1411923 4721099 | 2147483647 199610 22 | 0.739 % |
759.72/760.14 c | 493858 | 145953 1411923 4721099 | 2147483647 200568 22 | 0.739 % |
761.11/761.50 c | 494911 | 145953 1411923 4721099 | 2147483647 201621 22 | 0.739 % |
762.61/763.03 c ===============================================================================
762.61/763.03 c restarts : 889
762.61/763.03 c conflicts : 495882 (778 /sec)
762.61/763.03 c decisions : 849434 (1.90 % random) (1332 /sec)
762.61/763.03 c propagations : 347364739 (544782 /sec)
762.61/763.03 c conflict literals : 13616071 (44.05 % deleted)
762.61/763.03 c Memory used : 139.59 MB
762.61/763.03 c CPU time : 637.621 s
762.61/763.03 c
762.61/763.03 s UNSATISFIABLE
762.61/763.06 s UNSATISFIABLE
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1837440-1242870623/watcher-1837440-1242870623 -o /tmp/evaluation-result-1837440-1242870623/solver-1837440-1242870623 -C 10000 -W 12000 -M 1800 SatELiteGTI HOME/instance-1837440-1242870623.cnf
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 10000 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 10030 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 12000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 20448
/proc/meminfo: memFree=1650064/2055920 swapFree=4168328/4192956
[pid=20448] ppid=20446 vsize=5356 CPUtime=0
/proc/20448/stat : 20448 (SatELiteGTI) S 20446 20448 20344 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 315095783 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 253307183940 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/20448/statm: 1339 237 197 169 0 50 0
[startup+0.089358 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 20448
/proc/meminfo: memFree=1650064/2055920 swapFree=4168328/4192956
[pid=20448] ppid=20446 vsize=5356 CPUtime=0
/proc/20448/stat : 20448 (SatELiteGTI) S 20446 20448 20344 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 315095783 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 253307183940 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/20448/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.10136 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 20448
/proc/meminfo: memFree=1650064/2055920 swapFree=4168328/4192956
[pid=20448] ppid=20446 vsize=5356 CPUtime=0
/proc/20448/stat : 20448 (SatELiteGTI) S 20446 20448 20344 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 315095783 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 253307183940 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/20448/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.301393 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 20448
/proc/meminfo: memFree=1650064/2055920 swapFree=4168328/4192956
[pid=20448] ppid=20446 vsize=5356 CPUtime=0
/proc/20448/stat : 20448 (SatELiteGTI) S 20446 20448 20344 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 315095783 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 253307183940 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/20448/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.701461 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 20448
/proc/meminfo: memFree=1650064/2055920 swapFree=4168328/4192956
[pid=20448] ppid=20446 vsize=5356 CPUtime=0
/proc/20448/stat : 20448 (SatELiteGTI) S 20446 20448 20344 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 315095783 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 253307183940 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/20448/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+1.5016 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 20453
/proc/meminfo: memFree=1520448/2055920 swapFree=4168328/4192956
[pid=20448] ppid=20446 vsize=5356 CPUtime=0
/proc/20448/stat : 20448 (SatELiteGTI) S 20446 20448 20344 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 315095783 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 253307183940 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/20448/statm: 1339 237 197 169 0 50 0
[pid=20452] ppid=20448 vsize=215300 CPUtime=1.48
/proc/20452/stat : 20452 (SatELite_releas) R 20448 20448 20344 0 -1 4194304 44607 0 0 0 121 27 0 0 25 0 1 0 315095784 220467200 44497 1992294400 134512640 135223648 4294956128 18446744073709551615 134737310 0 0 4096 3 0 0 0 17 1 0 0
/proc/20452/statm: 53825 44499 50 173 0 53650 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 220656
[startup+3.10187 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 20453
/proc/meminfo: memFree=1424320/2055920 swapFree=4168328/4192956
[pid=20448] ppid=20446 vsize=5356 CPUtime=0
/proc/20448/stat : 20448 (SatELiteGTI) S 20446 20448 20344 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 315095783 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 253307183940 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/20448/statm: 1339 237 197 169 0 50 0
[pid=20452] ppid=20448 vsize=361184 CPUtime=3.08
/proc/20452/stat : 20452 (SatELite_releas) R 20448 20448 20344 0 -1 4194304 80122 0 0 0 260 48 0 0 25 0 1 0 315095784 369852416 80012 1992294400 134512640 135223648 4294956128 18446744073709551615 134549033 0 0 4096 3 0 0 0 17 1 0 0
/proc/20452/statm: 90296 80012 70 173 0 90121 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 366540
[startup+6.30142 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 20453
/proc/meminfo: memFree=1316096/2055920 swapFree=4168328/4192956
[pid=20448] ppid=20446 vsize=5356 CPUtime=0
/proc/20448/stat : 20448 (SatELiteGTI) S 20446 20448 20344 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 315095783 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 253307183940 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/20448/statm: 1339 237 197 169 0 50 0
[pid=20452] ppid=20448 vsize=382936 CPUtime=6.29
/proc/20452/stat : 20452 (SatELite_releas) R 20448 20448 20344 0 -1 4194304 83673 0 0 0 579 50 0 0 25 0 1 0 315095784 392126464 83563 1992294400 134512640 135223648 4294956128 18446744073709551615 134548581 0 0 4096 3 0 0 0 17 1 0 0
/proc/20452/statm: 95734 83563 70 173 0 95559 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 388292
[startup+12.7015 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 20453
/proc/meminfo: memFree=1286720/2055920 swapFree=4168328/4192956
[pid=20448] ppid=20446 vsize=5356 CPUtime=0
/proc/20448/stat : 20448 (SatELiteGTI) S 20446 20448 20344 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 315095783 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 253307183940 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/20448/statm: 1339 237 197 169 0 50 0
[pid=20452] ppid=20448 vsize=428572 CPUtime=12.68
/proc/20452/stat : 20452 (SatELite_releas) R 20448 20448 20344 0 -1 4194304 91099 0 0 0 1214 54 0 0 25 0 1 0 315095784 438857728 90862 1992294400 134512640 135223648 4294956128 18446744073709551615 134548334 0 0 4096 3 0 0 0 17 1 0 0
/proc/20452/statm: 107143 90862 75 173 0 106968 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 433928
[startup+25.5017 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 20453
/proc/meminfo: memFree=1286784/2055920 swapFree=4168328/4192956
[pid=20448] ppid=20446 vsize=5356 CPUtime=0
/proc/20448/stat : 20448 (SatELiteGTI) S 20446 20448 20344 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 315095783 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 253307183940 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/20448/statm: 1339 237 197 169 0 50 0
[pid=20452] ppid=20448 vsize=428572 CPUtime=25.48
/proc/20452/stat : 20452 (SatELite_releas) R 20448 20448 20344 0 -1 4194304 91120 0 0 0 2494 54 0 0 25 0 1 0 315095784 438857728 90883 1992294400 134512640 135223648 4294956128 18446744073709551615 134548577 0 0 4096 3 0 0 0 17 1 0 0
/proc/20452/statm: 107143 90883 75 173 0 106968 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 433928
[startup+51.1011 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 20453
/proc/meminfo: memFree=1287040/2055920 swapFree=4168328/4192956
[pid=20448] ppid=20446 vsize=5356 CPUtime=0
/proc/20448/stat : 20448 (SatELiteGTI) S 20446 20448 20344 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 315095783 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 253307183940 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/20448/statm: 1339 237 197 169 0 50 0
[pid=20452] ppid=20448 vsize=428120 CPUtime=51.07
/proc/20452/stat : 20452 (SatELite_releas) R 20448 20448 20344 0 -1 4194304 91199 0 0 0 5053 54 0 0 25 0 1 0 315095784 438394880 90849 1992294400 134512640 135223648 4294956128 18446744073709551615 134548334 0 0 4096 3 0 0 0 17 1 0 0
/proc/20452/statm: 107030 90849 75 173 0 106855 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 433476
[startup+102.306 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 20453
/proc/meminfo: memFree=1287232/2055920 swapFree=4168328/4192956
[pid=20448] ppid=20446 vsize=5356 CPUtime=0
/proc/20448/stat : 20448 (SatELiteGTI) S 20446 20448 20344 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 315095783 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 253307183940 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/20448/statm: 1339 237 197 169 0 50 0
[pid=20452] ppid=20448 vsize=430036 CPUtime=102.26
/proc/20452/stat : 20452 (SatELite_releas) R 20448 20448 20344 0 -1 4194304 91582 0 0 0 10171 55 0 0 25 0 1 0 315095784 440356864 90815 1992294400 134512640 135223648 4294956128 18446744073709551615 134548203 0 0 4096 3 0 0 0 17 1 0 0
/proc/20452/statm: 107509 90815 75 173 0 107334 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 435392
[startup+162.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 20454
/proc/meminfo: memFree=1500864/2055920 swapFree=4168328/4192956
[pid=20448] ppid=20446 vsize=5356 CPUtime=124.67
/proc/20448/stat : 20448 (SatELiteGTI) S 20446 20448 20344 0 -1 4194304 336 114809 0 0 0 0 12366 101 16 0 1 0 315095783 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 253307183940 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20448/statm: 1339 239 197 169 0 50 0
[pid=20454] ppid=20448 vsize=89572 CPUtime=37.56
/proc/20454/stat : 20454 (minisat_static) R 20448 20448 20344 0 -1 4194304 21710 0 0 0 3742 14 0 0 25 0 1 0 315108255 91721728 21670 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/20454/statm: 22393 21670 77 171 0 22220 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 94928
[startup+222.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 20454
/proc/meminfo: memFree=1490304/2055920 swapFree=4168328/4192956
[pid=20448] ppid=20446 vsize=5356 CPUtime=124.67
/proc/20448/stat : 20448 (SatELiteGTI) S 20446 20448 20344 0 -1 4194304 336 114809 0 0 0 0 12366 101 16 0 1 0 315095783 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 253307183940 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20448/statm: 1339 239 197 169 0 50 0
[pid=20454] ppid=20448 vsize=99900 CPUtime=97.53
/proc/20454/stat : 20454 (minisat_static) R 20448 20448 20344 0 -1 4194304 24301 0 0 0 9735 18 0 0 25 0 1 0 315108255 102297600 24261 1992294400 134512640 135215339 4294956240 18446744073709551615 134527276 0 0 4096 3 0 0 0 17 1 0 0
/proc/20454/statm: 24975 24261 77 171 0 24802 0
Current children cumulated CPU time (s) 222.2
Current children cumulated vsize (KiB) 105256
[startup+282.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 20454
/proc/meminfo: memFree=1481472/2055920 swapFree=4168328/4192956
[pid=20448] ppid=20446 vsize=5356 CPUtime=124.67
/proc/20448/stat : 20448 (SatELiteGTI) S 20446 20448 20344 0 -1 4194304 336 114809 0 0 0 0 12366 101 16 0 1 0 315095783 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 253307183940 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20448/statm: 1339 239 197 169 0 50 0
[pid=20454] ppid=20448 vsize=109284 CPUtime=157.5
/proc/20454/stat : 20454 (minisat_static) R 20448 20448 20344 0 -1 4194304 26575 0 0 0 15729 21 0 0 25 0 1 0 315108255 111906816 26535 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 1 0 0
/proc/20454/statm: 27321 26535 77 171 0 27148 0
Current children cumulated CPU time (s) 282.17
Current children cumulated vsize (KiB) 114640
[startup+342.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 20454
/proc/meminfo: memFree=1473472/2055920 swapFree=4168328/4192956
[pid=20448] ppid=20446 vsize=5356 CPUtime=124.67
/proc/20448/stat : 20448 (SatELiteGTI) S 20446 20448 20344 0 -1 4194304 336 114809 0 0 0 0 12366 101 16 0 1 0 315095783 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 253307183940 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20448/statm: 1339 239 197 169 0 50 0
[pid=20454] ppid=20448 vsize=116700 CPUtime=217.47
/proc/20454/stat : 20454 (minisat_static) R 20448 20448 20344 0 -1 4194304 28489 0 0 0 21724 23 0 0 25 0 1 0 315108255 119500800 28449 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/20454/statm: 29175 28449 77 171 0 29002 0
Current children cumulated CPU time (s) 342.14
Current children cumulated vsize (KiB) 122056
[startup+402.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 20454
/proc/meminfo: memFree=1469248/2055920 swapFree=4168328/4192956
[pid=20448] ppid=20446 vsize=5356 CPUtime=124.67
/proc/20448/stat : 20448 (SatELiteGTI) S 20446 20448 20344 0 -1 4194304 336 114809 0 0 0 0 12366 101 16 0 1 0 315095783 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 253307183940 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20448/statm: 1339 239 197 169 0 50 0
[pid=20454] ppid=20448 vsize=120820 CPUtime=277.45
/proc/20454/stat : 20454 (minisat_static) R 20448 20448 20344 0 -1 4194304 29538 0 0 0 27720 25 0 0 25 0 1 0 315108255 123719680 29498 1992294400 134512640 135215339 4294956240 18446744073709551615 134528740 0 0 4096 3 0 0 0 17 1 0 0
/proc/20454/statm: 30205 29498 77 171 0 30032 0
Current children cumulated CPU time (s) 402.12
Current children cumulated vsize (KiB) 126176
[startup+462.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 20454
/proc/meminfo: memFree=1466816/2055920 swapFree=4168328/4192956
[pid=20448] ppid=20446 vsize=5356 CPUtime=124.67
/proc/20448/stat : 20448 (SatELiteGTI) S 20446 20448 20344 0 -1 4194304 336 114809 0 0 0 0 12366 101 16 0 1 0 315095783 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 253307183940 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20448/statm: 1339 239 197 169 0 50 0
[pid=20454] ppid=20448 vsize=123224 CPUtime=337.42
/proc/20454/stat : 20454 (minisat_static) R 20448 20448 20344 0 -1 4194304 30136 0 0 0 33716 26 0 0 25 0 1 0 315108255 126181376 30096 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/20454/statm: 30806 30096 77 171 0 30633 0
Current children cumulated CPU time (s) 462.09
Current children cumulated vsize (KiB) 128580
[startup+522.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 20454
/proc/meminfo: memFree=1461888/2055920 swapFree=4168328/4192956
[pid=20448] ppid=20446 vsize=5356 CPUtime=124.67
/proc/20448/stat : 20448 (SatELiteGTI) S 20446 20448 20344 0 -1 4194304 336 114809 0 0 0 0 12366 101 16 0 1 0 315095783 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 253307183940 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20448/statm: 1339 239 197 169 0 50 0
[pid=20454] ppid=20448 vsize=128604 CPUtime=397.4
/proc/20454/stat : 20454 (minisat_static) R 20448 20448 20344 0 -1 4194304 31361 0 0 0 39713 27 0 0 25 0 1 0 315108255 131690496 31321 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/20454/statm: 32151 31321 77 171 0 31978 0
Current children cumulated CPU time (s) 522.07
Current children cumulated vsize (KiB) 133960
[startup+582.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 20454
/proc/meminfo: memFree=1457600/2055920 swapFree=4168328/4192956
[pid=20448] ppid=20446 vsize=5356 CPUtime=124.67
/proc/20448/stat : 20448 (SatELiteGTI) S 20446 20448 20344 0 -1 4194304 336 114809 0 0 0 0 12366 101 16 0 1 0 315095783 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 253307183940 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20448/statm: 1339 239 197 169 0 50 0
[pid=20454] ppid=20448 vsize=132748 CPUtime=457.38
/proc/20454/stat : 20454 (minisat_static) R 20448 20448 20344 0 -1 4194304 32389 0 0 0 45709 29 0 0 25 0 1 0 315108255 135933952 32349 1992294400 134512640 135215339 4294956240 18446744073709551615 134528624 0 0 4096 3 0 0 0 17 1 0 0
/proc/20454/statm: 33187 32349 77 171 0 33014 0
Current children cumulated CPU time (s) 582.05
Current children cumulated vsize (KiB) 138104
[startup+642.301 s]
/proc/loadavg: 1.07 1.02 1.00 2/66 20460
/proc/meminfo: memFree=1453504/2055920 swapFree=4168328/4192956
[pid=20448] ppid=20446 vsize=5356 CPUtime=124.67
/proc/20448/stat : 20448 (SatELiteGTI) S 20446 20448 20344 0 -1 4194304 336 114809 0 0 0 0 12366 101 16 0 1 0 315095783 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 253307183940 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20448/statm: 1339 239 197 169 0 50 0
[pid=20454] ppid=20448 vsize=136572 CPUtime=517.35
/proc/20454/stat : 20454 (minisat_static) R 20448 20448 20344 0 -1 4194304 33366 0 0 0 51705 30 0 0 25 0 1 0 315108255 139849728 33326 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 1 0 0
/proc/20454/statm: 34143 33326 77 171 0 33970 0
Current children cumulated CPU time (s) 642.02
Current children cumulated vsize (KiB) 141928
[startup+702.301 s]
/proc/loadavg: 1.18 1.04 1.01 3/72 20895
/proc/meminfo: memFree=1407400/2055920 swapFree=4168328/4192956
[pid=20448] ppid=20446 vsize=5356 CPUtime=124.67
/proc/20448/stat : 20448 (SatELiteGTI) S 20446 20448 20344 0 -1 4194304 336 114809 0 0 0 0 12366 101 16 0 1 0 315095783 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 253307183940 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20448/statm: 1339 239 197 169 0 50 0
[pid=20454] ppid=20448 vsize=141176 CPUtime=577.27
/proc/20454/stat : 20454 (minisat_static) R 20448 20448 20344 0 -1 4194304 34500 0 0 0 57692 35 0 0 25 0 1 0 315108255 144564224 34460 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/20454/statm: 35294 34460 77 171 0 35121 0
Current children cumulated CPU time (s) 701.94
Current children cumulated vsize (KiB) 146532
[startup+762.306 s]
/proc/loadavg: 1.06 1.03 1.00 2/66 20936
/proc/meminfo: memFree=1407096/2055920 swapFree=4168328/4192956
[pid=20448] ppid=20446 vsize=5356 CPUtime=124.67
/proc/20448/stat : 20448 (SatELiteGTI) S 20446 20448 20344 0 -1 4194304 336 114809 0 0 0 0 12366 101 16 0 1 0 315095783 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 253307183940 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20448/statm: 1339 239 197 169 0 50 0
[pid=20454] ppid=20448 vsize=142940 CPUtime=637.25
/proc/20454/stat : 20454 (minisat_static) R 20448 20448 20344 0 -1 4194304 34947 0 0 0 63689 36 0 0 25 0 1 0 315108255 146370560 34907 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/20454/statm: 35735 34907 77 171 0 35562 0
Current children cumulated CPU time (s) 761.92
Current children cumulated vsize (KiB) 148296
Solver just ended. Dumping a history of the last processes samples
[startup+762.702 s]
/proc/loadavg: 1.06 1.03 1.00 2/66 20936
/proc/meminfo: memFree=1407096/2055920 swapFree=4168328/4192956
[pid=20448] ppid=20446 vsize=5356 CPUtime=124.67
/proc/20448/stat : 20448 (SatELiteGTI) S 20446 20448 20344 0 -1 4194304 336 114809 0 0 0 0 12366 101 16 0 1 0 315095783 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 253307183940 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20448/statm: 1339 239 197 169 0 50 0
[pid=20454] ppid=20448 vsize=142940 CPUtime=637.64
/proc/20454/stat : 20454 (minisat_static) R 20448 20448 20344 0 -1 4194304 34947 0 0 0 63728 36 0 0 25 0 1 0 315108255 146370560 34907 1992294400 134512640 135215339 4294956240 18446744073709551615 134528728 0 0 4096 3 0 0 0 17 1 0 0
/proc/20454/statm: 35735 34907 77 171 0 35562 0
Current children cumulated CPU time (s) 762.31
Current children cumulated vsize (KiB) 148296
[startup+762.902 s]
/proc/loadavg: 1.06 1.03 1.00 2/66 20936
/proc/meminfo: memFree=1407096/2055920 swapFree=4168328/4192956
[pid=20448] ppid=20446 vsize=5356 CPUtime=124.67
/proc/20448/stat : 20448 (SatELiteGTI) S 20446 20448 20344 0 -1 4194304 336 114809 0 0 0 0 12366 101 16 0 1 0 315095783 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 253307183940 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20448/statm: 1339 239 197 169 0 50 0
[pid=20454] ppid=20448 vsize=142940 CPUtime=637.84
/proc/20454/stat : 20454 (minisat_static) R 20448 20448 20344 0 -1 4194304 34947 0 0 0 63748 36 0 0 25 0 1 0 315108255 146370560 34907 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/20454/statm: 35735 34907 77 171 0 35562 0
Current children cumulated CPU time (s) 762.51
Current children cumulated vsize (KiB) 148296
[startup+763.002 s]
/proc/loadavg: 1.06 1.03 1.00 2/66 20936
/proc/meminfo: memFree=1407096/2055920 swapFree=4168328/4192956
[pid=20448] ppid=20446 vsize=5356 CPUtime=124.67
/proc/20448/stat : 20448 (SatELiteGTI) S 20446 20448 20344 0 -1 4194304 336 114809 0 0 0 0 12366 101 16 0 1 0 315095783 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 253307183940 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20448/statm: 1339 239 197 169 0 50 0
[pid=20454] ppid=20448 vsize=142940 CPUtime=637.94
/proc/20454/stat : 20454 (minisat_static) R 20448 20448 20344 0 -1 4194304 34947 0 0 0 63758 36 0 0 25 0 1 0 315108255 146370560 34907 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/20454/statm: 35735 34907 77 171 0 35562 0
Current children cumulated CPU time (s) 762.61
Current children cumulated vsize (KiB) 148296
Child status: 20
Real time (s): 763.096
CPU time (s): 762.716
CPU user time (s): 761.282
CPU system time (s): 1.43378
CPU usage (%): 99.9503
Max. virtual memory (cumulated for all children) (KiB): 466488
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 761.282
system time used= 1.43378
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 150253
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 47
involuntary context switches= 2410
runsolver used 0.875866 second user time and 1.9717 second system time
The end
Begin job on node25 at 2009-05-21 03:50:28
IDJOB=1837440
IDBENCH=70965
IDSOLVER=674
FILE ID=node25/1837440-1242870623
PBS_JOBID= 9328600
Free space on /tmp= 66288 MiB
SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT09/APPLICATIONS/bioinfo/q_query_3_L200_coli.sat.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1837440-1242870623/watcher-1837440-1242870623 -o /tmp/evaluation-result-1837440-1242870623/solver-1837440-1242870623 -C 10000 -W 12000 -M 1800 SatELiteGTI HOME/instance-1837440-1242870623.cnf
TIME LIMIT= 10000 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 853982f8646333d217e35d938b7eb00b
RANDOM SEED=1480543067
node25.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.259
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5914.62
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.259
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5586.94
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1650544 kB
Buffers: 41804 kB
Cached: 307280 kB
SwapCached: 18660 kB
Active: 181764 kB
Inactive: 187476 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1650544 kB
SwapTotal: 4192956 kB
SwapFree: 4168328 kB
Dirty: 72964 kB
Writeback: 0 kB
Mapped: 13960 kB
Slab: 22212 kB
Committed_AS: 1043428 kB
PageTables: 1472 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264952 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 66288 MiB
End job on node25 at 2009-05-21 04:03:11