0.00/0.00 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 | 20000 100000 | 5999 0 0 nan | 0.000 % |
0.00/0.02 c ==============================================================================
0.00/0.02 c Result : #vars: 1000 #clauses: 20000 #literals: 100000
0.00/0.02 c CPU time: 0.016997 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: 1000 |
0.00/0.05 c | Number of clauses: 20000 |
0.00/0.07 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 | 1000 20000 100000 | 6666 0 nan | 0.000 % |
0.00/0.08 c | 100 | 1000 20000 100000 | 6666 100 130 | 0.000 % |
0.00/0.09 c | 201 | 1000 20000 100000 | 6666 201 134 | 0.000 % |
0.04/0.11 c | 301 | 1000 20000 100000 | 6666 301 131 | 0.000 % |
0.04/0.12 c | 411 | 1000 20000 100000 | 6666 411 129 | 0.000 % |
0.04/0.13 c | 511 | 1000 20000 100000 | 6666 511 128 | 0.000 % |
0.04/0.14 c | 622 | 1000 20000 100000 | 6666 622 124 | 0.000 % |
0.04/0.15 c | 745 | 1000 20000 100000 | 6666 745 121 | 0.000 % |
0.04/0.17 c | 846 | 1000 20000 100000 | 6666 846 122 | 0.000 % |
0.04/0.18 c | 956 | 1000 20000 100000 | 6666 956 125 | 0.000 % |
0.04/0.20 c | 1078 | 1000 20000 100000 | 6666 1078 125 | 0.000 % |
0.04/0.21 c | 1211 | 1000 20000 100000 | 6666 1211 126 | 0.000 % |
0.04/0.22 c | 1313 | 1000 20000 100000 | 6666 1313 126 | 0.000 % |
0.04/0.24 c | 1424 | 1000 20000 100000 | 6666 1424 126 | 0.000 % |
0.04/0.25 c | 1545 | 1000 20000 100000 | 6666 1545 127 | 0.000 % |
0.04/0.27 c | 1679 | 1000 20000 100000 | 6666 1679 127 | 0.000 % |
0.04/0.28 c | 1825 | 1000 20000 100000 | 6666 1825 127 | 0.000 % |
0.04/0.30 c | 1926 | 1000 20000 100000 | 6666 1926 126 | 0.000 % |
0.04/0.31 c | 2038 | 1000 20000 100000 | 6666 2038 126 | 0.000 % |
0.04/0.32 c | 2159 | 1000 20000 100000 | 6666 2159 125 | 0.000 % |
0.04/0.34 c | 2292 | 1000 20000 100000 | 6666 2292 125 | 0.000 % |
0.04/0.35 c | 2441 | 1000 20000 100000 | 6666 2441 124 | 0.000 % |
0.04/0.37 c | 2601 | 1000 20000 100000 | 6666 2601 125 | 0.000 % |
0.04/0.39 c | 2704 | 1000 20000 100000 | 6666 2704 125 | 0.000 % |
0.04/0.40 c | 2815 | 1000 20000 100000 | 6666 2815 124 | 0.000 % |
0.04/0.42 c | 2936 | 1000 20000 100000 | 6666 2936 124 | 0.000 % |
0.04/0.43 c | 3071 | 1000 20000 100000 | 6666 3071 123 | 0.000 % |
0.04/0.45 c | 3217 | 1000 20000 100000 | 6666 3217 123 | 0.000 % |
0.04/0.47 c | 3377 | 1000 20000 100000 | 6666 3377 123 | 0.000 % |
0.04/0.50 c | 3555 | 1000 20000 100000 | 6666 3555 123 | 0.000 % |
0.04/0.51 c | 3655 | 1000 20000 100000 | 6666 3655 123 | 0.000 % |
0.04/0.52 c | 3767 | 1000 20000 100000 | 6666 3767 122 | 0.000 % |
0.04/0.54 c | 3888 | 1000 20000 100000 | 6666 3888 122 | 0.000 % |
0.04/0.56 c | 4023 | 1000 20000 100000 | 6666 4023 122 | 0.000 % |
0.04/0.58 c | 4169 | 1000 20000 100000 | 6666 4169 122 | 0.000 % |
0.04/0.60 c | 4329 | 1000 20000 100000 | 6666 4329 122 | 0.000 % |
0.04/0.62 c | 4505 | 1000 20000 100000 | 6666 4505 122 | 0.000 % |
0.04/0.65 c | 4698 | 1000 20000 100000 | 6666 4698 122 | 0.000 % |
0.04/0.66 c | 4801 | 1000 20000 100000 | 6666 4801 122 | 0.000 % |
0.04/0.67 c | 4911 | 1000 20000 100000 | 6666 4911 122 | 0.000 % |
0.04/0.69 c | 5033 | 1000 20000 100000 | 6666 5033 122 | 0.000 % |
0.04/0.71 c | 5166 | 1000 20000 100000 | 6666 5166 122 | 0.000 % |
0.04/0.73 c | 5315 | 1000 20000 100000 | 6666 5315 122 | 0.000 % |
0.04/0.75 c | 5475 | 1000 20000 100000 | 6666 5475 122 | 0.000 % |
0.04/0.77 c | 5652 | 1000 20000 100000 | 6666 5652 121 | 0.000 % |
0.04/0.80 c | 5845 | 1000 20000 100000 | 6666 5845 121 | 0.000 % |
0.04/0.83 c | 6059 | 1000 20000 100000 | 6666 6059 121 | 0.000 % |
0.04/0.84 c | 6160 | 1000 20000 100000 | 6666 6160 121 | 0.000 % |
0.04/0.86 c | 6270 | 1000 20000 100000 | 6666 6270 121 | 0.000 % |
0.04/0.87 c | 6391 | 1000 20000 100000 | 6666 6391 121 | 0.000 % |
0.04/0.89 c | 6525 | 1000 20000 100000 | 6666 6525 121 | 0.000 % |
0.04/0.91 c | 6672 | 1000 20000 100000 | 6666 6672 121 | 0.000 % |
0.04/0.94 c | 6833 | 1000 20000 100000 | 6666 6166 120 | 0.000 % |
0.04/0.96 c | 7011 | 1000 20000 100000 | 6666 6344 120 | 0.000 % |
0.04/0.99 c | 7205 | 1000 20000 100000 | 6666 6538 120 | 0.000 % |
0.97/1.02 c | 7417 | 1000 20000 100000 | 6666 6750 120 | 0.000 % |
0.97/1.06 c | 7650 | 1000 20000 100000 | 6666 6308 119 | 0.000 % |
0.97/1.07 c | 7752 | 1000 20000 100000 | 6666 6410 119 | 0.000 % |
0.97/1.09 c | 7862 | 1000 20000 100000 | 6666 6520 118 | 0.000 % |
1.07/1.10 c | 7986 | 1000 20000 100000 | 6666 6644 118 | 0.000 % |
1.07/1.13 c | 8120 | 1000 20000 100000 | 6666 6778 119 | 0.000 % |
1.07/1.15 c | 8268 | 1000 20000 100000 | 6666 6249 118 | 0.000 % |
1.07/1.17 c | 8429 | 1000 20000 100000 | 6666 6410 118 | 0.000 % |
1.07/1.20 c | 8606 | 1000 20000 100000 | 6666 6587 119 | 0.000 % |
1.17/1.22 c | 8800 | 1000 20000 100000 | 6666 6781 119 | 0.000 % |
1.17/1.26 c | 9015 | 1000 20000 100000 | 6666 6318 118 | 0.000 % |
1.17/1.29 c | 9250 | 1000 20000 100000 | 6666 6553 119 | 0.000 % |
1.27/1.33 c | 9506 | 1000 20000 100000 | 6666 6809 119 | 0.000 % |
1.27/1.34 c | 9608 | 1000 20000 100000 | 6666 6231 120 | 0.000 % |
1.27/1.36 c | 9718 | 1000 20000 100000 | 6666 6341 120 | 0.000 % |
1.27/1.37 c | 9839 | 1000 20000 100000 | 6666 6462 119 | 0.000 % |
1.27/1.40 c | 9972 | 1000 20000 100000 | 6666 6595 119 | 0.000 % |
1.37/1.42 c | 10118 | 1000 20000 100000 | 2147483647 6741 120 | 0.000 % |
1.37/1.44 c | 10278 | 1000 20000 100000 | 2147483647 6901 120 | 0.000 % |
1.37/1.47 c | 10455 | 1000 20000 100000 | 2147483647 7078 120 | 0.000 % |
1.37/1.49 c | 10648 | 1000 20000 100000 | 2147483647 7271 120 | 0.000 % |
1.47/1.53 c | 10860 | 1000 20000 100000 | 2147483647 7483 120 | 0.000 % |
1.47/1.56 c | 11094 | 1000 20000 100000 | 2147483647 7717 120 | 0.000 % |
1.57/1.60 c | 11352 | 1000 20000 100000 | 2147483647 7975 120 | 0.000 % |
1.57/1.64 c | 11633 | 1000 20000 100000 | 2147483647 8256 121 | 0.000 % |
1.57/1.65 c | 11736 | 1000 20000 100000 | 2147483647 8359 121 | 0.000 % |
1.57/1.67 c | 11847 | 1000 20000 100000 | 2147483647 8470 121 | 0.000 % |
1.57/1.69 c | 11968 | 1000 20000 100000 | 2147483647 8591 121 | 0.000 % |
1.68/1.72 c | 12101 | 1000 20000 100000 | 2147483647 8724 121 | 0.000 % |
1.68/1.74 c | 12247 | 1000 20000 100000 | 2147483647 8870 121 | 0.000 % |
1.68/1.76 c | 12410 | 1000 20000 100000 | 2147483647 9033 121 | 0.000 % |
1.68/1.79 c | 12586 | 1000 20000 100000 | 2147483647 9209 121 | 0.000 % |
1.77/1.82 c | 12781 | 1000 20000 100000 | 2147483647 9404 121 | 0.000 % |
1.77/1.85 c | 12994 | 1000 20000 100000 | 2147483647 9617 121 | 0.000 % |
1.77/1.89 c | 13227 | 1000 20000 100000 | 2147483647 9850 121 | 0.000 % |
1.87/1.93 c | 13484 | 1000 20000 100000 | 2147483647 10107 121 | 0.000 % |
1.87/1.98 c | 13765 | 1000 20000 100000 | 2147483647 10388 121 | 0.000 % |
1.97/2.03 c | 14074 | 1000 20000 100000 | 2147483647 10697 121 | 0.000 % |
1.97/2.05 c | 14175 | 1000 20000 100000 | 2147483647 10798 121 | 0.000 % |
1.97/2.07 c | 14286 | 1000 20000 100000 | 2147483647 10909 121 | 0.000 % |
1.97/2.09 c | 14407 | 1000 20000 100000 | 2147483647 11030 121 | 0.000 % |
2.08/2.11 c | 14540 | 1000 20000 100000 | 2147483647 11163 121 | 0.000 % |
2.08/2.14 c | 14687 | 1000 20000 100000 | 2147483647 11310 121 | 0.000 % |
2.08/2.17 c | 14849 | 1000 20000 100000 | 2147483647 11472 121 | 0.000 % |
2.08/2.20 c | 15025 | 1000 20000 100000 | 2147483647 11648 121 | 0.000 % |
2.18/2.23 c | 15218 | 1000 20000 100000 | 2147483647 11841 121 | 0.000 % |
2.18/2.27 c | 15432 | 1000 20000 100000 | 2147483647 12055 122 | 0.000 % |
2.27/2.31 c | 15665 | 1000 20000 100000 | 2147483647 12288 122 | 0.000 % |
2.27/2.36 c | 15922 | 1000 20000 100000 | 2147483647 12545 122 | 0.000 % |
2.37/2.41 c | 16205 | 1000 20000 100000 | 2147483647 12828 122 | 0.000 % |
2.37/2.47 c | 16514 | 1000 20000 100000 | 2147483647 13137 123 | 0.000 % |
2.47/2.53 c | 16853 | 1000 20000 100000 | 2147483647 13476 123 | 0.000 % |
2.47/2.55 c | 16954 | 1000 20000 100000 | 2147483647 13577 123 | 0.000 % |
2.47/2.57 c | 17065 | 1000 20000 100000 | 2147483647 13688 123 | 0.000 % |
2.57/2.60 c | 17188 | 1000 20000 100000 | 2147483647 13811 123 | 0.000 % |
2.57/2.62 c | 17325 | 1000 20000 100000 | 2147483647 13948 123 | 0.000 % |
2.57/2.65 c | 17471 | 1000 20000 100000 | 2147483647 14094 123 | 0.000 % |
2.57/2.68 c | 17634 | 1000 20000 100000 | 2147483647 14257 122 | 0.000 % |
2.67/2.72 c | 17810 | 1000 20000 100000 | 2147483647 14433 122 | 0.000 % |
2.67/2.76 c | 18003 | 1000 20000 100000 | 2147483647 14626 122 | 0.000 % |
2.77/2.80 c | 18215 | 1000 20000 100000 | 2147483647 14838 122 | 0.000 % |
2.77/2.85 c | 18448 | 1000 20000 100000 | 2147483647 15071 122 | 0.000 % |
2.87/2.90 c | 18705 | 1000 20000 100000 | 2147483647 15328 123 | 0.000 % |
2.87/2.95 c | 18988 | 1000 20000 100000 | 2147483647 15611 123 | 0.000 % |
2.97/3.02 c | 19298 | 1000 20000 100000 | 2147483647 15921 122 | 0.000 % |
2.97/3.08 c | 19637 | 1000 20000 100000 | 2147483647 16260 123 | 0.000 % |
3.07/3.16 c | 20011 | 1000 20000 100000 | 2147483647 16634 123 | 0.000 % |
3.07/3.19 c | 20112 | 1000 20000 100000 | 2147483647 16735 123 | 0.000 % |
3.17/3.21 c | 20222 | 1000 20000 100000 | 2147483647 16845 123 | 0.000 % |
3.17/3.24 c | 20344 | 1000 20000 100000 | 2147483647 16967 123 | 0.000 % |
3.17/3.27 c | 20478 | 1000 20000 100000 | 2147483647 17101 123 | 0.000 % |
3.27/3.30 c | 20624 | 1000 20000 100000 | 2147483647 17247 122 | 0.000 % |
3.27/3.34 c | 20784 | 1000 20000 100000 | 2147483647 17407 123 | 0.000 % |
3.27/3.37 c | 20960 | 1000 20000 100000 | 2147483647 17583 123 | 0.000 % |
3.37/3.42 c | 21153 | 1000 20000 100000 | 2147483647 17776 123 | 0.000 % |
3.37/3.46 c | 21365 | 1000 20000 100000 | 2147483647 17988 123 | 0.000 % |
3.47/3.52 c | 21598 | 1000 20000 100000 | 2147483647 18221 123 | 0.000 % |
3.47/3.58 c | 21854 | 1000 20000 100000 | 2147483647 18477 123 | 0.000 % |
3.57/3.65 c | 22136 | 1000 20000 100000 | 2147483647 18759 123 | 0.000 % |
3.67/3.72 c | 22445 | 1000 20000 100000 | 2147483647 19068 123 | 0.000 % |
3.67/3.79 c | 22784 | 1000 20000 100000 | 2147483647 19407 123 | 0.000 % |
3.77/3.88 c | 23157 | 1000 20000 100000 | 2147483647 19780 123 | 0.000 % |
3.87/3.97 c | 23566 | 1000 20000 100000 | 2147483647 20189 123 | 0.000 % |
3.87/4.00 c | 23667 | 1000 20000 100000 | 2147483647 20290 123 | 0.000 % |
3.97/4.03 c | 23777 | 1000 20000 100000 | 2147483647 20400 123 | 0.000 % |
3.97/4.06 c | 23898 | 1000 20000 100000 | 2147483647 20521 123 | 0.000 % |
3.97/4.09 c | 24031 | 1000 20000 100000 | 2147483647 20654 123 | 0.000 % |
4.07/4.13 c | 24177 | 1000 20000 100000 | 2147483647 20800 123 | 0.000 % |
4.07/4.17 c | 24339 | 1000 20000 100000 | 2147483647 20962 124 | 0.000 % |
4.17/4.22 c | 24516 | 1000 20000 100000 | 2147483647 21139 123 | 0.000 % |
4.17/4.27 c | 24709 | 1000 20000 100000 | 2147483647 21332 123 | 0.000 % |
4.27/4.32 c | 24921 | 1000 20000 100000 | 2147483647 21544 123 | 0.000 % |
4.27/4.38 c | 25154 | 1000 20000 100000 | 2147483647 21777 123 | 0.000 % |
4.37/4.44 c | 25410 | 1000 20000 100000 | 2147483647 22033 123 | 0.000 % |
4.46/4.51 c | 25691 | 1000 20000 100000 | 2147483647 22314 124 | 0.000 % |
4.46/4.59 c | 26004 | 1000 20000 100000 | 2147483647 22627 124 | 0.000 % |
4.57/4.67 c | 26344 | 1000 20000 100000 | 2147483647 22967 124 | 0.000 % |
4.67/4.77 c | 26717 | 1000 20000 100000 | 2147483647 23340 124 | 0.000 % |
4.77/4.89 c | 27127 | 1000 20000 100000 | 2147483647 23750 124 | 0.000 % |
4.97/5.00 c | 27576 | 1000 20000 100000 | 2147483647 24199 124 | 0.000 % |
4.97/5.03 c | 27677 | 1000 20000 100000 | 2147483647 24300 124 | 0.000 % |
4.97/5.06 c | 27788 | 1000 20000 100000 | 2147483647 24411 124 | 0.000 % |
4.97/5.10 c | 27912 | 1000 20000 100000 | 2147483647 24535 124 | 0.000 % |
5.07/5.13 c | 28046 | 1000 20000 100000 | 2147483647 24669 124 | 0.000 % |
5.07/5.18 c | 28195 | 1000 20000 100000 | 2147483647 24818 124 | 0.000 % |
5.17/5.22 c | 28355 | 1000 20000 100000 | 2147483647 24978 124 | 0.000 % |
5.17/5.28 c | 28531 | 1000 20000 100000 | 2147483647 25154 124 | 0.000 % |
5.27/5.33 c | 28726 | 1000 20000 100000 | 2147483647 25349 124 | 0.000 % |
5.27/5.39 c | 28938 | 1000 20000 100000 | 2147483647 25561 124 | 0.000 % |
5.37/5.45 c | 29172 | 1000 20000 100000 | 2147483647 25795 124 | 0.000 % |
5.47/5.52 c | 29429 | 1000 20000 100000 | 2147483647 26052 124 | 0.000 % |
5.47/5.60 c | 29710 | 1000 20000 100000 | 2147483647 26333 124 | 0.000 % |
5.56/5.69 c | 30020 | 1000 20000 100000 | 2147483647 26643 124 | 0.000 % |
5.66/5.79 c | 30359 | 1000 20000 100000 | 2147483647 26982 124 | 0.000 % |
5.86/5.90 c | 30731 | 1000 20000 100000 | 2147483647 27354 124 | 0.000 % |
5.96/6.02 c | 31140 | 1000 20000 100000 | 2147483647 27763 124 | 0.000 % |
6.06/6.15 c | 31589 | 1000 20000 100000 | 2147483647 28212 124 | 0.000 % |
6.26/6.31 c | 32082 | 1000 20000 100000 | 2147483647 28705 124 | 0.000 % |
6.26/6.34 c | 32183 | 1000 20000 100000 | 2147483647 28806 124 | 0.000 % |
6.26/6.38 c | 32294 | 1000 20000 100000 | 2147483647 28917 124 | 0.000 % |
6.36/6.41 c | 32416 | 1000 20000 100000 | 2147483647 29039 124 | 0.000 % |
6.36/6.45 c | 32550 | 1000 20000 100000 | 2147483647 29173 124 | 0.000 % |
6.47/6.51 c | 32697 | 1000 20000 100000 | 2147483647 29320 124 | 0.000 % |
6.47/6.56 c | 32857 | 1000 20000 100000 | 2147483647 29480 124 | 0.000 % |
6.57/6.62 c | 33034 | 1000 20000 100000 | 2147483647 29657 124 | 0.000 % |
6.57/6.69 c | 33228 | 1000 20000 100000 | 2147483647 29851 124 | 0.000 % |
6.66/6.75 c | 33440 | 1000 20000 100000 | 2147483647 30063 124 | 0.000 % |
6.76/6.83 c | 33676 | 1000 20000 100000 | 2147483647 30299 124 | 0.000 % |
6.86/6.91 c | 33932 | 1000 20000 100000 | 2147483647 30555 124 | 0.000 % |
6.96/7.01 c | 34214 | 1000 20000 100000 | 2147483647 30837 124 | 0.000 % |
7.06/7.11 c | 34523 | 1000 20000 100000 | 2147483647 31146 124 | 0.000 % |
7.16/7.23 c | 34864 | 1000 20000 100000 | 2147483647 31487 124 | 0.000 % |
7.26/7.35 c | 35236 | 1000 20000 100000 | 2147483647 31859 124 | 0.000 % |
7.36/7.48 c | 35645 | 1000 20000 100000 | 2147483647 32268 124 | 0.000 % |
7.58/7.63 c | 36095 | 1000 20000 100000 | 2147483647 32718 124 | 0.000 % |
7.68/7.79 c | 36588 | 1000 20000 100000 | 2147483647 33211 124 | 0.000 % |
7.87/7.97 c | 37130 | 1000 20000 100000 | 2147483647 33753 124 | 0.000 % |
7.97/8.01 c | 37231 | 1000 20000 100000 | 2147483647 33854 124 | 0.000 % |
7.97/8.05 c | 37342 | 1000 20000 100000 | 2147483647 33965 124 | 0.000 % |
7.97/8.09 c | 37463 | 1000 20000 100000 | 2147483647 34086 124 | 0.000 % |
8.07/8.14 c | 37596 | 1000 20000 100000 | 2147483647 34219 124 | 0.000 % |
8.17/8.20 c | 37742 | 1000 20000 100000 | 2147483647 34365 124 | 0.000 % |
8.17/8.26 c | 37904 | 1000 20000 100000 | 2147483647 34527 124 | 0.000 % |
8.27/8.32 c | 38080 | 1000 20000 100000 | 2147483647 34703 124 | 0.000 % |
8.27/8.40 c | 38273 | 1000 20000 100000 | 2147483647 34896 124 | 0.000 % |
8.37/8.47 c | 38485 | 1000 20000 100000 | 2147483647 35108 124 | 0.000 % |
8.47/8.56 c | 38719 | 1000 20000 100000 | 2147483647 35342 124 | 0.000 % |
8.57/8.65 c | 38975 | 1000 20000 100000 | 2147483647 35598 124 | 0.000 % |
8.67/8.76 c | 39258 | 1000 20000 100000 | 2147483647 35881 124 | 0.000 % |
8.77/8.86 c | 39568 | 1000 20000 100000 | 2147483647 36191 124 | 0.000 % |
8.97/9.00 c | 39909 | 1000 20000 100000 | 2147483647 36532 124 | 0.000 % |
9.07/9.14 c | 40283 | 1000 20000 100000 | 2147483647 36906 124 | 0.000 % |
9.27/9.30 c | 40693 | 1000 20000 100000 | 2147483647 37316 125 | 0.000 % |
9.37/9.45 c | 41143 | 1000 20000 100000 | 2147483647 37766 125 | 0.000 % |
9.57/9.63 c | 41637 | 1000 20000 100000 | 2147483647 38260 125 | 0.000 % |
9.77/9.82 c | 42179 | 1000 20000 100000 | 2147483647 38802 125 | 0.000 % |
9.96/10.04 c | 42776 | 1000 20000 100000 | 2147483647 39399 125 | 0.000 % |
9.96/10.08 c | 42876 | 1000 20000 100000 | 2147483647 39499 125 | 0.000 % |
10.06/10.13 c | 42987 | 1000 20000 100000 | 2147483647 39610 125 | 0.000 % |
10.06/10.18 c | 43108 | 1000 20000 100000 | 2147483647 39731 125 | 0.000 % |
10.17/10.24 c | 43242 | 1000 20000 100000 | 2147483647 39865 125 | 0.000 % |
10.17/10.30 c | 43388 | 1000 20000 100000 | 2147483647 40011 125 | 0.000 % |
10.27/10.36 c | 43548 | 1000 20000 100000 | 2147483647 40171 125 | 0.000 % |
10.37/10.44 c | 43726 | 1000 20000 100000 | 2147483647 40349 125 | 0.000 % |
10.47/10.52 c | 43919 | 1000 20000 100000 | 2147483647 40542 125 | 0.000 % |
10.47/10.60 c | 44132 | 1000 20000 100000 | 2147483647 40755 125 | 0.000 % |
10.57/10.69 c | 44365 | 1000 20000 100000 | 2147483647 40988 125 | 0.000 % |
10.67/10.78 c | 44621 | 1000 20000 100000 | 2147483647 41244 125 | 0.000 % |
10.87/10.91 c | 44902 | 1000 20000 100000 | 2147483647 41525 125 | 0.000 % |
10.97/11.03 c | 45212 | 1000 20000 100000 | 2147483647 41835 125 | 0.000 % |
11.07/11.15 c | 45552 | 1000 20000 100000 | 2147483647 42175 125 | 0.000 % |
11.27/11.33 c | 45924 | 1000 20000 100000 | 2147483647 42547 125 | 0.000 % |
11.37/11.49 c | 46333 | 1000 20000 100000 | 2147483647 42956 125 | 0.000 % |
11.57/11.66 c | 46783 | 1000 20000 100000 | 2147483647 43406 125 | 0.000 % |
11.77/11.86 c | 47277 | 1000 20000 100000 | 2147483647 43900 125 | 0.000 % |
11.97/12.08 c | 47821 | 1000 20000 100000 | 2147483647 44444 125 | 0.000 % |
12.26/12.31 c | 48417 | 1000 20000 100000 | 2147483647 45040 126 | 0.000 % |
12.46/12.56 c | 49073 | 1000 20000 100000 | 2147483647 45696 126 | 0.000 % |
12.56/12.63 c | 49173 | 1000 20000 100000 | 2147483647 45796 126 | 0.000 % |
12.56/12.68 c | 49283 | 1000 20000 100000 | 2147483647 45906 126 | 0.000 % |
12.66/12.74 c | 49404 | 1000 20000 100000 | 2147483647 46027 125 | 0.000 % |
12.76/12.80 c | 49538 | 1000 20000 100000 | 2147483647 46161 125 | 0.000 % |
12.76/12.87 c | 49684 | 1000 20000 100000 | 2147483647 46307 126 | 0.000 % |
12.86/12.94 c | 49845 | 1000 20000 100000 | 2147483647 46468 126 | 0.000 % |
12.96/13.02 c | 50021 | 1000 20000 100000 | 2147483647 46644 126 | 0.000 % |
13.07/13.12 c | 50214 | 1000 20000 100000 | 2147483647 46837 126 | 0.000 % |
13.17/13.22 c | 50426 | 1000 20000 100000 | 2147483647 47049 126 | 0.000 % |
13.26/13.34 c | 50660 | 1000 20000 100000 | 2147483647 47283 126 | 0.000 % |
13.36/13.45 c | 50917 | 1000 20000 100000 | 2147483647 47540 126 | 0.000 % |
13.46/13.58 c | 51201 | 1000 20000 100000 | 2147483647 47824 126 | 0.000 % |
13.66/13.71 c | 51512 | 1000 20000 100000 | 2147483647 48135 126 | 0.000 % |
13.76/13.88 c | 51851 | 1000 20000 100000 | 2147483647 48474 126 | 0.000 % |
13.97/14.05 c | 52223 | 1000 20000 100000 | 2147483647 48846 126 | 0.000 % |
14.17/14.24 c | 52632 | 1000 20000 100000 | 2147483647 49255 126 | 0.000 % |
14.37/14.44 c | 53082 | 1000 20000 100000 | 2147483647 49705 126 | 0.000 % |
14.57/14.68 c | 53576 | 1000 20000 100000 | 2147483647 50199 126 | 0.000 % |
14.87/14.93 c | 54118 | 1000 20000 100000 | 2147483647 50741 126 | 0.000 % |
15.17/15.20 c | 54714 | 1000 20000 100000 | 2147483647 51337 126 | 0.000 % |
15.37/15.48 c | 55369 | 1000 20000 100000 | 2147483647 51992 126 | 0.000 % |
15.66/15.78 c | 56089 | 1000 20000 100000 | 2147483647 52712 126 | 0.000 % |
15.76/15.85 c | 56193 | 1000 20000 100000 | 2147483647 52816 126 | 0.000 % |
15.86/15.91 c | 56305 | 1000 20000 100000 | 2147483647 52928 126 | 0.000 % |
15.86/15.97 c | 56426 | 1000 20000 100000 | 2147483647 53049 126 | 0.000 % |
15.96/16.04 c | 56559 | 1000 20000 100000 | 2147483647 53182 126 | 0.000 % |
16.06/16.12 c | 56705 | 1000 20000 100000 | 2147483647 53328 126 | 0.000 % |
16.16/16.21 c | 56865 | 1000 20000 100000 | 2147483647 53488 126 | 0.000 % |
16.26/16.30 c | 57041 | 1000 20000 100000 | 2147483647 53664 126 | 0.000 % |
16.37/16.42 c | 57237 | 1000 20000 100000 | 2147483647 53860 126 | 0.000 % |
16.47/16.53 c | 57450 | 1000 20000 100000 | 2147483647 54073 126 | 0.000 % |
16.56/16.65 c | 57686 | 1000 20000 100000 | 2147483647 54309 126 | 0.000 % |
16.66/16.77 c | 57942 | 1000 20000 100000 | 2147483647 54565 126 | 0.000 % |
16.86/16.91 c | 58223 | 1000 20000 100000 | 2147483647 54846 126 | 0.000 % |
16.96/17.06 c | 58532 | 1000 20000 100000 | 2147483647 55155 126 | 0.000 % |
17.16/17.24 c | 58871 | 1000 20000 100000 | 2147483647 55494 126 | 0.000 % |
17.37/17.43 c | 59243 | 1000 20000 100000 | 2147483647 55866 126 | 0.000 % |
17.57/17.62 c | 59652 | 1000 20000 100000 | 2147483647 56275 126 | 0.000 % |
17.77/17.84 c | 60102 | 1000 20000 100000 | 2147483647 56725 126 | 0.000 % |
17.97/18.09 c | 60595 | 1000 20000 100000 | 2147483647 57218 126 | 0.000 % |
18.26/18.38 c | 61137 | 1000 20000 100000 | 2147483647 57760 126 | 0.000 % |
18.57/18.69 c | 61734 | 1000 20000 100000 | 2147483647 58357 126 | 0.000 % |
18.96/19.06 c | 62389 | 1000 20000 100000 | 2147483647 59012 126 | 0.000 % |
19.36/19.42 c | 63111 | 1000 20000 100000 | 2147483647 59734 126 | 0.000 % |
19.76/19.85 c | 63905 | 1000 20000 100000 | 2147483647 60528 126 | 0.000 % |
19.86/19.90 c | 64006 | 1000 20000 100000 | 2147483647 60629 126 | 0.000 % |
19.86/19.97 c | 64118 | 1000 20000 100000 | 2147483647 60741 126 | 0.000 % |
19.96/20.04 c | 64239 | 1000 20000 100000 | 2147483647 60862 126 | 0.000 % |
20.06/20.12 c | 64374 | 1000 20000 100000 | 2147483647 60997 126 | 0.000 % |
20.16/20.21 c | 64520 | 1000 20000 100000 | 2147483647 61143 126 | 0.000 % |
20.26/20.32 c | 64680 | 1000 20000 100000 | 2147483647 61303 126 | 0.000 % |
20.37/20.42 c | 64857 | 1000 20000 100000 | 2147483647 61480 126 | 0.000 % |
20.47/20.54 c | 65050 | 1000 20000 100000 | 2147483647 61673 126 | 0.000 % |
20.57/20.68 c | 65262 | 1000 20000 100000 | 2147483647 61885 126 | 0.000 % |
20.77/20.80 c | 65495 | 1000 20000 100000 | 2147483647 62118 126 | 0.000 % |
20.87/20.96 c | 65754 | 1000 20000 100000 | 2147483647 62377 126 | 0.000 % |
21.06/21.12 c | 66035 | 1000 20000 100000 | 2147483647 62658 126 | 0.000 % |
21.26/21.34 c | 66344 | 1000 20000 100000 | 2147483647 62967 126 | 0.000 % |
21.46/21.53 c | 66684 | 1000 20000 100000 | 2147483647 63307 126 | 0.000 % |
21.66/21.75 c | 67056 | 1000 20000 100000 | 2147483647 63679 126 | 0.000 % |
21.86/22.00 c | 67466 | 1000 20000 100000 | 2147483647 64089 126 | 0.000 % |
22.16/22.25 c | 67915 | 1000 20000 100000 | 2147483647 64538 126 | 0.000 % |
22.46/22.55 c | 68409 | 1000 20000 100000 | 2147483647 65032 126 | 0.000 % |
22.77/22.89 c | 68953 | 1000 20000 100000 | 2147483647 65576 126 | 0.000 % |
23.17/23.23 c | 69549 | 1000 20000 100000 | 2147483647 66172 126 | 0.000 % |
23.57/23.66 c | 70204 | 1000 20000 100000 | 2147483647 66827 126 | 0.000 % |
23.97/24.07 c | 70924 | 1000 20000 100000 | 2147483647 67547 127 | 0.000 % |
24.46/24.55 c | 71717 | 1000 20000 100000 | 2147483647 68340 127 | 0.000 % |
24.96/25.03 c | 72589 | 1000 20000 100000 | 2147483647 69212 127 | 0.000 % |
25.06/25.11 c | 72689 | 1000 20000 100000 | 2147483647 69312 127 | 0.000 % |
25.06/25.19 c | 72800 | 1000 20000 100000 | 2147483647 69423 127 | 0.000 % |
25.16/25.27 c | 72923 | 1000 20000 100000 | 2147483647 69546 127 | 0.000 % |
25.26/25.37 c | 73057 | 1000 20000 100000 | 2147483647 69680 127 | 0.000 % |
25.36/25.49 c | 73203 | 1000 20000 100000 | 2147483647 69826 127 | 0.000 % |
25.56/25.60 c | 73364 | 1000 20000 100000 | 2147483647 69987 127 | 0.000 % |
25.66/25.72 c | 73540 | 1000 20000 100000 | 2147483647 70163 127 | 0.000 % |
25.76/25.86 c | 73735 | 1000 20000 100000 | 2147483647 70358 127 | 0.000 % |
25.96/26.00 c | 73948 | 1000 20000 100000 | 2147483647 70571 127 | 0.000 % |
26.06/26.16 c | 74182 | 1000 20000 100000 | 2147483647 70805 127 | 0.000 % |
26.26/26.32 c | 74438 | 1000 20000 100000 | 2147483647 71061 127 | 0.000 % |
26.36/26.49 c | 74719 | 1000 20000 100000 | 2147483647 71342 127 | 0.000 % |
26.57/26.67 c | 75029 | 1000 20000 100000 | 2147483647 71652 127 | 0.000 % |
26.86/26.91 c | 75369 | 1000 20000 100000 | 2147483647 71992 127 | 0.000 % |
27.07/27.15 c | 75741 | 1000 20000 100000 | 2147483647 72364 127 | 0.000 % |
27.37/27.42 c | 76152 | 1000 20000 100000 | 2147483647 72775 127 | 0.000 % |
27.66/27.70 c | 76602 | 1000 20000 100000 | 2147483647 73225 127 | 0.000 % |
27.96/28.01 c | 77095 | 1000 20000 100000 | 2147483647 73718 127 | 0.000 % |
28.36/28.42 c | 77638 | 1000 20000 100000 | 2147483647 74261 127 | 0.000 % |
28.76/28.80 c | 78234 | 1000 20000 100000 | 2147483647 74857 127 | 0.000 % |
29.16/29.23 c | 78889 | 1000 20000 100000 | 2147483647 75512 127 | 0.000 % |
29.67/29.70 c | 79611 | 1000 20000 100000 | 2147483647 76234 127 | 0.000 % |
30.16/30.24 c | 80405 | 1000 20000 100000 | 2147483647 77028 127 | 0.000 % |
30.76/30.83 c | 81276 | 1000 20000 100000 | 2147483647 77899 127 | 0.000 % |
31.36/31.47 c | 82234 | 1000 20000 100000 | 2147483647 78857 127 | 0.000 % |
31.46/31.54 c | 82335 | 1000 20000 100000 | 2147483647 78958 127 | 0.000 % |
31.56/31.63 c | 82445 | 1000 20000 100000 | 2147483647 79068 127 | 0.000 % |
31.66/31.73 c | 82568 | 1000 20000 100000 | 2147483647 79191 127 | 0.000 % |
31.76/31.85 c | 82701 | 1000 20000 100000 | 2147483647 79324 127 | 0.000 % |
31.86/31.96 c | 82847 | 1000 20000 100000 | 2147483647 79470 127 | 0.000 % |
32.06/32.10 c | 83007 | 1000 20000 100000 | 2147483647 79630 127 | 0.000 % |
32.16/32.26 c | 83183 | 1000 20000 100000 | 2147483647 79806 127 | 0.000 % |
32.36/32.40 c | 83378 | 1000 20000 100000 | 2147483647 80001 127 | 0.000 % |
32.46/32.54 c | 83592 | 1000 20000 100000 | 2147483647 80215 127 | 0.000 % |
32.65/32.74 c | 83826 | 1000 20000 100000 | 2147483647 80449 127 | 0.000 % |
32.85/32.94 c | 84082 | 1000 20000 100000 | 2147483647 80705 127 | 0.000 % |
33.05/33.15 c | 84363 | 1000 20000 100000 | 2147483647 80986 127 | 0.000 % |
33.26/33.39 c | 84672 | 1000 20000 100000 | 2147483647 81295 127 | 0.000 % |
33.56/33.62 c | 85013 | 1000 20000 100000 | 2147483647 81636 127 | 0.000 % |
33.86/33.93 c | 85387 | 1000 20000 100000 | 2147483647 82010 127 | 0.000 % |
34.16/34.25 c | 85799 | 1000 20000 100000 | 2147483647 82422 127 | 0.000 % |
34.46/34.56 c | 86248 | 1000 20000 100000 | 2147483647 82871 127 | 0.000 % |
34.85/34.94 c | 86741 | 1000 20000 100000 | 2147483647 83364 127 | 0.000 % |
35.25/35.34 c | 87285 | 1000 20000 100000 | 2147483647 83908 127 | 0.000 % |
35.65/35.78 c | 87883 | 1000 20000 100000 | 2147483647 84506 127 | 0.000 % |
36.16/36.27 c | 88538 | 1000 20000 100000 | 2147483647 85161 127 | 0.000 % |
36.75/36.86 c | 89258 | 1000 20000 100000 | 2147483647 85881 127 | 0.000 % |
37.36/37.41 c | 90051 | 1000 20000 100000 | 2147483647 86674 127 | 0.000 % |
38.05/38.12 c | 90922 | 1000 20000 100000 | 2147483647 87545 127 | 0.000 % |
38.65/38.78 c | 91881 | 1000 20000 100000 | 2147483647 88504 127 | 0.000 % |
39.45/39.54 c | 92935 | 1000 20000 100000 | 2147483647 89558 127 | 0.000 % |
39.55/39.63 c | 93036 | 1000 20000 100000 | 2147483647 89659 127 | 0.000 % |
39.65/39.74 c | 93146 | 1000 20000 100000 | 2147483647 89769 127 | 0.000 % |
39.75/39.84 c | 93267 | 1000 20000 100000 | 2147483647 89890 127 | 0.000 % |
39.85/39.96 c | 93404 | 1000 20000 100000 | 2147483647 90027 127 | 0.000 % |
40.05/40.10 c | 93550 | 1000 20000 100000 | 2147483647 90173 127 | 0.000 % |
40.15/40.26 c | 93712 | 1000 20000 100000 | 2147483647 90335 127 | 0.000 % |
40.35/40.40 c | 93888 | 1000 20000 100000 | 2147483647 90511 127 | 0.000 % |
40.45/40.57 c | 94082 | 1000 20000 100000 | 2147483647 90705 127 | 0.000 % |
40.65/40.77 c | 94295 | 1000 20000 100000 | 2147483647 90918 127 | 0.000 % |
40.85/40.97 c | 94529 | 1000 20000 100000 | 2147483647 91152 127 | 0.000 % |
41.15/41.20 c | 94785 | 1000 20000 100000 | 2147483647 91408 127 | 0.000 % |
41.35/41.41 c | 95069 | 1000 20000 100000 | 2147483647 91692 127 | 0.000 % |
41.55/41.69 c | 95378 | 1000 20000 100000 | 2147483647 92001 127 | 0.000 % |
41.85/41.95 c | 95718 | 1000 20000 100000 | 2147483647 92341 127 | 0.000 % |
42.15/42.25 c | 96091 | 1000 20000 100000 | 2147483647 92714 127 | 0.000 % |
42.55/42.63 c | 96500 | 1000 20000 100000 | 2147483647 93123 127 | 0.000 % |
42.95/43.01 c | 96950 | 1000 20000 100000 | 2147483647 93573 127 | 0.000 % |
43.25/43.39 c | 97444 | 1000 20000 100000 | 2147483647 94067 127 | 0.000 % |
43.75/43.83 c | 97988 | 1000 20000 100000 | 2147483647 94611 127 | 0.000 % |
44.15/44.29 c | 98584 | 1000 20000 100000 | 2147483647 95207 127 | 0.000 % |
44.75/44.85 c | 99239 | 1000 20000 100000 | 2147483647 95862 127 | 0.000 % |
45.35/45.45 c | 99959 | 1000 20000 100000 | 2147483647 96582 127 | 0.000 % |
46.05/46.14 c | 100752 | 1000 20000 100000 | 96624 84009 127 | 0.000 % |
46.65/46.79 c | 101624 | 1000 20000 100000 | 96624 84881 127 | 0.000 % |
47.35/47.46 c | 102582 | 1000 20000 100000 | 96624 85839 127 | 0.000 % |
48.15/48.30 c | 103636 | 1000 20000 100000 | 96624 86893 127 | 0.000 % |
49.05/49.20 c | 104800 | 1000 20000 100000 | 96624 88057 128 | 0.000 % |
49.15/49.28 c | 104901 | 1000 20000 100000 | 96624 88158 128 | 0.000 % |
49.25/49.37 c | 105011 | 1000 20000 100000 | 96624 88268 128 | 0.000 % |
49.35/49.49 c | 105132 | 1000 20000 100000 | 96624 88389 127 | 0.000 % |
49.55/49.61 c | 105266 | 1000 20000 100000 | 96624 88523 127 | 0.000 % |
49.65/49.74 c | 105412 | 1000 20000 100000 | 96624 88669 127 | 0.000 % |
49.75/49.87 c | 105572 | 1000 20000 100000 | 96624 88829 127 | 0.000 % |
49.95/50.04 c | 105750 | 1000 20000 100000 | 96624 89007 127 | 0.000 % |
50.15/50.21 c | 105943 | 1000 20000 100000 | 96624 89200 127 | 0.000 % |
50.25/50.39 c | 106155 | 1000 20000 100000 | 96624 89412 127 | 0.000 % |
50.45/50.57 c | 106388 | 1000 20000 100000 | 96624 89645 127 | 0.000 % |
50.65/50.78 c | 106644 | 1000 20000 100000 | 96624 89901 127 | 0.000 % |
50.85/50.99 c | 106925 | 1000 20000 100000 | 96624 90182 127 | 0.000 % |
51.15/51.22 c | 107234 | 1000 20000 100000 | 96624 90491 127 | 0.000 % |
51.35/51.48 c | 107574 | 1000 20000 100000 | 96624 90831 127 | 0.000 % |
51.75/51.84 c | 107946 | 1000 20000 100000 | 96624 91203 127 | 0.000 % |
52.05/52.19 c | 108356 | 1000 20000 100000 | 96624 91613 127 | 0.000 % |
52.45/52.56 c | 108806 | 1000 20000 100000 | 96624 92063 128 | 0.000 % |
52.85/52.96 c | 109299 | 1000 20000 100000 | 96624 92556 128 | 0.000 % |
53.24/53.37 c | 109848 | 1000 20000 100000 | 96624 93105 128 | 0.000 % |
53.75/53.88 c | 110444 | 1000 20000 100000 | 93257 80568 128 | 0.000 % |
54.24/54.32 c | 111100 | 1000 20000 100000 | 93257 81224 128 | 0.000 % |
54.64/54.79 c | 111821 | 1000 20000 100000 | 93257 81945 128 | 0.000 % |
55.24/55.35 c | 112613 | 1000 20000 100000 | 93257 82737 128 | 0.000 % |
55.84/55.94 c | 113484 | 1000 20000 100000 | 93257 83608 128 | 0.000 % |
56.44/56.53 c | 114445 | 1000 20000 100000 | 93257 84569 128 | 0.000 % |
57.15/57.22 c | 115503 | 1000 20000 100000 | 93257 85627 128 | 0.000 % |
58.04/58.17 c | 116663 | 1000 20000 100000 | 93257 86787 128 | 0.000 % |
59.04/59.11 c | 117938 | 1000 20000 100000 | 93257 88062 129 | 0.000 % |
59.04/59.19 c | 118038 | 1000 20000 100000 | 93257 88162 129 | 0.000 % |
59.25/59.30 c | 118148 | 1000 20000 100000 | 93257 88272 129 | 0.000 % |
59.35/59.41 c | 118270 | 1000 20000 100000 | 93257 88394 129 | 0.000 % |
59.44/59.53 c | 118403 | 1000 20000 100000 | 93257 88527 129 | 0.000 % |
59.54/59.65 c | 118549 | 1000 20000 100000 | 93257 88673 129 | 0.000 % |
59.64/59.79 c | 118709 | 1000 20000 100000 | 93257 88833 129 | 0.000 % |
59.84/59.97 c | 118886 | 1000 20000 100000 | 93257 89010 129 | 0.000 % |
60.04/60.13 c | 119080 | 1000 20000 100000 | 93257 89204 129 | 0.000 % |
60.24/60.34 c | 119292 | 1000 20000 100000 | 93257 89416 129 | 0.000 % |
60.44/60.53 c | 119525 | 1000 20000 100000 | 93257 89649 129 | 0.000 % |
60.64/60.76 c | 119783 | 1000 20000 100000 | 93257 89907 129 | 0.000 % |
60.84/60.99 c | 120064 | 1000 20000 100000 | 90128 90188 128 | 0.000 % |
61.14/61.28 c | 120376 | 1000 20000 100000 | 90128 79217 129 | 0.000 % |
61.44/61.54 c | 120717 | 1000 20000 100000 | 90128 79558 129 | 0.000 % |
61.74/61.80 c | 121090 | 1000 20000 100000 | 90128 79931 129 | 0.000 % |
62.04/62.13 c | 121501 | 1000 20000 100000 | 90128 80342 129 | 0.000 % |
62.34/62.50 c | 121950 | 1000 20000 100000 | 90128 80791 129 | 0.000 % |
62.74/62.86 c | 122444 | 1000 20000 100000 | 90128 81285 129 | 0.000 % |
63.14/63.25 c | 122986 | 1000 20000 100000 | 90128 81827 129 | 0.000 % |
63.54/63.66 c | 123582 | 1000 20000 100000 | 90128 82423 129 | 0.000 % |
64.14/64.21 c | 124238 | 1000 20000 100000 | 90128 83079 129 | 0.000 % |
64.64/64.75 c | 124959 | 1000 20000 100000 | 90128 83800 129 | 0.000 % |
65.24/65.34 c | 125753 | 1000 20000 100000 | 90128 84594 129 | 0.000 % |
65.84/65.99 c | 126624 | 1000 20000 100000 | 90128 85465 129 | 0.000 % |
66.53/66.69 c | 127583 | 1000 20000 100000 | 90128 86424 129 | 0.000 % |
67.43/67.56 c | 128637 | 1000 20000 100000 | 90128 87478 129 | 0.000 % |
68.33/68.44 c | 129796 | 1000 20000 100000 | 90128 88637 129 | 0.000 % |
69.24/69.39 c | 131069 | 1000 20000 100000 | 88842 79407 129 | 0.000 % |
70.24/70.38 c | 132470 | 1000 20000 100000 | 88842 80808 129 | 0.000 % |
70.34/70.46 c | 132570 | 1000 20000 100000 | 88842 80908 129 | 0.000 % |
70.43/70.56 c | 132680 | 1000 20000 100000 | 88842 81018 129 | 0.000 % |
70.53/70.66 c | 132802 | 1000 20000 100000 | 88842 81140 129 | 0.000 % |
70.63/70.76 c | 132935 | 1000 20000 100000 | 88842 81273 129 | 0.000 % |
70.73/70.88 c | 133081 | 1000 20000 100000 | 88842 81419 129 | 0.000 % |
70.93/71.01 c | 133242 | 1000 20000 100000 | 88842 81580 129 | 0.000 % |
71.03/71.16 c | 133420 | 1000 20000 100000 | 88842 81758 129 | 0.000 % |
71.23/71.31 c | 133614 | 1000 20000 100000 | 88842 81952 129 | 0.000 % |
71.33/71.47 c | 133827 | 1000 20000 100000 | 88842 82165 129 | 0.000 % |
71.53/71.64 c | 134060 | 1000 20000 100000 | 88842 82398 129 | 0.000 % |
71.73/71.86 c | 134316 | 1000 20000 100000 | 88842 82654 129 | 0.000 % |
71.93/72.08 c | 134597 | 1000 20000 100000 | 88842 82935 129 | 0.000 % |
72.23/72.35 c | 134908 | 1000 20000 100000 | 88842 83246 129 | 0.000 % |
72.43/72.60 c | 135247 | 1000 20000 100000 | 88842 83585 129 | 0.000 % |
72.73/72.85 c | 135620 | 1000 20000 100000 | 88842 83958 129 | 0.000 % |
73.03/73.13 c | 136031 | 1000 20000 100000 | 88842 84369 129 | 0.000 % |
73.43/73.51 c | 136482 | 1000 20000 100000 | 88842 84820 129 | 0.000 % |
73.73/73.88 c | 136975 | 1000 20000 100000 | 88842 85313 129 | 0.000 % |
74.23/74.31 c | 137518 | 1000 20000 100000 | 88842 85856 129 | 0.000 % |
74.63/74.80 c | 138115 | 1000 20000 100000 | 88842 86453 129 | 0.000 % |
75.13/75.29 c | 138774 | 1000 20000 100000 | 88842 87112 129 | 0.000 % |
75.63/75.79 c | 139494 | 1000 20000 100000 | 88842 87832 129 | 0.000 % |
76.23/76.34 c | 140290 | 1000 20000 100000 | 88338 88628 129 | 0.000 % |
76.83/76.98 c | 141161 | 1000 20000 100000 | 88338 79187 129 | 0.000 % |
77.53/77.61 c | 142119 | 1000 20000 100000 | 88338 80145 129 | 0.000 % |
78.12/78.27 c | 143172 | 1000 20000 100000 | 88338 81198 129 | 0.000 % |
78.92/79.10 c | 144332 | 1000 20000 100000 | 88338 82358 129 | 0.000 % |
79.82/79.94 c | 145605 | 1000 20000 100000 | 88338 83631 129 | 0.000 % |
80.71/80.89 c | 147005 | 1000 20000 100000 | 88338 85031 129 | 0.000 % |
82.01/82.10 c | 148546 | 1000 20000 100000 | 88338 86572 129 | 0.000 % |
82.11/82.20 c | 148646 | 1000 20000 100000 | 88338 86672 129 | 0.000 % |
82.21/82.31 c | 148759 | 1000 20000 100000 | 88338 86785 129 | 0.000 % |
82.32/82.42 c | 148881 | 1000 20000 100000 | 88338 86907 129 | 0.000 % |
82.42/82.54 c | 149015 | 1000 20000 100000 | 88338 87041 129 | 0.000 % |
82.51/82.67 c | 149161 | 1000 20000 100000 | 88338 87187 129 | 0.000 % |
82.71/82.81 c | 149322 | 1000 20000 100000 | 88338 87348 129 | 0.000 % |
82.81/82.95 c | 149498 | 1000 20000 100000 | 88338 87524 129 | 0.000 % |
83.01/83.12 c | 149693 | 1000 20000 100000 | 88338 87719 129 | 0.000 % |
83.11/83.29 c | 149905 | 1000 20000 100000 | 88338 87931 129 | 0.000 % |
83.31/83.47 c | 150140 | 1000 20000 100000 | 88027 88166 129 | 0.000 % |
83.52/83.68 c | 150396 | 1000 20000 100000 | 88027 79367 129 | 0.000 % |
83.71/83.87 c | 150678 | 1000 20000 100000 | 88027 79649 129 | 0.000 % |
83.91/84.08 c | 150989 | 1000 20000 100000 | 88027 79960 129 | 0.000 % |
84.21/84.30 c | 151331 | 1000 20000 100000 | 88027 80302 129 | 0.000 % |
84.41/84.55 c | 151704 | 1000 20000 100000 | 88027 80675 129 | 0.000 % |
84.71/84.84 c | 152113 | 1000 20000 100000 | 88027 81084 129 | 0.000 % |
85.01/85.13 c | 152563 | 1000 20000 100000 | 88027 81534 129 | 0.000 % |
85.41/85.56 c | 153056 | 1000 20000 100000 | 88027 82027 129 | 0.000 % |
85.81/85.98 c | 153598 | 1000 20000 100000 | 88027 82569 129 | 0.000 % |
86.31/86.45 c | 154195 | 1000 20000 100000 | 88027 83166 129 | 0.000 % |
86.82/86.92 c | 154852 | 1000 20000 100000 | 88027 83823 129 | 0.000 % |
87.31/87.45 c | 155573 | 1000 20000 100000 | 88027 84544 129 | 0.000 % |
87.92/88.09 c | 156366 | 1000 20000 100000 | 88027 85337 129 | 0.000 % |
88.61/88.73 c | 157237 | 1000 20000 100000 | 88027 86208 129 | 0.000 % |
89.31/89.41 c | 158195 | 1000 20000 100000 | 88027 87166 129 | 0.000 % |
90.02/90.12 c | 159249 | 1000 20000 100000 | 88027 88220 129 | 0.000 % |
90.81/90.94 c | 160407 | 1000 20000 100000 | 79456 71704 130 | 0.000 % |
91.61/91.71 c | 161681 | 1000 20000 100000 | 79456 72978 130 | 0.000 % |
92.41/92.58 c | 163081 | 1000 20000 100000 | 79456 74378 130 | 0.000 % |
93.41/93.57 c | 164621 | 1000 20000 100000 | 79456 75918 130 | 0.000 % |
94.51/94.62 c | 166317 | 1000 20000 100000 | 79456 77614 130 | 0.000 % |
94.61/94.70 c | 166419 | 1000 20000 100000 | 79456 77716 130 | 0.000 % |
94.61/94.77 c | 166529 | 1000 20000 100000 | 79456 77826 130 | 0.000 % |
94.71/94.88 c | 166652 | 1000 20000 100000 | 79456 77949 130 | 0.000 % |
94.81/94.98 c | 166785 | 1000 20000 100000 | 79456 78082 130 | 0.000 % |
94.91/95.08 c | 166932 | 1000 20000 100000 | 79456 78229 130 | 0.000 % |
95.11/95.21 c | 167092 | 1000 20000 100000 | 79456 78389 130 | 0.000 % |
95.21/95.35 c | 167268 | 1000 20000 100000 | 79456 78565 130 | 0.000 % |
95.41/95.50 c | 167462 | 1000 20000 100000 | 79456 78759 130 | 0.000 % |
95.51/95.67 c | 167674 | 1000 20000 100000 | 79456 78971 130 | 0.000 % |
95.71/95.82 c | 167908 | 1000 20000 100000 | 79456 79205 130 | 0.000 % |
95.91/96.02 c | 168164 | 1000 20000 100000 | 79456 79461 130 | 0.000 % |
96.11/96.23 c | 168448 | 1000 20000 100000 | 79456 71799 130 | 0.000 % |
96.31/96.42 c | 168757 | 1000 20000 100000 | 79456 72108 130 | 0.000 % |
96.51/96.65 c | 169099 | 1000 20000 100000 | 79456 72450 130 | 0.000 % |
96.81/96.91 c | 169472 | 1000 20000 100000 | 79456 72823 130 | 0.000 % |
97.01/97.18 c | 169884 | 1000 20000 100000 | 79456 73235 130 | 0.000 % |
97.41/97.50 c | 170333 | 1000 20000 100000 | 2147483647 73684 130 | 0.000 % |
97.71/97.80 c | 170827 | 1000 20000 100000 | 2147483647 74178 130 | 0.000 % |
98.01/98.12 c | 171369 | 1000 20000 100000 | 2147483647 74720 130 | 0.000 % |
98.31/98.48 c | 171966 | 1000 20000 100000 | 2147483647 75317 130 | 0.000 % |
98.81/98.92 c | 172621 | 1000 20000 100000 | 2147483647 75972 130 | 0.000 % |
99.21/99.37 c | 173343 | 1000 20000 100000 | 2147483647 76694 130 | 0.000 % |
99.70/99.88 c | 174137 | 1000 20000 100000 | 2147483647 77488 130 | 0.000 % |
100.30/100.43 c | 175008 | 1000 20000 100000 | 2147483647 78359 130 | 0.000 % |
101.01/101.13 c | 175966 | 1000 20000 100000 | 2147483647 79317 130 | 0.000 % |
101.70/101.89 c | 177019 | 1000 20000 100000 | 2147483647 80370 130 | 0.000 % |
102.50/102.66 c | 178179 | 1000 20000 100000 | 2147483647 81530 130 | 0.000 % |
103.40/103.56 c | 179453 | 1000 20000 100000 | 2147483647 82804 130 | 0.000 % |
104.41/104.50 c | 180853 | 1000 20000 100000 | 2147483647 84204 130 | 0.000 % |
105.41/105.51 c | 182394 | 1000 20000 100000 | 2147483647 85745 131 | 0.000 % |
106.51/106.65 c | 184088 | 1000 20000 100000 | 2147483647 87439 131 | 0.000 % |
107.90/108.04 c | 185954 | 1000 20000 100000 | 2147483647 89305 131 | 0.000 % |
108.00/108.14 c | 186054 | 1000 20000 100000 | 2147483647 89405 131 | 0.000 % |
108.10/108.24 c | 186166 | 1000 20000 100000 | 2147483647 89517 131 | 0.000 % |
108.20/108.35 c | 186290 | 1000 20000 100000 | 2147483647 89641 131 | 0.000 % |
108.30/108.46 c | 186424 | 1000 20000 100000 | 2147483647 89775 131 | 0.000 % |
108.40/108.59 c | 186570 | 1000 20000 100000 | 2147483647 89921 131 | 0.000 % |
108.60/108.75 c | 186730 | 1000 20000 100000 | 2147483647 90081 131 | 0.000 % |
108.70/108.89 c | 186906 | 1000 20000 100000 | 2147483647 90257 131 | 0.000 % |
108.90/109.06 c | 187099 | 1000 20000 100000 | 2147483647 90450 131 | 0.000 % |
109.10/109.24 c | 187311 | 1000 20000 100000 | 2147483647 90662 131 | 0.000 % |
109.30/109.43 c | 187544 | 1000 20000 100000 | 2147483647 90895 131 | 0.000 % |
109.50/109.65 c | 187801 | 1000 20000 100000 | 2147483647 91152 131 | 0.000 % |
109.70/109.89 c | 188083 | 1000 20000 100000 | 2147483647 91434 131 | 0.000 % |
110.10/110.20 c | 188392 | 1000 20000 100000 | 2147483647 91743 131 | 0.000 % |
110.40/110.51 c | 188735 | 1000 20000 100000 | 2147483647 92086 130 | 0.000 % |
110.70/110.83 c | 189107 | 1000 20000 100000 | 2147483647 92458 130 | 0.000 % |
111.00/111.18 c | 189518 | 1000 20000 100000 | 2147483647 92869 130 | 0.000 % |
111.40/111.58 c | 189967 | 1000 20000 100000 | 2147483647 93318 131 | 0.000 % |
111.91/112.05 c | 190460 | 1000 20000 100000 | 93352 82739 131 | 0.000 % |
112.31/112.43 c | 191003 | 1000 20000 100000 | 93352 83282 131 | 0.000 % |
112.71/112.88 c | 191599 | 1000 20000 100000 | 93352 83878 131 | 0.000 % |
113.21/113.40 c | 192255 | 1000 20000 100000 | 93352 84534 130 | 0.000 % |
113.81/113.93 c | 192975 | 1000 20000 100000 | 93352 85254 131 | 0.000 % |
114.31/114.49 c | 193768 | 1000 20000 100000 | 93352 86047 131 | 0.000 % |
114.91/115.09 c | 194639 | 1000 20000 100000 | 93352 86918 131 | 0.000 % |
115.60/115.73 c | 195598 | 1000 20000 100000 | 93352 87877 131 | 0.000 % |
116.41/116.54 c | 196651 | 1000 20000 100000 | 93352 88930 131 | 0.000 % |
117.20/117.38 c | 197809 | 1000 20000 100000 | 93352 90088 131 | 0.000 % |
118.20/118.30 c | 199083 | 1000 20000 100000 | 93352 91362 131 | 0.000 % |
119.30/119.45 c | 200484 | 1000 20000 100000 | 92280 81543 131 | 0.000 % |
120.40/120.56 c | 202024 | 1000 20000 100000 | 92280 83083 131 | 0.000 % |
121.70/121.85 c | 203721 | 1000 20000 100000 | 92280 84780 131 | 0.000 % |
123.00/123.17 c | 205585 | 1000 20000 100000 | 92280 86644 132 | 0.000 % |
124.60/124.74 c | 207636 | 1000 20000 100000 | 92280 88695 131 | 0.000 % |
124.70/124.82 c | 207737 | 1000 20000 100000 | 92280 88796 131 | 0.000 % |
124.80/124.91 c | 207848 | 1000 20000 100000 | 92280 88907 131 | 0.000 % |
124.90/125.00 c | 207969 | 1000 20000 100000 | 92280 89028 131 | 0.000 % |
125.00/125.13 c | 208104 | 1000 20000 100000 | 92280 89163 131 | 0.000 % |
125.10/125.25 c | 208251 | 1000 20000 100000 | 92280 89310 131 | 0.000 % |
125.20/125.39 c | 208412 | 1000 20000 100000 | 92280 89471 131 | 0.000 % |
125.40/125.54 c | 208588 | 1000 20000 100000 | 92280 89647 131 | 0.000 % |
125.60/125.73 c | 208781 | 1000 20000 100000 | 92280 89840 131 | 0.000 % |
125.80/125.90 c | 208994 | 1000 20000 100000 | 92280 90053 131 | 0.000 % |
125.90/126.08 c | 209231 | 1000 20000 100000 | 92280 90290 131 | 0.000 % |
126.20/126.31 c | 209490 | 1000 20000 100000 | 92280 90549 131 | 0.000 % |
126.40/126.53 c | 209772 | 1000 20000 100000 | 92280 90831 131 | 0.000 % |
126.60/126.76 c | 210082 | 1000 20000 100000 | 91060 91141 131 | 0.000 % |
126.90/127.08 c | 210422 | 1000 20000 100000 | 91060 80374 131 | 0.000 % |
127.30/127.40 c | 210795 | 1000 20000 100000 | 91060 80747 131 | 0.000 % |
127.50/127.68 c | 211204 | 1000 20000 100000 | 91060 81156 131 | 0.000 % |
127.80/127.99 c | 211655 | 1000 20000 100000 | 91060 81607 131 | 0.000 % |
128.20/128.36 c | 212148 | 1000 20000 100000 | 91060 82100 131 | 0.000 % |
128.60/128.75 c | 212693 | 1000 20000 100000 | 91060 82645 131 | 0.000 % |
129.00/129.17 c | 213290 | 1000 20000 100000 | 91060 83242 131 | 0.000 % |
129.50/129.65 c | 213945 | 1000 20000 100000 | 91060 83897 131 | 0.000 % |
130.00/130.12 c | 214667 | 1000 20000 100000 | 91060 84619 131 | 0.000 % |
130.50/130.68 c | 215459 | 1000 20000 100000 | 91060 85411 131 | 0.000 % |
131.10/131.30 c | 216332 | 1000 20000 100000 | 91060 86284 131 | 0.000 % |
131.80/131.93 c | 217290 | 1000 20000 100000 | 91060 87242 131 | 0.000 % |
132.60/132.71 c | 218343 | 1000 20000 100000 | 91060 88295 131 | 0.000 % |
133.40/133.53 c | 219504 | 1000 20000 100000 | 91060 89456 131 | 0.000 % |
134.40/134.59 c | 220778 | 1000 20000 100000 | 89953 80520 132 | 0.000 % |
135.40/135.57 c | 222178 | 1000 20000 100000 | 89953 81920 132 | 0.000 % |
136.40/136.60 c | 223719 | 1000 20000 100000 | 89953 83461 132 | 0.000 % |
137.59/137.76 c | 225415 | 1000 20000 100000 | 89953 85157 132 | 0.000 % |
138.99/139.15 c | 227279 | 1000 20000 100000 | 89953 87021 132 | 0.000 % |
140.70/140.86 c | 229330 | 1000 20000 100000 | 89953 89072 132 | 0.000 % |
142.29/142.45 c | 231583 | 1000 20000 100000 | 89743 81529 133 | 0.000 % |
142.39/142.56 c | 231684 | 1000 20000 100000 | 89743 81630 133 | 0.000 % |
142.49/142.66 c | 231794 | 1000 20000 100000 | 89743 81740 133 | 0.000 % |
142.59/142.76 c | 231916 | 1000 20000 100000 | 89743 81862 133 | 0.000 % |
142.69/142.86 c | 232049 | 1000 20000 100000 | 89743 81995 133 | 0.000 % |
142.80/142.99 c | 232197 | 1000 20000 100000 | 89743 82143 133 | 0.000 % |
142.99/143.11 c | 232357 | 1000 20000 100000 | 89743 82303 133 | 0.000 % |
143.09/143.25 c | 232533 | 1000 20000 100000 | 89743 82479 133 | 0.000 % |
143.29/143.42 c | 232727 | 1000 20000 100000 | 89743 82673 133 | 0.000 % |
143.39/143.58 c | 232939 | 1000 20000 100000 | 89743 82885 133 | 0.000 % |
143.59/143.76 c | 233173 | 1000 20000 100000 | 89743 83119 133 | 0.000 % |
143.79/143.95 c | 233431 | 1000 20000 100000 | 89743 83377 133 | 0.000 % |
144.00/144.17 c | 233712 | 1000 20000 100000 | 89743 83658 133 | 0.000 % |
144.19/144.39 c | 234022 | 1000 20000 100000 | 89743 83968 133 | 0.000 % |
144.49/144.66 c | 234361 | 1000 20000 100000 | 89743 84307 133 | 0.000 % |
144.79/144.97 c | 234733 | 1000 20000 100000 | 89743 84679 133 | 0.000 % |
145.09/145.26 c | 235144 | 1000 20000 100000 | 89743 85090 133 | 0.000 % |
145.39/145.57 c | 235593 | 1000 20000 100000 | 89743 85539 133 | 0.000 % |
145.79/145.96 c | 236086 | 1000 20000 100000 | 89743 86032 133 | 0.000 % |
146.19/146.39 c | 236628 | 1000 20000 100000 | 89743 86574 133 | 0.000 % |
146.69/146.82 c | 237226 | 1000 20000 100000 | 89743 87172 133 | 0.000 % |
147.19/147.31 c | 237881 | 1000 20000 100000 | 89743 87827 133 | 0.000 % |
147.69/147.89 c | 238601 | 1000 20000 100000 | 89743 88547 133 | 0.000 % |
148.39/148.53 c | 239393 | 1000 20000 100000 | 89743 89339 132 | 0.000 % |
149.09/149.20 c | 240264 | 1000 20000 100000 | 89946 90210 132 | 0.000 % |
149.79/149.90 c | 241223 | 1000 20000 100000 | 89946 80663 132 | 0.000 % |
150.49/150.62 c | 242276 | 1000 20000 100000 | 89946 81716 132 | 0.000 % |
151.29/151.42 c | 243434 | 1000 20000 100000 | 89946 82874 132 | 0.000 % |
152.08/152.29 c | 244708 | 1000 20000 100000 | 89946 84148 132 | 0.000 % |
153.08/153.23 c | 246109 | 1000 20000 100000 | 89946 85549 132 | 0.000 % |
154.18/154.32 c | 247649 | 1000 20000 100000 | 89946 87089 132 | 0.000 % |
155.39/155.53 c | 249343 | 1000 20000 100000 | 89946 88783 132 | 0.000 % |
156.68/156.87 c | 251207 | 1000 20000 100000 | 89440 81037 133 | 0.000 % |
158.08/158.25 c | 253256 | 1000 20000 100000 | 89440 83086 133 | 0.000 % |
159.58/159.76 c | 255511 | 1000 20000 100000 | 89440 85341 133 | 0.000 % |
161.38/161.58 c | 257989 | 1000 20000 100000 | 89440 87819 133 | 0.000 % |
161.48/161.65 c | 258090 | 1000 20000 100000 | 89440 87920 133 | 0.000 % |
161.58/161.75 c | 258200 | 1000 20000 100000 | 89440 88030 133 | 0.000 % |
161.68/161.86 c | 258324 | 1000 20000 100000 | 89440 88154 133 | 0.000 % |
161.78/161.98 c | 258457 | 1000 20000 100000 | 89440 88287 133 | 0.000 % |
161.98/162.11 c | 258606 | 1000 20000 100000 | 89440 88436 133 | 0.000 % |
162.08/162.24 c | 258766 | 1000 20000 100000 | 89440 88596 133 | 0.000 % |
162.18/162.38 c | 258943 | 1000 20000 100000 | 89440 88773 133 | 0.000 % |
162.38/162.55 c | 259139 | 1000 20000 100000 | 89440 88969 133 | 0.000 % |
162.48/162.70 c | 259351 | 1000 20000 100000 | 89440 89181 133 | 0.000 % |
162.68/162.87 c | 259585 | 1000 20000 100000 | 89440 89415 133 | 0.000 % |
162.98/163.11 c | 259843 | 1000 20000 100000 | 89440 89673 133 | 0.000 % |
163.18/163.38 c | 260124 | 1000 20000 100000 | 80333 80457 133 | 0.000 % |
163.48/163.63 c | 260434 | 1000 20000 100000 | 80333 72225 133 | 0.000 % |
163.68/163.87 c | 260775 | 1000 20000 100000 | 80333 72566 133 | 0.000 % |
163.98/164.12 c | 261148 | 1000 20000 100000 | 80333 72939 133 | 0.000 % |
164.18/164.36 c | 261557 | 1000 20000 100000 | 80333 73348 133 | 0.000 % |
164.48/164.70 c | 262007 | 1000 20000 100000 | 80333 73798 133 | 0.000 % |
164.88/165.04 c | 262500 | 1000 20000 100000 | 80333 74291 133 | 0.000 % |
165.28/165.41 c | 263043 | 1000 20000 100000 | 80333 74834 133 | 0.000 % |
165.68/165.84 c | 263641 | 1000 20000 100000 | 80333 75432 133 | 0.000 % |
166.08/166.27 c | 264296 | 1000 20000 100000 | 80333 76087 133 | 0.000 % |
166.58/166.76 c | 265017 | 1000 20000 100000 | 80333 76808 133 | 0.000 % |
167.18/167.31 c | 265809 | 1000 20000 100000 | 80333 77600 133 | 0.000 % |
167.77/167.92 c | 266680 | 1000 20000 100000 | 80333 78471 133 | 0.000 % |
168.37/168.56 c | 267640 | 1000 20000 100000 | 80333 79431 133 | 0.000 % |
169.07/169.26 c | 268693 | 1000 20000 100000 | 80333 80484 133 | 0.000 % |
169.87/170.02 c | 269851 | 1000 20000 100000 | 80333 73594 133 | 0.000 % |
170.56/170.77 c | 271124 | 1000 20000 100000 | 2147483647 74867 132 | 0.000 % |
171.46/171.68 c | 272524 | 1000 20000 100000 | 2147483647 76267 133 | 0.000 % |
172.56/172.78 c | 274065 | 1000 20000 100000 | 2147483647 77808 133 | 0.000 % |
173.76/173.94 c | 275759 | 1000 20000 100000 | 2147483647 79502 133 | 0.000 % |
174.96/175.17 c | 277625 | 1000 20000 100000 | 2147483647 81368 133 | 0.000 % |
176.36/176.52 c | 279675 | 1000 20000 100000 | 2147483647 83418 133 | 0.000 % |
177.85/178.07 c | 281928 | 1000 20000 100000 | 2147483647 85671 133 | 0.000 % |
179.65/179.89 c | 284406 | 1000 20000 100000 | 2147483647 88149 133 | 0.000 % |
181.76/181.92 c | 287132 | 1000 20000 100000 | 2147483647 90875 133 | 0.000 % |
181.86/182.02 c | 287235 | 1000 20000 100000 | 2147483647 90978 133 | 0.000 % |
181.95/182.12 c | 287346 | 1000 20000 100000 | 2147483647 91089 133 | 0.000 % |
182.05/182.22 c | 287467 | 1000 20000 100000 | 2147483647 91210 133 | 0.000 % |
182.15/182.35 c | 287600 | 1000 20000 100000 | 2147483647 91343 133 | 0.000 % |
182.25/182.49 c | 287747 | 1000 20000 100000 | 2147483647 91490 133 | 0.000 % |
182.46/182.63 c | 287908 | 1000 20000 100000 | 2147483647 91651 133 | 0.000 % |
182.55/182.76 c | 288085 | 1000 20000 100000 | 2147483647 91828 133 | 0.000 % |
182.75/182.97 c | 288279 | 1000 20000 100000 | 2147483647 92022 133 | 0.000 % |
182.95/183.14 c | 288492 | 1000 20000 100000 | 2147483647 92235 133 | 0.000 % |
183.15/183.36 c | 288727 | 1000 20000 100000 | 2147483647 92470 133 | 0.000 % |
183.35/183.58 c | 288987 | 1000 20000 100000 | 2147483647 92730 133 | 0.000 % |
183.65/183.81 c | 289268 | 1000 20000 100000 | 2147483647 93011 133 | 0.000 % |
183.85/184.06 c | 289577 | 1000 20000 100000 | 2147483647 93320 133 | 0.000 % |
184.16/184.34 c | 289918 | 1000 20000 100000 | 2147483647 93661 133 | 0.000 % |
184.46/184.65 c | 290291 | 1000 20000 100000 | 93744 94034 133 | 0.000 % |
184.86/185.02 c | 290702 | 1000 20000 100000 | 93744 83326 132 | 0.000 % |
185.16/185.37 c | 291151 | 1000 20000 100000 | 93744 83775 132 | 0.000 % |
185.56/185.75 c | 291646 | 1000 20000 100000 | 93744 84270 132 | 0.000 % |
185.96/186.15 c | 292188 | 1000 20000 100000 | 93744 84812 132 | 0.000 % |
186.36/186.57 c | 292784 | 1000 20000 100000 | 93744 85408 132 | 0.000 % |
186.86/187.04 c | 293441 | 1000 20000 100000 | 93744 86065 132 | 0.000 % |
187.35/187.52 c | 294162 | 1000 20000 100000 | 93744 86786 132 | 0.000 % |
187.86/188.10 c | 294956 | 1000 20000 100000 | 93744 87580 132 | 0.000 % |
188.55/188.74 c | 295827 | 1000 20000 100000 | 93744 88451 132 | 0.000 % |
189.25/189.46 c | 296786 | 1000 20000 100000 | 93744 89410 132 | 0.000 % |
190.06/190.22 c | 297839 | 1000 20000 100000 | 93744 90463 132 | 0.000 % |
190.85/191.07 c | 298998 | 1000 20000 100000 | 93744 91622 132 | 0.000 % |
191.85/192.01 c | 300271 | 1000 20000 100000 | 92624 92895 132 | 0.000 % |
192.85/193.07 c | 301675 | 1000 20000 100000 | 92624 83624 133 | 0.000 % |
193.95/194.18 c | 303216 | 1000 20000 100000 | 92624 85165 133 | 0.000 % |
195.15/195.39 c | 304910 | 1000 20000 100000 | 92624 86859 133 | 0.000 % |
196.55/196.71 c | 306774 | 1000 20000 100000 | 92624 88723 133 | 0.000 % |
197.95/198.12 c | 308823 | 1000 20000 100000 | 92624 90772 133 | 0.000 % |
199.55/199.70 c | 311076 | 1000 20000 100000 | 91949 82972 132 | 0.000 % |
201.25/201.46 c | 313554 | 1000 20000 100000 | 91949 85450 132 | 0.000 % |
203.15/203.40 c | 316280 | 1000 20000 100000 | 91949 88176 133 | 0.000 % |
205.45/205.65 c | 319277 | 1000 20000 100000 | 91949 91173 133 | 0.000 % |
205.55/205.73 c | 319377 | 1000 20000 100000 | 91949 91273 133 | 0.000 % |
205.64/205.82 c | 319487 | 1000 20000 100000 | 91949 91383 133 | 0.000 % |
205.74/205.94 c | 319608 | 1000 20000 100000 | 91949 91504 133 | 0.000 % |
205.84/206.07 c | 319741 | 1000 20000 100000 | 91949 91637 133 | 0.000 % |
205.94/206.17 c | 319887 | 1000 20000 100000 | 91949 91783 133 | 0.000 % |
206.04/206.29 c | 320049 | 1000 20000 100000 | 91896 91945 133 | 0.000 % |
206.34/206.54 c | 320225 | 1000 20000 100000 | 91896 81029 133 | 0.000 % |
206.44/206.69 c | 320418 | 1000 20000 100000 | 91896 81222 133 | 0.000 % |
206.65/206.86 c | 320631 | 1000 20000 100000 | 91896 81435 133 | 0.000 % |
206.85/207.05 c | 320864 | 1000 20000 100000 | 91896 81668 133 | 0.000 % |
207.05/207.24 c | 321120 | 1000 20000 100000 | 91896 81924 133 | 0.000 % |
207.24/207.45 c | 321402 | 1000 20000 100000 | 91896 82206 133 | 0.000 % |
207.44/207.67 c | 321714 | 1000 20000 100000 | 91896 82518 133 | 0.000 % |
207.65/207.89 c | 322054 | 1000 20000 100000 | 91896 82858 133 | 0.000 % |
208.04/208.21 c | 322427 | 1000 20000 100000 | 91896 83231 133 | 0.000 % |
208.34/208.52 c | 322836 | 1000 20000 100000 | 91896 83640 133 | 0.000 % |
208.64/208.84 c | 323290 | 1000 20000 100000 | 91896 84094 133 | 0.000 % |
208.94/209.18 c | 323785 | 1000 20000 100000 | 91896 84589 133 | 0.000 % |
209.44/209.61 c | 324327 | 1000 20000 100000 | 91896 85131 133 | 0.000 % |
209.84/210.04 c | 324925 | 1000 20000 100000 | 91896 85729 133 | 0.000 % |
210.34/210.52 c | 325580 | 1000 20000 100000 | 91896 86384 133 | 0.000 % |
210.84/211.09 c | 326301 | 1000 20000 100000 | 91896 87105 133 | 0.000 % |
211.44/211.67 c | 327093 | 1000 20000 100000 | 91896 87897 133 | 0.000 % |
212.14/212.37 c | 327965 | 1000 20000 100000 | 91896 88769 133 | 0.000 % |
212.84/213.07 c | 328923 | 1000 20000 100000 | 91896 89727 133 | 0.000 % |
213.63/213.81 c | 329976 | 1000 20000 100000 | 91896 90780 133 | 0.000 % |
214.53/214.74 c | 331135 | 1000 20000 100000 | 90805 80877 133 | 0.000 % |
215.43/215.62 c | 332409 | 1000 20000 100000 | 90805 82151 133 | 0.000 % |
216.43/216.61 c | 333813 | 1000 20000 100000 | 90805 83555 133 | 0.000 % |
217.43/217.64 c | 335353 | 1000 20000 100000 | 90805 85095 133 | 0.000 % |
218.63/218.80 c | 337047 | 1000 20000 100000 | 90805 86789 133 | 0.000 % |
219.93/220.15 c | 338911 | 1000 20000 100000 | 90805 88653 133 | 0.000 % |
221.43/221.63 c | 340960 | 1000 20000 100000 | 89742 80920 133 | 0.000 % |
222.93/223.11 c | 343213 | 1000 20000 100000 | 89742 83173 134 | 0.000 % |
224.63/224.85 c | 345693 | 1000 20000 100000 | 89742 85653 134 | 0.000 % |
226.53/226.75 c | 348419 | 1000 20000 100000 | 89742 88379 134 | 0.000 % |
228.83/229.01 c | 351416 | 1000 20000 100000 | 89962 81950 135 | 0.000 % |
231.12/231.33 c | 354712 | 1000 20000 100000 | 89962 85246 135 | 0.000 % |
231.22/231.41 c | 354813 | 1000 20000 100000 | 89962 85347 135 | 0.000 % |
231.22/231.49 c | 354924 | 1000 20000 100000 | 89962 85458 135 | 0.000 % |
231.32/231.60 c | 355047 | 1000 20000 100000 | 89962 85581 135 | 0.000 % |
231.52/231.73 c | 355180 | 1000 20000 100000 | 89962 85714 135 | 0.000 % |
231.62/231.85 c | 355328 | 1000 20000 100000 | 89962 85862 135 | 0.000 % |
231.72/231.98 c | 355488 | 1000 20000 100000 | 89962 86022 135 | 0.000 % |
231.93/232.11 c | 355665 | 1000 20000 100000 | 89962 86199 135 | 0.000 % |
232.02/232.27 c | 355858 | 1000 20000 100000 | 89962 86392 135 | 0.000 % |
232.22/232.44 c | 356072 | 1000 20000 100000 | 89962 86606 135 | 0.000 % |
232.42/232.66 c | 356307 | 1000 20000 100000 | 89962 86841 135 | 0.000 % |
232.62/232.86 c | 356565 | 1000 20000 100000 | 89962 87099 135 | 0.000 % |
232.93/233.11 c | 356846 | 1000 20000 100000 | 89962 87380 135 | 0.000 % |
233.12/233.36 c | 357157 | 1000 20000 100000 | 89962 87691 135 | 0.000 % |
233.42/233.63 c | 357496 | 1000 20000 100000 | 89962 88030 135 | 0.000 % |
233.72/233.91 c | 357868 | 1000 20000 100000 | 89962 88402 135 | 0.000 % |
234.03/234.20 c | 358278 | 1000 20000 100000 | 89962 88812 135 | 0.000 % |
234.32/234.53 c | 358728 | 1000 20000 100000 | 89962 89262 135 | 0.000 % |
234.72/234.92 c | 359221 | 1000 20000 100000 | 89962 89755 135 | 0.000 % |
235.12/235.31 c | 359764 | 1000 20000 100000 | 89962 90298 135 | 0.000 % |
235.62/235.82 c | 360360 | 1000 20000 100000 | 80346 71861 135 | 0.000 % |
236.02/236.24 c | 361016 | 1000 20000 100000 | 80346 72517 135 | 0.000 % |
236.52/236.72 c | 361736 | 1000 20000 100000 | 80346 73237 135 | 0.000 % |
237.02/237.24 c | 362528 | 1000 20000 100000 | 80346 74029 135 | 0.000 % |
237.62/237.86 c | 363401 | 1000 20000 100000 | 80346 74902 134 | 0.000 % |
238.32/238.50 c | 364361 | 1000 20000 100000 | 80346 75862 134 | 0.000 % |
238.92/239.14 c | 365414 | 1000 20000 100000 | 80346 76915 134 | 0.000 % |
239.72/239.90 c | 366572 | 1000 20000 100000 | 80346 78073 134 | 0.000 % |
240.52/240.75 c | 367845 | 1000 20000 100000 | 80346 79346 135 | 0.000 % |
241.52/241.71 c | 369246 | 1000 20000 100000 | 80346 72673 135 | 0.000 % |
242.42/242.63 c | 370786 | 1000 20000 100000 | 2147483647 74213 135 | 0.000 % |
243.42/243.68 c | 372480 | 1000 20000 100000 | 2147483647 75907 135 | 0.000 % |
244.62/244.84 c | 374343 | 1000 20000 100000 | 2147483647 77770 135 | 0.000 % |
245.92/246.12 c | 376393 | 1000 20000 100000 | 2147483647 79820 135 | 0.000 % |
247.42/247.62 c | 378646 | 1000 20000 100000 | 2147483647 82073 135 | 0.000 % |
249.02/249.29 c | 381124 | 1000 20000 100000 | 2147483647 84551 136 | 0.000 % |
251.02/251.25 c | 383849 | 1000 20000 100000 | 2147483647 87276 136 | 0.000 % |
253.01/253.29 c | 386846 | 1000 20000 100000 | 2147483647 90273 136 | 0.000 % |
255.51/255.76 c | 390142 | 1000 20000 100000 | 2147483647 93569 136 | 0.000 % |
258.31/258.55 c | 393767 | 1000 20000 100000 | 2147483647 97194 136 | 0.000 % |
258.41/258.63 c | 393868 | 1000 20000 100000 | 2147483647 97295 136 | 0.000 % |
258.51/258.74 c | 393979 | 1000 20000 100000 | 2147483647 97406 136 | 0.000 % |
258.61/258.87 c | 394100 | 1000 20000 100000 | 2147483647 97527 136 | 0.000 % |
258.71/258.99 c | 394233 | 1000 20000 100000 | 2147483647 97660 136 | 0.000 % |
258.90/259.12 c | 394380 | 1000 20000 100000 | 2147483647 97807 136 | 0.000 % |
259.00/259.28 c | 394541 | 1000 20000 100000 | 2147483647 97968 136 | 0.000 % |
259.20/259.48 c | 394718 | 1000 20000 100000 | 2147483647 98145 136 | 0.000 % |
259.41/259.67 c | 394912 | 1000 20000 100000 | 2147483647 98339 136 | 0.000 % |
259.60/259.85 c | 395126 | 1000 20000 100000 | 2147483647 98553 136 | 0.000 % |
259.80/260.04 c | 395359 | 1000 20000 100000 | 2147483647 98786 136 | 0.000 % |
260.00/260.28 c | 395615 | 1000 20000 100000 | 2147483647 99042 136 | 0.000 % |
260.30/260.53 c | 395896 | 1000 20000 100000 | 2147483647 99323 136 | 0.000 % |
260.51/260.79 c | 396205 | 1000 20000 100000 | 2147483647 99632 136 | 0.000 % |
260.90/261.10 c | 396545 | 1000 20000 100000 | 2147483647 99972 136 | 0.000 % |
261.20/261.49 c | 396917 | 1000 20000 100000 | 2147483647 100344 136 | 0.000 % |
261.60/261.84 c | 397326 | 1000 20000 100000 | 2147483647 100753 136 | 0.000 % |
262.00/262.22 c | 397777 | 1000 20000 100000 | 2147483647 101204 136 | 0.000 % |
262.40/262.66 c | 398270 | 1000 20000 100000 | 2147483647 101697 136 | 0.000 % |
262.80/263.07 c | 398813 | 1000 20000 100000 | 2147483647 102240 136 | 0.000 % |
263.30/263.58 c | 399409 | 1000 20000 100000 | 2147483647 102836 136 | 0.000 % |
263.89/264.13 c | 400064 | 1000 20000 100000 | 103431 103491 136 | 0.000 % |
264.49/264.80 c | 400784 | 1000 20000 100000 | 103431 88801 136 | 0.000 % |
265.19/265.43 c | 401576 | 1000 20000 100000 | 103431 89593 136 | 0.000 % |
265.90/266.15 c | 402448 | 1000 20000 100000 | 103431 90465 136 | 0.000 % |
266.69/266.92 c | 403406 | 1000 20000 100000 | 103431 91423 136 | 0.000 % |
267.49/267.73 c | 404459 | 1000 20000 100000 | 103431 92476 136 | 0.000 % |
268.39/268.66 c | 405620 | 1000 20000 100000 | 103431 93637 135 | 0.000 % |
269.39/269.66 c | 406894 | 1000 20000 100000 | 103431 94911 136 | 0.000 % |
270.59/270.80 c | 408294 | 1000 20000 100000 | 103431 96311 135 | 0.000 % |
271.79/272.00 c | 409835 | 1000 20000 100000 | 103431 97852 136 | 0.000 % |
273.09/273.30 c | 411529 | 1000 20000 100000 | 98018 85444 136 | 0.000 % |
274.39/274.66 c | 413394 | 1000 20000 100000 | 98018 87309 136 | 0.000 % |
275.89/276.13 c | 415445 | 1000 20000 100000 | 98018 89360 136 | 0.000 % |
277.49/277.73 c | 417702 | 1000 20000 100000 | 98018 91617 136 | 0.000 % |
279.29/279.59 c | 420180 | 1000 20000 100000 | 93916 94095 136 | 0.000 % |
281.19/281.50 c | 422905 | 1000 20000 100000 | 93916 85620 136 | 0.000 % |
283.29/283.55 c | 425906 | 1000 20000 100000 | 93916 88621 136 | 0.000 % |
285.69/285.99 c | 429202 | 1000 20000 100000 | 93916 91917 136 | 0.000 % |
288.39/288.61 c | 432827 | 1000 20000 100000 | 92719 84410 136 | 0.000 % |
291.30/291.53 c | 436815 | 1000 20000 100000 | 92719 88398 137 | 0.000 % |
291.39/291.61 c | 436916 | 1000 20000 100000 | 92719 88499 137 | 0.000 % |
291.49/291.70 c | 437028 | 1000 20000 100000 | 92719 88611 136 | 0.000 % |
291.59/291.83 c | 437151 | 1000 20000 100000 | 92719 88734 136 | 0.000 % |
291.69/291.94 c | 437285 | 1000 20000 100000 | 92719 88868 136 | 0.000 % |
291.79/292.07 c | 437431 | 1000 20000 100000 | 92719 89014 136 | 0.000 % |
291.99/292.22 c | 437592 | 1000 20000 100000 | 92719 89175 136 | 0.000 % |
292.09/292.39 c | 437768 | 1000 20000 100000 | 92719 89351 136 | 0.000 % |
292.30/292.55 c | 437962 | 1000 20000 100000 | 92719 89545 136 | 0.000 % |
292.49/292.73 c | 438174 | 1000 20000 100000 | 92719 89757 136 | 0.000 % |
292.69/292.92 c | 438409 | 1000 20000 100000 | 92719 89992 136 | 0.000 % |
292.89/293.14 c | 438666 | 1000 20000 100000 | 92719 90249 136 | 0.000 % |
293.09/293.36 c | 438949 | 1000 20000 100000 | 92719 90532 136 | 0.000 % |
293.29/293.59 c | 439259 | 1000 20000 100000 | 92719 90842 136 | 0.000 % |
293.59/293.84 c | 439598 | 1000 20000 100000 | 92719 91181 136 | 0.000 % |
293.89/294.17 c | 439971 | 1000 20000 100000 | 92719 91554 136 | 0.000 % |
294.29/294.58 c | 440380 | 1000 20000 100000 | 91583 80856 136 | 0.000 % |
294.69/294.91 c | 440830 | 1000 20000 100000 | 91583 81306 136 | 0.000 % |
294.99/295.25 c | 441324 | 1000 20000 100000 | 91583 81800 137 | 0.000 % |
295.39/295.65 c | 441867 | 1000 20000 100000 | 91583 82343 136 | 0.000 % |
295.79/296.04 c | 442463 | 1000 20000 100000 | 91583 82939 136 | 0.000 % |
296.19/296.48 c | 443119 | 1000 20000 100000 | 91583 83595 136 | 0.000 % |
296.69/296.98 c | 443840 | 1000 20000 100000 | 91583 84316 137 | 0.000 % |
297.29/297.51 c | 444633 | 1000 20000 100000 | 91583 85109 137 | 0.000 % |
297.89/298.13 c | 445504 | 1000 20000 100000 | 91583 85980 137 | 0.000 % |
298.59/298.85 c | 446462 | 1000 20000 100000 | 91583 86938 136 | 0.000 % |
299.39/299.66 c | 447516 | 1000 20000 100000 | 91583 87992 136 | 0.000 % |
300.39/300.62 c | 448675 | 1000 20000 100000 | 91583 89151 136 | 0.000 % |
301.39/301.60 c | 449950 | 1000 20000 100000 | 91583 90426 136 | 0.000 % |
302.39/302.62 c | 451352 | 1000 20000 100000 | 90477 81133 136 | 0.000 % |
303.48/303.71 c | 452893 | 1000 20000 100000 | 90477 82674 136 | 0.000 % |
304.68/304.90 c | 454588 | 1000 20000 100000 | 90477 84369 136 | 0.000 % |
305.98/306.21 c | 456453 | 1000 20000 100000 | 90477 86234 136 | 0.000 % |
307.48/307.78 c | 458502 | 1000 20000 100000 | 90477 88283 136 | 0.000 % |
309.18/309.49 c | 460758 | 1000 20000 100000 | 89781 80714 136 | 0.000 % |
310.98/311.20 c | 463236 | 1000 20000 100000 | 89781 83192 136 | 0.000 % |
312.87/313.11 c | 465961 | 1000 20000 100000 | 89781 85917 136 | 0.000 % |
314.97/315.28 c | 468958 | 1000 20000 100000 | 89781 88914 136 | 0.000 % |
317.47/317.74 c | 472254 | 1000 20000 100000 | 2147483647 92210 136 | 0.000 % |
320.37/320.66 c | 475881 | 1000 20000 100000 | 2147483647 95837 136 | 0.000 % |
323.57/323.88 c | 479868 | 1000 20000 100000 | 2147483647 99824 136 | 0.000 % |
327.07/327.34 c | 484253 | 1000 20000 100000 | 99956 90772 136 | 0.000 % |
327.17/327.43 c | 484355 | 1000 20000 100000 | 99956 90874 136 | 0.000 % |
327.27/327.52 c | 484465 | 1000 20000 100000 | 99956 90984 136 | 0.000 % |
327.37/327.63 c | 484587 | 1000 20000 100000 | 99956 91106 136 | 0.000 % |
327.47/327.75 c | 484722 | 1000 20000 100000 | 99956 91241 136 | 0.000 % |
327.57/327.88 c | 484869 | 1000 20000 100000 | 99956 91388 136 | 0.000 % |
327.77/328.01 c | 485029 | 1000 20000 100000 | 99956 91548 136 | 0.000 % |
327.87/328.18 c | 485208 | 1000 20000 100000 | 99956 91727 136 | 0.000 % |
328.07/328.31 c | 485402 | 1000 20000 100000 | 99956 91921 136 | 0.000 % |
328.27/328.51 c | 485614 | 1000 20000 100000 | 99956 92133 136 | 0.000 % |
328.47/328.70 c | 485847 | 1000 20000 100000 | 99956 92366 136 | 0.000 % |
328.67/328.91 c | 486105 | 1000 20000 100000 | 99956 92624 136 | 0.000 % |
328.87/329.14 c | 486386 | 1000 20000 100000 | 99956 92905 136 | 0.000 % |
329.07/329.40 c | 486697 | 1000 20000 100000 | 99956 93216 136 | 0.000 % |
329.37/329.65 c | 487038 | 1000 20000 100000 | 99956 93557 135 | 0.000 % |
329.67/329.99 c | 487411 | 1000 20000 100000 | 99956 93930 135 | 0.000 % |
330.07/330.33 c | 487821 | 1000 20000 100000 | 99956 94340 135 | 0.000 % |
330.37/330.69 c | 488270 | 1000 20000 100000 | 99956 94789 135 | 0.000 % |
330.77/331.09 c | 488763 | 1000 20000 100000 | 99956 95282 135 | 0.000 % |
331.27/331.55 c | 489306 | 1000 20000 100000 | 99956 95825 135 | 0.000 % |
331.77/332.05 c | 489904 | 1000 20000 100000 | 99956 96423 135 | 0.000 % |
332.37/332.64 c | 490559 | 1000 20000 100000 | 96519 83607 136 | 0.000 % |
332.97/333.23 c | 491280 | 1000 20000 100000 | 96519 84328 136 | 0.000 % |
333.57/333.84 c | 492074 | 1000 20000 100000 | 96519 85122 136 | 0.000 % |
334.17/334.49 c | 492946 | 1000 20000 100000 | 96519 85994 136 | 0.000 % |
334.87/335.16 c | 493904 | 1000 20000 100000 | 96519 86952 136 | 0.000 % |
335.67/335.91 c | 494957 | 1000 20000 100000 | 96519 88005 136 | 0.000 % |
336.46/336.74 c | 496115 | 1000 20000 100000 | 96519 89163 136 | 0.000 % |
337.37/337.66 c | 497388 | 1000 20000 100000 | 96519 90436 136 | 0.000 % |
338.36/338.66 c | 498791 | 1000 20000 100000 | 96519 91839 136 | 0.000 % |
339.46/339.78 c | 500333 | 1000 20000 100000 | 93050 93381 136 | 0.000 % |
340.67/340.95 c | 502030 | 1000 20000 100000 | 93050 83127 135 | 0.000 % |
342.06/342.30 c | 503893 | 1000 20000 100000 | 93050 84990 135 | 0.000 % |
343.46/343.73 c | 505944 | 1000 20000 100000 | 93050 87041 135 | 0.000 % |
345.16/345.41 c | 508197 | 1000 20000 100000 | 93050 89294 135 | 0.000 % |
347.06/347.33 c | 510675 | 1000 20000 100000 | 91098 81027 135 | 0.000 % |
348.95/349.20 c | 513402 | 1000 20000 100000 | 91098 83754 135 | 0.000 % |
351.04/351.36 c | 516402 | 1000 20000 100000 | 91098 86754 135 | 0.000 % |
353.34/353.67 c | 519698 | 1000 20000 100000 | 91098 90050 135 | 0.000 % |
355.84/356.19 c | 523323 | 1000 20000 100000 | 90353 84187 135 | 0.000 % |
358.64/358.92 c | 527311 | 1000 20000 100000 | 90353 88175 135 | 0.000 % |
361.74/362.04 c | 531696 | 1000 20000 100000 | 2147483647 83492 135 | 0.000 % |
365.23/365.57 c | 536519 | 1000 20000 100000 | 2147483647 88315 135 | 0.000 % |
365.33/365.67 c | 536620 | 1000 20000 100000 | 2147483647 88416 135 | 0.000 % |
365.43/365.77 c | 536733 | 1000 20000 100000 | 2147483647 88529 135 | 0.000 % |
365.53/365.88 c | 536854 | 1000 20000 100000 | 2147483647 88650 135 | 0.000 % |
365.63/365.99 c | 536988 | 1000 20000 100000 | 2147483647 88784 135 | 0.000 % |
365.83/366.12 c | 537136 | 1000 20000 100000 | 2147483647 88932 135 | 0.000 % |
365.94/366.25 c | 537296 | 1000 20000 100000 | 2147483647 89092 135 | 0.000 % |
366.04/366.39 c | 537476 | 1000 20000 100000 | 2147483647 89272 135 | 0.000 % |
366.23/366.55 c | 537669 | 1000 20000 100000 | 2147483647 89465 135 | 0.000 % |
366.43/366.70 c | 537882 | 1000 20000 100000 | 2147483647 89678 135 | 0.000 % |
366.53/366.88 c | 538115 | 1000 20000 100000 | 2147483647 89911 135 | 0.000 % |
366.73/367.08 c | 538373 | 1000 20000 100000 | 2147483647 90169 135 | 0.000 % |
367.04/367.31 c | 538655 | 1000 20000 100000 | 2147483647 90451 135 | 0.000 % |
367.23/367.53 c | 538964 | 1000 20000 100000 | 2147483647 90760 135 | 0.000 % |
367.53/367.82 c | 539303 | 1000 20000 100000 | 2147483647 91099 135 | 0.000 % |
367.73/368.08 c | 539675 | 1000 20000 100000 | 2147483647 91471 135 | 0.000 % |
368.03/368.39 c | 540084 | 1000 20000 100000 | 91796 91880 135 | 0.000 % |
368.43/368.79 c | 540533 | 1000 20000 100000 | 91796 82236 135 | 0.000 % |
368.83/369.14 c | 541026 | 1000 20000 100000 | 91796 82729 135 | 0.000 % |
369.24/369.57 c | 541568 | 1000 20000 100000 | 91796 83271 135 | 0.000 % |
369.73/370.05 c | 542170 | 1000 20000 100000 | 91796 83873 135 | 0.000 % |
370.23/370.53 c | 542825 | 1000 20000 100000 | 91796 84528 135 | 0.000 % |
370.73/371.05 c | 543545 | 1000 20000 100000 | 91796 85248 135 | 0.000 % |
371.33/371.64 c | 544339 | 1000 20000 100000 | 91796 86042 135 | 0.000 % |
371.93/372.29 c | 545211 | 1000 20000 100000 | 91796 86914 135 | 0.000 % |
372.73/373.02 c | 546169 | 1000 20000 100000 | 91796 87872 135 | 0.000 % |
373.43/373.76 c | 547223 | 1000 20000 100000 | 91796 88926 135 | 0.000 % |
374.23/374.57 c | 548382 | 1000 20000 100000 | 91796 90085 135 | 0.000 % |
375.23/375.50 c | 549655 | 1000 20000 100000 | 91796 91358 135 | 0.000 % |
376.23/376.59 c | 551056 | 1000 20000 100000 | 91703 82394 135 | 0.000 % |
377.43/377.72 c | 552596 | 1000 20000 100000 | 91703 83934 135 | 0.000 % |
378.63/378.92 c | 554290 | 1000 20000 100000 | 91703 85628 135 | 0.000 % |
379.93/380.27 c | 556153 | 1000 20000 100000 | 91703 87491 135 | 0.000 % |
381.33/381.69 c | 558202 | 1000 20000 100000 | 91703 89540 135 | 0.000 % |
383.13/383.40 c | 560455 | 1000 20000 100000 | 91341 81960 134 | 0.000 % |
384.73/385.07 c | 562934 | 1000 20000 100000 | 91341 84439 134 | 0.000 % |
386.63/386.97 c | 565660 | 1000 20000 100000 | 91341 87165 134 | 0.000 % |
388.82/389.17 c | 568659 | 1000 20000 100000 | 91341 90164 134 | 0.000 % |
391.12/391.48 c | 571956 | 1000 20000 100000 | 91505 84092 135 | 0.000 % |
393.72/394.07 c | 575581 | 1000 20000 100000 | 91505 87717 135 | 0.000 % |
396.71/397.07 c | 579569 | 1000 20000 100000 | 91505 91705 136 | 0.000 % |
399.61/399.99 c | 583956 | 1000 20000 100000 | 82599 77777 136 | 0.000 % |
403.01/403.33 c | 588779 | 1000 20000 100000 | 82599 82600 136 | 0.000 % |
406.71/407.07 c | 594086 | 1000 20000 100000 | 2147483647 79647 137 | 0.000 % |
406.81/407.16 c | 594186 | 1000 20000 100000 | 2147483647 79747 137 | 0.000 % |
406.91/407.24 c | 594298 | 1000 20000 100000 | 2147483647 79859 137 | 0.000 % |
407.01/407.33 c | 594420 | 1000 20000 100000 | 2147483647 79981 137 | 0.000 % |
407.10/407.43 c | 594553 | 1000 20000 100000 | 2147483647 80114 136 | 0.000 % |
407.20/407.56 c | 594700 | 1000 20000 100000 | 2147483647 80261 136 | 0.000 % |
407.30/407.68 c | 594860 | 1000 20000 100000 | 2147483647 80421 136 | 0.000 % |
407.50/407.81 c | 595036 | 1000 20000 100000 | 2147483647 80597 136 | 0.000 % |
407.60/407.97 c | 595231 | 1000 20000 100000 | 2147483647 80792 136 | 0.000 % |
407.81/408.12 c | 595445 | 1000 20000 100000 | 2147483647 81006 136 | 0.000 % |
407.90/408.29 c | 595678 | 1000 20000 100000 | 2147483647 81239 136 | 0.000 % |
408.20/408.50 c | 595934 | 1000 20000 100000 | 2147483647 81495 136 | 0.000 % |
408.40/408.71 c | 596216 | 1000 20000 100000 | 2147483647 81777 136 | 0.000 % |
408.60/408.93 c | 596525 | 1000 20000 100000 | 2147483647 82086 136 | 0.000 % |
408.91/409.21 c | 596865 | 1000 20000 100000 | 2147483647 82426 136 | 0.000 % |
409.10/409.49 c | 597237 | 1000 20000 100000 | 2147483647 82798 136 | 0.000 % |
409.40/409.78 c | 597647 | 1000 20000 100000 | 2147483647 83208 136 | 0.000 % |
409.70/410.09 c | 598097 | 1000 20000 100000 | 2147483647 83658 136 | 0.000 % |
410.10/410.46 c | 598592 | 1000 20000 100000 | 2147483647 84153 136 | 0.000 % |
410.50/410.84 c | 599137 | 1000 20000 100000 | 2147483647 84698 136 | 0.000 % |
410.90/411.26 c | 599735 | 1000 20000 100000 | 2147483647 85296 136 | 0.000 % |
411.40/411.74 c | 600390 | 1000 20000 100000 | 2147483647 85951 136 | 0.000 % |
411.90/412.28 c | 601110 | 1000 20000 100000 | 2147483647 86671 136 | 0.000 % |
412.50/412.84 c | 601904 | 1000 20000 100000 | 2147483647 87465 136 | 0.000 % |
413.10/413.47 c | 602775 | 1000 20000 100000 | 2147483647 88336 136 | 0.000 % |
413.80/414.18 c | 603733 | 1000 20000 100000 | 2147483647 89294 136 | 0.000 % |
414.70/415.00 c | 604786 | 1000 20000 100000 | 2147483647 90347 136 | 0.000 % |
415.50/415.89 c | 605945 | 1000 20000 100000 | 2147483647 91506 136 | 0.000 % |
416.50/416.82 c | 607218 | 1000 20000 100000 | 2147483647 92779 136 | 0.000 % |
417.50/417.81 c | 608618 | 1000 20000 100000 | 2147483647 94179 136 | 0.000 % |
418.60/418.97 c | 610158 | 1000 20000 100000 | 95562 95719 136 | 0.000 % |
419.80/420.12 c | 611852 | 1000 20000 100000 | 95562 86670 137 | 0.000 % |
421.10/421.43 c | 613716 | 1000 20000 100000 | 95562 88534 137 | 0.000 % |
422.60/422.93 c | 615765 | 1000 20000 100000 | 95562 90583 137 | 0.000 % |
424.20/424.54 c | 618018 | 1000 20000 100000 | 95562 92836 137 | 0.000 % |
426.20/426.56 c | 620496 | 1000 20000 100000 | 94819 83906 136 | 0.000 % |
428.09/428.49 c | 623221 | 1000 20000 100000 | 94819 86631 136 | 0.000 % |
430.29/430.68 c | 626219 | 1000 20000 100000 | 94819 89629 137 | 0.000 % |
432.69/433.03 c | 629518 | 1000 20000 100000 | 94819 92928 137 | 0.000 % |
435.29/435.66 c | 633143 | 1000 20000 100000 | 93410 85851 137 | 0.000 % |
438.09/438.42 c | 637132 | 1000 20000 100000 | 93410 89840 137 | 0.000 % |
441.18/441.57 c | 641517 | 1000 20000 100000 | 92708 84184 137 | 0.000 % |
444.68/445.09 c | 646341 | 1000 20000 100000 | 92708 89008 138 | 0.000 % |
448.78/449.12 c | 651649 | 1000 20000 100000 | 92667 83025 139 | 0.000 % |
452.79/453.19 c | 657484 | 1000 20000 100000 | 92667 88860 138 | 0.000 % |
452.89/453.27 c | 657584 | 1000 20000 100000 | 92667 88960 138 | 0.000 % |
452.98/453.38 c | 657694 | 1000 20000 100000 | 92667 89070 138 | 0.000 % |
453.08/453.47 c | 657816 | 1000 20000 100000 | 92667 89192 138 | 0.000 % |
453.18/453.58 c | 657950 | 1000 20000 100000 | 92667 89326 138 | 0.000 % |
453.38/453.71 c | 658096 | 1000 20000 100000 | 92667 89472 138 | 0.000 % |
453.48/453.87 c | 658256 | 1000 20000 100000 | 92667 89632 138 | 0.000 % |
453.68/454.02 c | 658432 | 1000 20000 100000 | 92667 89808 138 | 0.000 % |
453.78/454.17 c | 658625 | 1000 20000 100000 | 92667 90001 138 | 0.000 % |
453.99/454.35 c | 658839 | 1000 20000 100000 | 92667 90215 138 | 0.000 % |
454.18/454.55 c | 659074 | 1000 20000 100000 | 92667 90450 138 | 0.000 % |
454.38/454.80 c | 659332 | 1000 20000 100000 | 92667 90708 138 | 0.000 % |
454.68/455.04 c | 659614 | 1000 20000 100000 | 92667 90990 138 | 0.000 % |
454.88/455.28 c | 659924 | 1000 20000 100000 | 92667 91300 138 | 0.000 % |
455.18/455.54 c | 660263 | 1000 20000 100000 | 91378 91639 138 | 0.000 % |
455.48/455.86 c | 660635 | 1000 20000 100000 | 91378 81015 137 | 0.000 % |
455.78/456.14 c | 661045 | 1000 20000 100000 | 91378 81425 137 | 0.000 % |
456.18/456.52 c | 661494 | 1000 20000 100000 | 91378 81874 137 | 0.000 % |
456.58/456.91 c | 661987 | 1000 20000 100000 | 91378 82367 137 | 0.000 % |
456.88/457.28 c | 662530 | 1000 20000 100000 | 91378 82910 137 | 0.000 % |
457.38/457.75 c | 663126 | 1000 20000 100000 | 91378 83506 137 | 0.000 % |
457.88/458.25 c | 663781 | 1000 20000 100000 | 91378 84161 137 | 0.000 % |
458.38/458.74 c | 664503 | 1000 20000 100000 | 91378 84883 137 | 0.000 % |
459.08/459.41 c | 665297 | 1000 20000 100000 | 91378 85677 137 | 0.000 % |
459.68/460.06 c | 666168 | 1000 20000 100000 | 91378 86548 137 | 0.000 % |
460.38/460.76 c | 667126 | 1000 20000 100000 | 91378 87506 137 | 0.000 % |
461.18/461.50 c | 668179 | 1000 20000 100000 | 91378 88559 137 | 0.000 % |
461.98/462.33 c | 669338 | 1000 20000 100000 | 91378 89718 137 | 0.000 % |
462.88/463.29 c | 670611 | 1000 20000 100000 | 90380 80195 136 | 0.000 % |
463.78/464.20 c | 672011 | 1000 20000 100000 | 90380 81595 136 | 0.000 % |
464.98/465.38 c | 673551 | 1000 20000 100000 | 90380 83135 136 | 0.000 % |
466.28/466.62 c | 675247 | 1000 20000 100000 | 90380 84831 136 | 0.000 % |
467.67/468.03 c | 677113 | 1000 20000 100000 | 90380 86697 136 | 0.000 % |
469.07/469.43 c | 679163 | 1000 20000 100000 | 90380 88747 136 | 0.000 % |
470.67/471.06 c | 681419 | 1000 20000 100000 | 89584 81180 137 | 0.000 % |
472.27/472.70 c | 683900 | 1000 20000 100000 | 89584 83661 137 | 0.000 % |
474.17/474.60 c | 686628 | 1000 20000 100000 | 89584 86389 136 | 0.000 % |
476.37/476.70 c | 689627 | 1000 20000 100000 | 89584 89388 137 | 0.000 % |
478.77/479.13 c | 692924 | 1000 20000 100000 | 2147483647 92685 137 | 0.000 % |
481.57/481.90 c | 696549 | 1000 20000 100000 | 2147483647 96310 137 | 0.000 % |
484.86/485.21 c | 700536 | 1000 20000 100000 | 99763 86857 136 | 0.000 % |
488.06/488.47 c | 704921 | 1000 20000 100000 | 99763 91242 136 | 0.000 % |
491.66/492.06 c | 709744 | 1000 20000 100000 | 99763 96065 137 | 0.000 % |
495.66/496.05 c | 715049 | 1000 20000 100000 | 96322 88978 137 | 0.000 % |
500.06/500.44 c | 720884 | 1000 20000 100000 | 93929 83329 137 | 0.000 % |
504.86/505.27 c | 727303 | 1000 20000 100000 | 93929 89748 138 | 0.000 % |
504.96/505.35 c | 727405 | 1000 20000 100000 | 93929 89850 138 | 0.000 % |
505.06/505.44 c | 727516 | 1000 20000 100000 | 93929 89961 138 | 0.000 % |
505.16/505.56 c | 727637 | 1000 20000 100000 | 93929 90082 138 | 0.000 % |
505.26/505.69 c | 727771 | 1000 20000 100000 | 93929 90216 138 | 0.000 % |
505.46/505.83 c | 727917 | 1000 20000 100000 | 93929 90362 138 | 0.000 % |
505.56/505.96 c | 728078 | 1000 20000 100000 | 93929 90523 138 | 0.000 % |
505.76/506.13 c | 728255 | 1000 20000 100000 | 93929 90700 138 | 0.000 % |
505.86/506.29 c | 728450 | 1000 20000 100000 | 93929 90895 138 | 0.000 % |
506.06/506.48 c | 728663 | 1000 20000 100000 | 93929 91108 138 | 0.000 % |
506.26/506.70 c | 728896 | 1000 20000 100000 | 93929 91341 138 | 0.000 % |
506.56/506.91 c | 729152 | 1000 20000 100000 | 93929 91597 138 | 0.000 % |
506.76/507.14 c | 729434 | 1000 20000 100000 | 93929 91879 138 | 0.000 % |
506.95/507.40 c | 729744 | 1000 20000 100000 | 93929 92189 138 | 0.000 % |
507.25/507.69 c | 730083 | 1000 20000 100000 | 92445 92528 138 | 0.000 % |
507.65/508.07 c | 730455 | 1000 20000 100000 | 92445 80864 137 | 0.000 % |
507.95/508.38 c | 730865 | 1000 20000 100000 | 92445 81274 137 | 0.000 % |
508.35/508.75 c | 731314 | 1000 20000 100000 | 92445 81723 137 | 0.000 % |
508.75/509.12 c | 731809 | 1000 20000 100000 | 92445 82218 137 | 0.000 % |
509.15/509.54 c | 732354 | 1000 20000 100000 | 92445 82763 137 | 0.000 % |
509.55/509.96 c | 732950 | 1000 20000 100000 | 92445 83359 137 | 0.000 % |
510.06/510.45 c | 733605 | 1000 20000 100000 | 92445 84014 137 | 0.000 % |
510.55/510.99 c | 734325 | 1000 20000 100000 | 92445 84734 137 | 0.000 % |
511.16/511.56 c | 735117 | 1000 20000 100000 | 92445 85526 137 | 0.000 % |
511.75/512.14 c | 735989 | 1000 20000 100000 | 92445 86398 136 | 0.000 % |
512.35/512.78 c | 736948 | 1000 20000 100000 | 92445 87357 137 | 0.000 % |
513.15/513.57 c | 738001 | 1000 20000 100000 | 92445 88410 137 | 0.000 % |
514.15/514.50 c | 739160 | 1000 20000 100000 | 92445 89569 137 | 0.000 % |
515.15/515.52 c | 740433 | 1000 20000 100000 | 90409 80168 137 | 0.000 % |
516.15/516.51 c | 741834 | 1000 20000 100000 | 90409 81569 137 | 0.000 % |
517.25/517.70 c | 743374 | 1000 20000 100000 | 90409 83109 137 | 0.000 % |
518.45/518.87 c | 745069 | 1000 20000 100000 | 90409 84804 137 | 0.000 % |
519.85/520.30 c | 746934 | 1000 20000 100000 | 90409 86669 137 | 0.000 % |
521.35/521.78 c | 748984 | 1000 20000 100000 | 90409 88719 137 | 0.000 % |
523.05/523.42 c | 751238 | 1000 20000 100000 | 89736 80460 138 | 0.000 % |
524.75/525.15 c | 753716 | 1000 20000 100000 | 89736 82938 138 | 0.000 % |
526.74/527.11 c | 756443 | 1000 20000 100000 | 89736 85665 138 | 0.000 % |
528.93/529.33 c | 759440 | 1000 20000 100000 | 89736 88662 137 | 0.000 % |
531.33/531.79 c | 762737 | 1000 20000 100000 | 89223 82559 138 | 0.000 % |
533.92/534.34 c | 766366 | 1000 20000 100000 | 89223 86188 137 | 0.000 % |
536.92/537.33 c | 770353 | 1000 20000 100000 | 2147483647 81219 138 | 0.000 % |
539.92/540.36 c | 774738 | 1000 20000 100000 | 2147483647 85604 138 | 0.000 % |
543.52/543.90 c | 779561 | 1000 20000 100000 | 2147483647 90427 138 | 0.000 % |
547.22/547.69 c | 784866 | 1000 20000 100000 | 90868 85849 137 | 0.000 % |
551.62/552.07 c | 790701 | 1000 20000 100000 | 90984 81134 138 | 0.000 % |
556.12/556.58 c | 797120 | 1000 20000 100000 | 90984 87553 138 | 0.000 % |
561.51/561.91 c | 804179 | 1000 20000 100000 | 90434 84933 138 | 0.000 % |
561.51/561.99 c | 804283 | 1000 20000 100000 | 90434 85037 138 | 0.000 % |
561.62/562.10 c | 804398 | 1000 20000 100000 | 90434 85152 138 | 0.000 % |
561.72/562.19 c | 804519 | 1000 20000 100000 | 90434 85273 138 | 0.000 % |
561.91/562.33 c | 804653 | 1000 20000 100000 | 90434 85407 138 | 0.000 % |
562.01/562.47 c | 804800 | 1000 20000 100000 | 90434 85554 138 | 0.000 % |
562.21/562.61 c | 804960 | 1000 20000 100000 | 90434 85714 138 | 0.000 % |
562.31/562.76 c | 805140 | 1000 20000 100000 | 90434 85894 138 | 0.000 % |
562.51/562.91 c | 805336 | 1000 20000 100000 | 90434 86090 138 | 0.000 % |
562.61/563.06 c | 805549 | 1000 20000 100000 | 90434 86303 137 | 0.000 % |
562.81/563.29 c | 805789 | 1000 20000 100000 | 90434 86543 137 | 0.000 % |
563.11/563.52 c | 806046 | 1000 20000 100000 | 90434 86800 137 | 0.000 % |
563.31/563.76 c | 806328 | 1000 20000 100000 | 90434 87082 137 | 0.000 % |
563.61/564.02 c | 806638 | 1000 20000 100000 | 90434 87392 137 | 0.000 % |
563.81/564.28 c | 806978 | 1000 20000 100000 | 90434 87732 137 | 0.000 % |
564.11/564.56 c | 807351 | 1000 20000 100000 | 90434 88105 137 | 0.000 % |
564.41/564.86 c | 807760 | 1000 20000 100000 | 90434 88514 137 | 0.000 % |
564.81/565.24 c | 808209 | 1000 20000 100000 | 90434 88963 137 | 0.000 % |
565.21/565.61 c | 808704 | 1000 20000 100000 | 90434 89458 137 | 0.000 % |
565.61/566.01 c | 809248 | 1000 20000 100000 | 90434 90002 137 | 0.000 % |
566.01/566.47 c | 809846 | 1000 20000 100000 | 90434 90600 137 | 0.000 % |
566.61/567.01 c | 810502 | 1000 20000 100000 | 80237 71750 137 | 0.000 % |
567.11/567.52 c | 811223 | 1000 20000 100000 | 80237 72471 137 | 0.000 % |
567.61/568.03 c | 812015 | 1000 20000 100000 | 80237 73263 137 | 0.000 % |
568.21/568.63 c | 812888 | 1000 20000 100000 | 80237 74136 137 | 0.000 % |
568.81/569.26 c | 813847 | 1000 20000 100000 | 80237 75095 137 | 0.000 % |
569.51/569.95 c | 814900 | 1000 20000 100000 | 80237 76148 137 | 0.000 % |
570.21/570.68 c | 816058 | 1000 20000 100000 | 80237 77306 137 | 0.000 % |
571.11/571.60 c | 817332 | 1000 20000 100000 | 80237 78580 137 | 0.000 % |
572.11/572.58 c | 818733 | 1000 20000 100000 | 80237 79981 137 | 0.000 % |
573.21/573.68 c | 820274 | 1000 20000 100000 | 2147483647 73462 137 | 0.000 % |
574.30/574.79 c | 821969 | 1000 20000 100000 | 2147483647 75157 137 | 0.000 % |
575.50/575.94 c | 823833 | 1000 20000 100000 | 2147483647 77021 137 | 0.000 % |
576.80/577.26 c | 825884 | 1000 20000 100000 | 2147483647 79072 137 | 0.000 % |
578.30/578.72 c | 828137 | 1000 20000 100000 | 2147483647 81325 137 | 0.000 % |
579.90/580.36 c | 830616 | 1000 20000 100000 | 2147483647 83804 137 | 0.000 % |
581.80/582.25 c | 833342 | 1000 20000 100000 | 2147483647 86530 137 | 0.000 % |
584.00/584.45 c | 836342 | 1000 20000 100000 | 2147483647 89530 137 | 0.000 % |
586.50/586.95 c | 839638 | 1000 20000 100000 | 2147483647 92826 137 | 0.000 % |
589.10/589.55 c | 843263 | 1000 20000 100000 | 93189 86602 137 | 0.000 % |
592.00/592.44 c | 847250 | 1000 20000 100000 | 93189 90589 137 | 0.000 % |
595.39/595.87 c | 851636 | 1000 20000 100000 | 93340 84484 138 | 0.000 % |
599.00/599.43 c | 856459 | 1000 20000 100000 | 93340 89307 138 | 0.000 % |
603.09/603.50 c | 861765 | 1000 20000 100000 | 92850 83670 138 | 0.000 % |
607.39/607.81 c | 867600 | 1000 20000 100000 | 92850 89505 139 | 0.000 % |
612.29/612.78 c | 874018 | 1000 20000 100000 | 91905 85357 139 | 0.000 % |
617.19/617.69 c | 881077 | 1000 20000 100000 | 91339 81408 139 | 0.000 % |
622.48/622.94 c | 888841 | 1000 20000 100000 | 91339 89172 140 | 0.000 % |
622.58/623.03 c | 888944 | 1000 20000 100000 | 91339 89275 140 | 0.000 % |
622.68/623.12 c | 889055 | 1000 20000 100000 | 91339 89386 140 | 0.000 % |
622.78/623.25 c | 889176 | 1000 20000 100000 | 91339 89507 140 | 0.000 % |
622.88/623.37 c | 889309 | 1000 20000 100000 | 91339 89640 140 | 0.000 % |
622.98/623.48 c | 889457 | 1000 20000 100000 | 91339 89788 140 | 0.000 % |
623.18/623.63 c | 889618 | 1000 20000 100000 | 91339 89949 140 | 0.000 % |
623.28/623.79 c | 889795 | 1000 20000 100000 | 91339 90126 140 | 0.000 % |
623.48/623.94 c | 889989 | 1000 20000 100000 | 91339 90320 140 | 0.000 % |
623.68/624.13 c | 890201 | 1000 20000 100000 | 90334 90532 140 | 0.000 % |
623.88/624.36 c | 890434 | 1000 20000 100000 | 90334 79440 141 | 0.000 % |
624.08/624.54 c | 890691 | 1000 20000 100000 | 90334 79697 141 | 0.000 % |
624.28/624.75 c | 890973 | 1000 20000 100000 | 90334 79979 141 | 0.000 % |
624.47/624.98 c | 891284 | 1000 20000 100000 | 90334 80290 141 | 0.000 % |
624.77/625.24 c | 891623 | 1000 20000 100000 | 90334 80629 141 | 0.000 % |
625.07/625.52 c | 891995 | 1000 20000 100000 | 90334 81001 141 | 0.000 % |
625.38/625.80 c | 892405 | 1000 20000 100000 | 90334 81411 140 | 0.000 % |
625.67/626.13 c | 892855 | 1000 20000 100000 | 90334 81861 140 | 0.000 % |
625.97/626.46 c | 893348 | 1000 20000 100000 | 90334 82354 140 | 0.000 % |
626.37/626.84 c | 893891 | 1000 20000 100000 | 90334 82897 140 | 0.000 % |
626.77/627.22 c | 894492 | 1000 20000 100000 | 90334 83498 140 | 0.000 % |
627.17/627.69 c | 895150 | 1000 20000 100000 | 90334 84156 140 | 0.000 % |
627.77/628.21 c | 895871 | 1000 20000 100000 | 90334 84877 140 | 0.000 % |
628.27/628.75 c | 896664 | 1000 20000 100000 | 90334 85670 140 | 0.000 % |
628.87/629.36 c | 897536 | 1000 20000 100000 | 90334 86542 140 | 0.000 % |
629.67/630.11 c | 898494 | 1000 20000 100000 | 90334 87500 140 | 0.000 % |
630.37/630.84 c | 899548 | 1000 20000 100000 | 90334 88554 139 | 0.000 % |
631.27/631.75 c | 900708 | 1000 20000 100000 | 89006 80031 140 | 0.000 % |
632.17/632.65 c | 901983 | 1000 20000 100000 | 89006 81306 140 | 0.000 % |
633.17/633.67 c | 903384 | 1000 20000 100000 | 89006 82707 140 | 0.000 % |
634.27/634.79 c | 904925 | 1000 20000 100000 | 89006 84248 140 | 0.000 % |
635.47/635.99 c | 906620 | 1000 20000 100000 | 89006 85943 140 | 0.000 % |
636.77/637.29 c | 908485 | 1000 20000 100000 | 89006 87808 140 | 0.000 % |
638.37/638.85 c | 910534 | 1000 20000 100000 | 2147483647 89857 140 | 0.000 % |
640.07/640.55 c | 912788 | 1000 20000 100000 | 2147483647 92111 140 | 0.000 % |
641.97/642.42 c | 915266 | 1000 20000 100000 | 2147483647 94589 140 | 0.000 % |
644.07/644.54 c | 917991 | 1000 20000 100000 | 2147483647 97314 140 | 0.000 % |
646.46/646.94 c | 920989 | 1000 20000 100000 | 99324 87097 140 | 0.000 % |
648.96/649.47 c | 924285 | 1000 20000 100000 | 99324 90393 141 | 0.000 % |
651.86/652.38 c | 927912 | 1000 20000 100000 | 99324 94020 141 | 0.000 % |
654.96/655.43 c | 931899 | 1000 20000 100000 | 96108 85996 141 | 0.000 % |
658.16/658.60 c | 936285 | 1000 20000 100000 | 96108 90382 140 | 0.000 % |
661.76/662.22 c | 941109 | 1000 20000 100000 | 94097 84063 140 | 0.000 % |
665.65/666.13 c | 946414 | 1000 20000 100000 | 94097 89368 140 | 0.000 % |
670.15/670.68 c | 952249 | 1000 20000 100000 | 92954 84944 139 | 0.000 % |
675.05/675.53 c | 958668 | 1000 20000 100000 | 92954 91363 140 | 0.000 % |
680.35/680.86 c | 965727 | 1000 20000 100000 | 92697 87515 139 | 0.000 % |
685.95/686.45 c | 973491 | 1000 20000 100000 | 91789 84718 138 | 0.000 % |
692.74/693.22 c | 982031 | 1000 20000 100000 | 91227 82671 140 | 0.000 % |
692.84/693.31 c | 982131 | 1000 20000 100000 | 91227 82771 140 | 0.000 % |
692.84/693.39 c | 982242 | 1000 20000 100000 | 91227 82882 140 | 0.000 % |
692.94/693.49 c | 982364 | 1000 20000 100000 | 91227 83004 140 | 0.000 % |
693.04/693.59 c | 982497 | 1000 20000 100000 | 91227 83137 140 | 0.000 % |
693.24/693.72 c | 982643 | 1000 20000 100000 | 91227 83283 140 | 0.000 % |
693.34/693.84 c | 982803 | 1000 20000 100000 | 91227 83443 140 | 0.000 % |
693.44/693.96 c | 982980 | 1000 20000 100000 | 91227 83620 140 | 0.000 % |
693.65/694.12 c | 983175 | 1000 20000 100000 | 91227 83815 140 | 0.000 % |
693.75/694.27 c | 983388 | 1000 20000 100000 | 91227 84028 140 | 0.000 % |
693.95/694.45 c | 983621 | 1000 20000 100000 | 91227 84261 140 | 0.000 % |
694.15/694.64 c | 983878 | 1000 20000 100000 | 91227 84518 140 | 0.000 % |
694.34/694.88 c | 984159 | 1000 20000 100000 | 91227 84799 140 | 0.000 % |
694.65/695.11 c | 984469 | 1000 20000 100000 | 91227 85109 139 | 0.000 % |
694.84/695.38 c | 984809 | 1000 20000 100000 | 91227 85449 139 | 0.000 % |
695.14/695.65 c | 985181 | 1000 20000 100000 | 91227 85821 139 | 0.000 % |
695.44/695.95 c | 985592 | 1000 20000 100000 | 91227 86232 139 | 0.000 % |
695.85/696.33 c | 986041 | 1000 20000 100000 | 91227 86681 139 | 0.000 % |
696.24/696.72 c | 986535 | 1000 20000 100000 | 91227 87175 139 | 0.000 % |
696.64/697.16 c | 987078 | 1000 20000 100000 | 91227 87718 139 | 0.000 % |
697.14/697.61 c | 987675 | 1000 20000 100000 | 91227 88315 139 | 0.000 % |
697.54/698.08 c | 988330 | 1000 20000 100000 | 91227 88970 139 | 0.000 % |
698.14/698.63 c | 989052 | 1000 20000 100000 | 91227 89692 139 | 0.000 % |
698.74/699.26 c | 989846 | 1000 20000 100000 | 91227 90486 139 | 0.000 % |
699.44/699.96 c | 990717 | 1000 20000 100000 | 90640 79889 139 | 0.000 % |
700.14/700.65 c | 991676 | 1000 20000 100000 | 90640 80848 139 | 0.000 % |
700.84/701.38 c | 992729 | 1000 20000 100000 | 90640 81901 139 | 0.000 % |
701.64/702.16 c | 993888 | 1000 20000 100000 | 90640 83060 138 | 0.000 % |
702.54/703.07 c | 995161 | 1000 20000 100000 | 90640 84333 138 | 0.000 % |
703.54/704.03 c | 996562 | 1000 20000 100000 | 90640 85734 138 | 0.000 % |
704.64/705.17 c | 998103 | 1000 20000 100000 | 90640 87275 138 | 0.000 % |
705.84/706.37 c | 999797 | 1000 20000 100000 | 90640 88969 138 | 0.000 % |
707.14/707.68 c | 1001661 | 1000 20000 100000 | 89172 81126 138 | 0.000 % |
708.63/709.15 c | 1003710 | 1000 20000 100000 | 89172 83175 138 | 0.000 % |
710.13/710.62 c | 1005964 | 1000 20000 100000 | 89172 85429 138 | 0.000 % |
711.73/712.22 c | 1008442 | 1000 20000 100000 | 89172 87907 138 | 0.000 % |
713.53/714.07 c | 1011168 | 1000 20000 100000 | 2147483647 90633 138 | 0.000 % |
715.93/716.41 c | 1014167 | 1000 20000 100000 | 2147483647 93632 138 | 0.000 % |
718.53/719.00 c | 1017463 | 1000 20000 100000 | 2147483647 96928 138 | 0.000 % |
721.53/722.06 c | 1021089 | 1000 20000 100000 | 99465 87970 138 | 0.000 % |
724.43/724.97 c | 1025078 | 1000 20000 100000 | 99465 91959 138 | 0.000 % |
727.82/728.36 c | 1029463 | 1000 20000 100000 | 99465 96344 138 | 0.000 % |
731.42/731.90 c | 1034289 | 1000 20000 100000 | 96881 87295 138 | 0.000 % |
735.32/735.90 c | 1039595 | 1000 20000 100000 | 96881 92601 138 | 0.000 % |
739.32/739.87 c | 1045431 | 1000 20000 100000 | 93006 86423 137 | 0.000 % |
744.12/744.60 c | 1051850 | 1000 20000 100000 | 90993 81422 139 | 0.000 % |
749.72/750.26 c | 1058910 | 1000 20000 100000 | 90993 88482 140 | 0.000 % |
755.91/756.41 c | 1066676 | 1000 20000 100000 | 89573 85377 141 | 0.000 % |
762.31/762.89 c | 1075216 | 1000 20000 100000 | 88702 83503 143 | 0.000 % |
769.71/770.24 c | 1084611 | 1000 20000 100000 | 88288 83372 144 | 0.000 % |
769.81/770.33 c | 1084711 | 1000 20000 100000 | 88288 83472 144 | 0.000 % |
769.90/770.42 c | 1084821 | 1000 20000 100000 | 88288 83582 144 | 0.000 % |
770.00/770.53 c | 1084942 | 1000 20000 100000 | 88288 83703 144 | 0.000 % |
770.10/770.66 c | 1085075 | 1000 20000 100000 | 88288 83836 143 | 0.000 % |
770.30/770.81 c | 1085222 | 1000 20000 100000 | 88288 83983 143 | 0.000 % |
770.40/770.93 c | 1085383 | 1000 20000 100000 | 88288 84144 143 | 0.000 % |
770.51/771.08 c | 1085562 | 1000 20000 100000 | 88288 84323 143 | 0.000 % |
770.71/771.27 c | 1085755 | 1000 20000 100000 | 88288 84516 143 | 0.000 % |
770.91/771.44 c | 1085967 | 1000 20000 100000 | 88288 84728 143 | 0.000 % |
771.11/771.66 c | 1086201 | 1000 20000 100000 | 88288 84962 143 | 0.000 % |
771.30/771.85 c | 1086457 | 1000 20000 100000 | 88288 85218 143 | 0.000 % |
771.50/772.09 c | 1086738 | 1000 20000 100000 | 88288 85499 143 | 0.000 % |
771.80/772.33 c | 1087047 | 1000 20000 100000 | 88288 85808 143 | 0.000 % |
772.10/772.65 c | 1087387 | 1000 20000 100000 | 88288 86148 143 | 0.000 % |
772.40/772.95 c | 1087760 | 1000 20000 100000 | 88288 86521 143 | 0.000 % |
772.71/773.26 c | 1088169 | 1000 20000 100000 | 88288 86930 143 | 0.000 % |
773.00/773.59 c | 1088618 | 1000 20000 100000 | 88288 87379 143 | 0.000 % |
773.40/773.96 c | 1089114 | 1000 20000 100000 | 88288 87875 143 | 0.000 % |
773.81/774.35 c | 1089657 | 1000 20000 100000 | 88288 88418 143 | 0.000 % |
774.30/774.81 c | 1090253 | 1000 20000 100000 | 78776 79028 143 | 0.000 % |
774.70/775.27 c | 1090909 | 1000 20000 100000 | 78776 71077 143 | 0.000 % |
775.20/775.72 c | 1091631 | 1000 20000 100000 | 78776 71799 143 | 0.000 % |
775.60/776.19 c | 1092424 | 1000 20000 100000 | 78776 72592 143 | 0.000 % |
776.20/776.71 c | 1093295 | 1000 20000 100000 | 78776 73463 143 | 0.000 % |
776.70/777.29 c | 1094254 | 1000 20000 100000 | 78776 74422 143 | 0.000 % |
777.40/777.91 c | 1095308 | 1000 20000 100000 | 78776 75476 142 | 0.000 % |
778.10/778.65 c | 1096466 | 1000 20000 100000 | 78776 76634 142 | 0.000 % |
778.90/779.43 c | 1097739 | 1000 20000 100000 | 78776 77907 142 | 0.000 % |
779.80/780.35 c | 1099139 | 1000 20000 100000 | 78776 71392 142 | 0.000 % |
780.70/781.29 c | 1100680 | 1000 20000 100000 | 2147483647 72933 142 | 0.000 % |
781.90/782.42 c | 1102378 | 1000 20000 100000 | 2147483647 74631 142 | 0.000 % |
783.10/783.65 c | 1104242 | 1000 20000 100000 | 2147483647 76495 142 | 0.000 % |
784.40/784.99 c | 1106291 | 1000 20000 100000 | 2147483647 78544 142 | 0.000 % |
786.00/786.53 c | 1108544 | 1000 20000 100000 | 2147483647 80797 142 | 0.000 % |
787.70/788.26 c | 1111025 | 1000 20000 100000 | 2147483647 83278 142 | 0.000 % |
789.70/790.28 c | 1113752 | 1000 20000 100000 | 2147483647 86005 141 | 0.000 % |
791.90/792.42 c | 1116749 | 1000 20000 100000 | 2147483647 89002 141 | 0.000 % |
794.39/794.95 c | 1120045 | 1000 20000 100000 | 92254 92298 141 | 0.000 % |
796.90/797.47 c | 1123672 | 1000 20000 100000 | 92254 86527 140 | 0.000 % |
799.78/800.35 c | 1127660 | 1000 20000 100000 | 92254 90515 140 | 0.000 % |
803.08/803.63 c | 1132045 | 1000 20000 100000 | 82530 75552 137 | 0.000 % |
806.28/806.82 c | 1136868 | 1000 20000 100000 | 82530 80375 137 | 0.000 % |
809.68/810.29 c | 1142178 | 1000 20000 100000 | 2147483647 77397 136 | 0.000 % |
813.78/814.35 c | 1148014 | 1000 20000 100000 | 2147483647 83233 136 | 0.000 % |
818.38/818.99 c | 1154433 | 1000 20000 100000 | 2147483647 89652 137 | 0.000 % |
823.97/824.55 c | 1161492 | 1000 20000 100000 | 95219 84603 138 | 0.000 % |
829.67/830.23 c | 1169257 | 1000 20000 100000 | 95219 92368 138 | 0.000 % |
835.97/836.58 c | 1177799 | 1000 20000 100000 | 93111 89626 139 | 0.000 % |
843.26/843.84 c | 1187194 | 1000 20000 100000 | 91829 88320 141 | 0.000 % |
851.26/851.87 c | 1197528 | 1000 20000 100000 | 91128 87835 142 | 0.000 % |
851.36/851.98 c | 1197629 | 1000 20000 100000 | 91128 87936 142 | 0.000 % |
851.46/852.07 c | 1197739 | 1000 20000 100000 | 91128 88046 142 | 0.000 % |
851.56/852.16 c | 1197862 | 1000 20000 100000 | 91128 88169 141 | 0.000 % |
851.66/852.30 c | 1197996 | 1000 20000 100000 | 91128 88303 141 | 0.000 % |
851.86/852.43 c | 1198143 | 1000 20000 100000 | 91128 88450 141 | 0.000 % |
851.96/852.57 c | 1198303 | 1000 20000 100000 | 91128 88610 141 | 0.000 % |
852.16/852.73 c | 1198480 | 1000 20000 100000 | 91128 88787 141 | 0.000 % |
852.26/852.88 c | 1198673 | 1000 20000 100000 | 91128 88980 141 | 0.000 % |
852.46/853.05 c | 1198885 | 1000 20000 100000 | 91128 89192 141 | 0.000 % |
852.66/853.21 c | 1199118 | 1000 20000 100000 | 91128 89425 141 | 0.000 % |
852.86/853.41 c | 1199374 | 1000 20000 100000 | 91128 89681 141 | 0.000 % |
853.06/853.65 c | 1199655 | 1000 20000 100000 | 91128 89962 141 | 0.000 % |
853.36/853.93 c | 1199966 | 1000 20000 100000 | 91128 90273 141 | 0.000 % |
853.56/854.19 c | 1200305 | 1000 20000 100000 | 90307 90612 141 | 0.000 % |
853.96/854.50 c | 1200679 | 1000 20000 100000 | 90307 79974 142 | 0.000 % |
854.26/854.80 c | 1201089 | 1000 20000 100000 | 90307 80384 142 | 0.000 % |
854.56/855.18 c | 1201539 | 1000 20000 100000 | 90307 80834 142 | 0.000 % |
854.96/855.54 c | 1202032 | 1000 20000 100000 | 90307 81327 142 | 0.000 % |
855.46/856.01 c | 1202574 | 1000 20000 100000 | 90307 81869 141 | 0.000 % |
855.86/856.45 c | 1203171 | 1000 20000 100000 | 90307 82466 141 | 0.000 % |
856.36/856.93 c | 1203827 | 1000 20000 100000 | 90307 83122 141 | 0.000 % |
856.86/857.46 c | 1204549 | 1000 20000 100000 | 90307 83844 141 | 0.000 % |
857.46/858.04 c | 1205341 | 1000 20000 100000 | 90307 84636 141 | 0.000 % |
858.05/858.65 c | 1206213 | 1000 20000 100000 | 90307 85508 141 | 0.000 % |
858.75/859.39 c | 1207171 | 1000 20000 100000 | 90307 86466 141 | 0.000 % |
859.56/860.13 c | 1208225 | 1000 20000 100000 | 90307 87520 141 | 0.000 % |
860.35/860.96 c | 1209384 | 1000 20000 100000 | 90307 88679 141 | 0.000 % |
861.35/861.93 c | 1210660 | 1000 20000 100000 | 89295 79876 141 | 0.000 % |
862.25/862.85 c | 1212060 | 1000 20000 100000 | 89295 81276 141 | 0.000 % |
863.35/863.95 c | 1213600 | 1000 20000 100000 | 89295 82816 141 | 0.000 % |
864.45/865.07 c | 1215295 | 1000 20000 100000 | 89295 84511 141 | 0.000 % |
865.75/866.31 c | 1217158 | 1000 20000 100000 | 89295 86374 140 | 0.000 % |
867.05/867.66 c | 1219210 | 1000 20000 100000 | 89295 88426 141 | 0.000 % |
868.65/869.25 c | 1221464 | 1000 20000 100000 | 89218 81463 141 | 0.000 % |
870.25/870.88 c | 1223943 | 1000 20000 100000 | 89218 83942 141 | 0.000 % |
872.15/872.75 c | 1226669 | 1000 20000 100000 | 89218 86668 141 | 0.000 % |
874.35/874.98 c | 1229666 | 1000 20000 100000 | 89218 80709 141 | 0.000 % |
876.55/877.18 c | 1232963 | 1000 20000 100000 | 2147483647 84006 140 | 0.000 % |
879.14/879.79 c | 1236590 | 1000 20000 100000 | 2147483647 87633 140 | 0.000 % |
882.04/882.65 c | 1240579 | 1000 20000 100000 | 91044 82106 139 | 0.000 % |
885.14/885.71 c | 1244964 | 1000 20000 100000 | 91044 86491 138 | 0.000 % |
888.53/889.16 c | 1249788 | 1000 20000 100000 | 91044 91315 139 | 0.000 % |
892.23/892.83 c | 1255094 | 1000 20000 100000 | 81557 78189 137 | 0.000 % |
896.12/896.70 c | 1260929 | 1000 20000 100000 | 2147483647 75830 136 | 0.000 % |
900.12/900.77 c | 1267349 | 1000 20000 100000 | 2147483647 82250 137 | 0.000 % |
905.32/905.98 c | 1274408 | 1000 20000 100000 | 2147483647 89309 138 | 0.000 % |
911.32/911.96 c | 1282175 | 1000 20000 100000 | 94901 85500 138 | 0.000 % |
918.52/919.11 c | 1290716 | 1000 20000 100000 | 93325 82242 140 | 0.000 % |
925.91/926.52 c | 1300110 | 1000 20000 100000 | 91527 91636 140 | 0.000 % |
934.80/935.47 c | 1310444 | 1000 20000 100000 | 89974 78506 143 | 0.000 % |
944.40/945.01 c | 1321810 | 1000 20000 100000 | 88064 79185 144 | 0.000 % |
944.40/945.08 c | 1321910 | 1000 20000 100000 | 88064 79285 144 | 0.000 % |
944.50/945.19 c | 1322020 | 1000 20000 100000 | 88064 79395 144 | 0.000 % |
944.70/945.32 c | 1322141 | 1000 20000 100000 | 88064 79516 144 | 0.000 % |
944.80/945.43 c | 1322281 | 1000 20000 100000 | 88064 79656 144 | 0.000 % |
944.90/945.54 c | 1322428 | 1000 20000 100000 | 88064 79803 144 | 0.000 % |
945.00/945.66 c | 1322589 | 1000 20000 100000 | 88064 79964 144 | 0.000 % |
945.20/945.80 c | 1322765 | 1000 20000 100000 | 88064 80140 144 | 0.000 % |
945.30/945.94 c | 1322958 | 1000 20000 100000 | 88064 80333 144 | 0.000 % |
945.50/946.11 c | 1323171 | 1000 20000 100000 | 88064 80546 143 | 0.000 % |
945.60/946.26 c | 1323405 | 1000 20000 100000 | 88064 80780 143 | 0.000 % |
945.80/946.44 c | 1323661 | 1000 20000 100000 | 88064 81036 143 | 0.000 % |
946.00/946.65 c | 1323942 | 1000 20000 100000 | 88064 81317 143 | 0.000 % |
946.20/946.86 c | 1324255 | 1000 20000 100000 | 88064 81630 143 | 0.000 % |
946.50/947.11 c | 1324595 | 1000 20000 100000 | 88064 81970 143 | 0.000 % |
946.79/947.40 c | 1324967 | 1000 20000 100000 | 88064 82342 143 | 0.000 % |
947.09/947.71 c | 1325376 | 1000 20000 100000 | 88064 82751 143 | 0.000 % |
947.39/948.04 c | 1325825 | 1000 20000 100000 | 88064 83200 143 | 0.000 % |
947.69/948.39 c | 1326319 | 1000 20000 100000 | 88064 83694 143 | 0.000 % |
948.09/948.78 c | 1326861 | 1000 20000 100000 | 88064 84236 143 | 0.000 % |
948.61/949.22 c | 1327457 | 1000 20000 100000 | 88064 84832 143 | 0.000 % |
949.10/949.70 c | 1328112 | 1000 20000 100000 | 88064 85487 142 | 0.000 % |
949.60/950.22 c | 1328832 | 1000 20000 100000 | 88064 86207 142 | 0.000 % |
950.10/950.77 c | 1329624 | 1000 20000 100000 | 88064 86999 142 | 0.000 % |
950.81/951.44 c | 1330496 | 1000 20000 100000 | 87375 77825 143 | 0.000 % |
951.40/952.08 c | 1331455 | 1000 20000 100000 | 87375 78784 143 | 0.000 % |
952.10/952.78 c | 1332508 | 1000 20000 100000 | 87375 79837 142 | 0.000 % |
953.00/953.65 c | 1333667 | 1000 20000 100000 | 87375 80996 142 | 0.000 % |
953.90/954.59 c | 1334940 | 1000 20000 100000 | 87375 82269 142 | 0.000 % |
954.80/955.49 c | 1336340 | 1000 20000 100000 | 87375 83669 142 | 0.000 % |
955.90/956.58 c | 1337881 | 1000 20000 100000 | 87375 85210 142 | 0.000 % |
957.00/957.69 c | 1339576 | 1000 20000 100000 | 87375 86905 142 | 0.000 % |
958.40/959.03 c | 1341439 | 1000 20000 100000 | 87330 79672 142 | 0.000 % |
959.80/960.45 c | 1343488 | 1000 20000 100000 | 87330 81721 141 | 0.000 % |
961.49/962.13 c | 1345742 | 1000 20000 100000 | 87330 83975 141 | 0.000 % |
963.39/964.01 c | 1348221 | 1000 20000 100000 | 87330 86454 141 | 0.000 % |
965.29/965.91 c | 1350947 | 1000 20000 100000 | 2147483647 80267 140 | 0.000 % |
967.30/967.92 c | 1353945 | 1000 20000 100000 | 2147483647 83265 140 | 0.000 % |
969.60/970.29 c | 1357242 | 1000 20000 100000 | 2147483647 86562 140 | 0.000 % |
972.29/972.95 c | 1360867 | 1000 20000 100000 | 2147483647 90187 140 | 0.000 % |
975.49/976.14 c | 1364855 | 1000 20000 100000 | 2147483647 94175 139 | 0.000 % |
979.07/979.71 c | 1369242 | 1000 20000 100000 | 2147483647 98562 139 | 0.000 % |
982.87/983.58 c | 1374066 | 1000 20000 100000 | 99323 90552 138 | 0.000 % |
986.67/987.38 c | 1379372 | 1000 20000 100000 | 99323 95858 138 | 0.000 % |
990.76/991.40 c | 1385210 | 1000 20000 100000 | 96486 88383 138 | 0.000 % |
995.46/996.16 c | 1391629 | 1000 20000 100000 | 93173 83491 136 | 0.000 % |
1000.76/1001.45 c | 1398688 | 1000 20000 100000 | 93173 90550 136 | 0.000 % |
1006.76/1007.43 c | 1406455 | 1000 20000 100000 | 91864 87009 135 | 0.000 % |
1013.36/1014.04 c | 1414995 | 1000 20000 100000 | 90554 84769 137 | 0.000 % |
1020.65/1021.33 c | 1424390 | 1000 20000 100000 | 89777 83580 139 | 0.000 % |
1028.74/1029.47 c | 1434723 | 1000 20000 100000 | 89193 83958 140 | 0.000 % |
1037.74/1038.50 c | 1446090 | 1000 20000 100000 | 89236 85137 141 | 0.000 % |
1046.54/1047.21 c | 1458593 | 1000 20000 100000 | 89049 86527 143 | 0.000 % |
1046.64/1047.30 c | 1458695 | 1000 20000 100000 | 89049 86629 143 | 0.000 % |
1046.64/1047.39 c | 1458807 | 1000 20000 100000 | 89049 86741 143 | 0.000 % |
1046.84/1047.50 c | 1458928 | 1000 20000 100000 | 89049 86862 143 | 0.000 % |
1046.94/1047.60 c | 1459063 | 1000 20000 100000 | 89049 86997 143 | 0.000 % |
1047.04/1047.74 c | 1459211 | 1000 20000 100000 | 89049 87145 143 | 0.000 % |
1047.14/1047.86 c | 1459371 | 1000 20000 100000 | 89049 87305 143 | 0.000 % |
1047.24/1047.99 c | 1459547 | 1000 20000 100000 | 89049 87481 143 | 0.000 % |
1047.44/1048.16 c | 1459741 | 1000 20000 100000 | 89049 87675 142 | 0.000 % |
1047.64/1048.33 c | 1459953 | 1000 20000 100000 | 89049 87887 142 | 0.000 % |
1047.84/1048.52 c | 1460188 | 1000 20000 100000 | 87934 88122 142 | 0.000 % |
1048.04/1048.77 c | 1460445 | 1000 20000 100000 | 87934 76935 143 | 0.000 % |
1048.24/1048.96 c | 1460726 | 1000 20000 100000 | 87934 77216 143 | 0.000 % |
1048.44/1049.18 c | 1461036 | 1000 20000 100000 | 87934 77526 143 | 0.000 % |
1048.74/1049.43 c | 1461377 | 1000 20000 100000 | 87934 77867 143 | 0.000 % |
1049.04/1049.70 c | 1461751 | 1000 20000 100000 | 87934 78241 143 | 0.000 % |
1049.23/1049.99 c | 1462161 | 1000 20000 100000 | 87934 78651 142 | 0.000 % |
1049.53/1050.29 c | 1462611 | 1000 20000 100000 | 87934 79101 142 | 0.000 % |
1049.93/1050.61 c | 1463104 | 1000 20000 100000 | 87934 79594 142 | 0.000 % |
1050.33/1051.03 c | 1463648 | 1000 20000 100000 | 87934 80138 142 | 0.000 % |
1050.73/1051.42 c | 1464245 | 1000 20000 100000 | 87934 80735 142 | 0.000 % |
1051.13/1051.84 c | 1464903 | 1000 20000 100000 | 87934 81393 142 | 0.000 % |
1051.63/1052.36 c | 1465625 | 1000 20000 100000 | 87934 82115 142 | 0.000 % |
1052.23/1052.92 c | 1466417 | 1000 20000 100000 | 87934 82907 142 | 0.000 % |
1052.83/1053.52 c | 1467288 | 1000 20000 100000 | 87934 83778 142 | 0.000 % |
1053.43/1054.18 c | 1468247 | 1000 20000 100000 | 87934 84737 142 | 0.000 % |
1054.14/1054.89 c | 1469301 | 1000 20000 100000 | 87934 85791 141 | 0.000 % |
1054.93/1055.68 c | 1470460 | 1000 20000 100000 | 2147483647 86950 141 | 0.000 % |
1055.83/1056.54 c | 1471734 | 1000 20000 100000 | 2147483647 88224 141 | 0.000 % |
1056.83/1057.59 c | 1473134 | 1000 20000 100000 | 2147483647 89624 141 | 0.000 % |
1057.93/1058.66 c | 1474676 | 1000 20000 100000 | 2147483647 91166 141 | 0.000 % |
1059.23/1059.94 c | 1476370 | 1000 20000 100000 | 2147483647 92860 141 | 0.000 % |
1060.63/1061.31 c | 1478235 | 1000 20000 100000 | 2147483647 94725 141 | 0.000 % |
1062.13/1062.84 c | 1480286 | 1000 20000 100000 | 96490 96776 141 | 0.000 % |
1063.83/1064.55 c | 1482539 | 1000 20000 100000 | 96490 88034 141 | 0.000 % |
1065.73/1066.41 c | 1485017 | 1000 20000 100000 | 96490 90512 141 | 0.000 % |
1067.62/1068.39 c | 1487745 | 1000 20000 100000 | 96490 93240 140 | 0.000 % |
1069.91/1070.65 c | 1490744 | 1000 20000 100000 | 95496 84240 141 | 0.000 % |
1072.11/1072.89 c | 1494040 | 1000 20000 100000 | 95496 87536 141 | 0.000 % |
1074.81/1075.56 c | 1497666 | 1000 20000 100000 | 95496 91162 141 | 0.000 % |
1077.71/1078.47 c | 1501653 | 1000 20000 100000 | 93496 84055 141 | 0.000 % |
1081.01/1081.71 c | 1506040 | 1000 20000 100000 | 93496 88442 141 | 0.000 % |
1084.81/1085.52 c | 1510865 | 1000 20000 100000 | 92402 81322 140 | 0.000 % |
1088.51/1089.28 c | 1516170 | 1000 20000 100000 | 92402 86627 140 | 0.000 % |
1093.11/1093.84 c | 1522006 | 1000 20000 100000 | 90457 81617 141 | 0.000 % |
1097.70/1098.48 c | 1528425 | 1000 20000 100000 | 90457 88036 141 | 0.000 % |
1102.80/1103.54 c | 1535485 | 1000 20000 100000 | 89612 84826 141 | 0.000 % |
1108.40/1109.18 c | 1543250 | 1000 20000 100000 | 89342 82925 141 | 0.000 % |
1115.09/1115.85 c | 1551791 | 1000 20000 100000 | 89677 80103 143 | 0.000 % |
1121.99/1122.70 c | 1561187 | 1000 20000 100000 | 88313 79517 143 | 0.000 % |
1130.19/1130.97 c | 1571521 | 1000 20000 100000 | 88330 80035 145 | 0.000 % |
1138.28/1139.00 c | 1582887 | 1000 20000 100000 | 88515 81423 146 | 0.000 % |
1147.59/1148.39 c | 1595389 | 1000 20000 100000 | 88539 84171 148 | 0.000 % |
1158.97/1159.72 c | 1609143 | 1000 20000 100000 | 88782 87047 148 | 0.000 % |
1159.07/1159.81 c | 1609243 | 1000 20000 100000 | 88782 87147 148 | 0.000 % |
1159.17/1159.90 c | 1609354 | 1000 20000 100000 | 88782 87258 148 | 0.000 % |
1159.27/1160.00 c | 1609476 | 1000 20000 100000 | 88782 87380 148 | 0.000 % |
1159.37/1160.11 c | 1609611 | 1000 20000 100000 | 88782 87515 148 | 0.000 % |
1159.47/1160.23 c | 1609758 | 1000 20000 100000 | 88782 87662 148 | 0.000 % |
1159.57/1160.36 c | 1609919 | 1000 20000 100000 | 88782 87823 148 | 0.000 % |
1159.77/1160.52 c | 1610095 | 1000 20000 100000 | 87905 87999 148 | 0.000 % |
1159.97/1160.75 c | 1610289 | 1000 20000 100000 | 87905 76716 148 | 0.000 % |
1160.17/1160.91 c | 1610501 | 1000 20000 100000 | 87905 76928 147 | 0.000 % |
1160.27/1161.09 c | 1610735 | 1000 20000 100000 | 87905 77162 147 | 0.000 % |
1160.47/1161.26 c | 1610991 | 1000 20000 100000 | 87905 77418 147 | 0.000 % |
1160.67/1161.47 c | 1611273 | 1000 20000 100000 | 87905 77700 147 | 0.000 % |
1160.87/1161.68 c | 1611582 | 1000 20000 100000 | 87905 78009 147 | 0.000 % |
1161.17/1161.96 c | 1611921 | 1000 20000 100000 | 87905 78348 147 | 0.000 % |
1161.47/1162.22 c | 1612293 | 1000 20000 100000 | 87905 78720 147 | 0.000 % |
1161.77/1162.50 c | 1612702 | 1000 20000 100000 | 87905 79129 147 | 0.000 % |
1162.07/1162.82 c | 1613151 | 1000 20000 100000 | 87905 79578 147 | 0.000 % |
1162.37/1163.19 c | 1613644 | 1000 20000 100000 | 87905 80071 147 | 0.000 % |
1162.77/1163.55 c | 1614186 | 1000 20000 100000 | 87905 80613 147 | 0.000 % |
1163.17/1163.95 c | 1614783 | 1000 20000 100000 | 87905 81210 146 | 0.000 % |
1163.67/1164.43 c | 1615439 | 1000 20000 100000 | 87905 81866 146 | 0.000 % |
1164.27/1165.00 c | 1616159 | 1000 20000 100000 | 87905 82586 146 | 0.000 % |
1164.77/1165.54 c | 1616954 | 1000 20000 100000 | 87905 83381 146 | 0.000 % |
1165.47/1166.20 c | 1617825 | 1000 20000 100000 | 87905 84252 146 | 0.000 % |
1166.17/1166.92 c | 1618783 | 1000 20000 100000 | 87905 85210 146 | 0.000 % |
1166.87/1167.66 c | 1619838 | 1000 20000 100000 | 87905 86265 146 | 0.000 % |
1167.77/1168.50 c | 1620997 | 1000 20000 100000 | 86427 78747 146 | 0.000 % |
1168.67/1169.41 c | 1622270 | 1000 20000 100000 | 86427 80020 146 | 0.000 % |
1169.57/1170.31 c | 1623673 | 1000 20000 100000 | 86427 81423 146 | 0.000 % |
1170.56/1171.34 c | 1625213 | 1000 20000 100000 | 86427 82963 145 | 0.000 % |
1171.77/1172.50 c | 1626911 | 1000 20000 100000 | 86427 84661 145 | 0.000 % |
1172.97/1173.78 c | 1628775 | 1000 20000 100000 | 86427 86525 145 | 0.000 % |
1174.46/1175.28 c | 1630825 | 1000 20000 100000 | 2147483647 79923 144 | 0.000 % |
1175.96/1176.71 c | 1633078 | 1000 20000 100000 | 2147483647 82176 144 | 0.000 % |
1177.86/1178.64 c | 1635556 | 1000 20000 100000 | 2147483647 84654 145 | 0.000 % |
1180.06/1180.83 c | 1638282 | 1000 20000 100000 | 2147483647 87380 144 | 0.000 % |
1182.16/1182.99 c | 1641279 | 1000 20000 100000 | 89098 81168 144 | 0.000 % |
1184.46/1185.29 c | 1644575 | 1000 20000 100000 | 89098 84464 144 | 0.000 % |
1187.16/1187.99 c | 1648200 | 1000 20000 100000 | 89098 88089 144 | 0.000 % |
1190.16/1190.94 c | 1652190 | 1000 20000 100000 | 80639 74730 142 | 0.000 % |
1192.95/1193.75 c | 1656576 | 1000 20000 100000 | 80639 79116 143 | 0.000 % |
1196.06/1196.82 c | 1661402 | 1000 20000 100000 | 2147483647 75840 141 | 0.000 % |
1199.36/1200.19 c | 1666708 | 1000 20000 100000 | 2147483647 81146 141 | 0.000 % |
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1832449-1242773359/watcher-1832449-1242773359 -o /tmp/evaluation-result-1832449-1242773359/solver-1832449-1242773359 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1832449-1242773359.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 0.99 0.91 3/64 7090
/proc/meminfo: memFree=1853016/2055920 swapFree=4179528/4192956
[pid=7090] ppid=7088 vsize=5356 CPUtime=0
/proc/7090/stat : 7090 (SatELiteGTI) R 7088 7090 6825 0 -1 4194304 292 249 0 0 0 0 0 0 18 0 1 0 305363915 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 269930261151 0 65538 4100 65536 0 0 0 17 0 0 0
/proc/7090/statm: 1339 237 197 169 0 50 0
[pid=7094] ppid=7090 vsize=872 CPUtime=0
/proc/7094/stat : 7094 (SatELite_releas) R 7090 7090 6825 0 -1 4194304 103 0 0 0 0 0 0 0 18 0 1 0 305363916 892928 89 1992294400 134512640 135223648 4294956128 18446744073709551615 134737310 0 0 4096 3 0 0 0 17 0 0 0
/proc/7094/statm: 218 89 49 173 0 43 0
[startup+0.0106211 s]
/proc/loadavg: 1.00 0.99 0.91 3/64 7090
/proc/meminfo: memFree=1853016/2055920 swapFree=4179528/4192956
[pid=7090] ppid=7088 vsize=5356 CPUtime=0
/proc/7090/stat : 7090 (SatELiteGTI) S 7088 7090 6825 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 305363915 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 269930259268 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7090/statm: 1339 237 197 169 0 50 0
[pid=7094] ppid=7090 vsize=1280 CPUtime=0
/proc/7094/stat : 7094 (SatELite_releas) R 7090 7090 6825 0 -1 4194304 184 0 0 0 0 0 0 0 18 0 1 0 305363916 1310720 170 1992294400 134512640 135223648 4294956128 18446744073709551615 134737310 0 0 4096 3 0 0 0 17 0 0 0
/proc/7094/statm: 320 171 49 173 0 145 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 6636
[startup+0.101634 s]
/proc/loadavg: 1.00 0.99 0.91 3/64 7090
/proc/meminfo: memFree=1853016/2055920 swapFree=4179528/4192956
[pid=7090] ppid=7088 vsize=5356 CPUtime=0.04
/proc/7090/stat : 7090 (SatELiteGTI) S 7088 7090 6825 0 -1 4194304 336 769 0 0 0 0 4 0 17 0 1 0 305363915 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269930259268 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/7090/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 5356
[startup+0.301656 s]
/proc/loadavg: 1.00 0.99 0.91 3/64 7090
/proc/meminfo: memFree=1853016/2055920 swapFree=4179528/4192956
[pid=7090] ppid=7088 vsize=5356 CPUtime=0.04
/proc/7090/stat : 7090 (SatELiteGTI) S 7088 7090 6825 0 -1 4194304 336 769 0 0 0 0 4 0 17 0 1 0 305363915 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269930259268 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/7090/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 5356
[startup+0.701708 s]
/proc/loadavg: 1.00 0.99 0.91 3/64 7090
/proc/meminfo: memFree=1853016/2055920 swapFree=4179528/4192956
[pid=7090] ppid=7088 vsize=5356 CPUtime=0.04
/proc/7090/stat : 7090 (SatELiteGTI) S 7088 7090 6825 0 -1 4194304 336 769 0 0 0 0 4 0 17 0 1 0 305363915 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269930259268 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/7090/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 5356
[startup+1.50279 s]
/proc/loadavg: 1.00 0.99 0.91 2/66 7096
/proc/meminfo: memFree=1847048/2055920 swapFree=4179528/4192956
[pid=7090] ppid=7088 vsize=5356 CPUtime=0.04
/proc/7090/stat : 7090 (SatELiteGTI) S 7088 7090 6825 0 -1 4194304 336 769 0 0 0 0 4 0 17 0 1 0 305363915 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269930259268 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/7090/statm: 1339 239 197 169 0 50 0
[pid=7096] ppid=7090 vsize=6772 CPUtime=1.43
/proc/7096/stat : 7096 (minisat_static) R 7090 7090 6825 0 -1 4194304 1466 0 0 0 143 0 0 0 25 0 1 0 305363921 6934528 1452 1992294400 134512640 135215339 4294956240 18446744073709551615 134721382 0 0 4096 3 0 0 0 17 0 0 0
/proc/7096/statm: 1693 1452 77 171 0 1520 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 12128
[startup+3.10198 s]
/proc/loadavg: 1.00 0.99 0.91 2/66 7096
/proc/meminfo: memFree=1844616/2055920 swapFree=4179528/4192956
[pid=7090] ppid=7088 vsize=5356 CPUtime=0.04
/proc/7090/stat : 7090 (SatELiteGTI) S 7088 7090 6825 0 -1 4194304 336 769 0 0 0 0 4 0 17 0 1 0 305363915 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269930259268 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/7090/statm: 1339 239 197 169 0 50 0
[pid=7096] ppid=7090 vsize=11592 CPUtime=3.03
/proc/7096/stat : 7096 (minisat_static) R 7090 7090 6825 0 -1 4194304 2639 0 0 0 302 1 0 0 25 0 1 0 305363921 11870208 2625 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/7096/statm: 2898 2625 77 171 0 2725 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 16948
[startup+6.30135 s]
/proc/loadavg: 1.00 0.99 0.91 2/66 7096
/proc/meminfo: memFree=1836872/2055920 swapFree=4179528/4192956
[pid=7090] ppid=7088 vsize=5356 CPUtime=0.04
/proc/7090/stat : 7090 (SatELiteGTI) S 7088 7090 6825 0 -1 4194304 336 769 0 0 0 0 4 0 17 0 1 0 305363915 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269930259268 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/7090/statm: 1339 239 197 169 0 50 0
[pid=7096] ppid=7090 vsize=18132 CPUtime=6.22
/proc/7096/stat : 7096 (minisat_static) R 7090 7090 6825 0 -1 4194304 4284 0 0 0 620 2 0 0 25 0 1 0 305363921 18567168 4270 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/7096/statm: 4533 4270 77 171 0 4360 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 23488
[startup+12.7011 s]
/proc/loadavg: 1.00 0.99 0.91 2/66 7096
/proc/meminfo: memFree=1826824/2055920 swapFree=4179528/4192956
[pid=7090] ppid=7088 vsize=5356 CPUtime=0.04
/proc/7090/stat : 7090 (SatELiteGTI) S 7088 7090 6825 0 -1 4194304 336 769 0 0 0 0 4 0 17 0 1 0 305363915 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269930259268 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/7090/statm: 1339 239 197 169 0 50 0
[pid=7096] ppid=7090 vsize=27584 CPUtime=12.62
/proc/7096/stat : 7096 (minisat_static) R 7090 7090 6825 0 -1 4194304 6623 0 0 0 1258 4 0 0 25 0 1 0 305363921 28246016 6609 1992294400 134512640 135215339 4294956240 18446744073709551615 134528691 0 0 4096 3 0 0 0 17 0 0 0
/proc/7096/statm: 6896 6609 77 171 0 6723 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 32940
[startup+25.5016 s]
/proc/loadavg: 1.00 0.99 0.91 2/66 7096
/proc/meminfo: memFree=1813064/2055920 swapFree=4179528/4192956
[pid=7090] ppid=7088 vsize=5356 CPUtime=0.04
/proc/7090/stat : 7090 (SatELiteGTI) S 7088 7090 6825 0 -1 4194304 336 769 0 0 0 0 4 0 17 0 1 0 305363915 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269930259268 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/7090/statm: 1339 239 197 169 0 50 0
[pid=7096] ppid=7090 vsize=40640 CPUtime=25.42
/proc/7096/stat : 7096 (minisat_static) R 7090 7090 6825 0 -1 4194304 9879 0 0 0 2534 8 0 0 25 0 1 0 305363921 41615360 9865 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 0 0 0
/proc/7096/statm: 10160 9865 77 171 0 9987 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 45996
[startup+51.1016 s]
/proc/loadavg: 1.00 0.99 0.91 2/66 7096
/proc/meminfo: memFree=1798152/2055920 swapFree=4179528/4192956
[pid=7090] ppid=7088 vsize=5356 CPUtime=0.04
/proc/7090/stat : 7090 (SatELiteGTI) S 7088 7090 6825 0 -1 4194304 336 769 0 0 0 0 4 0 17 0 1 0 305363915 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269930259268 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/7090/statm: 1339 239 197 169 0 50 0
[pid=7096] ppid=7090 vsize=55340 CPUtime=51.01
/proc/7096/stat : 7096 (minisat_static) R 7090 7090 6825 0 -1 4194304 13548 0 0 0 5089 12 0 0 25 0 1 0 305363921 56668160 13534 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/7096/statm: 13835 13534 77 171 0 13662 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 60696
[startup+102.306 s]
/proc/loadavg: 1.00 0.99 0.91 2/66 7096
/proc/meminfo: memFree=1797960/2055920 swapFree=4179528/4192956
[pid=7090] ppid=7088 vsize=5356 CPUtime=0.04
/proc/7090/stat : 7090 (SatELiteGTI) S 7088 7090 6825 0 -1 4194304 336 769 0 0 0 0 4 0 17 0 1 0 305363915 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269930259268 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/7090/statm: 1339 239 197 169 0 50 0
[pid=7096] ppid=7090 vsize=55340 CPUtime=102.17
/proc/7096/stat : 7096 (minisat_static) R 7090 7090 6825 0 -1 4194304 13548 0 0 0 10205 12 0 0 25 0 1 0 305363921 56668160 13534 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/7096/statm: 13835 13534 77 171 0 13662 0
Current children cumulated CPU time (s) 102.21
Current children cumulated vsize (KiB) 60696
[startup+162.302 s]
/proc/loadavg: 1.00 0.99 0.91 2/66 7096
/proc/meminfo: memFree=1797704/2055920 swapFree=4179528/4192956
[pid=7090] ppid=7088 vsize=5356 CPUtime=0.04
/proc/7090/stat : 7090 (SatELiteGTI) S 7088 7090 6825 0 -1 4194304 336 769 0 0 0 0 4 0 17 0 1 0 305363915 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269930259268 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/7090/statm: 1339 239 197 169 0 50 0
[pid=7096] ppid=7090 vsize=55472 CPUtime=162.14
/proc/7096/stat : 7096 (minisat_static) R 7090 7090 6825 0 -1 4194304 13583 0 0 0 16201 13 0 0 25 0 1 0 305363921 56803328 13569 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/7096/statm: 13868 13569 77 171 0 13695 0
Current children cumulated CPU time (s) 162.18
Current children cumulated vsize (KiB) 60828
[startup+222.302 s]
/proc/loadavg: 1.00 0.99 0.91 2/66 7096
/proc/meminfo: memFree=1796104/2055920 swapFree=4179528/4192956
[pid=7090] ppid=7088 vsize=5356 CPUtime=0.04
/proc/7090/stat : 7090 (SatELiteGTI) S 7088 7090 6825 0 -1 4194304 336 769 0 0 0 0 4 0 17 0 1 0 305363915 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269930259268 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/7090/statm: 1339 239 197 169 0 50 0
[pid=7096] ppid=7090 vsize=56868 CPUtime=222.09
/proc/7096/stat : 7096 (minisat_static) R 7090 7090 6825 0 -1 4194304 13938 0 0 0 22195 14 0 0 25 0 1 0 305363921 58232832 13924 1992294400 134512640 135215339 4294956240 18446744073709551615 134528821 0 0 4096 3 0 0 0 17 0 0 0
/proc/7096/statm: 14217 13924 77 171 0 14044 0
Current children cumulated CPU time (s) 222.13
Current children cumulated vsize (KiB) 62224
[startup+282.302 s]
/proc/loadavg: 1.00 0.99 0.91 2/66 7096
/proc/meminfo: memFree=1789448/2055920 swapFree=4179528/4192956
[pid=7090] ppid=7088 vsize=5356 CPUtime=0.04
/proc/7090/stat : 7090 (SatELiteGTI) S 7088 7090 6825 0 -1 4194304 336 769 0 0 0 0 4 0 17 0 1 0 305363915 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269930259268 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/7090/statm: 1339 239 197 169 0 50 0
[pid=7096] ppid=7090 vsize=63420 CPUtime=282.05
/proc/7096/stat : 7096 (minisat_static) R 7090 7090 6825 0 -1 4194304 15574 0 0 0 28190 15 0 0 25 0 1 0 305363921 64942080 15559 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/7096/statm: 15855 15559 77 171 0 15682 0
Current children cumulated CPU time (s) 282.09
Current children cumulated vsize (KiB) 68776
[startup+342.302 s]
/proc/loadavg: 1.00 0.99 0.91 2/66 7096
/proc/meminfo: memFree=1789384/2055920 swapFree=4179528/4192956
[pid=7090] ppid=7088 vsize=5356 CPUtime=0.04
/proc/7090/stat : 7090 (SatELiteGTI) S 7088 7090 6825 0 -1 4194304 336 769 0 0 0 0 4 0 17 0 1 0 305363915 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269930259268 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/7090/statm: 1339 239 197 169 0 50 0
[pid=7096] ppid=7090 vsize=63388 CPUtime=342.02
/proc/7096/stat : 7096 (minisat_static) R 7090 7090 6825 0 -1 4194304 15575 0 0 0 34186 16 0 0 25 0 1 0 305363921 64909312 15560 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/7096/statm: 15847 15560 77 171 0 15674 0
Current children cumulated CPU time (s) 342.06
Current children cumulated vsize (KiB) 68744
[startup+402.302 s]
/proc/loadavg: 1.00 0.99 0.91 2/66 7096
/proc/meminfo: memFree=1789256/2055920 swapFree=4179528/4192956
[pid=7090] ppid=7088 vsize=5356 CPUtime=0.04
/proc/7090/stat : 7090 (SatELiteGTI) S 7088 7090 6825 0 -1 4194304 336 769 0 0 0 0 4 0 17 0 1 0 305363915 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269930259268 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/7090/statm: 1339 239 197 169 0 50 0
[pid=7096] ppid=7090 vsize=63364 CPUtime=401.97
################
# More data... #
################
/proc/7096/statm: 15841 15560 77 171 0 15668 0
Current children cumulated CPU time (s) 521.95
Current children cumulated vsize (KiB) 68720
[startup+582.302 s]
/proc/loadavg: 1.00 0.99 0.91 2/66 7096
/proc/meminfo: memFree=1789000/2055920 swapFree=4179528/4192956
[pid=7090] ppid=7088 vsize=5356 CPUtime=0.04
/proc/7090/stat : 7090 (SatELiteGTI) S 7088 7090 6825 0 -1 4194304 336 769 0 0 0 0 4 0 17 0 1 0 305363915 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269930259268 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/7090/statm: 1339 239 197 169 0 50 0
[pid=7096] ppid=7090 vsize=63364 CPUtime=581.86
/proc/7096/stat : 7096 (minisat_static) R 7090 7090 6825 0 -1 4194304 15575 0 0 0 58169 17 0 0 25 0 1 0 305363921 64884736 15560 1992294400 134512640 135215339 4294956240 18446744073709551615 134528806 0 0 4096 3 0 0 0 17 0 0 0
/proc/7096/statm: 15841 15560 77 171 0 15668 0
Current children cumulated CPU time (s) 581.9
Current children cumulated vsize (KiB) 68720
[startup+642.302 s]
/proc/loadavg: 1.00 0.99 0.91 2/66 7096
/proc/meminfo: memFree=1788936/2055920 swapFree=4179528/4192956
[pid=7090] ppid=7088 vsize=5356 CPUtime=0.04
/proc/7090/stat : 7090 (SatELiteGTI) S 7088 7090 6825 0 -1 4194304 336 769 0 0 0 0 4 0 17 0 1 0 305363915 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269930259268 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/7090/statm: 1339 239 197 169 0 50 0
[pid=7096] ppid=7090 vsize=63364 CPUtime=641.83
/proc/7096/stat : 7096 (minisat_static) R 7090 7090 6825 0 -1 4194304 15575 0 0 0 64166 17 0 0 25 0 1 0 305363921 64884736 15560 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/7096/statm: 15841 15560 77 171 0 15668 0
Current children cumulated CPU time (s) 641.87
Current children cumulated vsize (KiB) 68720
[startup+702.302 s]
/proc/loadavg: 1.00 0.99 0.91 2/66 7096
/proc/meminfo: memFree=1787976/2055920 swapFree=4179528/4192956
[pid=7090] ppid=7088 vsize=5356 CPUtime=0.04
/proc/7090/stat : 7090 (SatELiteGTI) S 7088 7090 6825 0 -1 4194304 336 769 0 0 0 0 4 0 17 0 1 0 305363915 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269930259268 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/7090/statm: 1339 239 197 169 0 50 0
[pid=7096] ppid=7090 vsize=64288 CPUtime=701.8
/proc/7096/stat : 7096 (minisat_static) R 7090 7090 6825 0 -1 4194304 15782 0 0 0 70163 17 0 0 25 0 1 0 305363921 65830912 15767 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/7096/statm: 16072 15767 77 171 0 15899 0
Current children cumulated CPU time (s) 701.84
Current children cumulated vsize (KiB) 69644
[startup+762.305 s]
/proc/loadavg: 1.00 0.99 0.91 2/66 7102
/proc/meminfo: memFree=1787712/2055920 swapFree=4179528/4192956
[pid=7090] ppid=7088 vsize=5356 CPUtime=0.04
/proc/7090/stat : 7090 (SatELiteGTI) S 7088 7090 6825 0 -1 4194304 336 769 0 0 0 0 4 0 17 0 1 0 305363915 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269930259268 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/7090/statm: 1339 239 197 169 0 50 0
[pid=7096] ppid=7090 vsize=64288 CPUtime=761.77
/proc/7096/stat : 7096 (minisat_static) R 7090 7090 6825 0 -1 4194304 15782 0 0 0 76160 17 0 0 25 0 1 0 305363921 65830912 15767 1992294400 134512640 135215339 4294956240 18446744073709551615 134528809 0 0 4096 3 0 0 0 17 0 0 0
/proc/7096/statm: 16072 15767 77 171 0 15899 0
Current children cumulated CPU time (s) 761.81
Current children cumulated vsize (KiB) 69644
[startup+822.302 s]
/proc/loadavg: 1.00 0.99 0.91 2/66 7102
/proc/meminfo: memFree=1787712/2055920 swapFree=4179528/4192956
[pid=7090] ppid=7088 vsize=5356 CPUtime=0.04
/proc/7090/stat : 7090 (SatELiteGTI) S 7088 7090 6825 0 -1 4194304 336 769 0 0 0 0 4 0 17 0 1 0 305363915 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269930259268 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/7090/statm: 1339 239 197 169 0 50 0
[pid=7096] ppid=7090 vsize=64276 CPUtime=821.74
/proc/7096/stat : 7096 (minisat_static) R 7090 7090 6825 0 -1 4194304 15782 0 0 0 82157 17 0 0 25 0 1 0 305363921 65818624 15767 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/7096/statm: 16069 15767 77 171 0 15896 0
Current children cumulated CPU time (s) 821.78
Current children cumulated vsize (KiB) 69632
[startup+882.302 s]
/proc/loadavg: 1.00 0.99 0.91 2/66 7102
/proc/meminfo: memFree=1787648/2055920 swapFree=4179528/4192956
[pid=7090] ppid=7088 vsize=5356 CPUtime=0.04
/proc/7090/stat : 7090 (SatELiteGTI) S 7088 7090 6825 0 -1 4194304 336 769 0 0 0 0 4 0 17 0 1 0 305363915 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269930259268 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/7090/statm: 1339 239 197 169 0 50 0
[pid=7096] ppid=7090 vsize=64276 CPUtime=881.7
/proc/7096/stat : 7096 (minisat_static) R 7090 7090 6825 0 -1 4194304 15782 0 0 0 88153 17 0 0 25 0 1 0 305363921 65818624 15767 1992294400 134512640 135215339 4294956240 18446744073709551615 134528858 0 0 4096 3 0 0 0 17 0 0 0
/proc/7096/statm: 16069 15767 77 171 0 15896 0
Current children cumulated CPU time (s) 881.74
Current children cumulated vsize (KiB) 69632
[startup+942.302 s]
/proc/loadavg: 1.00 0.99 0.91 2/66 7102
/proc/meminfo: memFree=1787520/2055920 swapFree=4179528/4192956
[pid=7090] ppid=7088 vsize=5356 CPUtime=0.04
/proc/7090/stat : 7090 (SatELiteGTI) S 7088 7090 6825 0 -1 4194304 336 769 0 0 0 0 4 0 17 0 1 0 305363915 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269930259268 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/7090/statm: 1339 239 197 169 0 50 0
[pid=7096] ppid=7090 vsize=64272 CPUtime=941.66
/proc/7096/stat : 7096 (minisat_static) R 7090 7090 6825 0 -1 4194304 15782 0 0 0 94149 17 0 0 25 0 1 0 305363921 65814528 15767 1992294400 134512640 135215339 4294956240 18446744073709551615 134528742 0 0 4096 3 0 0 0 17 0 0 0
/proc/7096/statm: 16068 15767 77 171 0 15895 0
Current children cumulated CPU time (s) 941.7
Current children cumulated vsize (KiB) 69628
[startup+1002.3 s]
/proc/loadavg: 1.00 0.99 0.91 2/66 7102
/proc/meminfo: memFree=1786688/2055920 swapFree=4179528/4192956
[pid=7090] ppid=7088 vsize=5356 CPUtime=0.04
/proc/7090/stat : 7090 (SatELiteGTI) S 7088 7090 6825 0 -1 4194304 336 769 0 0 0 0 4 0 17 0 1 0 305363915 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269930259268 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/7090/statm: 1339 239 197 169 0 50 0
[pid=7096] ppid=7090 vsize=65064 CPUtime=1001.62
/proc/7096/stat : 7096 (minisat_static) R 7090 7090 6825 0 -1 4194304 15993 0 0 0 100144 18 0 0 25 0 1 0 305363921 66625536 15978 1992294400 134512640 135215339 4294956240 18446744073709551615 134528788 0 0 4096 3 0 0 0 17 0 0 0
/proc/7096/statm: 16266 15978 77 171 0 16093 0
Current children cumulated CPU time (s) 1001.66
Current children cumulated vsize (KiB) 70420
[startup+1062.3 s]
/proc/loadavg: 1.00 0.99 0.91 2/66 7102
/proc/meminfo: memFree=1786568/2055920 swapFree=4179528/4192956
[pid=7090] ppid=7088 vsize=5356 CPUtime=0.04
/proc/7090/stat : 7090 (SatELiteGTI) S 7088 7090 6825 0 -1 4194304 336 769 0 0 0 0 4 0 17 0 1 0 305363915 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269930259268 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/7090/statm: 1339 239 197 169 0 50 0
[pid=7096] ppid=7090 vsize=65044 CPUtime=1061.59
/proc/7096/stat : 7096 (minisat_static) R 7090 7090 6825 0 -1 4194304 15993 0 0 0 106141 18 0 0 25 0 1 0 305363921 66605056 15978 1992294400 134512640 135215339 4294956240 18446744073709551615 134528728 0 0 4096 3 0 0 0 17 0 0 0
/proc/7096/statm: 16261 15978 77 171 0 16088 0
Current children cumulated CPU time (s) 1061.63
Current children cumulated vsize (KiB) 70400
[startup+1122.3 s]
/proc/loadavg: 1.00 0.99 0.91 2/66 7102
/proc/meminfo: memFree=1786568/2055920 swapFree=4179528/4192956
[pid=7090] ppid=7088 vsize=5356 CPUtime=0.04
/proc/7090/stat : 7090 (SatELiteGTI) S 7088 7090 6825 0 -1 4194304 336 769 0 0 0 0 4 0 17 0 1 0 305363915 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269930259268 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/7090/statm: 1339 239 197 169 0 50 0
[pid=7096] ppid=7090 vsize=64968 CPUtime=1121.55
/proc/7096/stat : 7096 (minisat_static) R 7090 7090 6825 0 -1 4194304 15993 0 0 0 112137 18 0 0 25 0 1 0 305363921 66527232 15968 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/7096/statm: 16242 15968 77 171 0 16069 0
Current children cumulated CPU time (s) 1121.59
Current children cumulated vsize (KiB) 70324
[startup+1182.3 s]
/proc/loadavg: 1.00 0.99 0.91 2/66 7102
/proc/meminfo: memFree=1786440/2055920 swapFree=4179528/4192956
[pid=7090] ppid=7088 vsize=5356 CPUtime=0.04
/proc/7090/stat : 7090 (SatELiteGTI) S 7088 7090 6825 0 -1 4194304 336 769 0 0 0 0 4 0 17 0 1 0 305363915 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269930259268 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/7090/statm: 1339 239 197 169 0 50 0
[pid=7096] ppid=7090 vsize=64968 CPUtime=1181.52
/proc/7096/stat : 7096 (minisat_static) R 7090 7090 6825 0 -1 4194304 15993 0 0 0 118134 18 0 0 25 0 1 0 305363921 66527232 15968 1992294400 134512640 135215339 4294956240 18446744073709551615 134528863 0 0 4096 3 0 0 0 17 0 0 0
/proc/7096/statm: 16242 15968 77 171 0 16069 0
Current children cumulated CPU time (s) 1181.56
Current children cumulated vsize (KiB) 70324
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1200.8 s]
/proc/loadavg: 1.00 0.99 0.91 2/66 7102
/proc/meminfo: memFree=1786376/2055920 swapFree=4179528/4192956
[pid=7090] ppid=7088 vsize=5356 CPUtime=0.04
/proc/7090/stat : 7090 (SatELiteGTI) S 7088 7090 6825 0 -1 4194304 336 769 0 0 0 0 4 0 17 0 1 0 305363915 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269930259268 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/7090/statm: 1339 239 197 169 0 50 0
[pid=7096] ppid=7090 vsize=64968 CPUtime=1200.02
/proc/7096/stat : 7096 (minisat_static) R 7090 7090 6825 0 -1 4194304 15993 0 0 0 119984 18 0 0 25 0 1 0 305363921 66527232 15968 1992294400 134512640 135215339 4294956240 18446744073709551615 134528779 0 0 4096 3 0 0 0 17 0 0 0
/proc/7096/statm: 16242 15968 77 171 0 16069 0
Current children cumulated CPU time (s) 1200.06
Current children cumulated vsize (KiB) 70324
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 7090 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=45993
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=10998
# CPU time returned by wait4() is 0.056991
# while last known CPU time is 1200.06
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1200.81
CPU time (s): 1200.06
CPU user time (s): 1199.88
CPU system time (s): 0.18
CPU usage (%): 99.9374
Max. virtual memory (cumulated for all children) (KiB): 70420
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.045993
system time used= 0.010998
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1105
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= 13
involuntary context switches= 6
runsolver used 1.47877 second user time and 2.94355 second system time
The end
Begin job on node53 at 2009-05-20 00:49:19
IDJOB=1832449
IDBENCH=70188
IDSOLVER=671
FILE ID=node53/1832449-1242773359
PBS_JOBID= 9322248
Free space on /tmp= 66052 MiB
SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT09/RANDOM/LARGE/5SAT/UNKNOWN/1000/unif-k5-r20-v1000-c20000-S704699380-099.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1832449-1242773359/watcher-1832449-1242773359 -o /tmp/evaluation-result-1832449-1242773359/solver-1832449-1242773359 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1832449-1242773359.cnf
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 79363fa796cb5f9a1d9ad7ab58b2c2fb
RANDOM SEED=250892817
node53.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: 1853496 kB
Buffers: 17928 kB
Cached: 147564 kB
SwapCached: 7568 kB
Active: 25608 kB
Inactive: 149520 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1853496 kB
SwapTotal: 4192956 kB
SwapFree: 4179528 kB
Dirty: 2048 kB
Writeback: 0 kB
Mapped: 13460 kB
Slab: 13316 kB
Committed_AS: 917788 kB
PageTables: 1392 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264952 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 66052 MiB
End job on node53 at 2009-05-20 01:09:22