0.00/0.00 c Parsing...
1.09/1.16 c ==============================================================================
1.09/1.16 c | | ORIGINAL | LEARNT | |
1.09/1.16 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress |
1.09/1.16 c ==============================================================================
1.09/1.16 c | 0 | 1268704 3718600 | 380611 0 0 nan | 0.000 % |
27.57/27.69 c | 0 | 433228 1602137 | -- 0 -- -- | -- | -674843/-1677597
27.57/27.70 c ==============================================================================
27.57/27.70 c Result : #vars: 41452 #clauses: 433228 #literals: 1602137
27.57/27.70 c CPU time: 27.3738 s
27.57/27.70 c ==============================================================================
28.17/28.28 c This is MiniSat 2.0 beta
28.17/28.28 c WARNING: for repeatability, setting FPU to use double precision
28.17/28.28 c ============================[ Problem Statistics ]=============================
28.17/28.28 c | |
28.17/28.28 c | Number of variables: 41452 |
28.17/28.28 c | Number of clauses: 433228 |
28.47/28.55 c | Parsing time: 0.23 s |
28.47/28.57 c ============================[ Search Statistics ]==============================
28.47/28.57 c | Conflicts | ORIGINAL | LEARNT | Progress |
28.47/28.57 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
28.47/28.57 c ===============================================================================
28.47/28.57 c | 0 | 41452 433228 1602137 | 144409 0 nan | 0.000 % |
28.47/28.59 c | 100 | 41439 433228 1602137 | 144409 96 10 | 0.183 % |
28.56/28.62 c | 200 | 41439 433228 1602137 | 144409 196 9 | 0.183 % |
28.56/28.63 c | 300 | 41439 433228 1602137 | 144409 296 10 | 0.183 % |
28.56/28.64 c | 410 | 41439 433228 1602137 | 144409 406 10 | 0.183 % |
28.56/28.68 c | 510 | 41439 433228 1602137 | 144409 506 11 | 0.183 % |
28.66/28.70 c | 621 | 41439 433228 1602137 | 144409 617 13 | 0.183 % |
28.66/28.73 c | 743 | 41439 433228 1602137 | 144409 739 14 | 0.183 % |
28.66/28.75 c | 843 | 41439 433228 1602137 | 144409 839 15 | 0.183 % |
28.66/28.75 c | 954 | 41433 433228 1602137 | 144409 948 14 | 0.268 % |
28.66/28.76 c | 1075 | 41433 433228 1602137 | 144409 1069 14 | 0.268 % |
28.66/28.77 c | 1209 | 41391 433228 1602137 | 144409 1201 13 | 0.560 % |
28.66/28.78 c | 1310 | 41391 433228 1602137 | 144409 1302 13 | 0.560 % |
28.66/28.79 c | 1421 | 41390 433228 1602137 | 144409 1413 13 | 0.560 % |
28.76/28.80 c | 1543 | 41390 433228 1602137 | 144409 1535 13 | 0.560 % |
28.76/28.81 c | 1676 | 41379 433228 1602137 | 144409 1663 12 | 0.620 % |
28.76/28.83 c | 1822 | 41378 433228 1602137 | 144409 1809 12 | 0.620 % |
28.76/28.83 c | 1922 | 41378 433228 1602137 | 144409 1909 12 | 0.620 % |
28.76/28.84 c | 2032 | 41378 433228 1602137 | 144409 2019 12 | 0.620 % |
28.76/28.89 c | 2154 | 41373 433228 1602137 | 144409 2140 12 | 0.688 % |
28.86/28.91 c | 2287 | 41366 433228 1602137 | 144409 2272 12 | 0.719 % |
28.86/28.92 c | 2435 | 41317 433228 1602137 | 144409 2420 12 | 0.719 % |
28.86/28.95 c | 2597 | 41317 433228 1602137 | 144409 2582 12 | 0.719 % |
28.86/28.98 c | 2697 | 41317 433228 1602137 | 144409 2682 12 | 0.719 % |
28.96/29.00 c | 2807 | 41317 433228 1602137 | 144409 2792 12 | 0.719 % |
28.96/29.01 c | 2928 | 41317 433228 1602137 | 144409 2913 12 | 0.719 % |
28.96/29.03 c | 3061 | 41315 433228 1602137 | 144409 3045 12 | 0.726 % |
28.96/29.05 c | 3207 | 41191 433228 1602137 | 144409 3189 12 | 1.288 % |
28.96/29.07 c | 3368 | 41040 433228 1602137 | 144409 3344 12 | 2.574 % |
29.06/29.12 c | 3545 | 40952 433228 1602137 | 144409 3521 12 | 2.574 % |
29.06/29.13 c | 3646 | 40952 433228 1602137 | 144409 3622 12 | 2.574 % |
29.06/29.14 c | 3756 | 40952 433228 1602137 | 144409 3732 12 | 2.574 % |
29.06/29.15 c | 3878 | 40952 433228 1602137 | 144409 3854 12 | 2.574 % |
29.06/29.17 c | 4011 | 40952 433228 1602137 | 144409 3987 12 | 2.574 % |
29.16/29.23 c | 4158 | 40952 433228 1602137 | 144409 4134 12 | 2.574 % |
29.16/29.25 c | 4319 | 40887 433228 1602137 | 144409 4295 12 | 2.574 % |
29.16/29.27 c | 4495 | 40887 433228 1602137 | 144409 4471 12 | 2.574 % |
29.27/29.30 c | 4688 | 40887 433228 1602137 | 144409 4664 12 | 2.574 % |
29.27/29.32 c | 4790 | 40887 433228 1602137 | 144409 4766 12 | 2.574 % |
29.27/29.34 c | 4900 | 40887 433228 1602137 | 144409 4876 12 | 2.574 % |
29.27/29.38 c | 5022 | 40887 433228 1602137 | 144409 4998 12 | 2.574 % |
29.27/29.39 c | 5156 | 40887 433228 1602137 | 144409 5132 12 | 2.574 % |
29.37/29.41 c | 5303 | 40887 433228 1602137 | 144409 5279 12 | 2.574 % |
29.37/29.45 c | 5463 | 40883 433228 1602137 | 144409 5436 12 | 2.668 % |
29.47/29.51 c | 5639 | 40852 433228 1602137 | 144409 5609 12 | 2.731 % |
29.47/29.54 c | 5832 | 40852 433228 1602137 | 144409 5802 12 | 2.731 % |
29.47/29.56 c | 6044 | 40852 433228 1602137 | 144409 6014 12 | 2.731 % |
29.57/29.61 c | 6145 | 40320 391313 1368688 | 144409 5132 11 | 2.731 % |
29.57/29.65 c | 6256 | 40320 391313 1368688 | 144409 5243 11 | 2.731 % |
29.57/29.69 c | 6378 | 40320 391313 1368688 | 144409 5365 11 | 2.731 % |
29.67/29.76 c | 6512 | 40319 391313 1368688 | 144409 5498 11 | 2.777 % |
29.77/29.82 c | 6658 | 40311 391313 1368688 | 144409 5644 11 | 2.777 % |
29.77/29.88 c | 6820 | 40311 391313 1368688 | 144409 5806 11 | 2.777 % |
29.87/29.90 c | 6998 | 40311 391313 1368688 | 144409 5984 11 | 2.777 % |
29.87/29.94 c | 7191 | 40311 391313 1368688 | 144409 6177 11 | 2.777 % |
29.97/30.00 c | 7403 | 40311 391313 1368688 | 144409 6389 11 | 2.777 % |
29.97/30.02 c | 7638 | 40311 391313 1368688 | 144409 6624 11 | 2.777 % |
29.97/30.04 c | 7738 | 40311 391313 1368688 | 144409 6724 11 | 2.777 % |
29.97/30.04 c | 7849 | 40311 391313 1368688 | 144409 6835 11 | 2.777 % |
29.97/30.06 c | 7970 | 40311 391313 1368688 | 144409 6956 11 | 2.777 % |
29.97/30.07 c | 8103 | 40311 391313 1368688 | 144409 7089 11 | 2.777 % |
29.97/30.08 c | 8250 | 40311 391313 1368688 | 144409 7236 11 | 2.777 % |
29.97/30.10 c | 8411 | 40311 391313 1368688 | 144409 7397 11 | 2.777 % |
30.07/30.11 c | 8587 | 40311 391313 1368688 | 144409 7573 11 | 2.777 % |
30.07/30.14 c | 8782 | 40311 391313 1368688 | 144409 7768 12 | 2.777 % |
30.07/30.16 c | 8994 | 40308 391313 1368688 | 144409 7979 12 | 2.791 % |
30.16/30.24 c | 9227 | 40299 391313 1368688 | 144409 8207 12 | 3.098 % |
30.16/30.25 c | 9483 | 40299 391313 1368688 | 144409 8463 12 | 3.098 % |
30.16/30.26 c | 9586 | 40299 391313 1368688 | 144409 8566 12 | 3.098 % |
30.16/30.28 c | 9697 | 40299 391313 1368688 | 144409 8677 12 | 3.098 % |
30.26/30.30 c | 9819 | 40299 391313 1368688 | 144409 8799 12 | 3.098 % |
30.26/30.33 c | 9953 | 40299 391313 1368688 | 144409 8933 12 | 3.098 % |
30.26/30.37 c | 10099 | 40229 391313 1368688 | 2147483647 9077 12 | 3.148 % |
30.26/30.39 c | 10259 | 40229 391313 1368688 | 2147483647 9237 12 | 3.148 % |
30.26/30.40 c | 10437 | 40229 391313 1368688 | 2147483647 9415 12 | 3.148 % |
30.36/30.41 c | 10630 | 40229 391313 1368688 | 2147483647 9608 12 | 3.148 % |
30.36/30.44 c | 10842 | 40229 391313 1368688 | 2147483647 9820 12 | 3.148 % |
30.46/30.51 c | 11075 | 40229 391313 1368688 | 2147483647 10053 12 | 3.148 % |
30.46/30.54 c | 11331 | 40224 391313 1368688 | 2147483647 10309 12 | 3.148 % |
30.56/30.60 c | 11612 | 40147 387805 1349861 | 2147483647 10287 12 | 3.148 % |
30.56/30.62 c | 11715 | 40147 387805 1349861 | 2147483647 10390 12 | 3.148 % |
30.56/30.63 c | 11825 | 40147 387805 1349861 | 2147483647 10500 12 | 3.148 % |
30.56/30.64 c | 11948 | 40147 387805 1349861 | 2147483647 10623 12 | 3.148 % |
30.56/30.66 c | 12081 | 40147 387805 1349861 | 2147483647 10756 12 | 3.148 % |
30.56/30.68 c | 12227 | 40147 387805 1349861 | 2147483647 10902 12 | 3.148 % |
30.67/30.71 c | 12387 | 40147 387805 1349861 | 2147483647 11062 12 | 3.148 % |
30.67/30.73 c | 12563 | 40147 387805 1349861 | 2147483647 11238 12 | 3.148 % |
30.67/30.75 c | 12756 | 40147 387805 1349861 | 2147483647 11431 12 | 3.148 % |
30.67/30.79 c | 12969 | 40147 387805 1349861 | 2147483647 11644 12 | 3.148 % |
30.77/30.85 c | 13202 | 40147 387805 1349861 | 2147483647 11877 12 | 3.148 % |
30.77/30.88 c | 13458 | 40147 387805 1349861 | 2147483647 12133 12 | 3.148 % |
30.86/30.93 c | 13743 | 40147 387805 1349861 | 2147483647 12418 12 | 3.148 % |
30.86/30.96 c | 14055 | 40147 387805 1349861 | 2147483647 12730 12 | 3.148 % |
30.86/30.98 c | 14155 | 40147 387805 1349861 | 2147483647 12830 12 | 3.148 % |
30.86/30.99 c | 14266 | 40147 387805 1349861 | 2147483647 12941 13 | 3.148 % |
30.96/31.00 c | 14388 | 40147 387805 1349861 | 2147483647 13063 13 | 3.148 % |
30.96/31.01 c | 14522 | 40147 387805 1349861 | 2147483647 13197 13 | 3.148 % |
30.96/31.07 c | 14668 | 40147 387805 1349861 | 2147483647 13343 13 | 3.148 % |
30.96/31.09 c | 14829 | 40147 387805 1349861 | 2147483647 13504 13 | 3.148 % |
31.06/31.12 c | 15005 | 40147 387805 1349861 | 2147483647 13680 13 | 3.148 % |
31.06/31.15 c | 15198 | 40147 387805 1349861 | 2147483647 13873 13 | 3.148 % |
31.06/31.17 c | 15413 | 40147 387805 1349861 | 2147483647 14088 13 | 3.148 % |
31.06/31.19 c | 15648 | 40147 387805 1349861 | 2147483647 14323 13 | 3.148 % |
31.16/31.21 c | 15905 | 40147 387805 1349861 | 2147483647 14580 13 | 3.148 % |
31.16/31.23 c | 16187 | 40147 387805 1349861 | 2147483647 14862 13 | 3.148 % |
31.16/31.27 c | 16496 | 40147 387805 1349861 | 2147483647 15171 13 | 3.148 % |
31.26/31.32 c | 16835 | 40147 387805 1349861 | 2147483647 15510 13 | 3.148 % |
31.26/31.34 c | 16937 | 40147 387805 1349861 | 2147483647 15612 13 | 3.148 % |
31.26/31.35 c | 17047 | 40147 387805 1349861 | 2147483647 15722 13 | 3.148 % |
31.26/31.37 c | 17168 | 40147 387805 1349861 | 2147483647 15843 13 | 3.148 % |
31.26/31.39 c | 17301 | 40147 387805 1349861 | 2147483647 15976 13 | 3.148 % |
31.36/31.42 c | 17450 | 40147 387805 1349861 | 2147483647 16125 13 | 3.148 % |
31.36/31.45 c | 17611 | 40147 387805 1349861 | 2147483647 16286 13 | 3.148 % |
31.36/31.47 c | 17788 | 40147 387805 1349861 | 2147483647 16463 13 | 3.148 % |
31.36/31.49 c | 17982 | 40147 387805 1349861 | 2147483647 16657 13 | 3.148 % |
31.46/31.51 c | 18194 | 40147 387805 1349861 | 2147483647 16869 13 | 3.148 % |
31.46/31.54 c | 18427 | 40147 387805 1349861 | 2147483647 17102 13 | 3.148 % |
31.46/31.58 c | 18686 | 40147 387805 1349861 | 2147483647 17361 13 | 3.148 % |
31.56/31.66 c | 18967 | 40147 387805 1349861 | 2147483647 17642 13 | 3.148 % |
31.66/31.72 c | 19277 | 40147 387805 1349861 | 2147483647 17952 13 | 3.148 % |
31.66/31.77 c | 19617 | 40147 387805 1349861 | 2147483647 18292 13 | 3.148 % |
31.76/31.84 c | 19989 | 40147 387805 1349861 | 2147483647 18664 13 | 3.148 % |
31.76/31.85 c | 20089 | 40147 387805 1349861 | 2147483647 18764 13 | 3.148 % |
31.76/31.88 c | 20200 | 40147 387805 1349861 | 2147483647 18875 13 | 3.148 % |
31.85/31.90 c | 20321 | 40147 387805 1349861 | 2147483647 18996 13 | 3.148 % |
31.85/31.93 c | 20454 | 40147 387805 1349861 | 2147483647 19129 14 | 3.148 % |
31.85/31.95 c | 20601 | 40147 387805 1349861 | 2147483647 19276 14 | 3.148 % |
31.85/31.98 c | 20763 | 40147 387805 1349861 | 2147483647 19438 14 | 3.148 % |
31.95/32.03 c | 20939 | 40147 387805 1349861 | 2147483647 19614 14 | 3.148 % |
31.95/32.05 c | 21133 | 40147 387805 1349861 | 2147483647 19808 14 | 3.148 % |
32.05/32.10 c | 21345 | 40147 387805 1349861 | 2147483647 20020 14 | 3.148 % |
32.05/32.14 c | 21579 | 40147 387805 1349861 | 2147483647 20254 14 | 3.148 % |
32.05/32.19 c | 21836 | 40147 387805 1349861 | 2147483647 20511 14 | 3.148 % |
32.15/32.25 c | 22120 | 40147 387805 1349861 | 2147483647 20795 14 | 3.148 % |
32.25/32.35 c | 22429 | 40147 387805 1349861 | 2147483647 21104 14 | 3.148 % |
32.35/32.44 c | 22770 | 40147 387805 1349861 | 2147483647 21445 14 | 3.148 % |
32.45/32.52 c | 23144 | 40147 387805 1349861 | 2147483647 21819 14 | 3.148 % |
32.55/32.60 c | 23553 | 40147 387805 1349861 | 2147483647 22228 14 | 3.148 % |
32.55/32.62 c | 23654 | 40147 387805 1349861 | 2147483647 22329 14 | 3.148 % |
32.55/32.64 c | 23765 | 40147 387805 1349861 | 2147483647 22440 14 | 3.148 % |
32.55/32.66 c | 23887 | 40147 387805 1349861 | 2147483647 22562 14 | 3.148 % |
32.55/32.68 c | 24020 | 40147 387805 1349861 | 2147483647 22695 14 | 3.148 % |
32.65/32.74 c | 24166 | 40147 387805 1349861 | 2147483647 22841 14 | 3.148 % |
32.65/32.77 c | 24326 | 40147 387805 1349861 | 2147483647 23001 14 | 3.148 % |
32.75/32.80 c | 24503 | 40147 387805 1349861 | 2147483647 23178 14 | 3.148 % |
32.75/32.84 c | 24697 | 40147 387805 1349861 | 2147483647 23372 14 | 3.148 % |
32.75/32.89 c | 24909 | 40144 387781 1349779 | 2147483647 23581 14 | 3.155 % |
32.85/32.94 c | 25144 | 40144 387781 1349779 | 2147483647 23816 14 | 3.155 % |
32.85/32.97 c | 25400 | 40144 387781 1349779 | 2147483647 24072 14 | 3.155 % |
32.95/33.02 c | 25681 | 40144 387781 1349779 | 2147483647 24353 15 | 3.155 % |
32.95/33.09 c | 25991 | 40144 387781 1349779 | 2147483647 24663 15 | 3.155 % |
33.05/33.13 c | 26333 | 40144 387781 1349779 | 2147483647 25005 15 | 3.155 % |
33.15/33.24 c | 26705 | 40144 387781 1349779 | 2147483647 25377 15 | 3.155 % |
33.25/33.32 c | 27114 | 40144 387781 1349779 | 2147483647 25786 15 | 3.155 % |
33.25/33.38 c | 27564 | 40144 387781 1349779 | 2147483647 26236 15 | 3.155 % |
33.35/33.42 c | 27664 | 40144 387781 1349779 | 2147483647 26336 15 | 3.155 % |
33.35/33.44 c | 27774 | 40144 387781 1349779 | 2147483647 26446 15 | 3.155 % |
33.35/33.46 c | 27896 | 40144 387781 1349779 | 2147483647 26568 15 | 3.155 % |
33.35/33.48 c | 28029 | 40144 387781 1349779 | 2147483647 26701 15 | 3.155 % |
33.45/33.54 c | 28175 | 40144 387781 1349779 | 2147483647 26847 15 | 3.155 % |
33.45/33.57 c | 28335 | 40144 387781 1349779 | 2147483647 27007 15 | 3.155 % |
33.45/33.59 c | 28511 | 40144 387781 1349779 | 2147483647 27183 15 | 3.155 % |
33.55/33.62 c | 28704 | 40144 387781 1349779 | 2147483647 27376 15 | 3.155 % |
33.55/33.66 c | 28916 | 40144 387781 1349779 | 2147483647 27588 15 | 3.155 % |
33.65/33.71 c | 29152 | 40144 387781 1349779 | 2147483647 27824 15 | 3.155 % |
33.65/33.73 c | 29408 | 40144 387781 1349779 | 2147483647 28080 15 | 3.155 % |
33.65/33.78 c | 29691 | 40144 387781 1349779 | 2147483647 28363 15 | 3.155 % |
33.75/33.83 c | 30001 | 40144 387781 1349779 | 2147483647 28673 15 | 3.155 % |
33.85/33.92 c | 30342 | 40144 387781 1349779 | 2147483647 29014 15 | 3.155 % |
33.95/34.00 c | 30716 | 40144 387781 1349779 | 2147483647 29388 15 | 3.155 % |
33.95/34.05 c | 31126 | 40144 387781 1349779 | 2147483647 29798 15 | 3.155 % |
34.06/34.13 c | 31576 | 40144 387781 1349779 | 2147483647 30248 15 | 3.155 % |
34.15/34.20 c | 32069 | 40144 387781 1349779 | 2147483647 30741 15 | 3.155 % |
34.15/34.26 c | 32170 | 40144 387781 1349779 | 2147483647 30842 15 | 3.155 % |
34.25/34.30 c | 32280 | 40144 387781 1349779 | 2147483647 30952 16 | 3.155 % |
34.25/34.33 c | 32402 | 40144 387781 1349779 | 2147483647 31074 15 | 3.155 % |
34.25/34.37 c | 32536 | 40144 387781 1349779 | 2147483647 31208 16 | 3.155 % |
34.35/34.40 c | 32683 | 40144 387781 1349779 | 2147483647 31355 16 | 3.155 % |
34.35/34.44 c | 32843 | 40144 387781 1349779 | 2147483647 31515 16 | 3.155 % |
34.35/34.47 c | 33019 | 40144 387781 1349779 | 2147483647 31691 16 | 3.155 % |
34.45/34.54 c | 33212 | 40144 387781 1349779 | 2147483647 31884 16 | 3.155 % |
34.45/34.59 c | 33426 | 40144 387781 1349779 | 2147483647 32098 16 | 3.155 % |
34.55/34.63 c | 33659 | 40144 387781 1349779 | 2147483647 32331 16 | 3.155 % |
34.55/34.69 c | 33917 | 40144 387781 1349779 | 2147483647 32589 16 | 3.155 % |
34.65/34.76 c | 34199 | 40144 387781 1349779 | 2147483647 32871 16 | 3.155 % |
34.75/34.86 c | 34508 | 40144 387781 1349779 | 2147483647 33180 16 | 3.155 % |
34.85/34.96 c | 34847 | 40144 387781 1349779 | 2147483647 33519 16 | 3.155 % |
34.95/35.01 c | 35219 | 40144 387781 1349779 | 2147483647 33891 16 | 3.155 % |
35.05/35.11 c | 35628 | 40144 387781 1349779 | 2147483647 34300 16 | 3.155 % |
35.15/35.25 c | 36078 | 40144 387781 1349779 | 2147483647 34750 16 | 3.155 % |
35.25/35.36 c | 36573 | 40144 387781 1349779 | 2147483647 35245 16 | 3.155 % |
35.45/35.51 c | 37115 | 40144 387781 1349779 | 2147483647 35787 16 | 3.155 % |
35.45/35.54 c | 37217 | 40144 387781 1349779 | 2147483647 35889 16 | 3.155 % |
35.45/35.56 c | 37327 | 40144 387781 1349779 | 2147483647 35999 16 | 3.155 % |
35.55/35.60 c | 37449 | 40144 387781 1349779 | 2147483647 36121 16 | 3.155 % |
35.55/35.63 c | 37583 | 40144 387781 1349779 | 2147483647 36255 16 | 3.155 % |
35.55/35.65 c | 37729 | 40144 387781 1349779 | 2147483647 36401 16 | 3.155 % |
35.55/35.67 c | 37894 | 40144 387781 1349779 | 2147483647 36566 16 | 3.155 % |
35.55/35.69 c | 38071 | 40144 387781 1349779 | 2147483647 36743 16 | 3.155 % |
35.65/35.72 c | 38264 | 40144 387781 1349779 | 2147483647 36936 16 | 3.155 % |
35.65/35.77 c | 38476 | 40144 387781 1349779 | 2147483647 37148 16 | 3.155 % |
35.75/35.86 c | 38711 | 40144 387781 1349779 | 2147483647 37383 16 | 3.155 % |
35.85/35.95 c | 38970 | 40144 387781 1349779 | 2147483647 37642 16 | 3.155 % |
36.05/36.10 c | 39251 | 40144 387781 1349779 | 2147483647 37923 16 | 3.155 % |
36.05/36.18 c | 39561 | 40144 387781 1349779 | 2147483647 38233 16 | 3.155 % |
36.15/36.24 c | 39901 | 40144 387781 1349779 | 2147483647 38573 16 | 3.155 % |
36.25/36.32 c | 40273 | 40144 387781 1349779 | 2147483647 38945 17 | 3.155 % |
36.35/36.46 c | 40682 | 40144 387781 1349779 | 2147483647 39354 17 | 3.155 % |
36.45/36.58 c | 41132 | 40144 387781 1349779 | 2147483647 39804 17 | 3.155 % |
36.55/36.69 c | 41627 | 40144 387781 1349779 | 2147483647 40299 17 | 3.155 % |
36.75/36.84 c | 42170 | 40144 387781 1349779 | 2147483647 40842 17 | 3.155 % |
36.95/37.01 c | 42767 | 40144 387781 1349779 | 2147483647 41439 17 | 3.155 % |
36.95/37.05 c | 42868 | 40144 387781 1349779 | 2147483647 41540 17 | 3.155 % |
36.95/37.07 c | 42978 | 40144 387781 1349779 | 2147483647 41650 17 | 3.155 % |
37.05/37.11 c | 43100 | 40144 387781 1349779 | 2147483647 41772 17 | 3.155 % |
37.05/37.13 c | 43234 | 40144 387781 1349779 | 2147483647 41906 17 | 3.155 % |
37.05/37.18 c | 43383 | 40144 387781 1349779 | 2147483647 42055 17 | 3.155 % |
37.15/37.24 c | 43545 | 40144 387781 1349779 | 2147483647 42217 17 | 3.155 % |
37.25/37.32 c | 43721 | 40144 387781 1349779 | 2147483647 42393 17 | 3.155 % |
37.25/37.37 c | 43919 | 40144 387781 1349779 | 2147483647 42591 17 | 3.155 % |
37.35/37.42 c | 44134 | 40144 387781 1349779 | 2147483647 42806 17 | 3.155 % |
37.35/37.48 c | 44367 | 40144 387781 1349779 | 2147483647 43039 17 | 3.155 % |
37.45/37.52 c | 44625 | 40144 387781 1349779 | 2147483647 43297 17 | 3.155 % |
37.55/37.62 c | 44906 | 40144 387781 1349779 | 2147483647 43578 17 | 3.155 % |
37.65/37.73 c | 45217 | 40144 387781 1349779 | 2147483647 43889 17 | 3.155 % |
37.75/37.83 c | 45558 | 40144 387781 1349779 | 2147483647 44230 17 | 3.155 % |
37.85/37.98 c | 45931 | 40144 387781 1349779 | 2147483647 44603 17 | 3.155 % |
38.05/38.12 c | 46340 | 40144 387781 1349779 | 2147483647 45012 17 | 3.155 % |
38.15/38.25 c | 46789 | 40144 387781 1349779 | 2147483647 45461 17 | 3.155 % |
38.35/38.41 c | 47282 | 40144 387781 1349779 | 2147483647 45954 17 | 3.155 % |
38.54/38.64 c | 47825 | 40144 387781 1349779 | 2147483647 46497 17 | 3.155 % |
38.75/38.83 c | 48421 | 40144 387781 1349779 | 2147483647 47093 17 | 3.155 % |
38.95/39.03 c | 49076 | 40144 387781 1349779 | 2147483647 47748 18 | 3.155 % |
38.95/39.09 c | 49177 | 40144 387781 1349779 | 2147483647 47849 18 | 3.155 % |
39.05/39.14 c | 49287 | 40144 387781 1349779 | 2147483647 47959 18 | 3.155 % |
39.15/39.20 c | 49408 | 40144 387781 1349779 | 2147483647 48080 18 | 3.155 % |
39.15/39.28 c | 49541 | 40144 387781 1349779 | 2147483647 48213 18 | 3.155 % |
39.25/39.33 c | 49687 | 40144 387781 1349779 | 2147483647 48359 18 | 3.155 % |
39.35/39.40 c | 49847 | 40144 387781 1349779 | 2147483647 48519 18 | 3.155 % |
39.35/39.48 c | 50028 | 40144 387781 1349779 | 2147483647 48700 18 | 3.155 % |
39.45/39.58 c | 50221 | 40144 387781 1349779 | 2147483647 48893 18 | 3.155 % |
39.55/39.63 c | 50433 | 40144 387781 1349779 | 2147483647 49105 18 | 3.155 % |
39.65/39.70 c | 50667 | 40144 387781 1349779 | 2147483647 49339 18 | 3.155 % |
39.65/39.76 c | 50924 | 40144 387781 1349779 | 2147483647 49596 18 | 3.155 % |
39.75/39.85 c | 51208 | 40144 387781 1349779 | 2147483647 49880 18 | 3.155 % |
39.85/39.99 c | 51518 | 40144 387781 1349779 | 2147483647 50190 18 | 3.155 % |
39.95/40.08 c | 51859 | 40144 387781 1349779 | 2147483647 50531 18 | 3.155 % |
40.05/40.16 c | 52233 | 40144 387781 1349779 | 2147483647 50905 18 | 3.155 % |
40.15/40.22 c | 52643 | 40144 387781 1349779 | 2147483647 51315 18 | 3.155 % |
40.35/40.47 c | 53093 | 40144 387781 1349779 | 2147483647 51765 18 | 3.155 % |
40.55/40.67 c | 53587 | 40144 387781 1349779 | 2147483647 52259 18 | 3.155 % |
40.75/40.84 c | 54129 | 40144 387781 1349779 | 2147483647 52801 18 | 3.155 % |
40.95/41.01 c | 54725 | 40144 387781 1349779 | 2147483647 53397 18 | 3.155 % |
41.15/41.24 c | 55380 | 40144 387781 1349779 | 2147483647 54052 18 | 3.155 % |
41.25/41.37 c | 56100 | 40144 387781 1349779 | 2147483647 54772 18 | 3.155 % |
41.35/41.40 c | 56202 | 40144 387781 1349779 | 2147483647 54874 18 | 3.155 % |
41.35/41.42 c | 56314 | 40144 387781 1349779 | 2147483647 54986 18 | 3.155 % |
41.35/41.47 c | 56437 | 40144 387781 1349779 | 2147483647 55109 18 | 3.155 % |
41.45/41.52 c | 56570 | 40144 387781 1349779 | 2147483647 55242 18 | 3.155 % |
41.45/41.57 c | 56717 | 40144 387781 1349779 | 2147483647 55389 18 | 3.155 % |
41.54/41.64 c | 56877 | 40144 387781 1349779 | 2147483647 55549 18 | 3.155 % |
41.65/41.74 c | 57053 | 40144 387781 1349779 | 2147483647 55725 18 | 3.155 % |
41.75/41.82 c | 57249 | 40144 387781 1349779 | 2147483647 55921 19 | 3.155 % |
41.75/41.88 c | 57461 | 40144 387781 1349779 | 2147483647 56133 19 | 3.155 % |
41.84/41.93 c | 57694 | 40144 387781 1349779 | 2147483647 56366 19 | 3.155 % |
41.94/42.05 c | 57950 | 40144 387781 1349779 | 2147483647 56622 19 | 3.155 % |
42.04/42.15 c | 58231 | 40144 387781 1349779 | 2147483647 56903 19 | 3.155 % |
42.14/42.30 c | 58540 | 40144 387781 1349779 | 2147483647 57212 19 | 3.155 % |
42.34/42.43 c | 58879 | 40144 387781 1349779 | 2147483647 57551 19 | 3.155 % |
42.55/42.61 c | 59251 | 40143 387508 1348175 | 2147483647 57922 19 | 3.158 % |
42.76/42.86 c | 59662 | 40143 387508 1348175 | 2147483647 58333 19 | 3.158 % |
42.95/43.01 c | 60111 | 40143 387508 1348175 | 2147483647 58782 19 | 3.158 % |
43.15/43.20 c | 60604 | 40143 387508 1348175 | 2147483647 59275 19 | 3.158 % |
43.25/43.34 c | 61149 | 40143 387508 1348175 | 2147483647 59820 19 | 3.158 % |
43.45/43.57 c | 61748 | 40143 387508 1348175 | 2147483647 60419 19 | 3.158 % |
43.65/43.78 c | 62403 | 40143 387508 1348175 | 2147483647 61074 19 | 3.158 % |
43.85/43.92 c | 63123 | 40143 387508 1348175 | 2147483647 61794 19 | 3.158 % |
44.15/44.24 c | 63915 | 40143 387508 1348175 | 2147483647 62586 19 | 3.158 % |
44.15/44.28 c | 64015 | 40143 387508 1348175 | 2147483647 62686 19 | 3.158 % |
44.25/44.32 c | 64125 | 40143 387508 1348175 | 2147483647 62796 19 | 3.158 % |
44.25/44.37 c | 64247 | 40143 387508 1348175 | 2147483647 62918 19 | 3.158 % |
44.35/44.44 c | 64380 | 40143 387508 1348175 | 2147483647 63051 19 | 3.158 % |
44.35/44.47 c | 64529 | 40143 387508 1348175 | 2147483647 63200 19 | 3.158 % |
44.45/44.51 c | 64689 | 40143 387508 1348175 | 2147483647 63360 19 | 3.158 % |
44.45/44.55 c | 64865 | 40143 387508 1348175 | 2147483647 63536 19 | 3.158 % |
44.55/44.61 c | 65059 | 40143 387508 1348175 | 2147483647 63730 19 | 3.158 % |
44.55/44.66 c | 65271 | 40143 387508 1348175 | 2147483647 63942 19 | 3.158 % |
44.65/44.73 c | 65506 | 40143 387508 1348175 | 2147483647 64177 19 | 3.158 % |
44.75/44.81 c | 65764 | 40143 387508 1348175 | 2147483647 64435 19 | 3.158 % |
44.75/44.87 c | 66046 | 40143 387508 1348175 | 2147483647 64717 19 | 3.158 % |
44.95/45.05 c | 66355 | 40142 387504 1348167 | 2147483647 65025 19 | 3.160 % |
45.05/45.19 c | 66695 | 40142 387504 1348167 | 2147483647 65365 19 | 3.160 % |
45.35/45.42 c | 67069 | 40142 387504 1348167 | 2147483647 65739 19 | 3.160 % |
45.55/45.60 c | 67478 | 40142 387504 1348167 | 2147483647 66148 19 | 3.160 % |
45.85/45.92 c | 67927 | 40142 387504 1348167 | 2147483647 66597 19 | 3.160 % |
46.05/46.18 c | 68420 | 40142 387504 1348167 | 2147483647 67090 19 | 3.160 % |
46.35/46.47 c | 68964 | 40142 387504 1348167 | 2147483647 67634 19 | 3.160 % |
46.65/46.77 c | 69560 | 40142 387504 1348167 | 2147483647 68230 19 | 3.160 % |
46.95/47.04 c | 70215 | 40142 387504 1348167 | 2147483647 68885 19 | 3.160 % |
47.25/47.39 c | 70936 | 40142 387504 1348167 | 2147483647 69606 20 | 3.160 % |
47.75/47.82 c | 71729 | 40142 387504 1348167 | 2147483647 70399 20 | 3.160 % |
48.15/48.25 c | 72600 | 40142 387504 1348167 | 2147483647 71270 20 | 3.160 % |
48.15/48.29 c | 72703 | 40142 387504 1348167 | 2147483647 71373 20 | 3.160 % |
48.25/48.34 c | 72813 | 40142 387504 1348167 | 2147483647 71483 20 | 3.160 % |
48.25/48.39 c | 72934 | 40142 387504 1348167 | 2147483647 71604 20 | 3.160 % |
48.35/48.45 c | 73067 | 40142 387504 1348167 | 2147483647 71737 20 | 3.160 % |
48.45/48.55 c | 73215 | 40142 387504 1348167 | 2147483647 71885 20 | 3.160 % |
48.55/48.67 c | 73375 | 40142 387504 1348167 | 2147483647 72045 20 | 3.160 % |
48.65/48.76 c | 73551 | 40142 387504 1348167 | 2147483647 72221 20 | 3.160 % |
48.75/48.83 c | 73744 | 40142 387504 1348167 | 2147483647 72414 20 | 3.160 % |
48.85/48.90 c | 73957 | 40142 387504 1348167 | 2147483647 72627 20 | 3.160 % |
48.85/48.97 c | 74193 | 40142 387504 1348167 | 2147483647 72863 20 | 3.160 % |
48.94/49.04 c | 74450 | 40142 387504 1348167 | 2147483647 73120 20 | 3.160 % |
49.14/49.21 c | 74732 | 40142 387504 1348167 | 2147483647 73402 20 | 3.160 % |
49.24/49.37 c | 75041 | 40142 387504 1348167 | 2147483647 73711 20 | 3.160 % |
49.45/49.58 c | 75380 | 40142 387504 1348167 | 2147483647 74050 20 | 3.160 % |
49.64/49.75 c | 75753 | 40142 387504 1348167 | 2147483647 74423 20 | 3.160 % |
49.84/49.92 c | 76162 | 40142 387504 1348167 | 2147483647 74832 20 | 3.160 % |
50.04/50.18 c | 76611 | 40142 387504 1348167 | 2147483647 75281 20 | 3.160 % |
50.34/50.41 c | 77104 | 40142 387504 1348167 | 2147483647 75774 20 | 3.160 % |
50.64/50.75 c | 77646 | 40142 387504 1348167 | 2147483647 76316 20 | 3.160 % |
51.04/51.14 c | 78244 | 40142 387504 1348167 | 2147483647 76914 20 | 3.160 % |
51.34/51.47 c | 78899 | 40142 387504 1348167 | 2147483647 77569 20 | 3.160 % |
51.74/51.85 c | 79621 | 40142 387504 1348167 | 2147483647 78291 20 | 3.160 % |
52.24/52.34 c | 80413 | 40142 387504 1348167 | 2147483647 79083 20 | 3.160 % |
52.75/52.89 c | 81285 | 40142 387504 1348167 | 2147483647 79955 20 | 3.160 % |
53.24/53.35 c | 82243 | 40142 387504 1348167 | 2147483647 80913 20 | 3.160 % |
53.34/53.40 c | 82345 | 40142 387504 1348167 | 2147483647 81015 20 | 3.160 % |
53.34/53.47 c | 82455 | 40142 387504 1348167 | 2147483647 81125 20 | 3.160 % |
53.44/53.51 c | 82576 | 40142 387504 1348167 | 2147483647 81246 20 | 3.160 % |
53.44/53.56 c | 82710 | 40142 387504 1348167 | 2147483647 81380 20 | 3.160 % |
53.54/53.61 c | 82857 | 40142 387504 1348167 | 2147483647 81527 20 | 3.160 % |
53.54/53.68 c | 83017 | 40142 387504 1348167 | 2147483647 81687 20 | 3.160 % |
53.64/53.77 c | 83194 | 40142 387504 1348167 | 2147483647 81864 20 | 3.160 % |
53.75/53.86 c | 83387 | 40142 387504 1348167 | 2147483647 82057 20 | 3.160 % |
53.85/53.95 c | 83599 | 40142 387504 1348167 | 2147483647 82269 20 | 3.160 % |
53.94/54.06 c | 83832 | 40142 387504 1348167 | 2147483647 82502 20 | 3.160 % |
54.04/54.18 c | 84088 | 40142 387504 1348167 | 2147483647 82758 20 | 3.160 % |
54.24/54.34 c | 84369 | 40142 387504 1348167 | 2147483647 83039 20 | 3.160 % |
54.44/54.55 c | 84678 | 40142 387504 1348167 | 2147483647 83348 20 | 3.160 % |
54.64/54.70 c | 85018 | 40142 387504 1348167 | 2147483647 83688 20 | 3.160 % |
54.74/54.89 c | 85394 | 40142 387504 1348167 | 2147483647 84064 20 | 3.160 % |
54.94/55.05 c | 85803 | 40142 387504 1348167 | 2147483647 84473 20 | 3.160 % |
55.25/55.39 c | 86253 | 40142 387504 1348167 | 2147483647 84923 20 | 3.160 % |
55.65/55.74 c | 86746 | 40142 387504 1348167 | 2147483647 85416 20 | 3.160 % |
55.85/56.00 c | 87289 | 40142 387504 1348167 | 2147483647 85959 20 | 3.160 % |
56.25/56.30 c | 87885 | 40142 387504 1348167 | 2147483647 86555 20 | 3.160 % |
56.45/56.54 c | 88540 | 40142 387504 1348167 | 2147483647 87210 20 | 3.160 % |
56.85/56.90 c | 89260 | 40142 387504 1348167 | 2147483647 87930 20 | 3.160 % |
57.45/57.55 c | 90053 | 40142 387504 1348167 | 2147483647 88723 20 | 3.160 % |
57.94/58.04 c | 90925 | 40142 387504 1348167 | 2147483647 89595 20 | 3.160 % |
58.25/58.37 c | 91887 | 40142 387504 1348167 | 2147483647 90557 20 | 3.160 % |
58.44/58.54 c | 92944 | 40142 387504 1348167 | 2147483647 91614 20 | 3.160 % |
58.44/58.56 c | 93046 | 40142 387504 1348167 | 2147483647 91716 20 | 3.160 % |
58.44/58.59 c | 93157 | 40142 387504 1348167 | 2147483647 91827 20 | 3.160 % |
58.54/58.63 c | 93279 | 40142 387504 1348167 | 2147483647 91949 20 | 3.160 % |
58.54/58.65 c | 93412 | 40142 387504 1348167 | 2147483647 92082 20 | 3.160 % |
58.54/58.69 c | 93559 | 40142 387504 1348167 | 2147483647 92229 20 | 3.160 % |
58.64/58.78 c | 93719 | 40142 387504 1348167 | 2147483647 92389 20 | 3.160 % |
58.74/58.84 c | 93895 | 40142 387504 1348167 | 2147483647 92565 20 | 3.160 % |
58.74/58.88 c | 94088 | 40142 387504 1348167 | 2147483647 92758 20 | 3.160 % |
58.94/59.03 c | 94302 | 40142 387504 1348167 | 2147483647 92972 20 | 3.160 % |
59.04/59.18 c | 94536 | 40142 387504 1348167 | 2147483647 93206 21 | 3.160 % |
59.24/59.34 c | 94792 | 40142 387504 1348167 | 2147483647 93462 21 | 3.160 % |
59.44/59.50 c | 95073 | 40142 387504 1348167 | 2147483647 93743 21 | 3.160 % |
59.64/59.71 c | 95382 | 40142 387504 1348167 | 2147483647 94052 21 | 3.160 % |
59.94/60.01 c | 95721 | 40142 387504 1348167 | 2147483647 94391 21 | 3.160 % |
60.04/60.19 c | 96093 | 40142 387504 1348167 | 2147483647 94763 21 | 3.160 % |
60.34/60.47 c | 96503 | 40142 387504 1348167 | 2147483647 95173 21 | 3.160 % |
60.64/60.78 c | 96952 | 40142 387504 1348167 | 2147483647 95622 21 | 3.160 % |
60.94/61.03 c | 97446 | 40142 387504 1348167 | 2147483647 96116 21 | 3.160 % |
61.33/61.45 c | 97988 | 40142 387504 1348167 | 2147483647 96658 21 | 3.160 % |
61.83/61.92 c | 98584 | 40142 387504 1348167 | 2147483647 97254 21 | 3.160 % |
62.13/62.21 c | 99240 | 40142 387504 1348167 | 2147483647 97910 21 | 3.160 % |
62.43/62.57 c | 99960 | 40142 387504 1348167 | 2147483647 98630 21 | 3.160 % |
62.73/62.85 c | 100752 | 40142 387504 1348167 | 2147483647 99422 21 | 3.160 % |
63.33/63.48 c | 101623 | 40142 387504 1348167 | 2147483647 100293 21 | 3.160 % |
63.63/63.79 c | 102581 | 40142 387504 1348167 | 2147483647 101251 21 | 3.160 % |
64.43/64.52 c | 103634 | 40142 387504 1348167 | 2147483647 102304 21 | 3.160 % |
64.93/65.08 c | 104792 | 40142 387504 1348167 | 2147483647 103462 21 | 3.160 % |
65.03/65.15 c | 104892 | 40142 387504 1348167 | 2147483647 103562 21 | 3.160 % |
65.13/65.22 c | 105003 | 40142 387504 1348167 | 2147483647 103673 21 | 3.160 % |
65.23/65.33 c | 105124 | 40142 387504 1348167 | 2147483647 103794 21 | 3.160 % |
65.33/65.43 c | 105259 | 40142 387504 1348167 | 2147483647 103929 21 | 3.160 % |
65.43/65.56 c | 105408 | 40142 387504 1348167 | 2147483647 104078 21 | 3.160 % |
65.53/65.68 c | 105568 | 40142 387504 1348167 | 2147483647 104238 21 | 3.160 % |
65.83/65.91 c | 105745 | 40142 387504 1348167 | 2147483647 104415 21 | 3.160 % |
65.93/66.04 c | 105942 | 40142 387504 1348167 | 2147483647 104612 21 | 3.160 % |
66.03/66.16 c | 106156 | 40142 387504 1348167 | 2147483647 104826 21 | 3.160 % |
66.13/66.26 c | 106391 | 40142 387504 1348167 | 2147483647 105061 21 | 3.160 % |
66.23/66.39 c | 106648 | 40142 387504 1348167 | 2147483647 105318 21 | 3.160 % |
66.53/66.64 c | 106929 | 40142 387504 1348167 | 2147483647 105599 21 | 3.160 % |
66.73/66.86 c | 107241 | 40142 387504 1348167 | 2147483647 105911 21 | 3.160 % |
66.83/66.95 c | 107580 | 40142 387504 1348167 | 2147483647 106250 21 | 3.160 % |
67.13/67.26 c | 107953 | 40142 387504 1348167 | 2147483647 106623 21 | 3.160 % |
67.33/67.47 c | 108363 | 40142 387504 1348167 | 2147483647 107033 21 | 3.160 % |
67.63/67.79 c | 108814 | 40142 387504 1348167 | 2147483647 107484 21 | 3.160 % |
68.03/68.14 c | 109308 | 40142 387504 1348167 | 2147483647 107978 21 | 3.160 % |
68.33/68.41 c | 109852 | 40142 387504 1348167 | 2147483647 108522 21 | 3.160 % |
68.52/68.61 c | 110449 | 40142 387504 1348167 | 2147483647 109119 21 | 3.160 % |
68.82/68.93 c | 111104 | 40142 387504 1348167 | 2147483647 109774 21 | 3.160 % |
69.32/69.48 c | 111824 | 40142 387504 1348167 | 2147483647 110494 21 | 3.160 % |
69.72/69.87 c | 112616 | 40142 387504 1348167 | 2147483647 111286 21 | 3.160 % |
70.33/70.45 c | 113488 | 40142 387504 1348167 | 2147483647 112158 21 | 3.160 % |
71.02/71.14 c | 114446 | 40142 387504 1348167 | 2147483647 113116 21 | 3.160 % |
71.92/72.06 c | 115499 | 40142 387504 1348167 | 2147483647 114169 21 | 3.160 % |
73.02/73.11 c | 116657 | 40142 387504 1348167 | 2147483647 115327 21 | 3.160 % |
74.12/74.23 c | 117930 | 40142 387504 1348167 | 2147483647 116600 21 | 3.160 % |
74.22/74.35 c | 118031 | 40142 387504 1348167 | 2147483647 116701 21 | 3.160 % |
74.32/74.46 c | 118142 | 40142 387504 1348167 | 2147483647 116812 21 | 3.160 % |
74.42/74.54 c | 118264 | 40142 387504 1348167 | 2147483647 116934 21 | 3.160 % |
74.42/74.58 c | 118400 | 40142 387504 1348167 | 2147483647 117070 21 | 3.160 % |
74.52/74.65 c | 118546 | 40142 387504 1348167 | 2147483647 117216 21 | 3.160 % |
74.62/74.74 c | 118706 | 40142 387504 1348167 | 2147483647 117376 21 | 3.160 % |
74.72/74.83 c | 118883 | 40142 387504 1348167 | 2147483647 117553 21 | 3.160 % |
74.82/75.00 c | 119077 | 40142 387504 1348167 | 2147483647 117747 21 | 3.160 % |
74.92/75.07 c | 119289 | 40142 387504 1348167 | 2147483647 117959 21 | 3.160 % |
75.12/75.24 c | 119523 | 40142 387504 1348167 | 2147483647 118193 21 | 3.160 % |
75.32/75.41 c | 119780 | 40142 387504 1348167 | 2147483647 118450 21 | 3.160 % |
75.52/75.67 c | 120063 | 40142 387504 1348167 | 2147483647 118733 21 | 3.160 % |
75.82/75.97 c | 120372 | 40142 387504 1348167 | 2147483647 119042 21 | 3.160 % |
76.12/76.28 c | 120713 | 40142 387504 1348167 | 2147483647 119383 21 | 3.160 % |
76.22/76.39 c | 121086 | 40142 387504 1348167 | 2147483647 119756 21 | 3.160 % |
76.51/76.67 c | 121495 | 40142 387504 1348167 | 2147483647 120165 21 | 3.160 % |
76.82/76.95 c | 121944 | 40142 387504 1348167 | 2147483647 120614 21 | 3.160 % |
77.01/77.11 c | 122437 | 40142 387504 1348167 | 2147483647 121107 21 | 3.160 % |
77.41/77.51 c | 122980 | 40142 387504 1348167 | 2147483647 121650 21 | 3.160 % |
77.71/77.82 c | 123576 | 40142 387504 1348167 | 2147483647 122246 21 | 3.160 % |
77.92/78.08 c | 124231 | 40142 387504 1348167 | 2147483647 122901 21 | 3.160 % |
78.61/78.74 c | 124951 | 40142 387504 1348167 | 2147483647 123621 21 | 3.160 % |
79.12/79.23 c | 125744 | 40142 387504 1348167 | 2147483647 124414 21 | 3.160 % |
79.81/79.93 c | 126618 | 40142 387504 1348167 | 2147483647 125288 21 | 3.160 % |
80.41/80.58 c | 127577 | 40142 387504 1348167 | 2147483647 126247 22 | 3.160 % |
81.12/81.23 c | 128631 | 40142 387504 1348167 | 2147483647 127301 22 | 3.160 % |
81.72/81.88 c | 129789 | 40142 387504 1348167 | 2147483647 128459 22 | 3.160 % |
82.32/82.41 c | 131063 | 40142 387504 1348167 | 2147483647 129733 22 | 3.160 % |
82.91/83.02 c | 132464 | 40142 387504 1348167 | 2147483647 131134 22 | 3.160 % |
82.91/83.10 c | 132564 | 40142 387504 1348167 | 2147483647 131234 22 | 3.160 % |
83.01/83.14 c | 132675 | 40142 387504 1348167 | 2147483647 131345 22 | 3.160 % |
83.01/83.18 c | 132796 | 40142 387504 1348167 | 2147483647 131466 22 | 3.160 % |
83.11/83.23 c | 132929 | 40142 387504 1348167 | 2147483647 131599 22 | 3.160 % |
83.21/83.38 c | 133076 | 40142 387504 1348167 | 2147483647 131746 22 | 3.160 % |
83.41/83.53 c | 133237 | 40142 387504 1348167 | 2147483647 131907 22 | 3.160 % |
83.61/83.71 c | 133413 | 40142 387504 1348167 | 2147483647 132083 22 | 3.160 % |
83.71/83.81 c | 133607 | 40142 387504 1348167 | 2147483647 132277 22 | 3.160 % |
83.91/84.02 c | 133819 | 40142 387504 1348167 | 2147483647 132489 22 | 3.160 % |
84.01/84.17 c | 134053 | 40142 387504 1348167 | 2147483647 132723 22 | 3.160 % |
84.21/84.35 c | 134309 | 40142 387504 1348167 | 2147483647 132979 22 | 3.160 % |
84.41/84.56 c | 134590 | 40142 387504 1348167 | 2147483647 133260 22 | 3.160 % |
84.71/84.89 c | 134900 | 40142 387504 1348167 | 2147483647 133570 22 | 3.160 % |
85.11/85.26 c | 135239 | 40142 387504 1348167 | 2147483647 133909 22 | 3.160 % |
85.51/85.69 c | 135613 | 40142 387504 1348167 | 2147483647 134283 22 | 3.160 % |
85.91/86.07 c | 136024 | 40142 387504 1348167 | 2147483647 134694 22 | 3.160 % |
86.51/86.62 c | 136475 | 40142 387504 1348167 | 2147483647 135145 22 | 3.160 % |
86.71/86.89 c | 136969 | 40142 387504 1348167 | 2147483647 135639 22 | 3.160 % |
87.10/87.22 c | 137511 | 40142 387504 1348167 | 2147483647 136181 22 | 3.160 % |
87.40/87.53 c | 138107 | 40142 387504 1348167 | 2147483647 136777 22 | 3.160 % |
88.10/88.26 c | 138762 | 40142 387504 1348167 | 2147483647 137432 22 | 3.160 % |
89.10/89.24 c | 139484 | 40142 387504 1348167 | 2147483647 138154 22 | 3.160 % |
90.10/90.29 c | 140276 | 40067 382748 1329458 | 2147483647 109250 22 | 3.341 % |
90.60/90.77 c | 141147 | 40067 382748 1329458 | 2147483647 110121 22 | 3.341 % |
91.50/91.62 c | 142105 | 40067 382748 1329458 | 2147483647 111079 22 | 3.341 % |
92.20/92.32 c | 143159 | 40067 382748 1329458 | 2147483647 112133 22 | 3.341 % |
92.89/93.04 c | 144318 | 40067 382748 1329458 | 2147483647 113292 22 | 3.341 % |
93.69/93.82 c | 145592 | 40067 382748 1329458 | 2147483647 114566 22 | 3.341 % |
94.69/94.81 c | 146993 | 40067 382748 1329458 | 2147483647 115967 22 | 3.341 % |
95.50/95.70 c | 148535 | 40067 382748 1329458 | 2147483647 117509 22 | 3.341 % |
95.60/95.75 c | 148637 | 40067 382748 1329458 | 2147483647 117611 22 | 3.341 % |
95.60/95.79 c | 148747 | 40067 382748 1329458 | 2147483647 117721 22 | 3.341 % |
95.69/95.83 c | 148868 | 40067 382748 1329458 | 2147483647 117842 22 | 3.341 % |
95.69/95.87 c | 149002 | 40067 382748 1329458 | 2147483647 117976 22 | 3.341 % |
95.79/95.96 c | 149149 | 40067 382748 1329458 | 2147483647 118123 22 | 3.341 % |
95.79/96.00 c | 149310 | 40067 382748 1329458 | 2147483647 118284 22 | 3.341 % |
95.89/96.05 c | 149487 | 40067 382748 1329458 | 2147483647 118461 22 | 3.341 % |
95.99/96.14 c | 149683 | 40067 382748 1329458 | 2147483647 118657 22 | 3.341 % |
96.09/96.22 c | 149896 | 40067 382748 1329458 | 2147483647 118870 22 | 3.341 % |
96.19/96.36 c | 150131 | 40067 382748 1329458 | 2147483647 119105 22 | 3.341 % |
96.29/96.45 c | 150388 | 40067 382748 1329458 | 2147483647 119362 22 | 3.341 % |
96.49/96.64 c | 150670 | 40067 382748 1329458 | 2147483647 119644 22 | 3.341 % |
96.70/96.87 c | 150981 | 40067 382748 1329458 | 2147483647 119955 22 | 3.341 % |
96.99/97.16 c | 151321 | 40067 382748 1329458 | 2147483647 120295 22 | 3.341 % |
97.19/97.36 c | 151693 | 40067 382748 1329458 | 2147483647 120667 22 | 3.341 % |
97.49/97.66 c | 152103 | 40067 382748 1329458 | 2147483647 121077 22 | 3.341 % |
97.80/97.98 c | 152554 | 40067 382748 1329458 | 2147483647 121528 22 | 3.341 % |
98.39/98.56 c | 153052 | 40067 382748 1329458 | 2147483647 122026 22 | 3.341 % |
98.89/99.08 c | 153597 | 40067 382748 1329458 | 2147483647 122571 22 | 3.341 % |
99.59/99.73 c | 154193 | 40067 382748 1329458 | 2147483647 123167 22 | 3.341 % |
100.19/100.32 c | 154848 | 40067 382748 1329458 | 2147483647 123822 22 | 3.341 % |
100.69/100.85 c | 155569 | 40067 382748 1329458 | 2147483647 124543 22 | 3.341 % |
101.39/101.57 c | 156361 | 40067 382748 1329458 | 2147483647 125335 22 | 3.341 % |
101.79/101.99 c | 157232 | 40067 382748 1329458 | 2147483647 126206 22 | 3.341 % |
102.69/102.84 c | 158191 | 40067 382748 1329458 | 2147483647 127165 22 | 3.341 % |
103.39/103.55 c | 159244 | 40067 382748 1329458 | 2147483647 128218 23 | 3.341 % |
103.89/104.04 c | 160402 | 40067 382748 1329458 | 2147483647 129376 23 | 3.341 % |
104.89/105.00 c | 161675 | 40067 382748 1329458 | 2147483647 130649 23 | 3.341 % |
105.59/105.77 c | 163078 | 40067 382748 1329458 | 2147483647 132052 23 | 3.341 % |
106.98/107.13 c | 164620 | 40067 382748 1329458 | 2147483647 133594 23 | 3.341 % |
108.58/108.71 c | 166316 | 40067 382748 1329458 | 2147483647 135290 23 | 3.341 % |
108.68/108.83 c | 166417 | 40067 382748 1329458 | 2147483647 135391 23 | 3.341 % |
108.78/108.95 c | 166527 | 40067 382748 1329458 | 2147483647 135501 23 | 3.341 % |
108.88/109.06 c | 166651 | 40067 382748 1329458 | 2147483647 135625 23 | 3.341 % |
108.98/109.16 c | 166784 | 40067 382748 1329458 | 2147483647 135758 23 | 3.341 % |
109.08/109.25 c | 166930 | 40067 382748 1329458 | 2147483647 135904 23 | 3.341 % |
109.28/109.42 c | 167091 | 40067 382748 1329458 | 2147483647 136065 23 | 3.341 % |
109.48/109.62 c | 167268 | 40067 382748 1329458 | 2147483647 136242 23 | 3.341 % |
109.58/109.78 c | 167461 | 40067 382748 1329458 | 2147483647 136435 23 | 3.341 % |
109.78/109.99 c | 167673 | 40067 382748 1329458 | 2147483647 136647 23 | 3.341 % |
110.08/110.21 c | 167906 | 40067 382748 1329458 | 2147483647 136880 23 | 3.341 % |
110.38/110.51 c | 168162 | 40067 382748 1329458 | 2147483647 137136 23 | 3.341 % |
110.58/110.78 c | 168444 | 40067 382748 1329458 | 2147483647 137418 23 | 3.341 % |
110.78/111.00 c | 168755 | 40067 382748 1329458 | 2147483647 137729 23 | 3.341 % |
111.18/111.35 c | 169096 | 40067 382748 1329458 | 2147483647 138070 23 | 3.341 % |
111.48/111.63 c | 169469 | 40067 382748 1329458 | 2147483647 138443 23 | 3.341 % |
111.78/111.90 c | 169878 | 40067 382748 1329458 | 2147483647 138852 23 | 3.341 % |
112.18/112.32 c | 170328 | 40067 382748 1329458 | 2147483647 139302 23 | 3.341 % |
112.48/112.68 c | 170821 | 40067 382748 1329458 | 2147483647 139795 23 | 3.341 % |
112.98/113.11 c | 171364 | 40067 382748 1329458 | 2147483647 140338 23 | 3.341 % |
113.38/113.59 c | 171961 | 40067 382748 1329458 | 2147483647 140935 23 | 3.341 % |
113.78/113.90 c | 172617 | 40067 382748 1329458 | 2147483647 141591 23 | 3.341 % |
114.38/114.54 c | 173338 | 40067 382748 1329458 | 2147483647 142312 23 | 3.341 % |
115.18/115.39 c | 174131 | 40067 382748 1329458 | 2147483647 143105 23 | 3.341 % |
115.68/115.89 c | 175002 | 40067 382748 1329458 | 2147483647 143976 23 | 3.341 % |
116.78/117.00 c | 175964 | 40067 382748 1329458 | 2147483647 144938 23 | 3.341 % |
117.98/118.16 c | 177017 | 40067 382748 1329458 | 2147483647 145991 23 | 3.341 % |
118.97/119.14 c | 178175 | 40067 382748 1329458 | 2147483647 147149 23 | 3.341 % |
119.78/119.95 c | 179448 | 40067 382748 1329458 | 2147483647 148422 24 | 3.341 % |
121.28/121.48 c | 180849 | 40067 382748 1329458 | 2147483647 149823 24 | 3.341 % |
122.58/122.73 c | 182389 | 40067 382748 1329458 | 2147483647 151363 24 | 3.341 % |
123.38/123.52 c | 184085 | 40067 382748 1329458 | 2147483647 153059 24 | 3.341 % |
124.98/125.14 c | 185949 | 40067 382748 1329458 | 2147483647 154923 24 | 3.341 % |
125.08/125.21 c | 186050 | 40067 382748 1329458 | 2147483647 155024 24 | 3.341 % |
125.18/125.32 c | 186161 | 40067 382748 1329458 | 2147483647 155135 24 | 3.341 % |
125.18/125.38 c | 186282 | 40067 382748 1329458 | 2147483647 155256 24 | 3.341 % |
125.38/125.53 c | 186416 | 40067 382748 1329458 | 2147483647 155390 24 | 3.341 % |
125.48/125.67 c | 186563 | 40067 382748 1329458 | 2147483647 155537 24 | 3.341 % |
125.58/125.78 c | 186727 | 40067 382748 1329458 | 2147483647 155701 24 | 3.341 % |
125.78/125.91 c | 186903 | 40067 382748 1329458 | 2147483647 155877 24 | 3.341 % |
125.88/126.02 c | 187096 | 40067 382748 1329458 | 2147483647 156070 24 | 3.341 % |
126.08/126.21 c | 187309 | 40067 382748 1329458 | 2147483647 156283 24 | 3.341 % |
126.18/126.39 c | 187547 | 40067 382748 1329458 | 2147483647 156521 24 | 3.341 % |
126.47/126.63 c | 187803 | 40067 382748 1329458 | 2147483647 156777 24 | 3.341 % |
126.77/126.95 c | 188085 | 40067 382748 1329458 | 2147483647 157059 24 | 3.341 % |
127.17/127.39 c | 188394 | 40067 382748 1329458 | 2147483647 157368 24 | 3.341 % |
127.48/127.66 c | 188733 | 40067 382748 1329458 | 2147483647 157707 24 | 3.341 % |
127.97/128.19 c | 189105 | 40067 382748 1329458 | 2147483647 158079 24 | 3.341 % |
128.37/128.54 c | 189516 | 40067 382748 1329458 | 2147483647 158490 24 | 3.341 % |
128.87/129.08 c | 189968 | 40067 382748 1329458 | 2147483647 158942 24 | 3.341 % |
129.27/129.44 c | 190461 | 40067 382748 1329458 | 2147483647 159435 24 | 3.341 % |
129.87/130.05 c | 191006 | 40067 382748 1329458 | 2147483647 159980 24 | 3.341 % |
130.17/130.35 c | 191604 | 40067 382748 1329458 | 2147483647 160578 24 | 3.341 % |
130.57/130.75 c | 192259 | 40067 382748 1329458 | 2147483647 161233 24 | 3.341 % |
130.87/131.09 c | 192980 | 40067 382748 1329458 | 2147483647 161954 24 | 3.341 % |
131.67/131.84 c | 193774 | 40067 382748 1329458 | 2147483647 162748 24 | 3.341 % |
132.37/132.53 c | 194646 | 40067 382748 1329458 | 2147483647 163620 24 | 3.341 % |
133.27/133.45 c | 195604 | 40067 382748 1329458 | 2147483647 164578 24 | 3.341 % |
133.77/133.99 c | 196659 | 40067 382748 1329458 | 2147483647 165633 24 | 3.341 % |
134.27/134.45 c | 197817 | 40067 382748 1329458 | 2147483647 166791 24 | 3.341 % |
135.07/135.20 c | 199090 | 40067 382748 1329458 | 2147483647 168064 24 | 3.341 % |
136.37/136.53 c | 200490 | 40067 382748 1329458 | 2147483647 169464 24 | 3.341 % |
137.67/137.83 c | 202032 | 40067 382748 1329458 | 2147483647 171006 24 | 3.341 % |
139.58/139.70 c | 203726 | 40067 382748 1329458 | 2147483647 172700 24 | 3.341 % |
140.87/141.06 c | 205590 | 40067 382748 1329458 | 2147483647 174564 24 | 3.341 % |
142.07/142.25 c | 207640 | 40067 382748 1329458 | 2147483647 176614 24 | 3.341 % |
142.17/142.35 c | 207740 | 40067 382748 1329458 | 2147483647 176714 24 | 3.341 % |
142.37/142.53 c | 207851 | 40067 382748 1329458 | 2147483647 176825 24 | 3.341 % |
142.37/142.58 c | 207972 | 40067 382748 1329458 | 2147483647 176946 24 | 3.341 % |
142.57/142.75 c | 208105 | 40067 382748 1329458 | 2147483647 177079 24 | 3.341 % |
142.77/142.95 c | 208251 | 40067 382748 1329458 | 2147483647 177225 24 | 3.341 % |
142.97/143.14 c | 208412 | 40067 382748 1329458 | 2147483647 177386 24 | 3.341 % |
143.17/143.31 c | 208589 | 40067 382748 1329458 | 2147483647 177563 24 | 3.341 % |
143.37/143.58 c | 208783 | 40067 382748 1329458 | 2147483647 177757 24 | 3.341 % |
143.77/143.90 c | 208995 | 40067 382748 1329458 | 2147483647 177969 24 | 3.341 % |
143.87/144.09 c | 209228 | 40067 382748 1329458 | 2147483647 178202 24 | 3.341 % |
144.17/144.35 c | 209485 | 40067 382748 1329458 | 2147483647 178459 24 | 3.341 % |
144.37/144.59 c | 209767 | 40067 382748 1329458 | 2147483647 178741 24 | 3.341 % |
144.87/145.03 c | 210078 | 40067 382748 1329458 | 2147483647 179052 24 | 3.341 % |
145.37/145.51 c | 210418 | 40067 382748 1329458 | 2147483647 179392 24 | 3.341 % |
145.67/145.89 c | 210791 | 40067 382748 1329458 | 2147483647 179765 24 | 3.341 % |
145.97/146.17 c | 211201 | 40067 382748 1329458 | 2147483647 180175 24 | 3.341 % |
146.27/146.42 c | 211651 | 40067 382748 1329458 | 2147483647 180625 24 | 3.341 % |
146.67/146.81 c | 212144 | 40067 382748 1329458 | 2147483647 181118 24 | 3.341 % |
147.27/147.43 c | 212690 | 40067 382748 1329458 | 2147483647 181664 24 | 3.341 % |
147.66/147.86 c | 213286 | 40067 382748 1329458 | 2147483647 182260 24 | 3.341 % |
148.37/148.52 c | 213941 | 40067 382748 1329458 | 2147483647 182915 24 | 3.341 % |
148.56/148.74 c | 214662 | 40067 382748 1329458 | 2147483647 183636 24 | 3.341 % |
149.26/149.49 c | 215454 | 40067 382748 1329458 | 2147483647 184428 24 | 3.341 % |
150.06/150.21 c | 216325 | 40067 382748 1329458 | 2147483647 185299 24 | 3.341 % |
150.36/150.58 c | 217285 | 40067 382748 1329458 | 2147483647 186259 24 | 3.341 % |
151.46/151.61 c | 218338 | 40067 382748 1329458 | 2147483647 187312 24 | 3.341 % |
152.26/152.49 c | 219496 | 40067 382748 1329458 | 2147483647 188470 24 | 3.341 % |
153.16/153.33 c | 220770 | 40067 382748 1329458 | 2147483647 189744 24 | 3.341 % |
154.46/154.62 c | 222170 | 40067 382748 1329458 | 2147483647 191144 25 | 3.341 % |
156.07/156.21 c | 223711 | 40067 382748 1329458 | 2147483647 192685 25 | 3.341 % |
157.86/158.07 c | 225406 | 40067 382748 1329458 | 2147483647 194380 25 | 3.341 % |
159.27/159.48 c | 227273 | 40067 382748 1329458 | 2147483647 196247 25 | 3.341 % |
161.46/161.68 c | 229322 | 40067 382748 1329458 | 2147483647 198296 25 | 3.341 % |
163.96/164.15 c | 231576 | 40067 382748 1329458 | 2147483647 200550 25 | 3.341 % |
164.16/164.32 c | 231679 | 40067 382748 1329458 | 2147483647 200653 25 | 3.341 % |
164.26/164.44 c | 231789 | 40067 382748 1329458 | 2147483647 200763 25 | 3.341 % |
164.36/164.57 c | 231914 | 40067 382748 1329458 | 2147483647 200888 25 | 3.341 % |
164.56/164.72 c | 232047 | 40067 382748 1329458 | 2147483647 201021 25 | 3.341 % |
164.66/164.89 c | 232193 | 40067 382748 1329458 | 2147483647 201167 25 | 3.341 % |
164.86/165.09 c | 232355 | 40067 382748 1329458 | 2147483647 201329 25 | 3.341 % |
165.06/165.30 c | 232532 | 40067 382748 1329458 | 2147483647 201506 25 | 3.341 % |
165.35/165.50 c | 232725 | 40067 382748 1329458 | 2147483647 201699 25 | 3.341 % |
165.55/165.70 c | 232939 | 40067 382748 1329458 | 2147483647 201913 25 | 3.341 % |
165.86/166.10 c | 233172 | 40067 382748 1329458 | 2147483647 202146 25 | 3.341 % |
166.25/166.41 c | 233428 | 40067 382748 1329458 | 2147483647 202402 25 | 3.341 % |
166.55/166.75 c | 233710 | 40067 382748 1329458 | 2147483647 202684 25 | 3.341 % |
166.86/167.02 c | 234019 | 40067 382748 1329458 | 2147483647 202993 25 | 3.341 % |
167.16/167.30 c | 234358 | 40067 382748 1329458 | 2147483647 203332 25 | 3.341 % |
167.56/167.70 c | 234730 | 40067 382748 1329458 | 2147483647 203704 25 | 3.341 % |
167.96/168.16 c | 235145 | 40067 382748 1329458 | 2147483647 204119 25 | 3.341 % |
168.26/168.50 c | 235597 | 40067 382748 1329458 | 2147483647 204571 25 | 3.341 % |
168.76/168.91 c | 236090 | 40067 382748 1329458 | 2147483647 205064 25 | 3.341 % |
169.36/169.53 c | 236632 | 40067 382748 1329458 | 2147483647 205606 25 | 3.341 % |
169.66/169.88 c | 237228 | 40067 382748 1329458 | 2147483647 206202 25 | 3.341 % |
170.36/170.58 c | 237883 | 40067 382748 1329458 | 2147483647 206857 25 | 3.341 % |
171.16/171.39 c | 238603 | 40067 382748 1329458 | 2147483647 207577 25 | 3.341 % |
171.76/171.99 c | 239395 | 40067 382748 1329458 | 2147483647 208369 25 | 3.341 % |
173.36/173.58 c | 240267 | 40067 382748 1329458 | 2147483647 209241 25 | 3.341 % |
174.25/174.45 c | 241229 | 40067 382748 1329458 | 2147483647 210203 26 | 3.341 % |
175.15/175.30 c | 242285 | 40067 382748 1329458 | 2147483647 211259 26 | 3.341 % |
176.25/176.45 c | 243443 | 40067 382748 1329458 | 2147483647 212417 26 | 3.341 % |
177.95/178.16 c | 244716 | 40067 382748 1329458 | 2147483647 213690 26 | 3.341 % |
180.05/180.29 c | 246119 | 40067 382748 1329458 | 2147483647 215093 26 | 3.341 % |
181.85/182.09 c | 247659 | 40067 382748 1329458 | 2147483647 216633 26 | 3.341 % |
183.86/184.06 c | 249353 | 40067 382748 1329458 | 2147483647 218327 26 | 3.341 % |
185.76/185.93 c | 251216 | 40067 382748 1329458 | 2147483647 220190 26 | 3.341 % |
188.35/188.53 c | 253266 | 40067 382748 1329458 | 2147483647 222240 26 | 3.341 % |
191.35/191.55 c | 255519 | 40067 382748 1329458 | 2147483647 224493 26 | 3.341 % |
194.84/195.01 c | 257999 | 40067 382748 1329458 | 2147483647 226973 26 | 3.341 % |
195.04/195.29 c | 258100 | 40067 382748 1329458 | 2147483647 227074 26 | 3.341 % |
195.24/195.40 c | 258210 | 40067 382748 1329458 | 2147483647 227184 26 | 3.341 % |
195.34/195.57 c | 258331 | 40067 382748 1329458 | 2147483647 227305 26 | 3.341 % |
195.55/195.73 c | 258466 | 40067 382748 1329458 | 2147483647 227440 26 | 3.341 % |
195.74/195.91 c | 258612 | 40067 382748 1329458 | 2147483647 227586 26 | 3.341 % |
195.94/196.14 c | 258774 | 40067 382748 1329458 | 2147483647 227748 26 | 3.341 % |
196.34/196.51 c | 258950 | 40067 382748 1329458 | 2147483647 227924 26 | 3.341 % |
196.65/196.82 c | 259145 | 40067 382748 1329458 | 2147483647 228119 26 | 3.341 % |
196.84/197.02 c | 259357 | 40067 382748 1329458 | 2147483647 228331 26 | 3.341 % |
197.14/197.37 c | 259590 | 40067 382748 1329458 | 2147483647 228564 26 | 3.341 % |
197.65/197.82 c | 259849 | 40064 382724 1329376 | 2147483647 228819 26 | 3.348 % |
197.95/198.18 c | 260130 | 40064 382724 1329376 | 2147483647 229100 26 | 3.348 % |
198.45/198.63 c | 260440 | 40064 382724 1329376 | 2147483647 229410 26 | 3.348 % |
198.75/198.97 c | 260779 | 40064 382724 1329376 | 2147483647 229749 26 | 3.348 % |
199.15/199.38 c | 261151 | 40064 382724 1329376 | 2147483647 230121 26 | 3.348 % |
199.75/199.93 c | 261560 | 40064 382724 1329376 | 2147483647 230530 26 | 3.348 % |
200.35/200.55 c | 262012 | 40064 382724 1329376 | 2147483647 230982 26 | 3.348 % |
201.15/201.32 c | 262505 | 40064 382724 1329376 | 2147483647 231475 26 | 3.348 % |
201.75/201.98 c | 263048 | 40064 382724 1329376 | 2147483647 232018 26 | 3.348 % |
202.65/202.89 c | 263645 | 40064 382724 1329376 | 2147483647 232615 26 | 3.348 % |
203.35/203.53 c | 264300 | 40064 382724 1329376 | 2147483647 233270 26 | 3.348 % |
204.15/204.33 c | 265020 | 40064 382724 1329376 | 2147483647 233990 26 | 3.348 % |
205.45/205.68 c | 265812 | 40064 382724 1329376 | 2147483647 234782 26 | 3.348 % |
206.55/206.77 c | 266683 | 40064 382724 1329376 | 2147483647 235653 26 | 3.348 % |
208.04/208.26 c | 267641 | 40064 382724 1329376 | 2147483647 236611 26 | 3.348 % |
209.54/209.77 c | 268694 | 40064 382724 1329376 | 2147483647 237664 26 | 3.348 % |
211.44/211.65 c | 269852 | 40064 382724 1329376 | 2147483647 238822 27 | 3.348 % |
213.14/213.36 c | 271127 | 40064 382724 1329376 | 2147483647 240097 27 | 3.348 % |
214.84/215.05 c | 272531 | 40064 382724 1329376 | 2147483647 241501 27 | 3.348 % |
217.24/217.48 c | 274072 | 40064 382724 1329376 | 2147483647 243042 27 | 3.348 % |
219.93/220.12 c | 275768 | 40064 382724 1329376 | 2147483647 244738 27 | 3.348 % |
222.63/222.88 c | 277631 | 40064 382724 1329376 | 2147483647 246601 27 | 3.348 % |
226.23/226.45 c | 279680 | 40064 382724 1329376 | 2147483647 248650 27 | 3.348 % |
229.93/230.15 c | 281933 | 40064 382724 1329376 | 2147483647 250903 27 | 3.348 % |
233.33/233.58 c | 284411 | 40064 382724 1329376 | 2147483647 253381 27 | 3.348 % |
236.24/236.48 c | 287136 | 40064 382724 1329376 | 2147483647 256106 27 | 3.348 % |
236.43/236.63 c | 287236 | 40064 382724 1329376 | 2147483647 256206 27 | 3.348 % |
236.53/236.77 c | 287347 | 40064 382724 1329376 | 2147483647 256317 27 | 3.349 % |
236.73/236.95 c | 287468 | 40064 382724 1329376 | 2147483647 256438 27 | 3.348 % |
237.03/237.21 c | 287602 | 40064 382724 1329376 | 2147483647 256572 27 | 3.348 % |
237.23/237.42 c | 287750 | 40064 382724 1329376 | 2147483647 256720 27 | 3.348 % |
237.43/237.67 c | 287911 | 40064 382724 1329376 | 2147483647 256881 27 | 3.348 % |
237.73/237.93 c | 288087 | 40064 382724 1329376 | 2147483647 257057 27 | 3.348 % |
238.23/238.47 c | 288280 | 40064 382724 1329376 | 2147483647 257250 27 | 3.348 % |
238.73/238.91 c | 288493 | 40064 382724 1329376 | 2147483647 257463 27 | 3.348 % |
239.13/239.35 c | 288726 | 40064 382724 1329376 | 2147483647 257696 27 | 3.348 % |
239.53/239.73 c | 288982 | 40064 382724 1329376 | 2147483647 257952 27 | 3.348 % |
239.83/240.09 c | 289263 | 40064 382724 1329376 | 2147483647 258233 27 | 3.348 % |
240.53/240.72 c | 289573 | 40064 382724 1329376 | 2147483647 258543 27 | 3.348 % |
241.12/241.32 c | 289913 | 40064 382724 1329376 | 2147483647 258883 27 | 3.348 % |
241.62/241.85 c | 290286 | 40064 382724 1329376 | 2147483647 259256 27 | 3.348 % |
242.12/242.36 c | 290695 | 40064 382724 1329376 | 2147483647 259665 27 | 3.348 % |
242.93/243.13 c | 291144 | 40064 382724 1329376 | 2147483647 260114 27 | 3.348 % |
243.42/243.66 c | 291637 | 40064 382724 1329376 | 2147483647 260607 27 | 3.348 % |
244.22/244.43 c | 292179 | 40064 382724 1329376 | 2147483647 261149 27 | 3.348 % |
244.72/244.94 c | 292775 | 40064 382724 1329376 | 2147483647 261745 27 | 3.348 % |
245.72/245.95 c | 293431 | 40064 382724 1329376 | 2147483647 262401 27 | 3.348 % |
246.52/246.76 c | 294152 | 40064 382724 1329376 | 2147483647 263122 27 | 3.348 % |
247.92/248.16 c | 294944 | 40064 382724 1329376 | 2147483647 263914 27 | 3.348 % |
249.12/249.38 c | 295815 | 40064 382724 1329376 | 2147483647 264785 27 | 3.348 % |
251.22/251.46 c | 296773 | 40064 382724 1329376 | 2147483647 265743 27 | 3.348 % |
252.31/252.56 c | 297828 | 40064 382724 1329376 | 2147483647 266798 27 | 3.348 % |
254.32/254.54 c | 298987 | 40064 382724 1329376 | 2147483647 267957 27 | 3.348 % |
256.22/256.41 c | 300261 | 40064 382724 1329376 | 2147483647 269231 27 | 3.348 % |
259.62/259.89 c | 301662 | 40064 382724 1329376 | 2147483647 270632 27 | 3.348 % |
262.12/262.35 c | 303203 | 40064 382724 1329376 | 2147483647 272173 27 | 3.348 % |
263.72/263.99 c | 304897 | 40064 382724 1329376 | 2147483647 273867 27 | 3.348 % |
266.31/266.57 c | 306761 | 40064 382724 1329376 | 2147483647 275731 27 | 3.348 % |
269.31/269.54 c | 308810 | 40064 382724 1329376 | 2147483647 277780 27 | 3.348 % |
270.62/270.84 c | 311063 | 40064 382724 1329376 | 2147483647 280033 27 | 3.348 % |
274.51/274.79 c | 313541 | 40064 382724 1329376 | 2147483647 282511 27 | 3.348 % |
277.11/277.36 c | 316268 | 40064 382724 1329376 | 2147483647 285238 28 | 3.348 % |
279.71/279.96 c | 319265 | 40064 382724 1329376 | 2147483647 288235 28 | 3.348 % |
280.01/280.21 c | 319366 | 40064 382724 1329376 | 2147483647 288336 28 | 3.348 % |
280.01/280.29 c | 319477 | 40064 382724 1329376 | 2147483647 288447 28 | 3.348 % |
280.11/280.37 c | 319598 | 40064 382724 1329376 | 2147483647 288568 28 | 3.348 % |
280.31/280.54 c | 319732 | 40064 382724 1329376 | 2147483647 288702 28 | 3.348 % |
280.51/280.71 c | 319879 | 40064 382724 1329376 | 2147483647 288849 28 | 3.348 % |
280.61/280.81 c | 320042 | 40064 382724 1329376 | 2147483647 289012 28 | 3.348 % |
280.71/280.94 c | 320218 | 40064 382724 1329376 | 2147483647 289188 28 | 3.348 % |
280.81/281.05 c | 320411 | 40064 382724 1329376 | 2147483647 289381 28 | 3.348 % |
281.01/281.26 c | 320623 | 40064 382724 1329376 | 2147483647 289593 28 | 3.349 % |
281.21/281.48 c | 320857 | 40064 382724 1329376 | 2147483647 289827 28 | 3.349 % |
281.61/281.86 c | 321114 | 40064 382724 1329376 | 2147483647 290084 28 | 3.348 % |
282.21/282.42 c | 321396 | 40064 382724 1329376 | 2147483647 290366 28 | 3.348 % |
282.51/282.78 c | 321705 | 40064 382724 1329376 | 2147483647 290675 28 | 3.348 % |
283.11/283.31 c | 322045 | 40064 382724 1329376 | 2147483647 291015 28 | 3.348 % |
283.91/284.10 c | 322419 | 40064 382724 1329376 | 2147483647 291389 28 | 3.349 % |
284.71/284.91 c | 322831 | 40064 382724 1329376 | 2147483647 291801 28 | 3.349 % |
285.41/285.61 c | 323282 | 40064 382724 1329376 | 2147483647 292252 28 | 3.348 % |
286.60/286.87 c | 323776 | 40064 382724 1329376 | 2147483647 292746 28 | 3.348 % |
287.91/288.19 c | 324320 | 40064 382724 1329376 | 2147483647 293290 28 | 3.348 % |
288.60/288.89 c | 324916 | 40064 382724 1329376 | 2147483647 293886 28 | 3.348 % |
289.80/290.09 c | 325571 | 40064 382724 1329376 | 2147483647 294541 28 | 3.348 % |
292.00/292.21 c | 326292 | 40064 382724 1329376 | 2147483647 295262 28 | 3.348 % |
293.40/293.65 c | 327084 | 40064 382724 1329376 | 2147483647 296054 28 | 3.348 % |
294.70/294.93 c | 327957 | 40064 382724 1329376 | 2147483647 296927 28 | 3.348 % |
296.00/296.27 c | 328915 | 40064 382724 1329376 | 2147483647 297885 28 | 3.348 % |
297.30/297.52 c | 329969 | 40064 382724 1329376 | 2147483647 298939 28 | 3.348 % |
298.30/298.57 c | 331128 | 40064 382724 1329376 | 2147483647 300098 28 | 3.348 % |
300.90/301.13 c | 332401 | 40064 382724 1329376 | 2147483647 301371 28 | 3.348 % |
302.50/302.75 c | 333801 | 40064 382724 1329376 | 2147483647 302771 28 | 3.348 % |
305.20/305.44 c | 335342 | 40064 382724 1329376 | 2147483647 304312 28 | 3.348 % |
308.60/308.85 c | 337036 | 40064 382724 1329376 | 2147483647 306006 28 | 3.348 % |
310.30/310.60 c | 338899 | 40064 382724 1329376 | 2147483647 307869 28 | 3.348 % |
314.40/314.61 c | 340948 | 40064 382724 1329376 | 2147483647 309918 28 | 3.348 % |
318.80/319.05 c | 343204 | 40064 382724 1329376 | 2147483647 312174 28 | 3.348 % |
323.20/323.41 c | 345685 | 40064 382724 1329376 | 2147483647 314655 28 | 3.348 % |
329.09/329.32 c | 348410 | 40064 382724 1329376 | 2147483647 317380 28 | 3.348 % |
334.29/334.54 c | 351407 | 40064 382724 1329376 | 2147483647 320377 28 | 3.348 % |
339.98/340.24 c | 354703 | 40064 382724 1329376 | 2147483647 323673 28 | 3.348 % |
340.28/340.57 c | 354803 | 40064 382724 1329376 | 2147483647 323773 28 | 3.348 % |
340.48/340.78 c | 354913 | 40064 382724 1329376 | 2147483647 323883 28 | 3.348 % |
340.58/340.83 c | 355038 | 40064 382724 1329376 | 2147483647 324008 28 | 3.348 % |
340.69/340.98 c | 355171 | 40064 382724 1329376 | 2147483647 324141 28 | 3.348 % |
340.79/341.07 c | 355319 | 40064 382724 1329376 | 2147483647 324289 28 | 3.348 % |
340.98/341.23 c | 355481 | 40064 382724 1329376 | 2147483647 324451 28 | 3.348 % |
341.28/341.52 c | 355657 | 40064 382724 1329376 | 2147483647 324627 28 | 3.348 % |
341.38/341.61 c | 355850 | 40064 382724 1329376 | 2147483647 324820 28 | 3.348 % |
341.58/341.89 c | 356062 | 40064 382724 1329376 | 2147483647 325032 28 | 3.348 % |
342.18/342.45 c | 356296 | 40064 382724 1329376 | 2147483647 325266 28 | 3.348 % |
342.58/342.80 c | 356553 | 40064 382724 1329376 | 2147483647 325523 28 | 3.348 % |
343.38/343.68 c | 356834 | 40064 382724 1329376 | 2147483647 325804 28 | 3.348 % |
344.08/344.34 c | 357143 | 40064 382724 1329376 | 2147483647 326113 28 | 3.348 % |
344.58/344.89 c | 357482 | 40064 382724 1329376 | 2147483647 326452 28 | 3.348 % |
345.68/345.92 c | 357854 | 40064 382724 1329376 | 2147483647 326824 28 | 3.348 % |
346.59/346.85 c | 358266 | 40064 382724 1329376 | 2147483647 327236 28 | 3.348 % |
347.48/347.75 c | 358717 | 40064 382724 1329376 | 2147483647 327687 28 | 3.348 % |
348.08/348.31 c | 359210 | 40064 382724 1329376 | 2147483647 328180 28 | 3.348 % |
349.08/349.31 c | 359756 | 40064 382724 1329376 | 2147483647 328726 28 | 3.348 % |
350.38/350.62 c | 360352 | 40064 382724 1329376 | 2147483647 329322 28 | 3.348 % |
351.58/351.90 c | 361009 | 40064 382724 1329376 | 2147483647 329979 28 | 3.348 % |
353.78/354.02 c | 361729 | 40064 382724 1329376 | 2147483647 330699 28 | 3.348 % |
355.28/355.51 c | 362521 | 40064 382724 1329376 | 2147483647 331491 28 | 3.348 % |
357.87/358.14 c | 363393 | 40064 382724 1329376 | 2147483647 332363 28 | 3.348 % |
359.27/359.58 c | 364351 | 40064 382724 1329376 | 2147483647 333321 29 | 3.348 % |
361.87/362.14 c | 365404 | 40064 382724 1329376 | 2147483647 334374 29 | 3.348 % |
363.37/363.65 c | 366562 | 40064 382724 1329376 | 2147483647 335532 29 | 3.348 % |
366.57/366.86 c | 367836 | 40064 382724 1329376 | 2147483647 336806 29 | 3.348 % |
368.57/368.82 c | 369237 | 40064 382724 1329376 | 2147483647 338207 29 | 3.348 % |
372.87/373.11 c | 370777 | 40064 382724 1329376 | 2147483647 339747 29 | 3.348 % |
375.47/375.76 c | 372472 | 40064 382724 1329376 | 2147483647 341442 29 | 3.348 % |
380.56/380.89 c | 374335 | 40064 382724 1329376 | 2147483647 343305 29 | 3.348 % |
384.27/384.52 c | 376385 | 40064 382724 1329376 | 2147483647 345355 29 | 3.348 % |
389.67/389.98 c | 378638 | 40064 382724 1329376 | 2147483647 347608 29 | 3.348 % |
392.47/392.75 c | 381117 | 40064 382724 1329376 | 2147483647 350087 29 | 3.348 % |
400.16/400.48 c | 383844 | 40064 382724 1329376 | 2147483647 352814 29 | 3.348 % |
405.66/405.93 c | 386841 | 40064 382724 1329376 | 2147483647 355811 29 | 3.348 % |
414.95/415.23 c | 390137 | 40064 382724 1329376 | 2147483647 359107 29 | 3.348 % |
422.66/422.92 c | 393762 | 40064 382724 1329376 | 2147483647 362732 29 | 3.348 % |
422.96/423.21 c | 393862 | 40064 382724 1329376 | 2147483647 362832 29 | 3.348 % |
423.26/423.57 c | 393972 | 40064 382724 1329376 | 2147483647 362942 29 | 3.348 % |
423.86/424.14 c | 394094 | 40064 382724 1329376 | 2147483647 363064 29 | 3.348 % |
424.26/424.56 c | 394230 | 40064 382724 1329376 | 2147483647 363200 29 | 3.348 % |
424.66/424.93 c | 394376 | 40064 382724 1329376 | 2147483647 363346 29 | 3.348 % |
425.25/425.57 c | 394536 | 40064 382724 1329376 | 2147483647 363506 29 | 3.348 % |
425.75/426.01 c | 394712 | 40064 382724 1329376 | 2147483647 363682 29 | 3.348 % |
426.25/426.50 c | 394906 | 40064 382724 1329376 | 2147483647 363876 29 | 3.348 % |
426.85/427.12 c | 395121 | 40064 382724 1329376 | 2147483647 364091 29 | 3.349 % |
427.56/427.83 c | 395354 | 40064 382724 1329376 | 2147483647 364324 29 | 3.348 % |
428.15/428.43 c | 395610 | 40064 382724 1329376 | 2147483647 364580 29 | 3.348 % |
428.95/429.25 c | 395893 | 40064 382724 1329376 | 2147483647 364863 29 | 3.348 % |
429.55/429.89 c | 396203 | 40064 382724 1329376 | 2147483647 365173 29 | 3.348 % |
430.65/430.90 c | 396543 | 40064 382724 1329376 | 2147483647 365513 29 | 3.348 % |
431.96/432.24 c | 396915 | 40064 382724 1329376 | 2147483647 365885 29 | 3.348 % |
433.06/433.32 c | 397325 | 40064 382724 1329376 | 2147483647 366295 29 | 3.348 % |
434.16/434.45 c | 397774 | 40064 382724 1329376 | 2147483647 366744 29 | 3.348 % |
435.45/435.80 c | 398268 | 40064 382724 1329376 | 2147483647 367238 29 | 3.348 % |
436.75/437.09 c | 398810 | 40064 382724 1329376 | 2147483647 367780 29 | 3.348 % |
438.95/439.21 c | 399408 | 40064 382724 1329376 | 2147483647 368378 29 | 3.348 % |
440.35/440.64 c | 400064 | 40064 382724 1329376 | 2147483647 369034 29 | 3.348 % |
441.85/442.15 c | 400784 | 40064 382724 1329376 | 2147483647 369754 29 | 3.349 % |
443.65/443.90 c | 401576 | 40064 382724 1329376 | 2147483647 370546 29 | 3.348 % |
445.25/445.53 c | 402447 | 40064 382724 1329376 | 2147483647 371417 29 | 3.348 % |
449.15/449.43 c | 403405 | 40064 382724 1329376 | 2147483647 372375 29 | 3.348 % |
451.54/451.86 c | 404459 | 40064 382724 1329376 | 2147483647 373429 29 | 3.348 % |
454.34/454.63 c | 405617 | 40064 382724 1329376 | 2147483647 374587 29 | 3.348 % |
456.84/457.10 c | 406891 | 40064 382724 1329376 | 2147483647 375861 29 | 3.348 % |
458.14/458.47 c | 408291 | 40064 382724 1329376 | 2147483647 377261 29 | 3.348 % |
462.14/462.43 c | 409832 | 40064 382724 1329376 | 2147483647 378802 29 | 3.348 % |
466.64/466.92 c | 411526 | 40064 382724 1329376 | 2147483647 380496 29 | 3.348 % |
471.23/471.54 c | 413389 | 40064 382724 1329376 | 2147483647 382359 29 | 3.348 % |
476.74/477.09 c | 415438 | 40064 382724 1329376 | 2147483647 384408 30 | 3.348 % |
480.54/480.86 c | 417692 | 40064 382724 1329376 | 2147483647 386662 30 | 3.348 % |
488.14/488.47 c | 420172 | 40064 382724 1329376 | 2147483647 389142 30 | 3.348 % |
495.73/496.09 c | 422898 | 40060 382709 1329329 | 2147483647 391867 30 | 3.358 % |
503.73/504.07 c | 425895 | 40060 382709 1329329 | 2147483647 394864 30 | 3.358 % |
513.43/513.78 c | 429193 | 40060 382709 1329329 | 2147483647 398162 30 | 3.358 % |
526.22/526.57 c | 432819 | 40060 382709 1329329 | 2147483647 401788 30 | 3.358 % |
538.11/538.49 c | 436809 | 40060 382709 1329329 | 2147483647 405778 30 | 3.358 % |
538.41/538.74 c | 436911 | 40060 382709 1329329 | 2147483647 405880 30 | 3.358 % |
538.81/539.14 c | 437021 | 40060 382709 1329329 | 2147483647 405990 30 | 3.358 % |
539.21/539.57 c | 437143 | 40060 382709 1329329 | 2147483647 406112 30 | 3.358 % |
539.61/539.92 c | 437276 | 40060 382709 1329329 | 2147483647 406245 30 | 3.358 % |
540.11/540.41 c | 437424 | 40060 382709 1329329 | 2147483647 406393 30 | 3.358 % |
540.51/540.83 c | 437586 | 40060 382709 1329329 | 2147483647 406555 30 | 3.358 % |
541.11/541.48 c | 437762 | 40060 382709 1329329 | 2147483647 406731 30 | 3.358 % |
541.71/542.07 c | 437957 | 40060 382709 1329329 | 2147483647 406926 30 | 3.358 % |
542.31/542.66 c | 438169 | 40060 382709 1329329 | 2147483647 407138 30 | 3.358 % |
542.91/543.21 c | 438403 | 40060 382709 1329329 | 2147483647 407372 30 | 3.358 % |
543.80/544.12 c | 438659 | 40060 382709 1329329 | 2147483647 407628 30 | 3.358 % |
544.90/545.26 c | 438940 | 40060 382709 1329329 | 2147483647 407909 30 | 3.358 % |
545.80/546.19 c | 439250 | 40060 382709 1329329 | 2147483647 408219 30 | 3.358 % |
546.90/547.28 c | 439589 | 40060 382709 1329329 | 2147483647 408558 30 | 3.358 % |
548.30/548.60 c | 439961 | 40060 382709 1329329 | 2147483647 408930 30 | 3.358 % |
549.40/549.73 c | 440370 | 40060 382709 1329329 | 2147483647 409339 30 | 3.358 % |
550.90/551.23 c | 440820 | 40060 382709 1329329 | 2147483647 409789 30 | 3.358 % |
552.00/552.31 c | 441317 | 40060 382709 1329329 | 2147483647 410286 30 | 3.358 % |
553.60/553.95 c | 441859 | 40060 382709 1329329 | 2147483647 410828 30 | 3.358 % |
555.30/555.65 c | 442458 | 40060 382709 1329329 | 2147483647 411427 30 | 3.358 % |
557.30/557.68 c | 443115 | 40060 382709 1329329 | 2147483647 412084 30 | 3.358 % |
560.40/560.72 c | 443836 | 40060 382709 1329329 | 2147483647 412805 30 | 3.358 % |
562.90/563.29 c | 444630 | 40060 382709 1329329 | 2147483647 413599 30 | 3.358 % |
565.39/565.73 c | 445501 | 40060 382709 1329329 | 2147483647 414470 30 | 3.358 % |
568.70/569.03 c | 446459 | 40060 382709 1329329 | 2147483647 415428 30 | 3.358 % |
572.10/572.48 c | 447513 | 40060 382709 1329329 | 2147483647 416482 30 | 3.358 % |
577.20/577.54 c | 448674 | 40060 382709 1329329 | 2147483647 417643 30 | 3.358 % |
581.60/581.91 c | 449947 | 40057 381934 1327007 | 2147483647 189182 21 | 3.365 % |
582.80/583.16 c | 451347 | 40057 381934 1327007 | 2147483647 190582 21 | 3.365 % |
584.30/584.67 c | 452887 | 40057 381934 1327007 | 2147483647 192122 21 | 3.365 % |
585.90/586.21 c | 454581 | 40057 381934 1327007 | 2147483647 193816 21 | 3.365 % |
587.19/587.50 c | 456444 | 40057 381934 1327007 | 2147483647 195679 21 | 3.365 % |
589.99/590.32 c | 458495 | 40057 381934 1327007 | 2147483647 197730 21 | 3.365 % |
592.19/592.58 c | 460749 | 40057 381934 1327007 | 2147483647 199984 21 | 3.365 % |
594.39/594.72 c | 463227 | 40057 381934 1327007 | 2147483647 202462 21 | 3.365 % |
598.29/598.63 c | 465952 | 40057 381934 1327007 | 2147483647 205187 21 | 3.365 % |
603.09/603.43 c | 468949 | 40057 381934 1327007 | 2147483647 208184 21 | 3.365 % |
608.48/608.85 c | 472245 | 40057 381934 1327007 | 2147483647 211480 21 | 3.365 % |
613.88/614.25 c | 475871 | 40057 381934 1327007 | 2147483647 215106 21 | 3.365 % |
621.68/622.05 c | 479860 | 40057 381934 1327007 | 2147483647 219095 21 | 3.365 % |
627.38/627.78 c | 484245 | 40057 381934 1327007 | 2147483647 223480 22 | 3.365 % |
627.58/627.95 c | 484345 | 40057 381934 1327007 | 2147483647 223580 22 | 3.365 % |
627.78/628.13 c | 484457 | 40057 381934 1327007 | 2147483647 223692 22 | 3.365 % |
627.97/628.34 c | 484580 | 40057 381934 1327007 | 2147483647 223815 22 | 3.365 % |
628.47/628.81 c | 484713 | 39555 368814 1266662 | 2147483647 195008 22 | 4.576 % |
628.78/629.20 c | 484859 | 39555 368814 1266662 | 2147483647 195154 22 | 4.576 % |
629.17/629.50 c | 485019 | 39555 368814 1266662 | 2147483647 195314 22 | 4.576 % |
629.47/629.82 c | 485196 | 39555 368814 1266662 | 2147483647 195491 22 | 4.577 % |
629.88/630.22 c | 485390 | 39555 368814 1266662 | 2147483647 195685 22 | 4.576 % |
630.27/630.62 c | 485602 | 39555 368814 1266662 | 2147483647 195897 22 | 4.576 % |
630.68/631.06 c | 485836 | 39555 368814 1266662 | 2147483647 196131 22 | 4.576 % |
631.08/631.48 c | 486092 | 39555 368814 1266662 | 2147483647 196387 22 | 4.576 % |
631.67/632.00 c | 486373 | 39555 368814 1266662 | 2147483647 196668 22 | 4.577 % |
632.27/632.62 c | 486682 | 39555 368814 1266662 | 2147483647 196977 22 | 4.576 % |
632.77/633.14 c | 487021 | 39555 368814 1266662 | 2147483647 197316 22 | 4.576 % |
633.57/633.98 c | 487395 | 39555 368814 1266662 | 2147483647 197690 22 | 4.576 % |
634.07/634.45 c | 487804 | 39555 368814 1266662 | 2147483647 198099 22 | 4.576 % |
634.87/635.25 c | 488254 | 39555 368814 1266662 | 2147483647 198549 22 | 4.576 % |
635.67/636.07 c | 488747 | 39555 368814 1266662 | 2147483647 199042 22 | 4.576 % |
636.77/637.19 c | 489291 | 39555 368814 1266662 | 2147483647 199586 22 | 4.576 % |
637.47/637.86 c ===============================================================================
637.47/637.86 c restarts : 882
637.47/637.86 c conflicts : 489612 (804 /sec)
637.47/637.86 c decisions : 781001 (1.71 % random) (1282 /sec)
637.47/637.86 c propagations : 287753089 (472487 /sec)
637.47/637.86 c conflict literals : 14079747 (44.84 % deleted)
637.47/637.86 c Memory used : 87.69 MB
637.47/637.86 c CPU time : 609.017 s
637.47/637.86 c
637.47/637.86 s UNSATISFIABLE
637.47/637.87 s UNSATISFIABLE
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1837434-1242870430/watcher-1837434-1242870430 -o /tmp/evaluation-result-1837434-1242870430/solver-1837434-1242870430 -C 10000 -W 12000 -M 1800 SatELiteGTI HOME/instance-1837434-1242870430.cnf
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 10000 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 10030 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 12000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.01 1.01 0.98 3/64 18274
/proc/meminfo: memFree=1702184/2055920 swapFree=4179932/4192956
[pid=18274] ppid=18272 vsize=5356 CPUtime=0
/proc/18274/stat : 18274 (SatELiteGTI) S 18272 18274 18130 0 -1 4194304 276 0 0 0 0 0 0 0 18 0 1 0 315071789 5484544 235 1992294400 4194304 4889804 548682068816 18446744073709551615 213116485714 0 0 4100 65536 18446744071563648864 0 0 17 0 0 0
/proc/18274/statm: 1339 235 195 169 0 50 0
[pid=18275] ppid=18274 vsize=5356 CPUtime=0
/proc/18275/stat : 18275 (SatELiteGTI) S 18274 18274 18130 0 -1 4194368 51 25 0 0 0 0 0 0 18 0 1 0 315071789 5484544 238 1992294400 4194304 4889804 548682068816 18446744073709551615 213116314436 0 65536 4096 65538 18446744071563356171 0 0 17 0 0 0
/proc/18275/statm: 1339 238 198 169 0 50 0
[pid=18277] ppid=18275 vsize=192 CPUtime=0
/proc/18277/stat : 18277 (sed) R 18275 18274 18130 0 -1 4194304 42 0 0 0 0 0 0 0 18 0 1 0 315071789 196608 23 1992294400 4194304 4240196 548682069056 18446744073709551615 213113697557 0 0 4096 0 0 0 0 17 0 0 0
/proc/18277/statm: 48 23 16 11 0 11 0
[startup+0.0187919 s]
/proc/loadavg: 1.01 1.01 0.98 3/64 18274
/proc/meminfo: memFree=1702184/2055920 swapFree=4179932/4192956
[pid=18274] ppid=18272 vsize=5356 CPUtime=0
/proc/18274/stat : 18274 (SatELiteGTI) S 18272 18274 18130 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 315071789 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 213116314436 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/18274/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.101805 s]
/proc/loadavg: 1.01 1.01 0.98 3/64 18274
/proc/meminfo: memFree=1702184/2055920 swapFree=4179932/4192956
[pid=18274] ppid=18272 vsize=5356 CPUtime=0
/proc/18274/stat : 18274 (SatELiteGTI) S 18272 18274 18130 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 315071789 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 213116314436 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/18274/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.301842 s]
/proc/loadavg: 1.01 1.01 0.98 3/64 18274
/proc/meminfo: memFree=1702184/2055920 swapFree=4179932/4192956
[pid=18274] ppid=18272 vsize=5356 CPUtime=0
/proc/18274/stat : 18274 (SatELiteGTI) S 18272 18274 18130 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 315071789 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 213116314436 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/18274/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.701918 s]
/proc/loadavg: 1.01 1.01 0.98 3/64 18274
/proc/meminfo: memFree=1702184/2055920 swapFree=4179932/4192956
[pid=18274] ppid=18272 vsize=5356 CPUtime=0
/proc/18274/stat : 18274 (SatELiteGTI) S 18272 18274 18130 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 315071789 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 213116314436 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/18274/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+1.50107 s]
/proc/loadavg: 1.01 1.00 0.98 2/66 18279
/proc/meminfo: memFree=1591448/2055920 swapFree=4179932/4192956
[pid=18274] ppid=18272 vsize=5356 CPUtime=0
/proc/18274/stat : 18274 (SatELiteGTI) S 18272 18274 18130 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 315071789 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 213116314436 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/18274/statm: 1339 237 197 169 0 50 0
[pid=18279] ppid=18274 vsize=162628 CPUtime=1.49
/proc/18279/stat : 18279 (SatELite_releas) R 18274 18274 18130 0 -1 4194304 33833 0 0 0 130 19 0 0 25 0 1 0 315071790 166531072 33755 1992294400 134512640 135223648 4294956128 18446744073709551615 134548979 0 0 4096 3 0 0 0 17 1 0 0
/proc/18279/statm: 40657 33755 70 173 0 40482 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 167984
[startup+3.10138 s]
/proc/loadavg: 1.01 1.00 0.98 2/66 18279
/proc/meminfo: memFree=1566616/2055920 swapFree=4179932/4192956
[pid=18274] ppid=18272 vsize=5356 CPUtime=0
/proc/18274/stat : 18274 (SatELiteGTI) S 18272 18274 18130 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 315071789 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 213116314436 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/18274/statm: 1339 237 197 169 0 50 0
[pid=18279] ppid=18274 vsize=174904 CPUtime=3.08
/proc/18279/stat : 18279 (SatELite_releas) R 18274 18274 18130 0 -1 4194304 36703 0 0 0 288 20 0 0 25 0 1 0 315071790 179101696 36625 1992294400 134512640 135223648 4294956128 18446744073709551615 134548577 0 0 4096 3 0 0 0 17 0 0 0
/proc/18279/statm: 43726 36625 75 173 0 43551 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 180260
[startup+6.30297 s]
/proc/loadavg: 1.01 1.00 0.98 2/66 18279
/proc/meminfo: memFree=1555352/2055920 swapFree=4179932/4192956
[pid=18274] ppid=18272 vsize=5356 CPUtime=0
/proc/18274/stat : 18274 (SatELiteGTI) S 18272 18274 18130 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 315071789 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 213116314436 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/18274/statm: 1339 237 197 169 0 50 0
[pid=18279] ppid=18274 vsize=174904 CPUtime=6.28
/proc/18279/stat : 18279 (SatELite_releas) R 18274 18274 18130 0 -1 4194304 36714 0 0 0 608 20 0 0 25 0 1 0 315071790 179101696 36636 1992294400 134512640 135223648 4294956128 18446744073709551615 134548577 0 0 4096 3 0 0 0 17 1 0 0
/proc/18279/statm: 43726 36636 75 173 0 43551 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 180260
[startup+12.7012 s]
/proc/loadavg: 1.01 1.00 0.98 2/66 18279
/proc/meminfo: memFree=1555368/2055920 swapFree=4179932/4192956
[pid=18274] ppid=18272 vsize=5356 CPUtime=0
/proc/18274/stat : 18274 (SatELiteGTI) S 18272 18274 18130 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 315071789 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 213116314436 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/18274/statm: 1339 237 197 169 0 50 0
[pid=18279] ppid=18274 vsize=174632 CPUtime=12.67
/proc/18279/stat : 18279 (SatELite_releas) R 18274 18274 18130 0 -1 4194304 36765 0 0 0 1247 20 0 0 25 0 1 0 315071790 178823168 36619 1992294400 134512640 135223648 4294956128 18446744073709551615 134548567 0 0 4096 3 0 0 0 17 1 0 0
/proc/18279/statm: 43658 36619 75 173 0 43483 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 179988
[startup+25.5016 s]
/proc/loadavg: 1.00 1.00 0.98 2/66 18279
/proc/meminfo: memFree=1555944/2055920 swapFree=4179932/4192956
[pid=18274] ppid=18272 vsize=5356 CPUtime=0
/proc/18274/stat : 18274 (SatELiteGTI) S 18272 18274 18130 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 315071789 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 213116314436 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/18274/statm: 1339 237 197 169 0 50 0
[pid=18279] ppid=18274 vsize=174544 CPUtime=25.47
/proc/18279/stat : 18279 (SatELite_releas) R 18274 18274 18130 0 -1 4194304 39833 0 0 0 2523 24 0 0 25 0 1 0 315071790 178733056 36024 1992294400 134512640 135223648 4294956128 18446744073709551615 134737406 0 0 4096 3 0 0 0 17 1 0 0
/proc/18279/statm: 43636 36024 76 173 0 43461 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 179900
[startup+51.1014 s]
/proc/loadavg: 1.00 1.00 0.98 2/66 18280
/proc/meminfo: memFree=1648360/2055920 swapFree=4179932/4192956
[pid=18274] ppid=18272 vsize=5356 CPUtime=28.26
/proc/18274/stat : 18274 (SatELiteGTI) S 18272 18274 18130 0 -1 4194304 336 45955 0 0 0 0 2790 36 16 0 1 0 315071789 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 213116314436 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/18274/statm: 1339 239 197 169 0 50 0
[pid=18280] ppid=18274 vsize=32284 CPUtime=22.78
/proc/18280/stat : 18280 (minisat_static) R 18274 18274 18130 0 -1 4194304 7775 0 0 0 2271 7 0 0 25 0 1 0 315074618 33058816 7747 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/18280/statm: 8071 7747 77 171 0 7898 0
Current children cumulated CPU time (s) 51.04
Current children cumulated vsize (KiB) 37640
[startup+102.305 s]
/proc/loadavg: 1.00 1.00 0.98 2/66 18280
/proc/meminfo: memFree=1639592/2055920 swapFree=4179932/4192956
[pid=18274] ppid=18272 vsize=5356 CPUtime=28.26
/proc/18274/stat : 18274 (SatELiteGTI) S 18272 18274 18130 0 -1 4194304 336 45955 0 0 0 0 2790 36 16 0 1 0 315071789 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 213116314436 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/18274/statm: 1339 239 197 169 0 50 0
[pid=18280] ppid=18274 vsize=41240 CPUtime=73.93
/proc/18280/stat : 18280 (minisat_static) R 18274 18274 18130 0 -1 4194304 9938 0 0 0 7383 10 0 0 25 0 1 0 315074618 42229760 9910 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/18280/statm: 10310 9910 77 171 0 10137 0
Current children cumulated CPU time (s) 102.19
Current children cumulated vsize (KiB) 46596
[startup+162.301 s]
/proc/loadavg: 1.00 1.00 0.98 2/66 18280
/proc/meminfo: memFree=1629608/2055920 swapFree=4179932/4192956
[pid=18274] ppid=18272 vsize=5356 CPUtime=28.26
/proc/18274/stat : 18274 (SatELiteGTI) S 18272 18274 18130 0 -1 4194304 336 45955 0 0 0 0 2790 36 16 0 1 0 315071789 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 213116314436 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/18274/statm: 1339 239 197 169 0 50 0
[pid=18280] ppid=18274 vsize=51056 CPUtime=133.9
/proc/18280/stat : 18280 (minisat_static) R 18274 18274 18130 0 -1 4194304 12446 0 0 0 13376 14 0 0 25 0 1 0 315074618 52281344 12418 1992294400 134512640 135215339 4294956240 18446744073709551615 134528664 0 0 4096 3 0 0 0 17 1 0 0
/proc/18280/statm: 12764 12418 77 171 0 12591 0
Current children cumulated CPU time (s) 162.16
Current children cumulated vsize (KiB) 56412
[startup+222.302 s]
/proc/loadavg: 1.00 1.00 0.98 2/66 18280
/proc/meminfo: memFree=1621352/2055920 swapFree=4179932/4192956
[pid=18274] ppid=18272 vsize=5356 CPUtime=28.26
/proc/18274/stat : 18274 (SatELiteGTI) S 18272 18274 18130 0 -1 4194304 336 45955 0 0 0 0 2790 36 16 0 1 0 315071789 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 213116314436 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/18274/statm: 1339 239 197 169 0 50 0
[pid=18280] ppid=18274 vsize=59524 CPUtime=193.87
/proc/18280/stat : 18280 (minisat_static) R 18274 18274 18130 0 -1 4194304 14503 0 0 0 19370 17 0 0 25 0 1 0 315074618 60952576 14475 1992294400 134512640 135215339 4294956240 18446744073709551615 134528942 0 0 4096 3 0 0 0 17 1 0 0
/proc/18280/statm: 14881 14475 77 171 0 14708 0
Current children cumulated CPU time (s) 222.13
Current children cumulated vsize (KiB) 64880
[startup+282.301 s]
/proc/loadavg: 1.00 1.00 0.98 2/66 18280
/proc/meminfo: memFree=1613928/2055920 swapFree=4179932/4192956
[pid=18274] ppid=18272 vsize=5356 CPUtime=28.26
/proc/18274/stat : 18274 (SatELiteGTI) S 18272 18274 18130 0 -1 4194304 336 45955 0 0 0 0 2790 36 16 0 1 0 315071789 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 213116314436 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/18274/statm: 1339 239 197 169 0 50 0
[pid=18280] ppid=18274 vsize=66792 CPUtime=253.85
/proc/18280/stat : 18280 (minisat_static) R 18274 18274 18130 0 -1 4194304 16356 0 0 0 25365 20 0 0 25 0 1 0 315074618 68395008 16328 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 1 0 0
/proc/18280/statm: 16698 16328 77 171 0 16525 0
Current children cumulated CPU time (s) 282.11
Current children cumulated vsize (KiB) 72148
[startup+342.301 s]
/proc/loadavg: 1.00 1.00 0.98 2/66 18280
/proc/meminfo: memFree=1607592/2055920 swapFree=4179932/4192956
[pid=18274] ppid=18272 vsize=5356 CPUtime=28.26
/proc/18274/stat : 18274 (SatELiteGTI) S 18272 18274 18130 0 -1 4194304 336 45955 0 0 0 0 2790 36 16 0 1 0 315071789 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 213116314436 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/18274/statm: 1339 239 197 169 0 50 0
[pid=18280] ppid=18274 vsize=73616 CPUtime=313.82
/proc/18280/stat : 18280 (minisat_static) R 18274 18274 18130 0 -1 4194304 17916 0 0 0 31361 21 0 0 25 0 1 0 315074618 75382784 17888 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/18280/statm: 18404 17888 77 171 0 18231 0
Current children cumulated CPU time (s) 342.08
Current children cumulated vsize (KiB) 78972
[startup+402.303 s]
/proc/loadavg: 1.00 1.00 0.98 2/66 18280
/proc/meminfo: memFree=1602600/2055920 swapFree=4179932/4192956
[pid=18274] ppid=18272 vsize=5356 CPUtime=28.26
/proc/18274/stat : 18274 (SatELiteGTI) S 18272 18274 18130 0 -1 4194304 336 45955 0 0 0 0 2790 36 16 0 1 0 315071789 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 213116314436 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/18274/statm: 1339 239 197 169 0 50 0
[pid=18280] ppid=18274 vsize=78440 CPUtime=373.8
/proc/18280/stat : 18280 (minisat_static) R 18274 18274 18130 0 -1 4194304 19147 0 0 0 37357 23 0 0 25 0 1 0 315074618 80322560 19119 1992294400 134512640 135215339 4294956240 18446744073709551615 134528676 0 0 4096 3 0 0 0 17 1 0 0
/proc/18280/statm: 19610 19119 77 171 0 19437 0
Current children cumulated CPU time (s) 402.06
Current children cumulated vsize (KiB) 83796
[startup+462.301 s]
/proc/loadavg: 1.00 1.00 0.98 2/66 18280
/proc/meminfo: memFree=1597864/2055920 swapFree=4179932/4192956
[pid=18274] ppid=18272 vsize=5356 CPUtime=28.26
/proc/18274/stat : 18274 (SatELiteGTI) S 18272 18274 18130 0 -1 4194304 336 45955 0 0 0 0 2790 36 16 0 1 0 315071789 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 213116314436 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/18274/statm: 1339 239 197 169 0 50 0
[pid=18280] ppid=18274 vsize=83004 CPUtime=433.78
/proc/18280/stat : 18280 (minisat_static) R 18274 18274 18130 0 -1 4194304 20308 0 0 0 43354 24 0 0 25 0 1 0 315074618 84996096 20280 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/18280/statm: 20751 20280 77 171 0 20578 0
Current children cumulated CPU time (s) 462.04
Current children cumulated vsize (KiB) 88360
[startup+522.301 s]
/proc/loadavg: 1.00 1.00 0.98 2/66 18280
/proc/meminfo: memFree=1593896/2055920 swapFree=4179932/4192956
[pid=18274] ppid=18272 vsize=5356 CPUtime=28.26
/proc/18274/stat : 18274 (SatELiteGTI) S 18272 18274 18130 0 -1 4194304 336 45955 0 0 0 0 2790 36 16 0 1 0 315071789 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 213116314436 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/18274/statm: 1339 239 197 169 0 50 0
[pid=18280] ppid=18274 vsize=86904 CPUtime=493.76
/proc/18280/stat : 18280 (minisat_static) R 18274 18274 18130 0 -1 4194304 21295 0 0 0 49351 25 0 0 25 0 1 0 315074618 88989696 21267 1992294400 134512640 135215339 4294956240 18446744073709551615 134529096 0 0 4096 3 0 0 0 17 1 0 0
/proc/18280/statm: 21726 21267 77 171 0 21553 0
Current children cumulated CPU time (s) 522.02
Current children cumulated vsize (KiB) 92260
[startup+582.302 s]
/proc/loadavg: 1.00 1.00 0.98 2/66 18280
/proc/meminfo: memFree=1590824/2055920 swapFree=4179932/4192956
[pid=18274] ppid=18272 vsize=5356 CPUtime=28.26
/proc/18274/stat : 18274 (SatELiteGTI) S 18272 18274 18130 0 -1 4194304 336 45955 0 0 0 0 2790 36 16 0 1 0 315071789 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 213116314436 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/18274/statm: 1339 239 197 169 0 50 0
[pid=18280] ppid=18274 vsize=89792 CPUtime=553.74
/proc/18280/stat : 18280 (minisat_static) R 18274 18274 18130 0 -1 4194304 22025 0 0 0 55348 26 0 0 25 0 1 0 315074618 91947008 21997 1992294400 134512640 135215339 4294956240 18446744073709551615 134528809 0 0 4096 3 0 0 0 17 1 0 0
/proc/18280/statm: 22448 21997 77 171 0 22275 0
Current children cumulated CPU time (s) 582
Current children cumulated vsize (KiB) 95148
Solver just ended. Dumping a history of the last processes samples
[startup+588.702 s]
/proc/loadavg: 1.00 1.00 0.98 2/66 18280
/proc/meminfo: memFree=1590824/2055920 swapFree=4179932/4192956
[pid=18274] ppid=18272 vsize=5356 CPUtime=28.26
/proc/18274/stat : 18274 (SatELiteGTI) S 18272 18274 18130 0 -1 4194304 336 45955 0 0 0 0 2790 36 16 0 1 0 315071789 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 213116314436 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/18274/statm: 1339 239 197 169 0 50 0
[pid=18280] ppid=18274 vsize=89792 CPUtime=560.13
/proc/18280/stat : 18280 (minisat_static) R 18274 18274 18130 0 -1 4194304 22025 0 0 0 55987 26 0 0 25 0 1 0 315074618 91947008 21997 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/18280/statm: 22448 21997 77 171 0 22275 0
Current children cumulated CPU time (s) 588.39
Current children cumulated vsize (KiB) 95148
[startup+614.302 s]
/proc/loadavg: 1.00 1.00 0.98 2/66 18280
/proc/meminfo: memFree=1590760/2055920 swapFree=4179932/4192956
[pid=18274] ppid=18272 vsize=5356 CPUtime=28.26
/proc/18274/stat : 18274 (SatELiteGTI) S 18272 18274 18130 0 -1 4194304 336 45955 0 0 0 0 2790 36 16 0 1 0 315071789 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 213116314436 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/18274/statm: 1339 239 197 169 0 50 0
[pid=18280] ppid=18274 vsize=89792 CPUtime=585.72
/proc/18280/stat : 18280 (minisat_static) R 18274 18274 18130 0 -1 4194304 22025 0 0 0 58546 26 0 0 25 0 1 0 315074618 91947008 21997 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/18280/statm: 22448 21997 77 171 0 22275 0
Current children cumulated CPU time (s) 613.98
Current children cumulated vsize (KiB) 95148
[startup+627.101 s]
/proc/loadavg: 1.00 1.00 0.98 2/66 18280
/proc/meminfo: memFree=1590760/2055920 swapFree=4179932/4192956
[pid=18274] ppid=18272 vsize=5356 CPUtime=28.26
/proc/18274/stat : 18274 (SatELiteGTI) S 18272 18274 18130 0 -1 4194304 336 45955 0 0 0 0 2790 36 16 0 1 0 315071789 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 213116314436 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/18274/statm: 1339 239 197 169 0 50 0
[pid=18280] ppid=18274 vsize=89792 CPUtime=598.52
/proc/18280/stat : 18280 (minisat_static) R 18274 18274 18130 0 -1 4194304 22025 0 0 0 59826 26 0 0 25 0 1 0 315074618 91947008 21997 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/18280/statm: 22448 21997 77 171 0 22275 0
Current children cumulated CPU time (s) 626.78
Current children cumulated vsize (KiB) 95148
[startup+633.501 s]
/proc/loadavg: 1.00 1.00 0.98 2/66 18280
/proc/meminfo: memFree=1590760/2055920 swapFree=4179932/4192956
[pid=18274] ppid=18272 vsize=5356 CPUtime=28.26
/proc/18274/stat : 18274 (SatELiteGTI) S 18272 18274 18130 0 -1 4194304 336 45955 0 0 0 0 2790 36 16 0 1 0 315071789 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 213116314436 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/18274/statm: 1339 239 197 169 0 50 0
[pid=18280] ppid=18274 vsize=89792 CPUtime=604.92
/proc/18280/stat : 18280 (minisat_static) R 18274 18274 18130 0 -1 4194304 22025 0 0 0 60466 26 0 0 25 0 1 0 315074618 91947008 21997 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/18280/statm: 22448 21997 77 171 0 22275 0
Current children cumulated CPU time (s) 633.18
Current children cumulated vsize (KiB) 95148
[startup+635.102 s]
/proc/loadavg: 1.00 1.00 0.98 2/66 18280
/proc/meminfo: memFree=1590760/2055920 swapFree=4179932/4192956
[pid=18274] ppid=18272 vsize=5356 CPUtime=28.26
/proc/18274/stat : 18274 (SatELiteGTI) S 18272 18274 18130 0 -1 4194304 336 45955 0 0 0 0 2790 36 16 0 1 0 315071789 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 213116314436 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/18274/statm: 1339 239 197 169 0 50 0
[pid=18280] ppid=18274 vsize=89792 CPUtime=606.51
/proc/18280/stat : 18280 (minisat_static) R 18274 18274 18130 0 -1 4194304 22025 0 0 0 60625 26 0 0 25 0 1 0 315074618 91947008 21997 1992294400 134512640 135215339 4294956240 18446744073709551615 134528742 0 0 4096 3 0 0 0 17 1 0 0
/proc/18280/statm: 22448 21997 77 171 0 22275 0
Current children cumulated CPU time (s) 634.77
Current children cumulated vsize (KiB) 95148
[startup+636.701 s]
/proc/loadavg: 1.00 1.00 0.98 2/66 18280
/proc/meminfo: memFree=1590760/2055920 swapFree=4179932/4192956
[pid=18274] ppid=18272 vsize=5356 CPUtime=28.26
/proc/18274/stat : 18274 (SatELiteGTI) S 18272 18274 18130 0 -1 4194304 336 45955 0 0 0 0 2790 36 16 0 1 0 315071789 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 213116314436 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/18274/statm: 1339 239 197 169 0 50 0
[pid=18280] ppid=18274 vsize=89792 CPUtime=608.11
/proc/18280/stat : 18280 (minisat_static) R 18274 18274 18130 0 -1 4194304 22025 0 0 0 60785 26 0 0 25 0 1 0 315074618 91947008 21997 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 1 0 0
/proc/18280/statm: 22448 21997 77 171 0 22275 0
Current children cumulated CPU time (s) 636.37
Current children cumulated vsize (KiB) 95148
[startup+637.501 s]
/proc/loadavg: 1.00 1.00 0.98 2/66 18280
/proc/meminfo: memFree=1590760/2055920 swapFree=4179932/4192956
[pid=18274] ppid=18272 vsize=5356 CPUtime=28.26
/proc/18274/stat : 18274 (SatELiteGTI) S 18272 18274 18130 0 -1 4194304 336 45955 0 0 0 0 2790 36 16 0 1 0 315071789 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 213116314436 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/18274/statm: 1339 239 197 169 0 50 0
[pid=18280] ppid=18274 vsize=89792 CPUtime=608.91
/proc/18280/stat : 18280 (minisat_static) R 18274 18274 18130 0 -1 4194304 22025 0 0 0 60865 26 0 0 25 0 1 0 315074618 91947008 21997 1992294400 134512640 135215339 4294956240 18446744073709551615 134528779 0 0 4096 3 0 0 0 17 1 0 0
/proc/18280/statm: 22448 21997 77 171 0 22275 0
Current children cumulated CPU time (s) 637.17
Current children cumulated vsize (KiB) 95148
[startup+637.701 s]
/proc/loadavg: 1.00 1.00 0.98 2/66 18280
/proc/meminfo: memFree=1590760/2055920 swapFree=4179932/4192956
[pid=18274] ppid=18272 vsize=5356 CPUtime=28.26
/proc/18274/stat : 18274 (SatELiteGTI) S 18272 18274 18130 0 -1 4194304 336 45955 0 0 0 0 2790 36 16 0 1 0 315071789 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 213116314436 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/18274/statm: 1339 239 197 169 0 50 0
[pid=18280] ppid=18274 vsize=89792 CPUtime=609.11
/proc/18280/stat : 18280 (minisat_static) R 18274 18274 18130 0 -1 4194304 22025 0 0 0 60885 26 0 0 25 0 1 0 315074618 91947008 21997 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/18280/statm: 22448 21997 77 171 0 22275 0
Current children cumulated CPU time (s) 637.37
Current children cumulated vsize (KiB) 95148
[startup+637.801 s]
/proc/loadavg: 1.00 1.00 0.98 2/66 18280
/proc/meminfo: memFree=1590760/2055920 swapFree=4179932/4192956
[pid=18274] ppid=18272 vsize=5356 CPUtime=28.26
/proc/18274/stat : 18274 (SatELiteGTI) S 18272 18274 18130 0 -1 4194304 336 45955 0 0 0 0 2790 36 16 0 1 0 315071789 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 213116314436 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/18274/statm: 1339 239 197 169 0 50 0
[pid=18280] ppid=18274 vsize=89792 CPUtime=609.21
/proc/18280/stat : 18280 (minisat_static) R 18274 18274 18130 0 -1 4194304 22025 0 0 0 60895 26 0 0 25 0 1 0 315074618 91947008 21997 1992294400 134512640 135215339 4294956240 18446744073709551615 134528742 0 0 4096 3 0 0 0 17 1 0 0
/proc/18280/statm: 22448 21997 77 171 0 22275 0
Current children cumulated CPU time (s) 637.47
Current children cumulated vsize (KiB) 95148
Child status: 20
Real time (s): 637.897
CPU time (s): 637.581
CPU user time (s): 636.92
CPU system time (s): 0.660899
CPU usage (%): 99.9505
Max. virtual memory (cumulated for all children) (KiB): 193444
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 636.92
system time used= 0.660899
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 68477
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 47
involuntary context switches= 2051
runsolver used 0.739887 second user time and 1.66375 second system time
The end
Begin job on node37 at 2009-05-21 03:47:12
IDJOB=1837434
IDBENCH=70962
IDSOLVER=674
FILE ID=node37/1837434-1242870430
PBS_JOBID= 9328568
Free space on /tmp= 66308 MiB
SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT09/APPLICATIONS/bioinfo/q_query_3_L90_coli.sat.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1837434-1242870430/watcher-1837434-1242870430 -o /tmp/evaluation-result-1837434-1242870430/solver-1837434-1242870430 -C 10000 -W 12000 -M 1800 SatELiteGTI HOME/instance-1837434-1242870430.cnf
TIME LIMIT= 10000 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= a9e7651569c1b43a1021c78982fb4e6b
RANDOM SEED=486922143
node37.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.259
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5914.62
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.259
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5586.94
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1702600 kB
Buffers: 43192 kB
Cached: 267956 kB
SwapCached: 7364 kB
Active: 98352 kB
Inactive: 221836 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1702600 kB
SwapTotal: 4192956 kB
SwapFree: 4179932 kB
Dirty: 28116 kB
Writeback: 0 kB
Mapped: 13964 kB
Slab: 19180 kB
Committed_AS: 1143636 kB
PageTables: 1376 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264952 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 66308 MiB
End job on node37 at 2009-05-21 03:57:50