0.00/0.00 c Parsing...
0.00/0.03 c ==============================================================================
0.00/0.03 c | | ORIGINAL | LEARNT | |
0.00/0.03 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress |
0.00/0.03 c ==============================================================================
0.00/0.03 c | 0 | 33600 100800 | 10079 0 0 nan | 0.000 % |
0.00/0.11 c | 0 | 33358 101544 | -- 0 -- -- | -- | -242/744
0.00/0.11 c ==============================================================================
0.00/0.11 c Result : #vars: 7770 #clauses: 33358 #literals: 101544
0.00/0.11 c CPU time: 0.107983 s
0.00/0.11 c ==============================================================================
0.00/0.15 c This is MiniSat 2.0 beta
0.00/0.15 c WARNING: for repeatability, setting FPU to use double precision
0.00/0.15 c ============================[ Problem Statistics ]=============================
0.00/0.15 c | |
0.00/0.15 c | Number of variables: 7770 |
0.00/0.15 c | Number of clauses: 33358 |
0.00/0.17 c | Parsing time: 0.02 s |
0.00/0.18 c ============================[ Search Statistics ]==============================
0.00/0.18 c | Conflicts | ORIGINAL | LEARNT | Progress |
0.00/0.18 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
0.00/0.18 c ===============================================================================
0.00/0.18 c | 0 | 7770 33358 101544 | 11119 0 nan | 0.000 % |
0.14/0.20 c | 100 | 7770 33358 101544 | 11119 100 117 | 0.000 % |
0.14/0.22 c | 200 | 7770 33358 101544 | 11119 200 121 | 0.000 % |
0.14/0.24 c | 303 | 7770 33358 101544 | 11119 303 128 | 0.000 % |
0.14/0.27 c | 413 | 7770 33358 101544 | 11119 413 129 | 0.000 % |
0.14/0.29 c | 513 | 7770 33358 101544 | 11119 513 132 | 0.000 % |
0.14/0.32 c | 625 | 7770 33358 101544 | 11119 625 132 | 0.000 % |
0.14/0.35 c | 746 | 7770 33358 101544 | 11119 746 137 | 0.000 % |
0.14/0.37 c | 848 | 7770 33358 101544 | 11119 848 135 | 0.000 % |
0.14/0.40 c | 958 | 7770 33358 101544 | 11119 958 137 | 0.000 % |
0.14/0.42 c | 1080 | 7770 33358 101544 | 11119 1080 136 | 0.000 % |
0.14/0.46 c | 1216 | 7770 33358 101544 | 11119 1216 139 | 0.000 % |
0.14/0.48 c | 1317 | 7770 33358 101544 | 11119 1317 139 | 0.000 % |
0.14/0.50 c | 1427 | 7770 33358 101544 | 11119 1427 138 | 0.000 % |
0.14/0.54 c | 1548 | 7770 33358 101544 | 11119 1548 140 | 0.000 % |
0.14/0.57 c | 1681 | 7770 33358 101544 | 11119 1681 140 | 0.000 % |
0.14/0.60 c | 1827 | 7770 33358 101544 | 11119 1827 139 | 0.000 % |
0.14/0.63 c | 1927 | 7770 33358 101544 | 11119 1927 139 | 0.000 % |
0.14/0.65 c | 2038 | 7770 33358 101544 | 11119 2038 143 | 0.000 % |
0.14/0.69 c | 2160 | 7770 33358 101544 | 11119 2160 143 | 0.000 % |
0.14/0.72 c | 2295 | 7770 33358 101544 | 11119 2295 144 | 0.000 % |
0.14/0.76 c | 2441 | 7770 33358 101544 | 11119 2441 144 | 0.000 % |
0.14/0.80 c | 2602 | 7770 33358 101544 | 11119 2602 144 | 0.000 % |
0.14/0.82 c | 2703 | 7770 33358 101544 | 11119 2703 145 | 0.000 % |
0.14/0.85 c | 2816 | 7770 33358 101544 | 11119 2816 145 | 0.000 % |
0.14/0.88 c | 2939 | 7770 33358 101544 | 11119 2939 144 | 0.000 % |
0.14/0.91 c | 3073 | 7770 33358 101544 | 11119 3073 143 | 0.000 % |
0.14/0.95 c | 3222 | 7770 33358 101544 | 11119 3222 142 | 0.000 % |
0.14/0.99 c | 3383 | 7770 33358 101544 | 11119 3383 141 | 0.000 % |
0.97/1.03 c | 3560 | 7770 33358 101544 | 11119 3560 141 | 0.000 % |
0.97/1.06 c | 3661 | 7770 33358 101544 | 11119 3661 140 | 0.000 % |
0.97/1.09 c | 3772 | 7770 33358 101544 | 11119 3772 140 | 0.000 % |
1.07/1.12 c | 3893 | 7770 33358 101544 | 11119 3893 140 | 0.000 % |
1.07/1.16 c | 4026 | 7770 33358 101544 | 11119 4026 140 | 0.000 % |
1.07/1.20 c | 4172 | 7770 33358 101544 | 11119 4172 139 | 0.000 % |
1.17/1.24 c | 4332 | 7770 33358 101544 | 11119 4332 139 | 0.000 % |
1.17/1.28 c | 4508 | 7770 33358 101544 | 11119 4508 142 | 0.000 % |
1.27/1.33 c | 4702 | 7770 33358 101544 | 11119 4702 142 | 0.000 % |
1.27/1.35 c | 4802 | 7770 33358 101544 | 11119 4802 143 | 0.000 % |
1.27/1.39 c | 4914 | 7770 33358 101544 | 11119 4914 143 | 0.000 % |
1.37/1.42 c | 5035 | 7770 33358 101544 | 11119 5035 143 | 0.000 % |
1.37/1.46 c | 5170 | 7770 33358 101544 | 11119 5170 143 | 0.000 % |
1.37/1.49 c | 5316 | 7770 33358 101544 | 11119 5316 143 | 0.000 % |
1.47/1.54 c | 5476 | 7770 33358 101544 | 11119 5476 143 | 0.000 % |
1.47/1.59 c | 5652 | 7770 33358 101544 | 11119 5652 143 | 0.000 % |
1.57/1.64 c | 5846 | 7770 33358 101544 | 11119 5846 144 | 0.000 % |
1.57/1.70 c | 6058 | 7770 33358 101544 | 11119 6058 145 | 0.000 % |
1.67/1.72 c | 6158 | 7770 33358 101544 | 11119 6158 145 | 0.000 % |
1.67/1.76 c | 6269 | 7770 33358 101544 | 11119 6269 145 | 0.000 % |
1.67/1.79 c | 6390 | 7770 33358 101544 | 11119 6390 145 | 0.000 % |
1.77/1.82 c | 6523 | 7770 33358 101544 | 11119 6523 146 | 0.000 % |
1.77/1.87 c | 6669 | 7770 33358 101544 | 11119 6669 147 | 0.000 % |
1.87/1.92 c | 6829 | 7770 33358 101544 | 11119 6829 146 | 0.000 % |
1.87/1.96 c | 7005 | 7770 33358 101544 | 11119 7005 146 | 0.000 % |
1.97/2.02 c | 7199 | 7770 33358 101544 | 11119 7199 146 | 0.000 % |
1.97/2.07 c | 7413 | 7770 33358 101544 | 11119 7413 145 | 0.000 % |
2.07/2.14 c | 7646 | 7770 33358 101544 | 11119 7646 145 | 0.000 % |
2.07/2.18 c | 7746 | 7770 33358 101544 | 11119 7746 145 | 0.000 % |
2.17/2.21 c | 7856 | 7770 33358 101544 | 11119 7856 145 | 0.000 % |
2.17/2.24 c | 7979 | 7770 33358 101544 | 11119 7979 144 | 0.000 % |
2.17/2.28 c | 8113 | 7770 33358 101544 | 11119 8113 144 | 0.000 % |
2.27/2.32 c | 8259 | 7770 33358 101544 | 11119 8259 144 | 0.000 % |
2.27/2.38 c | 8421 | 7770 33358 101544 | 11119 8421 143 | 0.000 % |
2.37/2.42 c | 8597 | 7770 33358 101544 | 11119 8597 143 | 0.000 % |
2.37/2.49 c | 8792 | 7770 33358 101544 | 11119 8792 142 | 0.000 % |
2.47/2.55 c | 9005 | 7770 33358 101544 | 11119 9005 142 | 0.000 % |
2.57/2.62 c | 9238 | 7770 33358 101544 | 11119 9238 142 | 0.000 % |
2.57/2.69 c | 9494 | 7770 33358 101544 | 11119 9494 143 | 0.000 % |
2.67/2.72 c | 9594 | 7770 33358 101544 | 11119 9594 143 | 0.000 % |
2.67/2.76 c | 9704 | 7770 33358 101544 | 11119 9704 142 | 0.000 % |
2.67/2.79 c | 9825 | 7770 33358 101544 | 11119 9825 142 | 0.000 % |
2.77/2.83 c | 9958 | 7770 33358 101544 | 11119 9958 142 | 0.000 % |
2.77/2.87 c | 10104 | 7770 33358 101544 | 2147483647 10104 142 | 0.000 % |
2.87/2.92 c | 10266 | 7770 33358 101544 | 2147483647 10266 142 | 0.000 % |
2.87/2.97 c | 10443 | 7770 33358 101544 | 2147483647 10443 141 | 0.000 % |
2.97/3.04 c | 10637 | 7770 33358 101544 | 2147483647 10637 142 | 0.000 % |
3.07/3.10 c | 10849 | 7770 33358 101544 | 2147483647 10849 142 | 0.000 % |
3.07/3.17 c | 11082 | 7770 33358 101544 | 2147483647 11082 141 | 0.000 % |
3.18/3.25 c | 11338 | 7770 33358 101544 | 2147483647 11338 141 | 0.000 % |
3.28/3.34 c | 11619 | 7770 33358 101544 | 2147483647 11619 141 | 0.000 % |
3.28/3.37 c | 11719 | 7770 33358 101544 | 2147483647 11719 141 | 0.000 % |
3.37/3.41 c | 11831 | 7770 33358 101544 | 2147483647 11831 141 | 0.000 % |
3.37/3.45 c | 11952 | 7770 33358 101544 | 2147483647 11952 140 | 0.000 % |
3.37/3.49 c | 12086 | 7770 33358 101544 | 2147483647 12086 141 | 0.000 % |
3.47/3.54 c | 12232 | 7770 33358 101544 | 2147483647 12232 141 | 0.000 % |
3.47/3.59 c | 12392 | 7770 33358 101544 | 2147483647 12392 141 | 0.000 % |
3.57/3.65 c | 12568 | 7770 33358 101544 | 2147483647 12568 141 | 0.000 % |
3.67/3.71 c | 12761 | 7770 33358 101544 | 2147483647 12761 141 | 0.000 % |
3.67/3.79 c | 12973 | 7770 33358 101544 | 2147483647 12973 141 | 0.000 % |
3.77/3.87 c | 13207 | 7770 33358 101544 | 2147483647 13207 141 | 0.000 % |
3.87/3.96 c | 13463 | 7770 33358 101544 | 2147483647 13463 141 | 0.000 % |
3.97/4.05 c | 13745 | 7770 33358 101544 | 2147483647 13745 141 | 0.000 % |
4.07/4.16 c | 14054 | 7770 33358 101544 | 2147483647 14054 142 | 0.000 % |
4.07/4.19 c | 14154 | 7770 33358 101544 | 2147483647 14154 142 | 0.000 % |
4.17/4.23 c | 14264 | 7770 33358 101544 | 2147483647 14264 142 | 0.000 % |
4.17/4.28 c | 14389 | 7770 33358 101544 | 2147483647 14389 142 | 0.000 % |
4.27/4.32 c | 14524 | 7770 33358 101544 | 2147483647 14524 142 | 0.000 % |
4.27/4.37 c | 14671 | 7770 33358 101544 | 2147483647 14671 142 | 0.000 % |
4.37/4.43 c | 14832 | 7770 33358 101544 | 2147483647 14832 141 | 0.000 % |
4.37/4.49 c | 15009 | 7770 33358 101544 | 2147483647 15009 141 | 0.000 % |
4.47/4.56 c | 15202 | 7770 33358 101544 | 2147483647 15202 141 | 0.000 % |
4.57/4.63 c | 15416 | 7770 33358 101544 | 2147483647 15416 141 | 0.000 % |
4.67/4.72 c | 15649 | 7770 33358 101544 | 2147483647 15649 141 | 0.000 % |
4.77/4.81 c | 15905 | 7770 33358 101544 | 2147483647 15905 141 | 0.000 % |
4.87/4.90 c | 16186 | 7770 33358 101544 | 2147483647 16186 142 | 0.000 % |
4.97/5.01 c | 16495 | 7770 33358 101544 | 2147483647 16495 141 | 0.000 % |
5.07/5.12 c | 16836 | 7770 33358 101544 | 2147483647 16836 142 | 0.000 % |
5.07/5.17 c | 16938 | 7770 33358 101544 | 2147483647 16938 142 | 0.000 % |
5.17/5.21 c | 17049 | 7770 33358 101544 | 2147483647 17049 142 | 0.000 % |
5.17/5.25 c | 17171 | 7770 33358 101544 | 2147483647 17171 142 | 0.000 % |
5.27/5.30 c | 17304 | 7770 33358 101544 | 2147483647 17304 142 | 0.000 % |
5.27/5.35 c | 17451 | 7770 33358 101544 | 2147483647 17451 141 | 0.000 % |
5.38/5.41 c | 17612 | 7770 33358 101544 | 2147483647 17612 141 | 0.000 % |
5.38/5.47 c | 17789 | 7770 33358 101544 | 2147483647 17789 141 | 0.000 % |
5.48/5.54 c | 17983 | 7770 33358 101544 | 2147483647 17983 141 | 0.000 % |
5.57/5.62 c | 18196 | 7770 33358 101544 | 2147483647 18196 141 | 0.000 % |
5.67/5.70 c | 18429 | 7770 33358 101544 | 2147483647 18429 141 | 0.000 % |
5.67/5.80 c | 18685 | 7770 33358 101544 | 2147483647 18685 141 | 0.000 % |
5.77/5.89 c | 18966 | 7770 33358 101544 | 2147483647 18966 141 | 0.000 % |
5.97/6.01 c | 19275 | 7770 33358 101544 | 2147483647 19275 141 | 0.000 % |
6.07/6.13 c | 19614 | 7770 33358 101544 | 2147483647 19614 141 | 0.000 % |
6.17/6.27 c | 19986 | 7770 33358 101544 | 2147483647 19986 142 | 0.000 % |
6.27/6.31 c | 20087 | 7770 33358 101544 | 2147483647 20087 142 | 0.000 % |
6.27/6.36 c | 20199 | 7770 33358 101544 | 2147483647 20199 142 | 0.000 % |
6.27/6.40 c | 20320 | 7770 33358 101544 | 2147483647 20320 142 | 0.000 % |
6.37/6.45 c | 20454 | 7770 33358 101544 | 2147483647 20454 142 | 0.000 % |
6.47/6.51 c | 20600 | 7770 33358 101544 | 2147483647 20600 142 | 0.000 % |
6.47/6.57 c | 20760 | 7770 33358 101544 | 2147483647 20760 142 | 0.000 % |
6.57/6.63 c | 20937 | 7770 33358 101544 | 2147483647 20937 142 | 0.000 % |
6.67/6.70 c | 21133 | 7770 33358 101544 | 2147483647 21133 142 | 0.000 % |
6.67/6.79 c | 21345 | 7770 33358 101544 | 2147483647 21345 143 | 0.000 % |
6.77/6.87 c | 21580 | 7770 33358 101544 | 2147483647 21580 143 | 0.000 % |
6.87/6.97 c | 21836 | 7770 33358 101544 | 2147483647 21836 143 | 0.000 % |
6.97/7.08 c | 22117 | 7770 33358 101544 | 2147483647 22117 143 | 0.000 % |
7.17/7.20 c | 22427 | 7770 33358 101544 | 2147483647 22427 143 | 0.000 % |
7.27/7.35 c | 22768 | 7770 33358 101544 | 2147483647 22768 143 | 0.000 % |
7.37/7.48 c | 23140 | 7770 33358 101544 | 2147483647 23140 143 | 0.000 % |
7.58/7.64 c | 23549 | 7770 33358 101544 | 2147483647 23549 144 | 0.000 % |
7.58/7.68 c | 23651 | 7770 33358 101544 | 2147483647 23651 143 | 0.000 % |
7.67/7.73 c | 23761 | 7770 33358 101544 | 2147483647 23761 143 | 0.000 % |
7.67/7.78 c | 23884 | 7770 33358 101544 | 2147483647 23884 143 | 0.000 % |
7.77/7.83 c | 24020 | 7770 33358 101544 | 2147483647 24020 143 | 0.000 % |
7.77/7.90 c | 24167 | 7770 33358 101544 | 2147483647 24167 143 | 0.000 % |
7.87/7.96 c | 24329 | 7770 33358 101544 | 2147483647 24329 143 | 0.000 % |
7.97/8.03 c | 24505 | 7770 33358 101544 | 2147483647 24505 143 | 0.000 % |
8.07/8.12 c | 24698 | 7770 33358 101544 | 2147483647 24698 143 | 0.000 % |
8.17/8.20 c | 24910 | 7770 33358 101544 | 2147483647 24910 143 | 0.000 % |
8.27/8.30 c | 25143 | 7770 33358 101544 | 2147483647 25143 143 | 0.000 % |
8.37/8.41 c | 25402 | 7770 33358 101544 | 2147483647 25402 143 | 0.000 % |
8.47/8.53 c | 25683 | 7770 33358 101544 | 2147483647 25683 143 | 0.000 % |
8.57/8.65 c | 25994 | 7770 33358 101544 | 2147483647 25994 143 | 0.000 % |
8.68/8.78 c | 26333 | 7770 33358 101544 | 2147483647 26333 143 | 0.000 % |
8.87/8.93 c | 26705 | 7770 33358 101544 | 2147483647 26705 143 | 0.000 % |
8.97/9.09 c | 27114 | 7770 33358 101544 | 2147483647 27114 143 | 0.000 % |
9.17/9.26 c | 27565 | 7770 33358 101544 | 2147483647 27565 144 | 0.000 % |
9.27/9.31 c | 27667 | 7770 33358 101544 | 2147483647 27667 144 | 0.000 % |
9.27/9.36 c | 27777 | 7770 33358 101544 | 2147483647 27777 144 | 0.000 % |
9.37/9.42 c | 27898 | 7770 33358 101544 | 2147483647 27898 144 | 0.000 % |
9.37/9.48 c | 28031 | 7770 33358 101544 | 2147483647 28031 144 | 0.000 % |
9.47/9.55 c | 28177 | 7770 33358 101544 | 2147483647 28177 144 | 0.000 % |
9.57/9.62 c | 28337 | 7770 33358 101544 | 2147483647 28337 144 | 0.000 % |
9.57/9.69 c | 28517 | 7770 33358 101544 | 2147483647 28517 144 | 0.000 % |
9.67/9.78 c | 28710 | 7770 33358 101544 | 2147483647 28710 144 | 0.000 % |
9.78/9.86 c | 28922 | 7770 33358 101544 | 2147483647 28922 144 | 0.000 % |
9.88/9.97 c | 29155 | 7770 33358 101544 | 2147483647 29155 144 | 0.000 % |
9.97/10.09 c | 29412 | 7770 33358 101544 | 2147483647 29412 145 | 0.000 % |
10.17/10.21 c | 29693 | 7770 33358 101544 | 2147483647 29693 145 | 0.000 % |
10.27/10.35 c | 30002 | 7770 33358 101544 | 2147483647 30002 145 | 0.000 % |
10.47/10.50 c | 30341 | 7770 33358 101544 | 2147483647 30341 146 | 0.000 % |
10.57/10.66 c | 30715 | 7770 33358 101544 | 2147483647 30715 146 | 0.000 % |
10.77/10.84 c | 31124 | 7770 33358 101544 | 2147483647 31124 146 | 0.000 % |
10.98/11.03 c | 31573 | 7770 33358 101544 | 2147483647 31573 147 | 0.000 % |
11.17/11.26 c | 32066 | 7770 33358 101544 | 2147483647 32066 147 | 0.000 % |
11.27/11.30 c | 32168 | 7770 33358 101544 | 2147483647 32168 147 | 0.000 % |
11.27/11.36 c | 32278 | 7770 33358 101544 | 2147483647 32278 147 | 0.000 % |
11.37/11.42 c | 32400 | 7770 33358 101544 | 2147483647 32400 147 | 0.000 % |
11.37/11.49 c | 32534 | 7770 33358 101544 | 2147483647 32534 147 | 0.000 % |
11.47/11.57 c | 32680 | 7770 33358 101544 | 2147483647 32680 147 | 0.000 % |
11.57/11.64 c | 32841 | 7770 33358 101544 | 2147483647 32841 147 | 0.000 % |
11.67/11.73 c | 33017 | 7770 33358 101544 | 2147483647 33017 147 | 0.000 % |
11.77/11.82 c | 33210 | 7770 33358 101544 | 2147483647 33210 147 | 0.000 % |
11.87/11.92 c | 33424 | 7770 33358 101544 | 2147483647 33424 147 | 0.000 % |
11.97/12.03 c | 33657 | 7770 33358 101544 | 2147483647 33657 147 | 0.000 % |
12.07/12.15 c | 33915 | 7770 33358 101544 | 2147483647 33915 147 | 0.000 % |
12.17/12.28 c | 34198 | 7770 33358 101544 | 2147483647 34198 147 | 0.000 % |
12.37/12.42 c | 34507 | 7770 33358 101544 | 2147483647 34507 147 | 0.000 % |
12.47/12.58 c | 34846 | 7770 33358 101544 | 2147483647 34846 147 | 0.000 % |
12.67/12.75 c | 35218 | 7770 33358 101544 | 2147483647 35218 147 | 0.000 % |
12.87/12.95 c | 35627 | 7770 33358 101544 | 2147483647 35627 147 | 0.000 % |
13.07/13.16 c | 36078 | 7770 33358 101544 | 2147483647 36078 147 | 0.000 % |
13.27/13.40 c | 36572 | 7770 33358 101544 | 2147483647 36572 148 | 0.000 % |
13.56/13.64 c | 37116 | 7770 33358 101544 | 2147483647 37116 148 | 0.000 % |
13.56/13.69 c | 37216 | 7770 33358 101544 | 2147483647 37216 147 | 0.000 % |
13.66/13.74 c | 37330 | 7770 33358 101544 | 2147483647 37330 147 | 0.000 % |
13.76/13.80 c | 37454 | 7770 33358 101544 | 2147483647 37454 147 | 0.000 % |
13.76/13.87 c | 37591 | 7770 33358 101544 | 2147483647 37591 147 | 0.000 % |
13.86/13.95 c | 37737 | 7770 33358 101544 | 2147483647 37737 147 | 0.000 % |
13.96/14.03 c | 37897 | 7770 33358 101544 | 2147483647 37897 147 | 0.000 % |
14.06/14.12 c | 38073 | 7770 33358 101544 | 2147483647 38073 147 | 0.000 % |
14.17/14.22 c | 38266 | 7770 33358 101544 | 2147483647 38266 147 | 0.000 % |
14.27/14.32 c | 38479 | 7770 33358 101544 | 2147483647 38479 147 | 0.000 % |
14.36/14.43 c | 38712 | 7770 33358 101544 | 2147483647 38712 147 | 0.000 % |
14.46/14.56 c | 38968 | 7770 33358 101544 | 2147483647 38968 147 | 0.000 % |
14.57/14.69 c | 39249 | 7770 33358 101544 | 2147483647 39249 147 | 0.000 % |
14.77/14.85 c | 39559 | 7770 33358 101544 | 2147483647 39559 147 | 0.000 % |
14.97/15.02 c | 39899 | 7770 33358 101544 | 2147483647 39899 147 | 0.000 % |
15.07/15.20 c | 40272 | 7770 33358 101544 | 2147483647 40272 147 | 0.000 % |
15.27/15.40 c | 40682 | 7770 33358 101544 | 2147483647 40682 147 | 0.000 % |
15.56/15.61 c | 41131 | 7770 33358 101544 | 2147483647 41131 147 | 0.000 % |
15.76/15.87 c | 41625 | 7770 33358 101544 | 2147483647 41625 147 | 0.000 % |
16.06/16.15 c | 42169 | 7770 33358 101544 | 2147483647 42169 148 | 0.000 % |
16.37/16.44 c | 42766 | 7770 33358 101544 | 2147483647 42766 148 | 0.000 % |
16.37/16.49 c | 42867 | 7770 33358 101544 | 2147483647 42867 148 | 0.000 % |
16.47/16.55 c | 42977 | 7770 33358 101544 | 2147483647 42977 148 | 0.000 % |
16.56/16.62 c | 43101 | 7770 33358 101544 | 2147483647 43101 148 | 0.000 % |
16.56/16.69 c | 43234 | 7770 33358 101544 | 2147483647 43234 148 | 0.000 % |
16.66/16.77 c | 43381 | 7770 33358 101544 | 2147483647 43381 148 | 0.000 % |
16.76/16.86 c | 43541 | 7770 33358 101544 | 2147483647 43541 148 | 0.000 % |
16.86/16.96 c | 43719 | 7770 33358 101544 | 2147483647 43719 148 | 0.000 % |
16.97/17.07 c | 43913 | 7770 33358 101544 | 2147483647 43913 148 | 0.000 % |
17.07/17.18 c | 44126 | 7770 33358 101544 | 2147483647 44126 148 | 0.000 % |
17.27/17.31 c | 44362 | 7770 33358 101544 | 2147483647 44362 148 | 0.000 % |
17.37/17.44 c | 44619 | 7770 33358 101544 | 2147483647 44619 148 | 0.000 % |
17.47/17.60 c | 44900 | 7770 33358 101544 | 2147483647 44900 148 | 0.000 % |
17.67/17.77 c | 45209 | 7770 33358 101544 | 2147483647 45209 148 | 0.000 % |
17.87/17.95 c | 45549 | 7770 33358 101544 | 2147483647 45549 148 | 0.000 % |
18.07/18.16 c | 45921 | 7770 33358 101544 | 2147483647 45921 148 | 0.000 % |
18.27/18.39 c | 46330 | 7770 33358 101544 | 2147483647 46330 148 | 0.000 % |
18.57/18.63 c | 46779 | 7770 33358 101544 | 2147483647 46779 148 | 0.000 % |
18.86/18.91 c | 47272 | 7770 33358 101544 | 2147483647 47272 149 | 0.000 % |
19.16/19.21 c | 47815 | 7770 33358 101544 | 2147483647 47815 149 | 0.000 % |
19.46/19.53 c | 48415 | 7770 33358 101544 | 2147483647 48415 149 | 0.000 % |
19.86/19.91 c | 49071 | 7770 33358 101544 | 2147483647 49071 149 | 0.000 % |
19.86/19.97 c | 49172 | 7770 33358 101544 | 2147483647 49172 149 | 0.000 % |
19.96/20.04 c | 49283 | 7770 33358 101544 | 2147483647 49283 149 | 0.000 % |
20.07/20.12 c | 49405 | 7770 33358 101544 | 2147483647 49405 149 | 0.000 % |
20.07/20.19 c | 49540 | 7770 33358 101544 | 2147483647 49540 149 | 0.000 % |
20.17/20.29 c | 49686 | 7770 33358 101544 | 2147483647 49686 149 | 0.000 % |
20.27/20.38 c | 49847 | 7770 33358 101544 | 2147483647 49847 149 | 0.000 % |
20.37/20.48 c | 50023 | 7770 33358 101544 | 2147483647 50023 149 | 0.000 % |
20.57/20.60 c | 50216 | 7770 33358 101544 | 2147483647 50216 149 | 0.000 % |
20.67/20.72 c | 50428 | 7770 33358 101544 | 2147483647 50428 149 | 0.000 % |
20.77/20.85 c | 50661 | 7770 33358 101544 | 2147483647 50661 149 | 0.000 % |
20.97/21.00 c | 50918 | 7770 33358 101544 | 2147483647 50918 149 | 0.000 % |
21.07/21.16 c | 51199 | 7770 33358 101544 | 2147483647 51199 149 | 0.000 % |
21.27/21.32 c | 51510 | 7770 33358 101544 | 2147483647 51510 149 | 0.000 % |
21.46/21.54 c | 51849 | 7770 33358 101544 | 2147483647 51849 149 | 0.000 % |
21.66/21.74 c | 52221 | 7770 33358 101544 | 2147483647 52221 149 | 0.000 % |
21.87/21.97 c | 52630 | 7770 33358 101544 | 2147483647 52630 149 | 0.000 % |
22.16/22.21 c | 53079 | 7770 33358 101544 | 2147483647 53079 149 | 0.000 % |
22.47/22.50 c | 53574 | 7770 33358 101544 | 2147483647 53574 149 | 0.000 % |
22.77/22.81 c | 54121 | 7770 33358 101544 | 2147483647 54121 149 | 0.000 % |
23.07/23.16 c | 54717 | 7770 33358 101544 | 2147483647 54717 149 | 0.000 % |
23.47/23.53 c | 55375 | 7770 33358 101544 | 2147483647 55375 149 | 0.000 % |
23.87/23.95 c | 56096 | 7770 33358 101544 | 2147483647 56096 150 | 0.000 % |
23.97/24.02 c | 56199 | 7770 33358 101544 | 2147483647 56199 149 | 0.000 % |
23.97/24.09 c | 56310 | 7770 33358 101544 | 2147483647 56310 149 | 0.000 % |
24.07/24.17 c | 56432 | 7770 33358 101544 | 2147483647 56432 149 | 0.000 % |
24.17/24.27 c | 56567 | 7770 33358 101544 | 2147483647 56567 149 | 0.000 % |
24.27/24.36 c | 56715 | 7770 33358 101544 | 2147483647 56715 149 | 0.000 % |
24.37/24.47 c | 56876 | 7770 33358 101544 | 2147483647 56876 149 | 0.000 % |
24.47/24.58 c | 57053 | 7770 33358 101544 | 2147483647 57053 149 | 0.000 % |
24.57/24.69 c | 57247 | 7770 33358 101544 | 2147483647 57247 149 | 0.000 % |
24.76/24.81 c | 57460 | 7770 33358 101544 | 2147483647 57460 149 | 0.000 % |
24.86/24.97 c | 57694 | 7770 33358 101544 | 2147483647 57694 149 | 0.000 % |
25.06/25.12 c | 57950 | 7770 33358 101544 | 2147483647 57950 149 | 0.000 % |
25.17/25.29 c | 58232 | 7770 33358 101544 | 2147483647 58232 149 | 0.000 % |
25.36/25.49 c | 58543 | 7770 33358 101544 | 2147483647 58543 149 | 0.000 % |
25.67/25.70 c | 58885 | 7770 33358 101544 | 2147483647 58885 150 | 0.000 % |
25.87/25.92 c | 59257 | 7770 33358 101544 | 2147483647 59257 150 | 0.000 % |
26.07/26.16 c | 59666 | 7770 33358 101544 | 2147483647 59666 150 | 0.000 % |
26.37/26.43 c | 60117 | 7770 33358 101544 | 2147483647 60117 150 | 0.000 % |
26.67/26.74 c | 60611 | 7770 33358 101544 | 2147483647 60611 150 | 0.000 % |
26.97/27.06 c | 61153 | 7770 33358 101544 | 2147483647 61153 150 | 0.000 % |
27.37/27.40 c | 61751 | 7770 33358 101544 | 2147483647 61751 150 | 0.000 % |
27.76/27.81 c | 62407 | 7770 33358 101544 | 2147483647 62407 150 | 0.000 % |
28.16/28.28 c | 63129 | 7770 33358 101544 | 2147483647 63129 150 | 0.000 % |
28.67/28.79 c | 63921 | 7770 33358 101544 | 2147483647 63921 151 | 0.000 % |
28.77/28.86 c | 64021 | 7770 33358 101544 | 2147483647 64021 151 | 0.000 % |
28.87/28.95 c | 64131 | 7770 33358 101544 | 2147483647 64131 151 | 0.000 % |
28.97/29.03 c | 64252 | 7770 33358 101544 | 2147483647 64252 151 | 0.000 % |
29.07/29.14 c | 64387 | 7770 33358 101544 | 2147483647 64387 151 | 0.000 % |
29.17/29.24 c | 64533 | 7770 33358 101544 | 2147483647 64533 151 | 0.000 % |
29.27/29.38 c | 64693 | 7770 33358 101544 | 2147483647 64693 151 | 0.000 % |
29.37/29.49 c | 64872 | 7770 33358 101544 | 2147483647 64872 151 | 0.000 % |
29.57/29.63 c | 65066 | 7770 33358 101544 | 2147483647 65066 151 | 0.000 % |
29.67/29.79 c | 65279 | 7770 33358 101544 | 2147483647 65279 151 | 0.000 % |
29.86/29.95 c | 65517 | 7770 33358 101544 | 2147483647 65517 151 | 0.000 % |
30.06/30.13 c | 65775 | 7770 33358 101544 | 2147483647 65775 151 | 0.000 % |
30.26/30.30 c | 66056 | 7770 33358 101544 | 2147483647 66056 151 | 0.000 % |
30.46/30.52 c | 66366 | 7770 33358 101544 | 2147483647 66366 151 | 0.000 % |
30.66/30.75 c | 66707 | 7770 33358 101544 | 2147483647 66707 151 | 0.000 % |
30.86/30.99 c | 67079 | 7770 33358 101544 | 2147483647 67079 151 | 0.000 % |
31.16/31.29 c | 67489 | 7770 33358 101544 | 2147483647 67489 151 | 0.000 % |
31.46/31.57 c | 67938 | 7770 33358 101544 | 2147483647 67938 151 | 0.000 % |
31.77/31.89 c | 68431 | 7770 33358 101544 | 2147483647 68431 151 | 0.000 % |
32.16/32.24 c | 68973 | 7770 33358 101544 | 2147483647 68973 151 | 0.000 % |
32.56/32.66 c | 69569 | 7770 33358 101544 | 2147483647 69569 151 | 0.000 % |
33.06/33.11 c | 70224 | 7770 33358 101544 | 2147483647 70224 151 | 0.000 % |
33.56/33.61 c | 70944 | 7770 33358 101544 | 2147483647 70944 151 | 0.000 % |
34.06/34.14 c | 71737 | 7770 33358 101544 | 2147483647 71737 151 | 0.000 % |
34.66/34.73 c | 72608 | 7770 33358 101544 | 2147483647 72608 151 | 0.000 % |
34.76/34.80 c | 72708 | 7770 33358 101544 | 2147483647 72708 151 | 0.000 % |
34.76/34.89 c | 72821 | 7770 33358 101544 | 2147483647 72821 151 | 0.000 % |
34.86/34.99 c | 72942 | 7770 33358 101544 | 2147483647 72942 151 | 0.000 % |
34.96/35.09 c | 73075 | 7770 33358 101544 | 2147483647 73075 151 | 0.000 % |
35.17/35.20 c | 73223 | 7770 33358 101544 | 2147483647 73223 151 | 0.000 % |
35.26/35.31 c | 73383 | 7770 33358 101544 | 2147483647 73383 151 | 0.000 % |
35.36/35.43 c | 73559 | 7770 33358 101544 | 2147483647 73559 151 | 0.000 % |
35.46/35.59 c | 73752 | 7770 33358 101544 | 2147483647 73752 151 | 0.000 % |
35.66/35.76 c | 73965 | 7770 33358 101544 | 2147483647 73965 151 | 0.000 % |
35.86/35.92 c | 74198 | 7770 33358 101544 | 2147483647 74198 151 | 0.000 % |
36.06/36.11 c | 74455 | 7770 33358 101544 | 2147483647 74455 151 | 0.000 % |
36.26/36.32 c | 74736 | 7770 33358 101544 | 2147483647 74736 151 | 0.000 % |
36.47/36.54 c | 75047 | 7770 33358 101544 | 2147483647 75047 151 | 0.000 % |
36.67/36.78 c | 75388 | 7770 33358 101544 | 2147483647 75388 151 | 0.000 % |
36.97/37.05 c | 75760 | 7770 33358 101544 | 2147483647 75760 151 | 0.000 % |
37.27/37.33 c | 76170 | 7770 33358 101544 | 2147483647 76170 151 | 0.000 % |
37.56/37.68 c | 76620 | 7770 33358 101544 | 2147483647 76620 151 | 0.000 % |
37.96/38.02 c | 77113 | 7770 33358 101544 | 2147483647 77113 151 | 0.000 % |
38.37/38.41 c | 77656 | 7770 33358 101544 | 2147483647 77656 151 | 0.000 % |
38.76/38.82 c | 78252 | 7770 33358 101544 | 2147483647 78252 151 | 0.000 % |
39.26/39.31 c | 78907 | 7770 33358 101544 | 2147483647 78907 152 | 0.000 % |
39.76/39.81 c | 79631 | 7770 33358 101544 | 2147483647 79631 152 | 0.000 % |
40.26/40.37 c | 80425 | 7770 33358 101544 | 2147483647 80425 152 | 0.000 % |
40.86/40.96 c | 81297 | 7770 33358 101544 | 2147483647 81297 153 | 0.000 % |
41.56/41.67 c | 82257 | 7770 33358 101544 | 2147483647 82257 153 | 0.000 % |
41.67/41.76 c | 82357 | 7770 33358 101544 | 2147483647 82357 153 | 0.000 % |
41.77/41.85 c | 82467 | 7770 33358 101544 | 2147483647 82467 153 | 0.000 % |
41.86/41.96 c | 82589 | 7770 33358 101544 | 2147483647 82589 153 | 0.000 % |
41.96/42.09 c | 82724 | 7770 33358 101544 | 2147483647 82724 153 | 0.000 % |
42.16/42.22 c | 82871 | 7770 33358 101544 | 2147483647 82871 153 | 0.000 % |
42.26/42.34 c | 83031 | 7770 33358 101544 | 2147483647 83031 153 | 0.000 % |
42.36/42.49 c | 83209 | 7770 33358 101544 | 2147483647 83209 153 | 0.000 % |
42.56/42.65 c | 83402 | 7770 33358 101544 | 2147483647 83402 153 | 0.000 % |
42.77/42.82 c | 83615 | 7770 33358 101544 | 2147483647 83615 153 | 0.000 % |
42.96/43.00 c | 83850 | 7770 33358 101544 | 2147483647 83850 153 | 0.000 % |
43.16/43.20 c | 84107 | 7770 33358 101544 | 2147483647 84107 153 | 0.000 % |
43.36/43.43 c | 84389 | 7770 33358 101544 | 2147483647 84389 153 | 0.000 % |
43.56/43.66 c | 84699 | 7770 33358 101544 | 2147483647 84699 153 | 0.000 % |
43.86/43.93 c | 85040 | 7770 33358 101544 | 2147483647 85040 153 | 0.000 % |
44.15/44.23 c | 85412 | 7770 33358 101544 | 2147483647 85412 153 | 0.000 % |
44.45/44.54 c | 85821 | 7770 33358 101544 | 2147483647 85821 153 | 0.000 % |
44.76/44.87 c | 86270 | 7770 33358 101544 | 2147483647 86270 153 | 0.000 % |
45.16/45.26 c | 86765 | 7770 33358 101544 | 2147483647 86765 153 | 0.000 % |
45.56/45.69 c | 87308 | 7770 33358 101544 | 2147483647 87308 153 | 0.000 % |
46.06/46.15 c | 87905 | 7770 33358 101544 | 2147483647 87905 153 | 0.000 % |
46.56/46.65 c | 88560 | 7770 33358 101544 | 2147483647 88560 153 | 0.000 % |
47.17/47.22 c | 89281 | 7770 33358 101544 | 2147483647 89281 154 | 0.000 % |
47.76/47.81 c | 90074 | 7770 33358 101544 | 2147483647 90074 154 | 0.000 % |
48.46/48.55 c | 90946 | 7770 33358 101544 | 2147483647 90946 154 | 0.000 % |
49.15/49.24 c | 91905 | 7770 33358 101544 | 2147483647 91905 154 | 0.000 % |
49.95/50.08 c | 92959 | 7770 33358 101544 | 2147483647 92959 154 | 0.000 % |
50.05/50.16 c | 93060 | 7770 33358 101544 | 2147483647 93060 154 | 0.000 % |
50.15/50.28 c | 93170 | 7770 33358 101544 | 2147483647 93170 154 | 0.000 % |
50.25/50.39 c | 93292 | 7770 33358 101544 | 2147483647 93292 154 | 0.000 % |
50.46/50.51 c | 93426 | 7770 33358 101544 | 2147483647 93426 154 | 0.000 % |
50.57/50.64 c | 93574 | 7770 33358 101544 | 2147483647 93574 154 | 0.000 % |
50.66/50.79 c | 93734 | 7770 33358 101544 | 2147483647 93734 154 | 0.000 % |
50.86/50.96 c | 93910 | 7770 33358 101544 | 2147483647 93910 154 | 0.000 % |
51.06/51.13 c | 94103 | 7770 33358 101544 | 2147483647 94103 154 | 0.000 % |
51.26/51.32 c | 94315 | 7770 33358 101544 | 2147483647 94315 154 | 0.000 % |
51.46/51.53 c | 94548 | 7770 33358 101544 | 2147483647 94548 154 | 0.000 % |
51.66/51.76 c | 94804 | 7770 33358 101544 | 2147483647 94804 154 | 0.000 % |
51.86/51.99 c | 95085 | 7770 33358 101544 | 2147483647 95085 154 | 0.000 % |
52.16/52.27 c | 95394 | 7770 33358 101544 | 2147483647 95394 154 | 0.000 % |
52.46/52.56 c | 95733 | 7770 33358 101544 | 2147483647 95733 154 | 0.000 % |
52.76/52.88 c | 96105 | 7770 33358 101544 | 2147483647 96105 154 | 0.000 % |
53.15/53.22 c | 96515 | 7770 33358 101544 | 2147483647 96515 154 | 0.000 % |
53.55/53.63 c | 96964 | 7770 33358 101544 | 2147483647 96964 154 | 0.000 % |
53.95/54.03 c | 97458 | 7770 33358 101544 | 2147483647 97458 154 | 0.000 % |
54.35/54.48 c | 98001 | 7770 33358 101544 | 2147483647 98001 154 | 0.000 % |
54.96/55.01 c | 98598 | 7770 33358 101544 | 2147483647 98598 154 | 0.000 % |
55.56/55.60 c | 99253 | 7770 33358 101544 | 2147483647 99253 155 | 0.000 % |
56.06/56.14 c | 99973 | 7770 33358 101544 | 2147483647 99973 155 | 0.000 % |
56.65/56.77 c | 100765 | 7770 33358 101544 | 2147483647 100765 155 | 0.000 % |
57.35/57.49 c | 101636 | 7770 33358 101544 | 2147483647 101636 155 | 0.000 % |
58.16/58.25 c | 102596 | 7770 33358 101544 | 2147483647 102596 155 | 0.000 % |
59.06/59.12 c | 103650 | 7770 33358 101544 | 2147483647 103650 156 | 0.000 % |
59.95/60.09 c | 104809 | 7770 33358 101544 | 2147483647 104809 156 | 0.000 % |
60.05/60.19 c | 104909 | 7770 33358 101544 | 2147483647 104909 156 | 0.000 % |
60.25/60.30 c | 105019 | 7770 33358 101544 | 2147483647 105019 156 | 0.000 % |
60.36/60.44 c | 105141 | 7770 33358 101544 | 2147483647 105141 156 | 0.000 % |
60.46/60.57 c | 105274 | 7770 33358 101544 | 2147483647 105274 156 | 0.000 % |
60.65/60.71 c | 105420 | 7770 33358 101544 | 2147483647 105420 156 | 0.000 % |
60.75/60.86 c | 105581 | 7770 33358 101544 | 2147483647 105581 156 | 0.000 % |
60.95/61.04 c | 105759 | 7770 33358 101544 | 2147483647 105759 156 | 0.000 % |
61.15/61.22 c | 105956 | 7770 33358 101544 | 2147483647 105956 156 | 0.000 % |
61.36/61.44 c | 106168 | 7770 33358 101544 | 2147483647 106168 156 | 0.000 % |
61.56/61.65 c | 106401 | 7770 33358 101544 | 2147483647 106401 155 | 0.000 % |
61.76/61.88 c | 106659 | 7770 33358 101544 | 2147483647 106659 155 | 0.000 % |
62.06/62.16 c | 106943 | 7770 33358 101544 | 2147483647 106943 155 | 0.000 % |
62.36/62.46 c | 107252 | 7770 33358 101544 | 2147483647 107252 155 | 0.000 % |
62.66/62.75 c | 107591 | 7770 33358 101544 | 2147483647 107591 155 | 0.000 % |
62.96/63.10 c | 107963 | 7770 33358 101544 | 2147483647 107963 155 | 0.000 % |
63.35/63.47 c | 108375 | 7770 33358 101544 | 2147483647 108375 156 | 0.000 % |
63.76/63.86 c | 108825 | 7770 33358 101544 | 2147483647 108825 155 | 0.000 % |
64.25/64.30 c | 109318 | 7770 33358 101544 | 2147483647 109318 156 | 0.000 % |
64.65/64.76 c | 109860 | 7770 33358 101544 | 2147483647 109860 156 | 0.000 % |
65.15/65.27 c | 110456 | 7770 33358 101544 | 2147483647 110456 156 | 0.000 % |
65.75/65.86 c | 111111 | 7770 33358 101544 | 2147483647 111111 156 | 0.000 % |
66.36/66.50 c | 111831 | 7770 33358 101544 | 2147483647 111831 156 | 0.000 % |
67.06/67.19 c | 112624 | 7770 33358 101544 | 2147483647 112624 155 | 0.000 % |
67.85/67.95 c | 113495 | 7770 33358 101544 | 2147483647 113495 156 | 0.000 % |
68.65/68.77 c | 114454 | 7770 33358 101544 | 2147483647 114454 156 | 0.000 % |
69.56/69.69 c | 115510 | 7770 33358 101544 | 2147483647 115510 156 | 0.000 % |
70.65/70.74 c | 116668 | 7770 33358 101544 | 2147483647 116668 156 | 0.000 % |
71.85/71.93 c | 117942 | 7770 33358 101544 | 2147483647 117942 156 | 0.000 % |
71.95/72.04 c | 118043 | 7770 33358 101544 | 2147483647 118043 156 | 0.000 % |
72.05/72.15 c | 118153 | 7770 33358 101544 | 2147483647 118153 156 | 0.000 % |
72.25/72.30 c | 118275 | 7770 33358 101544 | 2147483647 118275 156 | 0.000 % |
72.35/72.44 c | 118409 | 7770 33358 101544 | 2147483647 118409 156 | 0.000 % |
72.55/72.61 c | 118558 | 7770 33358 101544 | 2147483647 118558 156 | 0.000 % |
72.75/72.80 c | 118718 | 7770 33358 101544 | 2147483647 118718 156 | 0.000 % |
72.85/72.97 c | 118897 | 7770 33358 101544 | 2147483647 118897 156 | 0.000 % |
73.15/73.20 c | 119090 | 7770 33358 101544 | 2147483647 119090 156 | 0.000 % |
73.35/73.42 c | 119304 | 7770 33358 101544 | 2147483647 119304 156 | 0.000 % |
73.55/73.68 c | 119538 | 7770 33358 101544 | 2147483647 119538 156 | 0.000 % |
73.86/73.94 c | 119794 | 7770 33358 101544 | 2147483647 119794 156 | 0.000 % |
74.16/74.21 c | 120077 | 7770 33358 101544 | 2147483647 120077 156 | 0.000 % |
74.46/74.57 c | 120388 | 7770 33358 101544 | 2147483647 120388 156 | 0.000 % |
74.86/74.91 c | 120727 | 7770 33358 101544 | 2147483647 120727 156 | 0.000 % |
75.15/75.29 c | 121100 | 7770 33358 101544 | 2147483647 121100 156 | 0.000 % |
75.65/75.72 c | 121513 | 7770 33358 101544 | 2147483647 121513 156 | 0.000 % |
76.15/76.21 c | 121964 | 7770 33358 101544 | 2147483647 121964 156 | 0.000 % |
76.55/76.68 c | 122458 | 7770 33358 101544 | 2147483647 122458 156 | 0.000 % |
77.15/77.23 c | 123002 | 7770 33358 101544 | 2147483647 123002 156 | 0.000 % |
77.65/77.77 c | 123598 | 7770 33358 101544 | 2147483647 123598 156 | 0.000 % |
78.35/78.44 c | 124254 | 7770 33358 101544 | 2147483647 124254 156 | 0.000 % |
79.05/79.13 c | 124976 | 7770 33358 101544 | 2147483647 124976 156 | 0.000 % |
79.75/79.88 c | 125768 | 7770 33358 101544 | 2147483647 125768 156 | 0.000 % |
80.65/80.75 c | 126640 | 7770 33358 101544 | 2147483647 126640 156 | 0.000 % |
81.55/81.68 c | 127599 | 7770 33358 101544 | 2147483647 127599 156 | 0.000 % |
82.65/82.72 c | 128654 | 7770 33358 101544 | 2147483647 128654 156 | 0.000 % |
83.75/83.80 c | 129815 | 7770 33358 101544 | 2147483647 129815 157 | 0.000 % |
84.94/85.06 c | 131091 | 7770 33358 101544 | 2147483647 131091 157 | 0.000 % |
86.35/86.41 c | 132492 | 7770 33358 101544 | 2147483647 132492 157 | 0.000 % |
86.45/86.54 c | 132593 | 7770 33358 101544 | 2147483647 132593 157 | 0.000 % |
86.55/86.69 c | 132705 | 7770 33358 101544 | 2147483647 132705 157 | 0.000 % |
86.75/86.82 c | 132826 | 7770 33358 101544 | 2147483647 132826 157 | 0.000 % |
86.85/86.98 c | 132959 | 7770 33358 101544 | 2147483647 132959 157 | 0.000 % |
87.05/87.16 c | 133108 | 7770 33358 101544 | 2147483647 133108 157 | 0.000 % |
87.25/87.33 c | 133268 | 7770 33358 101544 | 2147483647 133268 157 | 0.000 % |
87.45/87.54 c | 133444 | 7770 33358 101544 | 2147483647 133444 157 | 0.000 % |
87.65/87.77 c | 133638 | 7770 33358 101544 | 2147483647 133638 157 | 0.000 % |
87.95/88.00 c | 133850 | 7770 33358 101544 | 2147483647 133850 157 | 0.000 % |
88.25/88.31 c | 134084 | 7770 33358 101544 | 2147483647 134084 157 | 0.000 % |
88.55/88.61 c | 134340 | 7770 33358 101544 | 2147483647 134340 157 | 0.000 % |
88.85/88.96 c | 134621 | 7770 33358 101544 | 2147483647 134621 157 | 0.000 % |
89.25/89.32 c | 134934 | 7770 33358 101544 | 2147483647 134934 157 | 0.000 % |
89.55/89.68 c | 135273 | 7770 33358 101544 | 2147483647 135273 157 | 0.000 % |
89.95/90.08 c | 135645 | 7770 33358 101544 | 2147483647 135645 157 | 0.000 % |
90.44/90.52 c | 136055 | 7770 33358 101544 | 2147483647 136055 157 | 0.000 % |
90.95/91.05 c | 136504 | 7770 33358 101544 | 2147483647 136504 157 | 0.000 % |
91.44/91.59 c | 136997 | 7770 33358 101544 | 2147483647 136997 157 | 0.000 % |
92.04/92.17 c | 137540 | 7770 33358 101544 | 2147483647 137540 157 | 0.000 % |
92.75/92.86 c | 138136 | 7770 33358 101544 | 2147483647 138136 157 | 0.000 % |
93.45/93.56 c | 138792 | 7770 33358 101544 | 2147483647 138792 157 | 0.000 % |
94.24/94.31 c | 139516 | 7770 33358 101544 | 2147483647 139516 157 | 0.000 % |
95.04/95.15 c | 140310 | 7770 33358 101544 | 2147483647 140310 157 | 0.000 % |
95.94/96.07 c | 141182 | 7770 33358 101544 | 2147483647 141182 157 | 0.000 % |
96.94/97.08 c | 142144 | 7770 33358 101544 | 2147483647 142144 157 | 0.000 % |
98.14/98.21 c | 143197 | 7770 33358 101544 | 2147483647 143197 157 | 0.000 % |
99.34/99.41 c | 144357 | 7770 33358 101544 | 2147483647 144357 157 | 0.000 % |
100.64/100.75 c | 145630 | 7770 33358 101544 | 2147483647 145630 157 | 0.000 % |
102.04/102.12 c | 147032 | 7770 33358 101544 | 2147483647 147032 158 | 0.000 % |
103.84/103.92 c | 148573 | 7770 33358 101544 | 2147483647 148573 158 | 0.000 % |
103.94/104.08 c | 148676 | 7770 33358 101544 | 2147483647 148676 158 | 0.000 % |
104.14/104.21 c | 148786 | 7770 33358 101544 | 2147483647 148786 158 | 0.000 % |
104.24/104.39 c | 148907 | 7770 33358 101544 | 2147483647 148907 158 | 0.000 % |
104.44/104.57 c | 149041 | 7770 33358 101544 | 2147483647 149041 158 | 0.000 % |
104.64/104.77 c | 149188 | 7770 33358 101544 | 2147483647 149188 158 | 0.000 % |
104.84/104.97 c | 149348 | 7770 33358 101544 | 2147483647 149348 158 | 0.000 % |
105.04/105.19 c | 149524 | 7770 33358 101544 | 2147483647 149524 158 | 0.000 % |
105.34/105.46 c | 149717 | 7770 33358 101544 | 2147483647 149717 158 | 0.000 % |
105.64/105.73 c | 149930 | 7770 33358 101544 | 2147483647 149930 158 | 0.000 % |
105.94/106.05 c | 150164 | 7770 33358 101544 | 2147483647 150164 158 | 0.000 % |
106.25/106.36 c | 150422 | 7770 33358 101544 | 2147483647 150422 158 | 0.000 % |
106.65/106.71 c | 150704 | 7770 33358 101544 | 2147483647 150704 158 | 0.000 % |
106.94/107.06 c | 151013 | 7770 33358 101544 | 2147483647 151013 158 | 0.000 % |
107.34/107.48 c | 151352 | 7770 33358 101544 | 2147483647 151352 158 | 0.000 % |
107.84/107.92 c | 151724 | 7770 33358 101544 | 2147483647 151724 158 | 0.000 % |
108.34/108.40 c | 152133 | 7770 33358 101544 | 2147483647 152133 158 | 0.000 % |
108.84/108.90 c | 152583 | 7770 33358 101544 | 2147483647 152583 158 | 0.000 % |
109.34/109.47 c | 153077 | 7770 33358 101544 | 2147483647 153077 158 | 0.000 % |
110.04/110.13 c | 153620 | 7770 33358 101544 | 2147483647 153620 158 | 0.000 % |
110.64/110.78 c | 154217 | 7770 33358 101544 | 2147483647 154217 158 | 0.000 % |
111.44/111.56 c | 154872 | 7770 33358 101544 | 2147483647 154872 158 | 0.000 % |
112.33/112.40 c | 155593 | 7770 33358 101544 | 2147483647 155593 158 | 0.000 % |
113.24/113.39 c | 156385 | 7770 33358 101544 | 2147483647 156385 158 | 0.000 % |
114.35/114.43 c | 157257 | 7770 33358 101544 | 2147483647 157257 158 | 0.000 % |
115.45/115.51 c | 158217 | 7770 33358 101544 | 2147483647 158217 158 | 0.000 % |
116.64/116.75 c | 159270 | 7770 33358 101544 | 2147483647 159270 158 | 0.000 % |
117.94/118.09 c | 160428 | 7770 33358 101544 | 2147483647 160428 158 | 0.000 % |
119.44/119.54 c | 161701 | 7770 33358 101544 | 2147483647 161701 158 | 0.000 % |
120.94/121.08 c | 163102 | 7770 33358 101544 | 2147483647 163102 158 | 0.000 % |
122.74/122.83 c | 164642 | 7770 33358 101544 | 2147483647 164642 158 | 0.000 % |
124.64/124.79 c | 166336 | 7770 33358 101544 | 2147483647 166336 159 | 0.000 % |
124.84/124.94 c | 166436 | 7770 33358 101544 | 2147483647 166436 159 | 0.000 % |
125.04/125.10 c | 166546 | 7770 33358 101544 | 2147483647 166546 159 | 0.000 % |
125.25/125.31 c | 166669 | 7770 33358 101544 | 2147483647 166669 159 | 0.000 % |
125.34/125.49 c | 166804 | 7770 33358 101544 | 2147483647 166804 159 | 0.000 % |
125.54/125.69 c | 166953 | 7770 33358 101544 | 2147483647 166953 158 | 0.000 % |
125.84/125.92 c | 167113 | 7770 33358 101544 | 2147483647 167113 158 | 0.000 % |
126.04/126.15 c | 167289 | 7770 33358 101544 | 2147483647 167289 158 | 0.000 % |
126.34/126.41 c | 167482 | 7770 33358 101544 | 2147483647 167482 158 | 0.000 % |
126.64/126.70 c | 167694 | 7770 33358 101544 | 2147483647 167694 158 | 0.000 % |
126.84/126.99 c | 167927 | 7770 33358 101544 | 2147483647 167927 158 | 0.000 % |
127.23/127.33 c | 168188 | 7770 33358 101544 | 2147483647 168188 158 | 0.000 % |
127.54/127.67 c | 168469 | 7770 33358 101544 | 2147483647 168469 158 | 0.000 % |
127.93/128.06 c | 168778 | 7770 33358 101544 | 2147483647 168778 158 | 0.000 % |
128.43/128.53 c | 169121 | 7770 33358 101544 | 2147483647 169121 158 | 0.000 % |
128.83/128.97 c | 169493 | 7770 33358 101544 | 2147483647 169493 158 | 0.000 % |
129.34/129.43 c | 169904 | 7770 33358 101544 | 2147483647 169904 159 | 0.000 % |
129.94/130.05 c | 170355 | 7770 33358 101544 | 2147483647 170355 158 | 0.000 % |
130.54/130.68 c | 170850 | 7770 33358 101544 | 2147483647 170850 159 | 0.000 % |
131.24/131.35 c | 171393 | 7770 33358 101544 | 2147483647 171393 159 | 0.000 % |
131.94/132.10 c | 171989 | 7770 33358 101544 | 2147483647 171989 159 | 0.000 % |
132.73/132.85 c | 172644 | 7770 33358 101544 | 2147483647 172644 159 | 0.000 % |
133.63/133.79 c | 173365 | 7770 33358 101544 | 2147483647 173365 159 | 0.000 % |
134.74/134.82 c | 174158 | 7770 33358 101544 | 2147483647 174158 159 | 0.000 % |
135.73/135.85 c | 175029 | 7770 33358 101544 | 2147483647 175029 159 | 0.000 % |
136.94/137.08 c | 175988 | 7770 33358 101544 | 2147483647 175988 159 | 0.000 % |
138.23/138.34 c | 177043 | 7770 33358 101544 | 2147483647 177043 159 | 0.000 % |
139.63/139.77 c | 178202 | 7770 33358 101544 | 2147483647 178202 159 | 0.000 % |
141.23/141.39 c | 179476 | 7770 33358 101544 | 2147483647 179476 159 | 0.000 % |
143.04/143.12 c | 180876 | 7770 33358 101544 | 2147483647 180876 160 | 0.000 % |
145.03/145.13 c | 182417 | 7770 33358 101544 | 2147483647 182417 160 | 0.000 % |
147.13/147.27 c | 184111 | 7770 33358 101544 | 2147483647 184111 160 | 0.000 % |
149.54/149.70 c | 185974 | 7770 33358 101544 | 2147483647 185974 160 | 0.000 % |
149.73/149.85 c | 186074 | 7770 33358 101544 | 2147483647 186074 160 | 0.000 % |
149.93/150.05 c | 186184 | 7770 33358 101544 | 2147483647 186184 160 | 0.000 % |
150.13/150.25 c | 186308 | 7770 33358 101544 | 2147483647 186308 160 | 0.000 % |
150.33/150.47 c | 186441 | 7770 33358 101544 | 2147483647 186441 160 | 0.000 % |
150.54/150.69 c | 186587 | 7770 33358 101544 | 2147483647 186587 160 | 0.000 % |
150.83/150.95 c | 186747 | 7770 33358 101544 | 2147483647 186747 160 | 0.000 % |
151.13/151.22 c | 186925 | 7770 33358 101544 | 2147483647 186925 160 | 0.000 % |
151.43/151.53 c | 187119 | 7770 33358 101544 | 2147483647 187119 160 | 0.000 % |
151.73/151.83 c | 187331 | 7770 33358 101544 | 2147483647 187331 160 | 0.000 % |
152.03/152.15 c | 187564 | 7770 33358 101544 | 2147483647 187564 160 | 0.000 % |
152.43/152.51 c | 187821 | 7770 33358 101544 | 2147483647 187821 160 | 0.000 % |
152.83/152.90 c | 188105 | 7770 33358 101544 | 2147483647 188105 160 | 0.000 % |
153.23/153.34 c | 188414 | 7770 33358 101544 | 2147483647 188414 160 | 0.000 % |
153.73/153.84 c | 188753 | 7770 33358 101544 | 2147483647 188753 160 | 0.000 % |
154.23/154.38 c | 189125 | 7770 33358 101544 | 2147483647 189125 160 | 0.000 % |
154.83/154.95 c | 189535 | 7770 33358 101544 | 2147483647 189535 160 | 0.000 % |
155.53/155.66 c | 189984 | 7770 33358 101544 | 2147483647 189984 160 | 0.000 % |
156.23/156.38 c | 190477 | 7770 33358 101544 | 2147483647 190477 160 | 0.000 % |
157.03/157.13 c | 191020 | 7770 33358 101544 | 2147483647 191020 160 | 0.000 % |
157.83/157.97 c | 191616 | 7770 33358 101544 | 2147483647 191616 160 | 0.000 % |
158.83/158.91 c | 192272 | 7770 33358 101544 | 2147483647 192272 160 | 0.000 % |
159.83/159.96 c | 192995 | 7770 33358 101544 | 2147483647 192995 160 | 0.000 % |
160.92/161.00 c | 193789 | 7770 33358 101544 | 2147483647 193789 160 | 0.000 % |
161.92/162.07 c | 194664 | 7770 33358 101544 | 2147483647 194664 160 | 0.000 % |
163.13/163.21 c | 195622 | 7770 33358 101544 | 2147483647 195622 161 | 0.000 % |
164.43/164.50 c | 196676 | 7770 33358 101544 | 2147483647 196676 161 | 0.000 % |
165.93/166.10 c | 197838 | 7770 33358 101544 | 2147483647 197838 161 | 0.000 % |
167.83/167.92 c | 199111 | 7770 33358 101544 | 2147483647 199111 161 | 0.000 % |
169.62/169.79 c | 200511 | 7770 33358 101544 | 2147483647 200511 161 | 0.000 % |
171.83/171.99 c | 202052 | 7770 33358 101544 | 2147483647 202052 161 | 0.000 % |
174.12/174.29 c | 203746 | 7770 33358 101544 | 2147483647 203746 161 | 0.000 % |
176.62/176.74 c | 205609 | 7770 33358 101544 | 2147483647 205609 161 | 0.000 % |
179.42/179.51 c | 207658 | 7770 33358 101544 | 2147483647 207658 162 | 0.000 % |
179.52/179.67 c | 207759 | 7770 33358 101544 | 2147483647 207759 162 | 0.000 % |
179.73/179.87 c | 207871 | 7770 33358 101544 | 2147483647 207871 162 | 0.000 % |
179.92/180.05 c | 207992 | 7770 33358 101544 | 2147483647 207992 162 | 0.000 % |
180.12/180.29 c | 208125 | 7770 33358 101544 | 2147483647 208125 162 | 0.000 % |
180.42/180.52 c | 208271 | 7770 33358 101544 | 2147483647 208271 162 | 0.000 % |
180.62/180.77 c | 208431 | 7770 33358 101544 | 2147483647 208431 162 | 0.000 % |
180.92/181.09 c | 208608 | 7770 33358 101544 | 2147483647 208608 162 | 0.000 % |
181.22/181.39 c | 208801 | 7770 33358 101544 | 2147483647 208801 162 | 0.000 % |
181.62/181.72 c | 209013 | 7770 33358 101544 | 2147483647 209013 162 | 0.000 % |
182.02/182.16 c | 209248 | 7770 33358 101544 | 2147483647 209248 162 | 0.000 % |
182.42/182.59 c | 209505 | 7770 33358 101544 | 2147483647 209505 162 | 0.000 % |
182.92/183.06 c | 209788 | 7770 33358 101544 | 2147483647 209788 162 | 0.000 % |
183.42/183.50 c | 210097 | 7770 33358 101544 | 2147483647 210097 162 | 0.000 % |
183.92/184.06 c | 210437 | 7770 33358 101544 | 2147483647 210437 161 | 0.000 % |
184.52/184.63 c | 210809 | 7770 33358 101544 | 2147483647 210809 161 | 0.000 % |
185.12/185.24 c | 211218 | 7770 33358 101544 | 2147483647 211218 161 | 0.000 % |
185.73/185.87 c | 211667 | 7770 33358 101544 | 2147483647 211667 161 | 0.000 % |
186.42/186.57 c | 212161 | 7770 33358 101544 | 2147483647 212161 161 | 0.000 % |
187.22/187.35 c | 212704 | 7770 33358 101544 | 2147483647 212704 161 | 0.000 % |
188.02/188.19 c | 213300 | 7770 33358 101544 | 2147483647 213300 161 | 0.000 % |
189.03/189.13 c | 213955 | 7770 33358 101544 | 2147483647 213955 161 | 0.000 % |
190.12/190.22 c | 214675 | 7770 33358 101544 | 2147483647 214675 161 | 0.000 % |
191.22/191.37 c | 215467 | 7770 33358 101544 | 2147483647 215467 162 | 0.000 % |
192.61/192.70 c | 216338 | 7770 33358 101544 | 2147483647 216338 162 | 0.000 % |
194.02/194.14 c | 217297 | 7770 33358 101544 | 2147483647 217297 162 | 0.000 % |
195.52/195.60 c | 218351 | 7770 33358 101544 | 2147483647 218351 162 | 0.000 % |
197.12/197.26 c | 219509 | 7770 33358 101544 | 2147483647 219509 162 | 0.000 % |
199.02/199.11 c | 220782 | 7770 33358 101544 | 2147483647 220782 162 | 0.000 % |
201.12/201.24 c | 222184 | 7770 33358 101544 | 2147483647 222184 162 | 0.000 % |
203.32/203.44 c | 223726 | 7770 33358 101544 | 2147483647 223726 162 | 0.000 % |
205.81/205.91 c | 225420 | 7770 33358 101544 | 2147483647 225420 162 | 0.000 % |
208.52/208.62 c | 227288 | 7770 33358 101544 | 2147483647 227288 162 | 0.000 % |
211.52/211.68 c | 229340 | 7770 33358 101544 | 2147483647 229340 163 | 0.000 % |
214.91/215.07 c | 231593 | 7770 33358 101544 | 2147483647 231593 163 | 0.000 % |
215.11/215.28 c | 231694 | 7770 33358 101544 | 2147483647 231694 163 | 0.000 % |
215.32/215.48 c | 231805 | 7770 33358 101544 | 2147483647 231805 163 | 0.000 % |
215.62/215.72 c | 231928 | 7770 33358 101544 | 2147483647 231928 163 | 0.000 % |
215.81/215.97 c | 232062 | 7770 33358 101544 | 2147483647 232062 163 | 0.000 % |
216.11/216.26 c | 232209 | 7770 33358 101544 | 2147483647 232209 163 | 0.000 % |
216.41/216.59 c | 232369 | 7770 33358 101544 | 2147483647 232369 163 | 0.000 % |
216.81/216.90 c | 232548 | 7770 33358 101544 | 2147483647 232548 163 | 0.000 % |
217.21/217.33 c | 232742 | 7770 33358 101544 | 2147483647 232742 163 | 0.000 % |
217.51/217.69 c | 232956 | 7770 33358 101544 | 2147483647 232956 163 | 0.000 % |
218.01/218.14 c | 233189 | 7770 33358 101544 | 2147483647 233189 163 | 0.000 % |
218.41/218.58 c | 233448 | 7770 33358 101544 | 2147483647 233448 163 | 0.000 % |
219.01/219.10 c | 233729 | 7770 33358 101544 | 2147483647 233729 163 | 0.000 % |
219.51/219.62 c | 234040 | 7770 33358 101544 | 2147483647 234040 163 | 0.000 % |
220.11/220.21 c | 234379 | 7770 33358 101544 | 2147483647 234379 163 | 0.000 % |
220.71/220.87 c | 234751 | 7770 33358 101544 | 2147483647 234751 163 | 0.000 % |
221.41/221.54 c | 235160 | 7770 33358 101544 | 2147483647 235160 163 | 0.000 % |
222.11/222.27 c | 235609 | 7770 33358 101544 | 2147483647 235609 162 | 0.000 % |
223.01/223.10 c | 236104 | 7770 33358 101544 | 2147483647 236104 162 | 0.000 % |
223.81/223.96 c | 236646 | 7770 33358 101544 | 2147483647 236646 162 | 0.000 % |
224.70/224.88 c | 237243 | 7770 33358 101544 | 2147483647 237243 162 | 0.000 % |
225.80/225.95 c | 237899 | 7770 33358 101544 | 2147483647 237899 163 | 0.000 % |
227.01/227.10 c | 238620 | 7770 33358 101544 | 2147483647 238620 162 | 0.000 % |
228.21/228.38 c | 239414 | 7770 33358 101544 | 2147483647 239414 163 | 0.000 % |
229.61/229.77 c | 240285 | 7770 33358 101544 | 2147483647 240285 163 | 0.000 % |
231.10/231.28 c | 241243 | 7770 33358 101544 | 2147483647 241243 163 | 0.000 % |
232.70/232.88 c | 242296 | 7770 33358 101544 | 2147483647 242296 163 | 0.000 % |
234.61/234.74 c | 243455 | 7770 33358 101544 | 2147483647 243455 163 | 0.000 % |
236.61/236.75 c | 244729 | 7770 33358 101544 | 2147483647 244729 163 | 0.000 % |
238.80/238.95 c | 246129 | 7770 33358 101544 | 2147483647 246129 163 | 0.000 % |
241.31/241.40 c | 247669 | 7770 33358 101544 | 2147483647 247669 163 | 0.000 % |
243.71/243.89 c | 249364 | 7770 33358 101544 | 2147483647 249364 163 | 0.000 % |
246.70/246.87 c | 251227 | 7770 33358 101544 | 2147483647 251227 163 | 0.000 % |
249.91/250.05 c | 253277 | 7770 33358 101544 | 2147483647 253277 163 | 0.000 % |
253.40/253.57 c | 255530 | 7770 33358 101544 | 2147483647 255530 163 | 0.000 % |
257.49/257.61 c | 258009 | 7770 33358 101544 | 2147483647 258009 164 | 0.000 % |
257.69/257.84 c | 258109 | 7770 33358 101544 | 2147483647 258109 164 | 0.000 % |
257.90/258.06 c | 258220 | 7770 33358 101544 | 2147483647 258220 164 | 0.000 % |
258.20/258.32 c | 258342 | 7770 33358 101544 | 2147483647 258342 164 | 0.000 % |
258.50/258.61 c | 258476 | 7770 33358 101544 | 2147483647 258476 164 | 0.000 % |
258.80/258.91 c | 258624 | 7770 33358 101544 | 2147483647 258624 164 | 0.000 % |
259.10/259.21 c | 258787 | 7770 33358 101544 | 2147483647 258787 164 | 0.000 % |
259.50/259.60 c | 258964 | 7770 33358 101544 | 2147483647 258964 164 | 0.000 % |
259.90/260.07 c | 259158 | 7770 33358 101544 | 2147483647 259158 164 | 0.000 % |
260.30/260.46 c | 259372 | 7770 33358 101544 | 2147483647 259372 164 | 0.000 % |
260.80/260.93 c | 259605 | 7770 33358 101544 | 2147483647 259605 164 | 0.000 % |
261.30/261.45 c | 259861 | 7770 33358 101544 | 2147483647 259861 164 | 0.000 % |
261.80/261.97 c | 260142 | 7770 33358 101544 | 2147483647 260142 164 | 0.000 % |
262.40/262.52 c | 260451 | 7770 33358 101544 | 2147483647 260451 164 | 0.000 % |
263.00/263.11 c | 260790 | 7770 33358 101544 | 2147483647 260790 163 | 0.000 % |
263.70/263.80 c | 261162 | 7770 33358 101544 | 2147483647 261162 164 | 0.000 % |
264.39/264.53 c | 261573 | 7770 33358 101544 | 2147483647 261573 163 | 0.000 % |
265.29/265.42 c | 262023 | 7770 33358 101544 | 2147483647 262023 163 | 0.000 % |
266.20/266.35 c | 262517 | 7770 33358 101544 | 2147483647 262517 164 | 0.000 % |
267.20/267.38 c | 263059 | 7770 33358 101544 | 2147483647 263059 164 | 0.000 % |
268.40/268.53 c | 263656 | 7770 33358 101544 | 2147483647 263656 163 | 0.000 % |
269.50/269.68 c | 264312 | 7770 33358 101544 | 2147483647 264312 164 | 0.000 % |
270.80/271.00 c | 265033 | 7770 33358 101544 | 2147483647 265033 164 | 0.000 % |
272.30/272.47 c | 265825 | 7770 33358 101544 | 2147483647 265825 164 | 0.000 % |
273.89/274.03 c | 266698 | 7770 33358 101544 | 2147483647 266698 164 | 0.000 % |
275.59/275.72 c | 267656 | 7770 33358 101544 | 2147483647 267656 164 | 0.000 % |
277.30/277.43 c | 268710 | 7770 33358 101544 | 2147483647 268710 164 | 0.000 % |
279.30/279.42 c | 269868 | 7770 33358 101544 | 2147483647 269868 164 | 0.000 % |
281.29/281.50 c | 271144 | 7770 33358 101544 | 2147483647 271144 164 | 0.000 % |
283.60/283.78 c | 272544 | 7770 33358 101544 | 2147483647 272544 164 | 0.000 % |
286.29/286.49 c | 274084 | 7770 33358 101544 | 2147483647 274084 164 | 0.000 % |
289.40/289.53 c | 275781 | 7770 33358 101544 | 2147483647 275781 165 | 0.000 % |
292.49/292.64 c | 277645 | 7770 33358 101544 | 2147483647 277645 165 | 0.000 % |
295.99/296.10 c | 279694 | 7770 33358 101544 | 2147483647 279694 165 | 0.000 % |
299.79/299.99 c | 281947 | 7770 33358 101544 | 2147483647 281947 165 | 0.000 % |
303.99/304.18 c | 284427 | 7770 33358 101544 | 2147483647 284427 165 | 0.000 % |
308.59/308.78 c | 287154 | 7770 33358 101544 | 2147483647 287154 165 | 0.000 % |
308.79/308.99 c | 287254 | 7770 33358 101544 | 2147483647 287254 165 | 0.000 % |
309.09/309.22 c | 287364 | 7770 33358 101544 | 2147483647 287364 165 | 0.000 % |
309.39/309.51 c | 287485 | 7770 33358 101544 | 2147483647 287485 165 | 0.000 % |
309.69/309.80 c | 287618 | 7770 33358 101544 | 2147483647 287618 165 | 0.000 % |
309.99/310.14 c | 287766 | 7770 33358 101544 | 2147483647 287766 165 | 0.000 % |
310.29/310.50 c | 287926 | 7770 33358 101544 | 2147483647 287926 165 | 0.000 % |
310.79/310.90 c | 288102 | 7770 33358 101544 | 2147483647 288102 165 | 0.000 % |
311.09/311.29 c | 288295 | 7770 33358 101544 | 2147483647 288295 165 | 0.000 % |
311.59/311.73 c | 288507 | 7770 33358 101544 | 2147483647 288507 165 | 0.000 % |
312.09/312.27 c | 288741 | 7770 33358 101544 | 2147483647 288741 165 | 0.000 % |
312.69/312.82 c | 288998 | 7770 33358 101544 | 2147483647 288998 165 | 0.000 % |
313.29/313.44 c | 289279 | 7770 33358 101544 | 2147483647 289279 165 | 0.000 % |
313.88/314.04 c | 289588 | 7770 33358 101544 | 2147483647 289588 165 | 0.000 % |
314.68/314.81 c | 289928 | 7770 33358 101544 | 2147483647 289928 165 | 0.000 % |
315.38/315.56 c | 290302 | 7770 33358 101544 | 2147483647 290302 165 | 0.000 % |
316.28/316.42 c | 290712 | 7770 33358 101544 | 2147483647 290712 165 | 0.000 % |
317.08/317.26 c | 291162 | 7770 33358 101544 | 2147483647 291162 165 | 0.000 % |
318.07/318.24 c | 291655 | 7770 33358 101544 | 2147483647 291655 165 | 0.000 % |
319.27/319.41 c | 292198 | 7770 33358 101544 | 2147483647 292198 165 | 0.000 % |
320.27/320.48 c | 292794 | 7770 33358 101544 | 2147483647 292794 165 | 0.000 % |
321.48/321.62 c | 293451 | 7770 33358 101544 | 2147483647 293451 165 | 0.000 % |
322.78/322.95 c | 294171 | 7770 33358 101544 | 2147483647 294171 165 | 0.000 % |
324.28/324.46 c | 294963 | 7770 33358 101544 | 2147483647 294963 165 | 0.000 % |
325.98/326.19 c | 295835 | 7770 33358 101544 | 2147483647 295835 165 | 0.000 % |
327.97/328.10 c | 296795 | 7770 33358 101544 | 2147483647 296795 165 | 0.000 % |
329.87/330.05 c | 297848 | 7770 33358 101544 | 2147483647 297848 165 | 0.000 % |
332.08/332.28 c | 299008 | 7770 33358 101544 | 2147483647 299008 166 | 0.000 % |
334.57/334.80 c | 300281 | 7770 33358 101544 | 2147483647 300281 166 | 0.000 % |
337.27/337.48 c | 301681 | 7770 33358 101544 | 2147483647 301681 166 | 0.000 % |
340.26/340.47 c | 303222 | 7770 33358 101544 | 2147483647 303222 166 | 0.000 % |
343.47/343.62 c | 304917 | 7770 33358 101544 | 2147483647 304917 166 | 0.000 % |
347.26/347.44 c | 306781 | 7770 33358 101544 | 2147483647 306781 166 | 0.000 % |
351.27/351.48 c | 308831 | 7770 33358 101544 | 2147483647 308831 166 | 0.000 % |
355.47/355.60 c | 311084 | 7770 33358 101544 | 2147483647 311084 166 | 0.000 % |
360.36/360.52 c | 313564 | 7770 33358 101544 | 2147483647 313564 166 | 0.000 % |
365.56/365.72 c | 316289 | 7770 33358 101544 | 2147483647 316289 167 | 0.000 % |
371.16/371.30 c | 319288 | 7770 33358 101544 | 2147483647 319288 167 | 0.000 % |
371.36/371.56 c | 319388 | 7770 33358 101544 | 2147483647 319388 167 | 0.000 % |
371.67/371.85 c | 319498 | 7770 33358 101544 | 2147483647 319498 167 | 0.000 % |
371.96/372.18 c | 319619 | 7770 33358 101544 | 2147483647 319619 167 | 0.000 % |
372.36/372.51 c | 319753 | 7770 33358 101544 | 2147483647 319753 167 | 0.000 % |
372.66/372.83 c | 319903 | 7770 33358 101544 | 2147483647 319903 167 | 0.000 % |
372.96/373.19 c | 320063 | 7770 33358 101544 | 2147483647 320063 167 | 0.000 % |
373.46/373.67 c | 320239 | 7770 33358 101544 | 2147483647 320239 167 | 0.000 % |
373.96/374.17 c | 320432 | 7770 33358 101544 | 2147483647 320432 167 | 0.000 % |
374.56/374.71 c | 320646 | 7770 33358 101544 | 2147483647 320646 167 | 0.000 % |
375.16/375.30 c | 320883 | 7770 33358 101544 | 2147483647 320883 167 | 0.000 % |
375.66/375.90 c | 321140 | 7770 33358 101544 | 2147483647 321140 167 | 0.000 % |
376.35/376.56 c | 321422 | 7770 33358 101544 | 2147483647 321422 167 | 0.000 % |
377.06/377.22 c | 321731 | 7770 33358 101544 | 2147483647 321731 167 | 0.000 % |
377.85/378.08 c | 322071 | 7770 33358 101544 | 2147483647 322071 167 | 0.000 % |
378.75/378.93 c | 322444 | 7770 33358 101544 | 2147483647 322444 167 | 0.000 % |
379.55/379.75 c | 322853 | 7770 33358 101544 | 2147483647 322853 167 | 0.000 % |
380.46/380.63 c | 323305 | 7770 33358 101544 | 2147483647 323305 167 | 0.000 % |
381.46/381.70 c | 323803 | 7770 33358 101544 | 2147483647 323803 167 | 0.000 % |
382.66/382.82 c | 324345 | 7770 33358 101544 | 2147483647 324345 167 | 0.000 % |
383.76/383.98 c | 324942 | 7770 33358 101544 | 2147483647 324942 167 | 0.000 % |
385.16/385.32 c | 325598 | 7770 33358 101544 | 2147483647 325598 167 | 0.000 % |
386.75/386.92 c | 326318 | 7770 33358 101544 | 2147483647 326318 167 | 0.000 % |
388.45/388.62 c | 327111 | 7770 33358 101544 | 2147483647 327111 167 | 0.000 % |
390.35/390.54 c | 327985 | 7770 33358 101544 | 2147483647 327985 167 | 0.000 % |
392.35/392.56 c | 328945 | 7770 33358 101544 | 2147483647 328945 167 | 0.000 % |
394.56/394.79 c | 329999 | 7770 33358 101544 | 2147483647 329999 167 | 0.000 % |
396.96/397.11 c | 331157 | 7770 33358 101544 | 2147483647 331157 167 | 0.000 % |
399.65/399.85 c | 332430 | 7770 33358 101544 | 2147483647 332430 167 | 0.000 % |
402.46/402.66 c | 333830 | 7770 33358 101544 | 2147483647 333830 167 | 0.000 % |
405.85/406.02 c | 335371 | 7770 33358 101544 | 2147483647 335371 167 | 0.000 % |
409.34/409.60 c | 337065 | 7770 33358 101544 | 2147483647 337065 167 | 0.000 % |
413.45/413.66 c | 338929 | 7770 33358 101544 | 2147483647 338929 167 | 0.000 % |
417.94/418.10 c | 340981 | 7770 33358 101544 | 2147483647 340981 167 | 0.000 % |
422.54/422.71 c | 343234 | 7770 33358 101544 | 2147483647 343234 167 | 0.000 % |
427.75/427.96 c | 345715 | 7770 33358 101544 | 2147483647 345715 167 | 0.000 % |
433.44/433.66 c | 348440 | 7770 33358 101544 | 2147483647 348440 168 | 0.000 % |
439.74/440.00 c | 351437 | 7770 33358 101544 | 2147483647 351437 168 | 0.000 % |
446.44/446.68 c | 354736 | 7770 33358 101544 | 2147483647 354736 168 | 0.000 % |
446.74/446.90 c | 354840 | 7770 33358 101544 | 2147483647 354840 168 | 0.000 % |
447.04/447.20 c | 354953 | 7770 33358 101544 | 2147483647 354953 168 | 0.000 % |
447.34/447.58 c | 355075 | 7770 33358 101544 | 2147483647 355075 168 | 0.000 % |
447.84/448.01 c | 355208 | 7770 33358 101544 | 2147483647 355208 168 | 0.000 % |
448.14/448.39 c | 355355 | 7770 33358 101544 | 2147483647 355355 168 | 0.000 % |
448.64/448.88 c | 355516 | 7770 33358 101544 | 2147483647 355516 168 | 0.000 % |
449.14/449.39 c | 355692 | 7770 33358 101544 | 2147483647 355692 168 | 0.000 % |
449.74/449.93 c | 355886 | 7770 33358 101544 | 2147483647 355886 168 | 0.000 % |
450.24/450.45 c | 356099 | 7770 33358 101544 | 2147483647 356099 168 | 0.000 % |
450.94/451.11 c | 356332 | 7770 33358 101544 | 2147483647 356332 168 | 0.000 % |
451.53/451.73 c | 356588 | 7770 33358 101544 | 2147483647 356588 168 | 0.000 % |
452.23/452.42 c | 356869 | 7770 33358 101544 | 2147483647 356869 168 | 0.000 % |
453.04/453.22 c | 357181 | 7770 33358 101544 | 2147483647 357181 168 | 0.000 % |
453.83/454.04 c | 357521 | 7770 33358 101544 | 2147483647 357521 168 | 0.000 % |
454.83/455.06 c | 357896 | 7770 33358 101544 | 2147483647 357896 167 | 0.000 % |
455.83/456.03 c | 358306 | 7770 33358 101544 | 2147483647 358306 167 | 0.000 % |
456.83/457.09 c | 358755 | 7770 33358 101544 | 2147483647 358755 167 | 0.000 % |
458.03/458.24 c | 359249 | 7770 33358 101544 | 2147483647 359249 167 | 0.000 % |
459.33/459.53 c | 359792 | 7770 33358 101544 | 2147483647 359792 167 | 0.000 % |
460.63/460.80 c | 360389 | 7770 33358 101544 | 2147483647 360389 167 | 0.000 % |
462.02/462.20 c | 361045 | 7770 33358 101544 | 2147483647 361045 168 | 0.000 % |
463.72/463.97 c | 361767 | 7770 33358 101544 | 2147483647 361767 167 | 0.000 % |
465.63/465.81 c | 362559 | 7770 33358 101544 | 2147483647 362559 168 | 0.000 % |
467.63/467.84 c | 363431 | 7770 33358 101544 | 2147483647 363431 168 | 0.000 % |
469.92/470.10 c | 364390 | 7770 33358 101544 | 2147483647 364390 168 | 0.000 % |
472.22/472.41 c | 365443 | 7770 33358 101544 | 2147483647 365443 168 | 0.000 % |
474.82/475.02 c | 366601 | 7770 33358 101544 | 2147483647 366601 168 | 0.000 % |
477.43/477.61 c | 367874 | 7770 33358 101544 | 2147483647 367874 168 | 0.000 % |
480.43/480.62 c | 369275 | 7770 33358 101544 | 2147483647 369275 168 | 0.000 % |
483.73/483.92 c | 370819 | 7770 33358 101544 | 2147483647 370819 168 | 0.000 % |
487.62/487.88 c | 372513 | 7770 33358 101544 | 2147483647 372513 168 | 0.000 % |
491.92/492.16 c | 374377 | 7770 33358 101544 | 2147483647 374377 168 | 0.000 % |
496.51/496.71 c | 376426 | 7770 33358 101544 | 2147483647 376426 168 | 0.000 % |
501.62/501.82 c | 378679 | 7770 33358 101544 | 2147483647 378679 168 | 0.000 % |
507.02/507.21 c | 381159 | 7770 33358 101544 | 2147483647 381159 168 | 0.000 % |
512.61/512.86 c | 383884 | 7770 33358 101544 | 2147483647 383884 169 | 0.000 % |
519.51/519.72 c | 386885 | 7770 33358 101544 | 2147483647 386885 169 | 0.000 % |
526.91/527.16 c | 390181 | 7770 33358 101544 | 2147483647 390181 169 | 0.000 % |
534.51/534.79 c | 393806 | 7770 33358 101544 | 2147483647 393806 169 | 0.000 % |
534.91/535.10 c | 393906 | 7770 33358 101544 | 2147483647 393906 169 | 0.000 % |
535.20/535.44 c | 394016 | 7770 33358 101544 | 2147483647 394016 169 | 0.000 % |
535.61/535.87 c | 394137 | 7770 33358 101544 | 2147483647 394137 169 | 0.000 % |
536.10/536.33 c | 394271 | 7770 33358 101544 | 2147483647 394271 169 | 0.000 % |
536.51/536.80 c | 394418 | 7770 33358 101544 | 2147483647 394418 169 | 0.000 % |
537.01/537.26 c | 394578 | 7770 33358 101544 | 2147483647 394578 169 | 0.000 % |
537.51/537.79 c | 394757 | 7770 33358 101544 | 2147483647 394757 169 | 0.000 % |
538.11/538.37 c | 394957 | 7770 33358 101544 | 2147483647 394957 169 | 0.000 % |
538.71/538.96 c | 395169 | 7770 33358 101544 | 2147483647 395169 169 | 0.000 % |
539.40/539.67 c | 395402 | 7770 33358 101544 | 2147483647 395402 169 | 0.000 % |
540.20/540.43 c | 395659 | 7770 33358 101544 | 2147483647 395659 169 | 0.000 % |
540.91/541.14 c | 395940 | 7770 33358 101544 | 2147483647 395940 169 | 0.000 % |
541.70/541.96 c | 396249 | 7770 33358 101544 | 2147483647 396249 169 | 0.000 % |
542.70/542.91 c | 396588 | 7770 33358 101544 | 2147483647 396588 169 | 0.000 % |
543.71/543.94 c | 396960 | 7770 33358 101544 | 2147483647 396960 169 | 0.000 % |
544.81/545.09 c | 397370 | 7770 33358 101544 | 2147483647 397370 169 | 0.000 % |
546.11/546.34 c | 397819 | 7770 33358 101544 | 2147483647 397819 169 | 0.000 % |
547.30/547.58 c | 398313 | 7770 33358 101544 | 2147483647 398313 169 | 0.000 % |
548.80/549.05 c | 398857 | 7770 33358 101544 | 2147483647 398857 169 | 0.000 % |
550.30/550.57 c | 399453 | 7770 33358 101544 | 2147483647 399453 169 | 0.000 % |
551.90/552.16 c | 400109 | 7770 33358 101544 | 2147483647 400109 169 | 0.000 % |
553.80/554.02 c | 400829 | 7770 33358 101544 | 2147483647 400829 169 | 0.000 % |
555.69/555.93 c | 401622 | 7770 33358 101544 | 2147483647 401622 169 | 0.000 % |
557.90/558.12 c | 402494 | 7770 33358 101544 | 2147483647 402494 169 | 0.000 % |
560.40/560.60 c | 403453 | 7770 33358 101544 | 2147483647 403453 169 | 0.000 % |
562.90/563.17 c | 404506 | 7770 33358 101544 | 2147483647 404506 169 | 0.000 % |
565.99/566.21 c | 405664 | 7770 33358 101544 | 2147483647 405664 169 | 0.000 % |
569.29/569.56 c | 406940 | 7770 33358 101544 | 2147483647 406940 169 | 0.000 % |
572.69/572.98 c | 408343 | 7770 33358 101544 | 2147483647 408343 169 | 0.000 % |
576.19/576.49 c | 409883 | 7770 33358 101544 | 2147483647 409883 169 | 0.000 % |
580.50/580.71 c | 411577 | 7770 33358 101544 | 2147483647 411577 169 | 0.000 % |
585.18/585.42 c | 413440 | 7770 33358 101544 | 2147483647 413440 169 | 0.000 % |
590.19/590.48 c | 415489 | 7770 33358 101544 | 2147483647 415489 169 | 0.000 % |
595.89/596.16 c | 417743 | 7770 33358 101544 | 2147483647 417743 169 | 0.000 % |
602.19/602.40 c | 420221 | 7770 33358 101544 | 2147483647 420221 169 | 0.000 % |
608.98/609.26 c | 422948 | 7770 33358 101544 | 2147483647 422948 169 | 0.000 % |
616.57/616.84 c | 425946 | 7770 33358 101544 | 2147483647 425946 169 | 0.000 % |
624.28/624.52 c | 429243 | 7770 33358 101544 | 2147483647 429243 170 | 0.000 % |
632.97/633.23 c | 432868 | 7770 33358 101544 | 2147483647 432868 170 | 0.000 % |
642.57/642.80 c | 436856 | 7770 33358 101544 | 2147483647 436856 170 | 0.000 % |
642.87/643.10 c | 436957 | 7770 33358 101544 | 2147483647 436957 170 | 0.000 % |
643.17/643.48 c | 437067 | 7770 33358 101544 | 2147483647 437067 170 | 0.000 % |
643.77/644.05 c | 437190 | 7770 33358 101544 | 2147483647 437190 170 | 0.000 % |
644.17/644.49 c | 437325 | 7770 33358 101544 | 2147483647 437325 170 | 0.000 % |
644.67/644.95 c | 437471 | 7770 33358 101544 | 2147483647 437471 170 | 0.000 % |
645.17/645.49 c | 437631 | 7770 33358 101544 | 2147483647 437631 170 | 0.000 % |
645.87/646.11 c | 437811 | 7770 33358 101544 | 2147483647 437811 170 | 0.000 % |
646.48/646.71 c | 438004 | 7770 33358 101544 | 2147483647 438004 170 | 0.000 % |
647.17/647.44 c | 438217 | 7770 33358 101544 | 2147483647 438217 170 | 0.000 % |
647.97/648.23 c | 438450 | 7770 33358 101544 | 2147483647 438450 170 | 0.000 % |
648.87/649.13 c | 438707 | 7770 33358 101544 | 2147483647 438707 170 | 0.000 % |
649.67/650.00 c | 438988 | 7770 33358 101544 | 2147483647 438988 170 | 0.000 % |
650.67/650.92 c | 439297 | 7770 33358 101544 | 2147483647 439297 170 | 0.000 % |
651.67/651.97 c | 439636 | 7770 33358 101544 | 2147483647 439636 170 | 0.000 % |
652.77/653.04 c | 440010 | 7770 33358 101544 | 2147483647 440010 170 | 0.000 % |
654.17/654.47 c | 440421 | 7770 33358 101544 | 2147483647 440421 170 | 0.000 % |
655.56/655.81 c | 440870 | 7770 33358 101544 | 2147483647 440870 170 | 0.000 % |
657.06/657.32 c | 441363 | 7770 33358 101544 | 2147483647 441363 170 | 0.000 % |
658.57/658.89 c | 441907 | 7770 33358 101544 | 2147483647 441907 170 | 0.000 % |
660.37/660.62 c | 442504 | 7770 33358 101544 | 2147483647 442504 170 | 0.000 % |
662.26/662.52 c | 443159 | 7770 33358 101544 | 2147483647 443159 170 | 0.000 % |
664.36/664.62 c | 443879 | 7770 33358 101544 | 2147483647 443879 170 | 0.000 % |
666.27/666.50 c | 444672 | 7770 33358 101544 | 2147483647 444672 170 | 0.000 % |
668.66/668.95 c | 445543 | 7770 33358 101544 | 2147483647 445543 170 | 0.000 % |
671.66/671.98 c | 446502 | 7770 33358 101544 | 2147483647 446502 170 | 0.000 % |
674.66/674.92 c | 447555 | 7770 33358 101544 | 2147483647 447555 170 | 0.000 % |
677.76/678.01 c | 448714 | 7770 33358 101544 | 2147483647 448714 170 | 0.000 % |
681.06/681.36 c | 449988 | 7770 33358 101544 | 2147483647 449988 170 | 0.000 % |
685.46/685.75 c | 451388 | 7770 33358 101544 | 450000 399386 169 | 0.000 % |
689.46/689.71 c | 452929 | 7770 33358 101544 | 450000 400927 169 | 0.000 % |
693.76/694.06 c | 454625 | 7770 33358 101544 | 450000 402623 169 | 0.000 % |
698.36/698.66 c | 456488 | 7770 33358 101544 | 450000 404486 169 | 0.000 % |
703.25/703.51 c | 458537 | 7770 33358 101544 | 450000 406535 169 | 0.000 % |
708.55/708.84 c | 460790 | 7770 33358 101544 | 2147483647 408788 169 | 0.000 % |
714.65/714.98 c | 463269 | 7770 33358 101544 | 2147483647 411267 169 | 0.000 % |
720.94/721.20 c | 465994 | 7770 33358 101544 | 2147483647 413992 170 | 0.000 % |
728.14/728.41 c | 468993 | 7770 33358 101544 | 2147483647 416991 170 | 0.000 % |
736.34/736.61 c | 472290 | 7770 33358 101544 | 2147483647 420288 170 | 0.000 % |
744.84/745.15 c | 475915 | 7770 33358 101544 | 2147483647 423913 170 | 0.000 % |
754.53/754.81 c | 479903 | 7770 33358 101544 | 2147483647 427901 170 | 0.000 % |
765.43/765.70 c | 484289 | 7770 33358 101544 | 2147483647 432287 171 | 0.000 % |
765.73/766.09 c | 484390 | 7770 33358 101544 | 2147483647 432388 171 | 0.000 % |
766.13/766.48 c | 484501 | 7770 33358 101544 | 2147483647 432499 171 | 0.000 % |
766.73/767.00 c | 484623 | 7770 33358 101544 | 2147483647 432621 171 | 0.000 % |
767.13/767.42 c | 484758 | 7770 33358 101544 | 2147483647 432756 171 | 0.000 % |
767.53/767.88 c | 484904 | 7770 33358 101544 | 2147483647 432902 171 | 0.000 % |
768.13/768.46 c | 485064 | 7770 33358 101544 | 2147483647 433062 171 | 0.000 % |
768.73/769.09 c | 485241 | 7770 33358 101544 | 2147483647 433239 171 | 0.000 % |
769.43/769.77 c | 485434 | 7770 33358 101544 | 2147483647 433432 171 | 0.000 % |
770.23/770.54 c | 485647 | 7770 33358 101544 | 2147483647 433645 171 | 0.000 % |
771.03/771.32 c | 485880 | 7770 33358 101544 | 2147483647 433878 171 | 0.000 % |
771.83/772.11 c | 486137 | 7770 33358 101544 | 2147483647 434135 171 | 0.000 % |
772.73/773.00 c | 486418 | 7770 33358 101544 | 2147483647 434416 171 | 0.000 % |
773.53/773.89 c | 486728 | 7770 33358 101544 | 2147483647 434726 171 | 0.000 % |
774.53/774.89 c | 487069 | 7770 33358 101544 | 2147483647 435067 171 | 0.000 % |
775.73/776.03 c | 487442 | 7770 33358 101544 | 2147483647 435440 171 | 0.000 % |
777.03/777.32 c | 487853 | 7770 33358 101544 | 2147483647 435851 171 | 0.000 % |
778.33/778.60 c | 488302 | 7770 33358 101544 | 2147483647 436300 171 | 0.000 % |
779.72/780.09 c | 488795 | 7770 33358 101544 | 2147483647 436793 171 | 0.000 % |
781.42/781.72 c | 489338 | 7770 33358 101544 | 2147483647 437336 170 | 0.000 % |
783.02/783.38 c | 489935 | 7770 33358 101544 | 2147483647 437933 170 | 0.000 % |
784.92/785.27 c | 490590 | 7770 33358 101544 | 437998 438588 170 | 0.000 % |
787.33/787.61 c | 491312 | 7770 33358 101544 | 437998 392680 171 | 0.000 % |
789.32/789.63 c | 492105 | 7770 33358 101544 | 437998 393473 171 | 0.000 % |
791.52/791.80 c | 492976 | 7770 33358 101544 | 437998 394344 171 | 0.000 % |
793.92/794.26 c | 493935 | 7770 33358 101544 | 437998 395303 171 | 0.000 % |
796.32/796.61 c | 494990 | 7770 33358 101544 | 437998 396358 171 | 0.000 % |
799.12/799.49 c | 496148 | 7770 33358 101544 | 437998 397516 171 | 0.000 % |
802.12/802.44 c | 497423 | 7770 33358 101544 | 437998 398791 171 | 0.000 % |
805.31/805.69 c | 498824 | 7770 33358 101544 | 437998 400192 171 | 0.000 % |
809.22/809.51 c | 500364 | 7770 33358 101544 | 2147483647 401732 171 | 0.000 % |
813.51/813.83 c | 502058 | 7770 33358 101544 | 2147483647 403426 171 | 0.000 % |
818.21/818.52 c | 503923 | 7770 33358 101544 | 2147483647 405291 171 | 0.000 % |
823.11/823.48 c | 505972 | 7770 33358 101544 | 2147483647 407340 171 | 0.000 % |
828.51/828.84 c | 508225 | 7770 33358 101544 | 2147483647 409593 171 | 0.000 % |
834.41/834.73 c | 510703 | 7770 33358 101544 | 2147483647 412071 172 | 0.000 % |
840.70/841.09 c | 513430 | 7770 33358 101544 | 2147483647 414798 172 | 0.000 % |
847.72/848.03 c | 516427 | 7770 33358 101544 | 2147483647 417795 172 | 0.000 % |
855.61/855.99 c | 519723 | 7770 33358 101544 | 2147483647 421091 172 | 0.000 % |
864.61/864.92 c | 523348 | 7770 33358 101544 | 2147483647 424716 172 | 0.000 % |
874.40/874.73 c | 527337 | 7770 33358 101544 | 2147483647 428705 172 | 0.000 % |
885.00/885.35 c | 531725 | 7770 33358 101544 | 2147483647 433093 173 | 0.000 % |
896.99/897.37 c | 536548 | 7770 33358 101544 | 2147483647 437916 173 | 0.000 % |
897.39/897.78 c | 536650 | 7770 33358 101544 | 2147483647 438018 173 | 0.000 % |
897.79/898.16 c | 536760 | 7770 33358 101544 | 2147483647 438128 173 | 0.000 % |
898.19/898.54 c | 536882 | 7770 33358 101544 | 2147483647 438250 173 | 0.000 % |
898.59/898.99 c | 537016 | 7770 33358 101544 | 2147483647 438384 173 | 0.000 % |
899.19/899.59 c | 537163 | 7770 33358 101544 | 2147483647 438531 173 | 0.000 % |
899.79/900.10 c | 537325 | 7770 33358 101544 | 2147483647 438693 173 | 0.000 % |
900.29/900.65 c | 537501 | 7770 33358 101544 | 2147483647 438869 173 | 0.000 % |
900.99/901.37 c | 537694 | 7770 33358 101544 | 2147483647 439062 173 | 0.000 % |
901.69/902.05 c | 537906 | 7770 33358 101544 | 2147483647 439274 173 | 0.000 % |
902.39/902.76 c | 538139 | 7770 33358 101544 | 2147483647 439507 173 | 0.000 % |
903.19/903.53 c | 538398 | 7770 33358 101544 | 2147483647 439766 173 | 0.000 % |
903.99/904.36 c | 538682 | 7770 33358 101544 | 2147483647 440050 173 | 0.000 % |
904.99/905.31 c | 538992 | 7770 33358 101544 | 2147483647 440360 173 | 0.000 % |
905.99/906.33 c | 539332 | 7770 33358 101544 | 2147483647 440700 173 | 0.000 % |
907.19/907.52 c | 539706 | 7770 33358 101544 | 2147483647 441074 173 | 0.000 % |
908.38/908.78 c | 540115 | 7770 33358 101544 | 2147483647 441483 173 | 0.000 % |
909.68/910.02 c | 540564 | 7770 33358 101544 | 2147483647 441932 173 | 0.000 % |
911.18/911.56 c | 541057 | 7770 33358 101544 | 2147483647 442425 173 | 0.000 % |
912.88/913.22 c | 541599 | 7770 33358 101544 | 2147483647 442967 173 | 0.000 % |
914.68/915.01 c | 542195 | 7770 33358 101544 | 2147483647 443563 173 | 0.000 % |
916.58/916.92 c | 542853 | 7770 33358 101544 | 2147483647 444221 173 | 0.000 % |
918.68/919.03 c | 543575 | 7770 33358 101544 | 2147483647 444943 173 | 0.000 % |
920.88/921.26 c | 544369 | 7770 33358 101544 | 2147483647 445737 173 | 0.000 % |
923.18/923.56 c | 545241 | 7770 33358 101544 | 2147483647 446609 173 | 0.000 % |
925.88/926.29 c | 546199 | 7770 33358 101544 | 2147483647 447567 173 | 0.000 % |
928.87/929.24 c | 547252 | 7770 33358 101544 | 2147483647 448620 173 | 0.000 % |
931.98/932.35 c | 548411 | 7770 33358 101544 | 2147483647 449779 173 | 0.000 % |
935.48/935.87 c | 549684 | 7770 33358 101544 | 2147483647 451052 173 | 0.000 % |
939.58/939.98 c | 551084 | 7770 33358 101544 | 451368 452452 173 | 0.000 % |
944.07/944.41 c | 552626 | 7770 33358 101544 | 451368 402691 174 | 0.000 % |
948.17/948.50 c | 554320 | 7770 33358 101544 | 451368 404385 174 | 0.000 % |
952.67/953.04 c | 556184 | 7770 33358 101544 | 451368 406249 174 | 0.000 % |
957.77/958.15 c | 558235 | 7770 33358 101544 | 451368 408300 174 | 0.000 % |
963.37/963.79 c | 560490 | 7770 33358 101544 | 2147483647 410555 174 | 0.000 % |
969.06/969.48 c | 562968 | 7770 33358 101544 | 2147483647 413033 174 | 0.000 % |
975.66/976.09 c | 565698 | 7770 33358 101544 | 2147483647 415763 175 | 0.000 % |
982.76/983.18 c | 568696 | 7770 33358 101544 | 2147483647 418761 175 | 0.000 % |
990.76/991.10 c | 571993 | 7770 33358 101544 | 2147483647 422058 175 | 0.000 % |
999.56/999.98 c | 575618 | 7770 33358 101544 | 2147483647 425683 175 | 0.000 % |
1009.25/1009.62 c | 579607 | 7770 33358 101544 | 2147483647 429672 175 | 0.000 % |
1019.86/1020.27 c | 583993 | 7770 33358 101544 | 2147483647 434058 175 | 0.000 % |
1032.15/1032.55 c | 588818 | 7770 33358 101544 | 2147483647 438883 175 | 0.000 % |
1045.25/1045.65 c | 594124 | 7770 33358 101544 | 2147483647 444189 176 | 0.000 % |
1045.55/1045.98 c | 594225 | 7770 33358 101544 | 2147483647 444290 176 | 0.000 % |
1045.95/1046.39 c | 594336 | 7770 33358 101544 | 2147483647 444401 176 | 0.000 % |
1046.35/1046.79 c | 594457 | 7770 33358 101544 | 2147483647 444522 176 | 0.000 % |
1046.95/1047.30 c | 594590 | 7770 33358 101544 | 2147483647 444655 175 | 0.000 % |
1047.45/1047.89 c | 594736 | 7770 33358 101544 | 2147483647 444801 175 | 0.000 % |
1048.05/1048.45 c | 594896 | 7770 33358 101544 | 2147483647 444961 175 | 0.000 % |
1048.55/1048.99 c | 595072 | 7770 33358 101544 | 2147483647 445137 175 | 0.000 % |
1049.35/1049.70 c | 595265 | 7770 33358 101544 | 2147483647 445330 175 | 0.000 % |
1049.95/1050.38 c | 595479 | 7770 33358 101544 | 2147483647 445544 175 | 0.000 % |
1050.64/1051.04 c | 595715 | 7770 33358 101544 | 2147483647 445780 175 | 0.000 % |
1051.54/1051.91 c | 595973 | 7770 33358 101544 | 2147483647 446038 175 | 0.000 % |
1052.44/1052.86 c | 596254 | 7770 33358 101544 | 2147483647 446319 175 | 0.000 % |
1053.44/1053.86 c | 596565 | 7770 33358 101544 | 2147483647 446630 175 | 0.000 % |
1054.64/1055.06 c | 596904 | 7770 33358 101544 | 2147483647 446969 175 | 0.000 % |
1055.74/1056.16 c | 597276 | 7770 33358 101544 | 2147483647 447341 175 | 0.000 % |
1057.14/1057.52 c | 597687 | 7770 33358 101544 | 2147483647 447752 175 | 0.000 % |
1058.43/1058.81 c | 598137 | 7770 33358 101544 | 2147483647 448202 175 | 0.000 % |
1059.84/1060.30 c | 598632 | 7770 33358 101544 | 2147483647 448697 175 | 0.000 % |
1061.44/1061.89 c | 599174 | 7770 33358 101544 | 2147483647 449239 175 | 0.000 % |
1063.24/1063.65 c | 599771 | 7770 33358 101544 | 2147483647 449836 175 | 0.000 % |
1064.94/1065.37 c | 600428 | 7770 33358 101544 | 450065 450493 175 | 0.000 % |
1067.34/1067.76 c | 601148 | 7770 33358 101544 | 450065 403811 176 | 0.000 % |
1069.34/1069.75 c | 601941 | 7770 33358 101544 | 450065 404604 176 | 0.000 % |
1071.54/1071.98 c | 602812 | 7770 33358 101544 | 450065 405475 176 | 0.000 % |
1074.03/1074.41 c | 603772 | 7770 33358 101544 | 450065 406435 176 | 0.000 % |
1076.63/1077.05 c | 604825 | 7770 33358 101544 | 450065 407488 176 | 0.000 % |
1079.63/1080.06 c | 605984 | 7770 33358 101544 | 450065 408647 176 | 0.000 % |
1083.13/1083.50 c | 607257 | 7770 33358 101544 | 450065 409920 176 | 0.000 % |
1086.82/1087.20 c | 608659 | 7770 33358 101544 | 450065 411322 176 | 0.000 % |
1090.62/1091.00 c | 610200 | 7770 33358 101544 | 2147483647 412863 176 | 0.000 % |
1094.92/1095.34 c | 611894 | 7770 33358 101544 | 2147483647 414557 176 | 0.000 % |
1099.62/1100.00 c | 613758 | 7770 33358 101544 | 2147483647 416421 176 | 0.000 % |
1104.62/1105.03 c | 615808 | 7770 33358 101544 | 2147483647 418471 176 | 0.000 % |
1110.22/1110.67 c | 618061 | 7770 33358 101544 | 2147483647 420724 176 | 0.000 % |
1116.71/1117.11 c | 620539 | 7770 33358 101544 | 2147483647 423202 176 | 0.000 % |
1123.41/1123.89 c | 623264 | 7770 33358 101544 | 2147483647 425927 176 | 0.000 % |
1131.01/1131.40 c | 626261 | 7770 33358 101544 | 2147483647 428924 176 | 0.000 % |
1139.01/1139.49 c | 629557 | 7770 33358 101544 | 2147483647 432220 177 | 0.000 % |
1148.51/1148.93 c | 633183 | 7770 33358 101544 | 2147483647 435846 177 | 0.000 % |
1158.11/1158.50 c | 637170 | 7770 33358 101544 | 2147483647 439833 177 | 0.000 % |
1168.81/1169.26 c | 641555 | 7770 33358 101544 | 2147483647 444218 177 | 0.000 % |
1180.70/1181.16 c | 646378 | 7770 33358 101544 | 2147483647 449041 178 | 0.000 % |
1194.21/1194.63 c | 651684 | 7770 33358 101544 | 2147483647 454347 178 | 0.000 % |
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1832687-1242786266/watcher-1832687-1242786266 -o /tmp/evaluation-result-1832687-1242786266/solver-1832687-1242786266 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1832687-1242786266.cnf
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1230 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 0.92 0.99 0.99 3/65 18843
/proc/meminfo: memFree=1768496/2055920 swapFree=4178880/4192956
[pid=18843] ppid=18841 vsize=5356 CPUtime=0
/proc/18843/stat : 18843 (SatELiteGTI) S 18841 18843 18244 0 -1 4194304 310 249 0 0 0 0 0 0 19 0 1 0 306654957 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 234211566404 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/18843/statm: 1339 237 197 169 0 50 0
[startup+0.0149661 s]
/proc/loadavg: 0.92 0.99 0.99 3/65 18843
/proc/meminfo: memFree=1768496/2055920 swapFree=4178880/4192956
[pid=18843] ppid=18841 vsize=5356 CPUtime=0
/proc/18843/stat : 18843 (SatELiteGTI) S 18841 18843 18244 0 -1 4194304 310 249 0 0 0 0 0 0 19 0 1 0 306654957 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 234211566404 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/18843/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.101978 s]
/proc/loadavg: 0.92 0.99 0.99 3/65 18843
/proc/meminfo: memFree=1768496/2055920 swapFree=4178880/4192956
[pid=18843] ppid=18841 vsize=5356 CPUtime=0
/proc/18843/stat : 18843 (SatELiteGTI) S 18841 18843 18244 0 -1 4194304 310 249 0 0 0 0 0 0 19 0 1 0 306654957 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 234211566404 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/18843/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.302008 s]
/proc/loadavg: 0.92 0.99 0.99 3/65 18843
/proc/meminfo: memFree=1768496/2055920 swapFree=4178880/4192956
[pid=18843] ppid=18841 vsize=5356 CPUtime=0.14
/proc/18843/stat : 18843 (SatELiteGTI) S 18841 18843 18244 0 -1 4194304 336 1329 0 0 0 0 13 1 16 0 1 0 306654957 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 234211566404 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/18843/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.14
Current children cumulated vsize (KiB) 5356
[startup+0.701061 s]
/proc/loadavg: 0.92 0.99 0.99 3/65 18843
/proc/meminfo: memFree=1768496/2055920 swapFree=4178880/4192956
[pid=18843] ppid=18841 vsize=5356 CPUtime=0.14
/proc/18843/stat : 18843 (SatELiteGTI) S 18841 18843 18244 0 -1 4194304 336 1329 0 0 0 0 13 1 16 0 1 0 306654957 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 234211566404 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/18843/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.14
Current children cumulated vsize (KiB) 5356
[startup+1.50115 s]
/proc/loadavg: 0.92 0.99 0.99 2/67 18849
/proc/meminfo: memFree=1762720/2055920 swapFree=4178880/4192956
[pid=18843] ppid=18841 vsize=5356 CPUtime=0.14
/proc/18843/stat : 18843 (SatELiteGTI) S 18841 18843 18244 0 -1 4194304 336 1329 0 0 0 0 13 1 16 0 1 0 306654957 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 234211566404 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/18843/statm: 1339 239 197 169 0 50 0
[pid=18849] ppid=18843 vsize=7112 CPUtime=1.33
/proc/18849/stat : 18849 (minisat_static) R 18843 18843 18244 0 -1 4194304 1572 0 0 0 132 1 0 0 25 0 1 0 306654973 7282688 1558 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/18849/statm: 1778 1558 77 171 0 1605 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 12468
[startup+3.10136 s]
/proc/loadavg: 0.92 0.99 0.99 2/67 18849
/proc/meminfo: memFree=1760032/2055920 swapFree=4178880/4192956
[pid=18843] ppid=18841 vsize=5356 CPUtime=0.14
/proc/18843/stat : 18843 (SatELiteGTI) S 18841 18843 18244 0 -1 4194304 336 1329 0 0 0 0 13 1 16 0 1 0 306654957 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 234211566404 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/18843/statm: 1339 239 197 169 0 50 0
[pid=18849] ppid=18843 vsize=10412 CPUtime=2.93
/proc/18849/stat : 18849 (minisat_static) R 18843 18843 18244 0 -1 4194304 2395 0 0 0 291 2 0 0 25 0 1 0 306654973 10661888 2381 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/18849/statm: 2603 2381 77 171 0 2430 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 15768
[startup+6.30276 s]
/proc/loadavg: 0.93 0.99 0.99 2/67 18849
/proc/meminfo: memFree=1753952/2055920 swapFree=4178880/4192956
[pid=18843] ppid=18841 vsize=5356 CPUtime=0.14
/proc/18843/stat : 18843 (SatELiteGTI) S 18841 18843 18244 0 -1 4194304 336 1329 0 0 0 0 13 1 16 0 1 0 306654957 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 234211566404 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/18843/statm: 1339 239 197 169 0 50 0
[pid=18849] ppid=18843 vsize=16040 CPUtime=6.13
/proc/18849/stat : 18849 (minisat_static) R 18843 18843 18244 0 -1 4194304 3777 0 0 0 610 3 0 0 25 0 1 0 306654973 16424960 3763 1992294400 134512640 135215339 4294956240 18446744073709551615 134721382 0 0 4096 3 0 0 0 17 1 0 0
/proc/18849/statm: 4010 3763 77 171 0 3837 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 21396
[startup+12.7016 s]
/proc/loadavg: 0.93 0.99 0.99 2/67 18849
/proc/meminfo: memFree=1743712/2055920 swapFree=4178880/4192956
[pid=18843] ppid=18841 vsize=5356 CPUtime=0.14
/proc/18843/stat : 18843 (SatELiteGTI) S 18841 18843 18244 0 -1 4194304 336 1329 0 0 0 0 13 1 16 0 1 0 306654957 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 234211566404 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/18843/statm: 1339 239 197 169 0 50 0
[pid=18849] ppid=18843 vsize=25708 CPUtime=12.53
/proc/18849/stat : 18849 (minisat_static) R 18843 18843 18244 0 -1 4194304 6187 0 0 0 1248 5 0 0 25 0 1 0 306654973 26324992 6173 1992294400 134512640 135215339 4294956240 18446744073709551615 134528863 0 0 4096 3 0 0 0 17 1 0 0
/proc/18849/statm: 6427 6173 77 171 0 6254 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 31064
[startup+25.5012 s]
/proc/loadavg: 0.95 0.99 0.99 2/67 18849
/proc/meminfo: memFree=1728096/2055920 swapFree=4178880/4192956
[pid=18843] ppid=18841 vsize=5356 CPUtime=0.14
/proc/18843/stat : 18843 (SatELiteGTI) S 18841 18843 18244 0 -1 4194304 336 1329 0 0 0 0 13 1 16 0 1 0 306654957 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 234211566404 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/18843/statm: 1339 239 197 169 0 50 0
[pid=18849] ppid=18843 vsize=40572 CPUtime=25.33
/proc/18849/stat : 18849 (minisat_static) R 18843 18843 18244 0 -1 4194304 9932 0 0 0 2523 10 0 0 25 0 1 0 306654973 41545728 9918 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/18849/statm: 10143 9918 77 171 0 9970 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 45928
[startup+51.1014 s]
/proc/loadavg: 0.96 0.99 0.99 2/67 18849
/proc/meminfo: memFree=1704160/2055920 swapFree=4178880/4192956
[pid=18843] ppid=18841 vsize=5356 CPUtime=0.14
/proc/18843/stat : 18843 (SatELiteGTI) S 18841 18843 18244 0 -1 4194304 336 1329 0 0 0 0 13 1 16 0 1 0 306654957 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 234211566404 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/18843/statm: 1339 239 197 169 0 50 0
[pid=18849] ppid=18843 vsize=64632 CPUtime=50.92
/proc/18849/stat : 18849 (minisat_static) R 18843 18843 18244 0 -1 4194304 15903 0 0 0 5074 18 0 0 25 0 1 0 306654973 66183168 15889 1992294400 134512640 135215339 4294956240 18446744073709551615 134528849 0 0 4096 3 0 0 0 17 1 0 0
/proc/18849/statm: 16158 15889 77 171 0 15985 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 69988
[startup+102.306 s]
/proc/loadavg: 0.98 0.99 0.99 2/67 18849
/proc/meminfo: memFree=1667744/2055920 swapFree=4178880/4192956
[pid=18843] ppid=18841 vsize=5356 CPUtime=0.14
/proc/18843/stat : 18843 (SatELiteGTI) S 18841 18843 18244 0 -1 4194304 336 1329 0 0 0 0 13 1 16 0 1 0 306654957 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 234211566404 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/18843/statm: 1339 239 197 169 0 50 0
[pid=18849] ppid=18843 vsize=100672 CPUtime=102.1
/proc/18849/stat : 18849 (minisat_static) R 18843 18843 18244 0 -1 4194304 24888 0 0 0 10182 28 0 0 25 0 1 0 306654973 103088128 24874 1992294400 134512640 135215339 4294956240 18446744073709551615 134721382 0 0 4096 3 0 0 0 17 1 0 0
/proc/18849/statm: 25168 24874 77 171 0 24995 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 106028
[startup+162.301 s]
/proc/loadavg: 0.99 0.99 0.99 2/67 18849
/proc/meminfo: memFree=1634464/2055920 swapFree=4178880/4192956
[pid=18843] ppid=18841 vsize=5356 CPUtime=0.14
/proc/18843/stat : 18843 (SatELiteGTI) S 18841 18843 18244 0 -1 4194304 336 1329 0 0 0 0 13 1 16 0 1 0 306654957 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 234211566404 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/18843/statm: 1339 239 197 169 0 50 0
[pid=18849] ppid=18843 vsize=134068 CPUtime=162.09
/proc/18849/stat : 18849 (minisat_static) R 18843 18843 18244 0 -1 4194304 33300 0 0 0 16170 39 0 0 25 0 1 0 306654973 137285632 33286 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/18849/statm: 33517 33286 77 171 0 33344 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 139424
[startup+222.301 s]
/proc/loadavg: 0.99 0.99 0.99 2/67 18849
/proc/meminfo: memFree=1604768/2055920 swapFree=4178880/4192956
[pid=18843] ppid=18841 vsize=5356 CPUtime=0.14
/proc/18843/stat : 18843 (SatELiteGTI) S 18841 18843 18244 0 -1 4194304 336 1329 0 0 0 0 13 1 16 0 1 0 306654957 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 234211566404 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/18843/statm: 1339 239 197 169 0 50 0
[pid=18849] ppid=18843 vsize=163380 CPUtime=222.07
/proc/18849/stat : 18849 (minisat_static) R 18843 18843 18244 0 -1 4194304 40545 0 0 0 22160 47 0 0 25 0 1 0 306654973 167301120 40531 1992294400 134512640 135215339 4294956240 18446744073709551615 134528863 0 0 4096 3 0 0 0 17 1 0 0
/proc/18849/statm: 40845 40531 77 171 0 40672 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 168736
[startup+282.302 s]
/proc/loadavg: 0.99 0.99 0.99 2/67 18849
/proc/meminfo: memFree=1578784/2055920 swapFree=4178880/4192956
[pid=18843] ppid=18841 vsize=5356 CPUtime=0.14
/proc/18843/stat : 18843 (SatELiteGTI) S 18841 18843 18244 0 -1 4194304 336 1329 0 0 0 0 13 1 16 0 1 0 306654957 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 234211566404 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/18843/statm: 1339 239 197 169 0 50 0
[pid=18849] ppid=18843 vsize=189252 CPUtime=282.05
/proc/18849/stat : 18849 (minisat_static) R 18843 18843 18244 0 -1 4194304 47063 0 0 0 28151 54 0 0 25 0 1 0 306654973 193794048 47049 1992294400 134512640 135215339 4294956240 18446744073709551615 134528849 0 0 4096 3 0 0 0 17 1 0 0
/proc/18849/statm: 47313 47049 77 171 0 47140 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 194608
[startup+342.301 s]
/proc/loadavg: 0.99 0.99 0.99 2/67 18849
/proc/meminfo: memFree=1554464/2055920 swapFree=4178880/4192956
[pid=18843] ppid=18841 vsize=5356 CPUtime=0.14
/proc/18843/stat : 18843 (SatELiteGTI) S 18841 18843 18244 0 -1 4194304 336 1329 0 0 0 0 13 1 16 0 1 0 306654957 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 234211566404 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/18843/statm: 1339 239 197 169 0 50 0
[pid=18849] ppid=18843 vsize=213144 CPUtime=342.03
/proc/18849/stat : 18849 (minisat_static) R 18843 18843 18244 0 -1 4194304 53054 0 0 0 34139 64 0 0 25 0 1 0 306654973 218259456 53040 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 1 0 0
/proc/18849/statm: 53286 53040 77 171 0 53113 0
Current children cumulated CPU time (s) 342.17
Current children cumulated vsize (KiB) 218500
[startup+402.302 s]
/proc/loadavg: 0.99 0.99 0.99 2/67 18849
/proc/meminfo: memFree=1532832/2055920 swapFree=4178880/4192956
[pid=18843] ppid=18841 vsize=5356 CPUtime=0.14
/proc/18843/stat : 18843 (SatELiteGTI) S 18841 18843 18244 0 -1 4194304 336 1329 0 0 0 0 13 1 16 0 1 0 306654957 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 234211566404 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/18843/statm: 1339 239 197 169 0 50 0
[pid=18849] ppid=18843 vsize=235268 CPUtime=402.01
/proc/18849/stat : 18849 (minisat_static) R 18843 18843 18244 0 -1 4194304 58474 0 0 0 40130 71 0 0 25 0 1 0 306654973 240914432 58460 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/18849/statm: 58817 58460 77 171 0 58644 0
Current children cumulated CPU time (s) 402.15
Current children cumulated vsize (KiB) 240624
[startup+462.302 s]
################
# More data... #
################
/proc/18849/statm: 73304 73000 77 171 0 73131 0
Current children cumulated CPU time (s) 582.09
Current children cumulated vsize (KiB) 298572
[startup+642.301 s]
/proc/loadavg: 0.99 0.99 0.99 2/67 18849
/proc/meminfo: memFree=1455584/2055920 swapFree=4178880/4192956
[pid=18843] ppid=18841 vsize=5356 CPUtime=0.14
/proc/18843/stat : 18843 (SatELiteGTI) S 18841 18843 18244 0 -1 4194304 336 1329 0 0 0 0 13 1 16 0 1 0 306654957 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 234211566404 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/18843/statm: 1339 239 197 169 0 50 0
[pid=18849] ppid=18843 vsize=311432 CPUtime=641.93
/proc/18849/stat : 18849 (minisat_static) R 18843 18843 18244 0 -1 4194304 77593 0 0 0 64098 95 0 0 25 0 1 0 306654973 318906368 77579 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/18849/statm: 77858 77579 77 171 0 77685 0
Current children cumulated CPU time (s) 642.07
Current children cumulated vsize (KiB) 316788
[startup+702.302 s]
/proc/loadavg: 0.99 0.99 0.99 2/67 18849
/proc/meminfo: memFree=1444960/2055920 swapFree=4178880/4192956
[pid=18843] ppid=18841 vsize=5356 CPUtime=0.14
/proc/18843/stat : 18843 (SatELiteGTI) S 18841 18843 18244 0 -1 4194304 336 1329 0 0 0 0 13 1 16 0 1 0 306654957 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 234211566404 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/18843/statm: 1339 239 197 169 0 50 0
[pid=18849] ppid=18843 vsize=321728 CPUtime=701.91
/proc/18849/stat : 18849 (minisat_static) R 18843 18843 18244 0 -1 4194304 80208 0 0 0 70092 99 0 0 25 0 1 0 306654973 329449472 80194 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/18849/statm: 80432 80194 77 171 0 80259 0
Current children cumulated CPU time (s) 702.05
Current children cumulated vsize (KiB) 327084
[startup+762.306 s]
/proc/loadavg: 0.99 0.99 0.99 2/67 18849
/proc/meminfo: memFree=1444896/2055920 swapFree=4178880/4192956
[pid=18843] ppid=18841 vsize=5356 CPUtime=0.14
/proc/18843/stat : 18843 (SatELiteGTI) S 18841 18843 18244 0 -1 4194304 336 1329 0 0 0 0 13 1 16 0 1 0 306654957 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 234211566404 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/18843/statm: 1339 239 197 169 0 50 0
[pid=18849] ppid=18843 vsize=321728 CPUtime=761.9
/proc/18849/stat : 18849 (minisat_static) R 18843 18843 18244 0 -1 4194304 80208 0 0 0 76091 99 0 0 25 0 1 0 306654973 329449472 80194 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/18849/statm: 80432 80194 77 171 0 80259 0
Current children cumulated CPU time (s) 762.04
Current children cumulated vsize (KiB) 327084
[startup+822.301 s]
/proc/loadavg: 0.99 0.99 0.99 2/67 18849
/proc/meminfo: memFree=1444768/2055920 swapFree=4178880/4192956
[pid=18843] ppid=18841 vsize=5356 CPUtime=0.14
/proc/18843/stat : 18843 (SatELiteGTI) S 18841 18843 18244 0 -1 4194304 336 1329 0 0 0 0 13 1 16 0 1 0 306654957 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 234211566404 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/18843/statm: 1339 239 197 169 0 50 0
[pid=18849] ppid=18843 vsize=321728 CPUtime=821.87
/proc/18849/stat : 18849 (minisat_static) R 18843 18843 18244 0 -1 4194304 80208 0 0 0 82088 99 0 0 25 0 1 0 306654973 329449472 80194 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/18849/statm: 80432 80194 77 171 0 80259 0
Current children cumulated CPU time (s) 822.01
Current children cumulated vsize (KiB) 327084
[startup+882.302 s]
/proc/loadavg: 0.99 0.99 0.99 2/67 18849
/proc/meminfo: memFree=1444768/2055920 swapFree=4178880/4192956
[pid=18843] ppid=18841 vsize=5356 CPUtime=0.14
/proc/18843/stat : 18843 (SatELiteGTI) S 18841 18843 18244 0 -1 4194304 336 1329 0 0 0 0 13 1 16 0 1 0 306654957 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 234211566404 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/18843/statm: 1339 239 197 169 0 50 0
[pid=18849] ppid=18843 vsize=321728 CPUtime=881.86
/proc/18849/stat : 18849 (minisat_static) R 18843 18843 18244 0 -1 4194304 80208 0 0 0 88086 100 0 0 25 0 1 0 306654973 329449472 80194 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/18849/statm: 80432 80194 77 171 0 80259 0
Current children cumulated CPU time (s) 882
Current children cumulated vsize (KiB) 327084
[startup+942.301 s]
/proc/loadavg: 0.99 0.99 0.99 2/67 18849
/proc/meminfo: memFree=1437216/2055920 swapFree=4178880/4192956
[pid=18843] ppid=18841 vsize=5356 CPUtime=0.14
/proc/18843/stat : 18843 (SatELiteGTI) S 18841 18843 18244 0 -1 4194304 336 1329 0 0 0 0 13 1 16 0 1 0 306654957 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 234211566404 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/18843/statm: 1339 239 197 169 0 50 0
[pid=18849] ppid=18843 vsize=329120 CPUtime=941.83
/proc/18849/stat : 18849 (minisat_static) R 18843 18843 18244 0 -1 4194304 82055 0 0 0 94080 103 0 0 25 0 1 0 306654973 337018880 82041 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/18849/statm: 82280 82041 77 171 0 82107 0
Current children cumulated CPU time (s) 941.97
Current children cumulated vsize (KiB) 334476
[startup+1002.3 s]
/proc/loadavg: 0.99 0.99 0.99 2/67 18849
/proc/meminfo: memFree=1437088/2055920 swapFree=4178880/4192956
[pid=18843] ppid=18841 vsize=5356 CPUtime=0.14
/proc/18843/stat : 18843 (SatELiteGTI) S 18841 18843 18244 0 -1 4194304 336 1329 0 0 0 0 13 1 16 0 1 0 306654957 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 234211566404 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/18843/statm: 1339 239 197 169 0 50 0
[pid=18849] ppid=18843 vsize=329120 CPUtime=1001.81
/proc/18849/stat : 18849 (minisat_static) R 18843 18843 18244 0 -1 4194304 82055 0 0 0 100078 103 0 0 25 0 1 0 306654973 337018880 82041 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/18849/statm: 82280 82041 77 171 0 82107 0
Current children cumulated CPU time (s) 1001.95
Current children cumulated vsize (KiB) 334476
[startup+1062.3 s]
/proc/loadavg: 0.99 0.99 0.99 2/67 18849
/proc/meminfo: memFree=1434976/2055920 swapFree=4178880/4192956
[pid=18843] ppid=18841 vsize=5356 CPUtime=0.14
/proc/18843/stat : 18843 (SatELiteGTI) S 18841 18843 18244 0 -1 4194304 336 1329 0 0 0 0 13 1 16 0 1 0 306654957 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 234211566404 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/18843/statm: 1339 239 197 169 0 50 0
[pid=18849] ppid=18843 vsize=331364 CPUtime=1061.8
/proc/18849/stat : 18849 (minisat_static) R 18843 18843 18244 0 -1 4194304 82613 0 0 0 106075 105 0 0 25 0 1 0 306654973 339316736 82599 1992294400 134512640 135215339 4294956240 18446744073709551615 134528863 0 0 4096 3 0 0 0 17 1 0 0
/proc/18849/statm: 82841 82599 77 171 0 82668 0
Current children cumulated CPU time (s) 1061.94
Current children cumulated vsize (KiB) 336720
[startup+1122.3 s]
/proc/loadavg: 0.99 0.99 0.99 2/67 18849
/proc/meminfo: memFree=1434016/2055920 swapFree=4178880/4192956
[pid=18843] ppid=18841 vsize=5356 CPUtime=0.14
/proc/18843/stat : 18843 (SatELiteGTI) S 18841 18843 18244 0 -1 4194304 336 1329 0 0 0 0 13 1 16 0 1 0 306654957 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 234211566404 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/18843/statm: 1339 239 197 169 0 50 0
[pid=18849] ppid=18843 vsize=332156 CPUtime=1121.77
/proc/18849/stat : 18849 (minisat_static) R 18843 18843 18244 0 -1 4194304 82796 0 0 0 112072 105 0 0 25 0 1 0 306654973 340127744 82782 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/18849/statm: 83039 82782 77 171 0 82866 0
Current children cumulated CPU time (s) 1121.91
Current children cumulated vsize (KiB) 337512
[startup+1182.3 s]
/proc/loadavg: 0.99 0.99 0.99 2/67 18849
/proc/meminfo: memFree=1430432/2055920 swapFree=4178880/4192956
[pid=18843] ppid=18841 vsize=5356 CPUtime=0.14
/proc/18843/stat : 18843 (SatELiteGTI) S 18841 18843 18244 0 -1 4194304 336 1329 0 0 0 0 13 1 16 0 1 0 306654957 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 234211566404 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/18843/statm: 1339 239 197 169 0 50 0
[pid=18849] ppid=18843 vsize=335852 CPUtime=1181.76
/proc/18849/stat : 18849 (minisat_static) R 18843 18843 18244 0 -1 4194304 83739 0 0 0 118069 107 0 0 25 0 1 0 306654973 343912448 83725 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/18849/statm: 83963 83725 77 171 0 83790 0
Current children cumulated CPU time (s) 1181.9
Current children cumulated vsize (KiB) 341208
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1200.5 s]
/proc/loadavg: 0.99 0.99 0.99 2/67 18849
/proc/meminfo: memFree=1424416/2055920 swapFree=4178880/4192956
[pid=18843] ppid=18841 vsize=5356 CPUtime=0.14
/proc/18843/stat : 18843 (SatELiteGTI) S 18841 18843 18244 0 -1 4194304 336 1329 0 0 0 0 13 1 16 0 1 0 306654957 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 234211566404 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/18843/statm: 1339 239 197 169 0 50 0
[pid=18849] ppid=18843 vsize=341528 CPUtime=1199.96
/proc/18849/stat : 18849 (minisat_static) R 18843 18843 18244 0 -1 4194304 85164 0 0 0 119887 109 0 0 25 0 1 0 306654973 349724672 85150 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/18849/statm: 85382 85150 77 171 0 85209 0
Current children cumulated CPU time (s) 1200.1
Current children cumulated vsize (KiB) 346884
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1200.5 s]
/proc/loadavg: 0.99 0.99 0.99 2/67 18849
/proc/meminfo: memFree=1424416/2055920 swapFree=4178880/4192956
[pid=18843] ppid=18841 vsize=5356 CPUtime=0.14
/proc/18843/stat : 18843 (SatELiteGTI) S 18841 18843 18244 0 -1 4194304 336 1329 0 0 0 0 13 1 16 0 1 0 306654957 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 234211566404 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/18843/statm: 1339 239 197 169 0 50 0
[pid=18849] ppid=18843 vsize=341528 CPUtime=1199.96
/proc/18849/stat : 18849 (minisat_static) R 18843 18843 18244 0 -1 4194304 85164 0 0 0 119887 109 0 0 25 0 1 0 306654973 349724672 85150 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/18849/statm: 85382 85150 77 171 0 85209 0
Current children cumulated CPU time (s) 1200.1
Current children cumulated vsize (KiB) 346884
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 18843 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=141978
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=12998
# CPU time returned by wait4() is 0.154976
# while last known CPU time is 1200.1
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1200.51
CPU time (s): 1200.1
CPU user time (s): 1199
CPU system time (s): 1.1
CPU usage (%): 99.9657
Max. virtual memory (cumulated for all children) (KiB): 346884
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.141978
system time used= 0.012998
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1665
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 15
involuntary context switches= 7
runsolver used 1.08783 second user time and 3.36749 second system time
The end
Begin job on node54 at 2009-05-20 04:24:26
IDJOB=1832687
IDBENCH=70307
IDSOLVER=671
FILE ID=node54/1832687-1242786266
PBS_JOBID= 9322353
Free space on /tmp= 65968 MiB
SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT09/RANDOM/LARGE/3SAT/UNKNOWN/8000/unif-k3-r4.2-v8000-c33600-S1760662955-050.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1832687-1242786266/watcher-1832687-1242786266 -o /tmp/evaluation-result-1832687-1242786266/solver-1832687-1242786266 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1832687-1242786266.cnf
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 554406faac1ee9debf7de31577421ee6
RANDOM SEED=117010997
node54.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.234
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.234
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: 1769040 kB
Buffers: 25560 kB
Cached: 213976 kB
SwapCached: 7712 kB
Active: 31812 kB
Inactive: 216976 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1769040 kB
SwapTotal: 4192956 kB
SwapFree: 4178880 kB
Dirty: 2224 kB
Writeback: 0 kB
Mapped: 14292 kB
Slab: 24104 kB
Committed_AS: 992560 kB
PageTables: 1372 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264960 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 65968 MiB
End job on node54 at 2009-05-20 04:44:28