0.00/0.00 c Parsing...
0.00/0.06 c ==============================================================================
0.00/0.06 c | | ORIGINAL | LEARNT | |
0.00/0.06 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress |
0.00/0.06 c ==============================================================================
0.00/0.06 c | 0 | 70701 164969 | 21210 0 0 nan | 0.000 % |
0.00/0.69 c | 0 | 35182 121457 | -- 0 -- -- | -- | -35497/-43459
0.00/0.69 c ==============================================================================
0.00/0.69 c Result : #vars: 6588 #clauses: 35182 #literals: 121457
0.00/0.69 c CPU time: 0.659899 s
0.00/0.69 c ==============================================================================
0.00/0.74 c This is MiniSat 2.0 beta
0.00/0.74 c WARNING: for repeatability, setting FPU to use double precision
0.00/0.74 c ============================[ Problem Statistics ]=============================
0.00/0.74 c | |
0.00/0.74 c | Number of variables: 6588 |
0.00/0.74 c | Number of clauses: 35182 |
0.00/0.76 c | Parsing time: 0.02 s |
0.00/0.76 c ============================[ Search Statistics ]==============================
0.00/0.76 c | Conflicts | ORIGINAL | LEARNT | Progress |
0.00/0.76 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
0.00/0.76 c ===============================================================================
0.00/0.76 c | 0 | 6588 35182 121457 | 11727 0 nan | 0.000 % |
0.00/0.77 c | 101 | 6588 35182 121457 | 11727 101 37 | 0.000 % |
0.00/0.78 c | 202 | 6588 35182 121457 | 11727 202 51 | 0.000 % |
0.00/0.80 c | 302 | 6588 35182 121457 | 11727 302 42 | 0.000 % |
0.72/0.81 c | 413 | 6588 35182 121457 | 11727 413 35 | 0.000 % |
0.72/0.83 c | 514 | 6588 35182 121457 | 11727 514 47 | 0.000 % |
0.72/0.84 c | 624 | 6587 35149 121389 | 11727 623 46 | 0.015 % |
0.72/0.86 c | 745 | 6587 35149 121389 | 11727 744 42 | 0.015 % |
0.72/0.88 c | 845 | 6587 35149 121389 | 11727 844 39 | 0.015 % |
0.72/0.90 c | 955 | 6587 35149 121389 | 11727 954 36 | 0.015 % |
0.72/0.92 c | 1076 | 6587 35149 121389 | 11727 1075 37 | 0.015 % |
0.72/0.94 c | 1209 | 6587 35149 121389 | 11727 1208 36 | 0.015 % |
0.72/0.95 c | 1309 | 6587 35149 121389 | 11727 1308 35 | 0.015 % |
0.72/0.97 c | 1420 | 6587 35149 121389 | 11727 1419 34 | 0.015 % |
0.72/0.98 c | 1542 | 6587 35149 121389 | 11727 1541 34 | 0.015 % |
0.98/1.00 c | 1676 | 6587 35149 121389 | 11727 1675 36 | 0.015 % |
0.98/1.03 c | 1822 | 6587 35149 121389 | 11727 1821 36 | 0.015 % |
0.98/1.04 c | 1922 | 6587 35149 121389 | 11727 1921 36 | 0.015 % |
0.98/1.06 c | 2035 | 6587 35149 121389 | 11727 2034 36 | 0.015 % |
0.98/1.07 c | 2156 | 6587 35149 121389 | 11727 2155 34 | 0.015 % |
0.98/1.09 c | 2289 | 6587 35149 121389 | 11727 2288 32 | 0.015 % |
1.07/1.11 c | 2435 | 6587 35149 121389 | 11727 2434 34 | 0.015 % |
1.07/1.14 c | 2596 | 6587 35149 121389 | 11727 2595 35 | 0.015 % |
1.07/1.16 c | 2697 | 6587 35149 121389 | 11727 2696 34 | 0.015 % |
1.07/1.18 c | 2808 | 6587 35149 121389 | 11727 2807 34 | 0.015 % |
1.07/1.19 c | 2929 | 6587 35149 121389 | 11727 2928 34 | 0.015 % |
1.17/1.21 c | 3063 | 6587 35149 121389 | 11727 3062 33 | 0.015 % |
1.17/1.23 c | 3210 | 6587 35149 121389 | 11727 3209 34 | 0.015 % |
1.17/1.26 c | 3371 | 6586 35117 121325 | 11727 3368 34 | 0.030 % |
1.17/1.29 c | 3549 | 6586 35117 121325 | 11727 3546 34 | 0.031 % |
1.27/1.30 c | 3649 | 6586 35117 121325 | 11727 3646 34 | 0.030 % |
1.27/1.31 c | 3759 | 6586 35117 121325 | 11727 3756 33 | 0.030 % |
1.27/1.33 c | 3880 | 6586 35117 121325 | 11727 3877 33 | 0.030 % |
1.27/1.34 c | 4014 | 6586 35117 121325 | 11727 4011 33 | 0.030 % |
1.27/1.37 c | 4160 | 6586 35117 121325 | 11727 4157 35 | 0.030 % |
1.27/1.40 c | 4320 | 6586 35117 121325 | 11727 4317 36 | 0.030 % |
1.37/1.43 c | 4496 | 6586 35117 121325 | 11727 4493 36 | 0.030 % |
1.37/1.47 c | 4689 | 6586 35117 121325 | 11727 4686 35 | 0.032 % |
1.37/1.49 c | 4789 | 6586 35117 121325 | 11727 4786 35 | 0.031 % |
1.47/1.51 c | 4901 | 6586 35117 121325 | 11727 4898 35 | 0.030 % |
1.47/1.54 c | 5023 | 6586 35117 121325 | 11727 5020 35 | 0.030 % |
1.47/1.57 c | 5157 | 6586 35117 121325 | 11727 5154 37 | 0.030 % |
1.47/1.59 c | 5304 | 6586 35117 121325 | 11727 5301 37 | 0.030 % |
1.57/1.63 c | 5465 | 6586 35117 121325 | 11727 5462 37 | 0.030 % |
1.57/1.65 c | 5641 | 6586 35117 121325 | 11727 5638 36 | 0.030 % |
1.67/1.70 c | 5837 | 6586 35117 121325 | 11727 5834 37 | 0.030 % |
1.67/1.75 c | 6049 | 6586 35117 121325 | 11727 6046 38 | 0.030 % |
1.67/1.76 c | 6149 | 6586 35117 121325 | 11727 6146 37 | 0.030 % |
1.67/1.78 c | 6259 | 6586 35117 121325 | 11727 6256 37 | 0.030 % |
1.77/1.80 c | 6380 | 6586 35117 121325 | 11727 6377 37 | 0.030 % |
1.77/1.83 c | 6513 | 6586 35117 121325 | 11727 6510 37 | 0.030 % |
1.77/1.86 c | 6659 | 6586 35117 121325 | 11727 6656 37 | 0.030 % |
1.77/1.88 c | 6822 | 6586 35117 121325 | 11727 6819 38 | 0.030 % |
1.87/1.91 c | 6999 | 6586 35117 121325 | 11727 6996 38 | 0.030 % |
1.87/1.95 c | 7193 | 6586 35117 121325 | 11727 7190 41 | 0.030 % |
1.87/1.99 c | 7405 | 6586 35117 121325 | 11727 7402 43 | 0.030 % |
1.96/2.06 c | 7640 | 6586 35117 121325 | 11727 7637 45 | 0.030 % |
1.96/2.09 c | 7740 | 6586 35117 121325 | 11727 7737 45 | 0.030 % |
2.07/2.11 c | 7852 | 6586 35117 121325 | 11727 7849 45 | 0.030 % |
2.07/2.13 c | 7973 | 6586 35117 121325 | 11727 7970 45 | 0.030 % |
2.07/2.16 c | 8106 | 6586 35117 121325 | 11727 8103 46 | 0.032 % |
2.07/2.19 c | 8252 | 6586 35117 121325 | 11727 8249 45 | 0.030 % |
2.17/2.21 c | 8412 | 6586 35117 121325 | 11727 8409 45 | 0.030 % |
2.17/2.24 c | 8589 | 6586 35117 121325 | 11727 8586 46 | 0.030 % |
2.17/2.29 c | 8782 | 6586 35117 121325 | 11727 8779 45 | 0.030 % |
2.26/2.32 c | 8995 | 6586 35117 121325 | 11727 8992 46 | 0.030 % |
2.26/2.36 c | 9228 | 6586 35117 121325 | 11727 9225 48 | 0.030 % |
2.36/2.42 c | 9484 | 6586 35117 121325 | 11727 9481 47 | 0.030 % |
2.36/2.44 c | 9586 | 6586 35117 121325 | 11727 9583 47 | 0.030 % |
2.36/2.46 c | 9697 | 6586 35117 121325 | 11727 9694 47 | 0.030 % |
2.36/2.48 c | 9818 | 6586 35117 121325 | 11727 9815 47 | 0.030 % |
2.46/2.51 c | 9951 | 6586 35117 121325 | 11727 9948 47 | 0.030 % |
2.46/2.54 c | 10097 | 6586 35117 121325 | 2147483647 10094 47 | 0.030 % |
2.46/2.57 c | 10257 | 6586 35117 121325 | 2147483647 10254 47 | 0.030 % |
2.56/2.60 c | 10433 | 6586 35117 121325 | 2147483647 10430 46 | 0.030 % |
2.56/2.65 c | 10626 | 6586 35117 121325 | 2147483647 10623 46 | 0.030 % |
2.66/2.70 c | 10838 | 6586 35117 121325 | 2147483647 10835 46 | 0.030 % |
2.66/2.75 c | 11071 | 6586 35117 121325 | 2147483647 11068 45 | 0.030 % |
2.77/2.80 c | 11329 | 6586 35117 121325 | 2147483647 11326 45 | 0.030 % |
2.77/2.85 c | 11614 | 6586 35117 121325 | 2147483647 11611 47 | 0.030 % |
2.77/2.89 c | 11715 | 6586 35117 121325 | 2147483647 11712 47 | 0.030 % |
2.87/2.91 c | 11826 | 6586 35117 121325 | 2147483647 11823 48 | 0.030 % |
2.87/2.96 c | 11948 | 6586 35117 121325 | 2147483647 11945 48 | 0.030 % |
2.97/3.01 c | 12081 | 6586 35117 121325 | 2147483647 12078 49 | 0.030 % |
2.97/3.05 c | 12228 | 6586 35117 121325 | 2147483647 12225 49 | 0.030 % |
3.07/3.11 c | 12388 | 6586 35117 121325 | 2147483647 12385 49 | 0.030 % |
3.07/3.14 c | 12564 | 6586 35117 121325 | 2147483647 12561 49 | 0.030 % |
3.07/3.18 c | 12757 | 6586 35117 121325 | 2147483647 12754 49 | 0.030 % |
3.17/3.24 c | 12969 | 6586 35117 121325 | 2147483647 12966 49 | 0.030 % |
3.17/3.29 c | 13202 | 6586 35117 121325 | 2147483647 13199 49 | 0.030 % |
3.27/3.39 c | 13458 | 6586 35117 121325 | 2147483647 13455 49 | 0.030 % |
3.37/3.46 c | 13739 | 6586 35117 121325 | 2147483647 13736 50 | 0.030 % |
3.47/3.53 c | 14049 | 6586 35117 121325 | 2147483647 14046 50 | 0.030 % |
3.47/3.56 c | 14150 | 6586 35117 121325 | 2147483647 14147 50 | 0.030 % |
3.47/3.59 c | 14260 | 6586 35117 121325 | 2147483647 14257 50 | 0.030 % |
3.57/3.61 c | 14383 | 6586 35117 121325 | 2147483647 14380 50 | 0.030 % |
3.57/3.65 c | 14516 | 6586 35117 121325 | 2147483647 14513 50 | 0.030 % |
3.57/3.69 c | 14663 | 6586 35117 121325 | 2147483647 14660 50 | 0.030 % |
3.67/3.72 c | 14823 | 6586 35117 121325 | 2147483647 14820 50 | 0.030 % |
3.67/3.78 c | 14999 | 6586 35117 121325 | 2147483647 14996 50 | 0.030 % |
3.77/3.83 c | 15193 | 6586 35117 121325 | 2147483647 15190 51 | 0.030 % |
3.77/3.89 c | 15407 | 6586 35117 121325 | 2147483647 15404 51 | 0.031 % |
3.87/3.95 c | 15640 | 6586 35117 121325 | 2147483647 15637 53 | 0.030 % |
3.96/4.03 c | 15897 | 6586 35117 121325 | 2147483647 15894 54 | 0.030 % |
4.06/4.15 c | 16179 | 6586 35117 121325 | 2147483647 16176 55 | 0.030 % |
4.16/4.26 c | 16489 | 6586 35117 121325 | 2147483647 16486 56 | 0.030 % |
4.27/4.38 c | 16828 | 6586 35117 121325 | 2147483647 16825 57 | 0.030 % |
4.27/4.40 c | 16928 | 6586 35117 121325 | 2147483647 16925 58 | 0.030 % |
4.37/4.44 c | 17040 | 6586 35117 121325 | 2147483647 17037 58 | 0.030 % |
4.37/4.48 c | 17161 | 6586 35117 121325 | 2147483647 17158 58 | 0.030 % |
4.46/4.53 c | 17295 | 6586 35117 121325 | 2147483647 17292 59 | 0.030 % |
4.46/4.59 c | 17441 | 6586 35117 121325 | 2147483647 17438 60 | 0.030 % |
4.56/4.62 c | 17601 | 6586 35117 121325 | 2147483647 17598 60 | 0.030 % |
4.56/4.68 c | 17777 | 6586 35117 121325 | 2147483647 17774 60 | 0.030 % |
4.66/4.73 c | 17970 | 6586 35117 121325 | 2147483647 17967 60 | 0.031 % |
4.66/4.79 c | 18182 | 6586 35117 121325 | 2147483647 18179 60 | 0.030 % |
4.76/4.86 c | 18416 | 6586 35117 121325 | 2147483647 18413 60 | 0.030 % |
4.86/4.95 c | 18673 | 6586 35117 121325 | 2147483647 18670 60 | 0.030 % |
4.96/5.02 c | 18954 | 6586 35117 121325 | 2147483647 18951 60 | 0.030 % |
4.96/5.09 c | 19263 | 6586 35117 121325 | 2147483647 19260 60 | 0.030 % |
5.06/5.15 c | 19602 | 6586 35117 121325 | 2147483647 19599 60 | 0.030 % |
5.16/5.29 c | 19974 | 6586 35117 121325 | 2147483647 19971 60 | 0.031 % |
5.26/5.32 c | 20074 | 6586 35117 121325 | 2147483647 20071 60 | 0.030 % |
5.26/5.35 c | 20186 | 6586 35117 121325 | 2147483647 20183 60 | 0.030 % |
5.26/5.40 c | 20308 | 6586 35117 121325 | 2147483647 20305 60 | 0.030 % |
5.36/5.44 c | 20441 | 6586 35117 121325 | 2147483647 20438 61 | 0.030 % |
5.36/5.48 c | 20588 | 6586 35117 121325 | 2147483647 20585 60 | 0.030 % |
5.46/5.53 c | 20748 | 6586 35117 121325 | 2147483647 20745 60 | 0.030 % |
5.46/5.57 c | 20924 | 6586 35117 121325 | 2147483647 20921 60 | 0.030 % |
5.56/5.64 c | 21117 | 6586 35117 121325 | 2147483647 21114 60 | 0.030 % |
5.56/5.70 c | 21329 | 6586 35117 121325 | 2147483647 21326 59 | 0.030 % |
5.66/5.75 c | 21562 | 6586 35117 121325 | 2147483647 21559 59 | 0.030 % |
5.75/5.82 c | 21819 | 6586 35117 121325 | 2147483647 21816 59 | 0.030 % |
5.85/5.90 c | 22100 | 6586 35117 121325 | 2147483647 22097 59 | 0.031 % |
5.85/5.98 c | 22409 | 6586 35117 121325 | 2147483647 22406 59 | 0.030 % |
5.96/6.09 c | 22751 | 6586 35117 121325 | 2147483647 22748 59 | 0.031 % |
6.06/6.19 c | 23123 | 6586 35117 121325 | 2147483647 23120 59 | 0.030 % |
6.26/6.31 c | 23532 | 6586 35117 121325 | 2147483647 23529 58 | 0.030 % |
6.26/6.34 c | 23632 | 6586 35117 121325 | 2147483647 23629 58 | 0.030 % |
6.26/6.37 c | 23742 | 6586 35117 121325 | 2147483647 23739 58 | 0.030 % |
6.36/6.40 c | 23863 | 6586 35117 121325 | 2147483647 23860 58 | 0.030 % |
6.36/6.43 c | 23996 | 6586 35117 121325 | 2147483647 23993 58 | 0.030 % |
6.36/6.47 c | 24142 | 6586 35117 121325 | 2147483647 24139 58 | 0.030 % |
6.46/6.52 c | 24302 | 6586 35117 121325 | 2147483647 24299 58 | 0.030 % |
6.46/6.58 c | 24478 | 6586 35117 121325 | 2147483647 24475 58 | 0.030 % |
6.56/6.65 c | 24671 | 6586 35117 121325 | 2147483647 24668 58 | 0.030 % |
6.66/6.74 c | 24883 | 6586 35117 121325 | 2147483647 24880 59 | 0.030 % |
6.76/6.81 c | 25116 | 6586 35117 121325 | 2147483647 25113 58 | 0.030 % |
6.86/6.92 c | 25372 | 6586 35117 121325 | 2147483647 25369 59 | 0.030 % |
6.96/7.03 c | 25653 | 6586 35117 121325 | 2147483647 25650 60 | 0.030 % |
7.06/7.14 c | 25962 | 6586 35117 121325 | 2147483647 25959 61 | 0.030 % |
7.16/7.26 c | 26301 | 6586 35117 121325 | 2147483647 26298 62 | 0.030 % |
7.26/7.39 c | 26675 | 6586 35117 121325 | 2147483647 26672 62 | 0.030 % |
7.45/7.54 c | 27085 | 6586 35117 121325 | 2147483647 27082 62 | 0.030 % |
7.66/7.70 c | 27535 | 6586 35117 121325 | 2147483647 27532 65 | 0.030 % |
7.66/7.75 c | 27635 | 6586 35117 121325 | 2147483647 27632 65 | 0.030 % |
7.75/7.83 c | 27745 | 6586 35117 121325 | 2147483647 27742 65 | 0.030 % |
7.75/7.87 c | 27867 | 6586 35117 121325 | 2147483647 27864 65 | 0.030 % |
7.85/7.91 c | 28003 | 6586 35117 121325 | 2147483647 28000 66 | 0.030 % |
7.85/7.94 c | 28149 | 6586 35117 121325 | 2147483647 28146 66 | 0.030 % |
7.95/8.01 c | 28309 | 6586 35117 121325 | 2147483647 28306 67 | 0.030 % |
7.95/8.09 c | 28485 | 6586 35117 121325 | 2147483647 28482 67 | 0.030 % |
8.05/8.19 c | 28684 | 6586 35117 121325 | 2147483647 28681 68 | 0.030 % |
8.15/8.27 c | 28897 | 6586 35117 121325 | 2147483647 28894 69 | 0.030 % |
8.25/8.38 c | 29132 | 6586 35117 121325 | 2147483647 29129 70 | 0.030 % |
8.35/8.48 c | 29388 | 6586 35117 121325 | 2147483647 29385 71 | 0.030 % |
8.46/8.57 c | 29669 | 6586 35117 121325 | 2147483647 29666 70 | 0.030 % |
8.56/8.67 c | 29978 | 6586 35117 121325 | 2147483647 29975 70 | 0.030 % |
8.66/8.79 c | 30317 | 6586 35117 121325 | 2147483647 30314 71 | 0.030 % |
8.86/8.91 c | 30690 | 6586 35117 121325 | 2147483647 30687 71 | 0.030 % |
8.96/9.04 c | 31100 | 6586 35117 121325 | 2147483647 31097 71 | 0.031 % |
9.06/9.19 c | 31549 | 6586 35117 121325 | 2147483647 31546 71 | 0.030 % |
9.26/9.39 c | 32044 | 6586 35117 121325 | 2147483647 32041 71 | 0.030 % |
9.36/9.43 c | 32145 | 6586 35117 121325 | 2147483647 32142 70 | 0.030 % |
9.36/9.48 c | 32255 | 6586 35117 121325 | 2147483647 32252 70 | 0.030 % |
9.46/9.54 c | 32377 | 6586 35117 121325 | 2147483647 32374 70 | 0.030 % |
9.56/9.60 c | 32510 | 6586 35117 121325 | 2147483647 32507 70 | 0.030 % |
9.56/9.66 c | 32656 | 6586 35117 121325 | 2147483647 32653 70 | 0.030 % |
9.66/9.74 c | 32816 | 6586 35117 121325 | 2147483647 32813 70 | 0.030 % |
9.76/9.83 c | 32992 | 6586 35117 121325 | 2147483647 32989 70 | 0.030 % |
9.76/9.90 c | 33185 | 6586 35117 121325 | 2147483647 33182 71 | 0.030 % |
9.95/10.00 c | 33398 | 6586 35117 121325 | 2147483647 33395 71 | 0.030 % |
10.05/10.15 c | 33632 | 6586 35117 121325 | 2147483647 33629 72 | 0.030 % |
10.15/10.24 c | 33891 | 6586 35117 121325 | 2147483647 33888 73 | 0.030 % |
10.25/10.36 c | 34178 | 6586 35117 121325 | 2147483647 34175 74 | 0.030 % |
10.45/10.51 c | 34488 | 6586 35117 121325 | 2147483647 34485 74 | 0.030 % |
10.55/10.65 c | 34828 | 6586 35117 121325 | 2147483647 34825 75 | 0.030 % |
10.75/10.82 c | 35200 | 6586 35117 121325 | 2147483647 35197 75 | 0.030 % |
10.85/10.99 c | 35609 | 6586 35117 121325 | 2147483647 35606 76 | 0.030 % |
11.05/11.16 c | 36062 | 6586 35117 121325 | 2147483647 36059 77 | 0.030 % |
11.25/11.37 c | 36556 | 6586 35117 121325 | 2147483647 36553 78 | 0.030 % |
11.65/11.74 c | 37100 | 6586 35117 121325 | 2147483647 37097 79 | 0.030 % |
11.65/11.79 c | 37202 | 6586 35117 121325 | 2147483647 37199 79 | 0.030 % |
11.75/11.83 c | 37312 | 6586 35117 121325 | 2147483647 37309 80 | 0.030 % |
11.75/11.88 c | 37434 | 6586 35117 121325 | 2147483647 37431 80 | 0.030 % |
11.85/11.93 c | 37567 | 6586 35117 121325 | 2147483647 37564 81 | 0.030 % |
11.85/12.00 c | 37714 | 6586 35117 121325 | 2147483647 37711 81 | 0.030 % |
12.05/12.13 c | 37874 | 6586 35117 121325 | 2147483647 37871 82 | 0.030 % |
12.15/12.20 c | 38052 | 6586 35117 121325 | 2147483647 38049 82 | 0.030 % |
12.25/12.30 c | 38246 | 6586 35117 121325 | 2147483647 38243 83 | 0.030 % |
12.35/12.42 c | 38458 | 6586 35117 121325 | 2147483647 38455 84 | 0.030 % |
12.45/12.56 c | 38691 | 6586 35117 121325 | 2147483647 38688 84 | 0.030 % |
12.75/12.85 c | 38949 | 6586 35117 121325 | 2147483647 38946 85 | 0.030 % |
12.94/13.00 c | 39230 | 6586 35117 121325 | 2147483647 39227 86 | 0.030 % |
13.05/13.20 c | 39539 | 6586 35117 121325 | 2147483647 39536 86 | 0.030 % |
13.35/13.46 c | 39878 | 6586 35117 121325 | 2147483647 39875 87 | 0.030 % |
13.55/13.68 c | 40253 | 6586 35117 121325 | 2147483647 40250 88 | 0.030 % |
13.85/13.92 c | 40662 | 6586 35117 121325 | 2147483647 40659 89 | 0.030 % |
14.05/14.16 c | 41111 | 6586 35117 121325 | 2147483647 41108 89 | 0.030 % |
14.35/14.41 c | 41604 | 6586 35117 121325 | 2147483647 41601 90 | 0.030 % |
14.54/14.65 c | 42149 | 6586 35117 121325 | 2147483647 42146 90 | 0.030 % |
14.84/14.90 c | 42745 | 6586 35117 121325 | 2147483647 42742 90 | 0.030 % |
14.84/14.98 c | 42845 | 6586 35117 121325 | 2147483647 42842 90 | 0.030 % |
14.94/15.05 c | 42955 | 6586 35117 121325 | 2147483647 42952 90 | 0.030 % |
15.04/15.16 c | 43078 | 6586 35117 121325 | 2147483647 43075 91 | 0.030 % |
15.14/15.27 c | 43223 | 6586 35117 121325 | 2147483647 43220 91 | 0.030 % |
15.25/15.38 c | 43370 | 6586 35117 121325 | 2147483647 43367 91 | 0.030 % |
15.44/15.50 c | 43538 | 6586 35117 121325 | 2147483647 43535 91 | 0.030 % |
15.54/15.60 c | 43714 | 6586 35117 121325 | 2147483647 43711 92 | 0.030 % |
15.64/15.72 c | 43907 | 6586 35117 121325 | 2147483647 43904 92 | 0.030 % |
15.74/15.85 c | 44119 | 6586 35117 121325 | 2147483647 44116 92 | 0.030 % |
15.84/15.98 c | 44353 | 6586 35117 121325 | 2147483647 44350 92 | 0.030 % |
15.94/16.07 c | 44609 | 6586 35117 121325 | 2147483647 44606 93 | 0.030 % |
16.14/16.23 c | 44890 | 6586 35117 121325 | 2147483647 44887 93 | 0.030 % |
16.35/16.43 c | 45199 | 6586 35117 121325 | 2147483647 45196 93 | 0.030 % |
16.55/16.65 c | 45538 | 6586 35117 121325 | 2147483647 45535 94 | 0.030 % |
16.85/16.91 c | 45910 | 6586 35117 121325 | 2147483647 45907 94 | 0.030 % |
17.05/17.17 c | 46319 | 6586 35117 121325 | 2147483647 46316 94 | 0.030 % |
17.35/17.46 c | 46768 | 6586 35117 121325 | 2147483647 46765 94 | 0.030 % |
17.55/17.67 c | 47261 | 6586 35117 121325 | 2147483647 47258 94 | 0.030 % |
17.75/17.85 c | 47804 | 6586 35117 121325 | 2147483647 47801 93 | 0.030 % |
18.15/18.22 c | 48400 | 6586 35117 121325 | 2147483647 48397 93 | 0.030 % |
18.34/18.42 c | 49056 | 6586 35117 121325 | 2147483647 49053 92 | 0.032 % |
18.34/18.48 c | 49156 | 6586 35117 121325 | 2147483647 49153 92 | 0.030 % |
18.44/18.55 c | 49266 | 6586 35117 121325 | 2147483647 49263 92 | 0.030 % |
18.55/18.62 c | 49387 | 6586 35117 121325 | 2147483647 49384 92 | 0.030 % |
18.55/18.70 c | 49521 | 6586 35117 121325 | 2147483647 49518 92 | 0.030 % |
18.74/18.82 c | 49668 | 6586 35117 121325 | 2147483647 49665 93 | 0.030 % |
18.84/18.95 c | 49835 | 6586 35117 121325 | 2147483647 49832 93 | 0.030 % |
18.94/19.08 c | 50014 | 6586 35117 121325 | 2147483647 50011 93 | 0.030 % |
19.04/19.15 c | 50210 | 6586 35117 121325 | 2147483647 50207 93 | 0.030 % |
19.14/19.28 c | 50422 | 6586 35117 121325 | 2147483647 50419 93 | 0.030 % |
19.25/19.39 c | 50656 | 6586 35117 121325 | 2147483647 50653 93 | 0.030 % |
19.45/19.55 c | 50912 | 6586 35117 121325 | 2147483647 50909 93 | 0.030 % |
19.55/19.70 c | 51194 | 6586 35117 121325 | 2147483647 51191 93 | 0.030 % |
19.75/19.85 c | 51503 | 6586 35117 121325 | 2147483647 51500 93 | 0.030 % |
20.05/20.14 c | 51844 | 6586 35117 121325 | 2147483647 51841 94 | 0.030 % |
20.34/20.45 c | 52216 | 6586 35117 121325 | 2147483647 52213 94 | 0.030 % |
20.64/20.75 c | 52625 | 6586 35117 121325 | 2147483647 52622 95 | 0.030 % |
20.94/21.05 c | 53078 | 6586 35117 121325 | 2147483647 53075 95 | 0.030 % |
21.24/21.36 c | 53574 | 6586 35117 121325 | 2147483647 53571 95 | 0.030 % |
21.54/21.64 c | 54116 | 6586 35117 121325 | 2147483647 54113 94 | 0.030 % |
21.85/21.91 c | 54714 | 6586 35117 121325 | 2147483647 54711 94 | 0.032 % |
22.14/22.28 c | 55369 | 6586 35117 121325 | 2147483647 55366 94 | 0.030 % |
22.54/22.63 c | 56089 | 6586 35117 121325 | 2147483647 56086 94 | 0.030 % |
22.54/22.68 c | 56189 | 6586 35117 121325 | 2147483647 56186 94 | 0.030 % |
22.64/22.77 c | 56299 | 6586 35117 121325 | 2147483647 56296 94 | 0.030 % |
22.74/22.86 c | 56420 | 6586 35117 121325 | 2147483647 56417 94 | 0.030 % |
22.84/22.96 c | 56554 | 6586 35117 121325 | 2147483647 56551 94 | 0.030 % |
23.05/23.11 c | 56700 | 6586 35117 121325 | 2147483647 56697 94 | 0.030 % |
23.14/23.22 c | 56862 | 6586 35117 121325 | 2147483647 56859 94 | 0.030 % |
23.24/23.32 c | 57038 | 6586 35117 121325 | 2147483647 57035 94 | 0.030 % |
23.34/23.48 c | 57232 | 6586 35117 121325 | 2147483647 57229 95 | 0.030 % |
23.44/23.60 c | 57444 | 6586 35117 121325 | 2147483647 57441 95 | 0.030 % |
23.64/23.76 c | 57678 | 6586 35117 121325 | 2147483647 57675 95 | 0.030 % |
23.84/23.98 c | 57934 | 6586 35117 121325 | 2147483647 57931 95 | 0.030 % |
24.14/24.22 c | 58218 | 6586 35117 121325 | 2147483647 58215 95 | 0.030 % |
24.34/24.47 c | 58527 | 6586 35117 121325 | 2147483647 58524 96 | 0.030 % |
24.64/24.75 c | 58867 | 6586 35117 121325 | 2147483647 58864 96 | 0.030 % |
24.84/24.99 c | 59239 | 6586 35117 121325 | 2147483647 59236 96 | 0.030 % |
25.14/25.26 c | 59650 | 6586 35117 121325 | 2147483647 59647 96 | 0.030 % |
25.44/25.54 c | 60099 | 6586 35117 121325 | 2147483647 60096 96 | 0.030 % |
25.74/25.81 c | 60593 | 6586 35117 121325 | 2147483647 60590 96 | 0.030 % |
25.95/26.05 c | 61136 | 6586 35117 121325 | 2147483647 61133 96 | 0.030 % |
26.25/26.35 c | 61732 | 6586 35117 121325 | 2147483647 61729 97 | 0.030 % |
26.65/26.73 c | 62387 | 6586 35117 121325 | 2147483647 62384 97 | 0.030 % |
26.95/27.05 c | 63107 | 6586 35117 121325 | 2147483647 63104 97 | 0.030 % |
27.24/27.34 c | 63899 | 6586 35117 121325 | 2147483647 63896 97 | 0.030 % |
27.24/27.40 c | 64001 | 6586 35117 121325 | 2147483647 63998 96 | 0.030 % |
27.35/27.48 c | 64111 | 6586 35117 121325 | 2147483647 64108 96 | 0.030 % |
27.45/27.54 c | 64234 | 6586 35117 121325 | 2147483647 64231 96 | 0.030 % |
27.54/27.66 c | 64368 | 6586 35117 121325 | 2147483647 64365 96 | 0.030 % |
27.64/27.77 c | 64514 | 6586 35117 121325 | 2147483647 64511 96 | 0.030 % |
27.84/27.98 c | 64674 | 6586 35117 121325 | 2147483647 64671 96 | 0.030 % |
28.04/28.14 c | 64855 | 6586 35117 121325 | 2147483647 64852 96 | 0.030 % |
28.14/28.28 c | 65050 | 6586 35117 121325 | 2147483647 65047 97 | 0.030 % |
28.34/28.48 c | 65263 | 6586 35117 121325 | 2147483647 65260 97 | 0.030 % |
28.64/28.73 c | 65498 | 6586 35117 121325 | 2147483647 65495 97 | 0.030 % |
28.84/28.95 c | 65754 | 6586 35117 121325 | 2147483647 65751 97 | 0.030 % |
29.14/29.22 c | 66036 | 6586 35117 121325 | 2147483647 66033 97 | 0.030 % |
29.44/29.52 c | 66345 | 6586 35117 121325 | 2147483647 66342 97 | 0.030 % |
29.74/29.89 c | 66687 | 6586 35117 121325 | 2147483647 66684 98 | 0.030 % |
30.04/30.12 c | 67060 | 6586 35117 121325 | 2147483647 67057 98 | 0.030 % |
30.14/30.27 c | 67469 | 6586 35117 121325 | 2147483647 67466 97 | 0.031 % |
30.44/30.56 c | 67918 | 6586 35117 121325 | 2147483647 67915 97 | 0.030 % |
30.74/30.83 c | 68411 | 6586 35117 121325 | 2147483647 68408 97 | 0.030 % |
31.03/31.12 c | 68953 | 6586 35117 121325 | 2147483647 68950 97 | 0.030 % |
31.33/31.48 c | 69549 | 6586 35117 121325 | 2147483647 69546 97 | 0.030 % |
31.63/31.78 c | 70206 | 6586 35117 121325 | 2147483647 70203 97 | 0.030 % |
31.93/32.09 c | 70927 | 6586 35117 121325 | 2147483647 70924 96 | 0.030 % |
32.54/32.69 c | 71723 | 6586 35117 121325 | 2147483647 71720 96 | 0.030 % |
33.34/33.43 c | 72594 | 6586 35117 121325 | 2147483647 72591 97 | 0.030 % |
33.44/33.52 c | 72695 | 6586 35117 121325 | 2147483647 72692 97 | 0.030 % |
33.54/33.64 c | 72807 | 6586 35117 121325 | 2147483647 72804 97 | 0.030 % |
33.64/33.75 c | 72941 | 6586 35117 121325 | 2147483647 72938 97 | 0.030 % |
33.74/33.86 c | 73085 | 6586 35117 121325 | 2147483647 73082 97 | 0.030 % |
33.84/33.99 c | 73231 | 6586 35117 121325 | 2147483647 73228 97 | 0.030 % |
33.94/34.10 c | 73391 | 6586 35117 121325 | 2147483647 73388 98 | 0.030 % |
34.13/34.22 c | 73570 | 6586 35117 121325 | 2147483647 73567 98 | 0.030 % |
34.33/34.48 c | 73764 | 6586 35117 121325 | 2147483647 73761 98 | 0.030 % |
34.53/34.67 c | 73976 | 6586 35117 121325 | 2147483647 73973 98 | 0.030 % |
34.83/34.94 c | 74212 | 6586 35117 121325 | 2147483647 74209 98 | 0.030 % |
35.13/35.24 c | 74468 | 6586 35117 121325 | 2147483647 74465 99 | 0.030 % |
35.33/35.49 c | 74750 | 6586 35117 121325 | 2147483647 74747 99 | 0.030 % |
35.53/35.67 c | 75060 | 6586 35117 121325 | 2147483647 75057 99 | 0.030 % |
35.83/35.91 c | 75399 | 6586 35117 121325 | 2147483647 75396 100 | 0.030 % |
36.13/36.24 c | 75772 | 6586 35117 121325 | 2147483647 75769 100 | 0.030 % |
36.42/36.53 c | 76181 | 6586 35117 121325 | 2147483647 76178 101 | 0.030 % |
36.82/36.99 c | 76632 | 6586 35117 121325 | 2147483647 76629 102 | 0.030 % |
37.34/37.47 c | 77125 | 6586 35117 121325 | 2147483647 77122 102 | 0.030 % |
37.83/37.92 c | 77667 | 6586 35117 121325 | 2147483647 77664 103 | 0.031 % |
38.43/38.52 c | 78264 | 6586 35117 121325 | 2147483647 78261 104 | 0.030 % |
39.13/39.20 c | 78920 | 6586 35117 121325 | 2147483647 78917 105 | 0.030 % |
39.63/39.75 c | 79640 | 6586 35117 121325 | 2147483647 79637 105 | 0.030 % |
40.12/40.29 c | 80432 | 6586 35117 121325 | 2147483647 80429 106 | 0.030 % |
40.82/40.98 c | 81304 | 6586 35117 121325 | 2147483647 81301 106 | 0.030 % |
41.53/41.67 c | 82262 | 6586 35117 121325 | 2147483647 82259 107 | 0.030 % |
41.63/41.77 c | 82362 | 6586 35117 121325 | 2147483647 82359 107 | 0.030 % |
41.73/41.89 c | 82472 | 6586 35117 121325 | 2147483647 82469 107 | 0.030 % |
41.83/41.98 c | 82597 | 6586 35117 121325 | 2147483647 82594 107 | 0.030 % |
42.03/42.10 c | 82730 | 6586 35117 121325 | 2147483647 82727 107 | 0.030 % |
42.13/42.20 c | 82876 | 6586 35117 121325 | 2147483647 82873 108 | 0.030 % |
42.23/42.33 c | 83038 | 6586 35117 121325 | 2147483647 83035 108 | 0.030 % |
42.43/42.57 c | 83218 | 6586 35117 121325 | 2147483647 83215 108 | 0.030 % |
42.63/42.73 c | 83412 | 6586 35117 121325 | 2147483647 83409 108 | 0.030 % |
42.83/42.93 c | 83626 | 6586 35117 121325 | 2147483647 83623 108 | 0.030 % |
43.02/43.13 c | 83859 | 6586 35117 121325 | 2147483647 83856 109 | 0.030 % |
43.22/43.35 c | 84116 | 6586 35117 121325 | 2147483647 84113 109 | 0.030 % |
43.52/43.64 c | 84400 | 6586 35117 121325 | 2147483647 84397 109 | 0.030 % |
43.93/44.03 c | 84711 | 6586 35117 121325 | 2147483647 84708 109 | 0.030 % |
44.22/44.34 c | 85052 | 6586 35117 121325 | 2147483647 85049 110 | 0.030 % |
44.72/44.81 c | 85424 | 6586 35117 121325 | 2147483647 85421 110 | 0.030 % |
45.12/45.24 c | 85834 | 6586 35117 121325 | 2147483647 85831 110 | 0.030 % |
45.61/45.77 c | 86284 | 6586 35117 121325 | 2147483647 86281 110 | 0.030 % |
46.02/46.14 c | 86778 | 6586 35117 121325 | 2147483647 86775 110 | 0.030 % |
46.51/46.63 c | 87322 | 6586 35117 121325 | 2147483647 87319 110 | 0.030 % |
47.01/47.11 c | 87918 | 6586 35117 121325 | 2147483647 87915 110 | 0.030 % |
47.61/47.70 c | 88573 | 6586 35117 121325 | 2147483647 88570 111 | 0.031 % |
48.32/48.47 c | 89295 | 6586 35117 121325 | 2147483647 89292 111 | 0.030 % |
49.02/49.17 c | 90087 | 6586 35117 121325 | 2147483647 90084 112 | 0.030 % |
50.22/50.37 c | 90961 | 6586 35117 121325 | 2147483647 90958 113 | 0.030 % |
50.91/51.02 c | 91921 | 6586 35117 121325 | 2147483647 91918 113 | 0.030 % |
51.71/51.83 c | 92975 | 6586 35117 121325 | 2147483647 92972 113 | 0.030 % |
51.81/51.91 c | 93075 | 6586 35117 121325 | 2147483647 93072 113 | 0.030 % |
51.91/52.07 c | 93185 | 6586 35117 121325 | 2147483647 93182 113 | 0.030 % |
52.01/52.18 c | 93306 | 6586 35117 121325 | 2147483647 93303 113 | 0.030 % |
52.21/52.35 c | 93439 | 6586 35117 121325 | 2147483647 93436 113 | 0.031 % |
52.41/52.50 c | 93585 | 6586 35117 121325 | 2147483647 93582 113 | 0.030 % |
52.51/52.61 c | 93745 | 6586 35117 121325 | 2147483647 93742 113 | 0.030 % |
52.72/52.83 c | 93922 | 6586 35117 121325 | 2147483647 93919 113 | 0.032 % |
52.91/53.03 c | 94115 | 6586 35117 121325 | 2147483647 94112 113 | 0.030 % |
53.11/53.24 c | 94329 | 6586 35117 121325 | 2147483647 94326 113 | 0.030 % |
53.31/53.42 c | 94562 | 6586 35117 121325 | 2147483647 94559 113 | 0.030 % |
53.51/53.67 c | 94819 | 6586 35117 121325 | 2147483647 94816 112 | 0.030 % |
54.01/54.15 c | 95100 | 6586 35117 121325 | 2147483647 95097 113 | 0.030 % |
54.21/54.37 c | 95409 | 6586 35117 121325 | 2147483647 95406 113 | 0.030 % |
54.51/54.69 c | 95748 | 6586 35117 121325 | 2147483647 95745 113 | 0.030 % |
54.91/55.00 c | 96121 | 6586 35117 121325 | 2147483647 96118 113 | 0.030 % |
55.11/55.30 c | 96532 | 6586 35117 121325 | 2147483647 96529 113 | 0.030 % |
55.71/55.84 c | 96983 | 6586 35117 121325 | 2147483647 96980 114 | 0.030 % |
56.31/56.46 c | 97478 | 6586 35117 121325 | 2147483647 97475 114 | 0.030 % |
57.21/57.37 c | 98020 | 6586 35117 121325 | 2147483647 98017 115 | 0.030 % |
58.22/58.39 c | 98616 | 6586 35117 121325 | 2147483647 98613 115 | 0.030 % |
59.22/59.35 c | 99274 | 6586 35117 121325 | 2147483647 99271 115 | 0.030 % |
60.11/60.23 c | 99994 | 6586 35117 121325 | 2147483647 99991 115 | 0.030 % |
60.91/61.02 c | 100787 | 6586 35117 121325 | 2147483647 100784 116 | 0.030 % |
61.71/61.88 c | 101660 | 6586 35117 121325 | 2147483647 101657 116 | 0.030 % |
62.51/62.62 c | 102618 | 6586 35117 121325 | 2147483647 102615 116 | 0.030 % |
63.31/63.47 c | 103672 | 6586 35117 121325 | 2147483647 103669 116 | 0.030 % |
64.31/64.46 c | 104830 | 6586 35117 121325 | 2147483647 104827 117 | 0.030 % |
64.41/64.58 c | 104930 | 6586 35117 121325 | 2147483647 104927 117 | 0.030 % |
64.61/64.74 c | 105040 | 6586 35117 121325 | 2147483647 105037 117 | 0.030 % |
64.71/64.84 c | 105161 | 6586 35117 121325 | 2147483647 105158 117 | 0.030 % |
64.91/65.06 c | 105295 | 6586 35117 121325 | 2147483647 105292 117 | 0.030 % |
65.11/65.22 c | 105444 | 6586 35117 121325 | 2147483647 105441 117 | 0.030 % |
65.30/65.42 c | 105604 | 6586 35117 121325 | 2147483647 105601 117 | 0.030 % |
65.50/65.62 c | 105780 | 6586 35117 121325 | 2147483647 105777 117 | 0.030 % |
65.70/65.80 c | 105973 | 6586 35117 121325 | 2147483647 105970 117 | 0.030 % |
66.00/66.10 c | 106187 | 6586 35117 121325 | 2147483647 106184 117 | 0.030 % |
66.10/66.29 c | 106420 | 6586 35117 121325 | 2147483647 106417 117 | 0.030 % |
66.40/66.55 c | 106676 | 6586 35117 121325 | 2147483647 106673 117 | 0.030 % |
66.81/66.92 c | 106958 | 6586 35117 121325 | 2147483647 106955 117 | 0.030 % |
67.21/67.31 c | 107267 | 6586 35117 121325 | 2147483647 107264 117 | 0.030 % |
67.60/67.75 c | 107606 | 6586 35117 121325 | 2147483647 107603 118 | 0.030 % |
68.30/68.41 c | 107979 | 6586 35117 121325 | 2147483647 107976 118 | 0.030 % |
69.00/69.16 c | 108388 | 6586 35117 121325 | 2147483647 108385 118 | 0.030 % |
69.50/69.64 c | 108839 | 6586 35117 121325 | 2147483647 108836 118 | 0.030 % |
70.10/70.25 c | 109333 | 6586 35117 121325 | 2147483647 109330 118 | 0.030 % |
70.90/71.01 c | 109877 | 6586 35117 121325 | 2147483647 109874 119 | 0.030 % |
71.60/71.79 c | 110473 | 6586 35117 121325 | 2147483647 110470 119 | 0.030 % |
72.40/72.51 c | 111128 | 6586 35117 121325 | 2147483647 111125 119 | 0.030 % |
73.01/73.17 c | 111850 | 6586 35117 121325 | 2147483647 111847 120 | 0.030 % |
73.81/73.99 c | 112645 | 6586 35117 121325 | 2147483647 112642 120 | 0.030 % |
74.51/74.69 c | 113518 | 6586 35117 121325 | 2147483647 113515 120 | 0.030 % |
76.00/76.17 c | 114477 | 6586 35117 121325 | 2147483647 114474 121 | 0.030 % |
76.90/77.09 c | 115530 | 6586 35117 121325 | 2147483647 115527 122 | 0.030 % |
78.20/78.36 c | 116690 | 6586 35117 121325 | 2147483647 116687 122 | 0.030 % |
79.70/79.87 c | 117963 | 6586 35117 121325 | 2147483647 117960 123 | 0.030 % |
79.80/79.97 c | 118063 | 6586 35117 121325 | 2147483647 118060 123 | 0.030 % |
80.10/80.25 c | 118177 | 6586 35117 121325 | 2147483647 118174 123 | 0.030 % |
80.20/80.39 c | 118299 | 6586 35117 121325 | 2147483647 118296 123 | 0.030 % |
80.40/80.59 c | 118432 | 6586 35117 121325 | 2147483647 118429 123 | 0.030 % |
80.59/80.78 c | 118578 | 6586 35117 121325 | 2147483647 118575 123 | 0.030 % |
80.99/81.14 c | 118738 | 6586 35117 121325 | 2147483647 118735 123 | 0.030 % |
81.30/81.45 c | 118917 | 6586 35117 121325 | 2147483647 118914 123 | 0.030 % |
81.59/81.79 c | 119114 | 6586 35117 121325 | 2147483647 119111 123 | 0.030 % |
81.99/82.14 c | 119327 | 6586 35117 121325 | 2147483647 119324 123 | 0.030 % |
82.40/82.54 c | 119561 | 6586 35117 121325 | 2147483647 119558 123 | 0.030 % |
82.89/83.04 c | 119817 | 6586 35117 121325 | 2147483647 119814 123 | 0.030 % |
83.29/83.49 c | 120100 | 6586 35117 121325 | 2147483647 120097 123 | 0.030 % |
83.69/83.87 c | 120409 | 6586 35117 121325 | 2147483647 120406 123 | 0.030 % |
84.09/84.24 c | 120748 | 6586 35117 121325 | 2147483647 120745 124 | 0.030 % |
84.49/84.61 c | 121120 | 6586 35117 121325 | 2147483647 121117 124 | 0.030 % |
84.89/85.01 c | 121531 | 6586 35117 121325 | 2147483647 121528 124 | 0.030 % |
85.59/85.72 c | 121981 | 6586 35117 121325 | 2147483647 121978 124 | 0.030 % |
86.29/86.47 c | 122474 | 6586 35117 121325 | 2147483647 122471 124 | 0.030 % |
87.39/87.53 c | 123019 | 6586 35117 121325 | 2147483647 123016 124 | 0.030 % |
88.69/88.82 c | 123617 | 6586 35117 121325 | 2147483647 123614 125 | 0.030 % |
89.99/90.20 c | 124272 | 6586 35117 121325 | 2147483647 124269 125 | 0.030 % |
91.29/91.41 c | 124997 | 6586 35117 121325 | 2147483647 124994 125 | 0.030 % |
92.19/92.31 c | 125789 | 6586 35117 121325 | 2147483647 125786 126 | 0.030 % |
93.48/93.65 c | 126661 | 6586 35117 121325 | 2147483647 126658 126 | 0.030 % |
94.89/95.05 c | 127620 | 6586 35117 121325 | 2147483647 127617 126 | 0.030 % |
96.39/96.53 c | 128673 | 6586 35117 121325 | 2147483647 128670 127 | 0.030 % |
97.89/98.02 c | 129832 | 6586 35117 121325 | 2147483647 129829 126 | 0.030 % |
99.08/99.25 c | 131105 | 6586 35117 121325 | 2147483647 131102 126 | 0.031 % |
101.18/101.37 c | 132506 | 6586 35117 121325 | 2147483647 132503 126 | 0.031 % |
101.39/101.56 c | 132606 | 6586 35117 121325 | 2147483647 132603 126 | 0.030 % |
101.49/101.68 c | 132716 | 6586 35117 121325 | 2147483647 132713 126 | 0.030 % |
101.79/101.90 c | 132837 | 6586 35117 121325 | 2147483647 132834 126 | 0.030 % |
101.89/102.08 c | 132970 | 6586 35117 121325 | 2147483647 132967 126 | 0.030 % |
102.19/102.31 c | 133116 | 6586 35117 121325 | 2147483647 133113 126 | 0.030 % |
102.39/102.59 c | 133276 | 6586 35117 121325 | 2147483647 133273 126 | 0.030 % |
102.68/102.82 c | 133452 | 6586 35117 121325 | 2147483647 133449 126 | 0.030 % |
103.19/103.31 c | 133645 | 6585 35085 121261 | 2147483647 133640 126 | 0.046 % |
103.48/103.68 c | 133860 | 6585 35085 121261 | 2147483647 133855 126 | 0.046 % |
103.78/103.93 c | 134096 | 6585 35085 121261 | 2147483647 134091 126 | 0.046 % |
104.38/104.52 c | 134352 | 6585 35085 121261 | 2147483647 134347 126 | 0.046 % |
104.68/104.88 c | 134634 | 6585 35085 121261 | 2147483647 134629 126 | 0.046 % |
104.88/105.07 c | 134944 | 6585 35085 121261 | 2147483647 134939 126 | 0.046 % |
105.28/105.46 c | 135284 | 6585 35085 121261 | 2147483647 135279 126 | 0.046 % |
105.99/106.14 c | 135656 | 6585 35085 121261 | 2147483647 135651 126 | 0.046 % |
106.38/106.59 c | 136067 | 6585 35085 121261 | 2147483647 136062 126 | 0.046 % |
106.98/107.11 c | 136517 | 6585 35085 121261 | 2147483647 136512 126 | 0.046 % |
107.88/108.02 c | 137010 | 6585 35085 121261 | 2147483647 137005 126 | 0.046 % |
108.69/108.82 c | 137552 | 6585 35085 121261 | 2147483647 137547 126 | 0.046 % |
109.98/110.17 c | 138148 | 6585 35085 121261 | 2147483647 138143 127 | 0.046 % |
111.08/111.24 c | 138804 | 6585 35085 121261 | 2147483647 138799 127 | 0.046 % |
111.78/111.97 c | 139525 | 6585 35085 121261 | 2147483647 139520 127 | 0.046 % |
112.98/113.17 c | 140319 | 6585 35085 121261 | 2147483647 140314 127 | 0.046 % |
113.98/114.18 c | 141190 | 6585 35085 121261 | 2147483647 141185 127 | 0.046 % |
115.18/115.33 c | 142148 | 6585 35085 121261 | 2147483647 142143 128 | 0.046 % |
117.17/117.31 c | 143202 | 6585 35085 121261 | 2147483647 143197 128 | 0.046 % |
118.87/119.01 c | 144360 | 6585 35085 121261 | 2147483647 144355 128 | 0.046 % |
121.38/121.60 c | 145636 | 6585 35085 121261 | 2147483647 145631 129 | 0.046 % |
123.47/123.65 c | 147036 | 6585 35085 121261 | 2147483647 147031 129 | 0.046 % |
126.07/126.26 c | 148577 | 6585 35085 121261 | 2147483647 148572 129 | 0.046 % |
126.37/126.51 c | 148677 | 6585 35085 121261 | 2147483647 148672 129 | 0.046 % |
126.56/126.71 c | 148789 | 6585 35085 121261 | 2147483647 148784 129 | 0.046 % |
126.66/126.85 c | 148911 | 6585 35085 121261 | 2147483647 148906 129 | 0.046 % |
126.96/127.15 c | 149044 | 6585 35085 121261 | 2147483647 149039 129 | 0.046 % |
127.16/127.39 c | 149191 | 6585 35085 121261 | 2147483647 149186 129 | 0.046 % |
127.46/127.63 c | 149351 | 6585 35085 121261 | 2147483647 149346 129 | 0.046 % |
127.66/127.87 c | 149529 | 6585 35085 121261 | 2147483647 149524 129 | 0.046 % |
127.96/128.15 c | 149723 | 6585 35085 121261 | 2147483647 149718 130 | 0.046 % |
128.26/128.49 c | 149936 | 6585 35085 121261 | 2147483647 149931 130 | 0.046 % |
128.76/128.95 c | 150170 | 6585 35085 121261 | 150000 150165 130 | 0.046 % |
129.36/129.51 c | 150430 | 6585 35085 121261 | 150000 130637 134 | 0.046 % |
129.85/130.02 c | 150711 | 6585 35085 121261 | 150000 130918 134 | 0.046 % |
130.16/130.34 c | 151025 | 6585 35085 121261 | 150000 131232 135 | 0.046 % |
130.66/130.82 c | 151368 | 6585 35085 121261 | 150000 131575 135 | 0.046 % |
131.15/131.39 c | 151740 | 6585 35085 121261 | 150000 131947 135 | 0.046 % |
131.76/131.90 c | 152150 | 6585 35085 121261 | 150000 132357 135 | 0.046 % |
132.36/132.54 c | 152599 | 6585 35085 121261 | 150000 132806 135 | 0.046 % |
133.36/133.60 c | 153095 | 6585 35085 121261 | 150000 133302 135 | 0.046 % |
134.16/134.35 c | 153637 | 6585 35085 121261 | 150000 133844 136 | 0.046 % |
134.86/135.06 c | 154233 | 6585 35085 121261 | 150000 134440 136 | 0.046 % |
136.06/136.29 c | 154890 | 6585 35085 121261 | 150000 135097 136 | 0.046 % |
136.86/137.05 c | 155616 | 6585 35085 121261 | 150000 135823 136 | 0.046 % |
137.96/138.13 c | 156410 | 6585 35085 121261 | 150000 136617 136 | 0.046 % |
138.86/139.05 c | 157281 | 6585 35085 121261 | 150000 137488 136 | 0.046 % |
140.06/140.20 c | 158242 | 6585 35085 121261 | 150000 138449 136 | 0.046 % |
141.76/141.97 c | 159296 | 6585 35085 121261 | 150000 139503 137 | 0.046 % |
143.26/143.42 c | 160454 | 6585 35085 121261 | 140207 140661 137 | 0.046 % |
145.36/145.51 c | 161728 | 6585 35085 121261 | 140207 118627 138 | 0.046 % |
146.55/146.76 c | 163128 | 6585 35085 121261 | 140207 120027 138 | 0.046 % |
148.15/148.30 c | 164670 | 6585 35085 121261 | 140207 121569 139 | 0.046 % |
149.95/150.16 c | 166365 | 6585 35085 121261 | 140207 123264 140 | 0.046 % |
150.05/150.27 c | 166465 | 6585 35085 121261 | 140207 123364 140 | 0.046 % |
150.15/150.38 c | 166575 | 6585 35085 121261 | 140207 123474 140 | 0.046 % |
150.35/150.57 c | 166696 | 6585 35085 121261 | 140207 123595 140 | 0.046 % |
150.56/150.75 c | 166829 | 6585 35085 121261 | 140207 123728 140 | 0.046 % |
150.75/150.95 c | 166975 | 6585 35085 121261 | 140207 123874 140 | 0.046 % |
150.85/151.08 c | 167136 | 6585 35085 121261 | 140207 124035 140 | 0.046 % |
151.15/151.37 c | 167312 | 6585 35085 121261 | 140207 124211 140 | 0.046 % |
151.45/151.67 c | 167507 | 6585 35085 121261 | 140207 124406 140 | 0.046 % |
151.85/152.05 c | 167719 | 6585 35085 121261 | 140207 124618 139 | 0.046 % |
152.45/152.67 c | 167956 | 6585 35085 121261 | 140207 124855 140 | 0.046 % |
152.85/153.06 c | 168212 | 6585 35085 121261 | 140207 125111 140 | 0.046 % |
153.25/153.47 c | 168494 | 6585 35085 121261 | 140207 125393 140 | 0.046 % |
153.65/153.82 c | 168807 | 6585 35085 121261 | 140207 125706 140 | 0.046 % |
154.05/154.22 c | 169147 | 6585 35085 121261 | 140207 126046 140 | 0.046 % |
154.55/154.75 c | 169519 | 6585 35085 121261 | 140207 126418 140 | 0.046 % |
155.35/155.54 c | 169931 | 6585 35085 121261 | 140207 126830 140 | 0.046 % |
156.05/156.25 c | 170380 | 6585 35085 121261 | 126899 127279 140 | 0.046 % |
156.95/157.14 c | 170873 | 6585 35085 121261 | 126899 111635 138 | 0.046 % |
157.85/158.00 c | 171416 | 6585 35085 121261 | 126899 112178 138 | 0.046 % |
158.45/158.62 c | 172012 | 6585 35085 121261 | 126899 112774 138 | 0.046 % |
159.65/159.83 c | 172672 | 6585 35085 121261 | 126899 113434 138 | 0.046 % |
160.75/160.94 c | 173393 | 6585 35085 121261 | 126899 114155 138 | 0.046 % |
161.55/161.79 c | 174190 | 6585 35085 121261 | 126899 114952 138 | 0.046 % |
162.84/163.05 c | 175063 | 6585 35085 121261 | 126899 115825 138 | 0.046 % |
164.24/164.46 c | 176023 | 6585 35085 121261 | 126899 116785 139 | 0.046 % |
166.14/166.36 c | 177076 | 6585 35085 121261 | 126899 117838 140 | 0.046 % |
167.94/168.15 c | 178234 | 6585 35085 121261 | 126899 118996 140 | 0.046 % |
169.54/169.71 c | 179507 | 6585 35085 121261 | 126899 120269 140 | 0.046 % |
172.03/172.21 c | 180908 | 6585 35085 121261 | 2147483647 121670 140 | 0.046 % |
174.33/174.51 c | 182448 | 6585 35085 121261 | 2147483647 123210 141 | 0.046 % |
176.53/176.71 c | 184144 | 6585 35085 121261 | 2147483647 124906 142 | 0.046 % |
178.23/178.46 c | 186008 | 6585 35085 121261 | 2147483647 126770 142 | 0.046 % |
178.33/178.56 c | 186109 | 6585 35085 121261 | 2147483647 126871 142 | 0.046 % |
178.53/178.73 c | 186222 | 6585 35085 121261 | 2147483647 126984 142 | 0.047 % |
178.72/178.91 c | 186343 | 6585 35085 121261 | 2147483647 127105 142 | 0.046 % |
179.03/179.21 c | 186478 | 6585 35085 121261 | 2147483647 127240 142 | 0.046 % |
179.32/179.50 c | 186624 | 6585 35085 121261 | 2147483647 127386 142 | 0.046 % |
179.42/179.69 c | 186787 | 6585 35085 121261 | 2147483647 127549 142 | 0.046 % |
179.82/180.00 c | 186964 | 6585 35085 121261 | 2147483647 127726 142 | 0.046 % |
180.13/180.37 c | 187157 | 6585 35085 121261 | 2147483647 127919 142 | 0.046 % |
180.62/180.81 c | 187369 | 6585 35085 121261 | 2147483647 128131 142 | 0.046 % |
181.02/181.28 c | 187603 | 6585 35085 121261 | 2147483647 128365 142 | 0.046 % |
181.52/181.78 c | 187859 | 6585 35085 121261 | 2147483647 128621 142 | 0.046 % |
182.12/182.38 c | 188140 | 6585 35085 121261 | 2147483647 128902 142 | 0.046 % |
182.62/182.85 c | 188450 | 6585 35085 121261 | 2147483647 129212 142 | 0.046 % |
183.32/183.51 c | 188790 | 6585 35085 121261 | 2147483647 129552 142 | 0.046 % |
183.82/184.03 c | 189162 | 6585 35085 121261 | 2147483647 129924 142 | 0.046 % |
184.53/184.75 c | 189571 | 6585 35085 121261 | 2147483647 130333 143 | 0.046 % |
185.63/185.88 c | 190020 | 6585 35085 121261 | 130764 130782 143 | 0.046 % |
187.42/187.63 c | 190513 | 6585 35085 121261 | 130764 112669 140 | 0.046 % |
188.52/188.76 c | 191056 | 6585 35085 121261 | 130764 113212 141 | 0.046 % |
189.92/190.14 c | 191652 | 6585 35085 121261 | 130764 113808 141 | 0.046 % |
191.22/191.40 c | 192307 | 6585 35085 121261 | 130764 114463 141 | 0.046 % |
192.12/192.34 c | 193028 | 6585 35085 121261 | 130764 115184 141 | 0.046 % |
193.82/194.08 c | 193820 | 6585 35085 121261 | 130764 115976 141 | 0.046 % |
195.42/195.66 c | 194695 | 6585 35085 121261 | 130764 116851 142 | 0.046 % |
196.92/197.17 c | 195653 | 6585 35085 121261 | 130764 117809 142 | 0.046 % |
198.92/199.14 c | 196707 | 6585 35085 121261 | 130764 118863 142 | 0.046 % |
200.41/200.64 c | 197872 | 6585 35085 121261 | 130764 120028 142 | 0.046 % |
202.81/203.01 c | 199145 | 6585 35085 121261 | 130764 121301 142 | 0.046 % |
205.31/205.57 c | 200545 | 6585 35085 121261 | 122163 122701 142 | 0.046 % |
208.21/208.49 c | 202085 | 6585 35085 121261 | 122163 109306 138 | 0.046 % |
210.31/210.59 c | 203779 | 6585 35085 121261 | 122163 111000 139 | 0.046 % |
212.41/212.63 c | 205643 | 6585 35085 121261 | 122163 112864 140 | 0.046 % |
215.30/215.51 c | 207694 | 6585 35085 121261 | 122163 114915 141 | 0.046 % |
215.40/215.67 c | 207794 | 6585 35085 121261 | 122163 115015 141 | 0.046 % |
215.60/215.83 c | 207905 | 6585 35085 121261 | 122163 115126 141 | 0.046 % |
215.90/216.11 c | 208028 | 6585 35085 121261 | 122163 115249 141 | 0.046 % |
216.20/216.40 c | 208161 | 6585 35085 121261 | 122163 115382 141 | 0.046 % |
216.40/216.65 c | 208307 | 6585 35085 121261 | 122163 115528 141 | 0.046 % |
216.80/217.01 c | 208469 | 6585 35085 121261 | 122163 115690 141 | 0.046 % |
217.00/217.28 c | 208645 | 6585 35085 121261 | 122163 115866 141 | 0.046 % |
217.30/217.56 c | 208838 | 6585 35085 121261 | 122163 116059 142 | 0.046 % |
217.60/217.89 c | 209053 | 6585 35085 121261 | 122163 116274 142 | 0.046 % |
218.09/218.33 c | 209288 | 6585 35085 121261 | 122163 116509 142 | 0.046 % |
218.49/218.72 c | 209545 | 6585 35085 121261 | 122163 116766 142 | 0.046 % |
218.99/219.29 c | 209826 | 6585 35085 121261 | 122163 117047 142 | 0.046 % |
219.59/219.90 c | 210138 | 6585 35085 121261 | 117226 117359 142 | 0.046 % |
220.49/220.79 c | 210478 | 6585 35085 121261 | 117226 105151 143 | 0.046 % |
221.39/221.64 c | 210853 | 6585 35085 121261 | 117226 105526 143 | 0.046 % |
222.39/222.60 c | 211262 | 6585 35085 121261 | 117226 105935 143 | 0.046 % |
223.29/223.51 c | 211714 | 6585 35085 121261 | 117226 106387 143 | 0.046 % |
224.19/224.46 c | 212207 | 6585 35085 121261 | 117226 106880 143 | 0.046 % |
225.49/225.74 c | 212749 | 6585 35085 121261 | 117226 107422 143 | 0.046 % |
226.69/226.92 c | 213346 | 6585 35085 121261 | 117226 108019 143 | 0.046 % |
227.99/228.21 c | 214006 | 6585 35085 121261 | 117226 108679 143 | 0.046 % |
229.39/229.68 c | 214728 | 6585 35085 121261 | 117226 109401 143 | 0.046 % |
231.19/231.44 c | 215520 | 6585 35085 121261 | 117226 110193 143 | 0.046 % |
232.99/233.20 c | 216391 | 6585 35085 121261 | 117226 111064 143 | 0.046 % |
234.88/235.17 c | 217353 | 6585 35085 121261 | 117226 112026 143 | 0.046 % |
237.09/237.31 c | 218406 | 6585 35085 121261 | 117226 113079 143 | 0.046 % |
238.98/239.27 c | 219564 | 6585 35085 121261 | 117226 114237 143 | 0.046 % |
240.98/241.30 c | 220838 | 6585 35085 121261 | 114673 100692 141 | 0.046 % |
243.08/243.34 c | 222239 | 6585 35085 121261 | 114673 102093 141 | 0.046 % |
244.88/245.10 c | 223779 | 6585 35085 121261 | 114673 103633 141 | 0.046 % |
247.48/247.74 c | 225473 | 6585 35085 121261 | 114673 105327 141 | 0.046 % |
250.38/250.67 c | 227341 | 6585 35085 121261 | 114673 107195 142 | 0.046 % |
252.68/252.90 c | 229390 | 6585 35085 121261 | 114673 109244 142 | 0.046 % |
255.78/256.09 c | 231645 | 6584 35052 121193 | 2147483647 111497 143 | 0.061 % |
255.88/256.18 c | 231746 | 6584 35052 121193 | 2147483647 111598 143 | 0.061 % |
256.08/256.33 c | 231857 | 6584 35052 121193 | 2147483647 111709 143 | 0.061 % |
256.18/256.47 c | 231979 | 6584 35052 121193 | 2147483647 111831 143 | 0.061 % |
256.38/256.66 c | 232113 | 6584 35052 121193 | 2147483647 111965 143 | 0.061 % |
256.58/256.83 c | 232261 | 6584 35052 121193 | 2147483647 112113 143 | 0.061 % |
256.78/257.01 c | 232421 | 6584 35052 121193 | 2147483647 112273 143 | 0.061 % |
256.88/257.19 c | 232599 | 6584 35052 121193 | 2147483647 112451 143 | 0.061 % |
257.57/257.89 c | 232792 | 6584 35052 121193 | 2147483647 112644 143 | 0.061 % |
257.87/258.13 c | 233005 | 6584 35052 121193 | 2147483647 112857 143 | 0.061 % |
258.37/258.60 c | 233240 | 6584 35052 121193 | 2147483647 113092 143 | 0.061 % |
258.57/258.86 c | 233496 | 6584 35052 121193 | 2147483647 113348 143 | 0.061 % |
258.97/259.25 c | 233778 | 6584 35052 121193 | 2147483647 113630 143 | 0.061 % |
259.28/259.55 c | 234087 | 6584 35052 121193 | 2147483647 113939 143 | 0.061 % |
259.67/259.96 c | 234427 | 6584 35052 121193 | 2147483647 114279 142 | 0.061 % |
260.27/260.59 c | 234799 | 6584 35052 121193 | 2147483647 114651 142 | 0.061 % |
260.67/260.99 c | 235209 | 6584 35052 121193 | 2147483647 115061 142 | 0.061 % |
261.17/261.48 c | 235660 | 6584 35052 121193 | 2147483647 115512 142 | 0.061 % |
261.67/261.98 c | 236153 | 6584 35052 121193 | 2147483647 116005 142 | 0.061 % |
262.37/262.67 c | 236695 | 6584 35052 121193 | 2147483647 116547 141 | 0.061 % |
263.07/263.31 c | 237294 | 6584 35052 121193 | 2147483647 117146 141 | 0.061 % |
263.57/263.84 c | 237949 | 6584 35052 121193 | 2147483647 117801 141 | 0.061 % |
264.16/264.47 c | 238669 | 6584 35052 121193 | 2147483647 118521 140 | 0.061 % |
264.87/265.16 c | 239462 | 6584 35052 121193 | 2147483647 119314 140 | 0.061 % |
265.56/265.84 c | 240334 | 6584 35052 121193 | 2147483647 120186 140 | 0.061 % |
266.76/267.06 c | 241296 | 6584 35052 121193 | 2147483647 121148 139 | 0.061 % |
267.46/267.78 c | 242351 | 6584 35052 121193 | 2147483647 122203 139 | 0.061 % |
268.66/268.99 c | 243509 | 6584 35052 121193 | 2147483647 123361 139 | 0.061 % |
270.86/271.15 c | 244785 | 6584 35052 121193 | 2147483647 124637 139 | 0.061 % |
272.46/272.72 c | 246186 | 6584 35052 121193 | 2147483647 126038 140 | 0.061 % |
274.06/274.37 c | 247727 | 6584 35052 121193 | 2147483647 127579 140 | 0.061 % |
276.06/276.34 c | 249421 | 6584 35052 121193 | 2147483647 129273 140 | 0.061 % |
278.06/278.32 c | 251285 | 6584 35052 121193 | 2147483647 131137 140 | 0.061 % |
280.85/281.17 c | 253337 | 6584 35052 121193 | 2147483647 133189 141 | 0.061 % |
283.25/283.51 c | 255590 | 6584 35052 121193 | 2147483647 135442 141 | 0.061 % |
284.66/284.98 c | 258069 | 6584 35052 121193 | 2147483647 137921 139 | 0.061 % |
284.75/285.03 c | 258170 | 6584 35052 121193 | 2147483647 138022 139 | 0.061 % |
284.85/285.19 c | 258281 | 6584 35052 121193 | 2147483647 138133 139 | 0.061 % |
285.05/285.32 c | 258404 | 6584 35052 121193 | 2147483647 138256 139 | 0.061 % |
285.15/285.45 c | 258539 | 6584 35052 121193 | 2147483647 138391 139 | 0.061 % |
285.65/285.95 c | 258688 | 6584 35052 121193 | 2147483647 138540 139 | 0.061 % |
285.95/286.25 c | 258848 | 6584 35052 121193 | 2147483647 138700 139 | 0.061 % |
286.35/286.67 c | 259024 | 6584 35052 121193 | 2147483647 138876 139 | 0.061 % |
286.85/287.14 c | 259222 | 6584 35052 121193 | 2147483647 139074 139 | 0.061 % |
287.15/287.48 c | 259436 | 6584 35052 121193 | 2147483647 139288 140 | 0.061 % |
287.75/288.01 c | 259670 | 6584 35052 121193 | 2147483647 139522 140 | 0.061 % |
288.25/288.53 c | 259927 | 6584 35052 121193 | 2147483647 139779 140 | 0.061 % |
288.55/288.84 c | 260208 | 6584 35052 121193 | 139853 140060 140 | 0.061 % |
289.36/289.61 c | 260517 | 6584 35052 121193 | 139853 121733 133 | 0.061 % |
289.96/290.23 c | 260856 | 6584 35052 121193 | 139853 122072 133 | 0.061 % |
290.45/290.73 c | 261228 | 6584 35052 121193 | 139853 122444 133 | 0.061 % |
290.95/291.26 c | 261638 | 6584 35052 121193 | 139853 122854 133 | 0.061 % |
291.35/291.69 c | 262087 | 6584 35052 121193 | 139853 123303 134 | 0.061 % |
292.15/292.47 c | 262582 | 6584 35052 121193 | 139853 123798 134 | 0.061 % |
292.96/293.20 c | 263125 | 6584 35052 121193 | 139853 124341 134 | 0.061 % |
293.75/294.06 c | 263721 | 6584 35052 121193 | 139853 124937 135 | 0.061 % |
294.95/295.29 c | 264376 | 6584 35052 121193 | 139853 125592 135 | 0.061 % |
296.25/296.58 c | 265098 | 6584 35052 121193 | 139853 126314 135 | 0.061 % |
297.76/298.03 c | 265891 | 6584 35052 121193 | 139853 127107 136 | 0.061 % |
299.05/299.39 c | 266763 | 6584 35052 121193 | 139853 127979 136 | 0.061 % |
300.95/301.29 c | 267721 | 6584 35052 121193 | 139853 128937 137 | 0.061 % |
302.95/303.26 c | 268774 | 6584 35052 121193 | 139853 129990 137 | 0.061 % |
304.85/305.16 c | 269934 | 6584 35052 121193 | 139853 131150 138 | 0.061 % |
306.74/307.07 c | 271209 | 6584 35052 121193 | 131218 132425 138 | 0.061 % |
309.14/309.46 c | 272610 | 6584 35052 121193 | 131218 115219 133 | 0.061 % |
310.54/310.86 c | 274150 | 6584 35052 121193 | 131218 116759 133 | 0.061 % |
312.94/313.24 c | 275844 | 6584 35052 121193 | 131218 118453 134 | 0.061 % |
315.54/315.82 c | 277707 | 6584 35052 121193 | 131218 120316 136 | 0.061 % |
319.34/319.60 c | 279756 | 6584 35052 121193 | 131218 122365 137 | 0.061 % |
323.44/323.74 c | 282010 | 6584 35052 121193 | 122609 112195 135 | 0.061 % |
326.74/327.07 c | 284488 | 6584 35052 121193 | 122609 114673 136 | 0.061 % |
331.03/331.32 c | 287213 | 6584 35052 121193 | 122609 117398 138 | 0.061 % |
331.13/331.42 c | 287313 | 6584 35052 121193 | 122609 117498 138 | 0.061 % |
331.23/331.52 c | 287424 | 6584 35052 121193 | 122609 117609 138 | 0.061 % |
331.43/331.73 c | 287546 | 6584 35052 121193 | 122609 117731 138 | 0.061 % |
331.73/332.03 c | 287683 | 6584 35052 121193 | 122609 117868 139 | 0.061 % |
332.03/332.30 c | 287831 | 6584 35052 121193 | 122609 118016 139 | 0.061 % |
332.23/332.59 c | 287992 | 6584 35052 121193 | 122609 118177 139 | 0.061 % |
332.53/332.85 c | 288169 | 6584 35052 121193 | 122609 118354 139 | 0.061 % |
332.94/333.27 c | 288363 | 6584 35052 121193 | 122609 118548 139 | 0.061 % |
333.33/333.64 c | 288575 | 6584 35052 121193 | 122609 118760 139 | 0.061 % |
333.73/334.08 c | 288810 | 6584 35052 121193 | 122609 118995 139 | 0.061 % |
334.33/334.67 c | 289067 | 6584 35052 121193 | 122609 119252 139 | 0.061 % |
335.03/335.30 c | 289348 | 6584 35052 121193 | 122609 119533 139 | 0.061 % |
335.53/335.89 c | 289657 | 6584 35052 121193 | 122609 119842 140 | 0.061 % |
336.24/336.59 c | 289996 | 6584 35052 121193 | 122609 120181 140 | 0.061 % |
336.93/337.22 c | 290371 | 6584 35052 121193 | 2147483647 120556 140 | 0.061 % |
337.63/337.98 c | 290780 | 6584 35052 121193 | 2147483647 120965 140 | 0.061 % |
338.63/338.93 c | 291230 | 6584 35052 121193 | 2147483647 121415 140 | 0.061 % |
339.64/339.93 c | 291725 | 6584 35052 121193 | 2147483647 121910 141 | 0.061 % |
340.83/341.17 c | 292267 | 6584 35052 121193 | 2147483647 122452 141 | 0.061 % |
341.73/342.05 c | 292866 | 6584 35052 121193 | 2147483647 123051 141 | 0.061 % |
342.53/342.87 c | 293525 | 6584 35052 121193 | 2147483647 123710 141 | 0.061 % |
343.93/344.20 c | 294247 | 6584 35052 121193 | 2147483647 124432 141 | 0.061 % |
345.73/346.01 c | 295039 | 6584 35052 121193 | 2147483647 125224 142 | 0.061 % |
347.53/347.83 c | 295910 | 6584 35052 121193 | 2147483647 126095 142 | 0.061 % |
349.92/350.25 c | 296868 | 6584 35052 121193 | 2147483647 127053 142 | 0.061 % |
352.22/352.58 c | 297922 | 6584 35052 121193 | 2147483647 128107 143 | 0.061 % |
353.72/354.07 c | 299084 | 6584 35052 121193 | 2147483647 129269 144 | 0.061 % |
356.52/356.88 c | 300357 | 6584 35052 121193 | 130185 130542 145 | 0.061 % |
358.72/359.09 c | 301757 | 6584 35052 121193 | 130185 117487 141 | 0.061 % |
361.72/362.05 c | 303299 | 6584 35052 121193 | 130185 119029 142 | 0.061 % |
363.91/364.25 c | 304993 | 6584 35052 121193 | 130185 120723 142 | 0.061 % |
365.71/366.00 c | 306856 | 6584 35052 121193 | 130185 122586 142 | 0.061 % |
368.01/368.32 c | 308905 | 6584 35052 121193 | 130185 124635 141 | 0.061 % |
370.41/370.71 c | 311158 | 6584 35052 121193 | 2147483647 126888 141 | 0.061 % |
373.01/373.32 c | 313638 | 6584 35052 121193 | 2147483647 129368 141 | 0.061 % |
375.51/375.85 c | 316365 | 6584 35052 121193 | 2147483647 132095 142 | 0.061 % |
378.81/379.19 c | 319362 | 6584 35052 121193 | 2147483647 135092 142 | 0.061 % |
378.91/379.29 c | 319465 | 6584 35052 121193 | 2147483647 135195 142 | 0.061 % |
379.01/379.38 c | 319575 | 6584 35052 121193 | 2147483647 135305 142 | 0.061 % |
379.41/379.70 c | 319697 | 6584 35052 121193 | 2147483647 135427 142 | 0.061 % |
379.51/379.89 c | 319832 | 6584 35052 121193 | 2147483647 135562 142 | 0.061 % |
379.71/380.06 c | 319979 | 6584 35052 121193 | 2147483647 135709 142 | 0.061 % |
380.01/380.31 c | 320140 | 6584 35052 121193 | 2147483647 135870 142 | 0.061 % |
380.21/380.51 c | 320316 | 6584 35052 121193 | 2147483647 136046 142 | 0.061 % |
380.41/380.74 c | 320510 | 6584 35052 121193 | 2147483647 136240 142 | 0.061 % |
380.71/381.09 c | 320723 | 6584 35052 121193 | 2147483647 136453 143 | 0.061 % |
381.11/381.44 c | 320956 | 6584 35052 121193 | 2147483647 136686 143 | 0.061 % |
381.41/381.76 c | 321212 | 6584 35052 121193 | 2147483647 136942 143 | 0.061 % |
381.70/382.03 c | 321495 | 6584 35052 121193 | 2147483647 137225 143 | 0.061 % |
382.00/382.40 c | 321805 | 6584 35052 121193 | 2147483647 137535 143 | 0.061 % |
382.40/382.71 c | 322144 | 6584 35052 121193 | 2147483647 137874 143 | 0.061 % |
382.70/383.05 c | 322520 | 6584 35052 121193 | 2147483647 138250 143 | 0.061 % |
383.40/383.77 c | 322931 | 6584 35052 121193 | 2147483647 138661 143 | 0.061 % |
384.00/384.31 c | 323381 | 6584 35052 121193 | 2147483647 139111 143 | 0.061 % |
384.70/385.02 c | 323874 | 6584 35052 121193 | 2147483647 139604 143 | 0.061 % |
385.30/385.62 c | 324417 | 6584 35052 121193 | 2147483647 140147 143 | 0.061 % |
385.90/386.24 c | 325013 | 6584 35052 121193 | 2147483647 140743 143 | 0.061 % |
386.90/387.23 c | 325675 | 6584 35052 121193 | 2147483647 141405 143 | 0.061 % |
387.90/388.25 c | 326395 | 6584 35052 121193 | 2147483647 142125 143 | 0.061 % |
389.00/389.36 c | 327190 | 6584 35052 121193 | 2147483647 142920 143 | 0.061 % |
390.39/390.71 c | 328061 | 6584 35052 121193 | 2147483647 143791 143 | 0.061 % |
392.20/392.54 c | 329022 | 6584 35052 121193 | 2147483647 144752 143 | 0.061 % |
394.20/394.54 c | 330077 | 6584 35052 121193 | 145737 145807 143 | 0.061 % |
396.99/397.36 c | 331235 | 6584 35052 121193 | 145737 131663 144 | 0.061 % |
398.69/399.10 c | 332509 | 6584 35052 121193 | 145737 132937 144 | 0.061 % |
401.39/401.77 c | 333910 | 6584 35052 121193 | 145737 134338 145 | 0.061 % |
404.58/404.93 c | 335451 | 6584 35052 121193 | 145737 135879 145 | 0.061 % |
407.38/407.72 c | 337145 | 6584 35052 121193 | 145737 137573 145 | 0.061 % |
409.98/410.31 c | 339008 | 6584 35052 121193 | 145737 139436 146 | 0.061 % |
414.58/414.94 c | 341057 | 6584 35052 121193 | 2147483647 141485 147 | 0.061 % |
420.08/420.47 c | 343312 | 6584 35052 121193 | 2147483647 143740 148 | 0.061 % |
425.78/426.11 c | 345790 | 6584 35052 121193 | 2147483647 146218 148 | 0.061 % |
429.69/430.02 c | 348516 | 6584 35052 121193 | 2147483647 148944 148 | 0.061 % |
434.18/434.52 c | 351514 | 6584 35052 121193 | 150434 131489 149 | 0.061 % |
438.97/439.37 c | 354810 | 6584 35052 121193 | 150434 134785 150 | 0.061 % |
439.17/439.56 c | 354910 | 6584 35052 121193 | 150434 134885 150 | 0.061 % |
439.37/439.75 c | 355020 | 6584 35052 121193 | 150434 134995 150 | 0.061 % |
439.67/440.02 c | 355142 | 6584 35052 121193 | 150434 135117 151 | 0.061 % |
439.76/440.20 c | 355280 | 6584 35052 121193 | 150434 135255 151 | 0.061 % |
440.16/440.52 c | 355426 | 6584 35052 121193 | 150434 135401 151 | 0.061 % |
440.36/440.78 c | 355589 | 6584 35052 121193 | 150434 135564 151 | 0.061 % |
440.77/441.11 c | 355766 | 6584 35052 121193 | 150434 135741 151 | 0.061 % |
441.06/441.43 c | 355961 | 6584 35052 121193 | 150434 135936 151 | 0.061 % |
441.36/441.75 c | 356173 | 6584 35052 121193 | 150434 136148 150 | 0.061 % |
441.56/441.98 c | 356406 | 6584 35052 121193 | 150434 136381 151 | 0.061 % |
441.86/442.21 c | 356664 | 6584 35052 121193 | 150434 136639 150 | 0.061 % |
442.16/442.59 c | 356948 | 6584 35052 121193 | 150434 136923 150 | 0.062 % |
442.46/442.89 c | 357257 | 6584 35052 121193 | 150434 137232 150 | 0.061 % |
442.76/443.19 c | 357596 | 6584 35052 121193 | 150434 137571 150 | 0.061 % |
443.56/443.90 c | 357968 | 6584 35052 121193 | 150434 137943 150 | 0.061 % |
443.96/444.38 c | 358378 | 6584 35052 121193 | 150434 138353 150 | 0.061 % |
444.56/444.99 c | 358829 | 6584 35052 121193 | 150434 138804 150 | 0.061 % |
445.06/445.48 c | 359324 | 6584 35052 121193 | 150434 139299 149 | 0.061 % |
445.86/446.23 c | 359868 | 6584 35052 121193 | 150434 139843 149 | 0.061 % |
446.76/447.11 c | 360467 | 6584 35052 121193 | 139976 140442 149 | 0.061 % |
448.16/448.50 c | 361122 | 6584 35052 121193 | 139976 126352 147 | 0.061 % |
448.96/449.33 c | 361844 | 6584 35052 121193 | 139976 127074 147 | 0.061 % |
449.86/450.25 c | 362636 | 6584 35052 121193 | 139976 127866 147 | 0.061 % |
451.16/451.59 c | 363509 | 6584 35052 121193 | 139976 128739 147 | 0.061 % |
452.26/452.67 c | 364468 | 6584 35052 121193 | 139976 129698 148 | 0.061 % |
453.56/453.93 c | 365524 | 6584 35052 121193 | 139976 130754 148 | 0.061 % |
454.96/455.39 c | 366682 | 6584 35052 121193 | 139976 131912 148 | 0.061 % |
456.25/456.61 c | 367956 | 6584 35052 121193 | 139976 133186 148 | 0.061 % |
457.75/458.19 c | 369356 | 6584 35052 121193 | 139976 134586 149 | 0.061 % |
459.15/459.59 c | 370896 | 6584 35052 121193 | 2147483647 136126 149 | 0.061 % |
461.15/461.53 c | 372592 | 6584 35052 121193 | 2147483647 137822 149 | 0.061 % |
463.15/463.55 c | 374455 | 6584 35052 121193 | 2147483647 139685 149 | 0.061 % |
465.96/466.33 c | 376507 | 6584 35052 121193 | 2147483647 141737 150 | 0.061 % |
469.96/470.39 c | 378760 | 6584 35052 121193 | 2147483647 143990 151 | 0.061 % |
475.46/475.89 c | 381240 | 6584 35052 121193 | 145230 120112 140 | 0.061 % |
479.16/479.57 c | 383966 | 6584 35052 121193 | 145230 122838 141 | 0.061 % |
482.35/482.79 c | 386964 | 6584 35052 121193 | 145230 125836 143 | 0.061 % |
486.05/486.47 c | 390260 | 6584 35052 121193 | 128872 129132 144 | 0.061 % |
491.25/491.70 c | 393885 | 6584 35052 121193 | 128872 113721 141 | 0.061 % |
491.44/491.82 c | 393987 | 6584 35052 121193 | 128872 113823 141 | 0.061 % |
491.54/491.99 c | 394097 | 6584 35052 121193 | 128872 113933 141 | 0.061 % |
491.94/492.36 c | 394218 | 6584 35052 121193 | 128872 114054 141 | 0.061 % |
492.14/492.59 c | 394351 | 6584 35052 121193 | 128872 114187 141 | 0.061 % |
492.44/492.87 c | 394497 | 6584 35052 121193 | 128872 114333 141 | 0.061 % |
492.74/493.11 c | 394667 | 6584 35052 121193 | 128872 114503 141 | 0.061 % |
492.84/493.29 c | 394843 | 6584 35052 121193 | 128872 114679 141 | 0.061 % |
493.14/493.52 c | 395041 | 6584 35052 121193 | 128872 114877 142 | 0.061 % |
493.44/493.85 c | 395255 | 6584 35052 121193 | 128872 115091 142 | 0.061 % |
493.74/494.10 c | 395489 | 6584 35052 121193 | 128872 115325 142 | 0.061 % |
494.04/494.40 c | 395745 | 6584 35052 121193 | 128872 115581 142 | 0.061 % |
494.44/494.80 c | 396031 | 6584 35052 121193 | 128872 115867 142 | 0.061 % |
494.94/495.37 c | 396341 | 6584 35052 121193 | 128872 116177 142 | 0.061 % |
495.34/495.76 c | 396680 | 6584 35052 121193 | 128872 116516 142 | 0.061 % |
495.74/496.18 c | 397052 | 6584 35052 121193 | 128872 116888 143 | 0.061 % |
496.04/496.46 c | 397463 | 6584 35052 121193 | 128872 117299 142 | 0.061 % |
496.64/497.10 c | 397912 | 6584 35052 121193 | 128872 117748 142 | 0.061 % |
497.44/497.86 c | 398405 | 6584 35052 121193 | 128872 118241 142 | 0.061 % |
498.14/498.56 c | 398947 | 6584 35052 121193 | 128872 118783 142 | 0.061 % |
498.74/499.17 c | 399543 | 6584 35052 121193 | 128872 119379 142 | 0.061 % |
499.64/500.08 c | 400198 | 6584 35052 121193 | 2147483647 120034 141 | 0.061 % |
500.44/500.85 c | 400921 | 6584 35052 121193 | 2147483647 120757 141 | 0.061 % |
501.53/501.94 c | 401715 | 6584 35052 121193 | 2147483647 121551 141 | 0.061 % |
502.83/503.21 c | 402586 | 6584 35052 121193 | 2147483647 122422 142 | 0.061 % |
504.13/504.56 c | 403544 | 6584 35052 121193 | 2147483647 123380 141 | 0.061 % |
505.64/506.07 c | 404597 | 6584 35052 121193 | 2147483647 124433 141 | 0.061 % |
507.93/508.40 c | 405756 | 6584 35052 121193 | 2147483647 125592 141 | 0.061 % |
509.83/510.23 c | 407029 | 6584 35052 121193 | 2147483647 126865 141 | 0.061 % |
511.83/512.27 c | 408434 | 6584 35052 121193 | 2147483647 128270 142 | 0.061 % |
514.33/514.74 c | 409978 | 6584 35052 121193 | 2147483647 129814 142 | 0.061 % |
517.23/517.64 c | 411672 | 6584 35052 121193 | 2147483647 131508 142 | 0.061 % |
520.43/520.82 c | 413535 | 6584 35052 121193 | 2147483647 133371 143 | 0.061 % |
524.23/524.68 c | 415585 | 6584 35052 121193 | 2147483647 135421 144 | 0.061 % |
527.53/527.96 c | 417839 | 6584 35052 121193 | 2147483647 137675 145 | 0.061 % |
531.52/531.91 c | 420317 | 6584 35052 121193 | 139840 140153 147 | 0.061 % |
535.82/536.25 c | 423045 | 6584 35052 121193 | 139840 127943 145 | 0.061 % |
540.82/541.23 c | 426042 | 6584 35052 121193 | 139840 130940 145 | 0.061 % |
546.42/546.86 c | 429341 | 6584 35052 121193 | 139840 134239 145 | 0.061 % |
552.31/552.76 c | 432966 | 6584 35052 121193 | 134900 124308 141 | 0.061 % |
558.41/558.82 c | 436954 | 6584 35052 121193 | 134900 128296 142 | 0.061 % |
558.50/558.97 c | 437055 | 6584 35052 121193 | 134900 128397 142 | 0.061 % |
558.80/559.20 c | 437166 | 6584 35052 121193 | 134900 128508 142 | 0.061 % |
558.90/559.37 c | 437290 | 6584 35052 121193 | 134900 128632 142 | 0.061 % |
559.10/559.56 c | 437423 | 6584 35052 121193 | 134900 128765 142 | 0.061 % |
559.30/559.79 c | 437569 | 6584 35052 121193 | 134900 128911 142 | 0.061 % |
559.60/560.07 c | 437730 | 6584 35052 121193 | 134900 129072 142 | 0.061 % |
559.90/560.38 c | 437906 | 6584 35052 121193 | 134900 129248 143 | 0.061 % |
560.30/560.70 c | 438099 | 6584 35052 121193 | 134900 129441 143 | 0.061 % |
560.70/561.17 c | 438311 | 6584 35052 121193 | 134900 129653 143 | 0.061 % |
561.20/561.62 c | 438544 | 6584 35052 121193 | 134900 129886 143 | 0.061 % |
561.80/562.27 c | 438801 | 6584 35052 121193 | 134900 130143 143 | 0.061 % |
562.60/563.04 c | 439082 | 6584 35052 121193 | 134900 130424 143 | 0.061 % |
563.40/563.81 c | 439391 | 6584 35052 121193 | 134900 130733 143 | 0.061 % |
563.81/564.28 c | 439730 | 6584 35052 121193 | 134900 131072 143 | 0.061 % |
564.40/564.87 c | 440104 | 6584 35052 121193 | 2147483647 131446 143 | 0.061 % |
565.10/565.56 c | 440516 | 6584 35052 121193 | 2147483647 131858 143 | 0.061 % |
566.30/566.77 c | 440966 | 6584 35052 121193 | 2147483647 132308 143 | 0.061 % |
567.21/567.62 c | 441466 | 6584 35052 121193 | 2147483647 132808 143 | 0.061 % |
567.90/568.33 c | 442011 | 6584 35052 121193 | 2147483647 133353 143 | 0.061 % |
569.30/569.72 c | 442608 | 6584 35052 121193 | 2147483647 133950 143 | 0.061 % |
570.90/571.36 c | 443264 | 6584 35052 121193 | 2147483647 134606 143 | 0.061 % |
572.60/573.03 c | 443984 | 6584 35052 121193 | 2147483647 135326 144 | 0.061 % |
573.90/574.32 c | 444777 | 6584 35052 121193 | 2147483647 136119 144 | 0.061 % |
574.89/575.35 c | 445648 | 6584 35052 121193 | 2147483647 136990 144 | 0.061 % |
576.19/576.60 c | 446608 | 6584 35052 121193 | 2147483647 137950 144 | 0.061 % |
577.89/578.32 c | 447662 | 6584 35052 121193 | 2147483647 139004 145 | 0.061 % |
579.29/579.74 c | 448822 | 6584 35052 121193 | 2147483647 140164 145 | 0.061 % |
580.88/581.30 c | 450097 | 6584 35052 121193 | 2147483647 141439 145 | 0.061 % |
584.28/584.74 c | 451500 | 6584 35052 121193 | 2147483647 142842 145 | 0.061 % |
587.48/587.94 c | 453044 | 6584 35052 121193 | 2147483647 144386 146 | 0.061 % |
590.68/591.16 c | 454738 | 6584 35052 121193 | 2147483647 146080 146 | 0.061 % |
594.68/595.10 c | 456604 | 6584 35052 121193 | 2147483647 147946 147 | 0.061 % |
597.88/598.30 c | 458654 | 6584 35052 121193 | 2147483647 149996 148 | 0.061 % |
602.48/602.98 c | 460914 | 6584 35052 121193 | 151344 152256 149 | 0.061 % |
606.58/607.09 c | 463393 | 6584 35052 121193 | 151344 137058 146 | 0.061 % |
610.48/610.96 c | 466118 | 6584 35052 121193 | 151344 139783 146 | 0.061 % |
615.18/615.61 c | 469117 | 6584 35052 121193 | 151344 142782 147 | 0.061 % |
621.67/622.15 c | 472415 | 6584 35052 121193 | 143665 130658 142 | 0.061 % |
627.87/628.39 c | 476043 | 6584 35052 121193 | 143665 134286 143 | 0.061 % |
635.37/635.86 c | 480031 | 6584 35052 121193 | 138243 138274 143 | 0.061 % |
644.36/644.89 c | 484416 | 6584 35052 121193 | 138243 125571 140 | 0.061 % |
644.66/645.20 c | 484519 | 6584 35052 121193 | 138243 125674 140 | 0.061 % |
645.06/645.50 c | 484629 | 6584 35052 121193 | 138243 125784 140 | 0.061 % |
645.36/645.85 c | 484750 | 6584 35052 121193 | 138243 125905 140 | 0.061 % |
645.76/646.28 c | 484888 | 6584 35052 121193 | 138243 126043 140 | 0.061 % |
646.16/646.65 c | 485035 | 6584 35052 121193 | 138243 126190 140 | 0.061 % |
646.56/647.10 c | 485195 | 6584 35052 121193 | 138243 126350 140 | 0.061 % |
646.85/647.30 c | 485371 | 6584 35052 121193 | 138243 126526 140 | 0.061 % |
647.15/647.62 c | 485564 | 6584 35052 121193 | 138243 126719 140 | 0.061 % |
647.55/648.08 c | 485776 | 6584 35052 121193 | 138243 126931 139 | 0.061 % |
648.05/648.55 c | 486011 | 6584 35052 121193 | 138243 127166 139 | 0.061 % |
648.85/649.39 c | 486269 | 6584 35052 121193 | 138243 127424 139 | 0.061 % |
649.45/649.95 c | 486552 | 6584 35052 121193 | 138243 127707 139 | 0.061 % |
650.25/650.72 c | 486861 | 6584 35052 121193 | 138243 128016 139 | 0.061 % |
650.85/651.36 c | 487200 | 6584 35052 121193 | 138243 128355 139 | 0.061 % |
651.86/652.32 c | 487572 | 6584 35052 121193 | 138243 128727 139 | 0.061 % |
652.86/653.32 c | 487981 | 6584 35052 121193 | 138243 129136 139 | 0.061 % |
653.75/654.26 c | 488432 | 6584 35052 121193 | 138243 129587 139 | 0.061 % |
654.65/655.18 c | 488927 | 6584 35052 121193 | 138243 130082 139 | 0.061 % |
655.75/656.28 c | 489470 | 6584 35052 121193 | 138243 130625 139 | 0.061 % |
656.95/657.45 c | 490067 | 6584 35052 121193 | 131157 131222 140 | 0.061 % |
658.75/659.22 c | 490723 | 6584 35052 121193 | 131157 114880 138 | 0.061 % |
660.55/661.02 c | 491443 | 6584 35052 121193 | 131157 115600 138 | 0.061 % |
661.85/662.35 c | 492236 | 6584 35052 121193 | 131157 116393 138 | 0.061 % |
663.45/663.96 c | 493107 | 6584 35052 121193 | 131157 117264 139 | 0.061 % |
665.34/665.81 c | 494065 | 6584 35052 121193 | 131157 118222 139 | 0.061 % |
667.04/667.59 c | 495122 | 6584 35052 121193 | 131157 119279 139 | 0.061 % |
668.64/669.15 c | 496281 | 6584 35052 121193 | 131157 120438 139 | 0.061 % |
671.64/672.12 c | 497554 | 6584 35052 121193 | 131157 121711 139 | 0.061 % |
674.34/674.84 c | 498958 | 6584 35052 121193 | 131157 123115 139 | 0.061 % |
678.24/678.70 c | 500499 | 6584 35052 121193 | 124158 124656 139 | 0.061 % |
680.93/681.49 c | 502193 | 6584 35052 121193 | 124158 112181 135 | 0.061 % |
684.03/684.56 c | 504056 | 6584 35052 121193 | 124158 114044 135 | 0.061 % |
687.73/688.26 c | 506109 | 6584 35052 121193 | 124158 116097 135 | 0.061 % |
690.43/690.95 c | 508369 | 6584 35052 121193 | 124158 118357 135 | 0.061 % |
693.43/693.97 c | 510847 | 6584 35052 121193 | 2147483647 120835 135 | 0.061 % |
697.23/697.75 c | 513577 | 6584 35052 121193 | 2147483647 123565 135 | 0.061 % |
701.23/701.78 c | 516574 | 6584 35052 121193 | 2147483647 126562 137 | 0.061 % |
707.22/707.73 c | 519870 | 6584 35052 121193 | 2147483647 129858 138 | 0.061 % |
712.12/712.70 c | 523497 | 6584 35052 121193 | 2147483647 133485 140 | 0.061 % |
716.42/716.97 c | 527485 | 6584 35052 121193 | 2147483647 137473 140 | 0.061 % |
720.31/720.86 c | 531871 | 6584 35052 121193 | 139988 141859 139 | 0.061 % |
727.01/727.56 c | 536696 | 6584 35052 121193 | 139988 132499 136 | 0.061 % |
727.11/727.69 c | 536798 | 6584 35052 121193 | 139988 132601 136 | 0.061 % |
727.31/727.85 c | 536909 | 6584 35052 121193 | 139988 132712 137 | 0.061 % |
727.51/728.04 c | 537030 | 6584 35052 121193 | 139988 132833 137 | 0.061 % |
727.81/728.32 c | 537166 | 6584 35052 121193 | 139988 132969 137 | 0.061 % |
728.11/728.63 c | 537313 | 6584 35052 121193 | 139988 133116 137 | 0.061 % |
728.41/728.95 c | 537473 | 6584 35052 121193 | 139988 133276 137 | 0.061 % |
728.61/729.19 c | 537650 | 6584 35052 121193 | 139988 133453 137 | 0.061 % |
728.91/729.42 c | 537846 | 6584 35052 121193 | 139988 133649 137 | 0.061 % |
729.11/729.69 c | 538058 | 6584 35052 121193 | 139988 133861 137 | 0.061 % |
729.61/730.12 c | 538293 | 6584 35052 121193 | 139988 134096 137 | 0.061 % |
730.01/730.55 c | 538550 | 6584 35052 121193 | 139988 134353 137 | 0.061 % |
730.41/730.90 c | 538832 | 6584 35052 121193 | 139988 134635 137 | 0.061 % |
730.71/731.29 c | 539142 | 6584 35052 121193 | 139988 134945 137 | 0.061 % |
731.11/731.68 c | 539489 | 6584 35052 121193 | 139988 135292 137 | 0.061 % |
731.51/732.05 c | 539861 | 6584 35052 121193 | 139988 135664 138 | 0.061 % |
731.91/732.49 c | 540270 | 6584 35052 121193 | 2147483647 136073 138 | 0.061 % |
732.51/733.00 c | 540721 | 6584 35052 121193 | 2147483647 136524 138 | 0.061 % |
733.11/733.61 c | 541214 | 6584 35052 121193 | 2147483647 137017 138 | 0.061 % |
733.80/734.34 c | 541756 | 6584 35052 121193 | 2147483647 137559 138 | 0.061 % |
734.71/735.23 c | 542352 | 6584 35052 121193 | 2147483647 138155 138 | 0.061 % |
735.70/736.22 c | 543007 | 6584 35052 121193 | 2147483647 138810 139 | 0.061 % |
737.40/737.95 c | 543727 | 6584 35052 121193 | 2147483647 139530 139 | 0.061 % |
738.50/739.02 c | 544522 | 6584 35052 121193 | 2147483647 140325 140 | 0.061 % |
740.20/740.70 c | 545397 | 6584 35052 121193 | 2147483647 141200 140 | 0.061 % |
741.30/741.89 c | 546355 | 6584 35052 121193 | 2147483647 142158 141 | 0.061 % |
742.60/743.12 c | 547409 | 6584 35052 121193 | 2147483647 143212 141 | 0.061 % |
744.21/744.72 c | 548570 | 6584 35052 121193 | 2147483647 144373 141 | 0.061 % |
747.70/748.22 c | 549845 | 6584 35052 121193 | 2147483647 145648 141 | 0.061 % |
749.50/750.10 c | 551247 | 6584 35052 121193 | 145805 147050 141 | 0.061 % |
752.30/752.85 c | 552789 | 6584 35052 121193 | 145805 121008 132 | 0.061 % |
754.60/755.15 c | 554483 | 6584 35052 121193 | 145805 122702 132 | 0.061 % |
756.99/757.55 c | 556350 | 6584 35052 121193 | 145805 124569 133 | 0.061 % |
759.79/760.32 c | 558400 | 6584 35052 121193 | 145805 126619 136 | 0.061 % |
763.59/764.20 c | 560653 | 6584 35052 121193 | 128219 113771 134 | 0.061 % |
766.68/767.22 c | 563133 | 6584 35052 121193 | 128219 116251 135 | 0.061 % |
770.38/770.99 c | 565858 | 6584 35052 121193 | 128219 118976 137 | 0.061 % |
775.08/775.60 c | 568856 | 6584 35052 121193 | 128219 121974 138 | 0.061 % |
779.78/780.35 c | 572157 | 6584 35052 121193 | 2147483647 125275 140 | 0.061 % |
786.08/786.60 c | 575783 | 6584 35052 121193 | 2147483647 128901 142 | 0.061 % |
792.18/792.74 c | 579776 | 6584 35052 121193 | 2147483647 132894 145 | 0.061 % |
798.87/799.48 c | 584161 | 6584 35052 121193 | 133118 118011 149 | 0.061 % |
806.87/807.46 c | 588984 | 6584 35052 121193 | 133118 122834 151 | 0.061 % |
815.57/816.18 c | 594290 | 6584 35052 121193 | 2147483647 128140 151 | 0.061 % |
815.86/816.41 c | 594391 | 6584 35052 121193 | 2147483647 128241 151 | 0.061 % |
816.06/816.67 c | 594507 | 6584 35052 121193 | 2147483647 128357 151 | 0.061 % |
816.36/816.92 c | 594635 | 6584 35052 121193 | 2147483647 128485 151 | 0.061 % |
816.56/817.14 c | 594769 | 6584 35052 121193 | 2147483647 128619 151 | 0.061 % |
816.86/817.42 c | 594916 | 6584 35052 121193 | 2147483647 128766 151 | 0.061 % |
817.16/817.72 c | 595076 | 6584 35052 121193 | 2147483647 128926 151 | 0.061 % |
817.46/818.04 c | 595253 | 6584 35052 121193 | 2147483647 129103 151 | 0.061 % |
817.86/818.43 c | 595448 | 6584 35052 121193 | 2147483647 129298 151 | 0.061 % |
818.26/818.89 c | 595662 | 6584 35052 121193 | 2147483647 129512 151 | 0.061 % |
818.76/819.32 c | 595895 | 6584 35052 121193 | 2147483647 129745 151 | 0.061 % |
819.26/819.83 c | 596152 | 6584 35052 121193 | 2147483647 130002 151 | 0.061 % |
819.76/820.36 c | 596433 | 6584 35052 121193 | 2147483647 130283 151 | 0.061 % |
820.36/820.94 c | 596743 | 6584 35052 121193 | 2147483647 130593 151 | 0.061 % |
820.86/821.45 c | 597086 | 6584 35052 121193 | 2147483647 130936 151 | 0.061 % |
821.66/822.21 c | 597458 | 6584 35052 121193 | 2147483647 131308 151 | 0.061 % |
822.56/823.10 c | 597867 | 6584 35052 121193 | 2147483647 131717 151 | 0.061 % |
823.36/823.98 c | 598317 | 6584 35052 121193 | 2147483647 132167 151 | 0.061 % |
824.26/824.88 c | 598812 | 6584 35052 121193 | 2147483647 132662 151 | 0.061 % |
825.26/825.85 c | 599354 | 6584 35052 121193 | 2147483647 133204 151 | 0.061 % |
826.26/826.89 c | 599950 | 6584 35052 121193 | 2147483647 133800 151 | 0.061 % |
827.45/828.01 c | 600605 | 6584 35052 121193 | 2147483647 134455 151 | 0.061 % |
828.76/829.39 c | 601325 | 6584 35052 121193 | 2147483647 135175 151 | 0.061 % |
830.05/830.60 c | 602121 | 6584 35052 121193 | 2147483647 135971 151 | 0.061 % |
831.75/832.30 c | 602992 | 6584 35052 121193 | 2147483647 136842 151 | 0.061 % |
833.55/834.10 c | 603950 | 6584 35052 121193 | 2147483647 137800 151 | 0.061 % |
835.15/835.76 c | 605003 | 6584 35052 121193 | 2147483647 138853 151 | 0.061 % |
837.45/838.01 c | 606164 | 6584 35052 121193 | 2147483647 140014 151 | 0.061 % |
839.85/840.40 c | 607439 | 6584 35052 121193 | 2147483647 141289 151 | 0.061 % |
842.05/842.69 c | 608841 | 6584 35052 121193 | 2147483647 142691 152 | 0.061 % |
844.34/844.90 c | 610381 | 6584 35052 121193 | 2147483647 144231 152 | 0.061 % |
846.64/847.20 c | 612075 | 6584 35052 121193 | 2147483647 145925 152 | 0.061 % |
850.54/851.19 c | 613942 | 6584 35052 121193 | 2147483647 147792 153 | 0.061 % |
854.44/855.03 c | 616000 | 6584 35052 121193 | 2147483647 149850 154 | 0.061 % |
858.64/859.21 c | 618254 | 6584 35052 121193 | 2147483647 152104 153 | 0.061 % |
862.44/863.03 c | 620732 | 6584 35052 121193 | 153850 154582 153 | 0.061 % |
867.14/867.72 c | 623458 | 6584 35052 121193 | 153850 140265 155 | 0.061 % |
871.64/872.24 c | 626455 | 6584 35052 121193 | 153850 143262 156 | 0.061 % |
877.03/877.66 c | 629754 | 6584 35052 121193 | 153850 146561 157 | 0.061 % |
883.43/884.06 c | 633381 | 6584 35052 121193 | 146813 129263 157 | 0.061 % |
889.22/889.85 c | 637368 | 6584 35052 121193 | 146813 133250 158 | 0.061 % |
896.52/897.14 c | 641755 | 6584 35052 121193 | 135888 118858 153 | 0.061 % |
903.32/903.93 c | 646579 | 6584 35052 121193 | 135888 123682 154 | 0.061 % |
913.11/913.79 c | 651884 | 6584 35052 121193 | 127104 111119 147 | 0.061 % |
921.61/922.25 c | 657719 | 6584 35052 121193 | 127104 116954 151 | 0.061 % |
921.81/922.40 c | 657819 | 6584 35052 121193 | 127104 117054 151 | 0.061 % |
921.91/922.58 c | 657929 | 6584 35052 121193 | 127104 117164 151 | 0.061 % |
922.11/922.79 c | 658053 | 6584 35052 121193 | 127104 117288 151 | 0.061 % |
922.41/923.04 c | 658187 | 6584 35052 121193 | 127104 117422 151 | 0.061 % |
922.61/923.29 c | 658336 | 6584 35052 121193 | 127104 117571 151 | 0.061 % |
922.91/923.51 c | 658497 | 6584 35052 121193 | 127104 117732 151 | 0.061 % |
923.11/923.70 c | 658673 | 6584 35052 121193 | 127104 117908 151 | 0.061 % |
923.21/923.89 c | 658867 | 6584 35052 121193 | 127104 118102 151 | 0.061 % |
923.71/924.33 c | 659084 | 6584 35052 121193 | 127104 118319 151 | 0.061 % |
924.11/924.79 c | 659319 | 6584 35052 121193 | 127104 118554 151 | 0.061 % |
924.61/925.28 c | 659580 | 6584 35052 121193 | 127104 118815 151 | 0.061 % |
925.21/925.82 c | 659862 | 6584 35052 121193 | 127104 119097 151 | 0.061 % |
925.71/926.36 c | 660171 | 6584 35052 121193 | 119236 119406 151 | 0.061 % |
926.51/927.14 c | 660513 | 6584 35052 121193 | 119236 101642 145 | 0.061 % |
927.01/927.68 c | 660886 | 6584 35052 121193 | 119236 102015 145 | 0.061 % |
927.71/928.35 c | 661295 | 6584 35052 121193 | 119236 102424 146 | 0.061 % |
928.41/929.00 c | 661744 | 6584 35052 121193 | 119236 102873 146 | 0.061 % |
928.91/929.55 c | 662238 | 6584 35052 121193 | 119236 103367 146 | 0.061 % |
930.21/930.80 c | 662780 | 6584 35052 121193 | 119236 103909 146 | 0.061 % |
931.31/931.93 c | 663377 | 6584 35052 121193 | 119236 104506 146 | 0.061 % |
932.31/932.98 c | 664033 | 6584 35052 121193 | 119236 105162 146 | 0.061 % |
933.10/933.70 c | 664758 | 6584 35052 121193 | 119236 105887 147 | 0.061 % |
933.80/934.45 c | 665550 | 6584 35052 121193 | 119236 106679 147 | 0.061 % |
935.10/935.74 c | 666422 | 6584 35052 121193 | 119236 107551 148 | 0.061 % |
936.50/937.20 c | 667381 | 6584 35052 121193 | 119236 108510 149 | 0.061 % |
937.90/938.54 c | 668437 | 6584 35052 121193 | 119236 109566 149 | 0.061 % |
939.90/940.56 c | 669596 | 6584 35052 121193 | 119236 110725 149 | 0.061 % |
942.10/942.71 c | 670872 | 6584 35052 121193 | 2147483647 112001 149 | 0.061 % |
943.99/944.62 c | 672273 | 6584 35052 121193 | 2147483647 113402 150 | 0.061 % |
946.59/947.26 c | 673813 | 6584 35052 121193 | 2147483647 114942 150 | 0.061 % |
949.19/949.84 c | 675507 | 6584 35052 121193 | 2147483647 116636 150 | 0.061 % |
951.19/951.86 c | 677373 | 6584 35052 121193 | 2147483647 118502 149 | 0.061 % |
953.69/954.32 c | 679422 | 6584 35052 121193 | 2147483647 120551 149 | 0.061 % |
956.29/956.97 c | 681676 | 6584 35052 121193 | 2147483647 122805 150 | 0.061 % |
960.69/961.36 c | 684156 | 6584 35052 121193 | 2147483647 125285 152 | 0.061 % |
964.19/964.84 c | 686884 | 6584 35052 121193 | 2147483647 128013 153 | 0.061 % |
970.28/970.96 c | 689881 | 6584 35052 121193 | 2147483647 131010 155 | 0.061 % |
975.88/976.53 c | 693177 | 6584 35052 121193 | 2147483647 134306 156 | 0.061 % |
982.87/983.58 c | 696802 | 6584 35052 121193 | 2147483647 137931 158 | 0.061 % |
989.47/990.15 c | 700789 | 6584 35052 121193 | 141129 141918 159 | 0.061 % |
997.07/997.79 c | 705174 | 6584 35052 121193 | 141129 122609 160 | 0.061 % |
1004.96/1005.63 c | 709998 | 6584 35052 121193 | 141129 127433 162 | 0.061 % |
1013.86/1014.57 c | 715305 | 6584 35052 121193 | 127438 110933 156 | 0.061 % |
1024.06/1024.74 c | 721143 | 6584 35052 121193 | 115629 116771 159 | 0.061 % |
1034.74/1035.49 c | 727564 | 6584 35052 121193 | 115629 103601 159 | 0.061 % |
1035.04/1035.71 c | 727664 | 6584 35052 121193 | 115629 103701 159 | 0.061 % |
1035.24/1035.94 c | 727775 | 6584 35052 121193 | 115629 103812 159 | 0.061 % |
1035.34/1036.09 c | 727896 | 6584 35052 121193 | 115629 103933 159 | 0.061 % |
1035.55/1036.24 c | 728030 | 6584 35052 121193 | 115629 104067 159 | 0.061 % |
1035.84/1036.57 c | 728181 | 6584 35052 121193 | 115629 104218 159 | 0.061 % |
1036.04/1036.80 c | 728341 | 6584 35052 121193 | 115629 104378 159 | 0.061 % |
1036.24/1036.95 c | 728517 | 6584 35052 121193 | 115629 104554 159 | 0.061 % |
1036.55/1037.23 c | 728711 | 6584 35052 121193 | 115629 104748 159 | 0.061 % |
1036.74/1037.47 c | 728925 | 6584 35052 121193 | 115629 104962 159 | 0.061 % |
1037.14/1037.88 c | 729158 | 6584 35052 121193 | 115629 105195 159 | 0.061 % |
1037.65/1038.34 c | 729417 | 6584 35052 121193 | 115629 105454 159 | 0.061 % |
1038.34/1039.07 c | 729701 | 6584 35052 121193 | 115629 105738 159 | 0.061 % |
1039.14/1039.82 c | 730010 | 6584 35052 121193 | 106038 106047 159 | 0.061 % |
1039.94/1040.62 c | 730355 | 6584 35052 121193 | 106038 90899 158 | 0.061 % |
1040.44/1041.10 c | 730727 | 6584 35052 121193 | 106038 91271 158 | 0.061 % |
1040.94/1041.64 c | 731136 | 6584 35052 121193 | 106038 91680 158 | 0.061 % |
1041.44/1042.18 c | 731591 | 6584 35052 121193 | 106038 92135 158 | 0.061 % |
1042.34/1043.00 c | 732085 | 6584 35052 121193 | 106038 92629 159 | 0.061 % |
1043.04/1043.76 c | 732627 | 6584 35052 121193 | 106038 93171 159 | 0.061 % |
1043.74/1044.42 c | 733223 | 6584 35052 121193 | 106038 93767 159 | 0.061 % |
1044.44/1045.11 c | 733879 | 6584 35052 121193 | 106038 94423 159 | 0.061 % |
1045.24/1045.95 c | 734599 | 6584 35052 121193 | 106038 95143 159 | 0.061 % |
1046.34/1047.04 c | 735393 | 6584 35052 121193 | 106038 95937 160 | 0.061 % |
1047.54/1048.29 c | 736264 | 6584 35052 121193 | 106038 96808 160 | 0.061 % |
1048.84/1049.58 c | 737222 | 6584 35052 121193 | 106038 97766 159 | 0.061 % |
1050.44/1051.13 c | 738275 | 6584 35052 121193 | 106038 98819 159 | 0.061 % |
1052.54/1053.20 c | 739439 | 6584 35052 121193 | 106038 99983 159 | 0.061 % |
1054.63/1055.38 c | 740714 | 6584 35052 121193 | 2147483647 101258 159 | 0.061 % |
1057.23/1057.92 c | 742114 | 6584 35052 121193 | 2147483647 102658 159 | 0.061 % |
1059.03/1059.75 c | 743655 | 6584 35052 121193 | 2147483647 104199 158 | 0.061 % |
1061.23/1061.98 c | 745350 | 6584 35052 121193 | 2147483647 105894 157 | 0.061 % |
1063.63/1064.31 c | 747213 | 6584 35052 121193 | 2147483647 107757 157 | 0.061 % |
1066.73/1067.43 c | 749262 | 6584 35052 121193 | 2147483647 109806 157 | 0.061 % |
1070.52/1071.24 c | 751515 | 6584 35052 121193 | 2147483647 112059 156 | 0.061 % |
1075.42/1076.10 c | 753993 | 6584 35052 121193 | 2147483647 114537 156 | 0.061 % |
1080.62/1081.34 c | 756722 | 6584 35052 121193 | 2147483647 117266 156 | 0.061 % |
1085.61/1086.30 c | 759719 | 6584 35052 121193 | 2147483647 120263 156 | 0.061 % |
1092.31/1093.04 c | 763017 | 6584 35052 121193 | 2147483647 123561 156 | 0.061 % |
1097.91/1098.63 c | 766644 | 6584 35052 121193 | 2147483647 127188 155 | 0.061 % |
1106.71/1107.43 c | 770633 | 6584 35052 121193 | 2147483647 131177 155 | 0.061 % |
1112.80/1113.51 c | 775020 | 6584 35052 121193 | 2147483647 135564 155 | 0.061 % |
1123.70/1124.44 c | 779845 | 6584 35052 121193 | 2147483647 140389 158 | 0.061 % |
1133.99/1134.77 c | 785151 | 6584 35052 121193 | 140547 124085 152 | 0.061 % |
1143.59/1144.30 c | 790988 | 6584 35052 121193 | 128934 129922 154 | 0.061 % |
1152.09/1152.87 c | 797406 | 6584 35052 121193 | 128934 112370 141 | 0.061 % |
1165.58/1166.35 c | 804468 | 6584 35052 121193 | 114968 103918 138 | 0.061 % |
1165.78/1166.53 c | 804568 | 6584 35052 121193 | 114968 104018 138 | 0.061 % |
1165.98/1166.73 c | 804682 | 6584 35052 121193 | 114968 104132 138 | 0.061 % |
1166.28/1167.01 c | 804804 | 6584 35052 121193 | 114968 104254 138 | 0.061 % |
1166.58/1167.32 c | 804944 | 6584 35052 121193 | 114968 104394 138 | 0.061 % |
1166.98/1167.75 c | 805090 | 6584 35052 121193 | 114968 104540 138 | 0.061 % |
1167.38/1168.14 c | 805252 | 6584 35052 121193 | 114968 104702 138 | 0.061 % |
1167.78/1168.53 c | 805430 | 6584 35052 121193 | 114968 104880 138 | 0.061 % |
1168.08/1168.88 c | 805624 | 6584 35052 121193 | 114968 105074 138 | 0.061 % |
1168.48/1169.28 c | 805836 | 6584 35052 121193 | 114968 105286 139 | 0.061 % |
1168.88/1169.61 c | 806069 | 6584 35052 121193 | 114968 105519 139 | 0.061 % |
1169.28/1170.07 c | 806325 | 6584 35052 121193 | 114968 105775 139 | 0.061 % |
1170.08/1170.80 c | 806609 | 6584 35052 121193 | 114968 106059 139 | 0.061 % |
1170.68/1171.42 c | 806918 | 6584 35052 121193 | 114968 106368 139 | 0.061 % |
1171.58/1172.30 c | 807259 | 6584 35052 121193 | 114968 106709 139 | 0.061 % |
1172.27/1173.00 c | 807631 | 6584 35052 121193 | 114968 107081 139 | 0.061 % |
1172.88/1173.68 c | 808041 | 6584 35052 121193 | 114968 107491 139 | 0.061 % |
1173.57/1174.39 c | 808491 | 6584 35052 121193 | 114968 107941 139 | 0.061 % |
1174.27/1175.01 c | 808984 | 6584 35052 121193 | 114968 108434 139 | 0.061 % |
1175.18/1175.95 c | 809530 | 6584 35052 121193 | 114968 108980 139 | 0.061 % |
1176.28/1177.03 c | 810126 | 6584 35052 121193 | 2147483647 109576 139 | 0.061 % |
1177.57/1178.31 c | 810781 | 6584 35052 121193 | 2147483647 110231 139 | 0.061 % |
1178.77/1179.55 c | 811503 | 6584 35052 121193 | 2147483647 110953 139 | 0.061 % |
1180.17/1180.93 c | 812298 | 6584 35052 121193 | 2147483647 111748 138 | 0.061 % |
1181.37/1182.18 c | 813169 | 6584 35052 121193 | 2147483647 112619 139 | 0.061 % |
1183.07/1183.87 c | 814127 | 6584 35052 121193 | 2147483647 113577 139 | 0.061 % |
1184.97/1185.73 c | 815180 | 6584 35052 121193 | 2147483647 114630 140 | 0.061 % |
1187.07/1187.86 c | 816340 | 6584 35052 121193 | 2147483647 115790 141 | 0.061 % |
1189.27/1190.09 c | 817613 | 6584 35052 121193 | 2147483647 117063 142 | 0.061 % |
1192.47/1193.30 c | 819015 | 6584 35052 121193 | 2147483647 118465 142 | 0.061 % |
1195.47/1196.27 c | 820558 | 6584 35052 121193 | 2147483647 120008 144 | 0.061 % |
1198.67/1199.45 c | 822253 | 6584 35052 121193 | 2147483647 121703 145 | 0.061 % |
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1833623-1242823996/watcher-1833623-1242823996 -o /tmp/evaluation-result-1833623-1242823996/solver-1833623-1242823996 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1833623-1242823996.cnf
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1230 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 0.92 0.98 1.03 3/64 3348
/proc/meminfo: memFree=1970664/2055920 swapFree=4179924/4192956
[pid=3348] ppid=3346 vsize=5356 CPUtime=0
/proc/3348/stat : 3348 (SatELiteGTI) S 3346 3348 3242 0 -1 4194304 276 0 0 0 0 0 0 0 18 0 1 0 310426346 5484544 235 1992294400 4194304 4889804 548682068832 18446744073709551615 271894413394 0 0 4100 65536 18446744071563648864 0 0 17 0 0 0
/proc/3348/statm: 1339 235 195 169 0 50 0
[pid=3349] ppid=3348 vsize=5356 CPUtime=0
/proc/3349/stat : 3349 (SatELiteGTI) R 3348 3348 3242 0 -1 4194368 51 25 0 0 0 0 0 0 20 0 1 0 310426346 5484544 238 1992294400 4194304 4889804 548682068832 18446744073709551615 271894242116 0 65536 4096 65538 0 0 0 17 0 0 0
/proc/3349/statm: 1339 238 198 169 0 50 0
[pid=3351] ppid=3349 vsize=0 CPUtime=0
/proc/3351/stat : 3351 (sed) Z 3349 3348 3242 0 -1 4194316 163 0 0 0 0 0 0 0 18 0 1 0 310426346 0 0 1992294400 0 0 0 0 0 0 0 4096 0 18446744071563351923 0 0 17 1 0 0
/proc/3351/statm: 0 0 0 0 0 0 0
[startup+0.0980571 s]
/proc/loadavg: 0.92 0.98 1.03 3/64 3348
/proc/meminfo: memFree=1970664/2055920 swapFree=4179924/4192956
[pid=3348] ppid=3346 vsize=5356 CPUtime=0
/proc/3348/stat : 3348 (SatELiteGTI) S 3346 3348 3242 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310426346 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 271894242116 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/3348/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.101048 s]
/proc/loadavg: 0.92 0.98 1.03 3/64 3348
/proc/meminfo: memFree=1970664/2055920 swapFree=4179924/4192956
[pid=3348] ppid=3346 vsize=5356 CPUtime=0
/proc/3348/stat : 3348 (SatELiteGTI) S 3346 3348 3242 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310426346 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 271894242116 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/3348/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.301101 s]
/proc/loadavg: 0.92 0.98 1.03 3/64 3348
/proc/meminfo: memFree=1970664/2055920 swapFree=4179924/4192956
[pid=3348] ppid=3346 vsize=5356 CPUtime=0
/proc/3348/stat : 3348 (SatELiteGTI) S 3346 3348 3242 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310426346 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 271894242116 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/3348/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.701161 s]
/proc/loadavg: 0.92 0.98 1.03 3/64 3348
/proc/meminfo: memFree=1970664/2055920 swapFree=4179924/4192956
[pid=3348] ppid=3346 vsize=5356 CPUtime=0
/proc/3348/stat : 3348 (SatELiteGTI) S 3346 3348 3242 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310426346 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 271894242116 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/3348/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+1.50129 s]
/proc/loadavg: 0.92 0.98 1.03 2/66 3354
/proc/meminfo: memFree=1963672/2055920 swapFree=4179924/4192956
[pid=3348] ppid=3346 vsize=5356 CPUtime=0.72
/proc/3348/stat : 3348 (SatELiteGTI) S 3346 3348 3242 0 -1 4194304 336 3479 0 0 0 0 69 3 16 0 1 0 310426346 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 271894242116 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3348/statm: 1339 239 197 169 0 50 0
[pid=3354] ppid=3348 vsize=4996 CPUtime=0.75
/proc/3354/stat : 3354 (minisat_static) R 3348 3348 3242 0 -1 4194304 1040 0 0 0 75 0 0 0 24 0 1 0 310426420 5115904 1026 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/3354/statm: 1249 1026 77 171 0 1076 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 10352
[startup+3.10158 s]
/proc/loadavg: 0.92 0.98 1.03 2/66 3354
/proc/meminfo: memFree=1962072/2055920 swapFree=4179924/4192956
[pid=3348] ppid=3346 vsize=5356 CPUtime=0.72
/proc/3348/stat : 3348 (SatELiteGTI) S 3346 3348 3242 0 -1 4194304 336 3479 0 0 0 0 69 3 16 0 1 0 310426346 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 271894242116 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3348/statm: 1339 239 197 169 0 50 0
[pid=3354] ppid=3348 vsize=7112 CPUtime=2.35
/proc/3354/stat : 3354 (minisat_static) R 3348 3348 3242 0 -1 4194304 1559 0 0 0 234 1 0 0 25 0 1 0 310426420 7282688 1545 1992294400 134512640 135215339 4294956240 18446744073709551615 134528676 0 0 4096 3 0 0 0 17 0 0 0
/proc/3354/statm: 1778 1545 77 171 0 1605 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 12468
[startup+6.30115 s]
/proc/loadavg: 1.01 1.00 1.04 2/66 3354
/proc/meminfo: memFree=1957848/2055920 swapFree=4179924/4192956
[pid=3348] ppid=3346 vsize=5356 CPUtime=0.72
/proc/3348/stat : 3348 (SatELiteGTI) S 3346 3348 3242 0 -1 4194304 336 3479 0 0 0 0 69 3 16 0 1 0 310426346 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 271894242116 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3348/statm: 1339 239 197 169 0 50 0
[pid=3354] ppid=3348 vsize=10632 CPUtime=5.54
/proc/3354/stat : 3354 (minisat_static) R 3348 3348 3242 0 -1 4194304 2439 0 0 0 552 2 0 0 25 0 1 0 310426420 10887168 2425 1992294400 134512640 135215339 4294956240 18446744073709551615 134538115 0 0 4096 3 0 0 0 17 0 0 0
/proc/3354/statm: 2658 2425 77 171 0 2485 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 15988
[startup+12.7013 s]
/proc/loadavg: 1.01 1.00 1.04 2/66 3354
/proc/meminfo: memFree=1949912/2055920 swapFree=4179924/4192956
[pid=3348] ppid=3346 vsize=5356 CPUtime=0.72
/proc/3348/stat : 3348 (SatELiteGTI) S 3346 3348 3242 0 -1 4194304 336 3479 0 0 0 0 69 3 16 0 1 0 310426346 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 271894242116 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3348/statm: 1339 239 197 169 0 50 0
[pid=3354] ppid=3348 vsize=18848 CPUtime=11.93
/proc/3354/stat : 3354 (minisat_static) R 3348 3348 3242 0 -1 4194304 4503 0 0 0 1190 3 0 0 25 0 1 0 310426420 19300352 4489 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/3354/statm: 4712 4489 77 171 0 4539 0
Current children cumulated CPU time (s) 12.65
Current children cumulated vsize (KiB) 24204
[startup+25.5016 s]
/proc/loadavg: 1.00 1.00 1.04 2/66 3354
/proc/meminfo: memFree=1937944/2055920 swapFree=4179924/4192956
[pid=3348] ppid=3346 vsize=5356 CPUtime=0.72
/proc/3348/stat : 3348 (SatELiteGTI) S 3346 3348 3242 0 -1 4194304 336 3479 0 0 0 0 69 3 16 0 1 0 310426346 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 271894242116 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3348/statm: 1339 239 197 169 0 50 0
[pid=3354] ppid=3348 vsize=30208 CPUtime=24.72
/proc/3354/stat : 3354 (minisat_static) R 3348 3348 3242 0 -1 4194304 7321 0 0 0 2466 6 0 0 25 0 1 0 310426420 30932992 7307 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 0 0 0
/proc/3354/statm: 7552 7307 77 171 0 7379 0
Current children cumulated CPU time (s) 25.44
Current children cumulated vsize (KiB) 35564
[startup+51.1012 s]
/proc/loadavg: 1.00 1.00 1.03 2/66 3354
/proc/meminfo: memFree=1918360/2055920 swapFree=4179924/4192956
[pid=3348] ppid=3346 vsize=5356 CPUtime=0.72
/proc/3348/stat : 3348 (SatELiteGTI) S 3346 3348 3242 0 -1 4194304 336 3479 0 0 0 0 69 3 16 0 1 0 310426346 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 271894242116 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3348/statm: 1339 239 197 169 0 50 0
[pid=3354] ppid=3348 vsize=49924 CPUtime=50.29
/proc/3354/stat : 3354 (minisat_static) R 3348 3348 3242 0 -1 4194304 12247 0 0 0 5018 11 0 0 25 0 1 0 310426420 51122176 12233 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/3354/statm: 12481 12233 77 171 0 12308 0
Current children cumulated CPU time (s) 51.01
Current children cumulated vsize (KiB) 55280
[startup+102.305 s]
/proc/loadavg: 1.00 1.00 1.03 2/66 3354
/proc/meminfo: memFree=1890072/2055920 swapFree=4179924/4192956
[pid=3348] ppid=3346 vsize=5356 CPUtime=0.72
/proc/3348/stat : 3348 (SatELiteGTI) S 3346 3348 3242 0 -1 4194304 336 3479 0 0 0 0 69 3 16 0 1 0 310426346 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 271894242116 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3348/statm: 1339 239 197 169 0 50 0
[pid=3354] ppid=3348 vsize=77980 CPUtime=101.47
/proc/3354/stat : 3354 (minisat_static) R 3348 3348 3242 0 -1 4194304 19197 0 0 0 10129 18 0 0 25 0 1 0 310426420 79851520 19183 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/3354/statm: 19495 19183 77 171 0 19322 0
Current children cumulated CPU time (s) 102.19
Current children cumulated vsize (KiB) 83336
[startup+162.301 s]
/proc/loadavg: 1.00 1.00 1.02 2/66 3354
/proc/meminfo: memFree=1877592/2055920 swapFree=4179924/4192956
[pid=3348] ppid=3346 vsize=5356 CPUtime=0.72
/proc/3348/stat : 3348 (SatELiteGTI) S 3346 3348 3242 0 -1 4194304 336 3479 0 0 0 0 69 3 16 0 1 0 310426346 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 271894242116 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3348/statm: 1339 239 197 169 0 50 0
[pid=3354] ppid=3348 vsize=90616 CPUtime=161.42
/proc/3354/stat : 3354 (minisat_static) R 3348 3348 3242 0 -1 4194304 22249 0 0 0 16121 21 0 0 25 0 1 0 310426420 92790784 22235 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/3354/statm: 22654 22235 77 171 0 22481 0
Current children cumulated CPU time (s) 162.14
Current children cumulated vsize (KiB) 95972
[startup+222.302 s]
/proc/loadavg: 1.00 1.00 1.02 2/66 3354
/proc/meminfo: memFree=1877016/2055920 swapFree=4179924/4192956
[pid=3348] ppid=3346 vsize=5356 CPUtime=0.72
/proc/3348/stat : 3348 (SatELiteGTI) S 3346 3348 3242 0 -1 4194304 336 3479 0 0 0 0 69 3 16 0 1 0 310426346 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 271894242116 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3348/statm: 1339 239 197 169 0 50 0
[pid=3354] ppid=3348 vsize=90992 CPUtime=221.37
/proc/3354/stat : 3354 (minisat_static) R 3348 3348 3242 0 -1 4194304 22364 0 0 0 22116 21 0 0 25 0 1 0 310426420 93175808 22350 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/3354/statm: 22748 22350 77 171 0 22575 0
Current children cumulated CPU time (s) 222.09
Current children cumulated vsize (KiB) 96348
[startup+282.302 s]
/proc/loadavg: 1.00 1.00 1.01 2/66 3354
/proc/meminfo: memFree=1876312/2055920 swapFree=4179924/4192956
[pid=3348] ppid=3346 vsize=5356 CPUtime=0.72
/proc/3348/stat : 3348 (SatELiteGTI) S 3346 3348 3242 0 -1 4194304 336 3479 0 0 0 0 69 3 16 0 1 0 310426346 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 271894242116 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3348/statm: 1339 239 197 169 0 50 0
[pid=3354] ppid=3348 vsize=91932 CPUtime=281.33
/proc/3354/stat : 3354 (minisat_static) R 3348 3348 3242 0 -1 4194304 22519 0 0 0 28112 21 0 0 25 0 1 0 310426420 94138368 22505 1992294400 134512640 135215339 4294956240 18446744073709551615 134528728 0 0 4096 3 0 0 0 17 0 0 0
/proc/3354/statm: 22983 22505 77 171 0 22810 0
Current children cumulated CPU time (s) 282.05
Current children cumulated vsize (KiB) 97288
[startup+342.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 3354
/proc/meminfo: memFree=1874072/2055920 swapFree=4179924/4192956
[pid=3348] ppid=3346 vsize=5356 CPUtime=0.72
/proc/3348/stat : 3348 (SatELiteGTI) S 3346 3348 3242 0 -1 4194304 336 3479 0 0 0 0 69 3 16 0 1 0 310426346 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 271894242116 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3348/statm: 1339 239 197 169 0 50 0
[pid=3354] ppid=3348 vsize=94040 CPUtime=341.31
/proc/3354/stat : 3354 (minisat_static) R 3348 3348 3242 0 -1 4194304 23048 0 0 0 34109 22 0 0 25 0 1 0 310426420 96296960 23034 1992294400 134512640 135215339 4294956240 18446744073709551615 134529099 0 0 4096 3 0 0 0 17 0 0 0
/proc/3354/statm: 23510 23034 77 171 0 23337 0
Current children cumulated CPU time (s) 342.03
Current children cumulated vsize (KiB) 99396
[startup+402.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 3354
/proc/meminfo: memFree=1867928/2055920 swapFree=4179924/4192956
[pid=3348] ppid=3346 vsize=5356 CPUtime=0.72
/proc/3348/stat : 3348 (SatELiteGTI) S 3346 3348 3242 0 -1 4194304 336 3479 0 0 0 0 69 3 16 0 1 0 310426346 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 271894242116 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3348/statm: 1339 239 197 169 0 50 0
[pid=3354] ppid=3348 vsize=99956 CPUtime=401.27
################
# More data... #
################
/proc/3354/statm: 26955 26451 77 171 0 26782 0
Current children cumulated CPU time (s) 521.93
Current children cumulated vsize (KiB) 113176
[startup+582.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 3360
/proc/meminfo: memFree=1859800/2055920 swapFree=4179924/4192956
[pid=3348] ppid=3346 vsize=5356 CPUtime=0.72
/proc/3348/stat : 3348 (SatELiteGTI) S 3346 3348 3242 0 -1 4194304 336 3479 0 0 0 0 69 3 16 0 1 0 310426346 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 271894242116 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3348/statm: 1339 239 197 169 0 50 0
[pid=3354] ppid=3348 vsize=108184 CPUtime=581.16
/proc/3354/stat : 3354 (minisat_static) R 3348 3348 3242 0 -1 4194304 26513 0 0 0 58090 26 0 0 25 0 1 0 310426420 110780416 26499 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/3354/statm: 27046 26499 77 171 0 26873 0
Current children cumulated CPU time (s) 581.88
Current children cumulated vsize (KiB) 113540
[startup+642.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 3360
/proc/meminfo: memFree=1857880/2055920 swapFree=4179924/4192956
[pid=3348] ppid=3346 vsize=5356 CPUtime=0.72
/proc/3348/stat : 3348 (SatELiteGTI) S 3346 3348 3242 0 -1 4194304 336 3479 0 0 0 0 69 3 16 0 1 0 310426346 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 271894242116 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3348/statm: 1339 239 197 169 0 50 0
[pid=3354] ppid=3348 vsize=110124 CPUtime=641.14
/proc/3354/stat : 3354 (minisat_static) R 3348 3348 3242 0 -1 4194304 26978 0 0 0 64087 27 0 0 25 0 1 0 310426420 112766976 26964 1992294400 134512640 135215339 4294956240 18446744073709551615 134528788 0 0 4096 3 0 0 0 17 0 0 0
/proc/3354/statm: 27531 26964 77 171 0 27358 0
Current children cumulated CPU time (s) 641.86
Current children cumulated vsize (KiB) 115480
[startup+702.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 3360
/proc/meminfo: memFree=1856856/2055920 swapFree=4179924/4192956
[pid=3348] ppid=3346 vsize=5356 CPUtime=0.72
/proc/3348/stat : 3348 (SatELiteGTI) S 3346 3348 3242 0 -1 4194304 336 3479 0 0 0 0 69 3 16 0 1 0 310426346 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 271894242116 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3348/statm: 1339 239 197 169 0 50 0
[pid=3354] ppid=3348 vsize=111096 CPUtime=701.11
/proc/3354/stat : 3354 (minisat_static) R 3348 3348 3242 0 -1 4194304 27189 0 0 0 70084 27 0 0 25 0 1 0 310426420 113762304 27175 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/3354/statm: 27774 27175 77 171 0 27601 0
Current children cumulated CPU time (s) 701.83
Current children cumulated vsize (KiB) 116452
[startup+762.305 s]
/proc/loadavg: 1.08 1.02 1.01 2/66 3360
/proc/meminfo: memFree=1856600/2055920 swapFree=4179924/4192956
[pid=3348] ppid=3346 vsize=5356 CPUtime=0.72
/proc/3348/stat : 3348 (SatELiteGTI) S 3346 3348 3242 0 -1 4194304 336 3479 0 0 0 0 69 3 16 0 1 0 310426346 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 271894242116 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3348/statm: 1339 239 197 169 0 50 0
[pid=3354] ppid=3348 vsize=111096 CPUtime=761.07
/proc/3354/stat : 3354 (minisat_static) R 3348 3348 3242 0 -1 4194304 27219 0 0 0 76080 27 0 0 25 0 1 0 310426420 113762304 27205 1992294400 134512640 135215339 4294956240 18446744073709551615 134528875 0 0 4096 3 0 0 0 17 0 0 0
/proc/3354/statm: 27774 27205 77 171 0 27601 0
Current children cumulated CPU time (s) 761.79
Current children cumulated vsize (KiB) 116452
[startup+822.301 s]
/proc/loadavg: 1.10 1.03 1.00 2/66 3360
/proc/meminfo: memFree=1856536/2055920 swapFree=4179924/4192956
[pid=3348] ppid=3346 vsize=5356 CPUtime=0.72
/proc/3348/stat : 3348 (SatELiteGTI) S 3346 3348 3242 0 -1 4194304 336 3479 0 0 0 0 69 3 16 0 1 0 310426346 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 271894242116 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3348/statm: 1339 239 197 169 0 50 0
[pid=3354] ppid=3348 vsize=111096 CPUtime=821.04
/proc/3354/stat : 3354 (minisat_static) R 3348 3348 3242 0 -1 4194304 27220 0 0 0 82077 27 0 0 25 0 1 0 310426420 113762304 27206 1992294400 134512640 135215339 4294956240 18446744073709551615 134528691 0 0 4096 3 0 0 0 17 0 0 0
/proc/3354/statm: 27774 27206 77 171 0 27601 0
Current children cumulated CPU time (s) 821.76
Current children cumulated vsize (KiB) 116452
[startup+882.303 s]
/proc/loadavg: 1.10 1.04 1.00 2/66 3360
/proc/meminfo: memFree=1851352/2055920 swapFree=4179924/4192956
[pid=3348] ppid=3346 vsize=5356 CPUtime=0.72
/proc/3348/stat : 3348 (SatELiteGTI) S 3346 3348 3242 0 -1 4194304 336 3479 0 0 0 0 69 3 16 0 1 0 310426346 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 271894242116 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3348/statm: 1339 239 197 169 0 50 0
[pid=3354] ppid=3348 vsize=116284 CPUtime=881.01
/proc/3354/stat : 3354 (minisat_static) R 3348 3348 3242 0 -1 4194304 28483 0 0 0 88073 28 0 0 25 0 1 0 310426420 119074816 28469 1992294400 134512640 135215339 4294956240 18446744073709551615 134532626 0 0 4096 3 0 0 0 17 0 0 0
/proc/3354/statm: 29071 28469 77 171 0 28898 0
Current children cumulated CPU time (s) 881.73
Current children cumulated vsize (KiB) 121640
[startup+942.302 s]
/proc/loadavg: 1.41 1.13 1.04 2/66 3360
/proc/meminfo: memFree=1851096/2055920 swapFree=4179924/4192956
[pid=3348] ppid=3346 vsize=5356 CPUtime=0.72
/proc/3348/stat : 3348 (SatELiteGTI) S 3346 3348 3242 0 -1 4194304 336 3479 0 0 0 0 69 3 16 0 1 0 310426346 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 271894242116 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3348/statm: 1339 239 197 169 0 50 0
[pid=3354] ppid=3348 vsize=116512 CPUtime=940.98
/proc/3354/stat : 3354 (minisat_static) R 3348 3348 3242 0 -1 4194304 28519 0 0 0 94070 28 0 0 25 0 1 0 310426420 119308288 28505 1992294400 134512640 135215339 4294956240 18446744073709551615 134532626 0 0 4096 3 0 0 0 17 0 0 0
/proc/3354/statm: 29128 28505 77 171 0 28955 0
Current children cumulated CPU time (s) 941.7
Current children cumulated vsize (KiB) 121868
[startup+1002.3 s]
/proc/loadavg: 1.15 1.11 1.03 2/66 3360
/proc/meminfo: memFree=1850968/2055920 swapFree=4179924/4192956
[pid=3348] ppid=3346 vsize=5356 CPUtime=0.72
/proc/3348/stat : 3348 (SatELiteGTI) S 3346 3348 3242 0 -1 4194304 336 3479 0 0 0 0 69 3 16 0 1 0 310426346 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 271894242116 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3348/statm: 1339 239 197 169 0 50 0
[pid=3354] ppid=3348 vsize=116512 CPUtime=1000.94
/proc/3354/stat : 3354 (minisat_static) R 3348 3348 3242 0 -1 4194304 28519 0 0 0 100066 28 0 0 25 0 1 0 310426420 119308288 28505 1992294400 134512640 135215339 4294956240 18446744073709551615 134528863 0 0 4096 3 0 0 0 17 0 0 0
/proc/3354/statm: 29128 28505 77 171 0 28955 0
Current children cumulated CPU time (s) 1001.66
Current children cumulated vsize (KiB) 121868
[startup+1062.3 s]
/proc/loadavg: 1.05 1.08 1.02 2/66 3360
/proc/meminfo: memFree=1850840/2055920 swapFree=4179924/4192956
[pid=3348] ppid=3346 vsize=5356 CPUtime=0.72
/proc/3348/stat : 3348 (SatELiteGTI) S 3346 3348 3242 0 -1 4194304 336 3479 0 0 0 0 69 3 16 0 1 0 310426346 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 271894242116 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3348/statm: 1339 239 197 169 0 50 0
[pid=3354] ppid=3348 vsize=116512 CPUtime=1060.91
/proc/3354/stat : 3354 (minisat_static) R 3348 3348 3242 0 -1 4194304 28519 0 0 0 106063 28 0 0 25 0 1 0 310426420 119308288 28505 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/3354/statm: 29128 28505 77 171 0 28955 0
Current children cumulated CPU time (s) 1061.63
Current children cumulated vsize (KiB) 121868
[startup+1122.3 s]
/proc/loadavg: 1.02 1.07 1.02 2/66 3360
/proc/meminfo: memFree=1850904/2055920 swapFree=4179924/4192956
[pid=3348] ppid=3346 vsize=5356 CPUtime=0.72
/proc/3348/stat : 3348 (SatELiteGTI) S 3346 3348 3242 0 -1 4194304 336 3479 0 0 0 0 69 3 16 0 1 0 310426346 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 271894242116 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3348/statm: 1339 239 197 169 0 50 0
[pid=3354] ppid=3348 vsize=116512 CPUtime=1120.88
/proc/3354/stat : 3354 (minisat_static) R 3348 3348 3242 0 -1 4194304 28521 0 0 0 112060 28 0 0 25 0 1 0 310426420 119308288 28507 1992294400 134512640 135215339 4294956240 18446744073709551615 134528788 0 0 4096 3 0 0 0 17 0 0 0
/proc/3354/statm: 29128 28507 77 171 0 28955 0
Current children cumulated CPU time (s) 1121.6
Current children cumulated vsize (KiB) 121868
[startup+1182.3 s]
/proc/loadavg: 1.00 1.05 1.01 2/66 3360
/proc/meminfo: memFree=1850776/2055920 swapFree=4179924/4192956
[pid=3348] ppid=3346 vsize=5356 CPUtime=0.72
/proc/3348/stat : 3348 (SatELiteGTI) S 3346 3348 3242 0 -1 4194304 336 3479 0 0 0 0 69 3 16 0 1 0 310426346 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 271894242116 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3348/statm: 1339 239 197 169 0 50 0
[pid=3354] ppid=3348 vsize=116512 CPUtime=1180.85
/proc/3354/stat : 3354 (minisat_static) R 3348 3348 3242 0 -1 4194304 28522 0 0 0 118057 28 0 0 25 0 1 0 310426420 119308288 28508 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/3354/statm: 29128 28508 77 171 0 28955 0
Current children cumulated CPU time (s) 1181.57
Current children cumulated vsize (KiB) 121868
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1200.8 s]
/proc/loadavg: 1.00 1.05 1.01 2/66 3360
/proc/meminfo: memFree=1850776/2055920 swapFree=4179924/4192956
[pid=3348] ppid=3346 vsize=5356 CPUtime=0.72
/proc/3348/stat : 3348 (SatELiteGTI) S 3346 3348 3242 0 -1 4194304 336 3479 0 0 0 0 69 3 16 0 1 0 310426346 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 271894242116 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3348/statm: 1339 239 197 169 0 50 0
[pid=3354] ppid=3348 vsize=116512 CPUtime=1199.36
/proc/3354/stat : 3354 (minisat_static) R 3348 3348 3242 0 -1 4194304 28524 0 0 0 119907 29 0 0 25 0 1 0 310426420 119308288 28510 1992294400 134512640 135215339 4294956240 18446744073709551615 134720936 0 0 4096 3 0 0 0 17 0 0 0
/proc/3354/statm: 29128 28510 77 171 0 28955 0
Current children cumulated CPU time (s) 1200.08
Current children cumulated vsize (KiB) 121868
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 3348 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=699893
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=36994
# CPU time returned by wait4() is 0.736887
# while last known CPU time is 1200.08
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1200.81
CPU time (s): 1200.08
CPU user time (s): 1199.76
CPU system time (s): 0.32
CPU usage (%): 99.9389
Max. virtual memory (cumulated for all children) (KiB): 121868
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.699893
system time used= 0.036994
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3815
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 14
involuntary context switches= 16
runsolver used 1.00185 second user time and 3.47847 second system time
The end
Begin job on node60 at 2009-05-20 14:53:16
IDJOB=1833623
IDBENCH=70796
IDSOLVER=671
FILE ID=node60/1833623-1242823996
PBS_JOBID= 9322506
Free space on /tmp= 66380 MiB
SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT09/APPLICATIONS/bitverif/maxxororand/maxxororand032.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1833623-1242823996/watcher-1833623-1242823996 -o /tmp/evaluation-result-1833623-1242823996/solver-1833623-1242823996 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1833623-1242823996.cnf
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= fc00df719c8630009723cd295f7c0c3b
RANDOM SEED=1855148654
node60.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.256
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5914.62
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.256
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5586.94
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1971144 kB
Buffers: 16940 kB
Cached: 31840 kB
SwapCached: 7116 kB
Active: 26096 kB
Inactive: 31452 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1971144 kB
SwapTotal: 4192956 kB
SwapFree: 4179924 kB
Dirty: 2700 kB
Writeback: 0 kB
Mapped: 13944 kB
Slab: 13212 kB
Committed_AS: 1041904 kB
PageTables: 1452 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264952 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 66376 MiB
End job on node60 at 2009-05-20 15:13:19