0.00/0.01 c Parsing...
0.00/0.02 c ==============================================================================
0.00/0.02 c | | ORIGINAL | LEARNT | |
0.00/0.02 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress |
0.00/0.02 c ==============================================================================
0.00/0.02 c | 0 | 18000 90000 | 5399 0 0 nan | 0.000 % |
0.00/0.02 c ==============================================================================
0.00/0.02 c Result : #vars: 900 #clauses: 18000 #literals: 90000
0.00/0.02 c CPU time: 0.015997 s
0.00/0.02 c ==============================================================================
0.00/0.05 c This is MiniSat 2.0 beta
0.00/0.05 c WARNING: for repeatability, setting FPU to use double precision
0.00/0.05 c ============================[ Problem Statistics ]=============================
0.00/0.05 c | |
0.00/0.05 c | Number of variables: 900 |
0.00/0.05 c | Number of clauses: 18000 |
0.00/0.06 c | Parsing time: 0.01 s |
0.00/0.07 c ============================[ Search Statistics ]==============================
0.00/0.07 c | Conflicts | ORIGINAL | LEARNT | Progress |
0.00/0.07 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
0.00/0.07 c ===============================================================================
0.00/0.07 c | 0 | 900 18000 90000 | 6000 0 nan | 0.000 % |
0.00/0.08 c | 103 | 900 18000 90000 | 6000 103 94 | 0.000 % |
0.00/0.09 c | 204 | 900 18000 90000 | 6000 204 104 | 0.000 % |
0.00/0.10 c | 305 | 900 18000 90000 | 6000 305 107 | 0.000 % |
0.04/0.11 c | 416 | 900 18000 90000 | 6000 416 108 | 0.000 % |
0.04/0.12 c | 517 | 900 18000 90000 | 6000 517 108 | 0.000 % |
0.04/0.13 c | 628 | 900 18000 90000 | 6000 628 109 | 0.000 % |
0.04/0.14 c | 749 | 900 18000 90000 | 6000 749 112 | 0.000 % |
0.04/0.16 c | 849 | 900 18000 90000 | 6000 849 114 | 0.000 % |
0.04/0.17 c | 959 | 900 18000 90000 | 6000 959 115 | 0.000 % |
0.04/0.18 c | 1080 | 900 18000 90000 | 6000 1080 114 | 0.000 % |
0.04/0.19 c | 1213 | 900 18000 90000 | 6000 1213 114 | 0.000 % |
0.04/0.20 c | 1313 | 900 18000 90000 | 6000 1313 114 | 0.000 % |
0.04/0.21 c | 1424 | 900 18000 90000 | 6000 1424 115 | 0.000 % |
0.04/0.23 c | 1545 | 900 18000 90000 | 6000 1545 115 | 0.000 % |
0.04/0.24 c | 1681 | 900 18000 90000 | 6000 1681 114 | 0.000 % |
0.04/0.26 c | 1827 | 900 18000 90000 | 6000 1827 114 | 0.000 % |
0.04/0.27 c | 1927 | 900 18000 90000 | 6000 1927 114 | 0.000 % |
0.04/0.28 c | 2037 | 900 18000 90000 | 6000 2037 115 | 0.000 % |
0.04/0.30 c | 2159 | 900 18000 90000 | 6000 2159 115 | 0.000 % |
0.04/0.31 c | 2293 | 900 18000 90000 | 6000 2293 115 | 0.000 % |
0.04/0.33 c | 2439 | 900 18000 90000 | 6000 2439 115 | 0.000 % |
0.04/0.35 c | 2599 | 900 18000 90000 | 6000 2599 115 | 0.000 % |
0.04/0.36 c | 2701 | 900 18000 90000 | 6000 2701 115 | 0.000 % |
0.04/0.37 c | 2811 | 900 18000 90000 | 6000 2811 115 | 0.000 % |
0.04/0.38 c | 2932 | 900 18000 90000 | 6000 2932 115 | 0.000 % |
0.04/0.40 c | 3065 | 900 18000 90000 | 6000 3065 114 | 0.000 % |
0.04/0.41 c | 3213 | 900 18000 90000 | 6000 3213 113 | 0.000 % |
0.04/0.43 c | 3373 | 900 18000 90000 | 6000 3373 114 | 0.000 % |
0.04/0.45 c | 3550 | 900 18000 90000 | 6000 3550 114 | 0.000 % |
0.04/0.47 c | 3650 | 900 18000 90000 | 6000 3650 113 | 0.000 % |
0.04/0.48 c | 3761 | 900 18000 90000 | 6000 3761 113 | 0.000 % |
0.04/0.49 c | 3885 | 900 18000 90000 | 6000 3885 113 | 0.000 % |
0.04/0.51 c | 4018 | 900 18000 90000 | 6000 4018 112 | 0.000 % |
0.04/0.52 c | 4165 | 900 18000 90000 | 6000 4165 112 | 0.000 % |
0.04/0.54 c | 4325 | 900 18000 90000 | 6000 4325 112 | 0.000 % |
0.04/0.57 c | 4501 | 900 18000 90000 | 6000 4501 113 | 0.000 % |
0.04/0.59 c | 4695 | 900 18000 90000 | 6000 4695 113 | 0.000 % |
0.04/0.60 c | 4795 | 900 18000 90000 | 6000 4795 113 | 0.000 % |
0.04/0.61 c | 4907 | 900 18000 90000 | 6000 4907 113 | 0.000 % |
0.04/0.63 c | 5029 | 900 18000 90000 | 6000 5029 113 | 0.000 % |
0.04/0.65 c | 5162 | 900 18000 90000 | 6000 5162 113 | 0.000 % |
0.04/0.66 c | 5309 | 900 18000 90000 | 6000 5309 113 | 0.000 % |
0.04/0.68 c | 5469 | 900 18000 90000 | 6000 5469 113 | 0.000 % |
0.04/0.71 c | 5645 | 900 18000 90000 | 6000 5645 113 | 0.000 % |
0.04/0.73 c | 5838 | 900 18000 90000 | 6000 5838 113 | 0.000 % |
0.04/0.76 c | 6050 | 900 18000 90000 | 6000 6050 113 | 0.000 % |
0.04/0.77 c | 6151 | 900 18000 90000 | 6000 5546 112 | 0.000 % |
0.04/0.79 c | 6261 | 900 18000 90000 | 6000 5656 111 | 0.000 % |
0.04/0.81 c | 6382 | 900 18000 90000 | 6000 5777 112 | 0.000 % |
0.04/0.82 c | 6515 | 900 18000 90000 | 6000 5910 112 | 0.000 % |
0.04/0.84 c | 6662 | 900 18000 90000 | 6000 6057 112 | 0.000 % |
0.04/0.86 c | 6822 | 900 18000 90000 | 6000 5612 111 | 0.000 % |
0.04/0.88 c | 6998 | 900 18000 90000 | 6000 5788 111 | 0.000 % |
0.04/0.91 c | 7191 | 900 18000 90000 | 6000 5981 111 | 0.000 % |
0.04/0.94 c | 7404 | 900 18000 90000 | 6000 6194 111 | 0.000 % |
0.04/0.97 c | 7637 | 900 18000 90000 | 6000 5808 111 | 0.000 % |
0.04/0.98 c | 7739 | 900 18000 90000 | 6000 5910 111 | 0.000 % |
0.04/0.99 c | 7849 | 900 18000 90000 | 6000 6020 111 | 0.000 % |
0.98/1.01 c | 7970 | 900 18000 90000 | 6000 5539 111 | 0.000 % |
0.98/1.03 c | 8103 | 900 18000 90000 | 6000 5672 111 | 0.000 % |
0.98/1.05 c | 8249 | 900 18000 90000 | 6000 5818 111 | 0.000 % |
0.98/1.07 c | 8409 | 900 18000 90000 | 6000 5978 112 | 0.000 % |
0.98/1.09 c | 8585 | 900 18000 90000 | 6000 6154 112 | 0.000 % |
1.08/1.12 c | 8780 | 900 18000 90000 | 6000 5734 112 | 0.000 % |
1.08/1.15 c | 8994 | 900 18000 90000 | 6000 5948 113 | 0.000 % |
1.08/1.18 c | 9227 | 900 18000 90000 | 6000 6181 113 | 0.000 % |
1.18/1.21 c | 9484 | 900 18000 90000 | 6000 5820 113 | 0.000 % |
1.18/1.22 c | 9584 | 900 18000 90000 | 6000 5920 113 | 0.000 % |
1.18/1.24 c | 9695 | 900 18000 90000 | 6000 6031 113 | 0.000 % |
1.18/1.26 c | 9816 | 900 18000 90000 | 6000 5549 114 | 0.000 % |
1.18/1.27 c | 9951 | 900 18000 90000 | 6000 5684 114 | 0.000 % |
1.18/1.29 c | 10097 | 900 18000 90000 | 2147483647 5830 113 | 0.000 % |
1.28/1.31 c | 10257 | 900 18000 90000 | 2147483647 5990 113 | 0.000 % |
1.28/1.34 c | 10433 | 900 18000 90000 | 2147483647 6166 113 | 0.000 % |
1.28/1.36 c | 10628 | 900 18000 90000 | 2147483647 6361 114 | 0.000 % |
1.28/1.39 c | 10840 | 900 18000 90000 | 2147483647 6573 114 | 0.000 % |
1.38/1.42 c | 11075 | 900 18000 90000 | 2147483647 6808 114 | 0.000 % |
1.38/1.45 c | 11331 | 900 18000 90000 | 2147483647 7064 115 | 0.000 % |
1.38/1.49 c | 11612 | 900 18000 90000 | 2147483647 7345 114 | 0.000 % |
1.48/1.50 c | 11712 | 900 18000 90000 | 2147483647 7445 114 | 0.000 % |
1.48/1.52 c | 11822 | 900 18000 90000 | 2147483647 7555 114 | 0.000 % |
1.48/1.53 c | 11944 | 900 18000 90000 | 2147483647 7677 114 | 0.000 % |
1.48/1.55 c | 12077 | 900 18000 90000 | 2147483647 7810 114 | 0.000 % |
1.48/1.57 c | 12223 | 900 18000 90000 | 2147483647 7956 114 | 0.000 % |
1.48/1.60 c | 12384 | 900 18000 90000 | 2147483647 8117 114 | 0.000 % |
1.58/1.62 c | 12560 | 900 18000 90000 | 2147483647 8293 114 | 0.000 % |
1.58/1.65 c | 12754 | 900 18000 90000 | 2147483647 8487 114 | 0.000 % |
1.58/1.68 c | 12966 | 900 18000 90000 | 2147483647 8699 114 | 0.000 % |
1.67/1.71 c | 13199 | 900 18000 90000 | 2147483647 8932 114 | 0.000 % |
1.67/1.75 c | 13455 | 900 18000 90000 | 2147483647 9188 114 | 0.000 % |
1.67/1.79 c | 13736 | 900 18000 90000 | 2147483647 9469 114 | 0.000 % |
1.77/1.84 c | 14045 | 900 18000 90000 | 2147483647 9778 114 | 0.000 % |
1.77/1.85 c | 14145 | 900 18000 90000 | 2147483647 9878 115 | 0.000 % |
1.77/1.87 c | 14258 | 900 18000 90000 | 2147483647 9991 114 | 0.000 % |
1.77/1.89 c | 14379 | 900 18000 90000 | 2147483647 10112 114 | 0.000 % |
1.87/1.91 c | 14512 | 900 18000 90000 | 2147483647 10245 114 | 0.000 % |
1.87/1.94 c | 14658 | 900 18000 90000 | 2147483647 10391 114 | 0.000 % |
1.87/1.96 c | 14819 | 900 18000 90000 | 2147483647 10552 114 | 0.000 % |
1.87/1.99 c | 14995 | 900 18000 90000 | 2147483647 10728 114 | 0.000 % |
1.97/2.02 c | 15189 | 900 18000 90000 | 2147483647 10922 115 | 0.000 % |
1.97/2.06 c | 15401 | 900 18000 90000 | 2147483647 11134 115 | 0.000 % |
1.97/2.09 c | 15635 | 900 18000 90000 | 2147483647 11368 115 | 0.000 % |
2.08/2.14 c | 15891 | 900 18000 90000 | 2147483647 11624 114 | 0.000 % |
2.08/2.18 c | 16172 | 900 18000 90000 | 2147483647 11905 115 | 0.000 % |
2.19/2.24 c | 16481 | 900 18000 90000 | 2147483647 12214 115 | 0.000 % |
2.19/2.30 c | 16821 | 900 18000 90000 | 2147483647 12554 115 | 0.000 % |
2.28/2.31 c | 16921 | 900 18000 90000 | 2147483647 12654 115 | 0.000 % |
2.28/2.33 c | 17031 | 900 18000 90000 | 2147483647 12764 115 | 0.000 % |
2.28/2.36 c | 17152 | 900 18000 90000 | 2147483647 12885 115 | 0.000 % |
2.28/2.38 c | 17286 | 900 18000 90000 | 2147483647 13019 115 | 0.000 % |
2.38/2.41 c | 17433 | 900 18000 90000 | 2147483647 13166 115 | 0.000 % |
2.38/2.44 c | 17593 | 900 18000 90000 | 2147483647 13326 115 | 0.000 % |
2.38/2.47 c | 17769 | 900 18000 90000 | 2147483647 13502 115 | 0.000 % |
2.48/2.51 c | 17962 | 900 18000 90000 | 2147483647 13695 115 | 0.000 % |
2.48/2.55 c | 18174 | 900 18000 90000 | 2147483647 13907 115 | 0.000 % |
2.48/2.59 c | 18407 | 900 18000 90000 | 2147483647 14140 115 | 0.000 % |
2.58/2.64 c | 18665 | 900 18000 90000 | 2147483647 14398 115 | 0.000 % |
2.58/2.69 c | 18946 | 900 18000 90000 | 2147483647 14679 115 | 0.000 % |
2.68/2.75 c | 19255 | 900 18000 90000 | 2147483647 14988 115 | 0.000 % |
2.78/2.82 c | 19594 | 900 18000 90000 | 2147483647 15327 115 | 0.000 % |
2.78/2.89 c | 19969 | 900 18000 90000 | 2147483647 15702 115 | 0.000 % |
2.88/2.91 c | 20071 | 900 18000 90000 | 2147483647 15804 115 | 0.000 % |
2.88/2.93 c | 20181 | 900 18000 90000 | 2147483647 15914 115 | 0.000 % |
2.88/2.96 c | 20302 | 900 18000 90000 | 2147483647 16035 115 | 0.000 % |
2.88/2.99 c | 20436 | 900 18000 90000 | 2147483647 16169 114 | 0.000 % |
2.98/3.02 c | 20582 | 900 18000 90000 | 2147483647 16315 114 | 0.000 % |
2.98/3.06 c | 20742 | 900 18000 90000 | 2147483647 16475 115 | 0.000 % |
2.98/3.09 c | 20920 | 900 18000 90000 | 2147483647 16653 115 | 0.000 % |
3.07/3.13 c | 21113 | 900 18000 90000 | 2147483647 16846 115 | 0.000 % |
3.07/3.17 c | 21325 | 900 18000 90000 | 2147483647 17058 114 | 0.000 % |
3.18/3.22 c | 21561 | 900 18000 90000 | 2147483647 17294 115 | 0.000 % |
3.18/3.27 c | 21818 | 900 18000 90000 | 2147483647 17551 114 | 0.000 % |
3.28/3.33 c | 22100 | 900 18000 90000 | 2147483647 17833 114 | 0.000 % |
3.28/3.39 c | 22410 | 900 18000 90000 | 2147483647 18143 115 | 0.000 % |
3.37/3.46 c | 22749 | 900 18000 90000 | 2147483647 18482 115 | 0.000 % |
3.47/3.54 c | 23122 | 900 18000 90000 | 2147483647 18855 115 | 0.000 % |
3.57/3.62 c | 23532 | 900 18000 90000 | 2147483647 19265 115 | 0.000 % |
3.57/3.65 c | 23633 | 900 18000 90000 | 2147483647 19366 114 | 0.000 % |
3.57/3.67 c | 23745 | 900 18000 90000 | 2147483647 19478 115 | 0.000 % |
3.67/3.70 c | 23869 | 900 18000 90000 | 2147483647 19602 115 | 0.000 % |
3.67/3.74 c | 24002 | 900 18000 90000 | 2147483647 19735 115 | 0.000 % |
3.67/3.78 c | 24150 | 900 18000 90000 | 2147483647 19883 114 | 0.000 % |
3.77/3.82 c | 24310 | 900 18000 90000 | 2147483647 20043 115 | 0.000 % |
3.77/3.86 c | 24487 | 900 18000 90000 | 2147483647 20220 114 | 0.000 % |
3.87/3.90 c | 24680 | 900 18000 90000 | 2147483647 20413 115 | 0.000 % |
3.87/3.95 c | 24893 | 900 18000 90000 | 2147483647 20626 115 | 0.000 % |
3.97/4.00 c | 25126 | 900 18000 90000 | 2147483647 20859 115 | 0.000 % |
3.97/4.06 c | 25382 | 900 18000 90000 | 2147483647 21115 115 | 0.000 % |
4.08/4.13 c | 25664 | 900 18000 90000 | 2147483647 21397 115 | 0.000 % |
4.18/4.20 c | 25973 | 900 18000 90000 | 2147483647 21706 115 | 0.000 % |
4.18/4.28 c | 26312 | 900 18000 90000 | 2147483647 22045 115 | 0.000 % |
4.28/4.36 c | 26684 | 900 18000 90000 | 2147483647 22417 115 | 0.000 % |
4.38/4.45 c | 27093 | 900 18000 90000 | 2147483647 22826 115 | 0.000 % |
4.48/4.57 c | 27543 | 900 18000 90000 | 2147483647 23276 115 | 0.000 % |
4.58/4.60 c | 27643 | 900 18000 90000 | 2147483647 23376 115 | 0.000 % |
4.58/4.63 c | 27754 | 900 18000 90000 | 2147483647 23487 115 | 0.000 % |
4.58/4.66 c | 27875 | 900 18000 90000 | 2147483647 23608 115 | 0.000 % |
4.58/4.69 c | 28008 | 900 18000 90000 | 2147483647 23741 115 | 0.000 % |
4.68/4.74 c | 28158 | 900 18000 90000 | 2147483647 23891 115 | 0.000 % |
4.68/4.79 c | 28318 | 900 18000 90000 | 2147483647 24051 115 | 0.000 % |
4.78/4.84 c | 28496 | 900 18000 90000 | 2147483647 24229 115 | 0.000 % |
4.78/4.89 c | 28691 | 900 18000 90000 | 2147483647 24424 115 | 0.000 % |
4.87/4.94 c | 28903 | 900 18000 90000 | 2147483647 24636 115 | 0.000 % |
4.97/5.01 c | 29137 | 900 18000 90000 | 2147483647 24870 115 | 0.000 % |
4.97/5.07 c | 29393 | 900 18000 90000 | 2147483647 25126 115 | 0.000 % |
5.07/5.16 c | 29675 | 900 18000 90000 | 2147483647 25408 115 | 0.000 % |
5.17/5.23 c | 29985 | 900 18000 90000 | 2147483647 25718 115 | 0.000 % |
5.27/5.33 c | 30324 | 900 18000 90000 | 2147483647 26057 115 | 0.000 % |
5.38/5.42 c | 30696 | 900 18000 90000 | 2147483647 26429 115 | 0.000 % |
5.48/5.53 c | 31105 | 900 18000 90000 | 2147483647 26838 116 | 0.000 % |
5.57/5.67 c | 31554 | 900 18000 90000 | 2147483647 27287 116 | 0.000 % |
5.77/5.82 c | 32048 | 900 18000 90000 | 2147483647 27781 116 | 0.000 % |
5.77/5.85 c | 32148 | 900 18000 90000 | 2147483647 27881 116 | 0.000 % |
5.77/5.88 c | 32260 | 900 18000 90000 | 2147483647 27993 116 | 0.000 % |
5.88/5.92 c | 32383 | 900 18000 90000 | 2147483647 28116 116 | 0.000 % |
5.88/5.96 c | 32516 | 900 18000 90000 | 2147483647 28249 116 | 0.000 % |
5.98/6.01 c | 32664 | 900 18000 90000 | 2147483647 28397 116 | 0.000 % |
5.98/6.06 c | 32824 | 900 18000 90000 | 2147483647 28557 116 | 0.000 % |
6.08/6.11 c | 33004 | 900 18000 90000 | 2147483647 28737 116 | 0.000 % |
6.08/6.18 c | 33197 | 900 18000 90000 | 2147483647 28930 116 | 0.000 % |
6.17/6.25 c | 33409 | 900 18000 90000 | 2147483647 29142 116 | 0.000 % |
6.27/6.32 c | 33644 | 900 18000 90000 | 2147483647 29377 116 | 0.000 % |
6.37/6.40 c | 33900 | 900 18000 90000 | 2147483647 29633 116 | 0.000 % |
6.37/6.48 c | 34181 | 900 18000 90000 | 2147483647 29914 116 | 0.000 % |
6.48/6.57 c | 34490 | 900 18000 90000 | 2147483647 30223 116 | 0.000 % |
6.58/6.67 c | 34829 | 900 18000 90000 | 2147483647 30562 116 | 0.000 % |
6.67/6.78 c | 35201 | 900 18000 90000 | 2147483647 30934 116 | 0.000 % |
6.87/6.90 c | 35610 | 900 18000 90000 | 2147483647 31343 116 | 0.000 % |
6.97/7.03 c | 36059 | 900 18000 90000 | 2147483647 31792 116 | 0.000 % |
7.17/7.20 c | 36553 | 900 18000 90000 | 2147483647 32286 116 | 0.000 % |
7.27/7.37 c | 37096 | 900 18000 90000 | 2147483647 32829 116 | 0.000 % |
7.37/7.41 c | 37197 | 900 18000 90000 | 2147483647 32930 116 | 0.000 % |
7.37/7.45 c | 37308 | 900 18000 90000 | 2147483647 33041 116 | 0.000 % |
7.37/7.48 c | 37429 | 900 18000 90000 | 2147483647 33162 116 | 0.000 % |
7.47/7.53 c | 37562 | 900 18000 90000 | 2147483647 33295 116 | 0.000 % |
7.47/7.58 c | 37709 | 900 18000 90000 | 2147483647 33442 116 | 0.000 % |
7.57/7.63 c | 37870 | 900 18000 90000 | 2147483647 33603 116 | 0.000 % |
7.57/7.69 c | 38046 | 900 18000 90000 | 2147483647 33779 116 | 0.000 % |
7.67/7.76 c | 38239 | 900 18000 90000 | 2147483647 33972 116 | 0.000 % |
7.77/7.84 c | 38454 | 900 18000 90000 | 2147483647 34187 116 | 0.000 % |
7.87/7.91 c | 38687 | 900 18000 90000 | 2147483647 34420 116 | 0.000 % |
7.97/8.00 c | 38945 | 900 18000 90000 | 2147483647 34678 116 | 0.000 % |
7.97/8.08 c | 39227 | 900 18000 90000 | 2147483647 34960 116 | 0.000 % |
8.07/8.19 c | 39536 | 900 18000 90000 | 2147483647 35269 116 | 0.000 % |
8.27/8.31 c | 39876 | 900 18000 90000 | 2147483647 35609 116 | 0.000 % |
8.37/8.45 c | 40248 | 900 18000 90000 | 2147483647 35981 116 | 0.000 % |
8.57/8.60 c | 40658 | 900 18000 90000 | 2147483647 36391 116 | 0.000 % |
8.67/8.76 c | 41108 | 900 18000 90000 | 2147483647 36841 116 | 0.000 % |
8.87/8.94 c | 41601 | 900 18000 90000 | 2147483647 37334 116 | 0.000 % |
9.07/9.12 c | 42144 | 900 18000 90000 | 2147483647 37877 116 | 0.000 % |
9.27/9.34 c | 42740 | 900 18000 90000 | 2147483647 38473 116 | 0.000 % |
9.27/9.38 c | 42840 | 900 18000 90000 | 2147483647 38573 116 | 0.000 % |
9.37/9.43 c | 42951 | 900 18000 90000 | 2147483647 38684 116 | 0.000 % |
9.37/9.48 c | 43072 | 900 18000 90000 | 2147483647 38805 116 | 0.000 % |
9.47/9.54 c | 43207 | 900 18000 90000 | 2147483647 38940 116 | 0.000 % |
9.57/9.60 c | 43354 | 900 18000 90000 | 2147483647 39087 116 | 0.000 % |
9.57/9.66 c | 43515 | 900 18000 90000 | 2147483647 39248 116 | 0.000 % |
9.67/9.73 c | 43692 | 900 18000 90000 | 2147483647 39425 116 | 0.000 % |
9.77/9.80 c | 43885 | 900 18000 90000 | 2147483647 39618 116 | 0.000 % |
9.77/9.88 c | 44100 | 900 18000 90000 | 2147483647 39833 116 | 0.000 % |
9.87/9.97 c | 44336 | 900 18000 90000 | 2147483647 40069 116 | 0.000 % |
9.97/10.06 c | 44593 | 900 18000 90000 | 2147483647 40326 116 | 0.000 % |
10.07/10.18 c | 44876 | 900 18000 90000 | 2147483647 40609 116 | 0.000 % |
10.17/10.29 c | 45187 | 900 18000 90000 | 2147483647 40920 116 | 0.000 % |
10.37/10.42 c | 45526 | 900 18000 90000 | 2147483647 41259 116 | 0.000 % |
10.47/10.58 c | 45898 | 900 18000 90000 | 2147483647 41631 116 | 0.000 % |
10.67/10.73 c | 46307 | 900 18000 90000 | 2147483647 42040 116 | 0.000 % |
10.77/10.90 c | 46756 | 900 18000 90000 | 2147483647 42489 116 | 0.000 % |
10.97/11.09 c | 47250 | 900 18000 90000 | 2147483647 42983 116 | 0.000 % |
11.27/11.31 c | 47792 | 900 18000 90000 | 2147483647 43525 116 | 0.000 % |
11.48/11.55 c | 48388 | 900 18000 90000 | 2147483647 44121 116 | 0.000 % |
11.78/11.82 c | 49044 | 900 18000 90000 | 2147483647 44777 116 | 0.000 % |
11.78/11.88 c | 49146 | 900 18000 90000 | 2147483647 44879 116 | 0.000 % |
11.88/11.92 c | 49256 | 900 18000 90000 | 2147483647 44989 116 | 0.000 % |
11.88/11.98 c | 49377 | 900 18000 90000 | 2147483647 45110 116 | 0.000 % |
11.98/12.04 c | 49512 | 900 18000 90000 | 2147483647 45245 116 | 0.000 % |
12.08/12.12 c | 49659 | 900 18000 90000 | 2147483647 45392 116 | 0.000 % |
12.18/12.20 c | 49819 | 900 18000 90000 | 2147483647 45552 116 | 0.000 % |
12.18/12.28 c | 49995 | 900 18000 90000 | 2147483647 45728 116 | 0.000 % |
12.28/12.36 c | 50189 | 900 18000 90000 | 2147483647 45922 116 | 0.000 % |
12.38/12.45 c | 50401 | 900 18000 90000 | 2147483647 46134 116 | 0.000 % |
12.48/12.55 c | 50635 | 900 18000 90000 | 2147483647 46368 116 | 0.000 % |
12.58/12.66 c | 50892 | 900 18000 90000 | 2147483647 46625 116 | 0.000 % |
12.68/12.77 c | 51174 | 900 18000 90000 | 2147483647 46907 116 | 0.000 % |
12.78/12.89 c | 51483 | 900 18000 90000 | 2147483647 47216 116 | 0.000 % |
12.98/13.02 c | 51822 | 900 18000 90000 | 2147483647 47555 116 | 0.000 % |
13.08/13.17 c | 52195 | 900 18000 90000 | 2147483647 47928 116 | 0.000 % |
13.27/13.35 c | 52604 | 900 18000 90000 | 2147483647 48337 116 | 0.000 % |
13.47/13.54 c | 53053 | 900 18000 90000 | 2147483647 48786 116 | 0.000 % |
13.67/13.77 c | 53546 | 900 18000 90000 | 2147483647 49279 116 | 0.000 % |
13.97/14.00 c | 54089 | 900 18000 90000 | 2147483647 49822 116 | 0.000 % |
14.18/14.29 c | 54685 | 900 18000 90000 | 2147483647 50418 116 | 0.000 % |
14.47/14.58 c | 55340 | 900 18000 90000 | 2147483647 51073 116 | 0.000 % |
14.77/14.88 c | 56061 | 900 18000 90000 | 2147483647 51794 116 | 0.000 % |
14.88/14.94 c | 56161 | 900 18000 90000 | 2147483647 51894 116 | 0.000 % |
14.88/14.99 c | 56272 | 900 18000 90000 | 2147483647 52005 116 | 0.000 % |
14.98/15.06 c | 56396 | 900 18000 90000 | 2147483647 52129 116 | 0.000 % |
15.08/15.12 c | 56530 | 900 18000 90000 | 2147483647 52263 116 | 0.000 % |
15.17/15.20 c | 56676 | 900 18000 90000 | 2147483647 52409 116 | 0.000 % |
15.17/15.27 c | 56836 | 900 18000 90000 | 2147483647 52569 116 | 0.000 % |
15.28/15.36 c | 57013 | 900 18000 90000 | 2147483647 52746 116 | 0.000 % |
15.38/15.47 c | 57206 | 900 18000 90000 | 2147483647 52939 116 | 0.000 % |
15.47/15.56 c | 57421 | 900 18000 90000 | 2147483647 53154 116 | 0.000 % |
15.57/15.67 c | 57655 | 900 18000 90000 | 2147483647 53388 116 | 0.000 % |
15.67/15.79 c | 57913 | 900 18000 90000 | 2147483647 53646 116 | 0.000 % |
15.87/15.92 c | 58194 | 900 18000 90000 | 2147483647 53927 116 | 0.000 % |
15.97/16.06 c | 58503 | 900 18000 90000 | 2147483647 54236 116 | 0.000 % |
16.17/16.25 c | 58843 | 900 18000 90000 | 2147483647 54576 116 | 0.000 % |
16.37/16.43 c | 59215 | 900 18000 90000 | 2147483647 54948 116 | 0.000 % |
16.57/16.63 c | 59624 | 900 18000 90000 | 2147483647 55357 116 | 0.000 % |
16.77/16.85 c | 60074 | 900 18000 90000 | 2147483647 55807 116 | 0.000 % |
16.97/17.09 c | 60568 | 900 18000 90000 | 2147483647 56301 116 | 0.000 % |
17.27/17.37 c | 61110 | 900 18000 90000 | 2147483647 56843 116 | 0.000 % |
17.57/17.66 c | 61708 | 900 18000 90000 | 2147483647 57441 116 | 0.000 % |
17.87/17.98 c | 62367 | 900 18000 90000 | 2147483647 58100 116 | 0.000 % |
18.27/18.34 c | 63087 | 900 18000 90000 | 2147483647 58820 116 | 0.000 % |
18.68/18.76 c | 63880 | 900 18000 90000 | 2147483647 59613 117 | 0.000 % |
18.78/18.82 c | 63982 | 900 18000 90000 | 2147483647 59715 117 | 0.000 % |
18.78/18.88 c | 64093 | 900 18000 90000 | 2147483647 59826 117 | 0.000 % |
18.88/18.97 c | 64214 | 900 18000 90000 | 2147483647 59947 117 | 0.000 % |
18.98/19.05 c | 64349 | 900 18000 90000 | 2147483647 60082 117 | 0.000 % |
19.08/19.14 c | 64496 | 900 18000 90000 | 2147483647 60229 117 | 0.000 % |
19.18/19.23 c | 64656 | 900 18000 90000 | 2147483647 60389 117 | 0.000 % |
19.28/19.33 c | 64832 | 900 18000 90000 | 2147483647 60565 117 | 0.000 % |
19.38/19.44 c | 65025 | 900 18000 90000 | 2147483647 60758 117 | 0.000 % |
19.48/19.57 c | 65237 | 900 18000 90000 | 2147483647 60970 117 | 0.000 % |
19.68/19.71 c | 65470 | 900 18000 90000 | 2147483647 61203 117 | 0.000 % |
19.78/19.85 c | 65726 | 900 18000 90000 | 2147483647 61459 117 | 0.000 % |
19.97/20.01 c | 66007 | 900 18000 90000 | 2147483647 61740 117 | 0.000 % |
20.17/20.20 c | 66316 | 900 18000 90000 | 2147483647 62049 117 | 0.000 % |
20.37/20.40 c | 66659 | 900 18000 90000 | 2147483647 62392 117 | 0.000 % |
20.57/20.60 c | 67031 | 900 18000 90000 | 2147483647 62764 117 | 0.000 % |
20.77/20.87 c | 67442 | 900 18000 90000 | 2147483647 63175 117 | 0.000 % |
21.07/21.11 c | 67893 | 900 18000 90000 | 2147483647 63626 117 | 0.000 % |
21.27/21.37 c | 68388 | 900 18000 90000 | 2147483647 64121 117 | 0.000 % |
21.57/21.67 c | 68930 | 900 18000 90000 | 2147483647 64663 117 | 0.000 % |
21.98/22.01 c | 69528 | 900 18000 90000 | 2147483647 65261 117 | 0.000 % |
22.37/22.41 c | 70185 | 900 18000 90000 | 2147483647 65918 117 | 0.000 % |
22.77/22.82 c | 70907 | 900 18000 90000 | 2147483647 66640 117 | 0.000 % |
23.17/23.27 c | 71702 | 900 18000 90000 | 2147483647 67435 117 | 0.000 % |
23.67/23.75 c | 72574 | 900 18000 90000 | 2147483647 68307 117 | 0.000 % |
23.77/23.82 c | 72674 | 900 18000 90000 | 2147483647 68407 117 | 0.000 % |
23.77/23.88 c | 72786 | 900 18000 90000 | 2147483647 68519 117 | 0.000 % |
23.87/23.97 c | 72907 | 900 18000 90000 | 2147483647 68640 117 | 0.000 % |
23.97/24.05 c | 73040 | 900 18000 90000 | 2147483647 68773 117 | 0.000 % |
24.07/24.17 c | 73188 | 900 18000 90000 | 2147483647 68921 117 | 0.000 % |
24.17/24.28 c | 73348 | 900 18000 90000 | 2147483647 69081 117 | 0.000 % |
24.37/24.40 c | 73524 | 900 18000 90000 | 2147483647 69257 117 | 0.000 % |
24.47/24.55 c | 73717 | 900 18000 90000 | 2147483647 69450 117 | 0.000 % |
24.67/24.71 c | 73929 | 900 18000 90000 | 2147483647 69662 117 | 0.000 % |
24.77/24.86 c | 74162 | 900 18000 90000 | 2147483647 69895 117 | 0.000 % |
24.97/25.02 c | 74420 | 900 18000 90000 | 2147483647 70153 117 | 0.000 % |
25.17/25.20 c | 74702 | 900 18000 90000 | 2147483647 70435 117 | 0.000 % |
25.37/25.42 c | 75012 | 900 18000 90000 | 2147483647 70745 117 | 0.000 % |
25.57/25.65 c | 75351 | 900 18000 90000 | 2147483647 71084 117 | 0.000 % |
25.77/25.89 c | 75723 | 900 18000 90000 | 2147483647 71456 117 | 0.000 % |
26.06/26.16 c | 76132 | 900 18000 90000 | 2147483647 71865 117 | 0.000 % |
26.37/26.43 c | 76581 | 900 18000 90000 | 2147483647 72314 117 | 0.000 % |
26.66/26.79 c | 77076 | 900 18000 90000 | 2147483647 72809 117 | 0.000 % |
27.06/27.15 c | 77619 | 900 18000 90000 | 2147483647 73352 117 | 0.000 % |
27.47/27.53 c | 78215 | 900 18000 90000 | 2147483647 73948 117 | 0.000 % |
27.86/27.92 c | 78870 | 900 18000 90000 | 2147483647 74603 117 | 0.000 % |
28.27/28.38 c | 79591 | 900 18000 90000 | 2147483647 75324 117 | 0.000 % |
28.87/28.90 c | 80384 | 900 18000 90000 | 2147483647 76117 117 | 0.000 % |
29.37/29.47 c | 81255 | 900 18000 90000 | 2147483647 76988 118 | 0.000 % |
29.97/30.08 c | 82214 | 900 18000 90000 | 2147483647 77947 118 | 0.000 % |
30.07/30.16 c | 82316 | 900 18000 90000 | 2147483647 78049 118 | 0.000 % |
30.17/30.24 c | 82427 | 900 18000 90000 | 2147483647 78160 118 | 0.000 % |
30.27/30.34 c | 82549 | 900 18000 90000 | 2147483647 78282 118 | 0.000 % |
30.37/30.46 c | 82682 | 900 18000 90000 | 2147483647 78415 117 | 0.000 % |
30.47/30.57 c | 82830 | 900 18000 90000 | 2147483647 78563 117 | 0.000 % |
30.57/30.70 c | 82991 | 900 18000 90000 | 2147483647 78724 117 | 0.000 % |
30.77/30.82 c | 83167 | 900 18000 90000 | 2147483647 78900 117 | 0.000 % |
30.87/30.95 c | 83360 | 900 18000 90000 | 2147483647 79093 117 | 0.000 % |
31.07/31.11 c | 83573 | 900 18000 90000 | 2147483647 79306 117 | 0.000 % |
31.27/31.31 c | 83806 | 900 18000 90000 | 2147483647 79539 117 | 0.000 % |
31.46/31.50 c | 84062 | 900 18000 90000 | 2147483647 79795 117 | 0.000 % |
31.66/31.74 c | 84343 | 900 18000 90000 | 2147483647 80076 117 | 0.000 % |
31.87/31.95 c | 84653 | 900 18000 90000 | 2147483647 80386 117 | 0.000 % |
32.06/32.18 c | 84992 | 900 18000 90000 | 2147483647 80725 117 | 0.000 % |
32.36/32.47 c | 85364 | 900 18000 90000 | 2147483647 81097 117 | 0.000 % |
32.66/32.78 c | 85775 | 900 18000 90000 | 2147483647 81508 117 | 0.000 % |
33.06/33.10 c | 86224 | 900 18000 90000 | 2147483647 81957 117 | 0.000 % |
33.36/33.43 c | 86719 | 900 18000 90000 | 2147483647 82452 117 | 0.000 % |
33.76/33.81 c | 87264 | 900 18000 90000 | 2147483647 82997 117 | 0.000 % |
34.16/34.22 c | 87860 | 900 18000 90000 | 2147483647 83593 117 | 0.000 % |
34.57/34.68 c | 88516 | 900 18000 90000 | 2147483647 84249 117 | 0.000 % |
35.17/35.24 c | 89236 | 900 18000 90000 | 2147483647 84969 118 | 0.000 % |
35.67/35.79 c | 90029 | 900 18000 90000 | 85733 85762 118 | 0.000 % |
36.37/36.43 c | 90901 | 900 18000 90000 | 85733 76170 118 | 0.000 % |
36.97/37.10 c | 91859 | 900 18000 90000 | 85733 77128 118 | 0.000 % |
37.67/37.76 c | 92914 | 900 18000 90000 | 85733 78183 118 | 0.000 % |
37.77/37.83 c | 93014 | 900 18000 90000 | 85733 78283 118 | 0.000 % |
37.87/37.94 c | 93125 | 900 18000 90000 | 85733 78394 118 | 0.000 % |
37.97/38.03 c | 93246 | 900 18000 90000 | 85733 78515 118 | 0.000 % |
38.07/38.12 c | 93382 | 900 18000 90000 | 85733 78651 118 | 0.000 % |
38.17/38.23 c | 93529 | 900 18000 90000 | 85733 78798 118 | 0.000 % |
38.27/38.39 c | 93690 | 900 18000 90000 | 85733 78959 118 | 0.000 % |
38.47/38.51 c | 93867 | 900 18000 90000 | 85733 79136 118 | 0.000 % |
38.57/38.65 c | 94061 | 900 18000 90000 | 85733 79330 118 | 0.000 % |
38.77/38.81 c | 94275 | 900 18000 90000 | 85733 79544 118 | 0.000 % |
38.87/38.98 c | 94508 | 900 18000 90000 | 85733 79777 118 | 0.000 % |
39.07/39.19 c | 94764 | 900 18000 90000 | 85733 80033 118 | 0.000 % |
39.37/39.42 c | 95046 | 900 18000 90000 | 85733 80315 118 | 0.000 % |
39.57/39.65 c | 95355 | 900 18000 90000 | 85733 80624 118 | 0.000 % |
39.77/39.89 c | 95694 | 900 18000 90000 | 85733 80963 118 | 0.000 % |
40.07/40.14 c | 96066 | 900 18000 90000 | 85733 81335 118 | 0.000 % |
40.37/40.47 c | 96475 | 900 18000 90000 | 85733 81744 118 | 0.000 % |
40.67/40.80 c | 96925 | 900 18000 90000 | 85733 82194 118 | 0.000 % |
41.07/41.17 c | 97418 | 900 18000 90000 | 85733 82687 118 | 0.000 % |
41.47/41.54 c | 97960 | 900 18000 90000 | 85733 83229 118 | 0.000 % |
41.87/41.92 c | 98557 | 900 18000 90000 | 85733 83826 118 | 0.000 % |
42.37/42.46 c | 99214 | 900 18000 90000 | 85733 84483 118 | 0.000 % |
42.87/42.99 c | 99935 | 900 18000 90000 | 85733 85204 118 | 0.000 % |
43.47/43.56 c | 100729 | 900 18000 90000 | 85270 74556 118 | 0.000 % |
43.97/44.08 c | 101600 | 900 18000 90000 | 85270 75427 118 | 0.000 % |
44.67/44.70 c | 102558 | 900 18000 90000 | 85270 76385 118 | 0.000 % |
45.36/45.47 c | 103611 | 900 18000 90000 | 85270 77438 118 | 0.000 % |
46.16/46.21 c | 104769 | 900 18000 90000 | 85270 78596 118 | 0.000 % |
46.16/46.28 c | 104869 | 900 18000 90000 | 85270 78696 118 | 0.000 % |
46.26/46.36 c | 104980 | 900 18000 90000 | 85270 78807 118 | 0.000 % |
46.36/46.45 c | 105101 | 900 18000 90000 | 85270 78928 118 | 0.000 % |
46.46/46.54 c | 105235 | 900 18000 90000 | 85270 79062 118 | 0.000 % |
46.56/46.64 c | 105381 | 900 18000 90000 | 85270 79208 118 | 0.000 % |
46.66/46.75 c | 105541 | 900 18000 90000 | 85270 79368 118 | 0.000 % |
46.86/46.92 c | 105719 | 900 18000 90000 | 85270 79546 118 | 0.000 % |
46.96/47.06 c | 105915 | 900 18000 90000 | 85270 79742 118 | 0.000 % |
47.16/47.21 c | 106129 | 900 18000 90000 | 85270 79956 118 | 0.000 % |
47.26/47.37 c | 106363 | 900 18000 90000 | 85270 80190 118 | 0.000 % |
47.45/47.55 c | 106619 | 900 18000 90000 | 85270 80446 118 | 0.000 % |
47.65/47.75 c | 106901 | 900 18000 90000 | 85270 80728 118 | 0.000 % |
47.85/47.97 c | 107210 | 900 18000 90000 | 85270 81037 118 | 0.000 % |
48.15/48.21 c | 107549 | 900 18000 90000 | 85270 81376 118 | 0.000 % |
48.45/48.53 c | 107923 | 900 18000 90000 | 85270 81750 118 | 0.000 % |
48.75/48.84 c | 108334 | 900 18000 90000 | 85270 82161 118 | 0.000 % |
49.05/49.14 c | 108783 | 900 18000 90000 | 85270 82610 118 | 0.000 % |
49.36/49.49 c | 109277 | 900 18000 90000 | 85270 83104 118 | 0.000 % |
49.75/49.87 c | 109820 | 900 18000 90000 | 85270 83647 118 | 0.000 % |
50.25/50.34 c | 110417 | 900 18000 90000 | 83828 73816 118 | 0.000 % |
50.65/50.76 c | 111072 | 900 18000 90000 | 83828 74471 118 | 0.000 % |
51.15/51.26 c | 111794 | 900 18000 90000 | 83828 75193 118 | 0.000 % |
51.66/51.78 c | 112589 | 900 18000 90000 | 83828 75988 118 | 0.000 % |
52.35/52.40 c | 113461 | 900 18000 90000 | 83828 76860 119 | 0.000 % |
52.95/53.03 c | 114420 | 900 18000 90000 | 83828 77819 119 | 0.000 % |
53.65/53.74 c | 115473 | 900 18000 90000 | 83828 78872 119 | 0.000 % |
54.45/54.55 c | 116635 | 900 18000 90000 | 83828 80034 119 | 0.000 % |
55.25/55.37 c | 117909 | 900 18000 90000 | 83828 81308 119 | 0.000 % |
55.35/55.44 c | 118009 | 900 18000 90000 | 83828 81408 119 | 0.000 % |
55.45/55.55 c | 118119 | 900 18000 90000 | 83828 81518 119 | 0.000 % |
55.55/55.64 c | 118240 | 900 18000 90000 | 83828 81639 119 | 0.000 % |
55.65/55.74 c | 118373 | 900 18000 90000 | 83828 81772 119 | 0.000 % |
55.75/55.85 c | 118520 | 900 18000 90000 | 83828 81919 119 | 0.000 % |
55.85/55.99 c | 118680 | 900 18000 90000 | 83828 82079 119 | 0.000 % |
56.05/56.12 c | 118856 | 900 18000 90000 | 83828 82255 119 | 0.000 % |
56.15/56.27 c | 119049 | 900 18000 90000 | 83828 82448 119 | 0.000 % |
56.35/56.45 c | 119262 | 900 18000 90000 | 83828 82661 119 | 0.000 % |
56.55/56.63 c | 119496 | 900 18000 90000 | 83828 82895 119 | 0.000 % |
56.75/56.82 c | 119753 | 900 18000 90000 | 83828 83152 119 | 0.000 % |
56.95/57.03 c | 120035 | 900 18000 90000 | 83399 83434 119 | 0.000 % |
57.25/57.31 c | 120344 | 900 18000 90000 | 83399 73818 120 | 0.000 % |
57.45/57.54 c | 120687 | 900 18000 90000 | 83399 74161 120 | 0.000 % |
57.65/57.78 c | 121060 | 900 18000 90000 | 83399 74534 120 | 0.000 % |
57.95/58.08 c | 121469 | 900 18000 90000 | 83399 74943 120 | 0.000 % |
58.25/58.36 c | 121918 | 900 18000 90000 | 83399 75392 119 | 0.000 % |
58.65/58.70 c | 122412 | 900 18000 90000 | 83399 75886 119 | 0.000 % |
58.95/59.04 c | 122954 | 900 18000 90000 | 83399 76428 119 | 0.000 % |
59.35/59.40 c | 123553 | 900 18000 90000 | 83399 77027 119 | 0.000 % |
59.75/59.88 c | 124208 | 900 18000 90000 | 83399 77682 119 | 0.000 % |
60.25/60.38 c | 124928 | 900 18000 90000 | 83399 78402 119 | 0.000 % |
60.85/60.94 c | 125720 | 900 18000 90000 | 83399 79194 119 | 0.000 % |
61.45/61.54 c | 126591 | 900 18000 90000 | 83399 80065 119 | 0.000 % |
62.05/62.20 c | 127550 | 900 18000 90000 | 83399 81024 119 | 0.000 % |
62.85/62.96 c | 128603 | 900 18000 90000 | 83399 82077 119 | 0.000 % |
63.65/63.73 c | 129762 | 900 18000 90000 | 83399 83236 119 | 0.000 % |
64.45/64.58 c | 131035 | 900 18000 90000 | 83474 74055 120 | 0.000 % |
65.35/65.48 c | 132435 | 900 18000 90000 | 83474 75455 120 | 0.000 % |
65.45/65.55 c | 132536 | 900 18000 90000 | 83474 75556 120 | 0.000 % |
65.55/65.65 c | 132647 | 900 18000 90000 | 83474 75667 120 | 0.000 % |
65.65/65.75 c | 132768 | 900 18000 90000 | 83474 75788 120 | 0.000 % |
65.75/65.84 c | 132901 | 900 18000 90000 | 83474 75921 120 | 0.000 % |
65.85/65.96 c | 133048 | 900 18000 90000 | 83474 76068 120 | 0.000 % |
65.95/66.09 c | 133208 | 900 18000 90000 | 83474 76228 120 | 0.000 % |
66.15/66.21 c | 133385 | 900 18000 90000 | 83474 76405 120 | 0.000 % |
66.25/66.36 c | 133579 | 900 18000 90000 | 83474 76599 120 | 0.000 % |
66.45/66.52 c | 133792 | 900 18000 90000 | 83474 76812 120 | 0.000 % |
66.55/66.68 c | 134025 | 900 18000 90000 | 83474 77045 120 | 0.000 % |
66.75/66.88 c | 134283 | 900 18000 90000 | 83474 77303 120 | 0.000 % |
66.95/67.10 c | 134565 | 900 18000 90000 | 83474 77585 120 | 0.000 % |
67.25/67.34 c | 134875 | 900 18000 90000 | 83474 77895 120 | 0.000 % |
67.45/67.58 c | 135215 | 900 18000 90000 | 83474 78235 120 | 0.000 % |
67.75/67.87 c | 135589 | 900 18000 90000 | 83474 78609 120 | 0.000 % |
68.05/68.19 c | 135999 | 900 18000 90000 | 83474 79019 120 | 0.000 % |
68.45/68.51 c | 136448 | 900 18000 90000 | 83474 79468 120 | 0.000 % |
68.75/68.87 c | 136944 | 900 18000 90000 | 83474 79964 120 | 0.000 % |
69.15/69.26 c | 137487 | 900 18000 90000 | 83474 80507 120 | 0.000 % |
69.54/69.68 c | 138083 | 900 18000 90000 | 83474 81103 120 | 0.000 % |
70.14/70.20 c | 138738 | 900 18000 90000 | 83474 81758 120 | 0.000 % |
70.65/70.76 c | 139458 | 900 18000 90000 | 83474 82478 120 | 0.000 % |
71.25/71.31 c | 140252 | 900 18000 90000 | 83020 83272 120 | 0.000 % |
71.74/71.89 c | 141123 | 900 18000 90000 | 83020 73534 120 | 0.000 % |
72.34/72.45 c | 142083 | 900 18000 90000 | 83020 74494 120 | 0.000 % |
73.04/73.16 c | 143136 | 900 18000 90000 | 83020 75547 120 | 0.000 % |
73.74/73.88 c | 144294 | 900 18000 90000 | 83020 76705 120 | 0.000 % |
74.54/74.67 c | 145572 | 900 18000 90000 | 83020 77983 120 | 0.000 % |
75.54/75.62 c | 146972 | 900 18000 90000 | 83020 79383 120 | 0.000 % |
76.54/76.63 c | 148512 | 900 18000 90000 | 83020 80923 120 | 0.000 % |
76.64/76.72 c | 148612 | 900 18000 90000 | 83020 81023 120 | 0.000 % |
76.74/76.81 c | 148722 | 900 18000 90000 | 83020 81133 120 | 0.000 % |
76.85/76.91 c | 148843 | 900 18000 90000 | 83020 81254 120 | 0.000 % |
76.95/77.01 c | 148977 | 900 18000 90000 | 83020 81388 120 | 0.000 % |
77.04/77.13 c | 149123 | 900 18000 90000 | 83020 81534 120 | 0.000 % |
77.14/77.24 c | 149284 | 900 18000 90000 | 83020 81695 120 | 0.000 % |
77.24/77.37 c | 149461 | 900 18000 90000 | 83020 81872 120 | 0.000 % |
77.44/77.53 c | 149654 | 900 18000 90000 | 83020 82065 120 | 0.000 % |
77.54/77.68 c | 149866 | 900 18000 90000 | 83020 82277 120 | 0.000 % |
77.74/77.84 c | 150104 | 900 18000 90000 | 82411 82515 120 | 0.000 % |
77.95/78.03 c | 150364 | 900 18000 90000 | 82411 73429 120 | 0.000 % |
78.14/78.20 c | 150645 | 900 18000 90000 | 82411 73710 120 | 0.000 % |
78.24/78.39 c | 150954 | 900 18000 90000 | 82411 74019 120 | 0.000 % |
78.54/78.62 c | 151294 | 900 18000 90000 | 82411 74359 120 | 0.000 % |
78.74/78.86 c | 151666 | 900 18000 90000 | 82411 74731 120 | 0.000 % |
78.94/79.10 c | 152075 | 900 18000 90000 | 82411 75140 120 | 0.000 % |
79.34/79.49 c | 152525 | 900 18000 90000 | 82411 75590 120 | 0.000 % |
79.74/79.85 c | 153018 | 900 18000 90000 | 82411 76083 120 | 0.000 % |
80.14/80.25 c | 153560 | 900 18000 90000 | 82411 76625 119 | 0.000 % |
80.64/80.70 c | 154156 | 900 18000 90000 | 82411 77221 119 | 0.000 % |
81.04/81.13 c | 154813 | 900 18000 90000 | 82411 77878 120 | 0.000 % |
81.54/81.60 c | 155533 | 900 18000 90000 | 82411 78598 119 | 0.000 % |
82.14/82.21 c | 156327 | 900 18000 90000 | 82411 79392 119 | 0.000 % |
82.74/82.87 c | 157200 | 900 18000 90000 | 82411 80265 119 | 0.000 % |
83.44/83.53 c | 158158 | 900 18000 90000 | 82411 81223 119 | 0.000 % |
84.14/84.29 c | 159212 | 900 18000 90000 | 82411 82277 120 | 0.000 % |
85.04/85.16 c | 160372 | 900 18000 90000 | 73260 65319 120 | 0.000 % |
85.74/85.89 c | 161646 | 900 18000 90000 | 73260 66593 120 | 0.000 % |
86.54/86.64 c | 163046 | 900 18000 90000 | 73260 67993 120 | 0.000 % |
87.44/87.55 c | 164586 | 900 18000 90000 | 73260 69533 120 | 0.000 % |
88.54/88.61 c | 166280 | 900 18000 90000 | 73260 71227 120 | 0.000 % |
88.54/88.67 c | 166381 | 900 18000 90000 | 73260 71328 120 | 0.000 % |
88.64/88.74 c | 166492 | 900 18000 90000 | 73260 71439 120 | 0.000 % |
88.74/88.83 c | 166613 | 900 18000 90000 | 73260 71560 120 | 0.000 % |
88.84/88.92 c | 166747 | 900 18000 90000 | 73260 71694 120 | 0.000 % |
88.94/89.02 c | 166894 | 900 18000 90000 | 73260 71841 120 | 0.000 % |
89.04/89.13 c | 167054 | 900 18000 90000 | 73260 72001 120 | 0.000 % |
89.14/89.29 c | 167230 | 900 18000 90000 | 73260 72177 120 | 0.000 % |
89.34/89.42 c | 167423 | 900 18000 90000 | 73260 72370 120 | 0.000 % |
89.44/89.58 c | 167637 | 900 18000 90000 | 73260 72584 120 | 0.000 % |
89.64/89.73 c | 167870 | 900 18000 90000 | 73260 72817 120 | 0.000 % |
89.84/89.90 c | 168126 | 900 18000 90000 | 73260 73073 120 | 0.000 % |
89.94/90.09 c | 168407 | 900 18000 90000 | 73260 73354 120 | 0.000 % |
90.23/90.31 c | 168716 | 900 18000 90000 | 73260 66328 119 | 0.000 % |
90.43/90.52 c | 169055 | 900 18000 90000 | 73260 66667 119 | 0.000 % |
90.63/90.77 c | 169427 | 900 18000 90000 | 73260 67039 119 | 0.000 % |
90.93/91.02 c | 169837 | 900 18000 90000 | 73260 67449 119 | 0.000 % |
91.14/91.29 c | 170289 | 900 18000 90000 | 2147483647 67901 119 | 0.000 % |
91.53/91.60 c | 170786 | 900 18000 90000 | 2147483647 68398 120 | 0.000 % |
91.83/91.92 c | 171329 | 900 18000 90000 | 2147483647 68941 120 | 0.000 % |
92.13/92.29 c | 171925 | 900 18000 90000 | 2147483647 69537 120 | 0.000 % |
92.53/92.68 c | 172581 | 900 18000 90000 | 2147483647 70193 120 | 0.000 % |
93.13/93.22 c | 173301 | 900 18000 90000 | 2147483647 70913 120 | 0.000 % |
93.63/93.73 c | 174097 | 900 18000 90000 | 2147483647 71709 120 | 0.000 % |
94.23/94.30 c | 174968 | 900 18000 90000 | 2147483647 72580 120 | 0.000 % |
94.73/94.89 c | 175927 | 900 18000 90000 | 2147483647 73539 120 | 0.000 % |
95.43/95.54 c | 176983 | 900 18000 90000 | 2147483647 74595 120 | 0.000 % |
96.13/96.23 c | 178142 | 900 18000 90000 | 2147483647 75754 120 | 0.000 % |
96.83/96.95 c | 179415 | 900 18000 90000 | 2147483647 77027 120 | 0.000 % |
97.73/97.83 c | 180815 | 900 18000 90000 | 2147483647 78427 120 | 0.000 % |
98.73/98.81 c | 182355 | 900 18000 90000 | 2147483647 79967 120 | 0.000 % |
99.83/99.90 c | 184051 | 900 18000 90000 | 2147483647 81663 120 | 0.000 % |
101.22/101.31 c | 185914 | 900 18000 90000 | 2147483647 83526 121 | 0.000 % |
101.22/101.39 c | 186015 | 900 18000 90000 | 2147483647 83627 121 | 0.000 % |
101.42/101.51 c | 186126 | 900 18000 90000 | 2147483647 83738 121 | 0.000 % |
101.52/101.63 c | 186248 | 900 18000 90000 | 2147483647 83860 121 | 0.000 % |
101.62/101.73 c | 186383 | 900 18000 90000 | 2147483647 83995 121 | 0.000 % |
101.72/101.85 c | 186530 | 900 18000 90000 | 2147483647 84142 121 | 0.000 % |
101.92/102.00 c | 186691 | 900 18000 90000 | 2147483647 84303 121 | 0.000 % |
102.02/102.15 c | 186867 | 900 18000 90000 | 2147483647 84479 121 | 0.000 % |
102.23/102.31 c | 187061 | 900 18000 90000 | 2147483647 84673 121 | 0.000 % |
102.42/102.51 c | 187274 | 900 18000 90000 | 2147483647 84886 121 | 0.000 % |
102.62/102.71 c | 187507 | 900 18000 90000 | 2147483647 85119 121 | 0.000 % |
102.82/102.94 c | 187764 | 900 18000 90000 | 2147483647 85376 121 | 0.000 % |
103.02/103.16 c | 188046 | 900 18000 90000 | 2147483647 85658 121 | 0.000 % |
103.24/103.40 c | 188355 | 900 18000 90000 | 2147483647 85967 120 | 0.000 % |
103.53/103.64 c | 188696 | 900 18000 90000 | 2147483647 86308 120 | 0.000 % |
103.83/103.93 c | 189068 | 900 18000 90000 | 2147483647 86680 120 | 0.000 % |
104.13/104.26 c | 189478 | 900 18000 90000 | 2147483647 87090 120 | 0.000 % |
104.53/104.62 c | 189928 | 900 18000 90000 | 2147483647 87540 120 | 0.000 % |
104.93/105.02 c | 190422 | 900 18000 90000 | 87613 76358 120 | 0.000 % |
105.23/105.36 c | 190964 | 900 18000 90000 | 87613 76900 120 | 0.000 % |
105.63/105.76 c | 191560 | 900 18000 90000 | 87613 77496 120 | 0.000 % |
106.13/106.22 c | 192215 | 900 18000 90000 | 87613 78151 120 | 0.000 % |
106.63/106.72 c | 192935 | 900 18000 90000 | 87613 78871 120 | 0.000 % |
107.13/107.27 c | 193735 | 900 18000 90000 | 87613 79671 120 | 0.000 % |
107.73/107.85 c | 194608 | 900 18000 90000 | 87613 80544 120 | 0.000 % |
108.32/108.47 c | 195567 | 900 18000 90000 | 87613 81503 120 | 0.000 % |
109.12/109.22 c | 196621 | 900 18000 90000 | 87613 82557 120 | 0.000 % |
109.93/110.04 c | 197779 | 900 18000 90000 | 87613 83715 120 | 0.000 % |
110.82/110.92 c | 199052 | 900 18000 90000 | 87613 84988 120 | 0.000 % |
111.92/112.03 c | 200453 | 900 18000 90000 | 85936 75340 120 | 0.000 % |
112.92/113.01 c | 201995 | 900 18000 90000 | 85936 76882 120 | 0.000 % |
114.02/114.11 c | 203689 | 900 18000 90000 | 85936 78576 120 | 0.000 % |
115.22/115.34 c | 205552 | 900 18000 90000 | 85936 80439 121 | 0.000 % |
116.72/116.82 c | 207601 | 900 18000 90000 | 85936 82488 121 | 0.000 % |
116.82/116.90 c | 207701 | 900 18000 90000 | 85936 82588 121 | 0.000 % |
116.82/116.98 c | 207811 | 900 18000 90000 | 85936 82698 121 | 0.000 % |
116.92/117.08 c | 207932 | 900 18000 90000 | 85936 82819 121 | 0.000 % |
117.02/117.18 c | 208065 | 900 18000 90000 | 85936 82952 121 | 0.000 % |
117.22/117.31 c | 208211 | 900 18000 90000 | 85936 83098 121 | 0.000 % |
117.32/117.44 c | 208371 | 900 18000 90000 | 85936 83258 121 | 0.000 % |
117.42/117.59 c | 208549 | 900 18000 90000 | 85936 83436 121 | 0.000 % |
117.62/117.77 c | 208742 | 900 18000 90000 | 85936 83629 121 | 0.000 % |
117.82/117.93 c | 208954 | 900 18000 90000 | 85936 83841 121 | 0.000 % |
118.02/118.12 c | 209188 | 900 18000 90000 | 85936 84075 121 | 0.000 % |
118.22/118.31 c | 209444 | 900 18000 90000 | 85936 84331 121 | 0.000 % |
118.42/118.52 c | 209726 | 900 18000 90000 | 85936 84613 121 | 0.000 % |
118.62/118.73 c | 210035 | 900 18000 90000 | 84890 84922 121 | 0.000 % |
118.92/119.03 c | 210374 | 900 18000 90000 | 84890 74342 121 | 0.000 % |
119.22/119.30 c | 210747 | 900 18000 90000 | 84890 74715 121 | 0.000 % |
119.42/119.58 c | 211156 | 900 18000 90000 | 84890 75124 121 | 0.000 % |
119.72/119.88 c | 211605 | 900 18000 90000 | 84890 75573 121 | 0.000 % |
120.02/120.19 c | 212098 | 900 18000 90000 | 84890 76066 121 | 0.000 % |
120.42/120.54 c | 212640 | 900 18000 90000 | 84890 76608 121 | 0.000 % |
120.82/120.92 c | 213237 | 900 18000 90000 | 84890 77205 121 | 0.000 % |
121.21/121.35 c | 213892 | 900 18000 90000 | 84890 77860 121 | 0.000 % |
121.62/121.79 c | 214613 | 900 18000 90000 | 84890 78581 121 | 0.000 % |
122.22/122.31 c | 215405 | 900 18000 90000 | 84890 79373 121 | 0.000 % |
122.71/122.88 c | 216276 | 900 18000 90000 | 84890 80244 121 | 0.000 % |
123.41/123.55 c | 217235 | 900 18000 90000 | 84890 81203 121 | 0.000 % |
124.12/124.26 c | 218288 | 900 18000 90000 | 84890 82256 121 | 0.000 % |
124.91/125.10 c | 219446 | 900 18000 90000 | 84890 83414 121 | 0.000 % |
125.91/126.06 c | 220720 | 900 18000 90000 | 83968 74586 121 | 0.000 % |
126.91/127.00 c | 222121 | 900 18000 90000 | 83968 75987 121 | 0.000 % |
127.81/127.92 c | 223664 | 900 18000 90000 | 83968 77530 121 | 0.000 % |
128.91/129.01 c | 225359 | 900 18000 90000 | 83968 79225 121 | 0.000 % |
130.01/130.18 c | 227222 | 900 18000 90000 | 83968 81088 121 | 0.000 % |
131.31/131.44 c | 229274 | 900 18000 90000 | 83968 83140 121 | 0.000 % |
132.81/132.93 c | 231529 | 900 18000 90000 | 83866 76462 121 | 0.000 % |
132.91/133.03 c | 231630 | 900 18000 90000 | 83866 76563 121 | 0.000 % |
133.01/133.10 c | 231740 | 900 18000 90000 | 83866 76673 121 | 0.000 % |
133.01/133.19 c | 231861 | 900 18000 90000 | 83866 76794 121 | 0.000 % |
133.11/133.28 c | 231994 | 900 18000 90000 | 83866 76927 121 | 0.000 % |
133.21/133.39 c | 232140 | 900 18000 90000 | 83866 77073 121 | 0.000 % |
133.31/133.49 c | 232300 | 900 18000 90000 | 83866 77233 121 | 0.000 % |
133.51/133.61 c | 232477 | 900 18000 90000 | 83866 77410 121 | 0.000 % |
133.61/133.74 c | 232673 | 900 18000 90000 | 83866 77606 121 | 0.000 % |
133.71/133.88 c | 232886 | 900 18000 90000 | 83866 77819 121 | 0.000 % |
133.91/134.05 c | 233121 | 900 18000 90000 | 83866 78054 121 | 0.000 % |
134.11/134.23 c | 233379 | 900 18000 90000 | 83866 78312 121 | 0.000 % |
134.31/134.43 c | 233661 | 900 18000 90000 | 83866 78594 121 | 0.000 % |
134.51/134.65 c | 233973 | 900 18000 90000 | 83866 78906 121 | 0.000 % |
134.71/134.86 c | 234312 | 900 18000 90000 | 83866 79245 121 | 0.000 % |
135.01/135.13 c | 234685 | 900 18000 90000 | 83866 79618 121 | 0.000 % |
135.31/135.42 c | 235094 | 900 18000 90000 | 83866 80027 121 | 0.000 % |
135.61/135.76 c | 235543 | 900 18000 90000 | 83866 80476 121 | 0.000 % |
136.00/136.14 c | 236036 | 900 18000 90000 | 83866 80969 121 | 0.000 % |
136.40/136.53 c | 236580 | 900 18000 90000 | 83866 81513 121 | 0.000 % |
136.90/137.01 c | 237177 | 900 18000 90000 | 83866 82110 121 | 0.000 % |
137.31/137.48 c | 237835 | 900 18000 90000 | 83866 82768 121 | 0.000 % |
137.90/138.00 c | 238556 | 900 18000 90000 | 83866 83489 121 | 0.000 % |
138.51/138.64 c | 239348 | 900 18000 90000 | 83866 74000 121 | 0.000 % |
139.10/139.21 c | 240219 | 900 18000 90000 | 74654 74871 121 | 0.000 % |
139.61/139.78 c | 241179 | 900 18000 90000 | 74654 66864 121 | 0.000 % |
140.30/140.41 c | 242233 | 900 18000 90000 | 74654 67918 121 | 0.000 % |
141.00/141.10 c | 243391 | 900 18000 90000 | 74654 69076 121 | 0.000 % |
141.71/141.84 c | 244668 | 900 18000 90000 | 74654 70353 121 | 0.000 % |
142.60/142.70 c | 246069 | 900 18000 90000 | 74654 71754 121 | 0.000 % |
143.50/143.69 c | 247611 | 900 18000 90000 | 74654 73296 121 | 0.000 % |
144.70/144.84 c | 249305 | 900 18000 90000 | 74654 67497 121 | 0.000 % |
145.80/145.92 c | 251169 | 900 18000 90000 | 2147483647 69361 121 | 0.000 % |
146.90/147.09 c | 253219 | 900 18000 90000 | 2147483647 71411 121 | 0.000 % |
148.20/148.39 c | 255473 | 900 18000 90000 | 2147483647 73665 121 | 0.000 % |
149.80/149.93 c | 257952 | 900 18000 90000 | 2147483647 76144 121 | 0.000 % |
149.90/150.00 c | 258054 | 900 18000 90000 | 2147483647 76246 121 | 0.000 % |
150.00/150.11 c | 258165 | 900 18000 90000 | 2147483647 76357 121 | 0.000 % |
150.10/150.21 c | 258286 | 900 18000 90000 | 2147483647 76478 121 | 0.000 % |
150.20/150.30 c | 258420 | 900 18000 90000 | 2147483647 76612 121 | 0.000 % |
150.30/150.40 c | 258568 | 900 18000 90000 | 2147483647 76760 121 | 0.000 % |
150.40/150.53 c | 258728 | 900 18000 90000 | 2147483647 76920 121 | 0.000 % |
150.50/150.66 c | 258906 | 900 18000 90000 | 2147483647 77098 121 | 0.000 % |
150.60/150.79 c | 259100 | 900 18000 90000 | 2147483647 77292 121 | 0.000 % |
150.80/150.96 c | 259312 | 900 18000 90000 | 2147483647 77504 121 | 0.000 % |
151.00/151.12 c | 259545 | 900 18000 90000 | 2147483647 77737 121 | 0.000 % |
151.20/151.31 c | 259801 | 900 18000 90000 | 2147483647 77993 121 | 0.000 % |
151.40/151.51 c | 260085 | 900 18000 90000 | 2147483647 78277 121 | 0.000 % |
151.60/151.75 c | 260397 | 900 18000 90000 | 2147483647 78589 121 | 0.000 % |
151.90/152.00 c | 260736 | 900 18000 90000 | 2147483647 78928 121 | 0.000 % |
152.10/152.25 c | 261109 | 900 18000 90000 | 2147483647 79301 121 | 0.000 % |
152.40/152.51 c | 261519 | 900 18000 90000 | 2147483647 79711 121 | 0.000 % |
152.70/152.84 c | 261969 | 900 18000 90000 | 2147483647 80161 121 | 0.000 % |
153.00/153.16 c | 262462 | 900 18000 90000 | 2147483647 80654 121 | 0.000 % |
153.40/153.55 c | 263006 | 900 18000 90000 | 2147483647 81198 121 | 0.000 % |
153.80/153.99 c | 263603 | 900 18000 90000 | 2147483647 81795 121 | 0.000 % |
154.30/154.47 c | 264259 | 900 18000 90000 | 2147483647 82451 121 | 0.000 % |
154.80/154.96 c | 264979 | 900 18000 90000 | 2147483647 83171 121 | 0.000 % |
155.40/155.55 c | 265772 | 900 18000 90000 | 2147483647 83964 121 | 0.000 % |
156.00/156.17 c | 266644 | 900 18000 90000 | 2147483647 84836 121 | 0.000 % |
156.70/156.85 c | 267603 | 900 18000 90000 | 2147483647 85795 121 | 0.000 % |
157.50/157.62 c | 268656 | 900 18000 90000 | 2147483647 86848 121 | 0.000 % |
158.30/158.46 c | 269816 | 900 18000 90000 | 2147483647 88008 121 | 0.000 % |
159.19/159.39 c | 271091 | 900 18000 90000 | 88193 78192 122 | 0.000 % |
160.19/160.39 c | 272491 | 900 18000 90000 | 88193 79592 122 | 0.000 % |
161.29/161.43 c | 274032 | 900 18000 90000 | 88193 81133 122 | 0.000 % |
162.49/162.66 c | 275726 | 900 18000 90000 | 88193 82827 122 | 0.000 % |
163.70/163.90 c | 277589 | 900 18000 90000 | 88193 84690 122 | 0.000 % |
165.19/165.35 c | 279641 | 900 18000 90000 | 88193 86742 122 | 0.000 % |
166.69/166.85 c | 281894 | 900 18000 90000 | 87101 77335 122 | 0.000 % |
168.29/168.49 c | 284374 | 900 18000 90000 | 87101 79815 122 | 0.000 % |
170.19/170.36 c | 287099 | 900 18000 90000 | 87101 82540 122 | 0.000 % |
170.29/170.45 c | 287200 | 900 18000 90000 | 87101 82641 122 | 0.000 % |
170.39/170.53 c | 287311 | 900 18000 90000 | 87101 82752 122 | 0.000 % |
170.49/170.63 c | 287432 | 900 18000 90000 | 87101 82873 122 | 0.000 % |
170.59/170.72 c | 287565 | 900 18000 90000 | 87101 83006 122 | 0.000 % |
170.69/170.86 c | 287711 | 900 18000 90000 | 87101 83152 122 | 0.000 % |
170.79/170.98 c | 287871 | 900 18000 90000 | 87101 83312 122 | 0.000 % |
170.99/171.12 c | 288048 | 900 18000 90000 | 87101 83489 122 | 0.000 % |
171.09/171.29 c | 288242 | 900 18000 90000 | 87101 83683 122 | 0.000 % |
171.29/171.45 c | 288454 | 900 18000 90000 | 87101 83895 122 | 0.000 % |
171.49/171.63 c | 288688 | 900 18000 90000 | 87101 84129 122 | 0.000 % |
171.69/171.82 c | 288944 | 900 18000 90000 | 87101 84385 122 | 0.000 % |
171.89/172.06 c | 289226 | 900 18000 90000 | 87101 84667 122 | 0.000 % |
172.08/172.27 c | 289535 | 900 18000 90000 | 87101 84976 122 | 0.000 % |
172.38/172.54 c | 289874 | 900 18000 90000 | 87101 85315 122 | 0.000 % |
172.69/172.82 c | 290247 | 900 18000 90000 | 85441 85688 122 | 0.000 % |
172.98/173.20 c | 290656 | 900 18000 90000 | 85441 75050 122 | 0.000 % |
173.38/173.50 c | 291106 | 900 18000 90000 | 85441 75500 122 | 0.000 % |
173.69/173.84 c | 291601 | 900 18000 90000 | 85441 75995 122 | 0.000 % |
173.98/174.16 c | 292145 | 900 18000 90000 | 85441 76539 122 | 0.000 % |
174.38/174.56 c | 292741 | 900 18000 90000 | 85441 77135 122 | 0.000 % |
174.79/174.97 c | 293397 | 900 18000 90000 | 85441 77791 122 | 0.000 % |
175.28/175.45 c | 294117 | 900 18000 90000 | 85441 78511 122 | 0.000 % |
175.79/175.95 c | 294909 | 900 18000 90000 | 85441 79303 122 | 0.000 % |
176.38/176.54 c | 295780 | 900 18000 90000 | 85441 80174 122 | 0.000 % |
176.99/177.16 c | 296738 | 900 18000 90000 | 85441 81132 122 | 0.000 % |
177.68/177.89 c | 297791 | 900 18000 90000 | 85441 82185 122 | 0.000 % |
178.48/178.65 c | 298950 | 900 18000 90000 | 85441 83344 122 | 0.000 % |
179.28/179.50 c | 300225 | 900 18000 90000 | 84395 84619 122 | 0.000 % |
180.28/180.45 c | 301626 | 900 18000 90000 | 84395 76355 122 | 0.000 % |
181.28/181.41 c | 303167 | 900 18000 90000 | 84395 77896 122 | 0.000 % |
182.27/182.49 c | 304863 | 900 18000 90000 | 84395 79592 122 | 0.000 % |
183.57/183.70 c | 306726 | 900 18000 90000 | 84395 81455 122 | 0.000 % |
184.76/184.99 c | 308777 | 900 18000 90000 | 84395 83506 122 | 0.000 % |
186.36/186.55 c | 311032 | 900 18000 90000 | 75283 68094 123 | 0.000 % |
187.87/188.07 c | 313510 | 900 18000 90000 | 75283 70572 123 | 0.000 % |
189.56/189.73 c | 316235 | 900 18000 90000 | 75283 73297 123 | 0.000 % |
191.36/191.57 c | 319232 | 900 18000 90000 | 75283 68735 123 | 0.000 % |
191.46/191.64 c | 319336 | 900 18000 90000 | 75283 68839 123 | 0.000 % |
191.56/191.71 c | 319446 | 900 18000 90000 | 75283 68949 123 | 0.000 % |
191.56/191.79 c | 319567 | 900 18000 90000 | 75283 69070 123 | 0.000 % |
191.66/191.89 c | 319700 | 900 18000 90000 | 75283 69203 123 | 0.000 % |
191.76/191.99 c | 319846 | 900 18000 90000 | 75283 69349 123 | 0.000 % |
191.96/192.11 c | 320006 | 900 18000 90000 | 2147483647 69509 123 | 0.000 % |
192.06/192.25 c | 320182 | 900 18000 90000 | 2147483647 69685 123 | 0.000 % |
192.16/192.38 c | 320375 | 900 18000 90000 | 2147483647 69878 123 | 0.000 % |
192.36/192.53 c | 320587 | 900 18000 90000 | 2147483647 70090 123 | 0.000 % |
192.56/192.70 c | 320820 | 900 18000 90000 | 2147483647 70323 123 | 0.000 % |
192.66/192.88 c | 321076 | 900 18000 90000 | 2147483647 70579 123 | 0.000 % |
192.86/193.08 c | 321357 | 900 18000 90000 | 2147483647 70860 123 | 0.000 % |
193.06/193.27 c | 321667 | 900 18000 90000 | 2147483647 71170 123 | 0.000 % |
193.26/193.49 c | 322006 | 900 18000 90000 | 2147483647 71509 123 | 0.000 % |
193.56/193.76 c | 322382 | 900 18000 90000 | 2147483647 71885 123 | 0.000 % |
193.86/194.02 c | 322793 | 900 18000 90000 | 2147483647 72296 123 | 0.000 % |
194.06/194.29 c | 323244 | 900 18000 90000 | 2147483647 72747 123 | 0.000 % |
194.36/194.59 c | 323739 | 900 18000 90000 | 2147483647 73242 123 | 0.000 % |
194.76/194.95 c | 324282 | 900 18000 90000 | 2147483647 73785 123 | 0.000 % |
195.16/195.34 c | 324879 | 900 18000 90000 | 2147483647 74382 123 | 0.000 % |
195.56/195.78 c | 325534 | 900 18000 90000 | 2147483647 75037 123 | 0.000 % |
196.06/196.28 c | 326254 | 900 18000 90000 | 2147483647 75757 123 | 0.000 % |
196.56/196.78 c | 327046 | 900 18000 90000 | 2147483647 76549 123 | 0.000 % |
197.15/197.39 c | 327917 | 900 18000 90000 | 2147483647 77420 123 | 0.000 % |
197.86/198.04 c | 328876 | 900 18000 90000 | 2147483647 78379 123 | 0.000 % |
198.55/198.74 c | 329929 | 900 18000 90000 | 2147483647 79432 123 | 0.000 % |
199.25/199.49 c | 331088 | 900 18000 90000 | 79504 72447 123 | 0.000 % |
200.15/200.34 c | 332365 | 900 18000 90000 | 79504 73724 123 | 0.000 % |
201.06/201.22 c | 333765 | 900 18000 90000 | 79504 75124 123 | 0.000 % |
202.06/202.25 c | 335305 | 900 18000 90000 | 79504 76664 124 | 0.000 % |
203.27/203.42 c | 336999 | 900 18000 90000 | 79504 78358 124 | 0.000 % |
204.46/204.69 c | 338862 | 900 18000 90000 | 79504 72241 124 | 0.000 % |
205.76/205.96 c | 340912 | 900 18000 90000 | 2147483647 74291 124 | 0.000 % |
207.26/207.45 c | 343165 | 900 18000 90000 | 2147483647 76544 124 | 0.000 % |
208.86/209.04 c | 345643 | 900 18000 90000 | 2147483647 79022 124 | 0.000 % |
210.66/210.87 c | 348371 | 900 18000 90000 | 2147483647 81750 124 | 0.000 % |
212.76/212.97 c | 351368 | 900 18000 90000 | 83379 75950 124 | 0.000 % |
214.86/215.08 c | 354664 | 900 18000 90000 | 83379 79246 124 | 0.000 % |
214.96/215.15 c | 354766 | 900 18000 90000 | 83379 79348 124 | 0.000 % |
215.06/215.22 c | 354876 | 900 18000 90000 | 83379 79458 124 | 0.000 % |
215.16/215.31 c | 354997 | 900 18000 90000 | 83379 79579 124 | 0.000 % |
215.26/215.41 c | 355130 | 900 18000 90000 | 83379 79712 124 | 0.000 % |
215.36/215.52 c | 355277 | 900 18000 90000 | 83379 79859 124 | 0.000 % |
215.46/215.64 c | 355437 | 900 18000 90000 | 83379 80019 124 | 0.000 % |
215.56/215.77 c | 355614 | 900 18000 90000 | 83379 80196 124 | 0.000 % |
215.76/215.91 c | 355810 | 900 18000 90000 | 83379 80392 124 | 0.000 % |
215.86/216.07 c | 356023 | 900 18000 90000 | 83379 80605 124 | 0.000 % |
216.06/216.27 c | 356256 | 900 18000 90000 | 83379 80838 124 | 0.000 % |
216.26/216.45 c | 356512 | 900 18000 90000 | 83379 81094 124 | 0.000 % |
216.46/216.67 c | 356794 | 900 18000 90000 | 83379 81376 124 | 0.000 % |
216.75/216.92 c | 357103 | 900 18000 90000 | 83379 81685 124 | 0.000 % |
216.95/217.15 c | 357444 | 900 18000 90000 | 83379 82026 124 | 0.000 % |
217.25/217.40 c | 357816 | 900 18000 90000 | 83379 82398 124 | 0.000 % |
217.45/217.69 c | 358226 | 900 18000 90000 | 83379 82808 124 | 0.000 % |
217.85/218.04 c | 358676 | 900 18000 90000 | 83379 83258 124 | 0.000 % |
218.25/218.44 c | 359169 | 900 18000 90000 | 83379 73849 124 | 0.000 % |
218.55/218.77 c | 359712 | 900 18000 90000 | 83379 74392 124 | 0.000 % |
218.95/219.14 c | 360309 | 900 18000 90000 | 74680 74989 124 | 0.000 % |
219.35/219.55 c | 360965 | 900 18000 90000 | 74680 67193 124 | 0.000 % |
219.76/219.96 c | 361685 | 900 18000 90000 | 74680 67913 124 | 0.000 % |
220.25/220.42 c | 362478 | 900 18000 90000 | 74680 68706 124 | 0.000 % |
220.75/220.95 c | 363349 | 900 18000 90000 | 74680 69577 124 | 0.000 % |
221.35/221.52 c | 364307 | 900 18000 90000 | 74680 70535 124 | 0.000 % |
221.95/222.16 c | 365360 | 900 18000 90000 | 74680 71588 124 | 0.000 % |
222.65/222.86 c | 366518 | 900 18000 90000 | 74680 72746 124 | 0.000 % |
223.45/223.69 c | 367791 | 900 18000 90000 | 74680 74019 124 | 0.000 % |
224.35/224.56 c | 369191 | 900 18000 90000 | 74680 67918 124 | 0.000 % |
225.25/225.45 c | 370732 | 900 18000 90000 | 2147483647 69459 124 | 0.000 % |
226.25/226.47 c | 372427 | 900 18000 90000 | 2147483647 71154 124 | 0.000 % |
227.45/227.60 c | 374290 | 900 18000 90000 | 2147483647 73017 124 | 0.000 % |
228.65/228.88 c | 376340 | 900 18000 90000 | 2147483647 75067 125 | 0.000 % |
230.04/230.28 c | 378594 | 900 18000 90000 | 2147483647 77321 125 | 0.000 % |
231.74/231.96 c | 381074 | 900 18000 90000 | 2147483647 79801 125 | 0.000 % |
233.54/233.72 c | 383799 | 900 18000 90000 | 2147483647 82526 125 | 0.000 % |
235.64/235.80 c | 386798 | 900 18000 90000 | 2147483647 85525 125 | 0.000 % |
237.93/238.12 c | 390097 | 900 18000 90000 | 88729 88824 125 | 0.000 % |
240.53/240.70 c | 393723 | 900 18000 90000 | 88729 81459 125 | 0.000 % |
240.53/240.77 c | 393823 | 900 18000 90000 | 88729 81559 125 | 0.000 % |
240.64/240.86 c | 393934 | 900 18000 90000 | 88729 81670 125 | 0.000 % |
240.74/240.96 c | 394055 | 900 18000 90000 | 88729 81791 125 | 0.000 % |
240.83/241.09 c | 394190 | 900 18000 90000 | 88729 81926 125 | 0.000 % |
241.03/241.21 c | 394337 | 900 18000 90000 | 88729 82073 125 | 0.000 % |
241.13/241.34 c | 394498 | 900 18000 90000 | 88729 82234 125 | 0.000 % |
241.23/241.49 c | 394677 | 900 18000 90000 | 88729 82413 125 | 0.000 % |
241.43/241.65 c | 394871 | 900 18000 90000 | 88729 82607 125 | 0.000 % |
241.63/241.81 c | 395083 | 900 18000 90000 | 88729 82819 125 | 0.000 % |
241.84/242.02 c | 395316 | 900 18000 90000 | 88729 83052 125 | 0.000 % |
242.03/242.23 c | 395572 | 900 18000 90000 | 88729 83308 125 | 0.000 % |
242.23/242.44 c | 395854 | 900 18000 90000 | 88729 83590 125 | 0.000 % |
242.43/242.69 c | 396163 | 900 18000 90000 | 88729 83899 125 | 0.000 % |
242.73/242.95 c | 396502 | 900 18000 90000 | 88729 84238 125 | 0.000 % |
243.03/243.25 c | 396874 | 900 18000 90000 | 88729 84610 125 | 0.000 % |
243.33/243.55 c | 397286 | 900 18000 90000 | 88729 85022 125 | 0.000 % |
243.63/243.88 c | 397736 | 900 18000 90000 | 88729 85472 125 | 0.000 % |
244.04/244.26 c | 398229 | 900 18000 90000 | 88729 85965 125 | 0.000 % |
244.43/244.64 c | 398771 | 900 18000 90000 | 88729 86507 125 | 0.000 % |
244.93/245.10 c | 399370 | 900 18000 90000 | 88729 87106 125 | 0.000 % |
245.33/245.57 c | 400026 | 900 18000 90000 | 87736 87762 125 | 0.000 % |
245.93/246.14 c | 400746 | 900 18000 90000 | 87736 75984 125 | 0.000 % |
246.53/246.71 c | 401540 | 900 18000 90000 | 87736 76778 125 | 0.000 % |
247.13/247.33 c | 402411 | 900 18000 90000 | 87736 77649 125 | 0.000 % |
247.73/247.94 c | 403370 | 900 18000 90000 | 87736 78608 125 | 0.000 % |
248.43/248.62 c | 404423 | 900 18000 90000 | 87736 79661 125 | 0.000 % |
249.13/249.34 c | 405582 | 900 18000 90000 | 87736 80820 125 | 0.000 % |
250.03/250.20 c | 406855 | 900 18000 90000 | 87736 82093 125 | 0.000 % |
250.93/251.19 c | 408255 | 900 18000 90000 | 87736 83493 125 | 0.000 % |
252.03/252.22 c | 409797 | 900 18000 90000 | 87736 85035 125 | 0.000 % |
253.13/253.34 c | 411491 | 900 18000 90000 | 85238 75593 124 | 0.000 % |
254.23/254.49 c | 413355 | 900 18000 90000 | 85238 77457 124 | 0.000 % |
255.63/255.82 c | 415404 | 900 18000 90000 | 85238 79506 124 | 0.000 % |
257.03/257.26 c | 417659 | 900 18000 90000 | 85238 81761 124 | 0.000 % |
258.73/258.95 c | 420138 | 900 18000 90000 | 84104 84240 125 | 0.000 % |
260.53/260.71 c | 422864 | 900 18000 90000 | 84104 77398 124 | 0.000 % |
262.42/262.67 c | 425865 | 900 18000 90000 | 84104 80399 124 | 0.000 % |
264.62/264.88 c | 429161 | 900 18000 90000 | 84104 83695 124 | 0.000 % |
266.82/267.08 c | 432788 | 900 18000 90000 | 74657 68904 125 | 0.000 % |
269.23/269.46 c | 436777 | 900 18000 90000 | 74657 72893 125 | 0.000 % |
269.33/269.53 c | 436877 | 900 18000 90000 | 74657 72993 125 | 0.000 % |
269.42/269.61 c | 436987 | 900 18000 90000 | 74657 73103 125 | 0.000 % |
269.52/269.70 c | 437108 | 900 18000 90000 | 74657 73224 125 | 0.000 % |
269.62/269.80 c | 437241 | 900 18000 90000 | 74657 73357 125 | 0.000 % |
269.72/269.90 c | 437387 | 900 18000 90000 | 74657 73503 125 | 0.000 % |
269.82/270.03 c | 437551 | 900 18000 90000 | 74657 73667 125 | 0.000 % |
269.92/270.17 c | 437728 | 900 18000 90000 | 74657 73844 125 | 0.000 % |
270.12/270.31 c | 437923 | 900 18000 90000 | 74657 74039 125 | 0.000 % |
270.22/270.46 c | 438135 | 900 18000 90000 | 74657 74251 125 | 0.000 % |
270.42/270.61 c | 438369 | 900 18000 90000 | 74657 74485 125 | 0.000 % |
270.52/270.78 c | 438625 | 900 18000 90000 | 74657 74741 125 | 0.000 % |
270.72/270.99 c | 438907 | 900 18000 90000 | 74657 67549 125 | 0.000 % |
270.92/271.18 c | 439216 | 900 18000 90000 | 74657 67858 125 | 0.000 % |
271.12/271.39 c | 439558 | 900 18000 90000 | 74657 68200 125 | 0.000 % |
271.42/271.66 c | 439930 | 900 18000 90000 | 74657 68572 125 | 0.000 % |
271.72/271.90 c | 440339 | 900 18000 90000 | 2147483647 68981 125 | 0.000 % |
271.92/272.19 c | 440790 | 900 18000 90000 | 2147483647 69432 125 | 0.000 % |
272.22/272.49 c | 441283 | 900 18000 90000 | 2147483647 69925 125 | 0.000 % |
272.52/272.80 c | 441830 | 900 18000 90000 | 2147483647 70472 125 | 0.000 % |
272.92/273.12 c | 442426 | 900 18000 90000 | 2147483647 71068 125 | 0.000 % |
273.32/273.51 c | 443082 | 900 18000 90000 | 2147483647 71724 125 | 0.000 % |
273.72/274.00 c | 443806 | 900 18000 90000 | 2147483647 72448 125 | 0.000 % |
274.22/274.50 c | 444598 | 900 18000 90000 | 2147483647 73240 125 | 0.000 % |
274.82/275.06 c | 445469 | 900 18000 90000 | 2147483647 74111 125 | 0.000 % |
275.42/275.69 c | 446431 | 900 18000 90000 | 2147483647 75073 125 | 0.000 % |
276.12/276.37 c | 447484 | 900 18000 90000 | 2147483647 76126 125 | 0.000 % |
276.92/277.10 c | 448642 | 900 18000 90000 | 2147483647 77284 125 | 0.000 % |
277.61/277.87 c | 449915 | 900 18000 90000 | 2147483647 78557 125 | 0.000 % |
278.51/278.76 c | 451318 | 900 18000 90000 | 2147483647 79960 125 | 0.000 % |
279.51/279.78 c | 452861 | 900 18000 90000 | 2147483647 81503 125 | 0.000 % |
280.71/280.90 c | 454559 | 900 18000 90000 | 2147483647 83201 125 | 0.000 % |
282.11/282.30 c | 456422 | 900 18000 90000 | 2147483647 85064 125 | 0.000 % |
283.52/283.76 c | 458471 | 900 18000 90000 | 2147483647 87113 125 | 0.000 % |
285.01/285.28 c | 460724 | 900 18000 90000 | 88642 78087 124 | 0.000 % |
286.61/286.88 c | 463203 | 900 18000 90000 | 88642 80566 124 | 0.000 % |
288.41/288.65 c | 465929 | 900 18000 90000 | 88642 83292 124 | 0.000 % |
290.51/290.79 c | 468928 | 900 18000 90000 | 88642 86291 124 | 0.000 % |
292.81/293.01 c | 472224 | 900 18000 90000 | 87363 78833 124 | 0.000 % |
295.31/295.50 c | 475849 | 900 18000 90000 | 87363 82458 125 | 0.000 % |
298.11/298.40 c | 479838 | 900 18000 90000 | 87363 86447 125 | 0.000 % |
301.00/301.29 c | 484223 | 900 18000 90000 | 86611 80001 126 | 0.000 % |
301.11/301.38 c | 484324 | 900 18000 90000 | 86611 80102 126 | 0.000 % |
301.21/301.46 c | 484434 | 900 18000 90000 | 86611 80212 126 | 0.000 % |
301.31/301.56 c | 484555 | 900 18000 90000 | 86611 80333 126 | 0.000 % |
301.41/301.69 c | 484689 | 900 18000 90000 | 86611 80467 126 | 0.000 % |
301.61/301.81 c | 484837 | 900 18000 90000 | 86611 80615 126 | 0.000 % |
301.71/301.95 c | 484997 | 900 18000 90000 | 86611 80775 126 | 0.000 % |
301.81/302.08 c | 485173 | 900 18000 90000 | 86611 80951 126 | 0.000 % |
302.01/302.22 c | 485366 | 900 18000 90000 | 86611 81144 126 | 0.000 % |
302.11/302.38 c | 485578 | 900 18000 90000 | 86611 81356 126 | 0.000 % |
302.31/302.54 c | 485812 | 900 18000 90000 | 86611 81590 126 | 0.000 % |
302.50/302.72 c | 486069 | 900 18000 90000 | 86611 81847 126 | 0.000 % |
302.70/302.96 c | 486350 | 900 18000 90000 | 86611 82128 126 | 0.000 % |
302.90/303.18 c | 486661 | 900 18000 90000 | 86611 82439 126 | 0.000 % |
303.20/303.41 c | 487000 | 900 18000 90000 | 86611 82778 125 | 0.000 % |
303.41/303.68 c | 487373 | 900 18000 90000 | 86611 83151 125 | 0.000 % |
303.70/303.99 c | 487782 | 900 18000 90000 | 86611 83560 125 | 0.000 % |
304.10/304.30 c | 488231 | 900 18000 90000 | 86611 84009 125 | 0.000 % |
304.40/304.67 c | 488725 | 900 18000 90000 | 86611 84503 125 | 0.000 % |
304.80/305.08 c | 489275 | 900 18000 90000 | 86611 85053 125 | 0.000 % |
305.30/305.53 c | 489871 | 900 18000 90000 | 86611 85649 125 | 0.000 % |
305.80/306.02 c | 490527 | 900 18000 90000 | 85778 75066 125 | 0.000 % |
306.20/306.49 c | 491247 | 900 18000 90000 | 85778 75786 125 | 0.000 % |
306.70/306.99 c | 492039 | 900 18000 90000 | 85778 76578 125 | 0.000 % |
307.30/307.55 c | 492911 | 900 18000 90000 | 85778 77450 125 | 0.000 % |
308.00/308.21 c | 493869 | 900 18000 90000 | 85778 78408 125 | 0.000 % |
308.60/308.85 c | 494922 | 900 18000 90000 | 85778 79461 125 | 0.000 % |
309.40/309.61 c | 496080 | 900 18000 90000 | 85778 80619 125 | 0.000 % |
310.30/310.51 c | 497354 | 900 18000 90000 | 85778 81893 125 | 0.000 % |
311.30/311.51 c | 498755 | 900 18000 90000 | 85778 83294 125 | 0.000 % |
312.30/312.55 c | 500295 | 900 18000 90000 | 84542 84834 125 | 0.000 % |
313.40/313.66 c | 501989 | 900 18000 90000 | 84542 75693 125 | 0.000 % |
314.60/314.89 c | 503854 | 900 18000 90000 | 84542 77558 125 | 0.000 % |
315.89/316.14 c | 505903 | 900 18000 90000 | 84542 79607 125 | 0.000 % |
317.39/317.60 c | 508156 | 900 18000 90000 | 84542 81860 125 | 0.000 % |
318.99/319.26 c | 510636 | 900 18000 90000 | 83705 74882 125 | 0.000 % |
320.79/321.00 c | 513361 | 900 18000 90000 | 83705 77607 125 | 0.000 % |
322.68/322.99 c | 516358 | 900 18000 90000 | 83705 80604 125 | 0.000 % |
324.88/325.12 c | 519655 | 900 18000 90000 | 83705 83901 125 | 0.000 % |
327.08/327.35 c | 523282 | 900 18000 90000 | 75831 71391 125 | 0.000 % |
329.58/329.89 c | 527269 | 900 18000 90000 | 75831 75378 126 | 0.000 % |
332.28/332.55 c | 531655 | 900 18000 90000 | 2147483647 72151 126 | 0.000 % |
335.38/335.62 c | 536478 | 900 18000 90000 | 2147483647 76974 126 | 0.000 % |
335.38/335.69 c | 536579 | 900 18000 90000 | 2147483647 77075 126 | 0.000 % |
335.48/335.78 c | 536689 | 900 18000 90000 | 2147483647 77185 126 | 0.000 % |
335.58/335.87 c | 536810 | 900 18000 90000 | 2147483647 77306 126 | 0.000 % |
335.68/335.96 c | 536944 | 900 18000 90000 | 2147483647 77440 126 | 0.000 % |
335.78/336.08 c | 537090 | 900 18000 90000 | 2147483647 77586 126 | 0.000 % |
335.98/336.20 c | 537250 | 900 18000 90000 | 2147483647 77746 126 | 0.000 % |
336.08/336.32 c | 537426 | 900 18000 90000 | 2147483647 77922 126 | 0.000 % |
336.18/336.46 c | 537619 | 900 18000 90000 | 2147483647 78115 126 | 0.000 % |
336.38/336.61 c | 537831 | 900 18000 90000 | 2147483647 78327 126 | 0.000 % |
336.48/336.76 c | 538066 | 900 18000 90000 | 2147483647 78562 126 | 0.000 % |
336.68/336.97 c | 538322 | 900 18000 90000 | 2147483647 78818 126 | 0.000 % |
336.88/337.17 c | 538603 | 900 18000 90000 | 2147483647 79099 126 | 0.000 % |
337.08/337.39 c | 538912 | 900 18000 90000 | 2147483647 79408 126 | 0.000 % |
337.38/337.64 c | 539251 | 900 18000 90000 | 2147483647 79747 126 | 0.000 % |
337.58/337.89 c | 539624 | 900 18000 90000 | 2147483647 80120 126 | 0.000 % |
337.88/338.16 c | 540034 | 900 18000 90000 | 2147483647 80530 126 | 0.000 % |
338.28/338.50 c | 540483 | 900 18000 90000 | 2147483647 80979 126 | 0.000 % |
338.58/338.84 c | 540980 | 900 18000 90000 | 2147483647 81476 126 | 0.000 % |
338.98/339.21 c | 541525 | 900 18000 90000 | 2147483647 82021 126 | 0.000 % |
339.38/339.67 c | 542123 | 900 18000 90000 | 2147483647 82619 126 | 0.000 % |
339.88/340.15 c | 542779 | 900 18000 90000 | 2147483647 83275 126 | 0.000 % |
340.38/340.65 c | 543499 | 900 18000 90000 | 2147483647 83995 126 | 0.000 % |
340.98/341.22 c | 544292 | 900 18000 90000 | 2147483647 84788 126 | 0.000 % |
341.48/341.79 c | 545165 | 900 18000 90000 | 2147483647 85661 126 | 0.000 % |
342.18/342.46 c | 546123 | 900 18000 90000 | 2147483647 86619 125 | 0.000 % |
342.88/343.19 c | 547177 | 900 18000 90000 | 2147483647 87673 125 | 0.000 % |
343.67/343.96 c | 548335 | 900 18000 90000 | 2147483647 88831 125 | 0.000 % |
344.68/344.91 c | 549609 | 900 18000 90000 | 2147483647 90105 125 | 0.000 % |
345.67/345.93 c | 551009 | 900 18000 90000 | 90496 79528 125 | 0.000 % |
346.67/346.97 c | 552549 | 900 18000 90000 | 90496 81068 125 | 0.000 % |
347.87/348.11 c | 554243 | 900 18000 90000 | 90496 82762 125 | 0.000 % |
349.07/349.39 c | 556106 | 900 18000 90000 | 90496 84625 125 | 0.000 % |
350.47/350.74 c | 558159 | 900 18000 90000 | 90496 86678 125 | 0.000 % |
352.07/352.37 c | 560413 | 900 18000 90000 | 88519 77863 124 | 0.000 % |
353.67/353.99 c | 562891 | 900 18000 90000 | 88519 80341 124 | 0.000 % |
355.47/355.78 c | 565617 | 900 18000 90000 | 88519 83067 124 | 0.000 % |
357.47/357.79 c | 568614 | 900 18000 90000 | 88519 86064 124 | 0.000 % |
359.87/360.18 c | 571910 | 900 18000 90000 | 87450 78639 124 | 0.000 % |
362.26/362.58 c | 575536 | 900 18000 90000 | 87450 82265 125 | 0.000 % |
364.96/365.25 c | 579523 | 900 18000 90000 | 87450 86252 125 | 0.000 % |
367.86/368.11 c | 583909 | 900 18000 90000 | 86729 80031 125 | 0.000 % |
370.96/371.26 c | 588734 | 900 18000 90000 | 86729 84856 125 | 0.000 % |
374.56/374.89 c | 594041 | 900 18000 90000 | 86123 79713 125 | 0.000 % |
374.66/374.99 c | 594141 | 900 18000 90000 | 86123 79813 125 | 0.000 % |
374.76/375.07 c | 594253 | 900 18000 90000 | 86123 79925 125 | 0.000 % |
374.86/375.17 c | 594374 | 900 18000 90000 | 86123 80046 125 | 0.000 % |
374.96/375.28 c | 594507 | 900 18000 90000 | 86123 80179 125 | 0.000 % |
375.16/375.42 c | 594655 | 900 18000 90000 | 86123 80327 125 | 0.000 % |
375.26/375.55 c | 594816 | 900 18000 90000 | 86123 80488 125 | 0.000 % |
375.36/375.69 c | 594992 | 900 18000 90000 | 86123 80664 125 | 0.000 % |
375.56/375.83 c | 595185 | 900 18000 90000 | 86123 80857 125 | 0.000 % |
375.66/375.99 c | 595399 | 900 18000 90000 | 86123 81071 125 | 0.000 % |
375.86/376.16 c | 595632 | 900 18000 90000 | 86123 81304 125 | 0.000 % |
376.06/376.33 c | 595889 | 900 18000 90000 | 86123 81561 125 | 0.000 % |
376.26/376.54 c | 596170 | 900 18000 90000 | 86123 81842 124 | 0.000 % |
376.46/376.76 c | 596479 | 900 18000 90000 | 86123 82151 124 | 0.000 % |
376.66/377.00 c | 596818 | 900 18000 90000 | 86123 82490 124 | 0.000 % |
376.96/377.27 c | 597190 | 900 18000 90000 | 86123 82862 124 | 0.000 % |
377.26/377.54 c | 597600 | 900 18000 90000 | 86123 83272 124 | 0.000 % |
377.56/377.85 c | 598050 | 900 18000 90000 | 86123 83722 124 | 0.000 % |
377.96/378.21 c | 598545 | 900 18000 90000 | 86123 84217 124 | 0.000 % |
378.36/378.63 c | 599088 | 900 18000 90000 | 86123 84760 124 | 0.000 % |
378.86/379.10 c | 599684 | 900 18000 90000 | 86123 85356 124 | 0.000 % |
379.36/379.66 c | 600339 | 900 18000 90000 | 85672 74834 124 | 0.000 % |
379.86/380.12 c | 601059 | 900 18000 90000 | 85672 75554 124 | 0.000 % |
380.37/380.68 c | 601852 | 900 18000 90000 | 85672 76347 124 | 0.000 % |
380.96/381.29 c | 602724 | 900 18000 90000 | 85672 77219 124 | 0.000 % |
381.66/381.93 c | 603684 | 900 18000 90000 | 85672 78179 124 | 0.000 % |
382.36/382.64 c | 604738 | 900 18000 90000 | 85672 79233 124 | 0.000 % |
383.06/383.36 c | 605896 | 900 18000 90000 | 85672 80391 124 | 0.000 % |
383.86/384.19 c | 607173 | 900 18000 90000 | 85672 81668 124 | 0.000 % |
384.86/385.12 c | 608575 | 900 18000 90000 | 85672 83070 124 | 0.000 % |
385.96/386.28 c | 610115 | 900 18000 90000 | 84495 84610 124 | 0.000 % |
387.16/387.48 c | 611811 | 900 18000 90000 | 84495 76117 123 | 0.000 % |
388.36/388.63 c | 613675 | 900 18000 90000 | 84495 77981 123 | 0.000 % |
389.66/389.93 c | 615725 | 900 18000 90000 | 84495 80031 123 | 0.000 % |
391.16/391.41 c | 617978 | 900 18000 90000 | 84495 82284 123 | 0.000 % |
392.86/393.12 c | 620456 | 900 18000 90000 | 84309 75067 124 | 0.000 % |
394.66/394.99 c | 623181 | 900 18000 90000 | 84309 77792 124 | 0.000 % |
396.76/397.01 c | 626178 | 900 18000 90000 | 84309 80789 124 | 0.000 % |
398.85/399.14 c | 629474 | 900 18000 90000 | 84309 84085 124 | 0.000 % |
401.16/401.41 c | 633101 | 900 18000 90000 | 74943 69787 124 | 0.000 % |
403.55/403.87 c | 637089 | 900 18000 90000 | 74943 73775 124 | 0.000 % |
406.25/406.55 c | 641474 | 900 18000 90000 | 2147483647 70630 125 | 0.000 % |
409.14/409.45 c | 646297 | 900 18000 90000 | 2147483647 75453 125 | 0.000 % |
412.54/412.90 c | 651602 | 900 18000 90000 | 2147483647 80758 126 | 0.000 % |
416.54/416.83 c | 657439 | 900 18000 90000 | 2147483647 86595 126 | 0.000 % |
416.64/416.90 c | 657541 | 900 18000 90000 | 2147483647 86697 126 | 0.000 % |
416.74/417.02 c | 657652 | 900 18000 90000 | 2147483647 86808 126 | 0.000 % |
416.84/417.12 c | 657774 | 900 18000 90000 | 2147483647 86930 126 | 0.000 % |
416.94/417.23 c | 657908 | 900 18000 90000 | 2147483647 87064 126 | 0.000 % |
417.04/417.36 c | 658056 | 900 18000 90000 | 2147483647 87212 126 | 0.000 % |
417.24/417.52 c | 658216 | 900 18000 90000 | 2147483647 87372 126 | 0.000 % |
417.34/417.65 c | 658393 | 900 18000 90000 | 2147483647 87549 126 | 0.000 % |
417.44/417.78 c | 658586 | 900 18000 90000 | 2147483647 87742 126 | 0.000 % |
417.64/417.98 c | 658798 | 900 18000 90000 | 2147483647 87954 126 | 0.000 % |
417.84/418.18 c | 659033 | 900 18000 90000 | 2147483647 88189 126 | 0.000 % |
418.14/418.43 c | 659292 | 900 18000 90000 | 2147483647 88448 126 | 0.000 % |
418.34/418.67 c | 659573 | 900 18000 90000 | 2147483647 88729 126 | 0.000 % |
418.64/418.96 c | 659882 | 900 18000 90000 | 2147483647 89038 126 | 0.000 % |
418.94/419.24 c | 660222 | 900 18000 90000 | 89157 89378 126 | 0.000 % |
419.24/419.58 c | 660596 | 900 18000 90000 | 89157 78193 125 | 0.000 % |
419.54/419.87 c | 661006 | 900 18000 90000 | 89157 78603 125 | 0.000 % |
419.84/420.17 c | 661455 | 900 18000 90000 | 89157 79052 125 | 0.000 % |
420.24/420.56 c | 661948 | 900 18000 90000 | 89157 79545 125 | 0.000 % |
420.64/420.94 c | 662494 | 900 18000 90000 | 89157 80091 125 | 0.000 % |
421.04/421.33 c | 663092 | 900 18000 90000 | 89157 80689 125 | 0.000 % |
421.54/421.81 c | 663747 | 900 18000 90000 | 89157 81344 125 | 0.000 % |
422.04/422.33 c | 664470 | 900 18000 90000 | 89157 82067 125 | 0.000 % |
422.54/422.89 c | 665263 | 900 18000 90000 | 89157 82860 125 | 0.000 % |
423.24/423.51 c | 666136 | 900 18000 90000 | 89157 83733 125 | 0.000 % |
423.84/424.18 c | 667096 | 900 18000 90000 | 89157 84693 125 | 0.000 % |
424.64/425.00 c | 668149 | 900 18000 90000 | 89157 85746 125 | 0.000 % |
425.54/425.84 c | 669307 | 900 18000 90000 | 89157 86904 125 | 0.000 % |
426.54/426.81 c | 670581 | 900 18000 90000 | 87599 76188 125 | 0.000 % |
427.43/427.75 c | 671982 | 900 18000 90000 | 87599 77589 125 | 0.000 % |
428.43/428.75 c | 673523 | 900 18000 90000 | 87599 79130 125 | 0.000 % |
429.63/429.96 c | 675217 | 900 18000 90000 | 87599 80824 124 | 0.000 % |
430.84/431.19 c | 677081 | 900 18000 90000 | 87599 82688 125 | 0.000 % |
432.43/432.72 c | 679130 | 900 18000 90000 | 87599 84737 124 | 0.000 % |
434.03/434.30 c | 681383 | 900 18000 90000 | 85610 75785 125 | 0.000 % |
435.63/435.91 c | 683861 | 900 18000 90000 | 85610 78263 125 | 0.000 % |
437.43/437.70 c | 686589 | 900 18000 90000 | 85610 80991 125 | 0.000 % |
439.43/439.70 c | 689586 | 900 18000 90000 | 85610 83988 125 | 0.000 % |
441.52/441.90 c | 692883 | 900 18000 90000 | 84402 77266 125 | 0.000 % |
443.92/444.23 c | 696508 | 900 18000 90000 | 84402 80891 126 | 0.000 % |
446.62/446.99 c | 700496 | 900 18000 90000 | 84387 75030 126 | 0.000 % |
449.52/449.84 c | 704881 | 900 18000 90000 | 84387 79415 126 | 0.000 % |
452.82/453.19 c | 709706 | 900 18000 90000 | 84387 84240 126 | 0.000 % |
456.61/456.93 c | 715012 | 900 18000 90000 | 84534 80033 127 | 0.000 % |
460.71/461.05 c | 720848 | 900 18000 90000 | 74898 66840 126 | 0.000 % |
464.81/465.16 c | 727266 | 900 18000 90000 | 74898 73258 127 | 0.000 % |
464.91/465.23 c | 727367 | 900 18000 90000 | 74898 73359 127 | 0.000 % |
465.01/465.32 c | 727477 | 900 18000 90000 | 74898 73469 126 | 0.000 % |
465.11/465.40 c | 727599 | 900 18000 90000 | 74898 73591 126 | 0.000 % |
465.21/465.51 c | 727734 | 900 18000 90000 | 74898 73726 126 | 0.000 % |
465.31/465.63 c | 727880 | 900 18000 90000 | 74898 73872 126 | 0.000 % |
465.41/465.74 c | 728040 | 900 18000 90000 | 74898 74032 126 | 0.000 % |
465.61/465.90 c | 728217 | 900 18000 90000 | 74898 74209 126 | 0.000 % |
465.71/466.05 c | 728411 | 900 18000 90000 | 74898 74403 126 | 0.000 % |
465.90/466.21 c | 728623 | 900 18000 90000 | 74898 74615 126 | 0.000 % |
466.01/466.39 c | 728857 | 900 18000 90000 | 74898 74849 126 | 0.000 % |
466.20/466.58 c | 729113 | 900 18000 90000 | 74898 75105 126 | 0.000 % |
466.40/466.79 c | 729394 | 900 18000 90000 | 74898 67876 127 | 0.000 % |
466.70/467.00 c | 729703 | 900 18000 90000 | 74898 68185 127 | 0.000 % |
466.90/467.20 c | 730044 | 900 18000 90000 | 2147483647 68526 127 | 0.000 % |
467.11/467.48 c | 730416 | 900 18000 90000 | 2147483647 68898 127 | 0.000 % |
467.40/467.72 c | 730825 | 900 18000 90000 | 2147483647 69307 127 | 0.000 % |
467.60/467.99 c | 731276 | 900 18000 90000 | 2147483647 69758 127 | 0.000 % |
468.00/468.33 c | 731769 | 900 18000 90000 | 2147483647 70251 127 | 0.000 % |
468.30/468.68 c | 732311 | 900 18000 90000 | 2147483647 70793 127 | 0.000 % |
468.70/469.08 c | 732908 | 900 18000 90000 | 2147483647 71390 127 | 0.000 % |
469.10/469.47 c | 733563 | 900 18000 90000 | 2147483647 72045 127 | 0.000 % |
469.70/470.02 c | 734283 | 900 18000 90000 | 2147483647 72765 127 | 0.000 % |
470.20/470.56 c | 735076 | 900 18000 90000 | 2147483647 73558 127 | 0.000 % |
470.80/471.15 c | 735949 | 900 18000 90000 | 2147483647 74431 127 | 0.000 % |
471.40/471.77 c | 736909 | 900 18000 90000 | 2147483647 75391 127 | 0.000 % |
472.10/472.48 c | 737964 | 900 18000 90000 | 2147483647 76446 127 | 0.000 % |
472.90/473.28 c | 739122 | 900 18000 90000 | 2147483647 77604 127 | 0.000 % |
473.80/474.15 c | 740397 | 900 18000 90000 | 2147483647 78879 127 | 0.000 % |
474.70/475.05 c | 741797 | 900 18000 90000 | 2147483647 80279 127 | 0.000 % |
475.70/476.06 c | 743337 | 900 18000 90000 | 2147483647 81819 127 | 0.000 % |
477.00/477.32 c | 745032 | 900 18000 90000 | 2147483647 83514 127 | 0.000 % |
478.40/478.78 c | 746897 | 900 18000 90000 | 2147483647 85379 127 | 0.000 % |
480.00/480.33 c | 748946 | 900 18000 90000 | 2147483647 87428 127 | 0.000 % |
481.60/481.96 c | 751199 | 900 18000 90000 | 88482 78798 128 | 0.000 % |
483.30/483.62 c | 753678 | 900 18000 90000 | 88482 81277 128 | 0.000 % |
485.20/485.50 c | 756404 | 900 18000 90000 | 88482 84003 128 | 0.000 % |
487.19/487.59 c | 759402 | 900 18000 90000 | 88482 87001 128 | 0.000 % |
489.50/489.88 c | 762698 | 900 18000 90000 | 87602 79643 128 | 0.000 % |
492.09/492.41 c | 766325 | 900 18000 90000 | 87602 83270 128 | 0.000 % |
494.79/495.16 c | 770313 | 900 18000 90000 | 86945 77414 129 | 0.000 % |
497.79/498.17 c | 774698 | 900 18000 90000 | 86945 81799 129 | 0.000 % |
501.19/501.52 c | 779523 | 900 18000 90000 | 86945 86624 129 | 0.000 % |
504.98/505.36 c | 784829 | 900 18000 90000 | 87101 80918 128 | 0.000 % |
509.18/509.50 c | 790665 | 900 18000 90000 | 86089 75001 128 | 0.000 % |
513.58/513.90 c | 797085 | 900 18000 90000 | 86089 81421 128 | 0.000 % |
518.38/518.70 c | 804145 | 900 18000 90000 | 84336 77586 128 | 0.000 % |
518.38/518.78 c | 804247 | 900 18000 90000 | 84336 77688 128 | 0.000 % |
518.48/518.86 c | 804358 | 900 18000 90000 | 84336 77799 128 | 0.000 % |
518.58/518.95 c | 804479 | 900 18000 90000 | 84336 77920 128 | 0.000 % |
518.68/519.05 c | 804612 | 900 18000 90000 | 84336 78053 128 | 0.000 % |
518.78/519.16 c | 804759 | 900 18000 90000 | 84336 78200 128 | 0.000 % |
518.88/519.27 c | 804919 | 900 18000 90000 | 84336 78360 128 | 0.000 % |
519.08/519.41 c | 805095 | 900 18000 90000 | 84336 78536 128 | 0.000 % |
519.18/519.58 c | 805289 | 900 18000 90000 | 84336 78730 128 | 0.000 % |
519.38/519.75 c | 805503 | 900 18000 90000 | 84336 78944 128 | 0.000 % |
519.58/519.95 c | 805737 | 900 18000 90000 | 84336 79178 128 | 0.000 % |
519.78/520.12 c | 805996 | 900 18000 90000 | 84336 79437 128 | 0.000 % |
519.98/520.32 c | 806279 | 900 18000 90000 | 84336 79720 128 | 0.000 % |
520.18/520.54 c | 806590 | 900 18000 90000 | 84336 80031 128 | 0.000 % |
520.48/520.81 c | 806930 | 900 18000 90000 | 84336 80371 128 | 0.000 % |
520.78/521.12 c | 807302 | 900 18000 90000 | 84336 80743 128 | 0.000 % |
521.08/521.42 c | 807711 | 900 18000 90000 | 84336 81152 128 | 0.000 % |
521.38/521.75 c | 808160 | 900 18000 90000 | 84336 81601 128 | 0.000 % |
521.78/522.10 c | 808653 | 900 18000 90000 | 84336 82094 128 | 0.000 % |
522.08/522.47 c | 809195 | 900 18000 90000 | 84336 82636 128 | 0.000 % |
522.47/522.88 c | 809791 | 900 18000 90000 | 84336 83232 128 | 0.000 % |
523.07/523.42 c | 810447 | 900 18000 90000 | 83442 73047 129 | 0.000 % |
523.48/523.86 c | 811167 | 900 18000 90000 | 83442 73767 129 | 0.000 % |
523.98/524.35 c | 811960 | 900 18000 90000 | 83442 74560 128 | 0.000 % |
524.47/524.89 c | 812833 | 900 18000 90000 | 83442 75433 128 | 0.000 % |
525.07/525.47 c | 813791 | 900 18000 90000 | 83442 76391 128 | 0.000 % |
525.77/526.13 c | 814844 | 900 18000 90000 | 83442 77444 128 | 0.000 % |
526.48/526.89 c | 816006 | 900 18000 90000 | 83442 78606 128 | 0.000 % |
527.47/527.80 c | 817280 | 900 18000 90000 | 83442 79880 128 | 0.000 % |
528.37/528.78 c | 818680 | 900 18000 90000 | 83442 81280 128 | 0.000 % |
529.47/529.84 c | 820222 | 900 18000 90000 | 82600 82822 128 | 0.000 % |
530.57/530.92 c | 821917 | 900 18000 90000 | 82600 75159 128 | 0.000 % |
531.77/532.15 c | 823780 | 900 18000 90000 | 82600 77022 128 | 0.000 % |
533.07/533.49 c | 825831 | 900 18000 90000 | 82600 79073 128 | 0.000 % |
534.57/534.99 c | 828086 | 900 18000 90000 | 82600 81328 128 | 0.000 % |
536.37/536.76 c | 830565 | 900 18000 90000 | 74465 66992 127 | 0.000 % |
537.97/538.35 c | 833290 | 900 18000 90000 | 74465 69717 127 | 0.000 % |
539.77/540.12 c | 836289 | 900 18000 90000 | 74465 72716 127 | 0.000 % |
541.76/542.19 c | 839585 | 900 18000 90000 | 74465 68534 127 | 0.000 % |
544.16/544.50 c | 843213 | 900 18000 90000 | 2147483647 72162 127 | 0.000 % |
546.56/546.94 c | 847200 | 900 18000 90000 | 2147483647 76149 126 | 0.000 % |
549.56/549.92 c | 851588 | 900 18000 90000 | 2147483647 80537 126 | 0.000 % |
552.86/553.23 c | 856413 | 900 18000 90000 | 2147483647 85362 127 | 0.000 % |
556.65/557.06 c | 861718 | 900 18000 90000 | 88950 79418 126 | 0.000 % |
560.76/561.17 c | 867554 | 900 18000 90000 | 88950 85254 126 | 0.000 % |
565.46/565.87 c | 873973 | 900 18000 90000 | 87703 79639 126 | 0.000 % |
570.36/570.74 c | 881032 | 900 18000 90000 | 85667 75552 127 | 0.000 % |
575.66/576.02 c | 888797 | 900 18000 90000 | 85667 83317 127 | 0.000 % |
575.66/576.09 c | 888899 | 900 18000 90000 | 85667 83419 127 | 0.000 % |
575.76/576.19 c | 889009 | 900 18000 90000 | 85667 83529 127 | 0.000 % |
575.96/576.30 c | 889132 | 900 18000 90000 | 85667 83652 127 | 0.000 % |
576.06/576.40 c | 889265 | 900 18000 90000 | 85667 83785 127 | 0.000 % |
576.16/576.52 c | 889411 | 900 18000 90000 | 85667 83931 127 | 0.000 % |
576.26/576.64 c | 889572 | 900 18000 90000 | 85667 84092 127 | 0.000 % |
576.36/576.80 c | 889748 | 900 18000 90000 | 85667 84268 127 | 0.000 % |
576.56/576.96 c | 889941 | 900 18000 90000 | 85667 84461 127 | 0.000 % |
576.76/577.14 c | 890153 | 900 18000 90000 | 84520 84673 127 | 0.000 % |
576.96/577.35 c | 890389 | 900 18000 90000 | 84520 73825 127 | 0.000 % |
577.16/577.53 c | 890646 | 900 18000 90000 | 84520 74082 127 | 0.000 % |
577.36/577.74 c | 890928 | 900 18000 90000 | 84520 74364 127 | 0.000 % |
577.56/577.96 c | 891239 | 900 18000 90000 | 84520 74675 127 | 0.000 % |
577.76/578.18 c | 891578 | 900 18000 90000 | 84520 75014 127 | 0.000 % |
578.06/578.48 c | 891951 | 900 18000 90000 | 84520 75387 127 | 0.000 % |
578.36/578.77 c | 892362 | 900 18000 90000 | 84520 75798 127 | 0.000 % |
578.66/579.09 c | 892811 | 900 18000 90000 | 84520 76247 127 | 0.000 % |
579.05/579.44 c | 893305 | 900 18000 90000 | 84520 76741 127 | 0.000 % |
579.45/579.83 c | 893847 | 900 18000 90000 | 84520 77283 127 | 0.000 % |
579.85/580.25 c | 894443 | 900 18000 90000 | 84520 77879 127 | 0.000 % |
580.36/580.70 c | 895099 | 900 18000 90000 | 84520 78535 127 | 0.000 % |
580.85/581.24 c | 895820 | 900 18000 90000 | 84520 79256 127 | 0.000 % |
581.46/581.81 c | 896614 | 900 18000 90000 | 84520 80050 127 | 0.000 % |
581.95/582.35 c | 897485 | 900 18000 90000 | 84520 80921 127 | 0.000 % |
582.56/582.97 c | 898443 | 900 18000 90000 | 84520 81879 127 | 0.000 % |
583.25/583.64 c | 899496 | 900 18000 90000 | 84520 82932 127 | 0.000 % |
584.05/584.47 c | 900654 | 900 18000 90000 | 83437 73555 127 | 0.000 % |
584.85/585.22 c | 901927 | 900 18000 90000 | 83437 74828 127 | 0.000 % |
585.64/586.08 c | 903328 | 900 18000 90000 | 83437 76229 127 | 0.000 % |
586.64/587.03 c | 904868 | 900 18000 90000 | 83437 77769 127 | 0.000 % |
587.74/588.13 c | 906566 | 900 18000 90000 | 83437 79467 127 | 0.000 % |
589.03/589.48 c | 908430 | 900 18000 90000 | 83437 81331 126 | 0.000 % |
590.62/591.02 c | 910482 | 900 18000 90000 | 82903 73453 126 | 0.000 % |
592.02/592.49 c | 912736 | 900 18000 90000 | 82903 75707 126 | 0.000 % |
593.62/594.02 c | 915214 | 900 18000 90000 | 82903 78185 126 | 0.000 % |
595.42/595.81 c | 917939 | 900 18000 90000 | 82903 80910 127 | 0.000 % |
597.52/597.91 c | 920936 | 900 18000 90000 | 82971 74466 127 | 0.000 % |
599.52/599.99 c | 924232 | 900 18000 90000 | 82971 77762 127 | 0.000 % |
601.91/602.30 c | 927858 | 900 18000 90000 | 82971 81388 127 | 0.000 % |
604.52/604.93 c | 931845 | 900 18000 90000 | 74650 68803 127 | 0.000 % |
607.21/607.61 c | 936232 | 900 18000 90000 | 74650 73190 127 | 0.000 % |
610.31/610.70 c | 941056 | 900 18000 90000 | 2147483647 70515 127 | 0.000 % |
613.31/613.76 c | 946362 | 900 18000 90000 | 2147483647 75821 127 | 0.000 % |
617.21/617.67 c | 952200 | 900 18000 90000 | 2147483647 81659 127 | 0.000 % |
622.01/622.43 c | 958618 | 900 18000 90000 | 2147483647 88077 128 | 0.000 % |
627.30/627.75 c | 965677 | 900 18000 90000 | 89459 82735 127 | 0.000 % |
632.99/633.40 c | 973441 | 900 18000 90000 | 87058 78866 128 | 0.000 % |
639.08/639.51 c | 981982 | 900 18000 90000 | 85425 76741 128 | 0.000 % |
639.08/639.57 c | 982083 | 900 18000 90000 | 85425 76842 128 | 0.000 % |
639.18/639.67 c | 982194 | 900 18000 90000 | 85425 76953 128 | 0.000 % |
639.28/639.76 c | 982315 | 900 18000 90000 | 85425 77074 128 | 0.000 % |
639.38/639.86 c | 982448 | 900 18000 90000 | 85425 77207 128 | 0.000 % |
639.48/639.97 c | 982596 | 900 18000 90000 | 85425 77355 128 | 0.000 % |
639.58/640.09 c | 982758 | 900 18000 90000 | 85425 77517 128 | 0.000 % |
639.78/640.24 c | 982935 | 900 18000 90000 | 85425 77694 128 | 0.000 % |
639.88/640.40 c | 983130 | 900 18000 90000 | 85425 77889 128 | 0.000 % |
640.08/640.55 c | 983343 | 900 18000 90000 | 85425 78102 128 | 0.000 % |
640.28/640.71 c | 983576 | 900 18000 90000 | 85425 78335 128 | 0.000 % |
640.48/640.91 c | 983832 | 900 18000 90000 | 85425 78591 128 | 0.000 % |
640.68/641.10 c | 984114 | 900 18000 90000 | 85425 78873 128 | 0.000 % |
640.88/641.33 c | 984424 | 900 18000 90000 | 85425 79183 128 | 0.000 % |
641.08/641.58 c | 984765 | 900 18000 90000 | 85425 79524 128 | 0.000 % |
641.38/641.84 c | 985137 | 900 18000 90000 | 85425 79896 128 | 0.000 % |
641.68/642.13 c | 985546 | 900 18000 90000 | 85425 80305 128 | 0.000 % |
641.98/642.46 c | 985996 | 900 18000 90000 | 85425 80755 128 | 0.000 % |
642.38/642.82 c | 986489 | 900 18000 90000 | 85425 81248 128 | 0.000 % |
642.78/643.21 c | 987031 | 900 18000 90000 | 85425 81790 127 | 0.000 % |
643.18/643.66 c | 987627 | 900 18000 90000 | 85425 82386 127 | 0.000 % |
643.68/644.13 c | 988283 | 900 18000 90000 | 85425 83042 127 | 0.000 % |
644.18/644.64 c | 989003 | 900 18000 90000 | 85425 83762 127 | 0.000 % |
644.78/645.28 c | 989796 | 900 18000 90000 | 85425 84555 127 | 0.000 % |
645.48/645.96 c | 990668 | 900 18000 90000 | 84761 73900 128 | 0.000 % |
646.08/646.55 c | 991626 | 900 18000 90000 | 84761 74858 128 | 0.000 % |
646.78/647.22 c | 992679 | 900 18000 90000 | 84761 75911 127 | 0.000 % |
647.38/647.89 c | 993837 | 900 18000 90000 | 84761 77069 127 | 0.000 % |
648.17/648.67 c | 995110 | 900 18000 90000 | 84761 78342 128 | 0.000 % |
649.07/649.58 c | 996511 | 900 18000 90000 | 84761 79743 128 | 0.000 % |
650.17/650.60 c | 998051 | 900 18000 90000 | 84761 81283 127 | 0.000 % |
651.27/651.78 c | 999745 | 900 18000 90000 | 84761 82977 128 | 0.000 % |
652.57/653.06 c | 1001609 | 900 18000 90000 | 83233 75098 128 | 0.000 % |
653.87/654.33 c | 1003658 | 900 18000 90000 | 83233 77147 127 | 0.000 % |
655.37/655.81 c | 1005914 | 900 18000 90000 | 83233 79403 127 | 0.000 % |
656.87/657.34 c | 1008392 | 900 18000 90000 | 83233 81881 127 | 0.000 % |
658.77/659.23 c | 1011117 | 900 18000 90000 | 83489 75448 127 | 0.000 % |
660.67/661.14 c | 1014115 | 900 18000 90000 | 83489 78446 127 | 0.000 % |
663.07/663.52 c | 1017412 | 900 18000 90000 | 83489 81743 128 | 0.000 % |
665.47/665.93 c | 1021037 | 900 18000 90000 | 74902 67627 127 | 0.000 % |
667.87/668.31 c | 1025025 | 900 18000 90000 | 74902 71615 128 | 0.000 % |
670.67/671.12 c | 1029411 | 900 18000 90000 | 74902 68479 127 | 0.000 % |
673.56/674.03 c | 1034235 | 900 18000 90000 | 2147483647 73303 128 | 0.000 % |
677.07/677.53 c | 1039541 | 900 18000 90000 | 2147483647 78609 128 | 0.000 % |
681.06/681.55 c | 1045376 | 900 18000 90000 | 2147483647 84444 128 | 0.000 % |
685.86/686.33 c | 1051797 | 900 18000 90000 | 89069 78393 129 | 0.000 % |
690.86/691.37 c | 1058856 | 900 18000 90000 | 89069 85452 129 | 0.000 % |
696.07/696.58 c | 1066623 | 900 18000 90000 | 86596 81775 130 | 0.000 % |
702.16/702.68 c | 1075166 | 900 18000 90000 | 85153 80349 131 | 0.000 % |
709.46/709.94 c | 1084562 | 900 18000 90000 | 85184 78605 132 | 0.000 % |
709.56/710.03 c | 1084662 | 900 18000 90000 | 85184 78705 132 | 0.000 % |
709.66/710.12 c | 1084774 | 900 18000 90000 | 85184 78817 132 | 0.000 % |
709.76/710.21 c | 1084896 | 900 18000 90000 | 85184 78939 132 | 0.000 % |
709.86/710.33 c | 1085029 | 900 18000 90000 | 85184 79072 132 | 0.000 % |
709.96/710.47 c | 1085178 | 900 18000 90000 | 85184 79221 132 | 0.000 % |
710.16/710.61 c | 1085338 | 900 18000 90000 | 85184 79381 132 | 0.000 % |
710.26/710.75 c | 1085515 | 900 18000 90000 | 85184 79558 132 | 0.000 % |
710.46/710.91 c | 1085710 | 900 18000 90000 | 85184 79753 132 | 0.000 % |
710.66/711.10 c | 1085922 | 900 18000 90000 | 85184 79965 132 | 0.000 % |
710.76/711.28 c | 1086155 | 900 18000 90000 | 85184 80198 132 | 0.000 % |
710.96/711.45 c | 1086411 | 900 18000 90000 | 85184 80454 132 | 0.000 % |
711.16/711.65 c | 1086692 | 900 18000 90000 | 85184 80735 132 | 0.000 % |
711.36/711.88 c | 1087003 | 900 18000 90000 | 85184 81046 132 | 0.000 % |
711.66/712.15 c | 1087343 | 900 18000 90000 | 85184 81386 132 | 0.000 % |
711.96/712.43 c | 1087717 | 900 18000 90000 | 85184 81760 132 | 0.000 % |
712.16/712.70 c | 1088126 | 900 18000 90000 | 85184 82169 132 | 0.000 % |
712.56/713.07 c | 1088575 | 900 18000 90000 | 85184 82618 131 | 0.000 % |
712.96/713.48 c | 1089069 | 900 18000 90000 | 85184 83112 131 | 0.000 % |
713.46/713.91 c | 1089613 | 900 18000 90000 | 85184 83656 131 | 0.000 % |
713.86/714.33 c | 1090211 | 900 18000 90000 | 84045 84254 131 | 0.000 % |
714.36/714.80 c | 1090868 | 900 18000 90000 | 84045 73058 132 | 0.000 % |
714.76/715.26 c | 1091590 | 900 18000 90000 | 84045 73780 132 | 0.000 % |
715.36/715.84 c | 1092382 | 900 18000 90000 | 84045 74572 131 | 0.000 % |
715.86/716.38 c | 1093253 | 900 18000 90000 | 84045 75443 131 | 0.000 % |
716.56/717.04 c | 1094211 | 900 18000 90000 | 84045 76401 131 | 0.000 % |
717.16/717.67 c | 1095264 | 900 18000 90000 | 84045 77454 131 | 0.000 % |
717.95/718.41 c | 1096423 | 900 18000 90000 | 84045 78613 131 | 0.000 % |
718.75/719.21 c | 1097697 | 900 18000 90000 | 84045 79887 131 | 0.000 % |
719.65/720.10 c | 1099098 | 900 18000 90000 | 84045 81288 131 | 0.000 % |
720.85/721.35 c | 1100642 | 900 18000 90000 | 82190 72839 130 | 0.000 % |
721.85/722.39 c | 1102336 | 900 18000 90000 | 82190 74533 130 | 0.000 % |
723.15/723.63 c | 1104204 | 900 18000 90000 | 82190 76401 130 | 0.000 % |
724.65/725.12 c | 1106253 | 900 18000 90000 | 82190 78450 130 | 0.000 % |
726.05/726.58 c | 1108506 | 900 18000 90000 | 82190 80703 130 | 0.000 % |
727.85/728.39 c | 1110986 | 900 18000 90000 | 82197 73371 129 | 0.000 % |
729.65/730.16 c | 1113711 | 900 18000 90000 | 82197 76096 129 | 0.000 % |
731.65/732.17 c | 1116709 | 900 18000 90000 | 82197 79094 129 | 0.000 % |
734.05/734.50 c | 1120005 | 900 18000 90000 | 82386 82390 129 | 0.000 % |
736.35/736.86 c | 1123630 | 900 18000 90000 | 82386 76912 129 | 0.000 % |
738.94/739.47 c | 1127617 | 900 18000 90000 | 82386 80899 128 | 0.000 % |
741.74/742.28 c | 1132002 | 900 18000 90000 | 73360 66773 127 | 0.000 % |
744.74/745.20 c | 1136826 | 900 18000 90000 | 73360 71597 127 | 0.000 % |
748.04/748.54 c | 1142131 | 900 18000 90000 | 2147483647 69535 126 | 0.000 % |
751.64/752.18 c | 1147966 | 900 18000 90000 | 2147483647 75370 127 | 0.000 % |
755.94/756.48 c | 1154388 | 900 18000 90000 | 2147483647 81792 127 | 0.000 % |
760.93/761.48 c | 1161447 | 900 18000 90000 | 87405 78507 127 | 0.000 % |
766.92/767.40 c | 1169211 | 900 18000 90000 | 87405 86271 128 | 0.000 % |
773.52/774.09 c | 1177751 | 900 18000 90000 | 87060 83885 130 | 0.000 % |
780.72/781.22 c | 1187145 | 900 18000 90000 | 86136 81447 131 | 0.000 % |
789.12/789.62 c | 1197479 | 900 18000 90000 | 84302 80603 132 | 0.000 % |
789.22/789.70 c | 1197579 | 900 18000 90000 | 84302 80703 132 | 0.000 % |
789.22/789.80 c | 1197690 | 900 18000 90000 | 84302 80814 132 | 0.000 % |
789.42/789.90 c | 1197814 | 900 18000 90000 | 84302 80938 132 | 0.000 % |
789.42/789.99 c | 1197948 | 900 18000 90000 | 84302 81072 132 | 0.000 % |
789.62/790.12 c | 1198094 | 900 18000 90000 | 84302 81218 132 | 0.000 % |
789.72/790.26 c | 1198254 | 900 18000 90000 | 84302 81378 132 | 0.000 % |
789.82/790.38 c | 1198430 | 900 18000 90000 | 84302 81554 132 | 0.000 % |
790.02/790.53 c | 1198623 | 900 18000 90000 | 84302 81747 132 | 0.000 % |
790.11/790.68 c | 1198835 | 900 18000 90000 | 84302 81959 132 | 0.000 % |
790.32/790.85 c | 1199068 | 900 18000 90000 | 84302 82192 132 | 0.000 % |
790.51/791.09 c | 1199324 | 900 18000 90000 | 84302 82448 132 | 0.000 % |
790.81/791.30 c | 1199606 | 900 18000 90000 | 84302 82730 132 | 0.000 % |
791.01/791.53 c | 1199917 | 900 18000 90000 | 84302 83041 132 | 0.000 % |
791.21/791.77 c | 1200256 | 900 18000 90000 | 83124 83380 132 | 0.000 % |
791.52/792.08 c | 1200628 | 900 18000 90000 | 83124 72680 132 | 0.000 % |
791.81/792.33 c | 1201038 | 900 18000 90000 | 83124 73090 132 | 0.000 % |
792.11/792.64 c | 1201489 | 900 18000 90000 | 83124 73541 132 | 0.000 % |
792.41/792.96 c | 1201982 | 900 18000 90000 | 83124 74034 132 | 0.000 % |
792.71/793.29 c | 1202525 | 900 18000 90000 | 83124 74577 132 | 0.000 % |
793.21/793.70 c | 1203121 | 900 18000 90000 | 83124 75173 132 | 0.000 % |
793.62/794.12 c | 1203776 | 900 18000 90000 | 83124 75828 132 | 0.000 % |
794.11/794.60 c | 1204496 | 900 18000 90000 | 83124 76548 132 | 0.000 % |
794.61/795.15 c | 1205289 | 900 18000 90000 | 83124 77341 131 | 0.000 % |
795.21/795.74 c | 1206160 | 900 18000 90000 | 83124 78212 131 | 0.000 % |
795.81/796.33 c | 1207118 | 900 18000 90000 | 83124 79170 131 | 0.000 % |
796.61/797.12 c | 1208173 | 900 18000 90000 | 83124 80225 131 | 0.000 % |
797.41/797.95 c | 1209332 | 900 18000 90000 | 83124 81384 131 | 0.000 % |
798.31/798.88 c | 1210605 | 900 18000 90000 | 82053 72630 131 | 0.000 % |
799.21/799.71 c | 1212005 | 900 18000 90000 | 82053 74030 131 | 0.000 % |
800.21/800.74 c | 1213545 | 900 18000 90000 | 82053 75570 131 | 0.000 % |
801.31/801.85 c | 1215239 | 900 18000 90000 | 82053 77264 131 | 0.000 % |
802.61/803.14 c | 1217104 | 900 18000 90000 | 82053 79129 131 | 0.000 % |
803.91/804.44 c | 1219155 | 900 18000 90000 | 82053 81180 131 | 0.000 % |
805.31/805.88 c | 1221408 | 900 18000 90000 | 82025 74732 131 | 0.000 % |
806.81/807.36 c | 1223887 | 900 18000 90000 | 82025 77211 130 | 0.000 % |
808.61/809.16 c | 1226613 | 900 18000 90000 | 82025 79937 130 | 0.000 % |
810.70/811.22 c | 1229610 | 900 18000 90000 | 82025 74703 130 | 0.000 % |
812.90/813.44 c | 1232909 | 900 18000 90000 | 2147483647 78002 130 | 0.000 % |
815.61/816.10 c | 1236534 | 900 18000 90000 | 2147483647 81627 130 | 0.000 % |
818.20/818.74 c | 1240522 | 900 18000 90000 | 85094 75269 129 | 0.000 % |
821.10/821.61 c | 1244907 | 900 18000 90000 | 85094 79654 129 | 0.000 % |
824.30/824.86 c | 1249732 | 900 18000 90000 | 85094 84479 129 | 0.000 % |
827.90/828.44 c | 1255037 | 900 18000 90000 | 84747 79368 128 | 0.000 % |
831.80/832.33 c | 1260872 | 900 18000 90000 | 84333 75261 129 | 0.000 % |
836.29/836.80 c | 1267290 | 900 18000 90000 | 84333 81679 129 | 0.000 % |
841.09/841.66 c | 1274349 | 900 18000 90000 | 84389 77845 128 | 0.000 % |
846.69/847.20 c | 1282113 | 900 18000 90000 | 83497 76105 130 | 0.000 % |
852.99/853.60 c | 1290653 | 900 18000 90000 | 73558 65014 132 | 0.000 % |
859.38/859.93 c | 1300047 | 900 18000 90000 | 66849 66894 133 | 0.000 % |
864.58/865.18 c | 1310381 | 900 18000 90000 | 2147483647 63707 135 | 0.000 % |
871.68/872.23 c | 1321747 | 900 18000 90000 | 2147483647 75073 136 | 0.000 % |
871.68/872.30 c | 1321848 | 900 18000 90000 | 2147483647 75174 135 | 0.000 % |
871.78/872.38 c | 1321960 | 900 18000 90000 | 2147483647 75286 135 | 0.000 % |
871.88/872.47 c | 1322081 | 900 18000 90000 | 2147483647 75407 135 | 0.000 % |
871.98/872.57 c | 1322215 | 900 18000 90000 | 2147483647 75541 135 | 0.000 % |
872.08/872.68 c | 1322361 | 900 18000 90000 | 2147483647 75687 135 | 0.000 % |
872.28/872.81 c | 1322522 | 900 18000 90000 | 2147483647 75848 135 | 0.000 % |
872.38/872.94 c | 1322699 | 900 18000 90000 | 2147483647 76025 135 | 0.000 % |
872.48/873.09 c | 1322893 | 900 18000 90000 | 2147483647 76219 135 | 0.000 % |
872.68/873.24 c | 1323105 | 900 18000 90000 | 2147483647 76431 135 | 0.000 % |
872.88/873.40 c | 1323340 | 900 18000 90000 | 2147483647 76666 135 | 0.000 % |
872.98/873.57 c | 1323597 | 900 18000 90000 | 2147483647 76923 135 | 0.000 % |
873.18/873.79 c | 1323878 | 900 18000 90000 | 2147483647 77204 135 | 0.000 % |
873.48/874.01 c | 1324187 | 900 18000 90000 | 2147483647 77513 135 | 0.000 % |
873.68/874.24 c | 1324527 | 900 18000 90000 | 2147483647 77853 135 | 0.000 % |
873.98/874.55 c | 1324899 | 900 18000 90000 | 2147483647 78225 135 | 0.000 % |
874.28/874.83 c | 1325313 | 900 18000 90000 | 2147483647 78639 135 | 0.000 % |
874.68/875.20 c | 1325763 | 900 18000 90000 | 2147483647 79089 135 | 0.000 % |
874.98/875.56 c | 1326257 | 900 18000 90000 | 2147483647 79583 134 | 0.000 % |
875.37/875.93 c | 1326800 | 900 18000 90000 | 2147483647 80126 134 | 0.000 % |
875.77/876.34 c | 1327396 | 900 18000 90000 | 2147483647 80722 134 | 0.000 % |
876.27/876.80 c | 1328051 | 900 18000 90000 | 2147483647 81377 134 | 0.000 % |
876.77/877.35 c | 1328773 | 900 18000 90000 | 2147483647 82099 134 | 0.000 % |
877.28/877.86 c | 1329566 | 900 18000 90000 | 2147483647 82892 134 | 0.000 % |
877.97/878.55 c | 1330439 | 900 18000 90000 | 83328 74693 134 | 0.000 % |
878.67/879.21 c | 1331397 | 900 18000 90000 | 83328 75651 134 | 0.000 % |
879.38/879.95 c | 1332450 | 900 18000 90000 | 83328 76704 133 | 0.000 % |
880.17/880.73 c | 1333608 | 900 18000 90000 | 83328 77862 133 | 0.000 % |
880.97/881.55 c | 1334881 | 900 18000 90000 | 83328 79135 133 | 0.000 % |
881.97/882.55 c | 1336282 | 900 18000 90000 | 83328 80536 133 | 0.000 % |
882.97/883.59 c | 1337824 | 900 18000 90000 | 83328 82078 133 | 0.000 % |
884.17/884.78 c | 1339518 | 900 18000 90000 | 83328 74939 132 | 0.000 % |
885.47/886.01 c | 1341385 | 900 18000 90000 | 75424 68728 131 | 0.000 % |
886.77/887.30 c | 1343436 | 900 18000 90000 | 75424 70779 131 | 0.000 % |
888.07/888.65 c | 1345689 | 900 18000 90000 | 75424 73032 131 | 0.000 % |
889.57/890.19 c | 1348167 | 900 18000 90000 | 75424 75510 131 | 0.000 % |
891.37/891.92 c | 1350892 | 900 18000 90000 | 2147483647 70684 131 | 0.000 % |
893.27/893.87 c | 1353889 | 900 18000 90000 | 2147483647 73681 131 | 0.000 % |
895.27/895.89 c | 1357187 | 900 18000 90000 | 2147483647 76979 131 | 0.000 % |
897.57/898.19 c | 1360813 | 900 18000 90000 | 2147483647 80605 131 | 0.000 % |
900.37/900.90 c | 1364800 | 900 18000 90000 | 2147483647 84592 131 | 0.000 % |
903.46/904.04 c | 1369185 | 900 18000 90000 | 2147483647 88977 131 | 0.000 % |
906.86/907.45 c | 1374008 | 900 18000 90000 | 89795 82777 131 | 0.000 % |
910.65/911.24 c | 1379314 | 900 18000 90000 | 89795 88083 130 | 0.000 % |
914.75/915.32 c | 1385149 | 900 18000 90000 | 88769 81873 130 | 0.000 % |
919.15/919.70 c | 1391567 | 900 18000 90000 | 86724 77190 129 | 0.000 % |
923.95/924.52 c | 1398627 | 900 18000 90000 | 86724 84250 129 | 0.000 % |
929.15/929.80 c | 1406393 | 900 18000 90000 | 85625 81258 129 | 0.000 % |
935.15/935.74 c | 1414934 | 900 18000 90000 | 84865 79098 130 | 0.000 % |
941.74/942.33 c | 1424330 | 900 18000 90000 | 84165 78000 131 | 0.000 % |
949.63/950.29 c | 1434663 | 900 18000 90000 | 83671 77582 133 | 0.000 % |
958.43/959.03 c | 1446029 | 900 18000 90000 | 82919 77610 132 | 0.000 % |
966.23/966.83 c | 1458532 | 900 18000 90000 | 81582 79076 133 | 0.000 % |
966.33/966.92 c | 1458635 | 900 18000 90000 | 81582 79179 133 | 0.000 % |
966.43/967.00 c | 1458745 | 900 18000 90000 | 81582 79289 133 | 0.000 % |
966.43/967.09 c | 1458868 | 900 18000 90000 | 81582 79412 133 | 0.000 % |
966.63/967.20 c | 1459002 | 900 18000 90000 | 81582 79546 133 | 0.000 % |
966.73/967.34 c | 1459148 | 900 18000 90000 | 81582 79692 133 | 0.000 % |
966.83/967.45 c | 1459309 | 900 18000 90000 | 81582 79853 133 | 0.000 % |
966.93/967.59 c | 1459486 | 900 18000 90000 | 81582 80030 133 | 0.000 % |
967.13/967.73 c | 1459679 | 900 18000 90000 | 81582 80223 133 | 0.000 % |
967.23/967.90 c | 1459892 | 900 18000 90000 | 81582 80436 133 | 0.000 % |
967.43/968.07 c | 1460125 | 900 18000 90000 | 80544 80669 132 | 0.000 % |
967.62/968.29 c | 1460381 | 900 18000 90000 | 80544 70496 132 | 0.000 % |
967.82/968.48 c | 1460662 | 900 18000 90000 | 80544 70777 132 | 0.000 % |
968.02/968.69 c | 1460973 | 900 18000 90000 | 80544 71088 132 | 0.000 % |
968.33/968.93 c | 1461314 | 900 18000 90000 | 80544 71429 132 | 0.000 % |
968.53/969.19 c | 1461686 | 900 18000 90000 | 80544 71801 132 | 0.000 % |
968.83/969.44 c | 1462095 | 900 18000 90000 | 80544 72210 132 | 0.000 % |
969.13/969.78 c | 1462544 | 900 18000 90000 | 80544 72659 132 | 0.000 % |
969.53/970.11 c | 1463040 | 900 18000 90000 | 80544 73155 131 | 0.000 % |
969.92/970.52 c | 1463582 | 900 18000 90000 | 80544 73697 131 | 0.000 % |
970.32/970.95 c | 1464178 | 900 18000 90000 | 80544 74293 131 | 0.000 % |
970.73/971.36 c | 1464833 | 900 18000 90000 | 80544 74948 131 | 0.000 % |
971.12/971.79 c | 1465554 | 900 18000 90000 | 80544 75669 131 | 0.000 % |
971.73/972.40 c | 1466348 | 900 18000 90000 | 80544 76463 131 | 0.000 % |
972.32/972.96 c | 1467219 | 900 18000 90000 | 80544 77334 131 | 0.000 % |
973.02/973.61 c | 1468177 | 900 18000 90000 | 80544 78292 131 | 0.000 % |
973.72/974.31 c | 1469230 | 900 18000 90000 | 80544 79345 131 | 0.000 % |
974.52/975.19 c | 1470388 | 900 18000 90000 | 80117 71280 131 | 0.000 % |
975.42/976.00 c | 1471661 | 900 18000 90000 | 80117 72553 131 | 0.000 % |
976.23/976.84 c | 1473064 | 900 18000 90000 | 80117 73956 131 | 0.000 % |
977.23/977.82 c | 1474605 | 900 18000 90000 | 80117 75497 131 | 0.000 % |
978.22/978.88 c | 1476300 | 900 18000 90000 | 80117 77192 131 | 0.000 % |
979.52/980.11 c | 1478163 | 900 18000 90000 | 80117 79055 131 | 0.000 % |
980.82/981.42 c | 1480214 | 900 18000 90000 | 72274 72488 131 | 0.000 % |
982.12/982.74 c | 1482468 | 900 18000 90000 | 72274 67207 130 | 0.000 % |
983.52/984.14 c | 1484947 | 900 18000 90000 | 72274 69686 130 | 0.000 % |
985.32/985.91 c | 1487672 | 900 18000 90000 | 72274 72411 130 | 0.000 % |
987.02/987.66 c | 1490670 | 900 18000 90000 | 2147483647 68168 129 | 0.000 % |
988.92/989.55 c | 1493966 | 900 18000 90000 | 2147483647 71464 129 | 0.000 % |
991.11/991.76 c | 1497592 | 900 18000 90000 | 2147483647 75090 129 | 0.000 % |
993.81/994.45 c | 1501579 | 900 18000 90000 | 2147483647 79077 129 | 0.000 % |
996.91/997.55 c | 1505967 | 900 18000 90000 | 2147483647 83465 129 | 0.000 % |
1000.60/1001.23 c | 1510791 | 900 18000 90000 | 87498 76494 128 | 0.000 % |
1004.40/1005.05 c | 1516096 | 900 18000 90000 | 87498 81799 128 | 0.000 % |
1008.70/1009.35 c | 1521933 | 900 18000 90000 | 85707 75396 128 | 0.000 % |
1013.10/1013.76 c | 1528352 | 900 18000 90000 | 85707 81815 128 | 0.000 % |
1017.91/1018.58 c | 1535411 | 900 18000 90000 | 83464 77718 128 | 0.000 % |
1023.41/1024.10 c | 1543179 | 900 18000 90000 | 82307 75344 130 | 0.000 % |
1029.30/1029.92 c | 1551719 | 900 18000 90000 | 82165 73760 130 | 0.000 % |
1036.39/1037.06 c | 1561116 | 900 18000 90000 | 82042 73459 131 | 0.000 % |
1043.48/1044.14 c | 1571453 | 900 18000 90000 | 82343 73848 131 | 0.000 % |
1051.38/1052.07 c | 1582822 | 900 18000 90000 | 82395 74795 130 | 0.000 % |
1060.18/1060.87 c | 1595327 | 900 18000 90000 | 81974 77751 131 | 0.000 % |
1069.58/1070.27 c | 1609079 | 900 18000 90000 | 72603 65881 130 | 0.000 % |
1069.68/1070.34 c | 1609183 | 900 18000 90000 | 72603 65985 130 | 0.000 % |
1069.78/1070.40 c | 1609293 | 900 18000 90000 | 72603 66095 130 | 0.000 % |
1069.78/1070.47 c | 1609416 | 900 18000 90000 | 72603 66218 130 | 0.000 % |
1069.88/1070.56 c | 1609549 | 900 18000 90000 | 72603 66351 130 | 0.000 % |
1069.98/1070.66 c | 1609696 | 900 18000 90000 | 72603 66498 130 | 0.000 % |
1070.08/1070.75 c | 1609856 | 900 18000 90000 | 72603 66658 130 | 0.000 % |
1070.18/1070.87 c | 1610033 | 900 18000 90000 | 2147483647 66835 130 | 0.000 % |
1070.38/1071.02 c | 1610226 | 900 18000 90000 | 2147483647 67028 130 | 0.000 % |
1070.48/1071.16 c | 1610439 | 900 18000 90000 | 2147483647 67241 130 | 0.000 % |
1070.68/1071.30 c | 1610672 | 900 18000 90000 | 2147483647 67474 129 | 0.000 % |
1070.78/1071.48 c | 1610930 | 900 18000 90000 | 2147483647 67732 129 | 0.000 % |
1070.98/1071.66 c | 1611211 | 900 18000 90000 | 2147483647 68013 129 | 0.000 % |
1071.18/1071.85 c | 1611520 | 900 18000 90000 | 2147483647 68322 129 | 0.000 % |
1071.38/1072.07 c | 1611861 | 900 18000 90000 | 2147483647 68663 129 | 0.000 % |
1071.68/1072.31 c | 1612234 | 900 18000 90000 | 2147483647 69036 129 | 0.000 % |
1071.88/1072.56 c | 1612644 | 900 18000 90000 | 2147483647 69446 129 | 0.000 % |
1072.17/1072.87 c | 1613094 | 900 18000 90000 | 2147483647 69896 129 | 0.000 % |
1072.57/1073.20 c | 1613587 | 900 18000 90000 | 2147483647 70389 129 | 0.000 % |
1072.88/1073.53 c | 1614129 | 900 18000 90000 | 2147483647 70931 129 | 0.000 % |
1073.17/1073.89 c | 1614725 | 900 18000 90000 | 2147483647 71527 129 | 0.000 % |
1073.57/1074.26 c | 1615380 | 900 18000 90000 | 2147483647 72182 129 | 0.000 % |
1073.98/1074.69 c | 1616103 | 900 18000 90000 | 2147483647 72905 129 | 0.000 % |
1074.47/1075.15 c | 1616895 | 900 18000 90000 | 2147483647 73697 129 | 0.000 % |
1074.97/1075.69 c | 1617766 | 900 18000 90000 | 2147483647 74568 129 | 0.000 % |
1075.57/1076.29 c | 1618724 | 900 18000 90000 | 2147483647 75526 129 | 0.000 % |
1076.27/1076.99 c | 1619778 | 900 18000 90000 | 2147483647 76580 129 | 0.000 % |
1076.97/1077.68 c | 1620937 | 900 18000 90000 | 2147483647 77739 129 | 0.000 % |
1077.77/1078.48 c | 1622210 | 900 18000 90000 | 2147483647 79012 129 | 0.000 % |
1078.67/1079.32 c | 1623610 | 900 18000 90000 | 2147483647 80412 129 | 0.000 % |
1079.66/1080.38 c | 1625150 | 900 18000 90000 | 2147483647 81952 128 | 0.000 % |
1080.76/1081.46 c | 1626844 | 900 18000 90000 | 2147483647 83646 128 | 0.000 % |
1082.06/1082.78 c | 1628709 | 900 18000 90000 | 2147483647 85511 128 | 0.000 % |
1083.46/1084.19 c | 1630758 | 900 18000 90000 | 86803 78302 129 | 0.000 % |
1085.06/1085.71 c | 1633011 | 900 18000 90000 | 86803 80555 129 | 0.000 % |
1086.66/1087.39 c | 1635489 | 900 18000 90000 | 86803 83033 129 | 0.000 % |
1088.66/1089.30 c | 1638214 | 900 18000 90000 | 86803 85758 129 | 0.000 % |
1090.66/1091.30 c | 1641211 | 900 18000 90000 | 76451 68058 128 | 0.000 % |
1092.45/1093.14 c | 1644507 | 900 18000 90000 | 76451 71354 128 | 0.000 % |
1094.65/1095.36 c | 1648135 | 900 18000 90000 | 76451 74982 128 | 0.000 % |
1097.16/1097.80 c | 1652123 | 900 18000 90000 | 2147483647 71293 128 | 0.000 % |
1099.85/1100.56 c | 1656508 | 900 18000 90000 | 2147483647 75678 128 | 0.000 % |
1102.95/1103.65 c | 1661331 | 900 18000 90000 | 2147483647 80501 128 | 0.000 % |
1106.65/1107.30 c | 1666636 | 900 18000 90000 | 2147483647 85806 128 | 0.000 % |
1110.85/1111.52 c | 1672472 | 900 18000 90000 | 89171 80151 129 | 0.000 % |
1115.35/1116.09 c | 1678890 | 900 18000 90000 | 89171 86569 129 | 0.000 % |
1120.35/1121.05 c | 1685950 | 900 18000 90000 | 87679 81856 129 | 0.000 % |
1126.14/1126.83 c | 1693715 | 900 18000 90000 | 85906 78133 131 | 0.000 % |
1132.44/1133.10 c | 1702255 | 900 18000 90000 | 84422 76339 133 | 0.000 % |
1139.14/1139.86 c | 1711651 | 900 18000 90000 | 84084 75565 134 | 0.000 % |
1147.33/1148.09 c | 1721987 | 900 18000 90000 | 83916 75029 134 | 0.000 % |
1155.63/1156.32 c | 1733353 | 900 18000 90000 | 83042 75480 134 | 0.000 % |
1164.43/1165.12 c | 1745855 | 900 18000 90000 | 82129 77427 134 | 0.000 % |
1175.12/1175.87 c | 1759609 | 900 18000 90000 | 81575 80809 134 | 0.000 % |
1186.41/1187.12 c | 1774736 | 900 18000 90000 | 80480 75720 133 | 0.000 % |
1186.51/1187.20 c | 1774837 | 900 18000 90000 | 80480 75821 133 | 0.000 % |
1186.51/1187.27 c | 1774947 | 900 18000 90000 | 80480 75931 133 | 0.000 % |
1186.61/1187.36 c | 1775068 | 900 18000 90000 | 80480 76052 133 | 0.000 % |
1186.71/1187.48 c | 1775203 | 900 18000 90000 | 80480 76187 133 | 0.000 % |
1186.81/1187.59 c | 1775349 | 900 18000 90000 | 80480 76333 133 | 0.000 % |
1186.91/1187.70 c | 1775509 | 900 18000 90000 | 80480 76493 133 | 0.000 % |
1187.11/1187.82 c | 1775685 | 900 18000 90000 | 80480 76669 133 | 0.000 % |
1187.22/1187.95 c | 1775881 | 900 18000 90000 | 80480 76865 133 | 0.000 % |
1187.41/1188.10 c | 1776093 | 900 18000 90000 | 80480 77077 133 | 0.000 % |
1187.51/1188.29 c | 1776326 | 900 18000 90000 | 80480 77310 132 | 0.000 % |
1187.71/1188.49 c | 1776583 | 900 18000 90000 | 80480 77567 132 | 0.000 % |
1187.91/1188.67 c | 1776865 | 900 18000 90000 | 80480 77849 132 | 0.000 % |
1188.11/1188.89 c | 1777175 | 900 18000 90000 | 80480 78159 132 | 0.000 % |
1188.42/1189.11 c | 1777515 | 900 18000 90000 | 80480 78499 132 | 0.000 % |
1188.61/1189.37 c | 1777887 | 900 18000 90000 | 80480 78871 132 | 0.000 % |
1188.91/1189.65 c | 1778299 | 900 18000 90000 | 80480 79283 132 | 0.000 % |
1189.21/1189.95 c | 1778749 | 900 18000 90000 | 80480 79733 132 | 0.000 % |
1189.52/1190.27 c | 1779242 | 900 18000 90000 | 80480 80226 132 | 0.000 % |
1189.91/1190.66 c | 1779784 | 900 18000 90000 | 80480 80768 132 | 0.000 % |
1190.41/1191.13 c | 1780380 | 900 18000 90000 | 71619 64032 131 | 0.000 % |
1190.81/1191.51 c | 1781035 | 900 18000 90000 | 71619 64687 131 | 0.000 % |
1191.21/1191.94 c | 1781758 | 900 18000 90000 | 71619 65410 131 | 0.000 % |
1191.61/1192.39 c | 1782551 | 900 18000 90000 | 71619 66203 131 | 0.000 % |
1192.21/1192.91 c | 1783423 | 900 18000 90000 | 71619 67075 131 | 0.000 % |
1192.71/1193.48 c | 1784381 | 900 18000 90000 | 71619 68033 131 | 0.000 % |
1193.31/1194.07 c | 1785435 | 900 18000 90000 | 71619 69087 130 | 0.000 % |
1193.91/1194.70 c | 1786593 | 900 18000 90000 | 71619 70245 130 | 0.000 % |
1194.71/1195.47 c | 1787866 | 900 18000 90000 | 71619 71518 130 | 0.000 % |
1195.61/1196.36 c | 1789266 | 900 18000 90000 | 71619 65728 130 | 0.000 % |
1196.51/1197.26 c | 1790806 | 900 18000 90000 | 2147483647 67268 130 | 0.000 % |
1197.51/1198.26 c | 1792500 | 900 18000 90000 | 2147483647 68962 130 | 0.000 % |
1198.61/1199.34 c | 1794365 | 900 18000 90000 | 2147483647 70827 130 | 0.000 % |
1199.91/1200.65 c | 1796414 | 900 18000 90000 | 2147483647 72876 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-1832513-1242779686/watcher-1832513-1242779686 -o /tmp/evaluation-result-1832513-1242779686/solver-1832513-1242779686 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1832513-1242779686.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: 1.00 1.00 1.00 3/65 26130
/proc/meminfo: memFree=1500880/2055920 swapFree=4179876/4192956
[pid=26130] ppid=26128 vsize=928 CPUtime=0
/proc/26130/stat : 26130 (SatELiteGTI) R 26128 26130 26058 0 -1 4194304 41 0 0 0 0 0 0 0 18 0 1 0 305998053 950272 25 1992294400 4194304 4889804 548682068832 18446744073709551615 251276621241 0 0 4096 0 0 0 0 17 0 0 0
/proc/26130/statm: 232 25 18 169 0 8 0
[startup+0.0513001 s]
/proc/loadavg: 1.00 1.00 1.00 3/65 26130
/proc/meminfo: memFree=1500880/2055920 swapFree=4179876/4192956
[pid=26130] ppid=26128 vsize=5356 CPUtime=0
/proc/26130/stat : 26130 (SatELiteGTI) S 26128 26130 26058 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 305998053 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 251279237956 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/26130/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.101298 s]
/proc/loadavg: 1.00 1.00 1.00 3/65 26130
/proc/meminfo: memFree=1500880/2055920 swapFree=4179876/4192956
[pid=26130] ppid=26128 vsize=5356 CPUtime=0.04
/proc/26130/stat : 26130 (SatELiteGTI) S 26128 26130 26058 0 -1 4194304 336 732 0 0 0 0 4 0 17 0 1 0 305998053 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 251279237956 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/26130/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 5356
[startup+0.301322 s]
/proc/loadavg: 1.00 1.00 1.00 3/65 26130
/proc/meminfo: memFree=1500880/2055920 swapFree=4179876/4192956
[pid=26130] ppid=26128 vsize=5356 CPUtime=0.04
/proc/26130/stat : 26130 (SatELiteGTI) S 26128 26130 26058 0 -1 4194304 336 732 0 0 0 0 4 0 17 0 1 0 305998053 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 251279237956 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/26130/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 5356
[startup+0.701372 s]
/proc/loadavg: 1.00 1.00 1.00 3/65 26130
/proc/meminfo: memFree=1500880/2055920 swapFree=4179876/4192956
[pid=26130] ppid=26128 vsize=5356 CPUtime=0.04
/proc/26130/stat : 26130 (SatELiteGTI) S 26128 26130 26058 0 -1 4194304 336 732 0 0 0 0 4 0 17 0 1 0 305998053 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 251279237956 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/26130/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 5356
[startup+1.50147 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 26136
/proc/meminfo: memFree=1495616/2055920 swapFree=4179876/4192956
[pid=26130] ppid=26128 vsize=5356 CPUtime=0.04
/proc/26130/stat : 26130 (SatELiteGTI) S 26128 26130 26058 0 -1 4194304 336 732 0 0 0 0 4 0 17 0 1 0 305998053 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 251279237956 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/26130/statm: 1339 239 197 169 0 50 0
[pid=26136] ppid=26130 vsize=6584 CPUtime=1.44
/proc/26136/stat : 26136 (minisat_static) R 26130 26130 26058 0 -1 4194304 1393 0 0 0 144 0 0 0 25 0 1 0 305998059 6742016 1379 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/26136/statm: 1646 1379 77 171 0 1473 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 11940
[startup+3.10167 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 26136
/proc/meminfo: memFree=1492864/2055920 swapFree=4179876/4192956
[pid=26130] ppid=26128 vsize=5356 CPUtime=0.04
/proc/26130/stat : 26130 (SatELiteGTI) S 26128 26130 26058 0 -1 4194304 336 732 0 0 0 0 4 0 17 0 1 0 305998053 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 251279237956 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/26130/statm: 1339 239 197 169 0 50 0
[pid=26136] ppid=26130 vsize=11092 CPUtime=3.03
/proc/26136/stat : 26136 (minisat_static) R 26130 26130 26058 0 -1 4194304 2515 0 0 0 302 1 0 0 25 0 1 0 305998059 11358208 2501 1992294400 134512640 135215339 4294956240 18446744073709551615 134528624 0 0 4096 3 0 0 0 17 0 0 0
/proc/26136/statm: 2773 2501 77 171 0 2600 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 16448
[startup+6.30108 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 26136
/proc/meminfo: memFree=1485504/2055920 swapFree=4179876/4192956
[pid=26130] ppid=26128 vsize=5356 CPUtime=0.04
/proc/26130/stat : 26130 (SatELiteGTI) S 26128 26130 26058 0 -1 4194304 336 732 0 0 0 0 4 0 17 0 1 0 305998053 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 251279237956 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/26130/statm: 1339 239 197 169 0 50 0
[pid=26136] ppid=26130 vsize=17408 CPUtime=6.23
/proc/26136/stat : 26136 (minisat_static) R 26130 26130 26058 0 -1 4194304 4086 0 0 0 620 3 0 0 25 0 1 0 305998059 17825792 4072 1992294400 134512640 135215339 4294956240 18446744073709551615 134528734 0 0 4096 3 0 0 0 17 0 0 0
/proc/26136/statm: 4352 4072 77 171 0 4179 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 22764
[startup+12.7019 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 26136
/proc/meminfo: memFree=1476032/2055920 swapFree=4179876/4192956
[pid=26130] ppid=26128 vsize=5356 CPUtime=0.04
/proc/26130/stat : 26130 (SatELiteGTI) S 26128 26130 26058 0 -1 4194304 336 732 0 0 0 0 4 0 17 0 1 0 305998053 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 251279237956 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/26130/statm: 1339 239 197 169 0 50 0
[pid=26136] ppid=26130 vsize=26068 CPUtime=12.64
/proc/26136/stat : 26136 (minisat_static) R 26130 26130 26058 0 -1 4194304 6240 0 0 0 1260 4 0 0 25 0 1 0 305998059 26693632 6226 1992294400 134512640 135215339 4294956240 18446744073709551615 134528863 0 0 4096 3 0 0 0 17 0 0 0
/proc/26136/statm: 6517 6226 77 171 0 6344 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 31424
[startup+25.5015 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 26136
/proc/meminfo: memFree=1463168/2055920 swapFree=4179876/4192956
[pid=26130] ppid=26128 vsize=5356 CPUtime=0.04
/proc/26130/stat : 26130 (SatELiteGTI) S 26128 26130 26058 0 -1 4194304 336 732 0 0 0 0 4 0 17 0 1 0 305998053 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 251279237956 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/26130/statm: 1339 239 197 169 0 50 0
[pid=26136] ppid=26130 vsize=38332 CPUtime=25.43
/proc/26136/stat : 26136 (minisat_static) R 26130 26130 26058 0 -1 4194304 9318 0 0 0 2536 7 0 0 25 0 1 0 305998059 39251968 9304 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/26136/statm: 9583 9304 77 171 0 9410 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 43688
[startup+51.1017 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 26136
/proc/meminfo: memFree=1455232/2055920 swapFree=4179876/4192956
[pid=26130] ppid=26128 vsize=5356 CPUtime=0.04
/proc/26130/stat : 26130 (SatELiteGTI) S 26128 26130 26058 0 -1 4194304 336 732 0 0 0 0 4 0 17 0 1 0 305998053 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 251279237956 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/26130/statm: 1339 239 197 169 0 50 0
[pid=26136] ppid=26130 vsize=45988 CPUtime=51.01
/proc/26136/stat : 26136 (minisat_static) R 26130 26130 26058 0 -1 4194304 11245 0 0 0 5092 9 0 0 25 0 1 0 305998059 47091712 11231 1992294400 134512640 135215339 4294956240 18446744073709551615 134528734 0 0 4096 3 0 0 0 17 0 0 0
/proc/26136/statm: 11497 11231 77 171 0 11324 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 51344
[startup+102.305 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 26136
/proc/meminfo: memFree=1454208/2055920 swapFree=4179876/4192956
[pid=26130] ppid=26128 vsize=5356 CPUtime=0.04
/proc/26130/stat : 26130 (SatELiteGTI) S 26128 26130 26058 0 -1 4194304 336 732 0 0 0 0 4 0 17 0 1 0 305998053 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 251279237956 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/26130/statm: 1339 239 197 169 0 50 0
[pid=26136] ppid=26130 vsize=46912 CPUtime=102.19
/proc/26136/stat : 26136 (minisat_static) R 26130 26130 26058 0 -1 4194304 11476 0 0 0 10210 9 0 0 25 0 1 0 305998059 48037888 11462 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 0 0 0
/proc/26136/statm: 11728 11462 77 171 0 11555 0
Current children cumulated CPU time (s) 102.23
Current children cumulated vsize (KiB) 52268
[startup+162.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 26136
/proc/meminfo: memFree=1451520/2055920 swapFree=4179876/4192956
[pid=26130] ppid=26128 vsize=5356 CPUtime=0.04
/proc/26130/stat : 26130 (SatELiteGTI) S 26128 26130 26058 0 -1 4194304 336 732 0 0 0 0 4 0 17 0 1 0 305998053 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 251279237956 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/26130/statm: 1339 239 197 169 0 50 0
[pid=26136] ppid=26130 vsize=49420 CPUtime=162.15
/proc/26136/stat : 26136 (minisat_static) R 26130 26130 26058 0 -1 4194304 12091 0 0 0 16205 10 0 0 25 0 1 0 305998059 50606080 12077 1992294400 134512640 135215339 4294956240 18446744073709551615 134528728 0 0 4096 3 0 0 0 17 0 0 0
/proc/26136/statm: 12355 12077 77 171 0 12182 0
Current children cumulated CPU time (s) 162.19
Current children cumulated vsize (KiB) 54776
[startup+222.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 26136
/proc/meminfo: memFree=1451456/2055920 swapFree=4179876/4192956
[pid=26130] ppid=26128 vsize=5356 CPUtime=0.04
/proc/26130/stat : 26130 (SatELiteGTI) S 26128 26130 26058 0 -1 4194304 336 732 0 0 0 0 4 0 17 0 1 0 305998053 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 251279237956 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/26130/statm: 1339 239 197 169 0 50 0
[pid=26136] ppid=26130 vsize=49140 CPUtime=222.11
/proc/26136/stat : 26136 (minisat_static) R 26130 26130 26058 0 -1 4194304 12091 0 0 0 22200 11 0 0 25 0 1 0 305998059 50319360 12033 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/26136/statm: 12285 12033 77 171 0 12112 0
Current children cumulated CPU time (s) 222.15
Current children cumulated vsize (KiB) 54496
[startup+282.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 26136
/proc/meminfo: memFree=1449472/2055920 swapFree=4179876/4192956
[pid=26130] ppid=26128 vsize=5356 CPUtime=0.04
/proc/26130/stat : 26130 (SatELiteGTI) S 26128 26130 26058 0 -1 4194304 336 732 0 0 0 0 4 0 17 0 1 0 305998053 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 251279237956 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/26130/statm: 1339 239 197 169 0 50 0
[pid=26136] ppid=26130 vsize=51196 CPUtime=282.07
/proc/26136/stat : 26136 (minisat_static) R 26130 26130 26058 0 -1 4194304 12635 0 0 0 28196 11 0 0 25 0 1 0 305998059 52424704 12530 1992294400 134512640 135215339 4294956240 18446744073709551615 134528788 0 0 4096 3 0 0 0 17 0 0 0
/proc/26136/statm: 12799 12530 77 171 0 12626 0
Current children cumulated CPU time (s) 282.11
Current children cumulated vsize (KiB) 56552
[startup+342.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 26136
/proc/meminfo: memFree=1449280/2055920 swapFree=4179876/4192956
[pid=26130] ppid=26128 vsize=5356 CPUtime=0.04
/proc/26130/stat : 26130 (SatELiteGTI) S 26128 26130 26058 0 -1 4194304 336 732 0 0 0 0 4 0 17 0 1 0 305998053 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 251279237956 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/26130/statm: 1339 239 197 169 0 50 0
[pid=26136] ppid=26130 vsize=51328 CPUtime=342.04
/proc/26136/stat : 26136 (minisat_static) R 26130 26130 26058 0 -1 4194304 12654 0 0 0 34193 11 0 0 25 0 1 0 305998059 52559872 12549 1992294400 134512640 135215339 4294956240 18446744073709551615 134528779 0 0 4096 3 0 0 0 17 0 0 0
/proc/26136/statm: 12832 12549 77 171 0 12659 0
Current children cumulated CPU time (s) 342.08
Current children cumulated vsize (KiB) 56684
[startup+402.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 26136
/proc/meminfo: memFree=1447744/2055920 swapFree=4179876/4192956
[pid=26130] ppid=26128 vsize=5356 CPUtime=0.04
/proc/26130/stat : 26130 (SatELiteGTI) S 26128 26130 26058 0 -1 4194304 336 732 0 0 0 0 4 0 17 0 1 0 305998053 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 251279237956 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/26130/statm: 1339 239 197 169 0 50 0
[pid=26136] ppid=26130 vsize=52608 CPUtime=402.01
/proc/26136/stat : 26136 (minisat_static) R 26130 26130 26058 0 -1 4194304 13024 0 0 0 40189 12 0 0 25 0 1 0 305998059 53870592 12902 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/26136/statm: 13152 12902 77 171 0 12979 0
Current children cumulated CPU time (s) 402.05
Current children cumulated vsize (KiB) 57964
[startup+462.301 s]
################
# More data... #
################
/proc/26136/statm: 13251 12971 77 171 0 13078 0
Current children cumulated CPU time (s) 581.95
Current children cumulated vsize (KiB) 58360
[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 26138
/proc/meminfo: memFree=1446080/2055920 swapFree=4179876/4192956
[pid=26130] ppid=26128 vsize=5356 CPUtime=0.04
/proc/26130/stat : 26130 (SatELiteGTI) S 26128 26130 26058 0 -1 4194304 336 732 0 0 0 0 4 0 17 0 1 0 305998053 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 251279237956 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/26130/statm: 1339 239 197 169 0 50 0
[pid=26136] ppid=26130 vsize=53904 CPUtime=641.84
/proc/26136/stat : 26136 (minisat_static) R 26130 26130 26058 0 -1 4194304 13329 0 0 0 64171 13 0 0 25 0 1 0 305998059 55197696 13206 1992294400 134512640 135215339 4294956240 18446744073709551615 134528728 0 0 4096 3 0 0 0 17 0 0 0
/proc/26136/statm: 13476 13206 77 171 0 13303 0
Current children cumulated CPU time (s) 641.88
Current children cumulated vsize (KiB) 59260
[startup+702.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 26138
/proc/meminfo: memFree=1445824/2055920 swapFree=4179876/4192956
[pid=26130] ppid=26128 vsize=5356 CPUtime=0.04
/proc/26130/stat : 26130 (SatELiteGTI) S 26128 26130 26058 0 -1 4194304 336 732 0 0 0 0 4 0 17 0 1 0 305998053 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 251279237956 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/26130/statm: 1339 239 197 169 0 50 0
[pid=26136] ppid=26130 vsize=54168 CPUtime=701.82
/proc/26136/stat : 26136 (minisat_static) R 26130 26130 26058 0 -1 4194304 13397 0 0 0 70168 14 0 0 25 0 1 0 305998059 55468032 13274 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/26136/statm: 13542 13274 77 171 0 13369 0
Current children cumulated CPU time (s) 701.86
Current children cumulated vsize (KiB) 59524
[startup+762.305 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 26138
/proc/meminfo: memFree=1445696/2055920 swapFree=4179876/4192956
[pid=26130] ppid=26128 vsize=5356 CPUtime=0.04
/proc/26130/stat : 26130 (SatELiteGTI) S 26128 26130 26058 0 -1 4194304 336 732 0 0 0 0 4 0 17 0 1 0 305998053 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 251279237956 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/26130/statm: 1339 239 197 169 0 50 0
[pid=26136] ppid=26130 vsize=54168 CPUtime=761.8
/proc/26136/stat : 26136 (minisat_static) R 26130 26130 26058 0 -1 4194304 13397 0 0 0 76166 14 0 0 25 0 1 0 305998059 55468032 13274 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/26136/statm: 13542 13274 77 171 0 13369 0
Current children cumulated CPU time (s) 761.84
Current children cumulated vsize (KiB) 59524
[startup+822.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 26138
/proc/meminfo: memFree=1445632/2055920 swapFree=4179876/4192956
[pid=26130] ppid=26128 vsize=5356 CPUtime=0.04
/proc/26130/stat : 26130 (SatELiteGTI) S 26128 26130 26058 0 -1 4194304 336 732 0 0 0 0 4 0 17 0 1 0 305998053 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 251279237956 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/26130/statm: 1339 239 197 169 0 50 0
[pid=26136] ppid=26130 vsize=54168 CPUtime=821.76
/proc/26136/stat : 26136 (minisat_static) R 26130 26130 26058 0 -1 4194304 13397 0 0 0 82162 14 0 0 25 0 1 0 305998059 55468032 13274 1992294400 134512640 135215339 4294956240 18446744073709551615 134528863 0 0 4096 3 0 0 0 17 0 0 0
/proc/26136/statm: 13542 13274 77 171 0 13369 0
Current children cumulated CPU time (s) 821.8
Current children cumulated vsize (KiB) 59524
[startup+882.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 26138
/proc/meminfo: memFree=1445504/2055920 swapFree=4179876/4192956
[pid=26130] ppid=26128 vsize=5356 CPUtime=0.04
/proc/26130/stat : 26130 (SatELiteGTI) S 26128 26130 26058 0 -1 4194304 336 732 0 0 0 0 4 0 17 0 1 0 305998053 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 251279237956 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/26130/statm: 1339 239 197 169 0 50 0
[pid=26136] ppid=26130 vsize=54168 CPUtime=881.73
/proc/26136/stat : 26136 (minisat_static) R 26130 26130 26058 0 -1 4194304 13397 0 0 0 88159 14 0 0 25 0 1 0 305998059 55468032 13274 1992294400 134512640 135215339 4294956240 18446744073709551615 134528814 0 0 4096 3 0 0 0 17 0 0 0
/proc/26136/statm: 13542 13274 77 171 0 13369 0
Current children cumulated CPU time (s) 881.77
Current children cumulated vsize (KiB) 59524
[startup+942.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 26138
/proc/meminfo: memFree=1443264/2055920 swapFree=4179876/4192956
[pid=26130] ppid=26128 vsize=5356 CPUtime=0.04
/proc/26130/stat : 26130 (SatELiteGTI) S 26128 26130 26058 0 -1 4194304 336 732 0 0 0 0 4 0 17 0 1 0 305998053 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 251279237956 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/26130/statm: 1339 239 197 169 0 50 0
[pid=26136] ppid=26130 vsize=56280 CPUtime=941.7
/proc/26136/stat : 26136 (minisat_static) R 26130 26130 26058 0 -1 4194304 13933 0 0 0 94156 14 0 0 25 0 1 0 305998059 57630720 13810 1992294400 134512640 135215339 4294956240 18446744073709551615 134528734 0 0 4096 3 0 0 0 17 0 0 0
/proc/26136/statm: 14070 13810 77 171 0 13897 0
Current children cumulated CPU time (s) 941.74
Current children cumulated vsize (KiB) 61636
[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 26138
/proc/meminfo: memFree=1443200/2055920 swapFree=4179876/4192956
[pid=26130] ppid=26128 vsize=5356 CPUtime=0.04
/proc/26130/stat : 26130 (SatELiteGTI) S 26128 26130 26058 0 -1 4194304 336 732 0 0 0 0 4 0 17 0 1 0 305998053 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 251279237956 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/26130/statm: 1339 239 197 169 0 50 0
[pid=26136] ppid=26130 vsize=56052 CPUtime=1001.66
/proc/26136/stat : 26136 (minisat_static) R 26130 26130 26058 0 -1 4194304 13933 0 0 0 100152 14 0 0 25 0 1 0 305998059 57397248 13763 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/26136/statm: 14013 13763 77 171 0 13840 0
Current children cumulated CPU time (s) 1001.7
Current children cumulated vsize (KiB) 61408
[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 26138
/proc/meminfo: memFree=1443136/2055920 swapFree=4179876/4192956
[pid=26130] ppid=26128 vsize=5356 CPUtime=0.04
/proc/26130/stat : 26130 (SatELiteGTI) S 26128 26130 26058 0 -1 4194304 336 732 0 0 0 0 4 0 17 0 1 0 305998053 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 251279237956 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/26130/statm: 1339 239 197 169 0 50 0
[pid=26136] ppid=26130 vsize=56052 CPUtime=1061.64
/proc/26136/stat : 26136 (minisat_static) R 26130 26130 26058 0 -1 4194304 13933 0 0 0 106149 15 0 0 25 0 1 0 305998059 57397248 13763 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/26136/statm: 14013 13763 77 171 0 13840 0
Current children cumulated CPU time (s) 1061.68
Current children cumulated vsize (KiB) 61408
[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 26138
/proc/meminfo: memFree=1443008/2055920 swapFree=4179876/4192956
[pid=26130] ppid=26128 vsize=5356 CPUtime=0.04
/proc/26130/stat : 26130 (SatELiteGTI) S 26128 26130 26058 0 -1 4194304 336 732 0 0 0 0 4 0 17 0 1 0 305998053 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 251279237956 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/26130/statm: 1339 239 197 169 0 50 0
[pid=26136] ppid=26130 vsize=56052 CPUtime=1121.61
/proc/26136/stat : 26136 (minisat_static) R 26130 26130 26058 0 -1 4194304 13933 0 0 0 112146 15 0 0 25 0 1 0 305998059 57397248 13763 1992294400 134512640 135215339 4294956240 18446744073709551615 134528863 0 0 4096 3 0 0 0 17 0 0 0
/proc/26136/statm: 14013 13763 77 171 0 13840 0
Current children cumulated CPU time (s) 1121.65
Current children cumulated vsize (KiB) 61408
[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 26138
/proc/meminfo: memFree=1442944/2055920 swapFree=4179876/4192956
[pid=26130] ppid=26128 vsize=5356 CPUtime=0.04
/proc/26130/stat : 26130 (SatELiteGTI) S 26128 26130 26058 0 -1 4194304 336 732 0 0 0 0 4 0 17 0 1 0 305998053 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 251279237956 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/26130/statm: 1339 239 197 169 0 50 0
[pid=26136] ppid=26130 vsize=56052 CPUtime=1181.58
/proc/26136/stat : 26136 (minisat_static) R 26130 26130 26058 0 -1 4194304 13933 0 0 0 118143 15 0 0 25 0 1 0 305998059 57397248 13763 1992294400 134512640 135215339 4294956240 18446744073709551615 134528809 0 0 4096 3 0 0 0 17 0 0 0
/proc/26136/statm: 14013 13763 77 171 0 13840 0
Current children cumulated CPU time (s) 1181.62
Current children cumulated vsize (KiB) 61408
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1200.7 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 26138
/proc/meminfo: memFree=1442880/2055920 swapFree=4179876/4192956
[pid=26130] ppid=26128 vsize=5356 CPUtime=0.04
/proc/26130/stat : 26130 (SatELiteGTI) S 26128 26130 26058 0 -1 4194304 336 732 0 0 0 0 4 0 17 0 1 0 305998053 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 251279237956 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/26130/statm: 1339 239 197 169 0 50 0
[pid=26136] ppid=26130 vsize=56052 CPUtime=1199.97
/proc/26136/stat : 26136 (minisat_static) R 26130 26130 26058 0 -1 4194304 13933 0 0 0 119982 15 0 0 25 0 1 0 305998059 57397248 13763 1992294400 134512640 135215339 4294956240 18446744073709551615 134528863 0 0 4096 3 0 0 0 17 0 0 0
/proc/26136/statm: 14013 13763 77 171 0 13840 0
Current children cumulated CPU time (s) 1200.01
Current children cumulated vsize (KiB) 61408
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1200.7 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 26138
/proc/meminfo: memFree=1442880/2055920 swapFree=4179876/4192956
[pid=26130] ppid=26128 vsize=5356 CPUtime=0.04
/proc/26130/stat : 26130 (SatELiteGTI) S 26128 26130 26058 0 -1 4194304 336 732 0 0 0 0 4 0 17 0 1 0 305998053 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 251279237956 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/26130/statm: 1339 239 197 169 0 50 0
[pid=26136] ppid=26130 vsize=56052 CPUtime=1199.97
/proc/26136/stat : 26136 (minisat_static) R 26130 26130 26058 0 -1 4194304 13933 0 0 0 119982 15 0 0 25 0 1 0 305998059 57397248 13763 1992294400 134512640 135215339 4294956240 18446744073709551615 134528863 0 0 4096 3 0 0 0 17 0 0 0
/proc/26136/statm: 14013 13763 77 171 0 13840 0
Current children cumulated CPU time (s) 1200.01
Current children cumulated vsize (KiB) 61408
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 26130 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=43993
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=7998
# CPU time returned by wait4() is 0.051991
# while last known CPU time is 1200.01
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1200.71
CPU time (s): 1200.01
CPU user time (s): 1199.86
CPU system time (s): 0.15
CPU usage (%): 99.9414
Max. virtual memory (cumulated for all children) (KiB): 61636
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.043993
system time used= 0.007998
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1068
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= 8
runsolver used 1.12183 second user time and 3.37949 second system time
The end
Begin job on node92 at 2009-05-20 02:34:47
IDJOB=1832513
IDBENCH=70220
IDSOLVER=671
FILE ID=node92/1832513-1242779686
PBS_JOBID= 9322307
Free space on /tmp= 65928 MiB
SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT09/RANDOM/LARGE/5SAT/UNKNOWN/900/unif-k5-r20-v900-c18000-S661850551-087.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1832513-1242779686/watcher-1832513-1242779686 -o /tmp/evaluation-result-1832513-1242779686/solver-1832513-1242779686 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1832513-1242779686.cnf
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 8cc13233e4c2c3c435dccf0012fdfdbd
RANDOM SEED=1348760630
node92.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.245
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.245
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: 1501360 kB
Buffers: 21552 kB
Cached: 487236 kB
SwapCached: 7332 kB
Active: 341372 kB
Inactive: 176300 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1501360 kB
SwapTotal: 4192956 kB
SwapFree: 4179876 kB
Dirty: 1996 kB
Writeback: 0 kB
Mapped: 13952 kB
Slab: 22772 kB
Committed_AS: 786648 kB
PageTables: 1464 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264952 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 65924 MiB
End job on node92 at 2009-05-20 02:54:49