0.00/0.00 c Parsing...
0.00/0.02 c ==============================================================================
0.00/0.02 c | | ORIGINAL | LEARNT | |
0.00/0.02 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress |
0.00/0.02 c ==============================================================================
0.00/0.02 c | 0 | 25200 75600 | 7559 0 0 nan | 0.000 % |
0.00/0.08 c | 0 | 25007 75981 | -- 0 -- -- | -- | -193/381
0.00/0.08 c ==============================================================================
0.00/0.08 c Result : #vars: 5841 #clauses: 25007 #literals: 75981
0.00/0.08 c CPU time: 0.068989 s
0.00/0.08 c ==============================================================================
0.00/0.10 c This is MiniSat 2.0 beta
0.00/0.10 c WARNING: for repeatability, setting FPU to use double precision
0.00/0.10 c ============================[ Problem Statistics ]=============================
0.00/0.10 c | |
0.00/0.10 c | Number of variables: 5841 |
0.00/0.10 c | Number of clauses: 25007 |
0.00/0.12 c | Parsing time: 0.02 s |
0.00/0.12 c ============================[ Search Statistics ]==============================
0.00/0.12 c | Conflicts | ORIGINAL | LEARNT | Progress |
0.00/0.12 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
0.00/0.12 c ===============================================================================
0.00/0.12 c | 0 | 5841 25007 75981 | 8335 0 nan | 0.000 % |
0.00/0.14 c | 100 | 5841 25007 75981 | 8335 100 94 | 0.000 % |
0.00/0.16 c | 201 | 5841 25007 75981 | 8335 201 107 | 0.000 % |
0.00/0.18 c | 304 | 5841 25007 75981 | 8335 304 113 | 0.000 % |
0.09/0.20 c | 416 | 5841 25007 75981 | 8335 416 115 | 0.000 % |
0.09/0.22 c | 516 | 5841 25007 75981 | 8335 516 121 | 0.000 % |
0.09/0.24 c | 626 | 5841 25007 75981 | 8335 626 117 | 0.000 % |
0.09/0.26 c | 747 | 5841 25007 75981 | 8335 747 116 | 0.000 % |
0.09/0.28 c | 847 | 5841 25007 75981 | 8335 847 111 | 0.000 % |
0.09/0.30 c | 957 | 5841 25007 75981 | 8335 957 110 | 0.000 % |
0.09/0.32 c | 1078 | 5841 25007 75981 | 8335 1078 111 | 0.000 % |
0.09/0.34 c | 1212 | 5841 25007 75981 | 8335 1212 111 | 0.000 % |
0.09/0.37 c | 1313 | 5841 25007 75981 | 8335 1313 112 | 0.000 % |
0.09/0.38 c | 1423 | 5841 25007 75981 | 8335 1423 110 | 0.000 % |
0.09/0.41 c | 1545 | 5841 25007 75981 | 8335 1545 109 | 0.000 % |
0.09/0.43 c | 1683 | 5841 25007 75981 | 8335 1683 112 | 0.000 % |
0.09/0.46 c | 1829 | 5841 25007 75981 | 8335 1829 111 | 0.000 % |
0.09/0.48 c | 1930 | 5841 25007 75981 | 8335 1930 111 | 0.000 % |
0.09/0.50 c | 2040 | 5841 25007 75981 | 8335 2040 112 | 0.000 % |
0.09/0.53 c | 2161 | 5841 25007 75981 | 8335 2161 112 | 0.000 % |
0.09/0.55 c | 2294 | 5841 25007 75981 | 8335 2294 111 | 0.000 % |
0.09/0.58 c | 2440 | 5841 25007 75981 | 8335 2440 111 | 0.000 % |
0.09/0.61 c | 2600 | 5841 25007 75981 | 8335 2600 112 | 0.000 % |
0.09/0.63 c | 2701 | 5841 25007 75981 | 8335 2701 112 | 0.000 % |
0.09/0.66 c | 2811 | 5841 25007 75981 | 8335 2811 111 | 0.000 % |
0.09/0.68 c | 2932 | 5841 25007 75981 | 8335 2932 110 | 0.000 % |
0.09/0.70 c | 3066 | 5841 25007 75981 | 8335 3066 110 | 0.000 % |
0.09/0.73 c | 3212 | 5841 25007 75981 | 8335 3212 110 | 0.000 % |
0.09/0.76 c | 3372 | 5841 25007 75981 | 8335 3372 109 | 0.000 % |
0.09/0.80 c | 3548 | 5841 25007 75981 | 8335 3548 109 | 0.000 % |
0.09/0.82 c | 3651 | 5841 25007 75981 | 8335 3651 110 | 0.000 % |
0.09/0.84 c | 3762 | 5841 25007 75981 | 8335 3762 110 | 0.000 % |
0.09/0.87 c | 3884 | 5841 25007 75981 | 8335 3884 110 | 0.000 % |
0.09/0.90 c | 4019 | 5841 25007 75981 | 8335 4019 110 | 0.000 % |
0.09/0.92 c | 4166 | 5841 25007 75981 | 8335 4166 110 | 0.000 % |
0.09/0.96 c | 4326 | 5841 25007 75981 | 8335 4326 110 | 0.000 % |
0.09/0.99 c | 4502 | 5841 25007 75981 | 8335 4502 111 | 0.000 % |
0.98/1.03 c | 4695 | 5841 25007 75981 | 8335 4695 111 | 0.000 % |
0.98/1.05 c | 4795 | 5841 25007 75981 | 8335 4795 110 | 0.000 % |
0.98/1.07 c | 4905 | 5841 25007 75981 | 8335 4905 110 | 0.000 % |
0.98/1.10 c | 5026 | 5841 25007 75981 | 8335 5026 110 | 0.000 % |
1.08/1.12 c | 5160 | 5841 25007 75981 | 8335 5160 110 | 0.000 % |
1.08/1.15 c | 5307 | 5841 25007 75981 | 8335 5307 110 | 0.000 % |
1.08/1.19 c | 5469 | 5841 25007 75981 | 8335 5469 111 | 0.000 % |
1.17/1.22 c | 5647 | 5841 25007 75981 | 8335 5647 111 | 0.000 % |
1.17/1.27 c | 5840 | 5841 25007 75981 | 8335 5840 112 | 0.000 % |
1.27/1.31 c | 6052 | 5841 25007 75981 | 8335 6052 112 | 0.000 % |
1.27/1.33 c | 6153 | 5841 25007 75981 | 8335 6153 112 | 0.000 % |
1.27/1.35 c | 6263 | 5841 25007 75981 | 8335 6263 112 | 0.000 % |
1.27/1.38 c | 6384 | 5841 25007 75981 | 8335 6384 112 | 0.000 % |
1.37/1.41 c | 6517 | 5841 25007 75981 | 8335 6517 112 | 0.000 % |
1.37/1.44 c | 6665 | 5841 25007 75981 | 8335 6665 112 | 0.000 % |
1.37/1.47 c | 6825 | 5841 25007 75981 | 8335 6825 113 | 0.000 % |
1.47/1.51 c | 7001 | 5841 25007 75981 | 8335 7001 113 | 0.000 % |
1.47/1.55 c | 7195 | 5841 25007 75981 | 8335 7195 114 | 0.000 % |
1.47/1.59 c | 7407 | 5841 25007 75981 | 8335 7407 114 | 0.000 % |
1.57/1.64 c | 7640 | 5841 25007 75981 | 8335 7640 114 | 0.000 % |
1.57/1.66 c | 7740 | 5841 25007 75981 | 8335 7740 114 | 0.000 % |
1.57/1.69 c | 7850 | 5841 25007 75981 | 8335 7850 115 | 0.000 % |
1.67/1.71 c | 7971 | 5841 25007 75981 | 8335 7971 114 | 0.000 % |
1.67/1.74 c | 8105 | 5841 25007 75981 | 8335 8105 114 | 0.000 % |
1.67/1.78 c | 8251 | 5841 25007 75981 | 8335 8251 115 | 0.000 % |
1.77/1.81 c | 8411 | 5841 25007 75981 | 8335 8411 115 | 0.000 % |
1.77/1.85 c | 8587 | 5841 25007 75981 | 8335 7746 114 | 0.000 % |
1.77/1.89 c | 8784 | 5841 25007 75981 | 8335 7943 114 | 0.000 % |
1.87/1.94 c | 8996 | 5841 25007 75981 | 8335 8155 113 | 0.000 % |
1.87/1.98 c | 9229 | 5841 25007 75981 | 8335 8388 113 | 0.000 % |
1.97/2.04 c | 9485 | 5841 25007 75981 | 8335 7806 113 | 0.000 % |
1.97/2.06 c | 9585 | 5841 25007 75981 | 8335 7906 113 | 0.000 % |
1.97/2.09 c | 9696 | 5841 25007 75981 | 8335 8017 113 | 0.000 % |
2.07/2.11 c | 9818 | 5841 25007 75981 | 8335 8139 113 | 0.000 % |
2.07/2.14 c | 9955 | 5841 25007 75981 | 8335 8276 113 | 0.000 % |
2.07/2.17 c | 10101 | 5841 25007 75981 | 2147483647 8422 113 | 0.000 % |
2.17/2.21 c | 10261 | 5841 25007 75981 | 2147483647 8582 113 | 0.000 % |
2.17/2.25 c | 10437 | 5841 25007 75981 | 2147483647 8758 113 | 0.000 % |
2.17/2.29 c | 10631 | 5841 25007 75981 | 2147483647 8952 113 | 0.000 % |
2.27/2.34 c | 10844 | 5841 25007 75981 | 2147483647 9165 113 | 0.000 % |
2.27/2.39 c | 11077 | 5841 25007 75981 | 2147483647 9398 114 | 0.000 % |
2.36/2.45 c | 11334 | 5841 25007 75981 | 2147483647 9655 114 | 0.000 % |
2.46/2.52 c | 11617 | 5841 25007 75981 | 2147483647 9938 116 | 0.000 % |
2.46/2.55 c | 11718 | 5841 25007 75981 | 2147483647 10039 116 | 0.000 % |
2.46/2.58 c | 11831 | 5841 25007 75981 | 2147483647 10152 116 | 0.000 % |
2.56/2.61 c | 11952 | 5841 25007 75981 | 2147483647 10273 116 | 0.000 % |
2.56/2.64 c | 12086 | 5841 25007 75981 | 2147483647 10407 115 | 0.000 % |
2.56/2.68 c | 12232 | 5841 25007 75981 | 2147483647 10553 116 | 0.000 % |
2.67/2.72 c | 12392 | 5841 25007 75981 | 2147483647 10713 115 | 0.000 % |
2.67/2.76 c | 12568 | 5841 25007 75981 | 2147483647 10889 115 | 0.000 % |
2.77/2.81 c | 12762 | 5841 25007 75981 | 2147483647 11083 115 | 0.000 % |
2.77/2.86 c | 12976 | 5841 25007 75981 | 2147483647 11297 116 | 0.000 % |
2.87/2.91 c | 13210 | 5841 25007 75981 | 2147483647 11531 116 | 0.000 % |
2.87/2.98 c | 13469 | 5841 25007 75981 | 2147483647 11790 117 | 0.000 % |
2.97/3.04 c | 13750 | 5841 25007 75981 | 2147483647 12071 117 | 0.000 % |
3.07/3.12 c | 14059 | 5841 25007 75981 | 2147483647 12380 118 | 0.000 % |
3.07/3.15 c | 14160 | 5841 25007 75981 | 2147483647 12481 118 | 0.000 % |
3.07/3.18 c | 14271 | 5841 25007 75981 | 2147483647 12592 118 | 0.000 % |
3.17/3.21 c | 14394 | 5841 25007 75981 | 2147483647 12715 118 | 0.000 % |
3.17/3.25 c | 14527 | 5841 25007 75981 | 2147483647 12848 118 | 0.000 % |
3.17/3.29 c | 14673 | 5841 25007 75981 | 2147483647 12994 118 | 0.000 % |
3.27/3.32 c | 14834 | 5841 25007 75981 | 2147483647 13155 118 | 0.000 % |
3.27/3.37 c | 15010 | 5841 25007 75981 | 2147483647 13331 118 | 0.000 % |
3.36/3.42 c | 15204 | 5841 25007 75981 | 2147483647 13525 118 | 0.000 % |
3.36/3.48 c | 15416 | 5841 25007 75981 | 2147483647 13737 118 | 0.000 % |
3.46/3.54 c | 15650 | 5841 25007 75981 | 2147483647 13971 118 | 0.000 % |
3.56/3.61 c | 15906 | 5841 25007 75981 | 2147483647 14227 118 | 0.000 % |
3.56/3.68 c | 16189 | 5841 25007 75981 | 2147483647 14510 118 | 0.000 % |
3.66/3.76 c | 16501 | 5841 25007 75981 | 2147483647 14822 118 | 0.000 % |
3.76/3.85 c | 16843 | 5841 25007 75981 | 2147483647 15164 119 | 0.000 % |
3.76/3.88 c | 16945 | 5841 25007 75981 | 2147483647 15266 119 | 0.000 % |
3.86/3.91 c | 17055 | 5841 25007 75981 | 2147483647 15376 119 | 0.000 % |
3.86/3.94 c | 17177 | 5841 25007 75981 | 2147483647 15498 119 | 0.000 % |
3.86/3.98 c | 17310 | 5841 25007 75981 | 2147483647 15631 119 | 0.000 % |
3.96/4.02 c | 17456 | 5841 25007 75981 | 2147483647 15777 119 | 0.000 % |
3.96/4.07 c | 17616 | 5841 25007 75981 | 2147483647 15937 119 | 0.000 % |
4.06/4.12 c | 17792 | 5841 25007 75981 | 2147483647 16113 119 | 0.000 % |
4.06/4.17 c | 17985 | 5841 25007 75981 | 2147483647 16306 119 | 0.000 % |
4.16/4.23 c | 18198 | 5841 25007 75981 | 2147483647 16519 119 | 0.000 % |
4.16/4.29 c | 18431 | 5841 25007 75981 | 2147483647 16752 119 | 0.000 % |
4.26/4.37 c | 18687 | 5841 25007 75981 | 2147483647 17008 120 | 0.000 % |
4.36/4.45 c | 18969 | 5841 25007 75981 | 2147483647 17290 120 | 0.000 % |
4.46/4.53 c | 19278 | 5841 25007 75981 | 2147483647 17599 120 | 0.000 % |
4.56/4.62 c | 19618 | 5841 25007 75981 | 2147483647 17939 121 | 0.000 % |
4.66/4.73 c | 19990 | 5841 25007 75981 | 2147483647 18311 121 | 0.000 % |
4.66/4.77 c | 20092 | 5841 25007 75981 | 2147483647 18413 122 | 0.000 % |
4.76/4.80 c | 20203 | 5841 25007 75981 | 2147483647 18524 122 | 0.000 % |
4.76/4.84 c | 20325 | 5841 25007 75981 | 2147483647 18646 122 | 0.000 % |
4.76/4.87 c | 20458 | 5841 25007 75981 | 2147483647 18779 122 | 0.000 % |
4.86/4.92 c | 20605 | 5841 25007 75981 | 2147483647 18926 122 | 0.000 % |
4.86/4.96 c | 20766 | 5841 25007 75981 | 2147483647 19087 122 | 0.000 % |
4.96/5.01 c | 20943 | 5841 25007 75981 | 2147483647 19264 121 | 0.000 % |
4.96/5.06 c | 21136 | 5841 25007 75981 | 2147483647 19457 121 | 0.000 % |
5.06/5.12 c | 21350 | 5841 25007 75981 | 2147483647 19671 121 | 0.000 % |
5.06/5.19 c | 21583 | 5841 25007 75981 | 2147483647 19904 121 | 0.000 % |
5.16/5.27 c | 21839 | 5841 25007 75981 | 2147483647 20160 121 | 0.000 % |
5.26/5.35 c | 22120 | 5841 25007 75981 | 2147483647 20441 122 | 0.000 % |
5.36/5.44 c | 22429 | 5841 25007 75981 | 2147483647 20750 122 | 0.000 % |
5.46/5.55 c | 22770 | 5841 25007 75981 | 2147483647 21091 122 | 0.000 % |
5.56/5.67 c | 23144 | 5841 25007 75981 | 2147483647 21465 122 | 0.000 % |
5.66/5.79 c | 23553 | 5841 25007 75981 | 2147483647 21874 122 | 0.000 % |
5.76/5.82 c | 23653 | 5841 25007 75981 | 2147483647 21974 122 | 0.000 % |
5.76/5.86 c | 23764 | 5841 25007 75981 | 2147483647 22085 122 | 0.000 % |
5.86/5.90 c | 23885 | 5841 25007 75981 | 2147483647 22206 122 | 0.000 % |
5.86/5.94 c | 24018 | 5841 25007 75981 | 2147483647 22339 122 | 0.000 % |
5.96/6.00 c | 24166 | 5841 25007 75981 | 2147483647 22487 122 | 0.000 % |
5.96/6.04 c | 24326 | 5841 25007 75981 | 2147483647 22647 122 | 0.000 % |
6.06/6.10 c | 24503 | 5841 25007 75981 | 2147483647 22824 122 | 0.000 % |
6.06/6.16 c | 24696 | 5841 25007 75981 | 2147483647 23017 122 | 0.000 % |
6.15/6.23 c | 24908 | 5841 25007 75981 | 2147483647 23229 122 | 0.000 % |
6.25/6.30 c | 25144 | 5841 25007 75981 | 2147483647 23465 122 | 0.000 % |
6.25/6.38 c | 25403 | 5841 25007 75981 | 2147483647 23724 122 | 0.000 % |
6.35/6.47 c | 25684 | 5841 25007 75981 | 2147483647 24005 122 | 0.000 % |
6.46/6.57 c | 25996 | 5841 25007 75981 | 2147483647 24317 122 | 0.000 % |
6.56/6.68 c | 26335 | 5841 25007 75981 | 2147483647 24656 122 | 0.000 % |
6.66/6.80 c | 26708 | 5841 25007 75981 | 2147483647 25029 123 | 0.000 % |
6.86/6.93 c | 27117 | 5841 25007 75981 | 2147483647 25438 123 | 0.000 % |
6.96/7.07 c | 27568 | 5841 25007 75981 | 2147483647 25889 123 | 0.000 % |
7.06/7.11 c | 27668 | 5841 25007 75981 | 2147483647 25989 123 | 0.000 % |
7.06/7.15 c | 27779 | 5841 25007 75981 | 2147483647 26100 123 | 0.000 % |
7.06/7.20 c | 27901 | 5841 25007 75981 | 2147483647 26222 123 | 0.000 % |
7.16/7.24 c | 28035 | 5841 25007 75981 | 2147483647 26356 123 | 0.000 % |
7.16/7.29 c | 28181 | 5841 25007 75981 | 2147483647 26502 123 | 0.000 % |
7.26/7.35 c | 28342 | 5841 25007 75981 | 2147483647 26663 123 | 0.000 % |
7.36/7.42 c | 28518 | 5841 25007 75981 | 2147483647 26839 123 | 0.000 % |
7.36/7.48 c | 28711 | 5841 25007 75981 | 2147483647 27032 123 | 0.000 % |
7.46/7.56 c | 28925 | 5841 25007 75981 | 2147483647 27246 123 | 0.000 % |
7.56/7.64 c | 29161 | 5841 25007 75981 | 2147483647 27482 123 | 0.000 % |
7.66/7.73 c | 29417 | 5841 25007 75981 | 2147483647 27738 123 | 0.000 % |
7.76/7.83 c | 29698 | 5841 25007 75981 | 2147483647 28019 123 | 0.000 % |
7.86/7.93 c | 30008 | 5841 25007 75981 | 2147483647 28329 123 | 0.000 % |
7.96/8.04 c | 30347 | 5841 25007 75981 | 2147483647 28668 123 | 0.000 % |
8.06/8.17 c | 30720 | 5841 25007 75981 | 2147483647 29041 123 | 0.000 % |
8.26/8.32 c | 31129 | 5841 25007 75981 | 2147483647 29450 123 | 0.000 % |
8.36/8.47 c | 31578 | 5841 25007 75981 | 2147483647 29899 123 | 0.000 % |
8.56/8.65 c | 32072 | 5841 25007 75981 | 2147483647 30393 123 | 0.000 % |
8.56/8.69 c | 32173 | 5841 25007 75981 | 2147483647 30494 123 | 0.000 % |
8.66/8.73 c | 32284 | 5841 25007 75981 | 2147483647 30605 123 | 0.000 % |
8.66/8.78 c | 32408 | 5841 25007 75981 | 2147483647 30729 123 | 0.000 % |
8.76/8.83 c | 32543 | 5841 25007 75981 | 2147483647 30864 123 | 0.000 % |
8.76/8.89 c | 32689 | 5841 25007 75981 | 2147483647 31010 123 | 0.000 % |
8.85/8.96 c | 32851 | 5841 25007 75981 | 2147483647 31172 123 | 0.000 % |
8.95/9.02 c | 33027 | 5841 25007 75981 | 2147483647 31348 123 | 0.000 % |
8.95/9.10 c | 33220 | 5841 25007 75981 | 2147483647 31541 123 | 0.000 % |
9.05/9.18 c | 33432 | 5841 25007 75981 | 2147483647 31753 123 | 0.000 % |
9.15/9.27 c | 33667 | 5841 25007 75981 | 2147483647 31988 123 | 0.000 % |
9.25/9.36 c | 33925 | 5841 25007 75981 | 2147483647 32246 123 | 0.000 % |
9.35/9.47 c | 34206 | 5841 25007 75981 | 2147483647 32527 123 | 0.000 % |
9.45/9.58 c | 34515 | 5841 25007 75981 | 2147483647 32836 123 | 0.000 % |
9.55/9.69 c | 34854 | 5841 25007 75981 | 2147483647 33175 123 | 0.000 % |
9.76/9.82 c | 35227 | 5841 25007 75981 | 2147483647 33548 123 | 0.000 % |
9.85/9.98 c | 35636 | 5841 25007 75981 | 2147483647 33957 123 | 0.000 % |
10.05/10.15 c | 36085 | 5841 25007 75981 | 2147483647 34406 123 | 0.000 % |
10.25/10.34 c | 36578 | 5841 25007 75981 | 2147483647 34899 123 | 0.000 % |
10.46/10.56 c | 37120 | 5841 25007 75981 | 2147483647 35441 124 | 0.000 % |
10.56/10.60 c | 37222 | 5841 25007 75981 | 2147483647 35543 124 | 0.000 % |
10.56/10.65 c | 37332 | 5841 25007 75981 | 2147483647 35653 123 | 0.000 % |
10.65/10.70 c | 37453 | 5841 25007 75981 | 2147483647 35774 123 | 0.000 % |
10.65/10.76 c | 37587 | 5841 25007 75981 | 2147483647 35908 124 | 0.000 % |
10.75/10.82 c | 37735 | 5841 25007 75981 | 2147483647 36056 124 | 0.000 % |
10.75/10.89 c | 37895 | 5841 25007 75981 | 2147483647 36216 124 | 0.000 % |
10.86/10.96 c | 38073 | 5841 25007 75981 | 2147483647 36394 123 | 0.000 % |
10.96/11.05 c | 38266 | 5841 25007 75981 | 2147483647 36587 123 | 0.000 % |
11.05/11.13 c | 38481 | 5841 25007 75981 | 2147483647 36802 123 | 0.000 % |
11.15/11.22 c | 38714 | 5841 25007 75981 | 2147483647 37035 123 | 0.000 % |
11.25/11.32 c | 38970 | 5841 25007 75981 | 2147483647 37291 123 | 0.000 % |
11.35/11.43 c | 39252 | 5841 25007 75981 | 2147483647 37573 123 | 0.000 % |
11.45/11.55 c | 39561 | 5841 25007 75981 | 2147483647 37882 124 | 0.000 % |
11.55/11.69 c | 39900 | 5841 25007 75981 | 2147483647 38221 124 | 0.000 % |
11.75/11.85 c | 40273 | 5841 25007 75981 | 2147483647 38594 124 | 0.000 % |
11.95/12.02 c | 40682 | 5841 25007 75981 | 2147483647 39003 124 | 0.000 % |
12.16/12.20 c | 41131 | 5841 25007 75981 | 2147483647 39452 124 | 0.000 % |
12.25/12.40 c | 41624 | 5841 25007 75981 | 2147483647 39945 124 | 0.000 % |
12.55/12.63 c | 42167 | 5841 25007 75981 | 2147483647 40488 124 | 0.000 % |
12.75/12.88 c | 42767 | 5841 25007 75981 | 2147483647 41088 124 | 0.000 % |
12.85/12.92 c | 42871 | 5841 25007 75981 | 2147483647 41192 124 | 0.000 % |
12.85/12.97 c | 42982 | 5841 25007 75981 | 2147483647 41303 124 | 0.000 % |
12.95/13.03 c | 43105 | 5841 25007 75981 | 2147483647 41426 124 | 0.000 % |
12.95/13.09 c | 43238 | 5841 25007 75981 | 2147483647 41559 124 | 0.000 % |
13.05/13.16 c | 43384 | 5841 25007 75981 | 2147483647 41705 124 | 0.000 % |
13.15/13.24 c | 43544 | 5841 25007 75981 | 2147483647 41865 124 | 0.000 % |
13.25/13.33 c | 43720 | 5841 25007 75981 | 2147483647 42041 124 | 0.000 % |
13.35/13.41 c | 43915 | 5841 25007 75981 | 2147483647 42236 124 | 0.000 % |
13.45/13.50 c | 44128 | 5841 25007 75981 | 2147483647 42449 124 | 0.000 % |
13.55/13.61 c | 44362 | 5841 25007 75981 | 2147483647 42683 124 | 0.000 % |
13.65/13.72 c | 44618 | 5841 25007 75981 | 2147483647 42939 124 | 0.000 % |
13.75/13.83 c | 44900 | 5841 25007 75981 | 2147483647 43221 124 | 0.000 % |
13.85/13.97 c | 45211 | 5841 25007 75981 | 2147483647 43532 124 | 0.000 % |
14.05/14.10 c | 45550 | 5841 25007 75981 | 2147483647 43871 125 | 0.000 % |
14.15/14.27 c | 45922 | 5841 25007 75981 | 2147483647 44243 125 | 0.000 % |
14.34/14.45 c | 46332 | 5841 25007 75981 | 2147483647 44653 125 | 0.000 % |
14.54/14.65 c | 46781 | 5841 25007 75981 | 2147483647 45102 125 | 0.000 % |
14.74/14.87 c | 47275 | 5841 25007 75981 | 2147483647 45596 125 | 0.000 % |
15.04/15.11 c | 47819 | 5841 25007 75981 | 2147483647 46140 125 | 0.000 % |
15.25/15.38 c | 48415 | 5841 25007 75981 | 2147483647 46736 125 | 0.000 % |
15.54/15.69 c | 49071 | 5841 25007 75981 | 2147483647 47392 125 | 0.000 % |
15.64/15.74 c | 49172 | 5841 25007 75981 | 2147483647 47493 125 | 0.000 % |
15.64/15.79 c | 49282 | 5841 25007 75981 | 2147483647 47603 125 | 0.000 % |
15.74/15.85 c | 49403 | 5841 25007 75981 | 2147483647 47724 125 | 0.000 % |
15.84/15.93 c | 49537 | 5841 25007 75981 | 2147483647 47858 125 | 0.000 % |
15.94/16.01 c | 49684 | 5841 25007 75981 | 2147483647 48005 125 | 0.000 % |
15.94/16.09 c | 49844 | 5841 25007 75981 | 2147483647 48165 125 | 0.000 % |
16.05/16.16 c | 50020 | 5841 25007 75981 | 2147483647 48341 125 | 0.000 % |
16.15/16.26 c | 50214 | 5841 25007 75981 | 2147483647 48535 125 | 0.000 % |
16.25/16.37 c | 50426 | 5841 25007 75981 | 2147483647 48747 125 | 0.000 % |
16.35/16.48 c | 50661 | 5841 25007 75981 | 2147483647 48982 125 | 0.000 % |
16.55/16.60 c | 50918 | 5841 25007 75981 | 2147483647 49239 125 | 0.000 % |
16.65/16.74 c | 51200 | 5841 25007 75981 | 2147483647 49521 125 | 0.000 % |
16.75/16.87 c | 51509 | 5841 25007 75981 | 2147483647 49830 125 | 0.000 % |
16.94/17.04 c | 51849 | 5841 25007 75981 | 2147483647 50170 125 | 0.000 % |
17.15/17.21 c | 52221 | 5841 25007 75981 | 2147483647 50542 125 | 0.000 % |
17.35/17.41 c | 52630 | 5841 25007 75981 | 2147483647 50951 125 | 0.000 % |
17.55/17.61 c | 53079 | 5841 25007 75981 | 2147483647 51400 125 | 0.000 % |
17.75/17.86 c | 53572 | 5841 25007 75981 | 2147483647 51893 125 | 0.000 % |
18.05/18.12 c | 54114 | 5841 25007 75981 | 2147483647 52435 125 | 0.000 % |
18.25/18.39 c | 54710 | 5841 25007 75981 | 2147483647 53031 125 | 0.000 % |
18.55/18.68 c | 55367 | 5841 25007 75981 | 2147483647 53688 126 | 0.000 % |
18.95/19.03 c | 56089 | 5841 25007 75981 | 2147483647 54410 126 | 0.000 % |
18.95/19.09 c | 56190 | 5841 25007 75981 | 2147483647 54511 126 | 0.000 % |
19.05/19.14 c | 56300 | 5841 25007 75981 | 2147483647 54621 126 | 0.000 % |
19.15/19.21 c | 56422 | 5841 25007 75981 | 2147483647 54743 126 | 0.000 % |
19.15/19.29 c | 56555 | 5841 25007 75981 | 2147483647 54876 126 | 0.000 % |
19.25/19.37 c | 56701 | 5841 25007 75981 | 2147483647 55022 126 | 0.000 % |
19.35/19.46 c | 56864 | 5841 25007 75981 | 2147483647 55185 126 | 0.000 % |
19.45/19.56 c | 57040 | 5841 25007 75981 | 2147483647 55361 126 | 0.000 % |
19.55/19.66 c | 57235 | 5841 25007 75981 | 2147483647 55556 126 | 0.000 % |
19.65/19.77 c | 57448 | 5841 25007 75981 | 2147483647 55769 126 | 0.000 % |
19.84/19.90 c | 57683 | 5841 25007 75981 | 2147483647 56004 126 | 0.000 % |
19.94/20.03 c | 57939 | 5841 25007 75981 | 2147483647 56260 126 | 0.000 % |
20.04/20.17 c | 58222 | 5841 25007 75981 | 2147483647 56543 126 | 0.000 % |
20.24/20.33 c | 58534 | 5841 25007 75981 | 2147483647 56855 126 | 0.000 % |
20.44/20.50 c | 58874 | 5841 25007 75981 | 2147483647 57195 126 | 0.000 % |
20.64/20.70 c | 59247 | 5841 25007 75981 | 2147483647 57568 126 | 0.000 % |
20.85/20.91 c | 59658 | 5841 25007 75981 | 2147483647 57979 126 | 0.000 % |
21.05/21.14 c | 60107 | 5841 25007 75981 | 2147483647 58428 126 | 0.000 % |
21.25/21.39 c | 60600 | 5841 25007 75981 | 2147483647 58921 126 | 0.000 % |
21.55/21.68 c | 61143 | 5841 25007 75981 | 2147483647 59464 126 | 0.000 % |
21.85/21.99 c | 61739 | 5841 25007 75981 | 2147483647 60060 126 | 0.000 % |
22.24/22.32 c | 62394 | 5841 25007 75981 | 2147483647 60715 126 | 0.000 % |
22.54/22.69 c | 63115 | 5841 25007 75981 | 2147483647 61436 126 | 0.000 % |
23.05/23.10 c | 63908 | 5841 25007 75981 | 2147483647 62229 126 | 0.000 % |
23.05/23.17 c | 64009 | 5841 25007 75981 | 2147483647 62330 126 | 0.000 % |
23.14/23.24 c | 64119 | 5841 25007 75981 | 2147483647 62440 126 | 0.000 % |
23.24/23.31 c | 64240 | 5841 25007 75981 | 2147483647 62561 126 | 0.000 % |
23.24/23.39 c | 64373 | 5841 25007 75981 | 2147483647 62694 126 | 0.000 % |
23.34/23.49 c | 64520 | 5841 25007 75981 | 2147483647 62841 126 | 0.000 % |
23.44/23.58 c | 64680 | 5841 25007 75981 | 2147483647 63001 126 | 0.000 % |
23.54/23.69 c | 64860 | 5841 25007 75981 | 2147483647 63181 126 | 0.000 % |
23.74/23.82 c | 65054 | 5841 25007 75981 | 2147483647 63375 126 | 0.000 % |
23.84/23.96 c | 65266 | 5841 25007 75981 | 2147483647 63587 126 | 0.000 % |
23.94/24.08 c | 65499 | 5841 25007 75981 | 2147483647 63820 126 | 0.000 % |
24.14/24.25 c | 65756 | 5841 25007 75981 | 2147483647 64077 126 | 0.000 % |
24.34/24.42 c | 66039 | 5841 25007 75981 | 2147483647 64360 126 | 0.000 % |
24.55/24.62 c | 66348 | 5841 25007 75981 | 2147483647 64669 126 | 0.000 % |
24.74/24.82 c | 66687 | 5841 25007 75981 | 2147483647 65008 126 | 0.000 % |
24.94/25.03 c | 67059 | 5841 25007 75981 | 2147483647 65380 126 | 0.000 % |
25.14/25.27 c | 67469 | 5841 25007 75981 | 2147483647 65790 126 | 0.000 % |
25.44/25.55 c | 67918 | 5841 25007 75981 | 2147483647 66239 126 | 0.000 % |
25.74/25.83 c | 68412 | 5841 25007 75981 | 2147483647 66733 126 | 0.000 % |
26.04/26.13 c | 68954 | 5841 25007 75981 | 2147483647 67275 126 | 0.000 % |
26.34/26.48 c | 69550 | 5841 25007 75981 | 2147483647 67871 127 | 0.000 % |
26.74/26.88 c | 70206 | 5841 25007 75981 | 2147483647 68527 127 | 0.000 % |
27.24/27.31 c | 70928 | 5841 25007 75981 | 2147483647 69249 127 | 0.000 % |
27.63/27.78 c | 71723 | 5841 25007 75981 | 2147483647 70044 127 | 0.000 % |
28.13/28.27 c | 72595 | 5841 25007 75981 | 2147483647 70916 127 | 0.000 % |
28.23/28.35 c | 72695 | 5841 25007 75981 | 2147483647 71016 127 | 0.000 % |
28.33/28.42 c | 72805 | 5841 25007 75981 | 2147483647 71126 127 | 0.000 % |
28.43/28.50 c | 72926 | 5841 25007 75981 | 2147483647 71247 127 | 0.000 % |
28.43/28.58 c | 73059 | 5841 25007 75981 | 2147483647 71380 127 | 0.000 % |
28.53/28.69 c | 73205 | 5841 25007 75981 | 2147483647 71526 127 | 0.000 % |
28.73/28.80 c | 73366 | 5841 25007 75981 | 2147483647 71687 127 | 0.000 % |
28.83/28.92 c | 73542 | 5841 25007 75981 | 2147483647 71863 127 | 0.000 % |
28.93/29.06 c | 73735 | 5841 25007 75981 | 2147483647 72056 127 | 0.000 % |
29.14/29.20 c | 73947 | 5841 25007 75981 | 2147483647 72268 127 | 0.000 % |
29.24/29.35 c | 74180 | 5841 25007 75981 | 2147483647 72501 127 | 0.000 % |
29.44/29.52 c | 74438 | 5841 25007 75981 | 2147483647 72759 127 | 0.000 % |
29.54/29.68 c | 74719 | 5841 25007 75981 | 2147483647 73040 127 | 0.000 % |
29.74/29.87 c | 75028 | 5841 25007 75981 | 2147483647 73349 127 | 0.000 % |
30.04/30.11 c | 75370 | 5841 25007 75981 | 2147483647 73691 127 | 0.000 % |
30.24/30.33 c | 75743 | 5841 25007 75981 | 2147483647 74064 127 | 0.000 % |
30.44/30.56 c | 76152 | 5841 25007 75981 | 2147483647 74473 127 | 0.000 % |
30.74/30.83 c | 76603 | 5841 25007 75981 | 2147483647 74924 127 | 0.000 % |
31.03/31.14 c | 77097 | 5841 25007 75981 | 2147483647 75418 127 | 0.000 % |
31.43/31.50 c | 77640 | 5841 25007 75981 | 2147483647 75961 127 | 0.000 % |
31.74/31.86 c | 78238 | 5841 25007 75981 | 2147483647 76559 127 | 0.000 % |
32.13/32.26 c | 78893 | 5841 25007 75981 | 2147483647 77214 127 | 0.000 % |
32.63/32.73 c | 79615 | 5841 25007 75981 | 2147483647 77936 127 | 0.000 % |
33.03/33.19 c | 80407 | 5841 25007 75981 | 2147483647 78728 128 | 0.000 % |
33.63/33.74 c | 81278 | 5841 25007 75981 | 2147483647 79599 128 | 0.000 % |
34.23/34.33 c | 82236 | 5841 25007 75981 | 2147483647 80557 128 | 0.000 % |
34.33/34.40 c | 82336 | 5841 25007 75981 | 2147483647 80657 128 | 0.000 % |
34.33/34.48 c | 82447 | 5841 25007 75981 | 2147483647 80768 128 | 0.000 % |
34.43/34.57 c | 82568 | 5841 25007 75981 | 2147483647 80889 128 | 0.000 % |
34.53/34.68 c | 82704 | 5841 25007 75981 | 2147483647 81025 128 | 0.000 % |
34.63/34.77 c | 82851 | 5841 25007 75981 | 2147483647 81172 128 | 0.000 % |
34.73/34.89 c | 83012 | 5841 25007 75981 | 2147483647 81333 128 | 0.000 % |
34.93/35.04 c | 83188 | 5841 25007 75981 | 2147483647 81509 128 | 0.000 % |
35.03/35.17 c | 83381 | 5841 25007 75981 | 2147483647 81702 128 | 0.000 % |
35.23/35.31 c | 83593 | 5841 25007 75981 | 2147483647 81914 128 | 0.000 % |
35.33/35.49 c | 83827 | 5841 25007 75981 | 2147483647 82148 128 | 0.000 % |
35.53/35.68 c | 84084 | 5841 25007 75981 | 2147483647 82405 128 | 0.000 % |
35.73/35.89 c | 84365 | 5841 25007 75981 | 2147483647 82686 128 | 0.000 % |
36.03/36.11 c | 84677 | 5841 25007 75981 | 2147483647 82998 128 | 0.000 % |
36.23/36.34 c | 85016 | 5841 25007 75981 | 2147483647 83337 128 | 0.000 % |
36.53/36.62 c | 85391 | 5841 25007 75981 | 2147483647 83712 128 | 0.000 % |
36.73/36.89 c | 85800 | 5841 25007 75981 | 2147483647 84121 128 | 0.000 % |
37.03/37.19 c | 86249 | 5841 25007 75981 | 2147483647 84570 128 | 0.000 % |
37.43/37.53 c | 86742 | 5841 25007 75981 | 2147483647 85063 128 | 0.000 % |
37.73/37.88 c | 87285 | 5841 25007 75981 | 2147483647 85606 128 | 0.000 % |
38.13/38.28 c | 87881 | 5841 25007 75981 | 2147483647 86202 128 | 0.000 % |
38.62/38.70 c | 88536 | 5841 25007 75981 | 2147483647 86857 128 | 0.000 % |
39.12/39.23 c | 89256 | 5841 25007 75981 | 2147483647 87577 128 | 0.000 % |
39.62/39.76 c | 90050 | 5841 25007 75981 | 2147483647 88371 129 | 0.000 % |
40.23/40.37 c | 90923 | 5841 25007 75981 | 2147483647 89244 129 | 0.000 % |
40.93/41.00 c | 91881 | 5841 25007 75981 | 2147483647 90202 130 | 0.000 % |
41.63/41.75 c | 92936 | 5841 25007 75981 | 2147483647 91257 130 | 0.000 % |
41.73/41.84 c | 93036 | 5841 25007 75981 | 2147483647 91357 130 | 0.000 % |
41.83/41.95 c | 93146 | 5841 25007 75981 | 2147483647 91467 130 | 0.000 % |
41.93/42.06 c | 93267 | 5841 25007 75981 | 2147483647 91588 130 | 0.000 % |
42.03/42.16 c | 93401 | 5841 25007 75981 | 2147483647 91722 130 | 0.000 % |
42.13/42.29 c | 93549 | 5841 25007 75981 | 2147483647 91870 130 | 0.000 % |
42.32/42.44 c | 93709 | 5841 25007 75981 | 2147483647 92030 130 | 0.000 % |
42.42/42.57 c | 93886 | 5841 25007 75981 | 2147483647 92207 130 | 0.000 % |
42.62/42.70 c | 94079 | 5841 25007 75981 | 2147483647 92400 130 | 0.000 % |
42.73/42.86 c | 94294 | 5841 25007 75981 | 2147483647 92615 130 | 0.000 % |
42.92/43.06 c | 94527 | 5841 25007 75981 | 2147483647 92848 130 | 0.000 % |
43.12/43.27 c | 94784 | 5841 25007 75981 | 2147483647 93105 130 | 0.000 % |
43.32/43.49 c | 95067 | 5841 25007 75981 | 2147483647 93388 130 | 0.000 % |
43.62/43.73 c | 95376 | 5841 25007 75981 | 2147483647 93697 130 | 0.000 % |
43.82/43.98 c | 95715 | 5841 25007 75981 | 2147483647 94036 130 | 0.000 % |
44.13/44.24 c | 96087 | 5841 25007 75981 | 2147483647 94408 130 | 0.000 % |
44.43/44.58 c | 96499 | 5841 25007 75981 | 2147483647 94820 130 | 0.000 % |
44.83/44.90 c | 96949 | 5841 25007 75981 | 2147483647 95270 130 | 0.000 % |
45.13/45.26 c | 97444 | 5841 25007 75981 | 2147483647 95765 130 | 0.000 % |
45.53/45.66 c | 97986 | 5841 25007 75981 | 2147483647 96307 130 | 0.000 % |
46.03/46.11 c | 98582 | 5841 25007 75981 | 2147483647 96903 130 | 0.000 % |
46.43/46.59 c | 99237 | 5841 25007 75981 | 2147483647 97558 130 | 0.000 % |
46.92/47.09 c | 99960 | 5841 25007 75981 | 2147483647 98281 130 | 0.000 % |
47.62/47.74 c | 100753 | 5841 25007 75981 | 2147483647 99074 130 | 0.000 % |
48.23/48.38 c | 101625 | 5841 25007 75981 | 2147483647 99946 130 | 0.000 % |
49.02/49.13 c | 102583 | 5841 25007 75981 | 2147483647 100904 131 | 0.000 % |
49.83/49.98 c | 103636 | 5841 25007 75981 | 2147483647 101957 131 | 0.000 % |
50.72/50.86 c | 104795 | 5841 25007 75981 | 2147483647 103116 131 | 0.000 % |
50.82/50.94 c | 104897 | 5841 25007 75981 | 2147483647 103218 131 | 0.000 % |
50.92/51.04 c | 105007 | 5841 25007 75981 | 2147483647 103328 131 | 0.000 % |
51.02/51.17 c | 105129 | 5841 25007 75981 | 2147483647 103450 131 | 0.000 % |
51.12/51.29 c | 105264 | 5841 25007 75981 | 2147483647 103585 131 | 0.000 % |
51.32/51.41 c | 105410 | 5841 25007 75981 | 2147483647 103731 131 | 0.000 % |
51.42/51.56 c | 105571 | 5841 25007 75981 | 2147483647 103892 131 | 0.000 % |
51.62/51.73 c | 105749 | 5841 25007 75981 | 2147483647 104070 131 | 0.000 % |
51.82/51.90 c | 105945 | 5841 25007 75981 | 2147483647 104266 131 | 0.000 % |
51.92/52.06 c | 106157 | 5841 25007 75981 | 2147483647 104478 131 | 0.000 % |
52.12/52.26 c | 106392 | 5841 25007 75981 | 2147483647 104713 131 | 0.000 % |
52.31/52.49 c | 106648 | 5841 25007 75981 | 2147483647 104969 131 | 0.000 % |
52.63/52.73 c | 106931 | 5841 25007 75981 | 2147483647 105252 131 | 0.000 % |
52.82/52.99 c | 107240 | 5841 25007 75981 | 2147483647 105561 131 | 0.000 % |
53.12/53.28 c | 107579 | 5841 25007 75981 | 2147483647 105900 131 | 0.000 % |
53.52/53.61 c | 107951 | 5841 25007 75981 | 2147483647 106272 131 | 0.000 % |
53.82/53.95 c | 108360 | 5841 25007 75981 | 2147483647 106681 131 | 0.000 % |
54.22/54.33 c | 108809 | 5841 25007 75981 | 2147483647 107130 131 | 0.000 % |
54.62/54.73 c | 109305 | 5841 25007 75981 | 2147483647 107626 131 | 0.000 % |
55.02/55.16 c | 109847 | 5841 25007 75981 | 2147483647 108168 131 | 0.000 % |
55.52/55.64 c | 110443 | 5841 25007 75981 | 2147483647 108764 131 | 0.000 % |
56.02/56.16 c | 111099 | 5841 25007 75981 | 2147483647 109420 131 | 0.000 % |
56.61/56.72 c | 111820 | 5841 25007 75981 | 2147483647 110141 131 | 0.000 % |
57.22/57.36 c | 112614 | 5841 25007 75981 | 2147483647 110935 131 | 0.000 % |
57.92/58.02 c | 113485 | 5841 25007 75981 | 2147483647 111806 131 | 0.000 % |
58.72/58.81 c | 114445 | 5841 25007 75981 | 2147483647 112766 131 | 0.000 % |
59.52/59.61 c | 115499 | 5841 25007 75981 | 2147483647 113820 132 | 0.000 % |
60.42/60.55 c | 116661 | 5841 25007 75981 | 2147483647 114982 132 | 0.000 % |
61.42/61.59 c | 117936 | 5841 25007 75981 | 2147483647 116257 132 | 0.000 % |
61.52/61.68 c | 118036 | 5841 25007 75981 | 2147483647 116357 132 | 0.000 % |
61.72/61.82 c | 118146 | 5841 25007 75981 | 2147483647 116467 132 | 0.000 % |
61.82/61.93 c | 118267 | 5841 25007 75981 | 2147483647 116588 132 | 0.000 % |
61.92/62.08 c | 118400 | 5841 25007 75981 | 2147483647 116721 132 | 0.000 % |
62.12/62.22 c | 118546 | 5841 25007 75981 | 2147483647 116867 132 | 0.000 % |
62.22/62.39 c | 118707 | 5841 25007 75981 | 2147483647 117028 132 | 0.000 % |
62.42/62.56 c | 118883 | 5841 25007 75981 | 2147483647 117204 132 | 0.000 % |
62.62/62.74 c | 119077 | 5841 25007 75981 | 2147483647 117398 132 | 0.000 % |
62.82/62.95 c | 119289 | 5841 25007 75981 | 2147483647 117610 132 | 0.000 % |
63.02/63.18 c | 119522 | 5841 25007 75981 | 2147483647 117843 132 | 0.000 % |
63.32/63.44 c | 119779 | 5841 25007 75981 | 2147483647 118100 132 | 0.000 % |
63.62/63.71 c | 120061 | 5841 25007 75981 | 2147483647 118382 132 | 0.000 % |
63.92/64.00 c | 120370 | 5841 25007 75981 | 2147483647 118691 132 | 0.000 % |
64.21/64.31 c | 120710 | 5841 25007 75981 | 2147483647 119031 132 | 0.000 % |
64.51/64.65 c | 121084 | 5841 25007 75981 | 2147483647 119405 132 | 0.000 % |
64.91/65.03 c | 121494 | 5841 25007 75981 | 2147483647 119815 132 | 0.000 % |
65.31/65.46 c | 121943 | 5841 25007 75981 | 2147483647 120264 132 | 0.000 % |
65.71/65.86 c | 122436 | 5841 25007 75981 | 2147483647 120757 132 | 0.000 % |
66.21/66.31 c | 122978 | 5841 25007 75981 | 2147483647 121299 132 | 0.000 % |
66.71/66.82 c | 123574 | 5841 25007 75981 | 2147483647 121895 132 | 0.000 % |
67.31/67.48 c | 124229 | 5841 25007 75981 | 2147483647 122550 132 | 0.000 % |
68.01/68.11 c | 124949 | 5841 25007 75981 | 2147483647 123270 132 | 0.000 % |
68.61/68.80 c | 125741 | 5841 25007 75981 | 2147483647 124062 132 | 0.000 % |
69.41/69.56 c | 126617 | 5841 25007 75981 | 2147483647 124938 132 | 0.000 % |
70.31/70.41 c | 127575 | 5841 25007 75981 | 2147483647 125896 132 | 0.000 % |
71.31/71.41 c | 128628 | 5841 25007 75981 | 2147483647 126949 132 | 0.000 % |
72.30/72.49 c | 129787 | 5841 25007 75981 | 2147483647 128108 132 | 0.000 % |
73.50/73.65 c | 131060 | 5841 25007 75981 | 2147483647 129381 132 | 0.000 % |
74.80/74.92 c | 132460 | 5841 25007 75981 | 2147483647 130781 133 | 0.000 % |
74.90/75.03 c | 132560 | 5841 25007 75981 | 2147483647 130881 133 | 0.000 % |
75.00/75.16 c | 132670 | 5841 25007 75981 | 2147483647 130991 133 | 0.000 % |
75.19/75.32 c | 132793 | 5841 25007 75981 | 2147483647 131114 133 | 0.000 % |
75.29/75.47 c | 132926 | 5841 25007 75981 | 2147483647 131247 133 | 0.000 % |
75.49/75.62 c | 133073 | 5841 25007 75981 | 2147483647 131394 133 | 0.000 % |
75.59/75.79 c | 133233 | 5841 25007 75981 | 2147483647 131554 133 | 0.000 % |
75.80/75.97 c | 133409 | 5841 25007 75981 | 2147483647 131730 133 | 0.000 % |
75.99/76.19 c | 133602 | 5841 25007 75981 | 2147483647 131923 133 | 0.000 % |
76.29/76.40 c | 133814 | 5841 25007 75981 | 2147483647 132135 133 | 0.000 % |
76.49/76.65 c | 134048 | 5841 25007 75981 | 2147483647 132369 133 | 0.000 % |
76.80/76.91 c | 134305 | 5841 25007 75981 | 2147483647 132626 133 | 0.000 % |
77.09/77.21 c | 134586 | 5841 25007 75981 | 2147483647 132907 133 | 0.000 % |
77.39/77.53 c | 134895 | 5841 25007 75981 | 2147483647 133216 133 | 0.000 % |
77.69/77.85 c | 135236 | 5841 25007 75981 | 2147483647 133557 133 | 0.000 % |
78.09/78.22 c | 135608 | 5841 25007 75981 | 2147483647 133929 133 | 0.000 % |
78.50/78.61 c | 136019 | 5841 25007 75981 | 2147483647 134340 133 | 0.000 % |
78.90/79.07 c | 136468 | 5841 25007 75981 | 2147483647 134789 133 | 0.000 % |
79.39/79.53 c | 136961 | 5841 25007 75981 | 2147483647 135282 133 | 0.000 % |
79.89/80.04 c | 137503 | 5841 25007 75981 | 2147483647 135824 133 | 0.000 % |
80.49/80.69 c | 138099 | 5841 25007 75981 | 2147483647 136420 133 | 0.000 % |
81.19/81.36 c | 138754 | 5841 25007 75981 | 2147483647 137075 133 | 0.000 % |
81.89/82.09 c | 139474 | 5841 25007 75981 | 2147483647 137795 133 | 0.000 % |
82.59/82.79 c | 140267 | 5841 25007 75981 | 2147483647 138588 133 | 0.000 % |
83.49/83.67 c | 141142 | 5841 25007 75981 | 2147483647 139463 133 | 0.000 % |
84.40/84.60 c | 142101 | 5841 25007 75981 | 2147483647 140422 133 | 0.000 % |
85.39/85.59 c | 143156 | 5841 25007 75981 | 2147483647 141477 133 | 0.000 % |
86.59/86.75 c | 144318 | 5841 25007 75981 | 2147483647 142639 133 | 0.000 % |
87.79/87.96 c | 145591 | 5841 25007 75981 | 2147483647 143912 133 | 0.000 % |
89.18/89.32 c | 146991 | 5841 25007 75981 | 2147483647 145312 133 | 0.000 % |
90.68/90.81 c | 148532 | 5841 25007 75981 | 2147483647 146853 134 | 0.000 % |
90.78/90.96 c | 148634 | 5841 25007 75981 | 2147483647 146955 134 | 0.000 % |
90.98/91.11 c | 148746 | 5841 25007 75981 | 2147483647 147067 134 | 0.000 % |
91.09/91.25 c | 148867 | 5841 25007 75981 | 2147483647 147188 134 | 0.000 % |
91.28/91.40 c | 149000 | 5841 25007 75981 | 2147483647 147321 134 | 0.000 % |
91.48/91.60 c | 149146 | 5841 25007 75981 | 2147483647 147467 134 | 0.000 % |
91.58/91.78 c | 149307 | 5841 25007 75981 | 2147483647 147628 133 | 0.000 % |
91.79/91.99 c | 149484 | 5841 25007 75981 | 2147483647 147805 133 | 0.000 % |
92.09/92.22 c | 149677 | 5841 25007 75981 | 2147483647 147998 133 | 0.000 % |
92.30/92.49 c | 149889 | 5841 25007 75981 | 2147483647 148210 133 | 0.000 % |
92.59/92.77 c | 150123 | 5841 25007 75981 | 2147483647 148444 133 | 0.000 % |
92.89/93.07 c | 150380 | 5841 25007 75981 | 2147483647 148701 133 | 0.000 % |
93.19/93.39 c | 150662 | 5841 25007 75981 | 2147483647 148983 133 | 0.000 % |
93.59/93.76 c | 150973 | 5841 25007 75981 | 2147483647 149294 133 | 0.000 % |
93.99/94.13 c | 151312 | 5841 25007 75981 | 2147483647 149633 133 | 0.000 % |
94.29/94.50 c | 151684 | 5841 25007 75981 | 2147483647 150005 133 | 0.000 % |
94.79/94.94 c | 152093 | 5841 25007 75981 | 2147483647 150414 133 | 0.000 % |
95.29/95.49 c | 152542 | 5841 25007 75981 | 2147483647 150863 133 | 0.000 % |
95.89/96.02 c | 153036 | 5841 25007 75981 | 2147483647 151357 133 | 0.000 % |
96.49/96.64 c | 153581 | 5841 25007 75981 | 2147483647 151902 133 | 0.000 % |
97.19/97.32 c | 154179 | 5841 25007 75981 | 2147483647 152500 133 | 0.000 % |
97.79/97.97 c | 154834 | 5841 25007 75981 | 2147483647 153155 133 | 0.000 % |
98.48/98.69 c | 155555 | 5841 25007 75981 | 2147483647 153876 133 | 0.000 % |
99.39/99.58 c | 156347 | 5841 25007 75981 | 2147483647 154668 133 | 0.000 % |
100.29/100.46 c | 157219 | 5841 25007 75981 | 2147483647 155540 133 | 0.000 % |
101.28/101.49 c | 158179 | 5841 25007 75981 | 2147483647 156500 133 | 0.000 % |
102.48/102.60 c | 159232 | 5841 25007 75981 | 2147483647 157553 133 | 0.000 % |
103.68/103.82 c | 160391 | 5841 25007 75981 | 2147483647 158712 134 | 0.000 % |
104.98/105.13 c | 161664 | 5841 25007 75981 | 2147483647 159985 134 | 0.000 % |
106.48/106.65 c | 163064 | 5841 25007 75981 | 2147483647 161385 134 | 0.000 % |
108.19/108.39 c | 164604 | 5841 25007 75981 | 2147483647 162925 134 | 0.000 % |
109.98/110.16 c | 166302 | 5841 25007 75981 | 2147483647 164623 135 | 0.000 % |
110.08/110.29 c | 166402 | 5841 25007 75981 | 2147483647 164723 135 | 0.000 % |
110.28/110.45 c | 166512 | 5841 25007 75981 | 2147483647 164833 135 | 0.000 % |
110.48/110.62 c | 166633 | 5841 25007 75981 | 2147483647 164954 135 | 0.000 % |
110.68/110.81 c | 166767 | 5841 25007 75981 | 2147483647 165088 135 | 0.000 % |
110.78/110.99 c | 166913 | 5841 25007 75981 | 2147483647 165234 135 | 0.000 % |
110.98/111.18 c | 167074 | 5841 25007 75981 | 2147483647 165395 135 | 0.000 % |
111.28/111.44 c | 167251 | 5841 25007 75981 | 2147483647 165572 135 | 0.000 % |
111.48/111.68 c | 167446 | 5841 25007 75981 | 2147483647 165767 135 | 0.000 % |
111.78/111.94 c | 167658 | 5841 25007 75981 | 2147483647 165979 135 | 0.000 % |
112.08/112.24 c | 167891 | 5841 25007 75981 | 2147483647 166212 135 | 0.000 % |
112.37/112.59 c | 168147 | 5841 25007 75981 | 2147483647 166468 134 | 0.000 % |
112.77/112.92 c | 168428 | 5841 25007 75981 | 2147483647 166749 135 | 0.000 % |
113.08/113.29 c | 168739 | 5841 25007 75981 | 2147483647 167060 134 | 0.000 % |
113.58/113.72 c | 169079 | 5841 25007 75981 | 2147483647 167400 134 | 0.000 % |
113.98/114.19 c | 169451 | 5841 25007 75981 | 2147483647 167772 134 | 0.000 % |
114.58/114.70 c | 169860 | 5841 25007 75981 | 2147483647 168181 134 | 0.000 % |
115.08/115.25 c | 170309 | 5841 25007 75981 | 2147483647 168630 134 | 0.000 % |
115.67/115.84 c | 170802 | 5841 25007 75981 | 2147483647 169123 134 | 0.000 % |
116.38/116.50 c | 171345 | 5841 25007 75981 | 2147483647 169666 134 | 0.000 % |
116.97/117.13 c | 171942 | 5841 25007 75981 | 2147483647 170263 134 | 0.000 % |
117.77/117.93 c | 172598 | 5841 25007 75981 | 2147483647 170919 134 | 0.000 % |
118.58/118.78 c | 173318 | 5841 25007 75981 | 2147483647 171639 134 | 0.000 % |
119.47/119.63 c | 174110 | 5841 25007 75981 | 2147483647 172431 134 | 0.000 % |
120.47/120.63 c | 174981 | 5841 25007 75981 | 2147483647 173302 135 | 0.000 % |
121.57/121.71 c | 175941 | 5841 25007 75981 | 2147483647 174262 135 | 0.000 % |
122.76/122.94 c | 176996 | 5841 25007 75981 | 2147483647 175317 135 | 0.000 % |
124.07/124.25 c | 178156 | 5841 25007 75981 | 2147483647 176477 135 | 0.000 % |
125.57/125.77 c | 179429 | 5841 25007 75981 | 2147483647 177750 135 | 0.000 % |
127.07/127.25 c | 180829 | 5841 25007 75981 | 2147483647 179150 135 | 0.000 % |
128.66/128.89 c | 182369 | 5841 25007 75981 | 2147483647 180690 135 | 0.000 % |
130.67/130.86 c | 184063 | 5841 25007 75981 | 2147483647 182384 135 | 0.000 % |
132.97/133.17 c | 185926 | 5841 25007 75981 | 2147483647 184247 135 | 0.000 % |
133.17/133.33 c | 186026 | 5841 25007 75981 | 2147483647 184347 135 | 0.000 % |
133.37/133.52 c | 186138 | 5841 25007 75981 | 2147483647 184459 135 | 0.000 % |
133.57/133.71 c | 186259 | 5841 25007 75981 | 2147483647 184580 135 | 0.000 % |
133.67/133.89 c | 186392 | 5841 25007 75981 | 2147483647 184713 135 | 0.000 % |
133.87/134.08 c | 186538 | 5841 25007 75981 | 2147483647 184859 135 | 0.000 % |
134.07/134.28 c | 186699 | 5841 25007 75981 | 2147483647 185020 135 | 0.000 % |
134.36/134.51 c | 186877 | 5841 25007 75981 | 2147483647 185198 135 | 0.000 % |
134.56/134.78 c | 187071 | 5841 25007 75981 | 2147483647 185392 135 | 0.000 % |
134.86/135.07 c | 187283 | 5841 25007 75981 | 2147483647 185604 135 | 0.000 % |
135.17/135.39 c | 187517 | 5841 25007 75981 | 2147483647 185838 135 | 0.000 % |
135.56/135.79 c | 187774 | 5841 25007 75981 | 2147483647 186095 135 | 0.000 % |
135.96/136.17 c | 188055 | 5841 25007 75981 | 2147483647 186376 135 | 0.000 % |
136.36/136.58 c | 188364 | 5841 25007 75981 | 2147483647 186685 135 | 0.000 % |
136.86/137.03 c | 188703 | 5841 25007 75981 | 2147483647 187024 135 | 0.000 % |
137.26/137.49 c | 189077 | 5841 25007 75981 | 2147483647 187398 135 | 0.000 % |
137.86/138.04 c | 189486 | 5841 25007 75981 | 2147483647 187807 135 | 0.000 % |
138.46/138.65 c | 189935 | 5841 25007 75981 | 2147483647 188256 135 | 0.000 % |
139.05/139.25 c | 190429 | 5841 25007 75981 | 2147483647 188750 135 | 0.000 % |
139.76/139.93 c | 190971 | 5841 25007 75981 | 2147483647 189292 135 | 0.000 % |
140.46/140.70 c | 191567 | 5841 25007 75981 | 2147483647 189888 135 | 0.000 % |
141.36/141.59 c | 192224 | 5841 25007 75981 | 2147483647 190545 135 | 0.000 % |
142.36/142.53 c | 192944 | 5841 25007 75981 | 2147483647 191265 135 | 0.000 % |
143.36/143.56 c | 193736 | 5841 25007 75981 | 2147483647 192057 135 | 0.000 % |
144.45/144.65 c | 194607 | 5841 25007 75981 | 2147483647 192928 135 | 0.000 % |
145.65/145.88 c | 195565 | 5841 25007 75981 | 2147483647 193886 135 | 0.000 % |
147.15/147.36 c | 196618 | 5841 25007 75981 | 2147483647 194939 135 | 0.000 % |
148.66/148.86 c | 197778 | 5841 25007 75981 | 2147483647 196099 135 | 0.000 % |
150.25/150.42 c | 199051 | 5841 25007 75981 | 2147483647 197372 135 | 0.000 % |
152.05/152.28 c | 200452 | 5841 25007 75981 | 2147483647 198773 136 | 0.000 % |
153.95/154.15 c | 201993 | 5841 25007 75981 | 2147483647 200314 136 | 0.000 % |
156.06/156.30 c | 203687 | 5841 25007 75981 | 2147483647 202008 136 | 0.000 % |
158.25/158.48 c | 205550 | 5841 25007 75981 | 2147483647 203871 136 | 0.000 % |
160.85/161.05 c | 207599 | 5841 25007 75981 | 2147483647 205920 136 | 0.000 % |
161.05/161.23 c | 207701 | 5841 25007 75981 | 2147483647 206022 136 | 0.000 % |
161.15/161.40 c | 207811 | 5841 25007 75981 | 2147483647 206132 136 | 0.000 % |
161.35/161.60 c | 207933 | 5841 25007 75981 | 2147483647 206254 136 | 0.000 % |
161.65/161.82 c | 208066 | 5841 25007 75981 | 2147483647 206387 136 | 0.000 % |
161.85/162.10 c | 208212 | 5841 25007 75981 | 2147483647 206533 136 | 0.000 % |
162.15/162.35 c | 208372 | 5841 25007 75981 | 2147483647 206693 136 | 0.000 % |
162.45/162.64 c | 208548 | 5841 25007 75981 | 2147483647 206869 136 | 0.000 % |
162.75/162.99 c | 208741 | 5841 25007 75981 | 2147483647 207062 136 | 0.000 % |
163.15/163.30 c | 208956 | 5841 25007 75981 | 2147483647 207277 136 | 0.000 % |
163.45/163.66 c | 209191 | 5841 25007 75981 | 2147483647 207512 136 | 0.000 % |
163.85/164.04 c | 209447 | 5841 25007 75981 | 2147483647 207768 136 | 0.000 % |
164.24/164.47 c | 209728 | 5841 25007 75981 | 2147483647 208049 136 | 0.000 % |
164.75/164.94 c | 210037 | 5841 25007 75981 | 2147483647 208358 136 | 0.000 % |
165.24/165.45 c | 210377 | 5841 25007 75981 | 2147483647 208698 136 | 0.000 % |
165.74/165.97 c | 210749 | 5841 25007 75981 | 2147483647 209070 136 | 0.000 % |
166.34/166.54 c | 211161 | 5841 25007 75981 | 2147483647 209482 136 | 0.000 % |
166.94/167.17 c | 211613 | 5841 25007 75981 | 2147483647 209934 136 | 0.000 % |
167.64/167.87 c | 212107 | 5841 25007 75981 | 2147483647 210428 136 | 0.000 % |
168.44/168.65 c | 212652 | 5841 25007 75981 | 2147483647 210973 136 | 0.000 % |
169.24/169.45 c | 213249 | 5841 25007 75981 | 2147483647 211570 136 | 0.000 % |
170.14/170.34 c | 213904 | 5841 25007 75981 | 2147483647 212225 136 | 0.000 % |
171.13/171.34 c | 214624 | 5841 25007 75981 | 2147483647 212945 136 | 0.000 % |
172.23/172.49 c | 215418 | 5841 25007 75981 | 2147483647 213739 136 | 0.000 % |
173.54/173.72 c | 216289 | 5841 25007 75981 | 2147483647 214610 136 | 0.000 % |
174.84/175.00 c | 217247 | 5841 25007 75981 | 2147483647 215568 136 | 0.000 % |
176.23/176.43 c | 218300 | 5841 25007 75981 | 2147483647 216621 136 | 0.000 % |
177.83/178.02 c | 219459 | 5841 25007 75981 | 2147483647 217780 136 | 0.000 % |
179.63/179.89 c | 220733 | 5841 25007 75981 | 2147483647 219054 136 | 0.000 % |
181.63/181.88 c | 222134 | 5841 25007 75981 | 2147483647 220455 136 | 0.000 % |
183.64/183.82 c | 223676 | 5841 25007 75981 | 2147483647 221997 136 | 0.000 % |
185.83/186.10 c | 225372 | 5841 25007 75981 | 2147483647 223693 136 | 0.000 % |
188.63/188.83 c | 227235 | 5841 25007 75981 | 2147483647 225556 136 | 0.000 % |
191.43/191.62 c | 229285 | 5841 25007 75981 | 2147483647 227606 136 | 0.000 % |
194.53/194.74 c | 231539 | 5841 25007 75981 | 2147483647 229860 136 | 0.000 % |
194.73/194.95 c | 231639 | 5841 25007 75981 | 2147483647 229960 136 | 0.000 % |
194.93/195.16 c | 231749 | 5841 25007 75981 | 2147483647 230070 136 | 0.000 % |
195.12/195.35 c | 231871 | 5841 25007 75981 | 2147483647 230192 136 | 0.000 % |
195.32/195.59 c | 232004 | 5841 25007 75981 | 2147483647 230325 136 | 0.000 % |
195.63/195.89 c | 232151 | 5841 25007 75981 | 2147483647 230472 136 | 0.000 % |
195.92/196.20 c | 232312 | 5841 25007 75981 | 2147483647 230633 136 | 0.000 % |
196.32/196.52 c | 232488 | 5841 25007 75981 | 2147483647 230809 136 | 0.000 % |
196.63/196.86 c | 232682 | 5841 25007 75981 | 2147483647 231003 136 | 0.000 % |
197.02/197.24 c | 232896 | 5841 25007 75981 | 2147483647 231217 136 | 0.000 % |
197.42/197.63 c | 233129 | 5841 25007 75981 | 2147483647 231450 136 | 0.000 % |
197.82/198.04 c | 233386 | 5841 25007 75981 | 2147483647 231707 136 | 0.000 % |
198.32/198.50 c | 233669 | 5841 25007 75981 | 2147483647 231990 136 | 0.000 % |
198.72/198.95 c | 233979 | 5841 25007 75981 | 2147483647 232300 136 | 0.000 % |
199.22/199.45 c | 234320 | 5841 25007 75981 | 2147483647 232641 136 | 0.000 % |
199.83/200.05 c | 234697 | 5841 25007 75981 | 2147483647 233018 136 | 0.000 % |
200.53/200.71 c | 235106 | 5841 25007 75981 | 2147483647 233427 136 | 0.000 % |
201.23/201.43 c | 235556 | 5841 25007 75981 | 2147483647 233877 136 | 0.000 % |
202.03/202.25 c | 236049 | 5841 25007 75981 | 2147483647 234370 136 | 0.000 % |
202.93/203.12 c | 236592 | 5841 25007 75981 | 2147483647 234913 136 | 0.000 % |
203.82/204.02 c | 237190 | 5841 25007 75981 | 2147483647 235511 136 | 0.000 % |
204.92/205.11 c | 237846 | 5841 25007 75981 | 2147483647 236167 136 | 0.000 % |
205.91/206.19 c | 238566 | 5841 25007 75981 | 2147483647 236887 136 | 0.000 % |
207.21/207.46 c | 239361 | 5841 25007 75981 | 2147483647 237682 136 | 0.000 % |
208.62/208.84 c | 240233 | 5841 25007 75981 | 2147483647 238554 136 | 0.000 % |
210.12/210.30 c | 241191 | 5841 25007 75981 | 2147483647 239512 136 | 0.000 % |
211.61/211.82 c | 242244 | 5841 25007 75981 | 2147483647 240565 136 | 0.000 % |
213.22/213.43 c | 243405 | 5841 25007 75981 | 2147483647 241726 136 | 0.000 % |
215.11/215.30 c | 244679 | 5841 25007 75981 | 2147483647 243000 136 | 0.000 % |
217.21/217.43 c | 246079 | 5841 25007 75981 | 2147483647 244400 136 | 0.000 % |
219.52/219.71 c | 247622 | 5841 25007 75981 | 2147483647 245943 136 | 0.000 % |
221.92/222.18 c | 249316 | 5841 25007 75981 | 2147483647 247637 137 | 0.000 % |
224.81/225.03 c | 251179 | 5841 25007 75981 | 2147483647 249500 137 | 0.000 % |
227.61/227.89 c | 253230 | 5841 25007 75981 | 2147483647 251551 137 | 0.000 % |
231.01/231.20 c | 255484 | 5841 25007 75981 | 2147483647 253805 137 | 0.000 % |
234.51/234.74 c | 257966 | 5841 25007 75981 | 2147483647 256287 137 | 0.000 % |
234.71/234.92 c | 258066 | 5841 25007 75981 | 2147483647 256387 137 | 0.000 % |
234.91/235.17 c | 258176 | 5841 25007 75981 | 2147483647 256497 137 | 0.000 % |
235.21/235.41 c | 258297 | 5841 25007 75981 | 2147483647 256618 137 | 0.000 % |
235.41/235.68 c | 258430 | 5841 25007 75981 | 2147483647 256751 137 | 0.000 % |
235.71/235.98 c | 258576 | 5841 25007 75981 | 2147483647 256897 137 | 0.000 % |
236.11/236.30 c | 258736 | 5841 25007 75981 | 2147483647 257057 137 | 0.000 % |
236.41/236.65 c | 258915 | 5841 25007 75981 | 2147483647 257236 137 | 0.000 % |
236.81/237.02 c | 259108 | 5841 25007 75981 | 2147483647 257429 137 | 0.000 % |
237.21/237.42 c | 259323 | 5841 25007 75981 | 2147483647 257644 137 | 0.000 % |
237.60/237.87 c | 259556 | 5841 25007 75981 | 2147483647 257877 137 | 0.000 % |
238.10/238.36 c | 259812 | 5841 25007 75981 | 2147483647 258133 137 | 0.000 % |
238.61/238.84 c | 260095 | 5841 25007 75981 | 2147483647 258416 137 | 0.000 % |
239.21/239.46 c | 260404 | 5841 25007 75981 | 2147483647 258725 137 | 0.000 % |
239.91/240.12 c | 260745 | 5841 25007 75981 | 2147483647 259066 137 | 0.000 % |
240.62/240.83 c | 261117 | 5841 25007 75981 | 2147483647 259438 137 | 0.000 % |
241.31/241.50 c | 261527 | 5841 25007 75981 | 2147483647 259848 137 | 0.000 % |
242.11/242.33 c | 261976 | 5841 25007 75981 | 2147483647 260297 137 | 0.000 % |
242.91/243.17 c | 262470 | 5841 25007 75981 | 2147483647 260791 137 | 0.000 % |
243.91/244.13 c | 263012 | 5841 25007 75981 | 2147483647 261333 137 | 0.000 % |
245.01/245.21 c | 263610 | 5841 25007 75981 | 2147483647 261931 137 | 0.000 % |
246.00/246.28 c | 264265 | 5841 25007 75981 | 2147483647 262586 137 | 0.000 % |
247.11/247.39 c | 264985 | 5841 25007 75981 | 2147483647 263306 137 | 0.000 % |
248.50/248.74 c | 265778 | 5841 25007 75981 | 2147483647 264099 137 | 0.000 % |
249.89/250.15 c | 266650 | 5841 25007 75981 | 2147483647 264971 137 | 0.000 % |
251.39/251.61 c | 267608 | 5841 25007 75981 | 2147483647 265929 138 | 0.000 % |
253.08/253.35 c | 268661 | 5841 25007 75981 | 2147483647 266982 138 | 0.000 % |
254.88/255.20 c | 269819 | 5841 25007 75981 | 2147483647 268140 138 | 0.000 % |
256.97/257.26 c | 271093 | 5841 25007 75981 | 2147483647 269414 138 | 0.000 % |
259.38/259.67 c | 272494 | 5841 25007 75981 | 2147483647 270815 138 | 0.000 % |
261.97/262.23 c | 274034 | 5841 25007 75981 | 2147483647 272355 138 | 0.000 % |
264.87/265.17 c | 275729 | 5841 25007 75981 | 2147483647 274050 138 | 0.000 % |
268.07/268.38 c | 277593 | 5841 25007 75981 | 2147483647 275914 138 | 0.000 % |
271.77/272.06 c | 279644 | 5841 25007 75981 | 2147483647 277965 138 | 0.000 % |
275.57/275.83 c | 281897 | 5841 25007 75981 | 2147483647 280218 138 | 0.000 % |
279.57/279.82 c | 284375 | 5841 25007 75981 | 2147483647 282696 138 | 0.000 % |
283.96/284.29 c | 287101 | 5841 25007 75981 | 2147483647 285422 138 | 0.000 % |
284.26/284.51 c | 287202 | 5841 25007 75981 | 2147483647 285523 138 | 0.000 % |
284.46/284.74 c | 287312 | 5841 25007 75981 | 2147483647 285633 138 | 0.000 % |
284.76/285.01 c | 287435 | 5841 25007 75981 | 2147483647 285756 138 | 0.000 % |
285.06/285.32 c | 287568 | 5841 25007 75981 | 2147483647 285889 138 | 0.000 % |
285.46/285.70 c | 287715 | 5841 25007 75981 | 2147483647 286036 138 | 0.000 % |
285.76/286.04 c | 287876 | 5841 25007 75981 | 2147483647 286197 138 | 0.000 % |
286.16/286.42 c | 288053 | 5841 25007 75981 | 2147483647 286374 138 | 0.000 % |
286.56/286.84 c | 288246 | 5841 25007 75981 | 2147483647 286567 138 | 0.000 % |
286.96/287.29 c | 288461 | 5841 25007 75981 | 2147483647 286782 138 | 0.000 % |
287.46/287.76 c | 288696 | 5841 25007 75981 | 2147483647 287017 138 | 0.000 % |
287.96/288.21 c | 288952 | 5841 25007 75981 | 2147483647 287273 138 | 0.000 % |
288.47/288.76 c | 289234 | 5841 25007 75981 | 2147483647 287555 138 | 0.000 % |
289.07/289.37 c | 289544 | 5841 25007 75981 | 2147483647 287865 138 | 0.000 % |
289.87/290.12 c | 289885 | 5841 25007 75981 | 2147483647 288206 138 | 0.000 % |
290.57/290.86 c | 290257 | 5841 25007 75981 | 2147483647 288578 138 | 0.000 % |
291.36/291.66 c | 290667 | 5841 25007 75981 | 2147483647 288988 138 | 0.000 % |
292.27/292.50 c | 291116 | 5841 25007 75981 | 2147483647 289437 138 | 0.000 % |
293.06/293.39 c | 291610 | 5841 25007 75981 | 2147483647 289931 138 | 0.000 % |
294.16/294.41 c | 292153 | 5841 25007 75981 | 2147483647 290474 138 | 0.000 % |
295.15/295.47 c | 292749 | 5841 25007 75981 | 2147483647 291070 138 | 0.000 % |
296.45/296.72 c | 293405 | 5841 25007 75981 | 2147483647 291726 138 | 0.000 % |
297.75/298.09 c | 294126 | 5841 25007 75981 | 2147483647 292447 138 | 0.000 % |
299.14/299.49 c | 294921 | 5841 25007 75981 | 2147483647 293242 138 | 0.000 % |
300.64/300.98 c | 295792 | 5841 25007 75981 | 2147483647 294113 138 | 0.000 % |
302.34/302.67 c | 296750 | 5841 25007 75981 | 2147483647 295071 138 | 0.000 % |
304.14/304.45 c | 297805 | 5841 25007 75981 | 2147483647 296126 138 | 0.000 % |
306.24/306.55 c | 298964 | 5841 25007 75981 | 2147483647 297285 138 | 0.000 % |
308.54/308.80 c | 300237 | 5841 25007 75981 | 2147483647 298558 138 | 0.000 % |
310.94/311.22 c | 301638 | 5841 25007 75981 | 2147483647 299959 138 | 0.000 % |
313.64/313.91 c | 303179 | 5841 25007 75981 | 2147483647 301500 138 | 0.000 % |
316.33/316.65 c | 304874 | 5841 25007 75981 | 2147483647 303195 139 | 0.000 % |
319.53/319.83 c | 306739 | 5841 25007 75981 | 2147483647 305060 139 | 0.000 % |
323.23/323.57 c | 308788 | 5841 25007 75981 | 2147483647 307109 139 | 0.000 % |
327.23/327.53 c | 311041 | 5841 25007 75981 | 2147483647 309362 139 | 0.000 % |
331.83/332.14 c | 313519 | 5841 25007 75981 | 2147483647 311840 139 | 0.000 % |
337.03/337.39 c | 316244 | 5841 25007 75981 | 2147483647 314565 139 | 0.000 % |
342.52/342.88 c | 319241 | 5841 25007 75981 | 2147483647 317562 139 | 0.000 % |
342.82/343.12 c | 319341 | 5841 25007 75981 | 2147483647 317662 139 | 0.000 % |
343.02/343.35 c | 319452 | 5841 25007 75981 | 2147483647 317773 139 | 0.000 % |
343.31/343.66 c | 319574 | 5841 25007 75981 | 2147483647 317895 139 | 0.000 % |
343.61/343.99 c | 319707 | 5841 25007 75981 | 2147483647 318028 139 | 0.000 % |
344.02/344.32 c | 319853 | 5841 25007 75981 | 2147483647 318174 139 | 0.000 % |
344.41/344.73 c | 320013 | 5841 25007 75981 | 2147483647 318334 139 | 0.000 % |
344.82/345.13 c | 320189 | 5841 25007 75981 | 2147483647 318510 139 | 0.000 % |
345.32/345.60 c | 320386 | 5841 25007 75981 | 2147483647 318707 139 | 0.000 % |
345.82/346.12 c | 320599 | 5841 25007 75981 | 2147483647 318920 139 | 0.000 % |
346.42/346.74 c | 320835 | 5841 25007 75981 | 2147483647 319156 139 | 0.000 % |
347.02/347.33 c | 321093 | 5841 25007 75981 | 2147483647 319414 139 | 0.000 % |
347.62/347.94 c | 321374 | 5841 25007 75981 | 2147483647 319695 139 | 0.000 % |
348.22/348.57 c | 321684 | 5841 25007 75981 | 2147483647 320005 139 | 0.000 % |
349.02/349.34 c | 322023 | 5841 25007 75981 | 2147483647 320344 139 | 0.000 % |
349.91/350.25 c | 322396 | 5841 25007 75981 | 2147483647 320717 139 | 0.000 % |
350.71/351.09 c | 322805 | 5841 25007 75981 | 2147483647 321126 139 | 0.000 % |
351.71/352.09 c | 323254 | 5841 25007 75981 | 2147483647 321575 139 | 0.000 % |
352.81/353.15 c | 323749 | 5841 25007 75981 | 2147483647 322070 139 | 0.000 % |
353.92/354.25 c | 324292 | 5841 25007 75981 | 2147483647 322613 139 | 0.000 % |
355.02/355.33 c | 324889 | 5841 25007 75981 | 2147483647 323210 139 | 0.000 % |
356.31/356.65 c | 325545 | 5841 25007 75981 | 2147483647 323866 139 | 0.000 % |
357.81/358.18 c | 326268 | 5841 25007 75981 | 2147483647 324589 139 | 0.000 % |
359.31/359.67 c | 327061 | 5841 25007 75981 | 2147483647 325382 139 | 0.000 % |
361.12/361.49 c | 327932 | 5841 25007 75981 | 2147483647 326253 139 | 0.000 % |
362.91/363.21 c | 328890 | 5841 25007 75981 | 2147483647 327211 139 | 0.000 % |
364.92/365.21 c | 329944 | 5841 25007 75981 | 2147483647 328265 139 | 0.000 % |
367.41/367.72 c | 331102 | 5841 25007 75981 | 328321 290447 139 | 0.000 % |
369.61/369.97 c | 332377 | 5841 25007 75981 | 328321 291722 139 | 0.000 % |
372.11/372.47 c | 333780 | 5841 25007 75981 | 328321 293125 139 | 0.000 % |
374.91/375.26 c | 335320 | 5841 25007 75981 | 328321 294665 139 | 0.000 % |
378.01/378.34 c | 337014 | 5841 25007 75981 | 328321 296359 139 | 0.000 % |
381.51/381.83 c | 338877 | 5841 25007 75981 | 328321 298222 139 | 0.000 % |
385.40/385.72 c | 340926 | 5841 25007 75981 | 2147483647 300271 139 | 0.000 % |
389.29/389.69 c | 343179 | 5841 25007 75981 | 2147483647 302524 140 | 0.000 % |
393.69/394.05 c | 345657 | 5841 25007 75981 | 2147483647 305002 140 | 0.000 % |
398.49/398.86 c | 348382 | 5841 25007 75981 | 2147483647 307727 140 | 0.000 % |
404.09/404.43 c | 351381 | 5841 25007 75981 | 2147483647 310726 140 | 0.000 % |
410.29/410.62 c | 354680 | 5841 25007 75981 | 2147483647 314025 140 | 0.000 % |
410.49/410.82 c | 354782 | 5841 25007 75981 | 2147483647 314127 140 | 0.000 % |
410.69/411.07 c | 354894 | 5841 25007 75981 | 2147483647 314239 140 | 0.000 % |
410.99/411.39 c | 355016 | 5841 25007 75981 | 2147483647 314361 140 | 0.000 % |
411.39/411.73 c | 355150 | 5841 25007 75981 | 2147483647 314495 140 | 0.000 % |
411.69/412.08 c | 355296 | 5841 25007 75981 | 2147483647 314641 140 | 0.000 % |
412.09/412.46 c | 355457 | 5841 25007 75981 | 2147483647 314802 140 | 0.000 % |
412.59/412.90 c | 355636 | 5841 25007 75981 | 2147483647 314981 140 | 0.000 % |
412.99/413.34 c | 355829 | 5841 25007 75981 | 2147483647 315174 140 | 0.000 % |
413.49/413.86 c | 356042 | 5841 25007 75981 | 2147483647 315387 140 | 0.000 % |
414.09/414.47 c | 356277 | 5841 25007 75981 | 2147483647 315622 140 | 0.000 % |
414.69/415.02 c | 356533 | 5841 25007 75981 | 2147483647 315878 140 | 0.000 % |
415.39/415.72 c | 356815 | 5841 25007 75981 | 2147483647 316160 140 | 0.000 % |
415.99/416.35 c | 357124 | 5841 25007 75981 | 2147483647 316469 140 | 0.000 % |
416.69/417.05 c | 357463 | 5841 25007 75981 | 2147483647 316808 140 | 0.000 % |
417.48/417.85 c | 357835 | 5841 25007 75981 | 2147483647 317180 140 | 0.000 % |
418.39/418.71 c | 358245 | 5841 25007 75981 | 2147483647 317590 140 | 0.000 % |
419.38/419.71 c | 358695 | 5841 25007 75981 | 2147483647 318040 140 | 0.000 % |
420.28/420.69 c | 359190 | 5841 25007 75981 | 2147483647 318535 140 | 0.000 % |
421.48/421.85 c | 359732 | 5841 25007 75981 | 2147483647 319077 140 | 0.000 % |
422.68/423.06 c | 360330 | 5841 25007 75981 | 319345 319675 140 | 0.000 % |
424.29/424.64 c | 360986 | 5841 25007 75981 | 319345 285375 141 | 0.000 % |
425.58/425.98 c | 361708 | 5841 25007 75981 | 319345 286097 141 | 0.000 % |
427.08/427.45 c | 362501 | 5841 25007 75981 | 319345 286890 141 | 0.000 % |
428.78/429.14 c | 363373 | 5841 25007 75981 | 319345 287762 141 | 0.000 % |
430.57/430.95 c | 364332 | 5841 25007 75981 | 319345 288721 141 | 0.000 % |
432.37/432.79 c | 365385 | 5841 25007 75981 | 319345 289774 141 | 0.000 % |
434.57/434.98 c | 366544 | 5841 25007 75981 | 319345 290933 141 | 0.000 % |
436.97/437.37 c | 367817 | 5841 25007 75981 | 319345 292206 141 | 0.000 % |
439.58/439.99 c | 369218 | 5841 25007 75981 | 319345 293607 141 | 0.000 % |
442.37/442.74 c | 370758 | 5841 25007 75981 | 2147483647 295147 141 | 0.000 % |
445.37/445.76 c | 372452 | 5841 25007 75981 | 2147483647 296841 141 | 0.000 % |
448.57/448.94 c | 374315 | 5841 25007 75981 | 2147483647 298704 141 | 0.000 % |
452.07/452.42 c | 376366 | 5841 25007 75981 | 2147483647 300755 141 | 0.000 % |
455.97/456.37 c | 378619 | 5841 25007 75981 | 2147483647 303008 142 | 0.000 % |
460.37/460.73 c | 381097 | 5841 25007 75981 | 2147483647 305486 142 | 0.000 % |
465.56/465.94 c | 383822 | 5841 25007 75981 | 2147483647 308211 142 | 0.000 % |
471.06/471.46 c | 386821 | 5841 25007 75981 | 2147483647 311210 142 | 0.000 % |
476.96/477.33 c | 390117 | 5841 25007 75981 | 2147483647 314506 142 | 0.000 % |
483.25/483.65 c | 393743 | 5841 25007 75981 | 2147483647 318132 142 | 0.000 % |
483.45/483.88 c | 393843 | 5841 25007 75981 | 2147483647 318232 142 | 0.000 % |
483.75/484.12 c | 393955 | 5841 25007 75981 | 2147483647 318344 142 | 0.000 % |
484.05/484.44 c | 394078 | 5841 25007 75981 | 2147483647 318467 142 | 0.000 % |
484.45/484.80 c | 394211 | 5841 25007 75981 | 2147483647 318600 142 | 0.000 % |
484.76/485.17 c | 394359 | 5841 25007 75981 | 2147483647 318748 142 | 0.000 % |
485.15/485.59 c | 394522 | 5841 25007 75981 | 2147483647 318911 142 | 0.000 % |
485.65/486.05 c | 394698 | 5841 25007 75981 | 2147483647 319087 142 | 0.000 % |
486.05/486.50 c | 394891 | 5841 25007 75981 | 2147483647 319280 142 | 0.000 % |
486.55/486.97 c | 395104 | 5841 25007 75981 | 2147483647 319493 142 | 0.000 % |
487.05/487.50 c | 395338 | 5841 25007 75981 | 2147483647 319727 142 | 0.000 % |
487.65/488.07 c | 395594 | 5841 25007 75981 | 2147483647 319983 142 | 0.000 % |
488.35/488.79 c | 395877 | 5841 25007 75981 | 2147483647 320266 142 | 0.000 % |
489.05/489.43 c | 396186 | 5841 25007 75981 | 2147483647 320575 142 | 0.000 % |
489.75/490.19 c | 396525 | 5841 25007 75981 | 2147483647 320914 142 | 0.000 % |
490.65/491.09 c | 396898 | 5841 25007 75981 | 2147483647 321287 142 | 0.000 % |
491.55/491.99 c | 397309 | 5841 25007 75981 | 2147483647 321698 142 | 0.000 % |
492.65/493.02 c | 397758 | 5841 25007 75981 | 2147483647 322147 142 | 0.000 % |
493.65/494.03 c | 398251 | 5841 25007 75981 | 2147483647 322640 142 | 0.000 % |
494.85/495.20 c | 398794 | 5841 25007 75981 | 2147483647 323183 142 | 0.000 % |
496.05/496.46 c | 399390 | 5841 25007 75981 | 2147483647 323779 142 | 0.000 % |
497.35/497.72 c | 400045 | 5841 25007 75981 | 324390 324434 142 | 0.000 % |
499.05/499.45 c | 400767 | 5841 25007 75981 | 324390 288923 142 | 0.000 % |
500.54/500.95 c | 401559 | 5841 25007 75981 | 324390 289715 142 | 0.000 % |
502.25/502.65 c | 402431 | 5841 25007 75981 | 324390 290587 142 | 0.000 % |
504.05/504.42 c | 403389 | 5841 25007 75981 | 324390 291545 142 | 0.000 % |
505.94/506.33 c | 404444 | 5841 25007 75981 | 324390 292600 142 | 0.000 % |
507.94/508.32 c | 405605 | 5841 25007 75981 | 324390 293761 142 | 0.000 % |
510.24/510.69 c | 406881 | 5841 25007 75981 | 324390 295037 142 | 0.000 % |
512.74/513.18 c | 408282 | 5841 25007 75981 | 324390 296438 142 | 0.000 % |
515.34/515.73 c | 409827 | 5841 25007 75981 | 324390 297983 142 | 0.000 % |
518.24/518.69 c | 411524 | 5841 25007 75981 | 2147483647 299680 142 | 0.000 % |
521.73/522.17 c | 413387 | 5841 25007 75981 | 2147483647 301543 142 | 0.000 % |
525.34/525.80 c | 415438 | 5841 25007 75981 | 2147483647 303594 142 | 0.000 % |
529.43/529.88 c | 417691 | 5841 25007 75981 | 2147483647 305847 142 | 0.000 % |
533.93/534.34 c | 420169 | 5841 25007 75981 | 2147483647 308325 142 | 0.000 % |
538.83/539.26 c | 422895 | 5841 25007 75981 | 2147483647 311051 143 | 0.000 % |
544.03/544.41 c | 425892 | 5841 25007 75981 | 2147483647 314048 143 | 0.000 % |
549.92/550.33 c | 429188 | 5841 25007 75981 | 2147483647 317344 143 | 0.000 % |
556.32/556.74 c | 432816 | 5841 25007 75981 | 2147483647 320972 143 | 0.000 % |
563.12/563.59 c | 436803 | 5841 25007 75981 | 2147483647 324959 144 | 0.000 % |
563.42/563.82 c | 436903 | 5841 25007 75981 | 2147483647 325059 144 | 0.000 % |
563.72/564.11 c | 437014 | 5841 25007 75981 | 2147483647 325170 144 | 0.000 % |
564.02/564.47 c | 437137 | 5841 25007 75981 | 2147483647 325293 144 | 0.000 % |
564.42/564.83 c | 437270 | 5841 25007 75981 | 2147483647 325426 144 | 0.000 % |
564.82/565.22 c | 437416 | 5841 25007 75981 | 2147483647 325572 144 | 0.000 % |
565.21/565.61 c | 437579 | 5841 25007 75981 | 2147483647 325735 144 | 0.000 % |
565.61/566.04 c | 437755 | 5841 25007 75981 | 2147483647 325911 144 | 0.000 % |
566.01/566.50 c | 437949 | 5841 25007 75981 | 2147483647 326105 144 | 0.000 % |
566.61/567.03 c | 438161 | 5841 25007 75981 | 2147483647 326317 144 | 0.000 % |
567.11/567.53 c | 438394 | 5841 25007 75981 | 2147483647 326550 144 | 0.000 % |
567.62/568.07 c | 438651 | 5841 25007 75981 | 2147483647 326807 144 | 0.000 % |
568.22/568.64 c | 438932 | 5841 25007 75981 | 2147483647 327088 144 | 0.000 % |
568.92/569.39 c | 439244 | 5841 25007 75981 | 2147483647 327400 144 | 0.000 % |
569.72/570.18 c | 439584 | 5841 25007 75981 | 2147483647 327740 144 | 0.000 % |
570.62/571.06 c | 439958 | 5841 25007 75981 | 2147483647 328114 144 | 0.000 % |
571.52/571.94 c | 440367 | 5841 25007 75981 | 2147483647 328523 144 | 0.000 % |
572.51/572.95 c | 440818 | 5841 25007 75981 | 2147483647 328974 144 | 0.000 % |
573.61/574.04 c | 441311 | 5841 25007 75981 | 2147483647 329467 144 | 0.000 % |
574.71/575.12 c | 441854 | 5841 25007 75981 | 2147483647 330010 144 | 0.000 % |
576.01/576.43 c | 442450 | 5841 25007 75981 | 2147483647 330606 144 | 0.000 % |
577.42/577.90 c | 443109 | 5841 25007 75981 | 2147483647 331265 144 | 0.000 % |
579.01/579.43 c | 443830 | 5841 25007 75981 | 2147483647 331986 144 | 0.000 % |
580.61/581.03 c | 444622 | 5841 25007 75981 | 2147483647 332778 143 | 0.000 % |
582.41/582.82 c | 445493 | 5841 25007 75981 | 2147483647 333649 143 | 0.000 % |
584.50/584.91 c | 446451 | 5841 25007 75981 | 2147483647 334607 143 | 0.000 % |
586.71/587.12 c | 447504 | 5841 25007 75981 | 2147483647 335660 144 | 0.000 % |
589.11/589.59 c | 448666 | 5841 25007 75981 | 2147483647 336822 144 | 0.000 % |
591.80/592.22 c | 449940 | 5841 25007 75981 | 2147483647 338096 144 | 0.000 % |
595.10/595.50 c | 451342 | 5841 25007 75981 | 338156 296819 144 | 0.000 % |
598.00/598.49 c | 452884 | 5841 25007 75981 | 338156 298361 144 | 0.000 % |
601.00/601.42 c | 454581 | 5841 25007 75981 | 338156 300058 144 | 0.000 % |
604.30/604.70 c | 456445 | 5841 25007 75981 | 338156 301922 144 | 0.000 % |
608.20/608.65 c | 458494 | 5841 25007 75981 | 338156 303971 144 | 0.000 % |
612.40/612.81 c | 460747 | 5841 25007 75981 | 2147483647 306224 144 | 0.000 % |
616.60/617.09 c | 463226 | 5841 25007 75981 | 2147483647 308703 144 | 0.000 % |
621.69/622.19 c | 465953 | 5841 25007 75981 | 2147483647 311430 144 | 0.000 % |
627.29/627.78 c | 468950 | 5841 25007 75981 | 2147483647 314427 144 | 0.000 % |
633.59/634.06 c | 472246 | 5841 25007 75981 | 2147483647 317723 144 | 0.000 % |
640.29/640.74 c | 475871 | 5841 25007 75981 | 2147483647 321348 144 | 0.000 % |
647.68/648.17 c | 479859 | 5841 25007 75981 | 2147483647 325336 144 | 0.000 % |
656.17/656.63 c | 484245 | 5841 25007 75981 | 2147483647 329722 144 | 0.000 % |
656.37/656.89 c | 484346 | 5841 25007 75981 | 2147483647 329823 144 | 0.000 % |
656.67/657.18 c | 484458 | 5841 25007 75981 | 2147483647 329935 144 | 0.000 % |
657.07/657.50 c | 484579 | 5841 25007 75981 | 2147483647 330056 144 | 0.000 % |
657.37/657.87 c | 484712 | 5841 25007 75981 | 2147483647 330189 144 | 0.000 % |
657.77/658.22 c | 484859 | 5841 25007 75981 | 2147483647 330336 144 | 0.000 % |
658.17/658.60 c | 485019 | 5841 25007 75981 | 2147483647 330496 144 | 0.000 % |
658.57/659.04 c | 485195 | 5841 25007 75981 | 2147483647 330672 144 | 0.000 % |
658.97/659.49 c | 485390 | 5841 25007 75981 | 2147483647 330867 144 | 0.000 % |
659.57/660.02 c | 485605 | 5841 25007 75981 | 2147483647 331082 144 | 0.000 % |
660.07/660.53 c | 485838 | 5841 25007 75981 | 2147483647 331315 144 | 0.000 % |
660.67/661.12 c | 486095 | 5841 25007 75981 | 2147483647 331572 144 | 0.000 % |
661.37/661.87 c | 486377 | 5841 25007 75981 | 2147483647 331854 144 | 0.000 % |
662.07/662.56 c | 486686 | 5841 25007 75981 | 2147483647 332163 144 | 0.000 % |
662.77/663.28 c | 487025 | 5841 25007 75981 | 2147483647 332502 144 | 0.000 % |
663.77/664.21 c | 487398 | 5841 25007 75981 | 2147483647 332875 144 | 0.000 % |
664.67/665.16 c | 487810 | 5841 25007 75981 | 2147483647 333287 144 | 0.000 % |
665.66/666.15 c | 488259 | 5841 25007 75981 | 2147483647 333736 144 | 0.000 % |
666.77/667.24 c | 488753 | 5841 25007 75981 | 2147483647 334230 144 | 0.000 % |
667.96/668.41 c | 489297 | 5841 25007 75981 | 2147483647 334774 144 | 0.000 % |
669.16/669.69 c | 489893 | 5841 25007 75981 | 2147483647 335370 144 | 0.000 % |
670.57/671.07 c | 490549 | 5841 25007 75981 | 335478 336026 144 | 0.000 % |
672.46/672.94 c | 491269 | 5841 25007 75981 | 335478 297257 145 | 0.000 % |
674.06/674.56 c | 492061 | 5841 25007 75981 | 335478 298049 145 | 0.000 % |
675.76/676.23 c | 492933 | 5841 25007 75981 | 335478 298921 145 | 0.000 % |
677.56/678.03 c | 493891 | 5841 25007 75981 | 335478 299879 145 | 0.000 % |
679.46/679.95 c | 494944 | 5841 25007 75981 | 335478 300932 145 | 0.000 % |
681.66/682.17 c | 496102 | 5841 25007 75981 | 335478 302090 145 | 0.000 % |
683.96/684.40 c | 497375 | 5841 25007 75981 | 335478 303363 145 | 0.000 % |
686.66/687.16 c | 498775 | 5841 25007 75981 | 335478 304763 145 | 0.000 % |
689.46/689.94 c | 500316 | 5841 25007 75981 | 2147483647 306304 145 | 0.000 % |
692.66/693.11 c | 502010 | 5841 25007 75981 | 2147483647 307998 145 | 0.000 % |
696.46/696.93 c | 503874 | 5841 25007 75981 | 2147483647 309862 145 | 0.000 % |
700.25/700.76 c | 505923 | 5841 25007 75981 | 2147483647 311911 145 | 0.000 % |
704.45/704.95 c | 508178 | 5841 25007 75981 | 2147483647 314166 145 | 0.000 % |
709.15/709.61 c | 510658 | 5841 25007 75981 | 2147483647 316646 145 | 0.000 % |
714.24/714.71 c | 513383 | 5841 25007 75981 | 2147483647 319371 145 | 0.000 % |
719.94/720.47 c | 516380 | 5841 25007 75981 | 2147483647 322368 146 | 0.000 % |
726.04/726.57 c | 519680 | 5841 25007 75981 | 2147483647 325668 146 | 0.000 % |
732.84/733.32 c | 523305 | 5841 25007 75981 | 2147483647 329293 146 | 0.000 % |
740.44/740.95 c | 527294 | 5841 25007 75981 | 2147483647 333282 146 | 0.000 % |
748.83/749.38 c | 531679 | 5841 25007 75981 | 2147483647 337667 146 | 0.000 % |
758.23/758.75 c | 536503 | 5841 25007 75981 | 2147483647 342491 146 | 0.000 % |
758.53/759.07 c | 536605 | 5841 25007 75981 | 2147483647 342593 146 | 0.000 % |
758.83/759.33 c | 536715 | 5841 25007 75981 | 2147483647 342703 146 | 0.000 % |
759.13/759.66 c | 536836 | 5841 25007 75981 | 2147483647 342824 146 | 0.000 % |
759.43/759.99 c | 536969 | 5841 25007 75981 | 2147483647 342957 146 | 0.000 % |
759.83/760.32 c | 537115 | 5841 25007 75981 | 2147483647 343103 146 | 0.000 % |
760.23/760.73 c | 537275 | 5841 25007 75981 | 2147483647 343263 146 | 0.000 % |
760.73/761.21 c | 537451 | 5841 25007 75981 | 2147483647 343439 146 | 0.000 % |
761.13/761.69 c | 537644 | 5841 25007 75981 | 2147483647 343632 146 | 0.000 % |
761.73/762.21 c | 537856 | 5841 25007 75981 | 2147483647 343844 146 | 0.000 % |
762.33/762.80 c | 538089 | 5841 25007 75981 | 2147483647 344077 146 | 0.000 % |
762.93/763.46 c | 538345 | 5841 25007 75981 | 2147483647 344333 146 | 0.000 % |
763.52/764.07 c | 538627 | 5841 25007 75981 | 2147483647 344615 146 | 0.000 % |
764.22/764.72 c | 538938 | 5841 25007 75981 | 2147483647 344926 146 | 0.000 % |
765.03/765.60 c | 539279 | 5841 25007 75981 | 2147483647 345267 146 | 0.000 % |
765.92/766.48 c | 539651 | 5841 25007 75981 | 2147483647 345639 146 | 0.000 % |
766.82/767.38 c | 540062 | 5841 25007 75981 | 345989 346050 146 | 0.000 % |
768.12/768.68 c | 540513 | 5841 25007 75981 | 345989 305024 146 | 0.000 % |
769.22/769.70 c | 541006 | 5841 25007 75981 | 345989 305517 146 | 0.000 % |
770.32/770.89 c | 541549 | 5841 25007 75981 | 345989 306060 146 | 0.000 % |
771.72/772.20 c | 542145 | 5841 25007 75981 | 345989 306656 146 | 0.000 % |
773.02/773.55 c | 542800 | 5841 25007 75981 | 345989 307311 146 | 0.000 % |
774.41/774.91 c | 543520 | 5841 25007 75981 | 345989 308031 146 | 0.000 % |
775.91/776.40 c | 544312 | 5841 25007 75981 | 345989 308823 146 | 0.000 % |
777.61/778.11 c | 545183 | 5841 25007 75981 | 345989 309694 146 | 0.000 % |
779.32/779.86 c | 546146 | 5841 25007 75981 | 345989 310657 146 | 0.000 % |
781.31/781.86 c | 547201 | 5841 25007 75981 | 345989 311712 146 | 0.000 % |
783.61/784.15 c | 548359 | 5841 25007 75981 | 345989 312870 146 | 0.000 % |
785.92/786.48 c | 549633 | 5841 25007 75981 | 345989 314144 146 | 0.000 % |
789.11/789.61 c | 551033 | 5841 25007 75981 | 314512 283996 147 | 0.000 % |
792.00/792.56 c | 552574 | 5841 25007 75981 | 314512 285537 147 | 0.000 % |
795.11/795.69 c | 554269 | 5841 25007 75981 | 314512 287232 147 | 0.000 % |
798.60/799.10 c | 556133 | 5841 25007 75981 | 314512 289096 147 | 0.000 % |
802.20/802.79 c | 558183 | 5841 25007 75981 | 314512 291146 147 | 0.000 % |
806.40/807.00 c | 560437 | 5841 25007 75981 | 2147483647 293400 147 | 0.000 % |
810.70/811.25 c | 562916 | 5841 25007 75981 | 2147483647 295879 147 | 0.000 % |
815.40/815.97 c | 565645 | 5841 25007 75981 | 2147483647 298608 147 | 0.000 % |
820.70/821.22 c | 568645 | 5841 25007 75981 | 2147483647 301608 147 | 0.000 % |
826.60/827.19 c | 571942 | 5841 25007 75981 | 2147483647 304905 147 | 0.000 % |
833.09/833.70 c | 575567 | 5841 25007 75981 | 2147483647 308530 147 | 0.000 % |
840.39/840.92 c | 579555 | 5841 25007 75981 | 2147483647 312518 147 | 0.000 % |
848.99/849.50 c | 583940 | 5841 25007 75981 | 2147483647 316903 147 | 0.000 % |
857.98/858.51 c | 588763 | 5841 25007 75981 | 2147483647 321726 148 | 0.000 % |
868.08/868.68 c | 594068 | 5841 25007 75981 | 2147483647 327031 148 | 0.000 % |
868.39/868.98 c | 594168 | 5841 25007 75981 | 2147483647 327131 148 | 0.000 % |
868.68/869.27 c | 594278 | 5841 25007 75981 | 2147483647 327241 148 | 0.000 % |
868.98/869.55 c | 594399 | 5841 25007 75981 | 2147483647 327362 148 | 0.000 % |
869.38/869.90 c | 594532 | 5841 25007 75981 | 2147483647 327495 148 | 0.000 % |
869.68/870.29 c | 594680 | 5841 25007 75981 | 2147483647 327643 148 | 0.000 % |
870.08/870.66 c | 594840 | 5841 25007 75981 | 2147483647 327803 147 | 0.000 % |
870.48/871.07 c | 595016 | 5841 25007 75981 | 2147483647 327979 147 | 0.000 % |
871.08/871.60 c | 595210 | 5841 25007 75981 | 2147483647 328173 147 | 0.000 % |
871.48/872.07 c | 595422 | 5841 25007 75981 | 2147483647 328385 147 | 0.000 % |
872.08/872.62 c | 595655 | 5841 25007 75981 | 2147483647 328618 147 | 0.000 % |
872.78/873.32 c | 595912 | 5841 25007 75981 | 2147483647 328875 147 | 0.000 % |
873.48/874.02 c | 596193 | 5841 25007 75981 | 2147483647 329156 147 | 0.000 % |
874.18/874.72 c | 596502 | 5841 25007 75981 | 2147483647 329465 147 | 0.000 % |
874.98/875.51 c | 596841 | 5841 25007 75981 | 2147483647 329804 147 | 0.000 % |
875.78/876.30 c | 597216 | 5841 25007 75981 | 2147483647 330179 147 | 0.000 % |
876.68/877.23 c | 597625 | 5841 25007 75981 | 2147483647 330588 147 | 0.000 % |
877.58/878.18 c | 598074 | 5841 25007 75981 | 2147483647 331037 147 | 0.000 % |
878.88/879.42 c | 598567 | 5841 25007 75981 | 2147483647 331530 147 | 0.000 % |
880.07/880.62 c | 599109 | 5841 25007 75981 | 2147483647 332072 147 | 0.000 % |
881.27/881.88 c | 599705 | 5841 25007 75981 | 2147483647 332668 147 | 0.000 % |
882.68/883.26 c | 600360 | 5841 25007 75981 | 332965 333323 147 | 0.000 % |
884.48/885.05 c | 601080 | 5841 25007 75981 | 332965 289974 148 | 0.000 % |
886.08/886.64 c | 601872 | 5841 25007 75981 | 332965 290766 148 | 0.000 % |
887.68/888.28 c | 602745 | 5841 25007 75981 | 332965 291639 148 | 0.000 % |
889.48/890.09 c | 603703 | 5841 25007 75981 | 332965 292597 147 | 0.000 % |
891.48/892.07 c | 604758 | 5841 25007 75981 | 332965 293652 147 | 0.000 % |
893.78/894.33 c | 605917 | 5841 25007 75981 | 332965 294811 147 | 0.000 % |
896.08/896.63 c | 607190 | 5841 25007 75981 | 332965 296084 147 | 0.000 % |
898.48/899.05 c | 608590 | 5841 25007 75981 | 332965 297484 147 | 0.000 % |
901.57/902.11 c | 610131 | 5841 25007 75981 | 2147483647 299025 147 | 0.000 % |
904.68/905.24 c | 611826 | 5841 25007 75981 | 2147483647 300720 147 | 0.000 % |
907.98/908.57 c | 613690 | 5841 25007 75981 | 2147483647 302584 147 | 0.000 % |
911.57/912.17 c | 615740 | 5841 25007 75981 | 2147483647 304634 148 | 0.000 % |
915.47/916.01 c | 617993 | 5841 25007 75981 | 2147483647 306887 148 | 0.000 % |
919.87/920.50 c | 620472 | 5841 25007 75981 | 2147483647 309366 148 | 0.000 % |
925.16/925.78 c | 623197 | 5841 25007 75981 | 2147483647 312091 148 | 0.000 % |
930.86/931.42 c | 626194 | 5841 25007 75981 | 2147483647 315088 148 | 0.000 % |
937.05/937.64 c | 629491 | 5841 25007 75981 | 2147483647 318385 148 | 0.000 % |
943.75/944.37 c | 633117 | 5841 25007 75981 | 2147483647 322011 148 | 0.000 % |
951.15/951.79 c | 637105 | 5841 25007 75981 | 2147483647 325999 148 | 0.000 % |
959.25/959.88 c | 641490 | 5841 25007 75981 | 2147483647 330384 148 | 0.000 % |
968.45/969.08 c | 646313 | 5841 25007 75981 | 2147483647 335207 149 | 0.000 % |
979.04/979.61 c | 651620 | 5841 25007 75981 | 2147483647 340514 149 | 0.000 % |
989.93/990.55 c | 657455 | 5841 25007 75981 | 2147483647 346349 149 | 0.000 % |
990.13/990.73 c | 657555 | 5841 25007 75981 | 2147483647 346449 149 | 0.000 % |
990.43/991.09 c | 657665 | 5841 25007 75981 | 2147483647 346559 149 | 0.000 % |
990.83/991.44 c | 657791 | 5841 25007 75981 | 2147483647 346685 149 | 0.000 % |
991.13/991.75 c | 657927 | 5841 25007 75981 | 2147483647 346821 149 | 0.000 % |
991.53/992.13 c | 658073 | 5841 25007 75981 | 2147483647 346967 149 | 0.000 % |
991.93/992.57 c | 658233 | 5841 25007 75981 | 2147483647 347127 149 | 0.000 % |
992.43/993.06 c | 658409 | 5841 25007 75981 | 2147483647 347303 149 | 0.000 % |
992.93/993.54 c | 658603 | 5841 25007 75981 | 2147483647 347497 149 | 0.000 % |
993.43/994.07 c | 658817 | 5841 25007 75981 | 2147483647 347711 149 | 0.000 % |
994.02/994.61 c | 659051 | 5841 25007 75981 | 2147483647 347945 149 | 0.000 % |
994.72/995.37 c | 659307 | 5841 25007 75981 | 2147483647 348201 149 | 0.000 % |
995.42/996.04 c | 659588 | 5841 25007 75981 | 2147483647 348482 149 | 0.000 % |
996.22/996.86 c | 659898 | 5841 25007 75981 | 2147483647 348792 149 | 0.000 % |
997.03/997.66 c | 660237 | 5841 25007 75981 | 348895 349131 149 | 0.000 % |
998.32/998.91 c | 660609 | 5841 25007 75981 | 348895 311038 149 | 0.000 % |
999.12/999.76 c | 661018 | 5841 25007 75981 | 348895 311447 149 | 0.000 % |
1000.22/1000.80 c | 661467 | 5841 25007 75981 | 348895 311896 149 | 0.000 % |
1001.22/1001.85 c | 661961 | 5841 25007 75981 | 348895 312390 149 | 0.000 % |
1002.22/1002.87 c | 662503 | 5841 25007 75981 | 348895 312932 149 | 0.000 % |
1003.62/1004.25 c | 663101 | 5841 25007 75981 | 348895 313530 149 | 0.000 % |
1004.92/1005.55 c | 663756 | 5841 25007 75981 | 348895 314185 149 | 0.000 % |
1006.52/1007.11 c | 664477 | 5841 25007 75981 | 348895 314906 149 | 0.000 % |
1008.02/1008.61 c | 665269 | 5841 25007 75981 | 348895 315698 149 | 0.000 % |
1009.72/1010.34 c | 666141 | 5841 25007 75981 | 348895 316570 149 | 0.000 % |
1011.62/1012.20 c | 667099 | 5841 25007 75981 | 348895 317528 149 | 0.000 % |
1013.82/1014.44 c | 668153 | 5841 25007 75981 | 348895 318582 149 | 0.000 % |
1016.21/1016.86 c | 669312 | 5841 25007 75981 | 348895 319741 149 | 0.000 % |
1018.71/1019.30 c | 670585 | 5841 25007 75981 | 320430 321014 149 | 0.000 % |
1021.81/1022.45 c | 671987 | 5841 25007 75981 | 320430 285780 149 | 0.000 % |
1024.61/1025.24 c | 673529 | 5841 25007 75981 | 320430 287322 149 | 0.000 % |
1027.91/1028.52 c | 675224 | 5841 25007 75981 | 320430 289017 149 | 0.000 % |
1031.31/1031.91 c | 677088 | 5841 25007 75981 | 320430 290881 149 | 0.000 % |
1034.80/1035.49 c | 679138 | 5841 25007 75981 | 320430 292931 149 | 0.000 % |
1038.91/1039.55 c | 681392 | 5841 25007 75981 | 2147483647 295185 149 | 0.000 % |
1043.40/1044.04 c | 683871 | 5841 25007 75981 | 2147483647 297664 149 | 0.000 % |
1048.20/1048.88 c | 686597 | 5841 25007 75981 | 2147483647 300390 149 | 0.000 % |
1053.60/1054.27 c | 689596 | 5841 25007 75981 | 2147483647 303389 149 | 0.000 % |
1059.89/1060.58 c | 692892 | 5841 25007 75981 | 2147483647 306685 149 | 0.000 % |
1066.59/1067.22 c | 696519 | 5841 25007 75981 | 2147483647 310312 150 | 0.000 % |
1074.09/1074.72 c | 700506 | 5841 25007 75981 | 2147483647 314299 150 | 0.000 % |
1082.38/1083.08 c | 704894 | 5841 25007 75981 | 2147483647 318687 150 | 0.000 % |
1091.48/1092.18 c | 709717 | 5841 25007 75981 | 2147483647 323510 150 | 0.000 % |
1101.29/1101.93 c | 715022 | 5841 25007 75981 | 2147483647 328815 150 | 0.000 % |
1112.67/1113.36 c | 720857 | 5841 25007 75981 | 2147483647 334650 150 | 0.000 % |
1124.87/1125.58 c | 727275 | 5841 25007 75981 | 2147483647 341068 151 | 0.000 % |
1125.17/1125.85 c | 727376 | 5841 25007 75981 | 2147483647 341169 151 | 0.000 % |
1125.47/1126.13 c | 727486 | 5841 25007 75981 | 2147483647 341279 151 | 0.000 % |
1125.87/1126.50 c | 727607 | 5841 25007 75981 | 2147483647 341400 151 | 0.000 % |
1126.17/1126.85 c | 727740 | 5841 25007 75981 | 2147483647 341533 150 | 0.000 % |
1126.57/1127.24 c | 727887 | 5841 25007 75981 | 2147483647 341680 150 | 0.000 % |
1126.97/1127.67 c | 728047 | 5841 25007 75981 | 2147483647 341840 150 | 0.000 % |
1127.57/1128.24 c | 728223 | 5841 25007 75981 | 2147483647 342016 150 | 0.000 % |
1128.07/1128.71 c | 728417 | 5841 25007 75981 | 2147483647 342210 150 | 0.000 % |
1128.57/1129.26 c | 728629 | 5841 25007 75981 | 2147483647 342422 150 | 0.000 % |
1129.17/1129.82 c | 728862 | 5841 25007 75981 | 2147483647 342655 150 | 0.000 % |
1129.67/1130.39 c | 729118 | 5841 25007 75981 | 2147483647 342911 150 | 0.000 % |
1130.37/1131.09 c | 729399 | 5841 25007 75981 | 2147483647 343192 150 | 0.000 % |
1131.07/1131.79 c | 729708 | 5841 25007 75981 | 2147483647 343501 150 | 0.000 % |
1131.97/1132.63 c | 730050 | 5841 25007 75981 | 343795 343843 150 | 0.000 % |
1133.26/1133.98 c | 730422 | 5841 25007 75981 | 343795 303220 151 | 0.000 % |
1134.06/1134.79 c | 730831 | 5841 25007 75981 | 343795 303629 151 | 0.000 % |
1134.96/1135.68 c | 731280 | 5841 25007 75981 | 343795 304078 151 | 0.000 % |
1136.06/1136.71 c | 731774 | 5841 25007 75981 | 343795 304572 151 | 0.000 % |
1137.17/1137.82 c | 732316 | 5841 25007 75981 | 343795 305114 151 | 0.000 % |
1138.36/1139.09 c | 732914 | 5841 25007 75981 | 343795 305712 151 | 0.000 % |
1139.76/1140.44 c | 733570 | 5841 25007 75981 | 343795 306368 151 | 0.000 % |
1141.36/1142.01 c | 734290 | 5841 25007 75981 | 343795 307088 151 | 0.000 % |
1142.86/1143.58 c | 735083 | 5841 25007 75981 | 343795 307881 151 | 0.000 % |
1144.66/1145.32 c | 735954 | 5841 25007 75981 | 343795 308752 151 | 0.000 % |
1146.56/1147.24 c | 736914 | 5841 25007 75981 | 343795 309712 151 | 0.000 % |
1148.46/1149.16 c | 737967 | 5841 25007 75981 | 343795 310765 151 | 0.000 % |
1150.75/1151.43 c | 739126 | 5841 25007 75981 | 343795 311924 151 | 0.000 % |
1153.35/1154.04 c | 740400 | 5841 25007 75981 | 312801 313198 151 | 0.000 % |
1156.25/1156.99 c | 741803 | 5841 25007 75981 | 312801 281629 151 | 0.000 % |
1158.95/1159.66 c | 743346 | 5841 25007 75981 | 312801 283172 151 | 0.000 % |
1161.85/1162.55 c | 745041 | 5841 25007 75981 | 312801 284867 151 | 0.000 % |
1165.35/1166.04 c | 746906 | 5841 25007 75981 | 312801 286732 151 | 0.000 % |
1168.85/1169.55 c | 748955 | 5841 25007 75981 | 312801 288781 151 | 0.000 % |
1172.74/1173.47 c | 751209 | 5841 25007 75981 | 2147483647 291035 151 | 0.000 % |
1177.24/1177.91 c | 753687 | 5841 25007 75981 | 2147483647 293513 151 | 0.000 % |
1182.04/1182.72 c | 756413 | 5841 25007 75981 | 2147483647 296239 151 | 0.000 % |
1187.34/1188.07 c | 759410 | 5841 25007 75981 | 2147483647 299236 151 | 0.000 % |
1193.24/1193.92 c | 762708 | 5841 25007 75981 | 2147483647 302534 151 | 0.000 % |
1199.83/1200.53 c | 766334 | 5841 25007 75981 | 2147483647 306160 151 | 0.000 % |
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1832719-1242786869/watcher-1832719-1242786869 -o /tmp/evaluation-result-1832719-1242786869/solver-1832719-1242786869 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1832719-1242786869.cnf
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1230 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.04 1.00 1.00 3/64 8764
/proc/meminfo: memFree=1838992/2055920 swapFree=4180064/4192956
[pid=8764] ppid=8762 vsize=5356 CPUtime=0
/proc/8764/stat : 8764 (SatELiteGTI) R 8762 8764 8120 0 -1 4194304 292 249 0 0 0 0 0 0 18 0 1 0 306720408 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 238487661215 0 65538 4100 65536 0 0 0 17 0 0 0
/proc/8764/statm: 1339 237 197 169 0 50 0
[startup+0.0816621 s]
/proc/loadavg: 1.04 1.00 1.00 3/64 8764
/proc/meminfo: memFree=1838992/2055920 swapFree=4180064/4192956
[pid=8764] ppid=8762 vsize=5356 CPUtime=0
/proc/8764/stat : 8764 (SatELiteGTI) S 8762 8764 8120 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 306720408 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 238487659332 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8764/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.101662 s]
/proc/loadavg: 1.04 1.00 1.00 3/64 8764
/proc/meminfo: memFree=1838992/2055920 swapFree=4180064/4192956
[pid=8764] ppid=8762 vsize=5356 CPUtime=0
/proc/8764/stat : 8764 (SatELiteGTI) S 8762 8764 8120 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 306720408 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 238487659332 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8764/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.301684 s]
/proc/loadavg: 1.04 1.00 1.00 3/64 8764
/proc/meminfo: memFree=1838992/2055920 swapFree=4180064/4192956
[pid=8764] ppid=8762 vsize=5356 CPUtime=0.09
/proc/8764/stat : 8764 (SatELiteGTI) S 8762 8764 8120 0 -1 4194304 336 1103 0 0 0 0 9 0 16 0 1 0 306720408 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 238487659332 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/8764/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 5356
[startup+0.701732 s]
/proc/loadavg: 1.04 1.00 1.00 3/64 8764
/proc/meminfo: memFree=1838992/2055920 swapFree=4180064/4192956
[pid=8764] ppid=8762 vsize=5356 CPUtime=0.09
/proc/8764/stat : 8764 (SatELiteGTI) S 8762 8764 8120 0 -1 4194304 336 1103 0 0 0 0 9 0 16 0 1 0 306720408 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 238487659332 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/8764/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 5356
[startup+1.50181 s]
/proc/loadavg: 1.04 1.00 1.00 2/66 8770
/proc/meminfo: memFree=1833920/2055920 swapFree=4180064/4192956
[pid=8764] ppid=8762 vsize=5356 CPUtime=0.09
/proc/8764/stat : 8764 (SatELiteGTI) S 8762 8764 8120 0 -1 4194304 336 1103 0 0 0 0 9 0 16 0 1 0 306720408 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 238487659332 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/8764/statm: 1339 239 197 169 0 50 0
[pid=8770] ppid=8764 vsize=6868 CPUtime=1.38
/proc/8770/stat : 8770 (minisat_static) R 8764 8764 8120 0 -1 4194304 1462 0 0 0 138 0 0 0 25 0 1 0 306720418 7032832 1448 1992294400 134512640 135215339 4294956240 18446744073709551615 134721382 0 0 4096 3 0 0 0 17 0 0 0
/proc/8770/statm: 1717 1448 77 171 0 1544 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 12224
[startup+3.102 s]
/proc/loadavg: 1.04 1.00 1.00 2/66 8770
/proc/meminfo: memFree=1831872/2055920 swapFree=4180064/4192956
[pid=8764] ppid=8762 vsize=5356 CPUtime=0.09
/proc/8764/stat : 8764 (SatELiteGTI) S 8762 8764 8120 0 -1 4194304 336 1103 0 0 0 0 9 0 16 0 1 0 306720408 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 238487659332 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/8764/statm: 1339 239 197 169 0 50 0
[pid=8770] ppid=8764 vsize=9716 CPUtime=2.98
/proc/8770/stat : 8770 (minisat_static) R 8764 8764 8120 0 -1 4194304 2165 0 0 0 297 1 0 0 25 0 1 0 306720418 9949184 2151 1992294400 134512640 135215339 4294956240 18446744073709551615 134532626 0 0 4096 3 0 0 0 17 0 0 0
/proc/8770/statm: 2429 2151 77 171 0 2256 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 15072
[startup+6.30136 s]
/proc/loadavg: 1.04 1.00 1.00 2/66 8770
/proc/meminfo: memFree=1825088/2055920 swapFree=4180064/4192956
[pid=8764] ppid=8762 vsize=5356 CPUtime=0.09
/proc/8764/stat : 8764 (SatELiteGTI) S 8762 8764 8120 0 -1 4194304 336 1103 0 0 0 0 9 0 16 0 1 0 306720408 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 238487659332 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/8764/statm: 1339 239 197 169 0 50 0
[pid=8770] ppid=8764 vsize=15676 CPUtime=6.16
/proc/8770/stat : 8770 (minisat_static) R 8764 8764 8120 0 -1 4194304 3666 0 0 0 615 1 0 0 25 0 1 0 306720418 16052224 3652 1992294400 134512640 135215339 4294956240 18446744073709551615 134528721 0 0 4096 3 0 0 0 17 0 0 0
/proc/8770/statm: 3919 3652 77 171 0 3746 0
Current children cumulated CPU time (s) 6.25
Current children cumulated vsize (KiB) 21032
[startup+12.7011 s]
/proc/loadavg: 1.03 1.00 1.00 2/66 8770
/proc/meminfo: memFree=1815360/2055920 swapFree=4180064/4192956
[pid=8764] ppid=8762 vsize=5356 CPUtime=0.09
/proc/8764/stat : 8764 (SatELiteGTI) S 8762 8764 8120 0 -1 4194304 336 1103 0 0 0 0 9 0 16 0 1 0 306720408 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 238487659332 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/8764/statm: 1339 239 197 169 0 50 0
[pid=8770] ppid=8764 vsize=24816 CPUtime=12.56
/proc/8770/stat : 8770 (minisat_static) R 8764 8764 8120 0 -1 4194304 5965 0 0 0 1252 4 0 0 25 0 1 0 306720418 25411584 5951 1992294400 134512640 135215339 4294956240 18446744073709551615 134721382 0 0 4096 3 0 0 0 17 0 0 0
/proc/8770/statm: 6204 5951 77 171 0 6031 0
Current children cumulated CPU time (s) 12.65
Current children cumulated vsize (KiB) 30172
[startup+25.5025 s]
/proc/loadavg: 1.03 1.00 1.00 2/66 8770
/proc/meminfo: memFree=1800704/2055920 swapFree=4180064/4192956
[pid=8764] ppid=8762 vsize=5356 CPUtime=0.09
/proc/8764/stat : 8764 (SatELiteGTI) S 8762 8764 8120 0 -1 4194304 336 1103 0 0 0 0 9 0 16 0 1 0 306720408 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 238487659332 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/8764/statm: 1339 239 197 169 0 50 0
[pid=8770] ppid=8764 vsize=38876 CPUtime=25.35
/proc/8770/stat : 8770 (minisat_static) R 8764 8764 8120 0 -1 4194304 9457 0 0 0 2527 8 0 0 25 0 1 0 306720418 39809024 9443 1992294400 134512640 135215339 4294956240 18446744073709551615 134537869 0 0 4096 3 0 0 0 17 0 0 0
/proc/8770/statm: 9719 9443 77 171 0 9546 0
Current children cumulated CPU time (s) 25.44
Current children cumulated vsize (KiB) 44232
[startup+51.1024 s]
/proc/loadavg: 1.02 1.00 1.00 2/66 8770
/proc/meminfo: memFree=1779264/2055920 swapFree=4180064/4192956
[pid=8764] ppid=8762 vsize=5356 CPUtime=0.09
/proc/8764/stat : 8764 (SatELiteGTI) S 8762 8764 8120 0 -1 4194304 336 1103 0 0 0 0 9 0 16 0 1 0 306720408 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 238487659332 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/8764/statm: 1339 239 197 169 0 50 0
[pid=8770] ppid=8764 vsize=60572 CPUtime=50.93
/proc/8770/stat : 8770 (minisat_static) R 8764 8764 8120 0 -1 4194304 14864 0 0 0 5080 13 0 0 25 0 1 0 306720418 62025728 14850 1992294400 134512640 135215339 4294956240 18446744073709551615 134538497 0 0 4096 3 0 0 0 17 0 0 0
/proc/8770/statm: 15143 14850 77 171 0 14970 0
Current children cumulated CPU time (s) 51.02
Current children cumulated vsize (KiB) 65928
[startup+102.306 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 8770
/proc/meminfo: memFree=1747264/2055920 swapFree=4180064/4192956
[pid=8764] ppid=8762 vsize=5356 CPUtime=0.09
/proc/8764/stat : 8764 (SatELiteGTI) S 8762 8764 8120 0 -1 4194304 336 1103 0 0 0 0 9 0 16 0 1 0 306720408 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 238487659332 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/8764/statm: 1339 239 197 169 0 50 0
[pid=8770] ppid=8764 vsize=91992 CPUtime=102.1
/proc/8770/stat : 8770 (minisat_static) R 8764 8764 8120 0 -1 4194304 22710 0 0 0 10189 21 0 0 25 0 1 0 306720418 94199808 22696 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/8770/statm: 22998 22696 77 171 0 22825 0
Current children cumulated CPU time (s) 102.19
Current children cumulated vsize (KiB) 97348
[startup+162.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 8770
/proc/meminfo: memFree=1717504/2055920 swapFree=4180064/4192956
[pid=8764] ppid=8762 vsize=5356 CPUtime=0.09
/proc/8764/stat : 8764 (SatELiteGTI) S 8762 8764 8120 0 -1 4194304 336 1103 0 0 0 0 9 0 16 0 1 0 306720408 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 238487659332 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/8764/statm: 1339 239 197 169 0 50 0
[pid=8770] ppid=8764 vsize=121560 CPUtime=162.06
/proc/8770/stat : 8770 (minisat_static) R 8764 8764 8120 0 -1 4194304 30125 0 0 0 16176 30 0 0 25 0 1 0 306720418 124477440 30111 1992294400 134512640 135215339 4294956240 18446744073709551615 134528734 0 0 4096 3 0 0 0 17 0 0 0
/proc/8770/statm: 30390 30111 77 171 0 30217 0
Current children cumulated CPU time (s) 162.15
Current children cumulated vsize (KiB) 126916
[startup+222.303 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 8770
/proc/meminfo: memFree=1693184/2055920 swapFree=4180064/4192956
[pid=8764] ppid=8762 vsize=5356 CPUtime=0.09
/proc/8764/stat : 8764 (SatELiteGTI) S 8762 8764 8120 0 -1 4194304 336 1103 0 0 0 0 9 0 16 0 1 0 306720408 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 238487659332 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/8764/statm: 1339 239 197 169 0 50 0
[pid=8770] ppid=8764 vsize=145988 CPUtime=222.02
/proc/8770/stat : 8770 (minisat_static) R 8764 8764 8120 0 -1 4194304 36170 0 0 0 22165 37 0 0 25 0 1 0 306720418 149491712 36156 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/8770/statm: 36497 36156 77 171 0 36324 0
Current children cumulated CPU time (s) 222.11
Current children cumulated vsize (KiB) 151344
[startup+282.303 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 8770
/proc/meminfo: memFree=1670784/2055920 swapFree=4180064/4192956
[pid=8764] ppid=8762 vsize=5356 CPUtime=0.09
/proc/8764/stat : 8764 (SatELiteGTI) S 8762 8764 8120 0 -1 4194304 336 1103 0 0 0 0 9 0 16 0 1 0 306720408 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 238487659332 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/8764/statm: 1339 239 197 169 0 50 0
[pid=8770] ppid=8764 vsize=168296 CPUtime=281.98
/proc/8770/stat : 8770 (minisat_static) R 8764 8764 8120 0 -1 4194304 41811 0 0 0 28155 43 0 0 25 0 1 0 306720418 172335104 41797 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/8770/statm: 42074 41797 77 171 0 41901 0
Current children cumulated CPU time (s) 282.07
Current children cumulated vsize (KiB) 173652
[startup+342.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 8770
/proc/meminfo: memFree=1650112/2055920 swapFree=4180064/4192956
[pid=8764] ppid=8762 vsize=5356 CPUtime=0.09
/proc/8764/stat : 8764 (SatELiteGTI) S 8762 8764 8120 0 -1 4194304 336 1103 0 0 0 0 9 0 16 0 1 0 306720408 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 238487659332 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/8764/statm: 1339 239 197 169 0 50 0
[pid=8770] ppid=8764 vsize=188968 CPUtime=341.93
/proc/8770/stat : 8770 (minisat_static) R 8764 8764 8120 0 -1 4194304 46849 0 0 0 34145 48 0 0 25 0 1 0 306720418 193503232 46835 1992294400 134512640 135215339 4294956240 18446744073709551615 134528728 0 0 4096 3 0 0 0 17 0 0 0
/proc/8770/statm: 47242 46835 77 171 0 47069 0
Current children cumulated CPU time (s) 342.02
Current children cumulated vsize (KiB) 194324
[startup+402.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 8770
/proc/meminfo: memFree=1642688/2055920 swapFree=4180064/4192956
[pid=8764] ppid=8762 vsize=5356 CPUtime=0.09
/proc/8764/stat : 8764 (SatELiteGTI) S 8762 8764 8120 0 -1 4194304 336 1103 0 0 0 0 9 0 16 0 1 0 306720408 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 238487659332 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/8764/statm: 1339 239 197 169 0 50 0
[pid=8770] ppid=8764 vsize=196096 CPUtime=401.9
/proc/8770/stat : 8770 (minisat_static) R 8764 8764 8120 0 -1 4194304 48656 0 0 0 40139 51 0 0 25 0 1 0 306720418 200802304 48642 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/8770/statm: 49024 48642 77 171 0 48851 0
Current children cumulated CPU time (s) 401.99
Current children cumulated vsize (KiB) 201452
[startup+462.301 s]
################
# More data... #
################
/proc/8770/statm: 51334 50949 77 171 0 51161 0
Current children cumulated CPU time (s) 581.91
Current children cumulated vsize (KiB) 210692
[startup+642.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 8772
/proc/meminfo: memFree=1629632/2055920 swapFree=4180064/4192956
[pid=8764] ppid=8762 vsize=5356 CPUtime=0.09
/proc/8764/stat : 8764 (SatELiteGTI) S 8762 8764 8120 0 -1 4194304 336 1103 0 0 0 0 9 0 16 0 1 0 306720408 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 238487659332 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/8764/statm: 1339 239 197 169 0 50 0
[pid=8770] ppid=8764 vsize=208768 CPUtime=641.8
/proc/8770/stat : 8770 (minisat_static) R 8764 8764 8120 0 -1 4194304 51812 0 0 0 64123 57 0 0 25 0 1 0 306720418 213778432 51798 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/8770/statm: 52192 51798 77 171 0 52019 0
Current children cumulated CPU time (s) 641.89
Current children cumulated vsize (KiB) 214124
[startup+702.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 8772
/proc/meminfo: memFree=1629504/2055920 swapFree=4180064/4192956
[pid=8764] ppid=8762 vsize=5356 CPUtime=0.09
/proc/8764/stat : 8764 (SatELiteGTI) S 8762 8764 8120 0 -1 4194304 336 1103 0 0 0 0 9 0 16 0 1 0 306720408 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 238487659332 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/8764/statm: 1339 239 197 169 0 50 0
[pid=8770] ppid=8764 vsize=208768 CPUtime=701.76
/proc/8770/stat : 8770 (minisat_static) R 8764 8764 8120 0 -1 4194304 51812 0 0 0 70119 57 0 0 25 0 1 0 306720418 213778432 51798 1992294400 134512640 135215339 4294956240 18446744073709551615 134529051 0 0 4096 3 0 0 0 17 0 0 0
/proc/8770/statm: 52192 51798 77 171 0 52019 0
Current children cumulated CPU time (s) 701.85
Current children cumulated vsize (KiB) 214124
[startup+762.305 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 8772
/proc/meminfo: memFree=1622976/2055920 swapFree=4180064/4192956
[pid=8764] ppid=8762 vsize=5356 CPUtime=0.09
/proc/8764/stat : 8764 (SatELiteGTI) S 8762 8764 8120 0 -1 4194304 336 1103 0 0 0 0 9 0 16 0 1 0 306720408 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 238487659332 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/8764/statm: 1339 239 197 169 0 50 0
[pid=8770] ppid=8764 vsize=215236 CPUtime=761.74
/proc/8770/stat : 8770 (minisat_static) R 8764 8764 8120 0 -1 4194304 53434 0 0 0 76115 59 0 0 25 0 1 0 306720418 220401664 53420 1992294400 134512640 135215339 4294956240 18446744073709551615 134525138 0 0 4096 3 0 0 0 17 0 0 0
/proc/8770/statm: 53809 53420 77 171 0 53636 0
Current children cumulated CPU time (s) 761.83
Current children cumulated vsize (KiB) 220592
[startup+822.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 8772
/proc/meminfo: memFree=1621696/2055920 swapFree=4180064/4192956
[pid=8764] ppid=8762 vsize=5356 CPUtime=0.09
/proc/8764/stat : 8764 (SatELiteGTI) S 8762 8764 8120 0 -1 4194304 336 1103 0 0 0 0 9 0 16 0 1 0 306720408 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 238487659332 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/8764/statm: 1339 239 197 169 0 50 0
[pid=8770] ppid=8764 vsize=216424 CPUtime=821.71
/proc/8770/stat : 8770 (minisat_static) R 8764 8764 8120 0 -1 4194304 53739 0 0 0 82112 59 0 0 25 0 1 0 306720418 221618176 53725 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/8770/statm: 54106 53725 77 171 0 53933 0
Current children cumulated CPU time (s) 821.8
Current children cumulated vsize (KiB) 221780
[startup+882.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 8772
/proc/meminfo: memFree=1621632/2055920 swapFree=4180064/4192956
[pid=8764] ppid=8762 vsize=5356 CPUtime=0.09
/proc/8764/stat : 8764 (SatELiteGTI) S 8762 8764 8120 0 -1 4194304 336 1103 0 0 0 0 9 0 16 0 1 0 306720408 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 238487659332 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/8764/statm: 1339 239 197 169 0 50 0
[pid=8770] ppid=8764 vsize=216424 CPUtime=881.69
/proc/8770/stat : 8770 (minisat_static) R 8764 8764 8120 0 -1 4194304 53739 0 0 0 88109 60 0 0 25 0 1 0 306720418 221618176 53725 1992294400 134512640 135215339 4294956240 18446744073709551615 134528691 0 0 4096 3 0 0 0 17 0 0 0
/proc/8770/statm: 54106 53725 77 171 0 53933 0
Current children cumulated CPU time (s) 881.78
Current children cumulated vsize (KiB) 221780
[startup+942.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 8772
/proc/meminfo: memFree=1621504/2055920 swapFree=4180064/4192956
[pid=8764] ppid=8762 vsize=5356 CPUtime=0.09
/proc/8764/stat : 8764 (SatELiteGTI) S 8762 8764 8120 0 -1 4194304 336 1103 0 0 0 0 9 0 16 0 1 0 306720408 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 238487659332 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/8764/statm: 1339 239 197 169 0 50 0
[pid=8770] ppid=8764 vsize=216424 CPUtime=941.66
/proc/8770/stat : 8770 (minisat_static) R 8764 8764 8120 0 -1 4194304 53739 0 0 0 94106 60 0 0 25 0 1 0 306720418 221618176 53725 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/8770/statm: 54106 53725 77 171 0 53933 0
Current children cumulated CPU time (s) 941.75
Current children cumulated vsize (KiB) 221780
[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 8772
/proc/meminfo: memFree=1614272/2055920 swapFree=4180064/4192956
[pid=8764] ppid=8762 vsize=5356 CPUtime=0.09
/proc/8764/stat : 8764 (SatELiteGTI) S 8762 8764 8120 0 -1 4194304 336 1103 0 0 0 0 9 0 16 0 1 0 306720408 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 238487659332 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/8764/statm: 1339 239 197 169 0 50 0
[pid=8770] ppid=8764 vsize=223552 CPUtime=1001.63
/proc/8770/stat : 8770 (minisat_static) R 8764 8764 8120 0 -1 4194304 55515 0 0 0 100101 62 0 0 25 0 1 0 306720418 228917248 55501 1992294400 134512640 135215339 4294956240 18446744073709551615 134528782 0 0 4096 3 0 0 0 17 0 0 0
/proc/8770/statm: 55888 55501 77 171 0 55715 0
Current children cumulated CPU time (s) 1001.72
Current children cumulated vsize (KiB) 228908
[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 8772
/proc/meminfo: memFree=1614208/2055920 swapFree=4180064/4192956
[pid=8764] ppid=8762 vsize=5356 CPUtime=0.09
/proc/8764/stat : 8764 (SatELiteGTI) S 8762 8764 8120 0 -1 4194304 336 1103 0 0 0 0 9 0 16 0 1 0 306720408 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 238487659332 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/8764/statm: 1339 239 197 169 0 50 0
[pid=8770] ppid=8764 vsize=223552 CPUtime=1061.6
/proc/8770/stat : 8770 (minisat_static) R 8764 8764 8120 0 -1 4194304 55515 0 0 0 106098 62 0 0 25 0 1 0 306720418 228917248 55501 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/8770/statm: 55888 55501 77 171 0 55715 0
Current children cumulated CPU time (s) 1061.69
Current children cumulated vsize (KiB) 228908
[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 8772
/proc/meminfo: memFree=1614080/2055920 swapFree=4180064/4192956
[pid=8764] ppid=8762 vsize=5356 CPUtime=0.09
/proc/8764/stat : 8764 (SatELiteGTI) S 8762 8764 8120 0 -1 4194304 336 1103 0 0 0 0 9 0 16 0 1 0 306720408 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 238487659332 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/8764/statm: 1339 239 197 169 0 50 0
[pid=8770] ppid=8764 vsize=223552 CPUtime=1121.58
/proc/8770/stat : 8770 (minisat_static) R 8764 8764 8120 0 -1 4194304 55515 0 0 0 112095 63 0 0 25 0 1 0 306720418 228917248 55501 1992294400 134512640 135215339 4294956240 18446744073709551615 134528863 0 0 4096 3 0 0 0 17 0 0 0
/proc/8770/statm: 55888 55501 77 171 0 55715 0
Current children cumulated CPU time (s) 1121.67
Current children cumulated vsize (KiB) 228908
[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 8772
/proc/meminfo: memFree=1614016/2055920 swapFree=4180064/4192956
[pid=8764] ppid=8762 vsize=5356 CPUtime=0.09
/proc/8764/stat : 8764 (SatELiteGTI) S 8762 8764 8120 0 -1 4194304 336 1103 0 0 0 0 9 0 16 0 1 0 306720408 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 238487659332 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/8764/statm: 1339 239 197 169 0 50 0
[pid=8770] ppid=8764 vsize=223552 CPUtime=1181.55
/proc/8770/stat : 8770 (minisat_static) R 8764 8764 8120 0 -1 4194304 55515 0 0 0 118092 63 0 0 25 0 1 0 306720418 228917248 55501 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 0 0 0
/proc/8770/statm: 55888 55501 77 171 0 55715 0
Current children cumulated CPU time (s) 1181.64
Current children cumulated vsize (KiB) 228908
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1200.7 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 8772
/proc/meminfo: memFree=1613952/2055920 swapFree=4180064/4192956
[pid=8764] ppid=8762 vsize=5356 CPUtime=0.09
/proc/8764/stat : 8764 (SatELiteGTI) S 8762 8764 8120 0 -1 4194304 336 1103 0 0 0 0 9 0 16 0 1 0 306720408 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 238487659332 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/8764/statm: 1339 239 197 169 0 50 0
[pid=8770] ppid=8764 vsize=223552 CPUtime=1199.94
/proc/8770/stat : 8770 (minisat_static) R 8764 8764 8120 0 -1 4194304 55515 0 0 0 119931 63 0 0 25 0 1 0 306720418 228917248 55501 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/8770/statm: 55888 55501 77 171 0 55715 0
Current children cumulated CPU time (s) 1200.03
Current children cumulated vsize (KiB) 228908
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: 1.00 1.00 1.00 2/66 8772
/proc/meminfo: memFree=1613952/2055920 swapFree=4180064/4192956
[pid=8764] ppid=8762 vsize=5356 CPUtime=0.09
/proc/8764/stat : 8764 (SatELiteGTI) S 8762 8764 8120 0 -1 4194304 336 1103 0 0 0 0 9 0 16 0 1 0 306720408 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 238487659332 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/8764/statm: 1339 239 197 169 0 50 0
[pid=8770] ppid=8764 vsize=223552 CPUtime=1199.94
/proc/8770/stat : 8770 (minisat_static) R 8764 8764 8120 0 -1 4194304 55515 0 0 0 119931 63 0 0 25 0 1 0 306720418 228917248 55501 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/8770/statm: 55888 55501 77 171 0 55715 0
Current children cumulated CPU time (s) 1200.03
Current children cumulated vsize (KiB) 228908
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 8764 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=93985
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=10998
# CPU time returned by wait4() is 0.104983
# while last known CPU time is 1200.03
#
# 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.03
CPU user time (s): 1199.4
CPU system time (s): 0.63
CPU usage (%): 99.9431
Max. virtual memory (cumulated for all children) (KiB): 228908
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.093985
system time used= 0.010998
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1439
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= 17
runsolver used 1.27181 second user time and 3.21951 second system time
The end
Begin job on node23 at 2009-05-20 04:34:29
IDJOB=1832719
IDBENCH=70323
IDSOLVER=671
FILE ID=node23/1832719-1242786869
PBS_JOBID= 9322315
Free space on /tmp= 66452 MiB
SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT09/RANDOM/LARGE/3SAT/UNKNOWN/6000/unif-k3-r4.2-v6000-c25200-S1760652419-100.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1832719-1242786869/watcher-1832719-1242786869 -o /tmp/evaluation-result-1832719-1242786869/solver-1832719-1242786869 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1832719-1242786869.cnf
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= f395e669823c1b01b74bf47c7e820b61
RANDOM SEED=2002767807
node23.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.238
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.238
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: 1839472 kB
Buffers: 33504 kB
Cached: 114952 kB
SwapCached: 7128 kB
Active: 38688 kB
Inactive: 118604 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1839472 kB
SwapTotal: 4192956 kB
SwapFree: 4180064 kB
Dirty: 2024 kB
Writeback: 0 kB
Mapped: 14064 kB
Slab: 45208 kB
Committed_AS: 1020640 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= 66448 MiB
End job on node23 at 2009-05-20 04:54:32