0.00/0.00 c Parsing...
0.00/0.17 c ==============================================================================
0.00/0.17 c | | ORIGINAL | LEARNT | |
0.00/0.17 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress |
0.00/0.18 c ==============================================================================
0.00/0.18 c | 0 | 213531 498239 | 64059 0 0 nan | 0.000 % |
1.68/1.70 c | 0 | 163018 485616 | -- 0 -- -- | -- | -50511/-12618
1.68/1.70 c ==============================================================================
1.68/1.70 c Result : #vars: 36494 #clauses: 163018 #literals: 485616
1.68/1.70 c CPU time: 1.62075 s
1.68/1.70 c ==============================================================================
1.79/1.88 c This is MiniSat 2.0 beta
1.79/1.88 c WARNING: for repeatability, setting FPU to use double precision
1.79/1.88 c ============================[ Problem Statistics ]=============================
1.79/1.88 c | |
1.79/1.88 c | Number of variables: 36494 |
1.79/1.88 c | Number of clauses: 163018 |
1.86/1.98 c | Parsing time: 0.09 s |
1.86/1.98 c ============================[ Search Statistics ]==============================
1.86/1.98 c | Conflicts | ORIGINAL | LEARNT | Progress |
1.86/1.98 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
1.86/1.98 c ===============================================================================
1.86/1.98 c | 0 | 36494 163018 485616 | 54339 0 nan | 0.000 % |
1.86/1.99 c | 100 | 36494 163018 485616 | 54339 100 7 | 0.000 % |
1.86/2.01 c | 202 | 36492 163018 485616 | 54339 200 6 | 0.005 % |
1.86/2.02 c | 303 | 36491 163018 485616 | 54339 300 6 | 0.008 % |
1.86/2.04 c | 413 | 36491 163018 485616 | 54339 410 5 | 0.008 % |
1.86/2.04 c | 513 | 36491 163018 485616 | 54339 510 5 | 0.008 % |
1.86/2.08 c | 624 | 36489 163018 485616 | 54339 619 5 | 0.093 % |
2.07/2.13 c | 746 | 36484 163018 485616 | 54339 737 5 | 0.186 % |
2.07/2.16 c | 846 | 36484 163018 485616 | 54339 837 6 | 0.186 % |
2.16/2.21 c | 956 | 36482 163018 485616 | 54339 947 6 | 0.186 % |
2.16/2.24 c | 1077 | 36425 162609 484468 | 54339 1066 6 | 0.192 % |
2.16/2.26 c | 1210 | 36425 162609 484468 | 54339 1199 6 | 0.192 % |
2.16/2.28 c | 1310 | 36407 162609 484468 | 54339 1287 6 | 0.247 % |
2.26/2.30 c | 1421 | 36405 162609 484468 | 54339 1397 6 | 0.249 % |
2.26/2.32 c | 1542 | 36404 162609 484468 | 54339 1517 6 | 0.252 % |
2.26/2.35 c | 1675 | 36403 162609 484468 | 54339 1649 6 | 0.255 % |
2.26/2.39 c | 1821 | 36398 162609 484468 | 54339 1790 5 | 0.269 % |
2.36/2.43 c | 1922 | 36398 162609 484468 | 54339 1891 5 | 0.269 % |
2.36/2.45 c | 2032 | 36395 162609 484468 | 54339 1998 5 | 0.277 % |
2.36/2.49 c | 2153 | 36393 162401 483908 | 54339 2093 5 | 0.277 % |
2.46/2.52 c | 2286 | 36386 162401 483908 | 54339 2222 5 | 0.296 % |
2.46/2.59 c | 2432 | 36384 162401 483908 | 54339 2366 5 | 0.301 % |
2.57/2.63 c | 2593 | 36382 162401 483908 | 54339 2525 5 | 0.310 % |
2.57/2.67 c | 2693 | 36381 162401 483908 | 54339 2625 5 | 0.310 % |
2.57/2.69 c | 2803 | 36380 162401 483908 | 54339 2734 5 | 0.312 % |
2.67/2.75 c | 2926 | 36378 162308 483657 | 54339 2824 5 | 0.318 % |
2.67/2.77 c | 3059 | 36378 162308 483657 | 54339 2957 6 | 0.318 % |
2.77/2.81 c | 3205 | 36369 162308 483657 | 54339 3092 6 | 0.592 % |
2.77/2.86 c | 3366 | 36238 162308 483657 | 54339 3215 6 | 1.474 % |
2.87/2.91 c | 3542 | 36234 162308 483657 | 54339 3388 6 | 1.562 % |
2.87/2.93 c | 3642 | 36234 162308 483657 | 54339 3488 6 | 1.562 % |
2.87/2.96 c | 3752 | 36234 162308 483657 | 54339 3598 6 | 1.562 % |
2.87/2.99 c | 3873 | 35895 159882 476554 | 54339 3702 6 | 2.310 % |
3.07/3.10 c | 4006 | 35793 159882 476554 | 54339 3820 6 | 2.866 % |
3.07/3.13 c | 4154 | 35791 159882 476554 | 54339 3966 6 | 2.951 % |
3.07/3.19 c | 4316 | 35790 159882 476554 | 54339 4127 6 | 2.954 % |
3.17/3.28 c | 4492 | 35374 157315 468988 | 54339 4244 6 | 3.069 % |
3.27/3.32 c | 4690 | 35374 157315 468988 | 54339 4442 6 | 3.069 % |
3.27/3.34 c | 4792 | 35373 157315 468988 | 54339 4543 6 | 3.085 % |
3.27/3.37 c | 4903 | 35372 157315 468988 | 54339 4653 6 | 3.088 % |
3.27/3.40 c | 5024 | 35372 157315 468988 | 54339 4774 6 | 3.088 % |
3.37/3.44 c | 5157 | 35372 157315 468988 | 54339 4907 6 | 3.088 % |
3.47/3.50 c | 5304 | 35372 157315 468988 | 54339 5054 6 | 3.088 % |
3.47/3.52 c | 5464 | 35176 157315 468988 | 54339 5169 6 | 4.113 % |
3.47/3.55 c | 5640 | 34953 155253 462958 | 54339 5291 6 | 4.428 % |
3.47/3.59 c | 5834 | 34952 155253 462958 | 54339 5484 6 | 4.431 % |
3.57/3.63 c | 6047 | 34946 155253 462958 | 54339 5692 6 | 4.672 % |
3.57/3.64 c | 6147 | 34946 155253 462958 | 54339 5792 6 | 4.672 % |
3.57/3.68 c | 6257 | 34946 155253 462958 | 54339 5902 6 | 4.672 % |
3.67/3.71 c | 6380 | 34901 155253 462958 | 54339 6005 6 | 5.056 % |
3.67/3.74 c | 6514 | 34862 155253 462958 | 54339 6133 6 | 5.519 % |
3.77/3.81 c | 6660 | 34862 155253 462958 | 54339 6279 6 | 5.519 % |
3.87/3.91 c | 6822 | 34432 152789 455739 | 54339 6383 6 | 6.001 % |
3.97/4.02 c | 6998 | 34432 152789 455739 | 54339 6559 6 | 6.001 % |
3.97/4.08 c | 7192 | 34424 152789 455739 | 54339 6748 6 | 6.223 % |
4.07/4.14 c | 7404 | 34217 151444 451809 | 54339 6932 6 | 6.239 % |
4.17/4.21 c | 7638 | 34212 151444 451809 | 54339 7165 6 | 6.253 % |
4.17/4.27 c | 7738 | 34212 151444 451809 | 54339 7265 6 | 6.253 % |
4.27/4.33 c | 7848 | 34197 151444 451809 | 54339 7366 6 | 6.519 % |
4.27/4.37 c | 7969 | 34170 151444 451809 | 54339 7468 6 | 7.319 % |
4.27/4.39 c | 8102 | 34142 151444 451809 | 54339 7595 6 | 7.398 % |
4.37/4.46 c | 8248 | 33731 149140 445016 | 54339 7669 6 | 7.689 % |
4.47/4.58 c | 8408 | 33731 149140 445016 | 54339 7829 6 | 7.689 % |
4.57/4.61 c | 8585 | 33693 149140 445016 | 54339 7988 6 | 8.333 % |
4.67/4.71 c | 8778 | 33686 149140 445016 | 54339 8177 6 | 8.604 % |
4.67/4.79 c | 8990 | 33675 149140 445016 | 54339 8389 6 | 8.604 % |
4.77/4.85 c | 9224 | 33354 147162 439223 | 54339 8607 6 | 8.604 % |
4.87/4.96 c | 9480 | 33354 147162 439223 | 54339 8863 6 | 8.604 % |
4.87/4.98 c | 9580 | 33354 147162 439223 | 54339 8963 7 | 8.604 % |
4.97/5.00 c | 9690 | 33354 147162 439223 | 54339 9073 7 | 8.604 % |
4.97/5.09 c | 9811 | 33353 147162 439223 | 54339 9193 7 | 8.607 % |
5.07/5.13 c | 9944 | 33086 145936 435600 | 54339 9303 7 | 9.829 % |
5.07/5.15 c | 10090 | 33025 145936 435600 | 2147483647 9436 7 | 10.380 % |
5.07/5.17 c | 10251 | 33005 145936 435600 | 2147483647 9593 7 | 10.643 % |
5.17/5.25 c | 10427 | 32977 145936 435600 | 2147483647 9768 7 | 10.728 % |
5.27/5.31 c | 10622 | 32972 145936 435600 | 2147483647 9960 7 | 10.815 % |
5.27/5.35 c | 10835 | 32970 145936 435600 | 2147483647 10171 7 | 10.892 % |
5.37/5.40 c | 11070 | 32941 145936 435600 | 2147483647 10399 7 | 11.413 % |
5.47/5.55 c | 11326 | 32328 142226 424615 | 2147483647 10540 7 | 11.416 % |
5.57/5.61 c | 11607 | 32303 142226 424615 | 2147483647 10812 7 | 12.076 % |
5.57/5.62 c | 11707 | 32262 142226 424615 | 2147483647 10898 7 | 12.731 % |
5.57/5.68 c | 11819 | 32261 142226 424615 | 2147483647 11009 7 | 12.810 % |
5.67/5.72 c | 11940 | 32256 142226 424615 | 2147483647 11127 7 | 13.095 % |
5.67/5.74 c | 12073 | 32245 142226 424615 | 2147483647 11253 7 | 13.397 % |
5.67/5.75 c | 12219 | 32245 142226 424615 | 2147483647 11399 7 | 13.397 % |
5.67/5.79 c | 12379 | 32234 142226 424615 | 2147483647 11558 7 | 13.583 % |
5.77/5.83 c | 12556 | 31530 138489 413548 | 2147483647 11680 7 | 13.737 % |
5.77/5.86 c | 12749 | 31487 138489 413548 | 2147483647 11862 7 | 14.449 % |
5.77/5.90 c | 12961 | 31485 138489 413548 | 2147483647 12072 7 | 14.523 % |
5.87/5.93 c | 13194 | 31484 138489 413548 | 2147483647 12304 7 | 14.528 % |
5.87/5.99 c | 13450 | 31427 138489 413548 | 2147483647 12556 7 | 14.871 % |
5.97/6.08 c | 13731 | 31351 138489 413548 | 2147483647 12834 7 | 14.953 % |
6.17/6.23 c | 14040 | 31031 136163 406644 | 2147483647 12884 7 | 14.970 % |
6.17/6.25 c | 14140 | 31029 136163 406644 | 2147483647 12982 7 | 14.981 % |
6.17/6.28 c | 14250 | 31027 136163 406644 | 2147483647 13092 7 | 14.981 % |
6.27/6.35 c | 14371 | 31027 136163 406644 | 2147483647 13213 7 | 14.981 % |
6.37/6.43 c | 14504 | 31018 136163 406644 | 2147483647 13339 7 | 15.482 % |
6.37/6.48 c | 14650 | 30843 135209 403838 | 2147483647 13433 7 | 15.485 % |
6.47/6.56 c | 14811 | 30832 135209 403838 | 2147483647 13590 7 | 15.868 % |
6.47/6.60 c | 14987 | 30832 135209 403838 | 2147483647 13766 7 | 15.868 % |
6.57/6.62 c | 15180 | 30831 135209 403838 | 2147483647 13958 7 | 15.871 % |
6.67/6.71 c | 15392 | 30816 135209 403838 | 2147483647 14164 7 | 16.208 % |
6.67/6.78 c | 15626 | 30809 135209 403838 | 2147483647 14397 7 | 16.326 % |
6.77/6.86 c | 15882 | 30493 133791 399621 | 2147483647 14592 7 | 17.041 % |
6.87/6.95 c | 16163 | 30461 133791 399621 | 2147483647 14863 7 | 17.611 % |
7.07/7.15 c | 16472 | 29669 129873 387999 | 2147483647 15044 7 | 18.891 % |
7.07/7.19 c | 16812 | 29654 129873 387999 | 2147483647 15382 7 | 19.031 % |
7.17/7.22 c | 16912 | 29654 129873 387999 | 2147483647 15482 7 | 19.031 % |
7.17/7.27 c | 17022 | 29644 129873 387999 | 2147483647 15588 7 | 19.195 % |
7.17/7.29 c | 17143 | 29636 129873 387999 | 2147483647 15708 7 | 19.299 % |
7.27/7.34 c | 17277 | 29621 129873 387999 | 2147483647 15834 7 | 19.499 % |
7.37/7.43 c | 17424 | 29612 129873 387999 | 2147483647 15977 7 | 19.526 % |
7.37/7.46 c | 17584 | 29241 127912 382156 | 2147483647 16050 7 | 19.875 % |
7.47/7.55 c | 17760 | 29216 127912 382156 | 2147483647 16223 7 | 20.061 % |
7.57/7.61 c | 17955 | 29216 127912 382156 | 2147483647 16418 7 | 20.061 % |
7.57/7.68 c | 18167 | 29205 127912 382156 | 2147483647 16625 7 | 20.157 % |
7.67/7.71 c | 18401 | 29180 127912 382156 | 2147483647 16849 8 | 20.699 % |
7.67/7.75 c | 18657 | 29167 127912 382156 | 2147483647 17105 8 | 20.699 % |
7.77/7.87 c | 18939 | 28749 125629 375404 | 2147483647 17300 8 | 21.223 % |
7.87/7.92 c | 19248 | 28748 125629 375404 | 2147483647 17608 8 | 21.231 % |
7.87/7.97 c | 19587 | 28746 125629 375404 | 2147483647 17947 8 | 21.231 % |
8.07/8.16 c | 19959 | 28743 125629 375404 | 2147483647 18315 8 | 21.420 % |
8.17/8.21 c | 20059 | 28741 125629 375404 | 2147483647 18414 8 | 21.423 % |
8.17/8.26 c | 20169 | 28741 125629 375404 | 2147483647 18524 8 | 21.423 % |
8.27/8.38 c | 20290 | 28636 125279 374367 | 2147483647 18632 8 | 22.132 % |
8.37/8.43 c | 20423 | 28615 125279 374367 | 2147483647 18759 8 | 22.300 % |
8.37/8.48 c | 20570 | 28606 125279 374367 | 2147483647 18900 8 | 22.404 % |
8.46/8.53 c | 20731 | 28603 125279 374367 | 2147483647 19060 8 | 22.409 % |
8.56/8.62 c | 20907 | 28603 125279 374367 | 2147483647 19236 8 | 22.409 % |
8.67/8.71 c | 21102 | 28254 123345 368611 | 2147483647 19386 8 | 22.845 % |
8.67/8.76 c | 21314 | 28234 123345 368611 | 2147483647 19590 8 | 23.100 % |
8.77/8.81 c | 21547 | 28233 123345 368611 | 2147483647 19822 8 | 23.102 % |
8.77/8.86 c | 21807 | 28232 123345 368611 | 2147483647 20081 8 | 23.105 % |
8.86/8.91 c | 22088 | 28207 123345 368611 | 2147483647 20352 8 | 23.700 % |
8.96/9.01 c | 22398 | 28174 123345 368611 | 2147483647 20652 8 | 23.930 % |
9.06/9.13 c | 22737 | 27710 120996 361634 | 2147483647 20759 8 | 24.179 % |
9.06/9.20 c | 23109 | 27704 120996 361634 | 2147483647 21127 8 | 24.201 % |
9.26/9.31 c | 23518 | 27690 120996 361634 | 2147483647 21530 8 | 24.489 % |
9.26/9.33 c | 23619 | 27690 120996 361634 | 2147483647 21631 8 | 24.489 % |
9.26/9.38 c | 23729 | 27689 120996 361634 | 2147483647 21741 8 | 24.489 % |
9.36/9.43 c | 23850 | 27554 120037 358804 | 2147483647 21767 8 | 24.505 % |
9.36/9.49 c | 23984 | 27554 120037 358804 | 2147483647 21901 8 | 24.505 % |
9.46/9.52 c | 24131 | 27554 120037 358804 | 2147483647 22048 8 | 24.505 % |
9.46/9.56 c | 24292 | 27554 120037 358804 | 2147483647 22209 8 | 24.505 % |
9.56/9.62 c | 24469 | 27554 120037 358804 | 2147483647 22386 8 | 24.505 % |
9.56/9.64 c | 24664 | 27554 120037 358804 | 2147483647 22581 8 | 24.505 % |
9.56/9.67 c | 24878 | 27554 120037 358804 | 2147483647 22795 8 | 24.505 % |
9.66/9.71 c | 25112 | 27554 120037 358804 | 2147483647 23029 8 | 24.505 % |
9.77/9.85 c | 25369 | 27554 120037 358804 | 2147483647 23286 8 | 24.505 % |
9.87/9.93 c | 25651 | 27551 120006 358716 | 2147483647 23566 8 | 24.505 % |
9.87/9.99 c | 25960 | 27551 120006 358716 | 2147483647 23875 8 | 24.505 % |
9.96/10.04 c | 26299 | 27550 120006 358716 | 2147483647 24213 8 | 24.508 % |
10.06/10.13 c | 26673 | 27550 120006 358716 | 2147483647 24587 8 | 24.508 % |
10.16/10.25 c | 27083 | 27535 120006 358716 | 2147483647 24990 8 | 24.878 % |
10.36/10.41 c | 27533 | 27413 119332 356729 | 2147483647 25411 8 | 24.884 % |
10.36/10.42 c | 27635 | 27413 119332 356729 | 2147483647 25513 8 | 24.884 % |
10.36/10.44 c | 27745 | 27413 119332 356729 | 2147483647 25623 8 | 24.884 % |
10.36/10.49 c | 27866 | 27412 119332 356729 | 2147483647 25743 8 | 24.886 % |
10.46/10.51 c | 28000 | 27412 119332 356729 | 2147483647 25877 8 | 24.886 % |
10.46/10.53 c | 28146 | 27412 119332 356729 | 2147483647 26023 8 | 24.886 % |
10.46/10.58 c | 28307 | 27412 119332 356729 | 2147483647 26184 8 | 24.886 % |
10.56/10.69 c | 28483 | 27406 119332 356729 | 2147483647 26356 8 | 25.111 % |
10.66/10.77 c | 28676 | 27329 118928 355534 | 2147483647 26541 8 | 25.114 % |
10.76/10.85 c | 28888 | 27329 118928 355534 | 2147483647 26753 8 | 25.114 % |
10.76/10.88 c | 29122 | 27327 118928 355534 | 2147483647 26986 8 | 25.380 % |
10.87/10.97 c | 29379 | 27302 118928 355534 | 2147483647 27237 8 | 25.780 % |
10.97/11.07 c | 29660 | 27280 118928 355534 | 2147483647 27510 8 | 26.166 % |
11.06/11.17 c | 29969 | 27280 118928 355534 | 2147483647 27819 8 | 26.166 % |
11.16/11.26 c | 30308 | 26944 117103 350117 | 2147483647 28116 9 | 26.169 % |
11.26/11.37 c | 30682 | 26941 117103 350117 | 2147483647 28487 9 | 26.577 % |
11.46/11.55 c | 31091 | 26928 117103 350117 | 2147483647 28896 9 | 26.577 % |
11.66/11.72 c | 31540 | 26925 117103 350117 | 2147483647 29343 9 | 26.585 % |
11.76/11.89 c | 32033 | 26790 116394 348012 | 2147483647 29798 9 | 26.591 % |
11.86/11.92 c | 32133 | 26790 116394 348012 | 2147483647 29898 9 | 26.591 % |
11.86/11.97 c | 32243 | 26790 116394 348012 | 2147483647 30008 9 | 26.591 % |
11.97/12.04 c | 32364 | 26790 116394 348012 | 2147483647 30129 9 | 26.591 % |
11.97/12.06 c | 32498 | 26790 116394 348012 | 2147483647 30263 9 | 26.591 % |
11.97/12.10 c | 32645 | 26790 116394 348012 | 2147483647 30410 9 | 26.591 % |
12.07/12.13 c | 32805 | 26790 116394 348012 | 2147483647 30570 9 | 26.591 % |
12.07/12.17 c | 32982 | 26790 116394 348012 | 2147483647 30747 9 | 26.591 % |
12.16/12.22 c | 33175 | 26790 116394 348012 | 2147483647 30940 9 | 26.591 % |
12.26/12.30 c | 33387 | 26790 116384 347984 | 2147483647 31135 9 | 26.591 % |
12.26/12.35 c | 33620 | 26790 116384 347984 | 2147483647 31368 9 | 26.591 % |
12.36/12.44 c | 33876 | 26786 116384 347984 | 2147483647 31622 9 | 26.640 % |
12.46/12.52 c | 34157 | 26785 116384 347984 | 2147483647 31902 9 | 26.689 % |
12.56/12.60 c | 34467 | 26785 116384 347984 | 2147483647 32212 9 | 26.689 % |
12.56/12.69 c | 34806 | 26783 116384 347984 | 2147483647 32550 9 | 26.692 % |
12.66/12.75 c | 35178 | 26751 116194 347418 | 2147483647 32899 9 | 26.698 % |
12.76/12.86 c | 35587 | 26751 116194 347418 | 2147483647 33308 9 | 26.698 % |
12.86/12.93 c | 36036 | 26741 116194 347418 | 2147483647 33753 9 | 26.736 % |
12.96/13.05 c | 36529 | 26735 116194 347418 | 2147483647 34244 9 | 26.750 % |
13.06/13.17 c | 37074 | 26731 116194 347418 | 2147483647 34786 9 | 27.616 % |
13.06/13.18 c | 37174 | 26731 116194 347418 | 2147483647 34886 9 | 27.615 % |
13.16/13.23 c | 37284 | 26731 116194 347418 | 2147483647 34996 9 | 27.615 % |
13.26/13.30 c | 37407 | 26415 114920 343648 | 2147483647 35084 9 | 27.618 % |
13.26/13.32 c | 37541 | 26415 114920 343648 | 2147483647 35218 9 | 27.618 % |
13.26/13.34 c | 37690 | 26415 114920 343648 | 2147483647 35367 9 | 27.618 % |
13.26/13.36 c | 37851 | 26415 114920 343648 | 2147483647 35528 9 | 27.618 % |
13.36/13.40 c | 38027 | 26415 114920 343648 | 2147483647 35704 9 | 27.618 % |
13.36/13.42 c | 38221 | 26415 114920 343648 | 2147483647 35898 9 | 27.618 % |
13.36/13.47 c | 38433 | 26415 114920 343648 | 2147483647 36110 9 | 27.618 % |
13.46/13.51 c | 38669 | 26415 114920 343648 | 2147483647 36346 9 | 27.618 % |
13.46/13.55 c | 38925 | 26411 114920 343648 | 2147483647 36601 9 | 27.684 % |
13.56/13.62 c | 39207 | 26411 114920 343648 | 2147483647 36883 9 | 27.684 % |
13.56/13.68 c | 39516 | 26410 114920 343648 | 2147483647 37192 9 | 27.684 % |
13.66/13.76 c | 39855 | 26410 114920 343648 | 2147483647 37531 9 | 27.684 % |
13.86/13.91 c | 40227 | 26387 114810 343322 | 2147483647 37890 9 | 27.703 % |
13.97/14.01 c | 40636 | 25999 114810 343322 | 2147483647 38213 9 | 29.380 % |
14.07/14.12 c | 41085 | 25706 114810 343322 | 2147483647 38601 9 | 30.575 % |
14.27/14.31 c | 41580 | 25201 114810 343322 | 2147483647 39022 9 | 32.655 % |
14.37/14.46 c | 42123 | 24414 106536 318904 | 2147483647 38963 9 | 33.603 % |
14.47/14.57 c | 42719 | 23498 106536 318904 | 2147483647 39387 9 | 36.650 % |
14.57/14.60 c | 42819 | 23273 106536 318904 | 2147483647 39443 9 | 37.250 % |
14.57/14.63 c | 42930 | 23107 106536 318904 | 2147483647 39510 9 | 37.823 % |
14.57/14.68 c | 43053 | 22866 106536 318904 | 2147483647 39596 9 | 38.423 % |
14.67/14.73 c | 43186 | 22839 106536 318904 | 2147483647 39728 9 | 38.425 % |
14.77/14.80 c | 43332 | 22839 106536 318904 | 2147483647 39874 9 | 38.425 % |
14.77/14.86 c | 43493 | 22826 106536 318904 | 2147483647 40030 9 | 38.557 % |
14.87/14.93 c | 43669 | 22826 106536 318904 | 2147483647 40206 9 | 38.557 % |
14.97/15.03 c | 43862 | 22423 96898 290399 | 2147483647 39841 9 | 38.557 % |
14.97/15.08 c | 44074 | 22422 96898 290399 | 2147483647 40052 9 | 38.560 % |
15.07/15.11 c | 44308 | 22420 96898 290399 | 2147483647 40285 9 | 38.565 % |
15.07/15.15 c | 44566 | 22419 96898 290399 | 2147483647 40542 9 | 38.568 % |
15.17/15.20 c | 44848 | 22419 96898 290399 | 2147483647 40824 9 | 38.568 % |
15.17/15.24 c | 45157 | 22419 96898 290399 | 2147483647 41133 9 | 38.568 % |
15.17/15.28 c | 45496 | 22419 96898 290399 | 2147483647 41472 9 | 38.568 % |
15.27/15.33 c | 45868 | 22419 96898 290399 | 2147483647 41844 10 | 38.568 % |
15.27/15.39 c | 46277 | 22418 96898 290399 | 2147483647 42252 10 | 38.571 % |
15.37/15.49 c | 46727 | 22418 96898 290399 | 2147483647 42702 10 | 38.571 % |
15.57/15.65 c | 47220 | 22379 96659 289707 | 2147483647 43172 10 | 38.678 % |
15.67/15.71 c | 47762 | 22379 96659 289707 | 2147483647 43714 10 | 38.678 % |
15.77/15.81 c | 48358 | 22376 96659 289707 | 2147483647 44308 10 | 38.686 % |
15.97/16.07 c | 49013 | 22369 96659 289707 | 2147483647 44958 10 | 38.705 % |
16.06/16.11 c | 49113 | 22368 96659 289707 | 2147483647 45057 10 | 38.710 % |
16.06/16.14 c | 49223 | 22368 96659 289707 | 2147483647 45167 10 | 38.710 % |
16.16/16.20 c | 49345 | 22368 96659 289707 | 2147483647 45289 10 | 38.710 % |
16.16/16.27 c | 49478 | 22368 96659 289707 | 2147483647 45422 10 | 38.710 % |
16.26/16.36 c | 49624 | 22367 96579 289486 | 2147483647 45547 10 | 38.710 % |
16.37/16.41 c | 49784 | 22367 96579 289486 | 2147483647 45707 10 | 38.710 % |
16.37/16.48 c | 49961 | 22367 96579 289486 | 2147483647 45884 10 | 38.710 % |
16.47/16.52 c | 50155 | 22367 96579 289486 | 2147483647 46078 10 | 38.710 % |
16.47/16.59 c | 50367 | 22367 96579 289486 | 2147483647 46290 10 | 38.710 % |
16.56/16.64 c | 50600 | 22367 96579 289486 | 2147483647 46523 10 | 38.710 % |
16.56/16.70 c | 50856 | 22366 96579 289486 | 2147483647 46778 10 | 38.716 % |
16.66/16.76 c | 51137 | 22365 96579 289486 | 2147483647 47059 10 | 38.716 % |
16.76/16.86 c | 51447 | 22296 96579 289486 | 2147483647 47354 10 | 39.154 % |
16.86/16.95 c | 51786 | 22293 96579 289486 | 2147483647 47692 10 | 39.163 % |
17.06/17.16 c | 52161 | 22166 95818 287224 | 2147483647 47989 10 | 39.445 % |
17.26/17.36 c | 52570 | 22166 95818 287224 | 2147483647 48398 10 | 39.445 % |
17.47/17.54 c | 53019 | 22164 95818 287224 | 2147483647 48845 10 | 39.450 % |
17.66/17.72 c | 53512 | 22019 94938 284635 | 2147483647 49267 10 | 39.664 % |
17.76/17.81 c | 54055 | 22015 94938 284635 | 2147483647 49806 10 | 39.678 % |
17.86/17.94 c | 54652 | 22014 94938 284635 | 2147483647 50403 10 | 39.678 % |
18.06/18.17 c | 55307 | 22014 94938 284635 | 2147483647 51058 10 | 39.678 % |
18.26/18.34 c | 56028 | 21985 94938 284635 | 2147483647 51771 10 | 39.834 % |
18.26/18.38 c | 56128 | 21957 94684 283883 | 2147483647 51780 10 | 39.834 % |
18.36/18.42 c | 56239 | 21942 94684 283883 | 2147483647 51884 10 | 40.045 % |
18.36/18.44 c | 56361 | 21931 94684 283883 | 2147483647 52001 10 | 40.127 % |
18.36/18.47 c | 56495 | 21912 94684 283883 | 2147483647 52134 10 | 40.130 % |
18.46/18.51 c | 56642 | 21912 94684 283883 | 2147483647 52281 10 | 40.130 % |
18.46/18.54 c | 56804 | 21912 94684 283883 | 2147483647 52443 10 | 40.130 % |
18.57/18.60 c | 56980 | 21902 94684 283883 | 2147483647 52617 10 | 40.349 % |
18.57/18.62 c | 57173 | 21902 94684 283883 | 2147483647 52810 10 | 40.349 % |
18.57/18.69 c | 57385 | 21881 94684 283883 | 2147483647 53017 10 | 40.590 % |
18.67/18.75 c | 57618 | 21881 94684 283883 | 2147483647 53250 10 | 40.590 % |
18.76/18.82 c | 57874 | 21877 94684 283883 | 2147483647 53505 10 | 40.642 % |
18.76/18.89 c | 58155 | 21874 94684 283883 | 2147483647 53786 10 | 40.642 % |
18.86/18.93 c | 58464 | 21874 94684 283883 | 2147483647 54095 10 | 40.642 % |
18.96/19.03 c | 58803 | 21868 94684 283883 | 2147483647 54430 10 | 40.664 % |
19.16/19.22 c | 59175 | 21650 93230 279588 | 2147483647 54495 10 | 40.749 % |
19.36/19.41 c | 59588 | 21649 93230 279588 | 2147483647 54907 10 | 40.752 % |
19.46/19.50 c | 60042 | 21649 93230 279588 | 2147483647 55361 10 | 40.752 % |
19.66/19.70 c | 60536 | 21473 93230 279588 | 2147483647 55818 10 | 41.785 % |
19.76/19.81 c | 61079 | 21005 93230 279588 | 2147483647 56285 10 | 44.062 % |
19.86/19.99 c | 61676 | 20103 87511 262642 | 2147483647 56548 10 | 45.369 % |
20.16/20.25 c | 62331 | 19631 87511 262642 | 2147483647 57095 10 | 47.287 % |
20.36/20.45 c | 63052 | 19316 87511 262642 | 2147483647 57759 10 | 48.438 % |
20.66/20.80 c | 63846 | 18768 80757 242665 | 2147483647 57514 10 | 48.671 % |
20.76/20.85 c | 63950 | 18768 80757 242665 | 2147483647 57618 10 | 48.671 % |
20.76/20.88 c | 64060 | 18768 80757 242665 | 2147483647 57728 10 | 48.671 % |
20.76/20.90 c | 64181 | 18768 80757 242665 | 2147483647 57849 10 | 48.671 % |
20.86/20.94 c | 64314 | 18768 80757 242665 | 2147483647 57982 10 | 48.671 % |
20.86/20.97 c | 64461 | 18768 80757 242665 | 2147483647 58129 10 | 48.671 % |
20.96/21.00 c | 64622 | 18768 80757 242665 | 2147483647 58290 10 | 48.671 % |
20.96/21.03 c | 64798 | 18768 80757 242665 | 2147483647 58466 10 | 48.671 % |
21.06/21.10 c | 64991 | 18768 80757 242665 | 2147483647 58659 10 | 48.671 % |
21.06/21.12 c | 65203 | 18768 80757 242665 | 2147483647 58871 10 | 48.671 % |
21.06/21.16 c | 65438 | 18768 80757 242665 | 2147483647 59106 10 | 48.671 % |
21.16/21.22 c | 65694 | 18768 80757 242665 | 2147483647 59362 10 | 48.671 % |
21.26/21.32 c | 65976 | 18757 80757 242665 | 2147483647 59641 10 | 48.701 % |
21.36/21.41 c | 66285 | 18747 80757 242665 | 2147483647 59948 10 | 48.729 % |
21.46/21.53 c | 66624 | 18711 80364 241499 | 2147483647 60184 10 | 48.729 % |
21.56/21.66 c | 66998 | 18709 80364 241499 | 2147483647 60556 10 | 48.734 % |
21.76/21.88 c | 67407 | 18608 80364 241499 | 2147483647 60945 10 | 49.389 % |
21.96/22.04 c | 67857 | 18546 80364 241499 | 2147483647 61394 10 | 49.394 % |
22.16/22.21 c | 68352 | 18543 80364 241499 | 2147483647 61887 10 | 49.403 % |
22.36/22.40 c | 68896 | 18462 79173 237959 | 2147483647 62346 10 | 49.414 % |
22.46/22.55 c | 69493 | 18461 79173 237959 | 2147483647 62943 10 | 49.414 % |
22.56/22.65 c | 70150 | 18461 79173 237959 | 2147483647 63600 10 | 49.414 % |
22.66/22.71 c | 70871 | 18461 79173 237959 | 2147483647 64321 10 | 49.414 % |
22.86/22.91 c | 71663 | 18459 79173 237959 | 2147483647 65111 10 | 49.419 % |
22.96/23.10 c | 72534 | 18459 79173 237959 | 2147483647 65982 10 | 49.419 % |
23.06/23.13 c | 72634 | 18459 79173 237959 | 2147483647 66082 10 | 49.419 % |
23.16/23.21 c | 72744 | 18459 79173 237959 | 2147483647 66192 10 | 49.419 % |
23.16/23.29 c | 72865 | 18459 79173 237959 | 2147483647 66313 10 | 49.419 % |
23.26/23.37 c | 73001 | 18459 79151 237898 | 2147483647 66426 10 | 49.419 % |
23.26/23.39 c | 73147 | 18459 79151 237898 | 2147483647 66572 10 | 49.419 % |
23.36/23.43 c | 73307 | 18458 79151 237898 | 2147483647 66731 10 | 49.422 % |
23.36/23.46 c | 73485 | 18458 79151 237898 | 2147483647 66909 10 | 49.422 % |
23.46/23.51 c | 73678 | 18458 79151 237898 | 2147483647 67102 10 | 49.422 % |
23.46/23.57 c | 73890 | 18458 79151 237898 | 2147483647 67314 10 | 49.422 % |
23.56/23.67 c | 74123 | 18452 79151 237898 | 2147483647 67544 10 | 49.444 % |
23.66/23.78 c | 74379 | 18450 79151 237898 | 2147483647 67800 10 | 49.444 % |
23.76/23.84 c | 74660 | 18450 79151 237898 | 2147483647 68081 10 | 49.444 % |
23.86/23.96 c | 74970 | 18450 79151 237898 | 2147483647 68391 10 | 49.444 % |
23.96/24.00 c | 75310 | 18450 79151 237898 | 2147483647 68731 11 | 49.444 % |
23.96/24.06 c | 75682 | 18450 79151 237898 | 2147483647 69103 11 | 49.444 % |
24.06/24.15 c | 76093 | 18450 79151 237898 | 2147483647 69514 11 | 49.444 % |
24.16/24.27 c | 76542 | 18447 79151 237898 | 2147483647 69961 11 | 49.452 % |
24.26/24.34 c | 77036 | 18447 79151 237898 | 2147483647 70455 11 | 49.452 % |
24.35/24.47 c | 77584 | 18447 79082 237706 | 2147483647 70970 11 | 49.452 % |
24.45/24.56 c | 78180 | 18447 79082 237706 | 2147483647 71566 11 | 49.452 % |
24.55/24.67 c | 78836 | 18447 79082 237706 | 2147483647 72222 11 | 49.452 % |
24.75/24.88 c | 79556 | 18431 79082 237706 | 2147483647 72936 11 | 49.764 % |
25.05/25.12 c | 80348 | 18407 79082 237706 | 2147483647 73720 11 | 49.989 % |
25.17/25.27 c | 81219 | 18406 79082 237706 | 2147483647 74590 11 | 49.992 % |
25.46/25.50 c | 82178 | 18241 78139 234919 | 2147483647 75388 11 | 50.016 % |
25.46/25.52 c | 82278 | 18241 78139 234919 | 2147483647 75488 11 | 50.016 % |
25.46/25.55 c | 82388 | 18241 78139 234919 | 2147483647 75598 11 | 50.016 % |
25.56/25.62 c | 82510 | 18241 78139 234919 | 2147483647 75720 11 | 50.016 % |
25.56/25.66 c | 82644 | 18241 78139 234919 | 2147483647 75854 11 | 50.016 % |
25.66/25.70 c | 82791 | 18241 78139 234919 | 2147483647 76001 11 | 50.016 % |
25.66/25.75 c | 82952 | 18241 78139 234919 | 2147483647 76162 11 | 50.016 % |
25.66/25.77 c | 83129 | 18241 78139 234919 | 2147483647 76339 11 | 50.016 % |
25.76/25.82 c | 83322 | 18241 78139 234919 | 2147483647 76532 11 | 50.016 % |
25.76/25.88 c | 83536 | 18241 78139 234919 | 2147483647 76746 11 | 50.016 % |
25.86/25.98 c | 83769 | 18240 78139 234919 | 2147483647 76978 11 | 50.019 % |
25.96/26.04 c | 84026 | 18240 78139 234919 | 2147483647 77235 11 | 50.019 % |
26.06/26.12 c | 84308 | 18232 78139 234919 | 2147483647 77513 11 | 50.077 % |
26.16/26.20 c | 84617 | 18151 78139 234919 | 2147483647 77805 11 | 50.680 % |
26.26/26.34 c | 84956 | 17964 78139 234919 | 2147483647 78082 11 | 51.452 % |
26.46/26.60 c | 85329 | 17884 78139 234919 | 2147483647 78444 11 | 51.858 % |
26.66/26.75 c | 85738 | 17564 75199 226259 | 2147483647 78381 11 | 51.921 % |
26.86/26.91 c | 86188 | 17546 75199 226259 | 2147483647 78831 11 | 51.921 % |
26.86/26.99 c | 86682 | 17546 75199 226259 | 2147483647 79325 12 | 51.921 % |
26.96/27.09 c | 87224 | 17546 75199 226259 | 2147483647 79867 12 | 51.921 % |
27.16/27.26 c | 87820 | 17540 75199 226259 | 2147483647 80459 12 | 51.951 % |
27.46/27.55 c | 88477 | 17525 75199 226259 | 2147483647 81110 12 | 52.000 % |
27.66/27.78 c | 89198 | 17525 75199 226259 | 2147483647 81831 12 | 52.000 % |
27.86/27.95 c | 89990 | 17523 75199 226259 | 2147483647 82623 12 | 52.000 % |
28.06/28.17 c | 90863 | 17517 74949 225516 | 2147483647 83413 12 | 52.000 % |
28.26/28.31 c | 91822 | 17516 74949 225516 | 2147483647 84371 12 | 52.003 % |
28.56/28.61 c | 92875 | 17516 74949 225516 | 2147483647 85424 12 | 52.003 % |
28.56/28.65 c | 92975 | 17516 74949 225516 | 2147483647 85524 12 | 52.003 % |
28.56/28.68 c | 93085 | 17516 74949 225516 | 2147483647 85634 12 | 52.003 % |
28.65/28.75 c | 93206 | 17515 74949 225516 | 2147483647 85754 12 | 52.006 % |
28.75/28.80 c | 93339 | 17515 74949 225516 | 2147483647 85887 12 | 52.006 % |
28.75/28.84 c | 93485 | 17514 74949 225516 | 2147483647 86032 12 | 52.009 % |
28.75/28.89 c | 93645 | 17512 74949 225516 | 2147483647 86191 12 | 52.020 % |
28.85/28.99 c | 93821 | 17511 74949 225516 | 2147483647 86366 12 | 52.025 % |
28.95/29.02 c | 94014 | 17511 74949 225516 | 2147483647 86559 12 | 52.025 % |
28.95/29.08 c | 94226 | 17511 74949 225516 | 2147483647 86771 12 | 52.025 % |
29.05/29.14 c | 94459 | 17511 74949 225516 | 2147483647 87004 12 | 52.025 % |
29.15/29.21 c | 94715 | 17508 74949 225516 | 2147483647 87258 12 | 52.033 % |
29.15/29.28 c | 94997 | 17508 74949 225516 | 2147483647 87540 12 | 52.033 % |
29.25/29.37 c | 95307 | 17508 74949 225516 | 2147483647 87850 12 | 52.033 % |
29.45/29.54 c | 95646 | 17472 74878 225316 | 2147483647 88142 12 | 52.244 % |
29.45/29.60 c | 96021 | 17031 74878 225316 | 2147483647 88429 12 | 54.127 % |
29.56/29.68 c | 96432 | 16902 74878 225316 | 2147483647 88824 12 | 54.286 % |
29.66/29.76 c | 96882 | 16871 74878 225316 | 2147483647 89268 12 | 54.365 % |
29.85/29.91 c | 97375 | 16865 74878 225316 | 2147483647 89755 12 | 54.384 % |
29.95/30.04 c | 97920 | 16861 74878 225316 | 2147483647 90298 12 | 54.395 % |
30.05/30.16 c | 98516 | 16860 74878 225316 | 2147483647 90893 12 | 54.398 % |
30.25/30.31 c | 99175 | 16860 74878 225316 | 2147483647 91552 12 | 54.398 % |
30.35/30.47 c | 99895 | 16860 74878 225316 | 2147483647 92272 12 | 54.398 % |
30.45/30.59 c | 100687 | 16860 74878 225316 | 2147483647 93064 12 | 54.398 % |
30.76/30.83 c | 101559 | 16856 74878 225316 | 2147483647 93934 12 | 54.508 % |
30.95/31.03 c | 102517 | 16602 71220 214348 | 2147483647 94227 12 | 54.508 % |
31.25/31.39 c | 103570 | 16598 71220 214348 | 2147483647 95277 12 | 54.519 % |
31.65/31.70 c | 104729 | 16598 71220 214348 | 2147483647 96436 12 | 54.519 % |
31.65/31.72 c | 104829 | 16598 71220 214348 | 2147483647 96536 12 | 54.519 % |
31.65/31.75 c | 104939 | 16598 71220 214348 | 2147483647 96646 12 | 54.519 % |
31.65/31.79 c | 105061 | 16598 71220 214348 | 2147483647 96768 12 | 54.519 % |
31.75/31.85 c | 105194 | 16598 71220 214348 | 2147483647 96901 12 | 54.519 % |
31.75/31.89 c | 105342 | 16598 71220 214348 | 2147483647 97049 12 | 54.519 % |
31.85/31.94 c | 105505 | 16598 71220 214348 | 2147483647 97212 12 | 54.519 % |
31.85/31.98 c | 105681 | 16598 71220 214348 | 2147483647 97388 12 | 54.519 % |
31.95/32.02 c | 105874 | 16598 71220 214348 | 2147483647 97581 12 | 54.519 % |
31.95/32.05 c | 106086 | 16598 71220 214348 | 2147483647 97793 12 | 54.519 % |
32.05/32.11 c | 106320 | 16597 71220 214348 | 2147483647 98026 12 | 54.521 % |
32.05/32.18 c | 106577 | 16597 71220 214348 | 2147483647 98283 12 | 54.521 % |
32.15/32.26 c | 106859 | 16596 71220 214348 | 2147483647 98564 12 | 54.524 % |
32.25/32.34 c | 107169 | 16596 71220 214348 | 2147483647 98874 12 | 54.524 % |
32.35/32.40 c | 107508 | 16596 71220 214348 | 2147483647 99213 12 | 54.524 % |
32.35/32.48 c | 107881 | 16596 71220 214348 | 2147483647 99586 12 | 54.524 % |
32.45/32.59 c | 108293 | 16596 71181 214244 | 2147483647 99977 12 | 54.524 % |
32.65/32.73 c | 108742 | 16596 71181 214244 | 2147483647 100426 12 | 54.524 % |
32.75/32.85 c | 109236 | 16596 71181 214244 | 2147483647 100920 12 | 54.524 % |
32.85/32.94 c | 109778 | 16596 71181 214244 | 2147483647 101462 12 | 54.524 % |
32.95/33.05 c | 110375 | 16595 71181 214244 | 2147483647 102058 12 | 54.527 % |
33.14/33.25 c | 111030 | 16595 71181 214244 | 2147483647 102713 12 | 54.527 % |
33.35/33.46 c | 111751 | 16594 71181 214244 | 2147483647 103433 12 | 54.530 % |
33.55/33.65 c | 112543 | 16594 71181 214244 | 2147483647 104225 12 | 54.530 % |
33.96/34.04 c | 113415 | 16592 71181 214244 | 2147483647 105095 12 | 54.535 % |
34.15/34.23 c | 114374 | 16590 71181 214244 | 2147483647 106052 12 | 54.540 % |
34.35/34.43 c | 115428 | 16590 71181 214244 | 2147483647 107106 13 | 54.540 % |
34.55/34.70 c | 116587 | 16590 71148 214154 | 2147483647 108230 13 | 54.540 % |
34.85/34.94 c | 117861 | 16581 71148 214154 | 2147483647 109502 13 | 54.576 % |
34.85/34.98 c | 117966 | 16581 71148 214154 | 2147483647 109607 13 | 54.576 % |
34.95/35.07 c | 118076 | 16561 71148 214154 | 2147483647 109712 13 | 54.658 % |
35.05/35.10 c | 118198 | 16558 71148 214154 | 2147483647 109834 13 | 54.658 % |
35.05/35.16 c | 118333 | 16558 71148 214154 | 2147483647 109969 13 | 54.658 % |
35.15/35.20 c | 118479 | 16557 71148 214154 | 2147483647 110114 13 | 54.661 % |
35.15/35.25 c | 118639 | 16556 71148 214154 | 2147483647 110273 13 | 54.664 % |
35.25/35.38 c | 118815 | 16553 71148 214154 | 2147483647 110447 13 | 54.686 % |
35.45/35.50 c | 119008 | 16546 71148 214154 | 2147483647 110638 13 | 54.710 % |
35.45/35.58 c | 119221 | 16545 71148 214154 | 2147483647 110850 13 | 54.713 % |
35.55/35.67 c | 119454 | 16536 71148 214154 | 2147483647 111082 13 | 54.749 % |
35.65/35.75 c | 119710 | 16534 71148 214154 | 2147483647 111336 13 | 54.754 % |
35.75/35.86 c | 119992 | 16534 71148 214154 | 2147483647 111618 13 | 54.754 % |
35.85/35.97 c | 120301 | 16532 71148 214154 | 2147483647 111927 13 | 54.754 % |
36.05/36.10 c | 120641 | 16523 71148 214154 | 2147483647 112266 13 | 54.765 % |
36.05/36.17 c | 121015 | 16523 71148 214154 | 2147483647 112640 13 | 54.765 % |
36.15/36.26 c | 121426 | 16523 71148 214154 | 2147483647 113051 13 | 54.765 % |
36.25/36.35 c | 121877 | 16523 71148 214154 | 2147483647 113502 13 | 54.765 % |
36.35/36.47 c | 122370 | 16523 71148 214154 | 2147483647 113995 13 | 54.765 % |
36.55/36.60 c | 122913 | 16508 70782 213066 | 2147483647 114374 13 | 54.765 % |
36.75/36.82 c | 123509 | 16506 70782 213066 | 2147483647 114968 13 | 54.773 % |
37.15/37.22 c | 124165 | 16505 70782 213066 | 2147483647 115623 13 | 54.776 % |
37.25/37.33 c | 124890 | 16505 70782 213066 | 2147483647 116348 13 | 54.776 % |
37.45/37.54 c | 125682 | 16499 70782 213066 | 2147483647 117136 13 | 54.823 % |
37.64/37.74 c | 126554 | 16497 70782 213066 | 2147483647 118006 13 | 54.828 % |
38.14/38.27 c | 127512 | 16374 70782 213066 | 2147483647 118932 14 | 55.242 % |
38.54/38.66 c | 128565 | 16335 70782 213066 | 2147483647 119973 14 | 55.384 % |
38.94/39.03 c | 129723 | 16278 69767 210074 | 2147483647 120754 14 | 55.395 % |
39.34/39.49 c | 130998 | 16276 69767 210074 | 2147483647 122027 14 | 55.401 % |
39.74/39.86 c | 132399 | 16253 69767 210074 | 2147483647 123421 14 | 55.469 % |
39.74/39.89 c | 132499 | 16253 69767 210074 | 2147483647 123521 14 | 55.469 % |
39.84/39.93 c | 132610 | 16253 69767 210074 | 2147483647 123632 14 | 55.469 % |
39.84/39.97 c | 132731 | 16253 69767 210074 | 2147483647 123753 14 | 55.469 % |
39.94/40.01 c | 132865 | 16253 69767 210074 | 2147483647 123887 14 | 55.469 % |
39.94/40.04 c | 133012 | 16253 69767 210074 | 2147483647 124034 14 | 55.469 % |
39.94/40.07 c | 133172 | 16253 69767 210074 | 2147483647 124194 14 | 55.469 % |
40.04/40.15 c | 133348 | 16253 69767 210074 | 2147483647 124370 14 | 55.469 % |
40.04/40.20 c | 133541 | 16253 69767 210074 | 2147483647 124563 14 | 55.469 % |
40.24/40.32 c | 133753 | 16249 69767 210074 | 2147483647 124772 14 | 55.480 % |
40.34/40.43 c | 133987 | 16247 69767 210074 | 2147483647 125004 14 | 55.494 % |
40.44/40.53 c | 134243 | 16246 69767 210074 | 2147483647 125259 14 | 55.497 % |
40.54/40.60 c | 134524 | 16246 69767 210074 | 2147483647 125540 14 | 55.497 % |
40.64/40.72 c | 134833 | 16245 69767 210074 | 2147483647 125848 14 | 55.500 % |
40.64/40.80 c | 135173 | 16245 69767 210074 | 2147483647 126188 14 | 55.500 % |
40.84/40.99 c | 135545 | 16235 69767 210074 | 2147483647 126558 14 | 55.546 % |
41.04/41.12 c | 135955 | 16221 69767 210074 | 2147483647 126964 14 | 55.584 % |
41.14/41.24 c | 136404 | 16221 69767 210074 | 2147483647 127413 14 | 55.584 % |
41.34/41.43 c | 136898 | 16206 69418 209047 | 2147483647 127738 14 | 55.601 % |
41.53/41.62 c | 137440 | 16194 69418 209047 | 2147483647 128276 14 | 55.634 % |
41.64/41.75 c | 138036 | 16194 69418 209047 | 2147483647 128872 14 | 55.634 % |
41.83/41.91 c | 138691 | 16192 69418 209047 | 2147483647 129525 14 | 55.639 % |
41.93/42.06 c | 139411 | 16192 69418 209047 | 2147483647 130245 14 | 55.639 % |
42.24/42.40 c | 140204 | 16153 69418 209047 | 2147483647 131025 14 | 55.878 % |
42.54/42.61 c | 141075 | 16152 69418 209047 | 2147483647 131895 14 | 55.880 % |
42.75/42.90 c | 142035 | 16150 69418 209047 | 2147483647 132853 14 | 55.886 % |
43.14/43.20 c | 143088 | 16147 69418 209047 | 2147483647 133904 14 | 55.894 % |
43.54/43.62 c | 144246 | 16146 69418 209047 | 2147483647 135061 14 | 55.897 % |
43.85/43.91 c | 145519 | 16144 69418 209047 | 2147483647 136333 14 | 55.911 % |
43.85/44.00 c | 146920 | 16139 69418 209047 | 2147483647 137731 14 | 55.924 % |
44.44/44.53 c | 148461 | 16018 68824 207316 | 2147483647 139049 14 | 56.168 % |
44.44/44.56 c | 148561 | 16018 68824 207316 | 2147483647 139149 14 | 56.168 % |
44.54/44.61 c | 148672 | 16017 68824 207316 | 2147483647 139259 14 | 56.171 % |
44.54/44.66 c | 148793 | 16017 68824 207316 | 2147483647 139380 14 | 56.171 % |
44.64/44.72 c | 148926 | 16017 68824 207316 | 2147483647 139513 14 | 56.171 % |
44.74/44.83 c | 149074 | 16017 68824 207316 | 2147483647 139661 14 | 56.171 % |
44.74/44.88 c | 149234 | 16017 68824 207316 | 2147483647 139821 14 | 56.171 % |
44.84/44.91 c | 149411 | 16013 68824 207316 | 2147483647 139996 14 | 56.185 % |
44.84/44.94 c | 149604 | 16013 68824 207316 | 2147483647 140189 14 | 56.185 % |
44.94/45.06 c | 149819 | 16012 68824 207316 | 2147483647 140404 14 | 56.185 % |
45.04/45.14 c | 150053 | 16012 68824 207316 | 2147483647 140638 14 | 56.185 % |
45.14/45.23 c | 150310 | 16011 68824 207316 | 2147483647 140894 14 | 56.187 % |
45.14/45.29 c | 150591 | 16011 68824 207316 | 2147483647 141175 14 | 56.187 % |
45.34/45.45 c | 150900 | 16011 68824 207316 | 2147483647 141484 14 | 56.187 % |
45.44/45.59 c | 151243 | 16011 68824 207316 | 2147483647 141827 14 | 56.187 % |
45.64/45.71 c | 151615 | 16011 68824 207316 | 2147483647 142199 14 | 56.187 % |
45.64/45.76 c | 152026 | 16011 68824 207316 | 2147483647 142610 14 | 56.187 % |
45.74/45.84 c | 152476 | 16011 68824 207316 | 2147483647 143060 14 | 56.187 % |
45.94/46.09 c | 152971 | 15994 68824 207316 | 2147483647 143552 14 | 56.261 % |
46.14/46.26 c | 153513 | 15993 68824 207316 | 2147483647 144093 14 | 56.264 % |
46.34/46.41 c | 154111 | 15993 68824 207316 | 2147483647 144691 14 | 56.264 % |
46.74/46.80 c | 154767 | 15992 68824 207316 | 2147483647 145346 15 | 56.267 % |
46.94/47.01 c | 155488 | 15992 68824 207316 | 2147483647 146067 15 | 56.267 % |
47.14/47.30 c | 156281 | 15959 68380 206021 | 2147483647 146700 15 | 56.270 % |
47.44/47.58 c | 157153 | 15959 68380 206021 | 2147483647 147572 15 | 56.270 % |
47.74/47.84 c | 158111 | 15959 68380 206021 | 2147483647 148530 15 | 56.270 % |
47.94/48.05 c | 159166 | 15959 68380 206021 | 2147483647 149585 15 | 56.270 % |
48.24/48.35 c | 160324 | 15958 68380 206021 | 2147483647 150742 15 | 56.272 % |
48.54/48.65 c | 161597 | 15958 68380 206021 | 2147483647 152015 15 | 56.272 % |
49.04/49.12 c | 162997 | 15958 68380 206021 | 2147483647 153415 15 | 56.272 % |
49.53/49.61 c | 164538 | 15956 68380 206021 | 2147483647 154955 15 | 56.278 % |
49.93/50.08 c | 166233 | 15859 68380 206021 | 2147483647 156622 15 | 56.946 % |
50.03/50.12 c | 166333 | 15859 68380 206021 | 2147483647 156722 15 | 56.946 % |
50.03/50.16 c | 166443 | 15859 68380 206021 | 2147483647 156832 15 | 56.946 % |
50.13/50.24 c | 166564 | 15859 68380 206021 | 2147483647 156953 15 | 56.946 % |
50.13/50.28 c | 166698 | 15859 68380 206021 | 2147483647 157087 15 | 56.946 % |
50.23/50.39 c | 166845 | 15712 67572 203411 | 2147483647 157017 15 | 56.946 % |
50.33/50.44 c | 167005 | 15712 67572 203411 | 2147483647 157177 15 | 56.946 % |
50.33/50.49 c | 167182 | 15712 67572 203411 | 2147483647 157354 15 | 56.946 % |
50.54/50.61 c | 167376 | 15712 67572 203411 | 2147483647 157548 15 | 56.946 % |
50.54/50.69 c | 167590 | 15712 67572 203411 | 2147483647 157762 15 | 56.946 % |
50.63/50.75 c | 167824 | 15712 67572 203411 | 2147483647 157996 15 | 56.946 % |
50.73/50.80 c | 168081 | 15712 67572 203411 | 2147483647 158253 15 | 56.946 % |
50.83/50.97 c | 168366 | 15712 67572 203411 | 2147483647 158538 15 | 56.946 % |
50.93/51.09 c | 168675 | 15712 67572 203411 | 2147483647 158847 15 | 56.946 % |
51.13/51.22 c | 169015 | 15712 67572 203411 | 2147483647 159187 15 | 56.946 % |
51.23/51.33 c | 169387 | 15687 67572 203411 | 2147483647 159558 15 | 57.015 % |
51.43/51.50 c | 169797 | 15686 67572 203411 | 2147483647 159967 15 | 57.018 % |
51.53/51.65 c | 170248 | 15686 67572 203411 | 2147483647 160418 15 | 57.018 % |
51.63/51.76 c | 170741 | 15686 67572 203411 | 2147483647 160911 15 | 57.018 % |
51.73/51.84 c | 171284 | 15686 67572 203411 | 2147483647 161454 15 | 57.018 % |
51.83/51.91 c | 171882 | 15686 67572 203411 | 2147483647 162052 15 | 57.018 % |
52.03/52.19 c | 172537 | 15685 67572 203411 | 2147483647 162706 15 | 57.020 % |
52.34/52.45 c | 173258 | 15684 67572 203411 | 2147483647 163426 15 | 57.023 % |
52.44/52.59 c | 174050 | 15684 67572 203411 | 2147483647 164218 15 | 57.023 % |
52.64/52.72 c | 174923 | 15684 67572 203411 | 2147483647 165091 15 | 57.023 % |
52.94/53.03 c | 175882 | 15684 67572 203411 | 2147483647 166050 15 | 57.023 % |
53.13/53.28 c | 176936 | 15684 67572 203411 | 2147483647 167104 15 | 57.023 % |
53.33/53.49 c | 178094 | 15684 67572 203411 | 2147483647 168262 15 | 57.023 % |
53.84/53.95 c | 179367 | 15683 67572 203411 | 2147483647 169534 15 | 57.026 % |
54.23/54.33 c | 180767 | 15683 67572 203411 | 2147483647 170934 15 | 57.026 % |
54.53/54.62 c | 182308 | 15682 67432 202999 | 2147483647 172351 16 | 57.029 % |
55.23/55.32 c | 184003 | 15681 67432 202999 | 2147483647 174045 16 | 57.031 % |
55.63/55.70 c | 185868 | 15681 67432 202999 | 2147483647 175910 16 | 57.031 % |
55.63/55.77 c | 185969 | 15681 67432 202999 | 2147483647 176011 16 | 57.031 % |
55.73/55.82 c | 186079 | 15681 67432 202999 | 2147483647 176121 16 | 57.031 % |
55.73/55.88 c | 186200 | 15681 67432 202999 | 2147483647 176242 16 | 57.031 % |
55.83/55.92 c | 186333 | 15677 67432 202999 | 2147483647 176374 16 | 57.059 % |
55.93/56.01 c | 186479 | 15674 67432 202999 | 2147483647 176518 16 | 57.067 % |
55.93/56.05 c | 186639 | 15674 67432 202999 | 2147483647 176678 16 | 57.067 % |
56.13/56.21 c | 186816 | 15674 67432 202999 | 2147483647 176855 16 | 57.067 % |
56.13/56.24 c | 187010 | 15674 67432 202999 | 2147483647 177049 16 | 57.067 % |
56.23/56.31 c | 187222 | 15674 67432 202999 | 2147483647 177261 16 | 57.067 % |
56.23/56.35 c | 187455 | 15674 67432 202999 | 2147483647 177494 16 | 57.067 % |
56.43/56.54 c | 187714 | 15674 67432 202999 | 2147483647 177753 16 | 57.067 % |
56.53/56.64 c | 187999 | 15662 67432 202999 | 2147483647 178037 16 | 57.103 % |
56.62/56.73 c | 188309 | 15662 67432 202999 | 2147483647 178347 16 | 57.103 % |
56.72/56.86 c | 188650 | 15662 67432 202999 | 2147483647 178688 16 | 57.103 % |
56.83/56.95 c | 189022 | 15662 67432 202999 | 2147483647 179060 16 | 57.103 % |
57.04/57.12 c | 189434 | 15662 67432 202999 | 2147483647 179472 16 | 57.103 % |
57.14/57.21 c | 189886 | 15662 67432 202999 | 2147483647 179924 16 | 57.103 % |
57.33/57.42 c | 190383 | 15654 67432 202999 | 2147483647 180419 16 | 57.130 % |
57.43/57.53 c | 190926 | 15652 67432 202999 | 2147483647 180962 16 | 57.130 % |
57.53/57.67 c | 191522 | 15652 67432 202999 | 2147483647 181558 16 | 57.130 % |
57.83/57.97 c | 192177 | 15652 67432 202999 | 2147483647 182213 16 | 57.130 % |
58.03/58.15 c | 192897 | 15652 67432 202999 | 2147483647 182933 16 | 57.130 % |
58.33/58.41 c | 193690 | 15652 67432 202999 | 2147483647 183726 16 | 57.130 % |
58.53/58.60 c | 194561 | 15652 67432 202999 | 2147483647 184597 16 | 57.130 % |
58.83/58.97 c | 195520 | 15650 67432 202999 | 2147483647 185555 16 | 57.135 % |
59.13/59.22 c | 196573 | 15650 67432 202999 | 2147483647 186608 16 | 57.135 % |
59.53/59.66 c | 197732 | 15650 67432 202999 | 2147483647 187767 16 | 57.135 % |
60.03/60.15 c | 199007 | 15641 67274 202532 | 2147483647 188969 16 | 57.141 % |
60.33/60.41 c | 200407 | 15641 67274 202532 | 2147483647 190369 16 | 57.141 % |
60.82/60.94 c | 201950 | 15637 67274 202532 | 2147483647 191909 17 | 57.152 % |
61.32/61.48 c | 203644 | 15636 67274 202532 | 2147483647 193602 17 | 57.157 % |
61.82/61.97 c | 205507 | 15634 67274 202532 | 2147483647 195463 17 | 57.168 % |
62.42/62.58 c | 207560 | 15634 67274 202532 | 2147483647 197516 17 | 57.168 % |
62.53/62.64 c | 207660 | 15634 67274 202532 | 2147483647 197616 17 | 57.168 % |
62.63/62.72 c | 207770 | 15634 67274 202532 | 2147483647 197726 17 | 57.168 % |
62.63/62.78 c | 207891 | 15634 67274 202532 | 2147483647 197847 17 | 57.168 % |
62.72/62.85 c | 208025 | 15634 67274 202532 | 2147483647 197981 17 | 57.168 % |
62.82/62.94 c | 208173 | 15634 67274 202532 | 2147483647 198129 17 | 57.168 % |
62.92/63.03 c | 208333 | 15634 67274 202532 | 2147483647 198289 17 | 57.168 % |
63.02/63.12 c | 208510 | 15634 67274 202532 | 2147483647 198466 17 | 57.168 % |
63.12/63.23 c | 208704 | 15634 67274 202532 | 2147483647 198660 17 | 57.168 % |
63.12/63.29 c | 208917 | 15632 67274 202532 | 2147483647 198873 17 | 57.168 % |
63.22/63.34 c | 209151 | 15632 67274 202532 | 2147483647 199107 17 | 57.168 % |
63.32/63.46 c | 209407 | 15632 67274 202532 | 2147483647 199363 17 | 57.168 % |
63.52/63.63 c | 209690 | 15629 67274 202532 | 2147483647 199644 17 | 57.177 % |
63.62/63.77 c | 210000 | 15629 67274 202532 | 2147483647 199954 17 | 57.177 % |
63.82/63.91 c | 210339 | 15629 67274 202532 | 2147483647 200293 17 | 57.177 % |
64.02/64.12 c | 210711 | 15628 67274 202532 | 2147483647 200664 17 | 57.179 % |
64.12/64.25 c | 211122 | 15628 67274 202532 | 2147483647 201075 17 | 57.179 % |
64.22/64.37 c | 211572 | 15628 67274 202532 | 2147483647 201525 17 | 57.179 % |
64.42/64.51 c | 212065 | 15628 67274 202532 | 2147483647 202018 17 | 57.179 % |
64.72/64.86 c | 212607 | 15628 67274 202532 | 2147483647 202560 17 | 57.179 % |
64.82/64.97 c | 213203 | 15628 67274 202532 | 2147483647 203156 17 | 57.179 % |
65.02/65.17 c | 213859 | 15626 67274 202532 | 2147483647 203811 17 | 57.185 % |
65.32/65.46 c | 214582 | 15613 67274 202532 | 2147483647 204531 17 | 57.220 % |
65.72/65.88 c | 215374 | 15598 67120 202086 | 2147483647 205205 17 | 57.264 % |
66.12/66.28 c | 216245 | 15598 67120 202086 | 2147483647 206076 17 | 57.264 % |
66.32/66.43 c | 217203 | 15598 67120 202086 | 2147483647 207034 17 | 57.264 % |
66.62/66.77 c | 218256 | 15597 67120 202086 | 2147483647 208086 17 | 57.267 % |
67.23/67.32 c | 219414 | 15597 67120 202086 | 2147483647 209244 18 | 57.267 % |
67.63/67.73 c | 220687 | 15594 67120 202086 | 2147483647 210516 18 | 57.278 % |
68.22/68.38 c | 222088 | 15585 67120 202086 | 2147483647 211914 18 | 57.357 % |
68.72/68.81 c | 223628 | 15585 67120 202086 | 2147483647 213454 18 | 57.357 % |
69.13/69.25 c | 225323 | 15584 67120 202086 | 2147483647 215148 18 | 57.360 % |
69.62/69.78 c | 227186 | 15584 67120 202086 | 2147483647 217011 18 | 57.360 % |
70.23/70.35 c | 229235 | 15584 67120 202086 | 2147483647 219060 18 | 57.360 % |
71.02/71.10 c | 231488 | 15583 67120 202086 | 2147483647 221312 18 | 57.363 % |
71.02/71.16 c | 231589 | 15583 67120 202086 | 2147483647 221413 18 | 57.363 % |
71.02/71.18 c | 231700 | 15583 67120 202086 | 2147483647 221524 18 | 57.363 % |
71.12/71.26 c | 231821 | 15583 67120 202086 | 2147483647 221645 18 | 57.363 % |
71.22/71.32 c | 231954 | 15583 67120 202086 | 2147483647 221778 18 | 57.363 % |
71.33/71.42 c | 232100 | 15583 67120 202086 | 2147483647 221924 18 | 57.363 % |
71.43/71.51 c | 232260 | 15583 67120 202086 | 2147483647 222084 18 | 57.363 % |
71.52/71.63 c | 232436 | 15580 67120 202086 | 2147483647 222259 18 | 57.371 % |
71.52/71.70 c | 232630 | 15580 67120 202086 | 2147483647 222453 18 | 57.371 % |
71.72/71.81 c | 232842 | 15580 67120 202086 | 2147483647 222665 18 | 57.371 % |
71.82/71.92 c | 233075 | 15580 67120 202086 | 2147483647 222898 18 | 57.371 % |
71.92/72.08 c | 233331 | 15580 67120 202086 | 2147483647 223154 18 | 57.371 % |
72.12/72.20 c | 233612 | 15580 67120 202086 | 2147483647 223435 18 | 57.371 % |
72.22/72.37 c | 233923 | 15580 67120 202086 | 2147483647 223746 18 | 57.371 % |
72.32/72.50 c | 234262 | 15557 66870 201356 | 2147483647 223952 18 | 57.371 % |
72.42/72.60 c | 234635 | 15557 66870 201356 | 2147483647 224325 18 | 57.371 % |
72.52/72.65 c | 235045 | 15557 66870 201356 | 2147483647 224735 18 | 57.371 % |
72.62/72.80 c | 235496 | 15557 66870 201356 | 2147483647 225186 18 | 57.371 % |
72.92/73.00 c | 235989 | 15557 66870 201356 | 2147483647 225679 18 | 57.371 % |
73.12/73.20 c | 236531 | 15557 66870 201356 | 2147483647 226221 18 | 57.371 % |
73.32/73.42 c | 237127 | 15557 66870 201356 | 2147483647 226817 18 | 57.371 % |
73.52/73.65 c | 237782 | 15557 66870 201356 | 2147483647 227472 18 | 57.371 % |
73.72/73.86 c | 238506 | 15557 66870 201356 | 2147483647 228196 18 | 57.371 % |
74.02/74.13 c | 239298 | 15557 66870 201356 | 2147483647 228988 18 | 57.371 % |
74.41/74.56 c | 240169 | 15550 66870 201356 | 2147483647 229856 18 | 57.398 % |
74.81/74.99 c | 241127 | 15549 66870 201356 | 2147483647 230813 18 | 57.401 % |
75.31/75.47 c | 242182 | 15547 66870 201356 | 2147483647 231866 18 | 57.407 % |
76.42/76.52 c | 243340 | 15546 66870 201356 | 2147483647 233023 19 | 57.409 % |
77.02/77.15 c | 244613 | 15545 66870 201356 | 2147483647 234295 19 | 57.412 % |
77.62/77.75 c | 246013 | 15541 66870 201356 | 2147483647 235692 19 | 57.423 % |
78.12/78.25 c | 247554 | 15541 66870 201356 | 2147483647 237233 19 | 57.423 % |
78.82/78.99 c | 249248 | 15540 66870 201356 | 2147483647 238926 19 | 57.429 % |
79.22/79.30 c | 251111 | 15538 66870 201356 | 2147483647 240788 19 | 57.434 % |
79.82/79.94 c | 253162 | 15538 66870 201356 | 2147483647 242839 19 | 57.434 % |
80.51/80.67 c | 255415 | 15538 66870 201356 | 2147483647 245092 19 | 57.434 % |
81.11/81.23 c | 257893 | 15526 66750 201018 | 2147483647 247493 19 | 57.456 % |
81.21/81.33 c | 257993 | 15526 66750 201018 | 2147483647 247593 19 | 57.456 % |
81.31/81.41 c | 258104 | 15526 66750 201018 | 2147483647 247704 19 | 57.456 % |
81.31/81.45 c | 258226 | 15526 66750 201018 | 2147483647 247826 19 | 57.456 % |
81.41/81.54 c | 258360 | 15526 66750 201018 | 2147483647 247960 19 | 57.456 % |
81.51/81.63 c | 258506 | 15526 66750 201018 | 2147483647 248106 19 | 57.456 % |
81.61/81.74 c | 258667 | 15526 66750 201018 | 2147483647 248267 19 | 57.456 % |
81.71/81.84 c | 258845 | 15526 66750 201018 | 2147483647 248445 19 | 57.456 % |
81.81/81.92 c | 259038 | 15526 66750 201018 | 2147483647 248638 19 | 57.456 % |
81.91/82.08 c | 259250 | 15526 66750 201018 | 2147483647 248850 19 | 57.456 % |
82.01/82.17 c | 259484 | 15526 66750 201018 | 2147483647 249084 19 | 57.456 % |
82.21/82.32 c | 259741 | 15526 66750 201018 | 2147483647 249341 19 | 57.456 % |
82.21/82.38 c | 260022 | 15526 66750 201018 | 2147483647 249622 19 | 57.456 % |
82.41/82.52 c | 260331 | 15526 66750 201018 | 2147483647 249931 19 | 57.456 % |
82.51/82.68 c | 260670 | 15526 66750 201018 | 2147483647 250270 19 | 57.456 % |
82.71/82.82 c | 261042 | 15526 66750 201018 | 2147483647 250642 19 | 57.456 % |
82.81/82.94 c | 261451 | 15526 66750 201018 | 2147483647 251051 19 | 57.456 % |
83.01/83.17 c | 261900 | 15526 66750 201018 | 2147483647 251500 19 | 57.456 % |
83.11/83.28 c | 262393 | 15526 66750 201018 | 2147483647 251993 19 | 57.456 % |
83.31/83.49 c | 262935 | 15526 66750 201018 | 2147483647 252535 19 | 57.456 % |
83.51/83.69 c | 263533 | 15524 66750 201018 | 2147483647 253132 19 | 57.462 % |
83.91/84.02 c | 264188 | 15520 66750 201018 | 2147483647 253786 19 | 57.478 % |
84.11/84.25 c | 264909 | 15520 66750 201018 | 2147483647 254507 19 | 57.478 % |
84.41/84.51 c | 265701 | 15517 66750 201018 | 2147483647 255298 19 | 57.486 % |
84.70/84.88 c | 266572 | 15515 66750 201018 | 2147483647 256167 19 | 57.492 % |
85.00/85.14 c | 267531 | 15515 66750 201018 | 2147483647 257126 19 | 57.492 % |
85.50/85.66 c | 268584 | 15514 66750 201018 | 2147483647 258178 19 | 57.494 % |
85.80/85.93 c | 269742 | 15514 66750 201018 | 2147483647 259336 19 | 57.494 % |
86.41/86.50 c | 271015 | 15512 66750 201018 | 2147483647 260608 19 | 57.500 % |
86.91/87.03 c | 272418 | 15512 66750 201018 | 2147483647 262011 19 | 57.500 % |
87.51/87.69 c | 273960 | 15512 66750 201018 | 2147483647 263553 19 | 57.500 % |
87.91/88.07 c | 275654 | 15511 66750 201018 | 2147483647 265246 19 | 57.503 % |
88.51/88.65 c | 277517 | 15511 66750 201018 | 2147483647 267109 19 | 57.503 % |
89.11/89.26 c | 279567 | 15511 66750 201018 | 2147483647 269159 19 | 57.503 % |
89.71/89.86 c | 281820 | 15508 66750 201018 | 2147483647 271410 19 | 57.511 % |
90.50/90.67 c | 284299 | 15508 66750 201018 | 2147483647 273889 19 | 57.511 % |
91.90/92.04 c | 287024 | 15506 66615 200637 | 2147483647 276503 20 | 57.511 % |
92.00/92.12 c | 287124 | 15506 66615 200637 | 2147483647 276603 20 | 57.511 % |
92.00/92.17 c | 287234 | 15506 66615 200637 | 2147483647 276713 20 | 57.511 % |
92.10/92.29 c | 287355 | 15506 66615 200637 | 2147483647 276834 20 | 57.511 % |
92.21/92.34 c | 287488 | 15506 66615 200637 | 2147483647 276967 20 | 57.511 % |
92.31/92.44 c | 287634 | 15506 66615 200637 | 2147483647 277113 20 | 57.511 % |
92.40/92.51 c | 287794 | 15506 66615 200637 | 2147483647 277273 20 | 57.511 % |
92.50/92.64 c | 287970 | 15506 66615 200637 | 2147483647 277449 20 | 57.511 % |
92.60/92.76 c | 288163 | 15506 66615 200637 | 2147483647 277642 20 | 57.511 % |
92.70/92.83 c | 288375 | 15506 66615 200637 | 2147483647 277854 20 | 57.511 % |
92.80/92.94 c | 288608 | 15506 66615 200637 | 2147483647 278087 20 | 57.511 % |
93.00/93.12 c | 288864 | 15506 66615 200637 | 2147483647 278343 20 | 57.511 % |
93.10/93.28 c | 289145 | 15506 66615 200637 | 2147483647 278624 20 | 57.511 % |
93.31/93.46 c | 289454 | 15503 66615 200637 | 2147483647 278932 20 | 57.522 % |
93.50/93.67 c | 289795 | 15503 66615 200637 | 2147483647 279273 20 | 57.522 % |
93.80/93.94 c | 290169 | 15502 66615 200637 | 2147483647 279646 20 | 57.527 % |
94.00/94.18 c | 290579 | 15502 66615 200637 | 2147483647 280056 20 | 57.527 % |
94.40/94.52 c | 291028 | 15502 66615 200637 | 2147483647 280505 20 | 57.527 % |
94.51/94.67 c | 291521 | 15502 66615 200637 | 2147483647 280998 20 | 57.527 % |
95.00/95.17 c | 292065 | 15502 66615 200637 | 2147483647 281542 20 | 57.527 % |
95.20/95.37 c | 292661 | 15502 66615 200637 | 2147483647 282138 20 | 57.527 % |
95.30/95.46 c | 293316 | 15502 66615 200637 | 2147483647 282793 20 | 57.527 % |
95.51/95.65 c | 294039 | 15492 66615 200637 | 2147483647 283512 20 | 57.560 % |
96.00/96.19 c | 294831 | 15492 66615 200637 | 2147483647 284304 20 | 57.560 % |
96.61/96.73 c | 295703 | 15491 66615 200637 | 2147483647 285175 20 | 57.563 % |
96.90/97.00 c | 296662 | 15490 66615 200637 | 2147483647 286133 20 | 57.566 % |
97.30/97.40 c | 297716 | 15485 66615 200637 | 2147483647 287185 20 | 57.579 % |
97.80/97.91 c | 298874 | 15485 66615 200637 | 2147483647 288343 20 | 57.579 % |
98.10/98.20 c | 300148 | 15485 66615 200637 | 2147483647 289617 20 | 57.579 % |
98.50/98.65 c | 301548 | 15485 66615 200637 | 2147483647 291017 20 | 57.579 % |
99.31/99.42 c | 303088 | 15485 66615 200637 | 2147483647 292557 20 | 57.579 % |
100.01/100.13 c | 304782 | 15485 66615 200637 | 2147483647 294251 20 | 57.579 % |
100.80/100.93 c | 306645 | 15484 66615 200637 | 2147483647 296113 20 | 57.582 % |
101.11/101.28 c | 308695 | 15484 66615 200637 | 2147483647 298163 20 | 57.582 % |
102.21/102.32 c | 310950 | 15484 66615 200637 | 2147483647 300418 20 | 57.582 % |
102.70/102.83 c | 313428 | 15484 66615 200637 | 2147483647 302896 20 | 57.582 % |
104.30/104.46 c | 316153 | 15478 66480 200265 | 2147483647 305537 21 | 57.588 % |
105.30/105.40 c | 319150 | 15477 66480 200265 | 2147483647 308533 21 | 57.590 % |
105.30/105.46 c | 319253 | 15477 66480 200265 | 2147483647 308636 21 | 57.590 % |
105.40/105.52 c | 319363 | 15477 66480 200265 | 2147483647 308746 21 | 57.590 % |
105.40/105.59 c | 319485 | 15477 66480 200265 | 2147483647 308868 21 | 57.590 % |
105.60/105.72 c | 319618 | 15477 66480 200265 | 2147483647 309001 21 | 57.590 % |
105.70/105.85 c | 319765 | 15477 66480 200265 | 2147483647 309148 21 | 57.590 % |
105.80/105.98 c | 319925 | 15475 66480 200265 | 2147483647 309307 21 | 57.596 % |
105.89/106.08 c | 320101 | 15475 66480 200265 | 309382 309483 21 | 57.596 % |
106.09/106.24 c | 320294 | 15475 66480 200265 | 309382 309676 21 | 57.596 % |
106.19/106.38 c | 320508 | 15475 66480 200265 | 309382 309890 21 | 57.596 % |
106.39/106.56 c | 320741 | 15475 66480 200265 | 309382 310123 21 | 57.596 % |
106.60/106.74 c | 320997 | 15475 66480 200265 | 309382 310379 21 | 57.596 % |
106.70/106.88 c | 321279 | 15475 66480 200265 | 309382 310661 21 | 57.596 % |
106.89/107.06 c | 321588 | 15475 66480 200265 | 309382 310970 21 | 57.596 % |
107.09/107.23 c | 321927 | 15475 66480 200265 | 309382 311309 21 | 57.596 % |
107.29/107.47 c | 322299 | 15474 66480 200265 | 309382 311680 21 | 57.599 % |
107.49/107.67 c | 322710 | 15474 66480 200265 | 309382 312091 21 | 57.599 % |
107.70/107.88 c | 323160 | 15473 66480 200265 | 309382 312540 21 | 57.601 % |
107.99/108.13 c | 323653 | 15473 66480 200265 | 309382 313033 21 | 57.601 % |
108.19/108.38 c | 324195 | 15470 66480 200265 | 309382 313574 21 | 57.609 % |
108.49/108.63 c | 324792 | 15470 66480 200265 | 309382 314171 21 | 57.609 % |
108.70/108.85 c | 325447 | 15470 66480 200265 | 309382 314826 21 | 57.609 % |
108.89/109.06 c | 326169 | 15470 66480 200265 | 309382 315548 21 | 57.609 % |
109.09/109.24 c | 326962 | 15470 66480 200265 | 309382 316341 21 | 57.609 % |
109.60/109.79 c | 327833 | 15470 66480 200265 | 309382 317212 21 | 57.609 % |
110.00/110.10 c | 328793 | 15470 66480 200265 | 309382 318172 21 | 57.609 % |
110.40/110.50 c | 329852 | 15470 66480 200265 | 309382 319231 21 | 57.609 % |
110.70/110.82 c | 331010 | 15470 66480 200265 | 319379 320389 21 | 57.609 % |
111.30/111.41 c | 332283 | 15470 66480 200265 | 319379 321662 21 | 57.609 % |
112.10/112.24 c | 333687 | 15459 66480 200265 | 319379 323064 22 | 57.662 % |
112.80/112.96 c | 335228 | 15457 66480 200265 | 319379 324604 22 | 57.664 % |
113.70/113.84 c | 336922 | 15457 66480 200265 | 319379 326298 22 | 57.664 % |
114.20/114.35 c | 338785 | 15457 66480 200265 | 319379 328161 22 | 57.664 % |
114.49/114.61 c | 340834 | 15457 66480 200265 | 329377 330210 22 | 57.664 % |
115.19/115.33 c | 343087 | 15456 66480 200265 | 329377 332462 22 | 57.667 % |
116.09/116.28 c | 345565 | 15456 66480 200265 | 329377 334940 22 | 57.667 % |
117.20/117.32 c | 348293 | 15456 66480 200265 | 329377 337668 22 | 57.667 % |
117.99/118.10 c | 351291 | 15456 66480 200265 | 339375 340666 22 | 57.667 % |
118.89/119.06 c | 354589 | 15455 66480 200265 | 339375 343963 22 | 57.670 % |
118.89/119.09 c | 354689 | 15455 66480 200265 | 339375 344063 22 | 57.670 % |
118.99/119.15 c | 354799 | 15455 66480 200265 | 339375 344173 22 | 57.670 % |
119.09/119.22 c | 354924 | 15455 66480 200265 | 339375 344298 22 | 57.670 % |
119.09/119.29 c | 355058 | 15455 66480 200265 | 339375 344432 22 | 57.670 % |
119.29/119.43 c | 355205 | 15455 66480 200265 | 339375 344579 22 | 57.670 % |
119.39/119.52 c | 355365 | 15455 66480 200265 | 339375 344739 22 | 57.670 % |
119.39/119.59 c | 355541 | 15455 66480 200265 | 339375 344915 22 | 57.670 % |
119.59/119.80 c | 355735 | 15455 66480 200265 | 339375 345109 22 | 57.670 % |
119.79/119.91 c | 355948 | 15455 66480 200265 | 339375 345322 22 | 57.670 % |
119.89/120.05 c | 356181 | 15455 66480 200265 | 339375 345555 22 | 57.670 % |
120.09/120.20 c | 356440 | 15455 66480 200265 | 339375 345814 22 | 57.670 % |
120.29/120.45 c | 356721 | 15454 66480 200265 | 339375 346094 22 | 57.675 % |
120.59/120.72 c | 357031 | 15453 66480 200265 | 339375 346403 22 | 57.678 % |
120.79/120.94 c | 357370 | 15453 66480 200265 | 339375 346742 22 | 57.678 % |
120.99/121.17 c | 357743 | 15453 66480 200265 | 339375 347115 22 | 57.678 % |
121.09/121.29 c | 358152 | 15453 66480 200265 | 339375 347524 22 | 57.678 % |
121.39/121.59 c | 358603 | 15452 66480 200265 | 339375 347974 22 | 57.681 % |
121.70/121.88 c | 359098 | 15452 66480 200265 | 339375 348469 22 | 57.681 % |
122.10/122.22 c | 359640 | 15444 66325 199808 | 339375 348883 22 | 57.681 % |
122.30/122.45 c | 360236 | 15444 66325 199808 | 349243 349479 22 | 57.681 % |
122.59/122.79 c | 360891 | 15444 66325 199808 | 349243 350134 22 | 57.681 % |
123.19/123.39 c | 361611 | 15435 66325 199808 | 349243 350852 22 | 57.705 % |
123.69/123.87 c | 362403 | 15435 66325 199808 | 349243 351644 22 | 57.705 % |
124.29/124.48 c | 363276 | 15434 66325 199808 | 349243 352516 22 | 57.708 % |
124.79/125.00 c | 364236 | 15434 66325 199808 | 349243 353476 22 | 57.708 % |
125.20/125.36 c | 365293 | 15434 66325 199808 | 349243 354533 22 | 57.708 % |
126.29/126.48 c | 366451 | 15434 66325 199808 | 349243 355691 22 | 57.708 % |
126.79/126.92 c | 367726 | 15434 66325 199808 | 349243 356966 22 | 57.708 % |
127.49/127.68 c | 369128 | 15434 66325 199808 | 349243 358368 22 | 57.708 % |
127.89/128.01 c | 370668 | 15434 66325 199808 | 359240 359908 22 | 57.708 % |
128.39/128.51 c | 372364 | 15433 66325 199808 | 359240 361603 22 | 57.711 % |
129.19/129.37 c | 374228 | 15433 66325 199808 | 359240 363467 22 | 57.711 % |
129.89/130.05 c | 376278 | 15433 66325 199808 | 359240 365517 22 | 57.711 % |
130.89/131.02 c | 378532 | 15433 66325 199808 | 359240 367771 22 | 57.711 % |
131.79/131.95 c | 381010 | 15433 66325 199808 | 369239 370249 22 | 57.711 % |
132.69/132.82 c | 383735 | 15432 66325 199808 | 369239 372973 22 | 57.714 % |
134.19/134.31 c | 386732 | 15432 66325 199808 | 369239 375970 22 | 57.714 % |
136.99/137.10 c | 390029 | 15432 66325 199808 | 379238 379267 23 | 57.714 % |
138.18/138.36 c | 393657 | 15432 66325 199808 | 379238 382895 23 | 57.714 % |
138.28/138.45 c | 393757 | 15430 66325 199808 | 379238 382994 23 | 57.719 % |
138.39/138.54 c | 393867 | 15430 66325 199808 | 379238 383104 23 | 57.719 % |
138.48/138.63 c | 393989 | 15430 66325 199808 | 379238 383226 23 | 57.719 % |
138.68/138.84 c | 394122 | 15430 66325 199808 | 379238 383359 23 | 57.719 % |
138.78/138.94 c | 394270 | 15430 66325 199808 | 379238 383507 23 | 57.719 % |
138.88/139.05 c | 394430 | 15430 66325 199808 | 379238 383667 23 | 57.719 % |
138.98/139.14 c | 394606 | 15430 66325 199808 | 379238 383843 23 | 57.719 % |
139.18/139.31 c | 394800 | 15429 66325 199808 | 379238 384036 23 | 57.722 % |
139.28/139.48 c | 395013 | 15429 66325 199808 | 379238 384249 23 | 57.722 % |
139.48/139.65 c | 395246 | 15429 66325 199808 | 379238 384482 23 | 57.722 % |
139.58/139.78 c | 395503 | 15429 66325 199808 | 379238 384739 23 | 57.722 % |
139.89/140.03 c | 395786 | 15429 66325 199808 | 379238 385022 23 | 57.722 % |
140.09/140.25 c | 396097 | 15427 66325 199808 | 379238 385332 23 | 57.727 % |
140.39/140.51 c | 396437 | 15427 66325 199808 | 379238 385672 23 | 57.727 % |
140.59/140.74 c | 396812 | 15427 66325 199808 | 379238 386047 23 | 57.727 % |
140.59/140.80 c | 397222 | 15427 66325 199808 | 379238 386457 23 | 57.727 % |
140.79/140.94 c | 397671 | 15425 66325 199808 | 379238 386905 23 | 57.738 % |
141.09/141.27 c | 398165 | 15425 66325 199808 | 379238 387399 23 | 57.738 % |
141.39/141.50 c | 398708 | 15425 66325 199808 | 379238 387942 23 | 57.738 % |
141.69/141.86 c | 399304 | 15425 66325 199808 | 379238 388538 23 | 57.738 % |
142.09/142.21 c | 399963 | 15425 66325 199808 | 379238 389197 23 | 57.738 % |
142.39/142.53 c | 400683 | 15425 66325 199808 | 389234 389917 23 | 57.738 % |
142.59/142.79 c | 401475 | 15425 66325 199808 | 389234 390709 23 | 57.738 % |
143.19/143.30 c | 402346 | 15425 66325 199808 | 389234 391580 23 | 57.738 % |
143.69/143.89 c | 403305 | 15424 66325 199808 | 389234 392538 23 | 57.741 % |
144.09/144.29 c | 404359 | 15424 66325 199808 | 389234 393592 23 | 57.741 % |
145.09/145.25 c | 405517 | 15424 66325 199808 | 389234 394750 23 | 57.741 % |
145.78/145.96 c | 406790 | 15423 66325 199808 | 389234 396022 23 | 57.744 % |
146.48/146.63 c | 408190 | 15423 66325 199808 | 389234 397422 23 | 57.744 % |
147.29/147.43 c | 409730 | 15421 66210 199481 | 389234 398860 23 | 57.744 % |
148.18/148.35 c | 411424 | 15421 66210 199481 | 399130 400554 23 | 57.744 % |
148.78/149.00 c | 413288 | 15421 66210 199481 | 399130 402418 23 | 57.744 % |
149.68/149.80 c | 415339 | 15420 66210 199481 | 399130 404468 23 | 57.746 % |
151.28/151.48 c | 417596 | 15420 66210 199481 | 399130 406725 23 | 57.746 % |
153.57/153.77 c | 420075 | 15412 66210 199481 | 409128 409203 23 | 57.768 % |
154.78/154.94 c | 422800 | 15412 66210 199481 | 409128 411928 23 | 57.768 % |
157.18/157.32 c | 425797 | 15412 66210 199481 | 409128 414925 24 | 57.768 % |
158.48/158.64 c | 429093 | 15412 66210 199481 | 409128 418221 24 | 57.768 % |
160.57/160.71 c | 432718 | 15410 66210 199481 | 419128 421844 24 | 57.774 % |
163.37/163.52 c | 436705 | 15410 66210 199481 | 419128 425831 24 | 57.774 % |
163.47/163.61 c | 436806 | 15410 66210 199481 | 419128 425932 24 | 57.774 % |
163.47/163.68 c | 436917 | 15410 66210 199481 | 419128 426043 24 | 57.774 % |
163.58/163.79 c | 437039 | 15410 66210 199481 | 419128 426165 24 | 57.774 % |
163.79/163.91 c | 437173 | 15410 66210 199481 | 419128 426299 24 | 57.774 % |
163.88/164.07 c | 437319 | 15410 66210 199481 | 419128 426445 24 | 57.774 % |
163.98/164.19 c | 437479 | 15410 66210 199481 | 419128 426605 24 | 57.774 % |
164.18/164.37 c | 437656 | 15410 66210 199481 | 419128 426782 24 | 57.774 % |
164.48/164.63 c | 437850 | 15410 66210 199481 | 419128 426976 24 | 57.774 % |
164.58/164.75 c | 438064 | 15410 66210 199481 | 419128 427190 24 | 57.774 % |
164.78/164.96 c | 438297 | 15410 66210 199481 | 419128 427423 24 | 57.774 % |
164.98/165.17 c | 438553 | 15410 66210 199481 | 419128 427679 24 | 57.774 % |
165.28/165.47 c | 438834 | 15410 66210 199481 | 419128 427960 24 | 57.774 % |
165.58/165.74 c | 439143 | 15410 66210 199481 | 419128 428269 24 | 57.774 % |
165.78/165.94 c | 439482 | 15410 66210 199481 | 419128 428608 24 | 57.774 % |
165.98/166.18 c | 439855 | 15410 66210 199481 | 419128 428981 24 | 57.774 % |
166.28/166.46 c | 440264 | 15410 66210 199481 | 429126 429390 24 | 57.774 % |
166.78/166.93 c | 440713 | 15410 66210 199481 | 429126 429839 24 | 57.774 % |
167.08/167.22 c | 441206 | 15410 66210 199481 | 429126 430332 24 | 57.774 % |
167.58/167.75 c | 441748 | 15410 66210 199481 | 429126 430874 24 | 57.774 % |
168.08/168.22 c | 442344 | 15410 66210 199481 | 429126 431470 24 | 57.774 % |
168.47/168.62 c | 442999 | 15410 66210 199481 | 429126 432125 24 | 57.774 % |
168.97/169.13 c | 443720 | 15410 66210 199481 | 429126 432846 24 | 57.774 % |
169.37/169.51 c | 444513 | 15410 66210 199481 | 429126 433639 24 | 57.774 % |
169.87/170.05 c | 445387 | 15410 66210 199481 | 429126 434513 24 | 57.774 % |
170.28/170.50 c | 446345 | 15410 66210 199481 | 429126 435471 24 | 57.774 % |
171.07/171.24 c | 447398 | 15410 66210 199481 | 429126 436524 24 | 57.774 % |
172.07/172.27 c | 448557 | 15410 66210 199481 | 429126 437683 24 | 57.774 % |
172.67/172.82 c | 449830 | 15410 66210 199481 | 429126 438956 24 | 57.774 % |
172.97/173.10 c | 451232 | 15410 66210 199481 | 439127 440358 24 | 57.774 % |
174.07/174.26 c | 452774 | 15409 66210 199481 | 439127 441899 24 | 57.777 % |
175.17/175.39 c | 454469 | 15409 66210 199481 | 439127 443594 24 | 57.777 % |
176.57/176.70 c | 456332 | 15408 66210 199481 | 439127 445456 25 | 57.779 % |
177.27/177.47 c | 458381 | 15408 66210 199481 | 439127 447505 25 | 57.779 % |
178.57/178.73 c | 460634 | 15408 66210 199481 | 449124 449758 25 | 57.779 % |
179.57/179.76 c | 463114 | 15408 66210 199481 | 449124 452238 25 | 57.779 % |
183.47/183.66 c | 465839 | 15408 66210 199481 | 449124 454963 25 | 57.779 % |
184.67/184.88 c | 468836 | 15408 66142 199287 | 449124 457901 25 | 57.779 % |
187.07/187.24 c | 472135 | 15408 66142 199287 | 459065 461200 26 | 57.779 % |
188.27/188.44 c | 475760 | 15408 66142 199287 | 459065 464825 26 | 57.779 % |
189.97/190.18 c | 479748 | 15408 66142 199287 | 459065 468813 26 | 57.779 % |
191.96/192.12 c | 484133 | 15408 66142 199287 | 469067 473198 26 | 57.779 % |
192.06/192.23 c | 484235 | 15408 66142 199287 | 469067 473300 26 | 57.779 % |
192.16/192.31 c | 484346 | 15408 66142 199287 | 469067 473411 26 | 57.779 % |
192.16/192.37 c | 484469 | 15408 66142 199287 | 469067 473534 26 | 57.779 % |
192.37/192.51 c | 484602 | 15408 66142 199287 | 469067 473667 26 | 57.779 % |
192.46/192.67 c | 484750 | 15408 66142 199287 | 469067 473815 26 | 57.779 % |
192.66/192.83 c | 484913 | 15408 66142 199287 | 469067 473978 26 | 57.779 % |
192.76/192.94 c | 485090 | 15408 66142 199287 | 469067 474155 26 | 57.779 % |
193.06/193.23 c | 485283 | 15408 66142 199287 | 469067 474348 26 | 57.779 % |
193.26/193.47 c | 485495 | 15408 66142 199287 | 469067 474560 26 | 57.779 % |
193.46/193.67 c | 485728 | 15408 66142 199287 | 469067 474793 26 | 57.779 % |
193.66/193.82 c | 485984 | 15408 66142 199287 | 469067 475049 26 | 57.779 % |
193.86/194.08 c | 486265 | 15408 66142 199287 | 469067 475330 26 | 57.779 % |
194.16/194.39 c | 486574 | 15408 66142 199287 | 469067 475639 26 | 57.779 % |
194.46/194.63 c | 486913 | 15408 66142 199287 | 469067 475978 26 | 57.779 % |
194.66/194.86 c | 487285 | 15408 66142 199287 | 469067 476350 26 | 57.779 % |
194.85/195.07 c | 487694 | 15408 66142 199287 | 469067 476759 26 | 57.779 % |
195.15/195.32 c | 488145 | 15407 66142 199287 | 469067 477209 26 | 57.788 % |
195.45/195.62 c | 488639 | 15406 66142 199287 | 469067 477702 26 | 57.790 % |
195.85/196.07 c | 489183 | 15406 66142 199287 | 469067 478246 26 | 57.790 % |
196.15/196.30 c | 489780 | 15406 66142 199287 | 469067 478843 26 | 57.790 % |
196.55/196.74 c | 490435 | 15406 66142 199287 | 479066 479498 26 | 57.790 % |
196.95/197.15 c | 491156 | 15406 66142 199287 | 479066 480219 26 | 57.790 % |
197.35/197.55 c | 491948 | 15406 66142 199287 | 479066 481011 26 | 57.790 % |
197.65/197.89 c | 492819 | 15404 66142 199287 | 479066 481880 26 | 57.796 % |
198.15/198.37 c | 493778 | 15403 66142 199287 | 479066 482838 26 | 57.807 % |
198.65/198.86 c | 494831 | 15403 66142 199287 | 479066 483891 26 | 57.807 % |
199.55/199.78 c | 495989 | 15403 66142 199287 | 479066 485049 26 | 57.807 % |
200.25/200.48 c | 497263 | 15403 66142 199287 | 479066 486323 26 | 57.807 % |
201.65/201.86 c | 498663 | 15403 66142 199287 | 479066 487723 26 | 57.807 % |
202.55/202.72 c | 500204 | 15403 66142 199287 | 489060 489264 26 | 57.807 % |
203.56/203.71 c | 501898 | 15403 66142 199287 | 489060 490958 26 | 57.807 % |
204.56/204.73 c | 503761 | 15403 66142 199287 | 489060 492821 26 | 57.807 % |
205.26/205.42 c | 505811 | 15403 66142 199287 | 489060 494871 26 | 57.807 % |
206.05/206.26 c | 508064 | 15403 66142 199287 | 489060 497124 26 | 57.807 % |
207.25/207.44 c | 510544 | 15403 66142 199287 | 499060 499604 26 | 57.807 % |
209.05/209.21 c | 513269 | 15401 66142 199287 | 499060 502327 26 | 57.823 % |
211.46/211.70 c | 516266 | 15401 66142 199287 | 499060 505324 27 | 57.823 % |
213.75/213.94 c | 519562 | 15401 66142 199287 | 499060 508620 27 | 57.823 % |
215.75/215.92 c | 523187 | 15401 66142 199287 | 509059 512245 27 | 57.823 % |
219.64/219.85 c | 527174 | 15401 66142 199287 | 509059 516232 27 | 57.823 % |
221.55/221.76 c | 531560 | 15401 66142 199287 | 519059 520618 27 | 57.823 % |
227.75/227.90 c | 536384 | 15391 66142 199287 | 519059 525440 28 | 57.851 % |
227.85/228.03 c | 536485 | 15391 66142 199287 | 519059 525541 28 | 57.851 % |
227.94/228.16 c | 536595 | 15389 66142 199287 | 519059 525650 28 | 57.856 % |
228.24/228.46 c | 536716 | 15389 66142 199287 | 519059 525771 28 | 57.856 % |
228.34/228.59 c | 536849 | 15389 66142 199287 | 519059 525904 28 | 57.856 % |
228.55/228.73 c | 536998 | 15389 66142 199287 | 519059 526053 28 | 57.856 % |
228.84/229.09 c | 537159 | 15380 66013 198905 | 519059 526060 28 | 57.856 % |
229.04/229.28 c | 537335 | 15380 66013 198905 | 519059 526236 28 | 57.856 % |
229.14/229.37 c | 537530 | 15380 66013 198905 | 519059 526431 28 | 57.856 % |
229.34/229.50 c | 537742 | 15380 66013 198905 | 519059 526643 28 | 57.856 % |
229.34/229.56 c | 537975 | 15380 66013 198905 | 519059 526876 28 | 57.856 % |
229.44/229.69 c | 538232 | 15380 66013 198905 | 519059 527133 28 | 57.856 % |
229.75/229.95 c | 538514 | 15380 66013 198905 | 519059 527415 28 | 57.856 % |
230.14/230.30 c | 538824 | 15380 66013 198905 | 519059 527725 28 | 57.856 % |
230.24/230.48 c | 539163 | 15380 66013 198905 | 519059 528064 28 | 57.856 % |
230.64/230.85 c | 539538 | 15380 66013 198905 | 519059 528439 28 | 57.856 % |
230.85/231.09 c | 539947 | 15380 66013 198905 | 519059 528848 28 | 57.856 % |
231.24/231.47 c | 540398 | 15380 66013 198905 | 528901 529299 28 | 57.856 % |
231.85/232.04 c | 540891 | 15380 66013 198905 | 528901 529792 28 | 57.856 % |
232.24/232.49 c | 541434 | 15380 66013 198905 | 528901 530335 28 | 57.856 % |
232.94/233.17 c | 542030 | 15380 66013 198905 | 528901 530931 28 | 57.856 % |
233.34/233.50 c | 542685 | 15380 66013 198905 | 528901 531586 28 | 57.856 % |
233.94/234.11 c | 543405 | 15380 66013 198905 | 528901 532306 28 | 57.856 % |
234.44/234.65 c | 544197 | 15380 66013 198905 | 528901 533098 28 | 57.856 % |
235.04/235.23 c | 545069 | 15380 66013 198905 | 528901 533970 28 | 57.856 % |
235.63/235.88 c | 546027 | 15380 66013 198905 | 528901 534928 28 | 57.856 % |
236.34/236.57 c | 547082 | 15380 66013 198905 | 528901 535983 28 | 57.856 % |
237.23/237.47 c | 548242 | 15379 66013 198905 | 528901 537142 28 | 57.859 % |
238.33/238.55 c | 549515 | 15379 66013 198905 | 528901 538415 28 | 57.859 % |
239.13/239.36 c | 550915 | 15379 66013 198905 | 538900 539815 28 | 57.859 % |
239.83/240.08 c | 552455 | 15379 66013 198905 | 538900 541355 28 | 57.859 % |
240.93/241.13 c | 554149 | 15378 66013 198905 | 538900 543048 28 | 57.862 % |
242.44/242.66 c | 556012 | 15378 66013 198905 | 538900 544911 28 | 57.862 % |
243.94/244.12 c | 558062 | 15376 66013 198905 | 538900 546960 28 | 57.867 % |
246.04/246.28 c | 560318 | 15374 66013 198905 | 548896 549214 28 | 57.883 % |
247.53/247.71 c | 562798 | 15372 66013 198905 | 548896 551692 28 | 57.889 % |
250.03/250.27 c | 565526 | 15372 66013 198905 | 548896 554420 28 | 57.889 % |
251.54/251.78 c | 568523 | 15372 66013 198905 | 548896 557417 28 | 57.889 % |
255.23/255.44 c | 571820 | 15372 66013 198905 | 558896 560714 28 | 57.889 % |
257.93/258.13 c | 575445 | 15372 66013 198905 | 558896 564339 29 | 57.889 % |
261.23/261.49 c | 579434 | 15370 66013 198905 | 558896 568326 29 | 57.894 % |
263.93/264.12 c | 583819 | 15370 66013 198905 | 568892 572711 29 | 57.894 % |
268.52/268.73 c | 588644 | 15370 66013 198905 | 568892 577536 29 | 57.894 % |
271.83/272.01 c | 593950 | 15370 66013 198905 | 578892 582842 29 | 57.894 % |
271.93/272.10 c | 594050 | 15370 66013 198905 | 578892 582942 29 | 57.894 % |
272.03/272.21 c | 594160 | 15370 66013 198905 | 578892 583052 29 | 57.894 % |
272.13/272.31 c | 594281 | 15370 66013 198905 | 578892 583173 29 | 57.894 % |
272.23/272.41 c | 594415 | 15370 66013 198905 | 578892 583307 29 | 57.894 % |
272.23/272.47 c | 594561 | 15370 66013 198905 | 578892 583453 29 | 57.894 % |
272.53/272.73 c | 594723 | 15370 66013 198905 | 578892 583615 29 | 57.894 % |
272.63/272.89 c | 594899 | 15370 66013 198905 | 578892 583791 29 | 57.894 % |
272.83/273.00 c | 595092 | 15370 66013 198905 | 578892 583984 29 | 57.894 % |
273.13/273.34 c | 595304 | 15370 66013 198905 | 578892 584196 29 | 57.894 % |
273.33/273.54 c | 595537 | 15370 66013 198905 | 578892 584429 29 | 57.894 % |
273.73/273.91 c | 595798 | 15370 66013 198905 | 578892 584690 29 | 57.894 % |
273.92/274.16 c | 596079 | 15370 66013 198905 | 578892 584971 29 | 57.894 % |
274.32/274.50 c | 596390 | 15370 66013 198905 | 578892 585282 29 | 57.894 % |
274.52/274.71 c | 596729 | 15370 66013 198905 | 578892 585621 29 | 57.894 % |
274.73/274.97 c | 597101 | 15369 66013 198905 | 578892 585992 29 | 57.897 % |
275.32/275.50 c | 597511 | 15369 66013 198905 | 578892 586402 29 | 57.897 % |
275.62/275.86 c | 597960 | 15369 66013 198905 | 578892 586851 29 | 57.897 % |
276.12/276.31 c | 598453 | 15369 66013 198905 | 578892 587344 29 | 57.897 % |
276.42/276.67 c | 598995 | 15369 66013 198905 | 578892 587886 29 | 57.897 % |
277.03/277.27 c | 599591 | 15368 66013 198905 | 578892 588481 29 | 57.900 % |
277.72/277.91 c | 600247 | 15368 66013 198905 | 588892 589137 29 | 57.900 % |
278.32/278.51 c | 600967 | 15368 66013 198905 | 588892 589857 29 | 57.900 % |
279.32/279.58 c | 601759 | 15368 66013 198905 | 588892 590649 29 | 57.900 % |
279.92/280.12 c | 602630 | 15368 66013 198905 | 588892 591520 29 | 57.900 % |
280.82/281.07 c | 603588 | 15366 66013 198905 | 588892 592476 29 | 57.905 % |
281.72/281.95 c | 604641 | 15366 66013 198905 | 588892 593529 29 | 57.905 % |
282.22/282.49 c | 605799 | 15366 66013 198905 | 588892 594687 29 | 57.905 % |
282.92/283.13 c | 607072 | 15366 66013 198905 | 588892 595960 29 | 57.905 % |
284.02/284.29 c | 608475 | 15366 66013 198905 | 588892 597363 29 | 57.905 % |
285.22/285.49 c | 610015 | 15366 66013 198905 | 598889 598903 29 | 57.905 % |
287.22/287.44 c | 611709 | 15364 66013 198905 | 598889 600596 29 | 57.911 % |
288.32/288.59 c | 613572 | 15364 66013 198905 | 598889 602459 29 | 57.911 % |
290.62/290.83 c | 615621 | 15362 66013 198905 | 598889 604506 29 | 57.916 % |
292.21/292.45 c | 617876 | 15362 66013 198905 | 598889 606761 29 | 57.916 % |
294.41/294.64 c | 620355 | 15362 66013 198905 | 608885 609240 29 | 57.916 % |
297.42/297.65 c | 623080 | 15362 66013 198905 | 608885 611965 29 | 57.916 % |
300.91/301.12 c | 626077 | 15361 66013 198905 | 608885 614961 30 | 57.919 % |
303.91/304.10 c | 629373 | 15361 66013 198905 | 608885 618257 30 | 57.919 % |
307.41/307.68 c | 632999 | 15357 65894 198576 | 618736 621734 30 | 57.919 % |
310.70/310.96 c | 636986 | 15357 65894 198576 | 618736 625721 30 | 57.919 % |
314.61/314.88 c | 641371 | 15357 65894 198576 | 628735 630106 30 | 57.919 % |
319.11/319.37 c | 646194 | 15357 65894 198576 | 628735 634929 30 | 57.919 % |
324.01/324.26 c | 651499 | 15357 65894 198576 | 638737 640234 31 | 57.919 % |
329.01/329.27 c | 657335 | 15356 65894 198576 | 638737 646069 31 | 57.922 % |
329.11/329.38 c | 657436 | 15356 65894 198576 | 638737 646170 31 | 57.922 % |
329.21/329.49 c | 657546 | 15356 65894 198576 | 638737 646280 31 | 57.922 % |
329.41/329.63 c | 657668 | 15356 65894 198576 | 638737 646402 31 | 57.922 % |
329.60/329.84 c | 657801 | 15356 65894 198576 | 638737 646535 31 | 57.922 % |
329.71/329.91 c | 657947 | 15356 65894 198576 | 638737 646681 31 | 57.922 % |
329.81/330.08 c | 658108 | 15356 65894 198576 | 638737 646842 31 | 57.922 % |
330.10/330.38 c | 658285 | 15356 65894 198576 | 638737 647019 31 | 57.922 % |
330.40/330.65 c | 658478 | 15356 65894 198576 | 638737 647212 31 | 57.922 % |
330.81/331.04 c | 658693 | 15356 65894 198576 | 638737 647427 31 | 57.922 % |
331.10/331.33 c | 658927 | 15356 65894 198576 | 638737 647661 31 | 57.922 % |
331.40/331.61 c | 659183 | 15356 65894 198576 | 638737 647917 31 | 57.922 % |
331.50/331.73 c | 659464 | 15356 65894 198576 | 638737 648198 31 | 57.922 % |
331.70/331.91 c | 659774 | 15356 65894 198576 | 638737 648508 31 | 57.922 % |
332.30/332.53 c | 660113 | 15356 65894 198576 | 648734 648847 31 | 57.922 % |
332.80/333.02 c | 660488 | 15356 65894 198576 | 648734 649222 31 | 57.922 % |
333.20/333.47 c | 660897 | 15356 65894 198576 | 648734 649631 31 | 57.922 % |
333.70/333.99 c | 661346 | 15356 65894 198576 | 648734 650080 31 | 57.922 % |
334.20/334.46 c | 661841 | 15356 65894 198576 | 648734 650575 31 | 57.922 % |
334.90/335.16 c | 662383 | 15356 65894 198576 | 648734 651117 31 | 57.922 % |
335.50/335.70 c | 662980 | 15356 65894 198576 | 648734 651714 31 | 57.922 % |
336.30/336.57 c | 663635 | 15356 65894 198576 | 648734 652369 31 | 57.922 % |
336.70/336.90 c | 664359 | 15356 65894 198576 | 648734 653093 31 | 57.922 % |
337.50/337.76 c | 665153 | 15356 65894 198576 | 648734 653887 31 | 57.922 % |
338.20/338.46 c | 666024 | 15356 65894 198576 | 648734 654758 31 | 57.922 % |
339.20/339.48 c | 666983 | 15356 65894 198576 | 648734 655717 31 | 57.922 % |
340.30/340.60 c | 668037 | 15356 65894 198576 | 648734 656771 31 | 57.922 % |
340.80/341.09 c | 669196 | 15356 65894 198576 | 648734 657930 31 | 57.922 % |
341.30/341.57 c | 670469 | 15356 65894 198576 | 658736 659203 31 | 57.922 % |
343.10/343.31 c | 671870 | 15356 65894 198576 | 658736 660604 31 | 57.922 % |
344.19/344.40 c | 673411 | 15356 65894 198576 | 658736 662145 31 | 57.922 % |
345.99/346.27 c | 675105 | 15356 65894 198576 | 658736 663839 31 | 57.922 % |
348.40/348.65 c | 676969 | 15355 65894 198576 | 658736 665702 31 | 57.925 % |
350.29/350.53 c | 679018 | 15355 65894 198576 | 658736 667751 31 | 57.925 % |
352.39/352.60 c | 681273 | 15355 65894 198576 | 668733 670006 31 | 57.925 % |
353.59/353.81 c | 683752 | 15355 65894 198576 | 668733 672485 31 | 57.925 % |
355.89/356.11 c | 686477 | 15355 65894 198576 | 668733 675210 31 | 57.925 % |
358.09/358.34 c | 689474 | 15355 65894 198576 | 668733 678207 31 | 57.925 % |
360.08/360.34 c | 692770 | 15353 65894 198576 | 678734 681501 31 | 57.930 % |
365.29/365.58 c | 696396 | 15353 65894 198576 | 678734 685127 31 | 57.930 % |
368.79/369.09 c | 700385 | 15351 65894 198576 | 688730 689115 31 | 57.936 % |
374.68/374.97 c | 704774 | 15350 65894 198576 | 688730 693503 31 | 57.938 % |
377.28/377.59 c | 709597 | 15350 65894 198576 | 688730 698326 31 | 57.938 % |
383.17/383.45 c | 714903 | 15350 65894 198576 | 698733 703632 32 | 57.938 % |
390.78/391.01 c | 720739 | 15348 65894 198576 | 708730 709466 32 | 57.944 % |
396.97/397.23 c | 727157 | 15346 65894 198576 | 708730 715882 32 | 57.949 % |
397.07/397.38 c | 727261 | 15346 65894 198576 | 708730 715986 32 | 57.949 % |
397.27/397.52 c | 727371 | 15346 65894 198576 | 708730 716096 32 | 57.949 % |
397.47/397.77 c | 727492 | 15346 65894 198576 | 708730 716217 32 | 57.949 % |
397.77/398.06 c | 727625 | 15346 65894 198576 | 708730 716350 32 | 57.949 % |
397.98/398.25 c | 727773 | 15346 65894 198576 | 708730 716498 32 | 57.949 % |
398.17/398.45 c | 727935 | 15346 65894 198576 | 708730 716660 32 | 57.949 % |
398.37/398.68 c | 728112 | 15346 65894 198576 | 708730 716837 32 | 57.949 % |
398.57/398.82 c | 728305 | 15346 65894 198576 | 708730 717030 32 | 57.949 % |
398.77/399.02 c | 728518 | 15346 65894 198576 | 708730 717243 32 | 57.949 % |
399.07/399.36 c | 728752 | 15346 65894 198576 | 708730 717477 32 | 57.949 % |
399.37/399.69 c | 729008 | 15346 65894 198576 | 708730 717733 32 | 57.949 % |
399.77/400.08 c | 729289 | 15346 65894 198576 | 708730 718014 32 | 57.949 % |
400.07/400.32 c | 729599 | 15346 65894 198576 | 708730 718324 32 | 57.949 % |
400.57/400.85 c | 729939 | 15346 65894 198576 | 708730 718664 32 | 57.949 % |
401.07/401.32 c | 730312 | 15346 65894 198576 | 718725 719037 32 | 57.949 % |
401.57/401.86 c | 730721 | 15346 65894 198576 | 718725 719446 32 | 57.949 % |
402.07/402.34 c | 731170 | 15346 65894 198576 | 718725 719895 32 | 57.949 % |
402.67/402.94 c | 731663 | 15346 65894 198576 | 718725 720388 32 | 57.949 % |
402.97/403.26 c | 732206 | 15346 65894 198576 | 718725 720931 32 | 57.949 % |
403.86/404.13 c | 732803 | 15346 65894 198576 | 718725 721528 32 | 57.949 % |
404.48/404.71 c | 733459 | 15346 65894 198576 | 718725 722184 32 | 57.949 % |
405.58/405.87 c | 734180 | 15346 65894 198576 | 718725 722905 32 | 57.949 % |
406.27/406.53 c | 734972 | 15346 65894 198576 | 718725 723697 32 | 57.949 % |
407.57/407.89 c | 735843 | 15346 65894 198576 | 718725 724568 32 | 57.949 % |
408.37/408.61 c | 736802 | 15346 65894 198576 | 718725 725527 32 | 57.949 % |
409.17/409.48 c | 737855 | 15346 65894 198576 | 718725 726580 32 | 57.949 % |
410.37/410.61 c | 739013 | 15346 65894 198576 | 718725 727738 32 | 57.949 % |
412.37/412.62 c | 740287 | 15345 65894 198576 | 728724 729011 32 | 57.952 % |
413.17/413.42 c | 741687 | 15345 65894 198576 | 728724 730411 32 | 57.952 % |
414.77/415.09 c | 743230 | 15345 65894 198576 | 728724 731954 32 | 57.952 % |
415.37/415.63 c | 744925 | 15345 65894 198576 | 728724 733649 32 | 57.952 % |
417.26/417.59 c | 746789 | 15345 65894 198576 | 728724 735513 32 | 57.952 % |
418.66/418.98 c | 748838 | 15345 65894 198576 | 728724 737562 32 | 57.952 % |
420.75/421.08 c | 751096 | 15345 65894 198576 | 738728 739820 32 | 57.952 % |
423.16/423.42 c | 753575 | 15345 65822 198385 | 738728 742212 32 | 57.952 % |
428.05/428.34 c | 756301 | 15345 65822 198385 | 738728 744938 32 | 57.952 % |
430.86/431.12 c | 759300 | 15345 65822 198385 | 738728 747937 32 | 57.952 % |
437.15/437.49 c | 762597 | 15345 65822 198385 | 748637 751234 33 | 57.952 % |
440.86/441.12 c | 766223 | 15345 65822 198385 | 748637 754860 33 | 57.952 % |
443.45/443.72 c | 770211 | 15345 65822 198385 | 758638 758848 33 | 57.952 % |
449.84/450.11 c | 774596 | 15345 65822 198385 | 758638 763233 33 | 57.952 % |
455.95/456.21 c | 779420 | 15345 65822 198385 | 758638 768057 33 | 57.952 % |
464.44/464.72 c | 784728 | 15345 65822 198385 | 768637 773365 33 | 57.952 % |
469.64/469.96 c | 790563 | 15345 65822 198385 | 778638 779200 33 | 57.952 % |
482.44/482.76 c | 796981 | 15345 65822 198385 | 778638 785618 34 | 57.952 % |
490.43/490.76 c | 804041 | 15345 65822 198385 | 788638 792678 34 | 57.952 % |
490.63/490.96 c | 804142 | 15345 65822 198385 | 788638 792779 34 | 57.952 % |
490.83/491.11 c | 804252 | 15345 65822 198385 | 788638 792889 34 | 57.952 % |
491.03/491.35 c | 804373 | 15345 65822 198385 | 788638 793010 34 | 57.952 % |
491.13/491.48 c | 804506 | 15345 65822 198385 | 788638 793143 34 | 57.952 % |
491.44/491.70 c | 804652 | 15345 65822 198385 | 788638 793289 34 | 57.952 % |
491.63/491.93 c | 804816 | 15345 65822 198385 | 788638 793453 34 | 57.952 % |
491.83/492.14 c | 804994 | 15345 65822 198385 | 788638 793631 34 | 57.952 % |
492.13/492.40 c | 805190 | 15345 65822 198385 | 788638 793827 34 | 57.952 % |
492.33/492.63 c | 805404 | 15345 65822 198385 | 788638 794041 34 | 57.952 % |
492.63/492.95 c | 805639 | 15345 65822 198385 | 788638 794276 34 | 57.952 % |
492.93/493.27 c | 805897 | 15345 65822 198385 | 788638 794534 34 | 57.952 % |
493.13/493.46 c | 806178 | 15345 65822 198385 | 788638 794815 34 | 57.952 % |
493.43/493.73 c | 806488 | 15345 65822 198385 | 788638 795125 34 | 57.952 % |
494.43/494.73 c | 806828 | 15345 65822 198385 | 788638 795465 34 | 57.952 % |
494.83/495.10 c | 807200 | 15345 65822 198385 | 788638 795837 34 | 57.952 % |
495.23/495.52 c | 807609 | 15345 65822 198385 | 788638 796246 34 | 57.952 % |
495.73/496.04 c | 808058 | 15345 65822 198385 | 788638 796695 34 | 57.952 % |
496.23/496.50 c | 808551 | 15345 65822 198385 | 788638 797188 34 | 57.952 % |
496.63/496.98 c | 809094 | 15345 65822 198385 | 788638 797731 34 | 57.952 % |
497.23/497.55 c | 809691 | 15345 65822 198385 | 788638 798328 34 | 57.952 % |
498.13/498.41 c | 810348 | 15344 65822 198385 | 798636 798984 34 | 57.955 % |
499.23/499.56 c | 811069 | 15344 65822 198385 | 798636 799705 34 | 57.955 % |
500.63/500.99 c | 811862 | 15344 65822 198385 | 798636 800498 34 | 57.955 % |
501.43/501.73 c | 812734 | 15344 65822 198385 | 798636 801370 34 | 57.955 % |
502.72/503.08 c | 813692 | 15344 65822 198385 | 798636 802328 34 | 57.955 % |
504.03/504.39 c | 814748 | 15344 65822 198385 | 798636 803384 34 | 57.955 % |
506.74/507.08 c | 815907 | 15344 65822 198385 | 798636 804543 34 | 57.955 % |
508.83/509.10 c | 817180 | 15344 65822 198385 | 798636 805816 34 | 57.955 % |
510.33/510.60 c | 818580 | 15344 65822 198385 | 798636 807216 34 | 57.955 % |
512.12/512.42 c | 820120 | 15344 65822 198385 | 808637 808756 34 | 57.955 % |
514.72/515.02 c | 821814 | 15344 65822 198385 | 808637 810450 34 | 57.955 % |
517.73/518.00 c | 823677 | 15343 65822 198385 | 808637 812312 34 | 57.957 % |
520.12/520.42 c | 825727 | 15343 65822 198385 | 808637 814362 34 | 57.957 % |
523.62/523.98 c | 827980 | 15343 65822 198385 | 808637 816615 34 | 57.957 % |
526.22/526.53 c | 830459 | 15343 65822 198385 | 818635 819094 34 | 57.957 % |
527.82/528.18 c | 833185 | 15343 65822 198385 | 818635 821820 34 | 57.957 % |
530.42/530.77 c | 836183 | 15343 65822 198385 | 818635 824818 34 | 57.957 % |
532.22/532.50 c | 839479 | 15343 65822 198385 | 818635 828114 34 | 57.957 % |
536.02/536.36 c | 843104 | 15343 65822 198385 | 828637 831739 34 | 57.957 % |
540.21/540.56 c | 847091 | 15343 65822 198385 | 828637 835726 34 | 57.957 % |
546.62/546.94 c | 851476 | 15343 65822 198385 | 838635 840111 34 | 57.957 % |
553.71/554.07 c | 856300 | 15343 65822 198385 | 838635 844935 34 | 57.957 % |
557.81/558.10 c | 861606 | 15342 65822 198385 | 848635 850240 34 | 57.960 % |
562.31/562.64 c | 867441 | 15340 65822 198385 | 848635 856073 34 | 57.966 % |
568.90/569.22 c | 873859 | 15340 65822 198385 | 858634 862491 34 | 57.966 % |
576.71/577.09 c | 880918 | 15339 65822 198385 | 868633 869549 34 | 57.968 % |
583.60/583.91 c | 888682 | 15338 65822 198385 | 868633 877312 34 | 57.971 % |
583.70/584.06 c | 888784 | 15338 65822 198385 | 868633 877414 34 | 57.971 % |
583.90/584.28 c | 888894 | 15338 65822 198385 | 868633 877524 34 | 57.971 % |
584.30/584.62 c | 889017 | 15338 65822 198385 | 868633 877647 34 | 57.971 % |
584.50/584.85 c | 889152 | 15338 65822 198385 | 868633 877782 34 | 57.971 % |
584.80/585.13 c | 889298 | 15338 65822 198385 | 868633 877928 34 | 57.971 % |
585.20/585.52 c | 889462 | 15338 65822 198385 | 868633 878092 34 | 57.971 % |
585.40/585.79 c | 889639 | 15338 65822 198385 | 868633 878269 34 | 57.971 % |
585.80/586.20 c | 889832 | 15338 65822 198385 | 868633 878462 34 | 57.971 % |
586.49/586.81 c | 890046 | 15338 65822 198385 | 878630 878676 34 | 57.971 % |
586.79/587.16 c | 890280 | 15338 65822 198385 | 878630 878910 34 | 57.971 % |
587.10/587.49 c | 890537 | 15338 65822 198385 | 878630 879167 34 | 57.971 % |
587.60/587.93 c | 890818 | 15338 65822 198385 | 878630 879448 34 | 57.971 % |
588.30/588.66 c | 891127 | 15338 65822 198385 | 878630 879757 34 | 57.971 % |
588.70/589.09 c | 891467 | 15338 65822 198385 | 878630 880097 34 | 57.971 % |
589.30/589.68 c | 891840 | 15338 65822 198385 | 878630 880470 34 | 57.971 % |
589.70/590.02 c | 892251 | 15338 65822 198385 | 878630 880881 34 | 57.971 % |
590.20/590.56 c | 892700 | 15338 65822 198385 | 878630 881330 34 | 57.971 % |
590.90/591.28 c | 893194 | 15338 65822 198385 | 878630 881824 34 | 57.971 % |
591.80/592.11 c | 893737 | 15338 65822 198385 | 878630 882367 34 | 57.971 % |
592.40/592.74 c | 894333 | 15338 65822 198385 | 878630 882963 34 | 57.971 % |
593.80/594.10 c | 894988 | 15338 65822 198385 | 878630 883618 34 | 57.971 % |
594.80/595.12 c | 895709 | 15338 65822 198385 | 878630 884339 34 | 57.971 % |
596.59/596.95 c | 896501 | 15338 65822 198385 | 878630 885131 34 | 57.971 % |
597.79/598.17 c | 897373 | 15336 65822 198385 | 878630 886001 34 | 57.977 % |
599.49/599.89 c | 898332 | 15336 65822 198385 | 878630 886960 34 | 57.977 % |
601.39/601.79 c | 899386 | 15336 65768 198241 | 878630 887954 34 | 57.977 % |
603.39/603.70 c | 900544 | 15336 65768 198241 | 888570 889112 35 | 57.977 % |
605.19/605.52 c | 901818 | 15336 65768 198241 | 888570 890386 35 | 57.977 % |
609.39/609.74 c | 903219 | 15336 65768 198241 | 888570 891787 35 | 57.977 % |
611.79/612.12 c | 904760 | 15336 65768 198241 | 888570 893328 35 | 57.977 % |
613.09/613.49 c | 906456 | 15336 65768 198241 | 888570 895024 35 | 57.977 % |
615.99/616.39 c | 908320 | 15336 65768 198241 | 888570 896888 35 | 57.977 % |
617.39/617.79 c | 910370 | 15336 65768 198241 | 898569 898938 35 | 57.977 % |
620.18/620.54 c | 912623 | 15336 65768 198241 | 898569 901191 35 | 57.977 % |
622.68/623.08 c | 915101 | 15336 65768 198241 | 898569 903669 35 | 57.977 % |
624.69/625.04 c | 917826 | 15336 65768 198241 | 898569 906394 35 | 57.977 % |
632.09/632.49 c | 920823 | 15336 65768 198241 | 908569 909391 35 | 57.977 % |
636.48/636.89 c | 924119 | 15336 65768 198241 | 908569 912687 35 | 57.977 % |
639.98/640.39 c | 927745 | 15336 65768 198241 | 908569 916313 35 | 57.977 % |
644.08/644.47 c | 931735 | 15333 65768 198241 | 918567 920301 35 | 57.985 % |
649.18/649.58 c | 936120 | 15332 65768 198241 | 918567 924685 36 | 57.988 % |
654.57/655.00 c | 940943 | 15332 65768 198241 | 928566 929508 36 | 57.988 % |
663.57/663.94 c | 946248 | 15332 65768 198241 | 928566 934813 36 | 57.988 % |
670.07/670.48 c | 952084 | 15331 65768 198241 | 938564 940648 36 | 57.990 % |
675.26/675.65 c | 958504 | 15331 65768 198241 | 938564 947068 36 | 57.990 % |
686.66/687.01 c | 965563 | 15331 65768 198241 | 948564 954127 36 | 57.990 % |
697.46/697.82 c | 973327 | 15331 65768 198241 | 958564 961891 37 | 57.990 % |
709.06/709.45 c | 981868 | 15330 65768 198241 | 968564 970431 37 | 57.993 % |
709.36/709.70 c | 981968 | 15330 65768 198241 | 968564 970531 37 | 57.993 % |
709.46/709.89 c | 982078 | 15330 65768 198241 | 968564 970641 37 | 57.993 % |
709.76/710.12 c | 982200 | 15330 65768 198241 | 968564 970763 37 | 57.993 % |
710.06/710.49 c | 982333 | 15330 65768 198241 | 968564 970896 37 | 57.993 % |
710.36/710.78 c | 982479 | 15330 65768 198241 | 968564 971042 37 | 57.993 % |
710.85/711.21 c | 982639 | 15330 65768 198241 | 968564 971202 37 | 57.993 % |
711.26/711.62 c | 982818 | 15330 65768 198241 | 968564 971381 37 | 57.993 % |
711.56/711.92 c | 983011 | 15330 65768 198241 | 968564 971574 37 | 57.993 % |
711.85/712.28 c | 983223 | 15330 65768 198241 | 968564 971786 37 | 57.993 % |
712.36/712.76 c | 983456 | 15330 65768 198241 | 968564 972019 37 | 57.993 % |
713.05/713.50 c | 983712 | 15330 65768 198241 | 968564 972275 37 | 57.993 % |
713.95/714.32 c | 983993 | 15330 65768 198241 | 968564 972556 37 | 57.993 % |
714.45/714.86 c | 984304 | 15330 65768 198241 | 968564 972867 37 | 57.993 % |
715.05/715.41 c | 984643 | 15330 65768 198241 | 968564 973206 37 | 57.993 % |
715.66/716.03 c | 985015 | 15330 65768 198241 | 968564 973578 37 | 57.993 % |
716.85/717.22 c | 985424 | 15330 65768 198241 | 968564 973987 37 | 57.993 % |
717.15/717.56 c | 985874 | 15330 65768 198241 | 968564 974437 37 | 57.993 % |
717.55/717.91 c | 986367 | 15330 65768 198241 | 968564 974930 37 | 57.993 % |
718.45/718.86 c | 986909 | 15330 65768 198241 | 968564 975472 37 | 57.993 % |
719.45/719.85 c | 987506 | 15330 65768 198241 | 968564 976069 37 | 57.993 % |
719.95/720.36 c | 988162 | 15330 65768 198241 | 968564 976725 37 | 57.993 % |
721.35/721.73 c | 988883 | 15330 65768 198241 | 968564 977446 37 | 57.993 % |
722.75/723.10 c | 989675 | 15330 65768 198241 | 968564 978238 37 | 57.993 % |
723.85/724.28 c | 990546 | 15330 65768 198241 | 978565 979109 37 | 57.993 % |
725.65/726.06 c | 991504 | 15328 65768 198241 | 978565 980066 37 | 58.007 % |
728.34/728.75 c | 992559 | 15328 65768 198241 | 978565 981121 37 | 58.007 % |
729.95/730.35 c | 993719 | 15328 65768 198241 | 978565 982281 37 | 58.007 % |
731.84/732.24 c | 994992 | 15328 65768 198241 | 978565 983554 37 | 58.007 % |
733.95/734.39 c | 996392 | 15328 65768 198241 | 978565 984954 37 | 58.007 % |
735.25/735.66 c | 997936 | 15328 65768 198241 | 978565 986498 37 | 58.007 % |
737.05/737.40 c | 999630 | 15327 65768 198241 | 978565 988191 37 | 58.010 % |
738.04/738.48 c | 1001493 | 15327 65768 198241 | 988561 990054 37 | 58.010 % |
741.94/742.37 c | 1003543 | 15326 65768 198241 | 988561 992103 37 | 58.012 % |
745.54/745.98 c | 1005799 | 15326 65768 198241 | 988561 994359 37 | 58.012 % |
749.24/749.61 c | 1008279 | 15324 65768 198241 | 988561 996837 37 | 58.018 % |
753.94/754.36 c | 1011008 | 15324 65768 198241 | 998558 999566 37 | 58.018 % |
759.13/759.56 c | 1014005 | 15323 65768 198241 | 998558 1002562 37 | 58.020 % |
763.94/764.31 c | 1017304 | 15323 65768 198241 | 998558 1005861 37 | 58.020 % |
770.74/771.14 c | 1020932 | 15323 65768 198241 | 1008559 1009489 37 | 58.020 % |
773.63/774.01 c | 1024921 | 15323 65768 198241 | 1008559 1013478 37 | 58.020 % |
782.83/783.28 c | 1029307 | 15323 65768 198241 | 1008559 1017864 38 | 58.020 % |
789.63/790.05 c | 1034130 | 15323 65768 198241 | 1018557 1022687 38 | 58.020 % |
799.02/799.43 c | 1039436 | 15323 65768 198241 | 1018557 1027993 38 | 58.020 % |
808.42/808.89 c | 1045271 | 15323 65768 198241 | 1028557 1033828 38 | 58.020 % |
822.72/823.16 c | 1051691 | 15323 65768 198241 | 1038557 1040248 38 | 58.020 % |
830.11/830.58 c | 1058751 | 15321 65768 198241 | 1038557 1047307 38 | 58.026 % |
844.41/844.90 c | 1066518 | 15320 65768 198241 | 1048558 1055074 38 | 58.026 % |
856.41/856.85 c | 1075059 | 15317 65677 197988 | 1058556 1063542 38 | 58.029 % |
872.10/872.51 c | 1084455 | 15316 65677 197988 | 1068485 1072937 38 | 58.031 % |
872.30/872.74 c | 1084555 | 15316 65677 197988 | 1068485 1073037 38 | 58.031 % |
872.70/873.17 c | 1084665 | 15316 65677 197988 | 1068485 1073147 38 | 58.031 % |
873.10/873.52 c | 1084786 | 15316 65677 197988 | 1068485 1073268 38 | 58.031 % |
873.50/873.93 c | 1084919 | 15316 65677 197988 | 1068485 1073401 38 | 58.031 % |
873.60/874.09 c | 1085067 | 15316 65677 197988 | 1068485 1073549 38 | 58.031 % |
873.90/874.36 c | 1085228 | 15316 65677 197988 | 1068485 1073710 38 | 58.031 % |
874.40/874.87 c | 1085405 | 15316 65677 197988 | 1068485 1073887 38 | 58.031 % |
874.80/875.25 c | 1085598 | 15316 65677 197988 | 1068485 1074080 38 | 58.031 % |
875.30/875.75 c | 1085810 | 15316 65677 197988 | 1068485 1074292 38 | 58.031 % |
875.70/876.19 c | 1086043 | 15316 65677 197988 | 1068485 1074525 38 | 58.031 % |
876.40/876.90 c | 1086299 | 15316 65677 197988 | 1068485 1074781 38 | 58.031 % |
877.00/877.49 c | 1086581 | 15316 65677 197988 | 1068485 1075063 38 | 58.031 % |
877.80/878.23 c | 1086890 | 15316 65677 197988 | 1068485 1075372 38 | 58.031 % |
878.20/878.63 c | 1087231 | 15316 65677 197988 | 1068485 1075713 38 | 58.031 % |
879.00/879.44 c | 1087604 | 15316 65677 197988 | 1068485 1076086 38 | 58.031 % |
879.80/880.28 c | 1088013 | 15316 65677 197988 | 1068485 1076495 38 | 58.031 % |
880.60/881.04 c | 1088465 | 15316 65677 197988 | 1068485 1076947 38 | 58.031 % |
881.09/881.56 c | 1088959 | 15316 65677 197988 | 1068485 1077441 38 | 58.031 % |
882.29/882.71 c | 1089503 | 15316 65677 197988 | 1068485 1077985 38 | 58.031 % |
883.19/883.61 c | 1090100 | 15316 65677 197988 | 1078483 1078582 38 | 58.031 % |
884.49/884.92 c | 1090758 | 15316 65677 197988 | 1078483 1079240 38 | 58.031 % |
885.59/886.08 c | 1091480 | 15316 65677 197988 | 1078483 1079962 38 | 58.031 % |
887.29/887.78 c | 1092274 | 15316 65677 197988 | 1078483 1080756 38 | 58.031 % |
888.39/888.82 c | 1093145 | 15316 65677 197988 | 1078483 1081627 38 | 58.031 % |
889.59/890.04 c | 1094103 | 15316 65677 197988 | 1078483 1082585 38 | 58.031 % |
890.69/891.13 c | 1095157 | 15316 65677 197988 | 1078483 1083639 38 | 58.031 % |
892.59/893.07 c | 1096315 | 15316 65677 197988 | 1078483 1084797 38 | 58.031 % |
893.90/894.38 c | 1097589 | 15316 65677 197988 | 1078483 1086071 38 | 58.031 % |
897.39/897.85 c | 1098989 | 15316 65677 197988 | 1078483 1087471 38 | 58.031 % |
900.59/901.03 c | 1100530 | 15316 65677 197988 | 1088483 1089012 38 | 58.031 % |
903.99/904.48 c | 1102224 | 15315 65677 197988 | 1088483 1090705 38 | 58.034 % |
907.69/908.13 c | 1104089 | 15312 65677 197988 | 1088483 1092568 38 | 58.042 % |
910.98/911.42 c | 1106138 | 15312 65677 197988 | 1088483 1094617 38 | 58.042 % |
916.28/916.71 c | 1108391 | 15312 65677 197988 | 1088483 1096870 38 | 58.042 % |
919.49/919.91 c | 1110870 | 15312 65677 197988 | 1098479 1099349 38 | 58.042 % |
921.68/922.13 c | 1113598 | 15312 65677 197988 | 1098479 1102077 38 | 58.042 % |
924.08/924.51 c | 1116595 | 15312 65677 197988 | 1098479 1105074 38 | 58.042 % |
928.78/929.25 c | 1119892 | 15312 65677 197988 | 1098479 1108371 38 | 58.042 % |
932.17/932.68 c | 1123517 | 15312 65677 197988 | 1108479 1111996 38 | 58.042 % |
936.78/937.29 c | 1127504 | 15312 65677 197988 | 1108479 1115983 38 | 58.042 % |
948.78/949.23 c | 1131890 | 15312 65677 197988 | 1118479 1120369 39 | 58.042 % |
954.17/954.69 c | 1136714 | 15309 65677 197988 | 1118479 1125192 39 | 58.051 % |
960.07/960.54 c | 1142020 | 15309 65677 197988 | 1128479 1130498 39 | 58.051 % |
975.76/976.25 c | 1147855 | 15309 65677 197988 | 1128479 1136333 39 | 58.051 % |
988.96/989.42 c | 1154274 | 15309 65677 197988 | 1138478 1142752 39 | 58.051 % |
1000.36/1000.82 c | 1161335 | 15309 65677 197988 | 1148479 1149813 39 | 58.051 % |
1016.55/1017.03 c | 1169099 | 15308 65677 197988 | 1148479 1157576 39 | 58.053 % |
1028.64/1029.14 c | 1177639 | 15308 65677 197988 | 1158478 1166116 40 | 58.053 % |
1039.04/1039.59 c | 1187033 | 15308 65677 197988 | 1168479 1175510 40 | 58.053 % |
1068.43/1068.97 c | 1197367 | 15306 65677 197988 | 1178477 1185842 40 | 58.059 % |
1068.74/1069.28 c | 1197468 | 15306 65677 197988 | 1178477 1185943 40 | 58.059 % |
1069.03/1069.55 c | 1197579 | 15306 65677 197988 | 1178477 1186054 40 | 58.059 % |
1069.53/1070.04 c | 1197700 | 15306 65677 197988 | 1178477 1186175 40 | 58.059 % |
1069.84/1070.34 c | 1197833 | 15306 65677 197988 | 1178477 1186308 40 | 58.059 % |
1070.23/1070.72 c | 1197979 | 15306 65677 197988 | 1178477 1186454 40 | 58.059 % |
1070.53/1071.09 c | 1198140 | 15306 65677 197988 | 1178477 1186615 40 | 58.059 % |
1070.93/1071.49 c | 1198317 | 15306 65677 197988 | 1178477 1186792 40 | 58.059 % |
1071.13/1071.69 c | 1198510 | 15306 65677 197988 | 1178477 1186985 40 | 58.059 % |
1071.63/1072.12 c | 1198723 | 15306 65677 197988 | 1178477 1187198 40 | 58.059 % |
1072.13/1072.62 c | 1198958 | 15306 65677 197988 | 1178477 1187433 40 | 58.059 % |
1072.72/1073.29 c | 1199215 | 15306 65677 197988 | 1178477 1187690 40 | 58.059 % |
1073.22/1073.77 c | 1199497 | 15306 65677 197988 | 1178477 1187972 40 | 58.059 % |
1074.13/1074.69 c | 1199807 | 15305 65677 197988 | 1178477 1188281 40 | 58.062 % |
1075.02/1075.54 c | 1200146 | 15305 65677 197988 | 1188475 1188620 40 | 58.062 % |
1075.33/1075.86 c | 1200518 | 15305 65677 197988 | 1188475 1188992 40 | 58.062 % |
1076.43/1076.99 c | 1200927 | 15305 65677 197988 | 1188475 1189401 40 | 58.062 % |
1077.62/1078.15 c | 1201378 | 15305 65677 197988 | 1188475 1189852 40 | 58.062 % |
1078.12/1078.65 c | 1201871 | 15305 65677 197988 | 1188475 1190345 40 | 58.062 % |
1079.02/1079.59 c | 1202413 | 15305 65677 197988 | 1188475 1190887 40 | 58.062 % |
1080.12/1080.69 c | 1203010 | 15305 65677 197988 | 1188475 1191484 40 | 58.062 % |
1081.32/1081.85 c | 1203665 | 15305 65677 197988 | 1188475 1192139 40 | 58.062 % |
1083.02/1083.58 c | 1204385 | 15305 65677 197988 | 1188475 1192859 40 | 58.062 % |
1084.92/1085.40 c | 1205177 | 15305 65677 197988 | 1188475 1193651 40 | 58.062 % |
1085.62/1086.18 c | 1206049 | 15305 65677 197988 | 1188475 1194523 40 | 58.062 % |
1088.42/1088.95 c | 1207009 | 15305 65677 197988 | 1188475 1195483 40 | 58.062 % |
1089.72/1090.26 c | 1208063 | 15305 65677 197988 | 1188475 1196537 40 | 58.062 % |
1093.12/1093.68 c | 1209221 | 15305 65677 197988 | 1188475 1197695 40 | 58.062 % |
1094.51/1095.07 c | 1210494 | 15305 65677 197988 | 1198476 1198968 41 | 58.062 % |
1096.31/1096.89 c | 1211894 | 15305 65677 197988 | 1198476 1200368 41 | 58.062 % |
1099.21/1099.70 c | 1213436 | 15305 65677 197988 | 1198476 1201910 41 | 58.062 % |
1102.81/1103.31 c | 1215130 | 15305 65677 197988 | 1198476 1203604 41 | 58.062 % |
1104.11/1104.67 c | 1216996 | 15305 65677 197988 | 1198476 1205470 41 | 58.062 % |
1108.61/1109.16 c | 1219045 | 15305 65677 197988 | 1198476 1207519 41 | 58.062 % |
1112.30/1112.88 c | 1221298 | 15305 65677 197988 | 1208475 1209772 41 | 58.062 % |
1117.20/1117.77 c | 1223777 | 15305 65677 197988 | 1208475 1212251 41 | 58.062 % |
1119.50/1120.08 c | 1226503 | 15305 65677 197988 | 1208475 1214977 41 | 58.062 % |
1130.30/1130.89 c | 1229501 | 15305 65677 197988 | 1208475 1217975 41 | 58.062 % |
1138.10/1138.67 c | 1232798 | 15305 65677 197988 | 1218474 1221272 41 | 58.062 % |
1148.19/1148.79 c | 1236423 | 15305 65677 197988 | 1218474 1224897 41 | 58.062 % |
1158.49/1159.00 c | 1240412 | 15304 65677 197988 | 1228476 1228885 41 | 58.064 % |
1164.69/1165.27 c | 1244799 | 15304 65677 197988 | 1228476 1233272 41 | 58.064 % |
1173.09/1173.64 c | 1249622 | 15304 65677 197988 | 1228476 1238095 42 | 58.064 % |
1183.28/1183.89 c | 1254930 | 15302 65677 197988 | 1238474 1243401 42 | 58.070 % |
1196.38/1196.95 c | 1260765 | 15302 65677 197988 | 1248471 1249236 42 | 58.070 % |
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1833635-1242824044/watcher-1833635-1242824044 -o /tmp/evaluation-result-1833635-1242824044/solver-1833635-1242824044 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1833635-1242824044.cnf
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1230 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 16127
/proc/meminfo: memFree=1864816/2055920 swapFree=4179748/4192956
[pid=16127] ppid=16125 vsize=5356 CPUtime=0
/proc/16127/stat : 16127 (SatELiteGTI) S 16125 16127 15987 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310437172 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 264907580228 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/16127/statm: 1339 237 197 169 0 50 0
[startup+0.0192671 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 16127
/proc/meminfo: memFree=1864816/2055920 swapFree=4179748/4192956
[pid=16127] ppid=16125 vsize=5356 CPUtime=0
/proc/16127/stat : 16127 (SatELiteGTI) S 16125 16127 15987 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310437172 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 264907580228 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/16127/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.10228 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 16127
/proc/meminfo: memFree=1864816/2055920 swapFree=4179748/4192956
[pid=16127] ppid=16125 vsize=5356 CPUtime=0
/proc/16127/stat : 16127 (SatELiteGTI) S 16125 16127 15987 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310437172 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 264907580228 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/16127/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.301307 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 16127
/proc/meminfo: memFree=1864816/2055920 swapFree=4179748/4192956
[pid=16127] ppid=16125 vsize=5356 CPUtime=0
/proc/16127/stat : 16127 (SatELiteGTI) S 16125 16127 15987 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310437172 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 264907580228 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/16127/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.702365 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 16127
/proc/meminfo: memFree=1864816/2055920 swapFree=4179748/4192956
[pid=16127] ppid=16125 vsize=5356 CPUtime=0
/proc/16127/stat : 16127 (SatELiteGTI) S 16125 16127 15987 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310437172 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 264907580228 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/16127/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+1.50148 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 16132
/proc/meminfo: memFree=1824032/2055920 swapFree=4179748/4192956
[pid=16127] ppid=16125 vsize=5356 CPUtime=0
/proc/16127/stat : 16127 (SatELiteGTI) S 16125 16127 15987 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310437172 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 264907580228 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/16127/statm: 1339 237 197 169 0 50 0
[pid=16131] ppid=16127 vsize=44200 CPUtime=1.48
/proc/16131/stat : 16131 (SatELite_releas) R 16127 16127 15987 0 -1 4194304 10100 0 0 0 141 7 0 0 25 0 1 0 310437173 45260800 9316 1992294400 134512640 135223648 4294956128 18446744073709551615 134585285 0 0 4096 3 0 0 0 17 1 0 0
/proc/16131/statm: 11050 9316 76 173 0 10875 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 49556
[startup+3.10171 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 16133
/proc/meminfo: memFree=1847200/2055920 swapFree=4179748/4192956
[pid=16127] ppid=16125 vsize=5356 CPUtime=1.86
/proc/16127/stat : 16127 (SatELiteGTI) S 16125 16127 15987 0 -1 4194304 336 10595 0 0 0 0 177 9 16 0 1 0 310437172 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 264907580228 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16127/statm: 1339 239 197 169 0 50 0
[pid=16133] ppid=16127 vsize=12224 CPUtime=1.21
/proc/16133/stat : 16133 (minisat_static) R 16127 16127 15987 0 -1 4194304 2842 0 0 0 120 1 0 0 25 0 1 0 310437360 12517376 2825 1992294400 134512640 135215339 4294956240 18446744073709551615 134528779 0 0 4096 3 0 0 0 17 1 0 0
/proc/16133/statm: 3056 2825 77 171 0 2883 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 17580
[startup+6.30118 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 16133
/proc/meminfo: memFree=1846176/2055920 swapFree=4179748/4192956
[pid=16127] ppid=16125 vsize=5356 CPUtime=1.86
/proc/16127/stat : 16127 (SatELiteGTI) S 16125 16127 15987 0 -1 4194304 336 10595 0 0 0 0 177 9 16 0 1 0 310437172 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 264907580228 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16127/statm: 1339 239 197 169 0 50 0
[pid=16133] ppid=16127 vsize=12832 CPUtime=4.41
/proc/16133/stat : 16133 (minisat_static) R 16127 16127 15987 0 -1 4194304 2959 0 0 0 440 1 0 0 25 0 1 0 310437360 13139968 2942 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 1 0 0
/proc/16133/statm: 3208 2942 77 171 0 3035 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 18188
[startup+12.7011 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 16133
/proc/meminfo: memFree=1845408/2055920 swapFree=4179748/4192956
[pid=16127] ppid=16125 vsize=5356 CPUtime=1.86
/proc/16127/stat : 16127 (SatELiteGTI) S 16125 16127 15987 0 -1 4194304 336 10595 0 0 0 0 177 9 16 0 1 0 310437172 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 264907580228 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16127/statm: 1339 239 197 169 0 50 0
[pid=16133] ppid=16127 vsize=13660 CPUtime=10.8
/proc/16133/stat : 16133 (minisat_static) R 16127 16127 15987 0 -1 4194304 3168 0 0 0 1079 1 0 0 25 0 1 0 310437360 13987840 3151 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/16133/statm: 3415 3151 77 171 0 3242 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 19016
[startup+25.502 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 16133
/proc/meminfo: memFree=1842592/2055920 swapFree=4179748/4192956
[pid=16127] ppid=16125 vsize=5356 CPUtime=1.86
/proc/16127/stat : 16127 (SatELiteGTI) S 16125 16127 15987 0 -1 4194304 336 10595 0 0 0 0 177 9 16 0 1 0 310437172 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 264907580228 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16127/statm: 1339 239 197 169 0 50 0
[pid=16133] ppid=16127 vsize=16368 CPUtime=23.6
/proc/16133/stat : 16133 (minisat_static) R 16127 16127 15987 0 -1 4194304 3864 0 0 0 2357 3 0 0 25 0 1 0 310437360 16760832 3847 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/16133/statm: 4092 3847 77 171 0 3919 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 21724
[startup+51.1027 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 16133
/proc/meminfo: memFree=1833440/2055920 swapFree=4179748/4192956
[pid=16127] ppid=16125 vsize=5356 CPUtime=1.86
/proc/16127/stat : 16127 (SatELiteGTI) S 16125 16127 15987 0 -1 4194304 336 10595 0 0 0 0 177 9 16 0 1 0 310437172 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 264907580228 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16127/statm: 1339 239 197 169 0 50 0
[pid=16133] ppid=16127 vsize=25792 CPUtime=49.17
/proc/16133/stat : 16133 (minisat_static) R 16127 16127 15987 0 -1 4194304 6167 0 0 0 4912 5 0 0 25 0 1 0 310437360 26411008 6150 1992294400 134512640 135215339 4294956240 18446744073709551615 134528764 0 0 4096 3 0 0 0 17 1 0 0
/proc/16133/statm: 6448 6150 77 171 0 6275 0
Current children cumulated CPU time (s) 51.03
Current children cumulated vsize (KiB) 31148
[startup+102.306 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 16133
/proc/meminfo: memFree=1812960/2055920 swapFree=4179748/4192956
[pid=16127] ppid=16125 vsize=5356 CPUtime=1.86
/proc/16127/stat : 16127 (SatELiteGTI) S 16125 16127 15987 0 -1 4194304 336 10595 0 0 0 0 177 9 16 0 1 0 310437172 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 264907580228 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16127/statm: 1339 239 197 169 0 50 0
[pid=16133] ppid=16127 vsize=45864 CPUtime=100.35
/proc/16133/stat : 16133 (minisat_static) R 16127 16127 15987 0 -1 4194304 11240 0 0 0 10023 12 0 0 25 0 1 0 310437360 46964736 11223 1992294400 134512640 135215339 4294956240 18446744073709551615 134529148 0 0 4096 3 0 0 0 17 1 0 0
/proc/16133/statm: 11466 11223 77 171 0 11293 0
Current children cumulated CPU time (s) 102.21
Current children cumulated vsize (KiB) 51220
[startup+162.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 16133
/proc/meminfo: memFree=1791776/2055920 swapFree=4179748/4192956
[pid=16127] ppid=16125 vsize=5356 CPUtime=1.86
/proc/16127/stat : 16127 (SatELiteGTI) S 16125 16127 15987 0 -1 4194304 336 10595 0 0 0 0 177 9 16 0 1 0 310437172 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 264907580228 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16127/statm: 1339 239 197 169 0 50 0
[pid=16133] ppid=16127 vsize=67252 CPUtime=160.31
/proc/16133/stat : 16133 (minisat_static) R 16127 16127 15987 0 -1 4194304 16558 0 0 0 16013 18 0 0 25 0 1 0 310437360 68866048 16541 1992294400 134512640 135215339 4294956240 18446744073709551615 134529148 0 0 4096 3 0 0 0 17 1 0 0
/proc/16133/statm: 16813 16541 77 171 0 16640 0
Current children cumulated CPU time (s) 162.17
Current children cumulated vsize (KiB) 72608
[startup+222.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 16133
/proc/meminfo: memFree=1771744/2055920 swapFree=4179748/4192956
[pid=16127] ppid=16125 vsize=5356 CPUtime=1.86
/proc/16127/stat : 16127 (SatELiteGTI) S 16125 16127 15987 0 -1 4194304 336 10595 0 0 0 0 177 9 16 0 1 0 310437172 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 264907580228 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16127/statm: 1339 239 197 169 0 50 0
[pid=16133] ppid=16127 vsize=87600 CPUtime=220.29
/proc/16133/stat : 16133 (minisat_static) R 16127 16127 15987 0 -1 4194304 21487 0 0 0 22005 24 0 0 25 0 1 0 310437360 89702400 21470 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/16133/statm: 21900 21470 77 171 0 21727 0
Current children cumulated CPU time (s) 222.15
Current children cumulated vsize (KiB) 92956
[startup+282.301 s]
/proc/loadavg: 1.04 1.01 1.00 2/66 16133
/proc/meminfo: memFree=1756960/2055920 swapFree=4179748/4192956
[pid=16127] ppid=16125 vsize=5356 CPUtime=1.86
/proc/16127/stat : 16127 (SatELiteGTI) S 16125 16127 15987 0 -1 4194304 336 10595 0 0 0 0 177 9 16 0 1 0 310437172 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 264907580228 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16127/statm: 1339 239 197 169 0 50 0
[pid=16133] ppid=16127 vsize=102172 CPUtime=280.26
/proc/16133/stat : 16133 (minisat_static) R 16127 16127 15987 0 -1 4194304 25208 0 0 0 27998 28 0 0 25 0 1 0 310437360 104624128 25191 1992294400 134512640 135215339 4294956240 18446744073709551615 134528779 0 0 4096 3 0 0 0 17 1 0 0
/proc/16133/statm: 25543 25191 77 171 0 25370 0
Current children cumulated CPU time (s) 282.12
Current children cumulated vsize (KiB) 107528
[startup+342.302 s]
/proc/loadavg: 1.05 1.02 1.00 2/66 16133
/proc/meminfo: memFree=1742176/2055920 swapFree=4179748/4192956
[pid=16127] ppid=16125 vsize=5356 CPUtime=1.86
/proc/16127/stat : 16127 (SatELiteGTI) S 16125 16127 15987 0 -1 4194304 336 10595 0 0 0 0 177 9 16 0 1 0 310437172 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 264907580228 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16127/statm: 1339 239 197 169 0 50 0
[pid=16133] ppid=16127 vsize=116568 CPUtime=340.24
/proc/16133/stat : 16133 (minisat_static) R 16127 16127 15987 0 -1 4194304 28847 0 0 0 33993 31 0 0 25 0 1 0 310437360 119365632 28830 1992294400 134512640 135215339 4294956240 18446744073709551615 134528863 0 0 4096 3 0 0 0 17 1 0 0
/proc/16133/statm: 29142 28830 77 171 0 28969 0
Current children cumulated CPU time (s) 342.1
Current children cumulated vsize (KiB) 121924
[startup+402.302 s]
/proc/loadavg: 1.02 1.02 1.00 2/66 16133
/proc/meminfo: memFree=1729120/2055920 swapFree=4179748/4192956
[pid=16127] ppid=16125 vsize=5356 CPUtime=1.86
/proc/16127/stat : 16127 (SatELiteGTI) S 16125 16127 15987 0 -1 4194304 336 10595 0 0 0 0 177 9 16 0 1 0 310437172 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 264907580228 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16127/statm: 1339 239 197 169 0 50 0
[pid=16133] ppid=16127 vsize=130900 CPUtime=400.21
/proc/16133/stat : 16133 (minisat_static) R 16127 16127 15987 0 -1 4194304 32125 0 0 0 39987 34 0 0 25 0 1 0 310437360 134041600 32108 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/16133/statm: 32725 32108 77 171 0 32552 0
Current children cumulated CPU time (s) 402.07
Current children cumulated vsize (KiB) 136256
[startup+462.301 s]
################
# More data... #
################
/proc/16133/statm: 38006 37496 77 171 0 37833 0
Current children cumulated CPU time (s) 522.02
Current children cumulated vsize (KiB) 157380
[startup+582.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 16139
/proc/meminfo: memFree=1695200/2055920 swapFree=4179748/4192956
[pid=16127] ppid=16125 vsize=5356 CPUtime=1.86
/proc/16127/stat : 16127 (SatELiteGTI) S 16125 16127 15987 0 -1 4194304 336 10595 0 0 0 0 177 9 16 0 1 0 310437172 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 264907580228 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16127/statm: 1339 239 197 169 0 50 0
[pid=16133] ppid=16127 vsize=164128 CPUtime=580.14
/proc/16133/stat : 16133 (minisat_static) R 16127 16127 15987 0 -1 4194304 40572 0 0 0 57970 44 0 0 25 0 1 0 310437360 168067072 40555 1992294400 134512640 135215339 4294956240 18446744073709551615 134528694 0 0 4096 3 0 0 0 17 1 0 0
/proc/16133/statm: 41032 40555 77 171 0 40859 0
Current children cumulated CPU time (s) 582
Current children cumulated vsize (KiB) 169484
[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 16139
/proc/meminfo: memFree=1682784/2055920 swapFree=4179748/4192956
[pid=16127] ppid=16125 vsize=5356 CPUtime=1.86
/proc/16127/stat : 16127 (SatELiteGTI) S 16125 16127 15987 0 -1 4194304 336 10595 0 0 0 0 177 9 16 0 1 0 310437172 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 264907580228 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16127/statm: 1339 239 197 169 0 50 0
[pid=16133] ppid=16127 vsize=176184 CPUtime=640.12
/proc/16133/stat : 16133 (minisat_static) R 16127 16127 15987 0 -1 4194304 43600 0 0 0 63965 47 0 0 25 0 1 0 310437360 180412416 43583 1992294400 134512640 135215339 4294956240 18446744073709551615 134529083 0 0 4096 3 0 0 0 17 1 0 0
/proc/16133/statm: 44046 43583 77 171 0 43873 0
Current children cumulated CPU time (s) 641.98
Current children cumulated vsize (KiB) 181540
[startup+702.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 16139
/proc/meminfo: memFree=1669792/2055920 swapFree=4179748/4192956
[pid=16127] ppid=16125 vsize=5356 CPUtime=1.86
/proc/16127/stat : 16127 (SatELiteGTI) S 16125 16127 15987 0 -1 4194304 336 10595 0 0 0 0 177 9 16 0 1 0 310437172 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 264907580228 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16127/statm: 1339 239 197 169 0 50 0
[pid=16133] ppid=16127 vsize=188904 CPUtime=700.09
/proc/16133/stat : 16133 (minisat_static) R 16127 16127 15987 0 -1 4194304 46841 0 0 0 69958 51 0 0 25 0 1 0 310437360 193437696 46824 1992294400 134512640 135215339 4294956240 18446744073709551615 134529096 0 0 4096 3 0 0 0 17 1 0 0
/proc/16133/statm: 47226 46824 77 171 0 47053 0
Current children cumulated CPU time (s) 701.95
Current children cumulated vsize (KiB) 194260
[startup+762.306 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 16139
/proc/meminfo: memFree=1660128/2055920 swapFree=4179748/4192956
[pid=16127] ppid=16125 vsize=5356 CPUtime=1.86
/proc/16127/stat : 16127 (SatELiteGTI) S 16125 16127 15987 0 -1 4194304 336 10595 0 0 0 0 177 9 16 0 1 0 310437172 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 264907580228 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16127/statm: 1339 239 197 169 0 50 0
[pid=16133] ppid=16127 vsize=198276 CPUtime=760.07
/proc/16133/stat : 16133 (minisat_static) R 16127 16127 15987 0 -1 4194304 49199 0 0 0 75953 54 0 0 25 0 1 0 310437360 203034624 49182 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/16133/statm: 49569 49182 77 171 0 49396 0
Current children cumulated CPU time (s) 761.93
Current children cumulated vsize (KiB) 203632
[startup+822.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 16139
/proc/meminfo: memFree=1651296/2055920 swapFree=4179748/4192956
[pid=16127] ppid=16125 vsize=5356 CPUtime=1.86
/proc/16127/stat : 16127 (SatELiteGTI) S 16125 16127 15987 0 -1 4194304 336 10595 0 0 0 0 177 9 16 0 1 0 310437172 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 264907580228 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16127/statm: 1339 239 197 169 0 50 0
[pid=16133] ppid=16127 vsize=206996 CPUtime=820.06
/proc/16133/stat : 16133 (minisat_static) R 16127 16127 15987 0 -1 4194304 51414 0 0 0 81949 57 0 0 25 0 1 0 310437360 211963904 51397 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/16133/statm: 51749 51397 77 171 0 51576 0
Current children cumulated CPU time (s) 821.92
Current children cumulated vsize (KiB) 212352
[startup+882.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 16139
/proc/meminfo: memFree=1642336/2055920 swapFree=4179748/4192956
[pid=16127] ppid=16125 vsize=5356 CPUtime=1.86
/proc/16127/stat : 16127 (SatELiteGTI) S 16125 16127 15987 0 -1 4194304 336 10595 0 0 0 0 177 9 16 0 1 0 310437172 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 264907580228 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16127/statm: 1339 239 197 169 0 50 0
[pid=16133] ppid=16127 vsize=217832 CPUtime=880.03
/proc/16133/stat : 16133 (minisat_static) R 16127 16127 15987 0 -1 4194304 53636 0 0 0 87944 59 0 0 25 0 1 0 310437360 223059968 53619 1992294400 134512640 135215339 4294956240 18446744073709551615 134529099 0 0 4096 3 0 0 0 17 1 0 0
/proc/16133/statm: 54458 53619 77 171 0 54285 0
Current children cumulated CPU time (s) 881.89
Current children cumulated vsize (KiB) 223188
[startup+942.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 16139
/proc/meminfo: memFree=1632928/2055920 swapFree=4179748/4192956
[pid=16127] ppid=16125 vsize=5356 CPUtime=1.86
/proc/16127/stat : 16127 (SatELiteGTI) S 16125 16127 15987 0 -1 4194304 336 10595 0 0 0 0 177 9 16 0 1 0 310437172 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 264907580228 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16127/statm: 1339 239 197 169 0 50 0
[pid=16133] ppid=16127 vsize=227072 CPUtime=940.01
/proc/16133/stat : 16133 (minisat_static) R 16127 16127 15987 0 -1 4194304 55992 0 0 0 93939 62 0 0 25 0 1 0 310437360 232521728 55975 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/16133/statm: 56768 55975 77 171 0 56595 0
Current children cumulated CPU time (s) 941.87
Current children cumulated vsize (KiB) 232428
[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 16139
/proc/meminfo: memFree=1623712/2055920 swapFree=4179748/4192956
[pid=16127] ppid=16125 vsize=5356 CPUtime=1.86
/proc/16127/stat : 16127 (SatELiteGTI) S 16125 16127 15987 0 -1 4194304 336 10595 0 0 0 0 177 9 16 0 1 0 310437172 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 264907580228 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16127/statm: 1339 239 197 169 0 50 0
[pid=16133] ppid=16127 vsize=236176 CPUtime=1000
/proc/16133/stat : 16133 (minisat_static) R 16127 16127 15987 0 -1 4194304 58259 0 0 0 99934 66 0 0 25 0 1 0 310437360 241844224 58242 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/16133/statm: 59044 58242 77 171 0 58871 0
Current children cumulated CPU time (s) 1001.86
Current children cumulated vsize (KiB) 241532
[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 16139
/proc/meminfo: memFree=1613152/2055920 swapFree=4179748/4192956
[pid=16127] ppid=16125 vsize=5356 CPUtime=1.86
/proc/16127/stat : 16127 (SatELiteGTI) S 16125 16127 15987 0 -1 4194304 336 10595 0 0 0 0 177 9 16 0 1 0 310437172 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 264907580228 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16127/statm: 1339 239 197 169 0 50 0
[pid=16133] ppid=16127 vsize=246696 CPUtime=1059.97
/proc/16133/stat : 16133 (minisat_static) R 16127 16127 15987 0 -1 4194304 60916 0 0 0 105928 69 0 0 25 0 1 0 310437360 252616704 60899 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/16133/statm: 61674 60899 77 171 0 61501 0
Current children cumulated CPU time (s) 1061.83
Current children cumulated vsize (KiB) 252052
[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 16139
/proc/meminfo: memFree=1602848/2055920 swapFree=4179748/4192956
[pid=16127] ppid=16125 vsize=5356 CPUtime=1.86
/proc/16127/stat : 16127 (SatELiteGTI) S 16125 16127 15987 0 -1 4194304 336 10595 0 0 0 0 177 9 16 0 1 0 310437172 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 264907580228 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16127/statm: 1339 239 197 169 0 50 0
[pid=16133] ppid=16127 vsize=256696 CPUtime=1119.95
/proc/16133/stat : 16133 (minisat_static) R 16127 16127 15987 0 -1 4194304 63443 0 0 0 111923 72 0 0 25 0 1 0 310437360 262856704 63426 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/16133/statm: 64174 63426 77 171 0 64001 0
Current children cumulated CPU time (s) 1121.81
Current children cumulated vsize (KiB) 262052
[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 16139
/proc/meminfo: memFree=1593440/2055920 swapFree=4179748/4192956
[pid=16127] ppid=16125 vsize=5356 CPUtime=1.86
/proc/16127/stat : 16127 (SatELiteGTI) S 16125 16127 15987 0 -1 4194304 336 10595 0 0 0 0 177 9 16 0 1 0 310437172 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 264907580228 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16127/statm: 1339 239 197 169 0 50 0
[pid=16133] ppid=16127 vsize=266284 CPUtime=1179.92
/proc/16133/stat : 16133 (minisat_static) R 16127 16127 15987 0 -1 4194304 65877 0 0 0 117917 75 0 0 25 0 1 0 310437360 272674816 65860 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/16133/statm: 66571 65860 77 171 0 66398 0
Current children cumulated CPU time (s) 1181.78
Current children cumulated vsize (KiB) 271640
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1200.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 16139
/proc/meminfo: memFree=1591264/2055920 swapFree=4179748/4192956
[pid=16127] ppid=16125 vsize=5356 CPUtime=1.86
/proc/16127/stat : 16127 (SatELiteGTI) S 16125 16127 15987 0 -1 4194304 336 10595 0 0 0 0 177 9 16 0 1 0 310437172 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 264907580228 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16127/statm: 1339 239 197 169 0 50 0
[pid=16133] ppid=16127 vsize=268104 CPUtime=1198.23
/proc/16133/stat : 16133 (minisat_static) R 16127 16127 15987 0 -1 4194304 66322 0 0 0 119747 76 0 0 25 0 1 0 310437360 274538496 66305 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/16133/statm: 67026 66305 77 171 0 66853 0
Current children cumulated CPU time (s) 1200.09
Current children cumulated vsize (KiB) 273460
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 16127 and gives
# childrusage.ru_utime.tv_sec=1
# childrusage.ru_utime.tv_usec=781729
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=98984
# CPU time returned by wait4() is 1.88071
# while last known CPU time is 1200.09
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1200.61
CPU time (s): 1200.09
CPU user time (s): 1199.24
CPU system time (s): 0.85
CPU usage (%): 99.9566
Max. virtual memory (cumulated for all children) (KiB): 273460
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1.78173
system time used= 0.098984
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 10931
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 13
involuntary context switches= 11
runsolver used 1.3198 second user time and 3.15852 second system time
The end
Begin job on node30 at 2009-05-20 14:54:04
IDJOB=1833635
IDBENCH=70813
IDSOLVER=671
FILE ID=node30/1833635-1242824044
PBS_JOBID= 9322494
Free space on /tmp= 66392 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= BIN/runsolver --timestamp -w /tmp/evaluation-result-1833635-1242824044/watcher-1833635-1242824044 -o /tmp/evaluation-result-1833635-1242824044/solver-1833635-1242824044 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1833635-1242824044.cnf
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= b7a07371a2da4a8c8bef63c213dd1e15
RANDOM SEED=791755932
node30.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.265
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5914.62
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.265
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5586.94
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1865360 kB
Buffers: 48288 kB
Cached: 94588 kB
SwapCached: 7540 kB
Active: 56852 kB
Inactive: 95000 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1865360 kB
SwapTotal: 4192956 kB
SwapFree: 4179748 kB
Dirty: 5112 kB
Writeback: 0 kB
Mapped: 14048 kB
Slab: 24864 kB
Committed_AS: 1149256 kB
PageTables: 1360 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264952 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 66384 MiB
End job on node30 at 2009-05-20 15:14:07