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.59/1.61 c | 0 | 65966 210427 | -- 0 -- -- | -- | -69152/-103784
1.59/1.61 c ==============================================================================
1.59/1.61 c Result : #vars: 13761 #clauses: 65966 #literals: 210427
1.59/1.61 c CPU time: 1.53977 s
1.59/1.61 c ==============================================================================
1.59/1.68 c This is MiniSat 2.0 beta
1.59/1.68 c WARNING: for repeatability, setting FPU to use double precision
1.59/1.68 c ============================[ Problem Statistics ]=============================
1.59/1.68 c | |
1.59/1.68 c | Number of variables: 13761 |
1.59/1.68 c | Number of clauses: 65966 |
1.67/1.72 c | Parsing time: 0.03 s |
1.67/1.73 c ============================[ Search Statistics ]==============================
1.67/1.73 c | Conflicts | ORIGINAL | LEARNT | Progress |
1.67/1.73 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
1.67/1.73 c ===============================================================================
1.67/1.73 c | 0 | 13761 65966 210427 | 21988 0 nan | 0.000 % |
1.67/1.75 c | 101 | 13761 65966 210427 | 21988 101 11 | 0.000 % |
1.67/1.76 c | 201 | 13761 65966 210427 | 21988 201 11 | 0.000 % |
1.67/1.78 c | 302 | 13761 65966 210427 | 21988 302 13 | 0.000 % |
1.67/1.80 c | 412 | 13761 65966 210427 | 21988 412 17 | 0.000 % |
1.67/1.83 c | 512 | 13761 65966 210427 | 21988 512 18 | 0.000 % |
1.67/1.84 c | 622 | 13761 65966 210427 | 21988 622 17 | 0.000 % |
1.67/1.85 c | 743 | 13761 65966 210427 | 21988 743 16 | 0.000 % |
1.67/1.86 c | 845 | 13760 65963 210421 | 21988 844 15 | 0.007 % |
1.67/1.86 c | 955 | 13760 65963 210421 | 21988 954 14 | 0.007 % |
1.67/1.89 c | 1077 | 13760 65963 210421 | 21988 1076 16 | 0.007 % |
1.67/1.91 c | 1210 | 13760 65963 210421 | 21988 1209 15 | 0.007 % |
1.67/1.92 c | 1312 | 13760 65963 210421 | 21988 1311 16 | 0.007 % |
1.67/1.95 c | 1423 | 13760 65963 210421 | 21988 1422 17 | 0.007 % |
1.67/1.97 c | 1544 | 13760 65963 210421 | 21988 1543 18 | 0.007 % |
1.67/1.99 c | 1677 | 13760 65963 210421 | 21988 1676 19 | 0.007 % |
1.67/2.01 c | 1823 | 13760 65963 210421 | 21988 1822 19 | 0.007 % |
1.67/2.01 c | 1925 | 13760 65963 210421 | 21988 1924 18 | 0.007 % |
1.67/2.04 c | 2035 | 13760 65963 210421 | 21988 2034 20 | 0.007 % |
1.67/2.08 c | 2169 | 13760 65963 210421 | 21988 2168 21 | 0.007 % |
1.67/2.11 c | 2302 | 13760 65963 210421 | 21988 2301 22 | 0.007 % |
1.67/2.14 c | 2449 | 13760 65963 210421 | 21988 2448 22 | 0.007 % |
1.67/2.16 c | 2609 | 13760 65963 210421 | 21988 2608 22 | 0.007 % |
1.67/2.18 c | 2710 | 13760 65963 210421 | 21988 2709 22 | 0.007 % |
1.67/2.19 c | 2822 | 13760 65963 210421 | 21988 2821 21 | 0.007 % |
2.17/2.23 c | 2943 | 13760 65963 210421 | 21988 2942 22 | 0.007 % |
2.17/2.25 c | 3076 | 13760 65963 210421 | 21988 3075 22 | 0.007 % |
2.17/2.28 c | 3222 | 13760 65963 210421 | 21988 3221 22 | 0.007 % |
2.27/2.32 c | 3384 | 13759 65960 210415 | 21988 3381 22 | 0.015 % |
2.27/2.34 c | 3560 | 13759 65960 210415 | 21988 3557 21 | 0.015 % |
2.27/2.36 c | 3660 | 13759 65960 210415 | 21988 3657 20 | 0.015 % |
2.37/2.40 c | 3770 | 13759 65960 210415 | 21988 3767 21 | 0.015 % |
2.37/2.42 c | 3891 | 13759 65960 210415 | 21988 3888 20 | 0.015 % |
2.37/2.42 c | 4025 | 13759 65960 210415 | 21988 4022 20 | 0.015 % |
2.37/2.46 c | 4172 | 13759 65960 210415 | 21988 4169 20 | 0.015 % |
2.37/2.48 c | 4332 | 13759 65960 210415 | 21988 4329 20 | 0.015 % |
2.47/2.50 c | 4509 | 13759 65960 210415 | 21988 4506 19 | 0.015 % |
2.47/2.55 c | 4702 | 13759 65960 210415 | 21988 4699 20 | 0.015 % |
2.47/2.57 c | 4802 | 13759 65960 210415 | 21988 4799 20 | 0.015 % |
2.47/2.59 c | 4912 | 13759 65960 210415 | 21988 4909 20 | 0.015 % |
2.57/2.61 c | 5033 | 13759 65960 210415 | 21988 5030 20 | 0.015 % |
2.57/2.63 c | 5167 | 13759 65960 210415 | 21988 5164 20 | 0.015 % |
2.57/2.66 c | 5313 | 13759 65960 210415 | 21988 5310 21 | 0.015 % |
2.57/2.68 c | 5474 | 13759 65960 210415 | 21988 5471 21 | 0.015 % |
2.67/2.73 c | 5650 | 13759 65960 210415 | 21988 5647 21 | 0.015 % |
2.67/2.79 c | 5845 | 13759 65960 210415 | 21988 5842 21 | 0.015 % |
2.77/2.84 c | 6058 | 13759 65960 210415 | 21988 6055 22 | 0.015 % |
2.77/2.86 c | 6158 | 13759 65960 210415 | 21988 6155 23 | 0.015 % |
2.77/2.89 c | 6271 | 13759 65960 210415 | 21988 6268 23 | 0.015 % |
2.86/2.90 c | 6392 | 13759 65960 210415 | 21988 6389 23 | 0.015 % |
2.86/2.92 c | 6525 | 13759 65960 210415 | 21988 6522 23 | 0.015 % |
2.86/2.94 c | 6673 | 13759 65960 210415 | 21988 6670 23 | 0.015 % |
2.86/2.96 c | 6833 | 13759 65960 210415 | 21988 6830 23 | 0.015 % |
2.86/2.99 c | 7009 | 13759 65960 210415 | 21988 7006 23 | 0.015 % |
2.96/3.00 c | 7202 | 13759 65960 210415 | 21988 7199 23 | 0.015 % |
2.96/3.04 c | 7414 | 13759 65960 210415 | 21988 7411 24 | 0.015 % |
2.96/3.08 c | 7647 | 13759 65960 210415 | 21988 7644 24 | 0.015 % |
3.06/3.11 c | 7749 | 13759 65960 210415 | 21988 7746 24 | 0.015 % |
3.06/3.12 c | 7859 | 13759 65960 210415 | 21988 7856 23 | 0.015 % |
3.06/3.15 c | 7980 | 13759 65960 210415 | 21988 7977 23 | 0.015 % |
3.06/3.20 c | 8115 | 13759 65960 210415 | 21988 8112 23 | 0.015 % |
3.16/3.21 c | 8262 | 13759 65960 210415 | 21988 8259 23 | 0.015 % |
3.16/3.23 c | 8422 | 13759 65960 210415 | 21988 8419 23 | 0.015 % |
3.16/3.25 c | 8598 | 13759 65960 210415 | 21988 8595 22 | 0.015 % |
3.16/3.25 c | 8791 | 13759 65960 210415 | 21988 8788 22 | 0.015 % |
3.16/3.30 c | 9004 | 13759 65960 210415 | 21988 9001 22 | 0.015 % |
3.27/3.33 c | 9237 | 13759 65960 210415 | 21988 9234 22 | 0.015 % |
3.27/3.38 c | 9493 | 13759 65960 210415 | 21988 9490 22 | 0.015 % |
3.37/3.41 c | 9593 | 13759 65960 210415 | 21988 9590 22 | 0.015 % |
3.37/3.43 c | 9703 | 13759 65960 210415 | 21988 9700 22 | 0.015 % |
3.37/3.46 c | 9824 | 13759 65960 210415 | 21988 9821 22 | 0.015 % |
3.37/3.49 c | 9957 | 13759 65960 210415 | 21988 9954 22 | 0.015 % |
3.47/3.54 c | 10103 | 13759 65960 210415 | 2147483647 10100 22 | 0.015 % |
3.47/3.57 c | 10263 | 13759 65960 210415 | 2147483647 10260 22 | 0.015 % |
3.57/3.61 c | 10440 | 13759 65960 210415 | 2147483647 10437 22 | 0.015 % |
3.57/3.64 c | 10634 | 13759 65960 210415 | 2147483647 10631 22 | 0.015 % |
3.57/3.68 c | 10848 | 13759 65960 210415 | 2147483647 10845 22 | 0.015 % |
3.67/3.72 c | 11081 | 13759 65960 210415 | 2147483647 11078 22 | 0.015 % |
3.67/3.75 c | 11338 | 13759 65960 210415 | 2147483647 11335 22 | 0.015 % |
3.67/3.78 c | 11623 | 13759 65960 210415 | 2147483647 11620 22 | 0.015 % |
3.76/3.81 c | 11724 | 13759 65960 210415 | 2147483647 11721 22 | 0.015 % |
3.76/3.83 c | 11836 | 13759 65960 210415 | 2147483647 11833 22 | 0.015 % |
3.76/3.88 c | 11957 | 13759 65960 210415 | 2147483647 11954 22 | 0.015 % |
3.86/3.91 c | 12090 | 13759 65960 210415 | 2147483647 12087 21 | 0.015 % |
3.86/3.98 c | 12236 | 13759 65960 210415 | 2147483647 12233 22 | 0.015 % |
3.96/4.02 c | 12397 | 13759 65960 210415 | 2147483647 12394 22 | 0.015 % |
3.96/4.05 c | 12573 | 13759 65960 210415 | 2147483647 12570 21 | 0.015 % |
3.96/4.06 c | 12766 | 13759 65960 210415 | 2147483647 12763 21 | 0.015 % |
4.06/4.11 c | 12978 | 13759 65960 210415 | 2147483647 12975 21 | 0.015 % |
4.06/4.18 c | 13211 | 13759 65960 210415 | 2147483647 13208 21 | 0.015 % |
4.16/4.20 c | 13467 | 13759 65960 210415 | 2147483647 13464 21 | 0.015 % |
4.16/4.29 c | 13748 | 13759 65960 210415 | 2147483647 13745 21 | 0.015 % |
4.26/4.35 c | 14057 | 13759 65960 210415 | 2147483647 14054 21 | 0.015 % |
4.26/4.37 c | 14159 | 13759 65960 210415 | 2147483647 14156 21 | 0.015 % |
4.26/4.38 c | 14269 | 13759 65960 210415 | 2147483647 14266 21 | 0.015 % |
4.26/4.39 c | 14390 | 13759 65960 210415 | 2147483647 14387 21 | 0.015 % |
4.36/4.42 c | 14524 | 13759 65960 210415 | 2147483647 14521 21 | 0.015 % |
4.36/4.48 c | 14670 | 13759 65960 210415 | 2147483647 14667 21 | 0.015 % |
4.46/4.53 c | 14831 | 13759 65960 210415 | 2147483647 14828 21 | 0.015 % |
4.46/4.57 c | 15009 | 13759 65960 210415 | 2147483647 15006 21 | 0.015 % |
4.56/4.61 c | 15202 | 13759 65960 210415 | 2147483647 15199 21 | 0.015 % |
4.56/4.65 c | 15417 | 13759 65960 210415 | 2147483647 15414 21 | 0.015 % |
4.66/4.74 c | 15652 | 13759 65960 210415 | 2147483647 15649 21 | 0.015 % |
4.66/4.79 c | 15909 | 13759 65960 210415 | 2147483647 15906 21 | 0.015 % |
4.75/4.85 c | 16190 | 13759 65960 210415 | 2147483647 16187 21 | 0.015 % |
4.85/4.97 c | 16500 | 13759 65960 210415 | 2147483647 16497 21 | 0.015 % |
4.96/5.06 c | 16840 | 13759 65960 210415 | 2147483647 16837 21 | 0.015 % |
4.96/5.09 c | 16940 | 13759 65960 210415 | 2147483647 16937 21 | 0.015 % |
5.06/5.11 c | 17050 | 13759 65960 210415 | 2147483647 17047 21 | 0.015 % |
5.06/5.14 c | 17173 | 13759 65960 210415 | 2147483647 17170 21 | 0.015 % |
5.06/5.16 c | 17306 | 13759 65960 210415 | 2147483647 17303 21 | 0.015 % |
5.06/5.19 c | 17452 | 13759 65960 210415 | 2147483647 17449 21 | 0.015 % |
5.16/5.26 c | 17612 | 13759 65960 210415 | 2147483647 17609 21 | 0.015 % |
5.26/5.30 c | 17788 | 13759 65960 210415 | 2147483647 17785 21 | 0.015 % |
5.26/5.36 c | 17984 | 13759 65960 210415 | 2147483647 17981 21 | 0.015 % |
5.36/5.44 c | 18196 | 13759 65960 210415 | 2147483647 18193 21 | 0.015 % |
5.36/5.48 c | 18433 | 13759 65960 210415 | 2147483647 18430 21 | 0.015 % |
5.46/5.55 c | 18689 | 13759 65960 210415 | 2147483647 18686 21 | 0.015 % |
5.46/5.58 c | 18971 | 13759 65960 210415 | 2147483647 18968 21 | 0.015 % |
5.56/5.61 c | 19280 | 13759 65960 210415 | 2147483647 19277 21 | 0.015 % |
5.66/5.72 c | 19621 | 13758 65955 210405 | 2147483647 19617 21 | 0.022 % |
5.76/5.80 c | 19993 | 13758 65955 210405 | 2147483647 19989 21 | 0.022 % |
5.76/5.81 c | 20093 | 13758 65955 210405 | 2147483647 20089 21 | 0.022 % |
5.76/5.82 c | 20203 | 13758 65955 210405 | 2147483647 20199 21 | 0.022 % |
5.76/5.85 c | 20324 | 13758 65955 210405 | 2147483647 20320 21 | 0.022 % |
5.86/5.92 c | 20457 | 13758 65955 210405 | 2147483647 20453 21 | 0.022 % |
5.86/5.98 c | 20613 | 13758 65955 210405 | 2147483647 20609 21 | 0.022 % |
5.96/6.07 c | 20773 | 13758 65955 210405 | 2147483647 20769 21 | 0.022 % |
6.06/6.14 c | 20951 | 13758 65955 210405 | 2147483647 20947 21 | 0.022 % |
6.06/6.18 c | 21144 | 13758 65955 210405 | 2147483647 21140 21 | 0.022 % |
6.16/6.22 c | 21356 | 13758 65955 210405 | 2147483647 21352 21 | 0.022 % |
6.26/6.31 c | 21589 | 13758 65955 210405 | 2147483647 21585 21 | 0.022 % |
6.26/6.34 c | 21845 | 13758 65955 210405 | 2147483647 21841 21 | 0.022 % |
6.26/6.38 c | 22126 | 13758 65955 210405 | 2147483647 22122 20 | 0.022 % |
6.36/6.41 c | 22437 | 13758 65955 210405 | 2147483647 22433 20 | 0.022 % |
6.36/6.44 c | 22776 | 13758 65955 210405 | 2147483647 22772 20 | 0.022 % |
6.36/6.47 c | 23149 | 13758 65955 210405 | 2147483647 23145 20 | 0.022 % |
6.46/6.53 c | 23558 | 13758 65955 210405 | 2147483647 23554 20 | 0.022 % |
6.46/6.56 c | 23660 | 13758 65955 210405 | 2147483647 23656 20 | 0.022 % |
6.46/6.58 c | 23774 | 13758 65955 210405 | 2147483647 23770 20 | 0.022 % |
6.46/6.60 c | 23899 | 13758 65955 210405 | 2147483647 23895 20 | 0.022 % |
6.56/6.62 c | 24032 | 13758 65955 210405 | 2147483647 24028 20 | 0.022 % |
6.56/6.69 c | 24179 | 13758 65955 210405 | 2147483647 24175 20 | 0.022 % |
6.66/6.73 c | 24339 | 13758 65955 210405 | 2147483647 24335 20 | 0.022 % |
6.66/6.75 c | 24515 | 13758 65955 210405 | 2147483647 24511 20 | 0.022 % |
6.76/6.82 c | 24710 | 13758 65955 210405 | 2147483647 24706 20 | 0.022 % |
6.86/6.90 c | 24922 | 13758 65955 210405 | 2147483647 24918 20 | 0.022 % |
6.86/6.94 c | 25155 | 13758 65955 210405 | 2147483647 25151 20 | 0.022 % |
6.86/6.99 c | 25411 | 13758 65955 210405 | 2147483647 25407 20 | 0.022 % |
6.96/7.01 c | 25692 | 13758 65955 210405 | 2147483647 25688 20 | 0.022 % |
6.96/7.09 c | 26001 | 13758 65955 210405 | 2147483647 25997 20 | 0.022 % |
7.06/7.16 c | 26342 | 13758 65955 210405 | 2147483647 26338 20 | 0.022 % |
7.16/7.22 c | 26714 | 13758 65955 210405 | 2147483647 26710 20 | 0.022 % |
7.26/7.33 c | 27126 | 13758 65955 210405 | 2147483647 27122 20 | 0.022 % |
7.36/7.41 c | 27575 | 13758 65955 210405 | 2147483647 27571 20 | 0.022 % |
7.36/7.44 c | 27675 | 13758 65955 210405 | 2147483647 27671 20 | 0.022 % |
7.36/7.45 c | 27785 | 13758 65955 210405 | 2147483647 27781 20 | 0.022 % |
7.36/7.48 c | 27906 | 13758 65955 210405 | 2147483647 27902 20 | 0.022 % |
7.45/7.51 c | 28041 | 13758 65955 210405 | 2147483647 28037 20 | 0.022 % |
7.45/7.58 c | 28187 | 13758 65955 210405 | 2147483647 28183 21 | 0.022 % |
7.55/7.69 c | 28349 | 13758 65955 210405 | 2147483647 28345 21 | 0.022 % |
7.66/7.78 c | 28526 | 13758 65955 210405 | 2147483647 28522 21 | 0.022 % |
7.76/7.82 c | 28719 | 13758 65955 210405 | 2147483647 28715 21 | 0.022 % |
7.76/7.85 c | 28931 | 13758 65955 210405 | 2147483647 28927 21 | 0.022 % |
7.85/7.93 c | 29166 | 13758 65955 210405 | 2147483647 29162 21 | 0.022 % |
7.85/7.99 c | 29424 | 13758 65955 210405 | 2147483647 29420 21 | 0.022 % |
7.95/8.09 c | 29706 | 13758 65955 210405 | 2147483647 29702 21 | 0.022 % |
8.15/8.23 c | 30015 | 13758 65955 210405 | 2147483647 30011 21 | 0.022 % |
8.25/8.35 c | 30354 | 13758 65955 210405 | 2147483647 30350 21 | 0.022 % |
8.35/8.43 c | 30727 | 13758 65955 210405 | 2147483647 30723 21 | 0.022 % |
8.45/8.59 c | 31136 | 13758 65955 210405 | 2147483647 31132 22 | 0.022 % |
8.65/8.73 c | 31585 | 13758 65955 210405 | 2147483647 31581 22 | 0.022 % |
8.65/8.78 c | 32078 | 13758 65955 210405 | 2147483647 32074 22 | 0.022 % |
8.75/8.82 c | 32178 | 13758 65955 210405 | 2147483647 32174 22 | 0.022 % |
8.85/8.91 c | 32289 | 13758 65955 210405 | 2147483647 32285 22 | 0.022 % |
8.85/8.95 c | 32410 | 13758 65955 210405 | 2147483647 32406 22 | 0.022 % |
8.96/9.00 c | 32543 | 13758 65955 210405 | 2147483647 32539 22 | 0.022 % |
8.96/9.02 c | 32689 | 13758 65955 210405 | 2147483647 32685 22 | 0.022 % |
8.96/9.05 c | 32850 | 13758 65955 210405 | 2147483647 32846 22 | 0.022 % |
8.96/9.08 c | 33028 | 13758 65955 210405 | 2147483647 33024 22 | 0.022 % |
9.06/9.12 c | 33224 | 13758 65955 210405 | 2147483647 33220 22 | 0.022 % |
9.06/9.18 c | 33437 | 13758 65955 210405 | 2147483647 33433 22 | 0.022 % |
9.16/9.22 c | 33670 | 13758 65955 210405 | 2147483647 33666 22 | 0.022 % |
9.26/9.30 c | 33927 | 13758 65955 210405 | 2147483647 33923 22 | 0.022 % |
9.26/9.39 c | 34209 | 13758 65955 210405 | 2147483647 34205 22 | 0.022 % |
9.35/9.46 c | 34520 | 13758 65955 210405 | 2147483647 34516 22 | 0.022 % |
9.45/9.58 c | 34859 | 13758 65955 210405 | 2147483647 34855 22 | 0.022 % |
9.65/9.71 c | 35232 | 13758 65955 210405 | 2147483647 35228 22 | 0.022 % |
9.65/9.79 c | 35642 | 13758 65955 210405 | 2147483647 35638 22 | 0.022 % |
9.86/9.91 c | 36094 | 13758 65955 210405 | 2147483647 36090 22 | 0.022 % |
9.86/10.00 c | 36587 | 13758 65955 210405 | 2147483647 36583 22 | 0.022 % |
9.96/10.08 c | 37133 | 13758 65955 210405 | 2147483647 37129 22 | 0.022 % |
10.05/10.10 c | 37234 | 13758 65955 210405 | 2147483647 37230 22 | 0.022 % |
10.05/10.14 c | 37346 | 13758 65955 210405 | 2147483647 37342 22 | 0.022 % |
10.05/10.19 c | 37468 | 13758 65955 210405 | 2147483647 37464 22 | 0.022 % |
10.15/10.22 c | 37602 | 13758 65955 210405 | 2147483647 37598 22 | 0.022 % |
10.15/10.27 c | 37748 | 13758 65955 210405 | 2147483647 37744 22 | 0.022 % |
10.25/10.31 c | 37910 | 13758 65955 210405 | 2147483647 37906 22 | 0.022 % |
10.25/10.33 c | 38086 | 13758 65955 210405 | 2147483647 38082 21 | 0.022 % |
10.25/10.37 c | 38282 | 13758 65955 210405 | 2147483647 38278 21 | 0.022 % |
10.45/10.51 c | 38494 | 13758 65955 210405 | 2147483647 38490 22 | 0.022 % |
10.45/10.58 c | 38727 | 13758 65955 210405 | 2147483647 38723 22 | 0.022 % |
10.55/10.62 c | 38983 | 13758 65955 210405 | 2147483647 38979 22 | 0.022 % |
10.65/10.71 c | 39268 | 13758 65955 210405 | 2147483647 39264 22 | 0.022 % |
10.65/10.79 c | 39577 | 13758 65955 210405 | 2147483647 39573 22 | 0.022 % |
10.75/10.87 c | 39917 | 13758 65955 210405 | 2147483647 39913 22 | 0.022 % |
10.85/10.95 c | 40290 | 13758 65955 210405 | 2147483647 40286 22 | 0.022 % |
11.15/11.22 c | 40700 | 13758 65955 210405 | 2147483647 40696 22 | 0.022 % |
11.35/11.40 c | 41149 | 13758 65955 210405 | 2147483647 41145 22 | 0.022 % |
11.45/11.59 c | 41642 | 13758 65955 210405 | 2147483647 41638 22 | 0.022 % |
11.65/11.76 c | 42186 | 13758 65955 210405 | 2147483647 42182 22 | 0.022 % |
11.95/12.03 c | 42783 | 13758 65955 210405 | 2147483647 42779 22 | 0.022 % |
12.05/12.12 c | 42884 | 13758 65955 210405 | 2147483647 42880 22 | 0.022 % |
12.05/12.17 c | 42995 | 13758 65955 210405 | 2147483647 42991 22 | 0.022 % |
12.15/12.21 c | 43116 | 13758 65955 210405 | 2147483647 43112 22 | 0.022 % |
12.15/12.26 c | 43249 | 13758 65955 210405 | 2147483647 43245 22 | 0.022 % |
12.25/12.32 c | 43395 | 13758 65955 210405 | 2147483647 43391 22 | 0.022 % |
12.35/12.41 c | 43555 | 13758 65955 210405 | 2147483647 43551 22 | 0.022 % |
12.35/12.45 c | 43731 | 13758 65955 210405 | 2147483647 43727 22 | 0.022 % |
12.45/12.53 c | 43924 | 13758 65955 210405 | 2147483647 43920 22 | 0.022 % |
12.55/12.65 c | 44136 | 13758 65955 210405 | 2147483647 44132 22 | 0.022 % |
12.75/12.83 c | 44369 | 13758 65955 210405 | 2147483647 44365 22 | 0.022 % |
12.85/12.91 c | 44626 | 13758 65955 210405 | 2147483647 44622 22 | 0.022 % |
12.85/13.00 c | 44908 | 13758 65955 210405 | 2147483647 44904 22 | 0.022 % |
13.05/13.12 c | 45217 | 13758 65955 210405 | 2147483647 45213 22 | 0.022 % |
13.15/13.23 c | 45557 | 13758 65955 210405 | 2147483647 45553 22 | 0.022 % |
13.35/13.48 c | 45929 | 13758 65955 210405 | 2147483647 45925 22 | 0.022 % |
13.55/13.60 c | 46338 | 13758 65955 210405 | 2147483647 46334 23 | 0.022 % |
13.65/13.76 c | 46787 | 13758 65955 210405 | 2147483647 46783 23 | 0.022 % |
13.85/13.96 c | 47280 | 13758 65955 210405 | 2147483647 47276 23 | 0.022 % |
14.05/14.11 c | 47822 | 13758 65955 210405 | 2147483647 47818 23 | 0.022 % |
14.25/14.33 c | 48418 | 13758 65955 210405 | 2147483647 48414 23 | 0.022 % |
14.55/14.67 c | 49073 | 13758 65955 210405 | 2147483647 49069 23 | 0.022 % |
14.65/14.70 c | 49173 | 13758 65955 210405 | 2147483647 49169 23 | 0.022 % |
14.65/14.73 c | 49283 | 13758 65955 210405 | 2147483647 49279 23 | 0.022 % |
14.65/14.78 c | 49405 | 13758 65955 210405 | 2147483647 49401 23 | 0.022 % |
14.74/14.85 c | 49540 | 13758 65955 210405 | 2147483647 49536 23 | 0.022 % |
14.74/14.89 c | 49687 | 13758 65955 210405 | 2147483647 49683 23 | 0.022 % |
14.84/14.94 c | 49847 | 13758 65955 210405 | 2147483647 49843 23 | 0.022 % |
14.84/15.00 c | 50023 | 13758 65955 210405 | 2147483647 50019 23 | 0.022 % |
15.04/15.13 c | 50216 | 13758 65955 210405 | 2147483647 50212 23 | 0.022 % |
15.04/15.19 c | 50428 | 13758 65955 210405 | 2147483647 50424 23 | 0.022 % |
15.14/15.25 c | 50662 | 13758 65955 210405 | 2147483647 50658 23 | 0.022 % |
15.24/15.32 c | 50918 | 13758 65955 210405 | 2147483647 50914 23 | 0.022 % |
15.35/15.43 c | 51203 | 13758 65955 210405 | 2147483647 51199 23 | 0.022 % |
15.35/15.47 c | 51512 | 13758 65955 210405 | 2147483647 51508 23 | 0.022 % |
15.54/15.61 c | 51851 | 13758 65955 210405 | 2147483647 51847 23 | 0.022 % |
15.64/15.73 c | 52223 | 13758 65955 210405 | 2147483647 52219 23 | 0.022 % |
15.84/15.90 c | 52633 | 13758 65955 210405 | 2147483647 52629 24 | 0.022 % |
15.94/16.01 c | 53082 | 13758 65955 210405 | 2147483647 53078 23 | 0.022 % |
16.14/16.22 c | 53576 | 13758 65955 210405 | 2147483647 53572 24 | 0.022 % |
16.24/16.30 c | 54119 | 13758 65955 210405 | 2147483647 54115 24 | 0.022 % |
16.55/16.60 c | 54715 | 13758 65955 210405 | 2147483647 54711 24 | 0.022 % |
16.94/17.01 c | 55370 | 13758 65955 210405 | 2147483647 55366 24 | 0.022 % |
17.44/17.55 c | 56090 | 13758 65955 210405 | 2147483647 56086 24 | 0.022 % |
17.44/17.60 c | 56190 | 13758 65955 210405 | 2147483647 56186 24 | 0.022 % |
17.55/17.66 c | 56300 | 13758 65955 210405 | 2147483647 56296 24 | 0.022 % |
17.65/17.72 c | 56422 | 13758 65955 210405 | 2147483647 56418 24 | 0.022 % |
17.65/17.78 c | 56555 | 13758 65955 210405 | 2147483647 56551 24 | 0.022 % |
17.75/17.82 c | 56704 | 13758 65955 210405 | 2147483647 56700 24 | 0.022 % |
17.75/17.88 c | 56866 | 13758 65955 210405 | 2147483647 56862 24 | 0.022 % |
17.85/17.94 c | 57042 | 13758 65955 210405 | 2147483647 57038 24 | 0.022 % |
18.15/18.21 c | 57235 | 13758 65955 210405 | 2147483647 57231 25 | 0.022 % |
18.35/18.43 c | 57448 | 13758 65955 210405 | 2147483647 57444 26 | 0.022 % |
18.45/18.58 c | 57681 | 13758 65955 210405 | 2147483647 57677 26 | 0.022 % |
18.55/18.66 c | 57937 | 13758 65955 210405 | 2147483647 57933 26 | 0.022 % |
18.65/18.75 c | 58220 | 13758 65955 210405 | 2147483647 58216 26 | 0.022 % |
18.75/18.81 c | 58529 | 13758 65955 210405 | 2147483647 58525 26 | 0.022 % |
18.84/18.99 c | 58868 | 13758 65955 210405 | 2147483647 58864 26 | 0.022 % |
19.04/19.16 c | 59243 | 13758 65955 210405 | 2147483647 59239 26 | 0.022 % |
19.14/19.21 c | 59652 | 13758 65955 210405 | 2147483647 59648 25 | 0.022 % |
19.14/19.27 c | 60103 | 13758 65955 210405 | 2147483647 60099 25 | 0.022 % |
19.34/19.48 c | 60596 | 13758 65955 210405 | 2147483647 60592 26 | 0.022 % |
19.44/19.58 c | 61139 | 13758 65955 210405 | 2147483647 61135 25 | 0.022 % |
19.75/19.81 c | 61736 | 13758 65955 210405 | 2147483647 61732 25 | 0.022 % |
19.85/19.98 c | 62391 | 13758 65955 210405 | 2147483647 62387 26 | 0.022 % |
20.14/20.24 c | 63116 | 13758 65955 210405 | 2147483647 63112 25 | 0.022 % |
20.44/20.54 c | 63908 | 13758 65955 210405 | 2147483647 63904 25 | 0.022 % |
20.44/20.58 c | 64008 | 13758 65955 210405 | 2147483647 64004 25 | 0.022 % |
20.54/20.63 c | 64123 | 13758 65955 210405 | 2147483647 64119 25 | 0.022 % |
20.54/20.67 c | 64244 | 13758 65955 210405 | 2147483647 64240 25 | 0.022 % |
20.74/20.81 c | 64377 | 13758 65955 210405 | 2147483647 64373 25 | 0.022 % |
20.74/20.88 c | 64523 | 13758 65955 210405 | 2147483647 64519 25 | 0.022 % |
20.84/20.94 c | 64684 | 13758 65955 210405 | 2147483647 64680 25 | 0.022 % |
20.94/21.02 c | 64860 | 13758 65955 210405 | 2147483647 64856 25 | 0.022 % |
21.04/21.10 c | 65053 | 13758 65955 210405 | 2147483647 65049 25 | 0.022 % |
21.04/21.15 c | 65265 | 13758 65955 210405 | 2147483647 65261 25 | 0.022 % |
21.04/21.19 c | 65499 | 13758 65955 210405 | 2147483647 65495 25 | 0.022 % |
21.14/21.29 c | 65755 | 13758 65955 210405 | 2147483647 65751 26 | 0.022 % |
21.34/21.48 c | 66036 | 13758 65955 210405 | 2147483647 66032 26 | 0.022 % |
21.54/21.66 c | 66346 | 13758 65955 210405 | 2147483647 66342 26 | 0.022 % |
21.64/21.71 c | 66685 | 13758 65955 210405 | 2147483647 66681 26 | 0.022 % |
21.74/21.89 c | 67057 | 13758 65955 210405 | 2147483647 67053 26 | 0.022 % |
22.04/22.14 c | 67466 | 13758 65955 210405 | 2147483647 67462 26 | 0.022 % |
22.14/22.25 c | 67915 | 13758 65955 210405 | 2147483647 67911 26 | 0.022 % |
22.24/22.38 c | 68408 | 13758 65955 210405 | 2147483647 68404 26 | 0.022 % |
22.44/22.55 c | 68951 | 13756 65935 210349 | 2147483647 68927 26 | 0.036 % |
22.64/22.72 c | 69547 | 13756 65935 210349 | 2147483647 69523 26 | 0.036 % |
23.14/23.22 c | 70202 | 13756 65935 210349 | 2147483647 70178 27 | 0.036 % |
23.54/23.60 c | 70922 | 13756 65935 210349 | 2147483647 70898 27 | 0.036 % |
23.93/24.02 c | 71714 | 13756 65935 210349 | 2147483647 71690 27 | 0.036 % |
24.43/24.59 c | 72586 | 13756 65935 210349 | 2147483647 72562 27 | 0.036 % |
24.53/24.66 c | 72689 | 13756 65935 210349 | 2147483647 72665 27 | 0.036 % |
24.63/24.73 c | 72802 | 13756 65935 210349 | 2147483647 72778 27 | 0.036 % |
24.73/24.86 c | 72923 | 13756 65935 210349 | 2147483647 72899 27 | 0.036 % |
24.83/24.93 c | 73058 | 13756 65935 210349 | 2147483647 73034 27 | 0.036 % |
24.83/25.00 c | 73205 | 13756 65935 210349 | 2147483647 73181 27 | 0.036 % |
24.93/25.06 c | 73367 | 13756 65935 210349 | 2147483647 73343 27 | 0.036 % |
25.03/25.16 c | 73543 | 13756 65935 210349 | 2147483647 73519 27 | 0.036 % |
25.13/25.26 c | 73737 | 13756 65935 210349 | 2147483647 73713 27 | 0.036 % |
25.13/25.29 c | 73949 | 13756 65935 210349 | 2147483647 73925 27 | 0.036 % |
25.23/25.37 c | 74184 | 13756 65935 210349 | 2147483647 74160 27 | 0.036 % |
25.43/25.51 c | 74442 | 13756 65935 210349 | 2147483647 74418 27 | 0.036 % |
25.63/25.71 c | 74723 | 13756 65935 210349 | 2147483647 74699 27 | 0.036 % |
25.83/25.90 c | 75032 | 13756 65935 210349 | 2147483647 75008 27 | 0.036 % |
25.93/26.07 c | 75372 | 13756 65935 210349 | 2147483647 75348 27 | 0.036 % |
26.03/26.18 c | 75746 | 13756 65935 210349 | 2147483647 75722 27 | 0.036 % |
26.34/26.41 c | 76155 | 13756 65935 210349 | 2147483647 76131 27 | 0.036 % |
26.53/26.66 c | 76604 | 13756 65935 210349 | 2147483647 76580 27 | 0.036 % |
26.73/26.85 c | 77097 | 13756 65935 210349 | 2147483647 77073 27 | 0.036 % |
26.93/27.05 c | 77640 | 13756 65935 210349 | 2147483647 77616 27 | 0.036 % |
27.23/27.38 c | 78236 | 13756 65935 210349 | 2147483647 78212 27 | 0.036 % |
27.53/27.63 c | 78891 | 13756 65935 210349 | 2147483647 78867 27 | 0.037 % |
27.93/28.00 c | 79611 | 13756 65935 210349 | 2147483647 79587 28 | 0.036 % |
28.13/28.26 c | 80403 | 13756 65935 210349 | 2147483647 80379 28 | 0.036 % |
28.43/28.53 c | 81275 | 13756 65935 210349 | 2147483647 81251 28 | 0.036 % |
28.63/28.72 c | 82233 | 13756 65935 210349 | 2147483647 82209 28 | 0.036 % |
28.73/28.81 c | 82334 | 13756 65935 210349 | 2147483647 82310 28 | 0.036 % |
28.73/28.86 c | 82444 | 13756 65935 210349 | 2147483647 82420 28 | 0.036 % |
28.83/28.97 c | 82567 | 13756 65935 210349 | 2147483647 82543 28 | 0.036 % |
28.93/29.03 c | 82702 | 13756 65935 210349 | 2147483647 82678 28 | 0.036 % |
28.93/29.09 c | 82848 | 13756 65935 210349 | 2147483647 82824 28 | 0.036 % |
29.03/29.16 c | 83008 | 13756 65935 210349 | 2147483647 82984 28 | 0.036 % |
29.13/29.29 c | 83185 | 13756 65935 210349 | 2147483647 83161 28 | 0.036 % |
29.33/29.41 c | 83381 | 13756 65935 210349 | 2147483647 83357 28 | 0.036 % |
29.33/29.49 c | 83595 | 13756 65935 210349 | 2147483647 83571 28 | 0.036 % |
29.63/29.71 c | 83828 | 13755 65925 210321 | 2147483647 83786 28 | 0.044 % |
29.73/29.82 c | 84084 | 13755 65925 210321 | 2147483647 84042 28 | 0.044 % |
29.83/29.93 c | 84365 | 13755 65925 210321 | 2147483647 84323 28 | 0.044 % |
29.93/30.06 c | 84674 | 13755 65925 210321 | 2147483647 84632 28 | 0.044 % |
30.13/30.21 c | 85014 | 13755 65925 210321 | 2147483647 84972 28 | 0.044 % |
30.22/30.35 c | 85386 | 13755 65925 210321 | 2147483647 85344 28 | 0.044 % |
30.42/30.53 c | 85796 | 13755 65925 210321 | 2147483647 85754 28 | 0.044 % |
30.52/30.67 c | 86245 | 13755 65925 210321 | 2147483647 86203 28 | 0.044 % |
30.83/30.97 c | 86739 | 13755 65925 210321 | 2147483647 86697 28 | 0.044 % |
31.02/31.13 c | 87282 | 13755 65925 210321 | 2147483647 87240 28 | 0.044 % |
31.22/31.37 c | 87878 | 13754 65925 210321 | 2147483647 87835 28 | 0.051 % |
31.62/31.72 c | 88533 | 13754 65925 210321 | 2147483647 88490 28 | 0.051 % |
32.02/32.16 c | 89253 | 13754 65925 210321 | 2147483647 89210 28 | 0.051 % |
32.53/32.68 c | 90045 | 13754 65922 210315 | 2147483647 90001 28 | 0.051 % |
32.93/33.07 c | 90918 | 13754 65922 210315 | 2147483647 90874 28 | 0.051 % |
33.23/33.33 c | 91876 | 13754 65922 210315 | 2147483647 91832 28 | 0.051 % |
33.83/33.91 c | 92930 | 13754 65922 210315 | 2147483647 92886 28 | 0.051 % |
33.83/33.94 c | 93030 | 13754 65922 210315 | 2147483647 92986 28 | 0.051 % |
33.93/34.02 c | 93141 | 13754 65922 210315 | 2147483647 93097 28 | 0.051 % |
33.93/34.08 c | 93263 | 13754 65922 210315 | 2147483647 93219 28 | 0.051 % |
34.03/34.13 c | 93397 | 13754 65922 210315 | 2147483647 93353 28 | 0.051 % |
34.03/34.17 c | 93543 | 13754 65922 210315 | 2147483647 93499 28 | 0.051 % |
34.13/34.30 c | 93705 | 13754 65922 210315 | 2147483647 93661 29 | 0.051 % |
34.22/34.37 c | 93891 | 13754 65922 210315 | 2147483647 93847 28 | 0.051 % |
34.42/34.51 c | 94086 | 13754 65922 210315 | 2147483647 94042 29 | 0.051 % |
34.52/34.60 c | 94299 | 13754 65922 210315 | 2147483647 94255 29 | 0.051 % |
34.82/34.97 c | 94532 | 13754 65922 210315 | 2147483647 94488 29 | 0.051 % |
35.02/35.19 c | 94788 | 13754 65922 210315 | 2147483647 94744 29 | 0.051 % |
35.32/35.45 c | 95070 | 13754 65922 210315 | 2147483647 95026 29 | 0.051 % |
35.52/35.65 c | 95379 | 13754 65922 210315 | 2147483647 95335 29 | 0.051 % |
35.72/35.86 c | 95719 | 13754 65922 210315 | 2147483647 95675 29 | 0.051 % |
36.02/36.12 c | 96091 | 13754 65922 210315 | 2147483647 96047 29 | 0.051 % |
36.32/36.41 c | 96502 | 13754 65922 210315 | 2147483647 96458 29 | 0.051 % |
36.52/36.60 c | 96952 | 13754 65922 210315 | 2147483647 96908 29 | 0.051 % |
36.82/36.98 c | 97446 | 13754 65922 210315 | 2147483647 97402 29 | 0.051 % |
37.12/37.27 c | 97988 | 13753 65919 210309 | 2147483647 97943 29 | 0.058 % |
37.42/37.57 c | 98584 | 13753 65919 210309 | 2147483647 98539 29 | 0.058 % |
37.82/37.99 c | 99242 | 13753 65919 210309 | 2147483647 99197 29 | 0.058 % |
38.21/38.38 c | 99962 | 13753 65919 210309 | 2147483647 99917 29 | 0.058 % |
38.52/38.63 c | 100756 | 13753 65919 210309 | 2147483647 100711 29 | 0.058 % |
39.01/39.15 c | 101628 | 13753 65919 210309 | 2147483647 101583 29 | 0.058 % |
39.91/40.05 c | 102591 | 13753 65919 210309 | 2147483647 102546 29 | 0.058 % |
40.41/40.50 c | 103644 | 13753 65919 210309 | 2147483647 103599 29 | 0.058 % |
40.91/41.08 c | 104803 | 13753 65919 210309 | 2147483647 104758 29 | 0.058 % |
41.01/41.13 c | 104906 | 13753 65919 210309 | 2147483647 104861 29 | 0.058 % |
41.01/41.20 c | 105016 | 13753 65919 210309 | 2147483647 104971 29 | 0.058 % |
41.21/41.30 c | 105139 | 13753 65919 210309 | 2147483647 105094 29 | 0.058 % |
41.31/41.42 c | 105272 | 13753 65919 210309 | 2147483647 105227 29 | 0.058 % |
41.51/41.62 c | 105418 | 13753 65919 210309 | 2147483647 105373 29 | 0.058 % |
41.61/41.71 c | 105578 | 13753 65919 210309 | 2147483647 105533 29 | 0.058 % |
41.61/41.78 c | 105754 | 13753 65919 210309 | 2147483647 105709 29 | 0.058 % |
41.71/41.86 c | 105947 | 13753 65919 210309 | 2147483647 105902 29 | 0.058 % |
41.81/41.96 c | 106159 | 13753 65919 210309 | 2147483647 106114 29 | 0.058 % |
41.91/42.02 c | 106392 | 13753 65919 210309 | 2147483647 106347 29 | 0.058 % |
41.91/42.09 c | 106648 | 13753 65919 210309 | 2147483647 106603 29 | 0.058 % |
42.31/42.41 c | 106931 | 13753 65919 210309 | 2147483647 106886 29 | 0.058 % |
42.51/42.64 c | 107240 | 13753 65919 210309 | 2147483647 107195 29 | 0.058 % |
42.71/42.84 c | 107580 | 13753 65919 210309 | 2147483647 107535 29 | 0.058 % |
43.11/43.21 c | 107954 | 13752 65916 210303 | 2147483647 107908 30 | 0.065 % |
43.41/43.50 c | 108366 | 13752 65916 210303 | 2147483647 108320 30 | 0.065 % |
43.61/43.72 c | 108818 | 13752 65916 210303 | 2147483647 108772 30 | 0.065 % |
43.91/44.09 c | 109311 | 13752 65916 210303 | 2147483647 109265 30 | 0.065 % |
44.20/44.34 c | 109853 | 13752 65916 210303 | 2147483647 109807 30 | 0.065 % |
44.60/44.74 c | 110449 | 13752 65916 210303 | 2147483647 110403 30 | 0.065 % |
45.01/45.12 c | 111104 | 13752 65916 210303 | 2147483647 111058 30 | 0.065 % |
45.30/45.45 c | 111824 | 13752 65916 210303 | 2147483647 111778 30 | 0.065 % |
45.81/45.99 c | 112619 | 13752 65916 210303 | 2147483647 112573 30 | 0.065 % |
46.51/46.62 c | 113491 | 13752 65916 210303 | 2147483647 113445 30 | 0.065 % |
47.11/47.30 c | 114449 | 13752 65916 210303 | 2147483647 114403 30 | 0.065 % |
47.91/48.03 c | 115502 | 13752 65916 210303 | 2147483647 115456 30 | 0.065 % |
48.41/48.57 c | 116660 | 13751 65906 210275 | 2147483647 116598 30 | 0.073 % |
49.31/49.41 c | 117934 | 13751 65906 210275 | 2147483647 117872 30 | 0.073 % |
49.41/49.50 c | 118034 | 13751 65906 210275 | 2147483647 117972 30 | 0.073 % |
49.41/49.60 c | 118145 | 13751 65906 210275 | 2147483647 118083 30 | 0.073 % |
49.51/49.69 c | 118267 | 13751 65906 210275 | 2147483647 118205 30 | 0.073 % |
49.61/49.80 c | 118400 | 13751 65906 210275 | 2147483647 118338 30 | 0.073 % |
49.71/49.88 c | 118546 | 13751 65906 210275 | 2147483647 118484 30 | 0.073 % |
49.81/49.99 c | 118708 | 13751 65906 210275 | 2147483647 118646 30 | 0.073 % |
50.01/50.11 c | 118884 | 13751 65906 210275 | 2147483647 118822 30 | 0.073 % |
50.01/50.15 c | 119077 | 13751 65906 210275 | 2147483647 119015 30 | 0.073 % |
50.31/50.41 c | 119290 | 13751 65906 210275 | 2147483647 119228 30 | 0.073 % |
50.51/50.65 c | 119523 | 13751 65906 210275 | 2147483647 119461 30 | 0.073 % |
50.71/50.84 c | 119779 | 13751 65906 210275 | 2147483647 119717 30 | 0.073 % |
51.01/51.11 c | 120060 | 13751 65906 210275 | 2147483647 119998 30 | 0.073 % |
51.11/51.25 c | 120370 | 13751 65906 210275 | 2147483647 120308 30 | 0.073 % |
51.21/51.33 c | 120709 | 13751 65906 210275 | 2147483647 120647 30 | 0.073 % |
51.41/51.51 c | 121082 | 13751 65906 210275 | 2147483647 121020 30 | 0.073 % |
51.71/51.83 c | 121492 | 13751 65906 210275 | 2147483647 121430 30 | 0.073 % |
52.01/52.14 c | 121945 | 13751 65906 210275 | 2147483647 121883 30 | 0.073 % |
52.30/52.42 c | 122438 | 13751 65906 210275 | 2147483647 122376 30 | 0.073 % |
52.71/52.82 c | 122980 | 13751 65906 210275 | 2147483647 122918 30 | 0.073 % |
53.10/53.28 c | 123578 | 13751 65906 210275 | 2147483647 123516 31 | 0.073 % |
53.70/53.82 c | 124234 | 13751 65906 210275 | 2147483647 124172 31 | 0.073 % |
54.20/54.31 c | 124954 | 13751 65906 210275 | 2147483647 124892 31 | 0.073 % |
54.50/54.61 c | 125746 | 13751 65906 210275 | 2147483647 125684 31 | 0.073 % |
55.20/55.34 c | 126617 | 13751 65906 210275 | 2147483647 126555 31 | 0.073 % |
55.50/55.64 c | 127575 | 13751 65906 210275 | 2147483647 127513 31 | 0.073 % |
56.20/56.38 c | 128628 | 13751 65906 210275 | 2147483647 128566 31 | 0.073 % |
57.10/57.21 c | 129788 | 13751 65906 210275 | 2147483647 129726 31 | 0.073 % |
57.80/57.92 c | 131063 | 13751 65906 210275 | 2147483647 131001 31 | 0.073 % |
58.90/59.01 c | 132464 | 13751 65906 210275 | 2147483647 132402 31 | 0.073 % |
59.00/59.12 c | 132564 | 13751 65906 210275 | 2147483647 132502 31 | 0.073 % |
59.00/59.19 c | 132676 | 13751 65906 210275 | 2147483647 132614 31 | 0.073 % |
59.20/59.32 c | 132797 | 13751 65906 210275 | 2147483647 132735 31 | 0.073 % |
59.30/59.41 c | 132930 | 13751 65906 210275 | 2147483647 132868 31 | 0.073 % |
59.30/59.49 c | 133077 | 13751 65906 210275 | 2147483647 133015 31 | 0.073 % |
59.49/59.63 c | 133239 | 13751 65906 210275 | 2147483647 133177 31 | 0.073 % |
59.69/59.80 c | 133415 | 13751 65906 210275 | 2147483647 133353 31 | 0.073 % |
59.79/59.98 c | 133608 | 13751 65906 210275 | 2147483647 133546 31 | 0.073 % |
59.89/60.07 c | 133822 | 13751 65906 210275 | 2147483647 133760 31 | 0.073 % |
60.09/60.20 c | 134055 | 13751 65906 210275 | 2147483647 133993 31 | 0.073 % |
60.29/60.41 c | 134312 | 13751 65906 210275 | 2147483647 134250 31 | 0.073 % |
60.50/60.61 c | 134594 | 13751 65906 210275 | 2147483647 134532 31 | 0.073 % |
60.69/60.81 c | 134907 | 13751 65906 210275 | 2147483647 134845 31 | 0.073 % |
61.09/61.29 c | 135247 | 13751 65906 210275 | 2147483647 135185 31 | 0.073 % |
61.59/61.75 c | 135619 | 13751 65906 210275 | 2147483647 135557 31 | 0.073 % |
61.89/62.01 c | 136028 | 13751 65906 210275 | 2147483647 135966 31 | 0.073 % |
62.39/62.53 c | 136477 | 13751 65906 210275 | 2147483647 136415 31 | 0.073 % |
62.59/62.74 c | 136971 | 13751 65906 210275 | 2147483647 136909 31 | 0.073 % |
63.10/63.24 c | 137514 | 13751 65906 210275 | 2147483647 137452 32 | 0.073 % |
63.80/63.92 c | 138110 | 13751 65906 210275 | 2147483647 138048 32 | 0.073 % |
64.40/64.58 c | 138766 | 13750 65902 210267 | 2147483647 138699 32 | 0.080 % |
65.09/65.22 c | 139486 | 13750 65902 210267 | 2147483647 139419 32 | 0.080 % |
65.59/65.72 c | 140278 | 13750 65902 210267 | 2147483647 140211 32 | 0.080 % |
66.29/66.46 c | 141150 | 13750 65902 210267 | 2147483647 141083 32 | 0.080 % |
67.19/67.36 c | 142109 | 13750 65902 210267 | 2147483647 142042 32 | 0.080 % |
67.99/68.11 c | 143162 | 13750 65902 210267 | 2147483647 143095 32 | 0.080 % |
69.09/69.23 c | 144320 | 13750 65902 210267 | 2147483647 144253 32 | 0.080 % |
69.88/70.05 c | 145593 | 13749 65902 210267 | 2147483647 145525 32 | 0.087 % |
71.08/71.22 c | 146994 | 13749 65902 210267 | 2147483647 146926 32 | 0.087 % |
71.78/71.98 c | 148534 | 13749 65899 210261 | 2147483647 148466 32 | 0.087 % |
71.98/72.10 c | 148634 | 13749 65899 210261 | 2147483647 148566 32 | 0.087 % |
71.98/72.18 c | 148744 | 13749 65899 210261 | 2147483647 148676 32 | 0.087 % |
72.08/72.23 c | 148865 | 13749 65899 210261 | 2147483647 148797 32 | 0.087 % |
72.18/72.31 c | 149000 | 13749 65899 210261 | 2147483647 148932 32 | 0.087 % |
72.28/72.45 c | 149147 | 13749 65899 210261 | 2147483647 149079 32 | 0.087 % |
72.58/72.71 c | 149307 | 13749 65899 210261 | 2147483647 149239 32 | 0.087 % |
72.68/72.84 c | 149483 | 13749 65899 210261 | 2147483647 149415 32 | 0.087 % |
72.88/73.01 c | 149676 | 13749 65899 210261 | 2147483647 149608 32 | 0.087 % |
72.98/73.11 c | 149889 | 13749 65899 210261 | 2147483647 149821 32 | 0.087 % |
73.18/73.31 c | 150122 | 13749 65899 210261 | 2147483647 150054 32 | 0.087 % |
73.38/73.50 c | 150378 | 13749 65899 210261 | 2147483647 150310 32 | 0.087 % |
73.48/73.70 c | 150659 | 13749 65899 210261 | 2147483647 150591 32 | 0.087 % |
73.88/74.00 c | 150968 | 13749 65899 210261 | 2147483647 150900 33 | 0.087 % |
74.37/74.55 c | 151307 | 13749 65899 210261 | 2147483647 151239 33 | 0.087 % |
74.87/75.02 c | 151679 | 13749 65899 210261 | 2147483647 151611 33 | 0.087 % |
75.27/75.48 c | 152088 | 13749 65899 210261 | 2147483647 152020 33 | 0.087 % |
75.78/75.90 c | 152537 | 13749 65899 210261 | 2147483647 152469 33 | 0.087 % |
76.17/76.37 c | 153030 | 13749 65899 210261 | 2147483647 152962 33 | 0.087 % |
76.58/76.71 c | 153572 | 13749 65899 210261 | 2147483647 153504 33 | 0.087 % |
77.08/77.29 c | 154172 | 13749 65899 210261 | 2147483647 154104 33 | 0.087 % |
77.78/77.90 c | 154827 | 13749 65899 210261 | 2147483647 154759 33 | 0.087 % |
78.28/78.46 c | 155547 | 13749 65899 210261 | 2147483647 155479 33 | 0.087 % |
78.68/78.87 c | 156341 | 13749 65899 210261 | 2147483647 156273 33 | 0.087 % |
79.28/79.47 c | 157212 | 13749 65899 210261 | 2147483647 157144 33 | 0.087 % |
79.68/79.88 c | 158172 | 13749 65899 210261 | 2147483647 158104 33 | 0.087 % |
80.58/80.77 c | 159225 | 13749 65899 210261 | 2147483647 159157 33 | 0.087 % |
81.47/81.66 c | 160384 | 13749 65899 210261 | 2147483647 160316 33 | 0.087 % |
82.57/82.72 c | 161657 | 13749 65899 210261 | 2147483647 161589 33 | 0.087 % |
83.67/83.81 c | 163058 | 13749 65899 210261 | 2147483647 162990 33 | 0.087 % |
84.87/85.06 c | 164598 | 13749 65899 210261 | 2147483647 164530 33 | 0.087 % |
85.97/86.14 c | 166292 | 13745 65889 210233 | 2147483647 165579 33 | 0.116 % |
86.17/86.30 c | 166393 | 13745 65889 210233 | 2147483647 165680 33 | 0.116 % |
86.27/86.45 c | 166503 | 13745 65889 210233 | 2147483647 165790 33 | 0.116 % |
86.37/86.55 c | 166624 | 13745 65889 210233 | 2147483647 165911 33 | 0.116 % |
86.57/86.70 c | 166757 | 13745 65889 210233 | 2147483647 166044 33 | 0.116 % |
86.67/86.89 c | 166904 | 13745 65889 210233 | 2147483647 166191 33 | 0.116 % |
86.87/87.05 c | 167064 | 13745 65889 210233 | 2147483647 166351 33 | 0.116 % |
87.07/87.24 c | 167241 | 13745 65889 210233 | 2147483647 166528 33 | 0.116 % |
87.17/87.34 c | 167436 | 13745 65889 210233 | 2147483647 166723 33 | 0.116 % |
87.37/87.54 c | 167649 | 13745 65889 210233 | 2147483647 166936 33 | 0.116 % |
87.57/87.73 c | 167882 | 13745 65889 210233 | 2147483647 167169 33 | 0.116 % |
87.87/88.07 c | 168138 | 13745 65889 210233 | 2147483647 167425 33 | 0.116 % |
88.17/88.32 c | 168419 | 13745 65889 210233 | 2147483647 167706 33 | 0.116 % |
88.47/88.64 c | 168728 | 13745 65889 210233 | 2147483647 168015 33 | 0.116 % |
88.77/88.99 c | 169068 | 13745 65889 210233 | 2147483647 168355 33 | 0.116 % |
89.17/89.30 c | 169440 | 13745 65889 210233 | 2147483647 168727 33 | 0.116 % |
89.57/89.78 c | 169850 | 13745 65889 210233 | 2147483647 169137 33 | 0.116 % |
89.97/90.12 c | 170299 | 13745 65889 210233 | 2147483647 169586 33 | 0.116 % |
90.27/90.49 c | 170793 | 13745 65889 210233 | 2147483647 170080 33 | 0.116 % |
90.87/91.09 c | 171335 | 13745 65889 210233 | 2147483647 170622 33 | 0.116 % |
91.47/91.69 c | 171931 | 13745 65889 210233 | 2147483647 171218 33 | 0.116 % |
92.27/92.43 c | 172586 | 13745 65889 210233 | 2147483647 171873 33 | 0.116 % |
92.87/93.06 c | 173306 | 13745 65889 210233 | 2147483647 172593 33 | 0.116 % |
93.57/93.79 c | 174098 | 13745 65889 210233 | 2147483647 173385 33 | 0.116 % |
94.17/94.31 c | 174969 | 13745 65889 210233 | 2147483647 174256 33 | 0.116 % |
95.27/95.47 c | 175928 | 13745 65869 210180 | 2147483647 175062 33 | 0.116 % |
96.07/96.26 c | 176981 | 13745 65869 210180 | 2147483647 176115 33 | 0.116 % |
97.37/97.50 c | 178139 | 13745 65869 210180 | 2147483647 177273 33 | 0.116 % |
98.87/99.01 c | 179415 | 13744 65869 210180 | 2147483647 178548 33 | 0.124 % |
100.07/100.28 c | 180815 | 13744 65869 210180 | 2147483647 179948 33 | 0.124 % |
101.56/101.70 c | 182355 | 13744 65869 210180 | 2147483647 181488 33 | 0.124 % |
103.06/103.26 c | 184049 | 13744 65869 210180 | 2147483647 183182 33 | 0.124 % |
104.96/105.14 c | 185913 | 13744 65869 210180 | 2147483647 185046 33 | 0.124 % |
105.16/105.30 c | 186014 | 13744 65866 210174 | 2147483647 185147 33 | 0.124 % |
105.26/105.41 c | 186124 | 13744 65866 210174 | 2147483647 185257 33 | 0.124 % |
105.36/105.52 c | 186246 | 13744 65866 210174 | 2147483647 185379 33 | 0.124 % |
105.46/105.68 c | 186379 | 13744 65866 210174 | 2147483647 185512 33 | 0.124 % |
105.66/105.81 c | 186525 | 13744 65866 210174 | 2147483647 185658 33 | 0.124 % |
105.96/106.15 c | 186686 | 13744 65866 210174 | 2147483647 185819 33 | 0.124 % |
106.06/106.26 c | 186862 | 13744 65866 210174 | 2147483647 185995 33 | 0.124 % |
106.16/106.34 c | 187055 | 13744 65866 210174 | 2147483647 186188 33 | 0.124 % |
106.36/106.53 c | 187267 | 13744 65866 210174 | 2147483647 186400 33 | 0.124 % |
106.56/106.77 c | 187502 | 13744 65866 210174 | 2147483647 186635 33 | 0.124 % |
106.76/106.99 c | 187758 | 13744 65866 210174 | 2147483647 186891 33 | 0.124 % |
107.06/107.28 c | 188041 | 13744 65866 210174 | 2147483647 187174 33 | 0.124 % |
107.46/107.67 c | 188352 | 13744 65866 210174 | 2147483647 187485 33 | 0.124 % |
107.87/108.09 c | 188695 | 13744 65866 210174 | 2147483647 187828 33 | 0.124 % |
108.17/108.33 c | 189067 | 13744 65866 210174 | 2147483647 188200 33 | 0.124 % |
108.57/108.73 c | 189476 | 13744 65866 210174 | 2147483647 188609 33 | 0.124 % |
108.87/109.06 c | 189925 | 13744 65866 210174 | 2147483647 189058 33 | 0.124 % |
109.77/109.92 c | 190419 | 13744 65866 210174 | 2147483647 189552 34 | 0.124 % |
110.27/110.40 c | 190961 | 13744 65866 210174 | 2147483647 190094 34 | 0.124 % |
111.07/111.23 c | 191557 | 13744 65866 210174 | 2147483647 190690 34 | 0.124 % |
111.87/112.09 c | 192214 | 13744 65866 210174 | 2147483647 191347 34 | 0.124 % |
112.66/112.82 c | 192934 | 13744 65866 210174 | 2147483647 192067 34 | 0.124 % |
113.27/113.44 c | 193726 | 13744 65866 210174 | 2147483647 192859 34 | 0.124 % |
114.16/114.36 c | 194597 | 13744 65866 210174 | 2147483647 193730 34 | 0.124 % |
115.26/115.40 c | 195556 | 13744 65866 210174 | 2147483647 194689 34 | 0.124 % |
116.26/116.43 c | 196609 | 13744 65866 210174 | 2147483647 195742 34 | 0.124 % |
117.66/117.90 c | 197769 | 13744 65866 210174 | 2147483647 196902 34 | 0.124 % |
119.06/119.26 c | 199042 | 13744 65866 210174 | 2147483647 198175 34 | 0.124 % |
120.65/120.85 c | 200444 | 13744 65866 210174 | 2147483647 199577 34 | 0.124 % |
122.15/122.38 c | 201984 | 13744 65866 210174 | 2147483647 201117 34 | 0.124 % |
124.45/124.64 c | 203678 | 13740 65836 210093 | 2147483647 202758 34 | 0.153 % |
126.55/126.78 c | 205543 | 13740 65836 210093 | 2147483647 204623 35 | 0.153 % |
128.45/128.62 c | 207592 | 13740 65836 210093 | 2147483647 206672 35 | 0.153 % |
128.55/128.76 c | 207692 | 13740 65836 210093 | 2147483647 206772 35 | 0.153 % |
128.75/128.99 c | 207803 | 13740 65836 210093 | 2147483647 206883 35 | 0.153 % |
128.95/129.16 c | 207925 | 13740 65836 210093 | 2147483647 207005 35 | 0.153 % |
129.15/129.32 c | 208059 | 13740 65836 210093 | 2147483647 207139 35 | 0.153 % |
129.34/129.53 c | 208207 | 13740 65836 210093 | 2147483647 207287 35 | 0.153 % |
129.54/129.75 c | 208367 | 13740 65836 210093 | 2147483647 207447 35 | 0.153 % |
129.85/130.04 c | 208543 | 13740 65836 210093 | 2147483647 207623 35 | 0.153 % |
130.04/130.21 c | 208738 | 13740 65836 210093 | 2147483647 207818 35 | 0.153 % |
130.34/130.53 c | 208950 | 13740 65836 210093 | 2147483647 208030 35 | 0.153 % |
130.54/130.74 c | 209183 | 13740 65836 210093 | 2147483647 208263 35 | 0.153 % |
130.75/130.96 c | 209439 | 13740 65836 210093 | 2147483647 208519 35 | 0.153 % |
131.34/131.50 c | 209720 | 13740 65836 210093 | 2147483647 208800 35 | 0.153 % |
131.64/131.84 c | 210029 | 13740 65836 210093 | 2147483647 209109 35 | 0.153 % |
132.14/132.36 c | 210370 | 13739 65836 210093 | 2147483647 209449 35 | 0.189 % |
132.54/132.75 c | 210742 | 13739 65836 210093 | 2147483647 209821 35 | 0.189 % |
133.04/133.25 c | 211151 | 13739 65836 210093 | 2147483647 210230 35 | 0.189 % |
133.44/133.68 c | 211600 | 13739 65836 210093 | 2147483647 210679 35 | 0.189 % |
133.94/134.19 c | 212093 | 13739 65836 210093 | 2147483647 211172 35 | 0.189 % |
134.44/134.63 c | 212636 | 13739 65836 210093 | 2147483647 211715 35 | 0.189 % |
135.24/135.47 c | 213232 | 13739 65836 210093 | 2147483647 212311 35 | 0.189 % |
135.74/135.97 c | 213888 | 13739 65836 210093 | 2147483647 212967 35 | 0.189 % |
136.44/136.66 c | 214608 | 13739 65836 210093 | 2147483647 213687 35 | 0.189 % |
137.34/137.59 c | 215400 | 13739 65836 210093 | 2147483647 214479 35 | 0.189 % |
138.44/138.65 c | 216271 | 13735 65795 209979 | 2147483647 214991 35 | 0.189 % |
139.34/139.55 c | 217229 | 13735 65795 209979 | 2147483647 215949 35 | 0.189 % |
140.34/140.57 c | 218283 | 13735 65795 209979 | 2147483647 217003 35 | 0.189 % |
141.44/141.64 c | 219443 | 13735 65795 209979 | 2147483647 218163 35 | 0.189 % |
142.64/142.87 c | 220717 | 13735 65795 209979 | 2147483647 219437 35 | 0.189 % |
144.14/144.30 c | 222120 | 13735 65795 209979 | 2147483647 220840 35 | 0.189 % |
146.04/146.24 c | 223660 | 13735 65795 209979 | 2147483647 222380 35 | 0.189 % |
148.84/149.07 c | 225355 | 13735 65795 209979 | 2147483647 224075 36 | 0.189 % |
151.23/151.49 c | 227218 | 13735 65795 209979 | 2147483647 225938 36 | 0.189 % |
153.43/153.62 c | 229267 | 13735 65795 209979 | 2147483647 227987 36 | 0.189 % |
155.94/156.17 c | 231520 | 13735 65795 209979 | 2147483647 230240 36 | 0.189 % |
156.14/156.32 c | 231620 | 13735 65795 209979 | 2147483647 230340 36 | 0.189 % |
156.24/156.48 c | 231731 | 13735 65795 209979 | 2147483647 230451 36 | 0.189 % |
156.54/156.70 c | 231852 | 13735 65795 209979 | 2147483647 230572 36 | 0.189 % |
156.64/156.84 c | 231985 | 13735 65795 209979 | 2147483647 230705 36 | 0.189 % |
156.84/157.02 c | 232133 | 13735 65795 209979 | 2147483647 230853 36 | 0.189 % |
156.94/157.17 c | 232293 | 13735 65795 209979 | 2147483647 231013 36 | 0.189 % |
157.14/157.36 c | 232469 | 13735 65795 209979 | 2147483647 231189 36 | 0.189 % |
157.33/157.59 c | 232662 | 13735 65795 209979 | 2147483647 231382 36 | 0.189 % |
157.63/157.88 c | 232875 | 13735 65795 209979 | 2147483647 231595 36 | 0.189 % |
157.83/158.09 c | 233108 | 13735 65795 209979 | 2147483647 231828 36 | 0.189 % |
158.24/158.44 c | 233364 | 13735 65795 209979 | 2147483647 232084 36 | 0.189 % |
158.53/158.79 c | 233645 | 13735 65795 209979 | 2147483647 232365 36 | 0.189 % |
159.23/159.42 c | 233954 | 13735 65795 209979 | 2147483647 232674 36 | 0.189 % |
159.83/160.01 c | 234296 | 13735 65795 209979 | 2147483647 233016 36 | 0.189 % |
160.33/160.59 c | 234669 | 13735 65795 209979 | 2147483647 233389 36 | 0.189 % |
160.93/161.18 c | 235078 | 13735 65795 209979 | 2147483647 233798 36 | 0.189 % |
161.63/161.85 c | 235527 | 13735 65795 209979 | 2147483647 234247 36 | 0.189 % |
162.22/162.45 c | 236022 | 13735 65795 209979 | 2147483647 234742 36 | 0.189 % |
162.73/162.92 c | 236564 | 13735 65795 209979 | 2147483647 235284 36 | 0.189 % |
163.52/163.71 c | 237160 | 13735 65795 209979 | 2147483647 235880 36 | 0.189 % |
164.72/164.95 c | 237817 | 13735 65795 209979 | 2147483647 236537 37 | 0.189 % |
165.42/165.68 c | 238537 | 13735 65795 209979 | 2147483647 237257 37 | 0.189 % |
166.42/166.66 c | 239332 | 13734 65789 209962 | 2147483647 238047 37 | 0.196 % |
167.72/167.98 c | 240204 | 13734 65789 209962 | 2147483647 238919 37 | 0.196 % |
169.12/169.39 c | 241162 | 13734 65789 209962 | 2147483647 239877 37 | 0.196 % |
170.82/171.07 c | 242216 | 13734 65789 209962 | 2147483647 240931 37 | 0.196 % |
172.32/172.53 c | 243374 | 13734 65789 209962 | 2147483647 242089 37 | 0.196 % |
174.21/174.40 c | 244648 | 13734 65789 209962 | 2147483647 243363 37 | 0.196 % |
175.83/176.09 c | 246048 | 13734 65789 209962 | 2147483647 244763 37 | 0.196 % |
178.12/178.37 c | 247588 | 13734 65789 209962 | 2147483647 246303 37 | 0.196 % |
180.22/180.47 c | 249283 | 13734 65789 209962 | 2147483647 247998 37 | 0.196 % |
182.62/182.82 c | 251148 | 13734 65789 209962 | 2147483647 249863 37 | 0.196 % |
185.52/185.73 c | 253202 | 13734 65789 209962 | 2147483647 251917 37 | 0.196 % |
191.41/191.67 c | 255456 | 13734 65789 209962 | 2147483647 254171 38 | 0.196 % |
194.81/195.09 c | 257934 | 13734 65789 209962 | 2147483647 256649 38 | 0.196 % |
195.01/195.27 c | 258035 | 13734 65789 209962 | 2147483647 256750 38 | 0.196 % |
195.21/195.41 c | 258145 | 13734 65789 209962 | 2147483647 256860 38 | 0.196 % |
195.31/195.56 c | 258266 | 13734 65789 209962 | 2147483647 256981 38 | 0.196 % |
195.51/195.74 c | 258400 | 13734 65789 209962 | 2147483647 257115 38 | 0.196 % |
195.71/195.90 c | 258546 | 13734 65789 209962 | 2147483647 257261 38 | 0.196 % |
196.01/196.23 c | 258707 | 13734 65789 209962 | 2147483647 257422 38 | 0.196 % |
196.31/196.59 c | 258884 | 13734 65789 209962 | 2147483647 257599 38 | 0.196 % |
196.61/196.83 c | 259077 | 13734 65789 209962 | 2147483647 257792 38 | 0.196 % |
196.90/197.20 c | 259291 | 13734 65789 209962 | 2147483647 258006 38 | 0.196 % |
197.30/197.55 c | 259524 | 13734 65789 209962 | 2147483647 258239 38 | 0.196 % |
197.60/197.86 c | 259780 | 13734 65789 209962 | 2147483647 258495 38 | 0.197 % |
198.00/198.26 c | 260061 | 13734 65789 209962 | 2147483647 258776 38 | 0.196 % |
198.40/198.66 c | 260370 | 13734 65789 209962 | 2147483647 259085 38 | 0.196 % |
198.91/199.18 c | 260710 | 13734 65789 209962 | 2147483647 259425 38 | 0.196 % |
199.60/199.81 c | 261082 | 13734 65789 209962 | 2147483647 259797 38 | 0.196 % |
200.11/200.39 c | 261491 | 13734 65789 209962 | 2147483647 260206 38 | 0.196 % |
200.80/201.01 c | 261940 | 13734 65789 209962 | 2147483647 260655 38 | 0.196 % |
201.50/201.70 c | 262434 | 13734 65789 209962 | 2147483647 261149 38 | 0.196 % |
202.20/202.42 c | 262977 | 13734 65789 209962 | 2147483647 261692 38 | 0.196 % |
203.30/203.55 c | 263573 | 13734 65789 209962 | 2147483647 262288 38 | 0.196 % |
204.59/204.82 c | 264228 | 13734 65789 209962 | 2147483647 262943 38 | 0.196 % |
205.39/205.69 c | 264950 | 13734 65789 209962 | 2147483647 263665 38 | 0.196 % |
206.40/206.68 c | 265742 | 13734 65789 209962 | 2147483647 264457 38 | 0.196 % |
207.90/208.18 c | 266613 | 13734 65789 209962 | 2147483647 265328 38 | 0.196 % |
209.10/209.36 c | 267571 | 13734 65789 209962 | 2147483647 266286 38 | 0.196 % |
210.80/211.09 c | 268624 | 13734 65789 209962 | 2147483647 267339 38 | 0.196 % |
212.89/213.11 c | 269782 | 13734 65789 209962 | 2147483647 268497 38 | 0.196 % |
214.59/214.84 c | 271056 | 13734 65789 209962 | 2147483647 269771 38 | 0.196 % |
216.19/216.50 c | 272456 | 13734 65789 209962 | 2147483647 271171 38 | 0.196 % |
218.49/218.74 c | 273998 | 13734 65789 209962 | 2147483647 272713 38 | 0.196 % |
221.19/221.41 c | 275693 | 13734 65789 209962 | 2147483647 274408 38 | 0.196 % |
224.29/224.58 c | 277557 | 13734 65789 209962 | 2147483647 276272 39 | 0.196 % |
227.69/227.92 c | 279609 | 13734 65789 209962 | 2147483647 278324 39 | 0.196 % |
230.89/231.12 c | 281862 | 13734 65789 209962 | 2147483647 280577 38 | 0.196 % |
235.29/235.55 c | 284340 | 13734 65789 209962 | 2147483647 283055 38 | 0.197 % |
239.79/240.04 c | 287068 | 13734 65789 209962 | 2147483647 285783 38 | 0.196 % |
239.89/240.17 c | 287168 | 13734 65789 209962 | 2147483647 285883 38 | 0.196 % |
239.99/240.30 c | 287279 | 13734 65789 209962 | 2147483647 285994 38 | 0.196 % |
240.29/240.57 c | 287400 | 13734 65789 209962 | 2147483647 286115 38 | 0.196 % |
240.59/240.82 c | 287534 | 13734 65789 209962 | 2147483647 286249 39 | 0.196 % |
240.89/241.13 c | 287681 | 13734 65789 209962 | 2147483647 286396 39 | 0.196 % |
240.99/241.24 c | 287841 | 13734 65789 209962 | 2147483647 286556 38 | 0.196 % |
241.39/241.62 c | 288017 | 13734 65789 209962 | 2147483647 286732 39 | 0.196 % |
241.69/241.91 c | 288212 | 13734 65789 209962 | 2147483647 286927 39 | 0.196 % |
241.99/242.23 c | 288425 | 13734 65789 209962 | 2147483647 287140 39 | 0.196 % |
242.39/242.62 c | 288659 | 13734 65789 209962 | 2147483647 287374 39 | 0.196 % |
242.59/242.81 c | 288917 | 13734 65789 209962 | 2147483647 287632 39 | 0.196 % |
243.09/243.31 c | 289198 | 13734 65789 209962 | 2147483647 287913 38 | 0.196 % |
243.58/243.82 c | 289509 | 13734 65789 209962 | 2147483647 288224 39 | 0.196 % |
244.09/244.37 c | 289849 | 13734 65789 209962 | 2147483647 288564 39 | 0.196 % |
244.88/245.10 c | 290221 | 13733 65779 209934 | 2147483647 288929 39 | 0.203 % |
245.78/246.03 c | 290630 | 13733 65779 209934 | 2147483647 289338 39 | 0.203 % |
246.48/246.73 c | 291079 | 13733 65779 209934 | 2147483647 289787 39 | 0.203 % |
247.08/247.35 c | 291573 | 13733 65779 209934 | 2147483647 290281 39 | 0.204 % |
247.68/247.94 c | 292119 | 13733 65779 209934 | 2147483647 290827 39 | 0.203 % |
248.38/248.62 c | 292716 | 13732 65779 209934 | 2147483647 291423 39 | 0.233 % |
249.28/249.54 c | 293373 | 13732 65779 209934 | 2147483647 292080 39 | 0.233 % |
250.68/250.94 c | 294093 | 13732 65779 209934 | 2147483647 292800 39 | 0.233 % |
252.07/252.39 c | 294887 | 13732 65779 209934 | 2147483647 293594 39 | 0.233 % |
254.07/254.30 c | 295759 | 13732 65779 209934 | 2147483647 294466 39 | 0.233 % |
256.08/256.34 c | 296717 | 13732 65779 209934 | 2147483647 295424 39 | 0.233 % |
258.47/258.76 c | 297770 | 13732 65779 209934 | 2147483647 296477 39 | 0.233 % |
260.57/260.90 c | 298928 | 13732 65779 209934 | 2147483647 297635 39 | 0.233 % |
262.26/262.59 c | 300201 | 13732 65779 209934 | 2147483647 298908 39 | 0.233 % |
265.26/265.56 c | 301601 | 13732 65779 209934 | 2147483647 300308 39 | 0.233 % |
268.96/269.24 c | 303143 | 13732 65779 209934 | 2147483647 301850 39 | 0.233 % |
271.36/271.64 c | 304838 | 13732 65779 209934 | 2147483647 303545 39 | 0.233 % |
274.17/274.48 c | 306704 | 13732 65779 209934 | 2147483647 305411 39 | 0.233 % |
279.56/279.89 c | 308754 | 13729 65739 209822 | 2147483647 307396 39 | 0.233 % |
283.76/284.09 c | 311007 | 13729 65739 209822 | 2147483647 309649 39 | 0.233 % |
288.25/288.57 c | 313486 | 13729 65739 209822 | 2147483647 312128 40 | 0.233 % |
293.65/293.92 c | 316213 | 13729 65739 209822 | 2147483647 314855 40 | 0.233 % |
298.65/298.98 c | 319210 | 13729 65739 209822 | 2147483647 317852 40 | 0.233 % |
298.85/299.12 c | 319310 | 13729 65739 209822 | 2147483647 317952 40 | 0.233 % |
299.06/299.40 c | 319420 | 13729 65739 209822 | 2147483647 318062 40 | 0.233 % |
299.35/299.68 c | 319542 | 13729 65739 209822 | 2147483647 318184 40 | 0.233 % |
299.75/300.05 c | 319677 | 13729 65739 209822 | 2147483647 318319 40 | 0.233 % |
300.25/300.59 c | 319824 | 13729 65739 209822 | 2147483647 318466 40 | 0.233 % |
300.55/300.87 c | 319984 | 13729 65739 209822 | 2147483647 318626 40 | 0.233 % |
300.85/301.15 c | 320161 | 13729 65739 209822 | 2147483647 318803 40 | 0.233 % |
301.05/301.31 c | 320354 | 13729 65739 209822 | 2147483647 318996 40 | 0.233 % |
301.55/301.87 c | 320566 | 13729 65739 209822 | 2147483647 319208 40 | 0.233 % |
302.35/302.64 c | 320801 | 13729 65739 209822 | 2147483647 319443 40 | 0.233 % |
302.75/303.09 c | 321057 | 13729 65739 209822 | 2147483647 319699 40 | 0.233 % |
303.35/303.65 c | 321339 | 13729 65739 209822 | 2147483647 319981 40 | 0.233 % |
304.05/304.31 c | 321649 | 13729 65739 209822 | 2147483647 320291 40 | 0.233 % |
304.45/304.75 c | 321993 | 13729 65739 209822 | 2147483647 320635 40 | 0.233 % |
305.85/306.18 c | 322366 | 13729 65739 209822 | 2147483647 321008 40 | 0.233 % |
306.75/307.09 c | 322775 | 13729 65739 209822 | 2147483647 321417 40 | 0.233 % |
307.65/308.00 c | 323226 | 13729 65739 209822 | 2147483647 321868 40 | 0.233 % |
308.54/308.87 c | 323720 | 13729 65739 209822 | 2147483647 322362 40 | 0.233 % |
309.34/309.69 c | 324262 | 13729 65739 209822 | 2147483647 322904 40 | 0.233 % |
310.74/311.04 c | 324861 | 13729 65739 209822 | 2147483647 323503 41 | 0.233 % |
312.04/312.32 c | 325516 | 13729 65739 209822 | 2147483647 324158 41 | 0.233 % |
313.44/313.72 c | 326237 | 13729 65739 209822 | 2147483647 324879 41 | 0.233 % |
314.84/315.15 c | 327030 | 13729 65739 209822 | 2147483647 325672 41 | 0.233 % |
316.84/317.14 c | 327903 | 13729 65739 209822 | 2147483647 326545 41 | 0.233 % |
319.34/319.68 c | 328861 | 13729 65739 209822 | 2147483647 327503 41 | 0.233 % |
320.44/320.79 c | 329914 | 13729 65739 209822 | 2147483647 328556 41 | 0.233 % |
322.25/322.59 c | 331072 | 13729 65739 209822 | 2147483647 329714 41 | 0.233 % |
325.34/325.65 c | 332345 | 13729 65739 209822 | 2147483647 330987 41 | 0.233 % |
329.33/329.62 c | 333746 | 13729 65739 209822 | 2147483647 332388 41 | 0.233 % |
333.14/333.49 c | 335286 | 13729 65739 209822 | 2147483647 333928 41 | 0.233 % |
335.73/336.05 c | 336980 | 13729 65739 209822 | 2147483647 335622 41 | 0.233 % |
339.82/340.15 c | 338843 | 13729 65739 209822 | 2147483647 337485 41 | 0.233 % |
343.92/344.21 c | 340893 | 13729 65739 209822 | 2147483647 339535 41 | 0.233 % |
349.62/349.93 c | 343146 | 13729 65739 209822 | 2147483647 341788 41 | 0.233 % |
354.62/354.96 c | 345625 | 13729 65739 209822 | 2147483647 344267 41 | 0.233 % |
359.91/360.20 c | 348350 | 13729 65739 209822 | 2147483647 346992 41 | 0.233 % |
367.41/367.76 c | 351349 | 13729 65739 209822 | 2147483647 349991 41 | 0.233 % |
374.01/374.37 c | 354645 | 13729 65739 209822 | 2147483647 353287 41 | 0.233 % |
374.31/374.65 c | 354745 | 13729 65739 209822 | 2147483647 353387 41 | 0.233 % |
374.51/374.85 c | 354859 | 13729 65739 209822 | 2147483647 353501 41 | 0.233 % |
374.71/375.03 c | 354981 | 13729 65739 209822 | 2147483647 353623 41 | 0.233 % |
374.91/375.24 c | 355114 | 13729 65739 209822 | 2147483647 353756 41 | 0.233 % |
375.21/375.57 c | 355260 | 13729 65739 209822 | 2147483647 353902 41 | 0.233 % |
375.51/375.86 c | 355420 | 13729 65739 209822 | 2147483647 354062 41 | 0.233 % |
376.01/376.36 c | 355596 | 13729 65739 209822 | 2147483647 354238 41 | 0.233 % |
376.41/376.78 c | 355789 | 13729 65739 209822 | 2147483647 354431 41 | 0.233 % |
376.61/376.96 c | 356002 | 13729 65739 209822 | 2147483647 354644 41 | 0.233 % |
377.01/377.40 c | 356238 | 13729 65739 209822 | 2147483647 354880 41 | 0.233 % |
377.41/377.75 c | 356494 | 13729 65739 209822 | 2147483647 355136 41 | 0.233 % |
378.21/378.55 c | 356775 | 13729 65739 209822 | 2147483647 355417 41 | 0.233 % |
378.90/379.29 c | 357084 | 13729 65739 209822 | 2147483647 355726 41 | 0.233 % |
380.00/380.39 c | 357423 | 13729 65739 209822 | 2147483647 356065 41 | 0.233 % |
381.10/381.40 c | 357795 | 13729 65739 209822 | 2147483647 356437 41 | 0.233 % |
382.40/382.71 c | 358205 | 13729 65739 209822 | 2147483647 356847 41 | 0.233 % |
383.00/383.32 c | 358654 | 13729 65739 209822 | 2147483647 357296 41 | 0.233 % |
383.91/384.20 c | 359148 | 13729 65739 209822 | 2147483647 357790 41 | 0.233 % |
384.71/385.06 c | 359690 | 13729 65739 209822 | 2147483647 358332 41 | 0.233 % |
386.00/386.39 c | 360288 | 13729 65739 209822 | 2147483647 358930 41 | 0.233 % |
387.40/387.77 c | 360943 | 13729 65739 209822 | 2147483647 359585 41 | 0.233 % |
389.80/390.17 c | 361663 | 13729 65739 209822 | 2147483647 360305 41 | 0.233 % |
391.30/391.65 c | 362456 | 13729 65739 209822 | 2147483647 361098 41 | 0.233 % |
393.80/394.18 c | 363327 | 13728 65736 209816 | 2147483647 361966 41 | 0.240 % |
396.30/396.67 c | 364286 | 13728 65736 209816 | 2147483647 362925 41 | 0.240 % |
397.50/397.89 c | 365339 | 13728 65736 209816 | 2147483647 363978 41 | 0.240 % |
399.99/400.37 c | 366499 | 13728 65736 209816 | 2147483647 365138 41 | 0.240 % |
402.59/402.94 c | 367772 | 13728 65736 209816 | 2147483647 366411 41 | 0.240 % |
405.09/405.47 c | 369172 | 13728 65736 209816 | 2147483647 367811 41 | 0.240 % |
408.19/408.50 c | 370713 | 13728 65736 209816 | 2147483647 369352 41 | 0.240 % |
411.89/412.24 c | 372408 | 13728 65736 209816 | 2147483647 371047 41 | 0.240 % |
416.59/416.94 c | 374271 | 13728 65736 209816 | 2147483647 372909 41 | 0.247 % |
420.38/420.71 c | 376320 | 13728 65736 209816 | 2147483647 374958 41 | 0.247 % |
425.78/426.13 c | 378573 | 13728 65736 209816 | 2147483647 377211 42 | 0.247 % |
432.28/432.62 c | 381051 | 13728 65736 209816 | 2147483647 379689 41 | 0.247 % |
440.68/441.04 c | 383777 | 13728 65736 209816 | 2147483647 382415 41 | 0.247 % |
452.77/453.17 c | 386775 | 13727 65733 209810 | 2147483647 385411 42 | 0.247 % |
459.76/460.19 c | 390071 | 13726 65733 209810 | 2147483647 388706 42 | 0.254 % |
467.76/468.13 c | 393696 | 13726 65733 209810 | 2147483647 392330 42 | 0.262 % |
467.96/468.38 c | 393796 | 13726 65733 209810 | 2147483647 392430 42 | 0.262 % |
468.26/468.66 c | 393906 | 13726 65733 209810 | 2147483647 392540 42 | 0.262 % |
468.66/469.01 c | 394027 | 13726 65733 209810 | 2147483647 392661 42 | 0.262 % |
468.95/469.33 c | 394160 | 13726 65733 209810 | 2147483647 392794 42 | 0.262 % |
469.36/469.75 c | 394306 | 13726 65733 209810 | 2147483647 392940 42 | 0.262 % |
469.75/470.14 c | 394466 | 13726 65733 209810 | 2147483647 393100 42 | 0.262 % |
470.15/470.59 c | 394643 | 13726 65733 209810 | 2147483647 393277 42 | 0.262 % |
470.85/471.26 c | 394837 | 13726 65733 209810 | 2147483647 393471 42 | 0.262 % |
471.45/471.83 c | 395049 | 13726 65733 209810 | 2147483647 393683 42 | 0.262 % |
472.15/472.57 c | 395282 | 13726 65733 209810 | 2147483647 393916 42 | 0.262 % |
472.66/473.09 c | 395538 | 13726 65733 209810 | 2147483647 394172 42 | 0.262 % |
473.45/473.83 c | 395819 | 13726 65733 209810 | 2147483647 394453 42 | 0.262 % |
474.65/475.02 c | 396128 | 13726 65733 209810 | 2147483647 394762 42 | 0.262 % |
474.96/475.34 c | 396467 | 13726 65733 209810 | 2147483647 395101 42 | 0.262 % |
475.75/476.19 c | 396840 | 13726 65733 209810 | 2147483647 395474 42 | 0.262 % |
476.85/477.20 c | 397249 | 13726 65733 209810 | 2147483647 395883 42 | 0.262 % |
478.05/478.41 c | 397702 | 13726 65733 209810 | 2147483647 396336 42 | 0.262 % |
479.75/480.18 c | 398196 | 13726 65733 209810 | 2147483647 396830 42 | 0.262 % |
481.56/481.95 c | 398741 | 13726 65733 209810 | 2147483647 397375 42 | 0.262 % |
483.55/483.93 c | 399339 | 13726 65733 209810 | 2147483647 397973 42 | 0.262 % |
485.35/485.75 c | 399995 | 13726 65733 209810 | 2147483647 398629 42 | 0.262 % |
487.35/487.79 c | 400715 | 13726 65733 209810 | 398642 399349 42 | 0.262 % |
489.65/490.03 c | 401507 | 13726 65733 209810 | 398642 356292 40 | 0.262 % |
491.35/491.75 c | 402379 | 13726 65733 209810 | 398642 357164 40 | 0.262 % |
493.65/494.05 c | 403337 | 13726 65733 209810 | 398642 358122 40 | 0.262 % |
496.44/496.84 c | 404392 | 13725 65727 209798 | 398642 359164 40 | 0.262 % |
498.84/499.28 c | 405551 | 13725 65727 209798 | 398642 360323 40 | 0.262 % |
502.64/503.02 c | 406825 | 13725 65727 209798 | 398642 361597 40 | 0.262 % |
506.34/506.77 c | 408227 | 13725 65727 209798 | 398642 362999 40 | 0.262 % |
510.04/510.43 c | 409768 | 13725 65727 209798 | 398642 364540 40 | 0.262 % |
513.34/513.76 c | 411463 | 13725 65727 209798 | 364772 366235 40 | 0.262 % |
518.03/518.45 c | 413326 | 13725 65727 209798 | 364772 327797 40 | 0.443 % |
523.33/523.78 c | 415375 | 13725 65727 209798 | 364772 329846 40 | 0.443 % |
529.72/530.13 c | 417628 | 13725 65727 209798 | 364772 332099 40 | 0.444 % |
535.02/535.40 c | 420107 | 13725 65727 209798 | 2147483647 334578 40 | 0.443 % |
542.62/543.00 c | 422834 | 13725 65727 209798 | 2147483647 337305 40 | 0.444 % |
551.12/551.52 c | 425831 | 13700 65486 209124 | 2147483647 339940 40 | 0.444 % |
558.81/559.26 c | 429128 | 13700 65486 209124 | 2147483647 343237 40 | 0.443 % |
566.60/567.06 c | 432754 | 13700 65486 209124 | 2147483647 346863 40 | 0.443 % |
579.40/579.82 c | 436742 | 13700 65486 209124 | 2147483647 350851 41 | 0.443 % |
579.70/580.12 c | 436842 | 13700 65486 209124 | 2147483647 350951 41 | 0.443 % |
580.00/580.49 c | 436952 | 13700 65486 209124 | 2147483647 351061 41 | 0.443 % |
580.30/580.75 c | 437073 | 13699 65486 209124 | 2147483647 351181 41 | 0.451 % |
580.60/581.03 c | 437207 | 13699 65486 209124 | 2147483647 351315 41 | 0.451 % |
581.00/581.46 c | 437355 | 13699 65486 209124 | 2147483647 351463 41 | 0.451 % |
581.30/581.73 c | 437515 | 13699 65486 209124 | 2147483647 351623 41 | 0.451 % |
581.60/582.08 c | 437691 | 13699 65486 209124 | 2147483647 351799 41 | 0.451 % |
582.00/582.47 c | 437884 | 13699 65486 209124 | 2147483647 351992 41 | 0.451 % |
582.60/583.06 c | 438098 | 13699 65486 209124 | 2147483647 352206 41 | 0.451 % |
583.10/583.56 c | 438331 | 13699 65486 209124 | 2147483647 352439 41 | 0.451 % |
583.70/584.16 c | 438587 | 13699 65486 209124 | 2147483647 352695 41 | 0.451 % |
584.40/584.88 c | 438868 | 13699 65486 209124 | 2147483647 352976 41 | 0.451 % |
585.20/585.64 c | 439182 | 13699 65476 209096 | 2147483647 353287 41 | 0.451 % |
585.70/586.19 c | 439521 | 13699 65476 209096 | 2147483647 353626 41 | 0.451 % |
586.40/586.84 c | 439893 | 13699 65476 209096 | 2147483647 353998 41 | 0.451 % |
587.00/587.48 c | 440302 | 13699 65476 209096 | 2147483647 354407 41 | 0.451 % |
587.79/588.26 c | 440752 | 13699 65476 209096 | 2147483647 354857 41 | 0.451 % |
588.39/588.81 c | 441245 | 13699 65476 209096 | 2147483647 355350 41 | 0.451 % |
588.99/589.49 c | 441787 | 13699 65476 209096 | 2147483647 355892 41 | 0.451 % |
589.89/590.38 c | 442383 | 13699 65476 209096 | 2147483647 356488 41 | 0.451 % |
590.99/591.48 c | 443038 | 13699 65476 209096 | 2147483647 357143 41 | 0.451 % |
592.39/592.85 c | 443758 | 13699 65476 209096 | 2147483647 357863 41 | 0.451 % |
594.79/595.25 c | 444551 | 13699 65476 209096 | 2147483647 358656 41 | 0.451 % |
597.19/597.62 c | 445423 | 13699 65476 209096 | 2147483647 359528 41 | 0.451 % |
600.39/600.82 c | 446381 | 13699 65476 209096 | 2147483647 360486 41 | 0.451 % |
603.89/604.30 c | 447434 | 13699 65476 209096 | 2147483647 361539 41 | 0.451 % |
607.48/607.97 c | 448592 | 13699 65476 209096 | 2147483647 362697 41 | 0.451 % |
611.88/612.36 c | 449865 | 13699 65476 209096 | 2147483647 363970 41 | 0.451 % |
615.98/616.48 c | 451266 | 13699 65476 209096 | 2147483647 365371 41 | 0.451 % |
620.47/620.91 c | 452806 | 13699 65476 209096 | 2147483647 366911 41 | 0.451 % |
624.27/624.80 c | 454503 | 13699 65476 209096 | 2147483647 368608 41 | 0.451 % |
629.77/630.22 c | 456370 | 13699 65476 209096 | 2147483647 370475 41 | 0.451 % |
636.97/637.46 c | 458419 | 13699 65476 209096 | 2147483647 372524 41 | 0.451 % |
639.67/640.14 c | 460673 | 13699 65476 209096 | 2147483647 374778 41 | 0.451 % |
647.26/647.75 c | 463152 | 13699 65476 209096 | 2147483647 377257 41 | 0.451 % |
655.86/656.35 c | 465878 | 13699 65476 209096 | 2147483647 379983 41 | 0.451 % |
665.75/666.27 c | 468875 | 13698 65473 209090 | 2147483647 382975 41 | 0.458 % |
679.25/679.80 c | 472172 | 13698 65473 209090 | 384103 339764 40 | 0.465 % |
689.74/690.23 c | 475798 | 13697 65473 209090 | 384103 343389 40 | 0.472 % |
701.23/701.77 c | 479786 | 13697 65473 209090 | 384103 347377 40 | 0.472 % |
716.02/716.56 c | 484171 | 13697 65473 209090 | 2147483647 351762 40 | 0.472 % |
716.42/716.99 c | 484271 | 13697 65473 209090 | 2147483647 351862 40 | 0.472 % |
716.83/717.37 c | 484382 | 13697 65473 209090 | 2147483647 351973 40 | 0.472 % |
717.32/717.84 c | 484503 | 13697 65473 209090 | 2147483647 352094 40 | 0.472 % |
717.83/718.33 c | 484637 | 13697 65473 209090 | 2147483647 352228 40 | 0.472 % |
718.42/718.96 c | 484783 | 13697 65473 209090 | 2147483647 352374 40 | 0.472 % |
719.32/719.85 c | 484943 | 13696 65467 209078 | 2147483647 352532 40 | 0.472 % |
720.03/720.58 c | 485121 | 13696 65467 209078 | 2147483647 352710 40 | 0.472 % |
720.82/721.35 c | 485316 | 13696 65467 209078 | 2147483647 352905 40 | 0.472 % |
721.72/722.22 c | 485529 | 13696 65467 209078 | 2147483647 353118 40 | 0.472 % |
722.42/723.00 c | 485763 | 13696 65467 209078 | 2147483647 353352 40 | 0.472 % |
723.42/723.94 c | 486019 | 13696 65467 209078 | 2147483647 353608 40 | 0.472 % |
724.52/725.04 c | 486300 | 13696 65467 209078 | 2147483647 353889 40 | 0.472 % |
725.32/725.87 c | 486614 | 13696 65467 209078 | 2147483647 354203 40 | 0.472 % |
726.22/726.74 c | 486957 | 13696 65467 209078 | 2147483647 354546 40 | 0.472 % |
727.22/727.72 c | 487332 | 13696 65467 209078 | 2147483647 354921 40 | 0.472 % |
728.12/728.62 c | 487741 | 13696 65467 209078 | 2147483647 355330 40 | 0.472 % |
730.12/730.63 c | 488190 | 13696 65467 209078 | 2147483647 355779 40 | 0.472 % |
731.32/731.81 c | 488683 | 13696 65467 209078 | 2147483647 356272 40 | 0.472 % |
732.72/733.30 c | 489226 | 13696 65467 209078 | 2147483647 356815 41 | 0.472 % |
734.22/734.78 c | 489822 | 13696 65467 209078 | 2147483647 357411 41 | 0.472 % |
735.81/736.39 c | 490478 | 13696 65467 209078 | 357589 358067 41 | 0.472 % |
738.72/739.24 c | 491198 | 13696 65467 209078 | 357589 322056 38 | 0.472 % |
740.61/741.18 c | 491993 | 13696 65467 209078 | 357589 322851 38 | 0.472 % |
743.22/743.79 c | 492864 | 13696 65467 209078 | 357589 323722 38 | 0.472 % |
746.51/747.05 c | 493823 | 13696 65467 209078 | 357589 324681 38 | 0.472 % |
750.31/750.86 c | 494878 | 13696 65467 209078 | 357589 325736 38 | 0.472 % |
753.01/753.51 c | 496037 | 13696 65467 209078 | 357589 326895 38 | 0.472 % |
756.41/756.95 c | 497310 | 13696 65467 209078 | 357589 328168 38 | 0.472 % |
761.50/762.04 c | 498712 | 13696 65467 209078 | 357589 329570 38 | 0.472 % |
765.30/765.89 c | 500254 | 13696 65467 209078 | 2147483647 331112 38 | 0.472 % |
769.40/769.90 c | 501948 | 13695 65463 209070 | 2147483647 332778 38 | 0.480 % |
775.90/776.46 c | 503814 | 13695 65463 209070 | 2147483647 334644 38 | 0.480 % |
783.09/783.63 c | 505867 | 13695 65463 209070 | 2147483647 336697 38 | 0.480 % |
789.49/790.00 c | 508121 | 13695 65463 209070 | 2147483647 338951 38 | 0.480 % |
797.48/798.05 c | 510599 | 13695 65463 209070 | 2147483647 341429 38 | 0.480 % |
806.57/807.14 c | 513324 | 13695 65463 209070 | 2147483647 344154 39 | 0.480 % |
816.97/817.54 c | 516321 | 13695 65463 209070 | 2147483647 347151 39 | 0.480 % |
827.57/828.17 c | 519617 | 13695 65463 209070 | 2147483647 350447 39 | 0.480 % |
840.66/841.24 c | 523243 | 13695 65463 209070 | 350832 318789 38 | 0.480 % |
855.05/855.66 c | 527230 | 13694 65460 209064 | 350832 322773 38 | 0.530 % |
868.85/869.48 c | 531618 | 13694 65460 209064 | 2147483647 327161 39 | 0.531 % |
884.53/885.13 c | 536441 | 13694 65460 209064 | 2147483647 331984 39 | 0.530 % |
885.13/885.76 c | 536542 | 13688 65400 208896 | 2147483647 332068 39 | 0.530 % |
885.63/886.30 c | 536652 | 13688 65400 208896 | 2147483647 332178 39 | 0.530 % |
886.43/887.00 c | 536774 | 13688 65400 208896 | 2147483647 332300 39 | 0.530 % |
886.93/887.52 c | 536908 | 13688 65400 208896 | 2147483647 332434 39 | 0.530 % |
887.43/888.01 c | 537054 | 13688 65400 208896 | 2147483647 332580 39 | 0.530 % |
887.93/888.54 c | 537216 | 13688 65400 208896 | 2147483647 332742 39 | 0.530 % |
888.63/889.25 c | 537392 | 13688 65400 208896 | 2147483647 332918 39 | 0.530 % |
889.33/889.97 c | 537585 | 13688 65400 208896 | 2147483647 333111 39 | 0.530 % |
890.23/890.81 c | 537797 | 13688 65400 208896 | 2147483647 333323 39 | 0.530 % |
891.23/891.86 c | 538030 | 13688 65400 208896 | 2147483647 333556 39 | 0.530 % |
892.22/892.85 c | 538286 | 13688 65400 208896 | 2147483647 333812 39 | 0.530 % |
893.62/894.20 c | 538570 | 13688 65400 208896 | 2147483647 334096 39 | 0.530 % |
895.12/895.74 c | 538880 | 13688 65400 208896 | 2147483647 334406 39 | 0.530 % |
896.42/897.01 c | 539220 | 13688 65400 208896 | 2147483647 334746 39 | 0.530 % |
897.72/898.33 c | 539592 | 13688 65400 208896 | 2147483647 335118 39 | 0.530 % |
899.22/899.89 c | 540001 | 13688 65400 208896 | 2147483647 335527 39 | 0.530 % |
901.02/901.68 c | 540451 | 13688 65400 208896 | 335527 335977 39 | 0.530 % |
904.02/904.61 c | 540944 | 13688 65400 208896 | 335527 289222 35 | 0.530 % |
905.72/906.31 c | 541487 | 13688 65400 208896 | 335527 289765 35 | 0.530 % |
907.72/908.35 c | 542083 | 13688 65400 208896 | 335527 290361 35 | 0.530 % |
910.42/911.04 c | 542738 | 13688 65400 208896 | 335527 291016 35 | 0.530 % |
912.42/913.07 c | 543459 | 13688 65400 208896 | 335527 291737 35 | 0.530 % |
915.01/915.60 c | 544252 | 13688 65400 208896 | 335527 292530 35 | 0.530 % |
917.11/917.78 c | 545124 | 13688 65400 208896 | 335527 293402 35 | 0.530 % |
920.12/920.80 c | 546086 | 13688 65400 208896 | 335527 294364 35 | 0.531 % |
923.71/924.36 c | 547139 | 13688 65400 208896 | 335527 295417 35 | 0.530 % |
927.91/928.55 c | 548297 | 13688 65400 208896 | 335527 296575 35 | 0.530 % |
932.50/933.13 c | 549570 | 13688 65400 208896 | 335527 297847 35 | 0.538 % |
937.70/938.34 c | 550971 | 13687 65397 208890 | 2147483647 299245 35 | 0.538 % |
943.80/944.41 c | 552512 | 13687 65397 208890 | 2147483647 300786 35 | 0.538 % |
948.70/949.35 c | 554206 | 13687 65397 208890 | 2147483647 302480 35 | 0.538 % |
954.20/954.82 c | 556069 | 13687 65397 208890 | 2147483647 304343 36 | 0.538 % |
961.59/962.26 c | 558118 | 13687 65397 208890 | 2147483647 306392 36 | 0.538 % |
970.08/970.72 c | 560371 | 13687 65397 208890 | 308275 308645 36 | 0.538 % |
981.28/981.91 c | 562851 | 13687 65397 208890 | 308275 274640 34 | 0.538 % |
990.17/990.84 c | 565576 | 13687 65397 208890 | 308275 277365 35 | 0.538 % |
1001.88/1002.50 c | 568573 | 13687 65397 208890 | 308275 280362 35 | 0.538 % |
1014.27/1014.91 c | 571869 | 13687 65397 208890 | 2147483647 283658 35 | 0.538 % |
1020.87/1021.59 c | 575494 | 13687 65397 208890 | 2147483647 287283 35 | 0.538 % |
1032.56/1033.24 c | 579482 | 13687 65397 208890 | 2147483647 291271 35 | 0.538 % |
1044.95/1045.67 c | 583872 | 13687 65397 208890 | 2147483647 295661 35 | 0.538 % |
1057.55/1058.27 c | 588695 | 13686 65387 208862 | 2147483647 300481 35 | 0.545 % |
1073.44/1074.11 c | 594001 | 13686 65387 208862 | 2147483647 305787 36 | 0.545 % |
1073.84/1074.58 c | 594101 | 13686 65387 208862 | 2147483647 305887 36 | 0.545 % |
1074.24/1074.97 c | 594212 | 13686 65387 208862 | 2147483647 305998 36 | 0.545 % |
1074.84/1075.54 c | 594333 | 13686 65387 208862 | 2147483647 306119 36 | 0.545 % |
1075.34/1076.10 c | 594468 | 13686 65387 208862 | 2147483647 306254 36 | 0.545 % |
1076.04/1076.78 c | 594617 | 13686 65387 208862 | 2147483647 306403 36 | 0.545 % |
1076.74/1077.42 c | 594777 | 13686 65387 208862 | 2147483647 306563 36 | 0.545 % |
1077.74/1078.43 c | 594953 | 13686 65387 208862 | 2147483647 306739 36 | 0.545 % |
1078.54/1079.28 c | 595146 | 13686 65387 208862 | 2147483647 306932 36 | 0.545 % |
1079.34/1080.09 c | 595358 | 13686 65387 208862 | 2147483647 307144 36 | 0.545 % |
1080.54/1081.24 c | 595591 | 13686 65387 208862 | 2147483647 307377 36 | 0.545 % |
1081.53/1082.22 c | 595849 | 13686 65387 208862 | 2147483647 307635 36 | 0.545 % |
1082.73/1083.49 c | 596130 | 13686 65387 208862 | 2147483647 307916 36 | 0.545 % |
1084.13/1084.89 c | 596446 | 13686 65387 208862 | 2147483647 308232 36 | 0.545 % |
1085.73/1086.50 c | 596787 | 13686 65387 208862 | 2147483647 308573 36 | 0.545 % |
1087.13/1087.87 c | 597159 | 13686 65387 208862 | 2147483647 308945 36 | 0.545 % |
1089.43/1090.20 c | 597568 | 13685 65382 208852 | 2147483647 309352 36 | 0.552 % |
1091.33/1092.07 c | 598020 | 13685 65382 208852 | 2147483647 309804 36 | 0.552 % |
1093.63/1094.32 c | 598513 | 13685 65382 208852 | 2147483647 310297 36 | 0.552 % |
1096.03/1096.78 c | 599056 | 13685 65382 208852 | 2147483647 310840 36 | 0.552 % |
1098.62/1099.30 c | 599652 | 13685 65382 208852 | 2147483647 311436 36 | 0.552 % |
1101.53/1102.27 c | 600307 | 13685 65382 208852 | 311785 312091 36 | 0.552 % |
1105.72/1106.45 c | 601028 | 13685 65382 208852 | 311785 272945 33 | 0.552 % |
1109.11/1109.90 c | 601822 | 13685 65382 208852 | 311785 273739 33 | 0.552 % |
1112.91/1113.61 c | 602694 | 13685 65382 208852 | 311785 274611 33 | 0.552 % |
1116.31/1117.09 c | 603653 | 13685 65382 208852 | 311785 275570 33 | 0.552 % |
1117.81/1118.58 c | 604706 | 13685 65382 208852 | 311785 276623 33 | 0.552 % |
1121.51/1122.24 c | 605867 | 13685 65382 208852 | 311785 277784 33 | 0.552 % |
1124.01/1124.71 c | 607140 | 13685 65382 208852 | 311785 279057 33 | 0.552 % |
1127.61/1128.39 c | 608541 | 13685 65382 208852 | 311785 280458 33 | 0.552 % |
1132.31/1133.06 c | 610082 | 13685 65382 208852 | 2147483647 281999 33 | 0.552 % |
1137.81/1138.58 c | 611777 | 13685 65382 208852 | 2147483647 283694 33 | 0.552 % |
1143.80/1144.51 c | 613641 | 13685 65382 208852 | 2147483647 285558 33 | 0.552 % |
1150.69/1151.45 c | 615691 | 13685 65382 208852 | 2147483647 287608 33 | 0.552 % |
1158.89/1159.62 c | 617944 | 13685 65382 208852 | 2147483647 289861 33 | 0.552 % |
1168.78/1169.54 c | 620422 | 13685 65382 208852 | 291918 258811 30 | 0.552 % |
1177.68/1178.46 c | 623149 | 13685 65382 208852 | 291918 261538 30 | 0.552 % |
1188.37/1189.14 c | 626146 | 13685 65382 208852 | 291918 264535 31 | 0.552 % |
1196.74/1197.54 c | 629442 | 13685 65382 208852 | 291918 267831 31 | 0.552 % |
1204.93/1205.78 c | 633071 | 13685 65382 208852 | 2147483647 271460 31 | 0.552 % |
1216.82/1217.66 c | 637060 | 13685 65382 208852 | 2147483647 275449 32 | 0.552 % |
1227.82/1228.68 c | 641445 | 13685 65382 208852 | 2147483647 279834 32 | 0.552 % |
1238.22/1239.04 c | 646268 | 13685 65382 208852 | 2147483647 284657 32 | 0.552 % |
1253.60/1254.85 c | 651575 | 13685 65382 208852 | 2147483647 289964 32 | 0.552 % |
1266.39/1267.60 c | 657412 | 13684 65372 208824 | 2147483647 295797 32 | 0.560 % |
1266.79/1268.06 c | 657513 | 13684 65372 208824 | 2147483647 295898 32 | 0.560 % |
1267.39/1268.67 c | 657624 | 13684 65372 208824 | 2147483647 296009 32 | 0.560 % |
1267.58/1268.84 c | 657746 | 13684 65372 208824 | 2147483647 296131 32 | 0.560 % |
1267.98/1269.21 c | 657881 | 13684 65372 208824 | 2147483647 296266 32 | 0.560 % |
1268.29/1269.53 c | 658027 | 13684 65372 208824 | 2147483647 296412 32 | 0.560 % |
1268.88/1270.14 c | 658189 | 13684 65372 208824 | 2147483647 296574 32 | 0.560 % |
1269.48/1270.70 c | 658366 | 13684 65372 208824 | 2147483647 296751 32 | 0.560 % |
1269.88/1271.16 c | 658560 | 13684 65372 208824 | 2147483647 296945 32 | 0.560 % |
1270.39/1271.60 c | 658772 | 13684 65372 208824 | 2147483647 297157 32 | 0.560 % |
1270.68/1271.92 c | 659005 | 13684 65372 208824 | 2147483647 297390 32 | 0.560 % |
1271.38/1272.68 c | 659261 | 13684 65372 208824 | 2147483647 297646 32 | 0.560 % |
1272.48/1273.74 c | 659542 | 13684 65372 208824 | 2147483647 297927 32 | 0.560 % |
1273.08/1274.37 c | 659851 | 13684 65372 208824 | 2147483647 298236 32 | 0.560 % |
1274.28/1275.56 c | 660191 | 13684 65372 208824 | 2147483647 298576 32 | 0.560 % |
1274.68/1275.99 c | 660563 | 13684 65372 208824 | 2147483647 298948 32 | 0.560 % |
1275.68/1276.95 c | 660972 | 13684 65372 208824 | 2147483647 299357 32 | 0.560 % |
1276.88/1278.19 c | 661423 | 13684 65372 208824 | 2147483647 299808 32 | 0.560 % |
1279.08/1280.37 c | 661916 | 13684 65372 208824 | 2147483647 300301 32 | 0.560 % |
1280.38/1281.69 c | 662459 | 13684 65372 208824 | 2147483647 300844 32 | 0.560 % |
1282.77/1284.01 c | 663055 | 13684 65372 208824 | 2147483647 301440 32 | 0.560 % |
1285.06/1286.32 c | 663711 | 13683 65372 208824 | 2147483647 302095 32 | 0.567 % |
1288.36/1289.60 c | 664432 | 13683 65372 208824 | 2147483647 302816 32 | 0.567 % |
1292.05/1293.32 c | 665224 | 13683 65372 208824 | 2147483647 303608 32 | 0.567 % |
1296.55/1297.88 c | 666095 | 13683 65368 208816 | 2147483647 304464 32 | 0.567 % |
1300.15/1301.49 c | 667053 | 13683 65368 208816 | 2147483647 305422 32 | 0.567 % |
1304.85/1306.12 c | 668106 | 13683 65368 208816 | 2147483647 306475 32 | 0.567 % |
1310.35/1311.68 c | 669265 | 13683 65368 208816 | 2147483647 307634 32 | 0.567 % |
1315.94/1317.22 c | 670538 | 13683 65368 208816 | 308369 308907 32 | 0.567 % |
1320.14/1321.41 c | 671940 | 13683 65368 208816 | 308369 271047 28 | 0.567 % |
1323.94/1325.23 c | 673481 | 13683 65368 208816 | 308369 272588 28 | 0.567 % |
1329.03/1330.37 c | 675177 | 13683 65368 208816 | 308369 274284 29 | 0.567 % |
1334.73/1336.02 c | 677040 | 13683 65368 208816 | 308369 276147 29 | 0.567 % |
1339.53/1340.83 c | 679089 | 13683 65368 208816 | 308369 278196 29 | 0.567 % |
1345.23/1346.56 c | 681343 | 13683 65368 208816 | 2147483647 280450 29 | 0.567 % |
1353.22/1354.52 c | 683822 | 13683 65368 208816 | 2147483647 282929 29 | 0.567 % |
1363.32/1364.66 c | 686547 | 13683 65368 208816 | 2147483647 285654 29 | 0.567 % |
1370.91/1372.26 c | 689544 | 13683 65368 208816 | 2147483647 288651 29 | 0.567 % |
1376.41/1377.78 c | 692840 | 13683 65368 208816 | 2147483647 291947 29 | 0.567 % |
1388.41/1389.74 c | 696467 | 13683 65368 208816 | 2147483647 295574 29 | 0.567 % |
1403.20/1404.59 c | 700454 | 13683 65368 208816 | 299109 299561 29 | 0.567 % |
1421.20/1422.54 c | 704840 | 12884 59778 190523 | 299109 126884 18 | 6.373 % |
1428.99/1430.38 c | 709663 | 12884 59778 190523 | 299109 131707 18 | 6.373 % |
1436.79/1438.13 c | 714969 | 12884 59778 190523 | 2147483647 137013 19 | 6.374 % |
1443.29/1444.60 c ===============================================================================
1443.29/1444.60 c restarts : 1035
1443.29/1444.60 c conflicts : 718861 (499 /sec)
1443.29/1444.60 c decisions : 4855531 (1.33 % random) (3369 /sec)
1443.29/1444.60 c propagations : 547136068 (379601 /sec)
1443.29/1444.60 c conflict literals : 31562981 (64.93 % deleted)
1443.29/1444.60 c Memory used : 90.03 MB
1443.29/1444.60 c CPU time : 1441.34 s
1443.29/1444.60 c
1443.29/1444.60 s UNSATISFIABLE
1443.29/1444.62 s UNSATISFIABLE
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1837422-1242870074/watcher-1837422-1242870074 -o /tmp/evaluation-result-1837422-1242870074/solver-1837422-1242870074 -C 10000 -W 12000 -M 1800 SatELiteGTI HOME/instance-1837422-1242870074.cnf
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 10000 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 10030 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 12000 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 0.96 3/65 9804
/proc/meminfo: memFree=1808752/2055920 swapFree=4115068/4192956
[pid=9804] ppid=9802 vsize=5356 CPUtime=0
/proc/9804/stat : 9804 (SatELiteGTI) S 9802 9804 9701 0 -1 4194304 276 0 0 0 0 0 0 0 19 0 1 0 315036954 5484544 235 1992294400 4194304 4889804 548682068816 18446744073709551615 249070059602 0 0 4100 65536 18446744071563648864 0 0 17 0 0 0
/proc/9804/statm: 1339 235 195 169 0 50 0
[pid=9805] ppid=9804 vsize=5356 CPUtime=0
/proc/9805/stat : 9805 (SatELiteGTI) S 9804 9804 9701 0 -1 4194368 51 25 0 0 0 0 0 0 20 0 1 0 315036955 5484544 238 1992294400 4194304 4889804 548682068816 18446744073709551615 249069888324 0 65536 4096 65538 18446744071563356171 0 0 17 0 0 0
/proc/9805/statm: 1339 238 198 169 0 50 0
[pid=9807] ppid=9805 vsize=5356 CPUtime=0
/proc/9807/stat : 9807 (SatELiteGTI) R 9805 9804 9701 0 -1 4194368 19 0 0 0 0 0 0 0 22 0 1 0 315036955 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 249069890855 0 0 4096 0 0 0 0 17 1 0 0
/proc/9807/statm: 1339 239 199 169 0 50 0
[startup+0.102527 s]
/proc/loadavg: 1.00 1.00 0.96 3/65 9804
/proc/meminfo: memFree=1808752/2055920 swapFree=4115068/4192956
[pid=9804] ppid=9802 vsize=5356 CPUtime=0
/proc/9804/stat : 9804 (SatELiteGTI) S 9802 9804 9701 0 -1 4194304 310 249 0 0 0 0 0 0 20 0 1 0 315036954 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 249069888324 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/9804/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.201542 s]
/proc/loadavg: 1.00 1.00 0.96 3/65 9804
/proc/meminfo: memFree=1808752/2055920 swapFree=4115068/4192956
[pid=9804] ppid=9802 vsize=5356 CPUtime=0
/proc/9804/stat : 9804 (SatELiteGTI) S 9802 9804 9701 0 -1 4194304 310 249 0 0 0 0 0 0 20 0 1 0 315036954 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 249069888324 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/9804/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.301556 s]
/proc/loadavg: 1.00 1.00 0.96 3/65 9804
/proc/meminfo: memFree=1808752/2055920 swapFree=4115068/4192956
[pid=9804] ppid=9802 vsize=5356 CPUtime=0
/proc/9804/stat : 9804 (SatELiteGTI) S 9802 9804 9701 0 -1 4194304 310 249 0 0 0 0 0 0 20 0 1 0 315036954 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 249069888324 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/9804/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.701631 s]
/proc/loadavg: 1.00 1.00 0.96 3/65 9804
/proc/meminfo: memFree=1808752/2055920 swapFree=4115068/4192956
[pid=9804] ppid=9802 vsize=5356 CPUtime=0
/proc/9804/stat : 9804 (SatELiteGTI) S 9802 9804 9701 0 -1 4194304 310 249 0 0 0 0 0 0 20 0 1 0 315036954 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 249069888324 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/9804/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+1.50176 s]
/proc/loadavg: 1.00 1.00 0.96 2/67 9809
/proc/meminfo: memFree=1779296/2055920 swapFree=4115068/4192956
[pid=9804] ppid=9802 vsize=5356 CPUtime=0
/proc/9804/stat : 9804 (SatELiteGTI) S 9802 9804 9701 0 -1 4194304 310 249 0 0 0 0 0 0 20 0 1 0 315036954 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 249069888324 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/9804/statm: 1339 237 197 169 0 50 0
[pid=9809] ppid=9804 vsize=23620 CPUtime=1.48
/proc/9809/stat : 9809 (SatELite_releas) R 9804 9804 9701 0 -1 4194304 5883 0 0 0 143 5 0 0 25 0 1 0 315036955 24186880 5291 1992294400 134512640 135223648 4294956128 18446744073709551615 134586834 0 0 4096 3 0 0 0 17 0 0 0
/proc/9809/statm: 5905 5291 76 173 0 5730 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 28976
[startup+3.10205 s]
/proc/loadavg: 1.00 1.00 0.96 2/67 9810
/proc/meminfo: memFree=1792800/2055920 swapFree=4115068/4192956
[pid=9804] ppid=9802 vsize=5356 CPUtime=1.67
/proc/9804/stat : 9804 (SatELiteGTI) S 9802 9804 9701 0 -1 4194304 336 6946 0 0 0 0 159 8 16 0 1 0 315036954 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 249069888324 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/9804/statm: 1339 239 197 169 0 50 0
[pid=9810] ppid=9804 vsize=7176 CPUtime=1.39
/proc/9810/stat : 9810 (minisat_static) R 9804 9804 9701 0 -1 4194304 1595 0 0 0 139 0 0 0 25 0 1 0 315037123 7348224 1581 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/9810/statm: 1794 1581 77 171 0 1621 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 12532
[startup+6.30161 s]
/proc/loadavg: 1.16 1.03 0.97 2/67 9810
/proc/meminfo: memFree=1790368/2055920 swapFree=4115068/4192956
[pid=9804] ppid=9802 vsize=5356 CPUtime=1.67
/proc/9804/stat : 9804 (SatELiteGTI) S 9802 9804 9701 0 -1 4194304 336 6946 0 0 0 0 159 8 16 0 1 0 315036954 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 249069888324 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/9804/statm: 1339 239 197 169 0 50 0
[pid=9810] ppid=9804 vsize=8812 CPUtime=4.59
/proc/9810/stat : 9810 (minisat_static) R 9804 9804 9701 0 -1 4194304 2004 0 0 0 457 2 0 0 25 0 1 0 315037123 9023488 1990 1992294400 134512640 135215339 4294956240 18446744073709551615 134537869 0 0 4096 3 0 0 0 17 0 0 0
/proc/9810/statm: 2203 1990 77 171 0 2030 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 14168
[startup+12.7018 s]
/proc/loadavg: 1.15 1.03 0.97 2/67 9810
/proc/meminfo: memFree=1787680/2055920 swapFree=4115068/4192956
[pid=9804] ppid=9802 vsize=5356 CPUtime=1.67
/proc/9804/stat : 9804 (SatELiteGTI) S 9802 9804 9701 0 -1 4194304 336 6946 0 0 0 0 159 8 16 0 1 0 315036954 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 249069888324 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/9804/statm: 1339 239 197 169 0 50 0
[pid=9810] ppid=9804 vsize=11828 CPUtime=10.98
/proc/9810/stat : 9810 (minisat_static) R 9804 9804 9701 0 -1 4194304 2769 0 0 0 1095 3 0 0 25 0 1 0 315037123 12111872 2755 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/9810/statm: 2957 2755 77 171 0 2784 0
Current children cumulated CPU time (s) 12.65
Current children cumulated vsize (KiB) 17184
[startup+25.502 s]
/proc/loadavg: 1.11 1.03 0.97 2/67 9810
/proc/meminfo: memFree=1782240/2055920 swapFree=4115068/4192956
[pid=9804] ppid=9802 vsize=5356 CPUtime=1.67
/proc/9804/stat : 9804 (SatELiteGTI) S 9802 9804 9701 0 -1 4194304 336 6946 0 0 0 0 159 8 16 0 1 0 315036954 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 249069888324 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/9804/statm: 1339 239 197 169 0 50 0
[pid=9810] ppid=9804 vsize=17232 CPUtime=23.76
/proc/9810/stat : 9810 (minisat_static) R 9804 9804 9701 0 -1 4194304 4108 0 0 0 2372 4 0 0 25 0 1 0 315037123 17645568 4094 1992294400 134512640 135215339 4294956240 18446744073709551615 134721382 0 0 4096 3 0 0 0 17 0 0 0
/proc/9810/statm: 4308 4094 77 171 0 4135 0
Current children cumulated CPU time (s) 25.43
Current children cumulated vsize (KiB) 22588
[startup+51.1016 s]
/proc/loadavg: 1.07 1.03 0.97 2/67 9810
/proc/meminfo: memFree=1773984/2055920 swapFree=4115068/4192956
[pid=9804] ppid=9802 vsize=5356 CPUtime=1.67
/proc/9804/stat : 9804 (SatELiteGTI) S 9802 9804 9701 0 -1 4194304 336 6946 0 0 0 0 159 8 16 0 1 0 315036954 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 249069888324 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/9804/statm: 1339 239 197 169 0 50 0
[pid=9810] ppid=9804 vsize=25488 CPUtime=49.34
/proc/9810/stat : 9810 (minisat_static) R 9804 9804 9701 0 -1 4194304 6181 0 0 0 4927 7 0 0 25 0 1 0 315037123 26099712 6167 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/9810/statm: 6372 6167 77 171 0 6199 0
Current children cumulated CPU time (s) 51.01
Current children cumulated vsize (KiB) 30844
[startup+102.302 s]
/proc/loadavg: 1.03 1.02 0.97 2/67 9810
/proc/meminfo: memFree=1761824/2055920 swapFree=4115068/4192956
[pid=9804] ppid=9802 vsize=5356 CPUtime=1.67
/proc/9804/stat : 9804 (SatELiteGTI) S 9802 9804 9701 0 -1 4194304 336 6946 0 0 0 0 159 8 16 0 1 0 315036954 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 249069888324 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/9804/statm: 1339 239 197 169 0 50 0
[pid=9810] ppid=9804 vsize=37544 CPUtime=100.5
/proc/9810/stat : 9810 (minisat_static) R 9804 9804 9701 0 -1 4194304 9162 0 0 0 10040 10 0 0 25 0 1 0 315037123 38445056 9148 1992294400 134512640 135215339 4294956240 18446744073709551615 134528814 0 0 4096 3 0 0 0 17 0 0 0
/proc/9810/statm: 9386 9148 77 171 0 9213 0
Current children cumulated CPU time (s) 102.17
Current children cumulated vsize (KiB) 42900
[startup+162.301 s]
/proc/loadavg: 1.01 1.02 0.97 2/67 9812
/proc/meminfo: memFree=1749792/2055920 swapFree=4115068/4192956
[pid=9804] ppid=9802 vsize=5356 CPUtime=1.67
/proc/9804/stat : 9804 (SatELiteGTI) S 9802 9804 9701 0 -1 4194304 336 6946 0 0 0 0 159 8 16 0 1 0 315036954 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 249069888324 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/9804/statm: 1339 239 197 169 0 50 0
[pid=9810] ppid=9804 vsize=49776 CPUtime=160.45
/proc/9810/stat : 9810 (minisat_static) R 9804 9804 9701 0 -1 4194304 12158 0 0 0 16032 13 0 0 25 0 1 0 315037123 50970624 12144 1992294400 134512640 135215339 4294956240 18446744073709551615 134528884 0 0 4096 3 0 0 0 17 0 0 0
/proc/9810/statm: 12444 12144 77 171 0 12271 0
Current children cumulated CPU time (s) 162.12
Current children cumulated vsize (KiB) 55132
[startup+222.306 s]
/proc/loadavg: 1.00 1.01 0.97 2/67 9812
/proc/meminfo: memFree=1740320/2055920 swapFree=4115068/4192956
[pid=9804] ppid=9802 vsize=5356 CPUtime=1.67
/proc/9804/stat : 9804 (SatELiteGTI) S 9802 9804 9701 0 -1 4194304 336 6946 0 0 0 0 159 8 16 0 1 0 315036954 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 249069888324 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/9804/statm: 1339 239 197 169 0 50 0
[pid=9810] ppid=9804 vsize=59108 CPUtime=220.42
/proc/9810/stat : 9810 (minisat_static) R 9804 9804 9701 0 -1 4194304 14511 0 0 0 22027 15 0 0 25 0 1 0 315037123 60526592 14497 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/9810/statm: 14777 14497 77 171 0 14604 0
Current children cumulated CPU time (s) 222.09
Current children cumulated vsize (KiB) 64464
[startup+282.303 s]
/proc/loadavg: 1.00 1.00 0.97 2/67 9812
/proc/meminfo: memFree=1732896/2055920 swapFree=4115068/4192956
[pid=9804] ppid=9802 vsize=5356 CPUtime=1.67
/proc/9804/stat : 9804 (SatELiteGTI) S 9802 9804 9701 0 -1 4194304 336 6946 0 0 0 0 159 8 16 0 1 0 315036954 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 249069888324 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/9804/statm: 1339 239 197 169 0 50 0
[pid=9810] ppid=9804 vsize=66612 CPUtime=280.39
/proc/9810/stat : 9810 (minisat_static) R 9804 9804 9701 0 -1 4194304 16402 0 0 0 28022 17 0 0 25 0 1 0 315037123 68210688 16388 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/9810/statm: 16653 16388 77 171 0 16480 0
Current children cumulated CPU time (s) 282.06
Current children cumulated vsize (KiB) 71968
[startup+342.301 s]
/proc/loadavg: 1.00 1.00 0.97 2/67 9812
/proc/meminfo: memFree=1724896/2055920 swapFree=4115068/4192956
[pid=9804] ppid=9802 vsize=5356 CPUtime=1.67
/proc/9804/stat : 9804 (SatELiteGTI) S 9802 9804 9701 0 -1 4194304 336 6946 0 0 0 0 159 8 16 0 1 0 315036954 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 249069888324 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/9804/statm: 1339 239 197 169 0 50 0
[pid=9810] ppid=9804 vsize=74904 CPUtime=340.35
/proc/9810/stat : 9810 (minisat_static) R 9804 9804 9701 0 -1 4194304 18356 0 0 0 34016 19 0 0 25 0 1 0 315037123 76701696 18342 1992294400 134512640 135215339 4294956240 18446744073709551615 134528740 0 0 4096 3 0 0 0 17 0 0 0
/proc/9810/statm: 18726 18342 77 171 0 18553 0
Current children cumulated CPU time (s) 342.02
Current children cumulated vsize (KiB) 80260
[startup+402.302 s]
/proc/loadavg: 1.00 1.00 0.97 2/67 9812
/proc/meminfo: memFree=1718816/2055920 swapFree=4115068/4192956
[pid=9804] ppid=9802 vsize=5356 CPUtime=1.67
/proc/9804/stat : 9804 (SatELiteGTI) S 9802 9804 9701 0 -1 4194304 336 6946 0 0 0 0 159 8 16 0 1 0 315036954 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 249069888324 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/9804/statm: 1339 239 197 169 0 50 0
[pid=9810] ppid=9804 vsize=80908 CPUtime=400.32
################
# More data... #
################
[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 0.97 2/67 9812
/proc/meminfo: memFree=1708576/2055920 swapFree=4115068/4192956
[pid=9804] ppid=9802 vsize=5356 CPUtime=1.67
/proc/9804/stat : 9804 (SatELiteGTI) S 9802 9804 9701 0 -1 4194304 336 6946 0 0 0 0 159 8 16 0 1 0 315036954 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 249069888324 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/9804/statm: 1339 239 197 169 0 50 0
[pid=9810] ppid=9804 vsize=90592 CPUtime=1000.01
/proc/9810/stat : 9810 (minisat_static) R 9804 9804 9701 0 -1 4194304 22274 0 0 0 99977 24 0 0 25 0 1 0 315037123 92766208 22260 1992294400 134512640 135215339 4294956240 18446744073709551615 134528779 0 0 4096 3 0 0 0 17 0 0 0
/proc/9810/statm: 22648 22260 77 171 0 22475 0
Current children cumulated CPU time (s) 1001.68
Current children cumulated vsize (KiB) 95948
[startup+1062.3 s]
/proc/loadavg: 1.06 1.02 0.98 2/67 9812
/proc/meminfo: memFree=1708128/2055920 swapFree=4115068/4192956
[pid=9804] ppid=9802 vsize=5356 CPUtime=1.67
/proc/9804/stat : 9804 (SatELiteGTI) S 9802 9804 9701 0 -1 4194304 336 6946 0 0 0 0 159 8 16 0 1 0 315036954 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 249069888324 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/9804/statm: 1339 239 197 169 0 50 0
[pid=9810] ppid=9804 vsize=91216 CPUtime=1059.97
/proc/9810/stat : 9810 (minisat_static) R 9804 9804 9701 0 -1 4194304 22389 0 0 0 105973 24 0 0 25 0 1 0 315037123 93405184 22375 1992294400 134512640 135215339 4294956240 18446744073709551615 134528721 0 0 4096 3 0 0 0 17 0 0 0
/proc/9810/statm: 22804 22375 77 171 0 22631 0
Current children cumulated CPU time (s) 1061.64
Current children cumulated vsize (KiB) 96572
[startup+1122.3 s]
/proc/loadavg: 1.08 1.03 0.99 2/67 9812
/proc/meminfo: memFree=1708000/2055920 swapFree=4115068/4192956
[pid=9804] ppid=9802 vsize=5356 CPUtime=1.67
/proc/9804/stat : 9804 (SatELiteGTI) S 9802 9804 9701 0 -1 4194304 336 6946 0 0 0 0 159 8 16 0 1 0 315036954 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 249069888324 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/9804/statm: 1339 239 197 169 0 50 0
[pid=9810] ppid=9804 vsize=91216 CPUtime=1119.94
/proc/9810/stat : 9810 (minisat_static) R 9804 9804 9701 0 -1 4194304 22400 0 0 0 111970 24 0 0 25 0 1 0 315037123 93405184 22386 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/9810/statm: 22804 22386 77 171 0 22631 0
Current children cumulated CPU time (s) 1121.61
Current children cumulated vsize (KiB) 96572
[startup+1182.3 s]
/proc/loadavg: 1.08 1.03 0.99 2/67 9812
/proc/meminfo: memFree=1707872/2055920 swapFree=4115068/4192956
[pid=9804] ppid=9802 vsize=5356 CPUtime=1.67
/proc/9804/stat : 9804 (SatELiteGTI) S 9802 9804 9701 0 -1 4194304 336 6946 0 0 0 0 159 8 16 0 1 0 315036954 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 249069888324 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/9804/statm: 1339 239 197 169 0 50 0
[pid=9810] ppid=9804 vsize=91376 CPUtime=1179.91
/proc/9810/stat : 9810 (minisat_static) R 9804 9804 9701 0 -1 4194304 22422 0 0 0 117967 24 0 0 25 0 1 0 315037123 93569024 22408 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/9810/statm: 22844 22408 77 171 0 22671 0
Current children cumulated CPU time (s) 1181.58
Current children cumulated vsize (KiB) 96732
[startup+1242.3 s]
/proc/loadavg: 1.08 1.04 1.00 2/67 9818
/proc/meminfo: memFree=1707296/2055920 swapFree=4115068/4192956
[pid=9804] ppid=9802 vsize=5356 CPUtime=1.67
/proc/9804/stat : 9804 (SatELiteGTI) S 9802 9804 9701 0 -1 4194304 336 6946 0 0 0 0 159 8 16 0 1 0 315036954 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 249069888324 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/9804/statm: 1339 239 197 169 0 50 0
[pid=9810] ppid=9804 vsize=91620 CPUtime=1239.84
/proc/9810/stat : 9810 (minisat_static) R 9804 9804 9701 0 -1 4194304 22515 0 0 0 123959 25 0 0 25 0 1 0 315037123 93818880 22501 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/9810/statm: 22905 22501 77 171 0 22732 0
Current children cumulated CPU time (s) 1241.51
Current children cumulated vsize (KiB) 96976
[startup+1302.3 s]
/proc/loadavg: 1.21 1.10 1.02 2/67 10294
/proc/meminfo: memFree=1665120/2055920 swapFree=4115068/4192956
[pid=9804] ppid=9802 vsize=5356 CPUtime=1.67
/proc/9804/stat : 9804 (SatELiteGTI) S 9802 9804 9701 0 -1 4194304 336 6946 0 0 0 0 159 8 16 0 1 0 315036954 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 249069888324 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/9804/statm: 1339 239 197 169 0 50 0
[pid=9810] ppid=9804 vsize=91904 CPUtime=1299.38
/proc/9810/stat : 9810 (minisat_static) R 9804 9804 9701 0 -1 4194304 22570 0 0 0 129911 27 0 0 25 0 1 0 315037123 94109696 22556 1992294400 134512640 135215339 4294956240 18446744073709551615 134528830 0 0 4096 3 0 0 0 17 0 0 0
/proc/9810/statm: 22976 22556 77 171 0 22803 0
Current children cumulated CPU time (s) 1301.05
Current children cumulated vsize (KiB) 97260
[startup+1362.3 s]
/proc/loadavg: 1.08 1.08 1.01 2/67 10294
/proc/meminfo: memFree=1665056/2055920 swapFree=4115068/4192956
[pid=9804] ppid=9802 vsize=5356 CPUtime=1.67
/proc/9804/stat : 9804 (SatELiteGTI) S 9802 9804 9701 0 -1 4194304 336 6946 0 0 0 0 159 8 16 0 1 0 315036954 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 249069888324 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/9804/statm: 1339 239 197 169 0 50 0
[pid=9810] ppid=9804 vsize=92068 CPUtime=1359.35
/proc/9810/stat : 9810 (minisat_static) R 9804 9804 9701 0 -1 4194304 22609 0 0 0 135908 27 0 0 25 0 1 0 315037123 94277632 22595 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/9810/statm: 23017 22595 77 171 0 22844 0
Current children cumulated CPU time (s) 1361.02
Current children cumulated vsize (KiB) 97424
[startup+1422.3 s]
/proc/loadavg: 1.03 1.06 1.01 2/67 10294
/proc/meminfo: memFree=1664992/2055920 swapFree=4115068/4192956
[pid=9804] ppid=9802 vsize=5356 CPUtime=1.67
/proc/9804/stat : 9804 (SatELiteGTI) S 9802 9804 9701 0 -1 4194304 336 6946 0 0 0 0 159 8 16 0 1 0 315036954 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 249069888324 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/9804/statm: 1339 239 197 169 0 50 0
[pid=9810] ppid=9804 vsize=92188 CPUtime=1419.33
/proc/9810/stat : 9810 (minisat_static) R 9804 9804 9701 0 -1 4194304 22644 0 0 0 141905 28 0 0 25 0 1 0 315037123 94400512 22630 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/9810/statm: 23047 22630 77 171 0 22874 0
Current children cumulated CPU time (s) 1421
Current children cumulated vsize (KiB) 97544
Solver just ended. Dumping a history of the last processes samples
[startup+1433.6 s]
/proc/loadavg: 1.02 1.06 1.01 2/67 10294
/proc/meminfo: memFree=1664992/2055920 swapFree=4115068/4192956
[pid=9804] ppid=9802 vsize=5356 CPUtime=1.67
/proc/9804/stat : 9804 (SatELiteGTI) S 9802 9804 9701 0 -1 4194304 336 6946 0 0 0 0 159 8 16 0 1 0 315036954 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 249069888324 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/9804/statm: 1339 239 197 169 0 50 0
[pid=9810] ppid=9804 vsize=92188 CPUtime=1430.62
/proc/9810/stat : 9810 (minisat_static) R 9804 9804 9701 0 -1 4194304 22644 0 0 0 143034 28 0 0 25 0 1 0 315037123 94400512 22630 1992294400 134512640 135215339 4294956240 18446744073709551615 134532626 0 0 4096 3 0 0 0 17 0 0 0
/proc/9810/statm: 23047 22630 77 171 0 22874 0
Current children cumulated CPU time (s) 1432.29
Current children cumulated vsize (KiB) 97544
[startup+1440.01 s]
/proc/loadavg: 1.02 1.06 1.01 2/67 10294
/proc/meminfo: memFree=1664992/2055920 swapFree=4115068/4192956
[pid=9804] ppid=9802 vsize=5356 CPUtime=1.67
/proc/9804/stat : 9804 (SatELiteGTI) S 9802 9804 9701 0 -1 4194304 336 6946 0 0 0 0 159 8 16 0 1 0 315036954 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 249069888324 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/9804/statm: 1339 239 197 169 0 50 0
[pid=9810] ppid=9804 vsize=92188 CPUtime=1437.02
/proc/9810/stat : 9810 (minisat_static) R 9804 9804 9701 0 -1 4194304 22644 0 0 0 143674 28 0 0 25 0 1 0 315037123 94400512 22630 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 0 0 0
/proc/9810/statm: 23047 22630 77 171 0 22874 0
Current children cumulated CPU time (s) 1438.69
Current children cumulated vsize (KiB) 97544
[startup+1443.2 s]
/proc/loadavg: 1.02 1.06 1.00 2/67 10294
/proc/meminfo: memFree=1664992/2055920 swapFree=4115068/4192956
[pid=9804] ppid=9802 vsize=5356 CPUtime=1.67
/proc/9804/stat : 9804 (SatELiteGTI) S 9802 9804 9701 0 -1 4194304 336 6946 0 0 0 0 159 8 16 0 1 0 315036954 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 249069888324 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/9804/statm: 1339 239 197 169 0 50 0
[pid=9810] ppid=9804 vsize=92188 CPUtime=1440.22
/proc/9810/stat : 9810 (minisat_static) R 9804 9804 9701 0 -1 4194304 22644 0 0 0 143994 28 0 0 25 0 1 0 315037123 94400512 22630 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/9810/statm: 23047 22630 77 171 0 22874 0
Current children cumulated CPU time (s) 1441.89
Current children cumulated vsize (KiB) 97544
[startup+1444 s]
/proc/loadavg: 1.02 1.06 1.00 2/67 10294
/proc/meminfo: memFree=1664992/2055920 swapFree=4115068/4192956
[pid=9804] ppid=9802 vsize=5356 CPUtime=1.67
/proc/9804/stat : 9804 (SatELiteGTI) S 9802 9804 9701 0 -1 4194304 336 6946 0 0 0 0 159 8 16 0 1 0 315036954 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 249069888324 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/9804/statm: 1339 239 197 169 0 50 0
[pid=9810] ppid=9804 vsize=92188 CPUtime=1441.02
/proc/9810/stat : 9810 (minisat_static) R 9804 9804 9701 0 -1 4194304 22644 0 0 0 144074 28 0 0 25 0 1 0 315037123 94400512 22630 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/9810/statm: 23047 22630 77 171 0 22874 0
Current children cumulated CPU time (s) 1442.69
Current children cumulated vsize (KiB) 97544
[startup+1444.41 s]
/proc/loadavg: 1.02 1.06 1.00 2/67 10294
/proc/meminfo: memFree=1664992/2055920 swapFree=4115068/4192956
[pid=9804] ppid=9802 vsize=5356 CPUtime=1.67
/proc/9804/stat : 9804 (SatELiteGTI) S 9802 9804 9701 0 -1 4194304 336 6946 0 0 0 0 159 8 16 0 1 0 315036954 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 249069888324 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/9804/statm: 1339 239 197 169 0 50 0
[pid=9810] ppid=9804 vsize=92188 CPUtime=1441.42
/proc/9810/stat : 9810 (minisat_static) R 9804 9804 9701 0 -1 4194304 22644 0 0 0 144114 28 0 0 25 0 1 0 315037123 94400512 22630 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/9810/statm: 23047 22630 77 171 0 22874 0
Current children cumulated CPU time (s) 1443.09
Current children cumulated vsize (KiB) 97544
[startup+1444.6 s]
/proc/loadavg: 1.02 1.06 1.00 2/67 10294
/proc/meminfo: memFree=1664992/2055920 swapFree=4115068/4192956
[pid=9804] ppid=9802 vsize=5356 CPUtime=1.67
/proc/9804/stat : 9804 (SatELiteGTI) S 9802 9804 9701 0 -1 4194304 336 6946 0 0 0 0 159 8 16 0 1 0 315036954 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 249069888324 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/9804/statm: 1339 239 197 169 0 50 0
[pid=9810] ppid=9804 vsize=92188 CPUtime=1441.62
/proc/9810/stat : 9810 (minisat_static) R 9804 9804 9701 0 -1 4194304 22644 0 0 0 144134 28 0 0 25 0 1 0 315037123 94400512 22630 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/9810/statm: 23047 22630 77 171 0 22874 0
Current children cumulated CPU time (s) 1443.29
Current children cumulated vsize (KiB) 97544
Child status: 20
Real time (s): 1444.63
CPU time (s): 1443.33
CPU user time (s): 1442.94
CPU system time (s): 0.384941
CPU usage (%): 99.9099
Max. virtual memory (cumulated for all children) (KiB): 97544
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1442.94
system time used= 0.384941
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 30086
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= 47
involuntary context switches= 8811
runsolver used 1.47877 second user time and 3.89041 second system time
The end
Begin job on node89 at 2009-05-21 03:41:14
IDJOB=1837422
IDBENCH=70956
IDSOLVER=674
FILE ID=node89/1837422-1242870074
PBS_JOBID= 9328596
Free space on /tmp= 66236 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-1837422-1242870074/watcher-1837422-1242870074 -o /tmp/evaluation-result-1837422-1242870074/solver-1837422-1242870074 -C 10000 -W 12000 -M 1800 SatELiteGTI HOME/instance-1837422-1242870074.cnf
TIME LIMIT= 10000 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 9d3d3bb9b296880c7463693ae665aafd
RANDOM SEED=1359045164
node89.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.268
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.268
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 : 5996.54
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1809232 kB
Buffers: 36156 kB
Cached: 103668 kB
SwapCached: 72132 kB
Active: 60460 kB
Inactive: 153148 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1809232 kB
SwapTotal: 4192956 kB
SwapFree: 4115068 kB
Dirty: 3960 kB
Writeback: 0 kB
Mapped: 15992 kB
Slab: 19032 kB
Committed_AS: 945680 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= 66236 MiB
End job on node89 at 2009-05-21 04:05:19