0.00/0.00 c Parsing...
0.00/0.02 c ==============================================================================
0.00/0.02 c | | ORIGINAL | LEARNT | |
0.00/0.02 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress |
0.00/0.02 c ==============================================================================
0.00/0.02 c | 0 | 25200 75600 | 7559 0 0 nan | 0.000 % |
0.00/0.08 c | 0 | 25026 76177 | -- 0 -- -- | -- | -174/577
0.00/0.08 c ==============================================================================
0.00/0.08 c Result : #vars: 5825 #clauses: 25026 #literals: 76177
0.00/0.08 c CPU time: 0.072988 s
0.00/0.08 c ==============================================================================
0.00/0.10 c This is MiniSat 2.0 beta
0.00/0.10 c WARNING: for repeatability, setting FPU to use double precision
0.00/0.10 c ============================[ Problem Statistics ]=============================
0.00/0.10 c | |
0.00/0.11 c | Number of variables: 5825 |
0.00/0.11 c | Number of clauses: 25026 |
0.00/0.12 c | Parsing time: 0.01 s |
0.00/0.12 c ============================[ Search Statistics ]==============================
0.00/0.12 c | Conflicts | ORIGINAL | LEARNT | Progress |
0.00/0.12 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
0.00/0.12 c ===============================================================================
0.00/0.12 c | 0 | 5825 25026 76177 | 8342 0 nan | 0.000 % |
0.00/0.14 c | 100 | 5825 25026 76177 | 8342 100 84 | 0.000 % |
0.00/0.16 c | 200 | 5825 25026 76177 | 8342 200 104 | 0.000 % |
0.00/0.18 c | 300 | 5825 25026 76177 | 8342 300 102 | 0.000 % |
0.00/0.20 c | 410 | 5825 25026 76177 | 8342 410 106 | 0.000 % |
0.09/0.21 c | 510 | 5825 25026 76177 | 8342 510 103 | 0.000 % |
0.09/0.23 c | 620 | 5825 25026 76177 | 8342 620 104 | 0.000 % |
0.09/0.25 c | 742 | 5825 25026 76177 | 8342 742 109 | 0.000 % |
0.09/0.27 c | 843 | 5825 25026 76177 | 8342 843 112 | 0.000 % |
0.09/0.29 c | 953 | 5825 25026 76177 | 8342 953 109 | 0.000 % |
0.09/0.31 c | 1074 | 5825 25026 76177 | 8342 1074 108 | 0.000 % |
0.09/0.33 c | 1207 | 5825 25026 76177 | 8342 1207 111 | 0.000 % |
0.09/0.35 c | 1307 | 5825 25026 76177 | 8342 1307 112 | 0.000 % |
0.09/0.37 c | 1418 | 5825 25026 76177 | 8342 1418 113 | 0.000 % |
0.09/0.39 c | 1540 | 5825 25026 76177 | 8342 1540 114 | 0.000 % |
0.09/0.41 c | 1673 | 5825 25026 76177 | 8342 1673 112 | 0.000 % |
0.09/0.43 c | 1821 | 5825 25026 76177 | 8342 1821 111 | 0.000 % |
0.09/0.45 c | 1922 | 5825 25026 76177 | 8342 1922 111 | 0.000 % |
0.09/0.47 c | 2033 | 5825 25026 76177 | 8342 2033 110 | 0.000 % |
0.09/0.49 c | 2155 | 5825 25026 76177 | 8342 2155 110 | 0.000 % |
0.09/0.52 c | 2288 | 5825 25026 76177 | 8342 2288 109 | 0.000 % |
0.09/0.54 c | 2435 | 5825 25026 76177 | 8342 2435 110 | 0.000 % |
0.09/0.57 c | 2596 | 5825 25026 76177 | 8342 2596 111 | 0.000 % |
0.09/0.59 c | 2696 | 5825 25026 76177 | 8342 2696 110 | 0.000 % |
0.09/0.61 c | 2806 | 5825 25026 76177 | 8342 2806 110 | 0.000 % |
0.09/0.64 c | 2927 | 5825 25026 76177 | 8342 2927 111 | 0.000 % |
0.09/0.66 c | 3060 | 5825 25026 76177 | 8342 3060 111 | 0.000 % |
0.09/0.69 c | 3206 | 5825 25026 76177 | 8342 3206 112 | 0.000 % |
0.09/0.72 c | 3366 | 5825 25026 76177 | 8342 3366 113 | 0.000 % |
0.09/0.75 c | 3542 | 5825 25026 76177 | 8342 3542 113 | 0.000 % |
0.09/0.77 c | 3642 | 5825 25026 76177 | 8342 3642 113 | 0.000 % |
0.09/0.80 c | 3752 | 5825 25026 76177 | 8342 3752 113 | 0.000 % |
0.09/0.82 c | 3873 | 5825 25026 76177 | 8342 3873 114 | 0.000 % |
0.09/0.85 c | 4008 | 5825 25026 76177 | 8342 4008 114 | 0.000 % |
0.09/0.87 c | 4154 | 5825 25026 76177 | 8342 4154 115 | 0.000 % |
0.09/0.90 c | 4316 | 5825 25026 76177 | 8342 4316 115 | 0.000 % |
0.09/0.94 c | 4493 | 5825 25026 76177 | 8342 4493 116 | 0.000 % |
0.09/0.98 c | 4689 | 5825 25026 76177 | 8342 4689 117 | 0.000 % |
0.09/1.00 c | 4791 | 5825 25026 76177 | 8342 4791 116 | 0.000 % |
0.98/1.02 c | 4902 | 5825 25026 76177 | 8342 4902 116 | 0.000 % |
0.98/1.05 c | 5023 | 5825 25026 76177 | 8342 5023 117 | 0.000 % |
0.98/1.07 c | 5156 | 5825 25026 76177 | 8342 5156 117 | 0.000 % |
0.98/1.10 c | 5302 | 5825 25026 76177 | 8342 5302 116 | 0.000 % |
1.08/1.13 c | 5463 | 5825 25026 76177 | 8342 5463 116 | 0.000 % |
1.08/1.17 c | 5639 | 5825 25026 76177 | 8342 5639 116 | 0.000 % |
1.17/1.21 c | 5832 | 5825 25026 76177 | 8342 5832 117 | 0.000 % |
1.17/1.26 c | 6044 | 5825 25026 76177 | 8342 6044 117 | 0.000 % |
1.17/1.28 c | 6144 | 5825 25026 76177 | 8342 6144 118 | 0.000 % |
1.27/1.30 c | 6256 | 5825 25026 76177 | 8342 6256 117 | 0.000 % |
1.27/1.33 c | 6377 | 5825 25026 76177 | 8342 6377 118 | 0.000 % |
1.27/1.35 c | 6510 | 5825 25026 76177 | 8342 6510 117 | 0.000 % |
1.27/1.39 c | 6656 | 5825 25026 76177 | 8342 6656 118 | 0.000 % |
1.37/1.42 c | 6818 | 5825 25026 76177 | 8342 6818 118 | 0.000 % |
1.37/1.46 c | 6994 | 5825 25026 76177 | 8342 6994 118 | 0.000 % |
1.47/1.50 c | 7187 | 5825 25026 76177 | 8342 7187 118 | 0.000 % |
1.47/1.54 c | 7399 | 5825 25026 76177 | 8342 7399 119 | 0.000 % |
1.47/1.60 c | 7633 | 5825 25026 76177 | 8342 7633 120 | 0.000 % |
1.57/1.62 c | 7734 | 5825 25026 76177 | 8342 7734 120 | 0.000 % |
1.57/1.64 c | 7844 | 5825 25026 76177 | 8342 7844 120 | 0.000 % |
1.57/1.67 c | 7966 | 5825 25026 76177 | 8342 7966 119 | 0.000 % |
1.67/1.70 c | 8100 | 5825 25026 76177 | 8342 8100 120 | 0.000 % |
1.67/1.73 c | 8249 | 5825 25026 76177 | 8342 8249 120 | 0.000 % |
1.67/1.77 c | 8410 | 5825 25026 76177 | 8342 8410 120 | 0.000 % |
1.77/1.81 c | 8586 | 5825 25026 76177 | 8342 7745 119 | 0.000 % |
1.77/1.86 c | 8780 | 5825 25026 76177 | 8342 7939 119 | 0.000 % |
1.87/1.90 c | 8994 | 5825 25026 76177 | 8342 8153 119 | 0.000 % |
1.87/1.95 c | 9230 | 5825 25026 76177 | 8342 8389 119 | 0.000 % |
1.97/2.01 c | 9486 | 5825 25026 76177 | 8342 7807 121 | 0.000 % |
1.97/2.03 c | 9589 | 5825 25026 76177 | 8342 7910 121 | 0.000 % |
1.97/2.06 c | 9699 | 5825 25026 76177 | 8342 8020 120 | 0.000 % |
1.97/2.08 c | 9821 | 5825 25026 76177 | 8342 8142 120 | 0.000 % |
2.07/2.11 c | 9954 | 5825 25026 76177 | 8342 8275 120 | 0.000 % |
2.07/2.15 c | 10102 | 5825 25026 76177 | 2147483647 8423 120 | 0.000 % |
2.07/2.18 c | 10262 | 5825 25026 76177 | 2147483647 8583 120 | 0.000 % |
2.17/2.22 c | 10439 | 5825 25026 76177 | 2147483647 8760 120 | 0.000 % |
2.17/2.26 c | 10632 | 5825 25026 76177 | 2147483647 8953 120 | 0.000 % |
2.27/2.31 c | 10845 | 5825 25026 76177 | 2147483647 9166 120 | 0.000 % |
2.27/2.37 c | 11078 | 5825 25026 76177 | 2147483647 9399 120 | 0.000 % |
2.36/2.43 c | 11336 | 5825 25026 76177 | 2147483647 9657 120 | 0.000 % |
2.36/2.49 c | 11620 | 5825 25026 76177 | 2147483647 9941 121 | 0.000 % |
2.46/2.52 c | 11721 | 5825 25026 76177 | 2147483647 10042 121 | 0.000 % |
2.46/2.54 c | 11833 | 5825 25026 76177 | 2147483647 10154 121 | 0.000 % |
2.46/2.57 c | 11954 | 5825 25026 76177 | 2147483647 10275 121 | 0.000 % |
2.56/2.60 c | 12088 | 5825 25026 76177 | 2147483647 10409 121 | 0.000 % |
2.56/2.64 c | 12234 | 5825 25026 76177 | 2147483647 10555 121 | 0.000 % |
2.56/2.68 c | 12394 | 5825 25026 76177 | 2147483647 10715 121 | 0.000 % |
2.66/2.72 c | 12571 | 5825 25026 76177 | 2147483647 10892 121 | 0.000 % |
2.66/2.77 c | 12764 | 5825 25026 76177 | 2147483647 11085 121 | 0.000 % |
2.76/2.82 c | 12977 | 5825 25026 76177 | 2147483647 11298 121 | 0.000 % |
2.76/2.87 c | 13211 | 5825 25026 76177 | 2147483647 11532 121 | 0.000 % |
2.86/2.93 c | 13467 | 5825 25026 76177 | 2147483647 11788 122 | 0.000 % |
2.96/3.00 c | 13749 | 5825 25026 76177 | 2147483647 12070 122 | 0.000 % |
2.96/3.07 c | 14059 | 5825 25026 76177 | 2147483647 12380 122 | 0.000 % |
3.06/3.11 c | 14160 | 5825 25026 76177 | 2147483647 12481 122 | 0.000 % |
3.06/3.13 c | 14270 | 5825 25026 76177 | 2147483647 12591 122 | 0.000 % |
3.06/3.16 c | 14391 | 5825 25026 76177 | 2147483647 12712 122 | 0.000 % |
3.06/3.19 c | 14524 | 5825 25026 76177 | 2147483647 12845 122 | 0.000 % |
3.17/3.23 c | 14672 | 5825 25026 76177 | 2147483647 12993 122 | 0.000 % |
3.17/3.27 c | 14832 | 5825 25026 76177 | 2147483647 13153 122 | 0.000 % |
3.27/3.32 c | 15008 | 5825 25026 76177 | 2147483647 13329 121 | 0.000 % |
3.27/3.37 c | 15202 | 5825 25026 76177 | 2147483647 13523 121 | 0.000 % |
3.37/3.42 c | 15414 | 5825 25026 76177 | 2147483647 13735 122 | 0.000 % |
3.37/3.48 c | 15647 | 5825 25026 76177 | 2147483647 13968 122 | 0.000 % |
3.47/3.55 c | 15904 | 5825 25026 76177 | 2147483647 14225 122 | 0.000 % |
3.57/3.62 c | 16185 | 5825 25026 76177 | 2147483647 14506 122 | 0.000 % |
3.57/3.69 c | 16494 | 5825 25026 76177 | 2147483647 14815 123 | 0.000 % |
3.67/3.78 c | 16834 | 5825 25026 76177 | 2147483647 15155 123 | 0.000 % |
3.77/3.81 c | 16935 | 5825 25026 76177 | 2147483647 15256 123 | 0.000 % |
3.77/3.84 c | 17046 | 5825 25026 76177 | 2147483647 15367 123 | 0.000 % |
3.77/3.87 c | 17167 | 5825 25026 76177 | 2147483647 15488 123 | 0.000 % |
3.87/3.91 c | 17300 | 5825 25026 76177 | 2147483647 15621 123 | 0.000 % |
3.87/3.94 c | 17447 | 5825 25026 76177 | 2147483647 15768 123 | 0.000 % |
3.87/3.99 c | 17608 | 5825 25026 76177 | 2147483647 15929 123 | 0.000 % |
3.96/4.03 c | 17786 | 5825 25026 76177 | 2147483647 16107 123 | 0.000 % |
3.96/4.08 c | 17980 | 5825 25026 76177 | 2147483647 16301 123 | 0.000 % |
4.06/4.14 c | 18193 | 5825 25026 76177 | 2147483647 16514 123 | 0.000 % |
4.16/4.21 c | 18427 | 5825 25026 76177 | 2147483647 16748 122 | 0.000 % |
4.16/4.27 c | 18683 | 5825 25026 76177 | 2147483647 17004 122 | 0.000 % |
4.27/4.34 c | 18964 | 5825 25026 76177 | 2147483647 17285 122 | 0.000 % |
4.37/4.43 c | 19274 | 5825 25026 76177 | 2147483647 17595 123 | 0.000 % |
4.46/4.53 c | 19613 | 5825 25026 76177 | 2147483647 17934 123 | 0.000 % |
4.56/4.63 c | 19985 | 5825 25026 76177 | 2147483647 18306 123 | 0.000 % |
4.56/4.66 c | 20085 | 5825 25026 76177 | 2147483647 18406 123 | 0.000 % |
4.56/4.69 c | 20197 | 5825 25026 76177 | 2147483647 18518 123 | 0.000 % |
4.66/4.73 c | 20318 | 5825 25026 76177 | 2147483647 18639 123 | 0.000 % |
4.66/4.77 c | 20452 | 5825 25026 76177 | 2147483647 18773 123 | 0.000 % |
4.76/4.81 c | 20599 | 5825 25026 76177 | 2147483647 18920 123 | 0.000 % |
4.76/4.86 c | 20759 | 5825 25026 76177 | 2147483647 19080 122 | 0.000 % |
4.86/4.90 c | 20935 | 5825 25026 76177 | 2147483647 19256 122 | 0.000 % |
4.86/4.96 c | 21128 | 5825 25026 76177 | 2147483647 19449 123 | 0.000 % |
4.96/5.03 c | 21342 | 5825 25026 76177 | 2147483647 19663 123 | 0.000 % |
5.06/5.10 c | 21575 | 5825 25026 76177 | 2147483647 19896 123 | 0.000 % |
5.06/5.18 c | 21831 | 5825 25026 76177 | 2147483647 20152 123 | 0.000 % |
5.16/5.26 c | 22113 | 5825 25026 76177 | 2147483647 20434 123 | 0.000 % |
5.26/5.36 c | 22425 | 5825 25026 76177 | 2147483647 20746 123 | 0.000 % |
5.36/5.46 c | 22764 | 5825 25026 76177 | 2147483647 21085 123 | 0.000 % |
5.46/5.56 c | 23137 | 5825 25026 76177 | 2147483647 21458 123 | 0.000 % |
5.56/5.68 c | 23548 | 5825 25026 76177 | 2147483647 21869 124 | 0.000 % |
5.66/5.72 c | 23650 | 5825 25026 76177 | 2147483647 21971 124 | 0.000 % |
5.66/5.75 c | 23762 | 5825 25026 76177 | 2147483647 22083 124 | 0.000 % |
5.66/5.79 c | 23883 | 5825 25026 76177 | 2147483647 22204 124 | 0.000 % |
5.76/5.83 c | 24019 | 5825 25026 76177 | 2147483647 22340 124 | 0.000 % |
5.76/5.88 c | 24166 | 5825 25026 76177 | 2147483647 22487 124 | 0.000 % |
5.86/5.93 c | 24327 | 5825 25026 76177 | 2147483647 22648 124 | 0.000 % |
5.86/5.98 c | 24506 | 5825 25026 76177 | 2147483647 22827 124 | 0.000 % |
5.95/6.05 c | 24701 | 5825 25026 76177 | 2147483647 23022 124 | 0.000 % |
6.05/6.12 c | 24913 | 5825 25026 76177 | 2147483647 23234 124 | 0.000 % |
6.05/6.20 c | 25147 | 5825 25026 76177 | 2147483647 23468 124 | 0.000 % |
6.16/6.28 c | 25403 | 5825 25026 76177 | 2147483647 23724 124 | 0.000 % |
6.26/6.37 c | 25684 | 5825 25026 76177 | 2147483647 24005 124 | 0.000 % |
6.36/6.47 c | 25993 | 5825 25026 76177 | 2147483647 24314 124 | 0.000 % |
6.47/6.58 c | 26333 | 5825 25026 76177 | 2147483647 24654 125 | 0.000 % |
6.66/6.71 c | 26705 | 5825 25026 76177 | 2147483647 25026 125 | 0.000 % |
6.76/6.85 c | 27115 | 5825 25026 76177 | 2147483647 25436 126 | 0.000 % |
6.86/6.99 c | 27565 | 5825 25026 76177 | 2147483647 25886 126 | 0.000 % |
6.96/7.03 c | 27665 | 5825 25026 76177 | 2147483647 25986 126 | 0.000 % |
6.96/7.07 c | 27775 | 5825 25026 76177 | 2147483647 26096 126 | 0.000 % |
7.06/7.11 c | 27897 | 5825 25026 76177 | 2147483647 26218 126 | 0.000 % |
7.06/7.16 c | 28031 | 5825 25026 76177 | 2147483647 26352 126 | 0.000 % |
7.16/7.21 c | 28179 | 5825 25026 76177 | 2147483647 26500 125 | 0.000 % |
7.16/7.27 c | 28339 | 5825 25026 76177 | 2147483647 26660 125 | 0.000 % |
7.26/7.33 c | 28516 | 5825 25026 76177 | 2147483647 26837 125 | 0.000 % |
7.26/7.39 c | 28711 | 5825 25026 76177 | 2147483647 27032 125 | 0.000 % |
7.36/7.47 c | 28923 | 5825 25026 76177 | 2147483647 27244 125 | 0.000 % |
7.46/7.54 c | 29157 | 5825 25026 76177 | 2147483647 27478 125 | 0.000 % |
7.56/7.63 c | 29414 | 5825 25026 76177 | 2147483647 27735 125 | 0.000 % |
7.66/7.72 c | 29696 | 5825 25026 76177 | 2147483647 28017 125 | 0.000 % |
7.76/7.84 c | 30005 | 5825 25026 76177 | 2147483647 28326 126 | 0.000 % |
7.86/7.96 c | 30345 | 5825 25026 76177 | 2147483647 28666 126 | 0.000 % |
7.96/8.09 c | 30717 | 5825 25026 76177 | 2147483647 29038 126 | 0.000 % |
8.15/8.24 c | 31127 | 5825 25026 76177 | 2147483647 29448 126 | 0.000 % |
8.25/8.39 c | 31576 | 5825 25026 76177 | 2147483647 29897 126 | 0.000 % |
8.45/8.56 c | 32070 | 5825 25026 76177 | 2147483647 30391 126 | 0.000 % |
8.55/8.60 c | 32170 | 5825 25026 76177 | 2147483647 30491 126 | 0.000 % |
8.55/8.64 c | 32280 | 5825 25026 76177 | 2147483647 30601 126 | 0.000 % |
8.55/8.69 c | 32401 | 5825 25026 76177 | 2147483647 30722 126 | 0.000 % |
8.66/8.75 c | 32535 | 5825 25026 76177 | 2147483647 30856 126 | 0.000 % |
8.76/8.82 c | 32681 | 5825 25026 76177 | 2147483647 31002 126 | 0.000 % |
8.76/8.88 c | 32842 | 5825 25026 76177 | 2147483647 31163 126 | 0.000 % |
8.85/8.94 c | 33020 | 5825 25026 76177 | 2147483647 31341 126 | 0.000 % |
8.95/9.02 c | 33216 | 5825 25026 76177 | 2147483647 31537 126 | 0.000 % |
8.95/9.09 c | 33428 | 5825 25026 76177 | 2147483647 31749 126 | 0.000 % |
9.06/9.17 c | 33663 | 5825 25026 76177 | 2147483647 31984 126 | 0.000 % |
9.16/9.27 c | 33921 | 5825 25026 76177 | 2147483647 32242 126 | 0.000 % |
9.26/9.37 c | 34203 | 5825 25026 76177 | 2147483647 32524 126 | 0.000 % |
9.36/9.48 c | 34512 | 5825 25026 76177 | 2147483647 32833 126 | 0.000 % |
9.56/9.61 c | 34852 | 5825 25026 76177 | 2147483647 33173 126 | 0.000 % |
9.66/9.76 c | 35224 | 5825 25026 76177 | 2147483647 33545 126 | 0.000 % |
9.86/9.91 c | 35633 | 5825 25026 76177 | 2147483647 33954 127 | 0.000 % |
9.95/10.08 c | 36083 | 5825 25026 76177 | 2147483647 34404 127 | 0.000 % |
10.15/10.27 c | 36576 | 5825 25026 76177 | 2147483647 34897 127 | 0.000 % |
10.35/10.46 c | 37118 | 5825 25026 76177 | 2147483647 35439 127 | 0.000 % |
10.46/10.50 c | 37218 | 5825 25026 76177 | 2147483647 35539 127 | 0.000 % |
10.46/10.55 c | 37329 | 5825 25026 76177 | 2147483647 35650 127 | 0.000 % |
10.56/10.60 c | 37450 | 5825 25026 76177 | 2147483647 35771 127 | 0.000 % |
10.56/10.66 c | 37586 | 5825 25026 76177 | 2147483647 35907 127 | 0.000 % |
10.66/10.72 c | 37733 | 5825 25026 76177 | 2147483647 36054 127 | 0.000 % |
10.66/10.79 c | 37894 | 5825 25026 76177 | 2147483647 36215 127 | 0.000 % |
10.76/10.87 c | 38070 | 5825 25026 76177 | 2147483647 36391 127 | 0.000 % |
10.86/10.95 c | 38263 | 5825 25026 76177 | 2147483647 36584 127 | 0.000 % |
10.96/11.04 c | 38475 | 5825 25026 76177 | 2147483647 36796 127 | 0.000 % |
11.06/11.14 c | 38710 | 5825 25026 76177 | 2147483647 37031 127 | 0.000 % |
11.15/11.23 c | 38967 | 5825 25026 76177 | 2147483647 37288 127 | 0.000 % |
11.25/11.35 c | 39248 | 5825 25026 76177 | 2147483647 37569 127 | 0.000 % |
11.35/11.47 c | 39557 | 5825 25026 76177 | 2147483647 37878 127 | 0.000 % |
11.55/11.61 c | 39896 | 5825 25026 76177 | 2147483647 38217 127 | 0.000 % |
11.65/11.76 c | 40269 | 5825 25026 76177 | 2147483647 38590 127 | 0.000 % |
11.85/11.92 c | 40678 | 5825 25026 76177 | 2147483647 38999 127 | 0.000 % |
11.96/12.09 c | 41127 | 5825 25026 76177 | 2147483647 39448 127 | 0.000 % |
12.15/12.28 c | 41620 | 5825 25026 76177 | 2147483647 39941 127 | 0.000 % |
12.45/12.50 c | 42165 | 5825 25026 76177 | 2147483647 40486 127 | 0.000 % |
12.65/12.73 c | 42763 | 5825 25026 76177 | 2147483647 41084 128 | 0.000 % |
12.65/12.78 c | 42863 | 5825 25026 76177 | 2147483647 41184 128 | 0.000 % |
12.75/12.84 c | 42974 | 5825 25026 76177 | 2147483647 41295 128 | 0.000 % |
12.75/12.89 c | 43096 | 5825 25026 76177 | 2147483647 41417 127 | 0.000 % |
12.85/12.95 c | 43229 | 5825 25026 76177 | 2147483647 41550 127 | 0.000 % |
12.95/13.02 c | 43377 | 5825 25026 76177 | 2147483647 41698 127 | 0.000 % |
12.95/13.09 c | 43539 | 5825 25026 76177 | 2147483647 41860 127 | 0.000 % |
13.05/13.17 c | 43718 | 5825 25026 76177 | 2147483647 42039 127 | 0.000 % |
13.15/13.25 c | 43911 | 5825 25026 76177 | 2147483647 42232 127 | 0.000 % |
13.25/13.34 c | 44124 | 5825 25026 76177 | 2147483647 42445 127 | 0.000 % |
13.35/13.44 c | 44357 | 5825 25026 76177 | 2147483647 42678 128 | 0.000 % |
13.45/13.56 c | 44613 | 5825 25026 76177 | 2147483647 42934 127 | 0.000 % |
13.55/13.68 c | 44894 | 5825 25026 76177 | 2147483647 43215 128 | 0.000 % |
13.75/13.80 c | 45203 | 5825 25026 76177 | 2147483647 43524 127 | 0.000 % |
13.85/13.96 c | 45543 | 5825 25026 76177 | 2147483647 43864 127 | 0.000 % |
14.05/14.12 c | 45916 | 5825 25026 76177 | 2147483647 44237 128 | 0.000 % |
14.26/14.31 c | 46326 | 5825 25026 76177 | 2147483647 44647 128 | 0.000 % |
14.45/14.50 c | 46775 | 5825 25026 76177 | 2147483647 45096 128 | 0.000 % |
14.65/14.71 c | 47268 | 5825 25026 76177 | 2147483647 45589 128 | 0.000 % |
14.85/14.95 c | 47812 | 5825 25026 76177 | 2147483647 46133 128 | 0.000 % |
15.15/15.21 c | 48410 | 5825 25026 76177 | 2147483647 46731 128 | 0.000 % |
15.36/15.49 c | 49065 | 5825 25026 76177 | 2147483647 47386 128 | 0.000 % |
15.45/15.55 c | 49165 | 5825 25026 76177 | 2147483647 47486 128 | 0.000 % |
15.55/15.60 c | 49275 | 5825 25026 76177 | 2147483647 47596 128 | 0.000 % |
15.55/15.67 c | 49399 | 5825 25026 76177 | 2147483647 47720 128 | 0.000 % |
15.65/15.73 c | 49532 | 5825 25026 76177 | 2147483647 47853 128 | 0.000 % |
15.75/15.81 c | 49678 | 5825 25026 76177 | 2147483647 47999 128 | 0.000 % |
15.85/15.90 c | 49838 | 5825 25026 76177 | 2147483647 48159 128 | 0.000 % |
15.85/15.99 c | 50014 | 5825 25026 76177 | 2147483647 48335 128 | 0.000 % |
15.95/16.08 c | 50208 | 5825 25026 76177 | 2147483647 48529 128 | 0.000 % |
16.05/16.18 c | 50420 | 5825 25026 76177 | 2147483647 48741 128 | 0.000 % |
16.15/16.29 c | 50653 | 5825 25026 76177 | 2147483647 48974 128 | 0.000 % |
16.35/16.41 c | 50911 | 5825 25026 76177 | 2147483647 49232 128 | 0.000 % |
16.45/16.56 c | 51194 | 5825 25026 76177 | 2147483647 49515 128 | 0.000 % |
16.65/16.70 c | 51505 | 5825 25026 76177 | 2147483647 49826 128 | 0.000 % |
16.75/16.87 c | 51845 | 5825 25026 76177 | 2147483647 50166 128 | 0.000 % |
16.95/17.04 c | 52218 | 5825 25026 76177 | 2147483647 50539 128 | 0.000 % |
17.15/17.23 c | 52627 | 5825 25026 76177 | 2147483647 50948 128 | 0.000 % |
17.35/17.43 c | 53076 | 5825 25026 76177 | 2147483647 51397 128 | 0.000 % |
17.55/17.68 c | 53570 | 5825 25026 76177 | 2147483647 51891 128 | 0.000 % |
17.84/17.95 c | 54114 | 5825 25026 76177 | 2147483647 52435 128 | 0.000 % |
18.15/18.24 c | 54713 | 5825 25026 76177 | 2147483647 53034 128 | 0.000 % |
18.45/18.55 c | 55368 | 5825 25026 76177 | 2147483647 53689 129 | 0.000 % |
18.75/18.89 c | 56089 | 5825 25026 76177 | 2147483647 54410 129 | 0.000 % |
18.85/18.96 c | 56190 | 5825 25026 76177 | 2147483647 54511 129 | 0.000 % |
18.95/19.01 c | 56300 | 5825 25026 76177 | 2147483647 54621 129 | 0.000 % |
18.95/19.08 c | 56421 | 5825 25026 76177 | 2147483647 54742 129 | 0.000 % |
19.05/19.16 c | 56554 | 5825 25026 76177 | 2147483647 54875 129 | 0.000 % |
19.15/19.24 c | 56702 | 5825 25026 76177 | 2147483647 55023 129 | 0.000 % |
19.25/19.33 c | 56862 | 5825 25026 76177 | 2147483647 55183 129 | 0.000 % |
19.35/19.41 c | 57040 | 5825 25026 76177 | 2147483647 55361 129 | 0.000 % |
19.45/19.53 c | 57234 | 5825 25026 76177 | 2147483647 55555 129 | 0.000 % |
19.55/19.64 c | 57447 | 5825 25026 76177 | 2147483647 55768 129 | 0.000 % |
19.65/19.77 c | 57680 | 5825 25026 76177 | 2147483647 56001 129 | 0.000 % |
19.85/19.91 c | 57937 | 5825 25026 76177 | 2147483647 56258 129 | 0.000 % |
19.95/20.06 c | 58218 | 5825 25026 76177 | 2147483647 56539 129 | 0.000 % |
20.15/20.21 c | 58528 | 5825 25026 76177 | 2147483647 56849 129 | 0.000 % |
20.25/20.39 c | 58867 | 5825 25026 76177 | 2147483647 57188 129 | 0.000 % |
20.45/20.57 c | 59239 | 5825 25026 76177 | 2147483647 57560 129 | 0.000 % |
20.64/20.79 c | 59649 | 5825 25026 76177 | 2147483647 57970 129 | 0.000 % |
20.94/21.01 c | 60098 | 5825 25026 76177 | 2147483647 58419 129 | 0.000 % |
21.14/21.26 c | 60591 | 5825 25026 76177 | 2147483647 58912 129 | 0.000 % |
21.44/21.56 c | 61133 | 5825 25026 76177 | 2147483647 59454 129 | 0.000 % |
21.75/21.86 c | 61731 | 5825 25026 76177 | 2147483647 60052 129 | 0.000 % |
22.05/22.20 c | 62386 | 5825 25026 76177 | 2147483647 60707 129 | 0.000 % |
22.44/22.56 c | 63107 | 5825 25026 76177 | 2147483647 61428 129 | 0.000 % |
22.84/22.96 c | 63899 | 5825 25026 76177 | 2147483647 62220 129 | 0.000 % |
22.95/23.02 c | 64000 | 5825 25026 76177 | 2147483647 62321 129 | 0.000 % |
22.95/23.09 c | 64110 | 5825 25026 76177 | 2147483647 62431 129 | 0.000 % |
23.05/23.17 c | 64231 | 5825 25026 76177 | 2147483647 62552 129 | 0.000 % |
23.14/23.26 c | 64364 | 5825 25026 76177 | 2147483647 62685 129 | 0.000 % |
23.24/23.34 c | 64511 | 5825 25026 76177 | 2147483647 62832 129 | 0.000 % |
23.34/23.44 c | 64671 | 5825 25026 76177 | 2147483647 62992 129 | 0.000 % |
23.44/23.54 c | 64849 | 5825 25026 76177 | 2147483647 63170 129 | 0.000 % |
23.54/23.65 c | 65042 | 5825 25026 76177 | 2147483647 63363 129 | 0.000 % |
23.64/23.79 c | 65256 | 5825 25026 76177 | 2147483647 63577 129 | 0.000 % |
23.84/23.93 c | 65490 | 5825 25026 76177 | 2147483647 63811 129 | 0.000 % |
23.94/24.07 c | 65747 | 5825 25026 76177 | 2147483647 64068 129 | 0.000 % |
24.15/24.23 c | 66030 | 5825 25026 76177 | 2147483647 64351 129 | 0.000 % |
24.34/24.42 c | 66339 | 5825 25026 76177 | 2147483647 64660 129 | 0.000 % |
24.54/24.61 c | 66678 | 5825 25026 76177 | 2147483647 64999 129 | 0.000 % |
24.74/24.82 c | 67051 | 5825 25026 76177 | 2147483647 65372 129 | 0.000 % |
24.95/25.06 c | 67461 | 5825 25026 76177 | 2147483647 65782 129 | 0.000 % |
25.25/25.34 c | 67910 | 5825 25026 76177 | 2147483647 66231 129 | 0.000 % |
25.45/25.59 c | 68403 | 5825 25026 76177 | 2147483647 66724 129 | 0.000 % |
25.85/25.90 c | 68948 | 5825 25026 76177 | 2147483647 67269 129 | 0.000 % |
26.14/26.23 c | 69544 | 5825 25026 76177 | 2147483647 67865 129 | 0.000 % |
26.44/26.59 c | 70203 | 5825 25026 76177 | 2147483647 68524 130 | 0.000 % |
26.94/27.01 c | 70924 | 5825 25026 76177 | 2147483647 69245 130 | 0.000 % |
27.34/27.48 c | 71717 | 5825 25026 76177 | 2147483647 70038 130 | 0.000 % |
27.85/28.00 c | 72588 | 5825 25026 76177 | 2147483647 70909 130 | 0.000 % |
27.95/28.07 c | 72688 | 5825 25026 76177 | 2147483647 71009 130 | 0.000 % |
28.04/28.15 c | 72798 | 5825 25026 76177 | 2147483647 71119 130 | 0.000 % |
28.14/28.23 c | 72920 | 5825 25026 76177 | 2147483647 71241 130 | 0.000 % |
28.25/28.31 c | 73053 | 5825 25026 76177 | 2147483647 71374 130 | 0.000 % |
28.35/28.40 c | 73199 | 5825 25026 76177 | 2147483647 71520 130 | 0.000 % |
28.45/28.51 c | 73360 | 5825 25026 76177 | 2147483647 71681 130 | 0.000 % |
28.55/28.63 c | 73536 | 5825 25026 76177 | 2147483647 71857 130 | 0.000 % |
28.64/28.75 c | 73730 | 5825 25026 76177 | 2147483647 72051 130 | 0.000 % |
28.74/28.89 c | 73942 | 5825 25026 76177 | 2147483647 72263 130 | 0.000 % |
28.94/29.04 c | 74176 | 5825 25026 76177 | 2147483647 72497 130 | 0.000 % |
29.04/29.19 c | 74435 | 5825 25026 76177 | 2147483647 72756 130 | 0.000 % |
29.24/29.35 c | 74716 | 5825 25026 76177 | 2147483647 73037 130 | 0.000 % |
29.44/29.54 c | 75027 | 5825 25026 76177 | 2147483647 73348 130 | 0.000 % |
29.64/29.76 c | 75368 | 5825 25026 76177 | 2147483647 73689 130 | 0.000 % |
29.84/29.99 c | 75740 | 5825 25026 76177 | 2147483647 74061 130 | 0.000 % |
30.14/30.23 c | 76149 | 5825 25026 76177 | 2147483647 74470 130 | 0.000 % |
30.44/30.52 c | 76598 | 5825 25026 76177 | 2147483647 74919 130 | 0.000 % |
30.74/30.83 c | 77091 | 5825 25026 76177 | 2147483647 75412 130 | 0.000 % |
31.04/31.17 c | 77634 | 5825 25026 76177 | 2147483647 75955 130 | 0.000 % |
31.44/31.52 c | 78230 | 5825 25026 76177 | 2147483647 76551 130 | 0.000 % |
31.85/31.91 c | 78887 | 5825 25026 76177 | 2147483647 77208 130 | 0.000 % |
32.24/32.37 c | 79607 | 5825 25026 76177 | 2147483647 77928 130 | 0.000 % |
32.74/32.86 c | 80400 | 5825 25026 76177 | 2147483647 78721 130 | 0.000 % |
33.24/33.37 c | 81274 | 5825 25026 76177 | 2147483647 79595 131 | 0.000 % |
33.83/33.98 c | 82232 | 5825 25026 76177 | 2147483647 80553 131 | 0.000 % |
33.94/34.04 c | 82332 | 5825 25026 76177 | 2147483647 80653 131 | 0.000 % |
34.04/34.13 c | 82446 | 5825 25026 76177 | 2147483647 80767 131 | 0.000 % |
34.13/34.22 c | 82567 | 5825 25026 76177 | 2147483647 80888 131 | 0.000 % |
34.23/34.33 c | 82701 | 5825 25026 76177 | 2147483647 81022 131 | 0.000 % |
34.33/34.43 c | 82847 | 5825 25026 76177 | 2147483647 81168 131 | 0.000 % |
34.43/34.55 c | 83007 | 5825 25026 76177 | 2147483647 81328 131 | 0.000 % |
34.53/34.68 c | 83183 | 5825 25026 76177 | 2147483647 81504 131 | 0.000 % |
34.73/34.82 c | 83378 | 5825 25026 76177 | 2147483647 81699 131 | 0.000 % |
34.83/34.95 c | 83591 | 5825 25026 76177 | 2147483647 81912 131 | 0.000 % |
35.04/35.12 c | 83824 | 5825 25026 76177 | 2147483647 82145 131 | 0.000 % |
35.14/35.29 c | 84080 | 5825 25026 76177 | 2147483647 82401 131 | 0.000 % |
35.34/35.49 c | 84361 | 5825 25026 76177 | 2147483647 82682 131 | 0.000 % |
35.54/35.69 c | 84673 | 5825 25026 76177 | 2147483647 82994 131 | 0.000 % |
35.84/35.93 c | 85012 | 5825 25026 76177 | 2147483647 83333 131 | 0.000 % |
36.04/36.19 c | 85385 | 5825 25026 76177 | 2147483647 83706 131 | 0.000 % |
36.33/36.48 c | 85797 | 5825 25026 76177 | 2147483647 84118 131 | 0.000 % |
36.63/36.79 c | 86246 | 5825 25026 76177 | 2147483647 84567 131 | 0.000 % |
37.03/37.13 c | 86740 | 5825 25026 76177 | 2147483647 85061 131 | 0.000 % |
37.34/37.47 c | 87282 | 5825 25026 76177 | 2147483647 85603 131 | 0.000 % |
37.73/37.87 c | 87879 | 5825 25026 76177 | 2147483647 86200 131 | 0.000 % |
38.23/38.33 c | 88535 | 5825 25026 76177 | 2147483647 86856 131 | 0.000 % |
38.73/38.82 c | 89257 | 5825 25026 76177 | 2147483647 87578 131 | 0.000 % |
39.23/39.40 c | 90049 | 5825 25026 76177 | 2147483647 88370 132 | 0.000 % |
39.94/40.00 c | 90920 | 5825 25026 76177 | 2147483647 89241 132 | 0.000 % |
40.54/40.65 c | 91878 | 5825 25026 76177 | 2147483647 90199 132 | 0.000 % |
41.33/41.41 c | 92931 | 5825 25026 76177 | 2147483647 91252 132 | 0.000 % |
41.43/41.50 c | 93033 | 5825 25026 76177 | 2147483647 91354 132 | 0.000 % |
41.43/41.60 c | 93145 | 5825 25026 76177 | 2147483647 91466 132 | 0.000 % |
41.53/41.69 c | 93267 | 5825 25026 76177 | 2147483647 91588 132 | 0.000 % |
41.73/41.80 c | 93402 | 5825 25026 76177 | 2147483647 91723 132 | 0.000 % |
41.83/41.92 c | 93548 | 5825 25026 76177 | 2147483647 91869 132 | 0.000 % |
41.93/42.06 c | 93710 | 5825 25026 76177 | 2147483647 92031 132 | 0.000 % |
42.03/42.19 c | 93886 | 5825 25026 76177 | 2147483647 92207 132 | 0.000 % |
42.23/42.33 c | 94079 | 5825 25026 76177 | 2147483647 92400 132 | 0.000 % |
42.43/42.51 c | 94293 | 5825 25026 76177 | 2147483647 92614 132 | 0.000 % |
42.63/42.70 c | 94527 | 5825 25026 76177 | 2147483647 92848 132 | 0.000 % |
42.83/42.93 c | 94784 | 5825 25026 76177 | 2147483647 93105 132 | 0.000 % |
43.04/43.15 c | 95066 | 5825 25026 76177 | 2147483647 93387 132 | 0.000 % |
43.24/43.38 c | 95375 | 5825 25026 76177 | 2147483647 93696 132 | 0.000 % |
43.53/43.60 c | 95715 | 5825 25026 76177 | 2147483647 94036 132 | 0.000 % |
43.73/43.88 c | 96088 | 5825 25026 76177 | 2147483647 94409 132 | 0.000 % |
44.03/44.18 c | 96497 | 5825 25026 76177 | 2147483647 94818 132 | 0.000 % |
44.33/44.49 c | 96947 | 5825 25026 76177 | 2147483647 95268 132 | 0.000 % |
44.73/44.84 c | 97442 | 5825 25026 76177 | 2147483647 95763 132 | 0.000 % |
45.13/45.28 c | 97985 | 5825 25026 76177 | 2147483647 96306 132 | 0.000 % |
45.63/45.75 c | 98581 | 5825 25026 76177 | 2147483647 96902 132 | 0.000 % |
46.13/46.22 c | 99236 | 5825 25026 76177 | 2147483647 97557 132 | 0.000 % |
46.63/46.76 c | 99956 | 5825 25026 76177 | 2147483647 98277 132 | 0.000 % |
47.23/47.33 c | 100749 | 5825 25026 76177 | 2147483647 99070 132 | 0.000 % |
47.83/47.98 c | 101620 | 5825 25026 76177 | 2147483647 99941 132 | 0.000 % |
48.53/48.66 c | 102578 | 5825 25026 76177 | 2147483647 100899 133 | 0.000 % |
49.33/49.48 c | 103631 | 5825 25026 76177 | 2147483647 101952 133 | 0.000 % |
50.23/50.38 c | 104792 | 5825 25026 76177 | 2147483647 103113 133 | 0.000 % |
50.33/50.46 c | 104892 | 5825 25026 76177 | 2147483647 103213 133 | 0.000 % |
50.43/50.57 c | 105002 | 5825 25026 76177 | 2147483647 103323 133 | 0.000 % |
50.62/50.70 c | 105123 | 5825 25026 76177 | 2147483647 103444 133 | 0.000 % |
50.72/50.81 c | 105257 | 5825 25026 76177 | 2147483647 103578 133 | 0.000 % |
50.82/50.95 c | 105403 | 5825 25026 76177 | 2147483647 103724 133 | 0.000 % |
50.92/51.09 c | 105565 | 5825 25026 76177 | 2147483647 103886 132 | 0.000 % |
51.12/51.24 c | 105743 | 5825 25026 76177 | 2147483647 104064 132 | 0.000 % |
51.32/51.42 c | 105939 | 5825 25026 76177 | 2147483647 104260 132 | 0.000 % |
51.52/51.61 c | 106152 | 5825 25026 76177 | 2147483647 104473 132 | 0.000 % |
51.62/51.79 c | 106385 | 5825 25026 76177 | 2147483647 104706 132 | 0.000 % |
51.92/52.01 c | 106642 | 5825 25026 76177 | 2147483647 104963 132 | 0.000 % |
52.12/52.25 c | 106923 | 5825 25026 76177 | 2147483647 105244 132 | 0.000 % |
52.42/52.52 c | 107233 | 5825 25026 76177 | 2147483647 105554 133 | 0.000 % |
52.72/52.80 c | 107572 | 5825 25026 76177 | 2147483647 105893 133 | 0.000 % |
53.01/53.14 c | 107945 | 5825 25026 76177 | 2147483647 106266 133 | 0.000 % |
53.41/53.50 c | 108354 | 5825 25026 76177 | 2147483647 106675 133 | 0.000 % |
53.72/53.84 c | 108803 | 5825 25026 76177 | 2147483647 107124 133 | 0.000 % |
54.11/54.27 c | 109297 | 5825 25026 76177 | 2147483647 107618 133 | 0.000 % |
54.61/54.74 c | 109841 | 5825 25026 76177 | 2147483647 108162 133 | 0.000 % |
55.11/55.21 c | 110437 | 5825 25026 76177 | 2147483647 108758 133 | 0.000 % |
55.62/55.71 c | 111092 | 5825 25026 76177 | 2147483647 109413 133 | 0.000 % |
56.21/56.31 c | 111812 | 5825 25026 76177 | 2147483647 110133 133 | 0.000 % |
56.81/56.96 c | 112604 | 5825 25026 76177 | 2147483647 110925 133 | 0.000 % |
57.51/57.65 c | 113475 | 5825 25026 76177 | 2147483647 111796 133 | 0.000 % |
58.21/58.37 c | 114433 | 5825 25026 76177 | 2147483647 112754 133 | 0.000 % |
59.11/59.22 c | 115486 | 5825 25026 76177 | 2147483647 113807 133 | 0.000 % |
60.01/60.12 c | 116646 | 5825 25026 76177 | 2147483647 114967 133 | 0.000 % |
61.11/61.20 c | 117919 | 5825 25026 76177 | 2147483647 116240 133 | 0.000 % |
61.11/61.29 c | 118021 | 5825 25026 76177 | 2147483647 116342 133 | 0.000 % |
61.31/61.41 c | 118131 | 5825 25026 76177 | 2147483647 116452 133 | 0.000 % |
61.42/61.53 c | 118252 | 5825 25026 76177 | 2147483647 116573 133 | 0.000 % |
61.52/61.67 c | 118385 | 5825 25026 76177 | 2147483647 116706 133 | 0.000 % |
61.71/61.82 c | 118531 | 5825 25026 76177 | 2147483647 116852 133 | 0.000 % |
61.81/61.99 c | 118692 | 5825 25026 76177 | 2147483647 117013 133 | 0.000 % |
62.01/62.16 c | 118868 | 5825 25026 76177 | 2147483647 117189 133 | 0.000 % |
62.21/62.34 c | 119062 | 5825 25026 76177 | 2147483647 117383 133 | 0.000 % |
62.41/62.56 c | 119276 | 5825 25026 76177 | 2147483647 117597 133 | 0.000 % |
62.61/62.77 c | 119511 | 5825 25026 76177 | 2147483647 117832 133 | 0.000 % |
62.91/63.03 c | 119767 | 5825 25026 76177 | 2147483647 118088 133 | 0.000 % |
63.21/63.31 c | 120049 | 5825 25026 76177 | 2147483647 118370 133 | 0.000 % |
63.41/63.58 c | 120362 | 5825 25026 76177 | 2147483647 118683 133 | 0.000 % |
63.81/63.91 c | 120701 | 5825 25026 76177 | 2147483647 119022 133 | 0.000 % |
64.11/64.22 c | 121073 | 5825 25026 76177 | 2147483647 119394 133 | 0.000 % |
64.41/64.59 c | 121484 | 5825 25026 76177 | 2147483647 119805 133 | 0.000 % |
64.81/64.99 c | 121935 | 5825 25026 76177 | 2147483647 120256 133 | 0.000 % |
65.30/65.43 c | 122428 | 5825 25026 76177 | 2147483647 120749 133 | 0.000 % |
65.70/65.88 c | 122970 | 5825 25026 76177 | 2147483647 121291 133 | 0.000 % |
66.20/66.37 c | 123568 | 5825 25026 76177 | 2147483647 121889 133 | 0.000 % |
66.80/66.99 c | 124225 | 5825 25026 76177 | 2147483647 122546 133 | 0.000 % |
67.51/67.64 c | 124946 | 5825 25026 76177 | 2147483647 123267 133 | 0.000 % |
68.21/68.35 c | 125738 | 5825 25026 76177 | 2147483647 124059 134 | 0.000 % |
68.91/69.07 c | 126611 | 5825 25026 76177 | 2147483647 124932 134 | 0.000 % |
69.80/69.94 c | 127569 | 5825 25026 76177 | 2147483647 125890 134 | 0.000 % |
70.70/70.88 c | 128624 | 5825 25026 76177 | 2147483647 126945 134 | 0.000 % |
71.81/71.93 c | 129782 | 5825 25026 76177 | 2147483647 128103 134 | 0.000 % |
72.91/73.00 c | 131058 | 5825 25026 76177 | 2147483647 129379 135 | 0.000 % |
74.20/74.34 c | 132458 | 5825 25026 76177 | 2147483647 130779 135 | 0.000 % |
74.30/74.44 c | 132558 | 5825 25026 76177 | 2147483647 130879 135 | 0.000 % |
74.40/74.58 c | 132668 | 5825 25026 76177 | 2147483647 130989 135 | 0.000 % |
74.61/74.72 c | 132789 | 5825 25026 76177 | 2147483647 131110 135 | 0.000 % |
74.71/74.86 c | 132923 | 5825 25026 76177 | 2147483647 131244 135 | 0.000 % |
74.90/75.03 c | 133073 | 5825 25026 76177 | 2147483647 131394 135 | 0.000 % |
75.10/75.22 c | 133233 | 5825 25026 76177 | 2147483647 131554 135 | 0.000 % |
75.30/75.43 c | 133412 | 5825 25026 76177 | 2147483647 131733 135 | 0.000 % |
75.50/75.63 c | 133606 | 5825 25026 76177 | 2147483647 131927 135 | 0.000 % |
75.70/75.85 c | 133818 | 5825 25026 76177 | 2147483647 132139 135 | 0.000 % |
75.90/76.07 c | 134051 | 5825 25026 76177 | 2147483647 132372 135 | 0.000 % |
76.20/76.33 c | 134307 | 5825 25026 76177 | 2147483647 132628 135 | 0.000 % |
76.50/76.61 c | 134589 | 5825 25026 76177 | 2147483647 132910 135 | 0.000 % |
76.80/76.98 c | 134898 | 5825 25026 76177 | 2147483647 133219 135 | 0.000 % |
77.10/77.28 c | 135237 | 5825 25026 76177 | 2147483647 133558 135 | 0.000 % |
77.50/77.66 c | 135609 | 5825 25026 76177 | 2147483647 133930 135 | 0.000 % |
77.90/78.06 c | 136018 | 5825 25026 76177 | 2147483647 134339 135 | 0.000 % |
78.40/78.53 c | 136468 | 5825 25026 76177 | 2147483647 134789 135 | 0.000 % |
78.80/78.99 c | 136961 | 5825 25026 76177 | 2147483647 135282 135 | 0.000 % |
79.40/79.51 c | 137504 | 5825 25026 76177 | 2147483647 135825 135 | 0.000 % |
80.00/80.14 c | 138100 | 5825 25026 76177 | 2147483647 136421 134 | 0.000 % |
80.70/80.81 c | 138755 | 5825 25026 76177 | 2147483647 137076 134 | 0.000 % |
81.40/81.52 c | 139475 | 5825 25026 76177 | 2147483647 137796 135 | 0.000 % |
82.10/82.23 c | 140267 | 5825 25026 76177 | 2147483647 138588 135 | 0.000 % |
82.90/83.08 c | 141138 | 5825 25026 76177 | 2147483647 139459 135 | 0.000 % |
83.90/84.02 c | 142096 | 5825 25026 76177 | 2147483647 140417 135 | 0.000 % |
85.00/85.10 c | 143149 | 5825 25026 76177 | 2147483647 141470 135 | 0.000 % |
86.10/86.28 c | 144308 | 5825 25026 76177 | 2147483647 142629 135 | 0.000 % |
87.30/87.44 c | 145582 | 5825 25026 76177 | 2147483647 143903 135 | 0.000 % |
88.70/88.89 c | 146982 | 5825 25026 76177 | 2147483647 145303 135 | 0.000 % |
90.29/90.42 c | 148522 | 5825 25026 76177 | 2147483647 146843 136 | 0.000 % |
90.40/90.56 c | 148622 | 5825 25026 76177 | 2147483647 146943 136 | 0.000 % |
90.50/90.70 c | 148733 | 5825 25026 76177 | 2147483647 147054 136 | 0.000 % |
90.70/90.83 c | 148856 | 5825 25026 76177 | 2147483647 147177 136 | 0.000 % |
90.80/90.99 c | 148989 | 5825 25026 76177 | 2147483647 147310 136 | 0.000 % |
91.00/91.15 c | 149135 | 5825 25026 76177 | 2147483647 147456 136 | 0.000 % |
91.20/91.33 c | 149296 | 5825 25026 76177 | 2147483647 147617 136 | 0.000 % |
91.40/91.52 c | 149472 | 5825 25026 76177 | 2147483647 147793 136 | 0.000 % |
91.60/91.73 c | 149666 | 5825 25026 76177 | 2147483647 147987 136 | 0.000 % |
91.80/91.99 c | 149878 | 5825 25026 76177 | 2147483647 148199 136 | 0.000 % |
92.10/92.26 c | 150112 | 5825 25026 76177 | 2147483647 148433 136 | 0.000 % |
92.40/92.54 c | 150369 | 5825 25026 76177 | 2147483647 148690 135 | 0.000 % |
92.70/92.85 c | 150651 | 5825 25026 76177 | 2147483647 148972 135 | 0.000 % |
93.00/93.19 c | 150960 | 5825 25026 76177 | 2147483647 149281 135 | 0.000 % |
93.40/93.54 c | 151300 | 5825 25026 76177 | 2147483647 149621 135 | 0.000 % |
93.80/93.96 c | 151675 | 5825 25026 76177 | 2147483647 149996 135 | 0.000 % |
94.29/94.40 c | 152084 | 5825 25026 76177 | 2147483647 150405 135 | 0.000 % |
94.79/94.93 c | 152534 | 5825 25026 76177 | 2147483647 150855 135 | 0.000 % |
95.29/95.49 c | 153027 | 5825 25026 76177 | 2147483647 151348 135 | 0.000 % |
95.98/96.11 c | 153569 | 5825 25026 76177 | 2147483647 151890 135 | 0.000 % |
96.59/96.78 c | 154165 | 5825 25026 76177 | 2147483647 152486 135 | 0.000 % |
97.28/97.43 c | 154823 | 5825 25026 76177 | 2147483647 153144 136 | 0.000 % |
97.98/98.16 c | 155544 | 5825 25026 76177 | 2147483647 153865 136 | 0.000 % |
98.89/99.07 c | 156338 | 5825 25026 76177 | 2147483647 154659 136 | 0.000 % |
99.89/100.07 c | 157209 | 5825 25026 76177 | 2147483647 155530 136 | 0.000 % |
100.99/101.13 c | 158167 | 5825 25026 76177 | 2147483647 156488 136 | 0.000 % |
102.09/102.23 c | 159220 | 5825 25026 76177 | 2147483647 157541 136 | 0.000 % |
103.29/103.45 c | 160378 | 5825 25026 76177 | 2147483647 158699 136 | 0.000 % |
104.58/104.76 c | 161651 | 5825 25026 76177 | 2147483647 159972 136 | 0.000 % |
106.09/106.25 c | 163051 | 5825 25026 76177 | 2147483647 161372 136 | 0.000 % |
107.78/107.93 c | 164593 | 5825 25026 76177 | 2147483647 162914 136 | 0.000 % |
109.58/109.75 c | 166288 | 5825 25026 76177 | 2147483647 164609 136 | 0.000 % |
109.68/109.87 c | 166388 | 5825 25026 76177 | 2147483647 164709 136 | 0.000 % |
109.89/110.01 c | 166498 | 5825 25026 76177 | 2147483647 164819 136 | 0.000 % |
109.98/110.18 c | 166620 | 5825 25026 76177 | 2147483647 164941 136 | 0.000 % |
110.18/110.36 c | 166753 | 5825 25026 76177 | 2147483647 165074 136 | 0.000 % |
110.38/110.55 c | 166899 | 5825 25026 76177 | 2147483647 165220 136 | 0.000 % |
110.58/110.76 c | 167061 | 5825 25026 76177 | 2147483647 165382 136 | 0.000 % |
110.89/111.01 c | 167240 | 5825 25026 76177 | 2147483647 165561 136 | 0.000 % |
111.08/111.25 c | 167434 | 5825 25026 76177 | 2147483647 165755 136 | 0.000 % |
111.38/111.51 c | 167646 | 5825 25026 76177 | 2147483647 165967 136 | 0.000 % |
111.58/111.76 c | 167879 | 5825 25026 76177 | 2147483647 166200 136 | 0.000 % |
111.98/112.10 c | 168136 | 5825 25026 76177 | 2147483647 166457 136 | 0.000 % |
112.28/112.45 c | 168420 | 5825 25026 76177 | 2147483647 166741 136 | 0.000 % |
112.57/112.78 c | 168729 | 5825 25026 76177 | 2147483647 167050 136 | 0.000 % |
113.08/113.20 c | 169068 | 5825 25026 76177 | 2147483647 167389 136 | 0.000 % |
113.48/113.67 c | 169443 | 5825 25026 76177 | 2147483647 167764 136 | 0.000 % |
113.98/114.19 c | 169852 | 5825 25026 76177 | 2147483647 168173 136 | 0.000 % |
114.58/114.71 c | 170302 | 5825 25026 76177 | 2147483647 168623 136 | 0.000 % |
115.08/115.23 c | 170796 | 5825 25026 76177 | 2147483647 169117 136 | 0.000 % |
115.78/115.90 c | 171338 | 5825 25026 76177 | 2147483647 169659 136 | 0.000 % |
116.48/116.62 c | 171936 | 5825 25026 76177 | 2147483647 170257 136 | 0.000 % |
117.17/117.35 c | 172592 | 5825 25026 76177 | 2147483647 170913 136 | 0.000 % |
118.08/118.24 c | 173313 | 5825 25026 76177 | 2147483647 171634 136 | 0.000 % |
118.98/119.19 c | 174105 | 5825 25026 76177 | 2147483647 172426 136 | 0.000 % |
119.97/120.19 c | 174976 | 5825 25026 76177 | 2147483647 173297 136 | 0.000 % |
121.08/121.28 c | 175935 | 5825 25026 76177 | 2147483647 174256 136 | 0.000 % |
122.38/122.54 c | 176988 | 5825 25026 76177 | 2147483647 175309 136 | 0.000 % |
123.77/123.93 c | 178146 | 5825 25026 76177 | 2147483647 176467 136 | 0.000 % |
125.18/125.38 c | 179420 | 5825 25026 76177 | 2147483647 177741 137 | 0.000 % |
126.88/127.02 c | 180820 | 5825 25026 76177 | 2147483647 179141 137 | 0.000 % |
128.67/128.83 c | 182361 | 5825 25026 76177 | 2147483647 180682 137 | 0.000 % |
130.58/130.75 c | 184055 | 5825 25026 76177 | 2147483647 182376 137 | 0.000 % |
132.77/133.00 c | 185918 | 5825 25026 76177 | 2147483647 184239 137 | 0.000 % |
132.98/133.12 c | 186019 | 5825 25026 76177 | 2147483647 184340 137 | 0.000 % |
133.17/133.30 c | 186132 | 5825 25026 76177 | 2147483647 184453 137 | 0.000 % |
133.37/133.50 c | 186253 | 5825 25026 76177 | 2147483647 184574 137 | 0.000 % |
133.57/133.72 c | 186388 | 5825 25026 76177 | 2147483647 184709 137 | 0.000 % |
133.77/133.92 c | 186535 | 5825 25026 76177 | 2147483647 184856 137 | 0.000 % |
133.98/134.19 c | 186696 | 5825 25026 76177 | 2147483647 185017 137 | 0.000 % |
134.27/134.44 c | 186874 | 5825 25026 76177 | 2147483647 185195 137 | 0.000 % |
134.57/134.70 c | 187069 | 5825 25026 76177 | 2147483647 185390 137 | 0.000 % |
134.87/135.02 c | 187281 | 5825 25026 76177 | 2147483647 185602 137 | 0.000 % |
135.17/135.33 c | 187514 | 5825 25026 76177 | 2147483647 185835 137 | 0.000 % |
135.47/135.69 c | 187770 | 5825 25026 76177 | 2147483647 186091 137 | 0.000 % |
135.87/136.07 c | 188052 | 5825 25026 76177 | 2147483647 186373 137 | 0.000 % |
136.37/136.50 c | 188362 | 5825 25026 76177 | 2147483647 186683 137 | 0.000 % |
136.77/136.95 c | 188701 | 5825 25026 76177 | 2147483647 187022 137 | 0.000 % |
137.27/137.44 c | 189073 | 5825 25026 76177 | 2147483647 187394 137 | 0.000 % |
137.87/138.00 c | 189482 | 5825 25026 76177 | 2147483647 187803 137 | 0.000 % |
138.37/138.60 c | 189931 | 5825 25026 76177 | 2147483647 188252 137 | 0.000 % |
139.06/139.27 c | 190425 | 5825 25026 76177 | 2147483647 188746 137 | 0.000 % |
139.87/140.00 c | 190968 | 5825 25026 76177 | 2147483647 189289 137 | 0.000 % |
140.67/140.83 c | 191565 | 5825 25026 76177 | 2147483647 189886 137 | 0.000 % |
141.46/141.67 c | 192220 | 5825 25026 76177 | 2147483647 190541 137 | 0.000 % |
142.36/142.58 c | 192940 | 5825 25026 76177 | 2147483647 191261 137 | 0.000 % |
143.46/143.65 c | 193732 | 5825 25026 76177 | 2147483647 192053 137 | 0.000 % |
144.46/144.68 c | 194603 | 5825 25026 76177 | 2147483647 192924 137 | 0.000 % |
145.67/145.84 c | 195561 | 5825 25026 76177 | 2147483647 193882 137 | 0.000 % |
147.06/147.21 c | 196614 | 5825 25026 76177 | 2147483647 194935 137 | 0.000 % |
148.56/148.70 c | 197772 | 5825 25026 76177 | 2147483647 196093 137 | 0.000 % |
150.06/150.27 c | 199045 | 5825 25026 76177 | 2147483647 197366 137 | 0.000 % |
151.86/152.08 c | 200447 | 5825 25026 76177 | 2147483647 198768 137 | 0.000 % |
153.87/154.05 c | 201988 | 5825 25026 76177 | 2147483647 200309 138 | 0.000 % |
155.96/156.13 c | 203683 | 5825 25026 76177 | 2147483647 202004 138 | 0.000 % |
158.26/158.42 c | 205547 | 5825 25026 76177 | 2147483647 203868 138 | 0.000 % |
161.06/161.25 c | 207596 | 5825 25026 76177 | 2147483647 205917 138 | 0.000 % |
161.26/161.43 c | 207696 | 5825 25026 76177 | 2147483647 206017 138 | 0.000 % |
161.36/161.59 c | 207808 | 5825 25026 76177 | 2147483647 206129 138 | 0.000 % |
161.66/161.81 c | 207929 | 5825 25026 76177 | 2147483647 206250 138 | 0.000 % |
161.86/162.04 c | 208063 | 5825 25026 76177 | 2147483647 206384 138 | 0.000 % |
162.06/162.28 c | 208210 | 5825 25026 76177 | 2147483647 206531 138 | 0.000 % |
162.36/162.54 c | 208371 | 5825 25026 76177 | 2147483647 206692 138 | 0.000 % |
162.66/162.86 c | 208548 | 5825 25026 76177 | 2147483647 206869 138 | 0.000 % |
162.96/163.18 c | 208741 | 5825 25026 76177 | 2147483647 207062 138 | 0.000 % |
163.36/163.50 c | 208954 | 5825 25026 76177 | 2147483647 207275 138 | 0.000 % |
163.66/163.87 c | 209187 | 5825 25026 76177 | 2147483647 207508 138 | 0.000 % |
164.06/164.24 c | 209443 | 5825 25026 76177 | 2147483647 207764 138 | 0.000 % |
164.46/164.68 c | 209724 | 5825 25026 76177 | 2147483647 208045 138 | 0.000 % |
164.95/165.14 c | 210035 | 5825 25026 76177 | 2147483647 208356 138 | 0.000 % |
165.45/165.69 c | 210375 | 5825 25026 76177 | 2147483647 208696 138 | 0.000 % |
166.05/166.24 c | 210748 | 5825 25026 76177 | 2147483647 209069 138 | 0.000 % |
166.65/166.89 c | 211158 | 5825 25026 76177 | 2147483647 209479 138 | 0.000 % |
167.25/167.47 c | 211610 | 5825 25026 76177 | 2147483647 209931 138 | 0.000 % |
167.95/168.15 c | 212103 | 5825 25026 76177 | 2147483647 210424 138 | 0.000 % |
168.75/168.91 c | 212646 | 5825 25026 76177 | 2147483647 210967 138 | 0.000 % |
169.55/169.79 c | 213243 | 5825 25026 76177 | 2147483647 211564 138 | 0.000 % |
170.45/170.61 c | 213898 | 5825 25026 76177 | 2147483647 212219 138 | 0.000 % |
171.35/171.58 c | 214618 | 5825 25026 76177 | 2147483647 212939 138 | 0.000 % |
172.35/172.57 c | 215411 | 5825 25026 76177 | 2147483647 213732 138 | 0.000 % |
173.66/173.81 c | 216282 | 5825 25026 76177 | 2147483647 214603 138 | 0.000 % |
174.95/175.10 c | 217240 | 5825 25026 76177 | 2147483647 215561 138 | 0.000 % |
176.35/176.50 c | 218294 | 5825 25026 76177 | 2147483647 216615 138 | 0.000 % |
177.65/177.88 c | 219454 | 5825 25026 76177 | 2147483647 217775 138 | 0.000 % |
179.45/179.65 c | 220728 | 5825 25026 76177 | 2147483647 219049 138 | 0.000 % |
181.55/181.72 c | 222130 | 5825 25026 76177 | 2147483647 220451 138 | 0.000 % |
183.75/183.97 c | 223670 | 5825 25026 76177 | 2147483647 221991 138 | 0.000 % |
186.24/186.44 c | 225365 | 5825 25026 76177 | 2147483647 223686 139 | 0.000 % |
188.74/188.91 c | 227229 | 5825 25026 76177 | 2147483647 225550 139 | 0.000 % |
191.34/191.57 c | 229278 | 5825 25026 76177 | 2147483647 227599 139 | 0.000 % |
194.33/194.57 c | 231531 | 5825 25026 76177 | 2147483647 229852 139 | 0.000 % |
194.54/194.77 c | 231631 | 5825 25026 76177 | 2147483647 229952 139 | 0.000 % |
194.73/194.97 c | 231741 | 5825 25026 76177 | 2147483647 230062 139 | 0.000 % |
194.94/195.18 c | 231864 | 5825 25026 76177 | 2147483647 230185 139 | 0.000 % |
195.24/195.41 c | 231999 | 5825 25026 76177 | 2147483647 230320 139 | 0.000 % |
195.44/195.67 c | 232145 | 5825 25026 76177 | 2147483647 230466 139 | 0.000 % |
195.74/195.95 c | 232305 | 5825 25026 76177 | 2147483647 230626 139 | 0.000 % |
196.04/196.25 c | 232481 | 5825 25026 76177 | 2147483647 230802 139 | 0.000 % |
196.34/196.57 c | 232674 | 5825 25026 76177 | 2147483647 230995 139 | 0.000 % |
196.74/196.93 c | 232888 | 5825 25026 76177 | 2147483647 231209 139 | 0.000 % |
197.14/197.35 c | 233122 | 5825 25026 76177 | 2147483647 231443 139 | 0.000 % |
197.54/197.75 c | 233381 | 5825 25026 76177 | 2147483647 231702 139 | 0.000 % |
198.04/198.20 c | 233662 | 5825 25026 76177 | 2147483647 231983 139 | 0.000 % |
198.43/198.67 c | 233971 | 5825 25026 76177 | 2147483647 232292 139 | 0.000 % |
199.03/199.23 c | 234310 | 5825 25026 76177 | 2147483647 232631 139 | 0.000 % |
199.54/199.78 c | 234683 | 5825 25026 76177 | 2147483647 233004 139 | 0.000 % |
200.13/200.38 c | 235093 | 5825 25026 76177 | 2147483647 233414 139 | 0.000 % |
201.04/201.20 c | 235542 | 5825 25026 76177 | 2147483647 233863 139 | 0.000 % |
201.83/202.03 c | 236036 | 5825 25026 76177 | 2147483647 234357 139 | 0.000 % |
202.63/202.89 c | 236578 | 5825 25026 76177 | 2147483647 234899 139 | 0.000 % |
203.63/203.88 c | 237176 | 5825 25026 76177 | 2147483647 235497 139 | 0.000 % |
204.73/204.94 c | 237831 | 5825 25026 76177 | 2147483647 236152 139 | 0.000 % |
205.73/205.93 c | 238555 | 5825 25026 76177 | 2147483647 236876 139 | 0.000 % |
206.93/207.12 c | 239347 | 5825 25026 76177 | 2147483647 237668 139 | 0.000 % |
208.03/208.22 c | 240218 | 5825 25026 76177 | 2147483647 238539 139 | 0.000 % |
209.43/209.60 c | 241176 | 5825 25026 76177 | 2147483647 239497 139 | 0.000 % |
211.03/211.23 c | 242232 | 5825 25026 76177 | 2147483647 240553 139 | 0.000 % |
212.82/213.05 c | 243392 | 5825 25026 76177 | 2147483647 241713 139 | 0.000 % |
214.72/214.95 c | 244666 | 5825 25026 76177 | 2147483647 242987 139 | 0.000 % |
216.83/217.00 c | 246067 | 5825 25026 76177 | 2147483647 244388 139 | 0.000 % |
219.22/219.45 c | 247607 | 5825 25026 76177 | 2147483647 245928 139 | 0.000 % |
221.82/222.08 c | 249303 | 5825 25026 76177 | 2147483647 247624 139 | 0.000 % |
224.83/225.05 c | 251169 | 5825 25026 76177 | 2147483647 249490 139 | 0.000 % |
227.92/228.13 c | 253219 | 5825 25026 76177 | 2147483647 251540 139 | 0.000 % |
231.21/231.43 c | 255472 | 5825 25026 76177 | 2147483647 253793 140 | 0.000 % |
234.91/235.19 c | 257951 | 5825 25026 76177 | 2147483647 256272 140 | 0.000 % |
235.21/235.41 c | 258051 | 5825 25026 76177 | 2147483647 256372 140 | 0.000 % |
235.41/235.69 c | 258162 | 5825 25026 76177 | 2147483647 256483 140 | 0.000 % |
235.71/235.94 c | 258283 | 5825 25026 76177 | 2147483647 256604 140 | 0.000 % |
235.91/236.19 c | 258419 | 5825 25026 76177 | 2147483647 256740 140 | 0.000 % |
236.21/236.48 c | 258566 | 5825 25026 76177 | 2147483647 256887 140 | 0.000 % |
236.60/236.81 c | 258726 | 5825 25026 76177 | 2147483647 257047 140 | 0.000 % |
236.90/237.16 c | 258902 | 5825 25026 76177 | 2147483647 257223 140 | 0.000 % |
237.31/237.52 c | 259095 | 5825 25026 76177 | 2147483647 257416 140 | 0.000 % |
237.70/237.91 c | 259307 | 5825 25026 76177 | 2147483647 257628 140 | 0.000 % |
238.10/238.36 c | 259543 | 5825 25026 76177 | 2147483647 257864 140 | 0.000 % |
238.60/238.84 c | 259799 | 5825 25026 76177 | 2147483647 258120 140 | 0.000 % |
239.19/239.41 c | 260080 | 5825 25026 76177 | 2147483647 258401 140 | 0.000 % |
239.69/239.97 c | 260389 | 5825 25026 76177 | 2147483647 258710 140 | 0.000 % |
240.30/240.58 c | 260728 | 5825 25026 76177 | 2147483647 259049 140 | 0.000 % |
241.00/241.20 c | 261100 | 5825 25026 76177 | 2147483647 259421 140 | 0.000 % |
241.60/241.87 c | 261509 | 5825 25026 76177 | 2147483647 259830 140 | 0.000 % |
242.40/242.69 c | 261959 | 5825 25026 76177 | 2147483647 260280 140 | 0.000 % |
243.30/243.59 c | 262453 | 5825 25026 76177 | 2147483647 260774 140 | 0.000 % |
244.30/244.54 c | 262995 | 5825 25026 76177 | 2147483647 261316 140 | 0.000 % |
245.29/245.53 c | 263591 | 5825 25026 76177 | 2147483647 261912 140 | 0.000 % |
246.39/246.62 c | 264247 | 5825 25026 76177 | 2147483647 262568 139 | 0.000 % |
247.50/247.75 c | 264967 | 5825 25026 76177 | 2147483647 263288 139 | 0.000 % |
248.90/249.14 c | 265759 | 5825 25026 76177 | 2147483647 264080 139 | 0.000 % |
250.30/250.58 c | 266630 | 5825 25026 76177 | 2147483647 264951 139 | 0.000 % |
251.90/252.13 c | 267590 | 5825 25026 76177 | 2147483647 265911 140 | 0.000 % |
253.59/253.85 c | 268644 | 5825 25026 76177 | 2147483647 266965 140 | 0.000 % |
255.40/255.66 c | 269802 | 5825 25026 76177 | 2147483647 268123 140 | 0.000 % |
257.59/257.80 c | 271075 | 5825 25026 76177 | 2147483647 269396 140 | 0.000 % |
259.89/260.14 c | 272477 | 5825 25026 76177 | 2147483647 270798 140 | 0.000 % |
262.39/262.65 c | 274017 | 5825 25026 76177 | 2147483647 272338 140 | 0.000 % |
265.29/265.58 c | 275711 | 5825 25026 76177 | 2147483647 274032 140 | 0.000 % |
268.39/268.61 c | 277575 | 5825 25026 76177 | 2147483647 275896 140 | 0.000 % |
271.59/271.86 c | 279625 | 5825 25026 76177 | 2147483647 277946 140 | 0.000 % |
275.39/275.66 c | 281881 | 5825 25026 76177 | 2147483647 280202 140 | 0.000 % |
279.68/279.97 c | 284359 | 5825 25026 76177 | 2147483647 282680 140 | 0.000 % |
284.38/284.67 c | 287084 | 5825 25026 76177 | 2147483647 285405 141 | 0.000 % |
284.69/284.94 c | 287185 | 5825 25026 76177 | 2147483647 285506 141 | 0.000 % |
284.88/285.19 c | 287297 | 5825 25026 76177 | 2147483647 285618 141 | 0.000 % |
285.18/285.45 c | 287418 | 5825 25026 76177 | 2147483647 285739 141 | 0.000 % |
285.48/285.75 c | 287551 | 5825 25026 76177 | 2147483647 285872 141 | 0.000 % |
285.88/286.13 c | 287698 | 5825 25026 76177 | 2147483647 286019 141 | 0.000 % |
286.18/286.47 c | 287859 | 5825 25026 76177 | 2147483647 286180 141 | 0.000 % |
286.58/286.87 c | 288038 | 5825 25026 76177 | 2147483647 286359 141 | 0.000 % |
287.08/287.31 c | 288232 | 5825 25026 76177 | 2147483647 286553 141 | 0.000 % |
287.38/287.70 c | 288444 | 5825 25026 76177 | 2147483647 286765 141 | 0.000 % |
287.88/288.16 c | 288678 | 5825 25026 76177 | 2147483647 286999 141 | 0.000 % |
288.38/288.70 c | 288934 | 5825 25026 76177 | 2147483647 287255 141 | 0.000 % |
288.98/289.29 c | 289215 | 5825 25026 76177 | 2147483647 287536 141 | 0.000 % |
289.68/289.90 c | 289525 | 5825 25026 76177 | 2147483647 287846 141 | 0.000 % |
290.38/290.66 c | 289866 | 5825 25026 76177 | 2147483647 288187 140 | 0.000 % |
291.07/291.38 c | 290238 | 5825 25026 76177 | 2147483647 288559 141 | 0.000 % |
291.97/292.20 c | 290647 | 5825 25026 76177 | 2147483647 288968 140 | 0.000 % |
292.77/293.01 c | 291097 | 5825 25026 76177 | 2147483647 289418 140 | 0.000 % |
293.88/294.11 c | 291591 | 5825 25026 76177 | 2147483647 289912 140 | 0.000 % |
294.88/295.14 c | 292136 | 5825 25026 76177 | 2147483647 290457 140 | 0.000 % |
296.08/296.35 c | 292733 | 5825 25026 76177 | 2147483647 291054 141 | 0.000 % |
297.27/297.53 c | 293390 | 5825 25026 76177 | 2147483647 291711 141 | 0.000 % |
298.57/298.80 c | 294110 | 5825 25026 76177 | 2147483647 292431 141 | 0.000 % |
299.97/300.22 c | 294904 | 5825 25026 76177 | 2147483647 293225 141 | 0.000 % |
301.57/301.83 c | 295777 | 5825 25026 76177 | 2147483647 294098 141 | 0.000 % |
303.17/303.41 c | 296735 | 5825 25026 76177 | 2147483647 295056 141 | 0.000 % |
304.97/305.25 c | 297790 | 5825 25026 76177 | 2147483647 296111 141 | 0.000 % |
307.07/307.40 c | 298949 | 5825 25026 76177 | 2147483647 297270 141 | 0.000 % |
309.37/309.62 c | 300223 | 5825 25026 76177 | 2147483647 298544 141 | 0.000 % |
311.87/312.13 c | 301625 | 5825 25026 76177 | 2147483647 299946 141 | 0.000 % |
314.67/314.95 c | 303165 | 5825 25026 76177 | 2147483647 301486 141 | 0.000 % |
317.86/318.13 c | 304859 | 5825 25026 76177 | 2147483647 303180 141 | 0.000 % |
321.26/321.58 c | 306722 | 5825 25026 76177 | 2147483647 305043 141 | 0.000 % |
324.95/325.28 c | 308771 | 5825 25026 76177 | 2147483647 307092 141 | 0.000 % |
329.16/329.43 c | 311024 | 5825 25026 76177 | 2147483647 309345 141 | 0.000 % |
333.85/334.12 c | 313502 | 5825 25026 76177 | 2147483647 311823 141 | 0.000 % |
338.95/339.22 c | 316229 | 5825 25026 76177 | 2147483647 314550 142 | 0.000 % |
344.65/344.90 c | 319226 | 5825 25026 76177 | 2147483647 317547 142 | 0.000 % |
344.85/345.13 c | 319326 | 5825 25026 76177 | 2147483647 317647 142 | 0.000 % |
345.15/345.41 c | 319436 | 5825 25026 76177 | 2147483647 317757 142 | 0.000 % |
345.45/345.73 c | 319557 | 5825 25026 76177 | 2147483647 317878 142 | 0.000 % |
345.85/346.11 c | 319690 | 5825 25026 76177 | 2147483647 318011 142 | 0.000 % |
346.15/346.42 c | 319836 | 5825 25026 76177 | 2147483647 318157 142 | 0.000 % |
346.45/346.78 c | 319996 | 5825 25026 76177 | 2147483647 318317 142 | 0.000 % |
346.95/347.21 c | 320172 | 5825 25026 76177 | 2147483647 318493 142 | 0.000 % |
347.35/347.70 c | 320365 | 5825 25026 76177 | 2147483647 318686 142 | 0.000 % |
347.85/348.15 c | 320579 | 5825 25026 76177 | 2147483647 318900 142 | 0.000 % |
348.45/348.71 c | 320815 | 5825 25026 76177 | 2147483647 319136 142 | 0.000 % |
348.95/349.29 c | 321071 | 5825 25026 76177 | 2147483647 319392 142 | 0.000 % |
349.74/350.01 c | 321352 | 5825 25026 76177 | 2147483647 319673 142 | 0.000 % |
350.34/350.69 c | 321661 | 5825 25026 76177 | 2147483647 319982 142 | 0.000 % |
351.04/351.32 c | 322000 | 5825 25026 76177 | 2147483647 320321 142 | 0.000 % |
351.84/352.16 c | 322373 | 5825 25026 76177 | 2147483647 320694 142 | 0.000 % |
352.75/353.02 c | 322782 | 5825 25026 76177 | 2147483647 321103 142 | 0.000 % |
353.75/354.03 c | 323231 | 5825 25026 76177 | 2147483647 321552 142 | 0.000 % |
354.75/355.06 c | 323725 | 5825 25026 76177 | 2147483647 322046 142 | 0.000 % |
355.95/356.25 c | 324270 | 5825 25026 76177 | 2147483647 322591 142 | 0.000 % |
357.25/357.51 c | 324867 | 5825 25026 76177 | 2147483647 323188 142 | 0.000 % |
358.54/358.89 c | 325523 | 5825 25026 76177 | 2147483647 323844 142 | 0.000 % |
360.34/360.63 c | 326244 | 5825 25026 76177 | 2147483647 324565 142 | 0.000 % |
361.95/362.26 c | 327036 | 5825 25026 76177 | 2147483647 325357 142 | 0.000 % |
363.94/364.28 c | 327907 | 5825 25026 76177 | 2147483647 326228 142 | 0.000 % |
365.94/366.26 c | 328865 | 5825 25026 76177 | 2147483647 327186 142 | 0.000 % |
368.14/368.44 c | 329920 | 5825 25026 76177 | 2147483647 328241 142 | 0.000 % |
370.63/370.94 c | 331078 | 5825 25026 76177 | 328322 289794 142 | 0.000 % |
373.04/373.33 c | 332352 | 5825 25026 76177 | 328322 291068 142 | 0.000 % |
375.63/375.96 c | 333754 | 5825 25026 76177 | 328322 292470 142 | 0.000 % |
378.33/378.62 c | 335294 | 5825 25026 76177 | 328322 294010 142 | 0.000 % |
381.53/381.82 c | 336989 | 5825 25026 76177 | 328322 295705 142 | 0.000 % |
384.83/385.12 c | 338854 | 5825 25026 76177 | 328322 297570 142 | 0.000 % |
388.43/388.73 c | 340905 | 5825 25026 76177 | 2147483647 299621 142 | 0.000 % |
392.43/392.79 c | 343162 | 5825 25026 76177 | 2147483647 301878 142 | 0.000 % |
396.73/397.01 c | 345640 | 5825 25026 76177 | 2147483647 304356 142 | 0.000 % |
401.33/401.68 c | 348365 | 5825 25026 76177 | 2147483647 307081 142 | 0.000 % |
406.63/406.95 c | 351363 | 5825 25026 76177 | 2147483647 310079 142 | 0.000 % |
412.62/412.97 c | 354660 | 5825 25026 76177 | 2147483647 313376 142 | 0.000 % |
412.82/413.19 c | 354761 | 5825 25026 76177 | 2147483647 313477 142 | 0.000 % |
413.12/413.42 c | 354872 | 5825 25026 76177 | 2147483647 313588 142 | 0.000 % |
413.42/413.72 c | 354993 | 5825 25026 76177 | 2147483647 313709 142 | 0.000 % |
413.72/414.06 c | 355129 | 5825 25026 76177 | 2147483647 313845 142 | 0.000 % |
414.12/414.41 c | 355275 | 5825 25026 76177 | 2147483647 313991 142 | 0.000 % |
414.52/414.82 c | 355438 | 5825 25026 76177 | 2147483647 314154 142 | 0.000 % |
414.92/415.23 c | 355614 | 5825 25026 76177 | 2147483647 314330 142 | 0.000 % |
415.32/415.64 c | 355808 | 5825 25026 76177 | 2147483647 314524 142 | 0.000 % |
415.82/416.14 c | 356024 | 5825 25026 76177 | 2147483647 314740 142 | 0.000 % |
416.32/416.67 c | 356257 | 5825 25026 76177 | 2147483647 314973 142 | 0.000 % |
416.92/417.23 c | 356513 | 5825 25026 76177 | 2147483647 315229 142 | 0.000 % |
417.52/417.90 c | 356794 | 5825 25026 76177 | 2147483647 315510 142 | 0.000 % |
418.22/418.56 c | 357105 | 5825 25026 76177 | 2147483647 315821 142 | 0.000 % |
418.92/419.29 c | 357446 | 5825 25026 76177 | 2147483647 316162 142 | 0.000 % |
419.72/420.04 c | 357818 | 5825 25026 76177 | 2147483647 316534 142 | 0.000 % |
420.52/420.89 c | 358227 | 5825 25026 76177 | 2147483647 316943 142 | 0.000 % |
421.42/421.77 c | 358676 | 5825 25026 76177 | 2147483647 317392 142 | 0.000 % |
422.52/422.84 c | 359171 | 5825 25026 76177 | 2147483647 317887 142 | 0.000 % |
423.61/423.99 c | 359713 | 5825 25026 76177 | 2147483647 318429 142 | 0.000 % |
424.91/425.21 c | 360312 | 5825 25026 76177 | 2147483647 319028 142 | 0.000 % |
426.21/426.55 c | 360967 | 5825 25026 76177 | 2147483647 319683 142 | 0.000 % |
427.62/427.94 c | 361687 | 5825 25026 76177 | 2147483647 320403 142 | 0.000 % |
429.11/429.44 c | 362479 | 5825 25026 76177 | 2147483647 321195 142 | 0.000 % |
430.82/431.16 c | 363353 | 5825 25026 76177 | 2147483647 322069 142 | 0.000 % |
432.71/433.03 c | 364313 | 5825 25026 76177 | 2147483647 323029 142 | 0.000 % |
434.71/435.04 c | 365366 | 5825 25026 76177 | 2147483647 324082 142 | 0.000 % |
436.91/437.24 c | 366525 | 5825 25026 76177 | 2147483647 325241 142 | 0.000 % |
439.61/439.96 c | 367798 | 5825 25026 76177 | 2147483647 326514 142 | 0.000 % |
442.41/442.74 c | 369202 | 5825 25026 76177 | 2147483647 327918 142 | 0.000 % |
445.30/445.69 c | 370742 | 5825 25026 76177 | 2147483647 329458 142 | 0.000 % |
448.60/448.99 c | 372437 | 5825 25026 76177 | 2147483647 331153 142 | 0.000 % |
452.30/452.64 c | 374300 | 5825 25026 76177 | 2147483647 333016 142 | 0.000 % |
456.49/456.81 c | 376349 | 5825 25026 76177 | 2147483647 335065 143 | 0.000 % |
461.00/461.33 c | 378602 | 5825 25026 76177 | 2147483647 337318 142 | 0.000 % |
466.19/466.50 c | 381083 | 5825 25026 76177 | 338717 302309 143 | 0.000 % |
471.39/471.71 c | 383808 | 5825 25026 76177 | 338717 305034 144 | 0.000 % |
476.58/476.97 c | 386805 | 5825 25026 76177 | 338717 308031 144 | 0.000 % |
482.78/483.10 c | 390101 | 5825 25026 76177 | 2147483647 311327 144 | 0.000 % |
489.28/489.69 c | 393727 | 5825 25026 76177 | 2147483647 314953 144 | 0.000 % |
489.58/489.92 c | 393831 | 5825 25026 76177 | 2147483647 315057 144 | 0.000 % |
489.88/490.23 c | 393941 | 5825 25026 76177 | 2147483647 315167 144 | 0.000 % |
490.18/490.56 c | 394064 | 5825 25026 76177 | 2147483647 315290 144 | 0.000 % |
490.58/490.94 c | 394198 | 5825 25026 76177 | 2147483647 315424 144 | 0.000 % |
490.88/491.29 c | 394345 | 5825 25026 76177 | 2147483647 315571 144 | 0.000 % |
491.28/491.66 c | 394507 | 5825 25026 76177 | 2147483647 315733 144 | 0.000 % |
491.78/492.13 c | 394684 | 5825 25026 76177 | 2147483647 315910 144 | 0.000 % |
492.18/492.51 c | 394878 | 5825 25026 76177 | 2147483647 316104 144 | 0.000 % |
492.68/493.04 c | 395091 | 5825 25026 76177 | 2147483647 316317 144 | 0.000 % |
493.18/493.59 c | 395325 | 5825 25026 76177 | 2147483647 316551 144 | 0.000 % |
493.78/494.17 c | 395582 | 5825 25026 76177 | 2147483647 316808 144 | 0.000 % |
494.48/494.83 c | 395863 | 5825 25026 76177 | 2147483647 317089 144 | 0.000 % |
495.08/495.49 c | 396174 | 5825 25026 76177 | 2147483647 317400 144 | 0.000 % |
495.88/496.20 c | 396513 | 5825 25026 76177 | 2147483647 317739 143 | 0.000 % |
496.68/497.05 c | 396886 | 5825 25026 76177 | 2147483647 318112 143 | 0.000 % |
497.58/497.91 c | 397297 | 5825 25026 76177 | 2147483647 318523 143 | 0.000 % |
498.48/498.81 c | 397747 | 5825 25026 76177 | 2147483647 318973 143 | 0.000 % |
499.38/499.77 c | 398240 | 5825 25026 76177 | 2147483647 319466 143 | 0.000 % |
500.57/500.96 c | 398784 | 5825 25026 76177 | 2147483647 320010 143 | 0.000 % |
501.87/502.21 c | 399381 | 5825 25026 76177 | 2147483647 320607 143 | 0.000 % |
503.17/503.56 c | 400038 | 5825 25026 76177 | 321227 321264 144 | 0.000 % |
504.87/505.30 c | 400758 | 5825 25026 76177 | 321227 284456 144 | 0.000 % |
506.47/506.82 c | 401552 | 5825 25026 76177 | 321227 285250 144 | 0.000 % |
508.07/508.49 c | 402423 | 5825 25026 76177 | 321227 286121 144 | 0.000 % |
509.66/510.03 c | 403382 | 5825 25026 76177 | 321227 287080 144 | 0.000 % |
511.56/511.95 c | 404436 | 5825 25026 76177 | 321227 288134 144 | 0.000 % |
513.66/514.00 c | 405594 | 5825 25026 76177 | 321227 289292 144 | 0.000 % |
515.96/516.35 c | 406867 | 5825 25026 76177 | 321227 290565 144 | 0.000 % |
518.46/518.80 c | 408269 | 5825 25026 76177 | 321227 291967 144 | 0.000 % |
521.06/521.47 c | 409809 | 5825 25026 76177 | 321227 293507 144 | 0.000 % |
524.06/524.45 c | 411503 | 5825 25026 76177 | 2147483647 295201 144 | 0.000 % |
527.36/527.78 c | 413371 | 5825 25026 76177 | 2147483647 297069 144 | 0.000 % |
531.06/531.46 c | 415423 | 5825 25026 76177 | 2147483647 299121 144 | 0.000 % |
535.06/535.47 c | 417676 | 5825 25026 76177 | 2147483647 301374 144 | 0.000 % |
539.55/539.90 c | 420156 | 5825 25026 76177 | 2147483647 303854 144 | 0.000 % |
544.35/544.78 c | 422881 | 5825 25026 76177 | 2147483647 306579 144 | 0.000 % |
549.95/550.33 c | 425878 | 5825 25026 76177 | 2147483647 309576 145 | 0.000 % |
555.94/556.39 c | 429174 | 5825 25026 76177 | 2147483647 312872 145 | 0.000 % |
562.64/563.00 c | 432802 | 5825 25026 76177 | 2147483647 316500 145 | 0.000 % |
570.14/570.57 c | 436790 | 5825 25026 76177 | 2147483647 320488 145 | 0.000 % |
570.44/570.83 c | 436890 | 5825 25026 76177 | 2147483647 320588 145 | 0.000 % |
570.73/571.13 c | 437001 | 5825 25026 76177 | 2147483647 320699 145 | 0.000 % |
571.03/571.45 c | 437123 | 5825 25026 76177 | 2147483647 320821 145 | 0.000 % |
571.33/571.75 c | 437256 | 5825 25026 76177 | 2147483647 320954 145 | 0.000 % |
571.73/572.10 c | 437403 | 5825 25026 76177 | 2147483647 321101 145 | 0.000 % |
572.03/572.48 c | 437564 | 5825 25026 76177 | 2147483647 321262 145 | 0.000 % |
572.53/572.97 c | 437740 | 5825 25026 76177 | 2147483647 321438 145 | 0.000 % |
573.03/573.47 c | 437933 | 5825 25026 76177 | 2147483647 321631 145 | 0.000 % |
573.53/573.95 c | 438145 | 5825 25026 76177 | 2147483647 321843 145 | 0.000 % |
574.13/574.50 c | 438378 | 5825 25026 76177 | 2147483647 322076 145 | 0.000 % |
574.73/575.10 c | 438634 | 5825 25026 76177 | 2147483647 322332 145 | 0.000 % |
575.23/575.67 c | 438916 | 5825 25026 76177 | 2147483647 322614 145 | 0.000 % |
575.94/576.40 c | 439227 | 5825 25026 76177 | 2147483647 322925 145 | 0.000 % |
576.73/577.17 c | 439566 | 5825 25026 76177 | 2147483647 323264 145 | 0.000 % |
577.63/578.08 c | 439939 | 5825 25026 76177 | 2147483647 323637 145 | 0.000 % |
578.53/578.93 c | 440349 | 5825 25026 76177 | 323698 324047 145 | 0.000 % |
579.73/580.15 c | 440798 | 5825 25026 76177 | 323698 291138 145 | 0.000 % |
580.63/581.02 c | 441291 | 5825 25026 76177 | 323698 291631 145 | 0.000 % |
581.63/582.08 c | 441833 | 5825 25026 76177 | 323698 292173 145 | 0.000 % |
582.73/583.20 c | 442429 | 5825 25026 76177 | 323698 292769 145 | 0.000 % |
584.03/584.45 c | 443085 | 5825 25026 76177 | 323698 293425 145 | 0.000 % |
585.53/585.90 c | 443805 | 5825 25026 76177 | 323698 294145 145 | 0.000 % |
587.03/587.45 c | 444597 | 5825 25026 76177 | 323698 294937 145 | 0.000 % |
588.73/589.19 c | 445469 | 5825 25026 76177 | 323698 295809 145 | 0.000 % |
590.62/591.00 c | 446427 | 5825 25026 76177 | 323698 296767 145 | 0.000 % |
592.32/592.77 c | 447480 | 5825 25026 76177 | 323698 297820 145 | 0.000 % |
594.42/594.86 c | 448639 | 5825 25026 76177 | 323698 298979 145 | 0.000 % |
596.92/597.37 c | 449915 | 5825 25026 76177 | 323698 300255 145 | 0.000 % |
599.51/599.92 c | 451315 | 5825 25026 76177 | 2147483647 301655 145 | 0.000 % |
602.51/602.90 c | 452858 | 5825 25026 76177 | 2147483647 303198 145 | 0.000 % |
605.51/605.98 c | 454552 | 5825 25026 76177 | 2147483647 304892 145 | 0.000 % |
609.41/609.81 c | 456415 | 5825 25026 76177 | 2147483647 306755 145 | 0.000 % |
612.91/613.38 c | 458464 | 5825 25026 76177 | 2147483647 308804 145 | 0.000 % |
616.91/617.32 c | 460718 | 5825 25026 76177 | 2147483647 311058 145 | 0.000 % |
621.41/621.81 c | 463196 | 5825 25026 76177 | 2147483647 313536 145 | 0.000 % |
626.51/626.94 c | 465921 | 5825 25026 76177 | 2147483647 316261 145 | 0.000 % |
631.80/632.23 c | 468920 | 5825 25026 76177 | 2147483647 319260 146 | 0.000 % |
638.09/638.51 c | 472217 | 5825 25026 76177 | 2147483647 322557 146 | 0.000 % |
644.69/645.19 c | 475842 | 5825 25026 76177 | 2147483647 326182 146 | 0.000 % |
652.19/652.66 c | 479829 | 5825 25026 76177 | 2147483647 330169 146 | 0.000 % |
660.09/660.55 c | 484214 | 5825 25026 76177 | 2147483647 334554 147 | 0.000 % |
660.29/660.79 c | 484315 | 5825 25026 76177 | 2147483647 334655 147 | 0.000 % |
660.59/661.06 c | 484425 | 5825 25026 76177 | 2147483647 334765 147 | 0.000 % |
660.99/661.41 c | 484549 | 5825 25026 76177 | 2147483647 334889 146 | 0.000 % |
661.29/661.80 c | 484682 | 5825 25026 76177 | 2147483647 335022 146 | 0.000 % |
661.69/662.17 c | 484828 | 5825 25026 76177 | 2147483647 335168 146 | 0.000 % |
662.09/662.55 c | 484988 | 5825 25026 76177 | 2147483647 335328 146 | 0.000 % |
662.49/662.94 c | 485164 | 5825 25026 76177 | 2147483647 335504 146 | 0.000 % |
662.99/663.45 c | 485357 | 5825 25026 76177 | 2147483647 335697 146 | 0.000 % |
663.59/664.05 c | 485570 | 5825 25026 76177 | 2147483647 335910 146 | 0.000 % |
664.18/664.68 c | 485807 | 5825 25026 76177 | 2147483647 336147 146 | 0.000 % |
664.89/665.30 c | 486064 | 5825 25026 76177 | 2147483647 336404 146 | 0.000 % |
665.59/666.01 c | 486345 | 5825 25026 76177 | 2147483647 336685 146 | 0.000 % |
666.29/666.71 c | 486656 | 5825 25026 76177 | 2147483647 336996 146 | 0.000 % |
666.99/667.49 c | 486995 | 5825 25026 76177 | 2147483647 337335 146 | 0.000 % |
667.89/668.36 c | 487368 | 5825 25026 76177 | 2147483647 337708 146 | 0.000 % |
668.79/669.29 c | 487777 | 5825 25026 76177 | 2147483647 338117 146 | 0.000 % |
669.79/670.22 c | 488231 | 5825 25026 76177 | 2147483647 338571 146 | 0.000 % |
670.89/671.40 c | 488727 | 5825 25026 76177 | 2147483647 339067 146 | 0.000 % |
672.09/672.51 c | 489269 | 5825 25026 76177 | 2147483647 339609 146 | 0.000 % |
673.28/673.70 c | 489865 | 5825 25026 76177 | 2147483647 340205 146 | 0.000 % |
674.58/675.03 c | 490520 | 5825 25026 76177 | 340344 340860 146 | 0.000 % |
676.38/676.85 c | 491242 | 5825 25026 76177 | 340344 302532 147 | 0.000 % |
677.98/678.45 c | 492035 | 5825 25026 76177 | 340344 303325 147 | 0.000 % |
679.68/680.15 c | 492906 | 5825 25026 76177 | 340344 304196 147 | 0.000 % |
681.58/682.03 c | 493864 | 5825 25026 76177 | 340344 305154 147 | 0.000 % |
683.57/684.01 c | 494918 | 5825 25026 76177 | 340344 306208 147 | 0.000 % |
685.57/686.07 c | 496076 | 5825 25026 76177 | 340344 307366 147 | 0.000 % |
688.18/688.63 c | 497349 | 5825 25026 76177 | 340344 308639 147 | 0.000 % |
690.77/691.24 c | 498749 | 5825 25026 76177 | 340344 310039 147 | 0.000 % |
693.58/694.04 c | 500290 | 5825 25026 76177 | 2147483647 311580 147 | 0.000 % |
696.88/697.37 c | 501988 | 5825 25026 76177 | 2147483647 313278 147 | 0.000 % |
700.47/700.90 c | 503851 | 5825 25026 76177 | 2147483647 315141 147 | 0.000 % |
704.27/704.71 c | 505902 | 5825 25026 76177 | 2147483647 317192 147 | 0.000 % |
708.37/708.83 c | 508155 | 5825 25026 76177 | 2147483647 319445 147 | 0.000 % |
713.16/713.61 c | 510634 | 5825 25026 76177 | 2147483647 321924 147 | 0.000 % |
717.96/718.46 c | 513361 | 5825 25026 76177 | 2147483647 324651 147 | 0.000 % |
723.66/724.18 c | 516358 | 5825 25026 76177 | 2147483647 327648 147 | 0.000 % |
730.04/730.59 c | 519655 | 5825 25026 76177 | 2147483647 330945 147 | 0.000 % |
737.24/737.74 c | 523282 | 5825 25026 76177 | 2147483647 334572 148 | 0.000 % |
745.14/745.65 c | 527271 | 5825 25026 76177 | 2147483647 338561 148 | 0.000 % |
754.14/754.61 c | 531657 | 5825 25026 76177 | 341291 308339 148 | 0.000 % |
763.03/763.50 c | 536481 | 5825 25026 76177 | 341291 313163 148 | 0.000 % |
763.13/763.67 c | 536581 | 5825 25026 76177 | 341291 313263 148 | 0.000 % |
763.53/764.02 c | 536692 | 5825 25026 76177 | 341291 313374 148 | 0.000 % |
763.83/764.33 c | 536813 | 5825 25026 76177 | 341291 313495 148 | 0.000 % |
764.13/764.61 c | 536946 | 5825 25026 76177 | 341291 313628 148 | 0.000 % |
764.43/764.98 c | 537093 | 5825 25026 76177 | 341291 313775 148 | 0.000 % |
764.83/765.38 c | 537254 | 5825 25026 76177 | 341291 313936 148 | 0.000 % |
765.33/765.81 c | 537430 | 5825 25026 76177 | 341291 314112 148 | 0.000 % |
765.73/766.24 c | 537623 | 5825 25026 76177 | 341291 314305 148 | 0.000 % |
766.23/766.76 c | 537837 | 5825 25026 76177 | 341291 314519 148 | 0.000 % |
766.73/767.26 c | 538070 | 5825 25026 76177 | 341291 314752 148 | 0.000 % |
767.43/767.91 c | 538326 | 5825 25026 76177 | 341291 315008 148 | 0.000 % |
768.03/768.52 c | 538607 | 5825 25026 76177 | 341291 315289 148 | 0.000 % |
768.63/769.16 c | 538916 | 5825 25026 76177 | 341291 315598 148 | 0.000 % |
769.33/769.82 c | 539255 | 5825 25026 76177 | 341291 315937 148 | 0.000 % |
770.13/770.62 c | 539627 | 5825 25026 76177 | 341291 316309 148 | 0.000 % |
770.92/771.46 c | 540036 | 5825 25026 76177 | 2147483647 316718 148 | 0.000 % |
771.92/772.45 c | 540485 | 5825 25026 76177 | 2147483647 317167 148 | 0.000 % |
773.02/773.59 c | 540978 | 5825 25026 76177 | 2147483647 317660 148 | 0.000 % |
774.21/774.76 c | 541522 | 5825 25026 76177 | 2147483647 318204 148 | 0.000 % |
775.51/776.06 c | 542118 | 5825 25026 76177 | 2147483647 318800 148 | 0.000 % |
776.91/777.46 c | 542775 | 5825 25026 76177 | 2147483647 319457 148 | 0.000 % |
778.41/778.97 c | 543497 | 5825 25026 76177 | 2147483647 320179 148 | 0.000 % |
780.11/780.62 c | 544289 | 5825 25026 76177 | 2147483647 320971 148 | 0.000 % |
781.81/782.39 c | 545160 | 5825 25026 76177 | 2147483647 321842 148 | 0.000 % |
783.81/784.35 c | 546119 | 5825 25026 76177 | 2147483647 322801 148 | 0.000 % |
785.91/786.46 c | 547179 | 5825 25026 76177 | 2147483647 323861 148 | 0.000 % |
788.21/788.71 c | 548338 | 5825 25026 76177 | 2147483647 325020 148 | 0.000 % |
790.71/791.22 c | 549611 | 5825 25026 76177 | 2147483647 326293 148 | 0.000 % |
793.41/793.90 c | 551011 | 5825 25026 76177 | 326683 327693 148 | 0.000 % |
796.61/797.14 c | 552551 | 5825 25026 76177 | 326683 295497 148 | 0.000 % |
799.80/800.30 c | 554245 | 5825 25026 76177 | 326683 297191 148 | 0.000 % |
802.90/803.46 c | 556109 | 5825 25026 76177 | 326683 299055 148 | 0.000 % |
806.40/806.97 c | 558158 | 5825 25026 76177 | 326683 301104 149 | 0.000 % |
810.50/811.02 c | 560411 | 5825 25026 76177 | 2147483647 303357 149 | 0.000 % |
814.80/815.38 c | 562892 | 5825 25026 76177 | 2147483647 305838 149 | 0.000 % |
819.59/820.13 c | 565617 | 5825 25026 76177 | 2147483647 308563 149 | 0.000 % |
824.99/825.54 c | 568614 | 5825 25026 76177 | 2147483647 311560 149 | 0.000 % |
830.79/831.37 c | 571910 | 5825 25026 76177 | 2147483647 314856 149 | 0.000 % |
836.78/837.39 c | 575535 | 5825 25026 76177 | 2147483647 318481 149 | 0.000 % |
844.38/844.90 c | 579522 | 5825 25026 76177 | 2147483647 322468 149 | 0.000 % |
852.58/853.17 c | 583907 | 5825 25026 76177 | 2147483647 326853 150 | 0.000 % |
861.57/862.18 c | 588730 | 5825 25026 76177 | 2147483647 331676 150 | 0.000 % |
871.98/872.56 c | 594036 | 5825 25026 76177 | 2147483647 336982 150 | 0.000 % |
872.38/872.90 c | 594137 | 5825 25026 76177 | 2147483647 337083 150 | 0.000 % |
872.68/873.21 c | 594248 | 5825 25026 76177 | 2147483647 337194 150 | 0.000 % |
872.98/873.56 c | 594369 | 5825 25026 76177 | 2147483647 337315 150 | 0.000 % |
873.38/873.90 c | 594503 | 5825 25026 76177 | 2147483647 337449 150 | 0.000 % |
873.78/874.35 c | 594653 | 5825 25026 76177 | 2147483647 337599 150 | 0.000 % |
874.28/874.82 c | 594814 | 5825 25026 76177 | 2147483647 337760 150 | 0.000 % |
874.68/875.28 c | 594990 | 5825 25026 76177 | 2147483647 337936 150 | 0.000 % |
875.18/875.77 c | 595183 | 5825 25026 76177 | 2147483647 338129 150 | 0.000 % |
875.77/876.35 c | 595398 | 5825 25026 76177 | 2147483647 338344 150 | 0.000 % |
876.37/876.98 c | 595633 | 5825 25026 76177 | 2147483647 338579 150 | 0.000 % |
877.07/877.62 c | 595889 | 5825 25026 76177 | 2147483647 338835 150 | 0.000 % |
877.77/878.32 c | 596173 | 5825 25026 76177 | 2147483647 339119 150 | 0.000 % |
878.47/879.07 c | 596482 | 5825 25026 76177 | 2147483647 339428 150 | 0.000 % |
879.27/879.89 c | 596824 | 5825 25026 76177 | 2147483647 339770 150 | 0.000 % |
880.27/880.81 c | 597196 | 5825 25026 76177 | 2147483647 340142 150 | 0.000 % |
881.17/881.74 c | 597605 | 5825 25026 76177 | 2147483647 340551 150 | 0.000 % |
882.17/882.72 c | 598054 | 5825 25026 76177 | 2147483647 341000 150 | 0.000 % |
883.37/883.90 c | 598547 | 5825 25026 76177 | 2147483647 341493 150 | 0.000 % |
884.66/885.26 c | 599089 | 5825 25026 76177 | 2147483647 342035 150 | 0.000 % |
886.07/886.69 c | 599685 | 5825 25026 76177 | 2147483647 342631 150 | 0.000 % |
887.57/888.13 c | 600340 | 5825 25026 76177 | 342946 343286 150 | 0.000 % |
889.47/890.02 c | 601060 | 5825 25026 76177 | 342946 297754 151 | 0.000 % |
891.17/891.73 c | 601855 | 5825 25026 76177 | 342946 298549 151 | 0.000 % |
892.87/893.40 c | 602726 | 5825 25026 76177 | 342946 299420 151 | 0.000 % |
894.67/895.27 c | 603684 | 5825 25026 76177 | 342946 300378 151 | 0.000 % |
896.36/896.92 c | 604739 | 5825 25026 76177 | 342946 301433 151 | 0.000 % |
898.56/899.19 c | 605898 | 5825 25026 76177 | 342946 302592 151 | 0.000 % |
901.17/901.72 c | 607172 | 5825 25026 76177 | 342946 303866 151 | 0.000 % |
903.96/904.52 c | 608573 | 5825 25026 76177 | 342946 305267 151 | 0.000 % |
906.96/907.57 c | 610113 | 5825 25026 76177 | 2147483647 306807 151 | 0.000 % |
910.06/910.67 c | 611807 | 5825 25026 76177 | 2147483647 308501 151 | 0.000 % |
913.65/914.27 c | 613672 | 5825 25026 76177 | 2147483647 310366 151 | 0.000 % |
917.55/918.14 c | 615721 | 5825 25026 76177 | 2147483647 312415 151 | 0.000 % |
921.85/922.48 c | 617974 | 5825 25026 76177 | 2147483647 314668 151 | 0.000 % |
926.55/927.10 c | 620452 | 5825 25026 76177 | 2147483647 317146 151 | 0.000 % |
931.75/932.31 c | 623179 | 5825 25026 76177 | 2147483647 319873 151 | 0.000 % |
937.34/937.96 c | 626177 | 5825 25026 76177 | 2147483647 322871 151 | 0.000 % |
943.64/944.22 c | 629473 | 5825 25026 76177 | 2147483647 326167 151 | 0.000 % |
950.43/951.04 c | 633098 | 5825 25026 76177 | 2147483647 329792 151 | 0.000 % |
958.23/958.83 c | 637085 | 5825 25026 76177 | 2147483647 333779 151 | 0.000 % |
966.43/967.02 c | 641473 | 5825 25026 76177 | 2147483647 338167 151 | 0.000 % |
975.62/976.23 c | 646297 | 5825 25026 76177 | 2147483647 342991 151 | 0.000 % |
985.91/986.50 c | 651602 | 5825 25026 76177 | 346694 313025 152 | 0.000 % |
996.60/997.29 c | 657439 | 5825 25026 76177 | 346694 318862 153 | 0.000 % |
996.90/997.54 c | 657539 | 5825 25026 76177 | 346694 318962 153 | 0.000 % |
997.20/997.86 c | 657649 | 5825 25026 76177 | 346694 319072 153 | 0.000 % |
997.50/998.14 c | 657770 | 5825 25026 76177 | 346694 319193 153 | 0.000 % |
997.80/998.48 c | 657903 | 5825 25026 76177 | 346694 319326 153 | 0.000 % |
998.21/998.83 c | 658052 | 5825 25026 76177 | 346694 319475 153 | 0.000 % |
998.60/999.26 c | 658213 | 5825 25026 76177 | 346694 319636 153 | 0.000 % |
999.00/999.66 c | 658391 | 5825 25026 76177 | 346694 319814 153 | 0.000 % |
999.50/1000.16 c | 658586 | 5825 25026 76177 | 346694 320009 152 | 0.000 % |
1000.00/1000.68 c | 658798 | 5825 25026 76177 | 346694 320221 152 | 0.000 % |
1000.60/1001.26 c | 659031 | 5825 25026 76177 | 346694 320454 152 | 0.000 % |
1001.30/1001.90 c | 659289 | 5825 25026 76177 | 346694 320712 152 | 0.000 % |
1001.90/1002.57 c | 659570 | 5825 25026 76177 | 346694 320993 152 | 0.000 % |
1002.70/1003.33 c | 659879 | 5825 25026 76177 | 346694 321302 152 | 0.000 % |
1003.40/1004.09 c | 660219 | 5825 25026 76177 | 321423 321642 152 | 0.000 % |
1004.60/1005.29 c | 660592 | 5825 25026 76177 | 321423 287908 152 | 0.000 % |
1005.50/1006.15 c | 661003 | 5825 25026 76177 | 321423 288319 152 | 0.000 % |
1006.40/1007.09 c | 661452 | 5825 25026 76177 | 321423 288768 152 | 0.000 % |
1007.40/1008.08 c | 661946 | 5825 25026 76177 | 321423 289262 152 | 0.000 % |
1008.50/1009.18 c | 662488 | 5825 25026 76177 | 321423 289804 152 | 0.000 % |
1009.60/1010.27 c | 663084 | 5825 25026 76177 | 321423 290400 152 | 0.000 % |
1010.90/1011.53 c | 663741 | 5825 25026 76177 | 321423 291057 152 | 0.000 % |
1012.20/1012.83 c | 664462 | 5825 25026 76177 | 321423 291778 152 | 0.000 % |
1013.69/1014.35 c | 665258 | 5825 25026 76177 | 321423 292574 152 | 0.000 % |
1015.39/1016.03 c | 666129 | 5825 25026 76177 | 321423 293445 152 | 0.000 % |
1017.09/1017.70 c | 667090 | 5825 25026 76177 | 321423 294406 152 | 0.000 % |
1019.10/1019.76 c | 668143 | 5825 25026 76177 | 321423 295459 152 | 0.000 % |
1021.39/1022.02 c | 669301 | 5825 25026 76177 | 321423 296617 152 | 0.000 % |
1023.89/1024.56 c | 670576 | 5825 25026 76177 | 2147483647 297892 152 | 0.000 % |
1026.69/1027.37 c | 671976 | 5825 25026 76177 | 2147483647 299292 152 | 0.000 % |
1029.59/1030.29 c | 673516 | 5825 25026 76177 | 2147483647 300832 152 | 0.000 % |
1033.09/1033.78 c | 675210 | 5825 25026 76177 | 2147483647 302526 152 | 0.000 % |
1036.29/1036.98 c | 677076 | 5825 25026 76177 | 2147483647 304392 152 | 0.000 % |
1040.28/1040.93 c | 679125 | 5825 25026 76177 | 2147483647 306441 152 | 0.000 % |
1044.56/1045.24 c | 681378 | 5825 25026 76177 | 2147483647 308694 152 | 0.000 % |
1049.16/1049.80 c | 683858 | 5825 25026 76177 | 2147483647 311174 152 | 0.000 % |
1054.05/1054.75 c | 686583 | 5825 25026 76177 | 2147483647 313899 152 | 0.000 % |
1060.15/1060.83 c | 689581 | 5825 25026 76177 | 2147483647 316897 152 | 0.000 % |
1066.75/1067.44 c | 692877 | 5825 25026 76177 | 2147483647 320193 152 | 0.000 % |
1073.35/1074.01 c | 696503 | 5825 25026 76177 | 2147483647 323819 152 | 0.000 % |
1081.15/1081.81 c | 700491 | 5825 25026 76177 | 2147483647 327807 152 | 0.000 % |
1089.92/1090.69 c | 704876 | 5825 25026 76177 | 2147483647 332192 152 | 0.000 % |
1100.02/1100.78 c | 709699 | 5825 25026 76177 | 2147483647 337015 152 | 0.000 % |
1110.62/1111.35 c | 715004 | 5825 25026 76177 | 337317 308505 153 | 0.000 % |
1121.32/1122.03 c | 720840 | 5825 25026 76177 | 2147483647 314341 153 | 0.000 % |
1132.99/1133.73 c | 727260 | 5825 25026 76177 | 2147483647 320761 154 | 0.000 % |
1133.19/1133.95 c | 727360 | 5825 25026 76177 | 2147483647 320861 154 | 0.000 % |
1133.49/1134.24 c | 727470 | 5825 25026 76177 | 2147483647 320971 154 | 0.000 % |
1133.79/1134.56 c | 727594 | 5825 25026 76177 | 2147483647 321095 154 | 0.000 % |
1134.19/1134.91 c | 727727 | 5825 25026 76177 | 2147483647 321228 154 | 0.000 % |
1134.49/1135.28 c | 727873 | 5825 25026 76177 | 2147483647 321374 154 | 0.000 % |
1134.89/1135.66 c | 728033 | 5825 25026 76177 | 2147483647 321534 154 | 0.000 % |
1135.29/1136.09 c | 728209 | 5825 25026 76177 | 2147483647 321710 154 | 0.000 % |
1135.79/1136.56 c | 728405 | 5825 25026 76177 | 2147483647 321906 154 | 0.000 % |
1136.29/1137.04 c | 728617 | 5825 25026 76177 | 2147483647 322118 154 | 0.000 % |
1136.79/1137.58 c | 728852 | 5825 25026 76177 | 2147483647 322353 154 | 0.000 % |
1137.39/1138.17 c | 729108 | 5825 25026 76177 | 2147483647 322609 154 | 0.000 % |
1138.09/1138.83 c | 729390 | 5825 25026 76177 | 2147483647 322891 154 | 0.000 % |
1138.69/1139.50 c | 729700 | 5825 25026 76177 | 2147483647 323201 154 | 0.000 % |
1139.49/1140.29 c | 730040 | 5825 25026 76177 | 2147483647 323541 153 | 0.000 % |
1140.49/1141.27 c | 730412 | 5825 25026 76177 | 2147483647 323913 153 | 0.000 % |
1141.39/1142.16 c | 730821 | 5825 25026 76177 | 2147483647 324322 153 | 0.000 % |
1142.39/1143.13 c | 731270 | 5825 25026 76177 | 2147483647 324771 153 | 0.000 % |
1143.39/1144.11 c | 731763 | 5825 25026 76177 | 2147483647 325264 153 | 0.000 % |
1144.49/1145.25 c | 732307 | 5825 25026 76177 | 2147483647 325808 153 | 0.000 % |
1145.79/1146.59 c | 732905 | 5825 25026 76177 | 2147483647 326406 153 | 0.000 % |
1147.19/1147.95 c | 733561 | 5825 25026 76177 | 2147483647 327062 153 | 0.000 % |
1148.89/1149.67 c | 734284 | 5825 25026 76177 | 2147483647 327785 153 | 0.000 % |
1150.49/1151.23 c | 735076 | 5825 25026 76177 | 2147483647 328577 153 | 0.000 % |
1152.38/1153.10 c | 735947 | 5825 25026 76177 | 2147483647 329448 153 | 0.000 % |
1154.38/1155.12 c | 736905 | 5825 25026 76177 | 2147483647 330406 153 | 0.000 % |
1156.49/1157.20 c | 737958 | 5825 25026 76177 | 2147483647 331459 153 | 0.000 % |
1158.78/1159.59 c | 739117 | 5825 25026 76177 | 2147483647 332618 153 | 0.000 % |
1161.48/1162.25 c | 740392 | 5825 25026 76177 | 333501 333893 153 | 0.000 % |
1164.48/1165.23 c | 741792 | 5825 25026 76177 | 333501 295205 154 | 0.000 % |
1167.18/1167.99 c | 743332 | 5825 25026 76177 | 333501 296745 154 | 0.000 % |
1170.08/1170.82 c | 745026 | 5825 25026 76177 | 333501 298439 154 | 0.000 % |
1173.58/1174.31 c | 746890 | 5825 25026 76177 | 333501 300303 153 | 0.000 % |
1177.07/1177.88 c | 748940 | 5825 25026 76177 | 333501 302353 154 | 0.000 % |
1181.27/1182.04 c | 751194 | 5825 25026 76177 | 2147483647 304607 154 | 0.000 % |
1185.87/1186.66 c | 753673 | 5825 25026 76177 | 2147483647 307086 153 | 0.000 % |
1191.07/1191.83 c | 756398 | 5825 25026 76177 | 2147483647 309811 153 | 0.000 % |
1196.57/1197.37 c | 759396 | 5825 25026 76177 | 2147483647 312809 154 | 0.000 % |
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1832707-1242786484/watcher-1832707-1242786484 -o /tmp/evaluation-result-1832707-1242786484/solver-1832707-1242786484 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1832707-1242786484.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 0.99 3/64 16222
/proc/meminfo: memFree=1710168/2055920 swapFree=4179588/4192956
[pid=16222] ppid=16220 vsize=5356 CPUtime=0
/proc/16222/stat : 16222 (SatELiteGTI) S 16220 16222 15570 0 -1 4194304 276 0 0 0 0 0 0 0 18 0 1 0 306677290 5484544 235 1992294400 4194304 4889804 548682068832 18446744073709551615 231882850386 0 0 4100 65536 18446744071563648864 0 0 17 0 0 0
/proc/16222/statm: 1339 235 195 169 0 50 0
[pid=16223] ppid=16222 vsize=0 CPUtime=0
/proc/16223/stat : 16223 (SatELiteGTI) R 16222 16222 15570 0 -1 4194372 61 188 0 0 0 0 0 0 19 0 1 0 306677291 0 0 1992294400 0 0 0 0 0 0 0 4096 65538 0 0 0 17 0 0 0
/proc/16223/statm: 0 0 0 0 0 0 0
[startup+0.098844 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 16222
/proc/meminfo: memFree=1710168/2055920 swapFree=4179588/4192956
[pid=16222] ppid=16220 vsize=5356 CPUtime=0
/proc/16222/stat : 16222 (SatELiteGTI) S 16220 16222 15570 0 -1 4194304 310 249 0 0 0 0 0 0 19 0 1 0 306677290 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 231882679108 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/16222/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.101837 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 16222
/proc/meminfo: memFree=1710168/2055920 swapFree=4179588/4192956
[pid=16222] ppid=16220 vsize=5356 CPUtime=0
/proc/16222/stat : 16222 (SatELiteGTI) S 16220 16222 15570 0 -1 4194304 310 249 0 0 0 0 0 0 19 0 1 0 306677290 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 231882679108 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/16222/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.301858 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 16222
/proc/meminfo: memFree=1710168/2055920 swapFree=4179588/4192956
[pid=16222] ppid=16220 vsize=5356 CPUtime=0.09
/proc/16222/stat : 16222 (SatELiteGTI) S 16220 16222 15570 0 -1 4194304 336 1106 0 0 0 0 9 0 15 0 1 0 306677290 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 231882679108 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16222/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 5356
[startup+0.701903 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 16222
/proc/meminfo: memFree=1710168/2055920 swapFree=4179588/4192956
[pid=16222] ppid=16220 vsize=5356 CPUtime=0.09
/proc/16222/stat : 16222 (SatELiteGTI) S 16220 16222 15570 0 -1 4194304 336 1106 0 0 0 0 9 0 15 0 1 0 306677290 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 231882679108 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16222/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 5356
[startup+1.502 s]
/proc/loadavg: 0.92 0.98 0.99 2/66 16228
/proc/meminfo: memFree=1704840/2055920 swapFree=4179588/4192956
[pid=16222] ppid=16220 vsize=5356 CPUtime=0.09
/proc/16222/stat : 16222 (SatELiteGTI) S 16220 16222 15570 0 -1 4194304 336 1106 0 0 0 0 9 0 15 0 1 0 306677290 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 231882679108 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16222/statm: 1339 239 197 169 0 50 0
[pid=16228] ppid=16222 vsize=7136 CPUtime=1.38
/proc/16228/stat : 16228 (minisat_static) R 16222 16222 15570 0 -1 4194304 1526 0 0 0 137 1 0 0 25 0 1 0 306677301 7307264 1512 1992294400 134512640 135215339 4294956240 18446744073709551615 134528863 0 0 4096 3 0 0 0 17 0 0 0
/proc/16228/statm: 1784 1512 77 171 0 1611 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 12492
[startup+3.10219 s]
/proc/loadavg: 0.92 0.98 0.99 2/66 16228
/proc/meminfo: memFree=1702856/2055920 swapFree=4179588/4192956
[pid=16222] ppid=16220 vsize=5356 CPUtime=0.09
/proc/16222/stat : 16222 (SatELiteGTI) S 16220 16222 15570 0 -1 4194304 336 1106 0 0 0 0 9 0 15 0 1 0 306677290 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 231882679108 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16222/statm: 1339 239 197 169 0 50 0
[pid=16228] ppid=16222 vsize=9936 CPUtime=2.97
/proc/16228/stat : 16228 (minisat_static) R 16222 16222 15570 0 -1 4194304 2239 0 0 0 296 1 0 0 25 0 1 0 306677301 10174464 2225 1992294400 134512640 135215339 4294956240 18446744073709551615 134528779 0 0 4096 3 0 0 0 17 0 0 0
/proc/16228/statm: 2484 2225 77 171 0 2311 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 15292
[startup+6.30156 s]
/proc/loadavg: 0.93 0.98 0.99 2/66 16228
/proc/meminfo: memFree=1696008/2055920 swapFree=4179588/4192956
[pid=16222] ppid=16220 vsize=5356 CPUtime=0.09
/proc/16222/stat : 16222 (SatELiteGTI) S 16220 16222 15570 0 -1 4194304 336 1106 0 0 0 0 9 0 15 0 1 0 306677290 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 231882679108 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16222/statm: 1339 239 197 169 0 50 0
[pid=16228] ppid=16222 vsize=16060 CPUtime=6.17
/proc/16228/stat : 16228 (minisat_static) R 16222 16222 15570 0 -1 4194304 3752 0 0 0 614 3 0 0 25 0 1 0 306677301 16445440 3738 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/16228/statm: 4015 3738 77 171 0 3842 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 21416
[startup+12.7013 s]
/proc/loadavg: 0.93 0.98 0.99 2/66 16228
/proc/meminfo: memFree=1685768/2055920 swapFree=4179588/4192956
[pid=16222] ppid=16220 vsize=5356 CPUtime=0.09
/proc/16222/stat : 16222 (SatELiteGTI) S 16220 16222 15570 0 -1 4194304 336 1106 0 0 0 0 9 0 15 0 1 0 306677290 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 231882679108 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16222/statm: 1339 239 197 169 0 50 0
[pid=16228] ppid=16222 vsize=25676 CPUtime=12.56
/proc/16228/stat : 16228 (minisat_static) R 16222 16222 15570 0 -1 4194304 6143 0 0 0 1251 5 0 0 25 0 1 0 306677301 26292224 6129 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 0 0 0
/proc/16228/statm: 6419 6129 77 171 0 6246 0
Current children cumulated CPU time (s) 12.65
Current children cumulated vsize (KiB) 31032
[startup+25.5018 s]
/proc/loadavg: 0.95 0.98 0.99 2/66 16228
/proc/meminfo: memFree=1670984/2055920 swapFree=4179588/4192956
[pid=16222] ppid=16220 vsize=5356 CPUtime=0.09
/proc/16222/stat : 16222 (SatELiteGTI) S 16220 16222 15570 0 -1 4194304 336 1106 0 0 0 0 9 0 15 0 1 0 306677290 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 231882679108 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16222/statm: 1339 239 197 169 0 50 0
[pid=16228] ppid=16222 vsize=39920 CPUtime=25.36
/proc/16228/stat : 16228 (minisat_static) R 16222 16222 15570 0 -1 4194304 9696 0 0 0 2526 10 0 0 25 0 1 0 306677301 40878080 9682 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/16228/statm: 9980 9682 77 171 0 9807 0
Current children cumulated CPU time (s) 25.45
Current children cumulated vsize (KiB) 45276
[startup+51.1019 s]
/proc/loadavg: 0.96 0.98 0.99 2/66 16228
/proc/meminfo: memFree=1649352/2055920 swapFree=4179588/4192956
[pid=16222] ppid=16220 vsize=5356 CPUtime=0.09
/proc/16222/stat : 16222 (SatELiteGTI) S 16220 16222 15570 0 -1 4194304 336 1106 0 0 0 0 9 0 15 0 1 0 306677290 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 231882679108 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16222/statm: 1339 239 197 169 0 50 0
[pid=16228] ppid=16222 vsize=61612 CPUtime=50.93
/proc/16228/stat : 16228 (minisat_static) R 16222 16222 15570 0 -1 4194304 15112 0 0 0 5076 17 0 0 25 0 1 0 306677301 63090688 15098 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/16228/statm: 15403 15098 77 171 0 15230 0
Current children cumulated CPU time (s) 51.02
Current children cumulated vsize (KiB) 66968
[startup+102.306 s]
/proc/loadavg: 0.98 0.98 0.99 2/66 16228
/proc/meminfo: memFree=1616904/2055920 swapFree=4179588/4192956
[pid=16222] ppid=16220 vsize=5356 CPUtime=0.09
/proc/16222/stat : 16222 (SatELiteGTI) S 16220 16222 15570 0 -1 4194304 336 1106 0 0 0 0 9 0 15 0 1 0 306677290 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 231882679108 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16222/statm: 1339 239 197 169 0 50 0
[pid=16228] ppid=16222 vsize=93560 CPUtime=102.1
/proc/16228/stat : 16228 (minisat_static) R 16222 16222 15570 0 -1 4194304 23082 0 0 0 10185 25 0 0 25 0 1 0 306677301 95805440 23068 1992294400 134512640 135215339 4294956240 18446744073709551615 134528734 0 0 4096 3 0 0 0 17 0 0 0
/proc/16228/statm: 23390 23068 77 171 0 23217 0
Current children cumulated CPU time (s) 102.19
Current children cumulated vsize (KiB) 98916
[startup+162.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 16228
/proc/meminfo: memFree=1587080/2055920 swapFree=4179588/4192956
[pid=16222] ppid=16220 vsize=5356 CPUtime=0.09
/proc/16222/stat : 16222 (SatELiteGTI) S 16220 16222 15570 0 -1 4194304 336 1106 0 0 0 0 9 0 15 0 1 0 306677290 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 231882679108 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16222/statm: 1339 239 197 169 0 50 0
[pid=16228] ppid=16222 vsize=123128 CPUtime=162.07
/proc/16228/stat : 16228 (minisat_static) R 16222 16222 15570 0 -1 4194304 30543 0 0 0 16171 36 0 0 25 0 1 0 306677301 126083072 30529 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/16228/statm: 30782 30529 77 171 0 30609 0
Current children cumulated CPU time (s) 162.16
Current children cumulated vsize (KiB) 128484
[startup+222.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 16228
/proc/meminfo: memFree=1561736/2055920 swapFree=4179588/4192956
[pid=16222] ppid=16220 vsize=5356 CPUtime=0.09
/proc/16222/stat : 16222 (SatELiteGTI) S 16220 16222 15570 0 -1 4194304 336 1106 0 0 0 0 9 0 15 0 1 0 306677290 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 231882679108 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16222/statm: 1339 239 197 169 0 50 0
[pid=16228] ppid=16222 vsize=148480 CPUtime=222.03
/proc/16228/stat : 16228 (minisat_static) R 16222 16222 15570 0 -1 4194304 36793 0 0 0 22161 42 0 0 25 0 1 0 306677301 152043520 36779 1992294400 134512640 135215339 4294956240 18446744073709551615 134528788 0 0 4096 3 0 0 0 17 0 0 0
/proc/16228/statm: 37120 36779 77 171 0 36947 0
Current children cumulated CPU time (s) 222.12
Current children cumulated vsize (KiB) 153836
[startup+282.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 16228
/proc/meminfo: memFree=1539144/2055920 swapFree=4179588/4192956
[pid=16222] ppid=16220 vsize=5356 CPUtime=0.09
/proc/16222/stat : 16222 (SatELiteGTI) S 16220 16222 15570 0 -1 4194304 336 1106 0 0 0 0 9 0 15 0 1 0 306677290 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 231882679108 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16222/statm: 1339 239 197 169 0 50 0
[pid=16228] ppid=16222 vsize=170920 CPUtime=281.99
/proc/16228/stat : 16228 (minisat_static) R 16222 16222 15570 0 -1 4194304 42463 0 0 0 28150 49 0 0 25 0 1 0 306677301 175022080 42449 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/16228/statm: 42730 42449 77 171 0 42557 0
Current children cumulated CPU time (s) 282.08
Current children cumulated vsize (KiB) 176276
[startup+342.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 16228
/proc/meminfo: memFree=1518664/2055920 swapFree=4179588/4192956
[pid=16222] ppid=16220 vsize=5356 CPUtime=0.09
/proc/16222/stat : 16222 (SatELiteGTI) S 16220 16222 15570 0 -1 4194304 336 1106 0 0 0 0 9 0 15 0 1 0 306677290 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 231882679108 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16222/statm: 1339 239 197 169 0 50 0
[pid=16228] ppid=16222 vsize=191724 CPUtime=341.96
/proc/16228/stat : 16228 (minisat_static) R 16222 16222 15570 0 -1 4194304 47522 0 0 0 34142 54 0 0 25 0 1 0 306677301 196325376 47508 1992294400 134512640 135215339 4294956240 18446744073709551615 134528624 0 0 4096 3 0 0 0 17 0 0 0
/proc/16228/statm: 47931 47508 77 171 0 47758 0
Current children cumulated CPU time (s) 342.05
Current children cumulated vsize (KiB) 197080
[startup+402.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 16228
/proc/meminfo: memFree=1510280/2055920 swapFree=4179588/4192956
[pid=16222] ppid=16220 vsize=5356 CPUtime=0.09
/proc/16222/stat : 16222 (SatELiteGTI) S 16220 16222 15570 0 -1 4194304 336 1106 0 0 0 0 9 0 15 0 1 0 306677290 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 231882679108 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16222/statm: 1339 239 197 169 0 50 0
[pid=16228] ppid=16222 vsize=199776 CPUtime=401.94
/proc/16228/stat : 16228 (minisat_static) R 16222 16222 15570 0 -1 4194304 49576 0 0 0 40136 58 0 0 25 0 1 0 306677301 204570624 49562 1992294400 134512640 135215339 4294956240 18446744073709551615 134528863 0 0 4096 3 0 0 0 17 0 0 0
/proc/16228/statm: 49944 49562 77 171 0 49771 0
Current children cumulated CPU time (s) 402.03
################
# More data... #
################
/proc/16228/statm: 51792 51418 77 171 0 51619 0
Current children cumulated CPU time (s) 521.96
Current children cumulated vsize (KiB) 212524
[startup+582.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 16228
/proc/meminfo: memFree=1502536/2055920 swapFree=4179588/4192956
[pid=16222] ppid=16220 vsize=5356 CPUtime=0.09
/proc/16222/stat : 16222 (SatELiteGTI) S 16220 16222 15570 0 -1 4194304 336 1106 0 0 0 0 9 0 15 0 1 0 306677290 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 231882679108 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16222/statm: 1339 239 197 169 0 50 0
[pid=16228] ppid=16222 vsize=207168 CPUtime=581.84
/proc/16228/stat : 16228 (minisat_static) R 16222 16222 15570 0 -1 4194304 51432 0 0 0 58124 60 0 0 25 0 1 0 306677301 212140032 51418 1992294400 134512640 135215339 4294956240 18446744073709551615 134528849 0 0 4096 3 0 0 0 17 0 0 0
/proc/16228/statm: 51792 51418 77 171 0 51619 0
Current children cumulated CPU time (s) 581.93
Current children cumulated vsize (KiB) 212524
[startup+642.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 16228
/proc/meminfo: memFree=1502408/2055920 swapFree=4179588/4192956
[pid=16222] ppid=16220 vsize=5356 CPUtime=0.09
/proc/16222/stat : 16222 (SatELiteGTI) S 16220 16222 15570 0 -1 4194304 336 1106 0 0 0 0 9 0 15 0 1 0 306677290 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 231882679108 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16222/statm: 1339 239 197 169 0 50 0
[pid=16228] ppid=16222 vsize=207168 CPUtime=641.81
/proc/16228/stat : 16228 (minisat_static) R 16222 16222 15570 0 -1 4194304 51432 0 0 0 64121 60 0 0 25 0 1 0 306677301 212140032 51418 1992294400 134512640 135215339 4294956240 18446744073709551615 134528849 0 0 4096 3 0 0 0 17 0 0 0
/proc/16228/statm: 51792 51418 77 171 0 51619 0
Current children cumulated CPU time (s) 641.9
Current children cumulated vsize (KiB) 212524
[startup+702.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 16228
/proc/meminfo: memFree=1495880/2055920 swapFree=4179588/4192956
[pid=16222] ppid=16220 vsize=5356 CPUtime=0.09
/proc/16222/stat : 16222 (SatELiteGTI) S 16220 16222 15570 0 -1 4194304 336 1106 0 0 0 0 9 0 15 0 1 0 306677290 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 231882679108 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16222/statm: 1339 239 197 169 0 50 0
[pid=16228] ppid=16222 vsize=213636 CPUtime=701.78
/proc/16228/stat : 16228 (minisat_static) R 16222 16222 15570 0 -1 4194304 53046 0 0 0 70116 62 0 0 25 0 1 0 306677301 218763264 53032 1992294400 134512640 135215339 4294956240 18446744073709551615 134528863 0 0 4096 3 0 0 0 17 0 0 0
/proc/16228/statm: 53409 53032 77 171 0 53236 0
Current children cumulated CPU time (s) 701.87
Current children cumulated vsize (KiB) 218992
[startup+762.306 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 16228
/proc/meminfo: memFree=1492616/2055920 swapFree=4179588/4192956
[pid=16222] ppid=16220 vsize=5356 CPUtime=0.09
/proc/16222/stat : 16222 (SatELiteGTI) S 16220 16222 15570 0 -1 4194304 336 1106 0 0 0 0 9 0 15 0 1 0 306677290 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 231882679108 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16222/statm: 1339 239 197 169 0 50 0
[pid=16228] ppid=16222 vsize=216672 CPUtime=761.75
/proc/16228/stat : 16228 (minisat_static) R 16222 16222 15570 0 -1 4194304 53814 0 0 0 76112 63 0 0 25 0 1 0 306677301 221872128 53800 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/16228/statm: 54168 53800 77 171 0 53995 0
Current children cumulated CPU time (s) 761.84
Current children cumulated vsize (KiB) 222028
[startup+822.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 16228
/proc/meminfo: memFree=1492616/2055920 swapFree=4179588/4192956
[pid=16222] ppid=16220 vsize=5356 CPUtime=0.09
/proc/16222/stat : 16222 (SatELiteGTI) S 16220 16222 15570 0 -1 4194304 336 1106 0 0 0 0 9 0 15 0 1 0 306677290 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 231882679108 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16222/statm: 1339 239 197 169 0 50 0
[pid=16228] ppid=16222 vsize=216672 CPUtime=821.7
/proc/16228/stat : 16228 (minisat_static) R 16222 16222 15570 0 -1 4194304 53814 0 0 0 82107 63 0 0 25 0 1 0 306677301 221872128 53800 1992294400 134512640 135215339 4294956240 18446744073709551615 134528849 0 0 4096 3 0 0 0 17 0 0 0
/proc/16228/statm: 54168 53800 77 171 0 53995 0
Current children cumulated CPU time (s) 821.79
Current children cumulated vsize (KiB) 222028
[startup+882.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 16228
/proc/meminfo: memFree=1489800/2055920 swapFree=4179588/4192956
[pid=16222] ppid=16220 vsize=5356 CPUtime=0.09
/proc/16222/stat : 16222 (SatELiteGTI) S 16220 16222 15570 0 -1 4194304 336 1106 0 0 0 0 9 0 15 0 1 0 306677290 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 231882679108 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16222/statm: 1339 239 197 169 0 50 0
[pid=16228] ppid=16222 vsize=219576 CPUtime=881.68
/proc/16228/stat : 16228 (minisat_static) R 16222 16222 15570 0 -1 4194304 54511 0 0 0 88104 64 0 0 25 0 1 0 306677301 224845824 54497 1992294400 134512640 135215339 4294956240 18446744073709551615 134528700 0 0 4096 3 0 0 0 17 0 0 0
/proc/16228/statm: 54894 54497 77 171 0 54721 0
Current children cumulated CPU time (s) 881.77
Current children cumulated vsize (KiB) 224932
[startup+942.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 16228
/proc/meminfo: memFree=1488264/2055920 swapFree=4179588/4192956
[pid=16222] ppid=16220 vsize=5356 CPUtime=0.09
/proc/16222/stat : 16222 (SatELiteGTI) S 16220 16222 15570 0 -1 4194304 336 1106 0 0 0 0 9 0 15 0 1 0 306677290 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 231882679108 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16222/statm: 1339 239 197 169 0 50 0
[pid=16228] ppid=16222 vsize=220896 CPUtime=941.65
/proc/16228/stat : 16228 (minisat_static) R 16222 16222 15570 0 -1 4194304 54851 0 0 0 94100 65 0 0 25 0 1 0 306677301 226197504 54837 1992294400 134512640 135215339 4294956240 18446744073709551615 134528728 0 0 4096 3 0 0 0 17 0 0 0
/proc/16228/statm: 55224 54837 77 171 0 55051 0
Current children cumulated CPU time (s) 941.74
Current children cumulated vsize (KiB) 226252
[startup+1002.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 16230
/proc/meminfo: memFree=1483528/2055920 swapFree=4179588/4192956
[pid=16222] ppid=16220 vsize=5356 CPUtime=0.09
/proc/16222/stat : 16222 (SatELiteGTI) S 16220 16222 15570 0 -1 4194304 336 1106 0 0 0 0 9 0 15 0 1 0 306677290 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 231882679108 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16222/statm: 1339 239 197 169 0 50 0
[pid=16228] ppid=16222 vsize=225516 CPUtime=1001.61
/proc/16228/stat : 16228 (minisat_static) R 16222 16222 15570 0 -1 4194304 56020 0 0 0 100095 66 0 0 25 0 1 0 306677301 230928384 56006 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/16228/statm: 56379 56006 77 171 0 56206 0
Current children cumulated CPU time (s) 1001.7
Current children cumulated vsize (KiB) 230872
[startup+1062.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 16230
/proc/meminfo: memFree=1483400/2055920 swapFree=4179588/4192956
[pid=16222] ppid=16220 vsize=5356 CPUtime=0.09
/proc/16222/stat : 16222 (SatELiteGTI) S 16220 16222 15570 0 -1 4194304 336 1106 0 0 0 0 9 0 15 0 1 0 306677290 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 231882679108 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16222/statm: 1339 239 197 169 0 50 0
[pid=16228] ppid=16222 vsize=225516 CPUtime=1061.56
/proc/16228/stat : 16228 (minisat_static) R 16222 16222 15570 0 -1 4194304 56020 0 0 0 106090 66 0 0 25 0 1 0 306677301 230928384 56006 1992294400 134512640 135215339 4294956240 18446744073709551615 134538905 0 0 4096 3 0 0 0 17 0 0 0
/proc/16228/statm: 56379 56006 77 171 0 56206 0
Current children cumulated CPU time (s) 1061.65
Current children cumulated vsize (KiB) 230872
[startup+1122.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 16230
/proc/meminfo: memFree=1483336/2055920 swapFree=4179588/4192956
[pid=16222] ppid=16220 vsize=5356 CPUtime=0.09
/proc/16222/stat : 16222 (SatELiteGTI) S 16220 16222 15570 0 -1 4194304 336 1106 0 0 0 0 9 0 15 0 1 0 306677290 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 231882679108 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16222/statm: 1339 239 197 169 0 50 0
[pid=16228] ppid=16222 vsize=225516 CPUtime=1121.52
/proc/16228/stat : 16228 (minisat_static) R 16222 16222 15570 0 -1 4194304 56020 0 0 0 112086 66 0 0 25 0 1 0 306677301 230928384 56006 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/16228/statm: 56379 56006 77 171 0 56206 0
Current children cumulated CPU time (s) 1121.61
Current children cumulated vsize (KiB) 230872
[startup+1182.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 16230
/proc/meminfo: memFree=1483208/2055920 swapFree=4179588/4192956
[pid=16222] ppid=16220 vsize=5356 CPUtime=0.09
/proc/16222/stat : 16222 (SatELiteGTI) S 16220 16222 15570 0 -1 4194304 336 1106 0 0 0 0 9 0 15 0 1 0 306677290 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 231882679108 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16222/statm: 1339 239 197 169 0 50 0
[pid=16228] ppid=16222 vsize=225516 CPUtime=1181.48
/proc/16228/stat : 16228 (minisat_static) R 16222 16222 15570 0 -1 4194304 56020 0 0 0 118082 66 0 0 25 0 1 0 306677301 230928384 56006 1992294400 134512640 135215339 4294956240 18446744073709551615 134528849 0 0 4096 3 0 0 0 17 0 0 0
/proc/16228/statm: 56379 56006 77 171 0 56206 0
Current children cumulated CPU time (s) 1181.57
Current children cumulated vsize (KiB) 230872
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1200.8 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 16230
/proc/meminfo: memFree=1483208/2055920 swapFree=4179588/4192956
[pid=16222] ppid=16220 vsize=5356 CPUtime=0.09
/proc/16222/stat : 16222 (SatELiteGTI) S 16220 16222 15570 0 -1 4194304 336 1106 0 0 0 0 9 0 15 0 1 0 306677290 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 231882679108 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16222/statm: 1339 239 197 169 0 50 0
[pid=16228] ppid=16222 vsize=225516 CPUtime=1199.98
/proc/16228/stat : 16228 (minisat_static) R 16222 16222 15570 0 -1 4194304 56020 0 0 0 119932 66 0 0 25 0 1 0 306677301 230928384 56006 1992294400 134512640 135215339 4294956240 18446744073709551615 134528809 0 0 4096 3 0 0 0 17 0 0 0
/proc/16228/statm: 56379 56006 77 171 0 56206 0
Current children cumulated CPU time (s) 1200.07
Current children cumulated vsize (KiB) 230872
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 16222 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=99984
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=8998
# CPU time returned by wait4() is 0.108982
# while last known CPU time is 1200.07
#
# 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.07
CPU user time (s): 1199.41
CPU system time (s): 0.66
CPU usage (%): 99.9381
Max. virtual memory (cumulated for all children) (KiB): 230872
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.099984
system time used= 0.008998
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1442
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= 12
involuntary context switches= 10
runsolver used 1.44778 second user time and 2.97955 second system time
The end
Begin job on node75 at 2009-05-20 04:28:04
IDJOB=1832707
IDBENCH=70317
IDSOLVER=671
FILE ID=node75/1832707-1242786484
PBS_JOBID= 9322360
Free space on /tmp= 66268 MiB
SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT09/RANDOM/LARGE/3SAT/UNKNOWN/6000/unif-k3-r4.2-v6000-c25200-S2125430099-013.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1832707-1242786484/watcher-1832707-1242786484 -o /tmp/evaluation-result-1832707-1242786484/solver-1832707-1242786484 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1832707-1242786484.cnf
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 7cb8956402a507cc73d79fe8c2c7c68b
RANDOM SEED=1289874632
node75.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.213
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.213
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5996.54
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1710648 kB
Buffers: 27348 kB
Cached: 268704 kB
SwapCached: 7568 kB
Active: 49252 kB
Inactive: 256436 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1710648 kB
SwapTotal: 4192956 kB
SwapFree: 4179588 kB
Dirty: 2036 kB
Writeback: 0 kB
Mapped: 14596 kB
Slab: 25544 kB
Committed_AS: 876808 kB
PageTables: 1424 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= 66268 MiB
End job on node75 at 2009-05-20 04:48:07