0.00/0.00 c Parsing...
3.12/3.18 c ==============================================================================
3.12/3.18 c | | ORIGINAL | LEARNT | |
3.12/3.18 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress |
3.12/3.18 c ==============================================================================
3.12/3.18 c | 0 | 3355019 9898785 | 1006505 0 0 nan | 0.000 % |
152.28/152.38 c | 0 | 1504771 5219166 | -- 0 -- -- | -- | -1498875/-3723973
152.28/152.39 c ==============================================================================
152.28/152.39 c Result : #vars: 146997 #clauses: 1504771 #literals: 5219166
152.28/152.39 c CPU time: 151.76 s
152.28/152.39 c ==============================================================================
154.16/154.25 c This is MiniSat 2.0 beta
154.16/154.25 c WARNING: for repeatability, setting FPU to use double precision
154.16/154.25 c ============================[ Problem Statistics ]=============================
154.16/154.25 c | |
154.16/154.26 c | Number of variables: 146997 |
154.16/154.26 c | Number of clauses: 1504771 |
155.07/155.20 c | Parsing time: 0.84 s |
155.16/155.27 c ============================[ Search Statistics ]==============================
155.16/155.27 c | Conflicts | ORIGINAL | LEARNT | Progress |
155.16/155.27 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
155.16/155.27 c ===============================================================================
155.16/155.27 c | 0 | 146997 1504771 5219166 | 501590 0 nan | 0.000 % |
155.26/155.31 c | 100 | 146991 1504771 5219166 | 501590 98 6 | 0.041 % |
155.36/155.48 c | 202 | 146988 1504771 5219166 | 501590 199 12 | 0.050 % |
155.36/155.49 c | 302 | 146987 1504771 5219166 | 501590 298 11 | 0.051 % |
155.46/155.52 c | 412 | 146987 1504771 5219166 | 501590 408 10 | 0.051 % |
155.46/155.53 c | 513 | 146987 1504771 5219166 | 501590 509 10 | 0.051 % |
155.46/155.54 c | 623 | 146987 1504771 5219166 | 501590 619 10 | 0.051 % |
155.46/155.56 c | 744 | 146981 1504771 5219166 | 501590 739 10 | 0.116 % |
155.46/155.57 c | 844 | 146981 1504771 5219166 | 501590 839 10 | 0.116 % |
155.46/155.58 c | 956 | 146974 1504771 5219166 | 501590 950 10 | 0.135 % |
155.46/155.58 c | 1077 | 146957 1504771 5219166 | 501590 1069 10 | 0.176 % |
155.46/155.60 c | 1210 | 146951 1504771 5219166 | 501590 1202 10 | 0.176 % |
155.56/155.61 c | 1310 | 146951 1504771 5219166 | 501590 1302 10 | 0.176 % |
155.56/155.62 c | 1420 | 146951 1504771 5219166 | 501590 1412 11 | 0.176 % |
155.56/155.67 c | 1541 | 146951 1504771 5219166 | 501590 1533 11 | 0.176 % |
155.56/155.68 c | 1674 | 146946 1504771 5219166 | 501590 1662 11 | 0.184 % |
155.66/155.72 c | 1821 | 146946 1504771 5219166 | 501590 1809 10 | 0.184 % |
155.66/155.75 c | 1921 | 146946 1504771 5219166 | 501590 1908 10 | 0.193 % |
155.66/155.79 c | 2031 | 146946 1504771 5219166 | 501590 2018 10 | 0.193 % |
155.76/155.83 c | 2153 | 146889 1504771 5219166 | 501590 2139 10 | 0.212 % |
155.76/155.85 c | 2286 | 146889 1504771 5219166 | 501590 2272 10 | 0.212 % |
156.46/156.52 c | 2433 | 146889 1504771 5219166 | 501590 2419 10 | 0.212 % |
157.16/157.22 c | 2594 | 146889 1504771 5219166 | 501590 2580 10 | 0.212 % |
157.36/157.50 c | 2694 | 146889 1504771 5219166 | 501590 2680 10 | 0.212 % |
157.46/157.53 c | 2805 | 146874 1504771 5219166 | 501590 2790 10 | 0.247 % |
157.46/157.59 c | 2926 | 146861 1504771 5219166 | 501590 2911 10 | 0.247 % |
157.56/157.65 c | 3060 | 146861 1504771 5219166 | 501590 3045 10 | 0.247 % |
157.56/157.66 c | 3209 | 146861 1504771 5219166 | 501590 3194 10 | 0.247 % |
157.76/157.82 c | 3370 | 146856 1504771 5219166 | 501590 3354 10 | 0.253 % |
157.76/157.89 c | 3547 | 146856 1504771 5219166 | 501590 3531 10 | 0.253 % |
157.76/157.90 c | 3647 | 146856 1504771 5219166 | 501590 3631 10 | 0.253 % |
157.86/157.93 c | 3757 | 146856 1504771 5219166 | 501590 3741 10 | 0.253 % |
157.86/157.94 c | 3879 | 146856 1504771 5219166 | 501590 3863 11 | 0.253 % |
157.86/157.95 c | 4013 | 146856 1504771 5219166 | 501590 3997 11 | 0.253 % |
157.86/157.97 c | 4159 | 146855 1504771 5219166 | 501590 4142 11 | 0.255 % |
157.86/158.00 c | 4319 | 146855 1504771 5219166 | 501590 4302 11 | 0.255 % |
157.96/158.01 c | 4497 | 146855 1504771 5219166 | 501590 4480 11 | 0.255 % |
157.96/158.05 c | 4693 | 146855 1504771 5219166 | 501590 4676 11 | 0.255 % |
158.06/158.11 c | 4793 | 146855 1504771 5219166 | 501590 4776 11 | 0.255 % |
158.06/158.12 c | 4903 | 146855 1504771 5219166 | 501590 4886 11 | 0.255 % |
158.06/158.16 c | 5024 | 146855 1504771 5219166 | 501590 5007 11 | 0.255 % |
158.06/158.19 c | 5158 | 146855 1504771 5219166 | 501590 5141 11 | 0.255 % |
158.16/158.25 c | 5305 | 146855 1504771 5219166 | 501590 5288 11 | 0.255 % |
158.16/158.26 c | 5466 | 146855 1504771 5219166 | 501590 5449 11 | 0.255 % |
158.16/158.28 c | 5642 | 146855 1504771 5219166 | 501590 5625 11 | 0.255 % |
158.16/158.30 c | 5835 | 146854 1504771 5219166 | 501590 5817 11 | 0.257 % |
158.26/158.35 c | 6048 | 146803 1504771 5219166 | 501590 6021 11 | 0.362 % |
158.26/158.39 c | 6148 | 146756 1504771 5219166 | 501590 6120 11 | 0.380 % |
158.37/158.44 c | 6260 | 146756 1504771 5219166 | 501590 6232 11 | 0.380 % |
158.37/158.48 c | 6381 | 146756 1504771 5219166 | 501590 6353 11 | 0.380 % |
158.37/158.49 c | 6515 | 146756 1504771 5219166 | 501590 6487 11 | 0.380 % |
158.56/158.61 c | 6661 | 146756 1504771 5219166 | 501590 6633 11 | 0.380 % |
158.56/158.64 c | 6821 | 146756 1504771 5219166 | 501590 6793 11 | 0.380 % |
158.56/158.66 c | 6999 | 146756 1504771 5219166 | 501590 6971 11 | 0.380 % |
158.56/158.70 c | 7192 | 146756 1504771 5219166 | 501590 7164 11 | 0.380 % |
158.66/158.72 c | 7405 | 146756 1504771 5219166 | 501590 7377 11 | 0.380 % |
158.66/158.74 c | 7638 | 146756 1504771 5219166 | 501590 7610 12 | 0.380 % |
158.66/158.75 c | 7739 | 146756 1504771 5219166 | 501590 7711 12 | 0.380 % |
158.66/158.81 c | 7850 | 146756 1504771 5219166 | 501590 7822 12 | 0.380 % |
158.76/158.82 c | 7971 | 146756 1504771 5219166 | 501590 7943 12 | 0.380 % |
158.76/158.85 c | 8104 | 146755 1504771 5219166 | 501590 8075 12 | 0.382 % |
158.76/158.86 c | 8252 | 146755 1504771 5219166 | 501590 8223 12 | 0.382 % |
158.76/158.89 c | 8415 | 146755 1504771 5219166 | 501590 8386 12 | 0.382 % |
158.96/159.09 c | 8592 | 146721 1504771 5219166 | 501590 8561 12 | 0.386 % |
159.16/159.24 c | 8785 | 146719 1504771 5219166 | 501590 8754 12 | 0.386 % |
159.16/159.28 c | 8999 | 146719 1504771 5219166 | 501590 8968 12 | 0.386 % |
159.26/159.32 c | 9232 | 146719 1504771 5219166 | 501590 9201 12 | 0.386 % |
159.26/159.36 c | 9488 | 146719 1504771 5219166 | 501590 9457 12 | 0.386 % |
159.26/159.38 c | 9589 | 146719 1504771 5219166 | 501590 9558 12 | 0.386 % |
159.26/159.38 c | 9701 | 146719 1504771 5219166 | 501590 9670 12 | 0.386 % |
159.26/159.40 c | 9822 | 146719 1504771 5219166 | 501590 9791 12 | 0.386 % |
159.36/159.43 c | 9956 | 146719 1504771 5219166 | 501590 9925 12 | 0.386 % |
159.36/159.45 c | 10102 | 146719 1504771 5219166 | 2147483647 10071 12 | 0.386 % |
159.36/159.47 c | 10264 | 146719 1504771 5219166 | 2147483647 10233 12 | 0.386 % |
159.36/159.49 c | 10440 | 146719 1504771 5219166 | 2147483647 10409 12 | 0.386 % |
159.56/159.65 c | 10633 | 146429 1447401 4889069 | 2147483647 10166 12 | 0.386 % |
159.56/159.68 c | 10845 | 146429 1447401 4889069 | 2147483647 10378 12 | 0.386 % |
159.56/159.70 c | 11078 | 146429 1447401 4889069 | 2147483647 10611 12 | 0.386 % |
159.66/159.72 c | 11335 | 146429 1447401 4889069 | 2147483647 10868 12 | 0.386 % |
159.66/159.78 c | 11618 | 146429 1447401 4889069 | 2147483647 11151 12 | 0.386 % |
159.66/159.80 c | 11718 | 146429 1447401 4889069 | 2147483647 11251 12 | 0.386 % |
159.76/159.82 c | 11828 | 146429 1447401 4889069 | 2147483647 11361 12 | 0.386 % |
159.76/159.83 c | 11949 | 146429 1447401 4889069 | 2147483647 11482 12 | 0.386 % |
159.76/159.86 c | 12083 | 146429 1447401 4889069 | 2147483647 11616 12 | 0.386 % |
159.76/159.87 c | 12229 | 146429 1447401 4889069 | 2147483647 11762 12 | 0.386 % |
159.76/159.90 c | 12389 | 146429 1447401 4889069 | 2147483647 11922 12 | 0.386 % |
159.86/159.91 c | 12565 | 146429 1447401 4889069 | 2147483647 12098 12 | 0.386 % |
159.86/159.95 c | 12759 | 146429 1447401 4889069 | 2147483647 12292 13 | 0.386 % |
159.86/159.99 c | 12972 | 146429 1447401 4889069 | 2147483647 12505 13 | 0.386 % |
159.96/160.03 c | 13205 | 146429 1447401 4889069 | 2147483647 12738 13 | 0.386 % |
159.96/160.07 c | 13461 | 146429 1447401 4889069 | 2147483647 12994 13 | 0.386 % |
159.96/160.10 c | 13745 | 146429 1447401 4889069 | 2147483647 13278 13 | 0.386 % |
160.06/160.15 c | 14057 | 146429 1447401 4889069 | 2147483647 13590 13 | 0.386 % |
160.06/160.17 c | 14157 | 146429 1447401 4889069 | 2147483647 13690 13 | 0.386 % |
160.06/160.18 c | 14268 | 146429 1447401 4889069 | 2147483647 13801 13 | 0.386 % |
160.06/160.21 c | 14389 | 146429 1447401 4889069 | 2147483647 13922 13 | 0.386 % |
160.16/160.21 c | 14524 | 146429 1447401 4889069 | 2147483647 14057 13 | 0.386 % |
160.16/160.23 c | 14670 | 146429 1447401 4889069 | 2147483647 14203 13 | 0.386 % |
160.16/160.24 c | 14831 | 146429 1447401 4889069 | 2147483647 14364 13 | 0.386 % |
160.16/160.26 c | 15007 | 146429 1447401 4889069 | 2147483647 14540 13 | 0.386 % |
160.16/160.30 c | 15200 | 146429 1447401 4889069 | 2147483647 14733 13 | 0.386 % |
160.26/160.32 c | 15413 | 146429 1447401 4889069 | 2147483647 14946 13 | 0.386 % |
160.26/160.36 c | 15647 | 146429 1447401 4889069 | 2147483647 15180 13 | 0.386 % |
160.26/160.40 c | 15903 | 146429 1447401 4889069 | 2147483647 15436 13 | 0.386 % |
160.36/160.45 c | 16185 | 146428 1447401 4889069 | 2147483647 15717 13 | 0.388 % |
160.36/160.48 c | 16495 | 146428 1447401 4889069 | 2147483647 16027 13 | 0.388 % |
160.46/160.51 c | 16834 | 146428 1447401 4889069 | 2147483647 16366 13 | 0.388 % |
160.46/160.52 c | 16936 | 146428 1447401 4889069 | 2147483647 16468 13 | 0.388 % |
160.46/160.53 c | 17047 | 146428 1447401 4889069 | 2147483647 16579 13 | 0.388 % |
160.46/160.54 c | 17169 | 146428 1447401 4889069 | 2147483647 16701 13 | 0.388 % |
160.46/160.55 c | 17305 | 146428 1447401 4889069 | 2147483647 16837 13 | 0.388 % |
160.46/160.57 c | 17451 | 146428 1447401 4889069 | 2147483647 16983 13 | 0.388 % |
160.46/160.58 c | 17612 | 146428 1447401 4889069 | 2147483647 17144 13 | 0.388 % |
160.46/160.60 c | 17788 | 146428 1447401 4889069 | 2147483647 17320 13 | 0.388 % |
160.57/160.63 c | 17981 | 146428 1447401 4889069 | 2147483647 17513 13 | 0.388 % |
160.57/160.65 c | 18193 | 146428 1447401 4889069 | 2147483647 17725 13 | 0.388 % |
160.57/160.68 c | 18426 | 146428 1447401 4889069 | 2147483647 17958 13 | 0.388 % |
160.66/160.71 c | 18683 | 146428 1447401 4889069 | 2147483647 18215 13 | 0.388 % |
160.66/160.74 c | 18964 | 146428 1447401 4889069 | 2147483647 18496 13 | 0.388 % |
160.66/160.79 c | 19274 | 146428 1447401 4889069 | 2147483647 18806 13 | 0.388 % |
160.76/160.84 c | 19616 | 146428 1447401 4889069 | 2147483647 19148 14 | 0.388 % |
160.76/160.88 c | 19988 | 146427 1447401 4889069 | 2147483647 19520 14 | 0.388 % |
160.86/160.91 c | 20088 | 146427 1447401 4889069 | 2147483647 19620 14 | 0.388 % |
160.86/160.92 c | 20200 | 146427 1447401 4889069 | 2147483647 19732 14 | 0.388 % |
160.86/160.93 c | 20321 | 146427 1447401 4889069 | 2147483647 19853 14 | 0.388 % |
160.86/160.95 c | 20454 | 146427 1447401 4889069 | 2147483647 19986 14 | 0.388 % |
160.86/160.96 c | 20601 | 146427 1447401 4889069 | 2147483647 20133 14 | 0.388 % |
160.86/160.98 c | 20761 | 146425 1447401 4889069 | 2147483647 20292 14 | 0.390 % |
160.86/161.00 c | 20939 | 146425 1447401 4889069 | 2147483647 20470 14 | 0.390 % |
160.96/161.02 c | 21132 | 146425 1447401 4889069 | 2147483647 20663 14 | 0.390 % |
160.96/161.04 c | 21345 | 146425 1447401 4889069 | 2147483647 20876 14 | 0.390 % |
160.96/161.06 c | 21580 | 146425 1447401 4889069 | 2147483647 21111 14 | 0.390 % |
160.96/161.09 c | 21838 | 146425 1447401 4889069 | 2147483647 21369 14 | 0.390 % |
161.06/161.13 c | 22119 | 146425 1447401 4889069 | 2147483647 21650 14 | 0.390 % |
161.06/161.16 c | 22429 | 146425 1447401 4889069 | 2147483647 21960 14 | 0.390 % |
161.06/161.20 c | 22770 | 146425 1447401 4889069 | 2147483647 22301 14 | 0.390 % |
161.16/161.25 c | 23142 | 146425 1447401 4889069 | 2147483647 22673 14 | 0.390 % |
161.16/161.30 c | 23553 | 146425 1447401 4889069 | 2147483647 23084 14 | 0.390 % |
161.26/161.32 c | 23653 | 146425 1447401 4889069 | 2147483647 23184 14 | 0.390 % |
161.26/161.35 c | 23764 | 146425 1447401 4889069 | 2147483647 23295 14 | 0.390 % |
161.26/161.36 c | 23886 | 146425 1447401 4889069 | 2147483647 23417 14 | 0.390 % |
161.26/161.38 c | 24019 | 146425 1447401 4889069 | 2147483647 23550 14 | 0.390 % |
161.36/161.41 c | 24165 | 146425 1447401 4889069 | 2147483647 23696 14 | 0.390 % |
161.36/161.44 c | 24326 | 146425 1447401 4889069 | 2147483647 23857 14 | 0.390 % |
161.36/161.47 c | 24502 | 146425 1447401 4889069 | 2147483647 24033 14 | 0.390 % |
161.46/161.51 c | 24695 | 146425 1447401 4889069 | 2147483647 24226 14 | 0.390 % |
161.46/161.55 c | 24907 | 146425 1447401 4889069 | 2147483647 24438 15 | 0.390 % |
161.56/161.61 c | 25140 | 146424 1447401 4889069 | 2147483647 24671 15 | 0.390 % |
161.56/161.67 c | 25398 | 146424 1447401 4889069 | 2147483647 24929 15 | 0.390 % |
161.67/161.73 c | 25679 | 146424 1447401 4889069 | 2147483647 25210 15 | 0.390 % |
161.67/161.80 c | 25988 | 146424 1447401 4889069 | 2147483647 25519 15 | 0.390 % |
161.76/161.87 c | 26329 | 146424 1447401 4889069 | 2147483647 25860 15 | 0.390 % |
161.86/161.93 c | 26701 | 146424 1447401 4889069 | 2147483647 26232 15 | 0.390 % |
161.86/162.00 c | 27110 | 146424 1447401 4889069 | 2147483647 26641 15 | 0.390 % |
162.06/162.11 c | 27561 | 146424 1447401 4889069 | 2147483647 27092 15 | 0.390 % |
162.06/162.13 c | 27662 | 146424 1447401 4889069 | 2147483647 27193 15 | 0.390 % |
162.06/162.15 c | 27773 | 146424 1447401 4889069 | 2147483647 27304 15 | 0.390 % |
162.06/162.16 c | 27895 | 146424 1447401 4889069 | 2147483647 27426 15 | 0.390 % |
162.06/162.19 c | 28029 | 146424 1447401 4889069 | 2147483647 27560 15 | 0.390 % |
162.16/162.22 c | 28175 | 146424 1447401 4889069 | 2147483647 27706 16 | 0.390 % |
162.16/162.25 c | 28336 | 146424 1447401 4889069 | 2147483647 27867 16 | 0.390 % |
162.16/162.29 c | 28516 | 146424 1447401 4889069 | 2147483647 28047 16 | 0.390 % |
162.26/162.32 c | 28710 | 146424 1447401 4889069 | 2147483647 28241 16 | 0.390 % |
162.26/162.37 c | 28922 | 146424 1447401 4889069 | 2147483647 28453 16 | 0.390 % |
162.36/162.42 c | 29157 | 146424 1447401 4889069 | 2147483647 28688 16 | 0.390 % |
162.36/162.48 c | 29413 | 146424 1447401 4889069 | 2147483647 28944 16 | 0.390 % |
162.46/162.56 c | 29694 | 146424 1447401 4889069 | 2147483647 29225 16 | 0.390 % |
162.56/162.61 c | 30004 | 146424 1447401 4889069 | 2147483647 29535 16 | 0.390 % |
162.56/162.66 c | 30344 | 146424 1447401 4889069 | 2147483647 29875 16 | 0.390 % |
162.66/162.71 c | 30717 | 146424 1447401 4889069 | 2147483647 30248 16 | 0.390 % |
162.66/162.79 c | 31126 | 146424 1447401 4889069 | 2147483647 30657 16 | 0.390 % |
162.77/162.85 c | 31575 | 146424 1447401 4889069 | 2147483647 31106 16 | 0.390 % |
162.96/163.04 c | 32069 | 146423 1447353 4888905 | 2147483647 31596 16 | 0.390 % |
162.96/163.07 c | 32170 | 146423 1447353 4888905 | 2147483647 31697 16 | 0.390 % |
162.96/163.10 c | 32280 | 146423 1447353 4888905 | 2147483647 31807 16 | 0.390 % |
163.06/163.13 c | 32401 | 146423 1447353 4888905 | 2147483647 31928 16 | 0.390 % |
163.06/163.16 c | 32534 | 146423 1447353 4888905 | 2147483647 32061 16 | 0.390 % |
163.06/163.19 c | 32681 | 146423 1447353 4888905 | 2147483647 32208 17 | 0.390 % |
163.16/163.22 c | 32841 | 146423 1447353 4888905 | 2147483647 32368 17 | 0.390 % |
163.16/163.25 c | 33018 | 146423 1447353 4888905 | 2147483647 32545 17 | 0.390 % |
163.16/163.27 c | 33211 | 146423 1447353 4888905 | 2147483647 32738 17 | 0.390 % |
163.16/163.30 c | 33424 | 146423 1447353 4888905 | 2147483647 32951 17 | 0.390 % |
163.26/163.34 c | 33658 | 146423 1447353 4888905 | 2147483647 33185 17 | 0.390 % |
163.26/163.39 c | 33916 | 146423 1447353 4888905 | 2147483647 33443 17 | 0.390 % |
163.36/163.46 c | 34199 | 146423 1447353 4888905 | 2147483647 33726 17 | 0.390 % |
163.46/163.54 c | 34508 | 146423 1447353 4888905 | 2147483647 34035 17 | 0.390 % |
163.46/163.60 c | 34847 | 146423 1447353 4888905 | 2147483647 34374 17 | 0.390 % |
163.56/163.68 c | 35221 | 146423 1447353 4888905 | 2147483647 34748 17 | 0.390 % |
163.66/163.75 c | 35630 | 146423 1447353 4888905 | 2147483647 35157 17 | 0.390 % |
163.76/163.83 c | 36080 | 146423 1447353 4888905 | 2147483647 35607 17 | 0.390 % |
163.87/163.96 c | 36573 | 146423 1447353 4888905 | 2147483647 36100 17 | 0.390 % |
163.96/164.05 c | 37116 | 146423 1447353 4888905 | 2147483647 36643 17 | 0.390 % |
163.96/164.07 c | 37216 | 146423 1447353 4888905 | 2147483647 36743 17 | 0.390 % |
163.96/164.09 c | 37326 | 146423 1447353 4888905 | 2147483647 36853 17 | 0.390 % |
164.06/164.12 c | 37447 | 146423 1447353 4888905 | 2147483647 36974 17 | 0.390 % |
164.06/164.13 c | 37580 | 146423 1447353 4888905 | 2147483647 37107 17 | 0.390 % |
164.06/164.16 c | 37728 | 146423 1447353 4888905 | 2147483647 37255 17 | 0.390 % |
164.06/164.20 c | 37889 | 146423 1447353 4888905 | 2147483647 37416 17 | 0.390 % |
164.16/164.24 c | 38067 | 146423 1447353 4888905 | 2147483647 37594 17 | 0.390 % |
164.16/164.30 c | 38263 | 146423 1447353 4888905 | 2147483647 37790 17 | 0.390 % |
164.26/164.35 c | 38475 | 146423 1447353 4888905 | 2147483647 38002 17 | 0.390 % |
164.26/164.39 c | 38708 | 146423 1447353 4888905 | 2147483647 38235 17 | 0.390 % |
164.36/164.46 c | 38966 | 146423 1447353 4888905 | 2147483647 38493 17 | 0.390 % |
164.46/164.53 c | 39248 | 146423 1447353 4888905 | 2147483647 38775 17 | 0.390 % |
164.56/164.61 c | 39557 | 146423 1447353 4888905 | 2147483647 39084 17 | 0.390 % |
164.56/164.69 c | 39897 | 146423 1447353 4888905 | 2147483647 39424 18 | 0.390 % |
164.66/164.78 c | 40269 | 146423 1447353 4888905 | 2147483647 39796 18 | 0.390 % |
164.76/164.87 c | 40679 | 146423 1447353 4888905 | 2147483647 40206 18 | 0.390 % |
164.86/164.96 c | 41128 | 146423 1447353 4888905 | 2147483647 40655 18 | 0.390 % |
164.97/165.06 c | 41621 | 146423 1447353 4888905 | 2147483647 41148 18 | 0.390 % |
165.06/165.18 c | 42164 | 146423 1447353 4888905 | 2147483647 41691 18 | 0.390 % |
165.26/165.31 c | 42761 | 146423 1447353 4888905 | 2147483647 42288 18 | 0.390 % |
165.26/165.34 c | 42862 | 146423 1447353 4888905 | 2147483647 42389 18 | 0.390 % |
165.26/165.36 c | 42972 | 146423 1447353 4888905 | 2147483647 42499 18 | 0.390 % |
165.26/165.39 c | 43093 | 146423 1447353 4888905 | 2147483647 42620 18 | 0.390 % |
165.36/165.46 c | 43226 | 146423 1447353 4888905 | 2147483647 42753 18 | 0.390 % |
165.36/165.50 c | 43373 | 146423 1447353 4888905 | 2147483647 42900 18 | 0.390 % |
165.46/165.58 c | 43534 | 146423 1447353 4888905 | 2147483647 43061 18 | 0.390 % |
165.56/165.63 c | 43710 | 146423 1447353 4888905 | 2147483647 43237 18 | 0.390 % |
165.56/165.69 c | 43903 | 146423 1447353 4888905 | 2147483647 43430 18 | 0.390 % |
165.66/165.74 c | 44115 | 146423 1447353 4888905 | 2147483647 43642 18 | 0.390 % |
165.66/165.80 c | 44348 | 146423 1447353 4888905 | 2147483647 43875 18 | 0.390 % |
165.86/165.91 c | 44605 | 146423 1447353 4888905 | 2147483647 44132 18 | 0.390 % |
165.86/165.99 c | 44886 | 146423 1447353 4888905 | 2147483647 44413 18 | 0.390 % |
165.96/166.07 c | 45195 | 146423 1447353 4888905 | 2147483647 44722 18 | 0.390 % |
166.07/166.16 c | 45534 | 146423 1447353 4888905 | 2147483647 45061 18 | 0.390 % |
166.16/166.26 c | 45907 | 146423 1447353 4888905 | 2147483647 45434 18 | 0.390 % |
166.26/166.40 c | 46317 | 146423 1447353 4888905 | 2147483647 45844 18 | 0.390 % |
166.46/166.52 c | 46768 | 146423 1447353 4888905 | 2147483647 46295 18 | 0.390 % |
166.56/166.68 c | 47264 | 146423 1447353 4888905 | 2147483647 46791 18 | 0.390 % |
166.76/166.83 c | 47808 | 146423 1447353 4888905 | 2147483647 47335 18 | 0.390 % |
166.96/167.05 c | 48406 | 146423 1447353 4888905 | 2147483647 47932 18 | 0.393 % |
167.17/167.27 c | 49061 | 146423 1447353 4888905 | 2147483647 48587 19 | 0.393 % |
167.17/167.30 c | 49162 | 146423 1447353 4888905 | 2147483647 48688 19 | 0.393 % |
167.26/167.33 c | 49272 | 146423 1447353 4888905 | 2147483647 48798 19 | 0.393 % |
167.26/167.36 c | 49395 | 146423 1447353 4888905 | 2147483647 48921 19 | 0.393 % |
167.26/167.40 c | 49528 | 146423 1447353 4888905 | 2147483647 49054 19 | 0.393 % |
167.36/167.43 c | 49677 | 146423 1447353 4888905 | 2147483647 49203 19 | 0.393 % |
167.36/167.49 c | 49840 | 146423 1447353 4888905 | 2147483647 49366 19 | 0.393 % |
167.56/167.63 c | 50017 | 146422 1447353 4888905 | 2147483647 49543 19 | 0.393 % |
167.56/167.69 c | 50210 | 146422 1447353 4888905 | 2147483647 49736 19 | 0.393 % |
167.66/167.76 c | 50422 | 146422 1447353 4888905 | 2147483647 49948 19 | 0.393 % |
167.86/167.93 c | 50655 | 146420 1447329 4888823 | 2147483647 50180 19 | 0.393 % |
167.86/167.99 c | 50911 | 146418 1447329 4888823 | 2147483647 50435 19 | 0.395 % |
168.06/168.12 c | 51193 | 146418 1447329 4888823 | 2147483647 50717 19 | 0.395 % |
168.16/168.25 c | 51503 | 146418 1447329 4888823 | 2147483647 51027 19 | 0.395 % |
168.27/168.39 c | 51842 | 146418 1447329 4888823 | 2147483647 51366 19 | 0.395 % |
168.36/168.46 c | 52215 | 146418 1447329 4888823 | 2147483647 51739 19 | 0.395 % |
168.46/168.55 c | 52624 | 146418 1447329 4888823 | 2147483647 52148 19 | 0.395 % |
168.56/168.68 c | 53079 | 146418 1447329 4888823 | 2147483647 52603 19 | 0.395 % |
168.76/168.83 c | 53574 | 146418 1447329 4888823 | 2147483647 53098 19 | 0.395 % |
168.96/169.01 c | 54117 | 146418 1447329 4888823 | 2147483647 53641 19 | 0.395 % |
169.06/169.18 c | 54713 | 146418 1447329 4888823 | 2147483647 54237 19 | 0.395 % |
169.26/169.38 c | 55369 | 146418 1447329 4888823 | 2147483647 54893 19 | 0.395 % |
169.46/169.59 c | 56090 | 146418 1447329 4888823 | 2147483647 55614 19 | 0.395 % |
169.56/169.63 c | 56191 | 146418 1447329 4888823 | 2147483647 55715 19 | 0.395 % |
169.56/169.68 c | 56302 | 146418 1447329 4888823 | 2147483647 55826 19 | 0.395 % |
169.66/169.72 c | 56423 | 146418 1447329 4888823 | 2147483647 55947 19 | 0.395 % |
169.66/169.77 c | 56556 | 146418 1447329 4888823 | 2147483647 56080 19 | 0.395 % |
169.76/169.84 c | 56703 | 146418 1447329 4888823 | 2147483647 56227 19 | 0.395 % |
169.76/169.89 c | 56864 | 146418 1447329 4888823 | 2147483647 56388 19 | 0.395 % |
169.96/170.05 c | 57041 | 146418 1447329 4888823 | 2147483647 56565 19 | 0.395 % |
170.06/170.17 c | 57234 | 146418 1447329 4888823 | 2147483647 56758 19 | 0.395 % |
170.16/170.23 c | 57446 | 146418 1447329 4888823 | 2147483647 56970 19 | 0.395 % |
170.26/170.34 c | 57679 | 146418 1447329 4888823 | 2147483647 57203 19 | 0.395 % |
170.36/170.44 c | 57936 | 146418 1447329 4888823 | 2147483647 57460 19 | 0.395 % |
170.47/170.56 c | 58218 | 146418 1447329 4888823 | 2147483647 57742 19 | 0.395 % |
170.56/170.66 c | 58529 | 146418 1447329 4888823 | 2147483647 58053 19 | 0.395 % |
170.76/170.81 c | 58869 | 146418 1447329 4888823 | 2147483647 58393 19 | 0.395 % |
170.86/170.94 c | 59242 | 146418 1447329 4888823 | 2147483647 58766 19 | 0.395 % |
171.06/171.18 c | 59653 | 146418 1447329 4888823 | 2147483647 59177 19 | 0.395 % |
171.26/171.31 c | 60102 | 146418 1447329 4888823 | 2147483647 59626 19 | 0.395 % |
171.46/171.51 c | 60595 | 146418 1447329 4888823 | 2147483647 60119 19 | 0.395 % |
171.66/171.74 c | 61138 | 146418 1447329 4888823 | 2147483647 60662 19 | 0.395 % |
171.96/172.05 c | 61734 | 146418 1447329 4888823 | 2147483647 61258 20 | 0.395 % |
172.26/172.32 c | 62389 | 146418 1447329 4888823 | 2147483647 61913 20 | 0.395 % |
172.36/172.46 c | 63112 | 146418 1447329 4888823 | 2147483647 62636 20 | 0.395 % |
172.46/172.54 c | 63905 | 146418 1447329 4888823 | 2147483647 63429 20 | 0.395 % |
172.46/172.57 c | 64005 | 146418 1447329 4888823 | 2147483647 63529 20 | 0.395 % |
172.46/172.59 c | 64115 | 146418 1447329 4888823 | 2147483647 63639 20 | 0.395 % |
172.56/172.62 c | 64236 | 146418 1447329 4888823 | 2147483647 63760 20 | 0.395 % |
172.56/172.66 c | 64369 | 146418 1447329 4888823 | 2147483647 63893 20 | 0.395 % |
172.56/172.68 c | 64515 | 146418 1447329 4888823 | 2147483647 64039 20 | 0.395 % |
172.67/172.74 c | 64677 | 146418 1447329 4888823 | 2147483647 64201 20 | 0.395 % |
172.67/172.77 c | 64853 | 146418 1447329 4888823 | 2147483647 64377 20 | 0.395 % |
172.76/172.85 c | 65047 | 146418 1447329 4888823 | 2147483647 64571 20 | 0.395 % |
172.86/172.95 c | 65260 | 146418 1447329 4888823 | 2147483647 64784 20 | 0.395 % |
173.06/173.11 c | 65494 | 146418 1447329 4888823 | 2147483647 65018 20 | 0.395 % |
173.06/173.18 c | 65750 | 146418 1447329 4888823 | 2147483647 65274 20 | 0.395 % |
173.26/173.32 c | 66031 | 146418 1447329 4888823 | 2147483647 65555 20 | 0.395 % |
173.36/173.41 c | 66340 | 146418 1447329 4888823 | 2147483647 65864 20 | 0.395 % |
173.46/173.54 c | 66679 | 146418 1447329 4888823 | 2147483647 66203 20 | 0.395 % |
173.66/173.76 c | 67051 | 146418 1447329 4888823 | 2147483647 66575 20 | 0.395 % |
173.77/173.89 c | 67463 | 146418 1447329 4888823 | 2147483647 66987 20 | 0.395 % |
174.06/174.20 c | 67912 | 146417 1447305 4888741 | 2147483647 67434 20 | 0.395 % |
174.26/174.36 c | 68405 | 146417 1447305 4888741 | 2147483647 67927 20 | 0.395 % |
174.46/174.57 c | 68947 | 146417 1447305 4888741 | 2147483647 68469 20 | 0.395 % |
174.76/174.83 c | 69543 | 146417 1447305 4888741 | 2147483647 69065 20 | 0.395 % |
174.96/175.01 c | 70199 | 146417 1447305 4888741 | 2147483647 69721 20 | 0.395 % |
175.16/175.22 c | 70919 | 146417 1447305 4888741 | 2147483647 70441 20 | 0.395 % |
175.26/175.40 c | 71712 | 146417 1447305 4888741 | 2147483647 71234 20 | 0.395 % |
175.56/175.68 c | 72584 | 146417 1447305 4888741 | 2147483647 72106 20 | 0.395 % |
175.66/175.72 c | 72684 | 146417 1447305 4888741 | 2147483647 72206 20 | 0.395 % |
175.66/175.77 c | 72795 | 146417 1447305 4888741 | 2147483647 72317 20 | 0.395 % |
175.76/175.84 c | 72916 | 146417 1447305 4888741 | 2147483647 72438 20 | 0.395 % |
175.86/175.91 c | 73050 | 146417 1447305 4888741 | 2147483647 72572 20 | 0.395 % |
175.86/175.98 c | 73197 | 146417 1447305 4888741 | 2147483647 72719 20 | 0.395 % |
175.97/176.06 c | 73357 | 146417 1447305 4888741 | 2147483647 72879 20 | 0.395 % |
176.06/176.15 c | 73533 | 146417 1447305 4888741 | 2147483647 73055 20 | 0.395 % |
176.16/176.22 c | 73726 | 146417 1447305 4888741 | 2147483647 73248 20 | 0.395 % |
176.26/176.34 c | 73940 | 146417 1447305 4888741 | 2147483647 73462 20 | 0.395 % |
176.36/176.41 c | 74174 | 146417 1447305 4888741 | 2147483647 73696 20 | 0.395 % |
176.36/176.50 c | 74431 | 146417 1447305 4888741 | 2147483647 73953 20 | 0.395 % |
176.46/176.57 c | 74712 | 146417 1447305 4888741 | 2147483647 74234 20 | 0.395 % |
176.66/176.76 c | 75021 | 146417 1447305 4888741 | 2147483647 74543 20 | 0.395 % |
176.86/176.91 c | 75362 | 146417 1447305 4888741 | 2147483647 74884 20 | 0.395 % |
176.96/177.04 c | 75735 | 146417 1447305 4888741 | 2147483647 75257 20 | 0.395 % |
177.26/177.32 c | 76145 | 146417 1447305 4888741 | 2147483647 75667 20 | 0.395 % |
177.46/177.57 c | 76597 | 146417 1447305 4888741 | 2147483647 76119 20 | 0.395 % |
177.76/177.87 c | 77090 | 146417 1447305 4888741 | 2147483647 76612 20 | 0.395 % |
177.96/178.09 c | 77633 | 146417 1447305 4888741 | 2147483647 77155 20 | 0.395 % |
178.26/178.35 c | 78229 | 146417 1447305 4888741 | 2147483647 77751 20 | 0.395 % |
178.46/178.57 c | 78884 | 146417 1447305 4888741 | 2147483647 78406 20 | 0.395 % |
178.76/178.81 c | 79604 | 146417 1447305 4888741 | 2147483647 79126 20 | 0.395 % |
179.06/179.16 c | 80396 | 146417 1447305 4888741 | 2147483647 79918 20 | 0.395 % |
179.36/179.49 c | 81269 | 146417 1447305 4888741 | 2147483647 80791 21 | 0.395 % |
179.86/179.96 c | 82228 | 146417 1447305 4888741 | 2147483647 81750 21 | 0.395 % |
179.86/180.00 c | 82328 | 146417 1447305 4888741 | 2147483647 81850 21 | 0.395 % |
179.96/180.08 c | 82440 | 146417 1447305 4888741 | 2147483647 81962 21 | 0.395 % |
180.06/180.14 c | 82562 | 146417 1447305 4888741 | 2147483647 82084 21 | 0.395 % |
180.16/180.23 c | 82695 | 146417 1447305 4888741 | 2147483647 82217 21 | 0.395 % |
180.16/180.27 c | 82842 | 146417 1447305 4888741 | 2147483647 82364 21 | 0.395 % |
180.26/180.37 c | 83002 | 146417 1447305 4888741 | 2147483647 82524 21 | 0.395 % |
180.37/180.46 c | 83178 | 146417 1447305 4888741 | 2147483647 82700 21 | 0.395 % |
180.46/180.58 c | 83372 | 146417 1447305 4888741 | 2147483647 82894 21 | 0.395 % |
180.66/180.72 c | 83584 | 146417 1447305 4888741 | 2147483647 83106 21 | 0.395 % |
180.76/180.86 c | 83819 | 146417 1447305 4888741 | 2147483647 83341 21 | 0.395 % |
180.86/180.98 c | 84077 | 146417 1447305 4888741 | 2147483647 83599 21 | 0.395 % |
181.06/181.14 c | 84359 | 146417 1447305 4888741 | 2147483647 83881 21 | 0.395 % |
181.26/181.30 c | 84669 | 146417 1447305 4888741 | 2147483647 84191 21 | 0.395 % |
181.36/181.51 c | 85009 | 146417 1447305 4888741 | 2147483647 84531 21 | 0.395 % |
181.56/181.67 c | 85381 | 146417 1447305 4888741 | 2147483647 84903 21 | 0.395 % |
181.86/181.92 c | 85791 | 146417 1447305 4888741 | 2147483647 85313 21 | 0.395 % |
182.06/182.11 c | 86240 | 146417 1447305 4888741 | 2147483647 85762 21 | 0.395 % |
182.26/182.39 c | 86738 | 146417 1447305 4888741 | 2147483647 86260 21 | 0.395 % |
182.57/182.70 c | 87280 | 146417 1447305 4888741 | 2147483647 86802 21 | 0.395 % |
182.96/183.02 c | 87877 | 146417 1447305 4888741 | 2147483647 87399 21 | 0.395 % |
183.26/183.35 c | 88533 | 146417 1447305 4888741 | 2147483647 88055 21 | 0.395 % |
183.67/183.80 c | 89254 | 146417 1447305 4888741 | 2147483647 88776 21 | 0.395 % |
184.16/184.26 c | 90048 | 146417 1447305 4888741 | 2147483647 89570 21 | 0.395 % |
184.77/184.86 c | 90922 | 146417 1447305 4888741 | 2147483647 90444 21 | 0.395 % |
185.16/185.29 c | 91882 | 146417 1447305 4888741 | 2147483647 91404 21 | 0.395 % |
185.96/186.09 c | 92935 | 146417 1447305 4888741 | 2147483647 92457 21 | 0.395 % |
186.06/186.14 c | 93035 | 146417 1447305 4888741 | 2147483647 92557 21 | 0.395 % |
186.06/186.20 c | 93148 | 146417 1447305 4888741 | 2147483647 92670 21 | 0.395 % |
186.16/186.24 c | 93270 | 146417 1447305 4888741 | 2147483647 92792 21 | 0.395 % |
186.26/186.32 c | 93403 | 146417 1447305 4888741 | 2147483647 92925 21 | 0.395 % |
186.36/186.45 c | 93550 | 146417 1447305 4888741 | 2147483647 93072 21 | 0.395 % |
186.46/186.55 c | 93714 | 146417 1447305 4888741 | 2147483647 93236 21 | 0.395 % |
186.56/186.66 c | 93890 | 146417 1447305 4888741 | 2147483647 93412 21 | 0.395 % |
186.76/186.83 c | 94084 | 146417 1447305 4888741 | 2147483647 93606 21 | 0.395 % |
186.86/186.98 c | 94296 | 146417 1447305 4888741 | 2147483647 93818 21 | 0.395 % |
187.06/187.13 c | 94530 | 146417 1447305 4888741 | 2147483647 94052 21 | 0.395 % |
187.16/187.28 c | 94787 | 146417 1447305 4888741 | 2147483647 94309 21 | 0.395 % |
187.36/187.44 c | 95069 | 146417 1447305 4888741 | 2147483647 94591 21 | 0.395 % |
187.56/187.62 c | 95378 | 146417 1447305 4888741 | 2147483647 94900 21 | 0.395 % |
187.76/187.85 c | 95719 | 146417 1447305 4888741 | 2147483647 95241 21 | 0.395 % |
187.96/188.07 c | 96091 | 146417 1447305 4888741 | 2147483647 95613 21 | 0.395 % |
188.16/188.30 c | 96502 | 146417 1447305 4888741 | 2147483647 96024 21 | 0.395 % |
188.46/188.52 c | 96951 | 146417 1447305 4888741 | 2147483647 96473 21 | 0.395 % |
188.66/188.74 c | 97446 | 146417 1447305 4888741 | 2147483647 96968 22 | 0.395 % |
189.06/189.11 c | 97988 | 146417 1447305 4888741 | 2147483647 97510 22 | 0.395 % |
189.36/189.46 c | 98587 | 146417 1447305 4888741 | 2147483647 98109 22 | 0.395 % |
189.86/189.93 c | 99242 | 146417 1447305 4888741 | 2147483647 98764 22 | 0.395 % |
190.36/190.42 c | 99963 | 146417 1447305 4888741 | 2147483647 99485 22 | 0.395 % |
190.96/191.06 c | 100755 | 146417 1447305 4888741 | 2147483647 100277 22 | 0.395 % |
191.26/191.40 c | 101626 | 146417 1447305 4888741 | 2147483647 101148 22 | 0.395 % |
192.06/192.13 c | 102585 | 146417 1447305 4888741 | 2147483647 102107 22 | 0.395 % |
192.66/192.77 c | 103640 | 146417 1447305 4888741 | 2147483647 103162 22 | 0.395 % |
193.46/193.56 c | 104799 | 146417 1447305 4888741 | 2147483647 104321 22 | 0.395 % |
193.57/193.62 c | 104899 | 146417 1447305 4888741 | 2147483647 104421 22 | 0.395 % |
193.57/193.67 c | 105010 | 146417 1447305 4888741 | 2147483647 104532 22 | 0.395 % |
193.66/193.72 c | 105131 | 146417 1447305 4888741 | 2147483647 104653 22 | 0.395 % |
193.66/193.80 c | 105264 | 146417 1447305 4888741 | 2147483647 104786 22 | 0.395 % |
193.76/193.86 c | 105410 | 146417 1447305 4888741 | 2147483647 104932 22 | 0.395 % |
193.86/193.92 c | 105570 | 146417 1447305 4888741 | 2147483647 105092 22 | 0.395 % |
193.86/193.97 c | 105749 | 146417 1447305 4888741 | 2147483647 105271 22 | 0.395 % |
193.96/194.07 c | 105942 | 146417 1447305 4888741 | 2147483647 105464 22 | 0.395 % |
194.06/194.11 c | 106154 | 146417 1447305 4888741 | 2147483647 105676 22 | 0.395 % |
194.16/194.22 c | 106388 | 146417 1447305 4888741 | 2147483647 105910 22 | 0.395 % |
194.26/194.37 c | 106645 | 146417 1447305 4888741 | 2147483647 106167 22 | 0.395 % |
194.46/194.57 c | 106928 | 146417 1447305 4888741 | 2147483647 106450 22 | 0.395 % |
194.67/194.80 c | 107240 | 146417 1447305 4888741 | 2147483647 106762 22 | 0.395 % |
194.86/194.98 c | 107579 | 146417 1447305 4888741 | 2147483647 107101 22 | 0.395 % |
195.06/195.18 c | 107951 | 146417 1447305 4888741 | 2147483647 107473 22 | 0.395 % |
195.46/195.52 c | 108361 | 146417 1447305 4888741 | 2147483647 107883 22 | 0.395 % |
195.66/195.75 c | 108810 | 146417 1447305 4888741 | 2147483647 108332 22 | 0.395 % |
196.16/196.25 c | 109303 | 146417 1447305 4888741 | 2147483647 108825 22 | 0.395 % |
196.66/196.73 c | 109845 | 146416 1447296 4888713 | 2147483647 109366 22 | 0.395 % |
197.06/197.17 c | 110443 | 146416 1447296 4888713 | 2147483647 109964 22 | 0.395 % |
197.66/197.79 c | 111099 | 146416 1447296 4888713 | 2147483647 110620 22 | 0.395 % |
198.16/198.29 c | 111819 | 146416 1447296 4888713 | 2147483647 111340 22 | 0.395 % |
198.46/198.60 c | 112611 | 146416 1447296 4888713 | 2147483647 112132 22 | 0.395 % |
199.16/199.29 c | 113483 | 146416 1447296 4888713 | 2147483647 113004 22 | 0.395 % |
200.06/200.15 c | 114441 | 146416 1447296 4888713 | 2147483647 113962 22 | 0.395 % |
200.97/201.02 c | 115496 | 146416 1447296 4888713 | 2147483647 115017 22 | 0.395 % |
201.57/201.71 c | 116654 | 146416 1447296 4888713 | 2147483647 116175 22 | 0.395 % |
202.67/202.76 c | 117929 | 146416 1447296 4888713 | 2147483647 117450 22 | 0.395 % |
202.77/202.83 c | 118031 | 146416 1447296 4888713 | 2147483647 117552 22 | 0.395 % |
202.77/202.90 c | 118142 | 146416 1447296 4888713 | 2147483647 117663 22 | 0.395 % |
202.87/203.00 c | 118264 | 146416 1447296 4888713 | 2147483647 117785 22 | 0.395 % |
203.07/203.14 c | 118400 | 146416 1447296 4888713 | 2147483647 117921 22 | 0.395 % |
203.07/203.19 c | 118547 | 146416 1447296 4888713 | 2147483647 118068 22 | 0.395 % |
203.27/203.39 c | 118707 | 146416 1447296 4888713 | 2147483647 118228 22 | 0.395 % |
203.37/203.50 c | 118884 | 146416 1447296 4888713 | 2147483647 118405 22 | 0.395 % |
203.57/203.67 c | 119077 | 146416 1447296 4888713 | 2147483647 118598 22 | 0.395 % |
203.77/203.90 c | 119290 | 146416 1447296 4888713 | 2147483647 118811 22 | 0.395 % |
203.97/204.05 c | 119524 | 146416 1447296 4888713 | 2147483647 119045 22 | 0.395 % |
204.27/204.32 c | 119782 | 146416 1447296 4888713 | 2147483647 119303 22 | 0.395 % |
204.37/204.47 c | 120064 | 146416 1447296 4888713 | 2147483647 119585 22 | 0.395 % |
204.57/204.65 c | 120373 | 146416 1447296 4888713 | 2147483647 119894 22 | 0.395 % |
204.97/205.02 c | 120714 | 146416 1447296 4888713 | 2147483647 120235 22 | 0.395 % |
205.07/205.20 c | 121089 | 146416 1447296 4888713 | 2147483647 120610 22 | 0.395 % |
205.37/205.42 c | 121499 | 146416 1447296 4888713 | 2147483647 121020 22 | 0.395 % |
205.67/205.75 c | 121950 | 146416 1447296 4888713 | 2147483647 121471 22 | 0.395 % |
205.97/206.02 c | 122444 | 146416 1447296 4888713 | 2147483647 121965 22 | 0.395 % |
206.37/206.47 c | 122987 | 146416 1447296 4888713 | 2147483647 122508 22 | 0.395 % |
207.07/207.13 c | 123583 | 146413 1447272 4888631 | 2147483647 123102 22 | 0.397 % |
207.67/207.73 c | 124238 | 146413 1447272 4888631 | 2147483647 123757 23 | 0.397 % |
207.97/208.03 c | 124959 | 146413 1447272 4888631 | 2147483647 124478 23 | 0.397 % |
208.67/208.72 c | 125751 | 146413 1447272 4888631 | 2147483647 125270 23 | 0.397 % |
208.97/209.11 c | 126622 | 146413 1447272 4888631 | 2147483647 126141 23 | 0.397 % |
209.47/209.60 c | 127580 | 146413 1447272 4888631 | 2147483647 127099 23 | 0.397 % |
210.37/210.51 c | 128633 | 146413 1447272 4888631 | 2147483647 128152 23 | 0.397 % |
211.57/211.67 c | 129793 | 146413 1447272 4888631 | 2147483647 129312 23 | 0.397 % |
212.57/212.66 c | 131066 | 146413 1447272 4888631 | 2147483647 130585 23 | 0.397 % |
213.57/213.68 c | 132466 | 146413 1447272 4888631 | 2147483647 131985 23 | 0.397 % |
213.67/213.79 c | 132567 | 146413 1447272 4888631 | 2147483647 132086 23 | 0.397 % |
213.87/213.92 c | 132678 | 146413 1447272 4888631 | 2147483647 132197 23 | 0.397 % |
214.07/214.12 c | 132800 | 146413 1447272 4888631 | 2147483647 132319 23 | 0.397 % |
214.17/214.28 c | 132935 | 146413 1447272 4888631 | 2147483647 132454 23 | 0.397 % |
214.37/214.43 c | 133084 | 146413 1447272 4888631 | 2147483647 132603 23 | 0.397 % |
214.47/214.59 c | 133244 | 146413 1447272 4888631 | 2147483647 132763 23 | 0.397 % |
214.67/214.80 c | 133422 | 146413 1447272 4888631 | 2147483647 132941 23 | 0.397 % |
214.97/215.05 c | 133615 | 146413 1447272 4888631 | 2147483647 133134 23 | 0.397 % |
215.17/215.27 c | 133828 | 146413 1447272 4888631 | 2147483647 133347 23 | 0.397 % |
215.37/215.51 c | 134062 | 146413 1447272 4888631 | 2147483647 133581 23 | 0.397 % |
215.77/215.82 c | 134320 | 146413 1447272 4888631 | 2147483647 133839 23 | 0.397 % |
215.87/215.97 c | 134602 | 146413 1447272 4888631 | 2147483647 134121 23 | 0.397 % |
216.07/216.14 c | 134911 | 146413 1447272 4888631 | 2147483647 134430 23 | 0.397 % |
216.37/216.44 c | 135250 | 146413 1447272 4888631 | 2147483647 134769 23 | 0.397 % |
216.67/216.73 c | 135623 | 146413 1447272 4888631 | 2147483647 135142 23 | 0.397 % |
216.77/216.85 c | 136032 | 146413 1447272 4888631 | 2147483647 135551 23 | 0.397 % |
216.87/216.92 c | 136481 | 146413 1447272 4888631 | 2147483647 136000 23 | 0.397 % |
216.97/217.09 c | 136974 | 146413 1447272 4888631 | 2147483647 136493 23 | 0.397 % |
217.27/217.39 c | 137516 | 146413 1447272 4888631 | 2147483647 137035 23 | 0.397 % |
217.47/217.57 c | 138112 | 146413 1447272 4888631 | 2147483647 137631 23 | 0.397 % |
217.57/217.71 c | 138768 | 146413 1447272 4888631 | 2147483647 138287 23 | 0.397 % |
217.77/217.88 c | 139489 | 146413 1447272 4888631 | 2147483647 139008 23 | 0.397 % |
218.17/218.27 c | 140281 | 146413 1447272 4888631 | 2147483647 139800 23 | 0.397 % |
219.17/219.23 c | 141153 | 146413 1447272 4888631 | 2147483647 140672 23 | 0.397 % |
220.07/220.20 c | 142113 | 146413 1447272 4888631 | 2147483647 141632 23 | 0.397 % |
220.77/220.89 c | 143168 | 146410 1447248 4888549 | 2147483647 142685 23 | 0.399 % |
221.47/221.52 c | 144326 | 146410 1447248 4888549 | 2147483647 143843 23 | 0.399 % |
222.37/222.44 c | 145600 | 146410 1447248 4888549 | 2147483647 145117 23 | 0.399 % |
223.67/223.79 c | 147003 | 146410 1447248 4888549 | 2147483647 146520 23 | 0.399 % |
225.07/225.16 c | 148546 | 146410 1447248 4888549 | 2147483647 148063 23 | 0.399 % |
225.27/225.33 c | 148646 | 146410 1447248 4888549 | 2147483647 148163 23 | 0.399 % |
225.37/225.50 c | 148756 | 146410 1447248 4888549 | 2147483647 148273 23 | 0.399 % |
225.47/225.59 c | 148878 | 146410 1447248 4888549 | 2147483647 148395 23 | 0.399 % |
225.67/225.72 c | 149012 | 146410 1447248 4888549 | 2147483647 148529 23 | 0.399 % |
225.77/225.89 c | 149158 | 146410 1447248 4888549 | 2147483647 148675 23 | 0.399 % |
225.97/226.05 c | 149320 | 146410 1447248 4888549 | 2147483647 148837 23 | 0.399 % |
226.27/226.32 c | 149498 | 146410 1447248 4888549 | 2147483647 149015 23 | 0.399 % |
226.47/226.57 c | 149691 | 146410 1447248 4888549 | 2147483647 149208 23 | 0.399 % |
226.77/226.88 c | 149906 | 146410 1447248 4888549 | 2147483647 149423 23 | 0.399 % |
227.07/227.14 c | 150141 | 146410 1447248 4888549 | 2147483647 149658 23 | 0.399 % |
227.37/227.44 c | 150397 | 146410 1447248 4888549 | 2147483647 149914 23 | 0.399 % |
227.67/227.72 c | 150679 | 146410 1447248 4888549 | 2147483647 150196 23 | 0.399 % |
227.87/227.95 c | 150989 | 146410 1447248 4888549 | 2147483647 150506 23 | 0.399 % |
228.17/228.28 c | 151328 | 146410 1447248 4888549 | 2147483647 150845 23 | 0.399 % |
228.57/228.65 c | 151700 | 146410 1447248 4888549 | 2147483647 151217 23 | 0.399 % |
228.77/228.88 c | 152109 | 146410 1447248 4888549 | 2147483647 151626 23 | 0.399 % |
229.17/229.30 c | 152560 | 146410 1447248 4888549 | 2147483647 152077 23 | 0.399 % |
229.47/229.60 c | 153053 | 146410 1447248 4888549 | 2147483647 152570 23 | 0.399 % |
229.77/229.89 c | 153597 | 146410 1447248 4888549 | 2147483647 153114 23 | 0.399 % |
230.07/230.15 c | 154193 | 146410 1447248 4888549 | 2147483647 153710 23 | 0.399 % |
230.67/230.74 c | 154848 | 146410 1447248 4888549 | 2147483647 154365 23 | 0.399 % |
231.27/231.37 c | 155568 | 146410 1447248 4888549 | 2147483647 155085 23 | 0.399 % |
232.17/232.23 c | 156360 | 146410 1447248 4888549 | 2147483647 155877 23 | 0.399 % |
232.67/232.73 c | 157231 | 146410 1447248 4888549 | 2147483647 156748 23 | 0.399 % |
233.37/233.44 c | 158190 | 146410 1447248 4888549 | 2147483647 157707 24 | 0.399 % |
234.57/234.66 c | 159243 | 146410 1447248 4888549 | 2147483647 158760 24 | 0.399 % |
235.27/235.34 c | 160401 | 146410 1447248 4888549 | 2147483647 159918 24 | 0.399 % |
236.37/236.47 c | 161674 | 146410 1447248 4888549 | 2147483647 161191 24 | 0.399 % |
237.17/237.30 c | 163075 | 146410 1447248 4888549 | 2147483647 162592 24 | 0.399 % |
238.97/239.10 c | 164615 | 146410 1447248 4888549 | 2147483647 164132 24 | 0.399 % |
241.17/241.26 c | 166309 | 146410 1447248 4888549 | 2147483647 165826 24 | 0.399 % |
241.27/241.40 c | 166410 | 146410 1447248 4888549 | 2147483647 165927 24 | 0.399 % |
241.47/241.52 c | 166520 | 146410 1447248 4888549 | 2147483647 166037 24 | 0.399 % |
241.67/241.72 c | 166641 | 146410 1447248 4888549 | 2147483647 166158 24 | 0.399 % |
241.77/241.90 c | 166774 | 146410 1447248 4888549 | 2147483647 166291 24 | 0.399 % |
241.97/242.05 c | 166922 | 146410 1447248 4888549 | 2147483647 166439 24 | 0.399 % |
242.17/242.26 c | 167084 | 146410 1447248 4888549 | 2147483647 166601 24 | 0.399 % |
242.47/242.52 c | 167260 | 146410 1447248 4888549 | 2147483647 166777 24 | 0.399 % |
242.67/242.77 c | 167454 | 146410 1447248 4888549 | 2147483647 166971 24 | 0.399 % |
242.87/242.95 c | 167668 | 146410 1447248 4888549 | 2147483647 167185 24 | 0.399 % |
243.17/243.26 c | 167902 | 146410 1447248 4888549 | 2147483647 167419 24 | 0.399 % |
243.37/243.44 c | 168159 | 146410 1447248 4888549 | 2147483647 167676 24 | 0.399 % |
243.67/243.73 c | 168441 | 146410 1447248 4888549 | 2147483647 167958 24 | 0.399 % |
243.87/243.94 c | 168750 | 146410 1447248 4888549 | 2147483647 168267 24 | 0.399 % |
244.17/244.30 c | 169090 | 146410 1447248 4888549 | 2147483647 168607 24 | 0.399 % |
244.57/244.68 c | 169462 | 146410 1447248 4888549 | 2147483647 168979 24 | 0.399 % |
245.17/245.30 c | 169872 | 146410 1447248 4888549 | 2147483647 169389 24 | 0.399 % |
245.67/245.72 c | 170324 | 146410 1447248 4888549 | 2147483647 169841 24 | 0.399 % |
245.97/246.02 c | 170819 | 146410 1447248 4888549 | 2147483647 170336 24 | 0.399 % |
246.47/246.51 c | 171363 | 146410 1447248 4888549 | 2147483647 170880 24 | 0.399 % |
246.97/247.10 c | 171962 | 146410 1447248 4888549 | 2147483647 171479 24 | 0.399 % |
247.57/247.62 c | 172617 | 146410 1447248 4888549 | 2147483647 172134 24 | 0.399 % |
248.27/248.37 c | 173337 | 146410 1447248 4888549 | 2147483647 172854 24 | 0.399 % |
249.17/249.26 c | 174129 | 146409 1447239 4888521 | 2147483647 173645 24 | 0.400 % |
250.27/250.31 c | 175003 | 146409 1447239 4888521 | 2147483647 174519 24 | 0.400 % |
251.37/251.51 c | 175961 | 146409 1447239 4888521 | 2147483647 175477 24 | 0.400 % |
252.67/252.80 c | 177014 | 146409 1447239 4888521 | 2147483647 176530 24 | 0.400 % |
253.77/253.85 c | 178172 | 146409 1447239 4888521 | 2147483647 177688 24 | 0.400 % |
254.87/254.99 c | 179452 | 146409 1447239 4888521 | 2147483647 178968 24 | 0.400 % |
256.17/256.26 c | 180853 | 146409 1447239 4888521 | 2147483647 180369 24 | 0.400 % |
256.87/257.00 c | 182393 | 146409 1447239 4888521 | 2147483647 181909 24 | 0.400 % |
258.77/258.82 c | 184088 | 146409 1447239 4888521 | 2147483647 183604 24 | 0.400 % |
260.47/260.60 c | 185952 | 146409 1447239 4888521 | 2147483647 185468 24 | 0.400 % |
260.57/260.68 c | 186052 | 146409 1447239 4888521 | 2147483647 185568 24 | 0.400 % |
260.77/260.83 c | 186163 | 146409 1447239 4888521 | 2147483647 185679 24 | 0.400 % |
260.87/260.98 c | 186284 | 146409 1447239 4888521 | 2147483647 185800 24 | 0.400 % |
261.07/261.13 c | 186418 | 146409 1447239 4888521 | 2147483647 185934 24 | 0.400 % |
261.17/261.27 c | 186564 | 146409 1447239 4888521 | 2147483647 186080 24 | 0.400 % |
261.27/261.39 c | 186724 | 146409 1447239 4888521 | 2147483647 186240 24 | 0.400 % |
261.47/261.56 c | 186904 | 146409 1447239 4888521 | 2147483647 186420 24 | 0.400 % |
261.67/261.76 c | 187098 | 146409 1447239 4888521 | 2147483647 186614 24 | 0.400 % |
261.97/262.06 c | 187311 | 146409 1447239 4888521 | 2147483647 186827 24 | 0.400 % |
262.27/262.40 c | 187545 | 146409 1447239 4888521 | 2147483647 187061 24 | 0.400 % |
262.47/262.59 c | 187802 | 146409 1447239 4888521 | 2147483647 187318 24 | 0.400 % |
262.87/262.94 c | 188084 | 146409 1447239 4888521 | 2147483647 187600 24 | 0.400 % |
263.27/263.37 c | 188393 | 146409 1447239 4888521 | 2147483647 187909 24 | 0.400 % |
263.57/263.67 c | 188732 | 146409 1447239 4888521 | 2147483647 188248 24 | 0.400 % |
263.87/263.97 c | 189107 | 146409 1447239 4888521 | 2147483647 188623 24 | 0.400 % |
264.47/264.52 c | 189516 | 146409 1447239 4888521 | 2147483647 189032 25 | 0.400 % |
265.07/265.12 c | 189966 | 146409 1447239 4888521 | 2147483647 189482 25 | 0.400 % |
265.67/265.76 c | 190460 | 146409 1447239 4888521 | 2147483647 189976 25 | 0.400 % |
266.17/266.24 c | 191005 | 146409 1447239 4888521 | 2147483647 190521 25 | 0.400 % |
266.67/266.74 c | 191601 | 146409 1447239 4888521 | 2147483647 191117 25 | 0.400 % |
267.57/267.68 c | 192258 | 146409 1447239 4888521 | 2147483647 191774 25 | 0.400 % |
268.07/268.18 c | 192978 | 146409 1447239 4888521 | 2147483647 192494 25 | 0.400 % |
268.77/268.88 c | 193770 | 146409 1447239 4888521 | 2147483647 193286 25 | 0.400 % |
268.97/269.10 c | 194641 | 146409 1447239 4888521 | 2147483647 194157 25 | 0.400 % |
270.07/270.21 c | 195600 | 146409 1447239 4888521 | 2147483647 195116 25 | 0.400 % |
270.67/270.78 c | 196653 | 146409 1447239 4888521 | 2147483647 196169 25 | 0.400 % |
271.57/271.70 c | 197812 | 146409 1447239 4888521 | 2147483647 197328 25 | 0.400 % |
271.97/272.06 c | 199085 | 146409 1447239 4888521 | 2147483647 198601 25 | 0.400 % |
272.87/272.96 c | 200486 | 146406 1445434 4881335 | 2147483647 200001 25 | 0.402 % |
273.27/273.35 c | 202027 | 146406 1445434 4881335 | 2147483647 201542 25 | 0.402 % |
275.17/275.25 c | 203724 | 146406 1445434 4881335 | 2147483647 203239 25 | 0.402 % |
277.47/277.59 c | 205587 | 146406 1445434 4881335 | 2147483647 205102 25 | 0.402 % |
278.97/279.05 c | 207636 | 146406 1445434 4881335 | 2147483647 207151 25 | 0.402 % |
279.17/279.26 c | 207737 | 146406 1445434 4881335 | 2147483647 207252 25 | 0.402 % |
279.27/279.36 c | 207847 | 146406 1445434 4881335 | 2147483647 207362 25 | 0.402 % |
279.38/279.48 c | 207969 | 146406 1445434 4881335 | 2147483647 207484 25 | 0.402 % |
279.57/279.65 c | 208103 | 146406 1445434 4881335 | 2147483647 207618 25 | 0.402 % |
279.77/279.85 c | 208249 | 146406 1445434 4881335 | 2147483647 207764 25 | 0.402 % |
279.97/280.06 c | 208409 | 146406 1445434 4881335 | 2147483647 207924 25 | 0.402 % |
280.07/280.18 c | 208587 | 146406 1445434 4881335 | 2147483647 208102 25 | 0.402 % |
280.27/280.38 c | 208780 | 146406 1445434 4881335 | 2147483647 208295 25 | 0.402 % |
280.57/280.64 c | 208992 | 146406 1445434 4881335 | 2147483647 208507 25 | 0.402 % |
280.87/280.92 c | 209225 | 146406 1445434 4881335 | 2147483647 208740 25 | 0.402 % |
280.97/281.09 c | 209482 | 146406 1445434 4881335 | 2147483647 208997 25 | 0.402 % |
281.17/281.29 c | 209764 | 146406 1445434 4881335 | 2147483647 209279 25 | 0.402 % |
281.77/281.84 c | 210073 | 146406 1445434 4881335 | 2147483647 209588 25 | 0.402 % |
282.07/282.18 c | 210412 | 146406 1445434 4881335 | 2147483647 209927 25 | 0.402 % |
282.27/282.36 c | 210784 | 146406 1445434 4881335 | 2147483647 210299 25 | 0.402 % |
282.77/282.84 c | 211193 | 146406 1445434 4881335 | 2147483647 210708 25 | 0.402 % |
282.97/283.02 c | 211642 | 146406 1445434 4881335 | 2147483647 211157 25 | 0.402 % |
283.57/283.67 c | 212136 | 146406 1445434 4881335 | 2147483647 211651 25 | 0.402 % |
284.17/284.28 c | 212678 | 146406 1445434 4881335 | 2147483647 212193 25 | 0.402 % |
284.77/284.84 c | 213277 | 146406 1445434 4881335 | 2147483647 212792 25 | 0.402 % |
285.47/285.56 c | 213933 | 146406 1445434 4881335 | 2147483647 213448 25 | 0.402 % |
286.67/286.77 c | 214656 | 146406 1445434 4881335 | 2147483647 214171 25 | 0.402 % |
287.37/287.49 c | 215450 | 146406 1445434 4881335 | 2147483647 214965 25 | 0.402 % |
288.18/288.28 c | 216322 | 146406 1445434 4881335 | 2147483647 215837 25 | 0.402 % |
289.17/289.27 c | 217282 | 146406 1445434 4881335 | 2147483647 216797 25 | 0.402 % |
290.17/290.21 c | 218336 | 146406 1445434 4881335 | 2147483647 217851 25 | 0.402 % |
291.87/291.99 c | 219494 | 146406 1445434 4881335 | 2147483647 219009 25 | 0.402 % |
293.07/293.15 c | 220768 | 146406 1445434 4881335 | 2147483647 220283 25 | 0.402 % |
294.57/294.66 c | 222168 | 146406 1445434 4881335 | 2147483647 221683 25 | 0.402 % |
296.27/296.34 c | 223709 | 146406 1445434 4881335 | 2147483647 223224 25 | 0.402 % |
298.08/298.16 c | 225404 | 146406 1445434 4881335 | 2147483647 224919 25 | 0.402 % |
300.77/300.84 c | 227271 | 146406 1445434 4881335 | 2147483647 226786 25 | 0.402 % |
302.97/303.05 c | 229320 | 146406 1445434 4881335 | 2147483647 228835 25 | 0.402 % |
303.97/304.10 c | 231573 | 146406 1445434 4881335 | 2147483647 231088 26 | 0.402 % |
304.17/304.24 c | 231674 | 146406 1445434 4881335 | 2147483647 231189 26 | 0.402 % |
304.27/304.40 c | 231785 | 146406 1445434 4881335 | 2147483647 231300 26 | 0.402 % |
304.47/304.57 c | 231906 | 146406 1445434 4881335 | 2147483647 231421 26 | 0.402 % |
304.68/304.75 c | 232040 | 146406 1445434 4881335 | 2147483647 231555 26 | 0.402 % |
304.97/305.09 c | 232186 | 146406 1445434 4881335 | 2147483647 231701 26 | 0.402 % |
305.17/305.30 c | 232346 | 146406 1445434 4881335 | 2147483647 231861 26 | 0.402 % |
305.37/305.48 c | 232523 | 146406 1445434 4881335 | 2147483647 232038 26 | 0.402 % |
305.78/305.83 c | 232716 | 146406 1445434 4881335 | 2147483647 232231 26 | 0.402 % |
306.07/306.12 c | 232928 | 146406 1445434 4881335 | 2147483647 232443 26 | 0.402 % |
306.27/306.39 c | 233161 | 146406 1445434 4881335 | 2147483647 232676 26 | 0.402 % |
306.67/306.73 c | 233418 | 146406 1445434 4881335 | 2147483647 232933 26 | 0.402 % |
306.97/307.03 c | 233699 | 146406 1445434 4881335 | 2147483647 233214 26 | 0.402 % |
307.27/307.38 c | 234008 | 146406 1445434 4881335 | 2147483647 233523 26 | 0.402 % |
307.67/307.79 c | 234347 | 146406 1445434 4881335 | 2147483647 233862 26 | 0.402 % |
308.17/308.29 c | 234719 | 146406 1445434 4881335 | 2147483647 234234 26 | 0.402 % |
308.87/308.98 c | 235128 | 146406 1445434 4881335 | 2147483647 234643 26 | 0.402 % |
309.17/309.30 c | 235578 | 146406 1445434 4881335 | 2147483647 235093 26 | 0.402 % |
309.57/309.70 c | 236071 | 146406 1445434 4881335 | 2147483647 235586 26 | 0.402 % |
310.27/310.37 c | 236614 | 146406 1445434 4881335 | 2147483647 236129 26 | 0.402 % |
310.97/311.10 c | 237210 | 146406 1445434 4881335 | 2147483647 236725 26 | 0.402 % |
311.77/311.89 c | 237867 | 146406 1445434 4881335 | 2147483647 237382 26 | 0.402 % |
312.57/312.71 c | 238587 | 146406 1445434 4881335 | 2147483647 238102 26 | 0.402 % |
314.37/314.45 c | 239379 | 146406 1445434 4881335 | 2147483647 238894 26 | 0.402 % |
315.07/315.20 c | 240252 | 146406 1445434 4881335 | 2147483647 239767 26 | 0.402 % |
316.38/316.50 c | 241212 | 146406 1445434 4881335 | 2147483647 240727 26 | 0.402 % |
318.08/318.21 c | 242266 | 146406 1445434 4881335 | 2147483647 241781 26 | 0.402 % |
319.68/319.72 c | 243424 | 146406 1445434 4881335 | 2147483647 242939 26 | 0.402 % |
321.18/321.26 c | 244697 | 146406 1445434 4881335 | 2147483647 244212 26 | 0.402 % |
321.88/321.94 c | 246097 | 146406 1445434 4881335 | 2147483647 245612 26 | 0.402 % |
323.38/323.49 c | 247639 | 146406 1445434 4881335 | 2147483647 247154 26 | 0.402 % |
325.48/325.55 c | 249333 | 146406 1445434 4881335 | 2147483647 248848 26 | 0.402 % |
327.08/327.13 c | 251197 | 146406 1445434 4881335 | 2147483647 250712 26 | 0.402 % |
330.68/330.80 c | 253247 | 146406 1445434 4881335 | 2147483647 252762 26 | 0.402 % |
332.38/332.46 c | 255500 | 146406 1445434 4881335 | 2147483647 255015 26 | 0.402 % |
334.58/334.67 c | 257979 | 146406 1445434 4881335 | 2147483647 257494 26 | 0.402 % |
334.78/334.91 c | 258079 | 146406 1445434 4881335 | 2147483647 257594 26 | 0.402 % |
334.88/335.00 c | 258190 | 146406 1445434 4881335 | 2147483647 257705 26 | 0.402 % |
335.08/335.14 c | 258313 | 146406 1445434 4881335 | 2147483647 257828 26 | 0.402 % |
335.28/335.40 c | 258446 | 146406 1445434 4881335 | 2147483647 257961 26 | 0.402 % |
335.68/335.73 c | 258592 | 146406 1445434 4881335 | 2147483647 258107 26 | 0.402 % |
335.88/336.00 c | 258752 | 146406 1445434 4881335 | 2147483647 258267 26 | 0.402 % |
336.08/336.14 c | 258929 | 146406 1445434 4881335 | 2147483647 258444 26 | 0.402 % |
336.18/336.23 c | 259123 | 146406 1445434 4881335 | 2147483647 258638 26 | 0.402 % |
336.18/336.30 c | 259336 | 146406 1445434 4881335 | 2147483647 258851 26 | 0.402 % |
336.48/336.58 c | 259570 | 146406 1445434 4881335 | 2147483647 259085 26 | 0.402 % |
336.58/336.70 c | 259828 | 146406 1445434 4881335 | 2147483647 259343 26 | 0.402 % |
336.88/336.98 c | 260109 | 146406 1445434 4881335 | 2147483647 259624 26 | 0.402 % |
337.38/337.47 c | 260420 | 146406 1445434 4881335 | 2147483647 259935 26 | 0.402 % |
337.78/337.83 c | 260759 | 146406 1445434 4881335 | 2147483647 260274 26 | 0.402 % |
338.18/338.23 c | 261131 | 146406 1445434 4881335 | 2147483647 260646 26 | 0.402 % |
338.98/339.10 c | 261540 | 146406 1445434 4881335 | 2147483647 261055 26 | 0.402 % |
339.48/339.61 c | 261992 | 146406 1445434 4881335 | 2147483647 261507 26 | 0.402 % |
340.48/340.60 c | 262485 | 146406 1445434 4881335 | 2147483647 262000 26 | 0.402 % |
341.48/341.59 c | 263027 | 146406 1445434 4881335 | 2147483647 262542 26 | 0.402 % |
342.08/342.17 c | 263623 | 146406 1445434 4881335 | 2147483647 263138 26 | 0.402 % |
342.58/342.64 c | 264278 | 146406 1445434 4881335 | 2147483647 263793 26 | 0.402 % |
343.28/343.37 c | 264999 | 146406 1445434 4881335 | 2147483647 264514 26 | 0.402 % |
344.08/344.22 c | 265791 | 146406 1445434 4881335 | 2147483647 265306 26 | 0.402 % |
344.68/344.72 c | 266664 | 146406 1445434 4881335 | 2147483647 266179 26 | 0.402 % |
345.68/345.79 c | 267622 | 146406 1445434 4881335 | 2147483647 267137 27 | 0.402 % |
346.38/346.46 c | 268675 | 146406 1445434 4881335 | 2147483647 268190 27 | 0.402 % |
348.48/348.56 c | 269833 | 146406 1445434 4881335 | 2147483647 269348 27 | 0.402 % |
350.48/350.52 c | 271106 | 146406 1445434 4881335 | 2147483647 270621 27 | 0.402 % |
352.18/352.23 c | 272506 | 146403 1445410 4881253 | 2147483647 272019 27 | 0.404 % |
355.08/355.14 c | 274046 | 146403 1445410 4881253 | 2147483647 273559 27 | 0.404 % |
358.78/358.83 c | 275741 | 146403 1445410 4881253 | 2147483647 275254 27 | 0.404 % |
360.68/360.75 c | 277605 | 146403 1445410 4881253 | 2147483647 277118 27 | 0.404 % |
364.88/364.98 c | 279655 | 146403 1445410 4881253 | 2147483647 279168 27 | 0.404 % |
366.78/366.91 c | 281908 | 146403 1445410 4881253 | 2147483647 281421 27 | 0.404 % |
370.58/370.63 c | 284387 | 146403 1445410 4881253 | 2147483647 283900 27 | 0.404 % |
374.58/374.63 c | 287114 | 146403 1445410 4881253 | 2147483647 286627 27 | 0.404 % |
374.78/374.82 c | 287214 | 146403 1445410 4881253 | 2147483647 286727 27 | 0.404 % |
375.08/375.13 c | 287324 | 146403 1445410 4881253 | 2147483647 286837 27 | 0.404 % |
375.28/375.38 c | 287445 | 146403 1445410 4881253 | 2147483647 286958 27 | 0.404 % |
375.58/375.70 c | 287578 | 146403 1445410 4881253 | 2147483647 287091 27 | 0.404 % |
375.88/375.97 c | 287724 | 146403 1445410 4881253 | 2147483647 287237 27 | 0.404 % |
376.18/376.23 c | 287885 | 146403 1445410 4881253 | 2147483647 287398 27 | 0.404 % |
376.38/376.47 c | 288064 | 146403 1445410 4881253 | 2147483647 287577 27 | 0.404 % |
376.68/376.81 c | 288258 | 146403 1445410 4881253 | 2147483647 287771 27 | 0.404 % |
377.28/377.40 c | 288471 | 146403 1445410 4881253 | 2147483647 287984 27 | 0.404 % |
377.68/377.81 c | 288704 | 146403 1445410 4881253 | 2147483647 288217 27 | 0.404 % |
378.18/378.25 c | 288960 | 146403 1445410 4881253 | 2147483647 288473 27 | 0.404 % |
378.38/378.50 c | 289242 | 146403 1445410 4881253 | 2147483647 288755 27 | 0.404 % |
379.18/379.31 c | 289551 | 146403 1445410 4881253 | 2147483647 289064 27 | 0.404 % |
379.88/380.00 c | 289890 | 146403 1445410 4881253 | 2147483647 289403 27 | 0.404 % |
380.68/380.77 c | 290263 | 146403 1445410 4881253 | 2147483647 289776 27 | 0.404 % |
380.88/381.01 c | 290673 | 146403 1445410 4881253 | 2147483647 290186 27 | 0.404 % |
381.48/381.53 c | 291123 | 146403 1445410 4881253 | 2147483647 290636 27 | 0.404 % |
381.68/381.73 c | 291616 | 146403 1445410 4881253 | 2147483647 291129 27 | 0.404 % |
382.38/382.44 c | 292160 | 146403 1445410 4881253 | 2147483647 291673 27 | 0.404 % |
383.48/383.59 c | 292756 | 146403 1445410 4881253 | 2147483647 292269 27 | 0.404 % |
384.38/384.51 c | 293411 | 146403 1445410 4881253 | 2147483647 292924 27 | 0.404 % |
385.68/385.80 c | 294131 | 146403 1445410 4881253 | 2147483647 293644 27 | 0.404 % |
386.58/386.65 c | 294923 | 146403 1445410 4881253 | 2147483647 294436 27 | 0.404 % |
387.68/387.78 c | 295794 | 146403 1445410 4881253 | 2147483647 295307 27 | 0.404 % |
388.58/388.70 c | 296752 | 146403 1445410 4881253 | 2147483647 296265 27 | 0.404 % |
390.08/390.14 c | 297805 | 146403 1445410 4881253 | 2147483647 297318 27 | 0.404 % |
392.18/392.25 c | 298963 | 146403 1445410 4881253 | 2147483647 298476 27 | 0.404 % |
393.48/393.58 c | 300236 | 146403 1445410 4881253 | 2147483647 299749 27 | 0.404 % |
395.48/395.52 c | 301636 | 146403 1445410 4881253 | 2147483647 301149 27 | 0.404 % |
398.19/398.26 c | 303176 | 146403 1445410 4881253 | 2147483647 302689 27 | 0.404 % |
401.08/401.14 c | 304871 | 146396 1443538 4873863 | 2147483647 293653 27 | 0.409 % |
403.48/403.57 c | 306734 | 146392 1443538 4873863 | 2147483647 295515 27 | 0.418 % |
407.38/407.45 c | 308785 | 146389 1443538 4873863 | 2147483647 297566 27 | 0.418 % |
413.08/413.18 c | 311039 | 146389 1443538 4873863 | 2147483647 299820 27 | 0.418 % |
417.88/417.98 c | 313519 | 146389 1443538 4873863 | 2147483647 302300 27 | 0.418 % |
423.08/423.13 c | 316244 | 146389 1443538 4873863 | 2147483647 305025 27 | 0.418 % |
426.37/426.50 c | 319243 | 146389 1443538 4873863 | 2147483647 308024 27 | 0.418 % |
427.07/427.14 c | 319343 | 146382 1439209 4855494 | 2147483647 279232 27 | 0.418 % |
427.17/427.29 c | 319454 | 146382 1439209 4855494 | 2147483647 279343 28 | 0.418 % |
427.47/427.52 c | 319578 | 146382 1439209 4855494 | 2147483647 279467 28 | 0.418 % |
427.77/427.91 c | 319711 | 146382 1439209 4855494 | 2147483647 279600 28 | 0.418 % |
428.07/428.13 c | 319858 | 146382 1439209 4855494 | 2147483647 279747 28 | 0.418 % |
428.27/428.37 c | 320019 | 146382 1439209 4855494 | 2147483647 279908 28 | 0.418 % |
428.77/428.81 c | 320195 | 146382 1439209 4855494 | 2147483647 280084 28 | 0.418 % |
429.17/429.22 c | 320388 | 146382 1439209 4855494 | 2147483647 280277 28 | 0.418 % |
429.57/429.61 c | 320601 | 146382 1439209 4855494 | 2147483647 280490 28 | 0.418 % |
429.77/429.89 c | 320838 | 146382 1439209 4855494 | 2147483647 280727 28 | 0.418 % |
430.38/430.47 c | 321096 | 146382 1439209 4855494 | 2147483647 280985 28 | 0.418 % |
431.18/431.22 c | 321377 | 146382 1439209 4855494 | 2147483647 281266 28 | 0.418 % |
431.88/431.94 c | 321687 | 146382 1439209 4855494 | 2147483647 281576 28 | 0.418 % |
432.48/432.58 c | 322026 | 146382 1439209 4855494 | 2147483647 281915 28 | 0.418 % |
433.48/433.60 c | 322401 | 146382 1439209 4855494 | 2147483647 282290 28 | 0.418 % |
434.18/434.30 c | 322810 | 146382 1439209 4855494 | 2147483647 282699 28 | 0.418 % |
434.78/434.82 c | 323259 | 146382 1439209 4855494 | 2147483647 283148 28 | 0.418 % |
435.68/435.72 c | 323754 | 146382 1439209 4855494 | 2147483647 283643 28 | 0.418 % |
436.58/436.64 c | 324298 | 146382 1439209 4855494 | 2147483647 284187 28 | 0.418 % |
437.08/437.15 c | 324894 | 146382 1439209 4855494 | 2147483647 284783 28 | 0.418 % |
438.88/438.93 c | 325549 | 146382 1439209 4855494 | 2147483647 285438 28 | 0.418 % |
439.58/439.65 c | 326269 | 146382 1439209 4855494 | 2147483647 286158 28 | 0.418 % |
441.18/441.30 c | 327062 | 146382 1439209 4855494 | 2147483647 286951 28 | 0.418 % |
442.78/442.83 c | 327933 | 146382 1439209 4855494 | 2147483647 287822 28 | 0.418 % |
444.28/444.32 c | 328891 | 146382 1439209 4855494 | 2147483647 288780 28 | 0.418 % |
445.28/445.36 c | 329944 | 146382 1439209 4855494 | 2147483647 289833 28 | 0.418 % |
446.98/447.08 c | 331104 | 146382 1439209 4855494 | 2147483647 290993 28 | 0.418 % |
448.18/448.30 c | 332377 | 146382 1439209 4855494 | 2147483647 292266 28 | 0.418 % |
449.98/450.05 c | 333777 | 146382 1439209 4855494 | 2147483647 293666 28 | 0.418 % |
452.78/452.87 c | 335317 | 146382 1439209 4855494 | 2147483647 295206 28 | 0.418 % |
454.98/455.06 c | 337011 | 146382 1439209 4855494 | 2147483647 296900 28 | 0.418 % |
460.38/460.44 c | 338875 | 146382 1439209 4855494 | 2147483647 298764 28 | 0.418 % |
464.48/464.60 c | 340928 | 146382 1439209 4855494 | 2147483647 300817 28 | 0.418 % |
467.58/467.70 c | 343185 | 146382 1439209 4855494 | 2147483647 303074 28 | 0.418 % |
472.98/473.01 c | 345663 | 146382 1439209 4855494 | 2147483647 305552 28 | 0.418 % |
476.68/476.76 c | 348389 | 146382 1439209 4855494 | 2147483647 308278 28 | 0.418 % |
481.78/481.85 c | 351386 | 146382 1439209 4855494 | 2147483647 311275 28 | 0.418 % |
487.18/487.26 c | 354682 | 146382 1439209 4855494 | 2147483647 314571 28 | 0.418 % |
487.38/487.48 c | 354784 | 146382 1439209 4855494 | 2147483647 314673 28 | 0.418 % |
487.68/487.75 c | 354896 | 146382 1439209 4855494 | 2147483647 314785 28 | 0.418 % |
487.88/487.98 c | 355017 | 146382 1439209 4855494 | 2147483647 314906 28 | 0.418 % |
488.28/488.35 c | 355152 | 146382 1439209 4855494 | 2147483647 315041 28 | 0.418 % |
488.48/488.51 c | 355299 | 146382 1439209 4855494 | 2147483647 315188 28 | 0.418 % |
488.68/488.80 c | 355460 | 146382 1439209 4855494 | 2147483647 315349 28 | 0.418 % |
489.08/489.13 c | 355638 | 146382 1439209 4855494 | 2147483647 315527 28 | 0.418 % |
489.38/489.46 c | 355831 | 146382 1439209 4855494 | 2147483647 315720 28 | 0.418 % |
489.78/489.88 c | 356043 | 146382 1439209 4855494 | 2147483647 315932 28 | 0.418 % |
490.28/490.36 c | 356277 | 146382 1439209 4855494 | 2147483647 316166 28 | 0.418 % |
490.68/490.73 c | 356534 | 146382 1439209 4855494 | 2147483647 316423 28 | 0.418 % |
490.98/491.05 c | 356815 | 146382 1439209 4855494 | 2147483647 316704 28 | 0.418 % |
491.38/491.43 c | 357124 | 146382 1439209 4855494 | 2147483647 317013 28 | 0.418 % |
491.88/491.92 c | 357463 | 146382 1439209 4855494 | 2147483647 317352 28 | 0.418 % |
492.38/492.47 c | 357836 | 146382 1439209 4855494 | 2147483647 317725 28 | 0.418 % |
493.28/493.33 c | 358245 | 146382 1439209 4855494 | 2147483647 318134 28 | 0.418 % |
493.78/493.83 c | 358694 | 146382 1439209 4855494 | 2147483647 318583 28 | 0.418 % |
494.68/494.80 c | 359187 | 146382 1439209 4855494 | 2147483647 319076 28 | 0.418 % |
495.78/495.86 c | 359729 | 146382 1439209 4855494 | 2147483647 319618 28 | 0.418 % |
497.28/497.40 c | 360325 | 146382 1439209 4855494 | 2147483647 320214 28 | 0.418 % |
498.18/498.28 c | 360981 | 146382 1439209 4855494 | 2147483647 320870 28 | 0.418 % |
498.88/499.01 c | 361701 | 146382 1439209 4855494 | 2147483647 321590 28 | 0.418 % |
500.28/500.34 c | 362493 | 146382 1439209 4855494 | 2147483647 322382 28 | 0.418 % |
501.48/501.55 c | 363364 | 146382 1439209 4855494 | 2147483647 323253 28 | 0.418 % |
503.88/503.95 c | 364326 | 146382 1439209 4855494 | 2147483647 324215 28 | 0.418 % |
506.28/506.31 c | 365379 | 146382 1439209 4855494 | 2147483647 325268 28 | 0.418 % |
508.98/509.02 c | 366537 | 146382 1439209 4855494 | 2147483647 326426 28 | 0.418 % |
511.18/511.24 c | 367811 | 146382 1439209 4855494 | 2147483647 327700 28 | 0.418 % |
513.38/513.42 c | 369211 | 146382 1439209 4855494 | 2147483647 329100 28 | 0.418 % |
516.48/516.57 c | 370751 | 146382 1439209 4855494 | 2147483647 330640 28 | 0.418 % |
520.29/520.41 c | 372446 | 146382 1439209 4855494 | 2147483647 332335 28 | 0.418 % |
524.18/524.26 c | 374310 | 146382 1439209 4855494 | 2147483647 334199 28 | 0.418 % |
528.88/528.95 c | 376360 | 146379 1439185 4855412 | 2147483647 336244 28 | 0.420 % |
534.18/534.27 c | 378614 | 146379 1439185 4855412 | 2147483647 338498 28 | 0.420 % |
538.68/538.71 c | 381092 | 146379 1439185 4855412 | 2147483647 340976 28 | 0.420 % |
546.69/546.75 c | 383817 | 146379 1439185 4855412 | 2147483647 343701 28 | 0.420 % |
552.09/552.15 c | 386814 | 146379 1439185 4855412 | 2147483647 346698 28 | 0.420 % |
556.69/556.74 c | 390110 | 146379 1439185 4855412 | 2147483647 349994 29 | 0.420 % |
566.29/566.34 c | 393735 | 146379 1439185 4855412 | 2147483647 353619 29 | 0.420 % |
566.49/566.57 c | 393837 | 146379 1439185 4855412 | 2147483647 353721 29 | 0.420 % |
566.89/566.97 c | 393948 | 146379 1439185 4855412 | 2147483647 353832 29 | 0.420 % |
567.09/567.19 c | 394069 | 146379 1439185 4855412 | 2147483647 353953 29 | 0.420 % |
567.39/567.42 c | 394204 | 146379 1439185 4855412 | 2147483647 354088 29 | 0.420 % |
567.69/567.77 c | 394350 | 146379 1439185 4855412 | 2147483647 354234 29 | 0.420 % |
568.09/568.18 c | 394510 | 146379 1439185 4855412 | 2147483647 354394 29 | 0.420 % |
568.39/568.48 c | 394686 | 146379 1439185 4855412 | 2147483647 354570 29 | 0.420 % |
568.69/568.78 c | 394881 | 146379 1439185 4855412 | 2147483647 354765 29 | 0.420 % |
569.09/569.21 c | 395093 | 146379 1439185 4855412 | 2147483647 354977 29 | 0.420 % |
569.69/569.73 c | 395328 | 146379 1439185 4855412 | 2147483647 355212 29 | 0.420 % |
570.49/570.61 c | 395585 | 146379 1439185 4855412 | 2147483647 355469 29 | 0.420 % |
571.39/571.45 c | 395869 | 146379 1439185 4855412 | 2147483647 355753 29 | 0.420 % |
572.19/572.28 c | 396178 | 146379 1439185 4855412 | 2147483647 356062 29 | 0.420 % |
572.89/573.01 c | 396518 | 146379 1439185 4855412 | 2147483647 356402 29 | 0.420 % |
573.59/573.67 c | 396891 | 146379 1439185 4855412 | 2147483647 356775 29 | 0.420 % |
574.49/574.56 c | 397300 | 146379 1439185 4855412 | 2147483647 357184 29 | 0.420 % |
575.59/575.70 c | 397749 | 146379 1439185 4855412 | 2147483647 357633 29 | 0.420 % |
576.19/576.31 c | 398242 | 146379 1439185 4855412 | 2147483647 358126 29 | 0.420 % |
577.59/577.70 c | 398784 | 146379 1439185 4855412 | 2147483647 358668 29 | 0.420 % |
578.79/578.88 c | 399380 | 146379 1439185 4855412 | 2147483647 359264 29 | 0.420 % |
579.79/579.84 c | 400036 | 146379 1439185 4855412 | 2147483647 359920 29 | 0.420 % |
581.19/581.23 c | 400756 | 146379 1439185 4855412 | 2147483647 360640 29 | 0.420 % |
583.49/583.59 c | 401549 | 146379 1439185 4855412 | 2147483647 361433 29 | 0.420 % |
585.99/586.07 c | 402420 | 146379 1439185 4855412 | 2147483647 362304 29 | 0.420 % |
588.79/588.84 c | 403378 | 146379 1439185 4855412 | 2147483647 363262 29 | 0.420 % |
591.49/591.59 c | 404433 | 146379 1439185 4855412 | 2147483647 364317 29 | 0.420 % |
593.29/593.41 c | 405595 | 146379 1439185 4855412 | 2147483647 365479 29 | 0.420 % |
596.79/596.85 c | 406870 | 146379 1439185 4855412 | 2147483647 366754 29 | 0.420 % |
600.59/600.71 c | 408272 | 146379 1439185 4855412 | 2147483647 368156 29 | 0.420 % |
604.39/604.49 c | 409814 | 146379 1439185 4855412 | 2147483647 369698 29 | 0.420 % |
608.59/608.67 c | 411508 | 146379 1439185 4855412 | 2147483647 371392 29 | 0.420 % |
613.09/613.12 c | 413372 | 146379 1439185 4855412 | 2147483647 373256 29 | 0.420 % |
617.49/617.56 c | 415421 | 146379 1439185 4855412 | 2147483647 375305 29 | 0.420 % |
621.29/621.40 c | 417676 | 146379 1439185 4855412 | 2147483647 377560 29 | 0.420 % |
628.39/628.49 c | 420154 | 146379 1439185 4855412 | 2147483647 380038 29 | 0.420 % |
634.19/634.30 c | 422880 | 146379 1439185 4855412 | 2147483647 382764 29 | 0.420 % |
641.89/641.93 c | 425877 | 146379 1439185 4855412 | 2147483647 385761 29 | 0.420 % |
649.09/649.15 c | 429173 | 146379 1439185 4855412 | 2147483647 389057 29 | 0.420 % |
659.70/659.77 c | 432801 | 146379 1439185 4855412 | 2147483647 392685 29 | 0.420 % |
667.10/667.18 c | 436789 | 146379 1439185 4855412 | 2147483647 396673 29 | 0.420 % |
667.50/667.56 c | 436891 | 146379 1439185 4855412 | 2147483647 396775 29 | 0.420 % |
667.80/667.83 c | 437001 | 146379 1439185 4855412 | 2147483647 396885 29 | 0.420 % |
668.20/668.31 c | 437122 | 146379 1439185 4855412 | 2147483647 397006 29 | 0.420 % |
668.70/668.74 c | 437256 | 146379 1439185 4855412 | 2147483647 397140 29 | 0.420 % |
669.00/669.09 c | 437402 | 146379 1439185 4855412 | 2147483647 397286 29 | 0.420 % |
669.40/669.49 c | 437562 | 146379 1439185 4855412 | 2147483647 397446 29 | 0.420 % |
669.90/669.98 c | 437739 | 146379 1439185 4855412 | 2147483647 397623 29 | 0.420 % |
670.50/670.59 c | 437932 | 146379 1439185 4855412 | 2147483647 397816 29 | 0.420 % |
671.00/671.04 c | 438144 | 146379 1439185 4855412 | 2147483647 398028 29 | 0.420 % |
671.60/671.68 c | 438377 | 146379 1439185 4855412 | 2147483647 398261 29 | 0.420 % |
671.90/671.94 c | 438633 | 146379 1439185 4855412 | 2147483647 398517 29 | 0.420 % |
672.20/672.29 c | 438914 | 146379 1439185 4855412 | 2147483647 398798 29 | 0.420 % |
672.80/672.87 c | 439227 | 146379 1439185 4855412 | 2147483647 399111 29 | 0.420 % |
673.70/673.79 c | 439566 | 146379 1439185 4855412 | 2147483647 399450 29 | 0.420 % |
674.70/674.75 c | 439938 | 146379 1439185 4855412 | 2147483647 399822 29 | 0.420 % |
675.50/675.57 c | 440348 | 146379 1439185 4855412 | 2147483647 400232 29 | 0.420 % |
676.10/676.19 c | 440797 | 146379 1439185 4855412 | 2147483647 400681 29 | 0.420 % |
677.10/677.12 c | 441291 | 146379 1439185 4855412 | 2147483647 401175 29 | 0.420 % |
678.40/678.48 c | 441833 | 146379 1439185 4855412 | 2147483647 401717 29 | 0.420 % |
679.00/679.05 c | 442432 | 146379 1439185 4855412 | 2147483647 402316 29 | 0.420 % |
679.90/679.93 c | 443088 | 146379 1439185 4855412 | 2147483647 402972 29 | 0.420 % |
681.00/681.10 c | 443808 | 146379 1439185 4855412 | 2147483647 403692 29 | 0.420 % |
681.90/681.99 c | 444600 | 146379 1439185 4855412 | 2147483647 404484 29 | 0.420 % |
683.90/684.01 c | 445471 | 146379 1439185 4855412 | 2147483647 405355 29 | 0.420 % |
684.90/685.00 c | 446429 | 146379 1439185 4855412 | 2147483647 406313 29 | 0.420 % |
685.30/685.41 c | 447483 | 146379 1439185 4855412 | 2147483647 407367 29 | 0.420 % |
685.79/685.84 c | 448642 | 146379 1439185 4855412 | 2147483647 408526 29 | 0.420 % |
686.49/686.53 c | 449918 | 146379 1439185 4855412 | 2147483647 409802 29 | 0.420 % |
688.99/689.06 c | 451319 | 146379 1439185 4855412 | 2147483647 411203 29 | 0.420 % |
690.59/690.64 c | 452860 | 146379 1439185 4855412 | 2147483647 412744 29 | 0.420 % |
692.49/692.54 c | 454554 | 146379 1439185 4855412 | 2147483647 414438 29 | 0.420 % |
694.69/694.77 c | 456418 | 146379 1439185 4855412 | 2147483647 416302 28 | 0.420 % |
701.19/701.30 c | 458468 | 146379 1439185 4855412 | 2147483647 418352 28 | 0.420 % |
707.99/708.04 c | 460722 | 146379 1439185 4855412 | 2147483647 420606 28 | 0.420 % |
709.79/709.82 c | 463200 | 146379 1439185 4855412 | 2147483647 423084 28 | 0.420 % |
713.39/713.42 c | 465925 | 146379 1439185 4855412 | 2147483647 425809 28 | 0.420 % |
716.99/717.09 c | 468922 | 146379 1439185 4855412 | 2147483647 428806 28 | 0.420 % |
725.79/725.90 c | 472218 | 146379 1439185 4855412 | 2147483647 432102 28 | 0.420 % |
740.49/740.59 c | 475843 | 145958 1412406 4722603 | 2147483647 184783 22 | 0.707 % |
745.69/745.76 c | 479830 | 145958 1412406 4722603 | 2147483647 188770 22 | 0.707 % |
748.39/748.46 c | 484215 | 145958 1412406 4722603 | 2147483647 193155 22 | 0.707 % |
748.49/748.58 c | 484315 | 145958 1412406 4722603 | 2147483647 193255 22 | 0.707 % |
748.69/748.73 c | 484427 | 145958 1412406 4722603 | 2147483647 193367 22 | 0.707 % |
748.79/748.87 c | 484552 | 145958 1412406 4722603 | 2147483647 193492 22 | 0.707 % |
748.99/749.03 c | 484685 | 145958 1412406 4722603 | 2147483647 193625 22 | 0.707 % |
749.19/749.22 c | 484832 | 145958 1412406 4722603 | 2147483647 193772 22 | 0.707 % |
749.29/749.31 c | 484993 | 145958 1412406 4722603 | 2147483647 193933 22 | 0.707 % |
749.49/749.58 c | 485170 | 145958 1412406 4722603 | 2147483647 194110 22 | 0.707 % |
749.79/749.81 c | 485363 | 145958 1412406 4722603 | 2147483647 194303 22 | 0.707 % |
749.89/749.97 c | 485575 | 145958 1412406 4722603 | 2147483647 194515 22 | 0.707 % |
750.09/750.18 c | 485808 | 145958 1412406 4722603 | 2147483647 194748 22 | 0.707 % |
750.29/750.37 c | 486064 | 145958 1412406 4722603 | 2147483647 195004 22 | 0.707 % |
750.59/750.63 c | 486345 | 145958 1412406 4722603 | 2147483647 195285 22 | 0.707 % |
750.89/750.98 c | 486654 | 145958 1412406 4722603 | 2147483647 195594 22 | 0.707 % |
751.39/751.44 c | 486993 | 145958 1412406 4722603 | 2147483647 195933 22 | 0.707 % |
751.59/751.63 c | 487366 | 145958 1412406 4722603 | 2147483647 196306 22 | 0.707 % |
752.19/752.22 c | 487775 | 145958 1412406 4722603 | 2147483647 196715 22 | 0.707 % |
752.59/752.70 c | 488227 | 145958 1412406 4722603 | 2147483647 197167 22 | 0.707 % |
753.19/753.28 c | 488721 | 145958 1412406 4722603 | 2147483647 197661 22 | 0.707 % |
753.69/753.71 c | 489263 | 145958 1412406 4722603 | 2147483647 198203 22 | 0.707 % |
754.49/754.52 c | 489861 | 145958 1412406 4722603 | 2147483647 198801 22 | 0.707 % |
755.39/755.48 c | 490517 | 145953 1411923 4721099 | 2147483647 197228 22 | 0.710 % |
756.29/756.33 c | 491237 | 145953 1411923 4721099 | 2147483647 197947 22 | 0.739 % |
757.29/757.37 c | 492029 | 145953 1411923 4721099 | 2147483647 198739 22 | 0.739 % |
758.09/758.19 c | 492900 | 145953 1411923 4721099 | 2147483647 199610 22 | 0.739 % |
759.39/759.43 c | 493858 | 145953 1411923 4721099 | 2147483647 200568 22 | 0.739 % |
760.59/760.63 c | 494911 | 145953 1411923 4721099 | 2147483647 201621 22 | 0.739 % |
761.89/761.99 c ===============================================================================
761.89/761.99 c restarts : 889
761.89/761.99 c conflicts : 495882 (817 /sec)
761.89/761.99 c decisions : 849434 (1.90 % random) (1399 /sec)
761.89/761.99 c propagations : 347364739 (571973 /sec)
761.89/761.99 c conflict literals : 13616071 (44.05 % deleted)
761.89/761.99 c Memory used : 139.58 MB
761.89/761.99 c CPU time : 607.31 s
761.89/761.99 c
761.89/761.99 s UNSATISFIABLE
761.89/762.00 s UNSATISFIABLE
runsolver version 3.2.9 (svn:503) (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w /tmp/evaluation-result-1821484-1242530849/watcher-1821484-1242530849 -o /tmp/evaluation-result-1821484-1242530849/solver-1821484-1242530849 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1821484-1242530849.cnf
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1230 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 8192 KiB
[startup+0 s]
/proc/loadavg: 1.07 1.02 1.00 2/91 7078
/proc/meminfo: memFree=971276/2074464 swapFree=1953004/1959888
[pid=7078] ppid=7076 vsize=2412 CPUtime=0
/proc/7078/stat : 7078 (SatELiteGTI) R 7076 7078 9090 0 -1 4194304 353 644 0 0 0 0 0 0 25 0 1 0 1017585823 2469888 276 4294967295 134512640 135169312 3214562544 3214561020 3085408116 0 65538 4 65536 0 0 0 17 2 0 0 0
/proc/7078/statm: 603 276 235 161 0 42 0
[pid=7082] ppid=7078 vsize=2412 CPUtime=0
/proc/7082/stat : 7082 (SatELiteGTI) R 7078 7078 9090 0 -1 4194368 66 0 0 0 0 0 0 0 25 0 1 0 1017585824 2469888 94 4294967295 134512640 135169312 3214562544 3214561172 3085408746 0 0 0 0 0 0 0 17 3 0 0 0
/proc/7082/statm: 0 0 0 0 0 0 0
[startup+0.017808 s]
/proc/loadavg: 1.07 1.02 1.00 2/91 7078
/proc/meminfo: memFree=971276/2074464 swapFree=1953004/1959888
[pid=7078] ppid=7076 vsize=2412 CPUtime=0
/proc/7078/stat : 7078 (SatELiteGTI) S 7076 7078 9090 0 -1 4194304 367 644 0 0 0 0 0 0 25 0 1 0 1017585823 2469888 276 4294967295 134512640 135169312 3214562544 3214561080 3085405934 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/7078/statm: 603 276 235 161 0 42 0
[pid=7082] ppid=7078 vsize=3160 CPUtime=0.02
/proc/7082/stat : 7082 (SatELite_releas) R 7078 7078 9090 0 -1 4202496 564 0 0 0 2 0 0 0 25 0 1 0 1017585824 3235840 499 4294967295 134512640 135223648 3219208528 3219207408 134543168 0 0 0 3 0 0 0 17 3 0 0 0
/proc/7082/statm: 790 500 47 174 0 615 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 5572
[startup+0.117802 s]
/proc/loadavg: 1.07 1.02 1.00 2/91 7078
/proc/meminfo: memFree=971276/2074464 swapFree=1953004/1959888
[pid=7078] ppid=7076 vsize=2412 CPUtime=0
/proc/7078/stat : 7078 (SatELiteGTI) S 7076 7078 9090 0 -1 4194304 367 644 0 0 0 0 0 0 25 0 1 0 1017585823 2469888 276 4294967295 134512640 135169312 3214562544 3214561080 3085405934 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/7078/statm: 603 276 235 161 0 42 0
[pid=7082] ppid=7078 vsize=50716 CPUtime=0.12
/proc/7082/stat : 7082 (SatELite_releas) R 7078 7078 9090 0 -1 4202496 7486 0 0 0 10 2 0 0 25 0 1 0 1017585824 51933184 7325 4294967295 134512640 135223648 3219208528 3219207408 134543236 0 0 0 3 0 0 0 17 3 0 0 0
/proc/7082/statm: 12679 7326 47 174 0 12504 0
Current children cumulated CPU time (s) 0.12
Current children cumulated vsize (KiB) 53128
[startup+0.317792 s]
/proc/loadavg: 1.07 1.02 1.00 2/91 7078
/proc/meminfo: memFree=971276/2074464 swapFree=1953004/1959888
[pid=7078] ppid=7076 vsize=2412 CPUtime=0
/proc/7078/stat : 7078 (SatELiteGTI) S 7076 7078 9090 0 -1 4194304 367 644 0 0 0 0 0 0 25 0 1 0 1017585823 2469888 276 4294967295 134512640 135169312 3214562544 3214561080 3085405934 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/7078/statm: 603 276 235 161 0 42 0
[pid=7082] ppid=7078 vsize=65616 CPUtime=0.32
/proc/7082/stat : 7082 (SatELite_releas) R 7078 7078 9090 0 -1 4202496 12505 0 0 0 28 4 0 0 25 0 1 0 1017585824 67190784 12344 4294967295 134512640 135223648 3219208528 3219207028 134719062 0 0 0 3 0 0 0 17 3 0 0 0
/proc/7082/statm: 16404 12345 47 174 0 16229 0
Current children cumulated CPU time (s) 0.32
Current children cumulated vsize (KiB) 68028
[startup+0.717773 s]
/proc/loadavg: 1.07 1.02 1.00 2/91 7078
/proc/meminfo: memFree=971276/2074464 swapFree=1953004/1959888
[pid=7078] ppid=7076 vsize=2412 CPUtime=0
/proc/7078/stat : 7078 (SatELiteGTI) S 7076 7078 9090 0 -1 4194304 367 644 0 0 0 0 0 0 25 0 1 0 1017585823 2469888 276 4294967295 134512640 135169312 3214562544 3214561080 3085405934 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/7078/statm: 603 276 235 161 0 42 0
[pid=7082] ppid=7078 vsize=98884 CPUtime=0.72
/proc/7082/stat : 7082 (SatELite_releas) R 7078 7078 9090 0 -1 4202496 22802 0 0 0 64 8 0 0 25 0 1 0 1017585824 101257216 22641 4294967295 134512640 135223648 3219208528 3219207480 134737310 0 0 0 3 0 0 0 17 3 0 0 0
/proc/7082/statm: 24721 22642 47 174 0 24546 0
Current children cumulated CPU time (s) 0.72
Current children cumulated vsize (KiB) 101296
[startup+1.51774 s]
/proc/loadavg: 1.07 1.02 1.00 3/93 7083
/proc/meminfo: memFree=850832/2074464 swapFree=1953004/1959888
[pid=7078] ppid=7076 vsize=2412 CPUtime=0
/proc/7078/stat : 7078 (SatELiteGTI) S 7076 7078 9090 0 -1 4194304 367 644 0 0 0 0 0 0 25 0 1 0 1017585823 2469888 276 4294967295 134512640 135169312 3214562544 3214561080 3085405934 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/7078/statm: 603 276 235 161 0 42 0
[pid=7082] ppid=7078 vsize=210892 CPUtime=1.52
/proc/7082/stat : 7082 (SatELite_releas) R 7078 7078 9090 0 -1 4202496 43427 0 0 0 134 18 0 0 25 0 1 0 1017585824 215953408 43266 4294967295 134512640 135223648 3219208528 3219207480 134737310 0 0 0 3 0 0 0 17 3 0 0 0
/proc/7082/statm: 52723 43267 47 174 0 52548 0
Current children cumulated CPU time (s) 1.52
Current children cumulated vsize (KiB) 213304
[startup+3.11766 s]
/proc/loadavg: 1.07 1.02 1.00 3/93 7083
/proc/meminfo: memFree=757956/2074464 swapFree=1953004/1959888
[pid=7078] ppid=7076 vsize=2412 CPUtime=0
/proc/7078/stat : 7078 (SatELiteGTI) S 7076 7078 9090 0 -1 4194304 367 644 0 0 0 0 0 0 25 0 1 0 1017585823 2469888 276 4294967295 134512640 135169312 3214562544 3214561080 3085405934 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/7078/statm: 603 276 235 161 0 42 0
[pid=7082] ppid=7078 vsize=361264 CPUtime=3.12
/proc/7082/stat : 7082 (SatELite_releas) R 7078 7078 9090 0 -1 4202496 79782 0 0 0 281 31 0 0 25 0 1 0 1017585824 369934336 79621 4294967295 134512640 135223648 3219208528 3219207536 134547591 0 0 0 3 0 0 0 17 3 0 0 0
/proc/7082/statm: 90316 79621 47 174 0 90141 0
Current children cumulated CPU time (s) 3.12
Current children cumulated vsize (KiB) 363676
[startup+6.31751 s]
/proc/loadavg: 1.07 1.02 1.00 3/93 7083
/proc/meminfo: memFree=638460/2074464 swapFree=1953004/1959888
[pid=7078] ppid=7076 vsize=2412 CPUtime=0
/proc/7078/stat : 7078 (SatELiteGTI) S 7076 7078 9090 0 -1 4194304 367 644 0 0 0 0 0 0 25 0 1 0 1017585823 2469888 276 4294967295 134512640 135169312 3214562544 3214561080 3085405934 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/7078/statm: 603 276 235 161 0 42 0
[pid=7082] ppid=7078 vsize=383016 CPUtime=6.32
/proc/7082/stat : 7082 (SatELite_releas) R 7078 7078 9090 0 -1 4202496 83703 0 0 0 600 32 0 0 25 0 1 0 1017585824 392208384 83542 4294967295 134512640 135223648 3219208528 3219207024 134548560 0 0 0 3 0 0 0 17 3 0 0 0
/proc/7082/statm: 95754 83542 67 174 0 95579 0
Current children cumulated CPU time (s) 6.32
Current children cumulated vsize (KiB) 385428
[startup+12.7172 s]
/proc/loadavg: 1.06 1.02 1.00 3/93 7083
/proc/meminfo: memFree=609120/2074464 swapFree=1953004/1959888
[pid=7078] ppid=7076 vsize=2412 CPUtime=0
/proc/7078/stat : 7078 (SatELiteGTI) S 7076 7078 9090 0 -1 4194304 367 644 0 0 0 0 0 0 25 0 1 0 1017585823 2469888 276 4294967295 134512640 135169312 3214562544 3214561080 3085405934 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/7078/statm: 603 276 235 161 0 42 0
[pid=7082] ppid=7078 vsize=428652 CPUtime=12.72
/proc/7082/stat : 7082 (SatELite_releas) R 7078 7078 9090 0 -1 4202496 91144 0 0 0 1235 37 0 0 25 0 1 0 1017585824 438939648 90856 4294967295 134512640 135223648 3219208528 3219206608 134548328 0 0 0 3 0 0 0 17 3 0 0 0
/proc/7082/statm: 107163 90856 72 174 0 106988 0
Current children cumulated CPU time (s) 12.72
Current children cumulated vsize (KiB) 431064
[startup+25.5166 s]
/proc/loadavg: 1.05 1.01 1.00 2/93 7268
/proc/meminfo: memFree=608908/2074464 swapFree=1953004/1959888
[pid=7078] ppid=7076 vsize=2412 CPUtime=0
/proc/7078/stat : 7078 (SatELiteGTI) S 7076 7078 9090 0 -1 4194304 367 644 0 0 0 0 0 0 25 0 1 0 1017585823 2469888 276 4294967295 134512640 135169312 3214562544 3214561080 3085405934 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/7078/statm: 603 276 235 161 0 42 0
[pid=7082] ppid=7078 vsize=428652 CPUtime=25.52
/proc/7082/stat : 7082 (SatELite_releas) R 7078 7078 9090 0 -1 4202496 91159 0 0 0 2515 37 0 0 25 0 1 0 1017585824 438939648 90871 4294967295 134512640 135223648 3219208528 3219206608 134548581 0 0 0 3 0 0 0 17 3 0 0 0
/proc/7082/statm: 107163 90871 72 174 0 106988 0
Current children cumulated CPU time (s) 25.52
Current children cumulated vsize (KiB) 431064
[startup+51.1154 s]
/proc/loadavg: 1.03 1.01 1.00 2/93 7269
/proc/meminfo: memFree=609208/2074464 swapFree=1953004/1959888
[pid=7078] ppid=7076 vsize=2412 CPUtime=0
/proc/7078/stat : 7078 (SatELiteGTI) S 7076 7078 9090 0 -1 4194304 367 644 0 0 0 0 0 0 25 0 1 0 1017585823 2469888 276 4294967295 134512640 135169312 3214562544 3214561080 3085405934 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/7078/statm: 603 276 235 161 0 42 0
[pid=7082] ppid=7078 vsize=428200 CPUtime=51.12
/proc/7082/stat : 7082 (SatELite_releas) R 7078 7078 9090 0 -1 4202496 91229 0 0 0 5075 37 0 0 25 0 1 0 1017585824 438476800 90828 4294967295 134512640 135223648 3219208528 3219206608 134548581 0 0 0 3 0 0 0 17 3 0 0 0
/proc/7082/statm: 107050 90828 72 174 0 106875 0
Current children cumulated CPU time (s) 51.12
Current children cumulated vsize (KiB) 430612
[startup+102.313 s]
/proc/loadavg: 1.01 1.01 1.00 4/93 7457
/proc/meminfo: memFree=608804/2074464 swapFree=1953004/1959888
[pid=7078] ppid=7076 vsize=2412 CPUtime=0
/proc/7078/stat : 7078 (SatELiteGTI) S 7076 7078 9090 0 -1 4194304 367 644 0 0 0 0 0 0 25 0 1 0 1017585823 2469888 276 4294967295 134512640 135169312 3214562544 3214561080 3085405934 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/7078/statm: 603 276 235 161 0 42 0
[pid=7082] ppid=7078 vsize=430232 CPUtime=102.32
/proc/7082/stat : 7082 (SatELite_releas) R 7078 7078 9090 0 -1 4202496 91399 0 0 0 10195 37 0 0 25 0 1 0 1017585824 440557568 90866 4294967295 134512640 135223648 3219208528 3219206608 134549042 0 0 0 3 0 0 0 17 3 0 0 0
/proc/7082/statm: 107558 90866 72 174 0 107383 0
Current children cumulated CPU time (s) 102.32
Current children cumulated vsize (KiB) 432644
[startup+162.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/93 7645
/proc/meminfo: memFree=828640/2074464 swapFree=1953004/1959888
[pid=7078] ppid=7076 vsize=2416 CPUtime=154.2
/proc/7078/stat : 7078 (SatELiteGTI) S 7076 7078 9090 0 -1 4194304 385 115251 0 0 0 0 15339 81 20 0 1 0 1017585823 2473984 277 4294967295 134512640 135169312 3214562544 3214558760 3085405934 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/7078/statm: 604 277 235 161 0 43 0
[pid=7645] ppid=7078 vsize=80352 CPUtime=8.06
/proc/7645/stat : 7645 (minisat_static) R 7078 7078 9090 0 -1 4202496 19470 0 0 0 795 11 0 0 25 0 1 0 1017601249 82280448 19379 4294967295 134512640 135215339 3218747712 3218746000 134528849 0 0 0 3 0 0 0 17 3 0 0 0
/proc/7645/statm: 20088 19379 73 172 0 19915 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 82768
[startup+222.317 s]
/proc/loadavg: 1.00 1.00 1.00 2/93 7838
/proc/meminfo: memFree=812404/2074464 swapFree=1953004/1959888
[pid=7078] ppid=7076 vsize=2416 CPUtime=154.2
/proc/7078/stat : 7078 (SatELiteGTI) S 7076 7078 9090 0 -1 4194304 385 115251 0 0 0 0 15339 81 20 0 1 0 1017585823 2473984 277 4294967295 134512640 135169312 3214562544 3214558760 3085405934 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/7078/statm: 604 277 235 161 0 43 0
[pid=7645] ppid=7078 vsize=96372 CPUtime=68.07
/proc/7645/stat : 7645 (minisat_static) R 7078 7078 9090 0 -1 4202496 23410 0 0 0 6779 28 0 0 25 0 1 0 1017601249 98684928 23319 4294967295 134512640 135215339 3218747712 3218746000 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/7645/statm: 24093 23319 73 172 0 23920 0
Current children cumulated CPU time (s) 222.27
Current children cumulated vsize (KiB) 98788
[startup+282.314 s]
/proc/loadavg: 1.00 1.00 1.00 2/93 8024
/proc/meminfo: memFree=802888/2074464 swapFree=1953004/1959888
[pid=7078] ppid=7076 vsize=2416 CPUtime=154.2
/proc/7078/stat : 7078 (SatELiteGTI) S 7076 7078 9090 0 -1 4194304 385 115251 0 0 0 0 15339 81 20 0 1 0 1017585823 2473984 277 4294967295 134512640 135169312 3214562544 3214558760 3085405934 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/7078/statm: 604 277 235 161 0 43 0
[pid=7645] ppid=7078 vsize=106108 CPUtime=128.07
/proc/7645/stat : 7645 (minisat_static) R 7078 7078 9090 0 -1 4202496 25803 0 0 0 12777 30 0 0 25 0 1 0 1017601249 108654592 25712 4294967295 134512640 135215339 3218747712 3218745776 134538130 0 0 0 3 0 0 0 17 3 0 0 0
/proc/7645/statm: 26527 25712 73 172 0 26354 0
Current children cumulated CPU time (s) 282.27
Current children cumulated vsize (KiB) 108524
[startup+342.321 s]
/proc/loadavg: 1.00 1.00 1.00 3/93 8212
/proc/meminfo: memFree=794440/2074464 swapFree=1953004/1959888
[pid=7078] ppid=7076 vsize=2416 CPUtime=154.2
/proc/7078/stat : 7078 (SatELiteGTI) S 7076 7078 9090 0 -1 4194304 385 115251 0 0 0 0 15339 81 20 0 1 0 1017585823 2473984 277 4294967295 134512640 135169312 3214562544 3214558760 3085405934 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/7078/statm: 604 277 235 161 0 43 0
[pid=7645] ppid=7078 vsize=114444 CPUtime=188.08
/proc/7645/stat : 7645 (minisat_static) R 7078 7078 9090 0 -1 4202496 27954 0 0 0 18776 32 0 0 25 0 1 0 1017601249 117190656 27863 4294967295 134512640 135215339 3218747712 3218746000 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/7645/statm: 28611 27863 73 172 0 28438 0
Current children cumulated CPU time (s) 342.28
################
# More data... #
################
/proc/7645/statm: 30138 29412 73 172 0 29965 0
Current children cumulated CPU time (s) 402.28
Current children cumulated vsize (KiB) 122968
[startup+462.316 s]
/proc/loadavg: 1.00 1.00 1.00 3/93 8590
/proc/meminfo: memFree=786792/2074464 swapFree=1953004/1959888
[pid=7078] ppid=7076 vsize=2416 CPUtime=154.2
/proc/7078/stat : 7078 (SatELiteGTI) S 7076 7078 9090 0 -1 4194304 385 115251 0 0 0 0 15339 81 20 0 1 0 1017585823 2473984 277 4294967295 134512640 135169312 3214562544 3214558760 3085405934 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/7078/statm: 604 277 235 161 0 43 0
[pid=7645] ppid=7078 vsize=122032 CPUtime=308.08
/proc/7645/stat : 7645 (minisat_static) R 7078 7078 9090 0 -1 4202496 29889 0 0 0 30772 36 0 0 25 0 1 0 1017601249 124960768 29798 4294967295 134512640 135215339 3218747712 3218746000 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/7645/statm: 30508 29798 73 172 0 30335 0
Current children cumulated CPU time (s) 462.28
Current children cumulated vsize (KiB) 124448
[startup+522.313 s]
/proc/loadavg: 1.00 1.00 1.00 2/93 8779
/proc/meminfo: memFree=781156/2074464 swapFree=1953004/1959888
[pid=7078] ppid=7076 vsize=2416 CPUtime=154.2
/proc/7078/stat : 7078 (SatELiteGTI) S 7076 7078 9090 0 -1 4194304 385 115251 0 0 0 0 15339 81 20 0 1 0 1017585823 2473984 277 4294967295 134512640 135169312 3214562544 3214558760 3085405934 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/7078/statm: 604 277 235 161 0 43 0
[pid=7645] ppid=7078 vsize=127820 CPUtime=368.08
/proc/7645/stat : 7645 (minisat_static) R 7078 7078 9090 0 -1 4202496 31210 0 0 0 36771 37 0 0 25 0 1 0 1017601249 130887680 31119 4294967295 134512640 135215339 3218747712 3218746000 134528721 0 0 0 3 0 0 0 17 3 0 0 0
/proc/7645/statm: 31955 31119 73 172 0 31782 0
Current children cumulated CPU time (s) 522.28
Current children cumulated vsize (KiB) 130236
[startup+582.32 s]
/proc/loadavg: 1.00 1.00 1.00 2/93 8965
/proc/meminfo: memFree=776708/2074464 swapFree=1953004/1959888
[pid=7078] ppid=7076 vsize=2416 CPUtime=154.2
/proc/7078/stat : 7078 (SatELiteGTI) S 7076 7078 9090 0 -1 4194304 385 115251 0 0 0 0 15339 81 20 0 1 0 1017585823 2473984 277 4294967295 134512640 135169312 3214562544 3214558760 3085405934 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/7078/statm: 604 277 235 161 0 43 0
[pid=7645] ppid=7078 vsize=132188 CPUtime=428.09
/proc/7645/stat : 7645 (minisat_static) R 7078 7078 9090 0 -1 4202496 32320 0 0 0 42771 38 0 0 25 0 1 0 1017601249 135360512 32229 4294967295 134512640 135215339 3218747712 3218746000 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/7645/statm: 33047 32229 73 172 0 32874 0
Current children cumulated CPU time (s) 582.29
Current children cumulated vsize (KiB) 134604
[startup+642.317 s]
/proc/loadavg: 1.11 1.03 1.01 3/93 9160
/proc/meminfo: memFree=772772/2074464 swapFree=1953004/1959888
[pid=7078] ppid=7076 vsize=2416 CPUtime=154.2
/proc/7078/stat : 7078 (SatELiteGTI) S 7076 7078 9090 0 -1 4194304 385 115251 0 0 0 0 15339 81 20 0 1 0 1017585823 2473984 277 4294967295 134512640 135169312 3214562544 3214558760 3085405934 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/7078/statm: 604 277 235 161 0 43 0
[pid=7645] ppid=7078 vsize=136180 CPUtime=488.09
/proc/7645/stat : 7645 (minisat_static) R 7078 7078 9090 0 -1 4202496 33301 0 0 0 48770 39 0 0 25 0 1 0 1017601249 139448320 33210 4294967295 134512640 135215339 3218747712 3218745872 134738079 0 0 0 3 0 0 0 17 3 0 0 0
/proc/7645/statm: 34045 33210 73 172 0 33872 0
Current children cumulated CPU time (s) 642.29
Current children cumulated vsize (KiB) 138596
[startup+702.314 s]
/proc/loadavg: 1.04 1.02 1.00 2/93 9349
/proc/meminfo: memFree=767780/2074464 swapFree=1953004/1959888
[pid=7078] ppid=7076 vsize=2416 CPUtime=154.2
/proc/7078/stat : 7078 (SatELiteGTI) S 7076 7078 9090 0 -1 4194304 385 115251 0 0 0 0 15339 81 20 0 1 0 1017585823 2473984 277 4294967295 134512640 135169312 3214562544 3214558760 3085405934 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/7078/statm: 604 277 235 161 0 43 0
[pid=7645] ppid=7078 vsize=141012 CPUtime=548.09
/proc/7645/stat : 7645 (minisat_static) R 7078 7078 9090 0 -1 4202496 34534 0 0 0 54766 43 0 0 25 0 1 0 1017601249 144396288 34443 4294967295 134512640 135215339 3218747712 3218746000 134528788 0 0 0 3 0 0 0 17 3 0 0 0
/proc/7645/statm: 35253 34443 73 172 0 35080 0
Current children cumulated CPU time (s) 702.29
Current children cumulated vsize (KiB) 143428
Solver just ended. Dumping a history of the last processes samples
[startup+716.714 s]
/proc/loadavg: 1.03 1.02 1.00 4/93 9349
/proc/meminfo: memFree=766580/2074464 swapFree=1953004/1959888
[pid=7078] ppid=7076 vsize=2416 CPUtime=154.2
/proc/7078/stat : 7078 (SatELiteGTI) S 7076 7078 9090 0 -1 4194304 385 115251 0 0 0 0 15339 81 20 0 1 0 1017585823 2473984 277 4294967295 134512640 135169312 3214562544 3214558760 3085405934 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/7078/statm: 604 277 235 161 0 43 0
[pid=7645] ppid=7078 vsize=142212 CPUtime=562.49
/proc/7645/stat : 7645 (minisat_static) R 7078 7078 9090 0 -1 4202496 34843 0 0 0 56203 46 0 0 25 0 1 0 1017601249 145625088 34752 4294967295 134512640 135215339 3218747712 3218746000 134529148 0 0 0 3 0 0 0 17 3 0 0 0
/proc/7645/statm: 35553 34752 73 172 0 35380 0
Current children cumulated CPU time (s) 716.69
Current children cumulated vsize (KiB) 144628
[startup+742.312 s]
/proc/loadavg: 1.02 1.02 1.00 2/93 9535
/proc/meminfo: memFree=765556/2074464 swapFree=1953004/1959888
[pid=7078] ppid=7076 vsize=2416 CPUtime=154.2
/proc/7078/stat : 7078 (SatELiteGTI) S 7076 7078 9090 0 -1 4194304 385 115251 0 0 0 0 15339 81 20 0 1 0 1017585823 2473984 277 4294967295 134512640 135169312 3214562544 3214558760 3085405934 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/7078/statm: 604 277 235 161 0 43 0
[pid=7645] ppid=7078 vsize=142924 CPUtime=588.09
/proc/7645/stat : 7645 (minisat_static) R 7078 7078 9090 0 -1 4202496 34997 0 0 0 58763 46 0 0 25 0 1 0 1017601249 146354176 34906 4294967295 134512640 135215339 3218747712 3218746000 134528721 0 0 0 3 0 0 0 17 3 0 0 0
/proc/7645/statm: 35731 34906 73 172 0 35558 0
Current children cumulated CPU time (s) 742.29
Current children cumulated vsize (KiB) 145340
[startup+755.112 s]
/proc/loadavg: 1.01 1.02 1.00 2/93 9536
/proc/meminfo: memFree=765880/2074464 swapFree=1953004/1959888
[pid=7078] ppid=7076 vsize=2416 CPUtime=154.2
/proc/7078/stat : 7078 (SatELiteGTI) S 7076 7078 9090 0 -1 4194304 385 115251 0 0 0 0 15339 81 20 0 1 0 1017585823 2473984 277 4294967295 134512640 135169312 3214562544 3214558760 3085405934 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/7078/statm: 604 277 235 161 0 43 0
[pid=7645] ppid=7078 vsize=142924 CPUtime=600.89
/proc/7645/stat : 7645 (minisat_static) R 7078 7078 9090 0 -1 4202496 34997 0 0 0 60043 46 0 0 25 0 1 0 1017601249 146354176 34906 4294967295 134512640 135215339 3218747712 3218746000 134528795 0 0 0 3 0 0 0 17 3 0 0 0
/proc/7645/statm: 35731 34906 73 172 0 35558 0
Current children cumulated CPU time (s) 755.09
Current children cumulated vsize (KiB) 145340
[startup+758.312 s]
/proc/loadavg: 1.01 1.02 1.00 2/93 9536
/proc/meminfo: memFree=765912/2074464 swapFree=1953004/1959888
[pid=7078] ppid=7076 vsize=2416 CPUtime=154.2
/proc/7078/stat : 7078 (SatELiteGTI) S 7076 7078 9090 0 -1 4194304 385 115251 0 0 0 0 15339 81 20 0 1 0 1017585823 2473984 277 4294967295 134512640 135169312 3214562544 3214558760 3085405934 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/7078/statm: 604 277 235 161 0 43 0
[pid=7645] ppid=7078 vsize=142924 CPUtime=604.09
/proc/7645/stat : 7645 (minisat_static) R 7078 7078 9090 0 -1 4202496 34997 0 0 0 60363 46 0 0 25 0 1 0 1017601249 146354176 34906 4294967295 134512640 135215339 3218747712 3218746000 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/7645/statm: 35731 34906 73 172 0 35558 0
Current children cumulated CPU time (s) 758.29
Current children cumulated vsize (KiB) 145340
[startup+759.912 s]
/proc/loadavg: 1.01 1.02 1.00 3/93 9536
/proc/meminfo: memFree=765912/2074464 swapFree=1953004/1959888
[pid=7078] ppid=7076 vsize=2416 CPUtime=154.2
/proc/7078/stat : 7078 (SatELiteGTI) S 7076 7078 9090 0 -1 4194304 385 115251 0 0 0 0 15339 81 20 0 1 0 1017585823 2473984 277 4294967295 134512640 135169312 3214562544 3214558760 3085405934 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/7078/statm: 604 277 235 161 0 43 0
[pid=7645] ppid=7078 vsize=142924 CPUtime=605.69
/proc/7645/stat : 7645 (minisat_static) R 7078 7078 9090 0 -1 4202496 34997 0 0 0 60523 46 0 0 25 0 1 0 1017601249 146354176 34906 4294967295 134512640 135215339 3218747712 3218746000 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/7645/statm: 35731 34906 73 172 0 35558 0
Current children cumulated CPU time (s) 759.89
Current children cumulated vsize (KiB) 145340
[startup+760.711 s]
/proc/loadavg: 1.01 1.02 1.00 3/93 9536
/proc/meminfo: memFree=765912/2074464 swapFree=1953004/1959888
[pid=7078] ppid=7076 vsize=2416 CPUtime=154.2
/proc/7078/stat : 7078 (SatELiteGTI) S 7076 7078 9090 0 -1 4194304 385 115251 0 0 0 0 15339 81 20 0 1 0 1017585823 2473984 277 4294967295 134512640 135169312 3214562544 3214558760 3085405934 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/7078/statm: 604 277 235 161 0 43 0
[pid=7645] ppid=7078 vsize=142924 CPUtime=606.49
/proc/7645/stat : 7645 (minisat_static) R 7078 7078 9090 0 -1 4202496 34997 0 0 0 60603 46 0 0 25 0 1 0 1017601249 146354176 34906 4294967295 134512640 135215339 3218747712 3218746000 134528742 0 0 0 3 0 0 0 17 3 0 0 0
/proc/7645/statm: 35731 34906 73 172 0 35558 0
Current children cumulated CPU time (s) 760.69
Current children cumulated vsize (KiB) 145340
[startup+761.511 s]
/proc/loadavg: 1.01 1.02 1.00 2/93 9536
/proc/meminfo: memFree=765912/2074464 swapFree=1953004/1959888
[pid=7078] ppid=7076 vsize=2416 CPUtime=154.2
/proc/7078/stat : 7078 (SatELiteGTI) S 7076 7078 9090 0 -1 4194304 385 115251 0 0 0 0 15339 81 20 0 1 0 1017585823 2473984 277 4294967295 134512640 135169312 3214562544 3214558760 3085405934 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/7078/statm: 604 277 235 161 0 43 0
[pid=7645] ppid=7078 vsize=142924 CPUtime=607.29
/proc/7645/stat : 7645 (minisat_static) R 7078 7078 9090 0 -1 4202496 34997 0 0 0 60683 46 0 0 25 0 1 0 1017601249 146354176 34906 4294967295 134512640 135215339 3218747712 3218746000 134528691 0 0 0 3 0 0 0 17 3 0 0 0
/proc/7645/statm: 35731 34906 73 172 0 35558 0
Current children cumulated CPU time (s) 761.49
Current children cumulated vsize (KiB) 145340
[startup+761.911 s]
/proc/loadavg: 1.01 1.02 1.00 2/93 9536
/proc/meminfo: memFree=765912/2074464 swapFree=1953004/1959888
[pid=7078] ppid=7076 vsize=2416 CPUtime=154.2
/proc/7078/stat : 7078 (SatELiteGTI) S 7076 7078 9090 0 -1 4194304 385 115251 0 0 0 0 15339 81 20 0 1 0 1017585823 2473984 277 4294967295 134512640 135169312 3214562544 3214558760 3085405934 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/7078/statm: 604 277 235 161 0 43 0
[pid=7645] ppid=7078 vsize=142924 CPUtime=607.69
/proc/7645/stat : 7645 (minisat_static) R 7078 7078 9090 0 -1 4202496 34997 0 0 0 60723 46 0 0 25 0 1 0 1017601249 146354176 34906 4294967295 134512640 135215339 3218747712 3218746000 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/7645/statm: 35731 34906 73 172 0 35558 0
Current children cumulated CPU time (s) 761.89
Current children cumulated vsize (KiB) 145340
[startup+762.011 s]
/proc/loadavg: 1.01 1.02 1.00 2/93 9536
/proc/meminfo: memFree=765912/2074464 swapFree=1953004/1959888
[pid=7078] ppid=7076 vsize=2932 CPUtime=761.98
/proc/7078/stat : 7078 (SatELiteGTI) S 7076 7078 9090 0 -1 4194304 474 150255 0 0 0 0 76070 128 18 0 1 0 1017585823 3002368 345 4294967295 134512640 135169312 3214562544 3214557928 3085405934 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/7078/statm: 733 345 237 161 0 172 0
Current children cumulated CPU time (s) 761.98
Current children cumulated vsize (KiB) 2932
Child status: 20
Real time (s): 762.039
CPU time (s): 762.01
CPU user time (s): 760.7
CPU system time (s): 1.31
CPU usage (%): 99.9962
Max. virtual memory (cumulated for all children) (KiB): 463624
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 760.7
system time used= 1.31
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 150914
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= 24
involuntary context switches= 1473
runsolver used 0.04 second user time and 0.03 second system time
The end
Begin job on tipi19 at 2009-05-17 05:27:29
IDJOB=1821484
IDBENCH=70965
IDSOLVER=657
FILE ID=tipi19/1821484-1242530849
PBS_JOBID=
Free space on /tmp= 8991 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= runsolver --timestamp -w /tmp/evaluation-result-1821484-1242530849/watcher-1821484-1242530849 -o /tmp/evaluation-result-1821484-1242530849/solver-1821484-1242530849 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1821484-1242530849.cnf
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 853982f8646333d217e35d938b7eb00b
RANDOM SEED= 137533841
Linux tipi19 2.6.18 #19 SMP Tue Jun 19 11:27:27 CEST 2007 i686 GNU/Linux
/proc/cpuinfo:
processor : 0
vendor_id : AuthenticAMD
cpu family : 15
model : 33
model name : Dual Core AMD Opteron(tm) Processor 265
stepping : 2
cpu MHz : 1808.426
cache size : 1024 KB
physical id : 0
siblings : 2
core id : 0
cpu cores : 2
fdiv_bug : no
hlt_bug : no
f00f_bug : no
coma_bug : no
fpu : yes
fpu_exception : yes
cpuid level : 1
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt lm 3dnowext 3dnow pni lahf_lm cmp_legacy ts fid vid ttp
bogomips : 3618.39
processor : 1
vendor_id : AuthenticAMD
cpu family : 15
model : 33
model name : Dual Core AMD Opteron(tm) Processor 265
stepping : 2
cpu MHz : 1808.426
cache size : 1024 KB
physical id : 0
siblings : 2
core id : 1
cpu cores : 2
fdiv_bug : no
hlt_bug : no
f00f_bug : no
coma_bug : no
fpu : yes
fpu_exception : yes
cpuid level : 1
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt lm 3dnowext 3dnow pni lahf_lm cmp_legacy ts fid vid ttp
bogomips : 3616.77
processor : 2
vendor_id : AuthenticAMD
cpu family : 15
model : 33
model name : Dual Core AMD Opteron(tm) Processor 265
stepping : 2
cpu MHz : 1808.426
cache size : 1024 KB
physical id : 1
siblings : 2
core id : 0
cpu cores : 2
fdiv_bug : no
hlt_bug : no
f00f_bug : no
coma_bug : no
fpu : yes
fpu_exception : yes
cpuid level : 1
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt lm 3dnowext 3dnow pni lahf_lm cmp_legacy ts fid vid ttp
bogomips : 3616.77
processor : 3
vendor_id : AuthenticAMD
cpu family : 15
model : 33
model name : Dual Core AMD Opteron(tm) Processor 265
stepping : 2
cpu MHz : 1808.426
cache size : 1024 KB
physical id : 1
siblings : 2
core id : 1
cpu cores : 2
fdiv_bug : no
hlt_bug : no
f00f_bug : no
coma_bug : no
fpu : yes
fpu_exception : yes
cpuid level : 1
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt lm 3dnowext 3dnow pni lahf_lm cmp_legacy ts fid vid ttp
bogomips : 3616.77
/proc/meminfo:
MemTotal: 2074464 kB
MemFree: 971548 kB
Buffers: 32620 kB
Cached: 974804 kB
SwapCached: 2992 kB
Active: 262484 kB
Inactive: 754428 kB
HighTotal: 1178688 kB
HighFree: 281076 kB
LowTotal: 895776 kB
LowFree: 690472 kB
SwapTotal: 1959888 kB
SwapFree: 1953004 kB
Dirty: 74300 kB
Writeback: 0 kB
AnonPages: 8684 kB
Mapped: 3244 kB
Slab: 77144 kB
PageTables: 336 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 2997120 kB
Committed_AS: 87784 kB
VmallocTotal: 114680 kB
VmallocUsed: 1324 kB
VmallocChunk: 113264 kB
Free space on /tmp at the end= 8991 MiB
End job on tipi19 at 2009-05-17 05:40:17