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 | 56181 131089 | 16854 0 0 nan | 0.000 % |
0.00/0.32 c | 0 | 42760 118489 | -- 0 -- -- | -- | -13419/-12595
0.00/0.32 c ==============================================================================
0.00/0.32 c Result : #vars: 10688 #clauses: 42760 #literals: 118489
0.00/0.32 c CPU time: 0.305953 s
0.00/0.32 c ==============================================================================
0.00/0.36 c This is MiniSat 2.0 beta
0.00/0.36 c WARNING: for repeatability, setting FPU to use double precision
0.00/0.36 c ============================[ Problem Statistics ]=============================
0.00/0.36 c | |
0.00/0.37 c | Number of variables: 10688 |
0.00/0.37 c | Number of clauses: 42760 |
0.00/0.39 c | Parsing time: 0.02 s |
0.00/0.39 c ============================[ Search Statistics ]==============================
0.00/0.39 c | Conflicts | ORIGINAL | LEARNT | Progress |
0.00/0.39 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
0.00/0.39 c ===============================================================================
0.00/0.39 c | 0 | 10688 42760 118489 | 14253 0 nan | 0.000 % |
0.36/0.41 c | 101 | 10688 42760 118489 | 14253 101 16 | 0.000 % |
0.36/0.42 c | 201 | 10688 42760 118489 | 14253 201 18 | 0.000 % |
0.36/0.44 c | 301 | 10688 42760 118489 | 14253 301 20 | 0.000 % |
0.36/0.50 c | 411 | 10688 42760 118489 | 14253 411 48 | 0.000 % |
0.36/0.51 c | 513 | 10688 42760 118489 | 14253 513 45 | 0.000 % |
0.36/0.53 c | 623 | 10688 42760 118489 | 14253 623 49 | 0.000 % |
0.36/0.57 c | 745 | 10688 42760 118489 | 14253 745 50 | 0.000 % |
0.36/0.58 c | 846 | 10688 42760 118489 | 14253 846 48 | 0.000 % |
0.36/0.60 c | 956 | 10688 42760 118489 | 14253 956 44 | 0.000 % |
0.36/0.64 c | 1077 | 10688 42760 118489 | 14253 1077 47 | 0.000 % |
0.36/0.70 c | 1210 | 10688 42760 118489 | 14253 1210 56 | 0.000 % |
0.36/0.72 c | 1310 | 10688 42760 118489 | 14253 1310 56 | 0.000 % |
0.36/0.78 c | 1422 | 10688 42760 118489 | 14253 1422 65 | 0.000 % |
0.36/0.81 c | 1543 | 10688 42760 118489 | 14253 1543 63 | 0.000 % |
0.36/0.83 c | 1676 | 10688 42760 118489 | 14253 1676 63 | 0.000 % |
0.36/0.86 c | 1822 | 10688 42760 118489 | 14253 1822 60 | 0.000 % |
0.36/0.95 c | 1922 | 10688 42760 118489 | 14253 1922 65 | 0.000 % |
0.36/0.96 c | 2032 | 10688 42760 118489 | 14253 2032 63 | 0.000 % |
0.36/0.98 c | 2153 | 10688 42760 118489 | 14253 2153 62 | 0.000 % |
0.98/1.07 c | 2286 | 10688 42760 118489 | 14253 2286 67 | 0.000 % |
0.98/1.09 c | 2432 | 10688 42760 118489 | 14253 2432 65 | 0.000 % |
1.08/1.12 c | 2593 | 10688 42760 118489 | 14253 2593 65 | 0.000 % |
1.08/1.14 c | 2694 | 10688 42760 118489 | 14253 2694 64 | 0.000 % |
1.08/1.16 c | 2805 | 10688 42760 118489 | 14253 2805 62 | 0.000 % |
1.08/1.18 c | 2926 | 10688 42760 118489 | 14253 2926 62 | 0.000 % |
1.17/1.25 c | 3060 | 10688 42760 118489 | 14253 3060 63 | 0.000 % |
1.27/1.34 c | 3212 | 10688 42760 118489 | 14253 3212 70 | 0.000 % |
1.27/1.39 c | 3372 | 10688 42760 118489 | 14253 3372 73 | 0.000 % |
1.38/1.40 c | 3548 | 10688 42760 118489 | 14253 3548 71 | 0.000 % |
1.38/1.42 c | 3648 | 10688 42760 118489 | 14253 3648 70 | 0.000 % |
1.38/1.43 c | 3758 | 10688 42760 118489 | 14253 3758 69 | 0.000 % |
1.38/1.46 c | 3880 | 10688 42760 118489 | 14253 3880 68 | 0.000 % |
1.38/1.48 c | 4013 | 10688 42760 118489 | 14253 4013 68 | 0.000 % |
1.48/1.51 c | 4159 | 10688 42760 118489 | 14253 4159 69 | 0.000 % |
1.48/1.54 c | 4319 | 10688 42760 118489 | 14253 4319 68 | 0.000 % |
1.48/1.58 c | 4496 | 10688 42760 118489 | 14253 4496 69 | 0.000 % |
1.58/1.61 c | 4689 | 10688 42760 118489 | 14253 4689 68 | 0.000 % |
1.58/1.64 c | 4789 | 10688 42760 118489 | 14253 4789 67 | 0.000 % |
1.58/1.66 c | 4899 | 10688 42760 118489 | 14253 4899 67 | 0.000 % |
1.67/1.71 c | 5020 | 10688 42760 118489 | 14253 5020 67 | 0.000 % |
1.67/1.75 c | 5153 | 10688 42760 118489 | 14253 5153 67 | 0.000 % |
1.77/1.80 c | 5299 | 10688 42760 118489 | 14253 5299 70 | 0.000 % |
1.77/1.87 c | 5460 | 10688 42760 118489 | 14253 5460 71 | 0.000 % |
1.77/1.89 c | 5638 | 10688 42760 118489 | 14253 5638 70 | 0.000 % |
1.87/1.92 c | 5833 | 10688 42760 118489 | 14253 5833 68 | 0.000 % |
1.97/2.04 c | 6045 | 10688 42760 118489 | 14253 6045 72 | 0.000 % |
1.97/2.07 c | 6146 | 10688 42760 118489 | 14253 6146 72 | 0.000 % |
2.08/2.11 c | 6257 | 10688 42760 118489 | 14253 6257 72 | 0.000 % |
2.08/2.12 c | 6382 | 10688 42760 118489 | 14253 6382 71 | 0.000 % |
2.08/2.15 c | 6515 | 10688 42760 118489 | 14253 6515 71 | 0.000 % |
2.08/2.17 c | 6661 | 10688 42760 118489 | 14253 6661 70 | 0.000 % |
2.18/2.23 c | 6821 | 10688 42760 118489 | 14253 6821 70 | 0.000 % |
2.18/2.25 c | 6997 | 10688 42760 118489 | 14253 6997 70 | 0.000 % |
2.18/2.28 c | 7190 | 10688 42760 118489 | 14253 7190 69 | 0.000 % |
2.27/2.32 c | 7403 | 10688 42760 118489 | 14253 7403 68 | 0.000 % |
2.27/2.35 c | 7637 | 10688 42760 118489 | 14253 7637 67 | 0.000 % |
2.27/2.38 c | 7737 | 10688 42760 118489 | 14253 7737 67 | 0.000 % |
2.37/2.42 c | 7848 | 10688 42760 118489 | 14253 7848 67 | 0.000 % |
2.37/2.48 c | 7969 | 10688 42760 118489 | 14253 7969 68 | 0.000 % |
2.47/2.52 c | 8102 | 10688 42760 118489 | 14253 8102 67 | 0.000 % |
2.47/2.58 c | 8249 | 10688 42760 118489 | 14253 8249 68 | 0.000 % |
2.57/2.61 c | 8409 | 10688 42760 118489 | 14253 8409 68 | 0.000 % |
2.67/2.78 c | 8585 | 10688 42760 118489 | 14253 8585 70 | 0.000 % |
2.77/2.85 c | 8780 | 10688 42760 118489 | 14253 8780 72 | 0.000 % |
2.77/2.89 c | 8992 | 10688 42760 118489 | 14253 8992 72 | 0.000 % |
2.87/2.99 c | 9226 | 10688 42760 118489 | 14253 9226 73 | 0.000 % |
2.97/3.03 c | 9486 | 10688 42760 118489 | 14253 9486 72 | 0.000 % |
2.97/3.04 c | 9586 | 10688 42760 118489 | 14253 9586 71 | 0.000 % |
2.97/3.08 c | 9696 | 10688 42760 118489 | 14253 9696 72 | 0.000 % |
3.07/3.10 c | 9817 | 10688 42760 118489 | 14253 9817 72 | 0.000 % |
3.07/3.17 c | 9950 | 10688 42760 118489 | 14253 9950 72 | 0.000 % |
3.18/3.22 c | 10097 | 10688 42760 118489 | 2147483647 10097 72 | 0.000 % |
3.18/3.27 c | 10259 | 10688 42760 118489 | 2147483647 10259 73 | 0.000 % |
3.18/3.30 c | 10436 | 10688 42760 118489 | 2147483647 10436 73 | 0.000 % |
3.28/3.33 c | 10629 | 10688 42760 118489 | 2147483647 10629 72 | 0.000 % |
3.28/3.38 c | 10841 | 10688 42760 118489 | 2147483647 10841 72 | 0.000 % |
3.48/3.53 c | 11075 | 10688 42760 118489 | 2147483647 11075 73 | 0.000 % |
3.48/3.59 c | 11331 | 10688 42760 118489 | 2147483647 11331 73 | 0.000 % |
3.58/3.69 c | 11613 | 10688 42760 118489 | 2147483647 11613 73 | 0.000 % |
3.68/3.71 c | 11714 | 10688 42760 118489 | 2147483647 11714 73 | 0.000 % |
3.78/3.81 c | 11824 | 10688 42760 118489 | 2147483647 11824 74 | 0.000 % |
3.78/3.84 c | 11945 | 10688 42760 118489 | 2147483647 11945 73 | 0.000 % |
3.88/3.90 c | 12079 | 10688 42760 118489 | 2147483647 12079 74 | 0.000 % |
3.88/3.93 c | 12225 | 10688 42760 118489 | 2147483647 12225 74 | 0.000 % |
3.88/3.97 c | 12387 | 10688 42760 118489 | 2147483647 12387 74 | 0.000 % |
3.98/4.04 c | 12563 | 10688 42760 118489 | 2147483647 12563 74 | 0.000 % |
3.98/4.09 c | 12757 | 10688 42760 118489 | 2147483647 12757 74 | 0.000 % |
4.08/4.13 c | 12969 | 10688 42760 118489 | 2147483647 12969 74 | 0.000 % |
4.17/4.25 c | 13203 | 10688 42760 118489 | 2147483647 13203 75 | 0.000 % |
4.28/4.31 c | 13460 | 10688 42760 118489 | 2147483647 13460 75 | 0.000 % |
4.28/4.38 c | 13743 | 10688 42760 118489 | 2147483647 13743 74 | 0.000 % |
4.38/4.48 c | 14052 | 10688 42760 118489 | 2147483647 14052 74 | 0.000 % |
4.47/4.53 c | 14155 | 10688 42760 118489 | 2147483647 14155 75 | 0.000 % |
4.57/4.60 c | 14265 | 10688 42760 118489 | 2147483647 14265 75 | 0.000 % |
4.57/4.62 c | 14388 | 10688 42760 118489 | 2147483647 14388 75 | 0.000 % |
4.57/4.64 c | 14521 | 10688 42760 118489 | 2147483647 14521 74 | 0.000 % |
4.57/4.66 c | 14667 | 10688 42760 118489 | 2147483647 14667 74 | 0.000 % |
4.67/4.72 c | 14827 | 10688 42760 118489 | 2147483647 14827 75 | 0.000 % |
4.67/4.78 c | 15003 | 10688 42760 118489 | 2147483647 15003 74 | 0.000 % |
4.77/4.83 c | 15196 | 10688 42760 118489 | 2147483647 15196 74 | 0.000 % |
4.87/4.95 c | 15408 | 10688 42760 118489 | 2147483647 15408 74 | 0.000 % |
4.97/5.02 c | 15641 | 10688 42760 118489 | 2147483647 15641 74 | 0.000 % |
4.97/5.08 c | 15897 | 10688 42760 118489 | 2147483647 15897 74 | 0.000 % |
5.07/5.14 c | 16178 | 10688 42760 118489 | 2147483647 16178 73 | 0.000 % |
5.48/5.51 c | 16487 | 10688 42760 118489 | 2147483647 16487 76 | 0.000 % |
5.67/5.70 c | 16826 | 10688 42760 118489 | 2147483647 16826 76 | 0.000 % |
5.67/5.74 c | 16926 | 10688 42760 118489 | 2147483647 16926 76 | 0.000 % |
5.77/5.85 c | 17036 | 10688 42760 118489 | 2147483647 17036 76 | 0.000 % |
5.87/5.90 c | 17161 | 10688 42760 118489 | 2147483647 17161 77 | 0.000 % |
5.87/5.93 c | 17294 | 10688 42760 118489 | 2147483647 17294 76 | 0.000 % |
5.87/5.97 c | 17441 | 10688 42760 118489 | 2147483647 17441 76 | 0.000 % |
5.97/6.01 c | 17602 | 10688 42760 118489 | 2147483647 17602 76 | 0.000 % |
6.07/6.11 c | 17778 | 10688 42760 118489 | 2147483647 17778 76 | 0.000 % |
6.27/6.35 c | 17971 | 10688 42760 118489 | 2147483647 17971 77 | 0.000 % |
6.37/6.42 c | 18185 | 10688 42760 118489 | 2147483647 18185 77 | 0.000 % |
6.48/6.51 c | 18418 | 10688 42760 118489 | 2147483647 18418 76 | 0.000 % |
6.57/6.62 c | 18675 | 10688 42760 118489 | 2147483647 18675 77 | 0.000 % |
6.67/6.70 c | 18956 | 10688 42760 118489 | 2147483647 18956 77 | 0.000 % |
6.67/6.77 c | 19265 | 10688 42760 118489 | 2147483647 19265 76 | 0.000 % |
6.77/6.83 c | 19605 | 10688 42760 118489 | 2147483647 19605 75 | 0.000 % |
6.77/6.89 c | 19979 | 10688 42760 118489 | 2147483647 19979 75 | 0.000 % |
6.87/6.90 c | 20080 | 10688 42760 118489 | 2147483647 20080 75 | 0.000 % |
6.87/6.93 c | 20190 | 10688 42760 118489 | 2147483647 20190 74 | 0.000 % |
6.87/6.95 c | 20313 | 10688 42760 118489 | 2147483647 20313 74 | 0.000 % |
6.87/6.96 c | 20447 | 10688 42760 118489 | 2147483647 20447 74 | 0.000 % |
6.87/6.99 c | 20594 | 10688 42760 118489 | 2147483647 20594 73 | 0.000 % |
6.97/7.07 c | 20754 | 10688 42760 118489 | 2147483647 20754 74 | 0.000 % |
7.07/7.13 c | 20932 | 10688 42760 118489 | 2147483647 20932 74 | 0.000 % |
7.07/7.16 c | 21125 | 10688 42760 118489 | 2147483647 21125 73 | 0.000 % |
7.18/7.25 c | 21337 | 10688 42760 118489 | 2147483647 21337 73 | 0.000 % |
7.28/7.33 c | 21570 | 10688 42760 118489 | 2147483647 21570 73 | 0.000 % |
7.38/7.41 c | 21826 | 10688 42760 118489 | 2147483647 21826 74 | 0.000 % |
7.48/7.53 c | 22108 | 10688 42760 118489 | 2147483647 22108 74 | 0.000 % |
7.78/7.88 c | 22417 | 10688 42760 118489 | 2147483647 22417 75 | 0.000 % |
7.88/7.96 c | 22757 | 10688 42760 118489 | 2147483647 22757 75 | 0.000 % |
8.18/8.23 c | 23129 | 10688 42760 118489 | 2147483647 23129 76 | 0.000 % |
8.27/8.33 c | 23538 | 10688 42760 118489 | 2147483647 23538 75 | 0.000 % |
8.27/8.37 c | 23638 | 10688 42760 118489 | 2147483647 23638 75 | 0.000 % |
8.27/8.38 c | 23748 | 10688 42760 118489 | 2147483647 23748 75 | 0.000 % |
8.37/8.40 c | 23869 | 10688 42760 118489 | 2147483647 23869 75 | 0.000 % |
8.37/8.45 c | 24003 | 10688 42760 118489 | 2147483647 24003 75 | 0.000 % |
8.47/8.51 c | 24149 | 10688 42760 118489 | 2147483647 24149 76 | 0.000 % |
8.47/8.54 c | 24309 | 10688 42760 118489 | 2147483647 24309 75 | 0.000 % |
8.57/8.60 c | 24486 | 10688 42760 118489 | 2147483647 24486 75 | 0.000 % |
8.57/8.69 c | 24680 | 10688 42760 118489 | 2147483647 24680 75 | 0.000 % |
8.68/8.77 c | 24892 | 10688 42760 118489 | 2147483647 24892 75 | 0.000 % |
8.68/8.80 c | 25125 | 10688 42760 118489 | 2147483647 25125 75 | 0.000 % |
8.78/8.85 c | 25383 | 10688 42760 118489 | 2147483647 25383 74 | 0.000 % |
8.87/9.00 c | 25664 | 10688 42760 118489 | 2147483647 25664 74 | 0.000 % |
8.97/9.08 c | 25974 | 10688 42760 118489 | 2147483647 25974 74 | 0.000 % |
9.17/9.27 c | 26314 | 10688 42760 118489 | 2147483647 26314 75 | 0.000 % |
9.27/9.39 c | 26686 | 10688 42760 118489 | 2147483647 26686 75 | 0.000 % |
9.77/9.80 c | 27095 | 10688 42760 118489 | 2147483647 27095 76 | 0.000 % |
9.98/10.04 c | 27544 | 10688 42760 118489 | 2147483647 27544 77 | 0.000 % |
9.98/10.06 c | 27644 | 10688 42760 118489 | 2147483647 27644 76 | 0.000 % |
9.98/10.10 c | 27754 | 10688 42760 118489 | 2147483647 27754 76 | 0.000 % |
10.08/10.14 c | 27875 | 10688 42760 118489 | 2147483647 27875 76 | 0.000 % |
10.17/10.20 c | 28009 | 10688 42760 118489 | 2147483647 28009 76 | 0.000 % |
10.17/10.29 c | 28157 | 10688 42760 118489 | 2147483647 28157 77 | 0.000 % |
10.27/10.32 c | 28318 | 10688 42760 118489 | 2147483647 28318 76 | 0.000 % |
10.37/10.50 c | 28495 | 10688 42760 118489 | 2147483647 28495 77 | 0.000 % |
10.47/10.54 c | 28689 | 10688 42760 118489 | 2147483647 28689 77 | 0.000 % |
10.67/10.74 c | 28901 | 10688 42760 118489 | 2147483647 28901 77 | 0.000 % |
10.67/10.78 c | 29135 | 10688 42760 118489 | 2147483647 29135 77 | 0.000 % |
10.98/11.03 c | 29391 | 10688 42760 118489 | 2147483647 29391 77 | 0.000 % |
11.07/11.12 c | 29674 | 10688 42760 118489 | 2147483647 29674 77 | 0.000 % |
11.37/11.49 c | 29983 | 10688 42760 118489 | 2147483647 29983 77 | 0.000 % |
11.47/11.58 c | 30322 | 10688 42760 118489 | 2147483647 30322 77 | 0.000 % |
11.77/11.89 c | 30696 | 10688 42760 118489 | 2147483647 30696 78 | 0.000 % |
11.97/12.04 c | 31105 | 10688 42760 118489 | 2147483647 31105 77 | 0.000 % |
12.47/12.50 c | 31554 | 10688 42760 118489 | 2147483647 31554 77 | 0.000 % |
12.47/12.58 c | 32047 | 10688 42760 118489 | 2147483647 32047 77 | 0.000 % |
12.57/12.66 c | 32148 | 10688 42760 118489 | 2147483647 32148 78 | 0.000 % |
12.57/12.70 c | 32259 | 10688 42760 118489 | 2147483647 32259 77 | 0.000 % |
12.67/12.73 c | 32380 | 10688 42760 118489 | 2147483647 32380 77 | 0.000 % |
12.77/12.81 c | 32514 | 10688 42760 118489 | 2147483647 32514 77 | 0.000 % |
12.77/12.85 c | 32661 | 10688 42760 118489 | 2147483647 32661 77 | 0.000 % |
12.87/12.92 c | 32822 | 10688 42760 118489 | 2147483647 32822 77 | 0.000 % |
12.87/12.97 c | 32999 | 10688 42760 118489 | 2147483647 32999 77 | 0.000 % |
13.07/13.15 c | 33192 | 10688 42760 118489 | 2147483647 33192 77 | 0.000 % |
13.07/13.20 c | 33405 | 10688 42760 118489 | 2147483647 33405 77 | 0.000 % |
13.37/13.40 c | 33638 | 10688 42760 118489 | 2147483647 33638 77 | 0.000 % |
13.37/13.47 c | 33895 | 10688 42760 118489 | 2147483647 33895 77 | 0.000 % |
13.57/13.65 c | 34176 | 10688 42760 118489 | 2147483647 34176 77 | 0.000 % |
13.57/13.69 c | 34488 | 10688 42760 118489 | 2147483647 34488 77 | 0.000 % |
13.77/13.81 c | 34828 | 10688 42760 118489 | 2147483647 34828 77 | 0.000 % |
13.97/14.07 c | 35201 | 10688 42760 118489 | 2147483647 35201 77 | 0.000 % |
14.07/14.20 c | 35610 | 10688 42760 118489 | 2147483647 35610 77 | 0.000 % |
14.47/14.52 c | 36059 | 10688 42760 118489 | 2147483647 36059 77 | 0.000 % |
14.67/14.70 c | 36552 | 10688 42760 118489 | 2147483647 36552 78 | 0.000 % |
14.87/14.91 c | 37094 | 10688 42760 118489 | 2147483647 37094 78 | 0.000 % |
14.87/14.95 c | 37194 | 10688 42760 118489 | 2147483647 37194 78 | 0.000 % |
14.87/14.98 c | 37304 | 10688 42760 118489 | 2147483647 37304 78 | 0.000 % |
14.97/15.07 c | 37425 | 10688 42760 118489 | 2147483647 37425 78 | 0.000 % |
15.07/15.11 c | 37559 | 10688 42760 118489 | 2147483647 37559 78 | 0.000 % |
15.07/15.15 c | 37706 | 10688 42760 118489 | 2147483647 37706 78 | 0.000 % |
15.17/15.22 c | 37867 | 10688 42760 118489 | 2147483647 37867 77 | 0.000 % |
15.27/15.37 c | 38045 | 10688 42760 118489 | 2147483647 38045 78 | 0.000 % |
15.37/15.48 c | 38238 | 10688 42760 118489 | 2147483647 38238 78 | 0.000 % |
15.47/15.55 c | 38450 | 10688 42760 118489 | 2147483647 38450 77 | 0.000 % |
15.57/15.61 c | 38683 | 10688 42760 118489 | 2147483647 38683 77 | 0.000 % |
15.67/15.71 c | 38940 | 10688 42760 118489 | 2147483647 38940 77 | 0.000 % |
15.87/15.91 c | 39221 | 10688 42760 118489 | 2147483647 39221 77 | 0.000 % |
15.87/15.98 c | 39530 | 10688 42760 118489 | 2147483647 39530 77 | 0.000 % |
16.06/16.17 c | 39869 | 10688 42760 118489 | 2147483647 39869 78 | 0.000 % |
16.26/16.35 c | 40241 | 10688 42760 118489 | 2147483647 40241 78 | 0.000 % |
16.37/16.43 c | 40652 | 10688 42760 118489 | 2147483647 40652 78 | 0.000 % |
16.47/16.59 c | 41102 | 10688 42760 118489 | 2147483647 41102 77 | 0.000 % |
16.66/16.71 c | 41595 | 10688 42760 118489 | 2147483647 41595 77 | 0.000 % |
16.76/16.84 c | 42137 | 10688 42760 118489 | 2147483647 42137 78 | 0.000 % |
16.96/17.02 c | 42734 | 10688 42760 118489 | 2147483647 42734 78 | 0.000 % |
17.36/17.40 c | 42836 | 10688 42760 118489 | 2147483647 42836 78 | 0.000 % |
17.36/17.48 c | 42946 | 10688 42760 118489 | 2147483647 42946 78 | 0.000 % |
17.47/17.54 c | 43067 | 10688 42760 118489 | 2147483647 43067 78 | 0.000 % |
17.58/17.63 c | 43200 | 10688 42760 118489 | 2147483647 43200 78 | 0.000 % |
17.67/17.74 c | 43346 | 10688 42760 118489 | 2147483647 43346 78 | 0.000 % |
17.77/17.82 c | 43506 | 10688 42760 118489 | 2147483647 43506 78 | 0.000 % |
17.77/17.88 c | 43684 | 10688 42760 118489 | 2147483647 43684 78 | 0.000 % |
17.87/17.94 c | 43877 | 10688 42760 118489 | 2147483647 43877 78 | 0.000 % |
18.07/18.17 c | 44090 | 10688 42760 118489 | 2147483647 44090 78 | 0.000 % |
18.27/18.31 c | 44324 | 10688 42760 118489 | 2147483647 44324 78 | 0.000 % |
18.27/18.40 c | 44581 | 10688 42760 118489 | 2147483647 44581 78 | 0.000 % |
18.47/18.51 c | 44863 | 10688 42760 118489 | 2147483647 44863 78 | 0.000 % |
18.57/18.62 c | 45176 | 10688 42760 118489 | 2147483647 45176 78 | 0.000 % |
18.57/18.68 c | 45515 | 10688 42760 118489 | 2147483647 45515 78 | 0.000 % |
18.67/18.79 c | 45887 | 10688 42760 118489 | 2147483647 45887 78 | 0.000 % |
18.77/18.88 c | 46296 | 10688 42760 118489 | 2147483647 46296 77 | 0.000 % |
19.67/19.79 c | 46745 | 10688 42760 118489 | 2147483647 46745 78 | 0.000 % |
20.16/20.25 c | 47240 | 10688 42760 118489 | 2147483647 47240 79 | 0.000 % |
21.46/21.50 c | 47783 | 10688 42760 118489 | 2147483647 47783 79 | 0.000 % |
22.06/22.18 c | 48379 | 10688 42760 118489 | 2147483647 48379 80 | 0.000 % |
22.46/22.53 c | 49036 | 10688 42760 118489 | 2147483647 49036 79 | 0.000 % |
22.46/22.59 c | 49136 | 10688 42760 118489 | 2147483647 49136 80 | 0.000 % |
22.56/22.64 c | 49246 | 10688 42760 118489 | 2147483647 49246 80 | 0.000 % |
22.56/22.69 c | 49368 | 10688 42760 118489 | 2147483647 49368 80 | 0.000 % |
22.66/22.75 c | 49502 | 10688 42760 118489 | 2147483647 49502 80 | 0.000 % |
22.76/22.86 c | 49649 | 10688 42760 118489 | 2147483647 49649 80 | 0.000 % |
22.86/22.95 c | 49810 | 10688 42760 118489 | 2147483647 49810 80 | 0.000 % |
22.96/23.01 c | 49987 | 10688 42760 118489 | 2147483647 49987 79 | 0.000 % |
23.16/23.24 c | 50181 | 10688 42760 118489 | 2147483647 50181 80 | 0.000 % |
23.26/23.31 c | 50393 | 10688 42760 118489 | 2147483647 50393 79 | 0.000 % |
23.36/23.42 c | 50626 | 10688 42760 118489 | 2147483647 50626 79 | 0.000 % |
23.46/23.57 c | 50883 | 10688 42760 118489 | 2147483647 50883 79 | 0.000 % |
23.65/23.71 c | 51165 | 10688 42760 118489 | 2147483647 51165 79 | 0.000 % |
23.75/23.81 c | 51475 | 10688 42760 118489 | 2147483647 51475 79 | 0.000 % |
24.16/24.27 c | 51814 | 10688 42760 118489 | 2147483647 51814 79 | 0.000 % |
24.25/24.39 c | 52186 | 10688 42760 118489 | 2147483647 52186 79 | 0.000 % |
24.75/24.81 c | 52595 | 10688 42760 118489 | 2147483647 52595 79 | 0.000 % |
25.06/25.17 c | 53045 | 10688 42760 118489 | 2147483647 53045 80 | 0.000 % |
25.27/25.30 c | 53538 | 10688 42760 118489 | 2147483647 53538 80 | 0.000 % |
25.36/25.49 c | 54080 | 10688 42760 118489 | 2147483647 54080 80 | 0.000 % |
25.56/25.66 c | 54678 | 10688 42760 118489 | 2147483647 54678 80 | 0.000 % |
26.16/26.22 c | 55333 | 10688 42760 118489 | 2147483647 55333 80 | 0.000 % |
26.36/26.44 c | 56053 | 10688 42760 118489 | 2147483647 56053 80 | 0.000 % |
26.36/26.47 c | 56153 | 10688 42760 118489 | 2147483647 56153 80 | 0.000 % |
26.46/26.55 c | 56264 | 10688 42760 118489 | 2147483647 56264 80 | 0.000 % |
26.56/26.62 c | 56386 | 10688 42760 118489 | 2147483647 56386 80 | 0.000 % |
26.56/26.67 c | 56520 | 10688 42760 118489 | 2147483647 56520 80 | 0.000 % |
26.66/26.77 c | 56668 | 10688 42760 118489 | 2147483647 56668 80 | 0.000 % |
26.76/26.82 c | 56828 | 10688 42760 118489 | 2147483647 56828 80 | 0.000 % |
26.76/26.86 c | 57005 | 10688 42760 118489 | 2147483647 57005 80 | 0.000 % |
26.86/26.95 c | 57198 | 10688 42760 118489 | 2147483647 57198 80 | 0.000 % |
26.96/27.02 c | 57411 | 10688 42760 118489 | 2147483647 57411 80 | 0.000 % |
27.06/27.18 c | 57644 | 10688 42760 118489 | 2147483647 57644 80 | 0.000 % |
27.26/27.30 c | 57901 | 10688 42760 118489 | 2147483647 57901 79 | 0.000 % |
27.46/27.59 c | 58183 | 10688 42760 118489 | 2147483647 58183 79 | 0.000 % |
27.56/27.68 c | 58492 | 10688 42760 118489 | 2147483647 58492 79 | 0.000 % |
27.86/27.90 c | 58832 | 10688 42760 118489 | 2147483647 58832 79 | 0.000 % |
28.15/28.25 c | 59204 | 10688 42760 118489 | 2147483647 59204 79 | 0.000 % |
28.65/28.78 c | 59613 | 10688 42760 118489 | 2147483647 59613 79 | 0.000 % |
28.85/28.94 c | 60063 | 10688 42760 118489 | 2147483647 60063 79 | 0.000 % |
29.45/29.55 c | 60557 | 10688 42760 118489 | 2147483647 60557 80 | 0.000 % |
29.66/29.74 c | 61099 | 10688 42760 118489 | 2147483647 61099 80 | 0.000 % |
29.95/30.05 c | 61695 | 10688 42760 118489 | 2147483647 61695 80 | 0.000 % |
30.55/30.63 c | 62351 | 10688 42760 118489 | 2147483647 62351 80 | 0.000 % |
31.25/31.32 c | 63071 | 10688 42760 118489 | 2147483647 63071 80 | 0.000 % |
31.45/31.55 c | 63864 | 10688 42760 118489 | 2147483647 63864 80 | 0.000 % |
31.55/31.60 c | 63966 | 10688 42760 118489 | 2147483647 63966 80 | 0.000 % |
31.65/31.73 c | 64076 | 10688 42760 118489 | 2147483647 64076 80 | 0.000 % |
31.75/31.87 c | 64199 | 10688 42760 118489 | 2147483647 64199 81 | 0.000 % |
31.85/31.94 c | 64332 | 10688 42760 118489 | 2147483647 64332 81 | 0.000 % |
31.95/32.06 c | 64479 | 10688 42760 118489 | 2147483647 64479 81 | 0.000 % |
31.95/32.10 c | 64639 | 10688 42760 118489 | 2147483647 64639 81 | 0.000 % |
32.25/32.33 c | 64816 | 10688 42760 118489 | 2147483647 64816 81 | 0.000 % |
32.34/32.44 c | 65010 | 10688 42760 118489 | 2147483647 65010 81 | 0.000 % |
32.45/32.57 c | 65222 | 10688 42760 118489 | 2147483647 65222 81 | 0.000 % |
32.55/32.68 c | 65457 | 10688 42760 118489 | 2147483647 65457 81 | 0.000 % |
32.65/32.75 c | 65713 | 10688 42760 118489 | 2147483647 65713 81 | 0.000 % |
32.86/32.99 c | 65995 | 10688 42760 118489 | 2147483647 65995 81 | 0.000 % |
33.05/33.17 c | 66304 | 10688 42760 118489 | 2147483647 66304 81 | 0.000 % |
33.35/33.44 c | 66644 | 10688 42760 118489 | 2147483647 66644 81 | 0.000 % |
33.45/33.52 c | 67016 | 10688 42760 118489 | 2147483647 67016 81 | 0.000 % |
33.55/33.66 c | 67427 | 10688 42760 118489 | 2147483647 67427 81 | 0.000 % |
33.75/33.84 c | 67877 | 10688 42760 118489 | 2147483647 67877 80 | 0.000 % |
33.96/34.08 c | 68370 | 10688 42760 118489 | 2147483647 68370 80 | 0.000 % |
34.55/34.68 c | 68912 | 10688 42760 118489 | 2147483647 68912 80 | 0.000 % |
34.95/35.00 c | 69510 | 10688 42760 118489 | 2147483647 69510 80 | 0.000 % |
35.25/35.31 c | 70165 | 10688 42760 118489 | 2147483647 70165 80 | 0.000 % |
35.85/35.92 c | 70885 | 10688 42760 118489 | 2147483647 70885 81 | 0.000 % |
36.75/36.85 c | 71677 | 10688 42760 118489 | 2147483647 71677 81 | 0.000 % |
37.15/37.29 c | 72549 | 10688 42760 118489 | 2147483647 72549 80 | 0.000 % |
37.25/37.37 c | 72649 | 10688 42760 118489 | 2147483647 72649 80 | 0.000 % |
37.35/37.44 c | 72761 | 10688 42760 118489 | 2147483647 72761 80 | 0.000 % |
37.45/37.51 c | 72883 | 10688 42760 118489 | 2147483647 72883 80 | 0.000 % |
37.45/37.58 c | 73016 | 10688 42760 118489 | 2147483647 73016 80 | 0.000 % |
37.55/37.66 c | 73163 | 10688 42760 118489 | 2147483647 73163 80 | 0.000 % |
37.65/37.78 c | 73324 | 10688 42760 118489 | 2147483647 73324 80 | 0.000 % |
37.75/37.86 c | 73500 | 10688 42760 118489 | 2147483647 73500 80 | 0.000 % |
37.85/37.92 c | 73694 | 10688 42760 118489 | 2147483647 73694 80 | 0.000 % |
37.94/38.00 c | 73907 | 10688 42760 118489 | 2147483647 73907 80 | 0.000 % |
38.04/38.13 c | 74141 | 10688 42760 118489 | 2147483647 74141 80 | 0.000 % |
38.45/38.51 c | 74397 | 10688 42760 118489 | 2147483647 74397 80 | 0.000 % |
38.45/38.59 c | 74679 | 10688 42760 118489 | 2147483647 74679 80 | 0.000 % |
38.84/38.92 c | 74988 | 10688 42760 118489 | 2147483647 74988 80 | 0.000 % |
38.94/39.06 c | 75327 | 10688 42760 118489 | 2147483647 75327 80 | 0.000 % |
39.44/39.55 c | 75699 | 10688 42760 118489 | 2147483647 75699 80 | 0.000 % |
39.64/39.78 c | 76108 | 10688 42760 118489 | 2147483647 76108 80 | 0.000 % |
39.94/40.03 c | 76557 | 10688 42760 118489 | 2147483647 76557 79 | 0.000 % |
40.15/40.22 c | 77051 | 10688 42760 118489 | 2147483647 77051 80 | 0.000 % |
40.35/40.49 c | 77596 | 10688 42760 118489 | 2147483647 77596 80 | 0.000 % |
40.65/40.71 c | 78193 | 10688 42760 118489 | 2147483647 78193 80 | 0.000 % |
40.75/40.89 c | 78849 | 10688 42760 118489 | 2147483647 78849 79 | 0.000 % |
41.94/42.07 c | 79569 | 10688 42760 118489 | 2147483647 79569 80 | 0.000 % |
42.75/42.87 c | 80362 | 10688 42760 118489 | 2147483647 80362 80 | 0.000 % |
43.04/43.14 c | 81233 | 10688 42760 118489 | 2147483647 81233 80 | 0.000 % |
47.63/47.70 c | 82191 | 10688 42760 118489 | 2147483647 82191 81 | 0.000 % |
47.73/47.83 c | 82291 | 10688 42760 118489 | 2147483647 82291 81 | 0.000 % |
47.83/47.95 c | 82401 | 10688 42760 118489 | 2147483647 82401 81 | 0.000 % |
47.93/48.02 c | 82523 | 10688 42760 118489 | 2147483647 82523 81 | 0.000 % |
48.03/48.18 c | 82656 | 10688 42760 118489 | 2147483647 82656 81 | 0.001 % |
48.13/48.24 c | 82802 | 10688 42760 118489 | 2147483647 82802 81 | 0.000 % |
48.23/48.33 c | 82962 | 10688 42760 118489 | 2147483647 82962 81 | 0.000 % |
48.43/48.58 c | 83139 | 10688 42760 118489 | 2147483647 83139 81 | 0.000 % |
48.53/48.66 c | 83332 | 10688 42760 118489 | 2147483647 83332 81 | 0.000 % |
48.93/49.04 c | 83544 | 10688 42760 118489 | 2147483647 83544 81 | 0.000 % |
49.13/49.22 c | 83778 | 10688 42760 118489 | 2147483647 83778 81 | 0.000 % |
49.23/49.35 c | 84034 | 10688 42760 118489 | 2147483647 84034 81 | 0.000 % |
49.43/49.59 c | 84316 | 10688 42760 118489 | 2147483647 84316 81 | 0.000 % |
49.63/49.77 c | 84626 | 10688 42760 118489 | 2147483647 84626 81 | 0.000 % |
49.93/50.09 c | 84966 | 10688 42760 118489 | 2147483647 84966 81 | 0.000 % |
50.73/50.80 c | 85338 | 10688 42760 118489 | 2147483647 85338 82 | 0.000 % |
51.13/51.25 c | 85749 | 10688 42760 118489 | 2147483647 85749 82 | 0.000 % |
52.12/52.21 c | 86198 | 10688 42760 118489 | 2147483647 86198 82 | 0.000 % |
52.73/52.85 c | 86691 | 10688 42760 118489 | 2147483647 86691 82 | 0.000 % |
53.83/53.95 c | 87234 | 10688 42760 118489 | 2147483647 87234 82 | 0.000 % |
54.02/54.10 c | 87830 | 10688 42760 118489 | 2147483647 87830 82 | 0.000 % |
54.52/54.68 c | 88486 | 10688 42760 118489 | 2147483647 88486 81 | 0.000 % |
55.02/55.20 c | 89207 | 10688 42760 118489 | 2147483647 89207 81 | 0.000 % |
55.42/55.50 c | 90001 | 10688 42760 118489 | 2147483647 90001 81 | 0.000 % |
55.92/56.07 c | 90872 | 10688 42760 118489 | 2147483647 90872 82 | 0.000 % |
56.22/56.37 c | 91830 | 10688 42760 118489 | 2147483647 91830 81 | 0.000 % |
56.52/56.68 c | 92884 | 10688 42760 118489 | 2147483647 92884 81 | 0.000 % |
56.62/56.76 c | 92984 | 10688 42760 118489 | 2147483647 92984 81 | 0.000 % |
56.72/56.89 c | 93095 | 10688 42760 118489 | 2147483647 93095 81 | 0.000 % |
56.82/56.98 c | 93217 | 10688 42760 118489 | 2147483647 93217 81 | 0.000 % |
56.92/57.09 c | 93350 | 10688 42760 118489 | 2147483647 93350 80 | 0.000 % |
57.23/57.33 c | 93496 | 10688 42760 118489 | 2147483647 93496 81 | 0.000 % |
57.33/57.40 c | 93657 | 10688 42760 118489 | 2147483647 93657 80 | 0.000 % |
57.53/57.66 c | 93834 | 10688 42760 118489 | 2147483647 93834 80 | 0.000 % |
57.73/57.81 c | 94028 | 10688 42760 118489 | 2147483647 94028 80 | 0.000 % |
57.83/57.97 c | 94240 | 10688 42760 118489 | 2147483647 94240 80 | 0.000 % |
58.03/58.10 c | 94474 | 10688 42760 118489 | 2147483647 94474 80 | 0.000 % |
58.72/58.89 c | 94731 | 10688 42760 118489 | 2147483647 94731 81 | 0.000 % |
59.02/59.12 c | 95013 | 10688 42760 118489 | 2147483647 95013 81 | 0.000 % |
59.12/59.26 c | 95323 | 10688 42760 118489 | 2147483647 95323 80 | 0.000 % |
59.42/59.54 c | 95662 | 10688 42760 118489 | 2147483647 95662 80 | 0.000 % |
60.22/60.33 c | 96035 | 10688 42760 118489 | 2147483647 96035 80 | 0.000 % |
60.72/60.84 c | 96444 | 10688 42760 118489 | 2147483647 96444 81 | 0.000 % |
61.02/61.17 c | 96893 | 10688 42760 118489 | 2147483647 96893 81 | 0.000 % |
61.31/61.49 c | 97388 | 10688 42760 118489 | 2147483647 97388 81 | 0.000 % |
61.82/61.95 c | 97931 | 10688 42760 118489 | 2147483647 97931 81 | 0.000 % |
63.73/63.80 c | 98530 | 10688 42760 118489 | 2147483647 98530 82 | 0.000 % |
64.02/64.15 c | 99186 | 10688 42760 118489 | 2147483647 99186 82 | 0.000 % |
64.62/64.71 c | 99907 | 10688 42760 118489 | 2147483647 99907 82 | 0.000 % |
65.22/65.38 c | 100700 | 10688 42760 118489 | 2147483647 100700 82 | 0.000 % |
66.52/66.65 c | 101572 | 10688 42760 118489 | 2147483647 101572 82 | 0.000 % |
67.02/67.20 c | 102531 | 10688 42760 118489 | 2147483647 102531 82 | 0.000 % |
67.61/67.78 c | 103584 | 10688 42760 118489 | 2147483647 103584 82 | 0.000 % |
68.91/69.01 c | 104745 | 10688 42760 118489 | 2147483647 104745 83 | 0.000 % |
68.91/69.09 c | 104847 | 10688 42760 118489 | 2147483647 104847 83 | 0.000 % |
69.01/69.13 c | 104957 | 10688 42760 118489 | 2147483647 104957 82 | 0.000 % |
69.12/69.28 c | 105080 | 10688 42760 118489 | 2147483647 105080 82 | 0.000 % |
69.22/69.39 c | 105213 | 10688 42760 118489 | 2147483647 105213 82 | 0.000 % |
69.31/69.44 c | 105360 | 10688 42760 118489 | 2147483647 105360 82 | 0.000 % |
69.31/69.47 c | 105521 | 10688 42760 118489 | 2147483647 105521 82 | 0.000 % |
69.41/69.59 c | 105699 | 10688 42760 118489 | 2147483647 105699 82 | 0.000 % |
69.61/69.73 c | 105892 | 10688 42760 118489 | 2147483647 105892 82 | 0.000 % |
69.81/69.91 c | 106106 | 10688 42760 118489 | 2147483647 106106 82 | 0.000 % |
70.41/70.58 c | 106339 | 10688 42760 118489 | 2147483647 106339 82 | 0.000 % |
70.71/70.83 c | 106597 | 10688 42760 118489 | 2147483647 106597 82 | 0.000 % |
70.91/71.01 c | 106878 | 10688 42760 118489 | 2147483647 106878 82 | 0.000 % |
71.01/71.13 c | 107189 | 10688 42760 118489 | 2147483647 107189 82 | 0.000 % |
71.42/71.56 c | 107529 | 10688 42760 118489 | 2147483647 107529 82 | 0.000 % |
71.81/71.93 c | 107901 | 10688 42760 118489 | 2147483647 107901 82 | 0.000 % |
72.21/72.31 c | 108310 | 10688 42760 118489 | 2147483647 108310 82 | 0.000 % |
73.01/73.18 c | 108759 | 10688 42760 118489 | 2147483647 108759 83 | 0.000 % |
73.42/73.52 c | 109252 | 10688 42760 118489 | 2147483647 109252 83 | 0.000 % |
73.72/73.89 c | 109794 | 10688 42760 118489 | 2147483647 109794 82 | 0.000 % |
74.12/74.29 c | 110391 | 10688 42760 118489 | 2147483647 110391 82 | 0.000 % |
75.22/75.35 c | 111046 | 10688 42760 118489 | 2147483647 111046 82 | 0.000 % |
75.82/75.93 c | 111766 | 10688 42760 118489 | 2147483647 111766 82 | 0.000 % |
77.61/77.80 c | 112558 | 10688 42760 118489 | 2147483647 112558 83 | 0.000 % |
78.41/78.53 c | 113429 | 10688 42760 118489 | 2147483647 113429 83 | 0.000 % |
79.01/79.17 c | 114389 | 10688 42760 118489 | 2147483647 114389 84 | 0.000 % |
81.01/81.11 c | 115442 | 10688 42760 118489 | 2147483647 115442 84 | 0.000 % |
81.71/81.84 c | 116601 | 10688 42760 118489 | 2147483647 116601 84 | 0.000 % |
82.90/83.08 c | 117875 | 10688 42760 118489 | 2147483647 117875 84 | 0.000 % |
83.10/83.22 c | 117976 | 10688 42760 118489 | 2147483647 117976 84 | 0.000 % |
83.10/83.29 c | 118086 | 10688 42760 118489 | 2147483647 118086 84 | 0.000 % |
83.41/83.52 c | 118208 | 10688 42760 118489 | 2147483647 118208 84 | 0.000 % |
83.41/83.57 c | 118343 | 10688 42760 118489 | 2147483647 118343 84 | 0.000 % |
83.51/83.63 c | 118490 | 10688 42760 118489 | 2147483647 118490 84 | 0.000 % |
83.80/83.91 c | 118650 | 10688 42760 118489 | 2147483647 118650 84 | 0.000 % |
84.00/84.10 c | 118827 | 10688 42760 118489 | 2147483647 118827 84 | 0.000 % |
84.10/84.24 c | 119020 | 10688 42760 118489 | 2147483647 119020 84 | 0.000 % |
84.30/84.48 c | 119232 | 10688 42760 118489 | 2147483647 119232 84 | 0.000 % |
84.51/84.63 c | 119467 | 10688 42760 118489 | 2147483647 119467 84 | 0.000 % |
84.70/84.82 c | 119723 | 10688 42760 118489 | 2147483647 119723 84 | 0.000 % |
85.20/85.39 c | 120005 | 10688 42760 118489 | 2147483647 120005 84 | 0.000 % |
85.50/85.63 c | 120315 | 10688 42760 118489 | 2147483647 120315 84 | 0.000 % |
85.90/86.06 c | 120654 | 10688 42760 118489 | 2147483647 120654 84 | 0.000 % |
86.10/86.23 c | 121026 | 10688 42760 118489 | 2147483647 121026 84 | 0.000 % |
86.40/86.52 c | 121435 | 10688 42760 118489 | 2147483647 121435 84 | 0.000 % |
87.00/87.10 c | 121885 | 10688 42760 118489 | 2147483647 121885 84 | 0.000 % |
87.40/87.59 c | 122378 | 10688 42760 118489 | 2147483647 122378 84 | 0.000 % |
87.90/88.00 c | 122921 | 10688 42760 118489 | 2147483647 122921 84 | 0.000 % |
88.10/88.23 c | 123518 | 10688 42760 118489 | 2147483647 123518 84 | 0.000 % |
88.81/88.91 c | 124176 | 10688 42760 118489 | 2147483647 124176 84 | 0.000 % |
89.10/89.23 c | 124898 | 10688 42760 118489 | 2147483647 124898 84 | 0.000 % |
90.11/90.30 c | 125690 | 10688 42760 118489 | 2147483647 125690 84 | 0.000 % |
91.30/91.42 c | 126561 | 10688 42760 118489 | 2147483647 126561 84 | 0.000 % |
91.90/92.00 c | 127519 | 10688 42760 118489 | 2147483647 127519 84 | 0.000 % |
92.49/92.65 c | 128573 | 10688 42760 118489 | 2147483647 128573 84 | 0.000 % |
93.49/93.63 c | 129731 | 10688 42760 118489 | 2147483647 129731 85 | 0.000 % |
94.89/95.02 c | 131005 | 10688 42760 118489 | 2147483647 131005 85 | 0.000 % |
97.40/97.57 c | 132406 | 10688 42760 118489 | 2147483647 132406 86 | 0.000 % |
97.50/97.70 c | 132506 | 10688 42760 118489 | 2147483647 132506 86 | 0.000 % |
97.60/97.79 c | 132617 | 10688 42760 118489 | 2147483647 132617 86 | 0.000 % |
97.90/98.06 c | 132740 | 10688 42760 118489 | 2147483647 132740 86 | 0.000 % |
98.10/98.25 c | 132874 | 10688 42760 118489 | 2147483647 132874 86 | 0.000 % |
98.30/98.40 c | 133021 | 10688 42760 118489 | 2147483647 133021 86 | 0.000 % |
98.50/98.60 c | 133181 | 10688 42760 118489 | 2147483647 133181 86 | 0.000 % |
98.60/98.72 c | 133358 | 10688 42760 118489 | 2147483647 133358 86 | 0.000 % |
98.90/99.06 c | 133551 | 10688 42760 118489 | 2147483647 133551 86 | 0.000 % |
99.30/99.46 c | 133763 | 10688 42760 118489 | 2147483647 133763 86 | 0.000 % |
99.50/99.60 c | 133997 | 10688 42760 118489 | 2147483647 133997 86 | 0.000 % |
99.70/99.89 c | 134257 | 10688 42760 118489 | 2147483647 134257 86 | 0.000 % |
100.00/100.17 c | 134538 | 10688 42760 118489 | 2147483647 134538 86 | 0.000 % |
100.39/100.57 c | 134847 | 10688 42760 118489 | 2147483647 134847 86 | 0.000 % |
100.69/100.82 c | 135186 | 10688 42760 118489 | 2147483647 135186 86 | 0.000 % |
100.89/101.06 c | 135559 | 10688 42760 118489 | 2147483647 135559 86 | 0.000 % |
101.39/101.58 c | 135968 | 10688 42760 118489 | 2147483647 135968 86 | 0.000 % |
101.79/101.96 c | 136417 | 10688 42760 118489 | 2147483647 136417 86 | 0.000 % |
102.09/102.25 c | 136911 | 10688 42760 118489 | 2147483647 136911 86 | 0.000 % |
103.09/103.21 c | 137454 | 10688 42760 118489 | 2147483647 137454 86 | 0.000 % |
103.89/104.00 c | 138052 | 10688 42760 118489 | 2147483647 138052 86 | 0.000 % |
104.49/104.63 c | 138710 | 10688 42760 118489 | 2147483647 138710 86 | 0.000 % |
108.79/108.95 c | 139431 | 10688 42760 118489 | 2147483647 139431 86 | 0.000 % |
110.29/110.44 c | 140223 | 10688 42760 118489 | 2147483647 140223 86 | 0.000 % |
111.09/111.27 c | 141094 | 10688 42760 118489 | 2147483647 141094 86 | 0.000 % |
112.10/112.25 c | 142052 | 10688 42760 118489 | 2147483647 142052 87 | 0.000 % |
113.79/113.96 c | 143108 | 10688 42760 118489 | 2147483647 143108 87 | 0.000 % |
115.89/116.00 c | 144266 | 10688 42760 118489 | 2147483647 144266 88 | 0.000 % |
118.49/118.67 c | 145540 | 10688 42760 118489 | 2147483647 145540 88 | 0.000 % |
119.49/119.64 c | 146940 | 10688 42760 118489 | 2147483647 146940 88 | 0.000 % |
120.38/120.57 c | 148480 | 10688 42760 118489 | 2147483647 148480 88 | 0.000 % |
120.58/120.78 c | 148582 | 10688 42760 118489 | 2147483647 148582 88 | 0.000 % |
120.79/120.93 c | 148692 | 10688 42760 118489 | 2147483647 148692 88 | 0.000 % |
120.89/121.07 c | 148813 | 10688 42760 118489 | 2147483647 148813 88 | 0.000 % |
120.98/121.19 c | 148946 | 10688 42760 118489 | 2147483647 148946 88 | 0.000 % |
121.68/121.85 c | 149093 | 10688 42760 118489 | 2147483647 149093 88 | 0.000 % |
121.89/122.05 c | 149253 | 10688 42760 118489 | 2147483647 149253 88 | 0.000 % |
122.08/122.24 c | 149430 | 10688 42760 118489 | 2147483647 149430 88 | 0.000 % |
122.38/122.59 c | 149623 | 10688 42760 118489 | 2147483647 149623 88 | 0.000 % |
122.58/122.74 c | 149835 | 10688 42760 118489 | 2147483647 149835 88 | 0.000 % |
122.78/122.93 c | 150068 | 10688 42760 118489 | 2147483647 150068 88 | 0.000 % |
123.09/123.28 c | 150326 | 10688 42760 118489 | 2147483647 150326 88 | 0.000 % |
123.38/123.55 c | 150607 | 10688 42760 118489 | 2147483647 150607 88 | 0.000 % |
123.68/123.83 c | 150917 | 10688 42760 118489 | 2147483647 150917 88 | 0.000 % |
123.98/124.15 c | 151256 | 10688 42760 118489 | 2147483647 151256 88 | 0.000 % |
124.78/124.97 c | 151629 | 10688 42760 118489 | 2147483647 151629 88 | 0.000 % |
125.18/125.31 c | 152038 | 10688 42760 118489 | 2147483647 152038 88 | 0.000 % |
125.28/125.45 c | 152487 | 10688 42760 118489 | 2147483647 152487 88 | 0.000 % |
126.98/127.13 c | 152980 | 10688 42760 118489 | 2147483647 152980 88 | 0.000 % |
127.68/127.85 c | 153523 | 10688 42760 118489 | 2147483647 153523 88 | 0.000 % |
128.38/128.54 c | 154120 | 10688 42760 118489 | 2147483647 154120 88 | 0.000 % |
128.78/128.98 c | 154775 | 10688 42760 118489 | 2147483647 154775 88 | 0.000 % |
130.18/130.36 c | 155495 | 10688 42760 118489 | 2147483647 155495 88 | 0.000 % |
131.28/131.41 c | 156287 | 10688 42760 118489 | 2147483647 156287 88 | 0.000 % |
133.88/134.02 c | 157161 | 10688 42760 118489 | 2147483647 157161 88 | 0.000 % |
134.97/135.14 c | 158119 | 10688 42760 118489 | 2147483647 158119 88 | 0.000 % |
137.27/137.41 c | 159173 | 10688 42760 118489 | 2147483647 159173 88 | 0.000 % |
138.47/138.69 c | 160331 | 10688 42760 118489 | 2147483647 160331 87 | 0.000 % |
140.87/141.00 c | 161604 | 10688 42760 118489 | 2147483647 161604 87 | 0.000 % |
145.17/145.40 c | 163004 | 10688 42760 118489 | 2147483647 163004 87 | 0.000 % |
147.17/147.32 c | 164544 | 10688 42760 118489 | 2147483647 164544 88 | 0.000 % |
148.56/148.80 c | 166238 | 10688 42760 118489 | 2147483647 166238 88 | 0.000 % |
148.66/148.87 c | 166339 | 10688 42760 118489 | 2147483647 166339 88 | 0.000 % |
148.97/149.11 c | 166449 | 10688 42760 118489 | 2147483647 166449 88 | 0.000 % |
149.07/149.25 c | 166570 | 10688 42760 118489 | 2147483647 166570 88 | 0.000 % |
149.17/149.37 c | 166703 | 10688 42760 118489 | 2147483647 166703 88 | 0.000 % |
149.37/149.53 c | 166850 | 10688 42760 118489 | 2147483647 166850 88 | 0.000 % |
149.67/149.89 c | 167010 | 10688 42760 118489 | 2147483647 167010 88 | 0.000 % |
149.86/150.03 c | 167186 | 10688 42760 118489 | 2147483647 167186 88 | 0.000 % |
150.06/150.25 c | 167379 | 10688 42760 118489 | 2147483647 167379 88 | 0.000 % |
150.36/150.59 c | 167592 | 10688 42760 118489 | 2147483647 167592 88 | 0.000 % |
151.06/151.22 c | 167826 | 10688 42760 118489 | 2147483647 167826 88 | 0.000 % |
151.46/151.69 c | 168083 | 10688 42760 118489 | 2147483647 168083 88 | 0.000 % |
151.76/151.99 c | 168365 | 10688 42760 118489 | 2147483647 168365 88 | 0.000 % |
152.26/152.42 c | 168676 | 10688 42760 118489 | 2147483647 168676 88 | 0.000 % |
152.76/152.98 c | 169016 | 10688 42760 118489 | 2147483647 169016 88 | 0.000 % |
153.16/153.39 c | 169389 | 10688 42760 118489 | 2147483647 169389 88 | 0.000 % |
153.86/154.04 c | 169800 | 10688 42760 118489 | 2147483647 169800 88 | 0.000 % |
154.16/154.33 c | 170249 | 10688 42760 118489 | 2147483647 170249 88 | 0.000 % |
155.46/155.64 c | 170743 | 10688 42760 118489 | 2147483647 170743 88 | 0.000 % |
156.16/156.32 c | 171285 | 10688 42760 118489 | 2147483647 171285 88 | 0.000 % |
156.86/157.09 c | 171881 | 10688 42760 118489 | 2147483647 171881 88 | 0.000 % |
157.66/157.90 c | 172536 | 10688 42760 118489 | 2147483647 172536 87 | 0.000 % |
158.26/158.42 c | 173257 | 10688 42760 118489 | 2147483647 173257 88 | 0.000 % |
159.36/159.58 c | 174051 | 10688 42760 118489 | 2147483647 174051 88 | 0.000 % |
160.25/160.42 c | 174925 | 10688 42760 118489 | 2147483647 174925 88 | 0.000 % |
162.15/162.30 c | 175883 | 10688 42760 118489 | 2147483647 175883 88 | 0.000 % |
163.46/163.68 c | 176938 | 10688 42760 118489 | 2147483647 176938 88 | 0.000 % |
165.66/165.87 c | 178096 | 10688 42760 118489 | 2147483647 178096 88 | 0.000 % |
166.96/167.19 c | 179369 | 10688 42760 118489 | 2147483647 179369 88 | 0.000 % |
169.55/169.78 c | 180770 | 10688 42760 118489 | 2147483647 180770 89 | 0.000 % |
170.76/170.93 c | 182311 | 10688 42760 118489 | 2147483647 182311 88 | 0.000 % |
172.75/172.99 c | 184007 | 10688 42760 118489 | 2147483647 184007 88 | 0.000 % |
174.25/174.45 c | 185870 | 10688 42760 118489 | 2147483647 185870 88 | 0.000 % |
174.35/174.53 c | 185971 | 10688 42760 118489 | 2147483647 185971 88 | 0.000 % |
174.55/174.79 c | 186081 | 10688 42760 118489 | 2147483647 186081 88 | 0.000 % |
174.65/174.86 c | 186202 | 10688 42760 118489 | 2147483647 186202 88 | 0.000 % |
174.85/175.01 c | 186335 | 10688 42760 118489 | 2147483647 186335 88 | 0.000 % |
174.95/175.14 c | 186481 | 10688 42760 118489 | 2147483647 186481 88 | 0.000 % |
175.25/175.41 c | 186641 | 10688 42760 118489 | 2147483647 186641 88 | 0.000 % |
175.46/175.61 c | 186817 | 10688 42760 118489 | 2147483647 186817 88 | 0.000 % |
175.66/175.81 c | 187011 | 10688 42760 118489 | 2147483647 187011 88 | 0.000 % |
175.76/176.00 c | 187223 | 10688 42760 118489 | 2147483647 187223 88 | 0.000 % |
176.06/176.28 c | 187456 | 10688 42760 118489 | 2147483647 187456 88 | 0.000 % |
176.36/176.55 c | 187712 | 10688 42760 118489 | 2147483647 187712 87 | 0.000 % |
177.66/177.87 c | 187994 | 10688 42760 118489 | 2147483647 187994 88 | 0.000 % |
177.86/178.10 c | 188304 | 10688 42760 118489 | 2147483647 188304 88 | 0.000 % |
178.45/178.69 c | 188643 | 10688 42760 118489 | 2147483647 188643 87 | 0.000 % |
179.55/179.78 c | 189015 | 10688 42760 118489 | 2147483647 189015 87 | 0.000 % |
180.45/180.68 c | 189426 | 10688 42760 118489 | 2147483647 189426 88 | 0.000 % |
181.05/181.22 c | 189876 | 10688 42760 118489 | 2147483647 189876 88 | 0.000 % |
182.04/182.28 c | 190370 | 10687 42755 118478 | 2147483647 190368 88 | 0.009 % |
184.04/184.25 c | 190913 | 10687 42755 118478 | 2147483647 190911 88 | 0.009 % |
184.65/184.89 c | 191509 | 10687 42755 118478 | 2147483647 191507 88 | 0.009 % |
185.54/185.80 c | 192165 | 10687 42755 118478 | 2147483647 192163 88 | 0.009 % |
186.34/186.53 c | 192886 | 10687 42755 118478 | 2147483647 192884 88 | 0.009 % |
186.74/186.99 c | 193679 | 10687 42755 118478 | 2147483647 193677 88 | 0.009 % |
187.85/188.05 c | 194553 | 10687 42755 118478 | 2147483647 194551 88 | 0.009 % |
189.54/189.79 c | 195511 | 10687 42755 118478 | 2147483647 195509 88 | 0.009 % |
190.44/190.65 c | 196565 | 10687 42755 118478 | 2147483647 196563 88 | 0.010 % |
191.74/191.97 c | 197723 | 10687 42755 118478 | 2147483647 197721 88 | 0.009 % |
194.74/194.99 c | 198996 | 10687 42755 118478 | 2147483647 198994 88 | 0.009 % |
199.24/199.45 c | 200397 | 10687 42755 118478 | 2147483647 200395 89 | 0.009 % |
204.23/204.49 c | 201937 | 10687 42755 118478 | 2147483647 201935 89 | 0.009 % |
206.23/206.49 c | 203633 | 10687 42755 118478 | 2147483647 203631 89 | 0.009 % |
209.03/209.20 c | 205496 | 10687 42755 118478 | 2147483647 205494 89 | 0.009 % |
215.44/215.63 c | 207545 | 10687 42755 118478 | 2147483647 207543 89 | 0.009 % |
215.64/215.88 c | 207646 | 10687 42755 118478 | 2147483647 207644 89 | 0.009 % |
215.74/215.96 c | 207756 | 10687 42755 118478 | 2147483647 207754 89 | 0.009 % |
215.84/216.07 c | 207878 | 10687 42755 118478 | 2147483647 207876 89 | 0.009 % |
216.04/216.29 c | 208013 | 10687 42755 118478 | 2147483647 208011 89 | 0.009 % |
216.34/216.59 c | 208159 | 10687 42755 118478 | 2147483647 208157 89 | 0.009 % |
216.64/216.86 c | 208319 | 10687 42755 118478 | 2147483647 208317 89 | 0.009 % |
216.94/217.14 c | 208497 | 10687 42755 118478 | 2147483647 208495 89 | 0.009 % |
217.24/217.45 c | 208691 | 10687 42755 118478 | 2147483647 208689 89 | 0.009 % |
217.54/217.78 c | 208904 | 10687 42755 118478 | 2147483647 208902 89 | 0.009 % |
218.14/218.36 c | 209137 | 10687 42755 118478 | 2147483647 209135 89 | 0.009 % |
218.53/218.75 c | 209393 | 10687 42755 118478 | 2147483647 209391 89 | 0.009 % |
219.53/219.77 c | 209675 | 10687 42755 118478 | 2147483647 209673 89 | 0.009 % |
219.74/219.99 c | 209984 | 10687 42755 118478 | 2147483647 209982 89 | 0.009 % |
220.63/220.88 c | 210323 | 10687 42755 118478 | 2147483647 210321 89 | 0.009 % |
221.33/221.59 c | 210695 | 10687 42755 118478 | 2147483647 210693 89 | 0.009 % |
222.23/222.44 c | 211104 | 10687 42755 118478 | 2147483647 211102 89 | 0.009 % |
224.83/225.06 c | 211554 | 10687 42755 118478 | 2147483647 211552 89 | 0.009 % |
225.33/225.51 c | 212047 | 10687 42755 118478 | 2147483647 212045 89 | 0.009 % |
225.82/226.09 c | 212590 | 10687 42755 118478 | 2147483647 212588 89 | 0.009 % |
226.72/226.98 c | 213188 | 10687 42755 118478 | 2147483647 213186 89 | 0.009 % |
227.92/228.16 c | 213844 | 10687 42755 118478 | 2147483647 213842 89 | 0.009 % |
229.73/229.94 c | 214564 | 10687 42755 118478 | 2147483647 214562 89 | 0.009 % |
230.42/230.62 c | 215356 | 10687 42755 118478 | 2147483647 215354 89 | 0.009 % |
234.12/234.33 c | 216227 | 10687 42755 118478 | 2147483647 216225 90 | 0.009 % |
234.62/234.84 c | 217185 | 10687 42755 118478 | 2147483647 217183 89 | 0.009 % |
235.22/235.47 c | 218238 | 10687 42755 118478 | 2147483647 218236 89 | 0.009 % |
239.92/240.15 c | 219397 | 10687 42755 118478 | 2147483647 219395 89 | 0.009 % |
240.62/240.87 c | 220670 | 10687 42755 118478 | 2147483647 220668 89 | 0.009 % |
245.21/245.49 c | 222071 | 10687 42755 118478 | 2147483647 222069 89 | 0.009 % |
247.11/247.39 c | 223611 | 10687 42755 118478 | 2147483647 223609 89 | 0.011 % |
254.41/254.63 c | 225306 | 10687 42755 118478 | 2147483647 225304 90 | 0.009 % |
257.01/257.20 c | 227170 | 10687 42755 118478 | 2147483647 227168 89 | 0.009 % |
264.21/264.42 c | 229220 | 10687 42755 118478 | 2147483647 229218 90 | 0.009 % |
267.01/267.21 c | 231473 | 10687 42755 118478 | 2147483647 231471 90 | 0.009 % |
267.11/267.38 c | 231573 | 10687 42755 118478 | 2147483647 231571 89 | 0.009 % |
267.41/267.67 c | 231683 | 10687 42755 118478 | 2147483647 231681 90 | 0.009 % |
267.61/267.89 c | 231805 | 10687 42755 118478 | 2147483647 231803 90 | 0.009 % |
267.81/268.05 c | 231938 | 10687 42755 118478 | 2147483647 231936 89 | 0.009 % |
268.11/268.38 c | 232086 | 10687 42755 118478 | 2147483647 232084 89 | 0.009 % |
268.30/268.59 c | 232246 | 10687 42755 118478 | 2147483647 232244 89 | 0.011 % |
268.50/268.70 c | 232423 | 10687 42755 118478 | 2147483647 232421 89 | 0.009 % |
269.20/269.50 c | 232617 | 10687 42755 118478 | 2147483647 232615 89 | 0.009 % |
269.60/269.80 c | 232829 | 10687 42755 118478 | 2147483647 232827 89 | 0.009 % |
269.80/270.08 c | 233062 | 10687 42755 118478 | 2147483647 233060 89 | 0.009 % |
270.30/270.54 c | 233318 | 10687 42755 118478 | 2147483647 233316 89 | 0.009 % |
270.50/270.77 c | 233600 | 10687 42755 118478 | 2147483647 233598 89 | 0.009 % |
271.20/271.45 c | 233911 | 10687 42755 118478 | 2147483647 233909 89 | 0.009 % |
271.70/271.98 c | 234250 | 10687 42755 118478 | 2147483647 234248 89 | 0.009 % |
272.51/272.74 c | 234625 | 10687 42755 118478 | 2147483647 234623 89 | 0.009 % |
273.00/273.29 c | 235034 | 10687 42755 118478 | 2147483647 235032 89 | 0.009 % |
273.70/273.98 c | 235483 | 10687 42755 118478 | 2147483647 235481 89 | 0.009 % |
274.40/274.64 c | 235984 | 10687 42755 118478 | 2147483647 235982 90 | 0.009 % |
275.40/275.61 c | 236526 | 10687 42755 118478 | 2147483647 236524 90 | 0.009 % |
277.80/278.01 c | 237122 | 10687 42755 118478 | 2147483647 237120 90 | 0.009 % |
278.90/279.16 c | 237777 | 10687 42755 118478 | 2147483647 237775 90 | 0.009 % |
280.20/280.42 c | 238497 | 10687 42755 118478 | 2147483647 238495 89 | 0.009 % |
282.09/282.34 c | 239289 | 10687 42755 118478 | 2147483647 239287 90 | 0.009 % |
282.99/283.22 c | 240162 | 10687 42755 118478 | 2147483647 240160 90 | 0.009 % |
288.30/288.54 c | 241120 | 10687 42755 118478 | 2147483647 241118 90 | 0.009 % |
290.00/290.25 c | 242175 | 10687 42755 118478 | 2147483647 242173 90 | 0.009 % |
291.09/291.38 c | 243334 | 10687 42755 118478 | 2147483647 243332 90 | 0.009 % |
295.18/295.42 c | 244607 | 10687 42755 118478 | 2147483647 244605 90 | 0.009 % |
299.27/299.57 c | 246007 | 10687 42755 118478 | 2147483647 246005 90 | 0.009 % |
301.87/302.19 c | 247548 | 10687 42755 118478 | 2147483647 247546 90 | 0.009 % |
303.47/303.71 c | 249243 | 10687 42755 118478 | 2147483647 249241 90 | 0.009 % |
307.07/307.32 c | 251107 | 10687 42755 118478 | 2147483647 251105 90 | 0.009 % |
312.67/312.95 c | 253157 | 10687 42755 118478 | 2147483647 253155 90 | 0.009 % |
316.86/317.15 c | 255413 | 10687 42755 118478 | 2147483647 255411 90 | 0.009 % |
325.86/326.11 c | 257891 | 10687 42755 118478 | 2147483647 257889 91 | 0.009 % |
325.96/326.27 c | 257991 | 10687 42755 118478 | 2147483647 257989 91 | 0.009 % |
326.26/326.54 c | 258101 | 10687 42755 118478 | 2147483647 258099 91 | 0.009 % |
326.36/326.68 c | 258222 | 10687 42755 118478 | 2147483647 258220 90 | 0.009 % |
326.66/326.97 c | 258357 | 10687 42755 118478 | 2147483647 258355 90 | 0.009 % |
326.96/327.21 c | 258503 | 10687 42755 118478 | 2147483647 258501 90 | 0.009 % |
327.26/327.52 c | 258663 | 10687 42755 118478 | 2147483647 258661 91 | 0.009 % |
327.46/327.75 c | 258839 | 10687 42755 118478 | 2147483647 258837 90 | 0.009 % |
327.66/327.95 c | 259032 | 10687 42755 118478 | 2147483647 259030 90 | 0.009 % |
327.96/328.27 c | 259244 | 10687 42755 118478 | 2147483647 259242 90 | 0.009 % |
328.46/328.79 c | 259477 | 10687 42755 118478 | 2147483647 259475 90 | 0.009 % |
330.36/330.61 c | 259734 | 10687 42755 118478 | 2147483647 259732 90 | 0.009 % |
330.76/331.04 c | 260015 | 10687 42755 118478 | 2147483647 260013 90 | 0.009 % |
331.25/331.55 c | 260327 | 10687 42755 118478 | 2147483647 260325 90 | 0.009 % |
331.96/332.22 c | 260666 | 10687 42755 118478 | 2147483647 260664 90 | 0.009 % |
333.35/333.62 c | 261038 | 10687 42755 118478 | 2147483647 261036 90 | 0.009 % |
334.05/334.39 c | 261448 | 10687 42755 118478 | 2147483647 261446 91 | 0.009 % |
334.65/334.99 c | 261898 | 10687 42755 118478 | 2147483647 261896 90 | 0.009 % |
335.65/335.96 c | 262392 | 10687 42755 118478 | 2147483647 262390 90 | 0.009 % |
336.75/337.05 c | 262934 | 10687 42755 118478 | 2147483647 262932 90 | 0.009 % |
338.35/338.62 c | 263530 | 10687 42755 118478 | 2147483647 263528 90 | 0.009 % |
338.75/339.09 c | 264185 | 10687 42755 118478 | 2147483647 264183 90 | 0.009 % |
340.26/340.52 c | 264907 | 10687 42755 118478 | 2147483647 264905 90 | 0.009 % |
341.76/342.03 c | 265699 | 10687 42755 118478 | 2147483647 265697 90 | 0.009 % |
344.95/345.27 c | 266572 | 10687 42755 118478 | 2147483647 266570 90 | 0.009 % |
347.05/347.33 c | 267530 | 10687 42755 118478 | 2147483647 267528 90 | 0.009 % |
348.25/348.53 c | 268584 | 10687 42755 118478 | 2147483647 268582 90 | 0.009 % |
351.25/351.51 c | 269742 | 10687 42755 118478 | 2147483647 269740 90 | 0.009 % |
355.25/355.57 c | 271015 | 10687 42755 118478 | 269999 271013 90 | 0.009 % |
357.54/357.84 c | 272415 | 10687 42755 118478 | 269999 236295 87 | 0.009 % |
360.55/360.88 c | 273956 | 10687 42755 118478 | 269999 237836 87 | 0.009 % |
365.54/365.81 c | 275650 | 10687 42755 118478 | 269999 239530 87 | 0.009 % |
367.74/368.08 c | 277513 | 10687 42755 118478 | 269999 241393 87 | 0.009 % |
369.94/370.21 c | 279562 | 10687 42755 118478 | 269999 243442 87 | 0.009 % |
371.04/371.31 c | 281818 | 10687 42755 118478 | 243881 245698 87 | 0.009 % |
378.44/378.77 c | 284296 | 10687 42755 118478 | 243881 223607 85 | 0.009 % |
381.63/381.99 c | 287021 | 10687 42755 118478 | 243881 226332 85 | 0.009 % |
381.93/382.27 c | 287122 | 10687 42755 118478 | 243881 226433 85 | 0.009 % |
382.13/382.44 c | 287232 | 10687 42755 118478 | 243881 226543 85 | 0.009 % |
382.33/382.66 c | 287354 | 10687 42755 118478 | 243881 226665 85 | 0.009 % |
382.63/382.94 c | 287488 | 10687 42755 118478 | 243881 226799 85 | 0.009 % |
383.03/383.36 c | 287636 | 10687 42755 118478 | 243881 226947 85 | 0.009 % |
383.43/383.70 c | 287796 | 10687 42755 118478 | 243881 227107 85 | 0.009 % |
383.54/383.85 c | 287972 | 10687 42755 118478 | 243881 227283 85 | 0.009 % |
383.73/384.09 c | 288165 | 10687 42755 118478 | 243881 227476 85 | 0.009 % |
384.13/384.49 c | 288378 | 10687 42755 118478 | 243881 227689 85 | 0.009 % |
384.74/385.07 c | 288611 | 10687 42755 118478 | 243881 227922 85 | 0.009 % |
385.23/385.50 c | 288867 | 10687 42755 118478 | 243881 228178 85 | 0.009 % |
385.53/385.82 c | 289148 | 10687 42755 118478 | 243881 228459 85 | 0.009 % |
385.74/386.04 c | 289458 | 10687 42755 118478 | 243881 228769 85 | 0.009 % |
387.13/387.47 c | 289797 | 10687 42755 118478 | 243881 229108 85 | 0.009 % |
387.53/387.86 c | 290169 | 10687 42755 118478 | 2147483647 229480 85 | 0.009 % |
387.83/388.13 c | 290578 | 10687 42755 118478 | 2147483647 229889 85 | 0.009 % |
388.53/388.86 c | 291028 | 10687 42755 118478 | 2147483647 230339 85 | 0.009 % |
389.13/389.47 c | 291522 | 10687 42755 118478 | 2147483647 230833 85 | 0.009 % |
389.83/390.15 c | 292065 | 10687 42755 118478 | 2147483647 231376 85 | 0.010 % |
390.43/390.77 c | 292661 | 10687 42755 118478 | 2147483647 231972 85 | 0.009 % |
391.73/392.03 c | 293316 | 10687 42755 118478 | 2147483647 232627 85 | 0.009 % |
392.83/393.16 c | 294036 | 10687 42755 118478 | 2147483647 233347 84 | 0.009 % |
393.73/394.06 c | 294828 | 10687 42755 118478 | 2147483647 234139 85 | 0.009 % |
394.63/394.94 c | 295699 | 10687 42755 118478 | 2147483647 235010 85 | 0.009 % |
395.53/395.84 c | 296658 | 10687 42755 118478 | 2147483647 235969 85 | 0.009 % |
400.03/400.37 c | 297711 | 10687 42755 118478 | 2147483647 237022 85 | 0.009 % |
403.42/403.71 c | 298869 | 10687 42755 118478 | 2147483647 238180 85 | 0.009 % |
404.92/405.22 c | 300143 | 10687 42755 118478 | 2147483647 239454 85 | 0.009 % |
408.31/408.66 c | 301544 | 10687 42755 118478 | 2147483647 240855 85 | 0.009 % |
411.62/411.96 c | 303085 | 10687 42755 118478 | 2147483647 242396 85 | 0.011 % |
413.92/414.22 c | 304779 | 10687 42755 118478 | 2147483647 244090 86 | 0.009 % |
417.02/417.37 c | 306642 | 10687 42755 118478 | 2147483647 245953 86 | 0.009 % |
422.32/422.61 c | 308691 | 10687 42755 118478 | 2147483647 248002 86 | 0.009 % |
428.02/428.39 c | 310944 | 10687 42755 118478 | 249311 250255 86 | 0.009 % |
432.81/433.11 c | 313422 | 10687 42755 118478 | 249311 223049 83 | 0.009 % |
438.31/438.70 c | 316147 | 10687 42755 118478 | 249311 225774 83 | 0.009 % |
447.21/447.57 c | 319144 | 10687 42755 118478 | 249311 228771 83 | 0.009 % |
447.32/447.68 c | 319245 | 10687 42755 118478 | 249311 228872 83 | 0.009 % |
447.71/448.05 c | 319356 | 10687 42755 118478 | 249311 228983 83 | 0.009 % |
448.01/448.34 c | 319477 | 10687 42755 118478 | 249311 229104 83 | 0.009 % |
448.21/448.58 c | 319610 | 10687 42755 118478 | 249311 229237 83 | 0.009 % |
448.31/448.68 c | 319757 | 10687 42755 118478 | 249311 229384 83 | 0.009 % |
448.51/448.81 c | 319917 | 10687 42755 118478 | 249311 229544 83 | 0.009 % |
448.80/449.12 c | 320094 | 10687 42755 118478 | 2147483647 229721 83 | 0.009 % |
449.10/449.48 c | 320287 | 10687 42755 118478 | 2147483647 229914 83 | 0.009 % |
449.40/449.72 c | 320499 | 10687 42755 118478 | 2147483647 230126 83 | 0.009 % |
450.30/450.61 c | 320732 | 10687 42755 118478 | 2147483647 230359 83 | 0.009 % |
450.80/451.12 c | 320988 | 10687 42755 118478 | 2147483647 230615 83 | 0.009 % |
451.50/451.85 c | 321270 | 10687 42755 118478 | 2147483647 230897 83 | 0.009 % |
452.00/452.32 c | 321579 | 10687 42755 118478 | 2147483647 231206 83 | 0.009 % |
452.50/452.85 c | 321918 | 10687 42755 118478 | 2147483647 231545 83 | 0.009 % |
453.20/453.57 c | 322292 | 10687 42755 118478 | 2147483647 231919 83 | 0.009 % |
454.90/455.26 c | 322701 | 10687 42755 118478 | 2147483647 232328 83 | 0.009 % |
455.60/455.99 c | 323150 | 10687 42755 118478 | 2147483647 232777 83 | 0.009 % |
457.90/458.29 c | 323643 | 10687 42755 118478 | 2147483647 233270 83 | 0.009 % |
459.20/459.52 c | 324185 | 10687 42755 118478 | 2147483647 233812 83 | 0.009 % |
460.50/460.86 c | 324781 | 10687 42755 118478 | 2147483647 234408 83 | 0.009 % |
461.90/462.23 c | 325436 | 10687 42755 118478 | 2147483647 235063 83 | 0.009 % |
463.70/464.05 c | 326156 | 10687 42755 118478 | 2147483647 235783 83 | 0.009 % |
464.79/465.17 c | 326949 | 10687 42755 118478 | 2147483647 236576 83 | 0.009 % |
467.20/467.54 c | 327820 | 10687 42755 118478 | 2147483647 237447 83 | 0.009 % |
468.39/468.76 c | 328779 | 10687 42755 118478 | 2147483647 238406 83 | 0.009 % |
471.69/472.08 c | 329834 | 10687 42755 118478 | 2147483647 239461 83 | 0.009 % |
476.79/477.12 c | 330992 | 10687 42755 118478 | 2147483647 240619 83 | 0.009 % |
486.19/486.54 c | 332266 | 10687 42755 118478 | 2147483647 241893 83 | 0.009 % |
488.89/489.22 c | 333666 | 10687 42755 118478 | 2147483647 243293 83 | 0.009 % |
501.77/502.18 c | 335209 | 10687 42755 118478 | 2147483647 244836 83 | 0.009 % |
505.68/506.07 c | 336903 | 10687 42755 118478 | 2147483647 246530 83 | 0.009 % |
512.67/513.04 c | 338766 | 10687 42755 118478 | 2147483647 248393 84 | 0.009 % |
515.57/515.92 c | 340815 | 10687 42755 118478 | 2147483647 250442 83 | 0.009 % |
525.27/525.65 c | 343068 | 10687 42755 118478 | 2147483647 252695 83 | 0.009 % |
530.46/530.81 c | 345547 | 10687 42755 118478 | 2147483647 255174 84 | 0.009 % |
533.86/534.21 c | 348272 | 10687 42755 118478 | 2147483647 257899 84 | 0.009 % |
547.15/547.54 c | 351269 | 10687 42755 118478 | 259627 260896 84 | 0.009 % |
561.14/561.51 c | 354568 | 10687 42755 118478 | 259627 220683 80 | 0.009 % |
561.34/561.72 c | 354671 | 10687 42755 118478 | 259627 220786 80 | 0.009 % |
561.74/562.13 c | 354784 | 10687 42755 118478 | 259627 220899 80 | 0.009 % |
562.24/562.68 c | 354905 | 10687 42755 118478 | 259627 221020 80 | 0.009 % |
562.34/562.73 c | 355040 | 10687 42755 118478 | 259627 221155 80 | 0.009 % |
562.54/562.91 c | 355186 | 10687 42755 118478 | 259627 221301 80 | 0.009 % |
562.84/563.28 c | 355347 | 10687 42755 118478 | 259627 221462 80 | 0.009 % |
563.24/563.60 c | 355525 | 10687 42755 118478 | 259627 221640 80 | 0.009 % |
563.44/563.89 c | 355718 | 10687 42755 118478 | 259627 221833 80 | 0.009 % |
563.94/564.32 c | 355930 | 10687 42755 118478 | 259627 222045 80 | 0.009 % |
564.54/564.90 c | 356164 | 10687 42755 118478 | 259627 222279 80 | 0.009 % |
564.74/565.14 c | 356420 | 10687 42755 118478 | 259627 222535 80 | 0.009 % |
565.44/565.80 c | 356703 | 10687 42755 118478 | 259627 222818 80 | 0.009 % |
565.74/566.12 c | 357014 | 10687 42755 118478 | 259627 223129 80 | 0.009 % |
566.04/566.49 c | 357353 | 10687 42755 118478 | 259627 223468 80 | 0.009 % |
566.54/566.93 c | 357726 | 10687 42755 118478 | 259627 223841 80 | 0.009 % |
567.14/567.58 c | 358135 | 10687 42755 118478 | 259627 224250 80 | 0.009 % |
567.94/568.31 c | 358585 | 10687 42755 118478 | 259627 224700 80 | 0.009 % |
568.94/569.31 c | 359078 | 10687 42755 118478 | 259627 225193 80 | 0.009 % |
569.54/569.94 c | 359625 | 10687 42755 118478 | 259627 225740 80 | 0.009 % |
570.34/570.70 c | 360221 | 10687 42755 118478 | 226116 226336 80 | 0.009 % |
571.33/571.72 c | 360876 | 10687 42755 118478 | 226116 201264 76 | 0.009 % |
572.83/573.23 c | 361596 | 10687 42755 118478 | 226116 201984 76 | 0.009 % |
573.93/574.30 c | 362388 | 10687 42755 118478 | 226116 202776 77 | 0.009 % |
575.23/575.68 c | 363259 | 10687 42755 118478 | 226116 203647 77 | 0.009 % |
577.04/577.42 c | 364217 | 10687 42755 118478 | 226116 204605 77 | 0.009 % |
580.53/580.93 c | 365271 | 10687 42755 118478 | 226116 205659 77 | 0.009 % |
582.43/582.86 c | 366430 | 10687 42755 118478 | 226116 206818 77 | 0.009 % |
585.42/585.89 c | 367704 | 10687 42755 118478 | 226116 208092 77 | 0.009 % |
590.32/590.74 c | 369105 | 10687 42755 118478 | 226116 209493 78 | 0.009 % |
592.92/593.34 c | 370645 | 10687 42755 118478 | 2147483647 211033 78 | 0.009 % |
599.52/599.95 c | 372340 | 10687 42755 118478 | 2147483647 212728 78 | 0.009 % |
601.82/602.29 c | 374204 | 10687 42755 118478 | 2147483647 214592 78 | 0.009 % |
611.01/611.45 c | 376253 | 10687 42755 118478 | 2147483647 216641 79 | 0.009 % |
614.31/614.71 c | 378506 | 10687 42755 118478 | 2147483647 218894 78 | 0.009 % |
617.82/618.27 c | 380987 | 10687 42755 118478 | 2147483647 221375 79 | 0.009 % |
624.41/624.81 c | 383712 | 10687 42755 118478 | 2147483647 224100 80 | 0.009 % |
629.71/630.16 c | 386709 | 10687 42755 118478 | 2147483647 227097 80 | 0.009 % |
640.40/640.82 c | 390005 | 10687 42755 118478 | 2147483647 230393 81 | 0.009 % |
645.70/646.16 c | 393631 | 10687 42755 118478 | 2147483647 234019 82 | 0.009 % |
645.90/646.33 c | 393731 | 10687 42755 118478 | 2147483647 234119 81 | 0.009 % |
646.00/646.41 c | 393841 | 10687 42755 118478 | 2147483647 234229 81 | 0.009 % |
646.00/646.47 c | 393962 | 10687 42755 118478 | 2147483647 234350 81 | 0.009 % |
646.40/646.84 c | 394096 | 10687 42755 118478 | 2147483647 234484 81 | 0.009 % |
647.00/647.40 c | 394242 | 10687 42755 118478 | 2147483647 234630 81 | 0.009 % |
647.10/647.59 c | 394404 | 10687 42755 118478 | 2147483647 234792 81 | 0.010 % |
647.40/647.88 c | 394580 | 10687 42755 118478 | 2147483647 234968 81 | 0.009 % |
647.60/648.07 c | 394773 | 10687 42755 118478 | 2147483647 235161 81 | 0.009 % |
648.00/648.49 c | 394985 | 10687 42755 118478 | 2147483647 235373 82 | 0.009 % |
648.70/649.13 c | 395220 | 10687 42755 118478 | 2147483647 235608 82 | 0.009 % |
649.00/649.43 c | 395476 | 10687 42755 118478 | 2147483647 235864 82 | 0.009 % |
649.50/649.93 c | 395758 | 10687 42755 118478 | 2147483647 236146 82 | 0.009 % |
650.10/650.51 c | 396069 | 10687 42755 118478 | 2147483647 236457 82 | 0.009 % |
650.60/651.03 c | 396409 | 10687 42755 118478 | 2147483647 236797 82 | 0.009 % |
651.50/651.91 c | 396781 | 10687 42755 118478 | 2147483647 237169 82 | 0.009 % |
652.20/652.64 c | 397190 | 10687 42755 118478 | 2147483647 237578 82 | 0.009 % |
653.20/653.61 c | 397640 | 10687 42755 118478 | 2147483647 238028 81 | 0.009 % |
653.90/654.32 c | 398133 | 10687 42755 118478 | 2147483647 238521 81 | 0.009 % |
656.20/656.69 c | 398675 | 10687 42755 118478 | 2147483647 239063 82 | 0.009 % |
658.19/658.68 c | 399271 | 10687 42755 118478 | 2147483647 239659 81 | 0.009 % |
659.60/660.01 c | 399927 | 10687 42755 118478 | 2147483647 240315 81 | 0.009 % |
661.09/661.51 c | 400647 | 10687 42755 118478 | 2147483647 241035 81 | 0.009 % |
662.69/663.19 c | 401441 | 10687 42755 118478 | 2147483647 241829 81 | 0.009 % |
664.39/664.82 c | 402313 | 10687 42755 118478 | 2147483647 242701 81 | 0.009 % |
665.69/666.12 c | 403271 | 10687 42755 118478 | 2147483647 243659 81 | 0.009 % |
669.99/670.40 c | 404324 | 10687 42755 118478 | 2147483647 244712 81 | 0.009 % |
674.08/674.56 c | 405483 | 10687 42755 118478 | 2147483647 245871 82 | 0.009 % |
675.38/675.82 c | 406757 | 10687 42755 118478 | 2147483647 247145 82 | 0.009 % |
679.58/680.06 c | 408158 | 10687 42755 118478 | 2147483647 248546 82 | 0.009 % |
681.78/682.28 c | 409698 | 10687 42755 118478 | 2147483647 250086 82 | 0.009 % |
686.68/687.15 c | 411393 | 10687 42755 118478 | 2147483647 251781 82 | 0.009 % |
690.58/691.00 c | 413258 | 10687 42755 118478 | 2147483647 253646 82 | 0.009 % |
695.78/696.26 c | 415308 | 10687 42755 118478 | 2147483647 255696 82 | 0.009 % |
700.97/701.42 c | 417561 | 10687 42755 118478 | 2147483647 257949 81 | 0.009 % |
705.07/705.58 c | 420039 | 10687 42755 118478 | 2147483647 260427 82 | 0.009 % |
708.77/709.28 c | 422764 | 10687 42755 118478 | 2147483647 263152 82 | 0.009 % |
712.27/712.79 c | 425761 | 10687 42755 118478 | 2147483647 266149 82 | 0.009 % |
718.46/718.99 c | 429058 | 10687 42755 118478 | 2147483647 269446 82 | 0.009 % |
721.66/722.11 c | 432685 | 10687 42755 118478 | 270389 273073 82 | 0.009 % |
730.06/730.55 c | 436672 | 10687 42755 118478 | 270389 231626 78 | 0.009 % |
730.26/730.77 c | 436773 | 10687 42755 118478 | 270389 231727 78 | 0.009 % |
730.56/731.08 c | 436883 | 10687 42755 118478 | 270389 231837 78 | 0.009 % |
730.76/731.21 c | 437004 | 10687 42755 118478 | 270389 231958 78 | 0.009 % |
730.86/731.36 c | 437137 | 10687 42755 118478 | 270389 232091 78 | 0.009 % |
731.06/731.57 c | 437283 | 10687 42755 118478 | 270389 232237 78 | 0.009 % |
731.26/731.74 c | 437443 | 10687 42755 118478 | 270389 232397 78 | 0.009 % |
731.76/732.29 c | 437620 | 10687 42755 118478 | 270389 232574 78 | 0.009 % |
732.76/733.20 c | 437813 | 10687 42755 118478 | 270389 232767 78 | 0.009 % |
733.06/733.59 c | 438026 | 10687 42755 118478 | 270389 232980 78 | 0.009 % |
733.26/733.76 c | 438259 | 10687 42755 118478 | 270389 233213 78 | 0.009 % |
733.96/734.49 c | 438516 | 10687 42755 118478 | 270389 233470 78 | 0.009 % |
734.46/734.99 c | 438798 | 10687 42755 118478 | 270389 233752 78 | 0.009 % |
736.36/736.88 c | 439108 | 10687 42755 118478 | 270389 234062 78 | 0.009 % |
737.06/737.57 c | 439447 | 10687 42755 118478 | 270389 234401 78 | 0.009 % |
738.66/739.13 c | 439822 | 10687 42755 118478 | 270389 234776 78 | 0.009 % |
739.76/740.24 c | 440232 | 10687 42755 118478 | 234954 235186 78 | 0.009 % |
741.15/741.67 c | 440681 | 10687 42755 118478 | 234954 210814 74 | 0.009 % |
741.96/742.45 c | 441176 | 10687 42755 118478 | 234954 211309 74 | 0.009 % |
742.95/743.48 c | 441718 | 10687 42755 118478 | 234954 211851 74 | 0.009 % |
744.65/745.10 c | 442315 | 10687 42755 118478 | 234954 212448 74 | 0.009 % |
745.35/745.84 c | 442970 | 10687 42755 118478 | 234954 213103 74 | 0.009 % |
746.35/746.89 c | 443691 | 10687 42755 118478 | 234954 213824 74 | 0.009 % |
747.25/747.70 c | 444483 | 10687 42755 118478 | 234954 214616 74 | 0.009 % |
750.55/751.07 c | 445354 | 10687 42755 118478 | 234954 215487 74 | 0.009 % |
751.95/752.45 c | 446312 | 10687 42755 118478 | 234954 216445 74 | 0.009 % |
755.75/756.20 c | 447365 | 10687 42755 118478 | 234954 217498 74 | 0.009 % |
757.05/757.51 c | 448524 | 10687 42755 118478 | 234954 218657 74 | 0.009 % |
758.25/758.72 c | 449799 | 10687 42755 118478 | 234954 219932 75 | 0.009 % |
760.65/761.18 c | 451201 | 10687 42755 118478 | 2147483647 221334 74 | 0.009 % |
763.44/763.94 c | 452742 | 10687 42755 118478 | 2147483647 222875 74 | 0.009 % |
767.54/768.09 c | 454436 | 10687 42755 118478 | 2147483647 224569 75 | 0.009 % |
777.82/778.38 c | 456300 | 10687 42755 118478 | 2147483647 226433 75 | 0.009 % |
781.22/781.72 c | 458349 | 10687 42755 118478 | 2147483647 228482 75 | 0.009 % |
792.12/792.62 c | 460602 | 10687 42755 118478 | 2147483647 230735 75 | 0.009 % |
800.32/800.84 c | 463080 | 10687 42755 118478 | 2147483647 233213 75 | 0.009 % |
803.02/803.56 c | 465807 | 10687 42755 118478 | 2147483647 235940 76 | 0.010 % |
807.22/807.77 c | 468804 | 10687 42755 118478 | 2147483647 238937 77 | 0.009 % |
815.51/816.07 c | 472102 | 10687 42755 118478 | 2147483647 242235 77 | 0.009 % |
830.01/830.56 c | 475728 | 10687 42755 118478 | 2147483647 245861 78 | 0.009 % |
837.41/837.98 c | 479715 | 10687 42755 118478 | 2147483647 249848 78 | 0.009 % |
854.00/854.57 c | 484102 | 10687 42755 118478 | 2147483647 254235 79 | 0.009 % |
854.11/854.63 c | 484203 | 10687 42755 118478 | 2147483647 254336 79 | 0.009 % |
854.40/854.99 c | 484314 | 10687 42755 118478 | 2147483647 254447 79 | 0.009 % |
854.50/855.10 c | 484436 | 10687 42755 118478 | 2147483647 254569 78 | 0.009 % |
854.70/855.27 c | 484570 | 10687 42755 118478 | 2147483647 254703 78 | 0.009 % |
854.90/855.45 c | 484716 | 10687 42755 118478 | 2147483647 254849 78 | 0.011 % |
855.60/856.15 c | 484877 | 10687 42755 118478 | 2147483647 255010 78 | 0.009 % |
855.90/856.47 c | 485055 | 10687 42755 118478 | 2147483647 255188 78 | 0.009 % |
856.30/856.82 c | 485248 | 10687 42755 118478 | 2147483647 255381 78 | 0.009 % |
856.60/857.17 c | 485461 | 10687 42755 118478 | 2147483647 255594 78 | 0.009 % |
856.90/857.43 c | 485694 | 10687 42755 118478 | 2147483647 255827 78 | 0.009 % |
857.70/858.23 c | 485950 | 10687 42755 118478 | 2147483647 256083 78 | 0.009 % |
858.00/858.52 c | 486233 | 10687 42755 118478 | 2147483647 256366 78 | 0.009 % |
858.90/859.48 c | 486543 | 10687 42755 118478 | 2147483647 256676 78 | 0.009 % |
859.20/859.75 c | 486882 | 10687 42755 118478 | 2147483647 257015 78 | 0.009 % |
860.80/861.38 c | 487256 | 10687 42755 118478 | 2147483647 257389 78 | 0.009 % |
861.50/862.00 c | 487666 | 10687 42755 118478 | 2147483647 257799 78 | 0.009 % |
863.30/863.86 c | 488115 | 10687 42755 118478 | 2147483647 258248 78 | 0.009 % |
864.10/864.63 c | 488609 | 10687 42755 118478 | 2147483647 258742 78 | 0.009 % |
867.30/867.82 c | 489151 | 10687 42755 118478 | 2147483647 259284 79 | 0.009 % |
867.90/868.42 c | 489750 | 10687 42755 118478 | 2147483647 259883 79 | 0.009 % |
869.10/869.67 c | 490405 | 10687 42755 118478 | 2147483647 260538 78 | 0.009 % |
871.80/872.34 c | 491126 | 10687 42755 118478 | 2147483647 261259 78 | 0.009 % |
876.60/877.11 c | 491918 | 10687 42755 118478 | 2147483647 262051 79 | 0.009 % |
877.89/878.46 c | 492789 | 10687 42755 118478 | 2147483647 262922 79 | 0.009 % |
883.29/883.84 c | 493747 | 10687 42755 118478 | 2147483647 263880 79 | 0.009 % |
886.11/886.69 c | 494800 | 10687 42755 118478 | 2147483647 264933 79 | 0.009 % |
892.30/892.84 c | 495958 | 10687 42755 118478 | 2147483647 266091 79 | 0.009 % |
894.29/894.88 c | 497231 | 10687 42755 118478 | 2147483647 267364 79 | 0.009 % |
897.09/897.69 c | 498636 | 10687 42755 118478 | 2147483647 268769 79 | 0.009 % |
900.19/900.75 c | 500179 | 10687 42755 118478 | 2147483647 270312 79 | 0.009 % |
906.49/907.02 c | 501874 | 10687 42755 118478 | 2147483647 272007 79 | 0.009 % |
911.19/911.74 c | 503738 | 10687 42755 118478 | 2147483647 273871 79 | 0.009 % |
916.48/917.09 c | 505787 | 10687 42755 118478 | 2147483647 275920 79 | 0.009 % |
922.58/923.15 c | 508041 | 10687 42755 118478 | 2147483647 278174 79 | 0.009 % |
925.88/926.41 c | 510520 | 10687 42755 118478 | 280133 280653 79 | 0.009 % |
930.38/930.96 c | 513245 | 10687 42755 118478 | 280133 239685 75 | 0.009 % |
934.98/935.51 c | 516242 | 10687 42755 118478 | 280133 242682 75 | 0.009 % |
944.28/944.87 c | 519538 | 10687 42755 118478 | 280133 245978 75 | 0.009 % |
949.47/950.06 c | 523163 | 10687 42755 118478 | 246443 249603 76 | 0.009 % |
955.97/956.56 c | 527153 | 10687 42755 118478 | 246443 208812 72 | 0.009 % |
964.37/964.95 c | 531538 | 10687 42755 118478 | 211660 213197 73 | 0.009 % |
969.17/969.75 c | 536362 | 10687 42755 118478 | 211660 191865 68 | 0.009 % |
969.27/969.88 c | 536462 | 10687 42755 118478 | 211660 191965 68 | 0.009 % |
969.57/970.16 c | 536573 | 10687 42755 118478 | 211660 192076 68 | 0.009 % |
969.87/970.46 c | 536694 | 10687 42755 118478 | 211660 192197 69 | 0.009 % |
970.07/970.61 c | 536827 | 10687 42755 118478 | 211660 192330 69 | 0.009 % |
970.27/970.84 c | 536974 | 10687 42755 118478 | 211660 192477 69 | 0.009 % |
970.47/971.04 c | 537134 | 10687 42755 118478 | 211660 192637 69 | 0.009 % |
970.87/971.44 c | 537312 | 10687 42755 118478 | 211660 192815 69 | 0.009 % |
971.57/972.11 c | 537505 | 10687 42755 118478 | 211660 193008 69 | 0.009 % |
971.87/972.47 c | 537717 | 10687 42755 118478 | 211660 193220 69 | 0.009 % |
972.36/972.96 c | 537950 | 10687 42755 118478 | 211660 193453 69 | 0.009 % |
972.66/973.21 c | 538206 | 10687 42755 118478 | 211660 193709 69 | 0.009 % |
973.06/973.64 c | 538487 | 10687 42755 118478 | 211660 193990 69 | 0.009 % |
973.56/974.17 c | 538797 | 10687 42755 118478 | 211660 194300 69 | 0.009 % |
975.07/975.61 c | 539136 | 10687 42755 118478 | 211660 194639 69 | 0.009 % |
975.56/976.18 c | 539508 | 10687 42755 118478 | 211660 195011 69 | 0.009 % |
975.86/976.40 c | 539917 | 10687 42755 118478 | 211660 195420 69 | 0.009 % |
979.36/979.93 c | 540367 | 10687 42755 118478 | 2147483647 195870 69 | 0.009 % |
979.96/980.56 c | 540860 | 10687 42755 118478 | 2147483647 196363 69 | 0.009 % |
980.96/981.58 c | 541405 | 10687 42755 118478 | 2147483647 196908 69 | 0.009 % |
981.56/982.17 c | 542002 | 10687 42755 118478 | 2147483647 197505 69 | 0.009 % |
983.56/984.12 c | 542657 | 10687 42755 118478 | 2147483647 198160 69 | 0.009 % |
985.96/986.50 c | 543377 | 10687 42755 118478 | 2147483647 198880 69 | 0.009 % |
990.76/991.35 c | 544170 | 10687 42755 118478 | 2147483647 199673 69 | 0.009 % |
991.86/992.48 c | 545043 | 10687 42755 118478 | 2147483647 200546 69 | 0.009 % |
992.96/993.52 c | 546001 | 10687 42755 118478 | 2147483647 201504 69 | 0.009 % |
994.06/994.64 c | 547054 | 10687 42755 118478 | 2147483647 202557 69 | 0.009 % |
996.96/997.51 c | 548213 | 10687 42755 118478 | 2147483647 203716 69 | 0.009 % |
1001.25/1001.88 c | 549486 | 10687 42755 118478 | 2147483647 204989 70 | 0.009 % |
1003.15/1003.70 c | 550886 | 10687 42755 118478 | 2147483647 206389 70 | 0.009 % |
1005.25/1005.84 c | 552427 | 10687 42755 118478 | 2147483647 207930 70 | 0.009 % |
1008.35/1008.93 c | 554123 | 10687 42755 118478 | 2147483647 209626 70 | 0.009 % |
1013.55/1014.20 c | 555987 | 10687 42755 118478 | 2147483647 211490 70 | 0.009 % |
1016.35/1016.91 c | 558037 | 10687 42755 118478 | 2147483647 213540 69 | 0.009 % |
1018.15/1018.79 c | 560290 | 10687 42755 118478 | 2147483647 215793 70 | 0.010 % |
1020.85/1021.48 c | 562768 | 10687 42755 118478 | 2147483647 218271 70 | 0.009 % |
1034.14/1034.77 c | 565493 | 10687 42755 118478 | 2147483647 220996 71 | 0.009 % |
1041.74/1042.31 c | 568490 | 10687 42755 118478 | 2147483647 223993 71 | 0.009 % |
1051.14/1051.76 c | 571787 | 10687 42755 118478 | 2147483647 227290 71 | 0.009 % |
1056.14/1056.76 c | 575414 | 10687 42755 118478 | 2147483647 230917 71 | 0.009 % |
1082.83/1083.40 c | 579404 | 10687 42755 118478 | 2147483647 234907 72 | 0.009 % |
1091.33/1091.93 c | 583790 | 10687 42755 118478 | 2147483647 239293 71 | 0.009 % |
1110.12/1110.79 c | 588613 | 10687 42755 118478 | 2147483647 244116 72 | 0.009 % |
1121.42/1122.07 c | 593920 | 10687 42755 118478 | 2147483647 249423 72 | 0.009 % |
1121.72/1122.38 c | 594020 | 10687 42755 118478 | 2147483647 249523 72 | 0.009 % |
1122.02/1122.64 c | 594131 | 10687 42755 118478 | 2147483647 249634 72 | 0.009 % |
1122.12/1122.75 c | 594252 | 10687 42755 118478 | 2147483647 249755 72 | 0.009 % |
1122.52/1123.19 c | 594386 | 10687 42755 118478 | 2147483647 249889 72 | 0.009 % |
1123.01/1123.60 c | 594532 | 10687 42755 118478 | 2147483647 250035 72 | 0.009 % |
1123.21/1123.84 c | 594692 | 10687 42755 118478 | 2147483647 250195 72 | 0.011 % |
1123.71/1124.31 c | 594869 | 10687 42755 118478 | 2147483647 250372 72 | 0.009 % |
1124.12/1124.78 c | 595063 | 10687 42755 118478 | 2147483647 250566 72 | 0.009 % |
1124.52/1125.18 c | 595275 | 10687 42755 118478 | 2147483647 250778 72 | 0.009 % |
1125.12/1125.79 c | 595509 | 10687 42755 118478 | 2147483647 251012 72 | 0.009 % |
1125.41/1126.01 c | 595766 | 10687 42755 118478 | 2147483647 251269 72 | 0.009 % |
1125.82/1126.43 c | 596048 | 10687 42755 118478 | 2147483647 251551 72 | 0.009 % |
1126.31/1126.90 c | 596357 | 10687 42755 118478 | 2147483647 251860 72 | 0.009 % |
1127.01/1127.67 c | 596696 | 10687 42755 118478 | 2147483647 252199 72 | 0.009 % |
1128.21/1128.87 c | 597069 | 10687 42755 118478 | 2147483647 252572 72 | 0.009 % |
1129.02/1129.69 c | 597478 | 10687 42755 118478 | 2147483647 252981 72 | 0.009 % |
1129.81/1130.44 c | 597931 | 10687 42755 118478 | 2147483647 253434 72 | 0.009 % |
1130.41/1131.00 c | 598425 | 10687 42755 118478 | 2147483647 253928 72 | 0.009 % |
1131.31/1131.97 c | 598968 | 10687 42755 118478 | 2147483647 254471 72 | 0.009 % |
1132.71/1133.31 c | 599566 | 10687 42755 118478 | 2147483647 255069 72 | 0.009 % |
1133.41/1134.07 c | 600223 | 10687 42755 118478 | 255504 255726 72 | 0.009 % |
1135.51/1136.13 c | 600944 | 10687 42755 118478 | 255504 224487 69 | 0.009 % |
1138.11/1138.74 c | 601737 | 10687 42755 118478 | 255504 225280 69 | 0.009 % |
1138.81/1139.43 c | 602609 | 10687 42755 118478 | 255504 226152 69 | 0.009 % |
1142.21/1142.82 c | 603568 | 10687 42755 118478 | 255504 227111 69 | 0.009 % |
1143.11/1143.80 c | 604621 | 10687 42755 118478 | 255504 228164 69 | 0.009 % |
1144.90/1145.52 c | 605779 | 10687 42755 118478 | 255504 229322 69 | 0.009 % |
1147.60/1148.21 c | 607052 | 10687 42755 118478 | 255504 230595 69 | 0.009 % |
1149.30/1149.94 c | 608452 | 10687 42755 118478 | 255504 231995 70 | 0.009 % |
1151.90/1152.51 c | 609992 | 10687 42755 118478 | 255504 233535 70 | 0.009 % |
1156.10/1156.77 c | 611686 | 10687 42755 118478 | 233543 235229 70 | 0.009 % |
1161.60/1162.22 c | 613551 | 10687 42755 118478 | 233543 213572 69 | 0.009 % |
1163.00/1163.66 c | 615600 | 10687 42755 118478 | 233543 215621 69 | 0.009 % |
1168.60/1169.22 c | 617854 | 10687 42755 118478 | 233543 217875 69 | 0.009 % |
1174.89/1175.53 c | 620332 | 10687 42755 118478 | 2147483647 220353 70 | 0.009 % |
1187.79/1188.42 c | 623057 | 10687 42755 118478 | 2147483647 223078 70 | 0.009 % |
1191.39/1192.03 c | 626056 | 10687 42755 118478 | 2147483647 226077 70 | 0.009 % |
1194.79/1195.42 c | 629352 | 10687 42755 118478 | 2147483647 229373 70 | 0.009 % |
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1833613-1242823915/watcher-1833613-1242823915 -o /tmp/evaluation-result-1833613-1242823915/solver-1833613-1242823915 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1833613-1242823915.cnf
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1230 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 0.99 0.98 1.01 3/64 21165
/proc/meminfo: memFree=1972264/2055920 swapFree=4179936/4192956
[pid=21165] ppid=21163 vsize=5356 CPUtime=0
/proc/21165/stat : 21165 (SatELiteGTI) R 21163 21165 20993 0 -1 4194304 292 249 0 0 0 0 0 0 16 0 1 0 310425441 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 226913479327 0 65538 4100 65536 0 0 0 17 0 0 0
/proc/21165/statm: 1339 237 197 169 0 50 0
[startup+0.0447959 s]
/proc/loadavg: 0.99 0.98 1.01 3/64 21165
/proc/meminfo: memFree=1972264/2055920 swapFree=4179936/4192956
[pid=21165] ppid=21163 vsize=5356 CPUtime=0
/proc/21165/stat : 21165 (SatELiteGTI) S 21163 21165 20993 0 -1 4194304 310 249 0 0 0 0 0 0 16 0 1 0 310425441 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 226913477444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/21165/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.101803 s]
/proc/loadavg: 0.99 0.98 1.01 3/64 21165
/proc/meminfo: memFree=1972264/2055920 swapFree=4179936/4192956
[pid=21165] ppid=21163 vsize=5356 CPUtime=0
/proc/21165/stat : 21165 (SatELiteGTI) S 21163 21165 20993 0 -1 4194304 310 249 0 0 0 0 0 0 16 0 1 0 310425441 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 226913477444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/21165/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.301824 s]
/proc/loadavg: 0.99 0.98 1.01 3/64 21165
/proc/meminfo: memFree=1972264/2055920 swapFree=4179936/4192956
[pid=21165] ppid=21163 vsize=5356 CPUtime=0
/proc/21165/stat : 21165 (SatELiteGTI) S 21163 21165 20993 0 -1 4194304 310 249 0 0 0 0 0 0 16 0 1 0 310425441 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 226913477444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/21165/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.701878 s]
/proc/loadavg: 0.99 0.98 1.01 3/64 21165
/proc/meminfo: memFree=1972264/2055920 swapFree=4179936/4192956
[pid=21165] ppid=21163 vsize=5356 CPUtime=0.36
/proc/21165/stat : 21165 (SatELiteGTI) S 21163 21165 20993 0 -1 4194304 336 2921 0 0 0 0 34 2 16 0 1 0 310425441 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 226913477444 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/21165/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.36
Current children cumulated vsize (KiB) 5356
[startup+1.50196 s]
/proc/loadavg: 0.99 0.98 1.01 2/66 21171
/proc/meminfo: memFree=1966424/2055920 swapFree=4179936/4192956
[pid=21165] ppid=21163 vsize=5356 CPUtime=0.36
/proc/21165/stat : 21165 (SatELiteGTI) S 21163 21165 20993 0 -1 4194304 336 2921 0 0 0 0 34 2 16 0 1 0 310425441 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 226913477444 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/21165/statm: 1339 239 197 169 0 50 0
[pid=21171] ppid=21165 vsize=5976 CPUtime=1.12
/proc/21171/stat : 21171 (minisat_static) R 21165 21165 20993 0 -1 4194304 1275 0 0 0 111 1 0 0 25 0 1 0 310425478 6119424 1261 1992294400 134512640 135215339 4294956240 18446744073709551615 134528644 0 0 4096 3 0 0 0 17 0 0 0
/proc/21171/statm: 1494 1261 77 171 0 1321 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 11332
[startup+3.10114 s]
/proc/loadavg: 0.99 0.98 1.01 2/66 21171
/proc/meminfo: memFree=1964824/2055920 swapFree=4179936/4192956
[pid=21165] ppid=21163 vsize=5356 CPUtime=0.36
/proc/21165/stat : 21165 (SatELiteGTI) S 21163 21165 20993 0 -1 4194304 336 2921 0 0 0 0 34 2 16 0 1 0 310425441 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 226913477444 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/21165/statm: 1339 239 197 169 0 50 0
[pid=21171] ppid=21165 vsize=7956 CPUtime=2.71
/proc/21171/stat : 21171 (minisat_static) R 21165 21165 20993 0 -1 4194304 1768 0 0 0 270 1 0 0 25 0 1 0 310425478 8146944 1754 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/21171/statm: 1989 1754 77 171 0 1816 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 13312
[startup+6.30149 s]
/proc/loadavg: 0.99 0.98 1.01 2/66 21171
/proc/meminfo: memFree=1961048/2055920 swapFree=4179936/4192956
[pid=21165] ppid=21163 vsize=5356 CPUtime=0.36
/proc/21165/stat : 21165 (SatELiteGTI) S 21163 21165 20993 0 -1 4194304 336 2921 0 0 0 0 34 2 16 0 1 0 310425441 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 226913477444 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/21165/statm: 1339 239 197 169 0 50 0
[pid=21171] ppid=21165 vsize=10996 CPUtime=5.91
/proc/21171/stat : 21171 (minisat_static) R 21165 21165 20993 0 -1 4194304 2526 0 0 0 589 2 0 0 25 0 1 0 310425478 11259904 2512 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/21171/statm: 2749 2512 77 171 0 2576 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 16352
[startup+12.7022 s]
/proc/loadavg: 0.99 0.98 1.01 2/66 21171
/proc/meminfo: memFree=1955864/2055920 swapFree=4179936/4192956
[pid=21165] ppid=21163 vsize=5356 CPUtime=0.36
/proc/21165/stat : 21165 (SatELiteGTI) S 21163 21165 20993 0 -1 4194304 336 2921 0 0 0 0 34 2 16 0 1 0 310425441 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 226913477444 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/21165/statm: 1339 239 197 169 0 50 0
[pid=21171] ppid=21165 vsize=16048 CPUtime=12.31
/proc/21171/stat : 21171 (minisat_static) R 21165 21165 20993 0 -1 4194304 3783 0 0 0 1227 4 0 0 25 0 1 0 310425478 16433152 3769 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/21171/statm: 4012 3769 77 171 0 3839 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 21404
[startup+25.5016 s]
/proc/loadavg: 0.99 0.98 1.01 2/66 21171
/proc/meminfo: memFree=1947672/2055920 swapFree=4179936/4192956
[pid=21165] ppid=21163 vsize=5356 CPUtime=0.36
/proc/21165/stat : 21165 (SatELiteGTI) S 21163 21165 20993 0 -1 4194304 336 2921 0 0 0 0 34 2 16 0 1 0 310425441 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 226913477444 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/21165/statm: 1339 239 197 169 0 50 0
[pid=21171] ppid=21165 vsize=24316 CPUtime=25.1
/proc/21171/stat : 21171 (minisat_static) R 21165 21165 20993 0 -1 4194304 5836 0 0 0 2504 6 0 0 25 0 1 0 310425478 24899584 5822 1992294400 134512640 135215339 4294956240 18446744073709551615 134528788 0 0 4096 3 0 0 0 17 0 0 0
/proc/21171/statm: 6079 5822 77 171 0 5906 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 29672
[startup+51.1015 s]
/proc/loadavg: 0.99 0.98 1.01 2/66 21171
/proc/meminfo: memFree=1935768/2055920 swapFree=4179936/4192956
[pid=21165] ppid=21163 vsize=5356 CPUtime=0.36
/proc/21165/stat : 21165 (SatELiteGTI) S 21163 21165 20993 0 -1 4194304 336 2921 0 0 0 0 34 2 16 0 1 0 310425441 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 226913477444 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/21165/statm: 1339 239 197 169 0 50 0
[pid=21171] ppid=21165 vsize=35932 CPUtime=50.67
/proc/21171/stat : 21171 (minisat_static) R 21165 21165 20993 0 -1 4194304 8753 0 0 0 5058 9 0 0 25 0 1 0 310425478 36794368 8739 1992294400 134512640 135215339 4294956240 18446744073709551615 134538397 0 0 4096 3 0 0 0 17 0 0 0
/proc/21171/statm: 8983 8739 77 171 0 8810 0
Current children cumulated CPU time (s) 51.03
Current children cumulated vsize (KiB) 41288
[startup+102.305 s]
/proc/loadavg: 0.99 0.98 1.00 2/66 21171
/proc/meminfo: memFree=1914648/2055920 swapFree=4179936/4192956
[pid=21165] ppid=21163 vsize=5356 CPUtime=0.36
/proc/21165/stat : 21165 (SatELiteGTI) S 21163 21165 20993 0 -1 4194304 336 2921 0 0 0 0 34 2 16 0 1 0 310425441 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 226913477444 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/21165/statm: 1339 239 197 169 0 50 0
[pid=21171] ppid=21165 vsize=56592 CPUtime=101.83
/proc/21171/stat : 21171 (minisat_static) R 21165 21165 20993 0 -1 4194304 13941 0 0 0 10169 14 0 0 25 0 1 0 310425478 57950208 13927 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/21171/statm: 14148 13927 77 171 0 13975 0
Current children cumulated CPU time (s) 102.19
Current children cumulated vsize (KiB) 61948
[startup+162.302 s]
/proc/loadavg: 0.99 0.98 1.00 2/66 21171
/proc/meminfo: memFree=1898264/2055920 swapFree=4179936/4192956
[pid=21165] ppid=21163 vsize=5356 CPUtime=0.36
/proc/21165/stat : 21165 (SatELiteGTI) S 21163 21165 20993 0 -1 4194304 336 2921 0 0 0 0 34 2 16 0 1 0 310425441 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 226913477444 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/21165/statm: 1339 239 197 169 0 50 0
[pid=21171] ppid=21165 vsize=73124 CPUtime=161.79
/proc/21171/stat : 21171 (minisat_static) R 21165 21165 20993 0 -1 4194304 18033 0 0 0 16161 18 0 0 25 0 1 0 310425478 74878976 18019 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/21171/statm: 18281 18019 77 171 0 18108 0
Current children cumulated CPU time (s) 162.15
Current children cumulated vsize (KiB) 78480
[startup+222.302 s]
/proc/loadavg: 0.99 0.98 1.00 2/66 21171
/proc/meminfo: memFree=1883672/2055920 swapFree=4179936/4192956
[pid=21165] ppid=21163 vsize=5356 CPUtime=0.36
/proc/21165/stat : 21165 (SatELiteGTI) S 21163 21165 20993 0 -1 4194304 336 2921 0 0 0 0 34 2 16 0 1 0 310425441 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 226913477444 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/21165/statm: 1339 239 197 169 0 50 0
[pid=21171] ppid=21165 vsize=87840 CPUtime=221.77
/proc/21171/stat : 21171 (minisat_static) R 21165 21165 20993 0 -1 4194304 21624 0 0 0 22154 23 0 0 25 0 1 0 310425478 89948160 21610 1992294400 134512640 135215339 4294956240 18446744073709551615 134527491 0 0 4096 3 0 0 0 17 0 0 0
/proc/21171/statm: 21960 21610 77 171 0 21787 0
Current children cumulated CPU time (s) 222.13
Current children cumulated vsize (KiB) 93196
[startup+282.301 s]
/proc/loadavg: 0.99 0.98 1.00 2/66 21171
/proc/meminfo: memFree=1871960/2055920 swapFree=4179936/4192956
[pid=21165] ppid=21163 vsize=5356 CPUtime=0.36
/proc/21165/stat : 21165 (SatELiteGTI) S 21163 21165 20993 0 -1 4194304 336 2921 0 0 0 0 34 2 16 0 1 0 310425441 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 226913477444 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/21165/statm: 1339 239 197 169 0 50 0
[pid=21171] ppid=21165 vsize=99476 CPUtime=281.73
/proc/21171/stat : 21171 (minisat_static) R 21165 21165 20993 0 -1 4194304 24581 0 0 0 28146 27 0 0 25 0 1 0 310425478 101863424 24567 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/21171/statm: 24869 24567 77 171 0 24696 0
Current children cumulated CPU time (s) 282.09
Current children cumulated vsize (KiB) 104832
[startup+342.302 s]
/proc/loadavg: 0.99 0.98 1.00 2/66 21171
/proc/meminfo: memFree=1860760/2055920 swapFree=4179936/4192956
[pid=21165] ppid=21163 vsize=5356 CPUtime=0.36
/proc/21165/stat : 21165 (SatELiteGTI) S 21163 21165 20993 0 -1 4194304 336 2921 0 0 0 0 34 2 16 0 1 0 310425441 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 226913477444 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/21165/statm: 1339 239 197 169 0 50 0
[pid=21171] ppid=21165 vsize=110400 CPUtime=341.7
/proc/21171/stat : 21171 (minisat_static) R 21165 21165 20993 0 -1 4194304 27308 0 0 0 34139 31 0 0 25 0 1 0 310425478 113049600 27294 1992294400 134512640 135215339 4294956240 18446744073709551615 134528849 0 0 4096 3 0 0 0 17 0 0 0
/proc/21171/statm: 27600 27294 77 171 0 27427 0
Current children cumulated CPU time (s) 342.06
Current children cumulated vsize (KiB) 115756
[startup+402.302 s]
/proc/loadavg: 0.99 0.98 1.00 2/66 21171
/proc/meminfo: memFree=1858456/2055920 swapFree=4179936/4192956
[pid=21165] ppid=21163 vsize=5356 CPUtime=0.36
/proc/21165/stat : 21165 (SatELiteGTI) S 21163 21165 20993 0 -1 4194304 336 2921 0 0 0 0 34 2 16 0 1 0 310425441 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 226913477444 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/21165/statm: 1339 239 197 169 0 50 0
[pid=21171] ppid=21165 vsize=112512 CPUtime=401.66
/proc/21171/stat : 21171 (minisat_static) R 21165 21165 20993 0 -1 4194304 27849 0 0 0 40135 31 0 0 25 0 1 0 310425478 115212288 27835 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 0 0 0
/proc/21171/statm: 28128 27835 77 171 0 27955 0
Current children cumulated CPU time (s) 402.02
Current children cumulated vsize (KiB) 117868
[startup+462.301 s]
################
# More data... #
################
/proc/21171/statm: 28128 27836 77 171 0 27955 0
Current children cumulated CPU time (s) 581.93
Current children cumulated vsize (KiB) 117868
[startup+642.301 s]
/proc/loadavg: 0.99 0.98 1.00 2/66 21177
/proc/meminfo: memFree=1857872/2055920 swapFree=4179936/4192956
[pid=21165] ppid=21163 vsize=5356 CPUtime=0.36
/proc/21165/stat : 21165 (SatELiteGTI) S 21163 21165 20993 0 -1 4194304 336 2921 0 0 0 0 34 2 16 0 1 0 310425441 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 226913477444 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/21165/statm: 1339 239 197 169 0 50 0
[pid=21171] ppid=21165 vsize=112512 CPUtime=641.55
/proc/21171/stat : 21171 (minisat_static) R 21165 21165 20993 0 -1 4194304 27850 0 0 0 64123 32 0 0 25 0 1 0 310425478 115212288 27836 1992294400 134512640 135215339 4294956240 18446744073709551615 134537869 0 0 4096 3 0 0 0 17 0 0 0
/proc/21171/statm: 28128 27836 77 171 0 27955 0
Current children cumulated CPU time (s) 641.91
Current children cumulated vsize (KiB) 117868
[startup+702.302 s]
/proc/loadavg: 0.99 0.98 1.00 2/66 21177
/proc/meminfo: memFree=1857744/2055920 swapFree=4179936/4192956
[pid=21165] ppid=21163 vsize=5356 CPUtime=0.36
/proc/21165/stat : 21165 (SatELiteGTI) S 21163 21165 20993 0 -1 4194304 336 2921 0 0 0 0 34 2 16 0 1 0 310425441 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 226913477444 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/21165/statm: 1339 239 197 169 0 50 0
[pid=21171] ppid=21165 vsize=112512 CPUtime=701.51
/proc/21171/stat : 21171 (minisat_static) R 21165 21165 20993 0 -1 4194304 27852 0 0 0 70119 32 0 0 25 0 1 0 310425478 115212288 27838 1992294400 134512640 135215339 4294956240 18446744073709551615 134528776 0 0 4096 3 0 0 0 17 0 0 0
/proc/21171/statm: 28128 27838 77 171 0 27955 0
Current children cumulated CPU time (s) 701.87
Current children cumulated vsize (KiB) 117868
[startup+762.306 s]
/proc/loadavg: 0.99 0.98 1.00 2/66 21177
/proc/meminfo: memFree=1857680/2055920 swapFree=4179936/4192956
[pid=21165] ppid=21163 vsize=5356 CPUtime=0.36
/proc/21165/stat : 21165 (SatELiteGTI) S 21163 21165 20993 0 -1 4194304 336 2921 0 0 0 0 34 2 16 0 1 0 310425441 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 226913477444 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/21165/statm: 1339 239 197 169 0 50 0
[pid=21171] ppid=21165 vsize=112512 CPUtime=761.49
/proc/21171/stat : 21171 (minisat_static) R 21165 21165 20993 0 -1 4194304 27854 0 0 0 76117 32 0 0 25 0 1 0 310425478 115212288 27840 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/21171/statm: 28128 27840 77 171 0 27955 0
Current children cumulated CPU time (s) 761.85
Current children cumulated vsize (KiB) 117868
[startup+822.301 s]
/proc/loadavg: 0.99 0.98 1.00 2/66 21177
/proc/meminfo: memFree=1857680/2055920 swapFree=4179936/4192956
[pid=21165] ppid=21163 vsize=5356 CPUtime=0.36
/proc/21165/stat : 21165 (SatELiteGTI) S 21163 21165 20993 0 -1 4194304 336 2921 0 0 0 0 34 2 16 0 1 0 310425441 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 226913477444 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/21165/statm: 1339 239 197 169 0 50 0
[pid=21171] ppid=21165 vsize=112512 CPUtime=821.45
/proc/21171/stat : 21171 (minisat_static) R 21165 21165 20993 0 -1 4194304 27854 0 0 0 82113 32 0 0 25 0 1 0 310425478 115212288 27840 1992294400 134512640 135215339 4294956240 18446744073709551615 134528697 0 0 4096 3 0 0 0 17 0 0 0
/proc/21171/statm: 28128 27840 77 171 0 27955 0
Current children cumulated CPU time (s) 821.81
Current children cumulated vsize (KiB) 117868
[startup+882.302 s]
/proc/loadavg: 0.99 0.98 1.00 2/66 21177
/proc/meminfo: memFree=1857624/2055920 swapFree=4179936/4192956
[pid=21165] ppid=21163 vsize=5356 CPUtime=0.36
/proc/21165/stat : 21165 (SatELiteGTI) S 21163 21165 20993 0 -1 4194304 336 2921 0 0 0 0 34 2 16 0 1 0 310425441 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 226913477444 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/21165/statm: 1339 239 197 169 0 50 0
[pid=21171] ppid=21165 vsize=112512 CPUtime=881.43
/proc/21171/stat : 21171 (minisat_static) R 21165 21165 20993 0 -1 4194304 27854 0 0 0 88111 32 0 0 25 0 1 0 310425478 115212288 27840 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/21171/statm: 28128 27840 77 171 0 27955 0
Current children cumulated CPU time (s) 881.79
Current children cumulated vsize (KiB) 117868
[startup+942.302 s]
/proc/loadavg: 0.99 0.98 1.00 2/66 21177
/proc/meminfo: memFree=1857496/2055920 swapFree=4179936/4192956
[pid=21165] ppid=21163 vsize=5356 CPUtime=0.36
/proc/21165/stat : 21165 (SatELiteGTI) S 21163 21165 20993 0 -1 4194304 336 2921 0 0 0 0 34 2 16 0 1 0 310425441 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 226913477444 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/21165/statm: 1339 239 197 169 0 50 0
[pid=21171] ppid=21165 vsize=112512 CPUtime=941.42
/proc/21171/stat : 21171 (minisat_static) R 21165 21165 20993 0 -1 4194304 27863 0 0 0 94109 33 0 0 25 0 1 0 310425478 115212288 27849 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/21171/statm: 28128 27849 77 171 0 27955 0
Current children cumulated CPU time (s) 941.78
Current children cumulated vsize (KiB) 117868
[startup+1002.3 s]
/proc/loadavg: 0.99 0.98 1.00 2/66 21177
/proc/meminfo: memFree=1857368/2055920 swapFree=4179936/4192956
[pid=21165] ppid=21163 vsize=5356 CPUtime=0.36
/proc/21165/stat : 21165 (SatELiteGTI) S 21163 21165 20993 0 -1 4194304 336 2921 0 0 0 0 34 2 16 0 1 0 310425441 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 226913477444 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/21165/statm: 1339 239 197 169 0 50 0
[pid=21171] ppid=21165 vsize=112512 CPUtime=1001.39
/proc/21171/stat : 21171 (minisat_static) R 21165 21165 20993 0 -1 4194304 27863 0 0 0 100106 33 0 0 25 0 1 0 310425478 115212288 27849 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/21171/statm: 28128 27849 77 171 0 27955 0
Current children cumulated CPU time (s) 1001.75
Current children cumulated vsize (KiB) 117868
[startup+1062.3 s]
/proc/loadavg: 0.99 0.98 1.00 2/66 21177
/proc/meminfo: memFree=1857304/2055920 swapFree=4179936/4192956
[pid=21165] ppid=21163 vsize=5356 CPUtime=0.36
/proc/21165/stat : 21165 (SatELiteGTI) S 21163 21165 20993 0 -1 4194304 336 2921 0 0 0 0 34 2 16 0 1 0 310425441 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 226913477444 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/21165/statm: 1339 239 197 169 0 50 0
[pid=21171] ppid=21165 vsize=112512 CPUtime=1061.37
/proc/21171/stat : 21171 (minisat_static) R 21165 21165 20993 0 -1 4194304 27863 0 0 0 106104 33 0 0 25 0 1 0 310425478 115212288 27849 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/21171/statm: 28128 27849 77 171 0 27955 0
Current children cumulated CPU time (s) 1061.73
Current children cumulated vsize (KiB) 117868
[startup+1122.3 s]
/proc/loadavg: 0.99 0.98 1.00 2/66 21177
/proc/meminfo: memFree=1857240/2055920 swapFree=4179936/4192956
[pid=21165] ppid=21163 vsize=5356 CPUtime=0.36
/proc/21165/stat : 21165 (SatELiteGTI) S 21163 21165 20993 0 -1 4194304 336 2921 0 0 0 0 34 2 16 0 1 0 310425441 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 226913477444 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/21165/statm: 1339 239 197 169 0 50 0
[pid=21171] ppid=21165 vsize=112512 CPUtime=1121.36
/proc/21171/stat : 21171 (minisat_static) R 21165 21165 20993 0 -1 4194304 27863 0 0 0 112103 33 0 0 25 0 1 0 310425478 115212288 27849 1992294400 134512640 135215339 4294956240 18446744073709551615 134532626 0 0 4096 3 0 0 0 17 0 0 0
/proc/21171/statm: 28128 27849 77 171 0 27955 0
Current children cumulated CPU time (s) 1121.72
Current children cumulated vsize (KiB) 117868
[startup+1182.3 s]
/proc/loadavg: 0.99 0.98 1.00 2/66 21177
/proc/meminfo: memFree=1857176/2055920 swapFree=4179936/4192956
[pid=21165] ppid=21163 vsize=5356 CPUtime=0.36
/proc/21165/stat : 21165 (SatELiteGTI) S 21163 21165 20993 0 -1 4194304 336 2921 0 0 0 0 34 2 16 0 1 0 310425441 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 226913477444 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/21165/statm: 1339 239 197 169 0 50 0
[pid=21171] ppid=21165 vsize=112512 CPUtime=1181.33
/proc/21171/stat : 21171 (minisat_static) R 21165 21165 20993 0 -1 4194304 27864 0 0 0 118100 33 0 0 25 0 1 0 310425478 115212288 27850 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/21171/statm: 28128 27850 77 171 0 27955 0
Current children cumulated CPU time (s) 1181.69
Current children cumulated vsize (KiB) 117868
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1200.7 s]
/proc/loadavg: 0.99 0.98 1.00 2/66 21177
/proc/meminfo: memFree=1857112/2055920 swapFree=4179936/4192956
[pid=21165] ppid=21163 vsize=5356 CPUtime=0.36
/proc/21165/stat : 21165 (SatELiteGTI) S 21163 21165 20993 0 -1 4194304 336 2921 0 0 0 0 34 2 16 0 1 0 310425441 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 226913477444 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/21165/statm: 1339 239 197 169 0 50 0
[pid=21171] ppid=21165 vsize=112512 CPUtime=1199.73
/proc/21171/stat : 21171 (minisat_static) R 21165 21165 20993 0 -1 4194304 27864 0 0 0 119940 33 0 0 25 0 1 0 310425478 115212288 27850 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/21171/statm: 28128 27850 77 171 0 27955 0
Current children cumulated CPU time (s) 1200.09
Current children cumulated vsize (KiB) 117868
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1200.7 s]
/proc/loadavg: 0.99 0.98 1.00 2/66 21177
/proc/meminfo: memFree=1857112/2055920 swapFree=4179936/4192956
[pid=21165] ppid=21163 vsize=5356 CPUtime=0.36
/proc/21165/stat : 21165 (SatELiteGTI) S 21163 21165 20993 0 -1 4194304 336 2921 0 0 0 0 34 2 16 0 1 0 310425441 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 226913477444 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/21165/statm: 1339 239 197 169 0 50 0
[pid=21171] ppid=21165 vsize=112512 CPUtime=1199.73
/proc/21171/stat : 21171 (minisat_static) R 21165 21165 20993 0 -1 4194304 27864 0 0 0 119940 33 0 0 25 0 1 0 310425478 115212288 27850 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/21171/statm: 28128 27850 77 171 0 27955 0
Current children cumulated CPU time (s) 1200.09
Current children cumulated vsize (KiB) 117868
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 21165 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=344947
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=24996
# CPU time returned by wait4() is 0.369943
# while last known CPU time is 1200.09
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1200.71
CPU time (s): 1200.09
CPU user time (s): 1199.74
CPU system time (s): 0.35
CPU usage (%): 99.9481
Max. virtual memory (cumulated for all children) (KiB): 117868
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.344947
system time used= 0.024996
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3257
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 13
involuntary context switches= 6
runsolver used 1.03584 second user time and 3.42748 second system time
The end
Begin job on node5 at 2009-05-20 14:51:55
IDJOB=1833613
IDBENCH=70786
IDSOLVER=671
FILE ID=node5/1833613-1242823915
PBS_JOBID= 9322492
Free space on /tmp= 66404 MiB
SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT09/APPLICATIONS/bitverif/mulhs/mulhs032.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1833613-1242823915/watcher-1833613-1242823915 -o /tmp/evaluation-result-1833613-1242823915/solver-1833613-1242823915 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1833613-1242823915.cnf
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 431823fbe355abc605baf058be5925a0
RANDOM SEED=1228177105
node5.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.212
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5914.62
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.212
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5586.94
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1972752 kB
Buffers: 17504 kB
Cached: 30056 kB
SwapCached: 7112 kB
Active: 26148 kB
Inactive: 30120 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1972752 kB
SwapTotal: 4192956 kB
SwapFree: 4179936 kB
Dirty: 2452 kB
Writeback: 0 kB
Mapped: 13404 kB
Slab: 12968 kB
Committed_AS: 1117600 kB
PageTables: 1392 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264952 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 66400 MiB
End job on node5 at 2009-05-20 15:11:58