0.00/0.00 c Parsing...
0.00/0.13 c ==============================================================================
0.00/0.13 c | | ORIGINAL | LEARNT | |
0.00/0.13 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress |
0.00/0.13 c ==============================================================================
0.00/0.13 c | 0 | 151127 442273 | 45338 0 0 nan | 0.000 % |
0.99/1.08 c | 0 | 66882 225550 | -- 0 -- -- | -- | -78765/-200275
0.99/1.08 c ==============================================================================
0.99/1.08 c Result : #vars: 7670 #clauses: 66882 #literals: 225550
0.99/1.08 c CPU time: 1.05084 s
0.99/1.08 c ==============================================================================
1.09/1.16 c This is MiniSat 2.0 beta
1.09/1.16 c WARNING: for repeatability, setting FPU to use double precision
1.09/1.16 c ============================[ Problem Statistics ]=============================
1.09/1.16 c | |
1.09/1.16 c | Number of variables: 7670 |
1.09/1.16 c | Number of clauses: 66882 |
1.15/1.20 c | Parsing time: 0.03 s |
1.15/1.20 c ============================[ Search Statistics ]==============================
1.15/1.20 c | Conflicts | ORIGINAL | LEARNT | Progress |
1.15/1.20 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
1.15/1.20 c ===============================================================================
1.15/1.20 c | 0 | 7670 66882 225550 | 22294 0 nan | 0.000 % |
1.15/1.21 c | 101 | 7670 66882 225550 | 22294 101 9 | 0.000 % |
1.15/1.21 c | 203 | 7669 66882 225550 | 22294 202 10 | 0.013 % |
1.15/1.22 c | 303 | 7669 66882 225550 | 22294 302 10 | 0.013 % |
1.15/1.22 c | 413 | 7669 66882 225550 | 22294 412 10 | 0.013 % |
1.15/1.23 c | 513 | 7669 66882 225550 | 22294 512 11 | 0.013 % |
1.15/1.23 c | 623 | 7668 66882 225550 | 22294 621 11 | 0.039 % |
1.15/1.24 c | 745 | 7668 66882 225550 | 22294 743 11 | 0.039 % |
1.15/1.25 c | 845 | 7667 66882 225550 | 22294 843 11 | 0.039 % |
1.15/1.25 c | 957 | 7667 66882 225550 | 22294 955 11 | 0.039 % |
1.15/1.26 c | 1079 | 7667 66882 225550 | 22294 1077 11 | 0.039 % |
1.15/1.27 c | 1213 | 7667 66882 225550 | 22294 1211 12 | 0.039 % |
1.15/1.28 c | 1314 | 7667 66882 225550 | 22294 1312 12 | 0.039 % |
1.15/1.28 c | 1425 | 7667 66882 225550 | 22294 1423 12 | 0.039 % |
1.15/1.29 c | 1546 | 7667 66882 225550 | 22294 1544 12 | 0.039 % |
1.15/1.30 c | 1679 | 7667 66882 225550 | 22294 1677 12 | 0.039 % |
1.15/1.31 c | 1827 | 7667 66882 225550 | 22294 1825 12 | 0.039 % |
1.15/1.31 c | 1927 | 7667 66882 225550 | 22294 1925 12 | 0.039 % |
1.15/1.32 c | 2037 | 7667 66882 225550 | 22294 2035 12 | 0.039 % |
1.15/1.33 c | 2160 | 7667 66882 225550 | 22294 2158 12 | 0.039 % |
1.15/1.34 c | 2294 | 7667 66468 223528 | 22294 2289 13 | 0.039 % |
1.15/1.35 c | 2440 | 7667 66468 223528 | 22294 2435 13 | 0.039 % |
1.15/1.36 c | 2600 | 7667 66468 223528 | 22294 2595 13 | 0.039 % |
1.15/1.37 c | 2700 | 7667 66468 223528 | 22294 2695 13 | 0.039 % |
1.15/1.38 c | 2811 | 7667 66468 223528 | 22294 2806 13 | 0.039 % |
1.15/1.38 c | 2933 | 7667 66468 223528 | 22294 2928 13 | 0.039 % |
1.15/1.39 c | 3066 | 7667 66468 223528 | 22294 3061 12 | 0.039 % |
1.15/1.40 c | 3213 | 7667 66468 223528 | 22294 3208 12 | 0.039 % |
1.15/1.41 c | 3375 | 7667 66468 223528 | 22294 3370 12 | 0.039 % |
1.15/1.42 c | 3552 | 7667 66468 223528 | 22294 3547 13 | 0.039 % |
1.15/1.43 c | 3653 | 7667 66468 223528 | 22294 3648 13 | 0.039 % |
1.15/1.44 c | 3763 | 7667 66468 223528 | 22294 3758 13 | 0.039 % |
1.15/1.45 c | 3884 | 7667 66468 223528 | 22294 3879 13 | 0.039 % |
1.15/1.46 c | 4019 | 7667 66468 223528 | 22294 4014 13 | 0.039 % |
1.15/1.47 c | 4166 | 7667 66468 223528 | 22294 4161 13 | 0.039 % |
1.15/1.48 c | 4328 | 7667 66468 223528 | 22294 4323 13 | 0.039 % |
1.15/1.49 c | 4504 | 7667 66468 223528 | 22294 4499 13 | 0.039 % |
1.15/1.51 c | 4699 | 7667 66468 223528 | 22294 4694 13 | 0.039 % |
1.15/1.52 c | 4800 | 7667 66468 223528 | 22294 4795 13 | 0.039 % |
1.15/1.52 c | 4910 | 7667 66468 223528 | 22294 4905 13 | 0.039 % |
1.15/1.53 c | 5032 | 7667 66468 223528 | 22294 5027 13 | 0.039 % |
1.15/1.55 c | 5165 | 7667 66468 223528 | 22294 5160 13 | 0.039 % |
1.15/1.56 c | 5311 | 7667 66468 223528 | 22294 5306 13 | 0.039 % |
1.15/1.57 c | 5473 | 7667 66468 223528 | 22294 5468 13 | 0.039 % |
1.15/1.59 c | 5651 | 7667 66468 223528 | 22294 5646 13 | 0.039 % |
1.15/1.60 c | 5845 | 7667 66468 223528 | 22294 5840 13 | 0.039 % |
1.15/1.62 c | 6058 | 7667 66468 223528 | 22294 6053 13 | 0.039 % |
1.15/1.63 c | 6159 | 7667 66468 223528 | 22294 6154 13 | 0.039 % |
1.15/1.64 c | 6269 | 7667 66468 223528 | 22294 6264 13 | 0.039 % |
1.15/1.65 c | 6390 | 7667 66468 223528 | 22294 6385 13 | 0.039 % |
1.15/1.66 c | 6525 | 7667 66468 223528 | 22294 6520 13 | 0.039 % |
1.15/1.67 c | 6672 | 7667 66468 223528 | 22294 6667 13 | 0.039 % |
1.15/1.68 c | 6833 | 7667 66468 223528 | 22294 6828 13 | 0.039 % |
1.15/1.70 c | 7009 | 7667 66468 223528 | 22294 7004 13 | 0.039 % |
1.15/1.71 c | 7203 | 7667 66468 223528 | 22294 7198 13 | 0.039 % |
1.15/1.73 c | 7415 | 7667 66468 223528 | 22294 7410 13 | 0.039 % |
1.15/1.75 c | 7649 | 7667 66468 223528 | 22294 7644 13 | 0.039 % |
1.15/1.76 c | 7750 | 7667 66468 223528 | 22294 7745 14 | 0.039 % |
1.15/1.76 c | 7861 | 7667 66468 223528 | 22294 7856 14 | 0.039 % |
1.15/1.78 c | 7983 | 7667 66468 223528 | 22294 7978 13 | 0.039 % |
1.15/1.79 c | 8117 | 7667 66468 223528 | 22294 8112 13 | 0.039 % |
1.15/1.80 c | 8263 | 7667 66468 223528 | 22294 8258 13 | 0.039 % |
1.15/1.82 c | 8425 | 7667 66468 223528 | 22294 8420 13 | 0.039 % |
1.15/1.83 c | 8603 | 7667 66468 223528 | 22294 8598 13 | 0.039 % |
1.15/1.85 c | 8797 | 7667 66468 223528 | 22294 8792 13 | 0.039 % |
1.15/1.86 c | 9009 | 7667 66468 223528 | 22294 9004 14 | 0.039 % |
1.15/1.89 c | 9242 | 7667 66468 223528 | 22294 9237 14 | 0.039 % |
1.15/1.91 c | 9501 | 7667 66468 223528 | 22294 9496 14 | 0.039 % |
1.15/1.91 c | 9601 | 7667 66468 223528 | 22294 9596 14 | 0.039 % |
1.15/1.92 c | 9712 | 7667 66468 223528 | 22294 9707 14 | 0.039 % |
1.15/1.93 c | 9833 | 7667 66468 223528 | 22294 9828 14 | 0.039 % |
1.15/1.94 c | 9966 | 7667 66468 223528 | 22294 9961 14 | 0.039 % |
1.15/1.96 c | 10113 | 7667 66468 223528 | 2147483647 10108 14 | 0.039 % |
1.15/1.97 c | 10275 | 7667 66468 223528 | 2147483647 10270 14 | 0.039 % |
1.15/1.99 c | 10451 | 7667 66468 223528 | 2147483647 10446 14 | 0.039 % |
1.15/2.01 c | 10645 | 7667 66468 223528 | 2147483647 10640 14 | 0.039 % |
1.15/2.03 c | 10859 | 7667 66468 223528 | 2147483647 10854 14 | 0.039 % |
1.15/2.06 c | 11092 | 7667 66468 223528 | 2147483647 11087 14 | 0.039 % |
1.15/2.08 c | 11348 | 7667 66468 223528 | 2147483647 11343 14 | 0.039 % |
2.07/2.13 c | 11629 | 7667 66468 223528 | 2147483647 11624 14 | 0.039 % |
2.07/2.13 c | 11729 | 7667 66468 223528 | 2147483647 11724 14 | 0.039 % |
2.07/2.14 c | 11840 | 7667 66468 223528 | 2147483647 11835 14 | 0.039 % |
2.07/2.16 c | 11961 | 7667 66468 223528 | 2147483647 11956 14 | 0.039 % |
2.07/2.17 c | 12094 | 7667 66468 223528 | 2147483647 12089 14 | 0.039 % |
2.07/2.18 c | 12240 | 7667 66468 223528 | 2147483647 12235 14 | 0.039 % |
2.17/2.20 c | 12400 | 7667 66468 223528 | 2147483647 12395 14 | 0.039 % |
2.17/2.22 c | 12578 | 7667 66468 223528 | 2147483647 12573 14 | 0.039 % |
2.17/2.24 c | 12771 | 7667 66468 223528 | 2147483647 12766 14 | 0.039 % |
2.17/2.26 c | 12984 | 7667 66468 223528 | 2147483647 12979 14 | 0.039 % |
2.17/2.28 c | 13217 | 7667 66468 223528 | 2147483647 13212 14 | 0.039 % |
2.27/2.30 c | 13473 | 7667 66468 223528 | 2147483647 13468 14 | 0.039 % |
2.27/2.33 c | 13754 | 7667 66468 223528 | 2147483647 13749 14 | 0.039 % |
2.27/2.35 c | 14064 | 7667 66468 223528 | 2147483647 14059 14 | 0.039 % |
2.27/2.36 c | 14165 | 7667 66468 223528 | 2147483647 14160 14 | 0.039 % |
2.27/2.38 c | 14275 | 7667 66468 223528 | 2147483647 14270 14 | 0.039 % |
2.27/2.39 c | 14397 | 7667 66468 223528 | 2147483647 14392 14 | 0.039 % |
2.37/2.41 c | 14530 | 7667 66468 223528 | 2147483647 14525 14 | 0.039 % |
2.37/2.42 c | 14677 | 7667 66468 223528 | 2147483647 14672 14 | 0.039 % |
2.37/2.45 c | 14837 | 7667 66468 223528 | 2147483647 14832 14 | 0.039 % |
2.37/2.47 c | 15013 | 7667 66468 223528 | 2147483647 15008 14 | 0.039 % |
2.37/2.49 c | 15206 | 7667 66468 223528 | 2147483647 15201 14 | 0.039 % |
2.47/2.52 c | 15419 | 7667 66468 223528 | 2147483647 15414 14 | 0.039 % |
2.47/2.55 c | 15652 | 7667 66468 223528 | 2147483647 15647 14 | 0.039 % |
2.47/2.57 c | 15908 | 7667 66468 223528 | 2147483647 15903 14 | 0.039 % |
2.57/2.60 c | 16189 | 7667 66468 223528 | 2147483647 16184 14 | 0.039 % |
2.57/2.64 c | 16498 | 7667 66468 223528 | 2147483647 16493 14 | 0.039 % |
2.57/2.69 c | 16839 | 7667 66468 223528 | 2147483647 16834 14 | 0.039 % |
2.67/2.70 c | 16942 | 7667 66468 223528 | 2147483647 16937 14 | 0.039 % |
2.67/2.71 c | 17053 | 7667 66468 223528 | 2147483647 17048 14 | 0.039 % |
2.67/2.73 c | 17174 | 7667 66468 223528 | 2147483647 17169 14 | 0.039 % |
2.67/2.74 c | 17307 | 7667 66468 223528 | 2147483647 17302 14 | 0.039 % |
2.67/2.76 c | 17453 | 7667 66468 223528 | 2147483647 17448 14 | 0.039 % |
2.67/2.78 c | 17613 | 7667 66468 223528 | 2147483647 17608 14 | 0.039 % |
2.67/2.79 c | 17790 | 7667 66468 223528 | 2147483647 17785 14 | 0.039 % |
2.77/2.82 c | 17984 | 7667 66468 223528 | 2147483647 17979 14 | 0.039 % |
2.77/2.84 c | 18196 | 7667 66468 223528 | 2147483647 18191 14 | 0.039 % |
2.77/2.87 c | 18429 | 7667 66468 223528 | 2147483647 18424 14 | 0.039 % |
2.77/2.90 c | 18685 | 7667 66468 223528 | 2147483647 18680 14 | 0.039 % |
2.87/2.93 c | 18969 | 7667 66468 223528 | 2147483647 18964 14 | 0.039 % |
2.87/2.96 c | 19278 | 7667 66468 223528 | 2147483647 19273 14 | 0.039 % |
2.87/3.00 c | 19619 | 7667 66468 223528 | 2147483647 19614 14 | 0.039 % |
2.97/3.05 c | 19993 | 7667 66468 223528 | 2147483647 19988 14 | 0.039 % |
2.97/3.06 c | 20093 | 7667 66468 223528 | 2147483647 20088 14 | 0.039 % |
2.97/3.08 c | 20206 | 7667 66468 223528 | 2147483647 20201 14 | 0.039 % |
2.97/3.09 c | 20327 | 7667 66468 223528 | 2147483647 20322 14 | 0.039 % |
3.07/3.11 c | 20461 | 7667 66468 223528 | 2147483647 20456 14 | 0.039 % |
3.07/3.13 c | 20608 | 7667 66468 223528 | 2147483647 20603 14 | 0.039 % |
3.07/3.16 c | 20768 | 7667 66468 223528 | 2147483647 20763 14 | 0.039 % |
3.07/3.18 c | 20945 | 7667 66468 223528 | 2147483647 20940 14 | 0.039 % |
3.18/3.21 c | 21138 | 7667 66468 223528 | 2147483647 21133 15 | 0.039 % |
3.18/3.24 c | 21350 | 7667 66468 223528 | 2147483647 21345 15 | 0.039 % |
3.18/3.28 c | 21585 | 7667 66468 223528 | 2147483647 21580 15 | 0.039 % |
3.28/3.32 c | 21841 | 7667 66468 223528 | 2147483647 21836 15 | 0.039 % |
3.28/3.37 c | 22124 | 7667 66468 223528 | 2147483647 22119 15 | 0.039 % |
3.37/3.41 c | 22433 | 7667 66468 223528 | 2147483647 22428 15 | 0.039 % |
3.37/3.44 c | 22772 | 7667 66468 223528 | 2147483647 22767 15 | 0.039 % |
3.37/3.49 c | 23144 | 7667 66468 223528 | 2147483647 23139 15 | 0.039 % |
3.47/3.55 c | 23555 | 7667 66468 223528 | 2147483647 23550 15 | 0.039 % |
3.47/3.56 c | 23655 | 7667 66468 223528 | 2147483647 23650 15 | 0.039 % |
3.47/3.58 c | 23765 | 7667 66468 223528 | 2147483647 23760 15 | 0.039 % |
3.57/3.60 c | 23887 | 7667 66468 223528 | 2147483647 23882 15 | 0.039 % |
3.57/3.62 c | 24020 | 7667 66468 223528 | 2147483647 24015 15 | 0.039 % |
3.57/3.65 c | 24171 | 7667 66468 223528 | 2147483647 24166 15 | 0.039 % |
3.57/3.68 c | 24332 | 7667 66468 223528 | 2147483647 24327 15 | 0.039 % |
3.67/3.71 c | 24508 | 7667 66468 223528 | 2147483647 24503 15 | 0.039 % |
3.67/3.73 c | 24701 | 7667 66468 223528 | 2147483647 24696 15 | 0.039 % |
3.67/3.77 c | 24914 | 7667 66468 223528 | 2147483647 24909 15 | 0.039 % |
3.77/3.81 c | 25147 | 7667 66468 223528 | 2147483647 25142 15 | 0.039 % |
3.77/3.85 c | 25403 | 7667 66468 223528 | 2147483647 25398 15 | 0.039 % |
3.77/3.89 c | 25684 | 7667 66468 223528 | 2147483647 25679 15 | 0.039 % |
3.87/3.94 c | 25994 | 7667 66468 223528 | 2147483647 25989 15 | 0.039 % |
3.87/3.99 c | 26336 | 7667 66468 223528 | 2147483647 26331 15 | 0.039 % |
3.97/4.06 c | 26709 | 7667 66468 223528 | 2147483647 26704 15 | 0.039 % |
4.07/4.13 c | 27118 | 7667 66468 223528 | 2147483647 27113 15 | 0.039 % |
4.17/4.20 c | 27567 | 7667 66468 223528 | 2147483647 27562 15 | 0.039 % |
4.17/4.22 c | 27668 | 7667 66468 223528 | 2147483647 27663 15 | 0.039 % |
4.17/4.24 c | 27779 | 7667 66468 223528 | 2147483647 27774 15 | 0.039 % |
4.17/4.26 c | 27900 | 7667 66468 223528 | 2147483647 27895 15 | 0.039 % |
4.17/4.29 c | 28033 | 7667 66468 223528 | 2147483647 28028 15 | 0.039 % |
4.28/4.32 c | 28179 | 7667 66468 223528 | 2147483647 28174 15 | 0.039 % |
4.28/4.34 c | 28339 | 7667 66468 223528 | 2147483647 28334 15 | 0.039 % |
4.28/4.37 c | 28515 | 7667 66468 223528 | 2147483647 28510 15 | 0.039 % |
4.37/4.41 c | 28708 | 7667 66468 223528 | 2147483647 28703 15 | 0.039 % |
4.37/4.45 c | 28920 | 7667 66468 223528 | 2147483647 28915 15 | 0.039 % |
4.37/4.49 c | 29154 | 7667 66468 223528 | 2147483647 29149 15 | 0.039 % |
4.47/4.54 c | 29411 | 7667 66468 223528 | 2147483647 29406 15 | 0.039 % |
4.47/4.59 c | 29695 | 7667 66468 223528 | 2147483647 29690 16 | 0.039 % |
4.57/4.65 c | 30006 | 7667 66468 223528 | 2147483647 30001 16 | 0.039 % |
4.67/4.70 c | 30347 | 7667 66468 223528 | 2147483647 30342 16 | 0.039 % |
4.67/4.78 c | 30719 | 7667 66468 223528 | 2147483647 30714 16 | 0.039 % |
4.77/4.84 c | 31128 | 7667 66468 223528 | 2147483647 31123 16 | 0.039 % |
4.87/4.92 c | 31577 | 7667 66468 223528 | 2147483647 31572 15 | 0.039 % |
4.87/4.99 c | 32072 | 7667 66468 223528 | 2147483647 32067 15 | 0.039 % |
4.97/5.01 c | 32172 | 7667 66468 223528 | 2147483647 32167 15 | 0.039 % |
4.97/5.03 c | 32283 | 7667 66468 223528 | 2147483647 32278 15 | 0.039 % |
4.97/5.04 c | 32406 | 7667 66468 223528 | 2147483647 32401 15 | 0.039 % |
4.97/5.07 c | 32540 | 7667 66468 223528 | 2147483647 32535 15 | 0.039 % |
4.97/5.08 c | 32687 | 7667 66468 223528 | 2147483647 32682 15 | 0.039 % |
5.07/5.16 c | 32847 | 7656 65244 216725 | 2147483647 25246 16 | 0.183 % |
5.07/5.18 c | 33024 | 7656 65244 216725 | 2147483647 25423 16 | 0.183 % |
5.17/5.22 c | 33218 | 7656 65244 216725 | 2147483647 25617 16 | 0.183 % |
5.17/5.26 c | 33431 | 7656 65244 216725 | 2147483647 25830 16 | 0.183 % |
5.27/5.30 c | 33665 | 7656 65244 216725 | 2147483647 26064 16 | 0.183 % |
5.27/5.34 c | 33923 | 7656 65244 216725 | 2147483647 26322 16 | 0.183 % |
5.27/5.38 c | 34204 | 7656 65244 216725 | 2147483647 26603 16 | 0.183 % |
5.37/5.44 c | 34514 | 7656 65244 216725 | 2147483647 26913 16 | 0.183 % |
5.37/5.50 c | 34855 | 7656 65244 216725 | 2147483647 27254 16 | 0.183 % |
5.47/5.58 c | 35228 | 7656 65244 216725 | 2147483647 27627 16 | 0.183 % |
5.57/5.67 c | 35637 | 7656 65244 216725 | 2147483647 28036 16 | 0.183 % |
5.67/5.76 c | 36087 | 7656 65244 216725 | 2147483647 28486 16 | 0.183 % |
5.77/5.86 c | 36580 | 7656 65244 216725 | 2147483647 28979 16 | 0.183 % |
5.87/5.96 c | 37124 | 7656 65244 216725 | 2147483647 29523 16 | 0.183 % |
5.87/5.98 c | 37224 | 7656 65244 216725 | 2147483647 29623 16 | 0.183 % |
5.97/6.01 c | 37335 | 7656 65244 216725 | 2147483647 29734 16 | 0.183 % |
5.97/6.04 c | 37456 | 7656 65244 216725 | 2147483647 29855 16 | 0.183 % |
5.97/6.07 c | 37589 | 7656 65244 216725 | 2147483647 29988 16 | 0.183 % |
6.07/6.11 c | 37736 | 7656 65244 216725 | 2147483647 30135 16 | 0.183 % |
6.07/6.14 c | 37896 | 7656 65244 216725 | 2147483647 30295 16 | 0.183 % |
6.07/6.17 c | 38074 | 7656 65244 216725 | 2147483647 30473 16 | 0.183 % |
6.17/6.22 c | 38267 | 7656 65244 216725 | 2147483647 30666 16 | 0.183 % |
6.17/6.26 c | 38480 | 7656 65244 216725 | 2147483647 30879 16 | 0.183 % |
6.27/6.30 c | 38713 | 7656 65244 216725 | 2147483647 31112 16 | 0.183 % |
6.27/6.34 c | 38971 | 7656 65244 216725 | 2147483647 31370 16 | 0.183 % |
6.27/6.39 c | 39254 | 7656 65244 216725 | 2147483647 31653 16 | 0.183 % |
6.37/6.44 c | 39563 | 7656 65244 216725 | 2147483647 31962 16 | 0.183 % |
6.37/6.49 c | 39902 | 7656 65244 216725 | 2147483647 32301 16 | 0.183 % |
6.47/6.58 c | 40277 | 7656 65244 216725 | 2147483647 32676 16 | 0.183 % |
6.57/6.67 c | 40688 | 7656 65244 216725 | 2147483647 33087 16 | 0.183 % |
6.67/6.75 c | 41137 | 7656 65244 216725 | 2147483647 33536 16 | 0.183 % |
6.77/6.88 c | 41630 | 7656 65244 216725 | 2147483647 34029 17 | 0.183 % |
6.97/7.00 c | 42173 | 7656 65244 216725 | 2147483647 34572 17 | 0.183 % |
7.07/7.14 c | 42769 | 7656 65244 216725 | 2147483647 35168 17 | 0.183 % |
7.07/7.16 c | 42873 | 7656 65244 216725 | 2147483647 35272 17 | 0.183 % |
7.07/7.18 c | 42984 | 7656 65244 216725 | 2147483647 35383 17 | 0.183 % |
7.17/7.21 c | 43105 | 7656 65244 216725 | 2147483647 35504 17 | 0.183 % |
7.17/7.25 c | 43239 | 7656 65244 216725 | 2147483647 35638 17 | 0.183 % |
7.17/7.28 c | 43388 | 7656 65244 216725 | 2147483647 35787 17 | 0.183 % |
7.27/7.32 c | 43548 | 7656 65244 216725 | 2147483647 35947 17 | 0.183 % |
7.27/7.38 c | 43726 | 7656 65244 216725 | 2147483647 36125 17 | 0.183 % |
7.37/7.44 c | 43919 | 7656 65244 216725 | 2147483647 36318 17 | 0.183 % |
7.37/7.48 c | 44131 | 7656 65244 216725 | 2147483647 36530 17 | 0.183 % |
7.47/7.54 c | 44366 | 7656 65244 216725 | 2147483647 36765 17 | 0.183 % |
7.47/7.60 c | 44622 | 7656 65244 216725 | 2147483647 37021 17 | 0.183 % |
7.57/7.68 c | 44904 | 7656 65244 216725 | 2147483647 37303 17 | 0.183 % |
7.67/7.75 c | 45215 | 7656 65244 216725 | 2147483647 37614 17 | 0.183 % |
7.77/7.86 c | 45554 | 7656 65244 216725 | 2147483647 37953 17 | 0.183 % |
7.87/7.98 c | 45926 | 7656 65244 216725 | 2147483647 38325 17 | 0.183 % |
8.07/8.12 c | 46337 | 7656 65244 216725 | 2147483647 38736 17 | 0.183 % |
8.16/8.26 c | 46786 | 7656 65244 216725 | 2147483647 39185 17 | 0.183 % |
8.36/8.43 c | 47279 | 7656 65244 216725 | 2147483647 39678 17 | 0.183 % |
8.56/8.62 c | 47821 | 7656 65244 216725 | 2147483647 40220 17 | 0.183 % |
8.67/8.76 c | 48420 | 7656 65244 216725 | 2147483647 40819 17 | 0.183 % |
8.86/8.93 c | 49075 | 7656 65244 216725 | 2147483647 41474 17 | 0.183 % |
8.86/8.98 c | 49177 | 7656 65244 216725 | 2147483647 41576 17 | 0.183 % |
8.96/9.02 c | 49287 | 7656 65244 216725 | 2147483647 41686 17 | 0.183 % |
8.96/9.06 c | 49410 | 7656 65244 216725 | 2147483647 41809 17 | 0.183 % |
9.06/9.10 c | 49543 | 7656 65244 216725 | 2147483647 41942 17 | 0.183 % |
9.06/9.15 c | 49689 | 7656 65244 216725 | 2147483647 42088 17 | 0.183 % |
9.06/9.19 c | 49852 | 7656 65244 216725 | 2147483647 42251 17 | 0.183 % |
9.16/9.25 c | 50028 | 7656 65244 216725 | 2147483647 42427 17 | 0.183 % |
9.26/9.31 c | 50222 | 7656 65244 216725 | 2147483647 42621 17 | 0.183 % |
9.26/9.37 c | 50434 | 7656 65244 216725 | 2147483647 42833 17 | 0.183 % |
9.36/9.43 c | 50668 | 7656 65244 216725 | 2147483647 43067 17 | 0.183 % |
9.46/9.52 c | 50924 | 7656 65244 216725 | 2147483647 43323 17 | 0.183 % |
9.46/9.59 c | 51209 | 7656 65244 216725 | 2147483647 43608 17 | 0.183 % |
9.66/9.70 c | 51522 | 7656 65244 216725 | 2147483647 43921 17 | 0.183 % |
9.77/9.80 c | 51861 | 7656 65244 216725 | 2147483647 44260 17 | 0.183 % |
9.87/9.92 c | 52234 | 7656 65244 216725 | 2147483647 44633 17 | 0.183 % |
9.96/10.04 c | 52643 | 7656 65244 216725 | 2147483647 45042 17 | 0.183 % |
10.06/10.18 c | 53094 | 7656 65244 216725 | 2147483647 45493 17 | 0.183 % |
10.27/10.38 c | 53587 | 7656 65244 216725 | 2147483647 45986 17 | 0.183 % |
10.47/10.56 c | 54130 | 7656 65244 216725 | 2147483647 46529 17 | 0.183 % |
10.67/10.78 c | 54726 | 7656 65244 216725 | 2147483647 47125 17 | 0.183 % |
10.88/10.97 c | 55381 | 7656 65244 216725 | 2147483647 47780 17 | 0.183 % |
11.07/11.18 c | 56102 | 7656 65244 216725 | 2147483647 48501 17 | 0.183 % |
11.17/11.21 c | 56204 | 7656 65244 216725 | 2147483647 48603 17 | 0.183 % |
11.17/11.25 c | 56314 | 7656 65244 216725 | 2147483647 48713 17 | 0.183 % |
11.27/11.30 c | 56436 | 7656 65244 216725 | 2147483647 48835 17 | 0.183 % |
11.27/11.36 c | 56572 | 7656 65244 216725 | 2147483647 48971 17 | 0.183 % |
11.37/11.42 c | 56720 | 7656 65244 216725 | 2147483647 49119 17 | 0.183 % |
11.37/11.49 c | 56881 | 7656 65244 216725 | 2147483647 49280 17 | 0.183 % |
11.47/11.56 c | 57057 | 7656 65244 216725 | 2147483647 49456 17 | 0.183 % |
11.57/11.65 c | 57250 | 7656 65244 216725 | 2147483647 49649 17 | 0.183 % |
11.67/11.73 c | 57462 | 7656 65244 216725 | 2147483647 49861 17 | 0.183 % |
11.77/11.82 c | 57696 | 7656 65244 216725 | 2147483647 50095 17 | 0.183 % |
11.87/11.91 c | 57952 | 7656 65244 216725 | 2147483647 50351 17 | 0.183 % |
11.97/12.04 c | 58233 | 7656 65244 216725 | 2147483647 50632 17 | 0.183 % |
11.97/12.08 c | 58543 | 7656 65244 216725 | 2147483647 50942 17 | 0.183 % |
12.17/12.25 c | 58882 | 7656 65244 216725 | 2147483647 51281 17 | 0.183 % |
12.27/12.39 c | 59254 | 7656 65244 216725 | 2147483647 51653 18 | 0.183 % |
12.47/12.53 c | 59663 | 7656 65244 216725 | 2147483647 52062 18 | 0.183 % |
12.67/12.72 c | 60112 | 7656 65244 216725 | 2147483647 52511 18 | 0.183 % |
12.87/12.93 c | 60605 | 7656 65244 216725 | 2147483647 53004 18 | 0.183 % |
13.07/13.17 c | 61149 | 7656 65244 216725 | 2147483647 53548 18 | 0.183 % |
13.36/13.44 c | 61745 | 7656 65244 216725 | 2147483647 54144 18 | 0.183 % |
13.66/13.71 c | 62401 | 7656 65244 216725 | 2147483647 54800 18 | 0.183 % |
13.96/14.01 c | 63123 | 7656 65244 216725 | 2147483647 55522 18 | 0.183 % |
14.27/14.36 c | 63921 | 7656 65244 216725 | 2147483647 56320 18 | 0.183 % |
14.27/14.40 c | 64021 | 7656 65244 216725 | 2147483647 56420 18 | 0.183 % |
14.36/14.44 c | 64131 | 7656 65244 216725 | 2147483647 56530 18 | 0.183 % |
14.46/14.51 c | 64255 | 7656 65244 216725 | 2147483647 56654 18 | 0.183 % |
14.46/14.56 c | 64388 | 7656 65244 216725 | 2147483647 56787 18 | 0.183 % |
14.56/14.61 c | 64536 | 7656 65244 216725 | 2147483647 56935 18 | 0.183 % |
14.56/14.69 c | 64696 | 7656 65244 216725 | 2147483647 57095 18 | 0.183 % |
14.66/14.78 c | 64873 | 7656 65244 216725 | 2147483647 57272 18 | 0.183 % |
14.76/14.88 c | 65068 | 7656 65244 216725 | 2147483647 57467 18 | 0.183 % |
14.96/15.01 c | 65282 | 7656 65244 216725 | 2147483647 57681 18 | 0.183 % |
15.06/15.11 c | 65516 | 7656 65244 216725 | 2147483647 57915 18 | 0.183 % |
15.16/15.20 c | 65772 | 7656 65244 216725 | 2147483647 58171 18 | 0.183 % |
15.26/15.34 c | 66056 | 7656 65244 216725 | 2147483647 58455 18 | 0.183 % |
15.36/15.47 c | 66366 | 7656 65244 216725 | 2147483647 58765 18 | 0.183 % |
15.56/15.63 c | 66705 | 7656 65244 216725 | 2147483647 59104 18 | 0.183 % |
15.76/15.80 c | 67077 | 7656 65244 216725 | 2147483647 59476 18 | 0.183 % |
15.96/16.04 c | 67489 | 7656 65244 216725 | 2147483647 59888 18 | 0.183 % |
16.17/16.23 c | 67938 | 7656 65244 216725 | 2147483647 60337 18 | 0.183 % |
16.37/16.50 c | 68434 | 7656 65244 216725 | 2147483647 60833 18 | 0.183 % |
16.67/16.72 c | 68976 | 7656 65244 216725 | 2147483647 61375 18 | 0.183 % |
16.97/17.03 c | 69572 | 7656 65244 216725 | 2147483647 61971 18 | 0.183 % |
17.26/17.32 c | 70227 | 7656 65244 216725 | 2147483647 62626 18 | 0.183 % |
17.57/17.65 c | 70947 | 7656 65244 216725 | 2147483647 63346 18 | 0.183 % |
18.06/18.14 c | 71739 | 7656 65244 216725 | 2147483647 64138 18 | 0.183 % |
18.67/18.76 c | 72612 | 7656 65244 216725 | 2147483647 65011 18 | 0.183 % |
18.76/18.83 c | 72714 | 7656 65244 216725 | 2147483647 65113 18 | 0.183 % |
18.86/18.90 c | 72824 | 7656 65244 216725 | 2147483647 65223 18 | 0.183 % |
18.86/18.97 c | 72945 | 7656 65244 216725 | 2147483647 65344 18 | 0.183 % |
18.96/19.02 c | 73078 | 7656 65244 216725 | 2147483647 65477 18 | 0.183 % |
19.06/19.10 c | 73224 | 7656 65244 216725 | 2147483647 65623 18 | 0.183 % |
19.06/19.19 c | 73384 | 7656 65244 216725 | 2147483647 65783 18 | 0.183 % |
19.16/19.29 c | 73561 | 7656 65244 216725 | 2147483647 65960 18 | 0.183 % |
19.36/19.42 c | 73755 | 7656 65244 216725 | 2147483647 66154 18 | 0.183 % |
19.46/19.55 c | 73968 | 7656 65244 216725 | 2147483647 66367 18 | 0.183 % |
19.56/19.68 c | 74201 | 7656 65244 216725 | 2147483647 66600 18 | 0.183 % |
19.77/19.82 c | 74457 | 7656 65244 216725 | 2147483647 66856 18 | 0.183 % |
19.86/19.97 c | 74738 | 7656 65244 216725 | 2147483647 67137 18 | 0.183 % |
19.96/20.09 c | 75047 | 7656 65244 216725 | 2147483647 67446 18 | 0.183 % |
20.16/20.30 c | 75388 | 7656 65244 216725 | 2147483647 67787 18 | 0.183 % |
20.36/20.44 c | 75760 | 7656 65244 216725 | 2147483647 68159 18 | 0.183 % |
20.56/20.69 c | 76171 | 7656 65244 216725 | 2147483647 68570 18 | 0.183 % |
20.86/20.92 c | 76620 | 7656 65244 216725 | 2147483647 69019 18 | 0.183 % |
20.96/21.00 c | 77115 | 7656 65244 216725 | 2147483647 69514 18 | 0.183 % |
21.26/21.35 c | 77658 | 7656 65244 216725 | 2147483647 70057 18 | 0.183 % |
21.66/21.73 c | 78254 | 7656 65244 216725 | 2147483647 70653 18 | 0.183 % |
22.06/22.16 c | 78909 | 7656 65244 216725 | 2147483647 71308 18 | 0.183 % |
22.36/22.47 c | 79632 | 7656 65244 216725 | 2147483647 72031 18 | 0.183 % |
22.86/22.93 c | 80424 | 7656 65244 216725 | 2147483647 72823 18 | 0.183 % |
23.36/23.45 c | 81295 | 7656 65244 216725 | 2147483647 73694 18 | 0.183 % |
23.86/23.99 c | 82255 | 7656 65244 216725 | 2147483647 74654 18 | 0.183 % |
23.96/24.06 c | 82358 | 7656 65244 216725 | 2147483647 74757 18 | 0.183 % |
24.06/24.12 c | 82471 | 7656 65244 216725 | 2147483647 74870 18 | 0.183 % |
24.06/24.19 c | 82592 | 7656 65244 216725 | 2147483647 74991 18 | 0.183 % |
24.26/24.30 c | 82727 | 7656 65244 216725 | 2147483647 75126 18 | 0.183 % |
24.36/24.42 c | 82874 | 7656 65244 216725 | 2147483647 75273 18 | 0.183 % |
24.46/24.54 c | 83035 | 7656 65244 216725 | 2147483647 75434 18 | 0.183 % |
24.56/24.69 c | 83211 | 7656 65244 216725 | 2147483647 75610 18 | 0.183 % |
24.76/24.85 c | 83404 | 7656 65244 216725 | 2147483647 75803 18 | 0.183 % |
24.96/25.01 c | 83620 | 7656 65244 216725 | 2147483647 76019 18 | 0.183 % |
25.16/25.21 c | 83853 | 7656 65244 216725 | 2147483647 76252 18 | 0.183 % |
25.36/25.40 c | 84111 | 7656 65244 216725 | 2147483647 76510 18 | 0.183 % |
25.56/25.64 c | 84392 | 7656 65244 216725 | 2147483647 76791 18 | 0.183 % |
25.76/25.81 c | 84703 | 7656 65244 216725 | 2147483647 77102 18 | 0.183 % |
25.86/25.95 c | 85043 | 7656 65244 216725 | 2147483647 77442 18 | 0.183 % |
26.16/26.25 c | 85416 | 7656 65244 216725 | 2147483647 77815 19 | 0.183 % |
26.46/26.53 c | 85827 | 7656 65244 216725 | 2147483647 78226 19 | 0.183 % |
26.86/26.93 c | 86276 | 7656 65244 216725 | 2147483647 78675 19 | 0.183 % |
27.16/27.27 c | 86769 | 7656 65244 216725 | 2147483647 79168 19 | 0.183 % |
27.55/27.65 c | 87311 | 7656 65244 216725 | 2147483647 79710 19 | 0.183 % |
28.06/28.15 c | 87909 | 7656 65244 216725 | 2147483647 80308 19 | 0.183 % |
28.46/28.53 c | 88565 | 7656 65244 216725 | 2147483647 80964 19 | 0.183 % |
29.05/29.10 c | 89285 | 7656 65244 216725 | 2147483647 81684 19 | 0.183 % |
29.56/29.65 c | 90077 | 7656 65244 216725 | 82400 82476 19 | 0.183 % |
30.25/30.34 c | 90949 | 7656 65244 216725 | 82400 72877 19 | 0.183 % |
30.95/31.02 c | 91907 | 7656 65244 216725 | 82400 73835 19 | 0.183 % |
31.45/31.59 c | 92962 | 7656 65244 216725 | 82400 74890 19 | 0.183 % |
31.55/31.66 c | 93063 | 7656 65244 216725 | 82400 74991 19 | 0.183 % |
31.65/31.76 c | 93173 | 7656 65244 216725 | 82400 75101 19 | 0.183 % |
31.76/31.82 c | 93294 | 7656 65244 216725 | 82400 75222 19 | 0.183 % |
31.76/31.90 c | 93427 | 7656 65244 216725 | 82400 75355 19 | 0.183 % |
31.95/32.03 c | 93573 | 7656 65244 216725 | 82400 75501 19 | 0.183 % |
32.05/32.16 c | 93733 | 7656 65244 216725 | 82400 75661 19 | 0.183 % |
32.15/32.29 c | 93909 | 7656 65244 216725 | 82400 75837 19 | 0.183 % |
32.35/32.42 c | 94102 | 7656 65244 216725 | 82400 76030 19 | 0.183 % |
32.45/32.57 c | 94314 | 7656 65244 216725 | 82400 76242 19 | 0.183 % |
32.65/32.75 c | 94551 | 7656 65244 216725 | 82400 76479 19 | 0.183 % |
32.75/32.88 c | 94808 | 7656 65244 216725 | 82400 76736 19 | 0.183 % |
33.05/33.16 c | 95089 | 7656 65244 216725 | 82400 77017 19 | 0.183 % |
33.35/33.40 c | 95398 | 7656 65244 216725 | 82400 77326 19 | 0.183 % |
33.65/33.73 c | 95737 | 7656 65244 216725 | 82400 77665 19 | 0.183 % |
33.85/33.95 c | 96109 | 7656 65244 216725 | 82400 78037 19 | 0.183 % |
34.06/34.16 c | 96518 | 7656 65244 216725 | 82400 78446 19 | 0.183 % |
34.55/34.60 c | 96967 | 7656 65244 216725 | 82400 78895 19 | 0.183 % |
34.95/35.00 c | 97460 | 7656 65244 216725 | 82400 79388 19 | 0.183 % |
35.35/35.44 c | 98002 | 7656 65244 216725 | 82400 79930 19 | 0.183 % |
35.85/35.96 c | 98599 | 7656 65244 216725 | 82400 80527 19 | 0.183 % |
36.35/36.45 c | 99257 | 7656 65244 216725 | 82400 81185 19 | 0.183 % |
37.05/37.13 c | 99978 | 7656 65244 216725 | 82400 81906 19 | 0.183 % |
37.95/38.03 c | 100770 | 7656 65244 216725 | 81930 69752 19 | 0.183 % |
38.55/38.65 c | 101643 | 7656 65244 216725 | 81930 70625 19 | 0.183 % |
39.15/39.29 c | 102602 | 7656 65244 216725 | 81930 71584 19 | 0.183 % |
39.95/40.02 c | 103655 | 7656 65244 216725 | 81930 72637 19 | 0.183 % |
40.35/40.49 c | 104815 | 7656 65244 216725 | 81930 73797 19 | 0.183 % |
40.45/40.55 c | 104918 | 7656 65244 216725 | 81930 73900 19 | 0.183 % |
40.45/40.60 c | 105028 | 7656 65244 216725 | 81930 74010 19 | 0.183 % |
40.55/40.68 c | 105149 | 7656 65244 216725 | 81930 74131 19 | 0.183 % |
40.65/40.74 c | 105282 | 7656 65244 216725 | 81930 74264 19 | 0.183 % |
40.75/40.80 c | 105429 | 7656 65244 216725 | 81930 74411 19 | 0.183 % |
40.75/40.86 c | 105589 | 7656 65244 216725 | 81930 74571 19 | 0.183 % |
40.95/41.05 c | 105765 | 7656 65244 216725 | 81930 74747 19 | 0.183 % |
41.05/41.13 c | 105958 | 7656 65244 216725 | 81930 74940 19 | 0.183 % |
41.15/41.27 c | 106171 | 7656 65244 216725 | 81930 75153 19 | 0.183 % |
41.35/41.44 c | 106405 | 7656 65244 216725 | 81930 75387 19 | 0.183 % |
41.55/41.66 c | 106662 | 7656 65244 216725 | 81930 75644 19 | 0.183 % |
41.85/41.90 c | 106943 | 7656 65244 216725 | 81930 75925 19 | 0.183 % |
42.05/42.10 c | 107254 | 7656 65244 216725 | 81930 76236 19 | 0.183 % |
42.35/42.42 c | 107593 | 7656 65244 216725 | 81930 76575 19 | 0.183 % |
42.75/42.84 c | 107966 | 7656 65244 216725 | 81930 76948 19 | 0.183 % |
43.05/43.18 c | 108377 | 7656 65244 216725 | 81930 77359 19 | 0.183 % |
43.35/43.47 c | 108827 | 7656 65244 216725 | 81930 77809 19 | 0.183 % |
43.55/43.67 c | 109321 | 7656 65244 216725 | 81930 78303 19 | 0.183 % |
43.75/43.86 c | 109864 | 7656 65244 216725 | 81930 78846 19 | 0.183 % |
44.35/44.42 c | 110460 | 7656 65244 216725 | 78982 69508 18 | 0.183 % |
44.55/44.64 c | 111115 | 7656 65244 216725 | 78982 70163 18 | 0.183 % |
44.75/44.88 c | 111835 | 7656 65244 216725 | 78982 70883 18 | 0.183 % |
44.95/45.04 c | 112629 | 7656 65244 216725 | 78982 71677 18 | 0.183 % |
45.35/45.47 c | 113500 | 7656 65244 216725 | 78982 72548 19 | 0.183 % |
45.55/45.68 c | 114458 | 7656 65244 216725 | 78982 73506 19 | 0.183 % |
45.95/46.08 c | 115513 | 7656 65244 216725 | 78982 74561 19 | 0.183 % |
46.75/46.80 c | 116672 | 7656 65244 216725 | 78982 75720 19 | 0.183 % |
47.25/47.35 c | 117945 | 7656 65244 216725 | 78982 76993 19 | 0.183 % |
47.25/47.38 c | 118045 | 7656 65244 216725 | 78982 77093 19 | 0.183 % |
47.35/47.45 c | 118160 | 7656 65244 216725 | 78982 77208 19 | 0.183 % |
47.35/47.49 c | 118284 | 7656 65244 216725 | 78982 77332 19 | 0.183 % |
47.45/47.53 c | 118418 | 7656 65244 216725 | 78982 77466 19 | 0.183 % |
47.45/47.60 c | 118566 | 7656 65244 216725 | 78982 77614 19 | 0.183 % |
47.55/47.64 c | 118726 | 7656 65244 216725 | 78982 77774 19 | 0.183 % |
47.65/47.74 c | 118903 | 7656 65244 216725 | 78982 77951 19 | 0.183 % |
47.75/47.81 c | 119096 | 7656 65244 216725 | 78982 78144 19 | 0.183 % |
47.85/47.99 c | 119308 | 7656 65244 216725 | 78982 78356 19 | 0.183 % |
48.15/48.21 c | 119544 | 7656 65244 216725 | 78982 78592 19 | 0.183 % |
48.36/48.48 c | 119801 | 7656 65244 216725 | 78982 78849 19 | 0.183 % |
48.65/48.76 c | 120082 | 7656 65244 216725 | 2147483647 79130 19 | 0.183 % |
48.95/49.06 c | 120391 | 7656 65244 216725 | 2147483647 79439 19 | 0.183 % |
49.36/49.41 c | 120731 | 7656 65244 216725 | 2147483647 79779 19 | 0.183 % |
49.55/49.70 c | 121103 | 7656 65244 216725 | 2147483647 80151 19 | 0.183 % |
49.75/49.85 c | 121512 | 7656 65244 216725 | 2147483647 80560 19 | 0.183 % |
50.05/50.13 c | 121963 | 7656 65244 216725 | 2147483647 81011 19 | 0.183 % |
50.56/50.62 c | 122456 | 7654 64974 215656 | 2147483647 28038 15 | 0.209 % |
50.65/50.74 c | 122998 | 7654 64974 215656 | 2147483647 28580 15 | 0.209 % |
50.75/50.86 c | 123597 | 7654 64974 215656 | 2147483647 29179 15 | 0.209 % |
50.95/51.01 c | 124254 | 7654 64974 215656 | 2147483647 29836 15 | 0.209 % |
51.05/51.15 c | 124974 | 7654 64974 215656 | 2147483647 30556 15 | 0.209 % |
51.25/51.34 c | 125767 | 7654 64974 215656 | 2147483647 31349 15 | 0.209 % |
51.45/51.53 c | 126639 | 7654 64974 215656 | 2147483647 32221 16 | 0.209 % |
51.66/51.72 c | 127598 | 7654 64974 215656 | 2147483647 33180 16 | 0.209 % |
51.85/51.97 c | 128651 | 7654 64974 215656 | 2147483647 34233 16 | 0.209 % |
52.15/52.25 c | 129809 | 7654 64974 215656 | 2147483647 35391 16 | 0.209 % |
52.45/52.55 c | 131082 | 7654 64974 215656 | 2147483647 36664 16 | 0.209 % |
52.85/52.94 c | 132483 | 7654 64974 215656 | 2147483647 38065 16 | 0.209 % |
52.85/52.97 c | 132584 | 7654 64974 215656 | 2147483647 38166 16 | 0.209 % |
52.95/53.00 c | 132697 | 7654 64974 215656 | 2147483647 38279 16 | 0.209 % |
52.95/53.03 c | 132820 | 7654 64974 215656 | 2147483647 38402 16 | 0.209 % |
52.95/53.07 c | 132953 | 7654 64974 215656 | 2147483647 38535 17 | 0.209 % |
53.05/53.11 c | 133099 | 7654 64974 215656 | 2147483647 38681 17 | 0.209 % |
53.05/53.16 c | 133261 | 7654 64974 215656 | 2147483647 38843 17 | 0.209 % |
53.15/53.20 c | 133437 | 7654 64974 215656 | 2147483647 39019 17 | 0.209 % |
53.15/53.26 c | 133630 | 7654 64974 215656 | 2147483647 39212 17 | 0.209 % |
53.25/53.31 c | 133842 | 7654 64974 215656 | 2147483647 39424 17 | 0.209 % |
53.25/53.39 c | 134075 | 7654 64974 215656 | 2147483647 39657 17 | 0.209 % |
53.35/53.45 c | 134331 | 7654 64974 215656 | 2147483647 39913 17 | 0.209 % |
53.45/53.53 c | 134613 | 7654 64974 215656 | 2147483647 40195 17 | 0.209 % |
53.55/53.62 c | 134924 | 7654 64974 215656 | 2147483647 40506 17 | 0.209 % |
53.65/53.70 c | 135263 | 7654 64974 215656 | 2147483647 40845 17 | 0.209 % |
53.75/53.81 c | 135636 | 7654 64974 215656 | 2147483647 41218 17 | 0.209 % |
53.85/53.90 c | 136045 | 7654 64974 215656 | 2147483647 41627 17 | 0.209 % |
53.95/54.01 c | 136495 | 7654 64974 215656 | 2147483647 42077 17 | 0.209 % |
54.05/54.14 c | 136988 | 7654 64974 215656 | 2147483647 42570 17 | 0.209 % |
54.15/54.28 c | 137531 | 7654 64974 215656 | 2147483647 43113 17 | 0.209 % |
54.35/54.47 c | 138127 | 7654 64974 215656 | 2147483647 43709 17 | 0.209 % |
54.55/54.66 c | 138782 | 7654 64974 215656 | 2147483647 44364 17 | 0.209 % |
54.75/54.87 c | 139503 | 7654 64974 215656 | 2147483647 45085 17 | 0.209 % |
55.05/55.10 c | 140295 | 7654 64974 215656 | 2147483647 45877 17 | 0.209 % |
55.25/55.34 c | 141167 | 7654 64974 215656 | 2147483647 46749 17 | 0.209 % |
55.65/55.72 c | 142126 | 7654 64974 215656 | 2147483647 47708 17 | 0.209 % |
55.95/56.04 c | 143179 | 7654 64974 215656 | 2147483647 48761 18 | 0.209 % |
56.44/56.54 c | 144341 | 7654 64974 215656 | 2147483647 49923 18 | 0.209 % |
56.94/57.02 c | 145614 | 7654 64974 215656 | 2147483647 51196 18 | 0.209 % |
57.44/57.51 c | 147014 | 7654 64974 215656 | 2147483647 52596 18 | 0.209 % |
57.94/58.02 c | 148555 | 7654 64974 215656 | 2147483647 54137 18 | 0.209 % |
57.94/58.07 c | 148657 | 7654 64974 215656 | 2147483647 54239 18 | 0.209 % |
58.04/58.11 c | 148767 | 7654 64974 215656 | 2147483647 54349 18 | 0.209 % |
58.04/58.16 c | 148888 | 7654 64974 215656 | 2147483647 54470 18 | 0.209 % |
58.15/58.20 c | 149022 | 7654 64974 215656 | 2147483647 54604 18 | 0.209 % |
58.15/58.26 c | 149168 | 7654 64974 215656 | 2147483647 54750 18 | 0.209 % |
58.25/58.33 c | 149329 | 7654 64974 215656 | 2147483647 54911 18 | 0.209 % |
58.34/58.40 c | 149507 | 7654 64974 215656 | 2147483647 55089 18 | 0.209 % |
58.34/58.48 c | 149700 | 7654 64974 215656 | 2147483647 55282 18 | 0.209 % |
58.44/58.55 c | 149916 | 7654 64974 215656 | 2147483647 55498 18 | 0.209 % |
58.54/58.62 c | 150149 | 7654 64974 215656 | 2147483647 55731 18 | 0.209 % |
58.64/58.73 c | 150405 | 7654 64974 215656 | 2147483647 55987 18 | 0.209 % |
58.74/58.84 c | 150686 | 7654 64974 215656 | 2147483647 56268 18 | 0.209 % |
58.84/58.95 c | 150995 | 7654 64974 215656 | 2147483647 56577 18 | 0.209 % |
58.94/59.08 c | 151334 | 7654 64974 215656 | 2147483647 56916 18 | 0.209 % |
59.14/59.25 c | 151707 | 7654 64974 215656 | 2147483647 57289 18 | 0.209 % |
59.35/59.45 c | 152116 | 7654 64974 215656 | 2147483647 57698 18 | 0.209 % |
59.44/59.59 c | 152566 | 7654 64974 215656 | 2147483647 58148 18 | 0.209 % |
59.64/59.79 c | 153060 | 7654 64974 215656 | 2147483647 58642 18 | 0.209 % |
59.94/60.03 c | 153603 | 7654 64974 215656 | 2147483647 59185 18 | 0.209 % |
60.14/60.25 c | 154199 | 7654 64974 215656 | 2147483647 59781 18 | 0.209 % |
60.44/60.52 c | 154855 | 7654 64974 215656 | 2147483647 60437 18 | 0.209 % |
60.74/60.89 c | 155575 | 7654 64974 215656 | 2147483647 61157 18 | 0.209 % |
61.14/61.21 c | 156368 | 7654 64974 215656 | 2147483647 61950 19 | 0.209 % |
61.44/61.56 c | 157240 | 7654 64974 215656 | 2147483647 62822 19 | 0.209 % |
62.04/62.11 c | 158199 | 7654 64974 215656 | 2147483647 63781 19 | 0.209 % |
62.54/62.63 c | 159253 | 7654 64974 215656 | 2147483647 64835 19 | 0.209 % |
63.04/63.15 c | 160411 | 7654 64974 215656 | 2147483647 65993 19 | 0.209 % |
63.64/63.74 c | 161685 | 7654 64974 215656 | 2147483647 67267 19 | 0.209 % |
64.24/64.34 c | 163086 | 7654 64974 215656 | 2147483647 68668 19 | 0.209 % |
64.84/64.94 c | 164626 | 7654 64974 215656 | 2147483647 70208 19 | 0.209 % |
65.94/66.02 c | 166321 | 7654 64974 215656 | 2147483647 71903 19 | 0.209 % |
65.94/66.06 c | 166421 | 7654 64974 215656 | 2147483647 72003 19 | 0.209 % |
66.04/66.12 c | 166531 | 7654 64974 215656 | 2147483647 72113 19 | 0.209 % |
66.04/66.19 c | 166652 | 7654 64974 215656 | 2147483647 72234 19 | 0.209 % |
66.14/66.25 c | 166786 | 7654 64974 215656 | 2147483647 72368 19 | 0.209 % |
66.24/66.31 c | 166932 | 7654 64974 215656 | 2147483647 72514 19 | 0.209 % |
66.34/66.41 c | 167092 | 7654 64974 215656 | 2147483647 72674 19 | 0.209 % |
66.44/66.52 c | 167268 | 7654 64974 215656 | 2147483647 72850 19 | 0.209 % |
66.54/66.63 c | 167461 | 7654 64974 215656 | 2147483647 73043 19 | 0.209 % |
66.64/66.74 c | 167673 | 7654 64974 215656 | 2147483647 73255 19 | 0.209 % |
66.74/66.84 c | 167906 | 7654 64974 215656 | 2147483647 73488 19 | 0.209 % |
66.84/67.00 c | 168162 | 7654 64974 215656 | 2147483647 73744 19 | 0.209 % |
67.04/67.13 c | 168444 | 7654 64974 215656 | 2147483647 74026 19 | 0.209 % |
67.23/67.32 c | 168754 | 7654 64974 215656 | 2147483647 74336 19 | 0.209 % |
67.43/67.51 c | 169093 | 7654 64974 215656 | 2147483647 74675 19 | 0.209 % |
67.53/67.67 c | 169466 | 7654 64974 215656 | 2147483647 75048 19 | 0.209 % |
67.73/67.86 c | 169877 | 7654 64974 215656 | 2147483647 75459 19 | 0.209 % |
68.04/68.16 c | 170327 | 7654 64974 215656 | 2147483647 75909 19 | 0.209 % |
68.33/68.42 c | 170820 | 7654 64974 215656 | 2147483647 76402 19 | 0.209 % |
68.53/68.68 c | 171362 | 7654 64974 215656 | 2147483647 76944 19 | 0.209 % |
68.93/69.08 c | 171961 | 7654 64974 215656 | 2147483647 77543 19 | 0.209 % |
69.33/69.49 c | 172616 | 7654 64974 215656 | 2147483647 78198 19 | 0.209 % |
69.83/69.98 c | 173337 | 7654 64974 215656 | 2147483647 78919 19 | 0.209 % |
70.34/70.46 c | 174131 | 7654 64974 215656 | 2147483647 79713 19 | 0.209 % |
70.93/71.07 c | 175004 | 7654 64974 215656 | 2147483647 80586 19 | 0.209 % |
71.53/71.64 c | 175962 | 7654 64974 215656 | 2147483647 81544 20 | 0.209 % |
72.23/72.34 c | 177016 | 7654 64974 215656 | 2147483647 82598 20 | 0.209 % |
72.93/73.04 c | 178174 | 7654 64974 215656 | 2147483647 83756 20 | 0.209 % |
73.83/73.93 c | 179447 | 7654 64974 215656 | 2147483647 85029 20 | 0.209 % |
74.63/74.73 c | 180848 | 7654 64974 215656 | 2147483647 86430 20 | 0.209 % |
75.53/75.67 c | 182389 | 7654 64974 215656 | 2147483647 87971 20 | 0.209 % |
76.73/76.87 c | 184085 | 7654 64974 215656 | 2147483647 89667 20 | 0.209 % |
77.82/77.99 c | 185948 | 7654 64974 215656 | 2147483647 91530 20 | 0.209 % |
77.93/78.06 c | 186048 | 7654 64974 215656 | 2147483647 91630 20 | 0.209 % |
78.03/78.15 c | 186159 | 7654 64974 215656 | 2147483647 91741 20 | 0.209 % |
78.12/78.23 c | 186280 | 7654 64974 215656 | 2147483647 91862 20 | 0.209 % |
78.22/78.31 c | 186413 | 7654 64974 215656 | 2147483647 91995 20 | 0.209 % |
78.33/78.43 c | 186561 | 7654 64974 215656 | 2147483647 92143 20 | 0.209 % |
78.43/78.58 c | 186721 | 7654 64974 215656 | 2147483647 92303 20 | 0.209 % |
78.63/78.73 c | 186898 | 7654 64974 215656 | 2147483647 92480 20 | 0.209 % |
78.73/78.88 c | 187091 | 7654 64974 215656 | 2147483647 92673 20 | 0.209 % |
78.93/79.04 c | 187303 | 7654 64974 215656 | 2147483647 92885 20 | 0.209 % |
79.14/79.21 c | 187536 | 7654 64974 215656 | 2147483647 93118 20 | 0.209 % |
79.33/79.42 c | 187792 | 7654 64974 215656 | 2147483647 93374 20 | 0.209 % |
79.43/79.60 c | 188073 | 7654 64974 215656 | 2147483647 93655 20 | 0.209 % |
79.73/79.88 c | 188383 | 7654 64974 215656 | 2147483647 93965 20 | 0.209 % |
80.03/80.10 c | 188722 | 7654 64974 215656 | 2147483647 94304 20 | 0.209 % |
80.23/80.33 c | 189095 | 7654 64974 215656 | 2147483647 94677 20 | 0.209 % |
80.53/80.64 c | 189504 | 7654 64974 215656 | 2147483647 95086 20 | 0.209 % |
80.83/80.97 c | 189954 | 7654 64974 215656 | 2147483647 95536 20 | 0.209 % |
81.13/81.29 c | 190447 | 7654 64974 215656 | 2147483647 96029 20 | 0.209 % |
81.53/81.66 c | 190989 | 7654 64974 215656 | 2147483647 96571 20 | 0.209 % |
81.93/82.09 c | 191585 | 7654 64974 215656 | 2147483647 97167 20 | 0.209 % |
82.43/82.53 c | 192240 | 7654 64974 215656 | 2147483647 97822 20 | 0.209 % |
82.93/83.08 c | 192960 | 7654 64974 215656 | 2147483647 98542 20 | 0.209 % |
83.43/83.56 c | 193752 | 7654 64974 215656 | 2147483647 99334 20 | 0.209 % |
84.03/84.18 c | 194624 | 7654 64974 215656 | 2147483647 100206 20 | 0.209 % |
84.72/84.83 c | 195583 | 7654 64974 215656 | 2147483647 101165 20 | 0.209 % |
85.42/85.58 c | 196637 | 7654 64974 215656 | 2147483647 102219 20 | 0.209 % |
86.22/86.37 c | 197795 | 7654 64974 215656 | 2147483647 103377 20 | 0.209 % |
87.12/87.22 c | 199068 | 7654 64974 215656 | 2147483647 104650 20 | 0.209 % |
88.42/88.59 c | 200468 | 7654 64974 215656 | 105583 92130 21 | 0.209 % |
89.72/89.84 c | 202012 | 7654 64974 215656 | 105583 93674 21 | 0.209 % |
91.12/91.25 c | 203707 | 7654 64974 215656 | 105583 95369 21 | 0.209 % |
92.32/92.45 c | 205570 | 7654 64974 215656 | 105583 97232 21 | 0.209 % |
94.02/94.15 c | 207620 | 7654 64974 215656 | 105583 99282 21 | 0.209 % |
94.12/94.22 c | 207720 | 7654 64974 215656 | 105583 99382 21 | 0.209 % |
94.12/94.27 c | 207833 | 7654 64974 215656 | 105583 99495 21 | 0.209 % |
94.22/94.38 c | 207956 | 7654 64974 215656 | 105583 99618 21 | 0.209 % |
94.32/94.47 c | 208092 | 7654 64974 215656 | 105583 99754 21 | 0.209 % |
94.42/94.60 c | 208238 | 7654 64974 215656 | 105583 99900 21 | 0.209 % |
94.62/94.74 c | 208399 | 7654 64974 215656 | 105583 100061 21 | 0.209 % |
94.82/94.91 c | 208575 | 7654 64974 215656 | 105583 100237 21 | 0.209 % |
95.02/95.11 c | 208768 | 7654 64974 215656 | 105583 100430 21 | 0.209 % |
95.12/95.26 c | 208981 | 7654 64974 215656 | 105583 100643 21 | 0.209 % |
95.32/95.47 c | 209214 | 7654 64974 215656 | 105583 100876 21 | 0.209 % |
95.62/95.71 c | 209475 | 7654 64974 215656 | 105583 101137 21 | 0.209 % |
95.82/95.91 c | 209758 | 7654 64974 215656 | 105583 101420 21 | 0.209 % |
96.12/96.21 c | 210067 | 7654 64974 215656 | 101662 101729 21 | 0.209 % |
96.42/96.59 c | 210407 | 7654 64974 215656 | 101662 86357 21 | 0.209 % |
96.72/96.82 c | 210780 | 7654 64974 215656 | 101662 86730 21 | 0.209 % |
97.02/97.19 c | 211192 | 7654 64974 215656 | 101662 87142 21 | 0.209 % |
97.42/97.51 c | 211641 | 7654 64974 215656 | 101662 87591 21 | 0.209 % |
97.62/97.78 c | 212134 | 7654 64974 215656 | 101662 88084 21 | 0.209 % |
98.12/98.21 c | 212677 | 7654 64974 215656 | 101662 88627 21 | 0.209 % |
98.52/98.65 c | 213273 | 7654 64974 215656 | 101662 89223 21 | 0.209 % |
99.02/99.17 c | 213928 | 7654 64974 215656 | 101662 89878 21 | 0.209 % |
99.61/99.71 c | 214648 | 7654 64974 215656 | 101662 90598 21 | 0.209 % |
100.21/100.37 c | 215441 | 7654 64974 215656 | 101662 91391 21 | 0.209 % |
100.81/100.94 c | 216314 | 7654 64974 215656 | 101662 92264 21 | 0.209 % |
101.61/101.71 c | 217272 | 7654 64974 215656 | 101662 93222 21 | 0.209 % |
102.51/102.63 c | 218325 | 7654 64974 215656 | 101662 94275 21 | 0.209 % |
103.32/103.49 c | 219484 | 7654 64974 215656 | 101662 95434 21 | 0.209 % |
104.71/104.84 c | 220757 | 7654 64974 215656 | 95952 84232 20 | 0.209 % |
105.52/105.64 c | 222157 | 7654 64974 215656 | 95952 85632 20 | 0.209 % |
106.61/106.73 c | 223697 | 7654 64974 215656 | 95952 87172 20 | 0.209 % |
107.21/107.34 c | 225392 | 7654 64974 215656 | 95952 88867 20 | 0.209 % |
108.61/108.78 c | 227257 | 7654 64974 215656 | 95952 90732 21 | 0.209 % |
110.31/110.44 c | 229306 | 7654 64974 215656 | 95952 92781 21 | 0.209 % |
112.11/112.21 c | 231559 | 7654 64974 215656 | 93475 84720 20 | 0.209 % |
112.11/112.29 c | 231659 | 7654 64974 215656 | 93475 84820 20 | 0.209 % |
112.21/112.35 c | 231771 | 7654 64974 215656 | 93475 84932 20 | 0.209 % |
112.31/112.45 c | 231895 | 7654 64974 215656 | 93475 85056 20 | 0.209 % |
112.41/112.54 c | 232028 | 7654 64974 215656 | 93475 85189 20 | 0.209 % |
112.51/112.69 c | 232174 | 7654 64974 215656 | 93475 85335 20 | 0.209 % |
112.71/112.82 c | 232334 | 7654 64974 215656 | 93475 85495 20 | 0.209 % |
112.81/112.99 c | 232511 | 7654 64974 215656 | 93475 85672 20 | 0.209 % |
113.01/113.17 c | 232704 | 7654 64974 215656 | 93475 85865 20 | 0.209 % |
113.21/113.34 c | 232917 | 7654 64974 215656 | 93475 86078 20 | 0.209 % |
113.41/113.52 c | 233150 | 7654 64974 215656 | 93475 86311 20 | 0.209 % |
113.61/113.76 c | 233407 | 7654 64974 215656 | 93475 86568 20 | 0.209 % |
113.71/113.89 c | 233688 | 7654 64974 215656 | 93475 86849 20 | 0.209 % |
114.01/114.15 c | 233997 | 7654 64974 215656 | 93475 87158 20 | 0.209 % |
114.11/114.29 c | 234336 | 7654 64974 215656 | 93475 87497 20 | 0.209 % |
114.50/114.61 c | 234709 | 7654 64974 215656 | 93475 87870 20 | 0.209 % |
114.70/114.82 c | 235119 | 7654 64974 215656 | 93475 88280 20 | 0.209 % |
114.80/114.97 c | 235571 | 7654 64974 215656 | 93475 88732 20 | 0.209 % |
115.31/115.46 c | 236064 | 7654 64974 215656 | 93475 89225 20 | 0.209 % |
115.60/115.78 c | 236607 | 7654 64974 215656 | 93475 89768 20 | 0.209 % |
116.10/116.21 c | 237204 | 7654 64974 215656 | 93475 90365 20 | 0.209 % |
116.51/116.63 c | 237859 | 7654 64974 215656 | 93475 91020 20 | 0.209 % |
117.10/117.29 c | 238580 | 7654 64974 215656 | 93475 91741 21 | 0.209 % |
117.80/117.91 c | 239377 | 7654 64974 215656 | 93475 92538 21 | 0.209 % |
118.31/118.42 c | 240248 | 7654 64974 215656 | 93162 93409 21 | 0.209 % |
118.91/119.05 c | 241207 | 7654 64974 215656 | 93162 83656 20 | 0.209 % |
119.61/119.75 c | 242260 | 7654 64974 215656 | 93162 84709 20 | 0.209 % |
120.51/120.63 c | 243418 | 7654 64974 215656 | 93162 85867 20 | 0.209 % |
121.31/121.48 c | 244692 | 7654 64974 215656 | 93162 87141 21 | 0.209 % |
122.61/122.79 c | 246093 | 7654 64974 215656 | 93162 88542 21 | 0.209 % |
123.51/123.65 c | 247633 | 7654 64974 215656 | 93162 90082 21 | 0.209 % |
125.01/125.14 c | 249329 | 7654 64974 215656 | 93162 91778 21 | 0.209 % |
126.21/126.35 c | 251193 | 7654 64974 215656 | 92451 83009 20 | 0.209 % |
127.41/127.52 c | 253242 | 7654 64974 215656 | 92451 85058 21 | 0.209 % |
129.21/129.37 c | 255495 | 7654 64974 215656 | 92451 87311 20 | 0.209 % |
130.91/131.07 c | 257973 | 7654 64974 215656 | 92451 89789 21 | 0.209 % |
131.01/131.14 c | 258074 | 7654 64974 215656 | 92451 89890 21 | 0.209 % |
131.11/131.27 c | 258184 | 7654 64974 215656 | 92451 90000 21 | 0.209 % |
131.21/131.34 c | 258305 | 7654 64974 215656 | 92451 90121 21 | 0.209 % |
131.31/131.45 c | 258438 | 7654 64974 215656 | 92451 90254 21 | 0.209 % |
131.41/131.53 c | 258585 | 7654 64974 215656 | 92451 90401 21 | 0.209 % |
131.51/131.68 c | 258745 | 7654 64974 215656 | 92451 90561 21 | 0.209 % |
131.61/131.76 c | 258924 | 7654 64974 215656 | 92451 90740 21 | 0.209 % |
131.71/131.87 c | 259117 | 7654 64974 215656 | 92451 90933 21 | 0.209 % |
131.91/132.07 c | 259329 | 7654 64974 215656 | 92451 91145 21 | 0.209 % |
132.01/132.14 c | 259563 | 7654 64974 215656 | 92451 91379 21 | 0.209 % |
132.21/132.33 c | 259820 | 7654 64974 215656 | 92451 91636 21 | 0.209 % |
132.41/132.53 c | 260102 | 7654 64974 215656 | 91817 91918 21 | 0.209 % |
132.61/132.78 c | 260413 | 7654 64974 215656 | 91817 82835 20 | 0.209 % |
132.80/132.96 c | 260754 | 7654 64974 215656 | 91817 83176 20 | 0.209 % |
133.01/133.17 c | 261129 | 7654 64974 215656 | 91817 83551 20 | 0.209 % |
133.20/133.39 c | 261542 | 7654 64974 215656 | 91817 83964 20 | 0.209 % |
133.60/133.72 c | 261993 | 7654 64974 215656 | 91817 84415 20 | 0.209 % |
134.01/134.13 c | 262486 | 7654 64974 215656 | 91817 84908 20 | 0.209 % |
134.30/134.47 c | 263029 | 7654 64974 215656 | 91817 85451 20 | 0.209 % |
134.70/134.87 c | 263628 | 7654 64974 215656 | 91817 86050 20 | 0.209 % |
135.30/135.45 c | 264285 | 7654 64974 215656 | 91817 86707 20 | 0.209 % |
135.90/136.03 c | 265006 | 7654 64974 215656 | 91817 87428 20 | 0.209 % |
136.31/136.46 c | 265799 | 7654 64974 215656 | 91817 88221 20 | 0.209 % |
137.00/137.11 c | 266672 | 7654 64974 215656 | 91817 89094 20 | 0.209 % |
137.80/137.92 c | 267633 | 7654 64974 215656 | 91817 90055 20 | 0.209 % |
138.41/138.57 c | 268686 | 7654 64974 215656 | 91817 91108 21 | 0.209 % |
139.30/139.45 c | 269846 | 7654 64974 215656 | 91817 83051 20 | 0.209 % |
140.10/140.30 c | 271119 | 7654 64974 215656 | 2147483647 84324 20 | 0.209 % |
140.90/141.01 c | 272519 | 7654 64974 215656 | 2147483647 85724 20 | 0.209 % |
142.20/142.36 c | 274059 | 7654 64974 215656 | 2147483647 87264 20 | 0.209 % |
143.40/143.59 c | 275754 | 7652 64949 215596 | 2147483647 88958 20 | 0.235 % |
144.90/145.00 c | 277618 | 7652 64949 215596 | 2147483647 90822 20 | 0.235 % |
146.10/146.25 c | 279668 | 7652 64949 215596 | 2147483647 92872 20 | 0.235 % |
147.70/147.84 c | 281921 | 7652 64949 215596 | 2147483647 95124 21 | 0.261 % |
149.50/149.62 c | 284402 | 7652 64949 215596 | 2147483647 97605 21 | 0.261 % |
151.60/151.78 c | 287127 | 7650 64924 215536 | 2147483647 100330 21 | 0.261 % |
151.70/151.87 c | 287227 | 7650 64924 215536 | 2147483647 100430 21 | 0.261 % |
151.80/151.97 c | 287337 | 7650 64924 215536 | 2147483647 100540 21 | 0.261 % |
151.90/152.07 c | 287459 | 7650 64924 215536 | 2147483647 100662 21 | 0.261 % |
152.00/152.17 c | 287592 | 7650 64924 215536 | 2147483647 100795 21 | 0.261 % |
152.10/152.29 c | 287739 | 7650 64924 215536 | 2147483647 100942 21 | 0.261 % |
152.30/152.48 c | 287901 | 7650 64924 215536 | 2147483647 101104 21 | 0.261 % |
152.39/152.59 c | 288077 | 7650 64924 215536 | 2147483647 101280 21 | 0.261 % |
152.59/152.80 c | 288272 | 7650 64924 215536 | 2147483647 101475 21 | 0.261 % |
152.80/152.97 c | 288485 | 7650 64924 215536 | 2147483647 101688 21 | 0.261 % |
153.09/153.24 c | 288720 | 7650 64924 215536 | 2147483647 101923 21 | 0.261 % |
153.29/153.46 c | 288976 | 7650 64924 215536 | 2147483647 102179 21 | 0.261 % |
153.59/153.78 c | 289258 | 7650 64924 215536 | 2147483647 102461 21 | 0.261 % |
153.90/154.09 c | 289570 | 7650 64924 215536 | 2147483647 102773 21 | 0.261 % |
154.29/154.41 c | 289910 | 7650 64924 215536 | 2147483647 103113 21 | 0.261 % |
154.69/154.87 c | 290282 | 7650 64924 215536 | 103203 91247 20 | 0.261 % |
155.00/155.16 c | 290691 | 7650 64924 215536 | 103203 91656 20 | 0.261 % |
155.39/155.51 c | 291140 | 7650 64924 215536 | 103203 92105 20 | 0.261 % |
155.69/155.89 c | 291634 | 7650 64924 215536 | 103203 92599 20 | 0.261 % |
156.10/156.28 c | 292176 | 7650 64924 215536 | 103203 93141 20 | 0.261 % |
156.59/156.76 c | 292774 | 7650 64924 215536 | 103203 93739 20 | 0.261 % |
157.10/157.21 c | 293429 | 7650 64924 215536 | 103203 94394 20 | 0.261 % |
157.49/157.65 c | 294149 | 7650 64924 215536 | 103203 95114 20 | 0.261 % |
158.09/158.30 c | 294941 | 7650 64924 215536 | 103203 95906 20 | 0.261 % |
158.89/159.09 c | 295815 | 7650 64924 215536 | 103203 96780 21 | 0.261 % |
159.59/159.74 c | 296774 | 7650 64924 215536 | 103203 97739 21 | 0.261 % |
160.39/160.52 c | 297827 | 7650 64924 215536 | 103203 98792 21 | 0.261 % |
161.19/161.35 c | 298986 | 7650 64924 215536 | 103203 99951 21 | 0.261 % |
162.49/162.62 c | 300260 | 7650 64924 215536 | 100966 101225 21 | 0.261 % |
163.49/163.66 c | 301660 | 7650 64924 215536 | 100966 89552 20 | 0.261 % |
164.69/164.83 c | 303204 | 7648 64899 215476 | 100966 91095 20 | 0.287 % |
166.09/166.21 c | 304899 | 7648 64899 215476 | 100966 92790 20 | 0.287 % |
167.68/167.86 c | 306762 | 7648 64899 215476 | 100966 94653 20 | 0.287 % |
169.19/169.38 c | 308811 | 7648 64899 215476 | 100966 96702 21 | 0.287 % |
171.58/171.71 c | 311066 | 7648 64899 215476 | 2147483647 98957 21 | 0.287 % |
173.88/174.07 c | 313544 | 7648 64899 215476 | 2147483647 101435 21 | 0.287 % |
176.78/176.94 c | 316270 | 7648 64899 215476 | 2147483647 104161 21 | 0.287 % |
179.48/179.67 c | 319267 | 7645 64874 215416 | 2147483647 107156 21 | 0.339 % |
179.58/179.73 c | 319367 | 7645 64874 215416 | 2147483647 107256 21 | 0.339 % |
179.68/179.85 c | 319477 | 7645 64874 215416 | 2147483647 107366 21 | 0.339 % |
179.77/179.95 c | 319598 | 7645 64874 215416 | 2147483647 107487 21 | 0.339 % |
179.87/180.03 c | 319731 | 7645 64874 215416 | 2147483647 107620 21 | 0.339 % |
179.97/180.16 c | 319877 | 7645 64874 215416 | 2147483647 107766 21 | 0.339 % |
180.18/180.32 c | 320037 | 7645 64874 215416 | 107889 107926 21 | 0.339 % |
180.47/180.66 c | 320217 | 7645 64874 215416 | 107889 92998 20 | 0.339 % |
180.67/180.86 c | 320411 | 7645 64874 215416 | 107889 93192 20 | 0.339 % |
180.97/181.11 c | 320623 | 7645 64874 215416 | 107889 93404 20 | 0.339 % |
181.17/181.36 c | 320856 | 7645 64874 215416 | 107889 93637 20 | 0.339 % |
181.38/181.60 c | 321116 | 7645 64874 215416 | 107889 93897 20 | 0.339 % |
181.67/181.81 c | 321397 | 7645 64874 215416 | 107889 94178 20 | 0.339 % |
181.87/182.05 c | 321706 | 7645 64874 215416 | 107889 94487 20 | 0.339 % |
182.17/182.31 c | 322045 | 7645 64874 215416 | 107889 94826 20 | 0.339 % |
182.57/182.73 c | 322418 | 7645 64874 215416 | 107889 95199 20 | 0.339 % |
182.97/183.13 c | 322827 | 7645 64874 215416 | 107889 95608 20 | 0.339 % |
183.37/183.58 c | 323277 | 7645 64874 215416 | 107889 96058 20 | 0.339 % |
183.77/183.98 c | 323770 | 7645 64874 215416 | 107889 96551 20 | 0.339 % |
184.27/184.41 c | 324312 | 7645 64874 215416 | 107889 97093 20 | 0.339 % |
184.87/185.04 c | 324908 | 7645 64874 215416 | 107889 97689 21 | 0.339 % |
185.48/185.63 c | 325566 | 7645 64874 215416 | 107889 98347 21 | 0.339 % |
185.98/186.18 c | 326287 | 7645 64874 215416 | 107889 99068 21 | 0.339 % |
186.78/186.96 c | 327079 | 7644 64874 215416 | 107889 99859 21 | 0.365 % |
187.68/187.82 c | 327951 | 7644 64874 215416 | 107889 100731 21 | 0.365 % |
188.58/188.78 c | 328910 | 7642 64824 215296 | 107889 101690 21 | 0.365 % |
189.78/189.92 c | 329965 | 7642 64824 215296 | 107889 102745 21 | 0.365 % |
190.78/190.93 c | 331123 | 7642 64824 215296 | 102780 89139 20 | 0.365 % |
191.98/192.16 c | 332396 | 7642 64824 215296 | 102780 90412 20 | 0.365 % |
193.38/193.58 c | 333798 | 7642 64824 215296 | 102780 91814 20 | 0.365 % |
194.98/195.13 c | 335339 | 7642 64824 215296 | 102780 93355 20 | 0.365 % |
196.48/196.60 c | 337034 | 7642 64824 215296 | 102780 95050 20 | 0.365 % |
197.98/198.17 c | 338899 | 7642 64824 215296 | 102780 96915 20 | 0.365 % |
199.58/199.71 c | 340949 | 7642 64824 215296 | 98018 87098 20 | 0.365 % |
201.48/201.69 c | 343203 | 7642 64824 215296 | 98018 89352 20 | 0.365 % |
203.48/203.60 c | 345683 | 7640 64799 215236 | 98018 91831 20 | 0.391 % |
205.58/205.75 c | 348408 | 7640 64799 215236 | 98018 94556 20 | 0.391 % |
208.47/208.67 c | 351406 | 7640 64799 215236 | 96149 85769 20 | 0.391 % |
211.08/211.22 c | 354703 | 7640 64799 215236 | 96149 89066 20 | 0.391 % |
211.17/211.35 c | 354803 | 7640 64799 215236 | 96149 89166 20 | 0.391 % |
211.27/211.46 c | 354913 | 7640 64799 215236 | 96149 89276 20 | 0.391 % |
211.47/211.60 c | 355034 | 7640 64799 215236 | 96149 89397 20 | 0.391 % |
211.57/211.76 c | 355168 | 7640 64799 215236 | 96149 89531 20 | 0.391 % |
211.67/211.88 c | 355315 | 7640 64799 215236 | 96149 89678 20 | 0.391 % |
211.87/212.02 c | 355476 | 7640 64799 215236 | 96149 89839 20 | 0.391 % |
211.97/212.17 c | 355652 | 7640 64799 215236 | 96149 90015 20 | 0.391 % |
212.07/212.29 c | 355846 | 7640 64799 215236 | 96149 90209 20 | 0.391 % |
212.27/212.46 c | 356058 | 7640 64799 215236 | 96149 90421 20 | 0.391 % |
212.57/212.70 c | 356292 | 7640 64799 215236 | 96149 90655 20 | 0.391 % |
212.77/212.94 c | 356550 | 7640 64799 215236 | 96149 90913 20 | 0.391 % |
213.07/213.25 c | 356832 | 7640 64799 215236 | 96149 91195 20 | 0.391 % |
213.37/213.56 c | 357142 | 7640 64799 215236 | 96149 91505 20 | 0.391 % |
213.67/213.80 c | 357482 | 7640 64799 215236 | 96149 91845 20 | 0.391 % |
213.97/214.13 c | 357855 | 7640 64799 215236 | 96149 92218 20 | 0.391 % |
214.17/214.32 c | 358264 | 7640 64799 215236 | 96149 92627 20 | 0.391 % |
214.57/214.71 c | 358713 | 7640 64799 215236 | 96149 93076 20 | 0.391 % |
214.77/214.92 c | 359207 | 7640 64799 215236 | 96149 93570 20 | 0.391 % |
215.27/215.41 c | 359750 | 7640 64799 215236 | 96149 94113 20 | 0.391 % |
215.87/216.06 c | 360346 | 7640 64799 215236 | 94363 84931 20 | 0.391 % |
216.37/216.58 c | 361002 | 7640 64799 215236 | 94363 85587 20 | 0.391 % |
217.16/217.34 c | 361723 | 7640 64799 215236 | 94363 86308 20 | 0.391 % |
217.86/218.08 c | 362517 | 7640 64799 215236 | 94363 87102 20 | 0.391 % |
218.96/219.12 c | 363388 | 7640 64799 215236 | 94363 87973 20 | 0.391 % |
219.77/219.92 c | 364346 | 7640 64799 215236 | 94363 88931 20 | 0.391 % |
220.76/220.95 c | 365399 | 7640 64799 215236 | 94363 89984 20 | 0.391 % |
221.86/222.00 c | 366561 | 7640 64799 215236 | 94363 91146 20 | 0.391 % |
223.17/223.32 c | 367834 | 7640 64799 215236 | 94363 92419 20 | 0.391 % |
224.36/224.54 c | 369236 | 7640 64799 215236 | 94363 93821 20 | 0.391 % |
225.66/225.85 c | 370776 | 7640 64799 215236 | 94587 85491 20 | 0.391 % |
227.06/227.21 c | 372471 | 7638 64774 215176 | 94587 87185 20 | 0.417 % |
228.36/228.59 c | 374335 | 7638 64774 215176 | 94587 89048 20 | 0.443 % |
230.36/230.53 c | 376384 | 7638 64774 215176 | 94587 91097 20 | 0.443 % |
232.76/232.99 c | 378638 | 7638 64774 215176 | 94587 93351 20 | 0.443 % |
235.16/235.38 c | 381116 | 7636 64749 215116 | 94713 86331 19 | 0.443 % |
237.56/237.71 c | 383841 | 7636 64749 215116 | 94713 89056 20 | 0.443 % |
240.36/240.56 c | 386838 | 7636 64749 215116 | 94713 92053 20 | 0.443 % |
242.66/242.84 c | 390134 | 7634 64724 215056 | 2147483647 85832 20 | 0.495 % |
245.35/245.53 c | 393761 | 7633 64724 215056 | 2147483647 89458 20 | 0.522 % |
245.45/245.64 c | 393861 | 7633 64724 215056 | 2147483647 89558 20 | 0.522 % |
245.55/245.75 c | 393971 | 7633 64724 215056 | 2147483647 89668 20 | 0.522 % |
245.65/245.86 c | 394092 | 7633 64724 215056 | 2147483647 89789 20 | 0.522 % |
245.75/245.96 c | 394225 | 7633 64724 215056 | 2147483647 89922 20 | 0.522 % |
245.85/246.08 c | 394371 | 7633 64724 215056 | 2147483647 90068 20 | 0.522 % |
245.95/246.16 c | 394531 | 7633 64724 215056 | 2147483647 90228 20 | 0.522 % |
246.16/246.34 c | 394708 | 7633 64724 215056 | 2147483647 90405 20 | 0.522 % |
246.35/246.53 c | 394903 | 7633 64724 215056 | 2147483647 90600 20 | 0.522 % |
246.55/246.79 c | 395115 | 7633 64724 215056 | 2147483647 90812 20 | 0.522 % |
246.85/247.05 c | 395348 | 7633 64724 215056 | 2147483647 91045 20 | 0.522 % |
247.05/247.23 c | 395605 | 7633 64724 215056 | 2147483647 91302 20 | 0.522 % |
247.26/247.46 c | 395887 | 7633 64724 215056 | 2147483647 91584 20 | 0.522 % |
247.45/247.66 c | 396196 | 7633 64724 215056 | 2147483647 91893 20 | 0.522 % |
247.85/248.07 c | 396535 | 7633 64724 215056 | 2147483647 92232 20 | 0.522 % |
248.15/248.39 c | 396907 | 7633 64724 215056 | 2147483647 92604 20 | 0.522 % |
248.55/248.73 c | 397318 | 7633 64724 215056 | 2147483647 93015 20 | 0.522 % |
248.95/249.13 c | 397767 | 7633 64724 215056 | 2147483647 93464 20 | 0.522 % |
249.25/249.47 c | 398261 | 7633 64724 215056 | 2147483647 93958 20 | 0.522 % |
249.56/249.76 c | 398803 | 7633 64724 215056 | 2147483647 94500 20 | 0.522 % |
250.25/250.48 c | 399401 | 7630 64674 214936 | 2147483647 95098 20 | 0.522 % |
250.75/250.91 c | 400057 | 7630 64674 214936 | 95697 95754 20 | 0.522 % |
251.65/251.80 c | 400777 | 7630 64674 214936 | 95697 86899 20 | 0.522 % |
252.05/252.29 c | 401569 | 7630 64674 214936 | 95697 87691 20 | 0.522 % |
252.75/252.99 c | 402440 | 7630 64674 214936 | 95697 88562 20 | 0.522 % |
254.05/254.22 c | 403398 | 7630 64674 214936 | 95697 89520 20 | 0.522 % |
254.65/254.88 c | 404451 | 7630 64674 214936 | 95697 90573 20 | 0.522 % |
255.85/256.08 c | 405609 | 7630 64674 214936 | 95697 91731 20 | 0.522 % |
256.85/257.01 c | 406883 | 7630 64674 214936 | 95697 93005 20 | 0.522 % |
258.15/258.31 c | 408283 | 7630 64674 214936 | 95697 94405 20 | 0.522 % |
259.75/259.93 c | 409823 | 7630 64674 214936 | 95697 84808 20 | 0.522 % |
261.15/261.30 c | 411517 | 7630 64674 214936 | 84986 76850 19 | 0.522 % |
262.75/262.91 c | 413383 | 7630 64674 214936 | 84986 78716 19 | 0.522 % |
264.64/264.82 c | 415433 | 7630 64674 214936 | 84986 80766 19 | 0.522 % |
266.54/266.70 c | 417686 | 7630 64674 214936 | 84986 83019 20 | 0.522 % |
268.94/269.18 c | 420166 | 7630 64674 214936 | 2147483647 76980 19 | 0.522 % |
271.45/271.62 c | 422893 | 7630 64674 214936 | 2147483647 79707 19 | 0.522 % |
274.44/274.69 c | 425892 | 7630 64674 214936 | 2147483647 82706 19 | 0.522 % |
276.95/277.15 c | 429190 | 7630 64674 214936 | 2147483647 86004 20 | 0.522 % |
280.04/280.22 c | 432815 | 7630 64674 214936 | 2147483647 89629 20 | 0.522 % |
283.74/283.92 c | 436802 | 7630 64674 214936 | 2147483647 93616 20 | 0.522 % |
283.84/284.02 c | 436903 | 7630 64674 214936 | 2147483647 93717 20 | 0.522 % |
283.94/284.17 c | 437014 | 7630 64674 214936 | 2147483647 93828 20 | 0.522 % |
284.04/284.28 c | 437136 | 7630 64674 214936 | 2147483647 93950 20 | 0.522 % |
284.24/284.44 c | 437269 | 7630 64674 214936 | 2147483647 94083 20 | 0.522 % |
284.34/284.58 c | 437417 | 7630 64674 214936 | 2147483647 94231 20 | 0.522 % |
284.64/284.81 c | 437577 | 7630 64674 214936 | 2147483647 94391 20 | 0.522 % |
284.84/285.04 c | 437754 | 7630 64674 214936 | 2147483647 94568 20 | 0.522 % |
285.04/285.24 c | 437948 | 7630 64674 214936 | 2147483647 94762 20 | 0.522 % |
285.24/285.43 c | 438161 | 7630 64674 214936 | 2147483647 94975 20 | 0.522 % |
285.54/285.72 c | 438396 | 7630 64674 214936 | 2147483647 95210 20 | 0.522 % |
285.74/285.99 c | 438653 | 7630 64674 214936 | 2147483647 95467 20 | 0.522 % |
286.14/286.31 c | 438934 | 7630 64674 214936 | 2147483647 95748 20 | 0.522 % |
286.54/286.72 c | 439245 | 7630 64674 214936 | 2147483647 96059 20 | 0.522 % |
286.94/287.13 c | 439584 | 7630 64674 214936 | 2147483647 96398 20 | 0.522 % |
287.33/287.50 c | 439956 | 7630 64674 214936 | 2147483647 96770 20 | 0.522 % |
287.63/287.86 c | 440365 | 7630 64674 214936 | 96816 97179 20 | 0.522 % |
288.33/288.58 c | 440820 | 7630 64674 214936 | 96816 87917 20 | 0.522 % |
288.83/289.02 c | 441313 | 7630 64674 214936 | 96816 88410 20 | 0.522 % |
289.43/289.66 c | 441856 | 7630 64674 214936 | 96816 88953 20 | 0.522 % |
289.93/290.17 c | 442452 | 7630 64674 214936 | 96816 89549 20 | 0.522 % |
290.63/290.82 c | 443108 | 7630 64674 214936 | 96816 90205 20 | 0.522 % |
291.24/291.46 c | 443832 | 7630 64674 214936 | 96816 90929 20 | 0.522 % |
291.93/292.14 c | 444627 | 7630 64674 214936 | 96816 91724 20 | 0.522 % |
292.63/292.87 c | 445499 | 7630 64674 214936 | 96816 92596 20 | 0.522 % |
293.63/293.88 c | 446457 | 7630 64674 214936 | 96816 93554 20 | 0.522 % |
294.83/295.07 c | 447512 | 7628 64649 214876 | 96816 94608 20 | 0.548 % |
295.93/296.12 c | 448670 | 7628 64649 214876 | 96816 95766 20 | 0.548 % |
296.73/296.95 c | 449943 | 7628 64649 214876 | 96816 97039 20 | 0.548 % |
297.84/298.02 c | 451344 | 7628 64649 214876 | 86860 79458 19 | 0.548 % |
298.74/298.94 c | 452884 | 7628 64649 214876 | 86860 80998 19 | 0.548 % |
299.74/299.96 c | 454581 | 7627 64649 214876 | 86860 82694 19 | 0.574 % |
301.04/301.29 c | 456446 | 7627 64649 214876 | 86860 84559 19 | 0.574 % |
302.74/302.95 c | 458495 | 7626 64624 214816 | 86860 86608 19 | 0.574 % |
304.54/304.70 c | 460748 | 7626 64624 214816 | 2147483647 80147 19 | 0.574 % |
306.84/307.05 c | 463227 | 7626 64624 214816 | 2147483647 82626 19 | 0.574 % |
308.54/308.76 c | 465953 | 7626 64624 214816 | 2147483647 85352 19 | 0.574 % |
310.53/310.79 c | 468950 | 7626 64624 214816 | 2147483647 88349 19 | 0.574 % |
313.24/313.43 c | 472246 | 7626 64624 214816 | 2147483647 91645 19 | 0.574 % |
315.73/315.94 c | 475871 | 7626 64624 214816 | 2147483647 95270 19 | 0.574 % |
319.13/319.39 c | 479858 | 7626 64624 214816 | 2147483647 99257 20 | 0.574 % |
322.33/322.60 c | 484243 | 7626 64624 214816 | 99399 93413 19 | 0.574 % |
322.43/322.68 c | 484343 | 7626 64624 214816 | 99399 93513 19 | 0.574 % |
322.63/322.81 c | 484455 | 7626 64624 214816 | 99399 93625 19 | 0.574 % |
322.73/322.92 c | 484576 | 7626 64624 214816 | 99399 93746 19 | 0.574 % |
322.83/323.04 c | 484710 | 7626 64624 214816 | 99399 93880 19 | 0.574 % |
322.93/323.15 c | 484856 | 7626 64624 214816 | 99399 94026 19 | 0.574 % |
323.03/323.29 c | 485016 | 7626 64624 214816 | 99399 94186 19 | 0.574 % |
323.33/323.50 c | 485194 | 7626 64624 214816 | 99399 94364 19 | 0.574 % |
323.43/323.68 c | 485387 | 7626 64624 214816 | 99399 94557 19 | 0.574 % |
323.63/323.88 c | 485600 | 7626 64624 214816 | 99399 94770 19 | 0.574 % |
323.83/324.04 c | 485833 | 7626 64624 214816 | 99399 95003 19 | 0.574 % |
323.93/324.19 c | 486089 | 7626 64624 214816 | 99399 95259 19 | 0.574 % |
324.33/324.58 c | 486370 | 7626 64624 214816 | 99399 95540 19 | 0.574 % |
324.63/324.85 c | 486679 | 7626 64624 214816 | 99399 95849 19 | 0.574 % |
325.13/325.38 c | 487018 | 7626 64624 214816 | 99399 96188 19 | 0.574 % |
325.43/325.63 c | 487391 | 7626 64624 214816 | 99399 96561 19 | 0.574 % |
325.82/326.04 c | 487802 | 7626 64624 214816 | 99399 96972 20 | 0.574 % |
326.32/326.50 c | 488251 | 7626 64624 214816 | 99399 97421 20 | 0.574 % |
326.62/326.88 c | 488745 | 7626 64624 214816 | 99399 97915 20 | 0.574 % |
327.12/327.31 c | 489287 | 7626 64624 214816 | 99399 98457 20 | 0.574 % |
327.53/327.75 c | 489886 | 7626 64624 214816 | 99399 99056 20 | 0.574 % |
328.32/328.52 c | 490542 | 7626 64624 214816 | 99171 88491 19 | 0.574 % |
328.92/329.14 c | 491262 | 7626 64624 214816 | 99171 89211 19 | 0.574 % |
329.42/329.66 c | 492054 | 7626 64624 214816 | 99171 90003 20 | 0.574 % |
330.32/330.56 c | 492926 | 7626 64624 214816 | 99171 90875 20 | 0.574 % |
331.12/331.35 c | 493884 | 7626 64624 214816 | 99171 91833 20 | 0.574 % |
332.32/332.53 c | 494938 | 7626 64624 214816 | 99171 92887 20 | 0.574 % |
333.02/333.23 c | 496097 | 7626 64624 214816 | 99171 94046 20 | 0.574 % |
334.22/334.47 c | 497370 | 7626 64624 214816 | 99171 95319 20 | 0.574 % |
335.82/336.08 c | 498770 | 7626 64624 214816 | 99171 96719 20 | 0.574 % |
337.62/337.80 c | 500310 | 7626 64624 214816 | 97949 87168 20 | 0.574 % |
338.82/339.10 c | 502006 | 7626 64624 214816 | 97949 88864 20 | 0.574 % |
340.72/340.97 c | 503870 | 7626 64624 214816 | 97949 90728 20 | 0.574 % |
342.22/342.47 c | 505919 | 7626 64624 214816 | 97949 92777 20 | 0.574 % |
344.22/344.44 c | 508172 | 7626 64624 214816 | 97949 95030 20 | 0.574 % |
346.42/346.68 c | 510651 | 7626 64624 214816 | 96858 85661 20 | 0.574 % |
348.61/348.86 c | 513377 | 7624 64599 214756 | 96858 88385 20 | 0.626 % |
350.62/350.88 c | 516374 | 7623 64599 214756 | 96858 91381 20 | 0.652 % |
353.41/353.64 c | 519670 | 7623 64599 214756 | 96858 94677 20 | 0.652 % |
356.61/356.84 c | 523296 | 7618 64524 214576 | 95007 87561 20 | 0.678 % |
360.61/360.82 c | 527284 | 7618 64524 214576 | 95007 91549 20 | 0.678 % |
364.61/364.87 c | 531669 | 7618 64524 214576 | 94266 85917 20 | 0.678 % |
368.01/368.22 c | 536492 | 7618 64524 214576 | 94266 90740 20 | 0.678 % |
368.11/368.31 c | 536592 | 7618 64524 214576 | 94266 90840 20 | 0.678 % |
368.11/368.39 c | 536703 | 7618 64524 214576 | 94266 90951 20 | 0.678 % |
368.21/368.47 c | 536824 | 7618 64524 214576 | 94266 91072 20 | 0.678 % |
368.31/368.57 c | 536958 | 7618 64524 214576 | 94266 91206 20 | 0.678 % |
368.41/368.68 c | 537106 | 7618 64524 214576 | 94266 91354 20 | 0.678 % |
368.51/368.78 c | 537267 | 7618 64524 214576 | 94266 91515 20 | 0.678 % |
368.71/368.90 c | 537444 | 7618 64524 214576 | 94266 91692 20 | 0.678 % |
368.81/369.05 c | 537639 | 7618 64524 214576 | 94266 91887 20 | 0.678 % |
369.01/369.24 c | 537851 | 7618 64524 214576 | 94266 92099 20 | 0.678 % |
369.21/369.46 c | 538084 | 7618 64524 214576 | 94266 92332 20 | 0.678 % |
369.51/369.72 c | 538342 | 7618 64524 214576 | 94266 92590 20 | 0.678 % |
369.70/369.92 c | 538624 | 7618 64524 214576 | 94266 92872 20 | 0.678 % |
369.90/370.16 c | 538934 | 7618 64524 214576 | 94266 93182 20 | 0.678 % |
370.31/370.50 c | 539274 | 7618 64524 214576 | 94266 93522 20 | 0.678 % |
370.41/370.68 c | 539647 | 7618 64524 214576 | 94266 93895 20 | 0.678 % |
370.71/370.99 c | 540058 | 7618 64524 214576 | 2147483647 94306 20 | 0.678 % |
371.20/371.45 c | 540508 | 7618 64524 214576 | 2147483647 94756 20 | 0.678 % |
371.70/371.97 c | 541001 | 7618 64524 214576 | 2147483647 95249 20 | 0.678 % |
372.20/372.47 c | 541543 | 7618 64524 214576 | 2147483647 95791 20 | 0.678 % |
372.61/372.85 c | 542139 | 7618 64524 214576 | 2147483647 96387 20 | 0.678 % |
373.10/373.38 c | 542794 | 7618 64524 214576 | 2147483647 97042 20 | 0.678 % |
373.90/374.17 c | 543517 | 7618 64524 214576 | 2147483647 97765 20 | 0.678 % |
374.91/375.12 c | 544309 | 7618 64524 214576 | 2147483647 98557 20 | 0.678 % |
375.50/375.73 c | 545180 | 7618 64524 214576 | 2147483647 99428 20 | 0.678 % |
376.20/376.45 c | 546138 | 7618 64524 214576 | 2147483647 100386 20 | 0.678 % |
377.40/377.65 c | 547191 | 7618 64524 214576 | 2147483647 101439 20 | 0.678 % |
378.30/378.56 c | 548350 | 7618 64524 214576 | 2147483647 102598 20 | 0.678 % |
379.80/380.01 c | 549623 | 7618 64524 214576 | 2147483647 103871 20 | 0.678 % |
381.40/381.63 c | 551023 | 7618 64524 214576 | 104251 89804 20 | 0.678 % |
382.70/382.99 c | 552564 | 7618 64524 214576 | 104251 91345 20 | 0.678 % |
384.20/384.44 c | 554258 | 7618 64524 214576 | 104251 93039 20 | 0.678 % |
386.60/386.87 c | 556121 | 7618 64524 214576 | 104251 94902 20 | 0.678 % |
388.30/388.58 c | 558172 | 7618 64524 214576 | 104251 96953 20 | 0.678 % |
390.80/391.09 c | 560426 | 7618 64524 214576 | 98782 86343 19 | 0.678 % |
393.00/393.21 c | 562904 | 7618 64524 214576 | 98782 88821 19 | 0.678 % |
395.10/395.37 c | 565629 | 7618 64524 214576 | 98782 91546 20 | 0.678 % |
397.40/397.63 c | 568626 | 7618 64524 214576 | 98782 94543 20 | 0.678 % |
400.20/400.42 c | 571922 | 7618 64524 214576 | 2147483647 97839 20 | 0.678 % |
403.19/403.46 c | 575547 | 7618 64524 214576 | 2147483647 101464 20 | 0.678 % |
407.39/407.61 c | 579534 | 7618 64524 214576 | 2147483647 105451 20 | 0.678 % |
411.99/412.26 c | 583920 | 7618 64524 214576 | 105917 94840 20 | 0.678 % |
417.70/417.97 c | 588745 | 7618 64524 214576 | 105917 99665 20 | 0.678 % |
421.70/421.95 c | 594050 | 7618 64524 214576 | 100921 90779 20 | 0.678 % |
421.80/422.08 c | 594150 | 7618 64524 214576 | 100921 90879 20 | 0.678 % |
422.00/422.22 c | 594262 | 7618 64524 214576 | 100921 90991 20 | 0.678 % |
422.10/422.35 c | 594383 | 7618 64524 214576 | 100921 91112 20 | 0.678 % |
422.20/422.46 c | 594517 | 7618 64524 214576 | 100921 91246 20 | 0.678 % |
422.40/422.63 c | 594664 | 7618 64524 214576 | 100921 91393 20 | 0.678 % |
422.60/422.87 c | 594824 | 7618 64524 214576 | 100921 91553 20 | 0.678 % |
422.80/423.01 c | 595000 | 7618 64524 214576 | 100921 91729 20 | 0.678 % |
423.00/423.24 c | 595194 | 7618 64524 214576 | 100921 91923 20 | 0.678 % |
423.20/423.47 c | 595406 | 7618 64524 214576 | 100921 92135 20 | 0.678 % |
423.40/423.64 c | 595640 | 7618 64524 214576 | 100921 92369 20 | 0.678 % |
423.70/423.93 c | 595896 | 7618 64524 214576 | 100921 92625 20 | 0.678 % |
423.90/424.12 c | 596177 | 7618 64524 214576 | 100921 92906 20 | 0.678 % |
424.20/424.44 c | 596486 | 7618 64524 214576 | 100921 93215 20 | 0.678 % |
424.50/424.77 c | 596825 | 7618 64524 214576 | 100921 93554 20 | 0.678 % |
424.90/425.10 c | 597198 | 7618 64524 214576 | 100921 93927 20 | 0.678 % |
425.10/425.38 c | 597608 | 7618 64524 214576 | 100921 94337 20 | 0.678 % |
425.60/425.84 c | 598057 | 7618 64524 214576 | 100921 94786 20 | 0.678 % |
426.20/426.45 c | 598551 | 7618 64524 214576 | 100921 95280 20 | 0.678 % |
426.90/427.12 c | 599095 | 7618 64524 214576 | 100921 95824 20 | 0.678 % |
427.50/427.71 c | 599691 | 7618 64524 214576 | 100921 96420 20 | 0.678 % |
427.90/428.18 c | 600347 | 7618 64524 214576 | 96729 97076 20 | 0.678 % |
428.89/429.12 c | 601067 | 7618 64524 214576 | 96729 87003 20 | 0.678 % |
429.59/429.82 c | 601859 | 7618 64524 214576 | 96729 87795 20 | 0.678 % |
430.30/430.58 c | 602731 | 7618 64524 214576 | 96729 88667 20 | 0.678 % |
431.09/431.36 c | 603689 | 7618 64524 214576 | 96729 89625 20 | 0.678 % |
432.00/432.21 c | 604743 | 7618 64524 214576 | 96729 90679 20 | 0.678 % |
432.89/433.14 c | 605901 | 7618 64524 214576 | 96729 91837 20 | 0.678 % |
434.59/434.81 c | 607175 | 7618 64524 214576 | 96729 93111 20 | 0.678 % |
435.69/435.97 c | 608576 | 7618 64524 214576 | 96729 94512 20 | 0.678 % |
437.09/437.33 c | 610116 | 7618 64524 214576 | 2147483647 96052 20 | 0.678 % |
437.99/438.26 c | 611810 | 7618 64524 214576 | 2147483647 97746 20 | 0.678 % |
439.39/439.66 c | 613674 | 7618 64524 214576 | 2147483647 99610 20 | 0.678 % |
441.79/442.04 c | 615723 | 7618 64524 214576 | 2147483647 101659 20 | 0.678 % |
444.29/444.51 c | 617976 | 7618 64524 214576 | 2147483647 103912 20 | 0.678 % |
446.29/446.58 c | 620455 | 7618 64524 214576 | 105937 93150 20 | 0.678 % |
448.39/448.61 c | 623180 | 7618 64524 214576 | 105937 95875 20 | 0.678 % |
450.99/451.22 c | 626177 | 7618 64524 214576 | 105937 98872 20 | 0.678 % |
453.69/453.91 c | 629473 | 7618 64524 214576 | 105937 102168 20 | 0.678 % |
456.58/456.80 c | 633100 | 7618 64524 214576 | 102695 94809 20 | 0.678 % |
459.88/460.12 c | 637088 | 7618 64524 214576 | 102695 98797 20 | 0.678 % |
464.58/464.86 c | 641473 | 7618 64524 214576 | 101712 91602 19 | 0.678 % |
468.78/469.05 c | 646296 | 7618 64524 214576 | 101712 96425 20 | 0.678 % |
473.78/474.08 c | 651601 | 7618 64524 214576 | 100130 90097 19 | 0.678 % |
478.78/479.04 c | 657436 | 7618 64524 214576 | 100130 95932 19 | 0.678 % |
478.88/479.10 c | 657536 | 7618 64524 214576 | 100130 96032 19 | 0.678 % |
478.98/479.26 c | 657647 | 7618 64524 214576 | 100130 96143 19 | 0.678 % |
479.08/479.34 c | 657769 | 7618 64524 214576 | 100130 96265 19 | 0.678 % |
479.18/479.47 c | 657902 | 7618 64524 214576 | 100130 96398 19 | 0.678 % |
479.38/479.64 c | 658048 | 7618 64524 214576 | 100130 96544 19 | 0.678 % |
479.58/479.83 c | 658208 | 7618 64524 214576 | 100130 96704 19 | 0.678 % |
479.78/480.06 c | 658384 | 7618 64524 214576 | 100130 96880 19 | 0.678 % |
479.98/480.27 c | 658583 | 7618 64524 214576 | 100130 97079 19 | 0.678 % |
480.38/480.64 c | 658796 | 7618 64524 214576 | 100130 97292 19 | 0.678 % |
480.68/480.93 c | 659029 | 7618 64524 214576 | 100130 97525 19 | 0.678 % |
480.88/481.13 c | 659285 | 7618 64524 214576 | 100130 97781 19 | 0.678 % |
481.08/481.33 c | 659568 | 7618 64524 214576 | 100130 98064 19 | 0.678 % |
481.38/481.68 c | 659877 | 7618 64524 214576 | 100130 98373 19 | 0.678 % |
481.78/482.01 c | 660217 | 7618 64524 214576 | 98499 98713 19 | 0.678 % |
482.18/482.49 c | 660591 | 7618 64524 214576 | 98499 86658 19 | 0.678 % |
482.58/482.87 c | 661000 | 7618 64524 214576 | 98499 87067 19 | 0.678 % |
482.97/483.30 c | 661451 | 7618 64524 214576 | 98499 87518 19 | 0.678 % |
483.47/483.70 c | 661945 | 7618 64524 214576 | 98499 88012 19 | 0.678 % |
483.87/484.11 c | 662488 | 7618 64524 214576 | 98499 88555 19 | 0.678 % |
484.67/484.93 c | 663084 | 7618 64524 214576 | 98499 89151 19 | 0.678 % |
485.27/485.55 c | 663741 | 7618 64524 214576 | 98499 89808 19 | 0.678 % |
485.98/486.26 c | 664462 | 7618 64524 214576 | 98499 90529 19 | 0.678 % |
486.57/486.84 c | 665254 | 7618 64524 214576 | 98499 91321 19 | 0.678 % |
487.17/487.47 c | 666127 | 7618 64524 214576 | 98499 92194 19 | 0.678 % |
487.97/488.28 c | 667085 | 7618 64524 214576 | 98499 93152 19 | 0.678 % |
488.97/489.23 c | 668141 | 7618 64524 214576 | 98499 94208 19 | 0.678 % |
490.57/490.80 c | 669300 | 7618 64524 214576 | 98499 95367 19 | 0.678 % |
492.07/492.30 c | 670573 | 7618 64524 214576 | 96068 85224 19 | 0.678 % |
492.97/493.25 c | 671973 | 7618 64524 214576 | 96068 86624 19 | 0.678 % |
494.57/494.80 c | 673513 | 7618 64524 214576 | 96068 88164 19 | 0.678 % |
496.27/496.58 c | 675208 | 7618 64524 214576 | 96068 89859 19 | 0.678 % |
497.87/498.15 c | 677073 | 7618 64524 214576 | 96068 91724 19 | 0.678 % |
500.27/500.54 c | 679122 | 7618 64524 214576 | 96068 93773 19 | 0.678 % |
502.47/502.78 c | 681376 | 7618 64524 214576 | 94651 83263 19 | 0.678 % |
505.06/505.33 c | 683855 | 7618 64524 214576 | 94651 85742 19 | 0.678 % |
507.37/507.64 c | 686580 | 7618 64524 214576 | 94651 88467 19 | 0.678 % |
510.17/510.44 c | 689577 | 7618 64524 214576 | 94651 91464 19 | 0.678 % |
512.86/513.15 c | 692874 | 7618 64524 214576 | 91887 84067 19 | 0.678 % |
515.57/515.85 c | 696502 | 7618 64524 214576 | 91887 87695 19 | 0.678 % |
519.16/519.40 c | 700489 | 7618 64524 214576 | 2147483647 91682 19 | 0.678 % |
522.96/523.25 c | 704874 | 7618 64524 214576 | 2147483647 96067 19 | 0.678 % |
527.96/528.28 c | 709697 | 7617 64521 214570 | 2147483647 100889 19 | 0.691 % |
532.66/532.93 c | 715002 | 7617 64521 214570 | 101194 94540 19 | 0.717 % |
539.35/539.60 c | 720838 | 7615 64496 214510 | 99539 87593 18 | 0.717 % |
544.55/544.83 c | 727256 | 7615 64496 214510 | 99539 94011 18 | 0.717 % |
544.65/544.91 c | 727358 | 7615 64496 214510 | 99539 94113 18 | 0.717 % |
544.75/545.01 c | 727468 | 7615 64496 214510 | 99539 94223 18 | 0.717 % |
544.85/545.10 c | 727589 | 7615 64496 214510 | 99539 94344 18 | 0.717 % |
544.85/545.19 c | 727722 | 7615 64496 214510 | 99539 94477 18 | 0.717 % |
544.95/545.29 c | 727869 | 7615 64496 214510 | 99539 94624 18 | 0.717 % |
545.05/545.39 c | 728029 | 7615 64496 214510 | 99539 94784 18 | 0.717 % |
545.25/545.55 c | 728206 | 7615 64496 214510 | 99539 94961 18 | 0.717 % |
545.45/545.71 c | 728399 | 7615 64496 214510 | 99539 95154 18 | 0.717 % |
545.55/545.88 c | 728612 | 7615 64496 214510 | 99539 95367 18 | 0.717 % |
545.75/546.05 c | 728846 | 7615 64496 214510 | 99539 95601 18 | 0.717 % |
546.05/546.33 c | 729104 | 7615 64496 214510 | 99539 95859 18 | 0.717 % |
546.25/546.56 c | 729386 | 7615 64496 214510 | 99539 96141 18 | 0.717 % |
546.35/546.69 c | 729695 | 7615 64496 214510 | 99539 96450 18 | 0.717 % |
546.65/546.99 c | 730035 | 7615 64496 214510 | 96755 96790 18 | 0.717 % |
547.35/547.64 c | 730407 | 7615 64496 214510 | 96755 86808 18 | 0.717 % |
547.65/547.92 c | 730817 | 7615 64496 214510 | 96755 87218 18 | 0.717 % |
547.85/548.19 c | 731267 | 7615 64496 214510 | 96755 87668 18 | 0.717 % |
548.25/548.50 c | 731760 | 7615 64496 214510 | 96755 88161 18 | 0.717 % |
548.55/548.84 c | 732302 | 7615 64496 214510 | 96755 88703 18 | 0.717 % |
549.05/549.30 c | 732898 | 7615 64496 214510 | 96755 89299 18 | 0.717 % |
549.55/549.82 c | 733555 | 7615 64496 214510 | 96755 89956 18 | 0.717 % |
550.05/550.38 c | 734275 | 7615 64496 214510 | 96755 90676 18 | 0.717 % |
550.75/551.08 c | 735069 | 7615 64496 214510 | 96755 91470 18 | 0.717 % |
551.45/551.77 c | 735941 | 7615 64496 214510 | 96755 92342 18 | 0.717 % |
552.05/552.37 c | 736900 | 7615 64496 214510 | 96755 93301 18 | 0.717 % |
552.95/553.27 c | 737955 | 7615 64496 214510 | 96755 94356 18 | 0.717 % |
554.05/554.35 c | 739113 | 7615 64496 214510 | 96755 95514 18 | 0.717 % |
554.85/555.18 c | 740386 | 7615 64496 214510 | 2147483647 96787 18 | 0.717 % |
556.95/557.20 c | 741787 | 7612 64094 212257 | 2147483647 22767 11 | 0.756 % |
557.15/557.46 c | 743328 | 7612 64094 212257 | 2147483647 24308 11 | 0.756 % |
557.55/557.80 c | 745023 | 7612 64094 212257 | 2147483647 26003 12 | 0.756 % |
557.85/558.15 c | 746886 | 7612 64094 212257 | 2147483647 27866 12 | 0.756 % |
558.25/558.59 c | 748935 | 7612 64094 212257 | 2147483647 29915 12 | 0.756 % |
558.84/559.18 c | 751189 | 7609 63936 211767 | 2147483647 30124 12 | 0.795 % |
559.04/559.31 c ===============================================================================
559.04/559.31 c restarts : 1071
559.04/559.31 c conflicts : 751664 (1347 /sec)
559.04/559.31 c decisions : 1083465 (1.80 % random) (1942 /sec)
559.04/559.32 c propagations : 175395846 (314427 /sec)
559.04/559.32 c conflict literals : 16641316 (36.88 % deleted)
559.04/559.32 c Memory used : 20.66 MB
559.04/559.32 c CPU time : 557.826 s
559.04/559.32 c
559.04/559.32 s UNSATISFIABLE
559.04/559.32 s UNSATISFIABLE
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1833817-1242825315/watcher-1833817-1242825315 -o /tmp/evaluation-result-1833817-1242825315/solver-1833817-1242825315 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1833817-1242825315.cnf
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1230 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 0.98 1.00 1.00 3/65 25781
/proc/meminfo: memFree=1960704/2055912 swapFree=4178800/4192956
[pid=25781] ppid=25779 vsize=5356 CPUtime=0
/proc/25781/stat : 25781 (SatELiteGTI) S 25779 25781 25637 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310560564 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 255372878660 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/25781/statm: 1339 237 197 169 0 50 0
[startup+0.0587011 s]
/proc/loadavg: 0.98 1.00 1.00 3/65 25781
/proc/meminfo: memFree=1960704/2055912 swapFree=4178800/4192956
[pid=25781] ppid=25779 vsize=5356 CPUtime=0
/proc/25781/stat : 25781 (SatELiteGTI) S 25779 25781 25637 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310560564 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 255372878660 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/25781/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.101704 s]
/proc/loadavg: 0.98 1.00 1.00 3/65 25781
/proc/meminfo: memFree=1960704/2055912 swapFree=4178800/4192956
[pid=25781] ppid=25779 vsize=5356 CPUtime=0
/proc/25781/stat : 25781 (SatELiteGTI) S 25779 25781 25637 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310560564 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 255372878660 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/25781/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.301724 s]
/proc/loadavg: 0.98 1.00 1.00 3/65 25781
/proc/meminfo: memFree=1960704/2055912 swapFree=4178800/4192956
[pid=25781] ppid=25779 vsize=5356 CPUtime=0
/proc/25781/stat : 25781 (SatELiteGTI) S 25779 25781 25637 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310560564 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 255372878660 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/25781/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.701765 s]
/proc/loadavg: 0.98 1.00 1.00 3/65 25781
/proc/meminfo: memFree=1960704/2055912 swapFree=4178800/4192956
[pid=25781] ppid=25779 vsize=5356 CPUtime=0
/proc/25781/stat : 25781 (SatELiteGTI) S 25779 25781 25637 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310560564 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 255372878660 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/25781/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+1.50185 s]
/proc/loadavg: 0.98 1.00 1.00 2/67 25786
/proc/meminfo: memFree=1940400/2055912 swapFree=4178800/4192956
[pid=25781] ppid=25779 vsize=5356 CPUtime=1.15
/proc/25781/stat : 25781 (SatELiteGTI) S 25779 25781 25637 0 -1 4194304 336 5334 0 0 0 0 112 3 16 0 1 0 310560564 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 255372878660 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25781/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 1.15
Current children cumulated vsize (KiB) 5356
[startup+3.10302 s]
/proc/loadavg: 0.98 1.00 1.00 2/67 25787
/proc/meminfo: memFree=1951792/2055912 swapFree=4178800/4192956
[pid=25781] ppid=25779 vsize=5356 CPUtime=1.15
/proc/25781/stat : 25781 (SatELiteGTI) S 25779 25781 25637 0 -1 4194304 336 5334 0 0 0 0 112 3 16 0 1 0 310560564 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 255372878660 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25781/statm: 1339 239 197 169 0 50 0
[pid=25787] ppid=25781 vsize=7208 CPUtime=1.92
/proc/25787/stat : 25787 (minisat_static) R 25781 25781 25637 0 -1 4194304 1676 0 0 0 192 0 0 0 25 0 1 0 310560680 7380992 1662 1992294400 134512640 135215339 4294956240 18446744073709551615 134528809 0 0 4096 3 0 0 0 17 1 0 0
/proc/25787/statm: 1802 1663 77 171 0 1629 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 12564
[startup+6.30135 s]
/proc/loadavg: 0.98 1.00 1.00 2/67 25787
/proc/meminfo: memFree=1949488/2055912 swapFree=4178800/4192956
[pid=25781] ppid=25779 vsize=5356 CPUtime=1.15
/proc/25781/stat : 25781 (SatELiteGTI) S 25779 25781 25637 0 -1 4194304 336 5334 0 0 0 0 112 3 16 0 1 0 310560564 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 255372878660 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25781/statm: 1339 239 197 169 0 50 0
[pid=25787] ppid=25781 vsize=8692 CPUtime=5.12
/proc/25787/stat : 25787 (minisat_static) R 25781 25781 25637 0 -1 4194304 2017 0 0 0 511 1 0 0 25 0 1 0 310560680 8900608 2003 1992294400 134512640 135215339 4294956240 18446744073709551615 134528742 0 0 4096 3 0 0 0 17 1 0 0
/proc/25787/statm: 2173 2003 77 171 0 2000 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 14048
[startup+12.702 s]
/proc/loadavg: 0.98 1.00 1.00 2/67 25787
/proc/meminfo: memFree=1947248/2055912 swapFree=4178800/4192956
[pid=25781] ppid=25779 vsize=5356 CPUtime=1.15
/proc/25781/stat : 25781 (SatELiteGTI) S 25779 25781 25637 0 -1 4194304 336 5334 0 0 0 0 112 3 16 0 1 0 310560564 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 255372878660 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25781/statm: 1339 239 197 169 0 50 0
[pid=25787] ppid=25781 vsize=11016 CPUtime=11.52
/proc/25787/stat : 25787 (minisat_static) R 25781 25781 25637 0 -1 4194304 2620 0 0 0 1150 2 0 0 25 0 1 0 310560680 11280384 2606 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/25787/statm: 2754 2606 77 171 0 2581 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 16372
[startup+25.5014 s]
/proc/loadavg: 0.99 1.00 1.00 2/67 25787
/proc/meminfo: memFree=1944112/2055912 swapFree=4178800/4192956
[pid=25781] ppid=25779 vsize=5356 CPUtime=1.15
/proc/25781/stat : 25781 (SatELiteGTI) S 25779 25781 25637 0 -1 4194304 336 5334 0 0 0 0 112 3 16 0 1 0 310560564 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 255372878660 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25781/statm: 1339 239 197 169 0 50 0
[pid=25787] ppid=25781 vsize=14052 CPUtime=24.31
/proc/25787/stat : 25787 (minisat_static) R 25781 25781 25637 0 -1 4194304 3359 0 0 0 2428 3 0 0 25 0 1 0 310560680 14389248 3345 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 1 0 0
/proc/25787/statm: 3513 3345 77 171 0 3340 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 19408
[startup+51.102 s]
/proc/loadavg: 0.99 1.00 1.00 2/67 25787
/proc/meminfo: memFree=1942768/2055912 swapFree=4178800/4192956
[pid=25781] ppid=25779 vsize=5356 CPUtime=1.15
/proc/25781/stat : 25781 (SatELiteGTI) S 25779 25781 25637 0 -1 4194304 336 5334 0 0 0 0 112 3 16 0 1 0 310560564 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 255372878660 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25781/statm: 1339 239 197 169 0 50 0
[pid=25787] ppid=25781 vsize=15460 CPUtime=49.9
/proc/25787/stat : 25787 (minisat_static) R 25781 25781 25637 0 -1 4194304 3694 0 0 0 4986 4 0 0 25 0 1 0 310560680 15831040 3680 1992294400 134512640 135215339 4294956240 18446744073709551615 134528728 0 0 4096 3 0 0 0 17 1 0 0
/proc/25787/statm: 3865 3680 77 171 0 3692 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 20816
[startup+102.305 s]
/proc/loadavg: 0.99 1.00 1.00 2/67 25787
/proc/meminfo: memFree=1939120/2055912 swapFree=4178800/4192956
[pid=25781] ppid=25779 vsize=5356 CPUtime=1.15
/proc/25781/stat : 25781 (SatELiteGTI) S 25779 25781 25637 0 -1 4194304 336 5334 0 0 0 0 112 3 16 0 1 0 310560564 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 255372878660 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25781/statm: 1339 239 197 169 0 50 0
[pid=25787] ppid=25781 vsize=18968 CPUtime=101.07
/proc/25787/stat : 25787 (minisat_static) R 25781 25781 25637 0 -1 4194304 4564 0 0 0 10102 5 0 0 25 0 1 0 310560680 19423232 4550 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/25787/statm: 4742 4550 77 171 0 4569 0
Current children cumulated CPU time (s) 102.22
Current children cumulated vsize (KiB) 24324
[startup+162.302 s]
/proc/loadavg: 0.99 1.00 1.00 2/67 25787
/proc/meminfo: memFree=1938672/2055912 swapFree=4178800/4192956
[pid=25781] ppid=25779 vsize=5356 CPUtime=1.15
/proc/25781/stat : 25781 (SatELiteGTI) S 25779 25781 25637 0 -1 4194304 336 5334 0 0 0 0 112 3 16 0 1 0 310560564 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 255372878660 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25781/statm: 1339 239 197 169 0 50 0
[pid=25787] ppid=25781 vsize=19400 CPUtime=161.04
/proc/25787/stat : 25787 (minisat_static) R 25781 25781 25637 0 -1 4194304 4653 0 0 0 16098 6 0 0 25 0 1 0 310560680 19865600 4639 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/25787/statm: 4850 4639 77 171 0 4677 0
Current children cumulated CPU time (s) 162.19
Current children cumulated vsize (KiB) 24756
[startup+222.302 s]
/proc/loadavg: 0.99 1.00 1.00 2/67 25787
/proc/meminfo: memFree=1937712/2055912 swapFree=4178800/4192956
[pid=25781] ppid=25779 vsize=5356 CPUtime=1.15
/proc/25781/stat : 25781 (SatELiteGTI) S 25779 25781 25637 0 -1 4194304 336 5334 0 0 0 0 112 3 16 0 1 0 310560564 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 255372878660 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25781/statm: 1339 239 197 169 0 50 0
[pid=25787] ppid=25781 vsize=20240 CPUtime=221.01
/proc/25787/stat : 25787 (minisat_static) R 25781 25781 25637 0 -1 4194304 4864 0 0 0 22094 7 0 0 25 0 1 0 310560680 20725760 4850 1992294400 134512640 135215339 4294956240 18446744073709551615 134528728 0 0 4096 3 0 0 0 17 1 0 0
/proc/25787/statm: 5060 4850 77 171 0 4887 0
Current children cumulated CPU time (s) 222.16
Current children cumulated vsize (KiB) 25596
[startup+282.301 s]
/proc/loadavg: 0.99 1.00 1.00 2/67 25787
/proc/meminfo: memFree=1937456/2055912 swapFree=4178800/4192956
[pid=25781] ppid=25779 vsize=5356 CPUtime=1.15
/proc/25781/stat : 25781 (SatELiteGTI) S 25779 25781 25637 0 -1 4194304 336 5334 0 0 0 0 112 3 16 0 1 0 310560564 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 255372878660 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25781/statm: 1339 239 197 169 0 50 0
[pid=25787] ppid=25781 vsize=20404 CPUtime=280.99
/proc/25787/stat : 25787 (minisat_static) R 25781 25781 25637 0 -1 4194304 4911 0 0 0 28092 7 0 0 25 0 1 0 310560680 20893696 4897 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 1 0 0
/proc/25787/statm: 5101 4897 77 171 0 4928 0
Current children cumulated CPU time (s) 282.14
Current children cumulated vsize (KiB) 25760
[startup+342.301 s]
/proc/loadavg: 0.99 1.00 1.00 2/67 25787
/proc/meminfo: memFree=1937072/2055912 swapFree=4178800/4192956
[pid=25781] ppid=25779 vsize=5356 CPUtime=1.15
/proc/25781/stat : 25781 (SatELiteGTI) S 25779 25781 25637 0 -1 4194304 336 5334 0 0 0 0 112 3 16 0 1 0 310560564 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 255372878660 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25781/statm: 1339 239 197 169 0 50 0
[pid=25787] ppid=25781 vsize=20728 CPUtime=340.97
/proc/25787/stat : 25787 (minisat_static) R 25781 25781 25637 0 -1 4194304 4978 0 0 0 34089 8 0 0 25 0 1 0 310560680 21225472 4964 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/25787/statm: 5182 4964 77 171 0 5009 0
Current children cumulated CPU time (s) 342.12
Current children cumulated vsize (KiB) 26084
[startup+402.302 s]
/proc/loadavg: 0.99 1.00 1.00 2/67 25787
/proc/meminfo: memFree=1936752/2055912 swapFree=4178800/4192956
[pid=25781] ppid=25779 vsize=5356 CPUtime=1.15
/proc/25781/stat : 25781 (SatELiteGTI) S 25779 25781 25637 0 -1 4194304 336 5334 0 0 0 0 112 3 16 0 1 0 310560564 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 255372878660 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25781/statm: 1339 239 197 169 0 50 0
[pid=25787] ppid=25781 vsize=21020 CPUtime=400.95
/proc/25787/stat : 25787 (minisat_static) R 25781 25781 25637 0 -1 4194304 5030 0 0 0 40087 8 0 0 25 0 1 0 310560680 21524480 5016 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/25787/statm: 5255 5016 77 171 0 5082 0
Current children cumulated CPU time (s) 402.1
Current children cumulated vsize (KiB) 26376
[startup+462.302 s]
/proc/loadavg: 0.99 1.00 1.00 2/67 25787
/proc/meminfo: memFree=1936624/2055912 swapFree=4178800/4192956
[pid=25781] ppid=25779 vsize=5356 CPUtime=1.15
/proc/25781/stat : 25781 (SatELiteGTI) S 25779 25781 25637 0 -1 4194304 336 5334 0 0 0 0 112 3 16 0 1 0 310560564 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 255372878660 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25781/statm: 1339 239 197 169 0 50 0
[pid=25787] ppid=25781 vsize=21020 CPUtime=460.93
/proc/25787/stat : 25787 (minisat_static) R 25781 25781 25637 0 -1 4194304 5053 0 0 0 46084 9 0 0 25 0 1 0 310560680 21524480 5039 1992294400 134512640 135215339 4294956240 18446744073709551615 134529099 0 0 4096 3 0 0 0 17 1 0 0
/proc/25787/statm: 5255 5039 77 171 0 5082 0
Current children cumulated CPU time (s) 462.08
Current children cumulated vsize (KiB) 26376
[startup+522.301 s]
/proc/loadavg: 0.99 1.00 1.00 2/67 25787
/proc/meminfo: memFree=1936496/2055912 swapFree=4178800/4192956
[pid=25781] ppid=25779 vsize=5356 CPUtime=1.15
/proc/25781/stat : 25781 (SatELiteGTI) S 25779 25781 25637 0 -1 4194304 336 5334 0 0 0 0 112 3 16 0 1 0 310560564 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 255372878660 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25781/statm: 1339 239 197 169 0 50 0
[pid=25787] ppid=25781 vsize=21020 CPUtime=520.91
/proc/25787/stat : 25787 (minisat_static) R 25781 25781 25637 0 -1 4194304 5054 0 0 0 52082 9 0 0 25 0 1 0 310560680 21524480 5040 1992294400 134512640 135215339 4294956240 18446744073709551615 134528875 0 0 4096 3 0 0 0 17 1 0 0
/proc/25787/statm: 5255 5040 77 171 0 5082 0
Current children cumulated CPU time (s) 522.06
Current children cumulated vsize (KiB) 26376
Solver just ended. Dumping a history of the last processes samples
[startup+537.502 s]
/proc/loadavg: 0.99 1.00 1.00 2/67 25787
/proc/meminfo: memFree=1936432/2055912 swapFree=4178800/4192956
[pid=25781] ppid=25779 vsize=5356 CPUtime=1.15
/proc/25781/stat : 25781 (SatELiteGTI) S 25779 25781 25637 0 -1 4194304 336 5334 0 0 0 0 112 3 16 0 1 0 310560564 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 255372878660 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25781/statm: 1339 239 197 169 0 50 0
[pid=25787] ppid=25781 vsize=21156 CPUtime=536.1
/proc/25787/stat : 25787 (minisat_static) R 25781 25781 25637 0 -1 4194304 5063 0 0 0 53601 9 0 0 25 0 1 0 310560680 21663744 5049 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/25787/statm: 5289 5049 77 171 0 5116 0
Current children cumulated CPU time (s) 537.25
Current children cumulated vsize (KiB) 26512
[startup+550.302 s]
/proc/loadavg: 0.99 1.00 1.00 2/67 25787
/proc/meminfo: memFree=1936240/2055912 swapFree=4178800/4192956
[pid=25781] ppid=25779 vsize=5356 CPUtime=1.15
/proc/25781/stat : 25781 (SatELiteGTI) S 25779 25781 25637 0 -1 4194304 336 5334 0 0 0 0 112 3 16 0 1 0 310560564 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 255372878660 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25781/statm: 1339 239 197 169 0 50 0
[pid=25787] ppid=25781 vsize=21156 CPUtime=548.9
/proc/25787/stat : 25787 (minisat_static) R 25781 25781 25637 0 -1 4194304 5089 0 0 0 54881 9 0 0 25 0 1 0 310560680 21663744 5075 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 1 0 0
/proc/25787/statm: 5289 5075 77 171 0 5116 0
Current children cumulated CPU time (s) 550.05
Current children cumulated vsize (KiB) 26512
[startup+553.501 s]
/proc/loadavg: 0.99 1.00 1.00 2/67 25787
/proc/meminfo: memFree=1936240/2055912 swapFree=4178800/4192956
[pid=25781] ppid=25779 vsize=5356 CPUtime=1.15
/proc/25781/stat : 25781 (SatELiteGTI) S 25779 25781 25637 0 -1 4194304 336 5334 0 0 0 0 112 3 16 0 1 0 310560564 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 255372878660 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25781/statm: 1339 239 197 169 0 50 0
[pid=25787] ppid=25781 vsize=21156 CPUtime=552.1
/proc/25787/stat : 25787 (minisat_static) R 25781 25781 25637 0 -1 4194304 5089 0 0 0 55201 9 0 0 25 0 1 0 310560680 21663744 5075 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/25787/statm: 5289 5075 77 171 0 5116 0
Current children cumulated CPU time (s) 553.25
Current children cumulated vsize (KiB) 26512
[startup+556.702 s]
/proc/loadavg: 0.99 1.00 1.00 2/67 25787
/proc/meminfo: memFree=1936240/2055912 swapFree=4178800/4192956
[pid=25781] ppid=25779 vsize=5356 CPUtime=1.15
/proc/25781/stat : 25781 (SatELiteGTI) S 25779 25781 25637 0 -1 4194304 336 5334 0 0 0 0 112 3 16 0 1 0 310560564 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 255372878660 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25781/statm: 1339 239 197 169 0 50 0
[pid=25787] ppid=25781 vsize=21156 CPUtime=555.3
/proc/25787/stat : 25787 (minisat_static) R 25781 25781 25637 0 -1 4194304 5089 0 0 0 55521 9 0 0 25 0 1 0 310560680 21663744 5075 1992294400 134512640 135215339 4294956240 18446744073709551615 134526024 0 0 4096 3 0 0 0 17 1 0 0
/proc/25787/statm: 5289 5075 77 171 0 5116 0
Current children cumulated CPU time (s) 556.45
Current children cumulated vsize (KiB) 26512
[startup+558.302 s]
/proc/loadavg: 0.99 1.00 1.00 2/67 25787
/proc/meminfo: memFree=1936240/2055912 swapFree=4178800/4192956
[pid=25781] ppid=25779 vsize=5356 CPUtime=1.15
/proc/25781/stat : 25781 (SatELiteGTI) S 25779 25781 25637 0 -1 4194304 336 5334 0 0 0 0 112 3 16 0 1 0 310560564 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 255372878660 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25781/statm: 1339 239 197 169 0 50 0
[pid=25787] ppid=25781 vsize=21156 CPUtime=556.89
/proc/25787/stat : 25787 (minisat_static) R 25781 25781 25637 0 -1 4194304 5089 0 0 0 55680 9 0 0 25 0 1 0 310560680 21663744 5075 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/25787/statm: 5289 5075 77 171 0 5116 0
Current children cumulated CPU time (s) 558.04
Current children cumulated vsize (KiB) 26512
[startup+559.103 s]
/proc/loadavg: 0.99 1.00 1.00 2/67 25787
/proc/meminfo: memFree=1936240/2055912 swapFree=4178800/4192956
[pid=25781] ppid=25779 vsize=5356 CPUtime=1.15
/proc/25781/stat : 25781 (SatELiteGTI) S 25779 25781 25637 0 -1 4194304 336 5334 0 0 0 0 112 3 16 0 1 0 310560564 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 255372878660 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25781/statm: 1339 239 197 169 0 50 0
[pid=25787] ppid=25781 vsize=21156 CPUtime=557.69
/proc/25787/stat : 25787 (minisat_static) R 25781 25781 25637 0 -1 4194304 5089 0 0 0 55760 9 0 0 25 0 1 0 310560680 21663744 5075 1992294400 134512640 135215339 4294956240 18446744073709551615 134528742 0 0 4096 3 0 0 0 17 1 0 0
/proc/25787/statm: 5289 5075 77 171 0 5116 0
Current children cumulated CPU time (s) 558.84
Current children cumulated vsize (KiB) 26512
[startup+559.303 s]
/proc/loadavg: 0.99 1.00 1.00 2/67 25787
/proc/meminfo: memFree=1936240/2055912 swapFree=4178800/4192956
[pid=25781] ppid=25779 vsize=5356 CPUtime=1.15
/proc/25781/stat : 25781 (SatELiteGTI) S 25779 25781 25637 0 -1 4194304 336 5334 0 0 0 0 112 3 16 0 1 0 310560564 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 255372878660 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25781/statm: 1339 239 197 169 0 50 0
[pid=25787] ppid=25781 vsize=21156 CPUtime=557.89
/proc/25787/stat : 25787 (minisat_static) R 25781 25781 25637 0 -1 4194304 5089 0 0 0 55780 9 0 0 25 0 1 0 310560680 21663744 5075 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/25787/statm: 5289 5075 77 171 0 5116 0
Current children cumulated CPU time (s) 559.04
Current children cumulated vsize (KiB) 26512
Child status: 20
Real time (s): 559.332
CPU time (s): 559.093
CPU user time (s): 558.951
CPU system time (s): 0.141978
CPU usage (%): 99.9573
Max. virtual memory (cumulated for all children) (KiB): 26660
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 558.951
system time used= 0.141978
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 10920
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 47
involuntary context switches= 3271
runsolver used 0.52092 second user time and 1.60276 second system time
The end
Begin job on node78 at 2009-05-20 15:15:16
IDJOB=1833817
IDBENCH=70949
IDSOLVER=671
FILE ID=node78/1833817-1242825315
PBS_JOBID= 9322520
Free space on /tmp= 126652 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= BIN/runsolver --timestamp -w /tmp/evaluation-result-1833817-1242825315/watcher-1833817-1242825315 -o /tmp/evaluation-result-1833817-1242825315/solver-1833817-1242825315 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1833817-1242825315.cnf
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 94aa7bdbcbe99c5b3082c395dc2384e9
RANDOM SEED=1847666623
node78.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.243
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5914.62
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.243
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5586.94
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055912 kB
MemFree: 1961184 kB
Buffers: 15004 kB
Cached: 43708 kB
SwapCached: 7452 kB
Active: 28968 kB
Inactive: 38552 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055912 kB
LowFree: 1961184 kB
SwapTotal: 4192956 kB
SwapFree: 4178800 kB
Dirty: 4544 kB
Writeback: 0 kB
Mapped: 14084 kB
Slab: 13048 kB
Committed_AS: 849584 kB
PageTables: 1432 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264960 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 126652 MiB
End job on node78 at 2009-05-20 15:24:35