0.00/0.00 c Parsing...
0.13/0.13 c ==============================================================================
0.13/0.13 c | | ORIGINAL | LEARNT | |
0.13/0.13 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress |
0.13/0.13 c ==============================================================================
0.13/0.13 c | 0 | 135474 356036 | 40642 0 0 nan | 0.000 % |
1.23/1.30 c | 0 | 114078 411814 | -- 0 -- -- | -- | -21277/56123
1.23/1.30 c ==============================================================================
1.23/1.30 c Result : #vars: 18800 #clauses: 114078 #literals: 411814
1.23/1.30 c CPU time: 1.28 s
1.23/1.30 c ==============================================================================
1.43/1.44 c This is MiniSat 2.0 beta
1.43/1.45 c WARNING: for repeatability, setting FPU to use double precision
1.43/1.45 c ============================[ Problem Statistics ]=============================
1.43/1.45 c | |
1.43/1.45 c | Number of variables: 18800 |
1.43/1.45 c | Number of clauses: 114078 |
1.45/1.53 c | Parsing time: 0.08 s |
1.45/1.54 c ============================[ Search Statistics ]==============================
1.45/1.54 c | Conflicts | ORIGINAL | LEARNT | Progress |
1.45/1.54 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
1.45/1.54 c ===============================================================================
1.45/1.54 c | 0 | 18800 114078 411814 | 38026 0 nan | 0.000 % |
1.45/1.58 c | 100 | 18787 114078 411814 | 38026 98 18 | 0.532 % |
1.45/1.61 c | 201 | 18787 114078 411814 | 38026 199 29 | 0.532 % |
1.45/1.62 c | 304 | 18787 114078 411814 | 38026 302 39 | 0.532 % |
1.45/1.67 c | 414 | 18787 114078 411814 | 38026 412 38 | 0.532 % |
1.45/1.69 c | 514 | 18787 114078 411814 | 38026 512 36 | 0.532 % |
1.45/1.71 c | 625 | 18787 114078 411814 | 38026 623 37 | 0.532 % |
1.45/1.74 c | 748 | 18787 114078 411814 | 38026 746 36 | 0.532 % |
1.45/1.78 c | 848 | 18700 113242 409528 | 38026 846 35 | 0.532 % |
1.45/1.81 c | 960 | 18700 113242 409528 | 38026 958 35 | 0.532 % |
1.45/1.85 c | 1081 | 18700 113242 409528 | 38026 1079 35 | 0.532 % |
1.45/1.88 c | 1215 | 18700 113242 409528 | 38026 1213 35 | 0.532 % |
1.45/1.89 c | 1315 | 18700 113242 409528 | 38026 1313 34 | 0.532 % |
1.45/1.94 c | 1427 | 18700 113242 409528 | 38026 1425 35 | 0.532 % |
1.45/1.98 c | 1550 | 18700 113242 409528 | 38026 1548 34 | 0.532 % |
1.45/1.99 c | 1684 | 18700 113242 409528 | 38026 1682 34 | 0.532 % |
1.45/2.04 c | 1832 | 18689 113136 409201 | 38026 1829 34 | 0.590 % |
1.45/2.08 c | 1932 | 18689 113136 409201 | 38026 1929 35 | 0.590 % |
1.45/2.12 c | 2043 | 18689 113136 409201 | 38026 2040 36 | 0.590 % |
2.13/2.13 c | 2165 | 18686 113136 409201 | 38026 2161 34 | 0.649 % |
2.13/2.17 c | 2298 | 18686 113136 409201 | 38026 2294 35 | 0.649 % |
2.13/2.20 c | 2444 | 18686 113136 409201 | 38026 2440 35 | 0.649 % |
2.23/2.26 c | 2607 | 18686 113136 409201 | 38026 2603 36 | 0.649 % |
2.23/2.28 c | 2707 | 18678 113029 408850 | 38026 2703 36 | 0.649 % |
2.33/2.33 c | 2819 | 18678 113029 408850 | 38026 2815 35 | 0.649 % |
2.33/2.36 c | 2940 | 18678 113029 408850 | 38026 2936 36 | 0.649 % |
2.43/2.44 c | 3073 | 18678 113029 408850 | 38026 3069 37 | 0.649 % |
2.43/2.49 c | 3219 | 18678 113029 408850 | 38026 3215 38 | 0.649 % |
2.53/2.53 c | 3379 | 18678 113029 408850 | 38026 3375 38 | 0.649 % |
2.53/2.58 c | 3555 | 18678 113029 408850 | 38026 3551 38 | 0.649 % |
2.63/2.63 c | 3658 | 18678 113029 408850 | 38026 3654 38 | 0.649 % |
2.73/2.74 c | 3768 | 18678 113029 408850 | 38026 3764 38 | 0.649 % |
2.73/2.78 c | 3889 | 18678 113029 408850 | 38026 3885 37 | 0.649 % |
2.73/2.82 c | 4023 | 18678 113029 408850 | 38026 4019 37 | 0.649 % |
2.83/2.88 c | 4169 | 18678 113029 408850 | 38026 4165 38 | 0.649 % |
2.93/2.95 c | 4330 | 18678 113029 408850 | 38026 4326 37 | 0.649 % |
2.93/3.02 c | 4506 | 18678 113029 408850 | 38026 4502 37 | 0.649 % |
3.03/3.06 c | 4699 | 18678 113029 408850 | 38026 4695 38 | 0.649 % |
3.03/3.11 c | 4799 | 18678 113029 408850 | 38026 4795 39 | 0.649 % |
3.03/3.12 c | 4909 | 18678 113029 408850 | 38026 4905 39 | 0.649 % |
3.13/3.14 c | 5030 | 18678 113029 408850 | 38026 5026 38 | 0.649 % |
3.13/3.20 c | 5164 | 18678 113029 408850 | 38026 5160 39 | 0.649 % |
3.23/3.28 c | 5310 | 18669 112979 408704 | 38026 5305 39 | 0.697 % |
3.33/3.38 c | 5470 | 18669 112979 408704 | 38026 5465 39 | 0.697 % |
3.43/3.49 c | 5647 | 18669 112979 408704 | 38026 5642 41 | 0.697 % |
3.53/3.53 c | 5841 | 18669 112979 408704 | 38026 5836 42 | 0.697 % |
3.53/3.60 c | 6057 | 18669 112979 408704 | 38026 6052 42 | 0.697 % |
3.63/3.64 c | 6157 | 18669 112979 408704 | 38026 6152 42 | 0.697 % |
3.63/3.66 c | 6267 | 18669 112979 408704 | 38026 6262 41 | 0.697 % |
3.63/3.72 c | 6388 | 18669 112979 408704 | 38026 6383 41 | 0.697 % |
3.73/3.78 c | 6521 | 18669 112979 408704 | 38026 6516 41 | 0.697 % |
3.83/3.85 c | 6669 | 18669 112979 408704 | 38026 6664 41 | 0.697 % |
3.83/3.89 c | 6830 | 18669 112979 408704 | 38026 6825 41 | 0.697 % |
3.83/3.91 c | 7007 | 18669 112979 408704 | 38026 7002 41 | 0.697 % |
3.93/3.94 c | 7202 | 18669 112979 408704 | 38026 7197 40 | 0.697 % |
3.93/3.97 c | 7414 | 18669 112979 408704 | 38026 7409 40 | 0.697 % |
4.03/4.07 c | 7649 | 18669 112979 408704 | 38026 7644 40 | 0.697 % |
4.03/4.09 c | 7749 | 18669 112979 408704 | 38026 7744 40 | 0.697 % |
4.13/4.14 c | 7859 | 18669 112979 408704 | 38026 7854 40 | 0.697 % |
4.13/4.20 c | 7980 | 18669 112979 408704 | 38026 7975 40 | 0.697 % |
4.23/4.26 c | 8114 | 18669 112979 408704 | 38026 8109 40 | 0.697 % |
4.23/4.29 c | 8261 | 18669 112979 408704 | 38026 8256 40 | 0.697 % |
4.33/4.34 c | 8422 | 18669 112979 408704 | 38026 8417 40 | 0.697 % |
4.33/4.40 c | 8598 | 18669 112979 408704 | 38026 8593 41 | 0.697 % |
4.43/4.47 c | 8793 | 18669 112979 408704 | 38026 8788 40 | 0.697 % |
4.53/4.55 c | 9006 | 18669 112979 408704 | 38026 9001 40 | 0.697 % |
4.53/4.58 c | 9239 | 18669 112979 408704 | 38026 9234 40 | 0.697 % |
4.73/4.77 c | 9495 | 18669 112979 408704 | 38026 9490 40 | 0.697 % |
4.73/4.81 c | 9595 | 18669 112979 408704 | 38026 9590 40 | 0.697 % |
4.83/4.87 c | 9708 | 18669 112979 408704 | 38026 9703 40 | 0.697 % |
4.83/4.91 c | 9829 | 18669 112979 408704 | 38026 9824 40 | 0.697 % |
4.92/4.95 c | 9965 | 18669 112979 408704 | 38026 9960 40 | 0.697 % |
4.92/5.02 c | 10112 | 18669 112979 408704 | 2147483647 10107 40 | 0.697 % |
5.01/5.10 c | 10274 | 18669 112979 408704 | 2147483647 10269 40 | 0.697 % |
5.11/5.19 c | 10450 | 18669 112979 408704 | 2147483647 10445 39 | 0.697 % |
5.21/5.29 c | 10643 | 18669 112979 408704 | 2147483647 10638 39 | 0.697 % |
5.31/5.41 c | 10857 | 18669 112979 408704 | 2147483647 10852 39 | 0.697 % |
5.41/5.46 c | 11090 | 18669 112979 408704 | 2147483647 11085 40 | 0.697 % |
5.51/5.60 c | 11346 | 18669 112979 408704 | 2147483647 11341 40 | 0.697 % |
5.71/5.77 c | 11627 | 18574 112387 407267 | 2147483647 11621 41 | 1.202 % |
5.71/5.82 c | 11727 | 18574 112387 407267 | 2147483647 11721 41 | 1.202 % |
5.81/5.86 c | 11838 | 18574 112387 407267 | 2147483647 11832 43 | 1.202 % |
5.81/5.92 c | 11959 | 18574 112387 407267 | 2147483647 11953 43 | 1.202 % |
5.91/5.96 c | 12093 | 18574 112387 407267 | 2147483647 12087 43 | 1.202 % |
5.91/6.00 c | 12239 | 18574 112387 407267 | 2147483647 12233 43 | 1.202 % |
6.01/6.12 c | 12399 | 18574 112387 407267 | 2147483647 12393 42 | 1.203 % |
6.11/6.19 c | 12577 | 18574 112387 407267 | 2147483647 12571 42 | 1.202 % |
6.21/6.30 c | 12771 | 18574 112387 407267 | 2147483647 12765 43 | 1.203 % |
6.41/6.47 c | 12983 | 18574 112387 407267 | 2147483647 12977 43 | 1.202 % |
6.51/6.57 c | 13217 | 18574 112387 407267 | 2147483647 13211 43 | 1.202 % |
6.61/6.66 c | 13474 | 18574 112387 407267 | 2147483647 13468 43 | 1.202 % |
6.71/6.75 c | 13755 | 18574 112387 407267 | 2147483647 13749 43 | 1.203 % |
6.81/6.90 c | 14065 | 18574 112387 407267 | 2147483647 14059 43 | 1.202 % |
6.91/6.93 c | 14165 | 18574 112387 407267 | 2147483647 14159 44 | 1.202 % |
6.91/7.00 c | 14276 | 18574 112387 407267 | 2147483647 14270 44 | 1.202 % |
7.01/7.08 c | 14397 | 18574 112387 407267 | 2147483647 14391 44 | 1.202 % |
7.11/7.13 c | 14530 | 18574 112387 407267 | 2147483647 14524 44 | 1.202 % |
7.11/7.21 c | 14677 | 18555 112256 406921 | 2147483647 14670 44 | 1.303 % |
7.31/7.33 c | 14837 | 18555 112256 406921 | 2147483647 14830 44 | 1.303 % |
7.31/7.41 c | 15016 | 18555 112256 406921 | 2147483647 15009 44 | 1.303 % |
7.51/7.53 c | 15213 | 18555 112256 406921 | 2147483647 15206 44 | 1.303 % |
7.61/7.67 c | 15425 | 18555 112256 406921 | 2147483647 15418 44 | 1.303 % |
7.71/7.78 c | 15659 | 18555 112256 406921 | 2147483647 15652 44 | 1.303 % |
7.91/7.98 c | 15916 | 18536 112125 406575 | 2147483647 15908 44 | 1.404 % |
8.11/8.17 c | 16197 | 18536 112125 406575 | 2147483647 16189 45 | 1.404 % |
8.21/8.29 c | 16506 | 18536 112125 406575 | 2147483647 16498 45 | 1.404 % |
8.31/8.40 c | 16846 | 18536 112125 406575 | 2147483647 16838 46 | 1.405 % |
8.41/8.48 c | 16946 | 18536 112125 406575 | 2147483647 16938 46 | 1.404 % |
8.51/8.52 c | 17058 | 18536 112125 406575 | 2147483647 17050 46 | 1.405 % |
8.51/8.59 c | 17180 | 18536 112125 406575 | 2147483647 17172 46 | 1.404 % |
8.61/8.66 c | 17316 | 18536 112125 406575 | 2147483647 17308 46 | 1.404 % |
8.61/8.72 c | 17463 | 18536 112125 406575 | 2147483647 17455 46 | 1.404 % |
8.71/8.78 c | 17623 | 18536 112125 406575 | 2147483647 17615 46 | 1.404 % |
8.81/8.92 c | 17800 | 18536 112125 406575 | 2147483647 17792 46 | 1.404 % |
8.91/9.02 c | 17994 | 18536 112125 406575 | 2147483647 17986 46 | 1.404 % |
9.01/9.09 c | 18209 | 18536 112125 406575 | 2147483647 18201 46 | 1.404 % |
9.11/9.17 c | 18442 | 18536 112125 406575 | 2147483647 18434 46 | 1.404 % |
9.21/9.30 c | 18699 | 18536 112125 406575 | 2147483647 18691 46 | 1.404 % |
9.41/9.44 c | 18980 | 18536 112125 406575 | 2147483647 18972 46 | 1.404 % |
9.61/9.65 c | 19290 | 18536 112125 406575 | 2147483647 19282 47 | 1.404 % |
9.81/9.84 c | 19629 | 18536 112125 406575 | 2147483647 19621 47 | 1.404 % |
9.91/9.99 c | 20001 | 18536 112125 406575 | 2147483647 19993 46 | 1.405 % |
10.01/10.03 c | 20101 | 18536 112125 406575 | 2147483647 20093 46 | 1.404 % |
10.01/10.09 c | 20212 | 18536 112125 406575 | 2147483647 20204 46 | 1.405 % |
10.11/10.17 c | 20334 | 18536 112125 406575 | 2147483647 20326 46 | 1.405 % |
10.21/10.23 c | 20468 | 18536 112125 406575 | 2147483647 20460 46 | 1.404 % |
10.21/10.28 c | 20614 | 18536 112125 406575 | 2147483647 20606 46 | 1.404 % |
10.31/10.34 c | 20775 | 18536 112125 406575 | 2147483647 20767 46 | 1.404 % |
10.31/10.39 c | 20951 | 18536 112125 406575 | 2147483647 20943 46 | 1.404 % |
10.41/10.51 c | 21144 | 18536 112125 406575 | 2147483647 21136 46 | 1.404 % |
10.51/10.59 c | 21357 | 18536 112125 406575 | 2147483647 21349 46 | 1.404 % |
10.71/10.76 c | 21595 | 18536 112125 406575 | 2147483647 21587 46 | 1.404 % |
10.81/10.91 c | 21851 | 18536 112125 406575 | 2147483647 21843 46 | 1.404 % |
11.01/11.07 c | 22132 | 18536 112125 406575 | 2147483647 22124 46 | 1.404 % |
11.11/11.20 c | 22442 | 18536 112125 406575 | 2147483647 22434 46 | 1.404 % |
11.21/11.26 c | 22782 | 18536 112125 406575 | 2147483647 22774 46 | 1.404 % |
11.41/11.46 c | 23154 | 18536 112125 406575 | 2147483647 23146 46 | 1.404 % |
11.61/11.69 c | 23563 | 18536 112125 406575 | 2147483647 23555 46 | 1.404 % |
11.71/11.75 c | 23666 | 18536 112125 406575 | 2147483647 23658 46 | 1.404 % |
11.71/11.82 c | 23776 | 18536 112125 406575 | 2147483647 23768 46 | 1.404 % |
11.81/11.88 c | 23898 | 18536 112125 406575 | 2147483647 23890 46 | 1.404 % |
11.91/11.98 c | 24032 | 18536 112125 406575 | 2147483647 24024 46 | 1.405 % |
12.01/12.08 c | 24178 | 18536 112125 406575 | 2147483647 24170 46 | 1.404 % |
12.11/12.13 c | 24338 | 18536 112125 406575 | 2147483647 24330 45 | 1.404 % |
12.11/12.21 c | 24514 | 18536 112125 406575 | 2147483647 24506 45 | 1.404 % |
12.21/12.31 c | 24707 | 18536 112125 406575 | 2147483647 24699 45 | 1.404 % |
12.41/12.45 c | 24920 | 18536 112125 406575 | 2147483647 24912 45 | 1.404 % |
12.51/12.57 c | 25153 | 18536 112125 406575 | 2147483647 25145 45 | 1.405 % |
12.61/12.72 c | 25409 | 18536 112125 406575 | 2147483647 25401 45 | 1.404 % |
12.91/12.95 c | 25691 | 18536 112125 406575 | 2147483647 25683 45 | 1.404 % |
13.00/13.08 c | 26001 | 18536 112125 406575 | 2147483647 25993 45 | 1.404 % |
13.20/13.25 c | 26341 | 18536 112125 406575 | 2147483647 26333 45 | 1.404 % |
13.30/13.34 c | 26713 | 18536 112125 406575 | 2147483647 26705 45 | 1.404 % |
13.50/13.57 c | 27123 | 18536 112125 406575 | 2147483647 27115 45 | 1.404 % |
13.80/13.85 c | 27572 | 18536 112125 406575 | 2147483647 27564 45 | 1.404 % |
13.90/13.93 c | 27673 | 18536 112125 406575 | 2147483647 27665 45 | 1.404 % |
13.90/13.96 c | 27783 | 18536 112125 406575 | 2147483647 27775 45 | 1.404 % |
13.90/13.99 c | 27904 | 18536 112125 406575 | 2147483647 27896 45 | 1.404 % |
14.00/14.03 c | 28037 | 18536 112125 406575 | 2147483647 28029 45 | 1.404 % |
14.00/14.12 c | 28184 | 18536 112125 406575 | 2147483647 28176 45 | 1.404 % |
14.10/14.17 c | 28344 | 18536 112125 406575 | 2147483647 28336 45 | 1.404 % |
14.20/14.25 c | 28521 | 18536 112125 406575 | 2147483647 28513 45 | 1.404 % |
14.30/14.34 c | 28714 | 18536 112125 406575 | 2147483647 28706 45 | 1.404 % |
14.40/14.50 c | 28926 | 18536 112125 406575 | 2147483647 28918 45 | 1.404 % |
14.50/14.59 c | 29159 | 18536 112125 406575 | 2147483647 29151 45 | 1.404 % |
14.70/14.79 c | 29417 | 18536 112125 406575 | 2147483647 29409 45 | 1.404 % |
14.90/14.97 c | 29701 | 18536 112125 406575 | 2147483647 29693 45 | 1.404 % |
15.10/15.18 c | 30010 | 18536 112125 406575 | 2147483647 30002 45 | 1.404 % |
15.30/15.34 c | 30352 | 18536 112125 406575 | 2147483647 30344 45 | 1.404 % |
15.40/15.45 c | 30725 | 18536 112125 406575 | 2147483647 30717 45 | 1.404 % |
15.50/15.55 c | 31134 | 18536 112125 406575 | 2147483647 31126 45 | 1.404 % |
15.60/15.67 c | 31584 | 18536 112125 406575 | 2147483647 31576 45 | 1.404 % |
15.90/15.93 c | 32080 | 18536 112125 406575 | 2147483647 32072 45 | 1.404 % |
15.90/15.99 c | 32180 | 18536 112125 406575 | 2147483647 32172 45 | 1.404 % |
16.00/16.06 c | 32290 | 18536 112125 406575 | 2147483647 32282 45 | 1.404 % |
16.10/16.12 c | 32411 | 18536 112125 406575 | 2147483647 32403 45 | 1.404 % |
16.10/16.18 c | 32545 | 18536 112125 406575 | 2147483647 32537 45 | 1.404 % |
16.20/16.23 c | 32691 | 18536 112125 406575 | 2147483647 32683 45 | 1.404 % |
16.20/16.31 c | 32851 | 18536 112125 406575 | 2147483647 32843 45 | 1.404 % |
16.30/16.39 c | 33027 | 18536 112125 406575 | 2147483647 33019 45 | 1.404 % |
16.40/16.52 c | 33221 | 18536 112125 406575 | 2147483647 33213 45 | 1.404 % |
16.60/16.67 c | 33433 | 18536 112125 406575 | 2147483647 33425 45 | 1.404 % |
16.80/16.83 c | 33666 | 18536 112125 406575 | 2147483647 33658 45 | 1.404 % |
16.90/16.94 c | 33923 | 18525 112018 406224 | 2147483647 33914 45 | 1.463 % |
17.00/17.07 c | 34204 | 18525 112018 406224 | 2147483647 34195 45 | 1.463 % |
17.20/17.26 c | 34513 | 18525 112018 406224 | 2147483647 34504 45 | 1.463 % |
17.30/17.40 c | 34852 | 18525 112018 406224 | 2147483647 34843 45 | 1.463 % |
17.60/17.68 c | 35224 | 18525 112018 406224 | 2147483647 35215 46 | 1.463 % |
18.00/18.03 c | 35634 | 18525 112018 406224 | 2147483647 35625 46 | 1.463 % |
18.10/18.21 c | 36084 | 18525 112018 406224 | 2147483647 36075 46 | 1.463 % |
18.50/18.61 c | 36578 | 18525 112018 406224 | 2147483647 36569 47 | 1.463 % |
18.90/18.98 c | 37121 | 18525 112018 406224 | 2147483647 37112 47 | 1.463 % |
18.90/19.02 c | 37221 | 18525 112018 406224 | 2147483647 37212 47 | 1.463 % |
19.00/19.10 c | 37332 | 18525 112018 406224 | 2147483647 37323 47 | 1.463 % |
19.10/19.19 c | 37453 | 18525 112018 406224 | 2147483647 37444 47 | 1.463 % |
19.20/19.29 c | 37586 | 18525 112018 406224 | 2147483647 37577 47 | 1.463 % |
19.30/19.34 c | 37732 | 18525 112018 406224 | 2147483647 37723 47 | 1.463 % |
19.30/19.40 c | 37894 | 18525 112018 406224 | 2147483647 37885 47 | 1.463 % |
19.50/19.54 c | 38070 | 18525 112018 406224 | 2147483647 38061 47 | 1.463 % |
19.60/19.67 c | 38264 | 18525 112018 406224 | 2147483647 38255 47 | 1.463 % |
19.70/19.78 c | 38477 | 18525 112018 406224 | 2147483647 38468 47 | 1.463 % |
19.80/19.91 c | 38711 | 18525 112018 406224 | 2147483647 38702 47 | 1.463 % |
20.10/20.16 c | 38967 | 18525 112018 406224 | 2147483647 38958 47 | 1.463 % |
20.30/20.40 c | 39248 | 18525 112018 406224 | 2147483647 39239 47 | 1.463 % |
20.70/20.74 c | 39558 | 18525 112018 406224 | 2147483647 39549 47 | 1.463 % |
20.70/20.81 c | 39899 | 18525 112018 406224 | 2147483647 39890 47 | 1.463 % |
21.00/21.11 c | 40271 | 18525 112018 406224 | 2147483647 40262 47 | 1.463 % |
21.30/21.37 c | 40682 | 18525 112018 406224 | 2147483647 40673 47 | 1.463 % |
21.60/21.69 c | 41132 | 18525 112018 406224 | 2147483647 41123 47 | 1.463 % |
22.10/22.14 c | 41627 | 18525 112018 406224 | 2147483647 41618 47 | 1.463 % |
22.40/22.49 c | 42171 | 18525 112018 406224 | 2147483647 42162 46 | 1.463 % |
22.60/22.68 c | 42767 | 18525 112018 406224 | 2147483647 42758 46 | 1.463 % |
22.70/22.78 c | 42867 | 18525 112018 406224 | 2147483647 42858 47 | 1.463 % |
22.80/22.86 c | 42977 | 18525 112018 406224 | 2147483647 42968 47 | 1.463 % |
22.90/22.96 c | 43098 | 18525 112018 406224 | 2147483647 43089 46 | 1.463 % |
23.00/23.03 c | 43232 | 18525 112018 406224 | 2147483647 43223 46 | 1.463 % |
23.10/23.12 c | 43378 | 18525 112018 406224 | 2147483647 43369 46 | 1.463 % |
23.20/23.22 c | 43541 | 18525 112018 406224 | 2147483647 43532 46 | 1.463 % |
23.20/23.31 c | 43717 | 18525 112018 406224 | 2147483647 43708 46 | 1.463 % |
23.30/23.40 c | 43911 | 18525 112018 406224 | 2147483647 43902 46 | 1.463 % |
23.50/23.56 c | 44125 | 18525 112018 406224 | 2147483647 44116 46 | 1.463 % |
23.60/23.70 c | 44358 | 18525 112018 406224 | 2147483647 44349 46 | 1.463 % |
23.80/23.91 c | 44614 | 18525 112018 406224 | 2147483647 44605 46 | 1.463 % |
24.00/24.08 c | 44898 | 18525 112018 406224 | 2147483647 44889 46 | 1.463 % |
24.20/24.31 c | 45207 | 18525 112018 406224 | 2147483647 45198 46 | 1.463 % |
24.30/24.41 c | 45546 | 18525 112018 406224 | 2147483647 45537 46 | 1.463 % |
24.60/24.68 c | 45919 | 18525 112018 406224 | 2147483647 45910 46 | 1.463 % |
24.90/25.02 c | 46328 | 18525 112018 406224 | 2147483647 46319 46 | 1.463 % |
25.20/25.28 c | 46779 | 18525 112018 406224 | 2147483647 46770 47 | 1.463 % |
25.50/25.56 c | 47272 | 18525 112018 406224 | 2147483647 47263 46 | 1.463 % |
26.00/26.09 c | 47814 | 18525 112018 406224 | 2147483647 47805 47 | 1.463 % |
26.20/26.26 c | 48410 | 18525 112018 406224 | 2147483647 48401 47 | 1.463 % |
26.90/26.97 c | 49066 | 18525 112018 406224 | 2147483647 49057 47 | 1.463 % |
27.00/27.08 c | 49166 | 18525 112018 406224 | 2147483647 49157 47 | 1.463 % |
27.10/27.16 c | 49278 | 18525 112018 406224 | 2147483647 49269 47 | 1.463 % |
27.20/27.24 c | 49399 | 18525 112018 406224 | 2147483647 49390 47 | 1.463 % |
27.20/27.31 c | 49532 | 18525 112018 406224 | 2147483647 49523 47 | 1.463 % |
27.30/27.41 c | 49678 | 18525 112018 406224 | 2147483647 49669 47 | 1.463 % |
27.40/27.43 c | 49838 | 18525 112018 406224 | 2147483647 49829 47 | 1.463 % |
27.50/27.58 c | 50015 | 18525 112018 406224 | 2147483647 50006 47 | 1.463 % |
27.60/27.66 c | 50208 | 18525 112018 406224 | 2147483647 50199 47 | 1.463 % |
27.80/27.84 c | 50420 | 18525 112018 406224 | 2147483647 50411 47 | 1.463 % |
27.90/27.99 c | 50653 | 18525 112018 406224 | 2147483647 50644 47 | 1.463 % |
28.00/28.11 c | 50910 | 18525 112018 406224 | 2147483647 50901 47 | 1.463 % |
28.30/28.32 c | 51193 | 18525 112018 406224 | 2147483647 51184 47 | 1.463 % |
28.30/28.40 c | 51502 | 18525 112018 406224 | 2147483647 51493 47 | 1.463 % |
28.50/28.59 c | 51842 | 18525 112018 406224 | 2147483647 51833 47 | 1.463 % |
28.80/28.88 c | 52215 | 18525 112018 406224 | 2147483647 52206 47 | 1.463 % |
29.20/29.26 c | 52624 | 18525 112018 406224 | 2147483647 52615 47 | 1.463 % |
29.40/29.50 c | 53073 | 18525 112018 406224 | 2147483647 53064 47 | 1.463 % |
29.80/29.84 c | 53567 | 18525 112018 406224 | 2147483647 53558 47 | 1.463 % |
30.40/30.44 c | 54111 | 18525 112018 406224 | 2147483647 54102 46 | 1.463 % |
31.00/31.11 c | 54707 | 18525 112018 406224 | 2147483647 54698 47 | 1.463 % |
31.70/31.74 c | 55364 | 18525 112018 406224 | 2147483647 55355 47 | 1.463 % |
32.30/32.41 c | 56084 | 18525 112018 406224 | 2147483647 56075 48 | 1.463 % |
32.40/32.48 c | 56185 | 18525 112018 406224 | 2147483647 56176 48 | 1.463 % |
32.50/32.58 c | 56295 | 18525 112018 406224 | 2147483647 56286 48 | 1.463 % |
32.70/32.75 c | 56416 | 18525 112018 406224 | 2147483647 56407 48 | 1.463 % |
32.80/32.88 c | 56550 | 18525 112018 406224 | 2147483647 56541 48 | 1.463 % |
33.00/33.04 c | 56697 | 18525 112018 406224 | 2147483647 56688 48 | 1.463 % |
33.00/33.11 c | 56860 | 18525 112018 406224 | 2147483647 56851 48 | 1.463 % |
33.20/33.28 c | 57038 | 18525 112018 406224 | 2147483647 57029 48 | 1.463 % |
33.40/33.47 c | 57234 | 18525 112018 406224 | 2147483647 57225 47 | 1.463 % |
33.50/33.55 c | 57446 | 18525 112018 406224 | 2147483647 57437 47 | 1.463 % |
33.60/33.62 c | 57680 | 18525 112018 406224 | 2147483647 57671 47 | 1.463 % |
33.80/33.90 c | 57937 | 18525 112018 406224 | 2147483647 57928 48 | 1.463 % |
34.10/34.14 c | 58218 | 18525 112018 406224 | 2147483647 58209 47 | 1.463 % |
34.30/34.33 c | 58529 | 18525 112018 406224 | 2147483647 58520 47 | 1.463 % |
34.40/34.44 c | 58869 | 18525 112018 406224 | 2147483647 58860 47 | 1.463 % |
34.70/34.81 c | 59241 | 18525 112018 406224 | 2147483647 59232 47 | 1.463 % |
35.00/35.04 c | 59650 | 18525 112018 406224 | 2147483647 59641 47 | 1.463 % |
35.30/35.35 c | 60102 | 18525 112018 406224 | 2147483647 60093 47 | 1.463 % |
35.60/35.71 c | 60599 | 18525 112018 406224 | 2147483647 60590 47 | 1.463 % |
35.90/36.01 c | 61141 | 18525 112018 406224 | 2147483647 61132 47 | 1.463 % |
36.20/36.30 c | 61738 | 18525 112018 406224 | 2147483647 61729 47 | 1.463 % |
36.40/36.45 c | 62393 | 18525 112018 406224 | 2147483647 62384 47 | 1.463 % |
37.00/37.08 c | 63114 | 18525 112018 406224 | 2147483647 63105 47 | 1.463 % |
38.10/38.17 c | 63906 | 18525 112018 406224 | 2147483647 63897 47 | 1.463 % |
38.20/38.26 c | 64011 | 18525 112018 406224 | 2147483647 64002 47 | 1.463 % |
38.30/38.33 c | 64122 | 18525 112018 406224 | 2147483647 64113 47 | 1.463 % |
38.40/38.46 c | 64244 | 18525 112018 406224 | 2147483647 64235 47 | 1.463 % |
38.50/38.60 c | 64377 | 18525 112018 406224 | 2147483647 64368 47 | 1.463 % |
38.60/38.70 c | 64523 | 18525 112018 406224 | 2147483647 64514 47 | 1.463 % |
38.70/38.74 c | 64683 | 18525 112018 406224 | 2147483647 64674 47 | 1.463 % |
38.80/38.86 c | 64859 | 18525 112018 406224 | 2147483647 64850 47 | 1.463 % |
39.00/39.07 c | 65052 | 18525 112018 406224 | 2147483647 65043 47 | 1.463 % |
39.20/39.31 c | 65265 | 18525 112018 406224 | 2147483647 65256 47 | 1.463 % |
39.50/39.57 c | 65498 | 18525 112018 406224 | 2147483647 65489 47 | 1.463 % |
39.80/39.88 c | 65756 | 18525 112018 406224 | 2147483647 65747 47 | 1.463 % |
40.00/40.09 c | 66037 | 18525 112018 406224 | 2147483647 66028 47 | 1.463 % |
40.20/40.30 c | 66346 | 18525 112018 406224 | 2147483647 66337 47 | 1.463 % |
40.50/40.60 c | 66687 | 18525 112018 406224 | 2147483647 66678 47 | 1.463 % |
40.90/40.92 c | 67060 | 18525 112018 406224 | 2147483647 67051 47 | 1.463 % |
41.30/41.33 c | 67469 | 18525 112018 406224 | 2147483647 67460 47 | 1.463 % |
41.70/41.73 c | 67918 | 18525 112018 406224 | 2147483647 67909 47 | 1.463 % |
42.10/42.13 c | 68413 | 18525 112018 406224 | 2147483647 68404 47 | 1.463 % |
42.50/42.60 c | 68955 | 18525 112018 406224 | 2147483647 68946 47 | 1.463 % |
43.10/43.12 c | 69551 | 18525 112018 406224 | 2147483647 69542 47 | 1.463 % |
43.80/43.86 c | 70206 | 18525 112018 406224 | 2147483647 70197 47 | 1.463 % |
44.40/44.46 c | 70926 | 18525 112018 406224 | 2147483647 70917 47 | 1.463 % |
45.10/45.18 c | 71718 | 18525 112018 406224 | 2147483647 71709 47 | 1.463 % |
46.00/46.04 c | 72589 | 18525 112018 406224 | 2147483647 72580 47 | 1.463 % |
46.10/46.15 c | 72689 | 18525 112018 406224 | 2147483647 72680 47 | 1.463 % |
46.20/46.23 c | 72801 | 18525 112018 406224 | 2147483647 72792 47 | 1.463 % |
46.30/46.36 c | 72922 | 18525 112018 406224 | 2147483647 72913 47 | 1.463 % |
46.40/46.51 c | 73056 | 18525 112018 406224 | 2147483647 73047 47 | 1.463 % |
46.60/46.64 c | 73202 | 18525 112018 406224 | 2147483647 73193 47 | 1.463 % |
46.70/46.78 c | 73366 | 18525 112018 406224 | 2147483647 73357 47 | 1.463 % |
46.90/46.96 c | 73542 | 18525 112018 406224 | 2147483647 73533 47 | 1.463 % |
47.10/47.15 c | 73735 | 18525 112018 406224 | 2147483647 73726 47 | 1.463 % |
47.30/47.32 c | 73948 | 18525 112018 406224 | 2147483647 73939 47 | 1.463 % |
47.50/47.56 c | 74182 | 18525 112018 406224 | 2147483647 74173 47 | 1.463 % |
47.70/47.76 c | 74440 | 18525 112018 406224 | 2147483647 74431 47 | 1.463 % |
48.00/48.10 c | 74721 | 18525 112018 406224 | 2147483647 74712 47 | 1.463 % |
48.30/48.32 c | 75030 | 18525 112018 406224 | 2147483647 75021 47 | 1.463 % |
48.70/48.81 c | 75374 | 18525 112018 406224 | 2147483647 75365 47 | 1.463 % |
49.20/49.28 c | 75746 | 18525 112018 406224 | 2147483647 75737 47 | 1.463 % |
49.70/49.78 c | 76156 | 18525 112018 406224 | 2147483647 76147 47 | 1.463 % |
50.20/50.22 c | 76605 | 18525 112018 406224 | 2147483647 76596 47 | 1.463 % |
50.80/50.83 c | 77099 | 18525 112018 406224 | 2147483647 77090 47 | 1.463 % |
51.30/51.42 c | 77641 | 18525 112018 406224 | 2147483647 77632 47 | 1.463 % |
51.70/51.72 c | 78237 | 18525 112018 406224 | 2147483647 78228 47 | 1.463 % |
52.20/52.31 c | 78892 | 18525 112018 406224 | 2147483647 78883 47 | 1.463 % |
53.10/53.16 c | 79613 | 18525 112018 406224 | 2147483647 79604 47 | 1.463 % |
53.80/53.91 c | 80405 | 18525 112018 406224 | 2147483647 80396 47 | 1.463 % |
54.60/54.62 c | 81276 | 18525 112018 406224 | 2147483647 81267 47 | 1.463 % |
55.30/55.42 c | 82236 | 18525 112018 406224 | 2147483647 82227 47 | 1.463 % |
55.40/55.51 c | 82336 | 18525 112018 406224 | 2147483647 82327 47 | 1.463 % |
55.50/55.61 c | 82448 | 18525 112018 406224 | 2147483647 82439 47 | 1.463 % |
55.70/55.76 c | 82573 | 18525 112018 406224 | 2147483647 82564 47 | 1.463 % |
55.90/55.93 c | 82707 | 18525 112018 406224 | 2147483647 82698 47 | 1.463 % |
56.00/56.05 c | 82855 | 18525 112018 406224 | 2147483647 82846 47 | 1.463 % |
56.10/56.18 c | 83015 | 18525 112018 406224 | 2147483647 83006 47 | 1.463 % |
56.20/56.27 c | 83195 | 18525 112018 406224 | 2147483647 83186 47 | 1.463 % |
56.50/56.54 c | 83389 | 18525 112018 406224 | 2147483647 83380 47 | 1.463 % |
56.70/56.81 c | 83601 | 18525 112018 406224 | 2147483647 83592 47 | 1.463 % |
57.00/57.10 c | 83835 | 18525 112018 406224 | 2147483647 83826 47 | 1.463 % |
57.21/57.25 c | 84094 | 18525 112018 406224 | 2147483647 84085 47 | 1.463 % |
57.70/57.72 c | 84376 | 18525 112018 406224 | 2147483647 84367 47 | 1.463 % |
58.00/58.09 c | 84686 | 18525 112018 406224 | 2147483647 84677 47 | 1.463 % |
58.40/58.43 c | 85026 | 18525 112018 406224 | 2147483647 85017 47 | 1.463 % |
58.60/58.63 c | 85399 | 18525 112018 406224 | 2147483647 85390 47 | 1.463 % |
58.90/58.93 c | 85808 | 18525 112018 406224 | 2147483647 85799 47 | 1.463 % |
59.30/59.35 c | 86258 | 18525 112018 406224 | 2147483647 86249 47 | 1.463 % |
59.80/59.89 c | 86751 | 18525 112018 406224 | 2147483647 86742 47 | 1.463 % |
60.40/60.50 c | 87293 | 18525 112018 406224 | 2147483647 87284 47 | 1.463 % |
61.00/61.09 c | 87889 | 18525 112018 406224 | 2147483647 87880 47 | 1.463 % |
61.61/61.64 c | 88545 | 18525 112018 406224 | 2147483647 88536 47 | 1.463 % |
62.30/62.35 c | 89266 | 18525 112018 406224 | 2147483647 89257 47 | 1.463 % |
63.10/63.12 c | 90058 | 18525 112018 406224 | 2147483647 90049 47 | 1.463 % |
64.20/64.24 c | 90929 | 18525 112018 406224 | 2147483647 90920 48 | 1.463 % |
65.40/65.45 c | 91887 | 18525 112018 406224 | 2147483647 91878 48 | 1.463 % |
66.20/66.26 c | 92940 | 18525 112018 406224 | 2147483647 92931 48 | 1.463 % |
66.30/66.36 c | 93043 | 18525 112018 406224 | 2147483647 93034 48 | 1.463 % |
66.50/66.53 c | 93153 | 18525 112018 406224 | 2147483647 93144 48 | 1.463 % |
66.60/66.68 c | 93274 | 18525 112018 406224 | 2147483647 93265 48 | 1.463 % |
66.70/66.81 c | 93408 | 18525 112018 406224 | 2147483647 93399 48 | 1.463 % |
66.90/66.99 c | 93554 | 18525 112018 406224 | 2147483647 93545 48 | 1.463 % |
67.11/67.16 c | 93714 | 18525 112018 406224 | 2147483647 93705 48 | 1.463 % |
67.20/67.31 c | 93895 | 18525 112018 406224 | 2147483647 93886 48 | 1.463 % |
67.40/67.45 c | 94088 | 18525 112018 406224 | 2147483647 94079 48 | 1.463 % |
67.70/67.72 c | 94301 | 18525 112018 406224 | 2147483647 94292 48 | 1.463 % |
67.90/67.93 c | 94534 | 18525 112018 406224 | 2147483647 94525 48 | 1.463 % |
68.10/68.18 c | 94790 | 18525 112018 406224 | 2147483647 94781 48 | 1.463 % |
68.30/68.35 c | 95071 | 18525 112018 406224 | 2147483647 95062 48 | 1.463 % |
68.70/68.73 c | 95380 | 18525 112018 406224 | 2147483647 95371 48 | 1.463 % |
69.00/69.08 c | 95720 | 18525 112018 406224 | 2147483647 95711 48 | 1.463 % |
69.40/69.47 c | 96093 | 18525 112018 406224 | 2147483647 96084 48 | 1.463 % |
69.80/69.83 c | 96504 | 18525 112018 406224 | 2147483647 96495 48 | 1.463 % |
70.10/70.21 c | 96954 | 18525 112018 406224 | 2147483647 96945 48 | 1.463 % |
70.70/70.80 c | 97449 | 18525 112018 406224 | 2147483647 97440 48 | 1.463 % |
71.70/71.72 c | 97991 | 18525 112018 406224 | 2147483647 97982 48 | 1.463 % |
72.30/72.37 c | 98588 | 18525 112018 406224 | 2147483647 98579 48 | 1.463 % |
73.20/73.27 c | 99244 | 18525 112018 406224 | 2147483647 99235 48 | 1.463 % |
74.10/74.17 c | 99964 | 18525 112018 406224 | 2147483647 99955 48 | 1.463 % |
75.00/75.11 c | 100756 | 18525 112018 406224 | 2147483647 100747 49 | 1.463 % |
75.80/75.90 c | 101628 | 18525 112018 406224 | 2147483647 101619 49 | 1.463 % |
76.90/76.97 c | 102586 | 18525 112018 406224 | 2147483647 102577 49 | 1.463 % |
78.20/78.24 c | 103639 | 18525 112018 406224 | 2147483647 103630 49 | 1.463 % |
79.30/79.38 c | 104798 | 18525 112018 406224 | 2147483647 104789 48 | 1.463 % |
79.50/79.55 c | 104901 | 18525 112018 406224 | 2147483647 104892 48 | 1.463 % |
79.70/79.79 c | 105011 | 18525 112018 406224 | 2147483647 105002 48 | 1.463 % |
79.90/79.97 c | 105133 | 18525 112018 406224 | 2147483647 105124 49 | 1.463 % |
80.10/80.14 c | 105266 | 18525 112018 406224 | 2147483647 105257 49 | 1.463 % |
80.31/80.33 c | 105412 | 18525 112018 406224 | 2147483647 105403 49 | 1.463 % |
80.50/80.53 c | 105572 | 18525 112018 406224 | 2147483647 105563 49 | 1.463 % |
80.70/80.80 c | 105748 | 18525 112018 406224 | 2147483647 105739 49 | 1.463 % |
81.00/81.03 c | 105941 | 18525 112018 406224 | 2147483647 105932 49 | 1.463 % |
81.20/81.26 c | 106153 | 18525 112018 406224 | 2147483647 106144 49 | 1.463 % |
81.50/81.56 c | 106387 | 18525 112018 406224 | 2147483647 106378 49 | 1.463 % |
81.80/81.87 c | 106643 | 18525 112018 406224 | 2147483647 106634 49 | 1.463 % |
82.10/82.13 c | 106924 | 18525 112018 406224 | 2147483647 106915 49 | 1.463 % |
82.30/82.34 c | 107233 | 18525 112018 406224 | 2147483647 107224 48 | 1.463 % |
82.70/82.80 c | 107573 | 18525 112018 406224 | 2147483647 107564 49 | 1.463 % |
83.30/83.33 c | 107948 | 18525 112018 406224 | 2147483647 107939 48 | 1.463 % |
83.80/83.87 c | 108359 | 18525 112018 406224 | 2147483647 108350 48 | 1.463 % |
84.30/84.40 c | 108809 | 18525 112018 406224 | 2147483647 108800 48 | 1.463 % |
85.20/85.28 c | 109302 | 18525 112018 406224 | 2147483647 109293 49 | 1.463 % |
86.00/86.09 c | 109846 | 18525 112018 406224 | 2147483647 109837 49 | 1.463 % |
86.60/86.64 c | 110444 | 18525 112018 406224 | 2147483647 110435 49 | 1.463 % |
87.20/87.28 c | 111100 | 18525 112018 406224 | 2147483647 111091 49 | 1.463 % |
88.10/88.13 c | 111820 | 18525 112018 406224 | 2147483647 111811 49 | 1.463 % |
89.11/89.16 c | 112612 | 18525 112018 406224 | 2147483647 112603 49 | 1.463 % |
90.00/90.12 c | 113483 | 18525 112018 406224 | 2147483647 113474 48 | 1.463 % |
91.10/91.13 c | 114442 | 18525 112018 406224 | 2147483647 114433 48 | 1.463 % |
92.10/92.16 c | 115495 | 18525 112018 406224 | 2147483647 115486 48 | 1.463 % |
93.30/93.34 c | 116654 | 18525 112018 406224 | 2147483647 116645 48 | 1.463 % |
94.30/94.40 c | 117927 | 18525 112018 406224 | 2147483647 117918 48 | 1.463 % |
94.40/94.46 c | 118028 | 18525 112018 406224 | 2147483647 118019 48 | 1.463 % |
94.61/94.64 c | 118139 | 18525 112018 406224 | 2147483647 118130 48 | 1.463 % |
94.70/94.76 c | 118260 | 18525 112018 406224 | 2147483647 118251 48 | 1.463 % |
94.80/94.86 c | 118393 | 18525 112018 406224 | 2147483647 118384 48 | 1.463 % |
95.10/95.12 c | 118539 | 18525 112018 406224 | 2147483647 118530 48 | 1.463 % |
95.30/95.33 c | 118702 | 18525 112018 406224 | 2147483647 118693 48 | 1.463 % |
95.60/95.64 c | 118878 | 18525 112018 406224 | 2147483647 118869 48 | 1.463 % |
95.90/95.94 c | 119072 | 18525 112018 406224 | 2147483647 119063 48 | 1.463 % |
96.20/96.24 c | 119285 | 18525 112018 406224 | 2147483647 119276 49 | 1.463 % |
96.50/96.57 c | 119519 | 18525 112018 406224 | 2147483647 119510 49 | 1.463 % |
96.90/96.98 c | 119777 | 18525 112018 406224 | 2147483647 119768 49 | 1.463 % |
97.30/97.34 c | 120061 | 18525 112018 406224 | 2147483647 120052 49 | 1.463 % |
97.70/97.74 c | 120372 | 18525 112018 406224 | 2147483647 120363 49 | 1.463 % |
97.91/97.95 c | 120711 | 18525 112018 406224 | 2147483647 120702 49 | 1.463 % |
98.31/98.34 c | 121084 | 18525 112018 406224 | 2147483647 121075 49 | 1.463 % |
98.81/98.89 c | 121493 | 18525 112018 406224 | 2147483647 121484 49 | 1.463 % |
99.50/99.52 c | 121943 | 18525 112018 406224 | 2147483647 121934 49 | 1.463 % |
100.10/100.17 c | 122437 | 18525 112018 406224 | 2147483647 122428 49 | 1.463 % |
100.90/100.97 c | 122979 | 18525 112018 406224 | 2147483647 122970 49 | 1.463 % |
101.70/101.73 c | 123575 | 18525 112018 406224 | 2147483647 123566 49 | 1.463 % |
102.80/102.88 c | 124231 | 18525 112018 406224 | 2147483647 124222 49 | 1.463 % |
103.70/103.78 c | 124952 | 18525 112018 406224 | 2147483647 124943 49 | 1.463 % |
104.80/104.89 c | 125744 | 18525 112018 406224 | 2147483647 125735 49 | 1.463 % |
106.20/106.22 c | 126616 | 18525 112018 406224 | 2147483647 126607 49 | 1.463 % |
107.40/107.50 c | 127577 | 18525 112018 406224 | 2147483647 127568 49 | 1.463 % |
109.20/109.23 c | 128633 | 18525 112018 406224 | 2147483647 128624 49 | 1.463 % |
109.50/109.57 c | 129796 | 18525 112018 406224 | 2147483647 129787 49 | 1.463 % |
111.90/111.98 c | 131069 | 18525 112018 406224 | 2147483647 131060 49 | 1.463 % |
113.90/114.01 c | 132469 | 18525 112018 406224 | 2147483647 132460 50 | 1.463 % |
114.10/114.16 c | 132569 | 18525 112018 406224 | 2147483647 132560 50 | 1.463 % |
114.30/114.35 c | 132680 | 18525 112018 406224 | 2147483647 132671 50 | 1.463 % |
114.50/114.57 c | 132804 | 18525 112018 406224 | 2147483647 132795 50 | 1.463 % |
114.70/114.75 c | 132937 | 18525 112018 406224 | 2147483647 132928 50 | 1.463 % |
114.90/115.01 c | 133083 | 18525 112018 406224 | 2147483647 133074 50 | 1.463 % |
115.20/115.31 c | 133243 | 18525 112018 406224 | 2147483647 133234 50 | 1.463 % |
115.70/115.75 c | 133420 | 18525 112018 406224 | 2147483647 133411 50 | 1.463 % |
116.00/116.04 c | 133614 | 18525 112018 406224 | 2147483647 133605 50 | 1.463 % |
116.30/116.34 c | 133827 | 18525 112018 406224 | 2147483647 133818 50 | 1.463 % |
116.60/116.62 c | 134061 | 18525 112018 406224 | 2147483647 134052 50 | 1.463 % |
116.80/116.88 c | 134318 | 18525 112018 406224 | 2147483647 134309 50 | 1.463 % |
117.20/117.28 c | 134599 | 18525 112018 406224 | 2147483647 134590 50 | 1.463 % |
117.50/117.54 c | 134910 | 18525 112018 406224 | 2147483647 134901 50 | 1.463 % |
117.70/117.80 c | 135250 | 18525 112018 406224 | 2147483647 135241 50 | 1.463 % |
118.40/118.45 c | 135622 | 18525 112018 406224 | 2147483647 135613 50 | 1.463 % |
119.00/119.03 c | 136034 | 18525 112018 406224 | 2147483647 136025 50 | 1.463 % |
119.60/119.68 c | 136483 | 18525 112018 406224 | 2147483647 136474 50 | 1.463 % |
120.70/120.80 c | 136979 | 18525 112018 406224 | 2147483647 136970 50 | 1.463 % |
121.90/121.93 c | 137522 | 18525 112018 406224 | 2147483647 137513 51 | 1.463 % |
122.70/122.75 c | 138118 | 18525 112018 406224 | 2147483647 138109 51 | 1.463 % |
123.60/123.63 c | 138773 | 18525 112018 406224 | 2147483647 138764 51 | 1.463 % |
125.00/125.03 c | 139494 | 18525 112018 406224 | 2147483647 139485 51 | 1.463 % |
126.30/126.38 c | 140287 | 18525 112018 406224 | 2147483647 140278 51 | 1.463 % |
126.90/126.98 c | 141159 | 18525 112018 406224 | 2147483647 141150 51 | 1.463 % |
128.70/128.73 c | 142119 | 18525 112018 406224 | 2147483647 142110 51 | 1.463 % |
130.20/130.31 c | 143172 | 18525 112018 406224 | 2147483647 143163 51 | 1.463 % |
132.50/132.60 c | 144330 | 18525 112018 406224 | 2147483647 144321 51 | 1.463 % |
133.20/133.29 c | 145604 | 18525 112018 406224 | 2147483647 145595 51 | 1.463 % |
136.60/136.64 c | 147004 | 18525 112018 406224 | 2147483647 146995 51 | 1.463 % |
138.80/138.85 c | 148545 | 18525 112018 406224 | 2147483647 148536 51 | 1.463 % |
139.00/139.03 c | 148645 | 18525 112018 406224 | 2147483647 148636 51 | 1.463 % |
139.20/139.22 c | 148755 | 18525 112018 406224 | 2147483647 148746 51 | 1.463 % |
139.40/139.41 c | 148877 | 18525 112018 406224 | 2147483647 148868 51 | 1.463 % |
139.50/139.59 c | 149010 | 18525 112018 406224 | 2147483647 149001 52 | 1.463 % |
139.90/139.94 c | 149156 | 18525 112018 406224 | 2147483647 149147 52 | 1.463 % |
140.10/140.11 c | 149318 | 18525 112018 406224 | 2147483647 149309 51 | 1.463 % |
140.20/140.24 c | 149496 | 18525 112018 406224 | 2147483647 149487 51 | 1.463 % |
140.40/140.48 c | 149690 | 18525 112018 406224 | 2147483647 149681 51 | 1.463 % |
140.70/140.74 c | 149903 | 18525 112018 406224 | 2147483647 149894 51 | 1.463 % |
140.90/141.00 c | 150136 | 18525 112018 406224 | 2147483647 150127 51 | 1.463 % |
141.20/141.26 c | 150392 | 18525 112018 406224 | 2147483647 150383 51 | 1.463 % |
141.60/141.62 c | 150673 | 18525 112018 406224 | 2147483647 150664 51 | 1.463 % |
141.90/141.93 c | 150984 | 18525 112018 406224 | 2147483647 150975 51 | 1.463 % |
142.20/142.30 c | 151325 | 18525 112018 406224 | 2147483647 151316 51 | 1.463 % |
142.60/142.69 c | 151698 | 18525 112018 406224 | 2147483647 151689 51 | 1.463 % |
143.60/143.65 c | 152108 | 18525 112018 406224 | 2147483647 152099 52 | 1.463 % |
143.90/143.99 c | 152557 | 18525 112018 406224 | 2147483647 152548 52 | 1.463 % |
144.60/144.71 c | 153050 | 18525 112018 406224 | 2147483647 153041 52 | 1.463 % |
145.40/145.42 c | 153595 | 18525 112018 406224 | 2147483647 153586 52 | 1.463 % |
146.50/146.54 c | 154192 | 18525 112018 406224 | 2147483647 154183 52 | 1.463 % |
147.50/147.53 c | 154848 | 18525 112018 406224 | 2147483647 154839 51 | 1.463 % |
148.50/148.56 c | 155572 | 18525 112018 406224 | 2147483647 155563 51 | 1.463 % |
149.50/149.53 c | 156370 | 18525 112018 406224 | 2147483647 156361 51 | 1.463 % |
150.70/150.75 c | 157241 | 18525 112018 406224 | 2147483647 157232 51 | 1.463 % |
152.80/152.82 c | 158199 | 18525 112018 406224 | 2147483647 158190 52 | 1.463 % |
154.40/154.47 c | 159253 | 18525 112018 406224 | 2147483647 159244 52 | 1.463 % |
155.20/155.28 c | 160412 | 18525 112018 406224 | 2147483647 160403 52 | 1.463 % |
157.90/157.92 c | 161685 | 18525 112018 406224 | 2147483647 161676 52 | 1.463 % |
160.20/160.30 c | 163086 | 18525 112018 406224 | 2147483647 163077 52 | 1.463 % |
162.50/162.57 c | 164626 | 18525 112018 406224 | 2147483647 164617 52 | 1.463 % |
166.11/166.14 c | 166322 | 18525 112018 406224 | 2147483647 166313 52 | 1.463 % |
166.20/166.30 c | 166423 | 18525 112018 406224 | 2147483647 166414 52 | 1.463 % |
166.40/166.47 c | 166533 | 18525 112018 406224 | 2147483647 166524 52 | 1.463 % |
166.60/166.61 c | 166655 | 18525 112018 406224 | 2147483647 166646 52 | 1.463 % |
166.90/166.92 c | 166789 | 18525 112018 406224 | 2147483647 166780 52 | 1.463 % |
167.10/167.12 c | 166936 | 18525 112018 406224 | 2147483647 166927 52 | 1.463 % |
167.30/167.40 c | 167096 | 18525 112018 406224 | 2147483647 167087 52 | 1.463 % |
167.60/167.68 c | 167272 | 18525 112018 406224 | 2147483647 167263 52 | 1.463 % |
167.90/167.92 c | 167467 | 18525 112018 406224 | 2147483647 167458 52 | 1.463 % |
168.20/168.23 c | 167681 | 18525 112018 406224 | 2147483647 167672 52 | 1.463 % |
168.50/168.57 c | 167914 | 18525 112018 406224 | 2147483647 167905 52 | 1.463 % |
168.90/168.95 c | 168170 | 18525 112018 406224 | 2147483647 168161 52 | 1.463 % |
169.41/169.46 c | 168452 | 18525 112018 406224 | 2147483647 168443 52 | 1.463 % |
170.00/170.01 c | 168761 | 18525 112018 406224 | 2147483647 168752 52 | 1.463 % |
170.51/170.52 c | 169101 | 18525 112018 406224 | 2147483647 169092 52 | 1.463 % |
171.10/171.15 c | 169474 | 18525 112018 406224 | 2147483647 169465 52 | 1.463 % |
171.80/171.86 c | 169883 | 18525 112018 406224 | 2147483647 169874 52 | 1.463 % |
172.40/172.49 c | 170332 | 18525 112018 406224 | 2147483647 170323 52 | 1.463 % |
173.30/173.39 c | 170827 | 18525 112018 406224 | 2147483647 170818 52 | 1.463 % |
174.60/174.65 c | 171370 | 18525 112018 406224 | 2147483647 171361 52 | 1.463 % |
176.10/176.14 c | 171966 | 18525 112018 406224 | 2147483647 171957 52 | 1.463 % |
177.60/177.68 c | 172622 | 18525 112018 406224 | 2147483647 172613 52 | 1.463 % |
178.80/178.88 c | 173342 | 18525 112018 406224 | 2147483647 173333 52 | 1.463 % |
180.20/180.21 c | 174134 | 18525 112018 406224 | 2147483647 174125 52 | 1.463 % |
181.60/181.65 c | 175007 | 18525 112018 406224 | 2147483647 174998 52 | 1.463 % |
183.10/183.20 c | 175967 | 18525 112018 406224 | 2147483647 175958 52 | 1.463 % |
184.50/184.61 c | 177020 | 18525 112018 406224 | 2147483647 177011 52 | 1.463 % |
186.30/186.34 c | 178180 | 18525 112018 406224 | 2147483647 178171 52 | 1.463 % |
188.50/188.58 c | 179453 | 18525 112018 406224 | 2147483647 179444 52 | 1.463 % |
190.80/190.88 c | 180855 | 18525 112018 406224 | 2147483647 180846 52 | 1.463 % |
193.40/193.42 c | 182396 | 18525 112018 406224 | 2147483647 182387 52 | 1.463 % |
196.00/196.07 c | 184090 | 18525 112018 406224 | 2147483647 184081 52 | 1.463 % |
199.01/199.07 c | 185953 | 18525 112018 406224 | 2147483647 185944 52 | 1.463 % |
199.21/199.26 c | 186055 | 18525 112018 406224 | 2147483647 186046 52 | 1.463 % |
199.41/199.43 c | 186167 | 18525 112018 406224 | 2147483647 186158 52 | 1.463 % |
199.61/199.67 c | 186288 | 18525 112018 406224 | 2147483647 186279 52 | 1.463 % |
199.81/199.87 c | 186425 | 18525 112018 406224 | 2147483647 186416 52 | 1.463 % |
200.01/200.11 c | 186572 | 18525 112018 406224 | 2147483647 186563 52 | 1.463 % |
200.41/200.46 c | 186732 | 18525 112018 406224 | 2147483647 186723 52 | 1.463 % |
200.71/200.75 c | 186908 | 18525 112018 406224 | 2147483647 186899 52 | 1.463 % |
201.11/201.16 c | 187101 | 18525 112018 406224 | 2147483647 187092 52 | 1.463 % |
201.41/201.49 c | 187313 | 18525 112018 406224 | 2147483647 187304 52 | 1.463 % |
201.81/201.84 c | 187546 | 18525 112018 406224 | 2147483647 187537 52 | 1.463 % |
202.21/202.29 c | 187804 | 18525 112018 406224 | 2147483647 187795 52 | 1.463 % |
202.91/202.93 c | 188085 | 18525 112018 406224 | 2147483647 188076 52 | 1.463 % |
203.41/203.51 c | 188394 | 18525 112018 406224 | 2147483647 188385 52 | 1.463 % |
204.11/204.15 c | 188733 | 18525 112018 406224 | 2147483647 188724 52 | 1.463 % |
204.21/204.25 c | 189105 | 18525 112018 406224 | 2147483647 189096 52 | 1.463 % |
205.11/205.19 c | 189517 | 18525 112018 406224 | 2147483647 189508 52 | 1.463 % |
205.91/206.01 c | 189966 | 18525 112018 406224 | 2147483647 189957 52 | 1.463 % |
206.71/206.81 c | 190459 | 18525 112018 406224 | 2147483647 190450 52 | 1.463 % |
207.61/207.63 c | 191001 | 18525 112018 406224 | 2147483647 190992 52 | 1.463 % |
209.11/209.20 c | 191599 | 18525 112018 406224 | 2147483647 191590 52 | 1.463 % |
210.71/210.78 c | 192254 | 18525 112018 406224 | 2147483647 192245 52 | 1.463 % |
212.11/212.14 c | 192974 | 18525 112018 406224 | 2147483647 192965 52 | 1.463 % |
213.61/213.64 c | 193768 | 18525 112018 406224 | 2147483647 193759 52 | 1.463 % |
215.11/215.20 c | 194640 | 18525 112018 406224 | 2147483647 194631 52 | 1.463 % |
216.91/216.99 c | 195599 | 18525 112018 406224 | 2147483647 195590 52 | 1.463 % |
218.81/218.82 c | 196653 | 18525 112018 406224 | 2147483647 196644 52 | 1.463 % |
221.01/221.09 c | 197811 | 18525 112018 406224 | 2147483647 197802 52 | 1.463 % |
223.21/223.29 c | 199084 | 18525 112018 406224 | 2147483647 199075 52 | 1.463 % |
226.01/226.07 c | 200487 | 18525 112018 406224 | 2147483647 200478 52 | 1.463 % |
227.71/227.80 c | 202027 | 18525 112018 406224 | 2147483647 202018 52 | 1.463 % |
230.71/230.77 c | 203722 | 18525 112018 406224 | 2147483647 203713 52 | 1.463 % |
234.81/234.87 c | 205585 | 18525 112018 406224 | 2147483647 205576 52 | 1.463 % |
239.91/239.91 c | 207634 | 18525 112018 406224 | 2147483647 207625 52 | 1.463 % |
240.11/240.20 c | 207734 | 18525 112018 406224 | 2147483647 207725 52 | 1.463 % |
240.31/240.32 c | 207845 | 18525 112018 406224 | 2147483647 207836 52 | 1.463 % |
240.41/240.42 c | 207966 | 18525 112018 406224 | 2147483647 207957 52 | 1.463 % |
240.61/240.68 c | 208100 | 18525 112018 406224 | 2147483647 208091 52 | 1.463 % |
240.71/240.76 c | 208247 | 18525 112018 406224 | 2147483647 208238 52 | 1.463 % |
241.01/241.06 c | 208407 | 18525 112018 406224 | 2147483647 208398 52 | 1.463 % |
241.41/241.41 c | 208583 | 18525 112018 406224 | 2147483647 208574 52 | 1.463 % |
241.81/241.85 c | 208777 | 18525 112018 406224 | 2147483647 208768 52 | 1.463 % |
242.31/242.34 c | 208991 | 18525 112018 406224 | 2147483647 208982 52 | 1.463 % |
242.81/242.90 c | 209226 | 18525 112018 406224 | 2147483647 209217 52 | 1.463 % |
243.51/243.57 c | 209482 | 18525 112018 406224 | 2147483647 209473 52 | 1.463 % |
244.01/244.08 c | 209763 | 18525 112018 406224 | 2147483647 209754 52 | 1.463 % |
244.61/244.65 c | 210072 | 18525 112018 406224 | 2147483647 210063 52 | 1.463 % |
245.51/245.52 c | 210414 | 18525 112018 406224 | 2147483647 210405 52 | 1.463 % |
246.31/246.40 c | 210786 | 18525 112018 406224 | 2147483647 210777 52 | 1.463 % |
247.41/247.49 c | 211196 | 18525 112018 406224 | 2147483647 211187 52 | 1.463 % |
248.41/248.50 c | 211645 | 18525 112018 406224 | 2147483647 211636 52 | 1.463 % |
249.51/249.60 c | 212139 | 18525 112018 406224 | 2147483647 212130 52 | 1.463 % |
250.71/250.75 c | 212682 | 18525 112018 406224 | 2147483647 212673 52 | 1.463 % |
251.71/251.80 c | 213279 | 18525 112018 406224 | 2147483647 213270 52 | 1.463 % |
253.51/253.61 c | 213934 | 18525 112018 406224 | 2147483647 213925 52 | 1.463 % |
255.01/255.07 c | 214654 | 18525 112018 406224 | 2147483647 214645 52 | 1.463 % |
256.41/256.46 c | 215452 | 18525 112018 406224 | 2147483647 215443 52 | 1.463 % |
257.42/257.44 c | 216324 | 18525 112018 406224 | 2147483647 216315 52 | 1.463 % |
258.61/258.62 c | 217283 | 18525 112018 406224 | 2147483647 217274 52 | 1.463 % |
260.11/260.16 c | 218336 | 18525 112018 406224 | 2147483647 218327 52 | 1.463 % |
261.61/261.64 c | 219494 | 18525 112018 406224 | 2147483647 219485 52 | 1.463 % |
263.21/263.27 c | 220767 | 18525 112018 406224 | 2147483647 220758 52 | 1.463 % |
266.41/266.47 c | 222167 | 18525 112018 406224 | 2147483647 222158 52 | 1.463 % |
270.81/270.85 c | 223708 | 18525 112018 406224 | 2147483647 223699 53 | 1.463 % |
274.91/275.01 c | 225402 | 18525 112018 406224 | 2147483647 225393 53 | 1.463 % |
279.21/279.30 c | 227266 | 18525 112018 406224 | 2147483647 227257 53 | 1.463 % |
283.21/283.31 c | 229317 | 18525 112018 406224 | 2147483647 229308 52 | 1.463 % |
287.81/287.87 c | 231571 | 18525 112018 406224 | 2147483647 231562 52 | 1.463 % |
288.01/288.07 c | 231672 | 18525 112018 406224 | 2147483647 231663 52 | 1.463 % |
288.22/288.26 c | 231783 | 18525 112018 406224 | 2147483647 231774 52 | 1.463 % |
288.41/288.49 c | 231904 | 18525 112018 406224 | 2147483647 231895 52 | 1.463 % |
288.71/288.78 c | 232037 | 18525 112018 406224 | 2147483647 232028 52 | 1.463 % |
289.11/289.17 c | 232183 | 18525 112018 406224 | 2147483647 232174 52 | 1.463 % |
289.41/289.42 c | 232343 | 18525 112018 406224 | 2147483647 232334 52 | 1.463 % |
289.71/289.74 c | 232519 | 18525 112018 406224 | 2147483647 232510 52 | 1.463 % |
290.11/290.18 c | 232712 | 18525 112018 406224 | 2147483647 232703 52 | 1.463 % |
290.51/290.58 c | 232924 | 18525 112018 406224 | 2147483647 232915 52 | 1.463 % |
291.01/291.07 c | 233158 | 18525 112018 406224 | 2147483647 233149 52 | 1.463 % |
291.71/291.74 c | 233414 | 18525 112018 406224 | 2147483647 233405 52 | 1.463 % |
292.40/292.51 c | 233696 | 18525 112018 406224 | 2147483647 233687 52 | 1.463 % |
293.20/293.26 c | 234005 | 18525 112018 406224 | 2147483647 233996 52 | 1.463 % |
294.10/294.12 c | 234347 | 18525 112018 406224 | 2147483647 234338 52 | 1.463 % |
294.91/294.99 c | 234721 | 18525 112018 406224 | 2147483647 234712 52 | 1.463 % |
295.81/295.86 c | 235132 | 18525 112018 406224 | 2147483647 235123 52 | 1.463 % |
296.61/296.66 c | 235582 | 18525 112018 406224 | 2147483647 235573 52 | 1.463 % |
297.61/297.66 c | 236077 | 18525 112018 406224 | 2147483647 236068 52 | 1.463 % |
298.71/298.78 c | 236619 | 18525 112018 406224 | 2147483647 236610 52 | 1.463 % |
300.11/300.16 c | 237215 | 18525 112018 406224 | 2147483647 237206 52 | 1.463 % |
301.51/301.54 c | 237870 | 18525 112018 406224 | 2147483647 237861 52 | 1.463 % |
303.41/303.46 c | 238590 | 18525 112018 406224 | 2147483647 238581 52 | 1.463 % |
305.31/305.34 c | 239384 | 18525 112018 406224 | 2147483647 239375 52 | 1.463 % |
306.81/306.86 c | 240256 | 18525 112018 406224 | 2147483647 240247 52 | 1.463 % |
307.71/307.77 c | 241216 | 18525 112018 406224 | 2147483647 241207 52 | 1.463 % |
310.21/310.23 c | 242269 | 18525 112018 406224 | 2147483647 242260 52 | 1.463 % |
313.81/313.83 c | 243427 | 18525 112018 406224 | 2147483647 243418 52 | 1.463 % |
316.51/316.57 c | 244700 | 18525 112018 406224 | 2147483647 244691 52 | 1.463 % |
320.21/320.31 c | 246100 | 18525 112018 406224 | 2147483647 246091 52 | 1.463 % |
322.41/322.43 c | 247643 | 18525 112018 406224 | 2147483647 247634 52 | 1.463 % |
326.51/326.52 c | 249338 | 18525 112018 406224 | 2147483647 249329 52 | 1.463 % |
331.31/331.33 c | 251201 | 18525 112018 406224 | 2147483647 251192 52 | 1.463 % |
337.91/337.93 c | 253251 | 18525 112018 406224 | 2147483647 253242 53 | 1.463 % |
342.81/342.86 c | 255504 | 18525 112018 406224 | 2147483647 255495 53 | 1.463 % |
347.51/347.57 c | 257982 | 18525 112018 406224 | 2147483647 257973 53 | 1.463 % |
347.71/347.75 c | 258082 | 18525 112018 406224 | 2147483647 258073 53 | 1.463 % |
348.01/348.05 c | 258192 | 18525 112018 406224 | 2147483647 258183 53 | 1.463 % |
348.41/348.45 c | 258313 | 18525 112018 406224 | 2147483647 258304 53 | 1.463 % |
348.81/348.83 c | 258449 | 18525 112018 406224 | 2147483647 258440 53 | 1.463 % |
349.21/349.24 c | 258598 | 18525 112018 406224 | 2147483647 258589 53 | 1.463 % |
349.91/349.94 c | 258758 | 18525 112018 406224 | 2147483647 258749 53 | 1.463 % |
350.31/350.41 c | 258934 | 18525 112018 406224 | 2147483647 258925 53 | 1.463 % |
350.71/350.79 c | 259127 | 18525 112018 406224 | 2147483647 259118 53 | 1.463 % |
351.41/351.48 c | 259341 | 18525 112018 406224 | 2147483647 259332 53 | 1.463 % |
352.11/352.12 c | 259574 | 18525 112018 406224 | 2147483647 259565 53 | 1.463 % |
352.91/352.98 c | 259830 | 18525 112018 406224 | 2147483647 259821 53 | 1.463 % |
353.61/353.69 c | 260111 | 18525 112018 406224 | 259991 260102 53 | 1.463 % |
354.51/354.52 c | 260422 | 18525 112018 406224 | 259991 260413 53 | 1.463 % |
355.91/355.96 c | 260761 | 18525 112018 406224 | 259991 229548 53 | 1.463 % |
356.71/356.73 c | 261135 | 18525 112018 406224 | 259991 229922 53 | 1.463 % |
357.61/357.66 c | 261546 | 18525 112018 406224 | 259991 230333 53 | 1.463 % |
358.81/358.91 c | 261996 | 18525 112018 406224 | 259991 230783 53 | 1.463 % |
360.31/360.38 c | 262491 | 18525 112018 406224 | 259991 231278 53 | 1.463 % |
361.31/361.33 c | 263035 | 18525 112018 406224 | 259991 231822 53 | 1.463 % |
362.41/362.49 c | 263632 | 18525 112018 406224 | 259991 232419 53 | 1.463 % |
364.21/364.27 c | 264287 | 18525 112018 406224 | 259991 233074 53 | 1.463 % |
366.32/366.37 c | 265007 | 18525 112018 406224 | 259991 233794 53 | 1.463 % |
368.11/368.17 c | 265800 | 18525 112018 406224 | 259991 234587 53 | 1.463 % |
369.81/369.90 c | 266671 | 18525 112018 406224 | 259991 235458 53 | 1.463 % |
371.51/371.60 c | 267629 | 18525 112018 406224 | 259991 236416 53 | 1.463 % |
373.31/373.33 c | 268682 | 18525 112018 406224 | 259991 237469 53 | 1.463 % |
375.41/375.45 c | 269843 | 18525 112018 406224 | 259991 238630 53 | 1.463 % |
379.52/379.58 c | 271117 | 18525 112018 406224 | 2147483647 239904 54 | 1.463 % |
383.31/383.40 c | 272517 | 18525 112018 406224 | 2147483647 241304 54 | 1.463 % |
386.91/386.99 c | 274059 | 18525 112018 406224 | 2147483647 242846 54 | 1.463 % |
392.82/392.86 c | 275753 | 18525 112018 406224 | 2147483647 244540 54 | 1.463 % |
398.02/398.12 c | 277619 | 18525 112018 406224 | 2147483647 246406 54 | 1.463 % |
402.72/402.74 c | 279668 | 18525 112018 406224 | 2147483647 248455 54 | 1.463 % |
411.92/412.01 c | 281923 | 18525 112018 406224 | 2147483647 250710 55 | 1.463 % |
417.72/417.72 c | 284401 | 18525 112018 406224 | 2147483647 253188 55 | 1.463 % |
422.42/422.50 c | 287126 | 18525 112018 406224 | 2147483647 255913 54 | 1.463 % |
422.62/422.71 c | 287226 | 18525 112018 406224 | 2147483647 256013 54 | 1.463 % |
422.92/422.94 c | 287336 | 18525 112018 406224 | 2147483647 256123 54 | 1.463 % |
423.22/423.23 c | 287457 | 18525 112018 406224 | 2147483647 256244 54 | 1.463 % |
423.52/423.53 c | 287593 | 18525 112018 406224 | 2147483647 256380 54 | 1.463 % |
423.82/423.91 c | 287740 | 18525 112018 406224 | 2147483647 256527 54 | 1.463 % |
424.12/424.12 c | 287900 | 18525 112018 406224 | 2147483647 256687 54 | 1.463 % |
424.42/424.44 c | 288078 | 18525 112018 406224 | 2147483647 256865 54 | 1.463 % |
424.92/424.99 c | 288274 | 18525 112018 406224 | 2147483647 257061 54 | 1.463 % |
425.62/425.65 c | 288487 | 18525 112018 406224 | 2147483647 257274 54 | 1.463 % |
426.12/426.18 c | 288723 | 18525 112018 406224 | 2147483647 257510 54 | 1.463 % |
426.52/426.61 c | 288980 | 18525 112018 406224 | 2147483647 257767 54 | 1.463 % |
427.32/427.36 c | 289261 | 18525 112018 406224 | 2147483647 258048 54 | 1.463 % |
428.12/428.16 c | 289571 | 18525 112018 406224 | 2147483647 258358 54 | 1.463 % |
429.12/429.16 c | 289911 | 18525 112018 406224 | 2147483647 258698 54 | 1.463 % |
430.52/430.54 c | 290284 | 18525 112018 406224 | 2147483647 259071 54 | 1.463 % |
431.82/431.85 c | 290693 | 18525 112018 406224 | 2147483647 259480 54 | 1.463 % |
432.92/432.97 c | 291144 | 18525 112018 406224 | 2147483647 259931 54 | 1.463 % |
434.62/434.68 c | 291637 | 18525 112018 406224 | 2147483647 260424 54 | 1.463 % |
436.42/436.45 c | 292181 | 18525 112018 406224 | 2147483647 260968 54 | 1.463 % |
437.82/437.88 c | 292778 | 18525 112018 406224 | 2147483647 261565 54 | 1.463 % |
439.32/439.33 c | 293433 | 18525 112018 406224 | 2147483647 262220 54 | 1.463 % |
441.02/441.08 c | 294153 | 18525 112018 406224 | 2147483647 262940 54 | 1.463 % |
442.62/442.66 c | 294945 | 18525 112018 406224 | 2147483647 263732 54 | 1.463 % |
444.12/444.12 c | 295817 | 18525 112018 406224 | 2147483647 264604 54 | 1.463 % |
446.72/446.74 c | 296776 | 18525 112018 406224 | 2147483647 265563 54 | 1.463 % |
449.32/449.35 c | 297830 | 18525 112018 406224 | 2147483647 266617 54 | 1.463 % |
452.52/452.59 c | 298989 | 18525 112018 406224 | 2147483647 267776 54 | 1.463 % |
455.52/455.53 c | 300262 | 18525 112018 406224 | 2147483647 269049 54 | 1.463 % |
458.61/458.63 c | 301662 | 18525 112018 406224 | 2147483647 270449 54 | 1.463 % |
461.91/461.95 c | 303204 | 18525 112018 406224 | 2147483647 271991 54 | 1.463 % |
465.51/465.57 c | 304898 | 18525 112018 406224 | 2147483647 273685 54 | 1.463 % |
469.91/469.99 c | 306762 | 18525 112018 406224 | 2147483647 275549 54 | 1.463 % |
475.51/475.54 c | 308813 | 18525 112018 406224 | 2147483647 277600 54 | 1.463 % |
481.61/481.68 c | 311066 | 18525 112018 406224 | 2147483647 279853 54 | 1.463 % |
488.11/488.15 c | 313545 | 18525 112018 406224 | 2147483647 282332 54 | 1.463 % |
495.12/495.18 c | 316270 | 18525 112018 406224 | 2147483647 285057 54 | 1.463 % |
503.92/504.00 c | 319270 | 18525 112018 406224 | 2147483647 288057 53 | 1.463 % |
504.12/504.19 c | 319371 | 18525 112018 406224 | 2147483647 288158 53 | 1.463 % |
504.42/504.44 c | 319483 | 18525 112018 406224 | 2147483647 288270 53 | 1.463 % |
504.62/504.69 c | 319605 | 18525 112018 406224 | 2147483647 288392 53 | 1.463 % |
504.92/504.94 c | 319739 | 18525 112018 406224 | 2147483647 288526 53 | 1.463 % |
505.12/505.16 c | 319887 | 18525 112018 406224 | 2147483647 288674 53 | 1.463 % |
505.32/505.39 c | 320047 | 18525 112018 406224 | 2147483647 288834 53 | 1.463 % |
505.72/505.80 c | 320223 | 18525 112018 406224 | 2147483647 289010 53 | 1.463 % |
506.12/506.11 c | 320417 | 18525 112018 406224 | 2147483647 289204 53 | 1.463 % |
506.62/506.64 c | 320630 | 18525 112018 406224 | 2147483647 289417 53 | 1.463 % |
507.12/507.21 c | 320864 | 18525 112018 406224 | 2147483647 289651 53 | 1.463 % |
507.72/507.75 c | 321120 | 18525 112018 406224 | 2147483647 289907 53 | 1.463 % |
508.82/508.81 c | 321402 | 18525 112018 406224 | 2147483647 290189 53 | 1.463 % |
509.72/509.74 c | 321712 | 18525 112018 406224 | 2147483647 290499 53 | 1.463 % |
510.32/510.35 c | 322051 | 18525 112018 406224 | 2147483647 290838 53 | 1.463 % |
511.12/511.21 c | 322423 | 18525 112018 406224 | 2147483647 291210 53 | 1.463 % |
512.32/512.40 c | 322832 | 18525 112018 406224 | 2147483647 291619 53 | 1.463 % |
513.52/513.55 c | 323282 | 18525 112018 406224 | 2147483647 292069 53 | 1.463 % |
514.52/514.55 c | 323776 | 18525 112018 406224 | 2147483647 292563 53 | 1.463 % |
516.02/516.04 c | 324319 | 18525 112018 406224 | 2147483647 293106 53 | 1.463 % |
517.22/517.21 c | 324916 | 18525 112018 406224 | 2147483647 293703 53 | 1.463 % |
519.02/519.03 c | 325573 | 18525 112018 406224 | 2147483647 294360 53 | 1.463 % |
520.92/520.95 c | 326294 | 18525 112018 406224 | 2147483647 295081 53 | 1.463 % |
523.02/523.02 c | 327088 | 18525 112018 406224 | 2147483647 295875 53 | 1.463 % |
524.62/524.65 c | 327959 | 18525 112018 406224 | 2147483647 296746 53 | 1.463 % |
527.02/527.10 c | 328917 | 18525 112018 406224 | 2147483647 297704 54 | 1.463 % |
529.62/529.62 c | 329971 | 18525 112018 406224 | 2147483647 298758 54 | 1.463 % |
532.52/532.60 c | 331131 | 18525 112018 406224 | 2147483647 299918 54 | 1.463 % |
535.82/535.85 c | 332404 | 18525 112018 406224 | 2147483647 301191 54 | 1.463 % |
539.72/539.80 c | 333806 | 18525 112018 406224 | 2147483647 302593 53 | 1.463 % |
543.72/543.71 c | 335347 | 18525 112018 406224 | 2147483647 304134 53 | 1.463 % |
548.12/548.20 c | 337043 | 18525 112018 406224 | 2147483647 305830 53 | 1.463 % |
552.42/552.46 c | 338906 | 18525 112018 406224 | 2147483647 307693 53 | 1.463 % |
558.92/558.91 c | 340955 | 18525 112018 406224 | 308787 309742 54 | 1.463 % |
565.52/565.52 c | 343211 | 18525 112018 406224 | 308787 270678 52 | 1.463 % |
571.22/571.27 c | 345690 | 18525 112018 406224 | 308787 273157 52 | 1.463 % |
575.92/576.00 c | 348416 | 18525 112018 406224 | 308787 275883 52 | 1.463 % |
581.82/581.85 c | 351414 | 18525 112018 406224 | 2147483647 278881 52 | 1.463 % |
588.33/588.32 c | 354711 | 18525 112018 406224 | 2147483647 282178 52 | 1.463 % |
588.63/588.62 c | 354813 | 18525 112018 406224 | 2147483647 282280 52 | 1.463 % |
588.93/588.93 c | 354923 | 18525 112018 406224 | 2147483647 282390 52 | 1.463 % |
589.23/589.26 c | 355044 | 18525 112018 406224 | 2147483647 282511 52 | 1.463 % |
589.63/589.64 c | 355177 | 18525 112018 406224 | 2147483647 282644 52 | 1.463 % |
589.93/589.91 c | 355324 | 18525 112018 406224 | 2147483647 282791 52 | 1.463 % |
590.23/590.27 c | 355484 | 18525 112018 406224 | 2147483647 282951 52 | 1.463 % |
590.63/590.62 c | 355660 | 18525 112018 406224 | 2147483647 283127 52 | 1.463 % |
590.93/590.99 c | 355853 | 18525 112018 406224 | 2147483647 283320 52 | 1.463 % |
591.43/591.43 c | 356065 | 18525 112018 406224 | 2147483647 283532 52 | 1.463 % |
592.03/592.04 c | 356299 | 18525 112018 406224 | 2147483647 283766 52 | 1.463 % |
592.53/592.58 c | 356561 | 18525 112018 406224 | 2147483647 284028 52 | 1.463 % |
593.23/593.26 c | 356845 | 18525 112018 406224 | 2147483647 284312 52 | 1.463 % |
594.13/594.12 c | 357154 | 18525 112018 406224 | 2147483647 284621 52 | 1.463 % |
594.83/594.87 c | 357496 | 18525 112018 406224 | 2147483647 284963 52 | 1.463 % |
595.83/595.86 c | 357868 | 18525 112018 406224 | 2147483647 285335 52 | 1.463 % |
596.83/596.81 c | 358279 | 18525 112018 406224 | 2147483647 285746 52 | 1.463 % |
597.53/597.61 c | 358728 | 18525 112018 406224 | 2147483647 286195 52 | 1.463 % |
598.63/598.67 c | 359221 | 18525 112018 406224 | 2147483647 286688 52 | 1.463 % |
599.63/599.68 c | 359763 | 18525 112018 406224 | 2147483647 287230 52 | 1.463 % |
601.13/601.13 c | 360363 | 18525 112018 406224 | 2147483647 287830 52 | 1.463 % |
602.53/602.60 c | 361019 | 18525 112018 406224 | 2147483647 288486 52 | 1.463 % |
604.33/604.36 c | 361743 | 18525 112018 406224 | 2147483647 289210 52 | 1.463 % |
606.13/606.13 c | 362536 | 18525 112018 406224 | 2147483647 290003 52 | 1.463 % |
608.13/608.15 c | 363413 | 18525 112018 406224 | 2147483647 290880 52 | 1.463 % |
610.13/610.16 c | 364374 | 18525 112018 406224 | 2147483647 291841 52 | 1.463 % |
612.33/612.41 c | 365427 | 18525 112018 406224 | 2147483647 292894 52 | 1.463 % |
614.53/614.60 c | 366585 | 18525 112018 406224 | 2147483647 294052 52 | 1.463 % |
617.63/617.70 c | 367859 | 18525 112018 406224 | 2147483647 295326 52 | 1.463 % |
621.13/621.14 c | 369262 | 18525 112018 406224 | 2147483647 296729 52 | 1.463 % |
624.33/624.35 c | 370802 | 18525 112018 406224 | 2147483647 298269 52 | 1.463 % |
627.93/628.01 c | 372496 | 18525 112018 406224 | 2147483647 299963 52 | 1.463 % |
632.73/632.78 c | 374359 | 18525 112018 406224 | 2147483647 301826 51 | 1.463 % |
637.83/637.91 c | 376409 | 18525 112018 406224 | 2147483647 303876 51 | 1.463 % |
643.13/643.14 c | 378663 | 18525 112018 406224 | 2147483647 306130 51 | 1.463 % |
648.43/648.45 c | 381142 | 18525 112018 406224 | 2147483647 308609 51 | 1.463 % |
655.23/655.27 c | 383867 | 18525 112018 406224 | 2147483647 311334 51 | 1.463 % |
663.03/663.09 c | 386864 | 18525 112018 406224 | 2147483647 314331 51 | 1.463 % |
671.63/671.67 c | 390161 | 18525 112018 406224 | 2147483647 317628 51 | 1.463 % |
679.13/679.18 c | 393787 | 18525 112018 406224 | 2147483647 321254 51 | 1.463 % |
679.43/679.44 c | 393888 | 18525 112018 406224 | 2147483647 321355 51 | 1.463 % |
679.63/679.70 c | 394001 | 18525 112018 406224 | 2147483647 321468 51 | 1.463 % |
679.93/679.91 c | 394122 | 18525 112018 406224 | 2147483647 321589 51 | 1.463 % |
680.23/680.21 c | 394257 | 18525 112018 406224 | 2147483647 321724 51 | 1.463 % |
680.53/680.57 c | 394403 | 18525 112018 406224 | 2147483647 321870 51 | 1.463 % |
680.94/680.96 c | 394564 | 18525 112018 406224 | 2147483647 322031 51 | 1.463 % |
681.23/681.21 c | 394742 | 18525 112018 406224 | 2147483647 322209 51 | 1.463 % |
681.53/681.56 c | 394935 | 18525 112018 406224 | 2147483647 322402 51 | 1.463 % |
682.04/682.05 c | 395147 | 18525 112018 406224 | 2147483647 322614 51 | 1.463 % |
682.63/682.68 c | 395381 | 18525 112018 406224 | 2147483647 322848 51 | 1.463 % |
683.14/683.15 c | 395637 | 18525 112018 406224 | 2147483647 323104 51 | 1.463 % |
683.83/683.85 c | 395918 | 18525 112018 406224 | 2147483647 323385 51 | 1.463 % |
684.43/684.44 c | 396227 | 18525 112018 406224 | 2147483647 323694 51 | 1.463 % |
685.03/685.04 c | 396566 | 18525 112018 406224 | 2147483647 324033 51 | 1.463 % |
685.73/685.70 c | 396944 | 18525 112018 406224 | 2147483647 324411 51 | 1.463 % |
686.44/686.42 c | 397354 | 18525 112018 406224 | 2147483647 324821 51 | 1.463 % |
687.44/687.45 c | 397803 | 18525 112018 406224 | 2147483647 325270 51 | 1.463 % |
689.04/689.08 c | 398297 | 18525 112018 406224 | 2147483647 325764 51 | 1.463 % |
690.44/690.47 c | 398842 | 18525 112018 406224 | 2147483647 326309 51 | 1.463 % |
691.14/691.20 c | 399438 | 18525 112018 406224 | 2147483647 326905 51 | 1.463 % |
692.04/692.06 c | 400093 | 18525 112018 406224 | 2147483647 327560 51 | 1.463 % |
694.34/694.37 c | 400813 | 18525 112018 406224 | 2147483647 328280 51 | 1.463 % |
696.24/696.26 c | 401609 | 18525 112018 406224 | 2147483647 329076 51 | 1.463 % |
699.04/699.09 c | 402480 | 18525 112018 406224 | 2147483647 329947 51 | 1.463 % |
701.14/701.15 c | 403438 | 18525 112018 406224 | 2147483647 330905 51 | 1.463 % |
703.64/703.71 c | 404493 | 18525 112018 406224 | 2147483647 331960 51 | 1.463 % |
707.34/707.32 c | 405651 | 18525 112018 406224 | 2147483647 333118 51 | 1.463 % |
710.44/710.43 c | 406924 | 18525 112018 406224 | 2147483647 334391 51 | 1.463 % |
713.44/713.42 c | 408325 | 18525 112018 406224 | 2147483647 335792 51 | 1.463 % |
716.84/716.87 c | 409868 | 18525 112018 406224 | 2147483647 337335 51 | 1.463 % |
721.34/721.37 c | 411563 | 18525 112018 406224 | 337467 339030 51 | 1.463 % |
728.84/728.86 c | 413426 | 18525 112018 406224 | 337467 306990 49 | 1.463 % |
733.94/733.92 c | 415478 | 18525 112018 406224 | 337467 309042 49 | 1.463 % |
739.14/739.15 c | 417734 | 18525 112018 406224 | 337467 311298 49 | 1.463 % |
744.34/744.37 c | 420213 | 18525 112018 406224 | 2147483647 313777 49 | 1.463 % |
751.35/751.36 c | 422938 | 18525 112018 406224 | 2147483647 316502 49 | 1.463 % |
759.54/759.52 c | 425937 | 18525 112018 406224 | 2147483647 319501 49 | 1.463 % |
767.34/767.32 c | 429233 | 18525 112018 406224 | 2147483647 322797 49 | 1.463 % |
775.64/775.67 c | 432858 | 18525 112018 406224 | 2147483647 326422 49 | 1.463 % |
785.45/785.48 c | 436845 | 18525 112018 406224 | 2147483647 330409 49 | 1.463 % |
785.75/785.79 c | 436946 | 18525 112018 406224 | 2147483647 330510 49 | 1.463 % |
786.25/786.23 c | 437056 | 18525 112018 406224 | 2147483647 330620 49 | 1.463 % |
786.55/786.54 c | 437177 | 18525 112018 406224 | 2147483647 330741 49 | 1.463 % |
786.85/786.87 c | 437310 | 18525 112018 406224 | 2147483647 330874 49 | 1.463 % |
787.35/787.37 c | 437458 | 18525 112018 406224 | 2147483647 331022 49 | 1.463 % |
787.65/787.68 c | 437618 | 18525 112018 406224 | 2147483647 331182 49 | 1.463 % |
787.95/788.00 c | 437795 | 18525 112018 406224 | 2147483647 331359 49 | 1.463 % |
788.55/788.55 c | 437989 | 18525 112018 406224 | 2147483647 331553 49 | 1.463 % |
788.95/788.99 c | 438203 | 18525 112018 406224 | 2147483647 331767 49 | 1.463 % |
789.55/789.52 c | 438437 | 18525 112018 406224 | 2147483647 332001 49 | 1.463 % |
790.05/790.11 c | 438695 | 18525 112018 406224 | 2147483647 332259 49 | 1.463 % |
790.65/790.64 c | 438977 | 18525 112018 406224 | 2147483647 332541 49 | 1.463 % |
791.35/791.32 c | 439287 | 18525 112018 406224 | 2147483647 332851 49 | 1.463 % |
792.15/792.12 c | 439628 | 18525 112018 406224 | 2147483647 333192 49 | 1.463 % |
793.15/793.19 c | 440000 | 18525 112018 406224 | 2147483647 333564 49 | 1.463 % |
794.35/794.33 c | 440411 | 18525 112018 406224 | 2147483647 333975 49 | 1.463 % |
795.45/795.49 c | 440861 | 18525 112018 406224 | 2147483647 334425 49 | 1.463 % |
796.55/796.52 c | 441354 | 18525 112018 406224 | 2147483647 334918 49 | 1.463 % |
797.65/797.69 c | 441896 | 18525 112018 406224 | 2147483647 335460 49 | 1.463 % |
799.15/799.21 c | 442492 | 18525 112018 406224 | 2147483647 336056 49 | 1.463 % |
800.86/800.85 c | 443147 | 18525 112018 406224 | 2147483647 336711 49 | 1.463 % |
802.86/802.87 c | 443868 | 18525 112018 406224 | 2147483647 337432 49 | 1.463 % |
805.06/805.09 c | 444661 | 18525 112018 406224 | 2147483647 338225 49 | 1.463 % |
807.16/807.16 c | 445532 | 18525 112018 406224 | 2147483647 339096 49 | 1.463 % |
808.86/808.91 c | 446491 | 18525 112018 406224 | 2147483647 340055 49 | 1.463 % |
810.26/810.26 c | 447545 | 18525 112018 406224 | 2147483647 341109 49 | 1.463 % |
813.46/813.45 c | 448703 | 18525 112018 406224 | 2147483647 342267 49 | 1.463 % |
815.35/815.39 c | 449978 | 18525 112018 406224 | 2147483647 343542 49 | 1.463 % |
817.25/817.23 c | 451382 | 18525 112018 406224 | 2147483647 344946 49 | 1.463 % |
820.05/820.09 c | 452924 | 18525 112018 406224 | 2147483647 346488 49 | 1.463 % |
823.55/823.53 c | 454618 | 18525 112018 406224 | 2147483647 348182 49 | 1.463 % |
828.05/828.04 c | 456482 | 18525 112018 406224 | 2147483647 350046 49 | 1.463 % |
831.75/831.77 c | 458533 | 18525 112018 406224 | 2147483647 352097 49 | 1.463 % |
834.95/834.99 c | 460787 | 18525 112018 406224 | 2147483647 354351 49 | 1.463 % |
840.25/840.21 c | 463266 | 18525 112018 406224 | 2147483647 356830 50 | 1.463 % |
846.15/846.14 c | 465992 | 18525 112018 406224 | 2147483647 359556 50 | 1.463 % |
853.05/853.10 c | 468989 | 18525 112018 406224 | 2147483647 362553 50 | 1.463 % |
860.55/860.59 c | 472285 | 18525 112018 406224 | 2147483647 365849 50 | 1.463 % |
869.95/869.92 c | 475911 | 18525 112018 406224 | 2147483647 369475 50 | 1.463 % |
879.95/879.95 c | 479898 | 18525 112018 406224 | 2147483647 373462 51 | 1.463 % |
893.06/893.03 c | 484288 | 18525 112018 406224 | 2147483647 377852 51 | 1.463 % |
893.26/893.28 c | 484388 | 18525 112018 406224 | 2147483647 377952 51 | 1.463 % |
893.56/893.56 c | 484499 | 18525 112018 406224 | 2147483647 378063 51 | 1.463 % |
893.86/893.89 c | 484621 | 18525 112018 406224 | 2147483647 378185 51 | 1.463 % |
894.26/894.28 c | 484754 | 18525 112018 406224 | 2147483647 378318 51 | 1.463 % |
894.76/894.79 c | 484900 | 18525 112018 406224 | 2147483647 378464 51 | 1.463 % |
895.16/895.19 c | 485061 | 18525 112018 406224 | 2147483647 378625 51 | 1.463 % |
895.76/895.77 c | 485238 | 18525 112018 406224 | 2147483647 378802 51 | 1.463 % |
896.26/896.22 c | 485432 | 18525 112018 406224 | 2147483647 378996 51 | 1.463 % |
896.66/896.66 c | 485645 | 18525 112018 406224 | 2147483647 379209 51 | 1.463 % |
897.26/897.24 c | 485879 | 18525 112018 406224 | 2147483647 379443 51 | 1.463 % |
897.76/897.80 c | 486137 | 18525 112018 406224 | 2147483647 379701 51 | 1.463 % |
898.56/898.55 c | 486419 | 18525 112018 406224 | 2147483647 379983 51 | 1.463 % |
899.06/899.05 c | 486729 | 18525 112018 406224 | 2147483647 380293 51 | 1.463 % |
899.96/899.92 c | 487069 | 18525 112018 406224 | 2147483647 380633 51 | 1.463 % |
900.76/900.79 c | 487441 | 18525 112018 406224 | 2147483647 381005 51 | 1.463 % |
902.06/902.08 c | 487850 | 18525 112018 406224 | 2147483647 381414 51 | 1.463 % |
903.16/903.17 c | 488302 | 18525 112018 406224 | 2147483647 381866 51 | 1.463 % |
904.66/904.70 c | 488799 | 18525 112018 406224 | 2147483647 382363 51 | 1.463 % |
905.86/905.90 c | 489341 | 18525 112018 406224 | 2147483647 382905 51 | 1.463 % |
907.66/907.71 c | 489937 | 18525 112018 406224 | 2147483647 383501 51 | 1.463 % |
909.56/909.58 c | 490592 | 18525 112018 406224 | 383565 384156 51 | 1.463 % |
914.76/914.78 c | 491314 | 18525 112018 406224 | 383565 327095 49 | 1.463 % |
916.26/916.23 c | 492106 | 18525 112018 406224 | 383565 327887 49 | 1.463 % |
917.86/917.83 c | 492977 | 18525 112018 406224 | 383565 328758 49 | 1.463 % |
919.96/919.98 c | 493935 | 18525 112018 406224 | 383565 329716 49 | 1.463 % |
921.96/921.92 c | 494989 | 18525 112018 406224 | 383565 330770 49 | 1.463 % |
924.86/924.87 c | 496149 | 18525 112018 406224 | 383565 331930 50 | 1.463 % |
928.65/928.69 c | 497423 | 18525 112018 406224 | 383565 333204 50 | 1.463 % |
932.15/932.13 c | 498824 | 18525 112018 406224 | 383565 334605 50 | 1.463 % |
936.15/936.18 c | 500365 | 18525 112018 406224 | 2147483647 336146 50 | 1.463 % |
939.95/940.00 c | 502061 | 18525 112018 406224 | 2147483647 337842 50 | 1.463 % |
945.15/945.13 c | 503925 | 18525 112018 406224 | 2147483647 339706 50 | 1.463 % |
950.85/950.82 c | 505974 | 18525 112018 406224 | 2147483647 341755 50 | 1.463 % |
956.35/956.32 c | 508227 | 18525 112018 406224 | 2147483647 344008 50 | 1.463 % |
962.15/962.18 c | 510707 | 18525 112018 406224 | 2147483647 346488 50 | 1.463 % |
969.45/969.47 c | 513433 | 18525 112018 406224 | 2147483647 349214 50 | 1.463 % |
977.25/977.24 c | 516430 | 18525 112018 406224 | 2147483647 352211 50 | 1.463 % |
986.66/986.71 c | 519727 | 18525 112018 406224 | 2147483647 355508 50 | 1.463 % |
996.76/996.79 c | 523352 | 18525 112018 406224 | 2147483647 359133 50 | 1.463 % |
1008.56/1008.54 c | 527339 | 18525 112018 406224 | 2147483647 363120 50 | 1.463 % |
1020.56/1020.56 c | 531724 | 18525 112018 406224 | 2147483647 367505 50 | 1.463 % |
1031.46/1031.44 c | 536547 | 18525 112018 406224 | 2147483647 372328 50 | 1.463 % |
1031.86/1031.85 c | 536651 | 18525 112018 406224 | 2147483647 372432 50 | 1.463 % |
1032.16/1032.15 c | 536764 | 18525 112018 406224 | 2147483647 372545 50 | 1.463 % |
1032.46/1032.43 c | 536885 | 18525 112018 406224 | 2147483647 372666 50 | 1.463 % |
1032.76/1032.77 c | 537019 | 18525 112018 406224 | 2147483647 372800 50 | 1.463 % |
1033.16/1033.16 c | 537165 | 18525 112018 406224 | 2147483647 372946 50 | 1.463 % |
1033.76/1033.73 c | 537327 | 18525 112018 406224 | 2147483647 373108 50 | 1.463 % |
1034.26/1034.29 c | 537505 | 18525 112018 406224 | 2147483647 373286 50 | 1.463 % |
1034.96/1034.99 c | 537699 | 18525 112018 406224 | 2147483647 373480 50 | 1.463 % |
1035.86/1035.83 c | 537912 | 18525 112018 406224 | 2147483647 373693 50 | 1.463 % |
1036.46/1036.49 c | 538147 | 18525 112018 406224 | 2147483647 373928 50 | 1.463 % |
1037.26/1037.27 c | 538403 | 18525 112018 406224 | 2147483647 374184 50 | 1.463 % |
1038.16/1038.13 c | 538684 | 18525 112018 406224 | 2147483647 374465 50 | 1.463 % |
1038.96/1038.96 c | 538993 | 18525 112018 406224 | 2147483647 374774 50 | 1.463 % |
1040.36/1040.34 c | 539333 | 18525 112018 406224 | 2147483647 375114 50 | 1.463 % |
1041.96/1041.94 c | 539705 | 18525 112018 406224 | 2147483647 375486 50 | 1.463 % |
1043.56/1043.58 c | 540115 | 18525 112018 406224 | 2147483647 375896 50 | 1.463 % |
1045.07/1045.06 c | 540564 | 18525 112018 406224 | 2147483647 376345 50 | 1.463 % |
1046.66/1046.68 c | 541058 | 18525 112018 406224 | 2147483647 376839 50 | 1.463 % |
1047.76/1047.76 c | 541600 | 18525 112018 406224 | 2147483647 377381 50 | 1.463 % |
1049.36/1049.38 c | 542197 | 18525 112018 406224 | 2147483647 377978 50 | 1.463 % |
1051.46/1051.45 c | 542852 | 18525 112018 406224 | 2147483647 378633 50 | 1.463 % |
1053.66/1053.68 c | 543573 | 18525 112018 406224 | 2147483647 379354 50 | 1.463 % |
1056.16/1056.12 c | 544365 | 18525 112018 406224 | 2147483647 380146 50 | 1.463 % |
1059.06/1059.02 c | 545237 | 18525 112018 406224 | 2147483647 381018 50 | 1.463 % |
1062.46/1062.50 c | 546195 | 18525 112018 406224 | 2147483647 381976 50 | 1.463 % |
1064.26/1064.23 c | 547248 | 18525 112018 406224 | 2147483647 383029 50 | 1.463 % |
1066.36/1066.31 c | 548406 | 18525 112018 406224 | 2147483647 384187 50 | 1.463 % |
1069.16/1069.16 c | 549679 | 18525 112018 406224 | 2147483647 385460 50 | 1.463 % |
1071.76/1071.77 c | 551080 | 18525 112018 406224 | 2147483647 386861 50 | 1.463 % |
1074.06/1074.04 c | 552620 | 18525 112018 406224 | 2147483647 388401 50 | 1.463 % |
1078.27/1078.26 c | 554314 | 18525 112018 406224 | 2147483647 390095 50 | 1.463 % |
1082.07/1082.03 c | 556178 | 18525 112018 406224 | 2147483647 391959 50 | 1.463 % |
1087.77/1087.78 c | 558230 | 18525 112018 406224 | 2147483647 394011 50 | 1.463 % |
1096.47/1096.42 c | 560487 | 18525 112018 406224 | 2147483647 396268 50 | 1.463 % |
1104.57/1104.56 c | 562966 | 18525 112018 406224 | 2147483647 398747 50 | 1.463 % |
1110.87/1110.83 c | 565692 | 18525 112018 406224 | 2147483647 401473 50 | 1.463 % |
1121.17/1121.19 c | 568690 | 18525 112018 406224 | 2147483647 404471 50 | 1.463 % |
1130.67/1130.69 c | 571988 | 18525 112018 406224 | 405795 407769 50 | 1.463 % |
1144.57/1144.61 c | 575613 | 18525 112018 406224 | 405795 319956 50 | 1.463 % |
1153.17/1153.16 c | 579600 | 18525 112018 406224 | 405795 323943 50 | 1.463 % |
1162.17/1162.20 c | 583985 | 18525 112018 406224 | 2147483647 328328 51 | 1.463 % |
1172.76/1172.71 c | 588809 | 18525 112018 406224 | 2147483647 333152 51 | 1.463 % |
1186.57/1186.52 c | 594114 | 18525 112018 406224 | 334345 338457 51 | 1.463 % |
1188.27/1188.30 c | 594216 | 18525 112018 406224 | 334345 304714 51 | 1.463 % |
1188.57/1188.59 c | 594327 | 18525 112018 406224 | 334345 304825 51 | 1.463 % |
1188.97/1188.98 c | 594448 | 18525 112018 406224 | 334345 304946 51 | 1.463 % |
1189.27/1189.25 c | 594581 | 18525 112018 406224 | 334345 305079 51 | 1.463 % |
1189.67/1189.65 c | 594728 | 18525 112018 406224 | 334345 305226 51 | 1.463 % |
1190.07/1190.06 c | 594888 | 18525 112018 406224 | 334345 305386 51 | 1.463 % |
1190.57/1190.51 c | 595064 | 18525 112018 406224 | 334345 305562 51 | 1.463 % |
1191.17/1191.11 c | 595260 | 18525 112018 406224 | 334345 305758 51 | 1.463 % |
1191.67/1191.65 c | 595472 | 18525 112018 406224 | 334345 305970 51 | 1.463 % |
1192.27/1192.30 c | 595706 | 18525 112018 406224 | 334345 306204 51 | 1.463 % |
1192.97/1192.98 c | 595963 | 18525 112018 406224 | 334345 306461 51 | 1.463 % |
1193.77/1193.78 c | 596244 | 18525 112018 406224 | 334345 306742 51 | 1.463 % |
1194.87/1194.81 c | 596554 | 18525 112018 406224 | 334345 307052 51 | 1.463 % |
1195.67/1195.64 c | 596897 | 18525 112018 406224 | 334345 307395 51 | 1.463 % |
1196.67/1196.69 c | 597269 | 18525 112018 406224 | 334345 307767 51 | 1.463 % |
1197.77/1197.80 c | 597678 | 18525 112018 406224 | 334345 308176 51 | 1.463 % |
1198.77/1198.80 c | 598128 | 18525 112018 406224 | 334345 308626 51 | 1.463 % |
1199.97/1199.97 c | 598623 | 18525 112018 406224 | 334345 309121 51 | 1.463 % |
1200.07/1200.03 HOME/SatELiteGTI: line 36: 5522 Terminated $MS $TMP.cnf $TMP.result
runsolver version 3.2.9 (svn:503) (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w /tmp/evaluation-result-1820398-1242438356/watcher-1820398-1242438356 -o /tmp/evaluation-result-1820398-1242438356/solver-1820398-1242438356 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1820398-1242438356.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: 8192 KiB
[startup+0 s]
/proc/loadavg: 0.92 0.98 0.99 2/93 5516
/proc/meminfo: memFree=1534620/2074464 swapFree=1949056/1959888
[pid=5516] ppid=5514 vsize=2412 CPUtime=0
/proc/5516/stat : 5516 (SatELiteGTI) S 5514 5516 14060 0 -1 4194304 367 645 0 0 0 0 0 0 18 0 1 0 1008332740 2469888 276 4294967295 134512640 135169312 3219130704 3219129240 3085045486 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/5516/statm: 603 276 235 161 0 42 0
[pid=5520] ppid=5516 vsize=956 CPUtime=0
/proc/5520/stat : 5520 (SatELite_releas) R 5516 5516 14060 0 -1 4202496 135 0 0 0 0 0 0 0 18 0 1 0 1008332740 978944 71 4294967295 134512640 135223648 3213886528 3213885248 134734703 0 0 0 3 0 0 0 17 0 0 0 0
/proc/5520/statm: 239 74 45 174 0 64 0
[startup+0.08724 s]
/proc/loadavg: 0.92 0.98 0.99 2/93 5516
/proc/meminfo: memFree=1534620/2074464 swapFree=1949056/1959888
[pid=5516] ppid=5514 vsize=2412 CPUtime=0
/proc/5516/stat : 5516 (SatELiteGTI) S 5514 5516 14060 0 -1 4194304 367 645 0 0 0 0 0 0 18 0 1 0 1008332740 2469888 276 4294967295 134512640 135169312 3219130704 3219129240 3085045486 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/5516/statm: 603 276 235 161 0 42 0
[pid=5520] ppid=5516 vsize=12872 CPUtime=0.09
/proc/5520/stat : 5520 (SatELite_releas) R 5516 5516 14060 0 -1 4202496 2472 0 0 0 7 2 0 0 18 0 1 0 1008332740 13180928 2361 4294967295 134512640 135223648 3213886528 3213885480 134737310 0 0 0 3 0 0 0 17 0 0 0 0
/proc/5520/statm: 3218 2362 47 174 0 3043 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 15284
[startup+0.127237 s]
/proc/loadavg: 0.92 0.98 0.99 2/93 5516
/proc/meminfo: memFree=1534620/2074464 swapFree=1949056/1959888
[pid=5516] ppid=5514 vsize=2412 CPUtime=0
/proc/5516/stat : 5516 (SatELiteGTI) S 5514 5516 14060 0 -1 4194304 367 645 0 0 0 0 0 0 18 0 1 0 1008332740 2469888 276 4294967295 134512640 135169312 3219130704 3219129240 3085045486 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/5516/statm: 603 276 235 161 0 42 0
[pid=5520] ppid=5516 vsize=16948 CPUtime=0.13
/proc/5520/stat : 5520 (SatELite_releas) R 5516 5516 14060 0 -1 4202496 3422 0 0 0 11 2 0 0 18 0 1 0 1008332740 17354752 3311 4294967295 134512640 135223648 3213886528 3213885536 134547499 0 0 0 3 0 0 0 17 0 0 0 0
/proc/5520/statm: 4237 3311 47 174 0 4062 0
Current children cumulated CPU time (s) 0.13
Current children cumulated vsize (KiB) 19360
[startup+0.327232 s]
/proc/loadavg: 0.92 0.98 0.99 2/93 5516
/proc/meminfo: memFree=1534620/2074464 swapFree=1949056/1959888
[pid=5516] ppid=5514 vsize=2412 CPUtime=0
/proc/5516/stat : 5516 (SatELiteGTI) S 5514 5516 14060 0 -1 4194304 367 645 0 0 0 0 0 0 18 0 1 0 1008332740 2469888 276 4294967295 134512640 135169312 3219130704 3219129240 3085045486 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/5516/statm: 603 276 235 161 0 42 0
[pid=5520] ppid=5516 vsize=20776 CPUtime=0.33
/proc/5520/stat : 5520 (SatELite_releas) R 5516 5516 14060 0 -1 4202496 4569 0 0 0 31 2 0 0 18 0 1 0 1008332740 21274624 4081 4294967295 134512640 135223648 3213886528 3213884528 134548915 0 0 0 3 0 0 0 17 0 0 0 0
/proc/5520/statm: 5194 4081 73 174 0 5019 0
Current children cumulated CPU time (s) 0.33
Current children cumulated vsize (KiB) 23188
[startup+0.727183 s]
/proc/loadavg: 0.92 0.98 0.99 2/93 5516
/proc/meminfo: memFree=1534620/2074464 swapFree=1949056/1959888
[pid=5516] ppid=5514 vsize=2412 CPUtime=0
/proc/5516/stat : 5516 (SatELiteGTI) S 5514 5516 14060 0 -1 4194304 367 645 0 0 0 0 0 0 18 0 1 0 1008332740 2469888 276 4294967295 134512640 135169312 3219130704 3219129240 3085045486 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/5516/statm: 603 276 235 161 0 42 0
[pid=5520] ppid=5516 vsize=23320 CPUtime=0.73
/proc/5520/stat : 5520 (SatELite_releas) R 5516 5516 14060 0 -1 4202496 5105 0 0 0 71 2 0 0 18 0 1 0 1008332740 23879680 4617 4294967295 134512640 135223648 3213886528 3213884880 134602031 0 0 0 3 0 0 0 17 0 0 0 0
/proc/5520/statm: 5830 4617 73 174 0 5655 0
Current children cumulated CPU time (s) 0.73
Current children cumulated vsize (KiB) 25732
[startup+1.52711 s]
/proc/loadavg: 0.92 0.98 0.99 2/95 5521
/proc/meminfo: memFree=1515640/2074464 swapFree=1949056/1959888
[pid=5516] ppid=5514 vsize=2416 CPUtime=1.45
/proc/5516/stat : 5516 (SatELiteGTI) S 5514 5516 14060 0 -1 4194304 386 6363 0 0 0 0 143 2 18 0 1 0 1008332740 2473984 277 4294967295 134512640 135169312 3219130704 3219126920 3085045486 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/5516/statm: 604 277 235 161 0 43 0
Current children cumulated CPU time (s) 1.45
Current children cumulated vsize (KiB) 2416
[startup+3.12698 s]
/proc/loadavg: 0.92 0.98 0.99 2/95 5522
/proc/meminfo: memFree=1523080/2074464 swapFree=1949056/1959888
[pid=5516] ppid=5514 vsize=2416 CPUtime=1.45
/proc/5516/stat : 5516 (SatELiteGTI) S 5514 5516 14060 0 -1 4194304 386 6363 0 0 0 0 143 2 18 0 1 0 1008332740 2473984 277 4294967295 134512640 135169312 3219130704 3219126920 3085045486 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/5516/statm: 604 277 235 161 0 43 0
[pid=5522] ppid=5516 vsize=9768 CPUtime=1.68
/proc/5522/stat : 5522 (minisat_static) R 5516 5516 14060 0 -1 4202496 2283 0 0 0 168 0 0 0 24 0 1 0 1008332885 10002432 2218 4294967295 134512640 135215339 3213245440 3213243728 134528682 0 0 0 3 0 0 0 17 1 0 0 0
/proc/5522/statm: 2442 2218 73 172 0 2269 0
Current children cumulated CPU time (s) 3.13
Current children cumulated vsize (KiB) 12184
[startup+6.3267 s]
/proc/loadavg: 0.93 0.98 0.99 2/95 5522
/proc/meminfo: memFree=1521128/2074464 swapFree=1949056/1959888
[pid=5516] ppid=5514 vsize=2416 CPUtime=1.45
/proc/5516/stat : 5516 (SatELiteGTI) S 5514 5516 14060 0 -1 4194304 386 6363 0 0 0 0 143 2 18 0 1 0 1008332740 2473984 277 4294967295 134512640 135169312 3219130704 3219126920 3085045486 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/5516/statm: 604 277 235 161 0 43 0
[pid=5522] ppid=5516 vsize=11500 CPUtime=4.86
/proc/5522/stat : 5522 (minisat_static) R 5516 5516 14060 0 -1 4202496 2737 0 0 0 485 1 0 0 25 0 1 0 1008332885 11776000 2672 4294967295 134512640 135215339 3213245440 3213243712 134525025 0 0 0 3 0 0 0 17 1 0 0 0
/proc/5522/statm: 2875 2672 73 172 0 2702 0
Current children cumulated CPU time (s) 6.31
Current children cumulated vsize (KiB) 13916
[startup+12.7261 s]
/proc/loadavg: 0.93 0.98 0.99 2/95 5523
/proc/meminfo: memFree=1517868/2074464 swapFree=1949056/1959888
[pid=5516] ppid=5514 vsize=2416 CPUtime=1.45
/proc/5516/stat : 5516 (SatELiteGTI) S 5514 5516 14060 0 -1 4194304 386 6363 0 0 0 0 143 2 18 0 1 0 1008332740 2473984 277 4294967295 134512640 135169312 3219130704 3219126920 3085045486 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/5516/statm: 604 277 235 161 0 43 0
[pid=5522] ppid=5516 vsize=14416 CPUtime=11.26
/proc/5522/stat : 5522 (minisat_static) R 5516 5516 14060 0 -1 4202496 3467 0 0 0 1125 1 0 0 25 0 1 0 1008332885 14761984 3402 4294967295 134512640 135215339 3213245440 3213243728 134528682 0 0 0 3 0 0 0 17 1 0 0 0
/proc/5522/statm: 3604 3402 73 172 0 3431 0
Current children cumulated CPU time (s) 12.71
Current children cumulated vsize (KiB) 16832
[startup+25.525 s]
/proc/loadavg: 0.95 0.98 0.99 2/95 5526
/proc/meminfo: memFree=1513096/2074464 swapFree=1949056/1959888
[pid=5516] ppid=5514 vsize=2416 CPUtime=1.45
/proc/5516/stat : 5516 (SatELiteGTI) S 5514 5516 14060 0 -1 4194304 386 6363 0 0 0 0 143 2 18 0 1 0 1008332740 2473984 277 4294967295 134512640 135169312 3219130704 3219126920 3085045486 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/5516/statm: 604 277 235 161 0 43 0
[pid=5522] ppid=5516 vsize=19676 CPUtime=24.05
/proc/5522/stat : 5522 (minisat_static) R 5516 5516 14060 0 -1 4202496 4753 0 0 0 2402 3 0 0 25 0 1 0 1008332885 20148224 4688 4294967295 134512640 135215339 3213245440 3213243728 134528682 0 0 0 3 0 0 0 17 0 0 0 0
/proc/5522/statm: 4919 4688 73 172 0 4746 0
Current children cumulated CPU time (s) 25.5
Current children cumulated vsize (KiB) 22092
[startup+51.1228 s]
/proc/loadavg: 0.96 0.98 0.99 2/95 5526
/proc/meminfo: memFree=1505836/2074464 swapFree=1949056/1959888
[pid=5516] ppid=5514 vsize=2416 CPUtime=1.45
/proc/5516/stat : 5516 (SatELiteGTI) S 5514 5516 14060 0 -1 4194304 386 6363 0 0 0 0 143 2 18 0 1 0 1008332740 2473984 277 4294967295 134512640 135169312 3219130704 3219126920 3085045486 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/5516/statm: 604 277 235 161 0 43 0
[pid=5522] ppid=5516 vsize=26816 CPUtime=49.65
/proc/5522/stat : 5522 (minisat_static) R 5516 5516 14060 0 -1 4202496 6553 0 0 0 4960 5 0 0 25 0 1 0 1008332885 27459584 6488 4294967295 134512640 135215339 3213245440 3213243728 134528682 0 0 0 3 0 0 0 17 0 0 0 0
/proc/5522/statm: 6704 6488 73 172 0 6531 0
Current children cumulated CPU time (s) 51.1
Current children cumulated vsize (KiB) 29232
[startup+102.318 s]
/proc/loadavg: 1.02 1.00 1.00 3/95 5715
/proc/meminfo: memFree=1493924/2074464 swapFree=1949056/1959888
[pid=5516] ppid=5514 vsize=2416 CPUtime=1.45
/proc/5516/stat : 5516 (SatELiteGTI) S 5514 5516 14060 0 -1 4194304 386 6363 0 0 0 0 143 2 18 0 1 0 1008332740 2473984 277 4294967295 134512640 135169312 3219130704 3219126920 3085045486 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/5516/statm: 604 277 235 161 0 43 0
[pid=5522] ppid=5516 vsize=38536 CPUtime=100.85
/proc/5522/stat : 5522 (minisat_static) R 5516 5516 14060 0 -1 4202496 9468 0 0 0 10077 8 0 0 25 0 1 0 1008332885 39460864 9403 4294967295 134512640 135215339 3213245440 3213243728 134528682 0 0 0 3 0 0 0 17 0 0 0 0
/proc/5522/statm: 9634 9403 73 172 0 9461 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 40952
[startup+162.313 s]
/proc/loadavg: 1.01 1.00 1.00 3/95 5901
/proc/meminfo: memFree=1481616/2074464 swapFree=1949056/1959888
[pid=5516] ppid=5514 vsize=2416 CPUtime=1.45
/proc/5516/stat : 5516 (SatELiteGTI) S 5514 5516 14060 0 -1 4194304 386 6363 0 0 0 0 143 2 18 0 1 0 1008332740 2473984 277 4294967295 134512640 135169312 3219130704 3219126920 3085045486 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/5516/statm: 604 277 235 161 0 43 0
[pid=5522] ppid=5516 vsize=50620 CPUtime=160.85
/proc/5522/stat : 5522 (minisat_static) R 5516 5516 14060 0 -1 4202496 12429 0 0 0 16072 13 0 0 25 0 1 0 1008332885 51834880 12364 4294967295 134512640 135215339 3213245440 3213243728 134528682 0 0 0 3 0 0 0 17 0 0 0 0
/proc/5522/statm: 12655 12364 73 172 0 12482 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 53036
[startup+222.318 s]
/proc/loadavg: 1.00 1.00 1.00 3/95 6089
/proc/meminfo: memFree=1472952/2074464 swapFree=1949056/1959888
[pid=5516] ppid=5514 vsize=2416 CPUtime=1.45
/proc/5516/stat : 5516 (SatELiteGTI) S 5514 5516 14060 0 -1 4194304 386 6363 0 0 0 0 143 2 18 0 1 0 1008332740 2473984 277 4294967295 134512640 135169312 3219130704 3219126920 3085045486 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/5516/statm: 604 277 235 161 0 43 0
[pid=5522] ppid=5516 vsize=59020 CPUtime=220.86
/proc/5522/stat : 5522 (minisat_static) R 5516 5516 14060 0 -1 4202496 14551 0 0 0 22068 18 0 0 25 0 1 0 1008332885 60436480 14486 4294967295 134512640 135215339 3213245440 3213243728 134528682 0 0 0 3 0 0 0 17 0 0 0 0
/proc/5522/statm: 14755 14486 73 172 0 14582 0
Current children cumulated CPU time (s) 222.31
Current children cumulated vsize (KiB) 61436
[startup+282.313 s]
/proc/loadavg: 1.00 1.00 1.00 3/95 6276
/proc/meminfo: memFree=1465296/2074464 swapFree=1949056/1959888
[pid=5516] ppid=5514 vsize=2416 CPUtime=1.45
/proc/5516/stat : 5516 (SatELiteGTI) S 5514 5516 14060 0 -1 4194304 386 6363 0 0 0 0 143 2 18 0 1 0 1008332740 2473984 277 4294967295 134512640 135169312 3219130704 3219126920 3085045486 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/5516/statm: 604 277 235 161 0 43 0
[pid=5522] ppid=5516 vsize=67592 CPUtime=280.86
/proc/5522/stat : 5522 (minisat_static) R 5516 5516 14060 0 -1 4202496 16609 0 0 0 28062 24 0 0 25 0 1 0 1008332885 69214208 16544 4294967295 134512640 135215339 3213245440 3213243712 134525016 0 0 0 3 0 0 0 17 0 0 0 0
/proc/5522/statm: 16898 16544 73 172 0 16725 0
Current children cumulated CPU time (s) 282.31
Current children cumulated vsize (KiB) 70008
[startup+342.318 s]
/proc/loadavg: 1.00 1.00 1.00 3/95 6467
/proc/meminfo: memFree=1457492/2074464 swapFree=1949056/1959888
[pid=5516] ppid=5514 vsize=2416 CPUtime=1.45
/proc/5516/stat : 5516 (SatELiteGTI) S 5514 5516 14060 0 -1 4194304 386 6363 0 0 0 0 143 2 18 0 1 0 1008332740 2473984 277 4294967295 134512640 135169312 3219130704 3219126920 3085045486 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/5516/statm: 604 277 235 161 0 43 0
[pid=5522] ppid=5516 vsize=75008 CPUtime=340.86
/proc/5522/stat : 5522 (minisat_static) R 5516 5516 14060 0 -1 4202496 18482 0 0 0 34057 29 0 0 25 0 1 0 1008332885 76808192 18417 4294967295 134512640 135215339 3213245440 3213243504 134538894 0 0 0 3 0 0 0 17 0 0 0 0
/proc/5522/statm: 18752 18417 73 172 0 18579 0
Current children cumulated CPU time (s) 342.31
Current children cumulated vsize (KiB) 77424
[startup+402.322 s]
################
# More data... #
################
[pid=5522] ppid=5516 vsize=80920 CPUtime=460.86
/proc/5522/stat : 5522 (minisat_static) R 5516 5516 14060 0 -1 4202496 19936 0 0 0 46053 33 0 0 25 0 1 0 1008332885 82862080 19871 4294967295 134512640 135215339 3213245440 3213243728 134528682 0 0 0 3 0 0 0 17 0 0 0 0
/proc/5522/statm: 20230 19871 73 172 0 20057 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 83336
[startup+522.312 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 7034
/proc/meminfo: memFree=1446904/2074464 swapFree=1949056/1959888
[pid=5516] ppid=5514 vsize=2416 CPUtime=1.45
/proc/5516/stat : 5516 (SatELiteGTI) S 5514 5516 14060 0 -1 4194304 386 6363 0 0 0 0 143 2 18 0 1 0 1008332740 2473984 277 4294967295 134512640 135169312 3219130704 3219126920 3085045486 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/5516/statm: 604 277 235 161 0 43 0
[pid=5522] ppid=5516 vsize=85916 CPUtime=520.87
/proc/5522/stat : 5522 (minisat_static) R 5516 5516 14060 0 -1 4202496 21205 0 0 0 52053 34 0 0 25 0 1 0 1008332885 87977984 21140 4294967295 134512640 135215339 3213245440 3213243728 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/5522/statm: 21479 21140 73 172 0 21306 0
Current children cumulated CPU time (s) 522.32
Current children cumulated vsize (KiB) 88332
[startup+582.307 s]
/proc/loadavg: 1.00 1.00 1.00 3/95 7221
/proc/meminfo: memFree=1442920/2074464 swapFree=1949056/1959888
[pid=5516] ppid=5514 vsize=2416 CPUtime=1.45
/proc/5516/stat : 5516 (SatELiteGTI) S 5514 5516 14060 0 -1 4194304 386 6363 0 0 0 0 143 2 18 0 1 0 1008332740 2473984 277 4294967295 134512640 135169312 3219130704 3219126920 3085045486 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/5516/statm: 604 277 235 161 0 43 0
[pid=5522] ppid=5516 vsize=89696 CPUtime=580.87
/proc/5522/stat : 5522 (minisat_static) R 5516 5516 14060 0 -1 4202496 22147 0 0 0 58052 35 0 0 25 0 1 0 1008332885 91848704 22082 4294967295 134512640 135215339 3213245440 3213243728 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/5522/statm: 22424 22082 73 172 0 22251 0
Current children cumulated CPU time (s) 582.32
Current children cumulated vsize (KiB) 92112
[startup+642.312 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 7410
/proc/meminfo: memFree=1442556/2074464 swapFree=1949056/1959888
[pid=5516] ppid=5514 vsize=2416 CPUtime=1.45
/proc/5516/stat : 5516 (SatELiteGTI) S 5514 5516 14060 0 -1 4194304 386 6363 0 0 0 0 143 2 18 0 1 0 1008332740 2473984 277 4294967295 134512640 135169312 3219130704 3219126920 3085045486 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/5516/statm: 604 277 235 161 0 43 0
[pid=5522] ppid=5516 vsize=90160 CPUtime=640.88
/proc/5522/stat : 5522 (minisat_static) R 5516 5516 14060 0 -1 4202496 22252 0 0 0 64053 35 0 0 25 0 1 0 1008332885 92323840 22187 4294967295 134512640 135215339 3213245440 3213243728 134528814 0 0 0 3 0 0 0 17 2 0 0 0
/proc/5522/statm: 22540 22187 73 172 0 22367 0
Current children cumulated CPU time (s) 642.33
Current children cumulated vsize (KiB) 92576
[startup+702.317 s]
/proc/loadavg: 1.00 1.00 1.00 3/95 7599
/proc/meminfo: memFree=1440192/2074464 swapFree=1949056/1959888
[pid=5516] ppid=5514 vsize=2416 CPUtime=1.45
/proc/5516/stat : 5516 (SatELiteGTI) S 5514 5516 14060 0 -1 4194304 386 6363 0 0 0 0 143 2 18 0 1 0 1008332740 2473984 277 4294967295 134512640 135169312 3219130704 3219126920 3085045486 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/5516/statm: 604 277 235 161 0 43 0
[pid=5522] ppid=5516 vsize=93204 CPUtime=700.89
/proc/5522/stat : 5522 (minisat_static) R 5516 5516 14060 0 -1 4202496 22843 0 0 0 70053 36 0 0 25 0 1 0 1008332885 95440896 22778 4294967295 134512640 135215339 3213245440 3213243728 134528884 0 0 0 3 0 0 0 17 2 0 0 0
/proc/5522/statm: 23301 22778 73 172 0 23128 0
Current children cumulated CPU time (s) 702.34
Current children cumulated vsize (KiB) 95620
[startup+762.321 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 7789
/proc/meminfo: memFree=1437092/2074464 swapFree=1949056/1959888
[pid=5516] ppid=5514 vsize=2416 CPUtime=1.45
/proc/5516/stat : 5516 (SatELiteGTI) S 5514 5516 14060 0 -1 4194304 386 6363 0 0 0 0 143 2 18 0 1 0 1008332740 2473984 277 4294967295 134512640 135169312 3219130704 3219126920 3085045486 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/5516/statm: 604 277 235 161 0 43 0
[pid=5522] ppid=5516 vsize=95904 CPUtime=760.9
/proc/5522/stat : 5522 (minisat_static) R 5516 5516 14060 0 -1 4202496 23532 0 0 0 76054 36 0 0 25 0 1 0 1008332885 98205696 23467 4294967295 134512640 135215339 3213245440 3213243728 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/5522/statm: 23976 23467 73 172 0 23803 0
Current children cumulated CPU time (s) 762.35
Current children cumulated vsize (KiB) 98320
[startup+822.316 s]
/proc/loadavg: 1.00 1.00 1.00 3/95 7977
/proc/meminfo: memFree=1436728/2074464 swapFree=1949056/1959888
[pid=5516] ppid=5514 vsize=2416 CPUtime=1.45
/proc/5516/stat : 5516 (SatELiteGTI) S 5514 5516 14060 0 -1 4194304 386 6363 0 0 0 0 143 2 18 0 1 0 1008332740 2473984 277 4294967295 134512640 135169312 3219130704 3219126920 3085045486 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/5516/statm: 604 277 235 161 0 43 0
[pid=5522] ppid=5516 vsize=96240 CPUtime=820.9
/proc/5522/stat : 5522 (minisat_static) R 5516 5516 14060 0 -1 4202496 23622 0 0 0 82053 37 0 0 25 0 1 0 1008332885 98549760 23557 4294967295 134512640 135215339 3213245440 3213243728 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/5522/statm: 24060 23557 73 172 0 23887 0
Current children cumulated CPU time (s) 822.35
Current children cumulated vsize (KiB) 98656
[startup+882.321 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 8164
/proc/meminfo: memFree=1429784/2074464 swapFree=1949056/1959888
[pid=5516] ppid=5514 vsize=2416 CPUtime=1.45
/proc/5516/stat : 5516 (SatELiteGTI) S 5514 5516 14060 0 -1 4194304 386 6363 0 0 0 0 143 2 18 0 1 0 1008332740 2473984 277 4294967295 134512640 135169312 3219130704 3219126920 3085045486 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/5516/statm: 604 277 235 161 0 43 0
[pid=5522] ppid=5516 vsize=103456 CPUtime=880.91
/proc/5522/stat : 5522 (minisat_static) R 5516 5516 14060 0 -1 4202496 25424 0 0 0 88054 37 0 0 25 0 1 0 1008332885 105938944 25359 4294967295 134512640 135215339 3213245440 3213243728 134528592 0 0 0 3 0 0 0 17 2 0 0 0
/proc/5522/statm: 25864 25359 73 172 0 25691 0
Current children cumulated CPU time (s) 882.36
Current children cumulated vsize (KiB) 105872
[startup+942.316 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 8353
/proc/meminfo: memFree=1426560/2074464 swapFree=1949056/1959888
[pid=5516] ppid=5514 vsize=2416 CPUtime=1.45
/proc/5516/stat : 5516 (SatELiteGTI) S 5514 5516 14060 0 -1 4194304 386 6363 0 0 0 0 143 2 18 0 1 0 1008332740 2473984 277 4294967295 134512640 135169312 3219130704 3219126920 3085045486 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/5516/statm: 604 277 235 161 0 43 0
[pid=5522] ppid=5516 vsize=106240 CPUtime=940.9
/proc/5522/stat : 5522 (minisat_static) R 5516 5516 14060 0 -1 4202496 26134 0 0 0 94053 37 0 0 25 0 1 0 1008332885 108789760 26069 4294967295 134512640 135215339 3213245440 3213243728 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/5522/statm: 26560 26069 73 172 0 26387 0
Current children cumulated CPU time (s) 942.35
Current children cumulated vsize (KiB) 108656
[startup+1002.32 s]
/proc/loadavg: 1.00 1.00 1.00 3/95 8542
/proc/meminfo: memFree=1426444/2074464 swapFree=1949056/1959888
[pid=5516] ppid=5514 vsize=2416 CPUtime=1.45
/proc/5516/stat : 5516 (SatELiteGTI) S 5514 5516 14060 0 -1 4194304 386 6363 0 0 0 0 143 2 18 0 1 0 1008332740 2473984 277 4294967295 134512640 135169312 3219130704 3219126920 3085045486 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/5516/statm: 604 277 235 161 0 43 0
[pid=5522] ppid=5516 vsize=106564 CPUtime=1000.91
/proc/5522/stat : 5522 (minisat_static) R 5516 5516 14060 0 -1 4202496 26202 0 0 0 100054 37 0 0 25 0 1 0 1008332885 109121536 26137 4294967295 134512640 135215339 3213245440 3213243728 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/5522/statm: 26641 26137 73 172 0 26468 0
Current children cumulated CPU time (s) 1002.36
Current children cumulated vsize (KiB) 108980
[startup+1062.32 s]
/proc/loadavg: 1.09 1.03 1.01 2/95 8728
/proc/meminfo: memFree=1426064/2074464 swapFree=1949056/1959888
[pid=5516] ppid=5514 vsize=2416 CPUtime=1.45
/proc/5516/stat : 5516 (SatELiteGTI) S 5514 5516 14060 0 -1 4194304 386 6363 0 0 0 0 143 2 18 0 1 0 1008332740 2473984 277 4294967295 134512640 135169312 3219130704 3219126920 3085045486 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/5516/statm: 604 277 235 161 0 43 0
[pid=5522] ppid=5516 vsize=107028 CPUtime=1060.91
/proc/5522/stat : 5522 (minisat_static) R 5516 5516 14060 0 -1 4202496 26306 0 0 0 106054 37 0 0 25 0 1 0 1008332885 109596672 26241 4294967295 134512640 135215339 3213245440 3213243728 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/5522/statm: 26757 26241 73 172 0 26584 0
Current children cumulated CPU time (s) 1062.36
Current children cumulated vsize (KiB) 109444
[startup+1122.32 s]
/proc/loadavg: 1.07 1.03 1.01 2/95 8920
/proc/meminfo: memFree=1421856/2074464 swapFree=1949056/1959888
[pid=5516] ppid=5514 vsize=2416 CPUtime=1.45
/proc/5516/stat : 5516 (SatELiteGTI) S 5514 5516 14060 0 -1 4194304 386 6363 0 0 0 0 143 2 18 0 1 0 1008332740 2473984 277 4294967295 134512640 135169312 3219130704 3219126920 3085045486 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/5516/statm: 604 277 235 161 0 43 0
[pid=5522] ppid=5516 vsize=110884 CPUtime=1120.92
/proc/5522/stat : 5522 (minisat_static) R 5516 5516 14060 0 -1 4202496 27257 0 0 0 112053 39 0 0 25 0 1 0 1008332885 113545216 27192 4294967295 134512640 135215339 3213245440 3213243728 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/5522/statm: 27721 27192 73 172 0 27548 0
Current children cumulated CPU time (s) 1122.37
Current children cumulated vsize (KiB) 113300
[startup+1182.32 s]
/proc/loadavg: 1.02 1.03 1.00 2/95 9107
/proc/meminfo: memFree=1421244/2074464 swapFree=1949056/1959888
[pid=5516] ppid=5514 vsize=2416 CPUtime=1.45
/proc/5516/stat : 5516 (SatELiteGTI) S 5514 5516 14060 0 -1 4194304 386 6363 0 0 0 0 143 2 18 0 1 0 1008332740 2473984 277 4294967295 134512640 135169312 3219130704 3219126920 3085045486 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/5516/statm: 604 277 235 161 0 43 0
[pid=5522] ppid=5516 vsize=111940 CPUtime=1180.92
/proc/5522/stat : 5522 (minisat_static) R 5516 5516 14060 0 -1 4202496 27513 0 0 0 118053 39 0 0 25 0 1 0 1008332885 114626560 27448 4294967295 134512640 135215339 3213245440 3213243728 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/5522/statm: 27985 27448 73 172 0 27812 0
Current children cumulated CPU time (s) 1182.37
Current children cumulated vsize (KiB) 114356
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1200.01 s]
/proc/loadavg: 1.02 1.02 1.00 2/95 9292
/proc/meminfo: memFree=1420936/2074464 swapFree=1949056/1959888
[pid=5516] ppid=5514 vsize=2416 CPUtime=1.45
/proc/5516/stat : 5516 (SatELiteGTI) S 5514 5516 14060 0 -1 4194304 386 6363 0 0 0 0 143 2 18 0 1 0 1008332740 2473984 277 4294967295 134512640 135169312 3219130704 3219126920 3085045486 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/5516/statm: 604 277 235 161 0 43 0
[pid=5522] ppid=5516 vsize=112112 CPUtime=1198.62
/proc/5522/stat : 5522 (minisat_static) R 5516 5516 14060 0 -1 4202496 27527 0 0 0 119823 39 0 0 25 0 1 0 1008332885 114802688 27462 4294967295 134512640 135215339 3213245440 3213243728 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/5522/statm: 28028 27462 73 172 0 27855 0
Current children cumulated CPU time (s) 1200.07
Current children cumulated vsize (KiB) 114528
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1200.03
CPU time (s): 1200.08
CPU user time (s): 1199.66
CPU system time (s): 0.42
CPU usage (%): 100.004
Max. virtual memory (cumulated for all children) (KiB): 114528
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1199.66
system time used= 0.42
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 34367
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= 21
involuntary context switches= 3402
runsolver used 0.03 second user time and 0.02 second system time
The end
Begin job on tipi27 at 2009-05-16 03:45:56
IDJOB=1820398
IDBENCH=20390
IDSOLVER=657
FILE ID=tipi27/1820398-1242438356
PBS_JOBID=
Free space on /tmp= 9987 MiB
SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT07/industrial/fuhs/medium/AProVE07-09.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= runsolver --timestamp -w /tmp/evaluation-result-1820398-1242438356/watcher-1820398-1242438356 -o /tmp/evaluation-result-1820398-1242438356/solver-1820398-1242438356 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1820398-1242438356.cnf
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 50ed98553825ac1825482c1496260592
RANDOM SEED= 1043770643
Linux tipi27 2.6.18 #19 SMP Tue Jun 19 11:27:27 CEST 2007 i686 GNU/Linux
/proc/cpuinfo:
processor : 0
vendor_id : AuthenticAMD
cpu family : 15
model : 33
model name : Dual Core AMD Opteron(tm) Processor 265
stepping : 2
cpu MHz : 1808.389
cache size : 1024 KB
physical id : 0
siblings : 2
core id : 0
cpu cores : 2
fdiv_bug : no
hlt_bug : no
f00f_bug : no
coma_bug : no
fpu : yes
fpu_exception : yes
cpuid level : 1
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt lm 3dnowext 3dnow pni lahf_lm cmp_legacy ts fid vid ttp
bogomips : 3618.40
processor : 1
vendor_id : AuthenticAMD
cpu family : 15
model : 33
model name : Dual Core AMD Opteron(tm) Processor 265
stepping : 2
cpu MHz : 1808.389
cache size : 1024 KB
physical id : 0
siblings : 2
core id : 1
cpu cores : 2
fdiv_bug : no
hlt_bug : no
f00f_bug : no
coma_bug : no
fpu : yes
fpu_exception : yes
cpuid level : 1
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt lm 3dnowext 3dnow pni lahf_lm cmp_legacy ts fid vid ttp
bogomips : 3616.79
processor : 2
vendor_id : AuthenticAMD
cpu family : 15
model : 33
model name : Dual Core AMD Opteron(tm) Processor 265
stepping : 2
cpu MHz : 1808.389
cache size : 1024 KB
physical id : 1
siblings : 2
core id : 0
cpu cores : 2
fdiv_bug : no
hlt_bug : no
f00f_bug : no
coma_bug : no
fpu : yes
fpu_exception : yes
cpuid level : 1
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt lm 3dnowext 3dnow pni lahf_lm cmp_legacy ts fid vid ttp
bogomips : 3616.77
processor : 3
vendor_id : AuthenticAMD
cpu family : 15
model : 33
model name : Dual Core AMD Opteron(tm) Processor 265
stepping : 2
cpu MHz : 1808.389
cache size : 1024 KB
physical id : 1
siblings : 2
core id : 1
cpu cores : 2
fdiv_bug : no
hlt_bug : no
f00f_bug : no
coma_bug : no
fpu : yes
fpu_exception : yes
cpuid level : 1
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt lm 3dnowext 3dnow pni lahf_lm cmp_legacy ts fid vid ttp
bogomips : 3616.78
/proc/meminfo:
MemTotal: 2074464 kB
MemFree: 1534636 kB
Buffers: 26416 kB
Cached: 426608 kB
SwapCached: 5508 kB
Active: 328656 kB
Inactive: 134124 kB
HighTotal: 1178688 kB
HighFree: 772624 kB
LowTotal: 895776 kB
LowFree: 762012 kB
SwapTotal: 1959888 kB
SwapFree: 1949056 kB
Dirty: 4480 kB
Writeback: 0 kB
AnonPages: 9048 kB
Mapped: 3368 kB
Slab: 67732 kB
PageTables: 616 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 2997120 kB
Committed_AS: 90628 kB
VmallocTotal: 114680 kB
VmallocUsed: 1324 kB
VmallocChunk: 113264 kB
Free space on /tmp at the end= 9985 MiB
End job on tipi27 at 2009-05-16 04:05:58