0.00/0.00 c Parsing...
0.00/0.12 c ==============================================================================
0.00/0.12 c | | ORIGINAL | LEARNT | |
0.00/0.12 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress |
0.00/0.12 c ==============================================================================
0.00/0.12 c | 0 | 135726 315843 | 40717 0 0 nan | 0.000 % |
1.69/1.70 c | 0 | 65966 210427 | -- 0 -- -- | -- | -69152/-103784
1.69/1.70 c ==============================================================================
1.69/1.70 c Result : #vars: 13761 #clauses: 65966 #literals: 210427
1.69/1.70 c CPU time: 1.61875 s
1.69/1.70 c ==============================================================================
1.69/1.78 c This is MiniSat 2.0 beta
1.69/1.78 c WARNING: for repeatability, setting FPU to use double precision
1.69/1.78 c ============================[ Problem Statistics ]=============================
1.69/1.78 c | |
1.69/1.78 c | Number of variables: 13761 |
1.69/1.78 c | Number of clauses: 65966 |
1.77/1.82 c | Parsing time: 0.04 s |
1.77/1.83 c ============================[ Search Statistics ]==============================
1.77/1.83 c | Conflicts | ORIGINAL | LEARNT | Progress |
1.77/1.83 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
1.77/1.83 c ===============================================================================
1.77/1.83 c | 0 | 13761 65966 210427 | 21988 0 nan | 0.000 % |
1.77/1.84 c | 101 | 13761 65966 210427 | 21988 101 11 | 0.000 % |
1.77/1.86 c | 201 | 13761 65966 210427 | 21988 201 11 | 0.000 % |
1.77/1.88 c | 302 | 13761 65966 210427 | 21988 302 13 | 0.000 % |
1.77/1.90 c | 412 | 13761 65966 210427 | 21988 412 17 | 0.000 % |
1.77/1.93 c | 512 | 13761 65966 210427 | 21988 512 18 | 0.000 % |
1.77/1.94 c | 622 | 13761 65966 210427 | 21988 622 17 | 0.000 % |
1.77/1.95 c | 743 | 13761 65966 210427 | 21988 743 16 | 0.000 % |
1.77/1.96 c | 845 | 13760 65963 210421 | 21988 844 15 | 0.007 % |
1.77/1.96 c | 955 | 13760 65963 210421 | 21988 954 14 | 0.007 % |
1.77/1.99 c | 1077 | 13760 65963 210421 | 21988 1076 16 | 0.007 % |
1.77/2.01 c | 1210 | 13760 65963 210421 | 21988 1209 15 | 0.007 % |
1.77/2.02 c | 1312 | 13760 65963 210421 | 21988 1311 16 | 0.007 % |
1.77/2.05 c | 1423 | 13760 65963 210421 | 21988 1422 17 | 0.007 % |
1.77/2.07 c | 1544 | 13760 65963 210421 | 21988 1543 18 | 0.007 % |
1.77/2.09 c | 1677 | 13760 65963 210421 | 21988 1676 19 | 0.007 % |
2.07/2.11 c | 1823 | 13760 65963 210421 | 21988 1822 19 | 0.007 % |
2.07/2.12 c | 1925 | 13760 65963 210421 | 21988 1924 18 | 0.007 % |
2.07/2.14 c | 2035 | 13760 65963 210421 | 21988 2034 20 | 0.007 % |
2.07/2.19 c | 2169 | 13760 65963 210421 | 21988 2168 21 | 0.007 % |
2.17/2.22 c | 2302 | 13760 65963 210421 | 21988 2301 22 | 0.007 % |
2.17/2.25 c | 2449 | 13760 65963 210421 | 21988 2448 22 | 0.007 % |
2.17/2.27 c | 2609 | 13760 65963 210421 | 21988 2608 22 | 0.007 % |
2.17/2.29 c | 2710 | 13760 65963 210421 | 21988 2709 22 | 0.007 % |
2.27/2.30 c | 2822 | 13760 65963 210421 | 21988 2821 21 | 0.007 % |
2.27/2.33 c | 2943 | 13760 65963 210421 | 21988 2942 22 | 0.007 % |
2.27/2.36 c | 3076 | 13760 65963 210421 | 21988 3075 22 | 0.007 % |
2.27/2.39 c | 3222 | 13760 65963 210421 | 21988 3221 22 | 0.007 % |
2.37/2.43 c | 3384 | 13759 65960 210415 | 21988 3381 22 | 0.015 % |
2.37/2.45 c | 3560 | 13759 65960 210415 | 21988 3557 21 | 0.015 % |
2.37/2.47 c | 3660 | 13759 65960 210415 | 21988 3657 20 | 0.015 % |
2.46/2.51 c | 3770 | 13759 65960 210415 | 21988 3767 21 | 0.015 % |
2.46/2.53 c | 3891 | 13759 65960 210415 | 21988 3888 20 | 0.015 % |
2.46/2.54 c | 4025 | 13759 65960 210415 | 21988 4022 20 | 0.015 % |
2.46/2.58 c | 4172 | 13759 65960 210415 | 21988 4169 20 | 0.015 % |
2.56/2.60 c | 4332 | 13759 65960 210415 | 21988 4329 20 | 0.015 % |
2.56/2.62 c | 4509 | 13759 65960 210415 | 21988 4506 19 | 0.015 % |
2.56/2.67 c | 4702 | 13759 65960 210415 | 21988 4699 20 | 0.015 % |
2.66/2.70 c | 4802 | 13759 65960 210415 | 21988 4799 20 | 0.015 % |
2.66/2.71 c | 4912 | 13759 65960 210415 | 21988 4909 20 | 0.015 % |
2.66/2.74 c | 5033 | 13759 65960 210415 | 21988 5030 20 | 0.015 % |
2.66/2.76 c | 5167 | 13759 65960 210415 | 21988 5164 20 | 0.015 % |
2.66/2.78 c | 5313 | 13759 65960 210415 | 21988 5310 21 | 0.015 % |
2.76/2.81 c | 5474 | 13759 65960 210415 | 21988 5471 21 | 0.015 % |
2.76/2.86 c | 5650 | 13759 65960 210415 | 21988 5647 21 | 0.015 % |
2.86/2.92 c | 5845 | 13759 65960 210415 | 21988 5842 21 | 0.015 % |
2.86/2.97 c | 6058 | 13759 65960 210415 | 21988 6055 22 | 0.015 % |
2.96/3.00 c | 6158 | 13759 65960 210415 | 21988 6155 23 | 0.015 % |
2.96/3.03 c | 6271 | 13759 65960 210415 | 21988 6268 23 | 0.015 % |
2.96/3.04 c | 6392 | 13759 65960 210415 | 21988 6389 23 | 0.015 % |
2.96/3.06 c | 6525 | 13759 65960 210415 | 21988 6522 23 | 0.015 % |
2.96/3.08 c | 6673 | 13759 65960 210415 | 21988 6670 23 | 0.015 % |
3.06/3.11 c | 6833 | 13759 65960 210415 | 21988 6830 23 | 0.015 % |
3.06/3.13 c | 7009 | 13759 65960 210415 | 21988 7006 23 | 0.015 % |
3.06/3.14 c | 7202 | 13759 65960 210415 | 21988 7199 23 | 0.015 % |
3.06/3.18 c | 7414 | 13759 65960 210415 | 21988 7411 24 | 0.015 % |
3.17/3.23 c | 7647 | 13759 65960 210415 | 21988 7644 24 | 0.015 % |
3.17/3.26 c | 7749 | 13759 65960 210415 | 21988 7746 24 | 0.015 % |
3.17/3.27 c | 7859 | 13759 65960 210415 | 21988 7856 23 | 0.015 % |
3.17/3.30 c | 7980 | 13759 65960 210415 | 21988 7977 23 | 0.015 % |
3.27/3.35 c | 8115 | 13759 65960 210415 | 21988 8112 23 | 0.015 % |
3.27/3.36 c | 8262 | 13759 65960 210415 | 21988 8259 23 | 0.015 % |
3.27/3.38 c | 8422 | 13759 65960 210415 | 21988 8419 23 | 0.015 % |
3.37/3.40 c | 8598 | 13759 65960 210415 | 21988 8595 22 | 0.015 % |
3.37/3.41 c | 8791 | 13759 65960 210415 | 21988 8788 22 | 0.015 % |
3.37/3.46 c | 9004 | 13759 65960 210415 | 21988 9001 22 | 0.015 % |
3.37/3.49 c | 9237 | 13759 65960 210415 | 21988 9234 22 | 0.015 % |
3.47/3.54 c | 9493 | 13759 65960 210415 | 21988 9490 22 | 0.015 % |
3.47/3.57 c | 9593 | 13759 65960 210415 | 21988 9590 22 | 0.015 % |
3.47/3.59 c | 9703 | 13759 65960 210415 | 21988 9700 22 | 0.015 % |
3.57/3.63 c | 9824 | 13759 65960 210415 | 21988 9821 22 | 0.015 % |
3.57/3.66 c | 9957 | 13759 65960 210415 | 21988 9954 22 | 0.015 % |
3.67/3.71 c | 10103 | 13759 65960 210415 | 2147483647 10100 22 | 0.015 % |
3.67/3.73 c | 10263 | 13759 65960 210415 | 2147483647 10260 22 | 0.015 % |
3.67/3.78 c | 10440 | 13759 65960 210415 | 2147483647 10437 22 | 0.015 % |
3.77/3.82 c | 10634 | 13759 65960 210415 | 2147483647 10631 22 | 0.015 % |
3.77/3.85 c | 10848 | 13759 65960 210415 | 2147483647 10845 22 | 0.015 % |
3.77/3.90 c | 11081 | 13759 65960 210415 | 2147483647 11078 22 | 0.015 % |
3.87/3.92 c | 11338 | 13759 65960 210415 | 2147483647 11335 22 | 0.015 % |
3.87/3.96 c | 11623 | 13759 65960 210415 | 2147483647 11620 22 | 0.015 % |
3.87/3.98 c | 11724 | 13759 65960 210415 | 2147483647 11721 22 | 0.015 % |
3.97/4.01 c | 11836 | 13759 65960 210415 | 2147483647 11833 22 | 0.015 % |
3.97/4.06 c | 11957 | 13759 65960 210415 | 2147483647 11954 22 | 0.015 % |
4.07/4.10 c | 12090 | 13759 65960 210415 | 2147483647 12087 21 | 0.015 % |
4.07/4.17 c | 12236 | 13759 65960 210415 | 2147483647 12233 22 | 0.015 % |
4.17/4.21 c | 12397 | 13759 65960 210415 | 2147483647 12394 22 | 0.015 % |
4.17/4.23 c | 12573 | 13759 65960 210415 | 2147483647 12570 21 | 0.015 % |
4.17/4.24 c | 12766 | 13759 65960 210415 | 2147483647 12763 21 | 0.015 % |
4.17/4.30 c | 12978 | 13759 65960 210415 | 2147483647 12975 21 | 0.015 % |
4.27/4.37 c | 13211 | 13759 65960 210415 | 2147483647 13208 21 | 0.015 % |
4.27/4.40 c | 13467 | 13759 65960 210415 | 2147483647 13464 21 | 0.015 % |
4.37/4.49 c | 13748 | 13759 65960 210415 | 2147483647 13745 21 | 0.015 % |
4.47/4.56 c | 14057 | 13759 65960 210415 | 2147483647 14054 21 | 0.015 % |
4.47/4.57 c | 14159 | 13759 65960 210415 | 2147483647 14156 21 | 0.015 % |
4.47/4.59 c | 14269 | 13759 65960 210415 | 2147483647 14266 21 | 0.015 % |
4.57/4.60 c | 14390 | 13759 65960 210415 | 2147483647 14387 21 | 0.015 % |
4.57/4.62 c | 14524 | 13759 65960 210415 | 2147483647 14521 21 | 0.015 % |
4.57/4.69 c | 14670 | 13759 65960 210415 | 2147483647 14667 21 | 0.015 % |
4.67/4.74 c | 14831 | 13759 65960 210415 | 2147483647 14828 21 | 0.015 % |
4.67/4.78 c | 15009 | 13759 65960 210415 | 2147483647 15006 21 | 0.015 % |
4.76/4.82 c | 15202 | 13759 65960 210415 | 2147483647 15199 21 | 0.015 % |
4.76/4.87 c | 15417 | 13759 65960 210415 | 2147483647 15414 21 | 0.015 % |
4.86/4.96 c | 15652 | 13759 65960 210415 | 2147483647 15649 21 | 0.015 % |
4.96/5.01 c | 15909 | 13759 65960 210415 | 2147483647 15906 21 | 0.015 % |
4.96/5.07 c | 16190 | 13759 65960 210415 | 2147483647 16187 21 | 0.015 % |
5.16/5.20 c | 16500 | 13759 65960 210415 | 2147483647 16497 21 | 0.015 % |
5.26/5.30 c | 16840 | 13759 65960 210415 | 2147483647 16837 21 | 0.015 % |
5.26/5.33 c | 16940 | 13759 65960 210415 | 2147483647 16937 21 | 0.015 % |
5.26/5.35 c | 17050 | 13759 65960 210415 | 2147483647 17047 21 | 0.015 % |
5.26/5.38 c | 17173 | 13759 65960 210415 | 2147483647 17170 21 | 0.015 % |
5.37/5.40 c | 17306 | 13759 65960 210415 | 2147483647 17303 21 | 0.015 % |
5.37/5.44 c | 17452 | 13759 65960 210415 | 2147483647 17449 21 | 0.015 % |
5.47/5.51 c | 17612 | 13759 65960 210415 | 2147483647 17609 21 | 0.015 % |
5.47/5.55 c | 17788 | 13759 65960 210415 | 2147483647 17785 21 | 0.015 % |
5.57/5.61 c | 17984 | 13759 65960 210415 | 2147483647 17981 21 | 0.015 % |
5.57/5.69 c | 18196 | 13759 65960 210415 | 2147483647 18193 21 | 0.015 % |
5.67/5.73 c | 18433 | 13759 65960 210415 | 2147483647 18430 21 | 0.015 % |
5.77/5.80 c | 18689 | 13759 65960 210415 | 2147483647 18686 21 | 0.015 % |
5.77/5.84 c | 18971 | 13759 65960 210415 | 2147483647 18968 21 | 0.015 % |
5.77/5.87 c | 19280 | 13759 65960 210415 | 2147483647 19277 21 | 0.015 % |
5.87/5.98 c | 19621 | 13758 65955 210405 | 2147483647 19617 21 | 0.022 % |
5.97/6.07 c | 19993 | 13758 65955 210405 | 2147483647 19989 21 | 0.022 % |
5.97/6.09 c | 20093 | 13758 65955 210405 | 2147483647 20089 21 | 0.022 % |
5.97/6.09 c | 20203 | 13758 65955 210405 | 2147483647 20199 21 | 0.022 % |
6.07/6.12 c | 20324 | 13758 65955 210405 | 2147483647 20320 21 | 0.022 % |
6.17/6.20 c | 20457 | 13758 65955 210405 | 2147483647 20453 21 | 0.022 % |
6.17/6.25 c | 20613 | 13758 65955 210405 | 2147483647 20609 21 | 0.022 % |
6.27/6.35 c | 20773 | 13758 65955 210405 | 2147483647 20769 21 | 0.022 % |
6.37/6.42 c | 20951 | 13758 65955 210405 | 2147483647 20947 21 | 0.022 % |
6.37/6.47 c | 21144 | 13758 65955 210405 | 2147483647 21140 21 | 0.022 % |
6.47/6.51 c | 21356 | 13758 65955 210405 | 2147483647 21352 21 | 0.022 % |
6.47/6.60 c | 21589 | 13758 65955 210405 | 2147483647 21585 21 | 0.022 % |
6.57/6.63 c | 21845 | 13758 65955 210405 | 2147483647 21841 21 | 0.022 % |
6.57/6.67 c | 22126 | 13758 65955 210405 | 2147483647 22122 20 | 0.022 % |
6.67/6.71 c | 22437 | 13758 65955 210405 | 2147483647 22433 20 | 0.022 % |
6.67/6.74 c | 22776 | 13758 65955 210405 | 2147483647 22772 20 | 0.022 % |
6.67/6.77 c | 23149 | 13758 65955 210405 | 2147483647 23145 20 | 0.022 % |
6.77/6.83 c | 23558 | 13758 65955 210405 | 2147483647 23554 20 | 0.022 % |
6.77/6.87 c | 23660 | 13758 65955 210405 | 2147483647 23656 20 | 0.022 % |
6.77/6.88 c | 23774 | 13758 65955 210405 | 2147483647 23770 20 | 0.022 % |
6.87/6.90 c | 23899 | 13758 65955 210405 | 2147483647 23895 20 | 0.022 % |
6.87/6.92 c | 24032 | 13758 65955 210405 | 2147483647 24028 20 | 0.022 % |
6.87/7.00 c | 24179 | 13758 65955 210405 | 2147483647 24175 20 | 0.022 % |
6.97/7.04 c | 24339 | 13758 65955 210405 | 2147483647 24335 20 | 0.022 % |
6.97/7.06 c | 24515 | 13758 65955 210405 | 2147483647 24511 20 | 0.022 % |
7.07/7.13 c | 24710 | 13758 65955 210405 | 2147483647 24706 20 | 0.022 % |
7.17/7.21 c | 24922 | 13758 65955 210405 | 2147483647 24918 20 | 0.022 % |
7.17/7.26 c | 25155 | 13758 65955 210405 | 2147483647 25151 20 | 0.022 % |
7.27/7.31 c | 25411 | 13758 65955 210405 | 2147483647 25407 20 | 0.022 % |
7.27/7.33 c | 25692 | 13758 65955 210405 | 2147483647 25688 20 | 0.022 % |
7.37/7.41 c | 26001 | 13758 65955 210405 | 2147483647 25997 20 | 0.022 % |
7.37/7.49 c | 26342 | 13758 65955 210405 | 2147483647 26338 20 | 0.022 % |
7.47/7.55 c | 26714 | 13758 65955 210405 | 2147483647 26710 20 | 0.022 % |
7.57/7.66 c | 27126 | 13758 65955 210405 | 2147483647 27122 20 | 0.022 % |
7.67/7.75 c | 27575 | 13758 65955 210405 | 2147483647 27571 20 | 0.022 % |
7.67/7.77 c | 27675 | 13758 65955 210405 | 2147483647 27671 20 | 0.022 % |
7.67/7.79 c | 27785 | 13758 65955 210405 | 2147483647 27781 20 | 0.022 % |
7.77/7.83 c | 27906 | 13758 65955 210405 | 2147483647 27902 20 | 0.022 % |
7.77/7.86 c | 28041 | 13758 65955 210405 | 2147483647 28037 20 | 0.022 % |
7.87/7.92 c | 28187 | 13758 65955 210405 | 2147483647 28183 21 | 0.022 % |
7.97/8.04 c | 28349 | 13758 65955 210405 | 2147483647 28345 21 | 0.022 % |
8.07/8.14 c | 28526 | 13758 65955 210405 | 2147483647 28522 21 | 0.022 % |
8.07/8.18 c | 28719 | 13758 65955 210405 | 2147483647 28715 21 | 0.022 % |
8.17/8.21 c | 28931 | 13758 65955 210405 | 2147483647 28927 21 | 0.022 % |
8.17/8.29 c | 29166 | 13758 65955 210405 | 2147483647 29162 21 | 0.022 % |
8.27/8.36 c | 29424 | 13758 65955 210405 | 2147483647 29420 21 | 0.022 % |
8.36/8.47 c | 29706 | 13758 65955 210405 | 2147483647 29702 21 | 0.022 % |
8.56/8.61 c | 30015 | 13758 65955 210405 | 2147483647 30011 21 | 0.022 % |
8.67/8.74 c | 30354 | 13758 65955 210405 | 2147483647 30350 21 | 0.022 % |
8.76/8.82 c | 30727 | 13758 65955 210405 | 2147483647 30723 21 | 0.022 % |
8.86/8.99 c | 31136 | 13758 65955 210405 | 2147483647 31132 22 | 0.022 % |
9.06/9.13 c | 31585 | 13758 65955 210405 | 2147483647 31581 22 | 0.022 % |
9.06/9.18 c | 32078 | 13758 65955 210405 | 2147483647 32074 22 | 0.022 % |
9.16/9.23 c | 32178 | 13758 65955 210405 | 2147483647 32174 22 | 0.022 % |
9.26/9.33 c | 32289 | 13758 65955 210405 | 2147483647 32285 22 | 0.022 % |
9.26/9.36 c | 32410 | 13758 65955 210405 | 2147483647 32406 22 | 0.022 % |
9.36/9.42 c | 32543 | 13758 65955 210405 | 2147483647 32539 22 | 0.022 % |
9.36/9.44 c | 32689 | 13758 65955 210405 | 2147483647 32685 22 | 0.022 % |
9.36/9.47 c | 32850 | 13758 65955 210405 | 2147483647 32846 22 | 0.022 % |
9.46/9.50 c | 33028 | 13758 65955 210405 | 2147483647 33024 22 | 0.022 % |
9.46/9.54 c | 33224 | 13758 65955 210405 | 2147483647 33220 22 | 0.022 % |
9.56/9.61 c | 33437 | 13758 65955 210405 | 2147483647 33433 22 | 0.022 % |
9.56/9.65 c | 33670 | 13758 65955 210405 | 2147483647 33666 22 | 0.022 % |
9.66/9.74 c | 33927 | 13758 65955 210405 | 2147483647 33923 22 | 0.022 % |
9.76/9.83 c | 34209 | 13758 65955 210405 | 2147483647 34205 22 | 0.022 % |
9.86/9.91 c | 34520 | 13758 65955 210405 | 2147483647 34516 22 | 0.022 % |
9.96/10.03 c | 34859 | 13758 65955 210405 | 2147483647 34855 22 | 0.022 % |
10.06/10.17 c | 35232 | 13758 65955 210405 | 2147483647 35228 22 | 0.022 % |
10.16/10.25 c | 35642 | 13758 65955 210405 | 2147483647 35638 22 | 0.022 % |
10.26/10.37 c | 36094 | 13758 65955 210405 | 2147483647 36090 22 | 0.022 % |
10.36/10.47 c | 36587 | 13758 65955 210405 | 2147483647 36583 22 | 0.022 % |
10.45/10.55 c | 37133 | 13758 65955 210405 | 2147483647 37129 22 | 0.022 % |
10.45/10.57 c | 37234 | 13758 65955 210405 | 2147483647 37230 22 | 0.022 % |
10.55/10.62 c | 37346 | 13758 65955 210405 | 2147483647 37342 22 | 0.022 % |
10.55/10.66 c | 37468 | 13758 65955 210405 | 2147483647 37464 22 | 0.022 % |
10.65/10.70 c | 37602 | 13758 65955 210405 | 2147483647 37598 22 | 0.022 % |
10.65/10.75 c | 37748 | 13758 65955 210405 | 2147483647 37744 22 | 0.022 % |
10.65/10.79 c | 37910 | 13758 65955 210405 | 2147483647 37906 22 | 0.022 % |
10.75/10.82 c | 38086 | 13758 65955 210405 | 2147483647 38082 21 | 0.022 % |
10.75/10.86 c | 38282 | 13758 65955 210405 | 2147483647 38278 21 | 0.022 % |
10.86/11.00 c | 38494 | 13758 65955 210405 | 2147483647 38490 22 | 0.022 % |
10.96/11.07 c | 38727 | 13758 65955 210405 | 2147483647 38723 22 | 0.022 % |
11.05/11.12 c | 38983 | 13758 65955 210405 | 2147483647 38979 22 | 0.022 % |
11.15/11.21 c | 39268 | 13758 65955 210405 | 2147483647 39264 22 | 0.022 % |
11.25/11.30 c | 39577 | 13758 65955 210405 | 2147483647 39573 22 | 0.022 % |
11.25/11.37 c | 39917 | 13758 65955 210405 | 2147483647 39913 22 | 0.022 % |
11.35/11.46 c | 40290 | 13758 65955 210405 | 2147483647 40286 22 | 0.022 % |
11.65/11.74 c | 40700 | 13758 65955 210405 | 2147483647 40696 22 | 0.022 % |
11.85/11.93 c | 41149 | 13758 65955 210405 | 2147483647 41145 22 | 0.022 % |
12.06/12.13 c | 41642 | 13758 65955 210405 | 2147483647 41638 22 | 0.022 % |
12.25/12.30 c | 42186 | 13758 65955 210405 | 2147483647 42182 22 | 0.022 % |
12.45/12.59 c | 42783 | 13758 65955 210405 | 2147483647 42779 22 | 0.022 % |
12.55/12.68 c | 42884 | 13758 65955 210405 | 2147483647 42880 22 | 0.022 % |
12.65/12.73 c | 42995 | 13758 65955 210405 | 2147483647 42991 22 | 0.022 % |
12.65/12.77 c | 43116 | 13758 65955 210405 | 2147483647 43112 22 | 0.022 % |
12.75/12.82 c | 43249 | 13758 65955 210405 | 2147483647 43245 22 | 0.022 % |
12.75/12.89 c | 43395 | 13758 65955 210405 | 2147483647 43391 22 | 0.022 % |
12.85/12.98 c | 43555 | 13758 65955 210405 | 2147483647 43551 22 | 0.022 % |
12.95/13.02 c | 43731 | 13758 65955 210405 | 2147483647 43727 22 | 0.022 % |
12.95/13.10 c | 43924 | 13758 65955 210405 | 2147483647 43920 22 | 0.022 % |
13.15/13.23 c | 44136 | 13758 65955 210405 | 2147483647 44132 22 | 0.022 % |
13.35/13.41 c | 44369 | 13758 65955 210405 | 2147483647 44365 22 | 0.022 % |
13.45/13.50 c | 44626 | 13758 65955 210405 | 2147483647 44622 22 | 0.022 % |
13.45/13.59 c | 44908 | 13758 65955 210405 | 2147483647 44904 22 | 0.022 % |
13.65/13.71 c | 45217 | 13758 65955 210405 | 2147483647 45213 22 | 0.022 % |
13.75/13.84 c | 45557 | 13758 65955 210405 | 2147483647 45553 22 | 0.022 % |
13.95/14.09 c | 45929 | 13758 65955 210405 | 2147483647 45925 22 | 0.022 % |
14.15/14.22 c | 46338 | 13758 65955 210405 | 2147483647 46334 23 | 0.022 % |
14.25/14.38 c | 46787 | 13758 65955 210405 | 2147483647 46783 23 | 0.022 % |
14.45/14.59 c | 47280 | 13758 65955 210405 | 2147483647 47276 23 | 0.022 % |
14.65/14.74 c | 47822 | 13758 65955 210405 | 2147483647 47818 23 | 0.022 % |
14.85/14.97 c | 48418 | 13758 65955 210405 | 2147483647 48414 23 | 0.022 % |
15.25/15.32 c | 49073 | 13758 65955 210405 | 2147483647 49069 23 | 0.022 % |
15.25/15.35 c | 49173 | 13758 65955 210405 | 2147483647 49169 23 | 0.022 % |
15.25/15.38 c | 49283 | 13758 65955 210405 | 2147483647 49279 23 | 0.022 % |
15.36/15.44 c | 49405 | 13758 65955 210405 | 2147483647 49401 23 | 0.022 % |
15.46/15.51 c | 49540 | 13758 65955 210405 | 2147483647 49536 23 | 0.022 % |
15.46/15.56 c | 49687 | 13758 65955 210405 | 2147483647 49683 23 | 0.022 % |
15.55/15.61 c | 49847 | 13758 65955 210405 | 2147483647 49843 23 | 0.022 % |
15.55/15.66 c | 50023 | 13758 65955 210405 | 2147483647 50019 23 | 0.022 % |
15.65/15.80 c | 50216 | 13758 65955 210405 | 2147483647 50212 23 | 0.022 % |
15.75/15.86 c | 50428 | 13758 65955 210405 | 2147483647 50424 23 | 0.022 % |
15.85/15.93 c | 50662 | 13758 65955 210405 | 2147483647 50658 23 | 0.022 % |
15.95/16.00 c | 50918 | 13758 65955 210405 | 2147483647 50914 23 | 0.022 % |
16.05/16.11 c | 51203 | 13758 65955 210405 | 2147483647 51199 23 | 0.022 % |
16.05/16.16 c | 51512 | 13758 65955 210405 | 2147483647 51508 23 | 0.022 % |
16.25/16.31 c | 51851 | 13758 65955 210405 | 2147483647 51847 23 | 0.022 % |
16.36/16.42 c | 52223 | 13758 65955 210405 | 2147483647 52219 23 | 0.022 % |
16.55/16.60 c | 52633 | 13758 65955 210405 | 2147483647 52629 24 | 0.022 % |
16.65/16.71 c | 53082 | 13758 65955 210405 | 2147483647 53078 23 | 0.022 % |
16.85/16.93 c | 53576 | 13758 65955 210405 | 2147483647 53572 24 | 0.022 % |
16.95/17.01 c | 54119 | 13758 65955 210405 | 2147483647 54115 24 | 0.022 % |
17.25/17.33 c | 54715 | 13758 65955 210405 | 2147483647 54711 24 | 0.022 % |
17.65/17.75 c | 55370 | 13758 65955 210405 | 2147483647 55366 24 | 0.022 % |
18.25/18.31 c | 56090 | 13758 65955 210405 | 2147483647 56086 24 | 0.022 % |
18.25/18.36 c | 56190 | 13758 65955 210405 | 2147483647 56186 24 | 0.022 % |
18.35/18.43 c | 56300 | 13758 65955 210405 | 2147483647 56296 24 | 0.022 % |
18.35/18.48 c | 56422 | 13758 65955 210405 | 2147483647 56418 24 | 0.022 % |
18.45/18.55 c | 56555 | 13758 65955 210405 | 2147483647 56551 24 | 0.022 % |
18.45/18.59 c | 56704 | 13758 65955 210405 | 2147483647 56700 24 | 0.022 % |
18.55/18.65 c | 56866 | 13758 65955 210405 | 2147483647 56862 24 | 0.022 % |
18.65/18.71 c | 57042 | 13758 65955 210405 | 2147483647 57038 24 | 0.022 % |
18.84/18.99 c | 57235 | 13758 65955 210405 | 2147483647 57231 25 | 0.022 % |
19.14/19.21 c | 57448 | 13758 65955 210405 | 2147483647 57444 26 | 0.022 % |
19.24/19.36 c | 57681 | 13758 65955 210405 | 2147483647 57677 26 | 0.022 % |
19.34/19.45 c | 57937 | 13758 65955 210405 | 2147483647 57933 26 | 0.022 % |
19.44/19.54 c | 58220 | 13758 65955 210405 | 2147483647 58216 26 | 0.022 % |
19.54/19.61 c | 58529 | 13758 65955 210405 | 2147483647 58525 26 | 0.022 % |
19.65/19.79 c | 58868 | 13758 65955 210405 | 2147483647 58864 26 | 0.022 % |
19.84/19.96 c | 59243 | 13758 65955 210405 | 2147483647 59239 26 | 0.022 % |
19.94/20.01 c | 59652 | 13758 65955 210405 | 2147483647 59648 25 | 0.022 % |
19.94/20.08 c | 60103 | 13758 65955 210405 | 2147483647 60099 25 | 0.022 % |
20.14/20.29 c | 60596 | 13758 65955 210405 | 2147483647 60592 26 | 0.022 % |
20.34/20.40 c | 61139 | 13758 65955 210405 | 2147483647 61135 25 | 0.022 % |
20.54/20.63 c | 61736 | 13758 65955 210405 | 2147483647 61732 25 | 0.022 % |
20.75/20.81 c | 62391 | 13758 65955 210405 | 2147483647 62387 26 | 0.022 % |
20.95/21.07 c | 63116 | 13758 65955 210405 | 2147483647 63112 25 | 0.022 % |
21.25/21.39 c | 63908 | 13758 65955 210405 | 2147483647 63904 25 | 0.022 % |
21.35/21.43 c | 64008 | 13758 65955 210405 | 2147483647 64004 25 | 0.022 % |
21.35/21.49 c | 64123 | 13758 65955 210405 | 2147483647 64119 25 | 0.022 % |
21.45/21.53 c | 64244 | 13758 65955 210405 | 2147483647 64240 25 | 0.022 % |
21.55/21.67 c | 64377 | 13758 65955 210405 | 2147483647 64373 25 | 0.022 % |
21.65/21.74 c | 64523 | 13758 65955 210405 | 2147483647 64519 25 | 0.022 % |
21.75/21.80 c | 64684 | 13758 65955 210405 | 2147483647 64680 25 | 0.022 % |
21.75/21.89 c | 64860 | 13758 65955 210405 | 2147483647 64856 25 | 0.022 % |
21.85/21.97 c | 65053 | 13758 65955 210405 | 2147483647 65049 25 | 0.022 % |
21.95/22.02 c | 65265 | 13758 65955 210405 | 2147483647 65261 25 | 0.022 % |
21.95/22.07 c | 65499 | 13758 65955 210405 | 2147483647 65495 25 | 0.022 % |
22.04/22.17 c | 65755 | 13758 65955 210405 | 2147483647 65751 26 | 0.022 % |
22.24/22.36 c | 66036 | 13758 65955 210405 | 2147483647 66032 26 | 0.022 % |
22.44/22.56 c | 66346 | 13758 65955 210405 | 2147483647 66342 26 | 0.022 % |
22.54/22.60 c | 66685 | 13758 65955 210405 | 2147483647 66681 26 | 0.022 % |
22.64/22.79 c | 67057 | 13758 65955 210405 | 2147483647 67053 26 | 0.022 % |
22.95/23.05 c | 67466 | 13758 65955 210405 | 2147483647 67462 26 | 0.022 % |
23.05/23.17 c | 67915 | 13758 65955 210405 | 2147483647 67911 26 | 0.022 % |
23.14/23.29 c | 68408 | 13758 65955 210405 | 2147483647 68404 26 | 0.022 % |
23.34/23.48 c | 68951 | 13756 65935 210349 | 2147483647 68927 26 | 0.036 % |
23.54/23.66 c | 69547 | 13756 65935 210349 | 2147483647 69523 26 | 0.036 % |
24.04/24.17 c | 70202 | 13756 65935 210349 | 2147483647 70178 27 | 0.036 % |
24.44/24.57 c | 70922 | 13756 65935 210349 | 2147483647 70898 27 | 0.036 % |
24.84/24.99 c | 71714 | 13756 65935 210349 | 2147483647 71690 27 | 0.036 % |
25.44/25.59 c | 72586 | 13756 65935 210349 | 2147483647 72562 27 | 0.036 % |
25.54/25.66 c | 72689 | 13756 65935 210349 | 2147483647 72665 27 | 0.036 % |
25.64/25.73 c | 72802 | 13756 65935 210349 | 2147483647 72778 27 | 0.036 % |
25.74/25.86 c | 72923 | 13756 65935 210349 | 2147483647 72899 27 | 0.036 % |
25.84/25.94 c | 73058 | 13756 65935 210349 | 2147483647 73034 27 | 0.036 % |
25.94/26.00 c | 73205 | 13756 65935 210349 | 2147483647 73181 27 | 0.036 % |
25.94/26.07 c | 73367 | 13756 65935 210349 | 2147483647 73343 27 | 0.036 % |
26.04/26.18 c | 73543 | 13756 65935 210349 | 2147483647 73519 27 | 0.036 % |
26.14/26.27 c | 73737 | 13756 65935 210349 | 2147483647 73713 27 | 0.036 % |
26.24/26.31 c | 73949 | 13756 65935 210349 | 2147483647 73925 27 | 0.036 % |
26.24/26.39 c | 74184 | 13756 65935 210349 | 2147483647 74160 27 | 0.036 % |
26.44/26.54 c | 74442 | 13756 65935 210349 | 2147483647 74418 27 | 0.036 % |
26.64/26.74 c | 74723 | 13756 65935 210349 | 2147483647 74699 27 | 0.036 % |
26.84/26.94 c | 75032 | 13756 65935 210349 | 2147483647 75008 27 | 0.036 % |
27.04/27.12 c | 75372 | 13756 65935 210349 | 2147483647 75348 27 | 0.036 % |
27.14/27.23 c | 75746 | 13756 65935 210349 | 2147483647 75722 27 | 0.036 % |
27.34/27.47 c | 76155 | 13756 65935 210349 | 2147483647 76131 27 | 0.036 % |
27.64/27.73 c | 76604 | 13756 65935 210349 | 2147483647 76580 27 | 0.036 % |
27.84/27.93 c | 77097 | 13756 65935 210349 | 2147483647 77073 27 | 0.036 % |
28.04/28.14 c | 77640 | 13756 65935 210349 | 2147483647 77616 27 | 0.036 % |
28.33/28.48 c | 78236 | 13756 65935 210349 | 2147483647 78212 27 | 0.036 % |
28.63/28.75 c | 78891 | 13756 65935 210349 | 2147483647 78867 27 | 0.037 % |
29.03/29.13 c | 79611 | 13756 65935 210349 | 2147483647 79587 28 | 0.036 % |
29.33/29.40 c | 80403 | 13756 65935 210349 | 2147483647 80379 28 | 0.036 % |
29.54/29.69 c | 81275 | 13756 65935 210349 | 2147483647 81251 28 | 0.036 % |
29.73/29.89 c | 82233 | 13756 65935 210349 | 2147483647 82209 28 | 0.036 % |
29.83/29.99 c | 82334 | 13756 65935 210349 | 2147483647 82310 28 | 0.036 % |
29.93/30.03 c | 82444 | 13756 65935 210349 | 2147483647 82420 28 | 0.036 % |
30.03/30.15 c | 82567 | 13756 65935 210349 | 2147483647 82543 28 | 0.036 % |
30.13/30.21 c | 82702 | 13756 65935 210349 | 2147483647 82678 28 | 0.036 % |
30.13/30.27 c | 82848 | 13756 65935 210349 | 2147483647 82824 28 | 0.036 % |
30.23/30.35 c | 83008 | 13756 65935 210349 | 2147483647 82984 28 | 0.036 % |
30.33/30.48 c | 83185 | 13756 65935 210349 | 2147483647 83161 28 | 0.036 % |
30.53/30.61 c | 83381 | 13756 65935 210349 | 2147483647 83357 28 | 0.036 % |
30.53/30.69 c | 83595 | 13756 65935 210349 | 2147483647 83571 28 | 0.036 % |
30.83/30.92 c | 83828 | 13755 65925 210321 | 2147483647 83786 28 | 0.044 % |
30.93/31.04 c | 84084 | 13755 65925 210321 | 2147483647 84042 28 | 0.044 % |
31.03/31.15 c | 84365 | 13755 65925 210321 | 2147483647 84323 28 | 0.044 % |
31.13/31.28 c | 84674 | 13755 65925 210321 | 2147483647 84632 28 | 0.044 % |
31.33/31.44 c | 85014 | 13755 65925 210321 | 2147483647 84972 28 | 0.044 % |
31.43/31.59 c | 85386 | 13755 65925 210321 | 2147483647 85344 28 | 0.044 % |
31.63/31.77 c | 85796 | 13755 65925 210321 | 2147483647 85754 28 | 0.044 % |
31.84/31.91 c | 86245 | 13755 65925 210321 | 2147483647 86203 28 | 0.044 % |
32.14/32.23 c | 86739 | 13755 65925 210321 | 2147483647 86697 28 | 0.044 % |
32.24/32.39 c | 87282 | 13755 65925 210321 | 2147483647 87240 28 | 0.044 % |
32.54/32.64 c | 87878 | 13754 65925 210321 | 2147483647 87835 28 | 0.051 % |
32.84/33.00 c | 88533 | 13754 65925 210321 | 2147483647 88490 28 | 0.051 % |
33.34/33.46 c | 89253 | 13754 65925 210321 | 2147483647 89210 28 | 0.051 % |
33.84/34.00 c | 90045 | 13754 65922 210315 | 2147483647 90001 28 | 0.051 % |
34.33/34.40 c | 90918 | 13754 65922 210315 | 2147483647 90874 28 | 0.051 % |
34.53/34.67 c | 91876 | 13754 65922 210315 | 2147483647 91832 28 | 0.051 % |
35.14/35.27 c | 92930 | 13754 65922 210315 | 2147483647 92886 28 | 0.051 % |
35.23/35.30 c | 93030 | 13754 65922 210315 | 2147483647 92986 28 | 0.051 % |
35.23/35.38 c | 93141 | 13754 65922 210315 | 2147483647 93097 28 | 0.051 % |
35.33/35.45 c | 93263 | 13754 65922 210315 | 2147483647 93219 28 | 0.051 % |
35.33/35.49 c | 93397 | 13754 65922 210315 | 2147483647 93353 28 | 0.051 % |
35.43/35.53 c | 93543 | 13754 65922 210315 | 2147483647 93499 28 | 0.051 % |
35.53/35.66 c | 93705 | 13754 65922 210315 | 2147483647 93661 29 | 0.051 % |
35.63/35.74 c | 93891 | 13754 65922 210315 | 2147483647 93847 28 | 0.051 % |
35.73/35.89 c | 94086 | 13754 65922 210315 | 2147483647 94042 29 | 0.051 % |
35.83/35.98 c | 94299 | 13754 65922 210315 | 2147483647 94255 29 | 0.051 % |
36.24/36.36 c | 94532 | 13754 65922 210315 | 2147483647 94488 29 | 0.051 % |
36.43/36.59 c | 94788 | 13754 65922 210315 | 2147483647 94744 29 | 0.051 % |
36.73/36.86 c | 95070 | 13754 65922 210315 | 2147483647 95026 29 | 0.051 % |
36.93/37.06 c | 95379 | 13754 65922 210315 | 2147483647 95335 29 | 0.051 % |
37.13/37.27 c | 95719 | 13754 65922 210315 | 2147483647 95675 29 | 0.051 % |
37.43/37.55 c | 96091 | 13754 65922 210315 | 2147483647 96047 29 | 0.051 % |
37.73/37.85 c | 96502 | 13754 65922 210315 | 2147483647 96458 29 | 0.051 % |
37.93/38.04 c | 96952 | 13754 65922 210315 | 2147483647 96908 29 | 0.051 % |
38.34/38.44 c | 97446 | 13754 65922 210315 | 2147483647 97402 29 | 0.051 % |
38.64/38.73 c | 97988 | 13753 65919 210309 | 2147483647 97943 29 | 0.058 % |
38.94/39.03 c | 98584 | 13753 65919 210309 | 2147483647 98539 29 | 0.058 % |
39.34/39.47 c | 99242 | 13753 65919 210309 | 2147483647 99197 29 | 0.058 % |
39.74/39.86 c | 99962 | 13753 65919 210309 | 2147483647 99917 29 | 0.058 % |
40.03/40.13 c | 100756 | 13753 65919 210309 | 2147483647 100711 29 | 0.058 % |
40.54/40.66 c | 101628 | 13753 65919 210309 | 2147483647 101583 29 | 0.058 % |
41.43/41.57 c | 102591 | 13753 65919 210309 | 2147483647 102546 29 | 0.058 % |
41.93/42.04 c | 103644 | 13753 65919 210309 | 2147483647 103599 29 | 0.058 % |
42.53/42.64 c | 104803 | 13753 65919 210309 | 2147483647 104758 29 | 0.058 % |
42.63/42.70 c | 104906 | 13753 65919 210309 | 2147483647 104861 29 | 0.058 % |
42.63/42.76 c | 105016 | 13753 65919 210309 | 2147483647 104971 29 | 0.058 % |
42.74/42.87 c | 105139 | 13753 65919 210309 | 2147483647 105094 29 | 0.058 % |
42.93/43.00 c | 105272 | 13753 65919 210309 | 2147483647 105227 29 | 0.058 % |
43.03/43.20 c | 105418 | 13753 65919 210309 | 2147483647 105373 29 | 0.058 % |
43.13/43.29 c | 105578 | 13753 65919 210309 | 2147483647 105533 29 | 0.058 % |
43.23/43.37 c | 105754 | 13753 65919 210309 | 2147483647 105709 29 | 0.058 % |
43.33/43.45 c | 105947 | 13753 65919 210309 | 2147483647 105902 29 | 0.058 % |
43.43/43.55 c | 106159 | 13753 65919 210309 | 2147483647 106114 29 | 0.058 % |
43.53/43.61 c | 106392 | 13753 65919 210309 | 2147483647 106347 29 | 0.058 % |
43.53/43.69 c | 106648 | 13753 65919 210309 | 2147483647 106603 29 | 0.058 % |
43.93/44.01 c | 106931 | 13753 65919 210309 | 2147483647 106886 29 | 0.058 % |
44.13/44.25 c | 107240 | 13753 65919 210309 | 2147483647 107195 29 | 0.058 % |
44.33/44.46 c | 107580 | 13753 65919 210309 | 2147483647 107535 29 | 0.058 % |
44.73/44.84 c | 107954 | 13752 65916 210303 | 2147483647 107908 30 | 0.065 % |
45.03/45.14 c | 108366 | 13752 65916 210303 | 2147483647 108320 30 | 0.065 % |
45.23/45.37 c | 108818 | 13752 65916 210303 | 2147483647 108772 30 | 0.065 % |
45.63/45.74 c | 109311 | 13752 65916 210303 | 2147483647 109265 30 | 0.065 % |
45.93/46.01 c | 109853 | 13752 65916 210303 | 2147483647 109807 30 | 0.065 % |
46.33/46.42 c | 110449 | 13752 65916 210303 | 2147483647 110403 30 | 0.065 % |
46.73/46.81 c | 111104 | 13752 65916 210303 | 2147483647 111058 30 | 0.065 % |
47.02/47.15 c | 111824 | 13752 65916 210303 | 2147483647 111778 30 | 0.065 % |
47.63/47.71 c | 112619 | 13752 65916 210303 | 2147483647 112573 30 | 0.065 % |
48.24/48.37 c | 113491 | 13752 65916 210303 | 2147483647 113445 30 | 0.065 % |
48.93/49.07 c | 114449 | 13752 65916 210303 | 2147483647 114403 30 | 0.065 % |
49.73/49.84 c | 115502 | 13752 65916 210303 | 2147483647 115456 30 | 0.065 % |
50.33/50.40 c | 116660 | 13751 65906 210275 | 2147483647 116598 30 | 0.073 % |
51.13/51.28 c | 117934 | 13751 65906 210275 | 2147483647 117872 30 | 0.073 % |
51.23/51.37 c | 118034 | 13751 65906 210275 | 2147483647 117972 30 | 0.073 % |
51.33/51.47 c | 118145 | 13751 65906 210275 | 2147483647 118083 30 | 0.073 % |
51.43/51.57 c | 118267 | 13751 65906 210275 | 2147483647 118205 30 | 0.073 % |
51.53/51.68 c | 118400 | 13751 65906 210275 | 2147483647 118338 30 | 0.073 % |
51.63/51.76 c | 118546 | 13751 65906 210275 | 2147483647 118484 30 | 0.073 % |
51.73/51.88 c | 118708 | 13751 65906 210275 | 2147483647 118646 30 | 0.073 % |
51.93/52.00 c | 118884 | 13751 65906 210275 | 2147483647 118822 30 | 0.073 % |
51.93/52.05 c | 119077 | 13751 65906 210275 | 2147483647 119015 30 | 0.073 % |
52.23/52.31 c | 119290 | 13751 65906 210275 | 2147483647 119228 30 | 0.073 % |
52.42/52.57 c | 119523 | 13751 65906 210275 | 2147483647 119461 30 | 0.073 % |
52.63/52.76 c | 119779 | 13751 65906 210275 | 2147483647 119717 30 | 0.073 % |
52.92/53.03 c | 120060 | 13751 65906 210275 | 2147483647 119998 30 | 0.073 % |
53.02/53.18 c | 120370 | 13751 65906 210275 | 2147483647 120308 30 | 0.073 % |
53.12/53.26 c | 120709 | 13751 65906 210275 | 2147483647 120647 30 | 0.073 % |
53.32/53.45 c | 121082 | 13751 65906 210275 | 2147483647 121020 30 | 0.073 % |
53.62/53.78 c | 121492 | 13751 65906 210275 | 2147483647 121430 30 | 0.073 % |
54.02/54.10 c | 121945 | 13751 65906 210275 | 2147483647 121883 30 | 0.073 % |
54.22/54.39 c | 122438 | 13751 65906 210275 | 2147483647 122376 30 | 0.073 % |
54.72/54.80 c | 122980 | 13751 65906 210275 | 2147483647 122918 30 | 0.073 % |
55.12/55.28 c | 123578 | 13751 65906 210275 | 2147483647 123516 31 | 0.073 % |
55.72/55.82 c | 124234 | 13751 65906 210275 | 2147483647 124172 31 | 0.073 % |
56.22/56.33 c | 124954 | 13751 65906 210275 | 2147483647 124892 31 | 0.073 % |
56.52/56.65 c | 125746 | 13751 65906 210275 | 2147483647 125684 31 | 0.073 % |
57.33/57.40 c | 126617 | 13751 65906 210275 | 2147483647 126555 31 | 0.073 % |
57.63/57.70 c | 127575 | 13751 65906 210275 | 2147483647 127513 31 | 0.073 % |
58.33/58.47 c | 128628 | 13751 65906 210275 | 2147483647 128566 31 | 0.073 % |
59.23/59.31 c | 129788 | 13751 65906 210275 | 2147483647 129726 31 | 0.073 % |
59.93/60.03 c | 131063 | 13751 65906 210275 | 2147483647 131001 31 | 0.073 % |
61.02/61.15 c | 132464 | 13751 65906 210275 | 2147483647 132402 31 | 0.073 % |
61.12/61.26 c | 132564 | 13751 65906 210275 | 2147483647 132502 31 | 0.073 % |
61.22/61.33 c | 132676 | 13751 65906 210275 | 2147483647 132614 31 | 0.073 % |
61.32/61.46 c | 132797 | 13751 65906 210275 | 2147483647 132735 31 | 0.073 % |
61.43/61.55 c | 132930 | 13751 65906 210275 | 2147483647 132868 31 | 0.073 % |
61.53/61.64 c | 133077 | 13751 65906 210275 | 2147483647 133015 31 | 0.073 % |
61.62/61.78 c | 133239 | 13751 65906 210275 | 2147483647 133177 31 | 0.073 % |
61.82/61.95 c | 133415 | 13751 65906 210275 | 2147483647 133353 31 | 0.073 % |
62.02/62.14 c | 133608 | 13751 65906 210275 | 2147483647 133546 31 | 0.073 % |
62.12/62.23 c | 133822 | 13751 65906 210275 | 2147483647 133760 31 | 0.073 % |
62.22/62.36 c | 134055 | 13751 65906 210275 | 2147483647 133993 31 | 0.073 % |
62.42/62.58 c | 134312 | 13751 65906 210275 | 2147483647 134250 31 | 0.073 % |
62.62/62.79 c | 134594 | 13751 65906 210275 | 2147483647 134532 31 | 0.073 % |
62.82/62.99 c | 134907 | 13751 65906 210275 | 2147483647 134845 31 | 0.073 % |
63.32/63.48 c | 135247 | 13751 65906 210275 | 2147483647 135185 31 | 0.073 % |
63.82/63.96 c | 135619 | 13751 65906 210275 | 2147483647 135557 31 | 0.073 % |
64.12/64.23 c | 136028 | 13751 65906 210275 | 2147483647 135966 31 | 0.073 % |
64.62/64.76 c | 136477 | 13751 65906 210275 | 2147483647 136415 31 | 0.073 % |
64.82/64.98 c | 136971 | 13751 65906 210275 | 2147483647 136909 31 | 0.073 % |
65.32/65.49 c | 137514 | 13751 65906 210275 | 2147483647 137452 32 | 0.073 % |
66.02/66.19 c | 138110 | 13751 65906 210275 | 2147483647 138048 32 | 0.073 % |
66.72/66.87 c | 138766 | 13750 65902 210267 | 2147483647 138699 32 | 0.080 % |
67.42/67.53 c | 139486 | 13750 65902 210267 | 2147483647 139419 32 | 0.080 % |
67.92/68.04 c | 140278 | 13750 65902 210267 | 2147483647 140211 32 | 0.080 % |
68.71/68.82 c | 141150 | 13750 65902 210267 | 2147483647 141083 32 | 0.080 % |
69.61/69.75 c | 142109 | 13750 65902 210267 | 2147483647 142042 32 | 0.080 % |
70.42/70.53 c | 143162 | 13750 65902 210267 | 2147483647 143095 32 | 0.080 % |
71.62/71.70 c | 144320 | 13750 65902 210267 | 2147483647 144253 32 | 0.080 % |
72.42/72.55 c | 145593 | 13749 65902 210267 | 2147483647 145525 32 | 0.087 % |
73.62/73.74 c | 146994 | 13749 65902 210267 | 2147483647 146926 32 | 0.087 % |
74.41/74.54 c | 148534 | 13749 65899 210261 | 2147483647 148466 32 | 0.087 % |
74.51/74.66 c | 148634 | 13749 65899 210261 | 2147483647 148566 32 | 0.087 % |
74.62/74.74 c | 148744 | 13749 65899 210261 | 2147483647 148676 32 | 0.087 % |
74.62/74.79 c | 148865 | 13749 65899 210261 | 2147483647 148797 32 | 0.087 % |
74.72/74.87 c | 149000 | 13749 65899 210261 | 2147483647 148932 32 | 0.087 % |
74.91/75.01 c | 149147 | 13749 65899 210261 | 2147483647 149079 32 | 0.087 % |
75.11/75.29 c | 149307 | 13749 65899 210261 | 2147483647 149239 32 | 0.087 % |
75.31/75.42 c | 149483 | 13749 65899 210261 | 2147483647 149415 32 | 0.087 % |
75.41/75.59 c | 149676 | 13749 65899 210261 | 2147483647 149608 32 | 0.087 % |
75.61/75.70 c | 149889 | 13749 65899 210261 | 2147483647 149821 32 | 0.087 % |
75.82/75.90 c | 150122 | 13749 65899 210261 | 2147483647 150054 32 | 0.087 % |
76.01/76.10 c | 150378 | 13749 65899 210261 | 2147483647 150310 32 | 0.087 % |
76.21/76.30 c | 150659 | 13749 65899 210261 | 2147483647 150591 32 | 0.087 % |
76.51/76.61 c | 150968 | 13749 65899 210261 | 2147483647 150900 33 | 0.087 % |
77.01/77.17 c | 151307 | 13749 65899 210261 | 2147483647 151239 33 | 0.087 % |
77.51/77.66 c | 151679 | 13749 65899 210261 | 2147483647 151611 33 | 0.087 % |
78.02/78.12 c | 152088 | 13749 65899 210261 | 2147483647 152020 33 | 0.087 % |
78.41/78.56 c | 152537 | 13749 65899 210261 | 2147483647 152469 33 | 0.087 % |
78.91/79.03 c | 153030 | 13749 65899 210261 | 2147483647 152962 33 | 0.087 % |
79.21/79.38 c | 153572 | 13749 65899 210261 | 2147483647 153504 33 | 0.087 % |
79.82/79.98 c | 154172 | 13749 65899 210261 | 2147483647 154104 33 | 0.087 % |
80.52/80.60 c | 154827 | 13749 65899 210261 | 2147483647 154759 33 | 0.087 % |
81.02/81.17 c | 155547 | 13749 65899 210261 | 2147483647 155479 33 | 0.087 % |
81.41/81.58 c | 156341 | 13749 65899 210261 | 2147483647 156273 33 | 0.087 % |
82.11/82.20 c | 157212 | 13749 65899 210261 | 2147483647 157144 33 | 0.087 % |
82.51/82.62 c | 158172 | 13749 65899 210261 | 2147483647 158104 33 | 0.087 % |
83.42/83.53 c | 159225 | 13749 65899 210261 | 2147483647 159157 33 | 0.087 % |
84.31/84.46 c | 160384 | 13749 65899 210261 | 2147483647 160316 33 | 0.087 % |
85.41/85.55 c | 161657 | 13749 65899 210261 | 2147483647 161589 33 | 0.087 % |
86.51/86.67 c | 163058 | 13749 65899 210261 | 2147483647 162990 33 | 0.087 % |
87.81/87.96 c | 164598 | 13749 65899 210261 | 2147483647 164530 33 | 0.087 % |
88.91/89.08 c | 166292 | 13745 65889 210233 | 2147483647 165579 33 | 0.116 % |
89.11/89.25 c | 166393 | 13745 65889 210233 | 2147483647 165680 33 | 0.116 % |
89.31/89.40 c | 166503 | 13745 65889 210233 | 2147483647 165790 33 | 0.116 % |
89.41/89.51 c | 166624 | 13745 65889 210233 | 2147483647 165911 33 | 0.116 % |
89.50/89.66 c | 166757 | 13745 65889 210233 | 2147483647 166044 33 | 0.116 % |
89.70/89.86 c | 166904 | 13745 65889 210233 | 2147483647 166191 33 | 0.116 % |
89.91/90.03 c | 167064 | 13745 65889 210233 | 2147483647 166351 33 | 0.116 % |
90.12/90.23 c | 167241 | 13745 65889 210233 | 2147483647 166528 33 | 0.116 % |
90.21/90.33 c | 167436 | 13745 65889 210233 | 2147483647 166723 33 | 0.116 % |
90.41/90.54 c | 167649 | 13745 65889 210233 | 2147483647 166936 33 | 0.116 % |
90.61/90.73 c | 167882 | 13745 65889 210233 | 2147483647 167169 33 | 0.116 % |
90.91/91.09 c | 168138 | 13745 65889 210233 | 2147483647 167425 33 | 0.116 % |
91.21/91.35 c | 168419 | 13745 65889 210233 | 2147483647 167706 33 | 0.116 % |
91.51/91.68 c | 168728 | 13745 65889 210233 | 2147483647 168015 33 | 0.116 % |
91.91/92.04 c | 169068 | 13745 65889 210233 | 2147483647 168355 33 | 0.116 % |
92.21/92.36 c | 169440 | 13745 65889 210233 | 2147483647 168727 33 | 0.116 % |
92.71/92.87 c | 169850 | 13745 65889 210233 | 2147483647 169137 33 | 0.116 % |
93.11/93.22 c | 170299 | 13745 65889 210233 | 2147483647 169586 33 | 0.116 % |
93.51/93.60 c | 170793 | 13745 65889 210233 | 2147483647 170080 33 | 0.116 % |
94.11/94.22 c | 171335 | 13745 65889 210233 | 2147483647 170622 33 | 0.116 % |
94.71/94.84 c | 171931 | 13745 65889 210233 | 2147483647 171218 33 | 0.116 % |
95.51/95.60 c | 172586 | 13745 65889 210233 | 2147483647 171873 33 | 0.116 % |
96.11/96.24 c | 173306 | 13745 65889 210233 | 2147483647 172593 33 | 0.116 % |
96.81/96.99 c | 174098 | 13745 65889 210233 | 2147483647 173385 33 | 0.116 % |
97.40/97.54 c | 174969 | 13745 65889 210233 | 2147483647 174256 33 | 0.116 % |
98.60/98.71 c | 175928 | 13745 65869 210180 | 2147483647 175062 33 | 0.116 % |
99.40/99.52 c | 176981 | 13745 65869 210180 | 2147483647 176115 33 | 0.116 % |
100.60/100.79 c | 178139 | 13745 65869 210180 | 2147483647 177273 33 | 0.116 % |
102.21/102.33 c | 179415 | 13744 65869 210180 | 2147483647 178548 33 | 0.124 % |
103.51/103.62 c | 180815 | 13744 65869 210180 | 2147483647 179948 33 | 0.124 % |
104.90/105.08 c | 182355 | 13744 65869 210180 | 2147483647 181488 33 | 0.124 % |
106.51/106.69 c | 184049 | 13744 65869 210180 | 2147483647 183182 33 | 0.124 % |
108.50/108.63 c | 185913 | 13744 65869 210180 | 2147483647 185046 33 | 0.124 % |
108.60/108.80 c | 186014 | 13744 65866 210174 | 2147483647 185147 33 | 0.124 % |
108.81/108.91 c | 186124 | 13744 65866 210174 | 2147483647 185257 33 | 0.124 % |
108.90/109.03 c | 186246 | 13744 65866 210174 | 2147483647 185379 33 | 0.124 % |
109.00/109.19 c | 186379 | 13744 65866 210174 | 2147483647 185512 33 | 0.124 % |
109.20/109.33 c | 186525 | 13744 65866 210174 | 2147483647 185658 33 | 0.124 % |
109.50/109.68 c | 186686 | 13744 65866 210174 | 2147483647 185819 33 | 0.124 % |
109.60/109.80 c | 186862 | 13744 65866 210174 | 2147483647 185995 33 | 0.124 % |
109.70/109.88 c | 187055 | 13744 65866 210174 | 2147483647 186188 33 | 0.124 % |
109.90/110.08 c | 187267 | 13744 65866 210174 | 2147483647 186400 33 | 0.124 % |
110.20/110.33 c | 187502 | 13744 65866 210174 | 2147483647 186635 33 | 0.124 % |
110.40/110.56 c | 187758 | 13744 65866 210174 | 2147483647 186891 33 | 0.124 % |
110.70/110.86 c | 188041 | 13744 65866 210174 | 2147483647 187174 33 | 0.124 % |
111.10/111.26 c | 188352 | 13744 65866 210174 | 2147483647 187485 33 | 0.124 % |
111.60/111.70 c | 188695 | 13744 65866 210174 | 2147483647 187828 33 | 0.124 % |
111.80/111.95 c | 189067 | 13744 65866 210174 | 2147483647 188200 33 | 0.124 % |
112.20/112.36 c | 189476 | 13744 65866 210174 | 2147483647 188609 33 | 0.124 % |
112.60/112.71 c | 189925 | 13744 65866 210174 | 2147483647 189058 33 | 0.124 % |
113.40/113.59 c | 190419 | 13744 65866 210174 | 2147483647 189552 34 | 0.124 % |
113.90/114.09 c | 190961 | 13744 65866 210174 | 2147483647 190094 34 | 0.124 % |
114.80/114.95 c | 191557 | 13744 65866 210174 | 2147483647 190690 34 | 0.124 % |
115.69/115.82 c | 192214 | 13744 65866 210174 | 2147483647 191347 34 | 0.124 % |
116.40/116.58 c | 192934 | 13744 65866 210174 | 2147483647 192067 34 | 0.124 % |
117.09/117.21 c | 193726 | 13744 65866 210174 | 2147483647 192859 34 | 0.124 % |
117.99/118.16 c | 194597 | 13744 65866 210174 | 2147483647 193730 34 | 0.124 % |
119.10/119.22 c | 195556 | 13744 65866 210174 | 2147483647 194689 34 | 0.124 % |
120.10/120.27 c | 196609 | 13744 65866 210174 | 2147483647 195742 34 | 0.124 % |
121.60/121.75 c | 197769 | 13744 65866 210174 | 2147483647 196902 34 | 0.124 % |
123.00/123.15 c | 199042 | 13744 65866 210174 | 2147483647 198175 34 | 0.124 % |
124.60/124.77 c | 200444 | 13744 65866 210174 | 2147483647 199577 34 | 0.124 % |
126.19/126.34 c | 201984 | 13744 65866 210174 | 2147483647 201117 34 | 0.124 % |
128.50/128.67 c | 203678 | 13740 65836 210093 | 2147483647 202758 34 | 0.153 % |
130.69/130.89 c | 205543 | 13740 65836 210093 | 2147483647 204623 35 | 0.153 % |
132.69/132.80 c | 207592 | 13740 65836 210093 | 2147483647 206672 35 | 0.153 % |
132.79/132.95 c | 207692 | 13740 65836 210093 | 2147483647 206772 35 | 0.153 % |
133.09/133.20 c | 207803 | 13740 65836 210093 | 2147483647 206883 35 | 0.153 % |
133.19/133.37 c | 207925 | 13740 65836 210093 | 2147483647 207005 35 | 0.153 % |
133.39/133.54 c | 208059 | 13740 65836 210093 | 2147483647 207139 35 | 0.153 % |
133.58/133.76 c | 208207 | 13740 65836 210093 | 2147483647 207287 35 | 0.153 % |
133.78/133.98 c | 208367 | 13740 65836 210093 | 2147483647 207447 35 | 0.153 % |
134.09/134.28 c | 208543 | 13740 65836 210093 | 2147483647 207623 35 | 0.153 % |
134.28/134.46 c | 208738 | 13740 65836 210093 | 2147483647 207818 35 | 0.153 % |
134.58/134.78 c | 208950 | 13740 65836 210093 | 2147483647 208030 35 | 0.153 % |
134.78/134.99 c | 209183 | 13740 65836 210093 | 2147483647 208263 35 | 0.153 % |
135.09/135.22 c | 209439 | 13740 65836 210093 | 2147483647 208519 35 | 0.153 % |
135.58/135.78 c | 209720 | 13740 65836 210093 | 2147483647 208800 35 | 0.153 % |
135.98/136.13 c | 210029 | 13740 65836 210093 | 2147483647 209109 35 | 0.153 % |
136.48/136.67 c | 210370 | 13739 65836 210093 | 2147483647 209449 35 | 0.189 % |
136.88/137.06 c | 210742 | 13739 65836 210093 | 2147483647 209821 35 | 0.189 % |
137.39/137.58 c | 211151 | 13739 65836 210093 | 2147483647 210230 35 | 0.189 % |
137.88/138.02 c | 211600 | 13739 65836 210093 | 2147483647 210679 35 | 0.189 % |
138.39/138.54 c | 212093 | 13739 65836 210093 | 2147483647 211172 35 | 0.189 % |
138.78/138.98 c | 212636 | 13739 65836 210093 | 2147483647 211715 35 | 0.189 % |
139.68/139.84 c | 213232 | 13739 65836 210093 | 2147483647 212311 35 | 0.189 % |
140.19/140.35 c | 213888 | 13739 65836 210093 | 2147483647 212967 35 | 0.189 % |
140.89/141.05 c | 214608 | 13739 65836 210093 | 2147483647 213687 35 | 0.189 % |
141.89/142.00 c | 215400 | 13739 65836 210093 | 2147483647 214479 35 | 0.189 % |
142.89/143.09 c | 216271 | 13735 65795 209979 | 2147483647 214991 35 | 0.189 % |
143.89/144.01 c | 217229 | 13735 65795 209979 | 2147483647 215949 35 | 0.189 % |
144.89/145.05 c | 218283 | 13735 65795 209979 | 2147483647 217003 35 | 0.189 % |
145.99/146.15 c | 219443 | 13735 65795 209979 | 2147483647 218163 35 | 0.189 % |
147.29/147.41 c | 220717 | 13735 65795 209979 | 2147483647 219437 35 | 0.189 % |
148.79/148.90 c | 222120 | 13735 65795 209979 | 2147483647 220840 35 | 0.189 % |
150.78/150.92 c | 223660 | 13735 65795 209979 | 2147483647 222380 35 | 0.189 % |
153.68/153.85 c | 225355 | 13735 65795 209979 | 2147483647 224075 36 | 0.189 % |
156.18/156.34 c | 227218 | 13735 65795 209979 | 2147483647 225938 36 | 0.189 % |
158.39/158.54 c | 229267 | 13735 65795 209979 | 2147483647 227987 36 | 0.189 % |
160.98/161.14 c | 231520 | 13735 65795 209979 | 2147483647 230240 36 | 0.189 % |
161.08/161.29 c | 231620 | 13735 65795 209979 | 2147483647 230340 36 | 0.189 % |
161.28/161.46 c | 231731 | 13735 65795 209979 | 2147483647 230451 36 | 0.189 % |
161.49/161.68 c | 231852 | 13735 65795 209979 | 2147483647 230572 36 | 0.189 % |
161.68/161.82 c | 231985 | 13735 65795 209979 | 2147483647 230705 36 | 0.189 % |
161.88/162.01 c | 232133 | 13735 65795 209979 | 2147483647 230853 36 | 0.189 % |
161.98/162.16 c | 232293 | 13735 65795 209979 | 2147483647 231013 36 | 0.189 % |
162.18/162.36 c | 232469 | 13735 65795 209979 | 2147483647 231189 36 | 0.189 % |
162.38/162.59 c | 232662 | 13735 65795 209979 | 2147483647 231382 36 | 0.189 % |
162.69/162.88 c | 232875 | 13735 65795 209979 | 2147483647 231595 36 | 0.189 % |
162.98/163.10 c | 233108 | 13735 65795 209979 | 2147483647 231828 36 | 0.189 % |
163.28/163.46 c | 233364 | 13735 65795 209979 | 2147483647 232084 36 | 0.189 % |
163.69/163.81 c | 233645 | 13735 65795 209979 | 2147483647 232365 36 | 0.189 % |
164.28/164.46 c | 233954 | 13735 65795 209979 | 2147483647 232674 36 | 0.189 % |
164.89/165.06 c | 234296 | 13735 65795 209979 | 2147483647 233016 36 | 0.189 % |
165.48/165.65 c | 234669 | 13735 65795 209979 | 2147483647 233389 36 | 0.189 % |
166.08/166.26 c | 235078 | 13735 65795 209979 | 2147483647 233798 36 | 0.189 % |
166.78/166.95 c | 235527 | 13735 65795 209979 | 2147483647 234247 36 | 0.189 % |
167.38/167.56 c | 236022 | 13735 65795 209979 | 2147483647 234742 36 | 0.189 % |
167.88/168.05 c | 236564 | 13735 65795 209979 | 2147483647 235284 36 | 0.189 % |
168.68/168.87 c | 237160 | 13735 65795 209979 | 2147483647 235880 36 | 0.189 % |
169.98/170.17 c | 237817 | 13735 65795 209979 | 2147483647 236537 37 | 0.189 % |
170.78/170.92 c | 238537 | 13735 65795 209979 | 2147483647 237257 37 | 0.189 % |
171.78/171.95 c | 239332 | 13734 65789 209962 | 2147483647 238047 37 | 0.196 % |
173.18/173.31 c | 240204 | 13734 65789 209962 | 2147483647 238919 37 | 0.196 % |
174.58/174.78 c | 241162 | 13734 65789 209962 | 2147483647 239877 37 | 0.196 % |
176.38/176.52 c | 242216 | 13734 65789 209962 | 2147483647 240931 37 | 0.196 % |
177.87/178.02 c | 243374 | 13734 65789 209962 | 2147483647 242089 37 | 0.196 % |
179.77/179.93 c | 244648 | 13734 65789 209962 | 2147483647 243363 37 | 0.196 % |
181.47/181.65 c | 246048 | 13734 65789 209962 | 2147483647 244763 37 | 0.196 % |
183.77/183.97 c | 247588 | 13734 65789 209962 | 2147483647 246303 37 | 0.196 % |
185.97/186.11 c | 249283 | 13734 65789 209962 | 2147483647 247998 37 | 0.196 % |
188.37/188.54 c | 251148 | 13734 65789 209962 | 2147483647 249863 37 | 0.196 % |
191.37/191.56 c | 253202 | 13734 65789 209962 | 2147483647 251917 37 | 0.196 % |
197.57/197.70 c | 255456 | 13734 65789 209962 | 2147483647 254171 38 | 0.196 % |
201.07/201.20 c | 257934 | 13734 65789 209962 | 2147483647 256649 38 | 0.196 % |
201.17/201.39 c | 258035 | 13734 65789 209962 | 2147483647 256750 38 | 0.196 % |
201.37/201.52 c | 258145 | 13734 65789 209962 | 2147483647 256860 38 | 0.196 % |
201.47/201.68 c | 258266 | 13734 65789 209962 | 2147483647 256981 38 | 0.196 % |
201.67/201.87 c | 258400 | 13734 65789 209962 | 2147483647 257115 38 | 0.196 % |
201.87/202.03 c | 258546 | 13734 65789 209962 | 2147483647 257261 38 | 0.196 % |
202.17/202.37 c | 258707 | 13734 65789 209962 | 2147483647 257422 38 | 0.196 % |
202.57/202.74 c | 258884 | 13734 65789 209962 | 2147483647 257599 38 | 0.196 % |
202.77/202.98 c | 259077 | 13734 65789 209962 | 2147483647 257792 38 | 0.196 % |
203.17/203.36 c | 259291 | 13734 65789 209962 | 2147483647 258006 38 | 0.196 % |
203.57/203.71 c | 259524 | 13734 65789 209962 | 2147483647 258239 38 | 0.196 % |
203.87/204.03 c | 259780 | 13734 65789 209962 | 2147483647 258495 38 | 0.197 % |
204.27/204.44 c | 260061 | 13734 65789 209962 | 2147483647 258776 38 | 0.196 % |
204.67/204.85 c | 260370 | 13734 65789 209962 | 2147483647 259085 38 | 0.196 % |
205.17/205.38 c | 260710 | 13734 65789 209962 | 2147483647 259425 38 | 0.196 % |
205.87/206.02 c | 261082 | 13734 65789 209962 | 2147483647 259797 38 | 0.196 % |
206.47/206.62 c | 261491 | 13734 65789 209962 | 2147483647 260206 38 | 0.196 % |
207.07/207.26 c | 261940 | 13734 65789 209962 | 2147483647 260655 38 | 0.196 % |
207.77/207.97 c | 262434 | 13734 65789 209962 | 2147483647 261149 38 | 0.196 % |
208.56/208.72 c | 262977 | 13734 65789 209962 | 2147483647 261692 38 | 0.196 % |
209.66/209.89 c | 263573 | 13734 65789 209962 | 2147483647 262288 38 | 0.196 % |
211.07/211.20 c | 264228 | 13734 65789 209962 | 2147483647 262943 38 | 0.196 % |
211.96/212.11 c | 264950 | 13734 65789 209962 | 2147483647 263665 38 | 0.196 % |
212.96/213.14 c | 265742 | 13734 65789 209962 | 2147483647 264457 38 | 0.196 % |
214.56/214.70 c | 266613 | 13734 65789 209962 | 2147483647 265328 38 | 0.196 % |
215.76/215.91 c | 267571 | 13734 65789 209962 | 2147483647 266286 38 | 0.196 % |
217.56/217.70 c | 268624 | 13734 65789 209962 | 2147483647 267339 38 | 0.196 % |
219.56/219.76 c | 269782 | 13734 65789 209962 | 2147483647 268497 38 | 0.196 % |
221.37/221.52 c | 271056 | 13734 65789 209962 | 2147483647 269771 38 | 0.196 % |
223.07/223.22 c | 272456 | 13734 65789 209962 | 2147483647 271171 38 | 0.196 % |
225.37/225.53 c | 273998 | 13734 65789 209962 | 2147483647 272713 38 | 0.196 % |
228.06/228.26 c | 275693 | 13734 65789 209962 | 2147483647 274408 38 | 0.196 % |
231.36/231.55 c | 277557 | 13734 65789 209962 | 2147483647 276272 39 | 0.196 % |
234.85/235.02 c | 279609 | 13734 65789 209962 | 2147483647 278324 39 | 0.196 % |
238.15/238.34 c | 281862 | 13734 65789 209962 | 2147483647 280577 38 | 0.196 % |
242.65/242.87 c | 284340 | 13734 65789 209962 | 2147483647 283055 38 | 0.197 % |
247.26/247.45 c | 287068 | 13734 65789 209962 | 2147483647 285783 38 | 0.196 % |
247.36/247.59 c | 287168 | 13734 65789 209962 | 2147483647 285883 38 | 0.196 % |
247.55/247.72 c | 287279 | 13734 65789 209962 | 2147483647 285994 38 | 0.196 % |
247.85/248.00 c | 287400 | 13734 65789 209962 | 2147483647 286115 38 | 0.196 % |
248.05/248.25 c | 287534 | 13734 65789 209962 | 2147483647 286249 39 | 0.196 % |
248.36/248.57 c | 287681 | 13734 65789 209962 | 2147483647 286396 39 | 0.196 % |
248.55/248.70 c | 287841 | 13734 65789 209962 | 2147483647 286556 38 | 0.196 % |
248.85/249.09 c | 288017 | 13734 65789 209962 | 2147483647 286732 39 | 0.196 % |
249.15/249.39 c | 288212 | 13734 65789 209962 | 2147483647 286927 39 | 0.196 % |
249.56/249.72 c | 288425 | 13734 65789 209962 | 2147483647 287140 39 | 0.196 % |
249.95/250.12 c | 288659 | 13734 65789 209962 | 2147483647 287374 39 | 0.196 % |
250.15/250.32 c | 288917 | 13734 65789 209962 | 2147483647 287632 39 | 0.196 % |
250.65/250.85 c | 289198 | 13734 65789 209962 | 2147483647 287913 38 | 0.196 % |
251.15/251.37 c | 289509 | 13734 65789 209962 | 2147483647 288224 39 | 0.196 % |
251.75/251.95 c | 289849 | 13734 65789 209962 | 2147483647 288564 39 | 0.196 % |
252.55/252.71 c | 290221 | 13733 65779 209934 | 2147483647 288929 39 | 0.203 % |
253.45/253.68 c | 290630 | 13733 65779 209934 | 2147483647 289338 39 | 0.203 % |
254.25/254.40 c | 291079 | 13733 65779 209934 | 2147483647 289787 39 | 0.203 % |
254.85/255.05 c | 291573 | 13733 65779 209934 | 2147483647 290281 39 | 0.204 % |
255.45/255.66 c | 292119 | 13733 65779 209934 | 2147483647 290827 39 | 0.203 % |
256.15/256.37 c | 292716 | 13732 65779 209934 | 2147483647 291423 39 | 0.233 % |
257.15/257.31 c | 293373 | 13732 65779 209934 | 2147483647 292080 39 | 0.233 % |
258.55/258.76 c | 294093 | 13732 65779 209934 | 2147483647 292800 39 | 0.233 % |
260.04/260.25 c | 294887 | 13732 65779 209934 | 2147483647 293594 39 | 0.233 % |
262.04/262.20 c | 295759 | 13732 65779 209934 | 2147483647 294466 39 | 0.233 % |
264.04/264.28 c | 296717 | 13732 65779 209934 | 2147483647 295424 39 | 0.233 % |
266.54/266.75 c | 297770 | 13732 65779 209934 | 2147483647 296477 39 | 0.233 % |
268.74/268.95 c | 298928 | 13732 65779 209934 | 2147483647 297635 39 | 0.233 % |
270.55/270.71 c | 300201 | 13732 65779 209934 | 2147483647 298908 39 | 0.233 % |
273.55/273.79 c | 301601 | 13732 65779 209934 | 2147483647 300308 39 | 0.233 % |
277.44/277.61 c | 303143 | 13732 65779 209934 | 2147483647 301850 39 | 0.233 % |
279.84/280.08 c | 304838 | 13732 65779 209934 | 2147483647 303545 39 | 0.233 % |
282.74/282.99 c | 306704 | 13732 65779 209934 | 2147483647 305411 39 | 0.233 % |
288.34/288.52 c | 308754 | 13729 65739 209822 | 2147483647 307396 39 | 0.233 % |
292.64/292.89 c | 311007 | 13729 65739 209822 | 2147483647 309649 39 | 0.233 % |
297.33/297.55 c | 313486 | 13729 65739 209822 | 2147483647 312128 40 | 0.233 % |
302.83/303.03 c | 316213 | 13729 65739 209822 | 2147483647 314855 40 | 0.233 % |
308.03/308.20 c | 319210 | 13729 65739 209822 | 2147483647 317852 40 | 0.233 % |
308.13/308.34 c | 319310 | 13729 65739 209822 | 2147483647 317952 40 | 0.233 % |
308.43/308.63 c | 319420 | 13729 65739 209822 | 2147483647 318062 40 | 0.233 % |
308.73/308.92 c | 319542 | 13729 65739 209822 | 2147483647 318184 40 | 0.233 % |
309.03/309.30 c | 319677 | 13729 65739 209822 | 2147483647 318319 40 | 0.233 % |
309.63/309.85 c | 319824 | 13729 65739 209822 | 2147483647 318466 40 | 0.233 % |
309.94/310.15 c | 319984 | 13729 65739 209822 | 2147483647 318626 40 | 0.233 % |
310.23/310.44 c | 320161 | 13729 65739 209822 | 2147483647 318803 40 | 0.233 % |
310.43/310.60 c | 320354 | 13729 65739 209822 | 2147483647 318996 40 | 0.233 % |
310.93/311.19 c | 320566 | 13729 65739 209822 | 2147483647 319208 40 | 0.233 % |
311.73/311.99 c | 320801 | 13729 65739 209822 | 2147483647 319443 40 | 0.233 % |
312.23/312.46 c | 321057 | 13729 65739 209822 | 2147483647 319699 40 | 0.233 % |
312.83/313.05 c | 321339 | 13729 65739 209822 | 2147483647 319981 40 | 0.233 % |
313.53/313.74 c | 321649 | 13729 65739 209822 | 2147483647 320291 40 | 0.233 % |
313.93/314.19 c | 321993 | 13729 65739 209822 | 2147483647 320635 40 | 0.233 % |
315.43/315.67 c | 322366 | 13729 65739 209822 | 2147483647 321008 40 | 0.233 % |
316.42/316.61 c | 322775 | 13729 65739 209822 | 2147483647 321417 40 | 0.233 % |
317.32/317.56 c | 323226 | 13729 65739 209822 | 2147483647 321868 40 | 0.233 % |
318.22/318.46 c | 323720 | 13729 65739 209822 | 2147483647 322362 40 | 0.233 % |
319.12/319.31 c | 324262 | 13729 65739 209822 | 2147483647 322904 40 | 0.233 % |
320.43/320.69 c | 324861 | 13729 65739 209822 | 2147483647 323503 41 | 0.233 % |
321.73/322.00 c | 325516 | 13729 65739 209822 | 2147483647 324158 41 | 0.233 % |
323.23/323.43 c | 326237 | 13729 65739 209822 | 2147483647 324879 41 | 0.233 % |
324.63/324.89 c | 327030 | 13729 65739 209822 | 2147483647 325672 41 | 0.233 % |
326.72/326.91 c | 327903 | 13729 65739 209822 | 2147483647 326545 41 | 0.233 % |
329.32/329.52 c | 328861 | 13729 65739 209822 | 2147483647 327503 41 | 0.233 % |
330.42/330.67 c | 329914 | 13729 65739 209822 | 2147483647 328556 41 | 0.233 % |
332.32/332.55 c | 331072 | 13729 65739 209822 | 2147483647 329714 41 | 0.233 % |
335.52/335.71 c | 332345 | 13729 65739 209822 | 2147483647 330987 41 | 0.233 % |
339.63/339.82 c | 333746 | 13729 65739 209822 | 2147483647 332388 41 | 0.233 % |
343.52/343.77 c | 335286 | 13729 65739 209822 | 2147483647 333928 41 | 0.233 % |
346.12/346.38 c | 336980 | 13729 65739 209822 | 2147483647 335622 41 | 0.233 % |
350.32/350.58 c | 338843 | 13729 65739 209822 | 2147483647 337485 41 | 0.233 % |
354.51/354.80 c | 340893 | 13729 65739 209822 | 2147483647 339535 41 | 0.233 % |
360.52/360.71 c | 343146 | 13729 65739 209822 | 2147483647 341788 41 | 0.233 % |
365.61/365.86 c | 345625 | 13729 65739 209822 | 2147483647 344267 41 | 0.233 % |
371.01/371.24 c | 348350 | 13729 65739 209822 | 2147483647 346992 41 | 0.233 % |
378.81/379.08 c | 351349 | 13729 65739 209822 | 2147483647 349991 41 | 0.233 % |
385.60/385.87 c | 354645 | 13729 65739 209822 | 2147483647 353287 41 | 0.233 % |
385.91/386.15 c | 354745 | 13729 65739 209822 | 2147483647 353387 41 | 0.233 % |
386.10/386.36 c | 354859 | 13729 65739 209822 | 2147483647 353501 41 | 0.233 % |
386.30/386.54 c | 354981 | 13729 65739 209822 | 2147483647 353623 41 | 0.233 % |
386.50/386.75 c | 355114 | 13729 65739 209822 | 2147483647 353756 41 | 0.233 % |
386.80/387.09 c | 355260 | 13729 65739 209822 | 2147483647 353902 41 | 0.233 % |
387.10/387.39 c | 355420 | 13729 65739 209822 | 2147483647 354062 41 | 0.233 % |
387.70/387.90 c | 355596 | 13729 65739 209822 | 2147483647 354238 41 | 0.233 % |
388.11/388.33 c | 355789 | 13729 65739 209822 | 2147483647 354431 41 | 0.233 % |
388.30/388.52 c | 356002 | 13729 65739 209822 | 2147483647 354644 41 | 0.233 % |
388.70/388.97 c | 356238 | 13729 65739 209822 | 2147483647 354880 41 | 0.233 % |
389.10/389.34 c | 356494 | 13729 65739 209822 | 2147483647 355136 41 | 0.233 % |
389.90/390.15 c | 356775 | 13729 65739 209822 | 2147483647 355417 41 | 0.233 % |
390.70/390.92 c | 357084 | 13729 65739 209822 | 2147483647 355726 41 | 0.233 % |
391.80/392.05 c | 357423 | 13729 65739 209822 | 2147483647 356065 41 | 0.233 % |
392.91/393.10 c | 357795 | 13729 65739 209822 | 2147483647 356437 41 | 0.233 % |
394.20/394.46 c | 358205 | 13729 65739 209822 | 2147483647 356847 41 | 0.233 % |
394.90/395.10 c | 358654 | 13729 65739 209822 | 2147483647 357296 41 | 0.233 % |
395.81/396.00 c | 359148 | 13729 65739 209822 | 2147483647 357790 41 | 0.233 % |
396.60/396.89 c | 359690 | 13729 65739 209822 | 2147483647 358332 41 | 0.233 % |
398.01/398.26 c | 360288 | 13729 65739 209822 | 2147483647 358930 41 | 0.233 % |
399.40/399.69 c | 360943 | 13729 65739 209822 | 2147483647 359585 41 | 0.233 % |
401.90/402.16 c | 361663 | 13729 65739 209822 | 2147483647 360305 41 | 0.233 % |
403.40/403.66 c | 362456 | 13729 65739 209822 | 2147483647 361098 41 | 0.233 % |
406.00/406.26 c | 363327 | 13728 65736 209816 | 2147483647 361966 41 | 0.240 % |
408.60/408.80 c | 364286 | 13728 65736 209816 | 2147483647 362925 41 | 0.240 % |
409.80/410.06 c | 365339 | 13728 65736 209816 | 2147483647 363978 41 | 0.240 % |
412.40/412.60 c | 366499 | 13728 65736 209816 | 2147483647 365138 41 | 0.240 % |
415.00/415.27 c | 367772 | 13728 65736 209816 | 2147483647 366411 41 | 0.240 % |
417.60/417.89 c | 369172 | 13728 65736 209816 | 2147483647 367811 41 | 0.240 % |
420.79/421.01 c | 370713 | 13728 65736 209816 | 2147483647 369352 41 | 0.240 % |
424.59/424.84 c | 372408 | 13728 65736 209816 | 2147483647 371047 41 | 0.240 % |
429.39/429.66 c | 374271 | 13728 65736 209816 | 2147483647 372909 41 | 0.247 % |
433.29/433.54 c | 376320 | 13728 65736 209816 | 2147483647 374958 41 | 0.247 % |
438.88/439.16 c | 378573 | 13728 65736 209816 | 2147483647 377211 42 | 0.247 % |
445.59/445.80 c | 381051 | 13728 65736 209816 | 2147483647 379689 41 | 0.247 % |
454.18/454.46 c | 383777 | 13728 65736 209816 | 2147483647 382415 41 | 0.247 % |
466.68/466.94 c | 386775 | 13727 65733 209810 | 2147483647 385411 42 | 0.247 % |
473.88/474.17 c | 390071 | 13726 65733 209810 | 2147483647 388706 42 | 0.254 % |
482.07/482.36 c | 393696 | 13726 65733 209810 | 2147483647 392330 42 | 0.262 % |
482.37/482.62 c | 393796 | 13726 65733 209810 | 2147483647 392430 42 | 0.262 % |
482.68/482.91 c | 393906 | 13726 65733 209810 | 2147483647 392540 42 | 0.262 % |
482.97/483.27 c | 394027 | 13726 65733 209810 | 2147483647 392661 42 | 0.262 % |
483.37/483.60 c | 394160 | 13726 65733 209810 | 2147483647 392794 42 | 0.262 % |
483.78/484.03 c | 394306 | 13726 65733 209810 | 2147483647 392940 42 | 0.262 % |
484.17/484.43 c | 394466 | 13726 65733 209810 | 2147483647 393100 42 | 0.262 % |
484.57/484.89 c | 394643 | 13726 65733 209810 | 2147483647 393277 42 | 0.262 % |
485.27/485.57 c | 394837 | 13726 65733 209810 | 2147483647 393471 42 | 0.262 % |
485.87/486.16 c | 395049 | 13726 65733 209810 | 2147483647 393683 42 | 0.262 % |
486.67/486.91 c | 395282 | 13726 65733 209810 | 2147483647 393916 42 | 0.262 % |
487.17/487.44 c | 395538 | 13726 65733 209810 | 2147483647 394172 42 | 0.262 % |
487.97/488.20 c | 395819 | 13726 65733 209810 | 2147483647 394453 42 | 0.262 % |
489.17/489.42 c | 396128 | 13726 65733 209810 | 2147483647 394762 42 | 0.262 % |
489.47/489.75 c | 396467 | 13726 65733 209810 | 2147483647 395101 42 | 0.262 % |
490.37/490.62 c | 396840 | 13726 65733 209810 | 2147483647 395474 42 | 0.262 % |
491.37/491.66 c | 397249 | 13726 65733 209810 | 2147483647 395883 42 | 0.262 % |
492.67/492.91 c | 397702 | 13726 65733 209810 | 2147483647 396336 42 | 0.262 % |
494.46/494.73 c | 398196 | 13726 65733 209810 | 2147483647 396830 42 | 0.262 % |
496.27/496.57 c | 398741 | 13726 65733 209810 | 2147483647 397375 42 | 0.262 % |
498.37/498.62 c | 399339 | 13726 65733 209810 | 2147483647 397973 42 | 0.262 % |
500.17/500.49 c | 399995 | 13726 65733 209810 | 2147483647 398629 42 | 0.262 % |
502.27/502.59 c | 400715 | 13726 65733 209810 | 398642 399349 42 | 0.262 % |
504.67/504.91 c | 401507 | 13726 65733 209810 | 398642 356292 40 | 0.262 % |
506.37/506.67 c | 402379 | 13726 65733 209810 | 398642 357164 40 | 0.262 % |
508.77/509.03 c | 403337 | 13726 65733 209810 | 398642 358122 40 | 0.262 % |
511.67/511.91 c | 404392 | 13725 65727 209798 | 398642 359164 40 | 0.262 % |
514.17/514.43 c | 405551 | 13725 65727 209798 | 398642 360323 40 | 0.262 % |
517.97/518.29 c | 406825 | 13725 65727 209798 | 398642 361597 40 | 0.262 % |
521.86/522.15 c | 408227 | 13725 65727 209798 | 398642 362999 40 | 0.262 % |
525.66/525.92 c | 409768 | 13725 65727 209798 | 398642 364540 40 | 0.262 % |
529.06/529.33 c | 411463 | 13725 65727 209798 | 364772 366235 40 | 0.262 % |
533.86/534.18 c | 413326 | 13725 65727 209798 | 364772 327797 40 | 0.443 % |
539.36/539.67 c | 415375 | 13725 65727 209798 | 364772 329846 40 | 0.443 % |
545.85/546.20 c | 417628 | 13725 65727 209798 | 364772 332099 40 | 0.444 % |
551.25/551.59 c | 420107 | 13725 65727 209798 | 2147483647 334578 40 | 0.443 % |
559.15/559.42 c | 422834 | 13725 65727 209798 | 2147483647 337305 40 | 0.444 % |
567.85/568.19 c | 425831 | 13700 65486 209124 | 2147483647 339940 40 | 0.444 % |
575.84/576.14 c | 429128 | 13700 65486 209124 | 2147483647 343237 40 | 0.443 % |
583.85/584.17 c | 432754 | 13700 65486 209124 | 2147483647 346863 40 | 0.443 % |
596.94/597.29 c | 436742 | 13700 65486 209124 | 2147483647 350851 41 | 0.443 % |
597.34/597.61 c | 436842 | 13700 65486 209124 | 2147483647 350951 41 | 0.443 % |
597.64/597.99 c | 436952 | 13700 65486 209124 | 2147483647 351061 41 | 0.443 % |
597.94/598.26 c | 437073 | 13699 65486 209124 | 2147483647 351181 41 | 0.451 % |
598.24/598.54 c | 437207 | 13699 65486 209124 | 2147483647 351315 41 | 0.451 % |
598.64/598.99 c | 437355 | 13699 65486 209124 | 2147483647 351463 41 | 0.451 % |
598.94/599.27 c | 437515 | 13699 65486 209124 | 2147483647 351623 41 | 0.451 % |
599.34/599.64 c | 437691 | 13699 65486 209124 | 2147483647 351799 41 | 0.451 % |
599.74/600.03 c | 437884 | 13699 65486 209124 | 2147483647 351992 41 | 0.451 % |
600.34/600.64 c | 438098 | 13699 65486 209124 | 2147483647 352206 41 | 0.451 % |
600.84/601.15 c | 438331 | 13699 65486 209124 | 2147483647 352439 41 | 0.451 % |
601.44/601.77 c | 438587 | 13699 65486 209124 | 2147483647 352695 41 | 0.451 % |
602.23/602.51 c | 438868 | 13699 65486 209124 | 2147483647 352976 41 | 0.451 % |
602.93/603.29 c | 439182 | 13699 65476 209096 | 2147483647 353287 41 | 0.451 % |
603.54/603.86 c | 439521 | 13699 65476 209096 | 2147483647 353626 41 | 0.451 % |
604.23/604.53 c | 439893 | 13699 65476 209096 | 2147483647 353998 41 | 0.451 % |
604.83/605.19 c | 440302 | 13699 65476 209096 | 2147483647 354407 41 | 0.451 % |
605.63/606.00 c | 440752 | 13699 65476 209096 | 2147483647 354857 41 | 0.451 % |
606.23/606.57 c | 441245 | 13699 65476 209096 | 2147483647 355350 41 | 0.451 % |
606.94/607.26 c | 441787 | 13699 65476 209096 | 2147483647 355892 41 | 0.451 % |
607.83/608.19 c | 442383 | 13699 65476 209096 | 2147483647 356488 41 | 0.451 % |
609.04/609.32 c | 443038 | 13699 65476 209096 | 2147483647 357143 41 | 0.451 % |
610.43/610.73 c | 443758 | 13699 65476 209096 | 2147483647 357863 41 | 0.451 % |
612.83/613.19 c | 444551 | 13699 65476 209096 | 2147483647 358656 41 | 0.451 % |
615.33/615.62 c | 445423 | 13699 65476 209096 | 2147483647 359528 41 | 0.451 % |
618.63/618.91 c | 446381 | 13699 65476 209096 | 2147483647 360486 41 | 0.451 % |
622.13/622.48 c | 447434 | 13699 65476 209096 | 2147483647 361539 41 | 0.451 % |
625.92/626.26 c | 448592 | 13699 65476 209096 | 2147483647 362697 41 | 0.451 % |
630.42/630.80 c | 449865 | 13699 65476 209096 | 2147483647 363970 41 | 0.451 % |
634.72/635.04 c | 451266 | 13699 65476 209096 | 2147483647 365371 41 | 0.451 % |
639.22/639.57 c | 452806 | 13699 65476 209096 | 2147483647 366911 41 | 0.451 % |
643.22/643.57 c | 454503 | 13699 65476 209096 | 2147483647 368608 41 | 0.451 % |
648.82/649.18 c | 456370 | 13699 65476 209096 | 2147483647 370475 41 | 0.451 % |
656.32/656.61 c | 458419 | 13699 65476 209096 | 2147483647 372524 41 | 0.451 % |
659.01/659.37 c | 460673 | 13699 65476 209096 | 2147483647 374778 41 | 0.451 % |
666.82/667.19 c | 463152 | 13699 65476 209096 | 2147483647 377257 41 | 0.451 % |
675.71/676.05 c | 465878 | 13699 65476 209096 | 2147483647 379983 41 | 0.451 % |
685.91/686.24 c | 468875 | 13698 65473 209090 | 2147483647 382975 41 | 0.458 % |
699.90/700.20 c | 472172 | 13698 65473 209090 | 384103 339764 40 | 0.465 % |
710.60/710.94 c | 475798 | 13697 65473 209090 | 384103 343389 40 | 0.472 % |
722.40/722.79 c | 479786 | 13697 65473 209090 | 384103 347377 40 | 0.472 % |
737.70/738.03 c | 484171 | 13697 65473 209090 | 2147483647 351762 40 | 0.472 % |
738.09/738.47 c | 484271 | 13697 65473 209090 | 2147483647 351862 40 | 0.472 % |
738.49/738.86 c | 484382 | 13697 65473 209090 | 2147483647 351973 40 | 0.472 % |
738.99/739.34 c | 484503 | 13697 65473 209090 | 2147483647 352094 40 | 0.472 % |
739.49/739.84 c | 484637 | 13697 65473 209090 | 2147483647 352228 40 | 0.472 % |
740.09/740.48 c | 484783 | 13697 65473 209090 | 2147483647 352374 40 | 0.472 % |
741.09/741.40 c | 484943 | 13696 65467 209078 | 2147483647 352532 40 | 0.472 % |
741.79/742.15 c | 485121 | 13696 65467 209078 | 2147483647 352710 40 | 0.472 % |
742.59/742.94 c | 485316 | 13696 65467 209078 | 2147483647 352905 40 | 0.472 % |
743.49/743.83 c | 485529 | 13696 65467 209078 | 2147483647 353118 40 | 0.472 % |
744.29/744.63 c | 485763 | 13696 65467 209078 | 2147483647 353352 40 | 0.472 % |
745.19/745.60 c | 486019 | 13696 65467 209078 | 2147483647 353608 40 | 0.472 % |
746.39/746.73 c | 486300 | 13696 65467 209078 | 2147483647 353889 40 | 0.472 % |
747.19/747.58 c | 486614 | 13696 65467 209078 | 2147483647 354203 40 | 0.472 % |
748.09/748.48 c | 486957 | 13696 65467 209078 | 2147483647 354546 40 | 0.472 % |
749.19/749.50 c | 487332 | 13696 65467 209078 | 2147483647 354921 40 | 0.472 % |
750.09/750.43 c | 487741 | 13696 65467 209078 | 2147483647 355330 40 | 0.472 % |
752.19/752.51 c | 488190 | 13696 65467 209078 | 2147483647 355779 40 | 0.472 % |
753.39/753.73 c | 488683 | 13696 65467 209078 | 2147483647 356272 40 | 0.472 % |
754.89/755.26 c | 489226 | 13696 65467 209078 | 2147483647 356815 41 | 0.472 % |
756.39/756.79 c | 489822 | 13696 65467 209078 | 2147483647 357411 41 | 0.472 % |
758.08/758.44 c | 490478 | 13696 65467 209078 | 357589 358067 41 | 0.472 % |
760.98/761.38 c | 491198 | 13696 65467 209078 | 357589 322056 38 | 0.472 % |
762.99/763.37 c | 491993 | 13696 65467 209078 | 357589 322851 38 | 0.472 % |
765.68/766.05 c | 492864 | 13696 65467 209078 | 357589 323722 38 | 0.472 % |
769.08/769.42 c | 493823 | 13696 65467 209078 | 357589 324681 38 | 0.472 % |
772.98/773.37 c | 494878 | 13696 65467 209078 | 357589 325736 38 | 0.472 % |
775.78/776.11 c | 496037 | 13696 65467 209078 | 357589 326895 38 | 0.472 % |
779.28/779.63 c | 497310 | 13696 65467 209078 | 357589 328168 38 | 0.472 % |
784.47/784.85 c | 498712 | 13696 65467 209078 | 357589 329570 38 | 0.472 % |
788.47/788.82 c | 500254 | 13696 65467 209078 | 2147483647 331112 38 | 0.472 % |
792.57/792.99 c | 501948 | 13695 65463 209070 | 2147483647 332778 38 | 0.480 % |
799.37/799.74 c | 503814 | 13695 65463 209070 | 2147483647 334644 38 | 0.480 % |
806.67/807.08 c | 505867 | 13695 65463 209070 | 2147483647 336697 38 | 0.480 % |
813.27/813.66 c | 508121 | 13695 65463 209070 | 2147483647 338951 38 | 0.480 % |
821.57/821.92 c | 510599 | 13695 65463 209070 | 2147483647 341429 38 | 0.480 % |
830.87/831.29 c | 513324 | 13695 65463 209070 | 2147483647 344154 39 | 0.480 % |
841.56/841.96 c | 516321 | 13695 65463 209070 | 2147483647 347151 39 | 0.480 % |
852.56/852.91 c | 519617 | 13695 65463 209070 | 2147483647 350447 39 | 0.480 % |
865.96/866.35 c | 523243 | 13695 65463 209070 | 350832 318789 38 | 0.480 % |
880.85/881.22 c | 527230 | 13694 65460 209064 | 350832 322773 38 | 0.530 % |
895.05/895.46 c | 531618 | 13694 65460 209064 | 2147483647 327161 39 | 0.531 % |
911.14/911.51 c | 536441 | 13694 65460 209064 | 2147483647 331984 39 | 0.530 % |
911.74/912.16 c | 536542 | 13688 65400 208896 | 2147483647 332068 39 | 0.530 % |
912.34/912.72 c | 536652 | 13688 65400 208896 | 2147483647 332178 39 | 0.530 % |
913.04/913.45 c | 536774 | 13688 65400 208896 | 2147483647 332300 39 | 0.530 % |
913.54/913.98 c | 536908 | 13688 65400 208896 | 2147483647 332434 39 | 0.530 % |
914.04/914.49 c | 537054 | 13688 65400 208896 | 2147483647 332580 39 | 0.530 % |
914.64/915.03 c | 537216 | 13688 65400 208896 | 2147483647 332742 39 | 0.530 % |
915.34/915.77 c | 537392 | 13688 65400 208896 | 2147483647 332918 39 | 0.530 % |
916.14/916.52 c | 537585 | 13688 65400 208896 | 2147483647 333111 39 | 0.530 % |
916.94/917.39 c | 537797 | 13688 65400 208896 | 2147483647 333323 39 | 0.530 % |
918.04/918.46 c | 538030 | 13688 65400 208896 | 2147483647 333556 39 | 0.530 % |
919.04/919.47 c | 538286 | 13688 65400 208896 | 2147483647 333812 39 | 0.530 % |
920.43/920.85 c | 538570 | 13688 65400 208896 | 2147483647 334096 39 | 0.530 % |
922.03/922.41 c | 538880 | 13688 65400 208896 | 2147483647 334406 39 | 0.530 % |
923.33/923.70 c | 539220 | 13688 65400 208896 | 2147483647 334746 39 | 0.530 % |
924.64/925.05 c | 539592 | 13688 65400 208896 | 2147483647 335118 39 | 0.530 % |
926.23/926.64 c | 540001 | 13688 65400 208896 | 2147483647 335527 39 | 0.530 % |
928.03/928.49 c | 540451 | 13688 65400 208896 | 335527 335977 39 | 0.530 % |
931.13/931.58 c | 540944 | 13688 65400 208896 | 335527 289222 35 | 0.530 % |
932.93/933.35 c | 541487 | 13688 65400 208896 | 335527 289765 35 | 0.530 % |
935.03/935.47 c | 542083 | 13688 65400 208896 | 335527 290361 35 | 0.530 % |
937.83/938.25 c | 542738 | 13688 65400 208896 | 335527 291016 35 | 0.530 % |
939.93/940.32 c | 543459 | 13688 65400 208896 | 335527 291737 35 | 0.530 % |
942.53/942.91 c | 544252 | 13688 65400 208896 | 335527 292530 35 | 0.530 % |
944.73/945.12 c | 545124 | 13688 65400 208896 | 335527 293402 35 | 0.530 % |
947.73/948.20 c | 546086 | 13688 65400 208896 | 335527 294364 35 | 0.531 % |
951.52/951.90 c | 547139 | 13688 65400 208896 | 335527 295417 35 | 0.530 % |
955.82/956.22 c | 548297 | 13688 65400 208896 | 335527 296575 35 | 0.530 % |
960.53/960.94 c | 549570 | 13688 65400 208896 | 335527 297847 35 | 0.538 % |
965.83/966.24 c | 550971 | 13687 65397 208890 | 2147483647 299245 35 | 0.538 % |
972.12/972.51 c | 552512 | 13687 65397 208890 | 2147483647 300786 35 | 0.538 % |
977.22/977.64 c | 554206 | 13687 65397 208890 | 2147483647 302480 35 | 0.538 % |
982.82/983.23 c | 556069 | 13687 65397 208890 | 2147483647 304343 36 | 0.538 % |
990.42/990.87 c | 558118 | 13687 65397 208890 | 2147483647 306392 36 | 0.538 % |
999.22/999.60 c | 560371 | 13687 65397 208890 | 308275 308645 36 | 0.538 % |
1010.71/1011.12 c | 562851 | 13687 65397 208890 | 308275 274640 34 | 0.538 % |
1019.91/1020.37 c | 565576 | 13687 65397 208890 | 308275 277365 35 | 0.538 % |
1031.91/1032.32 c | 568573 | 13687 65397 208890 | 308275 280362 35 | 0.538 % |
1044.61/1045.08 c | 571869 | 13687 65397 208890 | 2147483647 283658 35 | 0.538 % |
1051.50/1051.94 c | 575494 | 13687 65397 208890 | 2147483647 287283 35 | 0.538 % |
1063.50/1063.95 c | 579482 | 13687 65397 208890 | 2147483647 291271 35 | 0.538 % |
1076.29/1076.76 c | 583872 | 13687 65397 208890 | 2147483647 295661 35 | 0.538 % |
1089.19/1089.69 c | 588695 | 13686 65387 208862 | 2147483647 300481 35 | 0.545 % |
1105.58/1106.02 c | 594001 | 13686 65387 208862 | 2147483647 305787 36 | 0.545 % |
1105.98/1106.49 c | 594101 | 13686 65387 208862 | 2147483647 305887 36 | 0.545 % |
1106.38/1106.89 c | 594212 | 13686 65387 208862 | 2147483647 305998 36 | 0.545 % |
1106.98/1107.47 c | 594333 | 13686 65387 208862 | 2147483647 306119 36 | 0.545 % |
1107.58/1108.04 c | 594468 | 13686 65387 208862 | 2147483647 306254 36 | 0.545 % |
1108.28/1108.74 c | 594617 | 13686 65387 208862 | 2147483647 306403 36 | 0.545 % |
1108.88/1109.39 c | 594777 | 13686 65387 208862 | 2147483647 306563 36 | 0.545 % |
1109.98/1110.44 c | 594953 | 13686 65387 208862 | 2147483647 306739 36 | 0.545 % |
1110.88/1111.30 c | 595146 | 13686 65387 208862 | 2147483647 306932 36 | 0.545 % |
1111.68/1112.14 c | 595358 | 13686 65387 208862 | 2147483647 307144 36 | 0.545 % |
1112.88/1113.33 c | 595591 | 13686 65387 208862 | 2147483647 307377 36 | 0.545 % |
1113.88/1114.35 c | 595849 | 13686 65387 208862 | 2147483647 307635 36 | 0.545 % |
1115.18/1115.67 c | 596130 | 13686 65387 208862 | 2147483647 307916 36 | 0.545 % |
1116.68/1117.12 c | 596446 | 13686 65387 208862 | 2147483647 308232 36 | 0.545 % |
1118.28/1118.78 c | 596787 | 13686 65387 208862 | 2147483647 308573 36 | 0.545 % |
1119.67/1120.19 c | 597159 | 13686 65387 208862 | 2147483647 308945 36 | 0.545 % |
1122.07/1122.58 c | 597568 | 13685 65382 208852 | 2147483647 309352 36 | 0.552 % |
1124.07/1124.50 c | 598020 | 13685 65382 208852 | 2147483647 309804 36 | 0.552 % |
1126.37/1126.81 c | 598513 | 13685 65382 208852 | 2147483647 310297 36 | 0.552 % |
1128.87/1129.31 c | 599056 | 13685 65382 208852 | 2147483647 310840 36 | 0.552 % |
1131.37/1131.90 c | 599652 | 13685 65382 208852 | 2147483647 311436 36 | 0.552 % |
1134.47/1134.98 c | 600307 | 13685 65382 208852 | 311785 312091 36 | 0.552 % |
1138.87/1139.34 c | 601028 | 13685 65382 208852 | 311785 272945 33 | 0.552 % |
1142.37/1142.87 c | 601822 | 13685 65382 208852 | 311785 273739 33 | 0.552 % |
1146.17/1146.67 c | 602694 | 13685 65382 208852 | 311785 274611 33 | 0.552 % |
1149.77/1150.23 c | 603653 | 13685 65382 208852 | 311785 275570 33 | 0.552 % |
1151.28/1151.78 c | 604706 | 13685 65382 208852 | 311785 276623 33 | 0.552 % |
1155.07/1155.56 c | 605867 | 13685 65382 208852 | 311785 277784 33 | 0.552 % |
1157.67/1158.12 c | 607140 | 13685 65382 208852 | 311785 279057 33 | 0.552 % |
1161.47/1161.90 c | 608541 | 13685 65382 208852 | 311785 280458 33 | 0.552 % |
1166.17/1166.69 c | 610082 | 13685 65382 208852 | 2147483647 281999 33 | 0.552 % |
1171.87/1172.37 c | 611777 | 13685 65382 208852 | 2147483647 283694 33 | 0.552 % |
1178.07/1178.51 c | 613641 | 13685 65382 208852 | 2147483647 285558 33 | 0.552 % |
1185.16/1185.63 c | 615691 | 13685 65382 208852 | 2147483647 287608 33 | 0.552 % |
1193.56/1194.01 c | 617944 | 13685 65382 208852 | 2147483647 289861 33 | 0.552 % |
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1833829-1242825375/watcher-1833829-1242825375 -o /tmp/evaluation-result-1833829-1242825375/solver-1833829-1242825375 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1833829-1242825375.cnf
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1230 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 13686
/proc/meminfo: memFree=1970504/2055920 swapFree=4180308/4192956
[pid=13686] ppid=13684 vsize=5356 CPUtime=0
/proc/13686/stat : 13686 (SatELiteGTI) S 13684 13686 13508 0 -1 4194304 276 0 0 0 0 0 0 0 18 0 1 0 310571519 5484544 235 1992294400 4194304 4889804 548682068832 18446744073709551615 252429697106 0 0 4100 65536 18446744071563648864 0 0 17 0 0 0
/proc/13686/statm: 1339 235 195 169 0 50 0
[pid=13687] ppid=13686 vsize=5356 CPUtime=0
/proc/13687/stat : 13687 (SatELiteGTI) S 13686 13686 13508 0 -1 4194368 51 25 0 0 0 0 0 0 20 0 1 0 310571520 5484544 238 1992294400 4194304 4889804 548682068832 18446744073709551615 252429525828 0 65536 4096 65538 18446744071563356171 0 0 17 0 0 0
/proc/13687/statm: 1339 238 198 169 0 50 0
[startup+0.0410819 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 13686
/proc/meminfo: memFree=1970504/2055920 swapFree=4180308/4192956
[pid=13686] ppid=13684 vsize=5356 CPUtime=0
/proc/13686/stat : 13686 (SatELiteGTI) S 13684 13686 13508 0 -1 4194304 310 249 0 0 0 0 0 0 19 0 1 0 310571519 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 252429525828 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/13686/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.101085 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 13686
/proc/meminfo: memFree=1970504/2055920 swapFree=4180308/4192956
[pid=13686] ppid=13684 vsize=5356 CPUtime=0
/proc/13686/stat : 13686 (SatELiteGTI) S 13684 13686 13508 0 -1 4194304 310 249 0 0 0 0 0 0 19 0 1 0 310571519 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 252429525828 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/13686/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.301107 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 13686
/proc/meminfo: memFree=1970504/2055920 swapFree=4180308/4192956
[pid=13686] ppid=13684 vsize=5356 CPUtime=0
/proc/13686/stat : 13686 (SatELiteGTI) S 13684 13686 13508 0 -1 4194304 310 249 0 0 0 0 0 0 19 0 1 0 310571519 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 252429525828 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/13686/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.701145 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 13686
/proc/meminfo: memFree=1970504/2055920 swapFree=4180308/4192956
[pid=13686] ppid=13684 vsize=5356 CPUtime=0
/proc/13686/stat : 13686 (SatELiteGTI) S 13684 13686 13508 0 -1 4194304 310 249 0 0 0 0 0 0 19 0 1 0 310571519 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 252429525828 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/13686/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+1.50122 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 13691
/proc/meminfo: memFree=1941352/2055920 swapFree=4180308/4192956
[pid=13686] ppid=13684 vsize=5356 CPUtime=0
/proc/13686/stat : 13686 (SatELiteGTI) S 13684 13686 13508 0 -1 4194304 310 249 0 0 0 0 0 0 19 0 1 0 310571519 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 252429525828 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/13686/statm: 1339 237 197 169 0 50 0
[pid=13691] ppid=13686 vsize=23220 CPUtime=1.49
/proc/13691/stat : 13691 (SatELite_releas) R 13686 13686 13508 0 -1 4194304 5719 0 0 0 142 7 0 0 25 0 1 0 310571520 23777280 5258 1992294400 134512640 135223648 4294956128 18446744073709551615 134585625 0 0 4096 3 0 0 0 17 1 0 0
/proc/13691/statm: 5805 5258 76 173 0 5630 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 28576
[startup+3.10138 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 13692
/proc/meminfo: memFree=1954600/2055920 swapFree=4180308/4192956
[pid=13686] ppid=13684 vsize=5356 CPUtime=1.77
/proc/13686/stat : 13686 (SatELiteGTI) S 13684 13686 13508 0 -1 4194304 336 6946 0 0 0 0 169 8 16 0 1 0 310571519 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 252429525828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13686/statm: 1339 239 197 169 0 50 0
[pid=13692] ppid=13686 vsize=6912 CPUtime=1.29
/proc/13692/stat : 13692 (minisat_static) R 13686 13686 13508 0 -1 4194304 1557 0 0 0 129 0 0 0 25 0 1 0 310571698 7077888 1543 1992294400 134512640 135215339 4294956240 18446744073709551615 134525027 0 0 4096 3 0 0 0 17 1 0 0
/proc/13692/statm: 1728 1543 77 171 0 1555 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 12268
[startup+6.3017 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 13692
/proc/meminfo: memFree=1952424/2055920 swapFree=4180308/4192956
[pid=13686] ppid=13684 vsize=5356 CPUtime=1.77
/proc/13686/stat : 13686 (SatELiteGTI) S 13684 13686 13508 0 -1 4194304 336 6946 0 0 0 0 169 8 16 0 1 0 310571519 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 252429525828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13686/statm: 1339 239 197 169 0 50 0
[pid=13692] ppid=13686 vsize=8680 CPUtime=4.5
/proc/13692/stat : 13692 (minisat_static) R 13686 13686 13508 0 -1 4194304 1976 0 0 0 448 2 0 0 25 0 1 0 310571698 8888320 1962 1992294400 134512640 135215339 4294956240 18446744073709551615 134527227 0 0 4096 3 0 0 0 17 1 0 0
/proc/13692/statm: 2170 1962 77 171 0 1997 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 14036
[startup+12.7013 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 13692
/proc/meminfo: memFree=1949496/2055920 swapFree=4180308/4192956
[pid=13686] ppid=13684 vsize=5356 CPUtime=1.77
/proc/13686/stat : 13686 (SatELiteGTI) S 13684 13686 13508 0 -1 4194304 336 6946 0 0 0 0 169 8 16 0 1 0 310571519 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 252429525828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13686/statm: 1339 239 197 169 0 50 0
[pid=13692] ppid=13686 vsize=11696 CPUtime=10.88
/proc/13692/stat : 13692 (minisat_static) R 13686 13686 13508 0 -1 4194304 2713 0 0 0 1086 2 0 0 25 0 1 0 310571698 11976704 2699 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/13692/statm: 2924 2699 77 171 0 2751 0
Current children cumulated CPU time (s) 12.65
Current children cumulated vsize (KiB) 17052
[startup+25.5016 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 13692
/proc/meminfo: memFree=1944056/2055920 swapFree=4180308/4192956
[pid=13686] ppid=13684 vsize=5356 CPUtime=1.77
/proc/13686/stat : 13686 (SatELiteGTI) S 13684 13686 13508 0 -1 4194304 336 6946 0 0 0 0 169 8 16 0 1 0 310571519 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 252429525828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13686/statm: 1339 239 197 169 0 50 0
[pid=13692] ppid=13686 vsize=16968 CPUtime=23.67
/proc/13692/stat : 13692 (minisat_static) R 13686 13686 13508 0 -1 4194304 4023 0 0 0 2363 4 0 0 25 0 1 0 310571698 17375232 4009 1992294400 134512640 135215339 4294956240 18446744073709551615 134528734 0 0 4096 3 0 0 0 17 1 0 0
/proc/13692/statm: 4242 4009 77 171 0 4069 0
Current children cumulated CPU time (s) 25.44
Current children cumulated vsize (KiB) 22324
[startup+51.1021 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 13692
/proc/meminfo: memFree=1936184/2055920 swapFree=4180308/4192956
[pid=13686] ppid=13684 vsize=5356 CPUtime=1.77
/proc/13686/stat : 13686 (SatELiteGTI) S 13684 13686 13508 0 -1 4194304 336 6946 0 0 0 0 169 8 16 0 1 0 310571519 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 252429525828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13686/statm: 1339 239 197 169 0 50 0
[pid=13692] ppid=13686 vsize=25084 CPUtime=49.26
/proc/13692/stat : 13692 (minisat_static) R 13686 13686 13508 0 -1 4194304 6048 0 0 0 4919 7 0 0 25 0 1 0 310571698 25686016 6034 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/13692/statm: 6271 6034 77 171 0 6098 0
Current children cumulated CPU time (s) 51.03
Current children cumulated vsize (KiB) 30440
[startup+102.306 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 13692
/proc/meminfo: memFree=1924024/2055920 swapFree=4180308/4192956
[pid=13686] ppid=13684 vsize=5356 CPUtime=1.77
/proc/13686/stat : 13686 (SatELiteGTI) S 13684 13686 13508 0 -1 4194304 336 6946 0 0 0 0 169 8 16 0 1 0 310571519 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 252429525828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13686/statm: 1339 239 197 169 0 50 0
[pid=13692] ppid=13686 vsize=36884 CPUtime=100.44
/proc/13692/stat : 13692 (minisat_static) R 13686 13686 13508 0 -1 4194304 8996 0 0 0 10032 12 0 0 25 0 1 0 310571698 37769216 8982 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 1 0 0
/proc/13692/statm: 9221 8982 77 171 0 9048 0
Current children cumulated CPU time (s) 102.21
Current children cumulated vsize (KiB) 42240
[startup+162.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 13692
/proc/meminfo: memFree=1912184/2055920 swapFree=4180308/4192956
[pid=13686] ppid=13684 vsize=5356 CPUtime=1.77
/proc/13686/stat : 13686 (SatELiteGTI) S 13684 13686 13508 0 -1 4194304 336 6946 0 0 0 0 169 8 16 0 1 0 310571519 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 252429525828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13686/statm: 1339 239 197 169 0 50 0
[pid=13692] ppid=13686 vsize=48984 CPUtime=160.41
/proc/13692/stat : 13692 (minisat_static) R 13686 13686 13508 0 -1 4194304 11959 0 0 0 16026 15 0 0 25 0 1 0 310571698 50159616 11945 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/13692/statm: 12246 11945 77 171 0 12073 0
Current children cumulated CPU time (s) 162.18
Current children cumulated vsize (KiB) 54340
[startup+222.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 13692
/proc/meminfo: memFree=1902712/2055920 swapFree=4180308/4192956
[pid=13686] ppid=13684 vsize=5356 CPUtime=1.77
/proc/13686/stat : 13686 (SatELiteGTI) S 13684 13686 13508 0 -1 4194304 336 6946 0 0 0 0 169 8 16 0 1 0 310571519 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 252429525828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13686/statm: 1339 239 197 169 0 50 0
[pid=13692] ppid=13686 vsize=58184 CPUtime=220.39
/proc/13692/stat : 13692 (minisat_static) R 13686 13686 13508 0 -1 4194304 14291 0 0 0 22022 17 0 0 25 0 1 0 310571698 59580416 14277 1992294400 134512640 135215339 4294956240 18446744073709551615 134721382 0 0 4096 3 0 0 0 17 1 0 0
/proc/13692/statm: 14546 14277 77 171 0 14373 0
Current children cumulated CPU time (s) 222.16
Current children cumulated vsize (KiB) 63540
[startup+282.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 13692
/proc/meminfo: memFree=1895160/2055920 swapFree=4180308/4192956
[pid=13686] ppid=13684 vsize=5356 CPUtime=1.77
/proc/13686/stat : 13686 (SatELiteGTI) S 13684 13686 13508 0 -1 4194304 336 6946 0 0 0 0 169 8 16 0 1 0 310571519 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 252429525828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13686/statm: 1339 239 197 169 0 50 0
[pid=13692] ppid=13686 vsize=65688 CPUtime=280.37
/proc/13692/stat : 13692 (minisat_static) R 13686 13686 13508 0 -1 4194304 16160 0 0 0 28018 19 0 0 25 0 1 0 310571698 67264512 16146 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/13692/statm: 16422 16146 77 171 0 16249 0
Current children cumulated CPU time (s) 282.14
Current children cumulated vsize (KiB) 71044
[startup+342.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 13692
/proc/meminfo: memFree=1887544/2055920 swapFree=4180308/4192956
[pid=13686] ppid=13684 vsize=5356 CPUtime=1.77
/proc/13686/stat : 13686 (SatELiteGTI) S 13684 13686 13508 0 -1 4194304 336 6946 0 0 0 0 169 8 16 0 1 0 310571519 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 252429525828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13686/statm: 1339 239 197 169 0 50 0
[pid=13692] ppid=13686 vsize=73716 CPUtime=340.35
/proc/13692/stat : 13692 (minisat_static) R 13686 13686 13508 0 -1 4194304 18039 0 0 0 34013 22 0 0 25 0 1 0 310571698 75485184 18025 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/13692/statm: 18429 18025 77 171 0 18256 0
Current children cumulated CPU time (s) 342.12
Current children cumulated vsize (KiB) 79072
[startup+402.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 13692
/proc/meminfo: memFree=1881528/2055920 swapFree=4180308/4192956
[pid=13686] ppid=13684 vsize=5356 CPUtime=1.77
/proc/13686/stat : 13686 (SatELiteGTI) S 13684 13686 13508 0 -1 4194304 336 6946 0 0 0 0 169 8 16 0 1 0 310571519 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 252429525828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13686/statm: 1339 239 197 169 0 50 0
[pid=13692] ppid=13686 vsize=79552 CPUtime=400.33
/proc/13692/stat : 13692 (minisat_static) R 13686 13686 13508 0 -1 4194304 19534 0 0 0 40010 23 0 0 25 0 1 0 310571698 81461248 19520 1992294400 134512640 135215339 4294956240 18446744073709551615 134528793 0 0 4096 3 0 0 0 17 1 0 0
/proc/13692/statm: 19888 19520 77 171 0 19715 0
Current children cumulated CPU time (s) 402.1
################
# More data... #
################
/proc/13692/statm: 22280 21912 77 171 0 22107 0
Current children cumulated CPU time (s) 582.04
Current children cumulated vsize (KiB) 94476
[startup+642.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 13692
/proc/meminfo: memFree=1871096/2055920 swapFree=4180308/4192956
[pid=13686] ppid=13684 vsize=5356 CPUtime=1.77
/proc/13686/stat : 13686 (SatELiteGTI) S 13684 13686 13508 0 -1 4194304 336 6946 0 0 0 0 169 8 16 0 1 0 310571519 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 252429525828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13686/statm: 1339 239 197 169 0 50 0
[pid=13692] ppid=13686 vsize=89576 CPUtime=640.25
/proc/13692/stat : 13692 (minisat_static) R 13686 13686 13508 0 -1 4194304 22014 0 0 0 63998 27 0 0 25 0 1 0 310571698 91725824 22000 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/13692/statm: 22394 22000 77 171 0 22221 0
Current children cumulated CPU time (s) 642.02
Current children cumulated vsize (KiB) 94932
[startup+702.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 13692
/proc/meminfo: memFree=1870712/2055920 swapFree=4180308/4192956
[pid=13686] ppid=13684 vsize=5356 CPUtime=1.77
/proc/13686/stat : 13686 (SatELiteGTI) S 13684 13686 13508 0 -1 4194304 336 6946 0 0 0 0 169 8 16 0 1 0 310571519 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 252429525828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13686/statm: 1339 239 197 169 0 50 0
[pid=13692] ppid=13686 vsize=89740 CPUtime=700.23
/proc/13692/stat : 13692 (minisat_static) R 13686 13686 13508 0 -1 4194304 22080 0 0 0 69995 28 0 0 25 0 1 0 310571698 91893760 22066 1992294400 134512640 135215339 4294956240 18446744073709551615 134532964 0 0 4096 3 0 0 0 17 1 0 0
/proc/13692/statm: 22435 22066 77 171 0 22262 0
Current children cumulated CPU time (s) 702
Current children cumulated vsize (KiB) 95096
[startup+762.306 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 13692
/proc/meminfo: memFree=1870520/2055920 swapFree=4180308/4192956
[pid=13686] ppid=13684 vsize=5356 CPUtime=1.77
/proc/13686/stat : 13686 (SatELiteGTI) S 13684 13686 13508 0 -1 4194304 336 6946 0 0 0 0 169 8 16 0 1 0 310571519 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 252429525828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13686/statm: 1339 239 197 169 0 50 0
[pid=13692] ppid=13686 vsize=89740 CPUtime=760.22
/proc/13692/stat : 13692 (minisat_static) R 13686 13686 13508 0 -1 4194304 22096 0 0 0 75994 28 0 0 25 0 1 0 310571698 91893760 22082 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/13692/statm: 22435 22082 77 171 0 22262 0
Current children cumulated CPU time (s) 761.99
Current children cumulated vsize (KiB) 95096
[startup+822.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 13692
/proc/meminfo: memFree=1870456/2055920 swapFree=4180308/4192956
[pid=13686] ppid=13684 vsize=5356 CPUtime=1.77
/proc/13686/stat : 13686 (SatELiteGTI) S 13684 13686 13508 0 -1 4194304 336 6946 0 0 0 0 169 8 16 0 1 0 310571519 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 252429525828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13686/statm: 1339 239 197 169 0 50 0
[pid=13692] ppid=13686 vsize=89740 CPUtime=820.2
/proc/13692/stat : 13692 (minisat_static) R 13686 13686 13508 0 -1 4194304 22100 0 0 0 81991 29 0 0 25 0 1 0 310571698 91893760 22086 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/13692/statm: 22435 22086 77 171 0 22262 0
Current children cumulated CPU time (s) 821.97
Current children cumulated vsize (KiB) 95096
[startup+882.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 13692
/proc/meminfo: memFree=1870136/2055920 swapFree=4180308/4192956
[pid=13686] ppid=13684 vsize=5356 CPUtime=1.77
/proc/13686/stat : 13686 (SatELiteGTI) S 13684 13686 13508 0 -1 4194304 336 6946 0 0 0 0 169 8 16 0 1 0 310571519 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 252429525828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13686/statm: 1339 239 197 169 0 50 0
[pid=13692] ppid=13686 vsize=90168 CPUtime=880.18
/proc/13692/stat : 13692 (minisat_static) R 13686 13686 13508 0 -1 4194304 22163 0 0 0 87989 29 0 0 25 0 1 0 310571698 92332032 22149 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 1 0 0
/proc/13692/statm: 22542 22149 77 171 0 22369 0
Current children cumulated CPU time (s) 881.95
Current children cumulated vsize (KiB) 95524
[startup+942.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 13692
/proc/meminfo: memFree=1869816/2055920 swapFree=4180308/4192956
[pid=13686] ppid=13684 vsize=5356 CPUtime=1.77
/proc/13686/stat : 13686 (SatELiteGTI) S 13684 13686 13508 0 -1 4194304 336 6946 0 0 0 0 169 8 16 0 1 0 310571519 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 252429525828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13686/statm: 1339 239 197 169 0 50 0
[pid=13692] ppid=13686 vsize=90380 CPUtime=940.16
/proc/13692/stat : 13692 (minisat_static) R 13686 13686 13508 0 -1 4194304 22223 0 0 0 93987 29 0 0 25 0 1 0 310571698 92549120 22209 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/13692/statm: 22595 22209 77 171 0 22422 0
Current children cumulated CPU time (s) 941.93
Current children cumulated vsize (KiB) 95736
[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 13692
/proc/meminfo: memFree=1869624/2055920 swapFree=4180308/4192956
[pid=13686] ppid=13684 vsize=5356 CPUtime=1.77
/proc/13686/stat : 13686 (SatELiteGTI) S 13684 13686 13508 0 -1 4194304 336 6946 0 0 0 0 169 8 16 0 1 0 310571519 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 252429525828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13686/statm: 1339 239 197 169 0 50 0
[pid=13692] ppid=13686 vsize=90592 CPUtime=1000.14
/proc/13692/stat : 13692 (minisat_static) R 13686 13686 13508 0 -1 4194304 22248 0 0 0 99984 30 0 0 25 0 1 0 310571698 92766208 22234 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/13692/statm: 22648 22234 77 171 0 22475 0
Current children cumulated CPU time (s) 1001.91
Current children cumulated vsize (KiB) 95948
[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 13692
/proc/meminfo: memFree=1869304/2055920 swapFree=4180308/4192956
[pid=13686] ppid=13684 vsize=5356 CPUtime=1.77
/proc/13686/stat : 13686 (SatELiteGTI) S 13684 13686 13508 0 -1 4194304 336 6946 0 0 0 0 169 8 16 0 1 0 310571519 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 252429525828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13686/statm: 1339 239 197 169 0 50 0
[pid=13692] ppid=13686 vsize=90972 CPUtime=1060.13
/proc/13692/stat : 13692 (minisat_static) R 13686 13686 13508 0 -1 4194304 22325 0 0 0 105983 30 0 0 25 0 1 0 310571698 93155328 22311 1992294400 134512640 135215339 4294956240 18446744073709551615 134528866 0 0 4096 3 0 0 0 17 1 0 0
/proc/13692/statm: 22743 22311 77 171 0 22570 0
Current children cumulated CPU time (s) 1061.9
Current children cumulated vsize (KiB) 96328
[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 13692
/proc/meminfo: memFree=1868984/2055920 swapFree=4180308/4192956
[pid=13686] ppid=13684 vsize=5356 CPUtime=1.77
/proc/13686/stat : 13686 (SatELiteGTI) S 13684 13686 13508 0 -1 4194304 336 6946 0 0 0 0 169 8 16 0 1 0 310571519 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 252429525828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13686/statm: 1339 239 197 169 0 50 0
[pid=13692] ppid=13686 vsize=91216 CPUtime=1120.1
/proc/13692/stat : 13692 (minisat_static) R 13686 13686 13508 0 -1 4194304 22390 0 0 0 111980 30 0 0 25 0 1 0 310571698 93405184 22376 1992294400 134512640 135215339 4294956240 18446744073709551615 134528809 0 0 4096 3 0 0 0 17 1 0 0
/proc/13692/statm: 22804 22376 77 171 0 22631 0
Current children cumulated CPU time (s) 1121.87
Current children cumulated vsize (KiB) 96572
[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 13692
/proc/meminfo: memFree=1868792/2055920 swapFree=4180308/4192956
[pid=13686] ppid=13684 vsize=5356 CPUtime=1.77
/proc/13686/stat : 13686 (SatELiteGTI) S 13684 13686 13508 0 -1 4194304 336 6946 0 0 0 0 169 8 16 0 1 0 310571519 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 252429525828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13686/statm: 1339 239 197 169 0 50 0
[pid=13692] ppid=13686 vsize=91296 CPUtime=1180.09
/proc/13692/stat : 13692 (minisat_static) R 13686 13686 13508 0 -1 4194304 22407 0 0 0 117978 31 0 0 25 0 1 0 310571698 93487104 22393 1992294400 134512640 135215339 4294956240 18446744073709551615 134528806 0 0 4096 3 0 0 0 17 1 0 0
/proc/13692/statm: 22824 22393 77 171 0 22651 0
Current children cumulated CPU time (s) 1181.86
Current children cumulated vsize (KiB) 96652
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1200.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 13692
/proc/meminfo: memFree=1868792/2055920 swapFree=4180308/4192956
[pid=13686] ppid=13684 vsize=5356 CPUtime=1.77
/proc/13686/stat : 13686 (SatELiteGTI) S 13684 13686 13508 0 -1 4194304 336 6946 0 0 0 0 169 8 16 0 1 0 310571519 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 252429525828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13686/statm: 1339 239 197 169 0 50 0
[pid=13692] ppid=13686 vsize=91296 CPUtime=1198.29
/proc/13692/stat : 13692 (minisat_static) R 13686 13686 13508 0 -1 4194304 22415 0 0 0 119798 31 0 0 25 0 1 0 310571698 93487104 22401 1992294400 134512640 135215339 4294956240 18446744073709551615 134538362 0 0 4096 3 0 0 0 17 1 0 0
/proc/13692/statm: 22824 22401 77 171 0 22651 0
Current children cumulated CPU time (s) 1200.06
Current children cumulated vsize (KiB) 96652
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: 1.00 1.00 1.00 2/66 13692
/proc/meminfo: memFree=1868792/2055920 swapFree=4180308/4192956
[pid=13686] ppid=13684 vsize=5356 CPUtime=1.77
/proc/13686/stat : 13686 (SatELiteGTI) S 13684 13686 13508 0 -1 4194304 336 6946 0 0 0 0 169 8 16 0 1 0 310571519 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 252429525828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13686/statm: 1339 239 197 169 0 50 0
[pid=13692] ppid=13686 vsize=91296 CPUtime=1198.29
/proc/13692/stat : 13692 (minisat_static) R 13686 13686 13508 0 -1 4194304 22415 0 0 0 119798 31 0 0 25 0 1 0 310571698 93487104 22401 1992294400 134512640 135215339 4294956240 18446744073709551615 134538362 0 0 4096 3 0 0 0 17 1 0 0
/proc/13692/statm: 22824 22401 77 171 0 22651 0
Current children cumulated CPU time (s) 1200.06
Current children cumulated vsize (KiB) 96652
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 13686 and gives
# childrusage.ru_utime.tv_sec=1
# childrusage.ru_utime.tv_usec=692742
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=91986
# CPU time returned by wait4() is 1.78473
# while last known CPU time is 1200.06
#
# 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.06
CPU user time (s): 1199.67
CPU system time (s): 0.39
CPU usage (%): 99.9624
Max. virtual memory (cumulated for all children) (KiB): 96652
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1.69274
system time used= 0.091986
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 7282
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= 10
runsolver used 1.45078 second user time and 3.00854 second system time
The end
Begin job on node12 at 2009-05-20 15:16:15
IDJOB=1833829
IDBENCH=70956
IDSOLVER=671
FILE ID=node12/1833829-1242825375
PBS_JOBID= 9322497
Free space on /tmp= 66296 MiB
SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT09/APPLICATIONS/c32sat/post-c32s-ss-8.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1833829-1242825375/watcher-1833829-1242825375 -o /tmp/evaluation-result-1833829-1242825375/solver-1833829-1242825375 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1833829-1242825375.cnf
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 9d3d3bb9b296880c7463693ae665aafd
RANDOM SEED=521781853
node12.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.213
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.213
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: 1971048 kB
Buffers: 15704 kB
Cached: 33568 kB
SwapCached: 6760 kB
Active: 28216 kB
Inactive: 29356 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1971048 kB
SwapTotal: 4192956 kB
SwapFree: 4180308 kB
Dirty: 3968 kB
Writeback: 0 kB
Mapped: 13416 kB
Slab: 13384 kB
Committed_AS: 1168580 kB
PageTables: 1380 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264952 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 66284 MiB
End job on node12 at 2009-05-20 15:36:18