0.00/0.00 c Parsing...
0.00/0.03 c ==============================================================================
0.00/0.03 c | | ORIGINAL | LEARNT | |
0.00/0.03 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress |
0.00/0.03 c ==============================================================================
0.00/0.03 c | 0 | 33600 100800 | 10079 0 0 nan | 0.000 % |
0.00/0.10 c | 0 | 33351 101258 | -- 0 -- -- | -- | -249/458
0.00/0.10 c ==============================================================================
0.00/0.10 c Result : #vars: 7797 #clauses: 33351 #literals: 101258
0.00/0.10 c CPU time: 0.097985 s
0.00/0.10 c ==============================================================================
0.00/0.14 c This is MiniSat 2.0 beta
0.00/0.14 c WARNING: for repeatability, setting FPU to use double precision
0.00/0.14 c ============================[ Problem Statistics ]=============================
0.00/0.14 c | |
0.00/0.14 c | Number of variables: 7797 |
0.00/0.14 c | Number of clauses: 33351 |
0.00/0.16 c | Parsing time: 0.02 s |
0.00/0.16 c ============================[ Search Statistics ]==============================
0.00/0.16 c | Conflicts | ORIGINAL | LEARNT | Progress |
0.00/0.16 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
0.00/0.16 c ===============================================================================
0.00/0.16 c | 0 | 7797 33351 101258 | 11117 0 nan | 0.000 % |
0.00/0.19 c | 100 | 7797 33351 101258 | 11117 100 116 | 0.000 % |
0.12/0.21 c | 201 | 7797 33351 101258 | 11117 201 114 | 0.000 % |
0.12/0.24 c | 301 | 7797 33351 101258 | 11117 301 114 | 0.000 % |
0.12/0.26 c | 411 | 7797 33351 101258 | 11117 411 115 | 0.000 % |
0.12/0.28 c | 511 | 7797 33351 101258 | 11117 511 115 | 0.000 % |
0.12/0.31 c | 622 | 7797 33351 101258 | 11117 622 119 | 0.000 % |
0.12/0.34 c | 743 | 7797 33351 101258 | 11117 743 125 | 0.000 % |
0.12/0.36 c | 843 | 7797 33351 101258 | 11117 843 125 | 0.000 % |
0.12/0.39 c | 953 | 7797 33351 101258 | 11117 953 128 | 0.000 % |
0.12/0.42 c | 1075 | 7797 33351 101258 | 11117 1075 128 | 0.000 % |
0.12/0.45 c | 1208 | 7797 33351 101258 | 11117 1208 125 | 0.000 % |
0.12/0.48 c | 1310 | 7797 33351 101258 | 11117 1310 126 | 0.000 % |
0.12/0.51 c | 1421 | 7797 33351 101258 | 11117 1421 127 | 0.000 % |
0.12/0.54 c | 1542 | 7797 33351 101258 | 11117 1542 128 | 0.000 % |
0.12/0.57 c | 1677 | 7797 33351 101258 | 11117 1677 132 | 0.000 % |
0.12/0.61 c | 1824 | 7797 33351 101258 | 11117 1824 131 | 0.000 % |
0.12/0.63 c | 1924 | 7797 33351 101258 | 11117 1924 131 | 0.000 % |
0.12/0.66 c | 2036 | 7797 33351 101258 | 11117 2036 131 | 0.000 % |
0.12/0.70 c | 2159 | 7797 33351 101258 | 11117 2159 129 | 0.000 % |
0.12/0.73 c | 2293 | 7797 33351 101258 | 11117 2293 131 | 0.000 % |
0.12/0.77 c | 2441 | 7797 33351 101258 | 11117 2441 130 | 0.000 % |
0.12/0.81 c | 2601 | 7797 33351 101258 | 11117 2601 131 | 0.000 % |
0.12/0.83 c | 2703 | 7797 33351 101258 | 11117 2703 130 | 0.000 % |
0.12/0.86 c | 2813 | 7797 33351 101258 | 11117 2813 130 | 0.000 % |
0.12/0.89 c | 2936 | 7797 33351 101258 | 11117 2936 129 | 0.000 % |
0.12/0.93 c | 3069 | 7797 33351 101258 | 11117 3069 128 | 0.000 % |
0.12/0.96 c | 3215 | 7797 33351 101258 | 11117 3215 128 | 0.000 % |
0.97/1.01 c | 3378 | 7797 33351 101258 | 11117 3378 128 | 0.000 % |
0.97/1.05 c | 3554 | 7797 33351 101258 | 11117 3554 128 | 0.000 % |
0.97/1.08 c | 3657 | 7797 33351 101258 | 11117 3657 127 | 0.000 % |
1.08/1.10 c | 3769 | 7797 33351 101258 | 11117 3769 127 | 0.000 % |
1.08/1.13 c | 3890 | 7797 33351 101258 | 11117 3890 126 | 0.000 % |
1.08/1.16 c | 4023 | 7797 33351 101258 | 11117 4023 126 | 0.000 % |
1.08/1.20 c | 4171 | 7797 33351 101258 | 11117 4171 125 | 0.000 % |
1.17/1.24 c | 4332 | 7797 33351 101258 | 11117 4332 126 | 0.000 % |
1.17/1.28 c | 4508 | 7797 33351 101258 | 11117 4508 127 | 0.000 % |
1.27/1.33 c | 4702 | 7797 33351 101258 | 11117 4702 127 | 0.000 % |
1.27/1.36 c | 4802 | 7797 33351 101258 | 11117 4802 127 | 0.000 % |
1.27/1.39 c | 4914 | 7797 33351 101258 | 11117 4914 127 | 0.000 % |
1.37/1.42 c | 5036 | 7797 33351 101258 | 11117 5036 128 | 0.000 % |
1.37/1.46 c | 5169 | 7797 33351 101258 | 11117 5169 128 | 0.000 % |
1.37/1.49 c | 5315 | 7797 33351 101258 | 11117 5315 127 | 0.000 % |
1.47/1.53 c | 5475 | 7797 33351 101258 | 11117 5475 128 | 0.000 % |
1.47/1.58 c | 5652 | 7797 33351 101258 | 11117 5652 127 | 0.000 % |
1.57/1.63 c | 5846 | 7797 33351 101258 | 11117 5846 127 | 0.000 % |
1.57/1.68 c | 6059 | 7797 33351 101258 | 11117 6059 127 | 0.000 % |
1.67/1.71 c | 6159 | 7797 33351 101258 | 11117 6159 127 | 0.000 % |
1.67/1.74 c | 6269 | 7797 33351 101258 | 11117 6269 127 | 0.000 % |
1.67/1.77 c | 6390 | 7797 33351 101258 | 11117 6390 127 | 0.000 % |
1.77/1.81 c | 6524 | 7797 33351 101258 | 11117 6524 127 | 0.000 % |
1.77/1.85 c | 6670 | 7797 33351 101258 | 11117 6670 127 | 0.000 % |
1.77/1.89 c | 6830 | 7797 33351 101258 | 11117 6830 127 | 0.000 % |
1.87/1.93 c | 7008 | 7797 33351 101258 | 11117 7008 127 | 0.000 % |
1.87/1.99 c | 7202 | 7797 33351 101258 | 11117 7202 128 | 0.000 % |
1.97/2.04 c | 7414 | 7797 33351 101258 | 11117 7414 129 | 0.000 % |
2.07/2.11 c | 7647 | 7797 33351 101258 | 11117 7647 130 | 0.000 % |
2.07/2.14 c | 7747 | 7797 33351 101258 | 11117 7747 130 | 0.000 % |
2.07/2.17 c | 7858 | 7797 33351 101258 | 11117 7858 130 | 0.000 % |
2.17/2.20 c | 7979 | 7797 33351 101258 | 11117 7979 130 | 0.000 % |
2.17/2.24 c | 8112 | 7797 33351 101258 | 11117 8112 129 | 0.000 % |
2.17/2.28 c | 8259 | 7797 33351 101258 | 11117 8259 129 | 0.000 % |
2.27/2.32 c | 8420 | 7797 33351 101258 | 11117 8420 129 | 0.000 % |
2.27/2.37 c | 8596 | 7797 33351 101258 | 11117 8596 129 | 0.000 % |
2.37/2.42 c | 8789 | 7797 33351 101258 | 11117 8789 129 | 0.000 % |
2.37/2.48 c | 9004 | 7797 33351 101258 | 11117 9004 129 | 0.000 % |
2.47/2.55 c | 9240 | 7797 33351 101258 | 11117 9240 129 | 0.000 % |
2.56/2.62 c | 9497 | 7797 33351 101258 | 11117 9497 130 | 0.000 % |
2.56/2.65 c | 9597 | 7797 33351 101258 | 11117 9597 130 | 0.000 % |
2.56/2.68 c | 9707 | 7797 33351 101258 | 11117 9707 130 | 0.000 % |
2.66/2.71 c | 9829 | 7797 33351 101258 | 11117 9829 130 | 0.000 % |
2.66/2.75 c | 9963 | 7797 33351 101258 | 11117 9963 130 | 0.000 % |
2.66/2.79 c | 10110 | 7797 33351 101258 | 2147483647 10110 130 | 0.000 % |
2.76/2.84 c | 10270 | 7797 33351 101258 | 2147483647 10270 131 | 0.000 % |
2.86/2.90 c | 10447 | 7797 33351 101258 | 2147483647 10447 131 | 0.000 % |
2.86/2.95 c | 10640 | 7797 33351 101258 | 2147483647 10640 131 | 0.000 % |
2.96/3.01 c | 10855 | 7797 33351 101258 | 2147483647 10855 132 | 0.000 % |
2.96/3.08 c | 11088 | 7797 33351 101258 | 2147483647 11088 132 | 0.000 % |
3.06/3.16 c | 11344 | 7797 33351 101258 | 2147483647 11344 132 | 0.000 % |
3.17/3.25 c | 11625 | 7797 33351 101258 | 2147483647 11625 132 | 0.000 % |
3.17/3.28 c | 11726 | 7797 33351 101258 | 2147483647 11726 132 | 0.000 % |
3.27/3.31 c | 11838 | 7797 33351 101258 | 2147483647 11838 132 | 0.000 % |
3.27/3.34 c | 11960 | 7797 33351 101258 | 2147483647 11960 132 | 0.000 % |
3.27/3.39 c | 12093 | 7797 33351 101258 | 2147483647 12093 133 | 0.000 % |
3.37/3.43 c | 12239 | 7797 33351 101258 | 2147483647 12239 133 | 0.000 % |
3.37/3.48 c | 12399 | 7797 33351 101258 | 2147483647 12399 133 | 0.000 % |
3.47/3.54 c | 12575 | 7797 33351 101258 | 2147483647 12575 133 | 0.000 % |
3.47/3.59 c | 12768 | 7797 33351 101258 | 2147483647 12768 133 | 0.000 % |
3.57/3.66 c | 12980 | 7797 33351 101258 | 2147483647 12980 133 | 0.000 % |
3.67/3.72 c | 13213 | 7797 33351 101258 | 2147483647 13213 134 | 0.000 % |
3.77/3.80 c | 13470 | 7797 33351 101258 | 2147483647 13470 134 | 0.000 % |
3.77/3.89 c | 13755 | 7797 33351 101258 | 2147483647 13755 135 | 0.000 % |
3.87/3.98 c | 14065 | 7797 33351 101258 | 2147483647 14065 135 | 0.000 % |
3.97/4.02 c | 14166 | 7797 33351 101258 | 2147483647 14166 135 | 0.000 % |
3.97/4.05 c | 14276 | 7797 33351 101258 | 2147483647 14276 135 | 0.000 % |
3.97/4.09 c | 14399 | 7797 33351 101258 | 2147483647 14399 135 | 0.000 % |
4.07/4.14 c | 14532 | 7797 33351 101258 | 2147483647 14532 135 | 0.000 % |
4.07/4.18 c | 14678 | 7797 33351 101258 | 2147483647 14678 135 | 0.000 % |
4.17/4.24 c | 14839 | 7797 33351 101258 | 2147483647 14839 135 | 0.000 % |
4.17/4.29 c | 15015 | 7797 33351 101258 | 2147483647 15015 135 | 0.000 % |
4.27/4.36 c | 15210 | 7797 33351 101258 | 2147483647 15210 135 | 0.000 % |
4.37/4.43 c | 15422 | 7797 33351 101258 | 2147483647 15422 135 | 0.000 % |
4.47/4.50 c | 15656 | 7797 33351 101258 | 2147483647 15656 135 | 0.000 % |
4.47/4.58 c | 15913 | 7797 33351 101258 | 2147483647 15913 134 | 0.000 % |
4.57/4.68 c | 16194 | 7797 33351 101258 | 2147483647 16194 135 | 0.000 % |
4.67/4.78 c | 16503 | 7797 33351 101258 | 2147483647 16503 135 | 0.000 % |
4.77/4.89 c | 16842 | 7797 33351 101258 | 2147483647 16842 135 | 0.000 % |
4.86/4.93 c | 16942 | 7797 33351 101258 | 2147483647 16942 135 | 0.000 % |
4.86/4.96 c | 17053 | 7797 33351 101258 | 2147483647 17053 135 | 0.000 % |
4.96/5.00 c | 17175 | 7797 33351 101258 | 2147483647 17175 135 | 0.000 % |
4.96/5.05 c | 17308 | 7797 33351 101258 | 2147483647 17308 135 | 0.000 % |
5.07/5.10 c | 17454 | 7797 33351 101258 | 2147483647 17454 135 | 0.000 % |
5.07/5.16 c | 17614 | 7797 33351 101258 | 2147483647 17614 135 | 0.000 % |
5.17/5.22 c | 17790 | 7797 33351 101258 | 2147483647 17790 135 | 0.000 % |
5.17/5.29 c | 17983 | 7797 33351 101258 | 2147483647 17983 135 | 0.000 % |
5.27/5.36 c | 18197 | 7797 33351 101258 | 2147483647 18197 135 | 0.000 % |
5.37/5.44 c | 18431 | 7797 33351 101258 | 2147483647 18431 135 | 0.000 % |
5.47/5.53 c | 18688 | 7797 33351 101258 | 2147483647 18688 135 | 0.000 % |
5.57/5.63 c | 18971 | 7797 33351 101258 | 2147483647 18971 135 | 0.000 % |
5.67/5.74 c | 19280 | 7797 33351 101258 | 2147483647 19280 135 | 0.000 % |
5.77/5.86 c | 19626 | 7797 33351 101258 | 2147483647 19626 135 | 0.000 % |
5.87/6.00 c | 20000 | 7797 33351 101258 | 2147483647 20000 136 | 0.000 % |
5.97/6.04 c | 20101 | 7797 33351 101258 | 2147483647 20101 136 | 0.000 % |
5.97/6.08 c | 20211 | 7797 33351 101258 | 2147483647 20211 136 | 0.000 % |
6.07/6.13 c | 20332 | 7797 33351 101258 | 2147483647 20332 136 | 0.000 % |
6.07/6.18 c | 20465 | 7797 33351 101258 | 2147483647 20465 136 | 0.000 % |
6.17/6.24 c | 20611 | 7797 33351 101258 | 2147483647 20611 136 | 0.000 % |
6.27/6.30 c | 20773 | 7797 33351 101258 | 2147483647 20773 136 | 0.000 % |
6.27/6.36 c | 20950 | 7797 33351 101258 | 2147483647 20950 136 | 0.000 % |
6.37/6.44 c | 21144 | 7797 33351 101258 | 2147483647 21144 136 | 0.000 % |
6.47/6.51 c | 21356 | 7797 33351 101258 | 2147483647 21356 136 | 0.000 % |
6.57/6.60 c | 21589 | 7797 33351 101258 | 2147483647 21589 136 | 0.000 % |
6.67/6.70 c | 21847 | 7797 33351 101258 | 2147483647 21847 136 | 0.000 % |
6.67/6.80 c | 22130 | 7797 33351 101258 | 2147483647 22130 136 | 0.000 % |
6.86/6.91 c | 22440 | 7797 33351 101258 | 2147483647 22440 136 | 0.000 % |
6.96/7.04 c | 22781 | 7797 33351 101258 | 2147483647 22781 137 | 0.000 % |
7.06/7.17 c | 23154 | 7797 33351 101258 | 2147483647 23154 137 | 0.000 % |
7.26/7.31 c | 23565 | 7797 33351 101258 | 2147483647 23565 137 | 0.000 % |
7.26/7.35 c | 23666 | 7797 33351 101258 | 2147483647 23666 137 | 0.000 % |
7.36/7.40 c | 23776 | 7797 33351 101258 | 2147483647 23776 137 | 0.000 % |
7.36/7.45 c | 23897 | 7797 33351 101258 | 2147483647 23897 137 | 0.000 % |
7.46/7.50 c | 24030 | 7797 33351 101258 | 2147483647 24030 137 | 0.000 % |
7.46/7.56 c | 24176 | 7797 33351 101258 | 2147483647 24176 137 | 0.000 % |
7.57/7.63 c | 24336 | 7797 33351 101258 | 2147483647 24336 138 | 0.000 % |
7.57/7.69 c | 24513 | 7797 33351 101258 | 2147483647 24513 137 | 0.000 % |
7.67/7.76 c | 24706 | 7797 33351 101258 | 2147483647 24706 138 | 0.000 % |
7.76/7.86 c | 24919 | 7797 33351 101258 | 2147483647 24919 138 | 0.000 % |
7.86/7.95 c | 25152 | 7797 33351 101258 | 2147483647 25152 138 | 0.000 % |
7.96/8.05 c | 25409 | 7797 33351 101258 | 2147483647 25409 138 | 0.000 % |
8.06/8.16 c | 25690 | 7797 33351 101258 | 2147483647 25690 139 | 0.000 % |
8.16/8.29 c | 25999 | 7797 33351 101258 | 2147483647 25999 139 | 0.000 % |
8.36/8.42 c | 26338 | 7797 33351 101258 | 2147483647 26338 139 | 0.000 % |
8.47/8.56 c | 26710 | 7797 33351 101258 | 2147483647 26710 139 | 0.000 % |
8.67/8.72 c | 27120 | 7797 33351 101258 | 2147483647 27120 139 | 0.000 % |
8.77/8.89 c | 27570 | 7797 33351 101258 | 2147483647 27570 140 | 0.000 % |
8.87/8.94 c | 27670 | 7797 33351 101258 | 2147483647 27670 140 | 0.000 % |
8.87/8.99 c | 27781 | 7797 33351 101258 | 2147483647 27781 140 | 0.000 % |
8.97/9.03 c | 27902 | 7797 33351 101258 | 2147483647 27902 140 | 0.000 % |
8.97/9.10 c | 28035 | 7797 33351 101258 | 2147483647 28035 140 | 0.000 % |
9.07/9.16 c | 28184 | 7797 33351 101258 | 2147483647 28184 140 | 0.000 % |
9.17/9.23 c | 28345 | 7797 33351 101258 | 2147483647 28345 140 | 0.000 % |
9.27/9.31 c | 28522 | 7797 33351 101258 | 2147483647 28522 140 | 0.000 % |
9.27/9.39 c | 28717 | 7797 33351 101258 | 2147483647 28717 139 | 0.000 % |
9.37/9.48 c | 28930 | 7797 33351 101258 | 2147483647 28930 139 | 0.000 % |
9.46/9.58 c | 29163 | 7797 33351 101258 | 2147483647 29163 140 | 0.000 % |
9.56/9.67 c | 29421 | 7797 33351 101258 | 2147483647 29421 140 | 0.000 % |
9.66/9.80 c | 29702 | 7797 33351 101258 | 2147483647 29702 140 | 0.000 % |
9.87/9.93 c | 30011 | 7797 33351 101258 | 2147483647 30011 139 | 0.000 % |
9.96/10.08 c | 30351 | 7797 33351 101258 | 2147483647 30351 140 | 0.000 % |
10.16/10.23 c | 30725 | 7797 33351 101258 | 2147483647 30725 140 | 0.000 % |
10.36/10.42 c | 31136 | 7797 33351 101258 | 2147483647 31136 140 | 0.000 % |
10.46/10.59 c | 31586 | 7797 33351 101258 | 2147483647 31586 141 | 0.000 % |
10.77/10.81 c | 32081 | 7797 33351 101258 | 2147483647 32081 141 | 0.000 % |
10.77/10.86 c | 32181 | 7797 33351 101258 | 2147483647 32181 141 | 0.000 % |
10.87/10.91 c | 32294 | 7797 33351 101258 | 2147483647 32294 141 | 0.000 % |
10.87/10.97 c | 32415 | 7797 33351 101258 | 2147483647 32415 141 | 0.000 % |
10.97/11.03 c | 32548 | 7797 33351 101258 | 2147483647 32548 141 | 0.000 % |
10.97/11.09 c | 32695 | 7797 33351 101258 | 2147483647 32695 141 | 0.000 % |
11.06/11.16 c | 32855 | 7797 33351 101258 | 2147483647 32855 140 | 0.000 % |
11.16/11.24 c | 33035 | 7797 33351 101258 | 2147483647 33035 141 | 0.000 % |
11.26/11.33 c | 33230 | 7797 33351 101258 | 2147483647 33230 141 | 0.000 % |
11.36/11.43 c | 33443 | 7797 33351 101258 | 2147483647 33443 141 | 0.000 % |
11.46/11.53 c | 33676 | 7797 33351 101258 | 2147483647 33676 140 | 0.000 % |
11.56/11.64 c | 33932 | 7797 33351 101258 | 2147483647 33932 140 | 0.000 % |
11.67/11.76 c | 34213 | 7797 33351 101258 | 2147483647 34213 140 | 0.000 % |
11.86/11.90 c | 34524 | 7797 33351 101258 | 2147483647 34524 141 | 0.000 % |
11.97/12.06 c | 34865 | 7797 33351 101258 | 2147483647 34865 141 | 0.000 % |
12.16/12.23 c | 35237 | 7797 33351 101258 | 2147483647 35237 141 | 0.000 % |
12.36/12.41 c | 35646 | 7797 33351 101258 | 2147483647 35646 141 | 0.000 % |
12.56/12.61 c | 36095 | 7797 33351 101258 | 2147483647 36095 141 | 0.000 % |
12.76/12.85 c | 36593 | 7797 33351 101258 | 2147483647 36593 142 | 0.000 % |
13.07/13.10 c | 37137 | 7797 33351 101258 | 2147483647 37137 142 | 0.000 % |
13.07/13.15 c | 37240 | 7797 33351 101258 | 2147483647 37240 142 | 0.000 % |
13.17/13.20 c | 37351 | 7797 33351 101258 | 2147483647 37351 142 | 0.000 % |
13.17/13.26 c | 37475 | 7797 33351 101258 | 2147483647 37475 142 | 0.000 % |
13.26/13.33 c | 37608 | 7797 33351 101258 | 2147483647 37608 142 | 0.000 % |
13.26/13.39 c | 37757 | 7797 33351 101258 | 2147483647 37757 142 | 0.000 % |
13.36/13.47 c | 37918 | 7797 33351 101258 | 2147483647 37918 142 | 0.000 % |
13.46/13.55 c | 38095 | 7797 33351 101258 | 2147483647 38095 142 | 0.000 % |
13.55/13.64 c | 38288 | 7797 33351 101258 | 2147483647 38288 142 | 0.000 % |
13.65/13.74 c | 38500 | 7797 33351 101258 | 2147483647 38500 142 | 0.000 % |
13.75/13.86 c | 38733 | 7797 33351 101258 | 2147483647 38733 142 | 0.000 % |
13.85/13.97 c | 38990 | 7797 33351 101258 | 2147483647 38990 142 | 0.000 % |
14.05/14.10 c | 39275 | 7797 33351 101258 | 2147483647 39275 142 | 0.000 % |
14.16/14.26 c | 39585 | 7797 33351 101258 | 2147483647 39585 142 | 0.000 % |
14.35/14.44 c | 39926 | 7797 33351 101258 | 2147483647 39926 142 | 0.000 % |
14.55/14.62 c | 40298 | 7797 33351 101258 | 2147483647 40298 143 | 0.000 % |
14.75/14.82 c | 40709 | 7797 33351 101258 | 2147483647 40709 143 | 0.000 % |
14.96/15.03 c | 41159 | 7797 33351 101258 | 2147483647 41159 143 | 0.000 % |
15.16/15.26 c | 41654 | 7797 33351 101258 | 2147483647 41654 143 | 0.000 % |
15.46/15.53 c | 42196 | 7797 33351 101258 | 2147483647 42196 144 | 0.000 % |
15.76/15.82 c | 42792 | 7797 33351 101258 | 2147483647 42792 144 | 0.000 % |
15.76/15.87 c | 42892 | 7797 33351 101258 | 2147483647 42892 144 | 0.000 % |
15.86/15.93 c | 43002 | 7797 33351 101258 | 2147483647 43002 144 | 0.000 % |
15.96/16.01 c | 43124 | 7797 33351 101258 | 2147483647 43124 144 | 0.000 % |
15.96/16.07 c | 43258 | 7797 33351 101258 | 2147483647 43258 144 | 0.000 % |
16.06/16.16 c | 43404 | 7797 33351 101258 | 2147483647 43404 144 | 0.000 % |
16.16/16.24 c | 43565 | 7797 33351 101258 | 2147483647 43565 144 | 0.000 % |
16.25/16.34 c | 43742 | 7797 33351 101258 | 2147483647 43742 144 | 0.000 % |
16.36/16.44 c | 43935 | 7797 33351 101258 | 2147483647 43935 144 | 0.000 % |
16.46/16.54 c | 44150 | 7797 33351 101258 | 2147483647 44150 144 | 0.000 % |
16.55/16.65 c | 44383 | 7797 33351 101258 | 2147483647 44383 144 | 0.000 % |
16.65/16.78 c | 44640 | 7797 33351 101258 | 2147483647 44640 144 | 0.000 % |
16.85/16.93 c | 44923 | 7797 33351 101258 | 2147483647 44923 144 | 0.000 % |
16.95/17.09 c | 45233 | 7797 33351 101258 | 2147483647 45233 144 | 0.000 % |
17.15/17.27 c | 45573 | 7797 33351 101258 | 2147483647 45573 144 | 0.000 % |
17.35/17.47 c | 45945 | 7797 33351 101258 | 2147483647 45945 144 | 0.000 % |
17.55/17.69 c | 46354 | 7797 33351 101258 | 2147483647 46354 144 | 0.000 % |
17.85/17.90 c | 46805 | 7797 33351 101258 | 2147483647 46805 144 | 0.000 % |
18.05/18.14 c | 47298 | 7797 33351 101258 | 2147483647 47298 144 | 0.000 % |
18.36/18.40 c | 47840 | 7797 33351 101258 | 2147483647 47840 145 | 0.000 % |
18.56/18.68 c | 48436 | 7797 33351 101258 | 2147483647 48436 145 | 0.000 % |
18.95/19.02 c | 49093 | 7797 33351 101258 | 2147483647 49093 146 | 0.000 % |
18.95/19.09 c | 49194 | 7797 33351 101258 | 2147483647 49194 146 | 0.000 % |
19.05/19.15 c | 49305 | 7797 33351 101258 | 2147483647 49305 146 | 0.000 % |
19.15/19.22 c | 49426 | 7797 33351 101258 | 2147483647 49426 146 | 0.000 % |
19.15/19.29 c | 49559 | 7797 33351 101258 | 2147483647 49559 146 | 0.000 % |
19.25/19.38 c | 49706 | 7797 33351 101258 | 2147483647 49706 146 | 0.000 % |
19.35/19.47 c | 49866 | 7797 33351 101258 | 2147483647 49866 146 | 0.000 % |
19.45/19.58 c | 50042 | 7797 33351 101258 | 2147483647 50042 146 | 0.000 % |
19.55/19.69 c | 50237 | 7797 33351 101258 | 2147483647 50237 146 | 0.000 % |
19.75/19.81 c | 50449 | 7797 33351 101258 | 2147483647 50449 146 | 0.000 % |
19.85/19.94 c | 50682 | 7797 33351 101258 | 2147483647 50682 146 | 0.000 % |
19.95/20.08 c | 50939 | 7797 33351 101258 | 2147483647 50939 146 | 0.000 % |
20.15/20.22 c | 51221 | 7797 33351 101258 | 2147483647 51221 146 | 0.000 % |
20.35/20.40 c | 51530 | 7797 33351 101258 | 2147483647 51530 146 | 0.000 % |
20.45/20.60 c | 51872 | 7797 33351 101258 | 2147483647 51872 146 | 0.000 % |
20.75/20.80 c | 52244 | 7797 33351 101258 | 2147483647 52244 147 | 0.000 % |
20.95/21.03 c | 52653 | 7797 33351 101258 | 2147483647 52653 147 | 0.000 % |
21.15/21.28 c | 53103 | 7797 33351 101258 | 2147483647 53103 147 | 0.000 % |
21.45/21.55 c | 53597 | 7797 33351 101258 | 2147483647 53597 147 | 0.000 % |
21.75/21.83 c | 54140 | 7797 33351 101258 | 2147483647 54140 147 | 0.000 % |
22.05/22.17 c | 54737 | 7797 33351 101258 | 2147483647 54737 147 | 0.000 % |
22.44/22.52 c | 55395 | 7797 33351 101258 | 2147483647 55395 147 | 0.000 % |
22.84/22.91 c | 56119 | 7797 33351 101258 | 2147483647 56119 147 | 0.000 % |
22.84/22.97 c | 56219 | 7797 33351 101258 | 2147483647 56219 147 | 0.000 % |
22.95/23.04 c | 56334 | 7797 33351 101258 | 2147483647 56334 147 | 0.000 % |
23.06/23.12 c | 56457 | 7797 33351 101258 | 2147483647 56457 147 | 0.000 % |
23.06/23.19 c | 56592 | 7797 33351 101258 | 2147483647 56592 147 | 0.000 % |
23.15/23.29 c | 56738 | 7797 33351 101258 | 2147483647 56738 147 | 0.000 % |
23.25/23.38 c | 56898 | 7797 33351 101258 | 2147483647 56898 147 | 0.000 % |
23.35/23.48 c | 57076 | 7797 33351 101258 | 2147483647 57076 147 | 0.000 % |
23.45/23.60 c | 57269 | 7797 33351 101258 | 2147483647 57269 147 | 0.000 % |
23.65/23.73 c | 57481 | 7797 33351 101258 | 2147483647 57481 147 | 0.000 % |
23.75/23.87 c | 57714 | 7797 33351 101258 | 2147483647 57714 147 | 0.000 % |
23.94/24.01 c | 57970 | 7797 33351 101258 | 2147483647 57970 147 | 0.000 % |
24.05/24.16 c | 58251 | 7797 33351 101258 | 2147483647 58251 147 | 0.000 % |
24.24/24.35 c | 58560 | 7797 33351 101258 | 2147483647 58560 147 | 0.000 % |
24.44/24.55 c | 58900 | 7797 33351 101258 | 2147483647 58900 147 | 0.000 % |
24.64/24.78 c | 59273 | 7797 33351 101258 | 2147483647 59273 148 | 0.000 % |
24.94/25.02 c | 59683 | 7797 33351 101258 | 2147483647 59683 148 | 0.000 % |
25.14/25.26 c | 60134 | 7797 33351 101258 | 2147483647 60134 148 | 0.000 % |
25.44/25.55 c | 60629 | 7797 33351 101258 | 2147483647 60629 148 | 0.000 % |
25.74/25.86 c | 61171 | 7797 33351 101258 | 2147483647 61171 148 | 0.000 % |
26.04/26.18 c | 61770 | 7797 33351 101258 | 2147483647 61770 148 | 0.000 % |
26.44/26.59 c | 62426 | 7797 33351 101258 | 2147483647 62426 149 | 0.000 % |
26.94/27.03 c | 63146 | 7797 33351 101258 | 2147483647 63146 149 | 0.000 % |
27.34/27.49 c | 63938 | 7797 33351 101258 | 2147483647 63938 149 | 0.000 % |
27.45/27.57 c | 64038 | 7797 33351 101258 | 2147483647 64038 149 | 0.000 % |
27.54/27.65 c | 64148 | 7797 33351 101258 | 2147483647 64148 149 | 0.000 % |
27.64/27.73 c | 64269 | 7797 33351 101258 | 2147483647 64269 149 | 0.000 % |
27.74/27.82 c | 64402 | 7797 33351 101258 | 2147483647 64402 149 | 0.000 % |
27.84/27.91 c | 64548 | 7797 33351 101258 | 2147483647 64548 149 | 0.000 % |
27.94/28.03 c | 64709 | 7797 33351 101258 | 2147483647 64709 149 | 0.000 % |
28.04/28.15 c | 64889 | 7797 33351 101258 | 2147483647 64889 149 | 0.000 % |
28.14/28.28 c | 65082 | 7797 33351 101258 | 2147483647 65082 149 | 0.000 % |
28.34/28.43 c | 65296 | 7797 33351 101258 | 2147483647 65296 149 | 0.000 % |
28.44/28.59 c | 65529 | 7797 33351 101258 | 2147483647 65529 149 | 0.000 % |
28.64/28.77 c | 65789 | 7797 33351 101258 | 2147483647 65789 149 | 0.000 % |
28.84/28.95 c | 66070 | 7797 33351 101258 | 2147483647 66070 149 | 0.000 % |
29.04/29.16 c | 66379 | 7797 33351 101258 | 2147483647 66379 149 | 0.000 % |
29.24/29.39 c | 66720 | 7797 33351 101258 | 2147483647 66720 149 | 0.000 % |
29.54/29.62 c | 67093 | 7797 33351 101258 | 2147483647 67093 149 | 0.000 % |
29.74/29.89 c | 67503 | 7797 33351 101258 | 2147483647 67503 149 | 0.000 % |
30.03/30.19 c | 67953 | 7797 33351 101258 | 2147483647 67953 149 | 0.000 % |
30.43/30.51 c | 68446 | 7797 33351 101258 | 2147483647 68446 149 | 0.000 % |
30.74/30.86 c | 68988 | 7797 33351 101258 | 2147483647 68988 149 | 0.000 % |
31.13/31.25 c | 69584 | 7797 33351 101258 | 2147483647 69584 149 | 0.000 % |
31.54/31.68 c | 70239 | 7797 33351 101258 | 2147483647 70239 150 | 0.000 % |
32.04/32.15 c | 70960 | 7797 33351 101258 | 2147483647 70960 150 | 0.000 % |
32.54/32.67 c | 71752 | 7797 33351 101258 | 2147483647 71752 150 | 0.000 % |
33.13/33.24 c | 72625 | 7797 33351 101258 | 2147483647 72625 150 | 0.000 % |
33.23/33.31 c | 72725 | 7797 33351 101258 | 2147483647 72725 150 | 0.000 % |
33.23/33.39 c | 72837 | 7797 33351 101258 | 2147483647 72837 150 | 0.000 % |
33.33/33.48 c | 72958 | 7797 33351 101258 | 2147483647 72958 150 | 0.000 % |
33.43/33.58 c | 73093 | 7797 33351 101258 | 2147483647 73093 150 | 0.000 % |
33.63/33.70 c | 73240 | 7797 33351 101258 | 2147483647 73240 150 | 0.000 % |
33.73/33.80 c | 73400 | 7797 33351 101258 | 2147483647 73400 150 | 0.000 % |
33.83/33.92 c | 73576 | 7797 33351 101258 | 2147483647 73576 150 | 0.000 % |
33.94/34.08 c | 73769 | 7797 33351 101258 | 2147483647 73769 150 | 0.000 % |
34.13/34.23 c | 73983 | 7797 33351 101258 | 2147483647 73983 150 | 0.000 % |
34.23/34.37 c | 74217 | 7797 33351 101258 | 2147483647 74217 150 | 0.000 % |
34.43/34.54 c | 74477 | 7797 33351 101258 | 2147483647 74477 150 | 0.000 % |
34.63/34.73 c | 74758 | 7797 33351 101258 | 2147483647 74758 150 | 0.000 % |
34.83/34.94 c | 75067 | 7797 33351 101258 | 2147483647 75067 150 | 0.000 % |
35.03/35.19 c | 75406 | 7797 33351 101258 | 2147483647 75406 150 | 0.000 % |
35.33/35.45 c | 75778 | 7797 33351 101258 | 2147483647 75778 150 | 0.000 % |
35.63/35.74 c | 76189 | 7797 33351 101258 | 2147483647 76189 150 | 0.000 % |
35.93/36.06 c | 76642 | 7797 33351 101258 | 2147483647 76642 150 | 0.000 % |
36.23/36.38 c | 77137 | 7797 33351 101258 | 2147483647 77137 150 | 0.000 % |
36.63/36.75 c | 77679 | 7797 33351 101258 | 2147483647 77679 150 | 0.000 % |
37.03/37.14 c | 78275 | 7797 33351 101258 | 2147483647 78275 150 | 0.000 % |
37.42/37.59 c | 78930 | 7797 33351 101258 | 2147483647 78930 150 | 0.000 % |
37.93/38.07 c | 79652 | 7797 33351 101258 | 2147483647 79652 150 | 0.000 % |
38.53/38.63 c | 80444 | 7797 33351 101258 | 2147483647 80444 150 | 0.000 % |
39.13/39.22 c | 81316 | 7797 33351 101258 | 2147483647 81316 151 | 0.000 % |
39.72/39.85 c | 82276 | 7797 33351 101258 | 2147483647 82276 151 | 0.000 % |
39.82/39.94 c | 82376 | 7797 33351 101258 | 2147483647 82376 151 | 0.000 % |
39.92/40.02 c | 82486 | 7797 33351 101258 | 2147483647 82486 151 | 0.000 % |
40.02/40.12 c | 82608 | 7797 33351 101258 | 2147483647 82608 151 | 0.000 % |
40.12/40.23 c | 82742 | 7797 33351 101258 | 2147483647 82742 150 | 0.000 % |
40.22/40.35 c | 82889 | 7797 33351 101258 | 2147483647 82889 150 | 0.000 % |
40.32/40.46 c | 83049 | 7797 33351 101258 | 2147483647 83049 150 | 0.000 % |
40.52/40.61 c | 83226 | 7797 33351 101258 | 2147483647 83226 150 | 0.000 % |
40.63/40.74 c | 83419 | 7797 33351 101258 | 2147483647 83419 150 | 0.000 % |
40.83/40.91 c | 83631 | 7797 33351 101258 | 2147483647 83631 150 | 0.000 % |
41.03/41.10 c | 83866 | 7797 33351 101258 | 2147483647 83866 150 | 0.000 % |
41.13/41.29 c | 84122 | 7797 33351 101258 | 2147483647 84122 150 | 0.000 % |
41.33/41.48 c | 84403 | 7797 33351 101258 | 2147483647 84403 150 | 0.000 % |
41.63/41.70 c | 84713 | 7797 33351 101258 | 2147483647 84713 150 | 0.000 % |
41.83/41.96 c | 85053 | 7797 33351 101258 | 2147483647 85053 150 | 0.000 % |
42.13/42.24 c | 85425 | 7797 33351 101258 | 2147483647 85425 150 | 0.000 % |
42.43/42.53 c | 85835 | 7797 33351 101258 | 2147483647 85835 151 | 0.000 % |
42.73/42.86 c | 86285 | 7797 33351 101258 | 2147483647 86285 151 | 0.000 % |
43.13/43.22 c | 86779 | 7797 33351 101258 | 2147483647 86779 151 | 0.000 % |
43.52/43.62 c | 87322 | 7797 33351 101258 | 2147483647 87322 151 | 0.000 % |
43.93/44.05 c | 87918 | 7797 33351 101258 | 2147483647 87918 151 | 0.000 % |
44.43/44.55 c | 88575 | 7797 33351 101258 | 2147483647 88575 151 | 0.000 % |
44.93/45.07 c | 89297 | 7797 33351 101258 | 2147483647 89297 151 | 0.000 % |
45.53/45.67 c | 90090 | 7797 33351 101258 | 2147483647 90090 151 | 0.000 % |
46.22/46.33 c | 90961 | 7797 33351 101258 | 2147483647 90961 152 | 0.000 % |
46.82/46.99 c | 91919 | 7797 33351 101258 | 2147483647 91919 152 | 0.000 % |
47.72/47.83 c | 92972 | 7797 33351 101258 | 2147483647 92972 152 | 0.000 % |
47.72/47.89 c | 93075 | 7797 33351 101258 | 2147483647 93075 152 | 0.000 % |
47.92/48.01 c | 93186 | 7797 33351 101258 | 2147483647 93186 152 | 0.000 % |
48.02/48.12 c | 93307 | 7797 33351 101258 | 2147483647 93307 152 | 0.000 % |
48.12/48.24 c | 93442 | 7797 33351 101258 | 2147483647 93442 152 | 0.000 % |
48.23/48.37 c | 93588 | 7797 33351 101258 | 2147483647 93588 152 | 0.000 % |
48.42/48.52 c | 93749 | 7797 33351 101258 | 2147483647 93749 152 | 0.000 % |
48.52/48.66 c | 93925 | 7797 33351 101258 | 2147483647 93925 152 | 0.000 % |
48.72/48.84 c | 94120 | 7797 33351 101258 | 2147483647 94120 152 | 0.000 % |
48.92/49.02 c | 94334 | 7797 33351 101258 | 2147483647 94334 152 | 0.000 % |
49.12/49.22 c | 94567 | 7797 33351 101258 | 2147483647 94567 152 | 0.000 % |
49.32/49.44 c | 94825 | 7797 33351 101258 | 2147483647 94825 152 | 0.000 % |
49.52/49.65 c | 95108 | 7797 33351 101258 | 2147483647 95108 152 | 0.000 % |
49.82/49.91 c | 95417 | 7797 33351 101258 | 2147483647 95417 152 | 0.000 % |
50.02/50.19 c | 95756 | 7797 33351 101258 | 2147483647 95756 152 | 0.000 % |
50.32/50.50 c | 96128 | 7797 33351 101258 | 2147483647 96128 152 | 0.000 % |
50.72/50.81 c | 96540 | 7797 33351 101258 | 2147483647 96540 152 | 0.000 % |
51.02/51.18 c | 96989 | 7797 33351 101258 | 2147483647 96989 152 | 0.000 % |
51.42/51.58 c | 97484 | 7797 33351 101258 | 2147483647 97484 152 | 0.000 % |
51.92/52.03 c | 98026 | 7797 33351 101258 | 2147483647 98026 152 | 0.000 % |
52.42/52.54 c | 98622 | 7797 33351 101258 | 2147483647 98622 152 | 0.000 % |
52.92/53.10 c | 99280 | 7797 33351 101258 | 2147483647 99280 152 | 0.000 % |
53.51/53.65 c | 100000 | 7797 33351 101258 | 2147483647 100000 152 | 0.000 % |
54.21/54.31 c | 100793 | 7797 33351 101258 | 2147483647 100793 152 | 0.000 % |
54.92/55.01 c | 101664 | 7797 33351 101258 | 2147483647 101664 152 | 0.000 % |
55.62/55.75 c | 102622 | 7797 33351 101258 | 2147483647 102622 152 | 0.000 % |
56.41/56.58 c | 103675 | 7797 33351 101258 | 2147483647 103675 153 | 0.000 % |
57.41/57.53 c | 104833 | 7797 33351 101258 | 2147483647 104833 153 | 0.000 % |
57.51/57.62 c | 104934 | 7797 33351 101258 | 2147483647 104934 153 | 0.000 % |
57.61/57.74 c | 105045 | 7797 33351 101258 | 2147483647 105045 153 | 0.000 % |
57.71/57.85 c | 105166 | 7797 33351 101258 | 2147483647 105166 153 | 0.000 % |
57.81/57.97 c | 105300 | 7797 33351 101258 | 2147483647 105300 153 | 0.000 % |
58.01/58.11 c | 105447 | 7797 33351 101258 | 2147483647 105447 153 | 0.000 % |
58.12/58.26 c | 105609 | 7797 33351 101258 | 2147483647 105609 153 | 0.000 % |
58.32/58.43 c | 105787 | 7797 33351 101258 | 2147483647 105787 153 | 0.000 % |
58.52/58.60 c | 105981 | 7797 33351 101258 | 2147483647 105981 153 | 0.000 % |
58.62/58.79 c | 106193 | 7797 33351 101258 | 2147483647 106193 153 | 0.000 % |
58.82/58.98 c | 106427 | 7797 33351 101258 | 2147483647 106427 153 | 0.000 % |
59.02/59.18 c | 106683 | 7797 33351 101258 | 2147483647 106683 153 | 0.000 % |
59.32/59.45 c | 106965 | 7797 33351 101258 | 2147483647 106965 153 | 0.000 % |
59.62/59.74 c | 107276 | 7797 33351 101258 | 2147483647 107276 153 | 0.000 % |
59.92/60.03 c | 107615 | 7797 33351 101258 | 2147483647 107615 153 | 0.000 % |
60.22/60.32 c | 107988 | 7797 33351 101258 | 2147483647 107988 153 | 0.000 % |
60.52/60.68 c | 108398 | 7797 33351 101258 | 2147483647 108398 153 | 0.000 % |
60.92/61.08 c | 108847 | 7797 33351 101258 | 2147483647 108847 153 | 0.000 % |
61.31/61.48 c | 109340 | 7797 33351 101258 | 2147483647 109340 153 | 0.000 % |
61.81/61.94 c | 109883 | 7797 33351 101258 | 2147483647 109883 153 | 0.000 % |
62.32/62.42 c | 110479 | 7797 33351 101258 | 2147483647 110479 153 | 0.000 % |
62.82/62.97 c | 111135 | 7797 33351 101258 | 2147483647 111135 153 | 0.000 % |
63.42/63.60 c | 111857 | 7797 33351 101258 | 2147483647 111857 153 | 0.000 % |
64.12/64.27 c | 112649 | 7797 33351 101258 | 2147483647 112649 153 | 0.000 % |
64.91/65.03 c | 113520 | 7797 33351 101258 | 2147483647 113520 154 | 0.000 % |
65.82/65.91 c | 114481 | 7797 33351 101258 | 2147483647 114481 154 | 0.000 % |
66.71/66.82 c | 115535 | 7797 33351 101258 | 2147483647 115535 154 | 0.000 % |
67.71/67.90 c | 116695 | 7797 33351 101258 | 2147483647 116695 154 | 0.000 % |
68.91/69.03 c | 117970 | 7797 33351 101258 | 2147483647 117970 155 | 0.000 % |
69.01/69.14 c | 118070 | 7797 33351 101258 | 2147483647 118070 155 | 0.000 % |
69.11/69.28 c | 118183 | 7797 33351 101258 | 2147483647 118183 155 | 0.000 % |
69.31/69.40 c | 118305 | 7797 33351 101258 | 2147483647 118305 155 | 0.000 % |
69.41/69.54 c | 118438 | 7797 33351 101258 | 2147483647 118438 155 | 0.000 % |
69.51/69.68 c | 118584 | 7797 33351 101258 | 2147483647 118584 155 | 0.000 % |
69.71/69.88 c | 118747 | 7797 33351 101258 | 2147483647 118747 155 | 0.000 % |
69.91/70.05 c | 118923 | 7797 33351 101258 | 2147483647 118923 154 | 0.000 % |
70.11/70.26 c | 119116 | 7797 33351 101258 | 2147483647 119116 155 | 0.000 % |
70.31/70.47 c | 119328 | 7797 33351 101258 | 2147483647 119328 155 | 0.000 % |
70.62/70.70 c | 119561 | 7797 33351 101258 | 2147483647 119561 155 | 0.000 % |
70.81/70.94 c | 119820 | 7797 33351 101258 | 2147483647 119820 155 | 0.000 % |
71.11/71.24 c | 120102 | 7797 33351 101258 | 2147483647 120102 155 | 0.000 % |
71.42/71.52 c | 120411 | 7797 33351 101258 | 2147483647 120411 155 | 0.000 % |
71.71/71.85 c | 120750 | 7797 33351 101258 | 2147483647 120750 155 | 0.000 % |
72.11/72.22 c | 121125 | 7797 33351 101258 | 2147483647 121125 155 | 0.000 % |
72.41/72.58 c | 121535 | 7797 33351 101258 | 2147483647 121535 155 | 0.000 % |
72.91/73.03 c | 121985 | 7797 33351 101258 | 2147483647 121985 155 | 0.000 % |
73.30/73.49 c | 122480 | 7797 33351 101258 | 2147483647 122480 155 | 0.000 % |
73.91/74.01 c | 123023 | 7797 33351 101258 | 2147483647 123023 155 | 0.000 % |
74.41/74.59 c | 123619 | 7797 33351 101258 | 2147483647 123619 155 | 0.000 % |
75.01/75.20 c | 124276 | 7797 33351 101258 | 2147483647 124276 155 | 0.000 % |
75.71/75.85 c | 124996 | 7797 33351 101258 | 2147483647 124996 155 | 0.000 % |
76.51/76.62 c | 125788 | 7797 33351 101258 | 2147483647 125788 155 | 0.000 % |
77.31/77.45 c | 126661 | 7797 33351 101258 | 2147483647 126661 155 | 0.000 % |
78.11/78.30 c | 127619 | 7797 33351 101258 | 2147483647 127619 155 | 0.000 % |
79.11/79.28 c | 128673 | 7797 33351 101258 | 2147483647 128673 155 | 0.000 % |
80.11/80.30 c | 129831 | 7797 33351 101258 | 2147483647 129831 156 | 0.000 % |
81.31/81.48 c | 131104 | 7797 33351 101258 | 2147483647 131104 156 | 0.000 % |
82.60/82.80 c | 132504 | 7797 33351 101258 | 2147483647 132504 156 | 0.000 % |
82.80/82.93 c | 132605 | 7797 33351 101258 | 2147483647 132605 156 | 0.000 % |
82.90/83.06 c | 132716 | 7797 33351 101258 | 2147483647 132716 156 | 0.000 % |
83.10/83.20 c | 132838 | 7797 33351 101258 | 2147483647 132838 156 | 0.000 % |
83.20/83.36 c | 132972 | 7797 33351 101258 | 2147483647 132972 156 | 0.000 % |
83.40/83.51 c | 133120 | 7797 33351 101258 | 2147483647 133120 156 | 0.000 % |
83.50/83.68 c | 133282 | 7797 33351 101258 | 2147483647 133282 156 | 0.000 % |
83.70/83.88 c | 133458 | 7797 33351 101258 | 2147483647 133458 156 | 0.000 % |
84.00/84.10 c | 133652 | 7797 33351 101258 | 2147483647 133652 156 | 0.000 % |
84.20/84.33 c | 133865 | 7797 33351 101258 | 2147483647 133865 156 | 0.000 % |
84.40/84.58 c | 134099 | 7797 33351 101258 | 2147483647 134099 156 | 0.000 % |
84.70/84.89 c | 134355 | 7797 33351 101258 | 2147483647 134355 156 | 0.000 % |
85.00/85.19 c | 134637 | 7797 33351 101258 | 2147483647 134637 156 | 0.000 % |
85.40/85.55 c | 134947 | 7797 33351 101258 | 2147483647 134947 156 | 0.000 % |
85.80/85.90 c | 135288 | 7797 33351 101258 | 2147483647 135288 156 | 0.000 % |
86.10/86.26 c | 135660 | 7797 33351 101258 | 2147483647 135660 156 | 0.000 % |
86.50/86.69 c | 136069 | 7797 33351 101258 | 2147483647 136069 156 | 0.000 % |
87.00/87.17 c | 136518 | 7797 33351 101258 | 2147483647 136518 156 | 0.000 % |
87.50/87.68 c | 137011 | 7797 33351 101258 | 2147483647 137011 156 | 0.000 % |
88.09/88.25 c | 137553 | 7797 33351 101258 | 2147483647 137553 156 | 0.000 % |
88.69/88.89 c | 138150 | 7797 33351 101258 | 2147483647 138150 156 | 0.000 % |
89.50/89.61 c | 138805 | 7797 33351 101258 | 2147483647 138805 156 | 0.000 % |
90.20/90.39 c | 139526 | 7797 33351 101258 | 2147483647 139526 156 | 0.000 % |
91.10/91.20 c | 140319 | 7797 33351 101258 | 2147483647 140319 156 | 0.000 % |
92.00/92.10 c | 141191 | 7797 33351 101258 | 2147483647 141191 156 | 0.000 % |
92.89/93.07 c | 142151 | 7797 33351 101258 | 2147483647 142151 156 | 0.000 % |
93.99/94.18 c | 143204 | 7797 33351 101258 | 2147483647 143204 157 | 0.000 % |
95.20/95.39 c | 144366 | 7797 33351 101258 | 2147483647 144366 157 | 0.000 % |
96.50/96.70 c | 145639 | 7797 33351 101258 | 2147483647 145639 157 | 0.000 % |
97.89/98.08 c | 147040 | 7797 33351 101258 | 2147483647 147040 157 | 0.000 % |
99.60/99.70 c | 148580 | 7797 33351 101258 | 2147483647 148580 157 | 0.000 % |
99.70/99.84 c | 148681 | 7797 33351 101258 | 2147483647 148681 157 | 0.000 % |
99.80/100.00 c | 148791 | 7797 33351 101258 | 2147483647 148791 157 | 0.000 % |
100.00/100.14 c | 148915 | 7797 33351 101258 | 2147483647 148915 157 | 0.000 % |
100.20/100.31 c | 149050 | 7797 33351 101258 | 2147483647 149050 157 | 0.000 % |
100.30/100.49 c | 149196 | 7797 33351 101258 | 2147483647 149196 157 | 0.000 % |
100.50/100.68 c | 149357 | 7797 33351 101258 | 2147483647 149357 157 | 0.000 % |
100.69/100.88 c | 149533 | 7797 33351 101258 | 2147483647 149533 157 | 0.000 % |
101.00/101.16 c | 149728 | 7797 33351 101258 | 2147483647 149728 157 | 0.000 % |
101.29/101.40 c | 149940 | 7797 33351 101258 | 2147483647 149940 157 | 0.000 % |
101.49/101.69 c | 150174 | 7797 33351 101258 | 2147483647 150174 157 | 0.000 % |
101.89/102.00 c | 150430 | 7797 33351 101258 | 2147483647 150430 157 | 0.000 % |
102.19/102.33 c | 150713 | 7797 33351 101258 | 2147483647 150713 157 | 0.000 % |
102.49/102.67 c | 151022 | 7797 33351 101258 | 2147483647 151022 157 | 0.000 % |
102.89/103.07 c | 151361 | 7797 33351 101258 | 2147483647 151361 157 | 0.000 % |
103.29/103.48 c | 151733 | 7797 33351 101258 | 2147483647 151733 157 | 0.000 % |
103.79/103.93 c | 152145 | 7797 33351 101258 | 2147483647 152145 157 | 0.000 % |
104.19/104.40 c | 152594 | 7797 33351 101258 | 2147483647 152594 157 | 0.000 % |
104.79/104.98 c | 153088 | 7797 33351 101258 | 2147483647 153088 157 | 0.000 % |
105.39/105.59 c | 153633 | 7797 33351 101258 | 2147483647 153633 157 | 0.000 % |
106.09/106.25 c | 154230 | 7797 33351 101258 | 2147483647 154230 157 | 0.000 % |
106.79/106.96 c | 154887 | 7797 33351 101258 | 2147483647 154887 157 | 0.000 % |
107.60/107.76 c | 155607 | 7797 33351 101258 | 2147483647 155607 157 | 0.000 % |
108.49/108.66 c | 156399 | 7797 33351 101258 | 2147483647 156399 157 | 0.000 % |
109.39/109.57 c | 157270 | 7797 33351 101258 | 2147483647 157270 157 | 0.000 % |
110.49/110.62 c | 158228 | 7797 33351 101258 | 2147483647 158228 157 | 0.000 % |
111.59/111.76 c | 159281 | 7797 33351 101258 | 2147483647 159281 157 | 0.000 % |
112.99/113.13 c | 160439 | 7797 33351 101258 | 2147483647 160439 158 | 0.000 % |
114.39/114.50 c | 161713 | 7797 33351 101258 | 2147483647 161713 158 | 0.000 % |
115.89/116.08 c | 163113 | 7797 33351 101258 | 2147483647 163113 158 | 0.000 % |
117.59/117.77 c | 164655 | 7797 33351 101258 | 2147483647 164655 158 | 0.000 % |
119.38/119.57 c | 166349 | 7797 33351 101258 | 2147483647 166349 158 | 0.000 % |
119.58/119.73 c | 166450 | 7797 33351 101258 | 2147483647 166450 158 | 0.000 % |
119.69/119.86 c | 166560 | 7797 33351 101258 | 2147483647 166560 158 | 0.000 % |
119.88/120.05 c | 166681 | 7797 33351 101258 | 2147483647 166681 158 | 0.000 % |
120.08/120.25 c | 166815 | 7797 33351 101258 | 2147483647 166815 158 | 0.000 % |
120.28/120.45 c | 166965 | 7797 33351 101258 | 2147483647 166965 158 | 0.000 % |
120.48/120.68 c | 167125 | 7797 33351 101258 | 2147483647 167125 158 | 0.000 % |
120.79/120.95 c | 167302 | 7797 33351 101258 | 2147483647 167302 158 | 0.000 % |
121.08/121.21 c | 167497 | 7797 33351 101258 | 2147483647 167497 158 | 0.000 % |
121.28/121.48 c | 167709 | 7797 33351 101258 | 2147483647 167709 158 | 0.000 % |
121.58/121.76 c | 167942 | 7797 33351 101258 | 2147483647 167942 158 | 0.000 % |
121.89/122.09 c | 168198 | 7797 33351 101258 | 2147483647 168198 158 | 0.000 % |
122.28/122.42 c | 168479 | 7797 33351 101258 | 2147483647 168479 158 | 0.000 % |
122.58/122.80 c | 168788 | 7797 33351 101258 | 2147483647 168788 158 | 0.000 % |
123.08/123.23 c | 169128 | 7797 33351 101258 | 2147483647 169128 158 | 0.000 % |
123.48/123.67 c | 169501 | 7797 33351 101258 | 2147483647 169501 158 | 0.000 % |
124.08/124.23 c | 169911 | 7797 33351 101258 | 2147483647 169911 158 | 0.000 % |
124.58/124.79 c | 170360 | 7797 33351 101258 | 2147483647 170360 158 | 0.000 % |
125.28/125.43 c | 170855 | 7797 33351 101258 | 2147483647 170855 158 | 0.000 % |
125.99/126.11 c | 171397 | 7797 33351 101258 | 2147483647 171397 158 | 0.000 % |
126.68/126.80 c | 171993 | 7797 33351 101258 | 2147483647 171993 158 | 0.000 % |
127.39/127.55 c | 172648 | 7797 33351 101258 | 2147483647 172648 158 | 0.000 % |
128.28/128.41 c | 173368 | 7797 33351 101258 | 2147483647 173368 158 | 0.000 % |
129.18/129.35 c | 174161 | 7797 33351 101258 | 2147483647 174161 158 | 0.000 % |
130.28/130.41 c | 175033 | 7797 33351 101258 | 2147483647 175033 158 | 0.000 % |
131.38/131.55 c | 175992 | 7797 33351 101258 | 2147483647 175992 158 | 0.000 % |
132.58/132.80 c | 177045 | 7797 33351 101258 | 2147483647 177045 158 | 0.000 % |
134.08/134.21 c | 178203 | 7797 33351 101258 | 2147483647 178203 159 | 0.000 % |
135.48/135.65 c | 179476 | 7797 33351 101258 | 2147483647 179476 159 | 0.000 % |
137.18/137.40 c | 180879 | 7797 33351 101258 | 2147483647 180879 159 | 0.000 % |
138.97/139.19 c | 182420 | 7797 33351 101258 | 2147483647 182420 159 | 0.000 % |
141.08/141.22 c | 184114 | 7797 33351 101258 | 2147483647 184114 159 | 0.000 % |
143.38/143.50 c | 185977 | 7797 33351 101258 | 2147483647 185977 159 | 0.000 % |
143.47/143.64 c | 186077 | 7797 33351 101258 | 2147483647 186077 159 | 0.000 % |
143.67/143.84 c | 186190 | 7797 33351 101258 | 2147483647 186190 159 | 0.000 % |
143.88/144.03 c | 186313 | 7797 33351 101258 | 2147483647 186313 159 | 0.000 % |
144.07/144.24 c | 186449 | 7797 33351 101258 | 2147483647 186449 159 | 0.000 % |
144.27/144.43 c | 186595 | 7797 33351 101258 | 2147483647 186595 159 | 0.000 % |
144.57/144.71 c | 186755 | 7797 33351 101258 | 2147483647 186755 159 | 0.000 % |
144.77/144.97 c | 186931 | 7797 33351 101258 | 2147483647 186931 159 | 0.000 % |
145.07/145.26 c | 187124 | 7797 33351 101258 | 2147483647 187124 159 | 0.000 % |
145.37/145.54 c | 187336 | 7797 33351 101258 | 2147483647 187336 159 | 0.000 % |
145.67/145.89 c | 187569 | 7797 33351 101258 | 2147483647 187569 159 | 0.000 % |
146.08/146.29 c | 187825 | 7797 33351 101258 | 2147483647 187825 159 | 0.000 % |
146.47/146.67 c | 188106 | 7797 33351 101258 | 2147483647 188106 159 | 0.000 % |
146.87/147.02 c | 188415 | 7797 33351 101258 | 2147483647 188415 159 | 0.000 % |
147.37/147.54 c | 188755 | 7797 33351 101258 | 2147483647 188755 159 | 0.000 % |
147.87/148.03 c | 189127 | 7797 33351 101258 | 2147483647 189127 159 | 0.000 % |
148.47/148.62 c | 189538 | 7797 33351 101258 | 2147483647 189538 159 | 0.000 % |
149.07/149.27 c | 189990 | 7797 33351 101258 | 2147483647 189990 159 | 0.000 % |
149.77/149.95 c | 190483 | 7797 33351 101258 | 2147483647 190483 159 | 0.000 % |
150.58/150.74 c | 191026 | 7797 33351 101258 | 2147483647 191026 159 | 0.000 % |
151.37/151.59 c | 191623 | 7797 33351 101258 | 2147483647 191623 159 | 0.000 % |
152.27/152.47 c | 192278 | 7797 33351 101258 | 2147483647 192278 159 | 0.000 % |
153.27/153.42 c | 192998 | 7797 33351 101258 | 2147483647 192998 159 | 0.000 % |
154.27/154.43 c | 193792 | 7797 33351 101258 | 2147483647 193792 159 | 0.000 % |
155.37/155.58 c | 194663 | 7797 33351 101258 | 2147483647 194663 159 | 0.000 % |
156.67/156.85 c | 195621 | 7797 33351 101258 | 2147483647 195621 160 | 0.000 % |
158.07/158.22 c | 196675 | 7797 33351 101258 | 2147483647 196675 160 | 0.000 % |
159.57/159.78 c | 197834 | 7797 33351 101258 | 2147483647 197834 160 | 0.000 % |
161.26/161.44 c | 199107 | 7797 33351 101258 | 2147483647 199107 160 | 0.000 % |
162.87/163.03 c | 200508 | 7797 33351 101258 | 2147483647 200508 160 | 0.000 % |
164.97/165.14 c | 202049 | 7797 33351 101258 | 2147483647 202049 160 | 0.000 % |
167.16/167.36 c | 203744 | 7797 33351 101258 | 2147483647 203744 160 | 0.000 % |
169.66/169.82 c | 205607 | 7797 33351 101258 | 2147483647 205607 160 | 0.000 % |
172.26/172.43 c | 207659 | 7797 33351 101258 | 2147483647 207659 161 | 0.000 % |
172.36/172.56 c | 207759 | 7797 33351 101258 | 2147483647 207759 161 | 0.000 % |
172.56/172.77 c | 207870 | 7797 33351 101258 | 2147483647 207870 161 | 0.000 % |
172.76/172.96 c | 207992 | 7797 33351 101258 | 2147483647 207992 161 | 0.000 % |
172.96/173.19 c | 208126 | 7797 33351 101258 | 2147483647 208126 161 | 0.000 % |
173.26/173.45 c | 208273 | 7797 33351 101258 | 2147483647 208273 161 | 0.000 % |
173.56/173.72 c | 208433 | 7797 33351 101258 | 2147483647 208433 161 | 0.000 % |
173.86/174.03 c | 208610 | 7797 33351 101258 | 2147483647 208610 161 | 0.000 % |
174.16/174.35 c | 208806 | 7797 33351 101258 | 2147483647 208806 161 | 0.000 % |
174.46/174.68 c | 209018 | 7797 33351 101258 | 2147483647 209018 161 | 0.000 % |
174.86/175.02 c | 209251 | 7797 33351 101258 | 2147483647 209251 161 | 0.000 % |
175.26/175.40 c | 209508 | 7797 33351 101258 | 2147483647 209508 161 | 0.000 % |
175.66/175.88 c | 209791 | 7797 33351 101258 | 2147483647 209791 161 | 0.000 % |
176.16/176.35 c | 210103 | 7797 33351 101258 | 2147483647 210103 161 | 0.000 % |
176.66/176.83 c | 210442 | 7797 33351 101258 | 2147483647 210442 161 | 0.000 % |
177.25/177.40 c | 210814 | 7797 33351 101258 | 2147483647 210814 161 | 0.000 % |
177.85/178.03 c | 211225 | 7797 33351 101258 | 2147483647 211225 161 | 0.000 % |
178.55/178.70 c | 211674 | 7797 33351 101258 | 2147483647 211674 161 | 0.000 % |
179.25/179.45 c | 212168 | 7797 33351 101258 | 2147483647 212168 161 | 0.000 % |
180.05/180.23 c | 212712 | 7797 33351 101258 | 2147483647 212712 161 | 0.000 % |
180.86/181.08 c | 213308 | 7797 33351 101258 | 2147483647 213308 161 | 0.000 % |
181.76/181.95 c | 213964 | 7797 33351 101258 | 2147483647 213964 161 | 0.000 % |
182.76/182.98 c | 214684 | 7797 33351 101258 | 2147483647 214684 161 | 0.000 % |
183.85/184.09 c | 215476 | 7797 33351 101258 | 2147483647 215476 161 | 0.000 % |
185.05/185.28 c | 216347 | 7797 33351 101258 | 2147483647 216347 161 | 0.000 % |
186.36/186.58 c | 217308 | 7797 33351 101258 | 2147483647 217308 161 | 0.000 % |
187.86/188.09 c | 218363 | 7797 33351 101258 | 2147483647 218363 161 | 0.000 % |
189.45/189.68 c | 219521 | 7797 33351 101258 | 2147483647 219521 161 | 0.000 % |
191.35/191.60 c | 220794 | 7797 33351 101258 | 2147483647 220794 161 | 0.000 % |
193.25/193.46 c | 222194 | 7797 33351 101258 | 2147483647 222194 161 | 0.000 % |
195.35/195.58 c | 223735 | 7797 33351 101258 | 2147483647 223735 161 | 0.000 % |
197.75/197.97 c | 225430 | 7797 33351 101258 | 2147483647 225430 162 | 0.000 % |
200.34/200.56 c | 227294 | 7797 33351 101258 | 2147483647 227294 162 | 0.000 % |
203.05/203.22 c | 229344 | 7797 33351 101258 | 2147483647 229344 162 | 0.000 % |
206.05/206.25 c | 231597 | 7797 33351 101258 | 2147483647 231597 163 | 0.000 % |
206.25/206.47 c | 231697 | 7797 33351 101258 | 2147483647 231697 163 | 0.000 % |
206.45/206.70 c | 231807 | 7797 33351 101258 | 2147483647 231807 163 | 0.000 % |
206.75/206.92 c | 231928 | 7797 33351 101258 | 2147483647 231928 163 | 0.000 % |
206.95/207.19 c | 232063 | 7797 33351 101258 | 2147483647 232063 163 | 0.000 % |
207.25/207.47 c | 232210 | 7797 33351 101258 | 2147483647 232210 163 | 0.000 % |
207.54/207.73 c | 232370 | 7797 33351 101258 | 2147483647 232370 163 | 0.000 % |
207.84/208.05 c | 232546 | 7797 33351 101258 | 2147483647 232546 163 | 0.000 % |
208.24/208.42 c | 232740 | 7797 33351 101258 | 2147483647 232740 163 | 0.000 % |
208.54/208.78 c | 232952 | 7797 33351 101258 | 2147483647 232952 163 | 0.000 % |
208.94/209.17 c | 233185 | 7797 33351 101258 | 2147483647 233185 163 | 0.000 % |
209.34/209.56 c | 233442 | 7797 33351 101258 | 2147483647 233442 163 | 0.000 % |
209.84/210.03 c | 233723 | 7797 33351 101258 | 2147483647 233723 163 | 0.000 % |
210.34/210.53 c | 234033 | 7797 33351 101258 | 2147483647 234033 163 | 0.000 % |
210.94/211.16 c | 234372 | 7797 33351 101258 | 2147483647 234372 163 | 0.000 % |
211.54/211.79 c | 234744 | 7797 33351 101258 | 2147483647 234744 163 | 0.000 % |
212.24/212.41 c | 235154 | 7797 33351 101258 | 2147483647 235154 163 | 0.000 % |
212.94/213.15 c | 235603 | 7797 33351 101258 | 2147483647 235603 163 | 0.000 % |
213.84/214.00 c | 236096 | 7797 33351 101258 | 2147483647 236096 163 | 0.000 % |
214.74/214.94 c | 236639 | 7797 33351 101258 | 2147483647 236639 163 | 0.000 % |
215.64/215.88 c | 237235 | 7797 33351 101258 | 2147483647 237235 163 | 0.000 % |
216.63/216.89 c | 237891 | 7797 33351 101258 | 2147483647 237891 163 | 0.000 % |
217.83/218.00 c | 238612 | 7797 33351 101258 | 2147483647 238612 163 | 0.000 % |
218.94/219.18 c | 239405 | 7797 33351 101258 | 2147483647 239405 163 | 0.000 % |
220.33/220.50 c | 240277 | 7797 33351 101258 | 2147483647 240277 163 | 0.000 % |
221.63/221.88 c | 241236 | 7797 33351 101258 | 2147483647 241236 163 | 0.000 % |
223.23/223.44 c | 242289 | 7797 33351 101258 | 2147483647 242289 163 | 0.000 % |
225.03/225.30 c | 243447 | 7797 33351 101258 | 2147483647 243447 163 | 0.000 % |
227.13/227.35 c | 244721 | 7797 33351 101258 | 2147483647 244721 163 | 0.000 % |
229.03/229.26 c | 246122 | 7797 33351 101258 | 2147483647 246122 163 | 0.000 % |
231.43/231.69 c | 247662 | 7797 33351 101258 | 2147483647 247662 163 | 0.000 % |
234.13/234.39 c | 249356 | 7797 33351 101258 | 2147483647 249356 163 | 0.000 % |
237.03/237.25 c | 251220 | 7797 33351 101258 | 2147483647 251220 163 | 0.000 % |
240.22/240.49 c | 253271 | 7797 33351 101258 | 2147483647 253271 163 | 0.000 % |
243.72/243.94 c | 255525 | 7797 33351 101258 | 2147483647 255525 164 | 0.000 % |
247.73/247.95 c | 258004 | 7797 33351 101258 | 2147483647 258004 164 | 0.000 % |
247.93/248.17 c | 258104 | 7797 33351 101258 | 2147483647 258104 164 | 0.000 % |
248.13/248.39 c | 258215 | 7797 33351 101258 | 2147483647 258215 164 | 0.000 % |
248.43/248.63 c | 258339 | 7797 33351 101258 | 2147483647 258339 164 | 0.000 % |
248.62/248.88 c | 258474 | 7797 33351 101258 | 2147483647 258474 164 | 0.000 % |
248.92/249.17 c | 258625 | 7797 33351 101258 | 2147483647 258625 164 | 0.000 % |
249.22/249.50 c | 258788 | 7797 33351 101258 | 2147483647 258788 164 | 0.000 % |
249.62/249.85 c | 258967 | 7797 33351 101258 | 2147483647 258967 164 | 0.000 % |
250.02/250.23 c | 259161 | 7797 33351 101258 | 2147483647 259161 164 | 0.000 % |
250.42/250.63 c | 259374 | 7797 33351 101258 | 2147483647 259374 164 | 0.000 % |
250.82/251.02 c | 259609 | 7797 33351 101258 | 2147483647 259609 164 | 0.000 % |
251.22/251.43 c | 259866 | 7797 33351 101258 | 2147483647 259866 164 | 0.000 % |
251.72/251.97 c | 260148 | 7797 33351 101258 | 2147483647 260148 164 | 0.000 % |
252.32/252.57 c | 260457 | 7797 33351 101258 | 2147483647 260457 164 | 0.000 % |
252.92/253.19 c | 260796 | 7797 33351 101258 | 2147483647 260796 164 | 0.000 % |
253.62/253.82 c | 261169 | 7797 33351 101258 | 2147483647 261169 164 | 0.000 % |
254.32/254.55 c | 261578 | 7797 33351 101258 | 2147483647 261578 164 | 0.000 % |
255.22/255.40 c | 262030 | 7797 33351 101258 | 2147483647 262030 164 | 0.000 % |
256.02/256.29 c | 262523 | 7797 33351 101258 | 2147483647 262523 164 | 0.000 % |
257.02/257.28 c | 263066 | 7797 33351 101258 | 2147483647 263066 164 | 0.000 % |
258.11/258.38 c | 263664 | 7797 33351 101258 | 2147483647 263664 164 | 0.000 % |
259.32/259.54 c | 264322 | 7797 33351 101258 | 2147483647 264322 164 | 0.000 % |
260.52/260.77 c | 265043 | 7797 33351 101258 | 2147483647 265043 164 | 0.000 % |
262.01/262.24 c | 265837 | 7797 33351 101258 | 2147483647 265837 164 | 0.000 % |
263.41/263.69 c | 266709 | 7797 33351 101258 | 2147483647 266709 164 | 0.000 % |
265.10/265.38 c | 267667 | 7797 33351 101258 | 2147483647 267667 164 | 0.000 % |
266.90/267.16 c | 268721 | 7797 33351 101258 | 2147483647 268721 164 | 0.000 % |
268.81/269.03 c | 269880 | 7797 33351 101258 | 2147483647 269880 164 | 0.000 % |
270.81/271.08 c | 271154 | 7797 33351 101258 | 2147483647 271154 164 | 0.000 % |
273.11/273.35 c | 272555 | 7797 33351 101258 | 2147483647 272555 164 | 0.000 % |
275.81/276.07 c | 274095 | 7797 33351 101258 | 2147483647 274095 164 | 0.000 % |
278.81/279.08 c | 275789 | 7797 33351 101258 | 2147483647 275789 164 | 0.000 % |
282.00/282.26 c | 277652 | 7797 33351 101258 | 2147483647 277652 164 | 0.000 % |
285.50/285.77 c | 279702 | 7797 33351 101258 | 2147483647 279702 164 | 0.000 % |
289.11/289.39 c | 281956 | 7797 33351 101258 | 2147483647 281956 165 | 0.000 % |
293.19/293.40 c | 284435 | 7797 33351 101258 | 2147483647 284435 165 | 0.000 % |
297.70/297.90 c | 287160 | 7797 33351 101258 | 2147483647 287160 165 | 0.000 % |
297.90/298.11 c | 287261 | 7797 33351 101258 | 2147483647 287261 165 | 0.000 % |
298.09/298.37 c | 287372 | 7797 33351 101258 | 2147483647 287372 165 | 0.000 % |
298.39/298.61 c | 287493 | 7797 33351 101258 | 2147483647 287493 165 | 0.000 % |
298.69/298.90 c | 287626 | 7797 33351 101258 | 2147483647 287626 165 | 0.000 % |
299.00/299.21 c | 287772 | 7797 33351 101258 | 2147483647 287772 165 | 0.000 % |
299.29/299.55 c | 287932 | 7797 33351 101258 | 2147483647 287932 165 | 0.000 % |
299.69/299.92 c | 288109 | 7797 33351 101258 | 2147483647 288109 165 | 0.000 % |
300.00/300.24 c | 288303 | 7797 33351 101258 | 2147483647 288303 165 | 0.000 % |
300.40/300.66 c | 288517 | 7797 33351 101258 | 2147483647 288517 165 | 0.000 % |
300.90/301.16 c | 288751 | 7797 33351 101258 | 2147483647 288751 165 | 0.000 % |
301.40/301.69 c | 289007 | 7797 33351 101258 | 2147483647 289007 165 | 0.000 % |
302.00/302.28 c | 289288 | 7797 33351 101258 | 2147483647 289288 165 | 0.000 % |
302.70/302.91 c | 289598 | 7797 33351 101258 | 2147483647 289598 165 | 0.000 % |
303.30/303.53 c | 289937 | 7797 33351 101258 | 2147483647 289937 165 | 0.000 % |
304.09/304.30 c | 290309 | 7797 33351 101258 | 2147483647 290309 165 | 0.000 % |
304.89/305.10 c | 290720 | 7797 33351 101258 | 2147483647 290720 165 | 0.000 % |
305.69/305.98 c | 291173 | 7797 33351 101258 | 2147483647 291173 165 | 0.000 % |
306.69/306.95 c | 291667 | 7797 33351 101258 | 2147483647 291667 165 | 0.000 % |
307.79/308.05 c | 292209 | 7797 33351 101258 | 2147483647 292209 165 | 0.000 % |
308.98/309.21 c | 292806 | 7797 33351 101258 | 2147483647 292806 165 | 0.000 % |
310.18/310.40 c | 293462 | 7797 33351 101258 | 2147483647 293462 165 | 0.000 % |
311.58/311.81 c | 294183 | 7797 33351 101258 | 2147483647 294183 165 | 0.000 % |
313.08/313.33 c | 294978 | 7797 33351 101258 | 2147483647 294978 165 | 0.000 % |
314.78/315.01 c | 295849 | 7797 33351 101258 | 2147483647 295849 165 | 0.000 % |
316.48/316.77 c | 296808 | 7797 33351 101258 | 2147483647 296808 165 | 0.000 % |
318.48/318.71 c | 297862 | 7797 33351 101258 | 2147483647 297862 165 | 0.000 % |
320.58/320.85 c | 299020 | 7797 33351 101258 | 2147483647 299020 165 | 0.000 % |
323.18/323.45 c | 300294 | 7797 33351 101258 | 2147483647 300294 165 | 0.000 % |
325.58/325.87 c | 301696 | 7797 33351 101258 | 2147483647 301696 165 | 0.000 % |
328.58/328.85 c | 303237 | 7797 33351 101258 | 2147483647 303237 165 | 0.000 % |
331.68/331.90 c | 304931 | 7797 33351 101258 | 2147483647 304931 165 | 0.000 % |
335.28/335.53 c | 306795 | 7797 33351 101258 | 2147483647 306795 166 | 0.000 % |
338.98/339.23 c | 308850 | 7797 33351 101258 | 2147483647 308850 166 | 0.000 % |
342.77/343.07 c | 311104 | 7797 33351 101258 | 2147483647 311104 166 | 0.000 % |
347.47/347.76 c | 313582 | 7797 33351 101258 | 2147483647 313582 166 | 0.000 % |
352.76/353.08 c | 316307 | 7797 33351 101258 | 2147483647 316307 166 | 0.000 % |
358.36/358.67 c | 319304 | 7797 33351 101258 | 2147483647 319304 167 | 0.000 % |
358.66/358.90 c | 319407 | 7797 33351 101258 | 2147483647 319407 167 | 0.000 % |
358.86/359.17 c | 319519 | 7797 33351 101258 | 2147483647 319519 167 | 0.000 % |
359.26/359.54 c | 319641 | 7797 33351 101258 | 2147483647 319641 167 | 0.000 % |
359.56/359.85 c | 319774 | 7797 33351 101258 | 2147483647 319774 167 | 0.000 % |
359.96/360.21 c | 319921 | 7797 33351 101258 | 2147483647 319921 167 | 0.000 % |
360.36/360.64 c | 320081 | 7797 33351 101258 | 2147483647 320081 167 | 0.000 % |
360.86/361.12 c | 320257 | 7797 33351 101258 | 2147483647 320257 167 | 0.000 % |
361.26/361.54 c | 320452 | 7797 33351 101258 | 2147483647 320452 167 | 0.000 % |
361.76/362.05 c | 320664 | 7797 33351 101258 | 2147483647 320664 167 | 0.000 % |
362.36/362.62 c | 320898 | 7797 33351 101258 | 2147483647 320898 167 | 0.000 % |
362.96/363.22 c | 321157 | 7797 33351 101258 | 2147483647 321157 167 | 0.000 % |
363.56/363.84 c | 321438 | 7797 33351 101258 | 2147483647 321438 167 | 0.000 % |
364.16/364.47 c | 321749 | 7797 33351 101258 | 2147483647 321749 167 | 0.000 % |
364.96/365.27 c | 322088 | 7797 33351 101258 | 2147483647 322088 167 | 0.000 % |
365.86/366.14 c | 322462 | 7797 33351 101258 | 2147483647 322462 166 | 0.000 % |
366.75/367.02 c | 322871 | 7797 33351 101258 | 2147483647 322871 166 | 0.000 % |
367.65/367.97 c | 323320 | 7797 33351 101258 | 2147483647 323320 166 | 0.000 % |
368.75/369.08 c | 323813 | 7797 33351 101258 | 2147483647 323813 166 | 0.000 % |
369.86/370.13 c | 324356 | 7797 33351 101258 | 2147483647 324356 166 | 0.000 % |
371.06/371.39 c | 324953 | 7797 33351 101258 | 2147483647 324953 166 | 0.000 % |
372.56/372.82 c | 325612 | 7797 33351 101258 | 2147483647 325612 166 | 0.000 % |
374.05/374.30 c | 326334 | 7797 33351 101258 | 2147483647 326334 166 | 0.000 % |
375.65/375.92 c | 327126 | 7797 33351 101258 | 2147483647 327126 166 | 0.000 % |
377.36/377.62 c | 327998 | 7797 33351 101258 | 2147483647 327998 166 | 0.000 % |
379.16/379.50 c | 328958 | 7797 33351 101258 | 2147483647 328958 166 | 0.000 % |
381.35/381.60 c | 330013 | 7797 33351 101258 | 2147483647 330013 166 | 0.000 % |
383.66/383.96 c | 331171 | 7797 33351 101258 | 2147483647 331171 166 | 0.000 % |
385.95/386.28 c | 332445 | 7797 33351 101258 | 2147483647 332445 166 | 0.000 % |
388.75/389.03 c | 333848 | 7797 33351 101258 | 2147483647 333848 166 | 0.000 % |
391.75/392.01 c | 335388 | 7797 33351 101258 | 2147483647 335388 167 | 0.000 % |
395.14/395.40 c | 337083 | 7797 33351 101258 | 2147483647 337083 167 | 0.000 % |
399.14/399.41 c | 338949 | 7797 33351 101258 | 2147483647 338949 167 | 0.000 % |
403.14/403.47 c | 341000 | 7797 33351 101258 | 2147483647 341000 167 | 0.000 % |
407.94/408.24 c | 343253 | 7797 33351 101258 | 2147483647 343253 167 | 0.000 % |
412.84/413.16 c | 345732 | 7797 33351 101258 | 2147483647 345732 167 | 0.000 % |
417.83/418.13 c | 348459 | 7797 33351 101258 | 2147483647 348459 168 | 0.000 % |
423.83/424.15 c | 351456 | 7797 33351 101258 | 2147483647 351456 168 | 0.000 % |
430.53/430.89 c | 354752 | 7797 33351 101258 | 2147483647 354752 168 | 0.000 % |
430.84/431.13 c | 354852 | 7797 33351 101258 | 2147483647 354852 168 | 0.000 % |
431.13/431.40 c | 354962 | 7797 33351 101258 | 2147483647 354962 168 | 0.000 % |
431.43/431.75 c | 355083 | 7797 33351 101258 | 2147483647 355083 168 | 0.000 % |
431.83/432.14 c | 355218 | 7797 33351 101258 | 2147483647 355218 168 | 0.000 % |
432.33/432.60 c | 355365 | 7797 33351 101258 | 2147483647 355365 168 | 0.000 % |
432.73/433.02 c | 355525 | 7797 33351 101258 | 2147483647 355525 168 | 0.000 % |
433.23/433.54 c | 355701 | 7797 33351 101258 | 2147483647 355701 168 | 0.000 % |
433.73/434.02 c | 355896 | 7797 33351 101258 | 2147483647 355896 168 | 0.000 % |
434.23/434.53 c | 356108 | 7797 33351 101258 | 2147483647 356108 168 | 0.000 % |
434.83/435.12 c | 356342 | 7797 33351 101258 | 2147483647 356342 168 | 0.000 % |
435.43/435.75 c | 356599 | 7797 33351 101258 | 2147483647 356599 168 | 0.000 % |
436.23/436.52 c | 356880 | 7797 33351 101258 | 2147483647 356880 168 | 0.000 % |
436.93/437.21 c | 357189 | 7797 33351 101258 | 2147483647 357189 168 | 0.000 % |
437.73/438.07 c | 357529 | 7797 33351 101258 | 2147483647 357529 168 | 0.000 % |
438.82/439.13 c | 357902 | 7797 33351 101258 | 2147483647 357902 168 | 0.000 % |
439.82/440.12 c | 358311 | 7797 33351 101258 | 2147483647 358311 168 | 0.000 % |
440.92/441.21 c | 358763 | 7797 33351 101258 | 2147483647 358763 168 | 0.000 % |
441.92/442.29 c | 359257 | 7797 33351 101258 | 2147483647 359257 168 | 0.000 % |
443.31/443.61 c | 359801 | 7797 33351 101258 | 2147483647 359801 168 | 0.000 % |
444.61/444.95 c | 360397 | 7797 33351 101258 | 2147483647 360397 168 | 0.000 % |
446.11/446.41 c | 361052 | 7797 33351 101258 | 2147483647 361052 168 | 0.000 % |
447.82/448.14 c | 361773 | 7797 33351 101258 | 2147483647 361773 168 | 0.000 % |
449.82/450.13 c | 362565 | 7797 33351 101258 | 2147483647 362565 168 | 0.000 % |
451.91/452.22 c | 363436 | 7797 33351 101258 | 2147483647 363436 168 | 0.000 % |
454.11/454.46 c | 364394 | 7797 33351 101258 | 2147483647 364394 168 | 0.000 % |
456.51/456.89 c | 365447 | 7797 33351 101258 | 2147483647 365447 168 | 0.000 % |
459.12/459.44 c | 366605 | 7797 33351 101258 | 2147483647 366605 168 | 0.000 % |
461.91/462.23 c | 367878 | 7797 33351 101258 | 2147483647 367878 168 | 0.000 % |
464.92/465.23 c | 369281 | 7797 33351 101258 | 2147483647 369281 168 | 0.000 % |
468.21/468.59 c | 370823 | 7797 33351 101258 | 2147483647 370823 168 | 0.000 % |
471.90/472.27 c | 372519 | 7797 33351 101258 | 2147483647 372519 168 | 0.000 % |
476.11/476.50 c | 374383 | 7797 33351 101258 | 2147483647 374383 168 | 0.000 % |
480.41/480.72 c | 376433 | 7797 33351 101258 | 2147483647 376433 168 | 0.000 % |
485.41/485.76 c | 378688 | 7797 33351 101258 | 2147483647 378688 168 | 0.000 % |
490.69/491.03 c | 381166 | 7797 33351 101258 | 2147483647 381166 168 | 0.000 % |
496.98/497.32 c | 383891 | 7797 33351 101258 | 2147483647 383891 168 | 0.000 % |
503.39/503.77 c | 386889 | 7797 33351 101258 | 2147483647 386889 168 | 0.000 % |
510.49/510.89 c | 390185 | 7797 33351 101258 | 2147483647 390185 168 | 0.000 % |
518.38/518.79 c | 393810 | 7797 33351 101258 | 2147483647 393810 169 | 0.000 % |
518.68/519.09 c | 393917 | 7797 33351 101258 | 2147483647 393917 169 | 0.000 % |
519.09/519.43 c | 394028 | 7797 33351 101258 | 2147483647 394028 169 | 0.000 % |
519.59/519.90 c | 394150 | 7797 33351 101258 | 2147483647 394150 169 | 0.000 % |
519.89/520.27 c | 394283 | 7797 33351 101258 | 2147483647 394283 169 | 0.000 % |
520.38/520.71 c | 394429 | 7797 33351 101258 | 2147483647 394429 169 | 0.000 % |
520.78/521.18 c | 394589 | 7797 33351 101258 | 2147483647 394589 169 | 0.000 % |
521.38/521.72 c | 394765 | 7797 33351 101258 | 2147483647 394765 169 | 0.000 % |
521.88/522.27 c | 394959 | 7797 33351 101258 | 2147483647 394959 169 | 0.000 % |
522.48/522.85 c | 395171 | 7797 33351 101258 | 2147483647 395171 169 | 0.000 % |
523.08/523.43 c | 395405 | 7797 33351 101258 | 2147483647 395405 169 | 0.000 % |
523.78/524.19 c | 395662 | 7797 33351 101258 | 2147483647 395662 169 | 0.000 % |
524.58/524.93 c | 395943 | 7797 33351 101258 | 2147483647 395943 169 | 0.000 % |
525.38/525.80 c | 396252 | 7797 33351 101258 | 2147483647 396252 169 | 0.000 % |
526.28/526.60 c | 396592 | 7797 33351 101258 | 2147483647 396592 169 | 0.000 % |
527.28/527.66 c | 396964 | 7797 33351 101258 | 2147483647 396964 169 | 0.000 % |
528.37/528.73 c | 397375 | 7797 33351 101258 | 2147483647 397375 168 | 0.000 % |
529.57/529.97 c | 397824 | 7797 33351 101258 | 2147483647 397824 168 | 0.000 % |
530.97/531.31 c | 398317 | 7797 33351 101258 | 2147483647 398317 168 | 0.000 % |
532.27/532.63 c | 398860 | 7797 33351 101258 | 2147483647 398860 168 | 0.000 % |
533.76/534.12 c | 399457 | 7797 33351 101258 | 2147483647 399457 169 | 0.000 % |
535.37/535.72 c | 400112 | 7797 33351 101258 | 2147483647 400112 169 | 0.000 % |
537.16/537.53 c | 400833 | 7797 33351 101258 | 2147483647 400833 169 | 0.000 % |
538.97/539.36 c | 401625 | 7797 33351 101258 | 2147483647 401625 169 | 0.000 % |
541.06/541.42 c | 402497 | 7797 33351 101258 | 2147483647 402497 168 | 0.000 % |
543.36/543.71 c | 403455 | 7797 33351 101258 | 2147483647 403455 169 | 0.000 % |
545.76/546.16 c | 404509 | 7797 33351 101258 | 2147483647 404509 169 | 0.000 % |
548.66/549.03 c | 405668 | 7797 33351 101258 | 2147483647 405668 169 | 0.000 % |
551.77/552.15 c | 406942 | 7797 33351 101258 | 2147483647 406942 169 | 0.000 % |
555.17/555.51 c | 408345 | 7797 33351 101258 | 2147483647 408345 169 | 0.000 % |
558.66/559.05 c | 409886 | 7797 33351 101258 | 2147483647 409886 169 | 0.000 % |
562.56/562.97 c | 411580 | 7797 33351 101258 | 2147483647 411580 169 | 0.000 % |
567.16/567.57 c | 413444 | 7797 33351 101258 | 2147483647 413444 169 | 0.000 % |
572.06/572.42 c | 415494 | 7797 33351 101258 | 2147483647 415494 169 | 0.000 % |
577.34/577.77 c | 417747 | 7797 33351 101258 | 2147483647 417747 169 | 0.000 % |
583.04/583.45 c | 420225 | 7797 33351 101258 | 2147483647 420225 169 | 0.000 % |
589.25/589.62 c | 422951 | 7797 33351 101258 | 2147483647 422951 169 | 0.000 % |
596.34/596.76 c | 425948 | 7797 33351 101258 | 2147483647 425948 169 | 0.000 % |
603.74/604.14 c | 429245 | 7797 33351 101258 | 2147483647 429245 169 | 0.000 % |
612.34/612.77 c | 432870 | 7797 33351 101258 | 2147483647 432870 169 | 0.000 % |
622.13/622.53 c | 436858 | 7797 33351 101258 | 2147483647 436858 170 | 0.000 % |
622.42/622.88 c | 436958 | 7797 33351 101258 | 2147483647 436958 170 | 0.000 % |
622.82/623.23 c | 437069 | 7797 33351 101258 | 2147483647 437069 170 | 0.000 % |
623.33/623.70 c | 437190 | 7797 33351 101258 | 2147483647 437190 170 | 0.000 % |
623.72/624.18 c | 437325 | 7797 33351 101258 | 2147483647 437325 170 | 0.000 % |
624.22/624.65 c | 437471 | 7797 33351 101258 | 2147483647 437471 170 | 0.000 % |
624.82/625.22 c | 437631 | 7797 33351 101258 | 2147483647 437631 170 | 0.000 % |
625.32/625.72 c | 437811 | 7797 33351 101258 | 2147483647 437811 170 | 0.000 % |
625.92/626.32 c | 438005 | 7797 33351 101258 | 2147483647 438005 170 | 0.000 % |
626.62/627.05 c | 438217 | 7797 33351 101258 | 2147483647 438217 170 | 0.000 % |
627.33/627.71 c | 438452 | 7797 33351 101258 | 2147483647 438452 170 | 0.000 % |
628.03/628.49 c | 438708 | 7797 33351 101258 | 2147483647 438708 170 | 0.000 % |
628.93/629.35 c | 438989 | 7797 33351 101258 | 2147483647 438989 169 | 0.000 % |
629.83/630.23 c | 439299 | 7797 33351 101258 | 2147483647 439299 169 | 0.000 % |
630.73/631.14 c | 439638 | 7797 33351 101258 | 2147483647 439638 169 | 0.000 % |
631.92/632.30 c | 440010 | 7797 33351 101258 | 2147483647 440010 169 | 0.000 % |
633.13/633.60 c | 440420 | 7797 33351 101258 | 2147483647 440420 169 | 0.000 % |
634.52/634.93 c | 440870 | 7797 33351 101258 | 2147483647 440870 169 | 0.000 % |
636.02/636.40 c | 441365 | 7797 33351 101258 | 2147483647 441365 169 | 0.000 % |
637.42/637.83 c | 441909 | 7797 33351 101258 | 2147483647 441909 169 | 0.000 % |
639.12/639.53 c | 442505 | 7797 33351 101258 | 2147483647 442505 169 | 0.000 % |
641.02/641.47 c | 443160 | 7797 33351 101258 | 2147483647 443160 169 | 0.000 % |
643.02/643.41 c | 443882 | 7797 33351 101258 | 2147483647 443882 169 | 0.000 % |
645.22/645.62 c | 444674 | 7797 33351 101258 | 2147483647 444674 169 | 0.000 % |
647.53/647.97 c | 445546 | 7797 33351 101258 | 2147483647 445546 169 | 0.000 % |
650.42/650.81 c | 446504 | 7797 33351 101258 | 2147483647 446504 169 | 0.000 % |
653.32/653.74 c | 447558 | 7797 33351 101258 | 2147483647 447558 169 | 0.000 % |
656.52/656.95 c | 448718 | 7797 33351 101258 | 2147483647 448718 169 | 0.000 % |
659.71/660.19 c | 449993 | 7797 33351 101258 | 2147483647 449993 169 | 0.000 % |
663.92/664.33 c | 451394 | 7797 33351 101258 | 450000 397014 168 | 0.000 % |
667.51/667.94 c | 452935 | 7797 33351 101258 | 450000 398555 169 | 0.000 % |
671.41/671.86 c | 454629 | 7797 33351 101258 | 450000 400249 169 | 0.000 % |
675.81/676.28 c | 456492 | 7797 33351 101258 | 450000 402112 169 | 0.000 % |
680.60/681.09 c | 458542 | 7797 33351 101258 | 450000 404162 169 | 0.000 % |
686.10/686.53 c | 460795 | 7797 33351 101258 | 2147483647 406415 169 | 0.000 % |
692.00/692.44 c | 463273 | 7797 33351 101258 | 2147483647 408893 169 | 0.000 % |
698.50/698.91 c | 465999 | 7797 33351 101258 | 2147483647 411619 169 | 0.000 % |
705.20/705.61 c | 468997 | 7797 33351 101258 | 2147483647 414617 169 | 0.000 % |
713.09/713.53 c | 472294 | 7797 33351 101258 | 2147483647 417914 169 | 0.000 % |
720.98/721.45 c | 475921 | 7797 33351 101258 | 2147483647 421541 170 | 0.000 % |
730.48/730.90 c | 479908 | 7797 33351 101258 | 2147483647 425528 170 | 0.000 % |
740.58/741.05 c | 484295 | 7797 33351 101258 | 2147483647 429915 170 | 0.000 % |
740.98/741.41 c | 484395 | 7797 33351 101258 | 2147483647 430015 170 | 0.000 % |
741.28/741.76 c | 484505 | 7797 33351 101258 | 2147483647 430125 170 | 0.000 % |
741.78/742.27 c | 484627 | 7797 33351 101258 | 2147483647 430247 170 | 0.000 % |
742.18/742.68 c | 484760 | 7797 33351 101258 | 2147483647 430380 170 | 0.000 % |
742.68/743.19 c | 484906 | 7797 33351 101258 | 2147483647 430526 170 | 0.000 % |
743.28/743.73 c | 485066 | 7797 33351 101258 | 2147483647 430686 170 | 0.000 % |
743.88/744.34 c | 485244 | 7797 33351 101258 | 2147483647 430864 170 | 0.000 % |
744.48/744.95 c | 485437 | 7797 33351 101258 | 2147483647 431057 170 | 0.000 % |
745.08/745.53 c | 485650 | 7797 33351 101258 | 2147483647 431270 170 | 0.000 % |
745.78/746.23 c | 485885 | 7797 33351 101258 | 2147483647 431505 170 | 0.000 % |
746.48/746.97 c | 486141 | 7797 33351 101258 | 2147483647 431761 170 | 0.000 % |
747.38/747.90 c | 486424 | 7797 33351 101258 | 2147483647 432044 170 | 0.000 % |
748.38/748.81 c | 486735 | 7797 33351 101258 | 2147483647 432355 170 | 0.000 % |
749.38/749.83 c | 487074 | 7797 33351 101258 | 2147483647 432694 170 | 0.000 % |
750.58/751.08 c | 487446 | 7797 33351 101258 | 2147483647 433066 170 | 0.000 % |
751.67/752.19 c | 487856 | 7797 33351 101258 | 2147483647 433476 170 | 0.000 % |
752.98/753.44 c | 488307 | 7797 33351 101258 | 2147483647 433927 170 | 0.000 % |
754.47/754.93 c | 488800 | 7797 33351 101258 | 2147483647 434420 170 | 0.000 % |
755.77/756.29 c | 489343 | 7797 33351 101258 | 2147483647 434963 170 | 0.000 % |
757.37/757.89 c | 489940 | 7797 33351 101258 | 2147483647 435560 170 | 0.000 % |
759.17/759.65 c | 490595 | 7797 33351 101258 | 2147483647 436215 170 | 0.000 % |
761.17/761.63 c | 491317 | 7797 33351 101258 | 2147483647 436937 170 | 0.000 % |
763.27/763.73 c | 492110 | 7797 33351 101258 | 2147483647 437730 170 | 0.000 % |
765.47/765.91 c | 492987 | 7797 33351 101258 | 2147483647 438607 170 | 0.000 % |
768.17/768.60 c | 493945 | 7797 33351 101258 | 2147483647 439565 170 | 0.000 % |
770.86/771.30 c | 494999 | 7797 33351 101258 | 2147483647 440619 170 | 0.000 % |
773.76/774.21 c | 496157 | 7797 33351 101258 | 2147483647 441777 170 | 0.000 % |
776.96/777.48 c | 497430 | 7797 33351 101258 | 2147483647 443050 170 | 0.000 % |
780.57/781.05 c | 498833 | 7797 33351 101258 | 2147483647 444453 170 | 0.000 % |
784.66/785.13 c | 500373 | 7797 33351 101258 | 445621 445993 170 | 0.000 % |
788.96/789.49 c | 502068 | 7797 33351 101258 | 445621 403089 171 | 0.000 % |
793.66/794.18 c | 503931 | 7797 33351 101258 | 445621 404952 171 | 0.000 % |
798.56/799.03 c | 505980 | 7797 33351 101258 | 445621 407001 171 | 0.000 % |
803.95/804.48 c | 508233 | 7797 33351 101258 | 445621 409254 171 | 0.000 % |
810.05/810.53 c | 510712 | 7797 33351 101258 | 2147483647 411733 171 | 0.000 % |
816.64/817.20 c | 513440 | 7797 33351 101258 | 2147483647 414461 171 | 0.000 % |
823.84/824.34 c | 516438 | 7797 33351 101258 | 2147483647 417459 171 | 0.000 % |
831.14/831.69 c | 519734 | 7797 33351 101258 | 2147483647 420755 172 | 0.000 % |
839.24/839.72 c | 523361 | 7797 33351 101258 | 2147483647 424382 172 | 0.000 % |
848.23/848.72 c | 527348 | 7797 33351 101258 | 2147483647 428369 172 | 0.000 % |
858.72/859.26 c | 531734 | 7797 33351 101258 | 2147483647 432755 172 | 0.000 % |
869.82/870.34 c | 536558 | 7797 33351 101258 | 2147483647 437579 173 | 0.000 % |
870.22/870.71 c | 536658 | 7797 33351 101258 | 2147483647 437679 173 | 0.000 % |
870.62/871.12 c | 536770 | 7797 33351 101258 | 2147483647 437791 173 | 0.000 % |
871.02/871.55 c | 536891 | 7797 33351 101258 | 2147483647 437912 173 | 0.000 % |
871.52/872.02 c | 537025 | 7797 33351 101258 | 2147483647 438046 173 | 0.000 % |
872.02/872.57 c | 537171 | 7797 33351 101258 | 2147483647 438192 173 | 0.000 % |
872.62/873.11 c | 537331 | 7797 33351 101258 | 2147483647 438352 173 | 0.000 % |
873.12/873.66 c | 537507 | 7797 33351 101258 | 2147483647 438528 173 | 0.000 % |
873.82/874.40 c | 537701 | 7797 33351 101258 | 2147483647 438722 173 | 0.000 % |
874.52/875.06 c | 537914 | 7797 33351 101258 | 2147483647 438935 173 | 0.000 % |
875.22/875.76 c | 538147 | 7797 33351 101258 | 2147483647 439168 173 | 0.000 % |
875.92/876.42 c | 538403 | 7797 33351 101258 | 2147483647 439424 173 | 0.000 % |
876.72/877.22 c | 538684 | 7797 33351 101258 | 2147483647 439705 173 | 0.000 % |
877.52/878.10 c | 538994 | 7797 33351 101258 | 2147483647 440015 173 | 0.000 % |
878.62/879.10 c | 539333 | 7797 33351 101258 | 2147483647 440354 172 | 0.000 % |
879.72/880.20 c | 539707 | 7797 33351 101258 | 2147483647 440728 172 | 0.000 % |
880.81/881.35 c | 540120 | 7797 33351 101258 | 2147483647 441141 172 | 0.000 % |
882.11/882.68 c | 540571 | 7797 33351 101258 | 2147483647 441592 172 | 0.000 % |
883.82/884.32 c | 541065 | 7797 33351 101258 | 2147483647 442086 172 | 0.000 % |
885.11/885.70 c | 541607 | 7797 33351 101258 | 2147483647 442628 172 | 0.000 % |
886.82/887.39 c | 542204 | 7797 33351 101258 | 2147483647 443225 172 | 0.000 % |
888.72/889.27 c | 542864 | 7797 33351 101258 | 2147483647 443885 172 | 0.000 % |
890.71/891.29 c | 543585 | 7797 33351 101258 | 2147483647 444606 172 | 0.000 % |
893.10/893.66 c | 544377 | 7797 33351 101258 | 2147483647 445398 172 | 0.000 % |
895.49/896.00 c | 545249 | 7797 33351 101258 | 2147483647 446270 172 | 0.000 % |
898.09/898.61 c | 546209 | 7797 33351 101258 | 2147483647 447230 172 | 0.000 % |
900.89/901.41 c | 547264 | 7797 33351 101258 | 2147483647 448285 172 | 0.000 % |
904.09/904.67 c | 548422 | 7797 33351 101258 | 2147483647 449443 172 | 0.000 % |
907.28/907.89 c | 549695 | 7797 33351 101258 | 2147483647 450716 172 | 0.000 % |
910.99/911.57 c | 551095 | 7797 33351 101258 | 451023 452116 172 | 0.000 % |
915.49/916.06 c | 552636 | 7797 33351 101258 | 451023 401330 173 | 0.000 % |
919.49/920.01 c | 554330 | 7797 33351 101258 | 451023 403024 173 | 0.000 % |
924.09/924.63 c | 556195 | 7797 33351 101258 | 451023 404889 173 | 0.000 % |
928.68/929.22 c | 558244 | 7797 33351 101258 | 451023 406938 174 | 0.000 % |
933.88/934.45 c | 560497 | 7797 33351 101258 | 2147483647 409191 174 | 0.000 % |
939.47/940.00 c | 562977 | 7797 33351 101258 | 2147483647 411671 174 | 0.000 % |
945.76/946.34 c | 565702 | 7797 33351 101258 | 2147483647 414396 174 | 0.000 % |
952.96/953.58 c | 568700 | 7797 33351 101258 | 2147483647 417394 174 | 0.000 % |
960.56/961.16 c | 571996 | 7797 33351 101258 | 2147483647 420690 174 | 0.000 % |
968.75/969.33 c | 575621 | 7797 33351 101258 | 2147483647 424315 175 | 0.000 % |
977.95/978.50 c | 579609 | 7797 33351 101258 | 2147483647 428303 175 | 0.000 % |
988.74/989.37 c | 583996 | 7797 33351 101258 | 2147483647 432690 175 | 0.000 % |
1000.53/1001.15 c | 588819 | 7797 33351 101258 | 2147483647 437513 175 | 0.000 % |
1013.03/1013.63 c | 594124 | 7797 33351 101258 | 2147483647 442818 176 | 0.000 % |
1013.33/1013.93 c | 594224 | 7797 33351 101258 | 2147483647 442918 176 | 0.000 % |
1013.73/1014.32 c | 594334 | 7797 33351 101258 | 2147483647 443028 176 | 0.000 % |
1014.13/1014.73 c | 594455 | 7797 33351 101258 | 2147483647 443149 176 | 0.000 % |
1014.43/1015.08 c | 594588 | 7797 33351 101258 | 2147483647 443282 176 | 0.000 % |
1015.03/1015.60 c | 594735 | 7797 33351 101258 | 2147483647 443429 176 | 0.000 % |
1015.53/1016.15 c | 594895 | 7797 33351 101258 | 2147483647 443589 176 | 0.000 % |
1016.03/1016.66 c | 595071 | 7797 33351 101258 | 2147483647 443765 176 | 0.000 % |
1016.73/1017.35 c | 595264 | 7797 33351 101258 | 2147483647 443958 176 | 0.000 % |
1017.33/1017.97 c | 595476 | 7797 33351 101258 | 2147483647 444170 176 | 0.000 % |
1018.12/1018.72 c | 595710 | 7797 33351 101258 | 2147483647 444404 176 | 0.000 % |
1018.82/1019.48 c | 595966 | 7797 33351 101258 | 2147483647 444660 176 | 0.000 % |
1019.72/1020.34 c | 596247 | 7797 33351 101258 | 2147483647 444941 176 | 0.000 % |
1020.62/1021.26 c | 596556 | 7797 33351 101258 | 2147483647 445250 176 | 0.000 % |
1021.72/1022.31 c | 596895 | 7797 33351 101258 | 2147483647 445589 176 | 0.000 % |
1022.72/1023.39 c | 597268 | 7797 33351 101258 | 2147483647 445962 176 | 0.000 % |
1023.92/1024.58 c | 597679 | 7797 33351 101258 | 2147483647 446373 176 | 0.000 % |
1025.22/1025.82 c | 598128 | 7797 33351 101258 | 2147483647 446822 176 | 0.000 % |
1026.62/1027.29 c | 598621 | 7797 33351 101258 | 2147483647 447315 176 | 0.000 % |
1028.11/1028.78 c | 599164 | 7797 33351 101258 | 2147483647 447858 176 | 0.000 % |
1029.91/1030.52 c | 599762 | 7797 33351 101258 | 2147483647 448456 176 | 0.000 % |
1031.81/1032.45 c | 600419 | 7797 33351 101258 | 448694 449113 176 | 0.000 % |
1034.11/1034.77 c | 601140 | 7797 33351 101258 | 448694 401965 177 | 0.000 % |
1036.21/1036.80 c | 601932 | 7797 33351 101258 | 448694 402757 177 | 0.000 % |
1038.21/1038.89 c | 602804 | 7797 33351 101258 | 448694 403629 177 | 0.000 % |
1040.41/1041.07 c | 603762 | 7797 33351 101258 | 448694 404587 177 | 0.000 % |
1043.11/1043.75 c | 604817 | 7797 33351 101258 | 448694 405642 177 | 0.000 % |
1046.01/1046.68 c | 605977 | 7797 33351 101258 | 448694 406802 177 | 0.000 % |
1049.11/1049.71 c | 607250 | 7797 33351 101258 | 448694 408075 177 | 0.000 % |
1052.40/1053.02 c | 608651 | 7797 33351 101258 | 448694 409476 177 | 0.000 % |
1056.00/1056.69 c | 610193 | 7797 33351 101258 | 2147483647 411018 177 | 0.000 % |
1060.40/1061.02 c | 611887 | 7797 33351 101258 | 2147483647 412712 177 | 0.000 % |
1064.70/1065.32 c | 613754 | 7797 33351 101258 | 2147483647 414579 177 | 0.000 % |
1069.50/1070.11 c | 615805 | 7797 33351 101258 | 2147483647 416630 177 | 0.000 % |
1075.09/1075.75 c | 618058 | 7797 33351 101258 | 2147483647 418883 178 | 0.000 % |
1081.39/1082.01 c | 620536 | 7797 33351 101258 | 2147483647 421361 178 | 0.000 % |
1088.09/1088.77 c | 623261 | 7797 33351 101258 | 2147483647 424086 178 | 0.000 % |
1094.99/1095.68 c | 626261 | 7797 33351 101258 | 2147483647 427086 178 | 0.000 % |
1102.59/1103.27 c | 629558 | 7797 33351 101258 | 2147483647 430383 178 | 0.000 % |
1111.68/1112.34 c | 633183 | 7797 33351 101258 | 2147483647 434008 178 | 0.000 % |
1121.17/1121.84 c | 637170 | 7797 33351 101258 | 2147483647 437995 179 | 0.000 % |
1131.46/1132.11 c | 641555 | 7797 33351 101258 | 2147483647 442380 179 | 0.000 % |
1143.17/1143.83 c | 646379 | 7797 33351 101258 | 2147483647 447204 179 | 0.000 % |
1156.66/1157.36 c | 651685 | 7797 33351 101258 | 2147483647 452510 179 | 0.000 % |
1170.86/1171.56 c | 657521 | 7797 33351 101258 | 2147483647 458346 179 | 0.000 % |
1171.25/1171.99 c | 657621 | 7797 33351 101258 | 2147483647 458446 179 | 0.000 % |
1171.65/1172.37 c | 657732 | 7797 33351 101258 | 2147483647 458557 179 | 0.000 % |
1172.15/1172.81 c | 657854 | 7797 33351 101258 | 2147483647 458679 179 | 0.000 % |
1172.55/1173.25 c | 657988 | 7797 33351 101258 | 2147483647 458813 179 | 0.000 % |
1173.15/1173.82 c | 658134 | 7797 33351 101258 | 2147483647 458959 179 | 0.000 % |
1173.64/1174.34 c | 658295 | 7797 33351 101258 | 2147483647 459120 179 | 0.000 % |
1174.24/1174.94 c | 658471 | 7797 33351 101258 | 2147483647 459296 179 | 0.000 % |
1174.94/1175.65 c | 658665 | 7797 33351 101258 | 2147483647 459490 179 | 0.000 % |
1175.65/1176.37 c | 658877 | 7797 33351 101258 | 2147483647 459702 179 | 0.000 % |
1176.45/1177.16 c | 659110 | 7797 33351 101258 | 2147483647 459935 179 | 0.000 % |
1177.25/1177.93 c | 659366 | 7797 33351 101258 | 2147483647 460191 179 | 0.000 % |
1178.05/1178.77 c | 659647 | 7797 33351 101258 | 2147483647 460472 179 | 0.000 % |
1179.04/1179.71 c | 659957 | 7797 33351 101258 | 2147483647 460782 179 | 0.000 % |
1180.04/1180.76 c | 660296 | 7797 33351 101258 | 460825 461121 179 | 0.000 % |
1181.54/1182.24 c | 660669 | 7797 33351 101258 | 460825 410021 180 | 0.000 % |
1182.64/1183.38 c | 661078 | 7797 33351 101258 | 460825 410430 180 | 0.000 % |
1183.94/1184.65 c | 661527 | 7797 33351 101258 | 460825 410879 180 | 0.000 % |
1185.34/1186.03 c | 662020 | 7797 33351 101258 | 460825 411372 180 | 0.000 % |
1186.84/1187.55 c | 662563 | 7797 33351 101258 | 460825 411915 180 | 0.000 % |
1188.44/1189.18 c | 663161 | 7797 33351 101258 | 460825 412513 180 | 0.000 % |
1190.34/1191.00 c | 663816 | 7797 33351 101258 | 460825 413168 180 | 0.000 % |
1192.34/1193.00 c | 664537 | 7797 33351 101258 | 460825 413889 180 | 0.000 % |
1194.54/1195.23 c | 665329 | 7797 33351 101258 | 460825 414681 180 | 0.000 % |
1196.84/1197.51 c | 666200 | 7797 33351 101258 | 460825 415552 180 | 0.000 % |
1199.13/1199.88 c | 667161 | 7797 33351 101258 | 460825 416513 180 | 0.000 % |
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1832691-1242786335/watcher-1832691-1242786335 -o /tmp/evaluation-result-1832691-1242786335/solver-1832691-1242786335 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1832691-1242786335.cnf
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1230 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 17345
/proc/meminfo: memFree=1889960/2055920 swapFree=4180796/4192956
[pid=17345] ppid=17343 vsize=5356 CPUtime=0
/proc/17345/stat : 17345 (SatELiteGTI) R 17343 17345 16747 0 -1 4194304 292 249 0 0 0 0 0 0 16 0 1 0 306667410 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 226913479327 0 65538 4100 65536 0 0 0 17 0 0 0
/proc/17345/statm: 1339 237 197 169 0 50 0
[startup+0.0328349 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 17345
/proc/meminfo: memFree=1889960/2055920 swapFree=4180796/4192956
[pid=17345] ppid=17343 vsize=5356 CPUtime=0
/proc/17345/stat : 17345 (SatELiteGTI) S 17343 17345 16747 0 -1 4194304 310 249 0 0 0 0 0 0 16 0 1 0 306667410 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 226913477444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17345/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.101842 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 17345
/proc/meminfo: memFree=1889960/2055920 swapFree=4180796/4192956
[pid=17345] ppid=17343 vsize=5356 CPUtime=0
/proc/17345/stat : 17345 (SatELiteGTI) S 17343 17345 16747 0 -1 4194304 310 249 0 0 0 0 0 0 16 0 1 0 306667410 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 226913477444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17345/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.301873 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 17345
/proc/meminfo: memFree=1889960/2055920 swapFree=4180796/4192956
[pid=17345] ppid=17343 vsize=5356 CPUtime=0.12
/proc/17345/stat : 17345 (SatELiteGTI) S 17343 17345 16747 0 -1 4194304 336 1324 0 0 0 0 11 1 16 0 1 0 306667410 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 226913477444 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/17345/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.12
Current children cumulated vsize (KiB) 5356
[startup+0.701915 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 17345
/proc/meminfo: memFree=1889960/2055920 swapFree=4180796/4192956
[pid=17345] ppid=17343 vsize=5356 CPUtime=0.12
/proc/17345/stat : 17345 (SatELiteGTI) S 17343 17345 16747 0 -1 4194304 336 1324 0 0 0 0 11 1 16 0 1 0 306667410 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 226913477444 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/17345/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.12
Current children cumulated vsize (KiB) 5356
[startup+1.502 s]
/proc/loadavg: 0.92 0.98 0.99 2/66 17351
/proc/meminfo: memFree=1884440/2055920 swapFree=4180796/4192956
[pid=17345] ppid=17343 vsize=5356 CPUtime=0.12
/proc/17345/stat : 17345 (SatELiteGTI) S 17343 17345 16747 0 -1 4194304 336 1324 0 0 0 0 11 1 16 0 1 0 306667410 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 226913477444 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/17345/statm: 1339 239 197 169 0 50 0
[pid=17351] ppid=17345 vsize=6848 CPUtime=1.35
/proc/17351/stat : 17351 (minisat_static) R 17345 17345 16747 0 -1 4194304 1490 0 0 0 134 1 0 0 25 0 1 0 306667424 7012352 1476 1992294400 134512640 135215339 4294956240 18446744073709551615 134529051 0 0 4096 3 0 0 0 17 0 0 0
/proc/17351/statm: 1712 1476 77 171 0 1539 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 12204
[startup+3.10118 s]
/proc/loadavg: 0.92 0.98 0.99 2/66 17351
/proc/meminfo: memFree=1881944/2055920 swapFree=4180796/4192956
[pid=17345] ppid=17343 vsize=5356 CPUtime=0.12
/proc/17345/stat : 17345 (SatELiteGTI) S 17343 17345 16747 0 -1 4194304 336 1324 0 0 0 0 11 1 16 0 1 0 306667410 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 226913477444 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/17345/statm: 1339 239 197 169 0 50 0
[pid=17351] ppid=17345 vsize=10152 CPUtime=2.94
/proc/17351/stat : 17351 (minisat_static) R 17345 17345 16747 0 -1 4194304 2329 0 0 0 293 1 0 0 25 0 1 0 306667424 10395648 2315 1992294400 134512640 135215339 4294956240 18446744073709551615 134529051 0 0 4096 3 0 0 0 17 0 0 0
/proc/17351/statm: 2538 2315 77 171 0 2365 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 15508
[startup+6.30254 s]
/proc/loadavg: 0.93 0.98 0.99 2/66 17351
/proc/meminfo: memFree=1875480/2055920 swapFree=4180796/4192956
[pid=17345] ppid=17343 vsize=5356 CPUtime=0.12
/proc/17345/stat : 17345 (SatELiteGTI) S 17343 17345 16747 0 -1 4194304 336 1324 0 0 0 0 11 1 16 0 1 0 306667410 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 226913477444 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/17345/statm: 1339 239 197 169 0 50 0
[pid=17351] ppid=17345 vsize=15980 CPUtime=6.15
/proc/17351/stat : 17351 (minisat_static) R 17345 17345 16747 0 -1 4194304 3752 0 0 0 612 3 0 0 25 0 1 0 306667424 16363520 3738 1992294400 134512640 135215339 4294956240 18446744073709551615 134538113 0 0 4096 3 0 0 0 17 0 0 0
/proc/17351/statm: 3995 3738 77 171 0 3822 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 21336
[startup+12.7013 s]
/proc/loadavg: 0.93 0.98 0.99 2/66 17351
/proc/meminfo: memFree=1865368/2055920 swapFree=4180796/4192956
[pid=17345] ppid=17343 vsize=5356 CPUtime=0.12
/proc/17345/stat : 17345 (SatELiteGTI) S 17343 17345 16747 0 -1 4194304 336 1324 0 0 0 0 11 1 16 0 1 0 306667410 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 226913477444 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/17345/statm: 1339 239 197 169 0 50 0
[pid=17351] ppid=17345 vsize=25516 CPUtime=12.54
/proc/17351/stat : 17351 (minisat_static) R 17345 17345 16747 0 -1 4194304 6162 0 0 0 1248 6 0 0 25 0 1 0 306667424 26128384 6148 1992294400 134512640 135215339 4294956240 18446744073709551615 134721382 0 0 4096 3 0 0 0 17 0 0 0
/proc/17351/statm: 6379 6148 77 171 0 6206 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 30872
[startup+25.5017 s]
/proc/loadavg: 0.95 0.98 0.99 2/66 17351
/proc/meminfo: memFree=1848856/2055920 swapFree=4180796/4192956
[pid=17345] ppid=17343 vsize=5356 CPUtime=0.12
/proc/17345/stat : 17345 (SatELiteGTI) S 17343 17345 16747 0 -1 4194304 336 1324 0 0 0 0 11 1 16 0 1 0 306667410 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 226913477444 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/17345/statm: 1339 239 197 169 0 50 0
[pid=17351] ppid=17345 vsize=41568 CPUtime=25.32
/proc/17351/stat : 17351 (minisat_static) R 17345 17345 16747 0 -1 4194304 10164 0 0 0 2523 9 0 0 25 0 1 0 306667424 42565632 10150 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/17351/statm: 10392 10150 77 171 0 10219 0
Current children cumulated CPU time (s) 25.44
Current children cumulated vsize (KiB) 46924
[startup+51.1015 s]
/proc/loadavg: 0.96 0.98 0.99 2/66 17351
/proc/meminfo: memFree=1825048/2055920 swapFree=4180796/4192956
[pid=17345] ppid=17343 vsize=5356 CPUtime=0.12
/proc/17345/stat : 17345 (SatELiteGTI) S 17343 17345 16747 0 -1 4194304 336 1324 0 0 0 0 11 1 16 0 1 0 306667410 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 226913477444 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/17345/statm: 1339 239 197 169 0 50 0
[pid=17351] ppid=17345 vsize=65628 CPUtime=50.9
/proc/17351/stat : 17351 (minisat_static) R 17345 17345 16747 0 -1 4194304 16135 0 0 0 5074 16 0 0 25 0 1 0 306667424 67203072 16121 1992294400 134512640 135215339 4294956240 18446744073709551615 134528627 0 0 4096 3 0 0 0 17 0 0 0
/proc/17351/statm: 16407 16121 77 171 0 16234 0
Current children cumulated CPU time (s) 51.02
Current children cumulated vsize (KiB) 70984
[startup+102.305 s]
/proc/loadavg: 0.98 0.98 0.99 2/66 17351
/proc/meminfo: memFree=1787224/2055920 swapFree=4180796/4192956
[pid=17345] ppid=17343 vsize=5356 CPUtime=0.12
/proc/17345/stat : 17345 (SatELiteGTI) S 17343 17345 16747 0 -1 4194304 336 1324 0 0 0 0 11 1 16 0 1 0 306667410 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 226913477444 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/17345/statm: 1339 239 197 169 0 50 0
[pid=17351] ppid=17345 vsize=102724 CPUtime=102.07
/proc/17351/stat : 17351 (minisat_static) R 17345 17345 16747 0 -1 4194304 25408 0 0 0 10180 27 0 0 25 0 1 0 306667424 105189376 25394 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/17351/statm: 25681 25394 77 171 0 25508 0
Current children cumulated CPU time (s) 102.19
Current children cumulated vsize (KiB) 108080
[startup+162.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 17351
/proc/meminfo: memFree=1753112/2055920 swapFree=4180796/4192956
[pid=17345] ppid=17343 vsize=5356 CPUtime=0.12
/proc/17345/stat : 17345 (SatELiteGTI) S 17343 17345 16747 0 -1 4194304 336 1324 0 0 0 0 11 1 16 0 1 0 306667410 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 226913477444 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/17345/statm: 1339 239 197 169 0 50 0
[pid=17351] ppid=17345 vsize=136912 CPUtime=162.05
/proc/17351/stat : 17351 (minisat_static) R 17345 17345 16747 0 -1 4194304 34007 0 0 0 16167 38 0 0 25 0 1 0 306667424 140197888 33993 1992294400 134512640 135215339 4294956240 18446744073709551615 134528721 0 0 4096 3 0 0 0 17 0 0 0
/proc/17351/statm: 34228 33993 77 171 0 34055 0
Current children cumulated CPU time (s) 162.17
Current children cumulated vsize (KiB) 142268
[startup+222.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 17351
/proc/meminfo: memFree=1722136/2055920 swapFree=4180796/4192956
[pid=17345] ppid=17343 vsize=5356 CPUtime=0.12
/proc/17345/stat : 17345 (SatELiteGTI) S 17343 17345 16747 0 -1 4194304 336 1324 0 0 0 0 11 1 16 0 1 0 306667410 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 226913477444 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/17345/statm: 1339 239 197 169 0 50 0
[pid=17351] ppid=17345 vsize=167676 CPUtime=222.01
/proc/17351/stat : 17351 (minisat_static) R 17345 17345 16747 0 -1 4194304 41626 0 0 0 22155 46 0 0 25 0 1 0 306667424 171700224 41612 1992294400 134512640 135215339 4294956240 18446744073709551615 134529057 0 0 4096 3 0 0 0 17 0 0 0
/proc/17351/statm: 41919 41612 77 171 0 41746 0
Current children cumulated CPU time (s) 222.13
Current children cumulated vsize (KiB) 173032
[startup+282.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 17351
/proc/meminfo: memFree=1696344/2055920 swapFree=4180796/4192956
[pid=17345] ppid=17343 vsize=5356 CPUtime=0.12
/proc/17345/stat : 17345 (SatELiteGTI) S 17343 17345 16747 0 -1 4194304 336 1324 0 0 0 0 11 1 16 0 1 0 306667410 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 226913477444 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/17345/statm: 1339 239 197 169 0 50 0
[pid=17351] ppid=17345 vsize=193416 CPUtime=281.98
/proc/17351/stat : 17351 (minisat_static) R 17345 17345 16747 0 -1 4194304 48088 0 0 0 28144 54 0 0 25 0 1 0 306667424 198057984 48074 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/17351/statm: 48354 48074 77 171 0 48181 0
Current children cumulated CPU time (s) 282.1
Current children cumulated vsize (KiB) 198772
[startup+342.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 17351
/proc/meminfo: memFree=1671192/2055920 swapFree=4180796/4192956
[pid=17345] ppid=17343 vsize=5356 CPUtime=0.12
/proc/17345/stat : 17345 (SatELiteGTI) S 17343 17345 16747 0 -1 4194304 336 1324 0 0 0 0 11 1 16 0 1 0 306667410 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 226913477444 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/17345/statm: 1339 239 197 169 0 50 0
[pid=17351] ppid=17345 vsize=218100 CPUtime=341.95
/proc/17351/stat : 17351 (minisat_static) R 17345 17345 16747 0 -1 4194304 54308 0 0 0 34133 62 0 0 25 0 1 0 306667424 223334400 54294 1992294400 134512640 135215339 4294956240 18446744073709551615 134528863 0 0 4096 3 0 0 0 17 0 0 0
/proc/17351/statm: 54525 54294 77 171 0 54352 0
Current children cumulated CPU time (s) 342.07
Current children cumulated vsize (KiB) 223456
[startup+402.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 17351
/proc/meminfo: memFree=1649752/2055920 swapFree=4180796/4192956
[pid=17345] ppid=17343 vsize=5356 CPUtime=0.12
/proc/17345/stat : 17345 (SatELiteGTI) S 17343 17345 16747 0 -1 4194304 336 1324 0 0 0 0 11 1 16 0 1 0 306667410 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 226913477444 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/17345/statm: 1339 239 197 169 0 50 0
[pid=17351] ppid=17345 vsize=240096 CPUtime=401.92
/proc/17351/stat : 17351 (minisat_static) R 17345 17345 16747 0 -1 4194304 59666 0 0 0 40123 69 0 0 25 0 1 0 306667424 245858304 59652 1992294400 134512640 135215339 4294956240 18446744073709551615 134528942 0 0 4096 3 0 0 0 17 0 0 0
/proc/17351/statm: 60024 59652 77 171 0 59851 0
Current children cumulated CPU time (s) 402.04
Current children cumulated vsize (KiB) 245452
[startup+462.302 s]
################
# More data... #
################
/proc/17351/statm: 74544 74263 77 171 0 74371 0
Current children cumulated CPU time (s) 581.95
Current children cumulated vsize (KiB) 303532
[startup+642.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 17351
/proc/meminfo: memFree=1573144/2055920 swapFree=4180796/4192956
[pid=17345] ppid=17343 vsize=5356 CPUtime=0.12
/proc/17345/stat : 17345 (SatELiteGTI) S 17343 17345 16747 0 -1 4194304 336 1324 0 0 0 0 11 1 16 0 1 0 306667410 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 226913477444 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/17345/statm: 1339 239 197 169 0 50 0
[pid=17351] ppid=17345 vsize=315336 CPUtime=641.8
/proc/17351/stat : 17351 (minisat_static) R 17345 17345 16747 0 -1 4194304 78592 0 0 0 64090 90 0 0 25 0 1 0 306667424 322904064 78578 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/17351/statm: 78834 78578 77 171 0 78661 0
Current children cumulated CPU time (s) 641.92
Current children cumulated vsize (KiB) 320692
[startup+702.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 17351
/proc/meminfo: memFree=1567320/2055920 swapFree=4180796/4192956
[pid=17345] ppid=17343 vsize=5356 CPUtime=0.12
/proc/17345/stat : 17345 (SatELiteGTI) S 17343 17345 16747 0 -1 4194304 336 1324 0 0 0 0 11 1 16 0 1 0 306667410 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 226913477444 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/17345/statm: 1339 239 197 169 0 50 0
[pid=17351] ppid=17345 vsize=321012 CPUtime=701.78
/proc/17351/stat : 17351 (minisat_static) R 17345 17345 16747 0 -1 4194304 80025 0 0 0 70086 92 0 0 25 0 1 0 306667424 328716288 80011 1992294400 134512640 135215339 4294956240 18446744073709551615 134532626 0 0 4096 3 0 0 0 17 0 0 0
/proc/17351/statm: 80253 80011 77 171 0 80080 0
Current children cumulated CPU time (s) 701.9
Current children cumulated vsize (KiB) 326368
[startup+762.305 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 17351
/proc/meminfo: memFree=1567192/2055920 swapFree=4180796/4192956
[pid=17345] ppid=17343 vsize=5356 CPUtime=0.12
/proc/17345/stat : 17345 (SatELiteGTI) S 17343 17345 16747 0 -1 4194304 336 1324 0 0 0 0 11 1 16 0 1 0 306667410 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 226913477444 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/17345/statm: 1339 239 197 169 0 50 0
[pid=17351] ppid=17345 vsize=321012 CPUtime=761.75
/proc/17351/stat : 17351 (minisat_static) R 17345 17345 16747 0 -1 4194304 80025 0 0 0 76083 92 0 0 25 0 1 0 306667424 328716288 80011 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/17351/statm: 80253 80011 77 171 0 80080 0
Current children cumulated CPU time (s) 761.87
Current children cumulated vsize (KiB) 326368
[startup+822.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 17351
/proc/meminfo: memFree=1567192/2055920 swapFree=4180796/4192956
[pid=17345] ppid=17343 vsize=5356 CPUtime=0.12
/proc/17345/stat : 17345 (SatELiteGTI) S 17343 17345 16747 0 -1 4194304 336 1324 0 0 0 0 11 1 16 0 1 0 306667410 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 226913477444 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/17345/statm: 1339 239 197 169 0 50 0
[pid=17351] ppid=17345 vsize=321012 CPUtime=821.72
/proc/17351/stat : 17351 (minisat_static) R 17345 17345 16747 0 -1 4194304 80025 0 0 0 82080 92 0 0 25 0 1 0 306667424 328716288 80011 1992294400 134512640 135215339 4294956240 18446744073709551615 134528863 0 0 4096 3 0 0 0 17 0 0 0
/proc/17351/statm: 80253 80011 77 171 0 80080 0
Current children cumulated CPU time (s) 821.84
Current children cumulated vsize (KiB) 326368
[startup+882.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 17351
/proc/meminfo: memFree=1567128/2055920 swapFree=4180796/4192956
[pid=17345] ppid=17343 vsize=5356 CPUtime=0.12
/proc/17345/stat : 17345 (SatELiteGTI) S 17343 17345 16747 0 -1 4194304 336 1324 0 0 0 0 11 1 16 0 1 0 306667410 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 226913477444 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/17345/statm: 1339 239 197 169 0 50 0
[pid=17351] ppid=17345 vsize=321012 CPUtime=881.69
/proc/17351/stat : 17351 (minisat_static) R 17345 17345 16747 0 -1 4194304 80025 0 0 0 88077 92 0 0 25 0 1 0 306667424 328716288 80011 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/17351/statm: 80253 80011 77 171 0 80080 0
Current children cumulated CPU time (s) 881.81
Current children cumulated vsize (KiB) 326368
[startup+942.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 17351
/proc/meminfo: memFree=1560024/2055920 swapFree=4180796/4192956
[pid=17345] ppid=17343 vsize=5356 CPUtime=0.12
/proc/17345/stat : 17345 (SatELiteGTI) S 17343 17345 16747 0 -1 4194304 336 1324 0 0 0 0 11 1 16 0 1 0 306667410 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 226913477444 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/17345/statm: 1339 239 197 169 0 50 0
[pid=17351] ppid=17345 vsize=328008 CPUtime=941.64
/proc/17351/stat : 17351 (minisat_static) R 17345 17345 16747 0 -1 4194304 81780 0 0 0 94069 95 0 0 25 0 1 0 306667424 335880192 81766 1992294400 134512640 135215339 4294956240 18446744073709551615 134528849 0 0 4096 3 0 0 0 17 0 0 0
/proc/17351/statm: 82002 81766 77 171 0 81829 0
Current children cumulated CPU time (s) 941.76
Current children cumulated vsize (KiB) 333364
[startup+1002.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 17351
/proc/meminfo: memFree=1559960/2055920 swapFree=4180796/4192956
[pid=17345] ppid=17343 vsize=5356 CPUtime=0.12
/proc/17345/stat : 17345 (SatELiteGTI) S 17343 17345 16747 0 -1 4194304 336 1324 0 0 0 0 11 1 16 0 1 0 306667410 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 226913477444 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/17345/statm: 1339 239 197 169 0 50 0
[pid=17351] ppid=17345 vsize=328008 CPUtime=1001.61
/proc/17351/stat : 17351 (minisat_static) R 17345 17345 16747 0 -1 4194304 81780 0 0 0 100066 95 0 0 25 0 1 0 306667424 335880192 81766 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/17351/statm: 82002 81766 77 171 0 81829 0
Current children cumulated CPU time (s) 1001.73
Current children cumulated vsize (KiB) 333364
[startup+1062.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 17353
/proc/meminfo: memFree=1556120/2055920 swapFree=4180796/4192956
[pid=17345] ppid=17343 vsize=5356 CPUtime=0.12
/proc/17345/stat : 17345 (SatELiteGTI) S 17343 17345 16747 0 -1 4194304 336 1324 0 0 0 0 11 1 16 0 1 0 306667410 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 226913477444 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/17345/statm: 1339 239 197 169 0 50 0
[pid=17351] ppid=17345 vsize=331836 CPUtime=1061.58
/proc/17351/stat : 17351 (minisat_static) R 17345 17345 16747 0 -1 4194304 82710 0 0 0 106062 96 0 0 25 0 1 0 306667424 339800064 82696 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/17351/statm: 82959 82696 77 171 0 82786 0
Current children cumulated CPU time (s) 1061.7
Current children cumulated vsize (KiB) 337192
[startup+1122.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 17353
/proc/meminfo: memFree=1555992/2055920 swapFree=4180796/4192956
[pid=17345] ppid=17343 vsize=5356 CPUtime=0.12
/proc/17345/stat : 17345 (SatELiteGTI) S 17343 17345 16747 0 -1 4194304 336 1324 0 0 0 0 11 1 16 0 1 0 306667410 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 226913477444 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/17345/statm: 1339 239 197 169 0 50 0
[pid=17351] ppid=17345 vsize=331836 CPUtime=1121.55
/proc/17351/stat : 17351 (minisat_static) R 17345 17345 16747 0 -1 4194304 82710 0 0 0 112059 96 0 0 25 0 1 0 306667424 339800064 82696 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/17351/statm: 82959 82696 77 171 0 82786 0
Current children cumulated CPU time (s) 1121.67
Current children cumulated vsize (KiB) 337192
[startup+1182.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 17353
/proc/meminfo: memFree=1540824/2055920 swapFree=4180796/4192956
[pid=17345] ppid=17343 vsize=5356 CPUtime=0.12
/proc/17345/stat : 17345 (SatELiteGTI) S 17343 17345 16747 0 -1 4194304 336 1324 0 0 0 0 11 1 16 0 1 0 306667410 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 226913477444 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/17345/statm: 1339 239 197 169 0 50 0
[pid=17351] ppid=17345 vsize=346884 CPUtime=1181.52
/proc/17351/stat : 17351 (minisat_static) R 17345 17345 16747 0 -1 4194304 86485 0 0 0 118051 101 0 0 25 0 1 0 306667424 355209216 86471 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/17351/statm: 86721 86471 77 171 0 86548 0
Current children cumulated CPU time (s) 1181.64
Current children cumulated vsize (KiB) 352240
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1200.7 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 17353
/proc/meminfo: memFree=1540760/2055920 swapFree=4180796/4192956
[pid=17345] ppid=17343 vsize=5356 CPUtime=0.12
/proc/17345/stat : 17345 (SatELiteGTI) S 17343 17345 16747 0 -1 4194304 336 1324 0 0 0 0 11 1 16 0 1 0 306667410 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 226913477444 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/17345/statm: 1339 239 197 169 0 50 0
[pid=17351] ppid=17345 vsize=346884 CPUtime=1199.92
/proc/17351/stat : 17351 (minisat_static) R 17345 17345 16747 0 -1 4194304 86485 0 0 0 119891 101 0 0 25 0 1 0 306667424 355209216 86471 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/17351/statm: 86721 86471 77 171 0 86548 0
Current children cumulated CPU time (s) 1200.04
Current children cumulated vsize (KiB) 352240
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1200.7 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 17353
/proc/meminfo: memFree=1540760/2055920 swapFree=4180796/4192956
[pid=17345] ppid=17343 vsize=5356 CPUtime=0.12
/proc/17345/stat : 17345 (SatELiteGTI) S 17343 17345 16747 0 -1 4194304 336 1324 0 0 0 0 11 1 16 0 1 0 306667410 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 226913477444 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/17345/statm: 1339 239 197 169 0 50 0
[pid=17351] ppid=17345 vsize=346884 CPUtime=1199.92
/proc/17351/stat : 17351 (minisat_static) R 17345 17345 16747 0 -1 4194304 86485 0 0 0 119891 101 0 0 25 0 1 0 306667424 355209216 86471 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/17351/statm: 86721 86471 77 171 0 86548 0
Current children cumulated CPU time (s) 1200.04
Current children cumulated vsize (KiB) 352240
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 17345 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=118981
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=21996
# CPU time returned by wait4() is 0.140977
# while last known CPU time is 1200.04
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1200.71
CPU time (s): 1200.04
CPU user time (s): 1199.02
CPU system time (s): 1.02
CPU usage (%): 99.944
Max. virtual memory (cumulated for all children) (KiB): 352240
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.118981
system time used= 0.021996
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1660
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= 13
involuntary context switches= 6
runsolver used 1.02584 second user time and 3.43848 second system time
The end
Begin job on node5 at 2009-05-20 04:25:35
IDJOB=1832691
IDBENCH=70309
IDSOLVER=671
FILE ID=node5/1832691-1242786335
PBS_JOBID= 9322358
Free space on /tmp= 66408 MiB
SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT09/RANDOM/LARGE/3SAT/UNKNOWN/8000/unif-k3-r4.2-v8000-c33600-S688804305-073.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1832691-1242786335/watcher-1832691-1242786335 -o /tmp/evaluation-result-1832691-1242786335/solver-1832691-1242786335 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1832691-1242786335.cnf
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= c44bf8e86de68afd8b13539ed87fd1d0
RANDOM SEED=943038361
node5.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.212
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.212
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5586.94
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1890504 kB
Buffers: 26536 kB
Cached: 93112 kB
SwapCached: 6832 kB
Active: 32656 kB
Inactive: 95752 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1890504 kB
SwapTotal: 4192956 kB
SwapFree: 4180796 kB
Dirty: 2220 kB
Writeback: 0 kB
Mapped: 13540 kB
Slab: 23112 kB
Committed_AS: 1101104 kB
PageTables: 1392 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264952 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 66404 MiB
End job on node5 at 2009-05-20 04:45:38