0.00/0.00 c Parsing...
0.00/0.11 c ==============================================================================
0.00/0.11 c | | ORIGINAL | LEARNT | |
0.00/0.11 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress |
0.00/0.11 c ==============================================================================
0.00/0.11 c | 0 | 135474 356036 | 40642 0 0 nan | 0.000 % |
1.09/1.12 c | 0 | 114078 411814 | -- 0 -- -- | -- | -21277/56123
1.09/1.12 c ==============================================================================
1.09/1.12 c Result : #vars: 18800 #clauses: 114078 #literals: 411814
1.09/1.12 c CPU time: 1.07984 s
1.09/1.12 c ==============================================================================
1.18/1.25 c This is MiniSat 2.0 beta
1.18/1.25 c WARNING: for repeatability, setting FPU to use double precision
1.18/1.25 c ============================[ Problem Statistics ]=============================
1.18/1.25 c | |
1.18/1.26 c | Number of variables: 18800 |
1.18/1.26 c | Number of clauses: 114078 |
1.24/1.33 c | Parsing time: 0.07 s |
1.24/1.33 c ============================[ Search Statistics ]==============================
1.24/1.33 c | Conflicts | ORIGINAL | LEARNT | Progress |
1.24/1.33 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
1.24/1.33 c ===============================================================================
1.24/1.33 c | 0 | 18800 114078 411814 | 38026 0 nan | 0.000 % |
1.24/1.37 c | 100 | 18787 114078 411814 | 38026 98 18 | 0.532 % |
1.24/1.40 c | 201 | 18787 114078 411814 | 38026 199 29 | 0.532 % |
1.24/1.41 c | 304 | 18787 114078 411814 | 38026 302 39 | 0.532 % |
1.24/1.44 c | 414 | 18787 114078 411814 | 38026 412 38 | 0.532 % |
1.24/1.46 c | 514 | 18787 114078 411814 | 38026 512 36 | 0.532 % |
1.24/1.48 c | 625 | 18787 114078 411814 | 38026 623 37 | 0.532 % |
1.24/1.50 c | 748 | 18787 114078 411814 | 38026 746 36 | 0.532 % |
1.24/1.54 c | 848 | 18700 113242 409528 | 38026 846 35 | 0.532 % |
1.24/1.56 c | 960 | 18700 113242 409528 | 38026 958 35 | 0.532 % |
1.24/1.60 c | 1081 | 18700 113242 409528 | 38026 1079 35 | 0.532 % |
1.24/1.62 c | 1215 | 18700 113242 409528 | 38026 1213 35 | 0.532 % |
1.24/1.63 c | 1315 | 18700 113242 409528 | 38026 1313 34 | 0.532 % |
1.24/1.67 c | 1427 | 18700 113242 409528 | 38026 1425 35 | 0.532 % |
1.24/1.70 c | 1550 | 18700 113242 409528 | 38026 1548 34 | 0.532 % |
1.24/1.72 c | 1684 | 18700 113242 409528 | 38026 1682 34 | 0.532 % |
1.24/1.75 c | 1832 | 18689 113136 409201 | 38026 1829 34 | 0.590 % |
1.24/1.79 c | 1932 | 18689 113136 409201 | 38026 1929 35 | 0.590 % |
1.24/1.82 c | 2043 | 18689 113136 409201 | 38026 2040 36 | 0.590 % |
1.24/1.83 c | 2165 | 18686 113136 409201 | 38026 2161 34 | 0.649 % |
1.24/1.87 c | 2298 | 18686 113136 409201 | 38026 2294 35 | 0.649 % |
1.24/1.89 c | 2444 | 18686 113136 409201 | 38026 2440 35 | 0.649 % |
1.24/1.94 c | 2607 | 18686 113136 409201 | 38026 2603 36 | 0.649 % |
1.24/1.96 c | 2707 | 18678 113029 408850 | 38026 2703 36 | 0.649 % |
1.24/2.00 c | 2819 | 18678 113029 408850 | 38026 2815 35 | 0.649 % |
1.24/2.03 c | 2940 | 18678 113029 408850 | 38026 2936 36 | 0.649 % |
1.24/2.08 c | 3073 | 18678 113029 408850 | 38026 3069 37 | 0.649 % |
2.07/2.13 c | 3219 | 18678 113029 408850 | 38026 3215 38 | 0.649 % |
2.07/2.17 c | 3379 | 18678 113029 408850 | 38026 3375 38 | 0.649 % |
2.18/2.21 c | 3555 | 18678 113029 408850 | 38026 3551 38 | 0.649 % |
2.18/2.25 c | 3658 | 18678 113029 408850 | 38026 3654 38 | 0.649 % |
2.27/2.34 c | 3768 | 18678 113029 408850 | 38026 3764 38 | 0.649 % |
2.27/2.37 c | 3889 | 18678 113029 408850 | 38026 3885 37 | 0.649 % |
2.37/2.40 c | 4023 | 18678 113029 408850 | 38026 4019 37 | 0.649 % |
2.37/2.46 c | 4169 | 18678 113029 408850 | 38026 4165 38 | 0.649 % |
2.47/2.51 c | 4330 | 18678 113029 408850 | 38026 4326 37 | 0.649 % |
2.47/2.57 c | 4506 | 18678 113029 408850 | 38026 4502 37 | 0.649 % |
2.57/2.60 c | 4699 | 18678 113029 408850 | 38026 4695 38 | 0.649 % |
2.57/2.64 c | 4799 | 18678 113029 408850 | 38026 4795 39 | 0.649 % |
2.57/2.65 c | 4909 | 18678 113029 408850 | 38026 4905 39 | 0.649 % |
2.57/2.67 c | 5030 | 18678 113029 408850 | 38026 5026 38 | 0.649 % |
2.67/2.72 c | 5164 | 18678 113029 408850 | 38026 5160 39 | 0.649 % |
2.67/2.79 c | 5310 | 18669 112979 408704 | 38026 5305 39 | 0.697 % |
2.77/2.87 c | 5470 | 18669 112979 408704 | 38026 5465 39 | 0.697 % |
2.87/2.95 c | 5647 | 18669 112979 408704 | 38026 5642 41 | 0.697 % |
2.87/2.99 c | 5841 | 18669 112979 408704 | 38026 5836 42 | 0.697 % |
2.97/3.04 c | 6057 | 18669 112979 408704 | 38026 6052 42 | 0.697 % |
2.97/3.08 c | 6157 | 18669 112979 408704 | 38026 6152 42 | 0.697 % |
2.97/3.10 c | 6267 | 18669 112979 408704 | 38026 6262 41 | 0.697 % |
3.07/3.14 c | 6388 | 18669 112979 408704 | 38026 6383 41 | 0.697 % |
3.07/3.19 c | 6521 | 18669 112979 408704 | 38026 6516 41 | 0.697 % |
3.17/3.25 c | 6669 | 18669 112979 408704 | 38026 6664 41 | 0.697 % |
3.17/3.28 c | 6830 | 18669 112979 408704 | 38026 6825 41 | 0.697 % |
3.27/3.30 c | 7007 | 18669 112979 408704 | 38026 7002 41 | 0.697 % |
3.27/3.33 c | 7202 | 18669 112979 408704 | 38026 7197 40 | 0.697 % |
3.27/3.36 c | 7414 | 18669 112979 408704 | 38026 7409 40 | 0.697 % |
3.37/3.45 c | 7649 | 18669 112979 408704 | 38026 7644 40 | 0.697 % |
3.37/3.46 c | 7749 | 18669 112979 408704 | 38026 7744 40 | 0.697 % |
3.47/3.51 c | 7859 | 18669 112979 408704 | 38026 7854 40 | 0.697 % |
3.47/3.55 c | 7980 | 18669 112979 408704 | 38026 7975 40 | 0.697 % |
3.57/3.61 c | 8114 | 18669 112979 408704 | 38026 8109 40 | 0.697 % |
3.57/3.63 c | 8261 | 18669 112979 408704 | 38026 8256 40 | 0.697 % |
3.57/3.67 c | 8422 | 18669 112979 408704 | 38026 8417 40 | 0.697 % |
3.67/3.72 c | 8598 | 18669 112979 408704 | 38026 8593 41 | 0.697 % |
3.67/3.78 c | 8793 | 18669 112979 408704 | 38026 8788 40 | 0.697 % |
3.77/3.85 c | 9006 | 18669 112979 408704 | 38026 9001 40 | 0.697 % |
3.77/3.88 c | 9239 | 18669 112979 408704 | 38026 9234 40 | 0.697 % |
3.97/4.03 c | 9495 | 18669 112979 408704 | 38026 9490 40 | 0.697 % |
3.97/4.07 c | 9595 | 18669 112979 408704 | 38026 9590 40 | 0.697 % |
4.07/4.11 c | 9708 | 18669 112979 408704 | 38026 9703 40 | 0.697 % |
4.07/4.15 c | 9829 | 18669 112979 408704 | 38026 9824 40 | 0.697 % |
4.07/4.18 c | 9965 | 18669 112979 408704 | 38026 9960 40 | 0.697 % |
4.17/4.24 c | 10112 | 18669 112979 408704 | 2147483647 10107 40 | 0.697 % |
4.27/4.31 c | 10274 | 18669 112979 408704 | 2147483647 10269 40 | 0.697 % |
4.27/4.38 c | 10450 | 18669 112979 408704 | 2147483647 10445 39 | 0.697 % |
4.37/4.46 c | 10643 | 18669 112979 408704 | 2147483647 10638 39 | 0.697 % |
4.47/4.55 c | 10857 | 18669 112979 408704 | 2147483647 10852 39 | 0.697 % |
4.47/4.60 c | 11090 | 18669 112979 408704 | 2147483647 11085 40 | 0.697 % |
4.66/4.71 c | 11346 | 18669 112979 408704 | 2147483647 11341 40 | 0.697 % |
4.76/4.84 c | 11627 | 18574 112387 407267 | 2147483647 11621 41 | 1.202 % |
4.76/4.88 c | 11727 | 18574 112387 407267 | 2147483647 11721 41 | 1.202 % |
4.87/4.92 c | 11838 | 18574 112387 407267 | 2147483647 11832 43 | 1.202 % |
4.87/4.97 c | 11959 | 18574 112387 407267 | 2147483647 11953 43 | 1.202 % |
4.97/5.01 c | 12093 | 18574 112387 407267 | 2147483647 12087 43 | 1.202 % |
4.97/5.04 c | 12239 | 18574 112387 407267 | 2147483647 12233 43 | 1.202 % |
5.07/5.14 c | 12399 | 18574 112387 407267 | 2147483647 12393 42 | 1.203 % |
5.17/5.20 c | 12577 | 18574 112387 407267 | 2147483647 12571 42 | 1.202 % |
5.17/5.28 c | 12771 | 18574 112387 407267 | 2147483647 12765 43 | 1.203 % |
5.37/5.42 c | 12983 | 18574 112387 407267 | 2147483647 12977 43 | 1.202 % |
5.37/5.50 c | 13217 | 18574 112387 407267 | 2147483647 13211 43 | 1.202 % |
5.47/5.57 c | 13474 | 18574 112387 407267 | 2147483647 13468 43 | 1.202 % |
5.57/5.66 c | 13755 | 18574 112387 407267 | 2147483647 13749 43 | 1.203 % |
5.67/5.77 c | 14065 | 18574 112387 407267 | 2147483647 14059 43 | 1.202 % |
5.67/5.79 c | 14165 | 18574 112387 407267 | 2147483647 14159 44 | 1.202 % |
5.77/5.85 c | 14276 | 18574 112387 407267 | 2147483647 14270 44 | 1.202 % |
5.87/5.92 c | 14397 | 18574 112387 407267 | 2147483647 14391 44 | 1.202 % |
5.87/5.96 c | 14530 | 18574 112387 407267 | 2147483647 14524 44 | 1.202 % |
5.97/6.02 c | 14677 | 18555 112256 406921 | 2147483647 14670 44 | 1.303 % |
6.07/6.12 c | 14837 | 18555 112256 406921 | 2147483647 14830 44 | 1.303 % |
6.07/6.19 c | 15016 | 18555 112256 406921 | 2147483647 15009 44 | 1.303 % |
6.17/6.28 c | 15213 | 18555 112256 406921 | 2147483647 15206 44 | 1.303 % |
6.27/6.39 c | 15425 | 18555 112256 406921 | 2147483647 15418 44 | 1.303 % |
6.37/6.49 c | 15659 | 18555 112256 406921 | 2147483647 15652 44 | 1.303 % |
6.57/6.64 c | 15916 | 18536 112125 406575 | 2147483647 15908 44 | 1.404 % |
6.67/6.78 c | 16197 | 18536 112125 406575 | 2147483647 16189 45 | 1.404 % |
6.77/6.88 c | 16506 | 18536 112125 406575 | 2147483647 16498 45 | 1.404 % |
6.87/6.97 c | 16846 | 18536 112125 406575 | 2147483647 16838 46 | 1.405 % |
6.97/7.03 c | 16946 | 18536 112125 406575 | 2147483647 16938 46 | 1.404 % |
6.97/7.06 c | 17058 | 18536 112125 406575 | 2147483647 17050 46 | 1.405 % |
7.07/7.12 c | 17180 | 18536 112125 406575 | 2147483647 17172 46 | 1.404 % |
7.07/7.17 c | 17316 | 18536 112125 406575 | 2147483647 17308 46 | 1.404 % |
7.17/7.23 c | 17463 | 18536 112125 406575 | 2147483647 17455 46 | 1.404 % |
7.17/7.28 c | 17623 | 18536 112125 406575 | 2147483647 17615 46 | 1.404 % |
7.27/7.38 c | 17800 | 18536 112125 406575 | 2147483647 17792 46 | 1.404 % |
7.37/7.47 c | 17994 | 18536 112125 406575 | 2147483647 17986 46 | 1.404 % |
7.47/7.53 c | 18209 | 18536 112125 406575 | 2147483647 18201 46 | 1.404 % |
7.47/7.60 c | 18442 | 18536 112125 406575 | 2147483647 18434 46 | 1.404 % |
7.67/7.71 c | 18699 | 18536 112125 406575 | 2147483647 18691 46 | 1.404 % |
7.77/7.82 c | 18980 | 18536 112125 406575 | 2147483647 18972 46 | 1.404 % |
7.87/7.99 c | 19290 | 18536 112125 406575 | 2147483647 19282 47 | 1.404 % |
8.07/8.14 c | 19629 | 18536 112125 406575 | 2147483647 19621 47 | 1.404 % |
8.17/8.26 c | 20001 | 18536 112125 406575 | 2147483647 19993 46 | 1.405 % |
8.17/8.29 c | 20101 | 18536 112125 406575 | 2147483647 20093 46 | 1.404 % |
8.27/8.34 c | 20212 | 18536 112125 406575 | 2147483647 20204 46 | 1.405 % |
8.37/8.41 c | 20334 | 18536 112125 406575 | 2147483647 20326 46 | 1.405 % |
8.37/8.46 c | 20468 | 18536 112125 406575 | 2147483647 20460 46 | 1.404 % |
8.46/8.50 c | 20614 | 18536 112125 406575 | 2147483647 20606 46 | 1.404 % |
8.46/8.55 c | 20775 | 18536 112125 406575 | 2147483647 20767 46 | 1.404 % |
8.46/8.60 c | 20951 | 18536 112125 406575 | 2147483647 20943 46 | 1.404 % |
8.56/8.69 c | 21144 | 18536 112125 406575 | 2147483647 21136 46 | 1.404 % |
8.67/8.76 c | 21357 | 18536 112125 406575 | 2147483647 21349 46 | 1.404 % |
8.86/8.90 c | 21595 | 18536 112125 406575 | 2147483647 21587 46 | 1.404 % |
8.96/9.02 c | 21851 | 18536 112125 406575 | 2147483647 21843 46 | 1.404 % |
9.06/9.15 c | 22132 | 18536 112125 406575 | 2147483647 22124 46 | 1.404 % |
9.16/9.26 c | 22442 | 18536 112125 406575 | 2147483647 22434 46 | 1.404 % |
9.26/9.32 c | 22782 | 18536 112125 406575 | 2147483647 22774 46 | 1.404 % |
9.36/9.48 c | 23154 | 18536 112125 406575 | 2147483647 23146 46 | 1.404 % |
9.56/9.67 c | 23563 | 18536 112125 406575 | 2147483647 23555 46 | 1.404 % |
9.66/9.71 c | 23666 | 18536 112125 406575 | 2147483647 23658 46 | 1.404 % |
9.66/9.77 c | 23776 | 18536 112125 406575 | 2147483647 23768 46 | 1.404 % |
9.77/9.82 c | 23898 | 18536 112125 406575 | 2147483647 23890 46 | 1.404 % |
9.87/9.90 c | 24032 | 18536 112125 406575 | 2147483647 24024 46 | 1.405 % |
9.87/9.98 c | 24178 | 18536 112125 406575 | 2147483647 24170 46 | 1.404 % |
9.96/10.03 c | 24338 | 18536 112125 406575 | 2147483647 24330 45 | 1.404 % |
9.96/10.09 c | 24514 | 18536 112125 406575 | 2147483647 24506 45 | 1.404 % |
10.06/10.18 c | 24707 | 18536 112125 406575 | 2147483647 24699 45 | 1.404 % |
10.16/10.29 c | 24920 | 18536 112125 406575 | 2147483647 24912 45 | 1.404 % |
10.26/10.39 c | 25153 | 18536 112125 406575 | 2147483647 25145 45 | 1.405 % |
10.46/10.51 c | 25409 | 18536 112125 406575 | 2147483647 25401 45 | 1.404 % |
10.56/10.69 c | 25691 | 18536 112125 406575 | 2147483647 25683 45 | 1.404 % |
10.66/10.80 c | 26001 | 18536 112125 406575 | 2147483647 25993 45 | 1.404 % |
10.86/10.94 c | 26341 | 18536 112125 406575 | 2147483647 26333 45 | 1.404 % |
10.96/11.01 c | 26713 | 18536 112125 406575 | 2147483647 26705 45 | 1.404 % |
11.16/11.21 c | 27123 | 18536 112125 406575 | 2147483647 27115 45 | 1.404 % |
11.37/11.43 c | 27572 | 18536 112125 406575 | 2147483647 27564 45 | 1.404 % |
11.47/11.50 c | 27673 | 18536 112125 406575 | 2147483647 27665 45 | 1.404 % |
11.47/11.52 c | 27783 | 18536 112125 406575 | 2147483647 27775 45 | 1.404 % |
11.47/11.54 c | 27904 | 18536 112125 406575 | 2147483647 27896 45 | 1.404 % |
11.47/11.58 c | 28037 | 18536 112125 406575 | 2147483647 28029 45 | 1.404 % |
11.57/11.66 c | 28184 | 18536 112125 406575 | 2147483647 28176 45 | 1.404 % |
11.67/11.70 c | 28344 | 18536 112125 406575 | 2147483647 28336 45 | 1.404 % |
11.67/11.77 c | 28521 | 18536 112125 406575 | 2147483647 28513 45 | 1.404 % |
11.77/11.84 c | 28714 | 18536 112125 406575 | 2147483647 28706 45 | 1.404 % |
11.87/11.97 c | 28926 | 18536 112125 406575 | 2147483647 28918 45 | 1.404 % |
11.97/12.05 c | 29159 | 18536 112125 406575 | 2147483647 29151 45 | 1.404 % |
12.17/12.22 c | 29417 | 18536 112125 406575 | 2147483647 29409 45 | 1.404 % |
12.27/12.36 c | 29701 | 18536 112125 406575 | 2147483647 29693 45 | 1.404 % |
12.47/12.53 c | 30010 | 18536 112125 406575 | 2147483647 30002 45 | 1.404 % |
12.57/12.67 c | 30352 | 18536 112125 406575 | 2147483647 30344 45 | 1.404 % |
12.67/12.76 c | 30725 | 18536 112125 406575 | 2147483647 30717 45 | 1.404 % |
12.77/12.86 c | 31134 | 18536 112125 406575 | 2147483647 31126 45 | 1.404 % |
12.87/12.96 c | 31584 | 18536 112125 406575 | 2147483647 31576 45 | 1.404 % |
13.07/13.18 c | 32080 | 18536 112125 406575 | 2147483647 32072 45 | 1.404 % |
13.17/13.23 c | 32180 | 18536 112125 406575 | 2147483647 32172 45 | 1.404 % |
13.17/13.29 c | 32290 | 18536 112125 406575 | 2147483647 32282 45 | 1.404 % |
13.27/13.34 c | 32411 | 18536 112125 406575 | 2147483647 32403 45 | 1.404 % |
13.27/13.39 c | 32545 | 18536 112125 406575 | 2147483647 32537 45 | 1.404 % |
13.37/13.43 c | 32691 | 18536 112125 406575 | 2147483647 32683 45 | 1.404 % |
13.47/13.50 c | 32851 | 18536 112125 406575 | 2147483647 32843 45 | 1.404 % |
13.47/13.57 c | 33027 | 18536 112125 406575 | 2147483647 33019 45 | 1.404 % |
13.57/13.68 c | 33221 | 18536 112125 406575 | 2147483647 33213 45 | 1.404 % |
13.67/13.80 c | 33433 | 18536 112125 406575 | 2147483647 33425 45 | 1.404 % |
13.87/13.93 c | 33666 | 18536 112125 406575 | 2147483647 33658 45 | 1.404 % |
13.97/14.02 c | 33923 | 18525 112018 406224 | 2147483647 33914 45 | 1.463 % |
14.07/14.13 c | 34204 | 18525 112018 406224 | 2147483647 34195 45 | 1.463 % |
14.17/14.29 c | 34513 | 18525 112018 406224 | 2147483647 34504 45 | 1.463 % |
14.37/14.41 c | 34852 | 18525 112018 406224 | 2147483647 34843 45 | 1.463 % |
14.56/14.64 c | 35224 | 18525 112018 406224 | 2147483647 35215 46 | 1.463 % |
14.86/14.93 c | 35634 | 18525 112018 406224 | 2147483647 35625 46 | 1.463 % |
14.96/15.08 c | 36084 | 18525 112018 406224 | 2147483647 36075 46 | 1.463 % |
15.37/15.40 c | 36578 | 18525 112018 406224 | 2147483647 36569 47 | 1.463 % |
15.66/15.70 c | 37121 | 18525 112018 406224 | 2147483647 37112 47 | 1.463 % |
15.66/15.73 c | 37221 | 18525 112018 406224 | 2147483647 37212 47 | 1.463 % |
15.76/15.80 c | 37332 | 18525 112018 406224 | 2147483647 37323 47 | 1.463 % |
15.76/15.88 c | 37453 | 18525 112018 406224 | 2147483647 37444 47 | 1.463 % |
15.86/15.97 c | 37586 | 18525 112018 406224 | 2147483647 37577 47 | 1.463 % |
15.96/16.00 c | 37732 | 18525 112018 406224 | 2147483647 37723 47 | 1.463 % |
15.96/16.06 c | 37894 | 18525 112018 406224 | 2147483647 37885 47 | 1.463 % |
16.06/16.19 c | 38070 | 18525 112018 406224 | 2147483647 38061 47 | 1.463 % |
16.26/16.30 c | 38264 | 18525 112018 406224 | 2147483647 38255 47 | 1.463 % |
16.26/16.38 c | 38477 | 18525 112018 406224 | 2147483647 38468 47 | 1.463 % |
16.36/16.49 c | 38711 | 18525 112018 406224 | 2147483647 38702 47 | 1.463 % |
16.66/16.71 c | 38967 | 18525 112018 406224 | 2147483647 38958 47 | 1.463 % |
16.86/16.90 c | 39248 | 18525 112018 406224 | 2147483647 39239 47 | 1.463 % |
17.06/17.18 c | 39558 | 18525 112018 406224 | 2147483647 39549 47 | 1.463 % |
17.16/17.25 c | 39899 | 18525 112018 406224 | 2147483647 39890 47 | 1.463 % |
17.36/17.50 c | 40271 | 18525 112018 406224 | 2147483647 40262 47 | 1.463 % |
17.66/17.72 c | 40682 | 18525 112018 406224 | 2147483647 40673 47 | 1.463 % |
17.86/17.99 c | 41132 | 18525 112018 406224 | 2147483647 41123 47 | 1.463 % |
18.26/18.35 c | 41627 | 18525 112018 406224 | 2147483647 41618 47 | 1.463 % |
18.56/18.64 c | 42171 | 18525 112018 406224 | 2147483647 42162 46 | 1.463 % |
18.75/18.80 c | 42767 | 18525 112018 406224 | 2147483647 42758 46 | 1.463 % |
18.75/18.88 c | 42867 | 18525 112018 406224 | 2147483647 42858 47 | 1.463 % |
18.85/18.95 c | 42977 | 18525 112018 406224 | 2147483647 42968 47 | 1.463 % |
18.95/19.04 c | 43098 | 18525 112018 406224 | 2147483647 43089 46 | 1.463 % |
19.05/19.10 c | 43232 | 18525 112018 406224 | 2147483647 43223 46 | 1.463 % |
19.05/19.18 c | 43378 | 18525 112018 406224 | 2147483647 43369 46 | 1.463 % |
19.15/19.27 c | 43541 | 18525 112018 406224 | 2147483647 43532 46 | 1.463 % |
19.25/19.34 c | 43717 | 18525 112018 406224 | 2147483647 43708 46 | 1.463 % |
19.35/19.42 c | 43911 | 18525 112018 406224 | 2147483647 43902 46 | 1.463 % |
19.45/19.56 c | 44125 | 18525 112018 406224 | 2147483647 44116 46 | 1.463 % |
19.55/19.68 c | 44358 | 18525 112018 406224 | 2147483647 44349 46 | 1.463 % |
19.76/19.84 c | 44614 | 18525 112018 406224 | 2147483647 44605 46 | 1.463 % |
19.85/19.98 c | 44898 | 18525 112018 406224 | 2147483647 44889 46 | 1.463 % |
20.05/20.18 c | 45207 | 18525 112018 406224 | 2147483647 45198 46 | 1.463 % |
20.15/20.27 c | 45546 | 18525 112018 406224 | 2147483647 45537 46 | 1.463 % |
20.35/20.49 c | 45919 | 18525 112018 406224 | 2147483647 45910 46 | 1.463 % |
20.66/20.77 c | 46328 | 18525 112018 406224 | 2147483647 46319 46 | 1.463 % |
20.86/20.99 c | 46779 | 18525 112018 406224 | 2147483647 46770 47 | 1.463 % |
21.16/21.22 c | 47272 | 18525 112018 406224 | 2147483647 47263 46 | 1.463 % |
21.56/21.65 c | 47814 | 18525 112018 406224 | 2147483647 47805 47 | 1.463 % |
21.66/21.79 c | 48410 | 18525 112018 406224 | 2147483647 48401 47 | 1.463 % |
22.26/22.35 c | 49066 | 18525 112018 406224 | 2147483647 49057 47 | 1.463 % |
22.36/22.44 c | 49166 | 18525 112018 406224 | 2147483647 49157 47 | 1.463 % |
22.46/22.50 c | 49278 | 18525 112018 406224 | 2147483647 49269 47 | 1.463 % |
22.46/22.57 c | 49399 | 18525 112018 406224 | 2147483647 49390 47 | 1.463 % |
22.55/22.63 c | 49532 | 18525 112018 406224 | 2147483647 49523 47 | 1.463 % |
22.65/22.72 c | 49678 | 18525 112018 406224 | 2147483647 49669 47 | 1.463 % |
22.65/22.75 c | 49838 | 18525 112018 406224 | 2147483647 49829 47 | 1.463 % |
22.75/22.87 c | 50015 | 18525 112018 406224 | 2147483647 50006 47 | 1.463 % |
22.85/22.94 c | 50208 | 18525 112018 406224 | 2147483647 50199 47 | 1.463 % |
22.96/23.10 c | 50420 | 18525 112018 406224 | 2147483647 50411 47 | 1.463 % |
23.15/23.22 c | 50653 | 18525 112018 406224 | 2147483647 50644 47 | 1.463 % |
23.25/23.32 c | 50910 | 18525 112018 406224 | 2147483647 50901 47 | 1.463 % |
23.45/23.50 c | 51193 | 18525 112018 406224 | 2147483647 51184 47 | 1.463 % |
23.45/23.57 c | 51502 | 18525 112018 406224 | 2147483647 51493 47 | 1.463 % |
23.65/23.74 c | 51842 | 18525 112018 406224 | 2147483647 51833 47 | 1.463 % |
23.85/23.99 c | 52215 | 18525 112018 406224 | 2147483647 52206 47 | 1.463 % |
24.24/24.31 c | 52624 | 18525 112018 406224 | 2147483647 52615 47 | 1.463 % |
24.44/24.51 c | 53073 | 18525 112018 406224 | 2147483647 53064 47 | 1.463 % |
24.64/24.78 c | 53567 | 18525 112018 406224 | 2147483647 53558 47 | 1.463 % |
25.15/25.28 c | 54111 | 18525 112018 406224 | 2147483647 54102 46 | 1.463 % |
25.74/25.83 c | 54707 | 18525 112018 406224 | 2147483647 54698 47 | 1.463 % |
26.24/26.32 c | 55364 | 18525 112018 406224 | 2147483647 55355 47 | 1.463 % |
26.74/26.85 c | 56084 | 18525 112018 406224 | 2147483647 56075 48 | 1.463 % |
26.84/26.90 c | 56185 | 18525 112018 406224 | 2147483647 56176 48 | 1.463 % |
26.84/26.99 c | 56295 | 18525 112018 406224 | 2147483647 56286 48 | 1.463 % |
27.04/27.13 c | 56416 | 18525 112018 406224 | 2147483647 56407 48 | 1.463 % |
27.14/27.24 c | 56550 | 18525 112018 406224 | 2147483647 56541 48 | 1.463 % |
27.24/27.37 c | 56697 | 18525 112018 406224 | 2147483647 56688 48 | 1.463 % |
27.34/27.43 c | 56860 | 18525 112018 406224 | 2147483647 56851 48 | 1.463 % |
27.44/27.57 c | 57038 | 18525 112018 406224 | 2147483647 57029 48 | 1.463 % |
27.64/27.73 c | 57234 | 18525 112018 406224 | 2147483647 57225 47 | 1.463 % |
27.74/27.80 c | 57446 | 18525 112018 406224 | 2147483647 57437 47 | 1.463 % |
27.74/27.86 c | 57680 | 18525 112018 406224 | 2147483647 57671 47 | 1.463 % |
27.93/28.09 c | 57937 | 18525 112018 406224 | 2147483647 57928 48 | 1.463 % |
28.23/28.30 c | 58218 | 18525 112018 406224 | 2147483647 58209 47 | 1.463 % |
28.33/28.45 c | 58529 | 18525 112018 406224 | 2147483647 58520 47 | 1.463 % |
28.44/28.55 c | 58869 | 18525 112018 406224 | 2147483647 58860 47 | 1.463 % |
28.73/28.86 c | 59241 | 18525 112018 406224 | 2147483647 59232 47 | 1.463 % |
28.93/29.05 c | 59650 | 18525 112018 406224 | 2147483647 59641 47 | 1.463 % |
29.24/29.30 c | 60102 | 18525 112018 406224 | 2147483647 60093 47 | 1.463 % |
29.44/29.59 c | 60599 | 18525 112018 406224 | 2147483647 60590 47 | 1.463 % |
29.74/29.85 c | 61141 | 18525 112018 406224 | 2147483647 61132 47 | 1.463 % |
29.94/30.09 c | 61738 | 18525 112018 406224 | 2147483647 61729 47 | 1.463 % |
30.14/30.23 c | 62393 | 18525 112018 406224 | 2147483647 62384 47 | 1.463 % |
30.64/30.76 c | 63114 | 18525 112018 406224 | 2147483647 63105 47 | 1.463 % |
31.54/31.63 c | 63906 | 18525 112018 406224 | 2147483647 63897 47 | 1.463 % |
31.64/31.70 c | 64011 | 18525 112018 406224 | 2147483647 64002 47 | 1.463 % |
31.64/31.77 c | 64122 | 18525 112018 406224 | 2147483647 64113 47 | 1.463 % |
31.74/31.87 c | 64244 | 18525 112018 406224 | 2147483647 64235 47 | 1.463 % |
31.84/31.99 c | 64377 | 18525 112018 406224 | 2147483647 64368 47 | 1.463 % |
31.94/32.07 c | 64523 | 18525 112018 406224 | 2147483647 64514 47 | 1.463 % |
32.04/32.11 c | 64683 | 18525 112018 406224 | 2147483647 64674 47 | 1.463 % |
32.14/32.21 c | 64859 | 18525 112018 406224 | 2147483647 64850 47 | 1.463 % |
32.24/32.38 c | 65052 | 18525 112018 406224 | 2147483647 65043 47 | 1.463 % |
32.44/32.58 c | 65265 | 18525 112018 406224 | 2147483647 65256 47 | 1.463 % |
32.64/32.78 c | 65498 | 18525 112018 406224 | 2147483647 65489 47 | 1.463 % |
32.94/33.01 c | 65756 | 18525 112018 406224 | 2147483647 65747 47 | 1.463 % |
33.04/33.18 c | 66037 | 18525 112018 406224 | 2147483647 66028 47 | 1.463 % |
33.24/33.34 c | 66346 | 18525 112018 406224 | 2147483647 66337 47 | 1.463 % |
33.54/33.60 c | 66687 | 18525 112018 406224 | 2147483647 66678 47 | 1.463 % |
33.74/33.87 c | 67060 | 18525 112018 406224 | 2147483647 67051 47 | 1.463 % |
34.14/34.21 c | 67469 | 18525 112018 406224 | 2147483647 67460 47 | 1.463 % |
34.44/34.55 c | 67918 | 18525 112018 406224 | 2147483647 67909 47 | 1.463 % |
34.74/34.88 c | 68413 | 18525 112018 406224 | 2147483647 68404 47 | 1.463 % |
35.14/35.26 c | 68955 | 18525 112018 406224 | 2147483647 68946 47 | 1.463 % |
35.54/35.68 c | 69551 | 18525 112018 406224 | 2147483647 69542 47 | 1.463 % |
36.14/36.29 c | 70206 | 18525 112018 406224 | 2147483647 70197 47 | 1.463 % |
36.63/36.79 c | 70926 | 18525 112018 406224 | 2147483647 70917 47 | 1.463 % |
37.24/37.38 c | 71718 | 18525 112018 406224 | 2147483647 71709 47 | 1.463 % |
38.03/38.11 c | 72589 | 18525 112018 406224 | 2147483647 72580 47 | 1.463 % |
38.13/38.20 c | 72689 | 18525 112018 406224 | 2147483647 72680 47 | 1.463 % |
38.13/38.27 c | 72801 | 18525 112018 406224 | 2147483647 72792 47 | 1.463 % |
38.23/38.37 c | 72922 | 18525 112018 406224 | 2147483647 72913 47 | 1.463 % |
38.34/38.50 c | 73056 | 18525 112018 406224 | 2147483647 73047 47 | 1.463 % |
38.53/38.61 c | 73202 | 18525 112018 406224 | 2147483647 73193 47 | 1.463 % |
38.63/38.73 c | 73366 | 18525 112018 406224 | 2147483647 73357 47 | 1.463 % |
38.73/38.87 c | 73542 | 18525 112018 406224 | 2147483647 73533 47 | 1.463 % |
38.93/39.03 c | 73735 | 18525 112018 406224 | 2147483647 73726 47 | 1.463 % |
39.03/39.18 c | 73948 | 18525 112018 406224 | 2147483647 73939 47 | 1.463 % |
39.23/39.38 c | 74182 | 18525 112018 406224 | 2147483647 74173 47 | 1.463 % |
39.44/39.55 c | 74440 | 18525 112018 406224 | 2147483647 74431 47 | 1.463 % |
39.73/39.83 c | 74721 | 18525 112018 406224 | 2147483647 74712 47 | 1.463 % |
39.93/40.02 c | 75030 | 18525 112018 406224 | 2147483647 75021 47 | 1.463 % |
40.33/40.43 c | 75374 | 18525 112018 406224 | 2147483647 75365 47 | 1.463 % |
40.73/40.82 c | 75746 | 18525 112018 406224 | 2147483647 75737 47 | 1.463 % |
41.13/41.21 c | 76156 | 18525 112018 406224 | 2147483647 76147 47 | 1.463 % |
41.43/41.56 c | 76605 | 18525 112018 406224 | 2147483647 76596 47 | 1.463 % |
41.93/42.03 c | 77099 | 18525 112018 406224 | 2147483647 77090 47 | 1.463 % |
42.33/42.49 c | 77641 | 18525 112018 406224 | 2147483647 77632 47 | 1.463 % |
42.63/42.76 c | 78237 | 18525 112018 406224 | 2147483647 78228 47 | 1.463 % |
43.14/43.26 c | 78892 | 18525 112018 406224 | 2147483647 78883 47 | 1.463 % |
43.84/43.99 c | 79613 | 18525 112018 406224 | 2147483647 79604 47 | 1.463 % |
44.54/44.60 c | 80405 | 18525 112018 406224 | 2147483647 80396 47 | 1.463 % |
45.04/45.19 c | 81276 | 18525 112018 406224 | 2147483647 81267 47 | 1.463 % |
45.73/45.85 c | 82236 | 18525 112018 406224 | 2147483647 82227 47 | 1.463 % |
45.83/45.93 c | 82336 | 18525 112018 406224 | 2147483647 82327 47 | 1.463 % |
45.93/46.01 c | 82448 | 18525 112018 406224 | 2147483647 82439 47 | 1.463 % |
46.04/46.13 c | 82573 | 18525 112018 406224 | 2147483647 82564 47 | 1.463 % |
46.14/46.27 c | 82707 | 18525 112018 406224 | 2147483647 82698 47 | 1.463 % |
46.23/46.38 c | 82855 | 18525 112018 406224 | 2147483647 82846 47 | 1.463 % |
46.33/46.49 c | 83015 | 18525 112018 406224 | 2147483647 83006 47 | 1.463 % |
46.43/46.57 c | 83195 | 18525 112018 406224 | 2147483647 83186 47 | 1.463 % |
46.63/46.79 c | 83389 | 18525 112018 406224 | 2147483647 83380 47 | 1.463 % |
46.93/47.01 c | 83601 | 18525 112018 406224 | 2147483647 83592 47 | 1.463 % |
47.14/47.23 c | 83835 | 18525 112018 406224 | 2147483647 83826 47 | 1.463 % |
47.24/47.36 c | 84094 | 18525 112018 406224 | 2147483647 84085 47 | 1.463 % |
47.63/47.74 c | 84376 | 18525 112018 406224 | 2147483647 84367 47 | 1.463 % |
47.93/48.02 c | 84686 | 18525 112018 406224 | 2147483647 84677 47 | 1.463 % |
48.13/48.28 c | 85026 | 18525 112018 406224 | 2147483647 85017 47 | 1.463 % |
48.33/48.45 c | 85399 | 18525 112018 406224 | 2147483647 85390 47 | 1.463 % |
48.63/48.70 c | 85808 | 18525 112018 406224 | 2147483647 85799 47 | 1.463 % |
48.93/49.04 c | 86258 | 18525 112018 406224 | 2147483647 86249 47 | 1.463 % |
49.33/49.48 c | 86751 | 18525 112018 406224 | 2147483647 86742 47 | 1.463 % |
49.83/49.98 c | 87293 | 18525 112018 406224 | 2147483647 87284 47 | 1.463 % |
50.33/50.46 c | 87889 | 18525 112018 406224 | 2147483647 87880 47 | 1.463 % |
50.83/50.90 c | 88545 | 18525 112018 406224 | 2147483647 88536 47 | 1.463 % |
51.33/51.49 c | 89266 | 18525 112018 406224 | 2147483647 89257 47 | 1.463 % |
52.03/52.12 c | 90058 | 18525 112018 406224 | 2147483647 90049 47 | 1.463 % |
52.83/52.98 c | 90929 | 18525 112018 406224 | 2147483647 90920 48 | 1.463 % |
53.83/53.91 c | 91887 | 18525 112018 406224 | 2147483647 91878 48 | 1.463 % |
54.43/54.55 c | 92940 | 18525 112018 406224 | 2147483647 92931 48 | 1.463 % |
54.53/54.64 c | 93043 | 18525 112018 406224 | 2147483647 93034 48 | 1.463 % |
54.63/54.78 c | 93153 | 18525 112018 406224 | 2147483647 93144 48 | 1.463 % |
54.83/54.91 c | 93274 | 18525 112018 406224 | 2147483647 93265 48 | 1.463 % |
54.93/55.02 c | 93408 | 18525 112018 406224 | 2147483647 93399 48 | 1.463 % |
55.03/55.18 c | 93554 | 18525 112018 406224 | 2147483647 93545 48 | 1.463 % |
55.23/55.32 c | 93714 | 18525 112018 406224 | 2147483647 93705 48 | 1.463 % |
55.33/55.45 c | 93895 | 18525 112018 406224 | 2147483647 93886 48 | 1.463 % |
55.43/55.57 c | 94088 | 18525 112018 406224 | 2147483647 94079 48 | 1.463 % |
55.63/55.79 c | 94301 | 18525 112018 406224 | 2147483647 94292 48 | 1.463 % |
55.83/55.97 c | 94534 | 18525 112018 406224 | 2147483647 94525 48 | 1.463 % |
56.03/56.18 c | 94790 | 18525 112018 406224 | 2147483647 94781 48 | 1.463 % |
56.22/56.33 c | 95071 | 18525 112018 406224 | 2147483647 95062 48 | 1.463 % |
56.52/56.65 c | 95380 | 18525 112018 406224 | 2147483647 95371 48 | 1.463 % |
56.82/56.94 c | 95720 | 18525 112018 406224 | 2147483647 95711 48 | 1.463 % |
57.13/57.26 c | 96093 | 18525 112018 406224 | 2147483647 96084 48 | 1.463 % |
57.42/57.56 c | 96504 | 18525 112018 406224 | 2147483647 96495 48 | 1.463 % |
57.72/57.87 c | 96954 | 18525 112018 406224 | 2147483647 96945 48 | 1.463 % |
58.23/58.37 c | 97449 | 18525 112018 406224 | 2147483647 97440 48 | 1.463 % |
59.02/59.13 c | 97991 | 18525 112018 406224 | 2147483647 97982 48 | 1.463 % |
59.52/59.65 c | 98588 | 18525 112018 406224 | 2147483647 98579 48 | 1.463 % |
60.22/60.34 c | 99244 | 18525 112018 406224 | 2147483647 99235 48 | 1.463 % |
60.92/61.09 c | 99964 | 18525 112018 406224 | 2147483647 99955 48 | 1.463 % |
61.72/61.83 c | 100756 | 18525 112018 406224 | 2147483647 100747 49 | 1.463 % |
62.32/62.49 c | 101628 | 18525 112018 406224 | 2147483647 101619 49 | 1.463 % |
63.22/63.37 c | 102586 | 18525 112018 406224 | 2147483647 102577 49 | 1.463 % |
64.32/64.40 c | 103639 | 18525 112018 406224 | 2147483647 103630 49 | 1.463 % |
65.22/65.31 c | 104798 | 18525 112018 406224 | 2147483647 104789 48 | 1.463 % |
65.32/65.45 c | 104901 | 18525 112018 406224 | 2147483647 104892 48 | 1.463 % |
65.52/65.65 c | 105011 | 18525 112018 406224 | 2147483647 105002 48 | 1.463 % |
65.62/65.79 c | 105133 | 18525 112018 406224 | 2147483647 105124 49 | 1.463 % |
65.82/65.93 c | 105266 | 18525 112018 406224 | 2147483647 105257 49 | 1.463 % |
65.92/66.07 c | 105412 | 18525 112018 406224 | 2147483647 105403 49 | 1.463 % |
66.12/66.23 c | 105572 | 18525 112018 406224 | 2147483647 105563 49 | 1.463 % |
66.32/66.45 c | 105748 | 18525 112018 406224 | 2147483647 105739 49 | 1.463 % |
66.52/66.64 c | 105941 | 18525 112018 406224 | 2147483647 105932 49 | 1.463 % |
66.72/66.82 c | 106153 | 18525 112018 406224 | 2147483647 106144 49 | 1.463 % |
66.92/67.06 c | 106387 | 18525 112018 406224 | 2147483647 106378 49 | 1.463 % |
67.23/67.33 c | 106643 | 18525 112018 406224 | 2147483647 106634 49 | 1.463 % |
67.43/67.56 c | 106924 | 18525 112018 406224 | 2147483647 106915 49 | 1.463 % |
67.62/67.75 c | 107233 | 18525 112018 406224 | 2147483647 107224 48 | 1.463 % |
68.03/68.12 c | 107573 | 18525 112018 406224 | 2147483647 107564 49 | 1.463 % |
68.42/68.55 c | 107948 | 18525 112018 406224 | 2147483647 107939 48 | 1.463 % |
68.92/69.00 c | 108359 | 18525 112018 406224 | 2147483647 108350 48 | 1.463 % |
69.32/69.44 c | 108809 | 18525 112018 406224 | 2147483647 108800 48 | 1.463 % |
70.02/70.14 c | 109302 | 18525 112018 406224 | 2147483647 109293 49 | 1.463 % |
70.62/70.80 c | 109846 | 18525 112018 406224 | 2147483647 109837 49 | 1.463 % |
71.12/71.26 c | 110444 | 18525 112018 406224 | 2147483647 110435 49 | 1.463 % |
71.62/71.79 c | 111100 | 18525 112018 406224 | 2147483647 111091 49 | 1.463 % |
72.32/72.48 c | 111820 | 18525 112018 406224 | 2147483647 111811 49 | 1.463 % |
73.22/73.31 c | 112612 | 18525 112018 406224 | 2147483647 112603 49 | 1.463 % |
73.91/74.08 c | 113483 | 18525 112018 406224 | 2147483647 113474 48 | 1.463 % |
74.81/74.90 c | 114442 | 18525 112018 406224 | 2147483647 114433 48 | 1.463 % |
75.61/75.74 c | 115495 | 18525 112018 406224 | 2147483647 115486 48 | 1.463 % |
76.61/76.74 c | 116654 | 18525 112018 406224 | 2147483647 116645 48 | 1.463 % |
77.51/77.67 c | 117927 | 18525 112018 406224 | 2147483647 117918 48 | 1.463 % |
77.61/77.71 c | 118028 | 18525 112018 406224 | 2147483647 118019 48 | 1.463 % |
77.71/77.87 c | 118139 | 18525 112018 406224 | 2147483647 118130 48 | 1.463 % |
77.81/77.98 c | 118260 | 18525 112018 406224 | 2147483647 118251 48 | 1.463 % |
77.91/78.06 c | 118393 | 18525 112018 406224 | 2147483647 118384 48 | 1.463 % |
78.11/78.29 c | 118539 | 18525 112018 406224 | 2147483647 118530 48 | 1.463 % |
78.31/78.47 c | 118702 | 18525 112018 406224 | 2147483647 118693 48 | 1.463 % |
78.61/78.72 c | 118878 | 18525 112018 406224 | 2147483647 118869 48 | 1.463 % |
78.81/78.96 c | 119072 | 18525 112018 406224 | 2147483647 119063 48 | 1.463 % |
79.11/79.21 c | 119285 | 18525 112018 406224 | 2147483647 119276 49 | 1.463 % |
79.31/79.48 c | 119519 | 18525 112018 406224 | 2147483647 119510 49 | 1.463 % |
79.71/79.80 c | 119777 | 18525 112018 406224 | 2147483647 119768 49 | 1.463 % |
80.01/80.10 c | 120061 | 18525 112018 406224 | 2147483647 120052 49 | 1.463 % |
80.31/80.44 c | 120372 | 18525 112018 406224 | 2147483647 120363 49 | 1.463 % |
80.51/80.62 c | 120711 | 18525 112018 406224 | 2147483647 120702 49 | 1.463 % |
80.81/80.94 c | 121084 | 18525 112018 406224 | 2147483647 121075 49 | 1.463 % |
81.32/81.43 c | 121493 | 18525 112018 406224 | 2147483647 121484 49 | 1.463 % |
81.81/81.94 c | 121943 | 18525 112018 406224 | 2147483647 121934 49 | 1.463 % |
82.32/82.45 c | 122437 | 18525 112018 406224 | 2147483647 122428 49 | 1.463 % |
83.01/83.12 c | 122979 | 18525 112018 406224 | 2147483647 122970 49 | 1.463 % |
83.61/83.74 c | 123575 | 18525 112018 406224 | 2147483647 123566 49 | 1.463 % |
84.51/84.69 c | 124231 | 18525 112018 406224 | 2147483647 124222 49 | 1.463 % |
85.21/85.38 c | 124952 | 18525 112018 406224 | 2147483647 124943 49 | 1.463 % |
86.11/86.24 c | 125744 | 18525 112018 406224 | 2147483647 125735 49 | 1.463 % |
87.11/87.26 c | 126616 | 18525 112018 406224 | 2147483647 126607 49 | 1.463 % |
88.10/88.25 c | 127577 | 18525 112018 406224 | 2147483647 127568 49 | 1.463 % |
89.40/89.55 c | 128633 | 18525 112018 406224 | 2147483647 128624 49 | 1.463 % |
89.70/89.86 c | 129796 | 18525 112018 406224 | 2147483647 129787 49 | 1.463 % |
91.60/91.79 c | 131069 | 18525 112018 406224 | 2147483647 131060 49 | 1.463 % |
93.31/93.40 c | 132469 | 18525 112018 406224 | 2147483647 132460 50 | 1.463 % |
93.41/93.53 c | 132569 | 18525 112018 406224 | 2147483647 132560 50 | 1.463 % |
93.51/93.68 c | 132680 | 18525 112018 406224 | 2147483647 132671 50 | 1.463 % |
93.71/93.86 c | 132804 | 18525 112018 406224 | 2147483647 132795 50 | 1.463 % |
93.91/94.01 c | 132937 | 18525 112018 406224 | 2147483647 132928 50 | 1.463 % |
94.11/94.22 c | 133083 | 18525 112018 406224 | 2147483647 133074 50 | 1.463 % |
94.31/94.47 c | 133243 | 18525 112018 406224 | 2147483647 133234 50 | 1.463 % |
94.71/94.83 c | 133420 | 18525 112018 406224 | 2147483647 133411 50 | 1.463 % |
94.91/95.06 c | 133614 | 18525 112018 406224 | 2147483647 133605 50 | 1.463 % |
95.21/95.30 c | 133827 | 18525 112018 406224 | 2147483647 133818 50 | 1.463 % |
95.41/95.51 c | 134061 | 18525 112018 406224 | 2147483647 134052 50 | 1.463 % |
95.61/95.73 c | 134318 | 18525 112018 406224 | 2147483647 134309 50 | 1.463 % |
95.91/96.06 c | 134599 | 18525 112018 406224 | 2147483647 134590 50 | 1.463 % |
96.10/96.27 c | 134910 | 18525 112018 406224 | 2147483647 134901 50 | 1.463 % |
96.40/96.51 c | 135250 | 18525 112018 406224 | 2147483647 135241 50 | 1.463 % |
96.90/97.02 c | 135622 | 18525 112018 406224 | 2147483647 135613 50 | 1.463 % |
97.30/97.48 c | 136034 | 18525 112018 406224 | 2147483647 136025 50 | 1.463 % |
97.90/98.02 c | 136483 | 18525 112018 406224 | 2147483647 136474 50 | 1.463 % |
98.70/98.90 c | 136979 | 18525 112018 406224 | 2147483647 136970 50 | 1.463 % |
99.70/99.84 c | 137522 | 18525 112018 406224 | 2147483647 137513 51 | 1.463 % |
100.40/100.50 c | 138118 | 18525 112018 406224 | 2147483647 138109 51 | 1.463 % |
101.10/101.24 c | 138773 | 18525 112018 406224 | 2147483647 138764 51 | 1.463 % |
102.20/102.39 c | 139494 | 18525 112018 406224 | 2147483647 139485 51 | 1.463 % |
103.30/103.46 c | 140287 | 18525 112018 406224 | 2147483647 140278 51 | 1.463 % |
103.90/104.00 c | 141159 | 18525 112018 406224 | 2147483647 141150 51 | 1.463 % |
105.30/105.45 c | 142119 | 18525 112018 406224 | 2147483647 142110 51 | 1.463 % |
106.50/106.69 c | 143172 | 18525 112018 406224 | 2147483647 143163 51 | 1.463 % |
108.39/108.57 c | 144330 | 18525 112018 406224 | 2147483647 144321 51 | 1.463 % |
109.00/109.16 c | 145604 | 18525 112018 406224 | 2147483647 145595 51 | 1.463 % |
111.90/112.00 c | 147004 | 18525 112018 406224 | 2147483647 146995 51 | 1.463 % |
113.50/113.69 c | 148545 | 18525 112018 406224 | 2147483647 148536 51 | 1.463 % |
113.69/113.84 c | 148645 | 18525 112018 406224 | 2147483647 148636 51 | 1.463 % |
113.79/113.99 c | 148755 | 18525 112018 406224 | 2147483647 148746 51 | 1.463 % |
113.99/114.15 c | 148877 | 18525 112018 406224 | 2147483647 148868 51 | 1.463 % |
114.09/114.29 c | 149010 | 18525 112018 406224 | 2147483647 149001 52 | 1.463 % |
114.39/114.58 c | 149156 | 18525 112018 406224 | 2147483647 149147 52 | 1.463 % |
114.59/114.73 c | 149318 | 18525 112018 406224 | 2147483647 149309 51 | 1.463 % |
114.69/114.84 c | 149496 | 18525 112018 406224 | 2147483647 149487 51 | 1.463 % |
114.89/115.04 c | 149690 | 18525 112018 406224 | 2147483647 149681 51 | 1.463 % |
115.09/115.25 c | 149903 | 18525 112018 406224 | 2147483647 149894 51 | 1.463 % |
115.29/115.46 c | 150136 | 18525 112018 406224 | 2147483647 150127 51 | 1.463 % |
115.49/115.68 c | 150392 | 18525 112018 406224 | 2147483647 150383 51 | 1.463 % |
115.79/115.98 c | 150673 | 18525 112018 406224 | 2147483647 150664 51 | 1.463 % |
116.09/116.23 c | 150984 | 18525 112018 406224 | 2147483647 150975 51 | 1.463 % |
116.39/116.54 c | 151325 | 18525 112018 406224 | 2147483647 151316 51 | 1.463 % |
116.69/116.87 c | 151698 | 18525 112018 406224 | 2147483647 151689 51 | 1.463 % |
117.49/117.61 c | 152108 | 18525 112018 406224 | 2147483647 152099 52 | 1.463 % |
117.69/117.89 c | 152557 | 18525 112018 406224 | 2147483647 152548 52 | 1.463 % |
118.29/118.49 c | 153050 | 18525 112018 406224 | 2147483647 153041 52 | 1.463 % |
118.99/119.12 c | 153595 | 18525 112018 406224 | 2147483647 153586 52 | 1.463 % |
119.79/119.99 c | 154192 | 18525 112018 406224 | 2147483647 154183 52 | 1.463 % |
120.59/120.79 c | 154848 | 18525 112018 406224 | 2147483647 154839 51 | 1.463 % |
121.49/121.62 c | 155572 | 18525 112018 406224 | 2147483647 155563 51 | 1.463 % |
122.29/122.43 c | 156370 | 18525 112018 406224 | 2147483647 156361 51 | 1.463 % |
123.29/123.42 c | 157241 | 18525 112018 406224 | 2147483647 157232 51 | 1.463 % |
124.99/125.10 c | 158199 | 18525 112018 406224 | 2147483647 158190 52 | 1.463 % |
126.29/126.41 c | 159253 | 18525 112018 406224 | 2147483647 159244 52 | 1.463 % |
126.88/127.09 c | 160412 | 18525 112018 406224 | 2147483647 160403 52 | 1.463 % |
128.98/129.17 c | 161685 | 18525 112018 406224 | 2147483647 161676 52 | 1.463 % |
130.78/131.00 c | 163086 | 18525 112018 406224 | 2147483647 163077 52 | 1.463 % |
132.68/132.83 c | 164626 | 18525 112018 406224 | 2147483647 164617 52 | 1.463 % |
135.69/135.85 c | 166322 | 18525 112018 406224 | 2147483647 166313 52 | 1.463 % |
135.79/135.99 c | 166423 | 18525 112018 406224 | 2147483647 166414 52 | 1.463 % |
135.98/136.13 c | 166533 | 18525 112018 406224 | 2147483647 166524 52 | 1.463 % |
136.08/136.25 c | 166655 | 18525 112018 406224 | 2147483647 166646 52 | 1.463 % |
136.38/136.51 c | 166789 | 18525 112018 406224 | 2147483647 166780 52 | 1.463 % |
136.48/136.68 c | 166936 | 18525 112018 406224 | 2147483647 166927 52 | 1.463 % |
136.78/136.91 c | 167096 | 18525 112018 406224 | 2147483647 167087 52 | 1.463 % |
136.98/137.13 c | 167272 | 18525 112018 406224 | 2147483647 167263 52 | 1.463 % |
137.18/137.33 c | 167467 | 18525 112018 406224 | 2147483647 167458 52 | 1.463 % |
137.39/137.59 c | 167681 | 18525 112018 406224 | 2147483647 167672 52 | 1.463 % |
137.68/137.87 c | 167914 | 18525 112018 406224 | 2147483647 167905 52 | 1.463 % |
137.98/138.18 c | 168170 | 18525 112018 406224 | 2147483647 168161 52 | 1.463 % |
138.49/138.60 c | 168452 | 18525 112018 406224 | 2147483647 168443 52 | 1.463 % |
138.88/139.05 c | 168761 | 18525 112018 406224 | 2147483647 168752 52 | 1.463 % |
139.28/139.46 c | 169101 | 18525 112018 406224 | 2147483647 169092 52 | 1.463 % |
139.78/139.97 c | 169474 | 18525 112018 406224 | 2147483647 169465 52 | 1.463 % |
140.38/140.57 c | 169883 | 18525 112018 406224 | 2147483647 169874 52 | 1.463 % |
140.88/141.07 c | 170332 | 18525 112018 406224 | 2147483647 170323 52 | 1.463 % |
141.68/141.81 c | 170827 | 18525 112018 406224 | 2147483647 170818 52 | 1.463 % |
142.68/142.87 c | 171370 | 18525 112018 406224 | 2147483647 171361 52 | 1.463 % |
143.98/144.14 c | 171966 | 18525 112018 406224 | 2147483647 171957 52 | 1.463 % |
145.28/145.43 c | 172622 | 18525 112018 406224 | 2147483647 172613 52 | 1.463 % |
146.18/146.39 c | 173342 | 18525 112018 406224 | 2147483647 173333 52 | 1.463 % |
147.28/147.46 c | 174134 | 18525 112018 406224 | 2147483647 174125 52 | 1.463 % |
148.47/148.64 c | 175007 | 18525 112018 406224 | 2147483647 174998 52 | 1.463 % |
149.77/149.90 c | 175967 | 18525 112018 406224 | 2147483647 175958 52 | 1.463 % |
150.87/151.03 c | 177020 | 18525 112018 406224 | 2147483647 177011 52 | 1.463 % |
152.27/152.44 c | 178180 | 18525 112018 406224 | 2147483647 178171 52 | 1.463 % |
154.07/154.28 c | 179453 | 18525 112018 406224 | 2147483647 179444 52 | 1.463 % |
155.98/156.14 c | 180855 | 18525 112018 406224 | 2147483647 180846 52 | 1.463 % |
158.07/158.22 c | 182396 | 18525 112018 406224 | 2147483647 182387 52 | 1.463 % |
160.16/160.40 c | 184090 | 18525 112018 406224 | 2147483647 184081 52 | 1.463 % |
162.76/162.91 c | 185953 | 18525 112018 406224 | 2147483647 185944 52 | 1.463 % |
162.86/163.06 c | 186055 | 18525 112018 406224 | 2147483647 186046 52 | 1.463 % |
163.06/163.21 c | 186167 | 18525 112018 406224 | 2147483647 186158 52 | 1.463 % |
163.26/163.40 c | 186288 | 18525 112018 406224 | 2147483647 186279 52 | 1.463 % |
163.36/163.57 c | 186425 | 18525 112018 406224 | 2147483647 186416 52 | 1.463 % |
163.56/163.77 c | 186572 | 18525 112018 406224 | 2147483647 186563 52 | 1.463 % |
163.86/164.08 c | 186732 | 18525 112018 406224 | 2147483647 186723 52 | 1.463 % |
164.16/164.31 c | 186908 | 18525 112018 406224 | 2147483647 186899 52 | 1.463 % |
164.46/164.64 c | 187101 | 18525 112018 406224 | 2147483647 187092 52 | 1.463 % |
164.76/164.92 c | 187313 | 18525 112018 406224 | 2147483647 187304 52 | 1.463 % |
164.96/165.20 c | 187546 | 18525 112018 406224 | 2147483647 187537 52 | 1.463 % |
165.36/165.57 c | 187804 | 18525 112018 406224 | 2147483647 187795 52 | 1.463 % |
165.96/166.12 c | 188085 | 18525 112018 406224 | 2147483647 188076 52 | 1.463 % |
166.36/166.58 c | 188394 | 18525 112018 406224 | 2147483647 188385 52 | 1.463 % |
166.86/167.08 c | 188733 | 18525 112018 406224 | 2147483647 188724 52 | 1.463 % |
166.96/167.18 c | 189105 | 18525 112018 406224 | 2147483647 189096 52 | 1.463 % |
167.77/167.96 c | 189517 | 18525 112018 406224 | 2147483647 189508 52 | 1.463 % |
168.46/168.62 c | 189966 | 18525 112018 406224 | 2147483647 189957 52 | 1.463 % |
169.17/169.36 c | 190459 | 18525 112018 406224 | 2147483647 190450 52 | 1.463 % |
169.86/170.04 c | 191001 | 18525 112018 406224 | 2147483647 190992 52 | 1.463 % |
171.06/171.29 c | 191599 | 18525 112018 406224 | 2147483647 191590 52 | 1.463 % |
172.36/172.55 c | 192254 | 18525 112018 406224 | 2147483647 192245 52 | 1.463 % |
173.46/173.62 c | 192974 | 18525 112018 406224 | 2147483647 192965 52 | 1.463 % |
174.56/174.80 c | 193768 | 18525 112018 406224 | 2147483647 193759 52 | 1.463 % |
175.86/176.05 c | 194640 | 18525 112018 406224 | 2147483647 194631 52 | 1.463 % |
177.25/177.50 c | 195599 | 18525 112018 406224 | 2147483647 195590 52 | 1.463 % |
178.85/179.04 c | 196653 | 18525 112018 406224 | 2147483647 196644 52 | 1.463 % |
180.65/180.89 c | 197811 | 18525 112018 406224 | 2147483647 197802 52 | 1.463 % |
182.45/182.66 c | 199084 | 18525 112018 406224 | 2147483647 199075 52 | 1.463 % |
184.66/184.83 c | 200487 | 18525 112018 406224 | 2147483647 200478 52 | 1.463 % |
186.06/186.22 c | 202027 | 18525 112018 406224 | 2147483647 202018 52 | 1.463 % |
188.36/188.55 c | 203722 | 18525 112018 406224 | 2147483647 203713 52 | 1.463 % |
191.56/191.73 c | 205585 | 18525 112018 406224 | 2147483647 205576 52 | 1.463 % |
195.75/195.96 c | 207634 | 18525 112018 406224 | 2147483647 207625 52 | 1.463 % |
196.05/196.20 c | 207734 | 18525 112018 406224 | 2147483647 207725 52 | 1.463 % |
196.15/196.30 c | 207845 | 18525 112018 406224 | 2147483647 207836 52 | 1.463 % |
196.15/196.39 c | 207966 | 18525 112018 406224 | 2147483647 207957 52 | 1.463 % |
196.45/196.61 c | 208100 | 18525 112018 406224 | 2147483647 208091 52 | 1.463 % |
196.45/196.69 c | 208247 | 18525 112018 406224 | 2147483647 208238 52 | 1.463 % |
196.76/196.94 c | 208407 | 18525 112018 406224 | 2147483647 208398 52 | 1.463 % |
197.05/197.24 c | 208583 | 18525 112018 406224 | 2147483647 208574 52 | 1.463 % |
197.45/197.61 c | 208777 | 18525 112018 406224 | 2147483647 208768 52 | 1.463 % |
197.86/198.01 c | 208991 | 18525 112018 406224 | 2147483647 208982 52 | 1.463 % |
198.25/198.49 c | 209226 | 18525 112018 406224 | 2147483647 209217 52 | 1.463 % |
198.85/199.05 c | 209482 | 18525 112018 406224 | 2147483647 209473 52 | 1.463 % |
199.25/199.45 c | 209763 | 18525 112018 406224 | 2147483647 209754 52 | 1.463 % |
199.75/199.90 c | 210072 | 18525 112018 406224 | 2147483647 210063 52 | 1.463 % |
200.35/200.59 c | 210414 | 18525 112018 406224 | 2147483647 210405 52 | 1.463 % |
201.15/201.30 c | 210786 | 18525 112018 406224 | 2147483647 210777 52 | 1.463 % |
202.05/202.26 c | 211196 | 18525 112018 406224 | 2147483647 211187 52 | 1.463 % |
202.85/203.06 c | 211645 | 18525 112018 406224 | 2147483647 211636 52 | 1.463 % |
203.75/203.93 c | 212139 | 18525 112018 406224 | 2147483647 212130 52 | 1.463 % |
204.64/204.84 c | 212682 | 18525 112018 406224 | 2147483647 212673 52 | 1.463 % |
205.44/205.65 c | 213279 | 18525 112018 406224 | 2147483647 213270 52 | 1.463 % |
206.84/207.08 c | 213934 | 18525 112018 406224 | 2147483647 213925 52 | 1.463 % |
208.14/208.33 c | 214654 | 18525 112018 406224 | 2147483647 214645 52 | 1.463 % |
209.24/209.48 c | 215452 | 18525 112018 406224 | 2147483647 215443 52 | 1.463 % |
210.14/210.30 c | 216324 | 18525 112018 406224 | 2147483647 216315 52 | 1.463 % |
211.14/211.33 c | 217283 | 18525 112018 406224 | 2147483647 217274 52 | 1.463 % |
212.33/212.52 c | 218336 | 18525 112018 406224 | 2147483647 218327 52 | 1.463 % |
213.53/213.71 c | 219494 | 18525 112018 406224 | 2147483647 219485 52 | 1.463 % |
214.83/215.02 c | 220767 | 18525 112018 406224 | 2147483647 220758 52 | 1.463 % |
217.34/217.57 c | 222167 | 18525 112018 406224 | 2147483647 222158 52 | 1.463 % |
220.84/221.04 c | 223708 | 18525 112018 406224 | 2147483647 223699 53 | 1.463 % |
224.14/224.30 c | 225402 | 18525 112018 406224 | 2147483647 225393 53 | 1.463 % |
227.44/227.69 c | 227266 | 18525 112018 406224 | 2147483647 227257 53 | 1.463 % |
230.63/230.89 c | 229317 | 18525 112018 406224 | 2147483647 229308 52 | 1.463 % |
234.43/234.61 c | 231571 | 18525 112018 406224 | 2147483647 231562 52 | 1.463 % |
234.53/234.79 c | 231672 | 18525 112018 406224 | 2147483647 231663 52 | 1.463 % |
234.73/234.94 c | 231783 | 18525 112018 406224 | 2147483647 231774 52 | 1.463 % |
234.93/235.13 c | 231904 | 18525 112018 406224 | 2147483647 231895 52 | 1.463 % |
235.13/235.36 c | 232037 | 18525 112018 406224 | 2147483647 232028 52 | 1.463 % |
235.43/235.68 c | 232183 | 18525 112018 406224 | 2147483647 232174 52 | 1.463 % |
235.63/235.89 c | 232343 | 18525 112018 406224 | 2147483647 232334 52 | 1.463 % |
235.93/236.14 c | 232519 | 18525 112018 406224 | 2147483647 232510 52 | 1.463 % |
236.23/236.49 c | 232712 | 18525 112018 406224 | 2147483647 232703 52 | 1.463 % |
236.63/236.82 c | 232924 | 18525 112018 406224 | 2147483647 232915 52 | 1.463 % |
237.03/237.21 c | 233158 | 18525 112018 406224 | 2147483647 233149 52 | 1.463 % |
237.53/237.76 c | 233414 | 18525 112018 406224 | 2147483647 233405 52 | 1.463 % |
238.13/238.39 c | 233696 | 18525 112018 406224 | 2147483647 233687 52 | 1.463 % |
238.82/239.00 c | 234005 | 18525 112018 406224 | 2147483647 233996 52 | 1.463 % |
239.43/239.69 c | 234347 | 18525 112018 406224 | 2147483647 234338 52 | 1.463 % |
240.23/240.40 c | 234721 | 18525 112018 406224 | 2147483647 234712 52 | 1.463 % |
240.93/241.10 c | 235132 | 18525 112018 406224 | 2147483647 235123 52 | 1.463 % |
241.53/241.74 c | 235582 | 18525 112018 406224 | 2147483647 235573 52 | 1.463 % |
242.33/242.54 c | 236077 | 18525 112018 406224 | 2147483647 236068 52 | 1.463 % |
243.23/243.44 c | 236619 | 18525 112018 406224 | 2147483647 236610 52 | 1.463 % |
244.33/244.53 c | 237215 | 18525 112018 406224 | 2147483647 237206 52 | 1.463 % |
245.43/245.64 c | 237870 | 18525 112018 406224 | 2147483647 237861 52 | 1.463 % |
247.03/247.22 c | 238590 | 18525 112018 406224 | 2147483647 238581 52 | 1.463 % |
248.43/248.70 c | 239384 | 18525 112018 406224 | 2147483647 239375 52 | 1.463 % |
249.72/249.96 c | 240256 | 18525 112018 406224 | 2147483647 240247 52 | 1.463 % |
250.52/250.79 c | 241216 | 18525 112018 406224 | 2147483647 241207 52 | 1.463 % |
252.52/252.77 c | 242269 | 18525 112018 406224 | 2147483647 242260 52 | 1.463 % |
255.62/255.86 c | 243427 | 18525 112018 406224 | 2147483647 243418 52 | 1.463 % |
257.91/258.16 c | 244700 | 18525 112018 406224 | 2147483647 244691 52 | 1.463 % |
260.91/261.18 c | 246100 | 18525 112018 406224 | 2147483647 246091 52 | 1.463 % |
262.62/262.88 c | 247643 | 18525 112018 406224 | 2147483647 247634 52 | 1.463 % |
266.02/266.23 c | 249338 | 18525 112018 406224 | 2147483647 249329 52 | 1.463 % |
269.52/269.80 c | 251201 | 18525 112018 406224 | 2147483647 251192 52 | 1.463 % |
274.81/275.05 c | 253251 | 18525 112018 406224 | 2147483647 253242 53 | 1.463 % |
278.71/278.95 c | 255504 | 18525 112018 406224 | 2147483647 255495 53 | 1.463 % |
282.31/282.59 c | 257982 | 18525 112018 406224 | 2147483647 257973 53 | 1.463 % |
282.51/282.76 c | 258082 | 18525 112018 406224 | 2147483647 258073 53 | 1.463 % |
282.81/283.05 c | 258192 | 18525 112018 406224 | 2147483647 258183 53 | 1.463 % |
283.21/283.42 c | 258313 | 18525 112018 406224 | 2147483647 258304 53 | 1.463 % |
283.51/283.73 c | 258449 | 18525 112018 406224 | 2147483647 258440 53 | 1.463 % |
283.81/284.06 c | 258598 | 18525 112018 406224 | 2147483647 258589 53 | 1.463 % |
284.41/284.61 c | 258758 | 18525 112018 406224 | 2147483647 258749 53 | 1.463 % |
284.81/285.00 c | 258934 | 18525 112018 406224 | 2147483647 258925 53 | 1.463 % |
285.11/285.31 c | 259127 | 18525 112018 406224 | 2147483647 259118 53 | 1.463 % |
285.60/285.89 c | 259341 | 18525 112018 406224 | 2147483647 259332 53 | 1.463 % |
286.20/286.40 c | 259574 | 18525 112018 406224 | 2147483647 259565 53 | 1.463 % |
286.81/287.08 c | 259830 | 18525 112018 406224 | 2147483647 259821 53 | 1.463 % |
287.40/287.68 c | 260111 | 18525 112018 406224 | 259991 260102 53 | 1.463 % |
288.10/288.32 c | 260422 | 18525 112018 406224 | 259991 260413 53 | 1.463 % |
289.30/289.56 c | 260761 | 18525 112018 406224 | 259991 229548 53 | 1.463 % |
289.90/290.17 c | 261135 | 18525 112018 406224 | 259991 229922 53 | 1.463 % |
290.70/290.90 c | 261546 | 18525 112018 406224 | 259991 230333 53 | 1.463 % |
291.70/291.93 c | 261996 | 18525 112018 406224 | 259991 230783 53 | 1.463 % |
292.90/293.16 c | 262491 | 18525 112018 406224 | 259991 231278 53 | 1.463 % |
293.70/293.94 c | 263035 | 18525 112018 406224 | 259991 231822 53 | 1.463 % |
294.60/294.84 c | 263632 | 18525 112018 406224 | 259991 232419 53 | 1.463 % |
295.99/296.25 c | 264287 | 18525 112018 406224 | 259991 233074 53 | 1.463 % |
297.69/297.96 c | 265007 | 18525 112018 406224 | 259991 233794 53 | 1.463 % |
299.09/299.40 c | 265800 | 18525 112018 406224 | 259991 234587 53 | 1.463 % |
300.49/300.76 c | 266671 | 18525 112018 406224 | 259991 235458 53 | 1.463 % |
301.79/302.05 c | 267629 | 18525 112018 406224 | 259991 236416 53 | 1.463 % |
303.09/303.37 c | 268682 | 18525 112018 406224 | 259991 237469 53 | 1.463 % |
304.79/305.09 c | 269843 | 18525 112018 406224 | 259991 238630 53 | 1.463 % |
308.29/308.57 c | 271117 | 18525 112018 406224 | 2147483647 239904 54 | 1.463 % |
311.39/311.69 c | 272517 | 18525 112018 406224 | 2147483647 241304 54 | 1.463 % |
314.29/314.53 c | 274059 | 18525 112018 406224 | 2147483647 242846 54 | 1.463 % |
319.28/319.50 c | 275753 | 18525 112018 406224 | 2147483647 244540 54 | 1.463 % |
323.58/323.87 c | 277619 | 18525 112018 406224 | 2147483647 246406 54 | 1.463 % |
327.18/327.42 c | 279668 | 18525 112018 406224 | 2147483647 248455 54 | 1.463 % |
334.48/334.75 c | 281923 | 18525 112018 406224 | 2147483647 250710 55 | 1.463 % |
339.07/339.30 c | 284401 | 18525 112018 406224 | 2147483647 253188 55 | 1.463 % |
342.77/343.06 c | 287126 | 18525 112018 406224 | 2147483647 255913 54 | 1.463 % |
342.98/343.23 c | 287226 | 18525 112018 406224 | 2147483647 256013 54 | 1.463 % |
343.17/343.41 c | 287336 | 18525 112018 406224 | 2147483647 256123 54 | 1.463 % |
343.37/343.64 c | 287457 | 18525 112018 406224 | 2147483647 256244 54 | 1.463 % |
343.57/343.90 c | 287593 | 18525 112018 406224 | 2147483647 256380 54 | 1.463 % |
343.97/344.21 c | 287740 | 18525 112018 406224 | 2147483647 256527 54 | 1.463 % |
344.17/344.40 c | 287900 | 18525 112018 406224 | 2147483647 256687 54 | 1.463 % |
344.37/344.69 c | 288078 | 18525 112018 406224 | 2147483647 256865 54 | 1.463 % |
344.87/345.13 c | 288274 | 18525 112018 406224 | 2147483647 257061 54 | 1.463 % |
345.37/345.68 c | 288487 | 18525 112018 406224 | 2147483647 257274 54 | 1.463 % |
345.87/346.13 c | 288723 | 18525 112018 406224 | 2147483647 257510 54 | 1.463 % |
346.17/346.48 c | 288980 | 18525 112018 406224 | 2147483647 257767 54 | 1.463 % |
346.87/347.14 c | 289261 | 18525 112018 406224 | 2147483647 258048 54 | 1.463 % |
347.47/347.77 c | 289571 | 18525 112018 406224 | 2147483647 258358 54 | 1.463 % |
348.38/348.60 c | 289911 | 18525 112018 406224 | 2147483647 258698 54 | 1.463 % |
349.48/349.78 c | 290284 | 18525 112018 406224 | 2147483647 259071 54 | 1.463 % |
350.58/350.81 c | 290693 | 18525 112018 406224 | 2147483647 259480 54 | 1.463 % |
351.47/351.71 c | 291144 | 18525 112018 406224 | 2147483647 259931 54 | 1.463 % |
352.88/353.15 c | 291637 | 18525 112018 406224 | 2147483647 260424 54 | 1.463 % |
354.27/354.59 c | 292181 | 18525 112018 406224 | 2147483647 260968 54 | 1.463 % |
355.37/355.68 c | 292778 | 18525 112018 406224 | 2147483647 261565 54 | 1.463 % |
356.57/356.82 c | 293433 | 18525 112018 406224 | 2147483647 262220 54 | 1.463 % |
357.87/358.19 c | 294153 | 18525 112018 406224 | 2147483647 262940 54 | 1.463 % |
359.07/359.38 c | 294945 | 18525 112018 406224 | 2147483647 263732 54 | 1.463 % |
360.27/360.59 c | 295817 | 18525 112018 406224 | 2147483647 264604 54 | 1.463 % |
362.67/362.98 c | 296776 | 18525 112018 406224 | 2147483647 265563 54 | 1.463 % |
364.76/365.02 c | 297830 | 18525 112018 406224 | 2147483647 266617 54 | 1.463 % |
367.17/367.49 c | 298989 | 18525 112018 406224 | 2147483647 267776 54 | 1.463 % |
369.46/369.72 c | 300262 | 18525 112018 406224 | 2147483647 269049 54 | 1.463 % |
371.76/372.08 c | 301662 | 18525 112018 406224 | 2147483647 270449 54 | 1.463 % |
374.36/374.61 c | 303204 | 18525 112018 406224 | 2147483647 271991 54 | 1.463 % |
377.16/377.46 c | 304898 | 18525 112018 406224 | 2147483647 273685 54 | 1.463 % |
380.56/380.90 c | 306762 | 18525 112018 406224 | 2147483647 275549 54 | 1.463 % |
385.05/385.33 c | 308813 | 18525 112018 406224 | 2147483647 277600 54 | 1.463 % |
390.05/390.30 c | 311066 | 18525 112018 406224 | 2147483647 279853 54 | 1.463 % |
395.15/395.50 c | 313545 | 18525 112018 406224 | 2147483647 282332 54 | 1.463 % |
400.84/401.18 c | 316270 | 18525 112018 406224 | 2147483647 285057 54 | 1.463 % |
408.15/408.46 c | 319270 | 18525 112018 406224 | 2147483647 288057 53 | 1.463 % |
408.35/408.61 c | 319371 | 18525 112018 406224 | 2147483647 288158 53 | 1.463 % |
408.45/408.80 c | 319483 | 18525 112018 406224 | 2147483647 288270 53 | 1.463 % |
408.75/409.00 c | 319605 | 18525 112018 406224 | 2147483647 288392 53 | 1.463 % |
408.95/409.25 c | 319739 | 18525 112018 406224 | 2147483647 288526 53 | 1.463 % |
409.15/409.47 c | 319887 | 18525 112018 406224 | 2147483647 288674 53 | 1.463 % |
409.35/409.68 c | 320047 | 18525 112018 406224 | 2147483647 288834 53 | 1.463 % |
409.75/410.09 c | 320223 | 18525 112018 406224 | 2147483647 289010 53 | 1.463 % |
410.05/410.39 c | 320417 | 18525 112018 406224 | 2147483647 289204 53 | 1.463 % |
410.65/410.93 c | 320630 | 18525 112018 406224 | 2147483647 289417 53 | 1.463 % |
411.15/411.49 c | 320864 | 18525 112018 406224 | 2147483647 289651 53 | 1.463 % |
411.74/412.03 c | 321120 | 18525 112018 406224 | 2147483647 289907 53 | 1.463 % |
412.84/413.19 c | 321402 | 18525 112018 406224 | 2147483647 290189 53 | 1.463 % |
413.84/414.18 c | 321712 | 18525 112018 406224 | 2147483647 290499 53 | 1.463 % |
414.45/414.78 c | 322051 | 18525 112018 406224 | 2147483647 290838 53 | 1.463 % |
415.34/415.66 c | 322423 | 18525 112018 406224 | 2147483647 291210 53 | 1.463 % |
416.54/416.86 c | 322832 | 18525 112018 406224 | 2147483647 291619 53 | 1.463 % |
417.64/417.98 c | 323282 | 18525 112018 406224 | 2147483647 292069 53 | 1.463 % |
418.64/418.95 c | 323776 | 18525 112018 406224 | 2147483647 292563 53 | 1.463 % |
420.14/420.42 c | 324319 | 18525 112018 406224 | 2147483647 293106 53 | 1.463 % |
421.34/421.62 c | 324916 | 18525 112018 406224 | 2147483647 293703 53 | 1.463 % |
423.14/423.50 c | 325573 | 18525 112018 406224 | 2147483647 294360 53 | 1.463 % |
425.24/425.52 c | 326294 | 18525 112018 406224 | 2147483647 295081 53 | 1.463 % |
427.44/427.75 c | 327088 | 18525 112018 406224 | 2147483647 295875 53 | 1.463 % |
429.13/429.43 c | 327959 | 18525 112018 406224 | 2147483647 296746 53 | 1.463 % |
431.63/431.92 c | 328917 | 18525 112018 406224 | 2147483647 297704 54 | 1.463 % |
434.23/434.57 c | 329971 | 18525 112018 406224 | 2147483647 298758 54 | 1.463 % |
437.22/437.55 c | 331131 | 18525 112018 406224 | 2147483647 299918 54 | 1.463 % |
440.62/440.98 c | 332404 | 18525 112018 406224 | 2147483647 301191 54 | 1.463 % |
444.42/444.79 c | 333806 | 18525 112018 406224 | 2147483647 302593 53 | 1.463 % |
448.32/448.61 c | 335347 | 18525 112018 406224 | 2147483647 304134 53 | 1.463 % |
452.62/452.94 c | 337043 | 18525 112018 406224 | 2147483647 305830 53 | 1.463 % |
456.72/457.05 c | 338906 | 18525 112018 406224 | 2147483647 307693 53 | 1.463 % |
463.62/463.93 c | 340955 | 18525 112018 406224 | 308787 309742 54 | 1.463 % |
470.22/470.51 c | 343211 | 18525 112018 406224 | 308787 270678 52 | 1.463 % |
475.81/476.17 c | 345690 | 18525 112018 406224 | 308787 273157 52 | 1.463 % |
480.71/481.08 c | 348416 | 18525 112018 406224 | 308787 275883 52 | 1.463 % |
486.61/486.96 c | 351414 | 18525 112018 406224 | 2147483647 278881 52 | 1.463 % |
492.91/493.25 c | 354711 | 18525 112018 406224 | 2147483647 282178 52 | 1.463 % |
493.21/493.55 c | 354813 | 18525 112018 406224 | 2147483647 282280 52 | 1.463 % |
493.51/493.86 c | 354923 | 18525 112018 406224 | 2147483647 282390 52 | 1.463 % |
493.81/494.19 c | 355044 | 18525 112018 406224 | 2147483647 282511 52 | 1.463 % |
494.21/494.56 c | 355177 | 18525 112018 406224 | 2147483647 282644 52 | 1.463 % |
494.51/494.85 c | 355324 | 18525 112018 406224 | 2147483647 282791 52 | 1.463 % |
494.90/495.21 c | 355484 | 18525 112018 406224 | 2147483647 282951 52 | 1.463 % |
495.20/495.56 c | 355660 | 18525 112018 406224 | 2147483647 283127 52 | 1.463 % |
495.61/495.94 c | 355853 | 18525 112018 406224 | 2147483647 283320 52 | 1.463 % |
496.00/496.39 c | 356065 | 18525 112018 406224 | 2147483647 283532 52 | 1.463 % |
496.70/497.03 c | 356299 | 18525 112018 406224 | 2147483647 283766 52 | 1.463 % |
497.20/497.57 c | 356561 | 18525 112018 406224 | 2147483647 284028 52 | 1.463 % |
497.91/498.27 c | 356845 | 18525 112018 406224 | 2147483647 284312 52 | 1.463 % |
498.80/499.14 c | 357154 | 18525 112018 406224 | 2147483647 284621 52 | 1.463 % |
499.50/499.88 c | 357496 | 18525 112018 406224 | 2147483647 284963 52 | 1.463 % |
500.50/500.89 c | 357868 | 18525 112018 406224 | 2147483647 285335 52 | 1.463 % |
501.50/501.85 c | 358279 | 18525 112018 406224 | 2147483647 285746 52 | 1.463 % |
502.31/502.63 c | 358728 | 18525 112018 406224 | 2147483647 286195 52 | 1.463 % |
503.30/503.69 c | 359221 | 18525 112018 406224 | 2147483647 286688 52 | 1.463 % |
504.30/504.67 c | 359763 | 18525 112018 406224 | 2147483647 287230 52 | 1.463 % |
505.80/506.13 c | 360363 | 18525 112018 406224 | 2147483647 287830 52 | 1.463 % |
507.20/507.58 c | 361019 | 18525 112018 406224 | 2147483647 288486 52 | 1.463 % |
509.00/509.32 c | 361743 | 18525 112018 406224 | 2147483647 289210 52 | 1.463 % |
510.70/511.10 c | 362536 | 18525 112018 406224 | 2147483647 290003 52 | 1.463 % |
512.70/513.07 c | 363413 | 18525 112018 406224 | 2147483647 290880 52 | 1.463 % |
514.70/515.07 c | 364374 | 18525 112018 406224 | 2147483647 291841 52 | 1.463 % |
516.90/517.27 c | 365427 | 18525 112018 406224 | 2147483647 292894 52 | 1.463 % |
518.99/519.39 c | 366585 | 18525 112018 406224 | 2147483647 294052 52 | 1.463 % |
522.10/522.45 c | 367859 | 18525 112018 406224 | 2147483647 295326 52 | 1.463 % |
525.59/525.91 c | 369262 | 18525 112018 406224 | 2147483647 296729 52 | 1.463 % |
528.80/529.11 c | 370802 | 18525 112018 406224 | 2147483647 298269 52 | 1.463 % |
532.39/532.77 c | 372496 | 18525 112018 406224 | 2147483647 299963 52 | 1.463 % |
537.19/537.58 c | 374359 | 18525 112018 406224 | 2147483647 301826 51 | 1.463 % |
542.49/542.82 c | 376409 | 18525 112018 406224 | 2147483647 303876 51 | 1.463 % |
547.59/547.99 c | 378663 | 18525 112018 406224 | 2147483647 306130 51 | 1.463 % |
552.99/553.38 c | 381142 | 18525 112018 406224 | 2147483647 308609 51 | 1.463 % |
559.78/560.11 c | 383867 | 18525 112018 406224 | 2147483647 311334 51 | 1.463 % |
567.47/567.81 c | 386864 | 18525 112018 406224 | 2147483647 314331 51 | 1.463 % |
575.97/576.31 c | 390161 | 18525 112018 406224 | 2147483647 317628 51 | 1.463 % |
583.37/583.78 c | 393787 | 18525 112018 406224 | 2147483647 321254 51 | 1.463 % |
583.67/584.05 c | 393888 | 18525 112018 406224 | 2147483647 321355 51 | 1.463 % |
583.96/584.31 c | 394001 | 18525 112018 406224 | 2147483647 321468 51 | 1.463 % |
584.16/584.53 c | 394122 | 18525 112018 406224 | 2147483647 321589 51 | 1.463 % |
584.46/584.83 c | 394257 | 18525 112018 406224 | 2147483647 321724 51 | 1.463 % |
584.87/585.23 c | 394403 | 18525 112018 406224 | 2147483647 321870 51 | 1.463 % |
585.26/585.63 c | 394564 | 18525 112018 406224 | 2147483647 322031 51 | 1.463 % |
585.46/585.88 c | 394742 | 18525 112018 406224 | 2147483647 322209 51 | 1.463 % |
585.87/586.22 c | 394935 | 18525 112018 406224 | 2147483647 322402 51 | 1.463 % |
586.36/586.71 c | 395147 | 18525 112018 406224 | 2147483647 322614 51 | 1.463 % |
586.97/587.36 c | 395381 | 18525 112018 406224 | 2147483647 322848 51 | 1.463 % |
587.46/587.87 c | 395637 | 18525 112018 406224 | 2147483647 323104 51 | 1.463 % |
588.17/588.55 c | 395918 | 18525 112018 406224 | 2147483647 323385 51 | 1.463 % |
588.76/589.11 c | 396227 | 18525 112018 406224 | 2147483647 323694 51 | 1.463 % |
589.26/589.69 c | 396566 | 18525 112018 406224 | 2147483647 324033 51 | 1.463 % |
589.96/590.36 c | 396944 | 18525 112018 406224 | 2147483647 324411 51 | 1.463 % |
590.76/591.19 c | 397354 | 18525 112018 406224 | 2147483647 324821 51 | 1.463 % |
591.96/592.30 c | 397803 | 18525 112018 406224 | 2147483647 325270 51 | 1.463 % |
593.66/594.01 c | 398297 | 18525 112018 406224 | 2147483647 325764 51 | 1.463 % |
595.06/595.40 c | 398842 | 18525 112018 406224 | 2147483647 326309 51 | 1.463 % |
595.86/596.20 c | 399438 | 18525 112018 406224 | 2147483647 326905 51 | 1.463 % |
596.76/597.17 c | 400093 | 18525 112018 406224 | 2147483647 327560 51 | 1.463 % |
599.16/599.59 c | 400813 | 18525 112018 406224 | 2147483647 328280 51 | 1.463 % |
601.05/601.43 c | 401609 | 18525 112018 406224 | 2147483647 329076 51 | 1.463 % |
603.85/604.20 c | 402480 | 18525 112018 406224 | 2147483647 329947 51 | 1.463 % |
605.85/606.27 c | 403438 | 18525 112018 406224 | 2147483647 330905 51 | 1.463 % |
608.45/608.83 c | 404493 | 18525 112018 406224 | 2147483647 331960 51 | 1.463 % |
611.85/612.25 c | 405651 | 18525 112018 406224 | 2147483647 333118 51 | 1.463 % |
614.85/615.23 c | 406924 | 18525 112018 406224 | 2147483647 334391 51 | 1.463 % |
617.75/618.12 c | 408325 | 18525 112018 406224 | 2147483647 335792 51 | 1.463 % |
620.95/621.37 c | 409868 | 18525 112018 406224 | 2147483647 337335 51 | 1.463 % |
625.35/625.79 c | 411563 | 18525 112018 406224 | 337467 339030 51 | 1.463 % |
632.25/632.68 c | 413426 | 18525 112018 406224 | 337467 306990 49 | 1.463 % |
637.34/637.74 c | 415478 | 18525 112018 406224 | 337467 309042 49 | 1.463 % |
642.54/642.91 c | 417734 | 18525 112018 406224 | 337467 311298 49 | 1.463 % |
647.74/648.18 c | 420213 | 18525 112018 406224 | 2147483647 313777 49 | 1.463 % |
654.93/655.33 c | 422938 | 18525 112018 406224 | 2147483647 316502 49 | 1.463 % |
663.13/663.55 c | 425937 | 18525 112018 406224 | 2147483647 319501 49 | 1.463 % |
670.93/671.30 c | 429233 | 18525 112018 406224 | 2147483647 322797 49 | 1.463 % |
678.93/679.36 c | 432858 | 18525 112018 406224 | 2147483647 326422 49 | 1.463 % |
688.52/688.96 c | 436845 | 18525 112018 406224 | 2147483647 330409 49 | 1.463 % |
688.82/689.29 c | 436946 | 18525 112018 406224 | 2147483647 330510 49 | 1.463 % |
689.33/689.77 c | 437056 | 18525 112018 406224 | 2147483647 330620 49 | 1.463 % |
689.62/690.09 c | 437177 | 18525 112018 406224 | 2147483647 330741 49 | 1.463 % |
690.02/690.42 c | 437310 | 18525 112018 406224 | 2147483647 330874 49 | 1.463 % |
690.52/690.94 c | 437458 | 18525 112018 406224 | 2147483647 331022 49 | 1.463 % |
690.82/691.24 c | 437618 | 18525 112018 406224 | 2147483647 331182 49 | 1.463 % |
691.12/691.55 c | 437795 | 18525 112018 406224 | 2147483647 331359 49 | 1.463 % |
691.62/692.07 c | 437989 | 18525 112018 406224 | 2147483647 331553 49 | 1.463 % |
692.12/692.50 c | 438203 | 18525 112018 406224 | 2147483647 331767 49 | 1.463 % |
692.63/693.03 c | 438437 | 18525 112018 406224 | 2147483647 332001 49 | 1.463 % |
693.22/693.63 c | 438695 | 18525 112018 406224 | 2147483647 332259 49 | 1.463 % |
693.82/694.24 c | 438977 | 18525 112018 406224 | 2147483647 332541 49 | 1.463 % |
694.52/694.97 c | 439287 | 18525 112018 406224 | 2147483647 332851 49 | 1.463 % |
695.42/695.80 c | 439628 | 18525 112018 406224 | 2147483647 333192 49 | 1.463 % |
696.42/696.86 c | 440000 | 18525 112018 406224 | 2147483647 333564 49 | 1.463 % |
697.62/698.06 c | 440411 | 18525 112018 406224 | 2147483647 333975 49 | 1.463 % |
698.82/699.20 c | 440861 | 18525 112018 406224 | 2147483647 334425 49 | 1.463 % |
699.91/700.32 c | 441354 | 18525 112018 406224 | 2147483647 334918 49 | 1.463 % |
701.01/701.46 c | 441896 | 18525 112018 406224 | 2147483647 335460 49 | 1.463 % |
702.61/703.00 c | 442492 | 18525 112018 406224 | 2147483647 336056 49 | 1.463 % |
704.21/704.64 c | 443147 | 18525 112018 406224 | 2147483647 336711 49 | 1.463 % |
706.21/706.67 c | 443868 | 18525 112018 406224 | 2147483647 337432 49 | 1.463 % |
708.61/709.01 c | 444661 | 18525 112018 406224 | 2147483647 338225 49 | 1.463 % |
710.71/711.12 c | 445532 | 18525 112018 406224 | 2147483647 339096 49 | 1.463 % |
712.41/712.84 c | 446491 | 18525 112018 406224 | 2147483647 340055 49 | 1.463 % |
713.81/714.25 c | 447545 | 18525 112018 406224 | 2147483647 341109 49 | 1.463 % |
717.01/717.48 c | 448703 | 18525 112018 406224 | 2147483647 342267 49 | 1.463 % |
719.01/719.48 c | 449978 | 18525 112018 406224 | 2147483647 343542 49 | 1.463 % |
720.91/721.39 c | 451382 | 18525 112018 406224 | 2147483647 344946 49 | 1.463 % |
724.11/724.53 c | 452924 | 18525 112018 406224 | 2147483647 346488 49 | 1.463 % |
727.60/728.03 c | 454618 | 18525 112018 406224 | 2147483647 348182 49 | 1.463 % |
732.00/732.50 c | 456482 | 18525 112018 406224 | 2147483647 350046 49 | 1.463 % |
735.60/736.06 c | 458533 | 18525 112018 406224 | 2147483647 352097 49 | 1.463 % |
738.80/739.23 c | 460787 | 18525 112018 406224 | 2147483647 354351 49 | 1.463 % |
743.90/744.33 c | 463266 | 18525 112018 406224 | 2147483647 356830 50 | 1.463 % |
749.59/750.06 c | 465992 | 18525 112018 406224 | 2147483647 359556 50 | 1.463 % |
756.39/756.82 c | 468989 | 18525 112018 406224 | 2147483647 362553 50 | 1.463 % |
763.68/764.10 c | 472285 | 18525 112018 406224 | 2147483647 365849 50 | 1.463 % |
772.48/772.91 c | 475911 | 18525 112018 406224 | 2147483647 369475 50 | 1.463 % |
782.18/782.60 c | 479898 | 18525 112018 406224 | 2147483647 373462 51 | 1.463 % |
794.47/794.91 c | 484288 | 18525 112018 406224 | 2147483647 377852 51 | 1.463 % |
794.67/795.17 c | 484388 | 18525 112018 406224 | 2147483647 377952 51 | 1.463 % |
794.97/795.45 c | 484499 | 18525 112018 406224 | 2147483647 378063 51 | 1.463 % |
795.27/795.79 c | 484621 | 18525 112018 406224 | 2147483647 378185 51 | 1.463 % |
795.67/796.19 c | 484754 | 18525 112018 406224 | 2147483647 378318 51 | 1.463 % |
796.27/796.76 c | 484900 | 18525 112018 406224 | 2147483647 378464 51 | 1.463 % |
796.67/797.18 c | 485061 | 18525 112018 406224 | 2147483647 378625 51 | 1.463 % |
797.27/797.76 c | 485238 | 18525 112018 406224 | 2147483647 378802 51 | 1.463 % |
797.76/798.20 c | 485432 | 18525 112018 406224 | 2147483647 378996 51 | 1.463 % |
798.17/798.68 c | 485645 | 18525 112018 406224 | 2147483647 379209 51 | 1.463 % |
798.76/799.28 c | 485879 | 18525 112018 406224 | 2147483647 379443 51 | 1.463 % |
799.36/799.85 c | 486137 | 18525 112018 406224 | 2147483647 379701 51 | 1.463 % |
800.16/800.60 c | 486419 | 18525 112018 406224 | 2147483647 379983 51 | 1.463 % |
800.66/801.10 c | 486729 | 18525 112018 406224 | 2147483647 380293 51 | 1.463 % |
801.56/802.02 c | 487069 | 18525 112018 406224 | 2147483647 380633 51 | 1.463 % |
802.47/802.91 c | 487441 | 18525 112018 406224 | 2147483647 381005 51 | 1.463 % |
803.67/804.18 c | 487850 | 18525 112018 406224 | 2147483647 381414 51 | 1.463 % |
804.77/805.25 c | 488302 | 18525 112018 406224 | 2147483647 381866 51 | 1.463 % |
806.27/806.79 c | 488799 | 18525 112018 406224 | 2147483647 382363 51 | 1.463 % |
807.47/807.96 c | 489341 | 18525 112018 406224 | 2147483647 382905 51 | 1.463 % |
809.27/809.76 c | 489937 | 18525 112018 406224 | 2147483647 383501 51 | 1.463 % |
810.97/811.47 c | 490592 | 18525 112018 406224 | 383565 384156 51 | 1.463 % |
815.56/816.02 c | 491314 | 18525 112018 406224 | 383565 327095 49 | 1.463 % |
816.96/817.42 c | 492106 | 18525 112018 406224 | 383565 327887 49 | 1.463 % |
818.56/819.03 c | 492977 | 18525 112018 406224 | 383565 328758 49 | 1.463 % |
820.56/821.07 c | 493935 | 18525 112018 406224 | 383565 329716 49 | 1.463 % |
822.46/822.95 c | 494989 | 18525 112018 406224 | 383565 330770 49 | 1.463 % |
825.26/825.79 c | 496149 | 18525 112018 406224 | 383565 331930 50 | 1.463 % |
829.06/829.57 c | 497423 | 18525 112018 406224 | 383565 333204 50 | 1.463 % |
832.36/832.86 c | 498824 | 18525 112018 406224 | 383565 334605 50 | 1.463 % |
836.34/836.82 c | 500365 | 18525 112018 406224 | 2147483647 336146 50 | 1.463 % |
840.14/840.66 c | 502061 | 18525 112018 406224 | 2147483647 337842 50 | 1.463 % |
845.44/845.94 c | 503925 | 18525 112018 406224 | 2147483647 339706 50 | 1.463 % |
851.13/851.61 c | 505974 | 18525 112018 406224 | 2147483647 341755 50 | 1.463 % |
856.53/857.09 c | 508227 | 18525 112018 406224 | 2147483647 344008 50 | 1.463 % |
862.63/863.15 c | 510707 | 18525 112018 406224 | 2147483647 346488 50 | 1.463 % |
869.72/870.23 c | 513433 | 18525 112018 406224 | 2147483647 349214 50 | 1.463 % |
877.12/877.62 c | 516430 | 18525 112018 406224 | 2147483647 352211 50 | 1.463 % |
886.40/886.96 c | 519727 | 18525 112018 406224 | 2147483647 355508 50 | 1.463 % |
896.49/897.02 c | 523352 | 18525 112018 406224 | 2147483647 359133 50 | 1.463 % |
908.29/908.86 c | 527339 | 18525 112018 406224 | 2147483647 363120 50 | 1.463 % |
920.19/920.77 c | 531724 | 18525 112018 406224 | 2147483647 367505 50 | 1.463 % |
930.78/931.40 c | 536547 | 18525 112018 406224 | 2147483647 372328 50 | 1.463 % |
931.28/931.82 c | 536651 | 18525 112018 406224 | 2147483647 372432 50 | 1.463 % |
931.58/932.10 c | 536764 | 18525 112018 406224 | 2147483647 372545 50 | 1.463 % |
931.78/932.37 c | 536885 | 18525 112018 406224 | 2147483647 372666 50 | 1.463 % |
932.08/932.70 c | 537019 | 18525 112018 406224 | 2147483647 372800 50 | 1.463 % |
932.48/933.08 c | 537165 | 18525 112018 406224 | 2147483647 372946 50 | 1.463 % |
933.08/933.66 c | 537327 | 18525 112018 406224 | 2147483647 373108 50 | 1.463 % |
933.68/934.21 c | 537505 | 18525 112018 406224 | 2147483647 373286 50 | 1.463 % |
934.38/934.92 c | 537699 | 18525 112018 406224 | 2147483647 373480 50 | 1.463 % |
935.28/935.82 c | 537912 | 18525 112018 406224 | 2147483647 373693 50 | 1.463 % |
935.97/936.56 c | 538147 | 18525 112018 406224 | 2147483647 373928 50 | 1.463 % |
936.77/937.33 c | 538403 | 18525 112018 406224 | 2147483647 374184 50 | 1.463 % |
937.57/938.17 c | 538684 | 18525 112018 406224 | 2147483647 374465 50 | 1.463 % |
938.47/939.02 c | 538993 | 18525 112018 406224 | 2147483647 374774 50 | 1.463 % |
939.88/940.44 c | 539333 | 18525 112018 406224 | 2147483647 375114 50 | 1.463 % |
941.57/942.13 c | 539705 | 18525 112018 406224 | 2147483647 375486 50 | 1.463 % |
943.28/943.87 c | 540115 | 18525 112018 406224 | 2147483647 375896 50 | 1.463 % |
944.77/945.30 c | 540564 | 18525 112018 406224 | 2147483647 376345 50 | 1.463 % |
946.27/946.88 c | 541058 | 18525 112018 406224 | 2147483647 376839 50 | 1.463 % |
947.37/947.96 c | 541600 | 18525 112018 406224 | 2147483647 377381 50 | 1.463 % |
948.87/949.49 c | 542197 | 18525 112018 406224 | 2147483647 377978 50 | 1.463 % |
950.87/951.49 c | 542852 | 18525 112018 406224 | 2147483647 378633 50 | 1.463 % |
953.07/953.67 c | 543573 | 18525 112018 406224 | 2147483647 379354 50 | 1.463 % |
955.67/956.22 c | 544365 | 18525 112018 406224 | 2147483647 380146 50 | 1.463 % |
958.57/959.20 c | 545237 | 18525 112018 406224 | 2147483647 381018 50 | 1.463 % |
962.17/962.76 c | 546195 | 18525 112018 406224 | 2147483647 381976 50 | 1.463 % |
963.96/964.54 c | 547248 | 18525 112018 406224 | 2147483647 383029 50 | 1.463 % |
966.06/966.68 c | 548406 | 18525 112018 406224 | 2147483647 384187 50 | 1.463 % |
968.96/969.59 c | 549679 | 18525 112018 406224 | 2147483647 385460 50 | 1.463 % |
971.56/972.13 c | 551080 | 18525 112018 406224 | 2147483647 386861 50 | 1.463 % |
973.76/974.31 c | 552620 | 18525 112018 406224 | 2147483647 388401 50 | 1.463 % |
977.85/978.48 c | 554314 | 18525 112018 406224 | 2147483647 390095 50 | 1.463 % |
981.66/982.26 c | 556178 | 18525 112018 406224 | 2147483647 391959 50 | 1.463 % |
987.26/987.86 c | 558230 | 18525 112018 406224 | 2147483647 394011 50 | 1.463 % |
996.15/996.76 c | 560487 | 18525 112018 406224 | 2147483647 396268 50 | 1.463 % |
1004.35/1004.94 c | 562966 | 18525 112018 406224 | 2147483647 398747 50 | 1.463 % |
1010.44/1011.09 c | 565692 | 18525 112018 406224 | 2147483647 401473 50 | 1.463 % |
1020.34/1020.98 c | 568690 | 18525 112018 406224 | 2147483647 404471 50 | 1.463 % |
1029.43/1030.03 c | 571988 | 18525 112018 406224 | 405795 407769 50 | 1.463 % |
1042.13/1042.79 c | 575613 | 18525 112018 406224 | 405795 319956 50 | 1.463 % |
1050.73/1051.33 c | 579600 | 18525 112018 406224 | 405795 323943 50 | 1.463 % |
1059.52/1060.14 c | 583985 | 18525 112018 406224 | 2147483647 328328 51 | 1.463 % |
1069.51/1070.12 c | 588809 | 18525 112018 406224 | 2147483647 333152 51 | 1.463 % |
1082.91/1083.50 c | 594114 | 18525 112018 406224 | 334345 338457 51 | 1.463 % |
1084.51/1085.11 c | 594216 | 18525 112018 406224 | 334345 304714 51 | 1.463 % |
1084.81/1085.41 c | 594327 | 18525 112018 406224 | 334345 304825 51 | 1.463 % |
1085.21/1085.80 c | 594448 | 18525 112018 406224 | 334345 304946 51 | 1.463 % |
1085.41/1086.06 c | 594581 | 18525 112018 406224 | 334345 305079 51 | 1.463 % |
1085.81/1086.49 c | 594728 | 18525 112018 406224 | 334345 305226 51 | 1.463 % |
1086.31/1086.90 c | 594888 | 18525 112018 406224 | 334345 305386 51 | 1.463 % |
1086.71/1087.35 c | 595064 | 18525 112018 406224 | 334345 305562 51 | 1.463 % |
1087.31/1087.95 c | 595260 | 18525 112018 406224 | 334345 305758 51 | 1.463 % |
1087.81/1088.50 c | 595472 | 18525 112018 406224 | 334345 305970 51 | 1.463 % |
1088.51/1089.14 c | 595706 | 18525 112018 406224 | 334345 306204 51 | 1.463 % |
1089.21/1089.83 c | 595963 | 18525 112018 406224 | 334345 306461 51 | 1.463 % |
1090.01/1090.64 c | 596244 | 18525 112018 406224 | 334345 306742 51 | 1.463 % |
1091.11/1091.70 c | 596554 | 18525 112018 406224 | 334345 307052 51 | 1.463 % |
1091.91/1092.53 c | 596897 | 18525 112018 406224 | 334345 307395 51 | 1.463 % |
1092.91/1093.58 c | 597269 | 18525 112018 406224 | 334345 307767 51 | 1.463 % |
1094.11/1094.70 c | 597678 | 18525 112018 406224 | 334345 308176 51 | 1.463 % |
1095.01/1095.65 c | 598128 | 18525 112018 406224 | 334345 308626 51 | 1.463 % |
1096.20/1096.82 c | 598623 | 18525 112018 406224 | 334345 309121 51 | 1.463 % |
1097.80/1098.46 c | 599165 | 18525 112018 406224 | 334345 309663 51 | 1.463 % |
1099.31/1099.91 c | 599762 | 18525 112018 406224 | 334345 310260 51 | 1.463 % |
1100.60/1101.25 c | 600417 | 18525 112018 406224 | 2147483647 310915 51 | 1.463 % |
1102.70/1103.35 c | 601138 | 18525 112018 406224 | 2147483647 311636 51 | 1.463 % |
1105.09/1105.70 c | 601931 | 18525 112018 406224 | 2147483647 312429 51 | 1.463 % |
1107.49/1108.18 c | 602804 | 18525 112018 406224 | 2147483647 313302 51 | 1.463 % |
1109.79/1110.42 c | 603763 | 18525 112018 406224 | 2147483647 314261 51 | 1.463 % |
1112.69/1113.38 c | 604816 | 18525 112018 406224 | 2147483647 315314 51 | 1.463 % |
1115.09/1115.75 c | 605975 | 18525 112018 406224 | 2147483647 316473 51 | 1.463 % |
1118.49/1119.10 c | 607249 | 18525 112018 406224 | 2147483647 317747 51 | 1.463 % |
1122.69/1123.31 c | 608650 | 18525 112018 406224 | 2147483647 319148 51 | 1.463 % |
1126.29/1126.92 c | 610191 | 18525 112018 406224 | 320498 320689 51 | 1.463 % |
1131.20/1131.84 c | 611886 | 18525 112018 406224 | 320498 290156 51 | 1.463 % |
1134.99/1135.66 c | 613749 | 18525 112018 406224 | 320498 292019 51 | 1.463 % |
1139.59/1140.20 c | 615798 | 18525 112018 406224 | 320498 294068 51 | 1.463 % |
1143.89/1144.57 c | 618052 | 18525 112018 406224 | 320498 296322 51 | 1.463 % |
1149.08/1149.74 c | 620530 | 18525 112018 406224 | 2147483647 298800 51 | 1.463 % |
1156.18/1156.84 c | 623256 | 18525 112018 406224 | 2147483647 301526 51 | 1.463 % |
1162.98/1163.67 c | 626254 | 18525 112018 406224 | 2147483647 304524 51 | 1.463 % |
1170.47/1171.17 c | 629552 | 18525 112018 406224 | 2147483647 307822 51 | 1.463 % |
1181.47/1182.16 c | 633181 | 18525 112018 406224 | 2147483647 311451 52 | 1.463 % |
1192.27/1192.91 c | 637169 | 18525 112018 406224 | 2147483647 315439 52 | 1.463 % |
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1832041-1242768514/watcher-1832041-1242768514 -o /tmp/evaluation-result-1832041-1242768514/solver-1832041-1242768514 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1832041-1242768514.cnf
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1230 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.00 1.00 0.98 3/65 343
/proc/meminfo: memFree=1811360/2055920 swapFree=4179364/4192956
[pid=343] ppid=341 vsize=5356 CPUtime=0
/proc/343/stat : 343 (SatELiteGTI) S 341 343 32578 0 -1 4194304 276 0 0 0 0 0 0 0 18 0 1 0 304881226 5484544 235 1992294400 4194304 4889804 548682068832 18446744073709551615 269807747154 0 0 4100 65536 18446744071563648864 0 0 17 0 0 0
/proc/343/statm: 1339 235 195 169 0 50 0
[pid=344] ppid=343 vsize=5356 CPUtime=0
/proc/344/stat : 344 (SatELiteGTI) S 343 343 32578 0 -1 4194368 51 25 0 0 0 0 0 0 20 0 1 0 304881226 5484544 238 1992294400 4194304 4889804 548682068832 18446744073709551615 269807575876 0 65536 4096 65538 18446744071563356171 0 0 17 0 0 0
/proc/344/statm: 1339 238 198 169 0 50 0
[pid=346] ppid=344 vsize=0 CPUtime=0
/proc/346/stat : 346 (SatELiteGTI) R 344 343 32578 0 -1 4194368 19 0 0 0 0 0 0 0 21 0 1 0 304881226 0 0 1992294400 0 0 0 18446744073709551615 269807578407 0 0 4096 0 0 0 0 17 0 0 0
/proc/346/statm: 23 2 0 0 0 9 0
[startup+0.0421261 s]
/proc/loadavg: 1.00 1.00 0.98 3/65 343
/proc/meminfo: memFree=1811360/2055920 swapFree=4179364/4192956
[pid=343] ppid=341 vsize=5356 CPUtime=0
/proc/343/stat : 343 (SatELiteGTI) S 341 343 32578 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 304881226 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 269807575876 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/343/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.102131 s]
/proc/loadavg: 1.00 1.00 0.98 3/65 343
/proc/meminfo: memFree=1811360/2055920 swapFree=4179364/4192956
[pid=343] ppid=341 vsize=5356 CPUtime=0
/proc/343/stat : 343 (SatELiteGTI) S 341 343 32578 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 304881226 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 269807575876 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/343/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.302152 s]
/proc/loadavg: 1.00 1.00 0.98 3/65 343
/proc/meminfo: memFree=1811360/2055920 swapFree=4179364/4192956
[pid=343] ppid=341 vsize=5356 CPUtime=0
/proc/343/stat : 343 (SatELiteGTI) S 341 343 32578 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 304881226 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 269807575876 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/343/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.702194 s]
/proc/loadavg: 1.00 1.00 0.98 3/65 343
/proc/meminfo: memFree=1811360/2055920 swapFree=4179364/4192956
[pid=343] ppid=341 vsize=5356 CPUtime=0
/proc/343/stat : 343 (SatELiteGTI) S 341 343 32578 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 304881226 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 269807575876 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/343/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+1.50128 s]
/proc/loadavg: 1.00 1.00 0.98 2/67 348
/proc/meminfo: memFree=1791952/2055920 swapFree=4179364/4192956
[pid=343] ppid=341 vsize=5356 CPUtime=1.24
/proc/343/stat : 343 (SatELiteGTI) S 341 343 32578 0 -1 4194304 336 5922 0 0 0 0 120 4 16 0 1 0 304881226 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269807575876 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/343/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 1.24
Current children cumulated vsize (KiB) 5356
[startup+3.10144 s]
/proc/loadavg: 1.00 1.00 0.98 2/67 349
/proc/meminfo: memFree=1798480/2055920 swapFree=4179364/4192956
[pid=343] ppid=341 vsize=5356 CPUtime=1.24
/proc/343/stat : 343 (SatELiteGTI) S 341 343 32578 0 -1 4194304 336 5922 0 0 0 0 120 4 16 0 1 0 304881226 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269807575876 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/343/statm: 1339 239 197 169 0 50 0
[pid=349] ppid=343 vsize=10040 CPUtime=1.83
/proc/349/stat : 349 (minisat_static) R 343 343 32578 0 -1 4194304 2326 0 0 0 182 1 0 0 25 0 1 0 304881352 10280960 2312 1992294400 134512640 135215339 4294956256 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/349/statm: 2510 2312 77 171 0 2337 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 15396
[startup+6.30178 s]
/proc/loadavg: 1.00 1.00 0.98 2/67 349
/proc/meminfo: memFree=1796112/2055920 swapFree=4179364/4192956
[pid=343] ppid=341 vsize=5356 CPUtime=1.24
/proc/343/stat : 343 (SatELiteGTI) S 341 343 32578 0 -1 4194304 336 5922 0 0 0 0 120 4 16 0 1 0 304881226 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269807575876 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/343/statm: 1339 239 197 169 0 50 0
[pid=349] ppid=343 vsize=12020 CPUtime=5.03
/proc/349/stat : 349 (minisat_static) R 343 343 32578 0 -1 4194304 2830 0 0 0 501 2 0 0 25 0 1 0 304881352 12308480 2816 1992294400 134512640 135215339 4294956256 18446744073709551615 134525713 0 0 4096 3 0 0 0 17 0 0 0
/proc/349/statm: 3005 2816 77 171 0 2832 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 17376
[startup+12.7015 s]
/proc/loadavg: 1.00 1.00 0.98 2/67 349
/proc/meminfo: memFree=1792472/2055920 swapFree=4179364/4192956
[pid=343] ppid=341 vsize=5356 CPUtime=1.24
/proc/343/stat : 343 (SatELiteGTI) S 341 343 32578 0 -1 4194304 336 5922 0 0 0 0 120 4 16 0 1 0 304881226 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269807575876 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/343/statm: 1339 239 197 169 0 50 0
[pid=349] ppid=343 vsize=15616 CPUtime=11.43
/proc/349/stat : 349 (minisat_static) R 343 343 32578 0 -1 4194304 3695 0 0 0 1140 3 0 0 25 0 1 0 304881352 15990784 3681 1992294400 134512640 135215339 4294956256 18446744073709551615 134528742 0 0 4096 3 0 0 0 17 0 0 0
/proc/349/statm: 3904 3681 77 171 0 3731 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 20972
[startup+25.5028 s]
/proc/loadavg: 1.00 1.00 0.98 2/67 349
/proc/meminfo: memFree=1786520/2055920 swapFree=4179364/4192956
[pid=343] ppid=341 vsize=5356 CPUtime=1.24
/proc/343/stat : 343 (SatELiteGTI) S 341 343 32578 0 -1 4194304 336 5922 0 0 0 0 120 4 16 0 1 0 304881226 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269807575876 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/343/statm: 1339 239 197 169 0 50 0
[pid=349] ppid=343 vsize=21388 CPUtime=24.2
/proc/349/stat : 349 (minisat_static) R 343 343 32578 0 -1 4194304 5133 0 0 0 2416 4 0 0 25 0 1 0 304881352 21901312 5119 1992294400 134512640 135215339 4294956256 18446744073709551615 134528814 0 0 4096 3 0 0 0 17 0 0 0
/proc/349/statm: 5347 5119 77 171 0 5174 0
Current children cumulated CPU time (s) 25.44
Current children cumulated vsize (KiB) 26744
[startup+51.1026 s]
/proc/loadavg: 1.00 1.00 0.98 2/67 349
/proc/meminfo: memFree=1778392/2055920 swapFree=4179364/4192956
[pid=343] ppid=341 vsize=5356 CPUtime=1.24
/proc/343/stat : 343 (SatELiteGTI) S 341 343 32578 0 -1 4194304 336 5922 0 0 0 0 120 4 16 0 1 0 304881226 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269807575876 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/343/statm: 1339 239 197 169 0 50 0
[pid=349] ppid=343 vsize=29456 CPUtime=49.79
/proc/349/stat : 349 (minisat_static) R 343 343 32578 0 -1 4194304 7166 0 0 0 4973 6 0 0 25 0 1 0 304881352 30162944 7152 1992294400 134512640 135215339 4294956256 18446744073709551615 134527408 0 0 4096 3 0 0 0 17 0 0 0
/proc/349/statm: 7364 7152 77 171 0 7191 0
Current children cumulated CPU time (s) 51.03
Current children cumulated vsize (KiB) 34812
[startup+102.305 s]
/proc/loadavg: 1.00 1.00 0.98 2/67 349
/proc/meminfo: memFree=1764248/2055920 swapFree=4179364/4192956
[pid=343] ppid=341 vsize=5356 CPUtime=1.24
/proc/343/stat : 343 (SatELiteGTI) S 341 343 32578 0 -1 4194304 336 5922 0 0 0 0 120 4 16 0 1 0 304881226 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269807575876 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/343/statm: 1339 239 197 169 0 50 0
[pid=349] ppid=343 vsize=43636 CPUtime=100.96
/proc/349/stat : 349 (minisat_static) R 343 343 32578 0 -1 4194304 10626 0 0 0 10086 10 0 0 25 0 1 0 304881352 44683264 10612 1992294400 134512640 135215339 4294956256 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/349/statm: 10909 10612 77 171 0 10736 0
Current children cumulated CPU time (s) 102.2
Current children cumulated vsize (KiB) 48992
[startup+162.302 s]
/proc/loadavg: 1.00 1.00 0.98 2/67 349
/proc/meminfo: memFree=1751896/2055920 swapFree=4179364/4192956
[pid=343] ppid=341 vsize=5356 CPUtime=1.24
/proc/343/stat : 343 (SatELiteGTI) S 341 343 32578 0 -1 4194304 336 5922 0 0 0 0 120 4 16 0 1 0 304881226 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269807575876 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/343/statm: 1339 239 197 169 0 50 0
[pid=349] ppid=343 vsize=55804 CPUtime=160.92
/proc/349/stat : 349 (minisat_static) R 343 343 32578 0 -1 4194304 13702 0 0 0 16079 13 0 0 25 0 1 0 304881352 57143296 13688 1992294400 134512640 135215339 4294956256 18446744073709551615 134528728 0 0 4096 3 0 0 0 17 0 0 0
/proc/349/statm: 13951 13688 77 171 0 13778 0
Current children cumulated CPU time (s) 162.16
Current children cumulated vsize (KiB) 61160
[startup+222.303 s]
/proc/loadavg: 1.00 1.00 0.98 2/67 349
/proc/meminfo: memFree=1741208/2055920 swapFree=4179364/4192956
[pid=343] ppid=341 vsize=5356 CPUtime=1.24
/proc/343/stat : 343 (SatELiteGTI) S 341 343 32578 0 -1 4194304 336 5922 0 0 0 0 120 4 16 0 1 0 304881226 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269807575876 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/343/statm: 1339 239 197 169 0 50 0
[pid=349] ppid=343 vsize=66608 CPUtime=220.9
/proc/349/stat : 349 (minisat_static) R 343 343 32578 0 -1 4194304 16324 0 0 0 22074 16 0 0 25 0 1 0 304881352 68206592 16310 1992294400 134512640 135215339 4294956256 18446744073709551615 134528849 0 0 4096 3 0 0 0 17 0 0 0
/proc/349/statm: 16652 16310 77 171 0 16479 0
Current children cumulated CPU time (s) 222.14
Current children cumulated vsize (KiB) 71964
[startup+282.302 s]
/proc/loadavg: 1.00 1.00 0.98 2/67 349
/proc/meminfo: memFree=1732120/2055920 swapFree=4179364/4192956
[pid=343] ppid=341 vsize=5356 CPUtime=1.24
/proc/343/stat : 343 (SatELiteGTI) S 341 343 32578 0 -1 4194304 336 5922 0 0 0 0 120 4 16 0 1 0 304881226 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269807575876 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/343/statm: 1339 239 197 169 0 50 0
[pid=349] ppid=343 vsize=75680 CPUtime=280.87
/proc/349/stat : 349 (minisat_static) R 343 343 32578 0 -1 4194304 18593 0 0 0 28069 18 0 0 25 0 1 0 304881352 77496320 18579 1992294400 134512640 135215339 4294956256 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 0 0 0
/proc/349/statm: 18920 18579 77 171 0 18747 0
Current children cumulated CPU time (s) 282.11
Current children cumulated vsize (KiB) 81036
[startup+342.303 s]
/proc/loadavg: 1.00 1.00 0.98 2/67 349
/proc/meminfo: memFree=1730648/2055920 swapFree=4179364/4192956
[pid=343] ppid=341 vsize=5356 CPUtime=1.24
/proc/343/stat : 343 (SatELiteGTI) S 341 343 32578 0 -1 4194304 336 5922 0 0 0 0 120 4 16 0 1 0 304881226 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269807575876 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/343/statm: 1339 239 197 169 0 50 0
[pid=349] ppid=343 vsize=77048 CPUtime=340.83
/proc/349/stat : 349 (minisat_static) R 343 343 32578 0 -1 4194304 18920 0 0 0 34065 18 0 0 25 0 1 0 304881352 78897152 18906 1992294400 134512640 135215339 4294956256 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/349/statm: 19262 18906 77 171 0 19089 0
Current children cumulated CPU time (s) 342.07
Current children cumulated vsize (KiB) 82404
[startup+402.302 s]
/proc/loadavg: 1.00 1.00 0.98 2/67 349
/proc/meminfo: memFree=1723992/2055920 swapFree=4179364/4192956
[pid=343] ppid=341 vsize=5356 CPUtime=1.24
/proc/343/stat : 343 (SatELiteGTI) S 341 343 32578 0 -1 4194304 336 5922 0 0 0 0 120 4 16 0 1 0 304881226 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269807575876 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/343/statm: 1339 239 197 169 0 50 0
[pid=349] ppid=343 vsize=83504 CPUtime=400.8
/proc/349/stat : 349 (minisat_static) R 343 343 32578 0 -1 4194304 20560 0 0 0 40060 20 0 0 25 0 1 0 304881352 85508096 20546 1992294400 134512640 135215339 4294956256 18446744073709551615 134528697 0 0 4096 3 0 0 0 17 0 0 0
/proc/349/statm: 20876 20546 77 171 0 20703 0
Current children cumulated CPU time (s) 402.04
################
# More data... #
################
/proc/349/statm: 22792 22301 77 171 0 22619 0
Current children cumulated CPU time (s) 581.97
Current children cumulated vsize (KiB) 96524
[startup+642.303 s]
/proc/loadavg: 1.00 1.00 0.98 2/67 349
/proc/meminfo: memFree=1711896/2055920 swapFree=4179364/4192956
[pid=343] ppid=341 vsize=5356 CPUtime=1.24
/proc/343/stat : 343 (SatELiteGTI) S 341 343 32578 0 -1 4194304 336 5922 0 0 0 0 120 4 16 0 1 0 304881226 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269807575876 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/343/statm: 1339 239 197 169 0 50 0
[pid=349] ppid=343 vsize=95684 CPUtime=640.71
/proc/349/stat : 349 (minisat_static) R 343 343 32578 0 -1 4194304 23461 0 0 0 64048 23 0 0 25 0 1 0 304881352 97980416 23447 1992294400 134512640 135215339 4294956256 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/349/statm: 23921 23447 77 171 0 23748 0
Current children cumulated CPU time (s) 641.95
Current children cumulated vsize (KiB) 101040
[startup+702.302 s]
/proc/loadavg: 1.00 1.00 0.98 2/67 349
/proc/meminfo: memFree=1711512/2055920 swapFree=4179364/4192956
[pid=343] ppid=341 vsize=5356 CPUtime=1.24
/proc/343/stat : 343 (SatELiteGTI) S 341 343 32578 0 -1 4194304 336 5922 0 0 0 0 120 4 16 0 1 0 304881226 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269807575876 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/343/statm: 1339 239 197 169 0 50 0
[pid=349] ppid=343 vsize=96112 CPUtime=700.67
/proc/349/stat : 349 (minisat_static) R 343 343 32578 0 -1 4194304 23554 0 0 0 70044 23 0 0 25 0 1 0 304881352 98418688 23540 1992294400 134512640 135215339 4294956256 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 0 0 0
/proc/349/statm: 24028 23540 77 171 0 23855 0
Current children cumulated CPU time (s) 701.91
Current children cumulated vsize (KiB) 101468
[startup+762.306 s]
/proc/loadavg: 1.00 1.00 0.98 2/67 349
/proc/meminfo: memFree=1707544/2055920 swapFree=4179364/4192956
[pid=343] ppid=341 vsize=5356 CPUtime=1.24
/proc/343/stat : 343 (SatELiteGTI) S 341 343 32578 0 -1 4194304 336 5922 0 0 0 0 120 4 16 0 1 0 304881226 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269807575876 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/343/statm: 1339 239 197 169 0 50 0
[pid=349] ppid=343 vsize=99944 CPUtime=760.65
/proc/349/stat : 349 (minisat_static) R 343 343 32578 0 -1 4194304 24511 0 0 0 76041 24 0 0 25 0 1 0 304881352 102342656 24497 1992294400 134512640 135215339 4294956256 18446744073709551615 134528721 0 0 4096 3 0 0 0 17 0 0 0
/proc/349/statm: 24986 24497 77 171 0 24813 0
Current children cumulated CPU time (s) 761.89
Current children cumulated vsize (KiB) 105300
[startup+822.302 s]
/proc/loadavg: 1.00 1.00 0.98 2/67 349
/proc/meminfo: memFree=1701144/2055920 swapFree=4179364/4192956
[pid=343] ppid=341 vsize=5356 CPUtime=1.24
/proc/343/stat : 343 (SatELiteGTI) S 341 343 32578 0 -1 4194304 336 5922 0 0 0 0 120 4 16 0 1 0 304881226 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269807575876 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/343/statm: 1339 239 197 169 0 50 0
[pid=349] ppid=343 vsize=106232 CPUtime=820.62
/proc/349/stat : 349 (minisat_static) R 343 343 32578 0 -1 4194304 26083 0 0 0 82036 26 0 0 25 0 1 0 304881352 108781568 26069 1992294400 134512640 135215339 4294956256 18446744073709551615 134528728 0 0 4096 3 0 0 0 17 0 0 0
/proc/349/statm: 26558 26069 77 171 0 26385 0
Current children cumulated CPU time (s) 821.86
Current children cumulated vsize (KiB) 111588
[startup+882.301 s]
/proc/loadavg: 1.00 1.00 0.98 2/67 349
/proc/meminfo: memFree=1700824/2055920 swapFree=4179364/4192956
[pid=343] ppid=341 vsize=5356 CPUtime=1.24
/proc/343/stat : 343 (SatELiteGTI) S 341 343 32578 0 -1 4194304 336 5922 0 0 0 0 120 4 16 0 1 0 304881226 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269807575876 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/343/statm: 1339 239 197 169 0 50 0
[pid=349] ppid=343 vsize=106560 CPUtime=880.57
/proc/349/stat : 349 (minisat_static) R 343 343 32578 0 -1 4194304 26152 0 0 0 88031 26 0 0 25 0 1 0 304881352 109117440 26138 1992294400 134512640 135215339 4294956256 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/349/statm: 26640 26138 77 171 0 26467 0
Current children cumulated CPU time (s) 881.81
Current children cumulated vsize (KiB) 111916
[startup+942.302 s]
/proc/loadavg: 1.00 1.00 0.98 2/67 351
/proc/meminfo: memFree=1700376/2055920 swapFree=4179364/4192956
[pid=343] ppid=341 vsize=5356 CPUtime=1.24
/proc/343/stat : 343 (SatELiteGTI) S 341 343 32578 0 -1 4194304 336 5922 0 0 0 0 120 4 16 0 1 0 304881226 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269807575876 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/343/statm: 1339 239 197 169 0 50 0
[pid=349] ppid=343 vsize=106844 CPUtime=940.53
/proc/349/stat : 349 (minisat_static) R 343 343 32578 0 -1 4194304 26213 0 0 0 94027 26 0 0 25 0 1 0 304881352 109408256 26199 1992294400 134512640 135215339 4294956256 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/349/statm: 26711 26199 77 171 0 26538 0
Current children cumulated CPU time (s) 941.77
Current children cumulated vsize (KiB) 112200
[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 0.98 2/67 351
/proc/meminfo: memFree=1698328/2055920 swapFree=4179364/4192956
[pid=343] ppid=341 vsize=5356 CPUtime=1.24
/proc/343/stat : 343 (SatELiteGTI) S 341 343 32578 0 -1 4194304 336 5922 0 0 0 0 120 4 16 0 1 0 304881226 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269807575876 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/343/statm: 1339 239 197 169 0 50 0
[pid=349] ppid=343 vsize=109040 CPUtime=1000.51
/proc/349/stat : 349 (minisat_static) R 343 343 32578 0 -1 4194304 26729 0 0 0 100024 27 0 0 25 0 1 0 304881352 111656960 26715 1992294400 134512640 135215339 4294956256 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/349/statm: 27260 26715 77 171 0 27087 0
Current children cumulated CPU time (s) 1001.75
Current children cumulated vsize (KiB) 114396
[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 0.98 2/67 351
/proc/meminfo: memFree=1695256/2055920 swapFree=4179364/4192956
[pid=343] ppid=341 vsize=5356 CPUtime=1.24
/proc/343/stat : 343 (SatELiteGTI) S 341 343 32578 0 -1 4194304 336 5922 0 0 0 0 120 4 16 0 1 0 304881226 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269807575876 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/343/statm: 1339 239 197 169 0 50 0
[pid=349] ppid=343 vsize=111932 CPUtime=1060.48
/proc/349/stat : 349 (minisat_static) R 343 343 32578 0 -1 4194304 27467 0 0 0 106021 27 0 0 25 0 1 0 304881352 114618368 27453 1992294400 134512640 135215339 4294956256 18446744073709551615 134532650 0 0 4096 3 0 0 0 17 0 0 0
/proc/349/statm: 27983 27453 77 171 0 27810 0
Current children cumulated CPU time (s) 1061.72
Current children cumulated vsize (KiB) 117288
[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 0.98 2/67 351
/proc/meminfo: memFree=1695064/2055920 swapFree=4179364/4192956
[pid=343] ppid=341 vsize=5356 CPUtime=1.24
/proc/343/stat : 343 (SatELiteGTI) S 341 343 32578 0 -1 4194304 336 5922 0 0 0 0 120 4 16 0 1 0 304881226 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269807575876 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/343/statm: 1339 239 197 169 0 50 0
[pid=349] ppid=343 vsize=112104 CPUtime=1120.45
/proc/349/stat : 349 (minisat_static) R 343 343 32578 0 -1 4194304 27481 0 0 0 112018 27 0 0 25 0 1 0 304881352 114794496 27467 1992294400 134512640 135215339 4294956256 18446744073709551615 134538362 0 0 4096 3 0 0 0 17 0 0 0
/proc/349/statm: 28026 27467 77 171 0 27853 0
Current children cumulated CPU time (s) 1121.69
Current children cumulated vsize (KiB) 117460
[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 0.98 2/67 351
/proc/meminfo: memFree=1694936/2055920 swapFree=4179364/4192956
[pid=343] ppid=341 vsize=5356 CPUtime=1.24
/proc/343/stat : 343 (SatELiteGTI) S 341 343 32578 0 -1 4194304 336 5922 0 0 0 0 120 4 16 0 1 0 304881226 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269807575876 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/343/statm: 1339 239 197 169 0 50 0
[pid=349] ppid=343 vsize=112104 CPUtime=1180.43
/proc/349/stat : 349 (minisat_static) R 343 343 32578 0 -1 4194304 27503 0 0 0 118015 28 0 0 25 0 1 0 304881352 114794496 27489 1992294400 134512640 135215339 4294956256 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/349/statm: 28026 27489 77 171 0 27853 0
Current children cumulated CPU time (s) 1181.67
Current children cumulated vsize (KiB) 117460
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1200.7 s]
/proc/loadavg: 1.00 1.00 0.98 2/67 351
/proc/meminfo: memFree=1694808/2055920 swapFree=4179364/4192956
[pid=343] ppid=341 vsize=5356 CPUtime=1.24
/proc/343/stat : 343 (SatELiteGTI) S 341 343 32578 0 -1 4194304 336 5922 0 0 0 0 120 4 16 0 1 0 304881226 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269807575876 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/343/statm: 1339 239 197 169 0 50 0
[pid=349] ppid=343 vsize=112244 CPUtime=1198.82
/proc/349/stat : 349 (minisat_static) R 343 343 32578 0 -1 4194304 27537 0 0 0 119854 28 0 0 25 0 1 0 304881352 114937856 27523 1992294400 134512640 135215339 4294956256 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/349/statm: 28061 27523 77 171 0 27888 0
Current children cumulated CPU time (s) 1200.06
Current children cumulated vsize (KiB) 117600
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1200.7 s]
/proc/loadavg: 1.00 1.00 0.98 2/67 351
/proc/meminfo: memFree=1694808/2055920 swapFree=4179364/4192956
[pid=343] ppid=341 vsize=5356 CPUtime=1.24
/proc/343/stat : 343 (SatELiteGTI) S 341 343 32578 0 -1 4194304 336 5922 0 0 0 0 120 4 16 0 1 0 304881226 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269807575876 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/343/statm: 1339 239 197 169 0 50 0
[pid=349] ppid=343 vsize=112244 CPUtime=1198.82
/proc/349/stat : 349 (minisat_static) R 343 343 32578 0 -1 4194304 27537 0 0 0 119854 28 0 0 25 0 1 0 304881352 114937856 27523 1992294400 134512640 135215339 4294956256 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/349/statm: 28061 27523 77 171 0 27888 0
Current children cumulated CPU time (s) 1200.06
Current children cumulated vsize (KiB) 117600
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 343 and gives
# childrusage.ru_utime.tv_sec=1
# childrusage.ru_utime.tv_usec=202817
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=48992
# CPU time returned by wait4() is 1.25181
# while last known CPU time is 1200.06
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1200.71
CPU time (s): 1200.06
CPU user time (s): 1199.74
CPU system time (s): 0.32
CPU usage (%): 99.9457
Max. virtual memory (cumulated for all children) (KiB): 117600
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1.20282
system time used= 0.048992
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 6258
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 15
involuntary context switches= 27
runsolver used 1.09683 second user time and 3.36949 second system time
The end
Begin job on node81 at 2009-05-19 23:28:34
IDJOB=1832041
IDBENCH=20390
IDSOLVER=671
FILE ID=node81/1832041-1242768514
PBS_JOBID= 9322222
Free space on /tmp= 126532 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= BIN/runsolver --timestamp -w /tmp/evaluation-result-1832041-1242768514/watcher-1832041-1242768514 -o /tmp/evaluation-result-1832041-1242768514/solver-1832041-1242768514 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1832041-1242768514.cnf
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 50ed98553825ac1825482c1496260592
RANDOM SEED=1912880590
node81.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.234
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5914.62
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.234
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5996.54
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1811848 kB
Buffers: 15248 kB
Cached: 191252 kB
SwapCached: 7020 kB
Active: 90220 kB
Inactive: 124792 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1811848 kB
SwapTotal: 4192956 kB
SwapFree: 4179364 kB
Dirty: 4472 kB
Writeback: 0 kB
Mapped: 13660 kB
Slab: 14824 kB
Committed_AS: 931412 kB
PageTables: 1476 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264960 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 126524 MiB
End job on node81 at 2009-05-19 23:48:37