0.00/0.00 c Parsing...
0.12/0.14 c ==============================================================================
0.12/0.14 c | | ORIGINAL | LEARNT | |
0.12/0.14 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress |
0.12/0.14 c ==============================================================================
0.12/0.14 c | 0 | 151127 442273 | 45338 0 0 nan | 0.000 % |
1.02/1.06 c | 0 | 66882 225550 | -- 0 -- -- | -- | -78765/-200275
1.02/1.06 c ==============================================================================
1.02/1.06 c Result : #vars: 7670 #clauses: 66882 #literals: 225550
1.02/1.06 c CPU time: 1.04 s
1.02/1.06 c ==============================================================================
1.12/1.14 c This is MiniSat 2.0 beta
1.12/1.14 c WARNING: for repeatability, setting FPU to use double precision
1.12/1.14 c ============================[ Problem Statistics ]=============================
1.12/1.14 c | |
1.12/1.14 c | Number of variables: 7670 |
1.12/1.14 c | Number of clauses: 66882 |
1.12/1.18 c | Parsing time: 0.04 s |
1.12/1.19 c ============================[ Search Statistics ]==============================
1.12/1.19 c | Conflicts | ORIGINAL | LEARNT | Progress |
1.12/1.19 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
1.12/1.19 c ===============================================================================
1.12/1.19 c | 0 | 7670 66882 225550 | 22294 0 nan | 0.000 % |
1.12/1.19 c | 101 | 7670 66882 225550 | 22294 101 9 | 0.000 % |
1.12/1.20 c | 203 | 7669 66882 225550 | 22294 202 10 | 0.013 % |
1.12/1.20 c | 303 | 7669 66882 225550 | 22294 302 10 | 0.013 % |
1.12/1.21 c | 413 | 7669 66882 225550 | 22294 412 10 | 0.013 % |
1.12/1.21 c | 513 | 7669 66882 225550 | 22294 512 11 | 0.013 % |
1.14/1.22 c | 623 | 7668 66882 225550 | 22294 621 11 | 0.039 % |
1.14/1.22 c | 745 | 7668 66882 225550 | 22294 743 11 | 0.039 % |
1.14/1.23 c | 845 | 7667 66882 225550 | 22294 843 11 | 0.039 % |
1.14/1.24 c | 957 | 7667 66882 225550 | 22294 955 11 | 0.039 % |
1.14/1.25 c | 1079 | 7667 66882 225550 | 22294 1077 11 | 0.039 % |
1.14/1.25 c | 1213 | 7667 66882 225550 | 22294 1211 12 | 0.039 % |
1.14/1.26 c | 1314 | 7667 66882 225550 | 22294 1312 12 | 0.039 % |
1.14/1.26 c | 1425 | 7667 66882 225550 | 22294 1423 12 | 0.039 % |
1.14/1.27 c | 1546 | 7667 66882 225550 | 22294 1544 12 | 0.039 % |
1.14/1.28 c | 1679 | 7667 66882 225550 | 22294 1677 12 | 0.039 % |
1.14/1.29 c | 1827 | 7667 66882 225550 | 22294 1825 12 | 0.039 % |
1.14/1.29 c | 1927 | 7667 66882 225550 | 22294 1925 12 | 0.039 % |
1.14/1.30 c | 2037 | 7667 66882 225550 | 22294 2035 12 | 0.039 % |
1.14/1.31 c | 2160 | 7667 66882 225550 | 22294 2158 12 | 0.039 % |
1.14/1.32 c | 2294 | 7667 66468 223528 | 22294 2289 13 | 0.039 % |
1.14/1.33 c | 2440 | 7667 66468 223528 | 22294 2435 13 | 0.039 % |
1.14/1.34 c | 2600 | 7667 66468 223528 | 22294 2595 13 | 0.039 % |
1.14/1.35 c | 2700 | 7667 66468 223528 | 22294 2695 13 | 0.039 % |
1.14/1.35 c | 2811 | 7667 66468 223528 | 22294 2806 13 | 0.039 % |
1.14/1.36 c | 2933 | 7667 66468 223528 | 22294 2928 13 | 0.039 % |
1.14/1.36 c | 3066 | 7667 66468 223528 | 22294 3061 12 | 0.039 % |
1.14/1.37 c | 3213 | 7667 66468 223528 | 22294 3208 12 | 0.039 % |
1.14/1.38 c | 3375 | 7667 66468 223528 | 22294 3370 12 | 0.039 % |
1.14/1.39 c | 3552 | 7667 66468 223528 | 22294 3547 13 | 0.039 % |
1.14/1.40 c | 3653 | 7667 66468 223528 | 22294 3648 13 | 0.039 % |
1.14/1.41 c | 3763 | 7667 66468 223528 | 22294 3758 13 | 0.039 % |
1.14/1.42 c | 3884 | 7667 66468 223528 | 22294 3879 13 | 0.039 % |
1.14/1.43 c | 4019 | 7667 66468 223528 | 22294 4014 13 | 0.039 % |
1.14/1.44 c | 4166 | 7667 66468 223528 | 22294 4161 13 | 0.039 % |
1.14/1.45 c | 4328 | 7667 66468 223528 | 22294 4323 13 | 0.039 % |
1.14/1.46 c | 4504 | 7667 66468 223528 | 22294 4499 13 | 0.039 % |
1.14/1.48 c | 4699 | 7667 66468 223528 | 22294 4694 13 | 0.039 % |
1.14/1.49 c | 4800 | 7667 66468 223528 | 22294 4795 13 | 0.039 % |
1.14/1.49 c | 4910 | 7667 66468 223528 | 22294 4905 13 | 0.039 % |
1.14/1.50 c | 5032 | 7667 66468 223528 | 22294 5027 13 | 0.039 % |
1.14/1.51 c | 5165 | 7667 66468 223528 | 22294 5160 13 | 0.039 % |
1.14/1.53 c | 5311 | 7667 66468 223528 | 22294 5306 13 | 0.039 % |
1.14/1.54 c | 5473 | 7667 66468 223528 | 22294 5468 13 | 0.039 % |
1.14/1.56 c | 5651 | 7667 66468 223528 | 22294 5646 13 | 0.039 % |
1.14/1.57 c | 5845 | 7667 66468 223528 | 22294 5840 13 | 0.039 % |
1.14/1.59 c | 6058 | 7667 66468 223528 | 22294 6053 13 | 0.039 % |
1.14/1.59 c | 6159 | 7667 66468 223528 | 22294 6154 13 | 0.039 % |
1.14/1.60 c | 6269 | 7667 66468 223528 | 22294 6264 13 | 0.039 % |
1.14/1.61 c | 6390 | 7667 66468 223528 | 22294 6385 13 | 0.039 % |
1.14/1.63 c | 6525 | 7667 66468 223528 | 22294 6520 13 | 0.039 % |
1.14/1.64 c | 6672 | 7667 66468 223528 | 22294 6667 13 | 0.039 % |
1.14/1.65 c | 6833 | 7667 66468 223528 | 22294 6828 13 | 0.039 % |
1.14/1.66 c | 7009 | 7667 66468 223528 | 22294 7004 13 | 0.039 % |
1.14/1.68 c | 7203 | 7667 66468 223528 | 22294 7198 13 | 0.039 % |
1.14/1.69 c | 7415 | 7667 66468 223528 | 22294 7410 13 | 0.039 % |
1.14/1.71 c | 7649 | 7667 66468 223528 | 22294 7644 13 | 0.039 % |
1.14/1.72 c | 7750 | 7667 66468 223528 | 22294 7745 14 | 0.039 % |
1.14/1.73 c | 7861 | 7667 66468 223528 | 22294 7856 14 | 0.039 % |
1.14/1.74 c | 7983 | 7667 66468 223528 | 22294 7978 13 | 0.039 % |
1.14/1.75 c | 8117 | 7667 66468 223528 | 22294 8112 13 | 0.039 % |
1.14/1.76 c | 8263 | 7667 66468 223528 | 22294 8258 13 | 0.039 % |
1.14/1.78 c | 8425 | 7667 66468 223528 | 22294 8420 13 | 0.039 % |
1.14/1.79 c | 8603 | 7667 66468 223528 | 22294 8598 13 | 0.039 % |
1.14/1.81 c | 8797 | 7667 66468 223528 | 22294 8792 13 | 0.039 % |
1.14/1.82 c | 9009 | 7667 66468 223528 | 22294 9004 14 | 0.039 % |
1.14/1.85 c | 9242 | 7667 66468 223528 | 22294 9237 14 | 0.039 % |
1.14/1.87 c | 9501 | 7667 66468 223528 | 22294 9496 14 | 0.039 % |
1.14/1.88 c | 9601 | 7667 66468 223528 | 22294 9596 14 | 0.039 % |
1.14/1.88 c | 9712 | 7667 66468 223528 | 22294 9707 14 | 0.039 % |
1.14/1.89 c | 9833 | 7667 66468 223528 | 22294 9828 14 | 0.039 % |
1.14/1.90 c | 9966 | 7667 66468 223528 | 22294 9961 14 | 0.039 % |
1.14/1.91 c | 10113 | 7667 66468 223528 | 2147483647 10108 14 | 0.039 % |
1.14/1.93 c | 10275 | 7667 66468 223528 | 2147483647 10270 14 | 0.039 % |
1.14/1.95 c | 10451 | 7667 66468 223528 | 2147483647 10446 14 | 0.039 % |
1.14/1.97 c | 10645 | 7667 66468 223528 | 2147483647 10640 14 | 0.039 % |
1.14/1.99 c | 10859 | 7667 66468 223528 | 2147483647 10854 14 | 0.039 % |
1.14/2.02 c | 11092 | 7667 66468 223528 | 2147483647 11087 14 | 0.039 % |
1.14/2.04 c | 11348 | 7667 66468 223528 | 2147483647 11343 14 | 0.039 % |
1.14/2.08 c | 11629 | 7667 66468 223528 | 2147483647 11624 14 | 0.039 % |
1.14/2.09 c | 11729 | 7667 66468 223528 | 2147483647 11724 14 | 0.039 % |
1.14/2.10 c | 11840 | 7667 66468 223528 | 2147483647 11835 14 | 0.039 % |
1.14/2.11 c | 11961 | 7667 66468 223528 | 2147483647 11956 14 | 0.039 % |
2.12/2.12 c | 12094 | 7667 66468 223528 | 2147483647 12089 14 | 0.039 % |
2.12/2.14 c | 12240 | 7667 66468 223528 | 2147483647 12235 14 | 0.039 % |
2.12/2.16 c | 12400 | 7667 66468 223528 | 2147483647 12395 14 | 0.039 % |
2.12/2.18 c | 12578 | 7667 66468 223528 | 2147483647 12573 14 | 0.039 % |
2.12/2.19 c | 12771 | 7667 66468 223528 | 2147483647 12766 14 | 0.039 % |
2.12/2.21 c | 12984 | 7667 66468 223528 | 2147483647 12979 14 | 0.039 % |
2.22/2.23 c | 13217 | 7667 66468 223528 | 2147483647 13212 14 | 0.039 % |
2.22/2.25 c | 13473 | 7667 66468 223528 | 2147483647 13468 14 | 0.039 % |
2.22/2.27 c | 13754 | 7667 66468 223528 | 2147483647 13749 14 | 0.039 % |
2.22/2.29 c | 14064 | 7667 66468 223528 | 2147483647 14059 14 | 0.039 % |
2.22/2.30 c | 14165 | 7667 66468 223528 | 2147483647 14160 14 | 0.039 % |
2.22/2.31 c | 14275 | 7667 66468 223528 | 2147483647 14270 14 | 0.039 % |
2.32/2.33 c | 14397 | 7667 66468 223528 | 2147483647 14392 14 | 0.039 % |
2.32/2.34 c | 14530 | 7667 66468 223528 | 2147483647 14525 14 | 0.039 % |
2.32/2.36 c | 14677 | 7667 66468 223528 | 2147483647 14672 14 | 0.039 % |
2.32/2.38 c | 14837 | 7667 66468 223528 | 2147483647 14832 14 | 0.039 % |
2.32/2.40 c | 15013 | 7667 66468 223528 | 2147483647 15008 14 | 0.039 % |
2.42/2.43 c | 15206 | 7667 66468 223528 | 2147483647 15201 14 | 0.039 % |
2.42/2.46 c | 15419 | 7667 66468 223528 | 2147483647 15414 14 | 0.039 % |
2.42/2.48 c | 15652 | 7667 66468 223528 | 2147483647 15647 14 | 0.039 % |
2.42/2.51 c | 15908 | 7667 66468 223528 | 2147483647 15903 14 | 0.039 % |
2.52/2.53 c | 16189 | 7667 66468 223528 | 2147483647 16184 14 | 0.039 % |
2.52/2.57 c | 16498 | 7667 66468 223528 | 2147483647 16493 14 | 0.039 % |
2.62/2.62 c | 16839 | 7667 66468 223528 | 2147483647 16834 14 | 0.039 % |
2.62/2.63 c | 16942 | 7667 66468 223528 | 2147483647 16937 14 | 0.039 % |
2.62/2.64 c | 17053 | 7667 66468 223528 | 2147483647 17048 14 | 0.039 % |
2.62/2.65 c | 17174 | 7667 66468 223528 | 2147483647 17169 14 | 0.039 % |
2.62/2.67 c | 17307 | 7667 66468 223528 | 2147483647 17302 14 | 0.039 % |
2.62/2.69 c | 17453 | 7667 66468 223528 | 2147483647 17448 14 | 0.039 % |
2.62/2.70 c | 17613 | 7667 66468 223528 | 2147483647 17608 14 | 0.039 % |
2.72/2.72 c | 17790 | 7667 66468 223528 | 2147483647 17785 14 | 0.039 % |
2.72/2.74 c | 17984 | 7667 66468 223528 | 2147483647 17979 14 | 0.039 % |
2.72/2.76 c | 18196 | 7667 66468 223528 | 2147483647 18191 14 | 0.039 % |
2.72/2.79 c | 18429 | 7667 66468 223528 | 2147483647 18424 14 | 0.039 % |
2.82/2.82 c | 18685 | 7667 66468 223528 | 2147483647 18680 14 | 0.039 % |
2.82/2.85 c | 18969 | 7667 66468 223528 | 2147483647 18964 14 | 0.039 % |
2.82/2.88 c | 19278 | 7667 66468 223528 | 2147483647 19273 14 | 0.039 % |
2.82/2.91 c | 19619 | 7667 66468 223528 | 2147483647 19614 14 | 0.039 % |
2.91/2.96 c | 19993 | 7667 66468 223528 | 2147483647 19988 14 | 0.039 % |
2.91/2.97 c | 20093 | 7667 66468 223528 | 2147483647 20088 14 | 0.039 % |
2.91/2.99 c | 20206 | 7667 66468 223528 | 2147483647 20201 14 | 0.039 % |
2.91/3.00 c | 20327 | 7667 66468 223528 | 2147483647 20322 14 | 0.039 % |
3.01/3.02 c | 20461 | 7667 66468 223528 | 2147483647 20456 14 | 0.039 % |
3.01/3.04 c | 20608 | 7667 66468 223528 | 2147483647 20603 14 | 0.039 % |
3.01/3.06 c | 20768 | 7667 66468 223528 | 2147483647 20763 14 | 0.039 % |
3.01/3.08 c | 20945 | 7667 66468 223528 | 2147483647 20940 14 | 0.039 % |
3.01/3.11 c | 21138 | 7667 66468 223528 | 2147483647 21133 15 | 0.039 % |
3.11/3.14 c | 21350 | 7667 66468 223528 | 2147483647 21345 15 | 0.039 % |
3.11/3.18 c | 21585 | 7667 66468 223528 | 2147483647 21580 15 | 0.039 % |
3.21/3.22 c | 21841 | 7667 66468 223528 | 2147483647 21836 15 | 0.039 % |
3.21/3.26 c | 22124 | 7667 66468 223528 | 2147483647 22119 15 | 0.039 % |
3.21/3.30 c | 22433 | 7667 66468 223528 | 2147483647 22428 15 | 0.039 % |
3.31/3.33 c | 22772 | 7667 66468 223528 | 2147483647 22767 15 | 0.039 % |
3.31/3.38 c | 23144 | 7667 66468 223528 | 2147483647 23139 15 | 0.039 % |
3.41/3.43 c | 23555 | 7667 66468 223528 | 2147483647 23550 15 | 0.039 % |
3.41/3.44 c | 23655 | 7667 66468 223528 | 2147483647 23650 15 | 0.039 % |
3.41/3.46 c | 23765 | 7667 66468 223528 | 2147483647 23760 15 | 0.039 % |
3.41/3.47 c | 23887 | 7667 66468 223528 | 2147483647 23882 15 | 0.039 % |
3.41/3.50 c | 24020 | 7667 66468 223528 | 2147483647 24015 15 | 0.039 % |
3.51/3.52 c | 24171 | 7667 66468 223528 | 2147483647 24166 15 | 0.039 % |
3.51/3.55 c | 24332 | 7667 66468 223528 | 2147483647 24327 15 | 0.039 % |
3.51/3.57 c | 24508 | 7667 66468 223528 | 2147483647 24503 15 | 0.039 % |
3.51/3.60 c | 24701 | 7667 66468 223528 | 2147483647 24696 15 | 0.039 % |
3.61/3.63 c | 24914 | 7667 66468 223528 | 2147483647 24909 15 | 0.039 % |
3.61/3.67 c | 25147 | 7667 66468 223528 | 2147483647 25142 15 | 0.039 % |
3.61/3.71 c | 25403 | 7667 66468 223528 | 2147483647 25398 15 | 0.039 % |
3.71/3.75 c | 25684 | 7667 66468 223528 | 2147483647 25679 15 | 0.039 % |
3.71/3.80 c | 25994 | 7667 66468 223528 | 2147483647 25989 15 | 0.039 % |
3.81/3.85 c | 26336 | 7667 66468 223528 | 2147483647 26331 15 | 0.039 % |
3.81/3.91 c | 26709 | 7667 66468 223528 | 2147483647 26704 15 | 0.039 % |
3.91/3.98 c | 27118 | 7667 66468 223528 | 2147483647 27113 15 | 0.039 % |
4.01/4.04 c | 27567 | 7667 66468 223528 | 2147483647 27562 15 | 0.039 % |
4.01/4.06 c | 27668 | 7667 66468 223528 | 2147483647 27663 15 | 0.039 % |
4.01/4.08 c | 27779 | 7667 66468 223528 | 2147483647 27774 15 | 0.039 % |
4.01/4.10 c | 27900 | 7667 66468 223528 | 2147483647 27895 15 | 0.039 % |
4.11/4.13 c | 28033 | 7667 66468 223528 | 2147483647 28028 15 | 0.039 % |
4.11/4.16 c | 28179 | 7667 66468 223528 | 2147483647 28174 15 | 0.039 % |
4.11/4.17 c | 28339 | 7667 66468 223528 | 2147483647 28334 15 | 0.039 % |
4.11/4.20 c | 28515 | 7667 66468 223528 | 2147483647 28510 15 | 0.039 % |
4.21/4.24 c | 28708 | 7667 66468 223528 | 2147483647 28703 15 | 0.039 % |
4.21/4.28 c | 28920 | 7667 66468 223528 | 2147483647 28915 15 | 0.039 % |
4.31/4.32 c | 29154 | 7667 66468 223528 | 2147483647 29149 15 | 0.039 % |
4.31/4.36 c | 29411 | 7667 66468 223528 | 2147483647 29406 15 | 0.039 % |
4.31/4.41 c | 29695 | 7667 66468 223528 | 2147483647 29690 16 | 0.039 % |
4.41/4.46 c | 30006 | 7667 66468 223528 | 2147483647 30001 16 | 0.039 % |
4.51/4.52 c | 30347 | 7667 66468 223528 | 2147483647 30342 16 | 0.039 % |
4.51/4.59 c | 30719 | 7667 66468 223528 | 2147483647 30714 16 | 0.039 % |
4.61/4.65 c | 31128 | 7667 66468 223528 | 2147483647 31123 16 | 0.039 % |
4.71/4.72 c | 31577 | 7667 66468 223528 | 2147483647 31572 15 | 0.039 % |
4.71/4.80 c | 32072 | 7667 66468 223528 | 2147483647 32067 15 | 0.039 % |
4.71/4.81 c | 32172 | 7667 66468 223528 | 2147483647 32167 15 | 0.039 % |
4.81/4.83 c | 32283 | 7667 66468 223528 | 2147483647 32278 15 | 0.039 % |
4.81/4.84 c | 32406 | 7667 66468 223528 | 2147483647 32401 15 | 0.039 % |
4.81/4.86 c | 32540 | 7667 66468 223528 | 2147483647 32535 15 | 0.039 % |
4.81/4.88 c | 32687 | 7667 66468 223528 | 2147483647 32682 15 | 0.039 % |
4.91/4.96 c | 32847 | 7656 65244 216725 | 2147483647 25246 16 | 0.183 % |
4.91/4.98 c | 33024 | 7656 65244 216725 | 2147483647 25423 16 | 0.183 % |
4.91/5.01 c | 33218 | 7656 65244 216725 | 2147483647 25617 16 | 0.183 % |
5.01/5.05 c | 33431 | 7656 65244 216725 | 2147483647 25830 16 | 0.183 % |
5.01/5.08 c | 33665 | 7656 65244 216725 | 2147483647 26064 16 | 0.183 % |
5.11/5.13 c | 33923 | 7656 65244 216725 | 2147483647 26322 16 | 0.183 % |
5.11/5.16 c | 34204 | 7656 65244 216725 | 2147483647 26603 16 | 0.183 % |
5.21/5.22 c | 34514 | 7656 65244 216725 | 2147483647 26913 16 | 0.183 % |
5.21/5.27 c | 34855 | 7656 65244 216725 | 2147483647 27254 16 | 0.183 % |
5.31/5.35 c | 35228 | 7656 65244 216725 | 2147483647 27627 16 | 0.183 % |
5.41/5.43 c | 35637 | 7656 65244 216725 | 2147483647 28036 16 | 0.183 % |
5.51/5.52 c | 36087 | 7656 65244 216725 | 2147483647 28486 16 | 0.183 % |
5.61/5.62 c | 36580 | 7656 65244 216725 | 2147483647 28979 16 | 0.183 % |
5.61/5.71 c | 37124 | 7656 65244 216725 | 2147483647 29523 16 | 0.183 % |
5.71/5.73 c | 37224 | 7656 65244 216725 | 2147483647 29623 16 | 0.183 % |
5.71/5.76 c | 37335 | 7656 65244 216725 | 2147483647 29734 16 | 0.183 % |
5.71/5.79 c | 37456 | 7656 65244 216725 | 2147483647 29855 16 | 0.183 % |
5.81/5.82 c | 37589 | 7656 65244 216725 | 2147483647 29988 16 | 0.183 % |
5.81/5.85 c | 37736 | 7656 65244 216725 | 2147483647 30135 16 | 0.183 % |
5.81/5.88 c | 37896 | 7656 65244 216725 | 2147483647 30295 16 | 0.183 % |
5.81/5.91 c | 38074 | 7656 65244 216725 | 2147483647 30473 16 | 0.183 % |
5.91/5.96 c | 38267 | 7656 65244 216725 | 2147483647 30666 16 | 0.183 % |
5.91/6.00 c | 38480 | 7656 65244 216725 | 2147483647 30879 16 | 0.183 % |
6.01/6.04 c | 38713 | 7656 65244 216725 | 2147483647 31112 16 | 0.183 % |
6.01/6.07 c | 38971 | 7656 65244 216725 | 2147483647 31370 16 | 0.183 % |
6.11/6.12 c | 39254 | 7656 65244 216725 | 2147483647 31653 16 | 0.183 % |
6.11/6.17 c | 39563 | 7656 65244 216725 | 2147483647 31962 16 | 0.183 % |
6.11/6.21 c | 39902 | 7656 65244 216725 | 2147483647 32301 16 | 0.183 % |
6.21/6.30 c | 40277 | 7656 65244 216725 | 2147483647 32676 16 | 0.183 % |
6.31/6.38 c | 40688 | 7656 65244 216725 | 2147483647 33087 16 | 0.183 % |
6.41/6.46 c | 41137 | 7656 65244 216725 | 2147483647 33536 16 | 0.183 % |
6.51/6.58 c | 41630 | 7656 65244 216725 | 2147483647 34029 17 | 0.183 % |
6.61/6.70 c | 42173 | 7656 65244 216725 | 2147483647 34572 17 | 0.183 % |
6.81/6.84 c | 42769 | 7656 65244 216725 | 2147483647 35168 17 | 0.183 % |
6.81/6.86 c | 42873 | 7656 65244 216725 | 2147483647 35272 17 | 0.183 % |
6.81/6.88 c | 42984 | 7656 65244 216725 | 2147483647 35383 17 | 0.183 % |
6.81/6.91 c | 43105 | 7656 65244 216725 | 2147483647 35504 17 | 0.183 % |
6.91/6.94 c | 43239 | 7656 65244 216725 | 2147483647 35638 17 | 0.183 % |
6.91/6.97 c | 43388 | 7656 65244 216725 | 2147483647 35787 17 | 0.183 % |
6.91/7.01 c | 43548 | 7656 65244 216725 | 2147483647 35947 17 | 0.183 % |
7.01/7.06 c | 43726 | 7656 65244 216725 | 2147483647 36125 17 | 0.183 % |
7.11/7.12 c | 43919 | 7656 65244 216725 | 2147483647 36318 17 | 0.183 % |
7.11/7.16 c | 44131 | 7656 65244 216725 | 2147483647 36530 17 | 0.183 % |
7.21/7.22 c | 44366 | 7656 65244 216725 | 2147483647 36765 17 | 0.183 % |
7.21/7.27 c | 44622 | 7656 65244 216725 | 2147483647 37021 17 | 0.183 % |
7.31/7.35 c | 44904 | 7656 65244 216725 | 2147483647 37303 17 | 0.183 % |
7.41/7.42 c | 45215 | 7656 65244 216725 | 2147483647 37614 17 | 0.183 % |
7.51/7.52 c | 45554 | 7656 65244 216725 | 2147483647 37953 17 | 0.183 % |
7.61/7.64 c | 45926 | 7656 65244 216725 | 2147483647 38325 17 | 0.183 % |
7.71/7.78 c | 46337 | 7656 65244 216725 | 2147483647 38736 17 | 0.183 % |
7.91/7.92 c | 46786 | 7656 65244 216725 | 2147483647 39185 17 | 0.183 % |
8.01/8.08 c | 47279 | 7656 65244 216725 | 2147483647 39678 17 | 0.183 % |
8.21/8.27 c | 47821 | 7656 65244 216725 | 2147483647 40220 17 | 0.183 % |
8.31/8.40 c | 48420 | 7656 65244 216725 | 2147483647 40819 17 | 0.183 % |
8.51/8.57 c | 49075 | 7656 65244 216725 | 2147483647 41474 17 | 0.183 % |
8.51/8.61 c | 49177 | 7656 65244 216725 | 2147483647 41576 17 | 0.183 % |
8.61/8.65 c | 49287 | 7656 65244 216725 | 2147483647 41686 17 | 0.183 % |
8.61/8.69 c | 49410 | 7656 65244 216725 | 2147483647 41809 17 | 0.183 % |
8.71/8.73 c | 49543 | 7656 65244 216725 | 2147483647 41942 17 | 0.183 % |
8.71/8.78 c | 49689 | 7656 65244 216725 | 2147483647 42088 17 | 0.183 % |
8.81/8.82 c | 49852 | 7656 65244 216725 | 2147483647 42251 17 | 0.183 % |
8.81/8.87 c | 50028 | 7656 65244 216725 | 2147483647 42427 17 | 0.183 % |
8.91/8.93 c | 50222 | 7656 65244 216725 | 2147483647 42621 17 | 0.183 % |
8.91/8.99 c | 50434 | 7656 65244 216725 | 2147483647 42833 17 | 0.183 % |
9.01/9.04 c | 50668 | 7656 65244 216725 | 2147483647 43067 17 | 0.183 % |
9.11/9.13 c | 50924 | 7656 65244 216725 | 2147483647 43323 17 | 0.183 % |
9.11/9.20 c | 51209 | 7656 65244 216725 | 2147483647 43608 17 | 0.183 % |
9.21/9.30 c | 51522 | 7656 65244 216725 | 2147483647 43921 17 | 0.183 % |
9.31/9.40 c | 51861 | 7656 65244 216725 | 2147483647 44260 17 | 0.183 % |
9.51/9.52 c | 52234 | 7656 65244 216725 | 2147483647 44633 17 | 0.183 % |
9.61/9.63 c | 52643 | 7656 65244 216725 | 2147483647 45042 17 | 0.183 % |
9.71/9.76 c | 53094 | 7656 65244 216725 | 2147483647 45493 17 | 0.183 % |
9.91/9.96 c | 53587 | 7656 65244 216725 | 2147483647 45986 17 | 0.183 % |
10.11/10.13 c | 54130 | 7656 65244 216725 | 2147483647 46529 17 | 0.183 % |
10.31/10.35 c | 54726 | 7656 65244 216725 | 2147483647 47125 17 | 0.183 % |
10.51/10.54 c | 55381 | 7656 65244 216725 | 2147483647 47780 17 | 0.183 % |
10.71/10.75 c | 56102 | 7656 65244 216725 | 2147483647 48501 17 | 0.183 % |
10.71/10.78 c | 56204 | 7656 65244 216725 | 2147483647 48603 17 | 0.183 % |
10.81/10.81 c | 56314 | 7656 65244 216725 | 2147483647 48713 17 | 0.183 % |
10.81/10.86 c | 56436 | 7656 65244 216725 | 2147483647 48835 17 | 0.183 % |
10.91/10.92 c | 56572 | 7656 65244 216725 | 2147483647 48971 17 | 0.183 % |
10.91/10.98 c | 56720 | 7656 65244 216725 | 2147483647 49119 17 | 0.183 % |
11.01/11.04 c | 56881 | 7656 65244 216725 | 2147483647 49280 17 | 0.183 % |
11.01/11.11 c | 57057 | 7656 65244 216725 | 2147483647 49456 17 | 0.183 % |
11.11/11.20 c | 57250 | 7656 65244 216725 | 2147483647 49649 17 | 0.183 % |
11.21/11.28 c | 57462 | 7656 65244 216725 | 2147483647 49861 17 | 0.183 % |
11.31/11.37 c | 57696 | 7656 65244 216725 | 2147483647 50095 17 | 0.183 % |
11.41/11.45 c | 57952 | 7656 65244 216725 | 2147483647 50351 17 | 0.183 % |
11.51/11.58 c | 58233 | 7656 65244 216725 | 2147483647 50632 17 | 0.183 % |
11.61/11.62 c | 58543 | 7656 65244 216725 | 2147483647 50942 17 | 0.183 % |
11.71/11.78 c | 58882 | 7656 65244 216725 | 2147483647 51281 17 | 0.183 % |
11.91/11.91 c | 59254 | 7656 65244 216725 | 2147483647 51653 18 | 0.183 % |
12.01/12.05 c | 59663 | 7656 65244 216725 | 2147483647 52062 18 | 0.183 % |
12.21/12.24 c | 60112 | 7656 65244 216725 | 2147483647 52511 18 | 0.183 % |
12.41/12.45 c | 60605 | 7656 65244 216725 | 2147483647 53004 18 | 0.183 % |
12.61/12.68 c | 61149 | 7656 65244 216725 | 2147483647 53548 18 | 0.183 % |
12.91/12.94 c | 61745 | 7656 65244 216725 | 2147483647 54144 18 | 0.183 % |
13.21/13.22 c | 62401 | 7656 65244 216725 | 2147483647 54800 18 | 0.183 % |
13.41/13.51 c | 63123 | 7656 65244 216725 | 2147483647 55522 18 | 0.183 % |
13.81/13.85 c | 63921 | 7656 65244 216725 | 2147483647 56320 18 | 0.183 % |
13.81/13.89 c | 64021 | 7656 65244 216725 | 2147483647 56420 18 | 0.183 % |
13.91/13.93 c | 64131 | 7656 65244 216725 | 2147483647 56530 18 | 0.183 % |
13.91/14.00 c | 64255 | 7656 65244 216725 | 2147483647 56654 18 | 0.183 % |
14.01/14.04 c | 64388 | 7656 65244 216725 | 2147483647 56787 18 | 0.183 % |
14.01/14.09 c | 64536 | 7656 65244 216725 | 2147483647 56935 18 | 0.183 % |
14.11/14.17 c | 64696 | 7656 65244 216725 | 2147483647 57095 18 | 0.183 % |
14.21/14.27 c | 64873 | 7656 65244 216725 | 2147483647 57272 18 | 0.183 % |
14.31/14.37 c | 65068 | 7656 65244 216725 | 2147483647 57467 18 | 0.183 % |
14.41/14.50 c | 65282 | 7656 65244 216725 | 2147483647 57681 18 | 0.183 % |
14.51/14.59 c | 65516 | 7656 65244 216725 | 2147483647 57915 18 | 0.183 % |
14.61/14.68 c | 65772 | 7656 65244 216725 | 2147483647 58171 18 | 0.183 % |
14.71/14.81 c | 66056 | 7656 65244 216725 | 2147483647 58455 18 | 0.183 % |
14.91/14.94 c | 66366 | 7656 65244 216725 | 2147483647 58765 18 | 0.183 % |
15.01/15.10 c | 66705 | 7656 65244 216725 | 2147483647 59104 18 | 0.183 % |
15.21/15.27 c | 67077 | 7656 65244 216725 | 2147483647 59476 18 | 0.183 % |
15.41/15.51 c | 67489 | 7656 65244 216725 | 2147483647 59888 18 | 0.183 % |
15.61/15.69 c | 67938 | 7656 65244 216725 | 2147483647 60337 18 | 0.183 % |
15.91/15.96 c | 68434 | 7656 65244 216725 | 2147483647 60833 18 | 0.183 % |
16.11/16.18 c | 68976 | 7656 65244 216725 | 2147483647 61375 18 | 0.183 % |
16.41/16.49 c | 69572 | 7656 65244 216725 | 2147483647 61971 18 | 0.183 % |
16.71/16.77 c | 70227 | 7656 65244 216725 | 2147483647 62626 18 | 0.183 % |
17.01/17.11 c | 70947 | 7656 65244 216725 | 2147483647 63346 18 | 0.183 % |
17.51/17.60 c | 71739 | 7656 65244 216725 | 2147483647 64138 18 | 0.183 % |
18.21/18.23 c | 72612 | 7656 65244 216725 | 2147483647 65011 18 | 0.183 % |
18.21/18.31 c | 72714 | 7656 65244 216725 | 2147483647 65113 18 | 0.183 % |
18.31/18.37 c | 72824 | 7656 65244 216725 | 2147483647 65223 18 | 0.183 % |
18.41/18.44 c | 72945 | 7656 65244 216725 | 2147483647 65344 18 | 0.183 % |
18.41/18.49 c | 73078 | 7656 65244 216725 | 2147483647 65477 18 | 0.183 % |
18.51/18.56 c | 73224 | 7656 65244 216725 | 2147483647 65623 18 | 0.183 % |
18.61/18.65 c | 73384 | 7656 65244 216725 | 2147483647 65783 18 | 0.183 % |
18.71/18.75 c | 73561 | 7656 65244 216725 | 2147483647 65960 18 | 0.183 % |
18.81/18.87 c | 73755 | 7656 65244 216725 | 2147483647 66154 18 | 0.183 % |
18.91/19.00 c | 73968 | 7656 65244 216725 | 2147483647 66367 18 | 0.183 % |
19.11/19.13 c | 74201 | 7656 65244 216725 | 2147483647 66600 18 | 0.183 % |
19.21/19.27 c | 74457 | 7656 65244 216725 | 2147483647 66856 18 | 0.183 % |
19.41/19.42 c | 74738 | 7656 65244 216725 | 2147483647 67137 18 | 0.183 % |
19.51/19.54 c | 75047 | 7656 65244 216725 | 2147483647 67446 18 | 0.183 % |
19.71/19.74 c | 75388 | 7656 65244 216725 | 2147483647 67787 18 | 0.183 % |
19.81/19.89 c | 75760 | 7656 65244 216725 | 2147483647 68159 18 | 0.183 % |
20.11/20.14 c | 76171 | 7656 65244 216725 | 2147483647 68570 18 | 0.183 % |
20.31/20.37 c | 76620 | 7656 65244 216725 | 2147483647 69019 18 | 0.183 % |
20.41/20.45 c | 77115 | 7656 65244 216725 | 2147483647 69514 18 | 0.183 % |
20.71/20.80 c | 77658 | 7656 65244 216725 | 2147483647 70057 18 | 0.183 % |
21.11/21.18 c | 78254 | 7656 65244 216725 | 2147483647 70653 18 | 0.183 % |
21.61/21.62 c | 78909 | 7656 65244 216725 | 2147483647 71308 18 | 0.183 % |
21.91/21.92 c | 79632 | 7656 65244 216725 | 2147483647 72031 18 | 0.183 % |
22.31/22.37 c | 80424 | 7656 65244 216725 | 2147483647 72823 18 | 0.183 % |
22.81/22.90 c | 81295 | 7656 65244 216725 | 2147483647 73694 18 | 0.183 % |
23.41/23.45 c | 82255 | 7656 65244 216725 | 2147483647 74654 18 | 0.183 % |
23.51/23.53 c | 82358 | 7656 65244 216725 | 2147483647 74757 18 | 0.183 % |
23.51/23.59 c | 82471 | 7656 65244 216725 | 2147483647 74870 18 | 0.183 % |
23.61/23.65 c | 82592 | 7656 65244 216725 | 2147483647 74991 18 | 0.183 % |
23.71/23.76 c | 82727 | 7656 65244 216725 | 2147483647 75126 18 | 0.183 % |
23.81/23.87 c | 82874 | 7656 65244 216725 | 2147483647 75273 18 | 0.183 % |
23.91/23.99 c | 83035 | 7656 65244 216725 | 2147483647 75434 18 | 0.183 % |
24.11/24.14 c | 83211 | 7656 65244 216725 | 2147483647 75610 18 | 0.183 % |
24.21/24.30 c | 83404 | 7656 65244 216725 | 2147483647 75803 18 | 0.183 % |
24.41/24.46 c | 83620 | 7656 65244 216725 | 2147483647 76019 18 | 0.183 % |
24.61/24.66 c | 83853 | 7656 65244 216725 | 2147483647 76252 18 | 0.183 % |
24.81/24.85 c | 84111 | 7656 65244 216725 | 2147483647 76510 18 | 0.183 % |
25.01/25.10 c | 84392 | 7656 65244 216725 | 2147483647 76791 18 | 0.183 % |
25.21/25.27 c | 84703 | 7656 65244 216725 | 2147483647 77102 18 | 0.183 % |
25.31/25.40 c | 85043 | 7656 65244 216725 | 2147483647 77442 18 | 0.183 % |
25.61/25.70 c | 85416 | 7656 65244 216725 | 2147483647 77815 19 | 0.183 % |
25.91/25.98 c | 85827 | 7656 65244 216725 | 2147483647 78226 19 | 0.183 % |
26.31/26.37 c | 86276 | 7656 65244 216725 | 2147483647 78675 19 | 0.183 % |
26.71/26.72 c | 86769 | 7656 65244 216725 | 2147483647 79168 19 | 0.183 % |
27.01/27.10 c | 87311 | 7656 65244 216725 | 2147483647 79710 19 | 0.183 % |
27.51/27.60 c | 87909 | 7656 65244 216725 | 2147483647 80308 19 | 0.183 % |
27.91/27.99 c | 88565 | 7656 65244 216725 | 2147483647 80964 19 | 0.183 % |
28.51/28.55 c | 89285 | 7656 65244 216725 | 2147483647 81684 19 | 0.183 % |
29.01/29.09 c | 90077 | 7656 65244 216725 | 82400 82476 19 | 0.183 % |
29.71/29.79 c | 90949 | 7656 65244 216725 | 82400 72877 19 | 0.183 % |
30.41/30.47 c | 91907 | 7656 65244 216725 | 82400 73835 19 | 0.183 % |
31.01/31.04 c | 92962 | 7656 65244 216725 | 82400 74890 19 | 0.183 % |
31.11/31.11 c | 93063 | 7656 65244 216725 | 82400 74991 19 | 0.183 % |
31.11/31.20 c | 93173 | 7656 65244 216725 | 82400 75101 19 | 0.183 % |
31.21/31.27 c | 93294 | 7656 65244 216725 | 82400 75222 19 | 0.183 % |
31.31/31.34 c | 93427 | 7656 65244 216725 | 82400 75355 19 | 0.183 % |
31.41/31.47 c | 93573 | 7656 65244 216725 | 82400 75501 19 | 0.183 % |
31.51/31.60 c | 93733 | 7656 65244 216725 | 82400 75661 19 | 0.183 % |
31.71/31.73 c | 93909 | 7656 65244 216725 | 82400 75837 19 | 0.183 % |
31.81/31.85 c | 94102 | 7656 65244 216725 | 82400 76030 19 | 0.183 % |
31.92/32.00 c | 94314 | 7656 65244 216725 | 82400 76242 19 | 0.183 % |
32.11/32.17 c | 94551 | 7656 65244 216725 | 82400 76479 19 | 0.183 % |
32.21/32.31 c | 94808 | 7656 65244 216725 | 82400 76736 19 | 0.183 % |
32.51/32.58 c | 95089 | 7656 65244 216725 | 82400 77017 19 | 0.183 % |
32.81/32.82 c | 95398 | 7656 65244 216725 | 82400 77326 19 | 0.183 % |
33.11/33.15 c | 95737 | 7656 65244 216725 | 82400 77665 19 | 0.183 % |
33.31/33.36 c | 96109 | 7656 65244 216725 | 82400 78037 19 | 0.183 % |
33.51/33.58 c | 96518 | 7656 65244 216725 | 82400 78446 19 | 0.183 % |
33.91/34.01 c | 96967 | 7656 65244 216725 | 82400 78895 19 | 0.183 % |
34.41/34.42 c | 97460 | 7656 65244 216725 | 82400 79388 19 | 0.183 % |
34.81/34.86 c | 98002 | 7656 65244 216725 | 82400 79930 19 | 0.183 % |
35.31/35.39 c | 98599 | 7656 65244 216725 | 82400 80527 19 | 0.183 % |
35.81/35.89 c | 99257 | 7656 65244 216725 | 82400 81185 19 | 0.183 % |
36.51/36.57 c | 99978 | 7656 65244 216725 | 82400 81906 19 | 0.183 % |
37.42/37.47 c | 100770 | 7656 65244 216725 | 81930 69752 19 | 0.183 % |
38.01/38.09 c | 101643 | 7656 65244 216725 | 81930 70625 19 | 0.183 % |
38.71/38.75 c | 102602 | 7656 65244 216725 | 81930 71584 19 | 0.183 % |
39.41/39.47 c | 103655 | 7656 65244 216725 | 81930 72637 19 | 0.183 % |
39.91/39.95 c | 104815 | 7656 65244 216725 | 81930 73797 19 | 0.183 % |
39.91/40.01 c | 104918 | 7656 65244 216725 | 81930 73900 19 | 0.183 % |
40.01/40.05 c | 105028 | 7656 65244 216725 | 81930 74010 19 | 0.183 % |
40.11/40.13 c | 105149 | 7656 65244 216725 | 81930 74131 19 | 0.183 % |
40.11/40.19 c | 105282 | 7656 65244 216725 | 81930 74264 19 | 0.183 % |
40.21/40.25 c | 105429 | 7656 65244 216725 | 81930 74411 19 | 0.183 % |
40.21/40.31 c | 105589 | 7656 65244 216725 | 81930 74571 19 | 0.183 % |
40.41/40.49 c | 105765 | 7656 65244 216725 | 81930 74747 19 | 0.183 % |
40.51/40.58 c | 105958 | 7656 65244 216725 | 81930 74940 19 | 0.183 % |
40.61/40.72 c | 106171 | 7656 65244 216725 | 81930 75153 19 | 0.183 % |
40.81/40.89 c | 106405 | 7656 65244 216725 | 81930 75387 19 | 0.183 % |
41.01/41.11 c | 106662 | 7656 65244 216725 | 81930 75644 19 | 0.183 % |
41.31/41.36 c | 106943 | 7656 65244 216725 | 81930 75925 19 | 0.183 % |
41.51/41.56 c | 107254 | 7656 65244 216725 | 81930 76236 19 | 0.183 % |
41.82/41.88 c | 107593 | 7656 65244 216725 | 81930 76575 19 | 0.183 % |
42.21/42.30 c | 107966 | 7656 65244 216725 | 81930 76948 19 | 0.183 % |
42.61/42.64 c | 108377 | 7656 65244 216725 | 81930 77359 19 | 0.183 % |
42.81/42.92 c | 108827 | 7656 65244 216725 | 81930 77809 19 | 0.183 % |
43.11/43.12 c | 109321 | 7656 65244 216725 | 81930 78303 19 | 0.183 % |
43.31/43.32 c | 109864 | 7656 65244 216725 | 81930 78846 19 | 0.183 % |
43.91/43.94 c | 110460 | 7656 65244 216725 | 78982 69508 18 | 0.183 % |
44.11/44.16 c | 111115 | 7656 65244 216725 | 78982 70163 18 | 0.183 % |
44.31/44.39 c | 111835 | 7656 65244 216725 | 78982 70883 18 | 0.183 % |
44.51/44.55 c | 112629 | 7656 65244 216725 | 78982 71677 18 | 0.183 % |
44.91/44.97 c | 113500 | 7656 65244 216725 | 78982 72548 19 | 0.183 % |
45.12/45.18 c | 114458 | 7656 65244 216725 | 78982 73506 19 | 0.183 % |
45.51/45.59 c | 115513 | 7656 65244 216725 | 78982 74561 19 | 0.183 % |
46.22/46.31 c | 116672 | 7656 65244 216725 | 78982 75720 19 | 0.183 % |
46.81/46.87 c | 117945 | 7656 65244 216725 | 78982 76993 19 | 0.183 % |
46.81/46.91 c | 118045 | 7656 65244 216725 | 78982 77093 19 | 0.183 % |
46.91/46.97 c | 118160 | 7656 65244 216725 | 78982 77208 19 | 0.183 % |
46.91/47.01 c | 118284 | 7656 65244 216725 | 78982 77332 19 | 0.183 % |
47.01/47.04 c | 118418 | 7656 65244 216725 | 78982 77466 19 | 0.183 % |
47.11/47.11 c | 118566 | 7656 65244 216725 | 78982 77614 19 | 0.183 % |
47.11/47.15 c | 118726 | 7656 65244 216725 | 78982 77774 19 | 0.183 % |
47.21/47.25 c | 118903 | 7656 65244 216725 | 78982 77951 19 | 0.183 % |
47.21/47.32 c | 119096 | 7656 65244 216725 | 78982 78144 19 | 0.183 % |
47.41/47.50 c | 119308 | 7656 65244 216725 | 78982 78356 19 | 0.183 % |
47.61/47.71 c | 119544 | 7656 65244 216725 | 78982 78592 19 | 0.183 % |
47.91/47.96 c | 119801 | 7656 65244 216725 | 78982 78849 19 | 0.183 % |
48.21/48.23 c | 120082 | 7656 65244 216725 | 2147483647 79130 19 | 0.183 % |
48.51/48.52 c | 120391 | 7656 65244 216725 | 2147483647 79439 19 | 0.183 % |
48.81/48.86 c | 120731 | 7656 65244 216725 | 2147483647 79779 19 | 0.183 % |
49.11/49.14 c | 121103 | 7656 65244 216725 | 2147483647 80151 19 | 0.183 % |
49.21/49.30 c | 121512 | 7656 65244 216725 | 2147483647 80560 19 | 0.183 % |
49.52/49.58 c | 121963 | 7656 65244 216725 | 2147483647 81011 19 | 0.183 % |
50.01/50.08 c | 122456 | 7654 64974 215656 | 2147483647 28038 15 | 0.209 % |
50.11/50.19 c | 122998 | 7654 64974 215656 | 2147483647 28580 15 | 0.209 % |
50.21/50.30 c | 123597 | 7654 64974 215656 | 2147483647 29179 15 | 0.209 % |
50.41/50.44 c | 124254 | 7654 64974 215656 | 2147483647 29836 15 | 0.209 % |
50.51/50.57 c | 124974 | 7654 64974 215656 | 2147483647 30556 15 | 0.209 % |
50.71/50.76 c | 125767 | 7654 64974 215656 | 2147483647 31349 15 | 0.209 % |
50.91/50.94 c | 126639 | 7654 64974 215656 | 2147483647 32221 16 | 0.209 % |
51.11/51.12 c | 127598 | 7654 64974 215656 | 2147483647 33180 16 | 0.209 % |
51.31/51.35 c | 128651 | 7654 64974 215656 | 2147483647 34233 16 | 0.209 % |
51.51/51.61 c | 129809 | 7654 64974 215656 | 2147483647 35391 16 | 0.209 % |
51.81/51.90 c | 131082 | 7654 64974 215656 | 2147483647 36664 16 | 0.209 % |
52.21/52.28 c | 132483 | 7654 64974 215656 | 2147483647 38065 16 | 0.209 % |
52.21/52.30 c | 132584 | 7654 64974 215656 | 2147483647 38166 16 | 0.209 % |
52.31/52.34 c | 132697 | 7654 64974 215656 | 2147483647 38279 16 | 0.209 % |
52.31/52.36 c | 132820 | 7654 64974 215656 | 2147483647 38402 16 | 0.209 % |
52.31/52.40 c | 132953 | 7654 64974 215656 | 2147483647 38535 17 | 0.209 % |
52.41/52.43 c | 133099 | 7654 64974 215656 | 2147483647 38681 17 | 0.209 % |
52.41/52.48 c | 133261 | 7654 64974 215656 | 2147483647 38843 17 | 0.209 % |
52.51/52.52 c | 133437 | 7654 64974 215656 | 2147483647 39019 17 | 0.209 % |
52.51/52.57 c | 133630 | 7654 64974 215656 | 2147483647 39212 17 | 0.209 % |
52.61/52.63 c | 133842 | 7654 64974 215656 | 2147483647 39424 17 | 0.209 % |
52.61/52.70 c | 134075 | 7654 64974 215656 | 2147483647 39657 17 | 0.209 % |
52.71/52.76 c | 134331 | 7654 64974 215656 | 2147483647 39913 17 | 0.209 % |
52.82/52.84 c | 134613 | 7654 64974 215656 | 2147483647 40195 17 | 0.209 % |
52.91/52.92 c | 134924 | 7654 64974 215656 | 2147483647 40506 17 | 0.209 % |
52.91/53.00 c | 135263 | 7654 64974 215656 | 2147483647 40845 17 | 0.209 % |
53.01/53.10 c | 135636 | 7654 64974 215656 | 2147483647 41218 17 | 0.209 % |
53.11/53.19 c | 136045 | 7654 64974 215656 | 2147483647 41627 17 | 0.209 % |
53.21/53.29 c | 136495 | 7654 64974 215656 | 2147483647 42077 17 | 0.209 % |
53.41/53.42 c | 136988 | 7654 64974 215656 | 2147483647 42570 17 | 0.209 % |
53.51/53.55 c | 137531 | 7654 64974 215656 | 2147483647 43113 17 | 0.209 % |
53.71/53.73 c | 138127 | 7654 64974 215656 | 2147483647 43709 17 | 0.209 % |
53.92/53.92 c | 138782 | 7654 64974 215656 | 2147483647 44364 17 | 0.209 % |
54.11/54.13 c | 139503 | 7654 64974 215656 | 2147483647 45085 17 | 0.209 % |
54.31/54.36 c | 140295 | 7654 64974 215656 | 2147483647 45877 17 | 0.209 % |
54.51/54.59 c | 141167 | 7654 64974 215656 | 2147483647 46749 17 | 0.209 % |
54.91/54.96 c | 142126 | 7654 64974 215656 | 2147483647 47708 17 | 0.209 % |
55.21/55.28 c | 143179 | 7654 64974 215656 | 2147483647 48761 18 | 0.209 % |
55.71/55.76 c | 144341 | 7654 64974 215656 | 2147483647 49923 18 | 0.209 % |
56.21/56.25 c | 145614 | 7654 64974 215656 | 2147483647 51196 18 | 0.209 % |
56.71/56.73 c | 147014 | 7654 64974 215656 | 2147483647 52596 18 | 0.209 % |
57.22/57.24 c | 148555 | 7654 64974 215656 | 2147483647 54137 18 | 0.209 % |
57.22/57.28 c | 148657 | 7654 64974 215656 | 2147483647 54239 18 | 0.209 % |
57.31/57.33 c | 148767 | 7654 64974 215656 | 2147483647 54349 18 | 0.209 % |
57.31/57.37 c | 148888 | 7654 64974 215656 | 2147483647 54470 18 | 0.209 % |
57.31/57.41 c | 149022 | 7654 64974 215656 | 2147483647 54604 18 | 0.209 % |
57.41/57.47 c | 149168 | 7654 64974 215656 | 2147483647 54750 18 | 0.209 % |
57.51/57.53 c | 149329 | 7654 64974 215656 | 2147483647 54911 18 | 0.209 % |
57.51/57.60 c | 149507 | 7654 64974 215656 | 2147483647 55089 18 | 0.209 % |
57.61/57.68 c | 149700 | 7654 64974 215656 | 2147483647 55282 18 | 0.209 % |
57.71/57.75 c | 149916 | 7654 64974 215656 | 2147483647 55498 18 | 0.209 % |
57.81/57.82 c | 150149 | 7654 64974 215656 | 2147483647 55731 18 | 0.209 % |
57.91/57.92 c | 150405 | 7654 64974 215656 | 2147483647 55987 18 | 0.209 % |
58.01/58.02 c | 150686 | 7654 64974 215656 | 2147483647 56268 18 | 0.209 % |
58.11/58.13 c | 150995 | 7654 64974 215656 | 2147483647 56577 18 | 0.209 % |
58.21/58.26 c | 151334 | 7654 64974 215656 | 2147483647 56916 18 | 0.209 % |
58.41/58.43 c | 151707 | 7654 64974 215656 | 2147483647 57289 18 | 0.209 % |
58.61/58.62 c | 152116 | 7654 64974 215656 | 2147483647 57698 18 | 0.209 % |
58.71/58.76 c | 152566 | 7654 64974 215656 | 2147483647 58148 18 | 0.209 % |
58.91/58.96 c | 153060 | 7654 64974 215656 | 2147483647 58642 18 | 0.209 % |
59.11/59.20 c | 153603 | 7654 64974 215656 | 2147483647 59185 18 | 0.209 % |
59.42/59.42 c | 154199 | 7654 64974 215656 | 2147483647 59781 18 | 0.209 % |
59.61/59.69 c | 154855 | 7654 64974 215656 | 2147483647 60437 18 | 0.209 % |
60.01/60.06 c | 155575 | 7654 64974 215656 | 2147483647 61157 18 | 0.209 % |
60.31/60.38 c | 156368 | 7654 64974 215656 | 2147483647 61950 19 | 0.209 % |
60.71/60.73 c | 157240 | 7654 64974 215656 | 2147483647 62822 19 | 0.209 % |
61.21/61.28 c | 158199 | 7654 64974 215656 | 2147483647 63781 19 | 0.209 % |
61.81/61.82 c | 159253 | 7654 64974 215656 | 2147483647 64835 19 | 0.209 % |
62.31/62.34 c | 160411 | 7654 64974 215656 | 2147483647 65993 19 | 0.209 % |
62.91/62.92 c | 161685 | 7654 64974 215656 | 2147483647 67267 19 | 0.209 % |
63.41/63.51 c | 163086 | 7654 64974 215656 | 2147483647 68668 19 | 0.209 % |
64.11/64.12 c | 164626 | 7654 64974 215656 | 2147483647 70208 19 | 0.209 % |
65.11/65.18 c | 166321 | 7654 64974 215656 | 2147483647 71903 19 | 0.209 % |
65.21/65.22 c | 166421 | 7654 64974 215656 | 2147483647 72003 19 | 0.209 % |
65.21/65.27 c | 166531 | 7654 64974 215656 | 2147483647 72113 19 | 0.209 % |
65.31/65.33 c | 166652 | 7654 64974 215656 | 2147483647 72234 19 | 0.209 % |
65.31/65.40 c | 166786 | 7654 64974 215656 | 2147483647 72368 19 | 0.209 % |
65.41/65.46 c | 166932 | 7654 64974 215656 | 2147483647 72514 19 | 0.209 % |
65.51/65.55 c | 167092 | 7654 64974 215656 | 2147483647 72674 19 | 0.209 % |
65.61/65.66 c | 167268 | 7654 64974 215656 | 2147483647 72850 19 | 0.209 % |
65.71/65.76 c | 167461 | 7654 64974 215656 | 2147483647 73043 19 | 0.209 % |
65.81/65.87 c | 167673 | 7654 64974 215656 | 2147483647 73255 19 | 0.209 % |
65.91/65.97 c | 167906 | 7654 64974 215656 | 2147483647 73488 19 | 0.209 % |
66.11/66.13 c | 168162 | 7654 64974 215656 | 2147483647 73744 19 | 0.209 % |
66.21/66.25 c | 168444 | 7654 64974 215656 | 2147483647 74026 19 | 0.209 % |
66.41/66.45 c | 168754 | 7654 64974 215656 | 2147483647 74336 19 | 0.209 % |
66.61/66.64 c | 169093 | 7654 64974 215656 | 2147483647 74675 19 | 0.209 % |
66.71/66.79 c | 169466 | 7654 64974 215656 | 2147483647 75048 19 | 0.209 % |
66.91/66.98 c | 169877 | 7654 64974 215656 | 2147483647 75459 19 | 0.209 % |
67.21/67.28 c | 170327 | 7654 64974 215656 | 2147483647 75909 19 | 0.209 % |
67.51/67.54 c | 170820 | 7654 64974 215656 | 2147483647 76402 19 | 0.209 % |
67.71/67.79 c | 171362 | 7654 64974 215656 | 2147483647 76944 19 | 0.209 % |
68.11/68.18 c | 171961 | 7654 64974 215656 | 2147483647 77543 19 | 0.209 % |
68.51/68.60 c | 172616 | 7654 64974 215656 | 2147483647 78198 19 | 0.209 % |
69.01/69.09 c | 173337 | 7654 64974 215656 | 2147483647 78919 19 | 0.209 % |
69.51/69.57 c | 174131 | 7654 64974 215656 | 2147483647 79713 19 | 0.209 % |
70.11/70.18 c | 175004 | 7654 64974 215656 | 2147483647 80586 19 | 0.209 % |
70.71/70.75 c | 175962 | 7654 64974 215656 | 2147483647 81544 20 | 0.209 % |
71.41/71.44 c | 177016 | 7654 64974 215656 | 2147483647 82598 20 | 0.209 % |
72.11/72.14 c | 178174 | 7654 64974 215656 | 2147483647 83756 20 | 0.209 % |
73.01/73.02 c | 179447 | 7654 64974 215656 | 2147483647 85029 20 | 0.209 % |
73.81/73.82 c | 180848 | 7654 64974 215656 | 2147483647 86430 20 | 0.209 % |
74.71/74.75 c | 182389 | 7654 64974 215656 | 2147483647 87971 20 | 0.209 % |
75.92/75.98 c | 184085 | 7654 64974 215656 | 2147483647 89667 20 | 0.209 % |
77.11/77.12 c | 185948 | 7654 64974 215656 | 2147483647 91530 20 | 0.209 % |
77.11/77.19 c | 186048 | 7654 64974 215656 | 2147483647 91630 20 | 0.209 % |
77.21/77.27 c | 186159 | 7654 64974 215656 | 2147483647 91741 20 | 0.209 % |
77.31/77.35 c | 186280 | 7654 64974 215656 | 2147483647 91862 20 | 0.209 % |
77.41/77.43 c | 186413 | 7654 64974 215656 | 2147483647 91995 20 | 0.209 % |
77.51/77.55 c | 186561 | 7654 64974 215656 | 2147483647 92143 20 | 0.209 % |
77.61/77.70 c | 186721 | 7654 64974 215656 | 2147483647 92303 20 | 0.209 % |
77.81/77.85 c | 186898 | 7654 64974 215656 | 2147483647 92480 20 | 0.209 % |
77.91/78.00 c | 187091 | 7654 64974 215656 | 2147483647 92673 20 | 0.209 % |
78.12/78.16 c | 187303 | 7654 64974 215656 | 2147483647 92885 20 | 0.209 % |
78.31/78.33 c | 187536 | 7654 64974 215656 | 2147483647 93118 20 | 0.209 % |
78.51/78.54 c | 187792 | 7654 64974 215656 | 2147483647 93374 20 | 0.209 % |
78.71/78.72 c | 188073 | 7654 64974 215656 | 2147483647 93655 20 | 0.209 % |
78.91/79.00 c | 188383 | 7654 64974 215656 | 2147483647 93965 20 | 0.209 % |
79.22/79.23 c | 188722 | 7654 64974 215656 | 2147483647 94304 20 | 0.209 % |
79.41/79.46 c | 189095 | 7654 64974 215656 | 2147483647 94677 20 | 0.209 % |
79.71/79.75 c | 189504 | 7654 64974 215656 | 2147483647 95086 20 | 0.209 % |
80.01/80.08 c | 189954 | 7654 64974 215656 | 2147483647 95536 20 | 0.209 % |
80.32/80.41 c | 190447 | 7654 64974 215656 | 2147483647 96029 20 | 0.209 % |
80.71/80.78 c | 190989 | 7654 64974 215656 | 2147483647 96571 20 | 0.209 % |
81.21/81.22 c | 191585 | 7654 64974 215656 | 2147483647 97167 20 | 0.209 % |
81.61/81.66 c | 192240 | 7654 64974 215656 | 2147483647 97822 20 | 0.209 % |
82.21/82.23 c | 192960 | 7654 64974 215656 | 2147483647 98542 20 | 0.209 % |
82.71/82.73 c | 193752 | 7654 64974 215656 | 2147483647 99334 20 | 0.209 % |
83.31/83.36 c | 194624 | 7654 64974 215656 | 2147483647 100206 20 | 0.209 % |
83.91/84.00 c | 195583 | 7654 64974 215656 | 2147483647 101165 20 | 0.209 % |
84.72/84.77 c | 196637 | 7654 64974 215656 | 2147483647 102219 20 | 0.209 % |
85.52/85.56 c | 197795 | 7654 64974 215656 | 2147483647 103377 20 | 0.209 % |
86.42/86.42 c | 199068 | 7654 64974 215656 | 2147483647 104650 20 | 0.209 % |
87.72/87.78 c | 200468 | 7654 64974 215656 | 105583 92130 21 | 0.209 % |
88.92/89.01 c | 202012 | 7654 64974 215656 | 105583 93674 21 | 0.209 % |
90.32/90.41 c | 203707 | 7654 64974 215656 | 105583 95369 21 | 0.209 % |
91.62/91.63 c | 205570 | 7654 64974 215656 | 105583 97232 21 | 0.209 % |
93.22/93.31 c | 207620 | 7654 64974 215656 | 105583 99282 21 | 0.209 % |
93.32/93.38 c | 207720 | 7654 64974 215656 | 105583 99382 21 | 0.209 % |
93.42/93.43 c | 207833 | 7654 64974 215656 | 105583 99495 21 | 0.209 % |
93.52/93.53 c | 207956 | 7654 64974 215656 | 105583 99618 21 | 0.209 % |
93.62/93.63 c | 208092 | 7654 64974 215656 | 105583 99754 21 | 0.209 % |
93.72/93.75 c | 208238 | 7654 64974 215656 | 105583 99900 21 | 0.209 % |
93.82/93.90 c | 208399 | 7654 64974 215656 | 105583 100061 21 | 0.209 % |
94.02/94.06 c | 208575 | 7654 64974 215656 | 105583 100237 21 | 0.209 % |
94.22/94.26 c | 208768 | 7654 64974 215656 | 105583 100430 21 | 0.209 % |
94.32/94.41 c | 208981 | 7654 64974 215656 | 105583 100643 21 | 0.209 % |
94.52/94.62 c | 209214 | 7654 64974 215656 | 105583 100876 21 | 0.209 % |
94.82/94.86 c | 209475 | 7654 64974 215656 | 105583 101137 21 | 0.209 % |
95.02/95.06 c | 209758 | 7654 64974 215656 | 105583 101420 21 | 0.209 % |
95.32/95.36 c | 210067 | 7654 64974 215656 | 101662 101729 21 | 0.209 % |
95.72/95.74 c | 210407 | 7654 64974 215656 | 101662 86357 21 | 0.209 % |
95.92/95.98 c | 210780 | 7654 64974 215656 | 101662 86730 21 | 0.209 % |
96.32/96.35 c | 211192 | 7654 64974 215656 | 101662 87142 21 | 0.209 % |
96.62/96.66 c | 211641 | 7654 64974 215656 | 101662 87591 21 | 0.209 % |
96.92/96.94 c | 212134 | 7654 64974 215656 | 101662 88084 21 | 0.209 % |
97.32/97.38 c | 212677 | 7654 64974 215656 | 101662 88627 21 | 0.209 % |
97.82/97.83 c | 213273 | 7654 64974 215656 | 101662 89223 21 | 0.209 % |
98.32/98.36 c | 213928 | 7654 64974 215656 | 101662 89878 21 | 0.209 % |
98.82/98.90 c | 214648 | 7654 64974 215656 | 101662 90598 21 | 0.209 % |
99.52/99.56 c | 215441 | 7654 64974 215656 | 101662 91391 21 | 0.209 % |
100.12/100.14 c | 216314 | 7654 64974 215656 | 101662 92264 21 | 0.209 % |
100.82/100.88 c | 217272 | 7654 64974 215656 | 101662 93222 21 | 0.209 % |
101.72/101.80 c | 218325 | 7654 64974 215656 | 101662 94275 21 | 0.209 % |
102.62/102.67 c | 219484 | 7654 64974 215656 | 101662 95434 21 | 0.209 % |
103.92/104.00 c | 220757 | 7654 64974 215656 | 95952 84232 20 | 0.209 % |
104.72/104.80 c | 222157 | 7654 64974 215656 | 95952 85632 20 | 0.209 % |
105.82/105.91 c | 223697 | 7654 64974 215656 | 95952 87172 20 | 0.209 % |
106.42/106.52 c | 225392 | 7654 64974 215656 | 95952 88867 20 | 0.209 % |
107.92/107.96 c | 227257 | 7654 64974 215656 | 95952 90732 21 | 0.209 % |
109.62/109.63 c | 229306 | 7654 64974 215656 | 95952 92781 21 | 0.209 % |
111.32/111.40 c | 231559 | 7654 64974 215656 | 93475 84720 20 | 0.209 % |
111.42/111.47 c | 231659 | 7654 64974 215656 | 93475 84820 20 | 0.209 % |
111.52/111.52 c | 231771 | 7654 64974 215656 | 93475 84932 20 | 0.209 % |
111.62/111.62 c | 231895 | 7654 64974 215656 | 93475 85056 20 | 0.209 % |
111.62/111.71 c | 232028 | 7654 64974 215656 | 93475 85189 20 | 0.209 % |
111.82/111.85 c | 232174 | 7654 64974 215656 | 93475 85335 20 | 0.209 % |
111.92/111.98 c | 232334 | 7654 64974 215656 | 93475 85495 20 | 0.209 % |
112.12/112.14 c | 232511 | 7654 64974 215656 | 93475 85672 20 | 0.209 % |
112.32/112.32 c | 232704 | 7654 64974 215656 | 93475 85865 20 | 0.209 % |
112.42/112.49 c | 232917 | 7654 64974 215656 | 93475 86078 20 | 0.209 % |
112.62/112.67 c | 233150 | 7654 64974 215656 | 93475 86311 20 | 0.209 % |
112.82/112.90 c | 233407 | 7654 64974 215656 | 93475 86568 20 | 0.209 % |
113.02/113.03 c | 233688 | 7654 64974 215656 | 93475 86849 20 | 0.209 % |
113.22/113.29 c | 233997 | 7654 64974 215656 | 93475 87158 20 | 0.209 % |
113.42/113.43 c | 234336 | 7654 64974 215656 | 93475 87497 20 | 0.209 % |
113.72/113.75 c | 234709 | 7654 64974 215656 | 93475 87870 20 | 0.209 % |
113.92/113.95 c | 235119 | 7654 64974 215656 | 93475 88280 20 | 0.209 % |
114.02/114.11 c | 235571 | 7654 64974 215656 | 93475 88732 20 | 0.209 % |
114.52/114.58 c | 236064 | 7654 64974 215656 | 93475 89225 20 | 0.209 % |
114.82/114.89 c | 236607 | 7654 64974 215656 | 93475 89768 20 | 0.209 % |
115.32/115.34 c | 237204 | 7654 64974 215656 | 93475 90365 20 | 0.209 % |
115.72/115.77 c | 237859 | 7654 64974 215656 | 93475 91020 20 | 0.209 % |
116.41/116.44 c | 238580 | 7654 64974 215656 | 93475 91741 21 | 0.209 % |
117.01/117.07 c | 239377 | 7654 64974 215656 | 93475 92538 21 | 0.209 % |
117.51/117.60 c | 240248 | 7654 64974 215656 | 93162 93409 21 | 0.209 % |
118.21/118.25 c | 241207 | 7654 64974 215656 | 93162 83656 20 | 0.209 % |
118.91/118.94 c | 242260 | 7654 64974 215656 | 93162 84709 20 | 0.209 % |
119.81/119.85 c | 243418 | 7654 64974 215656 | 93162 85867 20 | 0.209 % |
120.71/120.71 c | 244692 | 7654 64974 215656 | 93162 87141 21 | 0.209 % |
122.01/122.01 c | 246093 | 7654 64974 215656 | 93162 88542 21 | 0.209 % |
122.81/122.88 c | 247633 | 7654 64974 215656 | 93162 90082 21 | 0.209 % |
124.31/124.37 c | 249329 | 7654 64974 215656 | 93162 91778 21 | 0.209 % |
125.51/125.57 c | 251193 | 7654 64974 215656 | 92451 83009 20 | 0.209 % |
126.61/126.69 c | 253242 | 7654 64974 215656 | 92451 85058 21 | 0.209 % |
128.51/128.55 c | 255495 | 7654 64974 215656 | 92451 87311 20 | 0.209 % |
130.21/130.25 c | 257973 | 7654 64974 215656 | 92451 89789 21 | 0.209 % |
130.31/130.33 c | 258074 | 7654 64974 215656 | 92451 89890 21 | 0.209 % |
130.41/130.45 c | 258184 | 7654 64974 215656 | 92451 90000 21 | 0.209 % |
130.51/130.53 c | 258305 | 7654 64974 215656 | 92451 90121 21 | 0.209 % |
130.61/130.63 c | 258438 | 7654 64974 215656 | 92451 90254 21 | 0.209 % |
130.61/130.70 c | 258585 | 7654 64974 215656 | 92451 90401 21 | 0.209 % |
130.81/130.83 c | 258745 | 7654 64974 215656 | 92451 90561 21 | 0.209 % |
130.91/130.91 c | 258924 | 7654 64974 215656 | 92451 90740 21 | 0.209 % |
131.01/131.01 c | 259117 | 7654 64974 215656 | 92451 90933 21 | 0.209 % |
131.21/131.22 c | 259329 | 7654 64974 215656 | 92451 91145 21 | 0.209 % |
131.21/131.27 c | 259563 | 7654 64974 215656 | 92451 91379 21 | 0.209 % |
131.41/131.45 c | 259820 | 7654 64974 215656 | 92451 91636 21 | 0.209 % |
131.61/131.65 c | 260102 | 7654 64974 215656 | 91817 91918 21 | 0.209 % |
131.81/131.90 c | 260413 | 7654 64974 215656 | 91817 82835 20 | 0.209 % |
132.01/132.08 c | 260754 | 7654 64974 215656 | 91817 83176 20 | 0.209 % |
132.21/132.29 c | 261129 | 7654 64974 215656 | 91817 83551 20 | 0.209 % |
132.41/132.51 c | 261542 | 7654 64974 215656 | 91817 83964 20 | 0.209 % |
132.81/132.84 c | 261993 | 7654 64974 215656 | 91817 84415 20 | 0.209 % |
133.21/133.25 c | 262486 | 7654 64974 215656 | 91817 84908 20 | 0.209 % |
133.51/133.59 c | 263029 | 7654 64974 215656 | 91817 85451 20 | 0.209 % |
133.91/133.99 c | 263628 | 7654 64974 215656 | 91817 86050 20 | 0.209 % |
134.51/134.58 c | 264285 | 7654 64974 215656 | 91817 86707 20 | 0.209 % |
135.11/135.16 c | 265006 | 7654 64974 215656 | 91817 87428 20 | 0.209 % |
135.51/135.60 c | 265799 | 7654 64974 215656 | 91817 88221 20 | 0.209 % |
136.21/136.26 c | 266672 | 7654 64974 215656 | 91817 89094 20 | 0.209 % |
137.01/137.08 c | 267633 | 7654 64974 215656 | 91817 90055 20 | 0.209 % |
137.71/137.75 c | 268686 | 7654 64974 215656 | 91817 91108 21 | 0.209 % |
138.61/138.65 c | 269846 | 7654 64974 215656 | 91817 83051 20 | 0.209 % |
139.41/139.50 c | 271119 | 7654 64974 215656 | 2147483647 84324 20 | 0.209 % |
140.21/140.22 c | 272519 | 7654 64974 215656 | 2147483647 85724 20 | 0.209 % |
141.51/141.56 c | 274059 | 7654 64974 215656 | 2147483647 87264 20 | 0.209 % |
142.81/142.81 c | 275754 | 7652 64949 215596 | 2147483647 88958 20 | 0.235 % |
144.21/144.25 c | 277618 | 7652 64949 215596 | 2147483647 90822 20 | 0.235 % |
145.41/145.50 c | 279668 | 7652 64949 215596 | 2147483647 92872 20 | 0.235 % |
147.01/147.08 c | 281921 | 7652 64949 215596 | 2147483647 95124 21 | 0.261 % |
148.71/148.81 c | 284402 | 7652 64949 215596 | 2147483647 97605 21 | 0.261 % |
150.91/150.94 c | 287127 | 7650 64924 215536 | 2147483647 100330 21 | 0.261 % |
151.01/151.03 c | 287227 | 7650 64924 215536 | 2147483647 100430 21 | 0.261 % |
151.11/151.12 c | 287337 | 7650 64924 215536 | 2147483647 100540 21 | 0.261 % |
151.21/151.22 c | 287459 | 7650 64924 215536 | 2147483647 100662 21 | 0.261 % |
151.31/151.31 c | 287592 | 7650 64924 215536 | 2147483647 100795 21 | 0.261 % |
151.41/151.43 c | 287739 | 7650 64924 215536 | 2147483647 100942 21 | 0.261 % |
151.61/151.62 c | 287901 | 7650 64924 215536 | 2147483647 101104 21 | 0.261 % |
151.71/151.72 c | 288077 | 7650 64924 215536 | 2147483647 101280 21 | 0.261 % |
151.91/151.93 c | 288272 | 7650 64924 215536 | 2147483647 101475 21 | 0.261 % |
152.01/152.10 c | 288485 | 7650 64924 215536 | 2147483647 101688 21 | 0.261 % |
152.31/152.37 c | 288720 | 7650 64924 215536 | 2147483647 101923 21 | 0.261 % |
152.51/152.59 c | 288976 | 7650 64924 215536 | 2147483647 102179 21 | 0.261 % |
152.91/152.91 c | 289258 | 7650 64924 215536 | 2147483647 102461 21 | 0.261 % |
153.21/153.23 c | 289570 | 7650 64924 215536 | 2147483647 102773 21 | 0.261 % |
153.51/153.54 c | 289910 | 7650 64924 215536 | 2147483647 103113 21 | 0.261 % |
153.91/154.00 c | 290282 | 7650 64924 215536 | 103203 91247 20 | 0.261 % |
154.21/154.28 c | 290691 | 7650 64924 215536 | 103203 91656 20 | 0.261 % |
154.61/154.62 c | 291140 | 7650 64924 215536 | 103203 92105 20 | 0.261 % |
154.91/155.00 c | 291634 | 7650 64924 215536 | 103203 92599 20 | 0.261 % |
155.31/155.40 c | 292176 | 7650 64924 215536 | 103203 93141 20 | 0.261 % |
155.81/155.88 c | 292774 | 7650 64924 215536 | 103203 93739 20 | 0.261 % |
156.31/156.34 c | 293429 | 7650 64924 215536 | 103203 94394 20 | 0.261 % |
156.71/156.79 c | 294149 | 7650 64924 215536 | 103203 95114 20 | 0.261 % |
157.41/157.44 c | 294941 | 7650 64924 215536 | 103203 95906 20 | 0.261 % |
158.21/158.24 c | 295815 | 7650 64924 215536 | 103203 96780 21 | 0.261 % |
158.81/158.91 c | 296774 | 7650 64924 215536 | 103203 97739 21 | 0.261 % |
159.61/159.70 c | 297827 | 7650 64924 215536 | 103203 98792 21 | 0.261 % |
160.51/160.54 c | 298986 | 7650 64924 215536 | 103203 99951 21 | 0.261 % |
161.81/161.82 c | 300260 | 7650 64924 215536 | 100966 101225 21 | 0.261 % |
162.82/162.88 c | 301660 | 7650 64924 215536 | 100966 89552 20 | 0.261 % |
164.01/164.04 c | 303204 | 7648 64899 215476 | 100966 91095 20 | 0.287 % |
165.41/165.46 c | 304899 | 7648 64899 215476 | 100966 92790 20 | 0.287 % |
167.11/167.13 c | 306762 | 7648 64899 215476 | 100966 94653 20 | 0.287 % |
168.61/168.69 c | 308811 | 7648 64899 215476 | 100966 96702 21 | 0.287 % |
171.01/171.04 c | 311066 | 7648 64899 215476 | 2147483647 98957 21 | 0.287 % |
173.41/173.46 c | 313544 | 7648 64899 215476 | 2147483647 101435 21 | 0.287 % |
176.21/176.28 c | 316270 | 7648 64899 215476 | 2147483647 104161 21 | 0.287 % |
179.01/179.08 c | 319267 | 7645 64874 215416 | 2147483647 107156 21 | 0.339 % |
179.11/179.15 c | 319367 | 7645 64874 215416 | 2147483647 107256 21 | 0.339 % |
179.21/179.27 c | 319477 | 7645 64874 215416 | 2147483647 107366 21 | 0.339 % |
179.32/179.36 c | 319598 | 7645 64874 215416 | 2147483647 107487 21 | 0.339 % |
179.41/179.44 c | 319731 | 7645 64874 215416 | 2147483647 107620 21 | 0.339 % |
179.51/179.56 c | 319877 | 7645 64874 215416 | 2147483647 107766 21 | 0.339 % |
179.71/179.73 c | 320037 | 7645 64874 215416 | 107889 107926 21 | 0.339 % |
180.01/180.07 c | 320217 | 7645 64874 215416 | 107889 92998 20 | 0.339 % |
180.21/180.27 c | 320411 | 7645 64874 215416 | 107889 93192 20 | 0.339 % |
180.51/180.52 c | 320623 | 7645 64874 215416 | 107889 93404 20 | 0.339 % |
180.71/180.77 c | 320856 | 7645 64874 215416 | 107889 93637 20 | 0.339 % |
181.01/181.01 c | 321116 | 7645 64874 215416 | 107889 93897 20 | 0.339 % |
181.21/181.23 c | 321397 | 7645 64874 215416 | 107889 94178 20 | 0.339 % |
181.41/181.48 c | 321706 | 7645 64874 215416 | 107889 94487 20 | 0.339 % |
181.71/181.74 c | 322045 | 7645 64874 215416 | 107889 94826 20 | 0.339 % |
182.11/182.17 c | 322418 | 7645 64874 215416 | 107889 95199 20 | 0.339 % |
182.51/182.58 c | 322827 | 7645 64874 215416 | 107889 95608 20 | 0.339 % |
183.01/183.04 c | 323277 | 7645 64874 215416 | 107889 96058 20 | 0.339 % |
183.41/183.44 c | 323770 | 7645 64874 215416 | 107889 96551 20 | 0.339 % |
183.81/183.88 c | 324312 | 7645 64874 215416 | 107889 97093 20 | 0.339 % |
184.41/184.50 c | 324908 | 7645 64874 215416 | 107889 97689 21 | 0.339 % |
185.11/185.11 c | 325566 | 7645 64874 215416 | 107889 98347 21 | 0.339 % |
185.61/185.65 c | 326287 | 7645 64874 215416 | 107889 99068 21 | 0.339 % |
186.41/186.43 c | 327079 | 7644 64874 215416 | 107889 99859 21 | 0.365 % |
187.21/187.28 c | 327951 | 7644 64874 215416 | 107889 100731 21 | 0.365 % |
188.12/188.20 c | 328910 | 7642 64824 215296 | 107889 101690 21 | 0.365 % |
189.31/189.33 c | 329965 | 7642 64824 215296 | 107889 102745 21 | 0.365 % |
190.32/190.38 c | 331123 | 7642 64824 215296 | 102780 89139 20 | 0.365 % |
191.51/191.59 c | 332396 | 7642 64824 215296 | 102780 90412 20 | 0.365 % |
193.01/193.01 c | 333798 | 7642 64824 215296 | 102780 91814 20 | 0.365 % |
194.51/194.57 c | 335339 | 7642 64824 215296 | 102780 93355 20 | 0.365 % |
196.01/196.09 c | 337034 | 7642 64824 215296 | 102780 95050 20 | 0.365 % |
197.61/197.65 c | 338899 | 7642 64824 215296 | 102780 96915 20 | 0.365 % |
199.21/199.25 c | 340949 | 7642 64824 215296 | 98018 87098 20 | 0.365 % |
201.21/201.23 c | 343203 | 7642 64824 215296 | 98018 89352 20 | 0.365 % |
203.11/203.18 c | 345683 | 7640 64799 215236 | 98018 91831 20 | 0.391 % |
205.31/205.34 c | 348408 | 7640 64799 215236 | 98018 94556 20 | 0.391 % |
208.31/208.36 c | 351406 | 7640 64799 215236 | 96149 85769 20 | 0.391 % |
210.91/210.97 c | 354703 | 7640 64799 215236 | 96149 89066 20 | 0.391 % |
211.01/211.10 c | 354803 | 7640 64799 215236 | 96149 89166 20 | 0.391 % |
211.11/211.21 c | 354913 | 7640 64799 215236 | 96149 89276 20 | 0.391 % |
211.31/211.34 c | 355034 | 7640 64799 215236 | 96149 89397 20 | 0.391 % |
211.41/211.49 c | 355168 | 7640 64799 215236 | 96149 89531 20 | 0.391 % |
211.61/211.62 c | 355315 | 7640 64799 215236 | 96149 89678 20 | 0.391 % |
211.71/211.75 c | 355476 | 7640 64799 215236 | 96149 89839 20 | 0.391 % |
211.82/211.90 c | 355652 | 7640 64799 215236 | 96149 90015 20 | 0.391 % |
212.02/212.03 c | 355846 | 7640 64799 215236 | 96149 90209 20 | 0.391 % |
212.12/212.18 c | 356058 | 7640 64799 215236 | 96149 90421 20 | 0.391 % |
212.32/212.41 c | 356292 | 7640 64799 215236 | 96149 90655 20 | 0.391 % |
212.62/212.64 c | 356550 | 7640 64799 215236 | 96149 90913 20 | 0.391 % |
212.92/212.95 c | 356832 | 7640 64799 215236 | 96149 91195 20 | 0.391 % |
213.22/213.26 c | 357142 | 7640 64799 215236 | 96149 91505 20 | 0.391 % |
213.42/213.51 c | 357482 | 7640 64799 215236 | 96149 91845 20 | 0.391 % |
213.82/213.84 c | 357855 | 7640 64799 215236 | 96149 92218 20 | 0.391 % |
214.02/214.04 c | 358264 | 7640 64799 215236 | 96149 92627 20 | 0.391 % |
214.32/214.41 c | 358713 | 7640 64799 215236 | 96149 93076 20 | 0.391 % |
214.62/214.63 c | 359207 | 7640 64799 215236 | 96149 93570 20 | 0.391 % |
215.02/215.11 c | 359750 | 7640 64799 215236 | 96149 94113 20 | 0.391 % |
215.72/215.78 c | 360346 | 7640 64799 215236 | 94363 84931 20 | 0.391 % |
216.32/216.32 c | 361002 | 7640 64799 215236 | 94363 85587 20 | 0.391 % |
217.02/217.08 c | 361723 | 7640 64799 215236 | 94363 86308 20 | 0.391 % |
217.82/217.82 c | 362517 | 7640 64799 215236 | 94363 87102 20 | 0.391 % |
218.82/218.88 c | 363388 | 7640 64799 215236 | 94363 87973 20 | 0.391 % |
219.62/219.69 c | 364346 | 7640 64799 215236 | 94363 88931 20 | 0.391 % |
220.72/220.74 c | 365399 | 7640 64799 215236 | 94363 89984 20 | 0.391 % |
221.72/221.81 c | 366561 | 7640 64799 215236 | 94363 91146 20 | 0.391 % |
223.12/223.13 c | 367834 | 7640 64799 215236 | 94363 92419 20 | 0.391 % |
224.32/224.39 c | 369236 | 7640 64799 215236 | 94363 93821 20 | 0.391 % |
225.72/225.74 c | 370776 | 7640 64799 215236 | 94587 85491 20 | 0.391 % |
227.02/227.10 c | 372471 | 7638 64774 215176 | 94587 87185 20 | 0.417 % |
228.42/228.49 c | 374335 | 7638 64774 215176 | 94587 89048 20 | 0.443 % |
230.42/230.46 c | 376384 | 7638 64774 215176 | 94587 91097 20 | 0.443 % |
232.92/232.94 c | 378638 | 7638 64774 215176 | 94587 93351 20 | 0.443 % |
235.32/235.40 c | 381116 | 7636 64749 215116 | 94713 86331 19 | 0.443 % |
237.82/237.82 c | 383841 | 7636 64749 215116 | 94713 89056 20 | 0.443 % |
240.72/240.76 c | 386838 | 7636 64749 215116 | 94713 92053 20 | 0.443 % |
243.12/243.12 c | 390134 | 7634 64724 215056 | 2147483647 85832 20 | 0.495 % |
245.82/245.85 c | 393761 | 7633 64724 215056 | 2147483647 89458 20 | 0.522 % |
245.92/245.95 c | 393861 | 7633 64724 215056 | 2147483647 89558 20 | 0.522 % |
246.02/246.07 c | 393971 | 7633 64724 215056 | 2147483647 89668 20 | 0.522 % |
246.12/246.18 c | 394092 | 7633 64724 215056 | 2147483647 89789 20 | 0.522 % |
246.22/246.28 c | 394225 | 7633 64724 215056 | 2147483647 89922 20 | 0.522 % |
246.32/246.39 c | 394371 | 7633 64724 215056 | 2147483647 90068 20 | 0.522 % |
246.42/246.48 c | 394531 | 7633 64724 215056 | 2147483647 90228 20 | 0.522 % |
246.62/246.64 c | 394708 | 7633 64724 215056 | 2147483647 90405 20 | 0.522 % |
246.82/246.84 c | 394903 | 7633 64724 215056 | 2147483647 90600 20 | 0.522 % |
247.02/247.08 c | 395115 | 7633 64724 215056 | 2147483647 90812 20 | 0.522 % |
247.32/247.33 c | 395348 | 7633 64724 215056 | 2147483647 91045 20 | 0.522 % |
247.42/247.50 c | 395605 | 7633 64724 215056 | 2147483647 91302 20 | 0.522 % |
247.72/247.74 c | 395887 | 7633 64724 215056 | 2147483647 91584 20 | 0.522 % |
247.92/247.94 c | 396196 | 7633 64724 215056 | 2147483647 91893 20 | 0.522 % |
248.32/248.35 c | 396535 | 7633 64724 215056 | 2147483647 92232 20 | 0.522 % |
248.62/248.67 c | 396907 | 7633 64724 215056 | 2147483647 92604 20 | 0.522 % |
248.92/249.00 c | 397318 | 7633 64724 215056 | 2147483647 93015 20 | 0.522 % |
249.32/249.39 c | 397767 | 7633 64724 215056 | 2147483647 93464 20 | 0.522 % |
249.72/249.73 c | 398261 | 7633 64724 215056 | 2147483647 93958 20 | 0.522 % |
250.02/250.03 c | 398803 | 7633 64724 215056 | 2147483647 94500 20 | 0.522 % |
250.72/250.75 c | 399401 | 7630 64674 214936 | 2147483647 95098 20 | 0.522 % |
251.12/251.18 c | 400057 | 7630 64674 214936 | 95697 95754 20 | 0.522 % |
252.02/252.05 c | 400777 | 7630 64674 214936 | 95697 86899 20 | 0.522 % |
252.52/252.55 c | 401569 | 7630 64674 214936 | 95697 87691 20 | 0.522 % |
253.22/253.25 c | 402440 | 7630 64674 214936 | 95697 88562 20 | 0.522 % |
254.42/254.45 c | 403398 | 7630 64674 214936 | 95697 89520 20 | 0.522 % |
255.12/255.12 c | 404451 | 7630 64674 214936 | 95697 90573 20 | 0.522 % |
256.32/256.36 c | 405609 | 7630 64674 214936 | 95697 91731 20 | 0.522 % |
257.22/257.31 c | 406883 | 7630 64674 214936 | 95697 93005 20 | 0.522 % |
258.62/258.63 c | 408283 | 7630 64674 214936 | 95697 94405 20 | 0.522 % |
260.22/260.27 c | 409823 | 7630 64674 214936 | 95697 84808 20 | 0.522 % |
261.62/261.66 c | 411517 | 7630 64674 214936 | 84986 76850 19 | 0.522 % |
263.22/263.30 c | 413383 | 7630 64674 214936 | 84986 78716 19 | 0.522 % |
265.22/265.25 c | 415433 | 7630 64674 214936 | 84986 80766 19 | 0.522 % |
267.12/267.15 c | 417686 | 7630 64674 214936 | 84986 83019 20 | 0.522 % |
269.62/269.68 c | 420166 | 7630 64674 214936 | 2147483647 76980 19 | 0.522 % |
272.12/272.17 c | 422893 | 7630 64674 214936 | 2147483647 79707 19 | 0.522 % |
275.32/275.33 c | 425892 | 7630 64674 214936 | 2147483647 82706 19 | 0.522 % |
277.82/277.88 c | 429190 | 7630 64674 214936 | 2147483647 86004 20 | 0.522 % |
280.92/281.00 c | 432815 | 7630 64674 214936 | 2147483647 89629 20 | 0.522 % |
284.72/284.72 c | 436802 | 7630 64674 214936 | 2147483647 93616 20 | 0.522 % |
284.82/284.82 c | 436903 | 7630 64674 214936 | 2147483647 93717 20 | 0.522 % |
284.93/284.97 c | 437014 | 7630 64674 214936 | 2147483647 93828 20 | 0.522 % |
285.02/285.07 c | 437136 | 7630 64674 214936 | 2147483647 93950 20 | 0.522 % |
285.22/285.23 c | 437269 | 7630 64674 214936 | 2147483647 94083 20 | 0.522 % |
285.32/285.37 c | 437417 | 7630 64674 214936 | 2147483647 94231 20 | 0.522 % |
285.52/285.59 c | 437577 | 7630 64674 214936 | 2147483647 94391 20 | 0.522 % |
285.82/285.82 c | 437754 | 7630 64674 214936 | 2147483647 94568 20 | 0.522 % |
286.03/286.02 c | 437948 | 7630 64674 214936 | 2147483647 94762 20 | 0.522 % |
286.22/286.21 c | 438161 | 7630 64674 214936 | 2147483647 94975 20 | 0.522 % |
286.42/286.50 c | 438396 | 7630 64674 214936 | 2147483647 95210 20 | 0.522 % |
286.72/286.78 c | 438653 | 7630 64674 214936 | 2147483647 95467 20 | 0.522 % |
287.02/287.11 c | 438934 | 7630 64674 214936 | 2147483647 95748 20 | 0.522 % |
287.42/287.50 c | 439245 | 7630 64674 214936 | 2147483647 96059 20 | 0.522 % |
287.92/287.93 c | 439584 | 7630 64674 214936 | 2147483647 96398 20 | 0.522 % |
288.23/288.30 c | 439956 | 7630 64674 214936 | 2147483647 96770 20 | 0.522 % |
288.62/288.67 c | 440365 | 7630 64674 214936 | 96816 97179 20 | 0.522 % |
289.33/289.37 c | 440820 | 7630 64674 214936 | 96816 87917 20 | 0.522 % |
289.82/289.83 c | 441313 | 7630 64674 214936 | 96816 88410 20 | 0.522 % |
290.43/290.47 c | 441856 | 7630 64674 214936 | 96816 88953 20 | 0.522 % |
290.92/290.99 c | 442452 | 7630 64674 214936 | 96816 89549 20 | 0.522 % |
291.62/291.63 c | 443108 | 7630 64674 214936 | 96816 90205 20 | 0.522 % |
292.22/292.27 c | 443832 | 7630 64674 214936 | 96816 90929 20 | 0.522 % |
292.92/292.96 c | 444627 | 7630 64674 214936 | 96816 91724 20 | 0.522 % |
293.62/293.70 c | 445499 | 7630 64674 214936 | 96816 92596 20 | 0.522 % |
294.72/294.72 c | 446457 | 7630 64674 214936 | 96816 93554 20 | 0.522 % |
295.93/295.93 c | 447512 | 7628 64649 214876 | 96816 94608 20 | 0.548 % |
296.92/296.99 c | 448670 | 7628 64649 214876 | 96816 95766 20 | 0.548 % |
297.82/297.83 c | 449943 | 7628 64649 214876 | 96816 97039 20 | 0.548 % |
298.92/298.94 c | 451344 | 7628 64649 214876 | 86860 79458 19 | 0.548 % |
299.82/299.87 c | 452884 | 7628 64649 214876 | 86860 80998 19 | 0.548 % |
300.82/300.89 c | 454581 | 7627 64649 214876 | 86860 82694 19 | 0.574 % |
302.22/302.26 c | 456446 | 7627 64649 214876 | 86860 84559 19 | 0.574 % |
303.92/303.97 c | 458495 | 7626 64624 214816 | 86860 86608 19 | 0.574 % |
305.72/305.73 c | 460748 | 7626 64624 214816 | 2147483647 80147 19 | 0.574 % |
308.03/308.05 c | 463227 | 7626 64624 214816 | 2147483647 82626 19 | 0.574 % |
309.72/309.80 c | 465953 | 7626 64624 214816 | 2147483647 85352 19 | 0.574 % |
311.82/311.86 c | 468950 | 7626 64624 214816 | 2147483647 88349 19 | 0.574 % |
314.52/314.57 c | 472246 | 7626 64624 214816 | 2147483647 91645 19 | 0.574 % |
317.12/317.19 c | 475871 | 7626 64624 214816 | 2147483647 95270 19 | 0.574 % |
320.72/320.73 c | 479858 | 7626 64624 214816 | 2147483647 99257 20 | 0.574 % |
324.02/324.07 c | 484243 | 7626 64624 214816 | 99399 93413 19 | 0.574 % |
324.12/324.16 c | 484343 | 7626 64624 214816 | 99399 93513 19 | 0.574 % |
324.22/324.29 c | 484455 | 7626 64624 214816 | 99399 93625 19 | 0.574 % |
324.32/324.41 c | 484576 | 7626 64624 214816 | 99399 93746 19 | 0.574 % |
324.53/324.52 c | 484710 | 7626 64624 214816 | 99399 93880 19 | 0.574 % |
324.62/324.63 c | 484856 | 7626 64624 214816 | 99399 94026 19 | 0.574 % |
324.72/324.76 c | 485016 | 7626 64624 214816 | 99399 94186 19 | 0.574 % |
324.92/324.97 c | 485194 | 7626 64624 214816 | 99399 94364 19 | 0.574 % |
325.12/325.15 c | 485387 | 7626 64624 214816 | 99399 94557 19 | 0.574 % |
325.32/325.35 c | 485600 | 7626 64624 214816 | 99399 94770 19 | 0.574 % |
325.52/325.51 c | 485833 | 7626 64624 214816 | 99399 95003 19 | 0.574 % |
325.63/325.66 c | 486089 | 7626 64624 214816 | 99399 95259 19 | 0.574 % |
326.02/326.03 c | 486370 | 7626 64624 214816 | 99399 95540 19 | 0.574 % |
326.22/326.30 c | 486679 | 7626 64624 214816 | 99399 95849 19 | 0.574 % |
326.82/326.81 c | 487018 | 7626 64624 214816 | 99399 96188 19 | 0.574 % |
327.02/327.07 c | 487391 | 7626 64624 214816 | 99399 96561 19 | 0.574 % |
327.42/327.50 c | 487802 | 7626 64624 214816 | 99399 96972 20 | 0.574 % |
327.92/327.97 c | 488251 | 7626 64624 214816 | 99399 97421 20 | 0.574 % |
328.32/328.35 c | 488745 | 7626 64624 214816 | 99399 97915 20 | 0.574 % |
328.72/328.80 c | 489287 | 7626 64624 214816 | 99399 98457 20 | 0.574 % |
329.22/329.25 c | 489886 | 7626 64624 214816 | 99399 99056 20 | 0.574 % |
330.03/330.02 c | 490542 | 7626 64624 214816 | 99171 88491 19 | 0.574 % |
330.62/330.63 c | 491262 | 7626 64624 214816 | 99171 89211 19 | 0.574 % |
331.13/331.16 c | 492054 | 7626 64624 214816 | 99171 90003 20 | 0.574 % |
332.02/332.06 c | 492926 | 7626 64624 214816 | 99171 90875 20 | 0.574 % |
332.82/332.86 c | 493884 | 7626 64624 214816 | 99171 91833 20 | 0.574 % |
334.02/334.04 c | 494938 | 7626 64624 214816 | 99171 92887 20 | 0.574 % |
334.72/334.75 c | 496097 | 7626 64624 214816 | 99171 94046 20 | 0.574 % |
336.02/336.03 c | 497370 | 7626 64624 214816 | 99171 95319 20 | 0.574 % |
337.62/337.66 c | 498770 | 7626 64624 214816 | 99171 96719 20 | 0.574 % |
339.43/339.45 c | 500310 | 7626 64624 214816 | 97949 87168 20 | 0.574 % |
340.73/340.79 c | 502006 | 7626 64624 214816 | 97949 88864 20 | 0.574 % |
342.63/342.70 c | 503870 | 7626 64624 214816 | 97949 90728 20 | 0.574 % |
344.23/344.23 c | 505919 | 7626 64624 214816 | 97949 92777 20 | 0.574 % |
346.23/346.25 c | 508172 | 7626 64624 214816 | 97949 95030 20 | 0.574 % |
348.53/348.52 c | 510651 | 7626 64624 214816 | 96858 85661 20 | 0.574 % |
350.63/350.71 c | 513377 | 7624 64599 214756 | 96858 88385 20 | 0.626 % |
352.73/352.75 c | 516374 | 7623 64599 214756 | 96858 91381 20 | 0.652 % |
355.53/355.53 c | 519670 | 7623 64599 214756 | 96858 94677 20 | 0.652 % |
358.73/358.78 c | 523296 | 7618 64524 214576 | 95007 87561 20 | 0.678 % |
362.83/362.85 c | 527284 | 7618 64524 214576 | 95007 91549 20 | 0.678 % |
367.03/367.04 c | 531669 | 7618 64524 214576 | 94266 85917 20 | 0.678 % |
370.43/370.45 c | 536492 | 7618 64524 214576 | 94266 90740 20 | 0.678 % |
370.53/370.53 c | 536592 | 7618 64524 214576 | 94266 90840 20 | 0.678 % |
370.63/370.62 c | 536703 | 7618 64524 214576 | 94266 90951 20 | 0.678 % |
370.63/370.69 c | 536824 | 7618 64524 214576 | 94266 91072 20 | 0.678 % |
370.73/370.80 c | 536958 | 7618 64524 214576 | 94266 91206 20 | 0.678 % |
370.83/370.91 c | 537106 | 7618 64524 214576 | 94266 91354 20 | 0.678 % |
370.93/371.01 c | 537267 | 7618 64524 214576 | 94266 91515 20 | 0.678 % |
371.13/371.13 c | 537444 | 7618 64524 214576 | 94266 91692 20 | 0.678 % |
371.23/371.28 c | 537639 | 7618 64524 214576 | 94266 91887 20 | 0.678 % |
371.43/371.47 c | 537851 | 7618 64524 214576 | 94266 92099 20 | 0.678 % |
371.63/371.70 c | 538084 | 7618 64524 214576 | 94266 92332 20 | 0.678 % |
371.93/371.96 c | 538342 | 7618 64524 214576 | 94266 92590 20 | 0.678 % |
372.13/372.15 c | 538624 | 7618 64524 214576 | 94266 92872 20 | 0.678 % |
372.33/372.39 c | 538934 | 7618 64524 214576 | 94266 93182 20 | 0.678 % |
372.63/372.71 c | 539274 | 7618 64524 214576 | 94266 93522 20 | 0.678 % |
372.83/372.89 c | 539647 | 7618 64524 214576 | 94266 93895 20 | 0.678 % |
373.13/373.19 c | 540058 | 7618 64524 214576 | 2147483647 94306 20 | 0.678 % |
373.63/373.65 c | 540508 | 7618 64524 214576 | 2147483647 94756 20 | 0.678 % |
374.13/374.17 c | 541001 | 7618 64524 214576 | 2147483647 95249 20 | 0.678 % |
374.63/374.67 c | 541543 | 7618 64524 214576 | 2147483647 95791 20 | 0.678 % |
375.03/375.06 c | 542139 | 7618 64524 214576 | 2147483647 96387 20 | 0.678 % |
375.53/375.60 c | 542794 | 7618 64524 214576 | 2147483647 97042 20 | 0.678 % |
376.33/376.37 c | 543517 | 7618 64524 214576 | 2147483647 97765 20 | 0.678 % |
377.33/377.34 c | 544309 | 7618 64524 214576 | 2147483647 98557 20 | 0.678 % |
377.93/377.97 c | 545180 | 7618 64524 214576 | 2147483647 99428 20 | 0.678 % |
378.63/378.71 c | 546138 | 7618 64524 214576 | 2147483647 100386 20 | 0.678 % |
379.93/379.92 c | 547191 | 7618 64524 214576 | 2147483647 101439 20 | 0.678 % |
380.83/380.85 c | 548350 | 7618 64524 214576 | 2147483647 102598 20 | 0.678 % |
382.33/382.33 c | 549623 | 7618 64524 214576 | 2147483647 103871 20 | 0.678 % |
383.93/383.98 c | 551023 | 7618 64524 214576 | 104251 89804 20 | 0.678 % |
385.33/385.38 c | 552564 | 7618 64524 214576 | 104251 91345 20 | 0.678 % |
386.83/386.85 c | 554258 | 7618 64524 214576 | 104251 93039 20 | 0.678 % |
389.23/389.26 c | 556121 | 7618 64524 214576 | 104251 94902 20 | 0.678 % |
391.03/391.05 c | 558172 | 7618 64524 214576 | 104251 96953 20 | 0.678 % |
393.63/393.62 c | 560426 | 7618 64524 214576 | 98782 86343 19 | 0.678 % |
395.73/395.80 c | 562904 | 7618 64524 214576 | 98782 88821 19 | 0.678 % |
397.93/397.99 c | 565629 | 7618 64524 214576 | 98782 91546 20 | 0.678 % |
400.33/400.32 c | 568626 | 7618 64524 214576 | 98782 94543 20 | 0.678 % |
403.13/403.19 c | 571922 | 7618 64524 214576 | 2147483647 97839 20 | 0.678 % |
406.33/406.33 c | 575547 | 7618 64524 214576 | 2147483647 101464 20 | 0.678 % |
410.53/410.54 c | 579534 | 7618 64524 214576 | 2147483647 105451 20 | 0.678 % |
415.23/415.29 c | 583920 | 7618 64524 214576 | 105917 94840 20 | 0.678 % |
420.93/420.94 c | 588745 | 7618 64524 214576 | 105917 99665 20 | 0.678 % |
425.03/425.06 c | 594050 | 7618 64524 214576 | 100921 90779 20 | 0.678 % |
425.13/425.19 c | 594150 | 7618 64524 214576 | 100921 90879 20 | 0.678 % |
425.33/425.34 c | 594262 | 7618 64524 214576 | 100921 90991 20 | 0.678 % |
425.43/425.47 c | 594383 | 7618 64524 214576 | 100921 91112 20 | 0.678 % |
425.53/425.59 c | 594517 | 7618 64524 214576 | 100921 91246 20 | 0.678 % |
425.74/425.76 c | 594664 | 7618 64524 214576 | 100921 91393 20 | 0.678 % |
425.93/425.99 c | 594824 | 7618 64524 214576 | 100921 91553 20 | 0.678 % |
426.13/426.12 c | 595000 | 7618 64524 214576 | 100921 91729 20 | 0.678 % |
426.33/426.35 c | 595194 | 7618 64524 214576 | 100921 91923 20 | 0.678 % |
426.53/426.58 c | 595406 | 7618 64524 214576 | 100921 92135 20 | 0.678 % |
426.73/426.75 c | 595640 | 7618 64524 214576 | 100921 92369 20 | 0.678 % |
427.03/427.04 c | 595896 | 7618 64524 214576 | 100921 92625 20 | 0.678 % |
427.23/427.24 c | 596177 | 7618 64524 214576 | 100921 92906 20 | 0.678 % |
427.53/427.56 c | 596486 | 7618 64524 214576 | 100921 93215 20 | 0.678 % |
427.83/427.89 c | 596825 | 7618 64524 214576 | 100921 93554 20 | 0.678 % |
428.23/428.23 c | 597198 | 7618 64524 214576 | 100921 93927 20 | 0.678 % |
428.53/428.51 c | 597608 | 7618 64524 214576 | 100921 94337 20 | 0.678 % |
428.93/428.98 c | 598057 | 7618 64524 214576 | 100921 94786 20 | 0.678 % |
429.53/429.58 c | 598551 | 7618 64524 214576 | 100921 95280 20 | 0.678 % |
430.23/430.25 c | 599095 | 7618 64524 214576 | 100921 95824 20 | 0.678 % |
430.83/430.84 c | 599691 | 7618 64524 214576 | 100921 96420 20 | 0.678 % |
431.33/431.32 c | 600347 | 7618 64524 214576 | 96729 97076 20 | 0.678 % |
432.23/432.26 c | 601067 | 7618 64524 214576 | 96729 87003 20 | 0.678 % |
432.93/432.98 c | 601859 | 7618 64524 214576 | 96729 87795 20 | 0.678 % |
433.73/433.76 c | 602731 | 7618 64524 214576 | 96729 88667 20 | 0.678 % |
434.54/434.56 c | 603689 | 7618 64524 214576 | 96729 89625 20 | 0.678 % |
435.43/435.44 c | 604743 | 7618 64524 214576 | 96729 90679 20 | 0.678 % |
436.33/436.40 c | 605901 | 7618 64524 214576 | 96729 91837 20 | 0.678 % |
438.03/438.06 c | 607175 | 7618 64524 214576 | 96729 93111 20 | 0.678 % |
439.23/439.25 c | 608576 | 7618 64524 214576 | 96729 94512 20 | 0.678 % |
440.63/440.66 c | 610116 | 7618 64524 214576 | 2147483647 96052 20 | 0.678 % |
441.63/441.62 c | 611810 | 7618 64524 214576 | 2147483647 97746 20 | 0.678 % |
443.03/443.07 c | 613674 | 7618 64524 214576 | 2147483647 99610 20 | 0.678 % |
445.43/445.44 c | 615723 | 7618 64524 214576 | 2147483647 101659 20 | 0.678 % |
447.83/447.90 c | 617976 | 7618 64524 214576 | 2147483647 103912 20 | 0.678 % |
450.03/450.03 c | 620455 | 7618 64524 214576 | 105937 93150 20 | 0.678 % |
452.03/452.11 c | 623180 | 7618 64524 214576 | 105937 95875 20 | 0.678 % |
454.73/454.78 c | 626177 | 7618 64524 214576 | 105937 98872 20 | 0.678 % |
457.53/457.57 c | 629473 | 7618 64524 214576 | 105937 102168 20 | 0.678 % |
460.53/460.53 c | 633100 | 7618 64524 214576 | 102695 94809 20 | 0.678 % |
463.93/463.98 c | 637088 | 7618 64524 214576 | 102695 98797 20 | 0.678 % |
468.84/468.87 c | 641473 | 7618 64524 214576 | 101712 91602 19 | 0.678 % |
473.14/473.18 c | 646296 | 7618 64524 214576 | 101712 96425 20 | 0.678 % |
478.33/478.35 c | 651601 | 7618 64524 214576 | 100130 90097 19 | 0.678 % |
483.43/483.45 c | 657436 | 7618 64524 214576 | 100130 95932 19 | 0.678 % |
483.53/483.52 c | 657536 | 7618 64524 214576 | 100130 96032 19 | 0.678 % |
483.63/483.66 c | 657647 | 7618 64524 214576 | 100130 96143 19 | 0.678 % |
483.73/483.74 c | 657769 | 7618 64524 214576 | 100130 96265 19 | 0.678 % |
483.83/483.87 c | 657902 | 7618 64524 214576 | 100130 96398 19 | 0.678 % |
484.03/484.04 c | 658048 | 7618 64524 214576 | 100130 96544 19 | 0.678 % |
484.23/484.24 c | 658208 | 7618 64524 214576 | 100130 96704 19 | 0.678 % |
484.43/484.47 c | 658384 | 7618 64524 214576 | 100130 96880 19 | 0.678 % |
484.63/484.69 c | 658583 | 7618 64524 214576 | 100130 97079 19 | 0.678 % |
485.03/485.03 c | 658796 | 7618 64524 214576 | 100130 97292 19 | 0.678 % |
485.33/485.32 c | 659029 | 7618 64524 214576 | 100130 97525 19 | 0.678 % |
485.53/485.52 c | 659285 | 7618 64524 214576 | 100130 97781 19 | 0.678 % |
485.73/485.73 c | 659568 | 7618 64524 214576 | 100130 98064 19 | 0.678 % |
486.03/486.09 c | 659877 | 7618 64524 214576 | 100130 98373 19 | 0.678 % |
486.43/486.42 c | 660217 | 7618 64524 214576 | 98499 98713 19 | 0.678 % |
486.83/486.90 c | 660591 | 7618 64524 214576 | 98499 86658 19 | 0.678 % |
487.23/487.29 c | 661000 | 7618 64524 214576 | 98499 87067 19 | 0.678 % |
487.73/487.72 c | 661451 | 7618 64524 214576 | 98499 87518 19 | 0.678 % |
488.13/488.13 c | 661945 | 7618 64524 214576 | 98499 88012 19 | 0.678 % |
488.53/488.56 c | 662488 | 7618 64524 214576 | 98499 88555 19 | 0.678 % |
489.33/489.38 c | 663084 | 7618 64524 214576 | 98499 89151 19 | 0.678 % |
490.03/490.01 c | 663741 | 7618 64524 214576 | 98499 89808 19 | 0.678 % |
490.73/490.72 c | 664462 | 7618 64524 214576 | 98499 90529 19 | 0.678 % |
491.33/491.31 c | 665254 | 7618 64524 214576 | 98499 91321 19 | 0.678 % |
491.93/491.95 c | 666127 | 7618 64524 214576 | 98499 92194 19 | 0.678 % |
492.73/492.77 c | 667085 | 7618 64524 214576 | 98499 93152 19 | 0.678 % |
493.73/493.72 c | 668141 | 7618 64524 214576 | 98499 94208 19 | 0.678 % |
495.23/495.24 c | 669300 | 7618 64524 214576 | 98499 95367 19 | 0.678 % |
496.73/496.77 c | 670573 | 7618 64524 214576 | 96068 85224 19 | 0.678 % |
497.73/497.74 c | 671973 | 7618 64524 214576 | 96068 86624 19 | 0.678 % |
499.23/499.25 c | 673513 | 7618 64524 214576 | 96068 88164 19 | 0.678 % |
501.03/501.06 c | 675208 | 7618 64524 214576 | 96068 89859 19 | 0.678 % |
502.63/502.68 c | 677073 | 7618 64524 214576 | 96068 91724 19 | 0.678 % |
505.13/505.12 c | 679122 | 7618 64524 214576 | 96068 93773 19 | 0.678 % |
507.33/507.39 c | 681376 | 7618 64524 214576 | 94651 83263 19 | 0.678 % |
509.93/509.92 c | 683855 | 7618 64524 214576 | 94651 85742 19 | 0.678 % |
512.23/512.25 c | 686580 | 7618 64524 214576 | 94651 88467 19 | 0.678 % |
515.03/515.09 c | 689577 | 7618 64524 214576 | 94651 91464 19 | 0.678 % |
517.83/517.85 c | 692874 | 7618 64524 214576 | 91887 84067 19 | 0.678 % |
520.53/520.60 c | 696502 | 7618 64524 214576 | 91887 87695 19 | 0.678 % |
524.23/524.24 c | 700489 | 7618 64524 214576 | 2147483647 91682 19 | 0.678 % |
528.13/528.20 c | 704874 | 7618 64524 214576 | 2147483647 96067 19 | 0.678 % |
533.33/533.34 c | 709697 | 7617 64521 214570 | 2147483647 100889 19 | 0.691 % |
538.13/538.17 c | 715002 | 7617 64521 214570 | 101194 94540 19 | 0.717 % |
544.83/544.89 c | 720838 | 7615 64496 214510 | 99539 87593 18 | 0.717 % |
550.33/550.34 c | 727256 | 7615 64496 214510 | 99539 94011 18 | 0.717 % |
550.43/550.43 c | 727358 | 7615 64496 214510 | 99539 94113 18 | 0.717 % |
550.53/550.53 c | 727468 | 7615 64496 214510 | 99539 94223 18 | 0.717 % |
550.63/550.63 c | 727589 | 7615 64496 214510 | 99539 94344 18 | 0.717 % |
550.73/550.72 c | 727722 | 7615 64496 214510 | 99539 94477 18 | 0.717 % |
550.83/550.82 c | 727869 | 7615 64496 214510 | 99539 94624 18 | 0.717 % |
550.93/550.93 c | 728029 | 7615 64496 214510 | 99539 94784 18 | 0.717 % |
551.03/551.09 c | 728206 | 7615 64496 214510 | 99539 94961 18 | 0.717 % |
551.23/551.25 c | 728399 | 7615 64496 214510 | 99539 95154 18 | 0.717 % |
551.43/551.43 c | 728612 | 7615 64496 214510 | 99539 95367 18 | 0.717 % |
551.63/551.61 c | 728846 | 7615 64496 214510 | 99539 95601 18 | 0.717 % |
551.83/551.89 c | 729104 | 7615 64496 214510 | 99539 95859 18 | 0.717 % |
552.13/552.13 c | 729386 | 7615 64496 214510 | 99539 96141 18 | 0.717 % |
552.24/552.26 c | 729695 | 7615 64496 214510 | 99539 96450 18 | 0.717 % |
552.53/552.57 c | 730035 | 7615 64496 214510 | 96755 96790 18 | 0.717 % |
553.23/553.28 c | 730407 | 7615 64496 214510 | 96755 86808 18 | 0.717 % |
553.53/553.56 c | 730817 | 7615 64496 214510 | 96755 87218 18 | 0.717 % |
553.83/553.84 c | 731267 | 7615 64496 214510 | 96755 87668 18 | 0.717 % |
554.13/554.17 c | 731760 | 7615 64496 214510 | 96755 88161 18 | 0.717 % |
554.53/554.51 c | 732302 | 7615 64496 214510 | 96755 88703 18 | 0.717 % |
554.93/554.99 c | 732898 | 7615 64496 214510 | 96755 89299 18 | 0.717 % |
555.54/555.52 c | 733555 | 7615 64496 214510 | 96755 89956 18 | 0.717 % |
556.03/556.10 c | 734275 | 7615 64496 214510 | 96755 90676 18 | 0.717 % |
556.83/556.83 c | 735069 | 7615 64496 214510 | 96755 91470 18 | 0.717 % |
557.53/557.55 c | 735941 | 7615 64496 214510 | 96755 92342 18 | 0.717 % |
558.13/558.17 c | 736900 | 7615 64496 214510 | 96755 93301 18 | 0.717 % |
559.03/559.10 c | 737955 | 7615 64496 214510 | 96755 94356 18 | 0.717 % |
560.23/560.22 c | 739113 | 7615 64496 214510 | 96755 95514 18 | 0.717 % |
561.04/561.09 c | 740386 | 7615 64496 214510 | 2147483647 96787 18 | 0.717 % |
563.24/563.26 c | 741787 | 7612 64094 212257 | 2147483647 22767 11 | 0.756 % |
563.43/563.50 c | 743328 | 7612 64094 212257 | 2147483647 24308 11 | 0.756 % |
563.83/563.82 c | 745023 | 7612 64094 212257 | 2147483647 26003 12 | 0.756 % |
564.13/564.13 c | 746886 | 7612 64094 212257 | 2147483647 27866 12 | 0.756 % |
564.53/564.54 c | 748935 | 7612 64094 212257 | 2147483647 29915 12 | 0.756 % |
565.13/565.11 c | 751189 | 7609 63936 211767 | 2147483647 30124 12 | 0.795 % |
565.23/565.23 c ===============================================================================
565.23/565.23 c restarts : 1071
565.23/565.23 c conflicts : 751664 (1333 /sec)
565.23/565.23 c decisions : 1083465 (1.80 % random) (1921 /sec)
565.23/565.23 c propagations : 175395846 (310958 /sec)
565.23/565.23 c conflict literals : 16641316 (36.88 % deleted)
565.23/565.23 c Memory used : 20.68 MB
565.23/565.23 c CPU time : 564.05 s
565.23/565.23 c
565.23/565.23 s UNSATISFIABLE
565.23/565.24 s UNSATISFIABLE
runsolver version 3.2.9 (svn:503) (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w /tmp/evaluation-result-1821394-1242523389/watcher-1821394-1242523389 -o /tmp/evaluation-result-1821394-1242523389/solver-1821394-1242523389 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1821394-1242523389.cnf
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1230 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 8192 KiB
[startup+0 s]
/proc/loadavg: 1.09 1.04 1.01 3/96 15591
/proc/meminfo: memFree=941392/2074464 swapFree=1950760/1959888
[pid=15591] ppid=15589 vsize=2416 CPUtime=0
/proc/15591/stat : 15591 (SatELiteGTI) S 15589 15591 11066 0 -1 4194304 367 648 0 0 0 0 0 0 20 0 1 0 1016837205 2473984 277 4294967295 134512640 135169312 3214740768 3214739304 3085000430 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/15591/statm: 604 277 235 161 0 43 0
[pid=15595] ppid=15591 vsize=952 CPUtime=0
/proc/15595/stat : 15595 (SatELite_releas) R 15591 15591 11066 0 -1 4202496 126 0 0 0 0 0 0 0 18 0 1 0 1016837206 974848 62 4294967295 134512640 135223648 3214605552 3214604148 134719062 0 0 0 3 0 0 0 17 3 0 0 0
/proc/15595/statm: 238 63 47 174 0 63 0
[startup+0.029789 s]
/proc/loadavg: 1.09 1.04 1.01 3/96 15591
/proc/meminfo: memFree=941392/2074464 swapFree=1950760/1959888
[pid=15591] ppid=15589 vsize=2416 CPUtime=0
/proc/15591/stat : 15591 (SatELiteGTI) S 15589 15591 11066 0 -1 4194304 367 648 0 0 0 0 0 0 20 0 1 0 1016837205 2473984 277 4294967295 134512640 135169312 3214740768 3214739304 3085000430 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/15591/statm: 604 277 235 161 0 43 0
[pid=15595] ppid=15591 vsize=4572 CPUtime=0.03
/proc/15595/stat : 15595 (SatELite_releas) R 15591 15591 11066 0 -1 4202496 877 0 0 0 3 0 0 0 18 0 1 0 1016837206 4681728 813 4294967295 134512640 135223648 3214605552 3214604504 134737310 0 0 0 3 0 0 0 17 3 0 0 0
/proc/15595/statm: 1143 813 47 174 0 968 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 6988
[startup+0.119783 s]
/proc/loadavg: 1.09 1.04 1.01 3/96 15591
/proc/meminfo: memFree=941392/2074464 swapFree=1950760/1959888
[pid=15591] ppid=15589 vsize=2416 CPUtime=0
/proc/15591/stat : 15591 (SatELiteGTI) S 15589 15591 11066 0 -1 4194304 367 648 0 0 0 0 0 0 20 0 1 0 1016837205 2473984 277 4294967295 134512640 135169312 3214740768 3214739304 3085000430 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/15591/statm: 604 277 235 161 0 43 0
[pid=15595] ppid=15591 vsize=13784 CPUtime=0.12
/proc/15595/stat : 15595 (SatELite_releas) R 15591 15591 11066 0 -1 4202496 3191 0 0 0 11 1 0 0 18 0 1 0 1016837206 14114816 3127 4294967295 134512640 135223648 3214605552 3214604504 134737310 0 0 0 3 0 0 0 17 3 0 0 0
/proc/15595/statm: 3446 3128 47 174 0 3271 0
Current children cumulated CPU time (s) 0.12
Current children cumulated vsize (KiB) 16200
[startup+0.319771 s]
/proc/loadavg: 1.09 1.04 1.01 3/96 15591
/proc/meminfo: memFree=941392/2074464 swapFree=1950760/1959888
[pid=15591] ppid=15589 vsize=2416 CPUtime=0
/proc/15591/stat : 15591 (SatELiteGTI) S 15589 15591 11066 0 -1 4194304 367 648 0 0 0 0 0 0 20 0 1 0 1016837205 2473984 277 4294967295 134512640 135169312 3214740768 3214739304 3085000430 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/15591/statm: 604 277 235 161 0 43 0
[pid=15595] ppid=15591 vsize=18560 CPUtime=0.32
/proc/15595/stat : 15595 (SatELite_releas) R 15591 15591 11066 0 -1 4202496 4326 0 0 0 31 1 0 0 18 0 1 0 1016837206 19005440 4262 4294967295 134512640 135223648 3214605552 3214603632 134548337 0 0 0 3 0 0 0 17 3 0 0 0
/proc/15595/statm: 4640 4262 72 174 0 4465 0
Current children cumulated CPU time (s) 0.32
Current children cumulated vsize (KiB) 20976
[startup+0.71975 s]
/proc/loadavg: 1.09 1.04 1.01 3/96 15591
/proc/meminfo: memFree=941392/2074464 swapFree=1950760/1959888
[pid=15591] ppid=15589 vsize=2416 CPUtime=0
/proc/15591/stat : 15591 (SatELiteGTI) S 15589 15591 11066 0 -1 4194304 367 648 0 0 0 0 0 0 20 0 1 0 1016837205 2473984 277 4294967295 134512640 135169312 3214740768 3214739304 3085000430 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/15591/statm: 604 277 235 161 0 43 0
[pid=15595] ppid=15591 vsize=18768 CPUtime=0.72
/proc/15595/stat : 15595 (SatELite_releas) R 15591 15591 11066 0 -1 4202496 4762 0 0 0 70 2 0 0 18 0 1 0 1016837206 19218432 4338 4294967295 134512640 135223648 3214605552 3214603568 134586808 0 0 0 3 0 0 0 17 3 0 0 0
/proc/15595/statm: 4692 4339 73 174 0 4517 0
Current children cumulated CPU time (s) 0.72
Current children cumulated vsize (KiB) 21184
[startup+1.51972 s]
/proc/loadavg: 1.09 1.04 1.01 2/98 15596
/proc/meminfo: memFree=921924/2074464 swapFree=1950760/1959888
[pid=15591] ppid=15589 vsize=2420 CPUtime=1.14
/proc/15591/stat : 15591 (SatELiteGTI) S 15589 15591 11066 0 -1 4194304 387 5781 0 0 0 0 112 2 18 0 1 0 1016837205 2478080 278 4294967295 134512640 135169312 3214740768 3214736984 3085000430 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/15591/statm: 605 278 235 161 0 44 0
Current children cumulated CPU time (s) 1.14
Current children cumulated vsize (KiB) 2420
[startup+3.11962 s]
/proc/loadavg: 1.09 1.04 1.01 2/98 15597
/proc/meminfo: memFree=932960/2074464 swapFree=1950760/1959888
[pid=15591] ppid=15589 vsize=2420 CPUtime=1.14
/proc/15591/stat : 15591 (SatELiteGTI) S 15589 15591 11066 0 -1 4194304 387 5781 0 0 0 0 112 2 18 0 1 0 1016837205 2478080 278 4294967295 134512640 135169312 3214740768 3214736984 3085000430 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/15591/statm: 605 278 235 161 0 44 0
[pid=15597] ppid=15591 vsize=7352 CPUtime=1.97
/proc/15597/stat : 15597 (minisat_static) R 15591 15591 11066 0 -1 4202496 1747 0 0 0 196 1 0 0 25 0 1 0 1016837320 7528448 1682 4294967295 134512640 135215339 3219403232 3219401520 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/15597/statm: 1838 1682 73 172 0 1665 0
Current children cumulated CPU time (s) 3.11
Current children cumulated vsize (KiB) 9772
[startup+6.31944 s]
/proc/loadavg: 1.08 1.04 1.01 2/98 15597
/proc/meminfo: memFree=930636/2074464 swapFree=1950760/1959888
[pid=15591] ppid=15589 vsize=2420 CPUtime=1.14
/proc/15591/stat : 15591 (SatELiteGTI) S 15589 15591 11066 0 -1 4194304 387 5781 0 0 0 0 112 2 18 0 1 0 1016837205 2478080 278 4294967295 134512640 135169312 3214740768 3214736984 3085000430 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/15591/statm: 605 278 235 161 0 44 0
[pid=15597] ppid=15591 vsize=8836 CPUtime=5.17
/proc/15597/stat : 15597 (minisat_static) R 15591 15591 11066 0 -1 4202496 2100 0 0 0 516 1 0 0 25 0 1 0 1016837320 9048064 2035 4294967295 134512640 135215339 3219403232 3219401520 134528624 0 0 0 3 0 0 0 17 2 0 0 0
/proc/15597/statm: 2209 2035 73 172 0 2036 0
Current children cumulated CPU time (s) 6.31
Current children cumulated vsize (KiB) 11256
[startup+12.7191 s]
/proc/loadavg: 1.07 1.04 1.01 2/98 15598
/proc/meminfo: memFree=928244/2074464 swapFree=1950760/1959888
[pid=15591] ppid=15589 vsize=2420 CPUtime=1.14
/proc/15591/stat : 15591 (SatELiteGTI) S 15589 15591 11066 0 -1 4194304 387 5781 0 0 0 0 112 2 18 0 1 0 1016837205 2478080 278 4294967295 134512640 135169312 3214740768 3214736984 3085000430 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/15591/statm: 605 278 235 161 0 44 0
[pid=15597] ppid=15591 vsize=11160 CPUtime=11.57
/proc/15597/stat : 15597 (minisat_static) R 15591 15591 11066 0 -1 4202496 2704 0 0 0 1156 1 0 0 25 0 1 0 1016837320 11427840 2639 4294967295 134512640 135215339 3219403232 3219401520 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/15597/statm: 2790 2639 73 172 0 2617 0
Current children cumulated CPU time (s) 12.71
Current children cumulated vsize (KiB) 13580
[startup+25.5184 s]
/proc/loadavg: 1.06 1.04 1.00 2/98 15600
/proc/meminfo: memFree=925364/2074464 swapFree=1950760/1959888
[pid=15591] ppid=15589 vsize=2420 CPUtime=1.14
/proc/15591/stat : 15591 (SatELiteGTI) S 15589 15591 11066 0 -1 4194304 387 5781 0 0 0 0 112 2 18 0 1 0 1016837205 2478080 278 4294967295 134512640 135169312 3214740768 3214736984 3085000430 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/15591/statm: 605 278 235 161 0 44 0
[pid=15597] ppid=15591 vsize=14196 CPUtime=24.37
/proc/15597/stat : 15597 (minisat_static) R 15591 15591 11066 0 -1 4202496 3434 0 0 0 2434 3 0 0 25 0 1 0 1016837320 14536704 3369 4294967295 134512640 135215339 3219403232 3219401520 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/15597/statm: 3549 3369 73 172 0 3376 0
Current children cumulated CPU time (s) 25.51
Current children cumulated vsize (KiB) 16616
[startup+51.117 s]
/proc/loadavg: 1.04 1.03 1.00 2/98 15600
/proc/meminfo: memFree=923976/2074464 swapFree=1950760/1959888
[pid=15591] ppid=15589 vsize=2420 CPUtime=1.14
/proc/15591/stat : 15591 (SatELiteGTI) S 15589 15591 11066 0 -1 4194304 387 5781 0 0 0 0 112 2 18 0 1 0 1016837205 2478080 278 4294967295 134512640 135169312 3214740768 3214736984 3085000430 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/15591/statm: 605 278 235 161 0 44 0
[pid=15597] ppid=15591 vsize=15472 CPUtime=49.97
/proc/15597/stat : 15597 (minisat_static) R 15591 15591 11066 0 -1 4202496 3741 0 0 0 4994 3 0 0 25 0 1 0 1016837320 15843328 3676 4294967295 134512640 135215339 3219403232 3219401520 134528849 0 0 0 3 0 0 0 17 2 0 0 0
/proc/15597/statm: 3868 3676 73 172 0 3695 0
Current children cumulated CPU time (s) 51.11
Current children cumulated vsize (KiB) 17892
[startup+102.324 s]
/proc/loadavg: 1.01 1.03 1.00 2/98 15789
/proc/meminfo: memFree=920636/2074464 swapFree=1950760/1959888
[pid=15591] ppid=15589 vsize=2420 CPUtime=1.14
/proc/15591/stat : 15591 (SatELiteGTI) S 15589 15591 11066 0 -1 4194304 387 5781 0 0 0 0 112 2 18 0 1 0 1016837205 2478080 278 4294967295 134512640 135169312 3214740768 3214736984 3085000430 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/15591/statm: 605 278 235 161 0 44 0
[pid=15597] ppid=15591 vsize=18984 CPUtime=101.18
/proc/15597/stat : 15597 (minisat_static) R 15591 15591 11066 0 -1 4202496 4610 0 0 0 10115 3 0 0 25 0 1 0 1016837320 19439616 4545 4294967295 134512640 135215339 3219403232 3219401520 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/15597/statm: 4746 4545 73 172 0 4573 0
Current children cumulated CPU time (s) 102.32
Current children cumulated vsize (KiB) 21404
[startup+162.311 s]
/proc/loadavg: 1.00 1.02 1.00 2/98 15976
/proc/meminfo: memFree=920156/2074464 swapFree=1950760/1959888
[pid=15591] ppid=15589 vsize=2420 CPUtime=1.14
/proc/15591/stat : 15591 (SatELiteGTI) S 15589 15591 11066 0 -1 4194304 387 5781 0 0 0 0 112 2 18 0 1 0 1016837205 2478080 278 4294967295 134512640 135169312 3214740768 3214736984 3085000430 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/15591/statm: 605 278 235 161 0 44 0
[pid=15597] ppid=15591 vsize=19408 CPUtime=161.17
/proc/15597/stat : 15597 (minisat_static) R 15591 15591 11066 0 -1 4202496 4699 0 0 0 16112 5 0 0 25 0 1 0 1016837320 19873792 4634 4294967295 134512640 135215339 3219403232 3219401520 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/15597/statm: 4852 4634 73 172 0 4679 0
Current children cumulated CPU time (s) 162.31
Current children cumulated vsize (KiB) 21828
[startup+222.317 s]
/proc/loadavg: 1.00 1.01 1.00 2/98 16164
/proc/meminfo: memFree=919280/2074464 swapFree=1950760/1959888
[pid=15591] ppid=15589 vsize=2420 CPUtime=1.14
/proc/15591/stat : 15591 (SatELiteGTI) S 15589 15591 11066 0 -1 4194304 387 5781 0 0 0 0 112 2 18 0 1 0 1016837205 2478080 278 4294967295 134512640 135169312 3214740768 3214736984 3085000430 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/15591/statm: 605 278 235 161 0 44 0
[pid=15597] ppid=15591 vsize=20256 CPUtime=221.18
/proc/15597/stat : 15597 (minisat_static) R 15591 15591 11066 0 -1 4202496 4908 0 0 0 22113 5 0 0 25 0 1 0 1016837320 20742144 4843 4294967295 134512640 135215339 3219403232 3219401520 134528802 0 0 0 3 0 0 0 17 2 0 0 0
/proc/15597/statm: 5064 4843 73 172 0 4891 0
Current children cumulated CPU time (s) 222.32
Current children cumulated vsize (KiB) 22676
[startup+282.314 s]
/proc/loadavg: 1.00 1.01 1.00 2/98 16354
/proc/meminfo: memFree=919024/2074464 swapFree=1950760/1959888
[pid=15591] ppid=15589 vsize=2420 CPUtime=1.14
/proc/15591/stat : 15591 (SatELiteGTI) S 15589 15591 11066 0 -1 4194304 387 5781 0 0 0 0 112 2 18 0 1 0 1016837205 2478080 278 4294967295 134512640 135169312 3214740768 3214736984 3085000430 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/15591/statm: 605 278 235 161 0 44 0
[pid=15597] ppid=15591 vsize=20420 CPUtime=281.18
/proc/15597/stat : 15597 (minisat_static) R 15591 15591 11066 0 -1 4202496 4957 0 0 0 28113 5 0 0 25 0 1 0 1016837320 20910080 4892 4294967295 134512640 135215339 3219403232 3219401520 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/15597/statm: 5105 4892 73 172 0 4932 0
Current children cumulated CPU time (s) 282.32
Current children cumulated vsize (KiB) 22840
[startup+342.321 s]
/proc/loadavg: 1.00 1.00 1.00 2/98 16545
/proc/meminfo: memFree=918528/2074464 swapFree=1950760/1959888
[pid=15591] ppid=15589 vsize=2420 CPUtime=1.14
/proc/15591/stat : 15591 (SatELiteGTI) S 15589 15591 11066 0 -1 4194304 387 5781 0 0 0 0 112 2 18 0 1 0 1016837205 2478080 278 4294967295 134512640 135169312 3214740768 3214736984 3085000430 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/15591/statm: 605 278 235 161 0 44 0
[pid=15597] ppid=15591 vsize=20744 CPUtime=341.19
/proc/15597/stat : 15597 (minisat_static) R 15591 15591 11066 0 -1 4202496 5026 0 0 0 34114 5 0 0 25 0 1 0 1016837320 21241856 4961 4294967295 134512640 135215339 3219403232 3219401520 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/15597/statm: 5186 4961 73 172 0 5013 0
Current children cumulated CPU time (s) 342.33
Current children cumulated vsize (KiB) 23164
[startup+402.317 s]
/proc/loadavg: 1.00 1.00 1.00 2/98 16734
/proc/meminfo: memFree=918404/2074464 swapFree=1950760/1959888
[pid=15591] ppid=15589 vsize=2420 CPUtime=1.14
/proc/15591/stat : 15591 (SatELiteGTI) S 15589 15591 11066 0 -1 4194304 387 5781 0 0 0 0 112 2 18 0 1 0 1016837205 2478080 278 4294967295 134512640 135169312 3214740768 3214736984 3085000430 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/15591/statm: 605 278 235 161 0 44 0
[pid=15597] ppid=15591 vsize=21032 CPUtime=401.19
/proc/15597/stat : 15597 (minisat_static) R 15591 15591 11066 0 -1 4202496 5076 0 0 0 40114 5 0 0 25 0 1 0 1016837320 21536768 5011 4294967295 134512640 135215339 3219403232 3219401520 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/15597/statm: 5258 5011 73 172 0 5085 0
Current children cumulated CPU time (s) 402.33
Current children cumulated vsize (KiB) 23452
[startup+462.314 s]
/proc/loadavg: 1.00 1.00 1.00 2/98 16921
/proc/meminfo: memFree=918280/2074464 swapFree=1950760/1959888
[pid=15591] ppid=15589 vsize=2420 CPUtime=1.14
/proc/15591/stat : 15591 (SatELiteGTI) S 15589 15591 11066 0 -1 4194304 387 5781 0 0 0 0 112 2 18 0 1 0 1016837205 2478080 278 4294967295 134512640 135169312 3214740768 3214736984 3085000430 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/15591/statm: 605 278 235 161 0 44 0
[pid=15597] ppid=15591 vsize=21032 CPUtime=461.19
/proc/15597/stat : 15597 (minisat_static) R 15591 15591 11066 0 -1 4202496 5102 0 0 0 46113 6 0 0 25 0 1 0 1016837320 21536768 5037 4294967295 134512640 135215339 3219403232 3219401520 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/15597/statm: 5258 5037 73 172 0 5085 0
Current children cumulated CPU time (s) 462.33
Current children cumulated vsize (KiB) 23452
[startup+522.311 s]
/proc/loadavg: 1.00 1.00 1.00 2/98 17109
/proc/meminfo: memFree=918304/2074464 swapFree=1950760/1959888
[pid=15591] ppid=15589 vsize=2420 CPUtime=1.14
/proc/15591/stat : 15591 (SatELiteGTI) S 15589 15591 11066 0 -1 4194304 387 5781 0 0 0 0 112 2 18 0 1 0 1016837205 2478080 278 4294967295 134512640 135169312 3214740768 3214736984 3085000430 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/15591/statm: 605 278 235 161 0 44 0
[pid=15597] ppid=15591 vsize=21032 CPUtime=521.19
/proc/15597/stat : 15597 (minisat_static) R 15591 15591 11066 0 -1 4202496 5103 0 0 0 52113 6 0 0 25 0 1 0 1016837320 21536768 5038 4294967295 134512640 135215339 3219403232 3219401520 134528726 0 0 0 3 0 0 0 17 2 0 0 0
/proc/15597/statm: 5258 5038 73 172 0 5085 0
Current children cumulated CPU time (s) 522.33
Current children cumulated vsize (KiB) 23452
Solver just ended. Dumping a history of the last processes samples
[startup+537.51 s]
/proc/loadavg: 1.00 1.00 1.00 2/98 17110
/proc/meminfo: memFree=918304/2074464 swapFree=1950760/1959888
[pid=15591] ppid=15589 vsize=2420 CPUtime=1.14
/proc/15591/stat : 15591 (SatELiteGTI) S 15589 15591 11066 0 -1 4194304 387 5781 0 0 0 0 112 2 18 0 1 0 1016837205 2478080 278 4294967295 134512640 135169312 3214740768 3214736984 3085000430 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/15591/statm: 605 278 235 161 0 44 0
[pid=15597] ppid=15591 vsize=21032 CPUtime=536.39
/proc/15597/stat : 15597 (minisat_static) R 15591 15591 11066 0 -1 4202496 5103 0 0 0 53633 6 0 0 25 0 1 0 1016837320 21536768 5038 4294967295 134512640 135215339 3219403232 3219401520 134528858 0 0 0 3 0 0 0 17 2 0 0 0
/proc/15597/statm: 5258 5038 73 172 0 5085 0
Current children cumulated CPU time (s) 537.53
Current children cumulated vsize (KiB) 23452
[startup+550.309 s]
/proc/loadavg: 1.00 1.00 1.00 2/98 17295
/proc/meminfo: memFree=917928/2074464 swapFree=1950760/1959888
[pid=15591] ppid=15589 vsize=2420 CPUtime=1.14
/proc/15591/stat : 15591 (SatELiteGTI) S 15589 15591 11066 0 -1 4194304 387 5781 0 0 0 0 112 2 18 0 1 0 1016837205 2478080 278 4294967295 134512640 135169312 3214740768 3214736984 3085000430 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/15591/statm: 605 278 235 161 0 44 0
[pid=15597] ppid=15591 vsize=21172 CPUtime=549.19
/proc/15597/stat : 15597 (minisat_static) R 15591 15591 11066 0 -1 4202496 5135 0 0 0 54913 6 0 0 25 0 1 0 1016837320 21680128 5070 4294967295 134512640 135215339 3219403232 3219401520 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/15597/statm: 5293 5070 73 172 0 5120 0
Current children cumulated CPU time (s) 550.33
Current children cumulated vsize (KiB) 23592
[startup+556.709 s]
/proc/loadavg: 1.00 1.00 1.00 2/98 17295
/proc/meminfo: memFree=918116/2074464 swapFree=1950760/1959888
[pid=15591] ppid=15589 vsize=2420 CPUtime=1.14
/proc/15591/stat : 15591 (SatELiteGTI) S 15589 15591 11066 0 -1 4194304 387 5781 0 0 0 0 112 2 18 0 1 0 1016837205 2478080 278 4294967295 134512640 135169312 3214740768 3214736984 3085000430 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/15591/statm: 605 278 235 161 0 44 0
[pid=15597] ppid=15591 vsize=21172 CPUtime=555.59
/proc/15597/stat : 15597 (minisat_static) R 15591 15591 11066 0 -1 4202496 5138 0 0 0 55553 6 0 0 25 0 1 0 1016837320 21680128 5073 4294967295 134512640 135215339 3219403232 3219401520 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/15597/statm: 5293 5073 73 172 0 5120 0
Current children cumulated CPU time (s) 556.73
Current children cumulated vsize (KiB) 23592
[startup+559.919 s]
/proc/loadavg: 1.00 1.00 1.00 2/98 17295
/proc/meminfo: memFree=918148/2074464 swapFree=1950760/1959888
[pid=15591] ppid=15589 vsize=2420 CPUtime=1.14
/proc/15591/stat : 15591 (SatELiteGTI) S 15589 15591 11066 0 -1 4194304 387 5781 0 0 0 0 112 2 18 0 1 0 1016837205 2478080 278 4294967295 134512640 135169312 3214740768 3214736984 3085000430 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/15591/statm: 605 278 235 161 0 44 0
[pid=15597] ppid=15591 vsize=21172 CPUtime=558.8
/proc/15597/stat : 15597 (minisat_static) R 15591 15591 11066 0 -1 4202496 5138 0 0 0 55874 6 0 0 25 0 1 0 1016837320 21680128 5073 4294967295 134512640 135215339 3219403232 3219401520 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/15597/statm: 5293 5073 73 172 0 5120 0
Current children cumulated CPU time (s) 559.94
Current children cumulated vsize (KiB) 23592
[startup+563.109 s]
/proc/loadavg: 1.00 1.00 1.00 2/98 17295
/proc/meminfo: memFree=918180/2074464 swapFree=1950760/1959888
[pid=15591] ppid=15589 vsize=2420 CPUtime=1.14
/proc/15591/stat : 15591 (SatELiteGTI) S 15589 15591 11066 0 -1 4194304 387 5781 0 0 0 0 112 2 18 0 1 0 1016837205 2478080 278 4294967295 134512640 135169312 3214740768 3214736984 3085000430 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/15591/statm: 605 278 235 161 0 44 0
[pid=15597] ppid=15591 vsize=21172 CPUtime=561.99
/proc/15597/stat : 15597 (minisat_static) R 15591 15591 11066 0 -1 4202496 5138 0 0 0 56193 6 0 0 25 0 1 0 1016837320 21680128 5073 4294967295 134512640 135215339 3219403232 3219401440 134526030 0 0 0 3 0 0 0 17 2 0 0 0
/proc/15597/statm: 5293 5073 73 172 0 5120 0
Current children cumulated CPU time (s) 563.13
Current children cumulated vsize (KiB) 23592
[startup+563.909 s]
/proc/loadavg: 1.00 1.00 1.00 2/98 17295
/proc/meminfo: memFree=918180/2074464 swapFree=1950760/1959888
[pid=15591] ppid=15589 vsize=2420 CPUtime=1.14
/proc/15591/stat : 15591 (SatELiteGTI) S 15589 15591 11066 0 -1 4194304 387 5781 0 0 0 0 112 2 18 0 1 0 1016837205 2478080 278 4294967295 134512640 135169312 3214740768 3214736984 3085000430 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/15591/statm: 605 278 235 161 0 44 0
[pid=15597] ppid=15591 vsize=21172 CPUtime=562.79
/proc/15597/stat : 15597 (minisat_static) R 15591 15591 11066 0 -1 4202496 5138 0 0 0 56273 6 0 0 25 0 1 0 1016837320 21680128 5073 4294967295 134512640 135215339 3219403232 3219401520 134528691 0 0 0 3 0 0 0 17 2 0 0 0
/proc/15597/statm: 5293 5073 73 172 0 5120 0
Current children cumulated CPU time (s) 563.93
Current children cumulated vsize (KiB) 23592
[startup+564.708 s]
/proc/loadavg: 1.00 1.00 1.00 2/98 17295
/proc/meminfo: memFree=918180/2074464 swapFree=1950760/1959888
[pid=15591] ppid=15589 vsize=2420 CPUtime=1.14
/proc/15591/stat : 15591 (SatELiteGTI) S 15589 15591 11066 0 -1 4194304 387 5781 0 0 0 0 112 2 18 0 1 0 1016837205 2478080 278 4294967295 134512640 135169312 3214740768 3214736984 3085000430 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/15591/statm: 605 278 235 161 0 44 0
[pid=15597] ppid=15591 vsize=21172 CPUtime=563.59
/proc/15597/stat : 15597 (minisat_static) R 15591 15591 11066 0 -1 4202496 5138 0 0 0 56353 6 0 0 25 0 1 0 1016837320 21680128 5073 4294967295 134512640 135215339 3219403232 3219401520 134528734 0 0 0 3 0 0 0 17 2 0 0 0
/proc/15597/statm: 5293 5073 73 172 0 5120 0
Current children cumulated CPU time (s) 564.73
Current children cumulated vsize (KiB) 23592
[startup+565.108 s]
/proc/loadavg: 1.00 1.00 1.00 2/98 17295
/proc/meminfo: memFree=918180/2074464 swapFree=1950760/1959888
[pid=15591] ppid=15589 vsize=2420 CPUtime=1.14
/proc/15591/stat : 15591 (SatELiteGTI) S 15589 15591 11066 0 -1 4194304 387 5781 0 0 0 0 112 2 18 0 1 0 1016837205 2478080 278 4294967295 134512640 135169312 3214740768 3214736984 3085000430 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/15591/statm: 605 278 235 161 0 44 0
[pid=15597] ppid=15591 vsize=21172 CPUtime=563.99
/proc/15597/stat : 15597 (minisat_static) R 15591 15591 11066 0 -1 4202496 5138 0 0 0 56393 6 0 0 25 0 1 0 1016837320 21680128 5073 4294967295 134512640 135215339 3219403232 3219401520 134528700 0 0 0 3 0 0 0 17 2 0 0 0
/proc/15597/statm: 5293 5073 73 172 0 5120 0
Current children cumulated CPU time (s) 565.13
Current children cumulated vsize (KiB) 23592
[startup+565.208 s]
/proc/loadavg: 1.00 1.00 1.00 2/98 17295
/proc/meminfo: memFree=918180/2074464 swapFree=1950760/1959888
[pid=15591] ppid=15589 vsize=2420 CPUtime=1.14
/proc/15591/stat : 15591 (SatELiteGTI) S 15589 15591 11066 0 -1 4194304 387 5781 0 0 0 0 112 2 18 0 1 0 1016837205 2478080 278 4294967295 134512640 135169312 3214740768 3214736984 3085000430 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/15591/statm: 605 278 235 161 0 44 0
[pid=15597] ppid=15591 vsize=21172 CPUtime=564.09
/proc/15597/stat : 15597 (minisat_static) R 15591 15591 11066 0 -1 4202496 5138 0 0 0 56403 6 0 0 25 0 1 0 1016837320 21680128 5073 4294967295 134512640 135215339 3219403232 3219401296 134538543 0 0 0 3 0 0 0 17 2 0 0 0
/proc/15597/statm: 5293 5073 73 172 0 5120 0
Current children cumulated CPU time (s) 565.23
Current children cumulated vsize (KiB) 23592
Child status: 20
Real time (s): 565.244
CPU time (s): 565.26
CPU user time (s): 565.18
CPU system time (s): 0.08
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 23800
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 565.18
system time used= 0.08
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 11585
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 24
involuntary context switches= 304
runsolver used 0.03 second user time and 0.02 second system time
The end
Begin job on tipi23 at 2009-05-17 03:23:09
IDJOB=1821394
IDBENCH=70949
IDSOLVER=657
FILE ID=tipi23/1821394-1242523389
PBS_JOBID=
Free space on /tmp= 8811 MiB
SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT09/APPLICATIONS/bioinfo/q_query_3_l45_lambda.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= runsolver --timestamp -w /tmp/evaluation-result-1821394-1242523389/watcher-1821394-1242523389 -o /tmp/evaluation-result-1821394-1242523389/solver-1821394-1242523389 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1821394-1242523389.cnf
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 94aa7bdbcbe99c5b3082c395dc2384e9
RANDOM SEED= 1442154151
Linux tipi23 2.6.18 #19 SMP Tue Jun 19 11:27:27 CEST 2007 i686 GNU/Linux
/proc/cpuinfo:
processor : 0
vendor_id : AuthenticAMD
cpu family : 15
model : 33
model name : Dual Core AMD Opteron(tm) Processor 265
stepping : 2
cpu MHz : 1808.377
cache size : 1024 KB
physical id : 0
siblings : 2
core id : 0
cpu cores : 2
fdiv_bug : no
hlt_bug : no
f00f_bug : no
coma_bug : no
fpu : yes
fpu_exception : yes
cpuid level : 1
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt lm 3dnowext 3dnow pni lahf_lm cmp_legacy ts fid vid ttp
bogomips : 3618.38
processor : 1
vendor_id : AuthenticAMD
cpu family : 15
model : 33
model name : Dual Core AMD Opteron(tm) Processor 265
stepping : 2
cpu MHz : 1808.377
cache size : 1024 KB
physical id : 0
siblings : 2
core id : 1
cpu cores : 2
fdiv_bug : no
hlt_bug : no
f00f_bug : no
coma_bug : no
fpu : yes
fpu_exception : yes
cpuid level : 1
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt lm 3dnowext 3dnow pni lahf_lm cmp_legacy ts fid vid ttp
bogomips : 3616.78
processor : 2
vendor_id : AuthenticAMD
cpu family : 15
model : 33
model name : Dual Core AMD Opteron(tm) Processor 265
stepping : 2
cpu MHz : 1808.377
cache size : 1024 KB
physical id : 1
siblings : 2
core id : 0
cpu cores : 2
fdiv_bug : no
hlt_bug : no
f00f_bug : no
coma_bug : no
fpu : yes
fpu_exception : yes
cpuid level : 1
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt lm 3dnowext 3dnow pni lahf_lm cmp_legacy ts fid vid ttp
bogomips : 3616.79
processor : 3
vendor_id : AuthenticAMD
cpu family : 15
model : 33
model name : Dual Core AMD Opteron(tm) Processor 265
stepping : 2
cpu MHz : 1808.377
cache size : 1024 KB
physical id : 1
siblings : 2
core id : 1
cpu cores : 2
fdiv_bug : no
hlt_bug : no
f00f_bug : no
coma_bug : no
fpu : yes
fpu_exception : yes
cpuid level : 1
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt lm 3dnowext 3dnow pni lahf_lm cmp_legacy ts fid vid ttp
bogomips : 3616.78
/proc/meminfo:
MemTotal: 2074464 kB
MemFree: 941516 kB
Buffers: 34096 kB
Cached: 997244 kB
SwapCached: 3660 kB
Active: 478924 kB
Inactive: 564164 kB
HighTotal: 1178688 kB
HighFree: 304972 kB
LowTotal: 895776 kB
LowFree: 636544 kB
SwapTotal: 1959888 kB
SwapFree: 1950760 kB
Dirty: 4820 kB
Writeback: 0 kB
AnonPages: 10928 kB
Mapped: 4472 kB
Slab: 81696 kB
PageTables: 568 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 2997120 kB
Committed_AS: 96888 kB
VmallocTotal: 114680 kB
VmallocUsed: 1324 kB
VmallocChunk: 113264 kB
Free space on /tmp at the end= 8811 MiB
End job on tipi23 at 2009-05-17 03:32:35