0.00/0.00 c Parsing...
0.00/0.24 c ==============================================================================
0.00/0.24 c | | ORIGINAL | LEARNT | |
0.00/0.24 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress |
0.00/0.24 c ==============================================================================
0.00/0.24 c | 0 | 139590 1667160 | 41876 0 0 nan | 0.000 % |
0.00/0.24 c ==============================================================================
0.00/0.24 c Result : #vars: 55 #clauses: 139590 #literals: 1667160
0.00/0.24 c CPU time: 0.215967 s
0.00/0.24 c ==============================================================================
0.00/0.65 c This is MiniSat 2.0 beta
0.00/0.65 c WARNING: for repeatability, setting FPU to use double precision
0.00/0.65 c ============================[ Problem Statistics ]=============================
0.00/0.65 c | |
0.00/0.65 c | Number of variables: 55 |
0.00/0.65 c | Number of clauses: 139590 |
0.64/0.80 c | Parsing time: 0.13 s |
0.64/0.81 c ============================[ Search Statistics ]==============================
0.64/0.81 c | Conflicts | ORIGINAL | LEARNT | Progress |
0.64/0.81 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
0.64/0.81 c ===============================================================================
0.64/0.81 c | 0 | 55 139590 1667160 | 46530 0 nan | 0.000 % |
0.64/0.82 c | 100 | 55 139590 1667160 | 46530 100 20 | 0.034 % |
0.64/0.82 c | 203 | 55 139590 1667160 | 46530 203 19 | 0.034 % |
0.64/0.83 c | 303 | 55 139590 1667160 | 46530 303 19 | 0.034 % |
0.64/0.84 c | 413 | 55 139590 1667160 | 46530 413 18 | 0.034 % |
0.64/0.85 c | 513 | 55 139590 1667160 | 46530 513 18 | 0.034 % |
0.64/0.86 c | 623 | 55 139590 1667160 | 46530 623 18 | 0.034 % |
0.64/0.87 c | 745 | 55 139590 1667160 | 46530 745 18 | 0.034 % |
0.64/0.88 c | 847 | 55 139590 1667160 | 46530 847 18 | 0.034 % |
0.64/0.89 c | 957 | 55 139590 1667160 | 46530 957 18 | 0.034 % |
0.64/0.90 c | 1081 | 55 139590 1667160 | 46530 1081 18 | 0.034 % |
0.64/0.91 c | 1214 | 55 139590 1667160 | 46530 1214 18 | 0.034 % |
0.64/0.92 c | 1314 | 55 139590 1667160 | 46530 1314 18 | 0.034 % |
0.64/0.94 c | 1425 | 55 139590 1667160 | 46530 1425 18 | 0.034 % |
0.64/0.95 c | 1548 | 55 139590 1667160 | 46530 1548 18 | 0.034 % |
0.64/0.97 c | 1681 | 55 139590 1667160 | 46530 1681 18 | 0.034 % |
0.64/0.98 c | 1828 | 55 139590 1667160 | 46530 1828 18 | 0.034 % |
0.64/1.00 c | 1929 | 55 139590 1667160 | 46530 1929 17 | 0.034 % |
0.97/1.01 c | 2041 | 55 139590 1667160 | 46530 2041 17 | 0.034 % |
0.97/1.03 c | 2164 | 55 139590 1667160 | 46530 2164 17 | 0.034 % |
0.97/1.05 c | 2299 | 55 139590 1667160 | 46530 2299 17 | 0.034 % |
0.97/1.06 c | 2445 | 55 139590 1667160 | 46530 2445 17 | 0.034 % |
0.97/1.08 c | 2606 | 55 139590 1667160 | 46530 2606 17 | 0.034 % |
0.97/1.09 c | 2707 | 55 139590 1667160 | 46530 2707 17 | 0.034 % |
1.07/1.10 c | 2818 | 55 139590 1667160 | 46530 2818 17 | 0.034 % |
1.07/1.18 c | 2939 | 55 139590 1667160 | 46530 2939 17 | 0.034 % |
1.07/1.19 c | 3073 | 55 139590 1667160 | 46530 3073 17 | 0.034 % |
1.17/1.21 c | 3219 | 55 139590 1667160 | 46530 3219 17 | 0.034 % |
1.17/1.23 c | 3379 | 55 139590 1667160 | 46530 3379 17 | 0.034 % |
1.17/1.25 c | 3555 | 55 139590 1667160 | 46530 3555 17 | 0.034 % |
1.17/1.26 c | 3655 | 55 139590 1667160 | 46530 3655 17 | 0.034 % |
1.27/1.30 c | 3765 | 55 139590 1667160 | 46530 3765 17 | 0.034 % |
1.27/1.37 c | 3886 | 55 139590 1667160 | 46530 3886 17 | 0.034 % |
1.27/1.40 c | 4021 | 55 139590 1667160 | 46530 4021 17 | 0.034 % |
1.37/1.42 c | 4167 | 55 139590 1667160 | 46530 4167 17 | 0.034 % |
1.37/1.45 c | 4328 | 55 139590 1667160 | 46530 4328 17 | 0.034 % |
1.37/1.47 c | 4505 | 55 139590 1667160 | 46530 4505 17 | 0.034 % |
1.37/1.50 c | 4698 | 55 139590 1667160 | 46530 4698 17 | 0.034 % |
1.47/1.51 c | 4798 | 55 139590 1667160 | 46530 4798 17 | 0.034 % |
1.47/1.53 c | 4908 | 55 139590 1667160 | 46530 4908 17 | 0.034 % |
1.47/1.55 c | 5029 | 55 139590 1667160 | 46530 5029 17 | 0.034 % |
1.47/1.57 c | 5162 | 55 139590 1667160 | 46530 5162 17 | 0.034 % |
1.47/1.59 c | 5308 | 55 139590 1667160 | 46530 5308 17 | 0.034 % |
1.57/1.61 c | 5469 | 55 139590 1667160 | 46530 5469 17 | 0.034 % |
1.57/1.64 c | 5647 | 55 139590 1667160 | 46530 5647 17 | 0.034 % |
1.57/1.68 c | 5841 | 55 139590 1667160 | 46530 5841 17 | 0.034 % |
1.67/1.72 c | 6053 | 55 139590 1667160 | 46530 6053 17 | 0.034 % |
1.67/1.75 c | 6153 | 55 139590 1667160 | 46530 6153 17 | 0.034 % |
1.67/1.77 c | 6263 | 55 139590 1667160 | 46530 6263 17 | 0.034 % |
1.77/1.84 c | 6385 | 55 139590 1667160 | 46530 6385 17 | 0.034 % |
1.77/1.88 c | 6520 | 55 139590 1667160 | 46530 6520 17 | 0.034 % |
1.87/1.90 c | 6667 | 55 139590 1667160 | 46530 6667 17 | 0.034 % |
1.87/1.92 c | 6827 | 55 139590 1667160 | 46530 6827 17 | 0.034 % |
1.87/1.95 c | 7003 | 55 139590 1667160 | 46530 7003 17 | 0.034 % |
1.87/1.99 c | 7197 | 55 139590 1667160 | 46530 7197 17 | 0.034 % |
1.97/2.03 c | 7411 | 55 139590 1667160 | 46530 7411 17 | 0.034 % |
2.17/2.21 c | 7645 | 55 139590 1667160 | 46530 7645 17 | 0.034 % |
2.17/2.24 c | 7745 | 55 139590 1667160 | 46530 7745 17 | 0.034 % |
2.17/2.25 c | 7855 | 55 139590 1667160 | 46530 7855 17 | 0.034 % |
2.17/2.28 c | 7976 | 55 139590 1667160 | 46530 7976 17 | 0.034 % |
2.27/2.31 c | 8111 | 55 139590 1667160 | 46530 8111 17 | 0.034 % |
2.27/2.35 c | 8257 | 55 139590 1667160 | 46530 8257 17 | 0.034 % |
2.37/2.46 c | 8421 | 55 139590 1667160 | 46530 8421 17 | 0.034 % |
2.37/2.50 c | 8598 | 55 139590 1667160 | 46530 8598 17 | 0.034 % |
2.47/2.54 c | 8792 | 55 139590 1667160 | 46530 8792 17 | 0.034 % |
2.47/2.58 c | 9006 | 55 139590 1667160 | 46530 9006 17 | 0.034 % |
2.57/2.63 c | 9239 | 55 139590 1667160 | 46530 9239 17 | 0.034 % |
2.57/2.67 c | 9496 | 55 139590 1667160 | 46530 9496 17 | 0.034 % |
2.57/2.69 c | 9597 | 55 139590 1667160 | 46530 9597 17 | 0.034 % |
2.67/2.72 c | 9708 | 55 139590 1667160 | 46530 9708 17 | 0.034 % |
2.67/2.75 c | 9829 | 55 139590 1667160 | 46530 9829 17 | 0.034 % |
2.67/2.78 c | 9962 | 55 139590 1667160 | 46530 9962 17 | 0.034 % |
2.77/2.81 c | 10108 | 55 139590 1667160 | 2147483647 10108 17 | 0.034 % |
2.77/2.85 c | 10268 | 55 139590 1667160 | 2147483647 10268 17 | 0.034 % |
2.87/2.90 c | 10445 | 55 139590 1667160 | 2147483647 10445 17 | 0.034 % |
2.87/2.94 c | 10638 | 55 139590 1667160 | 2147483647 10638 17 | 0.034 % |
2.87/2.99 c | 10851 | 55 139590 1667160 | 2147483647 10851 17 | 0.034 % |
2.97/3.04 c | 11085 | 55 139590 1667160 | 2147483647 11085 17 | 0.034 % |
2.97/3.09 c | 11342 | 55 139590 1667160 | 2147483647 11342 17 | 0.034 % |
3.07/3.16 c | 11623 | 55 139590 1667160 | 2147483647 11623 17 | 0.034 % |
3.07/3.18 c | 11725 | 55 139590 1667160 | 2147483647 11725 17 | 0.034 % |
3.17/3.20 c | 11836 | 55 139590 1667160 | 2147483647 11836 17 | 0.034 % |
3.17/3.24 c | 11958 | 55 139590 1667160 | 2147483647 11958 17 | 0.034 % |
3.17/3.27 c | 12091 | 55 139590 1667160 | 2147483647 12091 17 | 0.034 % |
3.17/3.30 c | 12238 | 55 139590 1667160 | 2147483647 12238 17 | 0.034 % |
3.27/3.35 c | 12400 | 55 139590 1667160 | 2147483647 12400 17 | 0.034 % |
3.37/3.41 c | 12579 | 55 139590 1667160 | 2147483647 12579 17 | 0.034 % |
3.37/3.47 c | 12773 | 55 139590 1667160 | 2147483647 12773 17 | 0.034 % |
3.47/3.52 c | 12985 | 55 139590 1667160 | 2147483647 12985 17 | 0.034 % |
3.47/3.58 c | 13218 | 55 139590 1667160 | 2147483647 13218 17 | 0.034 % |
3.57/3.65 c | 13475 | 55 139590 1667160 | 2147483647 13475 17 | 0.034 % |
3.67/3.71 c | 13757 | 55 139590 1667160 | 2147483647 13757 17 | 0.034 % |
3.67/3.79 c | 14066 | 55 139590 1667160 | 2147483647 14066 17 | 0.034 % |
3.77/3.82 c | 14166 | 55 139590 1667160 | 2147483647 14166 17 | 0.034 % |
3.77/3.84 c | 14276 | 55 139590 1667160 | 2147483647 14276 17 | 0.034 % |
3.77/3.87 c | 14397 | 55 139590 1667160 | 2147483647 14397 17 | 0.034 % |
3.87/3.91 c | 14530 | 55 139590 1667160 | 2147483647 14530 17 | 0.034 % |
3.87/3.96 c | 14678 | 55 139590 1667160 | 2147483647 14678 17 | 0.034 % |
3.87/4.00 c | 14840 | 55 139590 1667160 | 2147483647 14840 17 | 0.034 % |
3.97/4.06 c | 15016 | 55 139590 1667160 | 2147483647 15016 17 | 0.034 % |
4.07/4.11 c | 15210 | 55 139590 1667160 | 2147483647 15210 17 | 0.034 % |
4.07/4.17 c | 15422 | 55 139590 1667160 | 2147483647 15422 17 | 0.034 % |
4.17/4.23 c | 15655 | 55 139590 1667160 | 2147483647 15655 17 | 0.034 % |
4.27/4.31 c | 15911 | 55 139590 1667160 | 2147483647 15911 17 | 0.034 % |
4.47/4.51 c | 16192 | 55 139590 1667160 | 2147483647 16192 17 | 0.034 % |
4.67/4.75 c | 16502 | 55 139590 1667160 | 2147483647 16502 17 | 0.034 % |
4.87/4.90 c | 16841 | 55 139590 1667160 | 2147483647 16841 17 | 0.034 % |
4.87/4.94 c | 16941 | 55 139590 1667160 | 2147483647 16941 17 | 0.034 % |
4.87/4.97 c | 17051 | 55 139590 1667160 | 2147483647 17051 17 | 0.034 % |
4.97/5.01 c | 17172 | 55 139590 1667160 | 2147483647 17172 17 | 0.034 % |
4.97/5.06 c | 17305 | 55 139590 1667160 | 2147483647 17305 17 | 0.034 % |
5.07/5.13 c | 17453 | 55 139590 1667160 | 2147483647 17453 17 | 0.034 % |
5.07/5.18 c | 17616 | 55 139590 1667160 | 2147483647 17616 17 | 0.034 % |
5.17/5.29 c | 17792 | 55 139590 1667160 | 2147483647 17792 17 | 0.034 % |
5.27/5.35 c | 17986 | 55 139590 1667160 | 2147483647 17986 17 | 0.034 % |
5.37/5.43 c | 18199 | 55 139590 1667160 | 2147483647 18199 17 | 0.034 % |
5.47/5.51 c | 18432 | 55 139590 1667160 | 2147483647 18432 17 | 0.034 % |
5.57/5.60 c | 18688 | 55 139590 1667160 | 2147483647 18688 17 | 0.034 % |
5.67/5.70 c | 18971 | 55 139590 1667160 | 2147483647 18971 17 | 0.034 % |
5.77/5.82 c | 19282 | 55 139590 1667160 | 2147483647 19282 17 | 0.034 % |
5.87/5.93 c | 19621 | 55 139590 1667160 | 2147483647 19621 17 | 0.034 % |
5.97/6.05 c | 19995 | 55 139590 1667160 | 2147483647 19995 17 | 0.034 % |
5.97/6.08 c | 20096 | 55 139590 1667160 | 2147483647 20096 17 | 0.034 % |
6.07/6.12 c | 20207 | 55 139590 1667160 | 2147483647 20207 17 | 0.034 % |
6.17/6.23 c | 20328 | 55 139590 1667160 | 2147483647 20328 17 | 0.034 % |
6.17/6.27 c | 20462 | 55 139590 1667160 | 2147483647 20462 17 | 0.034 % |
6.27/6.32 c | 20609 | 55 139590 1667160 | 2147483647 20609 17 | 0.034 % |
6.37/6.40 c | 20769 | 55 139590 1667160 | 2147483647 20769 17 | 0.034 % |
6.37/6.48 c | 20946 | 55 139590 1667160 | 2147483647 20946 17 | 0.034 % |
6.47/6.56 c | 21140 | 55 139590 1667160 | 2147483647 21140 17 | 0.034 % |
6.67/6.71 c | 21354 | 55 139590 1667160 | 2147483647 21354 17 | 0.034 % |
6.67/6.79 c | 21588 | 55 139590 1667160 | 2147483647 21588 17 | 0.034 % |
6.87/6.90 c | 21844 | 55 139590 1667160 | 2147483647 21844 17 | 0.034 % |
6.97/7.04 c | 22126 | 55 139590 1667160 | 2147483647 22126 17 | 0.034 % |
7.07/7.19 c | 22437 | 55 139590 1667160 | 2147483647 22437 17 | 0.034 % |
7.26/7.32 c | 22776 | 55 139590 1667160 | 2147483647 22776 17 | 0.034 % |
7.36/7.49 c | 23149 | 55 139590 1667160 | 2147483647 23149 17 | 0.034 % |
7.57/7.66 c | 23562 | 55 139590 1667160 | 2147483647 23562 17 | 0.034 % |
7.67/7.71 c | 23662 | 55 139590 1667160 | 2147483647 23662 17 | 0.034 % |
7.67/7.76 c | 23774 | 55 139590 1667160 | 2147483647 23774 17 | 0.034 % |
7.76/7.85 c | 23896 | 55 139590 1667160 | 2147483647 23896 17 | 0.034 % |
7.86/7.91 c | 24030 | 55 139590 1667160 | 2147483647 24030 17 | 0.034 % |
7.86/7.98 c | 24176 | 55 139590 1667160 | 2147483647 24176 17 | 0.034 % |
7.96/8.03 c | 24337 | 55 139590 1667160 | 2147483647 24337 17 | 0.034 % |
8.06/8.12 c | 24515 | 55 139590 1667160 | 2147483647 24515 17 | 0.034 % |
8.16/8.21 c | 24710 | 55 139590 1667160 | 2147483647 24710 17 | 0.034 % |
8.26/8.34 c | 24922 | 55 139590 1667160 | 2147483647 24922 17 | 0.034 % |
8.36/8.44 c | 25155 | 55 139590 1667160 | 2147483647 25155 17 | 0.034 % |
8.46/8.57 c | 25411 | 55 139590 1667160 | 2147483647 25411 17 | 0.034 % |
8.67/8.73 c | 25692 | 55 139590 1667160 | 2147483647 25692 17 | 0.034 % |
8.77/8.88 c | 26004 | 55 139590 1667160 | 2147483647 26004 17 | 0.034 % |
8.96/9.07 c | 26343 | 55 139590 1667160 | 2147483647 26343 17 | 0.034 % |
9.16/9.23 c | 26715 | 55 139590 1667160 | 2147483647 26715 17 | 0.034 % |
9.36/9.48 c | 27125 | 55 139590 1667160 | 2147483647 27125 17 | 0.034 % |
9.66/9.73 c | 27575 | 55 139590 1667160 | 2147483647 27575 17 | 0.034 % |
9.76/9.80 c | 27677 | 55 139590 1667160 | 2147483647 27677 17 | 0.034 % |
9.76/9.85 c | 27788 | 55 139590 1667160 | 2147483647 27788 17 | 0.034 % |
9.86/9.93 c | 27911 | 55 139590 1667160 | 2147483647 27911 17 | 0.034 % |
9.96/10.00 c | 28044 | 55 139590 1667160 | 2147483647 28044 17 | 0.034 % |
9.96/10.08 c | 28190 | 55 139590 1667160 | 2147483647 28190 17 | 0.034 % |
10.06/10.16 c | 28350 | 55 139590 1667160 | 2147483647 28350 17 | 0.034 % |
10.16/10.25 c | 28526 | 55 139590 1667160 | 2147483647 28526 17 | 0.034 % |
10.26/10.37 c | 28720 | 55 139590 1667160 | 2147483647 28720 17 | 0.034 % |
10.46/10.54 c | 28934 | 55 139590 1667160 | 2147483647 28934 17 | 0.034 % |
10.56/10.69 c | 29169 | 55 139590 1667160 | 2147483647 29169 17 | 0.034 % |
10.86/10.93 c | 29426 | 55 139590 1667160 | 2147483647 29426 17 | 0.034 % |
11.06/11.12 c | 29709 | 55 139590 1667160 | 2147483647 29709 17 | 0.034 % |
11.26/11.32 c | 30018 | 55 139590 1667160 | 2147483647 30018 17 | 0.034 % |
11.46/11.56 c | 30357 | 55 139590 1667160 | 2147483647 30357 17 | 0.034 % |
11.87/11.98 c | 30729 | 55 139590 1667160 | 2147483647 30729 17 | 0.034 % |
12.37/12.49 c | 31140 | 55 139590 1667160 | 2147483647 31140 17 | 0.034 % |
12.67/12.74 c | 31589 | 55 139590 1667160 | 2147483647 31589 17 | 0.034 % |
12.87/12.90 c | 32082 | 55 139590 1667160 | 2147483647 32082 17 | 0.034 % |
12.87/12.95 c | 32182 | 55 139590 1667160 | 2147483647 32182 17 | 0.034 % |
12.87/12.99 c | 32292 | 55 139590 1667160 | 2147483647 32292 17 | 0.034 % |
12.97/13.03 c | 32414 | 55 139590 1667160 | 2147483647 32414 17 | 0.034 % |
13.17/13.22 c | 32547 | 55 139590 1667160 | 2147483647 32547 17 | 0.034 % |
13.27/13.33 c | 32695 | 55 139590 1667160 | 2147483647 32695 17 | 0.034 % |
13.37/13.40 c | 32856 | 55 139590 1667160 | 2147483647 32856 17 | 0.034 % |
13.37/13.45 c | 33033 | 55 139590 1667160 | 2147483647 33033 17 | 0.034 % |
13.47/13.54 c | 33226 | 55 139590 1667160 | 2147483647 33226 17 | 0.034 % |
13.57/13.63 c | 33439 | 55 139590 1667160 | 2147483647 33439 17 | 0.034 % |
13.57/13.70 c | 33672 | 55 139590 1667160 | 2147483647 33672 17 | 0.034 % |
13.67/13.75 c | 33929 | 55 139590 1667160 | 2147483647 33929 17 | 0.034 % |
13.77/13.80 c | 34210 | 55 139590 1667160 | 2147483647 34210 17 | 0.034 % |
13.77/13.86 c | 34520 | 55 139590 1667160 | 2147483647 34520 17 | 0.034 % |
13.87/13.93 c | 34859 | 55 139590 1667160 | 2147483647 34859 17 | 0.034 % |
13.87/13.99 c | 35233 | 55 139590 1667160 | 2147483647 35233 17 | 0.034 % |
13.97/14.07 c | 35643 | 55 139590 1667160 | 2147483647 35643 17 | 0.034 % |
14.07/14.15 c | 36092 | 55 139590 1667160 | 2147483647 36092 17 | 0.034 % |
14.17/14.25 c | 36585 | 55 139590 1667160 | 2147483647 36585 17 | 0.034 % |
14.27/14.40 c | 37128 | 55 139590 1667160 | 2147483647 37128 17 | 0.034 % |
14.37/14.41 c | 37229 | 55 139590 1667160 | 2147483647 37229 17 | 0.034 % |
14.47/14.57 c | 37341 | 55 139590 1667160 | 2147483647 37341 17 | 0.034 % |
14.56/14.67 c | 37462 | 55 139590 1667160 | 2147483647 37462 17 | 0.034 % |
14.66/14.71 c | 37595 | 55 139590 1667160 | 2147483647 37595 17 | 0.034 % |
14.66/14.76 c | 37741 | 55 139590 1667160 | 2147483647 37741 17 | 0.034 % |
14.76/14.81 c | 37903 | 55 139590 1667160 | 2147483647 37903 17 | 0.034 % |
14.76/14.87 c | 38079 | 55 139590 1667160 | 2147483647 38079 17 | 0.034 % |
14.86/14.94 c | 38272 | 55 139590 1667160 | 2147483647 38272 17 | 0.034 % |
14.86/15.00 c | 38484 | 55 139590 1667160 | 2147483647 38484 17 | 0.034 % |
14.96/15.05 c | 38718 | 55 139590 1667160 | 2147483647 38718 17 | 0.034 % |
15.06/15.15 c | 38975 | 55 139590 1667160 | 2147483647 38975 17 | 0.034 % |
15.16/15.21 c | 39256 | 55 139590 1667160 | 2147483647 39256 17 | 0.034 % |
15.27/15.32 c | 39565 | 55 139590 1667160 | 2147483647 39565 17 | 0.034 % |
15.27/15.39 c | 39905 | 55 139590 1667160 | 2147483647 39905 17 | 0.034 % |
15.46/15.51 c | 40277 | 55 139590 1667160 | 2147483647 40277 17 | 0.034 % |
15.56/15.63 c | 40686 | 55 139590 1667160 | 2147483647 40686 17 | 0.034 % |
15.66/15.77 c | 41135 | 55 139590 1667160 | 2147483647 41135 17 | 0.034 % |
15.86/15.92 c | 41629 | 55 139590 1667160 | 2147483647 41629 17 | 0.034 % |
15.96/16.07 c | 42172 | 55 139590 1667160 | 2147483647 42172 17 | 0.034 % |
16.16/16.29 c | 42768 | 55 139590 1667160 | 2147483647 42768 17 | 0.034 % |
16.26/16.32 c | 42869 | 55 139590 1667160 | 2147483647 42869 17 | 0.034 % |
16.26/16.36 c | 42979 | 55 139590 1667160 | 2147483647 42979 17 | 0.034 % |
16.26/16.40 c | 43101 | 55 139590 1667160 | 2147483647 43101 17 | 0.034 % |
16.37/16.45 c | 43234 | 55 139590 1667160 | 2147483647 43234 17 | 0.034 % |
16.37/16.48 c | 43380 | 55 139590 1667160 | 2147483647 43380 17 | 0.034 % |
16.47/16.55 c | 43540 | 55 139590 1667160 | 2147483647 43540 17 | 0.034 % |
16.56/16.61 c | 43716 | 55 139590 1667160 | 2147483647 43716 17 | 0.034 % |
16.56/16.70 c | 43910 | 55 139590 1667160 | 2147483647 43910 17 | 0.034 % |
16.66/16.79 c | 44123 | 55 139590 1667160 | 2147483647 44123 17 | 0.034 % |
16.76/16.89 c | 44357 | 55 139590 1667160 | 2147483647 44357 17 | 0.034 % |
16.86/16.97 c | 44613 | 55 139590 1667160 | 2147483647 44613 17 | 0.034 % |
16.96/17.07 c | 44896 | 55 139590 1667160 | 2147483647 44896 17 | 0.034 % |
17.16/17.22 c | 45207 | 55 139590 1667160 | 2147483647 45207 17 | 0.034 % |
17.26/17.34 c | 45546 | 55 139590 1667160 | 2147483647 45546 17 | 0.034 % |
17.36/17.44 c | 45919 | 55 139590 1667160 | 2147483647 45919 17 | 0.034 % |
17.76/17.90 c | 46329 | 55 139590 1667160 | 2147483647 46329 17 | 0.034 % |
18.16/18.24 c | 46778 | 55 139590 1667160 | 2147483647 46778 17 | 0.034 % |
19.06/19.10 c | 47271 | 55 139590 1667160 | 2147483647 47271 17 | 0.034 % |
19.66/19.71 c | 47813 | 55 139590 1667160 | 2147483647 47813 17 | 0.034 % |
19.86/19.98 c | 48410 | 55 139590 1667160 | 2147483647 48410 17 | 0.034 % |
20.16/20.22 c | 49066 | 55 139590 1667160 | 2147483647 49066 17 | 0.034 % |
20.16/20.28 c | 49167 | 55 139590 1667160 | 2147483647 49167 17 | 0.034 % |
20.26/20.35 c | 49280 | 55 139590 1667160 | 2147483647 49280 17 | 0.034 % |
20.36/20.43 c | 49403 | 55 139590 1667160 | 2147483647 49403 17 | 0.034 % |
20.36/20.48 c | 49536 | 55 139590 1667160 | 2147483647 49536 17 | 0.034 % |
20.46/20.53 c | 49684 | 55 139590 1667160 | 2147483647 49684 17 | 0.034 % |
20.56/20.62 c | 49844 | 55 139590 1667160 | 2147483647 49844 17 | 0.034 % |
20.66/20.71 c | 50020 | 55 139590 1667160 | 2147483647 50020 17 | 0.034 % |
20.66/20.78 c | 50213 | 55 139590 1667160 | 2147483647 50213 17 | 0.034 % |
20.86/20.90 c | 50425 | 55 139590 1667160 | 2147483647 50425 17 | 0.034 % |
20.96/21.02 c | 50658 | 55 139590 1667160 | 2147483647 50658 17 | 0.034 % |
21.06/21.16 c | 50915 | 55 139590 1667160 | 2147483647 50915 17 | 0.034 % |
21.16/21.27 c | 51199 | 55 139590 1667160 | 2147483647 51199 17 | 0.034 % |
21.36/21.42 c | 51508 | 55 139590 1667160 | 2147483647 51508 17 | 0.034 % |
21.46/21.56 c | 51847 | 55 139590 1667160 | 2147483647 51847 17 | 0.034 % |
21.66/21.71 c | 52220 | 55 139590 1667160 | 2147483647 52220 17 | 0.034 % |
21.76/21.86 c | 52629 | 55 139590 1667160 | 2147483647 52629 17 | 0.034 % |
21.96/22.06 c | 53078 | 55 139590 1667160 | 2147483647 53078 17 | 0.034 % |
22.26/22.37 c | 53571 | 55 139590 1667160 | 2147483647 53571 17 | 0.034 % |
22.66/22.75 c | 54114 | 55 139590 1667160 | 2147483647 54114 17 | 0.034 % |
22.96/23.05 c | 54711 | 55 139590 1667160 | 2147483647 54711 17 | 0.034 % |
23.26/23.32 c | 55366 | 55 139590 1667160 | 2147483647 55366 17 | 0.034 % |
23.56/23.66 c | 56088 | 55 139590 1667160 | 2147483647 56088 17 | 0.034 % |
23.66/23.73 c | 56189 | 55 139590 1667160 | 2147483647 56189 17 | 0.034 % |
23.66/23.78 c | 56301 | 55 139590 1667160 | 2147483647 56301 17 | 0.034 % |
23.76/23.84 c | 56423 | 55 139590 1667160 | 2147483647 56423 17 | 0.034 % |
23.86/23.94 c | 56556 | 55 139590 1667160 | 2147483647 56556 17 | 0.034 % |
23.96/24.03 c | 56704 | 55 139590 1667160 | 2147483647 56704 17 | 0.034 % |
24.06/24.11 c | 56864 | 55 139590 1667160 | 2147483647 56864 17 | 0.034 % |
24.06/24.19 c | 57041 | 55 139590 1667160 | 2147483647 57041 17 | 0.034 % |
24.16/24.28 c | 57236 | 55 139590 1667160 | 2147483647 57236 17 | 0.034 % |
24.36/24.44 c | 57449 | 55 139590 1667160 | 2147483647 57449 17 | 0.034 % |
24.56/24.60 c | 57682 | 55 139590 1667160 | 2147483647 57682 17 | 0.034 % |
24.86/24.99 c | 57939 | 55 139590 1667160 | 2147483647 57939 17 | 0.034 % |
25.17/25.23 c | 58220 | 55 139590 1667160 | 2147483647 58220 17 | 0.034 % |
25.36/25.49 c | 58530 | 55 139590 1667160 | 2147483647 58530 17 | 0.034 % |
25.56/25.64 c | 58870 | 55 139590 1667160 | 2147483647 58870 17 | 0.034 % |
25.66/25.76 c | 59244 | 55 139590 1667160 | 2147483647 59244 17 | 0.034 % |
25.76/25.87 c | 59653 | 55 139590 1667160 | 2147483647 59653 17 | 0.034 % |
25.96/26.02 c | 60103 | 55 139590 1667160 | 2147483647 60103 17 | 0.034 % |
26.06/26.18 c | 60597 | 55 139590 1667160 | 2147483647 60597 17 | 0.034 % |
26.27/26.34 c | 61140 | 55 139590 1667160 | 2147483647 61140 17 | 0.034 % |
26.46/26.50 c | 61736 | 55 139590 1667160 | 2147483647 61736 17 | 0.034 % |
26.56/26.67 c | 62391 | 55 139590 1667160 | 2147483647 62391 17 | 0.034 % |
26.76/26.86 c | 63112 | 55 139590 1667160 | 2147483647 63112 17 | 0.034 % |
26.96/27.09 c | 63905 | 55 139590 1667160 | 2147483647 63905 17 | 0.034 % |
27.06/27.11 c | 64006 | 55 139590 1667160 | 2147483647 64006 17 | 0.034 % |
27.06/27.14 c | 64116 | 55 139590 1667160 | 2147483647 64116 17 | 0.034 % |
27.26/27.37 c | 64237 | 55 139590 1667160 | 2147483647 64237 17 | 0.034 % |
27.36/27.44 c | 64370 | 55 139590 1667160 | 2147483647 64370 17 | 0.034 % |
27.36/27.50 c | 64516 | 55 139590 1667160 | 2147483647 64516 17 | 0.034 % |
27.46/27.55 c | 64678 | 55 139590 1667160 | 2147483647 64678 17 | 0.034 % |
27.56/27.61 c | 64854 | 55 139590 1667160 | 2147483647 64854 17 | 0.034 % |
27.66/27.72 c | 65049 | 55 139590 1667160 | 2147483647 65049 17 | 0.034 % |
27.76/27.80 c | 65261 | 55 139590 1667160 | 2147483647 65261 17 | 0.034 % |
27.76/27.86 c | 65494 | 55 139590 1667160 | 2147483647 65494 17 | 0.034 % |
27.86/27.97 c | 65750 | 55 139590 1667160 | 2147483647 65750 17 | 0.034 % |
27.96/28.04 c | 66031 | 55 139590 1667160 | 2147483647 66031 17 | 0.034 % |
28.06/28.14 c | 66340 | 55 139590 1667160 | 2147483647 66340 17 | 0.034 % |
28.16/28.22 c | 66679 | 55 139590 1667160 | 2147483647 66679 17 | 0.034 % |
28.26/28.34 c | 67051 | 55 139590 1667160 | 2147483647 67051 17 | 0.034 % |
28.46/28.54 c | 67460 | 55 139590 1667160 | 2147483647 67460 17 | 0.034 % |
28.76/28.87 c | 67912 | 55 139590 1667160 | 2147483647 67912 17 | 0.034 % |
29.06/29.19 c | 68405 | 55 139590 1667160 | 2147483647 68405 17 | 0.034 % |
29.26/29.32 c | 68948 | 55 139590 1667160 | 2147483647 68948 17 | 0.034 % |
29.46/29.52 c | 69547 | 55 139590 1667160 | 2147483647 69547 17 | 0.034 % |
29.76/29.83 c | 70202 | 55 139590 1667160 | 2147483647 70202 17 | 0.034 % |
29.96/30.07 c | 70922 | 55 139590 1667160 | 2147483647 70922 17 | 0.034 % |
30.26/30.33 c | 71715 | 55 139590 1667160 | 2147483647 71715 17 | 0.034 % |
30.46/30.57 c | 72588 | 55 139590 1667160 | 2147483647 72588 17 | 0.034 % |
30.56/30.64 c | 72688 | 55 139590 1667160 | 2147483647 72688 17 | 0.034 % |
30.56/30.68 c | 72798 | 55 139590 1667160 | 2147483647 72798 17 | 0.034 % |
30.66/30.78 c | 72920 | 55 139590 1667160 | 2147483647 72920 17 | 0.034 % |
30.76/30.82 c | 73054 | 55 139590 1667160 | 2147483647 73054 17 | 0.034 % |
30.76/30.87 c | 73200 | 55 139590 1667160 | 2147483647 73200 17 | 0.034 % |
30.96/31.02 c | 73361 | 55 139590 1667160 | 2147483647 73361 17 | 0.034 % |
31.06/31.13 c | 73539 | 55 139590 1667160 | 2147483647 73539 17 | 0.034 % |
31.16/31.23 c | 73732 | 55 139590 1667160 | 2147483647 73732 17 | 0.034 % |
31.26/31.30 c | 73944 | 55 139590 1667160 | 2147483647 73944 17 | 0.034 % |
31.26/31.39 c | 74179 | 55 139590 1667160 | 2147483647 74179 17 | 0.034 % |
31.36/31.48 c | 74435 | 55 139590 1667160 | 2147483647 74435 17 | 0.034 % |
31.46/31.59 c | 74717 | 55 139590 1667160 | 2147483647 74717 17 | 0.034 % |
31.66/31.71 c | 75027 | 55 139590 1667160 | 2147483647 75027 17 | 0.034 % |
31.76/31.87 c | 75366 | 55 139590 1667160 | 2147483647 75366 17 | 0.034 % |
31.96/32.04 c | 75739 | 55 139590 1667160 | 2147483647 75739 17 | 0.034 % |
32.16/32.21 c | 76149 | 55 139590 1667160 | 2147483647 76149 17 | 0.034 % |
32.36/32.41 c | 76600 | 55 139590 1667160 | 2147483647 76600 17 | 0.034 % |
32.56/32.68 c | 77094 | 55 139590 1667160 | 2147483647 77094 17 | 0.034 % |
32.86/32.95 c | 77638 | 55 139590 1667160 | 2147483647 77638 17 | 0.034 % |
33.16/33.28 c | 78234 | 55 139590 1667160 | 2147483647 78234 17 | 0.034 % |
33.66/33.72 c | 78890 | 55 139590 1667160 | 2147483647 78890 17 | 0.034 % |
34.06/34.17 c | 79611 | 55 139590 1667160 | 2147483647 79611 17 | 0.034 % |
34.55/34.60 c | 80403 | 55 139590 1667160 | 2147483647 80403 17 | 0.034 % |
34.95/35.07 c | 81279 | 55 139590 1667160 | 2147483647 81279 17 | 0.034 % |
35.65/35.76 c | 82239 | 55 139590 1667160 | 2147483647 82239 17 | 0.034 % |
35.75/35.82 c | 82339 | 55 139590 1667160 | 2147483647 82339 17 | 0.034 % |
35.75/35.89 c | 82450 | 55 139590 1667160 | 2147483647 82450 17 | 0.034 % |
35.85/35.97 c | 82572 | 55 139590 1667160 | 2147483647 82572 17 | 0.034 % |
35.95/36.05 c | 82705 | 55 139590 1667160 | 2147483647 82705 17 | 0.034 % |
36.05/36.15 c | 82852 | 55 139590 1667160 | 2147483647 82852 17 | 0.034 % |
36.35/36.40 c | 83012 | 55 139590 1667160 | 2147483647 83012 17 | 0.034 % |
36.55/36.65 c | 83188 | 55 139590 1667160 | 2147483647 83188 17 | 0.034 % |
36.75/36.85 c | 83381 | 55 139590 1667160 | 2147483647 83381 17 | 0.034 % |
37.05/37.10 c | 83594 | 55 139590 1667160 | 2147483647 83594 17 | 0.034 % |
37.36/37.42 c | 83828 | 55 139590 1667160 | 2147483647 83828 17 | 0.034 % |
37.65/37.73 c | 84087 | 55 139590 1667160 | 2147483647 84087 17 | 0.034 % |
38.05/38.12 c | 84368 | 55 139590 1667160 | 2147483647 84368 17 | 0.034 % |
38.15/38.29 c | 84678 | 55 139590 1667160 | 2147483647 84678 17 | 0.034 % |
38.36/38.47 c | 85019 | 55 139590 1667160 | 2147483647 85019 17 | 0.034 % |
38.65/38.72 c | 85391 | 55 139590 1667160 | 2147483647 85391 17 | 0.034 % |
38.85/38.99 c | 85802 | 55 139590 1667160 | 2147483647 85802 17 | 0.034 % |
39.15/39.30 c | 86251 | 55 139590 1667160 | 2147483647 86251 17 | 0.034 % |
39.56/39.65 c | 86746 | 55 139590 1667160 | 2147483647 86746 17 | 0.034 % |
39.85/39.96 c | 87289 | 55 139590 1667160 | 2147483647 87289 17 | 0.034 % |
40.25/40.34 c | 87886 | 55 139590 1667160 | 2147483647 87886 17 | 0.034 % |
40.65/40.79 c | 88541 | 55 139590 1667160 | 2147483647 88541 17 | 0.034 % |
41.26/41.33 c | 89261 | 55 139590 1667160 | 2147483647 89261 17 | 0.034 % |
41.76/41.88 c | 90053 | 55 139590 1667160 | 2147483647 90053 17 | 0.034 % |
42.56/42.60 c | 90925 | 55 139590 1667160 | 2147483647 90925 17 | 0.034 % |
43.36/43.40 c | 91883 | 55 139590 1667160 | 2147483647 91883 17 | 0.034 % |
44.06/44.13 c | 92936 | 55 139590 1667160 | 2147483647 92936 17 | 0.034 % |
44.16/44.21 c | 93036 | 55 139590 1667160 | 2147483647 93036 17 | 0.034 % |
44.26/44.31 c | 93146 | 55 139590 1667160 | 2147483647 93146 17 | 0.034 % |
44.36/44.42 c | 93268 | 55 139590 1667160 | 2147483647 93268 17 | 0.034 % |
44.46/44.53 c | 93403 | 55 139590 1667160 | 2147483647 93403 17 | 0.034 % |
44.56/44.64 c | 93549 | 55 139590 1667160 | 2147483647 93549 17 | 0.034 % |
44.76/44.81 c | 93709 | 55 139590 1667160 | 2147483647 93709 17 | 0.034 % |
44.86/44.95 c | 93886 | 55 139590 1667160 | 2147483647 93886 17 | 0.034 % |
44.96/45.10 c | 94079 | 55 139590 1667160 | 2147483647 94079 17 | 0.034 % |
45.16/45.26 c | 94294 | 55 139590 1667160 | 2147483647 94294 17 | 0.034 % |
45.36/45.49 c | 94529 | 55 139590 1667160 | 2147483647 94529 17 | 0.034 % |
45.56/45.68 c | 94786 | 55 139590 1667160 | 2147483647 94786 17 | 0.034 % |
46.16/46.24 c | 95067 | 55 139590 1667160 | 2147483647 95067 17 | 0.034 % |
46.46/46.57 c | 95377 | 55 139590 1667160 | 2147483647 95377 17 | 0.034 % |
46.76/46.82 c | 95716 | 55 139590 1667160 | 2147483647 95716 17 | 0.034 % |
47.86/47.96 c | 96088 | 55 139590 1667160 | 2147483647 96088 17 | 0.034 % |
48.95/49.08 c | 96497 | 55 139590 1667160 | 2147483647 96497 17 | 0.034 % |
50.05/50.14 c | 96946 | 55 139590 1667160 | 2147483647 96946 17 | 0.034 % |
51.35/51.48 c | 97439 | 55 139590 1667160 | 2147483647 97439 17 | 0.034 % |
52.85/52.94 c | 97981 | 55 139590 1667160 | 2147483647 97981 17 | 0.034 % |
54.25/54.30 c | 98577 | 55 139590 1667160 | 2147483647 98577 17 | 0.034 % |
55.05/55.13 c | 99232 | 55 139590 1667160 | 2147483647 99232 17 | 0.034 % |
55.75/55.89 c | 99952 | 55 139590 1667160 | 2147483647 99952 17 | 0.034 % |
56.65/56.71 c | 100745 | 55 139590 1667160 | 2147483647 100745 17 | 0.034 % |
57.55/57.65 c | 101618 | 55 139590 1667160 | 2147483647 101618 17 | 0.034 % |
58.45/58.52 c | 102578 | 55 139590 1667160 | 2147483647 102578 17 | 0.034 % |
59.65/59.74 c | 103631 | 55 139590 1667160 | 2147483647 103631 17 | 0.034 % |
60.85/60.93 c | 104790 | 55 139590 1667160 | 2147483647 104790 17 | 0.034 % |
60.95/61.00 c | 104890 | 55 139590 1667160 | 2147483647 104890 17 | 0.034 % |
61.05/61.11 c | 105000 | 55 139590 1667160 | 2147483647 105000 17 | 0.034 % |
61.15/61.24 c | 105121 | 55 139590 1667160 | 2147483647 105121 17 | 0.034 % |
61.25/61.35 c | 105255 | 55 139590 1667160 | 2147483647 105255 17 | 0.034 % |
61.35/61.50 c | 105402 | 55 139590 1667160 | 2147483647 105402 17 | 0.034 % |
61.55/61.68 c | 105562 | 55 139590 1667160 | 2147483647 105562 17 | 0.034 % |
61.85/61.90 c | 105739 | 55 139590 1667160 | 2147483647 105739 17 | 0.034 % |
62.05/62.15 c | 105932 | 55 139590 1667160 | 2147483647 105932 17 | 0.034 % |
62.25/62.33 c | 106144 | 55 139590 1667160 | 2147483647 106144 17 | 0.034 % |
62.55/62.62 c | 106377 | 55 139590 1667160 | 2147483647 106377 17 | 0.034 % |
62.85/62.91 c | 106635 | 55 139590 1667160 | 2147483647 106635 17 | 0.034 % |
63.35/63.45 c | 106918 | 55 139590 1667160 | 2147483647 106918 17 | 0.034 % |
63.75/63.83 c | 107227 | 55 139590 1667160 | 2147483647 107227 17 | 0.034 % |
64.15/64.21 c | 107566 | 55 139590 1667160 | 2147483647 107566 17 | 0.034 % |
64.65/64.72 c | 107940 | 55 139590 1667160 | 2147483647 107940 17 | 0.034 % |
65.05/65.19 c | 108350 | 55 139590 1667160 | 2147483647 108350 17 | 0.034 % |
65.55/65.66 c | 108799 | 55 139590 1667160 | 2147483647 108799 17 | 0.034 % |
66.05/66.15 c | 109292 | 55 139590 1667160 | 2147483647 109292 17 | 0.034 % |
66.74/66.82 c | 109834 | 55 139590 1667160 | 2147483647 109834 17 | 0.034 % |
68.34/68.45 c | 110431 | 55 139590 1667160 | 110004 97997 17 | 0.034 % |
69.25/69.31 c | 111087 | 55 139590 1667160 | 110004 98653 17 | 0.034 % |
70.14/70.23 c | 111807 | 55 139590 1667160 | 110004 99373 17 | 0.034 % |
71.04/71.18 c | 112600 | 55 139590 1667160 | 110004 100166 17 | 0.034 % |
71.94/72.07 c | 113471 | 55 139590 1667160 | 110004 101037 17 | 0.034 % |
73.24/73.30 c | 114429 | 55 139590 1667160 | 110004 101995 17 | 0.034 % |
74.54/74.69 c | 115483 | 55 139590 1667160 | 110004 103049 17 | 0.034 % |
75.85/75.93 c | 116643 | 55 139590 1667160 | 110004 104209 17 | 0.034 % |
77.34/77.42 c | 117916 | 55 139590 1667160 | 110004 105482 17 | 0.034 % |
77.44/77.54 c | 118017 | 55 139590 1667160 | 110004 105583 17 | 0.034 % |
77.54/77.69 c | 118129 | 55 139590 1667160 | 110004 105695 17 | 0.034 % |
77.74/77.86 c | 118252 | 55 139590 1667160 | 110004 105818 17 | 0.034 % |
77.94/78.08 c | 118385 | 55 139590 1667160 | 110004 105951 17 | 0.034 % |
78.24/78.30 c | 118531 | 55 139590 1667160 | 110004 106097 17 | 0.034 % |
78.44/78.52 c | 118691 | 55 139590 1667160 | 110004 106257 17 | 0.034 % |
78.64/78.75 c | 118867 | 55 139590 1667160 | 110004 106433 17 | 0.034 % |
78.94/79.03 c | 119060 | 55 139590 1667160 | 110004 106626 17 | 0.034 % |
79.34/79.44 c | 119272 | 55 139590 1667160 | 110004 106838 17 | 0.034 % |
79.64/79.72 c | 119505 | 55 139590 1667160 | 110004 107071 17 | 0.034 % |
80.04/80.13 c | 119762 | 55 139590 1667160 | 110004 107328 17 | 0.034 % |
81.74/81.87 c | 120043 | 55 139590 1667160 | 107568 90757 17 | 0.034 % |
82.24/82.33 c | 120352 | 55 139590 1667160 | 107568 91066 17 | 0.034 % |
82.64/82.77 c | 120692 | 55 139590 1667160 | 107568 91406 17 | 0.034 % |
83.14/83.22 c | 121064 | 55 139590 1667160 | 107568 91778 17 | 0.034 % |
83.64/83.77 c | 121473 | 55 139590 1667160 | 107568 92187 17 | 0.034 % |
84.14/84.29 c | 121926 | 55 139590 1667160 | 107568 92640 17 | 0.034 % |
84.94/85.04 c | 122419 | 55 139590 1667160 | 107568 93133 17 | 0.034 % |
85.74/85.83 c | 122962 | 55 139590 1667160 | 107568 93676 17 | 0.034 % |
86.54/86.68 c | 123558 | 55 139590 1667160 | 107568 94272 17 | 0.034 % |
87.53/87.64 c | 124214 | 55 139590 1667160 | 107568 94928 17 | 0.034 % |
88.53/88.69 c | 124934 | 55 139590 1667160 | 107568 95648 17 | 0.034 % |
89.83/89.93 c | 125727 | 55 139590 1667160 | 107568 96441 17 | 0.034 % |
91.14/91.26 c | 126599 | 55 139590 1667160 | 107568 97313 17 | 0.034 % |
92.53/92.67 c | 127557 | 55 139590 1667160 | 107568 98271 17 | 0.034 % |
94.23/94.35 c | 128610 | 55 139590 1667160 | 107568 99324 17 | 0.034 % |
96.03/96.15 c | 129768 | 55 139590 1667160 | 107568 100482 17 | 0.034 % |
99.43/99.53 c | 131044 | 55 139590 1667160 | 100715 80652 17 | 0.034 % |
101.73/101.83 c | 132444 | 55 139590 1667160 | 100715 82052 17 | 0.034 % |
101.83/101.97 c | 132544 | 55 139590 1667160 | 100715 82152 17 | 0.034 % |
102.03/102.18 c | 132655 | 55 139590 1667160 | 100715 82263 17 | 0.034 % |
102.23/102.37 c | 132776 | 55 139590 1667160 | 100715 82384 17 | 0.034 % |
102.43/102.60 c | 132910 | 55 139590 1667160 | 100715 82518 17 | 0.034 % |
102.73/102.88 c | 133056 | 55 139590 1667160 | 100715 82664 17 | 0.034 % |
103.13/103.25 c | 133216 | 55 139590 1667160 | 100715 82824 17 | 0.034 % |
103.43/103.55 c | 133392 | 55 139590 1667160 | 100715 83000 17 | 0.034 % |
103.73/103.89 c | 133586 | 55 139590 1667160 | 100715 83194 17 | 0.034 % |
104.23/104.34 c | 133800 | 55 139590 1667160 | 100715 83408 17 | 0.034 % |
104.73/104.80 c | 134033 | 55 139590 1667160 | 100715 83641 17 | 0.034 % |
105.13/105.24 c | 134290 | 55 139590 1667160 | 100715 83898 17 | 0.034 % |
105.63/105.71 c | 134571 | 55 139590 1667160 | 100715 84179 17 | 0.034 % |
106.13/106.24 c | 134881 | 55 139590 1667160 | 100715 84489 17 | 0.034 % |
106.83/106.90 c | 135220 | 55 139590 1667160 | 100715 84828 17 | 0.034 % |
107.43/107.51 c | 135593 | 55 139590 1667160 | 100715 85201 17 | 0.034 % |
108.13/108.25 c | 136004 | 55 139590 1667160 | 100715 85612 17 | 0.034 % |
109.03/109.10 c | 136454 | 55 139590 1667160 | 100715 86062 17 | 0.034 % |
109.83/109.97 c | 136948 | 55 139590 1667160 | 100715 86556 17 | 0.034 % |
110.73/110.85 c | 137491 | 55 139590 1667160 | 100715 87099 17 | 0.034 % |
111.93/112.10 c | 138088 | 55 139590 1667160 | 100715 87696 17 | 0.034 % |
113.13/113.26 c | 138745 | 55 139590 1667160 | 100715 88353 17 | 0.034 % |
114.33/114.45 c | 139465 | 55 139590 1667160 | 100715 89073 17 | 0.034 % |
116.43/116.54 c | 140258 | 55 139590 1667160 | 89609 67342 17 | 0.034 % |
117.53/117.68 c | 141129 | 55 139590 1667160 | 89609 68213 17 | 0.034 % |
118.82/118.94 c | 142088 | 55 139590 1667160 | 89609 69172 17 | 0.034 % |
120.62/120.72 c | 143141 | 55 139590 1667160 | 89609 70225 17 | 0.034 % |
122.32/122.42 c | 144300 | 55 139590 1667160 | 89609 71384 17 | 0.034 % |
124.23/124.36 c | 145574 | 55 139590 1667160 | 89609 72658 17 | 0.034 % |
126.43/126.59 c | 146978 | 55 139590 1667160 | 89609 74062 17 | 0.034 % |
128.73/128.86 c | 148518 | 55 139590 1667160 | 89609 75602 17 | 0.034 % |
128.93/129.07 c | 148619 | 55 139590 1667160 | 89609 75703 17 | 0.034 % |
129.13/129.23 c | 148729 | 55 139590 1667160 | 89609 75813 17 | 0.034 % |
129.23/129.39 c | 148851 | 55 139590 1667160 | 89609 75935 17 | 0.034 % |
129.43/129.57 c | 148985 | 55 139590 1667160 | 89609 76069 17 | 0.034 % |
129.73/129.85 c | 149133 | 55 139590 1667160 | 89609 76217 17 | 0.034 % |
129.93/130.08 c | 149293 | 55 139590 1667160 | 89609 76377 17 | 0.034 % |
130.23/130.38 c | 149470 | 55 139590 1667160 | 89609 76554 17 | 0.034 % |
130.63/130.71 c | 149666 | 55 139590 1667160 | 89609 76750 17 | 0.034 % |
130.93/131.08 c | 149878 | 55 139590 1667160 | 89609 76962 17 | 0.034 % |
131.83/131.94 c | 150111 | 55 139590 1667160 | 77085 59305 17 | 0.034 % |
132.13/132.27 c | 150368 | 55 139590 1667160 | 77085 59562 17 | 0.034 % |
132.52/132.63 c | 150649 | 55 139590 1667160 | 77085 59843 17 | 0.034 % |
132.93/133.04 c | 150960 | 55 139590 1667160 | 77085 60154 17 | 0.034 % |
133.42/133.52 c | 151300 | 55 139590 1667160 | 77085 60494 17 | 0.034 % |
133.82/133.97 c | 151673 | 55 139590 1667160 | 77085 60867 17 | 0.034 % |
134.32/134.45 c | 152084 | 55 139590 1667160 | 77085 61278 17 | 0.034 % |
135.02/135.11 c | 152533 | 55 139590 1667160 | 77085 61727 17 | 0.034 % |
135.62/135.74 c | 153027 | 55 139590 1667160 | 77085 62221 17 | 0.034 % |
136.33/136.49 c | 153569 | 55 139590 1667160 | 77085 62763 17 | 0.034 % |
137.22/137.38 c | 154165 | 55 139590 1667160 | 77085 63359 17 | 0.034 % |
138.32/138.44 c | 154821 | 55 139590 1667160 | 77085 64015 17 | 0.034 % |
139.42/139.55 c | 155541 | 55 139590 1667160 | 77085 64735 17 | 0.034 % |
140.82/140.95 c | 156333 | 55 139590 1667160 | 77085 65527 17 | 0.034 % |
141.92/142.05 c | 157204 | 55 139590 1667160 | 77085 66398 17 | 0.034 % |
143.02/143.14 c | 158162 | 55 139590 1667160 | 77085 67356 17 | 0.034 % |
144.62/144.72 c | 159216 | 55 139590 1667160 | 77085 68410 17 | 0.034 % |
146.22/146.39 c | 160374 | 55 139590 1667160 | 69195 55616 16 | 0.034 % |
147.72/147.89 c | 161647 | 55 139590 1667160 | 69195 56889 16 | 0.034 % |
149.32/149.49 c | 163047 | 55 139590 1667160 | 69195 58289 16 | 0.034 % |
151.32/151.44 c | 164587 | 55 139590 1667160 | 69195 59829 16 | 0.034 % |
153.51/153.60 c | 166281 | 55 139590 1667160 | 69195 61523 16 | 0.034 % |
153.61/153.73 c | 166381 | 55 139590 1667160 | 69195 61623 16 | 0.034 % |
153.82/153.95 c | 166492 | 55 139590 1667160 | 69195 61734 16 | 0.034 % |
154.01/154.15 c | 166614 | 55 139590 1667160 | 69195 61856 16 | 0.034 % |
154.21/154.35 c | 166749 | 55 139590 1667160 | 69195 61991 16 | 0.034 % |
154.41/154.55 c | 166895 | 55 139590 1667160 | 69195 62137 16 | 0.034 % |
154.61/154.79 c | 167057 | 55 139590 1667160 | 69195 62299 16 | 0.034 % |
154.92/155.04 c | 167233 | 55 139590 1667160 | 69195 62475 16 | 0.034 % |
155.11/155.26 c | 167426 | 55 139590 1667160 | 69195 62668 16 | 0.034 % |
155.41/155.58 c | 167638 | 55 139590 1667160 | 69195 62880 16 | 0.034 % |
155.71/155.82 c | 167871 | 55 139590 1667160 | 69195 63113 16 | 0.034 % |
156.12/156.22 c | 168129 | 55 139590 1667160 | 69195 63371 16 | 0.034 % |
156.31/156.45 c | 168413 | 55 139590 1667160 | 69195 63655 16 | 0.034 % |
156.51/156.65 c | 168723 | 55 139590 1667160 | 69195 63965 16 | 0.034 % |
156.71/156.84 c | 169062 | 55 139590 1667160 | 69195 64304 16 | 0.034 % |
156.91/157.05 c | 169435 | 55 139590 1667160 | 69195 64677 16 | 0.034 % |
157.12/157.27 c | 169844 | 55 139590 1667160 | 69195 65086 16 | 0.034 % |
157.91/158.02 c | 170294 | 55 139590 1667160 | 65243 55656 16 | 0.034 % |
158.11/158.22 c | 170788 | 55 139590 1667160 | 65243 56150 16 | 0.034 % |
158.32/158.42 c | 171331 | 55 139590 1667160 | 65243 56693 16 | 0.034 % |
158.51/158.62 c | 171928 | 55 139590 1667160 | 65243 57290 16 | 0.034 % |
158.71/158.88 c | 172585 | 55 139590 1667160 | 65243 57947 16 | 0.034 % |
159.01/159.19 c | 173305 | 55 139590 1667160 | 65243 58667 16 | 0.034 % |
159.32/159.46 c | 174099 | 55 139590 1667160 | 65243 59461 16 | 0.034 % |
159.71/159.84 c | 174972 | 55 139590 1667160 | 65243 60334 16 | 0.034 % |
160.01/160.19 c | 175930 | 55 139590 1667160 | 65243 61292 16 | 0.034 % |
160.51/160.63 c | 176983 | 55 139590 1667160 | 65243 62345 16 | 0.034 % |
160.81/160.92 c | 178141 | 55 139590 1667160 | 65243 63503 16 | 0.034 % |
161.21/161.30 c | 179415 | 55 139590 1667160 | 65243 64777 16 | 0.034 % |
162.01/162.16 c | 180815 | 55 139590 1667160 | 2147483647 59651 16 | 0.034 % |
162.61/162.73 c | 182356 | 55 139590 1667160 | 2147483647 61192 16 | 0.034 % |
163.71/163.81 c | 184051 | 55 139590 1667160 | 2147483647 62887 16 | 0.034 % |
164.71/164.86 c | 185915 | 55 139590 1667160 | 2147483647 64751 16 | 0.034 % |
164.81/164.94 c | 186015 | 55 139590 1667160 | 2147483647 64851 16 | 0.034 % |
164.91/165.01 c | 186125 | 55 139590 1667160 | 2147483647 64961 16 | 0.034 % |
164.91/165.07 c | 186247 | 55 139590 1667160 | 2147483647 65083 16 | 0.034 % |
165.01/165.14 c | 186382 | 55 139590 1667160 | 2147483647 65218 16 | 0.034 % |
165.11/165.23 c | 186528 | 55 139590 1667160 | 2147483647 65364 16 | 0.034 % |
165.21/165.34 c | 186689 | 55 139590 1667160 | 2147483647 65525 16 | 0.034 % |
165.31/165.46 c | 186866 | 55 139590 1667160 | 2147483647 65702 16 | 0.034 % |
165.41/165.55 c | 187059 | 55 139590 1667160 | 2147483647 65895 16 | 0.034 % |
165.51/165.66 c | 187273 | 55 139590 1667160 | 2147483647 66109 16 | 0.034 % |
165.61/165.77 c | 187507 | 55 139590 1667160 | 2147483647 66343 16 | 0.034 % |
165.81/165.91 c | 187764 | 55 139590 1667160 | 2147483647 66600 16 | 0.034 % |
165.91/166.02 c | 188046 | 55 139590 1667160 | 2147483647 66882 16 | 0.034 % |
166.11/166.20 c | 188358 | 55 139590 1667160 | 2147483647 67194 16 | 0.034 % |
166.31/166.48 c | 188698 | 55 139590 1667160 | 2147483647 67534 16 | 0.034 % |
166.51/166.70 c | 189070 | 55 139590 1667160 | 2147483647 67906 16 | 0.034 % |
166.81/166.94 c | 189479 | 55 139590 1667160 | 2147483647 68315 16 | 0.034 % |
167.11/167.27 c | 189928 | 55 139590 1667160 | 2147483647 68764 16 | 0.034 % |
167.41/167.50 c | 190424 | 55 139590 1667160 | 2147483647 69260 16 | 0.034 % |
167.81/167.92 c | 190966 | 55 139590 1667160 | 2147483647 69802 16 | 0.034 % |
168.11/168.27 c | 191562 | 55 139590 1667160 | 2147483647 70398 16 | 0.034 % |
168.61/168.74 c | 192217 | 55 139590 1667160 | 2147483647 71053 16 | 0.034 % |
169.01/169.17 c | 192937 | 55 139590 1667160 | 2147483647 71773 16 | 0.034 % |
169.81/169.92 c | 193730 | 55 139590 1667160 | 2147483647 72566 16 | 0.034 % |
170.31/170.47 c | 194601 | 55 139590 1667160 | 2147483647 73437 16 | 0.034 % |
171.01/171.16 c | 195559 | 55 139590 1667160 | 2147483647 74395 16 | 0.034 % |
171.91/172.03 c | 196613 | 55 139590 1667160 | 2147483647 75449 16 | 0.034 % |
172.71/172.86 c | 197772 | 55 139590 1667160 | 2147483647 76608 16 | 0.034 % |
173.71/173.82 c | 199046 | 55 139590 1667160 | 2147483647 77882 16 | 0.034 % |
174.81/174.94 c | 200446 | 55 139590 1667160 | 2147483647 79282 16 | 0.034 % |
175.91/176.07 c | 201986 | 55 139590 1667160 | 2147483647 80822 16 | 0.034 % |
177.21/177.33 c | 203680 | 55 139590 1667160 | 2147483647 82516 16 | 0.034 % |
179.30/179.49 c | 205543 | 55 139590 1667160 | 2147483647 84379 16 | 0.034 % |
181.20/181.31 c | 207592 | 55 139590 1667160 | 2147483647 86428 16 | 0.034 % |
181.31/181.40 c | 207692 | 55 139590 1667160 | 2147483647 86528 16 | 0.034 % |
181.41/181.52 c | 207802 | 55 139590 1667160 | 2147483647 86638 16 | 0.034 % |
181.50/181.66 c | 207925 | 55 139590 1667160 | 2147483647 86761 16 | 0.034 % |
181.60/181.77 c | 208059 | 55 139590 1667160 | 2147483647 86895 16 | 0.034 % |
181.80/181.93 c | 208205 | 55 139590 1667160 | 2147483647 87041 16 | 0.034 % |
181.90/182.06 c | 208367 | 55 139590 1667160 | 2147483647 87203 16 | 0.034 % |
182.10/182.24 c | 208543 | 55 139590 1667160 | 2147483647 87379 16 | 0.034 % |
182.30/182.46 c | 208739 | 55 139590 1667160 | 2147483647 87575 16 | 0.034 % |
182.51/182.68 c | 208952 | 55 139590 1667160 | 2147483647 87788 16 | 0.034 % |
182.80/182.92 c | 209186 | 55 139590 1667160 | 2147483647 88022 16 | 0.034 % |
183.10/183.24 c | 209442 | 55 139590 1667160 | 2147483647 88278 16 | 0.034 % |
183.40/183.55 c | 209723 | 55 139590 1667160 | 2147483647 88559 16 | 0.034 % |
183.70/183.83 c | 210032 | 55 139590 1667160 | 2147483647 88868 16 | 0.034 % |
184.10/184.20 c | 210372 | 55 139590 1667160 | 2147483647 89208 16 | 0.034 % |
184.40/184.59 c | 210745 | 55 139590 1667160 | 2147483647 89581 16 | 0.034 % |
184.90/185.02 c | 211155 | 55 139590 1667160 | 2147483647 89991 16 | 0.034 % |
185.40/185.54 c | 211607 | 55 139590 1667160 | 2147483647 90443 16 | 0.034 % |
186.00/186.18 c | 212102 | 55 139590 1667160 | 2147483647 90938 16 | 0.034 % |
186.60/186.78 c | 212644 | 55 139590 1667160 | 2147483647 91480 16 | 0.034 % |
187.30/187.41 c | 213242 | 55 139590 1667160 | 2147483647 92078 16 | 0.034 % |
187.90/188.08 c | 213898 | 55 139590 1667160 | 2147483647 92734 16 | 0.034 % |
188.70/188.88 c | 214619 | 55 139590 1667160 | 2147483647 93455 16 | 0.034 % |
191.10/191.23 c | 215412 | 55 139590 1667160 | 2147483647 94248 16 | 0.034 % |
192.30/192.45 c | 216283 | 55 139590 1667160 | 2147483647 95119 16 | 0.034 % |
193.40/193.58 c | 217243 | 55 139590 1667160 | 2147483647 96079 16 | 0.034 % |
194.50/194.67 c | 218297 | 55 139590 1667160 | 2147483647 97133 16 | 0.034 % |
195.80/195.99 c | 219455 | 55 139590 1667160 | 2147483647 98291 16 | 0.034 % |
198.29/198.41 c | 220729 | 55 139590 1667160 | 98836 86845 16 | 0.034 % |
200.10/200.28 c | 222130 | 55 139590 1667160 | 98836 88246 16 | 0.034 % |
202.30/202.44 c | 223671 | 55 139590 1667160 | 98836 89787 16 | 0.034 % |
204.69/204.80 c | 225365 | 55 139590 1667160 | 98836 91481 16 | 0.034 % |
206.89/207.09 c | 227230 | 55 139590 1667160 | 98836 93346 16 | 0.034 % |
209.59/209.79 c | 229279 | 55 139590 1667160 | 98836 95395 16 | 0.034 % |
213.39/213.50 c | 231532 | 55 139590 1667160 | 96117 80469 16 | 0.034 % |
213.49/213.68 c | 231633 | 55 139590 1667160 | 96117 80570 16 | 0.034 % |
213.69/213.86 c | 231745 | 55 139590 1667160 | 96117 80682 16 | 0.034 % |
213.89/214.07 c | 231866 | 55 139590 1667160 | 96117 80803 16 | 0.034 % |
214.19/214.31 c | 232000 | 55 139590 1667160 | 96117 80937 16 | 0.034 % |
214.39/214.55 c | 232148 | 55 139590 1667160 | 96117 81085 16 | 0.034 % |
214.69/214.80 c | 232308 | 55 139590 1667160 | 96117 81245 16 | 0.034 % |
214.89/215.03 c | 232484 | 55 139590 1667160 | 96117 81421 16 | 0.034 % |
215.29/215.42 c | 232678 | 55 139590 1667160 | 96117 81615 16 | 0.034 % |
215.59/215.70 c | 232890 | 55 139590 1667160 | 96117 81827 16 | 0.034 % |
215.99/216.11 c | 233124 | 55 139590 1667160 | 96117 82061 16 | 0.034 % |
216.29/216.48 c | 233380 | 55 139590 1667160 | 96117 82317 16 | 0.034 % |
216.79/216.99 c | 233662 | 55 139590 1667160 | 96117 82599 16 | 0.034 % |
217.39/217.52 c | 233974 | 55 139590 1667160 | 96117 82911 16 | 0.034 % |
217.89/218.04 c | 234313 | 55 139590 1667160 | 96117 83250 16 | 0.034 % |
218.48/218.65 c | 234685 | 55 139590 1667160 | 96117 83622 16 | 0.034 % |
219.08/219.26 c | 235094 | 55 139590 1667160 | 96117 84031 16 | 0.034 % |
219.89/220.06 c | 235545 | 55 139590 1667160 | 96117 84482 16 | 0.034 % |
220.78/220.92 c | 236039 | 55 139590 1667160 | 96117 84976 16 | 0.034 % |
221.68/221.84 c | 236584 | 55 139590 1667160 | 96117 85521 16 | 0.034 % |
222.58/222.78 c | 237182 | 55 139590 1667160 | 96117 86119 16 | 0.034 % |
223.58/223.77 c | 237839 | 55 139590 1667160 | 96117 86776 16 | 0.034 % |
224.78/224.94 c | 238559 | 55 139590 1667160 | 96117 87496 16 | 0.034 % |
226.18/226.31 c | 239351 | 55 139590 1667160 | 96117 88288 16 | 0.034 % |
228.28/228.45 c | 240223 | 55 139590 1667160 | 88938 69693 17 | 0.034 % |
229.98/230.13 c | 241181 | 55 139590 1667160 | 88938 70651 17 | 0.034 % |
231.68/231.86 c | 242234 | 55 139590 1667160 | 88938 71704 17 | 0.034 % |
233.48/233.64 c | 243392 | 55 139590 1667160 | 88938 72862 17 | 0.034 % |
235.48/235.61 c | 244666 | 55 139590 1667160 | 88938 74136 17 | 0.034 % |
237.78/237.90 c | 246066 | 55 139590 1667160 | 88938 75536 17 | 0.034 % |
240.38/240.52 c | 247606 | 55 139590 1667160 | 88938 77076 17 | 0.034 % |
243.38/243.58 c | 249301 | 55 139590 1667160 | 88938 78771 17 | 0.034 % |
246.48/246.65 c | 251164 | 55 139590 1667160 | 79470 60967 16 | 0.034 % |
249.18/249.33 c | 253213 | 55 139590 1667160 | 79470 63016 16 | 0.034 % |
251.88/252.05 c | 255466 | 55 139590 1667160 | 79470 65269 16 | 0.034 % |
254.68/254.84 c | 257947 | 55 139590 1667160 | 79470 67750 16 | 0.034 % |
254.88/255.02 c | 258047 | 55 139590 1667160 | 79470 67850 16 | 0.034 % |
254.98/255.19 c | 258157 | 55 139590 1667160 | 79470 67960 16 | 0.034 % |
255.18/255.36 c | 258279 | 55 139590 1667160 | 79470 68082 16 | 0.034 % |
255.48/255.66 c | 258412 | 55 139590 1667160 | 79470 68215 16 | 0.034 % |
255.78/255.94 c | 258559 | 55 139590 1667160 | 79470 68362 16 | 0.034 % |
256.08/256.26 c | 258722 | 55 139590 1667160 | 79470 68525 16 | 0.034 % |
256.38/256.58 c | 258900 | 55 139590 1667160 | 79470 68703 16 | 0.034 % |
256.68/256.86 c | 259093 | 55 139590 1667160 | 79470 68896 16 | 0.034 % |
257.08/257.20 c | 259307 | 55 139590 1667160 | 79470 69110 16 | 0.034 % |
257.38/257.53 c | 259541 | 55 139590 1667160 | 79470 69344 16 | 0.034 % |
257.78/257.92 c | 259798 | 55 139590 1667160 | 79470 69601 16 | 0.034 % |
258.58/258.75 c | 260081 | 55 139590 1667160 | 69803 55239 16 | 0.034 % |
258.98/259.14 c | 260391 | 55 139590 1667160 | 69803 55549 16 | 0.034 % |
259.38/259.54 c | 260730 | 55 139590 1667160 | 69803 55888 16 | 0.034 % |
259.88/260.08 c | 261103 | 55 139590 1667160 | 69803 56261 16 | 0.034 % |
260.48/260.60 c | 261513 | 55 139590 1667160 | 69803 56671 16 | 0.034 % |
261.08/261.21 c | 261962 | 55 139590 1667160 | 69803 57120 16 | 0.034 % |
261.88/262.02 c | 262456 | 55 139590 1667160 | 69803 57614 16 | 0.034 % |
262.58/262.75 c | 262999 | 55 139590 1667160 | 69803 58157 16 | 0.034 % |
263.47/263.62 c | 263595 | 55 139590 1667160 | 69803 58753 16 | 0.034 % |
264.37/264.57 c | 264250 | 55 139590 1667160 | 69803 59408 16 | 0.034 % |
265.57/265.70 c | 264972 | 55 139590 1667160 | 69803 60130 16 | 0.034 % |
266.67/266.80 c | 265765 | 55 139590 1667160 | 69803 60923 16 | 0.034 % |
267.87/268.06 c | 266636 | 55 139590 1667160 | 69803 61794 16 | 0.034 % |
269.07/269.27 c | 267594 | 55 139590 1667160 | 69803 62752 16 | 0.034 % |
270.57/270.75 c | 268648 | 55 139590 1667160 | 69803 63806 16 | 0.034 % |
272.27/272.48 c | 269807 | 55 139590 1667160 | 69803 64965 16 | 0.034 % |
274.27/274.46 c | 271080 | 55 139590 1667160 | 65158 53231 16 | 0.034 % |
275.87/276.07 c | 272482 | 55 139590 1667160 | 65158 54633 16 | 0.034 % |
277.57/277.76 c | 274024 | 55 139590 1667160 | 65158 56175 16 | 0.034 % |
280.07/280.21 c | 275719 | 55 139590 1667160 | 65158 57870 16 | 0.034 % |
282.17/282.35 c | 277582 | 55 139590 1667160 | 65158 59733 16 | 0.034 % |
284.87/285.07 c | 279633 | 55 139590 1667160 | 65158 61784 16 | 0.034 % |
287.37/287.58 c | 281887 | 55 139590 1667160 | 62153 53190 16 | 0.034 % |
290.27/290.45 c | 284365 | 55 139590 1667160 | 62153 55668 16 | 0.034 % |
293.16/293.36 c | 287094 | 55 139590 1667160 | 62153 58397 16 | 0.034 % |
293.36/293.51 c | 287196 | 55 139590 1667160 | 62153 58499 16 | 0.034 % |
293.47/293.67 c | 287307 | 55 139590 1667160 | 62153 58610 16 | 0.034 % |
293.66/293.84 c | 287429 | 55 139590 1667160 | 62153 58732 16 | 0.034 % |
293.86/294.04 c | 287562 | 55 139590 1667160 | 62153 58865 16 | 0.034 % |
294.06/294.25 c | 287709 | 55 139590 1667160 | 62153 59012 16 | 0.034 % |
294.26/294.47 c | 287870 | 55 139590 1667160 | 62153 59173 16 | 0.034 % |
294.57/294.75 c | 288046 | 55 139590 1667160 | 62153 59349 16 | 0.034 % |
294.86/295.02 c | 288239 | 55 139590 1667160 | 62153 59542 16 | 0.034 % |
295.16/295.37 c | 288452 | 55 139590 1667160 | 62153 59755 16 | 0.034 % |
295.56/295.71 c | 288686 | 55 139590 1667160 | 62153 59989 16 | 0.034 % |
295.86/296.00 c | 288942 | 55 139590 1667160 | 62153 60245 16 | 0.034 % |
296.26/296.46 c | 289223 | 55 139590 1667160 | 62153 60526 16 | 0.034 % |
296.77/296.92 c | 289532 | 55 139590 1667160 | 62153 60835 16 | 0.034 % |
297.16/297.39 c | 289872 | 55 139590 1667160 | 62153 61175 16 | 0.034 % |
297.76/298.00 c | 290245 | 55 139590 1667160 | 61305 51819 16 | 0.034 % |
298.26/298.41 c | 290654 | 55 139590 1667160 | 61305 52228 16 | 0.034 % |
298.76/298.96 c | 291103 | 55 139590 1667160 | 61305 52677 16 | 0.034 % |
299.56/299.76 c | 291599 | 55 139590 1667160 | 61305 53173 16 | 0.034 % |
300.36/300.50 c | 292141 | 55 139590 1667160 | 61305 53715 16 | 0.034 % |
301.06/301.23 c | 292737 | 55 139590 1667160 | 61305 54311 16 | 0.034 % |
301.76/301.98 c | 293392 | 55 139590 1667160 | 61305 54966 16 | 0.034 % |
302.66/302.88 c | 294113 | 55 139590 1667160 | 61305 55687 16 | 0.034 % |
303.56/303.77 c | 294906 | 55 139590 1667160 | 61305 56480 16 | 0.034 % |
304.66/304.89 c | 295778 | 55 139590 1667160 | 61305 57352 16 | 0.034 % |
306.06/306.21 c | 296736 | 55 139590 1667160 | 61305 58310 16 | 0.034 % |
307.46/307.64 c | 297790 | 55 139590 1667160 | 61305 59364 16 | 0.034 % |
308.86/309.02 c | 298950 | 55 139590 1667160 | 61305 60524 16 | 0.034 % |
310.86/311.02 c | 300225 | 55 139590 1667160 | 51597 43498 16 | 0.034 % |
312.16/312.32 c | 301627 | 55 139590 1667160 | 51597 44900 16 | 0.034 % |
313.66/313.81 c | 303169 | 55 139590 1667160 | 51597 46442 16 | 0.034 % |
314.96/315.18 c | 304863 | 55 139590 1667160 | 51597 48136 16 | 0.034 % |
316.75/316.95 c | 306727 | 55 139590 1667160 | 51597 50000 16 | 0.034 % |
319.15/319.35 c | 308776 | 55 139590 1667160 | 51597 46052 16 | 0.034 % |
321.25/321.40 c | 311030 | 55 139590 1667160 | 47277 42963 16 | 0.034 % |
323.35/323.59 c | 313508 | 55 139590 1667160 | 47277 45441 16 | 0.034 % |
326.25/326.41 c | 316233 | 55 139590 1667160 | 47277 43437 16 | 0.034 % |
330.25/330.47 c | 319232 | 55 139590 1667160 | 47277 46436 16 | 0.034 % |
330.35/330.58 c | 319332 | 55 139590 1667160 | 47277 46536 16 | 0.034 % |
330.45/330.67 c | 319442 | 55 139590 1667160 | 47277 46646 16 | 0.034 % |
330.55/330.77 c | 319564 | 55 139590 1667160 | 47277 46768 16 | 0.034 % |
330.75/330.93 c | 319699 | 55 139590 1667160 | 47277 46903 16 | 0.034 % |
330.95/331.13 c | 319845 | 55 139590 1667160 | 47277 47049 16 | 0.034 % |
331.25/331.45 c | 320006 | 55 139590 1667160 | 2147483647 47210 16 | 0.034 % |
331.44/331.65 c | 320182 | 55 139590 1667160 | 2147483647 47386 16 | 0.034 % |
331.64/331.87 c | 320375 | 55 139590 1667160 | 2147483647 47579 16 | 0.034 % |
331.95/332.13 c | 320587 | 55 139590 1667160 | 2147483647 47791 16 | 0.034 % |
332.24/332.40 c | 320821 | 55 139590 1667160 | 2147483647 48025 16 | 0.034 % |
332.54/332.71 c | 321078 | 55 139590 1667160 | 2147483647 48282 16 | 0.034 % |
332.84/333.01 c | 321359 | 55 139590 1667160 | 2147483647 48563 16 | 0.034 % |
333.15/333.38 c | 321669 | 55 139590 1667160 | 2147483647 48873 16 | 0.034 % |
333.54/333.76 c | 322008 | 55 139590 1667160 | 2147483647 49212 16 | 0.034 % |
333.94/334.15 c | 322380 | 55 139590 1667160 | 2147483647 49584 16 | 0.034 % |
334.34/334.59 c | 322789 | 55 139590 1667160 | 2147483647 49993 16 | 0.034 % |
334.84/335.08 c | 323238 | 55 139590 1667160 | 2147483647 50442 16 | 0.034 % |
335.34/335.58 c | 323733 | 55 139590 1667160 | 2147483647 50937 16 | 0.034 % |
335.94/336.17 c | 324275 | 55 139590 1667160 | 2147483647 51479 16 | 0.034 % |
336.54/336.80 c | 324872 | 55 139590 1667160 | 2147483647 52076 16 | 0.034 % |
337.44/337.60 c | 325527 | 55 139590 1667160 | 2147483647 52731 16 | 0.034 % |
338.24/338.42 c | 326247 | 55 139590 1667160 | 2147483647 53451 16 | 0.034 % |
339.14/339.33 c | 327039 | 55 139590 1667160 | 2147483647 54243 16 | 0.034 % |
340.34/340.53 c | 327910 | 55 139590 1667160 | 2147483647 55114 16 | 0.034 % |
341.34/341.54 c | 328869 | 55 139590 1667160 | 2147483647 56073 16 | 0.034 % |
342.44/342.66 c | 329922 | 55 139590 1667160 | 2147483647 57126 16 | 0.034 % |
343.84/344.05 c | 331082 | 55 139590 1667160 | 57204 51881 16 | 0.034 % |
345.24/345.49 c | 332357 | 55 139590 1667160 | 57204 53156 16 | 0.034 % |
346.94/347.10 c | 333757 | 55 139590 1667160 | 57204 54556 16 | 0.034 % |
348.63/348.86 c | 335298 | 55 139590 1667160 | 57204 56097 16 | 0.034 % |
351.03/351.23 c | 336993 | 55 139590 1667160 | 57204 50357 16 | 0.034 % |
353.03/353.25 c | 338856 | 55 139590 1667160 | 57204 52220 16 | 0.034 % |
355.63/355.85 c | 340907 | 55 139590 1667160 | 53365 47357 16 | 0.034 % |
357.83/358.05 c | 343160 | 55 139590 1667160 | 53365 49610 16 | 0.034 % |
360.23/360.42 c | 345638 | 55 139590 1667160 | 53365 52088 16 | 0.034 % |
363.03/363.21 c | 348365 | 55 139590 1667160 | 53365 48757 16 | 0.034 % |
365.73/365.97 c | 351363 | 55 139590 1667160 | 50393 46404 16 | 0.034 % |
368.73/368.95 c | 354659 | 55 139590 1667160 | 50393 49700 16 | 0.034 % |
368.83/369.07 c | 354759 | 55 139590 1667160 | 50393 49800 16 | 0.034 % |
369.02/369.20 c | 354870 | 55 139590 1667160 | 50393 49911 16 | 0.034 % |
369.12/369.33 c | 354992 | 55 139590 1667160 | 50393 50033 16 | 0.034 % |
369.22/369.49 c | 355126 | 55 139590 1667160 | 50393 50167 16 | 0.034 % |
369.52/369.71 c | 355272 | 55 139590 1667160 | 50393 50313 16 | 0.034 % |
369.82/370.07 c | 355432 | 55 139590 1667160 | 50393 45432 16 | 0.034 % |
370.02/370.28 c | 355608 | 55 139590 1667160 | 50393 45608 16 | 0.034 % |
370.32/370.52 c | 355801 | 55 139590 1667160 | 50393 45801 16 | 0.034 % |
370.53/370.76 c | 356013 | 55 139590 1667160 | 50393 46013 16 | 0.034 % |
370.82/371.03 c | 356246 | 55 139590 1667160 | 50393 46246 16 | 0.034 % |
371.02/371.29 c | 356502 | 55 139590 1667160 | 50393 46502 16 | 0.034 % |
371.42/371.64 c | 356783 | 55 139590 1667160 | 50393 46783 16 | 0.034 % |
371.72/371.99 c | 357092 | 55 139590 1667160 | 50393 47092 16 | 0.034 % |
372.12/372.36 c | 357431 | 55 139590 1667160 | 50393 47431 16 | 0.034 % |
372.52/372.71 c | 357803 | 55 139590 1667160 | 50393 47803 16 | 0.034 % |
372.92/373.11 c | 358213 | 55 139590 1667160 | 50393 48213 16 | 0.034 % |
373.32/373.55 c | 358663 | 55 139590 1667160 | 50393 48663 16 | 0.034 % |
373.83/374.06 c | 359156 | 55 139590 1667160 | 50393 49156 16 | 0.034 % |
374.42/374.63 c | 359699 | 55 139590 1667160 | 50393 49699 16 | 0.034 % |
375.12/375.33 c | 360297 | 55 139590 1667160 | 2147483647 50297 16 | 0.034 % |
375.92/376.11 c | 360953 | 55 139590 1667160 | 2147483647 50953 16 | 0.034 % |
376.72/376.93 c | 361674 | 55 139590 1667160 | 2147483647 51674 16 | 0.034 % |
377.52/377.77 c | 362467 | 55 139590 1667160 | 2147483647 52467 16 | 0.034 % |
378.42/378.63 c | 363338 | 55 139590 1667160 | 2147483647 53338 16 | 0.034 % |
379.22/379.45 c | 364297 | 55 139590 1667160 | 2147483647 54297 16 | 0.034 % |
380.52/380.77 c | 365352 | 55 139590 1667160 | 2147483647 55352 16 | 0.034 % |
381.92/382.19 c | 366511 | 55 139590 1667160 | 2147483647 56511 16 | 0.034 % |
383.62/383.84 c | 367784 | 55 139590 1667160 | 2147483647 57784 16 | 0.034 % |
385.32/385.52 c | 369186 | 55 139590 1667160 | 2147483647 59186 16 | 0.034 % |
387.22/387.45 c | 370727 | 55 139590 1667160 | 60000 52938 16 | 0.034 % |
389.22/389.41 c | 372422 | 55 139590 1667160 | 60000 54633 16 | 0.034 % |
391.22/391.48 c | 374285 | 55 139590 1667160 | 60000 56496 16 | 0.034 % |
393.72/393.96 c | 376335 | 55 139590 1667160 | 60000 58546 16 | 0.034 % |
396.42/396.66 c | 378588 | 55 139590 1667160 | 60000 52333 16 | 0.034 % |
399.22/399.46 c | 381067 | 55 139590 1667160 | 53745 47532 16 | 0.034 % |
402.01/402.21 c | 383792 | 55 139590 1667160 | 53745 50257 16 | 0.034 % |
405.11/405.33 c | 386791 | 55 139590 1667160 | 53745 53256 16 | 0.034 % |
408.51/408.76 c | 390088 | 55 139590 1667160 | 50039 44464 16 | 0.034 % |
411.91/412.17 c | 393713 | 55 139590 1667160 | 50039 48089 16 | 0.034 % |
412.01/412.26 c | 393813 | 55 139590 1667160 | 50039 48189 16 | 0.034 % |
412.21/412.47 c | 393924 | 55 139590 1667160 | 50039 48300 16 | 0.034 % |
412.41/412.61 c | 394046 | 55 139590 1667160 | 50039 48422 16 | 0.034 % |
412.51/412.75 c | 394180 | 55 139590 1667160 | 50039 48556 16 | 0.034 % |
412.71/412.90 c | 394326 | 55 139590 1667160 | 50039 48702 16 | 0.034 % |
412.81/413.06 c | 394486 | 55 139590 1667160 | 50039 48862 16 | 0.034 % |
413.01/413.23 c | 394663 | 55 139590 1667160 | 50039 49039 16 | 0.034 % |
413.21/413.44 c | 394856 | 55 139590 1667160 | 50039 49232 16 | 0.034 % |
413.41/413.67 c | 395069 | 55 139590 1667160 | 50039 49445 16 | 0.034 % |
413.71/413.99 c | 395304 | 55 139590 1667160 | 50039 49680 16 | 0.034 % |
414.11/414.30 c | 395562 | 55 139590 1667160 | 50039 49938 16 | 0.034 % |
414.52/414.76 c | 395844 | 55 139590 1667160 | 50039 45215 16 | 0.034 % |
414.92/415.15 c | 396153 | 55 139590 1667160 | 50039 45524 16 | 0.034 % |
415.32/415.56 c | 396492 | 55 139590 1667160 | 50039 45863 16 | 0.034 % |
415.72/415.96 c | 396865 | 55 139590 1667160 | 50039 46236 16 | 0.034 % |
416.12/416.31 c | 397277 | 55 139590 1667160 | 50039 46648 16 | 0.034 % |
416.72/416.98 c | 397728 | 55 139590 1667160 | 50039 47099 16 | 0.034 % |
417.12/417.38 c | 398222 | 55 139590 1667160 | 50039 47593 16 | 0.034 % |
417.72/418.00 c | 398766 | 55 139590 1667160 | 50039 48137 16 | 0.034 % |
418.52/418.72 c | 399362 | 55 139590 1667160 | 50039 48733 16 | 0.034 % |
419.22/419.43 c | 400018 | 55 139590 1667160 | 2147483647 49389 16 | 0.034 % |
420.21/420.42 c | 400741 | 55 139590 1667160 | 2147483647 50112 16 | 0.034 % |
421.02/421.26 c | 401533 | 55 139590 1667160 | 2147483647 50904 16 | 0.034 % |
422.31/422.50 c | 402404 | 55 139590 1667160 | 2147483647 51775 16 | 0.034 % |
423.41/423.69 c | 403362 | 55 139590 1667160 | 2147483647 52733 16 | 0.034 % |
424.51/424.73 c | 404416 | 55 139590 1667160 | 2147483647 53787 16 | 0.034 % |
425.52/425.74 c | 405575 | 55 139590 1667160 | 2147483647 54946 16 | 0.034 % |
427.01/427.29 c | 406848 | 55 139590 1667160 | 2147483647 56219 16 | 0.034 % |
428.51/428.77 c | 408249 | 55 139590 1667160 | 2147483647 57620 16 | 0.034 % |
430.41/430.69 c | 409789 | 55 139590 1667160 | 2147483647 59160 16 | 0.034 % |
432.41/432.63 c | 411483 | 55 139590 1667160 | 59371 53149 16 | 0.034 % |
434.21/434.45 c | 413346 | 55 139590 1667160 | 59371 55012 16 | 0.034 % |
436.41/436.64 c | 415397 | 55 139590 1667160 | 59371 57063 16 | 0.034 % |
438.81/439.00 c | 417650 | 55 139590 1667160 | 59371 59316 16 | 0.034 % |
442.11/442.38 c | 420129 | 55 139590 1667160 | 54557 47975 16 | 0.034 % |
444.70/444.91 c | 422854 | 55 139590 1667160 | 54557 50700 16 | 0.034 % |
447.60/447.81 c | 425852 | 55 139590 1667160 | 54557 53698 16 | 0.034 % |
450.50/450.71 c | 429148 | 55 139590 1667160 | 54557 51263 16 | 0.034 % |
453.10/453.36 c | 432774 | 55 139590 1667160 | 2147483647 54889 16 | 0.034 % |
457.50/457.78 c | 436762 | 55 139590 1667160 | 2147483647 58877 16 | 0.034 % |
457.60/457.89 c | 436864 | 55 139590 1667160 | 2147483647 58979 16 | 0.034 % |
457.80/458.05 c | 436974 | 55 139590 1667160 | 2147483647 59089 16 | 0.034 % |
458.00/458.23 c | 437096 | 55 139590 1667160 | 2147483647 59211 16 | 0.034 % |
458.20/458.40 c | 437229 | 55 139590 1667160 | 2147483647 59344 16 | 0.034 % |
458.40/458.63 c | 437375 | 55 139590 1667160 | 2147483647 59490 16 | 0.034 % |
458.60/458.81 c | 437535 | 55 139590 1667160 | 2147483647 59650 16 | 0.034 % |
458.80/459.05 c | 437712 | 55 139590 1667160 | 2147483647 59827 16 | 0.034 % |
459.10/459.31 c | 437906 | 55 139590 1667160 | 2147483647 60021 16 | 0.034 % |
459.30/459.54 c | 438120 | 55 139590 1667160 | 2147483647 60235 16 | 0.034 % |
459.61/459.84 c | 438353 | 55 139590 1667160 | 2147483647 60468 16 | 0.034 % |
459.90/460.16 c | 438611 | 55 139590 1667160 | 2147483647 60726 16 | 0.034 % |
460.30/460.50 c | 438892 | 55 139590 1667160 | 2147483647 61007 16 | 0.034 % |
460.60/460.86 c | 439202 | 55 139590 1667160 | 2147483647 61317 16 | 0.034 % |
461.10/461.37 c | 439542 | 55 139590 1667160 | 2147483647 61657 16 | 0.034 % |
461.60/461.89 c | 439915 | 55 139590 1667160 | 2147483647 62030 16 | 0.034 % |
462.40/462.64 c | 440325 | 55 139590 1667160 | 62116 54061 16 | 0.034 % |
463.00/463.21 c | 440775 | 55 139590 1667160 | 62116 54511 16 | 0.034 % |
463.60/463.83 c | 441269 | 55 139590 1667160 | 62116 55005 16 | 0.034 % |
464.10/464.31 c | 441813 | 55 139590 1667160 | 62116 55549 16 | 0.034 % |
464.80/465.08 c | 442410 | 55 139590 1667160 | 62116 56146 16 | 0.034 % |
465.50/465.73 c | 443066 | 55 139590 1667160 | 62116 56802 16 | 0.034 % |
466.40/466.64 c | 443786 | 55 139590 1667160 | 62116 57522 16 | 0.034 % |
467.20/467.44 c | 444578 | 55 139590 1667160 | 62116 58314 16 | 0.034 % |
468.20/468.45 c | 445450 | 55 139590 1667160 | 62116 59186 16 | 0.034 % |
469.30/469.56 c | 446408 | 55 139590 1667160 | 62116 60144 16 | 0.034 % |
470.50/470.72 c | 447462 | 55 139590 1667160 | 62116 61198 16 | 0.034 % |
472.30/472.54 c | 448621 | 55 139590 1667160 | 62116 53521 16 | 0.034 % |
473.80/474.05 c | 449895 | 55 139590 1667160 | 62116 54795 16 | 0.034 % |
475.20/475.47 c | 451295 | 55 139590 1667160 | 54900 48419 16 | 0.034 % |
476.89/477.11 c | 452835 | 55 139590 1667160 | 54900 49959 16 | 0.034 % |
478.49/478.72 c | 454529 | 55 139590 1667160 | 54900 51653 16 | 0.034 % |
480.59/480.81 c | 456393 | 55 139590 1667160 | 54900 53517 16 | 0.034 % |
482.70/482.97 c | 458442 | 55 139590 1667160 | 54900 49005 16 | 0.034 % |
485.09/485.31 c | 460696 | 55 139590 1667160 | 50564 45437 16 | 0.034 % |
487.39/487.60 c | 463174 | 55 139590 1667160 | 50564 47915 16 | 0.034 % |
489.99/490.27 c | 465903 | 55 139590 1667160 | 50564 45586 16 | 0.034 % |
492.59/492.86 c | 468900 | 55 139590 1667160 | 50564 48583 16 | 0.034 % |
494.99/495.22 c | 472196 | 55 139590 1667160 | 2147483647 51879 16 | 0.034 % |
499.29/499.60 c | 475821 | 55 139590 1667160 | 2147483647 55504 16 | 0.034 % |
503.18/503.46 c | 479808 | 55 139590 1667160 | 2147483647 59491 16 | 0.034 % |
507.68/507.94 c | 484194 | 55 139590 1667160 | 59683 57202 16 | 0.034 % |
507.78/508.05 c | 484296 | 55 139590 1667160 | 59683 57304 16 | 0.034 % |
507.89/508.19 c | 484408 | 55 139590 1667160 | 59683 57416 16 | 0.034 % |
508.08/508.36 c | 484530 | 55 139590 1667160 | 59683 57538 16 | 0.034 % |
508.28/508.54 c | 484663 | 55 139590 1667160 | 59683 57671 16 | 0.034 % |
508.48/508.72 c | 484810 | 55 139590 1667160 | 59683 57818 16 | 0.034 % |
508.68/508.91 c | 484971 | 55 139590 1667160 | 59683 57979 16 | 0.034 % |
508.88/509.16 c | 485148 | 55 139590 1667160 | 59683 58156 16 | 0.034 % |
509.18/509.42 c | 485343 | 55 139590 1667160 | 59683 58351 16 | 0.034 % |
509.48/509.73 c | 485556 | 55 139590 1667160 | 59683 58564 16 | 0.034 % |
509.78/510.07 c | 485789 | 55 139590 1667160 | 59683 58797 16 | 0.034 % |
510.19/510.44 c | 486045 | 55 139590 1667160 | 59683 59053 16 | 0.034 % |
510.48/510.75 c | 486326 | 55 139590 1667160 | 59683 59334 16 | 0.034 % |
510.88/511.17 c | 486636 | 55 139590 1667160 | 59683 59644 16 | 0.034 % |
511.78/512.03 c | 486975 | 55 139590 1667160 | 59683 52553 16 | 0.034 % |
512.28/512.53 c | 487347 | 55 139590 1667160 | 59683 52925 16 | 0.034 % |
512.68/512.98 c | 487757 | 55 139590 1667160 | 59683 53335 16 | 0.034 % |
513.28/513.55 c | 488207 | 55 139590 1667160 | 59683 53785 16 | 0.034 % |
513.88/514.12 c | 488702 | 55 139590 1667160 | 59683 54280 16 | 0.034 % |
514.48/514.73 c | 489244 | 55 139590 1667160 | 59683 54822 16 | 0.034 % |
515.28/515.56 c | 489841 | 55 139590 1667160 | 59683 55419 16 | 0.034 % |
516.38/516.60 c | 490496 | 55 139590 1667160 | 55578 48684 16 | 0.034 % |
517.18/517.48 c | 491217 | 55 139590 1667160 | 55578 49405 16 | 0.034 % |
518.08/518.33 c | 492010 | 55 139590 1667160 | 55578 50198 16 | 0.034 % |
518.98/519.28 c | 492881 | 55 139590 1667160 | 55578 51069 16 | 0.034 % |
520.08/520.30 c | 493840 | 55 139590 1667160 | 55578 52028 16 | 0.034 % |
521.18/521.41 c | 494894 | 55 139590 1667160 | 55578 53082 16 | 0.034 % |
522.37/522.61 c | 496053 | 55 139590 1667160 | 55578 54241 16 | 0.034 % |
523.67/523.92 c | 497327 | 55 139590 1667160 | 55578 55515 16 | 0.034 % |
525.27/525.55 c | 498727 | 55 139590 1667160 | 55578 50420 16 | 0.034 % |
527.27/527.53 c | 500269 | 55 139590 1667160 | 51694 46105 16 | 0.034 % |
528.78/529.01 c | 501965 | 55 139590 1667160 | 51694 47801 16 | 0.034 % |
530.27/530.51 c | 503828 | 55 139590 1667160 | 51694 49664 16 | 0.034 % |
532.37/532.65 c | 505882 | 55 139590 1667160 | 51694 46547 16 | 0.034 % |
534.57/534.87 c | 508136 | 55 139590 1667160 | 51694 48801 16 | 0.034 % |
536.87/537.13 c | 510615 | 55 139590 1667160 | 2147483647 51280 16 | 0.034 % |
539.47/539.74 c | 513340 | 55 139590 1667160 | 2147483647 54005 16 | 0.034 % |
542.67/542.97 c | 516338 | 55 139590 1667160 | 2147483647 57003 16 | 0.034 % |
546.06/546.36 c | 519634 | 55 139590 1667160 | 2147483647 60299 16 | 0.034 % |
549.86/550.19 c | 523259 | 55 139590 1667160 | 60666 56973 16 | 0.034 % |
553.96/554.28 c | 527246 | 55 139590 1667160 | 60666 53656 16 | 0.034 % |
558.26/558.53 c | 531631 | 55 139590 1667160 | 56410 51484 16 | 0.034 % |
562.26/562.55 c | 536457 | 55 139590 1667160 | 56410 56310 16 | 0.034 % |
562.36/562.67 c | 536557 | 55 139590 1667160 | 56410 56410 16 | 0.034 % |
562.66/562.93 c | 536669 | 55 139590 1667160 | 56410 50881 16 | 0.034 % |
562.76/563.06 c | 536791 | 55 139590 1667160 | 56410 51003 16 | 0.034 % |
562.96/563.23 c | 536924 | 55 139590 1667160 | 56410 51136 16 | 0.034 % |
563.06/563.37 c | 537071 | 55 139590 1667160 | 56410 51283 16 | 0.034 % |
563.26/563.53 c | 537234 | 55 139590 1667160 | 56410 51446 16 | 0.034 % |
563.46/563.74 c | 537410 | 55 139590 1667160 | 56410 51622 16 | 0.034 % |
563.66/563.98 c | 537604 | 55 139590 1667160 | 56410 51816 16 | 0.034 % |
563.86/564.19 c | 537817 | 55 139590 1667160 | 56410 52029 16 | 0.034 % |
564.16/564.43 c | 538052 | 55 139590 1667160 | 56410 52264 16 | 0.034 % |
564.36/564.68 c | 538308 | 55 139590 1667160 | 56410 52520 16 | 0.034 % |
564.76/565.00 c | 538590 | 55 139590 1667160 | 56410 52802 16 | 0.034 % |
565.06/565.36 c | 538902 | 55 139590 1667160 | 56410 53114 16 | 0.034 % |
565.46/565.75 c | 539241 | 55 139590 1667160 | 56410 53453 16 | 0.034 % |
566.36/566.61 c | 539613 | 55 139590 1667160 | 56410 53825 16 | 0.034 % |
566.86/567.12 c | 540022 | 55 139590 1667160 | 2147483647 54234 16 | 0.034 % |
567.36/567.61 c | 540471 | 55 139590 1667160 | 2147483647 54683 16 | 0.034 % |
567.86/568.18 c | 540965 | 55 139590 1667160 | 2147483647 55177 16 | 0.034 % |
568.56/568.80 c | 541507 | 55 139590 1667160 | 2147483647 55719 16 | 0.034 % |
569.26/569.57 c | 542103 | 55 139590 1667160 | 2147483647 56315 16 | 0.034 % |
569.96/570.23 c | 542759 | 55 139590 1667160 | 2147483647 56971 16 | 0.034 % |
570.56/570.88 c | 543480 | 55 139590 1667160 | 2147483647 57692 16 | 0.034 % |
571.56/571.84 c | 544272 | 55 139590 1667160 | 2147483647 58484 16 | 0.034 % |
572.66/572.91 c | 545143 | 55 139590 1667160 | 2147483647 59355 16 | 0.034 % |
573.65/573.91 c | 546103 | 55 139590 1667160 | 2147483647 60315 16 | 0.034 % |
574.65/574.94 c | 547156 | 55 139590 1667160 | 2147483647 61368 16 | 0.034 % |
576.06/576.36 c | 548316 | 55 139590 1667160 | 2147483647 62528 16 | 0.034 % |
577.55/577.86 c | 549589 | 55 139590 1667160 | 2147483647 63801 16 | 0.034 % |
579.55/579.87 c | 550990 | 55 139590 1667160 | 64212 56906 16 | 0.034 % |
581.15/581.48 c | 552530 | 55 139590 1667160 | 64212 58446 16 | 0.034 % |
583.35/583.65 c | 554224 | 55 139590 1667160 | 64212 60140 16 | 0.034 % |
585.55/585.88 c | 556088 | 55 139590 1667160 | 64212 62004 16 | 0.034 % |
588.05/588.35 c | 558138 | 55 139590 1667160 | 64212 64054 16 | 0.034 % |
590.75/591.02 c | 560391 | 55 139590 1667160 | 56509 48899 16 | 0.034 % |
592.95/593.20 c | 562870 | 55 139590 1667160 | 56509 51378 16 | 0.034 % |
595.75/596.06 c | 565598 | 55 139590 1667160 | 56509 54106 16 | 0.034 % |
598.65/598.98 c | 568596 | 55 139590 1667160 | 56509 51229 16 | 0.034 % |
602.45/602.74 c | 571893 | 55 139590 1667160 | 2147483647 54526 16 | 0.034 % |
605.94/606.27 c | 575518 | 55 139590 1667160 | 2147483647 58151 16 | 0.034 % |
610.74/611.04 c | 579506 | 55 139590 1667160 | 2147483647 62139 16 | 0.034 % |
615.14/615.45 c | 583891 | 55 139590 1667160 | 62633 58165 15 | 0.034 % |
620.94/621.27 c | 588714 | 55 139590 1667160 | 62633 54258 15 | 0.034 % |
626.24/626.59 c | 594019 | 55 139590 1667160 | 55544 51818 15 | 0.034 % |
626.34/626.69 c | 594120 | 55 139590 1667160 | 55544 51919 15 | 0.034 % |
626.44/626.78 c | 594230 | 55 139590 1667160 | 55544 52029 15 | 0.034 % |
626.64/626.91 c | 594353 | 55 139590 1667160 | 55544 52152 15 | 0.034 % |
626.74/627.03 c | 594487 | 55 139590 1667160 | 55544 52286 15 | 0.034 % |
626.94/627.23 c | 594634 | 55 139590 1667160 | 55544 52433 15 | 0.034 % |
627.14/627.40 c | 594795 | 55 139590 1667160 | 55544 52594 15 | 0.034 % |
627.24/627.58 c | 594971 | 55 139590 1667160 | 55544 52770 15 | 0.034 % |
627.44/627.76 c | 595164 | 55 139590 1667160 | 55544 52963 15 | 0.034 % |
627.74/628.06 c | 595377 | 55 139590 1667160 | 55544 53176 15 | 0.034 % |
628.04/628.39 c | 595610 | 55 139590 1667160 | 55544 53409 15 | 0.034 % |
628.34/628.62 c | 595866 | 55 139590 1667160 | 55544 53665 15 | 0.034 % |
628.64/628.96 c | 596148 | 55 139590 1667160 | 55544 53947 15 | 0.034 % |
628.94/629.28 c | 596457 | 55 139590 1667160 | 55544 54256 15 | 0.034 % |
629.33/629.65 c | 596796 | 55 139590 1667160 | 55544 54595 15 | 0.034 % |
629.83/630.11 c | 597168 | 55 139590 1667160 | 55544 54967 15 | 0.034 % |
630.33/630.67 c | 597577 | 55 139590 1667160 | 55544 55376 15 | 0.034 % |
631.04/631.39 c | 598026 | 55 139590 1667160 | 55544 49230 15 | 0.034 % |
631.63/631.92 c | 598520 | 55 139590 1667160 | 55544 49724 15 | 0.034 % |
632.24/632.51 c | 599062 | 55 139590 1667160 | 55544 50266 15 | 0.034 % |
632.83/633.18 c | 599659 | 55 139590 1667160 | 55544 50863 15 | 0.034 % |
633.73/634.01 c | 600318 | 55 139590 1667160 | 51205 45675 15 | 0.034 % |
634.43/634.76 c | 601038 | 55 139590 1667160 | 51205 46395 15 | 0.034 % |
635.33/635.63 c | 601830 | 55 139590 1667160 | 51205 47187 15 | 0.034 % |
636.23/636.58 c | 602701 | 55 139590 1667160 | 51205 48058 15 | 0.034 % |
637.13/637.43 c | 603660 | 55 139590 1667160 | 51205 49017 15 | 0.034 % |
638.13/638.45 c | 604714 | 55 139590 1667160 | 51205 50071 15 | 0.034 % |
639.63/639.99 c | 605873 | 55 139590 1667160 | 51205 45996 15 | 0.034 % |
640.83/641.17 c | 607146 | 55 139590 1667160 | 51205 47269 15 | 0.034 % |
642.03/642.34 c | 608548 | 55 139590 1667160 | 51205 48671 15 | 0.034 % |
643.53/643.84 c | 610089 | 55 139590 1667160 | 2147483647 50212 15 | 0.034 % |
645.33/645.67 c | 611784 | 55 139590 1667160 | 2147483647 51907 15 | 0.034 % |
647.92/648.21 c | 613648 | 55 139590 1667160 | 2147483647 53771 15 | 0.034 % |
649.83/650.19 c | 615698 | 55 139590 1667160 | 2147483647 55821 15 | 0.034 % |
652.22/652.52 c | 617952 | 55 139590 1667160 | 2147483647 58075 15 | 0.034 % |
655.42/655.76 c | 620430 | 55 139590 1667160 | 60123 53236 15 | 0.034 % |
658.12/658.45 c | 623155 | 55 139590 1667160 | 60123 55961 15 | 0.034 % |
661.42/661.71 c | 626153 | 55 139590 1667160 | 60123 58959 15 | 0.034 % |
664.62/664.90 c | 629451 | 55 139590 1667160 | 60123 54900 15 | 0.034 % |
668.02/668.38 c | 633076 | 55 139590 1667160 | 55449 52454 15 | 0.034 % |
671.72/672.09 c | 637063 | 55 139590 1667160 | 55449 50894 15 | 0.034 % |
675.81/676.11 c | 641449 | 55 139590 1667160 | 2147483647 55280 15 | 0.034 % |
681.11/681.46 c | 646273 | 55 139590 1667160 | 2147483647 60104 15 | 0.034 % |
686.01/686.33 c | 651578 | 55 139590 1667160 | 63832 57913 15 | 0.034 % |
693.61/693.91 c | 657413 | 55 139590 1667160 | 63832 63748 15 | 0.034 % |
693.71/694.07 c | 657513 | 55 139590 1667160 | 63832 63848 15 | 0.034 % |
694.11/694.42 c | 657623 | 55 139590 1667160 | 63832 54112 14 | 0.034 % |
694.21/694.56 c | 657745 | 55 139590 1667160 | 63832 54234 14 | 0.034 % |
694.31/694.68 c | 657878 | 55 139590 1667160 | 63832 54367 14 | 0.034 % |
694.51/694.85 c | 658024 | 55 139590 1667160 | 63832 54513 14 | 0.034 % |
694.71/695.03 c | 658185 | 55 139590 1667160 | 63832 54674 14 | 0.034 % |
694.91/695.25 c | 658361 | 55 139590 1667160 | 63832 54850 14 | 0.034 % |
695.11/695.42 c | 658555 | 55 139590 1667160 | 63832 55044 14 | 0.034 % |
695.31/695.66 c | 658768 | 55 139590 1667160 | 63832 55257 14 | 0.034 % |
695.51/695.89 c | 659001 | 55 139590 1667160 | 63832 55490 15 | 0.034 % |
695.81/696.18 c | 659258 | 55 139590 1667160 | 63832 55747 15 | 0.034 % |
696.21/696.51 c | 659541 | 55 139590 1667160 | 63832 56030 15 | 0.034 % |
696.61/696.94 c | 659852 | 55 139590 1667160 | 63832 56341 15 | 0.034 % |
697.41/697.79 c | 660191 | 55 139590 1667160 | 56489 48183 14 | 0.034 % |
697.81/698.14 c | 660563 | 55 139590 1667160 | 56489 48555 14 | 0.034 % |
698.31/698.62 c | 660975 | 55 139590 1667160 | 56489 48967 14 | 0.034 % |
698.71/699.06 c | 661424 | 55 139590 1667160 | 56489 49416 14 | 0.034 % |
699.21/699.53 c | 661917 | 55 139590 1667160 | 56489 49909 14 | 0.034 % |
699.81/700.12 c | 662459 | 55 139590 1667160 | 56489 50451 15 | 0.034 % |
700.31/700.67 c | 663056 | 55 139590 1667160 | 56489 51048 15 | 0.034 % |
700.91/701.26 c | 663713 | 55 139590 1667160 | 56489 51705 15 | 0.034 % |
701.81/702.11 c | 664434 | 55 139590 1667160 | 56489 52426 15 | 0.034 % |
702.52/702.84 c | 665227 | 55 139590 1667160 | 56489 53219 15 | 0.034 % |
703.51/703.89 c | 666099 | 55 139590 1667160 | 56489 54091 15 | 0.034 % |
704.82/705.13 c | 667058 | 55 139590 1667160 | 56489 55050 15 | 0.034 % |
706.01/706.31 c | 668111 | 55 139590 1667160 | 56489 56103 15 | 0.034 % |
707.21/707.54 c | 669269 | 55 139590 1667160 | 56489 50364 15 | 0.034 % |
708.41/708.76 c | 670543 | 55 139590 1667160 | 51095 45831 14 | 0.034 % |
709.71/710.02 c | 671943 | 55 139590 1667160 | 51095 47231 15 | 0.034 % |
710.81/711.11 c | 673485 | 55 139590 1667160 | 51095 48773 15 | 0.034 % |
712.31/712.68 c | 675180 | 55 139590 1667160 | 51095 50468 15 | 0.034 % |
714.51/714.80 c | 677043 | 55 139590 1667160 | 51095 47220 15 | 0.034 % |
716.41/716.75 c | 679094 | 55 139590 1667160 | 51095 49271 15 | 0.034 % |
718.71/719.01 c | 681348 | 55 139590 1667160 | 2147483647 51525 15 | 0.034 % |
721.21/721.57 c | 683828 | 55 139590 1667160 | 2147483647 54005 15 | 0.034 % |
724.11/724.44 c | 686554 | 55 139590 1667160 | 2147483647 56731 15 | 0.034 % |
727.30/727.62 c | 689553 | 55 139590 1667160 | 2147483647 59730 15 | 0.034 % |
730.90/731.28 c | 692849 | 55 139590 1667160 | 60179 56480 15 | 0.034 % |
735.10/735.46 c | 696477 | 55 139590 1667160 | 60179 60108 15 | 0.034 % |
739.80/740.19 c | 700464 | 55 139590 1667160 | 55949 49478 15 | 0.034 % |
743.50/743.89 c | 704849 | 55 139590 1667160 | 55949 53863 15 | 0.034 % |
748.40/748.75 c | 709674 | 55 139590 1667160 | 55949 53092 15 | 0.034 % |
753.99/754.32 c | 714981 | 55 139590 1667160 | 2147483647 58399 15 | 0.034 % |
760.49/760.86 c | 720817 | 55 139590 1667160 | 63418 56998 15 | 0.034 % |
767.49/767.90 c | 727237 | 55 139590 1667160 | 63418 63418 15 | 0.034 % |
767.89/768.21 c | 727341 | 55 139590 1667160 | 63418 54542 15 | 0.034 % |
767.99/768.32 c | 727451 | 55 139590 1667160 | 63418 54652 15 | 0.034 % |
768.09/768.45 c | 727573 | 55 139590 1667160 | 63418 54774 15 | 0.034 % |
768.29/768.64 c | 727706 | 55 139590 1667160 | 63418 54907 15 | 0.034 % |
768.49/768.86 c | 727852 | 55 139590 1667160 | 63418 55053 15 | 0.034 % |
768.69/769.00 c | 728014 | 55 139590 1667160 | 63418 55215 15 | 0.034 % |
768.79/769.19 c | 728190 | 55 139590 1667160 | 63418 55391 15 | 0.034 % |
769.09/769.42 c | 728383 | 55 139590 1667160 | 63418 55584 15 | 0.034 % |
769.29/769.64 c | 728596 | 55 139590 1667160 | 63418 55797 15 | 0.034 % |
769.69/770.02 c | 728829 | 55 139590 1667160 | 63418 56030 15 | 0.034 % |
769.99/770.34 c | 729085 | 55 139590 1667160 | 63418 56286 15 | 0.034 % |
770.29/770.69 c | 729366 | 55 139590 1667160 | 63418 56567 15 | 0.034 % |
770.69/771.05 c | 729676 | 55 139590 1667160 | 63418 56877 15 | 0.034 % |
771.09/771.48 c | 730015 | 55 139590 1667160 | 57202 57216 15 | 0.034 % |
771.79/772.14 c | 730387 | 55 139590 1667160 | 57202 49718 15 | 0.034 % |
772.19/772.58 c | 730798 | 55 139590 1667160 | 57202 50129 15 | 0.034 % |
772.69/773.10 c | 731247 | 55 139590 1667160 | 57202 50578 15 | 0.034 % |
773.19/773.58 c | 731741 | 55 139590 1667160 | 57202 51072 15 | 0.034 % |
773.79/774.16 c | 732284 | 55 139590 1667160 | 57202 51615 15 | 0.034 % |
774.49/774.83 c | 732880 | 55 139590 1667160 | 57202 52211 15 | 0.034 % |
775.09/775.41 c | 733536 | 55 139590 1667160 | 57202 52867 15 | 0.034 % |
775.79/776.17 c | 734259 | 55 139590 1667160 | 57202 53590 15 | 0.034 % |
776.79/777.18 c | 735052 | 55 139590 1667160 | 57202 54383 15 | 0.034 % |
777.79/778.15 c | 735923 | 55 139590 1667160 | 57202 55254 15 | 0.034 % |
778.79/779.18 c | 736882 | 55 139590 1667160 | 57202 56213 15 | 0.034 % |
780.39/780.71 c | 737935 | 55 139590 1667160 | 57202 50356 15 | 0.034 % |
781.39/781.79 c | 739093 | 55 139590 1667160 | 57202 51514 15 | 0.034 % |
782.98/783.33 c | 740368 | 55 139590 1667160 | 52424 46721 15 | 0.034 % |
784.48/784.81 c | 741768 | 55 139590 1667160 | 52424 48121 15 | 0.034 % |
785.88/786.22 c | 743308 | 55 139590 1667160 | 52424 49661 15 | 0.034 % |
787.28/787.65 c | 745002 | 55 139590 1667160 | 52424 51355 15 | 0.034 % |
789.18/789.54 c | 746865 | 55 139590 1667160 | 52424 47974 15 | 0.034 % |
790.98/791.30 c | 748915 | 55 139590 1667160 | 52424 50024 15 | 0.034 % |
793.58/793.94 c | 751170 | 55 139590 1667160 | 2147483647 52279 15 | 0.034 % |
796.08/796.41 c | 753651 | 55 139590 1667160 | 2147483647 54760 15 | 0.034 % |
798.48/798.89 c | 756379 | 55 139590 1667160 | 2147483647 57488 15 | 0.034 % |
801.48/801.82 c | 759377 | 55 139590 1667160 | 2147483647 60486 15 | 0.034 % |
805.57/805.97 c | 762673 | 55 139590 1667160 | 2147483647 63782 15 | 0.034 % |
810.56/810.92 c | 766300 | 55 139590 1667160 | 2147483647 67409 15 | 0.034 % |
816.06/816.48 c | 770288 | 55 139590 1667160 | 71112 59330 15 | 0.034 % |
820.46/820.90 c | 774673 | 55 139590 1667160 | 71112 63715 15 | 0.034 % |
826.16/826.51 c | 779496 | 55 139590 1667160 | 71112 68538 15 | 0.034 % |
832.46/832.83 c | 784801 | 55 139590 1667160 | 69042 63906 14 | 0.034 % |
839.86/840.29 c | 790639 | 55 139590 1667160 | 59108 51155 14 | 0.034 % |
845.95/846.30 c | 797057 | 55 139590 1667160 | 59108 57573 14 | 0.034 % |
852.16/852.56 c | 804118 | 55 139590 1667160 | 2147483647 58722 14 | 0.034 % |
852.26/852.69 c | 804219 | 55 139590 1667160 | 2147483647 58823 14 | 0.034 % |
852.46/852.84 c | 804329 | 55 139590 1667160 | 2147483647 58933 14 | 0.034 % |
852.56/852.97 c | 804451 | 55 139590 1667160 | 2147483647 59055 14 | 0.034 % |
852.76/853.15 c | 804585 | 55 139590 1667160 | 2147483647 59189 14 | 0.034 % |
852.96/853.31 c | 804733 | 55 139590 1667160 | 2147483647 59337 14 | 0.034 % |
853.06/853.49 c | 804894 | 55 139590 1667160 | 2147483647 59498 14 | 0.034 % |
853.36/853.76 c | 805071 | 55 139590 1667160 | 2147483647 59675 14 | 0.034 % |
853.56/853.99 c | 805264 | 55 139590 1667160 | 2147483647 59868 14 | 0.034 % |
853.86/854.25 c | 805477 | 55 139590 1667160 | 2147483647 60081 14 | 0.034 % |
854.16/854.53 c | 805710 | 55 139590 1667160 | 2147483647 60314 14 | 0.034 % |
854.46/854.82 c | 805966 | 55 139590 1667160 | 2147483647 60570 14 | 0.034 % |
854.86/855.21 c | 806249 | 55 139590 1667160 | 2147483647 60853 14 | 0.034 % |
855.26/855.62 c | 806560 | 55 139590 1667160 | 2147483647 61164 14 | 0.034 % |
855.66/856.07 c | 806899 | 55 139590 1667160 | 2147483647 61503 14 | 0.034 % |
856.16/856.52 c | 807271 | 55 139590 1667160 | 2147483647 61875 14 | 0.034 % |
856.66/857.06 c | 807680 | 55 139590 1667160 | 2147483647 62284 14 | 0.034 % |
857.26/857.66 c | 808130 | 55 139590 1667160 | 2147483647 62734 14 | 0.034 % |
857.86/858.29 c | 808623 | 55 139590 1667160 | 2147483647 63227 14 | 0.034 % |
858.56/858.94 c | 809166 | 55 139590 1667160 | 2147483647 63770 14 | 0.034 % |
859.26/859.69 c | 809763 | 55 139590 1667160 | 2147483647 64367 14 | 0.034 % |
860.36/860.71 c | 810418 | 55 139590 1667160 | 64604 57589 14 | 0.034 % |
860.96/861.37 c | 811140 | 55 139590 1667160 | 64604 58311 14 | 0.034 % |
861.76/862.17 c | 811933 | 55 139590 1667160 | 64604 59104 14 | 0.034 % |
862.66/863.09 c | 812804 | 55 139590 1667160 | 64604 59975 14 | 0.034 % |
863.65/864.07 c | 813764 | 55 139590 1667160 | 64604 60935 14 | 0.034 % |
864.85/865.24 c | 814817 | 55 139590 1667160 | 64604 61988 14 | 0.034 % |
866.15/866.57 c | 815976 | 55 139590 1667160 | 64604 63147 14 | 0.034 % |
867.75/868.20 c | 817250 | 55 139590 1667160 | 64604 64421 14 | 0.034 % |
869.66/870.08 c | 818652 | 55 139590 1667160 | 64604 57084 14 | 0.034 % |
871.35/871.73 c | 820192 | 55 139590 1667160 | 58433 51168 14 | 0.034 % |
873.15/873.53 c | 821889 | 55 139590 1667160 | 58433 52865 14 | 0.034 % |
875.05/875.49 c | 823752 | 55 139590 1667160 | 58433 54728 14 | 0.034 % |
876.95/877.35 c | 825802 | 55 139590 1667160 | 58433 56778 14 | 0.034 % |
879.25/879.67 c | 828055 | 55 139590 1667160 | 58433 52612 14 | 0.034 % |
881.55/881.97 c | 830533 | 55 139590 1667160 | 54558 49531 14 | 0.034 % |
883.65/884.02 c | 833260 | 55 139590 1667160 | 54558 52258 14 | 0.034 % |
886.45/886.80 c | 836257 | 55 139590 1667160 | 54558 49799 13 | 0.034 % |
888.85/889.27 c | 839554 | 55 139590 1667160 | 54558 53096 13 | 0.034 % |
892.15/892.59 c | 843179 | 55 139590 1667160 | 2147483647 56721 13 | 0.034 % |
896.05/896.41 c | 847168 | 55 139590 1667160 | 2147483647 60710 13 | 0.034 % |
900.55/900.96 c | 851554 | 55 139590 1667160 | 2147483647 65096 13 | 0.034 % |
905.84/906.21 c | 856378 | 55 139590 1667160 | 2147483647 69920 13 | 0.034 % |
911.74/912.18 c | 861684 | 55 139590 1667160 | 73542 65240 13 | 0.034 % |
917.94/918.40 c | 867519 | 55 139590 1667160 | 73542 71075 13 | 0.067 % |
925.63/926.02 c | 873938 | 55 139590 1667160 | 73556 66194 13 | 0.034 % |
933.03/933.41 c | 880998 | 55 139590 1667160 | 72258 63092 13 | 0.067 % |
939.93/940.39 c | 888763 | 55 139590 1667160 | 72258 70857 13 | 0.067 % |
940.13/940.50 c | 888864 | 55 139590 1667160 | 72258 70958 13 | 0.067 % |
940.23/940.65 c | 888974 | 55 139590 1667160 | 72258 71068 13 | 0.067 % |
940.33/940.78 c | 889095 | 55 139590 1667160 | 72258 71189 13 | 0.067 % |
940.53/940.91 c | 889228 | 55 139590 1667160 | 72258 71322 13 | 0.067 % |
940.63/941.07 c | 889374 | 55 139590 1667160 | 72258 71468 13 | 0.034 % |
940.83/941.27 c | 889535 | 55 139590 1667160 | 72258 71629 13 | 0.034 % |
941.03/941.50 c | 889711 | 55 139590 1667160 | 72258 71805 13 | 0.067 % |
941.33/941.71 c | 889904 | 55 139590 1667160 | 72258 71998 13 | 0.067 % |
942.03/942.44 c | 890118 | 55 139590 1667160 | 72094 64090 13 | 0.069 % |
942.23/942.63 c | 890352 | 55 139590 1667160 | 72094 64324 13 | 0.068 % |
942.43/942.88 c | 890608 | 55 139590 1667160 | 72094 64580 13 | 0.069 % |
942.73/943.16 c | 890891 | 55 139590 1667160 | 72094 64863 13 | 0.067 % |
943.13/943.50 c | 891203 | 55 139590 1667160 | 72094 65175 12 | 0.069 % |
943.33/943.79 c | 891544 | 55 139590 1667160 | 72094 65516 12 | 0.133 % |
943.73/944.13 c | 891917 | 55 139590 1667160 | 72094 65889 12 | 0.305 % |
946.53/946.92 c | 892327 | 54 109350 1304280 | 72094 35950 13 | 1.852 % |
946.73/947.18 c | 892777 | 54 109350 1304280 | 72094 36400 13 | 1.852 % |
947.23/947.61 c | 893271 | 54 109350 1304280 | 72094 36894 13 | 1.852 % |
947.62/948.06 c | 893815 | 54 109350 1304280 | 72094 37438 12 | 1.852 % |
948.02/948.48 c | 894413 | 54 109350 1304280 | 72094 38036 12 | 1.852 % |
948.42/948.86 c | 895069 | 54 109350 1304280 | 72094 38692 12 | 1.852 % |
948.93/949.32 c | 895789 | 54 109350 1304280 | 72094 39412 12 | 1.852 % |
949.32/949.73 c | 896582 | 54 109350 1304280 | 72094 40205 12 | 1.852 % |
949.93/950.31 c | 897454 | 54 109350 1304280 | 72094 41077 12 | 1.852 % |
950.32/950.71 c | 898413 | 54 109350 1304280 | 72094 42036 12 | 1.852 % |
951.03/951.45 c | 899467 | 54 109350 1304280 | 72094 43090 12 | 1.852 % |
951.92/952.34 c | 900625 | 54 109350 1304280 | 2147483647 44248 12 | 1.852 % |
952.92/953.33 c | 901898 | 54 109350 1304280 | 2147483647 45521 12 | 1.852 % |
953.92/954.33 c | 903299 | 54 109350 1304280 | 2147483647 46922 12 | 1.919 % |
955.02/955.49 c | 904839 | 54 109350 1304280 | 2147483647 48462 12 | 1.885 % |
956.22/956.66 c | 906536 | 52 109350 1304280 | 2147483647 50158 12 | 5.488 % |
956.62/957.02 c ===============================================================================
956.62/957.02 c restarts : 1161
956.62/957.02 c conflicts : 907079 (949 /sec)
956.62/957.02 c decisions : 981211 (1.85 % random) (1026 /sec)
956.62/957.03 c propagations : 6575088 (6878 /sec)
956.62/957.03 c conflict literals : 14121954 (15.88 % deleted)
956.62/957.03 c Memory used : 30.69 MB
956.62/957.03 c CPU time : 955.914 s
956.62/957.03 c
956.62/957.03 s UNSATISFIABLE
956.62/957.03 s UNSATISFIABLE
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1834009-1242827250/watcher-1834009-1242827250 -o /tmp/evaluation-result-1834009-1242827250/solver-1834009-1242827250 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1834009-1242827250.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.97 0.99 3/64 14341
/proc/meminfo: memFree=1900152/2055920 swapFree=4146180/4192956
[pid=14341] ppid=14339 vsize=5356 CPUtime=0
/proc/14341/stat : 14341 (SatELiteGTI) R 14339 14341 13991 0 -1 4194304 291 249 0 0 0 0 0 0 18 0 1 0 310751050 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 231961979379 0 0 4100 65536 0 0 0 17 0 0 0
/proc/14341/statm: 1339 237 197 169 0 50 0
[startup+0.0804579 s]
/proc/loadavg: 0.99 0.97 0.99 3/64 14341
/proc/meminfo: memFree=1900152/2055920 swapFree=4146180/4192956
[pid=14341] ppid=14339 vsize=5356 CPUtime=0
/proc/14341/stat : 14341 (SatELiteGTI) S 14339 14341 13991 0 -1 4194304 310 249 0 0 0 0 0 0 19 0 1 0 310751050 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/14341/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.10146 s]
/proc/loadavg: 0.99 0.97 0.99 3/64 14341
/proc/meminfo: memFree=1900152/2055920 swapFree=4146180/4192956
[pid=14341] ppid=14339 vsize=5356 CPUtime=0
/proc/14341/stat : 14341 (SatELiteGTI) S 14339 14341 13991 0 -1 4194304 310 249 0 0 0 0 0 0 19 0 1 0 310751050 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/14341/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.301487 s]
/proc/loadavg: 0.99 0.97 0.99 3/64 14341
/proc/meminfo: memFree=1900152/2055920 swapFree=4146180/4192956
[pid=14341] ppid=14339 vsize=5356 CPUtime=0
/proc/14341/stat : 14341 (SatELiteGTI) S 14339 14341 13991 0 -1 4194304 310 249 0 0 0 0 0 0 19 0 1 0 310751050 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/14341/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.701553 s]
/proc/loadavg: 0.99 0.97 0.99 3/64 14341
/proc/meminfo: memFree=1900152/2055920 swapFree=4146180/4192956
[pid=14341] ppid=14339 vsize=5356 CPUtime=0.64
/proc/14341/stat : 14341 (SatELiteGTI) S 14339 14341 13991 0 -1 4194304 336 4860 0 0 0 0 60 4 16 0 1 0 310751050 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14341/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.64
Current children cumulated vsize (KiB) 5356
[startup+1.50165 s]
/proc/loadavg: 0.99 0.97 0.99 2/66 14347
/proc/meminfo: memFree=1882152/2055920 swapFree=4146180/4192956
[pid=14341] ppid=14339 vsize=5356 CPUtime=0.64
/proc/14341/stat : 14341 (SatELiteGTI) S 14339 14341 13991 0 -1 4194304 336 4860 0 0 0 0 60 4 16 0 1 0 310751050 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14341/statm: 1339 239 197 169 0 50 0
[pid=14347] ppid=14341 vsize=14888 CPUtime=0.83
/proc/14347/stat : 14347 (minisat_static) R 14341 14341 13991 0 -1 4194304 3418 0 0 0 82 1 0 0 24 0 1 0 310751115 15245312 3404 1992294400 134512640 135215339 4294956240 18446744073709551615 134743406 0 0 4096 3 0 0 0 17 1 0 0
/proc/14347/statm: 3722 3404 76 171 0 3549 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 20244
[startup+3.10187 s]
/proc/loadavg: 0.99 0.97 0.99 2/66 14347
/proc/meminfo: memFree=1881000/2055920 swapFree=4146180/4192956
[pid=14341] ppid=14339 vsize=5356 CPUtime=0.64
/proc/14341/stat : 14341 (SatELiteGTI) S 14339 14341 13991 0 -1 4194304 336 4860 0 0 0 0 60 4 16 0 1 0 310751050 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14341/statm: 1339 239 197 169 0 50 0
[pid=14347] ppid=14341 vsize=15584 CPUtime=2.43
/proc/14347/stat : 14347 (minisat_static) R 14341 14341 13991 0 -1 4194304 3591 0 0 0 241 2 0 0 25 0 1 0 310751115 15958016 3577 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/14347/statm: 3896 3577 76 171 0 3723 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 20940
[startup+6.3013 s]
/proc/loadavg: 0.99 0.97 0.99 2/66 14347
/proc/meminfo: memFree=1879656/2055920 swapFree=4146180/4192956
[pid=14341] ppid=14339 vsize=5356 CPUtime=0.64
/proc/14341/stat : 14341 (SatELiteGTI) S 14339 14341 13991 0 -1 4194304 336 4860 0 0 0 0 60 4 16 0 1 0 310751050 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14341/statm: 1339 239 197 169 0 50 0
[pid=14347] ppid=14341 vsize=16712 CPUtime=5.63
/proc/14347/stat : 14347 (minisat_static) R 14341 14341 13991 0 -1 4194304 3878 0 0 0 561 2 0 0 25 0 1 0 310751115 17113088 3864 1992294400 134512640 135215339 4294956240 18446744073709551615 134528809 0 0 4096 3 0 0 0 17 1 0 0
/proc/14347/statm: 4178 3864 76 171 0 4005 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 22068
[startup+12.7012 s]
/proc/loadavg: 0.99 0.97 0.99 2/66 14347
/proc/meminfo: memFree=1877992/2055920 swapFree=4146180/4192956
[pid=14341] ppid=14339 vsize=5356 CPUtime=0.64
/proc/14341/stat : 14341 (SatELiteGTI) S 14339 14341 13991 0 -1 4194304 336 4860 0 0 0 0 60 4 16 0 1 0 310751050 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14341/statm: 1339 239 197 169 0 50 0
[pid=14347] ppid=14341 vsize=18432 CPUtime=12.03
/proc/14347/stat : 14347 (minisat_static) R 14341 14341 13991 0 -1 4194304 4266 0 0 0 1200 3 0 0 25 0 1 0 310751115 18874368 4252 1992294400 134512640 135215339 4294956240 18446744073709551615 134528721 0 0 4096 3 0 0 0 17 1 0 0
/proc/14347/statm: 4608 4252 76 171 0 4435 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 23788
[startup+25.5019 s]
/proc/loadavg: 0.99 0.97 0.99 2/66 14347
/proc/meminfo: memFree=1874536/2055920 swapFree=4146180/4192956
[pid=14341] ppid=14339 vsize=5356 CPUtime=0.64
/proc/14341/stat : 14341 (SatELiteGTI) S 14339 14341 13991 0 -1 4194304 336 4860 0 0 0 0 60 4 16 0 1 0 310751050 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14341/statm: 1339 239 197 169 0 50 0
[pid=14347] ppid=14341 vsize=22056 CPUtime=24.82
/proc/14347/stat : 14347 (minisat_static) R 14341 14341 13991 0 -1 4194304 5122 0 0 0 2478 4 0 0 25 0 1 0 310751115 22585344 5108 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/14347/statm: 5514 5108 76 171 0 5341 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 27412
[startup+51.1014 s]
/proc/loadavg: 0.99 0.97 0.99 2/66 14347
/proc/meminfo: memFree=1870056/2055920 swapFree=4146180/4192956
[pid=14341] ppid=14339 vsize=5356 CPUtime=0.64
/proc/14341/stat : 14341 (SatELiteGTI) S 14339 14341 13991 0 -1 4194304 336 4860 0 0 0 0 60 4 16 0 1 0 310751050 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14341/statm: 1339 239 197 169 0 50 0
[pid=14347] ppid=14341 vsize=26668 CPUtime=50.41
/proc/14347/stat : 14347 (minisat_static) R 14341 14341 13991 0 -1 4194304 6185 0 0 0 5036 5 0 0 25 0 1 0 310751115 27308032 6171 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/14347/statm: 6667 6171 76 171 0 6494 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 32024
[startup+102.305 s]
/proc/loadavg: 0.99 0.97 0.99 2/66 14347
/proc/meminfo: memFree=1868520/2055920 swapFree=4146180/4192956
[pid=14341] ppid=14339 vsize=5356 CPUtime=0.64
/proc/14341/stat : 14341 (SatELiteGTI) S 14339 14341 13991 0 -1 4194304 336 4860 0 0 0 0 60 4 16 0 1 0 310751050 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14341/statm: 1339 239 197 169 0 50 0
[pid=14347] ppid=14341 vsize=28240 CPUtime=101.59
/proc/14347/stat : 14347 (minisat_static) R 14341 14341 13991 0 -1 4194304 6566 0 0 0 10154 5 0 0 25 0 1 0 310751115 28917760 6552 1992294400 134512640 135215339 4294956240 18446744073709551615 134529099 0 0 4096 3 0 0 0 17 1 0 0
/proc/14347/statm: 7060 6552 76 171 0 6887 0
Current children cumulated CPU time (s) 102.23
Current children cumulated vsize (KiB) 33596
[startup+162.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/66 14347
/proc/meminfo: memFree=1867752/2055920 swapFree=4146180/4192956
[pid=14341] ppid=14339 vsize=5356 CPUtime=0.64
/proc/14341/stat : 14341 (SatELiteGTI) S 14339 14341 13991 0 -1 4194304 336 4860 0 0 0 0 60 4 16 0 1 0 310751050 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14341/statm: 1339 239 197 169 0 50 0
[pid=14347] ppid=14341 vsize=29044 CPUtime=161.57
/proc/14347/stat : 14347 (minisat_static) R 14341 14341 13991 0 -1 4194304 6721 0 0 0 16151 6 0 0 25 0 1 0 310751115 29741056 6707 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/14347/statm: 7261 6707 76 171 0 7088 0
Current children cumulated CPU time (s) 162.21
Current children cumulated vsize (KiB) 34400
[startup+222.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/66 14347
/proc/meminfo: memFree=1866728/2055920 swapFree=4146180/4192956
[pid=14341] ppid=14339 vsize=5356 CPUtime=0.64
/proc/14341/stat : 14341 (SatELiteGTI) S 14339 14341 13991 0 -1 4194304 336 4860 0 0 0 0 60 4 16 0 1 0 310751050 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14341/statm: 1339 239 197 169 0 50 0
[pid=14347] ppid=14341 vsize=30192 CPUtime=221.54
/proc/14347/stat : 14347 (minisat_static) R 14341 14341 13991 0 -1 4194304 6954 0 0 0 22148 6 0 0 25 0 1 0 310751115 30916608 6940 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/14347/statm: 7548 6940 76 171 0 7375 0
Current children cumulated CPU time (s) 222.18
Current children cumulated vsize (KiB) 35548
[startup+282.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/66 14347
/proc/meminfo: memFree=1866664/2055920 swapFree=4146180/4192956
[pid=14341] ppid=14339 vsize=5356 CPUtime=0.64
/proc/14341/stat : 14341 (SatELiteGTI) S 14339 14341 13991 0 -1 4194304 336 4860 0 0 0 0 60 4 16 0 1 0 310751050 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14341/statm: 1339 239 197 169 0 50 0
[pid=14347] ppid=14341 vsize=30192 CPUtime=281.53
/proc/14347/stat : 14347 (minisat_static) R 14341 14341 13991 0 -1 4194304 6956 0 0 0 28146 7 0 0 25 0 1 0 310751115 30916608 6942 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/14347/statm: 7548 6942 76 171 0 7375 0
Current children cumulated CPU time (s) 282.17
Current children cumulated vsize (KiB) 35548
[startup+342.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/66 14347
/proc/meminfo: memFree=1866536/2055920 swapFree=4146180/4192956
[pid=14341] ppid=14339 vsize=5356 CPUtime=0.64
/proc/14341/stat : 14341 (SatELiteGTI) S 14339 14341 13991 0 -1 4194304 336 4860 0 0 0 0 60 4 16 0 1 0 310751050 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14341/statm: 1339 239 197 169 0 50 0
[pid=14347] ppid=14341 vsize=30192 CPUtime=341.5
/proc/14347/stat : 14347 (minisat_static) R 14341 14341 13991 0 -1 4194304 6957 0 0 0 34143 7 0 0 25 0 1 0 310751115 30916608 6943 1992294400 134512640 135215339 4294956240 18446744073709551615 134529083 0 0 4096 3 0 0 0 17 1 0 0
/proc/14347/statm: 7548 6943 76 171 0 7375 0
Current children cumulated CPU time (s) 342.14
Current children cumulated vsize (KiB) 35548
[startup+402.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/66 14347
/proc/meminfo: memFree=1866408/2055920 swapFree=4146180/4192956
[pid=14341] ppid=14339 vsize=5356 CPUtime=0.64
/proc/14341/stat : 14341 (SatELiteGTI) S 14339 14341 13991 0 -1 4194304 336 4860 0 0 0 0 60 4 16 0 1 0 310751050 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14341/statm: 1339 239 197 169 0 50 0
[pid=14347] ppid=14341 vsize=30192 CPUtime=401.47
/proc/14347/stat : 14347 (minisat_static) R 14341 14341 13991 0 -1 4194304 6960 0 0 0 40140 7 0 0 25 0 1 0 310751115 30916608 6946 1992294400 134512640 135215339 4294956240 18446744073709551615 134528688 0 0 4096 3 0 0 0 17 1 0 0
/proc/14347/statm: 7548 6946 76 171 0 7375 0
Current children cumulated CPU time (s) 402.11
Current children cumulated vsize (KiB) 35548
[startup+462.302 s]
################
# More data... #
################
[startup+582.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/66 14347
/proc/meminfo: memFree=1865896/2055920 swapFree=4146180/4192956
[pid=14341] ppid=14339 vsize=5356 CPUtime=0.64
/proc/14341/stat : 14341 (SatELiteGTI) S 14339 14341 13991 0 -1 4194304 336 4860 0 0 0 0 60 4 16 0 1 0 310751050 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14341/statm: 1339 239 197 169 0 50 0
[pid=14347] ppid=14341 vsize=30356 CPUtime=581.41
/proc/14347/stat : 14347 (minisat_static) R 14341 14341 13991 0 -1 4194304 7000 0 0 0 58133 8 0 0 25 0 1 0 310751115 31084544 6986 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/14347/statm: 7589 6986 76 171 0 7416 0
Current children cumulated CPU time (s) 582.05
Current children cumulated vsize (KiB) 35712
[startup+642.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/66 14347
/proc/meminfo: memFree=1865832/2055920 swapFree=4146180/4192956
[pid=14341] ppid=14339 vsize=5356 CPUtime=0.64
/proc/14341/stat : 14341 (SatELiteGTI) S 14339 14341 13991 0 -1 4194304 336 4860 0 0 0 0 60 4 16 0 1 0 310751050 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14341/statm: 1339 239 197 169 0 50 0
[pid=14347] ppid=14341 vsize=30356 CPUtime=641.39
/proc/14347/stat : 14347 (minisat_static) R 14341 14341 13991 0 -1 4194304 7000 0 0 0 64131 8 0 0 25 0 1 0 310751115 31084544 6986 1992294400 134512640 135215339 4294956240 18446744073709551615 134528866 0 0 4096 3 0 0 0 17 1 0 0
/proc/14347/statm: 7589 6986 76 171 0 7416 0
Current children cumulated CPU time (s) 642.03
Current children cumulated vsize (KiB) 35712
[startup+702.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/66 14347
/proc/meminfo: memFree=1865320/2055920 swapFree=4146180/4192956
[pid=14341] ppid=14339 vsize=5356 CPUtime=0.64
/proc/14341/stat : 14341 (SatELiteGTI) S 14339 14341 13991 0 -1 4194304 336 4860 0 0 0 0 60 4 16 0 1 0 310751050 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14341/statm: 1339 239 197 169 0 50 0
[pid=14347] ppid=14341 vsize=30848 CPUtime=701.37
/proc/14347/stat : 14347 (minisat_static) R 14341 14341 13991 0 -1 4194304 7092 0 0 0 70128 9 0 0 25 0 1 0 310751115 31588352 7078 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/14347/statm: 7712 7078 76 171 0 7539 0
Current children cumulated CPU time (s) 702.01
Current children cumulated vsize (KiB) 36204
[startup+762.305 s]
/proc/loadavg: 0.99 0.97 0.99 2/66 14347
/proc/meminfo: memFree=1865128/2055920 swapFree=4146180/4192956
[pid=14341] ppid=14339 vsize=5356 CPUtime=0.64
/proc/14341/stat : 14341 (SatELiteGTI) S 14339 14341 13991 0 -1 4194304 336 4860 0 0 0 0 60 4 16 0 1 0 310751050 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14341/statm: 1339 239 197 169 0 50 0
[pid=14347] ppid=14341 vsize=31012 CPUtime=761.36
/proc/14347/stat : 14347 (minisat_static) R 14341 14341 13991 0 -1 4194304 7121 0 0 0 76127 9 0 0 25 0 1 0 310751115 31756288 7107 1992294400 134512640 135215339 4294956240 18446744073709551615 134528717 0 0 4096 3 0 0 0 17 1 0 0
/proc/14347/statm: 7753 7107 76 171 0 7580 0
Current children cumulated CPU time (s) 762
Current children cumulated vsize (KiB) 36368
[startup+822.302 s]
/proc/loadavg: 1.10 1.00 1.00 2/66 14353
/proc/meminfo: memFree=1864744/2055920 swapFree=4146180/4192956
[pid=14341] ppid=14339 vsize=5356 CPUtime=0.64
/proc/14341/stat : 14341 (SatELiteGTI) S 14339 14341 13991 0 -1 4194304 336 4860 0 0 0 0 60 4 16 0 1 0 310751050 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14341/statm: 1339 239 197 169 0 50 0
[pid=14347] ppid=14341 vsize=31012 CPUtime=821.32
/proc/14347/stat : 14347 (minisat_static) R 14341 14341 13991 0 -1 4194304 7124 0 0 0 82123 9 0 0 25 0 1 0 310751115 31756288 7110 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/14347/statm: 7753 7110 76 171 0 7580 0
Current children cumulated CPU time (s) 821.96
Current children cumulated vsize (KiB) 36368
[startup+882.302 s]
/proc/loadavg: 1.07 1.01 1.00 2/66 14353
/proc/meminfo: memFree=1864744/2055920 swapFree=4146180/4192956
[pid=14341] ppid=14339 vsize=5356 CPUtime=0.64
/proc/14341/stat : 14341 (SatELiteGTI) S 14339 14341 13991 0 -1 4194304 336 4860 0 0 0 0 60 4 16 0 1 0 310751050 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14341/statm: 1339 239 197 169 0 50 0
[pid=14347] ppid=14341 vsize=31176 CPUtime=881.31
/proc/14347/stat : 14347 (minisat_static) R 14341 14341 13991 0 -1 4194304 7160 0 0 0 88121 10 0 0 25 0 1 0 310751115 31924224 7146 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/14347/statm: 7794 7146 76 171 0 7621 0
Current children cumulated CPU time (s) 881.95
Current children cumulated vsize (KiB) 36532
[startup+942.302 s]
/proc/loadavg: 1.14 1.04 1.01 2/66 14353
/proc/meminfo: memFree=1864488/2055920 swapFree=4146180/4192956
[pid=14341] ppid=14339 vsize=5356 CPUtime=0.64
/proc/14341/stat : 14341 (SatELiteGTI) S 14339 14341 13991 0 -1 4194304 336 4860 0 0 0 0 60 4 16 0 1 0 310751050 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14341/statm: 1339 239 197 169 0 50 0
[pid=14347] ppid=14341 vsize=31420 CPUtime=941.29
/proc/14347/stat : 14347 (minisat_static) R 14341 14341 13991 0 -1 4194304 7204 0 0 0 94119 10 0 0 25 0 1 0 310751115 32174080 7190 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/14347/statm: 7855 7190 76 171 0 7682 0
Current children cumulated CPU time (s) 941.93
Current children cumulated vsize (KiB) 36776
Solver just ended. Dumping a history of the last processes samples
[startup+947.106 s]
/proc/loadavg: 1.12 1.04 1.01 2/66 14353
/proc/meminfo: memFree=1864488/2055920 swapFree=4146180/4192956
[pid=14341] ppid=14339 vsize=5356 CPUtime=0.64
/proc/14341/stat : 14341 (SatELiteGTI) S 14339 14341 13991 0 -1 4194304 336 4860 0 0 0 0 60 4 16 0 1 0 310751050 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14341/statm: 1339 239 197 169 0 50 0
[pid=14347] ppid=14341 vsize=31420 CPUtime=946.09
/proc/14347/stat : 14347 (minisat_static) R 14341 14341 13991 0 -1 4194304 7204 0 0 0 94599 10 0 0 25 0 1 0 310751115 32174080 7190 1992294400 134512640 135215339 4294956240 18446744073709551615 134529099 0 0 4096 3 0 0 0 17 1 0 0
/proc/14347/statm: 7855 7190 76 171 0 7682 0
Current children cumulated CPU time (s) 946.73
Current children cumulated vsize (KiB) 36776
[startup+953.501 s]
/proc/loadavg: 1.11 1.04 1.01 2/66 14353
/proc/meminfo: memFree=1864488/2055920 swapFree=4146180/4192956
[pid=14341] ppid=14339 vsize=5356 CPUtime=0.64
/proc/14341/stat : 14341 (SatELiteGTI) S 14339 14341 13991 0 -1 4194304 336 4860 0 0 0 0 60 4 16 0 1 0 310751050 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14341/statm: 1339 239 197 169 0 50 0
[pid=14347] ppid=14341 vsize=31420 CPUtime=952.48
/proc/14347/stat : 14347 (minisat_static) R 14341 14341 13991 0 -1 4194304 7204 0 0 0 95238 10 0 0 25 0 1 0 310751115 32174080 7190 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/14347/statm: 7855 7190 76 171 0 7682 0
Current children cumulated CPU time (s) 953.12
Current children cumulated vsize (KiB) 36776
[startup+955.102 s]
/proc/loadavg: 1.11 1.04 1.01 2/66 14353
/proc/meminfo: memFree=1864488/2055920 swapFree=4146180/4192956
[pid=14341] ppid=14339 vsize=5356 CPUtime=0.64
/proc/14341/stat : 14341 (SatELiteGTI) S 14339 14341 13991 0 -1 4194304 336 4860 0 0 0 0 60 4 16 0 1 0 310751050 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14341/statm: 1339 239 197 169 0 50 0
[pid=14347] ppid=14341 vsize=31420 CPUtime=954.08
/proc/14347/stat : 14347 (minisat_static) R 14341 14341 13991 0 -1 4194304 7204 0 0 0 95398 10 0 0 25 0 1 0 310751115 32174080 7190 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 1 0 0
/proc/14347/statm: 7855 7190 76 171 0 7682 0
Current children cumulated CPU time (s) 954.72
Current children cumulated vsize (KiB) 36776
[startup+955.907 s]
/proc/loadavg: 1.11 1.04 1.01 2/66 14353
/proc/meminfo: memFree=1864488/2055920 swapFree=4146180/4192956
[pid=14341] ppid=14339 vsize=5356 CPUtime=0.64
/proc/14341/stat : 14341 (SatELiteGTI) S 14339 14341 13991 0 -1 4194304 336 4860 0 0 0 0 60 4 16 0 1 0 310751050 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14341/statm: 1339 239 197 169 0 50 0
[pid=14347] ppid=14341 vsize=31420 CPUtime=954.89
/proc/14347/stat : 14347 (minisat_static) R 14341 14341 13991 0 -1 4194304 7204 0 0 0 95479 10 0 0 25 0 1 0 310751115 32174080 7190 1992294400 134512640 135215339 4294956240 18446744073709551615 134528676 0 0 4096 3 0 0 0 17 1 0 0
/proc/14347/statm: 7855 7190 76 171 0 7682 0
Current children cumulated CPU time (s) 955.53
Current children cumulated vsize (KiB) 36776
[startup+956.702 s]
/proc/loadavg: 1.11 1.04 1.01 2/66 14353
/proc/meminfo: memFree=1864488/2055920 swapFree=4146180/4192956
[pid=14341] ppid=14339 vsize=5356 CPUtime=0.64
/proc/14341/stat : 14341 (SatELiteGTI) S 14339 14341 13991 0 -1 4194304 336 4860 0 0 0 0 60 4 16 0 1 0 310751050 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14341/statm: 1339 239 197 169 0 50 0
[pid=14347] ppid=14341 vsize=31420 CPUtime=955.68
/proc/14347/stat : 14347 (minisat_static) R 14341 14341 13991 0 -1 4194304 7204 0 0 0 95558 10 0 0 25 0 1 0 310751115 32174080 7190 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/14347/statm: 7855 7190 76 171 0 7682 0
Current children cumulated CPU time (s) 956.32
Current children cumulated vsize (KiB) 36776
[startup+956.902 s]
/proc/loadavg: 1.11 1.04 1.01 2/66 14353
/proc/meminfo: memFree=1864488/2055920 swapFree=4146180/4192956
[pid=14341] ppid=14339 vsize=5356 CPUtime=0.64
/proc/14341/stat : 14341 (SatELiteGTI) S 14339 14341 13991 0 -1 4194304 336 4860 0 0 0 0 60 4 16 0 1 0 310751050 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14341/statm: 1339 239 197 169 0 50 0
[pid=14347] ppid=14341 vsize=31420 CPUtime=955.88
/proc/14347/stat : 14347 (minisat_static) R 14341 14341 13991 0 -1 4194304 7204 0 0 0 95578 10 0 0 25 0 1 0 310751115 32174080 7190 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/14347/statm: 7855 7190 76 171 0 7682 0
Current children cumulated CPU time (s) 956.52
Current children cumulated vsize (KiB) 36776
[startup+957.006 s]
/proc/loadavg: 1.11 1.04 1.01 2/66 14353
/proc/meminfo: memFree=1864488/2055920 swapFree=4146180/4192956
[pid=14341] ppid=14339 vsize=5356 CPUtime=0.64
/proc/14341/stat : 14341 (SatELiteGTI) S 14339 14341 13991 0 -1 4194304 336 4860 0 0 0 0 60 4 16 0 1 0 310751050 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14341/statm: 1339 239 197 169 0 50 0
[pid=14347] ppid=14341 vsize=31420 CPUtime=955.98
/proc/14347/stat : 14347 (minisat_static) R 14341 14341 13991 0 -1 4194304 7204 0 0 0 95588 10 0 0 25 0 1 0 310751115 32174080 7190 1992294400 134512640 135215339 4294956240 18446744073709551615 134528742 0 0 4096 3 0 0 0 17 1 0 0
/proc/14347/statm: 7855 7190 76 171 0 7682 0
Current children cumulated CPU time (s) 956.62
Current children cumulated vsize (KiB) 36776
Child status: 20
Real time (s): 957.044
CPU time (s): 956.684
CPU user time (s): 956.519
CPU system time (s): 0.164974
CPU usage (%): 99.9624
Max. virtual memory (cumulated for all children) (KiB): 36776
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 956.519
system time used= 0.164974
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 12561
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= 44
involuntary context switches= 3362
runsolver used 1.11883 second user time and 2.45163 second system time
The end
Begin job on node71 at 2009-05-20 15:47:31
IDJOB=1834009
IDBENCH=71128
IDSOLVER=671
FILE ID=node71/1834009-1242827250
PBS_JOBID= 9322481
Free space on /tmp= 66264 MiB
SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT09/CRAFTED/ramseycube/Q32inK11.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1834009-1242827250/watcher-1834009-1242827250 -o /tmp/evaluation-result-1834009-1242827250/solver-1834009-1242827250 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1834009-1242827250.cnf
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 594c254e77c66d387919761f50e63b6d
RANDOM SEED=1130161722
node71.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.236
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.236
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: 1900632 kB
Buffers: 14904 kB
Cached: 66224 kB
SwapCached: 40864 kB
Active: 81452 kB
Inactive: 42184 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1900632 kB
SwapTotal: 4192956 kB
SwapFree: 4146180 kB
Dirty: 6472 kB
Writeback: 0 kB
Mapped: 13940 kB
Slab: 17664 kB
Committed_AS: 919096 kB
PageTables: 1440 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264952 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 66264 MiB
End job on node71 at 2009-05-20 16:03:28