0.00/0.00 c Parsing...
0.00/0.01 c ==============================================================================
0.00/0.01 c | | ORIGINAL | LEARNT | |
0.00/0.01 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress |
0.00/0.01 c ==============================================================================
0.00/0.01 c | 0 | 7938 92232 | 2381 0 0 nan | 0.000 % |
0.00/0.01 c ==============================================================================
0.00/0.01 c Result : #vars: 36 #clauses: 7938 #literals: 92232
0.00/0.01 c CPU time: 0.008998 s
0.00/0.01 c ==============================================================================
0.00/0.04 c This is MiniSat 2.0 beta
0.00/0.04 c WARNING: for repeatability, setting FPU to use double precision
0.00/0.04 c ============================[ Problem Statistics ]=============================
0.00/0.04 c | |
0.00/0.04 c | Number of variables: 36 |
0.00/0.04 c | Number of clauses: 7938 |
0.00/0.05 c | Parsing time: 0.01 s |
0.00/0.05 c ============================[ Search Statistics ]==============================
0.00/0.05 c | Conflicts | ORIGINAL | LEARNT | Progress |
0.00/0.05 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
0.00/0.05 c ===============================================================================
0.00/0.05 c | 0 | 36 7938 92232 | 2646 0 nan | 0.000 % |
0.00/0.05 c | 100 | 36 7938 92232 | 2646 100 21 | 0.079 % |
0.00/0.06 c | 202 | 36 7938 92232 | 2646 202 20 | 0.079 % |
0.00/0.06 c | 302 | 36 7938 92232 | 2646 302 19 | 0.079 % |
0.00/0.07 c | 413 | 36 7938 92232 | 2646 413 18 | 0.079 % |
0.00/0.07 c | 514 | 36 7938 92232 | 2646 514 18 | 0.079 % |
0.00/0.08 c | 625 | 36 7938 92232 | 2646 625 18 | 0.079 % |
0.03/0.09 c | 746 | 36 7938 92232 | 2646 746 18 | 0.079 % |
0.03/0.09 c | 846 | 36 7938 92232 | 2646 846 18 | 0.079 % |
0.03/0.10 c | 956 | 36 7938 92232 | 2646 956 18 | 0.079 % |
0.03/0.11 c | 1077 | 36 7938 92232 | 2646 1077 18 | 0.079 % |
0.03/0.12 c | 1210 | 36 7938 92232 | 2646 1210 18 | 0.079 % |
0.03/0.13 c | 1311 | 36 7938 92232 | 2646 1311 18 | 0.079 % |
0.03/0.14 c | 1421 | 36 7938 92232 | 2646 1421 18 | 0.079 % |
0.03/0.15 c | 1543 | 36 7938 92232 | 2646 1543 18 | 0.079 % |
0.03/0.16 c | 1676 | 36 7938 92232 | 2646 1676 18 | 0.079 % |
0.03/0.17 c | 1822 | 36 7938 92232 | 2646 1822 18 | 0.079 % |
0.03/0.18 c | 1922 | 36 7938 92232 | 2646 1922 18 | 0.079 % |
0.03/0.19 c | 2032 | 36 7938 92232 | 2646 2032 18 | 0.079 % |
0.03/0.20 c | 2153 | 36 7938 92232 | 2646 2153 18 | 0.079 % |
0.03/0.21 c | 2289 | 36 7938 92232 | 2646 2289 17 | 0.079 % |
0.03/0.23 c | 2437 | 36 7938 92232 | 2646 2437 17 | 0.079 % |
0.03/0.24 c | 2598 | 36 7938 92232 | 2646 2598 17 | 0.079 % |
0.03/0.25 c | 2700 | 36 7938 92232 | 2646 1736 17 | 0.079 % |
0.03/0.26 c | 2811 | 36 7938 92232 | 2646 1847 17 | 0.079 % |
0.03/0.27 c | 2932 | 36 7938 92232 | 2646 1968 17 | 0.079 % |
0.03/0.28 c | 3065 | 36 7938 92232 | 2646 2101 17 | 0.079 % |
0.03/0.29 c | 3211 | 36 7938 92232 | 2646 2247 17 | 0.079 % |
0.03/0.30 c | 3373 | 36 7938 92232 | 2646 2409 17 | 0.079 % |
0.03/0.32 c | 3550 | 36 7938 92232 | 2646 2586 17 | 0.079 % |
0.03/0.33 c | 3650 | 36 7938 92232 | 2646 1722 17 | 0.079 % |
0.03/0.34 c | 3761 | 36 7938 92232 | 2646 1833 17 | 0.079 % |
0.03/0.35 c | 3882 | 36 7938 92232 | 2646 1954 17 | 0.079 % |
0.03/0.36 c | 4015 | 36 7938 92232 | 2646 2087 17 | 0.079 % |
0.03/0.37 c | 4161 | 36 7938 92232 | 2646 2233 17 | 0.079 % |
0.03/0.39 c | 4323 | 36 7938 92232 | 2646 2395 17 | 0.079 % |
0.03/0.40 c | 4499 | 36 7938 92232 | 2646 2571 17 | 0.079 % |
0.03/0.42 c | 4693 | 36 7938 92232 | 2646 1784 18 | 0.079 % |
0.03/0.43 c | 4793 | 36 7938 92232 | 2646 1884 18 | 0.079 % |
0.03/0.44 c | 4904 | 36 7938 92232 | 2646 1995 17 | 0.079 % |
0.03/0.45 c | 5025 | 36 7938 92232 | 2646 2116 18 | 0.079 % |
0.03/0.46 c | 5158 | 36 7938 92232 | 2646 2249 17 | 0.079 % |
0.03/0.47 c | 5304 | 36 7938 92232 | 2646 2395 17 | 0.079 % |
0.03/0.49 c | 5464 | 36 7938 92232 | 2646 2555 17 | 0.079 % |
0.03/0.50 c | 5641 | 36 7938 92232 | 2646 2466 17 | 0.079 % |
0.03/0.52 c | 5834 | 36 7938 92232 | 2646 2659 17 | 0.079 % |
0.03/0.54 c | 6049 | 36 7938 92232 | 2646 2609 17 | 0.079 % |
0.03/0.56 c | 6150 | 36 7938 92232 | 2646 2444 17 | 0.079 % |
0.03/0.57 c | 6261 | 36 7938 92232 | 2646 2555 17 | 0.079 % |
0.03/0.58 c | 6382 | 36 7938 92232 | 2646 2410 17 | 0.079 % |
0.03/0.59 c | 6516 | 36 7938 92232 | 2646 2544 17 | 0.079 % |
0.03/0.60 c | 6663 | 36 7938 92232 | 2646 2425 17 | 0.079 % |
0.03/0.62 c | 6825 | 36 7938 92232 | 2646 2587 17 | 0.079 % |
0.03/0.63 c | 7001 | 36 7938 92232 | 2646 2497 17 | 0.079 % |
0.03/0.66 c | 7196 | 36 7938 92232 | 2646 2425 17 | 0.079 % |
0.03/0.67 c | 7408 | 36 7938 92232 | 2646 2637 17 | 0.079 % |
0.03/0.69 c | 7641 | 36 7938 92232 | 2646 2604 17 | 0.079 % |
0.03/0.70 c | 7741 | 36 7938 92232 | 2646 2438 17 | 0.079 % |
0.03/0.71 c | 7855 | 36 7938 92232 | 2646 2552 17 | 0.079 % |
0.03/0.73 c | 7976 | 36 7938 92232 | 2646 2407 17 | 0.079 % |
0.03/0.74 c | 8109 | 36 7938 92232 | 2646 2540 17 | 0.079 % |
0.03/0.75 c | 8257 | 36 7938 92232 | 2646 2422 17 | 0.079 % |
0.03/0.76 c | 8420 | 36 7938 92232 | 2646 2585 17 | 0.079 % |
0.03/0.78 c | 8596 | 36 7938 92232 | 2646 2495 17 | 0.079 % |
0.03/0.80 c | 8790 | 36 7938 92232 | 2646 2423 17 | 0.079 % |
0.03/0.81 c | 9005 | 36 7938 92232 | 2646 2638 17 | 0.079 % |
0.03/0.84 c | 9238 | 36 7938 92232 | 2646 2605 17 | 0.079 % |
0.03/0.86 c | 9494 | 36 7938 92232 | 2646 2595 17 | 0.079 % |
0.03/0.87 c | 9594 | 36 7938 92232 | 2646 2429 17 | 0.079 % |
0.03/0.88 c | 9704 | 36 7938 92232 | 2646 2539 17 | 0.079 % |
0.03/0.90 c | 9826 | 36 7938 92232 | 2646 2661 17 | 0.079 % |
0.03/0.91 c | 9959 | 36 7938 92232 | 2646 2528 17 | 0.079 % |
0.03/0.92 c | 10105 | 36 7938 92232 | 2147483647 2674 17 | 0.079 % |
0.03/0.94 c | 10265 | 36 7938 92232 | 2147483647 2834 17 | 0.079 % |
0.03/0.95 c | 10442 | 36 7938 92232 | 2147483647 3011 17 | 0.079 % |
0.03/0.97 c | 10638 | 36 7938 92232 | 2147483647 3207 17 | 0.079 % |
0.03/0.99 c | 10852 | 36 7938 92232 | 2147483647 3421 17 | 0.079 % |
0.97/1.01 c | 11085 | 36 7938 92232 | 2147483647 3654 17 | 0.079 % |
0.97/1.04 c | 11341 | 36 7938 92232 | 2147483647 3910 17 | 0.079 % |
0.97/1.07 c | 11622 | 36 7938 92232 | 2147483647 4191 17 | 0.079 % |
0.97/1.08 c | 11722 | 36 7938 92232 | 2147483647 4291 17 | 0.079 % |
0.97/1.09 c | 11833 | 36 7938 92232 | 2147483647 4402 17 | 0.079 % |
0.97/1.10 c | 11957 | 36 7938 92232 | 2147483647 4526 17 | 0.079 % |
1.07/1.12 c | 12090 | 36 7938 92232 | 2147483647 4659 17 | 0.079 % |
1.07/1.14 c | 12237 | 36 7938 92232 | 2147483647 4806 17 | 0.079 % |
1.07/1.15 c | 12398 | 36 7938 92232 | 2147483647 4967 17 | 0.079 % |
1.07/1.17 c | 12574 | 36 7938 92232 | 2147483647 5143 17 | 0.079 % |
1.07/1.19 c | 12768 | 36 7938 92232 | 2147483647 5337 17 | 0.079 % |
1.17/1.21 c | 12981 | 36 7938 92232 | 2147483647 5550 17 | 0.079 % |
1.17/1.24 c | 13217 | 36 7938 92232 | 2147483647 5786 17 | 0.079 % |
1.17/1.27 c | 13474 | 36 7938 92232 | 2147483647 6043 17 | 0.079 % |
1.17/1.30 c | 13755 | 36 7938 92232 | 2147483647 6324 17 | 0.079 % |
1.27/1.33 c | 14065 | 36 7938 92232 | 2147483647 6634 17 | 0.079 % |
1.27/1.35 c | 14167 | 36 7938 92232 | 2147483647 6736 17 | 0.079 % |
1.27/1.36 c | 14280 | 36 7938 92232 | 2147483647 6849 17 | 0.079 % |
1.27/1.38 c | 14403 | 36 7938 92232 | 2147483647 6972 17 | 0.079 % |
1.27/1.40 c | 14536 | 36 7938 92232 | 2147483647 7105 17 | 0.079 % |
1.36/1.42 c | 14682 | 36 7938 92232 | 2147483647 7251 17 | 0.079 % |
1.36/1.44 c | 14842 | 36 7938 92232 | 2147483647 7411 17 | 0.079 % |
1.36/1.47 c | 15018 | 36 7938 92232 | 2147483647 7587 17 | 0.079 % |
1.36/1.49 c | 15211 | 36 7938 92232 | 2147483647 7780 17 | 0.079 % |
1.46/1.52 c | 15423 | 36 7938 92232 | 2147483647 7992 17 | 0.079 % |
1.46/1.56 c | 15656 | 36 7938 92232 | 2147483647 8225 17 | 0.079 % |
1.46/1.59 c | 15914 | 36 7938 92232 | 2147483647 8483 17 | 0.079 % |
1.56/1.63 c | 16195 | 36 7938 92232 | 2147483647 8764 17 | 0.079 % |
1.56/1.67 c | 16506 | 36 7938 92232 | 2147483647 9075 17 | 0.079 % |
1.66/1.72 c | 16846 | 36 7938 92232 | 2147483647 9415 17 | 0.079 % |
1.66/1.73 c | 16946 | 36 7938 92232 | 2147483647 9515 17 | 0.079 % |
1.66/1.75 c | 17057 | 36 7938 92232 | 2147483647 9626 17 | 0.079 % |
1.66/1.76 c | 17178 | 36 7938 92232 | 2147483647 9747 17 | 0.079 % |
1.66/1.78 c | 17312 | 36 7938 92232 | 2147483647 9881 17 | 0.079 % |
1.76/1.81 c | 17458 | 36 7938 92232 | 2147483647 10027 17 | 0.079 % |
1.76/1.84 c | 17619 | 36 7938 92232 | 2147483647 10188 17 | 0.079 % |
1.76/1.86 c | 17796 | 36 7938 92232 | 2147483647 10365 17 | 0.079 % |
1.76/1.89 c | 17989 | 36 7938 92232 | 2147483647 10558 17 | 0.079 % |
1.86/1.93 c | 18201 | 36 7938 92232 | 2147483647 10770 17 | 0.079 % |
1.86/1.97 c | 18434 | 36 7938 92232 | 2147483647 11003 17 | 0.079 % |
1.96/2.02 c | 18691 | 36 7938 92232 | 2147483647 11260 17 | 0.079 % |
1.96/2.08 c | 18973 | 36 7938 92232 | 2147483647 11542 17 | 0.079 % |
2.07/2.13 c | 19284 | 36 7938 92232 | 2147483647 11853 17 | 0.079 % |
2.07/2.20 c | 19623 | 36 7938 92232 | 2147483647 12192 17 | 0.079 % |
2.16/2.26 c | 19995 | 36 7938 92232 | 2147483647 12564 17 | 0.079 % |
2.16/2.29 c | 20095 | 36 7938 92232 | 2147483647 12664 17 | 0.079 % |
2.26/2.31 c | 20205 | 36 7938 92232 | 2147483647 12774 17 | 0.079 % |
2.26/2.33 c | 20327 | 36 7938 92232 | 2147483647 12896 17 | 0.079 % |
2.26/2.35 c | 20462 | 36 7938 92232 | 2147483647 13031 17 | 0.079 % |
2.26/2.38 c | 20610 | 36 7938 92232 | 2147483647 13179 17 | 0.079 % |
2.36/2.41 c | 20770 | 36 7938 92232 | 2147483647 13339 17 | 0.079 % |
2.36/2.46 c | 20947 | 36 7938 92232 | 2147483647 13516 17 | 0.079 % |
2.46/2.50 c | 21142 | 36 7938 92232 | 2147483647 13711 17 | 0.079 % |
2.46/2.54 c | 21354 | 36 7938 92232 | 2147483647 13923 17 | 0.079 % |
2.46/2.59 c | 21588 | 36 7938 92232 | 2147483647 14157 17 | 0.079 % |
2.56/2.64 c | 21844 | 36 7938 92232 | 2147483647 14413 17 | 0.079 % |
2.66/2.71 c | 22127 | 36 7938 92232 | 2147483647 14696 17 | 0.079 % |
2.66/2.77 c | 22437 | 36 7938 92232 | 2147483647 15006 17 | 0.079 % |
2.76/2.83 c | 22779 | 36 7938 92232 | 2147483647 15348 17 | 0.079 % |
2.86/2.92 c | 23151 | 36 7938 92232 | 2147483647 15720 17 | 0.079 % |
2.96/3.02 c | 23562 | 36 7938 92232 | 2147483647 16131 17 | 0.079 % |
2.96/3.05 c | 23663 | 36 7938 92232 | 2147483647 16232 17 | 0.079 % |
2.96/3.08 c | 23773 | 36 7938 92232 | 2147483647 16342 17 | 0.079 % |
3.06/3.11 c | 23895 | 36 7938 92232 | 2147483647 16464 17 | 0.079 % |
3.06/3.14 c | 24029 | 36 7938 92232 | 2147483647 16598 17 | 0.079 % |
3.06/3.19 c | 24175 | 36 7938 92232 | 2147483647 16744 17 | 0.079 % |
3.16/3.23 c | 24339 | 36 7938 92232 | 2147483647 16908 17 | 0.079 % |
3.16/3.27 c | 24516 | 36 7938 92232 | 2147483647 17085 17 | 0.079 % |
3.26/3.32 c | 24712 | 36 7938 92232 | 2147483647 17281 17 | 0.079 % |
3.26/3.38 c | 24924 | 36 7938 92232 | 2147483647 17493 17 | 0.079 % |
3.36/3.45 c | 25158 | 36 7938 92232 | 2147483647 17727 17 | 0.079 % |
3.46/3.53 c | 25415 | 36 7938 92232 | 2147483647 17984 17 | 0.079 % |
3.56/3.61 c | 25698 | 36 7938 92232 | 2147483647 18267 17 | 0.079 % |
3.65/3.70 c | 26009 | 36 7938 92232 | 2147483647 18578 17 | 0.079 % |
3.75/3.80 c | 26348 | 36 7938 92232 | 2147483647 18917 17 | 0.079 % |
3.75/3.90 c | 26720 | 36 7938 92232 | 2147483647 19289 17 | 0.079 % |
3.95/4.03 c | 27129 | 36 7938 92232 | 2147483647 19698 17 | 0.079 % |
4.05/4.14 c | 27580 | 36 7938 92232 | 2147483647 20149 17 | 0.079 % |
4.05/4.17 c | 27681 | 36 7938 92232 | 2147483647 20250 17 | 0.079 % |
4.15/4.21 c | 27792 | 36 7938 92232 | 2147483647 20361 17 | 0.079 % |
4.15/4.26 c | 27914 | 36 7938 92232 | 2147483647 20483 17 | 0.079 % |
4.26/4.31 c | 28047 | 36 7938 92232 | 2147483647 20616 17 | 0.079 % |
4.26/4.36 c | 28193 | 36 7938 92232 | 2147483647 20762 17 | 0.079 % |
4.36/4.41 c | 28354 | 36 7938 92232 | 2147483647 20923 17 | 0.079 % |
4.36/4.47 c | 28530 | 36 7938 92232 | 2147483647 21099 17 | 0.079 % |
4.45/4.55 c | 28723 | 36 7938 92232 | 2147483647 21292 17 | 0.079 % |
4.55/4.62 c | 28935 | 36 7938 92232 | 2147483647 21504 17 | 0.079 % |
4.65/4.70 c | 29170 | 36 7938 92232 | 2147483647 21739 17 | 0.079 % |
4.65/4.78 c | 29426 | 36 7938 92232 | 2147483647 21995 17 | 0.079 % |
4.85/4.90 c | 29710 | 36 7938 92232 | 2147483647 22279 17 | 0.079 % |
4.95/5.01 c | 30020 | 36 7938 92232 | 2147483647 22589 17 | 0.079 % |
5.05/5.15 c | 30362 | 36 7938 92232 | 2147483647 22931 17 | 0.079 % |
5.15/5.28 c | 30734 | 36 7938 92232 | 2147483647 23303 17 | 0.079 % |
5.36/5.44 c | 31143 | 36 7938 92232 | 2147483647 23712 17 | 0.079 % |
5.55/5.60 c | 31592 | 36 7938 92232 | 2147483647 24161 17 | 0.079 % |
5.75/5.80 c | 32088 | 36 7938 92232 | 2147483647 24657 17 | 0.079 % |
5.75/5.84 c | 32189 | 36 7938 92232 | 2147483647 24758 17 | 0.079 % |
5.75/5.88 c | 32301 | 36 7938 92232 | 2147483647 24870 17 | 0.079 % |
5.85/5.93 c | 32422 | 36 7938 92232 | 2147483647 24991 17 | 0.079 % |
5.85/6.00 c | 32557 | 36 7938 92232 | 2147483647 25126 17 | 0.079 % |
5.95/6.05 c | 32705 | 36 7938 92232 | 2147483647 25274 17 | 0.079 % |
6.05/6.12 c | 32865 | 36 7938 92232 | 2147483647 25434 17 | 0.079 % |
6.05/6.18 c | 33042 | 36 7938 92232 | 2147483647 25611 17 | 0.079 % |
6.15/6.27 c | 33235 | 36 7938 92232 | 2147483647 25804 17 | 0.079 % |
6.25/6.35 c | 33447 | 36 7938 92232 | 2147483647 26016 17 | 0.079 % |
6.35/6.46 c | 33681 | 36 7938 92232 | 2147483647 26250 17 | 0.079 % |
6.46/6.56 c | 33938 | 36 7938 92232 | 2147483647 26507 17 | 0.079 % |
6.56/6.69 c | 34219 | 36 7938 92232 | 2147483647 26788 17 | 0.079 % |
6.75/6.81 c | 34529 | 36 7938 92232 | 2147483647 27098 17 | 0.079 % |
6.85/6.96 c | 34869 | 36 7938 92232 | 2147483647 27438 17 | 0.079 % |
7.05/7.13 c | 35241 | 36 7938 92232 | 2147483647 27810 17 | 0.079 % |
7.25/7.30 c | 35650 | 36 7938 92232 | 2147483647 28219 17 | 0.079 % |
7.35/7.49 c | 36099 | 36 7938 92232 | 2147483647 28668 17 | 0.079 % |
7.65/7.74 c | 36592 | 36 7938 92232 | 2147483647 29161 17 | 0.079 % |
7.95/8.01 c | 37134 | 36 7938 92232 | 2147483647 29703 17 | 0.079 % |
7.95/8.07 c | 37236 | 36 7938 92232 | 2147483647 29805 17 | 0.079 % |
8.05/8.12 c | 37346 | 36 7938 92232 | 2147483647 29915 17 | 0.079 % |
8.05/8.19 c | 37467 | 36 7938 92232 | 2147483647 30036 17 | 0.079 % |
8.15/8.27 c | 37602 | 36 7938 92232 | 2147483647 30171 17 | 0.079 % |
8.25/8.34 c | 37748 | 36 7938 92232 | 2147483647 30317 17 | 0.079 % |
8.35/8.42 c | 37908 | 36 7938 92232 | 2147483647 30477 17 | 0.079 % |
8.45/8.53 c | 38086 | 36 7938 92232 | 2147483647 30655 17 | 0.079 % |
8.55/8.64 c | 38279 | 36 7938 92232 | 2147483647 30848 17 | 0.079 % |
8.65/8.75 c | 38492 | 36 7938 92232 | 2147483647 31061 17 | 0.079 % |
8.75/8.87 c | 38725 | 36 7938 92232 | 2147483647 31294 17 | 0.079 % |
8.95/9.00 c | 38981 | 36 7938 92232 | 2147483647 31550 17 | 0.079 % |
9.05/9.15 c | 39262 | 36 7938 92232 | 2147483647 31831 17 | 0.079 % |
9.25/9.31 c | 39571 | 36 7938 92232 | 2147483647 32140 17 | 0.079 % |
9.35/9.50 c | 39910 | 36 7938 92232 | 2147483647 32479 17 | 0.079 % |
9.55/9.68 c | 40282 | 36 7938 92232 | 2147483647 32851 17 | 0.079 % |
9.85/9.93 c | 40691 | 36 7938 92232 | 2147483647 33260 17 | 0.079 % |
10.15/10.23 c | 41141 | 36 7938 92232 | 2147483647 33710 17 | 0.079 % |
10.45/10.54 c | 41635 | 36 7938 92232 | 2147483647 34204 17 | 0.079 % |
10.75/10.88 c | 42178 | 36 7938 92232 | 2147483647 34747 17 | 0.079 % |
11.15/11.21 c | 42775 | 36 7938 92232 | 2147483647 35344 17 | 0.079 % |
11.15/11.28 c | 42875 | 36 7938 92232 | 2147483647 35444 17 | 0.079 % |
11.25/11.35 c | 42985 | 36 7938 92232 | 2147483647 35554 17 | 0.079 % |
11.35/11.43 c | 43109 | 36 7938 92232 | 2147483647 35678 17 | 0.079 % |
11.45/11.52 c | 43244 | 36 7938 92232 | 2147483647 35813 17 | 0.079 % |
11.55/11.60 c | 43390 | 36 7938 92232 | 2147483647 35959 17 | 0.079 % |
11.55/11.70 c | 43551 | 36 7938 92232 | 2147483647 36120 17 | 0.079 % |
11.74/11.81 c | 43727 | 36 7938 92232 | 2147483647 36296 17 | 0.079 % |
11.84/11.94 c | 43921 | 36 7938 92232 | 2147483647 36490 17 | 0.079 % |
11.95/12.08 c | 44133 | 36 7938 92232 | 2147483647 36702 17 | 0.079 % |
12.14/12.24 c | 44367 | 36 7938 92232 | 2147483647 36936 17 | 0.079 % |
12.34/12.43 c | 44623 | 36 7938 92232 | 2147483647 37192 17 | 0.079 % |
12.54/12.63 c | 44905 | 36 7938 92232 | 2147483647 37474 17 | 0.079 % |
12.74/12.83 c | 45214 | 36 7938 92232 | 2147483647 37783 17 | 0.079 % |
12.94/13.03 c | 45553 | 36 7938 92232 | 2147483647 38122 17 | 0.079 % |
13.24/13.31 c | 45927 | 36 7938 92232 | 2147483647 38496 17 | 0.079 % |
13.54/13.60 c | 46336 | 36 7938 92232 | 2147483647 38905 17 | 0.079 % |
13.84/13.98 c | 46787 | 36 7938 92232 | 2147483647 39356 17 | 0.079 % |
14.25/14.35 c | 47282 | 36 7938 92232 | 2147483647 39851 17 | 0.079 % |
14.64/14.70 c | 47825 | 36 7938 92232 | 2147483647 40394 17 | 0.079 % |
15.04/15.10 c | 48422 | 36 7938 92232 | 2147483647 40991 17 | 0.079 % |
15.54/15.60 c | 49077 | 36 7938 92232 | 2147483647 41646 17 | 0.079 % |
15.54/15.69 c | 49181 | 36 7938 92232 | 2147483647 41750 17 | 0.079 % |
15.64/15.77 c | 49291 | 36 7938 92232 | 2147483647 41860 17 | 0.079 % |
15.74/15.87 c | 49414 | 36 7938 92232 | 2147483647 41983 17 | 0.079 % |
15.84/15.97 c | 49548 | 36 7938 92232 | 2147483647 42117 17 | 0.079 % |
15.94/16.08 c | 49694 | 36 7938 92232 | 2147483647 42263 17 | 0.079 % |
16.14/16.20 c | 49855 | 36 7938 92232 | 2147483647 42424 17 | 0.079 % |
16.24/16.36 c | 50033 | 36 7938 92232 | 2147483647 42602 17 | 0.079 % |
16.44/16.54 c | 50227 | 36 7938 92232 | 2147483647 42796 17 | 0.079 % |
16.64/16.72 c | 50439 | 36 7938 92232 | 2147483647 43008 17 | 0.079 % |
16.84/16.92 c | 50672 | 36 7938 92232 | 2147483647 43241 17 | 0.079 % |
17.05/17.17 c | 50928 | 36 7938 92232 | 2147483647 43497 17 | 0.079 % |
17.35/17.40 c | 51209 | 36 7938 92232 | 2147483647 43778 17 | 0.079 % |
17.55/17.66 c | 51519 | 36 7938 92232 | 2147483647 44088 17 | 0.079 % |
17.75/17.88 c | 51858 | 36 7938 92232 | 2147483647 44427 17 | 0.079 % |
18.05/18.14 c | 52230 | 36 7938 92232 | 2147483647 44799 17 | 0.079 % |
18.35/18.44 c | 52640 | 36 7938 92232 | 2147483647 45209 17 | 0.079 % |
18.65/18.71 c | 53090 | 36 7938 92232 | 2147483647 45659 17 | 0.079 % |
19.04/19.14 c | 53584 | 36 7938 92232 | 2147483647 46153 17 | 0.079 % |
19.54/19.62 c | 54127 | 36 7938 92232 | 2147483647 46696 17 | 0.079 % |
20.14/20.26 c | 54724 | 36 7938 92232 | 2147483647 47293 17 | 0.079 % |
20.64/20.79 c | 55380 | 36 7938 92232 | 2147483647 47949 17 | 0.079 % |
21.44/21.51 c | 56100 | 36 7938 92232 | 2147483647 48669 17 | 0.079 % |
21.44/21.59 c | 56200 | 36 7938 92232 | 2147483647 48769 17 | 0.079 % |
21.64/21.70 c | 56310 | 36 7938 92232 | 2147483647 48879 17 | 0.079 % |
21.74/21.82 c | 56432 | 36 7938 92232 | 2147483647 49001 17 | 0.079 % |
21.84/21.95 c | 56565 | 36 7938 92232 | 2147483647 49134 17 | 0.079 % |
22.04/22.11 c | 56711 | 36 7938 92232 | 2147483647 49280 17 | 0.079 % |
22.14/22.26 c | 56871 | 36 7938 92232 | 2147483647 49440 17 | 0.079 % |
22.34/22.44 c | 57050 | 36 7938 92232 | 2147483647 49619 17 | 0.079 % |
22.54/22.63 c | 57243 | 36 7938 92232 | 2147483647 49812 17 | 0.079 % |
22.74/22.82 c | 57455 | 36 7938 92232 | 2147483647 50024 17 | 0.079 % |
22.94/23.01 c | 57689 | 36 7938 92232 | 2147483647 50258 17 | 0.079 % |
23.14/23.27 c | 57945 | 36 7938 92232 | 2147483647 50514 17 | 0.079 % |
23.44/23.55 c | 58226 | 36 7938 92232 | 2147483647 50795 17 | 0.079 % |
23.74/23.86 c | 58536 | 36 7938 92232 | 2147483647 51105 17 | 0.079 % |
24.03/24.20 c | 58875 | 36 7938 92232 | 2147483647 51444 17 | 0.079 % |
24.43/24.54 c | 59250 | 36 7938 92232 | 2147483647 51819 17 | 0.079 % |
24.93/25.00 c | 59659 | 36 7938 92232 | 2147483647 52228 17 | 0.079 % |
25.53/25.62 c | 60109 | 36 7938 92232 | 52569 43334 17 | 0.079 % |
25.93/26.07 c | 60602 | 36 7938 92232 | 52569 43827 17 | 0.079 % |
26.33/26.49 c | 61145 | 36 7938 92232 | 52569 44370 17 | 0.079 % |
26.83/26.98 c | 61741 | 36 7938 92232 | 52569 44966 17 | 0.079 % |
27.43/27.53 c | 62398 | 36 7938 92232 | 52569 45623 17 | 0.079 % |
27.83/27.99 c | 63119 | 36 7938 92232 | 52569 46344 17 | 0.079 % |
28.53/28.64 c | 63912 | 36 7938 92232 | 52569 47137 17 | 0.079 % |
28.63/28.71 c | 64012 | 36 7938 92232 | 52569 47237 17 | 0.079 % |
28.73/28.85 c | 64122 | 36 7938 92232 | 52569 47347 17 | 0.079 % |
28.83/28.98 c | 64244 | 36 7938 92232 | 52569 47469 17 | 0.079 % |
29.03/29.12 c | 64377 | 36 7938 92232 | 52569 47602 17 | 0.079 % |
29.13/29.26 c | 64523 | 36 7938 92232 | 52569 47748 17 | 0.079 % |
29.33/29.43 c | 64683 | 36 7938 92232 | 52569 47908 17 | 0.079 % |
29.43/29.59 c | 64860 | 36 7938 92232 | 52569 48085 17 | 0.079 % |
29.63/29.79 c | 65054 | 36 7938 92232 | 52569 48279 17 | 0.079 % |
29.83/29.98 c | 65267 | 36 7938 92232 | 52569 48492 17 | 0.079 % |
30.13/30.21 c | 65500 | 36 7938 92232 | 52569 48725 17 | 0.079 % |
30.33/30.46 c | 65757 | 36 7938 92232 | 52569 48982 17 | 0.079 % |
30.63/30.74 c | 66038 | 36 7938 92232 | 52569 49263 17 | 0.079 % |
30.93/31.07 c | 66347 | 36 7938 92232 | 52569 49572 17 | 0.079 % |
31.22/31.35 c | 66686 | 36 7938 92232 | 52569 49911 17 | 0.079 % |
31.52/31.66 c | 67058 | 36 7938 92232 | 52569 50283 17 | 0.079 % |
31.92/32.05 c | 67467 | 36 7938 92232 | 52569 50692 17 | 0.079 % |
32.42/32.54 c | 67916 | 36 7938 92232 | 52569 51141 17 | 0.079 % |
32.93/33.01 c | 68409 | 36 7938 92232 | 52569 51634 17 | 0.079 % |
33.32/33.42 c | 68952 | 36 7938 92232 | 52569 52177 17 | 0.079 % |
34.02/34.16 c | 69551 | 36 7938 92232 | 52569 42086 17 | 0.079 % |
34.62/34.79 c | 70206 | 36 7938 92232 | 42536 34180 17 | 0.079 % |
35.02/35.17 c | 70927 | 36 7938 92232 | 42536 34901 17 | 0.079 % |
35.52/35.66 c | 71719 | 36 7938 92232 | 42536 35693 17 | 0.079 % |
36.02/36.11 c | 72592 | 36 7938 92232 | 42536 36566 17 | 0.079 % |
36.02/36.17 c | 72693 | 36 7938 92232 | 42536 36667 17 | 0.079 % |
36.12/36.24 c | 72803 | 36 7938 92232 | 42536 36777 17 | 0.079 % |
36.22/36.34 c | 72924 | 36 7938 92232 | 42536 36898 17 | 0.079 % |
36.32/36.42 c | 73058 | 36 7938 92232 | 42536 37032 17 | 0.079 % |
36.42/36.51 c | 73205 | 36 7938 92232 | 42536 37179 17 | 0.079 % |
36.52/36.62 c | 73365 | 36 7938 92232 | 42536 37339 17 | 0.079 % |
36.62/36.73 c | 73543 | 36 7938 92232 | 42536 37517 17 | 0.079 % |
36.72/36.87 c | 73736 | 36 7938 92232 | 42536 37710 17 | 0.079 % |
36.92/37.02 c | 73948 | 36 7938 92232 | 42536 37922 17 | 0.079 % |
37.12/37.20 c | 74181 | 36 7938 92232 | 42536 38155 17 | 0.079 % |
37.22/37.38 c | 74438 | 36 7938 92232 | 42536 38412 17 | 0.079 % |
37.42/37.59 c | 74719 | 36 7938 92232 | 42536 38693 17 | 0.079 % |
37.72/37.80 c | 75028 | 36 7938 92232 | 42536 39002 17 | 0.079 % |
37.92/38.07 c | 75367 | 36 7938 92232 | 42536 39341 17 | 0.079 % |
38.22/38.32 c | 75739 | 36 7938 92232 | 42536 39713 17 | 0.079 % |
38.42/38.58 c | 76149 | 36 7938 92232 | 42536 40123 17 | 0.079 % |
38.72/38.84 c | 76598 | 36 7938 92232 | 42536 40572 17 | 0.079 % |
39.02/39.13 c | 77091 | 36 7938 92232 | 42536 41065 17 | 0.079 % |
39.32/39.49 c | 77633 | 36 7938 92232 | 42536 41607 17 | 0.079 % |
39.82/39.94 c | 78229 | 36 7938 92232 | 42536 42203 17 | 0.079 % |
40.42/40.53 c | 78885 | 36 7938 92232 | 42536 37035 17 | 0.079 % |
40.82/40.99 c | 79606 | 36 7938 92232 | 42536 37756 17 | 0.079 % |
41.52/41.64 c | 80398 | 36 7938 92232 | 38151 33392 17 | 0.079 % |
42.12/42.22 c | 81270 | 36 7938 92232 | 38151 34264 17 | 0.079 % |
42.72/42.84 c | 82231 | 36 7938 92232 | 38151 35225 17 | 0.079 % |
42.72/42.90 c | 82334 | 36 7938 92232 | 38151 35328 17 | 0.079 % |
42.82/42.99 c | 82444 | 36 7938 92232 | 38151 35438 17 | 0.079 % |
42.92/43.09 c | 82565 | 36 7938 92232 | 38151 35559 17 | 0.079 % |
43.02/43.18 c | 82698 | 36 7938 92232 | 38151 35692 17 | 0.079 % |
43.22/43.30 c | 82847 | 36 7938 92232 | 38151 35841 17 | 0.079 % |
43.32/43.42 c | 83010 | 36 7938 92232 | 38151 36004 17 | 0.079 % |
43.42/43.55 c | 83189 | 36 7938 92232 | 38151 36183 17 | 0.079 % |
43.52/43.69 c | 83383 | 36 7938 92232 | 38151 36377 17 | 0.079 % |
43.72/43.86 c | 83595 | 36 7938 92232 | 38151 36589 17 | 0.079 % |
43.92/44.02 c | 83830 | 36 7938 92232 | 38151 36824 17 | 0.079 % |
44.12/44.21 c | 84087 | 36 7938 92232 | 38151 37081 17 | 0.079 % |
44.22/44.39 c | 84370 | 36 7938 92232 | 38151 37364 17 | 0.079 % |
44.52/44.61 c | 84679 | 36 7938 92232 | 38151 37673 17 | 0.079 % |
44.72/44.87 c | 85019 | 36 7938 92232 | 38151 38013 17 | 0.079 % |
45.12/45.20 c | 85391 | 36 7938 92232 | 38151 33738 17 | 0.079 % |
45.32/45.46 c | 85801 | 36 7938 92232 | 38151 34148 17 | 0.079 % |
45.62/45.75 c | 86250 | 36 7938 92232 | 38151 34597 17 | 0.079 % |
45.92/46.01 c | 86744 | 36 7938 92232 | 38151 35091 17 | 0.079 % |
46.21/46.37 c | 87286 | 36 7938 92232 | 38151 35633 17 | 0.079 % |
46.61/46.78 c | 87882 | 36 7938 92232 | 38151 36229 17 | 0.079 % |
47.12/47.24 c | 88537 | 36 7938 92232 | 38151 36884 17 | 0.079 % |
47.51/47.69 c | 89258 | 36 7938 92232 | 38151 37605 17 | 0.079 % |
48.11/48.25 c | 90051 | 36 7938 92232 | 33980 30174 17 | 0.079 % |
48.61/48.77 c | 90923 | 36 7938 92232 | 33980 31046 17 | 0.079 % |
49.11/49.24 c | 91882 | 36 7938 92232 | 33980 32005 17 | 0.079 % |
49.61/49.78 c | 92936 | 36 7938 92232 | 33980 33059 17 | 0.079 % |
49.71/49.85 c | 93036 | 36 7938 92232 | 33980 33159 17 | 0.079 % |
49.82/49.92 c | 93146 | 36 7938 92232 | 33980 33269 17 | 0.079 % |
49.82/49.99 c | 93268 | 36 7938 92232 | 33980 33391 17 | 0.079 % |
49.92/50.09 c | 93402 | 36 7938 92232 | 33980 33525 17 | 0.079 % |
50.02/50.18 c | 93550 | 36 7938 92232 | 33980 33673 17 | 0.079 % |
50.11/50.28 c | 93710 | 36 7938 92232 | 33980 33833 17 | 0.079 % |
50.31/50.42 c | 93886 | 36 7938 92232 | 33980 30609 17 | 0.079 % |
50.42/50.51 c | 94080 | 36 7938 92232 | 33980 30803 17 | 0.079 % |
50.52/50.63 c | 94293 | 36 7938 92232 | 33980 31016 17 | 0.079 % |
50.61/50.77 c | 94527 | 36 7938 92232 | 33980 31250 17 | 0.079 % |
50.81/50.92 c | 94783 | 36 7938 92232 | 33980 31506 17 | 0.079 % |
50.91/51.07 c | 95066 | 36 7938 92232 | 33980 31789 17 | 0.079 % |
51.11/51.25 c | 95376 | 36 7938 92232 | 33980 32099 17 | 0.079 % |
51.31/51.49 c | 95717 | 36 7938 92232 | 33980 32440 17 | 0.079 % |
51.61/51.72 c | 96092 | 36 7938 92232 | 33980 32815 17 | 0.079 % |
51.81/51.95 c | 96501 | 36 7938 92232 | 33980 33224 17 | 0.079 % |
52.11/52.24 c | 96950 | 36 7938 92232 | 33980 33673 17 | 0.079 % |
52.41/52.54 c | 97443 | 36 7938 92232 | 33980 30766 17 | 0.079 % |
52.61/52.79 c | 97986 | 36 7938 92232 | 33980 31309 17 | 0.079 % |
53.01/53.10 c | 98582 | 36 7938 92232 | 33980 31905 17 | 0.079 % |
53.31/53.49 c | 99237 | 36 7938 92232 | 33980 32560 17 | 0.079 % |
53.81/53.92 c | 99957 | 36 7938 92232 | 33980 33280 17 | 0.079 % |
54.31/54.41 c | 100751 | 36 7938 92232 | 2147483647 34074 17 | 0.079 % |
54.81/54.95 c | 101622 | 36 7938 92232 | 2147483647 34945 17 | 0.079 % |
55.41/55.56 c | 102582 | 36 7938 92232 | 2147483647 35905 17 | 0.079 % |
56.11/56.24 c | 103637 | 36 7938 92232 | 2147483647 36960 17 | 0.079 % |
56.91/57.10 c | 104796 | 36 7938 92232 | 2147483647 38119 17 | 0.079 % |
57.01/57.17 c | 104898 | 36 7938 92232 | 2147483647 38221 17 | 0.079 % |
57.11/57.26 c | 105008 | 36 7938 92232 | 2147483647 38331 17 | 0.079 % |
57.21/57.37 c | 105129 | 36 7938 92232 | 2147483647 38452 17 | 0.079 % |
57.31/57.46 c | 105263 | 36 7938 92232 | 2147483647 38586 17 | 0.079 % |
57.41/57.58 c | 105410 | 36 7938 92232 | 2147483647 38733 17 | 0.079 % |
57.61/57.71 c | 105571 | 36 7938 92232 | 2147483647 38894 17 | 0.079 % |
57.71/57.88 c | 105747 | 36 7938 92232 | 2147483647 39070 17 | 0.079 % |
57.91/58.04 c | 105941 | 36 7938 92232 | 2147483647 39264 17 | 0.079 % |
58.01/58.18 c | 106154 | 36 7938 92232 | 2147483647 39477 17 | 0.079 % |
58.21/58.36 c | 106389 | 36 7938 92232 | 2147483647 39712 17 | 0.079 % |
58.41/58.56 c | 106647 | 36 7938 92232 | 2147483647 39970 17 | 0.079 % |
58.61/58.76 c | 106928 | 36 7938 92232 | 2147483647 40251 17 | 0.079 % |
58.91/59.00 c | 107238 | 36 7938 92232 | 2147483647 40561 17 | 0.079 % |
59.11/59.20 c | 107579 | 36 7938 92232 | 2147483647 40902 17 | 0.079 % |
59.41/59.53 c | 107951 | 36 7938 92232 | 2147483647 41274 17 | 0.079 % |
59.70/59.89 c | 108360 | 36 7938 92232 | 2147483647 41683 17 | 0.079 % |
60.11/60.28 c | 108810 | 36 7938 92232 | 2147483647 42133 17 | 0.079 % |
60.51/60.68 c | 109304 | 36 7938 92232 | 2147483647 42627 17 | 0.079 % |
60.91/61.06 c | 109847 | 36 7938 92232 | 2147483647 43170 17 | 0.079 % |
61.52/61.66 c | 110443 | 36 7938 92232 | 43323 38285 17 | 0.079 % |
61.91/62.06 c | 111100 | 36 7938 92232 | 43323 38942 17 | 0.079 % |
62.41/62.50 c | 111821 | 36 7938 92232 | 43323 39663 17 | 0.079 % |
63.01/63.15 c | 112614 | 36 7938 92232 | 43323 40456 17 | 0.079 % |
63.61/63.72 c | 113485 | 36 7938 92232 | 43323 41327 17 | 0.079 % |
64.21/64.38 c | 114444 | 36 7938 92232 | 43323 42286 17 | 0.079 % |
64.91/65.07 c | 115497 | 36 7938 92232 | 43323 43339 17 | 0.079 % |
65.91/66.04 c | 116656 | 36 7938 92232 | 43323 38551 17 | 0.079 % |
66.71/66.83 c | 117931 | 36 7938 92232 | 43323 39826 17 | 0.079 % |
66.81/66.91 c | 118031 | 36 7938 92232 | 43323 39926 17 | 0.079 % |
66.81/66.98 c | 118144 | 36 7938 92232 | 43323 40039 17 | 0.079 % |
66.91/67.06 c | 118265 | 36 7938 92232 | 43323 40160 17 | 0.079 % |
67.01/67.14 c | 118398 | 36 7938 92232 | 43323 40293 17 | 0.079 % |
67.11/67.23 c | 118544 | 36 7938 92232 | 43323 40439 17 | 0.079 % |
67.21/67.37 c | 118704 | 36 7938 92232 | 43323 40599 17 | 0.079 % |
67.41/67.51 c | 118881 | 36 7938 92232 | 43323 40776 17 | 0.079 % |
67.61/67.70 c | 119074 | 36 7938 92232 | 43323 40969 17 | 0.079 % |
67.71/67.87 c | 119287 | 36 7938 92232 | 43323 41182 17 | 0.079 % |
67.91/68.07 c | 119521 | 36 7938 92232 | 43323 41416 17 | 0.079 % |
68.11/68.27 c | 119777 | 36 7938 92232 | 43323 41672 17 | 0.079 % |
68.41/68.59 c | 120059 | 36 7938 92232 | 41896 36344 17 | 0.079 % |
68.71/68.82 c | 120368 | 36 7938 92232 | 41896 36653 17 | 0.079 % |
68.91/69.04 c | 120708 | 36 7938 92232 | 41896 36993 17 | 0.079 % |
69.21/69.31 c | 121080 | 36 7938 92232 | 41896 37365 17 | 0.079 % |
69.40/69.59 c | 121491 | 36 7938 92232 | 41896 37776 17 | 0.079 % |
69.80/69.92 c | 121940 | 36 7938 92232 | 41896 38225 17 | 0.079 % |
70.20/70.37 c | 122433 | 36 7938 92232 | 41896 38718 17 | 0.079 % |
70.60/70.75 c | 122976 | 36 7938 92232 | 41896 39261 17 | 0.079 % |
71.10/71.22 c | 123573 | 36 7938 92232 | 41896 39858 17 | 0.079 % |
71.60/71.71 c | 124229 | 36 7938 92232 | 41896 40514 17 | 0.079 % |
72.10/72.29 c | 124950 | 36 7938 92232 | 41896 41235 17 | 0.079 % |
72.80/72.99 c | 125745 | 36 7938 92232 | 41896 36306 17 | 0.079 % |
73.39/73.55 c | 126616 | 36 7938 92232 | 41896 37177 17 | 0.079 % |
74.09/74.21 c | 127576 | 36 7938 92232 | 41896 38137 17 | 0.079 % |
74.70/74.84 c | 128631 | 36 7938 92232 | 41896 39192 17 | 0.079 % |
75.50/75.64 c | 129791 | 36 7938 92232 | 41896 40352 17 | 0.079 % |
76.30/76.41 c | 131064 | 36 7938 92232 | 40561 36617 17 | 0.079 % |
77.19/77.39 c | 132464 | 36 7938 92232 | 40561 38017 17 | 0.079 % |
77.29/77.48 c | 132564 | 36 7938 92232 | 40561 38117 17 | 0.079 % |
77.39/77.57 c | 132674 | 36 7938 92232 | 40561 38227 17 | 0.079 % |
77.49/77.65 c | 132797 | 36 7938 92232 | 40561 38350 17 | 0.079 % |
77.59/77.73 c | 132930 | 36 7938 92232 | 40561 38483 17 | 0.079 % |
77.69/77.86 c | 133078 | 36 7938 92232 | 40561 38631 17 | 0.079 % |
77.79/77.97 c | 133239 | 36 7938 92232 | 40561 38792 17 | 0.079 % |
77.90/78.07 c | 133415 | 36 7938 92232 | 40561 38968 17 | 0.079 % |
78.09/78.21 c | 133608 | 36 7938 92232 | 40561 39161 17 | 0.079 % |
78.19/78.39 c | 133821 | 36 7938 92232 | 40561 39374 17 | 0.079 % |
78.39/78.58 c | 134054 | 36 7938 92232 | 40561 39607 17 | 0.079 % |
78.59/78.75 c | 134310 | 36 7938 92232 | 40561 39863 17 | 0.079 % |
78.79/78.99 c | 134591 | 36 7938 92232 | 40561 40144 17 | 0.079 % |
78.99/79.19 c | 134900 | 36 7938 92232 | 40561 40453 17 | 0.079 % |
79.39/79.53 c | 135240 | 36 7938 92232 | 40561 36066 17 | 0.079 % |
79.69/79.82 c | 135615 | 36 7938 92232 | 40561 36441 17 | 0.079 % |
79.89/80.07 c | 136024 | 36 7938 92232 | 40561 36850 17 | 0.079 % |
80.19/80.39 c | 136473 | 36 7938 92232 | 40561 37299 17 | 0.079 % |
80.59/80.70 c | 136966 | 36 7938 92232 | 40561 37792 17 | 0.079 % |
80.99/81.15 c | 137511 | 36 7938 92232 | 40561 38337 17 | 0.079 % |
81.49/81.61 c | 138107 | 36 7938 92232 | 40561 38933 17 | 0.079 % |
81.99/82.10 c | 138763 | 36 7938 92232 | 40561 39589 17 | 0.079 % |
82.49/82.67 c | 139483 | 36 7938 92232 | 40561 40309 17 | 0.079 % |
83.19/83.32 c | 140275 | 36 7938 92232 | 35828 31710 17 | 0.079 % |
83.59/83.76 c | 141147 | 36 7938 92232 | 35828 32582 17 | 0.079 % |
84.09/84.22 c | 142105 | 36 7938 92232 | 35828 33540 17 | 0.079 % |
84.79/84.96 c | 143158 | 36 7938 92232 | 35828 34593 17 | 0.079 % |
85.59/85.72 c | 144316 | 36 7938 92232 | 35828 35751 17 | 0.079 % |
86.29/86.46 c | 145591 | 36 7938 92232 | 35828 33394 17 | 0.079 % |
87.19/87.38 c | 146992 | 36 7938 92232 | 35828 34795 17 | 0.079 % |
88.28/88.41 c | 148532 | 36 7938 92232 | 35828 32751 16 | 0.079 % |
88.28/88.47 c | 148633 | 36 7938 92232 | 35828 32852 16 | 0.079 % |
88.38/88.53 c | 148744 | 36 7938 92232 | 35828 32963 16 | 0.079 % |
88.48/88.61 c | 148865 | 36 7938 92232 | 35828 33084 16 | 0.079 % |
88.58/88.70 c | 149001 | 36 7938 92232 | 35828 33220 16 | 0.079 % |
88.68/88.80 c | 149147 | 36 7938 92232 | 35828 33366 17 | 0.079 % |
88.78/88.92 c | 149308 | 36 7938 92232 | 35828 33527 17 | 0.079 % |
88.89/89.05 c | 149484 | 36 7938 92232 | 35828 33703 17 | 0.079 % |
88.99/89.19 c | 149677 | 36 7938 92232 | 35828 33896 17 | 0.079 % |
89.18/89.34 c | 149891 | 36 7938 92232 | 35828 34110 17 | 0.079 % |
89.28/89.48 c | 150125 | 36 7938 92232 | 2147483647 34344 17 | 0.079 % |
89.48/89.69 c | 150381 | 36 7938 92232 | 2147483647 34600 17 | 0.079 % |
89.68/89.86 c | 150662 | 36 7938 92232 | 2147483647 34881 17 | 0.079 % |
89.88/90.08 c | 150973 | 36 7938 92232 | 2147483647 35192 17 | 0.079 % |
90.09/90.30 c | 151313 | 36 7938 92232 | 2147483647 35532 17 | 0.079 % |
90.38/90.55 c | 151685 | 36 7938 92232 | 2147483647 35904 17 | 0.079 % |
90.68/90.83 c | 152096 | 36 7938 92232 | 2147483647 36315 17 | 0.079 % |
90.98/91.15 c | 152546 | 36 7938 92232 | 2147483647 36765 17 | 0.079 % |
91.38/91.53 c | 153039 | 36 7938 92232 | 2147483647 37258 17 | 0.079 % |
91.78/91.95 c | 153582 | 36 7938 92232 | 2147483647 37801 17 | 0.079 % |
92.18/92.37 c | 154178 | 36 7938 92232 | 2147483647 38397 17 | 0.079 % |
92.68/92.80 c | 154833 | 36 7938 92232 | 2147483647 39052 17 | 0.079 % |
93.08/93.27 c | 155554 | 36 7938 92232 | 2147483647 39773 17 | 0.079 % |
93.78/93.95 c | 156348 | 36 7938 92232 | 2147483647 40567 17 | 0.079 % |
94.38/94.57 c | 157220 | 36 7938 92232 | 2147483647 41439 17 | 0.079 % |
95.08/95.26 c | 158180 | 36 7938 92232 | 2147483647 42399 17 | 0.079 % |
95.98/96.10 c | 159234 | 36 7938 92232 | 2147483647 43453 17 | 0.079 % |
96.88/97.08 c | 160392 | 36 7938 92232 | 44219 39078 16 | 0.079 % |
97.78/97.97 c | 161665 | 36 7938 92232 | 44219 40351 16 | 0.079 % |
98.68/98.87 c | 163065 | 36 7938 92232 | 44219 41751 16 | 0.079 % |
99.78/99.98 c | 164605 | 36 7938 92232 | 44219 43291 16 | 0.079 % |
100.88/101.02 c | 166301 | 36 7938 92232 | 44219 39157 16 | 0.079 % |
100.98/101.10 c | 166401 | 36 7938 92232 | 44219 39257 16 | 0.079 % |
100.98/101.19 c | 166514 | 36 7938 92232 | 44219 39370 16 | 0.079 % |
101.08/101.28 c | 166637 | 36 7938 92232 | 44219 39493 16 | 0.079 % |
101.18/101.39 c | 166772 | 36 7938 92232 | 44219 39628 16 | 0.079 % |
101.38/101.50 c | 166919 | 36 7938 92232 | 44219 39775 16 | 0.079 % |
101.48/101.63 c | 167080 | 36 7938 92232 | 44219 39936 16 | 0.079 % |
101.58/101.76 c | 167256 | 36 7938 92232 | 44219 40112 17 | 0.079 % |
101.78/101.90 c | 167451 | 36 7938 92232 | 44219 40307 17 | 0.079 % |
101.88/102.04 c | 167664 | 36 7938 92232 | 44219 40520 17 | 0.079 % |
101.98/102.19 c | 167898 | 36 7938 92232 | 44219 40754 17 | 0.079 % |
102.18/102.35 c | 168155 | 36 7938 92232 | 44219 41011 17 | 0.079 % |
102.38/102.56 c | 168436 | 36 7938 92232 | 44219 41292 17 | 0.079 % |
102.58/102.78 c | 168746 | 36 7938 92232 | 44219 41602 17 | 0.079 % |
102.88/103.00 c | 169085 | 36 7938 92232 | 44219 41941 17 | 0.079 % |
103.18/103.32 c | 169457 | 36 7938 92232 | 44219 42313 17 | 0.079 % |
103.48/103.69 c | 169867 | 36 7938 92232 | 44219 42723 17 | 0.079 % |
103.98/104.11 c | 170317 | 36 7938 92232 | 42858 37618 17 | 0.079 % |
104.28/104.45 c | 170810 | 36 7938 92232 | 42858 38111 17 | 0.079 % |
104.68/104.87 c | 171352 | 36 7938 92232 | 42858 38653 17 | 0.079 % |
105.18/105.36 c | 171948 | 36 7938 92232 | 42858 39249 17 | 0.079 % |
105.68/105.82 c | 172603 | 36 7938 92232 | 42858 39904 17 | 0.079 % |
106.08/106.26 c | 173324 | 36 7938 92232 | 42858 40625 17 | 0.079 % |
106.58/106.78 c | 174118 | 36 7938 92232 | 42858 41419 17 | 0.079 % |
107.18/107.32 c | 174989 | 36 7938 92232 | 42858 42290 17 | 0.079 % |
107.87/108.08 c | 175947 | 36 7938 92232 | 42858 37866 17 | 0.079 % |
108.57/108.80 c | 177001 | 36 7938 92232 | 42858 38920 17 | 0.079 % |
109.37/109.52 c | 178161 | 36 7938 92232 | 42858 40080 17 | 0.079 % |
110.38/110.57 c | 179434 | 36 7938 92232 | 42858 41353 17 | 0.079 % |
111.47/111.67 c | 180834 | 36 7938 92232 | 41921 37373 16 | 0.079 % |
112.57/112.72 c | 182375 | 36 7938 92232 | 41921 38914 16 | 0.079 % |
113.57/113.78 c | 184069 | 36 7938 92232 | 41921 40608 16 | 0.079 % |
115.06/115.21 c | 185932 | 36 7938 92232 | 41921 37391 16 | 0.079 % |
115.06/115.28 c | 186032 | 36 7938 92232 | 41921 37491 16 | 0.079 % |
115.16/115.37 c | 186142 | 36 7938 92232 | 41921 37601 16 | 0.079 % |
115.27/115.48 c | 186263 | 36 7938 92232 | 41921 37722 16 | 0.079 % |
115.37/115.57 c | 186399 | 36 7938 92232 | 41921 37858 16 | 0.079 % |
115.46/115.68 c | 186546 | 36 7938 92232 | 41921 38005 16 | 0.079 % |
115.66/115.80 c | 186707 | 36 7938 92232 | 41921 38166 16 | 0.079 % |
115.76/115.94 c | 186885 | 36 7938 92232 | 41921 38344 16 | 0.079 % |
115.96/116.10 c | 187078 | 36 7938 92232 | 41921 38537 16 | 0.079 % |
116.06/116.27 c | 187293 | 36 7938 92232 | 41921 38752 16 | 0.079 % |
116.26/116.44 c | 187526 | 36 7938 92232 | 41921 38985 16 | 0.079 % |
116.47/116.66 c | 187784 | 36 7938 92232 | 41921 39243 16 | 0.079 % |
116.76/116.90 c | 188065 | 36 7938 92232 | 41921 39524 16 | 0.079 % |
116.96/117.13 c | 188375 | 36 7938 92232 | 41921 39834 16 | 0.079 % |
117.16/117.39 c | 188714 | 36 7938 92232 | 41921 40173 16 | 0.079 % |
117.57/117.73 c | 189086 | 36 7938 92232 | 41921 40545 16 | 0.079 % |
117.96/118.11 c | 189495 | 36 7938 92232 | 41921 40954 16 | 0.079 % |
118.26/118.45 c | 189944 | 36 7938 92232 | 41921 41403 16 | 0.079 % |
118.67/118.90 c | 190437 | 36 7938 92232 | 41459 36518 16 | 0.079 % |
119.16/119.31 c | 190980 | 36 7938 92232 | 41459 37061 16 | 0.079 % |
119.56/119.70 c | 191576 | 36 7938 92232 | 41459 37657 16 | 0.079 % |
119.96/120.18 c | 192233 | 36 7938 92232 | 41459 38314 16 | 0.079 % |
120.46/120.69 c | 192953 | 36 7938 92232 | 41459 39034 16 | 0.079 % |
121.06/121.22 c | 193748 | 36 7938 92232 | 41459 39829 16 | 0.079 % |
121.56/121.78 c | 194620 | 36 7938 92232 | 41459 40701 16 | 0.079 % |
122.36/122.58 c | 195578 | 36 7938 92232 | 41459 36695 16 | 0.079 % |
123.06/123.26 c | 196632 | 36 7938 92232 | 41459 37749 16 | 0.079 % |
123.76/123.99 c | 197790 | 36 7938 92232 | 41459 38907 16 | 0.079 % |
124.66/124.83 c | 199064 | 36 7938 92232 | 41459 40181 16 | 0.079 % |
125.76/125.92 c | 200465 | 36 7938 92232 | 41120 36709 16 | 0.079 % |
126.76/126.99 c | 202007 | 36 7938 92232 | 41120 38251 16 | 0.079 % |
128.06/128.23 c | 203701 | 36 7938 92232 | 41120 39945 16 | 0.079 % |
129.46/129.63 c | 205564 | 36 7938 92232 | 41120 36658 16 | 0.079 % |
130.76/130.92 c | 207613 | 36 7938 92232 | 41120 38707 16 | 0.079 % |
130.86/131.00 c | 207713 | 36 7938 92232 | 41120 38807 16 | 0.079 % |
130.86/131.06 c | 207823 | 36 7938 92232 | 41120 38917 16 | 0.079 % |
130.96/131.12 c | 207945 | 36 7938 92232 | 41120 39039 16 | 0.079 % |
131.06/131.21 c | 208079 | 36 7938 92232 | 41120 39173 16 | 0.079 % |
131.16/131.34 c | 208227 | 36 7938 92232 | 41120 39321 16 | 0.079 % |
131.26/131.46 c | 208388 | 36 7938 92232 | 41120 39482 16 | 0.079 % |
131.36/131.60 c | 208564 | 36 7938 92232 | 41120 39658 16 | 0.079 % |
131.56/131.75 c | 208758 | 36 7938 92232 | 41120 39852 16 | 0.079 % |
131.76/131.92 c | 208971 | 36 7938 92232 | 41120 40065 16 | 0.079 % |
131.86/132.09 c | 209205 | 36 7938 92232 | 41120 40299 16 | 0.079 % |
132.06/132.28 c | 209461 | 36 7938 92232 | 41120 40555 16 | 0.079 % |
132.35/132.52 c | 209742 | 36 7938 92232 | 41120 40836 16 | 0.079 % |
132.65/132.87 c | 210052 | 36 7938 92232 | 41094 36006 16 | 0.079 % |
132.96/133.12 c | 210391 | 36 7938 92232 | 41094 36345 16 | 0.079 % |
133.15/133.39 c | 210763 | 36 7938 92232 | 41094 36717 16 | 0.079 % |
133.55/133.72 c | 211173 | 36 7938 92232 | 41094 37127 16 | 0.079 % |
133.85/134.02 c | 211622 | 36 7938 92232 | 41094 37576 16 | 0.079 % |
134.15/134.30 c | 212117 | 36 7938 92232 | 41094 38071 16 | 0.079 % |
134.45/134.67 c | 212660 | 36 7938 92232 | 41094 38614 16 | 0.079 % |
134.85/135.07 c | 213256 | 36 7938 92232 | 41094 39210 16 | 0.079 % |
135.35/135.58 c | 213911 | 36 7938 92232 | 41094 39865 16 | 0.079 % |
135.95/136.11 c | 214631 | 36 7938 92232 | 41094 40585 16 | 0.079 % |
136.55/136.72 c | 215423 | 36 7938 92232 | 41094 36195 16 | 0.079 % |
137.15/137.34 c | 216295 | 36 7938 92232 | 41094 37067 16 | 0.079 % |
137.85/138.01 c | 217255 | 36 7938 92232 | 41094 38027 16 | 0.079 % |
138.55/138.74 c | 218309 | 36 7938 92232 | 41094 39081 16 | 0.079 % |
139.46/139.65 c | 219467 | 36 7938 92232 | 41094 40239 16 | 0.079 % |
140.25/140.46 c | 220741 | 36 7938 92232 | 40772 36303 16 | 0.079 % |
141.05/141.25 c | 222143 | 36 7938 92232 | 40772 37705 16 | 0.079 % |
142.15/142.31 c | 223685 | 36 7938 92232 | 40772 39247 16 | 0.079 % |
143.55/143.79 c | 225380 | 36 7938 92232 | 40772 35858 16 | 0.079 % |
144.85/145.07 c | 227244 | 36 7938 92232 | 40772 37722 16 | 0.079 % |
146.35/146.50 c | 229293 | 36 7938 92232 | 40772 39771 16 | 0.079 % |
147.85/148.02 c | 231546 | 36 7938 92232 | 40479 36843 16 | 0.079 % |
147.85/148.09 c | 231646 | 36 7938 92232 | 40479 36943 16 | 0.079 % |
147.95/148.18 c | 231757 | 36 7938 92232 | 40479 37054 16 | 0.079 % |
148.05/148.28 c | 231878 | 36 7938 92232 | 40479 37175 16 | 0.079 % |
148.15/148.39 c | 232011 | 36 7938 92232 | 40479 37308 16 | 0.079 % |
148.35/148.50 c | 232158 | 36 7938 92232 | 40479 37455 16 | 0.079 % |
148.45/148.60 c | 232319 | 36 7938 92232 | 40479 37616 16 | 0.079 % |
148.55/148.70 c | 232497 | 36 7938 92232 | 40479 37794 16 | 0.079 % |
148.65/148.82 c | 232690 | 36 7938 92232 | 40479 37987 16 | 0.079 % |
148.75/148.95 c | 232902 | 36 7938 92232 | 40479 38199 16 | 0.079 % |
148.95/149.13 c | 233135 | 36 7938 92232 | 40479 38432 16 | 0.079 % |
149.15/149.31 c | 233391 | 36 7938 92232 | 40479 38688 16 | 0.079 % |
149.25/149.50 c | 233674 | 36 7938 92232 | 40479 38971 16 | 0.079 % |
149.55/149.75 c | 233984 | 36 7938 92232 | 40479 39281 16 | 0.079 % |
149.85/150.04 c | 234325 | 36 7938 92232 | 40479 39622 16 | 0.079 % |
150.15/150.34 c | 234697 | 36 7938 92232 | 40479 39994 16 | 0.079 % |
150.45/150.65 c | 235108 | 36 7938 92232 | 40479 40405 16 | 0.079 % |
150.85/151.03 c | 235557 | 36 7938 92232 | 40479 35906 16 | 0.079 % |
151.15/151.37 c | 236051 | 36 7938 92232 | 40479 36400 16 | 0.079 % |
151.55/151.79 c | 236594 | 36 7938 92232 | 40479 36943 16 | 0.079 % |
152.04/152.22 c | 237191 | 36 7938 92232 | 40479 37540 16 | 0.079 % |
152.45/152.67 c | 237847 | 36 7938 92232 | 40479 38196 16 | 0.079 % |
153.04/153.26 c | 238569 | 36 7938 92232 | 40479 38918 16 | 0.079 % |
153.64/153.83 c | 239363 | 36 7938 92232 | 40479 39712 16 | 0.079 % |
154.34/154.50 c | 240236 | 36 7938 92232 | 40350 35690 16 | 0.079 % |
154.84/155.06 c | 241195 | 36 7938 92232 | 40350 36649 16 | 0.079 % |
155.44/155.66 c | 242248 | 36 7938 92232 | 40350 37702 16 | 0.079 % |
156.24/156.44 c | 243406 | 36 7938 92232 | 40350 38860 16 | 0.079 % |
157.04/157.29 c | 244679 | 36 7938 92232 | 40350 40133 16 | 0.079 % |
158.04/158.25 c | 246081 | 36 7938 92232 | 40350 37144 16 | 0.079 % |
159.24/159.43 c | 247623 | 36 7938 92232 | 40350 38686 16 | 0.079 % |
160.44/160.61 c | 249318 | 36 7938 92232 | 40350 35787 16 | 0.079 % |
161.44/161.70 c | 251182 | 36 7938 92232 | 36469 33570 16 | 0.079 % |
162.64/162.88 c | 253232 | 36 7938 92232 | 36469 35620 16 | 0.079 % |
163.83/164.08 c | 255485 | 36 7938 92232 | 36469 34224 16 | 0.079 % |
165.43/165.60 c | 257964 | 36 7938 92232 | 36469 33055 16 | 0.079 % |
165.43/165.66 c | 258066 | 36 7938 92232 | 36469 33157 16 | 0.079 % |
165.53/165.74 c | 258177 | 36 7938 92232 | 36469 33268 16 | 0.079 % |
165.63/165.83 c | 258298 | 36 7938 92232 | 36469 33389 16 | 0.079 % |
165.73/165.90 c | 258431 | 36 7938 92232 | 36469 33522 16 | 0.079 % |
165.73/165.99 c | 258578 | 36 7938 92232 | 36469 33669 16 | 0.079 % |
165.83/166.10 c | 258738 | 36 7938 92232 | 36469 33829 16 | 0.079 % |
166.03/166.20 c | 258914 | 36 7938 92232 | 36469 34005 16 | 0.079 % |
166.13/166.34 c | 259107 | 36 7938 92232 | 36469 34198 16 | 0.079 % |
166.23/166.46 c | 259319 | 36 7938 92232 | 36469 34410 16 | 0.079 % |
166.43/166.60 c | 259553 | 36 7938 92232 | 36469 34644 16 | 0.079 % |
166.53/166.76 c | 259811 | 36 7938 92232 | 36469 34902 16 | 0.079 % |
166.73/166.95 c | 260092 | 36 7938 92232 | 2147483647 35183 16 | 0.079 % |
166.93/167.16 c | 260403 | 36 7938 92232 | 2147483647 35494 16 | 0.079 % |
167.13/167.37 c | 260744 | 36 7938 92232 | 2147483647 35835 16 | 0.079 % |
167.33/167.59 c | 261118 | 36 7938 92232 | 2147483647 36209 16 | 0.079 % |
167.63/167.88 c | 261527 | 36 7938 92232 | 2147483647 36618 16 | 0.079 % |
168.03/168.20 c | 261976 | 36 7938 92232 | 2147483647 37067 16 | 0.079 % |
168.33/168.55 c | 262470 | 36 7938 92232 | 2147483647 37561 16 | 0.079 % |
168.73/168.91 c | 263012 | 36 7938 92232 | 2147483647 38103 16 | 0.079 % |
169.03/169.28 c | 263609 | 36 7938 92232 | 2147483647 38700 16 | 0.079 % |
169.63/169.82 c | 264267 | 36 7938 92232 | 2147483647 39358 16 | 0.079 % |
170.13/170.34 c | 264989 | 36 7938 92232 | 2147483647 40080 16 | 0.079 % |
170.73/170.91 c | 265782 | 36 7938 92232 | 2147483647 40873 16 | 0.079 % |
171.43/171.60 c | 266653 | 36 7938 92232 | 2147483647 41744 16 | 0.079 % |
172.13/172.34 c | 267611 | 36 7938 92232 | 2147483647 42702 16 | 0.079 % |
172.83/173.10 c | 268666 | 36 7938 92232 | 2147483647 43757 16 | 0.079 % |
173.94/174.15 c | 269826 | 36 7938 92232 | 2147483647 44917 16 | 0.079 % |
174.94/175.19 c | 271100 | 36 7938 92232 | 45092 40619 16 | 0.079 % |
175.94/176.18 c | 272501 | 36 7938 92232 | 45092 42020 16 | 0.079 % |
177.14/177.36 c | 274042 | 36 7938 92232 | 45092 43561 16 | 0.079 % |
178.44/178.69 c | 275737 | 36 7938 92232 | 45092 39440 16 | 0.079 % |
179.74/179.93 c | 277601 | 36 7938 92232 | 45092 41304 16 | 0.079 % |
181.24/181.43 c | 279651 | 36 7938 92232 | 45092 43354 16 | 0.079 % |
182.93/183.10 c | 281904 | 36 7938 92232 | 43706 39859 16 | 0.079 % |
184.43/184.66 c | 284382 | 36 7938 92232 | 43706 42337 16 | 0.079 % |
186.33/186.58 c | 287107 | 36 7938 92232 | 43706 39727 16 | 0.079 % |
186.43/186.65 c | 287207 | 36 7938 92232 | 43706 39827 16 | 0.079 % |
186.53/186.75 c | 287319 | 36 7938 92232 | 43706 39939 16 | 0.079 % |
186.63/186.84 c | 287440 | 36 7938 92232 | 43706 40060 16 | 0.079 % |
186.74/186.96 c | 287573 | 36 7938 92232 | 43706 40193 16 | 0.079 % |
186.84/187.08 c | 287719 | 36 7938 92232 | 43706 40339 16 | 0.079 % |
187.03/187.23 c | 287880 | 36 7938 92232 | 43706 40500 16 | 0.079 % |
187.13/187.39 c | 288057 | 36 7938 92232 | 43706 40677 16 | 0.079 % |
187.33/187.55 c | 288250 | 36 7938 92232 | 43706 40870 16 | 0.079 % |
187.53/187.72 c | 288462 | 36 7938 92232 | 43706 41082 16 | 0.079 % |
187.63/187.90 c | 288695 | 36 7938 92232 | 43706 41315 16 | 0.079 % |
187.94/188.16 c | 288952 | 36 7938 92232 | 43706 41572 16 | 0.079 % |
188.23/188.44 c | 289235 | 36 7938 92232 | 43706 41855 16 | 0.079 % |
188.43/188.70 c | 289545 | 36 7938 92232 | 43706 42165 16 | 0.079 % |
188.73/188.99 c | 289885 | 36 7938 92232 | 43706 42505 16 | 0.079 % |
189.13/189.40 c | 290257 | 36 7938 92232 | 42620 37051 16 | 0.079 % |
189.43/189.67 c | 290668 | 36 7938 92232 | 42620 37462 16 | 0.079 % |
189.73/189.96 c | 291117 | 36 7938 92232 | 42620 37911 16 | 0.079 % |
190.03/190.23 c | 291611 | 36 7938 92232 | 42620 38405 16 | 0.079 % |
190.43/190.67 c | 292154 | 36 7938 92232 | 42620 38948 16 | 0.079 % |
190.83/191.01 c | 292751 | 36 7938 92232 | 42620 39545 16 | 0.079 % |
191.23/191.44 c | 293406 | 36 7938 92232 | 42620 40200 16 | 0.079 % |
191.73/191.97 c | 294126 | 36 7938 92232 | 42620 40920 16 | 0.079 % |
192.33/192.51 c | 294919 | 36 7938 92232 | 42620 41713 16 | 0.079 % |
192.93/193.17 c | 295791 | 36 7938 92232 | 42620 42585 16 | 0.079 % |
193.63/193.86 c | 296751 | 36 7938 92232 | 42620 38124 16 | 0.079 % |
194.43/194.62 c | 297805 | 36 7938 92232 | 42620 39178 16 | 0.079 % |
195.23/195.46 c | 298963 | 36 7938 92232 | 42620 40336 16 | 0.079 % |
196.33/196.51 c | 300236 | 36 7938 92232 | 41375 36365 16 | 0.079 % |
197.13/197.31 c | 301637 | 36 7938 92232 | 41375 37766 16 | 0.079 % |
198.12/198.32 c | 303178 | 36 7938 92232 | 41375 39307 16 | 0.079 % |
199.32/199.51 c | 304872 | 36 7938 92232 | 41375 41001 16 | 0.079 % |
200.72/200.92 c | 306735 | 36 7938 92232 | 41375 37932 16 | 0.079 % |
202.23/202.46 c | 308785 | 36 7938 92232 | 41375 39982 16 | 0.079 % |
203.62/203.90 c | 311038 | 36 7938 92232 | 41199 37260 16 | 0.079 % |
205.31/205.51 c | 313517 | 36 7938 92232 | 41199 39739 16 | 0.079 % |
207.21/207.41 c | 316243 | 36 7938 92232 | 41199 37838 16 | 0.079 % |
209.01/209.27 c | 319241 | 36 7938 92232 | 41199 40836 16 | 0.079 % |
209.11/209.36 c | 319342 | 36 7938 92232 | 41199 40937 16 | 0.079 % |
209.21/209.44 c | 319452 | 36 7938 92232 | 41199 41047 16 | 0.079 % |
209.31/209.54 c | 319574 | 36 7938 92232 | 41199 41169 16 | 0.079 % |
209.51/209.74 c | 319707 | 36 7938 92232 | 41199 36764 16 | 0.079 % |
209.61/209.84 c | 319853 | 36 7938 92232 | 41199 36910 16 | 0.079 % |
209.71/209.97 c | 320015 | 36 7938 92232 | 37057 37072 16 | 0.079 % |
209.91/210.14 c | 320191 | 36 7938 92232 | 37057 33148 16 | 0.079 % |
210.01/210.27 c | 320385 | 36 7938 92232 | 37057 33342 16 | 0.079 % |
210.11/210.36 c | 320597 | 36 7938 92232 | 37057 33554 16 | 0.079 % |
210.31/210.51 c | 320831 | 36 7938 92232 | 37057 33788 16 | 0.079 % |
210.51/210.70 c | 321087 | 36 7938 92232 | 37057 34044 16 | 0.079 % |
210.61/210.89 c | 321368 | 36 7938 92232 | 37057 34325 16 | 0.079 % |
210.91/211.10 c | 321677 | 36 7938 92232 | 37057 34634 16 | 0.079 % |
211.11/211.33 c | 322019 | 36 7938 92232 | 37057 34976 16 | 0.079 % |
211.31/211.58 c | 322392 | 36 7938 92232 | 37057 35349 16 | 0.079 % |
211.61/211.83 c | 322801 | 36 7938 92232 | 37057 35758 16 | 0.079 % |
211.91/212.14 c | 323250 | 36 7938 92232 | 37057 36207 16 | 0.079 % |
212.21/212.48 c | 323743 | 36 7938 92232 | 37057 36700 16 | 0.079 % |
212.61/212.86 c | 324285 | 36 7938 92232 | 37057 33407 16 | 0.079 % |
213.01/213.20 c | 324881 | 36 7938 92232 | 37057 34003 16 | 0.079 % |
213.41/213.62 c | 325537 | 36 7938 92232 | 37057 34659 16 | 0.079 % |
213.91/214.13 c | 326259 | 36 7938 92232 | 37057 35381 16 | 0.079 % |
214.41/214.67 c | 327051 | 36 7938 92232 | 37057 36173 16 | 0.079 % |
215.01/215.21 c | 327923 | 36 7938 92232 | 37057 37045 16 | 0.079 % |
215.61/215.87 c | 328882 | 36 7938 92232 | 37057 34297 16 | 0.079 % |
216.30/216.55 c | 329935 | 36 7938 92232 | 37057 35350 16 | 0.079 % |
217.00/217.28 c | 331094 | 36 7938 92232 | 2147483647 36509 16 | 0.079 % |
217.90/218.16 c | 332368 | 36 7938 92232 | 2147483647 37783 16 | 0.079 % |
218.90/219.10 c | 333768 | 36 7938 92232 | 2147483647 39183 16 | 0.079 % |
219.81/220.06 c | 335308 | 36 7938 92232 | 2147483647 40723 16 | 0.079 % |
221.00/221.20 c | 337003 | 36 7938 92232 | 2147483647 42418 16 | 0.079 % |
222.30/222.57 c | 338866 | 36 7938 92232 | 2147483647 44281 16 | 0.079 % |
224.00/224.23 c | 340916 | 36 7938 92232 | 45415 40942 16 | 0.079 % |
225.60/225.82 c | 343169 | 36 7938 92232 | 45415 43195 16 | 0.079 % |
227.60/227.83 c | 345648 | 36 7938 92232 | 45415 39469 16 | 0.079 % |
229.20/229.42 c | 348373 | 36 7938 92232 | 45415 42194 16 | 0.079 % |
231.20/231.43 c | 351372 | 36 7938 92232 | 43823 39403 16 | 0.079 % |
233.70/233.90 c | 354668 | 36 7938 92232 | 43823 42699 16 | 0.079 % |
233.70/233.98 c | 354770 | 36 7938 92232 | 43823 42801 16 | 0.079 % |
233.80/234.08 c | 354881 | 36 7938 92232 | 43823 42912 16 | 0.079 % |
233.90/234.20 c | 355003 | 36 7938 92232 | 43823 43034 16 | 0.079 % |
234.10/234.34 c | 355136 | 36 7938 92232 | 43823 43167 16 | 0.079 % |
234.20/234.46 c | 355284 | 36 7938 92232 | 43823 43315 16 | 0.079 % |
234.30/234.59 c | 355444 | 36 7938 92232 | 43823 43475 16 | 0.079 % |
234.50/234.74 c | 355623 | 36 7938 92232 | 43823 43654 16 | 0.079 % |
234.80/235.01 c | 355817 | 36 7938 92232 | 43823 37968 16 | 0.079 % |
234.90/235.19 c | 356032 | 36 7938 92232 | 43823 38183 16 | 0.079 % |
235.10/235.37 c | 356265 | 36 7938 92232 | 43823 38416 16 | 0.079 % |
235.30/235.54 c | 356521 | 36 7938 92232 | 43823 38672 16 | 0.079 % |
235.50/235.76 c | 356802 | 36 7938 92232 | 43823 38953 16 | 0.079 % |
235.80/236.00 c | 357111 | 36 7938 92232 | 43823 39262 16 | 0.079 % |
236.00/236.27 c | 357450 | 36 7938 92232 | 43823 39601 16 | 0.079 % |
236.30/236.56 c | 357822 | 36 7938 92232 | 43823 39973 16 | 0.079 % |
236.60/236.82 c | 358232 | 36 7938 92232 | 43823 40383 16 | 0.079 % |
237.00/237.20 c | 358682 | 36 7938 92232 | 43823 40833 16 | 0.079 % |
237.40/237.63 c | 359175 | 36 7938 92232 | 43823 41326 16 | 0.079 % |
237.80/238.03 c | 359718 | 36 7938 92232 | 43823 41869 16 | 0.079 % |
238.30/238.59 c | 360314 | 36 7938 92232 | 42151 36790 16 | 0.079 % |
238.80/239.01 c | 360970 | 36 7938 92232 | 42151 37446 16 | 0.079 % |
239.30/239.56 c | 361691 | 36 7938 92232 | 42151 38167 16 | 0.079 % |
240.00/240.21 c | 362483 | 36 7938 92232 | 42151 38959 16 | 0.079 % |
240.60/240.81 c | 363356 | 36 7938 92232 | 42151 39832 16 | 0.079 % |
241.40/241.65 c | 364314 | 36 7938 92232 | 42151 40790 16 | 0.079 % |
242.19/242.49 c | 365369 | 36 7938 92232 | 42151 41845 16 | 0.079 % |
242.99/243.27 c | 366527 | 36 7938 92232 | 42151 37353 16 | 0.079 % |
244.00/244.21 c | 367801 | 36 7938 92232 | 42151 38627 16 | 0.079 % |
244.79/245.07 c | 369203 | 36 7938 92232 | 42151 40029 16 | 0.079 % |
245.89/246.16 c | 370744 | 36 7938 92232 | 40826 36443 16 | 0.079 % |
246.89/247.12 c | 372438 | 36 7938 92232 | 40826 38137 16 | 0.079 % |
247.69/248.00 c | 374304 | 36 7938 92232 | 40826 40003 16 | 0.079 % |
248.99/249.25 c | 376353 | 36 7938 92232 | 40826 37967 16 | 0.079 % |
250.68/250.95 c | 378608 | 36 7938 92232 | 40826 40222 16 | 0.079 % |
252.28/252.58 c | 381086 | 36 7938 92232 | 37435 34684 16 | 0.079 % |
254.08/254.38 c | 383811 | 36 7938 92232 | 37435 37409 16 | 0.079 % |
255.79/256.03 c | 386808 | 36 7938 92232 | 37435 36661 16 | 0.079 % |
257.78/258.01 c | 390104 | 36 7938 92232 | 2147483647 36212 16 | 0.079 % |
260.28/260.57 c | 393730 | 36 7938 92232 | 2147483647 39838 16 | 0.079 % |
260.39/260.67 c | 393830 | 36 7938 92232 | 2147483647 39938 16 | 0.079 % |
260.48/260.77 c | 393940 | 36 7938 92232 | 2147483647 40048 16 | 0.079 % |
260.68/260.90 c | 394061 | 36 7938 92232 | 2147483647 40169 16 | 0.079 % |
260.78/261.02 c | 394194 | 36 7938 92232 | 2147483647 40302 16 | 0.079 % |
260.88/261.13 c | 394342 | 36 7938 92232 | 2147483647 40450 16 | 0.079 % |
260.98/261.26 c | 394502 | 36 7938 92232 | 2147483647 40610 16 | 0.079 % |
261.18/261.40 c | 394678 | 36 7938 92232 | 2147483647 40786 16 | 0.079 % |
261.38/261.61 c | 394872 | 36 7938 92232 | 2147483647 40980 16 | 0.079 % |
261.58/261.81 c | 395084 | 36 7938 92232 | 2147483647 41192 16 | 0.079 % |
261.78/262.00 c | 395317 | 36 7938 92232 | 2147483647 41425 16 | 0.079 % |
261.88/262.19 c | 395574 | 36 7938 92232 | 2147483647 41682 16 | 0.079 % |
262.08/262.39 c | 395855 | 36 7938 92232 | 2147483647 41963 16 | 0.079 % |
262.28/262.59 c | 396164 | 36 7938 92232 | 2147483647 42272 16 | 0.079 % |
262.58/262.86 c | 396503 | 36 7938 92232 | 2147483647 42611 16 | 0.079 % |
262.88/263.19 c | 396875 | 36 7938 92232 | 2147483647 42983 16 | 0.079 % |
263.18/263.46 c | 397284 | 36 7938 92232 | 2147483647 43392 16 | 0.079 % |
263.48/263.78 c | 397733 | 36 7938 92232 | 2147483647 43841 16 | 0.079 % |
263.88/264.18 c | 398226 | 36 7938 92232 | 2147483647 44334 16 | 0.079 % |
264.38/264.66 c | 398768 | 36 7938 92232 | 2147483647 44876 16 | 0.079 % |
264.88/265.16 c | 399364 | 36 7938 92232 | 2147483647 45472 16 | 0.079 % |
265.48/265.73 c | 400019 | 36 7938 92232 | 46111 46127 16 | 0.079 % |
266.18/266.44 c | 400739 | 36 7938 92232 | 46111 40938 16 | 0.079 % |
266.78/267.10 c | 401532 | 36 7938 92232 | 46111 41731 16 | 0.079 % |
267.58/267.83 c | 402404 | 36 7938 92232 | 46111 42603 16 | 0.079 % |
268.18/268.48 c | 403364 | 36 7938 92232 | 46111 43563 16 | 0.079 % |
269.08/269.32 c | 404417 | 36 7938 92232 | 46111 44616 16 | 0.079 % |
270.17/270.41 c | 405575 | 36 7938 92232 | 46111 45774 16 | 0.079 % |
271.38/271.61 c | 406848 | 36 7938 92232 | 46111 39828 16 | 0.079 % |
272.48/272.76 c | 408250 | 36 7938 92232 | 46111 41230 16 | 0.079 % |
273.68/273.91 c | 409790 | 36 7938 92232 | 46111 42770 16 | 0.079 % |
274.78/275.05 c | 411486 | 36 7938 92232 | 42981 37896 16 | 0.079 % |
275.78/276.00 c | 413350 | 36 7938 92232 | 42981 39760 16 | 0.079 % |
277.27/277.56 c | 415400 | 36 7938 92232 | 42981 41810 16 | 0.079 % |
278.87/279.16 c | 417653 | 36 7938 92232 | 42981 38730 16 | 0.079 % |
280.57/280.87 c | 420132 | 36 7938 92232 | 41079 36230 16 | 0.079 % |
282.27/282.56 c | 422857 | 36 7938 92232 | 41079 38955 16 | 0.079 % |
284.27/284.59 c | 425854 | 36 7938 92232 | 41079 37517 16 | 0.079 % |
286.27/286.54 c | 429152 | 36 7938 92232 | 41079 40815 16 | 0.079 % |
288.17/288.42 c | 432777 | 36 7938 92232 | 2147483647 40331 16 | 0.079 % |
290.96/291.21 c | 436764 | 36 7938 92232 | 2147483647 44318 16 | 0.079 % |
291.06/291.30 c | 436866 | 36 7938 92232 | 2147483647 44420 16 | 0.079 % |
291.06/291.39 c | 436977 | 36 7938 92232 | 2147483647 44531 16 | 0.079 % |
291.17/291.50 c | 437099 | 36 7938 92232 | 2147483647 44653 16 | 0.079 % |
291.36/291.64 c | 437233 | 36 7938 92232 | 2147483647 44787 16 | 0.079 % |
291.56/291.81 c | 437381 | 36 7938 92232 | 2147483647 44935 16 | 0.079 % |
291.66/291.96 c | 437541 | 36 7938 92232 | 2147483647 45095 16 | 0.079 % |
291.86/292.13 c | 437717 | 36 7938 92232 | 2147483647 45271 16 | 0.079 % |
291.96/292.29 c | 437910 | 36 7938 92232 | 2147483647 45464 16 | 0.079 % |
292.16/292.46 c | 438124 | 36 7938 92232 | 2147483647 45678 16 | 0.079 % |
292.37/292.66 c | 438358 | 36 7938 92232 | 2147483647 45912 16 | 0.079 % |
292.56/292.87 c | 438614 | 36 7938 92232 | 2147483647 46168 16 | 0.079 % |
292.86/293.11 c | 438895 | 36 7938 92232 | 2147483647 46449 16 | 0.079 % |
293.06/293.33 c | 439205 | 36 7938 92232 | 2147483647 46759 16 | 0.079 % |
293.36/293.67 c | 439544 | 36 7938 92232 | 2147483647 47098 16 | 0.079 % |
293.66/293.98 c | 439917 | 36 7938 92232 | 2147483647 47471 16 | 0.079 % |
294.16/294.45 c | 440327 | 36 7938 92232 | 47554 42051 16 | 0.079 % |
294.65/294.90 c | 440776 | 36 7938 92232 | 47554 42500 16 | 0.079 % |
295.05/295.33 c | 441269 | 36 7938 92232 | 47554 42993 16 | 0.079 % |
295.45/295.72 c | 441811 | 36 7938 92232 | 47554 43535 16 | 0.079 % |
295.85/296.12 c | 442408 | 36 7938 92232 | 47554 44132 16 | 0.079 % |
296.25/296.53 c | 443065 | 36 7938 92232 | 47554 44789 16 | 0.079 % |
296.76/297.09 c | 443788 | 36 7938 92232 | 47554 45512 16 | 0.079 % |
297.35/297.64 c | 444580 | 36 7938 92232 | 47554 46304 16 | 0.079 % |
298.05/298.34 c | 445451 | 36 7938 92232 | 47554 47175 16 | 0.079 % |
298.85/299.12 c | 446409 | 36 7938 92232 | 47554 41428 16 | 0.079 % |
299.65/299.93 c | 447462 | 36 7938 92232 | 47554 42481 16 | 0.079 % |
300.65/300.96 c | 448622 | 36 7938 92232 | 47554 43641 16 | 0.079 % |
301.75/302.01 c | 449896 | 36 7938 92232 | 47554 44915 16 | 0.079 % |
302.85/303.19 c | 451297 | 36 7938 92232 | 45020 39757 16 | 0.079 % |
304.05/304.35 c | 452837 | 36 7938 92232 | 45020 41297 16 | 0.079 % |
305.25/305.59 c | 454531 | 36 7938 92232 | 45020 42991 16 | 0.079 % |
306.65/306.97 c | 456396 | 36 7938 92232 | 45020 44856 16 | 0.079 % |
308.25/308.58 c | 458445 | 36 7938 92232 | 45020 40992 16 | 0.079 % |
309.64/309.92 c | 460700 | 36 7938 92232 | 42548 37796 16 | 0.079 % |
311.24/311.57 c | 463178 | 36 7938 92232 | 42548 40274 15 | 0.079 % |
313.04/313.37 c | 465903 | 36 7938 92232 | 42548 38131 15 | 0.079 % |
315.14/315.46 c | 468900 | 36 7938 92232 | 42548 41128 15 | 0.079 % |
317.04/317.33 c | 472197 | 36 7938 92232 | 42228 39666 15 | 0.079 % |
319.04/319.37 c | 475823 | 36 7938 92232 | 42228 39068 15 | 0.079 % |
321.54/321.81 c | 479810 | 36 7938 92232 | 42228 38831 15 | 0.079 % |
324.64/324.92 c | 484195 | 36 7938 92232 | 2147483647 43216 15 | 0.079 % |
324.74/325.00 c | 484296 | 36 7938 92232 | 2147483647 43317 15 | 0.079 % |
324.74/325.09 c | 484409 | 36 7938 92232 | 2147483647 43430 15 | 0.079 % |
324.84/325.19 c | 484530 | 36 7938 92232 | 2147483647 43551 15 | 0.079 % |
325.04/325.31 c | 484663 | 36 7938 92232 | 2147483647 43684 15 | 0.079 % |
325.14/325.43 c | 484809 | 36 7938 92232 | 2147483647 43830 15 | 0.079 % |
325.24/325.53 c | 484970 | 36 7938 92232 | 2147483647 43991 15 | 0.079 % |
325.34/325.69 c | 485147 | 36 7938 92232 | 2147483647 44168 15 | 0.079 % |
325.54/325.86 c | 485341 | 36 7938 92232 | 2147483647 44362 15 | 0.079 % |
325.74/326.03 c | 485554 | 36 7938 92232 | 2147483647 44575 15 | 0.079 % |
325.94/326.24 c | 485788 | 36 7938 92232 | 2147483647 44809 15 | 0.079 % |
326.14/326.45 c | 486045 | 36 7938 92232 | 2147483647 45066 15 | 0.079 % |
326.34/326.65 c | 486326 | 36 7938 92232 | 2147483647 45347 15 | 0.079 % |
326.64/326.90 c | 486635 | 36 7938 92232 | 2147483647 45656 15 | 0.079 % |
326.84/327.13 c | 486975 | 36 7938 92232 | 2147483647 45996 15 | 0.079 % |
327.24/327.50 c | 487347 | 36 7938 92232 | 2147483647 46368 15 | 0.079 % |
327.64/327.90 c | 487757 | 36 7938 92232 | 2147483647 46778 15 | 0.079 % |
327.94/328.21 c | 488207 | 36 7938 92232 | 2147483647 47228 15 | 0.079 % |
328.24/328.52 c | 488701 | 36 7938 92232 | 2147483647 47722 15 | 0.079 % |
328.64/328.97 c | 489245 | 36 7938 92232 | 2147483647 48266 15 | 0.079 % |
329.13/329.48 c | 489841 | 36 7938 92232 | 2147483647 48862 15 | 0.079 % |
329.83/330.14 c | 490497 | 36 7938 92232 | 49022 42363 15 | 0.079 % |
330.43/330.77 c | 491219 | 36 7938 92232 | 49022 43085 15 | 0.079 % |
331.03/331.31 c | 492011 | 36 7938 92232 | 49022 43877 15 | 0.079 % |
331.73/332.00 c | 492885 | 36 7938 92232 | 49022 44751 15 | 0.079 % |
332.43/332.76 c | 493844 | 36 7938 92232 | 49022 45710 15 | 0.079 % |
333.23/333.55 c | 494898 | 36 7938 92232 | 49022 46764 15 | 0.079 % |
334.04/334.31 c | 496056 | 36 7938 92232 | 49022 47922 15 | 0.079 % |
335.43/335.73 c | 497329 | 36 7938 92232 | 49022 41414 15 | 0.079 % |
336.34/336.61 c | 498729 | 36 7938 92232 | 49022 42814 15 | 0.079 % |
337.54/337.82 c | 500269 | 36 7938 92232 | 44086 37677 15 | 0.079 % |
338.64/338.90 c | 501964 | 36 7938 92232 | 44086 39372 15 | 0.079 % |
339.83/340.16 c | 503827 | 36 7938 92232 | 44086 41235 15 | 0.079 % |
341.43/341.75 c | 505876 | 36 7938 92232 | 44086 43284 15 | 0.079 % |
342.73/343.05 c | 508130 | 36 7938 92232 | 44086 40018 15 | 0.079 % |
344.53/344.85 c | 510609 | 36 7938 92232 | 41889 37728 15 | 0.079 % |
346.03/346.34 c | 513334 | 36 7938 92232 | 41889 40453 15 | 0.079 % |
347.83/348.15 c | 516332 | 36 7938 92232 | 41889 39261 15 | 0.079 % |
350.03/350.38 c | 519629 | 36 7938 92232 | 41889 38367 15 | 0.079 % |
351.73/352.07 c | 523255 | 36 7938 92232 | 2147483647 41993 15 | 0.079 % |
354.23/354.55 c | 527242 | 36 7938 92232 | 2147483647 45980 15 | 0.079 % |
357.43/357.75 c | 531628 | 36 7938 92232 | 48738 44875 15 | 0.079 % |
361.33/361.67 c | 536451 | 36 7938 92232 | 48738 42630 15 | 0.079 % |
361.43/361.73 c | 536552 | 36 7938 92232 | 48738 42731 15 | 0.079 % |
361.53/361.84 c | 536663 | 36 7938 92232 | 48738 42842 15 | 0.079 % |
361.63/361.91 c | 536785 | 36 7938 92232 | 48738 42964 15 | 0.079 % |
361.72/362.00 c | 536920 | 36 7938 92232 | 48738 43099 15 | 0.079 % |
361.82/362.16 c | 537068 | 36 7938 92232 | 48738 43247 15 | 0.079 % |
361.92/362.28 c | 537229 | 36 7938 92232 | 48738 43408 15 | 0.079 % |
362.02/362.39 c | 537405 | 36 7938 92232 | 48738 43584 15 | 0.079 % |
362.22/362.55 c | 537598 | 36 7938 92232 | 48738 43777 15 | 0.079 % |
362.42/362.73 c | 537810 | 36 7938 92232 | 48738 43989 15 | 0.079 % |
362.52/362.87 c | 538043 | 36 7938 92232 | 48738 44222 15 | 0.079 % |
362.73/363.10 c | 538299 | 36 7938 92232 | 48738 44478 15 | 0.079 % |
363.02/363.33 c | 538581 | 36 7938 92232 | 48738 44760 15 | 0.079 % |
363.22/363.59 c | 538893 | 36 7938 92232 | 48738 45072 15 | 0.079 % |
363.52/363.89 c | 539233 | 36 7938 92232 | 48738 45412 15 | 0.079 % |
363.92/364.20 c | 539605 | 36 7938 92232 | 48738 45784 15 | 0.079 % |
364.22/364.59 c | 540015 | 36 7938 92232 | 46180 46194 15 | 0.079 % |
364.72/365.09 c | 540464 | 36 7938 92232 | 46180 39890 15 | 0.079 % |
365.12/365.45 c | 540957 | 36 7938 92232 | 46180 40383 15 | 0.079 % |
365.52/365.82 c | 541501 | 36 7938 92232 | 46180 40927 15 | 0.079 % |
366.02/366.30 c | 542097 | 36 7938 92232 | 46180 41523 15 | 0.079 % |
366.52/366.84 c | 542754 | 36 7938 92232 | 46180 42180 15 | 0.079 % |
367.12/367.43 c | 543474 | 36 7938 92232 | 46180 42900 15 | 0.079 % |
367.72/368.04 c | 544268 | 36 7938 92232 | 46180 43694 15 | 0.079 % |
368.42/368.70 c | 545139 | 36 7938 92232 | 46180 44565 15 | 0.079 % |
369.02/369.31 c | 546099 | 36 7938 92232 | 46180 45525 15 | 0.079 % |
370.02/370.36 c | 547154 | 36 7938 92232 | 46180 39491 15 | 0.079 % |
370.82/371.13 c | 548313 | 36 7938 92232 | 46180 40650 15 | 0.079 % |
371.72/372.09 c | 549586 | 36 7938 92232 | 46180 41923 15 | 0.079 % |
372.92/373.20 c | 550987 | 36 7938 92232 | 42337 37060 15 | 0.079 % |
373.92/374.23 c | 552527 | 36 7938 92232 | 42337 38600 15 | 0.079 % |
375.02/375.30 c | 554221 | 36 7938 92232 | 42337 40294 15 | 0.079 % |
376.12/376.46 c | 556085 | 36 7938 92232 | 42337 42158 15 | 0.079 % |
377.42/377.73 c | 558135 | 36 7938 92232 | 42337 39366 15 | 0.079 % |
378.71/379.01 c | 560389 | 36 7938 92232 | 41233 37179 15 | 0.079 % |
379.91/380.26 c | 562867 | 36 7938 92232 | 41233 39657 15 | 0.079 % |
381.51/381.85 c | 565593 | 36 7938 92232 | 41233 38258 15 | 0.079 % |
383.71/384.03 c | 568591 | 36 7938 92232 | 41233 37131 15 | 0.079 % |
386.00/386.34 c | 571887 | 36 7938 92232 | 2147483647 40427 15 | 0.079 % |
388.20/388.57 c | 575514 | 36 7938 92232 | 2147483647 44054 15 | 0.079 % |
391.20/391.53 c | 579503 | 36 7938 92232 | 2147483647 48043 15 | 0.079 % |
394.40/394.75 c | 583888 | 36 7938 92232 | 48541 46969 15 | 0.079 % |
397.70/398.08 c | 588711 | 36 7938 92232 | 48541 45592 15 | 0.079 % |
401.50/401.89 c | 594016 | 36 7938 92232 | 46881 44957 15 | 0.079 % |
401.59/401.97 c | 594116 | 36 7938 92232 | 46881 45057 15 | 0.079 % |
401.69/402.07 c | 594227 | 36 7938 92232 | 46881 45168 15 | 0.079 % |
401.79/402.20 c | 594349 | 36 7938 92232 | 46881 45290 15 | 0.079 % |
401.99/402.32 c | 594482 | 36 7938 92232 | 46881 45423 15 | 0.079 % |
402.09/402.46 c | 594628 | 36 7938 92232 | 46881 45569 15 | 0.079 % |
402.30/402.60 c | 594788 | 36 7938 92232 | 46881 45729 15 | 0.079 % |
402.39/402.75 c | 594964 | 36 7938 92232 | 46881 45905 15 | 0.079 % |
402.59/402.93 c | 595158 | 36 7938 92232 | 46881 46099 15 | 0.079 % |
402.69/403.06 c | 595372 | 36 7938 92232 | 46881 46313 15 | 0.079 % |
402.89/403.25 c | 595605 | 36 7938 92232 | 46881 46546 15 | 0.079 % |
403.09/403.44 c | 595862 | 36 7938 92232 | 46881 46803 15 | 0.079 % |
403.39/403.79 c | 596145 | 36 7938 92232 | 46881 41286 15 | 0.079 % |
403.69/404.01 c | 596454 | 36 7938 92232 | 46881 41595 15 | 0.079 % |
403.89/404.29 c | 596793 | 36 7938 92232 | 46881 41934 15 | 0.079 % |
404.29/404.63 c | 597166 | 36 7938 92232 | 46881 42307 15 | 0.079 % |
404.59/404.98 c | 597575 | 36 7938 92232 | 46881 42716 15 | 0.079 % |
404.99/405.37 c | 598024 | 36 7938 92232 | 46881 43165 15 | 0.079 % |
405.39/405.73 c | 598518 | 36 7938 92232 | 46881 43659 15 | 0.079 % |
405.79/406.19 c | 599060 | 36 7938 92232 | 46881 44201 15 | 0.079 % |
406.29/406.65 c | 599660 | 36 7938 92232 | 46881 44801 15 | 0.079 % |
406.99/407.32 c | 600315 | 36 7938 92232 | 45141 39465 15 | 0.079 % |
407.49/407.84 c | 601037 | 36 7938 92232 | 45141 40187 15 | 0.079 % |
408.19/408.52 c | 601829 | 36 7938 92232 | 45141 40979 15 | 0.079 % |
408.79/409.16 c | 602702 | 36 7938 92232 | 45141 41852 15 | 0.079 % |
409.49/409.88 c | 603661 | 36 7938 92232 | 45141 42811 15 | 0.079 % |
410.29/410.62 c | 604715 | 36 7938 92232 | 45141 43865 15 | 0.079 % |
411.09/411.49 c | 605876 | 36 7938 92232 | 45141 45026 15 | 0.079 % |
412.19/412.52 c | 607150 | 36 7938 92232 | 45141 39857 15 | 0.079 % |
413.09/413.44 c | 608550 | 36 7938 92232 | 45141 41257 15 | 0.079 % |
414.29/414.65 c | 610090 | 36 7938 92232 | 42710 37010 15 | 0.079 % |
415.39/415.70 c | 611785 | 36 7938 92232 | 42710 38705 15 | 0.079 % |
416.68/417.02 c | 613648 | 36 7938 92232 | 42710 40568 15 | 0.079 % |
418.09/418.49 c | 615697 | 36 7938 92232 | 42710 42617 15 | 0.079 % |
419.68/420.10 c | 617951 | 36 7938 92232 | 42710 39482 15 | 0.079 % |
421.38/421.79 c | 620429 | 36 7938 92232 | 41532 36950 15 | 0.079 % |
423.09/423.48 c | 623155 | 36 7938 92232 | 41532 39676 15 | 0.079 % |
425.18/425.54 c | 626152 | 36 7938 92232 | 41532 38055 15 | 0.079 % |
426.78/427.18 c | 629448 | 36 7938 92232 | 41532 41351 15 | 0.079 % |
428.98/429.38 c | 633075 | 36 7938 92232 | 2147483647 40824 15 | 0.079 % |
431.18/431.57 c | 637064 | 36 7938 92232 | 2147483647 44813 15 | 0.079 % |
434.08/434.42 c | 641452 | 36 7938 92232 | 47749 44343 15 | 0.079 % |
437.27/437.60 c | 646276 | 36 7938 92232 | 47749 43929 14 | 0.079 % |
440.57/440.97 c | 651583 | 36 7938 92232 | 47654 43485 14 | 0.079 % |
444.47/444.89 c | 657420 | 36 7938 92232 | 47654 43645 14 | 0.079 % |
444.57/444.96 c | 657521 | 36 7938 92232 | 47654 43746 14 | 0.079 % |
444.67/445.06 c | 657631 | 36 7938 92232 | 47654 43856 14 | 0.079 % |
444.77/445.14 c | 657753 | 36 7938 92232 | 47654 43978 14 | 0.079 % |
444.87/445.25 c | 657886 | 36 7938 92232 | 47654 44111 14 | 0.079 % |
444.97/445.37 c | 658033 | 36 7938 92232 | 47654 44258 14 | 0.079 % |
445.17/445.51 c | 658194 | 36 7938 92232 | 47654 44419 14 | 0.079 % |
445.27/445.62 c | 658372 | 36 7938 92232 | 47654 44597 14 | 0.079 % |
445.37/445.78 c | 658567 | 36 7938 92232 | 47654 44792 14 | 0.079 % |
445.57/445.97 c | 658780 | 36 7938 92232 | 47654 45005 14 | 0.079 % |
445.77/446.12 c | 659014 | 36 7938 92232 | 47654 45239 14 | 0.079 % |
445.97/446.33 c | 659270 | 36 7938 92232 | 47654 45495 14 | 0.079 % |
446.17/446.54 c | 659552 | 36 7938 92232 | 47654 45777 14 | 0.079 % |
446.37/446.80 c | 659863 | 36 7938 92232 | 47654 46088 14 | 0.079 % |
446.77/447.19 c | 660203 | 36 7938 92232 | 46225 40444 14 | 0.079 % |
447.17/447.51 c | 660575 | 36 7938 92232 | 46225 40816 14 | 0.079 % |
447.47/447.83 c | 660984 | 36 7938 92232 | 46225 41225 14 | 0.079 % |
447.77/448.11 c | 661435 | 36 7938 92232 | 46225 41676 14 | 0.079 % |
447.97/448.38 c | 661928 | 36 7938 92232 | 46225 42169 14 | 0.079 % |
448.47/448.82 c | 662471 | 36 7938 92232 | 46225 42712 14 | 0.079 % |
448.77/449.11 c | 663067 | 36 7938 92232 | 46225 43308 14 | 0.079 % |
449.17/449.55 c | 663723 | 36 7938 92232 | 46225 43964 14 | 0.079 % |
449.67/450.05 c | 664443 | 36 7938 92232 | 46225 44684 14 | 0.079 % |
450.17/450.59 c | 665235 | 36 7938 92232 | 46225 45476 14 | 0.079 % |
450.97/451.31 c | 666106 | 36 7938 92232 | 46225 40787 14 | 0.079 % |
451.57/451.95 c | 667064 | 36 7938 92232 | 46225 41745 14 | 0.079 % |
452.17/452.60 c | 668118 | 36 7938 92232 | 46225 42799 14 | 0.079 % |
452.87/453.28 c | 669278 | 36 7938 92232 | 46225 43959 14 | 0.079 % |
453.87/454.24 c | 670552 | 36 7938 92232 | 44682 40248 14 | 0.079 % |
454.86/455.24 c | 671956 | 36 7938 92232 | 44682 41652 14 | 0.079 % |
455.76/456.15 c | 673498 | 36 7938 92232 | 44682 43194 14 | 0.079 % |
456.86/457.28 c | 675192 | 36 7938 92232 | 44682 40185 14 | 0.079 % |
457.76/458.20 c | 677057 | 36 7938 92232 | 44682 42050 14 | 0.079 % |
458.96/459.39 c | 679107 | 36 7938 92232 | 44682 44100 14 | 0.079 % |
460.57/460.91 c | 681363 | 36 7938 92232 | 2147483647 41887 14 | 0.079 % |
462.06/462.49 c | 683844 | 36 7938 92232 | 2147483647 44368 14 | 0.079 % |
463.87/464.27 c | 686569 | 36 7938 92232 | 2147483647 47093 14 | 0.079 % |
466.16/466.59 c | 689567 | 36 7938 92232 | 2147483647 50091 14 | 0.079 % |
468.56/468.98 c | 692864 | 36 7938 92232 | 50525 46951 14 | 0.079 % |
471.06/471.49 c | 696493 | 36 7938 92232 | 50525 44216 14 | 0.079 % |
473.66/474.05 c | 700481 | 36 7938 92232 | 47723 42740 14 | 0.079 % |
476.25/476.61 c | 704866 | 36 7938 92232 | 47723 47125 14 | 0.079 % |
478.95/479.32 c | 709690 | 36 7938 92232 | 47723 46817 13 | 0.079 % |
482.35/482.72 c | 714996 | 36 7938 92232 | 47127 42412 13 | 0.079 % |
485.75/486.20 c | 720831 | 36 7938 92232 | 42464 38837 13 | 0.079 % |
489.25/489.60 c | 727252 | 36 7938 92232 | 42464 41010 13 | 0.079 % |
489.25/489.65 c | 727352 | 36 7938 92232 | 42464 41110 13 | 0.079 % |
489.35/489.74 c | 727462 | 36 7938 92232 | 42464 41220 13 | 0.079 % |
489.45/489.82 c | 727583 | 36 7938 92232 | 42464 41341 13 | 0.079 % |
489.55/489.92 c | 727716 | 36 7938 92232 | 42464 41474 13 | 0.079 % |
489.65/490.03 c | 727862 | 36 7938 92232 | 42464 41620 13 | 0.079 % |
489.75/490.11 c | 728023 | 36 7938 92232 | 42464 41781 13 | 0.079 % |
489.85/490.24 c | 728202 | 36 7938 92232 | 42464 41960 13 | 0.079 % |
489.95/490.33 c | 728395 | 36 7938 92232 | 42464 42153 13 | 0.079 % |
490.05/490.46 c | 728608 | 36 7938 92232 | 42464 42366 13 | 0.079 % |
490.35/490.72 c | 728843 | 36 7938 92232 | 42464 38353 13 | 0.079 % |
490.45/490.86 c | 729100 | 36 7938 92232 | 42464 38610 13 | 0.079 % |
490.55/490.97 c | 729381 | 36 7938 92232 | 42464 38891 13 | 0.079 % |
490.75/491.16 c | 729692 | 36 7938 92232 | 42464 39202 13 | 0.079 % |
490.95/491.37 c | 730031 | 36 7938 92232 | 2147483647 39541 13 | 0.079 % |
491.25/491.65 c | 730405 | 36 7938 92232 | 2147483647 39915 13 | 0.079 % |
491.55/491.94 c | 730815 | 36 7938 92232 | 2147483647 40325 13 | 0.079 % |
491.85/492.21 c | 731266 | 36 7938 92232 | 2147483647 40776 13 | 0.079 % |
492.15/492.53 c | 731759 | 36 7938 92232 | 2147483647 41269 13 | 0.079 % |
492.45/492.86 c | 732303 | 36 7938 92232 | 2147483647 41813 13 | 0.079 % |
492.95/493.32 c | 732900 | 36 7938 92232 | 2147483647 42410 13 | 0.079 % |
493.55/493.92 c | 733556 | 36 7938 92232 | 2147483647 43066 13 | 0.079 % |
494.14/494.56 c | 734277 | 36 7938 92232 | 2147483647 43787 13 | 0.079 % |
494.65/495.00 c | 735069 | 36 7938 92232 | 2147483647 44579 14 | 0.079 % |
495.04/495.43 c | 735941 | 36 7938 92232 | 2147483647 45451 13 | 0.079 % |
495.65/496.09 c | 736899 | 36 7938 92232 | 2147483647 46409 14 | 0.079 % |
496.44/496.81 c | 737953 | 36 7938 92232 | 2147483647 47463 14 | 0.079 % |
497.34/497.75 c | 739112 | 36 7938 92232 | 2147483647 48622 14 | 0.079 % |
498.44/498.81 c | 740385 | 36 7938 92232 | 49510 43793 14 | 0.079 % |
499.54/499.99 c | 741785 | 36 7938 92232 | 49510 45193 14 | 0.079 % |
500.84/501.27 c | 743326 | 36 7938 92232 | 49510 46734 14 | 0.079 % |
502.04/502.46 c | 745021 | 36 7938 92232 | 49510 48429 14 | 0.079 % |
504.04/504.48 c | 746884 | 36 7938 92232 | 49510 42211 14 | 0.079 % |
505.64/506.05 c | 748933 | 36 7938 92232 | 49510 44260 14 | 0.079 % |
507.34/507.76 c | 751189 | 36 7938 92232 | 45327 39226 14 | 0.079 % |
508.84/509.20 c | 753667 | 36 7938 92232 | 45327 41704 14 | 0.079 % |
510.44/510.85 c | 756393 | 36 7938 92232 | 45327 44430 14 | 0.079 % |
512.74/513.12 c | 759391 | 36 7938 92232 | 45327 42070 14 | 0.080 % |
514.54/514.94 c | 762688 | 36 7938 92232 | 42679 40567 14 | 0.079 % |
516.84/517.24 c | 766314 | 36 7938 92232 | 42679 39923 14 | 0.079 % |
519.23/519.66 c | 770302 | 36 7938 92232 | 2147483647 39641 13 | 0.082 % |
522.13/522.58 c | 774687 | 36 7938 92232 | 2147483647 44026 13 | 0.079 % |
525.12/525.50 c | 779510 | 36 7938 92232 | 2147483647 48849 13 | 0.079 % |
528.92/529.37 c | 784816 | 36 7938 92232 | 49339 48301 13 | 0.079 % |
532.32/532.72 c | 790654 | 36 7938 92232 | 46383 41631 13 | 0.080 % |
535.72/536.15 c | 797072 | 36 7938 92232 | 46383 43409 13 | 0.079 % |
540.12/540.57 c | 804132 | 36 7938 92232 | 46337 45732 13 | 0.082 % |
540.22/540.65 c | 804232 | 36 7938 92232 | 46337 45832 13 | 0.079 % |
540.32/540.71 c | 804342 | 36 7938 92232 | 46337 45942 13 | 0.079 % |
540.42/540.80 c | 804463 | 36 7938 92232 | 46337 46063 13 | 0.079 % |
540.42/540.87 c | 804597 | 36 7938 92232 | 46337 46197 13 | 0.079 % |
540.52/540.98 c | 804743 | 36 7938 92232 | 46337 46343 13 | 0.079 % |
540.72/541.19 c | 804903 | 36 7938 92232 | 46337 41869 13 | 0.079 % |
540.82/541.27 c | 805079 | 36 7938 92232 | 46337 42045 13 | 0.079 % |
541.02/541.43 c | 805272 | 36 7938 92232 | 46337 42238 13 | 0.079 % |
541.12/541.53 c | 805487 | 36 7938 92232 | 46337 42453 13 | 0.079 % |
541.32/541.70 c | 805721 | 36 7938 92232 | 46337 42687 13 | 0.079 % |
541.42/541.84 c | 805977 | 36 7938 92232 | 46337 42943 13 | 0.079 % |
541.52/541.97 c | 806258 | 36 7938 92232 | 46337 43224 13 | 0.079 % |
541.72/542.17 c | 806567 | 36 7938 92232 | 46337 43533 13 | 0.079 % |
542.02/542.44 c | 806906 | 36 7938 92232 | 46337 43872 13 | 0.079 % |
542.22/542.65 c | 807279 | 36 7938 92232 | 46337 44245 13 | 0.079 % |
542.52/542.98 c | 807688 | 36 7938 92232 | 46337 44654 13 | 0.079 % |
542.92/543.39 c | 808137 | 36 7938 92232 | 46337 45103 13 | 0.079 % |
543.32/543.78 c | 808631 | 36 7938 92232 | 46337 45597 13 | 0.079 % |
543.72/544.15 c | 809174 | 36 7938 92232 | 46337 46140 13 | 0.079 % |
544.22/544.62 c | 809770 | 36 7938 92232 | 46337 41426 13 | 0.079 % |
544.62/545.01 c | 810426 | 36 7938 92232 | 41658 37439 13 | 0.079 % |
544.92/545.30 c | 811146 | 36 7938 92232 | 41658 38159 13 | 0.082 % |
545.32/545.72 c | 811939 | 36 7938 92232 | 41658 38952 13 | 0.079 % |
545.92/546.32 c | 812810 | 36 7938 92232 | 41658 39823 13 | 0.157 % |
546.32/546.78 c | 813768 | 36 7938 92232 | 41658 40781 13 | 0.157 % |
547.01/547.45 c | 814822 | 36 7938 92232 | 41658 37668 12 | 0.159 % |
547.61/548.09 c | 815980 | 36 7938 92232 | 41658 38826 12 | 0.161 % |
548.31/548.78 c | 817254 | 36 7938 92232 | 41658 40100 12 | 0.082 % |
548.91/549.37 c | 818654 | 36 7938 92232 | 41658 41500 12 | 0.079 % |
549.91/550.31 c | 820196 | 36 7938 92232 | 2147483647 38875 12 | 0.157 % |
550.81/551.26 c | 821890 | 36 7938 92232 | 2147483647 40569 12 | 0.082 % |
551.91/552.36 c | 823754 | 36 7938 92232 | 2147483647 42433 12 | 0.234 % |
553.11/553.58 c | 825804 | 36 7938 92232 | 2147483647 44483 12 | 0.238 % |
554.41/554.84 c | 828057 | 36 7938 92232 | 2147483647 46736 12 | 0.311 % |
556.11/556.55 c | 830536 | 35 5418 61992 | 2147483647 25377 11 | 2.862 % |
556.61/557.03 c ===============================================================================
556.61/557.03 c restarts : 1118
556.61/557.03 c conflicts : 832105 (1495 /sec)
556.61/557.03 c decisions : 894394 (1.70 % random) (1607 /sec)
556.61/557.03 c propagations : 6006620 (10792 /sec)
556.61/557.03 c conflict literals : 12860091 (16.19 % deleted)
556.61/557.03 c Memory used : 11.49 MB
556.61/557.03 c CPU time : 556.58 s
556.61/557.03 c
556.61/557.03 s UNSATISFIABLE
556.61/557.03 s UNSATISFIABLE
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1834019-1242827293/watcher-1834019-1242827293 -o /tmp/evaluation-result-1834019-1242827293/solver-1834019-1242827293 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1834019-1242827293.cnf
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1230 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 19053
/proc/meminfo: memFree=1949024/2055920 swapFree=4180264/4192956
[pid=19053] ppid=19051 vsize=5356 CPUtime=0
/proc/19053/stat : 19053 (SatELiteGTI) R 19051 19053 18706 0 -1 4194304 290 249 0 0 0 0 0 0 18 0 1 0 137731201 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 244670720499 0 0 4100 65536 0 0 0 17 0 0 0
/proc/19053/statm: 1339 237 197 169 0 50 0
[startup+0.0897899 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 19053
/proc/meminfo: memFree=1949024/2055920 swapFree=4180264/4192956
[pid=19053] ppid=19051 vsize=5356 CPUtime=0.03
/proc/19053/stat : 19053 (SatELiteGTI) S 19051 19053 18706 0 -1 4194304 336 611 0 0 0 0 3 0 16 0 1 0 137731201 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 244671112004 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/19053/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 5356
[startup+0.101787 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 19053
/proc/meminfo: memFree=1949024/2055920 swapFree=4180264/4192956
[pid=19053] ppid=19051 vsize=5356 CPUtime=0.03
/proc/19053/stat : 19053 (SatELiteGTI) S 19051 19053 18706 0 -1 4194304 336 611 0 0 0 0 3 0 16 0 1 0 137731201 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 244671112004 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/19053/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 5356
[startup+0.301809 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 19053
/proc/meminfo: memFree=1949024/2055920 swapFree=4180264/4192956
[pid=19053] ppid=19051 vsize=5356 CPUtime=0.03
/proc/19053/stat : 19053 (SatELiteGTI) S 19051 19053 18706 0 -1 4194304 336 611 0 0 0 0 3 0 16 0 1 0 137731201 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 244671112004 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/19053/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 5356
[startup+0.701849 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 19053
/proc/meminfo: memFree=1949024/2055920 swapFree=4180264/4192956
[pid=19053] ppid=19051 vsize=5356 CPUtime=0.03
/proc/19053/stat : 19053 (SatELiteGTI) S 19051 19053 18706 0 -1 4194304 336 611 0 0 0 0 3 0 16 0 1 0 137731201 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 244671112004 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/19053/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 5356
[startup+1.50193 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 19059
/proc/meminfo: memFree=1946832/2055920 swapFree=4180264/4192956
[pid=19053] ppid=19051 vsize=5356 CPUtime=0.03
/proc/19053/stat : 19053 (SatELiteGTI) S 19051 19053 18706 0 -1 4194304 336 611 0 0 0 0 3 0 16 0 1 0 137731201 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 244671112004 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/19053/statm: 1339 239 197 169 0 50 0
[pid=19059] ppid=19053 vsize=3504 CPUtime=1.43
/proc/19059/stat : 19059 (minisat_static) R 19053 19053 18706 0 -1 4194304 598 0 0 0 143 0 0 0 25 0 1 0 137731205 3588096 584 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/19059/statm: 876 584 76 171 0 703 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 8860
[startup+3.10114 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 19059
/proc/meminfo: memFree=1945864/2055920 swapFree=4180264/4192956
[pid=19053] ppid=19051 vsize=5356 CPUtime=0.03
/proc/19053/stat : 19053 (SatELiteGTI) S 19051 19053 18706 0 -1 4194304 336 611 0 0 0 0 3 0 16 0 1 0 137731201 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 244671112004 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/19053/statm: 1339 239 197 169 0 50 0
[pid=19059] ppid=19053 vsize=4492 CPUtime=3.03
/proc/19059/stat : 19059 (minisat_static) R 19053 19053 18706 0 -1 4194304 833 0 0 0 303 0 0 0 25 0 1 0 137731205 4599808 819 1992294400 134512640 135215339 4294956240 18446744073709551615 134528788 0 0 4096 3 0 0 0 17 0 0 0
/proc/19059/statm: 1123 819 76 171 0 950 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 9848
[startup+6.30147 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 19059
/proc/meminfo: memFree=1944328/2055920 swapFree=4180264/4192956
[pid=19053] ppid=19051 vsize=5356 CPUtime=0.03
/proc/19053/stat : 19053 (SatELiteGTI) S 19051 19053 18706 0 -1 4194304 336 611 0 0 0 0 3 0 16 0 1 0 137731201 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 244671112004 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/19053/statm: 1339 239 197 169 0 50 0
[pid=19059] ppid=19053 vsize=5624 CPUtime=6.22
/proc/19059/stat : 19059 (minisat_static) R 19053 19053 18706 0 -1 4194304 1105 0 0 0 622 0 0 0 25 0 1 0 137731205 5758976 1091 1992294400 134512640 135215339 4294956240 18446744073709551615 134528809 0 0 4096 3 0 0 0 17 0 0 0
/proc/19059/statm: 1406 1091 76 171 0 1233 0
Current children cumulated CPU time (s) 6.25
Current children cumulated vsize (KiB) 10980
[startup+12.7011 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 19059
/proc/meminfo: memFree=1942800/2055920 swapFree=4180264/4192956
[pid=19053] ppid=19051 vsize=5356 CPUtime=0.03
/proc/19053/stat : 19053 (SatELiteGTI) S 19051 19053 18706 0 -1 4194304 336 611 0 0 0 0 3 0 16 0 1 0 137731201 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 244671112004 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/19053/statm: 1339 239 197 169 0 50 0
[pid=19059] ppid=19053 vsize=7052 CPUtime=12.61
/proc/19059/stat : 19059 (minisat_static) R 19053 19053 18706 0 -1 4194304 1447 0 0 0 1261 0 0 0 25 0 1 0 137731205 7221248 1433 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/19059/statm: 1763 1433 76 171 0 1590 0
Current children cumulated CPU time (s) 12.64
Current children cumulated vsize (KiB) 12408
[startup+25.5014 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 19059
/proc/meminfo: memFree=1941008/2055920 swapFree=4180264/4192956
[pid=19053] ppid=19051 vsize=5356 CPUtime=0.03
/proc/19053/stat : 19053 (SatELiteGTI) S 19051 19053 18706 0 -1 4194304 336 611 0 0 0 0 3 0 16 0 1 0 137731201 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 244671112004 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/19053/statm: 1339 239 197 169 0 50 0
[pid=19059] ppid=19053 vsize=8928 CPUtime=25.4
/proc/19059/stat : 19059 (minisat_static) R 19053 19053 18706 0 -1 4194304 1877 0 0 0 2539 1 0 0 25 0 1 0 137731205 9142272 1863 1992294400 134512640 135215339 4294956240 18446744073709551615 134534193 0 0 4096 3 0 0 0 17 0 0 0
/proc/19059/statm: 2232 1863 76 171 0 2059 0
Current children cumulated CPU time (s) 25.43
Current children cumulated vsize (KiB) 14284
[startup+51.1011 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 19059
/proc/meminfo: memFree=1940624/2055920 swapFree=4180264/4192956
[pid=19053] ppid=19051 vsize=5356 CPUtime=0.03
/proc/19053/stat : 19053 (SatELiteGTI) S 19051 19053 18706 0 -1 4194304 336 611 0 0 0 0 3 0 16 0 1 0 137731201 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 244671112004 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/19053/statm: 1339 239 197 169 0 50 0
[pid=19059] ppid=19053 vsize=9356 CPUtime=50.98
/proc/19059/stat : 19059 (minisat_static) R 19053 19053 18706 0 -1 4194304 1974 0 0 0 5097 1 0 0 25 0 1 0 137731205 9580544 1960 1992294400 134512640 135215339 4294956240 18446744073709551615 134528751 0 0 4096 3 0 0 0 17 0 0 0
/proc/19059/statm: 2339 1960 76 171 0 2166 0
Current children cumulated CPU time (s) 51.01
Current children cumulated vsize (KiB) 14712
[startup+102.306 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 19059
/proc/meminfo: memFree=1940112/2055920 swapFree=4180264/4192956
[pid=19053] ppid=19051 vsize=5356 CPUtime=0.03
/proc/19053/stat : 19053 (SatELiteGTI) S 19051 19053 18706 0 -1 4194304 336 611 0 0 0 0 3 0 16 0 1 0 137731201 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 244671112004 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/19053/statm: 1339 239 197 169 0 50 0
[pid=19059] ppid=19053 vsize=9780 CPUtime=102.15
/proc/19059/stat : 19059 (minisat_static) R 19053 19053 18706 0 -1 4194304 2058 0 0 0 10213 2 0 0 25 0 1 0 137731205 10014720 2044 1992294400 134512640 135215339 4294956240 18446744073709551615 134528742 0 0 4096 3 0 0 0 17 0 0 0
/proc/19059/statm: 2445 2044 76 171 0 2272 0
Current children cumulated CPU time (s) 102.18
Current children cumulated vsize (KiB) 15136
[startup+162.303 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 19059
/proc/meminfo: memFree=1939728/2055920 swapFree=4180264/4192956
[pid=19053] ppid=19051 vsize=5356 CPUtime=0.03
/proc/19053/stat : 19053 (SatELiteGTI) S 19051 19053 18706 0 -1 4194304 336 611 0 0 0 0 3 0 16 0 1 0 137731201 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 244671112004 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/19053/statm: 1339 239 197 169 0 50 0
[pid=19059] ppid=19053 vsize=10064 CPUtime=162.11
/proc/19059/stat : 19059 (minisat_static) R 19053 19053 18706 0 -1 4194304 2125 0 0 0 16209 2 0 0 25 0 1 0 137731205 10305536 2111 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/19059/statm: 2516 2111 76 171 0 2343 0
Current children cumulated CPU time (s) 162.14
Current children cumulated vsize (KiB) 15420
[startup+222.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 19059
/proc/meminfo: memFree=1939216/2055920 swapFree=4180264/4192956
[pid=19053] ppid=19051 vsize=5356 CPUtime=0.03
/proc/19053/stat : 19053 (SatELiteGTI) S 19051 19053 18706 0 -1 4194304 336 611 0 0 0 0 3 0 16 0 1 0 137731201 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 244671112004 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/19053/statm: 1339 239 197 169 0 50 0
[pid=19059] ppid=19053 vsize=10352 CPUtime=222.07
/proc/19059/stat : 19059 (minisat_static) R 19053 19053 18706 0 -1 4194304 2225 0 0 0 22204 3 0 0 25 0 1 0 137731205 10600448 2211 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/19059/statm: 2588 2211 76 171 0 2415 0
Current children cumulated CPU time (s) 222.1
Current children cumulated vsize (KiB) 15708
[startup+282.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 19059
/proc/meminfo: memFree=1938896/2055920 swapFree=4180264/4192956
[pid=19053] ppid=19051 vsize=5356 CPUtime=0.03
/proc/19053/stat : 19053 (SatELiteGTI) S 19051 19053 18706 0 -1 4194304 336 611 0 0 0 0 3 0 16 0 1 0 137731201 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 244671112004 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/19053/statm: 1339 239 197 169 0 50 0
[pid=19059] ppid=19053 vsize=10528 CPUtime=282.04
/proc/19059/stat : 19059 (minisat_static) R 19053 19053 18706 0 -1 4194304 2271 0 0 0 28201 3 0 0 25 0 1 0 137731205 10780672 2257 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/19059/statm: 2632 2257 76 171 0 2459 0
Current children cumulated CPU time (s) 282.07
Current children cumulated vsize (KiB) 15884
[startup+342.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 19059
/proc/meminfo: memFree=1938576/2055920 swapFree=4180264/4192956
[pid=19053] ppid=19051 vsize=5356 CPUtime=0.03
/proc/19053/stat : 19053 (SatELiteGTI) S 19051 19053 18706 0 -1 4194304 336 611 0 0 0 0 3 0 16 0 1 0 137731201 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 244671112004 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/19053/statm: 1339 239 197 169 0 50 0
[pid=19059] ppid=19053 vsize=10740 CPUtime=342
/proc/19059/stat : 19059 (minisat_static) R 19053 19053 18706 0 -1 4194304 2327 0 0 0 34196 4 0 0 25 0 1 0 137731205 10997760 2313 1992294400 134512640 135215339 4294956240 18446744073709551615 134534305 0 0 4096 3 0 0 0 17 0 0 0
/proc/19059/statm: 2685 2313 76 171 0 2512 0
Current children cumulated CPU time (s) 342.03
Current children cumulated vsize (KiB) 16096
[startup+402.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 19059
/proc/meminfo: memFree=1938320/2055920 swapFree=4180264/4192956
[pid=19053] ppid=19051 vsize=5356 CPUtime=0.03
/proc/19053/stat : 19053 (SatELiteGTI) S 19051 19053 18706 0 -1 4194304 336 611 0 0 0 0 3 0 16 0 1 0 137731201 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 244671112004 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/19053/statm: 1339 239 197 169 0 50 0
[pid=19059] ppid=19053 vsize=10956 CPUtime=401.96
/proc/19059/stat : 19059 (minisat_static) R 19053 19053 18706 0 -1 4194304 2373 0 0 0 40192 4 0 0 25 0 1 0 137731205 11218944 2359 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/19059/statm: 2739 2359 76 171 0 2566 0
Current children cumulated CPU time (s) 401.99
Current children cumulated vsize (KiB) 16312
[startup+462.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 19059
/proc/meminfo: memFree=1937872/2055920 swapFree=4180264/4192956
[pid=19053] ppid=19051 vsize=5356 CPUtime=0.03
/proc/19053/stat : 19053 (SatELiteGTI) S 19051 19053 18706 0 -1 4194304 336 611 0 0 0 0 3 0 16 0 1 0 137731201 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 244671112004 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/19053/statm: 1339 239 197 169 0 50 0
[pid=19059] ppid=19053 vsize=11380 CPUtime=461.93
/proc/19059/stat : 19059 (minisat_static) R 19053 19053 18706 0 -1 4194304 2456 0 0 0 46189 4 0 0 25 0 1 0 137731205 11653120 2442 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/19059/statm: 2845 2442 76 171 0 2672 0
Current children cumulated CPU time (s) 461.96
Current children cumulated vsize (KiB) 16736
[startup+522.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 19059
/proc/meminfo: memFree=1937488/2055920 swapFree=4180264/4192956
[pid=19053] ppid=19051 vsize=5356 CPUtime=0.03
/proc/19053/stat : 19053 (SatELiteGTI) S 19051 19053 18706 0 -1 4194304 336 611 0 0 0 0 3 0 16 0 1 0 137731201 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 244671112004 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/19053/statm: 1339 239 197 169 0 50 0
[pid=19059] ppid=19053 vsize=11544 CPUtime=521.9
/proc/19059/stat : 19059 (minisat_static) R 19053 19053 18706 0 -1 4194304 2516 0 0 0 52186 4 0 0 25 0 1 0 137731205 11821056 2502 1992294400 134512640 135215339 4294956240 18446744073709551615 134528688 0 0 4096 3 0 0 0 17 0 0 0
/proc/19059/statm: 2886 2502 76 171 0 2713 0
Current children cumulated CPU time (s) 521.93
Current children cumulated vsize (KiB) 16900
Solver just ended. Dumping a history of the last processes samples
[startup+537.501 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 19059
/proc/meminfo: memFree=1937424/2055920 swapFree=4180264/4192956
[pid=19053] ppid=19051 vsize=5356 CPUtime=0.03
/proc/19053/stat : 19053 (SatELiteGTI) S 19051 19053 18706 0 -1 4194304 336 611 0 0 0 0 3 0 16 0 1 0 137731201 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 244671112004 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/19053/statm: 1339 239 197 169 0 50 0
[pid=19059] ppid=19053 vsize=11760 CPUtime=537.09
/proc/19059/stat : 19059 (minisat_static) R 19053 19053 18706 0 -1 4194304 2546 0 0 0 53705 4 0 0 25 0 1 0 137731205 12042240 2532 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/19059/statm: 2940 2532 76 171 0 2767 0
Current children cumulated CPU time (s) 537.12
Current children cumulated vsize (KiB) 17116
[startup+550.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 19059
/proc/meminfo: memFree=1937232/2055920 swapFree=4180264/4192956
[pid=19053] ppid=19051 vsize=5356 CPUtime=0.03
/proc/19053/stat : 19053 (SatELiteGTI) S 19051 19053 18706 0 -1 4194304 336 611 0 0 0 0 3 0 16 0 1 0 137731201 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 244671112004 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/19053/statm: 1339 239 197 169 0 50 0
[pid=19059] ppid=19053 vsize=11760 CPUtime=549.88
/proc/19059/stat : 19059 (minisat_static) R 19053 19053 18706 0 -1 4194304 2565 0 0 0 54984 4 0 0 25 0 1 0 137731205 12042240 2551 1992294400 134512640 135215339 4294956240 18446744073709551615 134528779 0 0 4096 3 0 0 0 17 0 0 0
/proc/19059/statm: 2940 2551 76 171 0 2767 0
Current children cumulated CPU time (s) 549.91
Current children cumulated vsize (KiB) 17116
[startup+553.502 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 19059
/proc/meminfo: memFree=1937232/2055920 swapFree=4180264/4192956
[pid=19053] ppid=19051 vsize=5356 CPUtime=0.03
/proc/19053/stat : 19053 (SatELiteGTI) S 19051 19053 18706 0 -1 4194304 336 611 0 0 0 0 3 0 16 0 1 0 137731201 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 244671112004 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/19053/statm: 1339 239 197 169 0 50 0
[pid=19059] ppid=19053 vsize=11760 CPUtime=553.08
/proc/19059/stat : 19059 (minisat_static) R 19053 19053 18706 0 -1 4194304 2565 0 0 0 55304 4 0 0 25 0 1 0 137731205 12042240 2551 1992294400 134512640 135215339 4294956240 18446744073709551615 134529099 0 0 4096 3 0 0 0 17 0 0 0
/proc/19059/statm: 2940 2551 76 171 0 2767 0
Current children cumulated CPU time (s) 553.11
Current children cumulated vsize (KiB) 17116
[startup+555.103 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 19059
/proc/meminfo: memFree=1937232/2055920 swapFree=4180264/4192956
[pid=19053] ppid=19051 vsize=5356 CPUtime=0.03
/proc/19053/stat : 19053 (SatELiteGTI) S 19051 19053 18706 0 -1 4194304 336 611 0 0 0 0 3 0 16 0 1 0 137731201 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 244671112004 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/19053/statm: 1339 239 197 169 0 50 0
[pid=19059] ppid=19053 vsize=11760 CPUtime=554.68
/proc/19059/stat : 19059 (minisat_static) R 19053 19053 18706 0 -1 4194304 2565 0 0 0 55464 4 0 0 25 0 1 0 137731205 12042240 2551 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/19059/statm: 2940 2551 76 171 0 2767 0
Current children cumulated CPU time (s) 554.71
Current children cumulated vsize (KiB) 17116
[startup+555.901 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 19059
/proc/meminfo: memFree=1937232/2055920 swapFree=4180264/4192956
[pid=19053] ppid=19051 vsize=5356 CPUtime=0.03
/proc/19053/stat : 19053 (SatELiteGTI) S 19051 19053 18706 0 -1 4194304 336 611 0 0 0 0 3 0 16 0 1 0 137731201 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 244671112004 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/19053/statm: 1339 239 197 169 0 50 0
[pid=19059] ppid=19053 vsize=11760 CPUtime=555.48
/proc/19059/stat : 19059 (minisat_static) R 19053 19053 18706 0 -1 4194304 2565 0 0 0 55544 4 0 0 25 0 1 0 137731205 12042240 2551 1992294400 134512640 135215339 4294956240 18446744073709551615 134526376 0 0 4096 3 0 0 0 17 0 0 0
/proc/19059/statm: 2940 2551 76 171 0 2767 0
Current children cumulated CPU time (s) 555.51
Current children cumulated vsize (KiB) 17116
[startup+556.701 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 19059
/proc/meminfo: memFree=1937232/2055920 swapFree=4180264/4192956
[pid=19053] ppid=19051 vsize=5356 CPUtime=0.03
/proc/19053/stat : 19053 (SatELiteGTI) S 19051 19053 18706 0 -1 4194304 336 611 0 0 0 0 3 0 16 0 1 0 137731201 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 244671112004 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/19053/statm: 1339 239 197 169 0 50 0
[pid=19059] ppid=19053 vsize=11760 CPUtime=556.28
/proc/19059/stat : 19059 (minisat_static) R 19053 19053 18706 0 -1 4194304 2565 0 0 0 55624 4 0 0 25 0 1 0 137731205 12042240 2551 1992294400 134512640 135215339 4294956240 18446744073709551615 134529099 0 0 4096 3 0 0 0 17 0 0 0
/proc/19059/statm: 2940 2551 76 171 0 2767 0
Current children cumulated CPU time (s) 556.31
Current children cumulated vsize (KiB) 17116
[startup+556.901 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 19059
/proc/meminfo: memFree=1937232/2055920 swapFree=4180264/4192956
[pid=19053] ppid=19051 vsize=5356 CPUtime=0.03
/proc/19053/stat : 19053 (SatELiteGTI) S 19051 19053 18706 0 -1 4194304 336 611 0 0 0 0 3 0 16 0 1 0 137731201 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 244671112004 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/19053/statm: 1339 239 197 169 0 50 0
[pid=19059] ppid=19053 vsize=11760 CPUtime=556.48
/proc/19059/stat : 19059 (minisat_static) R 19053 19053 18706 0 -1 4194304 2565 0 0 0 55644 4 0 0 25 0 1 0 137731205 12042240 2551 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/19059/statm: 2940 2551 76 171 0 2767 0
Current children cumulated CPU time (s) 556.51
Current children cumulated vsize (KiB) 17116
[startup+557.001 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 19059
/proc/meminfo: memFree=1937232/2055920 swapFree=4180264/4192956
[pid=19053] ppid=19051 vsize=5356 CPUtime=0.03
/proc/19053/stat : 19053 (SatELiteGTI) S 19051 19053 18706 0 -1 4194304 336 611 0 0 0 0 3 0 16 0 1 0 137731201 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 244671112004 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/19053/statm: 1339 239 197 169 0 50 0
[pid=19059] ppid=19053 vsize=11760 CPUtime=556.58
/proc/19059/stat : 19059 (minisat_static) R 19053 19053 18706 0 -1 4194304 2565 0 0 0 55654 4 0 0 25 0 1 0 137731205 12042240 2551 1992294400 134512640 135215339 4294956240 18446744073709551615 134528809 0 0 4096 3 0 0 0 17 0 0 0
/proc/19059/statm: 2940 2551 76 171 0 2767 0
Current children cumulated CPU time (s) 556.61
Current children cumulated vsize (KiB) 17116
Child status: 20
Real time (s): 557.045
CPU time (s): 556.677
CPU user time (s): 556.613
CPU system time (s): 0.06399
CPU usage (%): 99.9339
Max. virtual memory (cumulated for all children) (KiB): 17116
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 556.613
system time used= 0.06399
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3673
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= 46
involuntary context switches= 3736
runsolver used 0.527919 second user time and 1.62575 second system time
The end
Begin job on node7 at 2009-05-20 15:48:13
IDJOB=1834019
IDBENCH=71133
IDSOLVER=671
FILE ID=node7/1834019-1242827293
PBS_JOBID= 9322528
Free space on /tmp= 66300 MiB
SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT09/CRAFTED/ramseycube/Q32inK09.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1834019-1242827293/watcher-1834019-1242827293 -o /tmp/evaluation-result-1834019-1242827293/solver-1834019-1242827293 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1834019-1242827293.cnf
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 58cbf73dc7f1fd4bb325152069db03fb
RANDOM SEED=1266076343
node7.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.243
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.243
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5586.94
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1949504 kB
Buffers: 20028 kB
Cached: 50192 kB
SwapCached: 7300 kB
Active: 28664 kB
Inactive: 50292 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1949504 kB
SwapTotal: 4192956 kB
SwapFree: 4180264 kB
Dirty: 1844 kB
Writeback: 0 kB
Mapped: 13424 kB
Slab: 13456 kB
Committed_AS: 410152 kB
PageTables: 1444 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= 66300 MiB
End job on node7 at 2009-05-20 15:57:31