0.00/0.00 c Parsing...
0.00/0.05 c ==============================================================================
0.00/0.05 c | | ORIGINAL | LEARNT | |
0.00/0.05 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress |
0.00/0.05 c ==============================================================================
0.00/0.05 c | 0 | 111739 224743 | 33521 0 0 nan | 0.000 % |
0.00/0.50 c | 0 | 110364 369987 | -- 0 -- -- | -- | -1375/145244
0.00/0.50 c ==============================================================================
0.00/0.50 c Result : #vars: 1320 #clauses: 110364 #literals: 369987
0.00/0.50 c CPU time: 0.490925 s
0.00/0.50 c ==============================================================================
0.00/0.61 c This is MiniSat 2.0 beta
0.00/0.61 c WARNING: for repeatability, setting FPU to use double precision
0.00/0.61 c ============================[ Problem Statistics ]=============================
0.00/0.61 c | |
0.00/0.61 c | Number of variables: 1320 |
0.00/0.61 c | Number of clauses: 110364 |
0.00/0.67 c | Parsing time: 0.05 s |
0.00/0.67 c ============================[ Search Statistics ]==============================
0.00/0.67 c | Conflicts | ORIGINAL | LEARNT | Progress |
0.00/0.67 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
0.00/0.67 c ===============================================================================
0.00/0.67 c | 0 | 1320 110364 369987 | 36788 0 nan | 0.000 % |
0.00/0.70 c | 100 | 1320 110364 369987 | 36788 100 139 | 0.000 % |
0.60/0.71 c | 200 | 1320 110364 369987 | 36788 200 119 | 0.000 % |
0.60/0.73 c | 302 | 1320 110364 369987 | 36788 302 109 | 0.000 % |
0.60/0.74 c | 414 | 1320 110364 369987 | 36788 414 101 | 0.009 % |
0.60/0.76 c | 516 | 1320 110364 369987 | 36788 516 98 | 0.000 % |
0.60/0.78 c | 627 | 1320 110364 369987 | 36788 627 107 | 0.000 % |
0.60/0.80 c | 749 | 1320 110364 369987 | 36788 749 109 | 0.000 % |
0.60/0.81 c | 849 | 1320 110364 369987 | 36788 849 108 | 0.000 % |
0.60/0.82 c | 959 | 1320 110364 369987 | 36788 959 105 | 0.011 % |
0.60/0.84 c | 1080 | 1320 110364 369987 | 36788 1080 104 | 0.010 % |
0.60/0.86 c | 1213 | 1320 110364 369987 | 36788 1213 105 | 0.000 % |
0.60/0.88 c | 1314 | 1320 110364 369987 | 36788 1314 103 | 0.009 % |
0.60/0.89 c | 1425 | 1320 110364 369987 | 36788 1425 101 | 0.009 % |
0.60/0.91 c | 1546 | 1320 110364 369987 | 36788 1546 99 | 0.009 % |
0.60/0.93 c | 1679 | 1320 110364 369987 | 36788 1679 101 | 0.000 % |
0.60/0.96 c | 1825 | 1320 110364 369987 | 36788 1825 100 | 0.009 % |
0.60/0.97 c | 1925 | 1320 110364 369987 | 36788 1925 100 | 0.000 % |
0.60/0.99 c | 2037 | 1320 110364 369987 | 36788 2037 101 | 0.000 % |
0.98/1.01 c | 2158 | 1320 110364 369987 | 36788 2158 103 | 0.000 % |
0.98/1.03 c | 2293 | 1320 110364 369987 | 36788 2293 103 | 0.000 % |
0.98/1.05 c | 2441 | 1320 110364 369987 | 36788 2441 102 | 0.009 % |
0.98/1.07 c | 2601 | 1320 110364 369987 | 36788 2601 101 | 0.009 % |
0.98/1.09 c | 2701 | 1320 110364 369987 | 36788 2701 100 | 0.009 % |
1.08/1.10 c | 2811 | 1320 110364 369987 | 36788 2811 100 | 0.000 % |
1.08/1.12 c | 2933 | 1320 110364 369987 | 36788 2933 98 | 0.011 % |
1.08/1.14 c | 3067 | 1320 110364 369987 | 36788 3067 97 | 0.008 % |
1.08/1.16 c | 3213 | 1320 110364 369987 | 36788 3213 98 | 0.000 % |
1.08/1.19 c | 3375 | 1320 110364 369987 | 36788 3375 97 | 0.000 % |
1.17/1.21 c | 3552 | 1320 110364 369987 | 36788 3552 96 | 0.010 % |
1.17/1.23 c | 3653 | 1320 110364 369987 | 36788 3653 99 | 0.000 % |
1.17/1.25 c | 3766 | 1320 110364 369987 | 36788 3766 99 | 0.008 % |
1.17/1.27 c | 3889 | 1320 110364 369987 | 36788 3889 99 | 0.000 % |
1.17/1.29 c | 4022 | 1320 110364 369987 | 36788 4022 99 | 0.000 % |
1.27/1.31 c | 4168 | 1320 110364 369987 | 36788 4168 100 | 0.000 % |
1.27/1.33 c | 4328 | 1320 110364 369987 | 36788 4328 100 | 0.000 % |
1.27/1.36 c | 4504 | 1320 110364 369987 | 36788 4504 99 | 0.011 % |
1.37/1.40 c | 4697 | 1320 110364 369987 | 36788 4697 101 | 0.000 % |
1.37/1.42 c | 4799 | 1320 110364 369987 | 36788 4799 102 | 0.000 % |
1.37/1.43 c | 4911 | 1320 110364 369987 | 36788 4911 102 | 0.000 % |
1.37/1.45 c | 5032 | 1320 110364 369987 | 36788 5032 102 | 0.009 % |
1.37/1.48 c | 5166 | 1320 110364 369987 | 36788 5166 103 | 0.000 % |
1.47/1.50 c | 5312 | 1320 110364 369987 | 36788 5312 104 | 0.000 % |
1.47/1.53 c | 5472 | 1320 110364 369987 | 36788 5472 103 | 0.000 % |
1.47/1.55 c | 5648 | 1320 110364 369987 | 36788 5648 102 | 0.009 % |
1.47/1.58 c | 5841 | 1320 110364 369987 | 36788 5841 101 | 0.010 % |
1.57/1.62 c | 6058 | 1320 110364 369987 | 36788 6058 100 | 0.009 % |
1.57/1.64 c | 6160 | 1320 110364 369987 | 36788 6160 101 | 0.000 % |
1.57/1.66 c | 6270 | 1320 110364 369987 | 36788 6270 101 | 0.000 % |
1.57/1.69 c | 6392 | 1320 110364 369987 | 36788 6392 101 | 0.000 % |
1.67/1.71 c | 6527 | 1320 110364 369987 | 36788 6527 100 | 0.009 % |
1.67/1.73 c | 6673 | 1320 110364 369987 | 36788 6673 101 | 0.000 % |
1.67/1.76 c | 6834 | 1320 110364 369987 | 36788 6834 101 | 0.000 % |
1.67/1.79 c | 7011 | 1320 110364 369987 | 36788 7011 100 | 0.000 % |
1.77/1.83 c | 7205 | 1320 110364 369987 | 36788 7205 101 | 0.000 % |
1.77/1.87 c | 7418 | 1320 110364 369987 | 36788 7418 100 | 0.011 % |
1.87/1.91 c | 7653 | 1320 110364 369987 | 36788 7653 99 | 0.010 % |
1.87/1.92 c | 7755 | 1320 110364 369987 | 36788 7755 99 | 0.010 % |
1.87/1.94 c | 7865 | 1320 110364 369987 | 36788 7865 98 | 0.009 % |
1.87/1.96 c | 7986 | 1320 110364 369987 | 36788 7986 98 | 0.000 % |
1.87/1.99 c | 8119 | 1320 110364 369987 | 36788 8119 97 | 0.000 % |
1.97/2.02 c | 8265 | 1320 110364 369987 | 36788 8265 97 | 0.000 % |
1.97/2.04 c | 8425 | 1320 110364 369987 | 36788 8425 96 | 0.012 % |
1.97/2.07 c | 8601 | 1320 110364 369987 | 36788 8601 96 | 0.012 % |
2.07/2.10 c | 8797 | 1320 110364 369987 | 36788 8797 96 | 0.000 % |
2.07/2.14 c | 9009 | 1320 110364 369987 | 36788 9009 95 | 0.011 % |
2.07/2.19 c | 9242 | 1320 110364 369987 | 36788 9242 96 | 0.000 % |
2.17/2.23 c | 9498 | 1320 110364 369987 | 36788 9498 96 | 0.009 % |
2.17/2.25 c | 9598 | 1320 110364 369987 | 36788 9598 96 | 0.011 % |
2.17/2.27 c | 9708 | 1320 110364 369987 | 36788 9708 96 | 0.000 % |
2.17/2.29 c | 9829 | 1320 110364 369987 | 36788 9829 97 | 0.000 % |
2.27/2.31 c | 9965 | 1320 110364 369987 | 36788 9965 97 | 0.000 % |
2.27/2.34 c | 10113 | 1320 110364 369987 | 2147483647 10113 98 | 0.000 % |
2.27/2.37 c | 10274 | 1320 110364 369987 | 2147483647 10274 98 | 0.009 % |
2.37/2.40 c | 10450 | 1320 110364 369987 | 2147483647 10450 97 | 0.009 % |
2.37/2.44 c | 10644 | 1320 110364 369987 | 2147483647 10644 97 | 0.009 % |
2.37/2.48 c | 10857 | 1320 110364 369987 | 2147483647 10857 96 | 0.008 % |
2.46/2.52 c | 11090 | 1320 110364 369987 | 2147483647 11090 96 | 0.009 % |
2.46/2.58 c | 11348 | 1320 110364 369987 | 2147483647 11348 97 | 0.000 % |
2.56/2.64 c | 11629 | 1320 110364 369987 | 2147483647 11629 97 | 0.000 % |
2.56/2.66 c | 11729 | 1320 110364 369987 | 2147483647 11729 97 | 0.012 % |
2.56/2.68 c | 11839 | 1320 110364 369987 | 2147483647 11839 97 | 0.011 % |
2.66/2.71 c | 11961 | 1320 110364 369987 | 2147483647 11961 97 | 0.009 % |
2.66/2.73 c | 12095 | 1320 110364 369987 | 2147483647 12095 97 | 0.000 % |
2.66/2.77 c | 12242 | 1320 110364 369987 | 2147483647 12242 97 | 0.000 % |
2.76/2.80 c | 12403 | 1320 110364 369987 | 2147483647 12403 97 | 0.010 % |
2.76/2.84 c | 12579 | 1320 110364 369987 | 2147483647 12579 96 | 0.000 % |
2.76/2.89 c | 12772 | 1320 110364 369987 | 2147483647 12772 97 | 0.000 % |
2.86/2.94 c | 12987 | 1320 110364 369987 | 2147483647 12987 97 | 0.000 % |
2.86/2.99 c | 13220 | 1320 110364 369987 | 2147483647 13220 97 | 0.010 % |
2.96/3.04 c | 13477 | 1320 110364 369987 | 2147483647 13477 97 | 0.000 % |
3.06/3.10 c | 13758 | 1320 110364 369987 | 2147483647 13758 96 | 0.010 % |
3.06/3.17 c | 14067 | 1320 110364 369987 | 2147483647 14067 96 | 0.000 % |
3.06/3.19 c | 14167 | 1320 110364 369987 | 2147483647 14167 96 | 0.000 % |
3.16/3.22 c | 14277 | 1320 110364 369987 | 2147483647 14277 96 | 0.000 % |
3.16/3.25 c | 14400 | 1320 110364 369987 | 2147483647 14400 96 | 0.000 % |
3.16/3.27 c | 14534 | 1320 110364 369987 | 2147483647 14534 96 | 0.000 % |
3.27/3.31 c | 14681 | 1320 110364 369987 | 2147483647 14681 97 | 0.000 % |
3.27/3.34 c | 14841 | 1320 110364 369987 | 2147483647 14841 97 | 0.000 % |
3.27/3.38 c | 15018 | 1320 110364 369987 | 2147483647 15018 97 | 0.000 % |
3.37/3.43 c | 15212 | 1320 110364 369987 | 2147483647 15212 98 | 0.000 % |
3.37/3.48 c | 15424 | 1320 110364 369987 | 2147483647 15424 98 | 0.000 % |
3.47/3.53 c | 15657 | 1320 110364 369987 | 2147483647 15657 98 | 0.000 % |
3.57/3.60 c | 15913 | 1320 110364 369987 | 2147483647 15913 99 | 0.000 % |
3.57/3.66 c | 16194 | 1320 110364 369987 | 2147483647 16194 98 | 0.010 % |
3.67/3.72 c | 16503 | 1320 110364 369987 | 2147483647 16503 98 | 0.010 % |
3.77/3.81 c | 16843 | 1320 110364 369987 | 2147483647 16843 98 | 0.000 % |
3.77/3.83 c | 16943 | 1320 110364 369987 | 2147483647 16943 98 | 0.010 % |
3.77/3.86 c | 17053 | 1320 110364 369987 | 2147483647 17053 98 | 0.009 % |
3.77/3.89 c | 17175 | 1320 110364 369987 | 2147483647 17175 98 | 0.000 % |
3.87/3.93 c | 17308 | 1320 110364 369987 | 2147483647 17308 98 | 0.000 % |
3.87/3.96 c | 17454 | 1320 110364 369987 | 2147483647 17454 98 | 0.009 % |
3.87/3.99 c | 17614 | 1320 110364 369987 | 2147483647 17614 98 | 0.000 % |
3.97/4.03 c | 17792 | 1320 110364 369987 | 2147483647 17792 98 | 0.000 % |
3.97/4.07 c | 17985 | 1320 110364 369987 | 2147483647 17985 98 | 0.010 % |
4.07/4.12 c | 18200 | 1320 110364 369987 | 2147483647 18200 98 | 0.000 % |
4.07/4.18 c | 18436 | 1320 110364 369987 | 2147483647 18436 98 | 0.000 % |
4.17/4.24 c | 18695 | 1320 110364 369987 | 2147483647 18695 97 | 0.008 % |
4.27/4.32 c | 18976 | 1320 110364 369987 | 2147483647 18976 97 | 0.009 % |
4.37/4.40 c | 19285 | 1320 110364 369987 | 2147483647 19285 97 | 0.010 % |
4.37/4.49 c | 19624 | 1320 110364 369987 | 2147483647 19624 96 | 0.009 % |
4.46/4.58 c | 19998 | 1320 110364 369987 | 2147483647 19998 96 | 0.009 % |
4.56/4.61 c | 20098 | 1320 110364 369987 | 2147483647 20098 96 | 0.000 % |
4.56/4.64 c | 20208 | 1320 110364 369987 | 2147483647 20208 96 | 0.000 % |
4.56/4.67 c | 20330 | 1320 110364 369987 | 2147483647 20330 96 | 0.010 % |
4.66/4.70 c | 20466 | 1320 110364 369987 | 2147483647 20466 96 | 0.010 % |
4.66/4.74 c | 20613 | 1320 110364 369987 | 2147483647 20613 96 | 0.000 % |
4.66/4.78 c | 20774 | 1320 110364 369987 | 2147483647 20774 96 | 0.000 % |
4.76/4.81 c | 20950 | 1320 110364 369987 | 2147483647 20950 96 | 0.000 % |
4.76/4.86 c | 21143 | 1320 110364 369987 | 2147483647 21143 96 | 0.009 % |
4.86/4.91 c | 21356 | 1320 110364 369987 | 2147483647 21356 96 | 0.009 % |
4.86/4.97 c | 21590 | 1320 110364 369987 | 2147483647 21590 95 | 0.009 % |
4.96/5.04 c | 21847 | 1320 110364 369987 | 2147483647 21847 96 | 0.000 % |
5.06/5.12 c | 22128 | 1320 110364 369987 | 2147483647 22128 96 | 0.000 % |
5.16/5.21 c | 22437 | 1320 110364 369987 | 2147483647 22437 96 | 0.009 % |
5.26/5.31 c | 22776 | 1320 110364 369987 | 2147483647 22776 96 | 0.009 % |
5.37/5.42 c | 23148 | 1320 110364 369987 | 2147483647 23148 95 | 0.009 % |
5.47/5.54 c | 23559 | 1320 110364 369987 | 2147483647 23559 95 | 0.000 % |
5.47/5.58 c | 23660 | 1320 110364 369987 | 2147483647 23660 95 | 0.000 % |
5.56/5.61 c | 23774 | 1320 110364 369987 | 2147483647 23774 95 | 0.000 % |
5.56/5.64 c | 23895 | 1320 110364 369987 | 2147483647 23895 95 | 0.000 % |
5.56/5.67 c | 24028 | 1320 110364 369987 | 2147483647 24028 95 | 0.009 % |
5.66/5.71 c | 24174 | 1320 110364 369987 | 2147483647 24174 95 | 0.000 % |
5.66/5.76 c | 24334 | 1320 110364 369987 | 2147483647 24334 95 | 0.009 % |
5.76/5.81 c | 24510 | 1320 110364 369987 | 2147483647 24510 95 | 0.009 % |
5.76/5.85 c | 24703 | 1320 110364 369987 | 2147483647 24703 96 | 0.000 % |
5.86/5.91 c | 24915 | 1320 110364 369987 | 2147483647 24915 95 | 0.011 % |
5.86/5.97 c | 25149 | 1320 110364 369987 | 2147483647 25149 95 | 0.008 % |
5.96/6.03 c | 25405 | 1320 110364 369987 | 2147483647 25405 95 | 0.008 % |
6.07/6.11 c | 25688 | 1320 110364 369987 | 2147483647 25688 95 | 0.000 % |
6.07/6.18 c | 25997 | 1320 110364 369987 | 2147483647 25997 95 | 0.000 % |
6.16/6.26 c | 26336 | 1320 110364 369987 | 2147483647 26336 95 | 0.000 % |
6.26/6.36 c | 26708 | 1320 110364 369987 | 2147483647 26708 95 | 0.010 % |
6.36/6.47 c | 27118 | 1320 110364 369987 | 2147483647 27118 95 | 0.011 % |
6.56/6.61 c | 27567 | 1320 110364 369987 | 2147483647 27567 95 | 0.000 % |
6.56/6.65 c | 27667 | 1320 110364 369987 | 2147483647 27667 95 | 0.000 % |
6.56/6.68 c | 27777 | 1320 110364 369987 | 2147483647 27777 95 | 0.000 % |
6.66/6.71 c | 27898 | 1320 110364 369987 | 2147483647 27898 95 | 0.011 % |
6.66/6.76 c | 28031 | 1320 110364 369987 | 2147483647 28031 95 | 0.000 % |
6.76/6.80 c | 28177 | 1320 110364 369987 | 2147483647 28177 95 | 0.000 % |
6.76/6.84 c | 28339 | 1320 110364 369987 | 2147483647 28339 96 | 0.000 % |
6.76/6.90 c | 28515 | 1320 110364 369987 | 2147483647 28515 96 | 0.000 % |
6.86/6.95 c | 28708 | 1320 110364 369987 | 2147483647 28708 96 | 0.000 % |
6.96/7.02 c | 28920 | 1320 110364 369987 | 2147483647 28920 96 | 0.000 % |
6.96/7.09 c | 29154 | 1320 110364 369987 | 2147483647 29154 96 | 0.000 % |
7.06/7.16 c | 29413 | 1320 110364 369987 | 2147483647 29413 96 | 0.000 % |
7.16/7.26 c | 29694 | 1320 110364 369987 | 2147483647 29694 96 | 0.000 % |
7.26/7.35 c | 30004 | 1320 110364 369987 | 2147483647 30004 96 | 0.000 % |
7.36/7.46 c | 30344 | 1320 110364 369987 | 2147483647 30344 97 | 0.000 % |
7.46/7.56 c | 30716 | 1320 110364 369987 | 2147483647 30716 97 | 0.009 % |
7.56/7.67 c | 31127 | 1320 110364 369987 | 2147483647 31127 96 | 0.011 % |
7.75/7.80 c | 31576 | 1320 110364 369987 | 2147483647 31576 96 | 0.010 % |
7.85/7.97 c | 32070 | 1320 110364 369987 | 2147483647 32070 97 | 0.000 % |
7.95/8.01 c | 32174 | 1320 110364 369987 | 2147483647 32174 97 | 0.000 % |
7.95/8.05 c | 32284 | 1320 110364 369987 | 2147483647 32284 97 | 0.000 % |
7.95/8.08 c | 32406 | 1320 110364 369987 | 2147483647 32406 97 | 0.000 % |
8.05/8.12 c | 32541 | 1320 110364 369987 | 2147483647 32541 98 | 0.000 % |
8.05/8.18 c | 32687 | 1320 110364 369987 | 2147483647 32687 98 | 0.000 % |
8.15/8.22 c | 32847 | 1320 110364 369987 | 2147483647 32847 98 | 0.010 % |
8.15/8.27 c | 33023 | 1320 110364 369987 | 2147483647 33023 98 | 0.000 % |
8.25/8.34 c | 33217 | 1320 110364 369987 | 2147483647 33217 98 | 0.000 % |
8.35/8.43 c | 33429 | 1320 110364 369987 | 2147483647 33429 98 | 0.000 % |
8.46/8.51 c | 33662 | 1320 110364 369987 | 2147483647 33662 98 | 0.000 % |
8.46/8.59 c | 33918 | 1320 110364 369987 | 2147483647 33918 98 | 0.008 % |
8.56/8.69 c | 34200 | 1320 110364 369987 | 2147483647 34200 98 | 0.010 % |
8.66/8.79 c | 34512 | 1320 110364 369987 | 2147483647 34512 98 | 0.000 % |
8.86/8.90 c | 34853 | 1320 110364 369987 | 2147483647 34853 98 | 0.000 % |
8.96/9.04 c | 35225 | 1320 110364 369987 | 2147483647 35225 98 | 0.000 % |
9.06/9.19 c | 35634 | 1320 110364 369987 | 2147483647 35634 98 | 0.009 % |
9.26/9.34 c | 36086 | 1320 110364 369987 | 2147483647 36086 98 | 0.010 % |
9.46/9.53 c | 36580 | 1320 110364 369987 | 2147483647 36580 98 | 0.000 % |
9.66/9.72 c | 37122 | 1320 110364 369987 | 2147483647 37122 99 | 0.000 % |
9.66/9.75 c | 37222 | 1320 110364 369987 | 2147483647 37222 99 | 0.000 % |
9.66/9.79 c | 37332 | 1320 110364 369987 | 2147483647 37332 99 | 0.012 % |
9.76/9.84 c | 37453 | 1320 110364 369987 | 2147483647 37453 99 | 0.000 % |
9.76/9.88 c | 37586 | 1320 110364 369987 | 2147483647 37586 99 | 0.010 % |
9.86/9.94 c | 37732 | 1320 110364 369987 | 2147483647 37732 100 | 0.000 % |
9.95/10.00 c | 37893 | 1320 110364 369987 | 2147483647 37893 100 | 0.000 % |
9.95/10.07 c | 38069 | 1320 110364 369987 | 2147483647 38069 100 | 0.000 % |
10.05/10.14 c | 38262 | 1320 110364 369987 | 2147483647 38262 100 | 0.000 % |
10.15/10.22 c | 38474 | 1320 110364 369987 | 2147483647 38474 100 | 0.009 % |
10.15/10.29 c | 38707 | 1320 110364 369987 | 2147483647 38707 100 | 0.009 % |
10.25/10.37 c | 38963 | 1320 110364 369987 | 2147483647 38963 100 | 0.010 % |
10.35/10.47 c | 39245 | 1320 110364 369987 | 2147483647 39245 100 | 0.010 % |
10.45/10.58 c | 39555 | 1320 110364 369987 | 2147483647 39555 100 | 0.010 % |
10.65/10.74 c | 39894 | 1320 110364 369987 | 2147483647 39894 100 | 0.000 % |
10.75/10.89 c | 40266 | 1320 110364 369987 | 2147483647 40266 100 | 0.009 % |
10.95/11.05 c | 40675 | 1320 110364 369987 | 2147483647 40675 100 | 0.008 % |
11.15/11.22 c | 41126 | 1320 110364 369987 | 2147483647 41126 99 | 0.008 % |
11.36/11.42 c | 41620 | 1320 110364 369987 | 2147483647 41620 99 | 0.000 % |
11.55/11.64 c | 42162 | 1320 110364 369987 | 2147483647 42162 99 | 0.009 % |
11.75/11.89 c | 42759 | 1320 110364 369987 | 2147483647 42759 98 | 0.010 % |
11.85/11.93 c | 42859 | 1320 110364 369987 | 2147483647 42859 98 | 0.009 % |
11.85/11.98 c | 42969 | 1320 110364 369987 | 2147483647 42969 98 | 0.010 % |
11.96/12.03 c | 43090 | 1320 110364 369987 | 2147483647 43090 98 | 0.012 % |
11.96/12.09 c | 43228 | 1320 110364 369987 | 2147483647 43228 98 | 0.000 % |
12.06/12.16 c | 43374 | 1320 110364 369987 | 2147483647 43374 98 | 0.000 % |
12.15/12.23 c | 43534 | 1320 110364 369987 | 2147483647 43534 98 | 0.000 % |
12.25/12.31 c | 43712 | 1320 110364 369987 | 2147483647 43712 98 | 0.000 % |
12.25/12.38 c | 43905 | 1320 110364 369987 | 2147483647 43905 98 | 0.000 % |
12.35/12.46 c | 44118 | 1320 110364 369987 | 2147483647 44118 98 | 0.008 % |
12.45/12.54 c | 44353 | 1320 110364 369987 | 2147483647 44353 98 | 0.008 % |
12.55/12.63 c | 44610 | 1320 110364 369987 | 2147483647 44610 98 | 0.010 % |
12.65/12.74 c | 44891 | 1320 110364 369987 | 2147483647 44891 98 | 0.000 % |
12.75/12.85 c | 45200 | 1320 110364 369987 | 2147483647 45200 98 | 0.011 % |
12.85/12.99 c | 45539 | 1320 110364 369987 | 2147483647 45539 98 | 0.000 % |
13.06/13.15 c | 45911 | 1320 110364 369987 | 2147483647 45911 98 | 0.000 % |
13.16/13.29 c | 46321 | 1320 110364 369987 | 2147483647 46321 98 | 0.000 % |
13.35/13.48 c | 46771 | 1320 110364 369987 | 2147483647 46771 98 | 0.009 % |
13.55/13.66 c | 47265 | 1320 110364 369987 | 2147483647 47265 98 | 0.010 % |
13.75/13.86 c | 47809 | 1320 110364 369987 | 2147483647 47809 98 | 0.011 % |
14.05/14.11 c | 48407 | 1320 110364 369987 | 2147483647 48407 97 | 0.009 % |
14.25/14.39 c | 49064 | 1320 110364 369987 | 2147483647 49064 97 | 0.000 % |
14.35/14.45 c | 49165 | 1320 110364 369987 | 2147483647 49165 97 | 0.000 % |
14.35/14.50 c | 49275 | 1320 110364 369987 | 2147483647 49275 97 | 0.000 % |
14.45/14.54 c | 49397 | 1320 110364 369987 | 2147483647 49397 97 | 0.011 % |
14.55/14.60 c | 49530 | 1320 110364 369987 | 2147483647 49530 97 | 0.000 % |
14.55/14.67 c | 49676 | 1320 110364 369987 | 2147483647 49676 97 | 0.000 % |
14.65/14.73 c | 49836 | 1320 110364 369987 | 2147483647 49836 97 | 0.000 % |
14.75/14.80 c | 50012 | 1320 110364 369987 | 2147483647 50012 97 | 0.000 % |
14.75/14.89 c | 50205 | 1320 110364 369987 | 2147483647 50205 97 | 0.000 % |
14.85/14.98 c | 50418 | 1320 110364 369987 | 2147483647 50418 97 | 0.000 % |
14.95/15.08 c | 50652 | 1320 110364 369987 | 2147483647 50652 97 | 0.000 % |
15.15/15.21 c | 50908 | 1320 110364 369987 | 2147483647 50908 97 | 0.010 % |
15.26/15.35 c | 51189 | 1320 110364 369987 | 2147483647 51189 97 | 0.010 % |
15.45/15.50 c | 51499 | 1320 110364 369987 | 2147483647 51499 97 | 0.010 % |
15.55/15.67 c | 51838 | 1320 110364 369987 | 2147483647 51838 97 | 0.010 % |
15.75/15.82 c | 52210 | 1320 110364 369987 | 2147483647 52210 97 | 0.000 % |
15.85/15.99 c | 52621 | 1320 110364 369987 | 2147483647 52621 97 | 0.010 % |
16.15/16.21 c | 53071 | 1320 110364 369987 | 2147483647 53071 97 | 0.010 % |
16.35/16.46 c | 53564 | 1320 110364 369987 | 2147483647 53564 97 | 0.000 % |
16.74/16.81 c | 54108 | 1320 110364 369987 | 2147483647 54108 98 | 0.000 % |
16.94/17.05 c | 54705 | 1320 110364 369987 | 2147483647 54705 98 | 0.000 % |
17.24/17.33 c | 55361 | 1320 110364 369987 | 2147483647 55361 98 | 0.000 % |
17.55/17.65 c | 56082 | 1320 110364 369987 | 2147483647 56082 98 | 0.009 % |
17.64/17.71 c | 56182 | 1320 110364 369987 | 2147483647 56182 98 | 0.000 % |
17.64/17.76 c | 56293 | 1320 110364 369987 | 2147483647 56293 98 | 0.000 % |
17.74/17.82 c | 56414 | 1320 110364 369987 | 2147483647 56414 98 | 0.000 % |
17.84/17.90 c | 56549 | 1320 110364 369987 | 2147483647 56549 98 | 0.011 % |
17.84/17.98 c | 56695 | 1320 110364 369987 | 2147483647 56695 98 | 0.000 % |
17.94/18.06 c | 56856 | 1320 110364 369987 | 2147483647 56856 98 | 0.000 % |
18.04/18.15 c | 57032 | 1320 110364 369987 | 2147483647 57032 98 | 0.000 % |
18.14/18.26 c | 57226 | 1320 110364 369987 | 2147483647 57226 98 | 0.000 % |
18.24/18.34 c | 57438 | 1320 110364 369987 | 2147483647 57438 98 | 0.000 % |
18.34/18.46 c | 57672 | 1320 110364 369987 | 2147483647 57672 98 | 0.010 % |
18.44/18.58 c | 57929 | 1320 110364 369987 | 2147483647 57929 98 | 0.009 % |
18.55/18.69 c | 58210 | 1320 110364 369987 | 2147483647 58210 98 | 0.010 % |
18.74/18.85 c | 58522 | 1320 110364 369987 | 2147483647 58522 97 | 0.010 % |
18.94/19.03 c | 58862 | 1320 110364 369987 | 2147483647 58862 98 | 0.000 % |
19.14/19.22 c | 59234 | 1320 110364 369987 | 2147483647 59234 98 | 0.000 % |
19.24/19.37 c | 59643 | 1320 110364 369987 | 2147483647 59643 98 | 0.000 % |
19.45/19.59 c | 60092 | 1320 110364 369987 | 2147483647 60092 98 | 0.009 % |
19.75/19.88 c | 60585 | 1320 110364 369987 | 2147483647 60585 98 | 0.000 % |
20.04/20.15 c | 61127 | 1320 110364 369987 | 2147483647 61127 99 | 0.000 % |
20.34/20.44 c | 61725 | 1320 110364 369987 | 2147483647 61725 99 | 0.000 % |
20.64/20.76 c | 62381 | 1320 110364 369987 | 2147483647 62381 99 | 0.000 % |
21.04/21.10 c | 63103 | 1320 110364 369987 | 2147483647 63103 99 | 0.000 % |
21.44/21.52 c | 63896 | 1320 110364 369987 | 2147483647 63896 99 | 0.000 % |
21.44/21.57 c | 63997 | 1320 110364 369987 | 2147483647 63997 99 | 0.008 % |
21.54/21.64 c | 64107 | 1320 110364 369987 | 2147483647 64107 99 | 0.000 % |
21.64/21.70 c | 64228 | 1320 110364 369987 | 2147483647 64228 99 | 0.011 % |
21.64/21.78 c | 64362 | 1320 110364 369987 | 2147483647 64362 99 | 0.009 % |
21.74/21.86 c | 64510 | 1320 110364 369987 | 2147483647 64510 99 | 0.009 % |
21.84/21.95 c | 64670 | 1320 110364 369987 | 2147483647 64670 99 | 0.000 % |
21.94/22.05 c | 64847 | 1320 110364 369987 | 2147483647 64847 99 | 0.000 % |
22.04/22.15 c | 65041 | 1320 110364 369987 | 2147483647 65041 99 | 0.000 % |
22.13/22.27 c | 65253 | 1320 110364 369987 | 2147483647 65253 99 | 0.000 % |
22.23/22.40 c | 65487 | 1320 110364 369987 | 2147483647 65487 99 | 0.000 % |
22.43/22.52 c | 65743 | 1320 110364 369987 | 2147483647 65743 99 | 0.000 % |
22.53/22.69 c | 66024 | 1320 110364 369987 | 2147483647 66024 99 | 0.000 % |
22.74/22.88 c | 66335 | 1320 110364 369987 | 2147483647 66335 99 | 0.000 % |
22.94/23.05 c | 66674 | 1320 110364 369987 | 2147483647 66674 100 | 0.010 % |
23.14/23.23 c | 67046 | 1320 110364 369987 | 2147483647 67046 100 | 0.011 % |
23.34/23.45 c | 67455 | 1320 110364 369987 | 2147483647 67455 100 | 0.000 % |
23.64/23.72 c | 67906 | 1320 110364 369987 | 2147483647 67906 100 | 0.000 % |
23.94/24.03 c | 68399 | 1320 110364 369987 | 2147483647 68399 100 | 0.000 % |
24.24/24.36 c | 68941 | 1320 110364 369987 | 2147483647 68941 100 | 0.009 % |
24.54/24.68 c | 69537 | 1320 110364 369987 | 2147483647 69537 100 | 0.009 % |
25.03/25.12 c | 70192 | 1320 110364 369987 | 2147483647 70192 100 | 0.000 % |
25.43/25.53 c | 70912 | 1320 110364 369987 | 2147483647 70912 100 | 0.009 % |
25.83/25.90 c | 71704 | 1320 110364 369987 | 2147483647 71704 100 | 0.010 % |
26.23/26.34 c | 72576 | 1320 110364 369987 | 2147483647 72576 99 | 0.009 % |
26.34/26.41 c | 72676 | 1320 110364 369987 | 2147483647 72676 99 | 0.000 % |
26.34/26.49 c | 72786 | 1320 110364 369987 | 2147483647 72786 99 | 0.000 % |
26.44/26.56 c | 72907 | 1320 110364 369987 | 2147483647 72907 99 | 0.009 % |
26.54/26.63 c | 73041 | 1320 110364 369987 | 2147483647 73041 99 | 0.000 % |
26.64/26.73 c | 73187 | 1320 110364 369987 | 2147483647 73187 100 | 0.000 % |
26.74/26.83 c | 73347 | 1320 110364 369987 | 2147483647 73347 100 | 0.000 % |
26.84/26.96 c | 73523 | 1320 110364 369987 | 2147483647 73523 99 | 0.010 % |
26.94/27.06 c | 73716 | 1320 110364 369987 | 2147483647 73716 100 | 0.000 % |
27.14/27.21 c | 73928 | 1320 110364 369987 | 2147483647 73928 100 | 0.009 % |
27.24/27.36 c | 74163 | 1320 110364 369987 | 2147483647 74163 100 | 0.000 % |
27.44/27.53 c | 74420 | 1320 110364 369987 | 2147483647 74420 100 | 0.011 % |
27.54/27.67 c | 74702 | 1320 110364 369987 | 2147483647 74702 100 | 0.010 % |
27.74/27.84 c | 75014 | 1320 110364 369987 | 2147483647 75014 99 | 0.011 % |
27.93/28.08 c | 75353 | 1320 110364 369987 | 2147483647 75353 100 | 0.000 % |
28.23/28.34 c | 75726 | 1320 110364 369987 | 2147483647 75726 100 | 0.000 % |
28.44/28.60 c | 76135 | 1320 110364 369987 | 2147483647 76135 100 | 0.000 % |
28.73/28.83 c | 76585 | 1320 110364 369987 | 2147483647 76585 100 | 0.010 % |
29.03/29.15 c | 77078 | 1320 110364 369987 | 2147483647 77078 100 | 0.000 % |
29.33/29.49 c | 77620 | 1320 110364 369987 | 2147483647 77620 101 | 0.000 % |
29.73/29.81 c | 78217 | 1320 110364 369987 | 2147483647 78217 101 | 0.000 % |
30.13/30.21 c | 78872 | 1320 110364 369987 | 2147483647 78872 101 | 0.008 % |
30.43/30.57 c | 79593 | 1320 110364 369987 | 2147483647 79593 101 | 0.008 % |
31.03/31.12 c | 80385 | 1320 110364 369987 | 2147483647 80385 102 | 0.000 % |
31.53/31.64 c | 81256 | 1320 110364 369987 | 2147483647 81256 102 | 0.000 % |
32.23/32.34 c | 82215 | 1320 110364 369987 | 2147483647 82215 102 | 0.000 % |
32.33/32.41 c | 82318 | 1320 110364 369987 | 2147483647 82318 102 | 0.000 % |
32.43/32.51 c | 82429 | 1320 110364 369987 | 2147483647 82429 102 | 0.010 % |
32.43/32.58 c | 82550 | 1320 110364 369987 | 2147483647 82550 102 | 0.000 % |
32.53/32.69 c | 82683 | 1320 110364 369987 | 2147483647 82683 102 | 0.000 % |
32.73/32.81 c | 82830 | 1320 110364 369987 | 2147483647 82830 102 | 0.011 % |
32.83/32.90 c | 82990 | 1320 110364 369987 | 2147483647 82990 102 | 0.010 % |
32.93/33.03 c | 83167 | 1320 110364 369987 | 2147483647 83167 102 | 0.000 % |
33.03/33.13 c | 83360 | 1320 110364 369987 | 2147483647 83360 102 | 0.009 % |
33.13/33.28 c | 83572 | 1320 110364 369987 | 2147483647 83572 102 | 0.000 % |
33.33/33.48 c | 83805 | 1320 110364 369987 | 2147483647 83805 102 | 0.000 % |
33.53/33.67 c | 84061 | 1320 110364 369987 | 2147483647 84061 102 | 0.010 % |
33.73/33.88 c | 84343 | 1320 110364 369987 | 2147483647 84343 102 | 0.000 % |
33.93/34.10 c | 84652 | 1320 110364 369987 | 2147483647 84652 103 | 0.010 % |
34.22/34.32 c | 84991 | 1320 110364 369987 | 2147483647 84991 103 | 0.000 % |
34.52/34.62 c | 85363 | 1320 110364 369987 | 2147483647 85363 103 | 0.009 % |
34.82/34.91 c | 85775 | 1320 110364 369987 | 2147483647 85775 102 | 0.010 % |
35.12/35.21 c | 86224 | 1320 110364 369987 | 2147483647 86224 102 | 0.010 % |
35.42/35.55 c | 86717 | 1320 110364 369987 | 2147483647 86717 102 | 0.009 % |
35.83/35.92 c | 87259 | 1320 110364 369987 | 2147483647 87259 102 | 0.009 % |
36.23/36.36 c | 87855 | 1320 110364 369987 | 2147483647 87855 102 | 0.010 % |
36.62/36.79 c | 88511 | 1320 110364 369987 | 2147483647 88511 102 | 0.010 % |
37.32/37.41 c | 89231 | 1320 110364 369987 | 2147483647 89231 102 | 0.000 % |
37.92/38.05 c | 90025 | 1320 110364 369987 | 2147483647 90025 102 | 0.010 % |
38.72/38.89 c | 90898 | 1320 110364 369987 | 2147483647 90898 103 | 0.000 % |
39.42/39.59 c | 91856 | 1320 110364 369987 | 2147483647 91856 103 | 0.000 % |
40.21/40.35 c | 92911 | 1320 110364 369987 | 2147483647 92911 103 | 0.000 % |
40.31/40.43 c | 93011 | 1320 110364 369987 | 2147483647 93011 103 | 0.010 % |
40.41/40.56 c | 93124 | 1320 110364 369987 | 2147483647 93124 103 | 0.000 % |
40.52/40.65 c | 93245 | 1320 110364 369987 | 2147483647 93245 103 | 0.000 % |
40.62/40.73 c | 93378 | 1320 110364 369987 | 2147483647 93378 103 | 0.000 % |
40.71/40.84 c | 93524 | 1320 110364 369987 | 2147483647 93524 103 | 0.010 % |
40.91/41.01 c | 93686 | 1320 110364 369987 | 2147483647 93686 103 | 0.000 % |
41.01/41.14 c | 93862 | 1320 110364 369987 | 2147483647 93862 103 | 0.008 % |
41.21/41.33 c | 94056 | 1320 110364 369987 | 2147483647 94056 103 | 0.000 % |
41.41/41.52 c | 94270 | 1320 110364 369987 | 2147483647 94270 103 | 0.000 % |
41.52/41.69 c | 94503 | 1320 110364 369987 | 2147483647 94503 103 | 0.000 % |
41.82/41.93 c | 94759 | 1320 110364 369987 | 2147483647 94759 103 | 0.000 % |
42.02/42.13 c | 95043 | 1320 110364 369987 | 2147483647 95043 103 | 0.011 % |
42.22/42.35 c | 95355 | 1320 110364 369987 | 2147483647 95355 103 | 0.000 % |
42.52/42.65 c | 95700 | 1320 110364 369987 | 2147483647 95700 103 | 0.000 % |
42.82/42.99 c | 96072 | 1320 110364 369987 | 2147483647 96072 104 | 0.000 % |
43.22/43.34 c | 96481 | 1320 110364 369987 | 2147483647 96481 104 | 0.000 % |
43.52/43.67 c | 96930 | 1320 110364 369987 | 2147483647 96930 104 | 0.000 % |
43.92/44.00 c | 97423 | 1320 110364 369987 | 2147483647 97423 104 | 0.000 % |
44.41/44.51 c | 97966 | 1320 110364 369987 | 2147483647 97966 104 | 0.000 % |
44.81/44.98 c | 98562 | 1320 110364 369987 | 2147483647 98562 104 | 0.000 % |
45.41/45.58 c | 99217 | 1320 110364 369987 | 2147483647 99217 105 | 0.000 % |
46.02/46.17 c | 99937 | 1320 110364 369987 | 2147483647 99937 104 | 0.000 % |
46.61/46.74 c | 100729 | 1320 110364 369987 | 2147483647 100729 104 | 0.010 % |
47.42/47.53 c | 101601 | 1320 110364 369987 | 2147483647 101601 104 | 0.000 % |
48.12/48.24 c | 102560 | 1320 110364 369987 | 2147483647 102560 104 | 0.011 % |
49.11/49.22 c | 103615 | 1320 110364 369987 | 2147483647 103615 104 | 0.000 % |
50.11/50.22 c | 104773 | 1320 110364 369987 | 2147483647 104773 104 | 0.000 % |
50.21/50.34 c | 104874 | 1320 110364 369987 | 2147483647 104874 104 | 0.000 % |
50.31/50.46 c | 104985 | 1320 110364 369987 | 2147483647 104985 104 | 0.000 % |
50.42/50.57 c | 105107 | 1320 110364 369987 | 2147483647 105107 104 | 0.000 % |
50.52/50.69 c | 105240 | 1320 110364 369987 | 2147483647 105240 104 | 0.011 % |
50.71/50.80 c | 105386 | 1320 110364 369987 | 2147483647 105386 104 | 0.000 % |
50.81/50.91 c | 105546 | 1320 110364 369987 | 2147483647 105546 104 | 0.012 % |
50.91/51.09 c | 105722 | 1320 110364 369987 | 2147483647 105722 104 | 0.000 % |
51.11/51.29 c | 105915 | 1320 110364 369987 | 2147483647 105915 104 | 0.000 % |
51.31/51.49 c | 106129 | 1320 110364 369987 | 2147483647 106129 104 | 0.000 % |
51.52/51.70 c | 106362 | 1320 110364 369987 | 2147483647 106362 104 | 0.000 % |
51.81/51.94 c | 106618 | 1320 110364 369987 | 2147483647 106618 104 | 0.009 % |
52.01/52.16 c | 106900 | 1320 110364 369987 | 2147483647 106900 104 | 0.000 % |
52.31/52.45 c | 107209 | 1320 110364 369987 | 2147483647 107209 104 | 0.000 % |
52.62/52.74 c | 107548 | 1320 110364 369987 | 2147483647 107548 104 | 0.000 % |
53.01/53.14 c | 107920 | 1320 110364 369987 | 2147483647 107920 104 | 0.000 % |
53.41/53.55 c | 108331 | 1320 110364 369987 | 2147483647 108331 104 | 0.000 % |
53.81/53.95 c | 108780 | 1320 110364 369987 | 2147483647 108780 104 | 0.000 % |
54.21/54.33 c | 109273 | 1320 110364 369987 | 2147483647 109273 104 | 0.000 % |
54.71/54.81 c | 109816 | 1320 110364 369987 | 2147483647 109816 104 | 0.000 % |
55.21/55.31 c | 110414 | 1320 110364 369987 | 2147483647 110414 104 | 0.011 % |
55.71/55.85 c | 111070 | 1320 110364 369987 | 2147483647 111070 104 | 0.000 % |
56.41/56.53 c | 111792 | 1320 110364 369987 | 2147483647 111792 104 | 0.000 % |
57.01/57.18 c | 112584 | 1320 110364 369987 | 2147483647 112584 104 | 0.009 % |
58.01/58.18 c | 113455 | 1320 110364 369987 | 2147483647 113455 105 | 0.000 % |
58.91/59.07 c | 114413 | 1320 110364 369987 | 2147483647 114413 105 | 0.000 % |
59.81/59.99 c | 115466 | 1320 110364 369987 | 2147483647 115466 105 | 0.010 % |
60.80/60.96 c | 116624 | 1320 110364 369987 | 2147483647 116624 105 | 0.012 % |
61.80/61.91 c | 117898 | 1320 110364 369987 | 2147483647 117898 104 | 0.000 % |
61.90/62.02 c | 118000 | 1320 110364 369987 | 2147483647 118000 104 | 0.011 % |
62.00/62.16 c | 118110 | 1320 110364 369987 | 2147483647 118110 104 | 0.000 % |
62.10/62.28 c | 118231 | 1320 110364 369987 | 2147483647 118231 104 | 0.010 % |
62.20/62.39 c | 118364 | 1320 110364 369987 | 2147483647 118364 104 | 0.011 % |
62.41/62.55 c | 118512 | 1320 110364 369987 | 2147483647 118512 104 | 0.009 % |
62.61/62.74 c | 118674 | 1320 110364 369987 | 2147483647 118674 105 | 0.000 % |
62.81/62.96 c | 118850 | 1320 110364 369987 | 2147483647 118850 105 | 0.000 % |
63.01/63.15 c | 119046 | 1320 110364 369987 | 2147483647 119046 105 | 0.000 % |
63.31/63.41 c | 119258 | 1320 110364 369987 | 2147483647 119258 105 | 0.000 % |
63.51/63.64 c | 119492 | 1320 110364 369987 | 2147483647 119492 105 | 0.000 % |
63.71/63.85 c | 119748 | 1320 110364 369987 | 2147483647 119748 105 | 0.000 % |
64.00/64.16 c | 120029 | 1320 110364 369987 | 2147483647 120029 105 | 0.000 % |
64.30/64.48 c | 120339 | 1320 110364 369987 | 2147483647 120339 105 | 0.000 % |
64.71/64.81 c | 120678 | 1320 110364 369987 | 2147483647 120678 105 | 0.010 % |
65.00/65.19 c | 121050 | 1320 110364 369987 | 2147483647 121050 105 | 0.010 % |
65.50/65.66 c | 121459 | 1320 110364 369987 | 2147483647 121459 105 | 0.000 % |
66.00/66.12 c | 121908 | 1320 110364 369987 | 2147483647 121908 105 | 0.000 % |
66.50/66.66 c | 122403 | 1320 110364 369987 | 2147483647 122403 105 | 0.000 % |
67.01/67.14 c | 122945 | 1320 110364 369987 | 2147483647 122945 105 | 0.000 % |
67.60/67.74 c | 123541 | 1320 110364 369987 | 2147483647 123541 105 | 0.000 % |
68.30/68.48 c | 124198 | 1320 110364 369987 | 2147483647 124198 105 | 0.000 % |
69.00/69.13 c | 124918 | 1320 110364 369987 | 2147483647 124918 105 | 0.000 % |
69.60/69.76 c | 125710 | 1320 110364 369987 | 2147483647 125710 105 | 0.000 % |
70.40/70.58 c | 126581 | 1320 110364 369987 | 2147483647 126581 105 | 0.009 % |
71.50/71.64 c | 127542 | 1320 110364 369987 | 2147483647 127542 106 | 0.000 % |
72.80/72.91 c | 128595 | 1320 110364 369987 | 2147483647 128595 106 | 0.000 % |
74.30/74.41 c | 129755 | 1320 110364 369987 | 2147483647 129755 106 | 0.000 % |
75.60/75.77 c | 131029 | 1320 110364 369987 | 2147483647 131029 107 | 0.008 % |
77.40/77.57 c | 132429 | 1320 110364 369987 | 2147483647 132429 107 | 0.000 % |
77.50/77.69 c | 132529 | 1320 110364 369987 | 2147483647 132529 107 | 0.000 % |
77.69/77.89 c | 132641 | 1320 110364 369987 | 2147483647 132641 107 | 0.000 % |
77.90/78.01 c | 132762 | 1320 110364 369987 | 2147483647 132762 107 | 0.000 % |
78.00/78.12 c | 132895 | 1320 110364 369987 | 2147483647 132895 107 | 0.000 % |
78.09/78.25 c | 133041 | 1320 110364 369987 | 2147483647 133041 107 | 0.009 % |
78.29/78.47 c | 133203 | 1320 110364 369987 | 2147483647 133203 107 | 0.000 % |
78.49/78.65 c | 133379 | 1320 110364 369987 | 2147483647 133379 107 | 0.000 % |
78.79/78.91 c | 133572 | 1320 110364 369987 | 2147483647 133572 107 | 0.000 % |
79.00/79.17 c | 133784 | 1320 110364 369987 | 2147483647 133784 107 | 0.000 % |
79.19/79.40 c | 134018 | 1320 110364 369987 | 2147483647 134018 107 | 0.000 % |
79.59/79.77 c | 134274 | 1320 110364 369987 | 2147483647 134274 108 | 0.000 % |
79.89/80.06 c | 134557 | 1320 110364 369987 | 2147483647 134557 108 | 0.000 % |
80.29/80.46 c | 134869 | 1320 110364 369987 | 2147483647 134869 108 | 0.000 % |
80.70/80.82 c | 135210 | 1320 110364 369987 | 2147483647 135210 108 | 0.000 % |
81.09/81.22 c | 135583 | 1320 110364 369987 | 2147483647 135583 108 | 0.000 % |
81.49/81.65 c | 135994 | 1320 110364 369987 | 2147483647 135994 108 | 0.000 % |
82.09/82.20 c | 136444 | 1320 110364 369987 | 2147483647 136444 108 | 0.000 % |
82.59/82.71 c | 136937 | 1320 110364 369987 | 2147483647 136937 108 | 0.009 % |
83.09/83.26 c | 137479 | 1320 110364 369987 | 2147483647 137479 108 | 0.010 % |
83.69/83.81 c | 138076 | 1320 110364 369987 | 2147483647 138076 108 | 0.009 % |
84.49/84.66 c | 138733 | 1320 110364 369987 | 2147483647 138733 108 | 0.000 % |
85.39/85.51 c | 139453 | 1320 110364 369987 | 2147483647 139453 108 | 0.000 % |
86.29/86.42 c | 140245 | 1320 110364 369987 | 140000 140245 108 | 0.000 % |
87.49/87.60 c | 141116 | 1320 110364 369987 | 140000 121438 108 | 0.011 % |
88.49/88.67 c | 142074 | 1320 110364 369987 | 140000 122396 108 | 0.000 % |
89.79/89.91 c | 143128 | 1320 110364 369987 | 140000 123450 108 | 0.000 % |
90.99/91.20 c | 144289 | 1320 110364 369987 | 140000 124611 108 | 0.009 % |
92.49/92.65 c | 145562 | 1320 110364 369987 | 140000 125884 108 | 0.009 % |
94.09/94.29 c | 146962 | 1320 110364 369987 | 140000 127284 109 | 0.000 % |
95.78/95.93 c | 148503 | 1320 110364 369987 | 140000 128825 109 | 0.000 % |
95.88/96.06 c | 148604 | 1320 110364 369987 | 140000 128926 109 | 0.000 % |
96.08/96.22 c | 148717 | 1320 110364 369987 | 140000 129039 109 | 0.000 % |
96.28/96.40 c | 148839 | 1320 110364 369987 | 140000 129161 109 | 0.000 % |
96.38/96.57 c | 148972 | 1320 110364 369987 | 140000 129294 109 | 0.000 % |
96.59/96.78 c | 149120 | 1320 110364 369987 | 140000 129442 109 | 0.000 % |
96.78/96.97 c | 149280 | 1320 110364 369987 | 140000 129602 109 | 0.009 % |
96.98/97.17 c | 149456 | 1320 110364 369987 | 140000 129778 109 | 0.010 % |
97.28/97.40 c | 149649 | 1320 110364 369987 | 140000 129971 109 | 0.000 % |
97.48/97.64 c | 149861 | 1320 110364 369987 | 140000 130183 109 | 0.010 % |
97.79/97.94 c | 150095 | 1320 110364 369987 | 130323 130417 109 | 0.010 % |
98.28/98.46 c | 150351 | 1320 110364 369987 | 130323 111976 108 | 0.000 % |
98.58/98.76 c | 150634 | 1320 110364 369987 | 130323 112259 109 | 0.000 % |
98.89/99.07 c | 150943 | 1320 110364 369987 | 130323 112568 109 | 0.000 % |
99.28/99.45 c | 151283 | 1320 110364 369987 | 130323 112908 109 | 0.008 % |
99.68/99.82 c | 151656 | 1320 110364 369987 | 130323 113281 108 | 0.008 % |
99.99/100.16 c | 152065 | 1320 110364 369987 | 130323 113690 108 | 0.009 % |
100.48/100.68 c | 152514 | 1320 110364 369987 | 130323 114139 109 | 0.000 % |
101.18/101.30 c | 153010 | 1320 110364 369987 | 130323 114635 109 | 0.000 % |
101.88/102.07 c | 153554 | 1320 110364 369987 | 130323 115179 109 | 0.000 % |
102.48/102.65 c | 154151 | 1320 110364 369987 | 130323 115776 109 | 0.000 % |
103.08/103.29 c | 154808 | 1320 110364 369987 | 130323 116433 109 | 0.000 % |
103.68/103.89 c | 155528 | 1320 110364 369987 | 130323 117153 109 | 0.000 % |
104.78/104.90 c | 156322 | 1320 110364 369987 | 130323 117947 109 | 0.000 % |
105.67/105.83 c | 157193 | 1320 110364 369987 | 130323 118818 109 | 0.000 % |
106.67/106.82 c | 158152 | 1320 110364 369987 | 130323 119777 109 | 0.010 % |
107.87/108.02 c | 159207 | 1320 110364 369987 | 130323 120832 109 | 0.010 % |
108.87/109.00 c | 160365 | 1320 110364 369987 | 121628 121990 108 | 0.010 % |
110.07/110.20 c | 161638 | 1320 110364 369987 | 121628 108398 108 | 0.010 % |
111.47/111.62 c | 163039 | 1320 110364 369987 | 121628 109799 107 | 0.011 % |
113.47/113.67 c | 164580 | 1320 110364 369987 | 121628 111340 108 | 0.000 % |
115.57/115.73 c | 166274 | 1320 110364 369987 | 121628 113034 109 | 0.000 % |
115.67/115.82 c | 166375 | 1320 110364 369987 | 121628 113135 109 | 0.010 % |
115.77/115.94 c | 166486 | 1320 110364 369987 | 121628 113246 109 | 0.000 % |
115.87/116.07 c | 166609 | 1320 110364 369987 | 121628 113369 108 | 0.011 % |
116.07/116.20 c | 166746 | 1320 110364 369987 | 121628 113506 108 | 0.011 % |
116.17/116.36 c | 166893 | 1320 110364 369987 | 121628 113653 108 | 0.009 % |
116.37/116.50 c | 167053 | 1320 110364 369987 | 121628 113813 108 | 0.000 % |
116.57/116.73 c | 167231 | 1320 110364 369987 | 121628 113991 108 | 0.000 % |
116.77/116.96 c | 167427 | 1320 110364 369987 | 121628 114187 108 | 0.000 % |
117.07/117.22 c | 167639 | 1320 110364 369987 | 121628 114399 108 | 0.000 % |
117.26/117.47 c | 167874 | 1320 110364 369987 | 121628 114634 108 | 0.011 % |
117.57/117.73 c | 168131 | 1320 110364 369987 | 121628 114891 108 | 0.000 % |
117.86/118.05 c | 168412 | 1320 110364 369987 | 121628 115172 108 | 0.000 % |
118.26/118.41 c | 168721 | 1320 110364 369987 | 121628 115481 108 | 0.000 % |
118.67/118.81 c | 169060 | 1320 110364 369987 | 121628 115820 108 | 0.009 % |
119.07/119.22 c | 169434 | 1320 110364 369987 | 121628 116194 108 | 0.000 % |
119.37/119.59 c | 169843 | 1320 110364 369987 | 121628 116603 108 | 0.010 % |
119.97/120.13 c | 170293 | 1320 110364 369987 | 116760 117053 108 | 0.000 % |
120.67/120.83 c | 170786 | 1320 110364 369987 | 116760 102894 107 | 0.008 % |
121.07/121.27 c | 171329 | 1320 110364 369987 | 116760 103437 107 | 0.000 % |
121.67/121.86 c | 171926 | 1320 110364 369987 | 116760 104034 107 | 0.000 % |
122.47/122.62 c | 172581 | 1320 110364 369987 | 116760 104689 107 | 0.010 % |
123.47/123.61 c | 173301 | 1320 110364 369987 | 116760 105409 108 | 0.000 % |
124.37/124.59 c | 174094 | 1320 110364 369987 | 116760 106202 108 | 0.000 % |
125.37/125.54 c | 174965 | 1320 110364 369987 | 116760 107073 108 | 0.000 % |
126.37/126.58 c | 175923 | 1320 110364 369987 | 116760 108031 109 | 0.000 % |
127.47/127.69 c | 176976 | 1320 110364 369987 | 116760 109084 109 | 0.000 % |
128.77/128.93 c | 178134 | 1320 110364 369987 | 116760 110242 109 | 0.010 % |
130.07/130.26 c | 179407 | 1320 110364 369987 | 116760 111515 109 | 0.000 % |
131.67/131.87 c | 180807 | 1320 110364 369987 | 112108 112915 109 | 0.009 % |
133.17/133.36 c | 182347 | 1320 110364 369987 | 112108 100380 108 | 0.000 % |
134.57/134.79 c | 184042 | 1320 110364 369987 | 112108 102075 107 | 0.011 % |
136.76/136.91 c | 185905 | 1320 110364 369987 | 112108 103938 108 | 0.000 % |
136.86/137.03 c | 186007 | 1320 110364 369987 | 112108 104040 108 | 0.000 % |
137.06/137.23 c | 186117 | 1320 110364 369987 | 112108 104150 108 | 0.000 % |
137.16/137.36 c | 186239 | 1320 110364 369987 | 112108 104272 108 | 0.000 % |
137.37/137.50 c | 186372 | 1320 110364 369987 | 112108 104405 108 | 0.009 % |
137.46/137.67 c | 186518 | 1320 110364 369987 | 112108 104551 108 | 0.000 % |
137.66/137.85 c | 186678 | 1320 110364 369987 | 112108 104711 108 | 0.000 % |
137.86/138.06 c | 186854 | 1320 110364 369987 | 112108 104887 108 | 0.000 % |
138.06/138.24 c | 187048 | 1320 110364 369987 | 112108 105081 108 | 0.000 % |
138.26/138.49 c | 187261 | 1320 110364 369987 | 112108 105294 109 | 0.000 % |
138.56/138.78 c | 187497 | 1320 110364 369987 | 112108 105530 109 | 0.000 % |
138.86/139.07 c | 187756 | 1320 110364 369987 | 112108 105789 109 | 0.000 % |
139.26/139.40 c | 188040 | 1320 110364 369987 | 112108 106073 108 | 0.010 % |
139.56/139.78 c | 188349 | 1320 110364 369987 | 112108 106382 109 | 0.000 % |
140.06/140.20 c | 188688 | 1320 110364 369987 | 112108 106721 109 | 0.000 % |
140.46/140.62 c | 189060 | 1320 110364 369987 | 112108 107093 109 | 0.011 % |
140.96/141.10 c | 189471 | 1320 110364 369987 | 112108 107504 109 | 0.000 % |
141.46/141.60 c | 189921 | 1320 110364 369987 | 112108 107954 109 | 0.000 % |
142.06/142.22 c | 190417 | 1320 110364 369987 | 108034 108450 109 | 0.000 % |
142.66/142.87 c | 190959 | 1320 110364 369987 | 108034 95422 108 | 0.008 % |
143.26/143.45 c | 191555 | 1320 110364 369987 | 108034 96018 108 | 0.000 % |
143.86/144.05 c | 192210 | 1320 110364 369987 | 108034 96673 108 | 0.000 % |
144.56/144.73 c | 192931 | 1320 110364 369987 | 108034 97394 109 | 0.000 % |
145.46/145.61 c | 193724 | 1320 110364 369987 | 108034 98187 108 | 0.000 % |
146.36/146.56 c | 194596 | 1320 110364 369987 | 108034 99059 108 | 0.000 % |
147.55/147.78 c | 195556 | 1320 110364 369987 | 108034 100019 108 | 0.000 % |
148.95/149.17 c | 196609 | 1320 110364 369987 | 108034 101072 109 | 0.000 % |
150.15/150.37 c | 197768 | 1320 110364 369987 | 108034 102231 109 | 0.000 % |
151.35/151.54 c | 199044 | 1320 110364 369987 | 108034 103507 109 | 0.000 % |
153.15/153.31 c | 200444 | 1320 110364 369987 | 104463 104907 110 | 0.000 % |
154.95/155.11 c | 201984 | 1320 110364 369987 | 104463 94033 109 | 0.000 % |
156.64/156.83 c | 203679 | 1320 110364 369987 | 104463 95728 109 | 0.000 % |
158.54/158.74 c | 205542 | 1320 110364 369987 | 104463 97591 109 | 0.012 % |
161.14/161.39 c | 207591 | 1320 110364 369987 | 104463 99640 110 | 0.000 % |
161.34/161.58 c | 207691 | 1320 110364 369987 | 104463 99740 110 | 0.000 % |
161.55/161.71 c | 207803 | 1320 110364 369987 | 104463 99852 110 | 0.000 % |
161.64/161.86 c | 207924 | 1320 110364 369987 | 104463 99973 110 | 0.000 % |
161.84/162.05 c | 208057 | 1320 110364 369987 | 104463 100106 111 | 0.000 % |
162.04/162.24 c | 208203 | 1320 110364 369987 | 104463 100252 111 | 0.000 % |
162.14/162.38 c | 208363 | 1320 110364 369987 | 104463 100412 111 | 0.000 % |
162.34/162.60 c | 208539 | 1320 110364 369987 | 104463 100588 111 | 0.000 % |
162.65/162.84 c | 208732 | 1320 110364 369987 | 104463 100781 111 | 0.000 % |
162.84/163.06 c | 208944 | 1320 110364 369987 | 104463 100993 111 | 0.000 % |
163.04/163.28 c | 209178 | 1320 110364 369987 | 104463 101227 111 | 0.000 % |
163.34/163.52 c | 209434 | 1320 110364 369987 | 104463 101483 111 | 0.011 % |
163.64/163.81 c | 209716 | 1320 110364 369987 | 104463 101765 111 | 0.000 % |
163.94/164.15 c | 210026 | 1320 110364 369987 | 102050 102075 111 | 0.011 % |
164.54/164.75 c | 210366 | 1320 110364 369987 | 102050 89757 108 | 0.000 % |
164.94/165.17 c | 210739 | 1320 110364 369987 | 102050 90130 108 | 0.000 % |
165.44/165.68 c | 211149 | 1320 110364 369987 | 102050 90540 108 | 0.000 % |
165.94/166.13 c | 211598 | 1320 110364 369987 | 102050 90989 108 | 0.000 % |
166.54/166.77 c | 212093 | 1320 110364 369987 | 102050 91484 108 | 0.000 % |
167.14/167.36 c | 212636 | 1320 110364 369987 | 102050 92027 108 | 0.000 % |
167.84/168.03 c | 213232 | 1320 110364 369987 | 102050 92623 109 | 0.000 % |
168.44/168.62 c | 213889 | 1320 110364 369987 | 102050 93280 109 | 0.000 % |
169.14/169.32 c | 214609 | 1320 110364 369987 | 102050 94000 109 | 0.000 % |
169.94/170.16 c | 215401 | 1320 110364 369987 | 102050 94792 109 | 0.000 % |
170.84/171.02 c | 216272 | 1320 110364 369987 | 102050 95663 109 | 0.000 % |
171.64/171.82 c | 217231 | 1320 110364 369987 | 102050 96622 109 | 0.000 % |
172.64/172.86 c | 218285 | 1320 110364 369987 | 102050 97676 109 | 0.000 % |
174.04/174.24 c | 219443 | 1320 110364 369987 | 102050 98834 109 | 0.010 % |
175.24/175.49 c | 220716 | 1320 110364 369987 | 99391 100107 109 | 0.000 % |
176.74/176.92 c | 222116 | 1320 110364 369987 | 99391 89467 107 | 0.000 % |
178.63/178.82 c | 223657 | 1320 110364 369987 | 99391 91008 107 | 0.000 % |
180.33/180.58 c | 225353 | 1320 110364 369987 | 99391 92704 107 | 0.000 % |
182.23/182.48 c | 227217 | 1320 110364 369987 | 99391 94568 107 | 0.010 % |
184.23/184.47 c | 229267 | 1320 110364 369987 | 99391 96618 107 | 0.010 % |
186.93/187.14 c | 231525 | 1320 110364 369987 | 97351 84497 106 | 0.000 % |
187.03/187.29 c | 231625 | 1320 110364 369987 | 97351 84597 106 | 0.000 % |
187.23/187.41 c | 231735 | 1320 110364 369987 | 97351 84707 107 | 0.000 % |
187.33/187.53 c | 231857 | 1320 110364 369987 | 97351 84829 107 | 0.000 % |
187.53/187.70 c | 231991 | 1320 110364 369987 | 97351 84963 107 | 0.000 % |
187.63/187.89 c | 232137 | 1320 110364 369987 | 97351 85109 107 | 0.000 % |
187.84/188.08 c | 232297 | 1320 110364 369987 | 97351 85269 107 | 0.000 % |
188.03/188.24 c | 232473 | 1320 110364 369987 | 97351 85445 107 | 0.000 % |
188.23/188.43 c | 232666 | 1320 110364 369987 | 97351 85638 107 | 0.000 % |
188.43/188.68 c | 232879 | 1320 110364 369987 | 97351 85851 107 | 0.000 % |
188.63/188.88 c | 233113 | 1320 110364 369987 | 97351 86085 107 | 0.000 % |
188.94/189.11 c | 233370 | 1320 110364 369987 | 97351 86342 107 | 0.000 % |
189.13/189.39 c | 233651 | 1320 110364 369987 | 97351 86623 107 | 0.000 % |
189.53/189.71 c | 233960 | 1320 110364 369987 | 97351 86932 107 | 0.008 % |
189.93/190.10 c | 234301 | 1320 110364 369987 | 97351 87273 107 | 0.000 % |
190.23/190.44 c | 234673 | 1320 110364 369987 | 97351 87645 106 | 0.000 % |
190.63/190.83 c | 235083 | 1320 110364 369987 | 97351 88055 106 | 0.000 % |
191.03/191.30 c | 235532 | 1320 110364 369987 | 97351 88504 107 | 0.000 % |
191.73/191.99 c | 236025 | 1320 110364 369987 | 97351 88997 107 | 0.000 % |
192.43/192.65 c | 236567 | 1320 110364 369987 | 97351 89539 107 | 0.000 % |
193.23/193.43 c | 237163 | 1320 110364 369987 | 97351 90135 108 | 0.000 % |
193.83/194.05 c | 237818 | 1320 110364 369987 | 97351 90790 108 | 0.000 % |
194.63/194.81 c | 238538 | 1320 110364 369987 | 97351 91510 108 | 0.010 % |
195.42/195.65 c | 239330 | 1320 110364 369987 | 97351 92302 108 | 0.000 % |
196.52/196.76 c | 240202 | 1320 110364 369987 | 92973 93174 108 | 0.000 % |
197.82/198.09 c | 241162 | 1320 110364 369987 | 92973 82587 108 | 0.000 % |
198.92/199.12 c | 242216 | 1320 110364 369987 | 92973 83641 108 | 0.000 % |
200.11/200.30 c | 243374 | 1320 110364 369987 | 92973 84799 108 | 0.000 % |
201.41/201.60 c | 244648 | 1320 110364 369987 | 92973 86073 108 | 0.010 % |
202.91/203.12 c | 246048 | 1320 110364 369987 | 92973 87473 108 | 0.011 % |
204.51/204.78 c | 247590 | 1320 110364 369987 | 92973 89015 109 | 0.000 % |
206.31/206.56 c | 249284 | 1320 110364 369987 | 92973 90709 110 | 0.000 % |
208.41/208.67 c | 251147 | 1320 110364 369987 | 91425 81438 108 | 0.000 % |
210.31/210.55 c | 253197 | 1320 110364 369987 | 91425 83488 109 | 0.000 % |
213.01/213.21 c | 255450 | 1320 110364 369987 | 91425 85741 108 | 0.000 % |
215.91/216.15 c | 257931 | 1320 110364 369987 | 91425 88222 107 | 0.000 % |
216.01/216.28 c | 258033 | 1320 110364 369987 | 91425 88324 107 | 0.000 % |
216.21/216.42 c | 258143 | 1320 110364 369987 | 91425 88434 107 | 0.000 % |
216.31/216.55 c | 258267 | 1320 110364 369987 | 91425 88558 108 | 0.000 % |
216.41/216.68 c | 258400 | 1320 110364 369987 | 91425 88691 108 | 0.000 % |
216.61/216.85 c | 258548 | 1320 110364 369987 | 91425 88839 108 | 0.000 % |
216.81/217.04 c | 258708 | 1320 110364 369987 | 91425 88999 108 | 0.000 % |
217.01/217.22 c | 258884 | 1320 110364 369987 | 91425 89175 108 | 0.000 % |
217.21/217.44 c | 259078 | 1320 110364 369987 | 91425 89369 108 | 0.000 % |
217.51/217.75 c | 259290 | 1320 110364 369987 | 91425 89581 108 | 0.000 % |
217.81/218.03 c | 259525 | 1320 110364 369987 | 91425 89816 108 | 0.000 % |
218.11/218.37 c | 259781 | 1320 110364 369987 | 91425 90072 108 | 0.000 % |
218.51/218.73 c | 260062 | 1320 110364 369987 | 90293 90353 108 | 0.000 % |
218.91/219.16 c | 260371 | 1320 110364 369987 | 90293 80590 106 | 0.000 % |
219.21/219.49 c | 260715 | 1320 110364 369987 | 90293 80934 106 | 0.000 % |
219.61/219.85 c | 261088 | 1320 110364 369987 | 90293 81307 107 | 0.000 % |
220.11/220.31 c | 261498 | 1320 110364 369987 | 90293 81717 107 | 0.000 % |
220.51/220.71 c | 261947 | 1320 110364 369987 | 90293 82166 107 | 0.000 % |
221.01/221.20 c | 262440 | 1320 110364 369987 | 90293 82659 107 | 0.000 % |
221.51/221.74 c | 262983 | 1320 110364 369987 | 90293 83202 107 | 0.000 % |
222.01/222.23 c | 263579 | 1320 110364 369987 | 90293 83798 107 | 0.000 % |
222.81/223.09 c | 264234 | 1320 110364 369987 | 90293 84453 108 | 0.000 % |
223.81/224.01 c | 264954 | 1320 110364 369987 | 90293 85173 108 | 0.000 % |
224.80/225.04 c | 265746 | 1320 110364 369987 | 90293 85965 108 | 0.000 % |
225.70/225.93 c | 266617 | 1320 110364 369987 | 90293 86836 108 | 0.000 % |
226.70/226.96 c | 267577 | 1320 110364 369987 | 90293 87796 108 | 0.000 % |
228.10/228.31 c | 268630 | 1320 110364 369987 | 90293 88849 109 | 0.000 % |
229.30/229.52 c | 269789 | 1320 110364 369987 | 90293 90008 109 | 0.000 % |
230.60/230.80 c | 271062 | 1320 110364 369987 | 90219 82173 107 | 0.000 % |
232.00/232.28 c | 272462 | 1320 110364 369987 | 90219 83573 107 | 0.000 % |
233.70/233.92 c | 274003 | 1320 110364 369987 | 90219 85114 107 | 0.000 % |
234.90/235.16 c | 275697 | 1320 110364 369987 | 90219 86808 108 | 0.000 % |
236.60/236.89 c | 277561 | 1320 110364 369987 | 90219 88672 108 | 0.000 % |
239.10/239.35 c | 279610 | 1320 110364 369987 | 90219 90721 109 | 0.000 % |
241.39/241.69 c | 281865 | 1320 110364 369987 | 2147483647 83904 108 | 0.000 % |
243.99/244.28 c | 284343 | 1320 110364 369987 | 2147483647 86382 108 | 0.000 % |
246.89/247.13 c | 287068 | 1320 110364 369987 | 2147483647 89107 108 | 0.000 % |
246.99/247.27 c | 287169 | 1320 110364 369987 | 2147483647 89208 109 | 0.000 % |
247.19/247.40 c | 287280 | 1320 110364 369987 | 2147483647 89319 109 | 0.000 % |
247.29/247.53 c | 287403 | 1320 110364 369987 | 2147483647 89442 109 | 0.000 % |
247.39/247.67 c | 287537 | 1320 110364 369987 | 2147483647 89576 109 | 0.000 % |
247.59/247.84 c | 287685 | 1320 110364 369987 | 2147483647 89724 109 | 0.000 % |
247.79/248.03 c | 287845 | 1320 110364 369987 | 2147483647 89884 109 | 0.000 % |
247.99/248.21 c | 288022 | 1320 110364 369987 | 2147483647 90061 109 | 0.009 % |
248.19/248.48 c | 288216 | 1320 110364 369987 | 2147483647 90255 109 | 0.000 % |
248.49/248.71 c | 288428 | 1320 110364 369987 | 2147483647 90467 109 | 0.000 % |
248.69/248.96 c | 288661 | 1320 110364 369987 | 2147483647 90700 109 | 0.010 % |
248.89/249.19 c | 288918 | 1320 110364 369987 | 2147483647 90957 109 | 0.000 % |
249.29/249.52 c | 289202 | 1320 110364 369987 | 2147483647 91241 109 | 0.000 % |
249.59/249.81 c | 289513 | 1320 110364 369987 | 2147483647 91552 109 | 0.000 % |
249.99/250.29 c | 289854 | 1320 110364 369987 | 2147483647 91893 109 | 0.000 % |
250.49/250.70 c | 290226 | 1320 110364 369987 | 92041 92265 109 | 0.000 % |
250.88/251.20 c | 290639 | 1320 110364 369987 | 92041 81843 107 | 0.000 % |
251.38/251.63 c | 291091 | 1320 110364 369987 | 92041 82295 107 | 0.010 % |
251.98/252.24 c | 291587 | 1320 110364 369987 | 92041 82791 108 | 0.000 % |
252.69/252.92 c | 292131 | 1320 110364 369987 | 92041 83335 108 | 0.000 % |
253.39/253.61 c | 292728 | 1320 110364 369987 | 92041 83932 108 | 0.000 % |
253.89/254.19 c | 293383 | 1320 110364 369987 | 92041 84587 108 | 0.000 % |
254.58/254.83 c | 294103 | 1320 110364 369987 | 92041 85307 108 | 0.000 % |
255.18/255.48 c | 294896 | 1320 110364 369987 | 92041 86100 108 | 0.000 % |
255.99/256.26 c | 295768 | 1320 110364 369987 | 92041 86972 108 | 0.000 % |
256.98/257.22 c | 296726 | 1320 110364 369987 | 92041 87930 108 | 0.009 % |
258.08/258.33 c | 297780 | 1320 110364 369987 | 92041 88984 108 | 0.008 % |
259.08/259.30 c | 298938 | 1320 110364 369987 | 92041 90142 107 | 0.000 % |
260.08/260.33 c | 300211 | 1320 110364 369987 | 91205 91415 107 | 0.011 % |
261.18/261.43 c | 301612 | 1320 110364 369987 | 91205 83675 107 | 0.011 % |
262.48/262.77 c | 303152 | 1320 110364 369987 | 91205 85215 106 | 0.010 % |
263.69/264.00 c | 304848 | 1320 110364 369987 | 91205 86911 106 | 0.010 % |
265.48/265.70 c | 306713 | 1320 110364 369987 | 91205 88776 106 | 0.010 % |
267.38/267.62 c | 308763 | 1320 110364 369987 | 91205 90826 106 | 0.011 % |
269.18/269.48 c | 311017 | 1320 110364 369987 | 2147483647 83876 103 | 0.010 % |
272.28/272.55 c | 313496 | 1320 110364 369987 | 2147483647 86355 105 | 0.000 % |
275.98/276.20 c | 316221 | 1320 110364 369987 | 2147483647 89080 107 | 0.000 % |
279.38/279.68 c | 319219 | 1320 110364 369987 | 2147483647 92078 109 | 0.000 % |
279.48/279.78 c | 319321 | 1320 110364 369987 | 2147483647 92180 109 | 0.000 % |
279.68/279.93 c | 319432 | 1320 110364 369987 | 2147483647 92291 109 | 0.010 % |
279.78/280.08 c | 319553 | 1320 110364 369987 | 2147483647 92412 109 | 0.000 % |
279.98/280.24 c | 319687 | 1320 110364 369987 | 2147483647 92546 109 | 0.000 % |
280.18/280.41 c | 319835 | 1320 110364 369987 | 2147483647 92694 109 | 0.000 % |
280.28/280.59 c | 319995 | 1320 110364 369987 | 2147483647 92854 109 | 0.009 % |
280.58/280.82 c | 320172 | 1320 110364 369987 | 2147483647 93031 109 | 0.000 % |
280.77/281.05 c | 320365 | 1320 110364 369987 | 2147483647 93224 109 | 0.000 % |
281.07/281.31 c | 320579 | 1320 110364 369987 | 2147483647 93438 109 | 0.000 % |
281.38/281.69 c | 320812 | 1320 110364 369987 | 2147483647 93671 109 | 0.000 % |
281.67/281.97 c | 321070 | 1320 110364 369987 | 2147483647 93929 110 | 0.000 % |
282.07/282.30 c | 321351 | 1320 110364 369987 | 2147483647 94210 110 | 0.000 % |
282.38/282.65 c | 321661 | 1320 110364 369987 | 2147483647 94520 110 | 0.000 % |
282.77/283.10 c | 322001 | 1320 110364 369987 | 2147483647 94860 110 | 0.000 % |
283.37/283.62 c | 322374 | 1320 110364 369987 | 2147483647 95233 110 | 0.000 % |
283.77/284.01 c | 322784 | 1320 110364 369987 | 2147483647 95643 110 | 0.000 % |
284.17/284.43 c | 323234 | 1320 110364 369987 | 2147483647 96093 110 | 0.000 % |
284.68/284.99 c | 323728 | 1320 110364 369987 | 2147483647 96587 111 | 0.000 % |
285.27/285.58 c | 324270 | 1320 110364 369987 | 2147483647 97129 111 | 0.000 % |
285.97/286.22 c | 324866 | 1320 110364 369987 | 2147483647 97725 110 | 0.000 % |
286.67/286.91 c | 325521 | 1320 110364 369987 | 2147483647 98380 110 | 0.000 % |
287.67/287.94 c | 326243 | 1320 110364 369987 | 2147483647 99102 111 | 0.000 % |
288.66/288.94 c | 327036 | 1320 110364 369987 | 2147483647 99895 111 | 0.000 % |
290.07/290.32 c | 327909 | 1320 110364 369987 | 2147483647 100768 111 | 0.000 % |
291.46/291.78 c | 328868 | 1320 110364 369987 | 2147483647 101727 112 | 0.000 % |
292.96/293.23 c | 329921 | 1320 110364 369987 | 2147483647 102780 112 | 0.000 % |
294.47/294.72 c | 331079 | 1320 110364 369987 | 102860 90432 109 | 0.000 % |
296.06/296.40 c | 332352 | 1320 110364 369987 | 102860 91705 110 | 0.000 % |
297.76/298.07 c | 333752 | 1320 110364 369987 | 102860 93105 110 | 0.000 % |
299.36/299.64 c | 335293 | 1320 110364 369987 | 102860 94646 111 | 0.000 % |
301.26/301.50 c | 336991 | 1320 110364 369987 | 102860 96344 110 | 0.012 % |
303.36/303.61 c | 338855 | 1320 110364 369987 | 102860 98208 110 | 0.012 % |
305.46/305.78 c | 340905 | 1320 110364 369987 | 99353 100258 110 | 0.000 % |
308.06/308.33 c | 343158 | 1320 110364 369987 | 99353 88141 107 | 0.000 % |
310.96/311.28 c | 345636 | 1320 110364 369987 | 99353 90619 108 | 0.000 % |
314.36/314.64 c | 348361 | 1320 110364 369987 | 99353 93344 108 | 0.000 % |
318.05/318.36 c | 351358 | 1320 110364 369987 | 94984 80186 104 | 0.010 % |
321.96/322.28 c | 354654 | 1320 110364 369987 | 94984 83482 105 | 0.000 % |
322.15/322.41 c | 354754 | 1320 110364 369987 | 94984 83582 105 | 0.000 % |
322.25/322.55 c | 354865 | 1320 110364 369987 | 94984 83693 105 | 0.000 % |
322.35/322.68 c | 354986 | 1320 110364 369987 | 94984 83814 105 | 0.000 % |
322.55/322.83 c | 355119 | 1320 110364 369987 | 94984 83947 105 | 0.000 % |
322.75/323.02 c | 355265 | 1320 110364 369987 | 94984 84093 105 | 0.000 % |
322.85/323.19 c | 355425 | 1320 110364 369987 | 94984 84253 105 | 0.000 % |
323.16/323.40 c | 355601 | 1320 110364 369987 | 94984 84429 105 | 0.000 % |
323.36/323.68 c | 355794 | 1320 110364 369987 | 94984 84622 105 | 0.000 % |
323.56/323.86 c | 356007 | 1320 110364 369987 | 94984 84835 105 | 0.000 % |
323.86/324.17 c | 356242 | 1320 110364 369987 | 94984 85070 106 | 0.000 % |
324.16/324.42 c | 356498 | 1320 110364 369987 | 94984 85326 106 | 0.000 % |
324.36/324.69 c | 356780 | 1320 110364 369987 | 94984 85608 106 | 0.009 % |
324.76/325.09 c | 357090 | 1320 110364 369987 | 94984 85918 106 | 0.009 % |
325.26/325.54 c | 357431 | 1320 110364 369987 | 94984 86259 106 | 0.000 % |
325.66/325.95 c | 357803 | 1320 110364 369987 | 94984 86631 106 | 0.000 % |
326.16/326.45 c | 358213 | 1320 110364 369987 | 94984 87041 107 | 0.000 % |
326.66/326.97 c | 358662 | 1320 110364 369987 | 94984 87490 107 | 0.000 % |
327.16/327.46 c | 359157 | 1320 110364 369987 | 94984 87985 107 | 0.010 % |
327.66/328.00 c | 359700 | 1320 110364 369987 | 94984 88528 107 | 0.000 % |
328.26/328.58 c | 360296 | 1320 110364 369987 | 88828 89124 106 | 0.010 % |
328.96/329.20 c | 360952 | 1320 110364 369987 | 88828 75508 105 | 0.000 % |
329.56/329.81 c | 361672 | 1320 110364 369987 | 88828 76228 105 | 0.009 % |
330.35/330.61 c | 362465 | 1320 110364 369987 | 88828 77021 105 | 0.010 % |
331.25/331.56 c | 363336 | 1320 110364 369987 | 88828 77892 105 | 0.000 % |
332.25/332.60 c | 364298 | 1320 110364 369987 | 88828 78854 105 | 0.000 % |
333.45/333.71 c | 365353 | 1320 110364 369987 | 88828 79909 105 | 0.000 % |
334.65/334.90 c | 366511 | 1320 110364 369987 | 88828 81067 104 | 0.011 % |
336.35/336.61 c | 367784 | 1320 110364 369987 | 88828 82340 106 | 0.000 % |
337.85/338.13 c | 369184 | 1320 110364 369987 | 88828 83740 106 | 0.000 % |
339.45/339.80 c | 370724 | 1320 110364 369987 | 84559 85280 107 | 0.000 % |
341.65/341.99 c | 372419 | 1320 110364 369987 | 84559 76490 110 | 0.000 % |
343.65/343.94 c | 374283 | 1320 110364 369987 | 84559 78354 111 | 0.000 % |
345.75/346.02 c | 376332 | 1320 110364 369987 | 84559 80403 111 | 0.000 % |
348.25/348.59 c | 378587 | 1320 110364 369987 | 84559 82658 111 | 0.000 % |
351.85/352.10 c | 381065 | 1320 110364 369987 | 84072 75356 106 | 0.000 % |
355.15/355.45 c | 383790 | 1320 110364 369987 | 84072 78081 108 | 0.000 % |
358.74/359.08 c | 386790 | 1320 110364 369987 | 84072 81081 109 | 0.000 % |
362.94/363.21 c | 390088 | 1320 110364 369987 | 84291 84379 110 | 0.000 % |
367.14/367.45 c | 393713 | 1320 110364 369987 | 84291 78183 110 | 0.000 % |
367.24/367.57 c | 393813 | 1320 110364 369987 | 84291 78283 110 | 0.000 % |
367.44/367.74 c | 393928 | 1320 110364 369987 | 84291 78398 110 | 0.000 % |
367.54/367.89 c | 394049 | 1320 110364 369987 | 84291 78519 110 | 0.000 % |
367.84/368.11 c | 394182 | 1320 110364 369987 | 84291 78652 111 | 0.000 % |
367.94/368.29 c | 394331 | 1320 110364 369987 | 84291 78801 111 | 0.000 % |
368.14/368.47 c | 394491 | 1320 110364 369987 | 84291 78961 111 | 0.000 % |
368.34/368.68 c | 394671 | 1320 110364 369987 | 84291 79141 111 | 0.000 % |
368.54/368.89 c | 394864 | 1320 110364 369987 | 84291 79334 111 | 0.000 % |
368.84/369.14 c | 395078 | 1320 110364 369987 | 84291 79548 111 | 0.000 % |
369.24/369.51 c | 395312 | 1320 110364 369987 | 84291 79782 111 | 0.000 % |
369.54/369.81 c | 395570 | 1320 110364 369987 | 84291 80040 111 | 0.000 % |
369.84/370.13 c | 395852 | 1320 110364 369987 | 84291 80322 111 | 0.000 % |
370.24/370.56 c | 396162 | 1320 110364 369987 | 84291 80632 111 | 0.000 % |
370.64/370.92 c | 396501 | 1320 110364 369987 | 84291 80971 111 | 0.000 % |
371.14/371.43 c | 396874 | 1320 110364 369987 | 84291 81344 112 | 0.000 % |
371.64/371.98 c | 397285 | 1320 110364 369987 | 84291 81755 112 | 0.000 % |
372.14/372.45 c | 397735 | 1320 110364 369987 | 84291 82205 112 | 0.000 % |
372.64/372.98 c | 398230 | 1320 110364 369987 | 84291 82700 112 | 0.000 % |
373.34/373.61 c | 398776 | 1320 110364 369987 | 84291 83246 112 | 0.000 % |
374.04/374.31 c | 399372 | 1320 110364 369987 | 84291 83842 112 | 0.000 % |
374.74/375.04 c | 400030 | 1320 110364 369987 | 84472 84500 112 | 0.000 % |
375.73/376.08 c | 400752 | 1320 110364 369987 | 84472 75204 112 | 0.000 % |
376.63/376.99 c | 401544 | 1320 110364 369987 | 84472 75996 112 | 0.000 % |
377.73/378.04 c | 402415 | 1320 110364 369987 | 84472 76867 113 | 0.000 % |
378.83/379.16 c | 403373 | 1320 110364 369987 | 84472 77825 112 | 0.000 % |
380.03/380.31 c | 404429 | 1320 110364 369987 | 84472 78881 112 | 0.010 % |
381.03/381.38 c | 405587 | 1320 110364 369987 | 84472 80039 112 | 0.010 % |
382.93/383.27 c | 406862 | 1320 110364 369987 | 84472 81314 112 | 0.000 % |
384.53/384.82 c | 408263 | 1320 110364 369987 | 84472 82715 113 | 0.009 % |
386.33/386.65 c | 409805 | 1320 110364 369987 | 84472 84257 113 | 0.000 % |
388.23/388.53 c | 411500 | 1320 110364 369987 | 84453 76880 112 | 0.000 % |
390.73/391.06 c | 413363 | 1320 110364 369987 | 84453 78743 114 | 0.000 % |
393.32/393.61 c | 415413 | 1320 110364 369987 | 84453 80793 114 | 0.000 % |
396.62/396.96 c | 417667 | 1320 110364 369987 | 84453 83047 113 | 0.009 % |
399.42/399.74 c | 420146 | 1320 110364 369987 | 76405 76546 112 | 0.000 % |
402.42/402.71 c | 422871 | 1320 110364 369987 | 76405 71228 113 | 0.000 % |
405.32/405.61 c | 425868 | 1320 110364 369987 | 76405 74225 112 | 0.000 % |
408.62/408.92 c | 429165 | 1320 110364 369987 | 76405 69324 108 | 0.000 % |
412.32/412.61 c | 432790 | 1320 110364 369987 | 70159 64855 104 | 0.000 % |
416.42/416.75 c | 436777 | 1320 110364 369987 | 70159 68842 103 | 0.010 % |
416.52/416.88 c | 436877 | 1320 110364 369987 | 70159 68942 103 | 0.000 % |
416.71/417.02 c | 436989 | 1320 110364 369987 | 70159 69054 103 | 0.010 % |
416.81/417.17 c | 437111 | 1320 110364 369987 | 70159 69176 103 | 0.010 % |
416.91/417.29 c | 437246 | 1320 110364 369987 | 70159 69311 103 | 0.000 % |
417.11/417.44 c | 437392 | 1320 110364 369987 | 70159 69457 103 | 0.009 % |
417.21/417.58 c | 437553 | 1320 110364 369987 | 70159 69618 103 | 0.009 % |
417.51/417.84 c | 437730 | 1320 110364 369987 | 70159 69795 103 | 0.000 % |
417.72/418.01 c | 437923 | 1320 110364 369987 | 70159 69988 104 | 0.000 % |
417.91/418.20 c | 438137 | 1320 110364 369987 | 70159 70202 104 | 0.000 % |
418.11/418.41 c | 438371 | 1320 110364 369987 | 70159 62395 99 | 0.011 % |
418.31/418.68 c | 438627 | 1320 110364 369987 | 70159 62651 99 | 0.011 % |
418.51/418.89 c | 438908 | 1320 110364 369987 | 70159 62932 99 | 0.009 % |
418.82/419.19 c | 439219 | 1320 110364 369987 | 70159 63243 99 | 0.011 % |
419.11/419.41 c | 439558 | 1320 110364 369987 | 70159 63582 99 | 0.011 % |
419.31/419.67 c | 439930 | 1320 110364 369987 | 70159 63954 99 | 0.000 % |
419.71/420.04 c | 440339 | 1320 110364 369987 | 64024 64363 100 | 0.000 % |
420.11/420.41 c | 440789 | 1320 110364 369987 | 64024 58377 94 | 0.000 % |
420.61/420.94 c | 441282 | 1320 110364 369987 | 64024 58870 95 | 0.000 % |
421.01/421.35 c | 441824 | 1320 110364 369987 | 64024 59412 95 | 0.000 % |
421.41/421.77 c | 442421 | 1320 110364 369987 | 64024 60009 95 | 0.011 % |
421.91/422.28 c | 443076 | 1320 110364 369987 | 64024 60664 95 | 0.011 % |
422.51/422.87 c | 443797 | 1320 110364 369987 | 64024 61385 96 | 0.000 % |
423.21/423.58 c | 444593 | 1320 110364 369987 | 64024 62181 96 | 0.000 % |
424.01/424.37 c | 445464 | 1320 110364 369987 | 64024 63052 97 | 0.000 % |
424.81/425.14 c | 446422 | 1320 110364 369987 | 64024 64010 98 | 0.000 % |
425.71/426.00 c | 447475 | 1320 110364 369987 | 64024 58573 94 | 0.000 % |
426.51/426.85 c | 448634 | 1320 110364 369987 | 64024 59732 95 | 0.000 % |
427.61/427.98 c | 449914 | 1320 110364 369987 | 64024 61012 95 | 0.000 % |
428.80/429.14 c | 451314 | 1320 110364 369987 | 2147483647 62412 94 | 0.000 % |
430.20/430.57 c | 452854 | 1320 110364 369987 | 2147483647 63952 93 | 0.010 % |
431.50/431.81 c | 454550 | 1320 110364 369987 | 2147483647 65648 93 | 0.008 % |
433.40/433.73 c | 456413 | 1320 110364 369987 | 2147483647 67511 96 | 0.000 % |
435.10/435.45 c | 458464 | 1320 110364 369987 | 2147483647 69562 97 | 0.000 % |
437.00/437.36 c | 460718 | 1320 110364 369987 | 2147483647 71816 98 | 0.010 % |
439.10/439.40 c | 463196 | 1320 110364 369987 | 2147483647 74294 98 | 0.000 % |
441.50/441.86 c | 465924 | 1320 110364 369987 | 2147483647 77022 97 | 0.000 % |
443.80/444.17 c | 468922 | 1320 110364 369987 | 2147483647 80020 97 | 0.000 % |
446.70/447.06 c | 472223 | 1320 110364 369987 | 2147483647 83321 96 | 0.010 % |
450.20/450.58 c | 475848 | 1320 110364 369987 | 2147483647 86946 94 | 0.010 % |
454.40/454.77 c | 479837 | 1320 110364 369987 | 2147483647 90935 92 | 0.010 % |
459.00/459.35 c | 484222 | 1320 110364 369987 | 2147483647 95320 91 | 0.010 % |
459.10/459.45 c | 484323 | 1320 110364 369987 | 2147483647 95421 91 | 0.010 % |
459.20/459.56 c | 484433 | 1320 110364 369987 | 2147483647 95531 91 | 0.010 % |
459.40/459.78 c | 484555 | 1320 110364 369987 | 2147483647 95653 91 | 0.011 % |
459.59/459.95 c | 484688 | 1320 110364 369987 | 2147483647 95786 92 | 0.000 % |
459.79/460.17 c | 484835 | 1320 110364 369987 | 2147483647 95933 92 | 0.000 % |
459.99/460.32 c | 484996 | 1320 110364 369987 | 2147483647 96094 92 | 0.000 % |
460.09/460.49 c | 485173 | 1320 110364 369987 | 2147483647 96271 92 | 0.011 % |
460.29/460.68 c | 485367 | 1320 110364 369987 | 2147483647 96465 92 | 0.011 % |
460.60/460.93 c | 485579 | 1320 110364 369987 | 2147483647 96677 92 | 0.000 % |
460.79/461.13 c | 485812 | 1320 110364 369987 | 2147483647 96910 92 | 0.000 % |
460.99/461.31 c | 486070 | 1320 110364 369987 | 2147483647 97168 92 | 0.000 % |
461.29/461.62 c | 486352 | 1320 110364 369987 | 2147483647 97450 92 | 0.000 % |
461.59/461.98 c | 486661 | 1320 110364 369987 | 2147483647 97759 92 | 0.000 % |
461.89/462.29 c | 487000 | 1320 110364 369987 | 2147483647 98098 92 | 0.010 % |
462.29/462.63 c | 487374 | 1320 110364 369987 | 2147483647 98472 93 | 0.000 % |
462.69/463.06 c | 487783 | 1320 110364 369987 | 2147483647 98881 93 | 0.000 % |
463.19/463.53 c | 488232 | 1320 110364 369987 | 2147483647 99330 93 | 0.000 % |
463.69/464.06 c | 488725 | 1320 110364 369987 | 2147483647 99823 93 | 0.000 % |
464.29/464.64 c | 489268 | 1320 110364 369987 | 2147483647 100366 93 | 0.008 % |
464.99/465.31 c | 489864 | 1320 110364 369987 | 2147483647 100962 93 | 0.000 % |
465.69/466.02 c | 490519 | 1320 110364 369987 | 2147483647 101617 93 | 0.000 % |
466.58/466.93 c | 491240 | 1320 110364 369987 | 2147483647 102338 94 | 0.000 % |
467.38/467.71 c | 492032 | 1320 110364 369987 | 2147483647 103130 94 | 0.000 % |
468.38/468.75 c | 492905 | 1320 110364 369987 | 2147483647 104003 94 | 0.000 % |
469.39/469.70 c | 493863 | 1320 110364 369987 | 2147483647 104961 95 | 0.000 % |
470.49/470.86 c | 494916 | 1320 110364 369987 | 2147483647 106014 95 | 0.000 % |
471.68/472.10 c | 496074 | 1320 110364 369987 | 2147483647 107172 95 | 0.000 % |
473.38/473.73 c | 497347 | 1320 110364 369987 | 2147483647 108445 96 | 0.000 % |
474.68/475.07 c | 498748 | 1320 110364 369987 | 2147483647 109846 96 | 0.000 % |
476.48/476.86 c | 500289 | 1320 110364 369987 | 2147483647 111387 97 | 0.009 % |
478.48/478.89 c | 501983 | 1320 110364 369987 | 2147483647 113081 97 | 0.011 % |
480.88/481.20 c | 503847 | 1320 110364 369987 | 2147483647 114945 97 | 0.000 % |
483.08/483.49 c | 505897 | 1320 110364 369987 | 2147483647 116995 97 | 0.011 % |
485.58/485.93 c | 508155 | 1320 110364 369987 | 2147483647 119253 98 | 0.000 % |
488.38/488.77 c | 510633 | 1320 110364 369987 | 121098 121731 98 | 0.000 % |
491.38/491.79 c | 513359 | 1320 110364 369987 | 121098 106671 95 | 0.000 % |
494.27/494.63 c | 516358 | 1320 110364 369987 | 121098 109670 95 | 0.000 % |
497.67/498.06 c | 519655 | 1320 110364 369987 | 121098 112967 95 | 0.000 % |
502.07/502.46 c | 523284 | 1320 110364 369987 | 113312 103131 94 | 0.010 % |
506.37/506.75 c | 527272 | 1320 110364 369987 | 113312 107119 94 | 0.009 % |
511.66/512.07 c | 531657 | 1320 110364 369987 | 109852 96804 90 | 0.000 % |
516.56/516.92 c | 536483 | 1320 110364 369987 | 109852 101630 89 | 0.000 % |
516.66/517.06 c | 536583 | 1320 110364 369987 | 109852 101730 89 | 0.000 % |
516.86/517.25 c | 536694 | 1320 110364 369987 | 109852 101841 89 | 0.000 % |
517.06/517.40 c | 536816 | 1320 110364 369987 | 109852 101963 89 | 0.000 % |
517.16/517.53 c | 536949 | 1320 110364 369987 | 109852 102096 89 | 0.000 % |
517.26/517.70 c | 537095 | 1320 110364 369987 | 109852 102242 89 | 0.000 % |
517.46/517.87 c | 537255 | 1320 110364 369987 | 109852 102402 90 | 0.000 % |
517.66/518.06 c | 537431 | 1320 110364 369987 | 109852 102578 90 | 0.000 % |
517.86/518.23 c | 537624 | 1320 110364 369987 | 109852 102771 90 | 0.000 % |
518.06/518.45 c | 537836 | 1320 110364 369987 | 109852 102983 90 | 0.000 % |
518.36/518.74 c | 538071 | 1320 110364 369987 | 109852 103218 90 | 0.000 % |
518.56/518.94 c | 538328 | 1320 110364 369987 | 109852 103475 90 | 0.000 % |
518.86/519.22 c | 538609 | 1320 110364 369987 | 109852 103756 90 | 0.000 % |
519.06/519.48 c | 538918 | 1320 110364 369987 | 109852 104065 90 | 0.000 % |
519.36/519.79 c | 539257 | 1320 110364 369987 | 109852 104404 90 | 0.000 % |
519.76/520.19 c | 539631 | 1320 110364 369987 | 109852 104778 90 | 0.000 % |
520.26/520.63 c | 540040 | 1320 110364 369987 | 105147 105187 90 | 0.000 % |
520.66/521.09 c | 540489 | 1320 110364 369987 | 105147 93686 88 | 0.000 % |
521.16/521.59 c | 540983 | 1320 110364 369987 | 105147 94180 88 | 0.000 % |
521.66/522.04 c | 541525 | 1320 110364 369987 | 105147 94722 88 | 0.000 % |
522.36/522.80 c | 542122 | 1320 110364 369987 | 105147 95319 89 | 0.000 % |
523.06/523.50 c | 542778 | 1320 110364 369987 | 105147 95975 89 | 0.000 % |
523.76/524.13 c | 543498 | 1320 110364 369987 | 105147 96695 89 | 0.000 % |
524.46/524.89 c | 544291 | 1320 110364 369987 | 105147 97488 90 | 0.000 % |
525.36/525.72 c | 545162 | 1320 110364 369987 | 105147 98359 90 | 0.000 % |
526.46/526.86 c | 546120 | 1320 110364 369987 | 105147 99317 90 | 0.000 % |
527.45/527.87 c | 547177 | 1320 110364 369987 | 105147 100374 91 | 0.000 % |
528.76/529.11 c | 548341 | 1320 110364 369987 | 105147 101538 91 | 0.010 % |
530.15/530.58 c | 549617 | 1320 110364 369987 | 105147 102814 91 | 0.000 % |
531.55/531.98 c | 551019 | 1320 110364 369987 | 103200 93289 92 | 0.000 % |
533.06/533.41 c | 552560 | 1320 110364 369987 | 103200 94830 93 | 0.000 % |
535.05/535.41 c | 554255 | 1320 110364 369987 | 103200 96525 94 | 0.000 % |
536.95/537.37 c | 556122 | 1320 110364 369987 | 103200 98392 95 | 0.000 % |
538.95/539.35 c | 558174 | 1320 110364 369987 | 103200 100444 95 | 0.000 % |
541.05/541.48 c | 560427 | 1320 110364 369987 | 2147483647 102697 95 | 0.011 % |
543.75/544.14 c | 562906 | 1320 110364 369987 | 2147483647 105176 95 | 0.011 % |
546.85/547.26 c | 565631 | 1320 110364 369987 | 2147483647 107901 95 | 0.010 % |
550.75/551.12 c | 568629 | 1320 110364 369987 | 2147483647 110899 96 | 0.000 % |
554.74/555.13 c | 571927 | 1320 110364 369987 | 112273 100254 99 | 0.000 % |
558.74/559.17 c | 575553 | 1320 110364 369987 | 112273 103880 99 | 0.000 % |
564.43/564.88 c | 579540 | 1320 110364 369987 | 112273 107867 102 | 0.000 % |
570.83/571.23 c | 583926 | 1320 110364 369987 | 108327 96089 101 | 0.000 % |
576.73/577.14 c | 588751 | 1320 110364 369987 | 108327 100914 102 | 0.000 % |
582.63/583.07 c | 594058 | 1320 110364 369987 | 102163 94601 101 | 0.000 % |
582.83/583.23 c | 594160 | 1320 110364 369987 | 102163 94703 101 | 0.000 % |
582.93/583.36 c | 594270 | 1320 110364 369987 | 102163 94813 101 | 0.000 % |
583.13/583.53 c | 594391 | 1320 110364 369987 | 102163 94934 101 | 0.000 % |
583.33/583.71 c | 594527 | 1320 110364 369987 | 102163 95070 101 | 0.010 % |
583.53/583.91 c | 594673 | 1320 110364 369987 | 102163 95216 101 | 0.000 % |
583.73/584.11 c | 594836 | 1320 110364 369987 | 102163 95379 101 | 0.000 % |
583.93/584.30 c | 595012 | 1320 110364 369987 | 102163 95555 101 | 0.000 % |
584.13/584.58 c | 595205 | 1320 110364 369987 | 102163 95748 101 | 0.000 % |
584.43/584.85 c | 595422 | 1320 110364 369987 | 102163 95965 101 | 0.000 % |
584.73/585.13 c | 595656 | 1320 110364 369987 | 102163 96199 101 | 0.000 % |
585.03/585.40 c | 595913 | 1320 110364 369987 | 102163 96456 101 | 0.000 % |
585.33/585.78 c | 596194 | 1320 110364 369987 | 102163 96737 101 | 0.010 % |
585.73/586.13 c | 596503 | 1320 110364 369987 | 102163 97046 101 | 0.000 % |
586.13/586.55 c | 596843 | 1320 110364 369987 | 102163 97386 102 | 0.000 % |
586.53/586.99 c | 597215 | 1320 110364 369987 | 102163 97758 102 | 0.000 % |
587.03/587.46 c | 597625 | 1320 110364 369987 | 102163 98168 102 | 0.000 % |
587.52/587.96 c | 598074 | 1320 110364 369987 | 102163 98617 102 | 0.000 % |
588.13/588.60 c | 598567 | 1320 110364 369987 | 102163 99110 102 | 0.000 % |
588.82/589.29 c | 599109 | 1320 110364 369987 | 102163 99652 103 | 0.000 % |
589.52/589.94 c | 599705 | 1320 110364 369987 | 102163 100248 103 | 0.000 % |
590.12/590.57 c | 600360 | 1320 110364 369987 | 100543 100903 103 | 0.000 % |
591.02/591.42 c | 601080 | 1320 110364 369987 | 100543 90341 104 | 0.000 % |
591.92/592.35 c | 601873 | 1320 110364 369987 | 100543 91134 104 | 0.000 % |
592.72/593.19 c | 602744 | 1320 110364 369987 | 100543 92005 105 | 0.000 % |
593.63/594.04 c | 603705 | 1320 110364 369987 | 100543 92966 105 | 0.000 % |
594.63/595.03 c | 604759 | 1320 110364 369987 | 100543 94020 105 | 0.000 % |
595.73/596.17 c | 605917 | 1320 110364 369987 | 100543 95178 105 | 0.000 % |
597.02/597.47 c | 607194 | 1320 110364 369987 | 100543 96455 105 | 0.000 % |
598.62/599.03 c | 608595 | 1320 110364 369987 | 100543 97856 105 | 0.000 % |
600.72/601.14 c | 610135 | 1320 110364 369987 | 99262 99396 106 | 0.000 % |
602.72/603.18 c | 611829 | 1320 110364 369987 | 99262 89629 109 | 0.000 % |
605.02/605.43 c | 613694 | 1320 110364 369987 | 99262 91494 110 | 0.000 % |
607.32/607.71 c | 615745 | 1320 110364 369987 | 99262 93545 110 | 0.012 % |
610.41/610.88 c | 617999 | 1320 110364 369987 | 99262 95799 110 | 0.000 % |
613.51/613.92 c | 620477 | 1320 110364 369987 | 97800 98277 110 | 0.000 % |
616.72/617.14 c | 623202 | 1320 110364 369987 | 97800 88530 108 | 0.000 % |
619.81/620.21 c | 626200 | 1320 110364 369987 | 97800 91528 108 | 0.000 % |
623.51/623.93 c | 629496 | 1320 110364 369987 | 97800 94824 108 | 0.000 % |
627.51/628.00 c | 633121 | 1320 110364 369987 | 95330 86151 105 | 0.000 % |
631.41/631.88 c | 637109 | 1320 110364 369987 | 95330 90139 105 | 0.012 % |
636.60/637.08 c | 641495 | 1320 110364 369987 | 93030 83666 104 | 0.000 % |
643.30/643.77 c | 646318 | 1320 110364 369987 | 93030 88489 103 | 0.008 % |
650.09/650.57 c | 651623 | 1320 110364 369987 | 92173 80040 94 | 0.000 % |
656.79/657.24 c | 657459 | 1320 110364 369987 | 92173 85876 94 | 0.000 % |
656.89/657.35 c | 657561 | 1320 110364 369987 | 92173 85978 94 | 0.000 % |
657.09/657.54 c | 657672 | 1320 110364 369987 | 92173 86089 94 | 0.000 % |
657.30/657.71 c | 657793 | 1320 110364 369987 | 92173 86210 94 | 0.000 % |
657.49/657.94 c | 657926 | 1320 110364 369987 | 92173 86343 94 | 0.000 % |
657.59/658.09 c | 658073 | 1320 110364 369987 | 92173 86490 95 | 0.000 % |
657.89/658.31 c | 658235 | 1320 110364 369987 | 92173 86652 95 | 0.000 % |
657.99/658.49 c | 658412 | 1320 110364 369987 | 92173 86829 95 | 0.000 % |
658.29/658.70 c | 658606 | 1320 110364 369987 | 92173 87023 95 | 0.000 % |
658.49/658.99 c | 658818 | 1320 110364 369987 | 92173 87235 95 | 0.000 % |
658.79/659.27 c | 659052 | 1320 110364 369987 | 92173 87469 95 | 0.000 % |
659.09/659.56 c | 659309 | 1320 110364 369987 | 92173 87726 95 | 0.000 % |
659.39/659.88 c | 659591 | 1320 110364 369987 | 92173 88008 95 | 0.000 % |
659.79/660.27 c | 659900 | 1320 110364 369987 | 92173 88317 96 | 0.000 % |
660.29/660.74 c | 660239 | 1320 110364 369987 | 88419 88656 96 | 0.000 % |
660.79/661.26 c | 660611 | 1320 110364 369987 | 88419 78403 94 | 0.000 % |
661.29/661.70 c | 661020 | 1320 110364 369987 | 88419 78812 94 | 0.000 % |
661.69/662.15 c | 661469 | 1320 110364 369987 | 88419 79261 94 | 0.000 % |
662.19/662.66 c | 661962 | 1320 110364 369987 | 88419 79754 94 | 0.000 % |
662.79/663.21 c | 662508 | 1320 110364 369987 | 88419 80300 94 | 0.000 % |
663.39/663.85 c | 663105 | 1320 110364 369987 | 88419 80897 95 | 0.000 % |
664.09/664.57 c | 663760 | 1320 110364 369987 | 88419 81552 95 | 0.000 % |
664.89/665.31 c | 664480 | 1320 110364 369987 | 88419 82272 95 | 0.000 % |
665.59/666.05 c | 665272 | 1320 110364 369987 | 88419 83064 95 | 0.000 % |
666.39/666.87 c | 666143 | 1320 110364 369987 | 88419 83935 96 | 0.000 % |
667.39/667.83 c | 667101 | 1320 110364 369987 | 88419 84893 96 | 0.000 % |
668.59/669.02 c | 668154 | 1320 110364 369987 | 88419 85946 96 | 0.000 % |
669.69/670.16 c | 669315 | 1320 110364 369987 | 88419 87107 96 | 0.000 % |
671.09/671.54 c | 670591 | 1320 110364 369987 | 87793 88383 96 | 0.000 % |
672.79/673.24 c | 671992 | 1320 110364 369987 | 87793 80669 93 | 0.000 % |
674.49/674.91 c | 673533 | 1320 110364 369987 | 87793 82210 93 | 0.000 % |
676.28/676.77 c | 675229 | 1320 110364 369987 | 87793 83906 95 | 0.000 % |
677.98/678.47 c | 677093 | 1320 110364 369987 | 87793 85770 96 | 0.000 % |
680.58/681.02 c | 679142 | 1320 110364 369987 | 87793 87819 97 | 0.000 % |
683.08/683.56 c | 681395 | 1320 110364 369987 | 2147483647 81291 96 | 0.000 % |
685.88/686.34 c | 683874 | 1320 110364 369987 | 2147483647 83770 97 | 0.000 % |
688.68/689.18 c | 686601 | 1320 110364 369987 | 2147483647 86497 98 | 0.000 % |
691.98/692.45 c | 689598 | 1320 110364 369987 | 2147483647 89494 98 | 0.000 % |
695.38/695.88 c | 692894 | 1320 110364 369987 | 2147483647 92790 101 | 0.000 % |
700.07/700.58 c | 696519 | 1320 110364 369987 | 2147483647 96415 103 | 0.000 % |
705.27/705.70 c | 700508 | 1320 110364 369987 | 99897 100404 104 | 0.000 % |
710.37/710.89 c | 704895 | 1320 110364 369987 | 99897 92347 105 | 0.000 % |
716.17/716.67 c | 709719 | 1320 110364 369987 | 99897 97171 107 | 0.000 % |
724.37/724.81 c | 715025 | 1320 110364 369987 | 97453 88120 112 | 0.000 % |
734.16/734.68 c | 720863 | 1320 110364 369987 | 93095 77560 122 | 0.000 % |
746.36/746.84 c | 727282 | 1320 110364 369987 | 93095 83979 126 | 0.000 % |
746.56/747.05 c | 727385 | 1320 110364 369987 | 93095 84082 126 | 0.000 % |
746.76/747.22 c | 727495 | 1320 110364 369987 | 93095 84192 126 | 0.000 % |
746.96/747.41 c | 727617 | 1320 110364 369987 | 93095 84314 126 | 0.000 % |
747.16/747.68 c | 727751 | 1320 110364 369987 | 93095 84448 126 | 0.000 % |
747.46/747.95 c | 727897 | 1320 110364 369987 | 93095 84594 126 | 0.000 % |
747.76/748.27 c | 728057 | 1320 110364 369987 | 93095 84754 126 | 0.000 % |
748.16/748.65 c | 728233 | 1320 110364 369987 | 93095 84930 126 | 0.000 % |
748.46/748.95 c | 728427 | 1320 110364 369987 | 93095 85124 126 | 0.000 % |
748.86/749.32 c | 728639 | 1320 110364 369987 | 93095 85336 126 | 0.000 % |
749.16/749.68 c | 728872 | 1320 110364 369987 | 93095 85569 126 | 0.000 % |
749.56/750.08 c | 729129 | 1320 110364 369987 | 93095 85826 126 | 0.000 % |
749.96/750.49 c | 729416 | 1320 110364 369987 | 93095 86113 126 | 0.000 % |
750.46/750.96 c | 729727 | 1320 110364 369987 | 93095 86424 126 | 0.000 % |
750.95/751.44 c | 730066 | 1320 110364 369987 | 86697 86763 126 | 0.000 % |
751.86/752.30 c | 730438 | 1320 110364 369987 | 86697 70024 128 | 0.000 % |
752.35/752.81 c | 730848 | 1320 110364 369987 | 86697 70434 128 | 0.000 % |
752.75/753.24 c | 731298 | 1320 110364 369987 | 86697 70884 128 | 0.000 % |
753.25/753.71 c | 731794 | 1320 110364 369987 | 86697 71380 128 | 0.000 % |
753.95/754.46 c | 732337 | 1320 110364 369987 | 86697 71923 128 | 0.000 % |
754.95/755.49 c | 732933 | 1320 110364 369987 | 86697 72519 128 | 0.000 % |
755.85/756.38 c | 733588 | 1320 110364 369987 | 86697 73174 128 | 0.007 % |
756.95/757.42 c | 734309 | 1320 110364 369987 | 86697 73895 129 | 0.000 % |
758.25/758.73 c | 735101 | 1320 110364 369987 | 86697 74687 129 | 0.000 % |
759.25/759.74 c | 735973 | 1320 110364 369987 | 86697 75559 128 | 0.000 % |
760.26/760.72 c | 736931 | 1320 110364 369987 | 86697 76517 128 | 0.000 % |
761.36/761.83 c | 737985 | 1320 110364 369987 | 86697 77571 128 | 0.000 % |
762.76/763.24 c | 739143 | 1320 110364 369987 | 86697 78729 128 | 0.000 % |
764.26/764.74 c | 740417 | 1320 110364 369987 | 79587 80003 128 | 0.010 % |
765.86/766.34 c | 741817 | 1320 110364 369987 | 79587 67344 126 | 0.000 % |
767.26/767.73 c | 743357 | 1320 110364 369987 | 79587 68884 125 | 0.000 % |
769.06/769.53 c | 745054 | 1320 110364 369987 | 79587 70581 124 | 0.010 % |
772.86/773.36 c | 746917 | 1320 110364 369987 | 79587 72444 126 | 0.000 % |
776.16/776.67 c | 748967 | 1320 110364 369987 | 79587 74494 126 | 0.000 % |
779.56/780.10 c | 751220 | 1320 110364 369987 | 75529 64077 122 | 0.000 % |
782.45/782.91 c | 753698 | 1320 110364 369987 | 75529 66555 121 | 0.000 % |
786.06/786.51 c | 756423 | 1320 110364 369987 | 75529 69280 122 | 0.000 % |
790.55/791.03 c | 759421 | 1320 110364 369987 | 75529 72278 122 | 0.000 % |
794.65/795.13 c | 762717 | 1320 110364 369987 | 72859 62015 116 | 0.000 % |
799.05/799.55 c | 766342 | 1320 110364 369987 | 72859 65640 117 | 0.000 % |
804.54/805.06 c | 770334 | 1320 110364 369987 | 69299 69632 117 | 0.000 % |
809.54/810.07 c | 774719 | 1320 110364 369987 | 69299 61270 108 | 0.000 % |
814.84/815.36 c | 779542 | 1320 110364 369987 | 69299 66093 109 | 0.000 % |
820.54/821.01 c | 784849 | 1320 110364 369987 | 66551 63286 111 | 0.000 % |
827.33/827.86 c | 790685 | 1320 110364 369987 | 2147483647 62410 115 | 0.000 % |
834.44/834.98 c | 797109 | 1320 110364 369987 | 2147483647 68834 117 | 0.000 % |
842.43/842.97 c | 804168 | 1320 110364 369987 | 2147483647 75893 119 | 0.000 % |
842.53/843.09 c | 804269 | 1320 110364 369987 | 2147483647 75994 119 | 0.000 % |
842.73/843.24 c | 804379 | 1320 110364 369987 | 2147483647 76104 119 | 0.000 % |
842.93/843.40 c | 804502 | 1320 110364 369987 | 2147483647 76227 119 | 0.000 % |
843.13/843.66 c | 804635 | 1320 110364 369987 | 2147483647 76360 119 | 0.000 % |
843.33/843.85 c | 804783 | 1320 110364 369987 | 2147483647 76508 120 | 0.000 % |
843.53/844.10 c | 804944 | 1320 110364 369987 | 2147483647 76669 120 | 0.000 % |
843.83/844.30 c | 805123 | 1320 110364 369987 | 2147483647 76848 120 | 0.000 % |
844.03/844.54 c | 805317 | 1320 110364 369987 | 2147483647 77042 120 | 0.000 % |
844.23/844.73 c | 805529 | 1320 110364 369987 | 2147483647 77254 120 | 0.000 % |
844.53/845.04 c | 805762 | 1320 110364 369987 | 2147483647 77487 120 | 0.000 % |
844.83/845.40 c | 806018 | 1320 110364 369987 | 2147483647 77743 120 | 0.000 % |
845.33/845.82 c | 806299 | 1320 110364 369987 | 2147483647 78024 120 | 0.000 % |
845.83/846.30 c | 806608 | 1320 110364 369987 | 2147483647 78333 120 | 0.000 % |
846.23/846.74 c | 806947 | 1320 110364 369987 | 2147483647 78672 120 | 0.000 % |
846.63/847.13 c | 807321 | 1320 110364 369987 | 2147483647 79046 120 | 0.000 % |
847.03/847.59 c | 807734 | 1320 110364 369987 | 2147483647 79459 120 | 0.000 % |
847.53/848.08 c | 808183 | 1320 110364 369987 | 2147483647 79908 120 | 0.000 % |
848.13/848.64 c | 808679 | 1320 110364 369987 | 2147483647 80404 120 | 0.000 % |
848.83/849.35 c | 809222 | 1320 110364 369987 | 2147483647 80947 120 | 0.011 % |
849.73/850.26 c | 809818 | 1320 110364 369987 | 2147483647 81543 120 | 0.000 % |
850.43/850.93 c | 810476 | 1320 110364 369987 | 81726 82201 119 | 0.000 % |
851.33/851.89 c | 811196 | 1320 110364 369987 | 81726 73465 118 | 0.000 % |
852.13/852.69 c | 811989 | 1320 110364 369987 | 81726 74258 118 | 0.000 % |
853.23/853.77 c | 812861 | 1320 110364 369987 | 81726 75130 118 | 0.000 % |
854.32/854.86 c | 813823 | 1320 110364 369987 | 81726 76092 117 | 0.000 % |
855.52/856.08 c | 814878 | 1320 110364 369987 | 81726 77147 117 | 0.010 % |
856.72/857.26 c | 816036 | 1320 110364 369987 | 81726 78305 117 | 0.000 % |
858.72/859.27 c | 817310 | 1320 110364 369987 | 81726 79579 118 | 0.000 % |
860.52/861.09 c | 818710 | 1320 110364 369987 | 81726 80979 118 | 0.000 % |
862.52/863.05 c | 820250 | 1320 110364 369987 | 82270 82519 119 | 0.000 % |
864.72/865.28 c | 821945 | 1320 110364 369987 | 82270 72389 118 | 0.000 % |
867.32/867.84 c | 823808 | 1320 110364 369987 | 82270 74252 119 | 0.000 % |
869.42/869.95 c | 825858 | 1320 110364 369987 | 82270 76302 119 | 0.000 % |
872.31/872.89 c | 828111 | 1320 110364 369987 | 82270 78555 119 | 0.000 % |
875.31/875.84 c | 830589 | 1320 110364 369987 | 80446 81033 119 | 0.000 % |
878.51/879.00 c | 833314 | 1320 110364 369987 | 80446 73082 119 | 0.000 % |
881.71/882.20 c | 836311 | 1320 110364 369987 | 80446 76079 120 | 0.000 % |
885.21/885.75 c | 839608 | 1320 110364 369987 | 80446 79376 120 | 0.000 % |
889.01/889.58 c | 843233 | 1320 110364 369987 | 79768 74820 118 | 0.000 % |
893.71/894.23 c | 847222 | 1320 110364 369987 | 79768 78809 116 | 0.010 % |
898.90/899.46 c | 851607 | 1320 110364 369987 | 2147483647 75115 108 | 0.000 % |
903.61/904.18 c | 856430 | 1320 110364 369987 | 2147483647 79938 108 | 0.000 % |
909.60/910.18 c | 861735 | 1320 110364 369987 | 83509 75859 102 | 0.000 % |
916.49/917.00 c | 867571 | 1320 110364 369987 | 83509 81695 102 | 0.000 % |
923.29/923.80 c | 873992 | 1320 110364 369987 | 84126 76498 106 | 0.000 % |
930.39/930.97 c | 881055 | 1320 110364 369987 | 82506 74837 106 | 0.000 % |
938.68/939.29 c | 888819 | 1320 110364 369987 | 82506 82601 110 | 0.000 % |
938.89/939.44 c | 888920 | 1320 110364 369987 | 82506 74442 108 | 0.000 % |
938.98/939.58 c | 889030 | 1320 110364 369987 | 82506 74552 108 | 0.000 % |
939.18/939.72 c | 889153 | 1320 110364 369987 | 82506 74675 108 | 0.000 % |
939.28/939.83 c | 889288 | 1320 110364 369987 | 82506 74810 108 | 0.000 % |
939.38/939.98 c | 889434 | 1320 110364 369987 | 82506 74956 108 | 0.000 % |
939.58/940.12 c | 889594 | 1320 110364 369987 | 82506 75116 108 | 0.009 % |
939.68/940.29 c | 889771 | 1320 110364 369987 | 82506 75293 108 | 0.000 % |
939.89/940.43 c | 889964 | 1320 110364 369987 | 82506 75486 108 | 0.000 % |
940.08/940.66 c | 890177 | 1320 110364 369987 | 2147483647 75699 108 | 0.000 % |
940.28/940.85 c | 890411 | 1320 110364 369987 | 2147483647 75933 108 | 0.000 % |
940.48/941.06 c | 890668 | 1320 110364 369987 | 2147483647 76190 108 | 0.010 % |
940.68/941.27 c | 890949 | 1320 110364 369987 | 2147483647 76471 108 | 0.010 % |
940.99/941.54 c | 891261 | 1320 110364 369987 | 2147483647 76783 108 | 0.010 % |
941.28/941.80 c | 891600 | 1320 110364 369987 | 2147483647 77122 108 | 0.000 % |
941.48/942.06 c | 891972 | 1320 110364 369987 | 2147483647 77494 108 | 0.000 % |
941.88/942.45 c | 892382 | 1320 110364 369987 | 2147483647 77904 108 | 0.000 % |
942.28/942.80 c | 892833 | 1320 110364 369987 | 2147483647 78355 108 | 0.009 % |
942.58/943.17 c | 893326 | 1320 110364 369987 | 2147483647 78848 108 | 0.009 % |
943.08/943.68 c | 893868 | 1320 110364 369987 | 2147483647 79390 108 | 0.010 % |
943.68/944.22 c | 894465 | 1320 110364 369987 | 2147483647 79987 107 | 0.010 % |
944.29/944.89 c | 895123 | 1320 110364 369987 | 2147483647 80645 107 | 0.010 % |
944.98/945.54 c | 895845 | 1320 110364 369987 | 2147483647 81367 107 | 0.000 % |
945.49/946.08 c | 896637 | 1320 110364 369987 | 2147483647 82159 108 | 0.000 % |
946.28/946.83 c | 897508 | 1320 110364 369987 | 2147483647 83030 108 | 0.000 % |
947.28/947.89 c | 898468 | 1320 110364 369987 | 2147483647 83990 109 | 0.000 % |
948.58/949.12 c | 899522 | 1320 110364 369987 | 2147483647 85044 109 | 0.000 % |
949.68/950.27 c | 900683 | 1320 110364 369987 | 2147483647 86205 109 | 0.000 % |
951.08/951.67 c | 901956 | 1320 110364 369987 | 2147483647 87478 110 | 0.000 % |
952.68/953.27 c | 903356 | 1320 110364 369987 | 2147483647 88878 110 | 0.000 % |
954.38/954.91 c | 904896 | 1320 110364 369987 | 2147483647 90418 109 | 0.000 % |
956.08/956.67 c | 906593 | 1320 110364 369987 | 2147483647 92115 110 | 0.000 % |
958.48/959.06 c | 908459 | 1320 110364 369987 | 2147483647 93981 111 | 0.000 % |
961.17/961.71 c | 910509 | 1320 110364 369987 | 2147483647 96031 112 | 0.000 % |
964.18/964.72 c | 912764 | 1320 110364 369987 | 2147483647 98286 113 | 0.000 % |
966.97/967.51 c | 915242 | 1320 110364 369987 | 2147483647 100764 113 | 0.000 % |
970.37/970.97 c | 917967 | 1320 110364 369987 | 2147483647 103489 114 | 0.000 % |
974.17/974.75 c | 920964 | 1320 110364 369987 | 105523 92953 111 | 0.000 % |
978.67/979.26 c | 924264 | 1320 110364 369987 | 105523 96253 112 | 0.000 % |
983.07/983.61 c | 927890 | 1320 110364 369987 | 105523 99879 112 | 0.000 % |
988.16/988.74 c | 931877 | 1320 110364 369987 | 101989 88796 115 | 0.000 % |
992.06/992.66 c | 936264 | 1320 110364 369987 | 101989 93183 114 | 0.000 % |
997.76/998.35 c | 941087 | 1320 110364 369987 | 96922 84024 115 | 0.000 % |
1004.56/1005.18 c | 946392 | 1320 110364 369987 | 96922 89329 118 | 0.000 % |
1010.55/1011.16 c | 952227 | 1320 110364 369987 | 92938 83324 114 | 0.000 % |
1017.55/1018.15 c | 958645 | 1320 110364 369987 | 92938 89742 115 | 0.000 % |
1025.75/1026.30 c | 965704 | 1320 110364 369987 | 91097 85146 112 | 0.000 % |
1034.65/1035.28 c | 973468 | 1320 110364 369987 | 89442 81685 110 | 0.000 % |
1045.24/1045.83 c | 982009 | 1320 110364 369987 | 88217 79395 107 | 0.000 % |
1045.34/1045.98 c | 982109 | 1320 110364 369987 | 88217 79495 107 | 0.000 % |
1045.54/1046.13 c | 982220 | 1320 110364 369987 | 88217 79606 107 | 0.000 % |
1045.64/1046.28 c | 982343 | 1320 110364 369987 | 88217 79729 107 | 0.000 % |
1045.84/1046.44 c | 982477 | 1320 110364 369987 | 88217 79863 107 | 0.000 % |
1045.94/1046.58 c | 982623 | 1320 110364 369987 | 88217 80009 107 | 0.000 % |
1046.14/1046.75 c | 982784 | 1320 110364 369987 | 88217 80170 107 | 0.000 % |
1046.34/1046.91 c | 982960 | 1320 110364 369987 | 88217 80346 107 | 0.000 % |
1046.54/1047.11 c | 983155 | 1320 110364 369987 | 88217 80541 107 | 0.000 % |
1046.74/1047.37 c | 983367 | 1320 110364 369987 | 88217 80753 107 | 0.000 % |
1046.94/1047.58 c | 983600 | 1320 110364 369987 | 88217 80986 107 | 0.000 % |
1047.24/1047.85 c | 983858 | 1320 110364 369987 | 88217 81244 107 | 0.000 % |
1047.54/1048.12 c | 984139 | 1320 110364 369987 | 88217 81525 107 | 0.000 % |
1047.84/1048.49 c | 984449 | 1320 110364 369987 | 88217 81835 107 | 0.011 % |
1048.24/1048.85 c | 984790 | 1320 110364 369987 | 88217 82176 107 | 0.000 % |
1048.54/1049.18 c | 985164 | 1320 110364 369987 | 88217 82550 107 | 0.000 % |
1048.94/1049.54 c | 985573 | 1320 110364 369987 | 88217 82959 107 | 0.000 % |
1049.54/1050.12 c | 986022 | 1320 110364 369987 | 88217 83408 108 | 0.000 % |
1050.14/1050.73 c | 986515 | 1320 110364 369987 | 88217 83901 108 | 0.000 % |
1050.84/1051.44 c | 987059 | 1320 110364 369987 | 88217 84445 108 | 0.000 % |
1051.44/1052.03 c | 987656 | 1320 110364 369987 | 88217 85042 109 | 0.000 % |
1052.14/1052.74 c | 988316 | 1320 110364 369987 | 88217 85702 109 | 0.000 % |
1053.04/1053.61 c | 989037 | 1320 110364 369987 | 88217 86423 109 | 0.000 % |
1053.83/1054.42 c | 989829 | 1320 110364 369987 | 88217 87215 110 | 0.000 % |
1054.83/1055.41 c | 990701 | 1320 110364 369987 | 87386 88087 110 | 0.000 % |
1055.93/1056.57 c | 991663 | 1320 110364 369987 | 87386 79975 109 | 0.000 % |
1056.93/1057.59 c | 992716 | 1320 110364 369987 | 87386 81028 110 | 0.000 % |
1058.33/1058.92 c | 993875 | 1320 110364 369987 | 87386 82187 110 | 0.000 % |
1059.33/1059.94 c | 995148 | 1320 110364 369987 | 87386 83460 110 | 0.000 % |
1060.73/1061.36 c | 996548 | 1320 110364 369987 | 87386 84860 110 | 0.000 % |
1062.33/1062.99 c | 998088 | 1320 110364 369987 | 87386 86400 111 | 0.000 % |
1064.43/1065.09 c | 999783 | 1320 110364 369987 | 87386 88095 113 | 0.000 % |
1066.73/1067.39 c | 1001646 | 1320 110364 369987 | 2147483647 81149 113 | 0.000 % |
1068.73/1069.31 c | 1003696 | 1320 110364 369987 | 2147483647 83199 113 | 0.000 % |
1071.43/1072.00 c | 1005950 | 1320 110364 369987 | 2147483647 85453 113 | 0.000 % |
1074.33/1074.93 c | 1008428 | 1320 110364 369987 | 2147483647 87931 114 | 0.000 % |
1078.03/1078.60 c | 1011153 | 1320 110364 369987 | 89503 80678 114 | 0.000 % |
1081.23/1081.86 c | 1014150 | 1320 110364 369987 | 89503 83675 113 | 0.000 % |
1085.03/1085.62 c | 1017447 | 1320 110364 369987 | 89503 86972 112 | 0.000 % |
1089.12/1089.73 c | 1021073 | 1320 110364 369987 | 89525 79053 107 | 0.000 % |
1093.02/1093.68 c | 1025061 | 1320 110364 369987 | 89525 83041 111 | 0.000 % |
1098.72/1099.35 c | 1029446 | 1320 110364 369987 | 89525 87426 114 | 0.000 % |
1104.12/1104.78 c | 1034271 | 1320 110364 369987 | 87980 81021 116 | 0.000 % |
1111.71/1112.35 c | 1039576 | 1320 110364 369987 | 87980 86326 118 | 0.000 % |
1119.41/1120.01 c | 1045411 | 1320 110364 369987 | 86751 82378 122 | 0.000 % |
1128.71/1129.34 c | 1051829 | 1320 110364 369987 | 86970 76269 124 | 0.000 % |
1139.01/1139.61 c | 1058888 | 1320 110364 369987 | 86970 83328 124 | 0.000 % |
1148.90/1149.51 c | 1066652 | 1320 110364 369987 | 84441 75248 120 | 0.000 % |
1158.90/1159.58 c | 1075192 | 1320 110364 369987 | 78596 70604 119 | 0.000 % |
1170.19/1170.86 c | 1084588 | 1320 110364 369987 | 75415 67949 113 | 0.011 % |
1170.39/1171.02 c | 1084688 | 1320 110364 369987 | 75415 68049 113 | 0.000 % |
1170.49/1171.14 c | 1084798 | 1320 110364 369987 | 75415 68159 113 | 0.000 % |
1170.59/1171.26 c | 1084921 | 1320 110364 369987 | 75415 68282 113 | 0.000 % |
1170.80/1171.42 c | 1085056 | 1320 110364 369987 | 75415 68417 113 | 0.000 % |
1170.99/1171.60 c | 1085203 | 1320 110364 369987 | 75415 68564 113 | 0.000 % |
1171.19/1171.81 c | 1085363 | 1320 110364 369987 | 75415 68724 113 | 0.000 % |
1171.39/1172.01 c | 1085541 | 1320 110364 369987 | 75415 68902 113 | 0.000 % |
1171.59/1172.21 c | 1085734 | 1320 110364 369987 | 75415 69095 113 | 0.000 % |
1171.79/1172.43 c | 1085949 | 1320 110364 369987 | 75415 69310 113 | 0.000 % |
1172.09/1172.72 c | 1086182 | 1320 110364 369987 | 75415 69543 113 | 0.000 % |
1172.29/1172.99 c | 1086438 | 1320 110364 369987 | 75415 69799 113 | 0.000 % |
1172.69/1173.30 c | 1086720 | 1320 110364 369987 | 75415 70081 113 | 0.000 % |
1173.00/1173.61 c | 1087029 | 1320 110364 369987 | 75415 70390 113 | 0.000 % |
1173.39/1174.02 c | 1087368 | 1320 110364 369987 | 75415 70729 113 | 0.000 % |
1173.79/1174.45 c | 1087740 | 1320 110364 369987 | 75415 71101 113 | 0.000 % |
1174.20/1174.83 c | 1088149 | 1320 110364 369987 | 75415 71510 113 | 0.000 % |
1174.69/1175.30 c | 1088599 | 1320 110364 369987 | 75415 71960 113 | 0.009 % |
1175.30/1175.92 c | 1089092 | 1320 110364 369987 | 75415 72453 113 | 0.000 % |
1175.89/1176.54 c | 1089635 | 1320 110364 369987 | 75415 72996 114 | 0.000 % |
1176.59/1177.21 c | 1090231 | 1320 110364 369987 | 73362 73592 114 | 0.000 % |
1177.29/1177.98 c | 1090888 | 1320 110364 369987 | 73362 65407 110 | 0.000 % |
1177.89/1178.58 c | 1091610 | 1320 110364 369987 | 73362 66129 110 | 0.000 % |
1178.49/1179.19 c | 1092402 | 1320 110364 369987 | 73362 66921 110 | 0.000 % |
1179.39/1180.02 c | 1093274 | 1320 110364 369987 | 73362 67793 110 | 0.000 % |
1180.29/1180.96 c | 1094232 | 1320 110364 369987 | 73362 68751 110 | 0.000 % |
1181.29/1181.93 c | 1095286 | 1320 110364 369987 | 73362 69805 110 | 0.000 % |
1182.29/1182.99 c | 1096444 | 1320 110364 369987 | 73362 70963 111 | 0.000 % |
1183.59/1184.28 c | 1097718 | 1320 110364 369987 | 73362 72237 111 | 0.000 % |
1184.79/1185.49 c | 1099118 | 1320 110364 369987 | 73362 73637 112 | 0.000 % |
1186.29/1186.96 c | 1100658 | 1320 110364 369987 | 2147483647 67814 107 | 0.000 % |
1187.78/1188.41 c | 1102354 | 1320 110364 369987 | 2147483647 69510 107 | 0.011 % |
1189.49/1190.11 c | 1104218 | 1320 110364 369987 | 2147483647 71374 106 | 0.000 % |
1191.28/1191.95 c | 1106267 | 1320 110364 369987 | 2147483647 73423 106 | 0.000 % |
1193.48/1194.16 c | 1108523 | 1320 110364 369987 | 2147483647 75679 106 | 0.000 % |
1196.08/1196.71 c | 1111003 | 1320 110364 369987 | 2147483647 78159 107 | 0.000 % |
1199.18/1199.87 c | 1113731 | 1320 110364 369987 | 2147483647 80887 109 | 0.000 % |
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1834125-1242828198/watcher-1834125-1242828198 -o /tmp/evaluation-result-1834125-1242828198/solver-1834125-1242828198 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1834125-1242828198.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.92 0.98 0.99 3/65 10335
/proc/meminfo: memFree=1721600/2055924 swapFree=4157864/4192956
[pid=10335] ppid=10333 vsize=5356 CPUtime=0
/proc/10335/stat : 10335 (SatELiteGTI) S 10333 10335 10050 0 -1 4194304 276 0 0 0 0 0 0 0 18 0 1 0 310849095 5484544 235 1992294400 4194304 4889804 548682068832 18446744073709551615 230266994770 0 0 4100 65536 18446744071563648864 0 0 17 0 0 0
/proc/10335/statm: 1339 235 195 169 0 50 0
[pid=10336] ppid=10335 vsize=5356 CPUtime=0
/proc/10336/stat : 10336 (SatELiteGTI) R 10335 10335 10050 0 -1 4194368 60 188 0 0 0 0 0 0 20 0 1 0 310849096 5484544 238 1992294400 4194304 4889804 548682068832 18446744073709551615 230266660241 0 0 4096 65538 0 0 0 17 0 0 0
/proc/10336/statm: -- couldn't open statm file --
[startup+0.09197 s]
/proc/loadavg: 0.92 0.98 0.99 3/65 10335
/proc/meminfo: memFree=1721600/2055924 swapFree=4157864/4192956
[pid=10335] ppid=10333 vsize=5356 CPUtime=0
/proc/10335/stat : 10335 (SatELiteGTI) S 10333 10335 10050 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310849095 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 230266823492 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/10335/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.101968 s]
/proc/loadavg: 0.92 0.98 0.99 3/65 10335
/proc/meminfo: memFree=1721600/2055924 swapFree=4157864/4192956
[pid=10335] ppid=10333 vsize=5356 CPUtime=0
/proc/10335/stat : 10335 (SatELiteGTI) S 10333 10335 10050 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310849095 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 230266823492 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/10335/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.301985 s]
/proc/loadavg: 0.92 0.98 0.99 3/65 10335
/proc/meminfo: memFree=1721600/2055924 swapFree=4157864/4192956
[pid=10335] ppid=10333 vsize=5356 CPUtime=0
/proc/10335/stat : 10335 (SatELiteGTI) S 10333 10335 10050 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310849095 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 230266823492 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/10335/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.701024 s]
/proc/loadavg: 0.92 0.98 0.99 3/65 10335
/proc/meminfo: memFree=1721600/2055924 swapFree=4157864/4192956
[pid=10335] ppid=10333 vsize=5356 CPUtime=0.6
/proc/10335/stat : 10335 (SatELiteGTI) S 10333 10335 10050 0 -1 4194304 336 2643 0 0 0 0 58 2 15 0 1 0 310849095 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 230266823492 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10335/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.6
Current children cumulated vsize (KiB) 5356
[startup+1.5011 s]
/proc/loadavg: 0.92 0.98 0.99 2/67 10341
/proc/meminfo: memFree=1712048/2055924 swapFree=4157864/4192956
[pid=10335] ppid=10333 vsize=5356 CPUtime=0.6
/proc/10335/stat : 10335 (SatELiteGTI) S 10333 10335 10050 0 -1 4194304 336 2643 0 0 0 0 58 2 15 0 1 0 310849095 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 230266823492 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10335/statm: 1339 239 197 169 0 50 0
[pid=10341] ppid=10335 vsize=9456 CPUtime=0.87
/proc/10341/stat : 10341 (minisat_static) R 10335 10335 10050 0 -1 4194304 2234 0 0 0 86 1 0 0 25 0 1 0 310849157 9682944 2220 1992294400 134512640 135215339 4294956240 18446744073709551615 134527167 0 0 4096 3 0 0 0 17 0 0 0
/proc/10341/statm: 2364 2221 77 171 0 2191 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 14812
[startup+3.10127 s]
/proc/loadavg: 0.92 0.98 0.99 2/67 10341
/proc/meminfo: memFree=1709168/2055924 swapFree=4157864/4192956
[pid=10335] ppid=10333 vsize=5356 CPUtime=0.6
/proc/10335/stat : 10335 (SatELiteGTI) S 10333 10335 10050 0 -1 4194304 336 2643 0 0 0 0 58 2 15 0 1 0 310849095 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 230266823492 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10335/statm: 1339 239 197 169 0 50 0
[pid=10341] ppid=10335 vsize=12900 CPUtime=2.46
/proc/10341/stat : 10341 (minisat_static) R 10335 10335 10050 0 -1 4194304 3086 0 0 0 245 1 0 0 25 0 1 0 310849157 13209600 3072 1992294400 134512640 135215339 4294956240 18446744073709551615 134532927 0 0 4096 3 0 0 0 17 0 0 0
/proc/10341/statm: 3225 3072 77 171 0 3052 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 18256
[startup+6.30161 s]
/proc/loadavg: 1.01 1.00 1.00 2/67 10341
/proc/meminfo: memFree=1703024/2055924 swapFree=4157864/4192956
[pid=10335] ppid=10333 vsize=5356 CPUtime=0.6
/proc/10335/stat : 10335 (SatELiteGTI) S 10333 10335 10050 0 -1 4194304 336 2643 0 0 0 0 58 2 15 0 1 0 310849095 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 230266823492 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10335/statm: 1339 239 197 169 0 50 0
[pid=10341] ppid=10335 vsize=18068 CPUtime=5.66
/proc/10341/stat : 10341 (minisat_static) R 10335 10335 10050 0 -1 4194304 4379 0 0 0 563 3 0 0 25 0 1 0 310849157 18501632 4365 1992294400 134512640 135215339 4294956240 18446744073709551615 134539395 0 0 4096 3 0 0 0 17 0 0 0
/proc/10341/statm: 4517 4365 77 171 0 4344 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 23424
[startup+12.7013 s]
/proc/loadavg: 1.17 1.03 1.01 2/67 10341
/proc/meminfo: memFree=1694256/2055924 swapFree=4157864/4192956
[pid=10335] ppid=10333 vsize=5356 CPUtime=0.6
/proc/10335/stat : 10335 (SatELiteGTI) S 10333 10335 10050 0 -1 4194304 336 2643 0 0 0 0 58 2 15 0 1 0 310849095 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 230266823492 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10335/statm: 1339 239 197 169 0 50 0
[pid=10341] ppid=10335 vsize=26232 CPUtime=12.05
/proc/10341/stat : 10341 (minisat_static) R 10335 10335 10050 0 -1 4194304 6415 0 0 0 1200 5 0 0 25 0 1 0 310849157 26861568 6401 1992294400 134512640 135215339 4294956240 18446744073709551615 134528751 0 0 4096 3 0 0 0 17 0 0 0
/proc/10341/statm: 6558 6401 77 171 0 6385 0
Current children cumulated CPU time (s) 12.65
Current children cumulated vsize (KiB) 31588
[startup+25.5016 s]
/proc/loadavg: 1.13 1.03 1.01 2/67 10341
/proc/meminfo: memFree=1682032/2055924 swapFree=4157864/4192956
[pid=10335] ppid=10333 vsize=5356 CPUtime=0.6
/proc/10335/stat : 10335 (SatELiteGTI) S 10333 10335 10050 0 -1 4194304 336 2643 0 0 0 0 58 2 15 0 1 0 310849095 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 230266823492 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10335/statm: 1339 239 197 169 0 50 0
[pid=10341] ppid=10335 vsize=37968 CPUtime=24.83
/proc/10341/stat : 10341 (minisat_static) R 10335 10335 10050 0 -1 4194304 9355 0 0 0 2475 8 0 0 25 0 1 0 310849157 38879232 9341 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/10341/statm: 9492 9341 77 171 0 9319 0
Current children cumulated CPU time (s) 25.43
Current children cumulated vsize (KiB) 43324
[startup+51.1013 s]
/proc/loadavg: 1.08 1.03 1.01 2/67 10341
/proc/meminfo: memFree=1665136/2055924 swapFree=4157864/4192956
[pid=10335] ppid=10333 vsize=5356 CPUtime=0.6
/proc/10335/stat : 10335 (SatELiteGTI) S 10333 10335 10050 0 -1 4194304 336 2643 0 0 0 0 58 2 15 0 1 0 310849095 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 230266823492 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10335/statm: 1339 239 197 169 0 50 0
[pid=10341] ppid=10335 vsize=55184 CPUtime=50.41
/proc/10341/stat : 10341 (minisat_static) R 10335 10335 10050 0 -1 4194304 13619 0 0 0 5028 13 0 0 25 0 1 0 310849157 56508416 13605 1992294400 134512640 135215339 4294956240 18446744073709551615 134528776 0 0 4096 3 0 0 0 17 0 0 0
/proc/10341/statm: 13796 13605 77 171 0 13623 0
Current children cumulated CPU time (s) 51.01
Current children cumulated vsize (KiB) 60540
[startup+102.306 s]
/proc/loadavg: 1.03 1.02 1.00 2/67 10341
/proc/meminfo: memFree=1646832/2055924 swapFree=4157864/4192956
[pid=10335] ppid=10333 vsize=5356 CPUtime=0.6
/proc/10335/stat : 10335 (SatELiteGTI) S 10333 10335 10050 0 -1 4194304 336 2643 0 0 0 0 58 2 15 0 1 0 310849095 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 230266823492 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10335/statm: 1339 239 197 169 0 50 0
[pid=10341] ppid=10335 vsize=73024 CPUtime=101.58
/proc/10341/stat : 10341 (minisat_static) R 10335 10335 10050 0 -1 4194304 18064 0 0 0 10140 18 0 0 25 0 1 0 310849157 74776576 18050 1992294400 134512640 135215339 4294956240 18446744073709551615 134528728 0 0 4096 3 0 0 0 17 0 0 0
/proc/10341/statm: 18256 18050 77 171 0 18083 0
Current children cumulated CPU time (s) 102.18
Current children cumulated vsize (KiB) 78380
[startup+162.302 s]
/proc/loadavg: 1.01 1.02 1.00 2/67 10341
/proc/meminfo: memFree=1646704/2055924 swapFree=4157864/4192956
[pid=10335] ppid=10333 vsize=5356 CPUtime=0.6
/proc/10335/stat : 10335 (SatELiteGTI) S 10333 10335 10050 0 -1 4194304 336 2643 0 0 0 0 58 2 15 0 1 0 310849095 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 230266823492 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10335/statm: 1339 239 197 169 0 50 0
[pid=10341] ppid=10335 vsize=73024 CPUtime=161.54
/proc/10341/stat : 10341 (minisat_static) R 10335 10335 10050 0 -1 4194304 18064 0 0 0 16135 19 0 0 25 0 1 0 310849157 74776576 18050 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/10341/statm: 18256 18050 77 171 0 18083 0
Current children cumulated CPU time (s) 162.14
Current children cumulated vsize (KiB) 78380
[startup+222.301 s]
/proc/loadavg: 1.00 1.01 1.00 2/67 10341
/proc/meminfo: memFree=1646640/2055924 swapFree=4157864/4192956
[pid=10335] ppid=10333 vsize=5356 CPUtime=0.6
/proc/10335/stat : 10335 (SatELiteGTI) S 10333 10335 10050 0 -1 4194304 336 2643 0 0 0 0 58 2 15 0 1 0 310849095 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 230266823492 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10335/statm: 1339 239 197 169 0 50 0
[pid=10341] ppid=10335 vsize=73024 CPUtime=221.51
/proc/10341/stat : 10341 (minisat_static) R 10335 10335 10050 0 -1 4194304 18064 0 0 0 22132 19 0 0 25 0 1 0 310849157 74776576 18050 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/10341/statm: 18256 18050 77 171 0 18083 0
Current children cumulated CPU time (s) 222.11
Current children cumulated vsize (KiB) 78380
[startup+282.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 10341
/proc/meminfo: memFree=1646640/2055924 swapFree=4157864/4192956
[pid=10335] ppid=10333 vsize=5356 CPUtime=0.6
/proc/10335/stat : 10335 (SatELiteGTI) S 10333 10335 10050 0 -1 4194304 336 2643 0 0 0 0 58 2 15 0 1 0 310849095 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 230266823492 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10335/statm: 1339 239 197 169 0 50 0
[pid=10341] ppid=10335 vsize=73024 CPUtime=281.47
/proc/10341/stat : 10341 (minisat_static) R 10335 10335 10050 0 -1 4194304 18064 0 0 0 28128 19 0 0 25 0 1 0 310849157 74776576 18050 1992294400 134512640 135215339 4294956240 18446744073709551615 134538397 0 0 4096 3 0 0 0 17 0 0 0
/proc/10341/statm: 18256 18050 77 171 0 18083 0
Current children cumulated CPU time (s) 282.07
Current children cumulated vsize (KiB) 78380
[startup+342.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 10341
/proc/meminfo: memFree=1646576/2055924 swapFree=4157864/4192956
[pid=10335] ppid=10333 vsize=5356 CPUtime=0.6
/proc/10335/stat : 10335 (SatELiteGTI) S 10333 10335 10050 0 -1 4194304 336 2643 0 0 0 0 58 2 15 0 1 0 310849095 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 230266823492 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10335/statm: 1339 239 197 169 0 50 0
[pid=10341] ppid=10335 vsize=73024 CPUtime=341.45
/proc/10341/stat : 10341 (minisat_static) R 10335 10335 10050 0 -1 4194304 18064 0 0 0 34125 20 0 0 25 0 1 0 310849157 74776576 18050 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 0 0 0
/proc/10341/statm: 18256 18050 77 171 0 18083 0
Current children cumulated CPU time (s) 342.05
Current children cumulated vsize (KiB) 78380
[startup+402.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 10341
/proc/meminfo: memFree=1646512/2055924 swapFree=4157864/4192956
[pid=10335] ppid=10333 vsize=5356 CPUtime=0.6
/proc/10335/stat : 10335 (SatELiteGTI) S 10333 10335 10050 0 -1 4194304 336 2643 0 0 0 0 58 2 15 0 1 0 310849095 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 230266823492 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10335/statm: 1339 239 197 169 0 50 0
[pid=10341] ppid=10335 vsize=73024 CPUtime=401.42
/proc/10341/stat : 10341 (minisat_static) R 10335 10335 10050 0 -1 4194304 18064 0 0 0 40122 20 0 0 25 0 1 0 310849157 74776576 18050 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/10341/statm: 18256 18050 77 171 0 18083 0
Current children cumulated CPU time (s) 402.02
Current children cumulated vsize (KiB) 78380
################
# More data... #
################
/proc/10341/statm: 18256 18050 77 171 0 18083 0
Current children cumulated CPU time (s) 581.93
Current children cumulated vsize (KiB) 78380
[startup+642.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 10341
/proc/meminfo: memFree=1646384/2055924 swapFree=4157864/4192956
[pid=10335] ppid=10333 vsize=5356 CPUtime=0.6
/proc/10335/stat : 10335 (SatELiteGTI) S 10333 10335 10050 0 -1 4194304 336 2643 0 0 0 0 58 2 15 0 1 0 310849095 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 230266823492 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10335/statm: 1339 239 197 169 0 50 0
[pid=10341] ppid=10335 vsize=73024 CPUtime=641.31
/proc/10341/stat : 10341 (minisat_static) R 10335 10335 10050 0 -1 4194304 18064 0 0 0 64111 20 0 0 25 0 1 0 310849157 74776576 18050 1992294400 134512640 135215339 4294956240 18446744073709551615 134528827 0 0 4096 3 0 0 0 17 0 0 0
/proc/10341/statm: 18256 18050 77 171 0 18083 0
Current children cumulated CPU time (s) 641.91
Current children cumulated vsize (KiB) 78380
[startup+702.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 10341
/proc/meminfo: memFree=1646256/2055924 swapFree=4157864/4192956
[pid=10335] ppid=10333 vsize=5356 CPUtime=0.6
/proc/10335/stat : 10335 (SatELiteGTI) S 10333 10335 10050 0 -1 4194304 336 2643 0 0 0 0 58 2 15 0 1 0 310849095 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 230266823492 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10335/statm: 1339 239 197 169 0 50 0
[pid=10341] ppid=10335 vsize=73024 CPUtime=701.27
/proc/10341/stat : 10341 (minisat_static) R 10335 10335 10050 0 -1 4194304 18064 0 0 0 70107 20 0 0 25 0 1 0 310849157 74776576 18050 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/10341/statm: 18256 18050 77 171 0 18083 0
Current children cumulated CPU time (s) 701.87
Current children cumulated vsize (KiB) 78380
[startup+762.305 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 10341
/proc/meminfo: memFree=1646256/2055924 swapFree=4157864/4192956
[pid=10335] ppid=10333 vsize=5356 CPUtime=0.6
/proc/10335/stat : 10335 (SatELiteGTI) S 10333 10335 10050 0 -1 4194304 336 2643 0 0 0 0 58 2 15 0 1 0 310849095 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 230266823492 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10335/statm: 1339 239 197 169 0 50 0
[pid=10341] ppid=10335 vsize=73024 CPUtime=761.26
/proc/10341/stat : 10341 (minisat_static) R 10335 10335 10050 0 -1 4194304 18064 0 0 0 76105 21 0 0 25 0 1 0 310849157 74776576 18050 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/10341/statm: 18256 18050 77 171 0 18083 0
Current children cumulated CPU time (s) 761.86
Current children cumulated vsize (KiB) 78380
[startup+822.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 10341
/proc/meminfo: memFree=1646128/2055924 swapFree=4157864/4192956
[pid=10335] ppid=10333 vsize=5356 CPUtime=0.6
/proc/10335/stat : 10335 (SatELiteGTI) S 10333 10335 10050 0 -1 4194304 336 2643 0 0 0 0 58 2 15 0 1 0 310849095 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 230266823492 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10335/statm: 1339 239 197 169 0 50 0
[pid=10341] ppid=10335 vsize=73024 CPUtime=821.24
/proc/10341/stat : 10341 (minisat_static) R 10335 10335 10050 0 -1 4194304 18064 0 0 0 82103 21 0 0 25 0 1 0 310849157 74776576 18050 1992294400 134512640 135215339 4294956240 18446744073709551615 134528806 0 0 4096 3 0 0 0 17 0 0 0
/proc/10341/statm: 18256 18050 77 171 0 18083 0
Current children cumulated CPU time (s) 821.84
Current children cumulated vsize (KiB) 78380
[startup+882.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 10341
/proc/meminfo: memFree=1646128/2055924 swapFree=4157864/4192956
[pid=10335] ppid=10333 vsize=5356 CPUtime=0.6
/proc/10335/stat : 10335 (SatELiteGTI) S 10333 10335 10050 0 -1 4194304 336 2643 0 0 0 0 58 2 15 0 1 0 310849095 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 230266823492 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10335/statm: 1339 239 197 169 0 50 0
[pid=10341] ppid=10335 vsize=73024 CPUtime=881.21
/proc/10341/stat : 10341 (minisat_static) R 10335 10335 10050 0 -1 4194304 18064 0 0 0 88100 21 0 0 25 0 1 0 310849157 74776576 18050 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/10341/statm: 18256 18050 77 171 0 18083 0
Current children cumulated CPU time (s) 881.81
Current children cumulated vsize (KiB) 78380
[startup+942.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 10341
/proc/meminfo: memFree=1646064/2055924 swapFree=4157864/4192956
[pid=10335] ppid=10333 vsize=5356 CPUtime=0.6
/proc/10335/stat : 10335 (SatELiteGTI) S 10333 10335 10050 0 -1 4194304 336 2643 0 0 0 0 58 2 15 0 1 0 310849095 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 230266823492 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10335/statm: 1339 239 197 169 0 50 0
[pid=10341] ppid=10335 vsize=73024 CPUtime=941.18
/proc/10341/stat : 10341 (minisat_static) R 10335 10335 10050 0 -1 4194304 18064 0 0 0 94097 21 0 0 25 0 1 0 310849157 74776576 18050 1992294400 134512640 135215339 4294956240 18446744073709551615 134528691 0 0 4096 3 0 0 0 17 0 0 0
/proc/10341/statm: 18256 18050 77 171 0 18083 0
Current children cumulated CPU time (s) 941.78
Current children cumulated vsize (KiB) 78380
[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 10341
/proc/meminfo: memFree=1646064/2055924 swapFree=4157864/4192956
[pid=10335] ppid=10333 vsize=5356 CPUtime=0.6
/proc/10335/stat : 10335 (SatELiteGTI) S 10333 10335 10050 0 -1 4194304 336 2643 0 0 0 0 58 2 15 0 1 0 310849095 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 230266823492 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10335/statm: 1339 239 197 169 0 50 0
[pid=10341] ppid=10335 vsize=73024 CPUtime=1001.16
/proc/10341/stat : 10341 (minisat_static) R 10335 10335 10050 0 -1 4194304 18064 0 0 0 100095 21 0 0 25 0 1 0 310849157 74776576 18050 1992294400 134512640 135215339 4294956240 18446744073709551615 134528872 0 0 4096 3 0 0 0 17 0 0 0
/proc/10341/statm: 18256 18050 77 171 0 18083 0
Current children cumulated CPU time (s) 1001.76
Current children cumulated vsize (KiB) 78380
[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 10341
/proc/meminfo: memFree=1646064/2055924 swapFree=4157864/4192956
[pid=10335] ppid=10333 vsize=5356 CPUtime=0.6
/proc/10335/stat : 10335 (SatELiteGTI) S 10333 10335 10050 0 -1 4194304 336 2643 0 0 0 0 58 2 15 0 1 0 310849095 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 230266823492 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10335/statm: 1339 239 197 169 0 50 0
[pid=10341] ppid=10335 vsize=73024 CPUtime=1061.13
/proc/10341/stat : 10341 (minisat_static) R 10335 10335 10050 0 -1 4194304 18064 0 0 0 106092 21 0 0 25 0 1 0 310849157 74776576 18050 1992294400 134512640 135215339 4294956240 18446744073709551615 134539462 0 0 4096 3 0 0 0 17 0 0 0
/proc/10341/statm: 18256 18050 77 171 0 18083 0
Current children cumulated CPU time (s) 1061.73
Current children cumulated vsize (KiB) 78380
[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 10341
/proc/meminfo: memFree=1646000/2055924 swapFree=4157864/4192956
[pid=10335] ppid=10333 vsize=5356 CPUtime=0.6
/proc/10335/stat : 10335 (SatELiteGTI) S 10333 10335 10050 0 -1 4194304 336 2643 0 0 0 0 58 2 15 0 1 0 310849095 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 230266823492 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10335/statm: 1339 239 197 169 0 50 0
[pid=10341] ppid=10335 vsize=73024 CPUtime=1121.11
/proc/10341/stat : 10341 (minisat_static) R 10335 10335 10050 0 -1 4194304 18064 0 0 0 112090 21 0 0 25 0 1 0 310849157 74776576 18050 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/10341/statm: 18256 18050 77 171 0 18083 0
Current children cumulated CPU time (s) 1121.71
Current children cumulated vsize (KiB) 78380
[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 10341
/proc/meminfo: memFree=1646000/2055924 swapFree=4157864/4192956
[pid=10335] ppid=10333 vsize=5356 CPUtime=0.6
/proc/10335/stat : 10335 (SatELiteGTI) S 10333 10335 10050 0 -1 4194304 336 2643 0 0 0 0 58 2 15 0 1 0 310849095 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 230266823492 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10335/statm: 1339 239 197 169 0 50 0
[pid=10341] ppid=10335 vsize=73024 CPUtime=1181.09
/proc/10341/stat : 10341 (minisat_static) R 10335 10335 10050 0 -1 4194304 18064 0 0 0 118088 21 0 0 25 0 1 0 310849157 74776576 18050 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/10341/statm: 18256 18050 77 171 0 18083 0
Current children cumulated CPU time (s) 1181.69
Current children cumulated vsize (KiB) 78380
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1200.7 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 10341
/proc/meminfo: memFree=1646000/2055924 swapFree=4157864/4192956
[pid=10335] ppid=10333 vsize=5356 CPUtime=0.6
/proc/10335/stat : 10335 (SatELiteGTI) S 10333 10335 10050 0 -1 4194304 336 2643 0 0 0 0 58 2 15 0 1 0 310849095 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 230266823492 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10335/statm: 1339 239 197 169 0 50 0
[pid=10341] ppid=10335 vsize=73024 CPUtime=1199.48
/proc/10341/stat : 10341 (minisat_static) R 10335 10335 10050 0 -1 4194304 18064 0 0 0 119927 21 0 0 25 0 1 0 310849157 74776576 18050 1992294400 134512640 135215339 4294956240 18446744073709551615 134528788 0 0 4096 3 0 0 0 17 0 0 0
/proc/10341/statm: 18256 18050 77 171 0 18083 0
Current children cumulated CPU time (s) 1200.08
Current children cumulated vsize (KiB) 78380
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1200.7 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 10341
/proc/meminfo: memFree=1646000/2055924 swapFree=4157864/4192956
[pid=10335] ppid=10333 vsize=5356 CPUtime=0.6
/proc/10335/stat : 10335 (SatELiteGTI) S 10333 10335 10050 0 -1 4194304 336 2643 0 0 0 0 58 2 15 0 1 0 310849095 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 230266823492 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10335/statm: 1339 239 197 169 0 50 0
[pid=10341] ppid=10335 vsize=73024 CPUtime=1199.48
/proc/10341/stat : 10341 (minisat_static) R 10335 10335 10050 0 -1 4194304 18064 0 0 0 119927 21 0 0 25 0 1 0 310849157 74776576 18050 1992294400 134512640 135215339 4294956240 18446744073709551615 134528788 0 0 4096 3 0 0 0 17 0 0 0
/proc/10341/statm: 18256 18050 77 171 0 18083 0
Current children cumulated CPU time (s) 1200.08
Current children cumulated vsize (KiB) 78380
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 10335 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=586910
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=26995
# CPU time returned by wait4() is 0.613905
# while last known CPU time is 1200.08
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1200.71
CPU time (s): 1200.08
CPU user time (s): 1199.85
CPU system time (s): 0.23
CPU usage (%): 99.9473
Max. virtual memory (cumulated for all children) (KiB): 78380
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.58691
system time used= 0.026995
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2979
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 14
involuntary context switches= 15
runsolver used 1.3288 second user time and 3.16852 second system time
The end
Begin job on node83 at 2009-05-20 16:03:18
IDJOB=1834125
IDBENCH=71511
IDSOLVER=671
FILE ID=node83/1834125-1242828198
PBS_JOBID= 9322518
Free space on /tmp= 66192 MiB
SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT09/CRAFTED/rbsat/crafted/unforced/rbsat-v1375c111739g2.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1834125-1242828198/watcher-1834125-1242828198 -o /tmp/evaluation-result-1834125-1242828198/solver-1834125-1242828198 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1834125-1242828198.cnf
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 4a0161ad7ac9d31215b2f5b6bcc0673a
RANDOM SEED=1567933418
node83.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.222
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.222
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 : 5996.54
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055924 kB
MemFree: 1722080 kB
Buffers: 50112 kB
Cached: 210820 kB
SwapCached: 29496 kB
Active: 96184 kB
Inactive: 196372 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055924 kB
LowFree: 1722080 kB
SwapTotal: 4192956 kB
SwapFree: 4157864 kB
Dirty: 2928 kB
Writeback: 0 kB
Mapped: 15564 kB
Slab: 27320 kB
Committed_AS: 1064580 kB
PageTables: 1392 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264952 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 66188 MiB
End job on node83 at 2009-05-20 16:23:21