0.00/0.00 c Parsing...
0.00/0.12 c ==============================================================================
0.00/0.12 c | | ORIGINAL | LEARNT | |
0.00/0.12 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress |
0.00/0.12 c ==============================================================================
0.00/0.12 c | 0 | 135474 356036 | 40642 0 0 nan | 0.000 % |
1.09/1.19 c | 0 | 114078 411814 | -- 0 -- -- | -- | -21277/56123
1.09/1.19 c ==============================================================================
1.09/1.19 c Result : #vars: 18800 #clauses: 114078 #literals: 411814
1.09/1.19 c CPU time: 1.15482 s
1.09/1.19 c ==============================================================================
1.29/1.34 c This is MiniSat 2.0 beta
1.29/1.34 c WARNING: for repeatability, setting FPU to use double precision
1.29/1.34 c ============================[ Problem Statistics ]=============================
1.29/1.34 c | |
1.29/1.34 c | Number of variables: 18800 |
1.29/1.34 c | Number of clauses: 114078 |
1.33/1.41 c | Parsing time: 0.07 s |
1.33/1.42 c ============================[ Search Statistics ]==============================
1.33/1.42 c | Conflicts | ORIGINAL | LEARNT | Progress |
1.33/1.42 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
1.33/1.42 c ===============================================================================
1.33/1.42 c | 0 | 18800 114078 411814 | 38026 0 nan | 0.000 % |
1.33/1.45 c | 100 | 18787 114078 411814 | 38026 98 18 | 0.532 % |
1.33/1.48 c | 201 | 18787 114078 411814 | 38026 199 29 | 0.532 % |
1.33/1.49 c | 304 | 18787 114078 411814 | 38026 302 39 | 0.532 % |
1.33/1.52 c | 414 | 18787 114078 411814 | 38026 412 38 | 0.532 % |
1.33/1.55 c | 514 | 18787 114078 411814 | 38026 512 36 | 0.532 % |
1.33/1.56 c | 625 | 18787 114078 411814 | 38026 623 37 | 0.532 % |
1.33/1.59 c | 748 | 18787 114078 411814 | 38026 746 36 | 0.532 % |
1.33/1.62 c | 848 | 18700 113242 409528 | 38026 846 35 | 0.532 % |
1.33/1.65 c | 960 | 18700 113242 409528 | 38026 958 35 | 0.532 % |
1.33/1.68 c | 1081 | 18700 113242 409528 | 38026 1079 35 | 0.532 % |
1.33/1.70 c | 1215 | 18700 113242 409528 | 38026 1213 35 | 0.532 % |
1.33/1.72 c | 1315 | 18700 113242 409528 | 38026 1313 34 | 0.532 % |
1.33/1.76 c | 1427 | 18700 113242 409528 | 38026 1425 35 | 0.532 % |
1.33/1.79 c | 1550 | 18700 113242 409528 | 38026 1548 34 | 0.532 % |
1.33/1.80 c | 1684 | 18700 113242 409528 | 38026 1682 34 | 0.532 % |
1.33/1.84 c | 1832 | 18689 113136 409201 | 38026 1829 34 | 0.590 % |
1.33/1.87 c | 1932 | 18689 113136 409201 | 38026 1929 35 | 0.590 % |
1.33/1.91 c | 2043 | 18689 113136 409201 | 38026 2040 36 | 0.590 % |
1.33/1.92 c | 2165 | 18686 113136 409201 | 38026 2161 34 | 0.649 % |
1.33/1.96 c | 2298 | 18686 113136 409201 | 38026 2294 35 | 0.649 % |
1.33/1.98 c | 2444 | 18686 113136 409201 | 38026 2440 35 | 0.649 % |
1.33/2.03 c | 2607 | 18686 113136 409201 | 38026 2603 36 | 0.649 % |
1.33/2.05 c | 2707 | 18678 113029 408850 | 38026 2703 36 | 0.649 % |
1.33/2.09 c | 2819 | 18678 113029 408850 | 38026 2815 35 | 0.649 % |
2.08/2.12 c | 2940 | 18678 113029 408850 | 38026 2936 36 | 0.649 % |
2.08/2.18 c | 3073 | 18678 113029 408850 | 38026 3069 37 | 0.649 % |
2.18/2.24 c | 3219 | 18678 113029 408850 | 38026 3215 38 | 0.649 % |
2.18/2.27 c | 3379 | 18678 113029 408850 | 38026 3375 38 | 0.649 % |
2.27/2.32 c | 3555 | 18678 113029 408850 | 38026 3551 38 | 0.649 % |
2.27/2.36 c | 3658 | 18678 113029 408850 | 38026 3654 38 | 0.649 % |
2.37/2.45 c | 3768 | 18678 113029 408850 | 38026 3764 38 | 0.649 % |
2.37/2.49 c | 3889 | 18678 113029 408850 | 38026 3885 37 | 0.649 % |
2.47/2.52 c | 4023 | 18678 113029 408850 | 38026 4019 37 | 0.649 % |
2.47/2.57 c | 4169 | 18678 113029 408850 | 38026 4165 38 | 0.649 % |
2.57/2.63 c | 4330 | 18678 113029 408850 | 38026 4326 37 | 0.649 % |
2.57/2.69 c | 4506 | 18678 113029 408850 | 38026 4502 37 | 0.649 % |
2.67/2.73 c | 4699 | 18678 113029 408850 | 38026 4695 38 | 0.649 % |
2.67/2.77 c | 4799 | 18678 113029 408850 | 38026 4795 39 | 0.649 % |
2.67/2.79 c | 4909 | 18678 113029 408850 | 38026 4905 39 | 0.649 % |
2.77/2.81 c | 5030 | 18678 113029 408850 | 38026 5026 38 | 0.649 % |
2.77/2.86 c | 5164 | 18678 113029 408850 | 38026 5160 39 | 0.649 % |
2.87/2.93 c | 5310 | 18669 112979 408704 | 38026 5305 39 | 0.697 % |
2.97/3.01 c | 5470 | 18669 112979 408704 | 38026 5465 39 | 0.697 % |
3.07/3.10 c | 5647 | 18669 112979 408704 | 38026 5642 41 | 0.697 % |
3.07/3.14 c | 5841 | 18669 112979 408704 | 38026 5836 42 | 0.697 % |
3.07/3.20 c | 6057 | 18669 112979 408704 | 38026 6052 42 | 0.697 % |
3.17/3.24 c | 6157 | 18669 112979 408704 | 38026 6152 42 | 0.697 % |
3.17/3.25 c | 6267 | 18669 112979 408704 | 38026 6262 41 | 0.697 % |
3.27/3.30 c | 6388 | 18669 112979 408704 | 38026 6383 41 | 0.697 % |
3.27/3.36 c | 6521 | 18669 112979 408704 | 38026 6516 41 | 0.697 % |
3.37/3.42 c | 6669 | 18669 112979 408704 | 38026 6664 41 | 0.697 % |
3.37/3.45 c | 6830 | 18669 112979 408704 | 38026 6825 41 | 0.697 % |
3.37/3.48 c | 7007 | 18669 112979 408704 | 38026 7002 41 | 0.697 % |
3.48/3.51 c | 7202 | 18669 112979 408704 | 38026 7197 40 | 0.697 % |
3.48/3.54 c | 7414 | 18669 112979 408704 | 38026 7409 40 | 0.697 % |
3.58/3.63 c | 7649 | 18669 112979 408704 | 38026 7644 40 | 0.697 % |
3.58/3.65 c | 7749 | 18669 112979 408704 | 38026 7744 40 | 0.697 % |
3.58/3.69 c | 7859 | 18669 112979 408704 | 38026 7854 40 | 0.697 % |
3.68/3.74 c | 7980 | 18669 112979 408704 | 38026 7975 40 | 0.697 % |
3.78/3.80 c | 8114 | 18669 112979 408704 | 38026 8109 40 | 0.697 % |
3.78/3.82 c | 8261 | 18669 112979 408704 | 38026 8256 40 | 0.697 % |
3.78/3.87 c | 8422 | 18669 112979 408704 | 38026 8417 40 | 0.697 % |
3.88/3.92 c | 8598 | 18669 112979 408704 | 38026 8593 41 | 0.697 % |
3.88/3.99 c | 8793 | 18669 112979 408704 | 38026 8788 40 | 0.697 % |
3.98/4.06 c | 9006 | 18669 112979 408704 | 38026 9001 40 | 0.697 % |
3.98/4.09 c | 9239 | 18669 112979 408704 | 38026 9234 40 | 0.697 % |
4.17/4.25 c | 9495 | 18669 112979 408704 | 38026 9490 40 | 0.697 % |
4.17/4.29 c | 9595 | 18669 112979 408704 | 38026 9590 40 | 0.697 % |
4.28/4.33 c | 9708 | 18669 112979 408704 | 38026 9703 40 | 0.697 % |
4.28/4.37 c | 9829 | 18669 112979 408704 | 38026 9824 40 | 0.697 % |
4.38/4.41 c | 9965 | 18669 112979 408704 | 38026 9960 40 | 0.697 % |
4.38/4.47 c | 10112 | 18669 112979 408704 | 2147483647 10107 40 | 0.697 % |
4.47/4.54 c | 10274 | 18669 112979 408704 | 2147483647 10269 40 | 0.697 % |
4.57/4.62 c | 10450 | 18669 112979 408704 | 2147483647 10445 39 | 0.697 % |
4.67/4.70 c | 10643 | 18669 112979 408704 | 2147483647 10638 39 | 0.697 % |
4.77/4.80 c | 10857 | 18669 112979 408704 | 2147483647 10852 39 | 0.697 % |
4.77/4.85 c | 11090 | 18669 112979 408704 | 2147483647 11085 40 | 0.697 % |
4.87/4.97 c | 11346 | 18669 112979 408704 | 2147483647 11341 40 | 0.697 % |
5.07/5.11 c | 11627 | 18574 112387 407267 | 2147483647 11621 41 | 1.202 % |
5.07/5.15 c | 11727 | 18574 112387 407267 | 2147483647 11721 41 | 1.202 % |
5.07/5.19 c | 11838 | 18574 112387 407267 | 2147483647 11832 43 | 1.202 % |
5.17/5.24 c | 11959 | 18574 112387 407267 | 2147483647 11953 43 | 1.202 % |
5.17/5.28 c | 12093 | 18574 112387 407267 | 2147483647 12087 43 | 1.202 % |
5.27/5.32 c | 12239 | 18574 112387 407267 | 2147483647 12233 43 | 1.202 % |
5.37/5.42 c | 12399 | 18574 112387 407267 | 2147483647 12393 42 | 1.203 % |
5.37/5.49 c | 12577 | 18574 112387 407267 | 2147483647 12571 42 | 1.202 % |
5.47/5.57 c | 12771 | 18574 112387 407267 | 2147483647 12765 43 | 1.203 % |
5.67/5.72 c | 12983 | 18574 112387 407267 | 2147483647 12977 43 | 1.202 % |
5.77/5.81 c | 13217 | 18574 112387 407267 | 2147483647 13211 43 | 1.202 % |
5.77/5.88 c | 13474 | 18574 112387 407267 | 2147483647 13468 43 | 1.202 % |
5.87/5.97 c | 13755 | 18574 112387 407267 | 2147483647 13749 43 | 1.203 % |
5.97/6.10 c | 14065 | 18574 112387 407267 | 2147483647 14059 43 | 1.202 % |
6.07/6.12 c | 14165 | 18574 112387 407267 | 2147483647 14159 44 | 1.202 % |
6.07/6.18 c | 14276 | 18574 112387 407267 | 2147483647 14270 44 | 1.202 % |
6.17/6.25 c | 14397 | 18574 112387 407267 | 2147483647 14391 44 | 1.202 % |
6.17/6.29 c | 14530 | 18574 112387 407267 | 2147483647 14524 44 | 1.202 % |
6.27/6.36 c | 14677 | 18555 112256 406921 | 2147483647 14670 44 | 1.303 % |
6.37/6.47 c | 14837 | 18555 112256 406921 | 2147483647 14830 44 | 1.303 % |
6.47/6.54 c | 15016 | 18555 112256 406921 | 2147483647 15009 44 | 1.303 % |
6.57/6.64 c | 15213 | 18555 112256 406921 | 2147483647 15206 44 | 1.303 % |
6.66/6.76 c | 15425 | 18555 112256 406921 | 2147483647 15418 44 | 1.303 % |
6.76/6.86 c | 15659 | 18555 112256 406921 | 2147483647 15652 44 | 1.303 % |
6.96/7.01 c | 15916 | 18536 112125 406575 | 2147483647 15908 44 | 1.404 % |
7.06/7.17 c | 16197 | 18536 112125 406575 | 2147483647 16189 45 | 1.404 % |
7.16/7.27 c | 16506 | 18536 112125 406575 | 2147483647 16498 45 | 1.404 % |
7.26/7.36 c | 16846 | 18536 112125 406575 | 2147483647 16838 46 | 1.405 % |
7.36/7.43 c | 16946 | 18536 112125 406575 | 2147483647 16938 46 | 1.404 % |
7.36/7.46 c | 17058 | 18536 112125 406575 | 2147483647 17050 46 | 1.405 % |
7.46/7.52 c | 17180 | 18536 112125 406575 | 2147483647 17172 46 | 1.404 % |
7.46/7.58 c | 17316 | 18536 112125 406575 | 2147483647 17308 46 | 1.404 % |
7.57/7.63 c | 17463 | 18536 112125 406575 | 2147483647 17455 46 | 1.404 % |
7.57/7.69 c | 17623 | 18536 112125 406575 | 2147483647 17615 46 | 1.404 % |
7.76/7.80 c | 17800 | 18536 112125 406575 | 2147483647 17792 46 | 1.404 % |
7.76/7.89 c | 17994 | 18536 112125 406575 | 2147483647 17986 46 | 1.404 % |
7.86/7.95 c | 18209 | 18536 112125 406575 | 2147483647 18201 46 | 1.404 % |
7.96/8.03 c | 18442 | 18536 112125 406575 | 2147483647 18434 46 | 1.404 % |
8.06/8.14 c | 18699 | 18536 112125 406575 | 2147483647 18691 46 | 1.404 % |
8.16/8.26 c | 18980 | 18536 112125 406575 | 2147483647 18972 46 | 1.404 % |
8.36/8.44 c | 19290 | 18536 112125 406575 | 2147483647 19282 47 | 1.404 % |
8.46/8.59 c | 19629 | 18536 112125 406575 | 2147483647 19621 47 | 1.404 % |
8.66/8.72 c | 20001 | 18536 112125 406575 | 2147483647 19993 46 | 1.405 % |
8.66/8.76 c | 20101 | 18536 112125 406575 | 2147483647 20093 46 | 1.404 % |
8.76/8.81 c | 20212 | 18536 112125 406575 | 2147483647 20204 46 | 1.405 % |
8.76/8.88 c | 20334 | 18536 112125 406575 | 2147483647 20326 46 | 1.405 % |
8.86/8.93 c | 20468 | 18536 112125 406575 | 2147483647 20460 46 | 1.404 % |
8.86/8.98 c | 20614 | 18536 112125 406575 | 2147483647 20606 46 | 1.404 % |
8.96/9.03 c | 20775 | 18536 112125 406575 | 2147483647 20767 46 | 1.404 % |
8.96/9.08 c | 20951 | 18536 112125 406575 | 2147483647 20943 46 | 1.404 % |
9.06/9.18 c | 21144 | 18536 112125 406575 | 2147483647 21136 46 | 1.404 % |
9.16/9.25 c | 21357 | 18536 112125 406575 | 2147483647 21349 46 | 1.404 % |
9.36/9.40 c | 21595 | 18536 112125 406575 | 2147483647 21587 46 | 1.404 % |
9.46/9.52 c | 21851 | 18536 112125 406575 | 2147483647 21843 46 | 1.404 % |
9.56/9.67 c | 22132 | 18536 112125 406575 | 2147483647 22124 46 | 1.404 % |
9.66/9.78 c | 22442 | 18536 112125 406575 | 2147483647 22434 46 | 1.404 % |
9.76/9.84 c | 22782 | 18536 112125 406575 | 2147483647 22774 46 | 1.404 % |
9.96/10.01 c | 23154 | 18536 112125 406575 | 2147483647 23146 46 | 1.404 % |
10.16/10.20 c | 23563 | 18536 112125 406575 | 2147483647 23555 46 | 1.404 % |
10.16/10.26 c | 23666 | 18536 112125 406575 | 2147483647 23658 46 | 1.404 % |
10.26/10.31 c | 23776 | 18536 112125 406575 | 2147483647 23768 46 | 1.404 % |
10.26/10.37 c | 23898 | 18536 112125 406575 | 2147483647 23890 46 | 1.404 % |
10.36/10.45 c | 24032 | 18536 112125 406575 | 2147483647 24024 46 | 1.405 % |
10.45/10.54 c | 24178 | 18536 112125 406575 | 2147483647 24170 46 | 1.404 % |
10.45/10.58 c | 24338 | 18536 112125 406575 | 2147483647 24330 45 | 1.404 % |
10.55/10.65 c | 24514 | 18536 112125 406575 | 2147483647 24506 45 | 1.404 % |
10.65/10.74 c | 24707 | 18536 112125 406575 | 2147483647 24699 45 | 1.404 % |
10.75/10.85 c | 24920 | 18536 112125 406575 | 2147483647 24912 45 | 1.404 % |
10.86/10.96 c | 25153 | 18536 112125 406575 | 2147483647 25145 45 | 1.405 % |
10.96/11.09 c | 25409 | 18536 112125 406575 | 2147483647 25401 45 | 1.404 % |
11.16/11.28 c | 25691 | 18536 112125 406575 | 2147483647 25683 45 | 1.404 % |
11.26/11.39 c | 26001 | 18536 112125 406575 | 2147483647 25993 45 | 1.404 % |
11.46/11.54 c | 26341 | 18536 112125 406575 | 2147483647 26333 45 | 1.404 % |
11.56/11.62 c | 26713 | 18536 112125 406575 | 2147483647 26705 45 | 1.404 % |
11.76/11.82 c | 27123 | 18536 112125 406575 | 2147483647 27115 45 | 1.404 % |
11.96/12.06 c | 27572 | 18536 112125 406575 | 2147483647 27564 45 | 1.404 % |
12.06/12.13 c | 27673 | 18536 112125 406575 | 2147483647 27665 45 | 1.404 % |
12.06/12.16 c | 27783 | 18536 112125 406575 | 2147483647 27775 45 | 1.404 % |
12.06/12.18 c | 27904 | 18536 112125 406575 | 2147483647 27896 45 | 1.404 % |
12.16/12.22 c | 28037 | 18536 112125 406575 | 2147483647 28029 45 | 1.404 % |
12.26/12.30 c | 28184 | 18536 112125 406575 | 2147483647 28176 45 | 1.404 % |
12.26/12.34 c | 28344 | 18536 112125 406575 | 2147483647 28336 45 | 1.404 % |
12.36/12.41 c | 28521 | 18536 112125 406575 | 2147483647 28513 45 | 1.404 % |
12.36/12.49 c | 28714 | 18536 112125 406575 | 2147483647 28706 45 | 1.404 % |
12.56/12.62 c | 28926 | 18536 112125 406575 | 2147483647 28918 45 | 1.404 % |
12.66/12.71 c | 29159 | 18536 112125 406575 | 2147483647 29151 45 | 1.404 % |
12.76/12.88 c | 29417 | 18536 112125 406575 | 2147483647 29409 45 | 1.404 % |
12.96/13.03 c | 29701 | 18536 112125 406575 | 2147483647 29693 45 | 1.404 % |
13.16/13.21 c | 30010 | 18536 112125 406575 | 2147483647 30002 45 | 1.404 % |
13.26/13.36 c | 30352 | 18536 112125 406575 | 2147483647 30344 45 | 1.404 % |
13.36/13.46 c | 30725 | 18536 112125 406575 | 2147483647 30717 45 | 1.404 % |
13.46/13.56 c | 31134 | 18536 112125 406575 | 2147483647 31126 45 | 1.404 % |
13.56/13.67 c | 31584 | 18536 112125 406575 | 2147483647 31576 45 | 1.404 % |
13.86/13.90 c | 32080 | 18536 112125 406575 | 2147483647 32072 45 | 1.404 % |
13.86/13.95 c | 32180 | 18536 112125 406575 | 2147483647 32172 45 | 1.404 % |
13.95/14.01 c | 32290 | 18536 112125 406575 | 2147483647 32282 45 | 1.404 % |
13.95/14.07 c | 32411 | 18536 112125 406575 | 2147483647 32403 45 | 1.404 % |
14.05/14.12 c | 32545 | 18536 112125 406575 | 2147483647 32537 45 | 1.404 % |
14.05/14.17 c | 32691 | 18536 112125 406575 | 2147483647 32683 45 | 1.404 % |
14.16/14.24 c | 32851 | 18536 112125 406575 | 2147483647 32843 45 | 1.404 % |
14.26/14.31 c | 33027 | 18536 112125 406575 | 2147483647 33019 45 | 1.404 % |
14.35/14.42 c | 33221 | 18536 112125 406575 | 2147483647 33213 45 | 1.404 % |
14.45/14.55 c | 33433 | 18536 112125 406575 | 2147483647 33425 45 | 1.404 % |
14.55/14.69 c | 33666 | 18536 112125 406575 | 2147483647 33658 45 | 1.404 % |
14.65/14.78 c | 33923 | 18525 112018 406224 | 2147483647 33914 45 | 1.463 % |
14.85/14.90 c | 34204 | 18525 112018 406224 | 2147483647 34195 45 | 1.463 % |
14.95/15.07 c | 34513 | 18525 112018 406224 | 2147483647 34504 45 | 1.463 % |
15.15/15.20 c | 34852 | 18525 112018 406224 | 2147483647 34843 45 | 1.463 % |
15.35/15.44 c | 35224 | 18525 112018 406224 | 2147483647 35215 46 | 1.463 % |
15.65/15.73 c | 35634 | 18525 112018 406224 | 2147483647 35625 46 | 1.463 % |
15.75/15.89 c | 36084 | 18525 112018 406224 | 2147483647 36075 46 | 1.463 % |
16.16/16.23 c | 36578 | 18525 112018 406224 | 2147483647 36569 47 | 1.463 % |
16.46/16.54 c | 37121 | 18525 112018 406224 | 2147483647 37112 47 | 1.463 % |
16.46/16.58 c | 37221 | 18525 112018 406224 | 2147483647 37212 47 | 1.463 % |
16.55/16.65 c | 37332 | 18525 112018 406224 | 2147483647 37323 47 | 1.463 % |
16.65/16.73 c | 37453 | 18525 112018 406224 | 2147483647 37444 47 | 1.463 % |
16.75/16.82 c | 37586 | 18525 112018 406224 | 2147483647 37577 47 | 1.463 % |
16.75/16.86 c | 37732 | 18525 112018 406224 | 2147483647 37723 47 | 1.463 % |
16.85/16.92 c | 37894 | 18525 112018 406224 | 2147483647 37885 47 | 1.463 % |
16.95/17.05 c | 38070 | 18525 112018 406224 | 2147483647 38061 47 | 1.463 % |
17.05/17.17 c | 38264 | 18525 112018 406224 | 2147483647 38255 47 | 1.463 % |
17.15/17.26 c | 38477 | 18525 112018 406224 | 2147483647 38468 47 | 1.463 % |
17.25/17.37 c | 38711 | 18525 112018 406224 | 2147483647 38702 47 | 1.463 % |
17.46/17.59 c | 38967 | 18525 112018 406224 | 2147483647 38958 47 | 1.463 % |
17.75/17.80 c | 39248 | 18525 112018 406224 | 2147483647 39239 47 | 1.463 % |
17.95/18.09 c | 39558 | 18525 112018 406224 | 2147483647 39549 47 | 1.463 % |
18.05/18.16 c | 39899 | 18525 112018 406224 | 2147483647 39890 47 | 1.463 % |
18.35/18.43 c | 40271 | 18525 112018 406224 | 2147483647 40262 47 | 1.463 % |
18.56/18.65 c | 40682 | 18525 112018 406224 | 2147483647 40673 47 | 1.463 % |
18.85/18.93 c | 41132 | 18525 112018 406224 | 2147483647 41123 47 | 1.463 % |
19.25/19.31 c | 41627 | 18525 112018 406224 | 2147483647 41618 47 | 1.463 % |
19.55/19.61 c | 42171 | 18525 112018 406224 | 2147483647 42162 46 | 1.463 % |
19.65/19.79 c | 42767 | 18525 112018 406224 | 2147483647 42758 46 | 1.463 % |
19.75/19.87 c | 42867 | 18525 112018 406224 | 2147483647 42858 47 | 1.463 % |
19.85/19.94 c | 42977 | 18525 112018 406224 | 2147483647 42968 47 | 1.463 % |
19.95/20.04 c | 43098 | 18525 112018 406224 | 2147483647 43089 46 | 1.463 % |
19.95/20.10 c | 43232 | 18525 112018 406224 | 2147483647 43223 46 | 1.463 % |
20.05/20.18 c | 43378 | 18525 112018 406224 | 2147483647 43369 46 | 1.463 % |
20.15/20.27 c | 43541 | 18525 112018 406224 | 2147483647 43532 46 | 1.463 % |
20.25/20.35 c | 43717 | 18525 112018 406224 | 2147483647 43708 46 | 1.463 % |
20.35/20.44 c | 43911 | 18525 112018 406224 | 2147483647 43902 46 | 1.463 % |
20.45/20.58 c | 44125 | 18525 112018 406224 | 2147483647 44116 46 | 1.463 % |
20.65/20.70 c | 44358 | 18525 112018 406224 | 2147483647 44349 46 | 1.463 % |
20.75/20.87 c | 44614 | 18525 112018 406224 | 2147483647 44605 46 | 1.463 % |
20.95/21.02 c | 44898 | 18525 112018 406224 | 2147483647 44889 46 | 1.463 % |
21.15/21.23 c | 45207 | 18525 112018 406224 | 2147483647 45198 46 | 1.463 % |
21.25/21.32 c | 45546 | 18525 112018 406224 | 2147483647 45537 46 | 1.463 % |
21.45/21.55 c | 45919 | 18525 112018 406224 | 2147483647 45910 46 | 1.463 % |
21.75/21.84 c | 46328 | 18525 112018 406224 | 2147483647 46319 46 | 1.463 % |
21.95/22.07 c | 46779 | 18525 112018 406224 | 2147483647 46770 47 | 1.463 % |
22.25/22.32 c | 47272 | 18525 112018 406224 | 2147483647 47263 46 | 1.463 % |
22.64/22.76 c | 47814 | 18525 112018 406224 | 2147483647 47805 47 | 1.463 % |
22.84/22.91 c | 48410 | 18525 112018 406224 | 2147483647 48401 47 | 1.463 % |
23.34/23.49 c | 49066 | 18525 112018 406224 | 2147483647 49057 47 | 1.463 % |
23.45/23.58 c | 49166 | 18525 112018 406224 | 2147483647 49157 47 | 1.463 % |
23.55/23.65 c | 49278 | 18525 112018 406224 | 2147483647 49269 47 | 1.463 % |
23.65/23.73 c | 49399 | 18525 112018 406224 | 2147483647 49390 47 | 1.463 % |
23.65/23.79 c | 49532 | 18525 112018 406224 | 2147483647 49523 47 | 1.463 % |
23.75/23.88 c | 49678 | 18525 112018 406224 | 2147483647 49669 47 | 1.463 % |
23.85/23.91 c | 49838 | 18525 112018 406224 | 2147483647 49829 47 | 1.463 % |
23.95/24.03 c | 50015 | 18525 112018 406224 | 2147483647 50006 47 | 1.463 % |
24.05/24.11 c | 50208 | 18525 112018 406224 | 2147483647 50199 47 | 1.463 % |
24.15/24.27 c | 50420 | 18525 112018 406224 | 2147483647 50411 47 | 1.463 % |
24.35/24.41 c | 50653 | 18525 112018 406224 | 2147483647 50644 47 | 1.463 % |
24.45/24.51 c | 50910 | 18525 112018 406224 | 2147483647 50901 47 | 1.463 % |
24.65/24.70 c | 51193 | 18525 112018 406224 | 2147483647 51184 47 | 1.463 % |
24.65/24.77 c | 51502 | 18525 112018 406224 | 2147483647 51493 47 | 1.463 % |
24.85/24.94 c | 51842 | 18525 112018 406224 | 2147483647 51833 47 | 1.463 % |
25.15/25.20 c | 52215 | 18525 112018 406224 | 2147483647 52206 47 | 1.463 % |
25.45/25.53 c | 52624 | 18525 112018 406224 | 2147483647 52615 47 | 1.463 % |
25.65/25.74 c | 53073 | 18525 112018 406224 | 2147483647 53064 47 | 1.463 % |
25.95/26.03 c | 53567 | 18525 112018 406224 | 2147483647 53558 47 | 1.463 % |
26.45/26.55 c | 54111 | 18525 112018 406224 | 2147483647 54102 46 | 1.463 % |
27.05/27.12 c | 54707 | 18525 112018 406224 | 2147483647 54698 47 | 1.463 % |
27.54/27.63 c | 55364 | 18525 112018 406224 | 2147483647 55355 47 | 1.463 % |
28.04/28.18 c | 56084 | 18525 112018 406224 | 2147483647 56075 48 | 1.463 % |
28.14/28.24 c | 56185 | 18525 112018 406224 | 2147483647 56176 48 | 1.463 % |
28.24/28.33 c | 56295 | 18525 112018 406224 | 2147483647 56286 48 | 1.463 % |
28.34/28.47 c | 56416 | 18525 112018 406224 | 2147483647 56407 48 | 1.463 % |
28.44/28.58 c | 56550 | 18525 112018 406224 | 2147483647 56541 48 | 1.463 % |
28.64/28.73 c | 56697 | 18525 112018 406224 | 2147483647 56688 48 | 1.463 % |
28.64/28.79 c | 56860 | 18525 112018 406224 | 2147483647 56851 48 | 1.463 % |
28.84/28.93 c | 57038 | 18525 112018 406224 | 2147483647 57029 48 | 1.463 % |
28.94/29.09 c | 57234 | 18525 112018 406224 | 2147483647 57225 47 | 1.463 % |
29.04/29.17 c | 57446 | 18525 112018 406224 | 2147483647 57437 47 | 1.463 % |
29.14/29.24 c | 57680 | 18525 112018 406224 | 2147483647 57671 47 | 1.463 % |
29.35/29.48 c | 57937 | 18525 112018 406224 | 2147483647 57928 48 | 1.463 % |
29.55/29.69 c | 58218 | 18525 112018 406224 | 2147483647 58209 47 | 1.463 % |
29.75/29.85 c | 58529 | 18525 112018 406224 | 2147483647 58520 47 | 1.463 % |
29.84/29.96 c | 58869 | 18525 112018 406224 | 2147483647 58860 47 | 1.463 % |
30.14/30.28 c | 59241 | 18525 112018 406224 | 2147483647 59232 47 | 1.463 % |
30.34/30.48 c | 59650 | 18525 112018 406224 | 2147483647 59641 47 | 1.463 % |
30.65/30.74 c | 60102 | 18525 112018 406224 | 2147483647 60093 47 | 1.463 % |
30.94/31.05 c | 60599 | 18525 112018 406224 | 2147483647 60590 47 | 1.463 % |
31.24/31.31 c | 61141 | 18525 112018 406224 | 2147483647 61132 47 | 1.463 % |
31.44/31.57 c | 61738 | 18525 112018 406224 | 2147483647 61729 47 | 1.463 % |
31.64/31.72 c | 62393 | 18525 112018 406224 | 2147483647 62384 47 | 1.463 % |
32.14/32.26 c | 63114 | 18525 112018 406224 | 2147483647 63105 47 | 1.463 % |
33.03/33.15 c | 63906 | 18525 112018 406224 | 2147483647 63897 47 | 1.463 % |
33.13/33.23 c | 64011 | 18525 112018 406224 | 2147483647 64002 47 | 1.463 % |
33.13/33.30 c | 64122 | 18525 112018 406224 | 2147483647 64113 47 | 1.463 % |
33.33/33.40 c | 64244 | 18525 112018 406224 | 2147483647 64235 47 | 1.463 % |
33.43/33.52 c | 64377 | 18525 112018 406224 | 2147483647 64368 47 | 1.463 % |
33.53/33.61 c | 64523 | 18525 112018 406224 | 2147483647 64514 47 | 1.463 % |
33.53/33.65 c | 64683 | 18525 112018 406224 | 2147483647 64674 47 | 1.463 % |
33.63/33.76 c | 64859 | 18525 112018 406224 | 2147483647 64850 47 | 1.463 % |
33.83/33.93 c | 65052 | 18525 112018 406224 | 2147483647 65043 47 | 1.463 % |
34.04/34.14 c | 65265 | 18525 112018 406224 | 2147483647 65256 47 | 1.463 % |
34.23/34.35 c | 65498 | 18525 112018 406224 | 2147483647 65489 47 | 1.463 % |
34.43/34.59 c | 65756 | 18525 112018 406224 | 2147483647 65747 47 | 1.463 % |
34.63/34.76 c | 66037 | 18525 112018 406224 | 2147483647 66028 47 | 1.463 % |
34.83/34.94 c | 66346 | 18525 112018 406224 | 2147483647 66337 47 | 1.463 % |
35.14/35.20 c | 66687 | 18525 112018 406224 | 2147483647 66678 47 | 1.463 % |
35.33/35.48 c | 67060 | 18525 112018 406224 | 2147483647 67051 47 | 1.463 % |
35.73/35.84 c | 67469 | 18525 112018 406224 | 2147483647 67460 47 | 1.463 % |
36.03/36.18 c | 67918 | 18525 112018 406224 | 2147483647 67909 47 | 1.463 % |
36.43/36.53 c | 68413 | 18525 112018 406224 | 2147483647 68404 47 | 1.463 % |
36.83/36.93 c | 68955 | 18525 112018 406224 | 2147483647 68946 47 | 1.463 % |
37.23/37.35 c | 69551 | 18525 112018 406224 | 2147483647 69542 47 | 1.463 % |
37.83/37.98 c | 70206 | 18525 112018 406224 | 2147483647 70197 47 | 1.463 % |
38.33/38.50 c | 70926 | 18525 112018 406224 | 2147483647 70917 47 | 1.463 % |
39.03/39.12 c | 71718 | 18525 112018 406224 | 2147483647 71709 47 | 1.463 % |
39.73/39.86 c | 72589 | 18525 112018 406224 | 2147483647 72580 47 | 1.463 % |
39.83/39.96 c | 72689 | 18525 112018 406224 | 2147483647 72680 47 | 1.463 % |
39.93/40.03 c | 72801 | 18525 112018 406224 | 2147483647 72792 47 | 1.463 % |
40.03/40.13 c | 72922 | 18525 112018 406224 | 2147483647 72913 47 | 1.463 % |
40.13/40.27 c | 73056 | 18525 112018 406224 | 2147483647 73047 47 | 1.463 % |
40.23/40.38 c | 73202 | 18525 112018 406224 | 2147483647 73193 47 | 1.463 % |
40.43/40.51 c | 73366 | 18525 112018 406224 | 2147483647 73357 47 | 1.463 % |
40.53/40.66 c | 73542 | 18525 112018 406224 | 2147483647 73533 47 | 1.463 % |
40.73/40.82 c | 73735 | 18525 112018 406224 | 2147483647 73726 47 | 1.463 % |
40.83/40.98 c | 73948 | 18525 112018 406224 | 2147483647 73939 47 | 1.463 % |
41.02/41.18 c | 74182 | 18525 112018 406224 | 2147483647 74173 47 | 1.463 % |
41.22/41.36 c | 74440 | 18525 112018 406224 | 2147483647 74431 47 | 1.463 % |
41.52/41.65 c | 74721 | 18525 112018 406224 | 2147483647 74712 47 | 1.463 % |
41.73/41.85 c | 75030 | 18525 112018 406224 | 2147483647 75021 47 | 1.463 % |
42.12/42.27 c | 75374 | 18525 112018 406224 | 2147483647 75365 47 | 1.463 % |
42.52/42.68 c | 75746 | 18525 112018 406224 | 2147483647 75737 47 | 1.463 % |
42.92/43.09 c | 76156 | 18525 112018 406224 | 2147483647 76147 47 | 1.463 % |
43.32/43.45 c | 76605 | 18525 112018 406224 | 2147483647 76596 47 | 1.463 % |
43.82/43.94 c | 77099 | 18525 112018 406224 | 2147483647 77090 47 | 1.463 % |
44.33/44.42 c | 77641 | 18525 112018 406224 | 2147483647 77632 47 | 1.463 % |
44.63/44.70 c | 78237 | 18525 112018 406224 | 2147483647 78228 47 | 1.463 % |
45.13/45.22 c | 78892 | 18525 112018 406224 | 2147483647 78883 47 | 1.463 % |
45.83/45.97 c | 79613 | 18525 112018 406224 | 2147483647 79604 47 | 1.463 % |
46.53/46.61 c | 80405 | 18525 112018 406224 | 2147483647 80396 47 | 1.463 % |
47.13/47.23 c | 81276 | 18525 112018 406224 | 2147483647 81267 47 | 1.463 % |
47.83/47.92 c | 82236 | 18525 112018 406224 | 2147483647 82227 47 | 1.463 % |
47.93/48.00 c | 82336 | 18525 112018 406224 | 2147483647 82327 47 | 1.463 % |
47.93/48.08 c | 82448 | 18525 112018 406224 | 2147483647 82439 47 | 1.463 % |
48.13/48.21 c | 82573 | 18525 112018 406224 | 2147483647 82564 47 | 1.463 % |
48.23/48.35 c | 82707 | 18525 112018 406224 | 2147483647 82698 47 | 1.463 % |
48.33/48.46 c | 82855 | 18525 112018 406224 | 2147483647 82846 47 | 1.463 % |
48.42/48.58 c | 83015 | 18525 112018 406224 | 2147483647 83006 47 | 1.463 % |
48.52/48.66 c | 83195 | 18525 112018 406224 | 2147483647 83186 47 | 1.463 % |
48.72/48.89 c | 83389 | 18525 112018 406224 | 2147483647 83380 47 | 1.463 % |
49.02/49.12 c | 83601 | 18525 112018 406224 | 2147483647 83592 47 | 1.463 % |
49.22/49.35 c | 83835 | 18525 112018 406224 | 2147483647 83826 47 | 1.463 % |
49.32/49.48 c | 84094 | 18525 112018 406224 | 2147483647 84085 47 | 1.463 % |
49.72/49.88 c | 84376 | 18525 112018 406224 | 2147483647 84367 47 | 1.463 % |
50.02/50.17 c | 84686 | 18525 112018 406224 | 2147483647 84677 47 | 1.463 % |
50.32/50.44 c | 85026 | 18525 112018 406224 | 2147483647 85017 47 | 1.463 % |
50.52/50.62 c | 85399 | 18525 112018 406224 | 2147483647 85390 47 | 1.463 % |
50.72/50.87 c | 85808 | 18525 112018 406224 | 2147483647 85799 47 | 1.463 % |
51.12/51.23 c | 86258 | 18525 112018 406224 | 2147483647 86249 47 | 1.463 % |
51.52/51.68 c | 86751 | 18525 112018 406224 | 2147483647 86742 47 | 1.463 % |
52.12/52.20 c | 87293 | 18525 112018 406224 | 2147483647 87284 47 | 1.463 % |
52.52/52.70 c | 87889 | 18525 112018 406224 | 2147483647 87880 47 | 1.463 % |
53.02/53.15 c | 88545 | 18525 112018 406224 | 2147483647 88536 47 | 1.463 % |
53.62/53.76 c | 89266 | 18525 112018 406224 | 2147483647 89257 47 | 1.463 % |
54.32/54.42 c | 90058 | 18525 112018 406224 | 2147483647 90049 47 | 1.463 % |
55.22/55.31 c | 90929 | 18525 112018 406224 | 2147483647 90920 48 | 1.463 % |
56.12/56.27 c | 91887 | 18525 112018 406224 | 2147483647 91878 48 | 1.463 % |
56.82/56.94 c | 92940 | 18525 112018 406224 | 2147483647 92931 48 | 1.463 % |
56.92/57.03 c | 93043 | 18525 112018 406224 | 2147483647 93034 48 | 1.463 % |
57.02/57.18 c | 93153 | 18525 112018 406224 | 2147483647 93144 48 | 1.463 % |
57.21/57.31 c | 93274 | 18525 112018 406224 | 2147483647 93265 48 | 1.463 % |
57.31/57.42 c | 93408 | 18525 112018 406224 | 2147483647 93399 48 | 1.463 % |
57.41/57.59 c | 93554 | 18525 112018 406224 | 2147483647 93545 48 | 1.463 % |
57.61/57.74 c | 93714 | 18525 112018 406224 | 2147483647 93705 48 | 1.463 % |
57.71/57.87 c | 93895 | 18525 112018 406224 | 2147483647 93886 48 | 1.463 % |
57.82/58.00 c | 94088 | 18525 112018 406224 | 2147483647 94079 48 | 1.463 % |
58.12/58.23 c | 94301 | 18525 112018 406224 | 2147483647 94292 48 | 1.463 % |
58.32/58.41 c | 94534 | 18525 112018 406224 | 2147483647 94525 48 | 1.463 % |
58.52/58.63 c | 94790 | 18525 112018 406224 | 2147483647 94781 48 | 1.463 % |
58.62/58.78 c | 95071 | 18525 112018 406224 | 2147483647 95062 48 | 1.463 % |
59.02/59.12 c | 95380 | 18525 112018 406224 | 2147483647 95371 48 | 1.463 % |
59.32/59.42 c | 95720 | 18525 112018 406224 | 2147483647 95711 48 | 1.463 % |
59.62/59.75 c | 96093 | 18525 112018 406224 | 2147483647 96084 48 | 1.463 % |
59.92/60.06 c | 96504 | 18525 112018 406224 | 2147483647 96495 48 | 1.463 % |
60.22/60.38 c | 96954 | 18525 112018 406224 | 2147483647 96945 48 | 1.463 % |
60.81/60.91 c | 97449 | 18525 112018 406224 | 2147483647 97440 48 | 1.463 % |
61.52/61.69 c | 97991 | 18525 112018 406224 | 2147483647 97982 48 | 1.463 % |
62.11/62.24 c | 98588 | 18525 112018 406224 | 2147483647 98579 48 | 1.463 % |
62.81/62.94 c | 99244 | 18525 112018 406224 | 2147483647 99235 48 | 1.463 % |
63.61/63.72 c | 99964 | 18525 112018 406224 | 2147483647 99955 48 | 1.463 % |
64.31/64.49 c | 100756 | 18525 112018 406224 | 2147483647 100747 49 | 1.463 % |
65.01/65.17 c | 101628 | 18525 112018 406224 | 2147483647 101619 49 | 1.463 % |
65.91/66.09 c | 102586 | 18525 112018 406224 | 2147483647 102577 49 | 1.463 % |
67.01/67.14 c | 103639 | 18525 112018 406224 | 2147483647 103630 49 | 1.463 % |
67.91/68.09 c | 104798 | 18525 112018 406224 | 2147483647 104789 48 | 1.463 % |
68.11/68.23 c | 104901 | 18525 112018 406224 | 2147483647 104892 48 | 1.463 % |
68.31/68.43 c | 105011 | 18525 112018 406224 | 2147483647 105002 48 | 1.463 % |
68.41/68.58 c | 105133 | 18525 112018 406224 | 2147483647 105124 49 | 1.463 % |
68.61/68.71 c | 105266 | 18525 112018 406224 | 2147483647 105257 49 | 1.463 % |
68.70/68.86 c | 105412 | 18525 112018 406224 | 2147483647 105403 49 | 1.463 % |
68.91/69.03 c | 105572 | 18525 112018 406224 | 2147483647 105563 49 | 1.463 % |
69.11/69.26 c | 105748 | 18525 112018 406224 | 2147483647 105739 49 | 1.463 % |
69.31/69.45 c | 105941 | 18525 112018 406224 | 2147483647 105932 49 | 1.463 % |
69.51/69.64 c | 106153 | 18525 112018 406224 | 2147483647 106144 49 | 1.463 % |
69.71/69.89 c | 106387 | 18525 112018 406224 | 2147483647 106378 49 | 1.463 % |
70.00/70.16 c | 106643 | 18525 112018 406224 | 2147483647 106634 49 | 1.463 % |
70.21/70.40 c | 106924 | 18525 112018 406224 | 2147483647 106915 49 | 1.463 % |
70.50/70.60 c | 107233 | 18525 112018 406224 | 2147483647 107224 48 | 1.463 % |
70.80/70.98 c | 107573 | 18525 112018 406224 | 2147483647 107564 49 | 1.463 % |
71.31/71.42 c | 107948 | 18525 112018 406224 | 2147483647 107939 48 | 1.463 % |
71.71/71.88 c | 108359 | 18525 112018 406224 | 2147483647 108350 48 | 1.463 % |
72.21/72.33 c | 108809 | 18525 112018 406224 | 2147483647 108800 48 | 1.463 % |
72.91/73.06 c | 109302 | 18525 112018 406224 | 2147483647 109293 49 | 1.463 % |
73.61/73.73 c | 109846 | 18525 112018 406224 | 2147483647 109837 49 | 1.463 % |
74.11/74.21 c | 110444 | 18525 112018 406224 | 2147483647 110435 49 | 1.463 % |
74.61/74.76 c | 111100 | 18525 112018 406224 | 2147483647 111091 49 | 1.463 % |
75.31/75.47 c | 111820 | 18525 112018 406224 | 2147483647 111811 49 | 1.463 % |
76.21/76.33 c | 112612 | 18525 112018 406224 | 2147483647 112603 49 | 1.463 % |
77.01/77.14 c | 113483 | 18525 112018 406224 | 2147483647 113474 48 | 1.463 % |
77.81/77.99 c | 114442 | 18525 112018 406224 | 2147483647 114433 48 | 1.463 % |
78.71/78.85 c | 115495 | 18525 112018 406224 | 2147483647 115486 48 | 1.463 % |
79.71/79.89 c | 116654 | 18525 112018 406224 | 2147483647 116645 48 | 1.463 % |
80.71/80.84 c | 117927 | 18525 112018 406224 | 2147483647 117918 48 | 1.463 % |
80.71/80.89 c | 118028 | 18525 112018 406224 | 2147483647 118019 48 | 1.463 % |
80.91/81.06 c | 118139 | 18525 112018 406224 | 2147483647 118130 48 | 1.463 % |
81.01/81.17 c | 118260 | 18525 112018 406224 | 2147483647 118251 48 | 1.463 % |
81.11/81.26 c | 118393 | 18525 112018 406224 | 2147483647 118384 48 | 1.463 % |
81.31/81.48 c | 118539 | 18525 112018 406224 | 2147483647 118530 48 | 1.463 % |
81.50/81.67 c | 118702 | 18525 112018 406224 | 2147483647 118693 48 | 1.463 % |
81.80/81.93 c | 118878 | 18525 112018 406224 | 2147483647 118869 48 | 1.463 % |
82.00/82.18 c | 119072 | 18525 112018 406224 | 2147483647 119063 48 | 1.463 % |
82.31/82.44 c | 119285 | 18525 112018 406224 | 2147483647 119276 49 | 1.463 % |
82.60/82.72 c | 119519 | 18525 112018 406224 | 2147483647 119510 49 | 1.463 % |
82.90/83.05 c | 119777 | 18525 112018 406224 | 2147483647 119768 49 | 1.463 % |
83.20/83.36 c | 120061 | 18525 112018 406224 | 2147483647 120052 49 | 1.463 % |
83.60/83.71 c | 120372 | 18525 112018 406224 | 2147483647 120363 49 | 1.463 % |
83.80/83.90 c | 120711 | 18525 112018 406224 | 2147483647 120702 49 | 1.463 % |
84.10/84.23 c | 121084 | 18525 112018 406224 | 2147483647 121075 49 | 1.463 % |
84.60/84.74 c | 121493 | 18525 112018 406224 | 2147483647 121484 49 | 1.463 % |
85.10/85.26 c | 121943 | 18525 112018 406224 | 2147483647 121934 49 | 1.463 % |
85.60/85.80 c | 122437 | 18525 112018 406224 | 2147483647 122428 49 | 1.463 % |
86.30/86.48 c | 122979 | 18525 112018 406224 | 2147483647 122970 49 | 1.463 % |
87.01/87.13 c | 123575 | 18525 112018 406224 | 2147483647 123566 49 | 1.463 % |
88.00/88.10 c | 124231 | 18525 112018 406224 | 2147483647 124222 49 | 1.463 % |
88.70/88.82 c | 124952 | 18525 112018 406224 | 2147483647 124943 49 | 1.463 % |
89.60/89.71 c | 125744 | 18525 112018 406224 | 2147483647 125735 49 | 1.463 % |
90.60/90.77 c | 126616 | 18525 112018 406224 | 2147483647 126607 49 | 1.463 % |
91.60/91.79 c | 127577 | 18525 112018 406224 | 2147483647 127568 49 | 1.463 % |
93.00/93.14 c | 128633 | 18525 112018 406224 | 2147483647 128624 49 | 1.463 % |
93.30/93.46 c | 129796 | 18525 112018 406224 | 2147483647 129787 49 | 1.463 % |
95.30/95.47 c | 131069 | 18525 112018 406224 | 2147483647 131060 49 | 1.463 % |
96.99/97.14 c | 132469 | 18525 112018 406224 | 2147483647 132460 50 | 1.463 % |
97.09/97.27 c | 132569 | 18525 112018 406224 | 2147483647 132560 50 | 1.463 % |
97.29/97.42 c | 132680 | 18525 112018 406224 | 2147483647 132671 50 | 1.463 % |
97.50/97.62 c | 132804 | 18525 112018 406224 | 2147483647 132795 50 | 1.463 % |
97.60/97.77 c | 132937 | 18525 112018 406224 | 2147483647 132928 50 | 1.463 % |
97.80/97.99 c | 133083 | 18525 112018 406224 | 2147483647 133074 50 | 1.463 % |
98.10/98.25 c | 133243 | 18525 112018 406224 | 2147483647 133234 50 | 1.463 % |
98.50/98.62 c | 133420 | 18525 112018 406224 | 2147483647 133411 50 | 1.463 % |
98.70/98.86 c | 133614 | 18525 112018 406224 | 2147483647 133605 50 | 1.463 % |
99.00/99.11 c | 133827 | 18525 112018 406224 | 2147483647 133818 50 | 1.463 % |
99.20/99.33 c | 134061 | 18525 112018 406224 | 2147483647 134052 50 | 1.463 % |
99.40/99.55 c | 134318 | 18525 112018 406224 | 2147483647 134309 50 | 1.463 % |
99.80/99.90 c | 134599 | 18525 112018 406224 | 2147483647 134590 50 | 1.463 % |
100.00/100.11 c | 134910 | 18525 112018 406224 | 2147483647 134901 50 | 1.463 % |
100.20/100.36 c | 135250 | 18525 112018 406224 | 2147483647 135241 50 | 1.463 % |
100.70/100.88 c | 135622 | 18525 112018 406224 | 2147483647 135613 50 | 1.463 % |
101.20/101.36 c | 136034 | 18525 112018 406224 | 2147483647 136025 50 | 1.463 % |
101.79/101.91 c | 136483 | 18525 112018 406224 | 2147483647 136474 50 | 1.463 % |
102.69/102.82 c | 136979 | 18525 112018 406224 | 2147483647 136970 50 | 1.463 % |
103.59/103.80 c | 137522 | 18525 112018 406224 | 2147483647 137513 51 | 1.463 % |
104.30/104.48 c | 138118 | 18525 112018 406224 | 2147483647 138109 51 | 1.463 % |
105.09/105.24 c | 138773 | 18525 112018 406224 | 2147483647 138764 51 | 1.463 % |
106.29/106.43 c | 139494 | 18525 112018 406224 | 2147483647 139485 51 | 1.463 % |
107.39/107.53 c | 140287 | 18525 112018 406224 | 2147483647 140278 51 | 1.463 % |
107.89/108.09 c | 141159 | 18525 112018 406224 | 2147483647 141150 51 | 1.463 % |
109.39/109.58 c | 142119 | 18525 112018 406224 | 2147483647 142110 51 | 1.463 % |
110.69/110.86 c | 143172 | 18525 112018 406224 | 2147483647 143163 51 | 1.463 % |
112.69/112.81 c | 144330 | 18525 112018 406224 | 2147483647 144321 51 | 1.463 % |
113.29/113.41 c | 145604 | 18525 112018 406224 | 2147483647 145595 51 | 1.463 % |
116.19/116.35 c | 147004 | 18525 112018 406224 | 2147483647 146995 51 | 1.463 % |
117.99/118.10 c | 148545 | 18525 112018 406224 | 2147483647 148536 51 | 1.463 % |
118.09/118.26 c | 148645 | 18525 112018 406224 | 2147483647 148636 51 | 1.463 % |
118.29/118.42 c | 148755 | 18525 112018 406224 | 2147483647 148746 51 | 1.463 % |
118.39/118.58 c | 148877 | 18525 112018 406224 | 2147483647 148868 51 | 1.463 % |
118.59/118.72 c | 149010 | 18525 112018 406224 | 2147483647 149001 52 | 1.463 % |
118.89/119.02 c | 149156 | 18525 112018 406224 | 2147483647 149147 52 | 1.463 % |
118.99/119.18 c | 149318 | 18525 112018 406224 | 2147483647 149309 51 | 1.463 % |
119.09/119.30 c | 149496 | 18525 112018 406224 | 2147483647 149487 51 | 1.463 % |
119.39/119.50 c | 149690 | 18525 112018 406224 | 2147483647 149681 51 | 1.463 % |
119.59/119.72 c | 149903 | 18525 112018 406224 | 2147483647 149894 51 | 1.463 % |
119.79/119.94 c | 150136 | 18525 112018 406224 | 2147483647 150127 51 | 1.463 % |
119.98/120.16 c | 150392 | 18525 112018 406224 | 2147483647 150383 51 | 1.463 % |
120.29/120.47 c | 150673 | 18525 112018 406224 | 2147483647 150664 51 | 1.463 % |
120.58/120.73 c | 150984 | 18525 112018 406224 | 2147483647 150975 51 | 1.463 % |
120.89/121.05 c | 151325 | 18525 112018 406224 | 2147483647 151316 51 | 1.463 % |
121.18/121.39 c | 151698 | 18525 112018 406224 | 2147483647 151689 51 | 1.463 % |
121.99/122.15 c | 152108 | 18525 112018 406224 | 2147483647 152099 52 | 1.463 % |
122.28/122.45 c | 152557 | 18525 112018 406224 | 2147483647 152548 52 | 1.463 % |
122.88/123.07 c | 153050 | 18525 112018 406224 | 2147483647 153041 52 | 1.463 % |
123.58/123.72 c | 153595 | 18525 112018 406224 | 2147483647 153586 52 | 1.463 % |
124.48/124.62 c | 154192 | 18525 112018 406224 | 2147483647 154183 52 | 1.463 % |
125.28/125.44 c | 154848 | 18525 112018 406224 | 2147483647 154839 51 | 1.463 % |
126.08/126.29 c | 155572 | 18525 112018 406224 | 2147483647 155563 51 | 1.463 % |
126.98/127.12 c | 156370 | 18525 112018 406224 | 2147483647 156361 51 | 1.463 % |
127.98/128.14 c | 157241 | 18525 112018 406224 | 2147483647 157232 51 | 1.463 % |
129.69/129.87 c | 158199 | 18525 112018 406224 | 2147483647 158190 52 | 1.463 % |
131.08/131.22 c | 159253 | 18525 112018 406224 | 2147483647 159244 52 | 1.463 % |
131.79/131.93 c | 160412 | 18525 112018 406224 | 2147483647 160403 52 | 1.463 % |
133.88/134.08 c | 161685 | 18525 112018 406224 | 2147483647 161676 52 | 1.463 % |
135.78/135.97 c | 163086 | 18525 112018 406224 | 2147483647 163077 52 | 1.463 % |
137.68/137.87 c | 164626 | 18525 112018 406224 | 2147483647 164617 52 | 1.463 % |
140.87/141.01 c | 166322 | 18525 112018 406224 | 2147483647 166313 52 | 1.463 % |
140.97/141.15 c | 166423 | 18525 112018 406224 | 2147483647 166414 52 | 1.463 % |
141.07/141.29 c | 166533 | 18525 112018 406224 | 2147483647 166524 52 | 1.463 % |
141.27/141.42 c | 166655 | 18525 112018 406224 | 2147483647 166646 52 | 1.463 % |
141.47/141.69 c | 166789 | 18525 112018 406224 | 2147483647 166780 52 | 1.463 % |
141.67/141.87 c | 166936 | 18525 112018 406224 | 2147483647 166927 52 | 1.463 % |
141.97/142.10 c | 167096 | 18525 112018 406224 | 2147483647 167087 52 | 1.463 % |
142.17/142.33 c | 167272 | 18525 112018 406224 | 2147483647 167263 52 | 1.463 % |
142.37/142.53 c | 167467 | 18525 112018 406224 | 2147483647 167458 52 | 1.463 % |
142.67/142.80 c | 167681 | 18525 112018 406224 | 2147483647 167672 52 | 1.463 % |
142.87/143.09 c | 167914 | 18525 112018 406224 | 2147483647 167905 52 | 1.463 % |
143.27/143.41 c | 168170 | 18525 112018 406224 | 2147483647 168161 52 | 1.463 % |
143.67/143.84 c | 168452 | 18525 112018 406224 | 2147483647 168443 52 | 1.463 % |
144.17/144.30 c | 168761 | 18525 112018 406224 | 2147483647 168752 52 | 1.463 % |
144.57/144.72 c | 169101 | 18525 112018 406224 | 2147483647 169092 52 | 1.463 % |
145.07/145.24 c | 169474 | 18525 112018 406224 | 2147483647 169465 52 | 1.463 % |
145.67/145.86 c | 169883 | 18525 112018 406224 | 2147483647 169874 52 | 1.463 % |
146.17/146.38 c | 170332 | 18525 112018 406224 | 2147483647 170323 52 | 1.463 % |
146.97/147.14 c | 170827 | 18525 112018 406224 | 2147483647 170818 52 | 1.463 % |
148.08/148.23 c | 171370 | 18525 112018 406224 | 2147483647 171361 52 | 1.463 % |
149.38/149.53 c | 171966 | 18525 112018 406224 | 2147483647 171957 52 | 1.463 % |
150.67/150.86 c | 172622 | 18525 112018 406224 | 2147483647 172613 52 | 1.463 % |
151.68/151.84 c | 173342 | 18525 112018 406224 | 2147483647 173333 52 | 1.463 % |
152.78/152.94 c | 174134 | 18525 112018 406224 | 2147483647 174125 52 | 1.463 % |
153.97/154.16 c | 175007 | 18525 112018 406224 | 2147483647 174998 52 | 1.463 % |
155.27/155.46 c | 175967 | 18525 112018 406224 | 2147483647 175958 52 | 1.463 % |
156.47/156.63 c | 177020 | 18525 112018 406224 | 2147483647 177011 52 | 1.463 % |
157.97/158.10 c | 178180 | 18525 112018 406224 | 2147483647 178171 52 | 1.463 % |
159.87/160.00 c | 179453 | 18525 112018 406224 | 2147483647 179444 52 | 1.463 % |
161.77/161.92 c | 180855 | 18525 112018 406224 | 2147483647 180846 52 | 1.463 % |
163.87/164.07 c | 182396 | 18525 112018 406224 | 2147483647 182387 52 | 1.463 % |
166.17/166.30 c | 184090 | 18525 112018 406224 | 2147483647 184081 52 | 1.463 % |
168.66/168.87 c | 185953 | 18525 112018 406224 | 2147483647 185944 52 | 1.463 % |
168.86/169.03 c | 186055 | 18525 112018 406224 | 2147483647 186046 52 | 1.463 % |
168.96/169.18 c | 186167 | 18525 112018 406224 | 2147483647 186158 52 | 1.463 % |
169.17/169.37 c | 186288 | 18525 112018 406224 | 2147483647 186279 52 | 1.463 % |
169.36/169.54 c | 186425 | 18525 112018 406224 | 2147483647 186416 52 | 1.463 % |
169.56/169.75 c | 186572 | 18525 112018 406224 | 2147483647 186563 52 | 1.463 % |
169.86/170.06 c | 186732 | 18525 112018 406224 | 2147483647 186723 52 | 1.463 % |
170.16/170.30 c | 186908 | 18525 112018 406224 | 2147483647 186899 52 | 1.463 % |
170.46/170.63 c | 187101 | 18525 112018 406224 | 2147483647 187092 52 | 1.463 % |
170.76/170.92 c | 187313 | 18525 112018 406224 | 2147483647 187304 52 | 1.463 % |
171.07/171.21 c | 187546 | 18525 112018 406224 | 2147483647 187537 52 | 1.463 % |
171.37/171.59 c | 187804 | 18525 112018 406224 | 2147483647 187795 52 | 1.463 % |
171.97/172.16 c | 188085 | 18525 112018 406224 | 2147483647 188076 52 | 1.463 % |
172.47/172.64 c | 188394 | 18525 112018 406224 | 2147483647 188385 52 | 1.463 % |
172.96/173.15 c | 188733 | 18525 112018 406224 | 2147483647 188724 52 | 1.463 % |
173.06/173.26 c | 189105 | 18525 112018 406224 | 2147483647 189096 52 | 1.463 % |
173.86/174.06 c | 189517 | 18525 112018 406224 | 2147483647 189508 52 | 1.463 % |
174.56/174.74 c | 189966 | 18525 112018 406224 | 2147483647 189957 52 | 1.463 % |
175.36/175.50 c | 190459 | 18525 112018 406224 | 2147483647 190450 52 | 1.463 % |
176.06/176.20 c | 191001 | 18525 112018 406224 | 2147483647 190992 52 | 1.463 % |
177.36/177.51 c | 191599 | 18525 112018 406224 | 2147483647 191590 52 | 1.463 % |
178.66/178.81 c | 192254 | 18525 112018 406224 | 2147483647 192245 52 | 1.463 % |
179.76/179.93 c | 192974 | 18525 112018 406224 | 2147483647 192965 52 | 1.463 % |
180.96/181.15 c | 193768 | 18525 112018 406224 | 2147483647 193759 52 | 1.463 % |
182.26/182.43 c | 194640 | 18525 112018 406224 | 2147483647 194631 52 | 1.463 % |
183.75/183.92 c | 195599 | 18525 112018 406224 | 2147483647 195590 52 | 1.463 % |
185.35/185.50 c | 196653 | 18525 112018 406224 | 2147483647 196644 52 | 1.463 % |
187.25/187.40 c | 197811 | 18525 112018 406224 | 2147483647 197802 52 | 1.463 % |
189.06/189.21 c | 199084 | 18525 112018 406224 | 2147483647 199075 52 | 1.463 % |
191.26/191.42 c | 200487 | 18525 112018 406224 | 2147483647 200478 52 | 1.463 % |
192.66/192.86 c | 202027 | 18525 112018 406224 | 2147483647 202018 52 | 1.463 % |
195.05/195.27 c | 203722 | 18525 112018 406224 | 2147483647 203713 52 | 1.463 % |
198.36/198.56 c | 205585 | 18525 112018 406224 | 2147483647 205576 52 | 1.463 % |
202.75/202.96 c | 207634 | 18525 112018 406224 | 2147483647 207625 52 | 1.463 % |
203.05/203.21 c | 207734 | 18525 112018 406224 | 2147483647 207725 52 | 1.463 % |
203.15/203.31 c | 207845 | 18525 112018 406224 | 2147483647 207836 52 | 1.463 % |
203.25/203.41 c | 207966 | 18525 112018 406224 | 2147483647 207957 52 | 1.463 % |
203.45/203.64 c | 208100 | 18525 112018 406224 | 2147483647 208091 52 | 1.463 % |
203.55/203.72 c | 208247 | 18525 112018 406224 | 2147483647 208238 52 | 1.463 % |
203.75/203.98 c | 208407 | 18525 112018 406224 | 2147483647 208398 52 | 1.463 % |
204.05/204.29 c | 208583 | 18525 112018 406224 | 2147483647 208574 52 | 1.463 % |
204.45/204.66 c | 208777 | 18525 112018 406224 | 2147483647 208768 52 | 1.463 % |
204.85/205.08 c | 208991 | 18525 112018 406224 | 2147483647 208982 52 | 1.463 % |
205.35/205.57 c | 209226 | 18525 112018 406224 | 2147483647 209217 52 | 1.463 % |
205.95/206.15 c | 209482 | 18525 112018 406224 | 2147483647 209473 52 | 1.463 % |
206.35/206.57 c | 209763 | 18525 112018 406224 | 2147483647 209754 52 | 1.463 % |
206.85/207.03 c | 210072 | 18525 112018 406224 | 2147483647 210063 52 | 1.463 % |
207.55/207.73 c | 210414 | 18525 112018 406224 | 2147483647 210405 52 | 1.463 % |
208.25/208.46 c | 210786 | 18525 112018 406224 | 2147483647 210777 52 | 1.463 % |
209.24/209.43 c | 211196 | 18525 112018 406224 | 2147483647 211187 52 | 1.463 % |
210.04/210.26 c | 211645 | 18525 112018 406224 | 2147483647 211636 52 | 1.463 % |
210.96/211.15 c | 212139 | 18525 112018 406224 | 2147483647 212130 52 | 1.463 % |
211.85/212.09 c | 212682 | 18525 112018 406224 | 2147483647 212673 52 | 1.463 % |
212.75/212.91 c | 213279 | 18525 112018 406224 | 2147483647 213270 52 | 1.463 % |
214.15/214.38 c | 213934 | 18525 112018 406224 | 2147483647 213925 52 | 1.463 % |
215.45/215.68 c | 214654 | 18525 112018 406224 | 2147483647 214645 52 | 1.463 % |
216.65/216.86 c | 215452 | 18525 112018 406224 | 2147483647 215443 52 | 1.463 % |
217.55/217.72 c | 216324 | 18525 112018 406224 | 2147483647 216315 52 | 1.463 % |
218.55/218.79 c | 217283 | 18525 112018 406224 | 2147483647 217274 52 | 1.463 % |
219.85/220.03 c | 218336 | 18525 112018 406224 | 2147483647 218327 52 | 1.463 % |
221.04/221.27 c | 219494 | 18525 112018 406224 | 2147483647 219485 52 | 1.463 % |
222.44/222.62 c | 220767 | 18525 112018 406224 | 2147483647 220758 52 | 1.463 % |
225.04/225.26 c | 222167 | 18525 112018 406224 | 2147483647 222158 52 | 1.463 % |
228.64/228.82 c | 223708 | 18525 112018 406224 | 2147483647 223699 53 | 1.463 % |
231.95/232.16 c | 225402 | 18525 112018 406224 | 2147483647 225393 53 | 1.463 % |
235.44/235.65 c | 227266 | 18525 112018 406224 | 2147483647 227257 53 | 1.463 % |
238.74/238.96 c | 229317 | 18525 112018 406224 | 2147483647 229308 52 | 1.463 % |
242.64/242.81 c | 231571 | 18525 112018 406224 | 2147483647 231562 52 | 1.463 % |
242.74/242.99 c | 231672 | 18525 112018 406224 | 2147483647 231663 52 | 1.463 % |
242.94/243.15 c | 231783 | 18525 112018 406224 | 2147483647 231774 52 | 1.463 % |
243.14/243.34 c | 231904 | 18525 112018 406224 | 2147483647 231895 52 | 1.463 % |
243.34/243.58 c | 232037 | 18525 112018 406224 | 2147483647 232028 52 | 1.463 % |
243.74/243.91 c | 232183 | 18525 112018 406224 | 2147483647 232174 52 | 1.463 % |
243.94/244.12 c | 232343 | 18525 112018 406224 | 2147483647 232334 52 | 1.463 % |
244.14/244.38 c | 232519 | 18525 112018 406224 | 2147483647 232510 52 | 1.463 % |
244.54/244.74 c | 232712 | 18525 112018 406224 | 2147483647 232703 52 | 1.463 % |
244.84/245.07 c | 232924 | 18525 112018 406224 | 2147483647 232915 52 | 1.463 % |
245.24/245.47 c | 233158 | 18525 112018 406224 | 2147483647 233149 52 | 1.463 % |
245.84/246.04 c | 233414 | 18525 112018 406224 | 2147483647 233405 52 | 1.463 % |
246.44/246.68 c | 233696 | 18525 112018 406224 | 2147483647 233687 52 | 1.463 % |
247.14/247.31 c | 234005 | 18525 112018 406224 | 2147483647 233996 52 | 1.463 % |
247.84/248.01 c | 234347 | 18525 112018 406224 | 2147483647 234338 52 | 1.463 % |
248.54/248.74 c | 234721 | 18525 112018 406224 | 2147483647 234712 52 | 1.463 % |
249.23/249.45 c | 235132 | 18525 112018 406224 | 2147483647 235123 52 | 1.463 % |
249.93/250.11 c | 235582 | 18525 112018 406224 | 2147483647 235573 52 | 1.463 % |
250.73/250.92 c | 236077 | 18525 112018 406224 | 2147483647 236068 52 | 1.463 % |
251.63/251.83 c | 236619 | 18525 112018 406224 | 2147483647 236610 52 | 1.463 % |
252.73/252.94 c | 237215 | 18525 112018 406224 | 2147483647 237206 52 | 1.463 % |
253.83/254.08 c | 237870 | 18525 112018 406224 | 2147483647 237861 52 | 1.463 % |
255.54/255.71 c | 238590 | 18525 112018 406224 | 2147483647 238581 52 | 1.463 % |
257.04/257.24 c | 239384 | 18525 112018 406224 | 2147483647 239375 52 | 1.463 % |
258.34/258.54 c | 240256 | 18525 112018 406224 | 2147483647 240247 52 | 1.463 % |
259.23/259.41 c | 241216 | 18525 112018 406224 | 2147483647 241207 52 | 1.463 % |
261.23/261.47 c | 242269 | 18525 112018 406224 | 2147483647 242260 52 | 1.463 % |
264.43/264.67 c | 243427 | 18525 112018 406224 | 2147483647 243418 52 | 1.463 % |
266.83/267.03 c | 244700 | 18525 112018 406224 | 2147483647 244691 52 | 1.463 % |
269.93/270.11 c | 246100 | 18525 112018 406224 | 2147483647 246091 52 | 1.463 % |
271.63/271.85 c | 247643 | 18525 112018 406224 | 2147483647 247634 52 | 1.463 % |
275.02/275.29 c | 249338 | 18525 112018 406224 | 2147483647 249329 52 | 1.463 % |
278.72/278.97 c | 251201 | 18525 112018 406224 | 2147483647 251192 52 | 1.463 % |
284.23/284.44 c | 253251 | 18525 112018 406224 | 2147483647 253242 53 | 1.463 % |
288.22/288.44 c | 255504 | 18525 112018 406224 | 2147483647 255495 53 | 1.463 % |
291.92/292.15 c | 257982 | 18525 112018 406224 | 2147483647 257973 53 | 1.463 % |
292.12/292.33 c | 258082 | 18525 112018 406224 | 2147483647 258073 53 | 1.463 % |
292.42/292.63 c | 258192 | 18525 112018 406224 | 2147483647 258183 53 | 1.463 % |
292.82/293.00 c | 258313 | 18525 112018 406224 | 2147483647 258304 53 | 1.463 % |
293.12/293.32 c | 258449 | 18525 112018 406224 | 2147483647 258440 53 | 1.463 % |
293.42/293.66 c | 258598 | 18525 112018 406224 | 2147483647 258589 53 | 1.463 % |
294.01/294.22 c | 258758 | 18525 112018 406224 | 2147483647 258749 53 | 1.463 % |
294.41/294.62 c | 258934 | 18525 112018 406224 | 2147483647 258925 53 | 1.463 % |
294.71/294.94 c | 259127 | 18525 112018 406224 | 2147483647 259118 53 | 1.463 % |
295.31/295.54 c | 259341 | 18525 112018 406224 | 2147483647 259332 53 | 1.463 % |
295.81/296.07 c | 259574 | 18525 112018 406224 | 2147483647 259565 53 | 1.463 % |
296.52/296.77 c | 259830 | 18525 112018 406224 | 2147483647 259821 53 | 1.463 % |
297.12/297.39 c | 260111 | 18525 112018 406224 | 259991 260102 53 | 1.463 % |
297.82/298.06 c | 260422 | 18525 112018 406224 | 259991 260413 53 | 1.463 % |
299.12/299.36 c | 260761 | 18525 112018 406224 | 259991 229548 53 | 1.463 % |
299.72/299.99 c | 261135 | 18525 112018 406224 | 259991 229922 53 | 1.463 % |
300.52/300.76 c | 261546 | 18525 112018 406224 | 259991 230333 53 | 1.463 % |
301.62/301.82 c | 261996 | 18525 112018 406224 | 259991 230783 53 | 1.463 % |
302.92/303.10 c | 262491 | 18525 112018 406224 | 259991 231278 53 | 1.463 % |
303.71/303.91 c | 263035 | 18525 112018 406224 | 259991 231822 53 | 1.463 % |
304.61/304.83 c | 263632 | 18525 112018 406224 | 259991 232419 53 | 1.463 % |
306.01/306.28 c | 264287 | 18525 112018 406224 | 259991 233074 53 | 1.463 % |
307.82/308.03 c | 265007 | 18525 112018 406224 | 259991 233794 53 | 1.463 % |
309.31/309.50 c | 265800 | 18525 112018 406224 | 259991 234587 53 | 1.463 % |
310.61/310.89 c | 266671 | 18525 112018 406224 | 259991 235458 53 | 1.463 % |
312.01/312.21 c | 267629 | 18525 112018 406224 | 259991 236416 53 | 1.463 % |
313.32/313.56 c | 268682 | 18525 112018 406224 | 259991 237469 53 | 1.463 % |
315.11/315.32 c | 269843 | 18525 112018 406224 | 259991 238630 53 | 1.463 % |
318.71/318.92 c | 271117 | 18525 112018 406224 | 2147483647 239904 54 | 1.463 % |
321.91/322.16 c | 272517 | 18525 112018 406224 | 2147483647 241304 54 | 1.463 % |
324.91/325.11 c | 274059 | 18525 112018 406224 | 2147483647 242846 54 | 1.463 % |
329.90/330.20 c | 275753 | 18525 112018 406224 | 2147483647 244540 54 | 1.463 % |
334.40/334.66 c | 277619 | 18525 112018 406224 | 2147483647 246406 54 | 1.463 % |
338.10/338.32 c | 279668 | 18525 112018 406224 | 2147483647 248455 54 | 1.463 % |
345.70/345.92 c | 281923 | 18525 112018 406224 | 2147483647 250710 55 | 1.463 % |
350.30/350.57 c | 284401 | 18525 112018 406224 | 2147483647 253188 55 | 1.463 % |
354.10/354.39 c | 287126 | 18525 112018 406224 | 2147483647 255913 54 | 1.463 % |
354.30/354.56 c | 287226 | 18525 112018 406224 | 2147483647 256013 54 | 1.463 % |
354.50/354.75 c | 287336 | 18525 112018 406224 | 2147483647 256123 54 | 1.463 % |
354.70/354.98 c | 287457 | 18525 112018 406224 | 2147483647 256244 54 | 1.463 % |
355.00/355.25 c | 287593 | 18525 112018 406224 | 2147483647 256380 54 | 1.463 % |
355.30/355.57 c | 287740 | 18525 112018 406224 | 2147483647 256527 54 | 1.463 % |
355.50/355.76 c | 287900 | 18525 112018 406224 | 2147483647 256687 54 | 1.463 % |
355.80/356.06 c | 288078 | 18525 112018 406224 | 2147483647 256865 54 | 1.463 % |
356.30/356.52 c | 288274 | 18525 112018 406224 | 2147483647 257061 54 | 1.463 % |
356.79/357.09 c | 288487 | 18525 112018 406224 | 2147483647 257274 54 | 1.463 % |
357.30/357.55 c | 288723 | 18525 112018 406224 | 2147483647 257510 54 | 1.463 % |
357.69/357.92 c | 288980 | 18525 112018 406224 | 2147483647 257767 54 | 1.463 % |
358.40/358.61 c | 289261 | 18525 112018 406224 | 2147483647 258048 54 | 1.463 % |
358.99/359.27 c | 289571 | 18525 112018 406224 | 2147483647 258358 54 | 1.463 % |
359.89/360.13 c | 289911 | 18525 112018 406224 | 2147483647 258698 54 | 1.463 % |
361.09/361.35 c | 290284 | 18525 112018 406224 | 2147483647 259071 54 | 1.463 % |
362.19/362.42 c | 290693 | 18525 112018 406224 | 2147483647 259480 54 | 1.463 % |
363.09/363.35 c | 291144 | 18525 112018 406224 | 2147483647 259931 54 | 1.463 % |
364.59/364.85 c | 291637 | 18525 112018 406224 | 2147483647 260424 54 | 1.463 % |
366.09/366.35 c | 292181 | 18525 112018 406224 | 2147483647 260968 54 | 1.463 % |
367.19/367.46 c | 292778 | 18525 112018 406224 | 2147483647 261565 54 | 1.463 % |
368.39/368.63 c | 293433 | 18525 112018 406224 | 2147483647 262220 54 | 1.463 % |
369.79/370.02 c | 294153 | 18525 112018 406224 | 2147483647 262940 54 | 1.463 % |
370.98/371.24 c | 294945 | 18525 112018 406224 | 2147483647 263732 54 | 1.463 % |
372.18/372.48 c | 295817 | 18525 112018 406224 | 2147483647 264604 54 | 1.463 % |
374.68/374.92 c | 296776 | 18525 112018 406224 | 2147483647 265563 54 | 1.463 % |
376.78/377.02 c | 297830 | 18525 112018 406224 | 2147483647 266617 54 | 1.463 % |
379.28/379.56 c | 298989 | 18525 112018 406224 | 2147483647 267776 54 | 1.463 % |
381.58/381.88 c | 300262 | 18525 112018 406224 | 2147483647 269049 54 | 1.463 % |
384.08/384.32 c | 301662 | 18525 112018 406224 | 2147483647 270449 54 | 1.463 % |
386.68/386.94 c | 303204 | 18525 112018 406224 | 2147483647 271991 54 | 1.463 % |
389.58/389.84 c | 304898 | 18525 112018 406224 | 2147483647 273685 54 | 1.463 % |
393.08/393.34 c | 306762 | 18525 112018 406224 | 2147483647 275549 54 | 1.463 % |
397.58/397.86 c | 308813 | 18525 112018 406224 | 2147483647 277600 54 | 1.463 % |
402.78/403.01 c | 311066 | 18525 112018 406224 | 2147483647 279853 54 | 1.463 % |
408.07/408.37 c | 313545 | 18525 112018 406224 | 2147483647 282332 54 | 1.463 % |
413.87/414.15 c | 316270 | 18525 112018 406224 | 2147483647 285057 54 | 1.463 % |
421.37/421.63 c | 319270 | 18525 112018 406224 | 2147483647 288057 53 | 1.463 % |
421.47/421.78 c | 319371 | 18525 112018 406224 | 2147483647 288158 53 | 1.463 % |
421.67/421.98 c | 319483 | 18525 112018 406224 | 2147483647 288270 53 | 1.463 % |
421.87/422.19 c | 319605 | 18525 112018 406224 | 2147483647 288392 53 | 1.463 % |
422.17/422.45 c | 319739 | 18525 112018 406224 | 2147483647 288526 53 | 1.463 % |
422.37/422.67 c | 319887 | 18525 112018 406224 | 2147483647 288674 53 | 1.463 % |
422.66/422.90 c | 320047 | 18525 112018 406224 | 2147483647 288834 53 | 1.463 % |
423.06/423.32 c | 320223 | 18525 112018 406224 | 2147483647 289010 53 | 1.463 % |
423.36/423.63 c | 320417 | 18525 112018 406224 | 2147483647 289204 53 | 1.463 % |
423.86/424.19 c | 320630 | 18525 112018 406224 | 2147483647 289417 53 | 1.463 % |
424.46/424.78 c | 320864 | 18525 112018 406224 | 2147483647 289651 53 | 1.463 % |
425.06/425.34 c | 321120 | 18525 112018 406224 | 2147483647 289907 53 | 1.463 % |
426.26/426.54 c | 321402 | 18525 112018 406224 | 2147483647 290189 53 | 1.463 % |
427.27/427.56 c | 321712 | 18525 112018 406224 | 2147483647 290499 53 | 1.463 % |
427.87/428.17 c | 322051 | 18525 112018 406224 | 2147483647 290838 53 | 1.463 % |
428.77/429.08 c | 322423 | 18525 112018 406224 | 2147483647 291210 53 | 1.463 % |
430.07/430.30 c | 322832 | 18525 112018 406224 | 2147483647 291619 53 | 1.463 % |
431.17/431.45 c | 323282 | 18525 112018 406224 | 2147483647 292069 53 | 1.463 % |
432.17/432.44 c | 323776 | 18525 112018 406224 | 2147483647 292563 53 | 1.463 % |
433.67/433.94 c | 324319 | 18525 112018 406224 | 2147483647 293106 53 | 1.463 % |
434.86/435.17 c | 324916 | 18525 112018 406224 | 2147483647 293703 53 | 1.463 % |
436.76/437.10 c | 325573 | 18525 112018 406224 | 2147483647 294360 53 | 1.463 % |
438.86/439.19 c | 326294 | 18525 112018 406224 | 2147483647 295081 53 | 1.463 % |
441.26/441.51 c | 327088 | 18525 112018 406224 | 2147483647 295875 53 | 1.463 % |
442.96/443.25 c | 327959 | 18525 112018 406224 | 2147483647 296746 53 | 1.463 % |
445.57/445.85 c | 328917 | 18525 112018 406224 | 2147483647 297704 54 | 1.463 % |
448.26/448.58 c | 329971 | 18525 112018 406224 | 2147483647 298758 54 | 1.463 % |
451.36/451.62 c | 331131 | 18525 112018 406224 | 2147483647 299918 54 | 1.463 % |
454.86/455.13 c | 332404 | 18525 112018 406224 | 2147483647 301191 54 | 1.463 % |
458.75/459.05 c | 333806 | 18525 112018 406224 | 2147483647 302593 53 | 1.463 % |
462.76/463.01 c | 335347 | 18525 112018 406224 | 2147483647 304134 53 | 1.463 % |
467.25/467.51 c | 337043 | 18525 112018 406224 | 2147483647 305830 53 | 1.463 % |
471.46/471.71 c | 338906 | 18525 112018 406224 | 2147483647 307693 53 | 1.463 % |
478.45/478.75 c | 340955 | 18525 112018 406224 | 308787 309742 54 | 1.463 % |
485.35/485.61 c | 343211 | 18525 112018 406224 | 308787 270678 52 | 1.463 % |
491.15/491.41 c | 345690 | 18525 112018 406224 | 308787 273157 52 | 1.463 % |
496.14/496.41 c | 348416 | 18525 112018 406224 | 308787 275883 52 | 1.463 % |
502.14/502.47 c | 351414 | 18525 112018 406224 | 2147483647 278881 52 | 1.463 % |
508.64/508.95 c | 354711 | 18525 112018 406224 | 2147483647 282178 52 | 1.463 % |
508.94/509.27 c | 354813 | 18525 112018 406224 | 2147483647 282280 52 | 1.463 % |
509.24/509.58 c | 354923 | 18525 112018 406224 | 2147483647 282390 52 | 1.463 % |
509.64/509.92 c | 355044 | 18525 112018 406224 | 2147483647 282511 52 | 1.463 % |
510.04/510.30 c | 355177 | 18525 112018 406224 | 2147483647 282644 52 | 1.463 % |
510.34/510.60 c | 355324 | 18525 112018 406224 | 2147483647 282791 52 | 1.463 % |
510.64/510.96 c | 355484 | 18525 112018 406224 | 2147483647 282951 52 | 1.463 % |
511.04/511.33 c | 355660 | 18525 112018 406224 | 2147483647 283127 52 | 1.463 % |
511.44/511.71 c | 355853 | 18525 112018 406224 | 2147483647 283320 52 | 1.463 % |
511.84/512.17 c | 356065 | 18525 112018 406224 | 2147483647 283532 52 | 1.463 % |
512.54/512.82 c | 356299 | 18525 112018 406224 | 2147483647 283766 52 | 1.463 % |
513.04/513.37 c | 356561 | 18525 112018 406224 | 2147483647 284028 52 | 1.463 % |
513.74/514.08 c | 356845 | 18525 112018 406224 | 2147483647 284312 52 | 1.463 % |
514.64/514.97 c | 357154 | 18525 112018 406224 | 2147483647 284621 52 | 1.463 % |
515.44/515.72 c | 357496 | 18525 112018 406224 | 2147483647 284963 52 | 1.463 % |
516.44/516.75 c | 357868 | 18525 112018 406224 | 2147483647 285335 52 | 1.463 % |
517.44/517.73 c | 358279 | 18525 112018 406224 | 2147483647 285746 52 | 1.463 % |
518.24/518.54 c | 358728 | 18525 112018 406224 | 2147483647 286195 52 | 1.463 % |
519.34/519.63 c | 359221 | 18525 112018 406224 | 2147483647 286688 52 | 1.463 % |
520.34/520.64 c | 359763 | 18525 112018 406224 | 2147483647 287230 52 | 1.463 % |
521.83/522.14 c | 360363 | 18525 112018 406224 | 2147483647 287830 52 | 1.463 % |
523.34/523.65 c | 361019 | 18525 112018 406224 | 2147483647 288486 52 | 1.463 % |
525.13/525.45 c | 361743 | 18525 112018 406224 | 2147483647 289210 52 | 1.463 % |
526.93/527.29 c | 362536 | 18525 112018 406224 | 2147483647 290003 52 | 1.463 % |
529.03/529.31 c | 363413 | 18525 112018 406224 | 2147483647 290880 52 | 1.463 % |
531.03/531.36 c | 364374 | 18525 112018 406224 | 2147483647 291841 52 | 1.463 % |
533.33/533.60 c | 365427 | 18525 112018 406224 | 2147483647 292894 52 | 1.463 % |
535.43/535.76 c | 366585 | 18525 112018 406224 | 2147483647 294052 52 | 1.463 % |
538.53/538.89 c | 367859 | 18525 112018 406224 | 2147483647 295326 52 | 1.463 % |
542.13/542.44 c | 369262 | 18525 112018 406224 | 2147483647 296729 52 | 1.463 % |
545.43/545.75 c | 370802 | 18525 112018 406224 | 2147483647 298269 52 | 1.463 % |
549.22/549.52 c | 372496 | 18525 112018 406224 | 2147483647 299963 52 | 1.463 % |
554.13/554.41 c | 374359 | 18525 112018 406224 | 2147483647 301826 51 | 1.463 % |
559.43/559.76 c | 376409 | 18525 112018 406224 | 2147483647 303876 51 | 1.463 % |
564.83/565.11 c | 378663 | 18525 112018 406224 | 2147483647 306130 51 | 1.463 % |
570.33/570.63 c | 381142 | 18525 112018 406224 | 2147483647 308609 51 | 1.463 % |
577.13/577.50 c | 383867 | 18525 112018 406224 | 2147483647 311334 51 | 1.463 % |
585.12/585.41 c | 386864 | 18525 112018 406224 | 2147483647 314331 51 | 1.463 % |
593.82/594.11 c | 390161 | 18525 112018 406224 | 2147483647 317628 51 | 1.463 % |
601.42/601.74 c | 393787 | 18525 112018 406224 | 2147483647 321254 51 | 1.463 % |
601.71/602.01 c | 393888 | 18525 112018 406224 | 2147483647 321355 51 | 1.463 % |
601.91/602.28 c | 394001 | 18525 112018 406224 | 2147483647 321468 51 | 1.463 % |
602.21/602.51 c | 394122 | 18525 112018 406224 | 2147483647 321589 51 | 1.463 % |
602.51/602.82 c | 394257 | 18525 112018 406224 | 2147483647 321724 51 | 1.463 % |
602.91/603.23 c | 394403 | 18525 112018 406224 | 2147483647 321870 51 | 1.463 % |
603.31/603.64 c | 394564 | 18525 112018 406224 | 2147483647 322031 51 | 1.463 % |
603.61/603.90 c | 394742 | 18525 112018 406224 | 2147483647 322209 51 | 1.463 % |
603.91/604.26 c | 394935 | 18525 112018 406224 | 2147483647 322402 51 | 1.463 % |
604.41/604.77 c | 395147 | 18525 112018 406224 | 2147483647 322614 51 | 1.463 % |
605.11/605.44 c | 395381 | 18525 112018 406224 | 2147483647 322848 51 | 1.463 % |
605.61/605.97 c | 395637 | 18525 112018 406224 | 2147483647 323104 51 | 1.463 % |
606.31/606.68 c | 395918 | 18525 112018 406224 | 2147483647 323385 51 | 1.463 % |
606.91/607.25 c | 396227 | 18525 112018 406224 | 2147483647 323694 51 | 1.463 % |
607.51/607.84 c | 396566 | 18525 112018 406224 | 2147483647 324033 51 | 1.463 % |
608.21/608.54 c | 396944 | 18525 112018 406224 | 2147483647 324411 51 | 1.463 % |
609.01/609.39 c | 397354 | 18525 112018 406224 | 2147483647 324821 51 | 1.463 % |
610.21/610.53 c | 397803 | 18525 112018 406224 | 2147483647 325270 51 | 1.463 % |
611.90/612.29 c | 398297 | 18525 112018 406224 | 2147483647 325764 51 | 1.463 % |
613.40/613.72 c | 398842 | 18525 112018 406224 | 2147483647 326309 51 | 1.463 % |
614.20/614.54 c | 399438 | 18525 112018 406224 | 2147483647 326905 51 | 1.463 % |
615.20/615.52 c | 400093 | 18525 112018 406224 | 2147483647 327560 51 | 1.463 % |
617.70/618.00 c | 400813 | 18525 112018 406224 | 2147483647 328280 51 | 1.463 % |
619.51/619.89 c | 401609 | 18525 112018 406224 | 2147483647 329076 51 | 1.463 % |
622.41/622.75 c | 402480 | 18525 112018 406224 | 2147483647 329947 51 | 1.463 % |
624.61/624.90 c | 403438 | 18525 112018 406224 | 2147483647 330905 51 | 1.463 % |
627.20/627.54 c | 404493 | 18525 112018 406224 | 2147483647 331960 51 | 1.463 % |
630.70/631.04 c | 405651 | 18525 112018 406224 | 2147483647 333118 51 | 1.463 % |
633.80/634.11 c | 406924 | 18525 112018 406224 | 2147483647 334391 51 | 1.463 % |
636.70/637.07 c | 408325 | 18525 112018 406224 | 2147483647 335792 51 | 1.463 % |
640.09/640.40 c | 409868 | 18525 112018 406224 | 2147483647 337335 51 | 1.463 % |
644.59/644.95 c | 411563 | 18525 112018 406224 | 337467 339030 51 | 1.463 % |
651.80/652.15 c | 413426 | 18525 112018 406224 | 337467 306990 49 | 1.463 % |
657.00/657.31 c | 415478 | 18525 112018 406224 | 337467 309042 49 | 1.463 % |
662.29/662.63 c | 417734 | 18525 112018 406224 | 337467 311298 49 | 1.463 % |
667.69/668.06 c | 420213 | 18525 112018 406224 | 2147483647 313777 49 | 1.463 % |
675.10/675.41 c | 422938 | 18525 112018 406224 | 2147483647 316502 49 | 1.463 % |
683.49/683.84 c | 425937 | 18525 112018 406224 | 2147483647 319501 49 | 1.463 % |
691.49/691.81 c | 429233 | 18525 112018 406224 | 2147483647 322797 49 | 1.463 % |
699.68/700.07 c | 432858 | 18525 112018 406224 | 2147483647 326422 49 | 1.463 % |
709.58/709.93 c | 436845 | 18525 112018 406224 | 2147483647 330409 49 | 1.463 % |
709.88/710.26 c | 436946 | 18525 112018 406224 | 2147483647 330510 49 | 1.463 % |
710.38/710.75 c | 437056 | 18525 112018 406224 | 2147483647 330620 49 | 1.463 % |
710.68/711.07 c | 437177 | 18525 112018 406224 | 2147483647 330741 49 | 1.463 % |
711.08/711.42 c | 437310 | 18525 112018 406224 | 2147483647 330874 49 | 1.463 % |
711.58/711.95 c | 437458 | 18525 112018 406224 | 2147483647 331022 49 | 1.463 % |
711.88/712.26 c | 437618 | 18525 112018 406224 | 2147483647 331182 49 | 1.463 % |
712.18/712.58 c | 437795 | 18525 112018 406224 | 2147483647 331359 49 | 1.463 % |
712.78/713.12 c | 437989 | 18525 112018 406224 | 2147483647 331553 49 | 1.463 % |
713.18/713.56 c | 438203 | 18525 112018 406224 | 2147483647 331767 49 | 1.463 % |
713.78/714.11 c | 438437 | 18525 112018 406224 | 2147483647 332001 49 | 1.463 % |
714.38/714.72 c | 438695 | 18525 112018 406224 | 2147483647 332259 49 | 1.463 % |
714.98/715.35 c | 438977 | 18525 112018 406224 | 2147483647 332541 49 | 1.463 % |
715.68/716.10 c | 439287 | 18525 112018 406224 | 2147483647 332851 49 | 1.463 % |
716.58/716.95 c | 439628 | 18525 112018 406224 | 2147483647 333192 49 | 1.463 % |
717.68/718.03 c | 440000 | 18525 112018 406224 | 2147483647 333564 49 | 1.463 % |
718.88/719.27 c | 440411 | 18525 112018 406224 | 2147483647 333975 49 | 1.463 % |
720.08/720.44 c | 440861 | 18525 112018 406224 | 2147483647 334425 49 | 1.463 % |
721.18/721.58 c | 441354 | 18525 112018 406224 | 2147483647 334918 49 | 1.463 % |
722.38/722.76 c | 441896 | 18525 112018 406224 | 2147483647 335460 49 | 1.463 % |
723.97/724.34 c | 442492 | 18525 112018 406224 | 2147483647 336056 49 | 1.463 % |
725.68/726.03 c | 443147 | 18525 112018 406224 | 2147483647 336711 49 | 1.463 % |
727.78/728.12 c | 443868 | 18525 112018 406224 | 2147483647 337432 49 | 1.463 % |
730.17/730.52 c | 444661 | 18525 112018 406224 | 2147483647 338225 49 | 1.463 % |
732.37/732.70 c | 445532 | 18525 112018 406224 | 2147483647 339096 49 | 1.463 % |
734.07/734.48 c | 446491 | 18525 112018 406224 | 2147483647 340055 49 | 1.463 % |
735.57/735.93 c | 447545 | 18525 112018 406224 | 2147483647 341109 49 | 1.463 % |
738.87/739.25 c | 448703 | 18525 112018 406224 | 2147483647 342267 49 | 1.463 % |
740.87/741.30 c | 449978 | 18525 112018 406224 | 2147483647 343542 49 | 1.463 % |
742.87/743.27 c | 451382 | 18525 112018 406224 | 2147483647 344946 49 | 1.463 % |
746.17/746.50 c | 452924 | 18525 112018 406224 | 2147483647 346488 49 | 1.463 % |
749.67/750.08 c | 454618 | 18525 112018 406224 | 2147483647 348182 49 | 1.463 % |
754.27/754.69 c | 456482 | 18525 112018 406224 | 2147483647 350046 49 | 1.463 % |
757.96/758.35 c | 458533 | 18525 112018 406224 | 2147483647 352097 49 | 1.463 % |
761.16/761.59 c | 460787 | 18525 112018 406224 | 2147483647 354351 49 | 1.463 % |
766.46/766.84 c | 463266 | 18525 112018 406224 | 2147483647 356830 50 | 1.463 % |
772.36/772.75 c | 465992 | 18525 112018 406224 | 2147483647 359556 50 | 1.463 % |
779.36/779.71 c | 468989 | 18525 112018 406224 | 2147483647 362553 50 | 1.463 % |
786.75/787.20 c | 472285 | 18525 112018 406224 | 2147483647 365849 50 | 1.463 % |
795.85/796.23 c | 475911 | 18525 112018 406224 | 2147483647 369475 50 | 1.463 % |
805.85/806.23 c | 479898 | 18525 112018 406224 | 2147483647 373462 51 | 1.463 % |
818.45/818.85 c | 484288 | 18525 112018 406224 | 2147483647 377852 51 | 1.463 % |
818.75/819.12 c | 484388 | 18525 112018 406224 | 2147483647 377952 51 | 1.463 % |
819.05/819.42 c | 484499 | 18525 112018 406224 | 2147483647 378063 51 | 1.463 % |
819.35/819.76 c | 484621 | 18525 112018 406224 | 2147483647 378185 51 | 1.463 % |
819.75/820.18 c | 484754 | 18525 112018 406224 | 2147483647 378318 51 | 1.463 % |
820.35/820.76 c | 484900 | 18525 112018 406224 | 2147483647 378464 51 | 1.463 % |
820.75/821.19 c | 485061 | 18525 112018 406224 | 2147483647 378625 51 | 1.463 % |
821.35/821.79 c | 485238 | 18525 112018 406224 | 2147483647 378802 51 | 1.463 % |
821.85/822.24 c | 485432 | 18525 112018 406224 | 2147483647 378996 51 | 1.463 % |
822.35/822.73 c | 485645 | 18525 112018 406224 | 2147483647 379209 51 | 1.463 % |
822.95/823.35 c | 485879 | 18525 112018 406224 | 2147483647 379443 51 | 1.463 % |
823.55/823.94 c | 486137 | 18525 112018 406224 | 2147483647 379701 51 | 1.463 % |
824.35/824.71 c | 486419 | 18525 112018 406224 | 2147483647 379983 51 | 1.463 % |
824.85/825.23 c | 486729 | 18525 112018 406224 | 2147483647 380293 51 | 1.463 % |
825.75/826.17 c | 487069 | 18525 112018 406224 | 2147483647 380633 51 | 1.463 % |
826.64/827.09 c | 487441 | 18525 112018 406224 | 2147483647 381005 51 | 1.463 % |
827.95/828.39 c | 487850 | 18525 112018 406224 | 2147483647 381414 51 | 1.463 % |
829.04/829.48 c | 488302 | 18525 112018 406224 | 2147483647 381866 51 | 1.463 % |
830.64/831.07 c | 488799 | 18525 112018 406224 | 2147483647 382363 51 | 1.463 % |
831.84/832.26 c | 489341 | 18525 112018 406224 | 2147483647 382905 51 | 1.463 % |
833.73/834.13 c | 489937 | 18525 112018 406224 | 2147483647 383501 51 | 1.463 % |
835.43/835.89 c | 490592 | 18525 112018 406224 | 383565 384156 51 | 1.463 % |
840.23/840.69 c | 491314 | 18525 112018 406224 | 383565 327095 49 | 1.463 % |
841.73/842.12 c | 492106 | 18525 112018 406224 | 383565 327887 49 | 1.463 % |
843.34/843.77 c | 492977 | 18525 112018 406224 | 383565 328758 49 | 1.463 % |
845.43/845.88 c | 493935 | 18525 112018 406224 | 383565 329716 49 | 1.463 % |
847.43/847.80 c | 494989 | 18525 112018 406224 | 383565 330770 49 | 1.463 % |
850.33/850.72 c | 496149 | 18525 112018 406224 | 383565 331930 50 | 1.463 % |
854.24/854.62 c | 497423 | 18525 112018 406224 | 383565 333204 50 | 1.463 % |
857.64/858.01 c | 498824 | 18525 112018 406224 | 383565 334605 50 | 1.463 % |
861.73/862.10 c | 500365 | 18525 112018 406224 | 2147483647 336146 50 | 1.463 % |
865.63/866.03 c | 502061 | 18525 112018 406224 | 2147483647 337842 50 | 1.463 % |
871.03/871.43 c | 503925 | 18525 112018 406224 | 2147483647 339706 50 | 1.463 % |
876.83/877.23 c | 505974 | 18525 112018 406224 | 2147483647 341755 50 | 1.463 % |
882.43/882.89 c | 508227 | 18525 112018 406224 | 2147483647 344008 50 | 1.463 % |
888.73/889.12 c | 510707 | 18525 112018 406224 | 2147483647 346488 50 | 1.463 % |
895.92/896.40 c | 513433 | 18525 112018 406224 | 2147483647 349214 50 | 1.463 % |
903.62/904.02 c | 516430 | 18525 112018 406224 | 2147483647 352211 50 | 1.463 % |
913.12/913.57 c | 519727 | 18525 112018 406224 | 2147483647 355508 50 | 1.463 % |
923.41/923.90 c | 523352 | 18525 112018 406224 | 2147483647 359133 50 | 1.463 % |
935.51/936.00 c | 527339 | 18525 112018 406224 | 2147483647 363120 50 | 1.463 % |
947.81/948.24 c | 531724 | 18525 112018 406224 | 2147483647 367505 50 | 1.463 % |
958.71/959.13 c | 536547 | 18525 112018 406224 | 2147483647 372328 50 | 1.463 % |
959.10/959.57 c | 536651 | 18525 112018 406224 | 2147483647 372432 50 | 1.463 % |
959.40/959.86 c | 536764 | 18525 112018 406224 | 2147483647 372545 50 | 1.463 % |
959.70/960.14 c | 536885 | 18525 112018 406224 | 2147483647 372666 50 | 1.463 % |
960.00/960.48 c | 537019 | 18525 112018 406224 | 2147483647 372800 50 | 1.463 % |
960.40/960.87 c | 537165 | 18525 112018 406224 | 2147483647 372946 50 | 1.463 % |
961.01/961.47 c | 537327 | 18525 112018 406224 | 2147483647 373108 50 | 1.463 % |
961.60/962.04 c | 537505 | 18525 112018 406224 | 2147483647 373286 50 | 1.463 % |
962.30/962.77 c | 537699 | 18525 112018 406224 | 2147483647 373480 50 | 1.463 % |
963.30/963.70 c | 537912 | 18525 112018 406224 | 2147483647 373693 50 | 1.463 % |
964.00/964.46 c | 538147 | 18525 112018 406224 | 2147483647 373928 50 | 1.463 % |
964.80/965.25 c | 538403 | 18525 112018 406224 | 2147483647 374184 50 | 1.463 % |
965.70/966.11 c | 538684 | 18525 112018 406224 | 2147483647 374465 50 | 1.463 % |
966.50/966.98 c | 538993 | 18525 112018 406224 | 2147483647 374774 50 | 1.463 % |
968.00/968.43 c | 539333 | 18525 112018 406224 | 2147483647 375114 50 | 1.463 % |
969.70/970.16 c | 539705 | 18525 112018 406224 | 2147483647 375486 50 | 1.463 % |
971.50/971.93 c | 540115 | 18525 112018 406224 | 2147483647 375896 50 | 1.463 % |
972.90/973.38 c | 540564 | 18525 112018 406224 | 2147483647 376345 50 | 1.463 % |
974.60/975.00 c | 541058 | 18525 112018 406224 | 2147483647 376839 50 | 1.463 % |
975.70/976.11 c | 541600 | 18525 112018 406224 | 2147483647 377381 50 | 1.463 % |
977.19/977.69 c | 542197 | 18525 112018 406224 | 2147483647 377978 50 | 1.463 % |
979.29/979.77 c | 542852 | 18525 112018 406224 | 2147483647 378633 50 | 1.463 % |
981.59/982.02 c | 543573 | 18525 112018 406224 | 2147483647 379354 50 | 1.463 % |
984.19/984.64 c | 544365 | 18525 112018 406224 | 2147483647 380146 50 | 1.463 % |
987.19/987.70 c | 545237 | 18525 112018 406224 | 2147483647 381018 50 | 1.463 % |
990.89/991.34 c | 546195 | 18525 112018 406224 | 2147483647 381976 50 | 1.463 % |
992.69/993.16 c | 547248 | 18525 112018 406224 | 2147483647 383029 50 | 1.463 % |
994.89/995.36 c | 548406 | 18525 112018 406224 | 2147483647 384187 50 | 1.463 % |
997.89/998.34 c | 549679 | 18525 112018 406224 | 2147483647 385460 50 | 1.463 % |
1000.49/1000.97 c | 551080 | 18525 112018 406224 | 2147483647 386861 50 | 1.463 % |
1002.79/1003.23 c | 552620 | 18525 112018 406224 | 2147483647 388401 50 | 1.463 % |
1007.09/1007.53 c | 554314 | 18525 112018 406224 | 2147483647 390095 50 | 1.463 % |
1010.89/1011.37 c | 556178 | 18525 112018 406224 | 2147483647 391959 50 | 1.463 % |
1016.69/1017.12 c | 558230 | 18525 112018 406224 | 2147483647 394011 50 | 1.463 % |
1025.89/1026.32 c | 560487 | 18525 112018 406224 | 2147483647 396268 50 | 1.463 % |
1034.18/1034.67 c | 562966 | 18525 112018 406224 | 2147483647 398747 50 | 1.463 % |
1040.58/1041.02 c | 565692 | 18525 112018 406224 | 2147483647 401473 50 | 1.463 % |
1050.68/1051.19 c | 568690 | 18525 112018 406224 | 2147483647 404471 50 | 1.463 % |
1059.98/1060.48 c | 571988 | 18525 112018 406224 | 405795 407769 50 | 1.463 % |
1073.27/1073.76 c | 575613 | 18525 112018 406224 | 405795 319956 50 | 1.463 % |
1082.07/1082.57 c | 579600 | 18525 112018 406224 | 405795 323943 50 | 1.463 % |
1091.16/1091.62 c | 583985 | 18525 112018 406224 | 2147483647 328328 51 | 1.463 % |
1101.46/1101.92 c | 588809 | 18525 112018 406224 | 2147483647 333152 51 | 1.463 % |
1115.16/1115.62 c | 594114 | 18525 112018 406224 | 334345 338457 51 | 1.463 % |
1116.86/1117.31 c | 594216 | 18525 112018 406224 | 334345 304714 51 | 1.463 % |
1117.16/1117.62 c | 594327 | 18525 112018 406224 | 334345 304825 51 | 1.463 % |
1117.56/1118.02 c | 594448 | 18525 112018 406224 | 334345 304946 51 | 1.463 % |
1117.76/1118.29 c | 594581 | 18525 112018 406224 | 334345 305079 51 | 1.463 % |
1118.26/1118.74 c | 594728 | 18525 112018 406224 | 334345 305226 51 | 1.463 % |
1118.65/1119.17 c | 594888 | 18525 112018 406224 | 334345 305386 51 | 1.463 % |
1119.15/1119.63 c | 595064 | 18525 112018 406224 | 334345 305562 51 | 1.463 % |
1119.75/1120.25 c | 595260 | 18525 112018 406224 | 334345 305758 51 | 1.463 % |
1120.36/1120.82 c | 595472 | 18525 112018 406224 | 334345 305970 51 | 1.463 % |
1120.95/1121.49 c | 595706 | 18525 112018 406224 | 334345 306204 51 | 1.463 % |
1121.75/1122.20 c | 595963 | 18525 112018 406224 | 334345 306461 51 | 1.463 % |
1122.56/1123.04 c | 596244 | 18525 112018 406224 | 334345 306742 51 | 1.463 % |
1123.66/1124.14 c | 596554 | 18525 112018 406224 | 334345 307052 51 | 1.463 % |
1124.55/1125.00 c | 596897 | 18525 112018 406224 | 334345 307395 51 | 1.463 % |
1125.55/1126.08 c | 597269 | 18525 112018 406224 | 334345 307767 51 | 1.463 % |
1126.75/1127.24 c | 597678 | 18525 112018 406224 | 334345 308176 51 | 1.463 % |
1127.75/1128.21 c | 598128 | 18525 112018 406224 | 334345 308626 51 | 1.463 % |
1128.85/1129.39 c | 598623 | 18525 112018 406224 | 334345 309121 51 | 1.463 % |
1130.55/1131.07 c | 599165 | 18525 112018 406224 | 334345 309663 51 | 1.463 % |
1132.05/1132.55 c | 599762 | 18525 112018 406224 | 334345 310260 51 | 1.463 % |
1133.45/1133.92 c | 600417 | 18525 112018 406224 | 2147483647 310915 51 | 1.463 % |
1135.55/1136.07 c | 601138 | 18525 112018 406224 | 2147483647 311636 51 | 1.463 % |
1137.95/1138.48 c | 601931 | 18525 112018 406224 | 2147483647 312429 51 | 1.463 % |
1140.54/1141.06 c | 602804 | 18525 112018 406224 | 2147483647 313302 51 | 1.463 % |
1142.84/1143.38 c | 603763 | 18525 112018 406224 | 2147483647 314261 51 | 1.463 % |
1145.94/1146.45 c | 604816 | 18525 112018 406224 | 2147483647 315314 51 | 1.463 % |
1148.44/1148.90 c | 605975 | 18525 112018 406224 | 2147483647 316473 51 | 1.463 % |
1151.84/1152.31 c | 607249 | 18525 112018 406224 | 2147483647 317747 51 | 1.463 % |
1156.04/1156.60 c | 608650 | 18525 112018 406224 | 2147483647 319148 51 | 1.463 % |
1159.84/1160.33 c | 610191 | 18525 112018 406224 | 320498 320689 51 | 1.463 % |
1164.94/1165.47 c | 611886 | 18525 112018 406224 | 320498 290156 51 | 1.463 % |
1168.93/1169.40 c | 613749 | 18525 112018 406224 | 320498 292019 51 | 1.463 % |
1173.53/1174.03 c | 615798 | 18525 112018 406224 | 320498 294068 51 | 1.463 % |
1177.93/1178.47 c | 618052 | 18525 112018 406224 | 320498 296322 51 | 1.463 % |
1183.33/1183.81 c | 620530 | 18525 112018 406224 | 2147483647 298800 51 | 1.463 % |
1190.64/1191.14 c | 623256 | 18525 112018 406224 | 2147483647 301526 51 | 1.463 % |
1197.63/1198.10 c | 626254 | 18525 112018 406224 | 2147483647 304524 51 | 1.463 % |
1205.33/1205.85 c | 629552 | 18525 112018 406224 | 2147483647 307822 51 | 1.463 % |
1216.63/1217.12 c | 633181 | 18525 112018 406224 | 2147483647 311451 52 | 1.463 % |
1227.73/1228.21 c | 637169 | 18525 112018 406224 | 2147483647 315439 52 | 1.463 % |
1236.12/1236.66 c | 641555 | 18525 112018 406224 | 2147483647 319825 52 | 1.463 % |
1251.22/1251.80 c | 646379 | 18525 112018 406224 | 2147483647 324649 52 | 1.463 % |
1272.21/1272.74 c | 651684 | 18525 112018 406224 | 2147483647 329954 52 | 1.463 % |
1285.51/1286.00 c | 657521 | 18525 112018 406224 | 2147483647 335791 52 | 1.463 % |
1285.71/1286.27 c | 657622 | 18525 112018 406224 | 2147483647 335892 52 | 1.463 % |
1286.01/1286.52 c | 657732 | 18525 112018 406224 | 2147483647 336002 52 | 1.463 % |
1286.31/1286.83 c | 657853 | 18525 112018 406224 | 2147483647 336123 52 | 1.463 % |
1286.61/1287.12 c | 657988 | 18525 112018 406224 | 2147483647 336258 52 | 1.463 % |
1287.01/1287.51 c | 658139 | 18525 112018 406224 | 2147483647 336409 52 | 1.463 % |
1287.41/1287.93 c | 658299 | 18525 112018 406224 | 2147483647 336569 52 | 1.463 % |
1287.71/1288.26 c | 658478 | 18525 112018 406224 | 2147483647 336748 52 | 1.463 % |
1288.01/1288.58 c | 658672 | 18525 112018 406224 | 2147483647 336942 52 | 1.463 % |
1288.31/1288.85 c | 658884 | 18525 112018 406224 | 2147483647 337154 52 | 1.463 % |
1288.91/1289.45 c | 659119 | 18525 112018 406224 | 2147483647 337389 52 | 1.463 % |
1289.60/1290.16 c | 659375 | 18525 112018 406224 | 2147483647 337645 52 | 1.463 % |
1290.91/1291.41 c | 659656 | 18525 112018 406224 | 2147483647 337926 52 | 1.463 % |
1291.50/1292.09 c | 659965 | 18525 112018 406224 | 2147483647 338235 52 | 1.463 % |
1292.00/1292.54 c | 660304 | 18525 112018 406224 | 2147483647 338574 52 | 1.463 % |
1292.80/1293.37 c | 660676 | 18525 112018 406224 | 2147483647 338946 52 | 1.463 % |
1294.10/1294.70 c | 661085 | 18525 112018 406224 | 2147483647 339355 52 | 1.463 % |
1295.40/1295.91 c | 661534 | 18525 112018 406224 | 2147483647 339804 52 | 1.463 % |
1296.50/1297.09 c | 662027 | 18525 112018 406224 | 2147483647 340297 52 | 1.463 % |
1298.60/1299.16 c | 662569 | 18525 112018 406224 | 2147483647 340839 52 | 1.463 % |
1300.10/1300.65 c | 663165 | 18525 112018 406224 | 2147483647 341435 52 | 1.463 % |
1301.80/1302.39 c | 663820 | 18525 112018 406224 | 2147483647 342090 52 | 1.463 % |
1303.10/1303.69 c | 664540 | 18525 112018 406224 | 2147483647 342810 52 | 1.463 % |
1304.70/1305.28 c | 665333 | 18525 112018 406224 | 2147483647 343603 52 | 1.463 % |
1307.89/1308.44 c | 666206 | 18525 112018 406224 | 2147483647 344476 52 | 1.463 % |
1309.70/1310.26 c | 667165 | 18525 112018 406224 | 2147483647 345435 52 | 1.463 % |
1312.19/1312.75 c | 668218 | 18525 112018 406224 | 2147483647 346488 52 | 1.463 % |
1315.49/1316.05 c | 669376 | 18525 112018 406224 | 2147483647 347646 52 | 1.463 % |
1318.69/1319.23 c | 670650 | 18525 112018 406224 | 2147483647 348920 52 | 1.463 % |
1322.59/1323.13 c | 672052 | 18525 112018 406224 | 2147483647 350322 52 | 1.463 % |
1327.29/1327.88 c | 673594 | 18525 112018 406224 | 2147483647 351864 52 | 1.463 % |
1331.69/1332.25 c | 675288 | 18525 112018 406224 | 2147483647 353558 52 | 1.463 % |
1338.98/1339.50 c | 677153 | 18525 112018 406224 | 2147483647 355423 52 | 1.463 % |
1343.69/1344.24 c | 679205 | 18525 112018 406224 | 2147483647 357475 52 | 1.463 % |
1349.38/1349.93 c | 681458 | 18525 112018 406224 | 2147483647 359728 52 | 1.463 % |
1357.48/1358.09 c | 683936 | 18525 112018 406224 | 2147483647 362206 52 | 1.463 % |
1367.28/1367.83 c | 686664 | 18525 112018 406224 | 2147483647 364934 52 | 1.463 % |
1376.27/1376.81 c | 689664 | 18525 112018 406224 | 2147483647 367934 52 | 1.463 % |
1382.57/1383.12 c | 692960 | 18525 112018 406224 | 368274 371230 52 | 1.463 % |
1395.37/1395.99 c | 696587 | 18525 112018 406224 | 368274 337734 53 | 1.463 % |
1401.66/1402.20 c | 700574 | 18525 112018 406224 | 2147483647 341721 52 | 1.463 % |
1416.06/1416.70 c | 704962 | 18525 112018 406224 | 2147483647 346109 53 | 1.463 % |
1432.67/1433.26 c | 709785 | 18525 112018 406224 | 2147483647 350932 54 | 1.463 % |
1445.76/1446.37 c | 715090 | 18525 112018 406224 | 2147483647 356237 53 | 1.463 % |
1461.36/1461.99 c | 720926 | 18525 112018 406224 | 2147483647 362073 53 | 1.463 % |
1484.35/1484.98 c | 727345 | 18525 112018 406224 | 2147483647 368492 53 | 1.463 % |
1484.95/1485.58 c | 727446 | 18525 112018 406224 | 2147483647 368593 53 | 1.463 % |
1485.65/1486.28 c | 727556 | 18525 112018 406224 | 2147483647 368703 53 | 1.463 % |
1486.35/1486.96 c | 727677 | 18525 112018 406224 | 2147483647 368824 53 | 1.463 % |
1486.75/1487.39 c | 727812 | 18525 112018 406224 | 2147483647 368959 53 | 1.463 % |
1487.15/1487.75 c | 727958 | 18525 112018 406224 | 2147483647 369105 53 | 1.463 % |
1487.55/1488.18 c | 728118 | 18525 112018 406224 | 2147483647 369265 53 | 1.463 % |
1488.05/1488.64 c | 728296 | 18525 112018 406224 | 2147483647 369443 53 | 1.463 % |
1488.55/1489.10 c | 728493 | 18525 112018 406224 | 2147483647 369640 53 | 1.463 % |
1489.15/1489.70 c | 728705 | 18525 112018 406224 | 2147483647 369852 53 | 1.463 % |
1489.85/1490.42 c | 728938 | 18525 112018 406224 | 2147483647 370085 53 | 1.463 % |
1490.15/1490.77 c | 729195 | 18525 112018 406224 | 2147483647 370342 53 | 1.463 % |
1490.95/1491.57 c | 729476 | 18525 112018 406224 | 2147483647 370623 53 | 1.463 % |
1491.94/1492.57 c | 729785 | 18525 112018 406224 | 2147483647 370932 53 | 1.463 % |
1493.25/1493.85 c | 730125 | 18525 112018 406224 | 2147483647 371272 53 | 1.463 % |
1494.35/1494.98 c | 730497 | 18525 112018 406224 | 2147483647 371644 53 | 1.463 % |
1495.94/1496.53 c | 730906 | 18525 112018 406224 | 2147483647 372053 53 | 1.463 % |
1497.34/1497.96 c | 731356 | 18525 112018 406224 | 2147483647 372503 53 | 1.463 % |
1499.04/1499.64 c | 731849 | 18525 112018 406224 | 2147483647 372996 53 | 1.463 % |
1500.64/1501.25 c | 732394 | 18525 112018 406224 | 2147483647 373541 53 | 1.463 % |
1502.64/1503.21 c | 732990 | 18525 112018 406224 | 2147483647 374137 53 | 1.463 % |
1504.24/1504.83 c | 733646 | 18525 112018 406224 | 2147483647 374793 53 | 1.463 % |
1505.74/1506.35 c | 734366 | 18525 112018 406224 | 2147483647 375513 53 | 1.463 % |
1508.54/1509.13 c | 735158 | 18525 112018 406224 | 2147483647 376305 53 | 1.463 % |
1509.94/1510.50 c | 736031 | 18525 112018 406224 | 2147483647 377178 53 | 1.463 % |
1512.54/1513.12 c | 736989 | 18525 112018 406224 | 2147483647 378136 53 | 1.463 % |
1515.34/1515.93 c | 738048 | 18525 112018 406224 | 2147483647 379195 53 | 1.463 % |
1517.44/1518.07 c | 739206 | 18525 112018 406224 | 2147483647 380353 53 | 1.463 % |
1520.54/1521.15 c | 740480 | 18525 112018 406224 | 2147483647 381627 53 | 1.463 % |
1524.73/1525.31 c | 741880 | 18525 112018 406224 | 2147483647 383027 53 | 1.463 % |
1527.83/1528.44 c | 743421 | 18525 112018 406224 | 2147483647 384568 53 | 1.463 % |
1532.53/1533.16 c | 745115 | 18525 112018 406224 | 2147483647 386262 53 | 1.463 % |
1536.93/1537.50 c | 746978 | 18525 112018 406224 | 2147483647 388125 53 | 1.463 % |
1542.92/1543.54 c | 749029 | 18525 112018 406224 | 2147483647 390176 53 | 1.463 % |
1548.13/1548.76 c | 751283 | 18525 112018 406224 | 2147483647 392430 53 | 1.463 % |
1556.12/1556.78 c | 753761 | 18525 112018 406224 | 2147483647 394908 53 | 1.463 % |
1564.63/1565.23 c | 756486 | 18525 112018 406224 | 2147483647 397633 53 | 1.463 % |
1573.02/1573.66 c | 759483 | 18525 112018 406224 | 2147483647 400630 53 | 1.463 % |
1582.81/1583.48 c | 762781 | 18525 112018 406224 | 2147483647 403928 53 | 1.463 % |
1593.32/1593.93 c | 766406 | 18525 112018 406224 | 2147483647 407553 53 | 1.463 % |
1610.21/1610.84 c | 770393 | 18525 112018 406224 | 2147483647 411540 53 | 1.463 % |
1628.60/1629.25 c | 774781 | 18525 112018 406224 | 2147483647 415928 53 | 1.463 % |
1644.20/1644.89 c | 779604 | 18525 112018 406224 | 2147483647 420751 54 | 1.463 % |
1661.99/1662.63 c | 784909 | 18525 112018 406224 | 2147483647 426056 54 | 1.463 % |
1682.69/1683.34 c | 790745 | 18525 112018 406224 | 2147483647 431892 54 | 1.463 % |
1700.98/1701.68 c | 797163 | 18445 110186 400762 | 2147483647 392840 56 | 1.888 % |
1722.58/1723.27 c | 804222 | 18445 110186 400762 | 2147483647 399899 56 | 1.888 % |
1722.98/1723.68 c | 804325 | 18445 110186 400762 | 2147483647 400002 56 | 1.888 % |
1723.28/1723.95 c | 804435 | 18445 110186 400762 | 2147483647 400112 56 | 1.888 % |
1723.68/1724.37 c | 804557 | 18445 110186 400762 | 2147483647 400234 56 | 1.888 % |
1724.08/1724.79 c | 804690 | 18445 110186 400762 | 2147483647 400367 56 | 1.888 % |
1724.68/1725.31 c | 804837 | 18445 110186 400762 | 2147483647 400514 56 | 1.888 % |
1725.28/1725.91 c | 804997 | 18445 110186 400762 | 2147483647 400674 56 | 1.888 % |
1725.98/1726.64 c | 805174 | 18445 110186 400762 | 2147483647 400851 56 | 1.888 % |
1726.78/1727.42 c | 805367 | 18445 110186 400762 | 2147483647 401044 56 | 1.888 % |
1727.68/1728.36 c | 805581 | 18445 110186 400762 | 2147483647 401258 56 | 1.888 % |
1728.98/1729.62 c | 805814 | 18445 110186 400762 | 2147483647 401491 56 | 1.888 % |
1730.57/1731.21 c | 806071 | 18445 110186 400762 | 2147483647 401748 56 | 1.888 % |
1731.47/1732.18 c | 806354 | 18445 110186 400762 | 2147483647 402031 56 | 1.888 % |
1732.67/1733.37 c | 806664 | 18445 110186 400762 | 2147483647 402341 56 | 1.888 % |
1733.77/1734.41 c | 807003 | 18445 110186 400762 | 2147483647 402680 56 | 1.888 % |
1735.97/1736.64 c | 807377 | 18445 110186 400762 | 2147483647 403054 56 | 1.888 % |
1736.97/1737.61 c | 807787 | 18445 110186 400762 | 2147483647 403464 56 | 1.888 % |
1738.27/1738.98 c | 808237 | 18445 110186 400762 | 2147483647 403914 56 | 1.888 % |
1739.67/1740.34 c | 808730 | 18445 110186 400762 | 2147483647 404407 56 | 1.888 % |
1740.97/1741.69 c | 809273 | 18445 110186 400762 | 2147483647 404950 56 | 1.888 % |
1742.57/1743.24 c | 809870 | 18445 110186 400762 | 2147483647 405547 56 | 1.888 % |
1745.07/1745.79 c | 810530 | 18445 110186 400762 | 405677 406207 56 | 1.888 % |
1748.57/1749.23 c | 811251 | 18445 110186 400762 | 405677 347520 56 | 1.888 % |
1750.67/1751.34 c | 812043 | 18445 110186 400762 | 405677 348312 56 | 1.888 % |
1753.77/1754.48 c | 812915 | 18445 110186 400762 | 405677 349184 56 | 1.888 % |
1755.97/1756.68 c | 813873 | 18445 110186 400762 | 405677 350142 56 | 1.888 % |
1758.37/1759.03 c | 814927 | 18445 110186 400762 | 405677 351196 56 | 1.888 % |
1760.77/1761.41 c | 816085 | 18445 110186 400762 | 405677 352354 56 | 1.888 % |
1764.17/1764.86 c | 817362 | 18445 110186 400762 | 405677 353631 55 | 1.888 % |
1769.56/1770.28 c | 818764 | 18445 110186 400762 | 405677 355033 55 | 1.888 % |
1774.16/1774.84 c | 820305 | 18445 110186 400762 | 2147483647 356574 55 | 1.888 % |
1780.27/1780.97 c | 821999 | 18445 110186 400762 | 2147483647 358268 55 | 1.888 % |
1786.06/1786.77 c | 823864 | 18445 110186 400762 | 2147483647 360133 55 | 1.888 % |
1791.36/1792.05 c | 825913 | 18445 110186 400762 | 2147483647 362182 55 | 1.888 % |
1797.55/1798.25 c | 828166 | 18445 110186 400762 | 2147483647 364435 55 | 1.888 % |
1803.85/1804.57 c | 830644 | 18445 110186 400762 | 2147483647 366913 55 | 1.888 % |
1811.25/1811.98 c | 833369 | 18445 110186 400762 | 2147483647 369638 55 | 1.888 % |
1823.65/1824.34 c | 836366 | 18445 110186 400762 | 2147483647 372635 55 | 1.888 % |
1834.74/1835.41 c | 839662 | 18445 110186 400762 | 2147483647 375931 55 | 1.888 % |
1846.04/1846.77 c | 843287 | 18445 110186 400762 | 2147483647 379556 55 | 1.888 % |
1856.63/1857.31 c | 847274 | 18445 110186 400762 | 2147483647 383543 55 | 1.888 % |
1870.43/1871.14 c | 851659 | 18445 110186 400762 | 2147483647 387928 55 | 1.888 % |
1884.23/1884.95 c | 856482 | 18445 110186 400762 | 2147483647 392751 54 | 1.888 % |
1903.92/1904.67 c | 861790 | 18445 110186 400762 | 2147483647 398059 54 | 1.888 % |
1918.92/1919.64 c | 867626 | 18445 110186 400762 | 2147483647 403895 54 | 1.888 % |
1937.52/1938.28 c | 874046 | 18445 110186 400762 | 2147483647 410315 54 | 1.888 % |
1957.32/1958.01 c | 881105 | 18445 110186 400762 | 2147483647 417374 54 | 1.888 % |
1976.31/1977.09 c | 888869 | 18445 110186 400762 | 2147483647 425138 54 | 1.889 % |
1976.71/1977.45 c | 888973 | 18445 110186 400762 | 2147483647 425242 54 | 1.888 % |
1977.11/1977.84 c | 889083 | 18445 110186 400762 | 2147483647 425352 54 | 1.889 % |
1977.61/1978.33 c | 889204 | 18445 110186 400762 | 2147483647 425473 54 | 1.889 % |
1978.01/1978.78 c | 889338 | 18445 110186 400762 | 2147483647 425607 54 | 1.888 % |
1978.41/1979.20 c | 889484 | 18445 110186 400762 | 2147483647 425753 54 | 1.888 % |
1979.01/1979.75 c | 889646 | 18445 110186 400762 | 2147483647 425915 54 | 1.888 % |
1979.60/1980.39 c | 889822 | 18445 110186 400762 | 2147483647 426091 54 | 1.889 % |
1980.50/1981.21 c | 890016 | 18445 110186 400762 | 2147483647 426285 54 | 1.888 % |
1981.30/1982.02 c | 890228 | 18445 110186 400762 | 2147483647 426497 54 | 1.888 % |
1982.10/1982.82 c | 890462 | 18445 110186 400762 | 2147483647 426731 54 | 1.889 % |
1983.10/1983.83 c | 890720 | 18445 110186 400762 | 2147483647 426989 54 | 1.889 % |
1984.10/1984.82 c | 891001 | 18445 110186 400762 | 2147483647 427270 54 | 1.889 % |
1985.20/1985.94 c | 891311 | 18445 110186 400762 | 2147483647 427580 54 | 1.888 % |
1986.40/1987.13 c | 891651 | 18445 110186 400762 | 2147483647 427920 54 | 1.888 % |
1987.70/1988.44 c | 892024 | 18445 110186 400762 | 2147483647 428293 54 | 1.889 % |
1989.00/1989.70 c | 892435 | 18445 110186 400762 | 2147483647 428704 54 | 1.888 % |
1990.70/1991.43 c | 892884 | 18445 110186 400762 | 2147483647 429153 54 | 1.888 % |
1992.10/1992.87 c | 893377 | 18445 110186 400762 | 2147483647 429646 54 | 1.888 % |
1993.30/1994.09 c | 893919 | 18445 110186 400762 | 2147483647 430188 54 | 1.888 % |
1994.90/1995.61 c | 894515 | 18445 110186 400762 | 2147483647 430784 54 | 1.889 % |
1996.80/1997.57 c | 895171 | 18445 110186 400762 | 2147483647 431440 53 | 1.888 % |
1998.80/1999.50 c | 895891 | 18445 110186 400762 | 2147483647 432160 53 | 1.888 % |
2002.20/2002.94 c | 896683 | 18445 110186 400762 | 2147483647 432952 54 | 1.888 % |
2005.00/2005.79 c | 897554 | 18445 110186 400762 | 2147483647 433823 54 | 1.888 % |
2008.20/2008.96 c | 898514 | 18445 110186 400762 | 2147483647 434783 53 | 1.888 % |
2011.20/2011.97 c | 899569 | 18445 110186 400762 | 2147483647 435838 53 | 1.888 % |
2014.50/2015.24 c | 900728 | 18445 110186 400762 | 2147483647 436997 53 | 1.888 % |
2018.29/2019.09 c | 902001 | 18445 110186 400762 | 2147483647 438270 53 | 1.888 % |
2024.69/2025.47 c | 903401 | 18445 110186 400762 | 2147483647 439670 53 | 1.888 % |
2031.99/2032.73 c | 904941 | 18445 110186 400762 | 2147483647 441210 53 | 1.888 % |
2039.58/2040.32 c | 906635 | 18445 110186 400762 | 2147483647 442904 53 | 1.888 % |
2045.79/2046.55 c | 908499 | 18445 110186 400762 | 2147483647 444768 53 | 1.888 % |
2054.09/2054.81 c | 910549 | 18445 110186 400762 | 446269 446818 53 | 1.888 % |
2064.98/2065.75 c | 912804 | 18445 110186 400762 | 446269 404392 52 | 1.889 % |
2074.58/2075.33 c | 915285 | 18445 110186 400762 | 446269 406873 52 | 1.888 % |
2083.48/2084.20 c | 918010 | 18445 110186 400762 | 446269 409598 51 | 1.888 % |
2092.07/2092.88 c | 921008 | 18445 110186 400762 | 2147483647 412596 51 | 1.889 % |
2101.37/2102.11 c | 924304 | 18445 110186 400762 | 2147483647 415892 51 | 1.889 % |
2113.56/2114.32 c | 927930 | 18445 110186 400762 | 2147483647 419518 51 | 1.889 % |
2126.56/2127.30 c | 931917 | 18445 110186 400762 | 2147483647 423505 51 | 1.888 % |
2150.05/2150.83 c | 936302 | 18402 106006 375797 | 2147483647 168884 66 | 2.117 % |
2158.75/2159.55 c ===============================================================================
2158.75/2159.55 c restarts : 1171
2158.75/2159.55 c conflicts : 938871 (435 /sec)
2158.75/2159.55 c decisions : 3078756 (1.22 % random) (1427 /sec)
2158.75/2159.55 c propagations : 890896567 (413017 /sec)
2158.75/2159.55 c conflict literals : 50087279 (61.23 % deleted)
2158.75/2159.55 c Memory used : 126.23 MB
2158.75/2159.55 c CPU time : 2157.04 s
2158.75/2159.55 c
2158.75/2159.55 s UNSATISFIABLE
2158.75/2159.57 s UNSATISFIABLE
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1837078-1242857020/watcher-1837078-1242857020 -o /tmp/evaluation-result-1837078-1242857020/solver-1837078-1242857020 -C 10000 -W 12000 -M 1800 SatELiteGTI HOME/instance-1837078-1242857020.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: 0.00 0.00 0.00 2/64 17024
/proc/meminfo: memFree=1398440/2055920 swapFree=4180548/4192956
[pid=17024] ppid=17022 vsize=5356 CPUtime=0
/proc/17024/stat : 17024 (SatELiteGTI) S 17022 17024 16987 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 313730631 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 240907772740 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/17024/statm: 1339 237 197 169 0 50 0
[startup+0.0993389 s]
/proc/loadavg: 0.00 0.00 0.00 2/64 17024
/proc/meminfo: memFree=1398440/2055920 swapFree=4180548/4192956
[pid=17024] ppid=17022 vsize=5356 CPUtime=0
/proc/17024/stat : 17024 (SatELiteGTI) S 17022 17024 16987 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 313730631 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 240907772740 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/17024/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.101338 s]
/proc/loadavg: 0.00 0.00 0.00 2/64 17024
/proc/meminfo: memFree=1398440/2055920 swapFree=4180548/4192956
[pid=17024] ppid=17022 vsize=5356 CPUtime=0
/proc/17024/stat : 17024 (SatELiteGTI) S 17022 17024 16987 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 313730631 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 240907772740 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/17024/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.301357 s]
/proc/loadavg: 0.00 0.00 0.00 2/64 17024
/proc/meminfo: memFree=1398440/2055920 swapFree=4180548/4192956
[pid=17024] ppid=17022 vsize=5356 CPUtime=0
/proc/17024/stat : 17024 (SatELiteGTI) S 17022 17024 16987 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 313730631 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 240907772740 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/17024/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.701396 s]
/proc/loadavg: 0.00 0.00 0.00 2/64 17024
/proc/meminfo: memFree=1398440/2055920 swapFree=4180548/4192956
[pid=17024] ppid=17022 vsize=5356 CPUtime=0
/proc/17024/stat : 17024 (SatELiteGTI) S 17022 17024 16987 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 313730631 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 240907772740 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/17024/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+1.5025 s]
/proc/loadavg: 0.00 0.00 0.00 2/66 17029
/proc/meminfo: memFree=1378072/2055920 swapFree=4180548/4192956
[pid=17024] ppid=17022 vsize=5356 CPUtime=1.33
/proc/17024/stat : 17024 (SatELiteGTI) S 17022 17024 16987 0 -1 4194304 336 5922 0 0 0 0 128 5 16 0 1 0 313730631 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 240907772740 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17024/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 1.33
Current children cumulated vsize (KiB) 5356
[startup+3.10163 s]
/proc/loadavg: 0.00 0.00 0.00 2/66 17030
/proc/meminfo: memFree=1385560/2055920 swapFree=4180548/4192956
[pid=17024] ppid=17022 vsize=5356 CPUtime=1.33
/proc/17024/stat : 17024 (SatELiteGTI) S 17022 17024 16987 0 -1 4194304 336 5922 0 0 0 0 128 5 16 0 1 0 313730631 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 240907772740 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17024/statm: 1339 239 197 169 0 50 0
[pid=17030] ppid=17024 vsize=9908 CPUtime=1.74
/proc/17030/stat : 17030 (minisat_static) R 17024 17024 16987 0 -1 4194304 2288 0 0 0 174 0 0 0 25 0 1 0 313730765 10145792 2274 1992294400 134512640 135215339 4294956240 18446744073709551615 134528728 0 0 4096 3 0 0 0 17 1 0 0
/proc/17030/statm: 2477 2274 77 171 0 2304 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 15264
[startup+6.30195 s]
/proc/loadavg: 0.08 0.02 0.01 2/66 17030
/proc/meminfo: memFree=1383000/2055920 swapFree=4180548/4192956
[pid=17024] ppid=17022 vsize=5356 CPUtime=1.33
/proc/17024/stat : 17024 (SatELiteGTI) S 17022 17024 16987 0 -1 4194304 336 5922 0 0 0 0 128 5 16 0 1 0 313730631 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 240907772740 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17024/statm: 1339 239 197 169 0 50 0
[pid=17030] ppid=17024 vsize=11888 CPUtime=4.94
/proc/17030/stat : 17030 (minisat_static) R 17024 17024 16987 0 -1 4194304 2789 0 0 0 493 1 0 0 25 0 1 0 313730765 12173312 2775 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/17030/statm: 2972 2775 77 171 0 2799 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 17244
[startup+12.7016 s]
/proc/loadavg: 0.15 0.03 0.01 2/66 17030
/proc/meminfo: memFree=1379608/2055920 swapFree=4180548/4192956
[pid=17024] ppid=17022 vsize=5356 CPUtime=1.33
/proc/17024/stat : 17024 (SatELiteGTI) S 17022 17024 16987 0 -1 4194304 336 5922 0 0 0 0 128 5 16 0 1 0 313730631 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 240907772740 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17024/statm: 1339 239 197 169 0 50 0
[pid=17030] ppid=17024 vsize=15232 CPUtime=11.33
/proc/17030/stat : 17030 (minisat_static) R 17024 17024 16987 0 -1 4194304 3611 0 0 0 1131 2 0 0 25 0 1 0 313730765 15597568 3597 1992294400 134512640 135215339 4294956240 18446744073709551615 134528809 0 0 4096 3 0 0 0 17 1 0 0
/proc/17030/statm: 3808 3597 77 171 0 3635 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 20588
[startup+25.5018 s]
/proc/loadavg: 0.34 0.08 0.02 2/66 17030
/proc/meminfo: memFree=1373784/2055920 swapFree=4180548/4192956
[pid=17024] ppid=17022 vsize=5356 CPUtime=1.33
/proc/17024/stat : 17024 (SatELiteGTI) S 17022 17024 16987 0 -1 4194304 336 5922 0 0 0 0 128 5 16 0 1 0 313730631 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 240907772740 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17024/statm: 1339 239 197 169 0 50 0
[pid=17030] ppid=17024 vsize=20996 CPUtime=24.12
/proc/17030/stat : 17030 (minisat_static) R 17024 17024 16987 0 -1 4194304 5037 0 0 0 2408 4 0 0 25 0 1 0 313730765 21499904 5023 1992294400 134512640 135215339 4294956240 18446744073709551615 134721382 0 0 4096 3 0 0 0 17 1 0 0
/proc/17030/statm: 5249 5023 77 171 0 5076 0
Current children cumulated CPU time (s) 25.45
Current children cumulated vsize (KiB) 26352
[startup+51.1013 s]
/proc/loadavg: 0.56 0.15 0.05 2/66 17030
/proc/meminfo: memFree=1366296/2055920 swapFree=4180548/4192956
[pid=17024] ppid=17022 vsize=5356 CPUtime=1.33
/proc/17024/stat : 17024 (SatELiteGTI) S 17022 17024 16987 0 -1 4194304 336 5922 0 0 0 0 128 5 16 0 1 0 313730631 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 240907772740 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17024/statm: 1339 239 197 169 0 50 0
[pid=17030] ppid=17024 vsize=28664 CPUtime=49.69
/proc/17030/stat : 17030 (minisat_static) R 17024 17024 16987 0 -1 4194304 6971 0 0 0 4963 6 0 0 25 0 1 0 313730765 29351936 6957 1992294400 134512640 135215339 4294956240 18446744073709551615 134528814 0 0 4096 3 0 0 0 17 1 0 0
/proc/17030/statm: 7166 6957 77 171 0 6993 0
Current children cumulated CPU time (s) 51.02
Current children cumulated vsize (KiB) 34020
[startup+102.305 s]
/proc/loadavg: 0.81 0.28 0.10 2/66 17030
/proc/meminfo: memFree=1352408/2055920 swapFree=4180548/4192956
[pid=17024] ppid=17022 vsize=5356 CPUtime=1.33
/proc/17024/stat : 17024 (SatELiteGTI) S 17022 17024 16987 0 -1 4194304 336 5922 0 0 0 0 128 5 16 0 1 0 313730631 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 240907772740 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17024/statm: 1339 239 197 169 0 50 0
[pid=17030] ppid=17024 vsize=42368 CPUtime=100.87
/proc/17030/stat : 17030 (minisat_static) R 17024 17024 16987 0 -1 4194304 10365 0 0 0 10076 11 0 0 25 0 1 0 313730765 43384832 10351 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/17030/statm: 10592 10352 77 171 0 10419 0
Current children cumulated CPU time (s) 102.2
Current children cumulated vsize (KiB) 47724
[startup+162.301 s]
/proc/loadavg: 0.93 0.41 0.15 2/66 17030
/proc/meminfo: memFree=1340128/2055920 swapFree=4180548/4192956
[pid=17024] ppid=17022 vsize=5356 CPUtime=1.33
/proc/17024/stat : 17024 (SatELiteGTI) S 17022 17024 16987 0 -1 4194304 336 5922 0 0 0 0 128 5 16 0 1 0 313730631 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 240907772740 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17024/statm: 1339 239 197 169 0 50 0
[pid=17030] ppid=17024 vsize=54844 CPUtime=160.84
/proc/17030/stat : 17030 (minisat_static) R 17024 17024 16987 0 -1 4194304 13450 0 0 0 16070 14 0 0 25 0 1 0 313730765 56160256 13436 1992294400 134512640 135215339 4294956240 18446744073709551615 134528788 0 0 4096 3 0 0 0 17 1 0 0
/proc/17030/statm: 13711 13436 77 171 0 13538 0
Current children cumulated CPU time (s) 162.17
Current children cumulated vsize (KiB) 60200
[startup+222.301 s]
/proc/loadavg: 0.97 0.51 0.20 2/66 17030
/proc/meminfo: memFree=1330144/2055920 swapFree=4180548/4192956
[pid=17024] ppid=17022 vsize=5356 CPUtime=1.33
/proc/17024/stat : 17024 (SatELiteGTI) S 17022 17024 16987 0 -1 4194304 336 5922 0 0 0 0 128 5 16 0 1 0 313730631 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 240907772740 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17024/statm: 1339 239 197 169 0 50 0
[pid=17030] ppid=17024 vsize=65040 CPUtime=220.81
/proc/17030/stat : 17030 (minisat_static) R 17024 17024 16987 0 -1 4194304 15916 0 0 0 22064 17 0 0 25 0 1 0 313730765 66600960 15902 1992294400 134512640 135215339 4294956240 18446744073709551615 134529130 0 0 4096 3 0 0 0 17 1 0 0
/proc/17030/statm: 16260 15902 77 171 0 16087 0
Current children cumulated CPU time (s) 222.14
Current children cumulated vsize (KiB) 70396
[startup+282.302 s]
/proc/loadavg: 0.99 0.60 0.25 2/66 17030
/proc/meminfo: memFree=1321376/2055920 swapFree=4180548/4192956
[pid=17024] ppid=17022 vsize=5356 CPUtime=1.33
/proc/17024/stat : 17024 (SatELiteGTI) S 17022 17024 16987 0 -1 4194304 336 5922 0 0 0 0 128 5 16 0 1 0 313730631 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 240907772740 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17024/statm: 1339 239 197 169 0 50 0
[pid=17030] ppid=17024 vsize=73812 CPUtime=280.8
/proc/17030/stat : 17030 (minisat_static) R 17024 17024 16987 0 -1 4194304 18125 0 0 0 28060 20 0 0 25 0 1 0 313730765 75583488 18111 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/17030/statm: 18453 18111 77 171 0 18280 0
Current children cumulated CPU time (s) 282.13
Current children cumulated vsize (KiB) 79168
[startup+342.302 s]
/proc/loadavg: 0.99 0.67 0.29 2/66 17030
/proc/meminfo: memFree=1318240/2055920 swapFree=4180548/4192956
[pid=17024] ppid=17022 vsize=5356 CPUtime=1.33
/proc/17024/stat : 17024 (SatELiteGTI) S 17022 17024 16987 0 -1 4194304 336 5922 0 0 0 0 128 5 16 0 1 0 313730631 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 240907772740 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17024/statm: 1339 239 197 169 0 50 0
[pid=17030] ppid=17024 vsize=76916 CPUtime=340.77
/proc/17030/stat : 17030 (minisat_static) R 17024 17024 16987 0 -1 4194304 18864 0 0 0 34056 21 0 0 25 0 1 0 313730765 78761984 18850 1992294400 134512640 135215339 4294956240 18446744073709551615 134532626 0 0 4096 3 0 0 0 17 1 0 0
/proc/17030/statm: 19229 18850 77 171 0 19056 0
Current children cumulated CPU time (s) 342.1
Current children cumulated vsize (KiB) 82272
[startup+402.302 s]
/proc/loadavg: 0.99 0.73 0.33 2/66 17030
/proc/meminfo: memFree=1312672/2055920 swapFree=4180548/4192956
[pid=17024] ppid=17022 vsize=5356 CPUtime=1.33
/proc/17024/stat : 17024 (SatELiteGTI) S 17022 17024 16987 0 -1 4194304 336 5922 0 0 0 0 128 5 16 0 1 0 313730631 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 240907772740 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17024/statm: 1339 239 197 169 0 50 0
[pid=17030] ppid=17024 vsize=82384 CPUtime=400.75
/proc/17030/stat : 17030 (minisat_static) R 17024 17024 16987 0 -1 4194304 20264 0 0 0 40053 22 0 0 25 0 1 0 313730765 84361216 20250 1992294400 134512640 135215339 4294956240 18446744073709551615 134528852 0 0 4096 3 0 0 0 17 1 0 0
/proc/17030/statm: 20596 20250 77 171 0 20423 0
Current children cumulated CPU time (s) 402.08
Current children cumulated vsize (KiB) 87740
[startup+462.302 s]
/proc/loadavg: 0.99 0.77 0.37 2/66 17030
/proc/meminfo: memFree=1306848/2055920 swapFree=4180548/4192956
[pid=17024] ppid=17022 vsize=5356 CPUtime=1.33
################
# More data... #
################
[startup+1722.3 s]
/proc/loadavg: 0.99 0.97 0.80 2/66 17030
/proc/meminfo: memFree=1268832/2055920 swapFree=4180548/4192956
[pid=17024] ppid=17022 vsize=5356 CPUtime=1.33
/proc/17024/stat : 17024 (SatELiteGTI) S 17022 17024 16987 0 -1 4194304 336 5922 0 0 0 0 128 5 16 0 1 0 313730631 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 240907772740 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17024/statm: 1339 239 197 169 0 50 0
[pid=17030] ppid=17024 vsize=126648 CPUtime=1720.35
/proc/17030/stat : 17030 (minisat_static) R 17024 17024 16987 0 -1 4194304 31048 0 0 0 171994 41 0 0 25 0 1 0 313730765 129687552 31034 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/17030/statm: 31662 31034 77 171 0 31489 0
Current children cumulated CPU time (s) 1721.68
Current children cumulated vsize (KiB) 132004
[startup+1782.3 s]
/proc/loadavg: 0.99 0.97 0.82 2/66 17030
/proc/meminfo: memFree=1268768/2055920 swapFree=4180548/4192956
[pid=17024] ppid=17022 vsize=5356 CPUtime=1.33
/proc/17024/stat : 17024 (SatELiteGTI) S 17022 17024 16987 0 -1 4194304 336 5922 0 0 0 0 128 5 16 0 1 0 313730631 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 240907772740 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17024/statm: 1339 239 197 169 0 50 0
[pid=17030] ppid=17024 vsize=126648 CPUtime=1780.33
/proc/17030/stat : 17030 (minisat_static) R 17024 17024 16987 0 -1 4194304 31060 0 0 0 177992 41 0 0 25 0 1 0 313730765 129687552 31046 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/17030/statm: 31662 31046 77 171 0 31489 0
Current children cumulated CPU time (s) 1781.66
Current children cumulated vsize (KiB) 132004
[startup+1842.3 s]
/proc/loadavg: 0.99 0.97 0.82 2/66 17030
/proc/meminfo: memFree=1268704/2055920 swapFree=4180548/4192956
[pid=17024] ppid=17022 vsize=5356 CPUtime=1.33
/proc/17024/stat : 17024 (SatELiteGTI) S 17022 17024 16987 0 -1 4194304 336 5922 0 0 0 0 128 5 16 0 1 0 313730631 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 240907772740 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17024/statm: 1339 239 197 169 0 50 0
[pid=17030] ppid=17024 vsize=126648 CPUtime=1840.31
/proc/17030/stat : 17030 (minisat_static) R 17024 17024 16987 0 -1 4194304 31064 0 0 0 183990 41 0 0 25 0 1 0 313730765 129687552 31050 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/17030/statm: 31662 31050 77 171 0 31489 0
Current children cumulated CPU time (s) 1841.64
Current children cumulated vsize (KiB) 132004
[startup+1902.3 s]
/proc/loadavg: 0.99 0.97 0.83 2/66 17030
/proc/meminfo: memFree=1268576/2055920 swapFree=4180548/4192956
[pid=17024] ppid=17022 vsize=5356 CPUtime=1.33
/proc/17024/stat : 17024 (SatELiteGTI) S 17022 17024 16987 0 -1 4194304 336 5922 0 0 0 0 128 5 16 0 1 0 313730631 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 240907772740 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17024/statm: 1339 239 197 169 0 50 0
[pid=17030] ppid=17024 vsize=126648 CPUtime=1900.29
/proc/17030/stat : 17030 (minisat_static) R 17024 17024 16987 0 -1 4194304 31089 0 0 0 189988 41 0 0 25 0 1 0 313730765 129687552 31075 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/17030/statm: 31662 31075 77 171 0 31489 0
Current children cumulated CPU time (s) 1901.62
Current children cumulated vsize (KiB) 132004
[startup+1962.3 s]
/proc/loadavg: 0.99 0.97 0.83 2/66 17030
/proc/meminfo: memFree=1268320/2055920 swapFree=4180548/4192956
[pid=17024] ppid=17022 vsize=5356 CPUtime=1.33
/proc/17024/stat : 17024 (SatELiteGTI) S 17022 17024 16987 0 -1 4194304 336 5922 0 0 0 0 128 5 16 0 1 0 313730631 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 240907772740 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17024/statm: 1339 239 197 169 0 50 0
[pid=17030] ppid=17024 vsize=126768 CPUtime=1960.29
/proc/17030/stat : 17030 (minisat_static) R 17024 17024 16987 0 -1 4194304 31139 0 0 0 195987 42 0 0 25 0 1 0 313730765 129810432 31125 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/17030/statm: 31692 31125 77 171 0 31519 0
Current children cumulated CPU time (s) 1961.62
Current children cumulated vsize (KiB) 132124
[startup+2022.3 s]
/proc/loadavg: 0.99 0.97 0.84 2/66 17030
/proc/meminfo: memFree=1267872/2055920 swapFree=4180548/4192956
[pid=17024] ppid=17022 vsize=5356 CPUtime=1.33
/proc/17024/stat : 17024 (SatELiteGTI) S 17022 17024 16987 0 -1 4194304 336 5922 0 0 0 0 128 5 16 0 1 0 313730631 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 240907772740 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17024/statm: 1339 239 197 169 0 50 0
[pid=17030] ppid=17024 vsize=127588 CPUtime=2020.26
/proc/17030/stat : 17030 (minisat_static) R 17024 17024 16987 0 -1 4194304 31250 0 0 0 201984 42 0 0 25 0 1 0 313730765 130650112 31236 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/17030/statm: 31897 31236 77 171 0 31724 0
Current children cumulated CPU time (s) 2021.59
Current children cumulated vsize (KiB) 132944
[startup+2082.31 s]
/proc/loadavg: 1.05 0.99 0.85 2/66 17030
/proc/meminfo: memFree=1266336/2055920 swapFree=4180548/4192956
[pid=17024] ppid=17022 vsize=5356 CPUtime=1.33
/proc/17024/stat : 17024 (SatELiteGTI) S 17022 17024 16987 0 -1 4194304 336 5922 0 0 0 0 128 5 16 0 1 0 313730631 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 240907772740 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17024/statm: 1339 239 197 169 0 50 0
[pid=17030] ppid=17024 vsize=129028 CPUtime=2080.25
/proc/17030/stat : 17030 (minisat_static) R 17024 17024 16987 0 -1 4194304 31633 0 0 0 207982 43 0 0 25 0 1 0 313730765 132124672 31619 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/17030/statm: 32257 31619 77 171 0 32084 0
Current children cumulated CPU time (s) 2081.58
Current children cumulated vsize (KiB) 134384
[startup+2142.3 s]
/proc/loadavg: 1.07 1.00 0.86 2/66 17030
/proc/meminfo: memFree=1266208/2055920 swapFree=4180548/4192956
[pid=17024] ppid=17022 vsize=5356 CPUtime=1.33
/proc/17024/stat : 17024 (SatELiteGTI) S 17022 17024 16987 0 -1 4194304 336 5922 0 0 0 0 128 5 16 0 1 0 313730631 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 240907772740 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17024/statm: 1339 239 197 169 0 50 0
[pid=17030] ppid=17024 vsize=129260 CPUtime=2140.23
/proc/17030/stat : 17030 (minisat_static) R 17024 17024 16987 0 -1 4194304 31665 0 0 0 213980 43 0 0 25 0 1 0 313730765 132362240 31651 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/17030/statm: 32315 31651 77 171 0 32142 0
Current children cumulated CPU time (s) 2141.56
Current children cumulated vsize (KiB) 134616
Solver just ended. Dumping a history of the last processes samples
[startup+2150.3 s]
/proc/loadavg: 1.06 1.00 0.86 2/66 17030
/proc/meminfo: memFree=1266208/2055920 swapFree=4180548/4192956
[pid=17024] ppid=17022 vsize=5356 CPUtime=1.33
/proc/17024/stat : 17024 (SatELiteGTI) S 17022 17024 16987 0 -1 4194304 336 5922 0 0 0 0 128 5 16 0 1 0 313730631 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 240907772740 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17024/statm: 1339 239 197 169 0 50 0
[pid=17030] ppid=17024 vsize=129260 CPUtime=2148.22
/proc/17030/stat : 17030 (minisat_static) R 17024 17024 16987 0 -1 4194304 31666 0 0 0 214779 43 0 0 25 0 1 0 313730765 132362240 31652 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/17030/statm: 32315 31652 77 171 0 32142 0
Current children cumulated CPU time (s) 2149.55
Current children cumulated vsize (KiB) 134616
[startup+2153.5 s]
/proc/loadavg: 1.06 1.00 0.86 2/66 17030
/proc/meminfo: memFree=1266208/2055920 swapFree=4180548/4192956
[pid=17024] ppid=17022 vsize=5356 CPUtime=1.33
/proc/17024/stat : 17024 (SatELiteGTI) S 17022 17024 16987 0 -1 4194304 336 5922 0 0 0 0 128 5 16 0 1 0 313730631 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 240907772740 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17024/statm: 1339 239 197 169 0 50 0
[pid=17030] ppid=17024 vsize=129260 CPUtime=2151.42
/proc/17030/stat : 17030 (minisat_static) R 17024 17024 16987 0 -1 4194304 31666 0 0 0 215099 43 0 0 25 0 1 0 313730765 132362240 31652 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/17030/statm: 32315 31652 77 171 0 32142 0
Current children cumulated CPU time (s) 2152.75
Current children cumulated vsize (KiB) 134616
[startup+2156.7 s]
/proc/loadavg: 1.05 1.00 0.86 2/66 17030
/proc/meminfo: memFree=1266208/2055920 swapFree=4180548/4192956
[pid=17024] ppid=17022 vsize=5356 CPUtime=1.33
/proc/17024/stat : 17024 (SatELiteGTI) S 17022 17024 16987 0 -1 4194304 336 5922 0 0 0 0 128 5 16 0 1 0 313730631 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 240907772740 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17024/statm: 1339 239 197 169 0 50 0
[pid=17030] ppid=17024 vsize=129260 CPUtime=2154.62
/proc/17030/stat : 17030 (minisat_static) R 17024 17024 16987 0 -1 4194304 31666 0 0 0 215419 43 0 0 25 0 1 0 313730765 132362240 31652 1992294400 134512640 135215339 4294956240 18446744073709551615 134528721 0 0 4096 3 0 0 0 17 1 0 0
/proc/17030/statm: 32315 31652 77 171 0 32142 0
Current children cumulated CPU time (s) 2155.95
Current children cumulated vsize (KiB) 134616
[startup+2158.3 s]
/proc/loadavg: 1.05 1.00 0.87 2/66 17030
/proc/meminfo: memFree=1266144/2055920 swapFree=4180548/4192956
[pid=17024] ppid=17022 vsize=5356 CPUtime=1.33
/proc/17024/stat : 17024 (SatELiteGTI) S 17022 17024 16987 0 -1 4194304 336 5922 0 0 0 0 128 5 16 0 1 0 313730631 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 240907772740 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17024/statm: 1339 239 197 169 0 50 0
[pid=17030] ppid=17024 vsize=129260 CPUtime=2156.22
/proc/17030/stat : 17030 (minisat_static) R 17024 17024 16987 0 -1 4194304 31666 0 0 0 215579 43 0 0 25 0 1 0 313730765 132362240 31652 1992294400 134512640 135215339 4294956240 18446744073709551615 134529088 0 0 4096 3 0 0 0 17 1 0 0
/proc/17030/statm: 32315 31652 77 171 0 32142 0
Current children cumulated CPU time (s) 2157.55
Current children cumulated vsize (KiB) 134616
[startup+2159.1 s]
/proc/loadavg: 1.05 1.00 0.87 2/66 17030
/proc/meminfo: memFree=1266144/2055920 swapFree=4180548/4192956
[pid=17024] ppid=17022 vsize=5356 CPUtime=1.33
/proc/17024/stat : 17024 (SatELiteGTI) S 17022 17024 16987 0 -1 4194304 336 5922 0 0 0 0 128 5 16 0 1 0 313730631 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 240907772740 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17024/statm: 1339 239 197 169 0 50 0
[pid=17030] ppid=17024 vsize=129260 CPUtime=2157.02
/proc/17030/stat : 17030 (minisat_static) R 17024 17024 16987 0 -1 4194304 31666 0 0 0 215659 43 0 0 25 0 1 0 313730765 132362240 31652 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/17030/statm: 32315 31652 77 171 0 32142 0
Current children cumulated CPU time (s) 2158.35
Current children cumulated vsize (KiB) 134616
[startup+2159.5 s]
/proc/loadavg: 1.05 1.00 0.87 2/66 17030
/proc/meminfo: memFree=1266144/2055920 swapFree=4180548/4192956
[pid=17024] ppid=17022 vsize=5356 CPUtime=1.33
/proc/17024/stat : 17024 (SatELiteGTI) S 17022 17024 16987 0 -1 4194304 336 5922 0 0 0 0 128 5 16 0 1 0 313730631 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 240907772740 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17024/statm: 1339 239 197 169 0 50 0
[pid=17030] ppid=17024 vsize=129260 CPUtime=2157.42
/proc/17030/stat : 17030 (minisat_static) R 17024 17024 16987 0 -1 4194304 31666 0 0 0 215699 43 0 0 25 0 1 0 313730765 132362240 31652 1992294400 134512640 135215339 4294956240 18446744073709551615 134528863 0 0 4096 3 0 0 0 17 1 0 0
/proc/17030/statm: 32315 31652 77 171 0 32142 0
Current children cumulated CPU time (s) 2158.75
Current children cumulated vsize (KiB) 134616
Child status: 20
Real time (s): 2159.58
CPU time (s): 2158.85
CPU user time (s): 2158.33
CPU system time (s): 0.515921
CPU usage (%): 99.9661
Max. virtual memory (cumulated for all children) (KiB): 134616
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2158.33
system time used= 0.515921
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 38085
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= 46
involuntary context switches= 6126
runsolver used 2.53261 second user time and 5.44817 second system time
The end
Begin job on node36 at 2009-05-21 00:03:40
IDJOB=1837078
IDBENCH=20390
IDSOLVER=674
FILE ID=node36/1837078-1242857020
PBS_JOBID= 9328478
Free space on /tmp= 66200 MiB
SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT07/industrial/fuhs/medium/AProVE07-09.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1837078-1242857020/watcher-1837078-1242857020 -o /tmp/evaluation-result-1837078-1242857020/solver-1837078-1242857020 -C 10000 -W 12000 -M 1800 SatELiteGTI HOME/instance-1837078-1242857020.cnf
TIME LIMIT= 10000 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 50ed98553825ac1825482c1496260592
RANDOM SEED=1093825867
node36.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.232
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.232
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: 1398992 kB
Buffers: 64156 kB
Cached: 516580 kB
SwapCached: 6580 kB
Active: 242284 kB
Inactive: 347168 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1398992 kB
SwapTotal: 4192956 kB
SwapFree: 4180548 kB
Dirty: 4604 kB
Writeback: 0 kB
Mapped: 13908 kB
Slab: 53628 kB
Committed_AS: 1083036 kB
PageTables: 1360 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= 66200 MiB
End job on node36 at 2009-05-21 00:39:40