0.00/0.00 c Parsing...
0.00/0.02 c ==============================================================================
0.00/0.02 c | | ORIGINAL | LEARNT | |
0.00/0.02 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress |
0.00/0.02 c ==============================================================================
0.00/0.02 c | 0 | 25200 75600 | 7559 0 0 nan | 0.000 % |
0.00/0.08 c | 0 | 25009 76042 | -- 0 -- -- | -- | -191/442
0.00/0.08 c ==============================================================================
0.00/0.08 c Result : #vars: 5839 #clauses: 25009 #literals: 76042
0.00/0.08 c CPU time: 0.075988 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: 5839 |
0.00/0.11 c | Number of clauses: 25009 |
0.00/0.12 c | Parsing time: 0.02 s |
0.00/0.12 c ============================[ Search Statistics ]==============================
0.00/0.12 c | Conflicts | ORIGINAL | LEARNT | Progress |
0.00/0.12 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
0.00/0.13 c ===============================================================================
0.00/0.13 c | 0 | 5839 25009 76042 | 8336 0 nan | 0.000 % |
0.00/0.14 c | 100 | 5839 25009 76042 | 8336 100 92 | 0.000 % |
0.00/0.16 c | 201 | 5839 25009 76042 | 8336 201 97 | 0.000 % |
0.00/0.18 c | 301 | 5839 25009 76042 | 8336 301 106 | 0.000 % |
0.00/0.20 c | 411 | 5839 25009 76042 | 8336 411 106 | 0.000 % |
0.09/0.21 c | 511 | 5839 25009 76042 | 8336 511 113 | 0.000 % |
0.09/0.23 c | 621 | 5839 25009 76042 | 8336 621 110 | 0.000 % |
0.09/0.25 c | 743 | 5839 25009 76042 | 8336 743 113 | 0.000 % |
0.09/0.27 c | 845 | 5839 25009 76042 | 8336 845 113 | 0.000 % |
0.09/0.29 c | 956 | 5839 25009 76042 | 8336 956 114 | 0.000 % |
0.09/0.31 c | 1077 | 5839 25009 76042 | 8336 1077 114 | 0.000 % |
0.09/0.33 c | 1210 | 5839 25009 76042 | 8336 1210 112 | 0.000 % |
0.09/0.35 c | 1313 | 5839 25009 76042 | 8336 1313 113 | 0.000 % |
0.09/0.37 c | 1423 | 5839 25009 76042 | 8336 1423 112 | 0.000 % |
0.09/0.39 c | 1544 | 5839 25009 76042 | 8336 1544 112 | 0.000 % |
0.09/0.42 c | 1680 | 5839 25009 76042 | 8336 1680 111 | 0.000 % |
0.09/0.44 c | 1827 | 5839 25009 76042 | 8336 1827 110 | 0.000 % |
0.09/0.46 c | 1927 | 5839 25009 76042 | 8336 1927 110 | 0.000 % |
0.09/0.48 c | 2038 | 5839 25009 76042 | 8336 2038 109 | 0.000 % |
0.09/0.50 c | 2159 | 5839 25009 76042 | 8336 2159 109 | 0.000 % |
0.09/0.52 c | 2295 | 5839 25009 76042 | 8336 2295 109 | 0.000 % |
0.09/0.55 c | 2441 | 5839 25009 76042 | 8336 2441 111 | 0.000 % |
0.09/0.58 c | 2603 | 5839 25009 76042 | 8336 2603 111 | 0.000 % |
0.09/0.59 c | 2703 | 5839 25009 76042 | 8336 2703 112 | 0.000 % |
0.09/0.61 c | 2813 | 5839 25009 76042 | 8336 2813 113 | 0.000 % |
0.09/0.64 c | 2934 | 5839 25009 76042 | 8336 2934 113 | 0.000 % |
0.09/0.66 c | 3067 | 5839 25009 76042 | 8336 3067 114 | 0.000 % |
0.09/0.68 c | 3214 | 5839 25009 76042 | 8336 3214 114 | 0.000 % |
0.09/0.71 c | 3374 | 5839 25009 76042 | 8336 3374 115 | 0.000 % |
0.09/0.75 c | 3550 | 5839 25009 76042 | 8336 3550 115 | 0.000 % |
0.09/0.77 c | 3650 | 5839 25009 76042 | 8336 3650 114 | 0.000 % |
0.09/0.79 c | 3760 | 5839 25009 76042 | 8336 3760 114 | 0.000 % |
0.09/0.81 c | 3884 | 5839 25009 76042 | 8336 3884 113 | 0.000 % |
0.09/0.83 c | 4018 | 5839 25009 76042 | 8336 4018 114 | 0.000 % |
0.09/0.86 c | 4164 | 5839 25009 76042 | 8336 4164 114 | 0.000 % |
0.09/0.90 c | 4325 | 5839 25009 76042 | 8336 4325 115 | 0.000 % |
0.09/0.93 c | 4502 | 5839 25009 76042 | 8336 4502 115 | 0.000 % |
0.09/0.97 c | 4696 | 5839 25009 76042 | 8336 4696 115 | 0.000 % |
0.09/0.99 c | 4797 | 5839 25009 76042 | 8336 4797 115 | 0.000 % |
0.97/1.01 c | 4907 | 5839 25009 76042 | 8336 4907 115 | 0.000 % |
0.97/1.03 c | 5029 | 5839 25009 76042 | 8336 5029 115 | 0.000 % |
0.97/1.06 c | 5162 | 5839 25009 76042 | 8336 5162 115 | 0.000 % |
0.97/1.09 c | 5309 | 5839 25009 76042 | 8336 5309 115 | 0.000 % |
1.07/1.12 c | 5471 | 5839 25009 76042 | 8336 5471 115 | 0.000 % |
1.07/1.16 c | 5649 | 5839 25009 76042 | 8336 5649 116 | 0.000 % |
1.07/1.19 c | 5844 | 5839 25009 76042 | 8336 5844 116 | 0.000 % |
1.17/1.23 c | 6056 | 5839 25009 76042 | 8336 6056 116 | 0.000 % |
1.17/1.26 c | 6156 | 5839 25009 76042 | 8336 6156 116 | 0.000 % |
1.17/1.28 c | 6266 | 5839 25009 76042 | 8336 6266 116 | 0.000 % |
1.27/1.30 c | 6389 | 5839 25009 76042 | 8336 6389 115 | 0.000 % |
1.27/1.33 c | 6523 | 5839 25009 76042 | 8336 6523 116 | 0.000 % |
1.27/1.36 c | 6669 | 5839 25009 76042 | 8336 6669 115 | 0.000 % |
1.27/1.39 c | 6829 | 5839 25009 76042 | 8336 6829 116 | 0.000 % |
1.37/1.43 c | 7006 | 5839 25009 76042 | 8336 7006 116 | 0.000 % |
1.37/1.47 c | 7200 | 5839 25009 76042 | 8336 7200 117 | 0.000 % |
1.47/1.51 c | 7413 | 5839 25009 76042 | 8336 7413 117 | 0.000 % |
1.47/1.56 c | 7647 | 5839 25009 76042 | 8336 7647 117 | 0.000 % |
1.47/1.58 c | 7747 | 5839 25009 76042 | 8336 7747 116 | 0.000 % |
1.57/1.60 c | 7857 | 5839 25009 76042 | 8336 7857 116 | 0.000 % |
1.57/1.63 c | 7978 | 5839 25009 76042 | 8336 7978 116 | 0.000 % |
1.57/1.66 c | 8116 | 5839 25009 76042 | 8336 8116 117 | 0.000 % |
1.57/1.69 c | 8262 | 5839 25009 76042 | 8336 8262 117 | 0.000 % |
1.67/1.73 c | 8424 | 5839 25009 76042 | 8336 8424 117 | 0.000 % |
1.67/1.77 c | 8604 | 5839 25009 76042 | 8336 7762 116 | 0.000 % |
1.77/1.81 c | 8797 | 5839 25009 76042 | 8336 7955 116 | 0.000 % |
1.77/1.85 c | 9009 | 5839 25009 76042 | 8336 8167 116 | 0.000 % |
1.87/1.90 c | 9243 | 5839 25009 76042 | 8336 8401 116 | 0.000 % |
1.87/1.96 c | 9499 | 5839 25009 76042 | 8336 7817 118 | 0.000 % |
1.87/1.98 c | 9599 | 5839 25009 76042 | 8336 7917 117 | 0.000 % |
1.97/2.00 c | 9710 | 5839 25009 76042 | 8336 8028 117 | 0.000 % |
1.97/2.03 c | 9831 | 5839 25009 76042 | 8336 8149 117 | 0.000 % |
1.97/2.06 c | 9966 | 5839 25009 76042 | 8336 8284 117 | 0.000 % |
1.97/2.09 c | 10112 | 5839 25009 76042 | 2147483647 8430 116 | 0.000 % |
2.07/2.12 c | 10272 | 5839 25009 76042 | 2147483647 8590 116 | 0.000 % |
2.07/2.16 c | 10450 | 5839 25009 76042 | 2147483647 8768 116 | 0.000 % |
2.07/2.20 c | 10643 | 5839 25009 76042 | 2147483647 8961 116 | 0.000 % |
2.17/2.25 c | 10855 | 5839 25009 76042 | 2147483647 9173 116 | 0.000 % |
2.26/2.30 c | 11088 | 5839 25009 76042 | 2147483647 9406 117 | 0.000 % |
2.26/2.36 c | 11346 | 5839 25009 76042 | 2147483647 9664 117 | 0.000 % |
2.36/2.42 c | 11629 | 5839 25009 76042 | 2147483647 9947 117 | 0.000 % |
2.36/2.44 c | 11731 | 5839 25009 76042 | 2147483647 10049 117 | 0.000 % |
2.36/2.47 c | 11841 | 5839 25009 76042 | 2147483647 10159 117 | 0.000 % |
2.36/2.49 c | 11962 | 5839 25009 76042 | 2147483647 10280 117 | 0.000 % |
2.46/2.52 c | 12095 | 5839 25009 76042 | 2147483647 10413 117 | 0.000 % |
2.46/2.56 c | 12243 | 5839 25009 76042 | 2147483647 10561 117 | 0.000 % |
2.46/2.59 c | 12403 | 5839 25009 76042 | 2147483647 10721 117 | 0.000 % |
2.56/2.64 c | 12580 | 5839 25009 76042 | 2147483647 10898 117 | 0.000 % |
2.56/2.68 c | 12774 | 5839 25009 76042 | 2147483647 11092 117 | 0.000 % |
2.66/2.74 c | 12987 | 5839 25009 76042 | 2147483647 11305 118 | 0.000 % |
2.66/2.80 c | 13221 | 5839 25009 76042 | 2147483647 11539 118 | 0.000 % |
2.76/2.86 c | 13477 | 5839 25009 76042 | 2147483647 11795 118 | 0.000 % |
2.86/2.92 c | 13758 | 5839 25009 76042 | 2147483647 12076 118 | 0.000 % |
2.96/3.00 c | 14067 | 5839 25009 76042 | 2147483647 12385 118 | 0.000 % |
2.96/3.03 c | 14168 | 5839 25009 76042 | 2147483647 12486 118 | 0.000 % |
2.96/3.06 c | 14278 | 5839 25009 76042 | 2147483647 12596 118 | 0.000 % |
2.96/3.08 c | 14400 | 5839 25009 76042 | 2147483647 12718 118 | 0.000 % |
3.07/3.11 c | 14533 | 5839 25009 76042 | 2147483647 12851 118 | 0.000 % |
3.07/3.15 c | 14679 | 5839 25009 76042 | 2147483647 12997 117 | 0.000 % |
3.07/3.19 c | 14839 | 5839 25009 76042 | 2147483647 13157 117 | 0.000 % |
3.17/3.24 c | 15016 | 5839 25009 76042 | 2147483647 13334 117 | 0.000 % |
3.17/3.29 c | 15212 | 5839 25009 76042 | 2147483647 13530 117 | 0.000 % |
3.27/3.35 c | 15424 | 5839 25009 76042 | 2147483647 13742 118 | 0.000 % |
3.36/3.41 c | 15658 | 5839 25009 76042 | 2147483647 13976 118 | 0.000 % |
3.36/3.47 c | 15915 | 5839 25009 76042 | 2147483647 14233 118 | 0.000 % |
3.46/3.54 c | 16196 | 5839 25009 76042 | 2147483647 14514 117 | 0.000 % |
3.56/3.62 c | 16505 | 5839 25009 76042 | 2147483647 14823 118 | 0.000 % |
3.66/3.71 c | 16844 | 5839 25009 76042 | 2147483647 15162 118 | 0.000 % |
3.66/3.73 c | 16944 | 5839 25009 76042 | 2147483647 15262 118 | 0.000 % |
3.66/3.76 c | 17054 | 5839 25009 76042 | 2147483647 15372 118 | 0.000 % |
3.76/3.80 c | 17176 | 5839 25009 76042 | 2147483647 15494 118 | 0.000 % |
3.76/3.84 c | 17311 | 5839 25009 76042 | 2147483647 15629 118 | 0.000 % |
3.76/3.88 c | 17457 | 5839 25009 76042 | 2147483647 15775 118 | 0.000 % |
3.86/3.92 c | 17617 | 5839 25009 76042 | 2147483647 15935 118 | 0.000 % |
3.86/3.97 c | 17793 | 5839 25009 76042 | 2147483647 16111 118 | 0.000 % |
3.96/4.02 c | 17986 | 5839 25009 76042 | 2147483647 16304 118 | 0.000 % |
3.96/4.08 c | 18198 | 5839 25009 76042 | 2147483647 16516 118 | 0.000 % |
4.06/4.14 c | 18431 | 5839 25009 76042 | 2147483647 16749 119 | 0.000 % |
4.15/4.21 c | 18688 | 5839 25009 76042 | 2147483647 17006 119 | 0.000 % |
4.15/4.29 c | 18969 | 5839 25009 76042 | 2147483647 17287 119 | 0.000 % |
4.26/4.37 c | 19279 | 5839 25009 76042 | 2147483647 17597 119 | 0.000 % |
4.36/4.46 c | 19619 | 5839 25009 76042 | 2147483647 17937 119 | 0.000 % |
4.45/4.57 c | 19991 | 5839 25009 76042 | 2147483647 18309 120 | 0.000 % |
4.56/4.60 c | 20093 | 5839 25009 76042 | 2147483647 18411 120 | 0.000 % |
4.56/4.64 c | 20203 | 5839 25009 76042 | 2147483647 18521 120 | 0.000 % |
4.56/4.68 c | 20325 | 5839 25009 76042 | 2147483647 18643 120 | 0.000 % |
4.66/4.71 c | 20461 | 5839 25009 76042 | 2147483647 18779 120 | 0.000 % |
4.66/4.75 c | 20607 | 5839 25009 76042 | 2147483647 18925 120 | 0.000 % |
4.76/4.80 c | 20767 | 5839 25009 76042 | 2147483647 19085 120 | 0.000 % |
4.76/4.85 c | 20948 | 5839 25009 76042 | 2147483647 19266 120 | 0.000 % |
4.85/4.90 c | 21141 | 5839 25009 76042 | 2147483647 19459 120 | 0.000 % |
4.85/4.96 c | 21354 | 5839 25009 76042 | 2147483647 19672 120 | 0.000 % |
4.95/5.03 c | 21588 | 5839 25009 76042 | 2147483647 19906 120 | 0.000 % |
5.05/5.11 c | 21849 | 5839 25009 76042 | 2147483647 20167 120 | 0.000 % |
5.15/5.20 c | 22133 | 5839 25009 76042 | 2147483647 20451 120 | 0.000 % |
5.15/5.29 c | 22444 | 5839 25009 76042 | 2147483647 20762 120 | 0.000 % |
5.25/5.39 c | 22783 | 5839 25009 76042 | 2147483647 21101 121 | 0.000 % |
5.36/5.49 c | 23155 | 5839 25009 76042 | 2147483647 21473 121 | 0.000 % |
5.55/5.62 c | 23565 | 5839 25009 76042 | 2147483647 21883 121 | 0.000 % |
5.55/5.65 c | 23665 | 5839 25009 76042 | 2147483647 21983 121 | 0.000 % |
5.55/5.69 c | 23779 | 5839 25009 76042 | 2147483647 22097 121 | 0.000 % |
5.65/5.73 c | 23900 | 5839 25009 76042 | 2147483647 22218 121 | 0.000 % |
5.65/5.77 c | 24034 | 5839 25009 76042 | 2147483647 22352 121 | 0.000 % |
5.75/5.82 c | 24182 | 5839 25009 76042 | 2147483647 22500 121 | 0.000 % |
5.75/5.87 c | 24343 | 5839 25009 76042 | 2147483647 22661 121 | 0.000 % |
5.85/5.93 c | 24519 | 5839 25009 76042 | 2147483647 22837 121 | 0.000 % |
5.85/5.99 c | 24712 | 5839 25009 76042 | 2147483647 23030 121 | 0.000 % |
5.95/6.06 c | 24925 | 5839 25009 76042 | 2147483647 23243 121 | 0.000 % |
6.05/6.14 c | 25158 | 5839 25009 76042 | 2147483647 23476 121 | 0.000 % |
6.15/6.22 c | 25415 | 5839 25009 76042 | 2147483647 23733 121 | 0.000 % |
6.25/6.31 c | 25696 | 5839 25009 76042 | 2147483647 24014 121 | 0.000 % |
6.36/6.42 c | 26006 | 5839 25009 76042 | 2147483647 24324 122 | 0.000 % |
6.46/6.53 c | 26345 | 5839 25009 76042 | 2147483647 24663 122 | 0.000 % |
6.56/6.65 c | 26717 | 5839 25009 76042 | 2147483647 25035 122 | 0.000 % |
6.66/6.78 c | 27126 | 5839 25009 76042 | 2147483647 25444 122 | 0.000 % |
6.86/6.92 c | 27575 | 5839 25009 76042 | 2147483647 25893 122 | 0.000 % |
6.86/6.96 c | 27676 | 5839 25009 76042 | 2147483647 25994 122 | 0.000 % |
6.95/7.00 c | 27787 | 5839 25009 76042 | 2147483647 26105 122 | 0.000 % |
6.95/7.04 c | 27908 | 5839 25009 76042 | 2147483647 26226 122 | 0.000 % |
6.95/7.08 c | 28042 | 5839 25009 76042 | 2147483647 26360 122 | 0.000 % |
7.05/7.13 c | 28189 | 5839 25009 76042 | 2147483647 26507 122 | 0.000 % |
7.05/7.19 c | 28350 | 5839 25009 76042 | 2147483647 26668 122 | 0.000 % |
7.15/7.24 c | 28526 | 5839 25009 76042 | 2147483647 26844 122 | 0.000 % |
7.25/7.31 c | 28719 | 5839 25009 76042 | 2147483647 27037 122 | 0.000 % |
7.25/7.39 c | 28931 | 5839 25009 76042 | 2147483647 27249 122 | 0.000 % |
7.35/7.47 c | 29164 | 5839 25009 76042 | 2147483647 27482 122 | 0.000 % |
7.45/7.55 c | 29424 | 5839 25009 76042 | 2147483647 27742 122 | 0.000 % |
7.56/7.64 c | 29706 | 5839 25009 76042 | 2147483647 28024 122 | 0.000 % |
7.66/7.74 c | 30015 | 5839 25009 76042 | 2147483647 28333 122 | 0.000 % |
7.75/7.86 c | 30356 | 5839 25009 76042 | 2147483647 28674 122 | 0.000 % |
7.85/7.99 c | 30729 | 5839 25009 76042 | 2147483647 29047 123 | 0.000 % |
8.05/8.14 c | 31138 | 5839 25009 76042 | 2147483647 29456 123 | 0.000 % |
8.15/8.29 c | 31587 | 5839 25009 76042 | 2147483647 29905 123 | 0.000 % |
8.35/8.46 c | 32080 | 5839 25009 76042 | 2147483647 30398 123 | 0.000 % |
8.45/8.50 c | 32181 | 5839 25009 76042 | 2147483647 30499 123 | 0.000 % |
8.45/8.55 c | 32293 | 5839 25009 76042 | 2147483647 30611 123 | 0.000 % |
8.55/8.60 c | 32415 | 5839 25009 76042 | 2147483647 30733 123 | 0.000 % |
8.55/8.65 c | 32549 | 5839 25009 76042 | 2147483647 30867 123 | 0.000 % |
8.65/8.71 c | 32697 | 5839 25009 76042 | 2147483647 31015 123 | 0.000 % |
8.65/8.77 c | 32858 | 5839 25009 76042 | 2147483647 31176 123 | 0.000 % |
8.75/8.84 c | 33035 | 5839 25009 76042 | 2147483647 31353 123 | 0.000 % |
8.85/8.92 c | 33229 | 5839 25009 76042 | 2147483647 31547 123 | 0.000 % |
8.95/9.01 c | 33443 | 5839 25009 76042 | 2147483647 31761 123 | 0.000 % |
9.05/9.10 c | 33676 | 5839 25009 76042 | 2147483647 31994 123 | 0.000 % |
9.15/9.20 c | 33933 | 5839 25009 76042 | 2147483647 32251 123 | 0.000 % |
9.25/9.30 c | 34215 | 5839 25009 76042 | 2147483647 32533 123 | 0.000 % |
9.35/9.42 c | 34524 | 5839 25009 76042 | 2147483647 32842 123 | 0.000 % |
9.45/9.56 c | 34864 | 5839 25009 76042 | 2147483647 33182 123 | 0.000 % |
9.65/9.70 c | 35236 | 5839 25009 76042 | 2147483647 33554 123 | 0.000 % |
9.75/9.86 c | 35646 | 5839 25009 76042 | 2147483647 33964 123 | 0.000 % |
9.95/10.02 c | 36095 | 5839 25009 76042 | 2147483647 34413 123 | 0.000 % |
10.15/10.21 c | 36589 | 5839 25009 76042 | 2147483647 34907 123 | 0.000 % |
10.35/10.42 c | 37132 | 5839 25009 76042 | 2147483647 35450 124 | 0.000 % |
10.35/10.46 c | 37233 | 5839 25009 76042 | 2147483647 35551 124 | 0.000 % |
10.45/10.51 c | 37344 | 5839 25009 76042 | 2147483647 35662 124 | 0.000 % |
10.45/10.56 c | 37468 | 5839 25009 76042 | 2147483647 35786 124 | 0.000 % |
10.55/10.62 c | 37601 | 5839 25009 76042 | 2147483647 35919 124 | 0.000 % |
10.55/10.68 c | 37748 | 5839 25009 76042 | 2147483647 36066 124 | 0.000 % |
10.65/10.75 c | 37910 | 5839 25009 76042 | 2147483647 36228 124 | 0.000 % |
10.75/10.82 c | 38086 | 5839 25009 76042 | 2147483647 36404 124 | 0.000 % |
10.86/10.90 c | 38279 | 5839 25009 76042 | 2147483647 36597 124 | 0.000 % |
10.86/10.99 c | 38494 | 5839 25009 76042 | 2147483647 36812 124 | 0.000 % |
10.96/11.09 c | 38727 | 5839 25009 76042 | 2147483647 37045 124 | 0.000 % |
11.05/11.19 c | 38983 | 5839 25009 76042 | 2147483647 37301 124 | 0.000 % |
11.25/11.31 c | 39264 | 5839 25009 76042 | 2147483647 37582 124 | 0.000 % |
11.35/11.43 c | 39573 | 5839 25009 76042 | 2147483647 37891 124 | 0.000 % |
11.45/11.56 c | 39913 | 5839 25009 76042 | 2147483647 38231 124 | 0.000 % |
11.65/11.72 c | 40285 | 5839 25009 76042 | 2147483647 38603 124 | 0.000 % |
11.85/11.90 c | 40695 | 5839 25009 76042 | 2147483647 39013 125 | 0.000 % |
11.96/12.07 c | 41144 | 5839 25009 76042 | 2147483647 39462 125 | 0.000 % |
12.15/12.26 c | 41638 | 5839 25009 76042 | 2147483647 39956 125 | 0.000 % |
12.35/12.48 c | 42180 | 5839 25009 76042 | 2147483647 40498 125 | 0.000 % |
12.65/12.74 c | 42778 | 5839 25009 76042 | 2147483647 41096 125 | 0.000 % |
12.65/12.78 c | 42880 | 5839 25009 76042 | 2147483647 41198 125 | 0.000 % |
12.75/12.83 c | 42990 | 5839 25009 76042 | 2147483647 41308 125 | 0.000 % |
12.75/12.88 c | 43112 | 5839 25009 76042 | 2147483647 41430 125 | 0.000 % |
12.85/12.94 c | 43246 | 5839 25009 76042 | 2147483647 41564 125 | 0.000 % |
12.95/13.00 c | 43392 | 5839 25009 76042 | 2147483647 41710 125 | 0.000 % |
12.95/13.07 c | 43552 | 5839 25009 76042 | 2147483647 41870 125 | 0.000 % |
13.06/13.15 c | 43728 | 5839 25009 76042 | 2147483647 42046 125 | 0.000 % |
13.15/13.24 c | 43921 | 5839 25009 76042 | 2147483647 42239 125 | 0.000 % |
13.25/13.34 c | 44134 | 5839 25009 76042 | 2147483647 42452 125 | 0.000 % |
13.35/13.45 c | 44368 | 5839 25009 76042 | 2147483647 42686 125 | 0.000 % |
13.45/13.58 c | 44624 | 5839 25009 76042 | 2147483647 42942 125 | 0.000 % |
13.65/13.70 c | 44906 | 5839 25009 76042 | 2147483647 43224 125 | 0.000 % |
13.75/13.85 c | 45215 | 5839 25009 76042 | 2147483647 43533 125 | 0.000 % |
13.85/13.99 c | 45554 | 5839 25009 76042 | 2147483647 43872 125 | 0.000 % |
14.05/14.16 c | 45926 | 5839 25009 76042 | 2147483647 44244 125 | 0.000 % |
14.26/14.34 c | 46335 | 5839 25009 76042 | 2147483647 44653 125 | 0.000 % |
14.45/14.55 c | 46784 | 5839 25009 76042 | 2147483647 45102 125 | 0.000 % |
14.65/14.76 c | 47279 | 5839 25009 76042 | 2147483647 45597 126 | 0.000 % |
14.95/15.02 c | 47821 | 5839 25009 76042 | 2147483647 46139 126 | 0.000 % |
15.14/15.28 c | 48419 | 5839 25009 76042 | 2147483647 46737 126 | 0.000 % |
15.44/15.56 c | 49077 | 5839 25009 76042 | 2147483647 47395 126 | 0.000 % |
15.54/15.61 c | 49178 | 5839 25009 76042 | 2147483647 47496 126 | 0.000 % |
15.54/15.67 c | 49288 | 5839 25009 76042 | 2147483647 47606 126 | 0.000 % |
15.64/15.73 c | 49411 | 5839 25009 76042 | 2147483647 47729 126 | 0.000 % |
15.74/15.80 c | 49544 | 5839 25009 76042 | 2147483647 47862 126 | 0.000 % |
15.74/15.88 c | 49692 | 5839 25009 76042 | 2147483647 48010 126 | 0.000 % |
15.84/15.95 c | 49852 | 5839 25009 76042 | 2147483647 48170 126 | 0.000 % |
15.94/16.04 c | 50029 | 5839 25009 76042 | 2147483647 48347 126 | 0.000 % |
16.04/16.14 c | 50223 | 5839 25009 76042 | 2147483647 48541 126 | 0.000 % |
16.15/16.25 c | 50437 | 5839 25009 76042 | 2147483647 48755 126 | 0.000 % |
16.25/16.36 c | 50674 | 5839 25009 76042 | 2147483647 48992 126 | 0.000 % |
16.35/16.48 c | 50932 | 5839 25009 76042 | 2147483647 49250 126 | 0.000 % |
16.55/16.63 c | 51215 | 5839 25009 76042 | 2147483647 49533 126 | 0.000 % |
16.65/16.78 c | 51525 | 5839 25009 76042 | 2147483647 49843 126 | 0.000 % |
16.85/16.95 c | 51865 | 5839 25009 76042 | 2147483647 50183 126 | 0.000 % |
17.04/17.14 c | 52237 | 5839 25009 76042 | 2147483647 50555 126 | 0.000 % |
17.24/17.34 c | 52646 | 5839 25009 76042 | 2147483647 50964 126 | 0.000 % |
17.45/17.55 c | 53096 | 5839 25009 76042 | 2147483647 51414 126 | 0.000 % |
17.64/17.79 c | 53589 | 5839 25009 76042 | 2147483647 51907 127 | 0.000 % |
17.94/18.07 c | 54132 | 5839 25009 76042 | 2147483647 52450 127 | 0.000 % |
18.25/18.35 c | 54729 | 5839 25009 76042 | 2147483647 53047 127 | 0.000 % |
18.55/18.66 c | 55384 | 5839 25009 76042 | 2147483647 53702 127 | 0.000 % |
18.85/18.99 c | 56105 | 5839 25009 76042 | 2147483647 54423 127 | 0.000 % |
18.94/19.05 c | 56205 | 5839 25009 76042 | 2147483647 54523 127 | 0.000 % |
19.04/19.11 c | 56316 | 5839 25009 76042 | 2147483647 54634 127 | 0.000 % |
19.04/19.18 c | 56437 | 5839 25009 76042 | 2147483647 54755 127 | 0.000 % |
19.14/19.25 c | 56571 | 5839 25009 76042 | 2147483647 54889 127 | 0.000 % |
19.24/19.34 c | 56718 | 5839 25009 76042 | 2147483647 55036 127 | 0.000 % |
19.34/19.42 c | 56878 | 5839 25009 76042 | 2147483647 55196 127 | 0.000 % |
19.44/19.51 c | 57054 | 5839 25009 76042 | 2147483647 55372 127 | 0.000 % |
19.54/19.61 c | 57247 | 5839 25009 76042 | 2147483647 55565 127 | 0.000 % |
19.65/19.73 c | 57459 | 5839 25009 76042 | 2147483647 55777 127 | 0.000 % |
19.75/19.85 c | 57692 | 5839 25009 76042 | 2147483647 56010 127 | 0.000 % |
19.94/20.00 c | 57948 | 5839 25009 76042 | 2147483647 56266 127 | 0.000 % |
20.04/20.13 c | 58229 | 5839 25009 76042 | 2147483647 56547 127 | 0.000 % |
20.15/20.29 c | 58538 | 5839 25009 76042 | 2147483647 56856 127 | 0.000 % |
20.35/20.47 c | 58877 | 5839 25009 76042 | 2147483647 57195 127 | 0.000 % |
20.55/20.65 c | 59250 | 5839 25009 76042 | 2147483647 57568 127 | 0.000 % |
20.75/20.86 c | 59660 | 5839 25009 76042 | 2147483647 57978 127 | 0.000 % |
21.05/21.10 c | 60109 | 5839 25009 76042 | 2147483647 58427 127 | 0.000 % |
21.25/21.35 c | 60606 | 5839 25009 76042 | 2147483647 58924 127 | 0.000 % |
21.54/21.62 c | 61150 | 5839 25009 76042 | 2147483647 59468 127 | 0.000 % |
21.85/21.94 c | 61748 | 5839 25009 76042 | 2147483647 60066 127 | 0.000 % |
22.15/22.24 c | 62403 | 5839 25009 76042 | 2147483647 60721 128 | 0.000 % |
22.55/22.62 c | 63124 | 5839 25009 76042 | 2147483647 61442 128 | 0.000 % |
22.95/23.03 c | 63917 | 5839 25009 76042 | 2147483647 62235 128 | 0.000 % |
22.95/23.09 c | 64017 | 5839 25009 76042 | 2147483647 62335 128 | 0.000 % |
23.05/23.16 c | 64131 | 5839 25009 76042 | 2147483647 62449 128 | 0.000 % |
23.14/23.24 c | 64254 | 5839 25009 76042 | 2147483647 62572 128 | 0.000 % |
23.24/23.30 c | 64387 | 5839 25009 76042 | 2147483647 62705 128 | 0.000 % |
23.24/23.39 c | 64535 | 5839 25009 76042 | 2147483647 62853 128 | 0.000 % |
23.44/23.51 c | 64697 | 5839 25009 76042 | 2147483647 63015 128 | 0.000 % |
23.54/23.61 c | 64874 | 5839 25009 76042 | 2147483647 63192 128 | 0.000 % |
23.64/23.72 c | 65067 | 5839 25009 76042 | 2147483647 63385 128 | 0.000 % |
23.74/23.86 c | 65279 | 5839 25009 76042 | 2147483647 63597 128 | 0.000 % |
23.84/23.99 c | 65513 | 5839 25009 76042 | 2147483647 63831 128 | 0.000 % |
24.04/24.13 c | 65770 | 5839 25009 76042 | 2147483647 64088 128 | 0.000 % |
24.14/24.29 c | 66052 | 5839 25009 76042 | 2147483647 64370 128 | 0.000 % |
24.34/24.50 c | 66361 | 5839 25009 76042 | 2147483647 64679 128 | 0.000 % |
24.54/24.69 c | 66700 | 5839 25009 76042 | 2147483647 65018 128 | 0.000 % |
24.84/24.91 c | 67074 | 5839 25009 76042 | 2147483647 65392 128 | 0.000 % |
25.04/25.14 c | 67483 | 5839 25009 76042 | 2147483647 65801 128 | 0.000 % |
25.24/25.38 c | 67932 | 5839 25009 76042 | 2147483647 66250 128 | 0.000 % |
25.54/25.64 c | 68425 | 5839 25009 76042 | 2147483647 66743 128 | 0.000 % |
25.84/25.94 c | 68968 | 5839 25009 76042 | 2147483647 67286 128 | 0.000 % |
26.14/26.25 c | 69564 | 5839 25009 76042 | 2147483647 67882 128 | 0.000 % |
26.53/26.62 c | 70219 | 5839 25009 76042 | 2147483647 68537 128 | 0.000 % |
26.94/27.03 c | 70939 | 5839 25009 76042 | 2147483647 69257 128 | 0.000 % |
27.45/27.50 c | 71732 | 5839 25009 76042 | 2147483647 70050 129 | 0.000 % |
27.94/28.02 c | 72603 | 5839 25009 76042 | 2147483647 70921 129 | 0.000 % |
27.94/28.09 c | 72703 | 5839 25009 76042 | 2147483647 71021 129 | 0.000 % |
28.04/28.16 c | 72813 | 5839 25009 76042 | 2147483647 71131 129 | 0.000 % |
28.14/28.24 c | 72934 | 5839 25009 76042 | 2147483647 71252 129 | 0.000 % |
28.24/28.33 c | 73070 | 5839 25009 76042 | 2147483647 71388 129 | 0.000 % |
28.34/28.42 c | 73217 | 5839 25009 76042 | 2147483647 71535 129 | 0.000 % |
28.44/28.53 c | 73379 | 5839 25009 76042 | 2147483647 71697 129 | 0.000 % |
28.54/28.64 c | 73556 | 5839 25009 76042 | 2147483647 71874 129 | 0.000 % |
28.64/28.77 c | 73750 | 5839 25009 76042 | 2147483647 72068 129 | 0.000 % |
28.84/28.91 c | 73962 | 5839 25009 76042 | 2147483647 72280 129 | 0.000 % |
28.94/29.06 c | 74195 | 5839 25009 76042 | 2147483647 72513 129 | 0.000 % |
29.14/29.22 c | 74451 | 5839 25009 76042 | 2147483647 72769 129 | 0.000 % |
29.24/29.39 c | 74732 | 5839 25009 76042 | 2147483647 73050 129 | 0.000 % |
29.44/29.59 c | 75042 | 5839 25009 76042 | 2147483647 73360 129 | 0.000 % |
29.64/29.80 c | 75383 | 5839 25009 76042 | 2147483647 73701 129 | 0.000 % |
29.93/30.02 c | 75755 | 5839 25009 76042 | 2147483647 74073 129 | 0.000 % |
30.13/30.27 c | 76166 | 5839 25009 76042 | 2147483647 74484 129 | 0.000 % |
30.44/30.55 c | 76615 | 5839 25009 76042 | 2147483647 74933 129 | 0.000 % |
30.74/30.88 c | 77108 | 5839 25009 76042 | 2147483647 75426 129 | 0.000 % |
31.14/31.21 c | 77651 | 5839 25009 76042 | 2147483647 75969 129 | 0.000 % |
31.44/31.57 c | 78248 | 5839 25009 76042 | 2147483647 76566 129 | 0.000 % |
31.84/31.96 c | 78903 | 5839 25009 76042 | 2147483647 77221 129 | 0.000 % |
32.33/32.41 c | 79624 | 5839 25009 76042 | 2147483647 77942 129 | 0.000 % |
32.73/32.90 c | 80416 | 5839 25009 76042 | 2147483647 78734 130 | 0.000 % |
33.33/33.44 c | 81288 | 5839 25009 76042 | 2147483647 79606 130 | 0.000 % |
33.93/34.05 c | 82246 | 5839 25009 76042 | 2147483647 80564 130 | 0.000 % |
34.03/34.12 c | 82346 | 5839 25009 76042 | 2147483647 80664 130 | 0.000 % |
34.03/34.19 c | 82457 | 5839 25009 76042 | 2147483647 80775 130 | 0.000 % |
34.13/34.29 c | 82578 | 5839 25009 76042 | 2147483647 80896 130 | 0.000 % |
34.23/34.39 c | 82711 | 5839 25009 76042 | 2147483647 81029 130 | 0.000 % |
34.43/34.50 c | 82857 | 5839 25009 76042 | 2147483647 81175 130 | 0.000 % |
34.53/34.62 c | 83017 | 5839 25009 76042 | 2147483647 81335 130 | 0.000 % |
34.63/34.74 c | 83193 | 5839 25009 76042 | 2147483647 81511 130 | 0.000 % |
34.74/34.88 c | 83387 | 5839 25009 76042 | 2147483647 81705 130 | 0.000 % |
34.94/35.04 c | 83602 | 5839 25009 76042 | 2147483647 81920 129 | 0.000 % |
35.14/35.21 c | 83835 | 5839 25009 76042 | 2147483647 82153 129 | 0.000 % |
35.34/35.40 c | 84091 | 5839 25009 76042 | 2147483647 82409 129 | 0.000 % |
35.54/35.61 c | 84372 | 5839 25009 76042 | 2147483647 82690 129 | 0.000 % |
35.74/35.82 c | 84683 | 5839 25009 76042 | 2147483647 83001 129 | 0.000 % |
35.94/36.06 c | 85025 | 5839 25009 76042 | 2147483647 83343 129 | 0.000 % |
36.24/36.35 c | 85397 | 5839 25009 76042 | 2147483647 83715 129 | 0.000 % |
36.53/36.63 c | 85807 | 5839 25009 76042 | 2147483647 84125 129 | 0.000 % |
36.83/36.95 c | 86259 | 5839 25009 76042 | 2147483647 84577 130 | 0.000 % |
37.13/37.28 c | 86752 | 5839 25009 76042 | 2147483647 85070 130 | 0.000 % |
37.53/37.66 c | 87294 | 5839 25009 76042 | 2147483647 85612 130 | 0.000 % |
37.93/38.07 c | 87892 | 5839 25009 76042 | 2147483647 86210 130 | 0.000 % |
38.44/38.51 c | 88547 | 5839 25009 76042 | 2147483647 86865 130 | 0.000 % |
38.94/39.00 c | 89267 | 5839 25009 76042 | 2147483647 87585 130 | 0.000 % |
39.44/39.54 c | 90059 | 5839 25009 76042 | 2147483647 88377 131 | 0.000 % |
39.93/40.09 c | 90930 | 5839 25009 76042 | 2147483647 89248 131 | 0.000 % |
40.64/40.75 c | 91888 | 5839 25009 76042 | 2147483647 90206 131 | 0.000 % |
41.33/41.45 c | 92942 | 5839 25009 76042 | 2147483647 91260 131 | 0.000 % |
41.43/41.53 c | 93042 | 5839 25009 76042 | 2147483647 91360 131 | 0.000 % |
41.53/41.63 c | 93153 | 5839 25009 76042 | 2147483647 91471 131 | 0.000 % |
41.63/41.73 c | 93275 | 5839 25009 76042 | 2147483647 91593 131 | 0.000 % |
41.73/41.82 c | 93409 | 5839 25009 76042 | 2147483647 91727 131 | 0.000 % |
41.83/41.95 c | 93557 | 5839 25009 76042 | 2147483647 91875 131 | 0.000 % |
41.93/42.08 c | 93718 | 5839 25009 76042 | 2147483647 92036 131 | 0.000 % |
42.13/42.22 c | 93894 | 5839 25009 76042 | 2147483647 92212 131 | 0.000 % |
42.23/42.35 c | 94087 | 5839 25009 76042 | 2147483647 92405 131 | 0.000 % |
42.43/42.52 c | 94300 | 5839 25009 76042 | 2147483647 92618 131 | 0.000 % |
42.63/42.72 c | 94533 | 5839 25009 76042 | 2147483647 92851 131 | 0.000 % |
42.83/42.91 c | 94790 | 5839 25009 76042 | 2147483647 93108 131 | 0.000 % |
43.03/43.11 c | 95071 | 5839 25009 76042 | 2147483647 93389 131 | 0.000 % |
43.23/43.34 c | 95381 | 5839 25009 76042 | 2147483647 93699 131 | 0.000 % |
43.43/43.58 c | 95723 | 5839 25009 76042 | 2147483647 94041 131 | 0.000 % |
43.73/43.88 c | 96097 | 5839 25009 76042 | 2147483647 94415 131 | 0.000 % |
44.02/44.18 c | 96507 | 5839 25009 76042 | 2147483647 94825 131 | 0.000 % |
44.42/44.52 c | 96959 | 5839 25009 76042 | 2147483647 95277 131 | 0.000 % |
44.72/44.83 c | 97452 | 5839 25009 76042 | 2147483647 95770 131 | 0.000 % |
45.12/45.21 c | 97995 | 5839 25009 76042 | 2147483647 96313 131 | 0.000 % |
45.53/45.63 c | 98593 | 5839 25009 76042 | 2147483647 96911 131 | 0.000 % |
46.03/46.15 c | 99248 | 5839 25009 76042 | 2147483647 97566 131 | 0.000 % |
46.53/46.67 c | 99971 | 5839 25009 76042 | 2147483647 98289 131 | 0.000 % |
47.13/47.29 c | 100765 | 5839 25009 76042 | 2147483647 99083 131 | 0.000 % |
47.83/47.94 c | 101636 | 5839 25009 76042 | 2147483647 99954 131 | 0.000 % |
48.53/48.62 c | 102595 | 5839 25009 76042 | 2147483647 100913 132 | 0.000 % |
49.23/49.40 c | 103648 | 5839 25009 76042 | 2147483647 101966 132 | 0.000 % |
50.12/50.26 c | 104808 | 5839 25009 76042 | 2147483647 103126 132 | 0.000 % |
50.22/50.34 c | 104908 | 5839 25009 76042 | 2147483647 103226 132 | 0.000 % |
50.32/50.45 c | 105020 | 5839 25009 76042 | 2147483647 103338 132 | 0.000 % |
50.43/50.57 c | 105143 | 5839 25009 76042 | 2147483647 103461 132 | 0.000 % |
50.53/50.69 c | 105277 | 5839 25009 76042 | 2147483647 103595 132 | 0.000 % |
50.72/50.82 c | 105425 | 5839 25009 76042 | 2147483647 103743 132 | 0.000 % |
50.82/50.96 c | 105585 | 5839 25009 76042 | 2147483647 103903 132 | 0.000 % |
51.02/51.14 c | 105761 | 5839 25009 76042 | 2147483647 104079 132 | 0.000 % |
51.22/51.32 c | 105955 | 5839 25009 76042 | 2147483647 104273 132 | 0.000 % |
51.42/51.50 c | 106168 | 5839 25009 76042 | 2147483647 104486 132 | 0.000 % |
51.52/51.70 c | 106401 | 5839 25009 76042 | 2147483647 104719 132 | 0.000 % |
51.83/51.91 c | 106658 | 5839 25009 76042 | 2147483647 104976 132 | 0.000 % |
52.03/52.14 c | 106940 | 5839 25009 76042 | 2147483647 105258 132 | 0.000 % |
52.23/52.39 c | 107249 | 5839 25009 76042 | 2147483647 105567 132 | 0.000 % |
52.53/52.70 c | 107588 | 5839 25009 76042 | 2147483647 105906 132 | 0.000 % |
52.92/53.01 c | 107960 | 5839 25009 76042 | 2147483647 106278 132 | 0.000 % |
53.22/53.31 c | 108370 | 5839 25009 76042 | 2147483647 106688 132 | 0.000 % |
53.52/53.67 c | 108819 | 5839 25009 76042 | 2147483647 107137 132 | 0.000 % |
53.92/54.06 c | 109312 | 5839 25009 76042 | 2147483647 107630 132 | 0.000 % |
54.32/54.48 c | 109855 | 5839 25009 76042 | 2147483647 108173 132 | 0.000 % |
54.83/54.92 c | 110454 | 5839 25009 76042 | 2147483647 108772 132 | 0.000 % |
55.32/55.47 c | 111109 | 5839 25009 76042 | 2147483647 109427 132 | 0.000 % |
55.92/56.04 c | 111829 | 5839 25009 76042 | 2147483647 110147 132 | 0.000 % |
56.52/56.63 c | 112622 | 5839 25009 76042 | 2147483647 110940 133 | 0.000 % |
57.22/57.33 c | 113493 | 5839 25009 76042 | 2147483647 111811 133 | 0.000 % |
58.03/58.10 c | 114451 | 5839 25009 76042 | 2147483647 112769 133 | 0.000 % |
58.82/58.90 c | 115507 | 5839 25009 76042 | 2147483647 113825 133 | 0.000 % |
59.72/59.86 c | 116665 | 5839 25009 76042 | 2147483647 114983 133 | 0.000 % |
60.82/60.92 c | 117938 | 5839 25009 76042 | 2147483647 116256 133 | 0.000 % |
60.92/61.04 c | 118038 | 5839 25009 76042 | 2147483647 116356 133 | 0.000 % |
61.02/61.15 c | 118149 | 5839 25009 76042 | 2147483647 116467 133 | 0.000 % |
61.12/61.27 c | 118270 | 5839 25009 76042 | 2147483647 116588 133 | 0.000 % |
61.22/61.40 c | 118404 | 5839 25009 76042 | 2147483647 116722 133 | 0.000 % |
61.42/61.54 c | 118550 | 5839 25009 76042 | 2147483647 116868 133 | 0.000 % |
61.62/61.72 c | 118710 | 5839 25009 76042 | 2147483647 117028 133 | 0.000 % |
61.72/61.88 c | 118886 | 5839 25009 76042 | 2147483647 117204 133 | 0.000 % |
61.92/62.06 c | 119080 | 5839 25009 76042 | 2147483647 117398 133 | 0.000 % |
62.12/62.26 c | 119292 | 5839 25009 76042 | 2147483647 117610 133 | 0.000 % |
62.32/62.48 c | 119525 | 5839 25009 76042 | 2147483647 117843 133 | 0.000 % |
62.62/62.72 c | 119784 | 5839 25009 76042 | 2147483647 118102 133 | 0.000 % |
62.82/62.99 c | 120067 | 5839 25009 76042 | 2147483647 118385 133 | 0.000 % |
63.12/63.27 c | 120378 | 5839 25009 76042 | 2147483647 118696 133 | 0.000 % |
63.42/63.57 c | 120717 | 5839 25009 76042 | 2147483647 119035 133 | 0.000 % |
63.82/63.91 c | 121089 | 5839 25009 76042 | 2147483647 119407 133 | 0.000 % |
64.22/64.30 c | 121498 | 5839 25009 76042 | 2147483647 119816 133 | 0.000 % |
64.52/64.67 c | 121947 | 5839 25009 76042 | 2147483647 120265 133 | 0.000 % |
65.02/65.11 c | 122440 | 5839 25009 76042 | 2147483647 120758 133 | 0.000 % |
65.42/65.58 c | 122982 | 5839 25009 76042 | 2147483647 121300 133 | 0.000 % |
65.92/66.09 c | 123578 | 5839 25009 76042 | 2147483647 121896 133 | 0.000 % |
66.51/66.68 c | 124235 | 5839 25009 76042 | 2147483647 122553 133 | 0.000 % |
67.21/67.32 c | 124956 | 5839 25009 76042 | 2147483647 123274 133 | 0.000 % |
67.91/68.01 c | 125748 | 5839 25009 76042 | 2147483647 124066 133 | 0.000 % |
68.71/68.82 c | 126621 | 5839 25009 76042 | 2147483647 124939 133 | 0.000 % |
69.52/69.61 c | 127579 | 5839 25009 76042 | 2147483647 125897 134 | 0.000 % |
70.42/70.57 c | 128634 | 5839 25009 76042 | 2147483647 126952 134 | 0.000 % |
71.51/71.62 c | 129792 | 5839 25009 76042 | 2147483647 128110 134 | 0.000 % |
72.52/72.64 c | 131065 | 5839 25009 76042 | 2147483647 129383 134 | 0.000 % |
73.82/73.92 c | 132465 | 5839 25009 76042 | 2147483647 130783 134 | 0.000 % |
73.92/74.04 c | 132566 | 5839 25009 76042 | 2147483647 130884 134 | 0.000 % |
74.02/74.18 c | 132676 | 5839 25009 76042 | 2147483647 130994 134 | 0.000 % |
74.22/74.31 c | 132800 | 5839 25009 76042 | 2147483647 131118 134 | 0.000 % |
74.32/74.46 c | 132933 | 5839 25009 76042 | 2147483647 131251 134 | 0.000 % |
74.52/74.61 c | 133079 | 5839 25009 76042 | 2147483647 131397 134 | 0.000 % |
74.72/74.80 c | 133239 | 5839 25009 76042 | 2147483647 131557 134 | 0.000 % |
74.82/74.98 c | 133416 | 5839 25009 76042 | 2147483647 131734 134 | 0.000 % |
75.02/75.17 c | 133611 | 5839 25009 76042 | 2147483647 131929 134 | 0.000 % |
75.31/75.40 c | 133823 | 5839 25009 76042 | 2147483647 132141 134 | 0.000 % |
75.51/75.62 c | 134056 | 5839 25009 76042 | 2147483647 132374 134 | 0.000 % |
75.82/75.91 c | 134312 | 5839 25009 76042 | 2147483647 132630 134 | 0.000 % |
76.01/76.19 c | 134594 | 5839 25009 76042 | 2147483647 132912 134 | 0.000 % |
76.41/76.51 c | 134903 | 5839 25009 76042 | 2147483647 133221 134 | 0.000 % |
76.71/76.87 c | 135242 | 5839 25009 76042 | 2147483647 133560 134 | 0.000 % |
77.11/77.24 c | 135614 | 5839 25009 76042 | 2147483647 133932 134 | 0.000 % |
77.51/77.64 c | 136026 | 5839 25009 76042 | 2147483647 134344 134 | 0.000 % |
78.01/78.11 c | 136475 | 5839 25009 76042 | 2147483647 134793 134 | 0.000 % |
78.41/78.58 c | 136970 | 5839 25009 76042 | 2147483647 135288 134 | 0.000 % |
78.91/79.10 c | 137514 | 5839 25009 76042 | 2147483647 135832 134 | 0.000 % |
79.61/79.72 c | 138113 | 5839 25009 76042 | 2147483647 136431 134 | 0.000 % |
80.21/80.32 c | 138768 | 5839 25009 76042 | 2147483647 137086 134 | 0.000 % |
80.92/81.00 c | 139491 | 5839 25009 76042 | 2147483647 137809 134 | 0.000 % |
81.62/81.79 c | 140283 | 5839 25009 76042 | 2147483647 138601 134 | 0.000 % |
82.41/82.56 c | 141154 | 5839 25009 76042 | 2147483647 139472 134 | 0.000 % |
83.31/83.42 c | 142112 | 5839 25009 76042 | 2147483647 140430 134 | 0.000 % |
84.31/84.44 c | 143166 | 5839 25009 76042 | 2147483647 141484 134 | 0.000 % |
85.40/85.51 c | 144324 | 5839 25009 76042 | 2147483647 142642 134 | 0.000 % |
86.61/86.79 c | 145597 | 5839 25009 76042 | 2147483647 143915 134 | 0.000 % |
88.01/88.19 c | 146997 | 5839 25009 76042 | 2147483647 145315 134 | 0.000 % |
89.61/89.76 c | 148537 | 5839 25009 76042 | 2147483647 146855 135 | 0.000 % |
89.81/89.90 c | 148637 | 5839 25009 76042 | 2147483647 146955 135 | 0.000 % |
89.91/90.03 c | 148747 | 5839 25009 76042 | 2147483647 147065 135 | 0.000 % |
90.01/90.18 c | 148868 | 5839 25009 76042 | 2147483647 147186 135 | 0.000 % |
90.21/90.33 c | 149001 | 5839 25009 76042 | 2147483647 147319 135 | 0.000 % |
90.41/90.53 c | 149147 | 5839 25009 76042 | 2147483647 147465 135 | 0.000 % |
90.61/90.71 c | 149308 | 5839 25009 76042 | 2147483647 147626 135 | 0.000 % |
90.81/90.92 c | 149486 | 5839 25009 76042 | 2147483647 147804 135 | 0.000 % |
91.01/91.14 c | 149681 | 5839 25009 76042 | 2147483647 147999 135 | 0.000 % |
91.21/91.37 c | 149893 | 5839 25009 76042 | 2147483647 148211 135 | 0.000 % |
91.51/91.62 c | 150126 | 5839 25009 76042 | 2147483647 148444 135 | 0.000 % |
91.81/91.90 c | 150383 | 5839 25009 76042 | 2147483647 148701 135 | 0.000 % |
92.01/92.19 c | 150665 | 5839 25009 76042 | 2147483647 148983 135 | 0.000 % |
92.40/92.53 c | 150974 | 5839 25009 76042 | 2147483647 149292 135 | 0.000 % |
92.70/92.86 c | 151313 | 5839 25009 76042 | 2147483647 149631 135 | 0.000 % |
93.20/93.32 c | 151685 | 5839 25009 76042 | 2147483647 150003 134 | 0.000 % |
93.60/93.77 c | 152095 | 5839 25009 76042 | 2147483647 150413 134 | 0.000 % |
94.10/94.26 c | 152544 | 5839 25009 76042 | 2147483647 150862 135 | 0.000 % |
94.71/94.82 c | 153037 | 5839 25009 76042 | 2147483647 151355 134 | 0.000 % |
95.30/95.43 c | 153579 | 5839 25009 76042 | 2147483647 151897 135 | 0.000 % |
95.90/96.07 c | 154175 | 5839 25009 76042 | 2147483647 152493 135 | 0.000 % |
96.61/96.75 c | 154831 | 5839 25009 76042 | 2147483647 153149 135 | 0.000 % |
97.30/97.47 c | 155551 | 5839 25009 76042 | 2147483647 153869 135 | 0.000 % |
98.20/98.36 c | 156344 | 5839 25009 76042 | 2147483647 154662 135 | 0.000 % |
99.10/99.23 c | 157215 | 5839 25009 76042 | 2147483647 155533 135 | 0.000 % |
100.10/100.22 c | 158176 | 5839 25009 76042 | 2147483647 156494 135 | 0.000 % |
101.20/101.31 c | 159229 | 5839 25009 76042 | 2147483647 157547 135 | 0.000 % |
102.30/102.48 c | 160387 | 5839 25009 76042 | 2147483647 158705 135 | 0.000 % |
103.70/103.82 c | 161661 | 5839 25009 76042 | 2147483647 159979 135 | 0.000 % |
105.20/105.30 c | 163061 | 5839 25009 76042 | 2147483647 161379 135 | 0.000 % |
106.80/106.97 c | 164604 | 5839 25009 76042 | 2147483647 162922 136 | 0.000 % |
108.59/108.77 c | 166299 | 5839 25009 76042 | 2147483647 164617 136 | 0.000 % |
108.70/108.89 c | 166400 | 5839 25009 76042 | 2147483647 164718 136 | 0.000 % |
108.89/109.03 c | 166510 | 5839 25009 76042 | 2147483647 164828 136 | 0.000 % |
109.09/109.21 c | 166634 | 5839 25009 76042 | 2147483647 164952 136 | 0.000 % |
109.19/109.38 c | 166767 | 5839 25009 76042 | 2147483647 165085 136 | 0.000 % |
109.39/109.59 c | 166914 | 5839 25009 76042 | 2147483647 165232 136 | 0.000 % |
109.69/109.80 c | 167075 | 5839 25009 76042 | 2147483647 165393 136 | 0.000 % |
109.90/110.04 c | 167253 | 5839 25009 76042 | 2147483647 165571 136 | 0.000 % |
110.09/110.27 c | 167448 | 5839 25009 76042 | 2147483647 165766 136 | 0.000 % |
110.39/110.56 c | 167660 | 5839 25009 76042 | 2147483647 165978 136 | 0.000 % |
110.69/110.87 c | 167893 | 5839 25009 76042 | 2147483647 166211 136 | 0.000 % |
111.10/111.21 c | 168149 | 5839 25009 76042 | 2147483647 166467 136 | 0.000 % |
111.40/111.55 c | 168430 | 5839 25009 76042 | 2147483647 166748 136 | 0.000 % |
111.80/111.91 c | 168739 | 5839 25009 76042 | 2147483647 167057 136 | 0.000 % |
112.20/112.35 c | 169078 | 5839 25009 76042 | 2147483647 167396 136 | 0.000 % |
112.69/112.86 c | 169450 | 5839 25009 76042 | 2147483647 167768 136 | 0.000 % |
113.20/113.38 c | 169859 | 5839 25009 76042 | 2147483647 168177 136 | 0.000 % |
113.79/113.90 c | 170308 | 5839 25009 76042 | 2147483647 168626 136 | 0.000 % |
114.39/114.50 c | 170801 | 5839 25009 76042 | 2147483647 169119 136 | 0.000 % |
114.99/115.15 c | 171343 | 5839 25009 76042 | 2147483647 169661 136 | 0.000 % |
115.59/115.77 c | 171939 | 5839 25009 76042 | 2147483647 170257 136 | 0.000 % |
116.40/116.53 c | 172594 | 5839 25009 76042 | 2147483647 170912 136 | 0.000 % |
117.20/117.39 c | 173316 | 5839 25009 76042 | 2147483647 171634 136 | 0.000 % |
118.19/118.32 c | 174108 | 5839 25009 76042 | 2147483647 172426 136 | 0.000 % |
119.19/119.31 c | 174979 | 5839 25009 76042 | 2147483647 173297 136 | 0.000 % |
120.29/120.40 c | 175937 | 5839 25009 76042 | 2147483647 174255 136 | 0.000 % |
121.49/121.60 c | 176990 | 5839 25009 76042 | 2147483647 175308 136 | 0.000 % |
122.79/122.92 c | 178148 | 5839 25009 76042 | 2147483647 176466 136 | 0.000 % |
124.19/124.39 c | 179422 | 5839 25009 76042 | 2147483647 177740 137 | 0.000 % |
125.79/125.94 c | 180824 | 5839 25009 76042 | 2147483647 179142 137 | 0.000 % |
127.49/127.69 c | 182365 | 5839 25009 76042 | 2147483647 180683 137 | 0.000 % |
129.59/129.70 c | 184059 | 5839 25009 76042 | 2147483647 182377 137 | 0.000 % |
131.79/132.00 c | 185922 | 5839 25009 76042 | 2147483647 184240 137 | 0.000 % |
131.99/132.15 c | 186022 | 5839 25009 76042 | 2147483647 184340 137 | 0.000 % |
132.19/132.34 c | 186133 | 5839 25009 76042 | 2147483647 184451 137 | 0.000 % |
132.39/132.52 c | 186257 | 5839 25009 76042 | 2147483647 184575 137 | 0.000 % |
132.59/132.71 c | 186392 | 5839 25009 76042 | 2147483647 184710 137 | 0.000 % |
132.79/132.93 c | 186538 | 5839 25009 76042 | 2147483647 184856 137 | 0.000 % |
133.09/133.20 c | 186698 | 5839 25009 76042 | 2147483647 185016 137 | 0.000 % |
133.28/133.45 c | 186875 | 5839 25009 76042 | 2147483647 185193 137 | 0.000 % |
133.59/133.73 c | 187071 | 5839 25009 76042 | 2147483647 185389 137 | 0.000 % |
133.89/134.05 c | 187284 | 5839 25009 76042 | 2147483647 185602 137 | 0.000 % |
134.29/134.40 c | 187517 | 5839 25009 76042 | 2147483647 185835 137 | 0.000 % |
134.59/134.76 c | 187773 | 5839 25009 76042 | 2147483647 186091 137 | 0.000 % |
134.89/135.08 c | 188055 | 5839 25009 76042 | 2147483647 186373 137 | 0.000 % |
135.39/135.52 c | 188366 | 5839 25009 76042 | 2147483647 186684 137 | 0.000 % |
135.79/135.99 c | 188709 | 5839 25009 76042 | 2147483647 187027 137 | 0.000 % |
136.29/136.45 c | 189082 | 5839 25009 76042 | 2147483647 187400 137 | 0.000 % |
136.89/137.01 c | 189493 | 5839 25009 76042 | 2147483647 187811 137 | 0.000 % |
137.49/137.63 c | 189942 | 5839 25009 76042 | 2147483647 188260 137 | 0.000 % |
138.09/138.28 c | 190435 | 5839 25009 76042 | 2147483647 188753 137 | 0.000 % |
138.78/139.00 c | 190978 | 5839 25009 76042 | 2147483647 189296 137 | 0.000 % |
139.59/139.72 c | 191576 | 5839 25009 76042 | 2147483647 189894 137 | 0.000 % |
140.48/140.61 c | 192231 | 5839 25009 76042 | 2147483647 190549 137 | 0.000 % |
141.39/141.55 c | 192951 | 5839 25009 76042 | 2147483647 191269 137 | 0.000 % |
142.39/142.56 c | 193745 | 5839 25009 76042 | 2147483647 192063 137 | 0.000 % |
143.58/143.72 c | 194617 | 5839 25009 76042 | 2147483647 192935 137 | 0.000 % |
144.78/144.96 c | 195577 | 5839 25009 76042 | 2147483647 193895 137 | 0.000 % |
146.18/146.37 c | 196630 | 5839 25009 76042 | 2147483647 194948 137 | 0.000 % |
147.69/147.82 c | 197789 | 5839 25009 76042 | 2147483647 196107 138 | 0.000 % |
149.28/149.49 c | 199063 | 5839 25009 76042 | 2147483647 197381 138 | 0.000 % |
151.08/151.30 c | 200466 | 5839 25009 76042 | 2147483647 198784 138 | 0.000 % |
153.18/153.35 c | 202006 | 5839 25009 76042 | 2147483647 200324 138 | 0.000 % |
155.48/155.61 c | 203701 | 5839 25009 76042 | 2147483647 202019 138 | 0.000 % |
157.98/158.11 c | 205564 | 5839 25009 76042 | 2147483647 203882 138 | 0.000 % |
160.58/160.74 c | 207613 | 5839 25009 76042 | 2147483647 205931 138 | 0.000 % |
160.68/160.88 c | 207713 | 5839 25009 76042 | 2147483647 206031 138 | 0.000 % |
160.88/161.06 c | 207823 | 5839 25009 76042 | 2147483647 206141 138 | 0.000 % |
161.08/161.27 c | 207945 | 5839 25009 76042 | 2147483647 206263 138 | 0.000 % |
161.38/161.51 c | 208079 | 5839 25009 76042 | 2147483647 206397 138 | 0.000 % |
161.58/161.79 c | 208225 | 5839 25009 76042 | 2147483647 206543 138 | 0.000 % |
161.88/162.06 c | 208385 | 5839 25009 76042 | 2147483647 206703 138 | 0.000 % |
162.18/162.36 c | 208561 | 5839 25009 76042 | 2147483647 206879 138 | 0.000 % |
162.48/162.68 c | 208754 | 5839 25009 76042 | 2147483647 207072 138 | 0.000 % |
162.88/163.01 c | 208968 | 5839 25009 76042 | 2147483647 207286 138 | 0.000 % |
163.18/163.35 c | 209203 | 5839 25009 76042 | 2147483647 207521 138 | 0.000 % |
163.48/163.69 c | 209459 | 5839 25009 76042 | 2147483647 207777 138 | 0.000 % |
163.98/164.10 c | 209741 | 5839 25009 76042 | 2147483647 208059 138 | 0.000 % |
164.38/164.52 c | 210050 | 5839 25009 76042 | 2147483647 208368 138 | 0.000 % |
164.88/165.07 c | 210389 | 5839 25009 76042 | 2147483647 208707 138 | 0.000 % |
165.37/165.55 c | 210761 | 5839 25009 76042 | 2147483647 209079 138 | 0.000 % |
165.98/166.13 c | 211170 | 5839 25009 76042 | 2147483647 209488 138 | 0.000 % |
166.57/166.75 c | 211620 | 5839 25009 76042 | 2147483647 209938 138 | 0.000 % |
167.28/167.46 c | 212113 | 5839 25009 76042 | 2147483647 210431 138 | 0.000 % |
167.98/168.17 c | 212657 | 5839 25009 76042 | 2147483647 210975 138 | 0.000 % |
168.77/168.94 c | 213253 | 5839 25009 76042 | 2147483647 211571 138 | 0.000 % |
169.67/169.82 c | 213910 | 5839 25009 76042 | 2147483647 212228 138 | 0.000 % |
170.77/170.91 c | 214630 | 5839 25009 76042 | 2147483647 212948 138 | 0.000 % |
171.77/171.96 c | 215423 | 5839 25009 76042 | 2147483647 213741 138 | 0.000 % |
172.98/173.19 c | 216295 | 5839 25009 76042 | 2147483647 214613 138 | 0.000 % |
174.38/174.53 c | 217254 | 5839 25009 76042 | 2147483647 215572 138 | 0.000 % |
175.78/175.93 c | 218308 | 5839 25009 76042 | 2147483647 216626 138 | 0.000 % |
177.27/177.45 c | 219469 | 5839 25009 76042 | 2147483647 217787 138 | 0.000 % |
178.97/179.11 c | 220742 | 5839 25009 76042 | 2147483647 219060 138 | 0.000 % |
180.78/180.96 c | 222142 | 5839 25009 76042 | 2147483647 220460 138 | 0.000 % |
182.87/183.06 c | 223683 | 5839 25009 76042 | 2147483647 222001 138 | 0.000 % |
185.27/185.41 c | 225377 | 5839 25009 76042 | 2147483647 223695 138 | 0.000 % |
187.77/187.96 c | 227241 | 5839 25009 76042 | 2147483647 225559 139 | 0.000 % |
190.67/190.88 c | 229290 | 5839 25009 76042 | 2147483647 227608 139 | 0.000 % |
193.87/194.07 c | 231543 | 5839 25009 76042 | 2147483647 229861 139 | 0.000 % |
194.07/194.28 c | 231643 | 5839 25009 76042 | 2147483647 229961 139 | 0.000 % |
194.27/194.49 c | 231756 | 5839 25009 76042 | 2147483647 230074 139 | 0.000 % |
194.57/194.74 c | 231877 | 5839 25009 76042 | 2147483647 230195 139 | 0.000 % |
194.77/194.98 c | 232010 | 5839 25009 76042 | 2147483647 230328 139 | 0.000 % |
195.07/195.25 c | 232156 | 5839 25009 76042 | 2147483647 230474 139 | 0.000 % |
195.37/195.52 c | 232316 | 5839 25009 76042 | 2147483647 230634 139 | 0.000 % |
195.67/195.80 c | 232492 | 5839 25009 76042 | 2147483647 230810 139 | 0.000 % |
195.97/196.18 c | 232688 | 5839 25009 76042 | 2147483647 231006 139 | 0.000 % |
196.37/196.51 c | 232900 | 5839 25009 76042 | 2147483647 231218 139 | 0.000 % |
196.77/196.91 c | 233133 | 5839 25009 76042 | 2147483647 231451 139 | 0.000 % |
197.16/197.34 c | 233389 | 5839 25009 76042 | 2147483647 231707 139 | 0.000 % |
197.66/197.80 c | 233670 | 5839 25009 76042 | 2147483647 231988 139 | 0.000 % |
198.16/198.33 c | 233981 | 5839 25009 76042 | 2147483647 232299 139 | 0.000 % |
198.76/198.90 c | 234320 | 5839 25009 76042 | 2147483647 232638 139 | 0.000 % |
199.36/199.52 c | 234692 | 5839 25009 76042 | 2147483647 233010 139 | 0.000 % |
199.96/200.15 c | 235102 | 5839 25009 76042 | 2147483647 233420 139 | 0.000 % |
200.67/200.83 c | 235553 | 5839 25009 76042 | 2147483647 233871 139 | 0.000 % |
201.47/201.67 c | 236046 | 5839 25009 76042 | 2147483647 234364 139 | 0.000 % |
202.37/202.50 c | 236591 | 5839 25009 76042 | 2147483647 234909 139 | 0.000 % |
203.27/203.49 c | 237187 | 5839 25009 76042 | 2147483647 235505 139 | 0.000 % |
204.26/204.44 c | 237843 | 5839 25009 76042 | 2147483647 236161 139 | 0.000 % |
205.36/205.51 c | 238563 | 5839 25009 76042 | 2147483647 236881 139 | 0.000 % |
206.56/206.72 c | 239355 | 5839 25009 76042 | 2147483647 237673 139 | 0.000 % |
207.96/208.10 c | 240226 | 5839 25009 76042 | 2147483647 238544 139 | 0.000 % |
209.36/209.51 c | 241185 | 5839 25009 76042 | 2147483647 239503 139 | 0.000 % |
210.86/211.08 c | 242238 | 5839 25009 76042 | 2147483647 240556 139 | 0.000 % |
212.46/212.69 c | 243397 | 5839 25009 76042 | 2147483647 241715 139 | 0.000 % |
214.36/214.57 c | 244672 | 5839 25009 76042 | 2147483647 242990 139 | 0.000 % |
216.46/216.69 c | 246072 | 5839 25009 76042 | 2147483647 244390 139 | 0.000 % |
218.86/219.05 c | 247612 | 5839 25009 76042 | 2147483647 245930 139 | 0.000 % |
221.36/221.52 c | 249306 | 5839 25009 76042 | 2147483647 247624 139 | 0.000 % |
224.25/224.47 c | 251169 | 5839 25009 76042 | 2147483647 249487 139 | 0.000 % |
227.36/227.50 c | 253218 | 5839 25009 76042 | 2147483647 251536 139 | 0.000 % |
230.65/230.86 c | 255471 | 5839 25009 76042 | 2147483647 253789 139 | 0.000 % |
234.25/234.50 c | 257949 | 5839 25009 76042 | 2147483647 256267 139 | 0.000 % |
234.45/234.69 c | 258050 | 5839 25009 76042 | 2147483647 256368 139 | 0.000 % |
234.76/234.93 c | 258160 | 5839 25009 76042 | 2147483647 256478 139 | 0.000 % |
234.95/235.18 c | 258282 | 5839 25009 76042 | 2147483647 256600 139 | 0.000 % |
235.26/235.46 c | 258417 | 5839 25009 76042 | 2147483647 256735 139 | 0.000 % |
235.55/235.76 c | 258563 | 5839 25009 76042 | 2147483647 256881 139 | 0.000 % |
235.95/236.15 c | 258723 | 5839 25009 76042 | 2147483647 257041 139 | 0.000 % |
236.26/236.47 c | 258900 | 5839 25009 76042 | 2147483647 257218 139 | 0.000 % |
236.65/236.80 c | 259094 | 5839 25009 76042 | 2147483647 257412 139 | 0.000 % |
237.05/237.25 c | 259306 | 5839 25009 76042 | 2147483647 257624 139 | 0.000 % |
237.45/237.67 c | 259539 | 5839 25009 76042 | 2147483647 257857 139 | 0.000 % |
237.85/238.09 c | 259795 | 5839 25009 76042 | 2147483647 258113 139 | 0.000 % |
238.45/238.64 c | 260078 | 5839 25009 76042 | 2147483647 258396 139 | 0.000 % |
239.05/239.21 c | 260389 | 5839 25009 76042 | 2147483647 258707 139 | 0.000 % |
239.55/239.78 c | 260728 | 5839 25009 76042 | 2147483647 259046 139 | 0.000 % |
240.15/240.39 c | 261100 | 5839 25009 76042 | 2147483647 259418 139 | 0.000 % |
240.85/241.04 c | 261510 | 5839 25009 76042 | 2147483647 259828 139 | 0.000 % |
241.65/241.87 c | 261959 | 5839 25009 76042 | 2147483647 260277 139 | 0.000 % |
242.55/242.71 c | 262452 | 5839 25009 76042 | 2147483647 260770 139 | 0.000 % |
243.35/243.58 c | 262994 | 5839 25009 76042 | 2147483647 261312 139 | 0.000 % |
244.34/244.56 c | 263590 | 5839 25009 76042 | 2147483647 261908 139 | 0.000 % |
245.54/245.70 c | 264245 | 5839 25009 76042 | 2147483647 262563 139 | 0.000 % |
246.65/246.85 c | 264967 | 5839 25009 76042 | 2147483647 263285 139 | 0.000 % |
247.95/248.18 c | 265760 | 5839 25009 76042 | 2147483647 264078 139 | 0.000 % |
249.35/249.56 c | 266633 | 5839 25009 76042 | 2147483647 264951 139 | 0.000 % |
250.94/251.10 c | 267591 | 5839 25009 76042 | 2147483647 265909 140 | 0.000 % |
252.75/252.96 c | 268645 | 5839 25009 76042 | 2147483647 266963 140 | 0.000 % |
254.65/254.88 c | 269804 | 5839 25009 76042 | 2147483647 268122 140 | 0.000 % |
256.84/257.04 c | 271077 | 5839 25009 76042 | 2147483647 269395 140 | 0.000 % |
259.14/259.32 c | 272477 | 5839 25009 76042 | 2147483647 270795 140 | 0.000 % |
261.44/261.63 c | 274018 | 5839 25009 76042 | 2147483647 272336 140 | 0.000 % |
264.24/264.47 c | 275716 | 5839 25009 76042 | 2147483647 274034 140 | 0.000 % |
267.24/267.48 c | 277579 | 5839 25009 76042 | 2147483647 275897 140 | 0.000 % |
270.84/271.02 c | 279628 | 5839 25009 76042 | 2147483647 277946 140 | 0.000 % |
274.54/274.80 c | 281882 | 5839 25009 76042 | 2147483647 280200 140 | 0.000 % |
278.84/279.10 c | 284363 | 5839 25009 76042 | 2147483647 282681 140 | 0.000 % |
283.43/283.62 c | 287089 | 5839 25009 76042 | 2147483647 285407 140 | 0.000 % |
283.64/283.87 c | 287190 | 5839 25009 76042 | 2147483647 285508 140 | 0.000 % |
283.93/284.10 c | 287300 | 5839 25009 76042 | 2147483647 285618 140 | 0.000 % |
284.13/284.37 c | 287422 | 5839 25009 76042 | 2147483647 285740 140 | 0.000 % |
284.43/284.65 c | 287555 | 5839 25009 76042 | 2147483647 285873 140 | 0.000 % |
284.74/284.99 c | 287701 | 5839 25009 76042 | 2147483647 286019 140 | 0.000 % |
285.04/285.28 c | 287862 | 5839 25009 76042 | 2147483647 286180 140 | 0.000 % |
285.44/285.65 c | 288038 | 5839 25009 76042 | 2147483647 286356 140 | 0.000 % |
285.84/286.07 c | 288232 | 5839 25009 76042 | 2147483647 286550 140 | 0.000 % |
286.34/286.51 c | 288445 | 5839 25009 76042 | 2147483647 286763 140 | 0.000 % |
286.74/286.93 c | 288679 | 5839 25009 76042 | 2147483647 286997 140 | 0.000 % |
287.14/287.38 c | 288935 | 5839 25009 76042 | 2147483647 287253 140 | 0.000 % |
287.84/288.05 c | 289216 | 5839 25009 76042 | 2147483647 287534 140 | 0.000 % |
288.43/288.67 c | 289528 | 5839 25009 76042 | 2147483647 287846 140 | 0.000 % |
289.14/289.36 c | 289868 | 5839 25009 76042 | 2147483647 288186 140 | 0.000 % |
289.83/290.08 c | 290241 | 5839 25009 76042 | 2147483647 288559 140 | 0.000 % |
290.73/290.93 c | 290652 | 5839 25009 76042 | 2147483647 288970 140 | 0.000 % |
291.53/291.76 c | 291103 | 5839 25009 76042 | 2147483647 289421 140 | 0.000 % |
292.43/292.69 c | 291598 | 5839 25009 76042 | 2147483647 289916 140 | 0.000 % |
293.53/293.72 c | 292140 | 5839 25009 76042 | 2147483647 290458 140 | 0.000 % |
294.73/294.93 c | 292737 | 5839 25009 76042 | 2147483647 291055 140 | 0.000 % |
295.83/296.03 c | 293392 | 5839 25009 76042 | 2147483647 291710 140 | 0.000 % |
297.13/297.37 c | 294115 | 5839 25009 76042 | 2147483647 292433 140 | 0.000 % |
298.63/298.82 c | 294907 | 5839 25009 76042 | 2147483647 293225 140 | 0.000 % |
300.13/300.33 c | 295778 | 5839 25009 76042 | 2147483647 294096 140 | 0.000 % |
301.73/301.97 c | 296736 | 5839 25009 76042 | 2147483647 295054 140 | 0.000 % |
303.73/303.93 c | 297789 | 5839 25009 76042 | 2147483647 296107 140 | 0.000 % |
305.72/305.94 c | 298947 | 5839 25009 76042 | 2147483647 297265 140 | 0.000 % |
307.83/308.09 c | 300220 | 5839 25009 76042 | 2147483647 298538 140 | 0.000 % |
310.33/310.59 c | 301621 | 5839 25009 76042 | 2147483647 299939 140 | 0.000 % |
313.02/313.25 c | 303161 | 5839 25009 76042 | 2147483647 301479 141 | 0.000 % |
316.22/316.41 c | 304855 | 5839 25009 76042 | 2147483647 303173 141 | 0.000 % |
319.62/319.82 c | 306719 | 5839 25009 76042 | 2147483647 305037 141 | 0.000 % |
323.12/323.37 c | 308770 | 5839 25009 76042 | 2147483647 307088 141 | 0.000 % |
327.31/327.52 c | 311024 | 5839 25009 76042 | 2147483647 309342 141 | 0.000 % |
332.12/332.31 c | 313502 | 5839 25009 76042 | 2147483647 311820 141 | 0.000 % |
337.31/337.55 c | 316228 | 5839 25009 76042 | 2147483647 314546 141 | 0.000 % |
342.72/342.96 c | 319226 | 5839 25009 76042 | 2147483647 317544 141 | 0.000 % |
342.92/343.19 c | 319326 | 5839 25009 76042 | 2147483647 317644 141 | 0.000 % |
343.21/343.41 c | 319436 | 5839 25009 76042 | 2147483647 317754 141 | 0.000 % |
343.51/343.72 c | 319557 | 5839 25009 76042 | 2147483647 317875 141 | 0.000 % |
343.81/344.09 c | 319692 | 5839 25009 76042 | 2147483647 318010 141 | 0.000 % |
344.21/344.44 c | 319839 | 5839 25009 76042 | 2147483647 318157 141 | 0.000 % |
344.61/344.83 c | 320001 | 5839 25009 76042 | 2147483647 318319 141 | 0.000 % |
345.11/345.31 c | 320177 | 5839 25009 76042 | 2147483647 318495 141 | 0.000 % |
345.51/345.75 c | 320370 | 5839 25009 76042 | 2147483647 318688 141 | 0.000 % |
346.02/346.20 c | 320584 | 5839 25009 76042 | 2147483647 318902 141 | 0.000 % |
346.52/346.72 c | 320817 | 5839 25009 76042 | 2147483647 319135 141 | 0.000 % |
347.12/347.34 c | 321073 | 5839 25009 76042 | 2147483647 319391 141 | 0.000 % |
347.72/347.99 c | 321354 | 5839 25009 76042 | 2147483647 319672 141 | 0.000 % |
348.42/348.63 c | 321664 | 5839 25009 76042 | 2147483647 319982 141 | 0.000 % |
349.21/349.40 c | 322003 | 5839 25009 76042 | 2147483647 320321 141 | 0.000 % |
350.11/350.32 c | 322375 | 5839 25009 76042 | 2147483647 320693 141 | 0.000 % |
351.01/351.25 c | 322785 | 5839 25009 76042 | 2147483647 321103 141 | 0.000 % |
351.91/352.19 c | 323234 | 5839 25009 76042 | 2147483647 321552 141 | 0.000 % |
353.01/353.21 c | 323727 | 5839 25009 76042 | 2147483647 322045 141 | 0.000 % |
354.02/354.28 c | 324271 | 5839 25009 76042 | 2147483647 322589 141 | 0.000 % |
355.31/355.52 c | 324869 | 5839 25009 76042 | 2147483647 323187 141 | 0.000 % |
356.61/356.87 c | 325524 | 5839 25009 76042 | 2147483647 323842 141 | 0.000 % |
358.21/358.49 c | 326244 | 5839 25009 76042 | 2147483647 324562 141 | 0.000 % |
359.71/359.97 c | 327036 | 5839 25009 76042 | 2147483647 325354 141 | 0.000 % |
361.61/361.83 c | 327908 | 5839 25009 76042 | 2147483647 326226 141 | 0.000 % |
363.50/363.71 c | 328866 | 5839 25009 76042 | 2147483647 327184 141 | 0.000 % |
365.51/365.76 c | 329921 | 5839 25009 76042 | 2147483647 328239 141 | 0.000 % |
368.11/368.37 c | 331079 | 5839 25009 76042 | 328318 288592 141 | 0.000 % |
370.41/370.70 c | 332353 | 5839 25009 76042 | 328318 289866 141 | 0.000 % |
372.81/373.01 c | 333754 | 5839 25009 76042 | 328318 291267 141 | 0.000 % |
375.61/375.87 c | 335296 | 5839 25009 76042 | 328318 292809 141 | 0.000 % |
378.81/379.02 c | 336991 | 5839 25009 76042 | 328318 294504 141 | 0.000 % |
382.10/382.39 c | 338854 | 5839 25009 76042 | 328318 296367 141 | 0.000 % |
385.60/385.89 c | 340903 | 5839 25009 76042 | 2147483647 298416 141 | 0.000 % |
389.50/389.73 c | 343158 | 5839 25009 76042 | 2147483647 300671 141 | 0.000 % |
394.00/394.25 c | 345636 | 5839 25009 76042 | 2147483647 303149 141 | 0.000 % |
398.80/399.04 c | 348362 | 5839 25009 76042 | 2147483647 305875 141 | 0.000 % |
404.19/404.43 c | 351359 | 5839 25009 76042 | 2147483647 308872 141 | 0.000 % |
410.00/410.27 c | 354657 | 5839 25009 76042 | 2147483647 312170 142 | 0.000 % |
410.19/410.49 c | 354757 | 5839 25009 76042 | 2147483647 312270 142 | 0.000 % |
410.49/410.73 c | 354867 | 5839 25009 76042 | 2147483647 312380 142 | 0.000 % |
410.79/411.03 c | 354988 | 5839 25009 76042 | 2147483647 312501 142 | 0.000 % |
411.10/411.31 c | 355121 | 5839 25009 76042 | 2147483647 312634 142 | 0.000 % |
411.39/411.64 c | 355268 | 5839 25009 76042 | 2147483647 312781 142 | 0.000 % |
411.69/411.99 c | 355428 | 5839 25009 76042 | 2147483647 312941 142 | 0.000 % |
412.20/412.42 c | 355608 | 5839 25009 76042 | 2147483647 313121 142 | 0.000 % |
412.59/412.88 c | 355803 | 5839 25009 76042 | 2147483647 313316 142 | 0.000 % |
413.09/413.33 c | 356017 | 5839 25009 76042 | 2147483647 313530 142 | 0.000 % |
413.59/413.89 c | 356252 | 5839 25009 76042 | 2147483647 313765 142 | 0.000 % |
414.19/414.45 c | 356508 | 5839 25009 76042 | 2147483647 314021 142 | 0.000 % |
414.89/415.11 c | 356789 | 5839 25009 76042 | 2147483647 314302 142 | 0.000 % |
415.59/415.82 c | 357098 | 5839 25009 76042 | 2147483647 314611 142 | 0.000 % |
416.29/416.56 c | 357438 | 5839 25009 76042 | 2147483647 314951 142 | 0.000 % |
417.09/417.36 c | 357811 | 5839 25009 76042 | 2147483647 315324 142 | 0.000 % |
417.99/418.27 c | 358221 | 5839 25009 76042 | 2147483647 315734 142 | 0.000 % |
418.89/419.12 c | 358670 | 5839 25009 76042 | 2147483647 316183 142 | 0.000 % |
419.89/420.17 c | 359166 | 5839 25009 76042 | 2147483647 316679 142 | 0.000 % |
420.99/421.23 c | 359708 | 5839 25009 76042 | 2147483647 317221 142 | 0.000 % |
422.09/422.36 c | 360304 | 5839 25009 76042 | 2147483647 317817 142 | 0.000 % |
423.49/423.71 c | 360959 | 5839 25009 76042 | 2147483647 318472 142 | 0.000 % |
424.89/425.14 c | 361679 | 5839 25009 76042 | 2147483647 319192 142 | 0.000 % |
426.39/426.70 c | 362471 | 5839 25009 76042 | 2147483647 319984 142 | 0.000 % |
428.19/428.47 c | 363343 | 5839 25009 76042 | 2147483647 320856 142 | 0.000 % |
430.08/430.36 c | 364302 | 5839 25009 76042 | 2147483647 321815 142 | 0.000 % |
432.19/432.47 c | 365357 | 5839 25009 76042 | 2147483647 322870 142 | 0.000 % |
434.38/434.63 c | 366515 | 5839 25009 76042 | 2147483647 324028 142 | 0.000 % |
436.98/437.21 c | 367791 | 5839 25009 76042 | 2147483647 325304 142 | 0.000 % |
439.58/439.85 c | 369191 | 5839 25009 76042 | 2147483647 326704 142 | 0.000 % |
442.58/442.89 c | 370731 | 5839 25009 76042 | 327518 328244 142 | 0.000 % |
445.98/446.26 c | 372427 | 5839 25009 76042 | 327518 295088 142 | 0.000 % |
449.28/449.52 c | 374291 | 5839 25009 76042 | 327518 296952 142 | 0.000 % |
452.88/453.14 c | 376341 | 5839 25009 76042 | 327518 299002 142 | 0.000 % |
456.58/456.87 c | 378594 | 5839 25009 76042 | 327518 301255 143 | 0.000 % |
461.18/461.45 c | 381072 | 5839 25009 76042 | 2147483647 303733 143 | 0.000 % |
466.18/466.43 c | 383798 | 5839 25009 76042 | 2147483647 306459 143 | 0.000 % |
471.87/472.16 c | 386795 | 5839 25009 76042 | 2147483647 309456 143 | 0.000 % |
477.77/478.09 c | 390091 | 5839 25009 76042 | 2147483647 312752 144 | 0.000 % |
484.67/484.97 c | 393716 | 5839 25009 76042 | 2147483647 316377 144 | 0.000 % |
484.97/485.24 c | 393817 | 5839 25009 76042 | 2147483647 316478 144 | 0.000 % |
485.27/485.53 c | 393929 | 5839 25009 76042 | 2147483647 316590 144 | 0.000 % |
485.57/485.85 c | 394051 | 5839 25009 76042 | 2147483647 316712 144 | 0.000 % |
485.97/486.21 c | 394185 | 5839 25009 76042 | 2147483647 316846 144 | 0.000 % |
486.27/486.55 c | 394331 | 5839 25009 76042 | 2147483647 316992 144 | 0.000 % |
486.67/486.91 c | 394491 | 5839 25009 76042 | 2147483647 317152 144 | 0.000 % |
486.97/487.30 c | 394668 | 5839 25009 76042 | 2147483647 317329 144 | 0.000 % |
487.47/487.77 c | 394861 | 5839 25009 76042 | 2147483647 317522 144 | 0.000 % |
487.97/488.28 c | 395075 | 5839 25009 76042 | 2147483647 317736 144 | 0.000 % |
488.57/488.84 c | 395309 | 5839 25009 76042 | 2147483647 317970 144 | 0.000 % |
489.07/489.37 c | 395567 | 5839 25009 76042 | 2147483647 318228 144 | 0.000 % |
489.67/489.99 c | 395848 | 5839 25009 76042 | 2147483647 318509 144 | 0.000 % |
490.47/490.70 c | 396157 | 5839 25009 76042 | 2147483647 318818 144 | 0.000 % |
491.17/491.47 c | 396496 | 5839 25009 76042 | 2147483647 319157 144 | 0.000 % |
491.97/492.28 c | 396869 | 5839 25009 76042 | 2147483647 319530 143 | 0.000 % |
492.87/493.16 c | 397278 | 5839 25009 76042 | 2147483647 319939 143 | 0.000 % |
493.77/494.06 c | 397728 | 5839 25009 76042 | 2147483647 320389 143 | 0.000 % |
494.67/494.96 c | 398222 | 5839 25009 76042 | 2147483647 320883 143 | 0.000 % |
495.77/496.09 c | 398764 | 5839 25009 76042 | 2147483647 321425 143 | 0.000 % |
497.16/497.40 c | 399362 | 5839 25009 76042 | 2147483647 322023 143 | 0.000 % |
498.46/498.71 c | 400017 | 5839 25009 76042 | 322661 322678 143 | 0.000 % |
500.06/500.37 c | 400737 | 5839 25009 76042 | 322661 286777 143 | 0.000 % |
501.56/501.89 c | 401530 | 5839 25009 76042 | 322661 287570 143 | 0.000 % |
503.26/503.52 c | 402402 | 5839 25009 76042 | 322661 288442 143 | 0.000 % |
504.96/505.27 c | 403361 | 5839 25009 76042 | 322661 289401 143 | 0.000 % |
506.77/507.09 c | 404416 | 5839 25009 76042 | 322661 290456 143 | 0.000 % |
508.96/509.22 c | 405574 | 5839 25009 76042 | 322661 291614 143 | 0.000 % |
511.26/511.59 c | 406847 | 5839 25009 76042 | 322661 292887 143 | 0.000 % |
513.76/514.10 c | 408247 | 5839 25009 76042 | 322661 294287 143 | 0.000 % |
516.66/516.92 c | 409788 | 5839 25009 76042 | 322661 295828 144 | 0.000 % |
519.66/519.90 c | 411483 | 5839 25009 76042 | 2147483647 297523 144 | 0.000 % |
523.06/523.31 c | 413346 | 5839 25009 76042 | 2147483647 299386 144 | 0.000 % |
526.46/526.79 c | 415395 | 5839 25009 76042 | 2147483647 301435 144 | 0.000 % |
530.65/530.91 c | 417649 | 5839 25009 76042 | 2147483647 303689 144 | 0.000 % |
535.05/535.36 c | 420127 | 5839 25009 76042 | 2147483647 306167 144 | 0.000 % |
540.05/540.31 c | 422853 | 5839 25009 76042 | 2147483647 308893 144 | 0.000 % |
545.45/545.75 c | 425850 | 5839 25009 76042 | 2147483647 311890 144 | 0.000 % |
551.35/551.64 c | 429148 | 5839 25009 76042 | 2147483647 315188 144 | 0.000 % |
557.85/558.18 c | 432773 | 5839 25009 76042 | 2147483647 318813 144 | 0.000 % |
565.05/565.36 c | 436760 | 5839 25009 76042 | 2147483647 322800 144 | 0.000 % |
565.34/565.61 c | 436860 | 5839 25009 76042 | 2147483647 322900 144 | 0.000 % |
565.64/565.91 c | 436973 | 5839 25009 76042 | 2147483647 323013 144 | 0.000 % |
565.94/566.22 c | 437094 | 5839 25009 76042 | 2147483647 323134 144 | 0.000 % |
566.24/566.58 c | 437227 | 5839 25009 76042 | 2147483647 323267 144 | 0.000 % |
566.64/566.96 c | 437374 | 5839 25009 76042 | 2147483647 323414 144 | 0.000 % |
567.04/567.32 c | 437536 | 5839 25009 76042 | 2147483647 323576 144 | 0.000 % |
567.44/567.76 c | 437715 | 5839 25009 76042 | 2147483647 323755 144 | 0.000 % |
567.94/568.21 c | 437909 | 5839 25009 76042 | 2147483647 323949 144 | 0.000 % |
568.44/568.73 c | 438127 | 5839 25009 76042 | 2147483647 324167 144 | 0.000 % |
568.94/569.25 c | 438360 | 5839 25009 76042 | 2147483647 324400 144 | 0.000 % |
569.54/569.83 c | 438618 | 5839 25009 76042 | 2147483647 324658 144 | 0.000 % |
570.14/570.45 c | 438902 | 5839 25009 76042 | 2147483647 324942 144 | 0.000 % |
570.83/571.10 c | 439212 | 5839 25009 76042 | 2147483647 325252 144 | 0.000 % |
571.53/571.87 c | 439551 | 5839 25009 76042 | 2147483647 325591 144 | 0.000 % |
572.53/572.80 c | 439923 | 5839 25009 76042 | 2147483647 325963 144 | 0.000 % |
573.34/573.69 c | 440332 | 5839 25009 76042 | 2147483647 326372 144 | 0.000 % |
574.34/574.63 c | 440783 | 5839 25009 76042 | 2147483647 326823 144 | 0.000 % |
575.54/575.80 c | 441276 | 5839 25009 76042 | 2147483647 327316 144 | 0.000 % |
576.64/576.95 c | 441818 | 5839 25009 76042 | 2147483647 327858 144 | 0.000 % |
577.94/578.21 c | 442416 | 5839 25009 76042 | 2147483647 328456 144 | 0.000 % |
579.34/579.63 c | 443071 | 5839 25009 76042 | 2147483647 329111 144 | 0.000 % |
580.73/581.06 c | 443791 | 5839 25009 76042 | 2147483647 329831 144 | 0.000 % |
582.33/582.60 c | 444584 | 5839 25009 76042 | 2147483647 330624 144 | 0.000 % |
584.13/584.40 c | 445455 | 5839 25009 76042 | 2147483647 331495 144 | 0.000 % |
586.14/586.43 c | 446413 | 5839 25009 76042 | 2147483647 332453 144 | 0.000 % |
588.34/588.61 c | 447466 | 5839 25009 76042 | 2147483647 333506 144 | 0.000 % |
590.63/590.91 c | 448624 | 5839 25009 76042 | 2147483647 334664 144 | 0.000 % |
593.13/593.44 c | 449899 | 5839 25009 76042 | 2147483647 335939 144 | 0.000 % |
596.03/596.36 c | 451301 | 5839 25009 76042 | 336041 297744 144 | 0.000 % |
598.63/598.96 c | 452842 | 5839 25009 76042 | 336041 299285 144 | 0.000 % |
601.53/601.87 c | 454536 | 5839 25009 76042 | 336041 300979 144 | 0.000 % |
604.93/605.27 c | 456399 | 5839 25009 76042 | 336041 302842 144 | 0.000 % |
608.62/608.95 c | 458449 | 5839 25009 76042 | 336041 304892 144 | 0.000 % |
612.62/612.94 c | 460705 | 5839 25009 76042 | 2147483647 307148 145 | 0.000 % |
617.12/617.48 c | 463185 | 5839 25009 76042 | 2147483647 309628 145 | 0.000 % |
622.12/622.45 c | 465910 | 5839 25009 76042 | 2147483647 312353 145 | 0.000 % |
627.42/627.71 c | 468909 | 5839 25009 76042 | 2147483647 315352 145 | 0.000 % |
632.92/633.25 c | 472206 | 5839 25009 76042 | 2147483647 318649 145 | 0.000 % |
639.32/639.67 c | 475833 | 5839 25009 76042 | 2147483647 322276 145 | 0.000 % |
646.62/646.92 c | 479821 | 5839 25009 76042 | 2147483647 326264 145 | 0.000 % |
654.81/655.13 c | 484207 | 5839 25009 76042 | 2147483647 330650 146 | 0.000 % |
655.01/655.34 c | 484307 | 5839 25009 76042 | 2147483647 330750 146 | 0.000 % |
655.32/655.65 c | 484421 | 5839 25009 76042 | 2147483647 330864 146 | 0.000 % |
655.61/655.94 c | 484542 | 5839 25009 76042 | 2147483647 330985 146 | 0.000 % |
656.01/656.34 c | 484679 | 5839 25009 76042 | 2147483647 331122 146 | 0.000 % |
656.31/656.68 c | 484826 | 5839 25009 76042 | 2147483647 331269 146 | 0.000 % |
656.71/657.07 c | 484986 | 5839 25009 76042 | 2147483647 331429 146 | 0.000 % |
657.21/657.52 c | 485163 | 5839 25009 76042 | 2147483647 331606 146 | 0.000 % |
657.61/657.98 c | 485356 | 5839 25009 76042 | 2147483647 331799 146 | 0.000 % |
658.11/658.44 c | 485569 | 5839 25009 76042 | 2147483647 332012 146 | 0.000 % |
658.71/659.02 c | 485802 | 5839 25009 76042 | 2147483647 332245 146 | 0.000 % |
659.21/659.57 c | 486058 | 5839 25009 76042 | 2147483647 332501 146 | 0.000 % |
659.91/660.25 c | 486340 | 5839 25009 76042 | 2147483647 332783 146 | 0.000 % |
660.71/661.01 c | 486650 | 5839 25009 76042 | 2147483647 333093 146 | 0.000 % |
661.41/661.78 c | 486989 | 5839 25009 76042 | 2147483647 333432 146 | 0.000 % |
662.21/662.59 c | 487361 | 5839 25009 76042 | 2147483647 333804 146 | 0.000 % |
663.21/663.55 c | 487772 | 5839 25009 76042 | 2147483647 334215 145 | 0.000 % |
664.21/664.55 c | 488221 | 5839 25009 76042 | 2147483647 334664 145 | 0.000 % |
665.21/665.59 c | 488716 | 5839 25009 76042 | 2147483647 335159 145 | 0.000 % |
666.31/666.65 c | 489260 | 5839 25009 76042 | 2147483647 335703 146 | 0.000 % |
667.50/667.89 c | 489856 | 5839 25009 76042 | 2147483647 336299 146 | 0.000 % |
668.90/669.25 c | 490511 | 5839 25009 76042 | 336444 336954 145 | 0.000 % |
670.71/671.05 c | 491234 | 5839 25009 76042 | 336444 298856 146 | 0.000 % |
672.30/672.63 c | 492026 | 5839 25009 76042 | 336444 299648 146 | 0.000 % |
673.91/674.23 c | 492897 | 5839 25009 76042 | 336444 300519 146 | 0.000 % |
675.80/676.13 c | 493855 | 5839 25009 76042 | 336444 301477 146 | 0.000 % |
677.80/678.11 c | 494910 | 5839 25009 76042 | 336444 302532 146 | 0.000 % |
679.80/680.17 c | 496071 | 5839 25009 76042 | 336444 303693 146 | 0.000 % |
682.40/682.72 c | 497345 | 5839 25009 76042 | 336444 304967 146 | 0.000 % |
685.10/685.46 c | 498745 | 5839 25009 76042 | 336444 306367 146 | 0.000 % |
687.90/688.26 c | 500287 | 5839 25009 76042 | 2147483647 307909 147 | 0.000 % |
691.20/691.51 c | 501982 | 5839 25009 76042 | 2147483647 309604 147 | 0.000 % |
694.40/694.73 c | 503846 | 5839 25009 76042 | 2147483647 311468 147 | 0.000 % |
698.20/698.55 c | 505896 | 5839 25009 76042 | 2147483647 313518 147 | 0.000 % |
702.09/702.41 c | 508149 | 5839 25009 76042 | 2147483647 315771 147 | 0.000 % |
706.79/707.11 c | 510629 | 5839 25009 76042 | 2147483647 318251 147 | 0.000 % |
711.99/712.32 c | 513355 | 5839 25009 76042 | 2147483647 320977 147 | 0.000 % |
717.69/718.01 c | 516353 | 5839 25009 76042 | 2147483647 323975 147 | 0.000 % |
723.89/724.29 c | 519649 | 5839 25009 76042 | 2147483647 327271 147 | 0.000 % |
730.89/731.29 c | 523274 | 5839 25009 76042 | 2147483647 330896 147 | 0.000 % |
738.69/739.03 c | 527262 | 5839 25009 76042 | 2147483647 334884 147 | 0.000 % |
746.89/747.24 c | 531649 | 5839 25009 76042 | 2147483647 339271 148 | 0.000 % |
756.39/756.78 c | 536475 | 5839 25009 76042 | 2147483647 344097 148 | 0.000 % |
756.69/757.03 c | 536576 | 5839 25009 76042 | 2147483647 344198 148 | 0.000 % |
756.99/757.38 c | 536687 | 5839 25009 76042 | 2147483647 344309 148 | 0.000 % |
757.39/757.76 c | 536808 | 5839 25009 76042 | 2147483647 344430 148 | 0.000 % |
757.79/758.15 c | 536941 | 5839 25009 76042 | 2147483647 344563 148 | 0.000 % |
758.18/758.53 c | 537087 | 5839 25009 76042 | 2147483647 344709 148 | 0.000 % |
758.69/759.01 c | 537249 | 5839 25009 76042 | 2147483647 344871 148 | 0.000 % |
759.08/759.50 c | 537426 | 5839 25009 76042 | 2147483647 345048 148 | 0.000 % |
759.58/759.96 c | 537621 | 5839 25009 76042 | 2147483647 345243 148 | 0.000 % |
760.08/760.48 c | 537833 | 5839 25009 76042 | 2147483647 345455 148 | 0.000 % |
760.68/761.02 c | 538066 | 5839 25009 76042 | 2147483647 345688 148 | 0.000 % |
761.28/761.63 c | 538322 | 5839 25009 76042 | 2147483647 345944 148 | 0.000 % |
761.99/762.32 c | 538603 | 5839 25009 76042 | 2147483647 346225 148 | 0.000 % |
762.58/762.99 c | 538912 | 5839 25009 76042 | 2147483647 346534 148 | 0.000 % |
763.48/763.82 c | 539252 | 5839 25009 76042 | 2147483647 346874 148 | 0.000 % |
764.28/764.63 c | 539624 | 5839 25009 76042 | 2147483647 347246 148 | 0.000 % |
765.18/765.53 c | 540033 | 5839 25009 76042 | 347622 347655 148 | 0.000 % |
766.48/766.89 c | 540482 | 5839 25009 76042 | 347622 305672 149 | 0.000 % |
767.48/767.89 c | 540975 | 5839 25009 76042 | 347622 306165 149 | 0.000 % |
768.58/768.98 c | 541517 | 5839 25009 76042 | 347622 306707 149 | 0.000 % |
769.88/770.26 c | 542113 | 5839 25009 76042 | 347622 307303 149 | 0.000 % |
771.28/771.60 c | 542770 | 5839 25009 76042 | 347622 307960 149 | 0.000 % |
772.77/773.13 c | 543493 | 5839 25009 76042 | 347622 308683 149 | 0.000 % |
774.27/774.68 c | 544286 | 5839 25009 76042 | 347622 309476 149 | 0.000 % |
775.97/776.35 c | 545157 | 5839 25009 76042 | 347622 310347 149 | 0.000 % |
777.67/778.09 c | 546117 | 5839 25009 76042 | 347622 311307 148 | 0.000 % |
779.87/780.24 c | 547170 | 5839 25009 76042 | 347622 312360 148 | 0.000 % |
782.07/782.48 c | 548332 | 5839 25009 76042 | 347622 313522 148 | 0.000 % |
784.57/784.98 c | 549605 | 5839 25009 76042 | 347622 314795 148 | 0.000 % |
787.37/787.70 c | 551005 | 5839 25009 76042 | 315190 316195 148 | 0.000 % |
790.57/790.92 c | 552545 | 5839 25009 76042 | 315190 285371 149 | 0.000 % |
793.67/794.09 c | 554240 | 5839 25009 76042 | 315190 287066 149 | 0.000 % |
797.17/797.55 c | 556104 | 5839 25009 76042 | 315190 288930 149 | 0.000 % |
800.77/801.14 c | 558155 | 5839 25009 76042 | 315190 290981 149 | 0.000 % |
804.66/805.10 c | 560409 | 5839 25009 76042 | 2147483647 293235 149 | 0.000 % |
808.76/809.19 c | 562888 | 5839 25009 76042 | 2147483647 295714 149 | 0.000 % |
813.57/813.96 c | 565613 | 5839 25009 76042 | 2147483647 298439 149 | 0.000 % |
818.86/819.28 c | 568610 | 5839 25009 76042 | 2147483647 301436 149 | 0.000 % |
824.26/824.69 c | 571906 | 5839 25009 76042 | 2147483647 304732 150 | 0.000 % |
830.86/831.27 c | 575531 | 5839 25009 76042 | 2147483647 308357 150 | 0.000 % |
838.75/839.13 c | 579518 | 5839 25009 76042 | 2147483647 312344 150 | 0.000 % |
846.85/847.22 c | 583904 | 5839 25009 76042 | 2147483647 316730 150 | 0.000 % |
855.45/855.90 c | 588727 | 5839 25009 76042 | 2147483647 321553 150 | 0.000 % |
864.75/865.11 c | 594034 | 5839 25009 76042 | 2147483647 326860 151 | 0.000 % |
865.05/865.40 c | 594136 | 5839 25009 76042 | 2147483647 326962 151 | 0.000 % |
865.35/865.71 c | 594247 | 5839 25009 76042 | 2147483647 327073 151 | 0.000 % |
865.55/865.99 c | 594368 | 5839 25009 76042 | 2147483647 327194 151 | 0.000 % |
865.95/866.33 c | 594501 | 5839 25009 76042 | 2147483647 327327 151 | 0.000 % |
866.35/866.77 c | 594647 | 5839 25009 76042 | 2147483647 327473 151 | 0.000 % |
866.75/867.20 c | 594810 | 5839 25009 76042 | 2147483647 327636 151 | 0.000 % |
867.25/867.61 c | 594987 | 5839 25009 76042 | 2147483647 327813 150 | 0.000 % |
867.65/868.07 c | 595182 | 5839 25009 76042 | 2147483647 328008 150 | 0.000 % |
868.15/868.57 c | 595394 | 5839 25009 76042 | 2147483647 328220 150 | 0.000 % |
868.75/869.11 c | 595629 | 5839 25009 76042 | 2147483647 328455 150 | 0.000 % |
869.34/869.70 c | 595885 | 5839 25009 76042 | 2147483647 328711 150 | 0.000 % |
870.04/870.41 c | 596166 | 5839 25009 76042 | 2147483647 328992 150 | 0.000 % |
870.75/871.15 c | 596475 | 5839 25009 76042 | 2147483647 329301 150 | 0.000 % |
871.54/871.99 c | 596816 | 5839 25009 76042 | 2147483647 329642 150 | 0.000 % |
872.34/872.78 c | 597189 | 5839 25009 76042 | 2147483647 330015 150 | 0.000 % |
873.24/873.68 c | 597598 | 5839 25009 76042 | 2147483647 330424 150 | 0.000 % |
874.34/874.75 c | 598048 | 5839 25009 76042 | 2147483647 330874 150 | 0.000 % |
875.44/875.87 c | 598542 | 5839 25009 76042 | 2147483647 331368 150 | 0.000 % |
876.74/877.12 c | 599086 | 5839 25009 76042 | 2147483647 331912 150 | 0.000 % |
878.04/878.46 c | 599682 | 5839 25009 76042 | 2147483647 332508 150 | 0.000 % |
879.54/879.99 c | 600338 | 5839 25009 76042 | 332827 333164 150 | 0.000 % |
881.34/881.71 c | 601061 | 5839 25009 76042 | 332827 294720 150 | 0.000 % |
882.84/883.26 c | 601853 | 5839 25009 76042 | 332827 295512 150 | 0.000 % |
884.54/884.92 c | 602725 | 5839 25009 76042 | 332827 296384 150 | 0.000 % |
886.24/886.69 c | 603684 | 5839 25009 76042 | 332827 297343 150 | 0.000 % |
888.34/888.72 c | 604737 | 5839 25009 76042 | 332827 298396 150 | 0.000 % |
890.34/890.77 c | 605896 | 5839 25009 76042 | 332827 299555 150 | 0.000 % |
892.74/893.11 c | 607169 | 5839 25009 76042 | 332827 300828 150 | 0.000 % |
895.24/895.61 c | 608570 | 5839 25009 76042 | 332827 302229 150 | 0.000 % |
898.13/898.58 c | 610110 | 5839 25009 76042 | 2147483647 303769 150 | 0.000 % |
901.03/901.49 c | 611805 | 5839 25009 76042 | 2147483647 305464 150 | 0.000 % |
904.53/904.94 c | 613669 | 5839 25009 76042 | 2147483647 307328 150 | 0.000 % |
908.43/908.89 c | 615718 | 5839 25009 76042 | 2147483647 309377 150 | 0.000 % |
912.73/913.11 c | 617971 | 5839 25009 76042 | 2147483647 311630 150 | 0.000 % |
917.13/917.56 c | 620449 | 5839 25009 76042 | 2147483647 314108 150 | 0.000 % |
922.02/922.48 c | 623174 | 5839 25009 76042 | 2147483647 316833 150 | 0.000 % |
927.62/928.01 c | 626172 | 5839 25009 76042 | 2147483647 319831 151 | 0.000 % |
933.82/934.27 c | 629468 | 5839 25009 76042 | 2147483647 323127 151 | 0.000 % |
940.82/941.29 c | 633093 | 5839 25009 76042 | 2147483647 326752 151 | 0.000 % |
948.52/948.91 c | 637080 | 5839 25009 76042 | 2147483647 330739 151 | 0.000 % |
957.31/957.70 c | 641466 | 5839 25009 76042 | 2147483647 335125 151 | 0.000 % |
966.21/966.68 c | 646292 | 5839 25009 76042 | 2147483647 339951 151 | 0.000 % |
976.81/977.24 c | 651597 | 5839 25009 76042 | 343659 309440 152 | 0.000 % |
987.60/988.02 c | 657432 | 5839 25009 76042 | 343659 315275 152 | 0.000 % |
987.80/988.26 c | 657532 | 5839 25009 76042 | 343659 315375 152 | 0.000 % |
988.20/988.60 c | 657646 | 5839 25009 76042 | 343659 315489 152 | 0.000 % |
988.40/988.90 c | 657768 | 5839 25009 76042 | 343659 315611 152 | 0.000 % |
988.80/989.22 c | 657901 | 5839 25009 76042 | 343659 315744 152 | 0.000 % |
989.10/989.59 c | 658048 | 5839 25009 76042 | 343659 315891 152 | 0.000 % |
989.50/989.97 c | 658208 | 5839 25009 76042 | 343659 316051 152 | 0.000 % |
990.00/990.43 c | 658384 | 5839 25009 76042 | 343659 316227 152 | 0.000 % |
990.40/990.89 c | 658577 | 5839 25009 76042 | 343659 316420 152 | 0.000 % |
991.00/991.42 c | 658789 | 5839 25009 76042 | 343659 316632 152 | 0.000 % |
991.50/991.96 c | 659022 | 5839 25009 76042 | 343659 316865 152 | 0.000 % |
992.20/992.61 c | 659278 | 5839 25009 76042 | 343659 317121 152 | 0.000 % |
992.70/993.20 c | 659561 | 5839 25009 76042 | 343659 317404 152 | 0.000 % |
993.50/993.94 c | 659870 | 5839 25009 76042 | 343659 317713 152 | 0.000 % |
994.20/994.68 c | 660210 | 5839 25009 76042 | 317843 318053 152 | 0.000 % |
995.50/995.92 c | 660583 | 5839 25009 76042 | 317843 281566 152 | 0.000 % |
996.30/996.79 c | 660994 | 5839 25009 76042 | 317843 281977 152 | 0.000 % |
997.20/997.67 c | 661443 | 5839 25009 76042 | 317843 282426 152 | 0.000 % |
998.10/998.52 c | 661938 | 5839 25009 76042 | 317843 282921 152 | 0.000 % |
999.00/999.42 c | 662481 | 5839 25009 76042 | 317843 283464 152 | 0.000 % |
999.99/1000.45 c | 663078 | 5839 25009 76042 | 317843 284061 152 | 0.000 % |
1001.19/1001.67 c | 663733 | 5839 25009 76042 | 317843 284716 152 | 0.000 % |
1002.59/1003.08 c | 664453 | 5839 25009 76042 | 317843 285436 152 | 0.000 % |
1004.09/1004.56 c | 665245 | 5839 25009 76042 | 317843 286228 152 | 0.000 % |
1005.59/1006.07 c | 666117 | 5839 25009 76042 | 317843 287100 152 | 0.000 % |
1007.20/1007.62 c | 667076 | 5839 25009 76042 | 317843 288059 152 | 0.000 % |
1009.19/1009.70 c | 668130 | 5839 25009 76042 | 317843 289113 152 | 0.000 % |
1011.39/1011.84 c | 669289 | 5839 25009 76042 | 317843 290272 152 | 0.000 % |
1013.69/1014.13 c | 670562 | 5839 25009 76042 | 2147483647 291545 152 | 0.000 % |
1016.29/1016.76 c | 671964 | 5839 25009 76042 | 2147483647 292947 152 | 0.000 % |
1018.89/1019.36 c | 673506 | 5839 25009 76042 | 2147483647 294489 152 | 0.000 % |
1022.09/1022.53 c | 675200 | 5839 25009 76042 | 2147483647 296183 152 | 0.000 % |
1025.29/1025.77 c | 677064 | 5839 25009 76042 | 2147483647 298047 152 | 0.000 % |
1029.09/1029.55 c | 679115 | 5839 25009 76042 | 2147483647 300098 152 | 0.000 % |
1033.18/1033.67 c | 681370 | 5839 25009 76042 | 2147483647 302353 152 | 0.000 % |
1037.78/1038.27 c | 683848 | 5839 25009 76042 | 2147483647 304831 152 | 0.000 % |
1042.67/1043.15 c | 686573 | 5839 25009 76042 | 2147483647 307556 152 | 0.000 % |
1048.27/1048.73 c | 689570 | 5839 25009 76042 | 2147483647 310553 152 | 0.000 % |
1054.17/1054.67 c | 692866 | 5839 25009 76042 | 2147483647 313849 152 | 0.000 % |
1060.87/1061.37 c | 696491 | 5839 25009 76042 | 2147483647 317474 152 | 0.000 % |
1068.77/1069.21 c | 700481 | 5839 25009 76042 | 2147483647 321464 152 | 0.000 % |
1076.75/1077.23 c | 704867 | 5839 25009 76042 | 2147483647 325850 152 | 0.000 % |
1085.55/1086.01 c | 709690 | 5839 25009 76042 | 2147483647 330673 152 | 0.000 % |
1095.35/1095.80 c | 714995 | 5839 25009 76042 | 2147483647 335978 152 | 0.000 % |
1106.64/1107.13 c | 720831 | 5839 25009 76042 | 2147483647 341814 153 | 0.000 % |
1119.65/1120.19 c | 727252 | 5839 25009 76042 | 2147483647 348235 153 | 0.000 % |
1119.95/1120.45 c | 727353 | 5839 25009 76042 | 2147483647 348336 153 | 0.000 % |
1120.24/1120.76 c | 727463 | 5839 25009 76042 | 2147483647 348446 153 | 0.000 % |
1120.54/1121.06 c | 727584 | 5839 25009 76042 | 2147483647 348567 153 | 0.000 % |
1120.94/1121.46 c | 727718 | 5839 25009 76042 | 2147483647 348701 153 | 0.000 % |
1121.34/1121.82 c | 727864 | 5839 25009 76042 | 2147483647 348847 153 | 0.000 % |
1121.74/1122.21 c | 728024 | 5839 25009 76042 | 2147483647 349007 153 | 0.000 % |
1122.24/1122.73 c | 728201 | 5839 25009 76042 | 2147483647 349184 153 | 0.000 % |
1122.64/1123.16 c | 728396 | 5839 25009 76042 | 2147483647 349379 153 | 0.000 % |
1123.14/1123.68 c | 728609 | 5839 25009 76042 | 2147483647 349592 153 | 0.000 % |
1123.74/1124.29 c | 728845 | 5839 25009 76042 | 2147483647 349828 153 | 0.000 % |
1124.34/1124.87 c | 729101 | 5839 25009 76042 | 2147483647 350084 153 | 0.000 % |
1125.04/1125.53 c | 729383 | 5839 25009 76042 | 2147483647 350366 152 | 0.000 % |
1125.74/1126.25 c | 729692 | 5839 25009 76042 | 2147483647 350675 152 | 0.000 % |
1126.54/1127.00 c | 730033 | 5839 25009 76042 | 350985 351016 152 | 0.000 % |
1127.64/1128.15 c | 730406 | 5839 25009 76042 | 350985 304103 153 | 0.000 % |
1128.44/1128.97 c | 730815 | 5839 25009 76042 | 350985 304512 153 | 0.000 % |
1129.44/1129.92 c | 731265 | 5839 25009 76042 | 350985 304962 153 | 0.000 % |
1130.44/1130.92 c | 731759 | 5839 25009 76042 | 350985 305456 153 | 0.000 % |
1131.45/1131.96 c | 732302 | 5839 25009 76042 | 350985 305999 153 | 0.000 % |
1132.54/1133.07 c | 732899 | 5839 25009 76042 | 350985 306596 153 | 0.000 % |
1133.84/1134.37 c | 733554 | 5839 25009 76042 | 350985 307251 153 | 0.000 % |
1135.44/1135.96 c | 734274 | 5839 25009 76042 | 350985 307971 153 | 0.000 % |
1137.04/1137.52 c | 735066 | 5839 25009 76042 | 350985 308763 153 | 0.000 % |
1138.74/1139.23 c | 735938 | 5839 25009 76042 | 350985 309635 153 | 0.000 % |
1140.64/1141.15 c | 736896 | 5839 25009 76042 | 350985 310593 153 | 0.000 % |
1142.64/1143.18 c | 737950 | 5839 25009 76042 | 350985 311647 153 | 0.000 % |
1144.94/1145.48 c | 739112 | 5839 25009 76042 | 350985 312809 153 | 0.000 % |
1147.63/1148.10 c | 740385 | 5839 25009 76042 | 313697 314082 153 | 0.000 % |
1150.43/1150.97 c | 741786 | 5839 25009 76042 | 313697 282975 152 | 0.000 % |
1153.13/1153.66 c | 743327 | 5839 25009 76042 | 313697 284516 152 | 0.000 % |
1156.23/1156.70 c | 745021 | 5839 25009 76042 | 313697 286210 152 | 0.000 % |
1159.83/1160.37 c | 746884 | 5839 25009 76042 | 313697 288073 152 | 0.000 % |
1163.23/1163.71 c | 748933 | 5839 25009 76042 | 313697 290122 152 | 0.000 % |
1167.22/1167.71 c | 751187 | 5839 25009 76042 | 2147483647 292376 152 | 0.000 % |
1171.42/1171.97 c | 753666 | 5839 25009 76042 | 2147483647 294855 152 | 0.000 % |
1176.22/1176.71 c | 756392 | 5839 25009 76042 | 2147483647 297581 153 | 0.000 % |
1181.62/1182.18 c | 759389 | 5839 25009 76042 | 2147483647 300578 153 | 0.000 % |
1187.52/1188.01 c | 762685 | 5839 25009 76042 | 2147483647 303874 153 | 0.000 % |
1193.71/1194.28 c | 766310 | 5839 25009 76042 | 2147483647 307499 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-1832703-1242786383/watcher-1832703-1242786383 -o /tmp/evaluation-result-1832703-1242786383/solver-1832703-1242786383 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1832703-1242786383.cnf
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1230 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.07 1.08 1.01 3/64 3445
/proc/meminfo: memFree=1801240/2055920 swapFree=4178548/4192956
[pid=3445] ppid=3443 vsize=5356 CPUtime=0
/proc/3445/stat : 3445 (SatELiteGTI) S 3443 3445 2846 0 -1 4194304 276 0 0 0 0 0 0 0 18 0 1 0 306664462 5484544 235 1992294400 4194304 4889804 548682068832 18446744073709551615 244277018706 0 0 4100 65536 18446744071563648864 0 0 17 0 0 0
/proc/3445/statm: 1339 235 195 169 0 50 0
[pid=3446] ppid=3445 vsize=5356 CPUtime=0
/proc/3446/stat : 3446 (SatELiteGTI) S 3445 3445 2846 0 -1 4194368 51 25 0 0 0 0 0 0 21 0 1 0 306664462 5484544 238 1992294400 4194304 4889804 548682068832 18446744073709551615 244276847428 0 65536 4096 65538 18446744071563356171 0 0 17 0 0 0
/proc/3446/statm: 1339 238 198 169 0 50 0
[pid=3448] ppid=3446 vsize=5356 CPUtime=0
/proc/3448/stat : 3448 (SatELiteGTI) R 3446 3445 2846 0 -1 4194368 19 0 0 0 0 0 0 0 21 0 1 0 306664462 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 244276849959 0 0 4096 0 0 0 0 17 1 0 0
/proc/3448/statm: 1339 239 199 169 0 50 0
[startup+0.057382 s]
/proc/loadavg: 1.07 1.08 1.01 3/64 3445
/proc/meminfo: memFree=1801240/2055920 swapFree=4178548/4192956
[pid=3445] ppid=3443 vsize=5356 CPUtime=0
/proc/3445/stat : 3445 (SatELiteGTI) S 3443 3445 2846 0 -1 4194304 310 249 0 0 0 0 0 0 19 0 1 0 306664462 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 244276847428 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/3445/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.101386 s]
/proc/loadavg: 1.07 1.08 1.01 3/64 3445
/proc/meminfo: memFree=1801240/2055920 swapFree=4178548/4192956
[pid=3445] ppid=3443 vsize=5356 CPUtime=0
/proc/3445/stat : 3445 (SatELiteGTI) S 3443 3445 2846 0 -1 4194304 310 249 0 0 0 0 0 0 19 0 1 0 306664462 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 244276847428 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/3445/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.301401 s]
/proc/loadavg: 1.07 1.08 1.01 3/64 3445
/proc/meminfo: memFree=1801240/2055920 swapFree=4178548/4192956
[pid=3445] ppid=3443 vsize=5356 CPUtime=0.09
/proc/3445/stat : 3445 (SatELiteGTI) S 3443 3445 2846 0 -1 4194304 336 1153 0 0 0 0 9 0 15 0 1 0 306664462 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 244276847428 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3445/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 5356
[startup+0.701447 s]
/proc/loadavg: 1.07 1.08 1.01 3/64 3445
/proc/meminfo: memFree=1801240/2055920 swapFree=4178548/4192956
[pid=3445] ppid=3443 vsize=5356 CPUtime=0.09
/proc/3445/stat : 3445 (SatELiteGTI) S 3443 3445 2846 0 -1 4194304 336 1153 0 0 0 0 9 0 15 0 1 0 306664462 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 244276847428 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3445/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 5356
[startup+1.50154 s]
/proc/loadavg: 1.07 1.08 1.01 2/66 3451
/proc/meminfo: memFree=1795976/2055920 swapFree=4178548/4192956
[pid=3445] ppid=3443 vsize=5356 CPUtime=0.09
/proc/3445/stat : 3445 (SatELiteGTI) S 3443 3445 2846 0 -1 4194304 336 1153 0 0 0 0 9 0 15 0 1 0 306664462 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 244276847428 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3445/statm: 1339 239 197 169 0 50 0
[pid=3451] ppid=3445 vsize=7140 CPUtime=1.38
/proc/3451/stat : 3451 (minisat_static) R 3445 3445 2846 0 -1 4194304 1536 0 0 0 138 0 0 0 25 0 1 0 306664473 7311360 1522 1992294400 134512640 135215339 4294956240 18446744073709551615 134721382 0 0 4096 3 0 0 0 17 0 0 0
/proc/3451/statm: 1785 1522 77 171 0 1612 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 12496
[startup+3.10173 s]
/proc/loadavg: 1.07 1.08 1.01 2/66 3451
/proc/meminfo: memFree=1793928/2055920 swapFree=4178548/4192956
[pid=3445] ppid=3443 vsize=5356 CPUtime=0.09
/proc/3445/stat : 3445 (SatELiteGTI) S 3443 3445 2846 0 -1 4194304 336 1153 0 0 0 0 9 0 15 0 1 0 306664462 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 244276847428 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3445/statm: 1339 239 197 169 0 50 0
[pid=3451] ppid=3445 vsize=9924 CPUtime=2.98
/proc/3451/stat : 3451 (minisat_static) R 3445 3445 2846 0 -1 4194304 2231 0 0 0 297 1 0 0 25 0 1 0 306664473 10162176 2217 1992294400 134512640 135215339 4294956240 18446744073709551615 134529323 0 0 4096 3 0 0 0 17 1 0 0
/proc/3451/statm: 2481 2217 77 171 0 2308 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 15280
[startup+6.30108 s]
/proc/loadavg: 1.07 1.08 1.01 2/66 3451
/proc/meminfo: memFree=1787208/2055920 swapFree=4178548/4192956
[pid=3445] ppid=3443 vsize=5356 CPUtime=0.09
/proc/3445/stat : 3445 (SatELiteGTI) S 3443 3445 2846 0 -1 4194304 336 1153 0 0 0 0 9 0 15 0 1 0 306664462 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 244276847428 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3445/statm: 1339 239 197 169 0 50 0
[pid=3451] ppid=3445 vsize=15864 CPUtime=6.16
/proc/3451/stat : 3451 (minisat_static) R 3445 3445 2846 0 -1 4194304 3710 0 0 0 615 1 0 0 25 0 1 0 306664473 16244736 3696 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/3451/statm: 3966 3696 77 171 0 3793 0
Current children cumulated CPU time (s) 6.25
Current children cumulated vsize (KiB) 21220
[startup+12.7018 s]
/proc/loadavg: 1.06 1.08 1.01 2/66 3451
/proc/meminfo: memFree=1777288/2055920 swapFree=4178548/4192956
[pid=3445] ppid=3443 vsize=5356 CPUtime=0.09
/proc/3445/stat : 3445 (SatELiteGTI) S 3443 3445 2846 0 -1 4194304 336 1153 0 0 0 0 9 0 15 0 1 0 306664462 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 244276847428 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3445/statm: 1339 239 197 169 0 50 0
[pid=3451] ppid=3445 vsize=25348 CPUtime=12.56
/proc/3451/stat : 3451 (minisat_static) R 3445 3445 2846 0 -1 4194304 6054 0 0 0 1253 3 0 0 25 0 1 0 306664473 25956352 6040 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/3451/statm: 6337 6040 77 171 0 6164 0
Current children cumulated CPU time (s) 12.65
Current children cumulated vsize (KiB) 30704
[startup+25.5013 s]
/proc/loadavg: 1.05 1.08 1.01 2/66 3451
/proc/meminfo: memFree=1762504/2055920 swapFree=4178548/4192956
[pid=3445] ppid=3443 vsize=5356 CPUtime=0.09
/proc/3445/stat : 3445 (SatELiteGTI) S 3443 3445 2846 0 -1 4194304 336 1153 0 0 0 0 9 0 15 0 1 0 306664462 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 244276847428 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3445/statm: 1339 239 197 169 0 50 0
[pid=3451] ppid=3445 vsize=39460 CPUtime=25.35
/proc/3451/stat : 3451 (minisat_static) R 3445 3445 2846 0 -1 4194304 9593 0 0 0 2528 7 0 0 25 0 1 0 306664473 40407040 9579 1992294400 134512640 135215339 4294956240 18446744073709551615 134528849 0 0 4096 3 0 0 0 17 0 0 0
/proc/3451/statm: 9865 9579 77 171 0 9692 0
Current children cumulated CPU time (s) 25.44
Current children cumulated vsize (KiB) 44816
[startup+51.1012 s]
/proc/loadavg: 1.03 1.07 1.01 2/66 3451
/proc/meminfo: memFree=1740680/2055920 swapFree=4178548/4192956
[pid=3445] ppid=3443 vsize=5356 CPUtime=0.09
/proc/3445/stat : 3445 (SatELiteGTI) S 3443 3445 2846 0 -1 4194304 336 1153 0 0 0 0 9 0 15 0 1 0 306664462 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 244276847428 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3445/statm: 1339 239 197 169 0 50 0
[pid=3451] ppid=3445 vsize=61288 CPUtime=50.93
/proc/3451/stat : 3451 (minisat_static) R 3445 3445 2846 0 -1 4194304 15046 0 0 0 5080 13 0 0 25 0 1 0 306664473 62758912 15032 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 0 0 0
/proc/3451/statm: 15322 15032 77 171 0 15149 0
Current children cumulated CPU time (s) 51.02
Current children cumulated vsize (KiB) 66644
[startup+102.306 s]
/proc/loadavg: 1.01 1.06 1.00 2/66 3451
/proc/meminfo: memFree=1707656/2055920 swapFree=4178548/4192956
[pid=3445] ppid=3443 vsize=5356 CPUtime=0.09
/proc/3445/stat : 3445 (SatELiteGTI) S 3443 3445 2846 0 -1 4194304 336 1153 0 0 0 0 9 0 15 0 1 0 306664462 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 244276847428 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3445/statm: 1339 239 197 169 0 50 0
[pid=3451] ppid=3445 vsize=93764 CPUtime=102.11
/proc/3451/stat : 3451 (minisat_static) R 3445 3445 2846 0 -1 4194304 23159 0 0 0 10188 23 0 0 25 0 1 0 306664473 96014336 23145 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/3451/statm: 23441 23145 77 171 0 23268 0
Current children cumulated CPU time (s) 102.2
Current children cumulated vsize (KiB) 99120
[startup+162.302 s]
/proc/loadavg: 1.00 1.04 1.00 2/66 3451
/proc/meminfo: memFree=1677768/2055920 swapFree=4178548/4192956
[pid=3445] ppid=3443 vsize=5356 CPUtime=0.09
/proc/3445/stat : 3445 (SatELiteGTI) S 3443 3445 2846 0 -1 4194304 336 1153 0 0 0 0 9 0 15 0 1 0 306664462 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 244276847428 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3445/statm: 1339 239 197 169 0 50 0
[pid=3451] ppid=3445 vsize=123464 CPUtime=162.09
/proc/3451/stat : 3451 (minisat_static) R 3445 3445 2846 0 -1 4194304 30626 0 0 0 16175 34 0 0 25 0 1 0 306664473 126427136 30612 1992294400 134512640 135215339 4294956240 18446744073709551615 134528884 0 0 4096 3 0 0 0 17 0 0 0
/proc/3451/statm: 30866 30612 77 171 0 30693 0
Current children cumulated CPU time (s) 162.18
Current children cumulated vsize (KiB) 128820
[startup+222.302 s]
/proc/loadavg: 1.00 1.03 1.00 2/66 3451
/proc/meminfo: memFree=1652872/2055920 swapFree=4178548/4192956
[pid=3445] ppid=3443 vsize=5356 CPUtime=0.09
/proc/3445/stat : 3445 (SatELiteGTI) S 3443 3445 2846 0 -1 4194304 336 1153 0 0 0 0 9 0 15 0 1 0 306664462 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 244276847428 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3445/statm: 1339 239 197 169 0 50 0
[pid=3451] ppid=3445 vsize=148288 CPUtime=222.07
/proc/3451/stat : 3451 (minisat_static) R 3445 3445 2846 0 -1 4194304 36772 0 0 0 22165 42 0 0 25 0 1 0 306664473 151846912 36758 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/3451/statm: 37072 36758 77 171 0 36899 0
Current children cumulated CPU time (s) 222.16
Current children cumulated vsize (KiB) 153644
[startup+282.301 s]
/proc/loadavg: 1.00 1.02 1.00 2/66 3451
/proc/meminfo: memFree=1630280/2055920 swapFree=4178548/4192956
[pid=3445] ppid=3443 vsize=5356 CPUtime=0.09
/proc/3445/stat : 3445 (SatELiteGTI) S 3443 3445 2846 0 -1 4194304 336 1153 0 0 0 0 9 0 15 0 1 0 306664462 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 244276847428 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3445/statm: 1339 239 197 169 0 50 0
[pid=3451] ppid=3445 vsize=170860 CPUtime=282.05
/proc/3451/stat : 3451 (minisat_static) R 3445 3445 2846 0 -1 4194304 42437 0 0 0 28156 49 0 0 25 0 1 0 306664473 174960640 42423 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/3451/statm: 42715 42423 77 171 0 42542 0
Current children cumulated CPU time (s) 282.14
Current children cumulated vsize (KiB) 176216
[startup+342.301 s]
/proc/loadavg: 1.00 1.02 1.00 2/66 3451
/proc/meminfo: memFree=1609352/2055920 swapFree=4178548/4192956
[pid=3445] ppid=3443 vsize=5356 CPUtime=0.09
/proc/3445/stat : 3445 (SatELiteGTI) S 3443 3445 2846 0 -1 4194304 336 1153 0 0 0 0 9 0 15 0 1 0 306664462 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 244276847428 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3445/statm: 1339 239 197 169 0 50 0
[pid=3451] ppid=3445 vsize=191928 CPUtime=342.03
/proc/3451/stat : 3451 (minisat_static) R 3445 3445 2846 0 -1 4194304 47602 0 0 0 34147 56 0 0 25 0 1 0 306664473 196534272 47588 1992294400 134512640 135215339 4294956240 18446744073709551615 134528863 0 0 4096 3 0 0 0 17 0 0 0
/proc/3451/statm: 47982 47588 77 171 0 47809 0
Current children cumulated CPU time (s) 342.12
Current children cumulated vsize (KiB) 197284
[startup+402.301 s]
/proc/loadavg: 1.00 1.01 1.00 2/66 3451
/proc/meminfo: memFree=1601864/2055920 swapFree=4178548/4192956
[pid=3445] ppid=3443 vsize=5356 CPUtime=0.09
/proc/3445/stat : 3445 (SatELiteGTI) S 3443 3445 2846 0 -1 4194304 336 1153 0 0 0 0 9 0 15 0 1 0 306664462 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 244276847428 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3445/statm: 1339 239 197 169 0 50 0
[pid=3451] ppid=3445 vsize=199188 CPUtime=402
################
# More data... #
################
/proc/3451/statm: 51018 50626 77 171 0 50845 0
Current children cumulated CPU time (s) 582.03
Current children cumulated vsize (KiB) 209428
[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 3451
/proc/meminfo: memFree=1592776/2055920 swapFree=4178548/4192956
[pid=3445] ppid=3443 vsize=5356 CPUtime=0.09
/proc/3445/stat : 3445 (SatELiteGTI) S 3443 3445 2846 0 -1 4194304 336 1153 0 0 0 0 9 0 15 0 1 0 306664462 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 244276847428 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3445/statm: 1339 239 197 169 0 50 0
[pid=3451] ppid=3445 vsize=207768 CPUtime=641.93
/proc/3451/stat : 3451 (minisat_static) R 3445 3445 2846 0 -1 4194304 51574 0 0 0 64132 61 0 0 25 0 1 0 306664473 212754432 51560 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/3451/statm: 51942 51560 77 171 0 51769 0
Current children cumulated CPU time (s) 642.02
Current children cumulated vsize (KiB) 213124
[startup+702.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 3451
/proc/meminfo: memFree=1590088/2055920 swapFree=4178548/4192956
[pid=3445] ppid=3443 vsize=5356 CPUtime=0.09
/proc/3445/stat : 3445 (SatELiteGTI) S 3443 3445 2846 0 -1 4194304 336 1153 0 0 0 0 9 0 15 0 1 0 306664462 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 244276847428 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3445/statm: 1339 239 197 169 0 50 0
[pid=3451] ppid=3445 vsize=210408 CPUtime=701.9
/proc/3451/stat : 3451 (minisat_static) R 3445 3445 2846 0 -1 4194304 52222 0 0 0 70128 62 0 0 25 0 1 0 306664473 215457792 52208 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/3451/statm: 52602 52208 77 171 0 52429 0
Current children cumulated CPU time (s) 701.99
Current children cumulated vsize (KiB) 215764
[startup+762.306 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 3451
/proc/meminfo: memFree=1580744/2055920 swapFree=4178548/4192956
[pid=3445] ppid=3443 vsize=5356 CPUtime=0.09
/proc/3445/stat : 3445 (SatELiteGTI) S 3443 3445 2846 0 -1 4194304 336 1153 0 0 0 0 9 0 15 0 1 0 306664462 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 244276847428 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3445/statm: 1339 239 197 169 0 50 0
[pid=3451] ppid=3445 vsize=219648 CPUtime=761.9
/proc/3451/stat : 3451 (minisat_static) R 3445 3445 2846 0 -1 4194304 54547 0 0 0 76125 65 0 0 25 0 1 0 306664473 224919552 54533 1992294400 134512640 135215339 4294956240 18446744073709551615 134528806 0 0 4096 3 0 0 0 17 0 0 0
/proc/3451/statm: 54912 54533 77 171 0 54739 0
Current children cumulated CPU time (s) 761.99
Current children cumulated vsize (KiB) 225004
[startup+822.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 3451
/proc/meminfo: memFree=1579784/2055920 swapFree=4178548/4192956
[pid=3445] ppid=3443 vsize=5356 CPUtime=0.09
/proc/3445/stat : 3445 (SatELiteGTI) S 3443 3445 2846 0 -1 4194304 336 1153 0 0 0 0 9 0 15 0 1 0 306664462 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 244276847428 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3445/statm: 1339 239 197 169 0 50 0
[pid=3451] ppid=3445 vsize=220440 CPUtime=821.87
/proc/3451/stat : 3451 (minisat_static) R 3445 3445 2846 0 -1 4194304 54757 0 0 0 82122 65 0 0 25 0 1 0 306664473 225730560 54743 1992294400 134512640 135215339 4294956240 18446744073709551615 134528742 0 0 4096 3 0 0 0 17 0 0 0
/proc/3451/statm: 55110 54743 77 171 0 54937 0
Current children cumulated CPU time (s) 821.96
Current children cumulated vsize (KiB) 225796
[startup+882.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 3451
/proc/meminfo: memFree=1579720/2055920 swapFree=4178548/4192956
[pid=3445] ppid=3443 vsize=5356 CPUtime=0.09
/proc/3445/stat : 3445 (SatELiteGTI) S 3443 3445 2846 0 -1 4194304 336 1153 0 0 0 0 9 0 15 0 1 0 306664462 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 244276847428 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3445/statm: 1339 239 197 169 0 50 0
[pid=3451] ppid=3445 vsize=220440 CPUtime=881.85
/proc/3451/stat : 3451 (minisat_static) R 3445 3445 2846 0 -1 4194304 54757 0 0 0 88120 65 0 0 25 0 1 0 306664473 225730560 54743 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/3451/statm: 55110 54743 77 171 0 54937 0
Current children cumulated CPU time (s) 881.94
Current children cumulated vsize (KiB) 225796
[startup+942.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 3451
/proc/meminfo: memFree=1579656/2055920 swapFree=4178548/4192956
[pid=3445] ppid=3443 vsize=5356 CPUtime=0.09
/proc/3445/stat : 3445 (SatELiteGTI) S 3443 3445 2846 0 -1 4194304 336 1153 0 0 0 0 9 0 15 0 1 0 306664462 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 244276847428 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3445/statm: 1339 239 197 169 0 50 0
[pid=3451] ppid=3445 vsize=220440 CPUtime=941.83
/proc/3451/stat : 3451 (minisat_static) R 3445 3445 2846 0 -1 4194304 54757 0 0 0 94118 65 0 0 25 0 1 0 306664473 225730560 54743 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 0 0 0
/proc/3451/statm: 55110 54743 77 171 0 54937 0
Current children cumulated CPU time (s) 941.92
Current children cumulated vsize (KiB) 225796
[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 3451
/proc/meminfo: memFree=1576200/2055920 swapFree=4178548/4192956
[pid=3445] ppid=3443 vsize=5356 CPUtime=0.09
/proc/3445/stat : 3445 (SatELiteGTI) S 3443 3445 2846 0 -1 4194304 336 1153 0 0 0 0 9 0 15 0 1 0 306664462 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 244276847428 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3445/statm: 1339 239 197 169 0 50 0
[pid=3451] ppid=3445 vsize=223872 CPUtime=1001.8
/proc/3451/stat : 3451 (minisat_static) R 3445 3445 2846 0 -1 4194304 55609 0 0 0 100114 66 0 0 25 0 1 0 306664473 229244928 55595 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/3451/statm: 55968 55595 77 171 0 55795 0
Current children cumulated CPU time (s) 1001.89
Current children cumulated vsize (KiB) 229228
[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 3451
/proc/meminfo: memFree=1576072/2055920 swapFree=4178548/4192956
[pid=3445] ppid=3443 vsize=5356 CPUtime=0.09
/proc/3445/stat : 3445 (SatELiteGTI) S 3443 3445 2846 0 -1 4194304 336 1153 0 0 0 0 9 0 15 0 1 0 306664462 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 244276847428 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3445/statm: 1339 239 197 169 0 50 0
[pid=3451] ppid=3445 vsize=223872 CPUtime=1061.78
/proc/3451/stat : 3451 (minisat_static) R 3445 3445 2846 0 -1 4194304 55609 0 0 0 106112 66 0 0 25 0 1 0 306664473 229244928 55595 1992294400 134512640 135215339 4294956240 18446744073709551615 134528691 0 0 4096 3 0 0 0 17 0 0 0
/proc/3451/statm: 55968 55595 77 171 0 55795 0
Current children cumulated CPU time (s) 1061.87
Current children cumulated vsize (KiB) 229228
[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 3453
/proc/meminfo: memFree=1571592/2055920 swapFree=4178548/4192956
[pid=3445] ppid=3443 vsize=5356 CPUtime=0.09
/proc/3445/stat : 3445 (SatELiteGTI) S 3443 3445 2846 0 -1 4194304 336 1153 0 0 0 0 9 0 15 0 1 0 306664462 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 244276847428 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3445/statm: 1339 239 197 169 0 50 0
[pid=3451] ppid=3445 vsize=228360 CPUtime=1121.75
/proc/3451/stat : 3451 (minisat_static) R 3445 3445 2846 0 -1 4194304 56736 0 0 0 112107 68 0 0 25 0 1 0 306664473 233840640 56722 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/3451/statm: 57090 56722 77 171 0 56917 0
Current children cumulated CPU time (s) 1121.84
Current children cumulated vsize (KiB) 233716
[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 3453
/proc/meminfo: memFree=1570248/2055920 swapFree=4178548/4192956
[pid=3445] ppid=3443 vsize=5356 CPUtime=0.09
/proc/3445/stat : 3445 (SatELiteGTI) S 3443 3445 2846 0 -1 4194304 336 1153 0 0 0 0 9 0 15 0 1 0 306664462 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 244276847428 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3445/statm: 1339 239 197 169 0 50 0
[pid=3451] ppid=3445 vsize=229548 CPUtime=1181.73
/proc/3451/stat : 3451 (minisat_static) R 3445 3445 2846 0 -1 4194304 57017 0 0 0 118104 69 0 0 25 0 1 0 306664473 235057152 57003 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 0 0 0
/proc/3451/statm: 57387 57003 77 171 0 57214 0
Current children cumulated CPU time (s) 1181.82
Current children cumulated vsize (KiB) 234904
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1200.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 3453
/proc/meminfo: memFree=1570184/2055920 swapFree=4178548/4192956
[pid=3445] ppid=3443 vsize=5356 CPUtime=0.09
/proc/3445/stat : 3445 (SatELiteGTI) S 3443 3445 2846 0 -1 4194304 336 1153 0 0 0 0 9 0 15 0 1 0 306664462 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 244276847428 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3445/statm: 1339 239 197 169 0 50 0
[pid=3451] ppid=3445 vsize=229548 CPUtime=1199.92
/proc/3451/stat : 3451 (minisat_static) R 3445 3445 2846 0 -1 4194304 57017 0 0 0 119923 69 0 0 25 0 1 0 306664473 235057152 57003 1992294400 134512640 135215339 4294956240 18446744073709551615 134528788 0 0 4096 3 0 0 0 17 0 0 0
/proc/3451/statm: 57387 57003 77 171 0 57214 0
Current children cumulated CPU time (s) 1200.01
Current children cumulated vsize (KiB) 234904
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1200.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 3453
/proc/meminfo: memFree=1570184/2055920 swapFree=4178548/4192956
[pid=3445] ppid=3443 vsize=5356 CPUtime=0.09
/proc/3445/stat : 3445 (SatELiteGTI) S 3443 3445 2846 0 -1 4194304 336 1153 0 0 0 0 9 0 15 0 1 0 306664462 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 244276847428 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3445/statm: 1339 239 197 169 0 50 0
[pid=3451] ppid=3445 vsize=229548 CPUtime=1199.92
/proc/3451/stat : 3451 (minisat_static) R 3445 3445 2846 0 -1 4194304 57017 0 0 0 119923 69 0 0 25 0 1 0 306664473 235057152 57003 1992294400 134512640 135215339 4294956240 18446744073709551615 134528788 0 0 4096 3 0 0 0 17 0 0 0
/proc/3451/statm: 57387 57003 77 171 0 57214 0
Current children cumulated CPU time (s) 1200.01
Current children cumulated vsize (KiB) 234904
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 3445 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=102984
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=5999
# CPU time returned by wait4() is 0.108983
# while last known CPU time is 1200.01
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1200.51
CPU time (s): 1200.01
CPU user time (s): 1199.32
CPU system time (s): 0.69
CPU usage (%): 99.9582
Max. virtual memory (cumulated for all children) (KiB): 234904
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.102984
system time used= 0.005999
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1489
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= 15
involuntary context switches= 11
runsolver used 1.3318 second user time and 2.96755 second system time
The end
Begin job on node63 at 2009-05-20 04:26:23
IDJOB=1832703
IDBENCH=70315
IDSOLVER=671
FILE ID=node63/1832703-1242786383
PBS_JOBID= 9322379
Free space on /tmp= 66244 MiB
SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT09/RANDOM/LARGE/3SAT/UNKNOWN/6000/unif-k3-r4.2-v6000-c25200-S762724712-048.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1832703-1242786383/watcher-1832703-1242786383 -o /tmp/evaluation-result-1832703-1242786383/solver-1832703-1242786383 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1832703-1242786383.cnf
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= ded0a20d749cf4becf9e25906c1822a6
RANDOM SEED=994691835
node63.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.236
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.236
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5996.54
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1801784 kB
Buffers: 24600 kB
Cached: 181844 kB
SwapCached: 7892 kB
Active: 40796 kB
Inactive: 175284 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1801784 kB
SwapTotal: 4192956 kB
SwapFree: 4178548 kB
Dirty: 2048 kB
Writeback: 0 kB
Mapped: 14864 kB
Slab: 23908 kB
Committed_AS: 1111212 kB
PageTables: 1456 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264960 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 66244 MiB
End job on node63 at 2009-05-20 04:46:25