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 370782 | -- 0 -- -- | -- | -1375/146039
0.00/0.50 c ==============================================================================
0.00/0.50 c Result : #vars: 1320 #clauses: 110364 #literals: 370782
0.00/0.50 c CPU time: 0.489925 s
0.00/0.50 c ==============================================================================
0.00/0.60 c This is MiniSat 2.0 beta
0.00/0.60 c WARNING: for repeatability, setting FPU to use double precision
0.00/0.60 c ============================[ Problem Statistics ]=============================
0.00/0.60 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 370782 | 36788 0 nan | 0.000 % |
0.00/0.69 c | 101 | 1320 110364 370782 | 36788 101 156 | 0.000 % |
0.60/0.72 c | 201 | 1320 110364 370782 | 36788 201 145 | 0.000 % |
0.60/0.73 c | 302 | 1320 110364 370782 | 36788 302 133 | 0.000 % |
0.60/0.75 c | 412 | 1320 110364 370782 | 36788 412 122 | 0.008 % |
0.60/0.77 c | 514 | 1320 110364 370782 | 36788 514 120 | 0.000 % |
0.60/0.80 c | 625 | 1320 110364 370782 | 36788 625 128 | 0.000 % |
0.60/0.82 c | 749 | 1320 110364 370782 | 36788 749 127 | 0.000 % |
0.60/0.84 c | 849 | 1320 110364 370782 | 36788 849 125 | 0.000 % |
0.60/0.86 c | 959 | 1320 110364 370782 | 36788 959 123 | 0.000 % |
0.60/0.88 c | 1082 | 1320 110364 370782 | 36788 1082 121 | 0.009 % |
0.60/0.90 c | 1216 | 1320 110364 370782 | 36788 1216 123 | 0.000 % |
0.60/0.92 c | 1316 | 1320 110364 370782 | 36788 1316 121 | 0.000 % |
0.60/0.94 c | 1426 | 1320 110364 370782 | 36788 1426 120 | 0.000 % |
0.60/0.96 c | 1548 | 1320 110364 370782 | 36788 1548 118 | 0.000 % |
0.60/0.99 c | 1682 | 1320 110364 370782 | 36788 1682 119 | 0.000 % |
0.98/1.02 c | 1828 | 1320 110364 370782 | 36788 1828 115 | 0.000 % |
0.98/1.04 c | 1928 | 1320 110364 370782 | 36788 1928 114 | 0.000 % |
0.98/1.05 c | 2040 | 1320 110364 370782 | 36788 2040 112 | 0.000 % |
0.98/1.08 c | 2162 | 1320 110364 370782 | 36788 2162 114 | 0.000 % |
0.98/1.10 c | 2295 | 1320 110364 370782 | 36788 2295 113 | 0.000 % |
1.08/1.12 c | 2441 | 1320 110364 370782 | 36788 2441 111 | 0.011 % |
1.08/1.15 c | 2602 | 1320 110364 370782 | 36788 2602 110 | 0.009 % |
1.08/1.17 c | 2703 | 1320 110364 370782 | 36788 2703 110 | 0.009 % |
1.08/1.18 c | 2813 | 1320 110364 370782 | 36788 2813 109 | 0.000 % |
1.18/1.20 c | 2934 | 1320 110364 370782 | 36788 2934 108 | 0.011 % |
1.18/1.23 c | 3067 | 1320 110364 370782 | 36788 3067 109 | 0.010 % |
1.18/1.25 c | 3213 | 1320 110364 370782 | 36788 3213 112 | 0.000 % |
1.18/1.28 c | 3375 | 1320 110364 370782 | 36788 3375 113 | 0.000 % |
1.28/1.30 c | 3552 | 1320 110364 370782 | 36788 3552 112 | 0.000 % |
1.28/1.32 c | 3653 | 1320 110364 370782 | 36788 3653 113 | 0.000 % |
1.28/1.34 c | 3765 | 1320 110364 370782 | 36788 3765 112 | 0.009 % |
1.28/1.36 c | 3886 | 1320 110364 370782 | 36788 3886 112 | 0.010 % |
1.28/1.38 c | 4020 | 1320 110364 370782 | 36788 4020 111 | 0.011 % |
1.38/1.41 c | 4166 | 1320 110364 370782 | 36788 4166 111 | 0.000 % |
1.38/1.44 c | 4328 | 1320 110364 370782 | 36788 4328 110 | 0.000 % |
1.38/1.47 c | 4504 | 1320 110364 370782 | 36788 4504 110 | 0.008 % |
1.48/1.51 c | 4697 | 1320 110364 370782 | 36788 4697 110 | 0.000 % |
1.48/1.52 c | 4797 | 1320 110364 370782 | 36788 4797 110 | 0.000 % |
1.48/1.54 c | 4910 | 1320 110364 370782 | 36788 4910 110 | 0.010 % |
1.48/1.57 c | 5033 | 1320 110364 370782 | 36788 5033 108 | 0.010 % |
1.48/1.59 c | 5166 | 1320 110364 370782 | 36788 5166 109 | 0.000 % |
1.57/1.62 c | 5313 | 1320 110364 370782 | 36788 5313 109 | 0.010 % |
1.57/1.64 c | 5474 | 1320 110364 370782 | 36788 5474 109 | 0.000 % |
1.57/1.68 c | 5650 | 1320 110364 370782 | 36788 5650 108 | 0.010 % |
1.67/1.71 c | 5845 | 1320 110364 370782 | 36788 5845 107 | 0.000 % |
1.67/1.75 c | 6057 | 1320 110364 370782 | 36788 6057 106 | 0.012 % |
1.67/1.78 c | 6157 | 1320 110364 370782 | 36788 6157 106 | 0.000 % |
1.67/1.80 c | 6267 | 1320 110364 370782 | 36788 6267 106 | 0.000 % |
1.77/1.82 c | 6389 | 1320 110364 370782 | 36788 6389 105 | 0.000 % |
1.77/1.84 c | 6523 | 1320 110364 370782 | 36788 6523 105 | 0.011 % |
1.77/1.87 c | 6672 | 1320 110364 370782 | 36788 6672 105 | 0.000 % |
1.87/1.90 c | 6834 | 1320 110364 370782 | 36788 6834 105 | 0.000 % |
1.87/1.94 c | 7010 | 1320 110364 370782 | 36788 7010 104 | 0.010 % |
1.87/1.98 c | 7205 | 1320 110364 370782 | 36788 7205 106 | 0.000 % |
1.97/2.03 c | 7419 | 1320 110364 370782 | 36788 7419 106 | 0.009 % |
1.97/2.08 c | 7652 | 1320 110364 370782 | 36788 7652 106 | 0.000 % |
1.97/2.10 c | 7752 | 1320 110364 370782 | 36788 7752 106 | 0.000 % |
2.07/2.12 c | 7862 | 1320 110364 370782 | 36788 7862 106 | 0.009 % |
2.07/2.14 c | 7983 | 1320 110364 370782 | 36788 7983 105 | 0.009 % |
2.07/2.17 c | 8118 | 1320 110364 370782 | 36788 8118 105 | 0.012 % |
2.07/2.20 c | 8267 | 1320 110364 370782 | 36788 8267 104 | 0.009 % |
2.17/2.23 c | 8427 | 1320 110364 370782 | 36788 8427 103 | 0.010 % |
2.17/2.26 c | 8603 | 1320 110364 370782 | 36788 8603 103 | 0.011 % |
2.26/2.30 c | 8796 | 1320 110364 370782 | 36788 8796 102 | 0.011 % |
2.26/2.34 c | 9008 | 1320 110364 370782 | 36788 9008 102 | 0.009 % |
2.26/2.40 c | 9242 | 1320 110364 370782 | 36788 9242 103 | 0.000 % |
2.36/2.45 c | 9498 | 1320 110364 370782 | 36788 9498 103 | 0.010 % |
2.36/2.47 c | 9599 | 1320 110364 370782 | 36788 9599 103 | 0.000 % |
2.36/2.50 c | 9709 | 1320 110364 370782 | 36788 9709 103 | 0.000 % |
2.46/2.52 c | 9830 | 1320 110364 370782 | 36788 9830 103 | 0.000 % |
2.46/2.54 c | 9964 | 1320 110364 370782 | 36788 9964 103 | 0.000 % |
2.46/2.57 c | 10112 | 1320 110364 370782 | 2147483647 10112 103 | 0.010 % |
2.56/2.61 c | 10273 | 1320 110364 370782 | 2147483647 10273 102 | 0.010 % |
2.56/2.64 c | 10450 | 1320 110364 370782 | 2147483647 10450 102 | 0.000 % |
2.56/2.68 c | 10643 | 1320 110364 370782 | 2147483647 10643 101 | 0.010 % |
2.67/2.72 c | 10857 | 1320 110364 370782 | 2147483647 10857 101 | 0.011 % |
2.67/2.78 c | 11090 | 1320 110364 370782 | 2147483647 11090 100 | 0.011 % |
2.77/2.84 c | 11346 | 1320 110364 370782 | 2147483647 11346 101 | 0.000 % |
2.77/2.89 c | 11627 | 1320 110364 370782 | 2147483647 11627 100 | 0.000 % |
2.87/2.91 c | 11727 | 1320 110364 370782 | 2147483647 11727 100 | 0.010 % |
2.87/2.93 c | 11838 | 1320 110364 370782 | 2147483647 11838 99 | 0.009 % |
2.87/2.96 c | 11959 | 1320 110364 370782 | 2147483647 11959 99 | 0.010 % |
2.87/2.98 c | 12094 | 1320 110364 370782 | 2147483647 12094 99 | 0.000 % |
2.97/3.02 c | 12242 | 1320 110364 370782 | 2147483647 12242 100 | 0.000 % |
2.97/3.06 c | 12402 | 1320 110364 370782 | 2147483647 12402 100 | 0.000 % |
2.97/3.09 c | 12578 | 1320 110364 370782 | 2147483647 12578 99 | 0.011 % |
3.07/3.14 c | 12772 | 1320 110364 370782 | 2147483647 12772 100 | 0.000 % |
3.07/3.18 c | 12984 | 1320 110364 370782 | 2147483647 12984 101 | 0.000 % |
3.17/3.24 c | 13217 | 1320 110364 370782 | 2147483647 13217 101 | 0.008 % |
3.17/3.29 c | 13474 | 1320 110364 370782 | 2147483647 13474 101 | 0.008 % |
3.27/3.36 c | 13758 | 1320 110364 370782 | 2147483647 13758 101 | 0.008 % |
3.36/3.44 c | 14067 | 1320 110364 370782 | 2147483647 14067 101 | 0.000 % |
3.36/3.47 c | 14168 | 1320 110364 370782 | 2147483647 14168 102 | 0.000 % |
3.36/3.50 c | 14278 | 1320 110364 370782 | 2147483647 14278 102 | 0.000 % |
3.46/3.53 c | 14399 | 1320 110364 370782 | 2147483647 14399 101 | 0.000 % |
3.46/3.55 c | 14532 | 1320 110364 370782 | 2147483647 14532 101 | 0.008 % |
3.46/3.59 c | 14679 | 1320 110364 370782 | 2147483647 14679 102 | 0.000 % |
3.56/3.62 c | 14839 | 1320 110364 370782 | 2147483647 14839 102 | 0.011 % |
3.56/3.66 c | 15016 | 1320 110364 370782 | 2147483647 15016 102 | 0.000 % |
3.66/3.70 c | 15211 | 1320 110364 370782 | 2147483647 15211 102 | 0.000 % |
3.66/3.75 c | 15423 | 1320 110364 370782 | 2147483647 15423 102 | 0.000 % |
3.76/3.80 c | 15657 | 1320 110364 370782 | 2147483647 15657 103 | 0.000 % |
3.76/3.86 c | 15914 | 1320 110364 370782 | 2147483647 15914 102 | 0.000 % |
3.86/3.92 c | 16195 | 1320 110364 370782 | 2147483647 16195 102 | 0.011 % |
3.86/3.99 c | 16504 | 1320 110364 370782 | 2147483647 16504 102 | 0.000 % |
3.96/4.07 c | 16845 | 1320 110364 370782 | 2147483647 16845 103 | 0.000 % |
3.96/4.09 c | 16946 | 1320 110364 370782 | 2147483647 16946 103 | 0.007 % |
4.07/4.12 c | 17056 | 1320 110364 370782 | 2147483647 17056 103 | 0.000 % |
4.07/4.15 c | 17177 | 1320 110364 370782 | 2147483647 17177 103 | 0.000 % |
4.07/4.19 c | 17310 | 1320 110364 370782 | 2147483647 17310 102 | 0.000 % |
4.17/4.22 c | 17456 | 1320 110364 370782 | 2147483647 17456 102 | 0.010 % |
4.17/4.25 c | 17616 | 1320 110364 370782 | 2147483647 17616 102 | 0.000 % |
4.17/4.29 c | 17793 | 1320 110364 370782 | 2147483647 17793 101 | 0.000 % |
4.27/4.34 c | 17987 | 1320 110364 370782 | 2147483647 17987 101 | 0.010 % |
4.27/4.39 c | 18200 | 1320 110364 370782 | 2147483647 18200 101 | 0.010 % |
4.37/4.45 c | 18433 | 1320 110364 370782 | 2147483647 18433 101 | 0.010 % |
4.46/4.52 c | 18691 | 1320 110364 370782 | 2147483647 18691 100 | 0.010 % |
4.46/4.59 c | 18972 | 1320 110364 370782 | 2147483647 18972 100 | 0.010 % |
4.56/4.66 c | 19283 | 1320 110364 370782 | 2147483647 19283 100 | 0.010 % |
4.66/4.74 c | 19623 | 1320 110364 370782 | 2147483647 19623 99 | 0.000 % |
4.76/4.81 c | 19995 | 1320 110364 370782 | 2147483647 19995 99 | 0.011 % |
4.76/4.84 c | 20095 | 1320 110364 370782 | 2147483647 20095 99 | 0.009 % |
4.76/4.87 c | 20207 | 1320 110364 370782 | 2147483647 20207 99 | 0.000 % |
4.86/4.90 c | 20328 | 1320 110364 370782 | 2147483647 20328 99 | 0.000 % |
4.86/4.93 c | 20461 | 1320 110364 370782 | 2147483647 20461 99 | 0.009 % |
4.86/4.96 c | 20607 | 1320 110364 370782 | 2147483647 20607 99 | 0.011 % |
4.96/5.00 c | 20767 | 1320 110364 370782 | 2147483647 20767 99 | 0.009 % |
4.96/5.04 c | 20943 | 1320 110364 370782 | 2147483647 20943 98 | 0.000 % |
4.96/5.08 c | 21136 | 1320 110364 370782 | 2147483647 21136 98 | 0.011 % |
5.06/5.14 c | 21349 | 1320 110364 370782 | 2147483647 21349 98 | 0.010 % |
5.06/5.19 c | 21582 | 1320 110364 370782 | 2147483647 21582 98 | 0.009 % |
5.16/5.26 c | 21838 | 1320 110364 370782 | 2147483647 21838 98 | 0.000 % |
5.26/5.34 c | 22119 | 1320 110364 370782 | 2147483647 22119 98 | 0.011 % |
5.36/5.41 c | 22429 | 1320 110364 370782 | 2147483647 22429 98 | 0.011 % |
5.47/5.51 c | 22770 | 1320 110364 370782 | 2147483647 22770 98 | 0.009 % |
5.56/5.60 c | 23142 | 1320 110364 370782 | 2147483647 23142 98 | 0.009 % |
5.56/5.69 c | 23551 | 1320 110364 370782 | 2147483647 23551 98 | 0.009 % |
5.66/5.73 c | 23651 | 1320 110364 370782 | 2147483647 23651 98 | 0.000 % |
5.66/5.76 c | 23763 | 1320 110364 370782 | 2147483647 23763 98 | 0.000 % |
5.66/5.79 c | 23884 | 1320 110364 370782 | 2147483647 23884 98 | 0.010 % |
5.76/5.83 c | 24017 | 1320 110364 370782 | 2147483647 24017 98 | 0.000 % |
5.76/5.88 c | 24165 | 1320 110364 370782 | 2147483647 24165 98 | 0.000 % |
5.86/5.92 c | 24325 | 1320 110364 370782 | 2147483647 24325 98 | 0.011 % |
5.86/5.96 c | 24502 | 1320 110364 370782 | 2147483647 24502 98 | 0.000 % |
5.96/6.02 c | 24696 | 1320 110364 370782 | 2147483647 24696 99 | 0.000 % |
5.96/6.07 c | 24910 | 1320 110364 370782 | 2147483647 24910 99 | 0.000 % |
6.06/6.14 c | 25145 | 1320 110364 370782 | 2147483647 25145 99 | 0.011 % |
6.16/6.20 c | 25401 | 1320 110364 370782 | 2147483647 25401 99 | 0.012 % |
6.16/6.27 c | 25682 | 1320 110364 370782 | 2147483647 25682 98 | 0.011 % |
6.26/6.35 c | 25991 | 1320 110364 370782 | 2147483647 25991 98 | 0.000 % |
6.36/6.46 c | 26330 | 1320 110364 370782 | 2147483647 26330 98 | 0.010 % |
6.47/6.56 c | 26702 | 1320 110364 370782 | 2147483647 26702 98 | 0.010 % |
6.57/6.69 c | 27112 | 1320 110364 370782 | 2147483647 27112 97 | 0.008 % |
6.76/6.80 c | 27564 | 1320 110364 370782 | 2147483647 27564 97 | 0.011 % |
6.76/6.84 c | 27664 | 1320 110364 370782 | 2147483647 27664 97 | 0.000 % |
6.76/6.88 c | 27774 | 1320 110364 370782 | 2147483647 27774 97 | 0.000 % |
6.86/6.92 c | 27895 | 1320 110364 370782 | 2147483647 27895 97 | 0.010 % |
6.86/6.96 c | 28028 | 1320 110364 370782 | 2147483647 28028 97 | 0.010 % |
6.96/7.01 c | 28174 | 1320 110364 370782 | 2147483647 28174 97 | 0.000 % |
6.96/7.05 c | 28334 | 1320 110364 370782 | 2147483647 28334 97 | 0.011 % |
7.06/7.10 c | 28512 | 1320 110364 370782 | 2147483647 28512 97 | 0.011 % |
7.06/7.17 c | 28706 | 1320 110364 370782 | 2147483647 28706 98 | 0.000 % |
7.16/7.24 c | 28918 | 1320 110364 370782 | 2147483647 28918 98 | 0.010 % |
7.26/7.31 c | 29152 | 1320 110364 370782 | 2147483647 29152 98 | 0.000 % |
7.26/7.39 c | 29408 | 1320 110364 370782 | 2147483647 29408 98 | 0.010 % |
7.36/7.48 c | 29689 | 1320 110364 370782 | 2147483647 29689 98 | 0.000 % |
7.45/7.58 c | 29998 | 1320 110364 370782 | 2147483647 29998 99 | 0.000 % |
7.56/7.68 c | 30339 | 1320 110364 370782 | 2147483647 30339 98 | 0.011 % |
7.66/7.79 c | 30711 | 1320 110364 370782 | 2147483647 30711 98 | 0.010 % |
7.85/7.93 c | 31120 | 1320 110364 370782 | 2147483647 31120 98 | 0.010 % |
7.95/8.05 c | 31569 | 1320 110364 370782 | 2147483647 31569 97 | 0.010 % |
8.16/8.24 c | 32065 | 1320 110364 370782 | 2147483647 32065 98 | 0.000 % |
8.16/8.29 c | 32165 | 1320 110364 370782 | 2147483647 32165 98 | 0.000 % |
8.26/8.34 c | 32276 | 1320 110364 370782 | 2147483647 32276 98 | 0.000 % |
8.26/8.38 c | 32397 | 1320 110364 370782 | 2147483647 32397 99 | 0.000 % |
8.36/8.43 c | 32531 | 1320 110364 370782 | 2147483647 32531 99 | 0.010 % |
8.36/8.49 c | 32679 | 1320 110364 370782 | 2147483647 32679 99 | 0.000 % |
8.46/8.55 c | 32839 | 1320 110364 370782 | 2147483647 32839 99 | 0.000 % |
8.56/8.61 c | 33016 | 1320 110364 370782 | 2147483647 33016 99 | 0.000 % |
8.56/8.68 c | 33211 | 1320 110364 370782 | 2147483647 33211 99 | 0.000 % |
8.66/8.76 c | 33423 | 1320 110364 370782 | 2147483647 33423 99 | 0.000 % |
8.76/8.83 c | 33656 | 1320 110364 370782 | 2147483647 33656 99 | 0.000 % |
8.86/8.92 c | 33913 | 1320 110364 370782 | 2147483647 33913 99 | 0.010 % |
8.96/9.01 c | 34195 | 1320 110364 370782 | 2147483647 34195 99 | 0.011 % |
9.06/9.12 c | 34505 | 1320 110364 370782 | 2147483647 34505 99 | 0.010 % |
9.16/9.25 c | 34845 | 1320 110364 370782 | 2147483647 34845 99 | 0.000 % |
9.26/9.39 c | 35217 | 1320 110364 370782 | 2147483647 35217 100 | 0.000 % |
9.46/9.54 c | 35626 | 1320 110364 370782 | 2147483647 35626 99 | 0.000 % |
9.56/9.69 c | 36077 | 1320 110364 370782 | 2147483647 36077 99 | 0.011 % |
9.86/9.91 c | 36570 | 1320 110364 370782 | 2147483647 36570 100 | 0.000 % |
10.06/10.17 c | 37115 | 1320 110364 370782 | 2147483647 37115 101 | 0.000 % |
10.16/10.21 c | 37215 | 1320 110364 370782 | 2147483647 37215 101 | 0.000 % |
10.16/10.25 c | 37327 | 1320 110364 370782 | 2147483647 37327 101 | 0.000 % |
10.26/10.30 c | 37449 | 1320 110364 370782 | 2147483647 37449 101 | 0.000 % |
10.26/10.36 c | 37583 | 1320 110364 370782 | 2147483647 37583 101 | 0.011 % |
10.36/10.43 c | 37729 | 1320 110364 370782 | 2147483647 37729 101 | 0.000 % |
10.36/10.48 c | 37891 | 1320 110364 370782 | 2147483647 37891 101 | 0.000 % |
10.46/10.53 c | 38067 | 1320 110364 370782 | 2147483647 38067 101 | 0.010 % |
10.56/10.60 c | 38262 | 1320 110364 370782 | 2147483647 38262 101 | 0.000 % |
10.56/10.69 c | 38475 | 1320 110364 370782 | 2147483647 38475 101 | 0.000 % |
10.66/10.78 c | 38708 | 1320 110364 370782 | 2147483647 38708 101 | 0.009 % |
10.75/10.86 c | 38965 | 1320 110364 370782 | 2147483647 38965 101 | 0.012 % |
10.87/10.97 c | 39250 | 1320 110364 370782 | 2147483647 39250 101 | 0.012 % |
10.97/11.09 c | 39561 | 1320 110364 370782 | 2147483647 39561 101 | 0.000 % |
11.16/11.22 c | 39901 | 1320 110364 370782 | 2147483647 39901 101 | 0.000 % |
11.26/11.36 c | 40273 | 1320 110364 370782 | 2147483647 40273 101 | 0.000 % |
11.36/11.49 c | 40683 | 1320 110364 370782 | 2147483647 40683 101 | 0.011 % |
11.56/11.66 c | 41132 | 1320 110364 370782 | 2147483647 41132 101 | 0.000 % |
11.76/11.85 c | 41626 | 1320 110364 370782 | 2147483647 41626 101 | 0.011 % |
11.96/12.06 c | 42169 | 1320 110364 370782 | 2147483647 42169 101 | 0.009 % |
12.26/12.31 c | 42766 | 1320 110364 370782 | 2147483647 42766 101 | 0.009 % |
12.26/12.35 c | 42867 | 1320 110364 370782 | 2147483647 42867 101 | 0.000 % |
12.26/12.39 c | 42977 | 1320 110364 370782 | 2147483647 42977 101 | 0.009 % |
12.36/12.44 c | 43098 | 1320 110364 370782 | 2147483647 43098 101 | 0.010 % |
12.46/12.51 c | 43231 | 1320 110364 370782 | 2147483647 43231 101 | 0.000 % |
12.46/12.57 c | 43377 | 1320 110364 370782 | 2147483647 43377 101 | 0.009 % |
12.56/12.64 c | 43537 | 1320 110364 370782 | 2147483647 43537 101 | 0.000 % |
12.66/12.74 c | 43714 | 1320 110364 370782 | 2147483647 43714 101 | 0.000 % |
12.76/12.83 c | 43907 | 1320 110364 370782 | 2147483647 43907 101 | 0.000 % |
12.86/12.92 c | 44119 | 1320 110364 370782 | 2147483647 44119 101 | 0.011 % |
12.96/13.02 c | 44352 | 1320 110364 370782 | 2147483647 44352 101 | 0.000 % |
13.07/13.13 c | 44610 | 1320 110364 370782 | 2147483647 44610 101 | 0.011 % |
13.17/13.25 c | 44891 | 1320 110364 370782 | 2147483647 44891 101 | 0.011 % |
13.26/13.37 c | 45204 | 1320 110364 370782 | 2147483647 45204 100 | 0.011 % |
13.46/13.51 c | 45545 | 1320 110364 370782 | 2147483647 45545 100 | 0.009 % |
13.56/13.68 c | 45919 | 1320 110364 370782 | 2147483647 45919 100 | 0.000 % |
13.76/13.85 c | 46328 | 1320 110364 370782 | 2147483647 46328 100 | 0.009 % |
13.96/14.03 c | 46778 | 1320 110364 370782 | 2147483647 46778 100 | 0.000 % |
14.16/14.22 c | 47272 | 1320 110364 370782 | 2147483647 47272 100 | 0.010 % |
14.36/14.43 c | 47814 | 1320 110364 370782 | 2147483647 47814 100 | 0.010 % |
14.56/14.66 c | 48411 | 1320 110364 370782 | 2147483647 48411 99 | 0.000 % |
14.86/14.93 c | 49066 | 1320 110364 370782 | 2147483647 49066 99 | 0.000 % |
14.86/15.00 c | 49166 | 1320 110364 370782 | 2147483647 49166 99 | 0.000 % |
14.96/15.06 c | 49276 | 1320 110364 370782 | 2147483647 49276 99 | 0.000 % |
15.06/15.12 c | 49398 | 1320 110364 370782 | 2147483647 49398 99 | 0.000 % |
15.06/15.17 c | 49531 | 1320 110364 370782 | 2147483647 49531 99 | 0.010 % |
15.16/15.24 c | 49677 | 1320 110364 370782 | 2147483647 49677 99 | 0.000 % |
15.26/15.32 c | 49838 | 1320 110364 370782 | 2147483647 49838 99 | 0.000 % |
15.26/15.40 c | 50015 | 1320 110364 370782 | 2147483647 50015 99 | 0.000 % |
15.46/15.50 c | 50209 | 1320 110364 370782 | 2147483647 50209 99 | 0.000 % |
15.46/15.59 c | 50423 | 1320 110364 370782 | 2147483647 50423 99 | 0.000 % |
15.56/15.68 c | 50656 | 1320 110364 370782 | 2147483647 50656 99 | 0.000 % |
15.66/15.78 c | 50912 | 1320 110364 370782 | 2147483647 50912 99 | 0.000 % |
15.76/15.89 c | 51194 | 1320 110364 370782 | 2147483647 51194 99 | 0.000 % |
15.95/16.01 c | 51504 | 1320 110364 370782 | 2147483647 51504 99 | 0.000 % |
16.05/16.19 c | 51845 | 1320 110364 370782 | 2147483647 51845 99 | 0.000 % |
16.25/16.39 c | 52220 | 1320 110364 370782 | 2147483647 52220 99 | 0.000 % |
16.55/16.60 c | 52630 | 1320 110364 370782 | 2147483647 52630 99 | 0.000 % |
16.76/16.80 c | 53082 | 1320 110364 370782 | 2147483647 53082 99 | 0.000 % |
16.96/17.05 c | 53575 | 1320 110364 370782 | 2147483647 53575 100 | 0.000 % |
17.26/17.35 c | 54117 | 1320 110364 370782 | 2147483647 54117 100 | 0.000 % |
17.56/17.64 c | 54713 | 1320 110364 370782 | 2147483647 54713 101 | 0.000 % |
17.86/17.90 c | 55368 | 1320 110364 370782 | 2147483647 55368 101 | 0.000 % |
18.15/18.20 c | 56089 | 1320 110364 370782 | 2147483647 56089 101 | 0.000 % |
18.15/18.25 c | 56190 | 1320 110364 370782 | 2147483647 56190 101 | 0.000 % |
18.25/18.31 c | 56300 | 1320 110364 370782 | 2147483647 56300 101 | 0.010 % |
18.25/18.37 c | 56421 | 1320 110364 370782 | 2147483647 56421 101 | 0.011 % |
18.35/18.44 c | 56555 | 1320 110364 370782 | 2147483647 56555 101 | 0.009 % |
18.45/18.52 c | 56702 | 1320 110364 370782 | 2147483647 56702 101 | 0.000 % |
18.56/18.61 c | 56862 | 1320 110364 370782 | 2147483647 56862 101 | 0.000 % |
18.56/18.70 c | 57039 | 1320 110364 370782 | 2147483647 57039 101 | 0.000 % |
18.75/18.81 c | 57232 | 1320 110364 370782 | 2147483647 57232 101 | 0.000 % |
18.85/18.91 c | 57448 | 1320 110364 370782 | 2147483647 57448 101 | 0.000 % |
18.95/19.02 c | 57681 | 1320 110364 370782 | 2147483647 57681 101 | 0.010 % |
19.05/19.13 c | 57937 | 1320 110364 370782 | 2147483647 57937 101 | 0.009 % |
19.15/19.27 c | 58218 | 1320 110364 370782 | 2147483647 58218 101 | 0.009 % |
19.35/19.40 c | 58528 | 1320 110364 370782 | 2147483647 58528 101 | 0.009 % |
19.45/19.57 c | 58869 | 1320 110364 370782 | 2147483647 58869 101 | 0.000 % |
19.67/19.74 c | 59242 | 1320 110364 370782 | 2147483647 59242 101 | 0.000 % |
19.86/19.97 c | 59652 | 1320 110364 370782 | 2147483647 59652 101 | 0.008 % |
20.06/20.17 c | 60102 | 1320 110364 370782 | 2147483647 60102 101 | 0.009 % |
20.36/20.41 c | 60595 | 1320 110364 370782 | 2147483647 60595 101 | 0.011 % |
20.66/20.77 c | 61137 | 1320 110364 370782 | 2147483647 61137 101 | 0.000 % |
20.96/21.09 c | 61733 | 1320 110364 370782 | 2147483647 61733 101 | 0.013 % |
21.46/21.54 c | 62388 | 1320 110364 370782 | 2147483647 62388 101 | 0.000 % |
21.96/22.02 c | 63108 | 1320 110364 370782 | 2147483647 63108 101 | 0.000 % |
22.46/22.58 c | 63901 | 1320 110364 370782 | 2147483647 63901 101 | 0.008 % |
22.56/22.66 c | 64001 | 1320 110364 370782 | 2147483647 64001 101 | 0.000 % |
22.66/22.74 c | 64111 | 1320 110364 370782 | 2147483647 64111 101 | 0.000 % |
22.76/22.81 c | 64233 | 1320 110364 370782 | 2147483647 64233 101 | 0.000 % |
22.76/22.89 c | 64366 | 1320 110364 370782 | 2147483647 64366 101 | 0.000 % |
22.86/22.96 c | 64512 | 1320 110364 370782 | 2147483647 64512 101 | 0.000 % |
22.96/23.08 c | 64675 | 1320 110364 370782 | 2147483647 64675 102 | 0.000 % |
23.06/23.18 c | 64852 | 1320 110364 370782 | 2147483647 64852 102 | 0.000 % |
23.16/23.29 c | 65045 | 1320 110364 370782 | 2147483647 65045 102 | 0.000 % |
23.36/23.44 c | 65257 | 1320 110364 370782 | 2147483647 65257 102 | 0.000 % |
23.46/23.58 c | 65492 | 1320 110364 370782 | 2147483647 65492 102 | 0.010 % |
23.66/23.75 c | 65748 | 1320 110364 370782 | 2147483647 65748 102 | 0.008 % |
23.85/23.90 c | 66031 | 1320 110364 370782 | 2147483647 66031 102 | 0.010 % |
23.95/24.09 c | 66341 | 1320 110364 370782 | 2147483647 66341 102 | 0.000 % |
24.16/24.28 c | 66680 | 1320 110364 370782 | 2147483647 66680 102 | 0.010 % |
24.45/24.51 c | 67052 | 1320 110364 370782 | 2147483647 67052 102 | 0.000 % |
24.75/24.80 c | 67465 | 1320 110364 370782 | 2147483647 67465 102 | 0.000 % |
24.95/25.04 c | 67914 | 1320 110364 370782 | 2147483647 67914 102 | 0.000 % |
25.16/25.27 c | 68408 | 1320 110364 370782 | 2147483647 68408 102 | 0.000 % |
25.55/25.60 c | 68950 | 1320 110364 370782 | 2147483647 68950 102 | 0.010 % |
25.85/25.99 c | 69546 | 1320 110364 370782 | 2147483647 69546 102 | 0.010 % |
26.45/26.53 c | 70201 | 1320 110364 370782 | 2147483647 70201 102 | 0.000 % |
26.96/27.02 c | 70922 | 1320 110364 370782 | 2147483647 70922 103 | 0.000 % |
27.46/27.54 c | 71714 | 1320 110364 370782 | 2147483647 71714 103 | 0.000 % |
27.96/28.08 c | 72586 | 1320 110364 370782 | 2147483647 72586 103 | 0.000 % |
28.06/28.16 c | 72689 | 1320 110364 370782 | 2147483647 72689 103 | 0.000 % |
28.16/28.24 c | 72799 | 1320 110364 370782 | 2147483647 72799 103 | 0.000 % |
28.26/28.30 c | 72920 | 1320 110364 370782 | 2147483647 72920 103 | 0.012 % |
28.26/28.39 c | 73055 | 1320 110364 370782 | 2147483647 73055 103 | 0.000 % |
28.46/28.51 c | 73201 | 1320 110364 370782 | 2147483647 73201 103 | 0.000 % |
28.56/28.60 c | 73361 | 1320 110364 370782 | 2147483647 73361 103 | 0.000 % |
28.65/28.72 c | 73537 | 1320 110364 370782 | 2147483647 73537 103 | 0.000 % |
28.75/28.86 c | 73730 | 1320 110364 370782 | 2147483647 73730 103 | 0.000 % |
28.95/29.00 c | 73942 | 1320 110364 370782 | 2147483647 73942 103 | 0.000 % |
29.05/29.14 c | 74175 | 1320 110364 370782 | 2147483647 74175 103 | 0.000 % |
29.15/29.26 c | 74431 | 1320 110364 370782 | 2147483647 74431 103 | 0.000 % |
29.25/29.39 c | 74714 | 1320 110364 370782 | 2147483647 74714 103 | 0.012 % |
29.45/29.57 c | 75025 | 1320 110364 370782 | 2147483647 75025 103 | 0.012 % |
29.75/29.86 c | 75369 | 1320 110364 370782 | 2147483647 75369 103 | 0.000 % |
30.05/30.10 c | 75743 | 1320 110364 370782 | 2147483647 75743 103 | 0.000 % |
30.25/30.37 c | 76152 | 1320 110364 370782 | 2147483647 76152 103 | 0.010 % |
30.55/30.62 c | 76602 | 1320 110364 370782 | 2147483647 76602 103 | 0.000 % |
30.85/30.95 c | 77095 | 1320 110364 370782 | 2147483647 77095 103 | 0.010 % |
31.25/31.33 c | 77639 | 1320 110364 370782 | 2147483647 77639 104 | 0.000 % |
31.65/31.72 c | 78237 | 1320 110364 370782 | 2147483647 78237 104 | 0.010 % |
32.05/32.14 c | 78894 | 1320 110364 370782 | 2147483647 78894 103 | 0.011 % |
32.55/32.64 c | 79616 | 1320 110364 370782 | 2147483647 79616 103 | 0.011 % |
33.05/33.19 c | 80408 | 1320 110364 370782 | 2147483647 80408 103 | 0.009 % |
33.74/33.80 c | 81280 | 1320 110364 370782 | 2147483647 81280 102 | 0.011 % |
34.35/34.44 c | 82239 | 1320 110364 370782 | 2147483647 82239 102 | 0.009 % |
34.45/34.51 c | 82339 | 1320 110364 370782 | 2147483647 82339 102 | 0.009 % |
34.45/34.59 c | 82451 | 1320 110364 370782 | 2147483647 82451 102 | 0.009 % |
34.55/34.70 c | 82574 | 1320 110364 370782 | 2147483647 82574 102 | 0.011 % |
34.75/34.82 c | 82710 | 1320 110364 370782 | 2147483647 82710 102 | 0.000 % |
34.85/34.93 c | 82856 | 1320 110364 370782 | 2147483647 82856 102 | 0.000 % |
34.95/35.05 c | 83016 | 1320 110364 370782 | 2147483647 83016 102 | 0.011 % |
35.15/35.22 c | 83192 | 1320 110364 370782 | 2147483647 83192 102 | 0.000 % |
35.25/35.36 c | 83385 | 1320 110364 370782 | 2147483647 83385 102 | 0.000 % |
35.45/35.51 c | 83598 | 1320 110364 370782 | 2147483647 83598 102 | 0.000 % |
35.55/35.69 c | 83831 | 1320 110364 370782 | 2147483647 83831 102 | 0.000 % |
35.75/35.87 c | 84087 | 1320 110364 370782 | 2147483647 84087 102 | 0.000 % |
35.95/36.09 c | 84370 | 1320 110364 370782 | 2147483647 84370 102 | 0.000 % |
36.25/36.34 c | 84680 | 1320 110364 370782 | 2147483647 84680 102 | 0.000 % |
36.45/36.57 c | 85019 | 1320 110364 370782 | 2147483647 85019 102 | 0.000 % |
36.75/36.85 c | 85392 | 1320 110364 370782 | 2147483647 85392 102 | 0.000 % |
37.05/37.18 c | 85804 | 1320 110364 370782 | 2147483647 85804 103 | 0.009 % |
37.35/37.45 c | 86254 | 1320 110364 370782 | 2147483647 86254 103 | 0.000 % |
37.65/37.78 c | 86749 | 1320 110364 370782 | 2147483647 86749 103 | 0.000 % |
38.05/38.15 c | 87291 | 1320 110364 370782 | 2147483647 87291 102 | 0.000 % |
38.45/38.59 c | 87888 | 1320 110364 370782 | 2147483647 87888 102 | 0.000 % |
39.04/39.12 c | 88544 | 1320 110364 370782 | 2147483647 88544 102 | 0.000 % |
39.55/39.63 c | 89266 | 1320 110364 370782 | 2147483647 89266 103 | 0.000 % |
39.95/40.09 c | 90058 | 1320 110364 370782 | 2147483647 90058 103 | 0.010 % |
40.75/40.88 c | 90931 | 1320 110364 370782 | 2147483647 90931 103 | 0.000 % |
41.55/41.60 c | 91892 | 1320 110364 370782 | 2147483647 91892 104 | 0.000 % |
42.34/42.46 c | 92945 | 1320 110364 370782 | 2147483647 92945 104 | 0.000 % |
42.44/42.52 c | 93045 | 1320 110364 370782 | 2147483647 93045 104 | 0.000 % |
42.54/42.65 c | 93156 | 1320 110364 370782 | 2147483647 93156 104 | 0.000 % |
42.64/42.76 c | 93278 | 1320 110364 370782 | 2147483647 93278 104 | 0.000 % |
42.75/42.86 c | 93411 | 1320 110364 370782 | 2147483647 93411 104 | 0.000 % |
42.85/42.97 c | 93557 | 1320 110364 370782 | 2147483647 93557 104 | 0.000 % |
43.04/43.11 c | 93717 | 1320 110364 370782 | 2147483647 93717 104 | 0.000 % |
43.14/43.24 c | 93893 | 1320 110364 370782 | 2147483647 93893 104 | 0.000 % |
43.35/43.40 c | 94087 | 1320 110364 370782 | 2147483647 94087 104 | 0.011 % |
43.55/43.62 c | 94302 | 1320 110364 370782 | 2147483647 94302 104 | 0.000 % |
43.75/43.80 c | 94536 | 1320 110364 370782 | 2147483647 94536 104 | 0.000 % |
43.95/44.01 c | 94793 | 1320 110364 370782 | 2147483647 94793 104 | 0.000 % |
44.15/44.22 c | 95075 | 1320 110364 370782 | 2147483647 95075 104 | 0.000 % |
44.35/44.46 c | 95386 | 1320 110364 370782 | 2147483647 95386 104 | 0.000 % |
44.64/44.73 c | 95726 | 1320 110364 370782 | 2147483647 95726 104 | 0.000 % |
44.84/44.99 c | 96098 | 1320 110364 370782 | 2147483647 96098 104 | 0.000 % |
45.25/45.35 c | 96507 | 1320 110364 370782 | 2147483647 96507 105 | 0.000 % |
45.55/45.69 c | 96957 | 1320 110364 370782 | 2147483647 96957 105 | 0.000 % |
45.95/46.02 c | 97450 | 1320 110364 370782 | 2147483647 97450 105 | 0.000 % |
46.25/46.39 c | 97992 | 1320 110364 370782 | 2147483647 97992 105 | 0.011 % |
46.85/46.97 c | 98588 | 1320 110364 370782 | 2147483647 98588 105 | 0.000 % |
47.45/47.53 c | 99243 | 1320 110364 370782 | 2147483647 99243 105 | 0.000 % |
48.05/48.11 c | 99964 | 1320 110364 370782 | 2147483647 99964 105 | 0.000 % |
48.74/48.80 c | 100758 | 1320 110364 370782 | 2147483647 100758 105 | 0.000 % |
49.44/49.52 c | 101629 | 1320 110364 370782 | 2147483647 101629 105 | 0.009 % |
50.24/50.35 c | 102587 | 1320 110364 370782 | 2147483647 102587 105 | 0.009 % |
51.15/51.26 c | 103641 | 1320 110364 370782 | 2147483647 103641 105 | 0.000 % |
52.14/52.22 c | 104799 | 1320 110364 370782 | 2147483647 104799 105 | 0.000 % |
52.24/52.32 c | 104902 | 1320 110364 370782 | 2147483647 104902 105 | 0.012 % |
52.34/52.41 c | 105012 | 1320 110364 370782 | 2147483647 105012 105 | 0.011 % |
52.44/52.53 c | 105133 | 1320 110364 370782 | 2147483647 105133 105 | 0.000 % |
52.54/52.68 c | 105266 | 1320 110364 370782 | 2147483647 105266 105 | 0.000 % |
52.64/52.78 c | 105415 | 1320 110364 370782 | 2147483647 105415 105 | 0.000 % |
52.84/52.95 c | 105575 | 1320 110364 370782 | 2147483647 105575 105 | 0.000 % |
53.04/53.10 c | 105754 | 1320 110364 370782 | 2147483647 105754 106 | 0.000 % |
53.14/53.27 c | 105948 | 1320 110364 370782 | 2147483647 105948 105 | 0.011 % |
53.34/53.44 c | 106160 | 1320 110364 370782 | 2147483647 106160 105 | 0.011 % |
53.54/53.64 c | 106393 | 1320 110364 370782 | 2147483647 106393 105 | 0.000 % |
53.74/53.86 c | 106649 | 1320 110364 370782 | 2147483647 106649 105 | 0.011 % |
54.04/54.12 c | 106930 | 1320 110364 370782 | 2147483647 106930 105 | 0.011 % |
54.24/54.35 c | 107243 | 1320 110364 370782 | 2147483647 107243 105 | 0.011 % |
54.44/54.59 c | 107582 | 1320 110364 370782 | 2147483647 107582 105 | 0.011 % |
54.84/54.96 c | 107955 | 1320 110364 370782 | 2147483647 107955 105 | 0.000 % |
55.24/55.34 c | 108364 | 1320 110364 370782 | 2147483647 108364 105 | 0.000 % |
55.64/55.73 c | 108813 | 1320 110364 370782 | 2147483647 108813 105 | 0.010 % |
56.04/56.14 c | 109308 | 1320 110364 370782 | 2147483647 109308 105 | 0.010 % |
56.45/56.53 c | 109850 | 1320 110364 370782 | 2147483647 109850 105 | 0.011 % |
56.84/56.96 c | 110447 | 1320 110364 370782 | 2147483647 110447 105 | 0.011 % |
57.34/57.49 c | 111105 | 1320 110364 370782 | 2147483647 111105 105 | 0.011 % |
57.94/58.05 c | 111826 | 1320 110364 370782 | 2147483647 111826 104 | 0.008 % |
58.54/58.62 c | 112618 | 1320 110364 370782 | 2147483647 112618 104 | 0.011 % |
59.35/59.46 c | 113489 | 1320 110364 370782 | 2147483647 113489 104 | 0.000 % |
60.34/60.49 c | 114447 | 1320 110364 370782 | 2147483647 114447 104 | 0.009 % |
61.24/61.36 c | 115500 | 1320 110364 370782 | 2147483647 115500 104 | 0.009 % |
62.44/62.50 c | 116658 | 1320 110364 370782 | 2147483647 116658 104 | 0.000 % |
63.64/63.71 c | 117931 | 1320 110364 370782 | 2147483647 117931 104 | 0.000 % |
63.74/63.83 c | 118032 | 1320 110364 370782 | 2147483647 118032 104 | 0.000 % |
63.84/63.98 c | 118143 | 1320 110364 370782 | 2147483647 118143 104 | 0.000 % |
64.04/64.11 c | 118264 | 1320 110364 370782 | 2147483647 118264 104 | 0.000 % |
64.14/64.21 c | 118397 | 1320 110364 370782 | 2147483647 118397 104 | 0.010 % |
64.24/64.36 c | 118543 | 1320 110364 370782 | 2147483647 118543 104 | 0.000 % |
64.44/64.56 c | 118703 | 1320 110364 370782 | 2147483647 118703 104 | 0.000 % |
64.54/64.70 c | 118880 | 1320 110364 370782 | 2147483647 118880 104 | 0.000 % |
64.74/64.85 c | 119073 | 1320 110364 370782 | 2147483647 119073 105 | 0.000 % |
64.94/65.04 c | 119286 | 1320 110364 370782 | 2147483647 119286 105 | 0.000 % |
65.14/65.23 c | 119522 | 1320 110364 370782 | 2147483647 119522 105 | 0.000 % |
65.34/65.44 c | 119782 | 1320 110364 370782 | 2147483647 119782 105 | 0.000 % |
65.64/65.70 c | 120067 | 1320 110364 370782 | 2147483647 120067 105 | 0.000 % |
65.94/66.07 c | 120376 | 1320 110364 370782 | 2147483647 120376 105 | 0.000 % |
66.24/66.35 c | 120716 | 1320 110364 370782 | 2147483647 120716 105 | 0.000 % |
66.54/66.68 c | 121090 | 1320 110364 370782 | 2147483647 121090 105 | 0.000 % |
66.94/67.07 c | 121502 | 1320 110364 370782 | 2147483647 121502 105 | 0.000 % |
67.54/67.65 c | 121952 | 1320 110364 370782 | 2147483647 121952 105 | 0.000 % |
68.04/68.14 c | 122446 | 1320 110364 370782 | 2147483647 122446 105 | 0.000 % |
68.54/68.68 c | 122992 | 1320 110364 370782 | 2147483647 122992 105 | 0.000 % |
69.14/69.27 c | 123592 | 1320 110364 370782 | 2147483647 123592 105 | 0.000 % |
70.03/70.13 c | 124248 | 1320 110364 370782 | 2147483647 124248 105 | 0.000 % |
70.73/70.84 c | 124968 | 1320 110364 370782 | 2147483647 124968 105 | 0.000 % |
71.44/71.54 c | 125763 | 1320 110364 370782 | 2147483647 125763 105 | 0.010 % |
72.14/72.29 c | 126634 | 1320 110364 370782 | 2147483647 126634 105 | 0.010 % |
73.04/73.13 c | 127593 | 1320 110364 370782 | 2147483647 127593 105 | 0.010 % |
74.13/74.29 c | 128649 | 1320 110364 370782 | 2147483647 128649 105 | 0.000 % |
75.43/75.58 c | 129807 | 1320 110364 370782 | 2147483647 129807 105 | 0.000 % |
76.73/76.86 c | 131082 | 1320 110364 370782 | 2147483647 131082 105 | 0.000 % |
78.43/78.59 c | 132484 | 1320 110364 370782 | 2147483647 132484 105 | 0.000 % |
78.63/78.72 c | 132584 | 1320 110364 370782 | 2147483647 132584 106 | 0.000 % |
78.74/78.87 c | 132697 | 1320 110364 370782 | 2147483647 132697 106 | 0.000 % |
78.84/78.99 c | 132819 | 1320 110364 370782 | 2147483647 132819 106 | 0.000 % |
79.04/79.14 c | 132952 | 1320 110364 370782 | 2147483647 132952 106 | 0.000 % |
79.24/79.31 c | 133102 | 1320 110364 370782 | 2147483647 133102 106 | 0.000 % |
79.44/79.50 c | 133263 | 1320 110364 370782 | 2147483647 133263 106 | 0.000 % |
79.54/79.65 c | 133439 | 1320 110364 370782 | 2147483647 133439 106 | 0.011 % |
79.73/79.85 c | 133633 | 1320 110364 370782 | 2147483647 133633 105 | 0.000 % |
79.93/80.09 c | 133845 | 1320 110364 370782 | 2147483647 133845 105 | 0.000 % |
80.24/80.39 c | 134078 | 1320 110364 370782 | 2147483647 134078 105 | 0.009 % |
80.63/80.72 c | 134334 | 1320 110364 370782 | 2147483647 134334 105 | 0.000 % |
80.83/80.99 c | 134615 | 1320 110364 370782 | 2147483647 134615 105 | 0.000 % |
81.34/81.41 c | 134925 | 1320 110364 370782 | 2147483647 134925 105 | 0.000 % |
81.63/81.76 c | 135267 | 1320 110364 370782 | 2147483647 135267 105 | 0.009 % |
82.03/82.12 c | 135641 | 1320 110364 370782 | 2147483647 135641 105 | 0.009 % |
82.44/82.58 c | 136051 | 1320 110364 370782 | 2147483647 136051 105 | 0.008 % |
83.13/83.22 c | 136500 | 1320 110364 370782 | 2147483647 136500 105 | 0.000 % |
83.73/83.85 c | 136994 | 1320 110364 370782 | 2147483647 136994 106 | 0.000 % |
84.33/84.40 c | 137540 | 1320 110364 370782 | 2147483647 137540 106 | 0.000 % |
85.03/85.19 c | 138136 | 1320 110364 370782 | 2147483647 138136 106 | 0.000 % |
85.83/85.90 c | 138792 | 1320 110364 370782 | 2147483647 138792 106 | 0.011 % |
86.43/86.57 c | 139513 | 1320 110364 370782 | 2147483647 139513 106 | 0.000 % |
87.73/87.80 c | 140306 | 1320 110364 370782 | 2147483647 140306 106 | 0.000 % |
88.73/88.82 c | 141180 | 1320 110364 370782 | 2147483647 141180 106 | 0.000 % |
89.83/89.99 c | 142139 | 1320 110364 370782 | 2147483647 142139 106 | 0.000 % |
91.03/91.12 c | 143195 | 1320 110364 370782 | 2147483647 143195 106 | 0.000 % |
92.13/92.23 c | 144353 | 1320 110364 370782 | 2147483647 144353 106 | 0.000 % |
93.43/93.52 c | 145628 | 1320 110364 370782 | 2147483647 145628 106 | 0.010 % |
94.62/94.77 c | 147029 | 1320 110364 370782 | 2147483647 147029 106 | 0.010 % |
96.92/97.03 c | 148571 | 1320 110364 370782 | 2147483647 148571 106 | 0.000 % |
97.12/97.23 c | 148672 | 1320 110364 370782 | 2147483647 148672 106 | 0.000 % |
97.22/97.38 c | 148786 | 1320 110364 370782 | 2147483647 148786 106 | 0.000 % |
97.42/97.52 c | 148907 | 1320 110364 370782 | 2147483647 148907 106 | 0.000 % |
97.52/97.69 c | 149040 | 1320 110364 370782 | 2147483647 149040 106 | 0.000 % |
97.74/97.89 c | 149186 | 1320 110364 370782 | 2147483647 149186 106 | 0.000 % |
97.93/98.05 c | 149347 | 1320 110364 370782 | 2147483647 149347 106 | 0.000 % |
98.13/98.25 c | 149524 | 1320 110364 370782 | 2147483647 149524 106 | 0.000 % |
98.43/98.53 c | 149717 | 1320 110364 370782 | 2147483647 149717 106 | 0.000 % |
98.73/98.82 c | 149929 | 1320 110364 370782 | 2147483647 149929 106 | 0.000 % |
99.03/99.13 c | 150162 | 1320 110364 370782 | 150000 150162 106 | 0.000 % |
99.53/99.64 c | 150420 | 1320 110364 370782 | 150000 132712 106 | 0.000 % |
99.83/99.96 c | 150704 | 1320 110364 370782 | 150000 132996 106 | 0.000 % |
100.23/100.30 c | 151013 | 1320 110364 370782 | 150000 133305 106 | 0.009 % |
100.63/100.72 c | 151352 | 1320 110364 370782 | 150000 133644 106 | 0.000 % |
101.03/101.15 c | 151724 | 1320 110364 370782 | 150000 134016 106 | 0.000 % |
101.43/101.58 c | 152133 | 1320 110364 370782 | 150000 134425 106 | 0.000 % |
101.93/102.05 c | 152586 | 1320 110364 370782 | 150000 134878 106 | 0.000 % |
102.63/102.76 c | 153080 | 1320 110364 370782 | 150000 135372 107 | 0.000 % |
103.43/103.59 c | 153625 | 1320 110364 370782 | 150000 135917 107 | 0.000 % |
104.13/104.25 c | 154223 | 1320 110364 370782 | 150000 136515 107 | 0.008 % |
105.03/105.10 c | 154880 | 1320 110364 370782 | 150000 137172 107 | 0.000 % |
105.93/106.09 c | 155601 | 1320 110364 370782 | 150000 137893 106 | 0.008 % |
106.93/107.04 c | 156396 | 1320 110364 370782 | 150000 138688 106 | 0.000 % |
108.03/108.14 c | 157268 | 1320 110364 370782 | 150000 139560 106 | 0.008 % |
109.13/109.24 c | 158226 | 1320 110364 370782 | 150000 140518 106 | 0.000 % |
110.23/110.39 c | 159279 | 1320 110364 370782 | 150000 141571 106 | 0.012 % |
111.63/111.75 c | 160438 | 1320 110364 370782 | 142293 142730 106 | 0.012 % |
113.32/113.40 c | 161712 | 1320 110364 370782 | 142293 126535 103 | 0.009 % |
114.73/114.81 c | 163112 | 1320 110364 370782 | 142293 127935 103 | 0.009 % |
116.32/116.47 c | 164652 | 1320 110364 370782 | 142293 129475 103 | 0.000 % |
117.92/118.05 c | 166346 | 1320 110364 370782 | 142293 131169 102 | 0.012 % |
118.02/118.16 c | 166446 | 1320 110364 370782 | 142293 131269 102 | 0.000 % |
118.12/118.29 c | 166557 | 1320 110364 370782 | 142293 131380 102 | 0.010 % |
118.32/118.49 c | 166678 | 1320 110364 370782 | 142293 131501 102 | 0.000 % |
118.52/118.66 c | 166812 | 1320 110364 370782 | 142293 131635 102 | 0.000 % |
118.72/118.85 c | 166959 | 1320 110364 370782 | 142293 131782 102 | 0.000 % |
118.92/119.04 c | 167119 | 1320 110364 370782 | 142293 131942 102 | 0.000 % |
119.22/119.30 c | 167296 | 1320 110364 370782 | 142293 132119 102 | 0.010 % |
119.32/119.45 c | 167489 | 1320 110364 370782 | 142293 132312 102 | 0.010 % |
119.52/119.66 c | 167701 | 1320 110364 370782 | 142293 132524 102 | 0.010 % |
119.82/119.94 c | 167935 | 1320 110364 370782 | 142293 132758 102 | 0.010 % |
120.11/120.27 c | 168191 | 1320 110364 370782 | 142293 133014 102 | 0.000 % |
120.41/120.56 c | 168472 | 1320 110364 370782 | 142293 133295 102 | 0.010 % |
120.71/120.89 c | 168784 | 1320 110364 370782 | 142293 133607 102 | 0.010 % |
121.11/121.25 c | 169123 | 1320 110364 370782 | 142293 133946 102 | 0.010 % |
121.51/121.63 c | 169495 | 1320 110364 370782 | 142293 134318 102 | 0.010 % |
121.91/122.05 c | 169904 | 1320 110364 370782 | 142293 134727 102 | 0.011 % |
122.50/122.62 c | 170354 | 1320 110364 370782 | 134823 135177 102 | 0.000 % |
123.11/123.22 c | 170847 | 1320 110364 370782 | 134823 119770 101 | 0.000 % |
123.71/123.82 c | 171389 | 1320 110364 370782 | 134823 120312 101 | 0.011 % |
124.30/124.43 c | 171986 | 1320 110364 370782 | 134823 120909 101 | 0.000 % |
124.90/125.09 c | 172641 | 1320 110364 370782 | 134823 121564 101 | 0.009 % |
125.60/125.71 c | 173361 | 1320 110364 370782 | 134823 122284 100 | 0.009 % |
126.31/126.43 c | 174154 | 1320 110364 370782 | 134823 123077 100 | 0.009 % |
127.10/127.28 c | 175025 | 1320 110364 370782 | 134823 123948 100 | 0.009 % |
128.30/128.45 c | 175983 | 1320 110364 370782 | 134823 124906 101 | 0.000 % |
129.40/129.54 c | 177036 | 1320 110364 370782 | 134823 125959 101 | 0.000 % |
131.00/131.12 c | 178196 | 1320 110364 370782 | 134823 127119 101 | 0.000 % |
132.60/132.78 c | 179469 | 1320 110364 370782 | 134823 128392 101 | 0.000 % |
134.30/134.47 c | 180871 | 1320 110364 370782 | 128923 129794 101 | 0.000 % |
136.40/136.55 c | 182412 | 1320 110364 370782 | 128923 115168 99 | 0.010 % |
138.30/138.45 c | 184106 | 1320 110364 370782 | 128923 116862 99 | 0.000 % |
140.40/140.54 c | 185969 | 1320 110364 370782 | 128923 118725 98 | 0.008 % |
140.50/140.67 c | 186074 | 1320 110364 370782 | 128923 118830 98 | 0.000 % |
140.70/140.85 c | 186187 | 1320 110364 370782 | 128923 118943 98 | 0.000 % |
140.80/140.99 c | 186308 | 1320 110364 370782 | 128923 119064 98 | 0.010 % |
141.00/141.12 c | 186441 | 1320 110364 370782 | 128923 119197 98 | 0.010 % |
141.20/141.30 c | 186588 | 1320 110364 370782 | 128923 119344 98 | 0.010 % |
141.40/141.51 c | 186750 | 1320 110364 370782 | 128923 119506 98 | 0.000 % |
141.50/141.69 c | 186926 | 1320 110364 370782 | 128923 119682 98 | 0.010 % |
141.80/141.91 c | 187120 | 1320 110364 370782 | 128923 119876 99 | 0.000 % |
142.00/142.15 c | 187333 | 1320 110364 370782 | 128923 120089 99 | 0.000 % |
142.20/142.37 c | 187566 | 1320 110364 370782 | 128923 120322 99 | 0.010 % |
142.60/142.73 c | 187823 | 1320 110364 370782 | 128923 120579 99 | 0.000 % |
143.00/143.11 c | 188104 | 1320 110364 370782 | 128923 120860 99 | 0.000 % |
143.20/143.36 c | 188413 | 1320 110364 370782 | 128923 121169 99 | 0.011 % |
143.50/143.65 c | 188752 | 1320 110364 370782 | 128923 121508 99 | 0.000 % |
143.90/144.04 c | 189124 | 1320 110364 370782 | 128923 121880 99 | 0.000 % |
144.30/144.42 c | 189534 | 1320 110364 370782 | 128923 122290 99 | 0.000 % |
144.90/145.01 c | 189985 | 1320 110364 370782 | 128923 122741 99 | 0.000 % |
145.50/145.64 c | 190478 | 1320 110364 370782 | 122757 123234 99 | 0.000 % |
146.20/146.39 c | 191021 | 1320 110364 370782 | 122757 109513 97 | 0.000 % |
147.00/147.11 c | 191617 | 1320 110364 370782 | 122757 110109 98 | 0.000 % |
147.60/147.75 c | 192274 | 1320 110364 370782 | 122757 110766 98 | 0.000 % |
148.30/148.46 c | 192994 | 1320 110364 370782 | 122757 111486 98 | 0.008 % |
149.00/149.15 c | 193788 | 1320 110364 370782 | 122757 112280 98 | 0.008 % |
149.90/150.00 c | 194661 | 1320 110364 370782 | 122757 113153 98 | 0.000 % |
150.60/150.77 c | 195619 | 1320 110364 370782 | 122757 114111 98 | 0.011 % |
151.50/151.68 c | 196672 | 1320 110364 370782 | 122757 115164 97 | 0.000 % |
152.80/152.95 c | 197833 | 1320 110364 370782 | 122757 116325 97 | 0.000 % |
153.99/154.18 c | 199107 | 1320 110364 370782 | 122757 117599 97 | 0.010 % |
155.49/155.62 c | 200507 | 1320 110364 370782 | 2147483647 118999 96 | 0.009 % |
157.10/157.21 c | 202047 | 1320 110364 370782 | 2147483647 120539 97 | 0.000 % |
158.99/159.13 c | 203742 | 1320 110364 370782 | 2147483647 122234 98 | 0.000 % |
161.09/161.29 c | 205605 | 1320 110364 370782 | 2147483647 124097 99 | 0.000 % |
163.39/163.55 c | 207655 | 1320 110364 370782 | 2147483647 126147 100 | 0.000 % |
163.49/163.66 c | 207755 | 1320 110364 370782 | 2147483647 126247 100 | 0.000 % |
163.59/163.77 c | 207865 | 1320 110364 370782 | 2147483647 126357 100 | 0.012 % |
163.79/163.95 c | 207987 | 1320 110364 370782 | 2147483647 126479 100 | 0.008 % |
163.98/164.13 c | 208121 | 1320 110364 370782 | 2147483647 126613 100 | 0.000 % |
164.08/164.29 c | 208270 | 1320 110364 370782 | 2147483647 126762 100 | 0.011 % |
164.28/164.47 c | 208430 | 1320 110364 370782 | 2147483647 126922 100 | 0.011 % |
164.48/164.66 c | 208607 | 1320 110364 370782 | 2147483647 127099 100 | 0.008 % |
164.68/164.84 c | 208801 | 1320 110364 370782 | 2147483647 127293 100 | 0.000 % |
164.89/165.05 c | 209015 | 1320 110364 370782 | 2147483647 127507 100 | 0.010 % |
165.28/165.45 c | 209249 | 1320 110364 370782 | 2147483647 127741 100 | 0.000 % |
165.58/165.72 c | 209507 | 1320 110364 370782 | 2147483647 127999 100 | 0.000 % |
165.99/166.10 c | 209790 | 1320 110364 370782 | 2147483647 128282 100 | 0.000 % |
166.18/166.37 c | 210099 | 1320 110364 370782 | 128492 128591 100 | 0.000 % |
166.78/166.92 c | 210439 | 1320 110364 370782 | 128492 115488 98 | 0.000 % |
167.18/167.33 c | 210811 | 1320 110364 370782 | 128492 115860 98 | 0.000 % |
167.48/167.66 c | 211220 | 1320 110364 370782 | 128492 116269 98 | 0.000 % |
167.98/168.11 c | 211669 | 1320 110364 370782 | 128492 116718 98 | 0.000 % |
168.48/168.63 c | 212163 | 1320 110364 370782 | 128492 117212 98 | 0.000 % |
168.98/169.18 c | 212707 | 1320 110364 370782 | 128492 117756 98 | 0.011 % |
169.58/169.76 c | 213303 | 1320 110364 370782 | 128492 118352 98 | 0.000 % |
170.18/170.39 c | 213960 | 1320 110364 370782 | 128492 119009 98 | 0.000 % |
170.98/171.15 c | 214680 | 1320 110364 370782 | 128492 119729 98 | 0.000 % |
171.88/172.08 c | 215472 | 1320 110364 370782 | 128492 120521 98 | 0.010 % |
172.78/172.98 c | 216344 | 1320 110364 370782 | 128492 121393 98 | 0.010 % |
173.78/173.93 c | 217302 | 1320 110364 370782 | 128492 122351 97 | 0.011 % |
174.79/174.96 c | 218355 | 1320 110364 370782 | 128492 123404 97 | 0.011 % |
175.88/176.03 c | 219513 | 1320 110364 370782 | 128492 124562 97 | 0.010 % |
177.58/177.75 c | 220786 | 1320 110364 370782 | 2147483647 125835 98 | 0.000 % |
179.08/179.26 c | 222190 | 1320 110364 370782 | 2147483647 127239 98 | 0.000 % |
180.68/180.88 c | 223730 | 1320 110364 370782 | 2147483647 128779 98 | 0.000 % |
182.38/182.54 c | 225424 | 1320 110364 370782 | 2147483647 130473 98 | 0.000 % |
184.18/184.37 c | 227288 | 1320 110364 370782 | 2147483647 132337 98 | 0.010 % |
186.68/186.84 c | 229337 | 1320 110364 370782 | 2147483647 134386 98 | 0.000 % |
189.18/189.31 c | 231592 | 1320 110364 370782 | 2147483647 136641 97 | 0.000 % |
189.37/189.51 c | 231694 | 1320 110364 370782 | 2147483647 136743 97 | 0.000 % |
189.47/189.66 c | 231806 | 1320 110364 370782 | 2147483647 136855 97 | 0.000 % |
189.67/189.83 c | 231927 | 1320 110364 370782 | 2147483647 136976 97 | 0.000 % |
189.87/190.00 c | 232062 | 1320 110364 370782 | 2147483647 137111 97 | 0.009 % |
190.08/190.23 c | 232211 | 1320 110364 370782 | 2147483647 137260 98 | 0.000 % |
190.27/190.45 c | 232372 | 1320 110364 370782 | 2147483647 137421 98 | 0.000 % |
190.47/190.67 c | 232548 | 1320 110364 370782 | 2147483647 137597 98 | 0.000 % |
190.77/190.97 c | 232741 | 1320 110364 370782 | 2147483647 137790 98 | 0.000 % |
191.18/191.32 c | 232953 | 1320 110364 370782 | 2147483647 138002 98 | 0.010 % |
191.38/191.57 c | 233188 | 1320 110364 370782 | 2147483647 138237 98 | 0.000 % |
191.77/191.95 c | 233444 | 1320 110364 370782 | 2147483647 138493 98 | 0.000 % |
192.07/192.28 c | 233725 | 1320 110364 370782 | 2147483647 138774 98 | 0.000 % |
192.47/192.63 c | 234034 | 1320 110364 370782 | 2147483647 139083 98 | 0.010 % |
192.87/193.10 c | 234377 | 1320 110364 370782 | 2147483647 139426 98 | 0.000 % |
193.38/193.54 c | 234750 | 1320 110364 370782 | 2147483647 139799 98 | 0.000 % |
193.97/194.11 c | 235163 | 1320 110364 370782 | 2147483647 140212 98 | 0.000 % |
194.48/194.62 c | 235613 | 1320 110364 370782 | 2147483647 140662 98 | 0.000 % |
194.97/195.16 c | 236107 | 1320 110364 370782 | 2147483647 141156 98 | 0.011 % |
195.58/195.73 c | 236651 | 1320 110364 370782 | 2147483647 141700 98 | 0.000 % |
196.17/196.37 c | 237248 | 1320 110364 370782 | 2147483647 142297 98 | 0.009 % |
197.07/197.29 c | 237903 | 1320 110364 370782 | 2147483647 142952 98 | 0.000 % |
197.97/198.10 c | 238624 | 1320 110364 370782 | 2147483647 143673 98 | 0.009 % |
198.67/198.82 c | 239417 | 1320 110364 370782 | 2147483647 144466 98 | 0.000 % |
199.57/199.74 c | 240288 | 1320 110364 370782 | 145049 145337 98 | 0.011 % |
200.67/200.82 c | 241246 | 1320 110364 370782 | 145049 126070 96 | 0.008 % |
201.57/201.77 c | 242299 | 1320 110364 370782 | 145049 127123 96 | 0.011 % |
202.87/203.04 c | 243458 | 1320 110364 370782 | 145049 128282 96 | 0.009 % |
204.17/204.32 c | 244731 | 1320 110364 370782 | 145049 129555 95 | 0.009 % |
205.57/205.74 c | 246131 | 1320 110364 370782 | 145049 130955 95 | 0.009 % |
206.77/206.96 c | 247672 | 1320 110364 370782 | 145049 132496 95 | 0.000 % |
208.57/208.76 c | 249366 | 1320 110364 370782 | 145049 134190 94 | 0.009 % |
210.86/211.10 c | 251229 | 1320 110364 370782 | 134825 116160 90 | 0.011 % |
213.26/213.43 c | 253281 | 1320 110364 370782 | 134825 118212 90 | 0.009 % |
215.76/215.99 c | 255534 | 1320 110364 370782 | 134825 120465 90 | 0.000 % |
218.76/218.94 c | 258013 | 1320 110364 370782 | 134825 122944 91 | 0.000 % |
218.96/219.14 c | 258115 | 1320 110364 370782 | 134825 123046 91 | 0.000 % |
219.16/219.32 c | 258227 | 1320 110364 370782 | 134825 123158 91 | 0.000 % |
219.26/219.48 c | 258350 | 1320 110364 370782 | 134825 123281 91 | 0.000 % |
219.46/219.62 c | 258483 | 1320 110364 370782 | 134825 123414 91 | 0.000 % |
219.56/219.76 c | 258631 | 1320 110364 370782 | 134825 123562 91 | 0.011 % |
219.76/219.91 c | 258791 | 1320 110364 370782 | 134825 123722 91 | 0.000 % |
219.96/220.10 c | 258969 | 1320 110364 370782 | 134825 123900 91 | 0.011 % |
220.06/220.29 c | 259162 | 1320 110364 370782 | 134825 124093 92 | 0.011 % |
220.26/220.48 c | 259374 | 1320 110364 370782 | 134825 124305 92 | 0.000 % |
220.56/220.77 c | 259607 | 1320 110364 370782 | 134825 124538 92 | 0.010 % |
220.86/221.03 c | 259865 | 1320 110364 370782 | 134825 124796 92 | 0.000 % |
221.16/221.32 c | 260147 | 1320 110364 370782 | 124932 125078 92 | 0.008 % |
221.56/221.72 c | 260456 | 1320 110364 370782 | 124932 109948 92 | 0.000 % |
221.86/222.08 c | 260798 | 1320 110364 370782 | 124932 110290 92 | 0.000 % |
222.25/222.48 c | 261170 | 1320 110364 370782 | 124932 110662 92 | 0.000 % |
222.75/222.90 c | 261579 | 1320 110364 370782 | 124932 111071 92 | 0.000 % |
223.16/223.37 c | 262028 | 1320 110364 370782 | 124932 111520 92 | 0.000 % |
223.75/223.90 c | 262521 | 1320 110364 370782 | 124932 112013 92 | 0.000 % |
224.26/224.48 c | 263064 | 1320 110364 370782 | 124932 112556 93 | 0.000 % |
224.95/225.16 c | 263661 | 1320 110364 370782 | 124932 113153 93 | 0.000 % |
225.55/225.75 c | 264316 | 1320 110364 370782 | 124932 113808 93 | 0.000 % |
226.25/226.44 c | 265036 | 1320 110364 370782 | 124932 114528 94 | 0.000 % |
227.05/227.27 c | 265828 | 1320 110364 370782 | 124932 115320 94 | 0.000 % |
227.95/228.19 c | 266700 | 1320 110364 370782 | 124932 116192 94 | 0.000 % |
228.95/229.12 c | 267659 | 1320 110364 370782 | 124932 117151 94 | 0.000 % |
230.05/230.25 c | 268714 | 1320 110364 370782 | 124932 118206 94 | 0.010 % |
231.25/231.41 c | 269873 | 1320 110364 370782 | 124932 119365 95 | 0.011 % |
232.55/232.71 c | 271146 | 1320 110364 370782 | 2147483647 120638 95 | 0.000 % |
234.05/234.29 c | 272546 | 1320 110364 370782 | 2147483647 122038 95 | 0.009 % |
235.85/236.05 c | 274086 | 1320 110364 370782 | 2147483647 123578 95 | 0.000 % |
238.15/238.37 c | 275782 | 1320 110364 370782 | 2147483647 125274 97 | 0.000 % |
240.55/240.77 c | 277646 | 1320 110364 370782 | 2147483647 127138 97 | 0.000 % |
242.65/242.88 c | 279697 | 1320 110364 370782 | 2147483647 129189 98 | 0.000 % |
245.25/245.48 c | 281952 | 1320 110364 370782 | 2147483647 131444 98 | 0.000 % |
248.14/248.33 c | 284431 | 1320 110364 370782 | 2147483647 133923 98 | 0.010 % |
251.24/251.42 c | 287156 | 1320 110364 370782 | 2147483647 136648 98 | 0.000 % |
251.34/251.56 c | 287257 | 1320 110364 370782 | 2147483647 136749 98 | 0.010 % |
251.54/251.72 c | 287368 | 1320 110364 370782 | 2147483647 136860 98 | 0.000 % |
251.65/251.85 c | 287489 | 1320 110364 370782 | 2147483647 136981 98 | 0.009 % |
251.84/252.04 c | 287622 | 1320 110364 370782 | 2147483647 137114 98 | 0.000 % |
252.04/252.25 c | 287768 | 1320 110364 370782 | 2147483647 137260 98 | 0.000 % |
252.24/252.47 c | 287931 | 1320 110364 370782 | 2147483647 137423 98 | 0.000 % |
252.44/252.66 c | 288108 | 1320 110364 370782 | 2147483647 137600 98 | 0.010 % |
252.64/252.90 c | 288301 | 1320 110364 370782 | 2147483647 137793 98 | 0.010 % |
252.94/253.12 c | 288513 | 1320 110364 370782 | 2147483647 138005 98 | 0.010 % |
253.24/253.48 c | 288747 | 1320 110364 370782 | 2147483647 138239 98 | 0.000 % |
253.54/253.75 c | 289004 | 1320 110364 370782 | 2147483647 138496 98 | 0.010 % |
254.04/254.24 c | 289285 | 1320 110364 370782 | 2147483647 138777 98 | 0.000 % |
254.44/254.63 c | 289595 | 1320 110364 370782 | 2147483647 139087 98 | 0.010 % |
254.94/255.15 c | 289935 | 1320 110364 370782 | 2147483647 139427 98 | 0.000 % |
255.54/255.80 c | 290307 | 1320 110364 370782 | 139492 139799 99 | 0.000 % |
256.44/256.63 c | 290716 | 1320 110364 370782 | 139492 120548 98 | 0.000 % |
256.84/257.06 c | 291168 | 1320 110364 370782 | 139492 121000 99 | 0.010 % |
257.44/257.62 c | 291662 | 1320 110364 370782 | 139492 121494 99 | 0.010 % |
258.04/258.27 c | 292204 | 1320 110364 370782 | 139492 122036 99 | 0.010 % |
258.74/258.92 c | 292801 | 1320 110364 370782 | 139492 122633 99 | 0.000 % |
259.44/259.64 c | 293456 | 1320 110364 370782 | 139492 123288 98 | 0.009 % |
260.24/260.42 c | 294176 | 1320 110364 370782 | 139492 124008 98 | 0.010 % |
261.24/261.42 c | 294968 | 1320 110364 370782 | 139492 124800 98 | 0.009 % |
262.24/262.42 c | 295840 | 1320 110364 370782 | 139492 125672 98 | 0.011 % |
263.34/263.54 c | 296798 | 1320 110364 370782 | 139492 126630 98 | 0.009 % |
264.44/264.68 c | 297851 | 1320 110364 370782 | 139492 127683 97 | 0.009 % |
265.73/266.00 c | 299009 | 1320 110364 370782 | 139492 128841 97 | 0.000 % |
267.53/267.70 c | 300282 | 1320 110364 370782 | 129832 130114 98 | 0.000 % |
269.24/269.42 c | 301686 | 1320 110364 370782 | 129832 114004 96 | 0.000 % |
271.23/271.46 c | 303226 | 1320 110364 370782 | 129832 115544 96 | 0.000 % |
273.43/273.62 c | 304922 | 1320 110364 370782 | 129832 117240 97 | 0.000 % |
275.43/275.64 c | 306788 | 1320 110364 370782 | 129832 119106 97 | 0.000 % |
277.43/277.65 c | 308837 | 1320 110364 370782 | 129832 121155 97 | 0.010 % |
279.73/279.90 c | 311091 | 1320 110364 370782 | 122318 105716 94 | 0.000 % |
283.53/283.72 c | 313570 | 1320 110364 370782 | 122318 108195 96 | 0.000 % |
286.93/287.12 c | 316295 | 1320 110364 370782 | 122318 110920 98 | 0.000 % |
290.43/290.69 c | 319294 | 1320 110364 370782 | 122318 113919 99 | 0.000 % |
290.53/290.78 c | 319394 | 1320 110364 370782 | 122318 114019 99 | 0.000 % |
290.63/290.89 c | 319505 | 1320 110364 370782 | 122318 114130 99 | 0.000 % |
290.93/291.10 c | 319626 | 1320 110364 370782 | 122318 114251 99 | 0.000 % |
291.03/291.28 c | 319761 | 1320 110364 370782 | 122318 114386 99 | 0.000 % |
291.23/291.45 c | 319908 | 1320 110364 370782 | 122318 114533 99 | 0.000 % |
291.43/291.68 c | 320070 | 1320 110364 370782 | 114625 114695 99 | 0.000 % |
291.83/292.04 c | 320246 | 1320 110364 370782 | 114625 100451 99 | 0.000 % |
292.03/292.29 c | 320440 | 1320 110364 370782 | 114625 100645 99 | 0.000 % |
292.33/292.52 c | 320654 | 1320 110364 370782 | 114625 100859 99 | 0.000 % |
292.53/292.74 c | 320889 | 1320 110364 370782 | 114625 101094 99 | 0.000 % |
292.73/292.97 c | 321145 | 1320 110364 370782 | 114625 101350 99 | 0.009 % |
293.03/293.28 c | 321427 | 1320 110364 370782 | 114625 101632 99 | 0.000 % |
293.43/293.65 c | 321737 | 1320 110364 370782 | 114625 101942 99 | 0.000 % |
293.83/294.01 c | 322077 | 1320 110364 370782 | 114625 102282 99 | 0.000 % |
294.23/294.41 c | 322449 | 1320 110364 370782 | 114625 102654 99 | 0.000 % |
294.63/294.82 c | 322859 | 1320 110364 370782 | 114625 103064 99 | 0.000 % |
295.13/295.38 c | 323310 | 1320 110364 370782 | 114625 103515 99 | 0.000 % |
295.73/295.92 c | 323806 | 1320 110364 370782 | 114625 104011 99 | 0.000 % |
296.33/296.55 c | 324350 | 1320 110364 370782 | 114625 104555 99 | 0.000 % |
296.92/297.19 c | 324947 | 1320 110364 370782 | 114625 105152 99 | 0.000 % |
297.72/297.95 c | 325602 | 1320 110364 370782 | 114625 105807 99 | 0.000 % |
298.52/298.78 c | 326322 | 1320 110364 370782 | 114625 106527 99 | 0.010 % |
299.52/299.72 c | 327114 | 1320 110364 370782 | 114625 107319 99 | 0.010 % |
300.51/300.71 c | 327985 | 1320 110364 370782 | 114625 108190 99 | 0.000 % |
301.61/301.88 c | 328946 | 1320 110364 370782 | 114625 109151 99 | 0.010 % |
302.91/303.11 c | 330000 | 1320 110364 370782 | 114625 110205 98 | 0.010 % |
304.30/304.53 c | 331158 | 1320 110364 370782 | 110205 97910 102 | 0.000 % |
305.50/305.72 c | 332431 | 1320 110364 370782 | 110205 99183 102 | 0.011 % |
306.90/307.18 c | 333833 | 1320 110364 370782 | 110205 100585 102 | 0.010 % |
308.40/308.67 c | 335373 | 1320 110364 370782 | 110205 102125 102 | 0.010 % |
309.80/310.06 c | 337067 | 1320 110364 370782 | 110205 103819 102 | 0.000 % |
312.20/312.44 c | 338931 | 1320 110364 370782 | 110205 105683 103 | 0.000 % |
314.50/314.76 c | 340980 | 1320 110364 370782 | 106752 96972 102 | 0.000 % |
316.80/317.03 c | 343234 | 1320 110364 370782 | 106752 99226 102 | 0.000 % |
319.50/319.77 c | 345712 | 1320 110364 370782 | 106752 101704 101 | 0.011 % |
322.49/322.74 c | 348438 | 1320 110364 370782 | 106752 104430 101 | 0.011 % |
325.99/326.25 c | 351435 | 1320 110364 370782 | 105993 95696 98 | 0.011 % |
329.49/329.71 c | 354733 | 1320 110364 370782 | 105993 98994 97 | 0.010 % |
329.59/329.83 c | 354833 | 1320 110364 370782 | 105993 99094 97 | 0.010 % |
329.70/329.97 c | 354945 | 1320 110364 370782 | 105993 99206 97 | 0.000 % |
329.89/330.11 c | 355067 | 1320 110364 370782 | 105993 99328 97 | 0.000 % |
330.09/330.32 c | 355201 | 1320 110364 370782 | 105993 99462 98 | 0.000 % |
330.29/330.53 c | 355350 | 1320 110364 370782 | 105993 99611 98 | 0.011 % |
330.49/330.75 c | 355511 | 1320 110364 370782 | 105993 99772 98 | 0.000 % |
330.69/330.92 c | 355687 | 1320 110364 370782 | 105993 99948 98 | 0.000 % |
330.89/331.13 c | 355880 | 1320 110364 370782 | 105993 100141 98 | 0.000 % |
331.09/331.35 c | 356093 | 1320 110364 370782 | 105993 100354 98 | 0.011 % |
331.39/331.65 c | 356326 | 1320 110364 370782 | 105993 100587 98 | 0.000 % |
331.69/331.91 c | 356583 | 1320 110364 370782 | 105993 100844 98 | 0.000 % |
331.99/332.24 c | 356864 | 1320 110364 370782 | 105993 101125 98 | 0.000 % |
332.29/332.57 c | 357174 | 1320 110364 370782 | 105993 101435 98 | 0.000 % |
332.69/332.99 c | 357515 | 1320 110364 370782 | 105993 101776 98 | 0.000 % |
333.29/333.50 c | 357887 | 1320 110364 370782 | 105993 102148 98 | 0.000 % |
333.79/334.05 c | 358297 | 1320 110364 370782 | 105993 102558 99 | 0.000 % |
334.29/334.58 c | 358746 | 1320 110364 370782 | 105993 103007 99 | 0.000 % |
334.89/335.14 c | 359239 | 1320 110364 370782 | 105993 103500 99 | 0.000 % |
335.39/335.66 c | 359781 | 1320 110364 370782 | 105993 104042 99 | 0.012 % |
335.99/336.25 c | 360378 | 1320 110364 370782 | 104262 104639 99 | 0.008 % |
336.59/336.87 c | 361033 | 1320 110364 370782 | 104262 93843 94 | 0.012 % |
337.49/337.78 c | 361753 | 1320 110364 370782 | 104262 94563 95 | 0.000 % |
338.39/338.67 c | 362545 | 1320 110364 370782 | 104262 95355 95 | 0.000 % |
339.29/339.55 c | 363416 | 1320 110364 370782 | 104262 96226 96 | 0.000 % |
340.29/340.58 c | 364374 | 1320 110364 370782 | 104262 97184 97 | 0.010 % |
341.49/341.74 c | 365428 | 1320 110364 370782 | 104262 98238 97 | 0.000 % |
342.79/343.07 c | 366587 | 1320 110364 370782 | 104262 99397 97 | 0.009 % |
344.18/344.49 c | 367863 | 1320 110364 370782 | 104262 100673 98 | 0.000 % |
345.78/346.06 c | 369263 | 1320 110364 370782 | 104262 102073 98 | 0.000 % |
347.58/347.84 c | 370804 | 1320 110364 370782 | 2147483647 103614 99 | 0.000 % |
349.78/350.06 c | 372498 | 1320 110364 370782 | 2147483647 105308 99 | 0.000 % |
351.78/352.03 c | 374362 | 1320 110364 370782 | 2147483647 107172 99 | 0.010 % |
353.98/354.29 c | 376412 | 1320 110364 370782 | 2147483647 109222 99 | 0.011 % |
356.18/356.49 c | 378667 | 1320 110364 370782 | 2147483647 111477 99 | 0.000 % |
359.28/359.57 c | 381145 | 1320 110364 370782 | 112812 99716 99 | 0.009 % |
361.98/362.29 c | 383870 | 1320 110364 370782 | 112812 102441 98 | 0.010 % |
364.88/365.19 c | 386867 | 1320 110364 370782 | 112812 105438 98 | 0.010 % |
368.28/368.53 c | 390163 | 1320 110364 370782 | 108571 108734 98 | 0.010 % |
371.58/371.87 c | 393788 | 1320 110364 370782 | 108571 99408 94 | 0.010 % |
371.77/372.00 c | 393890 | 1320 110364 370782 | 108571 99510 94 | 0.010 % |
371.87/372.12 c | 394000 | 1320 110364 370782 | 108571 99620 94 | 0.000 % |
372.07/372.32 c | 394121 | 1320 110364 370782 | 108571 99741 95 | 0.000 % |
372.17/372.48 c | 394255 | 1320 110364 370782 | 108571 99875 95 | 0.000 % |
372.37/372.61 c | 394401 | 1320 110364 370782 | 108571 100021 95 | 0.000 % |
372.47/372.78 c | 394563 | 1320 110364 370782 | 108571 100183 95 | 0.000 % |
372.77/373.02 c | 394740 | 1320 110364 370782 | 108571 100360 95 | 0.000 % |
372.97/373.24 c | 394933 | 1320 110364 370782 | 108571 100553 95 | 0.000 % |
373.17/373.47 c | 395145 | 1320 110364 370782 | 108571 100765 95 | 0.000 % |
373.47/373.70 c | 395384 | 1320 110364 370782 | 108571 101004 95 | 0.009 % |
373.67/373.93 c | 395640 | 1320 110364 370782 | 108571 101260 95 | 0.010 % |
373.97/374.20 c | 395922 | 1320 110364 370782 | 108571 101542 95 | 0.000 % |
374.17/374.49 c | 396232 | 1320 110364 370782 | 108571 101852 95 | 0.000 % |
374.57/374.83 c | 396571 | 1320 110364 370782 | 108571 102191 95 | 0.008 % |
374.97/375.27 c | 396944 | 1320 110364 370782 | 108571 102564 95 | 0.000 % |
375.47/375.70 c | 397354 | 1320 110364 370782 | 108571 102974 95 | 0.000 % |
375.97/376.25 c | 397804 | 1320 110364 370782 | 108571 103424 95 | 0.010 % |
376.47/376.77 c | 398297 | 1320 110364 370782 | 108571 103917 95 | 0.010 % |
377.17/377.40 c | 398840 | 1320 110364 370782 | 108571 104460 95 | 0.010 % |
377.77/378.01 c | 399436 | 1320 110364 370782 | 108571 105056 95 | 0.000 % |
378.37/378.63 c | 400092 | 1320 110364 370782 | 105621 105712 95 | 0.000 % |
379.17/379.46 c | 400814 | 1320 110364 370782 | 105621 94580 89 | 0.000 % |
379.98/380.23 c | 401606 | 1320 110364 370782 | 105621 95372 89 | 0.000 % |
380.88/381.12 c | 402477 | 1320 110364 370782 | 105621 96243 89 | 0.010 % |
381.68/381.93 c | 403436 | 1320 110364 370782 | 105621 97202 89 | 0.000 % |
382.67/382.96 c | 404489 | 1320 110364 370782 | 105621 98255 89 | 0.000 % |
383.77/384.10 c | 405648 | 1320 110364 370782 | 105621 99414 89 | 0.012 % |
384.78/385.10 c | 406921 | 1320 110364 370782 | 105621 100687 89 | 0.011 % |
385.97/386.24 c | 408322 | 1320 110364 370782 | 105621 102088 88 | 0.000 % |
387.27/387.51 c | 409863 | 1320 110364 370782 | 105621 103629 88 | 0.010 % |
388.87/389.14 c | 411557 | 1320 110364 370782 | 2147483647 105323 88 | 0.010 % |
390.87/391.19 c | 413423 | 1320 110364 370782 | 2147483647 107189 89 | 0.000 % |
393.07/393.30 c | 415474 | 1320 110364 370782 | 2147483647 109240 89 | 0.000 % |
395.27/395.54 c | 417728 | 1320 110364 370782 | 2147483647 111494 89 | 0.009 % |
397.87/398.19 c | 420207 | 1320 110364 370782 | 2147483647 113973 89 | 0.010 % |
400.56/400.86 c | 422934 | 1320 110364 370782 | 2147483647 116700 88 | 0.010 % |
403.76/404.02 c | 425931 | 1320 110364 370782 | 2147483647 119697 88 | 0.009 % |
407.26/407.59 c | 429228 | 1320 110364 370782 | 2147483647 122994 88 | 0.011 % |
411.16/411.40 c | 432855 | 1320 110364 370782 | 2147483647 126621 88 | 0.011 % |
415.36/415.65 c | 436844 | 1320 110364 370782 | 2147483647 130610 88 | 0.011 % |
415.46/415.77 c | 436947 | 1320 110364 370782 | 2147483647 130713 88 | 0.011 % |
415.56/415.90 c | 437057 | 1320 110364 370782 | 2147483647 130823 88 | 0.011 % |
415.86/416.11 c | 437178 | 1320 110364 370782 | 2147483647 130944 88 | 0.000 % |
416.06/416.32 c | 437311 | 1320 110364 370782 | 2147483647 131077 88 | 0.000 % |
416.26/416.51 c | 437457 | 1320 110364 370782 | 2147483647 131223 88 | 0.000 % |
416.46/416.74 c | 437617 | 1320 110364 370782 | 2147483647 131383 88 | 0.000 % |
416.66/416.96 c | 437793 | 1320 110364 370782 | 2147483647 131559 88 | 0.000 % |
416.86/417.18 c | 437986 | 1320 110364 370782 | 2147483647 131752 88 | 0.010 % |
417.16/417.42 c | 438198 | 1320 110364 370782 | 2147483647 131964 88 | 0.010 % |
417.36/417.69 c | 438431 | 1320 110364 370782 | 2147483647 132197 88 | 0.009 % |
417.76/418.02 c | 438688 | 1320 110364 370782 | 2147483647 132454 88 | 0.011 % |
418.06/418.31 c | 438969 | 1320 110364 370782 | 2147483647 132735 88 | 0.000 % |
418.36/418.67 c | 439280 | 1320 110364 370782 | 2147483647 133046 88 | 0.008 % |
418.76/419.05 c | 439619 | 1320 110364 370782 | 2147483647 133385 88 | 0.000 % |
419.16/419.45 c | 439992 | 1320 110364 370782 | 2147483647 133758 88 | 0.010 % |
419.56/419.85 c | 440401 | 1320 110364 370782 | 133766 134167 88 | 0.010 % |
420.16/420.44 c | 440851 | 1320 110364 370782 | 133766 116990 85 | 0.009 % |
420.56/420.89 c | 441347 | 1320 110364 370782 | 133766 117486 85 | 0.010 % |
421.16/421.45 c | 441890 | 1320 110364 370782 | 133766 118029 85 | 0.009 % |
421.76/422.08 c | 442486 | 1320 110364 370782 | 133766 118625 85 | 0.000 % |
422.66/422.90 c | 443143 | 1320 110364 370782 | 133766 119282 85 | 0.010 % |
423.36/423.63 c | 443863 | 1320 110364 370782 | 133766 120002 85 | 0.009 % |
424.16/424.45 c | 444655 | 1320 110364 370782 | 133766 120794 85 | 0.008 % |
425.05/425.33 c | 445530 | 1320 110364 370782 | 133766 121669 85 | 0.000 % |
426.46/426.73 c | 446488 | 1320 110364 370782 | 133766 122627 86 | 0.000 % |
427.85/428.10 c | 447541 | 1320 110364 370782 | 133766 123680 86 | 0.000 % |
429.45/429.72 c | 448702 | 1320 110364 370782 | 133766 124841 87 | 0.000 % |
430.75/431.08 c | 449976 | 1320 110364 370782 | 133766 126115 88 | 0.000 % |
432.06/432.35 c | 451377 | 1320 110364 370782 | 2147483647 127516 88 | 0.000 % |
433.55/433.90 c | 452918 | 1320 110364 370782 | 2147483647 129057 88 | 0.011 % |
435.64/435.94 c | 454612 | 1320 110364 370782 | 2147483647 130751 88 | 0.010 % |
437.63/437.95 c | 456477 | 1320 110364 370782 | 2147483647 132616 88 | 0.011 % |
439.93/440.28 c | 458526 | 1320 110364 370782 | 2147483647 134665 88 | 0.011 % |
443.32/443.68 c | 460781 | 1320 110364 370782 | 136139 136920 90 | 0.000 % |
446.12/446.50 c | 463262 | 1320 110364 370782 | 136139 125475 91 | 0.000 % |
449.22/449.56 c | 465988 | 1320 110364 370782 | 136139 128201 91 | 0.009 % |
452.92/453.23 c | 468985 | 1320 110364 370782 | 136139 131198 91 | 0.010 % |
456.42/456.74 c | 472281 | 1320 110364 370782 | 2147483647 134494 91 | 0.013 % |
460.22/460.58 c | 475907 | 1320 110364 370782 | 2147483647 138120 91 | 0.009 % |
464.72/465.06 c | 479894 | 1320 110364 370782 | 2147483647 142107 90 | 0.010 % |
470.52/470.83 c | 484281 | 1320 110364 370782 | 142213 124285 83 | 0.010 % |
470.61/470.96 c | 484383 | 1320 110364 370782 | 142213 124387 83 | 0.013 % |
470.71/471.10 c | 484493 | 1320 110364 370782 | 142213 124497 83 | 0.010 % |
470.91/471.25 c | 484615 | 1320 110364 370782 | 142213 124619 83 | 0.013 % |
471.11/471.42 c | 484750 | 1320 110364 370782 | 142213 124754 83 | 0.010 % |
471.21/471.59 c | 484898 | 1320 110364 370782 | 142213 124902 83 | 0.013 % |
471.41/471.78 c | 485059 | 1320 110364 370782 | 142213 125063 83 | 0.013 % |
471.71/472.01 c | 485236 | 1320 110364 370782 | 142213 125240 83 | 0.000 % |
471.91/472.21 c | 485430 | 1320 110364 370782 | 142213 125434 84 | 0.000 % |
472.11/472.43 c | 485642 | 1320 110364 370782 | 142213 125646 84 | 0.000 % |
472.31/472.65 c | 485875 | 1320 110364 370782 | 142213 125879 84 | 0.010 % |
472.62/472.93 c | 486131 | 1320 110364 370782 | 142213 126135 84 | 0.000 % |
472.81/473.17 c | 486412 | 1320 110364 370782 | 142213 126416 84 | 0.000 % |
473.11/473.45 c | 486722 | 1320 110364 370782 | 142213 126726 84 | 0.000 % |
473.41/473.76 c | 487064 | 1320 110364 370782 | 142213 127068 84 | 0.000 % |
473.82/474.19 c | 487438 | 1320 110364 370782 | 142213 127442 84 | 0.000 % |
474.31/474.63 c | 487847 | 1320 110364 370782 | 142213 127851 84 | 0.000 % |
474.71/475.05 c | 488298 | 1320 110364 370782 | 142213 128302 84 | 0.000 % |
475.31/475.61 c | 488791 | 1320 110364 370782 | 142213 128795 85 | 0.010 % |
475.81/476.12 c | 489333 | 1320 110364 370782 | 142213 129337 85 | 0.009 % |
476.31/476.67 c | 489929 | 1320 110364 370782 | 142213 129933 85 | 0.000 % |
477.01/477.34 c | 490585 | 1320 110364 370782 | 130004 130589 85 | 0.000 % |
477.91/478.28 c | 491305 | 1320 110364 370782 | 130004 114313 85 | 0.000 % |
478.90/479.23 c | 492097 | 1320 110364 370782 | 130004 115105 86 | 0.000 % |
479.60/479.98 c | 492969 | 1320 110364 370782 | 130004 115977 86 | 0.000 % |
480.70/481.00 c | 493927 | 1320 110364 370782 | 130004 116935 87 | 0.000 % |
481.90/482.21 c | 494983 | 1320 110364 370782 | 130004 117991 87 | 0.000 % |
483.10/483.50 c | 496144 | 1320 110364 370782 | 130004 119152 87 | 0.000 % |
484.30/484.68 c | 497417 | 1320 110364 370782 | 130004 120425 87 | 0.000 % |
485.60/485.94 c | 498821 | 1320 110364 370782 | 130004 121829 87 | 0.000 % |
487.10/487.48 c | 500363 | 1320 110364 370782 | 123008 123371 87 | 0.000 % |
488.60/488.98 c | 502059 | 1320 110364 370782 | 123008 112724 86 | 0.009 % |
490.90/491.25 c | 503922 | 1320 110364 370782 | 123008 114587 88 | 0.000 % |
492.90/493.29 c | 505972 | 1320 110364 370782 | 123008 116637 88 | 0.011 % |
495.10/495.47 c | 508227 | 1320 110364 370782 | 123008 118892 88 | 0.011 % |
497.59/497.93 c | 510706 | 1320 110364 370782 | 2147483647 121371 88 | 0.009 % |
500.40/500.72 c | 513434 | 1320 110364 370782 | 2147483647 124099 88 | 0.011 % |
503.50/503.84 c | 516431 | 1320 110364 370782 | 2147483647 127096 88 | 0.010 % |
506.99/507.31 c | 519727 | 1320 110364 370782 | 2147483647 130392 88 | 0.009 % |
511.59/511.99 c | 523352 | 1320 110364 370782 | 130665 120103 87 | 0.009 % |
515.99/516.38 c | 527340 | 1320 110364 370782 | 130665 124091 87 | 0.009 % |
520.99/521.39 c | 531727 | 1320 110364 370782 | 126751 113781 88 | 0.000 % |
526.58/526.94 c | 536550 | 1320 110364 370782 | 126751 118604 87 | 0.009 % |
526.78/527.12 c | 536650 | 1320 110364 370782 | 126751 118704 87 | 0.000 % |
526.88/527.27 c | 536760 | 1320 110364 370782 | 126751 118814 87 | 0.000 % |
527.08/527.43 c | 536883 | 1320 110364 370782 | 126751 118937 87 | 0.000 % |
527.18/527.56 c | 537018 | 1320 110364 370782 | 126751 119072 87 | 0.010 % |
527.38/527.75 c | 537165 | 1320 110364 370782 | 126751 119219 87 | 0.000 % |
527.58/527.94 c | 537325 | 1320 110364 370782 | 126751 119379 88 | 0.000 % |
527.78/528.14 c | 537501 | 1320 110364 370782 | 126751 119555 88 | 0.000 % |
528.08/528.43 c | 537695 | 1320 110364 370782 | 126751 119749 88 | 0.000 % |
528.28/528.65 c | 537908 | 1320 110364 370782 | 126751 119962 88 | 0.000 % |
528.48/528.87 c | 538143 | 1320 110364 370782 | 126751 120197 88 | 0.000 % |
528.78/529.11 c | 538400 | 1320 110364 370782 | 126751 120454 88 | 0.000 % |
528.98/529.39 c | 538682 | 1320 110364 370782 | 126751 120736 88 | 0.011 % |
529.38/529.70 c | 538992 | 1320 110364 370782 | 126751 121046 88 | 0.011 % |
529.68/530.01 c | 539331 | 1320 110364 370782 | 126751 121385 88 | 0.011 % |
530.08/530.40 c | 539703 | 1320 110364 370782 | 126751 121757 88 | 0.000 % |
530.38/530.76 c | 540112 | 1320 110364 370782 | 122054 122166 88 | 0.009 % |
530.88/531.23 c | 540561 | 1320 110364 370782 | 122054 106941 85 | 0.009 % |
531.58/531.93 c | 541055 | 1320 110364 370782 | 122054 107435 85 | 0.000 % |
532.28/532.68 c | 541597 | 1320 110364 370782 | 122054 107977 86 | 0.000 % |
532.98/533.34 c | 542193 | 1320 110364 370782 | 122054 108573 86 | 0.000 % |
533.58/533.92 c | 542852 | 1320 110364 370782 | 122054 109232 87 | 0.000 % |
534.28/534.65 c | 543572 | 1320 110364 370782 | 122054 109952 87 | 0.010 % |
535.28/535.61 c | 544364 | 1320 110364 370782 | 122054 110744 87 | 0.000 % |
536.18/536.57 c | 545236 | 1320 110364 370782 | 122054 111616 88 | 0.009 % |
537.38/537.71 c | 546194 | 1320 110364 370782 | 122054 112574 88 | 0.009 % |
538.48/538.84 c | 547248 | 1320 110364 370782 | 122054 113628 88 | 0.009 % |
539.57/539.98 c | 548406 | 1320 110364 370782 | 122054 114786 88 | 0.000 % |
540.97/541.36 c | 549680 | 1320 110364 370782 | 122054 116060 88 | 0.000 % |
542.37/542.73 c | 551080 | 1320 110364 370782 | 2147483647 117460 88 | 0.012 % |
544.27/544.61 c | 552622 | 1320 110364 370782 | 2147483647 119002 89 | 0.000 % |
546.38/546.74 c | 554323 | 1320 110364 370782 | 2147483647 120703 89 | 0.000 % |
548.07/548.47 c | 556187 | 1320 110364 370782 | 2147483647 122567 89 | 0.000 % |
550.17/550.58 c | 558236 | 1320 110364 370782 | 2147483647 124616 89 | 0.010 % |
552.67/553.07 c | 560489 | 1320 110364 370782 | 2147483647 126869 89 | 0.000 % |
555.27/555.62 c | 562968 | 1320 110364 370782 | 2147483647 129348 90 | 0.000 % |
558.16/558.57 c | 565694 | 1320 110364 370782 | 2147483647 132074 90 | 0.000 % |
561.96/562.32 c | 568692 | 1320 110364 370782 | 2147483647 135072 90 | 0.011 % |
565.76/566.19 c | 571991 | 1320 110364 370782 | 136381 118291 87 | 0.009 % |
569.86/570.28 c | 575616 | 1320 110364 370782 | 136381 121916 88 | 0.010 % |
574.25/574.62 c | 579603 | 1320 110364 370782 | 136381 125903 87 | 0.000 % |
578.85/579.25 c | 583988 | 1320 110364 370782 | 126300 116166 89 | 0.010 % |
584.35/584.72 c | 588812 | 1320 110364 370782 | 126300 120990 88 | 0.009 % |
590.95/591.32 c | 594118 | 1320 110364 370782 | 122178 112802 84 | 0.008 % |
591.05/591.45 c | 594219 | 1320 110364 370782 | 122178 112903 84 | 0.009 % |
591.15/591.56 c | 594331 | 1320 110364 370782 | 122178 113015 84 | 0.010 % |
591.35/591.72 c | 594452 | 1320 110364 370782 | 122178 113136 84 | 0.011 % |
591.55/591.90 c | 594585 | 1320 110364 370782 | 122178 113269 84 | 0.011 % |
591.65/592.08 c | 594731 | 1320 110364 370782 | 122178 113415 84 | 0.000 % |
591.85/592.24 c | 594891 | 1320 110364 370782 | 122178 113575 84 | 0.000 % |
592.05/592.43 c | 595067 | 1320 110364 370782 | 122178 113751 84 | 0.009 % |
592.35/592.71 c | 595260 | 1320 110364 370782 | 122178 113944 85 | 0.000 % |
592.55/592.91 c | 595472 | 1320 110364 370782 | 122178 114156 85 | 0.010 % |
592.75/593.12 c | 595705 | 1320 110364 370782 | 122178 114389 85 | 0.000 % |
593.05/593.41 c | 595961 | 1320 110364 370782 | 122178 114645 85 | 0.000 % |
593.25/593.66 c | 596242 | 1320 110364 370782 | 122178 114926 85 | 0.008 % |
593.55/593.95 c | 596553 | 1320 110364 370782 | 122178 115237 85 | 0.009 % |
593.95/594.34 c | 596892 | 1320 110364 370782 | 122178 115576 85 | 0.000 % |
594.45/594.80 c | 597264 | 1320 110364 370782 | 122178 115948 85 | 0.000 % |
594.85/595.22 c | 597674 | 1320 110364 370782 | 122178 116358 85 | 0.011 % |
595.25/595.62 c | 598123 | 1320 110364 370782 | 122178 116807 85 | 0.000 % |
595.65/596.07 c | 598619 | 1320 110364 370782 | 122178 117303 85 | 0.000 % |
596.25/596.66 c | 599162 | 1320 110364 370782 | 122178 117846 85 | 0.010 % |
596.75/597.18 c | 599758 | 1320 110364 370782 | 122178 118442 85 | 0.011 % |
597.35/597.79 c | 600415 | 1320 110364 370782 | 118684 119099 85 | 0.000 % |
598.25/598.69 c | 601135 | 1320 110364 370782 | 118684 107644 83 | 0.000 % |
598.95/599.37 c | 601929 | 1320 110364 370782 | 118684 108438 83 | 0.010 % |
599.74/600.15 c | 602801 | 1320 110364 370782 | 118684 109310 83 | 0.010 % |
600.64/601.09 c | 603759 | 1320 110364 370782 | 118684 110268 83 | 0.010 % |
601.54/601.97 c | 604812 | 1320 110364 370782 | 118684 111321 83 | 0.010 % |
602.54/602.98 c | 605971 | 1320 110364 370782 | 118684 112480 83 | 0.011 % |
603.84/604.20 c | 607246 | 1320 110364 370782 | 118684 113755 83 | 0.009 % |
605.04/605.48 c | 608647 | 1320 110364 370782 | 118684 115156 83 | 0.010 % |
606.54/606.96 c | 610189 | 1320 110364 370782 | 2147483647 116698 83 | 0.009 % |
608.34/608.72 c | 611883 | 1320 110364 370782 | 2147483647 118392 83 | 0.008 % |
610.24/610.66 c | 613750 | 1320 110364 370782 | 2147483647 120259 83 | 0.010 % |
612.44/612.84 c | 615799 | 1320 110364 370782 | 2147483647 122308 83 | 0.010 % |
614.64/615.04 c | 618052 | 1320 110364 370782 | 2147483647 124561 82 | 0.000 % |
617.54/617.90 c | 620530 | 1320 110364 370782 | 2147483647 127039 84 | 0.000 % |
620.63/621.00 c | 623255 | 1320 110364 370782 | 2147483647 129764 86 | 0.000 % |
624.03/624.46 c | 626253 | 1320 110364 370782 | 2147483647 132762 87 | 0.000 % |
627.23/627.60 c | 629551 | 1320 110364 370782 | 2147483647 136060 87 | 0.011 % |
631.73/632.10 c | 633177 | 1320 110364 370782 | 136510 125561 89 | 0.000 % |
636.73/637.15 c | 637164 | 1320 110364 370782 | 136510 129548 91 | 0.000 % |
642.03/642.48 c | 641549 | 1320 110364 370782 | 132388 118975 92 | 0.010 % |
648.02/648.42 c | 646374 | 1320 110364 370782 | 132388 123800 97 | 0.000 % |
655.52/655.90 c | 651679 | 1320 110364 370782 | 127426 115335 97 | 0.000 % |
662.40/662.81 c | 657514 | 1320 110364 370782 | 127426 121170 99 | 0.012 % |
662.50/662.96 c | 657614 | 1320 110364 370782 | 127426 121270 99 | 0.000 % |
662.60/663.08 c | 657726 | 1320 110364 370782 | 127426 121382 99 | 0.000 % |
662.80/663.22 c | 657847 | 1320 110364 370782 | 127426 121503 99 | 0.000 % |
663.00/663.43 c | 657982 | 1320 110364 370782 | 127426 121638 99 | 0.000 % |
663.10/663.59 c | 658129 | 1320 110364 370782 | 127426 121785 99 | 0.011 % |
663.30/663.76 c | 658290 | 1320 110364 370782 | 127426 121946 99 | 0.000 % |
663.50/663.94 c | 658466 | 1320 110364 370782 | 127426 122122 99 | 0.009 % |
663.70/664.19 c | 658661 | 1320 110364 370782 | 127426 122317 99 | 0.000 % |
664.00/664.41 c | 658873 | 1320 110364 370782 | 127426 122529 99 | 0.000 % |
664.20/664.66 c | 659106 | 1320 110364 370782 | 127426 122762 99 | 0.009 % |
664.50/664.95 c | 659362 | 1320 110364 370782 | 127426 123018 99 | 0.000 % |
664.80/665.29 c | 659643 | 1320 110364 370782 | 127426 123299 99 | 0.010 % |
665.20/665.68 c | 659952 | 1320 110364 370782 | 127426 123608 99 | 0.000 % |
665.60/666.09 c | 660296 | 1320 110364 370782 | 123659 123952 99 | 0.000 % |
666.20/666.69 c | 660670 | 1320 110364 370782 | 123659 109952 99 | 0.010 % |
666.70/667.16 c | 661079 | 1320 110364 370782 | 123659 110361 99 | 0.010 % |
667.30/667.79 c | 661529 | 1320 110364 370782 | 123659 110811 99 | 0.000 % |
668.00/668.41 c | 662023 | 1320 110364 370782 | 123659 111305 100 | 0.000 % |
668.80/669.25 c | 662567 | 1320 110364 370782 | 123659 111849 100 | 0.000 % |
669.60/670.08 c | 663164 | 1320 110364 370782 | 123659 112446 100 | 0.000 % |
670.60/671.08 c | 663821 | 1320 110364 370782 | 123659 113103 101 | 0.000 % |
671.60/672.08 c | 664542 | 1320 110364 370782 | 123659 113824 101 | 0.000 % |
672.80/673.29 c | 665336 | 1320 110364 370782 | 123659 114618 102 | 0.000 % |
673.90/674.37 c | 666207 | 1320 110364 370782 | 123659 115489 102 | 0.000 % |
675.00/675.49 c | 667165 | 1320 110364 370782 | 123659 116447 103 | 0.000 % |
676.09/676.57 c | 668219 | 1320 110364 370782 | 123659 117501 103 | 0.000 % |
677.39/677.86 c | 669380 | 1320 110364 370782 | 123659 118662 103 | 0.000 % |
678.89/679.34 c | 670653 | 1320 110364 370782 | 119284 119935 104 | 0.000 % |
680.49/680.95 c | 672054 | 1320 110364 370782 | 119284 105944 106 | 0.010 % |
682.69/683.15 c | 673595 | 1320 110364 370782 | 119284 107485 107 | 0.000 % |
684.69/685.12 c | 675291 | 1320 110364 370782 | 119284 109181 107 | 0.000 % |
687.39/687.83 c | 677154 | 1320 110364 370782 | 119284 111044 108 | 0.000 % |
689.89/690.34 c | 679204 | 1320 110364 370782 | 119284 113094 108 | 0.000 % |
693.18/693.62 c | 681458 | 1320 110364 370782 | 113890 99247 112 | 0.009 % |
695.68/696.16 c | 683936 | 1320 110364 370782 | 113890 101725 112 | 0.000 % |
699.19/699.64 c | 686666 | 1320 110364 370782 | 113890 104455 111 | 0.010 % |
702.88/703.35 c | 689663 | 1320 110364 370782 | 113890 107452 111 | 0.010 % |
707.67/708.13 c | 692959 | 1320 110364 370782 | 107795 95404 115 | 0.011 % |
712.67/713.10 c | 696585 | 1320 110364 370782 | 107795 99030 114 | 0.011 % |
718.66/719.13 c | 700572 | 1320 110364 370782 | 102447 103017 118 | 0.000 % |
725.06/725.51 c | 704960 | 1320 110364 370782 | 102447 89684 117 | 0.000 % |
730.86/731.36 c | 709785 | 1320 110364 370782 | 102447 94509 117 | 0.000 % |
737.86/738.37 c | 715095 | 1320 110364 370782 | 94724 85606 113 | 0.000 % |
744.86/745.33 c | 720934 | 1320 110364 370782 | 90511 81178 110 | 0.000 % |
751.84/752.35 c | 727354 | 1320 110364 370782 | 90511 87598 110 | 0.000 % |
751.94/752.46 c | 727454 | 1320 110364 370782 | 90511 87698 109 | 0.000 % |
752.14/752.61 c | 727565 | 1320 110364 370782 | 90511 87809 109 | 0.010 % |
752.34/752.81 c | 727687 | 1320 110364 370782 | 90511 87931 109 | 0.000 % |
752.44/752.99 c | 727820 | 1320 110364 370782 | 90511 88064 109 | 0.000 % |
752.64/753.17 c | 727967 | 1320 110364 370782 | 90511 88211 109 | 0.010 % |
752.84/753.39 c | 728130 | 1320 110364 370782 | 90511 88374 109 | 0.000 % |
753.04/753.58 c | 728306 | 1320 110364 370782 | 90511 88550 109 | 0.011 % |
753.34/753.81 c | 728500 | 1320 110364 370782 | 90511 88744 109 | 0.000 % |
753.64/754.19 c | 728713 | 1320 110364 370782 | 90511 88957 110 | 0.000 % |
753.94/754.48 c | 728946 | 1320 110364 370782 | 90511 89190 110 | 0.000 % |
754.34/754.84 c | 729202 | 1320 110364 370782 | 90511 89446 110 | 0.000 % |
754.54/755.04 c | 729483 | 1320 110364 370782 | 90511 89727 110 | 0.000 % |
754.94/755.42 c | 729794 | 1320 110364 370782 | 90511 90038 110 | 0.000 % |
755.34/755.82 c | 730133 | 1320 110364 370782 | 2147483647 90377 110 | 0.011 % |
755.64/756.17 c | 730505 | 1320 110364 370782 | 2147483647 90749 110 | 0.010 % |
756.24/756.78 c | 730914 | 1320 110364 370782 | 2147483647 91158 110 | 0.000 % |
756.84/757.33 c | 731364 | 1320 110364 370782 | 2147483647 91608 110 | 0.000 % |
757.53/758.02 c | 731857 | 1320 110364 370782 | 2147483647 92101 110 | 0.009 % |
758.13/758.62 c | 732399 | 1320 110364 370782 | 2147483647 92643 110 | 0.000 % |
758.93/759.45 c | 732995 | 1320 110364 370782 | 2147483647 93239 110 | 0.000 % |
759.64/760.16 c | 733651 | 1320 110364 370782 | 2147483647 93895 110 | 0.000 % |
760.53/761.08 c | 734372 | 1320 110364 370782 | 2147483647 94616 110 | 0.000 % |
761.33/761.81 c | 735164 | 1320 110364 370782 | 2147483647 95408 110 | 0.011 % |
762.23/762.71 c | 736035 | 1320 110364 370782 | 2147483647 96279 110 | 0.010 % |
763.63/764.19 c | 736993 | 1320 110364 370782 | 2147483647 97237 110 | 0.000 % |
764.93/765.46 c | 738047 | 1320 110364 370782 | 2147483647 98291 110 | 0.010 % |
766.33/766.83 c | 739205 | 1320 110364 370782 | 2147483647 99449 111 | 0.000 % |
767.73/768.24 c | 740480 | 1320 110364 370782 | 100244 100724 111 | 0.000 % |
769.54/770.01 c | 741882 | 1320 110364 370782 | 100244 91303 108 | 0.000 % |
770.83/771.30 c | 743422 | 1320 110364 370782 | 100244 92843 108 | 0.010 % |
772.53/773.03 c | 745116 | 1320 110364 370782 | 100244 94537 108 | 0.009 % |
774.43/774.98 c | 746981 | 1320 110364 370782 | 100244 96402 108 | 0.000 % |
776.73/777.22 c | 749030 | 1320 110364 370782 | 100244 98451 108 | 0.011 % |
779.53/780.08 c | 751284 | 1320 110364 370782 | 99421 88750 107 | 0.000 % |
782.73/783.21 c | 753765 | 1320 110364 370782 | 99421 91231 108 | 0.000 % |
785.22/785.79 c | 756492 | 1320 110364 370782 | 99421 93958 108 | 0.011 % |
788.52/789.07 c | 759489 | 1320 110364 370782 | 99421 96955 107 | 0.009 % |
792.42/792.94 c | 762788 | 1320 110364 370782 | 2147483647 100254 106 | 0.009 % |
796.42/796.91 c | 766413 | 1320 110364 370782 | 2147483647 103879 105 | 0.008 % |
800.72/801.26 c | 770400 | 1320 110364 370782 | 107467 107866 103 | 0.011 % |
805.91/806.47 c | 774787 | 1320 110364 370782 | 107467 98881 103 | 0.008 % |
812.42/812.92 c | 779610 | 1320 110364 370782 | 107467 103704 101 | 0.000 % |
819.91/820.41 c | 784915 | 1320 110364 370782 | 104095 93455 93 | 0.008 % |
827.61/828.15 c | 790750 | 1320 110364 370782 | 98540 99290 93 | 0.000 % |
835.70/836.28 c | 797168 | 1320 110364 370782 | 98540 90307 85 | 0.000 % |
845.50/846.01 c | 804227 | 1320 110364 370782 | 93141 81052 81 | 0.010 % |
845.60/846.11 c | 804328 | 1320 110364 370782 | 93141 81153 81 | 0.000 % |
845.60/846.19 c | 804438 | 1320 110364 370782 | 93141 81263 81 | 0.010 % |
845.80/846.30 c | 804559 | 1320 110364 370782 | 93141 81384 81 | 0.011 % |
845.90/846.45 c | 804692 | 1320 110364 370782 | 93141 81517 81 | 0.000 % |
846.00/846.57 c | 804838 | 1320 110364 370782 | 93141 81663 81 | 0.000 % |
846.20/846.71 c | 805000 | 1320 110364 370782 | 93141 81825 81 | 0.000 % |
846.30/846.85 c | 805176 | 1320 110364 370782 | 93141 82001 81 | 0.000 % |
846.40/847.00 c | 805370 | 1320 110364 370782 | 93141 82195 81 | 0.000 % |
846.60/847.19 c | 805582 | 1320 110364 370782 | 93141 82407 82 | 0.000 % |
846.80/847.38 c | 805816 | 1320 110364 370782 | 93141 82641 82 | 0.000 % |
847.10/847.60 c | 806073 | 1320 110364 370782 | 93141 82898 82 | 0.010 % |
847.30/847.85 c | 806354 | 1320 110364 370782 | 93141 83179 82 | 0.000 % |
847.50/848.09 c | 806663 | 1320 110364 370782 | 93141 83488 82 | 0.009 % |
847.80/848.31 c | 807002 | 1320 110364 370782 | 93141 83827 82 | 0.000 % |
848.10/848.64 c | 807375 | 1320 110364 370782 | 93141 84200 83 | 0.000 % |
848.40/848.94 c | 807784 | 1320 110364 370782 | 93141 84609 83 | 0.000 % |
848.70/849.27 c | 808233 | 1320 110364 370782 | 93141 85058 83 | 0.000 % |
849.10/849.68 c | 808728 | 1320 110364 370782 | 93141 85553 83 | 0.000 % |
849.60/850.14 c | 809271 | 1320 110364 370782 | 93141 86096 84 | 0.000 % |
850.00/850.59 c | 809867 | 1320 110364 370782 | 93141 86692 84 | 0.000 % |
850.60/851.12 c | 810523 | 1320 110364 370782 | 2147483647 87348 84 | 0.000 % |
851.20/851.73 c | 811243 | 1320 110364 370782 | 2147483647 88068 85 | 0.000 % |
851.90/852.47 c | 812035 | 1320 110364 370782 | 2147483647 88860 86 | 0.000 % |
852.80/853.35 c | 812906 | 1320 110364 370782 | 2147483647 89731 87 | 0.000 % |
853.40/853.97 c | 813864 | 1320 110364 370782 | 2147483647 90689 87 | 0.000 % |
854.40/854.97 c | 814918 | 1320 110364 370782 | 2147483647 91743 87 | 0.000 % |
855.40/855.95 c | 816077 | 1320 110364 370782 | 2147483647 92902 88 | 0.000 % |
856.50/857.00 c | 817352 | 1320 110364 370782 | 2147483647 94177 88 | 0.000 % |
857.70/858.28 c | 818752 | 1320 110364 370782 | 2147483647 95577 89 | 0.000 % |
859.20/859.77 c | 820295 | 1320 110364 370782 | 2147483647 97120 89 | 0.011 % |
860.90/861.49 c | 821989 | 1320 110364 370782 | 2147483647 98814 89 | 0.011 % |
862.91/863.46 c | 823852 | 1320 110364 370782 | 2147483647 100677 90 | 0.011 % |
864.80/865.38 c | 825902 | 1320 110364 370782 | 2147483647 102727 91 | 0.000 % |
867.10/867.67 c | 828156 | 1320 110364 370782 | 2147483647 104981 92 | 0.000 % |
869.30/869.84 c | 830635 | 1320 110364 370782 | 2147483647 107460 92 | 0.000 % |
872.00/872.57 c | 833361 | 1320 110364 370782 | 2147483647 110186 92 | 0.000 % |
874.80/875.32 c | 836358 | 1320 110364 370782 | 2147483647 113183 92 | 0.000 % |
878.00/878.50 c | 839656 | 1320 110364 370782 | 2147483647 116481 92 | 0.011 % |
881.19/881.71 c | 843283 | 1320 110364 370782 | 2147483647 120108 91 | 0.000 % |
884.99/885.51 c | 847271 | 1320 110364 370782 | 2147483647 124096 91 | 0.011 % |
889.58/890.14 c | 851656 | 1320 110364 370782 | 2147483647 128481 91 | 0.010 % |
895.38/895.95 c | 856479 | 1320 110364 370782 | 2147483647 133304 90 | 0.010 % |
901.49/902.03 c | 861785 | 1320 110364 370782 | 136825 122786 84 | 0.010 % |
908.18/908.73 c | 867623 | 1320 110364 370782 | 136825 128624 84 | 0.000 % |
916.37/916.97 c | 874043 | 1320 110364 370782 | 131003 117643 83 | 0.011 % |
925.97/926.50 c | 881102 | 1320 110364 370782 | 123602 111530 93 | 0.000 % |
934.96/935.55 c | 888866 | 1320 110364 370782 | 123602 119294 96 | 0.000 % |
935.16/935.70 c | 888966 | 1320 110364 370782 | 123602 119394 96 | 0.000 % |
935.26/935.84 c | 889076 | 1320 110364 370782 | 123602 119504 96 | 0.000 % |
935.46/936.01 c | 889197 | 1320 110364 370782 | 123602 119625 96 | 0.000 % |
935.66/936.20 c | 889330 | 1320 110364 370782 | 123602 119758 96 | 0.000 % |
935.76/936.39 c | 889477 | 1320 110364 370782 | 123602 119905 96 | 0.000 % |
936.06/936.65 c | 889637 | 1320 110364 370782 | 123602 120065 96 | 0.000 % |
936.26/936.81 c | 889813 | 1320 110364 370782 | 123602 120241 96 | 0.009 % |
936.46/937.07 c | 890006 | 1320 110364 370782 | 120429 120434 96 | 0.009 % |
936.96/937.54 c | 890218 | 1320 110364 370782 | 120429 103828 99 | 0.000 % |
937.26/937.83 c | 890451 | 1320 110364 370782 | 120429 104061 99 | 0.000 % |
937.56/938.15 c | 890707 | 1320 110364 370782 | 120429 104317 99 | 0.000 % |
937.86/938.47 c | 890989 | 1320 110364 370782 | 120429 104599 99 | 0.000 % |
938.26/938.81 c | 891298 | 1320 110364 370782 | 120429 104908 99 | 0.000 % |
938.66/939.21 c | 891637 | 1320 110364 370782 | 120429 105247 99 | 0.009 % |
939.06/939.65 c | 892011 | 1320 110364 370782 | 120429 105621 99 | 0.000 % |
939.66/940.21 c | 892421 | 1320 110364 370782 | 120429 106031 100 | 0.000 % |
940.15/940.75 c | 892872 | 1320 110364 370782 | 120429 106482 100 | 0.000 % |
940.75/941.31 c | 893365 | 1320 110364 370782 | 120429 106975 100 | 0.010 % |
941.25/941.89 c | 893908 | 1320 110364 370782 | 120429 107518 100 | 0.000 % |
942.06/942.60 c | 894506 | 1320 110364 370782 | 120429 108116 100 | 0.000 % |
942.85/943.45 c | 895162 | 1320 110364 370782 | 120429 108772 101 | 0.000 % |
943.65/944.28 c | 895882 | 1320 110364 370782 | 120429 109492 101 | 0.000 % |
944.45/945.09 c | 896675 | 1320 110364 370782 | 120429 110285 101 | 0.000 % |
945.25/945.84 c | 897547 | 1320 110364 370782 | 120429 111157 101 | 0.000 % |
946.65/947.28 c | 898506 | 1320 110364 370782 | 120429 112116 102 | 0.000 % |
947.95/948.54 c | 899560 | 1320 110364 370782 | 120429 113170 102 | 0.000 % |
949.45/950.09 c | 900718 | 1320 110364 370782 | 113611 114328 103 | 0.000 % |
951.05/951.65 c | 901991 | 1320 110364 370782 | 113611 103593 102 | 0.000 % |
952.35/952.99 c | 903392 | 1320 110364 370782 | 113611 104994 102 | 0.000 % |
954.05/954.67 c | 904932 | 1320 110364 370782 | 113611 106534 102 | 0.000 % |
955.65/956.26 c | 906627 | 1320 110364 370782 | 113611 108229 102 | 0.011 % |
957.25/957.84 c | 908491 | 1320 110364 370782 | 113611 110093 101 | 0.000 % |
959.35/959.99 c | 910541 | 1320 110364 370782 | 2147483647 112143 101 | 0.010 % |
961.75/962.34 c | 912795 | 1320 110364 370782 | 2147483647 114397 103 | 0.000 % |
964.94/965.56 c | 915276 | 1320 110364 370782 | 2147483647 116878 103 | 0.000 % |
968.14/968.77 c | 918004 | 1320 110364 370782 | 2147483647 119606 102 | 0.000 % |
972.74/973.35 c | 921002 | 1320 110364 370782 | 121602 106051 101 | 0.000 % |
977.13/977.70 c | 924300 | 1320 110364 370782 | 121602 109349 104 | 0.000 % |
982.43/983.08 c | 927926 | 1320 110364 370782 | 121602 112975 105 | 0.000 % |
987.14/987.74 c | 931915 | 1320 110364 370782 | 115049 102855 107 | 0.000 % |
992.63/993.21 c | 936301 | 1320 110364 370782 | 115049 107241 106 | 0.010 % |
999.13/999.71 c | 941124 | 1320 110364 370782 | 110940 96841 108 | 0.011 % |
1004.63/1005.30 c | 946429 | 1320 110364 370782 | 110940 102146 107 | 0.010 % |
1011.82/1012.46 c | 952264 | 1320 110364 370782 | 105720 92432 112 | 0.011 % |
1020.02/1020.61 c | 958682 | 1320 110364 370782 | 105720 98850 111 | 0.011 % |
1028.92/1029.59 c | 965742 | 1320 110364 370782 | 100169 92311 100 | 0.010 % |
1039.01/1039.64 c | 973506 | 1320 110364 370782 | 96569 84337 93 | 0.000 % |
1049.21/1049.84 c | 982046 | 1320 110364 370782 | 90833 83634 102 | 0.000 % |
1049.41/1050.02 c | 982147 | 1320 110364 370782 | 90833 83735 102 | 0.000 % |
1049.51/1050.19 c | 982258 | 1320 110364 370782 | 90833 83846 103 | 0.000 % |
1049.71/1050.34 c | 982380 | 1320 110364 370782 | 90833 83968 103 | 0.000 % |
1049.91/1050.50 c | 982513 | 1320 110364 370782 | 90833 84101 103 | 0.011 % |
1050.01/1050.66 c | 982659 | 1320 110364 370782 | 90833 84247 103 | 0.000 % |
1050.21/1050.88 c | 982820 | 1320 110364 370782 | 90833 84408 103 | 0.000 % |
1050.41/1051.07 c | 982996 | 1320 110364 370782 | 90833 84584 103 | 0.000 % |
1050.71/1051.36 c | 983189 | 1320 110364 370782 | 90833 84777 103 | 0.000 % |
1051.01/1051.61 c | 983401 | 1320 110364 370782 | 90833 84989 103 | 0.010 % |
1051.21/1051.85 c | 983634 | 1320 110364 370782 | 90833 85222 103 | 0.000 % |
1051.51/1052.15 c | 983892 | 1320 110364 370782 | 90833 85480 103 | 0.000 % |
1051.80/1052.42 c | 984173 | 1320 110364 370782 | 90833 85761 103 | 0.000 % |
1052.01/1052.65 c | 984482 | 1320 110364 370782 | 90833 86070 103 | 0.010 % |
1052.20/1052.89 c | 984821 | 1320 110364 370782 | 90833 86409 103 | 0.012 % |
1052.50/1053.19 c | 985193 | 1320 110364 370782 | 90833 86781 103 | 0.011 % |
1053.00/1053.61 c | 985602 | 1320 110364 370782 | 90833 87190 103 | 0.009 % |
1053.30/1053.99 c | 986051 | 1320 110364 370782 | 90833 87639 103 | 0.010 % |
1054.00/1054.64 c | 986546 | 1320 110364 370782 | 90833 88134 103 | 0.000 % |
1054.60/1055.25 c | 987088 | 1320 110364 370782 | 90833 88676 103 | 0.000 % |
1055.31/1055.93 c | 987684 | 1320 110364 370782 | 90833 89272 104 | 0.000 % |
1056.10/1056.77 c | 988339 | 1320 110364 370782 | 90833 89927 104 | 0.000 % |
1056.90/1057.58 c | 989060 | 1320 110364 370782 | 90833 90648 104 | 0.000 % |
1057.70/1058.34 c | 989853 | 1320 110364 370782 | 90833 91441 105 | 0.000 % |
1058.61/1059.28 c | 990726 | 1320 110364 370782 | 2147483647 83170 102 | 0.000 % |
1059.71/1060.36 c | 991687 | 1320 110364 370782 | 2147483647 84131 103 | 0.000 % |
1060.90/1061.53 c | 992741 | 1320 110364 370782 | 2147483647 85185 103 | 0.000 % |
1062.20/1062.81 c | 993900 | 1320 110364 370782 | 2147483647 86344 103 | 0.000 % |
1063.39/1064.01 c | 995173 | 1320 110364 370782 | 2147483647 87617 103 | 0.000 % |
1064.79/1065.41 c | 996573 | 1320 110364 370782 | 2147483647 89017 103 | 0.012 % |
1066.48/1067.14 c | 998115 | 1320 110364 370782 | 2147483647 90559 104 | 0.000 % |
1067.98/1068.61 c | 999810 | 1320 110364 370782 | 2147483647 92254 105 | 0.011 % |
1069.98/1070.69 c | 1001674 | 1320 110364 370782 | 2147483647 94118 105 | 0.000 % |
1072.28/1072.90 c | 1003724 | 1320 110364 370782 | 2147483647 96168 106 | 0.000 % |
1074.48/1075.14 c | 1005977 | 1320 110364 370782 | 2147483647 98421 106 | 0.000 % |
1077.08/1077.72 c | 1008456 | 1320 110364 370782 | 2147483647 100900 106 | 0.010 % |
1079.68/1080.33 c | 1011183 | 1320 110364 370782 | 2147483647 103627 105 | 0.010 % |
1082.78/1083.49 c | 1014182 | 1320 110364 370782 | 2147483647 106626 105 | 0.000 % |
1086.48/1087.12 c | 1017480 | 1320 110364 370782 | 2147483647 109924 104 | 0.000 % |
1090.58/1091.22 c | 1021106 | 1320 110364 370782 | 112445 100851 99 | 0.009 % |
1094.77/1095.48 c | 1025094 | 1320 110364 370782 | 112445 104839 100 | 0.000 % |
1101.37/1102.03 c | 1029481 | 1320 110364 370782 | 112445 109226 103 | 0.000 % |
1107.57/1108.28 c | 1034305 | 1320 110364 370782 | 2147483647 114050 104 | 0.000 % |
1114.46/1115.12 c | 1039613 | 1320 110364 370782 | 2147483647 119358 104 | 0.000 % |
1122.06/1122.71 c | 1045449 | 1320 110364 370782 | 119745 111794 107 | 0.000 % |
1129.46/1130.14 c | 1051868 | 1320 110364 370782 | 116346 101261 106 | 0.009 % |
1136.76/1137.41 c | 1058927 | 1320 110364 370782 | 116346 108320 105 | 0.009 % |
1145.85/1146.54 c | 1066693 | 1320 110364 370782 | 109397 102256 104 | 0.000 % |
1156.24/1156.94 c | 1075233 | 1320 110364 370782 | 105563 95097 93 | 0.011 % |
1166.35/1167.10 c | 1084627 | 1320 110364 370782 | 99865 89360 89 | 0.011 % |
1166.54/1167.21 c | 1084727 | 1320 110364 370782 | 99865 89460 89 | 0.009 % |
1166.64/1167.33 c | 1084837 | 1320 110364 370782 | 99865 89570 89 | 0.009 % |
1166.74/1167.45 c | 1084958 | 1320 110364 370782 | 99865 89691 89 | 0.000 % |
1166.94/1167.60 c | 1085091 | 1320 110364 370782 | 99865 89824 89 | 0.011 % |
1167.04/1167.78 c | 1085237 | 1320 110364 370782 | 99865 89970 89 | 0.000 % |
1167.24/1167.97 c | 1085397 | 1320 110364 370782 | 99865 90130 89 | 0.000 % |
1167.44/1168.10 c | 1085573 | 1320 110364 370782 | 99865 90306 89 | 0.000 % |
1167.64/1168.32 c | 1085766 | 1320 110364 370782 | 99865 90499 89 | 0.000 % |
1167.84/1168.52 c | 1085981 | 1320 110364 370782 | 99865 90714 89 | 0.000 % |
1168.04/1168.73 c | 1086214 | 1320 110364 370782 | 99865 90947 89 | 0.000 % |
1168.24/1168.93 c | 1086470 | 1320 110364 370782 | 99865 91203 89 | 0.011 % |
1168.44/1169.15 c | 1086751 | 1320 110364 370782 | 99865 91484 89 | 0.011 % |
1168.74/1169.43 c | 1087061 | 1320 110364 370782 | 99865 91794 89 | 0.011 % |
1169.04/1169.75 c | 1087400 | 1320 110364 370782 | 99865 92133 90 | 0.000 % |
1169.34/1170.06 c | 1087773 | 1320 110364 370782 | 99865 92506 90 | 0.000 % |
1169.74/1170.42 c | 1088183 | 1320 110364 370782 | 99865 92916 90 | 0.000 % |
1170.04/1170.71 c | 1088633 | 1320 110364 370782 | 99865 93366 90 | 0.000 % |
1170.44/1171.16 c | 1089128 | 1320 110364 370782 | 99865 93861 90 | 0.000 % |
1170.94/1171.64 c | 1089670 | 1320 110364 370782 | 99865 94403 90 | 0.000 % |
1171.44/1172.16 c | 1090268 | 1320 110364 370782 | 2147483647 95001 90 | 0.010 % |
1171.94/1172.67 c | 1090924 | 1320 110364 370782 | 2147483647 95657 90 | 0.010 % |
1172.54/1173.28 c | 1091645 | 1320 110364 370782 | 2147483647 96378 90 | 0.009 % |
1173.14/1173.86 c | 1092439 | 1320 110364 370782 | 2147483647 97172 90 | 0.009 % |
1173.94/1174.62 c | 1093310 | 1320 110364 370782 | 2147483647 98043 90 | 0.000 % |
1174.64/1175.36 c | 1094268 | 1320 110364 370782 | 2147483647 99001 90 | 0.011 % |
1175.44/1176.15 c | 1095324 | 1320 110364 370782 | 2147483647 100057 90 | 0.011 % |
1176.44/1177.14 c | 1096483 | 1320 110364 370782 | 2147483647 101216 90 | 0.000 % |
1177.64/1178.39 c | 1097758 | 1320 110364 370782 | 2147483647 102491 90 | 0.000 % |
1178.83/1179.58 c | 1099158 | 1320 110364 370782 | 2147483647 103891 90 | 0.000 % |
1180.03/1180.77 c | 1100699 | 1320 110364 370782 | 2147483647 105432 90 | 0.009 % |
1181.23/1181.98 c | 1102394 | 1320 110364 370782 | 2147483647 107127 90 | 0.009 % |
1182.84/1183.52 c | 1104257 | 1320 110364 370782 | 2147483647 108990 91 | 0.000 % |
1184.53/1185.23 c | 1106306 | 1320 110364 370782 | 2147483647 111039 90 | 0.009 % |
1186.53/1187.30 c | 1108562 | 1320 110364 370782 | 2147483647 113295 90 | 0.011 % |
1189.33/1190.03 c | 1111040 | 1320 110364 370782 | 2147483647 115773 93 | 0.000 % |
1192.13/1192.84 c | 1113765 | 1320 110364 370782 | 2147483647 118498 95 | 0.000 % |
1195.03/1195.75 c | 1116765 | 1320 110364 370782 | 2147483647 121498 96 | 0.000 % |
1198.23/1198.90 c | 1120064 | 1320 110364 370782 | 2147483647 124797 96 | 0.000 % |
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1834117-1242828127/watcher-1834117-1242828127 -o /tmp/evaluation-result-1834117-1242828127/solver-1834117-1242828127 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1834117-1242828127.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/64 5960
/proc/meminfo: memFree=1944240/2055920 swapFree=4179664/4192956
[pid=5960] ppid=5958 vsize=5356 CPUtime=0
/proc/5960/stat : 5960 (SatELiteGTI) R 5958 5960 5609 0 -1 4194304 291 249 0 0 0 0 0 0 18 0 1 0 310845347 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 210823735795 0 0 4100 65536 0 0 0 17 0 0 0
/proc/5960/statm: 1339 237 197 169 0 50 0
[startup+0.0525209 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 5960
/proc/meminfo: memFree=1944240/2055920 swapFree=4179664/4192956
[pid=5960] ppid=5958 vsize=5356 CPUtime=0
/proc/5960/stat : 5960 (SatELiteGTI) S 5958 5960 5609 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310845347 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/5960/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.101524 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 5960
/proc/meminfo: memFree=1944240/2055920 swapFree=4179664/4192956
[pid=5960] ppid=5958 vsize=5356 CPUtime=0
/proc/5960/stat : 5960 (SatELiteGTI) S 5958 5960 5609 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310845347 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/5960/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.301549 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 5960
/proc/meminfo: memFree=1944240/2055920 swapFree=4179664/4192956
[pid=5960] ppid=5958 vsize=5356 CPUtime=0
/proc/5960/stat : 5960 (SatELiteGTI) S 5958 5960 5609 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310845347 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/5960/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.701607 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 5960
/proc/meminfo: memFree=1944240/2055920 swapFree=4179664/4192956
[pid=5960] ppid=5958 vsize=5356 CPUtime=0.6
/proc/5960/stat : 5960 (SatELiteGTI) S 5958 5960 5609 0 -1 4194304 336 2636 0 0 0 0 58 2 16 0 1 0 310845347 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/5960/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.6
Current children cumulated vsize (KiB) 5356
[startup+1.5017 s]
/proc/loadavg: 0.92 0.98 0.99 2/66 5966
/proc/meminfo: memFree=1934688/2055920 swapFree=4179664/4192956
[pid=5960] ppid=5958 vsize=5356 CPUtime=0.6
/proc/5960/stat : 5960 (SatELiteGTI) S 5958 5960 5609 0 -1 4194304 336 2636 0 0 0 0 58 2 16 0 1 0 310845347 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/5960/statm: 1339 239 197 169 0 50 0
[pid=5966] ppid=5960 vsize=9340 CPUtime=0.88
/proc/5966/stat : 5966 (minisat_static) R 5960 5960 5609 0 -1 4194304 2203 0 0 0 87 1 0 0 25 0 1 0 310845408 9564160 2189 1992294400 134512640 135215339 4294956240 18446744073709551615 134529099 0 0 4096 3 0 0 0 17 1 0 0
/proc/5966/statm: 2335 2189 77 171 0 2162 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 14696
[startup+3.1029 s]
/proc/loadavg: 0.92 0.98 0.99 2/66 5966
/proc/meminfo: memFree=1931808/2055920 swapFree=4179664/4192956
[pid=5960] ppid=5958 vsize=5356 CPUtime=0.6
/proc/5960/stat : 5960 (SatELiteGTI) S 5958 5960 5609 0 -1 4194304 336 2636 0 0 0 0 58 2 16 0 1 0 310845347 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/5960/statm: 1339 239 197 169 0 50 0
[pid=5966] ppid=5960 vsize=12532 CPUtime=2.47
/proc/5966/stat : 5966 (minisat_static) R 5960 5960 5609 0 -1 4194304 3011 0 0 0 245 2 0 0 25 0 1 0 310845408 12832768 2997 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/5966/statm: 3133 2997 77 171 0 2960 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 17888
[startup+6.30127 s]
/proc/loadavg: 0.93 0.98 0.99 2/66 5966
/proc/meminfo: memFree=1925728/2055920 swapFree=4179664/4192956
[pid=5960] ppid=5958 vsize=5356 CPUtime=0.6
/proc/5960/stat : 5960 (SatELiteGTI) S 5958 5960 5609 0 -1 4194304 336 2636 0 0 0 0 58 2 16 0 1 0 310845347 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/5960/statm: 1339 239 197 169 0 50 0
[pid=5966] ppid=5960 vsize=18168 CPUtime=5.66
/proc/5966/stat : 5966 (minisat_static) R 5960 5960 5609 0 -1 4194304 4407 0 0 0 562 4 0 0 25 0 1 0 310845408 18604032 4393 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/5966/statm: 4542 4393 77 171 0 4369 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 23524
[startup+12.702 s]
/proc/loadavg: 0.93 0.98 0.99 2/66 5966
/proc/meminfo: memFree=1916776/2055920 swapFree=4179664/4192956
[pid=5960] ppid=5958 vsize=5356 CPUtime=0.6
/proc/5960/stat : 5960 (SatELiteGTI) S 5958 5960 5609 0 -1 4194304 336 2636 0 0 0 0 58 2 16 0 1 0 310845347 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/5960/statm: 1339 239 197 169 0 50 0
[pid=5966] ppid=5960 vsize=26332 CPUtime=12.06
/proc/5966/stat : 5966 (minisat_static) R 5960 5960 5609 0 -1 4194304 6430 0 0 0 1199 7 0 0 25 0 1 0 310845408 26963968 6416 1992294400 134512640 135215339 4294956240 18446744073709551615 134528788 0 0 4096 3 0 0 0 17 0 0 0
/proc/5966/statm: 6583 6416 77 171 0 6410 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 31688
[startup+25.5016 s]
/proc/loadavg: 0.95 0.98 0.99 2/66 5966
/proc/meminfo: memFree=1905000/2055920 swapFree=4179664/4192956
[pid=5960] ppid=5958 vsize=5356 CPUtime=0.6
/proc/5960/stat : 5960 (SatELiteGTI) S 5958 5960 5609 0 -1 4194304 336 2636 0 0 0 0 58 2 16 0 1 0 310845347 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/5960/statm: 1339 239 197 169 0 50 0
[pid=5966] ppid=5960 vsize=37804 CPUtime=24.85
/proc/5966/stat : 5966 (minisat_static) R 5960 5960 5609 0 -1 4194304 9287 0 0 0 2476 9 0 0 25 0 1 0 310845408 38711296 9273 1992294400 134512640 135215339 4294956240 18446744073709551615 134529326 0 0 4096 3 0 0 0 17 0 0 0
/proc/5966/statm: 9451 9273 77 171 0 9278 0
Current children cumulated CPU time (s) 25.45
Current children cumulated vsize (KiB) 43160
[startup+51.1016 s]
/proc/loadavg: 0.96 0.98 0.99 2/66 5966
/proc/meminfo: memFree=1888616/2055920 swapFree=4179664/4192956
[pid=5960] ppid=5958 vsize=5356 CPUtime=0.6
/proc/5960/stat : 5960 (SatELiteGTI) S 5958 5960 5609 0 -1 4194304 336 2636 0 0 0 0 58 2 16 0 1 0 310845347 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/5960/statm: 1339 239 197 169 0 50 0
[pid=5966] ppid=5960 vsize=54496 CPUtime=50.45
/proc/5966/stat : 5966 (minisat_static) R 5960 5960 5609 0 -1 4194304 13457 0 0 0 5030 15 0 0 25 0 1 0 310845408 55803904 13443 1992294400 134512640 135215339 4294956240 18446744073709551615 134528849 0 0 4096 3 0 0 0 17 0 0 0
/proc/5966/statm: 13624 13443 77 171 0 13451 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 59852
[startup+102.306 s]
/proc/loadavg: 0.98 0.98 0.99 2/66 5966
/proc/meminfo: memFree=1865512/2055920 swapFree=4179664/4192956
[pid=5960] ppid=5958 vsize=5356 CPUtime=0.6
/proc/5960/stat : 5960 (SatELiteGTI) S 5958 5960 5609 0 -1 4194304 336 2636 0 0 0 0 58 2 16 0 1 0 310845347 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/5960/statm: 1339 239 197 169 0 50 0
[pid=5966] ppid=5960 vsize=76840 CPUtime=101.63
/proc/5966/stat : 5966 (minisat_static) R 5960 5960 5609 0 -1 4194304 19027 0 0 0 10142 21 0 0 25 0 1 0 310845408 78684160 19013 1992294400 134512640 135215339 4294956240 18446744073709551615 134528788 0 0 4096 3 0 0 0 17 0 0 0
/proc/5966/statm: 19210 19013 77 171 0 19037 0
Current children cumulated CPU time (s) 102.23
Current children cumulated vsize (KiB) 82196
[startup+162.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 5966
/proc/meminfo: memFree=1865384/2055920 swapFree=4179664/4192956
[pid=5960] ppid=5958 vsize=5356 CPUtime=0.6
/proc/5960/stat : 5960 (SatELiteGTI) S 5958 5960 5609 0 -1 4194304 336 2636 0 0 0 0 58 2 16 0 1 0 310845347 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/5960/statm: 1339 239 197 169 0 50 0
[pid=5966] ppid=5960 vsize=76840 CPUtime=161.59
/proc/5966/stat : 5966 (minisat_static) R 5960 5960 5609 0 -1 4194304 19028 0 0 0 16138 21 0 0 25 0 1 0 310845408 78684160 19014 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/5966/statm: 19210 19014 77 171 0 19037 0
Current children cumulated CPU time (s) 162.19
Current children cumulated vsize (KiB) 82196
[startup+222.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 5966
/proc/meminfo: memFree=1865320/2055920 swapFree=4179664/4192956
[pid=5960] ppid=5958 vsize=5356 CPUtime=0.6
/proc/5960/stat : 5960 (SatELiteGTI) S 5958 5960 5609 0 -1 4194304 336 2636 0 0 0 0 58 2 16 0 1 0 310845347 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/5960/statm: 1339 239 197 169 0 50 0
[pid=5966] ppid=5960 vsize=76840 CPUtime=221.56
/proc/5966/stat : 5966 (minisat_static) R 5960 5960 5609 0 -1 4194304 19028 0 0 0 22135 21 0 0 25 0 1 0 310845408 78684160 19014 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/5966/statm: 19210 19014 77 171 0 19037 0
Current children cumulated CPU time (s) 222.16
Current children cumulated vsize (KiB) 82196
[startup+282.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 5966
/proc/meminfo: memFree=1865192/2055920 swapFree=4179664/4192956
[pid=5960] ppid=5958 vsize=5356 CPUtime=0.6
/proc/5960/stat : 5960 (SatELiteGTI) S 5958 5960 5609 0 -1 4194304 336 2636 0 0 0 0 58 2 16 0 1 0 310845347 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/5960/statm: 1339 239 197 169 0 50 0
[pid=5966] ppid=5960 vsize=76840 CPUtime=281.53
/proc/5966/stat : 5966 (minisat_static) R 5960 5960 5609 0 -1 4194304 19028 0 0 0 28132 21 0 0 25 0 1 0 310845408 78684160 19014 1992294400 134512640 135215339 4294956240 18446744073709551615 134528863 0 0 4096 3 0 0 0 17 0 0 0
/proc/5966/statm: 19210 19014 77 171 0 19037 0
Current children cumulated CPU time (s) 282.13
Current children cumulated vsize (KiB) 82196
[startup+342.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 5966
/proc/meminfo: memFree=1865064/2055920 swapFree=4179664/4192956
[pid=5960] ppid=5958 vsize=5356 CPUtime=0.6
/proc/5960/stat : 5960 (SatELiteGTI) S 5958 5960 5609 0 -1 4194304 336 2636 0 0 0 0 58 2 16 0 1 0 310845347 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/5960/statm: 1339 239 197 169 0 50 0
[pid=5966] ppid=5960 vsize=76840 CPUtime=341.49
/proc/5966/stat : 5966 (minisat_static) R 5960 5960 5609 0 -1 4194304 19028 0 0 0 34128 21 0 0 25 0 1 0 310845408 78684160 19014 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/5966/statm: 19210 19014 77 171 0 19037 0
Current children cumulated CPU time (s) 342.09
Current children cumulated vsize (KiB) 82196
[startup+402.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 5966
/proc/meminfo: memFree=1865000/2055920 swapFree=4179664/4192956
[pid=5960] ppid=5958 vsize=5356 CPUtime=0.6
/proc/5960/stat : 5960 (SatELiteGTI) S 5958 5960 5609 0 -1 4194304 336 2636 0 0 0 0 58 2 16 0 1 0 310845347 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/5960/statm: 1339 239 197 169 0 50 0
[pid=5966] ppid=5960 vsize=76840 CPUtime=401.46
/proc/5966/stat : 5966 (minisat_static) R 5960 5960 5609 0 -1 4194304 19028 0 0 0 40124 22 0 0 25 0 1 0 310845408 78684160 19014 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/5966/statm: 19210 19014 77 171 0 19037 0
Current children cumulated CPU time (s) 402.06
Current children cumulated vsize (KiB) 82196
[startup+462.302 s]
################
# More data... #
################
/proc/5966/statm: 19210 19014 77 171 0 19037 0
Current children cumulated CPU time (s) 581.95
Current children cumulated vsize (KiB) 82196
[startup+642.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 5966
/proc/meminfo: memFree=1864616/2055920 swapFree=4179664/4192956
[pid=5960] ppid=5958 vsize=5356 CPUtime=0.6
/proc/5960/stat : 5960 (SatELiteGTI) S 5958 5960 5609 0 -1 4194304 336 2636 0 0 0 0 58 2 16 0 1 0 310845347 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/5960/statm: 1339 239 197 169 0 50 0
[pid=5966] ppid=5960 vsize=76840 CPUtime=641.33
/proc/5966/stat : 5966 (minisat_static) R 5960 5960 5609 0 -1 4194304 19028 0 0 0 64111 22 0 0 25 0 1 0 310845408 78684160 19014 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/5966/statm: 19210 19014 77 171 0 19037 0
Current children cumulated CPU time (s) 641.93
Current children cumulated vsize (KiB) 82196
[startup+702.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 5966
/proc/meminfo: memFree=1864552/2055920 swapFree=4179664/4192956
[pid=5960] ppid=5958 vsize=5356 CPUtime=0.6
/proc/5960/stat : 5960 (SatELiteGTI) S 5958 5960 5609 0 -1 4194304 336 2636 0 0 0 0 58 2 16 0 1 0 310845347 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/5960/statm: 1339 239 197 169 0 50 0
[pid=5966] ppid=5960 vsize=76840 CPUtime=701.28
/proc/5966/stat : 5966 (minisat_static) R 5960 5960 5609 0 -1 4194304 19028 0 0 0 70106 22 0 0 25 0 1 0 310845408 78684160 19014 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/5966/statm: 19210 19014 77 171 0 19037 0
Current children cumulated CPU time (s) 701.88
Current children cumulated vsize (KiB) 82196
[startup+762.306 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 5966
/proc/meminfo: memFree=1864360/2055920 swapFree=4179664/4192956
[pid=5960] ppid=5958 vsize=5356 CPUtime=0.6
/proc/5960/stat : 5960 (SatELiteGTI) S 5958 5960 5609 0 -1 4194304 336 2636 0 0 0 0 58 2 16 0 1 0 310845347 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/5960/statm: 1339 239 197 169 0 50 0
[pid=5966] ppid=5960 vsize=76840 CPUtime=761.24
/proc/5966/stat : 5966 (minisat_static) R 5960 5960 5609 0 -1 4194304 19028 0 0 0 76102 22 0 0 25 0 1 0 310845408 78684160 19014 1992294400 134512640 135215339 4294956240 18446744073709551615 134528849 0 0 4096 3 0 0 0 17 0 0 0
/proc/5966/statm: 19210 19014 77 171 0 19037 0
Current children cumulated CPU time (s) 761.84
Current children cumulated vsize (KiB) 82196
[startup+822.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 5966
/proc/meminfo: memFree=1864296/2055920 swapFree=4179664/4192956
[pid=5960] ppid=5958 vsize=5356 CPUtime=0.6
/proc/5960/stat : 5960 (SatELiteGTI) S 5958 5960 5609 0 -1 4194304 336 2636 0 0 0 0 58 2 16 0 1 0 310845347 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/5960/statm: 1339 239 197 169 0 50 0
[pid=5966] ppid=5960 vsize=76840 CPUtime=821.21
/proc/5966/stat : 5966 (minisat_static) R 5960 5960 5609 0 -1 4194304 19028 0 0 0 82099 22 0 0 25 0 1 0 310845408 78684160 19014 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/5966/statm: 19210 19014 77 171 0 19037 0
Current children cumulated CPU time (s) 821.81
Current children cumulated vsize (KiB) 82196
[startup+882.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 5966
/proc/meminfo: memFree=1864168/2055920 swapFree=4179664/4192956
[pid=5960] ppid=5958 vsize=5356 CPUtime=0.6
/proc/5960/stat : 5960 (SatELiteGTI) S 5958 5960 5609 0 -1 4194304 336 2636 0 0 0 0 58 2 16 0 1 0 310845347 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/5960/statm: 1339 239 197 169 0 50 0
[pid=5966] ppid=5960 vsize=76840 CPUtime=881.19
/proc/5966/stat : 5966 (minisat_static) R 5960 5960 5609 0 -1 4194304 19028 0 0 0 88096 23 0 0 25 0 1 0 310845408 78684160 19014 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/5966/statm: 19210 19014 77 171 0 19037 0
Current children cumulated CPU time (s) 881.79
Current children cumulated vsize (KiB) 82196
[startup+942.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 5966
/proc/meminfo: memFree=1864104/2055920 swapFree=4179664/4192956
[pid=5960] ppid=5958 vsize=5356 CPUtime=0.6
/proc/5960/stat : 5960 (SatELiteGTI) S 5958 5960 5609 0 -1 4194304 336 2636 0 0 0 0 58 2 16 0 1 0 310845347 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/5960/statm: 1339 239 197 169 0 50 0
[pid=5966] ppid=5960 vsize=76840 CPUtime=941.15
/proc/5966/stat : 5966 (minisat_static) R 5960 5960 5609 0 -1 4194304 19028 0 0 0 94092 23 0 0 25 0 1 0 310845408 78684160 19014 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/5966/statm: 19210 19014 77 171 0 19037 0
Current children cumulated CPU time (s) 941.75
Current children cumulated vsize (KiB) 82196
[startup+1002.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 5966
/proc/meminfo: memFree=1864040/2055920 swapFree=4179664/4192956
[pid=5960] ppid=5958 vsize=5356 CPUtime=0.6
/proc/5960/stat : 5960 (SatELiteGTI) S 5958 5960 5609 0 -1 4194304 336 2636 0 0 0 0 58 2 16 0 1 0 310845347 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/5960/statm: 1339 239 197 169 0 50 0
[pid=5966] ppid=5960 vsize=76840 CPUtime=1001.13
/proc/5966/stat : 5966 (minisat_static) R 5960 5960 5609 0 -1 4194304 19028 0 0 0 100090 23 0 0 25 0 1 0 310845408 78684160 19014 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/5966/statm: 19210 19014 77 171 0 19037 0
Current children cumulated CPU time (s) 1001.73
Current children cumulated vsize (KiB) 82196
[startup+1062.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 5966
/proc/meminfo: memFree=1863912/2055920 swapFree=4179664/4192956
[pid=5960] ppid=5958 vsize=5356 CPUtime=0.6
/proc/5960/stat : 5960 (SatELiteGTI) S 5958 5960 5609 0 -1 4194304 336 2636 0 0 0 0 58 2 16 0 1 0 310845347 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/5960/statm: 1339 239 197 169 0 50 0
[pid=5966] ppid=5960 vsize=76840 CPUtime=1061.1
/proc/5966/stat : 5966 (minisat_static) R 5960 5960 5609 0 -1 4194304 19028 0 0 0 106087 23 0 0 25 0 1 0 310845408 78684160 19014 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/5966/statm: 19210 19014 77 171 0 19037 0
Current children cumulated CPU time (s) 1061.7
Current children cumulated vsize (KiB) 82196
[startup+1122.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 5966
/proc/meminfo: memFree=1863848/2055920 swapFree=4179664/4192956
[pid=5960] ppid=5958 vsize=5356 CPUtime=0.6
/proc/5960/stat : 5960 (SatELiteGTI) S 5958 5960 5609 0 -1 4194304 336 2636 0 0 0 0 58 2 16 0 1 0 310845347 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/5960/statm: 1339 239 197 169 0 50 0
[pid=5966] ppid=5960 vsize=76840 CPUtime=1121.06
/proc/5966/stat : 5966 (minisat_static) R 5960 5960 5609 0 -1 4194304 19028 0 0 0 112083 23 0 0 25 0 1 0 310845408 78684160 19014 1992294400 134512640 135215339 4294956240 18446744073709551615 134528806 0 0 4096 3 0 0 0 17 0 0 0
/proc/5966/statm: 19210 19014 77 171 0 19037 0
Current children cumulated CPU time (s) 1121.66
Current children cumulated vsize (KiB) 82196
[startup+1182.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 5966
/proc/meminfo: memFree=1863784/2055920 swapFree=4179664/4192956
[pid=5960] ppid=5958 vsize=5356 CPUtime=0.6
/proc/5960/stat : 5960 (SatELiteGTI) S 5958 5960 5609 0 -1 4194304 336 2636 0 0 0 0 58 2 16 0 1 0 310845347 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/5960/statm: 1339 239 197 169 0 50 0
[pid=5966] ppid=5960 vsize=76840 CPUtime=1181.03
/proc/5966/stat : 5966 (minisat_static) R 5960 5960 5609 0 -1 4194304 19028 0 0 0 118080 23 0 0 25 0 1 0 310845408 78684160 19014 1992294400 134512640 135215339 4294956240 18446744073709551615 134528779 0 0 4096 3 0 0 0 17 0 0 0
/proc/5966/statm: 19210 19014 77 171 0 19037 0
Current children cumulated CPU time (s) 1181.63
Current children cumulated vsize (KiB) 82196
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1200.7 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 5966
/proc/meminfo: memFree=1863720/2055920 swapFree=4179664/4192956
[pid=5960] ppid=5958 vsize=5356 CPUtime=0.6
/proc/5960/stat : 5960 (SatELiteGTI) S 5958 5960 5609 0 -1 4194304 336 2636 0 0 0 0 58 2 16 0 1 0 310845347 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/5960/statm: 1339 239 197 169 0 50 0
[pid=5966] ppid=5960 vsize=76840 CPUtime=1199.42
/proc/5966/stat : 5966 (minisat_static) R 5960 5960 5609 0 -1 4194304 19028 0 0 0 119919 23 0 0 25 0 1 0 310845408 78684160 19014 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/5966/statm: 19210 19014 77 171 0 19037 0
Current children cumulated CPU time (s) 1200.02
Current children cumulated vsize (KiB) 82196
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: 0.99 0.98 0.99 2/66 5966
/proc/meminfo: memFree=1863720/2055920 swapFree=4179664/4192956
[pid=5960] ppid=5958 vsize=5356 CPUtime=0.6
/proc/5960/stat : 5960 (SatELiteGTI) S 5958 5960 5609 0 -1 4194304 336 2636 0 0 0 0 58 2 16 0 1 0 310845347 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/5960/statm: 1339 239 197 169 0 50 0
[pid=5966] ppid=5960 vsize=76840 CPUtime=1199.42
/proc/5966/stat : 5966 (minisat_static) R 5960 5960 5609 0 -1 4194304 19028 0 0 0 119919 23 0 0 25 0 1 0 310845408 78684160 19014 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/5966/statm: 19210 19014 77 171 0 19037 0
Current children cumulated CPU time (s) 1200.02
Current children cumulated vsize (KiB) 82196
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 5960 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=584911
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=22996
# CPU time returned by wait4() is 0.607907
# while last known CPU time is 1200.02
#
# 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.02
CPU user time (s): 1199.77
CPU system time (s): 0.25
CPU usage (%): 99.9423
Max. virtual memory (cumulated for all children) (KiB): 82196
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.584911
system time used= 0.022996
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2972
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= 12
involuntary context switches= 10
runsolver used 0.974851 second user time and 3.48947 second system time
The end
Begin job on node33 at 2009-05-20 16:02:07
IDJOB=1834117
IDBENCH=71495
IDSOLVER=671
FILE ID=node33/1834117-1242828127
PBS_JOBID= 9322502
Free space on /tmp= 66280 MiB
SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT09/CRAFTED/rbsat/crafted/unforced/rbsat-v1375c111739g6.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1834117-1242828127/watcher-1834117-1242828127 -o /tmp/evaluation-result-1834117-1242828127/solver-1834117-1242828127 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1834117-1242828127.cnf
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= e4c376965bc8cbd4cdf5b3958d29ec62
RANDOM SEED=1854470398
node33.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.212
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.212
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5586.94
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1944720 kB
Buffers: 16424 kB
Cached: 58108 kB
SwapCached: 7340 kB
Active: 34896 kB
Inactive: 48340 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1944720 kB
SwapTotal: 4192956 kB
SwapFree: 4179664 kB
Dirty: 2948 kB
Writeback: 0 kB
Mapped: 13904 kB
Slab: 14040 kB
Committed_AS: 1067572 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= 66276 MiB
End job on node33 at 2009-05-20 16:22:10