0.00/0.00 c Parsing...
0.00/0.08 c ==============================================================================
0.00/0.08 c | | ORIGINAL | LEARNT | |
0.00/0.08 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress |
0.00/0.08 c ==============================================================================
0.00/0.08 c | 0 | 171155 344000 | 51346 0 0 nan | 0.000 % |
0.00/0.87 c | 0 | 168808 562435 | -- 0 -- -- | -- | -2347/218435
0.00/0.87 c ==============================================================================
0.00/0.87 c Result : #vars: 1755 #clauses: 168808 #literals: 562435
0.00/0.87 c CPU time: 0.84987 s
0.00/0.87 c ==============================================================================
0.98/1.03 c This is MiniSat 2.0 beta
0.98/1.03 c WARNING: for repeatability, setting FPU to use double precision
0.98/1.03 c ============================[ Problem Statistics ]=============================
0.98/1.03 c | |
0.98/1.03 c | Number of variables: 1755 |
0.98/1.03 c | Number of clauses: 168808 |
1.02/1.12 c | Parsing time: 0.07 s |
1.02/1.12 c ============================[ Search Statistics ]==============================
1.02/1.12 c | Conflicts | ORIGINAL | LEARNT | Progress |
1.02/1.12 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
1.02/1.12 c ===============================================================================
1.02/1.12 c | 0 | 1755 168808 562435 | 56269 0 nan | 0.000 % |
1.02/1.15 c | 103 | 1755 168808 562435 | 56269 103 138 | 0.000 % |
1.02/1.17 c | 203 | 1755 168808 562435 | 56269 203 131 | 0.000 % |
1.02/1.19 c | 303 | 1755 168808 562435 | 56269 303 129 | 0.000 % |
1.02/1.22 c | 414 | 1755 168808 562435 | 56269 414 121 | 0.000 % |
1.02/1.24 c | 515 | 1755 168808 562435 | 56269 515 113 | 0.007 % |
1.02/1.26 c | 625 | 1755 168808 562435 | 56269 625 110 | 0.000 % |
1.02/1.28 c | 747 | 1755 168808 562435 | 56269 747 109 | 0.000 % |
1.02/1.30 c | 848 | 1755 168808 562435 | 56269 848 106 | 0.006 % |
1.02/1.32 c | 959 | 1755 168808 562435 | 56269 959 103 | 0.007 % |
1.02/1.34 c | 1080 | 1755 168808 562435 | 56269 1080 103 | 0.006 % |
1.02/1.36 c | 1214 | 1755 168808 562435 | 56269 1214 107 | 0.000 % |
1.02/1.38 c | 1315 | 1755 168808 562435 | 56269 1315 107 | 0.000 % |
1.02/1.40 c | 1425 | 1755 168808 562435 | 56269 1425 109 | 0.000 % |
1.02/1.43 c | 1546 | 1755 168808 562435 | 56269 1546 108 | 0.008 % |
1.02/1.46 c | 1679 | 1755 168808 562435 | 56269 1679 111 | 0.000 % |
1.02/1.48 c | 1825 | 1755 168808 562435 | 56269 1825 110 | 0.007 % |
1.02/1.50 c | 1925 | 1755 168808 562435 | 56269 1925 110 | 0.000 % |
1.02/1.52 c | 2035 | 1755 168808 562435 | 56269 2035 108 | 0.000 % |
1.02/1.55 c | 2156 | 1755 168808 562435 | 56269 2156 110 | 0.000 % |
1.02/1.58 c | 2290 | 1755 168808 562435 | 56269 2290 109 | 0.000 % |
1.02/1.60 c | 2437 | 1755 168808 562435 | 56269 2437 108 | 0.007 % |
1.02/1.63 c | 2598 | 1755 168808 562435 | 56269 2598 108 | 0.000 % |
1.02/1.65 c | 2700 | 1755 168808 562435 | 56269 2700 109 | 0.000 % |
1.02/1.68 c | 2810 | 1755 168808 562435 | 56269 2810 111 | 0.000 % |
1.02/1.70 c | 2931 | 1755 168808 562435 | 56269 2931 112 | 0.000 % |
1.02/1.73 c | 3067 | 1755 168808 562435 | 56269 3067 111 | 0.000 % |
1.02/1.77 c | 3213 | 1755 168808 562435 | 56269 3213 115 | 0.000 % |
1.02/1.80 c | 3375 | 1755 168808 562435 | 56269 3375 114 | 0.006 % |
1.02/1.83 c | 3551 | 1755 168808 562435 | 56269 3551 112 | 0.007 % |
1.02/1.85 c | 3654 | 1755 168808 562435 | 56269 3654 113 | 0.000 % |
1.02/1.88 c | 3764 | 1755 168808 562435 | 56269 3764 113 | 0.007 % |
1.02/1.91 c | 3885 | 1755 168808 562435 | 56269 3885 113 | 0.000 % |
1.02/1.93 c | 4019 | 1755 168808 562435 | 56269 4019 113 | 0.000 % |
1.02/1.97 c | 4165 | 1755 168808 562435 | 56269 4165 114 | 0.000 % |
1.02/2.01 c | 4325 | 1755 168808 562435 | 56269 4325 114 | 0.000 % |
1.02/2.04 c | 4502 | 1755 168808 562435 | 56269 4502 113 | 0.007 % |
1.02/2.09 c | 4695 | 1755 168808 562435 | 56269 4695 114 | 0.000 % |
2.07/2.12 c | 4795 | 1755 168808 562435 | 56269 4795 114 | 0.000 % |
2.07/2.15 c | 4906 | 1755 168808 562435 | 56269 4906 114 | 0.000 % |
2.07/2.18 c | 5030 | 1755 168808 562435 | 56269 5030 114 | 0.000 % |
2.17/2.21 c | 5163 | 1755 168808 562435 | 56269 5163 114 | 0.000 % |
2.17/2.24 c | 5309 | 1755 168808 562435 | 56269 5309 113 | 0.000 % |
2.17/2.27 c | 5471 | 1755 168808 562435 | 56269 5471 113 | 0.006 % |
2.26/2.31 c | 5649 | 1755 168808 562435 | 56269 5649 113 | 0.005 % |
2.26/2.36 c | 5842 | 1755 168808 562435 | 56269 5842 112 | 0.000 % |
2.36/2.41 c | 6054 | 1755 168808 562435 | 56269 6054 111 | 0.005 % |
2.36/2.43 c | 6156 | 1755 168808 562435 | 56269 6156 112 | 0.000 % |
2.36/2.46 c | 6267 | 1755 168808 562435 | 56269 6267 112 | 0.000 % |
2.36/2.48 c | 6389 | 1755 168808 562435 | 56269 6389 111 | 0.000 % |
2.46/2.52 c | 6523 | 1755 168808 562435 | 56269 6523 111 | 0.006 % |
2.46/2.56 c | 6669 | 1755 168808 562435 | 56269 6669 112 | 0.000 % |
2.46/2.59 c | 6829 | 1755 168808 562435 | 56269 6829 112 | 0.000 % |
2.57/2.63 c | 7007 | 1755 168808 562435 | 56269 7007 111 | 0.005 % |
2.57/2.68 c | 7200 | 1755 168808 562435 | 56269 7200 112 | 0.000 % |
2.67/2.73 c | 7412 | 1755 168808 562435 | 56269 7412 111 | 0.000 % |
2.67/2.78 c | 7646 | 1755 168808 562435 | 56269 7646 111 | 0.000 % |
2.77/2.80 c | 7746 | 1755 168808 562435 | 56269 7746 111 | 0.007 % |
2.77/2.83 c | 7857 | 1755 168808 562435 | 56269 7857 110 | 0.007 % |
2.77/2.85 c | 7979 | 1755 168808 562435 | 56269 7979 110 | 0.006 % |
2.77/2.89 c | 8112 | 1755 168808 562435 | 56269 8112 109 | 0.007 % |
2.87/2.93 c | 8258 | 1755 168808 562435 | 56269 8258 109 | 0.007 % |
2.87/2.96 c | 8419 | 1755 168808 562435 | 56269 8419 109 | 0.006 % |
2.97/3.00 c | 8598 | 1755 168808 562435 | 56269 8598 108 | 0.006 % |
2.97/3.05 c | 8791 | 1755 168808 562435 | 56269 8791 109 | 0.000 % |
3.07/3.11 c | 9003 | 1755 168808 562435 | 56269 9003 109 | 0.000 % |
3.07/3.16 c | 9237 | 1755 168808 562435 | 56269 9237 110 | 0.000 % |
3.17/3.22 c | 9493 | 1755 168808 562435 | 56269 9493 110 | 0.000 % |
3.17/3.25 c | 9593 | 1755 168808 562435 | 56269 9593 110 | 0.000 % |
3.17/3.28 c | 9703 | 1755 168808 562435 | 56269 9703 111 | 0.000 % |
3.27/3.31 c | 9824 | 1755 168808 562435 | 56269 9824 111 | 0.000 % |
3.27/3.34 c | 9958 | 1755 168808 562435 | 56269 9958 111 | 0.000 % |
3.27/3.39 c | 10104 | 1755 168808 562435 | 2147483647 10104 111 | 0.005 % |
3.37/3.43 c | 10264 | 1755 168808 562435 | 2147483647 10264 110 | 0.007 % |
3.37/3.48 c | 10442 | 1755 168808 562435 | 2147483647 10442 110 | 0.007 % |
3.47/3.53 c | 10636 | 1755 168808 562435 | 2147483647 10636 109 | 0.007 % |
3.47/3.58 c | 10849 | 1755 168808 562435 | 2147483647 10849 109 | 0.007 % |
3.57/3.65 c | 11084 | 1755 168808 562435 | 2147483647 11084 108 | 0.000 % |
3.67/3.71 c | 11340 | 1755 168808 562435 | 2147483647 11340 108 | 0.000 % |
3.67/3.78 c | 11621 | 1755 168808 562435 | 2147483647 11621 108 | 0.007 % |
3.77/3.80 c | 11722 | 1755 168808 562435 | 2147483647 11722 108 | 0.009 % |
3.77/3.83 c | 11833 | 1755 168808 562435 | 2147483647 11833 107 | 0.004 % |
3.77/3.85 c | 11955 | 1755 168808 562435 | 2147483647 11955 107 | 0.000 % |
3.77/3.89 c | 12088 | 1755 168808 562435 | 2147483647 12088 108 | 0.000 % |
3.87/3.94 c | 12235 | 1755 168808 562435 | 2147483647 12235 108 | 0.000 % |
3.87/3.98 c | 12396 | 1755 168808 562435 | 2147483647 12396 108 | 0.007 % |
3.97/4.03 c | 12572 | 1755 168808 562435 | 2147483647 12572 108 | 0.000 % |
3.97/4.09 c | 12765 | 1755 168808 562435 | 2147483647 12765 109 | 0.000 % |
4.06/4.14 c | 12978 | 1755 168808 562435 | 2147483647 12978 109 | 0.000 % |
4.16/4.21 c | 13214 | 1755 168808 562435 | 2147483647 13214 109 | 0.000 % |
4.16/4.28 c | 13471 | 1755 168808 562435 | 2147483647 13471 109 | 0.000 % |
4.27/4.35 c | 13752 | 1755 168808 562435 | 2147483647 13752 109 | 0.000 % |
4.37/4.44 c | 14063 | 1755 168808 562435 | 2147483647 14063 108 | 0.006 % |
4.37/4.49 c | 14164 | 1755 168808 562435 | 2147483647 14164 109 | 0.000 % |
4.46/4.51 c | 14275 | 1755 168808 562435 | 2147483647 14275 109 | 0.007 % |
4.46/4.55 c | 14396 | 1755 168808 562435 | 2147483647 14396 109 | 0.000 % |
4.46/4.58 c | 14529 | 1755 168808 562435 | 2147483647 14529 108 | 0.005 % |
4.56/4.62 c | 14676 | 1755 168808 562435 | 2147483647 14676 109 | 0.000 % |
4.56/4.67 c | 14837 | 1755 168808 562435 | 2147483647 14837 109 | 0.000 % |
4.66/4.72 c | 15013 | 1755 168808 562435 | 2147483647 15013 109 | 0.000 % |
4.66/4.77 c | 15206 | 1755 168808 562435 | 2147483647 15206 109 | 0.000 % |
4.76/4.83 c | 15418 | 1755 168808 562435 | 2147483647 15418 109 | 0.006 % |
4.76/4.89 c | 15651 | 1755 168808 562435 | 2147483647 15651 109 | 0.006 % |
4.87/4.96 c | 15908 | 1755 168808 562435 | 2147483647 15908 108 | 0.000 % |
4.97/5.03 c | 16191 | 1755 168808 562435 | 2147483647 16191 109 | 0.000 % |
5.07/5.11 c | 16501 | 1755 168808 562435 | 2147483647 16501 108 | 0.000 % |
5.17/5.21 c | 16841 | 1755 168808 562435 | 2147483647 16841 109 | 0.000 % |
5.17/5.25 c | 16941 | 1755 168808 562435 | 2147483647 16941 109 | 0.000 % |
5.17/5.29 c | 17052 | 1755 168808 562435 | 2147483647 17052 110 | 0.000 % |
5.26/5.33 c | 17173 | 1755 168808 562435 | 2147483647 17173 110 | 0.000 % |
5.26/5.36 c | 17306 | 1755 168808 562435 | 2147483647 17306 110 | 0.000 % |
5.37/5.40 c | 17452 | 1755 168808 562435 | 2147483647 17452 110 | 0.000 % |
5.37/5.45 c | 17612 | 1755 168808 562435 | 2147483647 17612 110 | 0.000 % |
5.47/5.50 c | 17788 | 1755 168808 562435 | 2147483647 17788 110 | 0.000 % |
5.47/5.56 c | 17981 | 1755 168808 562435 | 2147483647 17981 109 | 0.007 % |
5.56/5.62 c | 18195 | 1755 168808 562435 | 2147483647 18195 109 | 0.007 % |
5.56/5.68 c | 18428 | 1755 168808 562435 | 2147483647 18428 109 | 0.000 % |
5.66/5.76 c | 18684 | 1755 168808 562435 | 2147483647 18684 109 | 0.007 % |
5.76/5.85 c | 18965 | 1755 168808 562435 | 2147483647 18965 108 | 0.006 % |
5.86/5.95 c | 19275 | 1755 168808 562435 | 2147483647 19275 108 | 0.007 % |
5.96/6.06 c | 19616 | 1755 168808 562435 | 2147483647 19616 107 | 0.007 % |
6.06/6.18 c | 19989 | 1755 168808 562435 | 2147483647 19989 107 | 0.007 % |
6.16/6.21 c | 20090 | 1755 168808 562435 | 2147483647 20090 107 | 0.007 % |
6.16/6.26 c | 20202 | 1755 168808 562435 | 2147483647 20202 107 | 0.000 % |
6.26/6.30 c | 20323 | 1755 168808 562435 | 2147483647 20323 107 | 0.000 % |
6.26/6.34 c | 20457 | 1755 168808 562435 | 2147483647 20457 107 | 0.000 % |
6.26/6.39 c | 20603 | 1755 168808 562435 | 2147483647 20603 107 | 0.000 % |
6.36/6.43 c | 20764 | 1755 168808 562435 | 2147483647 20764 107 | 0.007 % |
6.36/6.47 c | 20940 | 1755 168808 562435 | 2147483647 20940 107 | 0.007 % |
6.47/6.54 c | 21134 | 1755 168808 562435 | 2147483647 21134 106 | 0.005 % |
6.57/6.62 c | 21346 | 1755 168808 562435 | 2147483647 21346 106 | 0.005 % |
6.66/6.70 c | 21580 | 1755 168808 562435 | 2147483647 21580 106 | 0.000 % |
6.66/6.78 c | 21836 | 1755 168808 562435 | 2147483647 21836 106 | 0.000 % |
6.76/6.87 c | 22118 | 1755 168808 562435 | 2147483647 22118 106 | 0.000 % |
6.86/6.98 c | 22428 | 1755 168808 562435 | 2147483647 22428 106 | 0.006 % |
6.96/7.06 c | 22767 | 1755 168808 562435 | 2147483647 22767 106 | 0.000 % |
7.06/7.16 c | 23140 | 1755 168808 562435 | 2147483647 23140 106 | 0.005 % |
7.16/7.28 c | 23551 | 1755 168808 562435 | 2147483647 23551 106 | 0.007 % |
7.26/7.33 c | 23651 | 1755 168808 562435 | 2147483647 23651 106 | 0.000 % |
7.26/7.37 c | 23761 | 1755 168808 562435 | 2147483647 23761 106 | 0.006 % |
7.37/7.41 c | 23885 | 1755 168808 562435 | 2147483647 23885 106 | 0.000 % |
7.37/7.45 c | 24018 | 1755 168808 562435 | 2147483647 24018 106 | 0.000 % |
7.47/7.50 c | 24165 | 1755 168808 562435 | 2147483647 24165 106 | 0.000 % |
7.47/7.56 c | 24326 | 1755 168808 562435 | 2147483647 24326 106 | 0.008 % |
7.57/7.62 c | 24504 | 1755 168808 562435 | 2147483647 24504 106 | 0.000 % |
7.67/7.71 c | 24697 | 1755 168808 562435 | 2147483647 24697 107 | 0.000 % |
7.67/7.78 c | 24912 | 1755 168808 562435 | 2147483647 24912 107 | 0.000 % |
7.77/7.87 c | 25146 | 1755 168808 562435 | 2147483647 25146 107 | 0.000 % |
7.87/7.96 c | 25402 | 1755 168808 562435 | 2147483647 25402 107 | 0.000 % |
7.96/8.06 c | 25683 | 1755 168808 562435 | 2147483647 25683 106 | 0.000 % |
8.06/8.17 c | 25992 | 1755 168808 562435 | 2147483647 25992 106 | 0.000 % |
8.16/8.28 c | 26331 | 1755 168808 562435 | 2147483647 26331 106 | 0.006 % |
8.26/8.40 c | 26703 | 1755 168808 562435 | 2147483647 26703 106 | 0.006 % |
8.46/8.54 c | 27112 | 1755 168808 562435 | 2147483647 27112 105 | 0.000 % |
8.56/8.66 c | 27562 | 1755 168808 562435 | 2147483647 27562 105 | 0.007 % |
8.67/8.71 c | 27664 | 1755 168808 562435 | 2147483647 27664 105 | 0.000 % |
8.67/8.75 c | 27774 | 1755 168808 562435 | 2147483647 27774 106 | 0.000 % |
8.67/8.80 c | 27896 | 1755 168808 562435 | 2147483647 27896 106 | 0.007 % |
8.77/8.84 c | 28030 | 1755 168808 562435 | 2147483647 28030 105 | 0.000 % |
8.86/8.91 c | 28178 | 1755 168808 562435 | 2147483647 28178 106 | 0.000 % |
8.86/8.95 c | 28342 | 1755 168808 562435 | 2147483647 28342 106 | 0.000 % |
8.96/9.02 c | 28519 | 1755 168808 562435 | 2147483647 28519 106 | 0.000 % |
9.06/9.11 c | 28712 | 1755 168808 562435 | 2147483647 28712 106 | 0.000 % |
9.06/9.19 c | 28924 | 1755 168808 562435 | 2147483647 28924 106 | 0.000 % |
9.16/9.27 c | 29161 | 1755 168808 562435 | 2147483647 29161 106 | 0.000 % |
9.26/9.37 c | 29420 | 1755 168808 562435 | 2147483647 29420 106 | 0.006 % |
9.36/9.48 c | 29701 | 1755 168808 562435 | 2147483647 29701 106 | 0.006 % |
9.46/9.58 c | 30010 | 1755 168808 562435 | 2147483647 30010 106 | 0.000 % |
9.66/9.70 c | 30350 | 1755 168808 562435 | 2147483647 30350 106 | 0.000 % |
9.77/9.84 c | 30722 | 1755 168808 562435 | 2147483647 30722 106 | 0.000 % |
9.87/9.97 c | 31131 | 1755 168808 562435 | 2147483647 31131 107 | 0.000 % |
10.06/10.11 c | 31580 | 1755 168808 562435 | 2147483647 31580 107 | 0.000 % |
10.26/10.30 c | 32073 | 1755 168808 562435 | 2147483647 32073 107 | 0.000 % |
10.26/10.35 c | 32173 | 1755 168808 562435 | 2147483647 32173 107 | 0.000 % |
10.36/10.41 c | 32283 | 1755 168808 562435 | 2147483647 32283 107 | 0.000 % |
10.36/10.45 c | 32404 | 1755 168808 562435 | 2147483647 32404 107 | 0.000 % |
10.47/10.51 c | 32537 | 1755 168808 562435 | 2147483647 32537 107 | 0.000 % |
10.47/10.58 c | 32683 | 1755 168808 562435 | 2147483647 32683 108 | 0.000 % |
10.57/10.65 c | 32843 | 1755 168808 562435 | 2147483647 32843 108 | 0.000 % |
10.67/10.72 c | 33020 | 1755 168808 562435 | 2147483647 33020 108 | 0.000 % |
10.67/10.79 c | 33215 | 1755 168808 562435 | 2147483647 33215 108 | 0.000 % |
10.77/10.87 c | 33427 | 1755 168808 562435 | 2147483647 33427 108 | 0.000 % |
10.87/10.95 c | 33660 | 1755 168808 562435 | 2147483647 33660 108 | 0.000 % |
10.97/11.04 c | 33916 | 1755 168808 562435 | 2147483647 33916 107 | 0.006 % |
11.07/11.15 c | 34199 | 1755 168808 562435 | 2147483647 34199 107 | 0.006 % |
11.17/11.28 c | 34508 | 1755 168808 562435 | 2147483647 34508 107 | 0.006 % |
11.37/11.45 c | 34847 | 1755 168808 562435 | 2147483647 34847 107 | 0.000 % |
11.56/11.61 c | 35223 | 1755 168808 562435 | 2147483647 35223 107 | 0.000 % |
11.76/11.80 c | 35633 | 1755 168808 562435 | 2147483647 35633 107 | 0.000 % |
11.86/11.96 c | 36085 | 1755 168808 562435 | 2147483647 36085 107 | 0.000 % |
12.16/12.21 c | 36580 | 1755 168808 562435 | 2147483647 36580 107 | 0.000 % |
12.36/12.43 c | 37122 | 1755 168808 562435 | 2147483647 37122 108 | 0.000 % |
12.36/12.48 c | 37222 | 1755 168808 562435 | 2147483647 37222 108 | 0.000 % |
12.46/12.54 c | 37332 | 1755 168808 562435 | 2147483647 37332 108 | 0.000 % |
12.46/12.58 c | 37453 | 1755 168808 562435 | 2147483647 37453 108 | 0.000 % |
12.56/12.63 c | 37588 | 1755 168808 562435 | 2147483647 37588 108 | 0.000 % |
12.66/12.70 c | 37735 | 1755 168808 562435 | 2147483647 37735 109 | 0.000 % |
12.66/12.77 c | 37895 | 1755 168808 562435 | 2147483647 37895 109 | 0.000 % |
12.76/12.84 c | 38072 | 1755 168808 562435 | 2147483647 38072 109 | 0.000 % |
12.86/12.93 c | 38265 | 1755 168808 562435 | 2147483647 38265 109 | 0.000 % |
12.96/13.03 c | 38477 | 1755 168808 562435 | 2147483647 38477 109 | 0.000 % |
13.07/13.14 c | 38713 | 1755 168808 562435 | 2147483647 38713 109 | 0.007 % |
13.17/13.25 c | 38969 | 1755 168808 562435 | 2147483647 38969 109 | 0.000 % |
13.26/13.37 c | 39251 | 1755 168808 562435 | 2147483647 39251 109 | 0.006 % |
13.46/13.51 c | 39561 | 1755 168808 562435 | 2147483647 39561 108 | 0.000 % |
13.56/13.65 c | 39901 | 1755 168808 562435 | 2147483647 39901 109 | 0.000 % |
13.76/13.81 c | 40275 | 1755 168808 562435 | 2147483647 40275 109 | 0.000 % |
13.86/13.98 c | 40685 | 1755 168808 562435 | 2147483647 40685 109 | 0.000 % |
14.06/14.18 c | 41135 | 1755 168808 562435 | 2147483647 41135 109 | 0.000 % |
14.26/14.39 c | 41628 | 1755 168808 562435 | 2147483647 41628 109 | 0.007 % |
14.56/14.60 c | 42172 | 1755 168808 562435 | 2147483647 42172 109 | 0.000 % |
14.76/14.87 c | 42769 | 1755 168808 562435 | 2147483647 42769 109 | 0.008 % |
14.86/14.92 c | 42872 | 1755 168808 562435 | 2147483647 42872 109 | 0.008 % |
14.86/14.97 c | 42982 | 1755 168808 562435 | 2147483647 42982 109 | 0.008 % |
14.96/15.03 c | 43106 | 1755 168808 562435 | 2147483647 43106 109 | 0.000 % |
14.96/15.09 c | 43239 | 1755 168808 562435 | 2147483647 43239 109 | 0.000 % |
15.06/15.16 c | 43386 | 1755 168808 562435 | 2147483647 43386 109 | 0.000 % |
15.16/15.25 c | 43546 | 1755 168808 562435 | 2147483647 43546 109 | 0.007 % |
15.27/15.35 c | 43722 | 1755 168808 562435 | 2147483647 43722 109 | 0.000 % |
15.37/15.43 c | 43915 | 1755 168808 562435 | 2147483647 43915 109 | 0.000 % |
15.46/15.54 c | 44128 | 1755 168808 562435 | 2147483647 44128 109 | 0.000 % |
15.56/15.64 c | 44361 | 1755 168808 562435 | 2147483647 44361 109 | 0.000 % |
15.66/15.77 c | 44618 | 1755 168808 562435 | 2147483647 44618 109 | 0.007 % |
15.86/15.92 c | 44900 | 1755 168808 562435 | 2147483647 44900 109 | 0.000 % |
15.96/16.09 c | 45209 | 1755 168808 562435 | 2147483647 45209 108 | 0.007 % |
16.16/16.24 c | 45550 | 1755 168808 562435 | 2147483647 45550 108 | 0.000 % |
16.37/16.44 c | 45922 | 1755 168808 562435 | 2147483647 45922 109 | 0.000 % |
16.56/16.63 c | 46332 | 1755 168808 562435 | 2147483647 46332 109 | 0.000 % |
16.76/16.86 c | 46782 | 1755 168808 562435 | 2147483647 46782 109 | 0.000 % |
16.96/17.04 c | 47276 | 1755 168808 562435 | 2147483647 47276 109 | 0.000 % |
17.16/17.30 c | 47818 | 1755 168808 562435 | 2147483647 47818 109 | 0.006 % |
17.56/17.61 c | 48414 | 1755 168808 562435 | 2147483647 48414 109 | 0.006 % |
17.85/17.92 c | 49069 | 1755 168808 562435 | 2147483647 49069 108 | 0.007 % |
17.85/17.99 c | 49170 | 1755 168808 562435 | 2147483647 49170 108 | 0.000 % |
17.95/18.05 c | 49281 | 1755 168808 562435 | 2147483647 49281 108 | 0.007 % |
18.05/18.11 c | 49405 | 1755 168808 562435 | 2147483647 49405 108 | 0.000 % |
18.05/18.16 c | 49539 | 1755 168808 562435 | 2147483647 49539 108 | 0.000 % |
18.15/18.23 c | 49685 | 1755 168808 562435 | 2147483647 49685 108 | 0.000 % |
18.25/18.31 c | 49847 | 1755 168808 562435 | 2147483647 49847 108 | 0.000 % |
18.35/18.40 c | 50023 | 1755 168808 562435 | 2147483647 50023 108 | 0.000 % |
18.46/18.51 c | 50220 | 1755 168808 562435 | 2147483647 50220 109 | 0.000 % |
18.56/18.62 c | 50434 | 1755 168808 562435 | 2147483647 50434 109 | 0.000 % |
18.66/18.73 c | 50667 | 1755 168808 562435 | 2147483647 50667 109 | 0.000 % |
18.76/18.88 c | 50923 | 1755 168808 562435 | 2147483647 50923 109 | 0.007 % |
18.96/19.01 c | 51206 | 1755 168808 562435 | 2147483647 51206 109 | 0.007 % |
19.05/19.15 c | 51515 | 1755 168808 562435 | 2147483647 51515 109 | 0.007 % |
19.25/19.36 c | 51855 | 1755 168808 562435 | 2147483647 51855 109 | 0.000 % |
19.45/19.54 c | 52228 | 1755 168808 562435 | 2147483647 52228 109 | 0.000 % |
19.66/19.74 c | 52637 | 1755 168808 562435 | 2147483647 52637 109 | 0.000 % |
19.85/19.96 c | 53086 | 1755 168808 562435 | 2147483647 53086 109 | 0.000 % |
20.15/20.24 c | 53581 | 1755 168808 562435 | 2147483647 53581 110 | 0.000 % |
20.45/20.59 c | 54124 | 1755 168808 562435 | 2147483647 54124 110 | 0.000 % |
20.85/20.95 c | 54720 | 1755 168808 562435 | 2147483647 54720 111 | 0.000 % |
21.25/21.31 c | 55376 | 1755 168808 562435 | 2147483647 55376 111 | 0.000 % |
21.66/21.75 c | 56097 | 1755 168808 562435 | 2147483647 56097 111 | 0.000 % |
21.76/21.82 c | 56203 | 1755 168808 562435 | 2147483647 56203 111 | 0.000 % |
21.76/21.88 c | 56314 | 1755 168808 562435 | 2147483647 56314 111 | 0.000 % |
21.86/21.95 c | 56435 | 1755 168808 562435 | 2147483647 56435 111 | 0.000 % |
21.96/22.02 c | 56570 | 1755 168808 562435 | 2147483647 56570 111 | 0.007 % |
22.06/22.13 c | 56717 | 1755 168808 562435 | 2147483647 56717 111 | 0.000 % |
22.16/22.21 c | 56877 | 1755 168808 562435 | 2147483647 56877 111 | 0.000 % |
22.26/22.32 c | 57053 | 1755 168808 562435 | 2147483647 57053 111 | 0.006 % |
22.36/22.46 c | 57246 | 1755 168808 562435 | 2147483647 57246 111 | 0.000 % |
22.46/22.57 c | 57458 | 1755 168808 562435 | 2147483647 57458 111 | 0.006 % |
22.66/22.73 c | 57691 | 1755 168808 562435 | 2147483647 57691 111 | 0.007 % |
22.76/22.90 c | 57948 | 1755 168808 562435 | 2147483647 57948 111 | 0.007 % |
22.96/23.03 c | 58229 | 1755 168808 562435 | 2147483647 58229 111 | 0.006 % |
23.06/23.18 c | 58539 | 1755 168808 562435 | 2147483647 58539 111 | 0.000 % |
23.26/23.39 c | 58879 | 1755 168808 562435 | 2147483647 58879 111 | 0.000 % |
23.56/23.61 c | 59251 | 1755 168808 562435 | 2147483647 59251 112 | 0.000 % |
23.75/23.82 c | 59660 | 1755 168808 562435 | 2147483647 59660 112 | 0.000 % |
23.95/24.07 c | 60109 | 1755 168808 562435 | 2147483647 60109 112 | 0.007 % |
24.25/24.33 c | 60602 | 1755 168808 562435 | 2147483647 60602 112 | 0.000 % |
24.55/24.60 c | 61144 | 1755 168808 562435 | 2147483647 61144 112 | 0.008 % |
24.85/24.94 c | 61740 | 1755 168808 562435 | 2147483647 61740 111 | 0.000 % |
25.16/25.30 c | 62397 | 1755 168808 562435 | 2147483647 62397 111 | 0.007 % |
25.65/25.79 c | 63121 | 1755 168808 562435 | 2147483647 63121 111 | 0.007 % |
26.15/26.29 c | 63916 | 1755 168808 562435 | 2147483647 63916 110 | 0.000 % |
26.26/26.36 c | 64016 | 1755 168808 562435 | 2147483647 64016 110 | 0.007 % |
26.36/26.43 c | 64126 | 1755 168808 562435 | 2147483647 64126 110 | 0.000 % |
26.45/26.53 c | 64247 | 1755 168808 562435 | 2147483647 64247 110 | 0.000 % |
26.55/26.62 c | 64380 | 1755 168808 562435 | 2147483647 64380 110 | 0.000 % |
26.55/26.69 c | 64526 | 1755 168808 562435 | 2147483647 64526 110 | 0.000 % |
26.75/26.80 c | 64688 | 1755 168808 562435 | 2147483647 64688 110 | 0.000 % |
26.85/26.92 c | 64868 | 1755 168808 562435 | 2147483647 64868 111 | 0.006 % |
26.95/27.02 c | 65061 | 1755 168808 562435 | 2147483647 65061 110 | 0.000 % |
27.05/27.14 c | 65273 | 1755 168808 562435 | 2147483647 65273 111 | 0.000 % |
27.25/27.30 c | 65506 | 1755 168808 562435 | 2147483647 65506 111 | 0.000 % |
27.45/27.52 c | 65763 | 1755 168808 562435 | 2147483647 65763 111 | 0.000 % |
27.55/27.69 c | 66045 | 1755 168808 562435 | 2147483647 66045 111 | 0.000 % |
27.85/27.91 c | 66354 | 1755 168808 562435 | 2147483647 66354 111 | 0.000 % |
28.05/28.16 c | 66697 | 1755 168808 562435 | 2147483647 66697 111 | 0.000 % |
28.25/28.39 c | 67069 | 1755 168808 562435 | 2147483647 67069 111 | 0.000 % |
28.55/28.68 c | 67480 | 1755 168808 562435 | 2147483647 67480 111 | 0.000 % |
28.85/28.96 c | 67930 | 1755 168808 562435 | 2147483647 67930 111 | 0.000 % |
29.25/29.32 c | 68423 | 1755 168808 562435 | 2147483647 68423 111 | 0.008 % |
29.55/29.67 c | 68965 | 1755 168808 562435 | 2147483647 68965 111 | 0.000 % |
29.95/30.06 c | 69561 | 1755 168808 562435 | 2147483647 69561 111 | 0.000 % |
30.44/30.51 c | 70217 | 1755 168808 562435 | 2147483647 70217 112 | 0.000 % |
30.94/31.00 c | 70937 | 1755 168808 562435 | 2147483647 70937 112 | 0.000 % |
31.24/31.39 c | 71732 | 1755 168808 562435 | 2147483647 71732 111 | 0.000 % |
31.86/31.97 c | 72604 | 1755 168808 562435 | 2147483647 72604 111 | 0.007 % |
31.95/32.03 c | 72705 | 1755 168808 562435 | 2147483647 72705 111 | 0.000 % |
31.95/32.08 c | 72816 | 1755 168808 562435 | 2147483647 72816 111 | 0.000 % |
32.05/32.17 c | 72939 | 1755 168808 562435 | 2147483647 72939 111 | 0.006 % |
32.15/32.27 c | 73073 | 1755 168808 562435 | 2147483647 73073 111 | 0.006 % |
32.25/32.39 c | 73219 | 1755 168808 562435 | 2147483647 73219 111 | 0.000 % |
32.45/32.50 c | 73381 | 1755 168808 562435 | 2147483647 73381 111 | 0.000 % |
32.55/32.61 c | 73557 | 1755 168808 562435 | 2147483647 73557 111 | 0.000 % |
32.65/32.77 c | 73750 | 1755 168808 562435 | 2147483647 73750 111 | 0.000 % |
32.75/32.89 c | 73962 | 1755 168808 562435 | 2147483647 73962 111 | 0.000 % |
32.95/33.06 c | 74196 | 1755 168808 562435 | 2147483647 74196 111 | 0.006 % |
33.15/33.21 c | 74452 | 1755 168808 562435 | 2147483647 74452 111 | 0.007 % |
33.25/33.39 c | 74734 | 1755 168808 562435 | 2147483647 74734 111 | 0.007 % |
33.55/33.61 c | 75043 | 1755 168808 562435 | 2147483647 75043 111 | 0.007 % |
33.75/33.83 c | 75384 | 1755 168808 562435 | 2147483647 75384 111 | 0.000 % |
34.05/34.11 c | 75756 | 1755 168808 562435 | 2147483647 75756 111 | 0.005 % |
34.25/34.37 c | 76166 | 1755 168808 562435 | 2147483647 76166 111 | 0.000 % |
34.54/34.67 c | 76616 | 1755 168808 562435 | 2147483647 76616 111 | 0.000 % |
34.94/35.00 c | 77110 | 1755 168808 562435 | 2147483647 77110 111 | 0.007 % |
35.25/35.37 c | 77652 | 1755 168808 562435 | 2147483647 77652 111 | 0.006 % |
35.65/35.79 c | 78248 | 1755 168808 562435 | 2147483647 78248 111 | 0.006 % |
36.15/36.28 c | 78905 | 1755 168808 562435 | 2147483647 78905 110 | 0.006 % |
36.55/36.62 c | 79626 | 1755 168808 562435 | 2147483647 79626 111 | 0.000 % |
37.05/37.19 c | 80418 | 1755 168808 562435 | 2147483647 80418 110 | 0.000 % |
37.55/37.66 c | 81291 | 1755 168808 562435 | 2147483647 81291 110 | 0.000 % |
38.15/38.29 c | 82250 | 1755 168808 562435 | 2147483647 82250 110 | 0.006 % |
38.25/38.36 c | 82354 | 1755 168808 562435 | 2147483647 82354 110 | 0.000 % |
38.35/38.44 c | 82465 | 1755 168808 562435 | 2147483647 82465 110 | 0.000 % |
38.45/38.54 c | 82586 | 1755 168808 562435 | 2147483647 82586 110 | 0.007 % |
38.54/38.66 c | 82720 | 1755 168808 562435 | 2147483647 82720 110 | 0.000 % |
38.64/38.77 c | 82867 | 1755 168808 562435 | 2147483647 82867 110 | 0.008 % |
38.74/38.89 c | 83027 | 1755 168808 562435 | 2147483647 83027 110 | 0.000 % |
38.94/39.05 c | 83203 | 1755 168808 562435 | 2147483647 83203 110 | 0.000 % |
39.14/39.21 c | 83397 | 1755 168808 562435 | 2147483647 83397 110 | 0.000 % |
39.24/39.36 c | 83609 | 1755 168808 562435 | 2147483647 83609 110 | 0.000 % |
39.45/39.50 c | 83842 | 1755 168808 562435 | 2147483647 83842 110 | 0.000 % |
39.55/39.67 c | 84098 | 1755 168808 562435 | 2147483647 84098 110 | 0.006 % |
39.74/39.87 c | 84379 | 1755 168808 562435 | 2147483647 84379 110 | 0.000 % |
40.04/40.14 c | 84689 | 1755 168808 562435 | 2147483647 84689 110 | 0.000 % |
40.24/40.38 c | 85028 | 1755 168808 562435 | 2147483647 85028 110 | 0.000 % |
40.55/40.69 c | 85400 | 1755 168808 562435 | 2147483647 85400 110 | 0.000 % |
40.84/40.98 c | 85811 | 1755 168808 562435 | 2147483647 85811 111 | 0.000 % |
41.24/41.31 c | 86260 | 1755 168808 562435 | 2147483647 86260 111 | 0.000 % |
41.55/41.70 c | 86753 | 1755 168808 562435 | 2147483647 86753 111 | 0.000 % |
41.95/42.09 c | 87295 | 1755 168808 562435 | 2147483647 87295 111 | 0.000 % |
42.35/42.45 c | 87893 | 1755 168808 562435 | 2147483647 87893 111 | 0.000 % |
42.85/42.93 c | 88548 | 1755 168808 562435 | 2147483647 88548 111 | 0.000 % |
43.44/43.51 c | 89268 | 1755 168808 562435 | 2147483647 89268 111 | 0.000 % |
44.04/44.15 c | 90060 | 1755 168808 562435 | 2147483647 90060 112 | 0.000 % |
44.84/45.00 c | 90932 | 1755 168808 562435 | 2147483647 90932 112 | 0.000 % |
45.64/45.72 c | 91894 | 1755 168808 562435 | 2147483647 91894 112 | 0.000 % |
46.54/46.61 c | 92949 | 1755 168808 562435 | 2147483647 92949 112 | 0.000 % |
46.64/46.70 c | 93049 | 1755 168808 562435 | 2147483647 93049 112 | 0.006 % |
46.64/46.79 c | 93159 | 1755 168808 562435 | 2147483647 93159 112 | 0.000 % |
46.74/46.88 c | 93280 | 1755 168808 562435 | 2147483647 93280 112 | 0.007 % |
46.84/46.98 c | 93414 | 1755 168808 562435 | 2147483647 93414 112 | 0.000 % |
47.04/47.15 c | 93561 | 1755 168808 562435 | 2147483647 93561 112 | 0.007 % |
47.14/47.28 c | 93721 | 1755 168808 562435 | 2147483647 93721 112 | 0.000 % |
47.34/47.45 c | 93897 | 1755 168808 562435 | 2147483647 93897 112 | 0.000 % |
47.44/47.58 c | 94091 | 1755 168808 562435 | 2147483647 94091 112 | 0.000 % |
47.75/47.82 c | 94305 | 1755 168808 562435 | 2147483647 94305 113 | 0.000 % |
47.95/48.02 c | 94539 | 1755 168808 562435 | 2147483647 94539 113 | 0.000 % |
48.25/48.31 c | 94798 | 1755 168808 562435 | 2147483647 94798 113 | 0.000 % |
48.44/48.51 c | 95079 | 1755 168808 562435 | 2147483647 95079 113 | 0.000 % |
48.64/48.79 c | 95388 | 1755 168808 562435 | 2147483647 95388 113 | 0.000 % |
48.94/49.00 c | 95728 | 1755 168808 562435 | 2147483647 95728 113 | 0.000 % |
49.14/49.28 c | 96102 | 1755 168808 562435 | 2147483647 96102 113 | 0.007 % |
49.44/49.54 c | 96511 | 1755 168808 562435 | 2147483647 96511 113 | 0.000 % |
49.84/49.96 c | 96960 | 1755 168808 562435 | 2147483647 96960 113 | 0.000 % |
50.24/50.38 c | 97454 | 1755 168808 562435 | 2147483647 97454 113 | 0.000 % |
50.74/50.86 c | 97997 | 1755 168808 562435 | 2147483647 97997 113 | 0.000 % |
51.34/51.46 c | 98595 | 1755 168808 562435 | 2147483647 98595 113 | 0.007 % |
51.85/51.90 c | 99250 | 1755 168808 562435 | 2147483647 99250 113 | 0.000 % |
52.45/52.54 c | 99970 | 1755 168808 562435 | 2147483647 99970 113 | 0.000 % |
53.05/53.13 c | 100762 | 1755 168808 562435 | 2147483647 100762 113 | 0.000 % |
53.75/53.86 c | 101633 | 1755 168808 562435 | 2147483647 101633 113 | 0.000 % |
54.54/54.60 c | 102593 | 1755 168808 562435 | 2147483647 102593 113 | 0.006 % |
55.54/55.70 c | 103648 | 1755 168808 562435 | 2147483647 103648 114 | 0.000 % |
56.54/56.69 c | 104808 | 1755 168808 562435 | 2147483647 104808 114 | 0.000 % |
56.74/56.80 c | 104908 | 1755 168808 562435 | 2147483647 104908 114 | 0.000 % |
56.84/56.91 c | 105018 | 1755 168808 562435 | 2147483647 105018 114 | 0.000 % |
56.94/57.06 c | 105139 | 1755 168808 562435 | 2147483647 105139 114 | 0.000 % |
57.04/57.17 c | 105273 | 1755 168808 562435 | 2147483647 105273 114 | 0.000 % |
57.24/57.31 c | 105419 | 1755 168808 562435 | 2147483647 105419 114 | 0.000 % |
57.44/57.50 c | 105579 | 1755 168808 562435 | 2147483647 105579 114 | 0.000 % |
57.54/57.62 c | 105757 | 1755 168808 562435 | 2147483647 105757 114 | 0.000 % |
57.74/57.80 c | 105950 | 1755 168808 562435 | 2147483647 105950 114 | 0.000 % |
57.84/57.99 c | 106163 | 1755 168808 562435 | 2147483647 106163 114 | 0.000 % |
58.04/58.16 c | 106397 | 1755 168808 562435 | 2147483647 106397 114 | 0.005 % |
58.25/58.39 c | 106654 | 1755 168808 562435 | 2147483647 106654 114 | 0.000 % |
58.54/58.62 c | 106937 | 1755 168808 562435 | 2147483647 106937 114 | 0.000 % |
58.84/58.91 c | 107246 | 1755 168808 562435 | 2147483647 107246 114 | 0.000 % |
59.04/59.14 c | 107586 | 1755 168808 562435 | 2147483647 107586 114 | 0.000 % |
59.44/59.54 c | 107958 | 1755 168808 562435 | 2147483647 107958 115 | 0.000 % |
59.84/59.96 c | 108367 | 1755 168808 562435 | 2147483647 108367 115 | 0.000 % |
60.35/60.47 c | 108817 | 1755 168808 562435 | 2147483647 108817 115 | 0.000 % |
60.84/60.91 c | 109310 | 1755 168808 562435 | 2147483647 109310 115 | 0.000 % |
61.24/61.36 c | 109852 | 1755 168808 562435 | 2147483647 109852 115 | 0.000 % |
61.74/61.83 c | 110449 | 1755 168808 562435 | 2147483647 110449 115 | 0.000 % |
62.33/62.48 c | 111104 | 1755 168808 562435 | 2147483647 111104 115 | 0.006 % |
63.03/63.20 c | 111825 | 1755 168808 562435 | 2147483647 111825 114 | 0.006 % |
63.82/63.90 c | 112617 | 1755 168808 562435 | 2147483647 112617 114 | 0.000 % |
64.52/64.60 c | 113489 | 1755 168808 562435 | 2147483647 113489 114 | 0.000 % |
65.32/65.47 c | 114447 | 1755 168808 562435 | 2147483647 114447 114 | 0.000 % |
66.33/66.48 c | 115503 | 1755 168808 562435 | 2147483647 115503 114 | 0.006 % |
67.53/67.66 c | 116661 | 1755 168808 562435 | 2147483647 116661 114 | 0.000 % |
68.92/69.00 c | 117937 | 1755 168808 562435 | 2147483647 117937 115 | 0.000 % |
69.02/69.13 c | 118038 | 1755 168808 562435 | 2147483647 118038 115 | 0.000 % |
69.13/69.24 c | 118148 | 1755 168808 562435 | 2147483647 118148 115 | 0.000 % |
69.23/69.36 c | 118270 | 1755 168808 562435 | 2147483647 118270 115 | 0.000 % |
69.33/69.50 c | 118403 | 1755 168808 562435 | 2147483647 118403 115 | 0.005 % |
69.53/69.67 c | 118551 | 1755 168808 562435 | 2147483647 118551 115 | 0.006 % |
69.72/69.82 c | 118711 | 1755 168808 562435 | 2147483647 118711 115 | 0.000 % |
69.92/70.01 c | 118887 | 1755 168808 562435 | 2147483647 118887 115 | 0.000 % |
70.13/70.21 c | 119083 | 1755 168808 562435 | 2147483647 119083 115 | 0.000 % |
70.43/70.50 c | 119296 | 1755 168808 562435 | 2147483647 119296 115 | 0.000 % |
70.63/70.77 c | 119531 | 1755 168808 562435 | 2147483647 119531 115 | 0.000 % |
70.93/71.04 c | 119787 | 1755 168808 562435 | 2147483647 119787 115 | 0.000 % |
71.22/71.34 c | 120069 | 1755 168808 562435 | 2147483647 120069 115 | 0.000 % |
71.72/71.81 c | 120382 | 1755 168808 562435 | 2147483647 120382 115 | 0.000 % |
72.12/72.29 c | 120722 | 1755 168808 562435 | 2147483647 120722 115 | 0.000 % |
72.53/72.66 c | 121095 | 1755 168808 562435 | 2147483647 121095 115 | 0.000 % |
72.92/73.09 c | 121504 | 1755 168808 562435 | 2147483647 121504 115 | 0.000 % |
73.53/73.67 c | 121954 | 1755 168808 562435 | 2147483647 121954 116 | 0.000 % |
74.03/74.18 c | 122447 | 1755 168808 562435 | 2147483647 122447 116 | 0.000 % |
74.53/74.66 c | 122990 | 1755 168808 562435 | 2147483647 122990 116 | 0.000 % |
75.22/75.33 c | 123587 | 1755 168808 562435 | 2147483647 123587 116 | 0.000 % |
76.02/76.14 c | 124244 | 1755 168808 562435 | 2147483647 124244 116 | 0.000 % |
76.72/76.89 c | 124965 | 1755 168808 562435 | 2147483647 124965 116 | 0.000 % |
77.42/77.59 c | 125757 | 1755 168808 562435 | 2147483647 125757 116 | 0.000 % |
78.22/78.39 c | 126629 | 1755 168808 562435 | 2147483647 126629 116 | 0.000 % |
79.13/79.29 c | 127587 | 1755 168808 562435 | 2147483647 127587 116 | 0.000 % |
80.13/80.24 c | 128640 | 1755 168808 562435 | 2147483647 128640 116 | 0.000 % |
81.62/81.75 c | 129798 | 1755 168808 562435 | 2147483647 129798 116 | 0.000 % |
83.02/83.14 c | 131072 | 1755 168808 562435 | 2147483647 131072 116 | 0.000 % |
84.72/84.81 c | 132474 | 1755 168808 562435 | 2147483647 132474 117 | 0.000 % |
84.82/84.94 c | 132574 | 1755 168808 562435 | 2147483647 132574 117 | 0.000 % |
85.02/85.12 c | 132685 | 1755 168808 562435 | 2147483647 132685 117 | 0.000 % |
85.12/85.29 c | 132806 | 1755 168808 562435 | 2147483647 132806 117 | 0.000 % |
85.32/85.43 c | 132939 | 1755 168808 562435 | 2147483647 132939 117 | 0.000 % |
85.42/85.56 c | 133086 | 1755 168808 562435 | 2147483647 133086 117 | 0.000 % |
85.63/85.78 c | 133247 | 1755 168808 562435 | 2147483647 133247 117 | 0.000 % |
85.93/86.05 c | 133425 | 1755 168808 562435 | 2147483647 133425 117 | 0.000 % |
86.13/86.25 c | 133618 | 1755 168808 562435 | 2147483647 133618 117 | 0.000 % |
86.33/86.47 c | 133830 | 1755 168808 562435 | 2147483647 133830 117 | 0.007 % |
86.53/86.70 c | 134063 | 1755 168808 562435 | 2147483647 134063 117 | 0.000 % |
87.02/87.10 c | 134322 | 1755 168808 562435 | 2147483647 134322 117 | 0.000 % |
87.32/87.45 c | 134603 | 1755 168808 562435 | 2147483647 134603 117 | 0.000 % |
87.72/87.83 c | 134912 | 1755 168808 562435 | 2147483647 134912 117 | 0.000 % |
88.02/88.15 c | 135252 | 1755 168808 562435 | 2147483647 135252 117 | 0.006 % |
88.42/88.55 c | 135624 | 1755 168808 562435 | 2147483647 135624 117 | 0.006 % |
88.92/89.06 c | 136033 | 1755 168808 562435 | 2147483647 136033 117 | 0.006 % |
89.62/89.70 c | 136483 | 1755 168808 562435 | 2147483647 136483 117 | 0.000 % |
90.42/90.51 c | 136977 | 1755 168808 562435 | 2147483647 136977 117 | 0.000 % |
91.12/91.20 c | 137521 | 1755 168808 562435 | 2147483647 137521 117 | 0.000 % |
91.82/91.97 c | 138118 | 1755 168808 562435 | 2147483647 138118 117 | 0.000 % |
92.52/92.65 c | 138773 | 1755 168808 562435 | 2147483647 138773 117 | 0.000 % |
93.33/93.48 c | 139493 | 1755 168808 562435 | 2147483647 139493 117 | 0.007 % |
94.43/94.50 c | 140286 | 1755 168808 562435 | 2147483647 140286 117 | 0.000 % |
95.53/95.62 c | 141157 | 1755 168808 562435 | 2147483647 141157 117 | 0.007 % |
96.72/96.85 c | 142116 | 1755 168808 562435 | 2147483647 142116 117 | 0.007 % |
97.92/98.10 c | 143170 | 1755 168808 562435 | 2147483647 143170 117 | 0.007 % |
99.42/99.55 c | 144328 | 1755 168808 562435 | 2147483647 144328 117 | 0.000 % |
100.72/100.87 c | 145603 | 1755 168808 562435 | 2147483647 145603 117 | 0.000 % |
102.42/102.57 c | 147004 | 1755 168808 562435 | 2147483647 147004 117 | 0.007 % |
104.52/104.68 c | 148546 | 1755 168808 562435 | 2147483647 148546 117 | 0.000 % |
104.72/104.85 c | 148646 | 1755 168808 562435 | 2147483647 148646 117 | 0.000 % |
104.81/104.97 c | 148758 | 1755 168808 562435 | 2147483647 148758 117 | 0.000 % |
105.01/105.11 c | 148879 | 1755 168808 562435 | 2147483647 148879 117 | 0.000 % |
105.11/105.30 c | 149013 | 1755 168808 562435 | 2147483647 149013 117 | 0.000 % |
105.31/105.45 c | 149159 | 1755 168808 562435 | 2147483647 149159 118 | 0.000 % |
105.52/105.62 c | 149320 | 1755 168808 562435 | 2147483647 149320 117 | 0.000 % |
105.71/105.82 c | 149497 | 1755 168808 562435 | 2147483647 149497 117 | 0.007 % |
106.01/106.14 c | 149690 | 1755 168808 562435 | 2147483647 149690 117 | 0.007 % |
106.31/106.43 c | 149902 | 1755 168808 562435 | 2147483647 149902 117 | 0.007 % |
106.62/106.74 c | 150138 | 1755 168808 562435 | 150000 150138 117 | 0.000 % |
107.21/107.32 c | 150394 | 1755 168808 562435 | 150000 133769 116 | 0.000 % |
107.41/107.58 c | 150675 | 1755 168808 562435 | 150000 134050 116 | 0.000 % |
107.71/107.86 c | 150985 | 1755 168808 562435 | 150000 134360 116 | 0.007 % |
108.11/108.23 c | 151326 | 1755 168808 562435 | 150000 134701 116 | 0.000 % |
108.51/108.66 c | 151698 | 1755 168808 562435 | 150000 135073 116 | 0.005 % |
108.91/109.08 c | 152109 | 1755 168808 562435 | 150000 135484 116 | 0.000 % |
109.51/109.61 c | 152558 | 1755 168808 562435 | 150000 135933 116 | 0.000 % |
110.21/110.30 c | 153052 | 1755 168808 562435 | 150000 136427 116 | 0.000 % |
110.91/111.09 c | 153594 | 1755 168808 562435 | 150000 136969 116 | 0.000 % |
111.51/111.68 c | 154190 | 1755 168808 562435 | 150000 137565 116 | 0.000 % |
112.21/112.34 c | 154845 | 1755 168808 562435 | 150000 138220 116 | 0.005 % |
112.91/113.00 c | 155565 | 1755 168808 562435 | 150000 138940 116 | 0.000 % |
113.71/113.85 c | 156358 | 1755 168808 562435 | 150000 139733 117 | 0.000 % |
114.81/114.96 c | 157229 | 1755 168808 562435 | 150000 140604 117 | 0.000 % |
116.11/116.20 c | 158187 | 1755 168808 562435 | 150000 141562 117 | 0.000 % |
117.31/117.40 c | 159240 | 1755 168808 562435 | 150000 142615 117 | 0.000 % |
118.71/118.85 c | 160398 | 1755 168808 562435 | 143375 143773 117 | 0.006 % |
120.40/120.56 c | 161672 | 1755 168808 562435 | 143375 128452 116 | 0.000 % |
122.20/122.32 c | 163076 | 1755 168808 562435 | 143375 129856 116 | 0.000 % |
124.30/124.48 c | 164616 | 1755 168808 562435 | 143375 131396 116 | 0.000 % |
126.50/126.66 c | 166310 | 1755 168808 562435 | 143375 133090 116 | 0.000 % |
126.70/126.82 c | 166410 | 1755 168808 562435 | 143375 133190 116 | 0.000 % |
126.90/127.01 c | 166524 | 1755 168808 562435 | 143375 133304 116 | 0.000 % |
127.00/127.16 c | 166645 | 1755 168808 562435 | 143375 133425 116 | 0.000 % |
127.20/127.31 c | 166781 | 1755 168808 562435 | 143375 133561 117 | 0.007 % |
127.30/127.44 c | 166927 | 1755 168808 562435 | 143375 133707 116 | 0.000 % |
127.51/127.66 c | 167087 | 1755 168808 562435 | 143375 133867 116 | 0.000 % |
127.70/127.88 c | 167269 | 1755 168808 562435 | 143375 134049 117 | 0.000 % |
128.00/128.20 c | 167464 | 1755 168808 562435 | 143375 134244 117 | 0.000 % |
128.30/128.45 c | 167677 | 1755 168808 562435 | 143375 134457 117 | 0.007 % |
128.61/128.74 c | 167911 | 1755 168808 562435 | 143375 134691 117 | 0.000 % |
128.90/129.08 c | 168167 | 1755 168808 562435 | 143375 134947 117 | 0.000 % |
129.30/129.42 c | 168448 | 1755 168808 562435 | 143375 135228 116 | 0.006 % |
129.71/129.80 c | 168757 | 1755 168808 562435 | 143375 135537 116 | 0.006 % |
130.00/130.18 c | 169098 | 1755 168808 562435 | 143375 135878 116 | 0.007 % |
130.50/130.66 c | 169471 | 1755 168808 562435 | 143375 136251 116 | 0.000 % |
131.00/131.16 c | 169881 | 1755 168808 562435 | 143375 136661 117 | 0.006 % |
131.70/131.89 c | 170331 | 1755 168808 562435 | 136781 137111 117 | 0.000 % |
132.50/132.61 c | 170827 | 1755 168808 562435 | 136781 123279 114 | 0.000 % |
133.00/133.14 c | 171371 | 1755 168808 562435 | 136781 123823 114 | 0.007 % |
133.70/133.80 c | 171967 | 1755 168808 562435 | 136781 124419 114 | 0.000 % |
134.30/134.49 c | 172626 | 1755 168808 562435 | 136781 125078 114 | 0.000 % |
135.10/135.25 c | 173346 | 1755 168808 562435 | 136781 125798 114 | 0.000 % |
136.00/136.11 c | 174139 | 1755 168808 562435 | 136781 126591 114 | 0.000 % |
137.10/137.23 c | 175010 | 1755 168808 562435 | 136781 127462 114 | 0.000 % |
138.30/138.46 c | 175971 | 1755 168808 562435 | 136781 128423 115 | 0.000 % |
140.00/140.19 c | 177024 | 1755 168808 562435 | 136781 129476 115 | 0.000 % |
141.80/141.92 c | 178184 | 1755 168808 562435 | 136781 130636 116 | 0.000 % |
143.40/143.55 c | 179460 | 1755 168808 562435 | 136781 131912 116 | 0.000 % |
145.10/145.30 c | 180860 | 1755 168808 562435 | 132452 133312 116 | 0.000 % |
146.90/147.02 c | 182402 | 1755 168808 562435 | 132452 120600 117 | 0.000 % |
148.90/149.08 c | 184097 | 1755 168808 562435 | 132452 122295 117 | 0.000 % |
151.30/151.41 c | 185964 | 1755 168808 562435 | 132452 124162 118 | 0.000 % |
151.40/151.51 c | 186064 | 1755 168808 562435 | 132452 124262 118 | 0.000 % |
151.60/151.75 c | 186174 | 1755 168808 562435 | 132452 124372 118 | 0.000 % |
151.70/151.88 c | 186296 | 1755 168808 562435 | 132452 124494 118 | 0.000 % |
151.90/152.04 c | 186429 | 1755 168808 562435 | 132452 124627 118 | 0.000 % |
152.10/152.22 c | 186578 | 1755 168808 562435 | 132452 124776 118 | 0.000 % |
152.30/152.45 c | 186738 | 1755 168808 562435 | 132452 124936 118 | 0.000 % |
152.49/152.67 c | 186915 | 1755 168808 562435 | 132452 125113 118 | 0.000 % |
152.79/152.92 c | 187108 | 1755 168808 562435 | 132452 125306 118 | 0.006 % |
152.99/153.11 c | 187320 | 1755 168808 562435 | 132452 125518 118 | 0.000 % |
153.19/153.40 c | 187553 | 1755 168808 562435 | 132452 125751 118 | 0.007 % |
153.59/153.78 c | 187810 | 1755 168808 562435 | 132452 126008 118 | 0.000 % |
154.09/154.20 c | 188093 | 1755 168808 562435 | 132452 126291 118 | 0.000 % |
154.49/154.62 c | 188402 | 1755 168808 562435 | 132452 126600 118 | 0.000 % |
154.89/155.07 c | 188742 | 1755 168808 562435 | 132452 126940 118 | 0.000 % |
155.49/155.63 c | 189114 | 1755 168808 562435 | 132452 127312 118 | 0.000 % |
155.99/156.15 c | 189524 | 1755 168808 562435 | 132452 127722 118 | 0.000 % |
156.59/156.78 c | 189973 | 1755 168808 562435 | 132452 128171 119 | 0.000 % |
157.39/157.52 c | 190467 | 1755 168808 562435 | 128200 128665 119 | 0.000 % |
158.29/158.49 c | 191009 | 1755 168808 562435 | 128200 113545 116 | 0.000 % |
159.48/159.63 c | 191605 | 1755 168808 562435 | 128200 114141 117 | 0.000 % |
160.18/160.37 c | 192260 | 1755 168808 562435 | 128200 114796 117 | 0.000 % |
161.08/161.22 c | 192981 | 1755 168808 562435 | 128200 115517 117 | 0.000 % |
162.08/162.23 c | 193774 | 1755 168808 562435 | 128200 116310 117 | 0.000 % |
163.08/163.29 c | 194647 | 1755 168808 562435 | 128200 117183 117 | 0.000 % |
164.18/164.38 c | 195608 | 1755 168808 562435 | 128200 118144 116 | 0.000 % |
165.38/165.59 c | 196661 | 1755 168808 562435 | 128200 119197 116 | 0.000 % |
166.68/166.87 c | 197823 | 1755 168808 562435 | 128200 120359 116 | 0.000 % |
168.38/168.53 c | 199097 | 1755 168808 562435 | 128200 121633 116 | 0.007 % |
170.39/170.55 c | 200497 | 1755 168808 562435 | 122538 123033 117 | 0.000 % |
172.18/172.36 c | 202040 | 1755 168808 562435 | 122538 112025 114 | 0.006 % |
174.38/174.53 c | 203734 | 1755 168808 562435 | 122538 113719 115 | 0.000 % |
176.88/177.06 c | 205599 | 1755 168808 562435 | 122538 115584 116 | 0.000 % |
179.28/179.45 c | 207649 | 1755 168808 562435 | 122538 117634 117 | 0.000 % |
179.38/179.59 c | 207749 | 1755 168808 562435 | 122538 117734 117 | 0.000 % |
179.58/179.73 c | 207861 | 1755 168808 562435 | 122538 117846 117 | 0.000 % |
179.68/179.86 c | 207982 | 1755 168808 562435 | 122538 117967 117 | 0.006 % |
179.88/180.03 c | 208118 | 1755 168808 562435 | 122538 118103 117 | 0.000 % |
180.08/180.24 c | 208266 | 1755 168808 562435 | 122538 118251 117 | 0.000 % |
180.28/180.43 c | 208426 | 1755 168808 562435 | 122538 118411 117 | 0.000 % |
180.48/180.65 c | 208603 | 1755 168808 562435 | 122538 118588 117 | 0.000 % |
180.78/180.90 c | 208796 | 1755 168808 562435 | 122538 118781 117 | 0.000 % |
180.98/181.14 c | 209008 | 1755 168808 562435 | 122538 118993 117 | 0.000 % |
181.38/181.57 c | 209241 | 1755 168808 562435 | 122538 119226 117 | 0.000 % |
181.78/181.90 c | 209497 | 1755 168808 562435 | 122538 119482 117 | 0.000 % |
182.08/182.25 c | 209778 | 1755 168808 562435 | 122538 119763 117 | 0.000 % |
182.38/182.52 c | 210087 | 1755 168808 562435 | 119985 120072 117 | 0.007 % |
183.08/183.21 c | 210426 | 1755 168808 562435 | 119985 107937 116 | 0.000 % |
183.48/183.65 c | 210798 | 1755 168808 562435 | 119985 108309 116 | 0.000 % |
183.98/184.12 c | 211208 | 1755 168808 562435 | 119985 108719 116 | 0.000 % |
184.38/184.59 c | 211658 | 1755 168808 562435 | 119985 109169 116 | 0.007 % |
185.08/185.20 c | 212151 | 1755 168808 562435 | 119985 109662 116 | 0.007 % |
185.58/185.75 c | 212695 | 1755 168808 562435 | 119985 110206 116 | 0.007 % |
186.18/186.38 c | 213292 | 1755 168808 562435 | 119985 110803 116 | 0.000 % |
186.98/187.17 c | 213948 | 1755 168808 562435 | 119985 111459 116 | 0.006 % |
187.68/187.82 c | 214671 | 1755 168808 562435 | 119985 112182 116 | 0.007 % |
188.48/188.69 c | 215465 | 1755 168808 562435 | 119985 112976 115 | 0.006 % |
189.48/189.67 c | 216336 | 1755 168808 562435 | 119985 113847 115 | 0.007 % |
190.48/190.68 c | 217297 | 1755 168808 562435 | 119985 114808 116 | 0.000 % |
191.57/191.71 c | 218350 | 1755 168808 562435 | 119985 115861 116 | 0.000 % |
193.27/193.44 c | 219509 | 1755 168808 562435 | 119985 117020 116 | 0.000 % |
195.17/195.31 c | 220783 | 1755 168808 562435 | 2147483647 118294 116 | 0.000 % |
196.97/197.15 c | 222183 | 1755 168808 562435 | 2147483647 119694 116 | 0.000 % |
198.87/199.02 c | 223723 | 1755 168808 562435 | 2147483647 121234 116 | 0.005 % |
200.67/200.90 c | 225418 | 1755 168808 562435 | 2147483647 122929 117 | 0.000 % |
202.57/202.78 c | 227282 | 1755 168808 562435 | 2147483647 124793 117 | 0.000 % |
205.57/205.78 c | 229331 | 1755 168808 562435 | 2147483647 126842 116 | 0.000 % |
208.47/208.63 c | 231584 | 1755 168808 562435 | 127511 114672 113 | 0.007 % |
208.67/208.81 c | 231685 | 1755 168808 562435 | 127511 114773 113 | 0.000 % |
208.77/208.95 c | 231795 | 1755 168808 562435 | 127511 114883 113 | 0.000 % |
208.87/209.05 c | 231916 | 1755 168808 562435 | 127511 115004 113 | 0.006 % |
209.07/209.22 c | 232049 | 1755 168808 562435 | 127511 115137 113 | 0.006 % |
209.17/209.39 c | 232195 | 1755 168808 562435 | 127511 115283 113 | 0.000 % |
209.37/209.59 c | 232356 | 1755 168808 562435 | 127511 115444 113 | 0.006 % |
209.67/209.81 c | 232535 | 1755 168808 562435 | 127511 115623 113 | 0.000 % |
209.97/210.13 c | 232728 | 1755 168808 562435 | 127511 115816 113 | 0.000 % |
210.17/210.37 c | 232940 | 1755 168808 562435 | 127511 116028 113 | 0.000 % |
210.37/210.57 c | 233173 | 1755 168808 562435 | 127511 116261 113 | 0.000 % |
210.67/210.84 c | 233430 | 1755 168808 562435 | 127511 116518 113 | 0.000 % |
210.97/211.11 c | 233711 | 1755 168808 562435 | 127511 116799 113 | 0.000 % |
211.27/211.44 c | 234022 | 1755 168808 562435 | 127511 117110 113 | 0.006 % |
211.67/211.87 c | 234361 | 1755 168808 562435 | 127511 117449 113 | 0.000 % |
212.07/212.28 c | 234734 | 1755 168808 562435 | 127511 117822 113 | 0.000 % |
212.66/212.88 c | 235143 | 1755 168808 562435 | 127511 118231 114 | 0.000 % |
213.27/213.46 c | 235592 | 1755 168808 562435 | 127511 118680 114 | 0.000 % |
213.86/214.09 c | 236085 | 1755 168808 562435 | 127511 119173 114 | 0.000 % |
214.67/214.83 c | 236627 | 1755 168808 562435 | 127511 119715 114 | 0.000 % |
215.47/215.61 c | 237223 | 1755 168808 562435 | 127511 120311 114 | 0.000 % |
216.47/216.63 c | 237878 | 1755 168808 562435 | 127511 120966 114 | 0.000 % |
217.26/217.46 c | 238598 | 1755 168808 562435 | 127511 121686 114 | 0.000 % |
218.36/218.55 c | 239390 | 1755 168808 562435 | 127511 122478 115 | 0.000 % |
219.46/219.64 c | 240261 | 1755 168808 562435 | 123088 123349 115 | 0.008 % |
220.66/220.86 c | 241224 | 1755 168808 562435 | 123088 109232 114 | 0.000 % |
221.76/221.99 c | 242278 | 1755 168808 562435 | 123088 110286 114 | 0.000 % |
223.26/223.43 c | 243436 | 1755 168808 562435 | 123088 111444 113 | 0.006 % |
224.86/225.07 c | 244709 | 1755 168808 562435 | 123088 112717 113 | 0.006 % |
226.56/226.74 c | 246109 | 1755 168808 562435 | 123088 114117 113 | 0.007 % |
228.56/228.72 c | 247649 | 1755 168808 562435 | 123088 115657 112 | 0.007 % |
230.96/231.13 c | 249347 | 1755 168808 562435 | 123088 117355 112 | 0.007 % |
233.76/233.92 c | 251214 | 1755 168808 562435 | 118008 104047 107 | 0.007 % |
236.86/237.02 c | 253264 | 1755 168808 562435 | 118008 106097 106 | 0.006 % |
240.06/240.23 c | 255517 | 1755 168808 562435 | 118008 108350 106 | 0.007 % |
242.95/243.11 c | 257995 | 1755 168808 562435 | 118008 110828 108 | 0.000 % |
243.05/243.25 c | 258095 | 1755 168808 562435 | 118008 110928 108 | 0.000 % |
243.25/243.41 c | 258206 | 1755 168808 562435 | 118008 111039 108 | 0.000 % |
243.35/243.53 c | 258327 | 1755 168808 562435 | 118008 111160 108 | 0.000 % |
243.55/243.71 c | 258460 | 1755 168808 562435 | 118008 111293 108 | 0.000 % |
243.75/243.93 c | 258606 | 1755 168808 562435 | 118008 111439 108 | 0.000 % |
243.95/244.14 c | 258769 | 1755 168808 562435 | 118008 111602 108 | 0.000 % |
244.15/244.37 c | 258945 | 1755 168808 562435 | 118008 111778 108 | 0.000 % |
244.45/244.64 c | 259141 | 1755 168808 562435 | 118008 111974 109 | 0.000 % |
244.75/244.90 c | 259353 | 1755 168808 562435 | 118008 112186 109 | 0.000 % |
244.95/245.17 c | 259587 | 1755 168808 562435 | 118008 112420 109 | 0.000 % |
245.25/245.49 c | 259843 | 1755 168808 562435 | 118008 112676 109 | 0.000 % |
245.65/245.80 c | 260129 | 1755 168808 562435 | 112833 112962 109 | 0.000 % |
246.05/246.26 c | 260439 | 1755 168808 562435 | 112833 99429 104 | 0.006 % |
246.45/246.62 c | 260778 | 1755 168808 562435 | 112833 99768 104 | 0.000 % |
246.75/246.94 c | 261150 | 1755 168808 562435 | 112833 100140 104 | 0.000 % |
247.25/247.44 c | 261559 | 1755 168808 562435 | 112833 100549 104 | 0.000 % |
247.75/247.99 c | 262011 | 1755 168808 562435 | 112833 101001 105 | 0.000 % |
248.55/248.77 c | 262505 | 1755 168808 562435 | 112833 101495 105 | 0.000 % |
249.15/249.38 c | 263048 | 1755 168808 562435 | 112833 102038 106 | 0.000 % |
250.05/250.21 c | 263646 | 1755 168808 562435 | 112833 102636 106 | 0.000 % |
250.75/250.96 c | 264303 | 1755 168808 562435 | 112833 103293 106 | 0.000 % |
251.45/251.70 c | 265023 | 1755 168808 562435 | 112833 104013 106 | 0.000 % |
252.75/252.92 c | 265816 | 1755 168808 562435 | 112833 104806 107 | 0.000 % |
253.75/253.91 c | 266687 | 1755 168808 562435 | 112833 105677 108 | 0.000 % |
254.95/255.16 c | 267646 | 1755 168808 562435 | 112833 106636 108 | 0.000 % |
256.35/256.53 c | 268700 | 1755 168808 562435 | 112833 107690 108 | 0.000 % |
257.75/257.96 c | 269858 | 1755 168808 562435 | 112833 108848 108 | 0.000 % |
259.35/259.55 c | 271131 | 1755 168808 562435 | 2147483647 110121 108 | 0.000 % |
261.14/261.39 c | 272531 | 1755 168808 562435 | 2147483647 111521 109 | 0.000 % |
263.75/263.92 c | 274071 | 1755 168808 562435 | 2147483647 113061 110 | 0.000 % |
265.95/266.11 c | 275765 | 1755 168808 562435 | 2147483647 114755 111 | 0.000 % |
268.25/268.42 c | 277631 | 1755 168808 562435 | 2147483647 116621 111 | 0.000 % |
270.84/271.06 c | 279682 | 1755 168808 562435 | 2147483647 118672 112 | 0.000 % |
274.24/274.42 c | 281935 | 1755 168808 562435 | 2147483647 120925 112 | 0.000 % |
277.34/277.60 c | 284414 | 1755 168808 562435 | 2147483647 123404 113 | 0.000 % |
281.24/281.44 c | 287139 | 1755 168808 562435 | 2147483647 126129 113 | 0.000 % |
281.44/281.60 c | 287239 | 1755 168808 562435 | 2147483647 126229 113 | 0.000 % |
281.64/281.82 c | 287353 | 1755 168808 562435 | 2147483647 126343 113 | 0.000 % |
281.74/281.96 c | 287475 | 1755 168808 562435 | 2147483647 126465 113 | 0.007 % |
281.94/282.14 c | 287611 | 1755 168808 562435 | 2147483647 126601 113 | 0.000 % |
282.14/282.36 c | 287759 | 1755 168808 562435 | 2147483647 126749 113 | 0.000 % |
282.34/282.58 c | 287920 | 1755 168808 562435 | 2147483647 126910 113 | 0.000 % |
282.64/282.82 c | 288098 | 1755 168808 562435 | 2147483647 127088 113 | 0.008 % |
282.94/283.16 c | 288291 | 1755 168808 562435 | 2147483647 127281 113 | 0.000 % |
283.24/283.50 c | 288504 | 1755 168808 562435 | 2147483647 127494 113 | 0.000 % |
283.74/283.91 c | 288737 | 1755 168808 562435 | 2147483647 127727 114 | 0.000 % |
284.04/284.29 c | 288996 | 1755 168808 562435 | 2147483647 127986 114 | 0.000 % |
284.54/284.74 c | 289277 | 1755 168808 562435 | 2147483647 128267 114 | 0.000 % |
285.04/285.21 c | 289587 | 1755 168808 562435 | 2147483647 128577 114 | 0.000 % |
285.44/285.64 c | 289926 | 1755 168808 562435 | 2147483647 128916 114 | 0.000 % |
286.04/286.21 c | 290299 | 1755 168808 562435 | 128990 129289 114 | 0.006 % |
286.74/286.94 c | 290708 | 1755 168808 562435 | 128990 112249 111 | 0.000 % |
287.14/287.39 c | 291157 | 1755 168808 562435 | 128990 112698 111 | 0.000 % |
287.73/287.96 c | 291650 | 1755 168808 562435 | 128990 113191 111 | 0.000 % |
288.33/288.56 c | 292192 | 1755 168808 562435 | 128990 113733 111 | 0.000 % |
289.03/289.20 c | 292790 | 1755 168808 562435 | 128990 114331 111 | 0.000 % |
289.73/289.98 c | 293446 | 1755 168808 562435 | 128990 114987 111 | 0.000 % |
290.53/290.73 c | 294169 | 1755 168808 562435 | 128990 115710 111 | 0.000 % |
291.53/291.75 c | 294961 | 1755 168808 562435 | 128990 116502 111 | 0.000 % |
292.53/292.80 c | 295834 | 1755 168808 562435 | 128990 117375 112 | 0.000 % |
293.73/293.95 c | 296795 | 1755 168808 562435 | 128990 118336 112 | 0.000 % |
295.13/295.33 c | 297848 | 1755 168808 562435 | 128990 119389 112 | 0.000 % |
296.33/296.58 c | 299007 | 1755 168808 562435 | 128990 120548 112 | 0.000 % |
299.13/299.30 c | 300280 | 1755 168808 562435 | 121541 121821 114 | 0.000 % |
301.33/301.57 c | 301681 | 1755 168808 562435 | 121541 106517 111 | 0.000 % |
303.33/303.50 c | 303221 | 1755 168808 562435 | 121541 108057 111 | 0.007 % |
305.33/305.53 c | 304915 | 1755 168808 562435 | 121541 109751 111 | 0.000 % |
307.43/307.64 c | 306780 | 1755 168808 562435 | 121541 111616 111 | 0.000 % |
309.73/310.00 c | 308833 | 1755 168808 562435 | 121541 113669 111 | 0.006 % |
312.42/312.60 c | 311086 | 1755 168808 562435 | 114838 104270 109 | 0.000 % |
315.32/315.50 c | 313564 | 1755 168808 562435 | 114838 106748 111 | 0.000 % |
319.42/319.61 c | 316291 | 1755 168808 562435 | 114838 109475 113 | 0.000 % |
323.62/323.88 c | 319290 | 1755 168808 562435 | 114838 112474 114 | 0.000 % |
323.82/324.05 c | 319391 | 1755 168808 562435 | 114838 112575 114 | 0.000 % |
324.02/324.23 c | 319501 | 1755 168808 562435 | 114838 112685 114 | 0.000 % |
324.32/324.50 c | 319623 | 1755 168808 562435 | 114838 112807 114 | 0.000 % |
324.42/324.69 c | 319762 | 1755 168808 562435 | 114838 112946 114 | 0.000 % |
324.72/324.90 c | 319909 | 1755 168808 562435 | 114838 113093 114 | 0.000 % |
324.92/325.15 c | 320072 | 1755 168808 562435 | 113184 113256 114 | 0.000 % |
325.32/325.52 c | 320250 | 1755 168808 562435 | 113184 99432 113 | 0.000 % |
325.52/325.76 c | 320443 | 1755 168808 562435 | 113184 99625 113 | 0.005 % |
325.82/326.02 c | 320659 | 1755 168808 562435 | 113184 99841 113 | 0.000 % |
326.02/326.29 c | 320893 | 1755 168808 562435 | 113184 100075 113 | 0.000 % |
326.42/326.63 c | 321149 | 1755 168808 562435 | 113184 100331 113 | 0.006 % |
326.72/326.93 c | 321430 | 1755 168808 562435 | 113184 100612 113 | 0.000 % |
327.12/327.34 c | 321741 | 1755 168808 562435 | 113184 100923 113 | 0.000 % |
327.52/327.75 c | 322081 | 1755 168808 562435 | 113184 101263 113 | 0.000 % |
328.12/328.39 c | 322453 | 1755 168808 562435 | 113184 101635 113 | 0.000 % |
328.62/328.82 c | 322862 | 1755 168808 562435 | 113184 102044 113 | 0.000 % |
329.32/329.52 c | 323311 | 1755 168808 562435 | 113184 102493 113 | 0.000 % |
330.02/330.21 c | 323804 | 1755 168808 562435 | 113184 102986 114 | 0.000 % |
330.52/330.80 c | 324348 | 1755 168808 562435 | 113184 103530 114 | 0.000 % |
331.22/331.44 c | 324944 | 1755 168808 562435 | 113184 104126 114 | 0.000 % |
332.02/332.23 c | 325601 | 1755 168808 562435 | 113184 104783 114 | 0.000 % |
333.01/333.24 c | 326323 | 1755 168808 562435 | 113184 105505 114 | 0.000 % |
333.91/334.18 c | 327115 | 1755 168808 562435 | 113184 106297 114 | 0.000 % |
334.91/335.10 c | 327986 | 1755 168808 562435 | 113184 107168 113 | 0.007 % |
335.81/336.01 c | 328944 | 1755 168808 562435 | 113184 108126 113 | 0.007 % |
337.21/337.47 c | 330000 | 1755 168808 562435 | 113184 109182 113 | 0.000 % |
338.61/338.85 c | 331159 | 1755 168808 562435 | 109182 97333 116 | 0.000 % |
340.02/340.22 c | 332433 | 1755 168808 562435 | 109182 98607 117 | 0.000 % |
341.52/341.80 c | 333834 | 1755 168808 562435 | 109182 100008 117 | 0.000 % |
343.52/343.70 c | 335376 | 1755 168808 562435 | 109182 101550 117 | 0.000 % |
345.52/345.71 c | 337070 | 1755 168808 562435 | 109182 103244 117 | 0.000 % |
348.02/348.29 c | 338934 | 1755 168808 562435 | 109182 105108 118 | 0.000 % |
350.41/350.66 c | 340983 | 1755 168808 562435 | 2147483647 107157 119 | 0.000 % |
353.01/353.22 c | 343236 | 1755 168808 562435 | 2147483647 109410 119 | 0.000 % |
355.91/356.18 c | 345715 | 1755 168808 562435 | 2147483647 111889 119 | 0.007 % |
359.81/360.00 c | 348441 | 1755 168808 562435 | 2147483647 114615 119 | 0.000 % |
364.21/364.41 c | 351440 | 1755 168808 562435 | 116174 103492 115 | 0.007 % |
368.80/369.01 c | 354736 | 1755 168808 562435 | 116174 106788 114 | 0.007 % |
368.90/369.13 c | 354836 | 1755 168808 562435 | 116174 106888 114 | 0.007 % |
369.10/369.33 c | 354952 | 1755 168808 562435 | 116174 107004 114 | 0.005 % |
369.30/369.53 c | 355076 | 1755 168808 562435 | 116174 107128 114 | 0.000 % |
369.40/369.68 c | 355209 | 1755 168808 562435 | 116174 107261 114 | 0.000 % |
369.69/369.90 c | 355358 | 1755 168808 562435 | 116174 107410 114 | 0.000 % |
369.89/370.10 c | 355522 | 1755 168808 562435 | 116174 107574 114 | 0.000 % |
370.09/370.40 c | 355700 | 1755 168808 562435 | 116174 107752 114 | 0.000 % |
370.40/370.63 c | 355895 | 1755 168808 562435 | 116174 107947 114 | 0.000 % |
370.69/370.95 c | 356110 | 1755 168808 562435 | 116174 108162 114 | 0.000 % |
370.99/371.25 c | 356343 | 1755 168808 562435 | 116174 108395 114 | 0.000 % |
371.39/371.65 c | 356601 | 1755 168808 562435 | 116174 108653 114 | 0.000 % |
371.79/372.04 c | 356882 | 1755 168808 562435 | 116174 108934 114 | 0.000 % |
372.09/372.39 c | 357194 | 1755 168808 562435 | 116174 109246 114 | 0.000 % |
372.60/372.80 c | 357534 | 1755 168808 562435 | 116174 109586 114 | 0.000 % |
373.29/373.55 c | 357906 | 1755 168808 562435 | 116174 109958 114 | 0.000 % |
373.80/374.09 c | 358315 | 1755 168808 562435 | 116174 110367 114 | 0.000 % |
374.49/374.76 c | 358765 | 1755 168808 562435 | 116174 110817 115 | 0.000 % |
375.09/375.36 c | 359258 | 1755 168808 562435 | 116174 111310 115 | 0.000 % |
375.90/376.11 c | 359800 | 1755 168808 562435 | 116174 111852 115 | 0.000 % |
376.59/376.88 c | 360397 | 1755 168808 562435 | 112052 112449 115 | 0.000 % |
377.69/377.96 c | 361058 | 1755 168808 562435 | 112052 98932 110 | 0.000 % |
379.09/379.30 c | 361778 | 1755 168808 562435 | 112052 99652 110 | 0.000 % |
380.48/380.73 c | 362572 | 1755 168808 562435 | 112052 100446 111 | 0.000 % |
381.39/381.61 c | 363443 | 1755 168808 562435 | 112052 101317 111 | 0.000 % |
382.78/383.02 c | 364403 | 1755 168808 562435 | 112052 102277 112 | 0.000 % |
384.18/384.49 c | 365457 | 1755 168808 562435 | 112052 103331 112 | 0.000 % |
385.79/386.07 c | 366615 | 1755 168808 562435 | 112052 104489 113 | 0.000 % |
387.88/388.11 c | 367888 | 1755 168808 562435 | 112052 105762 113 | 0.000 % |
389.28/389.54 c | 369292 | 1755 168808 562435 | 112052 107166 113 | 0.006 % |
391.29/391.51 c | 370833 | 1755 168808 562435 | 107874 108707 113 | 0.000 % |
393.28/393.60 c | 372529 | 1755 168808 562435 | 107874 97258 111 | 0.000 % |
395.88/396.11 c | 374392 | 1755 168808 562435 | 107874 99121 112 | 0.000 % |
398.68/398.97 c | 376441 | 1755 168808 562435 | 107874 101170 113 | 0.000 % |
401.48/401.72 c | 378697 | 1755 168808 562435 | 107874 103426 114 | 0.000 % |
405.08/405.32 c | 381175 | 1755 168808 562435 | 104729 92881 112 | 0.000 % |
409.17/409.45 c | 383902 | 1755 168808 562435 | 104729 95608 112 | 0.000 % |
413.28/413.55 c | 386899 | 1755 168808 562435 | 104729 98605 113 | 0.000 % |
418.47/418.71 c | 390196 | 1755 168808 562435 | 101706 101902 112 | 0.000 % |
423.17/423.40 c | 393821 | 1755 168808 562435 | 101706 92532 106 | 0.000 % |
423.27/423.52 c | 393922 | 1755 168808 562435 | 101706 92633 106 | 0.000 % |
423.37/423.66 c | 394033 | 1755 168808 562435 | 101706 92744 106 | 0.005 % |
423.57/423.84 c | 394154 | 1755 168808 562435 | 101706 92865 106 | 0.000 % |
423.77/424.02 c | 394288 | 1755 168808 562435 | 101706 92999 106 | 0.000 % |
423.97/424.21 c | 394435 | 1755 168808 562435 | 101706 93146 107 | 0.000 % |
424.07/424.40 c | 394595 | 1755 168808 562435 | 101706 93306 107 | 0.000 % |
424.37/424.68 c | 394772 | 1755 168808 562435 | 101706 93483 107 | 0.000 % |
424.57/424.89 c | 394966 | 1755 168808 562435 | 101706 93677 107 | 0.000 % |
424.87/425.14 c | 395178 | 1755 168808 562435 | 101706 93889 107 | 0.000 % |
425.07/425.38 c | 395412 | 1755 168808 562435 | 101706 94123 107 | 0.000 % |
425.37/425.68 c | 395668 | 1755 168808 562435 | 101706 94379 107 | 0.000 % |
425.77/426.05 c | 395950 | 1755 168808 562435 | 101706 94661 107 | 0.000 % |
426.17/426.50 c | 396260 | 1755 168808 562435 | 101706 94971 107 | 0.000 % |
426.57/426.85 c | 396600 | 1755 168808 562435 | 101706 95311 107 | 0.000 % |
426.97/427.24 c | 396972 | 1755 168808 562435 | 101706 95683 107 | 0.000 % |
427.47/427.71 c | 397382 | 1755 168808 562435 | 101706 96093 107 | 0.000 % |
427.87/428.12 c | 397833 | 1755 168808 562435 | 101706 96544 107 | 0.006 % |
428.57/428.80 c | 398328 | 1755 168808 562435 | 101706 97039 107 | 0.000 % |
429.17/429.47 c | 398870 | 1755 168808 562435 | 101706 97581 107 | 0.000 % |
429.87/430.11 c | 399467 | 1755 168808 562435 | 101706 98178 107 | 0.000 % |
430.67/430.92 c | 400122 | 1755 168808 562435 | 98714 98833 107 | 0.000 % |
431.57/431.83 c | 400845 | 1755 168808 562435 | 98714 89114 106 | 0.007 % |
432.37/432.69 c | 401638 | 1755 168808 562435 | 98714 89907 106 | 0.000 % |
433.37/433.68 c | 402509 | 1755 168808 562435 | 98714 90778 106 | 0.000 % |
434.97/435.23 c | 403468 | 1755 168808 562435 | 98714 91737 107 | 0.000 % |
436.47/436.73 c | 404522 | 1755 168808 562435 | 98714 92791 108 | 0.000 % |
437.86/438.10 c | 405680 | 1755 168808 562435 | 98714 93949 109 | 0.000 % |
439.16/439.48 c | 406953 | 1755 168808 562435 | 98714 95222 109 | 0.000 % |
440.96/441.23 c | 408353 | 1755 168808 562435 | 98714 96622 109 | 0.000 % |
442.97/443.20 c | 409893 | 1755 168808 562435 | 98714 98162 110 | 0.000 % |
445.27/445.59 c | 411589 | 1755 168808 562435 | 2147483647 99858 111 | 0.000 % |
448.36/448.66 c | 413452 | 1755 168808 562435 | 2147483647 101721 113 | 0.000 % |
451.56/451.83 c | 415501 | 1755 168808 562435 | 2147483647 103770 113 | 0.000 % |
454.36/454.67 c | 417755 | 1755 168808 562435 | 2147483647 106024 115 | 0.000 % |
458.26/458.51 c | 420234 | 1755 168808 562435 | 2147483647 108503 117 | 0.000 % |
462.36/462.64 c | 422959 | 1755 168808 562435 | 2147483647 111228 118 | 0.000 % |
466.56/466.84 c | 425957 | 1755 168808 562435 | 2147483647 114226 120 | 0.000 % |
471.85/472.15 c | 429253 | 1755 168808 562435 | 2147483647 117522 120 | 0.000 % |
477.95/478.22 c | 432878 | 1755 168808 562435 | 118269 101148 121 | 0.000 % |
484.14/484.40 c | 436865 | 1755 168808 562435 | 118269 105135 123 | 0.000 % |
484.34/484.61 c | 436969 | 1755 168808 562435 | 118269 105239 123 | 0.000 % |
484.54/484.84 c | 437081 | 1755 168808 562435 | 118269 105351 123 | 0.000 % |
484.75/485.03 c | 437203 | 1755 168808 562435 | 118269 105473 123 | 0.000 % |
485.04/485.30 c | 437336 | 1755 168808 562435 | 118269 105606 123 | 0.000 % |
485.34/485.60 c | 437483 | 1755 168808 562435 | 118269 105753 123 | 0.000 % |
485.54/485.81 c | 437644 | 1755 168808 562435 | 118269 105914 123 | 0.000 % |
485.85/486.14 c | 437820 | 1755 168808 562435 | 118269 106090 123 | 0.000 % |
486.14/486.50 c | 438016 | 1755 168808 562435 | 118269 106286 123 | 0.000 % |
486.54/486.83 c | 438230 | 1755 168808 562435 | 118269 106500 123 | 0.000 % |
486.84/487.11 c | 438463 | 1755 168808 562435 | 118269 106733 123 | 0.000 % |
487.24/487.50 c | 438719 | 1755 168808 562435 | 118269 106989 123 | 0.000 % |
487.64/487.92 c | 439001 | 1755 168808 562435 | 118269 107271 123 | 0.000 % |
488.24/488.50 c | 439310 | 1755 168808 562435 | 118269 107580 124 | 0.000 % |
488.74/489.05 c | 439650 | 1755 168808 562435 | 118269 107920 124 | 0.000 % |
489.34/489.61 c | 440023 | 1755 168808 562435 | 108270 108293 124 | 0.000 % |
490.14/490.48 c | 440433 | 1755 168808 562435 | 108270 88815 121 | 0.000 % |
490.84/491.10 c | 440882 | 1755 168808 562435 | 108270 89264 121 | 0.000 % |
491.54/491.81 c | 441376 | 1755 168808 562435 | 108270 89758 121 | 0.000 % |
492.24/492.58 c | 441918 | 1755 168808 562435 | 108270 90300 121 | 0.000 % |
493.14/493.42 c | 442515 | 1755 168808 562435 | 108270 90897 121 | 0.000 % |
494.34/494.63 c | 443172 | 1755 168808 562435 | 108270 91554 122 | 0.000 % |
495.44/495.75 c | 443892 | 1755 168808 562435 | 108270 92274 122 | 0.000 % |
496.54/496.89 c | 444688 | 1755 168808 562435 | 108270 93070 122 | 0.000 % |
497.84/498.12 c | 445560 | 1755 168808 562435 | 108270 93942 122 | 0.000 % |
499.54/499.81 c | 446520 | 1755 168808 562435 | 108270 94902 123 | 0.000 % |
501.44/501.76 c | 447580 | 1755 168808 562435 | 108270 95962 123 | 0.000 % |
503.54/503.90 c | 448738 | 1755 168808 562435 | 108270 97120 124 | 0.000 % |
505.54/505.81 c | 450012 | 1755 168808 562435 | 98382 98394 124 | 0.000 % |
507.84/508.12 c | 451412 | 1755 168808 562435 | 98382 85742 122 | 0.000 % |
509.64/509.93 c | 452953 | 1755 168808 562435 | 98382 87283 123 | 0.000 % |
511.34/511.69 c | 454650 | 1755 168808 562435 | 98382 88980 123 | 0.005 % |
513.63/513.92 c | 456516 | 1755 168808 562435 | 98382 90846 123 | 0.000 % |
516.83/517.15 c | 458565 | 1755 168808 562435 | 98382 92895 124 | 0.000 % |
520.33/520.67 c | 460821 | 1755 168808 562435 | 94330 95151 125 | 0.000 % |
524.23/524.53 c | 463299 | 1755 168808 562435 | 94330 87391 127 | 0.000 % |
528.32/528.69 c | 466024 | 1755 168808 562435 | 94330 90116 127 | 0.000 % |
533.42/533.78 c | 469021 | 1755 168808 562435 | 94330 93113 130 | 0.000 % |
538.73/539.01 c | 472317 | 1755 168808 562435 | 94092 84103 130 | 0.000 % |
543.62/543.94 c | 475944 | 1755 168808 562435 | 94092 87730 132 | 0.000 % |
549.32/549.69 c | 479933 | 1755 168808 562435 | 94092 91719 132 | 0.000 % |
555.42/555.74 c | 484320 | 1755 168808 562435 | 91787 84423 127 | 0.000 % |
555.62/555.91 c | 484420 | 1755 168808 562435 | 91787 84523 127 | 0.000 % |
555.72/556.07 c | 484530 | 1755 168808 562435 | 91787 84633 127 | 0.000 % |
556.02/556.32 c | 484651 | 1755 168808 562435 | 91787 84754 127 | 0.000 % |
556.22/556.52 c | 484786 | 1755 168808 562435 | 91787 84889 127 | 0.000 % |
556.42/556.77 c | 484933 | 1755 168808 562435 | 91787 85036 127 | 0.000 % |
556.72/557.02 c | 485094 | 1755 168808 562435 | 91787 85197 127 | 0.000 % |
557.02/557.36 c | 485272 | 1755 168808 562435 | 91787 85375 127 | 0.000 % |
557.32/557.69 c | 485466 | 1755 168808 562435 | 91787 85569 127 | 0.000 % |
557.71/558.02 c | 485679 | 1755 168808 562435 | 91787 85782 127 | 0.007 % |
558.01/558.33 c | 485912 | 1755 168808 562435 | 91787 86015 127 | 0.007 % |
558.31/558.67 c | 486170 | 1755 168808 562435 | 91787 86273 127 | 0.007 % |
558.71/559.04 c | 486452 | 1755 168808 562435 | 91787 86555 127 | 0.000 % |
559.11/559.47 c | 486761 | 1755 168808 562435 | 91787 86864 127 | 0.007 % |
559.61/559.94 c | 487101 | 1755 168808 562435 | 91787 87204 127 | 0.000 % |
560.11/560.44 c | 487475 | 1755 168808 562435 | 91787 87578 127 | 0.000 % |
560.61/560.97 c | 487885 | 1755 168808 562435 | 91787 87988 127 | 0.000 % |
561.21/561.58 c | 488334 | 1755 168808 562435 | 91787 88437 127 | 0.008 % |
561.91/562.20 c | 488827 | 1755 168808 562435 | 91787 88930 127 | 0.000 % |
562.61/562.96 c | 489370 | 1755 168808 562435 | 91787 89473 127 | 0.000 % |
563.41/563.77 c | 489967 | 1755 168808 562435 | 91787 90070 127 | 0.000 % |
564.11/564.43 c | 490624 | 1755 168808 562435 | 90103 90727 127 | 0.006 % |
564.91/565.29 c | 491344 | 1755 168808 562435 | 90103 80633 123 | 0.006 % |
566.01/566.32 c | 492136 | 1755 168808 562435 | 90103 81425 123 | 0.005 % |
567.11/567.42 c | 493007 | 1755 168808 562435 | 90103 82296 123 | 0.000 % |
568.71/569.04 c | 493967 | 1755 168808 562435 | 90103 83256 124 | 0.000 % |
570.61/570.91 c | 495021 | 1755 168808 562435 | 90103 84310 124 | 0.000 % |
572.81/573.12 c | 496183 | 1755 168808 562435 | 90103 85472 125 | 0.000 % |
574.71/575.08 c | 497456 | 1755 168808 562435 | 90103 86745 125 | 0.000 % |
577.11/577.43 c | 498856 | 1755 168808 562435 | 90103 88145 125 | 0.000 % |
579.50/579.80 c | 500398 | 1755 168808 562435 | 89289 89687 126 | 0.000 % |
581.90/582.20 c | 502092 | 1755 168808 562435 | 89289 80054 122 | 0.000 % |
584.70/585.05 c | 503957 | 1755 168808 562435 | 89289 81919 123 | 0.000 % |
587.50/587.89 c | 506006 | 1755 168808 562435 | 89289 83968 124 | 0.000 % |
591.51/591.86 c | 508263 | 1755 168808 562435 | 89289 86225 125 | 0.000 % |
594.70/595.08 c | 510742 | 1755 168808 562435 | 87964 88704 126 | 0.000 % |
597.60/597.93 c | 513468 | 1755 168808 562435 | 87964 81904 124 | 0.000 % |
601.40/601.72 c | 516466 | 1755 168808 562435 | 87964 84902 123 | 0.000 % |
606.09/606.43 c | 519763 | 1755 168808 562435 | 87964 88199 124 | 0.000 % |
610.09/610.43 c | 523390 | 1755 168808 562435 | 79132 74509 117 | 0.000 % |
614.89/615.24 c | 527380 | 1755 168808 562435 | 79132 78499 117 | 0.000 % |
620.19/620.59 c | 531765 | 1755 168808 562435 | 2147483647 74867 111 | 0.000 % |
626.59/626.96 c | 536589 | 1755 168808 562435 | 2147483647 79691 112 | 0.000 % |
626.78/627.13 c | 536691 | 1755 168808 562435 | 2147483647 79793 112 | 0.000 % |
626.98/627.31 c | 536801 | 1755 168808 562435 | 2147483647 79903 112 | 0.000 % |
627.08/627.46 c | 536923 | 1755 168808 562435 | 2147483647 80025 112 | 0.000 % |
627.28/627.69 c | 537057 | 1755 168808 562435 | 2147483647 80159 112 | 0.000 % |
627.58/627.92 c | 537204 | 1755 168808 562435 | 2147483647 80306 112 | 0.000 % |
627.79/628.15 c | 537364 | 1755 168808 562435 | 2147483647 80466 112 | 0.000 % |
628.08/628.41 c | 537541 | 1755 168808 562435 | 2147483647 80643 112 | 0.000 % |
628.28/628.65 c | 537734 | 1755 168808 562435 | 2147483647 80836 112 | 0.000 % |
628.58/628.93 c | 537946 | 1755 168808 562435 | 2147483647 81048 112 | 0.000 % |
628.89/629.26 c | 538179 | 1755 168808 562435 | 2147483647 81281 112 | 0.000 % |
629.28/629.62 c | 538435 | 1755 168808 562435 | 2147483647 81537 112 | 0.000 % |
629.58/629.99 c | 538717 | 1755 168808 562435 | 2147483647 81819 113 | 0.000 % |
629.99/630.40 c | 539026 | 1755 168808 562435 | 2147483647 82128 113 | 0.000 % |
630.58/630.96 c | 539365 | 1755 168808 562435 | 2147483647 82467 113 | 0.000 % |
631.09/631.42 c | 539741 | 1755 168808 562435 | 2147483647 82843 114 | 0.000 % |
631.48/631.83 c | 540150 | 1755 168808 562435 | 2147483647 83252 114 | 0.000 % |
632.19/632.51 c | 540600 | 1755 168808 562435 | 2147483647 83702 114 | 0.000 % |
632.78/633.10 c | 541093 | 1755 168808 562435 | 2147483647 84195 114 | 0.000 % |
633.88/634.23 c | 541635 | 1755 168808 562435 | 2147483647 84737 114 | 0.000 % |
634.48/634.89 c | 542234 | 1755 168808 562435 | 2147483647 85336 115 | 0.000 % |
635.38/635.79 c | 542889 | 1755 168808 562435 | 2147483647 85991 115 | 0.000 % |
636.38/636.77 c | 543609 | 1755 168808 562435 | 2147483647 86711 115 | 0.000 % |
637.58/637.95 c | 544403 | 1755 168808 562435 | 2147483647 87505 115 | 0.000 % |
638.78/639.18 c | 545276 | 1755 168808 562435 | 2147483647 88378 115 | 0.000 % |
639.98/640.31 c | 546234 | 1755 168808 562435 | 2147483647 89336 115 | 0.000 % |
641.28/641.63 c | 547288 | 1755 168808 562435 | 2147483647 90390 115 | 0.006 % |
642.58/642.95 c | 548446 | 1755 168808 562435 | 2147483647 91548 115 | 0.006 % |
644.48/644.82 c | 549719 | 1755 168808 562435 | 2147483647 92821 116 | 0.000 % |
646.58/646.98 c | 551119 | 1755 168808 562435 | 2147483647 94221 116 | 0.000 % |
648.77/649.12 c | 552661 | 1755 168808 562435 | 2147483647 95763 117 | 0.000 % |
650.98/651.38 c | 554355 | 1755 168808 562435 | 2147483647 97457 117 | 0.000 % |
653.57/653.91 c | 556223 | 1755 168808 562435 | 2147483647 99325 118 | 0.000 % |
655.87/656.26 c | 558272 | 1755 168808 562435 | 2147483647 101374 118 | 0.000 % |
659.17/659.54 c | 560527 | 1755 168808 562435 | 2147483647 103629 117 | 0.000 % |
663.07/663.48 c | 563005 | 1755 168808 562435 | 2147483647 106107 119 | 0.000 % |
667.07/667.50 c | 565730 | 1755 168808 562435 | 2147483647 108832 121 | 0.000 % |
672.47/672.88 c | 568727 | 1755 168808 562435 | 2147483647 111829 123 | 0.000 % |
678.37/678.70 c | 572024 | 1755 168808 562435 | 113102 96784 119 | 0.000 % |
684.06/684.45 c | 575650 | 1755 168808 562435 | 113102 100410 122 | 0.000 % |
691.16/691.56 c | 579638 | 1755 168808 562435 | 113102 104398 123 | 0.000 % |
697.55/697.93 c | 584023 | 1755 168808 562435 | 104760 91045 117 | 0.000 % |
706.35/706.71 c | 588846 | 1755 168808 562435 | 104760 95868 121 | 0.000 % |
715.35/715.74 c | 594151 | 1755 168808 562435 | 97023 86379 123 | 0.000 % |
715.55/715.94 c | 594251 | 1755 168808 562435 | 97023 86479 123 | 0.000 % |
715.75/716.14 c | 594361 | 1755 168808 562435 | 97023 86589 123 | 0.000 % |
715.95/716.30 c | 594489 | 1755 168808 562435 | 97023 86717 123 | 0.000 % |
716.15/716.50 c | 594622 | 1755 168808 562435 | 97023 86850 123 | 0.000 % |
716.35/716.70 c | 594768 | 1755 168808 562435 | 97023 86996 123 | 0.000 % |
716.55/716.96 c | 594928 | 1755 168808 562435 | 97023 87156 123 | 0.000 % |
716.85/717.21 c | 595106 | 1755 168808 562435 | 97023 87334 123 | 0.000 % |
717.05/717.49 c | 595302 | 1755 168808 562435 | 97023 87530 123 | 0.000 % |
717.45/717.85 c | 595516 | 1755 168808 562435 | 97023 87744 123 | 0.000 % |
717.95/718.31 c | 595749 | 1755 168808 562435 | 97023 87977 123 | 0.000 % |
718.35/718.77 c | 596005 | 1755 168808 562435 | 97023 88233 123 | 0.000 % |
718.75/719.18 c | 596286 | 1755 168808 562435 | 97023 88514 123 | 0.000 % |
719.55/719.91 c | 596595 | 1755 168808 562435 | 97023 88823 124 | 0.000 % |
719.95/720.32 c | 596934 | 1755 168808 562435 | 97023 89162 124 | 0.000 % |
720.45/720.87 c | 597309 | 1755 168808 562435 | 97023 89537 124 | 0.000 % |
721.05/721.44 c | 597719 | 1755 168808 562435 | 97023 89947 124 | 0.000 % |
721.75/722.19 c | 598172 | 1755 168808 562435 | 97023 90400 124 | 0.000 % |
722.65/723.09 c | 598667 | 1755 168808 562435 | 97023 90895 124 | 0.000 % |
723.85/724.21 c | 599212 | 1755 168808 562435 | 97023 91440 125 | 0.000 % |
724.75/725.17 c | 599809 | 1755 168808 562435 | 97023 92037 125 | 0.000 % |
725.85/726.29 c | 600464 | 1755 168808 562435 | 92230 92692 125 | 0.000 % |
727.04/727.44 c | 601184 | 1755 168808 562435 | 92230 79413 125 | 0.000 % |
728.55/728.93 c | 601978 | 1755 168808 562435 | 92230 80207 125 | 0.000 % |
729.95/730.31 c | 602850 | 1755 168808 562435 | 92230 81079 126 | 0.000 % |
731.05/731.48 c | 603808 | 1755 168808 562435 | 92230 82037 126 | 0.000 % |
732.34/732.76 c | 604862 | 1755 168808 562435 | 92230 83091 126 | 0.000 % |
733.64/734.05 c | 606020 | 1755 168808 562435 | 92230 84249 126 | 0.000 % |
735.84/736.22 c | 607293 | 1755 168808 562435 | 92230 85522 126 | 0.000 % |
737.84/738.27 c | 608695 | 1755 168808 562435 | 92230 86924 127 | 0.000 % |
739.94/740.32 c | 610235 | 1755 168808 562435 | 88231 88464 127 | 0.000 % |
742.23/742.69 c | 611929 | 1755 168808 562435 | 88231 79624 126 | 0.000 % |
744.43/744.82 c | 613792 | 1755 168808 562435 | 88231 81487 126 | 0.000 % |
747.23/747.64 c | 615843 | 1755 168808 562435 | 88231 83538 126 | 0.000 % |
751.33/751.80 c | 618096 | 1755 168808 562435 | 88231 85791 127 | 0.000 % |
754.93/755.37 c | 620576 | 1755 168808 562435 | 87696 88271 129 | 0.000 % |
759.63/760.10 c | 623304 | 1755 168808 562435 | 87696 80716 131 | 0.000 % |
764.93/765.33 c | 626301 | 1755 168808 562435 | 87696 83713 133 | 0.000 % |
771.43/771.81 c | 629598 | 1755 168808 562435 | 87696 87010 135 | 0.000 % |
777.13/777.57 c | 633224 | 1755 168808 562435 | 87412 76729 130 | 0.000 % |
784.32/784.77 c | 637212 | 1755 168808 562435 | 87412 80717 133 | 0.000 % |
791.01/791.45 c | 641598 | 1755 168808 562435 | 83507 72639 129 | 0.000 % |
797.21/797.67 c | 646421 | 1755 168808 562435 | 83507 77462 131 | 0.000 % |
804.81/805.23 c | 651726 | 1755 168808 562435 | 81043 70052 129 | 0.000 % |
811.31/811.73 c | 657561 | 1755 168808 562435 | 81043 75887 129 | 0.000 % |
811.51/811.97 c | 657661 | 1755 168808 562435 | 81043 75987 129 | 0.000 % |
811.71/812.18 c | 657771 | 1755 168808 562435 | 81043 76097 129 | 0.000 % |
811.91/812.38 c | 657892 | 1755 168808 562435 | 81043 76218 129 | 0.000 % |
812.11/812.53 c | 658025 | 1755 168808 562435 | 81043 76351 129 | 0.000 % |
812.41/812.86 c | 658171 | 1755 168808 562435 | 81043 76497 129 | 0.000 % |
812.61/813.09 c | 658334 | 1755 168808 562435 | 81043 76660 129 | 0.000 % |
812.91/813.34 c | 658510 | 1755 168808 562435 | 81043 76836 130 | 0.000 % |
813.31/813.73 c | 658703 | 1755 168808 562435 | 81043 77029 130 | 0.000 % |
813.61/814.09 c | 658915 | 1755 168808 562435 | 81043 77241 130 | 0.000 % |
814.01/814.41 c | 659148 | 1755 168808 562435 | 81043 77474 130 | 0.000 % |
814.31/814.74 c | 659405 | 1755 168808 562435 | 81043 77731 130 | 0.000 % |
814.81/815.26 c | 659686 | 1755 168808 562435 | 81043 78012 130 | 0.000 % |
815.31/815.74 c | 659995 | 1755 168808 562435 | 81043 78321 130 | 0.000 % |
815.71/816.12 c | 660337 | 1755 168808 562435 | 78326 78663 130 | 0.000 % |
816.21/816.61 c | 660709 | 1755 168808 562435 | 78326 68322 129 | 0.000 % |
816.61/817.06 c | 661118 | 1755 168808 562435 | 78326 68731 129 | 0.000 % |
817.11/817.57 c | 661568 | 1755 168808 562435 | 78326 69181 129 | 0.000 % |
817.81/818.24 c | 662062 | 1755 168808 562435 | 78326 69675 130 | 0.000 % |
818.61/819.06 c | 662604 | 1755 168808 562435 | 78326 70217 130 | 0.000 % |
819.31/819.75 c | 663202 | 1755 168808 562435 | 78326 70815 130 | 0.000 % |
820.21/820.65 c | 663859 | 1755 168808 562435 | 78326 71472 130 | 0.000 % |
821.21/821.61 c | 664581 | 1755 168808 562435 | 78326 72194 130 | 0.000 % |
822.21/822.60 c | 665375 | 1755 168808 562435 | 78326 72988 131 | 0.000 % |
823.30/823.70 c | 666248 | 1755 168808 562435 | 78326 73861 132 | 0.000 % |
824.61/825.00 c | 667208 | 1755 168808 562435 | 78326 74821 132 | 0.000 % |
826.10/826.57 c | 668262 | 1755 168808 562435 | 78326 75875 133 | 0.000 % |
827.70/828.20 c | 669422 | 1755 168808 562435 | 78326 77035 133 | 0.000 % |
829.60/830.00 c | 670695 | 1755 168808 562435 | 2147483647 78308 134 | 0.000 % |
831.49/831.98 c | 672095 | 1755 168808 562435 | 2147483647 79708 134 | 0.000 % |
833.19/833.62 c | 673636 | 1755 168808 562435 | 2147483647 81249 135 | 0.000 % |
835.39/835.81 c | 675331 | 1755 168808 562435 | 2147483647 82944 135 | 0.000 % |
837.70/838.19 c | 677194 | 1755 168808 562435 | 2147483647 84807 135 | 0.000 % |
841.00/841.48 c | 679245 | 1755 168808 562435 | 2147483647 86858 135 | 0.000 % |
844.30/844.75 c | 681501 | 1755 168808 562435 | 2147483647 89114 135 | 0.000 % |
847.79/848.20 c | 683982 | 1755 168808 562435 | 2147483647 91595 137 | 0.000 % |
851.50/851.99 c | 686709 | 1755 168808 562435 | 2147483647 94322 138 | 0.000 % |
856.50/856.94 c | 689706 | 1755 168808 562435 | 2147483647 97319 139 | 0.000 % |
861.70/862.15 c | 693004 | 1755 168808 562435 | 97613 89209 136 | 0.000 % |
868.19/868.64 c | 696630 | 1755 168808 562435 | 97613 92835 139 | 0.000 % |
874.69/875.19 c | 700617 | 1755 168808 562435 | 96205 96822 141 | 0.000 % |
882.18/882.66 c | 705003 | 1755 168808 562435 | 96205 88903 134 | 0.000 % |
889.18/889.67 c | 709826 | 1755 168808 562435 | 96205 93726 137 | 0.000 % |
896.28/896.75 c | 715131 | 1755 168808 562435 | 93900 86749 134 | 0.000 % |
904.68/905.13 c | 720968 | 1755 168808 562435 | 91618 92586 133 | 0.000 % |
913.38/913.86 c | 727388 | 1755 168808 562435 | 91618 87657 131 | 0.000 % |
913.48/913.99 c | 727489 | 1755 168808 562435 | 91618 87758 131 | 0.000 % |
913.68/914.17 c | 727600 | 1755 168808 562435 | 91618 87869 131 | 0.000 % |
913.88/914.38 c | 727722 | 1755 168808 562435 | 91618 87991 131 | 0.000 % |
914.07/914.55 c | 727856 | 1755 168808 562435 | 91618 88125 131 | 0.006 % |
914.27/914.74 c | 728002 | 1755 168808 562435 | 91618 88271 131 | 0.000 % |
914.68/915.11 c | 728163 | 1755 168808 562435 | 91618 88432 131 | 0.000 % |
914.87/915.36 c | 728339 | 1755 168808 562435 | 91618 88608 131 | 0.000 % |
915.17/915.65 c | 728533 | 1755 168808 562435 | 91618 88802 131 | 0.000 % |
915.67/916.10 c | 728745 | 1755 168808 562435 | 91618 89014 131 | 0.000 % |
915.97/916.42 c | 728978 | 1755 168808 562435 | 91618 89247 131 | 0.000 % |
916.27/916.79 c | 729235 | 1755 168808 562435 | 91618 89504 132 | 0.000 % |
916.77/917.23 c | 729518 | 1755 168808 562435 | 91618 89787 132 | 0.000 % |
917.27/917.78 c | 729828 | 1755 168808 562435 | 91618 90097 132 | 0.000 % |
917.67/918.13 c | 730167 | 1755 168808 562435 | 90269 90436 132 | 0.000 % |
918.17/918.66 c | 730541 | 1755 168808 562435 | 90269 80546 128 | 0.000 % |
918.97/919.41 c | 730951 | 1755 168808 562435 | 90269 80956 129 | 0.000 % |
919.56/920.09 c | 731400 | 1755 168808 562435 | 90269 81405 129 | 0.000 % |
920.36/920.80 c | 731893 | 1755 168808 562435 | 90269 81898 129 | 0.000 % |
921.16/921.60 c | 732436 | 1755 168808 562435 | 90269 82441 129 | 0.000 % |
921.96/922.48 c | 733033 | 1755 168808 562435 | 90269 83038 129 | 0.000 % |
922.96/923.50 c | 733693 | 1755 168808 562435 | 90269 83698 130 | 0.000 % |
924.36/924.80 c | 734415 | 1755 168808 562435 | 90269 84420 130 | 0.000 % |
925.36/925.86 c | 735208 | 1755 168808 562435 | 90269 85213 130 | 0.000 % |
926.56/927.03 c | 736080 | 1755 168808 562435 | 90269 86085 131 | 0.000 % |
928.26/928.70 c | 737040 | 1755 168808 562435 | 90269 87045 131 | 0.000 % |
929.76/930.24 c | 738095 | 1755 168808 562435 | 90269 88100 132 | 0.000 % |
931.66/932.18 c | 739256 | 1755 168808 562435 | 90269 89261 132 | 0.000 % |
933.86/934.37 c | 740530 | 1755 168808 562435 | 90005 90535 133 | 0.000 % |
936.56/937.09 c | 741933 | 1755 168808 562435 | 90005 82073 131 | 0.000 % |
939.56/940.00 c | 743473 | 1755 168808 562435 | 90005 83613 132 | 0.000 % |
942.06/942.54 c | 745167 | 1755 168808 562435 | 90005 85307 133 | 0.000 % |
944.95/945.42 c | 747030 | 1755 168808 562435 | 90005 87170 134 | 0.000 % |
948.65/949.18 c | 749079 | 1755 168808 562435 | 90005 89219 135 | 0.000 % |
953.85/954.37 c | 751335 | 1755 168808 562435 | 90140 81312 133 | 0.000 % |
959.45/959.99 c | 753814 | 1755 168808 562435 | 90140 83791 135 | 0.000 % |
963.84/964.35 c | 756539 | 1755 168808 562435 | 90140 86516 136 | 0.000 % |
968.65/969.13 c | 759540 | 1755 168808 562435 | 90140 89517 138 | 0.000 % |
975.34/975.85 c | 762841 | 1755 168808 562435 | 89978 80833 134 | 0.000 % |
981.44/981.91 c | 766467 | 1755 168808 562435 | 89978 84459 136 | 0.000 % |
988.14/988.61 c | 770454 | 1755 168808 562435 | 87992 88446 139 | 0.000 % |
996.53/997.08 c | 774840 | 1755 168808 562435 | 87992 80612 138 | 0.000 % |
1006.33/1006.82 c | 779664 | 1755 168808 562435 | 87992 85436 138 | 0.000 % |
1015.43/1015.95 c | 784969 | 1755 168808 562435 | 85777 77126 141 | 0.000 % |
1025.42/1025.91 c | 790804 | 1755 168808 562435 | 82157 82961 140 | 0.000 % |
1034.32/1034.83 c | 797222 | 1755 168808 562435 | 82157 77095 137 | 0.000 % |
1045.62/1046.17 c | 804283 | 1755 168808 562435 | 79873 71527 131 | 0.000 % |
1045.92/1046.41 c | 804384 | 1755 168808 562435 | 79873 71628 131 | 0.000 % |
1046.02/1046.56 c | 804495 | 1755 168808 562435 | 79873 71739 131 | 0.000 % |
1046.22/1046.71 c | 804616 | 1755 168808 562435 | 79873 71860 131 | 0.000 % |
1046.32/1046.86 c | 804749 | 1755 168808 562435 | 79873 71993 131 | 0.000 % |
1046.52/1047.05 c | 804895 | 1755 168808 562435 | 79873 72139 131 | 0.006 % |
1046.72/1047.29 c | 805055 | 1755 168808 562435 | 79873 72299 131 | 0.000 % |
1047.12/1047.63 c | 805231 | 1755 168808 562435 | 79873 72475 132 | 0.000 % |
1047.32/1047.89 c | 805424 | 1755 168808 562435 | 79873 72668 132 | 0.000 % |
1047.72/1048.23 c | 805637 | 1755 168808 562435 | 79873 72881 132 | 0.000 % |
1048.12/1048.63 c | 805872 | 1755 168808 562435 | 79873 73116 132 | 0.000 % |
1048.42/1048.98 c | 806131 | 1755 168808 562435 | 79873 73375 132 | 0.000 % |
1048.82/1049.38 c | 806416 | 1755 168808 562435 | 79873 73660 132 | 0.000 % |
1049.42/1049.92 c | 806725 | 1755 168808 562435 | 79873 73969 132 | 0.000 % |
1049.92/1050.45 c | 807065 | 1755 168808 562435 | 79873 74309 132 | 0.000 % |
1050.52/1051.06 c | 807440 | 1755 168808 562435 | 79873 74684 132 | 0.000 % |
1051.32/1051.82 c | 807849 | 1755 168808 562435 | 79873 75093 133 | 0.000 % |
1051.92/1052.47 c | 808298 | 1755 168808 562435 | 79873 75542 133 | 0.000 % |
1052.51/1053.07 c | 808793 | 1755 168808 562435 | 79873 76037 133 | 0.000 % |
1053.31/1053.83 c | 809336 | 1755 168808 562435 | 79873 76580 133 | 0.000 % |
1054.21/1054.70 c | 809936 | 1755 168808 562435 | 79873 77180 133 | 0.000 % |
1055.01/1055.55 c | 810591 | 1755 168808 562435 | 77244 77835 134 | 0.000 % |
1056.01/1056.54 c | 811313 | 1755 168808 562435 | 77244 67654 126 | 0.000 % |
1057.11/1057.62 c | 812108 | 1755 168808 562435 | 77244 68449 127 | 0.000 % |
1058.41/1058.97 c | 812979 | 1755 168808 562435 | 77244 69320 127 | 0.000 % |
1060.01/1060.51 c | 813937 | 1755 168808 562435 | 77244 70278 127 | 0.000 % |
1061.70/1062.28 c | 814990 | 1755 168808 562435 | 77244 71331 127 | 0.000 % |
1063.40/1063.91 c | 816149 | 1755 168808 562435 | 77244 72490 128 | 0.000 % |
1065.20/1065.71 c | 817423 | 1755 168808 562435 | 77244 73764 128 | 0.000 % |
1067.10/1067.64 c | 818823 | 1755 168808 562435 | 77244 75164 128 | 0.000 % |
1069.00/1069.58 c | 820368 | 1755 168808 562435 | 76342 76709 128 | 0.000 % |
1071.40/1071.92 c | 822063 | 1755 168808 562435 | 76342 70599 121 | 0.000 % |
1073.80/1074.34 c | 823926 | 1755 168808 562435 | 76342 72462 124 | 0.000 % |
1076.80/1077.35 c | 825976 | 1755 168808 562435 | 76342 74512 126 | 0.000 % |
1080.40/1080.91 c | 828230 | 1755 168808 562435 | 76342 76766 128 | 0.000 % |
1083.70/1084.22 c | 830709 | 1755 168808 562435 | 2147483647 71569 125 | 0.000 % |
1087.10/1087.61 c | 833436 | 1755 168808 562435 | 2147483647 74296 126 | 0.000 % |
1090.60/1091.17 c | 836434 | 1755 168808 562435 | 2147483647 77294 126 | 0.000 % |
1095.10/1095.63 c | 839730 | 1755 168808 562435 | 2147483647 80590 127 | 0.000 % |
1100.59/1101.18 c | 843356 | 1755 168808 562435 | 2147483647 84216 128 | 0.000 % |
1106.79/1107.39 c | 847343 | 1755 168808 562435 | 2147483647 88203 129 | 0.000 % |
1113.58/1114.16 c | 851729 | 1755 168808 562435 | 2147483647 92589 130 | 0.000 % |
1121.58/1122.10 c | 856554 | 1755 168808 562435 | 2147483647 97414 131 | 0.000 % |
1129.88/1130.40 c | 861859 | 1755 168808 562435 | 100860 91535 132 | 0.000 % |
1137.98/1138.60 c | 867696 | 1755 168808 562435 | 100860 97372 133 | 0.000 % |
1147.17/1147.77 c | 874114 | 1755 168808 562435 | 99680 92710 133 | 0.000 % |
1156.77/1157.30 c | 881173 | 1755 168808 562435 | 98596 99769 133 | 0.000 % |
1167.96/1168.54 c | 888938 | 1755 168808 562435 | 98596 94991 130 | 0.000 % |
1168.06/1168.68 c | 889040 | 1755 168808 562435 | 98596 95093 130 | 0.000 % |
1168.36/1168.97 c | 889150 | 1755 168808 562435 | 98596 95203 130 | 0.000 % |
1168.67/1169.22 c | 889272 | 1755 168808 562435 | 98596 95325 130 | 0.000 % |
1168.86/1169.42 c | 889406 | 1755 168808 562435 | 98596 95459 130 | 0.000 % |
1169.06/1169.63 c | 889554 | 1755 168808 562435 | 98596 95607 130 | 0.000 % |
1169.26/1169.85 c | 889718 | 1755 168808 562435 | 98596 95771 131 | 0.000 % |
1169.56/1170.16 c | 889894 | 1755 168808 562435 | 98596 95947 131 | 0.000 % |
1169.86/1170.45 c | 890088 | 1755 168808 562435 | 96053 96141 131 | 0.000 % |
1170.36/1170.93 c | 890301 | 1755 168808 562435 | 96053 83162 129 | 0.000 % |
1170.66/1171.23 c | 890535 | 1755 168808 562435 | 96053 83396 129 | 0.000 % |
1171.06/1171.63 c | 890791 | 1755 168808 562435 | 96053 83652 129 | 0.000 % |
1171.56/1172.12 c | 891073 | 1755 168808 562435 | 96053 83934 129 | 0.000 % |
1171.96/1172.52 c | 891384 | 1755 168808 562435 | 96053 84245 129 | 0.000 % |
1172.36/1172.99 c | 891724 | 1755 168808 562435 | 96053 84585 130 | 0.000 % |
1172.96/1173.55 c | 892097 | 1755 168808 562435 | 96053 84958 130 | 0.000 % |
1173.46/1174.04 c | 892506 | 1755 168808 562435 | 96053 85367 130 | 0.000 % |
1174.16/1174.76 c | 892962 | 1755 168808 562435 | 96053 85823 130 | 0.000 % |
1174.96/1175.59 c | 893455 | 1755 168808 562435 | 96053 86316 131 | 0.000 % |
1175.66/1176.24 c | 893999 | 1755 168808 562435 | 96053 86860 131 | 0.000 % |
1176.36/1176.91 c | 894597 | 1755 168808 562435 | 96053 87458 131 | 0.000 % |
1177.36/1177.95 c | 895256 | 1755 168808 562435 | 96053 88117 132 | 0.000 % |
1178.76/1179.35 c | 895976 | 1755 168808 562435 | 96053 88837 132 | 0.000 % |
1179.86/1180.40 c | 896770 | 1755 168808 562435 | 96053 89631 132 | 0.000 % |
1181.16/1181.77 c | 897641 | 1755 168808 562435 | 96053 90502 132 | 0.000 % |
1182.36/1182.93 c | 898600 | 1755 168808 562435 | 96053 91461 132 | 0.000 % |
1183.96/1184.59 c | 899654 | 1755 168808 562435 | 96053 92515 131 | 0.000 % |
1185.46/1186.06 c | 900813 | 1755 168808 562435 | 92863 93674 131 | 0.000 % |
1187.05/1187.67 c | 902087 | 1755 168808 562435 | 92863 84820 125 | 0.000 % |
1189.15/1189.75 c | 903488 | 1755 168808 562435 | 92863 86221 126 | 0.000 % |
1191.15/1191.72 c | 905028 | 1755 168808 562435 | 92863 87761 126 | 0.000 % |
1194.05/1194.67 c | 906724 | 1755 168808 562435 | 92863 89457 128 | 0.000 % |
1196.75/1197.39 c | 908587 | 1755 168808 562435 | 92863 91320 129 | 0.000 % |
1199.85/1200.46 c | 910637 | 1755 168808 562435 | 2147483647 93370 130 | 0.000 % |
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1834089-1242827695/watcher-1834089-1242827695 -o /tmp/evaluation-result-1834089-1242827695/solver-1834089-1242827695 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1834089-1242827695.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.94 1.00 0.99 2/65 3995
/proc/meminfo: memFree=1873784/2055920 swapFree=4105488/4192956
[pid=3995] ppid=3993 vsize=5356 CPUtime=0
/proc/3995/stat : 3995 (SatELiteGTI) S 3993 3995 3577 0 -1 4194304 276 0 0 0 0 0 0 0 19 0 1 0 310799330 5484544 235 1992294400 4194304 4889804 548682068832 18446744073709551615 269807747154 0 0 4100 65536 18446744071563648864 0 0 17 0 0 0
/proc/3995/statm: 1339 235 195 169 0 50 0
[pid=3996] ppid=3995 vsize=5356 CPUtime=0
/proc/3996/stat : 3996 (SatELiteGTI) S 3995 3995 3577 0 -1 4194368 51 25 0 0 0 0 0 0 19 0 1 0 310799330 5484544 238 1992294400 4194304 4889804 548682068832 18446744073709551615 269807575876 0 65536 4096 65538 18446744071563356171 0 0 17 0 0 0
/proc/3996/statm: 1339 238 198 169 0 50 0
[pid=3998] ppid=3996 vsize=5356 CPUtime=0
/proc/3998/stat : 3998 (SatELiteGTI) R 3996 3995 3577 0 -1 4194368 19 0 0 0 0 0 0 0 22 0 1 0 310799330 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269807578407 0 0 4096 0 0 0 0 17 1 0 0
/proc/3998/statm: 1339 239 199 169 0 50 0
[startup+0.078523 s]
/proc/loadavg: 0.94 1.00 0.99 2/65 3995
/proc/meminfo: memFree=1873784/2055920 swapFree=4105488/4192956
[pid=3995] ppid=3993 vsize=5356 CPUtime=0
/proc/3995/stat : 3995 (SatELiteGTI) S 3993 3995 3577 0 -1 4194304 310 249 0 0 0 0 0 0 19 0 1 0 310799330 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 269807575876 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/3995/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.10252 s]
/proc/loadavg: 0.94 1.00 0.99 2/65 3995
/proc/meminfo: memFree=1873784/2055920 swapFree=4105488/4192956
[pid=3995] ppid=3993 vsize=5356 CPUtime=0
/proc/3995/stat : 3995 (SatELiteGTI) S 3993 3995 3577 0 -1 4194304 310 249 0 0 0 0 0 0 19 0 1 0 310799330 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 269807575876 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/3995/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.301541 s]
/proc/loadavg: 0.94 1.00 0.99 2/65 3995
/proc/meminfo: memFree=1873784/2055920 swapFree=4105488/4192956
[pid=3995] ppid=3993 vsize=5356 CPUtime=0
/proc/3995/stat : 3995 (SatELiteGTI) S 3993 3995 3577 0 -1 4194304 310 249 0 0 0 0 0 0 19 0 1 0 310799330 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 269807575876 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/3995/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.701582 s]
/proc/loadavg: 0.94 1.00 0.99 2/65 3995
/proc/meminfo: memFree=1873784/2055920 swapFree=4105488/4192956
[pid=3995] ppid=3993 vsize=5356 CPUtime=0
/proc/3995/stat : 3995 (SatELiteGTI) S 3993 3995 3577 0 -1 4194304 310 249 0 0 0 0 0 0 19 0 1 0 310799330 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 269807575876 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/3995/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+1.50267 s]
/proc/loadavg: 0.94 1.00 0.99 2/67 4000
/proc/meminfo: memFree=1858344/2055920 swapFree=4105488/4192956
[pid=3995] ppid=3993 vsize=5356 CPUtime=1.02
/proc/3995/stat : 3995 (SatELiteGTI) S 3993 3995 3577 0 -1 4194304 336 3770 0 0 0 0 99 3 16 0 1 0 310799330 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269807575876 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/3995/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 1.02
Current children cumulated vsize (KiB) 5356
[startup+3.10183 s]
/proc/loadavg: 0.94 1.00 0.99 2/67 4001
/proc/meminfo: memFree=1858856/2055920 swapFree=4105488/4192956
[pid=3995] ppid=3993 vsize=5356 CPUtime=1.02
/proc/3995/stat : 3995 (SatELiteGTI) S 3993 3995 3577 0 -1 4194304 336 3770 0 0 0 0 99 3 16 0 1 0 310799330 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269807575876 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/3995/statm: 1339 239 197 169 0 50 0
[pid=4001] ppid=3995 vsize=14080 CPUtime=2.05
/proc/4001/stat : 4001 (minisat_static) R 3995 3995 3577 0 -1 4194304 3390 0 0 0 203 2 0 0 25 0 1 0 310799433 14417920 3376 1992294400 134512640 135215339 4294956240 18446744073709551615 134529171 0 0 4096 3 0 0 0 17 0 0 0
/proc/4001/statm: 3520 3376 77 171 0 3347 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 19436
[startup+6.30117 s]
/proc/loadavg: 0.95 1.00 0.99 2/67 4001
/proc/meminfo: memFree=1852648/2055920 swapFree=4105488/4192956
[pid=3995] ppid=3993 vsize=5356 CPUtime=1.02
/proc/3995/stat : 3995 (SatELiteGTI) S 3993 3995 3577 0 -1 4194304 336 3770 0 0 0 0 99 3 16 0 1 0 310799330 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269807575876 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/3995/statm: 1339 239 197 169 0 50 0
[pid=4001] ppid=3995 vsize=19312 CPUtime=5.24
/proc/4001/stat : 4001 (minisat_static) R 3995 3995 3577 0 -1 4194304 4689 0 0 0 521 3 0 0 25 0 1 0 310799433 19775488 4675 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/4001/statm: 4828 4675 77 171 0 4655 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 24668
[startup+12.7019 s]
/proc/loadavg: 0.95 1.00 0.99 2/67 4001
/proc/meminfo: memFree=1844136/2055920 swapFree=4105488/4192956
[pid=3995] ppid=3993 vsize=5356 CPUtime=1.02
/proc/3995/stat : 3995 (SatELiteGTI) S 3993 3995 3577 0 -1 4194304 336 3770 0 0 0 0 99 3 16 0 1 0 310799330 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269807575876 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/3995/statm: 1339 239 197 169 0 50 0
[pid=4001] ppid=3995 vsize=27660 CPUtime=11.64
/proc/4001/stat : 4001 (minisat_static) R 3995 3995 3577 0 -1 4194304 6771 0 0 0 1159 5 0 0 25 0 1 0 310799433 28323840 6757 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/4001/statm: 6915 6757 77 171 0 6742 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 33016
[startup+25.5012 s]
/proc/loadavg: 0.96 1.00 0.99 2/67 4001
/proc/meminfo: memFree=1831144/2055920 swapFree=4105488/4192956
[pid=3995] ppid=3993 vsize=5356 CPUtime=1.02
/proc/3995/stat : 3995 (SatELiteGTI) S 3993 3995 3577 0 -1 4194304 336 3770 0 0 0 0 99 3 16 0 1 0 310799330 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269807575876 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/3995/statm: 1339 239 197 169 0 50 0
[pid=4001] ppid=3995 vsize=40136 CPUtime=24.43
/proc/4001/stat : 4001 (minisat_static) R 3995 3995 3577 0 -1 4194304 9851 0 0 0 2435 8 0 0 25 0 1 0 310799433 41099264 9837 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/4001/statm: 10034 9837 77 171 0 9861 0
Current children cumulated CPU time (s) 25.45
Current children cumulated vsize (KiB) 45492
[startup+51.1019 s]
/proc/loadavg: 0.97 1.00 0.99 2/67 4001
/proc/meminfo: memFree=1813352/2055920 swapFree=4105488/4192956
[pid=3995] ppid=3993 vsize=5356 CPUtime=1.02
/proc/3995/stat : 3995 (SatELiteGTI) S 3993 3995 3577 0 -1 4194304 336 3770 0 0 0 0 99 3 16 0 1 0 310799330 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269807575876 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/3995/statm: 1339 239 197 169 0 50 0
[pid=4001] ppid=3995 vsize=58016 CPUtime=50.02
/proc/4001/stat : 4001 (minisat_static) R 3995 3995 3577 0 -1 4194304 14327 0 0 0 4990 12 0 0 25 0 1 0 310799433 59408384 14313 1992294400 134512640 135215339 4294956240 18446744073709551615 134528728 0 0 4096 3 0 0 0 17 0 0 0
/proc/4001/statm: 14504 14313 77 171 0 14331 0
Current children cumulated CPU time (s) 51.04
Current children cumulated vsize (KiB) 63372
[startup+102.305 s]
/proc/loadavg: 0.99 1.00 0.99 2/67 4001
/proc/meminfo: memFree=1786856/2055920 swapFree=4105488/4192956
[pid=3995] ppid=3993 vsize=5356 CPUtime=1.02
/proc/3995/stat : 3995 (SatELiteGTI) S 3993 3995 3577 0 -1 4194304 336 3770 0 0 0 0 99 3 16 0 1 0 310799330 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269807575876 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/3995/statm: 1339 239 197 169 0 50 0
[pid=4001] ppid=3995 vsize=84064 CPUtime=101.2
/proc/4001/stat : 4001 (minisat_static) R 3995 3995 3577 0 -1 4194304 20823 0 0 0 10099 21 0 0 25 0 1 0 310799433 86081536 20809 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/4001/statm: 21016 20809 77 171 0 20843 0
Current children cumulated CPU time (s) 102.22
Current children cumulated vsize (KiB) 89420
[startup+162.302 s]
/proc/loadavg: 0.99 1.00 0.99 2/67 4001
/proc/meminfo: memFree=1784360/2055920 swapFree=4105488/4192956
[pid=3995] ppid=3993 vsize=5356 CPUtime=1.02
/proc/3995/stat : 3995 (SatELiteGTI) S 3993 3995 3577 0 -1 4194304 336 3770 0 0 0 0 99 3 16 0 1 0 310799330 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269807575876 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/3995/statm: 1339 239 197 169 0 50 0
[pid=4001] ppid=3995 vsize=86308 CPUtime=161.16
/proc/4001/stat : 4001 (minisat_static) R 3995 3995 3577 0 -1 4194304 21380 0 0 0 16095 21 0 0 25 0 1 0 310799433 88379392 21366 1992294400 134512640 135215339 4294956240 18446744073709551615 134528814 0 0 4096 3 0 0 0 17 0 0 0
/proc/4001/statm: 21577 21366 77 171 0 21404 0
Current children cumulated CPU time (s) 162.18
Current children cumulated vsize (KiB) 91664
[startup+222.301 s]
/proc/loadavg: 0.99 1.00 0.99 2/67 4001
/proc/meminfo: memFree=1784232/2055920 swapFree=4105488/4192956
[pid=3995] ppid=3993 vsize=5356 CPUtime=1.02
/proc/3995/stat : 3995 (SatELiteGTI) S 3993 3995 3577 0 -1 4194304 336 3770 0 0 0 0 99 3 16 0 1 0 310799330 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269807575876 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/3995/statm: 1339 239 197 169 0 50 0
[pid=4001] ppid=3995 vsize=86308 CPUtime=221.14
/proc/4001/stat : 4001 (minisat_static) R 3995 3995 3577 0 -1 4194304 21380 0 0 0 22093 21 0 0 25 0 1 0 310799433 88379392 21366 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/4001/statm: 21577 21366 77 171 0 21404 0
Current children cumulated CPU time (s) 222.16
Current children cumulated vsize (KiB) 91664
[startup+282.302 s]
/proc/loadavg: 0.99 1.00 0.99 2/67 4001
/proc/meminfo: memFree=1784104/2055920 swapFree=4105488/4192956
[pid=3995] ppid=3993 vsize=5356 CPUtime=1.02
/proc/3995/stat : 3995 (SatELiteGTI) S 3993 3995 3577 0 -1 4194304 336 3770 0 0 0 0 99 3 16 0 1 0 310799330 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269807575876 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/3995/statm: 1339 239 197 169 0 50 0
[pid=4001] ppid=3995 vsize=86308 CPUtime=281.12
/proc/4001/stat : 4001 (minisat_static) R 3995 3995 3577 0 -1 4194304 21380 0 0 0 28091 21 0 0 25 0 1 0 310799433 88379392 21366 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/4001/statm: 21577 21366 77 171 0 21404 0
Current children cumulated CPU time (s) 282.14
Current children cumulated vsize (KiB) 91664
[startup+342.302 s]
/proc/loadavg: 0.99 1.00 0.99 2/67 4001
/proc/meminfo: memFree=1783976/2055920 swapFree=4105488/4192956
[pid=3995] ppid=3993 vsize=5356 CPUtime=1.02
/proc/3995/stat : 3995 (SatELiteGTI) S 3993 3995 3577 0 -1 4194304 336 3770 0 0 0 0 99 3 16 0 1 0 310799330 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269807575876 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/3995/statm: 1339 239 197 169 0 50 0
[pid=4001] ppid=3995 vsize=86308 CPUtime=341.1
/proc/4001/stat : 4001 (minisat_static) R 3995 3995 3577 0 -1 4194304 21380 0 0 0 34088 22 0 0 25 0 1 0 310799433 88379392 21366 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/4001/statm: 21577 21366 77 171 0 21404 0
Current children cumulated CPU time (s) 342.12
Current children cumulated vsize (KiB) 91664
[startup+402.301 s]
/proc/loadavg: 1.04 1.01 1.00 2/67 4007
/proc/meminfo: memFree=1783720/2055920 swapFree=4105488/4192956
[pid=3995] ppid=3993 vsize=5356 CPUtime=1.02
/proc/3995/stat : 3995 (SatELiteGTI) S 3993 3995 3577 0 -1 4194304 336 3770 0 0 0 0 99 3 16 0 1 0 310799330 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269807575876 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/3995/statm: 1339 239 197 169 0 50 0
[pid=4001] ppid=3995 vsize=86308 CPUtime=401.06
/proc/4001/stat : 4001 (minisat_static) R 3995 3995 3577 0 -1 4194304 21380 0 0 0 40084 22 0 0 25 0 1 0 310799433 88379392 21366 1992294400 134512640 135215339 4294956240 18446744073709551615 134528734 0 0 4096 3 0 0 0 17 0 0 0
/proc/4001/statm: 21577 21366 77 171 0 21404 0
Current children cumulated CPU time (s) 402.08
################
# More data... #
################
/proc/4001/statm: 21577 21366 77 171 0 21404 0
Current children cumulated CPU time (s) 522.03
Current children cumulated vsize (KiB) 91664
[startup+582.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 4007
/proc/meminfo: memFree=1783528/2055920 swapFree=4105488/4192956
[pid=3995] ppid=3993 vsize=5356 CPUtime=1.02
/proc/3995/stat : 3995 (SatELiteGTI) S 3993 3995 3577 0 -1 4194304 336 3770 0 0 0 0 99 3 16 0 1 0 310799330 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269807575876 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/3995/statm: 1339 239 197 169 0 50 0
[pid=4001] ppid=3995 vsize=86308 CPUtime=580.98
/proc/4001/stat : 4001 (minisat_static) R 3995 3995 3577 0 -1 4194304 21380 0 0 0 58076 22 0 0 25 0 1 0 310799433 88379392 21366 1992294400 134512640 135215339 4294956240 18446744073709551615 134528809 0 0 4096 3 0 0 0 17 0 0 0
/proc/4001/statm: 21577 21366 77 171 0 21404 0
Current children cumulated CPU time (s) 582
Current children cumulated vsize (KiB) 91664
[startup+642.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 4007
/proc/meminfo: memFree=1783400/2055920 swapFree=4105488/4192956
[pid=3995] ppid=3993 vsize=5356 CPUtime=1.02
/proc/3995/stat : 3995 (SatELiteGTI) S 3993 3995 3577 0 -1 4194304 336 3770 0 0 0 0 99 3 16 0 1 0 310799330 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269807575876 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/3995/statm: 1339 239 197 169 0 50 0
[pid=4001] ppid=3995 vsize=86308 CPUtime=640.96
/proc/4001/stat : 4001 (minisat_static) R 3995 3995 3577 0 -1 4194304 21380 0 0 0 64074 22 0 0 25 0 1 0 310799433 88379392 21366 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/4001/statm: 21577 21366 77 171 0 21404 0
Current children cumulated CPU time (s) 641.98
Current children cumulated vsize (KiB) 91664
[startup+702.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 4007
/proc/meminfo: memFree=1783272/2055920 swapFree=4105488/4192956
[pid=3995] ppid=3993 vsize=5356 CPUtime=1.02
/proc/3995/stat : 3995 (SatELiteGTI) S 3993 3995 3577 0 -1 4194304 336 3770 0 0 0 0 99 3 16 0 1 0 310799330 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269807575876 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/3995/statm: 1339 239 197 169 0 50 0
[pid=4001] ppid=3995 vsize=86308 CPUtime=700.93
/proc/4001/stat : 4001 (minisat_static) R 3995 3995 3577 0 -1 4194304 21380 0 0 0 70071 22 0 0 25 0 1 0 310799433 88379392 21366 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/4001/statm: 21577 21366 77 171 0 21404 0
Current children cumulated CPU time (s) 701.95
Current children cumulated vsize (KiB) 91664
[startup+762.306 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 4007
/proc/meminfo: memFree=1783208/2055920 swapFree=4105488/4192956
[pid=3995] ppid=3993 vsize=5356 CPUtime=1.02
/proc/3995/stat : 3995 (SatELiteGTI) S 3993 3995 3577 0 -1 4194304 336 3770 0 0 0 0 99 3 16 0 1 0 310799330 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269807575876 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/3995/statm: 1339 239 197 169 0 50 0
[pid=4001] ppid=3995 vsize=86308 CPUtime=760.91
/proc/4001/stat : 4001 (minisat_static) R 3995 3995 3577 0 -1 4194304 21380 0 0 0 76069 22 0 0 25 0 1 0 310799433 88379392 21366 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/4001/statm: 21577 21366 77 171 0 21404 0
Current children cumulated CPU time (s) 761.93
Current children cumulated vsize (KiB) 91664
[startup+822.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 4007
/proc/meminfo: memFree=1783144/2055920 swapFree=4105488/4192956
[pid=3995] ppid=3993 vsize=5356 CPUtime=1.02
/proc/3995/stat : 3995 (SatELiteGTI) S 3993 3995 3577 0 -1 4194304 336 3770 0 0 0 0 99 3 16 0 1 0 310799330 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269807575876 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/3995/statm: 1339 239 197 169 0 50 0
[pid=4001] ppid=3995 vsize=86308 CPUtime=820.89
/proc/4001/stat : 4001 (minisat_static) R 3995 3995 3577 0 -1 4194304 21380 0 0 0 82067 22 0 0 25 0 1 0 310799433 88379392 21366 1992294400 134512640 135215339 4294956240 18446744073709551615 134528784 0 0 4096 3 0 0 0 17 0 0 0
/proc/4001/statm: 21577 21366 77 171 0 21404 0
Current children cumulated CPU time (s) 821.91
Current children cumulated vsize (KiB) 91664
[startup+882.303 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 4007
/proc/meminfo: memFree=1783016/2055920 swapFree=4105488/4192956
[pid=3995] ppid=3993 vsize=5356 CPUtime=1.02
/proc/3995/stat : 3995 (SatELiteGTI) S 3993 3995 3577 0 -1 4194304 336 3770 0 0 0 0 99 3 16 0 1 0 310799330 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269807575876 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/3995/statm: 1339 239 197 169 0 50 0
[pid=4001] ppid=3995 vsize=86308 CPUtime=880.86
/proc/4001/stat : 4001 (minisat_static) R 3995 3995 3577 0 -1 4194304 21380 0 0 0 88063 23 0 0 25 0 1 0 310799433 88379392 21366 1992294400 134512640 135215339 4294956240 18446744073709551615 134528809 0 0 4096 3 0 0 0 17 0 0 0
/proc/4001/statm: 21577 21366 77 171 0 21404 0
Current children cumulated CPU time (s) 881.88
Current children cumulated vsize (KiB) 91664
[startup+942.303 s]
/proc/loadavg: 1.06 1.02 1.00 2/67 4007
/proc/meminfo: memFree=1783016/2055920 swapFree=4105488/4192956
[pid=3995] ppid=3993 vsize=5356 CPUtime=1.02
/proc/3995/stat : 3995 (SatELiteGTI) S 3993 3995 3577 0 -1 4194304 336 3770 0 0 0 0 99 3 16 0 1 0 310799330 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269807575876 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/3995/statm: 1339 239 197 169 0 50 0
[pid=4001] ppid=3995 vsize=86308 CPUtime=940.84
/proc/4001/stat : 4001 (minisat_static) R 3995 3995 3577 0 -1 4194304 21380 0 0 0 94061 23 0 0 25 0 1 0 310799433 88379392 21366 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/4001/statm: 21577 21366 77 171 0 21404 0
Current children cumulated CPU time (s) 941.86
Current children cumulated vsize (KiB) 91664
[startup+1002.3 s]
/proc/loadavg: 1.02 1.01 1.00 2/67 4007
/proc/meminfo: memFree=1782952/2055920 swapFree=4105488/4192956
[pid=3995] ppid=3993 vsize=5356 CPUtime=1.02
/proc/3995/stat : 3995 (SatELiteGTI) S 3993 3995 3577 0 -1 4194304 336 3770 0 0 0 0 99 3 16 0 1 0 310799330 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269807575876 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/3995/statm: 1339 239 197 169 0 50 0
[pid=4001] ppid=3995 vsize=86308 CPUtime=1000.81
/proc/4001/stat : 4001 (minisat_static) R 3995 3995 3577 0 -1 4194304 21380 0 0 0 100058 23 0 0 25 0 1 0 310799433 88379392 21366 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/4001/statm: 21577 21366 77 171 0 21404 0
Current children cumulated CPU time (s) 1001.83
Current children cumulated vsize (KiB) 91664
[startup+1062.3 s]
/proc/loadavg: 1.01 1.00 1.00 2/67 4007
/proc/meminfo: memFree=1782888/2055920 swapFree=4105488/4192956
[pid=3995] ppid=3993 vsize=5356 CPUtime=1.02
/proc/3995/stat : 3995 (SatELiteGTI) S 3993 3995 3577 0 -1 4194304 336 3770 0 0 0 0 99 3 16 0 1 0 310799330 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269807575876 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/3995/statm: 1339 239 197 169 0 50 0
[pid=4001] ppid=3995 vsize=86308 CPUtime=1060.78
/proc/4001/stat : 4001 (minisat_static) R 3995 3995 3577 0 -1 4194304 21380 0 0 0 106055 23 0 0 25 0 1 0 310799433 88379392 21366 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/4001/statm: 21577 21366 77 171 0 21404 0
Current children cumulated CPU time (s) 1061.8
Current children cumulated vsize (KiB) 91664
[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 4007
/proc/meminfo: memFree=1782760/2055920 swapFree=4105488/4192956
[pid=3995] ppid=3993 vsize=5356 CPUtime=1.02
/proc/3995/stat : 3995 (SatELiteGTI) S 3993 3995 3577 0 -1 4194304 336 3770 0 0 0 0 99 3 16 0 1 0 310799330 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269807575876 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/3995/statm: 1339 239 197 169 0 50 0
[pid=4001] ppid=3995 vsize=86308 CPUtime=1120.76
/proc/4001/stat : 4001 (minisat_static) R 3995 3995 3577 0 -1 4194304 21380 0 0 0 112053 23 0 0 25 0 1 0 310799433 88379392 21366 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/4001/statm: 21577 21366 77 171 0 21404 0
Current children cumulated CPU time (s) 1121.78
Current children cumulated vsize (KiB) 91664
[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 4007
/proc/meminfo: memFree=1782696/2055920 swapFree=4105488/4192956
[pid=3995] ppid=3993 vsize=5356 CPUtime=1.02
/proc/3995/stat : 3995 (SatELiteGTI) S 3993 3995 3577 0 -1 4194304 336 3770 0 0 0 0 99 3 16 0 1 0 310799330 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269807575876 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/3995/statm: 1339 239 197 169 0 50 0
[pid=4001] ppid=3995 vsize=86308 CPUtime=1180.74
/proc/4001/stat : 4001 (minisat_static) R 3995 3995 3577 0 -1 4194304 21380 0 0 0 118051 23 0 0 25 0 1 0 310799433 88379392 21366 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/4001/statm: 21577 21366 77 171 0 21404 0
Current children cumulated CPU time (s) 1181.76
Current children cumulated vsize (KiB) 91664
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1200.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 4007
/proc/meminfo: memFree=1782696/2055920 swapFree=4105488/4192956
[pid=3995] ppid=3993 vsize=5356 CPUtime=1.02
/proc/3995/stat : 3995 (SatELiteGTI) S 3993 3995 3577 0 -1 4194304 336 3770 0 0 0 0 99 3 16 0 1 0 310799330 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269807575876 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/3995/statm: 1339 239 197 169 0 50 0
[pid=4001] ppid=3995 vsize=86308 CPUtime=1199.03
/proc/4001/stat : 4001 (minisat_static) R 3995 3995 3577 0 -1 4194304 21380 0 0 0 119880 23 0 0 25 0 1 0 310799433 88379392 21366 1992294400 134512640 135215339 4294956240 18446744073709551615 134529083 0 0 4096 3 0 0 0 17 0 0 0
/proc/4001/statm: 21577 21366 77 171 0 21404 0
Current children cumulated CPU time (s) 1200.05
Current children cumulated vsize (KiB) 91664
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 3995 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=994848
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=31995
# CPU time returned by wait4() is 1.02684
# while last known CPU time is 1200.05
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1200.61
CPU time (s): 1200.05
CPU user time (s): 1199.79
CPU system time (s): 0.26
CPU usage (%): 99.9532
Max. virtual memory (cumulated for all children) (KiB): 91664
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.994848
system time used= 0.031995
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 4106
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 14
involuntary context switches= 31
runsolver used 1.09383 second user time and 3.34649 second system time
The end
Begin job on node81 at 2009-05-20 15:54:55
IDJOB=1834089
IDBENCH=71295
IDSOLVER=671
FILE ID=node81/1834089-1242827695
PBS_JOBID= 9322519
Free space on /tmp= 126516 MiB
SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT09/CRAFTED/rbsat/random/unforced/rbsat-v1820c171155g3.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1834089-1242827695/watcher-1834089-1242827695 -o /tmp/evaluation-result-1834089-1242827695/solver-1834089-1242827695 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1834089-1242827695.cnf
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 90cca356988434eb537dfe19d4b4da93
RANDOM SEED=2102019334
node81.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.234
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.234
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5996.54
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1874264 kB
Buffers: 22988 kB
Cached: 42284 kB
SwapCached: 80860 kB
Active: 49084 kB
Inactive: 98628 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1874264 kB
SwapTotal: 4192956 kB
SwapFree: 4105488 kB
Dirty: 3948 kB
Writeback: 0 kB
Mapped: 13620 kB
Slab: 19720 kB
Committed_AS: 957868 kB
PageTables: 1452 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264960 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 126508 MiB
End job on node81 at 2009-05-20 16:14:58