0.00/0.00 c Parsing...
0.00/0.03 c ==============================================================================
0.00/0.03 c | | ORIGINAL | LEARNT | |
0.00/0.03 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress |
0.00/0.03 c ==============================================================================
0.00/0.03 c | 0 | 25200 75600 | 7559 0 0 nan | 0.000 % |
0.00/0.08 c | 0 | 25027 76021 | -- 0 -- -- | -- | -173/421
0.00/0.08 c ==============================================================================
0.00/0.08 c Result : #vars: 5850 #clauses: 25027 #literals: 76021
0.00/0.08 c CPU time: 0.081987 s
0.00/0.08 c ==============================================================================
0.00/0.11 c This is MiniSat 2.0 beta
0.00/0.11 c WARNING: for repeatability, setting FPU to use double precision
0.00/0.11 c ============================[ Problem Statistics ]=============================
0.00/0.11 c | |
0.00/0.11 c | Number of variables: 5850 |
0.00/0.11 c | Number of clauses: 25027 |
0.00/0.13 c | Parsing time: 0.01 s |
0.00/0.13 c ============================[ Search Statistics ]==============================
0.00/0.13 c | Conflicts | ORIGINAL | LEARNT | Progress |
0.00/0.13 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
0.00/0.13 c ===============================================================================
0.00/0.13 c | 0 | 5850 25027 76021 | 8342 0 nan | 0.000 % |
0.00/0.15 c | 100 | 5850 25027 76021 | 8342 100 103 | 0.000 % |
0.00/0.17 c | 204 | 5850 25027 76021 | 8342 204 127 | 0.000 % |
0.00/0.19 c | 305 | 5850 25027 76021 | 8342 305 127 | 0.000 % |
0.10/0.21 c | 415 | 5850 25027 76021 | 8342 415 125 | 0.000 % |
0.10/0.22 c | 516 | 5850 25027 76021 | 8342 516 122 | 0.000 % |
0.10/0.24 c | 626 | 5850 25027 76021 | 8342 626 126 | 0.000 % |
0.10/0.26 c | 747 | 5850 25027 76021 | 8342 747 122 | 0.000 % |
0.10/0.28 c | 848 | 5850 25027 76021 | 8342 848 124 | 0.000 % |
0.10/0.30 c | 958 | 5850 25027 76021 | 8342 958 123 | 0.000 % |
0.10/0.32 c | 1080 | 5850 25027 76021 | 8342 1080 121 | 0.000 % |
0.10/0.34 c | 1213 | 5850 25027 76021 | 8342 1213 119 | 0.000 % |
0.10/0.36 c | 1313 | 5850 25027 76021 | 8342 1313 118 | 0.000 % |
0.10/0.38 c | 1423 | 5850 25027 76021 | 8342 1423 116 | 0.000 % |
0.10/0.40 c | 1545 | 5850 25027 76021 | 8342 1545 116 | 0.000 % |
0.10/0.42 c | 1679 | 5850 25027 76021 | 8342 1679 116 | 0.000 % |
0.10/0.45 c | 1826 | 5850 25027 76021 | 8342 1826 115 | 0.000 % |
0.10/0.47 c | 1926 | 5850 25027 76021 | 8342 1926 114 | 0.000 % |
0.10/0.49 c | 2036 | 5850 25027 76021 | 8342 2036 114 | 0.000 % |
0.10/0.51 c | 2157 | 5850 25027 76021 | 8342 2157 114 | 0.000 % |
0.10/0.53 c | 2290 | 5850 25027 76021 | 8342 2290 113 | 0.000 % |
0.10/0.56 c | 2436 | 5850 25027 76021 | 8342 2436 113 | 0.000 % |
0.10/0.59 c | 2596 | 5850 25027 76021 | 8342 2596 113 | 0.000 % |
0.10/0.61 c | 2698 | 5850 25027 76021 | 8342 2698 114 | 0.000 % |
0.10/0.63 c | 2809 | 5850 25027 76021 | 8342 2809 113 | 0.000 % |
0.10/0.65 c | 2930 | 5850 25027 76021 | 8342 2930 114 | 0.000 % |
0.10/0.68 c | 3063 | 5850 25027 76021 | 8342 3063 114 | 0.000 % |
0.10/0.71 c | 3209 | 5850 25027 76021 | 8342 3209 114 | 0.000 % |
0.10/0.74 c | 3369 | 5850 25027 76021 | 8342 3369 114 | 0.000 % |
0.10/0.77 c | 3545 | 5850 25027 76021 | 8342 3545 114 | 0.000 % |
0.10/0.79 c | 3646 | 5850 25027 76021 | 8342 3646 113 | 0.000 % |
0.10/0.81 c | 3757 | 5850 25027 76021 | 8342 3757 113 | 0.000 % |
0.10/0.83 c | 3878 | 5850 25027 76021 | 8342 3878 113 | 0.000 % |
0.10/0.86 c | 4012 | 5850 25027 76021 | 8342 4012 113 | 0.000 % |
0.10/0.89 c | 4159 | 5850 25027 76021 | 8342 4159 112 | 0.000 % |
0.10/0.92 c | 4320 | 5850 25027 76021 | 8342 4320 112 | 0.000 % |
0.10/0.95 c | 4496 | 5850 25027 76021 | 8342 4496 112 | 0.000 % |
0.10/0.99 c | 4689 | 5850 25027 76021 | 8342 4689 113 | 0.000 % |
0.97/1.02 c | 4790 | 5850 25027 76021 | 8342 4790 113 | 0.000 % |
0.97/1.04 c | 4901 | 5850 25027 76021 | 8342 4901 114 | 0.000 % |
0.97/1.06 c | 5023 | 5850 25027 76021 | 8342 5023 113 | 0.000 % |
0.97/1.09 c | 5156 | 5850 25027 76021 | 8342 5156 113 | 0.000 % |
1.07/1.12 c | 5302 | 5850 25027 76021 | 8342 5302 113 | 0.000 % |
1.07/1.16 c | 5463 | 5850 25027 76021 | 8342 5463 113 | 0.000 % |
1.07/1.19 c | 5639 | 5850 25027 76021 | 8342 5639 113 | 0.000 % |
1.17/1.23 c | 5832 | 5850 25027 76021 | 8342 5832 113 | 0.000 % |
1.17/1.28 c | 6045 | 5850 25027 76021 | 8342 6045 113 | 0.000 % |
1.27/1.30 c | 6146 | 5850 25027 76021 | 8342 6146 114 | 0.000 % |
1.27/1.32 c | 6256 | 5850 25027 76021 | 8342 6256 113 | 0.000 % |
1.27/1.35 c | 6377 | 5850 25027 76021 | 8342 6377 113 | 0.000 % |
1.27/1.38 c | 6510 | 5850 25027 76021 | 8342 6510 113 | 0.000 % |
1.37/1.41 c | 6656 | 5850 25027 76021 | 8342 6656 114 | 0.000 % |
1.37/1.44 c | 6816 | 5850 25027 76021 | 8342 6816 114 | 0.000 % |
1.37/1.49 c | 6996 | 5850 25027 76021 | 8342 6996 114 | 0.000 % |
1.47/1.53 c | 7190 | 5850 25027 76021 | 8342 7190 115 | 0.000 % |
1.47/1.58 c | 7402 | 5850 25027 76021 | 8342 7402 115 | 0.000 % |
1.57/1.63 c | 7636 | 5850 25027 76021 | 8342 7636 115 | 0.000 % |
1.57/1.65 c | 7736 | 5850 25027 76021 | 8342 7736 115 | 0.000 % |
1.57/1.68 c | 7848 | 5850 25027 76021 | 8342 7848 115 | 0.000 % |
1.67/1.71 c | 7969 | 5850 25027 76021 | 8342 7969 115 | 0.000 % |
1.67/1.74 c | 8103 | 5850 25027 76021 | 8342 8103 115 | 0.000 % |
1.67/1.77 c | 8249 | 5850 25027 76021 | 8342 8249 115 | 0.000 % |
1.77/1.81 c | 8410 | 5850 25027 76021 | 8342 8410 115 | 0.000 % |
1.77/1.86 c | 8586 | 5850 25027 76021 | 8342 7745 113 | 0.000 % |
1.86/1.90 c | 8784 | 5850 25027 76021 | 8342 7943 114 | 0.000 % |
1.86/1.95 c | 8998 | 5850 25027 76021 | 8342 8157 114 | 0.000 % |
1.96/2.00 c | 9232 | 5850 25027 76021 | 8342 8391 115 | 0.000 % |
1.96/2.07 c | 9489 | 5850 25027 76021 | 8342 7809 116 | 0.000 % |
1.96/2.09 c | 9590 | 5850 25027 76021 | 8342 7910 116 | 0.000 % |
2.07/2.11 c | 9702 | 5850 25027 76021 | 8342 8022 116 | 0.000 % |
2.07/2.14 c | 9823 | 5850 25027 76021 | 8342 8143 116 | 0.000 % |
2.07/2.17 c | 9956 | 5850 25027 76021 | 8342 8276 116 | 0.000 % |
2.17/2.20 c | 10102 | 5850 25027 76021 | 2147483647 8422 115 | 0.000 % |
2.17/2.24 c | 10262 | 5850 25027 76021 | 2147483647 8582 115 | 0.000 % |
2.17/2.28 c | 10438 | 5850 25027 76021 | 2147483647 8758 116 | 0.000 % |
2.26/2.32 c | 10632 | 5850 25027 76021 | 2147483647 8952 116 | 0.000 % |
2.26/2.37 c | 10844 | 5850 25027 76021 | 2147483647 9164 116 | 0.000 % |
2.37/2.43 c | 11077 | 5850 25027 76021 | 2147483647 9397 117 | 0.000 % |
2.37/2.49 c | 11333 | 5850 25027 76021 | 2147483647 9653 118 | 0.000 % |
2.47/2.56 c | 11614 | 5850 25027 76021 | 2147483647 9934 117 | 0.000 % |
2.47/2.58 c | 11714 | 5850 25027 76021 | 2147483647 10034 117 | 0.000 % |
2.57/2.61 c | 11824 | 5850 25027 76021 | 2147483647 10144 117 | 0.000 % |
2.57/2.64 c | 11946 | 5850 25027 76021 | 2147483647 10266 117 | 0.000 % |
2.57/2.68 c | 12079 | 5850 25027 76021 | 2147483647 10399 117 | 0.000 % |
2.67/2.71 c | 12226 | 5850 25027 76021 | 2147483647 10546 117 | 0.000 % |
2.67/2.75 c | 12386 | 5850 25027 76021 | 2147483647 10706 117 | 0.000 % |
2.67/2.80 c | 12562 | 5850 25027 76021 | 2147483647 10882 117 | 0.000 % |
2.77/2.84 c | 12759 | 5850 25027 76021 | 2147483647 11079 117 | 0.000 % |
2.77/2.89 c | 12974 | 5850 25027 76021 | 2147483647 11294 116 | 0.000 % |
2.87/2.96 c | 13210 | 5850 25027 76021 | 2147483647 11530 117 | 0.000 % |
2.97/3.03 c | 13469 | 5850 25027 76021 | 2147483647 11789 117 | 0.000 % |
2.97/3.10 c | 13753 | 5850 25027 76021 | 2147483647 12073 117 | 0.000 % |
3.07/3.17 c | 14062 | 5850 25027 76021 | 2147483647 12382 118 | 0.000 % |
3.18/3.20 c | 14163 | 5850 25027 76021 | 2147483647 12483 118 | 0.000 % |
3.18/3.23 c | 14274 | 5850 25027 76021 | 2147483647 12594 118 | 0.000 % |
3.18/3.26 c | 14396 | 5850 25027 76021 | 2147483647 12716 118 | 0.000 % |
3.18/3.30 c | 14529 | 5850 25027 76021 | 2147483647 12849 118 | 0.000 % |
3.27/3.34 c | 14677 | 5850 25027 76021 | 2147483647 12997 118 | 0.000 % |
3.27/3.38 c | 14838 | 5850 25027 76021 | 2147483647 13158 118 | 0.000 % |
3.37/3.43 c | 15016 | 5850 25027 76021 | 2147483647 13336 118 | 0.000 % |
3.37/3.49 c | 15209 | 5850 25027 76021 | 2147483647 13529 118 | 0.000 % |
3.47/3.54 c | 15421 | 5850 25027 76021 | 2147483647 13741 118 | 0.000 % |
3.57/3.61 c | 15654 | 5850 25027 76021 | 2147483647 13974 118 | 0.000 % |
3.57/3.68 c | 15910 | 5850 25027 76021 | 2147483647 14230 118 | 0.000 % |
3.67/3.75 c | 16192 | 5850 25027 76021 | 2147483647 14512 118 | 0.000 % |
3.77/3.83 c | 16501 | 5850 25027 76021 | 2147483647 14821 119 | 0.000 % |
3.87/3.92 c | 16840 | 5850 25027 76021 | 2147483647 15160 119 | 0.000 % |
3.87/3.95 c | 16941 | 5850 25027 76021 | 2147483647 15261 119 | 0.000 % |
3.87/3.98 c | 17051 | 5850 25027 76021 | 2147483647 15371 118 | 0.000 % |
3.97/4.02 c | 17172 | 5850 25027 76021 | 2147483647 15492 118 | 0.000 % |
3.97/4.06 c | 17306 | 5850 25027 76021 | 2147483647 15626 118 | 0.000 % |
4.07/4.10 c | 17455 | 5850 25027 76021 | 2147483647 15775 118 | 0.000 % |
4.07/4.15 c | 17615 | 5850 25027 76021 | 2147483647 15935 118 | 0.000 % |
4.07/4.20 c | 17794 | 5850 25027 76021 | 2147483647 16114 118 | 0.000 % |
4.17/4.25 c | 17987 | 5850 25027 76021 | 2147483647 16307 118 | 0.000 % |
4.27/4.31 c | 18199 | 5850 25027 76021 | 2147483647 16519 118 | 0.000 % |
4.27/4.37 c | 18432 | 5850 25027 76021 | 2147483647 16752 119 | 0.000 % |
4.37/4.44 c | 18688 | 5850 25027 76021 | 2147483647 17008 118 | 0.000 % |
4.46/4.53 c | 18970 | 5850 25027 76021 | 2147483647 17290 119 | 0.000 % |
4.56/4.61 c | 19279 | 5850 25027 76021 | 2147483647 17599 119 | 0.000 % |
4.67/4.72 c | 19620 | 5850 25027 76021 | 2147483647 17940 120 | 0.000 % |
4.77/4.83 c | 19993 | 5850 25027 76021 | 2147483647 18313 120 | 0.000 % |
4.77/4.87 c | 20093 | 5850 25027 76021 | 2147483647 18413 120 | 0.000 % |
4.87/4.90 c | 20203 | 5850 25027 76021 | 2147483647 18523 120 | 0.000 % |
4.87/4.94 c | 20326 | 5850 25027 76021 | 2147483647 18646 120 | 0.000 % |
4.87/4.99 c | 20459 | 5850 25027 76021 | 2147483647 18779 120 | 0.000 % |
4.97/5.03 c | 20605 | 5850 25027 76021 | 2147483647 18925 120 | 0.000 % |
4.97/5.08 c | 20765 | 5850 25027 76021 | 2147483647 19085 120 | 0.000 % |
5.07/5.13 c | 20942 | 5850 25027 76021 | 2147483647 19262 120 | 0.000 % |
5.07/5.20 c | 21135 | 5850 25027 76021 | 2147483647 19455 120 | 0.000 % |
5.17/5.26 c | 21347 | 5850 25027 76021 | 2147483647 19667 120 | 0.000 % |
5.27/5.33 c | 21581 | 5850 25027 76021 | 2147483647 19901 120 | 0.000 % |
5.37/5.41 c | 21840 | 5850 25027 76021 | 2147483647 20160 120 | 0.000 % |
5.47/5.50 c | 22123 | 5850 25027 76021 | 2147483647 20443 120 | 0.000 % |
5.47/5.60 c | 22433 | 5850 25027 76021 | 2147483647 20753 120 | 0.000 % |
5.67/5.71 c | 22773 | 5850 25027 76021 | 2147483647 21093 120 | 0.000 % |
5.77/5.84 c | 23146 | 5850 25027 76021 | 2147483647 21466 120 | 0.000 % |
5.87/5.97 c | 23555 | 5850 25027 76021 | 2147483647 21875 121 | 0.000 % |
5.97/6.01 c | 23657 | 5850 25027 76021 | 2147483647 21977 121 | 0.000 % |
5.97/6.05 c | 23767 | 5850 25027 76021 | 2147483647 22087 121 | 0.000 % |
5.97/6.09 c | 23891 | 5850 25027 76021 | 2147483647 22211 121 | 0.000 % |
6.07/6.14 c | 24024 | 5850 25027 76021 | 2147483647 22344 121 | 0.000 % |
6.07/6.19 c | 24170 | 5850 25027 76021 | 2147483647 22490 121 | 0.000 % |
6.17/6.24 c | 24330 | 5850 25027 76021 | 2147483647 22650 121 | 0.000 % |
6.17/6.29 c | 24506 | 5850 25027 76021 | 2147483647 22826 121 | 0.000 % |
6.27/6.36 c | 24702 | 5850 25027 76021 | 2147483647 23022 121 | 0.000 % |
6.37/6.42 c | 24917 | 5850 25027 76021 | 2147483647 23237 121 | 0.000 % |
6.47/6.50 c | 25152 | 5850 25027 76021 | 2147483647 23472 121 | 0.000 % |
6.47/6.58 c | 25408 | 5850 25027 76021 | 2147483647 23728 121 | 0.000 % |
6.57/6.68 c | 25689 | 5850 25027 76021 | 2147483647 24009 120 | 0.000 % |
6.67/6.79 c | 26000 | 5850 25027 76021 | 2147483647 24320 121 | 0.000 % |
6.86/6.91 c | 26339 | 5850 25027 76021 | 2147483647 24659 121 | 0.000 % |
6.96/7.04 c | 26711 | 5850 25027 76021 | 2147483647 25031 121 | 0.000 % |
7.06/7.18 c | 27120 | 5850 25027 76021 | 2147483647 25440 121 | 0.000 % |
7.26/7.34 c | 27571 | 5850 25027 76021 | 2147483647 25891 121 | 0.000 % |
7.26/7.38 c | 27672 | 5850 25027 76021 | 2147483647 25992 121 | 0.000 % |
7.36/7.42 c | 27783 | 5850 25027 76021 | 2147483647 26103 121 | 0.000 % |
7.36/7.47 c | 27905 | 5850 25027 76021 | 2147483647 26225 121 | 0.000 % |
7.47/7.51 c | 28040 | 5850 25027 76021 | 2147483647 26360 121 | 0.000 % |
7.47/7.57 c | 28186 | 5850 25027 76021 | 2147483647 26506 121 | 0.000 % |
7.58/7.63 c | 28347 | 5850 25027 76021 | 2147483647 26667 121 | 0.000 % |
7.58/7.69 c | 28523 | 5850 25027 76021 | 2147483647 26843 121 | 0.000 % |
7.68/7.76 c | 28717 | 5850 25027 76021 | 2147483647 27037 121 | 0.000 % |
7.77/7.84 c | 28929 | 5850 25027 76021 | 2147483647 27249 121 | 0.000 % |
7.87/7.92 c | 29162 | 5850 25027 76021 | 2147483647 27482 121 | 0.000 % |
7.97/8.01 c | 29420 | 5850 25027 76021 | 2147483647 27740 121 | 0.000 % |
8.07/8.10 c | 29701 | 5850 25027 76021 | 2147483647 28021 121 | 0.000 % |
8.17/8.22 c | 30012 | 5850 25027 76021 | 2147483647 28332 121 | 0.000 % |
8.27/8.35 c | 30355 | 5850 25027 76021 | 2147483647 28675 121 | 0.000 % |
8.37/8.49 c | 30727 | 5850 25027 76021 | 2147483647 29047 122 | 0.000 % |
8.57/8.64 c | 31137 | 5850 25027 76021 | 2147483647 29457 122 | 0.000 % |
8.67/8.79 c | 31586 | 5850 25027 76021 | 2147483647 29906 122 | 0.000 % |
8.87/8.97 c | 32079 | 5850 25027 76021 | 2147483647 30399 122 | 0.000 % |
8.97/9.02 c | 32179 | 5850 25027 76021 | 2147483647 30499 122 | 0.000 % |
8.97/9.06 c | 32289 | 5850 25027 76021 | 2147483647 30609 122 | 0.000 % |
9.07/9.12 c | 32410 | 5850 25027 76021 | 2147483647 30730 122 | 0.000 % |
9.07/9.17 c | 32543 | 5850 25027 76021 | 2147483647 30863 122 | 0.000 % |
9.17/9.23 c | 32691 | 5850 25027 76021 | 2147483647 31011 122 | 0.000 % |
9.17/9.29 c | 32852 | 5850 25027 76021 | 2147483647 31172 122 | 0.000 % |
9.27/9.35 c | 33029 | 5850 25027 76021 | 2147483647 31349 122 | 0.000 % |
9.37/9.44 c | 33222 | 5850 25027 76021 | 2147483647 31542 122 | 0.000 % |
9.47/9.52 c | 33434 | 5850 25027 76021 | 2147483647 31754 122 | 0.000 % |
9.56/9.61 c | 33667 | 5850 25027 76021 | 2147483647 31987 123 | 0.000 % |
9.66/9.71 c | 33924 | 5850 25027 76021 | 2147483647 32244 122 | 0.000 % |
9.77/9.82 c | 34205 | 5850 25027 76021 | 2147483647 32525 122 | 0.000 % |
9.87/9.94 c | 34515 | 5850 25027 76021 | 2147483647 32835 122 | 0.000 % |
9.96/10.09 c | 34857 | 5850 25027 76021 | 2147483647 33177 123 | 0.000 % |
10.16/10.24 c | 35229 | 5850 25027 76021 | 2147483647 33549 123 | 0.000 % |
10.36/10.40 c | 35641 | 5850 25027 76021 | 2147483647 33961 123 | 0.000 % |
10.47/10.59 c | 36090 | 5850 25027 76021 | 2147483647 34410 123 | 0.000 % |
10.77/10.80 c | 36583 | 5850 25027 76021 | 2147483647 34903 123 | 0.000 % |
10.97/11.03 c | 37126 | 5850 25027 76021 | 2147483647 35446 123 | 0.000 % |
10.97/11.07 c | 37228 | 5850 25027 76021 | 2147483647 35548 123 | 0.000 % |
11.07/11.12 c | 37341 | 5850 25027 76021 | 2147483647 35661 123 | 0.000 % |
11.07/11.18 c | 37462 | 5850 25027 76021 | 2147483647 35782 123 | 0.000 % |
11.17/11.24 c | 37598 | 5850 25027 76021 | 2147483647 35918 123 | 0.000 % |
11.27/11.30 c | 37744 | 5850 25027 76021 | 2147483647 36064 123 | 0.000 % |
11.27/11.37 c | 37906 | 5850 25027 76021 | 2147483647 36226 123 | 0.000 % |
11.37/11.45 c | 38083 | 5850 25027 76021 | 2147483647 36403 123 | 0.000 % |
11.47/11.54 c | 38276 | 5850 25027 76021 | 2147483647 36596 123 | 0.000 % |
11.57/11.62 c | 38488 | 5850 25027 76021 | 2147483647 36808 123 | 0.000 % |
11.67/11.73 c | 38721 | 5850 25027 76021 | 2147483647 37041 122 | 0.000 % |
11.77/11.84 c | 38977 | 5850 25027 76021 | 2147483647 37297 123 | 0.000 % |
11.87/11.96 c | 39258 | 5850 25027 76021 | 2147483647 37578 123 | 0.000 % |
11.97/12.10 c | 39571 | 5850 25027 76021 | 2147483647 37891 123 | 0.000 % |
12.17/12.24 c | 39911 | 5850 25027 76021 | 2147483647 38231 123 | 0.000 % |
12.27/12.40 c | 40284 | 5850 25027 76021 | 2147483647 38604 123 | 0.000 % |
12.47/12.57 c | 40694 | 5850 25027 76021 | 2147483647 39014 124 | 0.000 % |
12.67/12.77 c | 41144 | 5850 25027 76021 | 2147483647 39464 124 | 0.000 % |
12.87/13.00 c | 41637 | 5850 25027 76021 | 2147483647 39957 124 | 0.000 % |
13.17/13.22 c | 42179 | 5850 25027 76021 | 2147483647 40499 125 | 0.000 % |
13.37/13.49 c | 42775 | 5850 25027 76021 | 2147483647 41095 125 | 0.000 % |
13.47/13.54 c | 42879 | 5850 25027 76021 | 2147483647 41199 125 | 0.000 % |
13.57/13.60 c | 42990 | 5850 25027 76021 | 2147483647 41310 125 | 0.000 % |
13.57/13.65 c | 43111 | 5850 25027 76021 | 2147483647 41431 125 | 0.000 % |
13.66/13.72 c | 43245 | 5850 25027 76021 | 2147483647 41565 125 | 0.000 % |
13.66/13.78 c | 43391 | 5850 25027 76021 | 2147483647 41711 125 | 0.000 % |
13.76/13.86 c | 43552 | 5850 25027 76021 | 2147483647 41872 125 | 0.000 % |
13.86/13.95 c | 43728 | 5850 25027 76021 | 2147483647 42048 125 | 0.000 % |
13.96/14.04 c | 43921 | 5850 25027 76021 | 2147483647 42241 125 | 0.000 % |
14.06/14.14 c | 44134 | 5850 25027 76021 | 2147483647 42454 125 | 0.000 % |
14.17/14.25 c | 44368 | 5850 25027 76021 | 2147483647 42688 125 | 0.000 % |
14.27/14.36 c | 44624 | 5850 25027 76021 | 2147483647 42944 125 | 0.000 % |
14.46/14.50 c | 44907 | 5850 25027 76021 | 2147483647 43227 125 | 0.000 % |
14.56/14.62 c | 45216 | 5850 25027 76021 | 2147483647 43536 125 | 0.000 % |
14.66/14.79 c | 45556 | 5850 25027 76021 | 2147483647 43876 125 | 0.000 % |
14.86/14.97 c | 45928 | 5850 25027 76021 | 2147483647 44248 125 | 0.000 % |
15.07/15.13 c | 46338 | 5850 25027 76021 | 2147483647 44658 126 | 0.000 % |
15.27/15.34 c | 46788 | 5850 25027 76021 | 2147483647 45108 126 | 0.000 % |
15.47/15.58 c | 47286 | 5850 25027 76021 | 2147483647 45606 126 | 0.000 % |
15.77/15.83 c | 47830 | 5850 25027 76021 | 2147483647 46150 126 | 0.000 % |
16.07/16.10 c | 48426 | 5850 25027 76021 | 2147483647 46746 126 | 0.000 % |
16.37/16.41 c | 49083 | 5850 25027 76021 | 2147483647 47403 126 | 0.000 % |
16.37/16.46 c | 49183 | 5850 25027 76021 | 2147483647 47503 126 | 0.000 % |
16.47/16.52 c | 49294 | 5850 25027 76021 | 2147483647 47614 126 | 0.000 % |
16.47/16.58 c | 49415 | 5850 25027 76021 | 2147483647 47735 126 | 0.000 % |
16.56/16.65 c | 49549 | 5850 25027 76021 | 2147483647 47869 126 | 0.000 % |
16.66/16.73 c | 49696 | 5850 25027 76021 | 2147483647 48016 126 | 0.000 % |
16.76/16.80 c | 49857 | 5850 25027 76021 | 2147483647 48177 126 | 0.000 % |
16.76/16.89 c | 50033 | 5850 25027 76021 | 2147483647 48353 126 | 0.000 % |
16.96/17.00 c | 50226 | 5850 25027 76021 | 2147483647 48546 126 | 0.000 % |
17.06/17.11 c | 50439 | 5850 25027 76021 | 2147483647 48759 126 | 0.000 % |
17.16/17.24 c | 50672 | 5850 25027 76021 | 2147483647 48992 126 | 0.000 % |
17.26/17.35 c | 50929 | 5850 25027 76021 | 2147483647 49249 126 | 0.000 % |
17.36/17.49 c | 51212 | 5850 25027 76021 | 2147483647 49532 126 | 0.000 % |
17.57/17.63 c | 51522 | 5850 25027 76021 | 2147483647 49842 126 | 0.000 % |
17.66/17.78 c | 51862 | 5850 25027 76021 | 2147483647 50182 126 | 0.000 % |
17.87/17.97 c | 52234 | 5850 25027 76021 | 2147483647 50554 126 | 0.000 % |
18.07/18.17 c | 52645 | 5850 25027 76021 | 2147483647 50965 126 | 0.000 % |
18.27/18.39 c | 53094 | 5850 25027 76021 | 2147483647 51414 126 | 0.000 % |
18.57/18.64 c | 53588 | 5850 25027 76021 | 2147483647 51908 127 | 0.000 % |
18.87/18.91 c | 54130 | 5850 25027 76021 | 2147483647 52450 127 | 0.000 % |
19.17/19.22 c | 54726 | 5850 25027 76021 | 2147483647 53046 127 | 0.000 % |
19.47/19.55 c | 55381 | 5850 25027 76021 | 2147483647 53701 127 | 0.000 % |
19.86/19.91 c | 56101 | 5850 25027 76021 | 2147483647 54421 127 | 0.000 % |
19.86/19.97 c | 56201 | 5850 25027 76021 | 2147483647 54521 127 | 0.000 % |
19.96/20.04 c | 56311 | 5850 25027 76021 | 2147483647 54631 127 | 0.000 % |
20.06/20.11 c | 56432 | 5850 25027 76021 | 2147483647 54752 127 | 0.000 % |
20.06/20.19 c | 56566 | 5850 25027 76021 | 2147483647 54886 127 | 0.000 % |
20.16/20.27 c | 56712 | 5850 25027 76021 | 2147483647 55032 127 | 0.000 % |
20.26/20.37 c | 56872 | 5850 25027 76021 | 2147483647 55192 127 | 0.000 % |
20.36/20.46 c | 57048 | 5850 25027 76021 | 2147483647 55368 127 | 0.000 % |
20.46/20.58 c | 57243 | 5850 25027 76021 | 2147483647 55563 127 | 0.000 % |
20.56/20.70 c | 57457 | 5850 25027 76021 | 2147483647 55777 127 | 0.000 % |
20.76/20.81 c | 57693 | 5850 25027 76021 | 2147483647 56013 128 | 0.000 % |
20.87/20.94 c | 57950 | 5850 25027 76021 | 2147483647 56270 128 | 0.000 % |
20.97/21.09 c | 58231 | 5850 25027 76021 | 2147483647 56551 128 | 0.000 % |
21.17/21.26 c | 58540 | 5850 25027 76021 | 2147483647 56860 128 | 0.000 % |
21.37/21.45 c | 58880 | 5850 25027 76021 | 2147483647 57200 128 | 0.000 % |
21.57/21.65 c | 59254 | 5850 25027 76021 | 2147483647 57574 128 | 0.000 % |
21.77/21.87 c | 59663 | 5850 25027 76021 | 2147483647 57983 128 | 0.000 % |
21.97/22.09 c | 60112 | 5850 25027 76021 | 2147483647 58432 128 | 0.000 % |
22.26/22.35 c | 60606 | 5850 25027 76021 | 2147483647 58926 128 | 0.000 % |
22.56/22.65 c | 61148 | 5850 25027 76021 | 2147483647 59468 128 | 0.000 % |
22.86/22.99 c | 61746 | 5850 25027 76021 | 2147483647 60066 128 | 0.000 % |
23.26/23.33 c | 62406 | 5850 25027 76021 | 2147483647 60726 128 | 0.000 % |
23.66/23.74 c | 63126 | 5850 25027 76021 | 2147483647 61446 128 | 0.000 % |
24.07/24.19 c | 63918 | 5850 25027 76021 | 2147483647 62238 128 | 0.000 % |
24.17/24.26 c | 64018 | 5850 25027 76021 | 2147483647 62338 128 | 0.000 % |
24.26/24.34 c | 64128 | 5850 25027 76021 | 2147483647 62448 128 | 0.000 % |
24.36/24.41 c | 64250 | 5850 25027 76021 | 2147483647 62570 128 | 0.000 % |
24.36/24.49 c | 64383 | 5850 25027 76021 | 2147483647 62703 128 | 0.000 % |
24.46/24.58 c | 64531 | 5850 25027 76021 | 2147483647 62851 128 | 0.000 % |
24.56/24.69 c | 64693 | 5850 25027 76021 | 2147483647 63013 128 | 0.000 % |
24.76/24.80 c | 64869 | 5850 25027 76021 | 2147483647 63189 128 | 0.000 % |
24.86/24.92 c | 65062 | 5850 25027 76021 | 2147483647 63382 128 | 0.000 % |
24.96/25.05 c | 65275 | 5850 25027 76021 | 2147483647 63595 128 | 0.000 % |
25.07/25.18 c | 65508 | 5850 25027 76021 | 2147483647 63828 128 | 0.000 % |
25.27/25.33 c | 65764 | 5850 25027 76021 | 2147483647 64084 128 | 0.000 % |
25.37/25.50 c | 66045 | 5850 25027 76021 | 2147483647 64365 128 | 0.000 % |
25.57/25.69 c | 66355 | 5850 25027 76021 | 2147483647 64675 128 | 0.000 % |
25.77/25.88 c | 66696 | 5850 25027 76021 | 2147483647 65016 128 | 0.000 % |
26.06/26.11 c | 67070 | 5850 25027 76021 | 2147483647 65390 128 | 0.000 % |
26.27/26.35 c | 67480 | 5850 25027 76021 | 2147483647 65800 128 | 0.000 % |
26.56/26.61 c | 67929 | 5850 25027 76021 | 2147483647 66249 128 | 0.000 % |
26.86/26.93 c | 68422 | 5850 25027 76021 | 2147483647 66742 128 | 0.000 % |
27.16/27.28 c | 68965 | 5850 25027 76021 | 2147483647 67285 128 | 0.000 % |
27.56/27.61 c | 69561 | 5850 25027 76021 | 2147483647 67881 128 | 0.000 % |
27.96/28.02 c | 70218 | 5850 25027 76021 | 2147483647 68538 128 | 0.000 % |
28.36/28.45 c | 70941 | 5850 25027 76021 | 2147483647 69261 128 | 0.000 % |
28.87/28.93 c | 71733 | 5850 25027 76021 | 2147483647 70053 128 | 0.000 % |
29.37/29.44 c | 72605 | 5850 25027 76021 | 2147483647 70925 128 | 0.000 % |
29.47/29.50 c | 72705 | 5850 25027 76021 | 2147483647 71025 128 | 0.000 % |
29.47/29.58 c | 72816 | 5850 25027 76021 | 2147483647 71136 128 | 0.000 % |
29.57/29.66 c | 72938 | 5850 25027 76021 | 2147483647 71258 128 | 0.000 % |
29.67/29.75 c | 73071 | 5850 25027 76021 | 2147483647 71391 128 | 0.000 % |
29.77/29.87 c | 73217 | 5850 25027 76021 | 2147483647 71537 128 | 0.000 % |
29.87/29.98 c | 73380 | 5850 25027 76021 | 2147483647 71700 128 | 0.000 % |
30.06/30.11 c | 73557 | 5850 25027 76021 | 2147483647 71877 128 | 0.000 % |
30.16/30.25 c | 73752 | 5850 25027 76021 | 2147483647 72072 128 | 0.000 % |
30.26/30.39 c | 73964 | 5850 25027 76021 | 2147483647 72284 128 | 0.000 % |
30.46/30.56 c | 74198 | 5850 25027 76021 | 2147483647 72518 128 | 0.000 % |
30.67/30.72 c | 74454 | 5850 25027 76021 | 2147483647 72774 128 | 0.000 % |
30.86/30.92 c | 74735 | 5850 25027 76021 | 2147483647 73055 128 | 0.000 % |
31.06/31.11 c | 75044 | 5850 25027 76021 | 2147483647 73364 128 | 0.000 % |
31.26/31.34 c | 75386 | 5850 25027 76021 | 2147483647 73706 128 | 0.000 % |
31.46/31.57 c | 75760 | 5850 25027 76021 | 2147483647 74080 128 | 0.000 % |
31.76/31.84 c | 76169 | 5850 25027 76021 | 2147483647 74489 128 | 0.000 % |
32.06/32.13 c | 76619 | 5850 25027 76021 | 2147483647 74939 128 | 0.000 % |
32.36/32.44 c | 77112 | 5850 25027 76021 | 2147483647 75432 128 | 0.000 % |
32.66/32.77 c | 77655 | 5850 25027 76021 | 2147483647 75975 128 | 0.000 % |
33.06/33.15 c | 78252 | 5850 25027 76021 | 2147483647 76572 129 | 0.000 % |
33.46/33.58 c | 78910 | 5850 25027 76021 | 2147483647 77230 129 | 0.000 % |
33.96/34.05 c | 79630 | 5850 25027 76021 | 2147483647 77950 129 | 0.000 % |
34.46/34.56 c | 80423 | 5850 25027 76021 | 2147483647 78743 129 | 0.000 % |
35.06/35.12 c | 81295 | 5850 25027 76021 | 2147483647 79615 130 | 0.000 % |
35.66/35.77 c | 82254 | 5850 25027 76021 | 2147483647 80574 130 | 0.000 % |
35.76/35.84 c | 82354 | 5850 25027 76021 | 2147483647 80674 130 | 0.000 % |
35.86/35.93 c | 82464 | 5850 25027 76021 | 2147483647 80784 130 | 0.000 % |
35.96/36.02 c | 82587 | 5850 25027 76021 | 2147483647 80907 130 | 0.000 % |
36.06/36.13 c | 82722 | 5850 25027 76021 | 2147483647 81042 130 | 0.000 % |
36.17/36.25 c | 82870 | 5850 25027 76021 | 2147483647 81190 130 | 0.000 % |
36.27/36.36 c | 83032 | 5850 25027 76021 | 2147483647 81352 130 | 0.000 % |
36.46/36.50 c | 83209 | 5850 25027 76021 | 2147483647 81529 130 | 0.000 % |
36.56/36.64 c | 83402 | 5850 25027 76021 | 2147483647 81722 130 | 0.000 % |
36.76/36.80 c | 83617 | 5850 25027 76021 | 2147483647 81937 130 | 0.000 % |
36.86/36.96 c | 83850 | 5850 25027 76021 | 2147483647 82170 130 | 0.000 % |
37.06/37.14 c | 84106 | 5850 25027 76021 | 2147483647 82426 130 | 0.000 % |
37.27/37.33 c | 84387 | 5850 25027 76021 | 2147483647 82707 130 | 0.000 % |
37.46/37.54 c | 84697 | 5850 25027 76021 | 2147483647 83017 130 | 0.000 % |
37.66/37.77 c | 85036 | 5850 25027 76021 | 2147483647 83356 130 | 0.000 % |
37.96/38.02 c | 85408 | 5850 25027 76021 | 2147483647 83728 130 | 0.000 % |
38.26/38.31 c | 85817 | 5850 25027 76021 | 2147483647 84137 130 | 0.000 % |
38.46/38.59 c | 86267 | 5850 25027 76021 | 2147483647 84587 130 | 0.000 % |
38.86/38.94 c | 86760 | 5850 25027 76021 | 2147483647 85080 130 | 0.000 % |
39.26/39.31 c | 87302 | 5850 25027 76021 | 2147483647 85622 130 | 0.000 % |
39.65/39.75 c | 87898 | 5850 25027 76021 | 2147483647 86218 130 | 0.000 % |
40.16/40.20 c | 88553 | 5850 25027 76021 | 2147483647 86873 130 | 0.000 % |
40.66/40.72 c | 89273 | 5850 25027 76021 | 2147483647 87593 130 | 0.000 % |
41.16/41.29 c | 90065 | 5850 25027 76021 | 2147483647 88385 130 | 0.000 % |
41.76/41.87 c | 90936 | 5850 25027 76021 | 2147483647 89256 130 | 0.000 % |
42.45/42.56 c | 91894 | 5850 25027 76021 | 2147483647 90214 130 | 0.000 % |
43.26/43.32 c | 92947 | 5850 25027 76021 | 2147483647 91267 130 | 0.000 % |
43.36/43.41 c | 93048 | 5850 25027 76021 | 2147483647 91368 130 | 0.000 % |
43.46/43.50 c | 93158 | 5850 25027 76021 | 2147483647 91478 130 | 0.000 % |
43.56/43.62 c | 93279 | 5850 25027 76021 | 2147483647 91599 130 | 0.000 % |
43.66/43.74 c | 93412 | 5850 25027 76021 | 2147483647 91732 130 | 0.000 % |
43.76/43.86 c | 93558 | 5850 25027 76021 | 2147483647 91878 130 | 0.000 % |
43.97/44.02 c | 93719 | 5850 25027 76021 | 2147483647 92039 130 | 0.000 % |
44.06/44.14 c | 93897 | 5850 25027 76021 | 2147483647 92217 130 | 0.000 % |
44.16/44.28 c | 94091 | 5850 25027 76021 | 2147483647 92411 130 | 0.000 % |
44.36/44.46 c | 94303 | 5850 25027 76021 | 2147483647 92623 130 | 0.000 % |
44.56/44.66 c | 94536 | 5850 25027 76021 | 2147483647 92856 130 | 0.000 % |
44.76/44.88 c | 94796 | 5850 25027 76021 | 2147483647 93116 130 | 0.000 % |
45.06/45.12 c | 95077 | 5850 25027 76021 | 2147483647 93397 130 | 0.000 % |
45.26/45.38 c | 95388 | 5850 25027 76021 | 2147483647 93708 130 | 0.000 % |
45.56/45.64 c | 95730 | 5850 25027 76021 | 2147483647 94050 130 | 0.000 % |
45.86/45.93 c | 96102 | 5850 25027 76021 | 2147483647 94422 130 | 0.000 % |
46.16/46.23 c | 96512 | 5850 25027 76021 | 2147483647 94832 130 | 0.000 % |
46.56/46.63 c | 96962 | 5850 25027 76021 | 2147483647 95282 130 | 0.000 % |
46.86/46.99 c | 97456 | 5850 25027 76021 | 2147483647 95776 130 | 0.000 % |
47.36/47.42 c | 98000 | 5850 25027 76021 | 2147483647 96320 130 | 0.000 % |
47.76/47.89 c | 98596 | 5850 25027 76021 | 2147483647 96916 130 | 0.000 % |
48.26/48.39 c | 99251 | 5850 25027 76021 | 2147483647 97571 130 | 0.000 % |
48.85/48.97 c | 99973 | 5850 25027 76021 | 2147483647 98293 130 | 0.000 % |
49.56/49.61 c | 100765 | 5850 25027 76021 | 2147483647 99085 130 | 0.000 % |
50.26/50.34 c | 101637 | 5850 25027 76021 | 2147483647 99957 131 | 0.000 % |
51.05/51.13 c | 102596 | 5850 25027 76021 | 2147483647 100916 131 | 0.000 % |
51.95/52.01 c | 103651 | 5850 25027 76021 | 2147483647 101971 131 | 0.000 % |
52.85/52.92 c | 104809 | 5850 25027 76021 | 2147483647 103129 131 | 0.000 % |
52.96/53.01 c | 104909 | 5850 25027 76021 | 2147483647 103229 131 | 0.000 % |
53.06/53.12 c | 105019 | 5850 25027 76021 | 2147483647 103339 131 | 0.000 % |
53.16/53.24 c | 105141 | 5850 25027 76021 | 2147483647 103461 131 | 0.000 % |
53.26/53.37 c | 105274 | 5850 25027 76021 | 2147483647 103594 131 | 0.000 % |
53.46/53.51 c | 105420 | 5850 25027 76021 | 2147483647 103740 131 | 0.000 % |
53.56/53.67 c | 105581 | 5850 25027 76021 | 2147483647 103901 131 | 0.000 % |
53.76/53.84 c | 105757 | 5850 25027 76021 | 2147483647 104077 131 | 0.000 % |
53.96/54.02 c | 105950 | 5850 25027 76021 | 2147483647 104270 131 | 0.000 % |
54.16/54.22 c | 106162 | 5850 25027 76021 | 2147483647 104482 131 | 0.000 % |
54.36/54.43 c | 106397 | 5850 25027 76021 | 2147483647 104717 131 | 0.000 % |
54.56/54.65 c | 106653 | 5850 25027 76021 | 2147483647 104973 131 | 0.000 % |
54.76/54.88 c | 106934 | 5850 25027 76021 | 2147483647 105254 131 | 0.000 % |
55.06/55.13 c | 107245 | 5850 25027 76021 | 2147483647 105565 131 | 0.000 % |
55.26/55.39 c | 107584 | 5850 25027 76021 | 2147483647 105904 131 | 0.000 % |
55.66/55.72 c | 107959 | 5850 25027 76021 | 2147483647 106279 131 | 0.000 % |
55.96/56.08 c | 108368 | 5850 25027 76021 | 2147483647 106688 131 | 0.000 % |
56.35/56.45 c | 108817 | 5850 25027 76021 | 2147483647 107137 131 | 0.000 % |
56.75/56.86 c | 109310 | 5850 25027 76021 | 2147483647 107630 131 | 0.000 % |
57.25/57.32 c | 109852 | 5850 25027 76021 | 2147483647 108172 131 | 0.000 % |
57.66/57.79 c | 110448 | 5850 25027 76021 | 2147483647 108768 131 | 0.000 % |
58.26/58.35 c | 111104 | 5850 25027 76021 | 2147483647 109424 131 | 0.000 % |
58.86/58.95 c | 111825 | 5850 25027 76021 | 2147483647 110145 131 | 0.000 % |
59.55/59.60 c | 112617 | 5850 25027 76021 | 2147483647 110937 131 | 0.000 % |
60.25/60.31 c | 113488 | 5850 25027 76021 | 2147483647 111808 132 | 0.000 % |
60.95/61.09 c | 114446 | 5850 25027 76021 | 2147483647 112766 131 | 0.000 % |
61.85/61.93 c | 115500 | 5850 25027 76021 | 2147483647 113820 132 | 0.000 % |
62.85/62.91 c | 116658 | 5850 25027 76021 | 2147483647 114978 132 | 0.000 % |
63.86/63.92 c | 117931 | 5850 25027 76021 | 2147483647 116251 132 | 0.000 % |
63.96/64.01 c | 118031 | 5850 25027 76021 | 2147483647 116351 132 | 0.000 % |
64.05/64.15 c | 118141 | 5850 25027 76021 | 2147483647 116461 132 | 0.000 % |
64.15/64.27 c | 118262 | 5850 25027 76021 | 2147483647 116582 132 | 0.000 % |
64.35/64.40 c | 118396 | 5850 25027 76021 | 2147483647 116716 132 | 0.000 % |
64.45/64.55 c | 118543 | 5850 25027 76021 | 2147483647 116863 132 | 0.000 % |
64.65/64.72 c | 118703 | 5850 25027 76021 | 2147483647 117023 132 | 0.000 % |
64.86/64.91 c | 118879 | 5850 25027 76021 | 2147483647 117199 132 | 0.000 % |
65.05/65.11 c | 119072 | 5850 25027 76021 | 2147483647 117392 132 | 0.000 % |
65.25/65.30 c | 119285 | 5850 25027 76021 | 2147483647 117605 132 | 0.000 % |
65.45/65.53 c | 119518 | 5850 25027 76021 | 2147483647 117838 132 | 0.000 % |
65.75/65.80 c | 119774 | 5850 25027 76021 | 2147483647 118094 132 | 0.000 % |
65.95/66.08 c | 120055 | 5850 25027 76021 | 2147483647 118375 132 | 0.000 % |
66.35/66.40 c | 120367 | 5850 25027 76021 | 2147483647 118687 132 | 0.000 % |
66.65/66.72 c | 120706 | 5850 25027 76021 | 2147483647 119026 132 | 0.000 % |
66.95/67.05 c | 121079 | 5850 25027 76021 | 2147483647 119399 132 | 0.000 % |
67.35/67.47 c | 121490 | 5850 25027 76021 | 2147483647 119810 132 | 0.000 % |
67.75/67.88 c | 121940 | 5850 25027 76021 | 2147483647 120260 132 | 0.000 % |
68.26/68.34 c | 122434 | 5850 25027 76021 | 2147483647 120754 132 | 0.000 % |
68.75/68.85 c | 122976 | 5850 25027 76021 | 2147483647 121296 132 | 0.000 % |
69.35/69.40 c | 123572 | 5850 25027 76021 | 2147483647 121892 132 | 0.000 % |
69.95/70.01 c | 124228 | 5850 25027 76021 | 2147483647 122548 132 | 0.000 % |
70.55/70.64 c | 124950 | 5850 25027 76021 | 2147483647 123270 132 | 0.000 % |
71.25/71.36 c | 125742 | 5850 25027 76021 | 2147483647 124062 132 | 0.000 % |
72.05/72.11 c | 126616 | 5850 25027 76021 | 2147483647 124936 132 | 0.000 % |
72.85/72.95 c | 127575 | 5850 25027 76021 | 2147483647 125895 132 | 0.000 % |
73.85/73.91 c | 128628 | 5850 25027 76021 | 2147483647 126948 132 | 0.000 % |
74.95/75.01 c | 129789 | 5850 25027 76021 | 2147483647 128109 132 | 0.000 % |
76.05/76.17 c | 131062 | 5850 25027 76021 | 2147483647 129382 132 | 0.000 % |
77.35/77.47 c | 132462 | 5850 25027 76021 | 2147483647 130782 132 | 0.000 % |
77.44/77.59 c | 132563 | 5850 25027 76021 | 2147483647 130883 132 | 0.000 % |
77.64/77.74 c | 132673 | 5850 25027 76021 | 2147483647 130993 132 | 0.000 % |
77.74/77.86 c | 132794 | 5850 25027 76021 | 2147483647 131114 132 | 0.000 % |
77.95/78.02 c | 132928 | 5850 25027 76021 | 2147483647 131248 132 | 0.000 % |
78.05/78.18 c | 133074 | 5850 25027 76021 | 2147483647 131394 132 | 0.000 % |
78.24/78.38 c | 133234 | 5850 25027 76021 | 2147483647 131554 132 | 0.000 % |
78.44/78.55 c | 133410 | 5850 25027 76021 | 2147483647 131730 132 | 0.000 % |
78.64/78.75 c | 133603 | 5850 25027 76021 | 2147483647 131923 132 | 0.000 % |
78.84/78.97 c | 133817 | 5850 25027 76021 | 2147483647 132137 132 | 0.000 % |
79.16/79.21 c | 134051 | 5850 25027 76021 | 2147483647 132371 132 | 0.000 % |
79.45/79.53 c | 134308 | 5850 25027 76021 | 2147483647 132628 132 | 0.000 % |
79.75/79.83 c | 134591 | 5850 25027 76021 | 2147483647 132911 132 | 0.000 % |
80.05/80.14 c | 134901 | 5850 25027 76021 | 2147483647 133221 132 | 0.000 % |
80.35/80.47 c | 135241 | 5850 25027 76021 | 2147483647 133561 132 | 0.000 % |
80.75/80.88 c | 135613 | 5850 25027 76021 | 2147483647 133933 132 | 0.000 % |
81.25/81.31 c | 136022 | 5850 25027 76021 | 2147483647 134342 132 | 0.000 % |
81.65/81.78 c | 136472 | 5850 25027 76021 | 2147483647 134792 132 | 0.000 % |
82.25/82.32 c | 136965 | 5850 25027 76021 | 2147483647 135285 132 | 0.000 % |
82.74/82.82 c | 137507 | 5850 25027 76021 | 2147483647 135827 132 | 0.000 % |
83.34/83.45 c | 138103 | 5850 25027 76021 | 2147483647 136423 132 | 0.000 % |
84.04/84.13 c | 138761 | 5850 25027 76021 | 2147483647 137081 132 | 0.000 % |
84.75/84.85 c | 139483 | 5850 25027 76021 | 2147483647 137803 132 | 0.000 % |
85.45/85.56 c | 140275 | 5850 25027 76021 | 2147483647 138595 132 | 0.000 % |
86.25/86.35 c | 141147 | 5850 25027 76021 | 2147483647 139467 132 | 0.000 % |
87.25/87.31 c | 142105 | 5850 25027 76021 | 2147483647 140425 133 | 0.000 % |
88.14/88.29 c | 143159 | 5850 25027 76021 | 2147483647 141479 133 | 0.000 % |
89.35/89.43 c | 144319 | 5850 25027 76021 | 2147483647 142639 133 | 0.000 % |
90.64/90.73 c | 145594 | 5850 25027 76021 | 2147483647 143914 133 | 0.000 % |
92.14/92.22 c | 146996 | 5850 25027 76021 | 2147483647 145316 133 | 0.000 % |
93.55/93.67 c | 148537 | 5850 25027 76021 | 2147483647 146857 133 | 0.000 % |
93.75/93.82 c | 148639 | 5850 25027 76021 | 2147483647 146959 133 | 0.000 % |
93.85/93.94 c | 148751 | 5850 25027 76021 | 2147483647 147071 133 | 0.000 % |
94.05/94.10 c | 148877 | 5850 25027 76021 | 2147483647 147197 133 | 0.000 % |
94.14/94.28 c | 149012 | 5850 25027 76021 | 2147483647 147332 133 | 0.000 % |
94.34/94.47 c | 149158 | 5850 25027 76021 | 2147483647 147478 133 | 0.000 % |
94.55/94.68 c | 149319 | 5850 25027 76021 | 2147483647 147639 133 | 0.000 % |
94.74/94.89 c | 149496 | 5850 25027 76021 | 2147483647 147816 133 | 0.000 % |
95.04/95.10 c | 149692 | 5850 25027 76021 | 2147483647 148012 133 | 0.000 % |
95.24/95.34 c | 149904 | 5850 25027 76021 | 2147483647 148224 133 | 0.000 % |
95.55/95.60 c | 150138 | 5850 25027 76021 | 2147483647 148458 133 | 0.000 % |
95.84/95.90 c | 150396 | 5850 25027 76021 | 2147483647 148716 133 | 0.000 % |
96.14/96.21 c | 150678 | 5850 25027 76021 | 2147483647 148998 133 | 0.000 % |
96.44/96.52 c | 150987 | 5850 25027 76021 | 2147483647 149307 133 | 0.000 % |
96.74/96.87 c | 151326 | 5850 25027 76021 | 2147483647 149646 133 | 0.000 % |
97.14/97.27 c | 151702 | 5850 25027 76021 | 2147483647 150022 133 | 0.000 % |
97.64/97.70 c | 152112 | 5850 25027 76021 | 2147483647 150432 133 | 0.000 % |
98.14/98.20 c | 152563 | 5850 25027 76021 | 2147483647 150883 133 | 0.000 % |
98.65/98.77 c | 153057 | 5850 25027 76021 | 2147483647 151377 133 | 0.000 % |
99.35/99.43 c | 153600 | 5850 25027 76021 | 2147483647 151920 133 | 0.000 % |
99.95/100.06 c | 154197 | 5850 25027 76021 | 2147483647 152517 133 | 0.000 % |
100.75/100.80 c | 154853 | 5850 25027 76021 | 2147483647 153173 133 | 0.000 % |
101.45/101.55 c | 155573 | 5850 25027 76021 | 2147483647 153893 133 | 0.000 % |
102.35/102.43 c | 156365 | 5850 25027 76021 | 2147483647 154685 134 | 0.000 % |
103.25/103.37 c | 157238 | 5850 25027 76021 | 2147483647 155558 134 | 0.000 % |
104.24/104.39 c | 158197 | 5850 25027 76021 | 2147483647 156517 134 | 0.000 % |
105.34/105.49 c | 159251 | 5850 25027 76021 | 2147483647 157571 134 | 0.000 % |
106.55/106.66 c | 160411 | 5850 25027 76021 | 2147483647 158731 134 | 0.000 % |
107.94/108.10 c | 161684 | 5850 25027 76021 | 2147483647 160004 134 | 0.000 % |
109.54/109.62 c | 163086 | 5850 25027 76021 | 2147483647 161406 134 | 0.000 % |
111.24/111.38 c | 164626 | 5850 25027 76021 | 2147483647 162946 134 | 0.000 % |
113.14/113.29 c | 166323 | 5850 25027 76021 | 2147483647 164643 134 | 0.000 % |
113.34/113.42 c | 166423 | 5850 25027 76021 | 2147483647 164743 134 | 0.000 % |
113.44/113.57 c | 166533 | 5850 25027 76021 | 2147483647 164853 134 | 0.000 % |
113.64/113.76 c | 166655 | 5850 25027 76021 | 2147483647 164975 134 | 0.000 % |
113.84/113.93 c | 166788 | 5850 25027 76021 | 2147483647 165108 134 | 0.000 % |
114.04/114.14 c | 166935 | 5850 25027 76021 | 2147483647 165255 134 | 0.000 % |
114.25/114.39 c | 167095 | 5850 25027 76021 | 2147483647 165415 134 | 0.000 % |
114.54/114.64 c | 167271 | 5850 25027 76021 | 2147483647 165591 134 | 0.000 % |
114.84/114.91 c | 167467 | 5850 25027 76021 | 2147483647 165787 134 | 0.000 % |
115.04/115.19 c | 167682 | 5850 25027 76021 | 2147483647 166002 134 | 0.000 % |
115.35/115.48 c | 167918 | 5850 25027 76021 | 2147483647 166238 134 | 0.000 % |
115.64/115.79 c | 168174 | 5850 25027 76021 | 2147483647 166494 134 | 0.000 % |
116.04/116.12 c | 168458 | 5850 25027 76021 | 2147483647 166778 134 | 0.000 % |
116.44/116.50 c | 168768 | 5850 25027 76021 | 2147483647 167088 134 | 0.000 % |
116.74/116.89 c | 169107 | 5850 25027 76021 | 2147483647 167427 134 | 0.000 % |
117.24/117.33 c | 169479 | 5850 25027 76021 | 2147483647 167799 134 | 0.000 % |
117.64/117.79 c | 169889 | 5850 25027 76021 | 2147483647 168209 134 | 0.000 % |
118.24/118.32 c | 170338 | 5850 25027 76021 | 2147483647 168658 134 | 0.000 % |
118.84/118.93 c | 170831 | 5850 25027 76021 | 2147483647 169151 134 | 0.000 % |
119.43/119.56 c | 171373 | 5850 25027 76021 | 2147483647 169693 134 | 0.000 % |
120.13/120.25 c | 171977 | 5850 25027 76021 | 2147483647 170297 134 | 0.000 % |
120.85/120.98 c | 172632 | 5850 25027 76021 | 2147483647 170952 134 | 0.000 % |
121.74/121.80 c | 173354 | 5850 25027 76021 | 2147483647 171674 134 | 0.000 % |
122.64/122.74 c | 174149 | 5850 25027 76021 | 2147483647 172469 134 | 0.000 % |
123.54/123.70 c | 175021 | 5850 25027 76021 | 2147483647 173341 134 | 0.000 % |
124.74/124.86 c | 175979 | 5850 25027 76021 | 2147483647 174299 135 | 0.000 % |
126.03/126.10 c | 177033 | 5850 25027 76021 | 2147483647 175353 135 | 0.000 % |
127.54/127.61 c | 178191 | 5850 25027 76021 | 2147483647 176511 135 | 0.000 % |
128.94/129.09 c | 179464 | 5850 25027 76021 | 2147483647 177784 135 | 0.000 % |
130.64/130.79 c | 180865 | 5850 25027 76021 | 2147483647 179185 135 | 0.000 % |
132.64/132.72 c | 182406 | 5850 25027 76021 | 2147483647 180726 135 | 0.000 % |
134.74/134.81 c | 184100 | 5850 25027 76021 | 2147483647 182420 135 | 0.000 % |
136.93/137.06 c | 185963 | 5850 25027 76021 | 2147483647 184283 135 | 0.000 % |
137.13/137.21 c | 186064 | 5850 25027 76021 | 2147483647 184384 135 | 0.000 % |
137.23/137.38 c | 186174 | 5850 25027 76021 | 2147483647 184494 135 | 0.000 % |
137.43/137.57 c | 186296 | 5850 25027 76021 | 2147483647 184616 135 | 0.000 % |
137.63/137.77 c | 186429 | 5850 25027 76021 | 2147483647 184749 135 | 0.000 % |
137.84/137.98 c | 186575 | 5850 25027 76021 | 2147483647 184895 135 | 0.000 % |
138.14/138.23 c | 186735 | 5850 25027 76021 | 2147483647 185055 135 | 0.000 % |
138.34/138.50 c | 186911 | 5850 25027 76021 | 2147483647 185231 135 | 0.000 % |
138.64/138.79 c | 187104 | 5850 25027 76021 | 2147483647 185424 135 | 0.000 % |
139.04/139.11 c | 187318 | 5850 25027 76021 | 2147483647 185638 135 | 0.000 % |
139.34/139.42 c | 187553 | 5850 25027 76021 | 2147483647 185873 135 | 0.000 % |
139.64/139.79 c | 187810 | 5850 25027 76021 | 2147483647 186130 135 | 0.000 % |
140.14/140.22 c | 188092 | 5850 25027 76021 | 2147483647 186412 135 | 0.000 % |
140.54/140.64 c | 188404 | 5850 25027 76021 | 2147483647 186724 135 | 0.000 % |
141.04/141.13 c | 188743 | 5850 25027 76021 | 2147483647 187063 135 | 0.000 % |
141.53/141.63 c | 189116 | 5850 25027 76021 | 2147483647 187436 135 | 0.000 % |
142.03/142.17 c | 189527 | 5850 25027 76021 | 2147483647 187847 135 | 0.000 % |
142.63/142.78 c | 189976 | 5850 25027 76021 | 2147483647 188296 135 | 0.000 % |
143.24/143.39 c | 190469 | 5850 25027 76021 | 2147483647 188789 135 | 0.000 % |
143.94/144.03 c | 191011 | 5850 25027 76021 | 2147483647 189331 136 | 0.000 % |
144.84/144.91 c | 191609 | 5850 25027 76021 | 2147483647 189929 136 | 0.000 % |
145.63/145.75 c | 192265 | 5850 25027 76021 | 2147483647 190585 136 | 0.000 % |
146.53/146.69 c | 192986 | 5850 25027 76021 | 2147483647 191306 136 | 0.000 % |
147.53/147.68 c | 193778 | 5850 25027 76021 | 2147483647 192098 136 | 0.000 % |
148.64/148.77 c | 194649 | 5850 25027 76021 | 2147483647 192969 136 | 0.000 % |
149.94/150.02 c | 195609 | 5850 25027 76021 | 2147483647 193929 136 | 0.000 % |
151.34/151.47 c | 196664 | 5850 25027 76021 | 2147483647 194984 136 | 0.000 % |
152.74/152.87 c | 197825 | 5850 25027 76021 | 2147483647 196145 136 | 0.000 % |
154.33/154.50 c | 199100 | 5850 25027 76021 | 2147483647 197420 136 | 0.000 % |
156.04/156.18 c | 200502 | 5850 25027 76021 | 2147483647 198822 136 | 0.000 % |
158.13/158.28 c | 202042 | 5850 25027 76021 | 2147483647 200362 136 | 0.000 % |
160.43/160.59 c | 203738 | 5850 25027 76021 | 2147483647 202058 136 | 0.000 % |
162.83/162.91 c | 205602 | 5850 25027 76021 | 2147483647 203922 137 | 0.000 % |
165.53/165.65 c | 207651 | 5850 25027 76021 | 2147483647 205971 137 | 0.000 % |
165.73/165.82 c | 207751 | 5850 25027 76021 | 2147483647 206071 137 | 0.000 % |
165.93/166.01 c | 207863 | 5850 25027 76021 | 2147483647 206183 137 | 0.000 % |
166.13/166.21 c | 207985 | 5850 25027 76021 | 2147483647 206305 137 | 0.000 % |
166.33/166.44 c | 208118 | 5850 25027 76021 | 2147483647 206438 137 | 0.000 % |
166.53/166.65 c | 208264 | 5850 25027 76021 | 2147483647 206584 137 | 0.000 % |
166.83/166.90 c | 208426 | 5850 25027 76021 | 2147483647 206746 137 | 0.000 % |
167.13/167.21 c | 208602 | 5850 25027 76021 | 2147483647 206922 137 | 0.000 % |
167.43/167.51 c | 208795 | 5850 25027 76021 | 2147483647 207115 137 | 0.000 % |
167.73/167.85 c | 209007 | 5850 25027 76021 | 2147483647 207327 137 | 0.000 % |
168.13/168.23 c | 209241 | 5850 25027 76021 | 2147483647 207561 137 | 0.000 % |
168.52/168.60 c | 209499 | 5850 25027 76021 | 2147483647 207819 137 | 0.000 % |
168.92/169.03 c | 209780 | 5850 25027 76021 | 2147483647 208100 137 | 0.000 % |
169.33/169.48 c | 210089 | 5850 25027 76021 | 2147483647 208409 137 | 0.000 % |
169.93/170.02 c | 210430 | 5850 25027 76021 | 2147483647 208750 137 | 0.000 % |
170.53/170.61 c | 210803 | 5850 25027 76021 | 2147483647 209123 137 | 0.000 % |
171.03/171.18 c | 211212 | 5850 25027 76021 | 2147483647 209532 137 | 0.000 % |
171.73/171.87 c | 211661 | 5850 25027 76021 | 2147483647 209981 137 | 0.000 % |
172.53/172.62 c | 212154 | 5850 25027 76021 | 2147483647 210474 137 | 0.000 % |
173.33/173.44 c | 212700 | 5850 25027 76021 | 2147483647 211020 137 | 0.000 % |
174.22/174.30 c | 213298 | 5850 25027 76021 | 2147483647 211618 137 | 0.000 % |
175.02/175.18 c | 213953 | 5850 25027 76021 | 2147483647 212273 137 | 0.000 % |
176.02/176.13 c | 214675 | 5850 25027 76021 | 2147483647 212995 137 | 0.000 % |
177.13/177.27 c | 215469 | 5850 25027 76021 | 2147483647 213789 137 | 0.000 % |
178.43/178.50 c | 216340 | 5850 25027 76021 | 2147483647 214660 137 | 0.000 % |
179.72/179.83 c | 217298 | 5850 25027 76021 | 2147483647 215618 137 | 0.000 % |
181.02/181.18 c | 218351 | 5850 25027 76021 | 2147483647 216671 137 | 0.000 % |
182.73/182.84 c | 219509 | 5850 25027 76021 | 2147483647 217829 137 | 0.000 % |
184.63/184.76 c | 220782 | 5850 25027 76021 | 2147483647 219102 137 | 0.000 % |
186.73/186.84 c | 222182 | 5850 25027 76021 | 2147483647 220502 137 | 0.000 % |
188.82/188.93 c | 223722 | 5850 25027 76021 | 2147483647 222042 137 | 0.000 % |
191.32/191.45 c | 225417 | 5850 25027 76021 | 2147483647 223737 137 | 0.000 % |
194.03/194.10 c | 227280 | 5850 25027 76021 | 2147483647 225600 137 | 0.000 % |
196.92/197.04 c | 229331 | 5850 25027 76021 | 2147483647 227651 138 | 0.000 % |
199.92/200.06 c | 231584 | 5850 25027 76021 | 2147483647 229904 138 | 0.000 % |
200.12/200.27 c | 231685 | 5850 25027 76021 | 2147483647 230005 138 | 0.000 % |
200.32/200.46 c | 231795 | 5850 25027 76021 | 2147483647 230115 138 | 0.000 % |
200.52/200.68 c | 231916 | 5850 25027 76021 | 2147483647 230236 138 | 0.000 % |
200.82/200.93 c | 232049 | 5850 25027 76021 | 2147483647 230369 138 | 0.000 % |
201.12/201.22 c | 232195 | 5850 25027 76021 | 2147483647 230515 138 | 0.000 % |
201.42/201.53 c | 232355 | 5850 25027 76021 | 2147483647 230675 138 | 0.000 % |
201.72/201.86 c | 232531 | 5850 25027 76021 | 2147483647 230851 138 | 0.000 % |
202.12/202.24 c | 232725 | 5850 25027 76021 | 2147483647 231045 138 | 0.000 % |
202.52/202.63 c | 232940 | 5850 25027 76021 | 2147483647 231260 138 | 0.000 % |
202.92/203.02 c | 233173 | 5850 25027 76021 | 2147483647 231493 138 | 0.000 % |
203.32/203.44 c | 233430 | 5850 25027 76021 | 2147483647 231750 138 | 0.000 % |
203.72/203.88 c | 233711 | 5850 25027 76021 | 2147483647 232031 138 | 0.000 % |
204.21/204.39 c | 234020 | 5850 25027 76021 | 2147483647 232340 138 | 0.000 % |
204.82/204.99 c | 234359 | 5850 25027 76021 | 2147483647 232679 138 | 0.000 % |
205.52/205.62 c | 234734 | 5850 25027 76021 | 2147483647 233054 138 | 0.000 % |
206.12/206.24 c | 235145 | 5850 25027 76021 | 2147483647 233465 138 | 0.000 % |
206.82/206.98 c | 235595 | 5850 25027 76021 | 2147483647 233915 138 | 0.000 % |
207.72/207.89 c | 236088 | 5850 25027 76021 | 2147483647 234408 138 | 0.000 % |
208.72/208.85 c | 236630 | 5850 25027 76021 | 2147483647 234950 138 | 0.000 % |
209.71/209.82 c | 237226 | 5850 25027 76021 | 2147483647 235546 138 | 0.000 % |
210.71/210.85 c | 237882 | 5850 25027 76021 | 2147483647 236202 138 | 0.000 % |
211.91/212.00 c | 238603 | 5850 25027 76021 | 2147483647 236923 138 | 0.000 % |
213.12/213.22 c | 239397 | 5850 25027 76021 | 2147483647 237717 138 | 0.000 % |
214.52/214.61 c | 240268 | 5850 25027 76021 | 2147483647 238588 138 | 0.000 % |
215.92/216.02 c | 241228 | 5850 25027 76021 | 2147483647 239548 138 | 0.000 % |
217.51/217.68 c | 242281 | 5850 25027 76021 | 2147483647 240601 138 | 0.000 % |
219.51/219.62 c | 243439 | 5850 25027 76021 | 2147483647 241759 138 | 0.000 % |
221.52/221.62 c | 244714 | 5850 25027 76021 | 2147483647 243034 138 | 0.000 % |
223.81/223.92 c | 246114 | 5850 25027 76021 | 2147483647 244434 138 | 0.000 % |
226.11/226.26 c | 247654 | 5850 25027 76021 | 2147483647 245974 138 | 0.000 % |
228.81/228.90 c | 249348 | 5850 25027 76021 | 2147483647 247668 138 | 0.000 % |
231.81/231.95 c | 251212 | 5850 25027 76021 | 2147483647 249532 138 | 0.000 % |
234.81/234.98 c | 253262 | 5850 25027 76021 | 2147483647 251582 138 | 0.000 % |
238.21/238.31 c | 255516 | 5850 25027 76021 | 2147483647 253836 138 | 0.000 % |
242.31/242.45 c | 257995 | 5850 25027 76021 | 2147483647 256315 138 | 0.000 % |
242.51/242.65 c | 258095 | 5850 25027 76021 | 2147483647 256415 138 | 0.000 % |
242.71/242.89 c | 258205 | 5850 25027 76021 | 2147483647 256525 138 | 0.000 % |
243.01/243.12 c | 258326 | 5850 25027 76021 | 2147483647 256646 138 | 0.000 % |
243.21/243.38 c | 258459 | 5850 25027 76021 | 2147483647 256779 138 | 0.000 % |
243.51/243.66 c | 258605 | 5850 25027 76021 | 2147483647 256925 138 | 0.000 % |
243.81/243.95 c | 258765 | 5850 25027 76021 | 2147483647 257085 138 | 0.000 % |
244.11/244.28 c | 258942 | 5850 25027 76021 | 2147483647 257262 138 | 0.000 % |
244.50/244.63 c | 259135 | 5850 25027 76021 | 2147483647 257455 138 | 0.000 % |
244.80/244.99 c | 259348 | 5850 25027 76021 | 2147483647 257668 138 | 0.000 % |
245.30/245.43 c | 259585 | 5850 25027 76021 | 2147483647 257905 138 | 0.000 % |
245.80/245.95 c | 259841 | 5850 25027 76021 | 2147483647 258161 138 | 0.000 % |
246.40/246.50 c | 260122 | 5850 25027 76021 | 2147483647 258442 138 | 0.000 % |
246.90/247.04 c | 260432 | 5850 25027 76021 | 2147483647 258752 138 | 0.000 % |
247.50/247.66 c | 260771 | 5850 25027 76021 | 2147483647 259091 138 | 0.000 % |
248.20/248.34 c | 261143 | 5850 25027 76021 | 2147483647 259463 138 | 0.000 % |
248.90/249.09 c | 261554 | 5850 25027 76021 | 2147483647 259874 138 | 0.000 % |
249.80/249.95 c | 262004 | 5850 25027 76021 | 2147483647 260324 138 | 0.000 % |
250.71/250.84 c | 262498 | 5850 25027 76021 | 2147483647 260818 138 | 0.000 % |
251.72/251.81 c | 263040 | 5850 25027 76021 | 2147483647 261360 138 | 0.000 % |
252.61/252.79 c | 263637 | 5850 25027 76021 | 2147483647 261957 138 | 0.000 % |
253.81/253.95 c | 264293 | 5850 25027 76021 | 2147483647 262613 138 | 0.000 % |
255.11/255.26 c | 265016 | 5850 25027 76021 | 2147483647 263336 138 | 0.000 % |
256.60/256.74 c | 265810 | 5850 25027 76021 | 2147483647 264130 138 | 0.000 % |
258.01/258.16 c | 266681 | 5850 25027 76021 | 2147483647 265001 138 | 0.000 % |
259.51/259.64 c | 267639 | 5850 25027 76021 | 2147483647 265959 139 | 0.000 % |
261.21/261.30 c | 268692 | 5850 25027 76021 | 2147483647 267012 139 | 0.000 % |
263.20/263.35 c | 269851 | 5850 25027 76021 | 2147483647 268171 139 | 0.000 % |
265.51/265.61 c | 271126 | 5850 25027 76021 | 2147483647 269446 139 | 0.000 % |
268.00/268.18 c | 272526 | 5850 25027 76021 | 2147483647 270846 139 | 0.000 % |
270.80/270.93 c | 274066 | 5850 25027 76021 | 2147483647 272386 139 | 0.000 % |
273.50/273.64 c | 275763 | 5850 25027 76021 | 2147483647 274083 139 | 0.000 % |
276.70/276.84 c | 277628 | 5850 25027 76021 | 2147483647 275948 139 | 0.000 % |
280.10/280.27 c | 279680 | 5850 25027 76021 | 2147483647 278000 139 | 0.000 % |
283.90/284.08 c | 281934 | 5850 25027 76021 | 2147483647 280254 139 | 0.000 % |
288.20/288.31 c | 284413 | 5850 25027 76021 | 2147483647 282733 139 | 0.000 % |
292.70/292.89 c | 287139 | 5850 25027 76021 | 2147483647 285459 139 | 0.000 % |
293.00/293.13 c | 287239 | 5850 25027 76021 | 2147483647 285559 139 | 0.000 % |
293.30/293.40 c | 287349 | 5850 25027 76021 | 2147483647 285669 139 | 0.000 % |
293.50/293.67 c | 287470 | 5850 25027 76021 | 2147483647 285790 139 | 0.000 % |
293.80/293.99 c | 287606 | 5850 25027 76021 | 2147483647 285926 139 | 0.000 % |
294.20/294.34 c | 287753 | 5850 25027 76021 | 2147483647 286073 139 | 0.000 % |
294.61/294.74 c | 287913 | 5850 25027 76021 | 2147483647 286233 139 | 0.000 % |
295.00/295.10 c | 288090 | 5850 25027 76021 | 2147483647 286410 139 | 0.000 % |
295.40/295.56 c | 288283 | 5850 25027 76021 | 2147483647 286603 139 | 0.000 % |
295.90/296.03 c | 288496 | 5850 25027 76021 | 2147483647 286816 139 | 0.000 % |
296.40/296.51 c | 288729 | 5850 25027 76021 | 2147483647 287049 139 | 0.000 % |
296.90/297.01 c | 288986 | 5850 25027 76021 | 2147483647 287306 139 | 0.000 % |
297.39/297.56 c | 289267 | 5850 25027 76021 | 2147483647 287587 139 | 0.000 % |
298.00/298.11 c | 289578 | 5850 25027 76021 | 2147483647 287898 139 | 0.000 % |
298.69/298.86 c | 289918 | 5850 25027 76021 | 2147483647 288238 139 | 0.000 % |
299.59/299.70 c | 290290 | 5850 25027 76021 | 2147483647 288610 139 | 0.000 % |
300.29/300.47 c | 290699 | 5850 25027 76021 | 2147483647 289019 139 | 0.000 % |
301.20/301.35 c | 291148 | 5850 25027 76021 | 2147483647 289468 139 | 0.000 % |
302.20/302.39 c | 291641 | 5850 25027 76021 | 2147483647 289961 139 | 0.000 % |
303.20/303.39 c | 292183 | 5850 25027 76021 | 2147483647 290503 139 | 0.000 % |
304.30/304.49 c | 292780 | 5850 25027 76021 | 2147483647 291100 139 | 0.000 % |
305.60/305.79 c | 293435 | 5850 25027 76021 | 2147483647 291755 139 | 0.000 % |
306.99/307.10 c | 294156 | 5850 25027 76021 | 2147483647 292476 139 | 0.000 % |
308.40/308.58 c | 294948 | 5850 25027 76021 | 2147483647 293268 139 | 0.000 % |
310.00/310.11 c | 295821 | 5850 25027 76021 | 2147483647 294141 139 | 0.000 % |
311.79/311.94 c | 296779 | 5850 25027 76021 | 2147483647 295099 139 | 0.000 % |
313.69/313.82 c | 297832 | 5850 25027 76021 | 2147483647 296152 139 | 0.000 % |
315.69/315.86 c | 298990 | 5850 25027 76021 | 2147483647 297310 139 | 0.000 % |
318.09/318.24 c | 300263 | 5850 25027 76021 | 2147483647 298583 139 | 0.000 % |
320.59/320.76 c | 301663 | 5850 25027 76021 | 2147483647 299983 139 | 0.000 % |
323.39/323.59 c | 303204 | 5850 25027 76021 | 2147483647 301524 139 | 0.000 % |
326.39/326.56 c | 304899 | 5850 25027 76021 | 2147483647 303219 139 | 0.000 % |
329.98/330.18 c | 306763 | 5850 25027 76021 | 2147483647 305083 140 | 0.000 % |
333.49/333.64 c | 308813 | 5850 25027 76021 | 2147483647 307133 140 | 0.000 % |
337.78/338.00 c | 311066 | 5850 25027 76021 | 2147483647 309386 140 | 0.000 % |
342.79/342.98 c | 313544 | 5850 25027 76021 | 2147483647 311864 140 | 0.000 % |
348.08/348.24 c | 316273 | 5850 25027 76021 | 2147483647 314593 140 | 0.000 % |
353.88/354.10 c | 319271 | 5850 25027 76021 | 2147483647 317591 140 | 0.000 % |
354.08/354.29 c | 319372 | 5850 25027 76021 | 2147483647 317692 140 | 0.000 % |
354.38/354.57 c | 319482 | 5850 25027 76021 | 2147483647 317802 140 | 0.000 % |
354.78/354.92 c | 319603 | 5850 25027 76021 | 2147483647 317923 140 | 0.000 % |
355.08/355.28 c | 319736 | 5850 25027 76021 | 2147483647 318056 140 | 0.000 % |
355.48/355.60 c | 319885 | 5850 25027 76021 | 2147483647 318205 140 | 0.000 % |
355.78/355.97 c | 320045 | 5850 25027 76021 | 2147483647 318365 140 | 0.000 % |
356.28/356.42 c | 320221 | 5850 25027 76021 | 2147483647 318541 140 | 0.000 % |
356.68/356.86 c | 320416 | 5850 25027 76021 | 2147483647 318736 140 | 0.000 % |
357.18/357.37 c | 320630 | 5850 25027 76021 | 2147483647 318950 140 | 0.000 % |
357.68/357.87 c | 320863 | 5850 25027 76021 | 2147483647 319183 140 | 0.000 % |
358.28/358.49 c | 321123 | 5850 25027 76021 | 2147483647 319443 140 | 0.000 % |
358.98/359.16 c | 321404 | 5850 25027 76021 | 2147483647 319724 140 | 0.000 % |
359.68/359.87 c | 321713 | 5850 25027 76021 | 2147483647 320033 140 | 0.000 % |
360.58/360.70 c | 322054 | 5850 25027 76021 | 2147483647 320374 140 | 0.000 % |
361.48/361.60 c | 322426 | 5850 25027 76021 | 2147483647 320746 140 | 0.000 % |
362.38/362.50 c | 322835 | 5850 25027 76021 | 2147483647 321155 140 | 0.000 % |
363.28/363.42 c | 323284 | 5850 25027 76021 | 2147483647 321604 140 | 0.000 % |
364.38/364.54 c | 323777 | 5850 25027 76021 | 2147483647 322097 140 | 0.000 % |
365.58/365.71 c | 324319 | 5850 25027 76021 | 2147483647 322639 140 | 0.000 % |
366.78/366.97 c | 324916 | 5850 25027 76021 | 2147483647 323236 140 | 0.000 % |
368.18/368.38 c | 325571 | 5850 25027 76021 | 2147483647 323891 140 | 0.000 % |
369.77/369.99 c | 326291 | 5850 25027 76021 | 2147483647 324611 140 | 0.000 % |
371.58/371.74 c | 327083 | 5850 25027 76021 | 2147483647 325403 140 | 0.000 % |
373.48/373.67 c | 327954 | 5850 25027 76021 | 2147483647 326274 140 | 0.000 % |
375.38/375.57 c | 328912 | 5850 25027 76021 | 2147483647 327232 140 | 0.000 % |
377.47/377.60 c | 329966 | 5850 25027 76021 | 2147483647 328286 140 | 0.000 % |
379.98/380.16 c | 331125 | 5850 25027 76021 | 328320 289964 140 | 0.000 % |
382.28/382.48 c | 332399 | 5850 25027 76021 | 328320 291238 140 | 0.000 % |
384.78/384.94 c | 333799 | 5850 25027 76021 | 328320 292638 140 | 0.000 % |
387.57/387.72 c | 335339 | 5850 25027 76021 | 328320 294178 140 | 0.000 % |
390.67/390.89 c | 337034 | 5850 25027 76021 | 328320 295873 140 | 0.000 % |
394.27/394.47 c | 338897 | 5850 25027 76021 | 328320 297736 140 | 0.000 % |
398.08/398.26 c | 340946 | 5850 25027 76021 | 2147483647 299785 140 | 0.000 % |
402.07/402.29 c | 343201 | 5850 25027 76021 | 2147483647 302040 140 | 0.000 % |
406.77/406.97 c | 345681 | 5850 25027 76021 | 2147483647 304520 140 | 0.000 % |
411.47/411.63 c | 348408 | 5850 25027 76021 | 2147483647 307247 140 | 0.000 % |
416.17/416.34 c | 351407 | 5850 25027 76021 | 2147483647 310246 141 | 0.000 % |
422.17/422.32 c | 354704 | 5850 25027 76021 | 2147483647 313543 141 | 0.000 % |
422.36/422.51 c | 354804 | 5850 25027 76021 | 2147483647 313643 141 | 0.000 % |
422.66/422.81 c | 354916 | 5850 25027 76021 | 2147483647 313755 141 | 0.000 % |
422.96/423.11 c | 355037 | 5850 25027 76021 | 2147483647 313876 141 | 0.000 % |
423.27/423.46 c | 355171 | 5850 25027 76021 | 2147483647 314010 141 | 0.000 % |
423.66/423.83 c | 355317 | 5850 25027 76021 | 2147483647 314156 141 | 0.000 % |
424.06/424.21 c | 355477 | 5850 25027 76021 | 2147483647 314316 141 | 0.000 % |
424.47/424.64 c | 355653 | 5850 25027 76021 | 2147483647 314492 141 | 0.000 % |
424.86/425.07 c | 355846 | 5850 25027 76021 | 2147483647 314685 141 | 0.000 % |
425.36/425.57 c | 356059 | 5850 25027 76021 | 2147483647 314898 141 | 0.000 % |
425.96/426.15 c | 356293 | 5850 25027 76021 | 2147483647 315132 141 | 0.000 % |
426.57/426.75 c | 356550 | 5850 25027 76021 | 2147483647 315389 141 | 0.000 % |
427.26/427.41 c | 356831 | 5850 25027 76021 | 2147483647 315670 141 | 0.000 % |
427.96/428.14 c | 357144 | 5850 25027 76021 | 2147483647 315983 141 | 0.000 % |
428.76/428.92 c | 357484 | 5850 25027 76021 | 2147483647 316323 141 | 0.000 % |
429.56/429.72 c | 357856 | 5850 25027 76021 | 2147483647 316695 141 | 0.000 % |
430.36/430.50 c | 358265 | 5850 25027 76021 | 2147483647 317104 141 | 0.000 % |
431.26/431.50 c | 358715 | 5850 25027 76021 | 2147483647 317554 141 | 0.000 % |
432.36/432.53 c | 359208 | 5850 25027 76021 | 2147483647 318047 141 | 0.000 % |
433.56/433.73 c | 359750 | 5850 25027 76021 | 2147483647 318589 141 | 0.000 % |
434.76/434.96 c | 360350 | 5850 25027 76021 | 2147483647 319189 141 | 0.000 % |
436.06/436.22 c | 361006 | 5850 25027 76021 | 2147483647 319845 141 | 0.000 % |
437.56/437.79 c | 361727 | 5850 25027 76021 | 2147483647 320566 141 | 0.000 % |
439.26/439.41 c | 362519 | 5850 25027 76021 | 2147483647 321358 141 | 0.000 % |
441.16/441.30 c | 363393 | 5850 25027 76021 | 2147483647 322232 141 | 0.000 % |
443.16/443.33 c | 364351 | 5850 25027 76021 | 2147483647 323190 141 | 0.000 % |
445.36/445.56 c | 365404 | 5850 25027 76021 | 2147483647 324243 141 | 0.000 % |
447.66/447.80 c | 366564 | 5850 25027 76021 | 2147483647 325403 141 | 0.000 % |
450.16/450.38 c | 367837 | 5850 25027 76021 | 2147483647 326676 141 | 0.000 % |
452.86/453.07 c | 369237 | 5850 25027 76021 | 2147483647 328076 141 | 0.000 % |
456.45/456.69 c | 370778 | 5850 25027 76021 | 328841 296405 142 | 0.000 % |
459.75/459.93 c | 372472 | 5850 25027 76021 | 328841 298099 142 | 0.000 % |
463.16/463.36 c | 374336 | 5850 25027 76021 | 328841 299963 142 | 0.000 % |
467.06/467.26 c | 376385 | 5850 25027 76021 | 328841 302012 142 | 0.000 % |
471.06/471.22 c | 378638 | 5850 25027 76021 | 328841 304265 142 | 0.000 % |
475.46/475.63 c | 381116 | 5850 25027 76021 | 2147483647 306743 142 | 0.000 % |
480.76/480.98 c | 383841 | 5850 25027 76021 | 2147483647 309468 142 | 0.000 % |
486.35/486.54 c | 386838 | 5850 25027 76021 | 2147483647 312465 142 | 0.000 % |
492.35/492.55 c | 390135 | 5850 25027 76021 | 2147483647 315762 143 | 0.000 % |
498.95/499.10 c | 393760 | 5850 25027 76021 | 2147483647 319387 143 | 0.000 % |
499.15/499.35 c | 393861 | 5850 25027 76021 | 2147483647 319488 143 | 0.000 % |
499.45/499.60 c | 393971 | 5850 25027 76021 | 2147483647 319598 143 | 0.000 % |
499.65/499.89 c | 394093 | 5850 25027 76021 | 2147483647 319720 143 | 0.000 % |
500.05/500.23 c | 394226 | 5850 25027 76021 | 2147483647 319853 143 | 0.000 % |
500.35/500.58 c | 394372 | 5850 25027 76021 | 2147483647 319999 143 | 0.000 % |
500.75/500.98 c | 394534 | 5850 25027 76021 | 2147483647 320161 143 | 0.000 % |
501.25/501.43 c | 394710 | 5850 25027 76021 | 2147483647 320337 143 | 0.000 % |
501.65/501.86 c | 394905 | 5850 25027 76021 | 2147483647 320532 143 | 0.000 % |
502.15/502.35 c | 395118 | 5850 25027 76021 | 2147483647 320745 143 | 0.000 % |
502.75/502.91 c | 395351 | 5850 25027 76021 | 2147483647 320978 143 | 0.000 % |
503.25/503.45 c | 395607 | 5850 25027 76021 | 2147483647 321234 143 | 0.000 % |
503.85/504.07 c | 395888 | 5850 25027 76021 | 2147483647 321515 143 | 0.000 % |
504.45/504.68 c | 396198 | 5850 25027 76021 | 2147483647 321825 143 | 0.000 % |
505.25/505.44 c | 396538 | 5850 25027 76021 | 2147483647 322165 143 | 0.000 % |
506.15/506.35 c | 396910 | 5850 25027 76021 | 2147483647 322537 143 | 0.000 % |
507.05/507.25 c | 397320 | 5850 25027 76021 | 2147483647 322947 143 | 0.000 % |
508.05/508.26 c | 397771 | 5850 25027 76021 | 2147483647 323398 143 | 0.000 % |
509.15/509.38 c | 398264 | 5850 25027 76021 | 2147483647 323891 143 | 0.000 % |
510.34/510.58 c | 398806 | 5850 25027 76021 | 2147483647 324433 143 | 0.000 % |
511.64/511.81 c | 399402 | 5850 25027 76021 | 2147483647 325029 143 | 0.000 % |
513.04/513.20 c | 400058 | 5850 25027 76021 | 325628 325685 143 | 0.000 % |
514.84/515.02 c | 400779 | 5850 25027 76021 | 325628 291902 143 | 0.000 % |
516.34/516.59 c | 401571 | 5850 25027 76021 | 325628 292694 143 | 0.000 % |
517.95/518.19 c | 402442 | 5850 25027 76021 | 325628 293565 143 | 0.000 % |
519.74/519.97 c | 403400 | 5850 25027 76021 | 325628 294523 143 | 0.000 % |
521.74/521.98 c | 404454 | 5850 25027 76021 | 325628 295577 143 | 0.000 % |
523.94/524.17 c | 405612 | 5850 25027 76021 | 325628 296735 143 | 0.000 % |
526.44/526.63 c | 406892 | 5850 25027 76021 | 325628 298015 143 | 0.000 % |
529.24/529.42 c | 408292 | 5850 25027 76021 | 325628 299415 143 | 0.000 % |
532.04/532.27 c | 409833 | 5850 25027 76021 | 325628 300956 143 | 0.000 % |
535.14/535.33 c | 411527 | 5850 25027 76021 | 2147483647 302650 143 | 0.000 % |
538.64/538.84 c | 413391 | 5850 25027 76021 | 2147483647 304514 143 | 0.000 % |
542.44/542.64 c | 415441 | 5850 25027 76021 | 2147483647 306564 143 | 0.000 % |
546.63/546.87 c | 417694 | 5850 25027 76021 | 2147483647 308817 143 | 0.000 % |
551.03/551.26 c | 420172 | 5850 25027 76021 | 2147483647 311295 143 | 0.000 % |
555.93/556.14 c | 422897 | 5850 25027 76021 | 2147483647 314020 143 | 0.000 % |
561.33/561.58 c | 425894 | 5850 25027 76021 | 2147483647 317017 144 | 0.000 % |
567.63/567.83 c | 429191 | 5850 25027 76021 | 2147483647 320314 144 | 0.000 % |
574.12/574.36 c | 432818 | 5850 25027 76021 | 2147483647 323941 144 | 0.000 % |
581.82/582.04 c | 436806 | 5850 25027 76021 | 2147483647 327929 144 | 0.000 % |
582.02/582.26 c | 436907 | 5850 25027 76021 | 2147483647 328030 144 | 0.000 % |
582.33/582.56 c | 437018 | 5850 25027 76021 | 2147483647 328141 144 | 0.000 % |
582.73/582.96 c | 437139 | 5850 25027 76021 | 2147483647 328262 144 | 0.000 % |
583.13/583.33 c | 437272 | 5850 25027 76021 | 2147483647 328395 144 | 0.000 % |
583.53/583.70 c | 437418 | 5850 25027 76021 | 2147483647 328541 144 | 0.000 % |
583.93/584.13 c | 437579 | 5850 25027 76021 | 2147483647 328702 144 | 0.000 % |
584.43/584.62 c | 437756 | 5850 25027 76021 | 2147483647 328879 144 | 0.000 % |
584.82/585.07 c | 437949 | 5850 25027 76021 | 2147483647 329072 144 | 0.000 % |
585.42/585.62 c | 438161 | 5850 25027 76021 | 2147483647 329284 144 | 0.000 % |
585.92/586.16 c | 438399 | 5850 25027 76021 | 2147483647 329522 144 | 0.000 % |
586.52/586.75 c | 438655 | 5850 25027 76021 | 2147483647 329778 144 | 0.000 % |
587.13/587.39 c | 438938 | 5850 25027 76021 | 2147483647 330061 144 | 0.000 % |
587.92/588.17 c | 439248 | 5850 25027 76021 | 2147483647 330371 144 | 0.000 % |
588.62/588.89 c | 439587 | 5850 25027 76021 | 2147483647 330710 144 | 0.000 % |
589.52/589.76 c | 439961 | 5850 25027 76021 | 2147483647 331084 144 | 0.000 % |
590.53/590.74 c | 440370 | 5850 25027 76021 | 2147483647 331493 144 | 0.000 % |
591.52/591.80 c | 440821 | 5850 25027 76021 | 2147483647 331944 144 | 0.000 % |
592.63/592.90 c | 441314 | 5850 25027 76021 | 2147483647 332437 144 | 0.000 % |
593.83/594.08 c | 441857 | 5850 25027 76021 | 2147483647 332980 144 | 0.000 % |
595.13/595.31 c | 442455 | 5850 25027 76021 | 2147483647 333578 144 | 0.000 % |
596.42/596.68 c | 443110 | 5850 25027 76021 | 2147483647 334233 144 | 0.000 % |
598.13/598.33 c | 443831 | 5850 25027 76021 | 2147483647 334954 144 | 0.000 % |
599.82/600.02 c | 444624 | 5850 25027 76021 | 2147483647 335747 144 | 0.000 % |
601.62/601.82 c | 445495 | 5850 25027 76021 | 2147483647 336618 144 | 0.000 % |
603.82/604.04 c | 446455 | 5850 25027 76021 | 2147483647 337578 144 | 0.000 % |
605.82/606.02 c | 447508 | 5850 25027 76021 | 2147483647 338631 144 | 0.000 % |
608.42/608.67 c | 448668 | 5850 25027 76021 | 2147483647 339791 144 | 0.000 % |
611.13/611.31 c | 449942 | 5850 25027 76021 | 2147483647 341065 144 | 0.000 % |
614.32/614.53 c | 451343 | 5850 25027 76021 | 341125 300740 144 | 0.000 % |
617.12/617.32 c | 452883 | 5850 25027 76021 | 341125 302280 144 | 0.000 % |
620.42/620.63 c | 454577 | 5850 25027 76021 | 341125 303974 144 | 0.000 % |
624.02/624.27 c | 456440 | 5850 25027 76021 | 341125 305837 144 | 0.000 % |
628.02/628.29 c | 458490 | 5850 25027 76021 | 341125 307887 144 | 0.000 % |
632.32/632.54 c | 460743 | 5850 25027 76021 | 2147483647 310140 144 | 0.000 % |
636.82/637.00 c | 463221 | 5850 25027 76021 | 2147483647 312618 144 | 0.000 % |
641.91/642.19 c | 465947 | 5850 25027 76021 | 2147483647 315344 144 | 0.000 % |
647.81/648.07 c | 468946 | 5850 25027 76021 | 2147483647 318343 145 | 0.000 % |
654.32/654.53 c | 472244 | 5850 25027 76021 | 2147483647 321641 145 | 0.000 % |
660.91/661.18 c | 475869 | 5850 25027 76021 | 2147483647 325266 145 | 0.000 % |
667.91/668.16 c | 479859 | 5850 25027 76021 | 2147483647 329256 145 | 0.000 % |
676.31/676.55 c | 484244 | 5850 25027 76021 | 2147483647 333641 145 | 0.000 % |
676.50/676.77 c | 484346 | 5850 25027 76021 | 2147483647 333743 145 | 0.000 % |
676.80/677.06 c | 484456 | 5850 25027 76021 | 2147483647 333853 145 | 0.000 % |
677.10/677.37 c | 484578 | 5850 25027 76021 | 2147483647 333975 145 | 0.000 % |
677.50/677.77 c | 484713 | 5850 25027 76021 | 2147483647 334110 145 | 0.000 % |
677.90/678.14 c | 484860 | 5850 25027 76021 | 2147483647 334257 145 | 0.000 % |
678.30/678.55 c | 485020 | 5850 25027 76021 | 2147483647 334417 145 | 0.000 % |
678.80/679.03 c | 485199 | 5850 25027 76021 | 2147483647 334596 145 | 0.000 % |
679.30/679.51 c | 485392 | 5850 25027 76021 | 2147483647 334789 145 | 0.000 % |
679.80/680.00 c | 485604 | 5850 25027 76021 | 2147483647 335001 145 | 0.000 % |
680.40/680.62 c | 485838 | 5850 25027 76021 | 2147483647 335235 145 | 0.000 % |
681.00/681.21 c | 486095 | 5850 25027 76021 | 2147483647 335492 145 | 0.000 % |
681.71/681.94 c | 486377 | 5850 25027 76021 | 2147483647 335774 145 | 0.000 % |
682.40/682.66 c | 486686 | 5850 25027 76021 | 2147483647 336083 145 | 0.000 % |
683.20/683.44 c | 487025 | 5850 25027 76021 | 2147483647 336422 145 | 0.000 % |
684.20/684.40 c | 487397 | 5850 25027 76021 | 2147483647 336794 145 | 0.000 % |
685.00/685.29 c | 487806 | 5850 25027 76021 | 2147483647 337203 145 | 0.000 % |
686.00/686.26 c | 488257 | 5850 25027 76021 | 2147483647 337654 145 | 0.000 % |
687.00/687.27 c | 488750 | 5850 25027 76021 | 2147483647 338147 145 | 0.000 % |
688.20/688.43 c | 489293 | 5850 25027 76021 | 2147483647 338690 145 | 0.000 % |
689.40/689.67 c | 489889 | 5850 25027 76021 | 2147483647 339286 145 | 0.000 % |
690.90/691.12 c | 490544 | 5850 25027 76021 | 339399 339941 145 | 0.000 % |
692.90/693.12 c | 491267 | 5850 25027 76021 | 339399 300900 146 | 0.000 % |
694.50/694.75 c | 492059 | 5850 25027 76021 | 339399 301692 146 | 0.000 % |
696.30/696.51 c | 492930 | 5850 25027 76021 | 339399 302563 146 | 0.000 % |
698.10/698.38 c | 493888 | 5850 25027 76021 | 339399 303521 146 | 0.000 % |
700.20/700.41 c | 494941 | 5850 25027 76021 | 339399 304574 146 | 0.000 % |
702.40/702.68 c | 496100 | 5850 25027 76021 | 339399 305733 146 | 0.000 % |
704.90/705.16 c | 497376 | 5850 25027 76021 | 339399 307009 146 | 0.000 % |
707.69/707.92 c | 498776 | 5850 25027 76021 | 339399 308409 147 | 0.000 % |
710.59/710.87 c | 500316 | 5850 25027 76021 | 2147483647 309949 146 | 0.000 % |
714.09/714.30 c | 502012 | 5850 25027 76021 | 2147483647 311645 146 | 0.000 % |
717.89/718.11 c | 503877 | 5850 25027 76021 | 2147483647 313510 146 | 0.000 % |
721.59/721.80 c | 505929 | 5850 25027 76021 | 2147483647 315562 147 | 0.000 % |
725.79/726.03 c | 508182 | 5850 25027 76021 | 2147483647 317815 146 | 0.000 % |
730.29/730.59 c | 510662 | 5850 25027 76021 | 2147483647 320295 147 | 0.000 % |
735.49/735.73 c | 513388 | 5850 25027 76021 | 2147483647 323021 147 | 0.000 % |
741.28/741.57 c | 516387 | 5850 25027 76021 | 2147483647 326020 147 | 0.000 % |
747.38/747.61 c | 519684 | 5850 25027 76021 | 2147483647 329317 147 | 0.000 % |
754.48/754.79 c | 523309 | 5850 25027 76021 | 2147483647 332942 147 | 0.000 % |
762.28/762.52 c | 527296 | 5850 25027 76021 | 2147483647 336929 147 | 0.000 % |
771.38/771.60 c | 531681 | 5850 25027 76021 | 2147483647 341314 147 | 0.000 % |
780.88/781.14 c | 536505 | 5850 25027 76021 | 2147483647 346138 147 | 0.000 % |
781.28/781.50 c | 536606 | 5850 25027 76021 | 2147483647 346239 147 | 0.000 % |
781.58/781.83 c | 536716 | 5850 25027 76021 | 2147483647 346349 147 | 0.000 % |
781.88/782.13 c | 536837 | 5850 25027 76021 | 2147483647 346470 147 | 0.000 % |
782.18/782.49 c | 536972 | 5850 25027 76021 | 2147483647 346605 147 | 0.000 % |
782.58/782.88 c | 537119 | 5850 25027 76021 | 2147483647 346752 147 | 0.000 % |
783.08/783.30 c | 537279 | 5850 25027 76021 | 2147483647 346912 147 | 0.000 % |
783.48/783.80 c | 537458 | 5850 25027 76021 | 2147483647 347091 147 | 0.000 % |
783.98/784.24 c | 537655 | 5850 25027 76021 | 2147483647 347288 147 | 0.000 % |
784.47/784.74 c | 537867 | 5850 25027 76021 | 2147483647 347500 147 | 0.000 % |
784.97/785.29 c | 538102 | 5850 25027 76021 | 2147483647 347735 147 | 0.000 % |
785.68/785.96 c | 538359 | 5850 25027 76021 | 2147483647 347992 147 | 0.000 % |
786.38/786.60 c | 538642 | 5850 25027 76021 | 2147483647 348275 147 | 0.000 % |
787.08/787.33 c | 538951 | 5850 25027 76021 | 2147483647 348584 147 | 0.000 % |
787.88/788.17 c | 539290 | 5850 25027 76021 | 2147483647 348923 147 | 0.000 % |
788.78/789.08 c | 539662 | 5850 25027 76021 | 2147483647 349295 147 | 0.000 % |
789.68/789.97 c | 540073 | 5850 25027 76021 | 349634 349706 147 | 0.000 % |
791.08/791.39 c | 540523 | 5850 25027 76021 | 349634 307807 148 | 0.000 % |
792.27/792.54 c | 541016 | 5850 25027 76021 | 349634 308300 148 | 0.000 % |
793.37/793.60 c | 541559 | 5850 25027 76021 | 349634 308843 148 | 0.000 % |
794.57/794.90 c | 542158 | 5850 25027 76021 | 349634 309442 148 | 0.000 % |
795.87/796.14 c | 542813 | 5850 25027 76021 | 349634 310097 148 | 0.000 % |
797.28/797.55 c | 543536 | 5850 25027 76021 | 349634 310820 148 | 0.000 % |
798.87/799.11 c | 544328 | 5850 25027 76021 | 349634 311612 148 | 0.000 % |
800.48/800.77 c | 545199 | 5850 25027 76021 | 349634 312483 148 | 0.000 % |
802.27/802.59 c | 546157 | 5850 25027 76021 | 349634 313441 148 | 0.000 % |
804.37/804.64 c | 547211 | 5850 25027 76021 | 349634 314495 148 | 0.000 % |
806.57/806.87 c | 548369 | 5850 25027 76021 | 349634 315653 148 | 0.000 % |
809.07/809.36 c | 549642 | 5850 25027 76021 | 349634 316926 148 | 0.000 % |
811.87/812.12 c | 551042 | 5850 25027 76021 | 317285 286520 148 | 0.000 % |
814.87/815.14 c | 552582 | 5850 25027 76021 | 317285 288060 148 | 0.000 % |
817.97/818.27 c | 554276 | 5850 25027 76021 | 317285 289754 149 | 0.000 % |
821.17/821.45 c | 556140 | 5850 25027 76021 | 317285 291618 149 | 0.000 % |
824.77/825.08 c | 558190 | 5850 25027 76021 | 317285 293668 149 | 0.000 % |
828.86/829.19 c | 560444 | 5850 25027 76021 | 2147483647 295922 149 | 0.000 % |
833.36/833.68 c | 562923 | 5850 25027 76021 | 2147483647 298401 149 | 0.000 % |
838.56/838.81 c | 565649 | 5850 25027 76021 | 2147483647 301127 149 | 0.000 % |
844.07/844.31 c | 568646 | 5850 25027 76021 | 2147483647 304124 149 | 0.000 % |
849.97/850.24 c | 571942 | 5850 25027 76021 | 2147483647 307420 149 | 0.000 % |
856.86/857.20 c | 575568 | 5850 25027 76021 | 2147483647 311046 149 | 0.000 % |
864.46/864.77 c | 579555 | 5850 25027 76021 | 2147483647 315033 150 | 0.000 % |
872.76/873.06 c | 583941 | 5850 25027 76021 | 2147483647 319419 150 | 0.000 % |
881.96/882.25 c | 588764 | 5850 25027 76021 | 2147483647 324242 150 | 0.000 % |
892.25/892.52 c | 594069 | 5850 25027 76021 | 2147483647 329547 150 | 0.000 % |
892.55/892.82 c | 594170 | 5850 25027 76021 | 2147483647 329648 150 | 0.000 % |
892.86/893.10 c | 594280 | 5850 25027 76021 | 2147483647 329758 150 | 0.000 % |
893.05/893.39 c | 594403 | 5850 25027 76021 | 2147483647 329881 150 | 0.000 % |
893.45/893.76 c | 594537 | 5850 25027 76021 | 2147483647 330015 150 | 0.000 % |
893.96/894.21 c | 594684 | 5850 25027 76021 | 2147483647 330162 150 | 0.000 % |
894.35/894.62 c | 594845 | 5850 25027 76021 | 2147483647 330323 150 | 0.000 % |
894.75/895.01 c | 595021 | 5850 25027 76021 | 2147483647 330499 150 | 0.000 % |
895.25/895.52 c | 595218 | 5850 25027 76021 | 2147483647 330696 150 | 0.000 % |
895.75/896.03 c | 595431 | 5850 25027 76021 | 2147483647 330909 150 | 0.000 % |
896.25/896.59 c | 595664 | 5850 25027 76021 | 2147483647 331142 150 | 0.000 % |
896.95/897.25 c | 595920 | 5850 25027 76021 | 2147483647 331398 150 | 0.000 % |
897.55/897.89 c | 596202 | 5850 25027 76021 | 2147483647 331680 150 | 0.000 % |
898.25/898.53 c | 596513 | 5850 25027 76021 | 2147483647 331991 150 | 0.000 % |
899.05/899.35 c | 596855 | 5850 25027 76021 | 2147483647 332333 150 | 0.000 % |
899.95/900.29 c | 597227 | 5850 25027 76021 | 2147483647 332705 150 | 0.000 % |
900.95/901.27 c | 597636 | 5850 25027 76021 | 2147483647 333114 150 | 0.000 % |
901.95/902.25 c | 598085 | 5850 25027 76021 | 2147483647 333563 150 | 0.000 % |
903.15/903.41 c | 598578 | 5850 25027 76021 | 2147483647 334056 150 | 0.000 % |
904.45/904.75 c | 599122 | 5850 25027 76021 | 2147483647 334600 150 | 0.000 % |
905.85/906.15 c | 599718 | 5850 25027 76021 | 2147483647 335196 150 | 0.000 % |
907.25/907.55 c | 600374 | 5850 25027 76021 | 335478 335852 150 | 0.000 % |
909.04/909.37 c | 601094 | 5850 25027 76021 | 335478 294869 149 | 0.000 % |
910.75/911.07 c | 601889 | 5850 25027 76021 | 335478 295664 149 | 0.000 % |
912.54/912.82 c | 602760 | 5850 25027 76021 | 335478 296535 149 | 0.000 % |
914.44/914.76 c | 603719 | 5850 25027 76021 | 335478 297494 149 | 0.000 % |
916.54/916.86 c | 604772 | 5850 25027 76021 | 335478 298547 149 | 0.000 % |
918.84/919.18 c | 605930 | 5850 25027 76021 | 335478 299705 149 | 0.000 % |
921.04/921.35 c | 607203 | 5850 25027 76021 | 335478 300978 149 | 0.000 % |
923.64/923.91 c | 608603 | 5850 25027 76021 | 335478 302378 149 | 0.000 % |
926.34/926.61 c | 610143 | 5850 25027 76021 | 2147483647 303918 150 | 0.000 % |
929.44/929.75 c | 611837 | 5850 25027 76021 | 2147483647 305612 150 | 0.000 % |
932.94/933.28 c | 613700 | 5850 25027 76021 | 2147483647 307475 150 | 0.000 % |
936.84/937.17 c | 615751 | 5850 25027 76021 | 2147483647 309526 150 | 0.000 % |
940.94/941.24 c | 618004 | 5850 25027 76021 | 2147483647 311779 150 | 0.000 % |
945.44/945.77 c | 620484 | 5850 25027 76021 | 2147483647 314259 150 | 0.000 % |
950.64/950.96 c | 623209 | 5850 25027 76021 | 2147483647 316984 150 | 0.000 % |
955.74/956.08 c | 626207 | 5850 25027 76021 | 2147483647 319982 150 | 0.000 % |
962.44/962.73 c | 629504 | 5850 25027 76021 | 2147483647 323279 150 | 0.000 % |
969.73/970.08 c | 633131 | 5850 25027 76021 | 2147483647 326906 151 | 0.000 % |
977.73/978.09 c | 637118 | 5850 25027 76021 | 2147483647 330893 151 | 0.000 % |
986.63/986.95 c | 641504 | 5850 25027 76021 | 2147483647 335279 151 | 0.000 % |
996.23/996.55 c | 646333 | 5850 25027 76021 | 2147483647 340108 151 | 0.000 % |
1006.43/1006.72 c | 651640 | 5850 25027 76021 | 2147483647 345415 151 | 0.000 % |
1018.23/1018.51 c | 657475 | 5850 25027 76021 | 2147483647 351250 152 | 0.000 % |
1018.42/1018.77 c | 657575 | 5850 25027 76021 | 2147483647 351350 152 | 0.000 % |
1018.82/1019.12 c | 657686 | 5850 25027 76021 | 2147483647 351461 152 | 0.000 % |
1019.02/1019.40 c | 657808 | 5850 25027 76021 | 2147483647 351583 152 | 0.000 % |
1019.43/1019.74 c | 657942 | 5850 25027 76021 | 2147483647 351717 152 | 0.000 % |
1019.82/1020.16 c | 658088 | 5850 25027 76021 | 2147483647 351863 152 | 0.000 % |
1020.22/1020.57 c | 658249 | 5850 25027 76021 | 2147483647 352024 152 | 0.000 % |
1020.72/1021.02 c | 658425 | 5850 25027 76021 | 2147483647 352200 152 | 0.000 % |
1021.12/1021.47 c | 658618 | 5850 25027 76021 | 2147483647 352393 151 | 0.000 % |
1021.72/1022.03 c | 658830 | 5850 25027 76021 | 2147483647 352605 151 | 0.000 % |
1022.32/1022.66 c | 659064 | 5850 25027 76021 | 2147483647 352839 151 | 0.000 % |
1023.12/1023.43 c | 659321 | 5850 25027 76021 | 2147483647 353096 151 | 0.000 % |
1023.72/1024.09 c | 659602 | 5850 25027 76021 | 2147483647 353377 151 | 0.000 % |
1024.52/1024.88 c | 659912 | 5850 25027 76021 | 2147483647 353687 151 | 0.000 % |
1025.32/1025.65 c | 660252 | 5850 25027 76021 | 353775 354027 151 | 0.000 % |
1026.62/1026.90 c | 660624 | 5850 25027 76021 | 353775 310326 152 | 0.000 % |
1027.41/1027.76 c | 661034 | 5850 25027 76021 | 353775 310736 152 | 0.000 % |
1028.31/1028.63 c | 661483 | 5850 25027 76021 | 353775 311185 152 | 0.000 % |
1029.32/1029.65 c | 661976 | 5850 25027 76021 | 353775 311678 152 | 0.000 % |
1030.42/1030.77 c | 662519 | 5850 25027 76021 | 353775 312221 152 | 0.000 % |
1031.71/1032.07 c | 663116 | 5850 25027 76021 | 353775 312818 152 | 0.000 % |
1033.11/1033.49 c | 663772 | 5850 25027 76021 | 353775 313474 152 | 0.000 % |
1034.72/1035.05 c | 664495 | 5850 25027 76021 | 353775 314197 152 | 0.000 % |
1036.31/1036.68 c | 665288 | 5850 25027 76021 | 353775 314990 152 | 0.000 % |
1038.12/1038.42 c | 666162 | 5850 25027 76021 | 353775 315864 152 | 0.000 % |
1040.12/1040.40 c | 667120 | 5850 25027 76021 | 353775 316822 151 | 0.000 % |
1042.22/1042.54 c | 668174 | 5850 25027 76021 | 353775 317876 151 | 0.000 % |
1044.52/1044.83 c | 669334 | 5850 25027 76021 | 353775 319036 151 | 0.000 % |
1047.02/1047.38 c | 670609 | 5850 25027 76021 | 319702 320311 151 | 0.000 % |
1050.12/1050.43 c | 672011 | 5850 25027 76021 | 319702 287927 151 | 0.000 % |
1053.22/1053.55 c | 673551 | 5850 25027 76021 | 319702 289467 151 | 0.000 % |
1056.52/1056.80 c | 675245 | 5850 25027 76021 | 319702 291161 151 | 0.000 % |
1060.02/1060.32 c | 677117 | 5850 25027 76021 | 319702 293033 151 | 0.000 % |
1063.61/1063.97 c | 679167 | 5850 25027 76021 | 319702 295083 151 | 0.000 % |
1067.72/1068.03 c | 681425 | 5850 25027 76021 | 2147483647 297341 152 | 0.000 % |
1072.22/1072.58 c | 683906 | 5850 25027 76021 | 2147483647 299822 152 | 0.000 % |
1077.21/1077.58 c | 686632 | 5850 25027 76021 | 2147483647 302548 152 | 0.000 % |
1083.01/1083.35 c | 689629 | 5850 25027 76021 | 2147483647 305545 152 | 0.000 % |
1089.21/1089.54 c | 692926 | 5850 25027 76021 | 2147483647 308842 152 | 0.000 % |
1095.80/1096.11 c | 696551 | 5850 25027 76021 | 2147483647 312467 152 | 0.000 % |
1103.50/1103.86 c | 700539 | 5850 25027 76021 | 2147483647 316455 152 | 0.000 % |
1112.10/1112.44 c | 704925 | 5850 25027 76021 | 2147483647 320841 152 | 0.000 % |
1121.30/1121.61 c | 709748 | 5850 25027 76021 | 2147483647 325664 152 | 0.000 % |
1131.39/1131.72 c | 715054 | 5850 25027 76021 | 2147483647 330970 152 | 0.000 % |
1143.49/1143.87 c | 720889 | 5850 25027 76021 | 335916 336805 152 | 0.000 % |
1155.49/1155.82 c | 727308 | 5850 25027 76021 | 335916 307586 153 | 0.000 % |
1155.69/1156.07 c | 727410 | 5850 25027 76021 | 335916 307688 153 | 0.000 % |
1155.98/1156.32 c | 727520 | 5850 25027 76021 | 335916 307798 153 | 0.000 % |
1156.28/1156.68 c | 727644 | 5850 25027 76021 | 335916 307922 153 | 0.000 % |
1156.68/1157.04 c | 727777 | 5850 25027 76021 | 335916 308055 153 | 0.000 % |
1157.08/1157.40 c | 727924 | 5850 25027 76021 | 335916 308202 153 | 0.000 % |
1157.48/1157.80 c | 728084 | 5850 25027 76021 | 335916 308362 153 | 0.000 % |
1157.89/1158.24 c | 728260 | 5850 25027 76021 | 335916 308538 153 | 0.000 % |
1158.38/1158.71 c | 728454 | 5850 25027 76021 | 335916 308732 153 | 0.000 % |
1158.88/1159.20 c | 728666 | 5850 25027 76021 | 335916 308944 153 | 0.000 % |
1159.38/1159.70 c | 728899 | 5850 25027 76021 | 335916 309177 153 | 0.000 % |
1159.98/1160.30 c | 729155 | 5850 25027 76021 | 335916 309433 153 | 0.000 % |
1160.58/1160.97 c | 729436 | 5850 25027 76021 | 335916 309714 153 | 0.000 % |
1161.29/1161.63 c | 729746 | 5850 25027 76021 | 335916 310024 153 | 0.000 % |
1162.08/1162.44 c | 730087 | 5850 25027 76021 | 2147483647 310365 153 | 0.000 % |
1162.98/1163.35 c | 730462 | 5850 25027 76021 | 2147483647 310740 153 | 0.000 % |
1163.88/1164.28 c | 730871 | 5850 25027 76021 | 2147483647 311149 153 | 0.000 % |
1164.98/1165.32 c | 731320 | 5850 25027 76021 | 2147483647 311598 153 | 0.000 % |
1165.98/1166.30 c | 731814 | 5850 25027 76021 | 2147483647 312092 153 | 0.000 % |
1167.08/1167.41 c | 732358 | 5850 25027 76021 | 2147483647 312636 153 | 0.000 % |
1168.38/1168.71 c | 732954 | 5850 25027 76021 | 2147483647 313232 153 | 0.000 % |
1169.78/1170.10 c | 733611 | 5850 25027 76021 | 2147483647 313889 153 | 0.000 % |
1171.28/1171.69 c | 734331 | 5850 25027 76021 | 2147483647 314609 153 | 0.000 % |
1172.88/1173.25 c | 735125 | 5850 25027 76021 | 2147483647 315403 153 | 0.000 % |
1174.68/1175.01 c | 735998 | 5850 25027 76021 | 2147483647 316276 153 | 0.000 % |
1176.68/1177.05 c | 736957 | 5850 25027 76021 | 2147483647 317235 153 | 0.000 % |
1178.78/1179.10 c | 738010 | 5850 25027 76021 | 2147483647 318288 153 | 0.000 % |
1181.28/1181.66 c | 739168 | 5850 25027 76021 | 2147483647 319446 153 | 0.000 % |
1183.88/1184.26 c | 740443 | 5850 25027 76021 | 320279 320721 153 | 0.000 % |
1187.08/1187.41 c | 741844 | 5850 25027 76021 | 320279 286809 153 | 0.000 % |
1189.97/1190.35 c | 743384 | 5850 25027 76021 | 320279 288349 153 | 0.000 % |
1193.47/1193.82 c | 745078 | 5850 25027 76021 | 320279 290043 153 | 0.000 % |
1197.07/1197.46 c | 746941 | 5850 25027 76021 | 320279 291906 153 | 0.000 % |
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1832715-1242786696/watcher-1832715-1242786696 -o /tmp/evaluation-result-1832715-1242786696/solver-1832715-1242786696 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1832715-1242786696.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.99 0.98 0.99 5/66 23515
/proc/meminfo: memFree=1730224/2055920 swapFree=4170692/4192956
[pid=23513] ppid=23511 vsize=5356 CPUtime=0
/proc/23513/stat : 23513 (SatELiteGTI) R 23511 23513 22817 0 -1 4194304 292 249 0 0 0 0 0 0 19 0 1 0 306696958 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 248761608863 0 65538 4100 65536 0 0 0 17 1 0 0
/proc/23513/statm: 1339 237 197 169 0 50 0
[startup+0.079298 s]
/proc/loadavg: 0.99 0.98 0.99 5/66 23515
/proc/meminfo: memFree=1730224/2055920 swapFree=4170692/4192956
[pid=23513] ppid=23511 vsize=5356 CPUtime=0
/proc/23513/stat : 23513 (SatELiteGTI) S 23511 23513 22817 0 -1 4194304 310 249 0 0 0 0 0 0 19 0 1 0 306696958 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 248761606980 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/23513/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.1013 s]
/proc/loadavg: 0.99 0.98 0.99 5/66 23515
/proc/meminfo: memFree=1730224/2055920 swapFree=4170692/4192956
[pid=23513] ppid=23511 vsize=5356 CPUtime=0
/proc/23513/stat : 23513 (SatELiteGTI) S 23511 23513 22817 0 -1 4194304 310 249 0 0 0 0 0 0 19 0 1 0 306696958 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 248761606980 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/23513/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.301321 s]
/proc/loadavg: 0.99 0.98 0.99 5/66 23515
/proc/meminfo: memFree=1730224/2055920 swapFree=4170692/4192956
[pid=23513] ppid=23511 vsize=5356 CPUtime=0.1
/proc/23513/stat : 23513 (SatELiteGTI) S 23511 23513 22817 0 -1 4194304 336 1151 0 0 0 0 10 0 16 0 1 0 306696958 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 248761606980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23513/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 5356
[startup+0.70136 s]
/proc/loadavg: 0.99 0.98 0.99 5/66 23515
/proc/meminfo: memFree=1730224/2055920 swapFree=4170692/4192956
[pid=23513] ppid=23511 vsize=5356 CPUtime=0.1
/proc/23513/stat : 23513 (SatELiteGTI) S 23511 23513 22817 0 -1 4194304 336 1151 0 0 0 0 10 0 16 0 1 0 306696958 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 248761606980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23513/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 5356
[startup+1.50143 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 23519
/proc/meminfo: memFree=1725232/2055920 swapFree=4170692/4192956
[pid=23513] ppid=23511 vsize=5356 CPUtime=0.1
/proc/23513/stat : 23513 (SatELiteGTI) S 23511 23513 22817 0 -1 4194304 336 1151 0 0 0 0 10 0 16 0 1 0 306696958 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 248761606980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23513/statm: 1339 239 197 169 0 50 0
[pid=23519] ppid=23513 vsize=6872 CPUtime=1.37
/proc/23519/stat : 23519 (minisat_static) R 23513 23513 22817 0 -1 4194304 1481 0 0 0 137 0 0 0 25 0 1 0 306696970 7036928 1467 1992294400 134512640 135215339 4294956240 18446744073709551615 134721382 0 0 4096 3 0 0 0 17 1 0 0
/proc/23519/statm: 1718 1467 77 171 0 1545 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 12228
[startup+3.10157 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 23519
/proc/meminfo: memFree=1723184/2055920 swapFree=4170692/4192956
[pid=23513] ppid=23511 vsize=5356 CPUtime=0.1
/proc/23513/stat : 23513 (SatELiteGTI) S 23511 23513 22817 0 -1 4194304 336 1151 0 0 0 0 10 0 16 0 1 0 306696958 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 248761606980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23513/statm: 1339 239 197 169 0 50 0
[pid=23519] ppid=23513 vsize=9512 CPUtime=2.97
/proc/23519/stat : 23519 (minisat_static) R 23513 23513 22817 0 -1 4194304 2138 0 0 0 296 1 0 0 25 0 1 0 306696970 9740288 2124 1992294400 134512640 135215339 4294956240 18446744073709551615 134528942 0 0 4096 3 0 0 0 17 1 0 0
/proc/23519/statm: 2378 2124 77 171 0 2205 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 14868
[startup+6.30186 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 23519
/proc/meminfo: memFree=1716984/2055920 swapFree=4170692/4192956
[pid=23513] ppid=23511 vsize=5356 CPUtime=0.1
/proc/23513/stat : 23513 (SatELiteGTI) S 23511 23513 22817 0 -1 4194304 336 1151 0 0 0 0 10 0 16 0 1 0 306696958 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 248761606980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23513/statm: 1339 239 197 169 0 50 0
[pid=23519] ppid=23513 vsize=15188 CPUtime=6.17
/proc/23519/stat : 23519 (minisat_static) R 23513 23513 22817 0 -1 4194304 3553 0 0 0 615 2 0 0 25 0 1 0 306696970 15552512 3539 1992294400 134512640 135215339 4294956240 18446744073709551615 134727848 0 0 4096 3 0 0 0 17 1 0 0
/proc/23519/statm: 3797 3539 77 171 0 3624 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 20544
[startup+12.7024 s]
/proc/loadavg: 1.07 1.00 1.00 2/66 23519
/proc/meminfo: memFree=1707704/2055920 swapFree=4170692/4192956
[pid=23513] ppid=23511 vsize=5356 CPUtime=0.1
/proc/23513/stat : 23513 (SatELiteGTI) S 23511 23513 22817 0 -1 4194304 336 1151 0 0 0 0 10 0 16 0 1 0 306696958 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 248761606980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23513/statm: 1339 239 197 169 0 50 0
[pid=23519] ppid=23513 vsize=24064 CPUtime=12.57
/proc/23519/stat : 23519 (minisat_static) R 23513 23513 22817 0 -1 4194304 5778 0 0 0 1253 4 0 0 25 0 1 0 306696970 24641536 5764 1992294400 134512640 135215339 4294956240 18446744073709551615 134532626 0 0 4096 3 0 0 0 17 1 0 0
/proc/23519/statm: 6016 5764 77 171 0 5843 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 29420
[startup+25.5016 s]
/proc/loadavg: 1.06 1.00 1.00 2/66 23519
/proc/meminfo: memFree=1692792/2055920 swapFree=4170692/4192956
[pid=23513] ppid=23511 vsize=5356 CPUtime=0.1
/proc/23513/stat : 23513 (SatELiteGTI) S 23511 23513 22817 0 -1 4194304 336 1151 0 0 0 0 10 0 16 0 1 0 306696958 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 248761606980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23513/statm: 1339 239 197 169 0 50 0
[pid=23519] ppid=23513 vsize=38256 CPUtime=25.37
/proc/23519/stat : 23519 (minisat_static) R 23513 23513 22817 0 -1 4194304 9302 0 0 0 2529 8 0 0 25 0 1 0 306696970 39174144 9288 1992294400 134512640 135215339 4294956240 18446744073709551615 134526725 0 0 4096 3 0 0 0 17 1 0 0
/proc/23519/statm: 9564 9288 77 171 0 9391 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 43612
[startup+51.1019 s]
/proc/loadavg: 1.04 1.00 1.00 2/66 23519
/proc/meminfo: memFree=1671992/2055920 swapFree=4170692/4192956
[pid=23513] ppid=23511 vsize=5356 CPUtime=0.1
/proc/23513/stat : 23513 (SatELiteGTI) S 23511 23513 22817 0 -1 4194304 336 1151 0 0 0 0 10 0 16 0 1 0 306696958 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 248761606980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23513/statm: 1339 239 197 169 0 50 0
[pid=23519] ppid=23513 vsize=59292 CPUtime=50.95
/proc/23519/stat : 23519 (minisat_static) R 23513 23513 22817 0 -1 4194304 14529 0 0 0 5081 14 0 0 25 0 1 0 306696970 60715008 14515 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 1 0 0
/proc/23519/statm: 14823 14515 77 171 0 14650 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 64648
[startup+102.306 s]
/proc/loadavg: 1.05 1.01 1.00 2/66 23519
/proc/meminfo: memFree=1640248/2055920 swapFree=4170692/4192956
[pid=23513] ppid=23511 vsize=5356 CPUtime=0.1
/proc/23513/stat : 23513 (SatELiteGTI) S 23511 23513 22817 0 -1 4194304 336 1151 0 0 0 0 10 0 16 0 1 0 306696958 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 248761606980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23513/statm: 1339 239 197 169 0 50 0
[pid=23519] ppid=23513 vsize=90580 CPUtime=102.15
/proc/23519/stat : 23519 (minisat_static) R 23513 23513 22817 0 -1 4194304 22338 0 0 0 10191 24 0 0 25 0 1 0 306696970 92753920 22324 1992294400 134512640 135215339 4294956240 18446744073709551615 134528624 0 0 4096 3 0 0 0 17 1 0 0
/proc/23519/statm: 22645 22324 77 171 0 22472 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 95936
[startup+162.302 s]
/proc/loadavg: 1.09 1.04 1.01 2/66 23519
/proc/meminfo: memFree=1610552/2055920 swapFree=4170692/4192956
[pid=23513] ppid=23511 vsize=5356 CPUtime=0.1
/proc/23513/stat : 23513 (SatELiteGTI) S 23511 23513 22817 0 -1 4194304 336 1151 0 0 0 0 10 0 16 0 1 0 306696958 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 248761606980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23513/statm: 1339 239 197 169 0 50 0
[pid=23519] ppid=23513 vsize=120148 CPUtime=162.13
/proc/23519/stat : 23519 (minisat_static) R 23513 23513 22817 0 -1 4194304 29769 0 0 0 16180 33 0 0 25 0 1 0 306696970 123031552 29755 1992294400 134512640 135215339 4294956240 18446744073709551615 134721382 0 0 4096 3 0 0 0 17 1 0 0
/proc/23519/statm: 30037 29755 77 171 0 29864 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 125504
[startup+222.301 s]
/proc/loadavg: 1.03 1.03 1.00 2/66 23519
/proc/meminfo: memFree=1585912/2055920 swapFree=4170692/4192956
[pid=23513] ppid=23511 vsize=5356 CPUtime=0.1
/proc/23513/stat : 23513 (SatELiteGTI) S 23511 23513 22817 0 -1 4194304 336 1151 0 0 0 0 10 0 16 0 1 0 306696958 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 248761606980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23513/statm: 1339 239 197 169 0 50 0
[pid=23519] ppid=23513 vsize=144708 CPUtime=222.12
/proc/23519/stat : 23519 (minisat_static) R 23513 23513 22817 0 -1 4194304 35847 0 0 0 22170 42 0 0 25 0 1 0 306696970 148180992 35833 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/23519/statm: 36177 35833 77 171 0 36004 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 150064
[startup+282.302 s]
/proc/loadavg: 1.01 1.02 1.00 2/66 23519
/proc/meminfo: memFree=1564280/2055920 swapFree=4170692/4192956
[pid=23513] ppid=23511 vsize=5356 CPUtime=0.1
/proc/23513/stat : 23513 (SatELiteGTI) S 23511 23513 22817 0 -1 4194304 336 1151 0 0 0 0 10 0 16 0 1 0 306696958 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 248761606980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23513/statm: 1339 239 197 169 0 50 0
[pid=23519] ppid=23513 vsize=166356 CPUtime=282.1
/proc/23519/stat : 23519 (minisat_static) R 23513 23513 22817 0 -1 4194304 41298 0 0 0 28160 50 0 0 25 0 1 0 306696970 170348544 41284 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/23519/statm: 41589 41284 77 171 0 41416 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 171712
[startup+342.301 s]
/proc/loadavg: 1.00 1.01 1.00 2/66 23519
/proc/meminfo: memFree=1544248/2055920 swapFree=4170692/4192956
[pid=23513] ppid=23511 vsize=5356 CPUtime=0.1
/proc/23513/stat : 23513 (SatELiteGTI) S 23511 23513 22817 0 -1 4194304 336 1151 0 0 0 0 10 0 16 0 1 0 306696958 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 248761606980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23513/statm: 1339 239 197 169 0 50 0
[pid=23519] ppid=23513 vsize=186500 CPUtime=342.08
/proc/23519/stat : 23519 (minisat_static) R 23513 23513 22817 0 -1 4194304 46208 0 0 0 34151 57 0 0 25 0 1 0 306696970 190976000 46194 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/23519/statm: 46625 46194 77 171 0 46452 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 191856
[startup+402.302 s]
/proc/loadavg: 1.00 1.01 1.00 2/66 23519
/proc/meminfo: memFree=1532920/2055920 swapFree=4170692/4192956
[pid=23513] ppid=23511 vsize=5356 CPUtime=0.1
/proc/23513/stat : 23513 (SatELiteGTI) S 23511 23513 22817 0 -1 4194304 336 1151 0 0 0 0 10 0 16 0 1 0 306696958 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 248761606980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23513/statm: 1339 239 197 169 0 50 0
[pid=23519] ppid=23513 vsize=197456 CPUtime=402.07
/proc/23519/stat : 23519 (minisat_static) R 23513 23513 22817 0 -1 4194304 48989 0 0 0 40145 62 0 0 25 0 1 0 306696970 202194944 48975 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/23519/statm: 49364 48975 77 171 0 49191 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 202812
[startup+462.301 s]
################
# More data... #
################
/proc/23519/statm: 49958 49555 77 171 0 49785 0
Current children cumulated CPU time (s) 522.14
Current children cumulated vsize (KiB) 205188
[startup+582.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 23519
/proc/meminfo: memFree=1527224/2055920 swapFree=4170692/4192956
[pid=23513] ppid=23511 vsize=5356 CPUtime=0.1
/proc/23513/stat : 23513 (SatELiteGTI) S 23511 23513 22817 0 -1 4194304 336 1151 0 0 0 0 10 0 16 0 1 0 306696958 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 248761606980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23513/statm: 1339 239 197 169 0 50 0
[pid=23519] ppid=23513 vsize=203000 CPUtime=582.03
/proc/23519/stat : 23519 (minisat_static) R 23513 23513 22817 0 -1 4194304 50373 0 0 0 58137 66 0 0 25 0 1 0 306696970 207872000 50359 1992294400 134512640 135215339 4294956240 18446744073709551615 134528863 0 0 4096 3 0 0 0 17 1 0 0
/proc/23519/statm: 50750 50359 77 171 0 50577 0
Current children cumulated CPU time (s) 582.13
Current children cumulated vsize (KiB) 208356
[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 23519
/proc/meminfo: memFree=1519032/2055920 swapFree=4170692/4192956
[pid=23513] ppid=23511 vsize=5356 CPUtime=0.1
/proc/23513/stat : 23513 (SatELiteGTI) S 23511 23513 22817 0 -1 4194304 336 1151 0 0 0 0 10 0 16 0 1 0 306696958 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 248761606980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23513/statm: 1339 239 197 169 0 50 0
[pid=23519] ppid=23513 vsize=210920 CPUtime=642.02
/proc/23519/stat : 23519 (minisat_static) R 23513 23513 22817 0 -1 4194304 52364 0 0 0 64133 69 0 0 25 0 1 0 306696970 215982080 52350 1992294400 134512640 135215339 4294956240 18446744073709551615 134528734 0 0 4096 3 0 0 0 17 1 0 0
/proc/23519/statm: 52730 52350 77 171 0 52557 0
Current children cumulated CPU time (s) 642.12
Current children cumulated vsize (KiB) 216276
[startup+702.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 23521
/proc/meminfo: memFree=1517944/2055920 swapFree=4170692/4192956
[pid=23513] ppid=23511 vsize=5356 CPUtime=0.1
/proc/23513/stat : 23513 (SatELiteGTI) S 23511 23513 22817 0 -1 4194304 336 1151 0 0 0 0 10 0 16 0 1 0 306696958 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 248761606980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23513/statm: 1339 239 197 169 0 50 0
[pid=23519] ppid=23513 vsize=211580 CPUtime=702
/proc/23519/stat : 23519 (minisat_static) R 23513 23513 22817 0 -1 4194304 52533 0 0 0 70131 69 0 0 25 0 1 0 306696970 216657920 52519 1992294400 134512640 135215339 4294956240 18446744073709551615 134528849 0 0 4096 3 0 0 0 17 1 0 0
/proc/23519/statm: 52895 52519 77 171 0 52722 0
Current children cumulated CPU time (s) 702.1
Current children cumulated vsize (KiB) 216936
[startup+762.305 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 23521
/proc/meminfo: memFree=1516664/2055920 swapFree=4170692/4192956
[pid=23513] ppid=23511 vsize=5356 CPUtime=0.1
/proc/23513/stat : 23513 (SatELiteGTI) S 23511 23513 22817 0 -1 4194304 336 1151 0 0 0 0 10 0 16 0 1 0 306696958 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 248761606980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23513/statm: 1339 239 197 169 0 50 0
[pid=23519] ppid=23513 vsize=212900 CPUtime=761.99
/proc/23519/stat : 23519 (minisat_static) R 23513 23513 22817 0 -1 4194304 52868 0 0 0 76129 70 0 0 25 0 1 0 306696970 218009600 52854 1992294400 134512640 135215339 4294956240 18446744073709551615 134528849 0 0 4096 3 0 0 0 17 1 0 0
/proc/23519/statm: 53225 52854 77 171 0 53052 0
Current children cumulated CPU time (s) 762.09
Current children cumulated vsize (KiB) 218256
[startup+822.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 23521
/proc/meminfo: memFree=1508984/2055920 swapFree=4170692/4192956
[pid=23513] ppid=23511 vsize=5356 CPUtime=0.1
/proc/23513/stat : 23513 (SatELiteGTI) S 23511 23513 22817 0 -1 4194304 336 1151 0 0 0 0 10 0 16 0 1 0 306696958 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 248761606980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23513/statm: 1339 239 197 169 0 50 0
[pid=23519] ppid=23513 vsize=220556 CPUtime=821.97
/proc/23519/stat : 23519 (minisat_static) R 23513 23513 22817 0 -1 4194304 54770 0 0 0 82124 73 0 0 25 0 1 0 306696970 225849344 54756 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/23519/statm: 55139 54756 77 171 0 54966 0
Current children cumulated CPU time (s) 822.07
Current children cumulated vsize (KiB) 225912
[startup+882.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 23521
/proc/meminfo: memFree=1508984/2055920 swapFree=4170692/4192956
[pid=23513] ppid=23511 vsize=5356 CPUtime=0.1
/proc/23513/stat : 23513 (SatELiteGTI) S 23511 23513 22817 0 -1 4194304 336 1151 0 0 0 0 10 0 16 0 1 0 306696958 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 248761606980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23513/statm: 1339 239 197 169 0 50 0
[pid=23519] ppid=23513 vsize=220556 CPUtime=881.95
/proc/23519/stat : 23519 (minisat_static) R 23513 23513 22817 0 -1 4194304 54770 0 0 0 88121 74 0 0 25 0 1 0 306696970 225849344 54756 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/23519/statm: 55139 54756 77 171 0 54966 0
Current children cumulated CPU time (s) 882.05
Current children cumulated vsize (KiB) 225912
[startup+942.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 23521
/proc/meminfo: memFree=1508920/2055920 swapFree=4170692/4192956
[pid=23513] ppid=23511 vsize=5356 CPUtime=0.1
/proc/23513/stat : 23513 (SatELiteGTI) S 23511 23513 22817 0 -1 4194304 336 1151 0 0 0 0 10 0 16 0 1 0 306696958 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 248761606980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23513/statm: 1339 239 197 169 0 50 0
[pid=23519] ppid=23513 vsize=220556 CPUtime=941.94
/proc/23519/stat : 23519 (minisat_static) R 23513 23513 22817 0 -1 4194304 54770 0 0 0 94119 75 0 0 25 0 1 0 306696970 225849344 54756 1992294400 134512640 135215339 4294956240 18446744073709551615 134528721 0 0 4096 3 0 0 0 17 1 0 0
/proc/23519/statm: 55139 54756 77 171 0 54966 0
Current children cumulated CPU time (s) 942.04
Current children cumulated vsize (KiB) 225912
[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 23521
/proc/meminfo: memFree=1507320/2055920 swapFree=4170692/4192956
[pid=23513] ppid=23511 vsize=5356 CPUtime=0.1
/proc/23513/stat : 23513 (SatELiteGTI) S 23511 23513 22817 0 -1 4194304 336 1151 0 0 0 0 10 0 16 0 1 0 306696958 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 248761606980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23513/statm: 1339 239 197 169 0 50 0
[pid=23519] ppid=23513 vsize=222140 CPUtime=1001.92
/proc/23519/stat : 23519 (minisat_static) R 23513 23513 22817 0 -1 4194304 55171 0 0 0 100117 75 0 0 25 0 1 0 306696970 227471360 55157 1992294400 134512640 135215339 4294956240 18446744073709551615 134528734 0 0 4096 3 0 0 0 17 1 0 0
/proc/23519/statm: 55535 55157 77 171 0 55362 0
Current children cumulated CPU time (s) 1002.02
Current children cumulated vsize (KiB) 227496
[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 23521
/proc/meminfo: memFree=1499768/2055920 swapFree=4170692/4192956
[pid=23513] ppid=23511 vsize=5356 CPUtime=0.1
/proc/23513/stat : 23513 (SatELiteGTI) S 23511 23513 22817 0 -1 4194304 336 1151 0 0 0 0 10 0 16 0 1 0 306696958 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 248761606980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23513/statm: 1339 239 197 169 0 50 0
[pid=23519] ppid=23513 vsize=229532 CPUtime=1061.91
/proc/23519/stat : 23519 (minisat_static) R 23513 23513 22817 0 -1 4194304 57007 0 0 0 106113 78 0 0 25 0 1 0 306696970 235040768 56993 1992294400 134512640 135215339 4294956240 18446744073709551615 134528782 0 0 4096 3 0 0 0 17 1 0 0
/proc/23519/statm: 57383 56993 77 171 0 57210 0
Current children cumulated CPU time (s) 1062.01
Current children cumulated vsize (KiB) 234888
[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 23521
/proc/meminfo: memFree=1499640/2055920 swapFree=4170692/4192956
[pid=23513] ppid=23511 vsize=5356 CPUtime=0.1
/proc/23513/stat : 23513 (SatELiteGTI) S 23511 23513 22817 0 -1 4194304 336 1151 0 0 0 0 10 0 16 0 1 0 306696958 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 248761606980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23513/statm: 1339 239 197 169 0 50 0
[pid=23519] ppid=23513 vsize=229532 CPUtime=1121.9
/proc/23519/stat : 23519 (minisat_static) R 23513 23513 22817 0 -1 4194304 57007 0 0 0 112112 78 0 0 25 0 1 0 306696970 235040768 56993 1992294400 134512640 135215339 4294956240 18446744073709551615 134528863 0 0 4096 3 0 0 0 17 1 0 0
/proc/23519/statm: 57383 56993 77 171 0 57210 0
Current children cumulated CPU time (s) 1122
Current children cumulated vsize (KiB) 234888
[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 23521
/proc/meminfo: memFree=1499576/2055920 swapFree=4170692/4192956
[pid=23513] ppid=23511 vsize=5356 CPUtime=0.1
/proc/23513/stat : 23513 (SatELiteGTI) S 23511 23513 22817 0 -1 4194304 336 1151 0 0 0 0 10 0 16 0 1 0 306696958 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 248761606980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23513/statm: 1339 239 197 169 0 50 0
[pid=23519] ppid=23513 vsize=229532 CPUtime=1181.88
/proc/23519/stat : 23519 (minisat_static) R 23513 23513 22817 0 -1 4194304 57007 0 0 0 118110 78 0 0 25 0 1 0 306696970 235040768 56993 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/23519/statm: 57383 56993 77 171 0 57210 0
Current children cumulated CPU time (s) 1181.98
Current children cumulated vsize (KiB) 234888
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1200.4 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 23521
/proc/meminfo: memFree=1499576/2055920 swapFree=4170692/4192956
[pid=23513] ppid=23511 vsize=5356 CPUtime=0.1
/proc/23513/stat : 23513 (SatELiteGTI) S 23511 23513 22817 0 -1 4194304 336 1151 0 0 0 0 10 0 16 0 1 0 306696958 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 248761606980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23513/statm: 1339 239 197 169 0 50 0
[pid=23519] ppid=23513 vsize=229532 CPUtime=1199.98
/proc/23519/stat : 23519 (minisat_static) R 23513 23513 22817 0 -1 4194304 57007 0 0 0 119919 79 0 0 25 0 1 0 306696970 235040768 56993 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/23519/statm: 57383 56993 77 171 0 57210 0
Current children cumulated CPU time (s) 1200.08
Current children cumulated vsize (KiB) 234888
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 23513 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=107983
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=4999
# CPU time returned by wait4() is 0.112982
# while last known CPU time is 1200.08
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1200.41
CPU time (s): 1200.08
CPU user time (s): 1199.29
CPU system time (s): 0.79
CPU usage (%): 99.9723
Max. virtual memory (cumulated for all children) (KiB): 234888
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.107983
system time used= 0.004999
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1487
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= 9
involuntary context switches= 5
runsolver used 1.44178 second user time and 3.00654 second system time
The end
Begin job on node55 at 2009-05-20 04:31:36
IDJOB=1832715
IDBENCH=70321
IDSOLVER=671
FILE ID=node55/1832715-1242786696
PBS_JOBID= 9322337
Free space on /tmp= 66256 MiB
SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT09/RANDOM/LARGE/3SAT/UNKNOWN/6000/unif-k3-r4.2-v6000-c25200-S1490060417-003.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1832715-1242786696/watcher-1832715-1242786696 -o /tmp/evaluation-result-1832715-1242786696/solver-1832715-1242786696 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1832715-1242786696.cnf
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 5d2224f3d8577481fb818d6a750d12f6
RANDOM SEED=370594028
node55.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.240
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.240
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5586.94
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1730984 kB
Buffers: 28152 kB
Cached: 237076 kB
SwapCached: 16496 kB
Active: 100656 kB
Inactive: 182548 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1730984 kB
SwapTotal: 4192956 kB
SwapFree: 4170692 kB
Dirty: 2020 kB
Writeback: 0 kB
Mapped: 15624 kB
Slab: 27792 kB
Committed_AS: 929372 kB
PageTables: 1368 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= 66252 MiB
End job on node55 at 2009-05-20 04:51:38