0.00/0.00 c Parsing...
0.00/0.04 c ==============================================================================
0.00/0.04 c | | ORIGINAL | LEARNT | |
0.00/0.04 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress |
0.00/0.04 c ==============================================================================
0.00/0.04 c | 0 | 42000 126000 | 12599 0 0 nan | 0.000 % |
0.00/0.14 c | 0 | 41735 126612 | -- 0 -- -- | -- | -265/612
0.00/0.14 c ==============================================================================
0.00/0.14 c Result : #vars: 9763 #clauses: 41735 #literals: 126612
0.00/0.14 c CPU time: 0.131979 s
0.00/0.14 c ==============================================================================
0.00/0.18 c This is MiniSat 2.0 beta
0.00/0.18 c WARNING: for repeatability, setting FPU to use double precision
0.00/0.18 c ============================[ Problem Statistics ]=============================
0.00/0.18 c | |
0.00/0.18 c | Number of variables: 9763 |
0.00/0.18 c | Number of clauses: 41735 |
0.17/0.21 c | Parsing time: 0.03 s |
0.17/0.21 c ============================[ Search Statistics ]==============================
0.17/0.21 c | Conflicts | ORIGINAL | LEARNT | Progress |
0.17/0.21 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
0.17/0.21 c ===============================================================================
0.17/0.21 c | 0 | 9763 41735 126612 | 13911 0 nan | 0.000 % |
0.17/0.25 c | 100 | 9763 41735 126612 | 13911 100 128 | 0.000 % |
0.17/0.28 c | 202 | 9763 41735 126612 | 13911 202 121 | 0.000 % |
0.17/0.31 c | 303 | 9763 41735 126612 | 13911 303 139 | 0.000 % |
0.17/0.34 c | 414 | 9763 41735 126612 | 13911 414 140 | 0.000 % |
0.17/0.38 c | 514 | 9763 41735 126612 | 13911 514 144 | 0.000 % |
0.17/0.41 c | 625 | 9763 41735 126612 | 13911 625 147 | 0.000 % |
0.17/0.45 c | 747 | 9763 41735 126612 | 13911 747 147 | 0.000 % |
0.17/0.48 c | 848 | 9763 41735 126612 | 13911 848 147 | 0.000 % |
0.17/0.51 c | 958 | 9763 41735 126612 | 13911 958 146 | 0.000 % |
0.17/0.55 c | 1079 | 9763 41735 126612 | 13911 1079 148 | 0.000 % |
0.17/0.60 c | 1212 | 9763 41735 126612 | 13911 1212 148 | 0.000 % |
0.17/0.63 c | 1312 | 9763 41735 126612 | 13911 1312 146 | 0.000 % |
0.17/0.67 c | 1422 | 9763 41735 126612 | 13911 1422 149 | 0.000 % |
0.17/0.70 c | 1544 | 9763 41735 126612 | 13911 1544 151 | 0.000 % |
0.17/0.75 c | 1677 | 9763 41735 126612 | 13911 1677 153 | 0.000 % |
0.17/0.79 c | 1823 | 9763 41735 126612 | 13911 1823 152 | 0.000 % |
0.17/0.82 c | 1924 | 9763 41735 126612 | 13911 1924 151 | 0.000 % |
0.17/0.85 c | 2034 | 9763 41735 126612 | 13911 2034 150 | 0.000 % |
0.17/0.89 c | 2155 | 9763 41735 126612 | 13911 2155 150 | 0.000 % |
0.17/0.94 c | 2288 | 9763 41735 126612 | 13911 2288 152 | 0.000 % |
0.17/0.98 c | 2439 | 9763 41735 126612 | 13911 2439 151 | 0.000 % |
0.97/1.04 c | 2600 | 9763 41735 126612 | 13911 2600 151 | 0.000 % |
0.97/1.07 c | 2701 | 9763 41735 126612 | 13911 2701 150 | 0.000 % |
1.07/1.11 c | 2812 | 9763 41735 126612 | 13911 2812 150 | 0.000 % |
1.07/1.14 c | 2933 | 9763 41735 126612 | 13911 2933 148 | 0.000 % |
1.07/1.19 c | 3067 | 9763 41735 126612 | 13911 3067 149 | 0.000 % |
1.17/1.25 c | 3213 | 9763 41735 126612 | 13911 3213 151 | 0.000 % |
1.27/1.30 c | 3373 | 9763 41735 126612 | 13911 3373 151 | 0.000 % |
1.27/1.36 c | 3549 | 9763 41735 126612 | 13911 3549 150 | 0.000 % |
1.27/1.39 c | 3650 | 9763 41735 126612 | 13911 3650 150 | 0.000 % |
1.38/1.43 c | 3760 | 9763 41735 126612 | 13911 3760 150 | 0.000 % |
1.38/1.48 c | 3883 | 9763 41735 126612 | 13911 3883 151 | 0.000 % |
1.48/1.53 c | 4017 | 9763 41735 126612 | 13911 4017 153 | 0.000 % |
1.48/1.58 c | 4164 | 9763 41735 126612 | 13911 4164 153 | 0.000 % |
1.58/1.63 c | 4326 | 9763 41735 126612 | 13911 4326 152 | 0.000 % |
1.58/1.69 c | 4502 | 9763 41735 126612 | 13911 4502 153 | 0.000 % |
1.68/1.76 c | 4695 | 9763 41735 126612 | 13911 4695 153 | 0.000 % |
1.68/1.79 c | 4795 | 9763 41735 126612 | 13911 4795 153 | 0.000 % |
1.77/1.83 c | 4906 | 9763 41735 126612 | 13911 4906 153 | 0.000 % |
1.77/1.87 c | 5027 | 9763 41735 126612 | 13911 5027 152 | 0.000 % |
1.87/1.93 c | 5163 | 9763 41735 126612 | 13911 5163 152 | 0.000 % |
1.87/1.98 c | 5309 | 9763 41735 126612 | 13911 5309 152 | 0.000 % |
1.97/2.03 c | 5469 | 9763 41735 126612 | 13911 5469 152 | 0.000 % |
1.97/2.09 c | 5645 | 9763 41735 126612 | 13911 5645 151 | 0.000 % |
2.08/2.16 c | 5839 | 9763 41735 126612 | 13911 5839 151 | 0.000 % |
2.17/2.23 c | 6051 | 9763 41735 126612 | 13911 6051 151 | 0.000 % |
2.17/2.27 c | 6153 | 9763 41735 126612 | 13911 6153 151 | 0.000 % |
2.27/2.31 c | 6264 | 9763 41735 126612 | 13911 6264 151 | 0.000 % |
2.27/2.35 c | 6385 | 9763 41735 126612 | 13911 6385 151 | 0.000 % |
2.37/2.40 c | 6518 | 9763 41735 126612 | 13911 6518 151 | 0.000 % |
2.37/2.45 c | 6664 | 9763 41735 126612 | 13911 6664 151 | 0.000 % |
2.47/2.51 c | 6824 | 9763 41735 126612 | 13911 6824 150 | 0.000 % |
2.47/2.58 c | 7000 | 9763 41735 126612 | 13911 7000 150 | 0.000 % |
2.57/2.65 c | 7194 | 9763 41735 126612 | 13911 7194 150 | 0.000 % |
2.67/2.73 c | 7406 | 9763 41735 126612 | 13911 7406 150 | 0.000 % |
2.77/2.81 c | 7639 | 9763 41735 126612 | 13911 7639 152 | 0.000 % |
2.77/2.85 c | 7739 | 9763 41735 126612 | 13911 7739 152 | 0.000 % |
2.77/2.89 c | 7849 | 9763 41735 126612 | 13911 7849 153 | 0.000 % |
2.88/2.93 c | 7971 | 9763 41735 126612 | 13911 7971 152 | 0.000 % |
2.88/2.99 c | 8105 | 9763 41735 126612 | 13911 8105 153 | 0.000 % |
2.98/3.04 c | 8252 | 9763 41735 126612 | 13911 8252 152 | 0.000 % |
3.08/3.10 c | 8412 | 9763 41735 126612 | 13911 8412 151 | 0.000 % |
3.08/3.17 c | 8588 | 9763 41735 126612 | 13911 8588 152 | 0.000 % |
3.18/3.25 c | 8781 | 9763 41735 126612 | 13911 8781 152 | 0.000 % |
3.28/3.32 c | 8993 | 9763 41735 126612 | 13911 8993 152 | 0.000 % |
3.37/3.41 c | 9226 | 9763 41735 126612 | 13911 9226 152 | 0.000 % |
3.47/3.51 c | 9483 | 9763 41735 126612 | 13911 9483 152 | 0.000 % |
3.47/3.55 c | 9583 | 9763 41735 126612 | 13911 9583 152 | 0.000 % |
3.47/3.59 c | 9694 | 9763 41735 126612 | 13911 9694 152 | 0.000 % |
3.57/3.64 c | 9816 | 9763 41735 126612 | 13911 9816 152 | 0.000 % |
3.67/3.70 c | 9951 | 9763 41735 126612 | 13911 9951 152 | 0.000 % |
3.67/3.76 c | 10097 | 9763 41735 126612 | 2147483647 10097 152 | 0.000 % |
3.77/3.82 c | 10257 | 9763 41735 126612 | 2147483647 10257 152 | 0.000 % |
3.77/3.89 c | 10436 | 9763 41735 126612 | 2147483647 10436 152 | 0.000 % |
3.87/3.96 c | 10633 | 9763 41735 126612 | 2147483647 10633 152 | 0.000 % |
3.97/4.05 c | 10847 | 9763 41735 126612 | 2147483647 10847 154 | 0.000 % |
4.07/4.14 c | 11080 | 9763 41735 126612 | 2147483647 11080 155 | 0.000 % |
4.17/4.24 c | 11336 | 9763 41735 126612 | 2147483647 11336 155 | 0.000 % |
4.28/4.35 c | 11619 | 9763 41735 126612 | 2147483647 11619 155 | 0.000 % |
4.28/4.39 c | 11720 | 9763 41735 126612 | 2147483647 11720 155 | 0.000 % |
4.37/4.43 c | 11831 | 9763 41735 126612 | 2147483647 11831 155 | 0.000 % |
4.37/4.49 c | 11953 | 9763 41735 126612 | 2147483647 11953 155 | 0.000 % |
4.47/4.54 c | 12086 | 9763 41735 126612 | 2147483647 12086 155 | 0.000 % |
4.57/4.60 c | 12232 | 9763 41735 126612 | 2147483647 12232 155 | 0.000 % |
4.57/4.67 c | 12393 | 9763 41735 126612 | 2147483647 12393 156 | 0.000 % |
4.67/4.74 c | 12570 | 9763 41735 126612 | 2147483647 12570 155 | 0.000 % |
4.77/4.82 c | 12765 | 9763 41735 126612 | 2147483647 12765 155 | 0.000 % |
4.87/4.90 c | 12980 | 9763 41735 126612 | 2147483647 12980 155 | 0.000 % |
4.97/5.00 c | 13214 | 9763 41735 126612 | 2147483647 13214 155 | 0.000 % |
5.07/5.11 c | 13471 | 9763 41735 126612 | 2147483647 13471 155 | 0.000 % |
5.17/5.22 c | 13753 | 9763 41735 126612 | 2147483647 13753 155 | 0.000 % |
5.27/5.34 c | 14062 | 9763 41735 126612 | 2147483647 14062 156 | 0.000 % |
5.27/5.39 c | 14163 | 9763 41735 126612 | 2147483647 14163 156 | 0.000 % |
5.38/5.44 c | 14276 | 9763 41735 126612 | 2147483647 14276 155 | 0.000 % |
5.38/5.49 c | 14398 | 9763 41735 126612 | 2147483647 14398 155 | 0.000 % |
5.48/5.55 c | 14531 | 9763 41735 126612 | 2147483647 14531 156 | 0.000 % |
5.57/5.61 c | 14678 | 9763 41735 126612 | 2147483647 14678 156 | 0.000 % |
5.57/5.68 c | 14841 | 9763 41735 126612 | 2147483647 14841 156 | 0.000 % |
5.67/5.75 c | 15017 | 9763 41735 126612 | 2147483647 15017 156 | 0.000 % |
5.77/5.83 c | 15211 | 9763 41735 126612 | 2147483647 15211 156 | 0.000 % |
5.87/5.93 c | 15424 | 9763 41735 126612 | 2147483647 15424 156 | 0.000 % |
5.97/6.03 c | 15657 | 9763 41735 126612 | 2147483647 15657 156 | 0.000 % |
6.07/6.14 c | 15914 | 9763 41735 126612 | 2147483647 15914 156 | 0.000 % |
6.17/6.25 c | 16195 | 9763 41735 126612 | 2147483647 16195 156 | 0.000 % |
6.27/6.38 c | 16504 | 9763 41735 126612 | 2147483647 16504 156 | 0.000 % |
6.48/6.52 c | 16843 | 9763 41735 126612 | 2147483647 16843 156 | 0.000 % |
6.48/6.56 c | 16943 | 9763 41735 126612 | 2147483647 16943 156 | 0.000 % |
6.57/6.61 c | 17053 | 9763 41735 126612 | 2147483647 17053 156 | 0.000 % |
6.57/6.67 c | 17177 | 9763 41735 126612 | 2147483647 17177 156 | 0.000 % |
6.67/6.73 c | 17310 | 9763 41735 126612 | 2147483647 17310 156 | 0.000 % |
6.77/6.80 c | 17456 | 9763 41735 126612 | 2147483647 17456 156 | 0.000 % |
6.77/6.87 c | 17617 | 9763 41735 126612 | 2147483647 17617 156 | 0.000 % |
6.87/6.95 c | 17794 | 9763 41735 126612 | 2147483647 17794 156 | 0.000 % |
6.97/7.03 c | 17988 | 9763 41735 126612 | 2147483647 17988 156 | 0.000 % |
7.07/7.13 c | 18201 | 9763 41735 126612 | 2147483647 18201 156 | 0.000 % |
7.17/7.22 c | 18434 | 9763 41735 126612 | 2147483647 18434 156 | 0.000 % |
7.27/7.34 c | 18691 | 9763 41735 126612 | 2147483647 18691 157 | 0.000 % |
7.37/7.46 c | 18973 | 9763 41735 126612 | 2147483647 18973 157 | 0.000 % |
7.57/7.61 c | 19285 | 9763 41735 126612 | 2147483647 19285 158 | 0.000 % |
7.67/7.76 c | 19624 | 9763 41735 126612 | 2147483647 19624 157 | 0.000 % |
7.87/7.92 c | 19996 | 9763 41735 126612 | 2147483647 19996 157 | 0.000 % |
7.87/7.96 c | 20098 | 9763 41735 126612 | 2147483647 20098 157 | 0.000 % |
7.97/8.02 c | 20209 | 9763 41735 126612 | 2147483647 20209 157 | 0.000 % |
7.97/8.08 c | 20331 | 9763 41735 126612 | 2147483647 20331 157 | 0.000 % |
8.07/8.14 c | 20464 | 9763 41735 126612 | 2147483647 20464 157 | 0.000 % |
8.16/8.20 c | 20610 | 9763 41735 126612 | 2147483647 20610 157 | 0.000 % |
8.16/8.28 c | 20771 | 9763 41735 126612 | 2147483647 20771 157 | 0.000 % |
8.26/8.35 c | 20948 | 9763 41735 126612 | 2147483647 20948 157 | 0.000 % |
8.37/8.44 c | 21142 | 9763 41735 126612 | 2147483647 21142 157 | 0.000 % |
8.47/8.54 c | 21355 | 9763 41735 126612 | 2147483647 21355 157 | 0.000 % |
8.57/8.65 c | 21588 | 9763 41735 126612 | 2147483647 21588 157 | 0.000 % |
8.68/8.77 c | 21844 | 9763 41735 126612 | 2147483647 21844 158 | 0.000 % |
8.87/8.90 c | 22125 | 9763 41735 126612 | 2147483647 22125 158 | 0.000 % |
8.97/9.05 c | 22434 | 9763 41735 126612 | 2147483647 22434 158 | 0.000 % |
9.17/9.21 c | 22774 | 9763 41735 126612 | 2147483647 22774 159 | 0.000 % |
9.27/9.38 c | 23146 | 9763 41735 126612 | 2147483647 23146 159 | 0.000 % |
9.47/9.57 c | 23555 | 9763 41735 126612 | 2147483647 23555 159 | 0.000 % |
9.57/9.63 c | 23655 | 9763 41735 126612 | 2147483647 23655 159 | 0.000 % |
9.57/9.68 c | 23765 | 9763 41735 126612 | 2147483647 23765 159 | 0.000 % |
9.67/9.74 c | 23886 | 9763 41735 126612 | 2147483647 23886 159 | 0.000 % |
9.77/9.81 c | 24019 | 9763 41735 126612 | 2147483647 24019 159 | 0.000 % |
9.77/9.88 c | 24166 | 9763 41735 126612 | 2147483647 24166 158 | 0.000 % |
9.87/9.96 c | 24326 | 9763 41735 126612 | 2147483647 24326 159 | 0.000 % |
9.97/10.04 c | 24503 | 9763 41735 126612 | 2147483647 24503 159 | 0.000 % |
10.07/10.14 c | 24696 | 9763 41735 126612 | 2147483647 24696 159 | 0.000 % |
10.17/10.25 c | 24909 | 9763 41735 126612 | 2147483647 24909 159 | 0.000 % |
10.27/10.36 c | 25143 | 9763 41735 126612 | 2147483647 25143 159 | 0.000 % |
10.37/10.49 c | 25400 | 9763 41735 126612 | 2147483647 25400 159 | 0.000 % |
10.57/10.63 c | 25683 | 9763 41735 126612 | 2147483647 25683 159 | 0.000 % |
10.67/10.78 c | 25992 | 9763 41735 126612 | 2147483647 25992 159 | 0.000 % |
10.87/10.94 c | 26333 | 9763 41735 126612 | 2147483647 26333 159 | 0.000 % |
11.07/11.12 c | 26706 | 9763 41735 126612 | 2147483647 26706 160 | 0.000 % |
11.27/11.32 c | 27115 | 9763 41735 126612 | 2147483647 27115 160 | 0.000 % |
11.47/11.53 c | 27565 | 9763 41735 126612 | 2147483647 27565 160 | 0.000 % |
11.47/11.59 c | 27665 | 9763 41735 126612 | 2147483647 27665 160 | 0.000 % |
11.57/11.65 c | 27776 | 9763 41735 126612 | 2147483647 27776 160 | 0.000 % |
11.67/11.71 c | 27898 | 9763 41735 126612 | 2147483647 27898 160 | 0.000 % |
11.67/11.78 c | 28031 | 9763 41735 126612 | 2147483647 28031 160 | 0.000 % |
11.77/11.87 c | 28179 | 9763 41735 126612 | 2147483647 28179 160 | 0.000 % |
11.87/11.95 c | 28341 | 9763 41735 126612 | 2147483647 28341 160 | 0.000 % |
11.98/12.04 c | 28517 | 9763 41735 126612 | 2147483647 28517 160 | 0.000 % |
12.07/12.14 c | 28710 | 9763 41735 126612 | 2147483647 28710 160 | 0.000 % |
12.17/12.24 c | 28925 | 9763 41735 126612 | 2147483647 28925 160 | 0.000 % |
12.27/12.35 c | 29158 | 9763 41735 126612 | 2147483647 29158 160 | 0.000 % |
12.37/12.48 c | 29414 | 9763 41735 126612 | 2147483647 29414 160 | 0.000 % |
12.57/12.61 c | 29695 | 9763 41735 126612 | 2147483647 29695 160 | 0.000 % |
12.66/12.76 c | 30004 | 9763 41735 126612 | 2147483647 30004 160 | 0.000 % |
12.87/12.94 c | 30345 | 9763 41735 126612 | 2147483647 30345 160 | 0.000 % |
13.08/13.12 c | 30717 | 9763 41735 126612 | 2147483647 30717 160 | 0.000 % |
13.27/13.32 c | 31126 | 9763 41735 126612 | 2147483647 31126 160 | 0.000 % |
13.47/13.55 c | 31575 | 9763 41735 126612 | 2147483647 31575 161 | 0.000 % |
13.77/13.81 c | 32069 | 9763 41735 126612 | 2147483647 32069 161 | 0.000 % |
13.77/13.86 c | 32170 | 9763 41735 126612 | 2147483647 32170 161 | 0.000 % |
13.87/13.93 c | 32282 | 9763 41735 126612 | 2147483647 32282 161 | 0.000 % |
13.97/14.01 c | 32404 | 9763 41735 126612 | 2147483647 32404 161 | 0.000 % |
13.97/14.08 c | 32537 | 9763 41735 126612 | 2147483647 32537 161 | 0.000 % |
14.07/14.18 c | 32686 | 9763 41735 126612 | 2147483647 32686 161 | 0.000 % |
14.17/14.25 c | 32846 | 9763 41735 126612 | 2147483647 32846 161 | 0.000 % |
14.27/14.34 c | 33022 | 9763 41735 126612 | 2147483647 33022 161 | 0.000 % |
14.37/14.45 c | 33216 | 9763 41735 126612 | 2147483647 33216 161 | 0.000 % |
14.47/14.56 c | 33429 | 9763 41735 126612 | 2147483647 33429 161 | 0.000 % |
14.56/14.69 c | 33662 | 9763 41735 126612 | 2147483647 33662 161 | 0.000 % |
14.76/14.82 c | 33919 | 9763 41735 126612 | 2147483647 33919 162 | 0.000 % |
14.86/14.97 c | 34200 | 9763 41735 126612 | 2147483647 34200 162 | 0.000 % |
15.06/15.13 c | 34509 | 9763 41735 126612 | 2147483647 34509 162 | 0.000 % |
15.27/15.32 c | 34848 | 9763 41735 126612 | 2147483647 34848 162 | 0.000 % |
15.46/15.54 c | 35221 | 9763 41735 126612 | 2147483647 35221 162 | 0.000 % |
15.67/15.76 c | 35630 | 9763 41735 126612 | 2147483647 35630 162 | 0.000 % |
15.97/16.00 c | 36081 | 9763 41735 126612 | 2147483647 36081 162 | 0.000 % |
16.17/16.26 c | 36575 | 9763 41735 126612 | 2147483647 36575 163 | 0.000 % |
16.47/16.55 c | 37117 | 9763 41735 126612 | 2147483647 37117 163 | 0.000 % |
16.57/16.61 c | 37217 | 9763 41735 126612 | 2147483647 37217 163 | 0.000 % |
16.57/16.68 c | 37327 | 9763 41735 126612 | 2147483647 37327 163 | 0.000 % |
16.67/16.76 c | 37448 | 9763 41735 126612 | 2147483647 37448 163 | 0.000 % |
16.77/16.83 c | 37582 | 9763 41735 126612 | 2147483647 37582 163 | 0.000 % |
16.87/16.91 c | 37728 | 9763 41735 126612 | 2147483647 37728 163 | 0.000 % |
16.97/17.01 c | 37889 | 9763 41735 126612 | 2147483647 37889 162 | 0.000 % |
17.07/17.12 c | 38065 | 9763 41735 126612 | 2147483647 38065 162 | 0.000 % |
17.17/17.23 c | 38260 | 9763 41735 126612 | 2147483647 38260 162 | 0.000 % |
17.27/17.35 c | 38475 | 9763 41735 126612 | 2147483647 38475 162 | 0.000 % |
17.37/17.49 c | 38708 | 9763 41735 126612 | 2147483647 38708 162 | 0.000 % |
17.57/17.64 c | 38964 | 9763 41735 126612 | 2147483647 38964 162 | 0.000 % |
17.77/17.80 c | 39247 | 9763 41735 126612 | 2147483647 39247 162 | 0.000 % |
17.87/17.99 c | 39557 | 9763 41735 126612 | 2147483647 39557 162 | 0.000 % |
18.06/18.18 c | 39896 | 9763 41735 126612 | 2147483647 39896 162 | 0.000 % |
18.26/18.39 c | 40268 | 9763 41735 126612 | 2147483647 40268 162 | 0.000 % |
18.58/18.64 c | 40679 | 9763 41735 126612 | 2147483647 40679 162 | 0.000 % |
18.77/18.89 c | 41129 | 9763 41735 126612 | 2147483647 41129 162 | 0.000 % |
19.07/19.17 c | 41622 | 9763 41735 126612 | 2147483647 41622 162 | 0.000 % |
19.37/19.47 c | 42164 | 9763 41735 126612 | 2147483647 42164 163 | 0.000 % |
19.77/19.81 c | 42761 | 9763 41735 126612 | 2147483647 42761 163 | 0.000 % |
19.77/19.88 c | 42861 | 9763 41735 126612 | 2147483647 42861 163 | 0.000 % |
19.86/19.95 c | 42971 | 9763 41735 126612 | 2147483647 42971 163 | 0.000 % |
19.96/20.02 c | 43092 | 9763 41735 126612 | 2147483647 43092 163 | 0.000 % |
20.06/20.11 c | 43226 | 9763 41735 126612 | 2147483647 43226 163 | 0.000 % |
20.16/20.20 c | 43373 | 9763 41735 126612 | 2147483647 43373 163 | 0.000 % |
20.16/20.29 c | 43536 | 9763 41735 126612 | 2147483647 43536 163 | 0.000 % |
20.36/20.40 c | 43715 | 9763 41735 126612 | 2147483647 43715 162 | 0.000 % |
20.46/20.53 c | 43908 | 9763 41735 126612 | 2147483647 43908 163 | 0.000 % |
20.56/20.66 c | 44120 | 9763 41735 126612 | 2147483647 44120 163 | 0.000 % |
20.66/20.80 c | 44353 | 9763 41735 126612 | 2147483647 44353 163 | 0.000 % |
20.87/20.95 c | 44609 | 9763 41735 126612 | 2147483647 44609 163 | 0.000 % |
21.06/21.12 c | 44891 | 9763 41735 126612 | 2147483647 44891 163 | 0.000 % |
21.26/21.31 c | 45200 | 9763 41735 126612 | 2147483647 45200 163 | 0.000 % |
21.47/21.52 c | 45539 | 9763 41735 126612 | 2147483647 45539 163 | 0.000 % |
21.67/21.75 c | 45912 | 9763 41735 126612 | 2147483647 45912 163 | 0.000 % |
21.87/22.00 c | 46321 | 9763 41735 126612 | 2147483647 46321 163 | 0.000 % |
22.17/22.26 c | 46772 | 9763 41735 126612 | 2147483647 46772 163 | 0.000 % |
22.47/22.57 c | 47266 | 9763 41735 126612 | 2147483647 47266 163 | 0.000 % |
22.86/22.91 c | 47809 | 9763 41735 126612 | 2147483647 47809 163 | 0.000 % |
23.16/23.28 c | 48405 | 9763 41735 126612 | 2147483647 48405 164 | 0.000 % |
23.66/23.71 c | 49060 | 9763 41735 126612 | 2147483647 49060 165 | 0.000 % |
23.66/23.78 c | 49160 | 9763 41735 126612 | 2147483647 49160 165 | 0.000 % |
23.76/23.86 c | 49271 | 9763 41735 126612 | 2147483647 49271 165 | 0.000 % |
23.86/23.96 c | 49392 | 9763 41735 126612 | 2147483647 49392 165 | 0.000 % |
23.96/24.06 c | 49525 | 9763 41735 126612 | 2147483647 49525 165 | 0.000 % |
24.06/24.15 c | 49671 | 9763 41735 126612 | 2147483647 49671 165 | 0.000 % |
24.16/24.26 c | 49831 | 9763 41735 126612 | 2147483647 49831 165 | 0.000 % |
24.26/24.38 c | 50007 | 9763 41735 126612 | 2147483647 50007 165 | 0.000 % |
24.46/24.51 c | 50200 | 9763 41735 126612 | 2147483647 50200 165 | 0.000 % |
24.57/24.65 c | 50413 | 9763 41735 126612 | 2147483647 50413 165 | 0.000 % |
24.77/24.81 c | 50646 | 9763 41735 126612 | 2147483647 50646 165 | 0.000 % |
24.87/24.98 c | 50903 | 9763 41735 126612 | 2147483647 50903 165 | 0.000 % |
25.07/25.17 c | 51186 | 9763 41735 126612 | 2147483647 51186 165 | 0.000 % |
25.27/25.37 c | 51495 | 9763 41735 126612 | 2147483647 51495 165 | 0.000 % |
25.47/25.57 c | 51835 | 9763 41735 126612 | 2147483647 51835 165 | 0.000 % |
25.66/25.80 c | 52209 | 9763 41735 126612 | 2147483647 52209 165 | 0.000 % |
25.96/26.06 c | 52618 | 9763 41735 126612 | 2147483647 52618 165 | 0.000 % |
26.27/26.36 c | 53067 | 9763 41735 126612 | 2147483647 53067 165 | 0.000 % |
26.57/26.69 c | 53561 | 9763 41735 126612 | 2147483647 53561 165 | 0.000 % |
26.97/27.05 c | 54103 | 9763 41735 126612 | 2147483647 54103 165 | 0.000 % |
27.37/27.44 c | 54700 | 9763 41735 126612 | 2147483647 54700 166 | 0.000 % |
27.76/27.86 c | 55356 | 9763 41735 126612 | 2147483647 55356 166 | 0.000 % |
28.26/28.35 c | 56077 | 9763 41735 126612 | 2147483647 56077 166 | 0.000 % |
28.37/28.43 c | 56179 | 9763 41735 126612 | 2147483647 56179 166 | 0.000 % |
28.47/28.51 c | 56289 | 9763 41735 126612 | 2147483647 56289 166 | 0.000 % |
28.57/28.61 c | 56412 | 9763 41735 126612 | 2147483647 56412 166 | 0.000 % |
28.67/28.71 c | 56546 | 9763 41735 126612 | 2147483647 56546 166 | 0.000 % |
28.77/28.81 c | 56692 | 9763 41735 126612 | 2147483647 56692 166 | 0.000 % |
28.86/28.92 c | 56852 | 9763 41735 126612 | 2147483647 56852 166 | 0.000 % |
28.96/29.04 c | 57029 | 9763 41735 126612 | 2147483647 57029 166 | 0.000 % |
29.06/29.19 c | 57222 | 9763 41735 126612 | 2147483647 57222 166 | 0.000 % |
29.26/29.34 c | 57434 | 9763 41735 126612 | 2147483647 57434 166 | 0.000 % |
29.46/29.50 c | 57668 | 9763 41735 126612 | 2147483647 57668 166 | 0.000 % |
29.57/29.68 c | 57924 | 9763 41735 126612 | 2147483647 57924 166 | 0.000 % |
29.76/29.89 c | 58205 | 9763 41735 126612 | 2147483647 58205 166 | 0.000 % |
30.06/30.11 c | 58515 | 9763 41735 126612 | 2147483647 58515 166 | 0.000 % |
30.26/30.35 c | 58856 | 9763 41735 126612 | 2147483647 58856 166 | 0.000 % |
30.56/30.61 c | 59230 | 9763 41735 126612 | 2147483647 59230 166 | 0.000 % |
30.76/30.88 c | 59641 | 9763 41735 126612 | 2147483647 59641 166 | 0.000 % |
31.06/31.19 c | 60090 | 9763 41735 126612 | 2147483647 60090 166 | 0.000 % |
31.46/31.56 c | 60583 | 9763 41735 126612 | 2147483647 60583 166 | 0.000 % |
31.86/31.97 c | 61127 | 9763 41735 126612 | 2147483647 61127 166 | 0.000 % |
32.26/32.34 c | 61724 | 9763 41735 126612 | 2147483647 61724 167 | 0.000 % |
32.66/32.79 c | 62379 | 9763 41735 126612 | 2147483647 62379 167 | 0.000 % |
33.26/33.30 c | 63100 | 9763 41735 126612 | 2147483647 63100 167 | 0.000 % |
33.76/33.85 c | 63892 | 9763 41735 126612 | 2147483647 63892 167 | 0.000 % |
33.86/33.93 c | 63993 | 9763 41735 126612 | 2147483647 63993 167 | 0.000 % |
33.96/34.02 c | 64103 | 9763 41735 126612 | 2147483647 64103 167 | 0.000 % |
34.06/34.11 c | 64224 | 9763 41735 126612 | 2147483647 64224 167 | 0.000 % |
34.15/34.20 c | 64358 | 9763 41735 126612 | 2147483647 64358 167 | 0.000 % |
34.25/34.31 c | 64505 | 9763 41735 126612 | 2147483647 64505 167 | 0.000 % |
34.35/34.44 c | 64665 | 9763 41735 126612 | 2147483647 64665 167 | 0.000 % |
34.45/34.58 c | 64841 | 9763 41735 126612 | 2147483647 64841 167 | 0.000 % |
34.65/34.73 c | 65035 | 9763 41735 126612 | 2147483647 65035 167 | 0.000 % |
34.75/34.89 c | 65247 | 9763 41735 126612 | 2147483647 65247 167 | 0.000 % |
34.95/35.08 c | 65480 | 9763 41735 126612 | 2147483647 65480 167 | 0.000 % |
35.17/35.29 c | 65739 | 9763 41735 126612 | 2147483647 65739 168 | 0.000 % |
35.36/35.49 c | 66020 | 9763 41735 126612 | 2147483647 66020 168 | 0.000 % |
35.66/35.72 c | 66329 | 9763 41735 126612 | 2147483647 66329 168 | 0.000 % |
35.86/35.96 c | 66668 | 9763 41735 126612 | 2147483647 66668 168 | 0.000 % |
36.16/36.24 c | 67040 | 9763 41735 126612 | 2147483647 67040 168 | 0.000 % |
36.46/36.54 c | 67449 | 9763 41735 126612 | 2147483647 67449 168 | 0.000 % |
36.86/36.90 c | 67898 | 9763 41735 126612 | 2147483647 67898 168 | 0.000 % |
37.15/37.24 c | 68392 | 9763 41735 126612 | 2147483647 68392 168 | 0.000 % |
37.55/37.63 c | 68935 | 9763 41735 126612 | 2147483647 68935 169 | 0.000 % |
37.95/38.08 c | 69531 | 9763 41735 126612 | 2147483647 69531 169 | 0.000 % |
38.46/38.56 c | 70186 | 9763 41735 126612 | 2147483647 70186 169 | 0.000 % |
38.96/39.09 c | 70907 | 9763 41735 126612 | 2147483647 70907 169 | 0.000 % |
39.56/39.66 c | 71699 | 9763 41735 126612 | 2147483647 71699 170 | 0.000 % |
40.25/40.34 c | 72570 | 9763 41735 126612 | 2147483647 72570 170 | 0.000 % |
40.35/40.43 c | 72670 | 9763 41735 126612 | 2147483647 72670 170 | 0.000 % |
40.45/40.53 c | 72780 | 9763 41735 126612 | 2147483647 72780 170 | 0.000 % |
40.56/40.63 c | 72901 | 9763 41735 126612 | 2147483647 72901 170 | 0.000 % |
40.66/40.74 c | 73034 | 9763 41735 126612 | 2147483647 73034 170 | 0.000 % |
40.75/40.87 c | 73181 | 9763 41735 126612 | 2147483647 73181 170 | 0.000 % |
40.85/41.00 c | 73341 | 9763 41735 126612 | 2147483647 73341 170 | 0.000 % |
41.05/41.13 c | 73517 | 9763 41735 126612 | 2147483647 73517 170 | 0.000 % |
41.15/41.30 c | 73710 | 9763 41735 126612 | 2147483647 73710 170 | 0.000 % |
41.35/41.46 c | 73922 | 9763 41735 126612 | 2147483647 73922 170 | 0.000 % |
41.55/41.64 c | 74155 | 9763 41735 126612 | 2147483647 74155 170 | 0.000 % |
41.76/41.83 c | 74411 | 9763 41735 126612 | 2147483647 74411 170 | 0.000 % |
41.95/42.05 c | 74692 | 9763 41735 126612 | 2147483647 74692 170 | 0.000 % |
42.25/42.31 c | 75001 | 9763 41735 126612 | 2147483647 75001 170 | 0.000 % |
42.45/42.59 c | 75340 | 9763 41735 126612 | 2147483647 75340 170 | 0.000 % |
42.75/42.89 c | 75712 | 9763 41735 126612 | 2147483647 75712 170 | 0.000 % |
43.15/43.20 c | 76121 | 9763 41735 126612 | 2147483647 76121 170 | 0.000 % |
43.45/43.53 c | 76572 | 9763 41735 126612 | 2147483647 76572 170 | 0.000 % |
43.86/43.91 c | 77065 | 9763 41735 126612 | 2147483647 77065 171 | 0.000 % |
44.25/44.36 c | 77608 | 9763 41735 126612 | 2147483647 77608 171 | 0.000 % |
44.75/44.83 c | 78204 | 9763 41735 126612 | 2147483647 78204 171 | 0.000 % |
45.25/45.34 c | 78860 | 9763 41735 126612 | 2147483647 78860 171 | 0.000 % |
45.85/45.93 c | 79581 | 9763 41735 126612 | 2147483647 79581 171 | 0.000 % |
46.45/46.56 c | 80374 | 9763 41735 126612 | 2147483647 80374 171 | 0.000 % |
47.16/47.27 c | 81245 | 9763 41735 126612 | 2147483647 81245 172 | 0.000 % |
47.94/48.05 c | 82204 | 9763 41735 126612 | 2147483647 82204 172 | 0.000 % |
48.04/48.15 c | 82305 | 9763 41735 126612 | 2147483647 82305 172 | 0.000 % |
48.14/48.25 c | 82415 | 9763 41735 126612 | 2147483647 82415 172 | 0.000 % |
48.25/48.36 c | 82536 | 9763 41735 126612 | 2147483647 82536 172 | 0.000 % |
48.45/48.51 c | 82672 | 9763 41735 126612 | 2147483647 82672 172 | 0.000 % |
48.55/48.65 c | 82819 | 9763 41735 126612 | 2147483647 82819 172 | 0.000 % |
48.75/48.80 c | 82979 | 9763 41735 126612 | 2147483647 82979 172 | 0.000 % |
48.85/48.98 c | 83156 | 9763 41735 126612 | 2147483647 83156 172 | 0.000 % |
49.05/49.14 c | 83349 | 9763 41735 126612 | 2147483647 83349 172 | 0.000 % |
49.25/49.32 c | 83561 | 9763 41735 126612 | 2147483647 83561 171 | 0.000 % |
49.46/49.53 c | 83796 | 9763 41735 126612 | 2147483647 83796 172 | 0.000 % |
49.65/49.76 c | 84052 | 9763 41735 126612 | 2147483647 84052 171 | 0.000 % |
49.95/50.01 c | 84333 | 9763 41735 126612 | 2147483647 84333 171 | 0.000 % |
50.15/50.28 c | 84642 | 9763 41735 126612 | 2147483647 84642 171 | 0.000 % |
50.45/50.55 c | 84981 | 9763 41735 126612 | 2147483647 84981 171 | 0.000 % |
50.75/50.86 c | 85355 | 9763 41735 126612 | 2147483647 85355 171 | 0.000 % |
51.14/51.20 c | 85764 | 9763 41735 126612 | 2147483647 85764 172 | 0.000 % |
51.44/51.59 c | 86213 | 9763 41735 126612 | 2147483647 86213 172 | 0.000 % |
51.84/51.97 c | 86706 | 9763 41735 126612 | 2147483647 86706 172 | 0.000 % |
52.34/52.41 c | 87248 | 9763 41735 126612 | 2147483647 87248 172 | 0.000 % |
52.75/52.88 c | 87844 | 9763 41735 126612 | 2147483647 87844 172 | 0.000 % |
53.34/53.43 c | 88501 | 9763 41735 126612 | 2147483647 88501 172 | 0.000 % |
53.94/54.04 c | 89222 | 9763 41735 126612 | 2147483647 89222 172 | 0.000 % |
54.55/54.68 c | 90014 | 9763 41735 126612 | 2147483647 90014 172 | 0.000 % |
55.35/55.41 c | 90885 | 9763 41735 126612 | 2147483647 90885 172 | 0.000 % |
56.14/56.22 c | 91843 | 9763 41735 126612 | 2147483647 91843 172 | 0.000 % |
57.05/57.11 c | 92898 | 9763 41735 126612 | 2147483647 92898 173 | 0.000 % |
57.05/57.20 c | 92998 | 9763 41735 126612 | 2147483647 92998 173 | 0.000 % |
57.24/57.32 c | 93110 | 9763 41735 126612 | 2147483647 93110 173 | 0.000 % |
57.34/57.43 c | 93231 | 9763 41735 126612 | 2147483647 93231 173 | 0.000 % |
57.44/57.56 c | 93366 | 9763 41735 126612 | 2147483647 93366 173 | 0.000 % |
57.54/57.69 c | 93512 | 9763 41735 126612 | 2147483647 93512 173 | 0.000 % |
57.74/57.85 c | 93672 | 9763 41735 126612 | 2147483647 93672 172 | 0.000 % |
57.94/58.02 c | 93848 | 9763 41735 126612 | 2147483647 93848 172 | 0.000 % |
58.14/58.21 c | 94041 | 9763 41735 126612 | 2147483647 94041 172 | 0.000 % |
58.34/58.42 c | 94253 | 9763 41735 126612 | 2147483647 94253 172 | 0.000 % |
58.55/58.64 c | 94486 | 9763 41735 126612 | 2147483647 94486 173 | 0.000 % |
58.75/58.89 c | 94742 | 9763 41735 126612 | 2147483647 94742 172 | 0.000 % |
59.05/59.15 c | 95024 | 9763 41735 126612 | 2147483647 95024 172 | 0.000 % |
59.35/59.46 c | 95334 | 9763 41735 126612 | 2147483647 95334 172 | 0.000 % |
59.64/59.77 c | 95673 | 9763 41735 126612 | 2147483647 95673 173 | 0.000 % |
59.94/60.09 c | 96046 | 9763 41735 126612 | 2147483647 96046 173 | 0.000 % |
60.35/60.46 c | 96455 | 9763 41735 126612 | 2147483647 96455 173 | 0.000 % |
60.74/60.87 c | 96904 | 9763 41735 126612 | 2147483647 96904 173 | 0.000 % |
61.24/61.34 c | 97397 | 9763 41735 126612 | 2147483647 97397 173 | 0.000 % |
61.74/61.83 c | 97939 | 9763 41735 126612 | 2147483647 97939 173 | 0.000 % |
62.24/62.36 c | 98535 | 9763 41735 126612 | 2147483647 98535 173 | 0.000 % |
62.84/62.98 c | 99191 | 9763 41735 126612 | 2147483647 99191 173 | 0.000 % |
63.54/63.62 c | 99913 | 9763 41735 126612 | 2147483647 99913 173 | 0.000 % |
64.24/64.38 c | 100707 | 9763 41735 126612 | 2147483647 100707 174 | 0.000 % |
65.04/65.16 c | 101580 | 9763 41735 126612 | 2147483647 101580 174 | 0.000 % |
65.94/66.06 c | 102538 | 9763 41735 126612 | 2147483647 102538 174 | 0.000 % |
66.84/66.99 c | 103592 | 9763 41735 126612 | 2147483647 103592 174 | 0.000 % |
67.94/68.03 c | 104751 | 9763 41735 126612 | 2147483647 104751 174 | 0.000 % |
68.04/68.15 c | 104852 | 9763 41735 126612 | 2147483647 104852 174 | 0.000 % |
68.14/68.28 c | 104962 | 9763 41735 126612 | 2147483647 104962 174 | 0.000 % |
68.33/68.42 c | 105083 | 9763 41735 126612 | 2147483647 105083 174 | 0.000 % |
68.43/68.56 c | 105218 | 9763 41735 126612 | 2147483647 105218 174 | 0.000 % |
68.53/68.69 c | 105365 | 9763 41735 126612 | 2147483647 105365 174 | 0.000 % |
68.73/68.87 c | 105527 | 9763 41735 126612 | 2147483647 105527 174 | 0.000 % |
68.93/69.08 c | 105703 | 9763 41735 126612 | 2147483647 105703 174 | 0.000 % |
69.14/69.27 c | 105897 | 9763 41735 126612 | 2147483647 105897 174 | 0.000 % |
69.43/69.50 c | 106109 | 9763 41735 126612 | 2147483647 106109 174 | 0.000 % |
69.63/69.75 c | 106343 | 9763 41735 126612 | 2147483647 106343 174 | 0.000 % |
69.83/70.00 c | 106599 | 9763 41735 126612 | 2147483647 106599 174 | 0.000 % |
70.13/70.30 c | 106881 | 9763 41735 126612 | 2147483647 106881 174 | 0.000 % |
70.53/70.60 c | 107190 | 9763 41735 126612 | 2147483647 107190 174 | 0.000 % |
70.83/70.96 c | 107530 | 9763 41735 126612 | 2147483647 107530 174 | 0.000 % |
71.23/71.37 c | 107902 | 9763 41735 126612 | 2147483647 107902 174 | 0.000 % |
71.63/71.76 c | 108314 | 9763 41735 126612 | 2147483647 108314 174 | 0.000 % |
72.03/72.17 c | 108763 | 9763 41735 126612 | 2147483647 108763 174 | 0.000 % |
72.53/72.65 c | 109258 | 9763 41735 126612 | 2147483647 109258 174 | 0.000 % |
73.13/73.20 c | 109800 | 9763 41735 126612 | 2147483647 109800 174 | 0.000 % |
73.74/73.80 c | 110399 | 9763 41735 126612 | 2147483647 110399 174 | 0.000 % |
74.33/74.44 c | 111056 | 9763 41735 126612 | 2147483647 111056 174 | 0.000 % |
75.03/75.17 c | 111777 | 9763 41735 126612 | 2147483647 111777 174 | 0.000 % |
75.74/75.88 c | 112569 | 9763 41735 126612 | 2147483647 112569 174 | 0.000 % |
76.63/76.72 c | 113442 | 9763 41735 126612 | 2147483647 113442 174 | 0.000 % |
77.53/77.68 c | 114401 | 9763 41735 126612 | 2147483647 114401 174 | 0.000 % |
78.53/78.62 c | 115455 | 9763 41735 126612 | 2147483647 115455 175 | 0.000 % |
79.53/79.69 c | 116614 | 9763 41735 126612 | 2147483647 116614 175 | 0.000 % |
80.73/80.87 c | 117887 | 9763 41735 126612 | 2147483647 117887 175 | 0.000 % |
80.83/80.99 c | 117987 | 9763 41735 126612 | 2147483647 117987 175 | 0.000 % |
81.03/81.12 c | 118097 | 9763 41735 126612 | 2147483647 118097 175 | 0.000 % |
81.13/81.28 c | 118218 | 9763 41735 126612 | 2147483647 118218 175 | 0.000 % |
81.33/81.43 c | 118351 | 9763 41735 126612 | 2147483647 118351 175 | 0.000 % |
81.43/81.58 c | 118497 | 9763 41735 126612 | 2147483647 118497 175 | 0.000 % |
81.63/81.77 c | 118657 | 9763 41735 126612 | 2147483647 118657 175 | 0.000 % |
81.83/81.96 c | 118836 | 9763 41735 126612 | 2147483647 118836 175 | 0.000 % |
82.03/82.19 c | 119029 | 9763 41735 126612 | 2147483647 119029 175 | 0.000 % |
82.33/82.46 c | 119241 | 9763 41735 126612 | 2147483647 119241 175 | 0.000 % |
82.63/82.72 c | 119474 | 9763 41735 126612 | 2147483647 119474 175 | 0.000 % |
82.93/83.00 c | 119730 | 9763 41735 126612 | 2147483647 119730 175 | 0.000 % |
83.13/83.28 c | 120011 | 9763 41735 126612 | 2147483647 120011 175 | 0.000 % |
83.54/83.60 c | 120320 | 9763 41735 126612 | 2147483647 120320 175 | 0.000 % |
83.83/83.99 c | 120661 | 9763 41735 126612 | 2147483647 120661 175 | 0.000 % |
84.23/84.37 c | 121033 | 9763 41735 126612 | 2147483647 121033 175 | 0.000 % |
84.73/84.82 c | 121443 | 9763 41735 126612 | 2147483647 121443 175 | 0.000 % |
85.23/85.32 c | 121894 | 9763 41735 126612 | 2147483647 121894 175 | 0.000 % |
85.73/85.87 c | 122388 | 9763 41735 126612 | 2147483647 122388 175 | 0.000 % |
86.33/86.42 c | 122930 | 9763 41735 126612 | 2147483647 122930 175 | 0.000 % |
86.93/87.00 c | 123528 | 9763 41735 126612 | 2147483647 123528 175 | 0.000 % |
87.63/87.71 c | 124183 | 9763 41735 126612 | 2147483647 124183 175 | 0.000 % |
88.32/88.49 c | 124904 | 9763 41735 126612 | 2147483647 124904 175 | 0.000 % |
89.22/89.31 c | 125696 | 9763 41735 126612 | 2147483647 125696 175 | 0.000 % |
90.04/90.19 c | 126567 | 9763 41735 126612 | 2147483647 126567 175 | 0.000 % |
91.03/91.19 c | 127527 | 9763 41735 126612 | 2147483647 127527 176 | 0.000 % |
92.13/92.30 c | 128580 | 9763 41735 126612 | 2147483647 128580 176 | 0.000 % |
93.43/93.52 c | 129739 | 9763 41735 126612 | 2147483647 129739 176 | 0.000 % |
94.63/94.75 c | 131012 | 9763 41735 126612 | 2147483647 131012 176 | 0.000 % |
96.13/96.23 c | 132414 | 9763 41735 126612 | 2147483647 132414 176 | 0.000 % |
96.23/96.36 c | 132514 | 9763 41735 126612 | 2147483647 132514 176 | 0.000 % |
96.43/96.54 c | 132625 | 9763 41735 126612 | 2147483647 132625 176 | 0.000 % |
96.53/96.70 c | 132746 | 9763 41735 126612 | 2147483647 132746 176 | 0.000 % |
96.73/96.86 c | 132880 | 9763 41735 126612 | 2147483647 132880 176 | 0.000 % |
96.93/97.04 c | 133026 | 9763 41735 126612 | 2147483647 133026 176 | 0.000 % |
97.13/97.25 c | 133190 | 9763 41735 126612 | 2147483647 133190 176 | 0.000 % |
97.33/97.46 c | 133367 | 9763 41735 126612 | 2147483647 133367 176 | 0.000 % |
97.63/97.70 c | 133560 | 9763 41735 126612 | 2147483647 133560 176 | 0.000 % |
97.83/97.96 c | 133773 | 9763 41735 126612 | 2147483647 133773 176 | 0.000 % |
98.12/98.26 c | 134007 | 9763 41735 126612 | 2147483647 134007 176 | 0.000 % |
98.42/98.56 c | 134265 | 9763 41735 126612 | 2147483647 134265 176 | 0.000 % |
98.72/98.88 c | 134548 | 9763 41735 126612 | 2147483647 134548 176 | 0.000 % |
99.12/99.25 c | 134857 | 9763 41735 126612 | 2147483647 134857 176 | 0.000 % |
99.53/99.64 c | 135197 | 9763 41735 126612 | 2147483647 135197 176 | 0.000 % |
99.93/100.07 c | 135569 | 9763 41735 126612 | 2147483647 135569 176 | 0.000 % |
100.43/100.55 c | 135982 | 9763 41735 126612 | 2147483647 135982 176 | 0.000 % |
100.92/101.01 c | 136434 | 9763 41735 126612 | 2147483647 136434 176 | 0.000 % |
101.52/101.60 c | 136927 | 9763 41735 126612 | 2147483647 136927 176 | 0.000 % |
102.02/102.19 c | 137469 | 9763 41735 126612 | 2147483647 137469 176 | 0.000 % |
102.72/102.89 c | 138066 | 9763 41735 126612 | 2147483647 138066 176 | 0.000 % |
103.62/103.70 c | 138722 | 9763 41735 126612 | 2147483647 138722 176 | 0.000 % |
104.43/104.50 c | 139442 | 9763 41735 126612 | 2147483647 139442 176 | 0.000 % |
105.23/105.38 c | 140234 | 9763 41735 126612 | 2147483647 140234 176 | 0.000 % |
106.32/106.42 c | 141105 | 9763 41735 126612 | 2147483647 141105 176 | 0.000 % |
107.22/107.35 c | 142063 | 9763 41735 126612 | 2147483647 142063 176 | 0.000 % |
108.52/108.60 c | 143117 | 9763 41735 126612 | 2147483647 143117 177 | 0.000 % |
109.83/109.95 c | 144275 | 9763 41735 126612 | 2147483647 144275 177 | 0.000 % |
111.22/111.38 c | 145548 | 9763 41735 126612 | 2147483647 145548 177 | 0.000 % |
112.92/113.07 c | 146950 | 9763 41735 126612 | 2147483647 146950 177 | 0.000 % |
114.62/114.79 c | 148492 | 9763 41735 126612 | 2147483647 148492 177 | 0.000 % |
114.81/114.93 c | 148592 | 9763 41735 126612 | 2147483647 148592 177 | 0.000 % |
114.91/115.09 c | 148703 | 9763 41735 126612 | 2147483647 148703 177 | 0.000 % |
115.11/115.27 c | 148826 | 9763 41735 126612 | 2147483647 148826 177 | 0.000 % |
115.32/115.48 c | 148959 | 9763 41735 126612 | 2147483647 148959 177 | 0.000 % |
115.51/115.67 c | 149106 | 9763 41735 126612 | 2147483647 149106 177 | 0.000 % |
115.72/115.88 c | 149267 | 9763 41735 126612 | 2147483647 149267 177 | 0.000 % |
116.02/116.12 c | 149443 | 9763 41735 126612 | 2147483647 149443 177 | 0.000 % |
116.22/116.38 c | 149636 | 9763 41735 126612 | 2147483647 149636 177 | 0.000 % |
116.52/116.66 c | 149849 | 9763 41735 126612 | 2147483647 149849 177 | 0.000 % |
116.82/116.98 c | 150083 | 9763 41735 126612 | 2147483647 150083 177 | 0.000 % |
117.22/117.33 c | 150341 | 9763 41735 126612 | 2147483647 150341 177 | 0.000 % |
117.62/117.75 c | 150624 | 9763 41735 126612 | 2147483647 150624 177 | 0.000 % |
118.02/118.15 c | 150933 | 9763 41735 126612 | 2147483647 150933 177 | 0.000 % |
118.42/118.58 c | 151273 | 9763 41735 126612 | 2147483647 151273 177 | 0.000 % |
118.92/119.01 c | 151645 | 9763 41735 126612 | 2147483647 151645 177 | 0.000 % |
119.42/119.53 c | 152054 | 9763 41735 126612 | 2147483647 152054 177 | 0.000 % |
120.01/120.15 c | 152505 | 9763 41735 126612 | 2147483647 152505 177 | 0.000 % |
120.62/120.75 c | 152999 | 9763 41735 126612 | 2147483647 152999 177 | 0.000 % |
121.31/121.41 c | 153541 | 9763 41735 126612 | 2147483647 153541 177 | 0.000 % |
122.02/122.15 c | 154140 | 9763 41735 126612 | 2147483647 154140 177 | 0.000 % |
122.92/123.00 c | 154795 | 9763 41735 126612 | 2147483647 154795 177 | 0.000 % |
123.72/123.84 c | 155516 | 9763 41735 126612 | 2147483647 155516 177 | 0.000 % |
124.71/124.83 c | 156309 | 9763 41735 126612 | 2147483647 156309 177 | 0.000 % |
125.81/125.93 c | 157180 | 9763 41735 126612 | 2147483647 157180 177 | 0.000 % |
127.01/127.10 c | 158139 | 9763 41735 126612 | 2147483647 158139 177 | 0.000 % |
128.21/128.30 c | 159192 | 9763 41735 126612 | 2147483647 159192 177 | 0.000 % |
129.52/129.70 c | 160350 | 9763 41735 126612 | 2147483647 160350 177 | 0.000 % |
131.11/131.27 c | 161623 | 9763 41735 126612 | 2147483647 161623 178 | 0.000 % |
132.91/133.10 c | 163024 | 9763 41735 126612 | 2147483647 163024 178 | 0.000 % |
134.91/135.01 c | 164564 | 9763 41735 126612 | 2147483647 164564 178 | 0.000 % |
137.01/137.13 c | 166258 | 9763 41735 126612 | 2147483647 166258 178 | 0.000 % |
137.11/137.26 c | 166358 | 9763 41735 126612 | 2147483647 166358 178 | 0.000 % |
137.31/137.43 c | 166468 | 9763 41735 126612 | 2147483647 166468 178 | 0.000 % |
137.41/137.59 c | 166591 | 9763 41735 126612 | 2147483647 166591 178 | 0.000 % |
137.71/137.81 c | 166724 | 9763 41735 126612 | 2147483647 166724 178 | 0.000 % |
137.91/138.03 c | 166871 | 9763 41735 126612 | 2147483647 166871 178 | 0.000 % |
138.11/138.27 c | 167031 | 9763 41735 126612 | 2147483647 167031 178 | 0.000 % |
138.41/138.57 c | 167208 | 9763 41735 126612 | 2147483647 167208 178 | 0.000 % |
138.71/138.84 c | 167404 | 9763 41735 126612 | 2147483647 167404 178 | 0.000 % |
139.01/139.14 c | 167616 | 9763 41735 126612 | 2147483647 167616 178 | 0.000 % |
139.31/139.47 c | 167850 | 9763 41735 126612 | 2147483647 167850 178 | 0.000 % |
139.71/139.84 c | 168108 | 9763 41735 126612 | 2147483647 168108 178 | 0.000 % |
140.11/140.21 c | 168390 | 9763 41735 126612 | 2147483647 168390 178 | 0.000 % |
140.50/140.60 c | 168701 | 9763 41735 126612 | 2147483647 168701 178 | 0.000 % |
140.90/141.08 c | 169040 | 9763 41735 126612 | 2147483647 169040 178 | 0.000 % |
141.51/141.62 c | 169412 | 9763 41735 126612 | 2147483647 169412 178 | 0.000 % |
142.11/142.24 c | 169821 | 9763 41735 126612 | 2147483647 169821 178 | 0.000 % |
142.71/142.85 c | 170271 | 9763 41735 126612 | 2147483647 170271 178 | 0.000 % |
143.40/143.51 c | 170765 | 9763 41735 126612 | 2147483647 170765 178 | 0.000 % |
144.11/144.23 c | 171310 | 9763 41735 126612 | 2147483647 171310 178 | 0.000 % |
144.81/144.99 c | 171906 | 9763 41735 126612 | 2147483647 171906 178 | 0.000 % |
145.61/145.79 c | 172561 | 9763 41735 126612 | 2147483647 172561 178 | 0.000 % |
146.60/146.74 c | 173281 | 9763 41735 126612 | 2147483647 173281 178 | 0.000 % |
147.70/147.83 c | 174073 | 9763 41735 126612 | 2147483647 174073 178 | 0.000 % |
148.80/148.99 c | 174946 | 9763 41735 126612 | 2147483647 174946 179 | 0.000 % |
150.01/150.17 c | 175904 | 9763 41735 126612 | 2147483647 175904 179 | 0.000 % |
151.41/151.55 c | 176957 | 9763 41735 126612 | 2147483647 176957 179 | 0.000 % |
152.81/152.99 c | 178116 | 9763 41735 126612 | 2147483647 178116 179 | 0.000 % |
154.40/154.51 c | 179389 | 9763 41735 126612 | 2147483647 179389 179 | 0.000 % |
156.20/156.37 c | 180790 | 9763 41735 126612 | 2147483647 180790 179 | 0.000 % |
158.21/158.40 c | 182330 | 9763 41735 126612 | 2147483647 182330 179 | 0.000 % |
160.50/160.66 c | 184025 | 9763 41735 126612 | 2147483647 184025 180 | 0.000 % |
163.10/163.21 c | 185889 | 9763 41735 126612 | 2147483647 185889 180 | 0.000 % |
163.20/163.40 c | 185991 | 9763 41735 126612 | 2147483647 185991 180 | 0.000 % |
163.50/163.60 c | 186101 | 9763 41735 126612 | 2147483647 186101 180 | 0.000 % |
163.71/163.80 c | 186222 | 9763 41735 126612 | 2147483647 186222 180 | 0.000 % |
163.90/164.03 c | 186355 | 9763 41735 126612 | 2147483647 186355 180 | 0.000 % |
164.10/164.28 c | 186501 | 9763 41735 126612 | 2147483647 186501 180 | 0.000 % |
164.40/164.55 c | 186661 | 9763 41735 126612 | 2147483647 186661 180 | 0.000 % |
164.70/164.82 c | 186837 | 9763 41735 126612 | 2147483647 186837 180 | 0.000 % |
164.90/165.09 c | 187030 | 9763 41735 126612 | 2147483647 187030 180 | 0.000 % |
165.29/165.42 c | 187242 | 9763 41735 126612 | 2147483647 187242 180 | 0.000 % |
165.60/165.75 c | 187475 | 9763 41735 126612 | 2147483647 187475 180 | 0.000 % |
166.01/166.16 c | 187731 | 9763 41735 126612 | 2147483647 187731 180 | 0.000 % |
166.40/166.58 c | 188012 | 9763 41735 126612 | 2147483647 188012 180 | 0.000 % |
166.90/167.07 c | 188323 | 9763 41735 126612 | 2147483647 188323 180 | 0.000 % |
167.40/167.55 c | 188663 | 9763 41735 126612 | 2147483647 188663 180 | 0.000 % |
167.90/168.10 c | 189037 | 9763 41735 126612 | 2147483647 189037 180 | 0.000 % |
168.50/168.70 c | 189446 | 9763 41735 126612 | 2147483647 189446 180 | 0.000 % |
169.20/169.35 c | 189895 | 9763 41735 126612 | 2147483647 189895 180 | 0.000 % |
169.89/170.09 c | 190389 | 9763 41735 126612 | 2147483647 190389 180 | 0.000 % |
170.69/170.85 c | 190931 | 9763 41735 126612 | 2147483647 190931 180 | 0.000 % |
171.60/171.71 c | 191527 | 9763 41735 126612 | 2147483647 191527 180 | 0.000 % |
172.40/172.60 c | 192182 | 9763 41735 126612 | 2147483647 192182 180 | 0.000 % |
173.49/173.60 c | 192902 | 9763 41735 126612 | 2147483647 192902 180 | 0.000 % |
174.59/174.75 c | 193694 | 9763 41735 126612 | 2147483647 193694 180 | 0.000 % |
175.90/176.00 c | 194565 | 9763 41735 126612 | 2147483647 194565 180 | 0.000 % |
177.19/177.39 c | 195525 | 9763 41735 126612 | 2147483647 195525 180 | 0.000 % |
178.70/178.89 c | 196581 | 9763 41735 126612 | 2147483647 196581 180 | 0.000 % |
180.50/180.61 c | 197739 | 9763 41735 126612 | 2147483647 197739 180 | 0.000 % |
182.19/182.37 c | 199013 | 9763 41735 126612 | 2147483647 199013 180 | 0.000 % |
184.30/184.43 c | 200413 | 9763 41735 126612 | 2147483647 200413 180 | 0.000 % |
186.39/186.50 c | 201953 | 9763 41735 126612 | 2147483647 201953 180 | 0.000 % |
188.69/188.87 c | 203647 | 9763 41735 126612 | 2147483647 203647 181 | 0.000 % |
191.09/191.27 c | 205510 | 9763 41735 126612 | 2147483647 205510 181 | 0.000 % |
193.99/194.14 c | 207559 | 9763 41735 126612 | 2147483647 207559 182 | 0.000 % |
194.19/194.33 c | 207661 | 9763 41735 126612 | 2147483647 207661 182 | 0.000 % |
194.39/194.54 c | 207771 | 9763 41735 126612 | 2147483647 207771 182 | 0.000 % |
194.60/194.74 c | 207893 | 9763 41735 126612 | 2147483647 207893 182 | 0.000 % |
194.79/194.98 c | 208026 | 9763 41735 126612 | 2147483647 208026 182 | 0.000 % |
195.09/195.23 c | 208173 | 9763 41735 126612 | 2147483647 208173 182 | 0.000 % |
195.39/195.53 c | 208333 | 9763 41735 126612 | 2147483647 208333 182 | 0.000 % |
195.69/195.85 c | 208511 | 9763 41735 126612 | 2147483647 208511 182 | 0.000 % |
196.09/196.20 c | 208704 | 9763 41735 126612 | 2147483647 208704 182 | 0.000 % |
196.39/196.55 c | 208917 | 9763 41735 126612 | 2147483647 208917 182 | 0.000 % |
196.79/196.94 c | 209151 | 9763 41735 126612 | 2147483647 209151 181 | 0.000 % |
197.18/197.39 c | 209408 | 9763 41735 126612 | 2147483647 209408 181 | 0.000 % |
197.69/197.84 c | 209689 | 9763 41735 126612 | 2147483647 209689 181 | 0.000 % |
198.09/198.30 c | 209998 | 9763 41735 126612 | 2147483647 209998 181 | 0.000 % |
198.69/198.85 c | 210337 | 9763 41735 126612 | 2147483647 210337 181 | 0.000 % |
199.29/199.46 c | 210710 | 9763 41735 126612 | 2147483647 210710 181 | 0.000 % |
199.89/200.09 c | 211121 | 9763 41735 126612 | 2147483647 211121 181 | 0.000 % |
200.69/200.80 c | 211570 | 9763 41735 126612 | 2147483647 211570 181 | 0.000 % |
201.49/201.62 c | 212065 | 9763 41735 126612 | 2147483647 212065 181 | 0.000 % |
202.29/202.45 c | 212608 | 9763 41735 126612 | 2147483647 212608 181 | 0.000 % |
203.18/203.39 c | 213206 | 9763 41735 126612 | 2147483647 213206 181 | 0.000 % |
204.29/204.41 c | 213861 | 9763 41735 126612 | 2147483647 213861 181 | 0.000 % |
205.39/205.52 c | 214581 | 9763 41735 126612 | 2147483647 214581 181 | 0.000 % |
206.59/206.75 c | 215374 | 9763 41735 126612 | 2147483647 215374 182 | 0.000 % |
207.89/208.03 c | 216245 | 9763 41735 126612 | 2147483647 216245 182 | 0.000 % |
209.29/209.47 c | 217203 | 9763 41735 126612 | 2147483647 217203 182 | 0.000 % |
210.88/211.02 c | 218256 | 9763 41735 126612 | 2147483647 218256 182 | 0.000 % |
212.48/212.67 c | 219414 | 9763 41735 126612 | 2147483647 219414 182 | 0.000 % |
214.49/214.62 c | 220688 | 9763 41735 126612 | 2147483647 220688 182 | 0.000 % |
216.59/216.80 c | 222088 | 9763 41735 126612 | 2147483647 222088 182 | 0.000 % |
219.28/219.42 c | 223628 | 9763 41735 126612 | 2147483647 223628 183 | 0.000 % |
221.88/222.01 c | 225322 | 9763 41735 126612 | 2147483647 225322 183 | 0.000 % |
224.78/224.95 c | 227185 | 9763 41735 126612 | 2147483647 227185 183 | 0.000 % |
228.08/228.24 c | 229236 | 9763 41735 126612 | 2147483647 229236 183 | 0.000 % |
231.28/231.46 c | 231489 | 9763 41735 126612 | 2147483647 231489 183 | 0.000 % |
231.48/231.65 c | 231591 | 9763 41735 126612 | 2147483647 231591 183 | 0.000 % |
231.68/231.89 c | 231701 | 9763 41735 126612 | 2147483647 231701 183 | 0.000 % |
231.98/232.11 c | 231822 | 9763 41735 126612 | 2147483647 231822 183 | 0.000 % |
232.18/232.36 c | 231955 | 9763 41735 126612 | 2147483647 231955 183 | 0.000 % |
232.48/232.65 c | 232101 | 9763 41735 126612 | 2147483647 232101 183 | 0.000 % |
232.78/232.94 c | 232264 | 9763 41735 126612 | 2147483647 232264 183 | 0.000 % |
233.08/233.25 c | 232441 | 9763 41735 126612 | 2147483647 232441 183 | 0.000 % |
233.48/233.62 c | 232635 | 9763 41735 126612 | 2147483647 232635 183 | 0.000 % |
233.88/234.03 c | 232849 | 9763 41735 126612 | 2147483647 232849 183 | 0.000 % |
234.28/234.49 c | 233084 | 9763 41735 126612 | 2147483647 233084 183 | 0.000 % |
234.78/234.98 c | 233342 | 9763 41735 126612 | 2147483647 233342 183 | 0.000 % |
235.28/235.50 c | 233624 | 9763 41735 126612 | 2147483647 233624 183 | 0.000 % |
235.78/236.00 c | 233934 | 9763 41735 126612 | 2147483647 233934 183 | 0.000 % |
236.38/236.55 c | 234275 | 9763 41735 126612 | 2147483647 234275 183 | 0.000 % |
236.97/237.18 c | 234650 | 9763 41735 126612 | 2147483647 234650 183 | 0.000 % |
237.67/237.87 c | 235060 | 9763 41735 126612 | 2147483647 235060 183 | 0.000 % |
238.58/238.75 c | 235510 | 9763 41735 126612 | 2147483647 235510 183 | 0.000 % |
239.48/239.61 c | 236004 | 9763 41735 126612 | 2147483647 236004 183 | 0.000 % |
240.38/240.55 c | 236547 | 9763 41735 126612 | 2147483647 236547 183 | 0.000 % |
241.37/241.58 c | 237143 | 9763 41735 126612 | 2147483647 237143 183 | 0.000 % |
242.47/242.69 c | 237799 | 9763 41735 126612 | 2147483647 237799 183 | 0.000 % |
243.77/243.98 c | 238520 | 9763 41735 126612 | 2147483647 238520 183 | 0.000 % |
245.17/245.39 c | 239312 | 9763 41735 126612 | 2147483647 239312 183 | 0.000 % |
246.67/246.80 c | 240185 | 9763 41735 126612 | 2147483647 240185 183 | 0.000 % |
248.17/248.31 c | 241143 | 9763 41735 126612 | 2147483647 241143 183 | 0.000 % |
249.87/250.03 c | 242197 | 9763 41735 126612 | 2147483647 242197 183 | 0.000 % |
251.77/251.90 c | 243358 | 9763 41735 126612 | 2147483647 243358 184 | 0.000 % |
253.67/253.85 c | 244631 | 9763 41735 126612 | 2147483647 244631 184 | 0.000 % |
255.97/256.13 c | 246032 | 9763 41735 126612 | 2147483647 246032 184 | 0.000 % |
258.67/258.83 c | 247574 | 9763 41735 126612 | 2147483647 247574 184 | 0.000 % |
261.46/261.62 c | 249269 | 9763 41735 126612 | 2147483647 249269 184 | 0.000 % |
264.47/264.68 c | 251135 | 9763 41735 126612 | 2147483647 251135 184 | 0.000 % |
268.06/268.24 c | 253186 | 9763 41735 126612 | 2147483647 253186 185 | 0.000 % |
271.67/271.80 c | 255440 | 9763 41735 126612 | 2147483647 255440 185 | 0.000 % |
275.56/275.78 c | 257918 | 9763 41735 126612 | 2147483647 257918 185 | 0.000 % |
275.86/276.03 c | 258018 | 9763 41735 126612 | 2147483647 258018 185 | 0.000 % |
276.16/276.30 c | 258128 | 9763 41735 126612 | 2147483647 258128 185 | 0.000 % |
276.36/276.57 c | 258249 | 9763 41735 126612 | 2147483647 258249 185 | 0.000 % |
276.66/276.83 c | 258382 | 9763 41735 126612 | 2147483647 258382 185 | 0.000 % |
276.96/277.15 c | 258528 | 9763 41735 126612 | 2147483647 258528 185 | 0.000 % |
277.36/277.52 c | 258688 | 9763 41735 126612 | 2147483647 258688 185 | 0.000 % |
277.76/277.92 c | 258865 | 9763 41735 126612 | 2147483647 258865 185 | 0.000 % |
278.16/278.32 c | 259059 | 9763 41735 126612 | 2147483647 259059 185 | 0.000 % |
278.57/278.78 c | 259271 | 9763 41735 126612 | 2147483647 259271 185 | 0.000 % |
279.07/279.24 c | 259507 | 9763 41735 126612 | 2147483647 259507 185 | 0.000 % |
279.56/279.76 c | 259764 | 9763 41735 126612 | 2147483647 259764 185 | 0.000 % |
280.16/280.32 c | 260045 | 9763 41735 126612 | 2147483647 260045 185 | 0.000 % |
280.76/280.91 c | 260356 | 9763 41735 126612 | 2147483647 260356 185 | 0.000 % |
281.37/281.53 c | 260697 | 9763 41735 126612 | 2147483647 260697 185 | 0.000 % |
282.06/282.25 c | 261069 | 9763 41735 126612 | 2147483647 261069 185 | 0.000 % |
282.86/283.05 c | 261479 | 9763 41735 126612 | 2147483647 261479 185 | 0.000 % |
283.66/283.88 c | 261929 | 9763 41735 126612 | 2147483647 261929 185 | 0.000 % |
284.56/284.79 c | 262422 | 9763 41735 126612 | 2147483647 262422 185 | 0.000 % |
285.76/285.97 c | 262965 | 9763 41735 126612 | 2147483647 262965 185 | 0.000 % |
286.87/287.08 c | 263561 | 9763 41735 126612 | 2147483647 263561 185 | 0.000 % |
288.16/288.37 c | 264217 | 9763 41735 126612 | 2147483647 264217 185 | 0.000 % |
289.46/289.65 c | 264937 | 9763 41735 126612 | 2147483647 264937 185 | 0.000 % |
290.86/291.05 c | 265729 | 9763 41735 126612 | 2147483647 265729 185 | 0.000 % |
292.26/292.49 c | 266601 | 9763 41735 126612 | 2147483647 266601 185 | 0.000 % |
294.06/294.22 c | 267560 | 9763 41735 126612 | 2147483647 267560 185 | 0.000 % |
296.05/296.25 c | 268617 | 9763 41735 126612 | 2147483647 268617 185 | 0.000 % |
298.06/298.23 c | 269775 | 9763 41735 126612 | 2147483647 269775 185 | 0.000 % |
300.26/300.44 c | 271048 | 9763 41735 126612 | 2147483647 271048 185 | 0.000 % |
302.86/303.07 c | 272449 | 9763 41735 126612 | 2147483647 272449 185 | 0.000 % |
305.56/305.71 c | 273989 | 9763 41735 126612 | 2147483647 273989 185 | 0.000 % |
308.56/308.70 c | 275685 | 9763 41735 126612 | 2147483647 275685 185 | 0.000 % |
311.75/311.96 c | 277548 | 9763 41735 126612 | 2147483647 277548 185 | 0.000 % |
315.56/315.74 c | 279597 | 9763 41735 126612 | 2147483647 279597 186 | 0.000 % |
319.85/320.01 c | 281850 | 9763 41735 126612 | 2147483647 281850 186 | 0.000 % |
324.05/324.22 c | 284329 | 9763 41735 126612 | 2147483647 284329 186 | 0.000 % |
328.75/328.98 c | 287054 | 9763 41735 126612 | 2147483647 287054 186 | 0.000 % |
329.05/329.26 c | 287154 | 9763 41735 126612 | 2147483647 287154 186 | 0.000 % |
329.35/329.52 c | 287264 | 9763 41735 126612 | 2147483647 287264 186 | 0.000 % |
329.65/329.84 c | 287386 | 9763 41735 126612 | 2147483647 287386 186 | 0.000 % |
329.95/330.14 c | 287522 | 9763 41735 126612 | 2147483647 287522 186 | 0.000 % |
330.35/330.53 c | 287668 | 9763 41735 126612 | 2147483647 287668 186 | 0.000 % |
330.75/330.91 c | 287828 | 9763 41735 126612 | 2147483647 287828 186 | 0.000 % |
331.15/331.35 c | 288004 | 9763 41735 126612 | 2147483647 288004 186 | 0.000 % |
331.65/331.82 c | 288198 | 9763 41735 126612 | 2147483647 288198 186 | 0.000 % |
332.05/332.23 c | 288410 | 9763 41735 126612 | 2147483647 288410 186 | 0.000 % |
332.55/332.76 c | 288646 | 9763 41735 126612 | 2147483647 288646 186 | 0.000 % |
333.15/333.33 c | 288902 | 9763 41735 126612 | 2147483647 288902 186 | 0.000 % |
333.75/333.90 c | 289183 | 9763 41735 126612 | 2147483647 289183 186 | 0.000 % |
334.35/334.58 c | 289495 | 9763 41735 126612 | 2147483647 289495 186 | 0.000 % |
335.05/335.27 c | 289834 | 9763 41735 126612 | 2147483647 289834 186 | 0.000 % |
335.84/336.02 c | 290206 | 9763 41735 126612 | 2147483647 290206 186 | 0.000 % |
336.65/336.83 c | 290616 | 9763 41735 126612 | 2147483647 290616 186 | 0.000 % |
337.65/337.84 c | 291067 | 9763 41735 126612 | 2147483647 291067 186 | 0.000 % |
338.75/338.93 c | 291560 | 9763 41735 126612 | 2147483647 291560 186 | 0.000 % |
339.85/340.07 c | 292103 | 9763 41735 126612 | 2147483647 292103 186 | 0.000 % |
341.14/341.33 c | 292701 | 9763 41735 126612 | 2147483647 292701 186 | 0.000 % |
342.44/342.64 c | 293358 | 9763 41735 126612 | 2147483647 293358 186 | 0.000 % |
343.85/344.00 c | 294078 | 9763 41735 126612 | 2147483647 294078 186 | 0.000 % |
345.44/345.66 c | 294870 | 9763 41735 126612 | 2147483647 294870 186 | 0.000 % |
347.14/347.38 c | 295741 | 9763 41735 126612 | 2147483647 295741 186 | 0.000 % |
349.24/349.43 c | 296700 | 9763 41735 126612 | 2147483647 296700 186 | 0.000 % |
351.24/351.50 c | 297753 | 9763 41735 126612 | 2147483647 297753 186 | 0.000 % |
353.64/353.86 c | 298912 | 9763 41735 126612 | 2147483647 298912 186 | 0.000 % |
356.24/356.41 c | 300185 | 9763 41735 126612 | 2147483647 300185 186 | 0.000 % |
358.74/358.97 c | 301585 | 9763 41735 126612 | 2147483647 301585 186 | 0.000 % |
361.84/362.02 c | 303125 | 9763 41735 126612 | 2147483647 303125 186 | 0.000 % |
365.13/365.34 c | 304820 | 9763 41735 126612 | 2147483647 304820 186 | 0.000 % |
368.64/368.81 c | 306685 | 9763 41735 126612 | 2147483647 306685 186 | 0.000 % |
372.53/372.78 c | 308734 | 9763 41735 126612 | 2147483647 308734 187 | 0.000 % |
377.04/377.22 c | 310988 | 9763 41735 126612 | 2147483647 310988 187 | 0.000 % |
381.63/381.85 c | 313466 | 9763 41735 126612 | 2147483647 313466 187 | 0.000 % |
386.83/387.03 c | 316191 | 9763 41735 126612 | 2147483647 316191 187 | 0.000 % |
392.54/392.79 c | 319188 | 9763 41735 126612 | 2147483647 319188 188 | 0.000 % |
392.83/393.00 c | 319289 | 9763 41735 126612 | 2147483647 319289 188 | 0.000 % |
393.03/393.28 c | 319400 | 9763 41735 126612 | 2147483647 319400 188 | 0.000 % |
393.33/393.59 c | 319521 | 9763 41735 126612 | 2147483647 319521 188 | 0.000 % |
393.83/394.02 c | 319655 | 9763 41735 126612 | 2147483647 319655 188 | 0.000 % |
394.23/394.41 c | 319801 | 9763 41735 126612 | 2147483647 319801 187 | 0.000 % |
394.53/394.78 c | 319962 | 9763 41735 126612 | 2147483647 319962 187 | 0.000 % |
394.93/395.19 c | 320138 | 9763 41735 126612 | 2147483647 320138 187 | 0.000 % |
395.43/395.68 c | 320331 | 9763 41735 126612 | 2147483647 320331 187 | 0.000 % |
395.93/396.16 c | 320544 | 9763 41735 126612 | 2147483647 320544 187 | 0.000 % |
396.63/396.80 c | 320777 | 9763 41735 126612 | 2147483647 320777 187 | 0.000 % |
397.13/397.38 c | 321033 | 9763 41735 126612 | 2147483647 321033 187 | 0.000 % |
397.83/398.04 c | 321315 | 9763 41735 126612 | 2147483647 321315 187 | 0.000 % |
398.53/398.78 c | 321625 | 9763 41735 126612 | 2147483647 321625 187 | 0.000 % |
399.43/399.60 c | 321966 | 9763 41735 126612 | 2147483647 321966 187 | 0.000 % |
400.23/400.44 c | 322341 | 9763 41735 126612 | 2147483647 322341 187 | 0.000 % |
401.02/401.28 c | 322750 | 9763 41735 126612 | 2147483647 322750 187 | 0.000 % |
402.02/402.26 c | 323199 | 9763 41735 126612 | 2147483647 323199 187 | 0.000 % |
403.12/403.33 c | 323692 | 9763 41735 126612 | 2147483647 323692 187 | 0.000 % |
404.33/404.51 c | 324235 | 9763 41735 126612 | 2147483647 324235 187 | 0.000 % |
405.63/405.84 c | 324831 | 9763 41735 126612 | 2147483647 324831 187 | 0.000 % |
407.13/407.33 c | 325486 | 9763 41735 126612 | 2147483647 325486 187 | 0.000 % |
408.62/408.82 c | 326207 | 9763 41735 126612 | 2147483647 326207 187 | 0.000 % |
410.42/410.61 c | 327001 | 9763 41735 126612 | 2147483647 327001 187 | 0.000 % |
412.43/412.60 c | 327872 | 9763 41735 126612 | 2147483647 327872 187 | 0.000 % |
414.43/414.66 c | 328833 | 9763 41735 126612 | 2147483647 328833 187 | 0.000 % |
416.52/416.79 c | 329886 | 9763 41735 126612 | 2147483647 329886 187 | 0.000 % |
418.93/419.18 c | 331044 | 9763 41735 126612 | 2147483647 331044 187 | 0.000 % |
421.82/422.03 c | 332320 | 9763 41735 126612 | 2147483647 332320 188 | 0.000 % |
424.72/424.96 c | 333720 | 9763 41735 126612 | 2147483647 333720 188 | 0.000 % |
428.12/428.32 c | 335260 | 9763 41735 126612 | 2147483647 335260 188 | 0.000 % |
431.52/431.74 c | 336954 | 9763 41735 126612 | 2147483647 336954 188 | 0.000 % |
435.43/435.62 c | 338817 | 9763 41735 126612 | 2147483647 338817 188 | 0.000 % |
439.82/440.02 c | 340866 | 9763 41735 126612 | 2147483647 340866 188 | 0.000 % |
444.42/444.63 c | 343120 | 9763 41735 126612 | 2147483647 343120 188 | 0.000 % |
449.51/449.78 c | 345598 | 9763 41735 126612 | 2147483647 345598 188 | 0.000 % |
455.41/455.66 c | 348323 | 9763 41735 126612 | 2147483647 348323 189 | 0.000 % |
461.62/461.87 c | 351320 | 9763 41735 126612 | 2147483647 351320 189 | 0.000 % |
468.61/468.82 c | 354617 | 9763 41735 126612 | 2147483647 354617 189 | 0.000 % |
468.81/469.07 c | 354717 | 9763 41735 126612 | 2147483647 354717 189 | 0.000 % |
469.11/469.35 c | 354827 | 9763 41735 126612 | 2147483647 354827 189 | 0.000 % |
469.52/469.72 c | 354951 | 9763 41735 126612 | 2147483647 354951 189 | 0.000 % |
469.81/470.09 c | 355084 | 9763 41735 126612 | 2147483647 355084 189 | 0.000 % |
470.31/470.54 c | 355230 | 9763 41735 126612 | 2147483647 355230 189 | 0.000 % |
470.71/470.97 c | 355391 | 9763 41735 126612 | 2147483647 355391 189 | 0.000 % |
471.31/471.50 c | 355568 | 9763 41735 126612 | 2147483647 355568 189 | 0.000 % |
471.81/472.09 c | 355762 | 9763 41735 126612 | 2147483647 355762 189 | 0.000 % |
472.41/472.67 c | 355974 | 9763 41735 126612 | 2147483647 355974 189 | 0.000 % |
473.11/473.35 c | 356208 | 9763 41735 126612 | 2147483647 356208 189 | 0.000 % |
473.71/473.99 c | 356466 | 9763 41735 126612 | 2147483647 356466 189 | 0.000 % |
474.41/474.68 c | 356747 | 9763 41735 126612 | 2147483647 356747 189 | 0.000 % |
475.21/475.46 c | 357057 | 9763 41735 126612 | 2147483647 357057 189 | 0.000 % |
476.11/476.33 c | 357396 | 9763 41735 126612 | 2147483647 357396 189 | 0.000 % |
477.01/477.22 c | 357771 | 9763 41735 126612 | 2147483647 357771 189 | 0.000 % |
478.00/478.29 c | 358181 | 9763 41735 126612 | 2147483647 358181 189 | 0.000 % |
479.10/479.34 c | 358631 | 9763 41735 126612 | 2147483647 358631 189 | 0.000 % |
480.31/480.53 c | 359124 | 9763 41735 126612 | 2147483647 359124 189 | 0.000 % |
481.61/481.81 c | 359666 | 9763 41735 126612 | 2147483647 359666 189 | 0.000 % |
482.91/483.11 c | 360262 | 9763 41735 126612 | 2147483647 360262 189 | 0.000 % |
484.41/484.65 c | 360920 | 9763 41735 126612 | 2147483647 360920 189 | 0.000 % |
486.01/486.28 c | 361640 | 9763 41735 126612 | 2147483647 361640 189 | 0.000 % |
487.90/488.13 c | 362432 | 9763 41735 126612 | 2147483647 362432 189 | 0.000 % |
489.90/490.16 c | 363303 | 9763 41735 126612 | 2147483647 363303 189 | 0.000 % |
492.21/492.45 c | 364261 | 9763 41735 126612 | 2147483647 364261 189 | 0.000 % |
494.60/494.84 c | 365315 | 9763 41735 126612 | 2147483647 365315 189 | 0.000 % |
497.30/497.50 c | 366474 | 9763 41735 126612 | 2147483647 366474 189 | 0.000 % |
500.10/500.36 c | 367747 | 9763 41735 126612 | 2147483647 367747 189 | 0.000 % |
503.20/503.47 c | 369148 | 9763 41735 126612 | 2147483647 369148 189 | 0.000 % |
506.50/506.79 c | 370688 | 9763 41735 126612 | 2147483647 370688 189 | 0.000 % |
510.10/510.32 c | 372385 | 9763 41735 126612 | 2147483647 372385 190 | 0.000 % |
514.40/514.63 c | 374249 | 9763 41735 126612 | 2147483647 374249 190 | 0.000 % |
518.90/519.19 c | 376298 | 9763 41735 126612 | 2147483647 376298 190 | 0.000 % |
523.99/524.25 c | 378551 | 9763 41735 126612 | 2147483647 378551 190 | 0.000 % |
529.69/529.97 c | 381029 | 9763 41735 126612 | 2147483647 381029 190 | 0.000 % |
535.99/536.28 c | 383755 | 9763 41735 126612 | 2147483647 383755 190 | 0.000 % |
542.49/542.73 c | 386756 | 9763 41735 126612 | 2147483647 386756 190 | 0.000 % |
550.29/550.55 c | 390052 | 9763 41735 126612 | 2147483647 390052 190 | 0.000 % |
558.88/559.18 c | 393677 | 9763 41735 126612 | 2147483647 393677 191 | 0.000 % |
559.18/559.42 c | 393778 | 9763 41735 126612 | 2147483647 393778 191 | 0.000 % |
559.48/559.72 c | 393888 | 9763 41735 126612 | 2147483647 393888 191 | 0.000 % |
559.78/560.07 c | 394010 | 9763 41735 126612 | 2147483647 394010 191 | 0.000 % |
560.28/560.53 c | 394143 | 9763 41735 126612 | 2147483647 394143 191 | 0.000 % |
560.78/561.01 c | 394291 | 9763 41735 126612 | 2147483647 394291 191 | 0.000 % |
561.29/561.51 c | 394451 | 9763 41735 126612 | 2147483647 394451 191 | 0.000 % |
561.79/562.05 c | 394627 | 9763 41735 126612 | 2147483647 394627 191 | 0.000 % |
562.29/562.56 c | 394821 | 9763 41735 126612 | 2147483647 394821 191 | 0.000 % |
562.89/563.20 c | 395033 | 9763 41735 126612 | 2147483647 395033 191 | 0.000 % |
563.69/563.94 c | 395266 | 9763 41735 126612 | 2147483647 395266 191 | 0.000 % |
564.39/564.66 c | 395523 | 9763 41735 126612 | 2147483647 395523 190 | 0.000 % |
565.29/565.55 c | 395804 | 9763 41735 126612 | 2147483647 395804 190 | 0.000 % |
566.19/566.48 c | 396116 | 9763 41735 126612 | 2147483647 396116 190 | 0.000 % |
567.18/567.40 c | 396455 | 9763 41735 126612 | 2147483647 396455 190 | 0.000 % |
568.18/568.45 c | 396828 | 9763 41735 126612 | 2147483647 396828 190 | 0.000 % |
569.38/569.67 c | 397237 | 9763 41735 126612 | 2147483647 397237 190 | 0.000 % |
570.69/570.95 c | 397687 | 9763 41735 126612 | 2147483647 397687 190 | 0.000 % |
571.98/572.23 c | 398180 | 9763 41735 126612 | 2147483647 398180 190 | 0.000 % |
573.48/573.71 c | 398722 | 9763 41735 126612 | 2147483647 398722 190 | 0.000 % |
574.98/575.22 c | 399320 | 9763 41735 126612 | 2147483647 399320 190 | 0.000 % |
576.47/576.75 c | 399977 | 9763 41735 126612 | 2147483647 399977 190 | 0.000 % |
578.28/578.53 c | 400698 | 9763 41735 126612 | 2147483647 400698 190 | 0.000 % |
580.28/580.59 c | 401491 | 9763 41735 126612 | 2147483647 401491 190 | 0.000 % |
582.57/582.80 c | 402362 | 9763 41735 126612 | 2147483647 402362 190 | 0.000 % |
584.88/585.18 c | 403320 | 9763 41735 126612 | 2147483647 403320 190 | 0.000 % |
587.08/587.34 c | 404375 | 9763 41735 126612 | 2147483647 404375 191 | 0.000 % |
589.77/590.03 c | 405534 | 9763 41735 126612 | 2147483647 405534 191 | 0.000 % |
593.07/593.30 c | 406807 | 9763 41735 126612 | 2147483647 406807 191 | 0.000 % |
596.47/596.79 c | 408207 | 9763 41735 126612 | 2147483647 408207 191 | 0.000 % |
600.38/600.60 c | 409747 | 9763 41735 126612 | 2147483647 409747 191 | 0.000 % |
604.57/604.83 c | 411441 | 9763 41735 126612 | 2147483647 411441 191 | 0.000 % |
609.07/609.32 c | 413304 | 9763 41735 126612 | 2147483647 413304 191 | 0.000 % |
613.96/614.27 c | 415354 | 9763 41735 126612 | 2147483647 415354 191 | 0.000 % |
619.57/619.84 c | 417608 | 9763 41735 126612 | 2147483647 417608 191 | 0.000 % |
625.86/626.19 c | 420086 | 9763 41735 126612 | 2147483647 420086 191 | 0.000 % |
632.66/632.95 c | 422813 | 9763 41735 126612 | 2147483647 422813 191 | 0.000 % |
640.06/640.40 c | 425810 | 9763 41735 126612 | 2147483647 425810 192 | 0.000 % |
648.46/648.79 c | 429106 | 9763 41735 126612 | 2147483647 429106 192 | 0.000 % |
657.15/657.41 c | 432731 | 9763 41735 126612 | 2147483647 432731 192 | 0.000 % |
667.25/667.54 c | 436720 | 9763 41735 126612 | 2147483647 436720 193 | 0.000 % |
667.55/667.89 c | 436822 | 9763 41735 126612 | 2147483647 436822 193 | 0.000 % |
667.95/668.23 c | 436932 | 9763 41735 126612 | 2147483647 436932 193 | 0.000 % |
668.35/668.60 c | 437053 | 9763 41735 126612 | 2147483647 437053 193 | 0.000 % |
668.85/669.14 c | 437187 | 9763 41735 126612 | 2147483647 437187 193 | 0.000 % |
669.35/669.64 c | 437333 | 9763 41735 126612 | 2147483647 437333 193 | 0.000 % |
669.85/670.19 c | 437493 | 9763 41735 126612 | 2147483647 437493 193 | 0.000 % |
670.45/670.79 c | 437669 | 9763 41735 126612 | 2147483647 437669 193 | 0.000 % |
671.15/671.42 c | 437862 | 9763 41735 126612 | 2147483647 437862 193 | 0.000 % |
671.75/672.08 c | 438074 | 9763 41735 126612 | 2147483647 438074 193 | 0.000 % |
672.55/672.89 c | 438310 | 9763 41735 126612 | 2147483647 438310 193 | 0.000 % |
673.35/673.64 c | 438567 | 9763 41735 126612 | 2147483647 438567 193 | 0.000 % |
674.35/674.60 c | 438848 | 9763 41735 126612 | 2147483647 438848 193 | 0.000 % |
675.15/675.47 c | 439157 | 9763 41735 126612 | 2147483647 439157 193 | 0.000 % |
676.26/676.53 c | 439497 | 9763 41735 126612 | 2147483647 439497 193 | 0.000 % |
677.45/677.70 c | 439869 | 9763 41735 126612 | 2147483647 439869 192 | 0.000 % |
678.55/678.87 c | 440278 | 9763 41735 126612 | 2147483647 440278 192 | 0.000 % |
679.95/680.21 c | 440727 | 9763 41735 126612 | 2147483647 440727 192 | 0.000 % |
681.25/681.59 c | 441220 | 9763 41735 126612 | 2147483647 441220 192 | 0.000 % |
682.95/683.23 c | 441763 | 9763 41735 126612 | 2147483647 441763 192 | 0.000 % |
684.54/684.87 c | 442360 | 9763 41735 126612 | 2147483647 442360 192 | 0.000 % |
686.34/686.61 c | 443016 | 9763 41735 126612 | 2147483647 443016 192 | 0.000 % |
688.55/688.80 c | 443736 | 9763 41735 126612 | 2147483647 443736 192 | 0.000 % |
690.65/690.99 c | 444528 | 9763 41735 126612 | 2147483647 444528 192 | 0.000 % |
693.24/693.50 c | 445401 | 9763 41735 126612 | 2147483647 445401 192 | 0.000 % |
695.74/696.08 c | 446360 | 9763 41735 126612 | 2147483647 446360 192 | 0.000 % |
698.74/699.06 c | 447414 | 9763 41735 126612 | 2147483647 447414 192 | 0.000 % |
702.04/702.31 c | 448577 | 9763 41735 126612 | 2147483647 448577 192 | 0.000 % |
705.94/706.23 c | 449850 | 9763 41735 126612 | 2147483647 449850 193 | 0.000 % |
709.74/710.07 c | 451250 | 9763 41735 126612 | 2147483647 451250 193 | 0.000 % |
713.84/714.12 c | 452790 | 9763 41735 126612 | 2147483647 452790 193 | 0.000 % |
718.44/718.74 c | 454487 | 9763 41735 126612 | 2147483647 454487 193 | 0.000 % |
723.54/723.82 c | 456350 | 9763 41735 126612 | 2147483647 456350 193 | 0.000 % |
729.24/729.59 c | 458400 | 9763 41735 126612 | 2147483647 458400 193 | 0.000 % |
735.23/735.57 c | 460655 | 9763 41735 126612 | 2147483647 460655 193 | 0.000 % |
741.73/742.06 c | 463134 | 9763 41735 126612 | 2147483647 463134 193 | 0.000 % |
748.93/749.27 c | 465860 | 9763 41735 126612 | 2147483647 465860 193 | 0.000 % |
757.03/757.39 c | 468858 | 9763 41735 126612 | 2147483647 468858 194 | 0.000 % |
766.23/766.56 c | 472157 | 9763 41735 126612 | 2147483647 472157 194 | 0.000 % |
775.92/776.26 c | 475782 | 9763 41735 126612 | 2147483647 475782 194 | 0.000 % |
786.82/787.15 c | 479771 | 9763 41735 126612 | 2147483647 479771 195 | 0.000 % |
798.52/798.84 c | 484156 | 9763 41735 126612 | 2147483647 484156 195 | 0.000 % |
798.82/799.12 c | 484257 | 9763 41735 126612 | 2147483647 484257 195 | 0.000 % |
799.21/799.53 c | 484369 | 9763 41735 126612 | 2147483647 484369 195 | 0.000 % |
799.61/799.92 c | 484491 | 9763 41735 126612 | 2147483647 484491 195 | 0.000 % |
800.11/800.45 c | 484624 | 9763 41735 126612 | 2147483647 484624 195 | 0.000 % |
800.71/801.02 c | 484771 | 9763 41735 126612 | 2147483647 484771 195 | 0.000 % |
801.21/801.56 c | 484934 | 9763 41735 126612 | 2147483647 484934 195 | 0.000 % |
801.81/802.18 c | 485110 | 9763 41735 126612 | 2147483647 485110 195 | 0.000 % |
802.51/802.86 c | 485303 | 9763 41735 126612 | 2147483647 485303 195 | 0.000 % |
803.31/803.64 c | 485515 | 9763 41735 126612 | 2147483647 485515 195 | 0.000 % |
804.21/804.57 c | 485748 | 9763 41735 126612 | 2147483647 485748 195 | 0.000 % |
805.11/805.42 c | 486004 | 9763 41735 126612 | 2147483647 486004 195 | 0.000 % |
806.21/806.51 c | 486287 | 9763 41735 126612 | 2147483647 486287 195 | 0.000 % |
807.21/807.59 c | 486596 | 9763 41735 126612 | 2147483647 486596 195 | 0.000 % |
808.52/808.86 c | 486937 | 9763 41735 126612 | 2147483647 486937 195 | 0.000 % |
809.71/810.07 c | 487310 | 9763 41735 126612 | 2147483647 487310 195 | 0.000 % |
811.11/811.41 c | 487719 | 9763 41735 126612 | 2147483647 487719 195 | 0.000 % |
812.62/812.94 c | 488168 | 9763 41735 126612 | 2147483647 488168 195 | 0.000 % |
814.31/814.63 c | 488661 | 9763 41735 126612 | 2147483647 488661 195 | 0.000 % |
816.01/816.32 c | 489206 | 9763 41735 126612 | 2147483647 489206 195 | 0.000 % |
817.81/818.16 c | 489803 | 9763 41735 126612 | 2147483647 489803 195 | 0.000 % |
819.90/820.25 c | 490458 | 9763 41735 126612 | 2147483647 490458 194 | 0.000 % |
822.31/822.60 c | 491181 | 9763 41735 126612 | 2147483647 491181 194 | 0.000 % |
824.61/824.99 c | 491973 | 9763 41735 126612 | 2147483647 491973 194 | 0.000 % |
827.20/827.58 c | 492846 | 9763 41735 126612 | 2147483647 492846 194 | 0.000 % |
830.21/830.52 c | 493805 | 9763 41735 126612 | 2147483647 493805 195 | 0.000 % |
833.31/833.69 c | 494859 | 9763 41735 126612 | 2147483647 494859 195 | 0.000 % |
837.00/837.37 c | 496017 | 9763 41735 126612 | 2147483647 496017 194 | 0.000 % |
841.20/841.53 c | 497290 | 9763 41735 126612 | 2147483647 497290 195 | 0.000 % |
845.10/845.42 c | 498690 | 9763 41735 126612 | 2147483647 498690 195 | 0.000 % |
849.60/849.98 c | 500231 | 9763 41735 126612 | 2147483647 500231 195 | 0.000 % |
854.59/854.94 c | 501925 | 9763 41735 126612 | 2147483647 501925 195 | 0.000 % |
859.90/860.29 c | 503789 | 9763 41735 126612 | 2147483647 503789 195 | 0.000 % |
865.80/866.11 c | 505839 | 9763 41735 126612 | 2147483647 505839 195 | 0.000 % |
872.29/872.69 c | 508095 | 9763 41735 126612 | 2147483647 508095 195 | 0.000 % |
879.99/880.30 c | 510574 | 9763 41735 126612 | 2147483647 510574 195 | 0.000 % |
888.69/889.05 c | 513299 | 9763 41735 126612 | 2147483647 513299 195 | 0.000 % |
897.19/897.56 c | 516296 | 9763 41735 126612 | 2147483647 516296 195 | 0.000 % |
906.28/906.68 c | 519592 | 9763 41735 126612 | 2147483647 519592 196 | 0.000 % |
917.28/917.64 c | 523218 | 9763 41735 126612 | 2147483647 523218 196 | 0.000 % |
929.08/929.45 c | 527206 | 9763 41735 126612 | 2147483647 527206 196 | 0.000 % |
941.98/942.38 c | 531592 | 9763 41735 126612 | 2147483647 531592 196 | 0.000 % |
956.87/957.20 c | 536416 | 9763 41735 126612 | 2147483647 536416 197 | 0.000 % |
957.17/957.57 c | 536517 | 9763 41735 126612 | 2147483647 536517 197 | 0.000 % |
957.68/958.10 c | 536628 | 9763 41735 126612 | 2147483647 536628 197 | 0.000 % |
958.27/958.60 c | 536749 | 9763 41735 126612 | 2147483647 536749 197 | 0.000 % |
958.78/959.19 c | 536883 | 9763 41735 126612 | 2147483647 536883 197 | 0.000 % |
959.47/959.89 c | 537030 | 9763 41735 126612 | 2147483647 537030 197 | 0.000 % |
960.27/960.66 c | 537192 | 9763 41735 126612 | 2147483647 537192 197 | 0.000 % |
960.87/961.29 c | 537368 | 9763 41735 126612 | 2147483647 537368 197 | 0.000 % |
961.67/962.01 c | 537562 | 9763 41735 126612 | 2147483647 537562 197 | 0.000 % |
962.47/962.83 c | 537774 | 9763 41735 126612 | 2147483647 537774 197 | 0.000 % |
963.27/963.65 c | 538007 | 9763 41735 126612 | 2147483647 538007 197 | 0.000 % |
964.27/964.67 c | 538264 | 9763 41735 126612 | 2147483647 538264 197 | 0.000 % |
965.27/965.65 c | 538546 | 9763 41735 126612 | 2147483647 538546 197 | 0.000 % |
966.47/966.80 c | 538856 | 9763 41735 126612 | 2147483647 538856 197 | 0.000 % |
967.67/968.06 c | 539195 | 9763 41735 126612 | 2147483647 539195 197 | 0.000 % |
968.86/969.27 c | 539567 | 9763 41735 126612 | 2147483647 539567 197 | 0.000 % |
970.46/970.85 c | 539981 | 9763 41735 126612 | 2147483647 539981 197 | 0.000 % |
972.16/972.56 c | 540430 | 9763 41735 126612 | 2147483647 540430 196 | 0.000 % |
973.96/974.36 c | 540925 | 9763 41735 126612 | 2147483647 540925 196 | 0.000 % |
975.87/976.28 c | 541467 | 9763 41735 126612 | 2147483647 541467 196 | 0.000 % |
977.97/978.35 c | 542063 | 9763 41735 126612 | 2147483647 542063 196 | 0.000 % |
980.37/980.75 c | 542718 | 9763 41735 126612 | 2147483647 542718 196 | 0.000 % |
982.86/983.30 c | 543438 | 9763 41735 126612 | 2147483647 543438 196 | 0.000 % |
985.76/986.18 c | 544233 | 9763 41735 126612 | 2147483647 544233 196 | 0.000 % |
988.67/989.03 c | 545104 | 9763 41735 126612 | 2147483647 545104 196 | 0.000 % |
991.96/992.34 c | 546063 | 9763 41735 126612 | 2147483647 546063 196 | 0.000 % |
995.96/996.32 c | 547117 | 9763 41735 126612 | 2147483647 547117 196 | 0.000 % |
999.86/1000.22 c | 548277 | 9763 41735 126612 | 2147483647 548277 196 | 0.000 % |
1003.75/1004.18 c | 549550 | 9763 41735 126612 | 2147483647 549550 197 | 0.000 % |
1008.86/1009.20 c | 550953 | 9763 41735 126612 | 550001 550953 197 | 0.000 % |
1014.06/1014.43 c | 552494 | 9763 41735 126612 | 550001 493824 196 | 0.000 % |
1019.06/1019.50 c | 554191 | 9763 41735 126612 | 550001 495521 196 | 0.000 % |
1024.55/1024.90 c | 556054 | 9763 41735 126612 | 550001 497384 196 | 0.000 % |
1031.05/1031.46 c | 558106 | 9763 41735 126612 | 550001 499436 197 | 0.000 % |
1038.05/1038.41 c | 560359 | 9763 41735 126612 | 2147483647 501689 197 | 0.000 % |
1045.15/1045.50 c | 562837 | 9763 41735 126612 | 2147483647 504167 197 | 0.000 % |
1052.35/1052.78 c | 565563 | 9763 41735 126612 | 2147483647 506893 197 | 0.000 % |
1061.64/1062.08 c | 568561 | 9763 41735 126612 | 2147483647 509891 197 | 0.000 % |
1071.64/1072.01 c | 571858 | 9763 41735 126612 | 2147483647 513188 197 | 0.000 % |
1082.84/1083.29 c | 575483 | 9763 41735 126612 | 2147483647 516813 197 | 0.000 % |
1094.34/1094.77 c | 579471 | 9763 41735 126612 | 2147483647 520801 197 | 0.000 % |
1107.43/1107.81 c | 583856 | 9763 41735 126612 | 2147483647 525186 197 | 0.000 % |
1122.23/1122.60 c | 588681 | 9763 41735 126612 | 2147483647 530011 198 | 0.000 % |
1137.72/1138.16 c | 593986 | 9763 41735 126612 | 2147483647 535316 198 | 0.000 % |
1138.13/1138.53 c | 594086 | 9763 41735 126612 | 2147483647 535416 198 | 0.000 % |
1138.72/1139.10 c | 594198 | 9763 41735 126612 | 2147483647 535528 198 | 0.000 % |
1139.13/1139.57 c | 594322 | 9763 41735 126612 | 2147483647 535652 198 | 0.000 % |
1139.72/1140.16 c | 594455 | 9763 41735 126612 | 2147483647 535785 198 | 0.000 % |
1140.33/1140.76 c | 594604 | 9763 41735 126612 | 2147483647 535934 198 | 0.000 % |
1140.92/1141.36 c | 594764 | 9763 41735 126612 | 2147483647 536094 198 | 0.000 % |
1141.62/1142.05 c | 594940 | 9763 41735 126612 | 2147483647 536270 198 | 0.000 % |
1142.32/1142.73 c | 595133 | 9763 41735 126612 | 2147483647 536463 198 | 0.000 % |
1143.12/1143.52 c | 595345 | 9763 41735 126612 | 2147483647 536675 198 | 0.000 % |
1144.12/1144.51 c | 595579 | 9763 41735 126612 | 2147483647 536909 198 | 0.000 % |
1145.12/1145.51 c | 595835 | 9763 41735 126612 | 2147483647 537165 198 | 0.000 % |
1146.22/1146.60 c | 596117 | 9763 41735 126612 | 2147483647 537447 198 | 0.000 % |
1147.42/1147.81 c | 596427 | 9763 41735 126612 | 2147483647 537757 198 | 0.000 % |
1148.62/1149.06 c | 596768 | 9763 41735 126612 | 2147483647 538098 198 | 0.000 % |
1150.02/1150.43 c | 597140 | 9763 41735 126612 | 2147483647 538470 198 | 0.000 % |
1151.42/1151.87 c | 597550 | 9763 41735 126612 | 2147483647 538880 198 | 0.000 % |
1153.22/1153.65 c | 598002 | 9763 41735 126612 | 2147483647 539332 198 | 0.000 % |
1154.92/1155.36 c | 598496 | 9763 41735 126612 | 2147483647 539826 198 | 0.000 % |
1157.02/1157.43 c | 599038 | 9763 41735 126612 | 2147483647 540368 198 | 0.000 % |
1159.21/1159.66 c | 599634 | 9763 41735 126612 | 2147483647 540964 198 | 0.000 % |
1161.51/1161.96 c | 600289 | 9763 41735 126612 | 2147483647 541619 198 | 0.000 % |
1163.71/1164.13 c | 601009 | 9763 41735 126612 | 2147483647 542339 198 | 0.000 % |
1166.72/1167.12 c | 601802 | 9763 41735 126612 | 2147483647 543132 197 | 0.000 % |
1169.81/1170.22 c | 602673 | 9763 41735 126612 | 2147483647 544003 197 | 0.000 % |
1173.01/1173.44 c | 603631 | 9763 41735 126612 | 2147483647 544961 197 | 0.000 % |
1176.51/1176.98 c | 604684 | 9763 41735 126612 | 2147483647 546014 197 | 0.000 % |
1180.31/1180.75 c | 605843 | 9763 41735 126612 | 2147483647 547173 197 | 0.000 % |
1184.61/1185.00 c | 607116 | 9763 41735 126612 | 2147483647 548446 197 | 0.000 % |
1189.30/1189.70 c | 608517 | 9763 41735 126612 | 2147483647 549847 197 | 0.000 % |
1194.51/1194.97 c | 610060 | 9763 41735 126612 | 2147483647 551390 197 | 0.000 % |
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1832675-1242786214/watcher-1832675-1242786214 -o /tmp/evaluation-result-1832675-1242786214/solver-1832675-1242786214 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1832675-1242786214.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.00 1.00 1.00 3/67 3455
/proc/meminfo: memFree=1651024/2055920 swapFree=4177288/4192956
[pid=3455] ppid=3453 vsize=5356 CPUtime=0
/proc/3455/stat : 3455 (SatELiteGTI) R 3453 3455 1227 0 -1 4194304 292 249 0 0 0 0 0 0 19 0 1 0 306647533 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 209560595103 0 65538 4100 65536 0 0 0 17 0 0 0
/proc/3455/statm: 1339 237 197 169 0 50 0
[startup+0.0756309 s]
/proc/loadavg: 1.00 1.00 1.00 3/67 3455
/proc/meminfo: memFree=1651024/2055920 swapFree=4177288/4192956
[pid=3455] ppid=3453 vsize=5356 CPUtime=0
/proc/3455/stat : 3455 (SatELiteGTI) S 3453 3455 1227 0 -1 4194304 310 249 0 0 0 0 0 0 19 0 1 0 306647533 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 209560593220 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/3455/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.101631 s]
/proc/loadavg: 1.00 1.00 1.00 3/67 3455
/proc/meminfo: memFree=1651024/2055920 swapFree=4177288/4192956
[pid=3455] ppid=3453 vsize=5356 CPUtime=0
/proc/3455/stat : 3455 (SatELiteGTI) S 3453 3455 1227 0 -1 4194304 310 249 0 0 0 0 0 0 19 0 1 0 306647533 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 209560593220 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/3455/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.301653 s]
/proc/loadavg: 1.00 1.00 1.00 3/67 3455
/proc/meminfo: memFree=1651024/2055920 swapFree=4177288/4192956
[pid=3455] ppid=3453 vsize=5356 CPUtime=0.17
/proc/3455/stat : 3455 (SatELiteGTI) S 3453 3455 1227 0 -1 4194304 336 1607 0 0 0 0 17 0 16 0 1 0 306647533 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 209560593220 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3455/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.17
Current children cumulated vsize (KiB) 5356
[startup+0.701686 s]
/proc/loadavg: 1.00 1.00 1.00 3/67 3455
/proc/meminfo: memFree=1651024/2055920 swapFree=4177288/4192956
[pid=3455] ppid=3453 vsize=5356 CPUtime=0.17
/proc/3455/stat : 3455 (SatELiteGTI) S 3453 3455 1227 0 -1 4194304 336 1607 0 0 0 0 17 0 16 0 1 0 306647533 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 209560593220 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3455/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.17
Current children cumulated vsize (KiB) 5356
[startup+1.50275 s]
/proc/loadavg: 1.00 1.00 1.00 2/69 3461
/proc/meminfo: memFree=1644864/2055920 swapFree=4177288/4192956
[pid=3455] ppid=3453 vsize=5356 CPUtime=0.17
/proc/3455/stat : 3455 (SatELiteGTI) S 3453 3455 1227 0 -1 4194304 336 1607 0 0 0 0 17 0 16 0 1 0 306647533 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 209560593220 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3455/statm: 1339 239 197 169 0 50 0
[pid=3461] ppid=3455 vsize=7176 CPUtime=1.31
/proc/3461/stat : 3461 (minisat_static) R 3455 3455 1227 0 -1 4194304 1568 0 0 0 130 1 0 0 25 0 1 0 306647551 7348224 1554 1992294400 134512640 135215339 4294956240 18446744073709551615 134538556 0 0 4096 3 0 0 0 17 1 0 0
/proc/3461/statm: 1794 1554 77 171 0 1621 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 12532
[startup+3.1019 s]
/proc/loadavg: 1.00 1.00 1.00 2/69 3461
/proc/meminfo: memFree=1642688/2055920 swapFree=4177288/4192956
[pid=3455] ppid=3453 vsize=5356 CPUtime=0.17
/proc/3455/stat : 3455 (SatELiteGTI) S 3453 3455 1227 0 -1 4194304 336 1607 0 0 0 0 17 0 16 0 1 0 306647533 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 209560593220 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3455/statm: 1339 239 197 169 0 50 0
[pid=3461] ppid=3455 vsize=9964 CPUtime=2.91
/proc/3461/stat : 3461 (minisat_static) R 3455 3455 1227 0 -1 4194304 2286 0 0 0 289 2 0 0 25 0 1 0 306647551 10203136 2272 1992294400 134512640 135215339 4294956240 18446744073709551615 134529083 0 0 4096 3 0 0 0 17 1 0 0
/proc/3461/statm: 2491 2272 77 171 0 2318 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 15320
[startup+6.30119 s]
/proc/loadavg: 1.00 1.00 1.00 2/69 3461
/proc/meminfo: memFree=1636864/2055920 swapFree=4177288/4192956
[pid=3455] ppid=3453 vsize=5356 CPUtime=0.17
/proc/3455/stat : 3455 (SatELiteGTI) S 3453 3455 1227 0 -1 4194304 336 1607 0 0 0 0 17 0 16 0 1 0 306647533 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 209560593220 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3455/statm: 1339 239 197 169 0 50 0
[pid=3461] ppid=3455 vsize=15376 CPUtime=6.1
/proc/3461/stat : 3461 (minisat_static) R 3455 3455 1227 0 -1 4194304 3616 0 0 0 607 3 0 0 25 0 1 0 306647551 15745024 3602 1992294400 134512640 135215339 4294956240 18446744073709551615 134721382 0 0 4096 3 0 0 0 17 1 0 0
/proc/3461/statm: 3844 3602 77 171 0 3671 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 20732
[startup+12.7018 s]
/proc/loadavg: 1.00 1.00 1.00 2/69 3461
/proc/meminfo: memFree=1626952/2055920 swapFree=4177288/4192956
[pid=3455] ppid=3453 vsize=5356 CPUtime=0.17
/proc/3455/stat : 3455 (SatELiteGTI) S 3453 3455 1227 0 -1 4194304 336 1607 0 0 0 0 17 0 16 0 1 0 306647533 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 209560593220 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3455/statm: 1339 239 197 169 0 50 0
[pid=3461] ppid=3455 vsize=24716 CPUtime=12.49
/proc/3461/stat : 3461 (minisat_static) R 3455 3455 1227 0 -1 4194304 5952 0 0 0 1243 6 0 0 25 0 1 0 306647551 25309184 5938 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/3461/statm: 6179 5938 77 171 0 6006 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 30072
[startup+25.5019 s]
/proc/loadavg: 1.00 1.00 1.00 2/69 3461
/proc/meminfo: memFree=1610888/2055920 swapFree=4177288/4192956
[pid=3455] ppid=3453 vsize=5356 CPUtime=0.17
/proc/3455/stat : 3455 (SatELiteGTI) S 3453 3455 1227 0 -1 4194304 336 1607 0 0 0 0 17 0 16 0 1 0 306647533 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 209560593220 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3455/statm: 1339 239 197 169 0 50 0
[pid=3461] ppid=3455 vsize=40240 CPUtime=25.3
/proc/3461/stat : 3461 (minisat_static) R 3455 3455 1227 0 -1 4194304 9835 0 0 0 2519 11 0 0 25 0 1 0 306647551 41205760 9821 1992294400 134512640 135215339 4294956240 18446744073709551615 134528899 0 0 4096 3 0 0 0 17 1 0 0
/proc/3461/statm: 10060 9821 77 171 0 9887 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 45596
[startup+51.1012 s]
/proc/loadavg: 1.00 1.00 1.00 2/69 3461
/proc/meminfo: memFree=1585608/2055920 swapFree=4177288/4192956
[pid=3455] ppid=3453 vsize=5356 CPUtime=0.17
/proc/3455/stat : 3455 (SatELiteGTI) S 3453 3455 1227 0 -1 4194304 336 1607 0 0 0 0 17 0 16 0 1 0 306647533 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 209560593220 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3455/statm: 1339 239 197 169 0 50 0
[pid=3461] ppid=3455 vsize=65576 CPUtime=50.87
/proc/3461/stat : 3461 (minisat_static) R 3455 3455 1227 0 -1 4194304 16186 0 0 0 5068 19 0 0 25 0 1 0 306647551 67149824 16172 1992294400 134512640 135215339 4294956240 18446744073709551615 134721382 0 0 4096 3 0 0 0 17 1 0 0
/proc/3461/statm: 16394 16172 77 171 0 16221 0
Current children cumulated CPU time (s) 51.04
Current children cumulated vsize (KiB) 70932
[startup+102.306 s]
/proc/loadavg: 1.00 1.00 1.00 2/69 3461
/proc/meminfo: memFree=1545736/2055920 swapFree=4177288/4192956
[pid=3455] ppid=3453 vsize=5356 CPUtime=0.17
/proc/3455/stat : 3455 (SatELiteGTI) S 3453 3455 1227 0 -1 4194304 336 1607 0 0 0 0 17 0 16 0 1 0 306647533 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 209560593220 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3455/statm: 1339 239 197 169 0 50 0
[pid=3461] ppid=3455 vsize=104832 CPUtime=102.06
/proc/3461/stat : 3461 (minisat_static) R 3455 3455 1227 0 -1 4194304 26002 0 0 0 10178 28 0 0 25 0 1 0 306647551 107347968 25988 1992294400 134512640 135215339 4294956240 18446744073709551615 134528863 0 0 4096 3 0 0 0 17 1 0 0
/proc/3461/statm: 26208 25988 77 171 0 26035 0
Current children cumulated CPU time (s) 102.23
Current children cumulated vsize (KiB) 110188
[startup+162.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/69 3461
/proc/meminfo: memFree=1508360/2055920 swapFree=4177288/4192956
[pid=3455] ppid=3453 vsize=5356 CPUtime=0.17
/proc/3455/stat : 3455 (SatELiteGTI) S 3453 3455 1227 0 -1 4194304 336 1607 0 0 0 0 17 0 16 0 1 0 306647533 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 209560593220 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3455/statm: 1339 239 197 169 0 50 0
[pid=3461] ppid=3455 vsize=142460 CPUtime=162.03
/proc/3461/stat : 3461 (minisat_static) R 3455 3455 1227 0 -1 4194304 35386 0 0 0 16163 40 0 0 25 0 1 0 306647551 145879040 35372 1992294400 134512640 135215339 4294956240 18446744073709551615 134721382 0 0 4096 3 0 0 0 17 1 0 0
/proc/3461/statm: 35615 35372 77 171 0 35442 0
Current children cumulated CPU time (s) 162.2
Current children cumulated vsize (KiB) 147816
[startup+222.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/69 3461
/proc/meminfo: memFree=1475656/2055920 swapFree=4177288/4192956
[pid=3455] ppid=3453 vsize=5356 CPUtime=0.17
/proc/3455/stat : 3455 (SatELiteGTI) S 3453 3455 1227 0 -1 4194304 336 1607 0 0 0 0 17 0 16 0 1 0 306647533 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 209560593220 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3455/statm: 1339 239 197 169 0 50 0
[pid=3461] ppid=3455 vsize=174940 CPUtime=222.01
/proc/3461/stat : 3461 (minisat_static) R 3455 3455 1227 0 -1 4194304 43440 0 0 0 22151 50 0 0 25 0 1 0 306647551 179138560 43426 1992294400 134512640 135215339 4294956240 18446744073709551615 134528863 0 0 4096 3 0 0 0 17 1 0 0
/proc/3461/statm: 43735 43426 77 171 0 43562 0
Current children cumulated CPU time (s) 222.18
Current children cumulated vsize (KiB) 180296
[startup+282.302 s]
/proc/loadavg: 1.07 1.02 1.00 2/69 3461
/proc/meminfo: memFree=1446536/2055920 swapFree=4177288/4192956
[pid=3455] ppid=3453 vsize=5356 CPUtime=0.17
/proc/3455/stat : 3455 (SatELiteGTI) S 3453 3455 1227 0 -1 4194304 336 1607 0 0 0 0 17 0 16 0 1 0 306647533 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 209560593220 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3455/statm: 1339 239 197 169 0 50 0
[pid=3461] ppid=3455 vsize=203980 CPUtime=281.99
/proc/3461/stat : 3461 (minisat_static) R 3455 3455 1227 0 -1 4194304 50728 0 0 0 28141 58 0 0 25 0 1 0 306647551 208875520 50714 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/3461/statm: 50995 50714 77 171 0 50822 0
Current children cumulated CPU time (s) 282.16
Current children cumulated vsize (KiB) 209336
[startup+342.301 s]
/proc/loadavg: 1.09 1.03 1.00 2/69 3461
/proc/meminfo: memFree=1420488/2055920 swapFree=4177288/4192956
[pid=3455] ppid=3453 vsize=5356 CPUtime=0.17
/proc/3455/stat : 3455 (SatELiteGTI) S 3453 3455 1227 0 -1 4194304 336 1607 0 0 0 0 17 0 16 0 1 0 306647533 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 209560593220 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3455/statm: 1339 239 197 169 0 50 0
[pid=3461] ppid=3455 vsize=229588 CPUtime=341.97
/proc/3461/stat : 3461 (minisat_static) R 3455 3455 1227 0 -1 4194304 57171 0 0 0 34132 65 0 0 25 0 1 0 306647551 235098112 57157 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/3461/statm: 57397 57157 77 171 0 57224 0
Current children cumulated CPU time (s) 342.14
Current children cumulated vsize (KiB) 234944
[startup+402.302 s]
/proc/loadavg: 1.09 1.04 1.00 2/69 3461
/proc/meminfo: memFree=1395848/2055920 swapFree=4177288/4192956
[pid=3455] ppid=3453 vsize=5356 CPUtime=0.17
/proc/3455/stat : 3455 (SatELiteGTI) S 3453 3455 1227 0 -1 4194304 336 1607 0 0 0 0 17 0 16 0 1 0 306647533 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 209560593220 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3455/statm: 1339 239 197 169 0 50 0
[pid=3461] ppid=3455 vsize=254748 CPUtime=401.95
/proc/3461/stat : 3461 (minisat_static) R 3455 3455 1227 0 -1 4194304 63318 0 0 0 40123 72 0 0 25 0 1 0 306647551 260861952 63304 1992294400 134512640 135215339 4294956240 18446744073709551615 134528811 0 0 4096 3 0 0 0 17 1 0 0
/proc/3461/statm: 63687 63304 77 171 0 63514 0
Current children cumulated CPU time (s) 402.12
Current children cumulated vsize (KiB) 260104
[startup+462.302 s]
################
# More data... #
################
/proc/3461/statm: 75072 74756 77 171 0 74899 0
Current children cumulated CPU time (s) 522.1
Current children cumulated vsize (KiB) 305644
[startup+582.302 s]
/proc/loadavg: 1.00 1.02 1.00 2/69 3461
/proc/meminfo: memFree=1329288/2055920 swapFree=4177288/4192956
[pid=3455] ppid=3453 vsize=5356 CPUtime=0.17
/proc/3455/stat : 3455 (SatELiteGTI) S 3453 3455 1227 0 -1 4194304 336 1607 0 0 0 0 17 0 16 0 1 0 306647533 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 209560593220 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3455/statm: 1339 239 197 169 0 50 0
[pid=3461] ppid=3455 vsize=320352 CPUtime=581.9
/proc/3461/stat : 3461 (minisat_static) R 3455 3455 1227 0 -1 4194304 79822 0 0 0 58097 93 0 0 25 0 1 0 306647551 328040448 79808 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/3461/statm: 80088 79808 77 171 0 79915 0
Current children cumulated CPU time (s) 582.07
Current children cumulated vsize (KiB) 325708
[startup+642.302 s]
/proc/loadavg: 1.00 1.01 1.00 2/69 3461
/proc/meminfo: memFree=1308104/2055920 swapFree=4177288/4192956
[pid=3455] ppid=3453 vsize=5356 CPUtime=0.17
/proc/3455/stat : 3455 (SatELiteGTI) S 3453 3455 1227 0 -1 4194304 336 1607 0 0 0 0 17 0 16 0 1 0 306647533 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 209560593220 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3455/statm: 1339 239 197 169 0 50 0
[pid=3461] ppid=3455 vsize=341208 CPUtime=641.9
/proc/3461/stat : 3461 (minisat_static) R 3455 3455 1227 0 -1 4194304 85057 0 0 0 64091 99 0 0 25 0 1 0 306647551 349396992 85043 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/3461/statm: 85302 85043 77 171 0 85129 0
Current children cumulated CPU time (s) 642.07
Current children cumulated vsize (KiB) 346564
[startup+702.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/69 3461
/proc/meminfo: memFree=1289096/2055920 swapFree=4177288/4192956
[pid=3455] ppid=3453 vsize=5356 CPUtime=0.17
/proc/3455/stat : 3455 (SatELiteGTI) S 3453 3455 1227 0 -1 4194304 336 1607 0 0 0 0 17 0 16 0 1 0 306647533 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 209560593220 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3455/statm: 1339 239 197 169 0 50 0
[pid=3461] ppid=3455 vsize=360216 CPUtime=701.87
/proc/3461/stat : 3461 (minisat_static) R 3455 3455 1227 0 -1 4194304 89830 0 0 0 70083 104 0 0 25 0 1 0 306647551 368861184 89816 1992294400 134512640 135215339 4294956240 18446744073709551615 134528721 0 0 4096 3 0 0 0 17 1 0 0
/proc/3461/statm: 90054 89816 77 171 0 89881 0
Current children cumulated CPU time (s) 702.04
Current children cumulated vsize (KiB) 365572
[startup+762.307 s]
/proc/loadavg: 1.00 1.00 1.00 2/69 3461
/proc/meminfo: memFree=1269320/2055920 swapFree=4177288/4192956
[pid=3455] ppid=3453 vsize=5356 CPUtime=0.17
/proc/3455/stat : 3455 (SatELiteGTI) S 3453 3455 1227 0 -1 4194304 336 1607 0 0 0 0 17 0 16 0 1 0 306647533 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 209560593220 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3455/statm: 1339 239 197 169 0 50 0
[pid=3461] ppid=3455 vsize=380532 CPUtime=761.86
/proc/3461/stat : 3461 (minisat_static) R 3455 3455 1227 0 -1 4194304 94693 0 0 0 76076 110 0 0 25 0 1 0 306647551 389664768 94679 1992294400 134512640 135215339 4294956240 18446744073709551615 134538089 0 0 4096 3 0 0 0 17 1 0 0
/proc/3461/statm: 95133 94679 77 171 0 94960 0
Current children cumulated CPU time (s) 762.03
Current children cumulated vsize (KiB) 385888
[startup+822.303 s]
/proc/loadavg: 1.00 1.00 1.00 2/69 3461
/proc/meminfo: memFree=1251272/2055920 swapFree=4177288/4192956
[pid=3455] ppid=3453 vsize=5356 CPUtime=0.17
/proc/3455/stat : 3455 (SatELiteGTI) S 3453 3455 1227 0 -1 4194304 336 1607 0 0 0 0 17 0 16 0 1 0 306647533 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 209560593220 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3455/statm: 1339 239 197 169 0 50 0
[pid=3461] ppid=3455 vsize=398484 CPUtime=821.84
/proc/3461/stat : 3461 (minisat_static) R 3455 3455 1227 0 -1 4194304 99197 0 0 0 82068 116 0 0 25 0 1 0 306647551 408047616 99183 1992294400 134512640 135215339 4294956240 18446744073709551615 134721382 0 0 4096 3 0 0 0 17 1 0 0
/proc/3461/statm: 99621 99183 77 171 0 99448 0
Current children cumulated CPU time (s) 822.01
Current children cumulated vsize (KiB) 403840
[startup+882.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/69 3461
/proc/meminfo: memFree=1233480/2055920 swapFree=4177288/4192956
[pid=3455] ppid=3453 vsize=5356 CPUtime=0.17
/proc/3455/stat : 3455 (SatELiteGTI) S 3453 3455 1227 0 -1 4194304 336 1607 0 0 0 0 17 0 16 0 1 0 306647533 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 209560593220 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3455/statm: 1339 239 197 169 0 50 0
[pid=3461] ppid=3455 vsize=416040 CPUtime=881.82
/proc/3461/stat : 3461 (minisat_static) R 3455 3455 1227 0 -1 4194304 103598 0 0 0 88061 121 0 0 25 0 1 0 306647551 426024960 103584 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/3461/statm: 104010 103584 77 171 0 103837 0
Current children cumulated CPU time (s) 881.99
Current children cumulated vsize (KiB) 421396
[startup+942.303 s]
/proc/loadavg: 1.00 1.00 1.00 2/69 3461
/proc/meminfo: memFree=1214984/2055920 swapFree=4177288/4192956
[pid=3455] ppid=3453 vsize=5356 CPUtime=0.17
/proc/3455/stat : 3455 (SatELiteGTI) S 3453 3455 1227 0 -1 4194304 336 1607 0 0 0 0 17 0 16 0 1 0 306647533 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 209560593220 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3455/statm: 1339 239 197 169 0 50 0
[pid=3461] ppid=3455 vsize=434520 CPUtime=941.81
/proc/3461/stat : 3461 (minisat_static) R 3455 3455 1227 0 -1 4194304 108242 0 0 0 94055 126 0 0 25 0 1 0 306647551 444948480 108228 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/3461/statm: 108630 108228 77 171 0 108457 0
Current children cumulated CPU time (s) 941.98
Current children cumulated vsize (KiB) 439876
[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/69 3461
/proc/meminfo: memFree=1200264/2055920 swapFree=4177288/4192956
[pid=3455] ppid=3453 vsize=5356 CPUtime=0.17
/proc/3455/stat : 3455 (SatELiteGTI) S 3453 3455 1227 0 -1 4194304 336 1607 0 0 0 0 17 0 16 0 1 0 306647533 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 209560593220 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3455/statm: 1339 239 197 169 0 50 0
[pid=3461] ppid=3455 vsize=448908 CPUtime=1001.79
/proc/3461/stat : 3461 (minisat_static) R 3455 3455 1227 0 -1 4194304 111866 0 0 0 100048 131 0 0 25 0 1 0 306647551 459681792 111852 1992294400 134512640 135215339 4294956240 18446744073709551615 134528872 0 0 4096 3 0 0 0 17 1 0 0
/proc/3461/statm: 112227 111852 77 171 0 112054 0
Current children cumulated CPU time (s) 1001.96
Current children cumulated vsize (KiB) 454264
[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/69 3461
/proc/meminfo: memFree=1198152/2055920 swapFree=4177288/4192956
[pid=3455] ppid=3453 vsize=5356 CPUtime=0.17
/proc/3455/stat : 3455 (SatELiteGTI) S 3453 3455 1227 0 -1 4194304 336 1607 0 0 0 0 17 0 16 0 1 0 306647533 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 209560593220 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3455/statm: 1339 239 197 169 0 50 0
[pid=3461] ppid=3455 vsize=450756 CPUtime=1061.77
/proc/3461/stat : 3461 (minisat_static) R 3455 3455 1227 0 -1 4194304 112342 0 0 0 106045 132 0 0 25 0 1 0 306647551 461574144 112328 1992294400 134512640 135215339 4294956240 18446744073709551615 134528863 0 0 4096 3 0 0 0 17 1 0 0
/proc/3461/statm: 112689 112328 77 171 0 112516 0
Current children cumulated CPU time (s) 1061.94
Current children cumulated vsize (KiB) 456112
[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/69 3461
/proc/meminfo: memFree=1198088/2055920 swapFree=4177288/4192956
[pid=3455] ppid=3453 vsize=5356 CPUtime=0.17
/proc/3455/stat : 3455 (SatELiteGTI) S 3453 3455 1227 0 -1 4194304 336 1607 0 0 0 0 17 0 16 0 1 0 306647533 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 209560593220 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3455/statm: 1339 239 197 169 0 50 0
[pid=3461] ppid=3455 vsize=450756 CPUtime=1121.76
/proc/3461/stat : 3461 (minisat_static) R 3455 3455 1227 0 -1 4194304 112342 0 0 0 112044 132 0 0 25 0 1 0 306647551 461574144 112328 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/3461/statm: 112689 112328 77 171 0 112516 0
Current children cumulated CPU time (s) 1121.93
Current children cumulated vsize (KiB) 456112
[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/69 3463
/proc/meminfo: memFree=1197768/2055920 swapFree=4177288/4192956
[pid=3455] ppid=3453 vsize=5356 CPUtime=0.17
/proc/3455/stat : 3455 (SatELiteGTI) S 3453 3455 1227 0 -1 4194304 336 1607 0 0 0 0 17 0 16 0 1 0 306647533 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 209560593220 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3455/statm: 1339 239 197 169 0 50 0
[pid=3461] ppid=3455 vsize=450756 CPUtime=1181.74
/proc/3461/stat : 3461 (minisat_static) R 3455 3455 1227 0 -1 4194304 112342 0 0 0 118042 132 0 0 25 0 1 0 306647551 461574144 112328 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/3461/statm: 112689 112328 77 171 0 112516 0
Current children cumulated CPU time (s) 1181.91
Current children cumulated vsize (KiB) 456112
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1200.4 s]
/proc/loadavg: 1.00 1.00 1.00 2/69 3463
/proc/meminfo: memFree=1193800/2055920 swapFree=4177288/4192956
[pid=3455] ppid=3453 vsize=5356 CPUtime=0.17
/proc/3455/stat : 3455 (SatELiteGTI) S 3453 3455 1227 0 -1 4194304 336 1607 0 0 0 0 17 0 16 0 1 0 306647533 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 209560593220 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3455/statm: 1339 239 197 169 0 50 0
[pid=3461] ppid=3455 vsize=454848 CPUtime=1199.84
/proc/3461/stat : 3461 (minisat_static) R 3455 3455 1227 0 -1 4194304 113366 0 0 0 119851 133 0 0 25 0 1 0 306647551 465764352 113352 1992294400 134512640 135215339 4294956240 18446744073709551615 134528849 0 0 4096 3 0 0 0 17 1 0 0
/proc/3461/statm: 113712 113352 77 171 0 113539 0
Current children cumulated CPU time (s) 1200.01
Current children cumulated vsize (KiB) 460204
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 3455 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=173973
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=12998
# CPU time returned by wait4() is 0.186971
# while last known CPU time is 1200.01
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1200.41
CPU time (s): 1200.01
CPU user time (s): 1198.68
CPU system time (s): 1.33
CPU usage (%): 99.9665
Max. virtual memory (cumulated for all children) (KiB): 460204
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.173973
system time used= 0.012998
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1943
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 12
involuntary context switches= 8
runsolver used 1.13483 second user time and 3.32849 second system time
The end
Begin job on node68 at 2009-05-20 04:23:34
IDJOB=1832675
IDBENCH=70301
IDSOLVER=671
FILE ID=node68/1832675-1242786214
PBS_JOBID= 9322341
Free space on /tmp= 66172 MiB
SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT09/RANDOM/LARGE/3SAT/UNKNOWN/10000/unif-k3-r4.2-v10000-c42000-S1618450766-063.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1832675-1242786214/watcher-1832675-1242786214 -o /tmp/evaluation-result-1832675-1242786214/solver-1832675-1242786214 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1832675-1242786214.cnf
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= a3bc6e5867287d61e63c82ab3d8a4844
RANDOM SEED=1533475760
node68.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.223
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.223
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: 1651568 kB
Buffers: 34152 kB
Cached: 297192 kB
SwapCached: 7636 kB
Active: 92944 kB
Inactive: 247608 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1651568 kB
SwapTotal: 4192956 kB
SwapFree: 4177288 kB
Dirty: 2328 kB
Writeback: 0 kB
Mapped: 14816 kB
Slab: 49516 kB
Committed_AS: 909032 kB
PageTables: 1564 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264960 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 66168 MiB
End job on node68 at 2009-05-20 04:43:36