0.00/0.00 c Parsing...
0.07/0.06 c ==============================================================================
0.07/0.06 c | | ORIGINAL | LEARNT | |
0.07/0.06 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress |
0.07/0.06 c ==============================================================================
0.07/0.06 c | 0 | 70701 164969 | 21210 0 0 nan | 0.000 % |
0.52/0.56 c | 0 | 35182 121457 | -- 0 -- -- | -- | -35497/-43459
0.52/0.56 c ==============================================================================
0.52/0.56 c Result : #vars: 6588 #clauses: 35182 #literals: 121457
0.52/0.56 c CPU time: 0.53 s
0.52/0.56 c ==============================================================================
0.52/0.61 c This is MiniSat 2.0 beta
0.52/0.61 c WARNING: for repeatability, setting FPU to use double precision
0.52/0.61 c ============================[ Problem Statistics ]=============================
0.52/0.61 c | |
0.52/0.61 c | Number of variables: 6588 |
0.52/0.61 c | Number of clauses: 35182 |
0.61/0.63 c | Parsing time: 0.03 s |
0.61/0.63 c ============================[ Search Statistics ]==============================
0.61/0.63 c | Conflicts | ORIGINAL | LEARNT | Progress |
0.61/0.63 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
0.61/0.63 c ===============================================================================
0.61/0.63 c | 0 | 6588 35182 121457 | 11727 0 nan | 0.000 % |
0.61/0.64 c | 101 | 6588 35182 121457 | 11727 101 37 | 0.000 % |
0.61/0.66 c | 202 | 6588 35182 121457 | 11727 202 51 | 0.000 % |
0.61/0.67 c | 302 | 6588 35182 121457 | 11727 302 42 | 0.000 % |
0.61/0.68 c | 413 | 6588 35182 121457 | 11727 413 35 | 0.000 % |
0.61/0.70 c | 514 | 6588 35182 121457 | 11727 514 47 | 0.000 % |
0.61/0.72 c | 624 | 6587 35149 121389 | 11727 623 46 | 0.015 % |
0.61/0.74 c | 745 | 6587 35149 121389 | 11727 744 42 | 0.015 % |
0.61/0.76 c | 845 | 6587 35149 121389 | 11727 844 39 | 0.015 % |
0.61/0.78 c | 955 | 6587 35149 121389 | 11727 954 36 | 0.015 % |
0.61/0.81 c | 1076 | 6587 35149 121389 | 11727 1075 37 | 0.015 % |
0.61/0.83 c | 1209 | 6587 35149 121389 | 11727 1208 36 | 0.015 % |
0.61/0.84 c | 1309 | 6587 35149 121389 | 11727 1308 35 | 0.015 % |
0.61/0.85 c | 1420 | 6587 35149 121389 | 11727 1419 34 | 0.015 % |
0.61/0.87 c | 1542 | 6587 35149 121389 | 11727 1541 34 | 0.015 % |
0.61/0.89 c | 1676 | 6587 35149 121389 | 11727 1675 36 | 0.015 % |
0.61/0.92 c | 1822 | 6587 35149 121389 | 11727 1821 36 | 0.015 % |
0.61/0.93 c | 1922 | 6587 35149 121389 | 11727 1921 36 | 0.015 % |
0.61/0.95 c | 2035 | 6587 35149 121389 | 11727 2034 36 | 0.015 % |
0.61/0.97 c | 2156 | 6587 35149 121389 | 11727 2155 34 | 0.015 % |
0.61/0.98 c | 2289 | 6587 35149 121389 | 11727 2288 32 | 0.015 % |
0.61/1.00 c | 2435 | 6587 35149 121389 | 11727 2434 34 | 0.015 % |
1.02/1.04 c | 2596 | 6587 35149 121389 | 11727 2595 35 | 0.015 % |
1.02/1.06 c | 2697 | 6587 35149 121389 | 11727 2696 34 | 0.015 % |
1.02/1.08 c | 2808 | 6587 35149 121389 | 11727 2807 34 | 0.015 % |
1.02/1.09 c | 2929 | 6587 35149 121389 | 11727 2928 34 | 0.015 % |
1.02/1.11 c | 3063 | 6587 35149 121389 | 11727 3062 33 | 0.015 % |
1.13/1.13 c | 3210 | 6587 35149 121389 | 11727 3209 34 | 0.015 % |
1.13/1.16 c | 3371 | 6586 35117 121325 | 11727 3368 34 | 0.030 % |
1.13/1.19 c | 3549 | 6586 35117 121325 | 11727 3546 34 | 0.031 % |
1.13/1.20 c | 3649 | 6586 35117 121325 | 11727 3646 34 | 0.030 % |
1.22/1.22 c | 3759 | 6586 35117 121325 | 11727 3756 33 | 0.030 % |
1.22/1.23 c | 3880 | 6586 35117 121325 | 11727 3877 33 | 0.030 % |
1.22/1.24 c | 4014 | 6586 35117 121325 | 11727 4011 33 | 0.030 % |
1.22/1.27 c | 4160 | 6586 35117 121325 | 11727 4157 35 | 0.030 % |
1.22/1.30 c | 4320 | 6586 35117 121325 | 11727 4317 36 | 0.030 % |
1.32/1.34 c | 4496 | 6586 35117 121325 | 11727 4493 36 | 0.030 % |
1.32/1.38 c | 4689 | 6586 35117 121325 | 11727 4686 35 | 0.032 % |
1.32/1.40 c | 4789 | 6586 35117 121325 | 11727 4786 35 | 0.031 % |
1.42/1.43 c | 4901 | 6586 35117 121325 | 11727 4898 35 | 0.030 % |
1.42/1.46 c | 5023 | 6586 35117 121325 | 11727 5020 35 | 0.030 % |
1.42/1.48 c | 5157 | 6586 35117 121325 | 11727 5154 37 | 0.030 % |
1.52/1.51 c | 5304 | 6586 35117 121325 | 11727 5301 37 | 0.030 % |
1.52/1.55 c | 5465 | 6586 35117 121325 | 11727 5462 37 | 0.030 % |
1.52/1.57 c | 5641 | 6586 35117 121325 | 11727 5638 36 | 0.030 % |
1.62/1.63 c | 5837 | 6586 35117 121325 | 11727 5834 37 | 0.030 % |
1.62/1.68 c | 6049 | 6586 35117 121325 | 11727 6046 38 | 0.030 % |
1.62/1.69 c | 6149 | 6586 35117 121325 | 11727 6146 37 | 0.030 % |
1.72/1.72 c | 6259 | 6586 35117 121325 | 11727 6256 37 | 0.030 % |
1.72/1.74 c | 6380 | 6586 35117 121325 | 11727 6377 37 | 0.030 % |
1.72/1.77 c | 6513 | 6586 35117 121325 | 11727 6510 37 | 0.030 % |
1.72/1.80 c | 6659 | 6586 35117 121325 | 11727 6656 37 | 0.030 % |
1.82/1.82 c | 6822 | 6586 35117 121325 | 11727 6819 38 | 0.030 % |
1.82/1.85 c | 6999 | 6586 35117 121325 | 11727 6996 38 | 0.030 % |
1.82/1.89 c | 7193 | 6586 35117 121325 | 11727 7190 41 | 0.030 % |
1.92/1.94 c | 7405 | 6586 35117 121325 | 11727 7402 43 | 0.030 % |
2.02/2.02 c | 7640 | 6586 35117 121325 | 11727 7637 45 | 0.030 % |
2.02/2.04 c | 7740 | 6586 35117 121325 | 11727 7737 45 | 0.030 % |
2.02/2.06 c | 7852 | 6586 35117 121325 | 11727 7849 45 | 0.030 % |
2.02/2.09 c | 7973 | 6586 35117 121325 | 11727 7970 45 | 0.030 % |
2.12/2.12 c | 8106 | 6586 35117 121325 | 11727 8103 46 | 0.032 % |
2.12/2.15 c | 8252 | 6586 35117 121325 | 11727 8249 45 | 0.030 % |
2.12/2.17 c | 8412 | 6586 35117 121325 | 11727 8409 45 | 0.030 % |
2.12/2.20 c | 8589 | 6586 35117 121325 | 11727 8586 46 | 0.030 % |
2.23/2.25 c | 8782 | 6586 35117 121325 | 11727 8779 45 | 0.030 % |
2.23/2.28 c | 8995 | 6586 35117 121325 | 11727 8992 46 | 0.030 % |
2.32/2.33 c | 9228 | 6586 35117 121325 | 11727 9225 48 | 0.030 % |
2.32/2.39 c | 9484 | 6586 35117 121325 | 11727 9481 47 | 0.030 % |
2.32/2.40 c | 9586 | 6586 35117 121325 | 11727 9583 47 | 0.030 % |
2.42/2.43 c | 9697 | 6586 35117 121325 | 11727 9694 47 | 0.030 % |
2.42/2.45 c | 9818 | 6586 35117 121325 | 11727 9815 47 | 0.030 % |
2.42/2.48 c | 9951 | 6586 35117 121325 | 11727 9948 47 | 0.030 % |
2.52/2.51 c | 10097 | 6586 35117 121325 | 2147483647 10094 47 | 0.030 % |
2.52/2.54 c | 10257 | 6586 35117 121325 | 2147483647 10254 47 | 0.030 % |
2.52/2.58 c | 10433 | 6586 35117 121325 | 2147483647 10430 46 | 0.030 % |
2.62/2.63 c | 10626 | 6586 35117 121325 | 2147483647 10623 46 | 0.030 % |
2.62/2.67 c | 10838 | 6586 35117 121325 | 2147483647 10835 46 | 0.030 % |
2.72/2.73 c | 11071 | 6586 35117 121325 | 2147483647 11068 45 | 0.030 % |
2.72/2.78 c | 11329 | 6586 35117 121325 | 2147483647 11326 45 | 0.030 % |
2.82/2.84 c | 11614 | 6586 35117 121325 | 2147483647 11611 47 | 0.030 % |
2.82/2.87 c | 11715 | 6586 35117 121325 | 2147483647 11712 47 | 0.030 % |
2.82/2.90 c | 11826 | 6586 35117 121325 | 2147483647 11823 48 | 0.030 % |
2.92/2.95 c | 11948 | 6586 35117 121325 | 2147483647 11945 48 | 0.030 % |
3.02/3.01 c | 12081 | 6586 35117 121325 | 2147483647 12078 49 | 0.030 % |
3.02/3.06 c | 12228 | 6586 35117 121325 | 2147483647 12225 49 | 0.030 % |
3.12/3.12 c | 12388 | 6586 35117 121325 | 2147483647 12385 49 | 0.030 % |
3.12/3.15 c | 12564 | 6586 35117 121325 | 2147483647 12561 49 | 0.030 % |
3.12/3.19 c | 12757 | 6586 35117 121325 | 2147483647 12754 49 | 0.030 % |
3.22/3.25 c | 12969 | 6586 35117 121325 | 2147483647 12966 49 | 0.030 % |
3.22/3.31 c | 13202 | 6586 35117 121325 | 2147483647 13199 49 | 0.030 % |
3.42/3.41 c | 13458 | 6586 35117 121325 | 2147483647 13455 49 | 0.030 % |
3.42/3.48 c | 13739 | 6586 35117 121325 | 2147483647 13736 50 | 0.030 % |
3.52/3.55 c | 14049 | 6586 35117 121325 | 2147483647 14046 50 | 0.030 % |
3.52/3.58 c | 14150 | 6586 35117 121325 | 2147483647 14147 50 | 0.030 % |
3.62/3.62 c | 14260 | 6586 35117 121325 | 2147483647 14257 50 | 0.030 % |
3.62/3.64 c | 14383 | 6586 35117 121325 | 2147483647 14380 50 | 0.030 % |
3.62/3.68 c | 14516 | 6586 35117 121325 | 2147483647 14513 50 | 0.030 % |
3.72/3.72 c | 14663 | 6586 35117 121325 | 2147483647 14660 50 | 0.030 % |
3.72/3.75 c | 14823 | 6586 35117 121325 | 2147483647 14820 50 | 0.030 % |
3.82/3.82 c | 14999 | 6586 35117 121325 | 2147483647 14996 50 | 0.030 % |
3.82/3.86 c | 15193 | 6586 35117 121325 | 2147483647 15190 51 | 0.030 % |
3.92/3.93 c | 15407 | 6586 35117 121325 | 2147483647 15404 51 | 0.031 % |
3.92/3.99 c | 15640 | 6586 35117 121325 | 2147483647 15637 53 | 0.030 % |
4.02/4.08 c | 15897 | 6586 35117 121325 | 2147483647 15894 54 | 0.030 % |
4.22/4.21 c | 16179 | 6586 35117 121325 | 2147483647 16176 55 | 0.030 % |
4.32/4.34 c | 16489 | 6586 35117 121325 | 2147483647 16486 56 | 0.030 % |
4.43/4.46 c | 16828 | 6586 35117 121325 | 2147483647 16825 57 | 0.030 % |
4.43/4.48 c | 16928 | 6586 35117 121325 | 2147483647 16925 58 | 0.030 % |
4.52/4.52 c | 17040 | 6586 35117 121325 | 2147483647 17037 58 | 0.030 % |
4.52/4.57 c | 17161 | 6586 35117 121325 | 2147483647 17158 58 | 0.030 % |
4.62/4.62 c | 17295 | 6586 35117 121325 | 2147483647 17292 59 | 0.030 % |
4.62/4.68 c | 17441 | 6586 35117 121325 | 2147483647 17438 60 | 0.030 % |
4.72/4.72 c | 17601 | 6586 35117 121325 | 2147483647 17598 60 | 0.030 % |
4.72/4.77 c | 17777 | 6586 35117 121325 | 2147483647 17774 60 | 0.030 % |
4.82/4.82 c | 17970 | 6586 35117 121325 | 2147483647 17967 60 | 0.031 % |
4.82/4.89 c | 18182 | 6586 35117 121325 | 2147483647 18179 60 | 0.030 % |
4.92/4.96 c | 18416 | 6586 35117 121325 | 2147483647 18413 60 | 0.030 % |
5.02/5.05 c | 18673 | 6586 35117 121325 | 2147483647 18670 60 | 0.030 % |
5.12/5.13 c | 18954 | 6586 35117 121325 | 2147483647 18951 60 | 0.030 % |
5.12/5.20 c | 19263 | 6586 35117 121325 | 2147483647 19260 60 | 0.030 % |
5.22/5.26 c | 19602 | 6586 35117 121325 | 2147483647 19599 60 | 0.030 % |
5.42/5.41 c | 19974 | 6586 35117 121325 | 2147483647 19971 60 | 0.031 % |
5.42/5.44 c | 20074 | 6586 35117 121325 | 2147483647 20071 60 | 0.030 % |
5.42/5.47 c | 20186 | 6586 35117 121325 | 2147483647 20183 60 | 0.030 % |
5.53/5.52 c | 20308 | 6586 35117 121325 | 2147483647 20305 60 | 0.030 % |
5.53/5.56 c | 20441 | 6586 35117 121325 | 2147483647 20438 61 | 0.030 % |
5.53/5.60 c | 20588 | 6586 35117 121325 | 2147483647 20585 60 | 0.030 % |
5.62/5.66 c | 20748 | 6586 35117 121325 | 2147483647 20745 60 | 0.030 % |
5.62/5.70 c | 20924 | 6586 35117 121325 | 2147483647 20921 60 | 0.030 % |
5.72/5.76 c | 21117 | 6586 35117 121325 | 2147483647 21114 60 | 0.030 % |
5.82/5.82 c | 21329 | 6586 35117 121325 | 2147483647 21326 59 | 0.030 % |
5.82/5.88 c | 21562 | 6586 35117 121325 | 2147483647 21559 59 | 0.030 % |
5.92/5.94 c | 21819 | 6586 35117 121325 | 2147483647 21816 59 | 0.030 % |
6.02/6.02 c | 22100 | 6586 35117 121325 | 2147483647 22097 59 | 0.031 % |
6.02/6.10 c | 22409 | 6586 35117 121325 | 2147483647 22406 59 | 0.030 % |
6.22/6.22 c | 22751 | 6586 35117 121325 | 2147483647 22748 59 | 0.031 % |
6.32/6.32 c | 23123 | 6586 35117 121325 | 2147483647 23120 59 | 0.030 % |
6.42/6.45 c | 23532 | 6586 35117 121325 | 2147483647 23529 58 | 0.030 % |
6.42/6.48 c | 23632 | 6586 35117 121325 | 2147483647 23629 58 | 0.030 % |
6.42/6.51 c | 23742 | 6586 35117 121325 | 2147483647 23739 58 | 0.030 % |
6.52/6.53 c | 23863 | 6586 35117 121325 | 2147483647 23860 58 | 0.030 % |
6.52/6.56 c | 23996 | 6586 35117 121325 | 2147483647 23993 58 | 0.030 % |
6.52/6.61 c | 24142 | 6586 35117 121325 | 2147483647 24139 58 | 0.030 % |
6.63/6.66 c | 24302 | 6586 35117 121325 | 2147483647 24299 58 | 0.030 % |
6.72/6.71 c | 24478 | 6586 35117 121325 | 2147483647 24475 58 | 0.030 % |
6.72/6.79 c | 24671 | 6586 35117 121325 | 2147483647 24668 58 | 0.030 % |
6.82/6.88 c | 24883 | 6586 35117 121325 | 2147483647 24880 59 | 0.030 % |
6.92/6.95 c | 25116 | 6586 35117 121325 | 2147483647 25113 58 | 0.030 % |
7.02/7.06 c | 25372 | 6586 35117 121325 | 2147483647 25369 59 | 0.030 % |
7.12/7.18 c | 25653 | 6586 35117 121325 | 2147483647 25650 60 | 0.030 % |
7.22/7.30 c | 25962 | 6586 35117 121325 | 2147483647 25959 61 | 0.030 % |
7.42/7.42 c | 26301 | 6586 35117 121325 | 2147483647 26298 62 | 0.030 % |
7.52/7.56 c | 26675 | 6586 35117 121325 | 2147483647 26672 62 | 0.030 % |
7.62/7.72 c | 27085 | 6586 35117 121325 | 2147483647 27082 62 | 0.030 % |
7.82/7.89 c | 27535 | 6586 35117 121325 | 2147483647 27532 65 | 0.030 % |
7.92/7.94 c | 27635 | 6586 35117 121325 | 2147483647 27632 65 | 0.030 % |
8.02/8.02 c | 27745 | 6586 35117 121325 | 2147483647 27742 65 | 0.030 % |
8.02/8.06 c | 27867 | 6586 35117 121325 | 2147483647 27864 65 | 0.030 % |
8.12/8.11 c | 28003 | 6586 35117 121325 | 2147483647 28000 66 | 0.030 % |
8.12/8.14 c | 28149 | 6586 35117 121325 | 2147483647 28146 66 | 0.030 % |
8.22/8.22 c | 28309 | 6586 35117 121325 | 2147483647 28306 67 | 0.030 % |
8.22/8.29 c | 28485 | 6586 35117 121325 | 2147483647 28482 67 | 0.030 % |
8.32/8.40 c | 28684 | 6586 35117 121325 | 2147483647 28681 68 | 0.030 % |
8.42/8.48 c | 28897 | 6586 35117 121325 | 2147483647 28894 69 | 0.030 % |
8.52/8.60 c | 29132 | 6586 35117 121325 | 2147483647 29129 70 | 0.030 % |
8.62/8.70 c | 29388 | 6586 35117 121325 | 2147483647 29385 71 | 0.030 % |
8.72/8.80 c | 29669 | 6586 35117 121325 | 2147483647 29666 70 | 0.030 % |
8.83/8.90 c | 29978 | 6586 35117 121325 | 2147483647 29975 70 | 0.030 % |
9.02/9.02 c | 30317 | 6586 35117 121325 | 2147483647 30314 71 | 0.030 % |
9.12/9.15 c | 30690 | 6586 35117 121325 | 2147483647 30687 71 | 0.030 % |
9.22/9.28 c | 31100 | 6586 35117 121325 | 2147483647 31097 71 | 0.031 % |
9.42/9.43 c | 31549 | 6586 35117 121325 | 2147483647 31546 71 | 0.030 % |
9.62/9.64 c | 32044 | 6586 35117 121325 | 2147483647 32041 71 | 0.030 % |
9.62/9.68 c | 32145 | 6586 35117 121325 | 2147483647 32142 70 | 0.030 % |
9.72/9.73 c | 32255 | 6586 35117 121325 | 2147483647 32252 70 | 0.030 % |
9.72/9.80 c | 32377 | 6586 35117 121325 | 2147483647 32374 70 | 0.030 % |
9.82/9.85 c | 32510 | 6586 35117 121325 | 2147483647 32507 70 | 0.030 % |
9.82/9.91 c | 32656 | 6586 35117 121325 | 2147483647 32653 70 | 0.030 % |
9.93/10.00 c | 32816 | 6586 35117 121325 | 2147483647 32813 70 | 0.030 % |
10.02/10.09 c | 32992 | 6586 35117 121325 | 2147483647 32989 70 | 0.030 % |
10.12/10.16 c | 33185 | 6586 35117 121325 | 2147483647 33182 71 | 0.030 % |
10.22/10.27 c | 33398 | 6586 35117 121325 | 2147483647 33395 71 | 0.030 % |
10.42/10.42 c | 33632 | 6586 35117 121325 | 2147483647 33629 72 | 0.030 % |
10.52/10.52 c | 33891 | 6586 35117 121325 | 2147483647 33888 73 | 0.030 % |
10.62/10.64 c | 34178 | 6586 35117 121325 | 2147483647 34175 74 | 0.030 % |
10.72/10.80 c | 34488 | 6586 35117 121325 | 2147483647 34485 74 | 0.030 % |
10.92/10.95 c | 34828 | 6586 35117 121325 | 2147483647 34825 75 | 0.030 % |
11.12/11.13 c | 35200 | 6586 35117 121325 | 2147483647 35197 75 | 0.030 % |
11.22/11.29 c | 35609 | 6586 35117 121325 | 2147483647 35606 76 | 0.030 % |
11.42/11.48 c | 36062 | 6586 35117 121325 | 2147483647 36059 77 | 0.030 % |
11.72/11.71 c | 36556 | 6586 35117 121325 | 2147483647 36553 78 | 0.030 % |
12.02/12.10 c | 37100 | 6586 35117 121325 | 2147483647 37097 79 | 0.030 % |
12.13/12.15 c | 37202 | 6586 35117 121325 | 2147483647 37199 79 | 0.030 % |
12.13/12.19 c | 37312 | 6586 35117 121325 | 2147483647 37309 80 | 0.030 % |
12.22/12.24 c | 37434 | 6586 35117 121325 | 2147483647 37431 80 | 0.030 % |
12.22/12.30 c | 37567 | 6586 35117 121325 | 2147483647 37564 81 | 0.030 % |
12.32/12.38 c | 37714 | 6586 35117 121325 | 2147483647 37711 81 | 0.030 % |
12.52/12.52 c | 37874 | 6586 35117 121325 | 2147483647 37871 82 | 0.030 % |
12.52/12.59 c | 38052 | 6586 35117 121325 | 2147483647 38049 82 | 0.030 % |
12.62/12.70 c | 38246 | 6586 35117 121325 | 2147483647 38243 83 | 0.030 % |
12.82/12.83 c | 38458 | 6586 35117 121325 | 2147483647 38455 84 | 0.030 % |
12.92/12.97 c | 38691 | 6586 35117 121325 | 2147483647 38688 84 | 0.030 % |
13.23/13.28 c | 38949 | 6586 35117 121325 | 2147483647 38946 85 | 0.030 % |
13.42/13.44 c | 39230 | 6586 35117 121325 | 2147483647 39227 86 | 0.030 % |
13.62/13.65 c | 39539 | 6586 35117 121325 | 2147483647 39536 86 | 0.030 % |
13.92/13.93 c | 39878 | 6586 35117 121325 | 2147483647 39875 87 | 0.030 % |
14.12/14.16 c | 40253 | 6586 35117 121325 | 2147483647 40250 88 | 0.030 % |
14.42/14.43 c | 40662 | 6586 35117 121325 | 2147483647 40659 89 | 0.030 % |
14.62/14.67 c | 41111 | 6586 35117 121325 | 2147483647 41108 89 | 0.030 % |
14.92/14.94 c | 41604 | 6586 35117 121325 | 2147483647 41601 90 | 0.030 % |
15.12/15.19 c | 42149 | 6586 35117 121325 | 2147483647 42146 90 | 0.030 % |
15.43/15.44 c | 42745 | 6586 35117 121325 | 2147483647 42742 90 | 0.030 % |
15.52/15.51 c | 42845 | 6586 35117 121325 | 2147483647 42842 90 | 0.030 % |
15.52/15.59 c | 42955 | 6586 35117 121325 | 2147483647 42952 90 | 0.030 % |
15.62/15.70 c | 43078 | 6586 35117 121325 | 2147483647 43075 91 | 0.030 % |
15.82/15.81 c | 43223 | 6586 35117 121325 | 2147483647 43220 91 | 0.030 % |
15.92/15.92 c | 43370 | 6586 35117 121325 | 2147483647 43367 91 | 0.030 % |
16.02/16.06 c | 43538 | 6586 35117 121325 | 2147483647 43535 91 | 0.030 % |
16.12/16.16 c | 43714 | 6586 35117 121325 | 2147483647 43711 92 | 0.030 % |
16.22/16.29 c | 43907 | 6586 35117 121325 | 2147483647 43904 92 | 0.030 % |
16.42/16.42 c | 44119 | 6586 35117 121325 | 2147483647 44116 92 | 0.030 % |
16.53/16.57 c | 44353 | 6586 35117 121325 | 2147483647 44350 92 | 0.030 % |
16.62/16.66 c | 44609 | 6586 35117 121325 | 2147483647 44606 93 | 0.030 % |
16.82/16.83 c | 44890 | 6586 35117 121325 | 2147483647 44887 93 | 0.030 % |
17.02/17.04 c | 45199 | 6586 35117 121325 | 2147483647 45196 93 | 0.030 % |
17.22/17.27 c | 45538 | 6586 35117 121325 | 2147483647 45535 94 | 0.030 % |
17.52/17.54 c | 45910 | 6586 35117 121325 | 2147483647 45907 94 | 0.030 % |
17.82/17.81 c | 46319 | 6586 35117 121325 | 2147483647 46316 94 | 0.030 % |
18.02/18.09 c | 46768 | 6586 35117 121325 | 2147483647 46765 94 | 0.030 % |
18.32/18.31 c | 47261 | 6586 35117 121325 | 2147483647 47258 94 | 0.030 % |
18.42/18.49 c | 47804 | 6586 35117 121325 | 2147483647 47801 93 | 0.030 % |
18.82/18.86 c | 48400 | 6586 35117 121325 | 2147483647 48397 93 | 0.030 % |
19.02/19.05 c | 49056 | 6586 35117 121325 | 2147483647 49053 92 | 0.032 % |
19.12/19.11 c | 49156 | 6586 35117 121325 | 2147483647 49153 92 | 0.030 % |
19.12/19.18 c | 49266 | 6586 35117 121325 | 2147483647 49263 92 | 0.030 % |
19.22/19.25 c | 49387 | 6586 35117 121325 | 2147483647 49384 92 | 0.030 % |
19.32/19.33 c | 49521 | 6586 35117 121325 | 2147483647 49518 92 | 0.030 % |
19.42/19.45 c | 49668 | 6586 35117 121325 | 2147483647 49665 93 | 0.030 % |
19.52/19.58 c | 49835 | 6586 35117 121325 | 2147483647 49832 93 | 0.030 % |
19.72/19.72 c | 50014 | 6586 35117 121325 | 2147483647 50011 93 | 0.030 % |
19.72/19.79 c | 50210 | 6586 35117 121325 | 2147483647 50207 93 | 0.030 % |
19.92/19.93 c | 50422 | 6586 35117 121325 | 2147483647 50419 93 | 0.030 % |
20.02/20.04 c | 50656 | 6586 35117 121325 | 2147483647 50653 93 | 0.030 % |
20.12/20.19 c | 50912 | 6586 35117 121325 | 2147483647 50909 93 | 0.030 % |
20.32/20.34 c | 51194 | 6586 35117 121325 | 2147483647 51191 93 | 0.030 % |
20.42/20.49 c | 51503 | 6586 35117 121325 | 2147483647 51500 93 | 0.030 % |
20.72/20.79 c | 51844 | 6586 35117 121325 | 2147483647 51841 94 | 0.030 % |
21.12/21.12 c | 52216 | 6586 35117 121325 | 2147483647 52213 94 | 0.030 % |
21.42/21.42 c | 52625 | 6586 35117 121325 | 2147483647 52622 95 | 0.030 % |
21.72/21.72 c | 53078 | 6586 35117 121325 | 2147483647 53075 95 | 0.030 % |
22.03/22.03 c | 53574 | 6586 35117 121325 | 2147483647 53571 95 | 0.030 % |
22.22/22.30 c | 54116 | 6586 35117 121325 | 2147483647 54113 94 | 0.030 % |
22.52/22.57 c | 54714 | 6586 35117 121325 | 2147483647 54711 94 | 0.032 % |
22.92/22.94 c | 55369 | 6586 35117 121325 | 2147483647 55366 94 | 0.030 % |
23.22/23.28 c | 56089 | 6586 35117 121325 | 2147483647 56086 94 | 0.030 % |
23.32/23.33 c | 56189 | 6586 35117 121325 | 2147483647 56186 94 | 0.030 % |
23.42/23.42 c | 56299 | 6586 35117 121325 | 2147483647 56296 94 | 0.030 % |
23.52/23.51 c | 56420 | 6586 35117 121325 | 2147483647 56417 94 | 0.030 % |
23.62/23.61 c | 56554 | 6586 35117 121325 | 2147483647 56551 94 | 0.030 % |
23.72/23.75 c | 56700 | 6586 35117 121325 | 2147483647 56697 94 | 0.030 % |
23.82/23.87 c | 56862 | 6586 35117 121325 | 2147483647 56859 94 | 0.030 % |
23.92/23.97 c | 57038 | 6586 35117 121325 | 2147483647 57035 94 | 0.030 % |
24.12/24.13 c | 57232 | 6586 35117 121325 | 2147483647 57229 95 | 0.030 % |
24.23/24.25 c | 57444 | 6586 35117 121325 | 2147483647 57441 95 | 0.030 % |
24.42/24.43 c | 57678 | 6586 35117 121325 | 2147483647 57675 95 | 0.030 % |
24.62/24.65 c | 57934 | 6586 35117 121325 | 2147483647 57931 95 | 0.030 % |
24.82/24.90 c | 58218 | 6586 35117 121325 | 2147483647 58215 95 | 0.030 % |
25.12/25.16 c | 58527 | 6586 35117 121325 | 2147483647 58524 96 | 0.030 % |
25.43/25.46 c | 58867 | 6586 35117 121325 | 2147483647 58864 96 | 0.030 % |
25.63/25.71 c | 59239 | 6586 35117 121325 | 2147483647 59236 96 | 0.030 % |
25.93/25.98 c | 59650 | 6586 35117 121325 | 2147483647 59647 96 | 0.030 % |
26.23/26.26 c | 60099 | 6586 35117 121325 | 2147483647 60096 96 | 0.030 % |
26.53/26.52 c | 60593 | 6586 35117 121325 | 2147483647 60590 96 | 0.030 % |
26.73/26.77 c | 61136 | 6586 35117 121325 | 2147483647 61133 96 | 0.030 % |
27.03/27.07 c | 61732 | 6586 35117 121325 | 2147483647 61729 97 | 0.030 % |
27.43/27.45 c | 62387 | 6586 35117 121325 | 2147483647 62384 97 | 0.030 % |
27.73/27.77 c | 63107 | 6586 35117 121325 | 2147483647 63104 97 | 0.030 % |
28.03/28.06 c | 63899 | 6586 35117 121325 | 2147483647 63896 97 | 0.030 % |
28.03/28.11 c | 64001 | 6586 35117 121325 | 2147483647 63998 96 | 0.030 % |
28.13/28.19 c | 64111 | 6586 35117 121325 | 2147483647 64108 96 | 0.030 % |
28.23/28.24 c | 64234 | 6586 35117 121325 | 2147483647 64231 96 | 0.030 % |
28.33/28.36 c | 64368 | 6586 35117 121325 | 2147483647 64365 96 | 0.030 % |
28.43/28.47 c | 64514 | 6586 35117 121325 | 2147483647 64511 96 | 0.030 % |
28.63/28.67 c | 64674 | 6586 35117 121325 | 2147483647 64671 96 | 0.030 % |
28.83/28.83 c | 64855 | 6586 35117 121325 | 2147483647 64852 96 | 0.030 % |
28.93/28.97 c | 65050 | 6586 35117 121325 | 2147483647 65047 97 | 0.030 % |
29.13/29.16 c | 65263 | 6586 35117 121325 | 2147483647 65260 97 | 0.030 % |
29.33/29.41 c | 65498 | 6586 35117 121325 | 2147483647 65495 97 | 0.030 % |
29.63/29.63 c | 65754 | 6586 35117 121325 | 2147483647 65751 97 | 0.030 % |
29.83/29.91 c | 66036 | 6586 35117 121325 | 2147483647 66033 97 | 0.030 % |
30.13/30.21 c | 66345 | 6586 35117 121325 | 2147483647 66342 97 | 0.030 % |
30.53/30.59 c | 66687 | 6586 35117 121325 | 2147483647 66684 98 | 0.030 % |
30.73/30.81 c | 67060 | 6586 35117 121325 | 2147483647 67057 98 | 0.030 % |
30.93/30.95 c | 67469 | 6586 35117 121325 | 2147483647 67466 97 | 0.031 % |
31.23/31.23 c | 67918 | 6586 35117 121325 | 2147483647 67915 97 | 0.030 % |
31.43/31.49 c | 68411 | 6586 35117 121325 | 2147483647 68408 97 | 0.030 % |
31.73/31.78 c | 68953 | 6586 35117 121325 | 2147483647 68950 97 | 0.030 % |
32.13/32.13 c | 69549 | 6586 35117 121325 | 2147483647 69546 97 | 0.030 % |
32.43/32.43 c | 70206 | 6586 35117 121325 | 2147483647 70203 97 | 0.030 % |
32.73/32.73 c | 70927 | 6586 35117 121325 | 2147483647 70924 96 | 0.030 % |
33.23/33.31 c | 71723 | 6586 35117 121325 | 2147483647 71720 96 | 0.030 % |
34.03/34.05 c | 72594 | 6586 35117 121325 | 2147483647 72591 97 | 0.030 % |
34.13/34.15 c | 72695 | 6586 35117 121325 | 2147483647 72692 97 | 0.030 % |
34.23/34.27 c | 72807 | 6586 35117 121325 | 2147483647 72804 97 | 0.030 % |
34.33/34.38 c | 72941 | 6586 35117 121325 | 2147483647 72938 97 | 0.030 % |
34.43/34.50 c | 73085 | 6586 35117 121325 | 2147483647 73082 97 | 0.030 % |
34.63/34.63 c | 73231 | 6586 35117 121325 | 2147483647 73228 97 | 0.030 % |
34.73/34.74 c | 73391 | 6586 35117 121325 | 2147483647 73388 98 | 0.030 % |
34.83/34.85 c | 73570 | 6586 35117 121325 | 2147483647 73567 98 | 0.030 % |
35.03/35.11 c | 73764 | 6586 35117 121325 | 2147483647 73761 98 | 0.030 % |
35.23/35.28 c | 73976 | 6586 35117 121325 | 2147483647 73973 98 | 0.030 % |
35.53/35.55 c | 74212 | 6586 35117 121325 | 2147483647 74209 98 | 0.030 % |
35.83/35.84 c | 74468 | 6586 35117 121325 | 2147483647 74465 99 | 0.030 % |
36.03/36.11 c | 74750 | 6586 35117 121325 | 2147483647 74747 99 | 0.030 % |
36.23/36.31 c | 75060 | 6586 35117 121325 | 2147483647 75057 99 | 0.030 % |
36.53/36.56 c | 75399 | 6586 35117 121325 | 2147483647 75396 100 | 0.030 % |
36.83/36.91 c | 75772 | 6586 35117 121325 | 2147483647 75769 100 | 0.030 % |
37.23/37.22 c | 76181 | 6586 35117 121325 | 2147483647 76178 101 | 0.030 % |
37.63/37.71 c | 76632 | 6586 35117 121325 | 2147483647 76629 102 | 0.030 % |
38.23/38.22 c | 77125 | 6586 35117 121325 | 2147483647 77122 102 | 0.030 % |
38.63/38.70 c | 77667 | 6586 35117 121325 | 2147483647 77664 103 | 0.031 % |
39.33/39.33 c | 78264 | 6586 35117 121325 | 2147483647 78261 104 | 0.030 % |
40.03/40.05 c | 78920 | 6586 35117 121325 | 2147483647 78917 105 | 0.030 % |
40.63/40.63 c | 79640 | 6586 35117 121325 | 2147483647 79637 105 | 0.030 % |
41.13/41.20 c | 80432 | 6586 35117 121325 | 2147483647 80429 106 | 0.030 % |
41.83/41.89 c | 81304 | 6586 35117 121325 | 2147483647 81301 106 | 0.030 % |
42.53/42.59 c | 82262 | 6586 35117 121325 | 2147483647 82259 107 | 0.030 % |
42.63/42.70 c | 82362 | 6586 35117 121325 | 2147483647 82359 107 | 0.030 % |
42.83/42.82 c | 82472 | 6586 35117 121325 | 2147483647 82469 107 | 0.030 % |
42.83/42.91 c | 82597 | 6586 35117 121325 | 2147483647 82594 107 | 0.030 % |
43.03/43.04 c | 82730 | 6586 35117 121325 | 2147483647 82727 107 | 0.030 % |
43.13/43.14 c | 82876 | 6586 35117 121325 | 2147483647 82873 108 | 0.030 % |
43.23/43.28 c | 83038 | 6586 35117 121325 | 2147483647 83035 108 | 0.030 % |
43.43/43.51 c | 83218 | 6586 35117 121325 | 2147483647 83215 108 | 0.030 % |
43.63/43.68 c | 83412 | 6586 35117 121325 | 2147483647 83409 108 | 0.030 % |
43.83/43.89 c | 83626 | 6586 35117 121325 | 2147483647 83623 108 | 0.030 % |
44.03/44.10 c | 83859 | 6586 35117 121325 | 2147483647 83856 109 | 0.030 % |
44.33/44.32 c | 84116 | 6586 35117 121325 | 2147483647 84113 109 | 0.030 % |
44.63/44.63 c | 84400 | 6586 35117 121325 | 2147483647 84397 109 | 0.030 % |
45.03/45.03 c | 84711 | 6586 35117 121325 | 2147483647 84708 109 | 0.030 % |
45.33/45.35 c | 85052 | 6586 35117 121325 | 2147483647 85049 110 | 0.030 % |
45.83/45.82 c | 85424 | 6586 35117 121325 | 2147483647 85421 110 | 0.030 % |
46.23/46.25 c | 85834 | 6586 35117 121325 | 2147483647 85831 110 | 0.030 % |
46.73/46.79 c | 86284 | 6586 35117 121325 | 2147483647 86281 110 | 0.030 % |
47.13/47.16 c | 86778 | 6586 35117 121325 | 2147483647 86775 110 | 0.030 % |
47.63/47.67 c | 87322 | 6586 35117 121325 | 2147483647 87319 110 | 0.030 % |
48.13/48.16 c | 87918 | 6586 35117 121325 | 2147483647 87915 110 | 0.030 % |
48.73/48.76 c | 88573 | 6586 35117 121325 | 2147483647 88570 111 | 0.031 % |
49.53/49.52 c | 89295 | 6586 35117 121325 | 2147483647 89292 111 | 0.030 % |
50.23/50.23 c | 90087 | 6586 35117 121325 | 2147483647 90084 112 | 0.030 % |
51.43/51.43 c | 90961 | 6586 35117 121325 | 2147483647 90958 113 | 0.030 % |
52.03/52.11 c | 91921 | 6586 35117 121325 | 2147483647 91918 113 | 0.030 % |
52.93/52.97 c | 92975 | 6586 35117 121325 | 2147483647 92972 113 | 0.030 % |
53.03/53.05 c | 93075 | 6586 35117 121325 | 2147483647 93072 113 | 0.030 % |
53.13/53.20 c | 93185 | 6586 35117 121325 | 2147483647 93182 113 | 0.030 % |
53.23/53.30 c | 93306 | 6586 35117 121325 | 2147483647 93303 113 | 0.030 % |
53.43/53.47 c | 93439 | 6586 35117 121325 | 2147483647 93436 113 | 0.031 % |
53.53/53.61 c | 93585 | 6586 35117 121325 | 2147483647 93582 113 | 0.030 % |
53.63/53.71 c | 93745 | 6586 35117 121325 | 2147483647 93742 113 | 0.030 % |
53.93/53.92 c | 93922 | 6586 35117 121325 | 2147483647 93919 113 | 0.032 % |
54.03/54.11 c | 94115 | 6586 35117 121325 | 2147483647 94112 113 | 0.030 % |
54.33/54.31 c | 94329 | 6586 35117 121325 | 2147483647 94326 113 | 0.030 % |
54.43/54.49 c | 94562 | 6586 35117 121325 | 2147483647 94559 113 | 0.030 % |
54.73/54.72 c | 94819 | 6586 35117 121325 | 2147483647 94816 112 | 0.030 % |
55.23/55.21 c | 95100 | 6586 35117 121325 | 2147483647 95097 113 | 0.030 % |
55.43/55.44 c | 95409 | 6586 35117 121325 | 2147483647 95406 113 | 0.030 % |
55.73/55.76 c | 95748 | 6586 35117 121325 | 2147483647 95745 113 | 0.030 % |
56.03/56.08 c | 96121 | 6586 35117 121325 | 2147483647 96118 113 | 0.030 % |
56.33/56.38 c | 96532 | 6586 35117 121325 | 2147483647 96529 113 | 0.030 % |
56.93/56.93 c | 96983 | 6586 35117 121325 | 2147483647 96980 114 | 0.030 % |
57.53/57.58 c | 97478 | 6586 35117 121325 | 2147483647 97475 114 | 0.030 % |
58.43/58.51 c | 98020 | 6586 35117 121325 | 2147483647 98017 115 | 0.030 % |
59.53/59.54 c | 98616 | 6586 35117 121325 | 2147483647 98613 115 | 0.030 % |
60.43/60.50 c | 99274 | 6586 35117 121325 | 2147483647 99271 115 | 0.030 % |
61.33/61.41 c | 99994 | 6586 35117 121325 | 2147483647 99991 115 | 0.030 % |
62.23/62.24 c | 100787 | 6586 35117 121325 | 2147483647 100784 116 | 0.030 % |
63.13/63.12 c | 101660 | 6586 35117 121325 | 2147483647 101657 116 | 0.030 % |
63.83/63.87 c | 102618 | 6586 35117 121325 | 2147483647 102615 116 | 0.030 % |
64.73/64.73 c | 103672 | 6586 35117 121325 | 2147483647 103669 116 | 0.030 % |
65.73/65.74 c | 104830 | 6586 35117 121325 | 2147483647 104827 117 | 0.030 % |
65.83/65.86 c | 104930 | 6586 35117 121325 | 2147483647 104927 117 | 0.030 % |
66.03/66.02 c | 105040 | 6586 35117 121325 | 2147483647 105037 117 | 0.030 % |
66.13/66.11 c | 105161 | 6586 35117 121325 | 2147483647 105158 117 | 0.030 % |
66.33/66.34 c | 105295 | 6586 35117 121325 | 2147483647 105292 117 | 0.030 % |
66.43/66.49 c | 105444 | 6586 35117 121325 | 2147483647 105441 117 | 0.030 % |
66.63/66.68 c | 105604 | 6586 35117 121325 | 2147483647 105601 117 | 0.030 % |
66.83/66.88 c | 105780 | 6586 35117 121325 | 2147483647 105777 117 | 0.030 % |
67.03/67.07 c | 105973 | 6586 35117 121325 | 2147483647 105970 117 | 0.030 % |
67.33/67.37 c | 106187 | 6586 35117 121325 | 2147483647 106184 117 | 0.030 % |
67.53/67.57 c | 106420 | 6586 35117 121325 | 2147483647 106417 117 | 0.030 % |
67.83/67.83 c | 106676 | 6586 35117 121325 | 2147483647 106673 117 | 0.030 % |
68.13/68.19 c | 106958 | 6586 35117 121325 | 2147483647 106955 117 | 0.030 % |
68.53/68.59 c | 107267 | 6586 35117 121325 | 2147483647 107264 117 | 0.030 % |
69.03/69.03 c | 107606 | 6586 35117 121325 | 2147483647 107603 118 | 0.030 % |
69.63/69.66 c | 107979 | 6586 35117 121325 | 2147483647 107976 118 | 0.030 % |
70.33/70.40 c | 108388 | 6586 35117 121325 | 2147483647 108385 118 | 0.030 % |
70.83/70.90 c | 108839 | 6586 35117 121325 | 2147483647 108836 118 | 0.030 % |
71.53/71.54 c | 109333 | 6586 35117 121325 | 2147483647 109330 118 | 0.030 % |
72.23/72.30 c | 109877 | 6586 35117 121325 | 2147483647 109874 119 | 0.030 % |
73.03/73.10 c | 110473 | 6586 35117 121325 | 2147483647 110470 119 | 0.030 % |
73.83/73.81 c | 111128 | 6586 35117 121325 | 2147483647 111125 119 | 0.030 % |
74.43/74.50 c | 111850 | 6586 35117 121325 | 2147483647 111847 120 | 0.030 % |
75.33/75.36 c | 112645 | 6586 35117 121325 | 2147483647 112642 120 | 0.030 % |
76.03/76.08 c | 113518 | 6586 35117 121325 | 2147483647 113515 120 | 0.030 % |
77.53/77.56 c | 114477 | 6586 35117 121325 | 2147483647 114474 121 | 0.030 % |
78.53/78.53 c | 115530 | 6586 35117 121325 | 2147483647 115527 122 | 0.030 % |
79.83/79.88 c | 116690 | 6586 35117 121325 | 2147483647 116687 122 | 0.030 % |
81.43/81.47 c | 117963 | 6586 35117 121325 | 2147483647 117960 123 | 0.030 % |
81.53/81.56 c | 118063 | 6586 35117 121325 | 2147483647 118060 123 | 0.030 % |
81.83/81.83 c | 118177 | 6586 35117 121325 | 2147483647 118174 123 | 0.030 % |
81.93/81.97 c | 118299 | 6586 35117 121325 | 2147483647 118296 123 | 0.030 % |
82.13/82.19 c | 118432 | 6586 35117 121325 | 2147483647 118429 123 | 0.030 % |
82.33/82.37 c | 118578 | 6586 35117 121325 | 2147483647 118575 123 | 0.030 % |
82.73/82.72 c | 118738 | 6586 35117 121325 | 2147483647 118735 123 | 0.030 % |
83.03/83.03 c | 118917 | 6586 35117 121325 | 2147483647 118914 123 | 0.030 % |
83.33/83.37 c | 119114 | 6586 35117 121325 | 2147483647 119111 123 | 0.030 % |
83.73/83.72 c | 119327 | 6586 35117 121325 | 2147483647 119324 123 | 0.030 % |
84.13/84.12 c | 119561 | 6586 35117 121325 | 2147483647 119558 123 | 0.030 % |
84.53/84.59 c | 119817 | 6586 35117 121325 | 2147483647 119814 123 | 0.030 % |
85.03/85.03 c | 120100 | 6586 35117 121325 | 2147483647 120097 123 | 0.030 % |
85.43/85.42 c | 120409 | 6586 35117 121325 | 2147483647 120406 123 | 0.030 % |
85.73/85.81 c | 120748 | 6586 35117 121325 | 2147483647 120745 124 | 0.030 % |
86.13/86.19 c | 121120 | 6586 35117 121325 | 2147483647 121117 124 | 0.030 % |
86.53/86.59 c | 121531 | 6586 35117 121325 | 2147483647 121528 124 | 0.030 % |
87.33/87.31 c | 121981 | 6586 35117 121325 | 2147483647 121978 124 | 0.030 % |
88.03/88.06 c | 122474 | 6586 35117 121325 | 2147483647 122471 124 | 0.030 % |
89.03/89.11 c | 123019 | 6586 35117 121325 | 2147483647 123016 124 | 0.030 % |
90.33/90.37 c | 123617 | 6586 35117 121325 | 2147483647 123614 125 | 0.030 % |
91.73/91.73 c | 124272 | 6586 35117 121325 | 2147483647 124269 125 | 0.030 % |
92.93/92.93 c | 124997 | 6586 35117 121325 | 2147483647 124994 125 | 0.030 % |
93.83/93.88 c | 125789 | 6586 35117 121325 | 2147483647 125786 126 | 0.030 % |
95.23/95.22 c | 126661 | 6586 35117 121325 | 2147483647 126658 126 | 0.030 % |
96.63/96.66 c | 127620 | 6586 35117 121325 | 2147483647 127617 126 | 0.030 % |
98.13/98.19 c | 128673 | 6586 35117 121325 | 2147483647 128670 127 | 0.030 % |
99.73/99.75 c | 129832 | 6586 35117 121325 | 2147483647 129829 126 | 0.030 % |
101.03/101.02 c | 131105 | 6586 35117 121325 | 2147483647 131102 126 | 0.031 % |
103.13/103.12 c | 132506 | 6586 35117 121325 | 2147483647 132503 126 | 0.031 % |
103.23/103.29 c | 132606 | 6586 35117 121325 | 2147483647 132603 126 | 0.030 % |
103.43/103.41 c | 132716 | 6586 35117 121325 | 2147483647 132713 126 | 0.030 % |
103.63/103.62 c | 132837 | 6586 35117 121325 | 2147483647 132834 126 | 0.030 % |
103.73/103.80 c | 132970 | 6586 35117 121325 | 2147483647 132967 126 | 0.030 % |
104.03/104.03 c | 133116 | 6586 35117 121325 | 2147483647 133113 126 | 0.030 % |
104.23/104.31 c | 133276 | 6586 35117 121325 | 2147483647 133273 126 | 0.030 % |
104.54/104.54 c | 133452 | 6586 35117 121325 | 2147483647 133449 126 | 0.030 % |
105.03/105.03 c | 133645 | 6585 35085 121261 | 2147483647 133640 126 | 0.046 % |
105.33/105.39 c | 133860 | 6585 35085 121261 | 2147483647 133855 126 | 0.046 % |
105.53/105.62 c | 134096 | 6585 35085 121261 | 2147483647 134091 126 | 0.046 % |
106.13/106.14 c | 134352 | 6585 35085 121261 | 2147483647 134347 126 | 0.046 % |
106.43/106.46 c | 134634 | 6585 35085 121261 | 2147483647 134629 126 | 0.046 % |
106.63/106.63 c | 134944 | 6585 35085 121261 | 2147483647 134939 126 | 0.046 % |
106.93/106.99 c | 135284 | 6585 35085 121261 | 2147483647 135279 126 | 0.046 % |
107.63/107.66 c | 135656 | 6585 35085 121261 | 2147483647 135651 126 | 0.046 % |
108.03/108.10 c | 136067 | 6585 35085 121261 | 2147483647 136062 126 | 0.046 % |
108.53/108.59 c | 136517 | 6585 35085 121261 | 2147483647 136512 126 | 0.046 % |
109.53/109.51 c | 137010 | 6585 35085 121261 | 2147483647 137005 126 | 0.046 % |
110.33/110.32 c | 137552 | 6585 35085 121261 | 2147483647 137547 126 | 0.046 % |
111.63/111.64 c | 138148 | 6585 35085 121261 | 2147483647 138143 127 | 0.046 % |
112.63/112.71 c | 138804 | 6585 35085 121261 | 2147483647 138799 127 | 0.046 % |
113.43/113.49 c | 139525 | 6585 35085 121261 | 2147483647 139520 127 | 0.046 % |
114.73/114.72 c | 140319 | 6585 35085 121261 | 2147483647 140314 127 | 0.046 % |
115.73/115.79 c | 141190 | 6585 35085 121261 | 2147483647 141185 127 | 0.046 % |
116.93/116.98 c | 142148 | 6585 35085 121261 | 2147483647 142143 128 | 0.046 % |
118.93/118.97 c | 143202 | 6585 35085 121261 | 2147483647 143197 128 | 0.046 % |
120.63/120.71 c | 144360 | 6585 35085 121261 | 2147483647 144355 128 | 0.046 % |
123.24/123.28 c | 145636 | 6585 35085 121261 | 2147483647 145631 129 | 0.046 % |
125.33/125.37 c | 147036 | 6585 35085 121261 | 2147483647 147031 129 | 0.046 % |
127.93/127.92 c | 148577 | 6585 35085 121261 | 2147483647 148572 129 | 0.046 % |
128.13/128.16 c | 148677 | 6585 35085 121261 | 2147483647 148672 129 | 0.046 % |
128.33/128.36 c | 148789 | 6585 35085 121261 | 2147483647 148784 129 | 0.046 % |
128.53/128.51 c | 148911 | 6585 35085 121261 | 2147483647 148906 129 | 0.046 % |
128.83/128.81 c | 149044 | 6585 35085 121261 | 2147483647 149039 129 | 0.046 % |
129.03/129.06 c | 149191 | 6585 35085 121261 | 2147483647 149186 129 | 0.046 % |
129.23/129.30 c | 149351 | 6585 35085 121261 | 2147483647 149346 129 | 0.046 % |
129.53/129.55 c | 149529 | 6585 35085 121261 | 2147483647 149524 129 | 0.046 % |
129.84/129.83 c | 149723 | 6585 35085 121261 | 2147483647 149718 130 | 0.046 % |
130.13/130.18 c | 149936 | 6585 35085 121261 | 2147483647 149931 130 | 0.046 % |
130.63/130.63 c | 150170 | 6585 35085 121261 | 150000 150165 130 | 0.046 % |
131.13/131.16 c | 150430 | 6585 35085 121261 | 150000 130637 134 | 0.046 % |
131.63/131.67 c | 150711 | 6585 35085 121261 | 150000 130918 134 | 0.046 % |
131.93/132.01 c | 151025 | 6585 35085 121261 | 150000 131232 135 | 0.046 % |
132.53/132.51 c | 151368 | 6585 35085 121261 | 150000 131575 135 | 0.046 % |
133.03/133.10 c | 151740 | 6585 35085 121261 | 150000 131947 135 | 0.046 % |
133.63/133.64 c | 152150 | 6585 35085 121261 | 150000 132357 135 | 0.046 % |
134.33/134.31 c | 152599 | 6585 35085 121261 | 150000 132806 135 | 0.046 % |
135.34/135.36 c | 153095 | 6585 35085 121261 | 150000 133302 135 | 0.046 % |
136.13/136.13 c | 153637 | 6585 35085 121261 | 150000 133844 136 | 0.046 % |
136.83/136.87 c | 154233 | 6585 35085 121261 | 150000 134440 136 | 0.046 % |
138.03/138.11 c | 154890 | 6585 35085 121261 | 150000 135097 136 | 0.046 % |
138.93/138.93 c | 155616 | 6585 35085 121261 | 150000 135823 136 | 0.046 % |
140.03/140.01 c | 156410 | 6585 35085 121261 | 150000 136617 136 | 0.046 % |
140.93/140.95 c | 157281 | 6585 35085 121261 | 150000 137488 136 | 0.046 % |
142.03/142.08 c | 158242 | 6585 35085 121261 | 150000 138449 136 | 0.046 % |
143.83/143.84 c | 159296 | 6585 35085 121261 | 150000 139503 137 | 0.046 % |
145.33/145.33 c | 160454 | 6585 35085 121261 | 140207 140661 137 | 0.046 % |
147.53/147.53 c | 161728 | 6585 35085 121261 | 140207 118627 138 | 0.046 % |
148.73/148.79 c | 163128 | 6585 35085 121261 | 140207 120027 138 | 0.046 % |
150.33/150.37 c | 164670 | 6585 35085 121261 | 140207 121569 139 | 0.046 % |
152.33/152.32 c | 166365 | 6585 35085 121261 | 140207 123264 140 | 0.046 % |
152.43/152.44 c | 166465 | 6585 35085 121261 | 140207 123364 140 | 0.046 % |
152.53/152.55 c | 166575 | 6585 35085 121261 | 140207 123474 140 | 0.046 % |
152.73/152.74 c | 166696 | 6585 35085 121261 | 140207 123595 140 | 0.046 % |
152.94/152.92 c | 166829 | 6585 35085 121261 | 140207 123728 140 | 0.046 % |
153.13/153.11 c | 166975 | 6585 35085 121261 | 140207 123874 140 | 0.046 % |
153.23/153.25 c | 167136 | 6585 35085 121261 | 140207 124035 140 | 0.046 % |
153.53/153.53 c | 167312 | 6585 35085 121261 | 140207 124211 140 | 0.046 % |
153.83/153.83 c | 167507 | 6585 35085 121261 | 140207 124406 140 | 0.046 % |
154.13/154.18 c | 167719 | 6585 35085 121261 | 140207 124618 139 | 0.046 % |
154.73/154.78 c | 167956 | 6585 35085 121261 | 140207 124855 140 | 0.046 % |
155.14/155.18 c | 168212 | 6585 35085 121261 | 140207 125111 140 | 0.046 % |
155.53/155.60 c | 168494 | 6585 35085 121261 | 140207 125393 140 | 0.046 % |
155.93/155.97 c | 168807 | 6585 35085 121261 | 140207 125706 140 | 0.046 % |
156.34/156.39 c | 169147 | 6585 35085 121261 | 140207 126046 140 | 0.046 % |
156.94/156.93 c | 169519 | 6585 35085 121261 | 140207 126418 140 | 0.046 % |
157.74/157.72 c | 169931 | 6585 35085 121261 | 140207 126830 140 | 0.046 % |
158.44/158.42 c | 170380 | 6585 35085 121261 | 126899 127279 140 | 0.046 % |
159.34/159.40 c | 170873 | 6585 35085 121261 | 126899 111635 138 | 0.046 % |
160.24/160.27 c | 171416 | 6585 35085 121261 | 126899 112178 138 | 0.046 % |
160.94/160.93 c | 172012 | 6585 35085 121261 | 126899 112774 138 | 0.046 % |
162.14/162.16 c | 172672 | 6585 35085 121261 | 126899 113434 138 | 0.046 % |
163.24/163.28 c | 173393 | 6585 35085 121261 | 126899 114155 138 | 0.046 % |
164.14/164.16 c | 174190 | 6585 35085 121261 | 126899 114952 138 | 0.046 % |
165.34/165.41 c | 175063 | 6585 35085 121261 | 126899 115825 138 | 0.046 % |
166.84/166.86 c | 176023 | 6585 35085 121261 | 126899 116785 139 | 0.046 % |
168.74/168.81 c | 177076 | 6585 35085 121261 | 126899 117838 140 | 0.046 % |
170.64/170.65 c | 178234 | 6585 35085 121261 | 126899 118996 140 | 0.046 % |
172.24/172.25 c | 179507 | 6585 35085 121261 | 126899 120269 140 | 0.046 % |
174.64/174.69 c | 180908 | 6585 35085 121261 | 2147483647 121670 140 | 0.046 % |
177.04/177.10 c | 182448 | 6585 35085 121261 | 2147483647 123210 141 | 0.046 % |
179.34/179.39 c | 184144 | 6585 35085 121261 | 2147483647 124906 142 | 0.046 % |
181.14/181.20 c | 186008 | 6585 35085 121261 | 2147483647 126770 142 | 0.046 % |
181.24/181.30 c | 186109 | 6585 35085 121261 | 2147483647 126871 142 | 0.046 % |
181.44/181.46 c | 186222 | 6585 35085 121261 | 2147483647 126984 142 | 0.047 % |
181.64/181.62 c | 186343 | 6585 35085 121261 | 2147483647 127105 142 | 0.046 % |
181.94/181.92 c | 186478 | 6585 35085 121261 | 2147483647 127240 142 | 0.046 % |
182.14/182.21 c | 186624 | 6585 35085 121261 | 2147483647 127386 142 | 0.046 % |
182.44/182.42 c | 186787 | 6585 35085 121261 | 2147483647 127549 142 | 0.046 % |
182.74/182.74 c | 186964 | 6585 35085 121261 | 2147483647 127726 142 | 0.046 % |
183.14/183.12 c | 187157 | 6585 35085 121261 | 2147483647 127919 142 | 0.046 % |
183.54/183.57 c | 187369 | 6585 35085 121261 | 2147483647 128131 142 | 0.046 % |
184.04/184.05 c | 187603 | 6585 35085 121261 | 2147483647 128365 142 | 0.046 % |
184.54/184.55 c | 187859 | 6585 35085 121261 | 2147483647 128621 142 | 0.046 % |
185.14/185.15 c | 188140 | 6585 35085 121261 | 2147483647 128902 142 | 0.046 % |
185.64/185.63 c | 188450 | 6585 35085 121261 | 2147483647 129212 142 | 0.046 % |
186.24/186.31 c | 188790 | 6585 35085 121261 | 2147483647 129552 142 | 0.046 % |
186.84/186.85 c | 189162 | 6585 35085 121261 | 2147483647 129924 142 | 0.046 % |
187.54/187.58 c | 189571 | 6585 35085 121261 | 2147483647 130333 143 | 0.046 % |
188.64/188.70 c | 190020 | 6585 35085 121261 | 130764 130782 143 | 0.046 % |
190.44/190.42 c | 190513 | 6585 35085 121261 | 130764 112669 140 | 0.046 % |
191.54/191.56 c | 191056 | 6585 35085 121261 | 130764 113212 141 | 0.046 % |
192.94/192.92 c | 191652 | 6585 35085 121261 | 130764 113808 141 | 0.046 % |
194.14/194.20 c | 192307 | 6585 35085 121261 | 130764 114463 141 | 0.046 % |
195.14/195.18 c | 193028 | 6585 35085 121261 | 130764 115184 141 | 0.046 % |
196.94/196.92 c | 193820 | 6585 35085 121261 | 130764 115976 141 | 0.046 % |
198.54/198.54 c | 194695 | 6585 35085 121261 | 130764 116851 142 | 0.046 % |
200.04/200.09 c | 195653 | 6585 35085 121261 | 130764 117809 142 | 0.046 % |
202.04/202.09 c | 196707 | 6585 35085 121261 | 130764 118863 142 | 0.046 % |
203.54/203.61 c | 197872 | 6585 35085 121261 | 130764 120028 142 | 0.046 % |
205.94/205.92 c | 199145 | 6585 35085 121261 | 130764 121301 142 | 0.046 % |
208.44/208.48 c | 200545 | 6585 35085 121261 | 122163 122701 142 | 0.046 % |
211.54/211.53 c | 202085 | 6585 35085 121261 | 122163 109306 138 | 0.046 % |
213.64/213.63 c | 203779 | 6585 35085 121261 | 122163 111000 139 | 0.046 % |
215.74/215.73 c | 205643 | 6585 35085 121261 | 122163 112864 140 | 0.046 % |
218.54/218.57 c | 207694 | 6585 35085 121261 | 122163 114915 141 | 0.046 % |
218.74/218.73 c | 207794 | 6585 35085 121261 | 122163 115015 141 | 0.046 % |
218.84/218.90 c | 207905 | 6585 35085 121261 | 122163 115126 141 | 0.046 % |
219.14/219.17 c | 208028 | 6585 35085 121261 | 122163 115249 141 | 0.046 % |
219.44/219.47 c | 208161 | 6585 35085 121261 | 122163 115382 141 | 0.046 % |
219.74/219.73 c | 208307 | 6585 35085 121261 | 122163 115528 141 | 0.046 % |
220.04/220.09 c | 208469 | 6585 35085 121261 | 122163 115690 141 | 0.046 % |
220.34/220.37 c | 208645 | 6585 35085 121261 | 122163 115866 141 | 0.046 % |
220.64/220.65 c | 208838 | 6585 35085 121261 | 122163 116059 142 | 0.046 % |
220.94/220.96 c | 209053 | 6585 35085 121261 | 122163 116274 142 | 0.046 % |
221.34/221.40 c | 209288 | 6585 35085 121261 | 122163 116509 142 | 0.046 % |
221.74/221.80 c | 209545 | 6585 35085 121261 | 122163 116766 142 | 0.046 % |
222.34/222.40 c | 209826 | 6585 35085 121261 | 122163 117047 142 | 0.046 % |
222.94/223.00 c | 210138 | 6585 35085 121261 | 117226 117359 142 | 0.046 % |
223.84/223.89 c | 210478 | 6585 35085 121261 | 117226 105151 143 | 0.046 % |
224.74/224.73 c | 210853 | 6585 35085 121261 | 117226 105526 143 | 0.046 % |
225.64/225.66 c | 211262 | 6585 35085 121261 | 117226 105935 143 | 0.046 % |
226.54/226.57 c | 211714 | 6585 35085 121261 | 117226 106387 143 | 0.046 % |
227.54/227.51 c | 212207 | 6585 35085 121261 | 117226 106880 143 | 0.046 % |
228.74/228.76 c | 212749 | 6585 35085 121261 | 117226 107422 143 | 0.046 % |
229.94/229.91 c | 213346 | 6585 35085 121261 | 117226 108019 143 | 0.046 % |
231.14/231.17 c | 214006 | 6585 35085 121261 | 117226 108679 143 | 0.046 % |
232.54/232.60 c | 214728 | 6585 35085 121261 | 117226 109401 143 | 0.046 % |
234.34/234.33 c | 215520 | 6585 35085 121261 | 117226 110193 143 | 0.046 % |
236.04/236.10 c | 216391 | 6585 35085 121261 | 117226 111064 143 | 0.046 % |
238.04/238.07 c | 217353 | 6585 35085 121261 | 117226 112026 143 | 0.046 % |
240.14/240.18 c | 218406 | 6585 35085 121261 | 117226 113079 143 | 0.046 % |
242.05/242.10 c | 219564 | 6585 35085 121261 | 117226 114237 143 | 0.046 % |
244.04/244.09 c | 220838 | 6585 35085 121261 | 114673 100692 141 | 0.046 % |
246.04/246.10 c | 222239 | 6585 35085 121261 | 114673 102093 141 | 0.046 % |
247.74/247.80 c | 223779 | 6585 35085 121261 | 114673 103633 141 | 0.046 % |
250.34/250.33 c | 225473 | 6585 35085 121261 | 114673 105327 141 | 0.046 % |
253.24/253.28 c | 227341 | 6585 35085 121261 | 114673 107195 142 | 0.046 % |
255.64/255.64 c | 229390 | 6585 35085 121261 | 114673 109244 142 | 0.046 % |
258.94/258.92 c | 231645 | 6584 35052 121193 | 2147483647 111497 143 | 0.061 % |
259.04/259.01 c | 231746 | 6584 35052 121193 | 2147483647 111598 143 | 0.061 % |
259.14/259.15 c | 231857 | 6584 35052 121193 | 2147483647 111709 143 | 0.061 % |
259.24/259.29 c | 231979 | 6584 35052 121193 | 2147483647 111831 143 | 0.061 % |
259.44/259.48 c | 232113 | 6584 35052 121193 | 2147483647 111965 143 | 0.061 % |
259.65/259.64 c | 232261 | 6584 35052 121193 | 2147483647 112113 143 | 0.061 % |
259.84/259.83 c | 232421 | 6584 35052 121193 | 2147483647 112273 143 | 0.061 % |
260.04/260.02 c | 232599 | 6584 35052 121193 | 2147483647 112451 143 | 0.061 % |
260.64/260.68 c | 232792 | 6584 35052 121193 | 2147483647 112644 143 | 0.061 % |
260.94/260.91 c | 233005 | 6584 35052 121193 | 2147483647 112857 143 | 0.061 % |
261.34/261.32 c | 233240 | 6584 35052 121193 | 2147483647 113092 143 | 0.061 % |
261.54/261.56 c | 233496 | 6584 35052 121193 | 2147483647 113348 143 | 0.061 % |
261.94/261.95 c | 233778 | 6584 35052 121193 | 2147483647 113630 143 | 0.061 % |
262.24/262.24 c | 234087 | 6584 35052 121193 | 2147483647 113939 143 | 0.061 % |
262.64/262.62 c | 234427 | 6584 35052 121193 | 2147483647 114279 142 | 0.061 % |
263.24/263.23 c | 234799 | 6584 35052 121193 | 2147483647 114651 142 | 0.061 % |
263.64/263.63 c | 235209 | 6584 35052 121193 | 2147483647 115061 142 | 0.061 % |
264.14/264.12 c | 235660 | 6584 35052 121193 | 2147483647 115512 142 | 0.061 % |
264.64/264.62 c | 236153 | 6584 35052 121193 | 2147483647 116005 142 | 0.061 % |
265.24/265.28 c | 236695 | 6584 35052 121193 | 2147483647 116547 141 | 0.061 % |
265.84/265.87 c | 237294 | 6584 35052 121193 | 2147483647 117146 141 | 0.061 % |
266.34/266.39 c | 237949 | 6584 35052 121193 | 2147483647 117801 141 | 0.061 % |
267.04/267.01 c | 238669 | 6584 35052 121193 | 2147483647 118521 140 | 0.061 % |
267.64/267.67 c | 239462 | 6584 35052 121193 | 2147483647 119314 140 | 0.061 % |
268.34/268.36 c | 240334 | 6584 35052 121193 | 2147483647 120186 140 | 0.061 % |
269.55/269.60 c | 241296 | 6584 35052 121193 | 2147483647 121148 139 | 0.061 % |
270.34/270.33 c | 242351 | 6584 35052 121193 | 2147483647 122203 139 | 0.061 % |
271.54/271.53 c | 243509 | 6584 35052 121193 | 2147483647 123361 139 | 0.061 % |
273.54/273.60 c | 244785 | 6584 35052 121193 | 2147483647 124637 139 | 0.061 % |
275.24/275.24 c | 246186 | 6584 35052 121193 | 2147483647 126038 140 | 0.061 % |
276.94/276.93 c | 247727 | 6584 35052 121193 | 2147483647 127579 140 | 0.061 % |
279.04/279.02 c | 249421 | 6584 35052 121193 | 2147483647 129273 140 | 0.061 % |
281.04/281.10 c | 251285 | 6584 35052 121193 | 2147483647 131137 140 | 0.061 % |
284.04/284.10 c | 253337 | 6584 35052 121193 | 2147483647 133189 141 | 0.061 % |
286.54/286.52 c | 255590 | 6584 35052 121193 | 2147483647 135442 141 | 0.061 % |
287.85/287.86 c | 258069 | 6584 35052 121193 | 2147483647 137921 139 | 0.061 % |
287.85/287.91 c | 258170 | 6584 35052 121193 | 2147483647 138022 139 | 0.061 % |
288.05/288.07 c | 258281 | 6584 35052 121193 | 2147483647 138133 139 | 0.061 % |
288.15/288.20 c | 258404 | 6584 35052 121193 | 2147483647 138256 139 | 0.061 % |
288.35/288.33 c | 258539 | 6584 35052 121193 | 2147483647 138391 139 | 0.061 % |
288.75/288.81 c | 258688 | 6584 35052 121193 | 2147483647 138540 139 | 0.061 % |
289.15/289.12 c | 258848 | 6584 35052 121193 | 2147483647 138700 139 | 0.061 % |
289.55/289.54 c | 259024 | 6584 35052 121193 | 2147483647 138876 139 | 0.061 % |
289.95/290.00 c | 259222 | 6584 35052 121193 | 2147483647 139074 139 | 0.061 % |
290.35/290.35 c | 259436 | 6584 35052 121193 | 2147483647 139288 140 | 0.061 % |
290.85/290.87 c | 259670 | 6584 35052 121193 | 2147483647 139522 140 | 0.061 % |
291.35/291.37 c | 259927 | 6584 35052 121193 | 2147483647 139779 140 | 0.061 % |
291.65/291.68 c | 260208 | 6584 35052 121193 | 139853 140060 140 | 0.061 % |
292.45/292.50 c | 260517 | 6584 35052 121193 | 139853 121733 133 | 0.061 % |
293.05/293.09 c | 260856 | 6584 35052 121193 | 139853 122072 133 | 0.061 % |
293.55/293.60 c | 261228 | 6584 35052 121193 | 139853 122444 133 | 0.061 % |
294.15/294.12 c | 261638 | 6584 35052 121193 | 139853 122854 133 | 0.061 % |
294.55/294.55 c | 262087 | 6584 35052 121193 | 139853 123303 134 | 0.061 % |
295.34/295.33 c | 262582 | 6584 35052 121193 | 139853 123798 134 | 0.061 % |
296.04/296.07 c | 263125 | 6584 35052 121193 | 139853 124341 134 | 0.061 % |
296.94/296.94 c | 263721 | 6584 35052 121193 | 139853 124937 135 | 0.061 % |
298.14/298.18 c | 264376 | 6584 35052 121193 | 139853 125592 135 | 0.061 % |
299.44/299.46 c | 265098 | 6584 35052 121193 | 139853 126314 135 | 0.061 % |
300.94/300.97 c | 265891 | 6584 35052 121193 | 139853 127107 136 | 0.061 % |
302.34/302.37 c | 266763 | 6584 35052 121193 | 139853 127979 136 | 0.061 % |
304.24/304.26 c | 267721 | 6584 35052 121193 | 139853 128937 137 | 0.061 % |
306.24/306.23 c | 268774 | 6584 35052 121193 | 139853 129990 137 | 0.061 % |
308.14/308.13 c | 269934 | 6584 35052 121193 | 139853 131150 138 | 0.061 % |
310.04/310.02 c | 271209 | 6584 35052 121193 | 131218 132425 138 | 0.061 % |
312.44/312.45 c | 272610 | 6584 35052 121193 | 131218 115219 133 | 0.061 % |
313.85/313.83 c | 274150 | 6584 35052 121193 | 131218 116759 133 | 0.061 % |
316.15/316.15 c | 275844 | 6584 35052 121193 | 131218 118453 134 | 0.061 % |
318.75/318.74 c | 277707 | 6584 35052 121193 | 131218 120316 136 | 0.061 % |
322.45/322.50 c | 279756 | 6584 35052 121193 | 131218 122365 137 | 0.061 % |
326.65/326.63 c | 282010 | 6584 35052 121193 | 122609 112195 135 | 0.061 % |
329.95/329.92 c | 284488 | 6584 35052 121193 | 122609 114673 136 | 0.061 % |
334.15/334.20 c | 287213 | 6584 35052 121193 | 122609 117398 138 | 0.061 % |
334.25/334.30 c | 287313 | 6584 35052 121193 | 122609 117498 138 | 0.061 % |
334.35/334.41 c | 287424 | 6584 35052 121193 | 122609 117609 138 | 0.061 % |
334.55/334.61 c | 287546 | 6584 35052 121193 | 122609 117731 138 | 0.061 % |
334.85/334.90 c | 287683 | 6584 35052 121193 | 122609 117868 139 | 0.061 % |
335.15/335.16 c | 287831 | 6584 35052 121193 | 122609 118016 139 | 0.061 % |
335.45/335.46 c | 287992 | 6584 35052 121193 | 122609 118177 139 | 0.061 % |
335.75/335.71 c | 288169 | 6584 35052 121193 | 122609 118354 139 | 0.061 % |
336.15/336.14 c | 288363 | 6584 35052 121193 | 122609 118548 139 | 0.061 % |
336.45/336.50 c | 288575 | 6584 35052 121193 | 122609 118760 139 | 0.061 % |
336.95/336.91 c | 288810 | 6584 35052 121193 | 122609 118995 139 | 0.061 % |
337.45/337.49 c | 289067 | 6584 35052 121193 | 122609 119252 139 | 0.061 % |
338.05/338.11 c | 289348 | 6584 35052 121193 | 122609 119533 139 | 0.061 % |
338.65/338.70 c | 289657 | 6584 35052 121193 | 122609 119842 140 | 0.061 % |
339.35/339.40 c | 289996 | 6584 35052 121193 | 122609 120181 140 | 0.061 % |
340.05/340.04 c | 290371 | 6584 35052 121193 | 2147483647 120556 140 | 0.061 % |
340.75/340.80 c | 290780 | 6584 35052 121193 | 2147483647 120965 140 | 0.061 % |
341.75/341.74 c | 291230 | 6584 35052 121193 | 2147483647 121415 140 | 0.061 % |
342.75/342.74 c | 291725 | 6584 35052 121193 | 2147483647 121910 141 | 0.061 % |
343.95/343.97 c | 292267 | 6584 35052 121193 | 2147483647 122452 141 | 0.061 % |
344.85/344.85 c | 292866 | 6584 35052 121193 | 2147483647 123051 141 | 0.061 % |
345.65/345.66 c | 293525 | 6584 35052 121193 | 2147483647 123710 141 | 0.061 % |
346.95/346.95 c | 294247 | 6584 35052 121193 | 2147483647 124432 141 | 0.061 % |
348.75/348.72 c | 295039 | 6584 35052 121193 | 2147483647 125224 142 | 0.061 % |
350.45/350.50 c | 295910 | 6584 35052 121193 | 2147483647 126095 142 | 0.061 % |
352.85/352.85 c | 296868 | 6584 35052 121193 | 2147483647 127053 142 | 0.061 % |
355.15/355.12 c | 297922 | 6584 35052 121193 | 2147483647 128107 143 | 0.061 % |
356.65/356.65 c | 299084 | 6584 35052 121193 | 2147483647 129269 144 | 0.061 % |
359.45/359.43 c | 300357 | 6584 35052 121193 | 130185 130542 145 | 0.061 % |
361.65/361.66 c | 301757 | 6584 35052 121193 | 130185 117487 141 | 0.061 % |
364.55/364.56 c | 303299 | 6584 35052 121193 | 130185 119029 142 | 0.061 % |
366.75/366.76 c | 304993 | 6584 35052 121193 | 130185 120723 142 | 0.061 % |
368.45/368.48 c | 306856 | 6584 35052 121193 | 130185 122586 142 | 0.061 % |
370.76/370.75 c | 308905 | 6584 35052 121193 | 130185 124635 141 | 0.061 % |
373.15/373.12 c | 311158 | 6584 35052 121193 | 2147483647 126888 141 | 0.061 % |
375.75/375.78 c | 313638 | 6584 35052 121193 | 2147483647 129368 141 | 0.061 % |
378.46/378.49 c | 316365 | 6584 35052 121193 | 2147483647 132095 142 | 0.061 % |
381.85/381.85 c | 319362 | 6584 35052 121193 | 2147483647 135092 142 | 0.061 % |
381.95/381.95 c | 319465 | 6584 35052 121193 | 2147483647 135195 142 | 0.061 % |
382.05/382.04 c | 319575 | 6584 35052 121193 | 2147483647 135305 142 | 0.061 % |
382.35/382.33 c | 319697 | 6584 35052 121193 | 2147483647 135427 142 | 0.061 % |
382.55/382.51 c | 319832 | 6584 35052 121193 | 2147483647 135562 142 | 0.061 % |
382.65/382.68 c | 319979 | 6584 35052 121193 | 2147483647 135709 142 | 0.061 % |
382.95/382.93 c | 320140 | 6584 35052 121193 | 2147483647 135870 142 | 0.061 % |
383.15/383.14 c | 320316 | 6584 35052 121193 | 2147483647 136046 142 | 0.061 % |
383.35/383.37 c | 320510 | 6584 35052 121193 | 2147483647 136240 142 | 0.061 % |
383.75/383.73 c | 320723 | 6584 35052 121193 | 2147483647 136453 143 | 0.061 % |
384.05/384.09 c | 320956 | 6584 35052 121193 | 2147483647 136686 143 | 0.061 % |
384.45/384.42 c | 321212 | 6584 35052 121193 | 2147483647 136942 143 | 0.061 % |
384.65/384.70 c | 321495 | 6584 35052 121193 | 2147483647 137225 143 | 0.061 % |
385.06/385.07 c | 321805 | 6584 35052 121193 | 2147483647 137535 143 | 0.061 % |
385.35/385.40 c | 322144 | 6584 35052 121193 | 2147483647 137874 143 | 0.061 % |
385.75/385.76 c | 322520 | 6584 35052 121193 | 2147483647 138250 143 | 0.061 % |
386.45/386.49 c | 322931 | 6584 35052 121193 | 2147483647 138661 143 | 0.061 % |
387.05/387.06 c | 323381 | 6584 35052 121193 | 2147483647 139111 143 | 0.061 % |
387.75/387.76 c | 323874 | 6584 35052 121193 | 2147483647 139604 143 | 0.061 % |
388.36/388.38 c | 324417 | 6584 35052 121193 | 2147483647 140147 143 | 0.061 % |
389.05/389.03 c | 325013 | 6584 35052 121193 | 2147483647 140743 143 | 0.061 % |
390.05/390.03 c | 325675 | 6584 35052 121193 | 2147483647 141405 143 | 0.061 % |
391.05/391.08 c | 326395 | 6584 35052 121193 | 2147483647 142125 143 | 0.061 % |
392.25/392.22 c | 327190 | 6584 35052 121193 | 2147483647 142920 143 | 0.061 % |
393.55/393.52 c | 328061 | 6584 35052 121193 | 2147483647 143791 143 | 0.061 % |
395.35/395.35 c | 329022 | 6584 35052 121193 | 2147483647 144752 143 | 0.061 % |
397.35/397.36 c | 330077 | 6584 35052 121193 | 145737 145807 143 | 0.061 % |
400.15/400.17 c | 331235 | 6584 35052 121193 | 145737 131663 144 | 0.061 % |
401.95/401.98 c | 332509 | 6584 35052 121193 | 145737 132937 144 | 0.061 % |
404.55/404.60 c | 333910 | 6584 35052 121193 | 145737 134338 145 | 0.061 % |
407.75/407.72 c | 335451 | 6584 35052 121193 | 145737 135879 145 | 0.061 % |
410.45/410.43 c | 337145 | 6584 35052 121193 | 145737 137573 145 | 0.061 % |
412.95/413.00 c | 339008 | 6584 35052 121193 | 145737 139436 146 | 0.061 % |
417.55/417.53 c | 341057 | 6584 35052 121193 | 2147483647 141485 147 | 0.061 % |
422.96/422.99 c | 343312 | 6584 35052 121193 | 2147483647 143740 148 | 0.061 % |
428.46/428.47 c | 345790 | 6584 35052 121193 | 2147483647 146218 148 | 0.061 % |
432.46/432.45 c | 348516 | 6584 35052 121193 | 2147483647 148944 148 | 0.061 % |
437.06/437.08 c | 351514 | 6584 35052 121193 | 150434 131489 149 | 0.061 % |
441.96/441.96 c | 354810 | 6584 35052 121193 | 150434 134785 150 | 0.061 % |
442.16/442.16 c | 354910 | 6584 35052 121193 | 150434 134885 150 | 0.061 % |
442.36/442.36 c | 355020 | 6584 35052 121193 | 150434 134995 150 | 0.061 % |
442.66/442.62 c | 355142 | 6584 35052 121193 | 150434 135117 151 | 0.061 % |
442.76/442.81 c | 355280 | 6584 35052 121193 | 150434 135255 151 | 0.061 % |
443.16/443.14 c | 355426 | 6584 35052 121193 | 150434 135401 151 | 0.061 % |
443.36/443.41 c | 355589 | 6584 35052 121193 | 150434 135564 151 | 0.061 % |
443.66/443.71 c | 355766 | 6584 35052 121193 | 150434 135741 151 | 0.061 % |
444.06/444.02 c | 355961 | 6584 35052 121193 | 150434 135936 151 | 0.061 % |
444.26/444.31 c | 356173 | 6584 35052 121193 | 150434 136148 150 | 0.061 % |
444.56/444.54 c | 356406 | 6584 35052 121193 | 150434 136381 151 | 0.061 % |
444.76/444.77 c | 356664 | 6584 35052 121193 | 150434 136639 150 | 0.061 % |
445.16/445.16 c | 356948 | 6584 35052 121193 | 150434 136923 150 | 0.062 % |
445.46/445.43 c | 357257 | 6584 35052 121193 | 150434 137232 150 | 0.061 % |
445.76/445.73 c | 357596 | 6584 35052 121193 | 150434 137571 150 | 0.061 % |
446.36/446.37 c | 357968 | 6584 35052 121193 | 150434 137943 150 | 0.061 % |
446.86/446.86 c | 358378 | 6584 35052 121193 | 150434 138353 150 | 0.061 % |
447.46/447.47 c | 358829 | 6584 35052 121193 | 150434 138804 150 | 0.061 % |
447.96/447.97 c | 359324 | 6584 35052 121193 | 150434 139299 149 | 0.061 % |
448.76/448.72 c | 359868 | 6584 35052 121193 | 150434 139843 149 | 0.061 % |
449.56/449.60 c | 360467 | 6584 35052 121193 | 139976 140442 149 | 0.061 % |
451.06/451.09 c | 361122 | 6584 35052 121193 | 139976 126352 147 | 0.061 % |
451.96/451.95 c | 361844 | 6584 35052 121193 | 139976 127074 147 | 0.061 % |
452.96/452.91 c | 362636 | 6584 35052 121193 | 139976 127866 147 | 0.061 % |
454.26/454.29 c | 363509 | 6584 35052 121193 | 139976 128739 147 | 0.061 % |
455.46/455.46 c | 364468 | 6584 35052 121193 | 139976 129698 148 | 0.061 % |
456.76/456.76 c | 365524 | 6584 35052 121193 | 139976 130754 148 | 0.061 % |
458.16/458.21 c | 366682 | 6584 35052 121193 | 139976 131912 148 | 0.061 % |
459.46/459.44 c | 367956 | 6584 35052 121193 | 139976 133186 148 | 0.061 % |
461.06/461.10 c | 369356 | 6584 35052 121193 | 139976 134586 149 | 0.061 % |
462.56/462.56 c | 370896 | 6584 35052 121193 | 2147483647 136126 149 | 0.061 % |
464.56/464.60 c | 372592 | 6584 35052 121193 | 2147483647 137822 149 | 0.061 % |
466.66/466.62 c | 374455 | 6584 35052 121193 | 2147483647 139685 149 | 0.061 % |
469.46/469.48 c | 376507 | 6584 35052 121193 | 2147483647 141737 150 | 0.061 % |
473.66/473.63 c | 378760 | 6584 35052 121193 | 2147483647 143990 151 | 0.061 % |
479.16/479.21 c | 381240 | 6584 35052 121193 | 145230 120112 140 | 0.061 % |
483.06/483.06 c | 383966 | 6584 35052 121193 | 145230 122838 141 | 0.061 % |
486.36/486.36 c | 386964 | 6584 35052 121193 | 145230 125836 143 | 0.061 % |
490.26/490.24 c | 390260 | 6584 35052 121193 | 128872 129132 144 | 0.061 % |
495.66/495.62 c | 393885 | 6584 35052 121193 | 128872 113721 141 | 0.061 % |
495.76/495.75 c | 393987 | 6584 35052 121193 | 128872 113823 141 | 0.061 % |
495.96/495.91 c | 394097 | 6584 35052 121193 | 128872 113933 141 | 0.061 % |
496.26/496.28 c | 394218 | 6584 35052 121193 | 128872 114054 141 | 0.061 % |
496.56/496.52 c | 394351 | 6584 35052 121193 | 128872 114187 141 | 0.061 % |
496.76/496.80 c | 394497 | 6584 35052 121193 | 128872 114333 141 | 0.061 % |
497.06/497.05 c | 394667 | 6584 35052 121193 | 128872 114503 141 | 0.061 % |
497.27/497.24 c | 394843 | 6584 35052 121193 | 128872 114679 141 | 0.061 % |
497.46/497.50 c | 395041 | 6584 35052 121193 | 128872 114877 142 | 0.061 % |
497.86/497.84 c | 395255 | 6584 35052 121193 | 128872 115091 142 | 0.061 % |
498.06/498.10 c | 395489 | 6584 35052 121193 | 128872 115325 142 | 0.061 % |
498.46/498.42 c | 395745 | 6584 35052 121193 | 128872 115581 142 | 0.061 % |
498.86/498.84 c | 396031 | 6584 35052 121193 | 128872 115867 142 | 0.061 % |
499.36/499.41 c | 396341 | 6584 35052 121193 | 128872 116177 142 | 0.061 % |
499.76/499.78 c | 396680 | 6584 35052 121193 | 128872 116516 142 | 0.061 % |
500.16/500.21 c | 397052 | 6584 35052 121193 | 128872 116888 143 | 0.061 % |
500.46/500.45 c | 397463 | 6584 35052 121193 | 128872 117299 142 | 0.061 % |
501.06/501.07 c | 397912 | 6584 35052 121193 | 128872 117748 142 | 0.061 % |
501.76/501.79 c | 398405 | 6584 35052 121193 | 128872 118241 142 | 0.061 % |
502.46/502.43 c | 398947 | 6584 35052 121193 | 128872 118783 142 | 0.061 % |
503.06/503.04 c | 399543 | 6584 35052 121193 | 128872 119379 142 | 0.061 % |
503.87/503.85 c | 400198 | 6584 35052 121193 | 2147483647 120034 141 | 0.061 % |
504.56/504.58 c | 400921 | 6584 35052 121193 | 2147483647 120757 141 | 0.061 % |
505.66/505.64 c | 401715 | 6584 35052 121193 | 2147483647 121551 141 | 0.061 % |
506.86/506.88 c | 402586 | 6584 35052 121193 | 2147483647 122422 142 | 0.061 % |
508.16/508.18 c | 403544 | 6584 35052 121193 | 2147483647 123380 141 | 0.061 % |
509.66/509.65 c | 404597 | 6584 35052 121193 | 2147483647 124433 141 | 0.061 % |
511.76/511.79 c | 405756 | 6584 35052 121193 | 2147483647 125592 141 | 0.061 % |
513.56/513.59 c | 407029 | 6584 35052 121193 | 2147483647 126865 141 | 0.061 % |
515.66/515.63 c | 408434 | 6584 35052 121193 | 2147483647 128270 142 | 0.061 % |
518.06/518.11 c | 409978 | 6584 35052 121193 | 2147483647 129814 142 | 0.061 % |
520.96/520.98 c | 411672 | 6584 35052 121193 | 2147483647 131508 142 | 0.061 % |
524.16/524.14 c | 413535 | 6584 35052 121193 | 2147483647 133371 143 | 0.061 % |
527.96/527.97 c | 415585 | 6584 35052 121193 | 2147483647 135421 144 | 0.061 % |
531.37/531.39 c | 417839 | 6584 35052 121193 | 2147483647 137675 145 | 0.061 % |
535.46/535.44 c | 420317 | 6584 35052 121193 | 139840 140153 147 | 0.061 % |
539.96/539.97 c | 423045 | 6584 35052 121193 | 139840 127943 145 | 0.061 % |
545.06/545.10 c | 426042 | 6584 35052 121193 | 139840 130940 145 | 0.061 % |
550.77/550.81 c | 429341 | 6584 35052 121193 | 139840 134239 145 | 0.061 % |
556.77/556.75 c | 432966 | 6584 35052 121193 | 134900 124308 141 | 0.061 % |
562.97/562.94 c | 436954 | 6584 35052 121193 | 134900 128296 142 | 0.061 % |
563.07/563.09 c | 437055 | 6584 35052 121193 | 134900 128397 142 | 0.061 % |
563.37/563.34 c | 437166 | 6584 35052 121193 | 134900 128508 142 | 0.061 % |
563.47/563.51 c | 437290 | 6584 35052 121193 | 134900 128632 142 | 0.061 % |
563.67/563.71 c | 437423 | 6584 35052 121193 | 134900 128765 142 | 0.061 % |
563.97/563.95 c | 437569 | 6584 35052 121193 | 134900 128911 142 | 0.061 % |
564.27/564.23 c | 437730 | 6584 35052 121193 | 134900 129072 142 | 0.061 % |
564.57/564.55 c | 437906 | 6584 35052 121193 | 134900 129248 143 | 0.061 % |
564.87/564.88 c | 438099 | 6584 35052 121193 | 134900 129441 143 | 0.061 % |
565.37/565.34 c | 438311 | 6584 35052 121193 | 134900 129653 143 | 0.061 % |
565.77/565.78 c | 438544 | 6584 35052 121193 | 134900 129886 143 | 0.061 % |
566.37/566.40 c | 438801 | 6584 35052 121193 | 134900 130143 143 | 0.061 % |
567.17/567.14 c | 439082 | 6584 35052 121193 | 134900 130424 143 | 0.061 % |
567.87/567.90 c | 439391 | 6584 35052 121193 | 134900 130733 143 | 0.061 % |
568.37/568.35 c | 439730 | 6584 35052 121193 | 134900 131072 143 | 0.061 % |
568.97/568.93 c | 440104 | 6584 35052 121193 | 2147483647 131446 143 | 0.061 % |
569.57/569.61 c | 440516 | 6584 35052 121193 | 2147483647 131858 143 | 0.061 % |
570.77/570.77 c | 440966 | 6584 35052 121193 | 2147483647 132308 143 | 0.061 % |
571.57/571.61 c | 441466 | 6584 35052 121193 | 2147483647 132808 143 | 0.061 % |
572.37/572.32 c | 442011 | 6584 35052 121193 | 2147483647 133353 143 | 0.061 % |
573.67/573.68 c | 442608 | 6584 35052 121193 | 2147483647 133950 143 | 0.061 % |
575.27/575.28 c | 443264 | 6584 35052 121193 | 2147483647 134606 143 | 0.061 % |
576.87/576.90 c | 443984 | 6584 35052 121193 | 2147483647 135326 144 | 0.061 % |
578.27/578.22 c | 444777 | 6584 35052 121193 | 2147483647 136119 144 | 0.061 % |
579.27/579.29 c | 445648 | 6584 35052 121193 | 2147483647 136990 144 | 0.061 % |
580.67/580.64 c | 446608 | 6584 35052 121193 | 2147483647 137950 144 | 0.061 % |
582.47/582.44 c | 447662 | 6584 35052 121193 | 2147483647 139004 145 | 0.061 % |
583.97/583.97 c | 448822 | 6584 35052 121193 | 2147483647 140164 145 | 0.061 % |
585.67/585.61 c | 450097 | 6584 35052 121193 | 2147483647 141439 145 | 0.061 % |
589.07/589.03 c | 451500 | 6584 35052 121193 | 2147483647 142842 145 | 0.061 % |
592.17/592.17 c | 453044 | 6584 35052 121193 | 2147483647 144386 146 | 0.061 % |
595.37/595.34 c | 454738 | 6584 35052 121193 | 2147483647 146080 146 | 0.061 % |
599.27/599.24 c | 456604 | 6584 35052 121193 | 2147483647 147946 147 | 0.061 % |
602.57/602.52 c | 458654 | 6584 35052 121193 | 2147483647 149996 148 | 0.061 % |
607.27/607.22 c | 460914 | 6584 35052 121193 | 151344 152256 149 | 0.061 % |
611.37/611.32 c | 463393 | 6584 35052 121193 | 151344 137058 146 | 0.061 % |
615.17/615.18 c | 466118 | 6584 35052 121193 | 151344 139783 146 | 0.061 % |
619.97/619.94 c | 469117 | 6584 35052 121193 | 151344 142782 147 | 0.061 % |
626.57/626.53 c | 472415 | 6584 35052 121193 | 143665 130658 142 | 0.061 % |
632.77/632.80 c | 476043 | 6584 35052 121193 | 143665 134286 143 | 0.061 % |
640.28/640.28 c | 480031 | 6584 35052 121193 | 138243 138274 143 | 0.061 % |
649.17/649.20 c | 484416 | 6584 35052 121193 | 138243 125571 140 | 0.061 % |
649.47/649.49 c | 484519 | 6584 35052 121193 | 138243 125674 140 | 0.061 % |
649.77/649.79 c | 484629 | 6584 35052 121193 | 138243 125784 140 | 0.061 % |
650.18/650.13 c | 484750 | 6584 35052 121193 | 138243 125905 140 | 0.061 % |
650.57/650.55 c | 484888 | 6584 35052 121193 | 138243 126043 140 | 0.061 % |
650.97/650.92 c | 485035 | 6584 35052 121193 | 138243 126190 140 | 0.061 % |
651.37/651.32 c | 485195 | 6584 35052 121193 | 138243 126350 140 | 0.061 % |
651.47/651.49 c | 485371 | 6584 35052 121193 | 138243 126526 140 | 0.061 % |
651.77/651.75 c | 485564 | 6584 35052 121193 | 138243 126719 140 | 0.061 % |
652.17/652.14 c | 485776 | 6584 35052 121193 | 138243 126931 139 | 0.061 % |
652.57/652.57 c | 486011 | 6584 35052 121193 | 138243 127166 139 | 0.061 % |
653.36/653.36 c | 486269 | 6584 35052 121193 | 138243 127424 139 | 0.061 % |
653.96/653.92 c | 486552 | 6584 35052 121193 | 138243 127707 139 | 0.061 % |
654.66/654.68 c | 486861 | 6584 35052 121193 | 138243 128016 139 | 0.061 % |
655.36/655.33 c | 487200 | 6584 35052 121193 | 138243 128355 139 | 0.061 % |
656.26/656.29 c | 487572 | 6584 35052 121193 | 138243 128727 139 | 0.061 % |
657.26/657.26 c | 487981 | 6584 35052 121193 | 138243 129136 139 | 0.061 % |
658.16/658.19 c | 488432 | 6584 35052 121193 | 138243 129587 139 | 0.061 % |
659.16/659.12 c | 488927 | 6584 35052 121193 | 138243 130082 139 | 0.061 % |
660.26/660.24 c | 489470 | 6584 35052 121193 | 138243 130625 139 | 0.061 % |
661.46/661.42 c | 490067 | 6584 35052 121193 | 131157 131222 140 | 0.061 % |
663.26/663.25 c | 490723 | 6584 35052 121193 | 131157 114880 138 | 0.061 % |
665.06/665.01 c | 491443 | 6584 35052 121193 | 131157 115600 138 | 0.061 % |
666.36/666.31 c | 492236 | 6584 35052 121193 | 131157 116393 138 | 0.061 % |
667.87/667.89 c | 493107 | 6584 35052 121193 | 131157 117264 139 | 0.061 % |
669.67/669.67 c | 494065 | 6584 35052 121193 | 131157 118222 139 | 0.061 % |
671.37/671.40 c | 495122 | 6584 35052 121193 | 131157 119279 139 | 0.061 % |
672.97/672.91 c | 496281 | 6584 35052 121193 | 131157 120438 139 | 0.061 % |
675.87/675.82 c | 497554 | 6584 35052 121193 | 131157 121711 139 | 0.061 % |
678.47/678.46 c | 498958 | 6584 35052 121193 | 131157 123115 139 | 0.061 % |
682.18/682.21 c | 500499 | 6584 35052 121193 | 124158 124656 139 | 0.061 % |
684.98/684.97 c | 502193 | 6584 35052 121193 | 124158 112181 135 | 0.061 % |
687.98/687.99 c | 504056 | 6584 35052 121193 | 124158 114044 135 | 0.061 % |
691.58/691.57 c | 506109 | 6584 35052 121193 | 124158 116097 135 | 0.061 % |
694.38/694.38 c | 508369 | 6584 35052 121193 | 124158 118357 135 | 0.061 % |
697.48/697.45 c | 510847 | 6584 35052 121193 | 2147483647 120835 135 | 0.061 % |
701.38/701.34 c | 513577 | 6584 35052 121193 | 2147483647 123565 135 | 0.061 % |
705.68/705.64 c | 516574 | 6584 35052 121193 | 2147483647 126562 137 | 0.061 % |
711.58/711.60 c | 519870 | 6584 35052 121193 | 2147483647 129858 138 | 0.061 % |
716.48/716.49 c | 523497 | 6584 35052 121193 | 2147483647 133485 140 | 0.061 % |
720.78/720.79 c | 527485 | 6584 35052 121193 | 2147483647 137473 140 | 0.061 % |
724.68/724.68 c | 531871 | 6584 35052 121193 | 139988 141859 139 | 0.061 % |
731.58/731.56 c | 536696 | 6584 35052 121193 | 139988 132499 136 | 0.061 % |
731.68/731.69 c | 536798 | 6584 35052 121193 | 139988 132601 136 | 0.061 % |
731.88/731.85 c | 536909 | 6584 35052 121193 | 139988 132712 137 | 0.061 % |
732.08/732.04 c | 537030 | 6584 35052 121193 | 139988 132833 137 | 0.061 % |
732.28/732.31 c | 537166 | 6584 35052 121193 | 139988 132969 137 | 0.061 % |
732.58/732.59 c | 537313 | 6584 35052 121193 | 139988 133116 137 | 0.061 % |
732.98/732.93 c | 537473 | 6584 35052 121193 | 139988 133276 137 | 0.061 % |
733.18/733.18 c | 537650 | 6584 35052 121193 | 139988 133453 137 | 0.061 % |
733.48/733.42 c | 537846 | 6584 35052 121193 | 139988 133649 137 | 0.061 % |
733.68/733.71 c | 538058 | 6584 35052 121193 | 139988 133861 137 | 0.061 % |
734.18/734.15 c | 538293 | 6584 35052 121193 | 139988 134096 137 | 0.061 % |
734.58/734.59 c | 538550 | 6584 35052 121193 | 139988 134353 137 | 0.061 % |
734.98/734.97 c | 538832 | 6584 35052 121193 | 139988 134635 137 | 0.061 % |
735.38/735.38 c | 539142 | 6584 35052 121193 | 139988 134945 137 | 0.061 % |
735.78/735.79 c | 539489 | 6584 35052 121193 | 139988 135292 137 | 0.061 % |
736.18/736.19 c | 539861 | 6584 35052 121193 | 139988 135664 138 | 0.061 % |
736.68/736.66 c | 540270 | 6584 35052 121193 | 2147483647 136073 138 | 0.061 % |
737.18/737.19 c | 540721 | 6584 35052 121193 | 2147483647 136524 138 | 0.061 % |
737.88/737.83 c | 541214 | 6584 35052 121193 | 2147483647 137017 138 | 0.061 % |
738.58/738.60 c | 541756 | 6584 35052 121193 | 2147483647 137559 138 | 0.061 % |
739.58/739.53 c | 542352 | 6584 35052 121193 | 2147483647 138155 138 | 0.061 % |
740.58/740.57 c | 543007 | 6584 35052 121193 | 2147483647 138810 139 | 0.061 % |
742.38/742.32 c | 543727 | 6584 35052 121193 | 2147483647 139530 139 | 0.061 % |
743.48/743.46 c | 544522 | 6584 35052 121193 | 2147483647 140325 140 | 0.061 % |
745.28/745.24 c | 545397 | 6584 35052 121193 | 2147483647 141200 140 | 0.061 % |
746.48/746.48 c | 546355 | 6584 35052 121193 | 2147483647 142158 141 | 0.061 % |
747.78/747.76 c | 547409 | 6584 35052 121193 | 2147483647 143212 141 | 0.061 % |
749.38/749.40 c | 548570 | 6584 35052 121193 | 2147483647 144373 141 | 0.061 % |
752.68/752.68 c | 549845 | 6584 35052 121193 | 2147483647 145648 141 | 0.061 % |
754.68/754.61 c | 551247 | 6584 35052 121193 | 145805 147050 141 | 0.061 % |
757.58/757.55 c | 552789 | 6584 35052 121193 | 145805 121008 132 | 0.061 % |
759.88/759.91 c | 554483 | 6584 35052 121193 | 145805 122702 132 | 0.061 % |
762.39/762.39 c | 556350 | 6584 35052 121193 | 145805 124569 133 | 0.061 % |
765.28/765.30 c | 558400 | 6584 35052 121193 | 145805 126619 136 | 0.061 % |
769.48/769.43 c | 560653 | 6584 35052 121193 | 128219 113771 134 | 0.061 % |
772.58/772.60 c | 563133 | 6584 35052 121193 | 128219 116251 135 | 0.061 % |
776.58/776.57 c | 565858 | 6584 35052 121193 | 128219 118976 137 | 0.061 % |
781.48/781.42 c | 568856 | 6584 35052 121193 | 128219 121974 138 | 0.061 % |
786.59/786.55 c | 572157 | 6584 35052 121193 | 2147483647 125275 140 | 0.061 % |
793.08/793.01 c | 575783 | 6584 35052 121193 | 2147483647 128901 142 | 0.061 % |
799.28/799.25 c | 579776 | 6584 35052 121193 | 2147483647 132894 145 | 0.061 % |
806.08/806.09 c | 584161 | 6584 35052 121193 | 133118 118011 149 | 0.061 % |
814.19/814.15 c | 588984 | 6584 35052 121193 | 133118 122834 151 | 0.061 % |
822.99/822.97 c | 594290 | 6584 35052 121193 | 2147483647 128140 151 | 0.061 % |
823.19/823.20 c | 594391 | 6584 35052 121193 | 2147483647 128241 151 | 0.061 % |
823.49/823.44 c | 594507 | 6584 35052 121193 | 2147483647 128357 151 | 0.061 % |
823.69/823.70 c | 594635 | 6584 35052 121193 | 2147483647 128485 151 | 0.061 % |
823.99/823.94 c | 594769 | 6584 35052 121193 | 2147483647 128619 151 | 0.061 % |
824.19/824.21 c | 594916 | 6584 35052 121193 | 2147483647 128766 151 | 0.061 % |
824.59/824.52 c | 595076 | 6584 35052 121193 | 2147483647 128926 151 | 0.061 % |
824.89/824.84 c | 595253 | 6584 35052 121193 | 2147483647 129103 151 | 0.061 % |
825.29/825.23 c | 595448 | 6584 35052 121193 | 2147483647 129298 151 | 0.061 % |
825.69/825.69 c | 595662 | 6584 35052 121193 | 2147483647 129512 151 | 0.061 % |
826.19/826.12 c | 595895 | 6584 35052 121193 | 2147483647 129745 151 | 0.061 % |
826.69/826.63 c | 596152 | 6584 35052 121193 | 2147483647 130002 151 | 0.061 % |
827.19/827.17 c | 596433 | 6584 35052 121193 | 2147483647 130283 151 | 0.061 % |
827.79/827.75 c | 596743 | 6584 35052 121193 | 2147483647 130593 151 | 0.061 % |
828.29/828.25 c | 597086 | 6584 35052 121193 | 2147483647 130936 151 | 0.061 % |
828.99/828.96 c | 597458 | 6584 35052 121193 | 2147483647 131308 151 | 0.061 % |
829.89/829.82 c | 597867 | 6584 35052 121193 | 2147483647 131717 151 | 0.061 % |
830.69/830.68 c | 598317 | 6584 35052 121193 | 2147483647 132167 151 | 0.061 % |
831.59/831.56 c | 598812 | 6584 35052 121193 | 2147483647 132662 151 | 0.061 % |
832.59/832.51 c | 599354 | 6584 35052 121193 | 2147483647 133204 151 | 0.061 % |
833.59/833.54 c | 599950 | 6584 35052 121193 | 2147483647 133800 151 | 0.061 % |
834.69/834.63 c | 600605 | 6584 35052 121193 | 2147483647 134455 151 | 0.061 % |
835.99/835.97 c | 601325 | 6584 35052 121193 | 2147483647 135175 151 | 0.061 % |
837.19/837.16 c | 602121 | 6584 35052 121193 | 2147483647 135971 151 | 0.061 % |
838.89/838.84 c | 602992 | 6584 35052 121193 | 2147483647 136842 151 | 0.061 % |
840.69/840.69 c | 603950 | 6584 35052 121193 | 2147483647 137800 151 | 0.061 % |
842.39/842.38 c | 605003 | 6584 35052 121193 | 2147483647 138853 151 | 0.061 % |
844.59/844.59 c | 606164 | 6584 35052 121193 | 2147483647 140014 151 | 0.061 % |
846.99/847.01 c | 607439 | 6584 35052 121193 | 2147483647 141289 151 | 0.061 % |
849.39/849.39 c | 608841 | 6584 35052 121193 | 2147483647 142691 152 | 0.061 % |
851.69/851.67 c | 610381 | 6584 35052 121193 | 2147483647 144231 152 | 0.061 % |
853.99/853.97 c | 612075 | 6584 35052 121193 | 2147483647 145925 152 | 0.061 % |
858.09/858.07 c | 613942 | 6584 35052 121193 | 2147483647 147792 153 | 0.061 % |
861.99/861.97 c | 616000 | 6584 35052 121193 | 2147483647 149850 154 | 0.061 % |
865.79/865.75 c | 618254 | 6584 35052 121193 | 2147483647 152104 153 | 0.061 % |
869.59/869.58 c | 620732 | 6584 35052 121193 | 153850 154582 153 | 0.061 % |
874.49/874.47 c | 623458 | 6584 35052 121193 | 153850 140265 155 | 0.061 % |
879.19/879.16 c | 626455 | 6584 35052 121193 | 153850 143262 156 | 0.061 % |
884.79/884.76 c | 629754 | 6584 35052 121193 | 153850 146561 157 | 0.061 % |
891.49/891.48 c | 633381 | 6584 35052 121193 | 146813 129263 157 | 0.061 % |
897.29/897.29 c | 637368 | 6584 35052 121193 | 146813 133250 158 | 0.061 % |
904.99/904.97 c | 641755 | 6584 35052 121193 | 135888 118858 153 | 0.061 % |
912.29/912.21 c | 646579 | 6584 35052 121193 | 135888 123682 154 | 0.061 % |
922.39/922.34 c | 651884 | 6584 35052 121193 | 127104 111119 147 | 0.061 % |
931.39/931.31 c | 657719 | 6584 35052 121193 | 127104 116954 151 | 0.061 % |
931.49/931.47 c | 657819 | 6584 35052 121193 | 127104 117054 151 | 0.061 % |
931.69/931.66 c | 657929 | 6584 35052 121193 | 127104 117164 151 | 0.061 % |
931.89/931.88 c | 658053 | 6584 35052 121193 | 127104 117288 151 | 0.061 % |
932.19/932.13 c | 658187 | 6584 35052 121193 | 127104 117422 151 | 0.061 % |
932.39/932.40 c | 658336 | 6584 35052 121193 | 127104 117571 151 | 0.061 % |
932.69/932.61 c | 658497 | 6584 35052 121193 | 127104 117732 151 | 0.061 % |
932.79/932.81 c | 658673 | 6584 35052 121193 | 127104 117908 151 | 0.061 % |
932.99/932.99 c | 658867 | 6584 35052 121193 | 127104 118102 151 | 0.061 % |
933.49/933.41 c | 659084 | 6584 35052 121193 | 127104 118319 151 | 0.061 % |
933.89/933.87 c | 659319 | 6584 35052 121193 | 127104 118554 151 | 0.061 % |
934.39/934.38 c | 659580 | 6584 35052 121193 | 127104 118815 151 | 0.061 % |
934.99/934.94 c | 659862 | 6584 35052 121193 | 127104 119097 151 | 0.061 % |
935.59/935.51 c | 660171 | 6584 35052 121193 | 119236 119406 151 | 0.061 % |
936.39/936.33 c | 660513 | 6584 35052 121193 | 119236 101642 145 | 0.061 % |
936.89/936.90 c | 660886 | 6584 35052 121193 | 119236 102015 145 | 0.061 % |
937.59/937.57 c | 661295 | 6584 35052 121193 | 119236 102424 146 | 0.061 % |
938.29/938.24 c | 661744 | 6584 35052 121193 | 119236 102873 146 | 0.061 % |
938.79/938.78 c | 662238 | 6584 35052 121193 | 119236 103367 146 | 0.061 % |
939.99/939.99 c | 662780 | 6584 35052 121193 | 119236 103909 146 | 0.061 % |
941.19/941.11 c | 663377 | 6584 35052 121193 | 119236 104506 146 | 0.061 % |
942.20/942.15 c | 664033 | 6584 35052 121193 | 119236 105162 146 | 0.061 % |
942.90/942.91 c | 664758 | 6584 35052 121193 | 119236 105887 147 | 0.061 % |
943.70/943.66 c | 665550 | 6584 35052 121193 | 119236 106679 147 | 0.061 % |
945.00/944.96 c | 666422 | 6584 35052 121193 | 119236 107551 148 | 0.061 % |
946.50/946.44 c | 667381 | 6584 35052 121193 | 119236 108510 149 | 0.061 % |
947.80/947.78 c | 668437 | 6584 35052 121193 | 119236 109566 149 | 0.061 % |
949.80/949.79 c | 669596 | 6584 35052 121193 | 119236 110725 149 | 0.061 % |
952.00/951.95 c | 670872 | 6584 35052 121193 | 2147483647 112001 149 | 0.061 % |
953.90/953.84 c | 672273 | 6584 35052 121193 | 2147483647 113402 150 | 0.061 % |
956.50/956.45 c | 673813 | 6584 35052 121193 | 2147483647 114942 150 | 0.061 % |
959.00/959.00 c | 675507 | 6584 35052 121193 | 2147483647 116636 150 | 0.061 % |
961.00/961.01 c | 677373 | 6584 35052 121193 | 2147483647 118502 149 | 0.061 % |
963.60/963.53 c | 679422 | 6584 35052 121193 | 2147483647 120551 149 | 0.061 % |
966.40/966.37 c | 681676 | 6584 35052 121193 | 2147483647 122805 150 | 0.061 % |
970.90/970.84 c | 684156 | 6584 35052 121193 | 2147483647 125285 152 | 0.061 % |
974.40/974.37 c | 686884 | 6584 35052 121193 | 2147483647 128013 153 | 0.061 % |
980.50/980.42 c | 689881 | 6584 35052 121193 | 2147483647 131010 155 | 0.061 % |
986.30/986.25 c | 693177 | 6584 35052 121193 | 2147483647 134306 156 | 0.061 % |
993.60/993.55 c | 696802 | 6584 35052 121193 | 2147483647 137931 158 | 0.061 % |
1000.30/1000.29 c | 700789 | 6584 35052 121193 | 141129 141918 159 | 0.061 % |
1008.30/1008.27 c | 705174 | 6584 35052 121193 | 141129 122609 160 | 0.061 % |
1016.39/1016.38 c | 709998 | 6584 35052 121193 | 141129 127433 162 | 0.061 % |
1025.60/1025.55 c | 715305 | 6584 35052 121193 | 127438 110933 156 | 0.061 % |
1036.00/1035.98 c | 721143 | 6584 35052 121193 | 115629 116771 159 | 0.061 % |
1046.90/1046.89 c | 727564 | 6584 35052 121193 | 115629 103601 159 | 0.061 % |
1047.20/1047.12 c | 727664 | 6584 35052 121193 | 115629 103701 159 | 0.061 % |
1047.40/1047.35 c | 727775 | 6584 35052 121193 | 115629 103812 159 | 0.061 % |
1047.60/1047.51 c | 727896 | 6584 35052 121193 | 115629 103933 159 | 0.061 % |
1047.70/1047.67 c | 728030 | 6584 35052 121193 | 115629 104067 159 | 0.061 % |
1048.00/1048.01 c | 728181 | 6584 35052 121193 | 115629 104218 159 | 0.061 % |
1048.30/1048.23 c | 728341 | 6584 35052 121193 | 115629 104378 159 | 0.061 % |
1048.41/1048.39 c | 728517 | 6584 35052 121193 | 115629 104554 159 | 0.061 % |
1048.70/1048.66 c | 728711 | 6584 35052 121193 | 115629 104748 159 | 0.061 % |
1049.00/1048.92 c | 728925 | 6584 35052 121193 | 115629 104962 159 | 0.061 % |
1049.40/1049.33 c | 729158 | 6584 35052 121193 | 115629 105195 159 | 0.061 % |
1049.80/1049.81 c | 729417 | 6584 35052 121193 | 115629 105454 159 | 0.061 % |
1050.61/1050.54 c | 729701 | 6584 35052 121193 | 115629 105738 159 | 0.061 % |
1051.30/1051.29 c | 730010 | 6584 35052 121193 | 106038 106047 159 | 0.061 % |
1052.10/1052.09 c | 730355 | 6584 35052 121193 | 106038 90899 158 | 0.061 % |
1052.60/1052.56 c | 730727 | 6584 35052 121193 | 106038 91271 158 | 0.061 % |
1053.20/1053.11 c | 731136 | 6584 35052 121193 | 106038 91680 158 | 0.061 % |
1053.70/1053.69 c | 731591 | 6584 35052 121193 | 106038 92135 158 | 0.061 % |
1054.60/1054.51 c | 732085 | 6584 35052 121193 | 106038 92629 159 | 0.061 % |
1055.40/1055.31 c | 732627 | 6584 35052 121193 | 106038 93171 159 | 0.061 % |
1056.00/1056.02 c | 733223 | 6584 35052 121193 | 106038 93767 159 | 0.061 % |
1056.80/1056.76 c | 733879 | 6584 35052 121193 | 106038 94423 159 | 0.061 % |
1057.70/1057.65 c | 734599 | 6584 35052 121193 | 106038 95143 159 | 0.061 % |
1058.80/1058.80 c | 735393 | 6584 35052 121193 | 106038 95937 160 | 0.061 % |
1060.10/1060.07 c | 736264 | 6584 35052 121193 | 106038 96808 160 | 0.061 % |
1061.40/1061.32 c | 737222 | 6584 35052 121193 | 106038 97766 159 | 0.061 % |
1062.90/1062.84 c | 738275 | 6584 35052 121193 | 106038 98819 159 | 0.061 % |
1064.91/1064.88 c | 739439 | 6584 35052 121193 | 106038 99983 159 | 0.061 % |
1067.11/1067.03 c | 740714 | 6584 35052 121193 | 2147483647 101258 159 | 0.061 % |
1069.60/1069.51 c | 742114 | 6584 35052 121193 | 2147483647 102658 159 | 0.061 % |
1071.20/1071.20 c | 743655 | 6584 35052 121193 | 2147483647 104199 158 | 0.061 % |
1073.41/1073.37 c | 745350 | 6584 35052 121193 | 2147483647 105894 157 | 0.061 % |
1075.71/1075.64 c | 747213 | 6584 35052 121193 | 2147483647 107757 157 | 0.061 % |
1078.71/1078.63 c | 749262 | 6584 35052 121193 | 2147483647 109806 157 | 0.061 % |
1082.31/1082.31 c | 751515 | 6584 35052 121193 | 2147483647 112059 156 | 0.061 % |
1087.11/1087.07 c | 753993 | 6584 35052 121193 | 2147483647 114537 156 | 0.061 % |
1092.21/1092.19 c | 756722 | 6584 35052 121193 | 2147483647 117266 156 | 0.061 % |
1097.01/1096.97 c | 759719 | 6584 35052 121193 | 2147483647 120263 156 | 0.061 % |
1103.51/1103.51 c | 763017 | 6584 35052 121193 | 2147483647 123561 156 | 0.061 % |
1109.01/1108.92 c | 766644 | 6584 35052 121193 | 2147483647 127188 155 | 0.061 % |
1117.51/1117.47 c | 770633 | 6584 35052 121193 | 2147483647 131177 155 | 0.061 % |
1123.61/1123.56 c | 775020 | 6584 35052 121193 | 2147483647 135564 155 | 0.061 % |
1134.61/1134.55 c | 779845 | 6584 35052 121193 | 2147483647 140389 158 | 0.061 % |
1145.11/1145.06 c | 785151 | 6584 35052 121193 | 140547 124085 152 | 0.061 % |
1155.01/1154.93 c | 790988 | 6584 35052 121193 | 128934 129922 154 | 0.061 % |
1163.92/1163.83 c | 797406 | 6584 35052 121193 | 128934 112370 141 | 0.061 % |
1177.51/1177.46 c | 804468 | 6584 35052 121193 | 114968 103918 138 | 0.061 % |
1177.71/1177.64 c | 804568 | 6584 35052 121193 | 114968 104018 138 | 0.061 % |
1177.91/1177.83 c | 804682 | 6584 35052 121193 | 114968 104132 138 | 0.061 % |
1178.11/1178.12 c | 804804 | 6584 35052 121193 | 114968 104254 138 | 0.061 % |
1178.51/1178.41 c | 804944 | 6584 35052 121193 | 114968 104394 138 | 0.061 % |
1178.91/1178.82 c | 805090 | 6584 35052 121193 | 114968 104540 138 | 0.061 % |
1179.21/1179.20 c | 805252 | 6584 35052 121193 | 114968 104702 138 | 0.061 % |
1179.61/1179.58 c | 805430 | 6584 35052 121193 | 114968 104880 138 | 0.061 % |
1180.01/1179.93 c | 805624 | 6584 35052 121193 | 114968 105074 138 | 0.061 % |
1180.42/1180.34 c | 805836 | 6584 35052 121193 | 114968 105286 139 | 0.061 % |
1180.71/1180.67 c | 806069 | 6584 35052 121193 | 114968 105519 139 | 0.061 % |
1181.21/1181.11 c | 806325 | 6584 35052 121193 | 114968 105775 139 | 0.061 % |
1181.81/1181.81 c | 806609 | 6584 35052 121193 | 114968 106059 139 | 0.061 % |
1182.51/1182.43 c | 806918 | 6584 35052 121193 | 114968 106368 139 | 0.061 % |
1183.31/1183.30 c | 807259 | 6584 35052 121193 | 114968 106709 139 | 0.061 % |
1184.01/1183.98 c | 807631 | 6584 35052 121193 | 114968 107081 139 | 0.061 % |
1184.71/1184.65 c | 808041 | 6584 35052 121193 | 114968 107491 139 | 0.061 % |
1185.41/1185.36 c | 808491 | 6584 35052 121193 | 114968 107941 139 | 0.061 % |
1186.01/1185.97 c | 808984 | 6584 35052 121193 | 114968 108434 139 | 0.061 % |
1186.91/1186.89 c | 809530 | 6584 35052 121193 | 114968 108980 139 | 0.061 % |
1188.01/1187.94 c | 810126 | 6584 35052 121193 | 2147483647 109576 139 | 0.061 % |
1189.22/1189.16 c | 810781 | 6584 35052 121193 | 2147483647 110231 139 | 0.061 % |
1190.41/1190.37 c | 811503 | 6584 35052 121193 | 2147483647 110953 139 | 0.061 % |
1191.71/1191.63 c | 812298 | 6584 35052 121193 | 2147483647 111748 138 | 0.061 % |
1192.91/1192.86 c | 813169 | 6584 35052 121193 | 2147483647 112619 139 | 0.061 % |
1194.61/1194.52 c | 814127 | 6584 35052 121193 | 2147483647 113577 139 | 0.061 % |
1196.41/1196.37 c | 815180 | 6584 35052 121193 | 2147483647 114630 140 | 0.061 % |
1198.61/1198.51 c | 816340 | 6584 35052 121193 | 2147483647 115790 141 | 0.061 % |
1200.01/1199.92 HOME/SatELiteGTI: line 36: 24980 Terminated $MS $TMP.cnf $TMP.result
runsolver version 3.2.9 (svn:503) (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w /tmp/evaluation-result-1820992-1242494614/watcher-1820992-1242494614 -o /tmp/evaluation-result-1820992-1242494614/solver-1820992-1242494614 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1820992-1242494614.cnf
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1230 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 8192 KiB
[startup+0 s]
/proc/loadavg: 0.92 0.99 0.99 2/91 24974
/proc/meminfo: memFree=1473132/2074464 swapFree=1952056/1959888
[pid=24974] ppid=24972 vsize=2412 CPUtime=0.01
/proc/24974/stat : 24974 (SatELiteGTI) S 24972 24974 15108 0 -1 4194304 368 643 0 0 0 0 0 1 18 0 1 0 1013959540 2469888 276 4294967295 134512640 135169312 3217553360 3217551896 3085217518 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/24974/statm: 603 276 235 161 0 42 0
[pid=24978] ppid=24974 vsize=952 CPUtime=0
/proc/24978/stat : 24978 (SatELite_releas) R 24974 24974 15108 0 -1 4202496 114 0 0 0 0 0 0 0 20 0 1 0 1013959540 974848 49 4294967295 134512640 135223648 3216510656 3216509560 134736942 0 0 0 3 0 0 0 17 2 0 0 0
/proc/24978/statm: 238 52 43 174 0 63 0
[startup+0.062685 s]
/proc/loadavg: 0.92 0.99 0.99 2/91 24974
/proc/meminfo: memFree=1473132/2074464 swapFree=1952056/1959888
[pid=24974] ppid=24972 vsize=2412 CPUtime=0.01
/proc/24974/stat : 24974 (SatELiteGTI) S 24972 24974 15108 0 -1 4194304 368 643 0 0 0 0 0 1 18 0 1 0 1013959540 2469888 276 4294967295 134512640 135169312 3217553360 3217551896 3085217518 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/24974/statm: 603 276 235 161 0 42 0
[pid=24978] ppid=24974 vsize=10624 CPUtime=0.06
/proc/24978/stat : 24978 (SatELite_releas) R 24974 24974 15108 0 -1 4202496 2316 0 0 0 4 2 0 0 20 0 1 0 1013959540 10878976 2251 4294967295 134512640 135223648 3216510656 3216509664 134547562 0 0 0 3 0 0 0 17 2 0 0 0
/proc/24978/statm: 2656 2251 47 174 0 2481 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 13036
[startup+0.112681 s]
/proc/loadavg: 0.92 0.99 0.99 2/91 24974
/proc/meminfo: memFree=1473132/2074464 swapFree=1952056/1959888
[pid=24974] ppid=24972 vsize=2412 CPUtime=0.01
/proc/24974/stat : 24974 (SatELiteGTI) S 24972 24974 15108 0 -1 4194304 368 643 0 0 0 0 0 1 18 0 1 0 1013959540 2469888 276 4294967295 134512640 135169312 3217553360 3217551896 3085217518 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/24974/statm: 603 276 235 161 0 42 0
[pid=24978] ppid=24974 vsize=12124 CPUtime=0.11
/proc/24978/stat : 24978 (SatELite_releas) R 24974 24974 15108 0 -1 4202496 2781 0 0 0 9 2 0 0 21 0 1 0 1013959540 12414976 2576 4294967295 134512640 135223648 3216510656 3216508608 134563345 0 0 0 3 0 0 0 17 2 0 0 0
/proc/24978/statm: 3031 2576 73 174 0 2856 0
Current children cumulated CPU time (s) 0.12
Current children cumulated vsize (KiB) 14536
[startup+0.312665 s]
/proc/loadavg: 0.92 0.99 0.99 2/91 24974
/proc/meminfo: memFree=1473132/2074464 swapFree=1952056/1959888
[pid=24974] ppid=24972 vsize=2412 CPUtime=0.01
/proc/24974/stat : 24974 (SatELiteGTI) S 24972 24974 15108 0 -1 4194304 368 643 0 0 0 0 0 1 18 0 1 0 1013959540 2469888 276 4294967295 134512640 135169312 3217553360 3217551896 3085217518 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/24974/statm: 603 276 235 161 0 42 0
[pid=24978] ppid=24974 vsize=12584 CPUtime=0.31
/proc/24978/stat : 24978 (SatELite_releas) R 24974 24974 15108 0 -1 4202496 2900 0 0 0 28 3 0 0 21 0 1 0 1013959540 12886016 2695 4294967295 134512640 135223648 3216510656 3216508424 134737406 0 0 0 3 0 0 0 17 2 0 0 0
/proc/24978/statm: 3146 2695 73 174 0 2971 0
Current children cumulated CPU time (s) 0.32
Current children cumulated vsize (KiB) 14996
[startup+0.712634 s]
/proc/loadavg: 0.92 0.99 0.99 2/91 24974
/proc/meminfo: memFree=1473132/2074464 swapFree=1952056/1959888
[pid=24974] ppid=24972 vsize=2416 CPUtime=0.61
/proc/24974/stat : 24974 (SatELiteGTI) S 24972 24974 15108 0 -1 4194304 386 3922 0 0 0 0 57 4 15 0 1 0 1013959540 2473984 277 4294967295 134512640 135169312 3217553360 3217549576 3085217518 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/24974/statm: 604 277 235 161 0 43 0
Current children cumulated CPU time (s) 0.61
Current children cumulated vsize (KiB) 2416
[startup+1.51257 s]
/proc/loadavg: 0.92 0.99 0.99 3/93 24980
/proc/meminfo: memFree=1466536/2074464 swapFree=1952056/1959888
[pid=24974] ppid=24972 vsize=2416 CPUtime=0.61
/proc/24974/stat : 24974 (SatELiteGTI) S 24972 24974 15108 0 -1 4194304 386 3922 0 0 0 0 57 4 15 0 1 0 1013959540 2473984 277 4294967295 134512640 135169312 3217553360 3217549576 3085217518 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/24974/statm: 604 277 235 161 0 43 0
[pid=24980] ppid=24974 vsize=5144 CPUtime=0.91
/proc/24980/stat : 24980 (minisat_static) R 24974 24974 15108 0 -1 4202496 1121 0 0 0 91 0 0 0 20 0 1 0 1013959601 5267456 1056 4294967295 134512640 135215339 3213388832 3213386928 134527396 0 0 0 3 0 0 0 17 3 0 0 0
/proc/24980/statm: 1286 1056 73 172 0 1113 0
Current children cumulated CPU time (s) 1.52
Current children cumulated vsize (KiB) 7560
[startup+3.11245 s]
/proc/loadavg: 0.92 0.99 0.99 3/93 24980
/proc/meminfo: memFree=1465172/2074464 swapFree=1952056/1959888
[pid=24974] ppid=24972 vsize=2416 CPUtime=0.61
/proc/24974/stat : 24974 (SatELiteGTI) S 24972 24974 15108 0 -1 4194304 386 3922 0 0 0 0 57 4 15 0 1 0 1013959540 2473984 277 4294967295 134512640 135169312 3217553360 3217549576 3085217518 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/24974/statm: 604 277 235 161 0 43 0
[pid=24980] ppid=24974 vsize=7128 CPUtime=2.51
/proc/24980/stat : 24980 (minisat_static) R 24974 24974 15108 0 -1 4202496 1609 0 0 0 251 0 0 0 25 0 1 0 1013959601 7299072 1544 4294967295 134512640 135215339 3213388832 3213387120 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/24980/statm: 1782 1544 73 172 0 1609 0
Current children cumulated CPU time (s) 3.12
Current children cumulated vsize (KiB) 9544
[startup+6.3122 s]
/proc/loadavg: 0.93 0.99 0.99 3/93 24980
/proc/meminfo: memFree=1461360/2074464 swapFree=1952056/1959888
[pid=24974] ppid=24972 vsize=2416 CPUtime=0.61
/proc/24974/stat : 24974 (SatELiteGTI) S 24972 24974 15108 0 -1 4194304 386 3922 0 0 0 0 57 4 15 0 1 0 1013959540 2473984 277 4294967295 134512640 135169312 3217553360 3217549576 3085217518 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/24974/statm: 604 277 235 161 0 43 0
[pid=24980] ppid=24974 vsize=10512 CPUtime=5.71
/proc/24980/stat : 24980 (minisat_static) R 24974 24974 15108 0 -1 4202496 2462 0 0 0 571 0 0 0 25 0 1 0 1013959601 10764288 2397 4294967295 134512640 135215339 3213388832 3213387120 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/24980/statm: 2628 2397 73 172 0 2455 0
Current children cumulated CPU time (s) 6.32
Current children cumulated vsize (KiB) 12928
[startup+12.7117 s]
/proc/loadavg: 0.93 0.99 0.99 3/93 24980
/proc/meminfo: memFree=1453588/2074464 swapFree=1952056/1959888
[pid=24974] ppid=24972 vsize=2416 CPUtime=0.61
/proc/24974/stat : 24974 (SatELiteGTI) S 24972 24974 15108 0 -1 4194304 386 3922 0 0 0 0 57 4 15 0 1 0 1013959540 2473984 277 4294967295 134512640 135169312 3217553360 3217549576 3085217518 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/24974/statm: 604 277 235 161 0 43 0
[pid=24980] ppid=24974 vsize=18464 CPUtime=12.11
/proc/24980/stat : 24980 (minisat_static) R 24974 24974 15108 0 -1 4202496 4435 0 0 0 1209 2 0 0 25 0 1 0 1013959601 18907136 4370 4294967295 134512640 135215339 3213388832 3213387120 134528881 0 0 0 3 0 0 0 17 3 0 0 0
/proc/24980/statm: 4616 4370 73 172 0 4443 0
Current children cumulated CPU time (s) 12.72
Current children cumulated vsize (KiB) 20880
[startup+25.5207 s]
/proc/loadavg: 0.95 0.99 0.99 2/93 24981
/proc/meminfo: memFree=1441540/2074464 swapFree=1952056/1959888
[pid=24974] ppid=24972 vsize=2416 CPUtime=0.61
/proc/24974/stat : 24974 (SatELiteGTI) S 24972 24974 15108 0 -1 4194304 386 3922 0 0 0 0 57 4 15 0 1 0 1013959540 2473984 277 4294967295 134512640 135169312 3217553360 3217549576 3085217518 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/24974/statm: 604 277 235 161 0 43 0
[pid=24980] ppid=24974 vsize=29668 CPUtime=24.92
/proc/24980/stat : 24980 (minisat_static) R 24974 24974 15108 0 -1 4202496 7254 0 0 0 2488 4 0 0 25 0 1 0 1013959601 30380032 7189 4294967295 134512640 135215339 3213388832 3213387120 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/24980/statm: 7417 7189 73 172 0 7244 0
Current children cumulated CPU time (s) 25.53
Current children cumulated vsize (KiB) 32084
[startup+51.1188 s]
/proc/loadavg: 0.96 0.99 0.99 4/93 25165
/proc/meminfo: memFree=1422288/2074464 swapFree=1952056/1959888
[pid=24974] ppid=24972 vsize=2416 CPUtime=0.61
/proc/24974/stat : 24974 (SatELiteGTI) S 24972 24974 15108 0 -1 4194304 386 3922 0 0 0 0 57 4 15 0 1 0 1013959540 2473984 277 4294967295 134512640 135169312 3217553360 3217549576 3085217518 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/24974/statm: 604 277 235 161 0 43 0
[pid=24980] ppid=24974 vsize=49176 CPUtime=50.52
/proc/24980/stat : 24980 (minisat_static) R 24974 24974 15108 0 -1 4202496 12105 0 0 0 5041 11 0 0 25 0 1 0 1013959601 50356224 12040 4294967295 134512640 135215339 3213388832 3213387120 134528788 0 0 0 3 0 0 0 17 3 0 0 0
/proc/24980/statm: 12294 12040 73 172 0 12121 0
Current children cumulated CPU time (s) 51.13
Current children cumulated vsize (KiB) 51592
[startup+102.325 s]
/proc/loadavg: 0.98 0.99 0.99 2/93 25357
/proc/meminfo: memFree=1393704/2074464 swapFree=1952056/1959888
[pid=24974] ppid=24972 vsize=2416 CPUtime=0.61
/proc/24974/stat : 24974 (SatELiteGTI) S 24972 24974 15108 0 -1 4194304 386 3922 0 0 0 0 57 4 15 0 1 0 1013959540 2473984 277 4294967295 134512640 135169312 3217553360 3217549576 3085217518 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/24974/statm: 604 277 235 161 0 43 0
[pid=24980] ppid=24974 vsize=77288 CPUtime=101.73
/proc/24980/stat : 24980 (minisat_static) R 24974 24974 15108 0 -1 4202496 19077 0 0 0 10159 14 0 0 25 0 1 0 1013959601 79142912 19012 4294967295 134512640 135215339 3213388832 3213387120 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/24980/statm: 19322 19012 73 172 0 19149 0
Current children cumulated CPU time (s) 102.34
Current children cumulated vsize (KiB) 79704
[startup+162.32 s]
/proc/loadavg: 0.99 0.99 0.99 2/93 25545
/proc/meminfo: memFree=1380840/2074464 swapFree=1952056/1959888
[pid=24974] ppid=24972 vsize=2416 CPUtime=0.61
/proc/24974/stat : 24974 (SatELiteGTI) S 24972 24974 15108 0 -1 4194304 386 3922 0 0 0 0 57 4 15 0 1 0 1013959540 2473984 277 4294967295 134512640 135169312 3217553360 3217549576 3085217518 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/24974/statm: 604 277 235 161 0 43 0
[pid=24980] ppid=24974 vsize=90420 CPUtime=161.73
/proc/24980/stat : 24980 (minisat_static) R 24974 24974 15108 0 -1 4202496 22276 0 0 0 16158 15 0 0 25 0 1 0 1013959601 92590080 22211 4294967295 134512640 135215339 3213388832 3213387120 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/24980/statm: 22605 22211 73 172 0 22432 0
Current children cumulated CPU time (s) 162.34
Current children cumulated vsize (KiB) 92836
[startup+222.316 s]
/proc/loadavg: 0.99 0.99 0.99 2/93 25734
/proc/meminfo: memFree=1380312/2074464 swapFree=1952056/1959888
[pid=24974] ppid=24972 vsize=2416 CPUtime=0.61
/proc/24974/stat : 24974 (SatELiteGTI) S 24972 24974 15108 0 -1 4194304 386 3922 0 0 0 0 57 4 15 0 1 0 1013959540 2473984 277 4294967295 134512640 135169312 3217553360 3217549576 3085217518 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/24974/statm: 604 277 235 161 0 43 0
[pid=24980] ppid=24974 vsize=91008 CPUtime=221.73
/proc/24980/stat : 24980 (minisat_static) R 24974 24974 15108 0 -1 4202496 22394 0 0 0 22158 15 0 0 25 0 1 0 1013959601 93192192 22329 4294967295 134512640 135215339 3213388832 3213386832 134532650 0 0 0 3 0 0 0 17 3 0 0 0
/proc/24980/statm: 22752 22329 73 172 0 22579 0
Current children cumulated CPU time (s) 222.34
Current children cumulated vsize (KiB) 93424
[startup+282.311 s]
/proc/loadavg: 0.99 0.99 0.99 3/93 25920
/proc/meminfo: memFree=1379568/2074464 swapFree=1952056/1959888
[pid=24974] ppid=24972 vsize=2416 CPUtime=0.61
/proc/24974/stat : 24974 (SatELiteGTI) S 24972 24974 15108 0 -1 4194304 386 3922 0 0 0 0 57 4 15 0 1 0 1013959540 2473984 277 4294967295 134512640 135169312 3217553360 3217549576 3085217518 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/24974/statm: 604 277 235 161 0 43 0
[pid=24980] ppid=24974 vsize=91948 CPUtime=281.73
/proc/24980/stat : 24980 (minisat_static) R 24974 24974 15108 0 -1 4202496 22566 0 0 0 28158 15 0 0 25 0 1 0 1013959601 94154752 22501 4294967295 134512640 135215339 3213388832 3213387120 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/24980/statm: 22987 22501 73 172 0 22814 0
Current children cumulated CPU time (s) 282.34
Current children cumulated vsize (KiB) 94364
[startup+342.316 s]
/proc/loadavg: 0.99 0.99 0.99 3/93 26108
/proc/meminfo: memFree=1377524/2074464 swapFree=1952056/1959888
[pid=24974] ppid=24972 vsize=2416 CPUtime=0.61
/proc/24974/stat : 24974 (SatELiteGTI) S 24972 24974 15108 0 -1 4194304 386 3922 0 0 0 0 57 4 15 0 1 0 1013959540 2473984 277 4294967295 134512640 135169312 3217553360 3217549576 3085217518 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/24974/statm: 604 277 235 161 0 43 0
[pid=24980] ppid=24974 vsize=94016 CPUtime=341.74
/proc/24980/stat : 24980 (minisat_static) R 24974 24974 15108 0 -1 4202496 23092 0 0 0 34158 16 0 0 25 0 1 0 1013959601 96272384 23027 4294967295 134512640 135215339 3213388832 3213387120 134528875 0 0 0 3 0 0 0 17 3 0 0 0
/proc/24980/statm: 23504 23027 73 172 0 23331 0
Current children cumulated CPU time (s) 342.35
Current children cumulated vsize (KiB) 96432
[startup+402.312 s]
################
# More data... #
################
/proc/24974/stat : 24974 (SatELiteGTI) S 24972 24974 15108 0 -1 4194304 386 3922 0 0 0 0 57 4 15 0 1 0 1013959540 2473984 277 4294967295 134512640 135169312 3217553360 3217549576 3085217518 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/24974/statm: 604 277 235 161 0 43 0
[pid=24980] ppid=24974 vsize=107884 CPUtime=521.75
/proc/24980/stat : 24980 (minisat_static) R 24974 24974 15108 0 -1 4202496 26521 0 0 0 52158 17 0 0 25 0 1 0 1013959601 110473216 26456 4294967295 134512640 135215339 3213388832 3213387120 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/24980/statm: 26971 26456 73 172 0 26798 0
Current children cumulated CPU time (s) 522.36
Current children cumulated vsize (KiB) 110300
[startup+582.318 s]
/proc/loadavg: 0.99 0.99 0.99 2/93 26865
/proc/meminfo: memFree=1363372/2074464 swapFree=1952056/1959888
[pid=24974] ppid=24972 vsize=2416 CPUtime=0.61
/proc/24974/stat : 24974 (SatELiteGTI) S 24972 24974 15108 0 -1 4194304 386 3922 0 0 0 0 57 4 15 0 1 0 1013959540 2473984 277 4294967295 134512640 135169312 3217553360 3217549576 3085217518 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/24974/statm: 604 277 235 161 0 43 0
[pid=24980] ppid=24974 vsize=108168 CPUtime=581.76
/proc/24980/stat : 24980 (minisat_static) R 24974 24974 15108 0 -1 4202496 26565 0 0 0 58159 17 0 0 25 0 1 0 1013959601 110764032 26500 4294967295 134512640 135215339 3213388832 3213386832 134532708 0 0 0 3 0 0 0 17 3 0 0 0
/proc/24980/statm: 27042 26500 73 172 0 26869 0
Current children cumulated CPU time (s) 582.37
Current children cumulated vsize (KiB) 110584
[startup+642.313 s]
/proc/loadavg: 0.99 0.99 0.99 3/93 27053
/proc/meminfo: memFree=1361652/2074464 swapFree=1952056/1959888
[pid=24974] ppid=24972 vsize=2416 CPUtime=0.61
/proc/24974/stat : 24974 (SatELiteGTI) S 24972 24974 15108 0 -1 4194304 386 3922 0 0 0 0 57 4 15 0 1 0 1013959540 2473984 277 4294967295 134512640 135169312 3217553360 3217549576 3085217518 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/24974/statm: 604 277 235 161 0 43 0
[pid=24980] ppid=24974 vsize=110072 CPUtime=641.76
/proc/24980/stat : 24980 (minisat_static) R 24974 24974 15108 0 -1 4202496 27005 0 0 0 64158 18 0 0 25 0 1 0 1013959601 112713728 26940 4294967295 134512640 135215339 3213388832 3213387120 134528821 0 0 0 3 0 0 0 17 3 0 0 0
/proc/24980/statm: 27518 26940 73 172 0 27345 0
Current children cumulated CPU time (s) 642.37
Current children cumulated vsize (KiB) 112488
[startup+702.319 s]
/proc/loadavg: 0.99 0.99 0.99 2/93 27241
/proc/meminfo: memFree=1360784/2074464 swapFree=1952056/1959888
[pid=24974] ppid=24972 vsize=2416 CPUtime=0.61
/proc/24974/stat : 24974 (SatELiteGTI) S 24972 24974 15108 0 -1 4194304 386 3922 0 0 0 0 57 4 15 0 1 0 1013959540 2473984 277 4294967295 134512640 135169312 3217553360 3217549576 3085217518 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/24974/statm: 604 277 235 161 0 43 0
[pid=24980] ppid=24974 vsize=110684 CPUtime=701.77
/proc/24980/stat : 24980 (minisat_static) R 24974 24974 15108 0 -1 4202496 27182 0 0 0 70155 22 0 0 25 0 1 0 1013959601 113340416 27117 4294967295 134512640 135215339 3213388832 3213387120 134528806 0 0 0 3 0 0 0 17 3 0 0 0
/proc/24980/statm: 27671 27117 73 172 0 27498 0
Current children cumulated CPU time (s) 702.38
Current children cumulated vsize (KiB) 113100
[startup+762.324 s]
/proc/loadavg: 0.99 0.99 0.99 2/93 27429
/proc/meminfo: memFree=1360428/2074464 swapFree=1952056/1959888
[pid=24974] ppid=24972 vsize=2416 CPUtime=0.61
/proc/24974/stat : 24974 (SatELiteGTI) S 24972 24974 15108 0 -1 4194304 386 3922 0 0 0 0 57 4 15 0 1 0 1013959540 2473984 277 4294967295 134512640 135169312 3217553360 3217549576 3085217518 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/24974/statm: 604 277 235 161 0 43 0
[pid=24980] ppid=24974 vsize=111224 CPUtime=761.78
/proc/24980/stat : 24980 (minisat_static) R 24974 24974 15108 0 -1 4202496 27263 0 0 0 76156 22 0 0 25 0 1 0 1013959601 113893376 27198 4294967295 134512640 135215339 3213388832 3213387120 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/24980/statm: 27806 27198 73 172 0 27633 0
Current children cumulated CPU time (s) 762.39
Current children cumulated vsize (KiB) 113640
[startup+822.32 s]
/proc/loadavg: 0.99 0.99 0.99 2/93 27623
/proc/meminfo: memFree=1360512/2074464 swapFree=1952056/1959888
[pid=24974] ppid=24972 vsize=2416 CPUtime=0.61
/proc/24974/stat : 24974 (SatELiteGTI) S 24972 24974 15108 0 -1 4194304 386 3922 0 0 0 0 57 4 15 0 1 0 1013959540 2473984 277 4294967295 134512640 135169312 3217553360 3217549576 3085217518 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/24974/statm: 604 277 235 161 0 43 0
[pid=24980] ppid=24974 vsize=111224 CPUtime=821.78
/proc/24980/stat : 24980 (minisat_static) R 24974 24974 15108 0 -1 4202496 27264 0 0 0 82156 22 0 0 25 0 1 0 1013959601 113893376 27199 4294967295 134512640 135215339 3213388832 3213387120 134528863 0 0 0 3 0 0 0 17 3 0 0 0
/proc/24980/statm: 27806 27199 73 172 0 27633 0
Current children cumulated CPU time (s) 822.39
Current children cumulated vsize (KiB) 113640
[startup+882.315 s]
/proc/loadavg: 0.99 0.99 0.99 2/93 27809
/proc/meminfo: memFree=1357064/2074464 swapFree=1952056/1959888
[pid=24974] ppid=24972 vsize=2416 CPUtime=0.61
/proc/24974/stat : 24974 (SatELiteGTI) S 24972 24974 15108 0 -1 4194304 386 3922 0 0 0 0 57 4 15 0 1 0 1013959540 2473984 277 4294967295 134512640 135169312 3217553360 3217549576 3085217518 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/24974/statm: 604 277 235 161 0 43 0
[pid=24980] ppid=24974 vsize=114856 CPUtime=881.78
/proc/24980/stat : 24980 (minisat_static) R 24974 24974 15108 0 -1 4202496 28169 0 0 0 88156 22 0 0 25 0 1 0 1013959601 117612544 28104 4294967295 134512640 135215339 3213388832 3213387120 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/24980/statm: 28714 28104 73 172 0 28541 0
Current children cumulated CPU time (s) 882.39
Current children cumulated vsize (KiB) 117272
[startup+942.32 s]
/proc/loadavg: 0.99 0.99 0.99 2/93 27997
/proc/meminfo: memFree=1355304/2074464 swapFree=1952056/1959888
[pid=24974] ppid=24972 vsize=2416 CPUtime=0.61
/proc/24974/stat : 24974 (SatELiteGTI) S 24972 24974 15108 0 -1 4194304 386 3922 0 0 0 0 57 4 15 0 1 0 1013959540 2473984 277 4294967295 134512640 135169312 3217553360 3217549576 3085217518 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/24974/statm: 604 277 235 161 0 43 0
[pid=24980] ppid=24974 vsize=116460 CPUtime=941.79
/proc/24980/stat : 24980 (minisat_static) R 24974 24974 15108 0 -1 4202496 28572 0 0 0 94154 25 0 0 25 0 1 0 1013959601 119255040 28507 4294967295 134512640 135215339 3213388832 3213387120 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/24980/statm: 29115 28507 73 172 0 28942 0
Current children cumulated CPU time (s) 942.4
Current children cumulated vsize (KiB) 118876
[startup+1002.32 s]
/proc/loadavg: 0.99 0.99 0.99 2/93 28185
/proc/meminfo: memFree=1355320/2074464 swapFree=1952056/1959888
[pid=24974] ppid=24972 vsize=2416 CPUtime=0.61
/proc/24974/stat : 24974 (SatELiteGTI) S 24972 24974 15108 0 -1 4194304 386 3922 0 0 0 0 57 4 15 0 1 0 1013959540 2473984 277 4294967295 134512640 135169312 3217553360 3217549576 3085217518 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/24974/statm: 604 277 235 161 0 43 0
[pid=24980] ppid=24974 vsize=116460 CPUtime=1001.79
/proc/24980/stat : 24980 (minisat_static) R 24974 24974 15108 0 -1 4202496 28572 0 0 0 100154 25 0 0 25 0 1 0 1013959601 119255040 28507 4294967295 134512640 135215339 3213388832 3213387120 134528802 0 0 0 3 0 0 0 17 3 0 0 0
/proc/24980/statm: 29115 28507 73 172 0 28942 0
Current children cumulated CPU time (s) 1002.4
Current children cumulated vsize (KiB) 118876
[startup+1062.31 s]
/proc/loadavg: 1.06 1.00 1.00 2/93 28373
/proc/meminfo: memFree=1355476/2074464 swapFree=1952056/1959888
[pid=24974] ppid=24972 vsize=2416 CPUtime=0.61
/proc/24974/stat : 24974 (SatELiteGTI) S 24972 24974 15108 0 -1 4194304 386 3922 0 0 0 0 57 4 15 0 1 0 1013959540 2473984 277 4294967295 134512640 135169312 3217553360 3217549576 3085217518 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/24974/statm: 604 277 235 161 0 43 0
[pid=24980] ppid=24974 vsize=116460 CPUtime=1061.79
/proc/24980/stat : 24980 (minisat_static) R 24974 24974 15108 0 -1 4202496 28573 0 0 0 106153 26 0 0 25 0 1 0 1013959601 119255040 28508 4294967295 134512640 135215339 3213388832 3213387120 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/24980/statm: 29115 28508 73 172 0 28942 0
Current children cumulated CPU time (s) 1062.4
Current children cumulated vsize (KiB) 118876
[startup+1122.32 s]
/proc/loadavg: 1.18 1.03 1.01 3/93 28562
/proc/meminfo: memFree=1355428/2074464 swapFree=1952056/1959888
[pid=24974] ppid=24972 vsize=2416 CPUtime=0.61
/proc/24974/stat : 24974 (SatELiteGTI) S 24972 24974 15108 0 -1 4194304 386 3922 0 0 0 0 57 4 15 0 1 0 1013959540 2473984 277 4294967295 134512640 135169312 3217553360 3217549576 3085217518 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/24974/statm: 604 277 235 161 0 43 0
[pid=24980] ppid=24974 vsize=116460 CPUtime=1121.8
/proc/24980/stat : 24980 (minisat_static) R 24974 24974 15108 0 -1 4202496 28574 0 0 0 112154 26 0 0 25 0 1 0 1013959601 119255040 28509 4294967295 134512640 135215339 3213388832 3213387120 134528788 0 0 0 3 0 0 0 17 3 0 0 0
/proc/24980/statm: 29115 28509 73 172 0 28942 0
Current children cumulated CPU time (s) 1122.41
Current children cumulated vsize (KiB) 118876
[startup+1182.31 s]
/proc/loadavg: 1.06 1.03 1.00 3/93 28752
/proc/meminfo: memFree=1355792/2074464 swapFree=1952056/1959888
[pid=24974] ppid=24972 vsize=2416 CPUtime=0.61
/proc/24974/stat : 24974 (SatELiteGTI) S 24972 24974 15108 0 -1 4194304 386 3922 0 0 0 0 57 4 15 0 1 0 1013959540 2473984 277 4294967295 134512640 135169312 3217553360 3217549576 3085217518 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/24974/statm: 604 277 235 161 0 43 0
[pid=24980] ppid=24974 vsize=116460 CPUtime=1181.8
/proc/24980/stat : 24980 (minisat_static) R 24974 24974 15108 0 -1 4202496 28577 0 0 0 118143 37 0 0 25 0 1 0 1013959601 119255040 28512 4294967295 134512640 135215339 3213388832 3213387120 134529133 0 0 0 3 0 0 0 17 3 0 0 0
/proc/24980/statm: 29115 28512 73 172 0 28942 0
Current children cumulated CPU time (s) 1182.41
Current children cumulated vsize (KiB) 118876
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1199.91 s]
/proc/loadavg: 1.05 1.02 1.00 3/93 28755
/proc/meminfo: memFree=1355888/2074464 swapFree=1952056/1959888
[pid=24974] ppid=24972 vsize=2416 CPUtime=0.61
/proc/24974/stat : 24974 (SatELiteGTI) S 24972 24974 15108 0 -1 4194304 386 3922 0 0 0 0 57 4 15 0 1 0 1013959540 2473984 277 4294967295 134512640 135169312 3217553360 3217549576 3085217518 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/24974/statm: 604 277 235 161 0 43 0
[pid=24980] ppid=24974 vsize=116460 CPUtime=1199.4
/proc/24980/stat : 24980 (minisat_static) R 24974 24974 15108 0 -1 4202496 28579 0 0 0 119903 37 0 0 25 0 1 0 1013959601 119255040 28514 4294967295 134512640 135215339 3213388832 3213387120 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/24980/statm: 29115 28514 73 172 0 28942 0
Current children cumulated CPU time (s) 1200.01
Current children cumulated vsize (KiB) 118876
Sending SIGTERM to process tree (bottom up)
SSolver just ended. Dumping a history of the last processes samples
[startup+1199.91 s]
/proc/loadavg: 1.05 1.02 1.00 3/93 28755
/proc/meminfo: memFree=1355888/2074464 swapFree=1952056/1959888
[pid=24974] ppid=24972 vsize=2416 CPUtime=0.61
/proc/24974/stat : 24974 (SatELiteGTI) S 24972 24974 15108 0 -1 4194304 386 3922 0 0 0 0 57 4 15 0 1 0 1013959540 2473984 277 4294967295 134512640 135169312 3217553360 3217549576 3085217518 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/24974/statm: 604 277 235 161 0 43 0
[pid=24980] ppid=24974 vsize=116460 CPUtime=1199.4
/proc/24980/stat : 24980 (minisat_static) R 24974 24974 15108 0 -1 4202496 28579 0 0 0 119903 37 0 0 25 0 1 0 1013959601 119255040 28514 4294967295 134512640 135215339 3213388832 3213387120 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/24980/statm: 29115 28514 73 172 0 28942 0
Current children cumulated CPU time (s) 1200.01
Current children cumulated vsize (KiB) 118876
Child status: 143
Real time (s): 1199.93
CPU time (s): 1200.02
CPU user time (s): 1199.6
CPU system time (s): 0.42
CPU usage (%): 100.008
Max. virtual memory (cumulated for all children) (KiB): 118876
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1199.6
system time used= 0.42
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 33162
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= 22
involuntary context switches= 733
runsolver used 0.01 second user time and 0.01 second system time
The end
Begin job on tipi24 at 2009-05-16 19:23:34
IDJOB=1820992
IDBENCH=70796
IDSOLVER=657
FILE ID=tipi24/1820992-1242494614
PBS_JOBID=
Free space on /tmp= 9984 MiB
SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT09/APPLICATIONS/bitverif/maxxororand/maxxororand032.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= runsolver --timestamp -w /tmp/evaluation-result-1820992-1242494614/watcher-1820992-1242494614 -o /tmp/evaluation-result-1820992-1242494614/solver-1820992-1242494614 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1820992-1242494614.cnf
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= fc00df719c8630009723cd295f7c0c3b
RANDOM SEED= 1590925432
Linux tipi24 2.6.18 #19 SMP Tue Jun 19 11:27:27 CEST 2007 i686 GNU/Linux
/proc/cpuinfo:
processor : 0
vendor_id : AuthenticAMD
cpu family : 15
model : 33
model name : Dual Core AMD Opteron(tm) Processor 265
stepping : 2
cpu MHz : 1808.461
cache size : 1024 KB
physical id : 0
siblings : 2
core id : 0
cpu cores : 2
fdiv_bug : no
hlt_bug : no
f00f_bug : no
coma_bug : no
fpu : yes
fpu_exception : yes
cpuid level : 1
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt lm 3dnowext 3dnow pni lahf_lm cmp_legacy ts fid vid ttp
bogomips : 3618.40
processor : 1
vendor_id : AuthenticAMD
cpu family : 15
model : 33
model name : Dual Core AMD Opteron(tm) Processor 265
stepping : 2
cpu MHz : 1808.461
cache size : 1024 KB
physical id : 0
siblings : 2
core id : 1
cpu cores : 2
fdiv_bug : no
hlt_bug : no
f00f_bug : no
coma_bug : no
fpu : yes
fpu_exception : yes
cpuid level : 1
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt lm 3dnowext 3dnow pni lahf_lm cmp_legacy ts fid vid ttp
bogomips : 3616.75
processor : 2
vendor_id : AuthenticAMD
cpu family : 15
model : 33
model name : Dual Core AMD Opteron(tm) Processor 265
stepping : 2
cpu MHz : 1808.461
cache size : 1024 KB
physical id : 1
siblings : 2
core id : 0
cpu cores : 2
fdiv_bug : no
hlt_bug : no
f00f_bug : no
coma_bug : no
fpu : yes
fpu_exception : yes
cpuid level : 1
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt lm 3dnowext 3dnow pni lahf_lm cmp_legacy ts fid vid ttp
bogomips : 3616.77
processor : 3
vendor_id : AuthenticAMD
cpu family : 15
model : 33
model name : Dual Core AMD Opteron(tm) Processor 265
stepping : 2
cpu MHz : 1808.461
cache size : 1024 KB
physical id : 1
siblings : 2
core id : 1
cpu cores : 2
fdiv_bug : no
hlt_bug : no
f00f_bug : no
coma_bug : no
fpu : yes
fpu_exception : yes
cpuid level : 1
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt lm 3dnowext 3dnow pni lahf_lm cmp_legacy ts fid vid ttp
bogomips : 3616.77
/proc/meminfo:
MemTotal: 2074464 kB
MemFree: 1473156 kB
Buffers: 26160 kB
Cached: 494140 kB
SwapCached: 3828 kB
Active: 71880 kB
Inactive: 457872 kB
HighTotal: 1178688 kB
HighFree: 765240 kB
LowTotal: 895776 kB
LowFree: 707916 kB
SwapTotal: 1959888 kB
SwapFree: 1952056 kB
Dirty: 2812 kB
Writeback: 0 kB
AnonPages: 8820 kB
Mapped: 3232 kB
Slab: 62632 kB
PageTables: 408 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 2997120 kB
Committed_AS: 87796 kB
VmallocTotal: 114680 kB
VmallocUsed: 1324 kB
VmallocChunk: 113264 kB
Free space on /tmp at the end= 9983 MiB
End job on tipi24 at 2009-05-16 19:43:34