0.00/0.00 c Parsing...
0.00/0.37 c ==============================================================================
0.00/0.37 c | | ORIGINAL | LEARNT | |
0.00/0.37 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress |
0.00/0.37 c ==============================================================================
0.00/0.37 c | 0 | 457280 1516932 | 137183 0 0 nan | 0.000 % |
1.18/1.29 c | 0 | 430817 1454479 | -- 0 -- -- | -- | -26463/-62453
1.18/1.29 c ==============================================================================
1.18/1.29 c Result : #vars: 23801 #clauses: 430817 #literals: 1454479
1.18/1.29 c CPU time: 1.21481 s
1.18/1.29 c ==============================================================================
1.69/1.76 c This is MiniSat 2.0 beta
1.69/1.76 c WARNING: for repeatability, setting FPU to use double precision
1.69/1.76 c ============================[ Problem Statistics ]=============================
1.69/1.76 c | |
1.69/1.76 c | Number of variables: 23801 |
1.69/1.76 c | Number of clauses: 430817 |
1.75/2.01 c | Parsing time: 0.21 s |
1.75/2.03 c ============================[ Search Statistics ]==============================
1.75/2.03 c | Conflicts | ORIGINAL | LEARNT | Progress |
1.75/2.03 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
1.75/2.03 c ===============================================================================
1.75/2.03 c | 0 | 23801 430817 1454479 | 143605 0 nan | 0.000 % |
1.75/2.09 c | 101 | 23800 430817 1454479 | 143605 100 28 | 0.004 % |
2.08/2.12 c | 201 | 23800 430817 1454479 | 143605 200 27 | 0.004 % |
2.08/2.16 c | 304 | 23800 430817 1454479 | 143605 303 27 | 0.004 % |
2.08/2.19 c | 415 | 23800 430817 1454479 | 143605 414 27 | 0.004 % |
2.18/2.24 c | 516 | 23800 430817 1454479 | 143605 515 26 | 0.004 % |
2.18/2.27 c | 628 | 23800 430817 1454479 | 143605 627 26 | 0.004 % |
2.28/2.32 c | 750 | 23800 430817 1454479 | 143605 749 27 | 0.005 % |
2.28/2.36 c | 850 | 23800 430817 1454479 | 143605 849 28 | 0.004 % |
2.38/2.40 c | 960 | 23800 430817 1454479 | 143605 959 27 | 0.004 % |
2.38/2.45 c | 1081 | 23800 430817 1454479 | 143605 1080 27 | 0.005 % |
2.38/2.47 c | 1214 | 23800 430817 1454479 | 143605 1213 27 | 0.004 % |
2.47/2.51 c | 1315 | 23800 430817 1454479 | 143605 1314 26 | 0.005 % |
2.47/2.56 c | 1429 | 23800 430817 1454479 | 143605 1428 26 | 0.004 % |
2.57/2.61 c | 1551 | 23800 430817 1454479 | 143605 1550 27 | 0.004 % |
2.57/2.69 c | 1685 | 23800 430817 1454479 | 143605 1684 26 | 0.004 % |
2.67/2.72 c | 1831 | 23800 430817 1454479 | 143605 1830 25 | 0.004 % |
2.67/2.75 c | 1933 | 23800 430817 1454479 | 143605 1932 25 | 0.004 % |
2.77/2.82 c | 2045 | 23800 430817 1454479 | 143605 2044 24 | 0.005 % |
2.77/2.89 c | 2168 | 23800 430817 1454479 | 143605 2167 24 | 0.005 % |
2.87/2.95 c | 2301 | 23800 430817 1454479 | 143605 2300 25 | 0.004 % |
2.87/2.99 c | 2448 | 23800 430817 1454479 | 143605 2447 25 | 0.004 % |
2.97/3.04 c | 2608 | 23800 430817 1454479 | 143605 2607 25 | 0.004 % |
2.97/3.06 c | 2708 | 23800 430817 1454479 | 143605 2707 24 | 0.005 % |
2.97/3.09 c | 2819 | 23800 430817 1454479 | 143605 2818 24 | 0.004 % |
3.07/3.14 c | 2940 | 23800 430817 1454479 | 143605 2939 24 | 0.005 % |
3.07/3.19 c | 3074 | 23800 430817 1454479 | 143605 3073 24 | 0.004 % |
3.18/3.26 c | 3220 | 23799 430817 1454479 | 143605 3218 24 | 0.008 % |
3.28/3.33 c | 3381 | 23799 430817 1454479 | 143605 3379 24 | 0.009 % |
3.28/3.38 c | 3559 | 23799 430817 1454479 | 143605 3557 24 | 0.008 % |
3.37/3.43 c | 3668 | 23799 430817 1454479 | 143605 3666 24 | 0.008 % |
3.37/3.45 c | 3779 | 23799 430817 1454479 | 143605 3777 24 | 0.008 % |
3.47/3.55 c | 3900 | 23799 430817 1454479 | 143605 3898 24 | 0.008 % |
3.57/3.60 c | 4033 | 23799 430817 1454479 | 143605 4031 23 | 0.008 % |
3.57/3.69 c | 4181 | 23799 430799 1454425 | 143605 4157 23 | 0.008 % |
3.67/3.77 c | 4341 | 23799 430799 1454425 | 143605 4317 23 | 0.008 % |
3.77/3.83 c | 4517 | 23799 430799 1454425 | 143605 4493 24 | 0.008 % |
3.77/3.88 c | 4711 | 23799 430799 1454425 | 143605 4687 23 | 0.008 % |
3.87/3.91 c | 4811 | 23799 430799 1454425 | 143605 4787 23 | 0.008 % |
3.87/3.92 c | 4921 | 23799 430799 1454425 | 143605 4897 23 | 0.008 % |
3.87/3.95 c | 5043 | 23799 430799 1454425 | 143605 5019 23 | 0.008 % |
3.97/4.00 c | 5179 | 23799 430799 1454425 | 143605 5155 23 | 0.008 % |
3.97/4.05 c | 5326 | 23799 430799 1454425 | 143605 5302 23 | 0.008 % |
4.07/4.11 c | 5489 | 23799 430799 1454425 | 143605 5465 23 | 0.009 % |
4.07/4.17 c | 5665 | 23799 430799 1454425 | 143605 5641 23 | 0.008 % |
4.17/4.21 c | 5859 | 23799 430799 1454425 | 143605 5835 23 | 0.008 % |
4.17/4.27 c | 6071 | 23799 430799 1454425 | 143605 6047 23 | 0.008 % |
4.27/4.32 c | 6171 | 23799 430799 1454425 | 143605 6147 23 | 0.008 % |
4.27/4.36 c | 6282 | 23799 430799 1454425 | 143605 6258 23 | 0.008 % |
4.37/4.42 c | 6407 | 23799 430799 1454425 | 143605 6383 23 | 0.008 % |
4.37/4.47 c | 6541 | 23799 430799 1454425 | 143605 6517 23 | 0.008 % |
4.47/4.54 c | 6687 | 23799 430799 1454425 | 143605 6663 23 | 0.008 % |
4.47/4.59 c | 6847 | 23799 430799 1454425 | 143605 6823 23 | 0.008 % |
4.57/4.67 c | 7023 | 23799 430799 1454425 | 143605 6999 24 | 0.008 % |
4.67/4.73 c | 7216 | 23799 430799 1454425 | 143605 7192 24 | 0.008 % |
4.77/4.80 c | 7431 | 23799 430799 1454425 | 143605 7407 24 | 0.008 % |
4.77/4.85 c | 7664 | 23799 430799 1454425 | 143605 7640 25 | 0.008 % |
4.87/4.91 c | 7765 | 23799 430799 1454425 | 143605 7741 25 | 0.008 % |
4.87/4.95 c | 7877 | 23799 430799 1454425 | 143605 7853 25 | 0.008 % |
4.97/5.00 c | 7998 | 23799 430799 1454425 | 143605 7974 25 | 0.008 % |
4.97/5.04 c | 8131 | 23799 430799 1454425 | 143605 8107 25 | 0.008 % |
4.97/5.08 c | 8277 | 23799 430799 1454425 | 143605 8253 24 | 0.008 % |
5.07/5.13 c | 8438 | 23799 430799 1454425 | 143605 8414 24 | 0.009 % |
5.17/5.20 c | 8614 | 23799 430799 1454425 | 143605 8590 24 | 0.008 % |
5.17/5.29 c | 8809 | 23799 430799 1454425 | 143605 8785 24 | 0.008 % |
5.27/5.38 c | 9021 | 23799 430799 1454425 | 143605 8997 24 | 0.008 % |
5.37/5.49 c | 9254 | 23799 430799 1454425 | 143605 9230 24 | 0.008 % |
5.48/5.56 c | 9510 | 23799 430799 1454425 | 143605 9486 24 | 0.008 % |
5.57/5.61 c | 9610 | 23799 430799 1454425 | 143605 9586 24 | 0.008 % |
5.57/5.65 c | 9724 | 23799 430799 1454425 | 143605 9700 24 | 0.008 % |
5.67/5.74 c | 9845 | 23799 430799 1454425 | 143605 9821 24 | 0.008 % |
5.77/5.80 c | 9979 | 23799 430799 1454425 | 143605 9955 24 | 0.008 % |
5.77/5.85 c | 10125 | 23799 430799 1454425 | 2147483647 10101 25 | 0.008 % |
5.77/5.89 c | 10285 | 23799 430799 1454425 | 2147483647 10261 25 | 0.008 % |
5.87/5.93 c | 10464 | 23799 430799 1454425 | 2147483647 10440 25 | 0.008 % |
5.87/5.97 c | 10658 | 23799 430799 1454425 | 2147483647 10634 25 | 0.008 % |
5.97/6.04 c | 10871 | 23799 430799 1454425 | 2147483647 10847 25 | 0.008 % |
6.07/6.12 c | 11104 | 23799 430799 1454425 | 2147483647 11080 25 | 0.008 % |
6.17/6.24 c | 11360 | 23799 430799 1454425 | 2147483647 11336 25 | 0.008 % |
6.27/6.33 c | 11644 | 23799 430799 1454425 | 2147483647 11620 25 | 0.009 % |
6.27/6.37 c | 11746 | 23799 430799 1454425 | 2147483647 11722 25 | 0.008 % |
6.37/6.42 c | 11856 | 23799 430799 1454425 | 2147483647 11832 25 | 0.008 % |
6.37/6.49 c | 11978 | 23799 430799 1454425 | 2147483647 11954 25 | 0.008 % |
6.48/6.52 c | 12111 | 23799 430799 1454425 | 2147483647 12087 25 | 0.008 % |
6.48/6.57 c | 12257 | 23799 430799 1454425 | 2147483647 12233 25 | 0.008 % |
6.58/6.61 c | 12417 | 23799 430799 1454425 | 2147483647 12393 25 | 0.008 % |
6.58/6.66 c | 12593 | 23799 430799 1454425 | 2147483647 12569 25 | 0.008 % |
6.67/6.74 c | 12786 | 23799 430799 1454425 | 2147483647 12762 25 | 0.008 % |
6.77/6.85 c | 13000 | 23799 430799 1454425 | 2147483647 12976 25 | 0.008 % |
6.87/6.94 c | 13236 | 23799 430799 1454425 | 2147483647 13212 25 | 0.008 % |
6.97/7.06 c | 13495 | 23799 430799 1454425 | 2147483647 13471 26 | 0.008 % |
7.07/7.19 c | 13776 | 23799 430799 1454425 | 2147483647 13752 26 | 0.008 % |
7.27/7.32 c | 14085 | 23799 430799 1454425 | 2147483647 14061 26 | 0.009 % |
7.27/7.34 c | 14185 | 23799 430799 1454425 | 2147483647 14161 26 | 0.008 % |
7.27/7.37 c | 14296 | 23799 430799 1454425 | 2147483647 14272 26 | 0.008 % |
7.37/7.40 c | 14418 | 23799 430799 1454425 | 2147483647 14394 26 | 0.008 % |
7.37/7.44 c | 14551 | 23799 430799 1454425 | 2147483647 14527 26 | 0.008 % |
7.47/7.51 c | 14698 | 23799 430799 1454425 | 2147483647 14674 26 | 0.008 % |
7.58/7.65 c | 14858 | 23799 430799 1454425 | 2147483647 14834 26 | 0.008 % |
7.58/7.70 c | 15036 | 23799 430799 1454425 | 2147483647 15012 26 | 0.008 % |
7.68/7.75 c | 15230 | 23799 430799 1454425 | 2147483647 15206 26 | 0.010 % |
7.77/7.80 c | 15442 | 23799 430799 1454425 | 2147483647 15418 26 | 0.008 % |
7.77/7.86 c | 15676 | 23799 430799 1454425 | 2147483647 15652 26 | 0.008 % |
7.87/7.97 c | 15932 | 23799 430799 1454425 | 2147483647 15908 26 | 0.008 % |
7.97/8.03 c | 16213 | 23799 430799 1454425 | 2147483647 16189 26 | 0.008 % |
8.07/8.17 c | 16522 | 23799 430799 1454425 | 2147483647 16498 26 | 0.008 % |
8.27/8.31 c | 16861 | 23799 430799 1454425 | 2147483647 16837 26 | 0.008 % |
8.27/8.37 c | 16961 | 23799 430799 1454425 | 2147483647 16937 26 | 0.009 % |
8.37/8.46 c | 17071 | 23799 430799 1454425 | 2147483647 17047 26 | 0.008 % |
8.37/8.50 c | 17192 | 23799 430799 1454425 | 2147483647 17168 26 | 0.008 % |
8.47/8.52 c | 17325 | 23799 430799 1454425 | 2147483647 17301 26 | 0.009 % |
8.47/8.57 c | 17472 | 23799 430799 1454425 | 2147483647 17448 26 | 0.008 % |
8.57/8.63 c | 17633 | 23799 430799 1454425 | 2147483647 17609 26 | 0.008 % |
8.68/8.72 c | 17814 | 23799 430799 1454425 | 2147483647 17790 26 | 0.008 % |
8.68/8.78 c | 18007 | 23799 430799 1454425 | 2147483647 17983 26 | 0.008 % |
8.78/8.87 c | 18219 | 23799 430799 1454425 | 2147483647 18195 26 | 0.008 % |
8.87/8.93 c | 18453 | 23799 430799 1454425 | 2147483647 18429 26 | 0.008 % |
8.97/9.01 c | 18711 | 23799 430799 1454425 | 2147483647 18687 26 | 0.009 % |
9.07/9.12 c | 18992 | 23799 430799 1454425 | 2147483647 18968 26 | 0.008 % |
9.17/9.27 c | 19306 | 23799 430799 1454425 | 2147483647 19282 27 | 0.008 % |
9.37/9.41 c | 19645 | 23799 430799 1454425 | 2147483647 19621 27 | 0.008 % |
9.37/9.47 c | 20017 | 23799 430799 1454425 | 2147483647 19993 27 | 0.009 % |
9.37/9.49 c | 20120 | 23799 430799 1454425 | 2147483647 20096 27 | 0.009 % |
9.47/9.53 c | 20231 | 23799 430799 1454425 | 2147483647 20207 27 | 0.008 % |
9.47/9.57 c | 20352 | 23799 430799 1454425 | 2147483647 20328 27 | 0.008 % |
9.57/9.61 c | 20485 | 23799 430799 1454425 | 2147483647 20461 27 | 0.009 % |
9.57/9.65 c | 20632 | 23799 430799 1454425 | 2147483647 20608 27 | 0.008 % |
9.57/9.70 c | 20795 | 23799 430799 1454425 | 2147483647 20771 27 | 0.009 % |
9.67/9.78 c | 20971 | 23799 430799 1454425 | 2147483647 20947 27 | 0.009 % |
9.77/9.83 c | 21168 | 23799 430799 1454425 | 2147483647 21144 27 | 0.008 % |
9.87/9.91 c | 21381 | 23799 430799 1454425 | 2147483647 21357 27 | 0.008 % |
9.97/10.03 c | 21614 | 23799 430799 1454425 | 2147483647 21590 27 | 0.008 % |
10.07/10.13 c | 21871 | 23799 430799 1454425 | 2147483647 21847 27 | 0.008 % |
10.17/10.22 c | 22154 | 23799 430799 1454425 | 2147483647 22130 27 | 0.008 % |
10.27/10.33 c | 22464 | 23799 430799 1454425 | 2147483647 22440 28 | 0.009 % |
10.37/10.42 c | 22803 | 23799 430799 1454425 | 2147483647 22779 28 | 0.009 % |
10.47/10.54 c | 23175 | 23799 430799 1454425 | 2147483647 23151 28 | 0.008 % |
10.57/10.66 c | 23584 | 23799 430799 1454425 | 2147483647 23560 28 | 0.009 % |
10.67/10.71 c | 23684 | 23799 430799 1454425 | 2147483647 23660 28 | 0.008 % |
10.67/10.76 c | 23797 | 23799 430799 1454425 | 2147483647 23773 28 | 0.008 % |
10.77/10.81 c | 23918 | 23799 430799 1454425 | 2147483647 23894 28 | 0.008 % |
10.77/10.87 c | 24052 | 23799 430799 1454425 | 2147483647 24028 28 | 0.008 % |
10.87/10.91 c | 24198 | 23799 430799 1454425 | 2147483647 24174 28 | 0.008 % |
10.87/10.96 c | 24360 | 23799 430799 1454425 | 2147483647 24336 28 | 0.008 % |
10.97/11.01 c | 24537 | 23799 430799 1454425 | 2147483647 24513 28 | 0.008 % |
11.07/11.11 c | 24730 | 23799 430799 1454425 | 2147483647 24706 28 | 0.008 % |
11.07/11.14 c | 24942 | 23799 430799 1454425 | 2147483647 24918 28 | 0.008 % |
11.17/11.21 c | 25175 | 23799 430799 1454425 | 2147483647 25151 28 | 0.008 % |
11.17/11.29 c | 25431 | 23799 430799 1454425 | 2147483647 25407 28 | 0.008 % |
11.27/11.39 c | 25712 | 23799 430799 1454425 | 2147483647 25688 28 | 0.008 % |
11.37/11.49 c | 26023 | 23799 430799 1454425 | 2147483647 25999 27 | 0.008 % |
11.67/11.72 c | 26362 | 23799 430799 1454425 | 2147483647 26338 27 | 0.008 % |
11.77/11.89 c | 26734 | 23799 430799 1454425 | 2147483647 26710 27 | 0.008 % |
11.97/12.03 c | 27145 | 23799 430799 1454425 | 2147483647 27121 27 | 0.009 % |
12.17/12.22 c | 27595 | 23799 430799 1454425 | 2147483647 27571 28 | 0.008 % |
12.17/12.27 c | 27697 | 23799 430799 1454425 | 2147483647 27673 28 | 0.008 % |
12.27/12.32 c | 27807 | 23799 430799 1454425 | 2147483647 27783 28 | 0.008 % |
12.37/12.41 c | 27928 | 23799 430799 1454425 | 2147483647 27904 28 | 0.008 % |
12.37/12.47 c | 28061 | 23799 430799 1454425 | 2147483647 28037 28 | 0.008 % |
12.47/12.53 c | 28208 | 23799 430799 1454425 | 2147483647 28184 28 | 0.008 % |
12.47/12.57 c | 28368 | 23799 430799 1454425 | 2147483647 28344 28 | 0.008 % |
12.57/12.66 c | 28544 | 23799 430799 1454425 | 2147483647 28520 28 | 0.008 % |
12.67/12.72 c | 28737 | 23799 430799 1454425 | 2147483647 28713 28 | 0.008 % |
12.77/12.82 c | 28949 | 23799 430799 1454425 | 2147483647 28925 28 | 0.008 % |
12.87/12.90 c | 29182 | 23799 430799 1454425 | 2147483647 29158 28 | 0.008 % |
12.87/12.95 c | 29438 | 23799 430799 1454425 | 2147483647 29414 28 | 0.008 % |
12.97/13.09 c | 29720 | 23799 430799 1454425 | 2147483647 29696 28 | 0.009 % |
13.07/13.17 c | 30029 | 23799 430799 1454425 | 2147483647 30005 28 | 0.008 % |
13.17/13.28 c | 30368 | 23799 430799 1454425 | 2147483647 30344 28 | 0.008 % |
13.37/13.47 c | 30740 | 23799 430799 1454425 | 2147483647 30716 28 | 0.008 % |
13.57/13.66 c | 31149 | 23799 430799 1454425 | 2147483647 31125 28 | 0.008 % |
13.77/13.82 c | 31601 | 23799 430799 1454425 | 2147483647 31577 28 | 0.008 % |
13.87/13.98 c | 32094 | 23799 430799 1454425 | 2147483647 32070 28 | 0.008 % |
13.97/14.04 c | 32194 | 23799 430799 1454425 | 2147483647 32170 28 | 0.008 % |
14.07/14.15 c | 32304 | 23799 430799 1454425 | 2147483647 32280 28 | 0.008 % |
14.17/14.21 c | 32425 | 23799 430799 1454425 | 2147483647 32401 28 | 0.009 % |
14.17/14.29 c | 32558 | 23799 430799 1454425 | 2147483647 32534 28 | 0.008 % |
14.27/14.35 c | 32704 | 23799 430799 1454425 | 2147483647 32680 28 | 0.008 % |
14.37/14.44 c | 32865 | 23799 430799 1454425 | 2147483647 32841 28 | 0.008 % |
14.47/14.56 c | 33042 | 23799 430799 1454425 | 2147483647 33018 28 | 0.008 % |
14.57/14.66 c | 33235 | 23799 430799 1454425 | 2147483647 33211 28 | 0.008 % |
14.67/14.73 c | 33447 | 23799 430799 1454425 | 2147483647 33423 28 | 0.008 % |
14.76/14.80 c | 33681 | 23799 430799 1454425 | 2147483647 33657 29 | 0.008 % |
14.76/14.88 c | 33938 | 23799 430799 1454425 | 2147483647 33914 28 | 0.008 % |
14.86/14.95 c | 34219 | 23799 430799 1454425 | 2147483647 34195 28 | 0.008 % |
15.06/15.10 c | 34529 | 23799 430799 1454425 | 2147483647 34505 28 | 0.008 % |
15.16/15.26 c | 34871 | 23799 430799 1454425 | 2147483647 34847 29 | 0.008 % |
15.37/15.41 c | 35243 | 23799 430799 1454425 | 2147483647 35219 29 | 0.008 % |
15.46/15.59 c | 35653 | 23799 430799 1454425 | 2147483647 35629 29 | 0.008 % |
15.66/15.73 c | 36102 | 23799 430799 1454425 | 2147483647 36078 29 | 0.009 % |
15.76/15.89 c | 36595 | 23799 430799 1454425 | 2147483647 36571 29 | 0.008 % |
15.96/16.09 c | 37137 | 23799 430799 1454425 | 2147483647 37113 29 | 0.008 % |
16.06/16.12 c | 37237 | 23799 430799 1454425 | 2147483647 37213 29 | 0.008 % |
16.16/16.20 c | 37347 | 23799 430799 1454425 | 2147483647 37323 29 | 0.008 % |
16.16/16.26 c | 37469 | 23799 430799 1454425 | 2147483647 37445 29 | 0.008 % |
16.26/16.32 c | 37602 | 23799 430799 1454425 | 2147483647 37578 29 | 0.008 % |
16.26/16.39 c | 37748 | 23799 430799 1454425 | 2147483647 37724 29 | 0.008 % |
16.37/16.44 c | 37908 | 23799 430799 1454425 | 2147483647 37884 29 | 0.008 % |
16.48/16.51 c | 38086 | 23799 430799 1454425 | 2147483647 38062 29 | 0.008 % |
16.48/16.59 c | 38281 | 23799 430799 1454425 | 2147483647 38257 29 | 0.008 % |
16.57/16.66 c | 38494 | 23799 430799 1454425 | 2147483647 38470 29 | 0.008 % |
16.67/16.76 c | 38728 | 23799 430799 1454425 | 2147483647 38704 29 | 0.008 % |
16.77/16.87 c | 38986 | 23799 430799 1454425 | 2147483647 38962 29 | 0.008 % |
16.87/16.93 c | 39267 | 23799 430799 1454425 | 2147483647 39243 29 | 0.008 % |
17.27/17.32 c | 39578 | 23799 430799 1454425 | 2147483647 39554 29 | 0.008 % |
17.37/17.46 c | 39918 | 23799 430799 1454425 | 2147483647 39894 29 | 0.008 % |
17.47/17.58 c | 40290 | 23799 430799 1454425 | 2147483647 40266 29 | 0.008 % |
17.67/17.73 c | 40700 | 23799 430799 1454425 | 2147483647 40676 29 | 0.008 % |
17.77/17.88 c | 41149 | 23799 430799 1454425 | 2147483647 41125 29 | 0.008 % |
17.97/18.00 c | 41643 | 23799 430799 1454425 | 2147483647 41619 29 | 0.008 % |
18.07/18.16 c | 42185 | 23799 430799 1454425 | 2147483647 42161 29 | 0.008 % |
18.27/18.33 c | 42783 | 23799 430799 1454425 | 2147483647 42759 30 | 0.009 % |
18.27/18.38 c | 42883 | 23799 430799 1454425 | 2147483647 42859 30 | 0.008 % |
18.37/18.41 c | 42993 | 23799 430799 1454425 | 2147483647 42969 30 | 0.008 % |
18.37/18.47 c | 43114 | 23799 430799 1454425 | 2147483647 43090 30 | 0.008 % |
18.57/18.61 c | 43250 | 23799 430799 1454425 | 2147483647 43226 30 | 0.008 % |
18.57/18.64 c | 43397 | 23799 430799 1454425 | 2147483647 43373 29 | 0.008 % |
18.67/18.71 c | 43558 | 23799 430799 1454425 | 2147483647 43534 29 | 0.008 % |
18.77/18.83 c | 43736 | 23799 430799 1454425 | 2147483647 43712 30 | 0.008 % |
18.87/18.93 c | 43930 | 23799 430799 1454425 | 2147483647 43906 30 | 0.008 % |
18.87/18.98 c | 44143 | 23799 430799 1454425 | 2147483647 44119 30 | 0.008 % |
18.97/19.06 c | 44379 | 23799 430799 1454425 | 2147483647 44355 30 | 0.008 % |
19.17/19.20 c | 44636 | 23799 430799 1454425 | 2147483647 44612 30 | 0.009 % |
19.27/19.37 c | 44918 | 23799 430799 1454425 | 2147483647 44894 30 | 0.008 % |
19.47/19.55 c | 45228 | 23799 430799 1454425 | 2147483647 45204 30 | 0.009 % |
19.67/19.70 c | 45568 | 23799 430799 1454425 | 2147483647 45544 30 | 0.008 % |
19.87/19.92 c | 45940 | 23799 430799 1454425 | 2147483647 45916 30 | 0.008 % |
19.97/20.08 c | 46349 | 23799 430799 1454425 | 2147483647 46325 30 | 0.008 % |
20.07/20.17 c | 46798 | 23799 430799 1454425 | 2147483647 46774 30 | 0.008 % |
20.27/20.37 c | 47291 | 23799 430799 1454425 | 2147483647 47267 30 | 0.008 % |
20.47/20.52 c | 47837 | 23799 430799 1454425 | 2147483647 47813 30 | 0.008 % |
20.77/20.81 c | 48436 | 23799 430799 1454425 | 2147483647 48412 30 | 0.008 % |
20.97/21.01 c | 49092 | 23799 430799 1454425 | 2147483647 49068 30 | 0.008 % |
20.97/21.05 c | 49192 | 23799 430799 1454425 | 2147483647 49168 30 | 0.009 % |
21.07/21.10 c | 49302 | 23799 430799 1454425 | 2147483647 49278 30 | 0.008 % |
21.07/21.15 c | 49424 | 23799 430799 1454425 | 2147483647 49400 30 | 0.008 % |
21.17/21.23 c | 49557 | 23799 430799 1454425 | 2147483647 49533 30 | 0.008 % |
21.27/21.30 c | 49703 | 23799 430799 1454425 | 2147483647 49679 30 | 0.008 % |
21.27/21.40 c | 49864 | 23799 430799 1454425 | 2147483647 49840 30 | 0.008 % |
21.37/21.48 c | 50040 | 23799 430799 1454425 | 2147483647 50016 30 | 0.008 % |
21.47/21.54 c | 50233 | 23799 430799 1454425 | 2147483647 50209 30 | 0.008 % |
21.56/21.63 c | 50445 | 23799 430799 1454425 | 2147483647 50421 30 | 0.008 % |
21.56/21.70 c | 50678 | 23799 430799 1454425 | 2147483647 50654 30 | 0.008 % |
21.76/21.83 c | 50934 | 23799 430799 1454425 | 2147483647 50910 30 | 0.008 % |
21.87/21.93 c | 51216 | 23799 430799 1454425 | 2147483647 51192 30 | 0.008 % |
21.97/22.06 c | 51525 | 23799 430799 1454425 | 2147483647 51501 30 | 0.008 % |
22.16/22.23 c | 51865 | 23799 430799 1454425 | 2147483647 51841 30 | 0.008 % |
22.26/22.31 c | 52238 | 23799 430799 1454425 | 2147483647 52214 30 | 0.008 % |
22.36/22.48 c | 52649 | 23799 430799 1454425 | 2147483647 52625 30 | 0.008 % |
22.56/22.64 c | 53098 | 23799 430799 1454425 | 2147483647 53074 30 | 0.008 % |
22.86/22.92 c | 53593 | 23799 430799 1454425 | 2147483647 53569 30 | 0.008 % |
22.97/23.02 c | 54137 | 23799 430799 1454425 | 2147483647 54113 30 | 0.008 % |
23.16/23.25 c | 54733 | 23799 430799 1454425 | 2147483647 54709 30 | 0.009 % |
23.36/23.42 c | 55388 | 23799 430799 1454425 | 2147483647 55364 31 | 0.008 % |
23.56/23.66 c | 56109 | 23799 430799 1454425 | 2147483647 56085 30 | 0.008 % |
23.66/23.73 c | 56209 | 23799 430799 1454425 | 2147483647 56185 30 | 0.008 % |
23.66/23.77 c | 56320 | 23799 430799 1454425 | 2147483647 56296 30 | 0.008 % |
23.76/23.81 c | 56441 | 23799 430799 1454425 | 2147483647 56417 30 | 0.008 % |
23.76/23.84 c | 56574 | 23799 430799 1454425 | 2147483647 56550 30 | 0.008 % |
23.86/23.96 c | 56720 | 23799 430799 1454425 | 2147483647 56696 30 | 0.008 % |
24.06/24.12 c | 56880 | 23799 430799 1454425 | 2147483647 56856 30 | 0.008 % |
24.17/24.25 c | 57057 | 23799 430799 1454425 | 2147483647 57033 30 | 0.008 % |
24.37/24.45 c | 57251 | 23799 430799 1454425 | 2147483647 57227 31 | 0.009 % |
24.47/24.51 c | 57464 | 23799 430799 1454425 | 2147483647 57440 31 | 0.008 % |
24.47/24.59 c | 57697 | 23799 430799 1454425 | 2147483647 57673 31 | 0.008 % |
24.57/24.68 c | 57953 | 23799 430799 1454425 | 2147483647 57929 31 | 0.008 % |
24.67/24.77 c | 58234 | 23799 430799 1454425 | 2147483647 58210 31 | 0.009 % |
24.87/24.94 c | 58543 | 23799 430799 1454425 | 2147483647 58519 31 | 0.008 % |
25.07/25.18 c | 58882 | 23799 430799 1454425 | 2147483647 58858 31 | 0.008 % |
25.27/25.39 c | 59254 | 23799 430799 1454425 | 2147483647 59230 31 | 0.008 % |
25.47/25.59 c | 59664 | 23799 430799 1454425 | 2147483647 59640 31 | 0.008 % |
25.67/25.75 c | 60113 | 23799 430799 1454425 | 2147483647 60089 31 | 0.008 % |
26.07/26.10 c | 60607 | 23799 430799 1454425 | 2147483647 60583 31 | 0.008 % |
26.37/26.42 c | 61151 | 23799 430799 1454425 | 2147483647 61127 31 | 0.008 % |
26.57/26.67 c | 61748 | 23799 430799 1454425 | 2147483647 61724 31 | 0.008 % |
26.97/27.06 c | 62404 | 23799 430799 1454425 | 2147483647 62380 32 | 0.009 % |
27.57/27.67 c | 63124 | 23799 430799 1454425 | 2147483647 63100 32 | 0.009 % |
27.97/28.06 c | 63917 | 23799 430799 1454425 | 2147483647 63893 32 | 0.008 % |
27.97/28.09 c | 64019 | 23799 430799 1454425 | 2147483647 63995 32 | 0.008 % |
28.07/28.15 c | 64130 | 23799 430799 1454425 | 2147483647 64106 32 | 0.008 % |
28.17/28.23 c | 64252 | 23799 430799 1454425 | 2147483647 64228 32 | 0.009 % |
28.27/28.32 c | 64385 | 23799 430799 1454425 | 2147483647 64361 32 | 0.008 % |
28.27/28.37 c | 64531 | 23799 430799 1454425 | 2147483647 64507 32 | 0.008 % |
28.37/28.45 c | 64691 | 23799 430799 1454425 | 2147483647 64667 32 | 0.008 % |
28.47/28.53 c | 64868 | 23799 430799 1454425 | 2147483647 64844 32 | 0.008 % |
28.57/28.62 c | 65062 | 23799 430799 1454425 | 2147483647 65038 32 | 0.008 % |
28.67/28.74 c | 65274 | 23799 430799 1454425 | 2147483647 65250 32 | 0.008 % |
28.77/28.86 c | 65507 | 23799 430799 1454425 | 2147483647 65483 32 | 0.008 % |
28.97/29.05 c | 65763 | 23799 430799 1454425 | 2147483647 65739 32 | 0.008 % |
29.17/29.20 c | 66044 | 23799 430799 1454425 | 2147483647 66020 32 | 0.008 % |
29.27/29.35 c | 66353 | 23799 430799 1454425 | 2147483647 66329 32 | 0.008 % |
29.47/29.53 c | 66696 | 23799 430799 1454425 | 2147483647 66672 32 | 0.008 % |
29.57/29.66 c | 67068 | 23799 430799 1454425 | 2147483647 67044 32 | 0.008 % |
29.77/29.83 c | 67477 | 23799 430799 1454425 | 2147483647 67453 32 | 0.008 % |
29.97/30.08 c | 67927 | 23799 430799 1454425 | 2147483647 67903 32 | 0.008 % |
30.27/30.35 c | 68420 | 23799 430799 1454425 | 2147483647 68396 32 | 0.008 % |
30.57/30.61 c | 68962 | 23799 430799 1454425 | 2147483647 68938 32 | 0.008 % |
30.77/30.85 c | 69558 | 23799 430799 1454425 | 2147483647 69534 32 | 0.009 % |
31.16/31.21 c | 70213 | 23799 430799 1454425 | 2147483647 70189 32 | 0.008 % |
31.36/31.43 c | 70933 | 23799 430799 1454425 | 2147483647 70909 32 | 0.008 % |
31.56/31.61 c | 71726 | 23799 430799 1454425 | 2147483647 71702 32 | 0.008 % |
31.77/31.82 c | 72598 | 23799 430799 1454425 | 2147483647 72574 32 | 0.008 % |
31.77/31.88 c | 72699 | 23799 430799 1454425 | 2147483647 72675 32 | 0.008 % |
31.87/31.92 c | 72811 | 23799 430799 1454425 | 2147483647 72787 32 | 0.008 % |
31.96/32.02 c | 72932 | 23799 430799 1454425 | 2147483647 72908 32 | 0.008 % |
31.96/32.07 c | 73067 | 23799 430799 1454425 | 2147483647 73043 32 | 0.008 % |
32.06/32.13 c | 73213 | 23799 430799 1454425 | 2147483647 73189 32 | 0.008 % |
32.06/32.20 c | 73374 | 23799 430799 1454425 | 2147483647 73350 32 | 0.008 % |
32.26/32.35 c | 73550 | 23799 430799 1454425 | 2147483647 73526 32 | 0.008 % |
32.36/32.45 c | 73743 | 23799 430799 1454425 | 2147483647 73719 32 | 0.008 % |
32.46/32.53 c | 73956 | 23799 430799 1454425 | 2147483647 73932 32 | 0.009 % |
32.56/32.64 c | 74190 | 23799 430799 1454425 | 2147483647 74166 32 | 0.008 % |
32.76/32.84 c | 74447 | 23799 430799 1454425 | 2147483647 74423 32 | 0.008 % |
32.87/32.93 c | 74729 | 23799 430799 1454425 | 2147483647 74705 32 | 0.008 % |
32.97/33.06 c | 75038 | 23799 430799 1454425 | 2147483647 75014 32 | 0.008 % |
33.16/33.25 c | 75380 | 23799 430799 1454425 | 2147483647 75356 32 | 0.008 % |
33.36/33.44 c | 75752 | 23799 430799 1454425 | 2147483647 75728 32 | 0.009 % |
33.66/33.70 c | 76162 | 23799 430799 1454425 | 2147483647 76138 32 | 0.008 % |
33.86/33.94 c | 76612 | 23799 430799 1454425 | 2147483647 76588 32 | 0.009 % |
34.06/34.18 c | 77105 | 23799 430799 1454425 | 2147483647 77081 32 | 0.008 % |
34.36/34.44 c | 77647 | 23799 430799 1454425 | 2147483647 77623 32 | 0.008 % |
34.56/34.63 c | 78243 | 23799 430799 1454425 | 2147483647 78219 32 | 0.008 % |
34.87/35.00 c | 78899 | 23799 430799 1454425 | 2147483647 78875 32 | 0.009 % |
35.17/35.25 c | 79622 | 23799 430799 1454425 | 2147483647 79598 32 | 0.008 % |
35.56/35.66 c | 80415 | 23799 430799 1454425 | 2147483647 80391 33 | 0.008 % |
35.96/36.02 c | 81287 | 23799 430799 1454425 | 2147483647 81263 33 | 0.008 % |
36.27/36.34 c | 82245 | 23799 430799 1454425 | 2147483647 82221 33 | 0.008 % |
36.27/36.39 c | 82346 | 23799 430799 1454425 | 2147483647 82322 33 | 0.008 % |
36.36/36.44 c | 82456 | 23799 430799 1454425 | 2147483647 82432 33 | 0.008 % |
36.36/36.49 c | 82577 | 23799 430799 1454425 | 2147483647 82553 33 | 0.008 % |
36.56/36.60 c | 82710 | 23799 430799 1454425 | 2147483647 82686 33 | 0.008 % |
36.56/36.62 c | 82856 | 23799 430799 1454425 | 2147483647 82832 33 | 0.008 % |
36.66/36.75 c | 83016 | 23799 430799 1454425 | 2147483647 82992 33 | 0.008 % |
36.76/36.86 c | 83193 | 23799 430799 1454425 | 2147483647 83169 33 | 0.008 % |
36.86/36.96 c | 83386 | 23799 430799 1454425 | 2147483647 83362 33 | 0.008 % |
37.06/37.10 c | 83599 | 23799 430799 1454425 | 2147483647 83575 33 | 0.008 % |
37.16/37.22 c | 83833 | 23799 430799 1454425 | 2147483647 83809 33 | 0.008 % |
37.27/37.32 c | 84089 | 23799 430799 1454425 | 2147483647 84065 33 | 0.008 % |
37.37/37.44 c | 84370 | 23799 430799 1454425 | 2147483647 84346 33 | 0.008 % |
37.56/37.61 c | 84679 | 23799 430799 1454425 | 2147483647 84655 33 | 0.008 % |
37.66/37.75 c | 85020 | 23799 430799 1454425 | 2147483647 84996 33 | 0.008 % |
37.86/37.92 c | 85392 | 23799 430799 1454425 | 2147483647 85368 33 | 0.008 % |
38.06/38.13 c | 85803 | 23799 430799 1454425 | 2147483647 85779 33 | 0.008 % |
38.26/38.39 c | 86252 | 23799 430799 1454425 | 2147483647 86228 33 | 0.008 % |
38.56/38.63 c | 86745 | 23799 430799 1454425 | 2147483647 86721 33 | 0.008 % |
38.76/38.88 c | 87287 | 23799 430799 1454425 | 2147483647 87263 33 | 0.008 % |
39.26/39.33 c | 87883 | 23799 430799 1454425 | 2147483647 87859 33 | 0.008 % |
39.66/39.76 c | 88543 | 23799 430799 1454425 | 2147483647 88519 33 | 0.008 % |
39.96/40.06 c | 89264 | 23799 430799 1454425 | 2147483647 89240 33 | 0.008 % |
40.27/40.39 c | 90061 | 23799 430799 1454425 | 2147483647 90037 33 | 0.008 % |
40.77/40.85 c | 90932 | 23799 430799 1454425 | 2147483647 90908 33 | 0.008 % |
41.26/41.33 c | 91891 | 23799 430799 1454425 | 2147483647 91867 33 | 0.008 % |
41.86/41.99 c | 92945 | 23799 430799 1454425 | 2147483647 92921 33 | 0.008 % |
41.96/42.03 c | 93046 | 23799 430799 1454425 | 2147483647 93022 33 | 0.008 % |
42.06/42.14 c | 93156 | 23799 430799 1454425 | 2147483647 93132 33 | 0.008 % |
42.16/42.22 c | 93278 | 23799 430799 1454425 | 2147483647 93254 34 | 0.009 % |
42.16/42.27 c | 93411 | 23799 430799 1454425 | 2147483647 93387 34 | 0.008 % |
42.26/42.36 c | 93557 | 23799 430799 1454425 | 2147483647 93533 34 | 0.009 % |
42.36/42.45 c | 93717 | 23799 430799 1454425 | 2147483647 93693 34 | 0.008 % |
42.46/42.50 c | 93895 | 23799 430799 1454425 | 2147483647 93871 34 | 0.009 % |
42.56/42.67 c | 94088 | 23799 430799 1454425 | 2147483647 94064 34 | 0.008 % |
42.77/42.82 c | 94302 | 23799 430799 1454425 | 2147483647 94278 34 | 0.008 % |
42.87/42.92 c | 94535 | 23799 430799 1454425 | 2147483647 94511 34 | 0.008 % |
42.96/43.04 c | 94791 | 23799 430799 1454425 | 2147483647 94767 34 | 0.008 % |
43.06/43.12 c | 95074 | 23799 430799 1454425 | 2147483647 95050 34 | 0.008 % |
43.26/43.36 c | 95385 | 23799 430799 1454425 | 2147483647 95361 34 | 0.008 % |
43.36/43.49 c | 95726 | 23799 430799 1454425 | 2147483647 95702 34 | 0.009 % |
43.56/43.64 c | 96100 | 23799 430799 1454425 | 2147483647 96076 34 | 0.009 % |
43.76/43.86 c | 96510 | 23799 430799 1454425 | 2147483647 96486 34 | 0.009 % |
44.06/44.10 c | 96960 | 23799 430799 1454425 | 2147483647 96936 34 | 0.008 % |
44.26/44.33 c | 97453 | 23799 430799 1454425 | 2147483647 97429 34 | 0.008 % |
44.46/44.56 c | 97996 | 23799 430799 1454425 | 2147483647 97972 34 | 0.008 % |
44.86/44.94 c | 98592 | 23799 430799 1454425 | 2147483647 98568 34 | 0.008 % |
45.26/45.34 c | 99248 | 23799 430799 1454425 | 2147483647 99224 34 | 0.008 % |
45.76/45.80 c | 99968 | 23799 430799 1454425 | 2147483647 99944 35 | 0.008 % |
46.06/46.16 c | 100762 | 23799 430799 1454425 | 2147483647 100738 35 | 0.008 % |
46.57/46.63 c | 101633 | 23799 430799 1454425 | 2147483647 101609 35 | 0.008 % |
47.07/47.16 c | 102592 | 23799 430799 1454425 | 2147483647 102568 35 | 0.008 % |
47.46/47.50 c | 103645 | 23799 430799 1454425 | 2147483647 103621 35 | 0.008 % |
48.06/48.17 c | 104803 | 23799 430799 1454425 | 2147483647 104779 35 | 0.008 % |
48.16/48.21 c | 104905 | 23799 430799 1454425 | 2147483647 104881 35 | 0.009 % |
48.16/48.27 c | 105015 | 23799 430799 1454425 | 2147483647 104991 35 | 0.008 % |
48.27/48.30 c | 105136 | 23799 430799 1454425 | 2147483647 105112 35 | 0.008 % |
48.27/48.40 c | 105269 | 23799 430799 1454425 | 2147483647 105245 35 | 0.008 % |
48.37/48.44 c | 105416 | 23799 430799 1454425 | 2147483647 105392 35 | 0.008 % |
48.46/48.53 c | 105576 | 23799 430799 1454425 | 2147483647 105552 35 | 0.008 % |
48.56/48.68 c | 105752 | 23799 430799 1454425 | 2147483647 105728 35 | 0.008 % |
49.26/49.30 c | 105945 | 23799 430799 1454425 | 2147483647 105921 35 | 0.008 % |
49.56/49.62 c | 106158 | 23798 430790 1454398 | 2147483647 106124 35 | 0.013 % |
49.66/49.78 c | 106392 | 23798 430790 1454398 | 2147483647 106358 35 | 0.013 % |
49.86/49.96 c | 106649 | 23798 430790 1454398 | 2147483647 106615 35 | 0.013 % |
50.06/50.11 c | 106931 | 23798 430790 1454398 | 2147483647 106897 35 | 0.013 % |
50.16/50.27 c | 107240 | 23798 430790 1454398 | 2147483647 107206 35 | 0.013 % |
50.36/50.49 c | 107579 | 23798 430790 1454398 | 2147483647 107545 35 | 0.013 % |
50.66/50.77 c | 107954 | 23798 430790 1454398 | 2147483647 107920 35 | 0.013 % |
50.96/51.04 c | 108363 | 23798 430790 1454398 | 2147483647 108329 35 | 0.013 % |
51.46/51.51 c | 108814 | 23798 430790 1454398 | 2147483647 108780 35 | 0.013 % |
51.66/51.75 c | 109310 | 23798 430790 1454398 | 2147483647 109276 35 | 0.013 % |
51.96/52.05 c | 109853 | 23798 430790 1454398 | 2147483647 109819 35 | 0.013 % |
52.26/52.39 c | 110451 | 23798 430790 1454398 | 2147483647 110417 35 | 0.013 % |
52.56/52.66 c | 111106 | 23798 430790 1454398 | 2147483647 111072 36 | 0.013 % |
52.96/53.05 c | 111826 | 23798 430790 1454398 | 2147483647 111792 36 | 0.013 % |
53.36/53.45 c | 112618 | 23798 430790 1454398 | 2147483647 112584 36 | 0.013 % |
53.86/53.94 c | 113491 | 23798 430790 1454398 | 2147483647 113457 36 | 0.013 % |
54.25/54.37 c | 114449 | 23798 430790 1454398 | 2147483647 114415 36 | 0.013 % |
54.75/54.89 c | 115502 | 23798 430790 1454398 | 2147483647 115468 36 | 0.013 % |
55.76/55.84 c | 116660 | 23798 430790 1454398 | 2147483647 116626 36 | 0.013 % |
56.56/56.61 c | 117933 | 23798 430790 1454398 | 2147483647 117899 36 | 0.013 % |
56.56/56.67 c | 118035 | 23798 430790 1454398 | 2147483647 118001 36 | 0.013 % |
56.66/56.73 c | 118145 | 23798 430790 1454398 | 2147483647 118111 36 | 0.013 % |
56.76/56.85 c | 118267 | 23798 430790 1454398 | 2147483647 118233 36 | 0.013 % |
56.86/56.91 c | 118400 | 23798 430790 1454398 | 2147483647 118366 36 | 0.013 % |
56.86/56.98 c | 118546 | 23798 430790 1454398 | 2147483647 118512 36 | 0.013 % |
57.06/57.17 c | 118706 | 23798 430790 1454398 | 2147483647 118672 36 | 0.013 % |
57.16/57.27 c | 118882 | 23798 430790 1454398 | 2147483647 118848 36 | 0.013 % |
57.26/57.38 c | 119075 | 23798 430790 1454398 | 2147483647 119041 36 | 0.013 % |
57.46/57.54 c | 119287 | 23798 430790 1454398 | 2147483647 119253 36 | 0.013 % |
57.56/57.65 c | 119521 | 23798 430790 1454398 | 2147483647 119487 36 | 0.013 % |
57.76/57.81 c | 119777 | 23798 430790 1454398 | 2147483647 119743 36 | 0.013 % |
57.86/57.94 c | 120059 | 23798 430790 1454398 | 2147483647 120025 36 | 0.013 % |
58.06/58.13 c | 120369 | 23798 430790 1454398 | 2147483647 120335 36 | 0.013 % |
58.36/58.46 c | 120709 | 23798 430790 1454398 | 2147483647 120675 37 | 0.013 % |
58.66/58.72 c | 121083 | 23798 430790 1454398 | 2147483647 121049 37 | 0.013 % |
58.86/58.96 c | 121493 | 23798 430790 1454398 | 2147483647 121459 37 | 0.013 % |
59.16/59.29 c | 121942 | 23798 430790 1454398 | 2147483647 121908 37 | 0.013 % |
59.46/59.55 c | 122436 | 23798 430790 1454398 | 2147483647 122402 37 | 0.013 % |
59.96/60.02 c | 122980 | 23798 430790 1454398 | 2147483647 122946 37 | 0.013 % |
60.16/60.23 c | 123576 | 23798 430790 1454398 | 2147483647 123542 37 | 0.013 % |
60.46/60.56 c | 124233 | 23798 430790 1454398 | 2147483647 124199 37 | 0.013 % |
60.86/60.93 c | 124954 | 23798 430790 1454398 | 2147483647 124920 37 | 0.013 % |
61.26/61.35 c | 125746 | 23798 430790 1454398 | 2147483647 125712 37 | 0.013 % |
62.06/62.13 c | 126619 | 23798 430790 1454398 | 2147483647 126585 37 | 0.013 % |
62.75/62.85 c | 127578 | 23798 430790 1454398 | 2147483647 127544 37 | 0.013 % |
63.35/63.47 c | 128631 | 23798 430790 1454398 | 2147483647 128597 37 | 0.013 % |
64.05/64.12 c | 129789 | 23798 430790 1454398 | 2147483647 129755 37 | 0.013 % |
64.66/64.75 c | 131062 | 23798 430790 1454398 | 2147483647 131028 38 | 0.013 % |
65.46/65.57 c | 132462 | 23798 430790 1454398 | 2147483647 132428 38 | 0.013 % |
65.56/65.66 c | 132562 | 23798 430790 1454398 | 2147483647 132528 38 | 0.013 % |
65.66/65.75 c | 132672 | 23798 430790 1454398 | 2147483647 132638 38 | 0.013 % |
65.76/65.85 c | 132794 | 23798 430790 1454398 | 2147483647 132760 38 | 0.013 % |
65.86/65.94 c | 132928 | 23798 430790 1454398 | 2147483647 132894 38 | 0.013 % |
65.96/66.04 c | 133075 | 23798 430790 1454398 | 2147483647 133041 38 | 0.013 % |
66.06/66.14 c | 133235 | 23798 430790 1454398 | 2147483647 133201 38 | 0.013 % |
66.16/66.21 c | 133411 | 23798 430790 1454398 | 2147483647 133377 38 | 0.013 % |
66.26/66.30 c | 133604 | 23798 430790 1454398 | 2147483647 133570 38 | 0.013 % |
66.36/66.44 c | 133817 | 23798 430790 1454398 | 2147483647 133783 38 | 0.013 % |
66.46/66.59 c | 134050 | 23798 430790 1454398 | 2147483647 134016 38 | 0.013 % |
66.76/66.81 c | 134306 | 23798 430790 1454398 | 2147483647 134272 38 | 0.013 % |
66.86/66.99 c | 134590 | 23798 430790 1454398 | 2147483647 134556 38 | 0.013 % |
67.06/67.13 c | 134900 | 23798 430790 1454398 | 2147483647 134866 38 | 0.013 % |
67.26/67.36 c | 135242 | 23798 430790 1454398 | 2147483647 135208 38 | 0.013 % |
67.46/67.50 c | 135614 | 23798 430790 1454398 | 2147483647 135580 38 | 0.013 % |
67.66/67.71 c | 136023 | 23798 430790 1454398 | 2147483647 135989 38 | 0.013 % |
67.96/68.08 c | 136472 | 23798 430790 1454398 | 2147483647 136438 38 | 0.013 % |
68.26/68.34 c | 136965 | 23798 430790 1454398 | 2147483647 136931 38 | 0.013 % |
68.56/68.69 c | 137507 | 23798 430790 1454398 | 2147483647 137473 38 | 0.013 % |
69.16/69.28 c | 138103 | 23798 430790 1454398 | 2147483647 138069 38 | 0.013 % |
69.65/69.78 c | 138758 | 23798 430790 1454398 | 2147483647 138724 39 | 0.013 % |
70.15/70.22 c | 139479 | 23798 430790 1454398 | 2147483647 139445 39 | 0.013 % |
71.05/71.12 c | 140271 | 23798 430790 1454398 | 2147483647 140237 39 | 0.013 % |
71.55/71.61 c | 141142 | 23798 430790 1454398 | 2147483647 141108 39 | 0.013 % |
72.46/72.51 c | 142100 | 23798 430790 1454398 | 2147483647 142066 39 | 0.013 % |
73.85/73.99 c | 143153 | 23798 430790 1454398 | 2147483647 143119 39 | 0.013 % |
75.15/75.27 c | 144314 | 23798 430790 1454398 | 2147483647 144280 39 | 0.013 % |
76.06/76.12 c | 145587 | 23798 430790 1454398 | 2147483647 145553 39 | 0.013 % |
76.76/76.87 c | 146989 | 23798 430790 1454398 | 2147483647 146955 39 | 0.013 % |
77.96/78.01 c | 148529 | 23798 430790 1454398 | 2147483647 148495 40 | 0.013 % |
77.96/78.09 c | 148631 | 23798 430790 1454398 | 2147483647 148597 40 | 0.013 % |
78.06/78.15 c | 148742 | 23798 430790 1454398 | 2147483647 148708 40 | 0.013 % |
78.06/78.18 c | 148863 | 23798 430790 1454398 | 2147483647 148829 40 | 0.013 % |
78.15/78.29 c | 148996 | 23798 430790 1454398 | 2147483647 148962 40 | 0.013 % |
78.25/78.37 c | 149142 | 23798 430790 1454398 | 2147483647 149108 40 | 0.013 % |
78.35/78.44 c | 149305 | 23798 430790 1454398 | 2147483647 149271 40 | 0.013 % |
78.35/78.49 c | 149481 | 23798 430790 1454398 | 2147483647 149447 40 | 0.013 % |
78.55/78.69 c | 149678 | 23798 430790 1454398 | 2147483647 149644 40 | 0.013 % |
78.95/79.00 c | 149891 | 23798 430790 1454398 | 2147483647 149857 40 | 0.013 % |
79.06/79.15 c | 150124 | 23798 430790 1454398 | 2147483647 150090 40 | 0.013 % |
79.16/79.29 c | 150381 | 23798 430790 1454398 | 2147483647 150347 40 | 0.013 % |
79.45/79.50 c | 150662 | 23798 430790 1454398 | 2147483647 150628 40 | 0.013 % |
79.75/79.82 c | 150972 | 23798 430790 1454398 | 2147483647 150938 40 | 0.013 % |
79.95/80.00 c | 151312 | 23798 430790 1454398 | 2147483647 151278 40 | 0.013 % |
80.05/80.10 c | 151685 | 23798 430790 1454398 | 2147483647 151651 40 | 0.013 % |
80.35/80.42 c | 152095 | 23798 430790 1454398 | 2147483647 152061 40 | 0.013 % |
80.65/80.80 c | 152544 | 23798 430790 1454398 | 2147483647 152510 40 | 0.013 % |
81.05/81.17 c | 153037 | 23798 430790 1454398 | 2147483647 153003 40 | 0.013 % |
81.36/81.45 c | 153579 | 23798 430790 1454398 | 2147483647 153545 40 | 0.013 % |
81.65/81.74 c | 154175 | 23798 430790 1454398 | 2147483647 154141 40 | 0.013 % |
81.85/81.95 c | 154831 | 23798 430790 1454398 | 2147483647 154797 40 | 0.013 % |
82.15/82.26 c | 155552 | 23798 430790 1454398 | 2147483647 155518 40 | 0.013 % |
82.75/82.84 c | 156344 | 23798 430790 1454398 | 2147483647 156310 40 | 0.013 % |
83.15/83.29 c | 157215 | 23798 430790 1454398 | 2147483647 157181 40 | 0.013 % |
83.96/84.00 c | 158173 | 23798 430790 1454398 | 2147483647 158139 40 | 0.013 % |
84.75/84.88 c | 159229 | 23798 430790 1454398 | 2147483647 159195 40 | 0.013 % |
85.55/85.66 c | 160387 | 23798 430790 1454398 | 2147483647 160353 40 | 0.013 % |
86.05/86.19 c | 161661 | 23798 430790 1454398 | 2147483647 161627 40 | 0.013 % |
87.05/87.10 c | 163061 | 23798 430790 1454398 | 2147483647 163027 40 | 0.013 % |
87.95/88.04 c | 164601 | 23798 430790 1454398 | 2147483647 164567 41 | 0.013 % |
88.95/89.08 c | 166295 | 23798 430790 1454398 | 2147483647 166261 41 | 0.013 % |
89.05/89.18 c | 166395 | 23798 430790 1454398 | 2147483647 166361 41 | 0.013 % |
89.15/89.25 c | 166507 | 23798 430790 1454398 | 2147483647 166473 41 | 0.013 % |
89.25/89.39 c | 166628 | 23798 430790 1454398 | 2147483647 166594 41 | 0.013 % |
89.35/89.48 c | 166761 | 23798 430790 1454398 | 2147483647 166727 41 | 0.013 % |
89.55/89.66 c | 166907 | 23798 430790 1454398 | 2147483647 166873 41 | 0.013 % |
89.75/89.81 c | 167068 | 23798 430790 1454398 | 2147483647 167034 41 | 0.013 % |
89.85/89.91 c | 167245 | 23798 430790 1454398 | 2147483647 167211 41 | 0.013 % |
89.95/90.06 c | 167439 | 23798 430790 1454398 | 2147483647 167405 41 | 0.013 % |
90.35/90.41 c | 167651 | 23798 430790 1454398 | 2147483647 167617 41 | 0.013 % |
90.45/90.57 c | 167886 | 23798 430790 1454398 | 2147483647 167852 41 | 0.013 % |
90.75/90.83 c | 168142 | 23798 430790 1454398 | 2147483647 168108 41 | 0.013 % |
90.85/90.97 c | 168423 | 23798 430790 1454398 | 2147483647 168389 41 | 0.013 % |
91.05/91.12 c | 168734 | 23798 430790 1454398 | 2147483647 168700 41 | 0.013 % |
91.25/91.33 c | 169075 | 23798 430790 1454398 | 2147483647 169041 41 | 0.013 % |
91.45/91.58 c | 169449 | 23798 430790 1454398 | 2147483647 169415 41 | 0.013 % |
91.75/91.84 c | 169859 | 23798 430790 1454398 | 2147483647 169825 41 | 0.013 % |
92.05/92.12 c | 170308 | 23798 430790 1454398 | 2147483647 170274 41 | 0.013 % |
92.45/92.56 c | 170803 | 23798 430790 1454398 | 2147483647 170769 41 | 0.013 % |
92.85/92.97 c | 171346 | 23798 430790 1454398 | 2147483647 171312 41 | 0.013 % |
93.25/93.33 c | 171942 | 23798 430790 1454398 | 2147483647 171908 41 | 0.013 % |
93.85/93.92 c | 172598 | 23798 430790 1454398 | 2147483647 172564 41 | 0.013 % |
94.45/94.58 c | 173318 | 23798 430790 1454398 | 2147483647 173284 41 | 0.013 % |
95.14/95.24 c | 174112 | 23798 430790 1454398 | 2147483647 174078 41 | 0.013 % |
95.94/96.08 c | 174983 | 23798 430790 1454398 | 2147483647 174949 41 | 0.013 % |
96.85/96.94 c | 175942 | 23798 430790 1454398 | 2147483647 175908 41 | 0.013 % |
97.75/97.81 c | 176995 | 23798 430790 1454398 | 2147483647 176961 41 | 0.013 % |
98.45/98.51 c | 178153 | 23798 430790 1454398 | 2147483647 178119 41 | 0.013 % |
99.45/99.55 c | 179427 | 23798 430790 1454398 | 2147483647 179393 41 | 0.013 % |
100.84/100.99 c | 180827 | 23798 430790 1454398 | 2147483647 180793 42 | 0.013 % |
102.15/102.27 c | 182368 | 23798 430790 1454398 | 2147483647 182334 42 | 0.013 % |
103.44/103.53 c | 184064 | 23798 430790 1454398 | 2147483647 184030 42 | 0.013 % |
105.45/105.54 c | 185927 | 23798 430790 1454398 | 2147483647 185893 43 | 0.013 % |
105.65/105.74 c | 186029 | 23798 430790 1454398 | 2147483647 185995 43 | 0.013 % |
105.75/105.82 c | 186139 | 23798 430790 1454398 | 2147483647 186105 43 | 0.013 % |
105.85/105.92 c | 186260 | 23798 430790 1454398 | 2147483647 186226 43 | 0.013 % |
105.95/106.03 c | 186395 | 23798 430790 1454398 | 2147483647 186361 43 | 0.013 % |
106.05/106.13 c | 186541 | 23798 430790 1454398 | 2147483647 186507 43 | 0.013 % |
106.15/106.20 c | 186702 | 23798 430790 1454398 | 2147483647 186668 43 | 0.013 % |
106.25/106.38 c | 186878 | 23798 430790 1454398 | 2147483647 186844 43 | 0.013 % |
106.35/106.48 c | 187073 | 23798 430790 1454398 | 2147483647 187039 43 | 0.013 % |
106.65/106.73 c | 187285 | 23798 430790 1454398 | 2147483647 187251 43 | 0.013 % |
106.85/106.95 c | 187518 | 23798 430790 1454398 | 2147483647 187484 43 | 0.013 % |
107.15/107.24 c | 187775 | 23798 430790 1454398 | 2147483647 187741 43 | 0.013 % |
107.35/107.48 c | 188056 | 23798 430790 1454398 | 2147483647 188022 43 | 0.013 % |
107.75/107.89 c | 188367 | 23798 430790 1454398 | 2147483647 188333 43 | 0.013 % |
107.94/108.07 c | 188707 | 23798 430790 1454398 | 2147483647 188673 43 | 0.013 % |
108.34/108.41 c | 189079 | 23798 430790 1454398 | 2147483647 189045 43 | 0.013 % |
108.64/108.76 c | 189490 | 23798 430790 1454398 | 2147483647 189456 43 | 0.013 % |
108.94/109.06 c | 189942 | 23798 430790 1454398 | 2147483647 189908 43 | 0.013 % |
109.24/109.36 c | 190435 | 23798 430790 1454398 | 2147483647 190401 43 | 0.013 % |
109.74/109.85 c | 190977 | 23798 430790 1454398 | 2147483647 190943 43 | 0.013 % |
110.24/110.31 c | 191573 | 23798 430790 1454398 | 2147483647 191539 43 | 0.013 % |
111.05/111.12 c | 192233 | 23798 430790 1454398 | 2147483647 192199 43 | 0.013 % |
111.85/111.90 c | 192956 | 23798 430790 1454398 | 2147483647 192922 43 | 0.013 % |
112.45/112.52 c | 193748 | 23798 430790 1454398 | 2147483647 193714 43 | 0.013 % |
112.85/112.99 c | 194622 | 23798 430790 1454398 | 2147483647 194588 43 | 0.013 % |
113.65/113.77 c | 195580 | 23798 430790 1454398 | 2147483647 195546 43 | 0.013 % |
114.74/114.81 c | 196633 | 23798 430790 1454398 | 2147483647 196599 43 | 0.013 % |
115.54/115.68 c | 197793 | 23798 430790 1454398 | 2147483647 197759 43 | 0.013 % |
116.84/116.90 c | 199067 | 23798 430790 1454398 | 2147483647 199033 43 | 0.013 % |
117.74/117.88 c | 200470 | 23798 430790 1454398 | 2147483647 200436 44 | 0.013 % |
118.84/118.93 c | 202010 | 23798 430790 1454398 | 2147483647 201976 44 | 0.013 % |
120.25/120.38 c | 203704 | 23798 430790 1454398 | 2147483647 203670 44 | 0.013 % |
121.84/121.98 c | 205570 | 23798 430790 1454398 | 2147483647 205536 44 | 0.013 % |
123.15/123.25 c | 207621 | 23798 430790 1454398 | 2147483647 207587 44 | 0.013 % |
123.24/123.32 c | 207721 | 23798 430790 1454398 | 2147483647 207687 44 | 0.013 % |
123.24/123.39 c | 207831 | 23798 430790 1454398 | 2147483647 207797 44 | 0.013 % |
123.34/123.49 c | 207952 | 23798 430790 1454398 | 2147483647 207918 44 | 0.013 % |
123.44/123.60 c | 208085 | 23798 430790 1454398 | 2147483647 208051 44 | 0.013 % |
123.64/123.76 c | 208232 | 23798 430790 1454398 | 2147483647 208198 44 | 0.013 % |
123.84/123.93 c | 208394 | 23798 430790 1454398 | 2147483647 208360 44 | 0.013 % |
123.94/124.07 c | 208570 | 23798 430790 1454398 | 2147483647 208536 44 | 0.013 % |
124.15/124.28 c | 208764 | 23798 430790 1454398 | 2147483647 208730 44 | 0.013 % |
124.34/124.49 c | 208976 | 23798 430790 1454398 | 2147483647 208942 44 | 0.013 % |
124.64/124.76 c | 209209 | 23798 430790 1454398 | 2147483647 209175 44 | 0.013 % |
124.84/124.93 c | 209466 | 23798 430790 1454398 | 2147483647 209432 44 | 0.013 % |
125.04/125.16 c | 209747 | 23798 430790 1454398 | 2147483647 209713 44 | 0.013 % |
125.35/125.49 c | 210056 | 23798 430790 1454398 | 2147483647 210022 44 | 0.013 % |
125.84/125.90 c | 210395 | 23798 430790 1454398 | 2147483647 210361 44 | 0.013 % |
126.04/126.16 c | 210767 | 23798 430790 1454398 | 2147483647 210733 44 | 0.013 % |
126.35/126.48 c | 211176 | 23798 430790 1454398 | 2147483647 211142 44 | 0.013 % |
126.64/126.76 c | 211626 | 23798 430790 1454398 | 2147483647 211592 44 | 0.013 % |
127.14/127.24 c | 212119 | 23798 430790 1454398 | 2147483647 212085 44 | 0.013 % |
127.54/127.61 c | 212661 | 23798 430790 1454398 | 2147483647 212627 44 | 0.013 % |
127.84/128.00 c | 213259 | 23798 430790 1454398 | 2147483647 213225 44 | 0.013 % |
128.24/128.31 c | 213914 | 23798 430790 1454398 | 2147483647 213880 44 | 0.013 % |
128.84/128.90 c | 214634 | 23798 430790 1454398 | 2147483647 214600 44 | 0.013 % |
129.34/129.41 c | 215426 | 23798 430790 1454398 | 2147483647 215392 44 | 0.013 % |
129.75/129.87 c | 216297 | 23798 430790 1454398 | 2147483647 216263 44 | 0.013 % |
130.34/130.48 c | 217257 | 23798 430790 1454398 | 2147483647 217223 44 | 0.013 % |
131.04/131.10 c | 218311 | 23798 430790 1454398 | 2147483647 218277 44 | 0.013 % |
131.74/131.81 c | 219469 | 23798 430790 1454398 | 2147483647 219435 44 | 0.013 % |
132.94/133.07 c | 220743 | 23798 430790 1454398 | 2147483647 220709 44 | 0.013 % |
134.24/134.39 c | 222143 | 23798 430790 1454398 | 2147483647 222109 44 | 0.013 % |
135.94/136.03 c | 223684 | 23798 430790 1454398 | 2147483647 223650 44 | 0.013 % |
136.93/137.09 c | 225379 | 23798 430790 1454398 | 2147483647 225345 45 | 0.013 % |
138.23/138.31 c | 227242 | 23798 430790 1454398 | 2147483647 227208 45 | 0.013 % |
139.93/140.09 c | 229291 | 23798 430790 1454398 | 2147483647 229257 45 | 0.013 % |
142.44/142.56 c | 231544 | 23798 430790 1454398 | 2147483647 231510 45 | 0.013 % |
142.64/142.73 c | 231646 | 23798 430790 1454398 | 2147483647 231612 45 | 0.013 % |
142.64/142.79 c | 231756 | 23798 430790 1454398 | 2147483647 231722 45 | 0.013 % |
142.84/142.93 c | 231877 | 23798 430790 1454398 | 2147483647 231843 45 | 0.013 % |
142.94/143.04 c | 232011 | 23798 430790 1454398 | 2147483647 231977 45 | 0.013 % |
143.04/143.17 c | 232158 | 23798 430790 1454398 | 2147483647 232124 45 | 0.013 % |
143.14/143.28 c | 232318 | 23798 430790 1454398 | 2147483647 232284 45 | 0.013 % |
143.24/143.37 c | 232494 | 23798 430790 1454398 | 2147483647 232460 45 | 0.013 % |
143.54/143.61 c | 232689 | 23798 430790 1454398 | 2147483647 232655 45 | 0.013 % |
143.74/143.83 c | 232903 | 23798 430790 1454398 | 2147483647 232869 45 | 0.013 % |
144.04/144.16 c | 233136 | 23798 430790 1454398 | 2147483647 233102 45 | 0.013 % |
144.24/144.39 c | 233392 | 23798 430790 1454398 | 2147483647 233358 45 | 0.013 % |
144.44/144.57 c | 233674 | 23798 430790 1454398 | 2147483647 233640 45 | 0.013 % |
144.64/144.76 c | 233984 | 23798 430790 1454398 | 2147483647 233950 45 | 0.013 % |
144.74/144.88 c | 234323 | 23798 430790 1454398 | 2147483647 234289 45 | 0.013 % |
145.14/145.22 c | 234696 | 23798 430790 1454398 | 2147483647 234662 45 | 0.013 % |
145.44/145.50 c | 235105 | 23798 430790 1454398 | 2147483647 235071 45 | 0.013 % |
145.94/146.08 c | 235554 | 23798 430790 1454398 | 2147483647 235520 45 | 0.013 % |
146.34/146.40 c | 236049 | 23798 430790 1454398 | 2147483647 236015 45 | 0.013 % |
146.73/146.86 c | 236592 | 23798 430790 1454398 | 2147483647 236558 45 | 0.013 % |
147.53/147.68 c | 237191 | 23798 430790 1454398 | 2147483647 237157 45 | 0.013 % |
148.23/148.30 c | 237846 | 23798 430790 1454398 | 2147483647 237812 45 | 0.013 % |
149.23/149.33 c | 238568 | 23798 430790 1454398 | 2147483647 238534 45 | 0.013 % |
150.03/150.15 c | 239360 | 23798 430790 1454398 | 2147483647 239326 45 | 0.013 % |
150.54/150.68 c | 240233 | 23798 430790 1454398 | 2147483647 240199 45 | 0.013 % |
151.43/151.59 c | 241193 | 23798 430790 1454398 | 2147483647 241159 45 | 0.013 % |
152.03/152.16 c | 242247 | 23798 430790 1454398 | 2147483647 242213 45 | 0.013 % |
153.43/153.58 c | 243405 | 23798 430790 1454398 | 2147483647 243371 45 | 0.013 % |
154.64/154.75 c | 244679 | 23798 430790 1454398 | 2147483647 244645 46 | 0.013 % |
155.84/155.93 c | 246081 | 23798 430790 1454398 | 2147483647 246047 46 | 0.013 % |
157.24/157.39 c | 247622 | 23798 430790 1454398 | 2147483647 247588 46 | 0.013 % |
158.94/159.08 c | 249317 | 23798 430790 1454398 | 2147483647 249283 46 | 0.013 % |
160.54/160.68 c | 251181 | 23798 430790 1454398 | 2147483647 251147 46 | 0.013 % |
162.83/162.96 c | 253231 | 23798 430790 1454398 | 2147483647 253197 46 | 0.013 % |
164.43/164.59 c | 255485 | 23798 430790 1454398 | 2147483647 255451 46 | 0.013 % |
166.04/166.13 c | 257965 | 23798 430790 1454398 | 2147483647 257931 46 | 0.013 % |
166.13/166.21 c | 258066 | 23798 430790 1454398 | 2147483647 258032 46 | 0.013 % |
166.13/166.25 c | 258177 | 23798 430790 1454398 | 2147483647 258143 46 | 0.013 % |
166.23/166.36 c | 258299 | 23798 430790 1454398 | 2147483647 258265 46 | 0.013 % |
166.33/166.47 c | 258432 | 23798 430790 1454398 | 2147483647 258398 46 | 0.013 % |
166.43/166.55 c | 258578 | 23798 430790 1454398 | 2147483647 258544 46 | 0.013 % |
166.53/166.65 c | 258739 | 23798 430790 1454398 | 2147483647 258705 46 | 0.013 % |
166.73/166.80 c | 258917 | 23798 430790 1454398 | 2147483647 258883 46 | 0.013 % |
166.83/166.95 c | 259110 | 23798 430790 1454398 | 2147483647 259076 46 | 0.013 % |
167.04/167.14 c | 259323 | 23798 430790 1454398 | 2147483647 259289 46 | 0.013 % |
167.23/167.31 c | 259556 | 23798 430790 1454398 | 2147483647 259522 46 | 0.013 % |
167.43/167.55 c | 259813 | 23798 430790 1454398 | 2147483647 259779 46 | 0.013 % |
167.73/167.87 c | 260095 | 23798 430790 1454398 | 2147483647 260061 46 | 0.013 % |
168.03/168.17 c | 260406 | 23798 430790 1454398 | 2147483647 260372 46 | 0.013 % |
168.33/168.45 c | 260746 | 23798 430790 1454398 | 2147483647 260712 46 | 0.013 % |
168.73/168.82 c | 261120 | 23798 430790 1454398 | 2147483647 261086 46 | 0.013 % |
169.23/169.37 c | 261529 | 23798 430790 1454398 | 2147483647 261495 46 | 0.013 % |
169.73/169.83 c | 261979 | 23798 430790 1454398 | 2147483647 261945 46 | 0.013 % |
170.13/170.26 c | 262473 | 23798 430790 1454398 | 2147483647 262439 46 | 0.013 % |
170.53/170.67 c | 263016 | 23798 430790 1454398 | 2147483647 262982 46 | 0.013 % |
171.23/171.39 c | 263613 | 23798 430790 1454398 | 2147483647 263579 46 | 0.013 % |
171.83/171.97 c | 264268 | 23798 430790 1454398 | 2147483647 264234 46 | 0.013 % |
172.43/172.57 c | 264988 | 23798 430790 1454398 | 2147483647 264954 46 | 0.013 % |
172.83/172.95 c | 265781 | 23798 430790 1454398 | 2147483647 265747 46 | 0.013 % |
173.63/173.72 c | 266652 | 23798 430790 1454398 | 2147483647 266618 46 | 0.013 % |
174.63/174.73 c | 267610 | 23798 430790 1454398 | 2147483647 267576 46 | 0.013 % |
175.42/175.59 c | 268664 | 23798 430790 1454398 | 2147483647 268630 46 | 0.013 % |
176.53/176.61 c | 269823 | 23798 430790 1454398 | 2147483647 269789 46 | 0.013 % |
177.53/177.63 c | 271097 | 23798 430790 1454398 | 2147483647 271063 46 | 0.013 % |
179.33/179.41 c | 272498 | 23798 430790 1454398 | 2147483647 272464 47 | 0.013 % |
180.93/181.05 c | 274039 | 23798 430790 1454398 | 2147483647 274005 47 | 0.013 % |
182.53/182.67 c | 275733 | 23798 430790 1454398 | 2147483647 275699 47 | 0.013 % |
184.22/184.32 c | 277597 | 23798 430790 1454398 | 2147483647 277563 47 | 0.013 % |
186.32/186.46 c | 279646 | 23798 430790 1454398 | 2147483647 279612 48 | 0.013 % |
188.53/188.67 c | 281899 | 23798 430790 1454398 | 2147483647 281865 48 | 0.013 % |
191.73/191.88 c | 284377 | 23798 430790 1454398 | 2147483647 284343 49 | 0.013 % |
194.72/194.82 c | 287103 | 23798 430790 1454398 | 2147483647 287069 49 | 0.013 % |
194.82/194.93 c | 287205 | 23798 430790 1454398 | 2147483647 287171 49 | 0.013 % |
194.93/195.05 c | 287317 | 23798 430790 1454398 | 2147483647 287283 49 | 0.013 % |
195.03/195.18 c | 287438 | 23798 430790 1454398 | 2147483647 287404 49 | 0.013 % |
195.23/195.32 c | 287571 | 23798 430790 1454398 | 2147483647 287537 49 | 0.013 % |
195.33/195.43 c | 287719 | 23798 430790 1454398 | 2147483647 287685 49 | 0.013 % |
195.53/195.60 c | 287879 | 23798 430790 1454398 | 2147483647 287845 49 | 0.013 % |
195.63/195.73 c | 288055 | 23798 430790 1454398 | 2147483647 288021 49 | 0.013 % |
195.83/195.91 c | 288248 | 23798 430790 1454398 | 2147483647 288214 49 | 0.013 % |
196.13/196.22 c | 288460 | 23798 430790 1454398 | 2147483647 288426 49 | 0.013 % |
196.33/196.48 c | 288694 | 23798 430790 1454398 | 2147483647 288660 49 | 0.013 % |
196.73/196.87 c | 288950 | 23798 430790 1454398 | 2147483647 288916 49 | 0.013 % |
197.23/197.30 c | 289232 | 23798 430790 1454398 | 2147483647 289198 49 | 0.013 % |
197.63/197.70 c | 289542 | 23798 430790 1454398 | 2147483647 289508 49 | 0.013 % |
198.13/198.27 c | 289881 | 23798 430790 1454398 | 2147483647 289847 49 | 0.013 % |
198.63/198.73 c | 290254 | 23798 430790 1454398 | 2147483647 290220 49 | 0.013 % |
199.12/199.21 c | 290663 | 23798 430790 1454398 | 2147483647 290629 49 | 0.013 % |
199.72/199.84 c | 291112 | 23798 430790 1454398 | 2147483647 291078 49 | 0.013 % |
200.22/200.35 c | 291605 | 23798 430790 1454398 | 2147483647 291571 49 | 0.013 % |
200.82/200.98 c | 292151 | 23798 430790 1454398 | 2147483647 292117 49 | 0.013 % |
201.52/201.69 c | 292749 | 23798 430790 1454398 | 2147483647 292715 49 | 0.013 % |
202.12/202.27 c | 293404 | 23798 430790 1454398 | 2147483647 293370 49 | 0.013 % |
202.92/203.09 c | 294125 | 23798 430790 1454398 | 2147483647 294091 49 | 0.013 % |
203.92/204.09 c | 294918 | 23798 430790 1454398 | 2147483647 294884 49 | 0.013 % |
204.82/204.92 c | 295791 | 23798 430790 1454398 | 2147483647 295757 49 | 0.013 % |
205.72/205.84 c | 296751 | 23798 430790 1454398 | 2147483647 296717 49 | 0.013 % |
206.82/206.98 c | 297804 | 23798 430790 1454398 | 2147483647 297770 49 | 0.013 % |
208.63/208.71 c | 298962 | 23798 430790 1454398 | 2147483647 298928 49 | 0.013 % |
209.82/210.00 c | 300235 | 23798 430790 1454398 | 2147483647 300201 49 | 0.013 % |
211.13/211.27 c | 301637 | 23798 430790 1454398 | 2147483647 301603 49 | 0.013 % |
213.12/213.22 c | 303177 | 23798 430790 1454398 | 2147483647 303143 49 | 0.013 % |
215.02/215.18 c | 304871 | 23798 430790 1454398 | 2147483647 304837 49 | 0.013 % |
216.82/216.91 c | 306736 | 23798 430790 1454398 | 2147483647 306702 49 | 0.013 % |
219.62/219.70 c | 308787 | 23798 430790 1454398 | 2147483647 308753 50 | 0.013 % |
222.12/222.21 c | 311040 | 23798 430790 1454398 | 2147483647 311006 50 | 0.013 % |
223.41/223.55 c | 313519 | 23798 430790 1454398 | 2147483647 313485 50 | 0.013 % |
226.22/226.30 c | 316245 | 23798 430790 1454398 | 2147483647 316211 50 | 0.013 % |
229.72/229.90 c | 319242 | 23798 430790 1454398 | 2147483647 319208 50 | 0.013 % |
229.92/230.04 c | 319342 | 23798 430790 1454398 | 2147483647 319308 50 | 0.013 % |
230.12/230.25 c | 319453 | 23798 430790 1454398 | 2147483647 319419 50 | 0.013 % |
230.32/230.41 c | 319574 | 23798 430790 1454398 | 2147483647 319540 50 | 0.013 % |
230.52/230.64 c | 319707 | 23798 430790 1454398 | 2147483647 319673 50 | 0.013 % |
230.72/230.85 c | 319855 | 23798 430790 1454398 | 2147483647 319821 50 | 0.013 % |
231.02/231.16 c | 320015 | 23798 430790 1454398 | 2147483647 319981 50 | 0.013 % |
231.22/231.34 c | 320191 | 23798 430790 1454398 | 2147483647 320157 50 | 0.013 % |
231.42/231.56 c | 320384 | 23798 430790 1454398 | 2147483647 320350 50 | 0.013 % |
231.72/231.80 c | 320596 | 23798 430790 1454398 | 2147483647 320562 50 | 0.013 % |
231.92/232.10 c | 320831 | 23798 430790 1454398 | 2147483647 320797 50 | 0.013 % |
232.22/232.35 c | 321087 | 23798 430790 1454398 | 2147483647 321053 50 | 0.013 % |
232.62/232.74 c | 321368 | 23798 430790 1454398 | 2147483647 321334 50 | 0.013 % |
232.82/232.99 c | 321678 | 23798 430790 1454398 | 2147483647 321644 50 | 0.013 % |
233.31/233.48 c | 322019 | 23798 430790 1454398 | 2147483647 321985 50 | 0.013 % |
233.91/234.07 c | 322392 | 23798 430790 1454398 | 2147483647 322358 50 | 0.013 % |
234.31/234.46 c | 322801 | 23798 430790 1454398 | 2147483647 322767 50 | 0.013 % |
234.81/234.91 c | 323252 | 23798 430790 1454398 | 2147483647 323218 50 | 0.013 % |
235.61/235.78 c | 323745 | 23798 430790 1454398 | 2147483647 323711 50 | 0.013 % |
236.31/236.41 c | 324288 | 23798 430790 1454398 | 2147483647 324254 50 | 0.013 % |
237.01/237.19 c | 324885 | 23798 430790 1454398 | 2147483647 324851 50 | 0.013 % |
237.91/238.01 c | 325540 | 23798 430790 1454398 | 2147483647 325506 50 | 0.013 % |
239.01/239.11 c | 326261 | 23798 430790 1454398 | 2147483647 326227 50 | 0.013 % |
239.61/239.73 c | 327059 | 23798 430790 1454398 | 2147483647 327025 50 | 0.013 % |
240.82/240.94 c | 327931 | 23798 430790 1454398 | 2147483647 327897 50 | 0.013 % |
241.72/241.89 c | 328889 | 23798 430790 1454398 | 2147483647 328855 50 | 0.013 % |
243.11/243.27 c | 329944 | 23798 430790 1454398 | 2147483647 329910 50 | 0.013 % |
244.81/244.93 c | 331103 | 23798 430790 1454398 | 2147483647 331069 50 | 0.013 % |
246.51/246.67 c | 332380 | 23798 430790 1454398 | 2147483647 332346 51 | 0.013 % |
247.91/248.00 c | 333780 | 23798 430790 1454398 | 2147483647 333746 51 | 0.013 % |
249.61/249.79 c | 335320 | 23798 430790 1454398 | 2147483647 335286 51 | 0.013 % |
251.61/251.76 c | 337014 | 23798 430790 1454398 | 2147483647 336980 51 | 0.013 % |
254.31/254.45 c | 338879 | 23798 430790 1454398 | 2147483647 338845 51 | 0.013 % |
257.81/257.97 c | 340928 | 23798 430790 1454398 | 2147483647 340894 51 | 0.013 % |
260.91/261.00 c | 343181 | 23798 430790 1454398 | 2147483647 343147 52 | 0.013 % |
264.00/264.15 c | 345659 | 23798 430790 1454398 | 2147483647 345625 52 | 0.013 % |
267.21/267.30 c | 348385 | 23798 430790 1454398 | 2147483647 348351 52 | 0.013 % |
271.70/271.85 c | 351382 | 23798 430790 1454398 | 2147483647 351348 52 | 0.013 % |
276.20/276.37 c | 354681 | 23798 430790 1454398 | 2147483647 354647 52 | 0.013 % |
276.40/276.57 c | 354782 | 23798 430790 1454398 | 2147483647 354748 52 | 0.013 % |
276.50/276.66 c | 354892 | 23798 430790 1454398 | 2147483647 354858 52 | 0.013 % |
276.70/276.81 c | 355013 | 23798 430790 1454398 | 2147483647 354979 52 | 0.013 % |
276.90/277.04 c | 355146 | 23798 430790 1454398 | 2147483647 355112 52 | 0.013 % |
277.11/277.22 c | 355292 | 23798 430790 1454398 | 2147483647 355258 52 | 0.013 % |
277.20/277.35 c | 355452 | 23798 430790 1454398 | 2147483647 355418 52 | 0.013 % |
277.50/277.63 c | 355628 | 23798 430790 1454398 | 2147483647 355594 52 | 0.013 % |
277.80/277.97 c | 355821 | 23798 430790 1454398 | 2147483647 355787 52 | 0.013 % |
278.30/278.42 c | 356033 | 23798 430790 1454398 | 2147483647 355999 52 | 0.013 % |
278.80/278.92 c | 356266 | 23798 430790 1454398 | 2147483647 356232 52 | 0.013 % |
279.20/279.32 c | 356523 | 23798 430790 1454398 | 2147483647 356489 52 | 0.013 % |
279.70/279.88 c | 356804 | 23798 430790 1454398 | 2147483647 356770 52 | 0.013 % |
280.20/280.36 c | 357113 | 23798 430790 1454398 | 2147483647 357079 52 | 0.013 % |
280.80/280.90 c | 357455 | 23798 430790 1454398 | 2147483647 357421 52 | 0.013 % |
281.20/281.37 c | 357827 | 23798 430790 1454398 | 2147483647 357793 52 | 0.013 % |
281.90/282.03 c | 358237 | 23798 430790 1454398 | 2147483647 358203 52 | 0.013 % |
282.51/282.65 c | 358687 | 23798 430790 1454398 | 2147483647 358653 52 | 0.013 % |
283.11/283.26 c | 359182 | 23798 430790 1454398 | 2147483647 359148 52 | 0.013 % |
283.61/283.74 c | 359725 | 23798 430790 1454398 | 2147483647 359691 52 | 0.013 % |
284.11/284.21 c | 360321 | 23798 430790 1454398 | 2147483647 360287 52 | 0.013 % |
284.71/284.89 c | 360976 | 23798 430790 1454398 | 2147483647 360942 52 | 0.013 % |
286.30/286.44 c | 361696 | 23798 430790 1454398 | 2147483647 361662 52 | 0.013 % |
287.60/287.75 c | 362489 | 23798 430790 1454398 | 2147483647 362455 53 | 0.013 % |
288.80/288.96 c | 363360 | 23798 430790 1454398 | 2147483647 363326 53 | 0.013 % |
290.60/290.79 c | 364318 | 23798 430790 1454398 | 2147483647 364284 53 | 0.013 % |
292.20/292.35 c | 365371 | 23798 430790 1454398 | 2147483647 365337 53 | 0.013 % |
293.70/293.83 c | 366531 | 23798 430790 1454398 | 2147483647 366497 53 | 0.013 % |
295.30/295.44 c | 367804 | 23798 430790 1454398 | 2147483647 367770 53 | 0.013 % |
296.20/296.35 c | 369204 | 23798 430790 1454398 | 2147483647 369170 53 | 0.013 % |
297.60/297.75 c | 370744 | 23798 430790 1454398 | 2147483647 370710 53 | 0.013 % |
299.30/299.46 c | 372439 | 23798 430790 1454398 | 2147483647 372405 53 | 0.013 % |
300.59/300.75 c | 374302 | 23798 430790 1454398 | 2147483647 374268 53 | 0.013 % |
302.40/302.52 c | 376352 | 23798 430790 1454398 | 2147483647 376318 53 | 0.013 % |
303.79/303.98 c | 378606 | 23798 430790 1454398 | 2147483647 378572 53 | 0.013 % |
307.40/307.52 c | 381084 | 23798 430790 1454398 | 2147483647 381050 53 | 0.013 % |
311.30/311.49 c | 383810 | 23798 430790 1454398 | 2147483647 383776 53 | 0.013 % |
315.49/315.68 c | 386807 | 23798 430790 1454398 | 2147483647 386773 53 | 0.013 % |
321.10/321.24 c | 390103 | 23798 430790 1454398 | 2147483647 390069 53 | 0.013 % |
326.49/326.63 c | 393728 | 23798 430790 1454398 | 2147483647 393694 54 | 0.013 % |
326.69/326.83 c | 393828 | 23798 430790 1454398 | 2147483647 393794 54 | 0.013 % |
326.79/326.92 c | 393938 | 23798 430790 1454398 | 2147483647 393904 54 | 0.013 % |
326.89/327.03 c | 394059 | 23798 430790 1454398 | 2147483647 394025 54 | 0.013 % |
327.19/327.34 c | 394192 | 23798 430790 1454398 | 2147483647 394158 54 | 0.013 % |
327.49/327.65 c | 394340 | 23798 430790 1454398 | 2147483647 394306 54 | 0.013 % |
327.69/327.86 c | 394500 | 23798 430790 1454398 | 2147483647 394466 54 | 0.013 % |
328.09/328.29 c | 394676 | 23798 430790 1454398 | 2147483647 394642 54 | 0.013 % |
328.49/328.68 c | 394870 | 23798 430790 1454398 | 2147483647 394836 54 | 0.013 % |
328.79/328.93 c | 395084 | 23798 430790 1454398 | 2147483647 395050 54 | 0.013 % |
329.29/329.41 c | 395320 | 23798 430790 1454398 | 2147483647 395286 54 | 0.013 % |
329.69/329.82 c | 395577 | 23798 430790 1454398 | 2147483647 395543 54 | 0.013 % |
330.09/330.21 c | 395858 | 23798 430790 1454398 | 2147483647 395824 54 | 0.013 % |
330.29/330.45 c | 396168 | 23798 430790 1454398 | 2147483647 396134 54 | 0.013 % |
330.89/331.03 c | 396508 | 23798 430790 1454398 | 2147483647 396474 54 | 0.013 % |
331.59/331.73 c | 396880 | 23798 430790 1454398 | 2147483647 396846 54 | 0.013 % |
331.99/332.16 c | 397289 | 23798 430790 1454398 | 2147483647 397255 54 | 0.013 % |
332.79/332.90 c | 397738 | 23798 430790 1454398 | 2147483647 397704 54 | 0.013 % |
333.20/333.37 c | 398234 | 23798 430790 1454398 | 2147483647 398200 54 | 0.013 % |
334.09/334.22 c | 398777 | 23798 430790 1454398 | 2147483647 398743 54 | 0.013 % |
334.99/335.19 c | 399374 | 23798 430790 1454398 | 2147483647 399340 54 | 0.013 % |
335.79/335.92 c | 400030 | 23798 430790 1454398 | 2147483647 399996 54 | 0.013 % |
336.29/336.48 c | 400750 | 23798 430790 1454398 | 2147483647 400716 54 | 0.013 % |
337.99/338.11 c | 401542 | 23798 430790 1454398 | 2147483647 401508 54 | 0.013 % |
338.99/339.12 c | 402413 | 23798 430790 1454398 | 2147483647 402379 54 | 0.013 % |
341.49/341.60 c | 403371 | 23798 430790 1454398 | 2147483647 403337 54 | 0.013 % |
342.49/342.63 c | 404426 | 23798 430790 1454398 | 2147483647 404392 54 | 0.013 % |
343.09/343.29 c | 405585 | 23798 430790 1454398 | 2147483647 405551 54 | 0.013 % |
344.68/344.85 c | 406859 | 23798 430790 1454398 | 2147483647 406825 54 | 0.013 % |
346.39/346.55 c | 408259 | 23798 430790 1454398 | 2147483647 408225 54 | 0.013 % |
348.78/348.93 c | 409799 | 23798 430790 1454398 | 2147483647 409765 54 | 0.013 % |
351.59/351.75 c | 411495 | 23798 430790 1454398 | 2147483647 411461 54 | 0.013 % |
353.99/354.19 c | 413359 | 23798 430790 1454398 | 2147483647 413325 54 | 0.013 % |
356.99/357.19 c | 415408 | 23798 430790 1454398 | 2147483647 415374 54 | 0.013 % |
359.69/359.87 c | 417662 | 23798 430790 1454398 | 2147483647 417628 55 | 0.013 % |
364.68/364.89 c | 420140 | 23798 430790 1454398 | 2147483647 420106 55 | 0.013 % |
369.78/369.94 c | 422865 | 23798 430790 1454398 | 2147483647 422831 55 | 0.013 % |
373.48/373.65 c | 425862 | 23798 430790 1454398 | 2147483647 425828 54 | 0.013 % |
379.78/379.92 c | 429159 | 23798 430790 1454398 | 2147483647 429125 55 | 0.013 % |
385.28/385.48 c | 432784 | 23798 430790 1454398 | 2147483647 432750 55 | 0.013 % |
391.48/391.68 c | 436771 | 23798 430790 1454398 | 2147483647 436737 55 | 0.013 % |
391.67/391.87 c | 436871 | 23798 430790 1454398 | 2147483647 436837 55 | 0.013 % |
392.07/392.22 c | 436987 | 23798 430790 1454398 | 2147483647 436953 55 | 0.013 % |
392.27/392.41 c | 437110 | 23798 430790 1454398 | 2147483647 437076 55 | 0.013 % |
392.58/392.78 c | 437245 | 23798 430790 1454398 | 2147483647 437211 55 | 0.013 % |
392.87/393.00 c | 437392 | 23798 430790 1454398 | 2147483647 437358 55 | 0.013 % |
393.07/393.29 c | 437553 | 23798 430790 1454398 | 2147483647 437519 55 | 0.013 % |
393.27/393.46 c | 437730 | 23798 430790 1454398 | 2147483647 437696 55 | 0.013 % |
393.47/393.70 c | 437924 | 23798 430790 1454398 | 2147483647 437890 55 | 0.013 % |
393.87/394.09 c | 438137 | 23798 430790 1454398 | 2147483647 438103 55 | 0.013 % |
394.27/394.43 c | 438370 | 23798 430790 1454398 | 2147483647 438336 55 | 0.013 % |
394.77/394.96 c | 438627 | 23798 430790 1454398 | 2147483647 438593 55 | 0.013 % |
395.17/395.30 c | 438909 | 23798 430790 1454398 | 2147483647 438875 55 | 0.013 % |
395.48/395.68 c | 439218 | 23798 430790 1454398 | 2147483647 439184 55 | 0.013 % |
396.08/396.26 c | 439557 | 23798 430790 1454398 | 2147483647 439523 55 | 0.013 % |
396.88/397.00 c | 439930 | 23798 430790 1454398 | 2147483647 439896 55 | 0.013 % |
397.48/397.60 c | 440339 | 23798 430790 1454398 | 2147483647 440305 55 | 0.013 % |
398.17/398.36 c | 440788 | 23798 430790 1454398 | 2147483647 440754 55 | 0.013 % |
399.18/399.34 c | 441281 | 23798 430790 1454398 | 2147483647 441247 55 | 0.013 % |
399.97/400.16 c | 441823 | 23798 430790 1454398 | 2147483647 441789 55 | 0.013 % |
400.97/401.19 c | 442421 | 23798 430790 1454398 | 2147483647 442387 55 | 0.013 % |
402.17/402.35 c | 443076 | 23798 430790 1454398 | 2147483647 443042 55 | 0.013 % |
403.27/403.40 c | 443798 | 23798 430790 1454398 | 2147483647 443764 55 | 0.013 % |
404.67/404.86 c | 444591 | 23798 430790 1454398 | 2147483647 444557 55 | 0.013 % |
406.17/406.37 c | 445462 | 23798 430790 1454398 | 2147483647 445428 55 | 0.013 % |
407.77/407.99 c | 446422 | 23798 430790 1454398 | 2147483647 446388 55 | 0.013 % |
409.17/409.34 c | 447476 | 23798 430790 1454398 | 2147483647 447442 55 | 0.013 % |
410.87/411.08 c | 448634 | 23798 430790 1454398 | 2147483647 448600 55 | 0.013 % |
412.46/412.63 c | 449909 | 23798 430790 1454398 | 2147483647 449875 55 | 0.013 % |
414.77/414.97 c | 451311 | 23798 430790 1454398 | 2147483647 451277 55 | 0.013 % |
416.67/416.84 c | 452852 | 23798 430790 1454398 | 2147483647 452818 55 | 0.013 % |
419.57/419.79 c | 454546 | 23798 430790 1454398 | 2147483647 454512 56 | 0.013 % |
422.27/422.48 c | 456411 | 23798 430790 1454398 | 2147483647 456377 56 | 0.013 % |
426.26/426.44 c | 458461 | 23798 430790 1454398 | 2147483647 458427 56 | 0.013 % |
430.06/430.29 c | 460715 | 23798 430790 1454398 | 2147483647 460681 56 | 0.013 % |
432.86/433.08 c | 463193 | 23798 430790 1454398 | 2147483647 463159 56 | 0.013 % |
436.76/436.91 c | 465921 | 23798 430790 1454398 | 2147483647 465887 56 | 0.013 % |
443.06/443.26 c | 468918 | 23798 430790 1454398 | 2147483647 468884 56 | 0.013 % |
448.57/448.73 c | 472217 | 23798 430790 1454398 | 2147483647 472183 56 | 0.013 % |
453.36/453.58 c | 475845 | 23798 430790 1454398 | 2147483647 475811 57 | 0.013 % |
458.75/458.94 c | 479833 | 23798 430790 1454398 | 2147483647 479799 57 | 0.013 % |
467.35/467.52 c | 484220 | 23798 430790 1454398 | 2147483647 484186 57 | 0.013 % |
467.55/467.78 c | 484320 | 23798 430790 1454398 | 2147483647 484286 57 | 0.013 % |
467.85/468.01 c | 484431 | 23798 430790 1454398 | 2147483647 484397 57 | 0.013 % |
468.05/468.26 c | 484552 | 23798 430790 1454398 | 2147483647 484518 57 | 0.013 % |
468.55/468.71 c | 484685 | 23798 430790 1454398 | 2147483647 484651 57 | 0.013 % |
468.95/469.15 c | 484831 | 23798 430790 1454398 | 2147483647 484797 57 | 0.013 % |
469.25/469.42 c | 484992 | 23798 430790 1454398 | 2147483647 484958 57 | 0.013 % |
469.55/469.73 c | 485169 | 23798 430790 1454398 | 2147483647 485135 57 | 0.013 % |
469.75/469.95 c | 485363 | 23798 430790 1454398 | 2147483647 485329 57 | 0.013 % |
470.05/470.25 c | 485579 | 23798 430790 1454398 | 2147483647 485545 57 | 0.013 % |
470.65/470.88 c | 485815 | 23798 430790 1454398 | 2147483647 485781 57 | 0.013 % |
471.05/471.27 c | 486071 | 23798 430790 1454398 | 2147483647 486037 57 | 0.013 % |
471.65/471.85 c | 486352 | 23798 430790 1454398 | 2147483647 486318 57 | 0.013 % |
472.55/472.76 c | 486662 | 23798 430790 1454398 | 2147483647 486628 57 | 0.013 % |
473.05/473.28 c | 487005 | 23798 430790 1454398 | 2147483647 486971 57 | 0.013 % |
473.96/474.10 c | 487377 | 23798 430790 1454398 | 2147483647 487343 57 | 0.013 % |
474.45/474.69 c | 487786 | 23798 430790 1454398 | 2147483647 487752 57 | 0.013 % |
475.35/475.54 c | 488237 | 23798 430790 1454398 | 2147483647 488203 57 | 0.013 % |
476.15/476.32 c | 488730 | 23798 430790 1454398 | 2147483647 488696 57 | 0.013 % |
476.95/477.10 c | 489272 | 23798 430790 1454398 | 2147483647 489238 57 | 0.013 % |
478.05/478.26 c | 489870 | 23798 430790 1454398 | 2147483647 489836 57 | 0.013 % |
479.05/479.25 c | 490525 | 23798 430790 1454398 | 2147483647 490491 57 | 0.013 % |
480.35/480.56 c | 491246 | 23798 430790 1454398 | 2147483647 491212 57 | 0.013 % |
481.35/481.58 c | 492038 | 23798 430790 1454398 | 2147483647 492004 57 | 0.013 % |
483.45/483.61 c | 492909 | 23798 430790 1454398 | 2147483647 492875 57 | 0.013 % |
485.25/485.44 c | 493870 | 23798 430790 1454398 | 2147483647 493836 57 | 0.013 % |
486.75/486.90 c | 494923 | 23798 430790 1454398 | 2147483647 494889 57 | 0.013 % |
488.55/488.74 c | 496083 | 23798 430790 1454398 | 2147483647 496049 57 | 0.013 % |
490.74/490.95 c | 497356 | 23798 430790 1454398 | 2147483647 497322 57 | 0.013 % |
493.04/493.21 c | 498757 | 23798 430790 1454398 | 2147483647 498723 57 | 0.013 % |
495.44/495.60 c | 500300 | 23798 430790 1454398 | 2147483647 500266 57 | 0.013 % |
498.34/498.56 c | 501994 | 23798 430790 1454398 | 2147483647 501960 58 | 0.013 % |
502.44/502.63 c | 503858 | 23798 430790 1454398 | 2147483647 503824 58 | 0.013 % |
505.94/506.12 c | 505907 | 23798 430790 1454398 | 2147483647 505873 58 | 0.013 % |
510.74/510.93 c | 508162 | 23798 430790 1454398 | 2147483647 508128 58 | 0.013 % |
515.04/515.29 c | 510641 | 23798 430790 1454398 | 2147483647 510607 58 | 0.013 % |
521.44/521.60 c | 513367 | 23798 430790 1454398 | 2147483647 513333 58 | 0.013 % |
527.13/527.33 c | 516364 | 23798 430790 1454398 | 2147483647 516330 58 | 0.013 % |
532.03/532.21 c | 519660 | 23798 430790 1454398 | 2147483647 519626 58 | 0.013 % |
537.83/538.06 c | 523287 | 23798 430790 1454398 | 2147483647 523253 58 | 0.013 % |
544.63/544.84 c | 527274 | 23798 430790 1454398 | 2147483647 527240 58 | 0.013 % |
553.93/554.13 c | 531660 | 23798 430790 1454398 | 2147483647 531626 59 | 0.013 % |
567.02/567.26 c | 536485 | 23798 430790 1454398 | 2147483647 536451 59 | 0.013 % |
567.32/567.54 c | 536586 | 23798 430790 1454398 | 2147483647 536552 59 | 0.013 % |
567.82/568.03 c | 536697 | 23797 430781 1454371 | 2147483647 536651 59 | 0.017 % |
567.92/568.12 c | 536818 | 23797 430781 1454371 | 2147483647 536772 59 | 0.017 % |
568.12/568.33 c | 536952 | 23797 430781 1454371 | 2147483647 536906 59 | 0.017 % |
568.42/568.61 c | 537100 | 23797 430781 1454371 | 2147483647 537054 59 | 0.017 % |
568.52/568.78 c | 537262 | 23797 430781 1454371 | 2147483647 537216 59 | 0.017 % |
569.02/569.22 c | 537439 | 23797 430781 1454371 | 2147483647 537393 59 | 0.017 % |
569.32/569.59 c | 537632 | 23797 430781 1454371 | 2147483647 537586 59 | 0.017 % |
569.82/570.02 c | 537844 | 23797 430781 1454371 | 2147483647 537798 59 | 0.017 % |
570.22/570.49 c | 538077 | 23797 430781 1454371 | 2147483647 538031 59 | 0.017 % |
570.72/570.92 c | 538334 | 23797 430781 1454371 | 2147483647 538288 59 | 0.017 % |
571.12/571.34 c | 538615 | 23797 430781 1454371 | 2147483647 538569 59 | 0.017 % |
571.53/571.75 c | 538925 | 23797 430781 1454371 | 2147483647 538879 59 | 0.017 % |
571.92/572.13 c | 539264 | 23797 430781 1454371 | 2147483647 539218 59 | 0.017 % |
572.32/572.51 c | 539639 | 23797 430781 1454371 | 2147483647 539593 59 | 0.017 % |
573.32/573.58 c | 540050 | 23797 430781 1454371 | 2147483647 540004 59 | 0.017 % |
574.42/574.68 c | 540499 | 23796 430781 1454371 | 2147483647 540452 59 | 0.021 % |
575.42/575.60 c | 540993 | 23796 430781 1454371 | 2147483647 540946 59 | 0.021 % |
576.42/576.64 c | 541535 | 23796 430781 1454371 | 2147483647 541488 59 | 0.021 % |
577.52/577.75 c | 542132 | 23796 430781 1454371 | 2147483647 542085 59 | 0.021 % |
578.62/578.86 c | 542788 | 23796 430781 1454371 | 2147483647 542741 59 | 0.021 % |
579.82/580.07 c | 543508 | 23796 430781 1454371 | 2147483647 543461 59 | 0.021 % |
580.62/580.89 c | 544301 | 23796 430781 1454371 | 2147483647 544254 59 | 0.021 % |
581.91/582.12 c | 545172 | 23796 430781 1454371 | 2147483647 545125 59 | 0.021 % |
583.41/583.61 c | 546130 | 23796 430781 1454371 | 2147483647 546083 59 | 0.021 % |
584.71/584.92 c | 547183 | 23796 430781 1454371 | 2147483647 547136 59 | 0.021 % |
586.31/586.53 c | 548343 | 23796 430781 1454371 | 2147483647 548296 59 | 0.022 % |
587.71/587.98 c | 549616 | 23796 430781 1454371 | 2147483647 549569 59 | 0.021 % |
590.81/591.06 c | 551021 | 23796 430781 1454371 | 2147483647 550974 59 | 0.021 % |
595.01/595.28 c | 552561 | 23796 430781 1454371 | 2147483647 552514 59 | 0.021 % |
598.31/598.51 c | 554261 | 23796 430781 1454371 | 2147483647 554214 59 | 0.021 % |
601.41/601.61 c | 556124 | 23796 430781 1454371 | 2147483647 556077 59 | 0.021 % |
604.81/605.02 c | 558173 | 23796 430781 1454371 | 2147483647 558126 60 | 0.021 % |
608.41/608.60 c | 560429 | 23796 430781 1454371 | 2147483647 560382 60 | 0.021 % |
611.61/611.87 c | 562907 | 23796 430781 1454371 | 2147483647 562860 60 | 0.021 % |
613.91/614.17 c | 565632 | 23796 430781 1454371 | 2147483647 565585 60 | 0.021 % |
619.21/619.43 c | 568629 | 23796 430781 1454371 | 2147483647 568582 60 | 0.021 % |
627.20/627.44 c | 571925 | 23796 430781 1454371 | 2147483647 571878 60 | 0.021 % |
635.71/635.96 c | 575551 | 23796 430781 1454371 | 2147483647 575504 60 | 0.021 % |
645.20/645.44 c | 579539 | 23796 430781 1454371 | 2147483647 579492 60 | 0.021 % |
655.90/656.19 c | 583924 | 23796 430781 1454371 | 2147483647 583877 61 | 0.021 % |
664.20/664.44 c | 588747 | 23796 430781 1454371 | 2147483647 588700 61 | 0.021 % |
675.59/675.86 c | 594055 | 23796 430781 1454371 | 2147483647 594008 61 | 0.021 % |
675.79/676.07 c | 594156 | 23796 430781 1454371 | 2147483647 594109 61 | 0.021 % |
675.99/676.26 c | 594267 | 23796 430781 1454371 | 2147483647 594220 61 | 0.021 % |
676.20/676.48 c | 594388 | 23796 430781 1454371 | 2147483647 594341 61 | 0.021 % |
676.49/676.73 c | 594522 | 23796 430781 1454371 | 2147483647 594475 61 | 0.021 % |
676.79/677.08 c | 594669 | 23796 430781 1454371 | 2147483647 594622 61 | 0.021 % |
677.19/677.47 c | 594830 | 23796 430781 1454371 | 2147483647 594783 61 | 0.021 % |
677.59/677.87 c | 595007 | 23796 430781 1454371 | 2147483647 594960 61 | 0.021 % |
678.19/678.42 c | 595200 | 23796 430781 1454371 | 2147483647 595153 61 | 0.021 % |
678.59/678.82 c | 595414 | 23796 430781 1454371 | 2147483647 595367 61 | 0.021 % |
678.89/679.17 c | 595648 | 23796 430781 1454371 | 2147483647 595601 61 | 0.021 % |
679.39/679.70 c | 595905 | 23796 430781 1454371 | 2147483647 595858 61 | 0.021 % |
680.19/680.49 c | 596186 | 23796 430781 1454371 | 2147483647 596139 61 | 0.021 % |
680.79/681.05 c | 596495 | 23796 430781 1454371 | 2147483647 596448 61 | 0.021 % |
681.39/681.67 c | 596839 | 23796 430781 1454371 | 2147483647 596792 61 | 0.021 % |
682.29/682.51 c | 597213 | 23796 430781 1454371 | 2147483647 597166 61 | 0.021 % |
683.09/683.33 c | 597626 | 23796 430781 1454371 | 2147483647 597579 61 | 0.021 % |
684.09/684.33 c | 598077 | 23796 430781 1454371 | 2147483647 598030 61 | 0.021 % |
685.39/685.61 c | 598570 | 23796 430781 1454371 | 2147483647 598523 61 | 0.021 % |
686.49/686.78 c | 599112 | 23796 430781 1454371 | 2147483647 599065 62 | 0.021 % |
687.49/687.75 c | 599708 | 23796 430781 1454371 | 2147483647 599661 61 | 0.021 % |
688.59/688.81 c | 600364 | 23796 430781 1454371 | 2147483647 600317 62 | 0.021 % |
689.79/690.00 c | 601084 | 23796 430781 1454371 | 2147483647 601037 62 | 0.021 % |
691.49/691.72 c | 601878 | 23796 430781 1454371 | 2147483647 601831 62 | 0.021 % |
693.19/693.42 c | 602749 | 23796 430781 1454371 | 2147483647 602702 62 | 0.021 % |
695.29/695.59 c | 603707 | 23796 430781 1454371 | 2147483647 603660 62 | 0.021 % |
697.09/697.30 c | 604760 | 23796 430781 1454371 | 2147483647 604713 62 | 0.021 % |
699.78/700.02 c | 605919 | 23796 430781 1454371 | 2147483647 605872 62 | 0.021 % |
702.28/702.58 c | 607193 | 23796 430781 1454371 | 2147483647 607146 62 | 0.021 % |
705.09/705.31 c | 608594 | 23796 430781 1454371 | 2147483647 608547 62 | 0.021 % |
707.98/708.24 c | 610135 | 23796 430781 1454371 | 2147483647 610088 62 | 0.021 % |
711.39/711.69 c | 611830 | 23796 430772 1454344 | 2147483647 611771 62 | 0.021 % |
715.58/715.81 c | 613693 | 23796 430772 1454344 | 2147483647 613634 62 | 0.021 % |
719.58/719.82 c | 615742 | 23796 430772 1454344 | 2147483647 615683 62 | 0.021 % |
724.38/724.67 c | 617995 | 23796 430772 1454344 | 2147483647 617936 62 | 0.021 % |
731.08/731.35 c | 620473 | 23796 430772 1454344 | 2147483647 620414 62 | 0.021 % |
736.18/736.47 c | 623200 | 23796 430772 1454344 | 2147483647 623141 62 | 0.021 % |
743.97/744.26 c | 626199 | 23796 430772 1454344 | 2147483647 626140 63 | 0.021 % |
751.18/751.49 c | 629495 | 23796 430772 1454344 | 2147483647 629436 63 | 0.021 % |
760.27/760.55 c | 633123 | 23796 430772 1454344 | 2147483647 633064 63 | 0.021 % |
770.57/770.88 c | 637111 | 23796 430772 1454344 | 2147483647 637052 63 | 0.021 % |
781.07/781.38 c | 641496 | 23796 430772 1454344 | 2147483647 641437 63 | 0.021 % |
795.26/795.59 c | 646319 | 23796 430772 1454344 | 2147483647 646260 64 | 0.021 % |
807.06/807.33 c | 651625 | 23796 430772 1454344 | 2147483647 651566 64 | 0.022 % |
819.46/819.79 c | 657462 | 23796 430772 1454344 | 2147483647 657403 64 | 0.021 % |
819.86/820.14 c | 657562 | 23796 430772 1454344 | 2147483647 657503 64 | 0.021 % |
820.26/820.53 c | 657672 | 23795 430772 1454344 | 2147483647 657612 64 | 0.025 % |
820.36/820.69 c | 657793 | 23795 430772 1454344 | 2147483647 657733 64 | 0.025 % |
820.66/820.94 c | 657927 | 23795 430772 1454344 | 2147483647 657867 64 | 0.025 % |
821.06/821.33 c | 658074 | 23795 430772 1454344 | 2147483647 658014 64 | 0.025 % |
821.46/821.79 c | 658234 | 23795 430772 1454344 | 2147483647 658174 64 | 0.025 % |
821.86/822.18 c | 658415 | 23795 430772 1454344 | 2147483647 658355 64 | 0.025 % |
822.36/822.63 c | 658610 | 23795 430772 1454344 | 2147483647 658550 64 | 0.025 % |
822.96/823.22 c | 658822 | 23795 430772 1454344 | 2147483647 658762 64 | 0.025 % |
823.46/823.73 c | 659055 | 23795 430772 1454344 | 2147483647 658995 64 | 0.025 % |
823.76/824.03 c | 659311 | 23795 430772 1454344 | 2147483647 659251 64 | 0.025 % |
824.56/824.85 c | 659592 | 23795 430772 1454344 | 2147483647 659532 64 | 0.025 % |
825.25/825.58 c | 659902 | 23795 430772 1454344 | 2147483647 659842 64 | 0.025 % |
825.95/826.30 c | 660241 | 23795 430772 1454344 | 2147483647 660181 64 | 0.025 % |
826.86/827.14 c | 660615 | 23795 430772 1454344 | 2147483647 660555 64 | 0.025 % |
827.95/828.25 c | 661025 | 23795 430772 1454344 | 2147483647 660965 64 | 0.025 % |
828.85/829.11 c | 661474 | 23795 430772 1454344 | 2147483647 661414 64 | 0.025 % |
829.85/830.13 c | 661967 | 23795 430772 1454344 | 2147483647 661907 64 | 0.025 % |
831.05/831.40 c | 662509 | 23795 430772 1454344 | 2147483647 662449 64 | 0.026 % |
832.95/833.26 c | 663106 | 23795 430772 1454344 | 2147483647 663046 65 | 0.025 % |
834.25/834.59 c | 663763 | 23795 430772 1454344 | 2147483647 663703 65 | 0.025 % |
836.25/836.59 c | 664483 | 23795 430772 1454344 | 2147483647 664423 65 | 0.025 % |
838.24/838.57 c | 665276 | 23795 430772 1454344 | 2147483647 665216 65 | 0.025 % |
840.05/840.39 c | 666147 | 23795 430772 1454344 | 2147483647 666087 65 | 0.025 % |
842.25/842.59 c | 667105 | 23795 430772 1454344 | 2147483647 667045 65 | 0.025 % |
844.85/845.12 c | 668160 | 23795 430772 1454344 | 2147483647 668100 65 | 0.025 % |
847.85/848.18 c | 669318 | 23795 430772 1454344 | 2147483647 669258 65 | 0.025 % |
850.65/850.99 c | 670591 | 23795 430772 1454344 | 2147483647 670531 65 | 0.025 % |
852.45/852.77 c | 671991 | 23795 430772 1454344 | 2147483647 671931 65 | 0.025 % |
855.04/855.39 c | 673531 | 23795 430772 1454344 | 2147483647 673471 65 | 0.025 % |
859.74/860.05 c | 675225 | 23795 430772 1454344 | 2147483647 675165 65 | 0.025 % |
863.74/864.03 c | 677091 | 23795 430772 1454344 | 2147483647 677031 65 | 0.025 % |
868.84/869.14 c | 679141 | 23795 430772 1454344 | 2147483647 679081 65 | 0.025 % |
875.24/875.60 c | 681396 | 23795 430772 1454344 | 2147483647 681336 65 | 0.025 % |
881.84/882.15 c | 683874 | 23795 430772 1454344 | 2147483647 683814 65 | 0.025 % |
889.94/890.27 c | 686599 | 23795 430772 1454344 | 2147483647 686539 65 | 0.025 % |
898.03/898.33 c | 689596 | 23795 430763 1454317 | 2147483647 689522 66 | 0.025 % |
904.33/904.65 c | 692892 | 23795 430763 1454317 | 2147483647 692818 66 | 0.025 % |
914.84/915.14 c | 696518 | 23795 430763 1454317 | 2147483647 696444 66 | 0.025 % |
924.22/924.60 c | 700507 | 23795 430763 1454317 | 2147483647 700433 66 | 0.025 % |
937.02/937.31 c | 704897 | 23795 430763 1454317 | 2147483647 704823 67 | 0.025 % |
947.62/947.97 c | 709722 | 23795 430763 1454317 | 2147483647 709648 67 | 0.025 % |
959.61/959.95 c | 715028 | 23795 430763 1454317 | 2147483647 714954 67 | 0.025 % |
976.21/976.59 c | 720864 | 23795 430763 1454317 | 2147483647 720790 67 | 0.025 % |
992.81/993.14 c | 727283 | 23795 430763 1454317 | 2147483647 727209 67 | 0.025 % |
993.02/993.32 c | 727385 | 23795 430763 1454317 | 2147483647 727311 67 | 0.025 % |
993.31/993.61 c | 727496 | 23795 430763 1454317 | 2147483647 727422 67 | 0.026 % |
993.51/993.81 c | 727617 | 23795 430763 1454317 | 2147483647 727543 67 | 0.025 % |
994.02/994.33 c | 727751 | 23795 430763 1454317 | 2147483647 727677 67 | 0.025 % |
994.41/994.72 c | 727898 | 23795 430763 1454317 | 2147483647 727824 67 | 0.025 % |
994.51/994.86 c | 728059 | 23795 430763 1454317 | 2147483647 727985 67 | 0.025 % |
994.81/995.18 c | 728235 | 23795 430763 1454317 | 2147483647 728161 67 | 0.025 % |
995.01/995.39 c | 728428 | 23795 430763 1454317 | 2147483647 728354 67 | 0.025 % |
995.41/995.70 c | 728641 | 23795 430763 1454317 | 2147483647 728567 67 | 0.025 % |
996.21/996.54 c | 728874 | 23795 430763 1454317 | 2147483647 728800 67 | 0.025 % |
996.91/997.25 c | 729130 | 23795 430763 1454317 | 2147483647 729056 67 | 0.025 % |
997.41/997.74 c | 729413 | 23795 430763 1454317 | 2147483647 729339 67 | 0.026 % |
998.21/998.51 c | 729725 | 23795 430763 1454317 | 2147483647 729651 67 | 0.025 % |
998.61/998.99 c | 730065 | 23795 430763 1454317 | 2147483647 729991 67 | 0.025 % |
1000.11/1000.43 c | 730437 | 23795 430763 1454317 | 2147483647 730363 67 | 0.025 % |
1000.81/1001.11 c | 730847 | 23795 430763 1454317 | 2147483647 730773 67 | 0.025 % |
1001.81/1002.14 c | 731296 | 23795 430763 1454317 | 2147483647 731222 67 | 0.026 % |
1002.50/1002.82 c | 731790 | 23795 430763 1454317 | 2147483647 731716 67 | 0.026 % |
1004.40/1004.77 c | 732337 | 23795 430763 1454317 | 2147483647 732263 67 | 0.025 % |
1005.90/1006.29 c | 732934 | 23795 430763 1454317 | 2147483647 732860 67 | 0.025 % |
1007.40/1007.71 c | 733589 | 23795 430763 1454317 | 2147483647 733515 67 | 0.025 % |
1009.20/1009.56 c | 734309 | 23795 430763 1454317 | 2147483647 734235 67 | 0.025 % |
1010.20/1010.58 c | 735105 | 23795 430763 1454317 | 2147483647 735031 67 | 0.025 % |
1013.91/1014.24 c | 735978 | 23795 430763 1454317 | 2147483647 735904 68 | 0.025 % |
1016.01/1016.32 c | 736936 | 23795 430763 1454317 | 2147483647 736862 68 | 0.025 % |
1019.40/1019.79 c | 737989 | 23795 430763 1454317 | 2147483647 737915 68 | 0.025 % |
1021.80/1022.18 c | 739148 | 23795 430763 1454317 | 2147483647 739074 68 | 0.025 % |
1025.79/1026.11 c | 740421 | 23795 430763 1454317 | 2147483647 740347 68 | 0.026 % |
1029.90/1030.28 c | 741821 | 23795 430763 1454317 | 2147483647 741747 68 | 0.025 % |
1035.19/1035.51 c | 743361 | 23795 430763 1454317 | 2147483647 743287 68 | 0.025 % |
1038.30/1038.62 c | 745055 | 23795 430763 1454317 | 2147483647 744981 68 | 0.025 % |
1044.20/1044.50 c | 746919 | 23795 430763 1454317 | 2147483647 746845 68 | 0.026 % |
1050.29/1050.68 c | 748970 | 23795 430763 1454317 | 2147483647 748896 68 | 0.025 % |
1054.79/1055.18 c | 751223 | 23795 430763 1454317 | 2147483647 751149 68 | 0.025 % |
1062.88/1063.21 c | 753701 | 23795 430763 1454317 | 2147483647 753627 68 | 0.025 % |
1070.49/1070.85 c | 756426 | 23795 430763 1454317 | 2147483647 756352 68 | 0.025 % |
1081.78/1082.16 c | 759423 | 23795 430763 1454317 | 2147483647 759349 69 | 0.025 % |
1092.78/1093.14 c | 762719 | 23795 430763 1454317 | 2147483647 762645 69 | 0.025 % |
1102.48/1102.83 c | 766344 | 23795 430763 1454317 | 2147483647 766270 69 | 0.025 % |
1113.98/1114.37 c | 770333 | 23795 430763 1454317 | 2147483647 770259 69 | 0.025 % |
1125.47/1125.88 c | 774718 | 23795 430763 1454317 | 2147483647 774644 69 | 0.025 % |
1140.06/1140.41 c | 779542 | 23795 430763 1454317 | 2147483647 779468 69 | 0.025 % |
1156.87/1157.25 c | 784848 | 23795 430763 1454317 | 2147483647 784774 70 | 0.025 % |
1173.86/1174.20 c | 790683 | 23795 430763 1454317 | 2147483647 790609 70 | 0.025 % |
1183.65/1184.07 c | 797102 | 23795 430763 1454317 | 2147483647 797028 70 | 0.025 % |
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1834261-1242829228/watcher-1834261-1242829228 -o /tmp/evaluation-result-1834261-1242829228/solver-1834261-1242829228 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1834261-1242829228.cnf
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1230 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 0.99 0.98 0.99 3/64 25075
/proc/meminfo: memFree=1915192/2055920 swapFree=4180684/4192956
[pid=25075] ppid=25073 vsize=5356 CPUtime=0
/proc/25075/stat : 25075 (SatELiteGTI) S 25073 25075 24788 0 -1 4194304 276 0 0 0 0 0 0 0 16 0 1 0 310949992 5484544 235 1992294400 4194304 4889804 548682068832 18446744073709551615 246406676562 0 0 4100 65536 18446744071563648864 0 0 17 0 0 0
/proc/25075/statm: 1339 235 195 169 0 50 0
[pid=25076] ppid=25075 vsize=5356 CPUtime=0
/proc/25076/stat : 25076 (SatELiteGTI) R 25075 25075 24788 0 -1 4194368 51 25 0 0 0 0 0 0 20 0 1 0 310949992 5484544 238 1992294400 4194304 4889804 548682068832 18446744073709551615 246406505284 0 65536 4096 65538 0 0 0 17 0 0 0
/proc/25076/statm: 1339 238 198 169 0 50 0
[pid=25078] ppid=25076 vsize=0 CPUtime=0
/proc/25078/stat : 25078 (sed) Z 25076 25075 24788 0 -1 4194316 163 0 0 0 0 0 0 0 18 0 1 0 310949992 0 0 1992294400 0 0 0 0 0 0 0 4096 0 18446744071563351923 0 0 17 1 0 0
/proc/25078/statm: 0 0 0 0 0 0 0
[startup+0.014798 s]
/proc/loadavg: 0.99 0.98 0.99 3/64 25075
/proc/meminfo: memFree=1915192/2055920 swapFree=4180684/4192956
[pid=25075] ppid=25073 vsize=5356 CPUtime=0
/proc/25075/stat : 25075 (SatELiteGTI) S 25073 25075 24788 0 -1 4194304 310 249 0 0 0 0 0 0 16 0 1 0 310949992 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/25075/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.101804 s]
/proc/loadavg: 0.99 0.98 0.99 3/64 25075
/proc/meminfo: memFree=1915192/2055920 swapFree=4180684/4192956
[pid=25075] ppid=25073 vsize=5356 CPUtime=0
/proc/25075/stat : 25075 (SatELiteGTI) S 25073 25075 24788 0 -1 4194304 310 249 0 0 0 0 0 0 16 0 1 0 310949992 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/25075/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.301822 s]
/proc/loadavg: 0.99 0.98 0.99 3/64 25075
/proc/meminfo: memFree=1915192/2055920 swapFree=4180684/4192956
[pid=25075] ppid=25073 vsize=5356 CPUtime=0
/proc/25075/stat : 25075 (SatELiteGTI) S 25073 25075 24788 0 -1 4194304 310 249 0 0 0 0 0 0 16 0 1 0 310949992 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/25075/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.701859 s]
/proc/loadavg: 0.99 0.98 0.99 3/64 25075
/proc/meminfo: memFree=1915192/2055920 swapFree=4180684/4192956
[pid=25075] ppid=25073 vsize=5356 CPUtime=0
/proc/25075/stat : 25075 (SatELiteGTI) S 25073 25075 24788 0 -1 4194304 310 249 0 0 0 0 0 0 16 0 1 0 310949992 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/25075/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+1.50194 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 25080
/proc/meminfo: memFree=1868200/2055920 swapFree=4180684/4192956
[pid=25075] ppid=25073 vsize=5356 CPUtime=0
/proc/25075/stat : 25075 (SatELiteGTI) S 25073 25075 24788 0 -1 4194304 310 249 0 0 0 0 0 0 16 0 1 0 310949992 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/25075/statm: 1339 237 197 169 0 50 0
[pid=25080] ppid=25075 vsize=48540 CPUtime=1.48
/proc/25080/stat : 25080 (SatELite_releas) R 25075 25075 24788 0 -1 4194304 12779 0 0 0 140 8 0 0 25 0 1 0 310949992 49704960 10687 1992294400 134512640 135223648 4294956128 18446744073709551615 134737406 0 0 4096 3 0 0 0 17 1 0 0
/proc/25080/statm: 12135 10687 76 173 0 11960 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 53896
[startup+3.10108 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 25081
/proc/meminfo: memFree=1882472/2055920 swapFree=4180684/4192956
[pid=25075] ppid=25073 vsize=5356 CPUtime=1.75
/proc/25075/stat : 25075 (SatELiteGTI) S 25073 25075 24788 0 -1 4194304 336 13030 0 0 0 0 164 11 16 0 1 0 310949992 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25075/statm: 1339 239 197 169 0 50 0
[pid=25081] ppid=25075 vsize=23112 CPUtime=1.32
/proc/25081/stat : 25081 (minisat_static) R 25075 25075 24788 0 -1 4194304 5594 0 0 0 128 4 0 0 25 0 1 0 310950168 23666688 5580 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/25081/statm: 5778 5580 77 171 0 5605 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 28468
[startup+6.30139 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 25081
/proc/meminfo: memFree=1880680/2055920 swapFree=4180684/4192956
[pid=25075] ppid=25073 vsize=5356 CPUtime=1.75
/proc/25075/stat : 25075 (SatELiteGTI) S 25073 25075 24788 0 -1 4194304 336 13030 0 0 0 0 164 11 16 0 1 0 310949992 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25075/statm: 1339 239 197 169 0 50 0
[pid=25081] ppid=25075 vsize=24828 CPUtime=4.52
/proc/25081/stat : 25081 (minisat_static) R 25075 25075 24788 0 -1 4194304 6002 0 0 0 447 5 0 0 25 0 1 0 310950168 25423872 5988 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 1 0 0
/proc/25081/statm: 6207 5988 77 171 0 6034 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 30184
[startup+12.703 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 25081
/proc/meminfo: memFree=1877808/2055920 swapFree=4180684/4192956
[pid=25075] ppid=25073 vsize=5356 CPUtime=1.75
/proc/25075/stat : 25075 (SatELiteGTI) S 25073 25075 24788 0 -1 4194304 336 13030 0 0 0 0 164 11 16 0 1 0 310949992 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25075/statm: 1339 239 197 169 0 50 0
[pid=25081] ppid=25075 vsize=27564 CPUtime=10.92
/proc/25081/stat : 25081 (minisat_static) R 25075 25075 24788 0 -1 4194304 6697 0 0 0 1087 5 0 0 25 0 1 0 310950168 28225536 6683 1992294400 134512640 135215339 4294956240 18446744073709551615 134721382 0 0 4096 3 0 0 0 17 1 0 0
/proc/25081/statm: 6891 6683 77 171 0 6718 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 32920
[startup+25.5012 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 25081
/proc/meminfo: memFree=1872432/2055920 swapFree=4180684/4192956
[pid=25075] ppid=25073 vsize=5356 CPUtime=1.75
/proc/25075/stat : 25075 (SatELiteGTI) S 25073 25075 24788 0 -1 4194304 336 13030 0 0 0 0 164 11 16 0 1 0 310949992 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25075/statm: 1339 239 197 169 0 50 0
[pid=25081] ppid=25075 vsize=32792 CPUtime=23.72
/proc/25081/stat : 25081 (minisat_static) R 25075 25075 24788 0 -1 4194304 8010 0 0 0 2365 7 0 0 25 0 1 0 310950168 33579008 7996 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 1 0 0
/proc/25081/statm: 8198 7996 77 171 0 8025 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 38148
[startup+51.1016 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 25081
/proc/meminfo: memFree=1862896/2055920 swapFree=4180684/4192956
[pid=25075] ppid=25073 vsize=5356 CPUtime=1.75
/proc/25075/stat : 25075 (SatELiteGTI) S 25073 25075 24788 0 -1 4194304 336 13030 0 0 0 0 164 11 16 0 1 0 310949992 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25075/statm: 1339 239 197 169 0 50 0
[pid=25081] ppid=25075 vsize=42596 CPUtime=49.31
/proc/25081/stat : 25081 (minisat_static) R 25075 25075 24788 0 -1 4194304 10414 0 0 0 4921 10 0 0 25 0 1 0 310950168 43618304 10400 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/25081/statm: 10649 10400 77 171 0 10476 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 47952
[startup+102.305 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 25081
/proc/meminfo: memFree=1844976/2055920 swapFree=4180684/4192956
[pid=25075] ppid=25073 vsize=5356 CPUtime=1.75
/proc/25075/stat : 25075 (SatELiteGTI) S 25073 25075 24788 0 -1 4194304 336 13030 0 0 0 0 164 11 16 0 1 0 310949992 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25075/statm: 1339 239 197 169 0 50 0
[pid=25081] ppid=25075 vsize=60164 CPUtime=100.5
/proc/25081/stat : 25081 (minisat_static) R 25075 25075 24788 0 -1 4194304 14835 0 0 0 10035 15 0 0 25 0 1 0 310950168 61607936 14821 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/25081/statm: 15041 14821 77 171 0 14868 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 65520
[startup+162.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 25081
/proc/meminfo: memFree=1826736/2055920 swapFree=4180684/4192956
[pid=25075] ppid=25073 vsize=5356 CPUtime=1.75
/proc/25075/stat : 25075 (SatELiteGTI) S 25073 25075 24788 0 -1 4194304 336 13030 0 0 0 0 164 11 16 0 1 0 310949992 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25075/statm: 1339 239 197 169 0 50 0
[pid=25081] ppid=25075 vsize=78532 CPUtime=160.48
/proc/25081/stat : 25081 (minisat_static) R 25075 25075 24788 0 -1 4194304 19393 0 0 0 16027 21 0 0 25 0 1 0 310950168 80416768 19379 1992294400 134512640 135215339 4294956240 18446744073709551615 134528852 0 0 4096 3 0 0 0 17 1 0 0
/proc/25081/statm: 19633 19379 77 171 0 19460 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 83888
[startup+222.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 25081
/proc/meminfo: memFree=1809008/2055920 swapFree=4180684/4192956
[pid=25075] ppid=25073 vsize=5356 CPUtime=1.75
/proc/25075/stat : 25075 (SatELiteGTI) S 25073 25075 24788 0 -1 4194304 336 13030 0 0 0 0 164 11 16 0 1 0 310949992 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25075/statm: 1339 239 197 169 0 50 0
[pid=25081] ppid=25075 vsize=95852 CPUtime=220.46
/proc/25081/stat : 25081 (minisat_static) R 25075 25075 24788 0 -1 4194304 23766 0 0 0 22021 25 0 0 25 0 1 0 310950168 98152448 23752 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/25081/statm: 23963 23752 77 171 0 23790 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 101208
[startup+282.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 25081
/proc/meminfo: memFree=1794352/2055920 swapFree=4180684/4192956
[pid=25075] ppid=25073 vsize=5356 CPUtime=1.75
/proc/25075/stat : 25075 (SatELiteGTI) S 25073 25075 24788 0 -1 4194304 336 13030 0 0 0 0 164 11 16 0 1 0 310949992 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25075/statm: 1339 239 197 169 0 50 0
[pid=25081] ppid=25075 vsize=110988 CPUtime=280.46
/proc/25081/stat : 25081 (minisat_static) R 25075 25075 24788 0 -1 4194304 27433 0 0 0 28016 30 0 0 25 0 1 0 310950168 113651712 27419 1992294400 134512640 135215339 4294956240 18446744073709551615 134528863 0 0 4096 3 0 0 0 17 1 0 0
/proc/25081/statm: 27747 27419 77 171 0 27574 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 116344
[startup+342.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 25081
/proc/meminfo: memFree=1780208/2055920 swapFree=4180684/4192956
[pid=25075] ppid=25073 vsize=5356 CPUtime=1.75
/proc/25075/stat : 25075 (SatELiteGTI) S 25073 25075 24788 0 -1 4194304 336 13030 0 0 0 0 164 11 16 0 1 0 310949992 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25075/statm: 1339 239 197 169 0 50 0
[pid=25081] ppid=25075 vsize=124732 CPUtime=340.44
/proc/25081/stat : 25081 (minisat_static) R 25075 25075 24788 0 -1 4194304 30926 0 0 0 34010 34 0 0 25 0 1 0 310950168 127725568 30912 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/25081/statm: 31183 30912 77 171 0 31010 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 130088
[startup+402.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 25081
/proc/meminfo: memFree=1769008/2055920 swapFree=4180684/4192956
[pid=25075] ppid=25073 vsize=5356 CPUtime=1.75
/proc/25075/stat : 25075 (SatELiteGTI) S 25073 25075 24788 0 -1 4194304 336 13030 0 0 0 0 164 11 16 0 1 0 310949992 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25075/statm: 1339 239 197 169 0 50 0
[pid=25081] ppid=25075 vsize=135944 CPUtime=400.42
################
# More data... #
################
/proc/25081/statm: 40091 39699 77 171 0 39918 0
Current children cumulated CPU time (s) 522.13
Current children cumulated vsize (KiB) 165720
[startup+582.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 25081
/proc/meminfo: memFree=1733424/2055920 swapFree=4180684/4192956
[pid=25075] ppid=25073 vsize=5356 CPUtime=1.75
/proc/25075/stat : 25075 (SatELiteGTI) S 25073 25075 24788 0 -1 4194304 336 13030 0 0 0 0 164 11 16 0 1 0 310949992 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25075/statm: 1339 239 197 169 0 50 0
[pid=25081] ppid=25075 vsize=171496 CPUtime=580.36
/proc/25081/stat : 25081 (minisat_static) R 25075 25075 24788 0 -1 4194304 42504 0 0 0 57989 47 0 0 25 0 1 0 310950168 175611904 42490 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/25081/statm: 42874 42490 77 171 0 42701 0
Current children cumulated CPU time (s) 582.11
Current children cumulated vsize (KiB) 176852
[startup+642.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 25081
/proc/meminfo: memFree=1722480/2055920 swapFree=4180684/4192956
[pid=25075] ppid=25073 vsize=5356 CPUtime=1.75
/proc/25075/stat : 25075 (SatELiteGTI) S 25073 25075 24788 0 -1 4194304 336 13030 0 0 0 0 164 11 16 0 1 0 310949992 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25075/statm: 1339 239 197 169 0 50 0
[pid=25081] ppid=25075 vsize=182056 CPUtime=640.35
/proc/25081/stat : 25081 (minisat_static) R 25075 25075 24788 0 -1 4194304 45183 0 0 0 63984 51 0 0 25 0 1 0 310950168 186425344 45169 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/25081/statm: 45514 45169 77 171 0 45341 0
Current children cumulated CPU time (s) 642.1
Current children cumulated vsize (KiB) 187412
[startup+702.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 25081
/proc/meminfo: memFree=1710384/2055920 swapFree=4180684/4192956
[pid=25075] ppid=25073 vsize=5356 CPUtime=1.75
/proc/25075/stat : 25075 (SatELiteGTI) S 25073 25075 24788 0 -1 4194304 336 13030 0 0 0 0 164 11 16 0 1 0 310949992 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25075/statm: 1339 239 197 169 0 50 0
[pid=25081] ppid=25075 vsize=193944 CPUtime=700.33
/proc/25081/stat : 25081 (minisat_static) R 25075 25075 24788 0 -1 4194304 48182 0 0 0 69979 54 0 0 25 0 1 0 310950168 198598656 48168 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/25081/statm: 48486 48168 77 171 0 48313 0
Current children cumulated CPU time (s) 702.08
Current children cumulated vsize (KiB) 199300
[startup+762.306 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 25081
/proc/meminfo: memFree=1699760/2055920 swapFree=4180684/4192956
[pid=25075] ppid=25073 vsize=5356 CPUtime=1.75
/proc/25075/stat : 25075 (SatELiteGTI) S 25073 25075 24788 0 -1 4194304 336 13030 0 0 0 0 164 11 16 0 1 0 310949992 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25075/statm: 1339 239 197 169 0 50 0
[pid=25081] ppid=25075 vsize=204240 CPUtime=760.33
/proc/25081/stat : 25081 (minisat_static) R 25075 25075 24788 0 -1 4194304 50796 0 0 0 75975 58 0 0 25 0 1 0 310950168 209141760 50782 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/25081/statm: 51060 50782 77 171 0 50887 0
Current children cumulated CPU time (s) 762.08
Current children cumulated vsize (KiB) 209596
[startup+822.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 25081
/proc/meminfo: memFree=1689584/2055920 swapFree=4180684/4192956
[pid=25075] ppid=25073 vsize=5356 CPUtime=1.75
/proc/25075/stat : 25075 (SatELiteGTI) S 25073 25075 24788 0 -1 4194304 336 13030 0 0 0 0 164 11 16 0 1 0 310949992 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25075/statm: 1339 239 197 169 0 50 0
[pid=25081] ppid=25075 vsize=214360 CPUtime=820.31
/proc/25081/stat : 25081 (minisat_static) R 25075 25075 24788 0 -1 4194304 53342 0 0 0 81970 61 0 0 25 0 1 0 310950168 219504640 53328 1992294400 134512640 135215339 4294956240 18446744073709551615 134529083 0 0 4096 3 0 0 0 17 1 0 0
/proc/25081/statm: 53590 53328 77 171 0 53417 0
Current children cumulated CPU time (s) 822.06
Current children cumulated vsize (KiB) 219716
[startup+882.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 25081
/proc/meminfo: memFree=1679344/2055920 swapFree=4180684/4192956
[pid=25075] ppid=25073 vsize=5356 CPUtime=1.75
/proc/25075/stat : 25075 (SatELiteGTI) S 25073 25075 24788 0 -1 4194304 336 13030 0 0 0 0 164 11 16 0 1 0 310949992 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25075/statm: 1339 239 197 169 0 50 0
[pid=25081] ppid=25075 vsize=224340 CPUtime=880.28
/proc/25081/stat : 25081 (minisat_static) R 25075 25075 24788 0 -1 4194304 55863 0 0 0 87965 63 0 0 25 0 1 0 310950168 229724160 55849 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/25081/statm: 56085 55849 77 171 0 55912 0
Current children cumulated CPU time (s) 882.03
Current children cumulated vsize (KiB) 229696
[startup+942.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 25081
/proc/meminfo: memFree=1668528/2055920 swapFree=4180684/4192956
[pid=25075] ppid=25073 vsize=5356 CPUtime=1.75
/proc/25075/stat : 25075 (SatELiteGTI) S 25073 25075 24788 0 -1 4194304 336 13030 0 0 0 0 164 11 16 0 1 0 310949992 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25075/statm: 1339 239 197 169 0 50 0
[pid=25081] ppid=25075 vsize=236508 CPUtime=940.28
/proc/25081/stat : 25081 (minisat_static) R 25075 25075 24788 0 -1 4194304 58553 0 0 0 93961 67 0 0 25 0 1 0 310950168 242184192 58539 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/25081/statm: 59127 58539 77 171 0 58954 0
Current children cumulated CPU time (s) 942.03
Current children cumulated vsize (KiB) 241864
[startup+1002.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 25081
/proc/meminfo: memFree=1659120/2055920 swapFree=4180684/4192956
[pid=25075] ppid=25073 vsize=5356 CPUtime=1.75
/proc/25075/stat : 25075 (SatELiteGTI) S 25073 25075 24788 0 -1 4194304 336 13030 0 0 0 0 164 11 16 0 1 0 310949992 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25075/statm: 1339 239 197 169 0 50 0
[pid=25081] ppid=25075 vsize=245672 CPUtime=1000.26
/proc/25081/stat : 25081 (minisat_static) R 25075 25075 24788 0 -1 4194304 60869 0 0 0 99957 69 0 0 25 0 1 0 310950168 251568128 60855 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/25081/statm: 61418 60855 77 171 0 61245 0
Current children cumulated CPU time (s) 1002.01
Current children cumulated vsize (KiB) 251028
[startup+1062.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 25081
/proc/meminfo: memFree=1650288/2055920 swapFree=4180684/4192956
[pid=25075] ppid=25073 vsize=5356 CPUtime=1.75
/proc/25075/stat : 25075 (SatELiteGTI) S 25073 25075 24788 0 -1 4194304 336 13030 0 0 0 0 164 11 16 0 1 0 310949992 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25075/statm: 1339 239 197 169 0 50 0
[pid=25081] ppid=25075 vsize=254372 CPUtime=1060.23
/proc/25081/stat : 25081 (minisat_static) R 25075 25075 24788 0 -1 4194304 63065 0 0 0 105951 72 0 0 25 0 1 0 310950168 260476928 63051 1992294400 134512640 135215339 4294956240 18446744073709551615 134532626 0 0 4096 3 0 0 0 17 1 0 0
/proc/25081/statm: 63593 63051 77 171 0 63420 0
Current children cumulated CPU time (s) 1061.98
Current children cumulated vsize (KiB) 259728
[startup+1122.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 25081
/proc/meminfo: memFree=1640944/2055920 swapFree=4180684/4192956
[pid=25075] ppid=25073 vsize=5356 CPUtime=1.75
/proc/25075/stat : 25075 (SatELiteGTI) S 25073 25075 24788 0 -1 4194304 336 13030 0 0 0 0 164 11 16 0 1 0 310949992 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25075/statm: 1339 239 197 169 0 50 0
[pid=25081] ppid=25075 vsize=263540 CPUtime=1120.22
/proc/25081/stat : 25081 (minisat_static) R 25075 25075 24788 0 -1 4194304 65366 0 0 0 111947 75 0 0 25 0 1 0 310950168 269864960 65352 1992294400 134512640 135215339 4294956240 18446744073709551615 134528863 0 0 4096 3 0 0 0 17 1 0 0
/proc/25081/statm: 65885 65352 77 171 0 65712 0
Current children cumulated CPU time (s) 1121.97
Current children cumulated vsize (KiB) 268896
[startup+1182.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 25081
/proc/meminfo: memFree=1632112/2055920 swapFree=4180684/4192956
[pid=25075] ppid=25073 vsize=5356 CPUtime=1.75
/proc/25075/stat : 25075 (SatELiteGTI) S 25073 25075 24788 0 -1 4194304 336 13030 0 0 0 0 164 11 16 0 1 0 310949992 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25075/statm: 1339 239 197 169 0 50 0
[pid=25081] ppid=25075 vsize=272400 CPUtime=1180.2
/proc/25081/stat : 25081 (minisat_static) R 25075 25075 24788 0 -1 4194304 67589 0 0 0 117943 77 0 0 25 0 1 0 310950168 278937600 67575 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/25081/statm: 68100 67575 77 171 0 67927 0
Current children cumulated CPU time (s) 1181.95
Current children cumulated vsize (KiB) 277756
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1200.4 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 25081
/proc/meminfo: memFree=1628848/2055920 swapFree=4180684/4192956
[pid=25075] ppid=25073 vsize=5356 CPUtime=1.75
/proc/25075/stat : 25075 (SatELiteGTI) S 25073 25075 24788 0 -1 4194304 336 13030 0 0 0 0 164 11 16 0 1 0 310949992 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25075/statm: 1339 239 197 169 0 50 0
[pid=25081] ppid=25075 vsize=275308 CPUtime=1198.3
/proc/25081/stat : 25081 (minisat_static) R 25075 25075 24788 0 -1 4194304 68336 0 0 0 119752 78 0 0 25 0 1 0 310950168 281915392 68322 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/25081/statm: 68827 68322 77 171 0 68654 0
Current children cumulated CPU time (s) 1200.05
Current children cumulated vsize (KiB) 280664
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 25075 and gives
# childrusage.ru_utime.tv_sec=1
# childrusage.ru_utime.tv_usec=649749
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=112982
# CPU time returned by wait4() is 1.76273
# while last known CPU time is 1200.05
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1200.41
CPU time (s): 1200.05
CPU user time (s): 1199.16
CPU system time (s): 0.89
CPU usage (%): 99.9698
Max. virtual memory (cumulated for all children) (KiB): 280664
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1.64975
system time used= 0.112982
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 13366
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= 14
involuntary context switches= 11
runsolver used 1.41378 second user time and 3.01954 second system time
The end
Begin job on node61 at 2009-05-20 16:20:29
IDJOB=1834261
IDBENCH=71797
IDSOLVER=671
FILE ID=node61/1834261-1242829228
PBS_JOBID= 9322549
Free space on /tmp= 66268 MiB
SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT09/CRAFTED/parity-games/instance_n9_i9_pp_ci_ce.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1834261-1242829228/watcher-1834261-1242829228 -o /tmp/evaluation-result-1834261-1242829228/solver-1834261-1242829228 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1834261-1242829228.cnf
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 17405d60322fbbfc84267e396be14b66
RANDOM SEED=1684740052
node61.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.216
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.216
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: 1915672 kB
Buffers: 19892 kB
Cached: 80280 kB
SwapCached: 6724 kB
Active: 49444 kB
Inactive: 59232 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1915672 kB
SwapTotal: 4192956 kB
SwapFree: 4180684 kB
Dirty: 11752 kB
Writeback: 0 kB
Mapped: 13428 kB
Slab: 17744 kB
Committed_AS: 1052780 kB
PageTables: 1384 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264884 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 66256 MiB
End job on node61 at 2009-05-20 16:40:31