0.00/0.00 c Parsing...
0.13/0.19 c ==============================================================================
0.13/0.19 c | | ORIGINAL | LEARNT | |
0.13/0.19 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress |
0.13/0.19 c ==============================================================================
0.13/0.19 c | 0 | 213531 498239 | 64059 0 0 nan | 0.000 % |
1.53/1.59 c | 0 | 163018 485616 | -- 0 -- -- | -- | -50511/-12618
1.53/1.59 c ==============================================================================
1.53/1.59 c Result : #vars: 36494 #clauses: 163018 #literals: 485616
1.53/1.59 c CPU time: 1.53 s
1.53/1.59 c ==============================================================================
1.73/1.77 c This is MiniSat 2.0 beta
1.73/1.77 c WARNING: for repeatability, setting FPU to use double precision
1.73/1.77 c ============================[ Problem Statistics ]=============================
1.73/1.77 c | |
1.73/1.77 c | Number of variables: 36494 |
1.73/1.77 c | Number of clauses: 163018 |
1.78/1.88 c | Parsing time: 0.10 s |
1.78/1.89 c ============================[ Search Statistics ]==============================
1.78/1.89 c | Conflicts | ORIGINAL | LEARNT | Progress |
1.78/1.89 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
1.78/1.89 c ===============================================================================
1.78/1.89 c | 0 | 36494 163018 485616 | 54339 0 nan | 0.000 % |
1.78/1.89 c | 100 | 36494 163018 485616 | 54339 100 7 | 0.000 % |
1.78/1.92 c | 202 | 36492 163018 485616 | 54339 200 6 | 0.005 % |
1.78/1.94 c | 303 | 36491 163018 485616 | 54339 300 6 | 0.008 % |
1.78/1.95 c | 413 | 36491 163018 485616 | 54339 410 5 | 0.008 % |
1.78/1.95 c | 513 | 36491 163018 485616 | 54339 510 5 | 0.008 % |
1.78/2.00 c | 624 | 36489 163018 485616 | 54339 619 5 | 0.093 % |
1.78/2.06 c | 746 | 36484 163018 485616 | 54339 737 5 | 0.186 % |
1.78/2.09 c | 846 | 36484 163018 485616 | 54339 837 6 | 0.186 % |
1.78/2.15 c | 956 | 36482 163018 485616 | 54339 947 6 | 0.186 % |
1.78/2.18 c | 1077 | 36425 162609 484468 | 54339 1066 6 | 0.192 % |
2.23/2.21 c | 1210 | 36425 162609 484468 | 54339 1199 6 | 0.192 % |
2.23/2.23 c | 1310 | 36407 162609 484468 | 54339 1287 6 | 0.247 % |
2.23/2.26 c | 1421 | 36405 162609 484468 | 54339 1397 6 | 0.249 % |
2.23/2.28 c | 1542 | 36404 162609 484468 | 54339 1517 6 | 0.252 % |
2.23/2.31 c | 1675 | 36403 162609 484468 | 54339 1649 6 | 0.255 % |
2.33/2.35 c | 1821 | 36398 162609 484468 | 54339 1790 5 | 0.269 % |
2.33/2.40 c | 1922 | 36398 162609 484468 | 54339 1891 5 | 0.269 % |
2.42/2.43 c | 2032 | 36395 162609 484468 | 54339 1998 5 | 0.277 % |
2.42/2.47 c | 2153 | 36393 162401 483908 | 54339 2093 5 | 0.277 % |
2.42/2.51 c | 2286 | 36386 162401 483908 | 54339 2222 5 | 0.296 % |
2.52/2.59 c | 2432 | 36384 162401 483908 | 54339 2366 5 | 0.301 % |
2.62/2.63 c | 2593 | 36382 162401 483908 | 54339 2525 5 | 0.310 % |
2.62/2.68 c | 2693 | 36381 162401 483908 | 54339 2625 5 | 0.310 % |
2.62/2.70 c | 2803 | 36380 162401 483908 | 54339 2734 5 | 0.312 % |
2.72/2.77 c | 2926 | 36378 162308 483657 | 54339 2824 5 | 0.318 % |
2.72/2.79 c | 3059 | 36378 162308 483657 | 54339 2957 6 | 0.318 % |
2.82/2.84 c | 3205 | 36369 162308 483657 | 54339 3092 6 | 0.592 % |
2.82/2.89 c | 3366 | 36238 162308 483657 | 54339 3215 6 | 1.474 % |
2.92/2.95 c | 3542 | 36234 162308 483657 | 54339 3388 6 | 1.562 % |
2.92/2.98 c | 3642 | 36234 162308 483657 | 54339 3488 6 | 1.562 % |
2.92/3.01 c | 3752 | 36234 162308 483657 | 54339 3598 6 | 1.562 % |
3.02/3.04 c | 3873 | 35895 159882 476554 | 54339 3702 6 | 2.310 % |
3.12/3.17 c | 4006 | 35793 159882 476554 | 54339 3820 6 | 2.866 % |
3.12/3.20 c | 4154 | 35791 159882 476554 | 54339 3966 6 | 2.951 % |
3.22/3.27 c | 4316 | 35790 159882 476554 | 54339 4127 6 | 2.954 % |
3.32/3.38 c | 4492 | 35374 157315 468988 | 54339 4244 6 | 3.069 % |
3.42/3.43 c | 4690 | 35374 157315 468988 | 54339 4442 6 | 3.069 % |
3.42/3.45 c | 4792 | 35373 157315 468988 | 54339 4543 6 | 3.085 % |
3.42/3.47 c | 4903 | 35372 157315 468988 | 54339 4653 6 | 3.088 % |
3.42/3.51 c | 5024 | 35372 157315 468988 | 54339 4774 6 | 3.088 % |
3.51/3.56 c | 5157 | 35372 157315 468988 | 54339 4907 6 | 3.088 % |
3.61/3.64 c | 5304 | 35372 157315 468988 | 54339 5054 6 | 3.088 % |
3.61/3.65 c | 5464 | 35176 157315 468988 | 54339 5169 6 | 4.113 % |
3.61/3.68 c | 5640 | 34953 155253 462958 | 54339 5291 6 | 4.428 % |
3.71/3.73 c | 5834 | 34952 155253 462958 | 54339 5484 6 | 4.431 % |
3.71/3.78 c | 6047 | 34946 155253 462958 | 54339 5692 6 | 4.672 % |
3.71/3.79 c | 6147 | 34946 155253 462958 | 54339 5792 6 | 4.672 % |
3.81/3.84 c | 6257 | 34946 155253 462958 | 54339 5902 6 | 4.672 % |
3.81/3.87 c | 6380 | 34901 155253 462958 | 54339 6005 6 | 5.056 % |
3.81/3.90 c | 6514 | 34862 155253 462958 | 54339 6133 6 | 5.519 % |
3.91/3.98 c | 6660 | 34862 155253 462958 | 54339 6279 6 | 5.519 % |
4.01/4.10 c | 6822 | 34432 152789 455739 | 54339 6383 6 | 6.001 % |
4.20/4.21 c | 6998 | 34432 152789 455739 | 54339 6559 6 | 6.001 % |
4.20/4.28 c | 7192 | 34424 152789 455739 | 54339 6748 6 | 6.223 % |
4.30/4.36 c | 7404 | 34217 151444 451809 | 54339 6932 6 | 6.239 % |
4.40/4.44 c | 7638 | 34212 151444 451809 | 54339 7165 6 | 6.253 % |
4.40/4.50 c | 7738 | 34212 151444 451809 | 54339 7265 6 | 6.253 % |
4.51/4.56 c | 7848 | 34197 151444 451809 | 54339 7366 6 | 6.519 % |
4.51/4.59 c | 7969 | 34170 151444 451809 | 54339 7468 6 | 7.319 % |
4.51/4.61 c | 8102 | 34142 151444 451809 | 54339 7595 6 | 7.398 % |
4.60/4.68 c | 8248 | 33731 149140 445016 | 54339 7669 6 | 7.689 % |
4.70/4.79 c | 8408 | 33731 149140 445016 | 54339 7829 6 | 7.689 % |
4.80/4.82 c | 8585 | 33693 149140 445016 | 54339 7988 6 | 8.333 % |
4.90/4.92 c | 8778 | 33686 149140 445016 | 54339 8177 6 | 8.604 % |
4.90/4.99 c | 8990 | 33675 149140 445016 | 54339 8389 6 | 8.604 % |
5.00/5.05 c | 9224 | 33354 147162 439223 | 54339 8607 6 | 8.604 % |
5.10/5.15 c | 9480 | 33354 147162 439223 | 54339 8863 6 | 8.604 % |
5.10/5.17 c | 9580 | 33354 147162 439223 | 54339 8963 7 | 8.604 % |
5.10/5.19 c | 9690 | 33354 147162 439223 | 54339 9073 7 | 8.604 % |
5.20/5.28 c | 9811 | 33353 147162 439223 | 54339 9193 7 | 8.607 % |
5.30/5.32 c | 9944 | 33086 145936 435600 | 54339 9303 7 | 9.829 % |
5.30/5.34 c | 10090 | 33025 145936 435600 | 2147483647 9436 7 | 10.380 % |
5.30/5.35 c | 10251 | 33005 145936 435600 | 2147483647 9593 7 | 10.643 % |
5.40/5.43 c | 10427 | 32977 145936 435600 | 2147483647 9768 7 | 10.728 % |
5.40/5.49 c | 10622 | 32972 145936 435600 | 2147483647 9960 7 | 10.815 % |
5.50/5.53 c | 10835 | 32970 145936 435600 | 2147483647 10171 7 | 10.892 % |
5.50/5.58 c | 11070 | 32941 145936 435600 | 2147483647 10399 7 | 11.413 % |
5.70/5.72 c | 11326 | 32328 142226 424615 | 2147483647 10540 7 | 11.416 % |
5.70/5.77 c | 11607 | 32303 142226 424615 | 2147483647 10812 7 | 12.076 % |
5.70/5.79 c | 11707 | 32262 142226 424615 | 2147483647 10898 7 | 12.731 % |
5.80/5.84 c | 11819 | 32261 142226 424615 | 2147483647 11009 7 | 12.810 % |
5.80/5.88 c | 11940 | 32256 142226 424615 | 2147483647 11127 7 | 13.095 % |
5.80/5.90 c | 12073 | 32245 142226 424615 | 2147483647 11253 7 | 13.397 % |
5.80/5.91 c | 12219 | 32245 142226 424615 | 2147483647 11399 7 | 13.397 % |
5.90/5.94 c | 12379 | 32234 142226 424615 | 2147483647 11558 7 | 13.583 % |
5.90/5.99 c | 12556 | 31530 138489 413548 | 2147483647 11680 7 | 13.737 % |
6.00/6.01 c | 12749 | 31487 138489 413548 | 2147483647 11862 7 | 14.449 % |
6.00/6.05 c | 12961 | 31485 138489 413548 | 2147483647 12072 7 | 14.523 % |
6.00/6.08 c | 13194 | 31484 138489 413548 | 2147483647 12304 7 | 14.528 % |
6.10/6.14 c | 13450 | 31427 138489 413548 | 2147483647 12556 7 | 14.871 % |
6.20/6.23 c | 13731 | 31351 138489 413548 | 2147483647 12834 7 | 14.953 % |
6.30/6.37 c | 14040 | 31031 136163 406644 | 2147483647 12884 7 | 14.970 % |
6.30/6.38 c | 14140 | 31029 136163 406644 | 2147483647 12982 7 | 14.981 % |
6.40/6.42 c | 14250 | 31027 136163 406644 | 2147483647 13092 7 | 14.981 % |
6.40/6.48 c | 14371 | 31027 136163 406644 | 2147483647 13213 7 | 14.981 % |
6.50/6.56 c | 14504 | 31018 136163 406644 | 2147483647 13339 7 | 15.482 % |
6.50/6.61 c | 14650 | 30843 135209 403838 | 2147483647 13433 7 | 15.485 % |
6.60/6.68 c | 14811 | 30832 135209 403838 | 2147483647 13590 7 | 15.868 % |
6.71/6.72 c | 14987 | 30832 135209 403838 | 2147483647 13766 7 | 15.868 % |
6.71/6.74 c | 15180 | 30831 135209 403838 | 2147483647 13958 7 | 15.871 % |
6.80/6.82 c | 15392 | 30816 135209 403838 | 2147483647 14164 7 | 16.208 % |
6.80/6.89 c | 15626 | 30809 135209 403838 | 2147483647 14397 7 | 16.326 % |
6.90/6.97 c | 15882 | 30493 133791 399621 | 2147483647 14592 7 | 17.041 % |
7.00/7.06 c | 16163 | 30461 133791 399621 | 2147483647 14863 7 | 17.611 % |
7.20/7.25 c | 16472 | 29669 129873 387999 | 2147483647 15044 7 | 18.891 % |
7.20/7.29 c | 16812 | 29654 129873 387999 | 2147483647 15382 7 | 19.031 % |
7.30/7.32 c | 16912 | 29654 129873 387999 | 2147483647 15482 7 | 19.031 % |
7.30/7.36 c | 17022 | 29644 129873 387999 | 2147483647 15588 7 | 19.195 % |
7.30/7.38 c | 17143 | 29636 129873 387999 | 2147483647 15708 7 | 19.299 % |
7.40/7.43 c | 17277 | 29621 129873 387999 | 2147483647 15834 7 | 19.499 % |
7.50/7.51 c | 17424 | 29612 129873 387999 | 2147483647 15977 7 | 19.526 % |
7.50/7.54 c | 17584 | 29241 127912 382156 | 2147483647 16050 7 | 19.875 % |
7.60/7.63 c | 17760 | 29216 127912 382156 | 2147483647 16223 7 | 20.061 % |
7.60/7.69 c | 17955 | 29216 127912 382156 | 2147483647 16418 7 | 20.061 % |
7.70/7.76 c | 18167 | 29205 127912 382156 | 2147483647 16625 7 | 20.157 % |
7.70/7.79 c | 18401 | 29180 127912 382156 | 2147483647 16849 8 | 20.699 % |
7.70/7.81 c | 18657 | 29167 127912 382156 | 2147483647 17105 8 | 20.699 % |
7.90/7.93 c | 18939 | 28749 125629 375404 | 2147483647 17300 8 | 21.223 % |
7.90/7.97 c | 19248 | 28748 125629 375404 | 2147483647 17608 8 | 21.231 % |
8.00/8.01 c | 19587 | 28746 125629 375404 | 2147483647 17947 8 | 21.231 % |
8.10/8.19 c | 19959 | 28743 125629 375404 | 2147483647 18315 8 | 21.420 % |
8.20/8.23 c | 20059 | 28741 125629 375404 | 2147483647 18414 8 | 21.423 % |
8.20/8.29 c | 20169 | 28741 125629 375404 | 2147483647 18524 8 | 21.423 % |
8.30/8.39 c | 20290 | 28636 125279 374367 | 2147483647 18632 8 | 22.132 % |
8.40/8.44 c | 20423 | 28615 125279 374367 | 2147483647 18759 8 | 22.300 % |
8.40/8.48 c | 20570 | 28606 125279 374367 | 2147483647 18900 8 | 22.404 % |
8.50/8.53 c | 20731 | 28603 125279 374367 | 2147483647 19060 8 | 22.409 % |
8.60/8.62 c | 20907 | 28603 125279 374367 | 2147483647 19236 8 | 22.409 % |
8.60/8.70 c | 21102 | 28254 123345 368611 | 2147483647 19386 8 | 22.845 % |
8.70/8.75 c | 21314 | 28234 123345 368611 | 2147483647 19590 8 | 23.100 % |
8.70/8.79 c | 21547 | 28233 123345 368611 | 2147483647 19822 8 | 23.102 % |
8.80/8.84 c | 21807 | 28232 123345 368611 | 2147483647 20081 8 | 23.105 % |
8.80/8.88 c | 22088 | 28207 123345 368611 | 2147483647 20352 8 | 23.700 % |
8.91/8.98 c | 22398 | 28174 123345 368611 | 2147483647 20652 8 | 23.930 % |
9.00/9.08 c | 22737 | 27710 120996 361634 | 2147483647 20759 8 | 24.179 % |
9.10/9.15 c | 23109 | 27704 120996 361634 | 2147483647 21127 8 | 24.201 % |
9.20/9.25 c | 23518 | 27690 120996 361634 | 2147483647 21530 8 | 24.489 % |
9.20/9.26 c | 23619 | 27690 120996 361634 | 2147483647 21631 8 | 24.489 % |
9.30/9.32 c | 23729 | 27689 120996 361634 | 2147483647 21741 8 | 24.489 % |
9.30/9.36 c | 23850 | 27554 120037 358804 | 2147483647 21767 8 | 24.505 % |
9.40/9.42 c | 23984 | 27554 120037 358804 | 2147483647 21901 8 | 24.505 % |
9.40/9.45 c | 24131 | 27554 120037 358804 | 2147483647 22048 8 | 24.505 % |
9.40/9.48 c | 24292 | 27554 120037 358804 | 2147483647 22209 8 | 24.505 % |
9.50/9.53 c | 24469 | 27554 120037 358804 | 2147483647 22386 8 | 24.505 % |
9.50/9.55 c | 24664 | 27554 120037 358804 | 2147483647 22581 8 | 24.505 % |
9.50/9.59 c | 24878 | 27554 120037 358804 | 2147483647 22795 8 | 24.505 % |
9.60/9.62 c | 25112 | 27554 120037 358804 | 2147483647 23029 8 | 24.505 % |
9.70/9.75 c | 25369 | 27554 120037 358804 | 2147483647 23286 8 | 24.505 % |
9.80/9.83 c | 25651 | 27551 120006 358716 | 2147483647 23566 8 | 24.505 % |
9.80/9.88 c | 25960 | 27551 120006 358716 | 2147483647 23875 8 | 24.505 % |
9.90/9.93 c | 26299 | 27550 120006 358716 | 2147483647 24213 8 | 24.508 % |
9.90/10.01 c | 26673 | 27550 120006 358716 | 2147483647 24587 8 | 24.508 % |
10.10/10.13 c | 27083 | 27535 120006 358716 | 2147483647 24990 8 | 24.878 % |
10.20/10.27 c | 27533 | 27413 119332 356729 | 2147483647 25411 8 | 24.884 % |
10.20/10.29 c | 27635 | 27413 119332 356729 | 2147483647 25513 8 | 24.884 % |
10.20/10.30 c | 27745 | 27413 119332 356729 | 2147483647 25623 8 | 24.884 % |
10.30/10.35 c | 27866 | 27412 119332 356729 | 2147483647 25743 8 | 24.886 % |
10.30/10.37 c | 28000 | 27412 119332 356729 | 2147483647 25877 8 | 24.886 % |
10.30/10.38 c | 28146 | 27412 119332 356729 | 2147483647 26023 8 | 24.886 % |
10.40/10.44 c | 28307 | 27412 119332 356729 | 2147483647 26184 8 | 24.886 % |
10.50/10.54 c | 28483 | 27406 119332 356729 | 2147483647 26356 8 | 25.111 % |
10.60/10.62 c | 28676 | 27329 118928 355534 | 2147483647 26541 8 | 25.114 % |
10.60/10.69 c | 28888 | 27329 118928 355534 | 2147483647 26753 8 | 25.114 % |
10.70/10.71 c | 29122 | 27327 118928 355534 | 2147483647 26986 8 | 25.380 % |
10.70/10.81 c | 29379 | 27302 118928 355534 | 2147483647 27237 8 | 25.780 % |
10.80/10.90 c | 29660 | 27280 118928 355534 | 2147483647 27510 8 | 26.166 % |
10.90/11.00 c | 29969 | 27280 118928 355534 | 2147483647 27819 8 | 26.166 % |
11.00/11.09 c | 30308 | 26944 117103 350117 | 2147483647 28116 9 | 26.169 % |
11.11/11.19 c | 30682 | 26941 117103 350117 | 2147483647 28487 9 | 26.577 % |
11.30/11.36 c | 31091 | 26928 117103 350117 | 2147483647 28896 9 | 26.577 % |
11.50/11.52 c | 31540 | 26925 117103 350117 | 2147483647 29343 9 | 26.585 % |
11.60/11.68 c | 32033 | 26790 116394 348012 | 2147483647 29798 9 | 26.591 % |
11.70/11.71 c | 32133 | 26790 116394 348012 | 2147483647 29898 9 | 26.591 % |
11.70/11.76 c | 32243 | 26790 116394 348012 | 2147483647 30008 9 | 26.591 % |
11.80/11.82 c | 32364 | 26790 116394 348012 | 2147483647 30129 9 | 26.591 % |
11.80/11.84 c | 32498 | 26790 116394 348012 | 2147483647 30263 9 | 26.591 % |
11.80/11.88 c | 32645 | 26790 116394 348012 | 2147483647 30410 9 | 26.591 % |
11.80/11.91 c | 32805 | 26790 116394 348012 | 2147483647 30570 9 | 26.591 % |
11.90/11.94 c | 32982 | 26790 116394 348012 | 2147483647 30747 9 | 26.591 % |
11.90/11.99 c | 33175 | 26790 116394 348012 | 2147483647 30940 9 | 26.591 % |
12.00/12.07 c | 33387 | 26790 116384 347984 | 2147483647 31135 9 | 26.591 % |
12.10/12.11 c | 33620 | 26790 116384 347984 | 2147483647 31368 9 | 26.591 % |
12.10/12.20 c | 33876 | 26786 116384 347984 | 2147483647 31622 9 | 26.640 % |
12.21/12.28 c | 34157 | 26785 116384 347984 | 2147483647 31902 9 | 26.689 % |
12.30/12.35 c | 34467 | 26785 116384 347984 | 2147483647 32212 9 | 26.689 % |
12.40/12.44 c | 34806 | 26783 116384 347984 | 2147483647 32550 9 | 26.692 % |
12.40/12.49 c | 35178 | 26751 116194 347418 | 2147483647 32899 9 | 26.698 % |
12.50/12.59 c | 35587 | 26751 116194 347418 | 2147483647 33308 9 | 26.698 % |
12.60/12.66 c | 36036 | 26741 116194 347418 | 2147483647 33753 9 | 26.736 % |
12.70/12.77 c | 36529 | 26735 116194 347418 | 2147483647 34244 9 | 26.750 % |
12.80/12.89 c | 37074 | 26731 116194 347418 | 2147483647 34786 9 | 27.616 % |
12.80/12.90 c | 37174 | 26731 116194 347418 | 2147483647 34886 9 | 27.615 % |
12.90/12.94 c | 37284 | 26731 116194 347418 | 2147483647 34996 9 | 27.615 % |
13.00/13.01 c | 37407 | 26415 114920 343648 | 2147483647 35084 9 | 27.618 % |
13.00/13.03 c | 37541 | 26415 114920 343648 | 2147483647 35218 9 | 27.618 % |
13.00/13.05 c | 37690 | 26415 114920 343648 | 2147483647 35367 9 | 27.618 % |
13.00/13.07 c | 37851 | 26415 114920 343648 | 2147483647 35528 9 | 27.618 % |
13.00/13.10 c | 38027 | 26415 114920 343648 | 2147483647 35704 9 | 27.618 % |
13.10/13.13 c | 38221 | 26415 114920 343648 | 2147483647 35898 9 | 27.618 % |
13.10/13.17 c | 38433 | 26415 114920 343648 | 2147483647 36110 9 | 27.618 % |
13.20/13.21 c | 38669 | 26415 114920 343648 | 2147483647 36346 9 | 27.618 % |
13.20/13.24 c | 38925 | 26411 114920 343648 | 2147483647 36601 9 | 27.684 % |
13.20/13.31 c | 39207 | 26411 114920 343648 | 2147483647 36883 9 | 27.684 % |
13.31/13.37 c | 39516 | 26410 114920 343648 | 2147483647 37192 9 | 27.684 % |
13.40/13.44 c | 39855 | 26410 114920 343648 | 2147483647 37531 9 | 27.684 % |
13.50/13.59 c | 40227 | 26387 114810 343322 | 2147483647 37890 9 | 27.703 % |
13.60/13.68 c | 40636 | 25999 114810 343322 | 2147483647 38213 9 | 29.380 % |
13.70/13.79 c | 41085 | 25706 114810 343322 | 2147483647 38601 9 | 30.575 % |
13.90/13.97 c | 41580 | 25201 114810 343322 | 2147483647 39022 9 | 32.655 % |
14.10/14.11 c | 42123 | 24414 106536 318904 | 2147483647 38963 9 | 33.603 % |
14.20/14.22 c | 42719 | 23498 106536 318904 | 2147483647 39387 9 | 36.650 % |
14.20/14.24 c | 42819 | 23273 106536 318904 | 2147483647 39443 9 | 37.250 % |
14.20/14.27 c | 42930 | 23107 106536 318904 | 2147483647 39510 9 | 37.823 % |
14.30/14.32 c | 43053 | 22866 106536 318904 | 2147483647 39596 9 | 38.423 % |
14.30/14.37 c | 43186 | 22839 106536 318904 | 2147483647 39728 9 | 38.425 % |
14.41/14.43 c | 43332 | 22839 106536 318904 | 2147483647 39874 9 | 38.425 % |
14.41/14.49 c | 43493 | 22826 106536 318904 | 2147483647 40030 9 | 38.557 % |
14.50/14.55 c | 43669 | 22826 106536 318904 | 2147483647 40206 9 | 38.557 % |
14.60/14.65 c | 43862 | 22423 96898 290399 | 2147483647 39841 9 | 38.557 % |
14.60/14.69 c | 44074 | 22422 96898 290399 | 2147483647 40052 9 | 38.560 % |
14.70/14.73 c | 44308 | 22420 96898 290399 | 2147483647 40285 9 | 38.565 % |
14.70/14.76 c | 44566 | 22419 96898 290399 | 2147483647 40542 9 | 38.568 % |
14.80/14.81 c | 44848 | 22419 96898 290399 | 2147483647 40824 9 | 38.568 % |
14.80/14.84 c | 45157 | 22419 96898 290399 | 2147483647 41133 9 | 38.568 % |
14.80/14.88 c | 45496 | 22419 96898 290399 | 2147483647 41472 9 | 38.568 % |
14.90/14.92 c | 45868 | 22419 96898 290399 | 2147483647 41844 10 | 38.568 % |
14.90/14.98 c | 46277 | 22418 96898 290399 | 2147483647 42252 10 | 38.571 % |
15.00/15.07 c | 46727 | 22418 96898 290399 | 2147483647 42702 10 | 38.571 % |
15.20/15.21 c | 47220 | 22379 96659 289707 | 2147483647 43172 10 | 38.678 % |
15.20/15.27 c | 47762 | 22379 96659 289707 | 2147483647 43714 10 | 38.678 % |
15.30/15.35 c | 48358 | 22376 96659 289707 | 2147483647 44308 10 | 38.686 % |
15.51/15.60 c | 49013 | 22369 96659 289707 | 2147483647 44958 10 | 38.705 % |
15.60/15.64 c | 49113 | 22368 96659 289707 | 2147483647 45057 10 | 38.710 % |
15.60/15.66 c | 49223 | 22368 96659 289707 | 2147483647 45167 10 | 38.710 % |
15.70/15.72 c | 49345 | 22368 96659 289707 | 2147483647 45289 10 | 38.710 % |
15.70/15.78 c | 49478 | 22368 96659 289707 | 2147483647 45422 10 | 38.710 % |
15.80/15.86 c | 49624 | 22367 96579 289486 | 2147483647 45547 10 | 38.710 % |
15.90/15.92 c | 49784 | 22367 96579 289486 | 2147483647 45707 10 | 38.710 % |
15.90/15.98 c | 49961 | 22367 96579 289486 | 2147483647 45884 10 | 38.710 % |
16.00/16.02 c | 50155 | 22367 96579 289486 | 2147483647 46078 10 | 38.710 % |
16.00/16.09 c | 50367 | 22367 96579 289486 | 2147483647 46290 10 | 38.710 % |
16.10/16.13 c | 50600 | 22367 96579 289486 | 2147483647 46523 10 | 38.710 % |
16.10/16.18 c | 50856 | 22366 96579 289486 | 2147483647 46778 10 | 38.716 % |
16.20/16.25 c | 51137 | 22365 96579 289486 | 2147483647 47059 10 | 38.716 % |
16.30/16.34 c | 51447 | 22296 96579 289486 | 2147483647 47354 10 | 39.154 % |
16.40/16.43 c | 51786 | 22293 96579 289486 | 2147483647 47692 10 | 39.163 % |
16.61/16.62 c | 52161 | 22166 95818 287224 | 2147483647 47989 10 | 39.445 % |
16.80/16.81 c | 52570 | 22166 95818 287224 | 2147483647 48398 10 | 39.445 % |
16.90/16.99 c | 53019 | 22164 95818 287224 | 2147483647 48845 10 | 39.450 % |
17.10/17.15 c | 53512 | 22019 94938 284635 | 2147483647 49267 10 | 39.664 % |
17.20/17.24 c | 54055 | 22015 94938 284635 | 2147483647 49806 10 | 39.678 % |
17.30/17.36 c | 54652 | 22014 94938 284635 | 2147483647 50403 10 | 39.678 % |
17.50/17.58 c | 55307 | 22014 94938 284635 | 2147483647 51058 10 | 39.678 % |
17.71/17.73 c | 56028 | 21985 94938 284635 | 2147483647 51771 10 | 39.834 % |
17.71/17.76 c | 56128 | 21957 94684 283883 | 2147483647 51780 10 | 39.834 % |
17.71/17.80 c | 56239 | 21942 94684 283883 | 2147483647 51884 10 | 40.045 % |
17.80/17.82 c | 56361 | 21931 94684 283883 | 2147483647 52001 10 | 40.127 % |
17.80/17.85 c | 56495 | 21912 94684 283883 | 2147483647 52134 10 | 40.130 % |
17.80/17.89 c | 56642 | 21912 94684 283883 | 2147483647 52281 10 | 40.130 % |
17.90/17.92 c | 56804 | 21912 94684 283883 | 2147483647 52443 10 | 40.130 % |
17.90/17.97 c | 56980 | 21902 94684 283883 | 2147483647 52617 10 | 40.349 % |
17.90/17.99 c | 57173 | 21902 94684 283883 | 2147483647 52810 10 | 40.349 % |
18.00/18.06 c | 57385 | 21881 94684 283883 | 2147483647 53017 10 | 40.590 % |
18.10/18.11 c | 57618 | 21881 94684 283883 | 2147483647 53250 10 | 40.590 % |
18.10/18.18 c | 57874 | 21877 94684 283883 | 2147483647 53505 10 | 40.642 % |
18.20/18.25 c | 58155 | 21874 94684 283883 | 2147483647 53786 10 | 40.642 % |
18.20/18.28 c | 58464 | 21874 94684 283883 | 2147483647 54095 10 | 40.642 % |
18.30/18.38 c | 58803 | 21868 94684 283883 | 2147483647 54430 10 | 40.664 % |
18.50/18.56 c | 59175 | 21650 93230 279588 | 2147483647 54495 10 | 40.749 % |
18.70/18.73 c | 59588 | 21649 93230 279588 | 2147483647 54907 10 | 40.752 % |
18.81/18.82 c | 60042 | 21649 93230 279588 | 2147483647 55361 10 | 40.752 % |
19.00/19.01 c | 60536 | 21473 93230 279588 | 2147483647 55818 10 | 41.785 % |
19.10/19.11 c | 61079 | 21005 93230 279588 | 2147483647 56285 10 | 44.062 % |
19.20/19.29 c | 61676 | 20103 87511 262642 | 2147483647 56548 10 | 45.369 % |
19.50/19.52 c | 62331 | 19631 87511 262642 | 2147483647 57095 10 | 47.287 % |
19.70/19.72 c | 63052 | 19316 87511 262642 | 2147483647 57759 10 | 48.438 % |
20.00/20.04 c | 63846 | 18768 80757 242665 | 2147483647 57514 10 | 48.671 % |
20.00/20.08 c | 63950 | 18768 80757 242665 | 2147483647 57618 10 | 48.671 % |
20.10/20.11 c | 64060 | 18768 80757 242665 | 2147483647 57728 10 | 48.671 % |
20.10/20.13 c | 64181 | 18768 80757 242665 | 2147483647 57849 10 | 48.671 % |
20.10/20.16 c | 64314 | 18768 80757 242665 | 2147483647 57982 10 | 48.671 % |
20.10/20.19 c | 64461 | 18768 80757 242665 | 2147483647 58129 10 | 48.671 % |
20.20/20.22 c | 64622 | 18768 80757 242665 | 2147483647 58290 10 | 48.671 % |
20.20/20.25 c | 64798 | 18768 80757 242665 | 2147483647 58466 10 | 48.671 % |
20.30/20.32 c | 64991 | 18768 80757 242665 | 2147483647 58659 10 | 48.671 % |
20.30/20.34 c | 65203 | 18768 80757 242665 | 2147483647 58871 10 | 48.671 % |
20.30/20.37 c | 65438 | 18768 80757 242665 | 2147483647 59106 10 | 48.671 % |
20.40/20.42 c | 65694 | 18768 80757 242665 | 2147483647 59362 10 | 48.671 % |
20.50/20.52 c | 65976 | 18757 80757 242665 | 2147483647 59641 10 | 48.701 % |
20.50/20.60 c | 66285 | 18747 80757 242665 | 2147483647 59948 10 | 48.729 % |
20.70/20.71 c | 66624 | 18711 80364 241499 | 2147483647 60184 10 | 48.729 % |
20.80/20.83 c | 66998 | 18709 80364 241499 | 2147483647 60556 10 | 48.734 % |
21.01/21.03 c | 67407 | 18608 80364 241499 | 2147483647 60945 10 | 49.389 % |
21.10/21.19 c | 67857 | 18546 80364 241499 | 2147483647 61394 10 | 49.394 % |
21.30/21.34 c | 68352 | 18543 80364 241499 | 2147483647 61887 10 | 49.403 % |
21.50/21.52 c | 68896 | 18462 79173 237959 | 2147483647 62346 10 | 49.414 % |
21.60/21.66 c | 69493 | 18461 79173 237959 | 2147483647 62943 10 | 49.414 % |
21.70/21.74 c | 70150 | 18461 79173 237959 | 2147483647 63600 10 | 49.414 % |
21.70/21.80 c | 70871 | 18461 79173 237959 | 2147483647 64321 10 | 49.414 % |
21.90/21.99 c | 71663 | 18459 79173 237959 | 2147483647 65111 10 | 49.419 % |
22.11/22.16 c | 72534 | 18459 79173 237959 | 2147483647 65982 10 | 49.419 % |
22.11/22.19 c | 72634 | 18459 79173 237959 | 2147483647 66082 10 | 49.419 % |
22.20/22.26 c | 72744 | 18459 79173 237959 | 2147483647 66192 10 | 49.419 % |
22.30/22.34 c | 72865 | 18459 79173 237959 | 2147483647 66313 10 | 49.419 % |
22.40/22.41 c | 73001 | 18459 79151 237898 | 2147483647 66426 10 | 49.419 % |
22.40/22.43 c | 73147 | 18459 79151 237898 | 2147483647 66572 10 | 49.419 % |
22.40/22.47 c | 73307 | 18458 79151 237898 | 2147483647 66731 10 | 49.422 % |
22.40/22.49 c | 73485 | 18458 79151 237898 | 2147483647 66909 10 | 49.422 % |
22.50/22.54 c | 73678 | 18458 79151 237898 | 2147483647 67102 10 | 49.422 % |
22.50/22.60 c | 73890 | 18458 79151 237898 | 2147483647 67314 10 | 49.422 % |
22.60/22.69 c | 74123 | 18452 79151 237898 | 2147483647 67544 10 | 49.444 % |
22.70/22.79 c | 74379 | 18450 79151 237898 | 2147483647 67800 10 | 49.444 % |
22.80/22.85 c | 74660 | 18450 79151 237898 | 2147483647 68081 10 | 49.444 % |
22.90/22.96 c | 74970 | 18450 79151 237898 | 2147483647 68391 10 | 49.444 % |
22.90/23.00 c | 75310 | 18450 79151 237898 | 2147483647 68731 11 | 49.444 % |
23.00/23.05 c | 75682 | 18450 79151 237898 | 2147483647 69103 11 | 49.444 % |
23.10/23.13 c | 76093 | 18450 79151 237898 | 2147483647 69514 11 | 49.444 % |
23.21/23.24 c | 76542 | 18447 79151 237898 | 2147483647 69961 11 | 49.452 % |
23.30/23.31 c | 77036 | 18447 79151 237898 | 2147483647 70455 11 | 49.452 % |
23.40/23.43 c | 77584 | 18447 79082 237706 | 2147483647 70970 11 | 49.452 % |
23.50/23.51 c | 78180 | 18447 79082 237706 | 2147483647 71566 11 | 49.452 % |
23.60/23.61 c | 78836 | 18447 79082 237706 | 2147483647 72222 11 | 49.452 % |
23.70/23.81 c | 79556 | 18431 79082 237706 | 2147483647 72936 11 | 49.764 % |
24.00/24.02 c | 80348 | 18407 79082 237706 | 2147483647 73720 11 | 49.989 % |
24.10/24.16 c | 81219 | 18406 79082 237706 | 2147483647 74590 11 | 49.992 % |
24.31/24.37 c | 82178 | 18241 78139 234919 | 2147483647 75388 11 | 50.016 % |
24.31/24.39 c | 82278 | 18241 78139 234919 | 2147483647 75488 11 | 50.016 % |
24.40/24.41 c | 82388 | 18241 78139 234919 | 2147483647 75598 11 | 50.016 % |
24.40/24.48 c | 82510 | 18241 78139 234919 | 2147483647 75720 11 | 50.016 % |
24.50/24.52 c | 82644 | 18241 78139 234919 | 2147483647 75854 11 | 50.016 % |
24.50/24.56 c | 82791 | 18241 78139 234919 | 2147483647 76001 11 | 50.016 % |
24.50/24.60 c | 82952 | 18241 78139 234919 | 2147483647 76162 11 | 50.016 % |
24.60/24.62 c | 83129 | 18241 78139 234919 | 2147483647 76339 11 | 50.016 % |
24.60/24.67 c | 83322 | 18241 78139 234919 | 2147483647 76532 11 | 50.016 % |
24.70/24.73 c | 83536 | 18241 78139 234919 | 2147483647 76746 11 | 50.016 % |
24.80/24.81 c | 83769 | 18240 78139 234919 | 2147483647 76978 11 | 50.019 % |
24.80/24.87 c | 84026 | 18240 78139 234919 | 2147483647 77235 11 | 50.019 % |
24.90/24.95 c | 84308 | 18232 78139 234919 | 2147483647 77513 11 | 50.077 % |
25.00/25.03 c | 84617 | 18151 78139 234919 | 2147483647 77805 11 | 50.680 % |
25.10/25.16 c | 84956 | 17964 78139 234919 | 2147483647 78082 11 | 51.452 % |
25.30/25.41 c | 85329 | 17884 78139 234919 | 2147483647 78444 11 | 51.858 % |
25.50/25.55 c | 85738 | 17564 75199 226259 | 2147483647 78381 11 | 51.921 % |
25.60/25.70 c | 86188 | 17546 75199 226259 | 2147483647 78831 11 | 51.921 % |
25.70/25.77 c | 86682 | 17546 75199 226259 | 2147483647 79325 12 | 51.921 % |
25.80/25.86 c | 87224 | 17546 75199 226259 | 2147483647 79867 12 | 51.921 % |
26.00/26.02 c | 87820 | 17540 75199 226259 | 2147483647 80459 12 | 51.951 % |
26.20/26.30 c | 88477 | 17525 75199 226259 | 2147483647 81110 12 | 52.000 % |
26.40/26.51 c | 89198 | 17525 75199 226259 | 2147483647 81831 12 | 52.000 % |
26.60/26.66 c | 89990 | 17523 75199 226259 | 2147483647 82623 12 | 52.000 % |
26.80/26.87 c | 90863 | 17517 74949 225516 | 2147483647 83413 12 | 52.000 % |
26.90/27.00 c | 91822 | 17516 74949 225516 | 2147483647 84371 12 | 52.003 % |
27.20/27.27 c | 92875 | 17516 74949 225516 | 2147483647 85424 12 | 52.003 % |
27.20/27.30 c | 92975 | 17516 74949 225516 | 2147483647 85524 12 | 52.003 % |
27.30/27.33 c | 93085 | 17516 74949 225516 | 2147483647 85634 12 | 52.003 % |
27.30/27.40 c | 93206 | 17515 74949 225516 | 2147483647 85754 12 | 52.006 % |
27.40/27.45 c | 93339 | 17515 74949 225516 | 2147483647 85887 12 | 52.006 % |
27.40/27.49 c | 93485 | 17514 74949 225516 | 2147483647 86032 12 | 52.009 % |
27.50/27.53 c | 93645 | 17512 74949 225516 | 2147483647 86191 12 | 52.020 % |
27.61/27.62 c | 93821 | 17511 74949 225516 | 2147483647 86366 12 | 52.025 % |
27.61/27.65 c | 94014 | 17511 74949 225516 | 2147483647 86559 12 | 52.025 % |
27.61/27.70 c | 94226 | 17511 74949 225516 | 2147483647 86771 12 | 52.025 % |
27.70/27.76 c | 94459 | 17511 74949 225516 | 2147483647 87004 12 | 52.025 % |
27.80/27.82 c | 94715 | 17508 74949 225516 | 2147483647 87258 12 | 52.033 % |
27.80/27.89 c | 94997 | 17508 74949 225516 | 2147483647 87540 12 | 52.033 % |
27.90/27.96 c | 95307 | 17508 74949 225516 | 2147483647 87850 12 | 52.033 % |
28.10/28.12 c | 95646 | 17472 74878 225316 | 2147483647 88142 12 | 52.244 % |
28.10/28.18 c | 96021 | 17031 74878 225316 | 2147483647 88429 12 | 54.127 % |
28.20/28.25 c | 96432 | 16902 74878 225316 | 2147483647 88824 12 | 54.286 % |
28.30/28.33 c | 96882 | 16871 74878 225316 | 2147483647 89268 12 | 54.365 % |
28.40/28.47 c | 97375 | 16865 74878 225316 | 2147483647 89755 12 | 54.384 % |
28.50/28.59 c | 97920 | 16861 74878 225316 | 2147483647 90298 12 | 54.395 % |
28.60/28.70 c | 98516 | 16860 74878 225316 | 2147483647 90893 12 | 54.398 % |
28.80/28.83 c | 99175 | 16860 74878 225316 | 2147483647 91552 12 | 54.398 % |
28.90/28.99 c | 99895 | 16860 74878 225316 | 2147483647 92272 12 | 54.398 % |
29.00/29.09 c | 100687 | 16860 74878 225316 | 2147483647 93064 12 | 54.398 % |
29.30/29.32 c | 101559 | 16856 74878 225316 | 2147483647 93934 12 | 54.508 % |
29.50/29.51 c | 102517 | 16602 71220 214348 | 2147483647 94227 12 | 54.508 % |
29.81/29.85 c | 103570 | 16598 71220 214348 | 2147483647 95277 12 | 54.519 % |
30.10/30.13 c | 104729 | 16598 71220 214348 | 2147483647 96436 12 | 54.519 % |
30.10/30.16 c | 104829 | 16598 71220 214348 | 2147483647 96536 12 | 54.519 % |
30.10/30.18 c | 104939 | 16598 71220 214348 | 2147483647 96646 12 | 54.519 % |
30.20/30.22 c | 105061 | 16598 71220 214348 | 2147483647 96768 12 | 54.519 % |
30.20/30.28 c | 105194 | 16598 71220 214348 | 2147483647 96901 12 | 54.519 % |
30.30/30.31 c | 105342 | 16598 71220 214348 | 2147483647 97049 12 | 54.519 % |
30.30/30.36 c | 105505 | 16598 71220 214348 | 2147483647 97212 12 | 54.519 % |
30.30/30.40 c | 105681 | 16598 71220 214348 | 2147483647 97388 12 | 54.519 % |
30.40/30.44 c | 105874 | 16598 71220 214348 | 2147483647 97581 12 | 54.519 % |
30.40/30.47 c | 106086 | 16598 71220 214348 | 2147483647 97793 12 | 54.519 % |
30.50/30.53 c | 106320 | 16597 71220 214348 | 2147483647 98026 12 | 54.521 % |
30.50/30.59 c | 106577 | 16597 71220 214348 | 2147483647 98283 12 | 54.521 % |
30.60/30.66 c | 106859 | 16596 71220 214348 | 2147483647 98564 12 | 54.524 % |
30.70/30.74 c | 107169 | 16596 71220 214348 | 2147483647 98874 12 | 54.524 % |
30.70/30.80 c | 107508 | 16596 71220 214348 | 2147483647 99213 12 | 54.524 % |
30.80/30.86 c | 107881 | 16596 71220 214348 | 2147483647 99586 12 | 54.524 % |
30.91/30.96 c | 108293 | 16596 71181 214244 | 2147483647 99977 12 | 54.524 % |
31.00/31.10 c | 108742 | 16596 71181 214244 | 2147483647 100426 12 | 54.524 % |
31.20/31.21 c | 109236 | 16596 71181 214244 | 2147483647 100920 12 | 54.524 % |
31.20/31.29 c | 109778 | 16596 71181 214244 | 2147483647 101462 12 | 54.524 % |
31.30/31.40 c | 110375 | 16595 71181 214244 | 2147483647 102058 12 | 54.527 % |
31.50/31.59 c | 111030 | 16595 71181 214244 | 2147483647 102713 12 | 54.527 % |
31.70/31.79 c | 111751 | 16594 71181 214244 | 2147483647 103433 12 | 54.530 % |
31.90/31.96 c | 112543 | 16594 71181 214244 | 2147483647 104225 12 | 54.530 % |
32.30/32.34 c | 113415 | 16592 71181 214244 | 2147483647 105095 12 | 54.535 % |
32.50/32.51 c | 114374 | 16590 71181 214244 | 2147483647 106052 12 | 54.540 % |
32.60/32.70 c | 115428 | 16590 71181 214244 | 2147483647 107106 13 | 54.540 % |
32.90/32.95 c | 116587 | 16590 71148 214154 | 2147483647 108230 13 | 54.540 % |
33.11/33.18 c | 117861 | 16581 71148 214154 | 2147483647 109502 13 | 54.576 % |
33.20/33.21 c | 117966 | 16581 71148 214154 | 2147483647 109607 13 | 54.576 % |
33.20/33.29 c | 118076 | 16561 71148 214154 | 2147483647 109712 13 | 54.658 % |
33.30/33.33 c | 118198 | 16558 71148 214154 | 2147483647 109834 13 | 54.658 % |
33.30/33.39 c | 118333 | 16558 71148 214154 | 2147483647 109969 13 | 54.658 % |
33.40/33.42 c | 118479 | 16557 71148 214154 | 2147483647 110114 13 | 54.661 % |
33.40/33.47 c | 118639 | 16556 71148 214154 | 2147483647 110273 13 | 54.664 % |
33.50/33.59 c | 118815 | 16553 71148 214154 | 2147483647 110447 13 | 54.686 % |
33.70/33.71 c | 119008 | 16546 71148 214154 | 2147483647 110638 13 | 54.710 % |
33.70/33.79 c | 119221 | 16545 71148 214154 | 2147483647 110850 13 | 54.713 % |
33.80/33.87 c | 119454 | 16536 71148 214154 | 2147483647 111082 13 | 54.749 % |
33.90/33.94 c | 119710 | 16534 71148 214154 | 2147483647 111336 13 | 54.754 % |
34.00/34.05 c | 119992 | 16534 71148 214154 | 2147483647 111618 13 | 54.754 % |
34.10/34.15 c | 120301 | 16532 71148 214154 | 2147483647 111927 13 | 54.754 % |
34.21/34.27 c | 120641 | 16523 71148 214154 | 2147483647 112266 13 | 54.765 % |
34.31/34.34 c | 121015 | 16523 71148 214154 | 2147483647 112640 13 | 54.765 % |
34.41/34.42 c | 121426 | 16523 71148 214154 | 2147483647 113051 13 | 54.765 % |
34.41/34.50 c | 121877 | 16523 71148 214154 | 2147483647 113502 13 | 54.765 % |
34.51/34.61 c | 122370 | 16523 71148 214154 | 2147483647 113995 13 | 54.765 % |
34.71/34.74 c | 122913 | 16508 70782 213066 | 2147483647 114374 13 | 54.765 % |
34.91/34.95 c | 123509 | 16506 70782 213066 | 2147483647 114968 13 | 54.773 % |
35.31/35.32 c | 124165 | 16505 70782 213066 | 2147483647 115623 13 | 54.776 % |
35.41/35.43 c | 124890 | 16505 70782 213066 | 2147483647 116348 13 | 54.776 % |
35.61/35.63 c | 125682 | 16499 70782 213066 | 2147483647 117136 13 | 54.823 % |
35.81/35.82 c | 126554 | 16497 70782 213066 | 2147483647 118006 13 | 54.828 % |
36.31/36.34 c | 127512 | 16374 70782 213066 | 2147483647 118932 14 | 55.242 % |
36.61/36.71 c | 128565 | 16335 70782 213066 | 2147483647 119973 14 | 55.384 % |
37.01/37.06 c | 129723 | 16278 69767 210074 | 2147483647 120754 14 | 55.395 % |
37.41/37.50 c | 130998 | 16276 69767 210074 | 2147483647 122027 14 | 55.401 % |
37.81/37.85 c | 132399 | 16253 69767 210074 | 2147483647 123421 14 | 55.469 % |
37.81/37.88 c | 132499 | 16253 69767 210074 | 2147483647 123521 14 | 55.469 % |
37.81/37.91 c | 132610 | 16253 69767 210074 | 2147483647 123632 14 | 55.469 % |
37.91/37.95 c | 132731 | 16253 69767 210074 | 2147483647 123753 14 | 55.469 % |
37.91/37.99 c | 132865 | 16253 69767 210074 | 2147483647 123887 14 | 55.469 % |
38.01/38.02 c | 133012 | 16253 69767 210074 | 2147483647 124034 14 | 55.469 % |
38.01/38.04 c | 133172 | 16253 69767 210074 | 2147483647 124194 14 | 55.469 % |
38.11/38.12 c | 133348 | 16253 69767 210074 | 2147483647 124370 14 | 55.469 % |
38.11/38.16 c | 133541 | 16253 69767 210074 | 2147483647 124563 14 | 55.469 % |
38.21/38.28 c | 133753 | 16249 69767 210074 | 2147483647 124772 14 | 55.480 % |
38.31/38.38 c | 133987 | 16247 69767 210074 | 2147483647 125004 14 | 55.494 % |
38.41/38.47 c | 134243 | 16246 69767 210074 | 2147483647 125259 14 | 55.497 % |
38.51/38.54 c | 134524 | 16246 69767 210074 | 2147483647 125540 14 | 55.497 % |
38.61/38.65 c | 134833 | 16245 69767 210074 | 2147483647 125848 14 | 55.500 % |
38.71/38.72 c | 135173 | 16245 69767 210074 | 2147483647 126188 14 | 55.500 % |
38.81/38.90 c | 135545 | 16235 69767 210074 | 2147483647 126558 14 | 55.546 % |
39.01/39.02 c | 135955 | 16221 69767 210074 | 2147483647 126964 14 | 55.584 % |
39.11/39.14 c | 136404 | 16221 69767 210074 | 2147483647 127413 14 | 55.584 % |
39.21/39.31 c | 136898 | 16206 69418 209047 | 2147483647 127738 14 | 55.601 % |
39.41/39.49 c | 137440 | 16194 69418 209047 | 2147483647 128276 14 | 55.634 % |
39.51/39.61 c | 138036 | 16194 69418 209047 | 2147483647 128872 14 | 55.634 % |
39.71/39.75 c | 138691 | 16192 69418 209047 | 2147483647 129525 14 | 55.639 % |
39.81/39.90 c | 139411 | 16192 69418 209047 | 2147483647 130245 14 | 55.639 % |
40.11/40.21 c | 140204 | 16153 69418 209047 | 2147483647 131025 14 | 55.878 % |
40.31/40.41 c | 141075 | 16152 69418 209047 | 2147483647 131895 14 | 55.880 % |
40.61/40.67 c | 142035 | 16150 69418 209047 | 2147483647 132853 14 | 55.886 % |
40.91/40.95 c | 143088 | 16147 69418 209047 | 2147483647 133904 14 | 55.894 % |
41.31/41.34 c | 144246 | 16146 69418 209047 | 2147483647 135061 14 | 55.897 % |
41.51/41.61 c | 145519 | 16144 69418 209047 | 2147483647 136333 14 | 55.911 % |
41.61/41.69 c | 146920 | 16139 69418 209047 | 2147483647 137731 14 | 55.924 % |
42.11/42.18 c | 148461 | 16018 68824 207316 | 2147483647 139049 14 | 56.168 % |
42.11/42.20 c | 148561 | 16018 68824 207316 | 2147483647 139149 14 | 56.168 % |
42.21/42.25 c | 148672 | 16017 68824 207316 | 2147483647 139259 14 | 56.171 % |
42.21/42.30 c | 148793 | 16017 68824 207316 | 2147483647 139380 14 | 56.171 % |
42.31/42.36 c | 148926 | 16017 68824 207316 | 2147483647 139513 14 | 56.171 % |
42.41/42.46 c | 149074 | 16017 68824 207316 | 2147483647 139661 14 | 56.171 % |
42.41/42.51 c | 149234 | 16017 68824 207316 | 2147483647 139821 14 | 56.171 % |
42.51/42.54 c | 149411 | 16013 68824 207316 | 2147483647 139996 14 | 56.185 % |
42.51/42.57 c | 149604 | 16013 68824 207316 | 2147483647 140189 14 | 56.185 % |
42.61/42.67 c | 149819 | 16012 68824 207316 | 2147483647 140404 14 | 56.185 % |
42.71/42.75 c | 150053 | 16012 68824 207316 | 2147483647 140638 14 | 56.185 % |
42.81/42.83 c | 150310 | 16011 68824 207316 | 2147483647 140894 14 | 56.187 % |
42.81/42.89 c | 150591 | 16011 68824 207316 | 2147483647 141175 14 | 56.187 % |
43.01/43.04 c | 150900 | 16011 68824 207316 | 2147483647 141484 14 | 56.187 % |
43.11/43.17 c | 151243 | 16011 68824 207316 | 2147483647 141827 14 | 56.187 % |
43.21/43.29 c | 151615 | 16011 68824 207316 | 2147483647 142199 14 | 56.187 % |
43.31/43.33 c | 152026 | 16011 68824 207316 | 2147483647 142610 14 | 56.187 % |
43.31/43.40 c | 152476 | 16011 68824 207316 | 2147483647 143060 14 | 56.187 % |
43.61/43.64 c | 152971 | 15994 68824 207316 | 2147483647 143552 14 | 56.261 % |
43.71/43.80 c | 153513 | 15993 68824 207316 | 2147483647 144093 14 | 56.264 % |
43.91/43.94 c | 154111 | 15993 68824 207316 | 2147483647 144691 14 | 56.264 % |
44.31/44.32 c | 154767 | 15992 68824 207316 | 2147483647 145346 15 | 56.267 % |
44.41/44.51 c | 155488 | 15992 68824 207316 | 2147483647 146067 15 | 56.267 % |
44.71/44.78 c | 156281 | 15959 68380 206021 | 2147483647 146700 15 | 56.270 % |
45.01/45.05 c | 157153 | 15959 68380 206021 | 2147483647 147572 15 | 56.270 % |
45.21/45.28 c | 158111 | 15959 68380 206021 | 2147483647 148530 15 | 56.270 % |
45.41/45.48 c | 159166 | 15959 68380 206021 | 2147483647 149585 15 | 56.270 % |
45.71/45.75 c | 160324 | 15958 68380 206021 | 2147483647 150742 15 | 56.272 % |
46.01/46.04 c | 161597 | 15958 68380 206021 | 2147483647 152015 15 | 56.272 % |
46.41/46.48 c | 162997 | 15958 68380 206021 | 2147483647 153415 15 | 56.272 % |
46.91/46.92 c | 164538 | 15956 68380 206021 | 2147483647 154955 15 | 56.278 % |
47.31/47.37 c | 166233 | 15859 68380 206021 | 2147483647 156622 15 | 56.946 % |
47.31/47.40 c | 166333 | 15859 68380 206021 | 2147483647 156722 15 | 56.946 % |
47.41/47.44 c | 166443 | 15859 68380 206021 | 2147483647 156832 15 | 56.946 % |
47.41/47.51 c | 166564 | 15859 68380 206021 | 2147483647 156953 15 | 56.946 % |
47.51/47.55 c | 166698 | 15859 68380 206021 | 2147483647 157087 15 | 56.946 % |
47.61/47.65 c | 166845 | 15712 67572 203411 | 2147483647 157017 15 | 56.946 % |
47.61/47.70 c | 167005 | 15712 67572 203411 | 2147483647 157177 15 | 56.946 % |
47.71/47.75 c | 167182 | 15712 67572 203411 | 2147483647 157354 15 | 56.946 % |
47.81/47.87 c | 167376 | 15712 67572 203411 | 2147483647 157548 15 | 56.946 % |
47.91/47.94 c | 167590 | 15712 67572 203411 | 2147483647 157762 15 | 56.946 % |
47.91/47.99 c | 167824 | 15712 67572 203411 | 2147483647 157996 15 | 56.946 % |
48.01/48.04 c | 168081 | 15712 67572 203411 | 2147483647 158253 15 | 56.946 % |
48.11/48.20 c | 168366 | 15712 67572 203411 | 2147483647 158538 15 | 56.946 % |
48.31/48.32 c | 168675 | 15712 67572 203411 | 2147483647 158847 15 | 56.946 % |
48.41/48.44 c | 169015 | 15712 67572 203411 | 2147483647 159187 15 | 56.946 % |
48.51/48.54 c | 169387 | 15687 67572 203411 | 2147483647 159558 15 | 57.015 % |
48.61/48.71 c | 169797 | 15686 67572 203411 | 2147483647 159967 15 | 57.018 % |
48.81/48.85 c | 170248 | 15686 67572 203411 | 2147483647 160418 15 | 57.018 % |
48.91/48.95 c | 170741 | 15686 67572 203411 | 2147483647 160911 15 | 57.018 % |
49.01/49.03 c | 171284 | 15686 67572 203411 | 2147483647 161454 15 | 57.018 % |
49.01/49.09 c | 171882 | 15686 67572 203411 | 2147483647 162052 15 | 57.018 % |
49.31/49.35 c | 172537 | 15685 67572 203411 | 2147483647 162706 15 | 57.020 % |
49.51/49.61 c | 173258 | 15684 67572 203411 | 2147483647 163426 15 | 57.023 % |
49.71/49.73 c | 174050 | 15684 67572 203411 | 2147483647 164218 15 | 57.023 % |
49.81/49.85 c | 174923 | 15684 67572 203411 | 2147483647 165091 15 | 57.023 % |
50.11/50.15 c | 175882 | 15684 67572 203411 | 2147483647 166050 15 | 57.023 % |
50.31/50.38 c | 176936 | 15684 67572 203411 | 2147483647 167104 15 | 57.023 % |
50.51/50.57 c | 178094 | 15684 67572 203411 | 2147483647 168262 15 | 57.023 % |
50.91/51.00 c | 179367 | 15683 67572 203411 | 2147483647 169534 15 | 57.026 % |
51.31/51.35 c | 180767 | 15683 67572 203411 | 2147483647 170934 15 | 57.026 % |
51.61/51.62 c | 182308 | 15682 67432 202999 | 2147483647 172351 16 | 57.029 % |
52.21/52.29 c | 184003 | 15681 67432 202999 | 2147483647 174045 16 | 57.031 % |
52.61/52.63 c | 185868 | 15681 67432 202999 | 2147483647 175910 16 | 57.031 % |
52.61/52.69 c | 185969 | 15681 67432 202999 | 2147483647 176011 16 | 57.031 % |
52.71/52.75 c | 186079 | 15681 67432 202999 | 2147483647 176121 16 | 57.031 % |
52.71/52.80 c | 186200 | 15681 67432 202999 | 2147483647 176242 16 | 57.031 % |
52.81/52.84 c | 186333 | 15677 67432 202999 | 2147483647 176374 16 | 57.059 % |
52.91/52.92 c | 186479 | 15674 67432 202999 | 2147483647 176518 16 | 57.067 % |
52.91/52.96 c | 186639 | 15674 67432 202999 | 2147483647 176678 16 | 57.067 % |
53.11/53.12 c | 186816 | 15674 67432 202999 | 2147483647 176855 16 | 57.067 % |
53.11/53.15 c | 187010 | 15674 67432 202999 | 2147483647 177049 16 | 57.067 % |
53.11/53.21 c | 187222 | 15674 67432 202999 | 2147483647 177261 16 | 57.067 % |
53.21/53.25 c | 187455 | 15674 67432 202999 | 2147483647 177494 16 | 57.067 % |
53.41/53.43 c | 187714 | 15674 67432 202999 | 2147483647 177753 16 | 57.067 % |
53.51/53.53 c | 187999 | 15662 67432 202999 | 2147483647 178037 16 | 57.103 % |
53.61/53.61 c | 188309 | 15662 67432 202999 | 2147483647 178347 16 | 57.103 % |
53.71/53.73 c | 188650 | 15662 67432 202999 | 2147483647 178688 16 | 57.103 % |
53.81/53.82 c | 189022 | 15662 67432 202999 | 2147483647 179060 16 | 57.103 % |
53.91/53.99 c | 189434 | 15662 67432 202999 | 2147483647 179472 16 | 57.103 % |
54.01/54.07 c | 189886 | 15662 67432 202999 | 2147483647 179924 16 | 57.103 % |
54.21/54.26 c | 190383 | 15654 67432 202999 | 2147483647 180419 16 | 57.130 % |
54.31/54.37 c | 190926 | 15652 67432 202999 | 2147483647 180962 16 | 57.130 % |
54.41/54.51 c | 191522 | 15652 67432 202999 | 2147483647 181558 16 | 57.130 % |
54.71/54.79 c | 192177 | 15652 67432 202999 | 2147483647 182213 16 | 57.130 % |
54.91/54.96 c | 192897 | 15652 67432 202999 | 2147483647 182933 16 | 57.130 % |
55.11/55.21 c | 193690 | 15652 67432 202999 | 2147483647 183726 16 | 57.130 % |
55.31/55.39 c | 194561 | 15652 67432 202999 | 2147483647 184597 16 | 57.130 % |
55.71/55.73 c | 195520 | 15650 67432 202999 | 2147483647 185555 16 | 57.135 % |
55.91/55.97 c | 196573 | 15650 67432 202999 | 2147483647 186608 16 | 57.135 % |
56.31/56.40 c | 197732 | 15650 67432 202999 | 2147483647 187767 16 | 57.135 % |
56.81/56.85 c | 199007 | 15641 67274 202532 | 2147483647 188969 16 | 57.141 % |
57.01/57.09 c | 200407 | 15641 67274 202532 | 2147483647 190369 16 | 57.141 % |
57.51/57.59 c | 201950 | 15637 67274 202532 | 2147483647 191909 17 | 57.152 % |
58.01/58.10 c | 203644 | 15636 67274 202532 | 2147483647 193602 17 | 57.157 % |
58.51/58.56 c | 205507 | 15634 67274 202532 | 2147483647 195463 17 | 57.168 % |
59.11/59.13 c | 207560 | 15634 67274 202532 | 2147483647 197516 17 | 57.168 % |
59.11/59.18 c | 207660 | 15634 67274 202532 | 2147483647 197616 17 | 57.168 % |
59.21/59.26 c | 207770 | 15634 67274 202532 | 2147483647 197726 17 | 57.168 % |
59.21/59.31 c | 207891 | 15634 67274 202532 | 2147483647 197847 17 | 57.168 % |
59.31/59.38 c | 208025 | 15634 67274 202532 | 2147483647 197981 17 | 57.168 % |
59.41/59.46 c | 208173 | 15634 67274 202532 | 2147483647 198129 17 | 57.168 % |
59.51/59.55 c | 208333 | 15634 67274 202532 | 2147483647 198289 17 | 57.168 % |
59.61/59.63 c | 208510 | 15634 67274 202532 | 2147483647 198466 17 | 57.168 % |
59.71/59.73 c | 208704 | 15634 67274 202532 | 2147483647 198660 17 | 57.168 % |
59.71/59.79 c | 208917 | 15632 67274 202532 | 2147483647 198873 17 | 57.168 % |
59.81/59.83 c | 209151 | 15632 67274 202532 | 2147483647 199107 17 | 57.168 % |
59.91/59.96 c | 209407 | 15632 67274 202532 | 2147483647 199363 17 | 57.168 % |
60.01/60.11 c | 209690 | 15629 67274 202532 | 2147483647 199644 17 | 57.177 % |
60.21/60.24 c | 210000 | 15629 67274 202532 | 2147483647 199954 17 | 57.177 % |
60.31/60.38 c | 210339 | 15629 67274 202532 | 2147483647 200293 17 | 57.177 % |
60.51/60.57 c | 210711 | 15628 67274 202532 | 2147483647 200664 17 | 57.179 % |
60.61/60.70 c | 211122 | 15628 67274 202532 | 2147483647 201075 17 | 57.179 % |
60.71/60.80 c | 211572 | 15628 67274 202532 | 2147483647 201525 17 | 57.179 % |
60.91/60.94 c | 212065 | 15628 67274 202532 | 2147483647 202018 17 | 57.179 % |
61.21/61.27 c | 212607 | 15628 67274 202532 | 2147483647 202560 17 | 57.179 % |
61.31/61.37 c | 213203 | 15628 67274 202532 | 2147483647 203156 17 | 57.179 % |
61.51/61.55 c | 213859 | 15626 67274 202532 | 2147483647 203811 17 | 57.185 % |
61.81/61.83 c | 214582 | 15613 67274 202532 | 2147483647 204531 17 | 57.220 % |
62.21/62.23 c | 215374 | 15598 67120 202086 | 2147483647 205205 17 | 57.264 % |
62.51/62.60 c | 216245 | 15598 67120 202086 | 2147483647 206076 17 | 57.264 % |
62.71/62.74 c | 217203 | 15598 67120 202086 | 2147483647 207034 17 | 57.264 % |
63.01/63.05 c | 218256 | 15597 67120 202086 | 2147483647 208086 17 | 57.267 % |
63.51/63.59 c | 219414 | 15597 67120 202086 | 2147483647 209244 18 | 57.267 % |
63.91/63.97 c | 220687 | 15594 67120 202086 | 2147483647 210516 18 | 57.278 % |
64.51/64.57 c | 222088 | 15585 67120 202086 | 2147483647 211914 18 | 57.357 % |
64.91/64.98 c | 223628 | 15585 67120 202086 | 2147483647 213454 18 | 57.357 % |
65.31/65.39 c | 225323 | 15584 67120 202086 | 2147483647 215148 18 | 57.360 % |
65.81/65.89 c | 227186 | 15584 67120 202086 | 2147483647 217011 18 | 57.360 % |
66.41/66.41 c | 229235 | 15584 67120 202086 | 2147483647 219060 18 | 57.360 % |
67.11/67.13 c | 231488 | 15583 67120 202086 | 2147483647 221312 18 | 57.363 % |
67.11/67.19 c | 231589 | 15583 67120 202086 | 2147483647 221413 18 | 57.363 % |
67.11/67.21 c | 231700 | 15583 67120 202086 | 2147483647 221524 18 | 57.363 % |
67.21/67.28 c | 231821 | 15583 67120 202086 | 2147483647 221645 18 | 57.363 % |
67.31/67.34 c | 231954 | 15583 67120 202086 | 2147483647 221778 18 | 57.363 % |
67.41/67.43 c | 232100 | 15583 67120 202086 | 2147483647 221924 18 | 57.363 % |
67.51/67.51 c | 232260 | 15583 67120 202086 | 2147483647 222084 18 | 57.363 % |
67.61/67.63 c | 232436 | 15580 67120 202086 | 2147483647 222259 18 | 57.371 % |
67.61/67.69 c | 232630 | 15580 67120 202086 | 2147483647 222453 18 | 57.371 % |
67.71/67.80 c | 232842 | 15580 67120 202086 | 2147483647 222665 18 | 57.371 % |
67.81/67.91 c | 233075 | 15580 67120 202086 | 2147483647 222898 18 | 57.371 % |
68.01/68.05 c | 233331 | 15580 67120 202086 | 2147483647 223154 18 | 57.371 % |
68.11/68.16 c | 233612 | 15580 67120 202086 | 2147483647 223435 18 | 57.371 % |
68.31/68.34 c | 233923 | 15580 67120 202086 | 2147483647 223746 18 | 57.371 % |
68.41/68.46 c | 234262 | 15557 66870 201356 | 2147483647 223952 18 | 57.371 % |
68.51/68.55 c | 234635 | 15557 66870 201356 | 2147483647 224325 18 | 57.371 % |
68.51/68.60 c | 235045 | 15557 66870 201356 | 2147483647 224735 18 | 57.371 % |
68.71/68.73 c | 235496 | 15557 66870 201356 | 2147483647 225186 18 | 57.371 % |
68.91/68.93 c | 235989 | 15557 66870 201356 | 2147483647 225679 18 | 57.371 % |
69.11/69.11 c | 236531 | 15557 66870 201356 | 2147483647 226221 18 | 57.371 % |
69.31/69.32 c | 237127 | 15557 66870 201356 | 2147483647 226817 18 | 57.371 % |
69.51/69.53 c | 237782 | 15557 66870 201356 | 2147483647 227472 18 | 57.371 % |
69.71/69.73 c | 238506 | 15557 66870 201356 | 2147483647 228196 18 | 57.371 % |
69.91/69.99 c | 239298 | 15557 66870 201356 | 2147483647 228988 18 | 57.371 % |
70.31/70.39 c | 240169 | 15550 66870 201356 | 2147483647 229856 18 | 57.398 % |
70.71/70.79 c | 241127 | 15549 66870 201356 | 2147483647 230813 18 | 57.401 % |
71.21/71.25 c | 242182 | 15547 66870 201356 | 2147483647 231866 18 | 57.407 % |
72.21/72.31 c | 243340 | 15546 66870 201356 | 2147483647 233023 19 | 57.409 % |
72.91/72.91 c | 244613 | 15545 66870 201356 | 2147483647 234295 19 | 57.412 % |
73.41/73.49 c | 246013 | 15541 66870 201356 | 2147483647 235692 19 | 57.423 % |
73.91/73.95 c | 247554 | 15541 66870 201356 | 2147483647 237233 19 | 57.423 % |
74.61/74.65 c | 249248 | 15540 66870 201356 | 2147483647 238926 19 | 57.429 % |
74.91/74.94 c | 251111 | 15538 66870 201356 | 2147483647 240788 19 | 57.434 % |
75.51/75.53 c | 253162 | 15538 66870 201356 | 2147483647 242839 19 | 57.434 % |
76.21/76.23 c | 255415 | 15538 66870 201356 | 2147483647 245092 19 | 57.434 % |
76.71/76.74 c | 257893 | 15526 66750 201018 | 2147483647 247493 19 | 57.456 % |
76.81/76.83 c | 257993 | 15526 66750 201018 | 2147483647 247593 19 | 57.456 % |
76.81/76.90 c | 258104 | 15526 66750 201018 | 2147483647 247704 19 | 57.456 % |
76.91/76.94 c | 258226 | 15526 66750 201018 | 2147483647 247826 19 | 57.456 % |
77.01/77.03 c | 258360 | 15526 66750 201018 | 2147483647 247960 19 | 57.456 % |
77.01/77.11 c | 258506 | 15526 66750 201018 | 2147483647 248106 19 | 57.456 % |
77.21/77.21 c | 258667 | 15526 66750 201018 | 2147483647 248267 19 | 57.456 % |
77.21/77.30 c | 258845 | 15526 66750 201018 | 2147483647 248445 19 | 57.456 % |
77.31/77.37 c | 259038 | 15526 66750 201018 | 2147483647 248638 19 | 57.456 % |
77.51/77.52 c | 259250 | 15526 66750 201018 | 2147483647 248850 19 | 57.456 % |
77.51/77.60 c | 259484 | 15526 66750 201018 | 2147483647 249084 19 | 57.456 % |
77.71/77.75 c | 259741 | 15526 66750 201018 | 2147483647 249341 19 | 57.456 % |
77.71/77.81 c | 260022 | 15526 66750 201018 | 2147483647 249622 19 | 57.456 % |
77.91/77.93 c | 260331 | 15526 66750 201018 | 2147483647 249931 19 | 57.456 % |
78.01/78.08 c | 260670 | 15526 66750 201018 | 2147483647 250270 19 | 57.456 % |
78.11/78.21 c | 261042 | 15526 66750 201018 | 2147483647 250642 19 | 57.456 % |
78.31/78.32 c | 261451 | 15526 66750 201018 | 2147483647 251051 19 | 57.456 % |
78.51/78.54 c | 261900 | 15526 66750 201018 | 2147483647 251500 19 | 57.456 % |
78.61/78.64 c | 262393 | 15526 66750 201018 | 2147483647 251993 19 | 57.456 % |
78.81/78.83 c | 262935 | 15526 66750 201018 | 2147483647 252535 19 | 57.456 % |
78.91/79.01 c | 263533 | 15524 66750 201018 | 2147483647 253132 19 | 57.462 % |
79.31/79.32 c | 264188 | 15520 66750 201018 | 2147483647 253786 19 | 57.478 % |
79.51/79.54 c | 264909 | 15520 66750 201018 | 2147483647 254507 19 | 57.478 % |
79.71/79.77 c | 265701 | 15517 66750 201018 | 2147483647 255298 19 | 57.486 % |
80.11/80.11 c | 266572 | 15515 66750 201018 | 2147483647 256167 19 | 57.492 % |
80.31/80.35 c | 267531 | 15515 66750 201018 | 2147483647 257126 19 | 57.492 % |
80.81/80.85 c | 268584 | 15514 66750 201018 | 2147483647 258178 19 | 57.494 % |
81.01/81.10 c | 269742 | 15514 66750 201018 | 2147483647 259336 19 | 57.494 % |
81.61/81.64 c | 271015 | 15512 66750 201018 | 2147483647 260608 19 | 57.500 % |
82.11/82.13 c | 272418 | 15512 66750 201018 | 2147483647 262011 19 | 57.500 % |
82.71/82.74 c | 273960 | 15512 66750 201018 | 2147483647 263553 19 | 57.500 % |
83.01/83.08 c | 275654 | 15511 66750 201018 | 2147483647 265246 19 | 57.503 % |
83.61/83.62 c | 277517 | 15511 66750 201018 | 2147483647 267109 19 | 57.503 % |
84.11/84.18 c | 279567 | 15511 66750 201018 | 2147483647 269159 19 | 57.503 % |
84.71/84.74 c | 281820 | 15508 66750 201018 | 2147483647 271410 19 | 57.511 % |
85.41/85.49 c | 284299 | 15508 66750 201018 | 2147483647 273889 19 | 57.511 % |
86.71/86.81 c | 287024 | 15506 66615 200637 | 2147483647 276503 20 | 57.511 % |
86.81/86.88 c | 287124 | 15506 66615 200637 | 2147483647 276603 20 | 57.511 % |
86.91/86.93 c | 287234 | 15506 66615 200637 | 2147483647 276713 20 | 57.511 % |
87.02/87.05 c | 287355 | 15506 66615 200637 | 2147483647 276834 20 | 57.511 % |
87.02/87.10 c | 287488 | 15506 66615 200637 | 2147483647 276967 20 | 57.511 % |
87.11/87.19 c | 287634 | 15506 66615 200637 | 2147483647 277113 20 | 57.511 % |
87.21/87.26 c | 287794 | 15506 66615 200637 | 2147483647 277273 20 | 57.511 % |
87.31/87.38 c | 287970 | 15506 66615 200637 | 2147483647 277449 20 | 57.511 % |
87.41/87.49 c | 288163 | 15506 66615 200637 | 2147483647 277642 20 | 57.511 % |
87.51/87.55 c | 288375 | 15506 66615 200637 | 2147483647 277854 20 | 57.511 % |
87.61/87.65 c | 288608 | 15506 66615 200637 | 2147483647 278087 20 | 57.511 % |
87.81/87.83 c | 288864 | 15506 66615 200637 | 2147483647 278343 20 | 57.511 % |
87.91/87.98 c | 289145 | 15506 66615 200637 | 2147483647 278624 20 | 57.511 % |
88.12/88.16 c | 289454 | 15503 66615 200637 | 2147483647 278932 20 | 57.522 % |
88.31/88.34 c | 289795 | 15503 66615 200637 | 2147483647 279273 20 | 57.522 % |
88.51/88.59 c | 290169 | 15502 66615 200637 | 2147483647 279646 20 | 57.527 % |
88.81/88.83 c | 290579 | 15502 66615 200637 | 2147483647 280056 20 | 57.527 % |
89.11/89.16 c | 291028 | 15502 66615 200637 | 2147483647 280505 20 | 57.527 % |
89.22/89.29 c | 291521 | 15502 66615 200637 | 2147483647 280998 20 | 57.527 % |
89.71/89.77 c | 292065 | 15502 66615 200637 | 2147483647 281542 20 | 57.527 % |
89.91/89.96 c | 292661 | 15502 66615 200637 | 2147483647 282138 20 | 57.527 % |
90.01/90.04 c | 293316 | 15502 66615 200637 | 2147483647 282793 20 | 57.527 % |
90.11/90.20 c | 294039 | 15492 66615 200637 | 2147483647 283512 20 | 57.560 % |
90.71/90.72 c | 294831 | 15492 66615 200637 | 2147483647 284304 20 | 57.560 % |
91.21/91.24 c | 295703 | 15491 66615 200637 | 2147483647 285175 20 | 57.563 % |
91.42/91.50 c | 296662 | 15490 66615 200637 | 2147483647 286133 20 | 57.566 % |
91.81/91.87 c | 297716 | 15485 66615 200637 | 2147483647 287185 20 | 57.579 % |
92.31/92.35 c | 298874 | 15485 66615 200637 | 2147483647 288343 20 | 57.579 % |
92.61/92.62 c | 300148 | 15485 66615 200637 | 2147483647 289617 20 | 57.579 % |
93.01/93.03 c | 301548 | 15485 66615 200637 | 2147483647 291017 20 | 57.579 % |
93.71/93.73 c | 303088 | 15485 66615 200637 | 2147483647 292557 20 | 57.579 % |
94.31/94.41 c | 304782 | 15485 66615 200637 | 2147483647 294251 20 | 57.579 % |
95.11/95.15 c | 306645 | 15484 66615 200637 | 2147483647 296113 20 | 57.582 % |
95.41/95.47 c | 308695 | 15484 66615 200637 | 2147483647 298163 20 | 57.582 % |
96.41/96.44 c | 310950 | 15484 66615 200637 | 2147483647 300418 20 | 57.582 % |
96.81/96.91 c | 313428 | 15484 66615 200637 | 2147483647 302896 20 | 57.582 % |
98.41/98.48 c | 316153 | 15478 66480 200265 | 2147483647 305537 21 | 57.588 % |
99.31/99.35 c | 319150 | 15477 66480 200265 | 2147483647 308533 21 | 57.590 % |
99.41/99.42 c | 319253 | 15477 66480 200265 | 2147483647 308636 21 | 57.590 % |
99.41/99.47 c | 319363 | 15477 66480 200265 | 2147483647 308746 21 | 57.590 % |
99.51/99.53 c | 319485 | 15477 66480 200265 | 2147483647 308868 21 | 57.590 % |
99.61/99.65 c | 319618 | 15477 66480 200265 | 2147483647 309001 21 | 57.590 % |
99.71/99.77 c | 319765 | 15477 66480 200265 | 2147483647 309148 21 | 57.590 % |
99.81/99.89 c | 319925 | 15475 66480 200265 | 2147483647 309307 21 | 57.596 % |
99.91/99.98 c | 320101 | 15475 66480 200265 | 309382 309483 21 | 57.596 % |
100.11/100.13 c | 320294 | 15475 66480 200265 | 309382 309676 21 | 57.596 % |
100.22/100.26 c | 320508 | 15475 66480 200265 | 309382 309890 21 | 57.596 % |
100.41/100.43 c | 320741 | 15475 66480 200265 | 309382 310123 21 | 57.596 % |
100.51/100.60 c | 320997 | 15475 66480 200265 | 309382 310379 21 | 57.596 % |
100.71/100.72 c | 321279 | 15475 66480 200265 | 309382 310661 21 | 57.596 % |
100.81/100.88 c | 321588 | 15475 66480 200265 | 309382 310970 21 | 57.596 % |
101.01/101.04 c | 321927 | 15475 66480 200265 | 309382 311309 21 | 57.596 % |
101.21/101.26 c | 322299 | 15474 66480 200265 | 309382 311680 21 | 57.599 % |
101.41/101.44 c | 322710 | 15474 66480 200265 | 309382 312091 21 | 57.599 % |
101.61/101.64 c | 323160 | 15473 66480 200265 | 309382 312540 21 | 57.601 % |
101.81/101.86 c | 323653 | 15473 66480 200265 | 309382 313033 21 | 57.601 % |
102.01/102.10 c | 324195 | 15470 66480 200265 | 309382 313574 21 | 57.609 % |
102.31/102.33 c | 324792 | 15470 66480 200265 | 309382 314171 21 | 57.609 % |
102.51/102.53 c | 325447 | 15470 66480 200265 | 309382 314826 21 | 57.609 % |
102.71/102.72 c | 326169 | 15470 66480 200265 | 309382 315548 21 | 57.609 % |
102.81/102.88 c | 326962 | 15470 66480 200265 | 309382 316341 21 | 57.609 % |
103.31/103.40 c | 327833 | 15470 66480 200265 | 309382 317212 21 | 57.609 % |
103.61/103.69 c | 328793 | 15470 66480 200265 | 309382 318172 21 | 57.609 % |
104.01/104.07 c | 329852 | 15470 66480 200265 | 309382 319231 21 | 57.609 % |
104.31/104.38 c | 331010 | 15470 66480 200265 | 319379 320389 21 | 57.609 % |
104.91/104.94 c | 332283 | 15470 66480 200265 | 319379 321662 21 | 57.609 % |
105.72/105.73 c | 333687 | 15459 66480 200265 | 319379 323064 22 | 57.662 % |
106.31/106.40 c | 335228 | 15457 66480 200265 | 319379 324604 22 | 57.664 % |
107.21/107.21 c | 336922 | 15457 66480 200265 | 319379 326298 22 | 57.664 % |
107.61/107.69 c | 338785 | 15457 66480 200265 | 319379 328161 22 | 57.664 % |
107.81/107.91 c | 340834 | 15457 66480 200265 | 329377 330210 22 | 57.664 % |
108.51/108.57 c | 343087 | 15456 66480 200265 | 329377 332462 22 | 57.667 % |
109.41/109.48 c | 345565 | 15456 66480 200265 | 329377 334940 22 | 57.667 % |
110.41/110.45 c | 348293 | 15456 66480 200265 | 329377 337668 22 | 57.667 % |
111.11/111.19 c | 351291 | 15456 66480 200265 | 339375 340666 22 | 57.667 % |
112.01/112.08 c | 354589 | 15455 66480 200265 | 339375 343963 22 | 57.670 % |
112.11/112.11 c | 354689 | 15455 66480 200265 | 339375 344063 22 | 57.670 % |
112.11/112.17 c | 354799 | 15455 66480 200265 | 339375 344173 22 | 57.670 % |
112.21/112.23 c | 354924 | 15455 66480 200265 | 339375 344298 22 | 57.670 % |
112.21/112.29 c | 355058 | 15455 66480 200265 | 339375 344432 22 | 57.670 % |
112.41/112.41 c | 355205 | 15455 66480 200265 | 339375 344579 22 | 57.670 % |
112.41/112.50 c | 355365 | 15455 66480 200265 | 339375 344739 22 | 57.670 % |
112.51/112.56 c | 355541 | 15455 66480 200265 | 339375 344915 22 | 57.670 % |
112.71/112.75 c | 355735 | 15455 66480 200265 | 339375 345109 22 | 57.670 % |
112.81/112.86 c | 355948 | 15455 66480 200265 | 339375 345322 22 | 57.670 % |
112.91/112.99 c | 356181 | 15455 66480 200265 | 339375 345555 22 | 57.670 % |
113.11/113.12 c | 356440 | 15455 66480 200265 | 339375 345814 22 | 57.670 % |
113.31/113.35 c | 356721 | 15454 66480 200265 | 339375 346094 22 | 57.675 % |
113.51/113.60 c | 357031 | 15453 66480 200265 | 339375 346403 22 | 57.678 % |
113.81/113.81 c | 357370 | 15453 66480 200265 | 339375 346742 22 | 57.678 % |
114.01/114.02 c | 357743 | 15453 66480 200265 | 339375 347115 22 | 57.678 % |
114.11/114.13 c | 358152 | 15453 66480 200265 | 339375 347524 22 | 57.678 % |
114.31/114.40 c | 358603 | 15452 66480 200265 | 339375 347974 22 | 57.681 % |
114.61/114.67 c | 359098 | 15452 66480 200265 | 339375 348469 22 | 57.681 % |
114.91/114.98 c | 359640 | 15444 66325 199808 | 339375 348883 22 | 57.681 % |
115.11/115.19 c | 360236 | 15444 66325 199808 | 349243 349479 22 | 57.681 % |
115.41/115.50 c | 360891 | 15444 66325 199808 | 349243 350134 22 | 57.681 % |
116.01/116.03 c | 361611 | 15435 66325 199808 | 349243 350852 22 | 57.705 % |
116.42/116.48 c | 362403 | 15435 66325 199808 | 349243 351644 22 | 57.705 % |
117.02/117.04 c | 363276 | 15434 66325 199808 | 349243 352516 22 | 57.708 % |
117.42/117.51 c | 364236 | 15434 66325 199808 | 349243 353476 22 | 57.708 % |
117.82/117.85 c | 365293 | 15434 66325 199808 | 349243 354533 22 | 57.708 % |
118.82/118.86 c | 366451 | 15434 66325 199808 | 349243 355691 22 | 57.708 % |
119.22/119.26 c | 367726 | 15434 66325 199808 | 349243 356966 22 | 57.708 % |
119.91/119.98 c | 369128 | 15434 66325 199808 | 349243 358368 22 | 57.708 % |
120.21/120.29 c | 370668 | 15434 66325 199808 | 359240 359908 22 | 57.708 % |
120.71/120.73 c | 372364 | 15433 66325 199808 | 359240 361603 22 | 57.711 % |
121.51/121.55 c | 374228 | 15433 66325 199808 | 359240 363467 22 | 57.711 % |
122.11/122.15 c | 376278 | 15433 66325 199808 | 359240 365517 22 | 57.711 % |
123.01/123.06 c | 378532 | 15433 66325 199808 | 359240 367771 22 | 57.711 % |
123.91/123.93 c | 381010 | 15433 66325 199808 | 369239 370249 22 | 57.711 % |
124.71/124.75 c | 383735 | 15432 66325 199808 | 369239 372973 22 | 57.714 % |
126.11/126.13 c | 386732 | 15432 66325 199808 | 369239 375970 22 | 57.714 % |
128.81/128.89 c | 390029 | 15432 66325 199808 | 379238 379267 23 | 57.714 % |
130.01/130.10 c | 393657 | 15432 66325 199808 | 379238 382895 23 | 57.714 % |
130.11/130.18 c | 393757 | 15430 66325 199808 | 379238 382994 23 | 57.719 % |
130.21/130.26 c | 393867 | 15430 66325 199808 | 379238 383104 23 | 57.719 % |
130.31/130.35 c | 393989 | 15430 66325 199808 | 379238 383226 23 | 57.719 % |
130.51/130.53 c | 394122 | 15430 66325 199808 | 379238 383359 23 | 57.719 % |
130.61/130.62 c | 394270 | 15430 66325 199808 | 379238 383507 23 | 57.719 % |
130.71/130.73 c | 394430 | 15430 66325 199808 | 379238 383667 23 | 57.719 % |
130.81/130.81 c | 394606 | 15430 66325 199808 | 379238 383843 23 | 57.719 % |
130.91/130.96 c | 394800 | 15429 66325 199808 | 379238 384036 23 | 57.722 % |
131.11/131.12 c | 395013 | 15429 66325 199808 | 379238 384249 23 | 57.722 % |
131.21/131.27 c | 395246 | 15429 66325 199808 | 379238 384482 23 | 57.722 % |
131.31/131.40 c | 395503 | 15429 66325 199808 | 379238 384739 23 | 57.722 % |
131.61/131.62 c | 395786 | 15429 66325 199808 | 379238 385022 23 | 57.722 % |
131.81/131.82 c | 396097 | 15427 66325 199808 | 379238 385332 23 | 57.727 % |
132.01/132.05 c | 396437 | 15427 66325 199808 | 379238 385672 23 | 57.727 % |
132.21/132.27 c | 396812 | 15427 66325 199808 | 379238 386047 23 | 57.727 % |
132.31/132.32 c | 397222 | 15427 66325 199808 | 379238 386457 23 | 57.727 % |
132.41/132.45 c | 397671 | 15425 66325 199808 | 379238 386905 23 | 57.738 % |
132.71/132.77 c | 398165 | 15425 66325 199808 | 379238 387399 23 | 57.738 % |
132.91/132.97 c | 398708 | 15425 66325 199808 | 379238 387942 23 | 57.738 % |
133.31/133.31 c | 399304 | 15425 66325 199808 | 379238 388538 23 | 57.738 % |
133.61/133.63 c | 399963 | 15425 66325 199808 | 379238 389197 23 | 57.738 % |
133.91/133.91 c | 400683 | 15425 66325 199808 | 389234 389917 23 | 57.738 % |
134.11/134.15 c | 401475 | 15425 66325 199808 | 389234 390709 23 | 57.738 % |
134.51/134.60 c | 402346 | 15425 66325 199808 | 389234 391580 23 | 57.738 % |
135.11/135.17 c | 403305 | 15424 66325 199808 | 389234 392538 23 | 57.741 % |
135.51/135.54 c | 404359 | 15424 66325 199808 | 389234 393592 23 | 57.741 % |
136.41/136.46 c | 405517 | 15424 66325 199808 | 389234 394750 23 | 57.741 % |
137.01/137.09 c | 406790 | 15423 66325 199808 | 389234 396022 23 | 57.744 % |
137.61/137.70 c | 408190 | 15423 66325 199808 | 389234 397422 23 | 57.744 % |
138.41/138.45 c | 409730 | 15421 66210 199481 | 389234 398860 23 | 57.744 % |
139.21/139.29 c | 411424 | 15421 66210 199481 | 399130 400554 23 | 57.744 % |
139.81/139.87 c | 413288 | 15421 66210 199481 | 399130 402418 23 | 57.744 % |
140.61/140.61 c | 415339 | 15420 66210 199481 | 399130 404468 23 | 57.746 % |
142.21/142.21 c | 417596 | 15420 66210 199481 | 399130 406725 23 | 57.746 % |
144.41/144.47 c | 420075 | 15412 66210 199481 | 409128 409203 23 | 57.768 % |
145.61/145.63 c | 422800 | 15412 66210 199481 | 409128 411928 23 | 57.768 % |
148.01/148.08 c | 425797 | 15412 66210 199481 | 409128 414925 24 | 57.768 % |
149.31/149.35 c | 429093 | 15412 66210 199481 | 409128 418221 24 | 57.768 % |
151.21/151.27 c | 432718 | 15410 66210 199481 | 419128 421844 24 | 57.774 % |
153.91/153.92 c | 436705 | 15410 66210 199481 | 419128 425831 24 | 57.774 % |
153.91/154.00 c | 436806 | 15410 66210 199481 | 419128 425932 24 | 57.774 % |
154.01/154.07 c | 436917 | 15410 66210 199481 | 419128 426043 24 | 57.774 % |
154.11/154.17 c | 437039 | 15410 66210 199481 | 419128 426165 24 | 57.774 % |
154.21/154.28 c | 437173 | 15410 66210 199481 | 419128 426299 24 | 57.774 % |
154.41/154.42 c | 437319 | 15410 66210 199481 | 419128 426445 24 | 57.774 % |
154.51/154.54 c | 437479 | 15410 66210 199481 | 419128 426605 24 | 57.774 % |
154.61/154.70 c | 437656 | 15410 66210 199481 | 419128 426782 24 | 57.774 % |
154.91/154.94 c | 437850 | 15410 66210 199481 | 419128 426976 24 | 57.774 % |
155.01/155.05 c | 438064 | 15410 66210 199481 | 419128 427190 24 | 57.774 % |
155.21/155.24 c | 438297 | 15410 66210 199481 | 419128 427423 24 | 57.774 % |
155.41/155.43 c | 438553 | 15410 66210 199481 | 419128 427679 24 | 57.774 % |
155.71/155.71 c | 438834 | 15410 66210 199481 | 419128 427960 24 | 57.774 % |
155.91/155.97 c | 439143 | 15410 66210 199481 | 419128 428269 24 | 57.774 % |
156.11/156.14 c | 439482 | 15410 66210 199481 | 419128 428608 24 | 57.774 % |
156.31/156.37 c | 439855 | 15410 66210 199481 | 419128 428981 24 | 57.774 % |
156.61/156.62 c | 440264 | 15410 66210 199481 | 429126 429390 24 | 57.774 % |
157.01/157.03 c | 440713 | 15410 66210 199481 | 429126 429839 24 | 57.774 % |
157.21/157.30 c | 441206 | 15410 66210 199481 | 429126 430332 24 | 57.774 % |
157.71/157.79 c | 441748 | 15410 66210 199481 | 429126 430874 24 | 57.774 % |
158.21/158.22 c | 442344 | 15410 66210 199481 | 429126 431470 24 | 57.774 % |
158.51/158.60 c | 442999 | 15410 66210 199481 | 429126 432125 24 | 57.774 % |
159.01/159.07 c | 443720 | 15410 66210 199481 | 429126 432846 24 | 57.774 % |
159.41/159.44 c | 444513 | 15410 66210 199481 | 429126 433639 24 | 57.774 % |
159.91/159.94 c | 445387 | 15410 66210 199481 | 429126 434513 24 | 57.774 % |
160.31/160.33 c | 446345 | 15410 66210 199481 | 429126 435471 24 | 57.774 % |
161.01/161.02 c | 447398 | 15410 66210 199481 | 429126 436524 24 | 57.774 % |
162.01/162.03 c | 448557 | 15410 66210 199481 | 429126 437683 24 | 57.774 % |
162.51/162.56 c | 449830 | 15410 66210 199481 | 429126 438956 24 | 57.774 % |
162.81/162.81 c | 451232 | 15410 66210 199481 | 439127 440358 24 | 57.774 % |
163.81/163.87 c | 452774 | 15409 66210 199481 | 439127 441899 24 | 57.777 % |
164.91/164.90 c | 454469 | 15409 66210 199481 | 439127 443594 24 | 57.777 % |
166.11/166.16 c | 456332 | 15408 66210 199481 | 439127 445456 25 | 57.779 % |
166.81/166.87 c | 458381 | 15408 66210 199481 | 439127 447505 25 | 57.779 % |
168.01/168.09 c | 460634 | 15408 66210 199481 | 449124 449758 25 | 57.779 % |
169.01/169.07 c | 463114 | 15408 66210 199481 | 449124 452238 25 | 57.779 % |
172.82/172.81 c | 465839 | 15408 66210 199481 | 449124 454963 25 | 57.779 % |
173.92/173.93 c | 468836 | 15408 66142 199287 | 449124 457901 25 | 57.779 % |
176.21/176.22 c | 472135 | 15408 66142 199287 | 459065 461200 26 | 57.779 % |
177.31/177.31 c | 475760 | 15408 66142 199287 | 459065 464825 26 | 57.779 % |
179.01/179.02 c | 479748 | 15408 66142 199287 | 459065 468813 26 | 57.779 % |
180.71/180.80 c | 484133 | 15408 66142 199287 | 469067 473198 26 | 57.779 % |
180.81/180.89 c | 484235 | 15408 66142 199287 | 469067 473300 26 | 57.779 % |
180.91/180.97 c | 484346 | 15408 66142 199287 | 469067 473411 26 | 57.779 % |
181.01/181.02 c | 484469 | 15408 66142 199287 | 469067 473534 26 | 57.779 % |
181.11/181.15 c | 484602 | 15408 66142 199287 | 469067 473667 26 | 57.779 % |
181.21/181.29 c | 484750 | 15408 66142 199287 | 469067 473815 26 | 57.779 % |
181.41/181.45 c | 484913 | 15408 66142 199287 | 469067 473978 26 | 57.779 % |
181.51/181.55 c | 485090 | 15408 66142 199287 | 469067 474155 26 | 57.779 % |
181.81/181.81 c | 485283 | 15408 66142 199287 | 469067 474348 26 | 57.779 % |
182.01/182.03 c | 485495 | 15408 66142 199287 | 469067 474560 26 | 57.779 % |
182.21/182.22 c | 485728 | 15408 66142 199287 | 469067 474793 26 | 57.779 % |
182.31/182.36 c | 485984 | 15408 66142 199287 | 469067 475049 26 | 57.779 % |
182.51/182.60 c | 486265 | 15408 66142 199287 | 469067 475330 26 | 57.779 % |
182.81/182.88 c | 486574 | 15408 66142 199287 | 469067 475639 26 | 57.779 % |
183.01/183.10 c | 486913 | 15408 66142 199287 | 469067 475978 26 | 57.779 % |
183.31/183.33 c | 487285 | 15408 66142 199287 | 469067 476350 26 | 57.779 % |
183.51/183.52 c | 487694 | 15408 66142 199287 | 469067 476759 26 | 57.779 % |
183.71/183.75 c | 488145 | 15407 66142 199287 | 469067 477209 26 | 57.788 % |
184.01/184.03 c | 488639 | 15406 66142 199287 | 469067 477702 26 | 57.790 % |
184.41/184.45 c | 489183 | 15406 66142 199287 | 469067 478246 26 | 57.790 % |
184.61/184.65 c | 489780 | 15406 66142 199287 | 469067 478843 26 | 57.790 % |
185.01/185.08 c | 490435 | 15406 66142 199287 | 479066 479498 26 | 57.790 % |
185.41/185.46 c | 491156 | 15406 66142 199287 | 479066 480219 26 | 57.790 % |
185.81/185.84 c | 491948 | 15406 66142 199287 | 479066 481011 26 | 57.790 % |
186.11/186.14 c | 492819 | 15404 66142 199287 | 479066 481880 26 | 57.796 % |
186.51/186.58 c | 493778 | 15403 66142 199287 | 479066 482838 26 | 57.807 % |
187.01/187.04 c | 494831 | 15403 66142 199287 | 479066 483891 26 | 57.807 % |
187.91/187.93 c | 495989 | 15403 66142 199287 | 479066 485049 26 | 57.807 % |
188.51/188.56 c | 497263 | 15403 66142 199287 | 479066 486323 26 | 57.807 % |
189.81/189.87 c | 498663 | 15403 66142 199287 | 479066 487723 26 | 57.807 % |
190.71/190.72 c | 500204 | 15403 66142 199287 | 489060 489264 26 | 57.807 % |
191.61/191.64 c | 501898 | 15403 66142 199287 | 489060 490958 26 | 57.807 % |
192.51/192.57 c | 503761 | 15403 66142 199287 | 489060 492821 26 | 57.807 % |
193.11/193.19 c | 505811 | 15403 66142 199287 | 489060 494871 26 | 57.807 % |
193.91/193.96 c | 508064 | 15403 66142 199287 | 489060 497124 26 | 57.807 % |
195.01/195.02 c | 510544 | 15403 66142 199287 | 499060 499604 26 | 57.807 % |
196.61/196.67 c | 513269 | 15401 66142 199287 | 499060 502327 26 | 57.823 % |
199.12/199.12 c | 516266 | 15401 66142 199287 | 499060 505324 27 | 57.823 % |
201.22/201.27 c | 519562 | 15401 66142 199287 | 499060 508620 27 | 57.823 % |
203.22/203.22 c | 523187 | 15401 66142 199287 | 509059 512245 27 | 57.823 % |
207.12/207.17 c | 527174 | 15401 66142 199287 | 509059 516232 27 | 57.823 % |
208.92/208.93 c | 531560 | 15401 66142 199287 | 519059 520618 27 | 57.823 % |
215.12/215.12 c | 536384 | 15391 66142 199287 | 519059 525440 28 | 57.851 % |
215.22/215.24 c | 536485 | 15391 66142 199287 | 519059 525541 28 | 57.851 % |
215.32/215.36 c | 536595 | 15389 66142 199287 | 519059 525650 28 | 57.856 % |
215.62/215.64 c | 536716 | 15389 66142 199287 | 519059 525771 28 | 57.856 % |
215.72/215.76 c | 536849 | 15389 66142 199287 | 519059 525904 28 | 57.856 % |
215.82/215.89 c | 536998 | 15389 66142 199287 | 519059 526053 28 | 57.856 % |
216.22/216.23 c | 537159 | 15380 66013 198905 | 519059 526060 28 | 57.856 % |
216.32/216.40 c | 537335 | 15380 66013 198905 | 519059 526236 28 | 57.856 % |
216.42/216.49 c | 537530 | 15380 66013 198905 | 519059 526431 28 | 57.856 % |
216.52/216.59 c | 537742 | 15380 66013 198905 | 519059 526643 28 | 57.856 % |
216.62/216.65 c | 537975 | 15380 66013 198905 | 519059 526876 28 | 57.856 % |
216.72/216.76 c | 538232 | 15380 66013 198905 | 519059 527133 28 | 57.856 % |
216.92/216.99 c | 538514 | 15380 66013 198905 | 519059 527415 28 | 57.856 % |
217.22/217.31 c | 538824 | 15380 66013 198905 | 519059 527725 28 | 57.856 % |
217.42/217.48 c | 539163 | 15380 66013 198905 | 519059 528064 28 | 57.856 % |
217.82/217.82 c | 539538 | 15380 66013 198905 | 519059 528439 28 | 57.856 % |
218.02/218.04 c | 539947 | 15380 66013 198905 | 519059 528848 28 | 57.856 % |
218.32/218.38 c | 540398 | 15380 66013 198905 | 528901 529299 28 | 57.856 % |
218.92/218.92 c | 540891 | 15380 66013 198905 | 528901 529792 28 | 57.856 % |
219.32/219.33 c | 541434 | 15380 66013 198905 | 528901 530335 28 | 57.856 % |
219.92/219.97 c | 542030 | 15380 66013 198905 | 528901 530931 28 | 57.856 % |
220.22/220.26 c | 542685 | 15380 66013 198905 | 528901 531586 28 | 57.856 % |
220.82/220.84 c | 543405 | 15380 66013 198905 | 528901 532306 28 | 57.856 % |
221.32/221.34 c | 544197 | 15380 66013 198905 | 528901 533098 28 | 57.856 % |
221.82/221.90 c | 545069 | 15380 66013 198905 | 528901 533970 28 | 57.856 % |
222.52/222.54 c | 546027 | 15380 66013 198905 | 528901 534928 28 | 57.856 % |
223.12/223.17 c | 547082 | 15380 66013 198905 | 528901 535983 28 | 57.856 % |
223.92/223.99 c | 548242 | 15379 66013 198905 | 528901 537142 28 | 57.859 % |
225.02/225.01 c | 549515 | 15379 66013 198905 | 528901 538415 28 | 57.859 % |
225.72/225.79 c | 550915 | 15379 66013 198905 | 538900 539815 28 | 57.859 % |
226.42/226.45 c | 552455 | 15379 66013 198905 | 538900 541355 28 | 57.859 % |
227.32/227.39 c | 554149 | 15378 66013 198905 | 538900 543048 28 | 57.862 % |
228.82/228.89 c | 556012 | 15378 66013 198905 | 538900 544911 28 | 57.862 % |
230.22/230.28 c | 558062 | 15376 66013 198905 | 538900 546960 28 | 57.867 % |
232.22/232.28 c | 560318 | 15374 66013 198905 | 548896 549214 28 | 57.883 % |
233.62/233.64 c | 562798 | 15372 66013 198905 | 548896 551692 28 | 57.889 % |
236.12/236.14 c | 565526 | 15372 66013 198905 | 548896 554420 28 | 57.889 % |
237.52/237.58 c | 568523 | 15372 66013 198905 | 548896 557417 28 | 57.889 % |
241.02/241.08 c | 571820 | 15372 66013 198905 | 558896 560714 28 | 57.889 % |
243.72/243.79 c | 575445 | 15372 66013 198905 | 558896 564339 29 | 57.889 % |
246.92/246.91 c | 579434 | 15370 66013 198905 | 558896 568326 29 | 57.894 % |
249.42/249.47 c | 583819 | 15370 66013 198905 | 568892 572711 29 | 57.894 % |
253.92/253.98 c | 588644 | 15370 66013 198905 | 568892 577536 29 | 57.894 % |
257.32/257.34 c | 593950 | 15370 66013 198905 | 578892 582842 29 | 57.894 % |
257.42/257.41 c | 594050 | 15370 66013 198905 | 578892 582942 29 | 57.894 % |
257.42/257.51 c | 594160 | 15370 66013 198905 | 578892 583052 29 | 57.894 % |
257.62/257.61 c | 594281 | 15370 66013 198905 | 578892 583173 29 | 57.894 % |
257.62/257.70 c | 594415 | 15370 66013 198905 | 578892 583307 29 | 57.894 % |
257.72/257.74 c | 594561 | 15370 66013 198905 | 578892 583453 29 | 57.894 % |
257.92/257.97 c | 594723 | 15370 66013 198905 | 578892 583615 29 | 57.894 % |
258.12/258.11 c | 594899 | 15370 66013 198905 | 578892 583791 29 | 57.894 % |
258.22/258.21 c | 595092 | 15370 66013 198905 | 578892 583984 29 | 57.894 % |
258.52/258.51 c | 595304 | 15370 66013 198905 | 578892 584196 29 | 57.894 % |
258.63/258.68 c | 595537 | 15370 66013 198905 | 578892 584429 29 | 57.894 % |
259.02/259.03 c | 595798 | 15370 66013 198905 | 578892 584690 29 | 57.894 % |
259.22/259.26 c | 596079 | 15370 66013 198905 | 578892 584971 29 | 57.894 % |
259.52/259.57 c | 596390 | 15370 66013 198905 | 578892 585282 29 | 57.894 % |
259.73/259.76 c | 596729 | 15370 66013 198905 | 578892 585621 29 | 57.894 % |
259.92/260.00 c | 597101 | 15369 66013 198905 | 578892 585992 29 | 57.897 % |
260.52/260.52 c | 597511 | 15369 66013 198905 | 578892 586402 29 | 57.897 % |
260.83/260.85 c | 597960 | 15369 66013 198905 | 578892 586851 29 | 57.897 % |
261.22/261.27 c | 598453 | 15369 66013 198905 | 578892 587344 29 | 57.897 % |
261.62/261.61 c | 598995 | 15369 66013 198905 | 578892 587886 29 | 57.897 % |
262.12/262.14 c | 599591 | 15368 66013 198905 | 578892 588481 29 | 57.900 % |
262.72/262.74 c | 600247 | 15368 66013 198905 | 588892 589137 29 | 57.900 % |
263.22/263.30 c | 600967 | 15368 66013 198905 | 588892 589857 29 | 57.900 % |
264.32/264.32 c | 601759 | 15368 66013 198905 | 588892 590649 29 | 57.900 % |
264.82/264.81 c | 602630 | 15368 66013 198905 | 588892 591520 29 | 57.900 % |
265.62/265.67 c | 603588 | 15366 66013 198905 | 588892 592476 29 | 57.905 % |
266.42/266.49 c | 604641 | 15366 66013 198905 | 588892 593529 29 | 57.905 % |
266.92/266.99 c | 605799 | 15366 66013 198905 | 588892 594687 29 | 57.905 % |
267.52/267.57 c | 607072 | 15366 66013 198905 | 588892 595960 29 | 57.905 % |
268.62/268.63 c | 608475 | 15366 66013 198905 | 588892 597363 29 | 57.905 % |
269.72/269.72 c | 610015 | 15366 66013 198905 | 598889 598903 29 | 57.905 % |
271.52/271.53 c | 611709 | 15364 66013 198905 | 598889 600596 29 | 57.911 % |
272.62/272.66 c | 613572 | 15364 66013 198905 | 598889 602459 29 | 57.911 % |
274.82/274.85 c | 615621 | 15362 66013 198905 | 598889 604506 29 | 57.916 % |
276.52/276.56 c | 617876 | 15362 66013 198905 | 598889 606761 29 | 57.916 % |
278.62/278.65 c | 620355 | 15362 66013 198905 | 608885 609240 29 | 57.916 % |
281.53/281.53 c | 623080 | 15362 66013 198905 | 608885 611965 29 | 57.916 % |
285.03/285.04 c | 626077 | 15361 66013 198905 | 608885 614961 30 | 57.919 % |
288.13/288.12 c | 629373 | 15361 66013 198905 | 608885 618257 30 | 57.919 % |
291.73/291.71 c | 632999 | 15357 65894 198576 | 618736 621734 30 | 57.919 % |
294.93/294.99 c | 636986 | 15357 65894 198576 | 618736 625721 30 | 57.919 % |
298.73/298.78 c | 641371 | 15357 65894 198576 | 628735 630106 30 | 57.919 % |
303.43/303.44 c | 646194 | 15357 65894 198576 | 628735 634929 30 | 57.919 % |
308.33/308.37 c | 651499 | 15357 65894 198576 | 638737 640234 31 | 57.919 % |
313.53/313.51 c | 657335 | 15356 65894 198576 | 638737 646069 31 | 57.922 % |
313.53/313.60 c | 657436 | 15356 65894 198576 | 638737 646170 31 | 57.922 % |
313.73/313.71 c | 657546 | 15356 65894 198576 | 638737 646280 31 | 57.922 % |
313.83/313.83 c | 657668 | 15356 65894 198576 | 638737 646402 31 | 57.922 % |
314.03/314.02 c | 657801 | 15356 65894 198576 | 638737 646535 31 | 57.922 % |
314.03/314.09 c | 657947 | 15356 65894 198576 | 638737 646681 31 | 57.922 % |
314.23/314.24 c | 658108 | 15356 65894 198576 | 638737 646842 31 | 57.922 % |
314.43/314.50 c | 658285 | 15356 65894 198576 | 638737 647019 31 | 57.922 % |
314.73/314.76 c | 658478 | 15356 65894 198576 | 638737 647212 31 | 57.922 % |
315.03/315.10 c | 658693 | 15356 65894 198576 | 638737 647427 31 | 57.922 % |
315.33/315.38 c | 658927 | 15356 65894 198576 | 638737 647661 31 | 57.922 % |
315.63/315.65 c | 659183 | 15356 65894 198576 | 638737 647917 31 | 57.922 % |
315.73/315.76 c | 659464 | 15356 65894 198576 | 638737 648198 31 | 57.922 % |
315.93/315.92 c | 659774 | 15356 65894 198576 | 638737 648508 31 | 57.922 % |
316.53/316.55 c | 660113 | 15356 65894 198576 | 648734 648847 31 | 57.922 % |
317.03/317.02 c | 660488 | 15356 65894 198576 | 648734 649222 31 | 57.922 % |
317.43/317.43 c | 660897 | 15356 65894 198576 | 648734 649631 31 | 57.922 % |
317.83/317.90 c | 661346 | 15356 65894 198576 | 648734 650080 31 | 57.922 % |
318.33/318.34 c | 661841 | 15356 65894 198576 | 648734 650575 31 | 57.922 % |
319.03/319.01 c | 662383 | 15356 65894 198576 | 648734 651117 31 | 57.922 % |
319.53/319.52 c | 662980 | 15356 65894 198576 | 648734 651714 31 | 57.922 % |
320.33/320.39 c | 663635 | 15356 65894 198576 | 648734 652369 31 | 57.922 % |
320.63/320.70 c | 664359 | 15356 65894 198576 | 648734 653093 31 | 57.922 % |
321.53/321.52 c | 665153 | 15356 65894 198576 | 648734 653887 31 | 57.922 % |
322.23/322.21 c | 666024 | 15356 65894 198576 | 648734 654758 31 | 57.922 % |
323.23/323.24 c | 666983 | 15356 65894 198576 | 648734 655717 31 | 57.922 % |
324.33/324.40 c | 668037 | 15356 65894 198576 | 648734 656771 31 | 57.922 % |
324.83/324.85 c | 669196 | 15356 65894 198576 | 648734 657930 31 | 57.922 % |
325.23/325.28 c | 670469 | 15356 65894 198576 | 658736 659203 31 | 57.922 % |
326.93/326.94 c | 671870 | 15356 65894 198576 | 658736 660604 31 | 57.922 % |
327.93/327.93 c | 673411 | 15356 65894 198576 | 658736 662145 31 | 57.922 % |
329.83/329.81 c | 675105 | 15356 65894 198576 | 658736 663839 31 | 57.922 % |
332.13/332.12 c | 676969 | 15355 65894 198576 | 658736 665702 31 | 57.925 % |
333.93/334.00 c | 679018 | 15355 65894 198576 | 658736 667751 31 | 57.925 % |
335.83/335.90 c | 681273 | 15355 65894 198576 | 668733 670006 31 | 57.925 % |
336.93/336.99 c | 683752 | 15355 65894 198576 | 668733 672485 31 | 57.925 % |
339.13/339.20 c | 686477 | 15355 65894 198576 | 668733 675210 31 | 57.925 % |
341.33/341.37 c | 689474 | 15355 65894 198576 | 668733 678207 31 | 57.925 % |
343.23/343.24 c | 692770 | 15353 65894 198576 | 678734 681501 31 | 57.930 % |
348.33/348.31 c | 696396 | 15353 65894 198576 | 678734 685127 31 | 57.930 % |
351.63/351.61 c | 700385 | 15351 65894 198576 | 688730 689115 31 | 57.936 % |
357.64/357.62 c | 704774 | 15350 65894 198576 | 688730 693503 31 | 57.938 % |
360.13/360.12 c | 709597 | 15350 65894 198576 | 688730 698326 31 | 57.938 % |
366.04/366.03 c | 714903 | 15350 65894 198576 | 698733 703632 32 | 57.938 % |
373.64/373.66 c | 720739 | 15348 65894 198576 | 708730 709466 32 | 57.944 % |
380.04/380.04 c | 727157 | 15346 65894 198576 | 708730 715882 32 | 57.949 % |
380.14/380.18 c | 727261 | 15346 65894 198576 | 708730 715986 32 | 57.949 % |
380.24/380.31 c | 727371 | 15346 65894 198576 | 708730 716096 32 | 57.949 % |
380.54/380.55 c | 727492 | 15346 65894 198576 | 708730 716217 32 | 57.949 % |
380.84/380.81 c | 727625 | 15346 65894 198576 | 708730 716350 32 | 57.949 % |
380.94/381.00 c | 727773 | 15346 65894 198576 | 708730 716498 32 | 57.949 % |
381.14/381.18 c | 727935 | 15346 65894 198576 | 708730 716660 32 | 57.949 % |
381.34/381.39 c | 728112 | 15346 65894 198576 | 708730 716837 32 | 57.949 % |
381.54/381.53 c | 728305 | 15346 65894 198576 | 708730 717030 32 | 57.949 % |
381.64/381.70 c | 728518 | 15346 65894 198576 | 708730 717243 32 | 57.949 % |
382.04/382.02 c | 728752 | 15346 65894 198576 | 708730 717477 32 | 57.949 % |
382.34/382.33 c | 729008 | 15346 65894 198576 | 708730 717733 32 | 57.949 % |
382.64/382.70 c | 729289 | 15346 65894 198576 | 708730 718014 32 | 57.949 % |
382.94/382.92 c | 729599 | 15346 65894 198576 | 708730 718324 32 | 57.949 % |
383.44/383.42 c | 729939 | 15346 65894 198576 | 708730 718664 32 | 57.949 % |
383.84/383.85 c | 730312 | 15346 65894 198576 | 718725 719037 32 | 57.949 % |
384.34/384.36 c | 730721 | 15346 65894 198576 | 718725 719446 32 | 57.949 % |
384.74/384.81 c | 731170 | 15346 65894 198576 | 718725 719895 32 | 57.949 % |
385.34/385.40 c | 731663 | 15346 65894 198576 | 718725 720388 32 | 57.949 % |
385.64/385.69 c | 732206 | 15346 65894 198576 | 718725 720931 32 | 57.949 % |
386.54/386.51 c | 732803 | 15346 65894 198576 | 718725 721528 32 | 57.949 % |
387.04/387.04 c | 733459 | 15346 65894 198576 | 718725 722184 32 | 57.949 % |
388.04/388.09 c | 734180 | 15346 65894 198576 | 718725 722905 32 | 57.949 % |
388.74/388.73 c | 734972 | 15346 65894 198576 | 718725 723697 32 | 57.949 % |
390.04/390.09 c | 735843 | 15346 65894 198576 | 718725 724568 32 | 57.949 % |
390.74/390.74 c | 736802 | 15346 65894 198576 | 718725 725527 32 | 57.949 % |
391.54/391.52 c | 737855 | 15346 65894 198576 | 718725 726580 32 | 57.949 % |
392.64/392.65 c | 739013 | 15346 65894 198576 | 718725 727738 32 | 57.949 % |
394.44/394.47 c | 740287 | 15345 65894 198576 | 728724 729011 32 | 57.952 % |
395.24/395.23 c | 741687 | 15345 65894 198576 | 728724 730411 32 | 57.952 % |
396.94/396.92 c | 743230 | 15345 65894 198576 | 728724 731954 32 | 57.952 % |
397.44/397.42 c | 744925 | 15345 65894 198576 | 728724 733649 32 | 57.952 % |
399.34/399.32 c | 746789 | 15345 65894 198576 | 728724 735513 32 | 57.952 % |
400.74/400.74 c | 748838 | 15345 65894 198576 | 728724 737562 32 | 57.952 % |
402.84/402.83 c | 751096 | 15345 65894 198576 | 738728 739820 32 | 57.952 % |
405.14/405.12 c | 753575 | 15345 65822 198385 | 738728 742212 32 | 57.952 % |
410.04/410.03 c | 756301 | 15345 65822 198385 | 738728 744938 32 | 57.952 % |
412.94/412.96 c | 759300 | 15345 65822 198385 | 738728 747937 32 | 57.952 % |
419.64/419.61 c | 762597 | 15345 65822 198385 | 748637 751234 33 | 57.952 % |
423.44/423.42 c | 766223 | 15345 65822 198385 | 748637 754860 33 | 57.952 % |
425.94/425.96 c | 770211 | 15345 65822 198385 | 758638 758848 33 | 57.952 % |
432.34/432.38 c | 774596 | 15345 65822 198385 | 758638 763233 33 | 57.952 % |
438.94/439.00 c | 779420 | 15345 65822 198385 | 758638 768057 33 | 57.952 % |
447.85/447.86 c | 784728 | 15345 65822 198385 | 768637 773365 33 | 57.952 % |
453.35/453.34 c | 790563 | 15345 65822 198385 | 778638 779200 33 | 57.952 % |
465.75/465.79 c | 796981 | 15345 65822 198385 | 778638 785618 34 | 57.952 % |
474.35/474.34 c | 804041 | 15345 65822 198385 | 788638 792678 34 | 57.952 % |
474.55/474.51 c | 804142 | 15345 65822 198385 | 788638 792779 34 | 57.952 % |
474.65/474.66 c | 804252 | 15345 65822 198385 | 788638 792889 34 | 57.952 % |
474.85/474.88 c | 804373 | 15345 65822 198385 | 788638 793010 34 | 57.952 % |
474.95/475.00 c | 804506 | 15345 65822 198385 | 788638 793143 34 | 57.952 % |
475.15/475.20 c | 804652 | 15345 65822 198385 | 788638 793289 34 | 57.952 % |
475.45/475.42 c | 804816 | 15345 65822 198385 | 788638 793453 34 | 57.952 % |
475.65/475.64 c | 804994 | 15345 65822 198385 | 788638 793631 34 | 57.952 % |
475.85/475.87 c | 805190 | 15345 65822 198385 | 788638 793827 34 | 57.952 % |
476.05/476.10 c | 805404 | 15345 65822 198385 | 788638 794041 34 | 57.952 % |
476.35/476.41 c | 805639 | 15345 65822 198385 | 788638 794276 34 | 57.952 % |
476.65/476.71 c | 805897 | 15345 65822 198385 | 788638 794534 34 | 57.952 % |
476.85/476.88 c | 806178 | 15345 65822 198385 | 788638 794815 34 | 57.952 % |
477.15/477.13 c | 806488 | 15345 65822 198385 | 788638 795125 34 | 57.952 % |
478.14/478.16 c | 806828 | 15345 65822 198385 | 788638 795465 34 | 57.952 % |
478.54/478.53 c | 807200 | 15345 65822 198385 | 788638 795837 34 | 57.952 % |
478.94/478.92 c | 807609 | 15345 65822 198385 | 788638 796246 34 | 57.952 % |
479.44/479.41 c | 808058 | 15345 65822 198385 | 788638 796695 34 | 57.952 % |
479.84/479.85 c | 808551 | 15345 65822 198385 | 788638 797188 34 | 57.952 % |
480.24/480.28 c | 809094 | 15345 65822 198385 | 788638 797731 34 | 57.952 % |
480.84/480.81 c | 809691 | 15345 65822 198385 | 788638 798328 34 | 57.952 % |
481.64/481.66 c | 810348 | 15344 65822 198385 | 798636 798984 34 | 57.955 % |
482.94/482.90 c | 811069 | 15344 65822 198385 | 798636 799705 34 | 57.955 % |
484.34/484.34 c | 811862 | 15344 65822 198385 | 798636 800498 34 | 57.955 % |
485.04/485.03 c | 812734 | 15344 65822 198385 | 798636 801370 34 | 57.955 % |
486.24/486.22 c | 813692 | 15344 65822 198385 | 798636 802328 34 | 57.955 % |
487.55/487.52 c | 814748 | 15344 65822 198385 | 798636 803384 34 | 57.955 % |
490.25/490.22 c | 815907 | 15344 65822 198385 | 798636 804543 34 | 57.955 % |
492.15/492.12 c | 817180 | 15344 65822 198385 | 798636 805816 34 | 57.955 % |
493.45/493.50 c | 818580 | 15344 65822 198385 | 798636 807216 34 | 57.955 % |
495.25/495.23 c | 820120 | 15344 65822 198385 | 808637 808756 34 | 57.955 % |
497.65/497.66 c | 821814 | 15344 65822 198385 | 808637 810450 34 | 57.955 % |
500.55/500.60 c | 823677 | 15343 65822 198385 | 808637 812312 34 | 57.957 % |
503.15/503.13 c | 825727 | 15343 65822 198385 | 808637 814362 34 | 57.957 % |
506.75/506.72 c | 827980 | 15343 65822 198385 | 808637 816615 34 | 57.957 % |
509.35/509.31 c | 830459 | 15343 65822 198385 | 818635 819094 34 | 57.957 % |
510.85/510.86 c | 833185 | 15343 65822 198385 | 818635 821820 34 | 57.957 % |
513.35/513.37 c | 836183 | 15343 65822 198385 | 818635 824818 34 | 57.957 % |
514.96/514.99 c | 839479 | 15343 65822 198385 | 818635 828114 34 | 57.957 % |
518.75/518.72 c | 843104 | 15343 65822 198385 | 828637 831739 34 | 57.957 % |
523.15/523.13 c | 847091 | 15343 65822 198385 | 828637 835726 34 | 57.957 % |
529.76/529.72 c | 851476 | 15343 65822 198385 | 838635 840111 34 | 57.957 % |
537.46/537.51 c | 856300 | 15343 65822 198385 | 838635 844935 34 | 57.957 % |
541.26/541.26 c | 861606 | 15342 65822 198385 | 848635 850240 34 | 57.960 % |
545.36/545.39 c | 867441 | 15340 65822 198385 | 848635 856073 34 | 57.966 % |
552.16/552.17 c | 873859 | 15340 65822 198385 | 858634 862491 34 | 57.966 % |
560.46/560.44 c | 880918 | 15339 65822 198385 | 868633 869549 34 | 57.968 % |
567.06/567.07 c | 888682 | 15338 65822 198385 | 868633 877312 34 | 57.971 % |
567.16/567.20 c | 888784 | 15338 65822 198385 | 868633 877414 34 | 57.971 % |
567.36/567.41 c | 888894 | 15338 65822 198385 | 868633 877524 34 | 57.971 % |
567.76/567.73 c | 889017 | 15338 65822 198385 | 868633 877647 34 | 57.971 % |
567.96/567.93 c | 889152 | 15338 65822 198385 | 868633 877782 34 | 57.971 % |
568.16/568.21 c | 889298 | 15338 65822 198385 | 868633 877928 34 | 57.971 % |
568.56/568.58 c | 889462 | 15338 65822 198385 | 868633 878092 34 | 57.971 % |
568.86/568.82 c | 889639 | 15338 65822 198385 | 868633 878269 34 | 57.971 % |
569.26/569.24 c | 889832 | 15338 65822 198385 | 868633 878462 34 | 57.971 % |
569.76/569.79 c | 890046 | 15338 65822 198385 | 878630 878676 34 | 57.971 % |
570.16/570.12 c | 890280 | 15338 65822 198385 | 878630 878910 34 | 57.971 % |
570.46/570.43 c | 890537 | 15338 65822 198385 | 878630 879167 34 | 57.971 % |
570.86/570.86 c | 890818 | 15338 65822 198385 | 878630 879448 34 | 57.971 % |
571.56/571.53 c | 891127 | 15338 65822 198385 | 878630 879757 34 | 57.971 % |
571.96/571.94 c | 891467 | 15338 65822 198385 | 878630 880097 34 | 57.971 % |
572.46/572.49 c | 891840 | 15338 65822 198385 | 878630 880470 34 | 57.971 % |
572.86/572.81 c | 892251 | 15338 65822 198385 | 878630 880881 34 | 57.971 % |
573.36/573.34 c | 892700 | 15338 65822 198385 | 878630 881330 34 | 57.971 % |
574.06/574.04 c | 893194 | 15338 65822 198385 | 878630 881824 34 | 57.971 % |
574.86/574.88 c | 893737 | 15338 65822 198385 | 878630 882367 34 | 57.971 % |
575.47/575.45 c | 894333 | 15338 65822 198385 | 878630 882963 34 | 57.971 % |
576.76/576.79 c | 894988 | 15338 65822 198385 | 878630 883618 34 | 57.971 % |
577.76/577.79 c | 895709 | 15338 65822 198385 | 878630 884339 34 | 57.971 % |
579.66/579.70 c | 896501 | 15338 65822 198385 | 878630 885131 34 | 57.971 % |
580.86/580.88 c | 897373 | 15336 65822 198385 | 878630 886001 34 | 57.977 % |
582.66/582.63 c | 898332 | 15336 65822 198385 | 878630 886960 34 | 57.977 % |
584.46/584.44 c | 899386 | 15336 65768 198241 | 878630 887954 34 | 57.977 % |
586.26/586.30 c | 900544 | 15336 65768 198241 | 888570 889112 35 | 57.977 % |
588.16/588.19 c | 901818 | 15336 65768 198241 | 888570 890386 35 | 57.977 % |
592.66/592.68 c | 903219 | 15336 65768 198241 | 888570 891787 35 | 57.977 % |
595.36/595.33 c | 904760 | 15336 65768 198241 | 888570 893328 35 | 57.977 % |
596.56/596.61 c | 906456 | 15336 65768 198241 | 888570 895024 35 | 57.977 % |
599.76/599.73 c | 908320 | 15336 65768 198241 | 888570 896888 35 | 57.977 % |
601.16/601.14 c | 910370 | 15336 65768 198241 | 898569 898938 35 | 57.977 % |
603.96/603.99 c | 912623 | 15336 65768 198241 | 898569 901191 35 | 57.977 % |
606.56/606.51 c | 915101 | 15336 65768 198241 | 898569 903669 35 | 57.977 % |
608.37/608.34 c | 917826 | 15336 65768 198241 | 898569 906394 35 | 57.977 % |
615.77/615.73 c | 920823 | 15336 65768 198241 | 908569 909391 35 | 57.977 % |
620.27/620.32 c | 924119 | 15336 65768 198241 | 908569 912687 35 | 57.977 % |
623.97/623.95 c | 927745 | 15336 65768 198241 | 908569 916313 35 | 57.977 % |
627.97/627.95 c | 931735 | 15333 65768 198241 | 918567 920301 35 | 57.985 % |
633.07/633.05 c | 936120 | 15332 65768 198241 | 918567 924685 36 | 57.988 % |
638.47/638.51 c | 940943 | 15332 65768 198241 | 928566 929508 36 | 57.988 % |
647.27/647.31 c | 946248 | 15332 65768 198241 | 928566 934813 36 | 57.988 % |
653.67/653.65 c | 952084 | 15331 65768 198241 | 938564 940648 36 | 57.990 % |
658.77/658.77 c | 958504 | 15331 65768 198241 | 938564 947068 36 | 57.990 % |
670.57/670.60 c | 965563 | 15331 65768 198241 | 948564 954127 36 | 57.990 % |
682.07/682.04 c | 973327 | 15331 65768 198241 | 958564 961891 37 | 57.990 % |
694.08/694.05 c | 981868 | 15330 65768 198241 | 968564 970431 37 | 57.993 % |
694.28/694.27 c | 981968 | 15330 65768 198241 | 968564 970531 37 | 57.993 % |
694.48/694.45 c | 982078 | 15330 65768 198241 | 968564 970641 37 | 57.993 % |
694.68/694.65 c | 982200 | 15330 65768 198241 | 968564 970763 37 | 57.993 % |
694.98/695.01 c | 982333 | 15330 65768 198241 | 968564 970896 37 | 57.993 % |
695.28/695.29 c | 982479 | 15330 65768 198241 | 968564 971042 37 | 57.993 % |
695.68/695.69 c | 982639 | 15330 65768 198241 | 968564 971202 37 | 57.993 % |
696.08/696.08 c | 982818 | 15330 65768 198241 | 968564 971381 37 | 57.993 % |
696.38/696.36 c | 983011 | 15330 65768 198241 | 968564 971574 37 | 57.993 % |
696.68/696.71 c | 983223 | 15330 65768 198241 | 968564 971786 37 | 57.993 % |
697.18/697.17 c | 983456 | 15330 65768 198241 | 968564 972019 37 | 57.993 % |
697.88/697.85 c | 983712 | 15330 65768 198241 | 968564 972275 37 | 57.993 % |
698.68/698.71 c | 983993 | 15330 65768 198241 | 968564 972556 37 | 57.993 % |
699.18/699.22 c | 984304 | 15330 65768 198241 | 968564 972867 37 | 57.993 % |
699.78/699.78 c | 984643 | 15330 65768 198241 | 968564 973206 37 | 57.993 % |
700.38/700.39 c | 985015 | 15330 65768 198241 | 968564 973578 37 | 57.993 % |
701.68/701.63 c | 985424 | 15330 65768 198241 | 968564 973987 37 | 57.993 % |
701.98/701.95 c | 985874 | 15330 65768 198241 | 968564 974437 37 | 57.993 % |
702.28/702.30 c | 986367 | 15330 65768 198241 | 968564 974930 37 | 57.993 % |
703.28/703.27 c | 986909 | 15330 65768 198241 | 968564 975472 37 | 57.993 % |
704.28/704.28 c | 987506 | 15330 65768 198241 | 968564 976069 37 | 57.993 % |
704.78/704.74 c | 988162 | 15330 65768 198241 | 968564 976725 37 | 57.993 % |
706.08/706.10 c | 988883 | 15330 65768 198241 | 968564 977446 37 | 57.993 % |
707.48/707.51 c | 989675 | 15330 65768 198241 | 968564 978238 37 | 57.993 % |
708.78/708.75 c | 990546 | 15330 65768 198241 | 978565 979109 37 | 57.993 % |
710.38/710.41 c | 991504 | 15328 65768 198241 | 978565 980066 37 | 58.007 % |
713.28/713.28 c | 992559 | 15328 65768 198241 | 978565 981121 37 | 58.007 % |
714.68/714.71 c | 993719 | 15328 65768 198241 | 978565 982281 37 | 58.007 % |
716.58/716.56 c | 994992 | 15328 65768 198241 | 978565 983554 37 | 58.007 % |
718.78/718.75 c | 996392 | 15328 65768 198241 | 978565 984954 37 | 58.007 % |
719.98/719.94 c | 997936 | 15328 65768 198241 | 978565 986498 37 | 58.007 % |
721.58/721.61 c | 999630 | 15327 65768 198241 | 978565 988191 37 | 58.010 % |
722.68/722.65 c | 1001493 | 15327 65768 198241 | 988561 990054 37 | 58.010 % |
726.58/726.52 c | 1003543 | 15326 65768 198241 | 988561 992103 37 | 58.012 % |
729.98/730.01 c | 1005799 | 15326 65768 198241 | 988561 994359 37 | 58.012 % |
733.58/733.56 c | 1008279 | 15324 65768 198241 | 988561 996837 37 | 58.018 % |
738.58/738.57 c | 1011008 | 15324 65768 198241 | 998558 999566 37 | 58.018 % |
743.98/744.01 c | 1014005 | 15323 65768 198241 | 998558 1002562 37 | 58.020 % |
749.08/749.03 c | 1017304 | 15323 65768 198241 | 998558 1005861 37 | 58.020 % |
755.98/755.93 c | 1020932 | 15323 65768 198241 | 1008559 1009489 37 | 58.020 % |
758.68/758.69 c | 1024921 | 15323 65768 198241 | 1008559 1013478 37 | 58.020 % |
767.68/767.68 c | 1029307 | 15323 65768 198241 | 1008559 1017864 38 | 58.020 % |
774.79/774.73 c | 1034130 | 15323 65768 198241 | 1018557 1022687 38 | 58.020 % |
783.99/783.95 c | 1039436 | 15323 65768 198241 | 1018557 1027993 38 | 58.020 % |
793.89/793.86 c | 1045271 | 15323 65768 198241 | 1028557 1033828 38 | 58.020 % |
809.39/809.36 c | 1051691 | 15323 65768 198241 | 1038557 1040248 38 | 58.020 % |
816.59/816.59 c | 1058751 | 15321 65768 198241 | 1038557 1047307 38 | 58.026 % |
831.59/831.55 c | 1066518 | 15320 65768 198241 | 1048558 1055074 38 | 58.026 % |
843.08/843.04 c | 1075059 | 15317 65677 197988 | 1058556 1063542 38 | 58.029 % |
859.49/859.45 c | 1084455 | 15316 65677 197988 | 1068485 1072937 38 | 58.031 % |
859.69/859.67 c | 1084555 | 15316 65677 197988 | 1068485 1073037 38 | 58.031 % |
860.09/860.05 c | 1084665 | 15316 65677 197988 | 1068485 1073147 38 | 58.031 % |
860.39/860.38 c | 1084786 | 15316 65677 197988 | 1068485 1073268 38 | 58.031 % |
860.79/860.78 c | 1084919 | 15316 65677 197988 | 1068485 1073401 38 | 58.031 % |
860.99/860.93 c | 1085067 | 15316 65677 197988 | 1068485 1073549 38 | 58.031 % |
861.19/861.17 c | 1085228 | 15316 65677 197988 | 1068485 1073710 38 | 58.031 % |
861.69/861.64 c | 1085405 | 15316 65677 197988 | 1068485 1073887 38 | 58.031 % |
861.99/861.99 c | 1085598 | 15316 65677 197988 | 1068485 1074080 38 | 58.031 % |
862.49/862.46 c | 1085810 | 15316 65677 197988 | 1068485 1074292 38 | 58.031 % |
862.89/862.89 c | 1086043 | 15316 65677 197988 | 1068485 1074525 38 | 58.031 % |
863.59/863.52 c | 1086299 | 15316 65677 197988 | 1068485 1074781 38 | 58.031 % |
864.09/864.08 c | 1086581 | 15316 65677 197988 | 1068485 1075063 38 | 58.031 % |
864.79/864.74 c | 1086890 | 15316 65677 197988 | 1068485 1075372 38 | 58.031 % |
865.19/865.11 c | 1087231 | 15316 65677 197988 | 1068485 1075713 38 | 58.031 % |
865.89/865.87 c | 1087604 | 15316 65677 197988 | 1068485 1076086 38 | 58.031 % |
866.69/866.67 c | 1088013 | 15316 65677 197988 | 1068485 1076495 38 | 58.031 % |
867.39/867.38 c | 1088465 | 15316 65677 197988 | 1068485 1076947 38 | 58.031 % |
867.89/867.88 c | 1088959 | 15316 65677 197988 | 1068485 1077441 38 | 58.031 % |
869.09/869.08 c | 1089503 | 15316 65677 197988 | 1068485 1077985 38 | 58.031 % |
869.99/870.00 c | 1090100 | 15316 65677 197988 | 1078483 1078582 38 | 58.031 % |
871.39/871.35 c | 1090758 | 15316 65677 197988 | 1078483 1079240 38 | 58.031 % |
872.59/872.59 c | 1091480 | 15316 65677 197988 | 1078483 1079962 38 | 58.031 % |
874.19/874.18 c | 1092274 | 15316 65677 197988 | 1078483 1080756 38 | 58.031 % |
875.19/875.19 c | 1093145 | 15316 65677 197988 | 1078483 1081627 38 | 58.031 % |
876.49/876.44 c | 1094103 | 15316 65677 197988 | 1078483 1082585 38 | 58.031 % |
877.49/877.51 c | 1095157 | 15316 65677 197988 | 1078483 1083639 38 | 58.031 % |
879.59/879.54 c | 1096315 | 15316 65677 197988 | 1078483 1084797 38 | 58.031 % |
880.89/880.81 c | 1097589 | 15316 65677 197988 | 1078483 1086071 38 | 58.031 % |
884.29/884.31 c | 1098989 | 15316 65677 197988 | 1078483 1087471 38 | 58.031 % |
887.79/887.73 c | 1100530 | 15316 65677 197988 | 1088483 1089012 38 | 58.031 % |
891.19/891.19 c | 1102224 | 15315 65677 197988 | 1088483 1090705 38 | 58.034 % |
894.69/894.67 c | 1104089 | 15312 65677 197988 | 1088483 1092568 38 | 58.042 % |
898.09/898.02 c | 1106138 | 15312 65677 197988 | 1088483 1094617 38 | 58.042 % |
903.79/903.72 c | 1108391 | 15312 65677 197988 | 1088483 1096870 38 | 58.042 % |
906.99/906.97 c | 1110870 | 15312 65677 197988 | 1098479 1099349 38 | 58.042 % |
909.19/909.13 c | 1113598 | 15312 65677 197988 | 1098479 1102077 38 | 58.042 % |
911.39/911.34 c | 1116595 | 15312 65677 197988 | 1098479 1105074 38 | 58.042 % |
916.19/916.18 c | 1119892 | 15312 65677 197988 | 1098479 1108371 38 | 58.042 % |
919.59/919.56 c | 1123517 | 15312 65677 197988 | 1108479 1111996 38 | 58.042 % |
924.09/924.02 c | 1127504 | 15312 65677 197988 | 1108479 1115983 38 | 58.042 % |
936.30/936.23 c | 1131890 | 15312 65677 197988 | 1118479 1120369 39 | 58.042 % |
941.80/941.75 c | 1136714 | 15309 65677 197988 | 1118479 1125192 39 | 58.051 % |
947.70/947.64 c | 1142020 | 15309 65677 197988 | 1128479 1130498 39 | 58.051 % |
963.60/963.55 c | 1147855 | 15309 65677 197988 | 1128479 1136333 39 | 58.051 % |
977.20/977.13 c | 1154274 | 15309 65677 197988 | 1138478 1142752 39 | 58.051 % |
988.90/988.82 c | 1161335 | 15309 65677 197988 | 1148479 1149813 39 | 58.051 % |
1005.80/1005.77 c | 1169099 | 15308 65677 197988 | 1148479 1157576 39 | 58.053 % |
1018.81/1018.74 c | 1177639 | 15308 65677 197988 | 1158478 1166116 40 | 58.053 % |
1029.51/1029.44 c | 1187033 | 15308 65677 197988 | 1168479 1175510 40 | 58.053 % |
1059.91/1059.84 c | 1197367 | 15306 65677 197988 | 1178477 1185842 40 | 58.059 % |
1060.21/1060.15 c | 1197468 | 15306 65677 197988 | 1178477 1185943 40 | 58.059 % |
1060.41/1060.38 c | 1197579 | 15306 65677 197988 | 1178477 1186054 40 | 58.059 % |
1060.91/1060.85 c | 1197700 | 15306 65677 197988 | 1178477 1186175 40 | 58.059 % |
1061.21/1061.15 c | 1197833 | 15306 65677 197988 | 1178477 1186308 40 | 58.059 % |
1061.51/1061.51 c | 1197979 | 15306 65677 197988 | 1178477 1186454 40 | 58.059 % |
1061.91/1061.87 c | 1198140 | 15306 65677 197988 | 1178477 1186615 40 | 58.059 % |
1062.31/1062.28 c | 1198317 | 15306 65677 197988 | 1178477 1186792 40 | 58.059 % |
1062.51/1062.47 c | 1198510 | 15306 65677 197988 | 1178477 1186985 40 | 58.059 % |
1062.91/1062.86 c | 1198723 | 15306 65677 197988 | 1178477 1187198 40 | 58.059 % |
1063.41/1063.32 c | 1198958 | 15306 65677 197988 | 1178477 1187433 40 | 58.059 % |
1064.01/1063.93 c | 1199215 | 15306 65677 197988 | 1178477 1187690 40 | 58.059 % |
1064.41/1064.37 c | 1199497 | 15306 65677 197988 | 1178477 1187972 40 | 58.059 % |
1065.31/1065.30 c | 1199807 | 15305 65677 197988 | 1178477 1188281 40 | 58.062 % |
1066.21/1066.16 c | 1200146 | 15305 65677 197988 | 1188475 1188620 40 | 58.062 % |
1066.51/1066.47 c | 1200518 | 15305 65677 197988 | 1188475 1188992 40 | 58.062 % |
1067.51/1067.50 c | 1200927 | 15305 65677 197988 | 1188475 1189401 40 | 58.062 % |
1068.61/1068.58 c | 1201378 | 15305 65677 197988 | 1188475 1189852 40 | 58.062 % |
1069.11/1069.06 c | 1201871 | 15305 65677 197988 | 1188475 1190345 40 | 58.062 % |
1070.01/1070.01 c | 1202413 | 15305 65677 197988 | 1188475 1190887 40 | 58.062 % |
1071.11/1071.07 c | 1203010 | 15305 65677 197988 | 1188475 1191484 40 | 58.062 % |
1072.21/1072.20 c | 1203665 | 15305 65677 197988 | 1188475 1192139 40 | 58.062 % |
1074.11/1074.04 c | 1204385 | 15305 65677 197988 | 1188475 1192859 40 | 58.062 % |
1076.02/1075.97 c | 1205177 | 15305 65677 197988 | 1188475 1193651 40 | 58.062 % |
1076.81/1076.77 c | 1206049 | 15305 65677 197988 | 1188475 1194523 40 | 58.062 % |
1079.61/1079.55 c | 1207009 | 15305 65677 197988 | 1188475 1195483 40 | 58.062 % |
1080.91/1080.87 c | 1208063 | 15305 65677 197988 | 1188475 1196537 40 | 58.062 % |
1084.61/1084.54 c | 1209221 | 15305 65677 197988 | 1188475 1197695 40 | 58.062 % |
1086.01/1085.97 c | 1210494 | 15305 65677 197988 | 1198476 1198968 41 | 58.062 % |
1087.81/1087.79 c | 1211894 | 15305 65677 197988 | 1198476 1200368 41 | 58.062 % |
1090.81/1090.77 c | 1213436 | 15305 65677 197988 | 1198476 1201910 41 | 58.062 % |
1094.51/1094.42 c | 1215130 | 15305 65677 197988 | 1198476 1203604 41 | 58.062 % |
1095.82/1095.76 c | 1216996 | 15305 65677 197988 | 1198476 1205470 41 | 58.062 % |
1100.42/1100.40 c | 1219045 | 15305 65677 197988 | 1198476 1207519 41 | 58.062 % |
1104.42/1104.35 c | 1221298 | 15305 65677 197988 | 1208475 1209772 41 | 58.062 % |
1109.72/1109.65 c | 1223777 | 15305 65677 197988 | 1208475 1212251 41 | 58.062 % |
1112.02/1111.92 c | 1226503 | 15305 65677 197988 | 1208475 1214977 41 | 58.062 % |
1123.42/1123.41 c | 1229501 | 15305 65677 197988 | 1208475 1217975 41 | 58.062 % |
1131.82/1131.80 c | 1232798 | 15305 65677 197988 | 1218474 1221272 41 | 58.062 % |
1142.42/1142.40 c | 1236423 | 15305 65677 197988 | 1218474 1224897 41 | 58.062 % |
1153.92/1153.84 c | 1240412 | 15304 65677 197988 | 1228476 1228885 41 | 58.064 % |
1160.22/1160.17 c | 1244799 | 15304 65677 197988 | 1228476 1233272 41 | 58.064 % |
1168.92/1168.89 c | 1249622 | 15304 65677 197988 | 1228476 1238095 42 | 58.064 % |
1179.72/1179.65 c | 1254930 | 15302 65677 197988 | 1238474 1243401 42 | 58.070 % |
1193.42/1193.41 c | 1260765 | 15302 65677 197988 | 1248471 1249236 42 | 58.070 % |
runsolver version 3.2.9 (svn:503) (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w /tmp/evaluation-result-1821028-1242498946/watcher-1821028-1242498946 -o /tmp/evaluation-result-1821028-1242498946/solver-1821028-1242498946 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1821028-1242498946.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: 8192 KiB
[startup+0 s]
/proc/loadavg: 0.97 1.04 0.99 2/93 12337
/proc/meminfo: memFree=965776/2074464 swapFree=1951864/1959888
[pid=12337] ppid=12335 vsize=2416 CPUtime=0.02
/proc/12337/stat : 12337 (SatELiteGTI) S 12335 12337 20977 0 -1 4194304 367 647 0 0 0 0 1 1 25 0 1 0 1014395715 2473984 277 4294967295 134512640 135169312 3213864016 3213862552 3084902126 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/12337/statm: 604 277 235 161 0 43 0
[pid=12341] ppid=12337 vsize=816 CPUtime=0
/proc/12341/stat : 12341 (SatELite_releas) R 12337 12337 20977 0 -1 4202496 82 0 0 0 0 0 0 0 25 0 1 0 1014395715 835584 18 4294967295 134512640 135223648 3216695024 3216694840 134744192 0 0 0 0 0 0 0 17 0 0 0 0
/proc/12341/statm: 237 33 26 174 0 62 0
[startup+0.113106 s]
/proc/loadavg: 0.97 1.04 0.99 2/93 12337
/proc/meminfo: memFree=965776/2074464 swapFree=1951864/1959888
[pid=12337] ppid=12335 vsize=2416 CPUtime=0.02
/proc/12337/stat : 12337 (SatELiteGTI) S 12335 12337 20977 0 -1 4194304 367 647 0 0 0 0 1 1 25 0 1 0 1014395715 2473984 277 4294967295 134512640 135169312 3213864016 3213862552 3084902126 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/12337/statm: 604 277 235 161 0 43 0
[pid=12341] ppid=12337 vsize=18016 CPUtime=0.11
/proc/12341/stat : 12341 (SatELite_releas) R 12337 12337 20977 0 -1 4202496 3917 0 0 0 11 0 0 0 25 0 1 0 1014395715 18448384 3853 4294967295 134512640 135223648 3216695024 3216693904 134543504 0 0 0 3 0 0 0 17 0 0 0 0
/proc/12341/statm: 4504 3855 46 174 0 4329 0
Current children cumulated CPU time (s) 0.13
Current children cumulated vsize (KiB) 20432
[startup+0.213095 s]
/proc/loadavg: 0.97 1.04 0.99 2/93 12337
/proc/meminfo: memFree=965776/2074464 swapFree=1951864/1959888
[pid=12337] ppid=12335 vsize=2416 CPUtime=0.02
/proc/12337/stat : 12337 (SatELiteGTI) S 12335 12337 20977 0 -1 4194304 367 647 0 0 0 0 1 1 25 0 1 0 1014395715 2473984 277 4294967295 134512640 135169312 3213864016 3213862552 3084902126 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/12337/statm: 604 277 235 161 0 43 0
[pid=12341] ppid=12337 vsize=34168 CPUtime=0.21
/proc/12341/stat : 12341 (SatELite_releas) R 12337 12337 20977 0 -1 4202496 7507 0 0 0 19 2 0 0 25 0 1 0 1014395715 34988032 6957 4294967295 134512640 135223648 3216695024 3216692176 134577142 0 0 0 3 0 0 0 17 0 0 0 0
/proc/12341/statm: 8542 6957 71 174 0 8367 0
Current children cumulated CPU time (s) 0.23
Current children cumulated vsize (KiB) 36584
[startup+0.313086 s]
/proc/loadavg: 0.97 1.04 0.99 2/93 12337
/proc/meminfo: memFree=965776/2074464 swapFree=1951864/1959888
[pid=12337] ppid=12335 vsize=2416 CPUtime=0.02
/proc/12337/stat : 12337 (SatELiteGTI) S 12335 12337 20977 0 -1 4194304 367 647 0 0 0 0 1 1 25 0 1 0 1014395715 2473984 277 4294967295 134512640 135169312 3213864016 3213862552 3084902126 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/12337/statm: 604 277 235 161 0 43 0
[pid=12341] ppid=12337 vsize=38924 CPUtime=0.31
/proc/12341/stat : 12341 (SatELite_releas) R 12337 12337 20977 0 -1 4202496 8640 0 0 0 27 4 0 0 25 0 1 0 1014395715 39858176 7948 4294967295 134512640 135223648 3216695024 3216693040 134586740 0 0 0 3 0 0 0 17 0 0 0 0
/proc/12341/statm: 9731 7948 73 174 0 9556 0
Current children cumulated CPU time (s) 0.33
Current children cumulated vsize (KiB) 41340
[startup+0.713047 s]
/proc/loadavg: 0.97 1.04 0.99 2/93 12337
/proc/meminfo: memFree=965776/2074464 swapFree=1951864/1959888
[pid=12337] ppid=12335 vsize=2416 CPUtime=0.02
/proc/12337/stat : 12337 (SatELiteGTI) S 12335 12337 20977 0 -1 4194304 367 647 0 0 0 0 1 1 25 0 1 0 1014395715 2473984 277 4294967295 134512640 135169312 3213864016 3213862552 3084902126 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/12337/statm: 604 277 235 161 0 43 0
[pid=12341] ppid=12337 vsize=44848 CPUtime=0.71
/proc/12341/stat : 12341 (SatELite_releas) R 12337 12337 20977 0 -1 4202496 10108 0 0 0 65 6 0 0 25 0 1 0 1014395715 45924352 9416 4294967295 134512640 135223648 3216695024 3216692880 134709529 0 0 0 3 0 0 0 17 0 0 0 0
/proc/12341/statm: 11212 9416 73 174 0 11037 0
Current children cumulated CPU time (s) 0.73
Current children cumulated vsize (KiB) 47264
[startup+1.51297 s]
/proc/loadavg: 0.97 1.04 0.99 3/95 12342
/proc/meminfo: memFree=925560/2074464 swapFree=1951864/1959888
[pid=12337] ppid=12335 vsize=2416 CPUtime=0.02
/proc/12337/stat : 12337 (SatELiteGTI) S 12335 12337 20977 0 -1 4194304 367 647 0 0 0 0 1 1 25 0 1 0 1014395715 2473984 277 4294967295 134512640 135169312 3213864016 3213862552 3084902126 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/12337/statm: 604 277 235 161 0 43 0
[pid=12341] ppid=12337 vsize=45940 CPUtime=1.51
/proc/12341/stat : 12341 (SatELite_releas) R 12337 12337 20977 0 -1 4202496 10356 0 0 0 145 6 0 0 25 0 1 0 1014395715 47042560 9522 4294967295 134512640 135223648 3216695024 3216693120 134585544 0 0 0 3 0 0 0 17 0 0 0 0
/proc/12341/statm: 11485 9522 73 174 0 11310 0
Current children cumulated CPU time (s) 1.53
Current children cumulated vsize (KiB) 48356
[startup+3.11282 s]
/proc/loadavg: 0.97 1.04 0.99 2/95 12343
/proc/meminfo: memFree=948500/2074464 swapFree=1951864/1959888
[pid=12337] ppid=12335 vsize=2420 CPUtime=1.78
/proc/12337/stat : 12337 (SatELiteGTI) S 12335 12337 20977 0 -1 4194304 386 11077 0 0 0 0 171 7 18 0 1 0 1014395715 2478080 278 4294967295 134512640 135169312 3213864016 3213860232 3084902126 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/12337/statm: 605 278 235 161 0 44 0
[pid=12343] ppid=12337 vsize=12228 CPUtime=1.34
/proc/12343/stat : 12343 (minisat_static) R 12337 12337 20977 0 -1 4202496 2888 0 0 0 130 4 0 0 25 0 1 0 1014395892 12521472 2820 4294967295 134512640 135215339 3220112016 3220110304 134528630 0 0 0 3 0 0 0 17 1 0 0 0
/proc/12343/statm: 3057 2820 73 172 0 2884 0
Current children cumulated CPU time (s) 3.12
Current children cumulated vsize (KiB) 14648
[startup+6.31249 s]
/proc/loadavg: 1.05 1.06 1.00 2/95 12526
/proc/meminfo: memFree=947040/2074464 swapFree=1951864/1959888
[pid=12337] ppid=12335 vsize=2420 CPUtime=1.78
/proc/12337/stat : 12337 (SatELiteGTI) S 12335 12337 20977 0 -1 4194304 386 11077 0 0 0 0 171 7 18 0 1 0 1014395715 2478080 278 4294967295 134512640 135169312 3213864016 3213860232 3084902126 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/12337/statm: 605 278 235 161 0 44 0
[pid=12343] ppid=12337 vsize=12836 CPUtime=4.52
/proc/12343/stat : 12343 (minisat_static) R 12337 12337 20977 0 -1 4202496 3006 0 0 0 447 5 0 0 25 0 1 0 1014395892 13144064 2938 4294967295 134512640 135215339 3220112016 3220110112 134527367 0 0 0 3 0 0 0 17 3 0 0 0
/proc/12343/statm: 3209 2938 73 172 0 3036 0
Current children cumulated CPU time (s) 6.3
Current children cumulated vsize (KiB) 15256
[startup+12.7119 s]
/proc/loadavg: 1.04 1.05 1.00 2/95 12526
/proc/meminfo: memFree=946292/2074464 swapFree=1951864/1959888
[pid=12337] ppid=12335 vsize=2420 CPUtime=1.78
/proc/12337/stat : 12337 (SatELiteGTI) S 12335 12337 20977 0 -1 4194304 386 11077 0 0 0 0 171 7 18 0 1 0 1014395715 2478080 278 4294967295 134512640 135169312 3213864016 3213860232 3084902126 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/12337/statm: 605 278 235 161 0 44 0
[pid=12343] ppid=12337 vsize=13664 CPUtime=10.92
/proc/12343/stat : 12343 (minisat_static) R 12337 12337 20977 0 -1 4202496 3240 0 0 0 1087 5 0 0 25 0 1 0 1014395892 13991936 3172 4294967295 134512640 135215339 3220112016 3220110304 134528748 0 0 0 3 0 0 0 17 3 0 0 0
/proc/12343/statm: 3416 3172 73 172 0 3243 0
Current children cumulated CPU time (s) 12.7
Current children cumulated vsize (KiB) 16084
[startup+25.5106 s]
/proc/loadavg: 1.03 1.05 1.00 2/95 12528
/proc/meminfo: memFree=943256/2074464 swapFree=1951864/1959888
[pid=12337] ppid=12335 vsize=2420 CPUtime=1.78
/proc/12337/stat : 12337 (SatELiteGTI) S 12335 12337 20977 0 -1 4194304 386 11077 0 0 0 0 171 7 18 0 1 0 1014395715 2478080 278 4294967295 134512640 135169312 3213864016 3213860232 3084902126 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/12337/statm: 605 278 235 161 0 44 0
[pid=12343] ppid=12337 vsize=16768 CPUtime=23.72
/proc/12343/stat : 12343 (minisat_static) R 12337 12337 20977 0 -1 4202496 4000 0 0 0 2365 7 0 0 25 0 1 0 1014395892 17170432 3932 4294967295 134512640 135215339 3220112016 3220110304 134528863 0 0 0 3 0 0 0 17 3 0 0 0
/proc/12343/statm: 4192 3932 73 172 0 4019 0
Current children cumulated CPU time (s) 25.5
Current children cumulated vsize (KiB) 19188
[startup+51.1181 s]
/proc/loadavg: 1.02 1.05 1.00 2/95 12530
/proc/meminfo: memFree=933144/2074464 swapFree=1951864/1959888
[pid=12337] ppid=12335 vsize=2420 CPUtime=1.78
/proc/12337/stat : 12337 (SatELiteGTI) S 12335 12337 20977 0 -1 4194304 386 11077 0 0 0 0 171 7 18 0 1 0 1014395715 2478080 278 4294967295 134512640 135169312 3213864016 3213860232 3084902126 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/12337/statm: 605 278 235 161 0 44 0
[pid=12343] ppid=12337 vsize=26984 CPUtime=49.33
/proc/12343/stat : 12343 (minisat_static) R 12337 12337 20977 0 -1 4202496 6534 0 0 0 4924 9 0 0 25 0 1 0 1014395892 27631616 6466 4294967295 134512640 135215339 3220112016 3220110288 134525435 0 0 0 3 0 0 0 17 3 0 0 0
/proc/12343/statm: 6746 6466 73 172 0 6573 0
Current children cumulated CPU time (s) 51.11
Current children cumulated vsize (KiB) 29404
[startup+102.313 s]
/proc/loadavg: 1.05 1.05 1.00 3/95 12717
/proc/meminfo: memFree=911592/2074464 swapFree=1951864/1959888
[pid=12337] ppid=12335 vsize=2420 CPUtime=1.78
/proc/12337/stat : 12337 (SatELiteGTI) S 12335 12337 20977 0 -1 4194304 386 11077 0 0 0 0 171 7 18 0 1 0 1014395715 2478080 278 4294967295 134512640 135169312 3213864016 3213860232 3084902126 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/12337/statm: 605 278 235 161 0 44 0
[pid=12343] ppid=12337 vsize=48984 CPUtime=100.53
/proc/12343/stat : 12343 (minisat_static) R 12337 12337 20977 0 -1 4202496 11909 0 0 0 10041 12 0 0 25 0 1 0 1014395892 50159616 11841 4294967295 134512640 135215339 3220112016 3220110304 134528806 0 0 0 3 0 0 0 17 3 0 0 0
/proc/12343/statm: 12246 11841 73 172 0 12073 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 51404
[startup+162.307 s]
/proc/loadavg: 1.06 1.06 1.00 3/95 12904
/proc/meminfo: memFree=890396/2074464 swapFree=1951864/1959888
[pid=12337] ppid=12335 vsize=2420 CPUtime=1.78
/proc/12337/stat : 12337 (SatELiteGTI) S 12335 12337 20977 0 -1 4194304 386 11077 0 0 0 0 171 7 18 0 1 0 1014395715 2478080 278 4294967295 134512640 135169312 3213864016 3213860232 3084902126 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/12337/statm: 605 278 235 161 0 44 0
[pid=12343] ppid=12337 vsize=69732 CPUtime=160.53
/proc/12343/stat : 12343 (minisat_static) R 12337 12337 20977 0 -1 4202496 17222 0 0 0 16035 18 0 0 25 0 1 0 1014395892 71405568 17154 4294967295 134512640 135215339 3220112016 3220110304 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/12343/statm: 17433 17154 73 172 0 17260 0
Current children cumulated CPU time (s) 162.31
Current children cumulated vsize (KiB) 72152
[startup+222.311 s]
/proc/loadavg: 1.07 1.06 1.00 2/95 13093
/proc/meminfo: memFree=869572/2074464 swapFree=1951864/1959888
[pid=12337] ppid=12335 vsize=2420 CPUtime=1.78
/proc/12337/stat : 12337 (SatELiteGTI) S 12335 12337 20977 0 -1 4194304 386 11077 0 0 0 0 171 7 18 0 1 0 1014395715 2478080 278 4294967295 134512640 135169312 3213864016 3213860232 3084902126 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/12337/statm: 605 278 235 161 0 44 0
[pid=12343] ppid=12337 vsize=90860 CPUtime=220.54
/proc/12343/stat : 12343 (minisat_static) R 12337 12337 20977 0 -1 4202496 22357 0 0 0 22029 25 0 0 25 0 1 0 1014395892 93040640 22289 4294967295 134512640 135215339 3220112016 3220110304 134528691 0 0 0 3 0 0 0 17 3 0 0 0
/proc/12343/statm: 22715 22289 73 172 0 22542 0
Current children cumulated CPU time (s) 222.32
Current children cumulated vsize (KiB) 93280
[startup+282.315 s]
/proc/loadavg: 1.07 1.06 1.00 3/95 13281
/proc/meminfo: memFree=854172/2074464 swapFree=1951864/1959888
[pid=12337] ppid=12335 vsize=2420 CPUtime=1.78
/proc/12337/stat : 12337 (SatELiteGTI) S 12335 12337 20977 0 -1 4194304 386 11077 0 0 0 0 171 7 18 0 1 0 1014395715 2478080 278 4294967295 134512640 135169312 3213864016 3213860232 3084902126 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/12337/statm: 605 278 235 161 0 44 0
[pid=12343] ppid=12337 vsize=106128 CPUtime=280.55
/proc/12343/stat : 12343 (minisat_static) R 12337 12337 20977 0 -1 4202496 26235 0 0 0 28028 27 0 0 25 0 1 0 1014395892 108675072 26167 4294967295 134512640 135215339 3220112016 3220110080 134538030 0 0 0 3 0 0 0 17 3 0 0 0
/proc/12343/statm: 26532 26167 73 172 0 26359 0
Current children cumulated CPU time (s) 282.33
Current children cumulated vsize (KiB) 108548
[startup+342.309 s]
/proc/loadavg: 1.07 1.06 1.00 2/95 13472
/proc/meminfo: memFree=840432/2074464 swapFree=1951864/1959888
[pid=12337] ppid=12335 vsize=2420 CPUtime=1.78
/proc/12337/stat : 12337 (SatELiteGTI) S 12335 12337 20977 0 -1 4194304 386 11077 0 0 0 0 171 7 18 0 1 0 1014395715 2478080 278 4294967295 134512640 135169312 3213864016 3213860232 3084902126 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/12337/statm: 605 278 235 161 0 44 0
[pid=12343] ppid=12337 vsize=120008 CPUtime=340.55
/proc/12343/stat : 12343 (minisat_static) R 12337 12337 20977 0 -1 4202496 29778 0 0 0 34026 29 0 0 25 0 1 0 1014395892 122888192 29710 4294967295 134512640 135215339 3220112016 3220110304 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/12343/statm: 30002 29710 73 172 0 29829 0
Current children cumulated CPU time (s) 342.33
################
# More data... #
################
/proc/12343/statm: 39027 38498 73 172 0 38854 0
Current children cumulated CPU time (s) 522.35
Current children cumulated vsize (KiB) 158528
[startup+582.316 s]
/proc/loadavg: 1.07 1.08 1.01 2/95 14226
/proc/meminfo: memFree=793776/2074464 swapFree=1951864/1959888
[pid=12337] ppid=12335 vsize=2420 CPUtime=1.78
/proc/12337/stat : 12337 (SatELiteGTI) S 12335 12337 20977 0 -1 4194304 386 11077 0 0 0 0 171 7 18 0 1 0 1014395715 2478080 278 4294967295 134512640 135169312 3213864016 3213860232 3084902126 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/12337/statm: 605 278 235 161 0 44 0
[pid=12343] ppid=12337 vsize=167376 CPUtime=580.58
/proc/12343/stat : 12343 (minisat_static) R 12337 12337 20977 0 -1 4202496 41411 0 0 0 58021 37 0 0 25 0 1 0 1014395892 171393024 41343 4294967295 134512640 135215339 3220112016 3220110304 134528700 0 0 0 3 0 0 0 17 3 0 0 0
/proc/12343/statm: 41844 41343 73 172 0 41671 0
Current children cumulated CPU time (s) 582.36
Current children cumulated vsize (KiB) 169796
[startup+642.32 s]
/proc/loadavg: 1.03 1.06 1.00 3/95 14413
/proc/meminfo: memFree=781640/2074464 swapFree=1951864/1959888
[pid=12337] ppid=12335 vsize=2420 CPUtime=1.78
/proc/12337/stat : 12337 (SatELiteGTI) S 12335 12337 20977 0 -1 4194304 386 11077 0 0 0 0 171 7 18 0 1 0 1014395715 2478080 278 4294967295 134512640 135169312 3213864016 3213860232 3084902126 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/12337/statm: 605 278 235 161 0 44 0
[pid=12343] ppid=12337 vsize=179384 CPUtime=640.59
/proc/12343/stat : 12343 (minisat_static) R 12337 12337 20977 0 -1 4202496 44468 0 0 0 64020 39 0 0 25 0 1 0 1014395892 183689216 44400 4294967295 134512640 135215339 3220112016 3220110304 134528700 0 0 0 3 0 0 0 17 3 0 0 0
/proc/12343/statm: 44846 44400 73 172 0 44673 0
Current children cumulated CPU time (s) 642.37
Current children cumulated vsize (KiB) 181804
[startup+702.324 s]
/proc/loadavg: 1.05 1.06 1.00 2/95 14601
/proc/meminfo: memFree=769092/2074464 swapFree=1951864/1959888
[pid=12337] ppid=12335 vsize=2420 CPUtime=1.78
/proc/12337/stat : 12337 (SatELiteGTI) S 12335 12337 20977 0 -1 4194304 386 11077 0 0 0 0 171 7 18 0 1 0 1014395715 2478080 278 4294967295 134512640 135169312 3213864016 3213860232 3084902126 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/12337/statm: 605 278 235 161 0 44 0
[pid=12343] ppid=12337 vsize=191600 CPUtime=700.6
/proc/12343/stat : 12343 (minisat_static) R 12337 12337 20977 0 -1 4202496 47547 0 0 0 70018 42 0 0 25 0 1 0 1014395892 196198400 47479 4294967295 134512640 135215339 3220112016 3220110304 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/12343/statm: 47900 47479 73 172 0 47727 0
Current children cumulated CPU time (s) 702.38
Current children cumulated vsize (KiB) 194020
[startup+762.318 s]
/proc/loadavg: 1.02 1.05 1.00 2/95 14792
/proc/meminfo: memFree=759280/2074464 swapFree=1951864/1959888
[pid=12337] ppid=12335 vsize=2420 CPUtime=1.78
/proc/12337/stat : 12337 (SatELiteGTI) S 12335 12337 20977 0 -1 4194304 386 11077 0 0 0 0 171 7 18 0 1 0 1014395715 2478080 278 4294967295 134512640 135169312 3213864016 3213860232 3084902126 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/12337/statm: 605 278 235 161 0 44 0
[pid=12343] ppid=12337 vsize=201312 CPUtime=760.6
/proc/12343/stat : 12343 (minisat_static) R 12337 12337 20977 0 -1 4202496 50002 0 0 0 76015 45 0 0 25 0 1 0 1014395892 206143488 49934 4294967295 134512640 135215339 3220112016 3220110304 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/12343/statm: 50328 49934 73 172 0 50155 0
Current children cumulated CPU time (s) 762.38
Current children cumulated vsize (KiB) 203732
[startup+822.322 s]
/proc/loadavg: 1.06 1.05 1.00 3/95 14981
/proc/meminfo: memFree=750484/2074464 swapFree=1951864/1959888
[pid=12337] ppid=12335 vsize=2420 CPUtime=1.78
/proc/12337/stat : 12337 (SatELiteGTI) S 12335 12337 20977 0 -1 4194304 386 11077 0 0 0 0 171 7 18 0 1 0 1014395715 2478080 278 4294967295 134512640 135169312 3213864016 3213860232 3084902126 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/12337/statm: 605 278 235 161 0 44 0
[pid=12343] ppid=12337 vsize=209776 CPUtime=820.61
/proc/12343/stat : 12343 (minisat_static) R 12337 12337 20977 0 -1 4202496 52178 0 0 0 82016 45 0 0 25 0 1 0 1014395892 214810624 52110 4294967295 134512640 135215339 3220112016 3220110304 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/12343/statm: 52444 52110 73 172 0 52271 0
Current children cumulated CPU time (s) 822.39
Current children cumulated vsize (KiB) 212196
[startup+882.316 s]
/proc/loadavg: 1.02 1.04 1.00 3/95 15169
/proc/meminfo: memFree=742408/2074464 swapFree=1951864/1959888
[pid=12337] ppid=12335 vsize=2420 CPUtime=1.78
/proc/12337/stat : 12337 (SatELiteGTI) S 12335 12337 20977 0 -1 4194304 386 11077 0 0 0 0 171 7 18 0 1 0 1014395715 2478080 278 4294967295 134512640 135169312 3213864016 3213860232 3084902126 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/12337/statm: 605 278 235 161 0 44 0
[pid=12343] ppid=12337 vsize=219992 CPUtime=880.61
/proc/12343/stat : 12343 (minisat_static) R 12337 12337 20977 0 -1 4202496 54226 0 0 0 88011 50 0 0 25 0 1 0 1014395892 225271808 54158 4294967295 134512640 135215339 3220112016 3220110304 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/12343/statm: 54998 54158 73 172 0 54825 0
Current children cumulated CPU time (s) 882.39
Current children cumulated vsize (KiB) 222412
[startup+942.32 s]
/proc/loadavg: 1.05 1.04 1.00 2/95 15356
/proc/meminfo: memFree=732256/2074464 swapFree=1951864/1959888
[pid=12337] ppid=12335 vsize=2420 CPUtime=1.78
/proc/12337/stat : 12337 (SatELiteGTI) S 12335 12337 20977 0 -1 4194304 386 11077 0 0 0 0 171 7 18 0 1 0 1014395715 2478080 278 4294967295 134512640 135169312 3213864016 3213860232 3084902126 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/12337/statm: 605 278 235 161 0 44 0
[pid=12343] ppid=12337 vsize=229584 CPUtime=940.62
/proc/12343/stat : 12343 (minisat_static) R 12337 12337 20977 0 -1 4202496 56646 0 0 0 94008 54 0 0 25 0 1 0 1014395892 235094016 56578 4294967295 134512640 135215339 3220112016 3220110304 134529099 0 0 0 3 0 0 0 17 3 0 0 0
/proc/12343/statm: 57396 56578 73 172 0 57223 0
Current children cumulated CPU time (s) 942.4
Current children cumulated vsize (KiB) 232004
[startup+1002.31 s]
/proc/loadavg: 1.02 1.03 1.00 2/95 15544
/proc/meminfo: memFree=724544/2074464 swapFree=1951864/1959888
[pid=12337] ppid=12335 vsize=2420 CPUtime=1.78
/proc/12337/stat : 12337 (SatELiteGTI) S 12335 12337 20977 0 -1 4194304 386 11077 0 0 0 0 171 7 18 0 1 0 1014395715 2478080 278 4294967295 134512640 135169312 3213864016 3213860232 3084902126 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/12337/statm: 605 278 235 161 0 44 0
[pid=12343] ppid=12337 vsize=237224 CPUtime=1000.62
/proc/12343/stat : 12343 (minisat_static) R 12337 12337 20977 0 -1 4202496 58591 0 0 0 100007 55 0 0 25 0 1 0 1014395892 242917376 58523 4294967295 134512640 135215339 3220112016 3220110304 134528884 0 0 0 3 0 0 0 17 3 0 0 0
/proc/12343/statm: 59306 58523 73 172 0 59133 0
Current children cumulated CPU time (s) 1002.4
Current children cumulated vsize (KiB) 239644
[startup+1062.32 s]
/proc/loadavg: 1.00 1.02 1.00 3/95 15731
/proc/meminfo: memFree=714112/2074464 swapFree=1951864/1959888
[pid=12337] ppid=12335 vsize=2420 CPUtime=1.78
/proc/12337/stat : 12337 (SatELiteGTI) S 12335 12337 20977 0 -1 4194304 386 11077 0 0 0 0 171 7 18 0 1 0 1014395715 2478080 278 4294967295 134512640 135169312 3213864016 3213860232 3084902126 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/12337/statm: 605 278 235 161 0 44 0
[pid=12343] ppid=12337 vsize=247952 CPUtime=1060.63
/proc/12343/stat : 12343 (minisat_static) R 12337 12337 20977 0 -1 4202496 61283 0 0 0 105999 64 0 0 25 0 1 0 1014395892 253902848 61215 4294967295 134512640 135215339 3220112016 3220110304 134528734 0 0 0 3 0 0 0 17 3 0 0 0
/proc/12343/statm: 61988 61215 73 172 0 61815 0
Current children cumulated CPU time (s) 1062.41
Current children cumulated vsize (KiB) 250372
[startup+1122.32 s]
/proc/loadavg: 1.00 1.02 1.00 3/95 15924
/proc/meminfo: memFree=703604/2074464 swapFree=1951864/1959888
[pid=12337] ppid=12335 vsize=2420 CPUtime=1.78
/proc/12337/stat : 12337 (SatELiteGTI) S 12335 12337 20977 0 -1 4194304 386 11077 0 0 0 0 171 7 18 0 1 0 1014395715 2478080 278 4294967295 134512640 135169312 3213864016 3213860232 3084902126 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/12337/statm: 605 278 235 161 0 44 0
[pid=12343] ppid=12337 vsize=258244 CPUtime=1120.64
/proc/12343/stat : 12343 (minisat_static) R 12337 12337 20977 0 -1 4202496 63867 0 0 0 111995 69 0 0 25 0 1 0 1014395892 264441856 63799 4294967295 134512640 135215339 3220112016 3220110304 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/12343/statm: 64561 63799 73 172 0 64388 0
Current children cumulated CPU time (s) 1122.42
Current children cumulated vsize (KiB) 260664
[startup+1182.33 s]
/proc/loadavg: 1.00 1.01 1.00 3/95 16112
/proc/meminfo: memFree=695024/2074464 swapFree=1951864/1959888
[pid=12337] ppid=12335 vsize=2420 CPUtime=1.78
/proc/12337/stat : 12337 (SatELiteGTI) S 12335 12337 20977 0 -1 4194304 386 11077 0 0 0 0 171 7 18 0 1 0 1014395715 2478080 278 4294967295 134512640 135169312 3213864016 3213860232 3084902126 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/12337/statm: 605 278 235 161 0 44 0
[pid=12343] ppid=12337 vsize=266720 CPUtime=1180.65
/proc/12343/stat : 12343 (minisat_static) R 12337 12337 20977 0 -1 4202496 66013 0 0 0 117994 71 0 0 25 0 1 0 1014395892 273121280 65945 4294967295 134512640 135215339 3220112016 3220110304 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/12343/statm: 66680 65945 73 172 0 66507 0
Current children cumulated CPU time (s) 1182.43
Current children cumulated vsize (KiB) 269140
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1199.91 s]
/proc/loadavg: 1.00 1.01 1.00 3/95 16113
/proc/meminfo: memFree=693048/2074464 swapFree=1951864/1959888
[pid=12337] ppid=12335 vsize=2420 CPUtime=1.78
/proc/12337/stat : 12337 (SatELiteGTI) S 12335 12337 20977 0 -1 4194304 386 11077 0 0 0 0 171 7 18 0 1 0 1014395715 2478080 278 4294967295 134512640 135169312 3213864016 3213860232 3084902126 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/12337/statm: 605 278 235 161 0 44 0
[pid=12343] ppid=12337 vsize=268636 CPUtime=1198.24
/proc/12343/stat : 12343 (minisat_static) R 12337 12337 20977 0 -1 4202496 66503 0 0 0 119753 71 0 0 25 0 1 0 1014395892 275083264 66435 4294967295 134512640 135215339 3220112016 3220110304 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/12343/statm: 67159 66435 73 172 0 66986 0
Current children cumulated CPU time (s) 1200.02
Current children cumulated vsize (KiB) 271056
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 12337 and gives
# childrusage.ru_utime.tv_sec=1
# childrusage.ru_utime.tv_usec=710000
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=70000
# CPU time returned by wait4() is 1.78
# while last known CPU time is 1200.02
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1199.93
CPU time (s): 1200.02
CPU user time (s): 1199.24
CPU system time (s): 0.78
CPU usage (%): 100.007
Max. virtual memory (cumulated for all children) (KiB): 271056
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1.71
system time used= 0.07
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 11463
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 14
involuntary context switches= 7
runsolver used 0.01 second user time and 0.06 second system time
The end
Begin job on tipi10 at 2009-05-16 20:35:46
IDJOB=1821028
IDBENCH=70813
IDSOLVER=657
FILE ID=tipi10/1821028-1242498946
PBS_JOBID=
Free space on /tmp= 4171 MiB
SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT09/APPLICATIONS/bitverif/countbitsarray/countbitsarray32_32.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= runsolver --timestamp -w /tmp/evaluation-result-1821028-1242498946/watcher-1821028-1242498946 -o /tmp/evaluation-result-1821028-1242498946/solver-1821028-1242498946 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1821028-1242498946.cnf
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= b7a07371a2da4a8c8bef63c213dd1e15
RANDOM SEED= 1409109432
Linux tipi10 2.6.18 #19 SMP Tue Jun 19 11:27:27 CEST 2007 i686 GNU/Linux
/proc/cpuinfo:
processor : 0
vendor_id : AuthenticAMD
cpu family : 15
model : 33
model name : Dual Core AMD Opteron(tm) Processor 265
stepping : 2
cpu MHz : 1808.367
cache size : 1024 KB
physical id : 0
siblings : 2
core id : 0
cpu cores : 2
fdiv_bug : no
hlt_bug : no
f00f_bug : no
coma_bug : no
fpu : yes
fpu_exception : yes
cpuid level : 1
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt lm 3dnowext 3dnow pni lahf_lm cmp_legacy ts fid vid ttp
bogomips : 3618.37
processor : 1
vendor_id : AuthenticAMD
cpu family : 15
model : 33
model name : Dual Core AMD Opteron(tm) Processor 265
stepping : 2
cpu MHz : 1808.367
cache size : 1024 KB
physical id : 0
siblings : 2
core id : 1
cpu cores : 2
fdiv_bug : no
hlt_bug : no
f00f_bug : no
coma_bug : no
fpu : yes
fpu_exception : yes
cpuid level : 1
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt lm 3dnowext 3dnow pni lahf_lm cmp_legacy ts fid vid ttp
bogomips : 3616.77
processor : 2
vendor_id : AuthenticAMD
cpu family : 15
model : 33
model name : Dual Core AMD Opteron(tm) Processor 265
stepping : 2
cpu MHz : 1808.367
cache size : 1024 KB
physical id : 1
siblings : 2
core id : 0
cpu cores : 2
fdiv_bug : no
hlt_bug : no
f00f_bug : no
coma_bug : no
fpu : yes
fpu_exception : yes
cpuid level : 1
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt lm 3dnowext 3dnow pni lahf_lm cmp_legacy ts fid vid ttp
bogomips : 3616.77
processor : 3
vendor_id : AuthenticAMD
cpu family : 15
model : 33
model name : Dual Core AMD Opteron(tm) Processor 265
stepping : 2
cpu MHz : 1808.367
cache size : 1024 KB
physical id : 1
siblings : 2
core id : 1
cpu cores : 2
fdiv_bug : no
hlt_bug : no
f00f_bug : no
coma_bug : no
fpu : yes
fpu_exception : yes
cpuid level : 1
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt lm 3dnowext 3dnow pni lahf_lm cmp_legacy ts fid vid ttp
bogomips : 3616.77
/proc/meminfo:
MemTotal: 2074464 kB
MemFree: 965784 kB
Buffers: 23704 kB
Cached: 972004 kB
SwapCached: 2732 kB
Active: 460924 kB
Inactive: 544736 kB
HighTotal: 1178688 kB
HighFree: 351680 kB
LowTotal: 895776 kB
LowFree: 614104 kB
SwapTotal: 1959888 kB
SwapFree: 1951864 kB
Dirty: 5304 kB
Writeback: 0 kB
AnonPages: 8992 kB
Mapped: 3344 kB
Slab: 94192 kB
PageTables: 560 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 2997120 kB
Committed_AS: 90592 kB
VmallocTotal: 114680 kB
VmallocUsed: 1324 kB
VmallocChunk: 113264 kB
Free space on /tmp at the end= 4165 MiB
End job on tipi10 at 2009-05-16 20:55:49