| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| glucose 2 | ? (TO) | 5000.09 | 5000.01 |
| Name | industrial/jarvisalo/ eq.atree.braun.12.unsat.cnf |
| MD5SUM | 8d6acb9f6b752ad76c024133f5175c69 |
| Bench Category | APPLICATION (applications instances) |
| Best result obtained on this benchmark | UNSAT |
| Best CPU time to get the best result obtained on this benchmark | 2847.01 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 1694 |
| Number of clauses | 5726 |
| Sum of the clauses size | 14874 |
| Maximum clause length | 23 |
| Minimum clause length | 1 |
| Number of clauses of size 1 | 3 |
| Number of clauses of size 2 | 2490 |
| Number of clauses of size 3 | 3143 |
| Number of clauses of size 4 | 39 |
| Number of clauses of size 5 | 38 |
| Number of clauses of size over 5 | 13 |
0.00/0.00 c 0.00/0.00 c Starting SatElite Preprocessing 0.00/0.00 c 0.00/0.00 c Parsing... 0.00/0.00 c ============================================================================== 0.00/0.00 c | | ORIGINAL | LEARNT | | 0.00/0.00 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress | 0.00/0.00 c ============================================================================== 0.00/0.00 c | 0 | 5723 14871 | 1716 0 0 nan | 0.000 % | 0.00/0.01 c | 0 | 4834 14382 | -- 0 -- -- | -- | -843/-394 0.00/0.01 c ============================================================================== 0.00/0.01 c Result : #vars: 1165 #clauses: 4834 #literals: 14382 0.00/0.01 c CPU time: 0.012998 s 0.00/0.01 c ============================================================================== 0.00/0.01 c 0.00/0.01 c Starting glucose 0.00/0.01 c 4.78/4.80 c This is glucose 2.0 -- based on MiniSAT (Many thanks to MiniSAT team) 4.78/4.80 c WARNING: for repeatability, setting FPU to use double precision 4.78/4.80 c ============================[ Problem Statistics ]============================= 4.78/4.80 c | | 4.78/4.80 c | Number of variables: 1165 | 4.78/4.80 c | Number of clauses: 4834 | 4.78/4.80 c | Parse time: 0.00 s | 4.78/4.80 c | | 4.78/4.80 c ============================[ Search Statistics ]============================== 4.78/4.80 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.78/4.80 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | | 4.78/4.80 c =============================================================================== 4.78/4.80 c | 17535 | 1164 4828 14357 | 1 11240 29 | 0.086 % | 4.78/4.80 c | 17635 | 1164 4828 14357 | 1 11340 29 | 0.086 % | 4.78/4.80 c | 17736 | 1164 4828 14357 | 1 11441 29 | 0.086 % | 4.78/4.80 c | 18076 | 1164 4828 14357 | 1 11781 29 | 0.086 % | 4.78/4.80 c | 18195 | 1164 4828 14357 | 1 11900 29 | 0.086 % | 4.78/4.80 c | 18675 | 1164 4828 14357 | 1 12380 30 | 0.086 % | 4.78/4.80 c | 18776 | 1164 4828 14357 | 1 12481 30 | 0.086 % | 4.78/4.80 c | 19905 | 1164 4828 14357 | 1 6861 17 | 0.086 % | 4.78/4.80 c | 20034 | 1164 4828 14357 | 1 6990 17 | 0.086 % | 4.78/4.80 c | 20174 | 1164 4828 14357 | 1 7130 17 | 0.086 % | 4.78/4.80 c | 20288 | 1164 4828 14357 | 1 7244 18 | 0.086 % | 4.78/4.80 c | 20458 | 1164 4828 14357 | 1 7414 19 | 0.086 % | 4.78/4.80 c | 20559 | 1164 4828 14357 | 1 7515 19 | 0.086 % | 4.78/4.80 c | 20660 | 1164 4828 14357 | 1 7616 19 | 0.086 % | 4.78/4.80 c | 20763 | 1164 4828 14357 | 1 7719 19 | 0.086 % | 4.78/4.80 c | 21473 | 1164 4828 14357 | 1 8429 22 | 0.086 % | 4.78/4.80 c | 21643 | 1164 4828 14357 | 1 8599 22 | 0.086 % | 4.78/4.80 c | 21756 | 1164 4828 14357 | 1 8712 22 | 0.086 % | 4.78/4.80 c | 21924 | 1164 4828 14357 | 1 8880 23 | 0.086 % | 4.78/4.80 c | 22025 | 1164 4828 14357 | 1 8981 23 | 0.086 % | 4.78/4.80 c | 22125 | 1164 4828 14357 | 1 9081 24 | 0.086 % | 4.78/4.80 c | 23707 | 1164 4828 14357 | 1 10663 28 | 0.086 % | 4.78/4.80 c | 23815 | 1164 4828 14357 | 1 10771 28 | 0.086 % | 4.78/4.80 c | 35967 | 1164 4828 14357 | 1 13652 28 | 0.086 % | 4.78/4.80 c | 36564 | 1164 4828 14357 | 1 14249 28 | 0.086 % | 4.78/4.80 c | 37419 | 1164 4828 14357 | 1 15104 29 | 0.086 % | 4.78/4.80 c | 37528 | 1164 4828 14357 | 1 15213 29 | 0.086 % | 4.78/4.80 c | 37994 | 1164 4828 14357 | 1 15679 30 | 0.086 % | 4.78/4.80 c | 38520 | 1164 4828 14357 | 1 16205 30 | 0.086 % | 4.78/4.80 c | 38622 | 1164 4828 14357 | 1 16307 30 | 0.086 % | 4.78/4.80 c | 68131 | 1160 4814 14310 | 1 19559 19 | 0.429 % | 4.78/4.80 c | 68860 | 1160 4814 14310 | 1 20288 20 | 0.429 % | 4.78/4.80 c | 70306 | 1160 4814 14310 | 1 21734 21 | 0.429 % | 4.78/4.80 c | 70418 | 1160 4814 14310 | 1 21846 21 | 0.429 % | 4.78/4.80 c | 70622 | 1160 4814 14310 | 1 22050 21 | 0.429 % | 4.78/4.80 c | 71695 | 1157 4802 14271 | 1 23113 22 | 0.687 % | 4.78/4.80 c | 72259 | 1157 4802 14271 | 1 23677 23 | 0.687 % | 4.78/4.80 c | 73662 | 1157 4802 14271 | 1 25080 23 | 0.687 % | 4.78/4.80 c | 74076 | 1157 4802 14271 | 1 25494 23 | 0.687 % | 35.48/35.50 c | 75384 | 1157 4802 14271 | 1 26802 23 | 0.687 % | 35.48/35.50 c | 75980 | 1157 4802 14271 | 1 27398 24 | 0.687 % | 35.48/35.50 c | 122759 | 1157 4802 14271 | 1 37575 22 | 0.687 % | 35.48/35.50 c | 123129 | 1157 4802 14271 | 1 37945 22 | 0.687 % | 35.48/35.50 c | 123557 | 1157 4802 14271 | 1 38373 22 | 0.687 % | 35.48/35.50 c | 123935 | 1157 4802 14271 | 1 38751 23 | 0.687 % | 35.48/35.50 c | 124054 | 1157 4802 14271 | 1 38870 23 | 0.687 % | 35.48/35.50 c | 164396 | 1157 4802 14271 | 1 32201 14 | 0.687 % | 35.48/35.50 c | 212149 | 1157 4802 14271 | 1 52558 16 | 0.687 % | 35.48/35.50 c | 216455 | 1157 4802 14271 | 1 56864 17 | 0.687 % | 35.48/35.50 c | 217111 | 1157 4802 14271 | 1 57520 17 | 0.687 % | 35.48/35.50 c | 253819 | 1157 4802 14271 | 1 64230 15 | 0.687 % | 35.48/35.50 c | 254065 | 1157 4802 14271 | 1 64476 15 | 0.687 % | 35.48/35.50 c | 282061 | 1157 4802 14271 | 1 59872 15 | 0.687 % | 35.48/35.50 c | 282584 | 1157 4802 14271 | 1 60395 15 | 0.687 % | 35.48/35.50 c | 282947 | 1157 4802 14271 | 1 60758 15 | 0.687 % | 35.48/35.50 c | 286705 | 1157 4802 14271 | 1 64516 16 | 0.687 % | 35.48/35.50 c | 286805 | 1157 4802 14271 | 1 64616 16 | 0.687 % | 35.48/35.50 c | 287054 | 1157 4802 14271 | 1 64865 17 | 0.687 % | 35.48/35.50 c | 287154 | 1157 4802 14271 | 1 64965 17 | 0.687 % | 35.48/35.50 c | 287481 | 1157 4802 14271 | 1 65292 17 | 0.687 % | 35.48/35.50 c | 287587 | 1157 4802 14271 | 1 65398 17 | 0.687 % | 35.48/35.50 c | 287689 | 1157 4802 14271 | 1 65500 17 | 0.687 % | 35.48/35.50 c | 288034 | 1157 4802 14271 | 1 65845 17 | 0.687 % | 35.48/35.50 c | 353911 | 1157 4802 14271 | 1 58727 17 | 0.687 % | 35.48/35.50 c | 354015 | 1157 4802 14271 | 1 58831 17 | 0.687 % | 35.48/35.50 c | 354327 | 1157 4802 14271 | 1 59143 17 | 0.687 % | 35.48/35.50 c | 356834 | 1157 4802 14271 | 1 61650 18 | 0.687 % | 35.48/35.50 c | 357226 | 1157 4802 14271 | 1 62042 18 | 0.687 % | 35.48/35.50 c | 357326 | 1157 4802 14271 | 1 62142 18 | 0.687 % | 35.48/35.50 c | 357428 | 1157 4802 14271 | 1 62244 18 | 0.687 % | 35.48/35.50 c | 357528 | 1157 4802 14271 | 1 62344 18 | 0.687 % | 35.48/35.50 c | 357980 | 1157 4802 14271 | 1 62796 18 | 0.687 % | 35.48/35.50 c | 358081 | 1157 4802 14271 | 1 62897 18 | 0.687 % | 35.48/35.50 c | 360675 | 1157 4802 14271 | 1 65491 19 | 0.687 % | 35.48/35.50 c | 360776 | 1157 4802 14271 | 1 65592 19 | 0.687 % | 35.48/35.50 c | 361589 | 1157 4802 14271 | 1 66405 20 | 0.687 % | 35.48/35.50 c | 361690 | 1157 4802 14271 | 1 66506 20 | 0.687 % | 35.48/35.50 c | 361989 | 1157 4802 14271 | 1 66805 20 | 0.687 % | 35.48/35.50 c | 362091 | 1157 4802 14271 | 1 66907 20 | 0.687 % | 35.48/35.50 c | 362191 | 1157 4802 14271 | 1 67007 20 | 0.687 % | 35.48/35.50 c | 362398 | 1157 4802 14271 | 1 67214 20 | 0.687 % | 35.48/35.50 c | 362730 | 1157 4802 14271 | 1 67546 20 | 0.687 % | 35.48/35.50 c | 362831 | 1157 4802 14271 | 1 67647 20 | 0.687 % | 35.48/35.50 c | 362931 | 1157 4802 14271 | 1 67747 20 | 0.687 % | 35.48/35.50 c | 363032 | 1157 4802 14271 | 1 67848 20 | 0.687 % | 35.48/35.50 c | 363143 | 1157 4802 14271 | 1 67959 20 | 0.687 % | 35.48/35.50 c | 363259 | 1157 4802 14271 | 1 68075 20 | 0.687 % | 35.48/35.50 c | 363404 | 1157 4802 14271 | 1 68220 20 | 0.687 % | 35.48/35.50 c | 363828 | 1157 4802 14271 | 1 68644 20 | 0.687 % | 43.28/43.32 c | 363928 | 1157 4802 14271 | 1 68744 20 | 0.687 % | 43.28/43.32 c | 364170 | 1157 4802 14271 | 1 68986 20 | 0.687 % | 43.28/43.32 c | 364821 | 1157 4802 14271 | 1 69637 21 | 0.687 % | 43.28/43.32 c | 364921 | 1157 4802 14271 | 1 69737 21 | 0.687 % | 43.28/43.32 c | 365022 | 1157 4802 14271 | 1 69838 21 | 0.687 % | 43.28/43.32 c | 366485 | 1157 4802 14271 | 1 71301 21 | 0.687 % | 43.28/43.32 c | 366630 | 1157 4802 14271 | 1 71446 21 | 0.687 % | 43.28/43.32 c | 366761 | 1157 4802 14271 | 1 71577 21 | 0.687 % | 43.28/43.32 c | 366865 | 1157 4802 14271 | 1 71681 21 | 0.687 % | 43.28/43.32 c | 366975 | 1157 4802 14271 | 1 71791 21 | 0.687 % | 43.28/43.32 c | 367075 | 1157 4802 14271 | 1 71891 21 | 0.687 % | 43.28/43.32 c | 367175 | 1157 4802 14271 | 1 71991 21 | 0.687 % | 43.28/43.32 c | 367275 | 1157 4802 14271 | 1 72091 21 | 0.687 % | 43.28/43.32 c | 370174 | 1157 4802 14271 | 1 74990 22 | 0.687 % | 43.28/43.32 c | 370329 | 1157 4802 14271 | 1 75145 22 | 0.687 % | 43.28/43.32 c | 417524 | 1157 4802 14271 | 1 81937 15 | 0.687 % | 43.28/43.32 c | 417693 | 1157 4802 14271 | 1 82106 15 | 0.687 % | 43.28/43.32 c | 418330 | 1157 4802 14271 | 1 82743 16 | 0.687 % | 43.28/43.32 c | 418899 | 1157 4802 14271 | 1 83312 16 | 0.687 % | 43.28/43.32 c | 419114 | 1157 4802 14271 | 1 83527 16 | 0.687 % | 43.28/43.32 c | 419884 | 1157 4802 14271 | 1 84297 16 | 0.687 % | 43.28/43.32 c | 419987 | 1157 4802 14271 | 1 84400 16 | 0.687 % | 43.28/43.32 c | 420331 | 1156 4798 14255 | 1 84735 16 | 0.773 % | 43.28/43.32 c | 420432 | 1156 4798 14255 | 1 84836 16 | 0.773 % | 43.28/43.32 c | 420552 | 1156 4798 14255 | 1 84956 16 | 0.773 % | 43.28/43.32 c | 420652 | 1156 4798 14255 | 1 85056 16 | 0.773 % | 43.28/43.32 c | 420966 | 1156 4798 14255 | 1 85370 16 | 0.773 % | 43.28/43.32 c | 421066 | 1156 4798 14255 | 1 85470 16 | 0.773 % | 43.28/43.32 c | 423384 | 1156 4798 14255 | 1 44791 12 | 0.773 % | 43.28/43.32 c | 424033 | 1156 4798 14255 | 1 45440 13 | 0.773 % | 43.28/43.32 c | 424220 | 1156 4798 14255 | 1 45627 13 | 0.773 % | 43.28/43.32 c | 424322 | 1156 4798 14255 | 1 45729 13 | 0.773 % | 43.28/43.32 c | 424430 | 1156 4798 14255 | 1 45837 13 | 0.773 % | 43.28/43.32 c | 425043 | 1156 4798 14255 | 1 46450 13 | 0.773 % | 43.28/43.32 c | 425390 | 1156 4798 14255 | 1 46797 13 | 0.773 % | 43.28/43.32 c | 425490 | 1156 4798 14255 | 1 46897 13 | 0.773 % | 43.28/43.32 c | 431262 | 1156 4798 14255 | 1 52669 16 | 0.773 % | 43.28/43.32 c | 431697 | 1156 4798 14255 | 1 53104 16 | 0.773 % | 43.28/43.32 c | 431799 | 1156 4798 14255 | 1 53206 16 | 0.773 % | 43.28/43.32 c | 431899 | 1156 4798 14255 | 1 53306 16 | 0.773 % | 43.28/43.32 c | 431999 | 1156 4798 14255 | 1 53406 16 | 0.773 % | 43.28/43.32 c | 433439 | 1156 4798 14255 | 1 54846 17 | 0.773 % | 43.28/43.32 c | 433654 | 1156 4798 14255 | 1 55061 17 | 0.773 % | 43.28/43.32 c | 433754 | 1156 4798 14255 | 1 55161 17 | 0.773 % | 43.28/43.32 c | 434414 | 1156 4798 14255 | 1 55821 17 | 0.773 % | 43.28/43.32 c | 434817 | 1156 4798 14255 | 1 56224 17 | 0.773 % | 43.28/43.32 c | 434993 | 1156 4798 14255 | 1 56400 17 | 0.773 % | 43.28/43.32 c | 435093 | 1156 4798 14255 | 1 56500 17 | 0.773 % | 43.28/43.32 c | 435804 | 1156 4798 14255 | 1 57211 18 | 0.773 % | 43.28/43.32 c | 435933 | 1156 4798 14255 | 1 57340 18 | 0.773 % | 51.69/51.76 c | 436033 | 1156 4798 14255 | 1 57440 18 | 0.773 % | 51.69/51.76 c | 436470 | 1156 4798 14255 | 1 57877 18 | 0.773 % | 51.69/51.76 c | 436602 | 1156 4798 14255 | 1 58009 18 | 0.773 % | 51.69/51.76 c | 436703 | 1156 4798 14255 | 1 58110 18 | 0.773 % | 51.69/51.76 c | 436804 | 1156 4798 14255 | 1 58211 18 | 0.773 % | 51.69/51.76 c | 438043 | 1156 4798 14255 | 1 59450 18 | 0.773 % | 51.69/51.76 c | 438144 | 1156 4798 14255 | 1 59551 18 | 0.773 % | 51.69/51.76 c | 439419 | 1156 4798 14255 | 1 60826 19 | 0.773 % | 51.69/51.76 c | 439653 | 1156 4798 14255 | 1 61060 19 | 0.773 % | 51.69/51.76 c | 440117 | 1156 4798 14255 | 1 61524 19 | 0.773 % | 51.69/51.76 c | 440519 | 1156 4798 14255 | 1 61926 19 | 0.773 % | 51.69/51.76 c | 440814 | 1156 4798 14255 | 1 62221 19 | 0.773 % | 51.69/51.76 c | 440962 | 1156 4798 14255 | 1 62369 19 | 0.773 % | 51.69/51.76 c | 441366 | 1156 4798 14255 | 1 62773 19 | 0.773 % | 51.69/51.76 c | 443799 | 1156 4798 14255 | 1 65206 20 | 0.773 % | 51.69/51.76 c | 443899 | 1156 4798 14255 | 1 65306 20 | 0.773 % | 51.69/51.76 c | 443999 | 1156 4798 14255 | 1 65406 20 | 0.773 % | 51.69/51.76 c | 444205 | 1156 4798 14255 | 1 65612 20 | 0.773 % | 51.69/51.76 c | 444440 | 1156 4798 14255 | 1 65847 20 | 0.773 % | 51.69/51.76 c | 444541 | 1156 4798 14255 | 1 65948 20 | 0.773 % | 51.69/51.76 c | 444644 | 1156 4798 14255 | 1 66051 20 | 0.773 % | 51.69/51.76 c | 445189 | 1156 4798 14255 | 1 66596 20 | 0.773 % | 51.69/51.76 c | 445854 | 1156 4798 14255 | 1 67261 21 | 0.773 % | 51.69/51.76 c | 447877 | 1156 4798 14255 | 1 69284 21 | 0.773 % | 51.69/51.76 c | 448666 | 1156 4798 14255 | 1 70073 21 | 0.773 % | 51.69/51.76 c | 448766 | 1156 4798 14255 | 1 70173 21 | 0.773 % | 51.69/51.76 c | 449090 | 1156 4798 14255 | 1 70497 21 | 0.773 % | 51.69/51.76 c | 449343 | 1156 4798 14255 | 1 70750 21 | 0.773 % | 51.69/51.76 c | 449443 | 1156 4798 14255 | 1 70850 21 | 0.773 % | 51.69/51.76 c | 449756 | 1156 4798 14255 | 1 71163 21 | 0.773 % | 51.69/51.76 c | 450509 | 1156 4798 14255 | 1 71916 21 | 0.773 % | 51.69/51.76 c | 450741 | 1156 4798 14255 | 1 72148 21 | 0.773 % | 51.69/51.76 c | 455534 | 1156 4798 14255 | 1 76941 22 | 0.773 % | 51.69/51.76 c | 455635 | 1156 4798 14255 | 1 77042 22 | 0.773 % | 51.69/51.76 c | 455736 | 1156 4798 14255 | 1 77143 22 | 0.773 % | 51.69/51.76 c | 456225 | 1156 4798 14255 | 1 77632 22 | 0.773 % | 51.69/51.76 c | 480490 | 1156 4798 14255 | 1 56301 16 | 0.773 % | 51.69/51.76 c | 480858 | 1156 4798 14255 | 1 56669 16 | 0.773 % | 51.69/51.76 c | 481089 | 1156 4798 14255 | 1 56900 16 | 0.773 % | 51.69/51.76 c | 483031 | 1156 4798 14255 | 1 58842 17 | 0.773 % | 51.69/51.76 c | 483132 | 1156 4798 14255 | 1 58943 17 | 0.773 % | 51.69/51.76 c | 483234 | 1156 4798 14255 | 1 59045 17 | 0.773 % | 51.69/51.76 c | 483458 | 1156 4798 14255 | 1 59269 17 | 0.773 % | 51.69/51.76 c | 483558 | 1156 4798 14255 | 1 59369 17 | 0.773 % | 51.69/51.76 c | 483659 | 1156 4798 14255 | 1 59470 17 | 0.773 % | 51.69/51.76 c | 483760 | 1156 4798 14255 | 1 59571 17 | 0.773 % | 51.69/51.76 c | 483864 | 1156 4798 14255 | 1 59675 17 | 0.773 % | 51.69/51.76 c | 484007 | 1156 4798 14255 | 1 59818 17 | 0.773 % | 51.69/51.76 c | 486840 | 1156 4798 14255 | 1 62651 18 | 0.773 % | 51.69/51.76 c | 486941 | 1156 4798 14255 | 1 62752 18 | 0.773 % | 141.79/141.85 c | 487147 | 1156 4798 14255 | 1 62958 18 | 0.773 % | 141.79/141.85 c | 487427 | 1156 4798 14255 | 1 63238 18 | 0.773 % | 141.79/141.85 c | 491910 | 1156 4798 14255 | 1 67721 19 | 0.773 % | 141.79/141.85 c | 492012 | 1156 4798 14255 | 1 67823 19 | 0.773 % | 141.79/141.85 c | 492117 | 1156 4798 14255 | 1 67928 19 | 0.773 % | 141.79/141.85 c | 493317 | 1156 4798 14255 | 1 69128 19 | 0.773 % | 141.79/141.85 c | 493419 | 1156 4798 14255 | 1 69230 19 | 0.773 % | 141.79/141.85 c | 494733 | 1156 4798 14255 | 1 70544 20 | 0.773 % | 141.79/141.85 c | 494833 | 1156 4798 14255 | 1 70644 20 | 0.773 % | 141.79/141.85 c | 495032 | 1156 4798 14255 | 1 70843 20 | 0.773 % | 141.79/141.85 c | 495158 | 1156 4798 14255 | 1 70969 20 | 0.773 % | 141.79/141.85 c | 495258 | 1156 4798 14255 | 1 71069 20 | 0.773 % | 141.79/141.85 c | 495681 | 1156 4798 14255 | 1 71492 20 | 0.773 % | 141.79/141.85 c | 497756 | 1156 4798 14255 | 1 73567 20 | 0.773 % | 141.79/141.85 c | 497856 | 1156 4798 14255 | 1 73667 20 | 0.773 % | 141.79/141.85 c | 506034 | 1156 4798 14255 | 1 81845 21 | 0.773 % | 141.79/141.85 c | 512040 | 1156 4798 14255 | 1 87851 22 | 0.773 % | 141.79/141.85 c | 512142 | 1156 4798 14255 | 1 87953 22 | 0.773 % | 141.79/141.85 c | 512244 | 1156 4798 14255 | 1 88055 22 | 0.773 % | 141.79/141.85 c | 512834 | 1156 4798 14255 | 1 88645 22 | 0.773 % | 141.79/141.85 c | 514830 | 1156 4798 14255 | 1 90641 22 | 0.773 % | 141.79/141.85 c | 515567 | 1156 4798 14255 | 1 91378 22 | 0.773 % | 141.79/141.85 c | 515668 | 1156 4798 14255 | 1 91479 22 | 0.773 % | 141.79/141.85 c | 515914 | 1156 4798 14255 | 1 91725 22 | 0.773 % | 141.79/141.85 c | 516196 | 1156 4798 14255 | 1 92007 22 | 0.773 % | 141.79/141.85 c | 516906 | 1156 4798 14255 | 1 92717 23 | 0.773 % | 141.79/141.85 c | 517010 | 1156 4798 14255 | 1 92821 23 | 0.773 % | 141.79/141.85 c | 517766 | 1156 4798 14255 | 1 93577 23 | 0.773 % | 141.79/141.85 c | 609868 | 1156 4798 14255 | 1 86685 15 | 0.773 % | 141.79/141.85 c | 610039 | 1156 4798 14255 | 1 86856 15 | 0.773 % | 141.79/141.85 c | 610211 | 1156 4798 14255 | 1 87028 15 | 0.773 % | 141.79/141.85 c | 610312 | 1156 4798 14255 | 1 87129 15 | 0.773 % | 141.79/141.85 c | 610430 | 1156 4798 14255 | 1 87247 15 | 0.773 % | 141.79/141.85 c | 616447 | 1156 4798 14255 | 1 93264 16 | 0.773 % | 141.79/141.85 c | 616644 | 1156 4798 14255 | 1 93461 16 | 0.773 % | 141.79/141.85 c | 616744 | 1156 4798 14255 | 1 93561 16 | 0.773 % | 141.79/141.85 c | 616845 | 1156 4798 14255 | 1 93662 16 | 0.773 % | 141.79/141.85 c | 617281 | 1156 4798 14255 | 1 94098 16 | 0.773 % | 141.79/141.85 c | 622344 | 1156 4798 14255 | 1 99161 16 | 0.773 % | 141.79/141.85 c | 622449 | 1156 4798 14255 | 1 99266 16 | 0.773 % | 141.79/141.85 c | 623136 | 1156 4798 14255 | 1 99953 17 | 0.773 % | 141.79/141.85 c | 625932 | 1156 4798 14255 | 1 102749 17 | 0.773 % | 141.79/141.85 c | 626084 | 1156 4798 14255 | 1 102901 17 | 0.773 % | 141.79/141.85 c | 626185 | 1156 4798 14255 | 1 103002 17 | 0.773 % | 141.79/141.85 c | 1026174 | 1155 4794 14239 | 1 62578 11 | 0.858 % | 141.79/141.85 c | 1026942 | 1155 4794 14239 | 1 63346 12 | 0.858 % | 141.79/141.85 c | 1027042 | 1155 4794 14239 | 1 63446 12 | 0.858 % | 141.79/141.85 c | 1027143 | 1155 4794 14239 | 1 63547 12 | 0.858 % | 141.79/141.85 c | 1032633 | 1155 4794 14239 | 1 69037 13 | 0.858 % | 141.79/141.85 c | 1033170 | 1155 4794 14239 | 1 69574 13 | 0.858 % | 149.39/149.48 c | 1033272 | 1155 4794 14239 | 1 69676 13 | 0.858 % | 149.39/149.48 c | 1033520 | 1155 4794 14239 | 1 69924 13 | 0.858 % | 149.39/149.48 c | 1033621 | 1155 4794 14239 | 1 70025 13 | 0.858 % | 149.39/149.48 c | 1034151 | 1155 4794 14239 | 1 70555 13 | 0.858 % | 149.39/149.48 c | 1034253 | 1155 4794 14239 | 1 70657 13 | 0.858 % | 149.39/149.48 c | 1034354 | 1155 4794 14239 | 1 70758 13 | 0.858 % | 149.39/149.48 c | 1034454 | 1155 4794 14239 | 1 70858 13 | 0.858 % | 149.39/149.48 c | 1035421 | 1155 4794 14239 | 1 71825 13 | 0.858 % | 149.39/149.48 c | 1035521 | 1155 4794 14239 | 1 71925 14 | 0.858 % | 149.39/149.48 c | 1041043 | 1154 4790 14223 | 1 73462 14 | 0.944 % | 149.39/149.48 c | 1043980 | 1154 4790 14223 | 1 76399 14 | 0.944 % | 149.39/149.48 c | 1044080 | 1154 4790 14223 | 1 76499 14 | 0.944 % | 149.39/149.48 c | 1044215 | 1154 4790 14223 | 1 76634 14 | 0.944 % | 149.39/149.48 c | 1044317 | 1154 4790 14223 | 1 76736 14 | 0.944 % | 149.39/149.48 c | 1044418 | 1154 4790 14223 | 1 76837 14 | 0.944 % | 149.39/149.48 c | 1044607 | 1154 4790 14223 | 1 77026 14 | 0.944 % | 149.39/149.48 c | 1044714 | 1154 4790 14223 | 1 77133 14 | 0.944 % | 149.39/149.48 c | 1045056 | 1154 4790 14223 | 1 77475 14 | 0.944 % | 149.39/149.48 c | 1045156 | 1154 4790 14223 | 1 77575 14 | 0.944 % | 149.39/149.48 c | 1048350 | 1154 4790 14223 | 1 80769 15 | 0.944 % | 149.39/149.48 c | 1048451 | 1154 4790 14223 | 1 80870 15 | 0.944 % | 149.39/149.48 c | 1048552 | 1154 4790 14223 | 1 80971 15 | 0.944 % | 149.39/149.48 c | 1048653 | 1154 4790 14223 | 1 81072 16 | 0.944 % | 149.39/149.48 c | 1048753 | 1154 4790 14223 | 1 81172 16 | 0.944 % | 149.39/149.48 c | 1049106 | 1154 4790 14223 | 1 81525 16 | 0.944 % | 149.39/149.48 c | 1049227 | 1154 4790 14223 | 1 81646 16 | 0.944 % | 149.39/149.48 c | 1049420 | 1154 4790 14223 | 1 81839 16 | 0.944 % | 149.39/149.48 c | 1052244 | 1154 4790 14223 | 1 84663 16 | 0.944 % | 149.39/149.48 c | 1052740 | 1154 4790 14223 | 1 85159 16 | 0.944 % | 149.39/149.48 c | 1052840 | 1154 4790 14223 | 1 85259 16 | 0.944 % | 149.39/149.48 c | 1053048 | 1154 4790 14223 | 1 85467 16 | 0.944 % | 149.39/149.48 c | 1053153 | 1154 4790 14223 | 1 85572 16 | 0.944 % | 149.39/149.48 c | 1053253 | 1154 4790 14223 | 1 85672 16 | 0.944 % | 149.39/149.48 c | 1053353 | 1154 4790 14223 | 1 85772 16 | 0.944 % | 149.39/149.48 c | 1054382 | 1154 4790 14223 | 1 86801 17 | 0.944 % | 149.39/149.48 c | 1054482 | 1154 4790 14223 | 1 86901 17 | 0.944 % | 149.39/149.48 c | 1066729 | 1154 4790 14223 | 1 99148 19 | 0.944 % | 149.39/149.48 c | 1067021 | 1154 4790 14223 | 1 99440 19 | 0.944 % | 149.39/149.48 c | 1067122 | 1154 4790 14223 | 1 99541 19 | 0.944 % | 149.39/149.48 c | 1067231 | 1154 4790 14223 | 1 99650 19 | 0.944 % | 149.39/149.48 c | 1067334 | 1154 4790 14223 | 1 99753 19 | 0.944 % | 149.39/149.48 c | 1067641 | 1154 4790 14223 | 1 100060 19 | 0.944 % | 149.39/149.48 c | 1067863 | 1154 4790 14223 | 1 100282 19 | 0.944 % | 149.39/149.48 c | 1068064 | 1154 4790 14223 | 1 100483 19 | 0.944 % | 149.39/149.48 c | 1068167 | 1154 4790 14223 | 1 100586 19 | 0.944 % | 149.39/149.48 c | 1068428 | 1154 4790 14223 | 1 100847 19 | 0.944 % | 149.39/149.48 c | 1068529 | 1154 4790 14223 | 1 100948 19 | 0.944 % | 149.39/149.48 c | 1068894 | 1154 4790 14223 | 1 101313 19 | 0.944 % | 149.39/149.48 c | 1069291 | 1154 4790 14223 | 1 101710 19 | 0.944 % | 149.39/149.48 c | 1069391 | 1154 4790 14223 | 1 101810 19 | 0.944 % | 154.09/154.17 c | 1069510 | 1154 4790 14223 | 1 101929 19 | 0.944 % | 154.09/154.17 c | 1069612 | 1154 4790 14223 | 1 102031 19 | 0.944 % | 154.09/154.17 c | 1070020 | 1154 4790 14223 | 1 102439 19 | 0.944 % | 154.09/154.17 c | 1070214 | 1154 4790 14223 | 1 102633 19 | 0.944 % | 154.09/154.17 c | 1070377 | 1154 4790 14223 | 1 102796 19 | 0.944 % | 154.09/154.17 c | 1071814 | 1154 4790 14223 | 1 104233 19 | 0.944 % | 154.09/154.17 c | 1071917 | 1154 4790 14223 | 1 104336 19 | 0.944 % | 154.09/154.17 c | 1072017 | 1154 4790 14223 | 1 104436 19 | 0.944 % | 154.09/154.17 c | 1072203 | 1154 4790 14223 | 1 104622 19 | 0.944 % | 154.09/154.17 c | 1072418 | 1154 4790 14223 | 1 104837 19 | 0.944 % | 154.09/154.17 c | 1072518 | 1154 4790 14223 | 1 104937 19 | 0.944 % | 154.09/154.17 c | 1072618 | 1154 4790 14223 | 1 105037 19 | 0.944 % | 154.09/154.17 c | 1073699 | 1154 4790 14223 | 1 106118 20 | 0.944 % | 154.09/154.17 c | 1073799 | 1154 4790 14223 | 1 106218 20 | 0.944 % | 154.09/154.17 c | 1073901 | 1154 4790 14223 | 1 106320 20 | 0.944 % | 154.09/154.17 c | 1074002 | 1154 4790 14223 | 1 106421 20 | 0.944 % | 154.09/154.17 c | 1074750 | 1154 4790 14223 | 1 107169 20 | 0.944 % | 154.09/154.17 c | 1075651 | 1154 4790 14223 | 1 108070 20 | 0.944 % | 154.09/154.17 c | 1075813 | 1154 4790 14223 | 1 108232 20 | 0.944 % | 154.09/154.17 c | 1076431 | 1154 4790 14223 | 1 108850 20 | 0.944 % | 154.09/154.17 c | 1076531 | 1154 4790 14223 | 1 108950 20 | 0.944 % | 154.09/154.17 c | 1077362 | 1154 4790 14223 | 1 109781 20 | 0.944 % | 154.09/154.17 c | 1077463 | 1154 4790 14223 | 1 109882 20 | 0.944 % | 154.09/154.17 c | 1077667 | 1154 4790 14223 | 1 110086 20 | 0.944 % | 154.09/154.17 c | 1078138 | 1154 4790 14223 | 1 110557 20 | 0.944 % | 154.09/154.17 c | 1079470 | 1154 4790 14223 | 1 111889 20 | 0.944 % | 154.09/154.17 c | 1079571 | 1154 4790 14223 | 1 111990 20 | 0.944 % | 154.09/154.17 c | 1079810 | 1154 4790 14223 | 1 112229 20 | 0.944 % | 154.09/154.17 c | 1081477 | 1154 4790 14223 | 1 113896 20 | 0.944 % | 154.09/154.17 c | 1081577 | 1154 4790 14223 | 1 113996 20 | 0.944 % | 154.09/154.17 c | 1081677 | 1154 4790 14223 | 1 114096 20 | 0.944 % | 154.09/154.17 c | 1082181 | 1154 4790 14223 | 1 114600 21 | 0.944 % | 154.09/154.17 c | 1082562 | 1154 4790 14223 | 1 114981 21 | 0.944 % | 154.09/154.17 c | 1082716 | 1154 4790 14223 | 1 115135 21 | 0.944 % | 154.09/154.17 c | 1082950 | 1154 4790 14223 | 1 115369 21 | 0.944 % | 154.09/154.17 c | 1083050 | 1154 4790 14223 | 1 115469 21 | 0.944 % | 154.09/154.17 c | 1083150 | 1154 4790 14223 | 1 115569 21 | 0.944 % | 154.09/154.17 c | 1083612 | 1154 4790 14223 | 1 116031 21 | 0.944 % | 154.09/154.17 c | 1083712 | 1154 4790 14223 | 1 116131 21 | 0.944 % | 154.09/154.17 c | 1083813 | 1154 4790 14223 | 1 116232 21 | 0.944 % | 154.09/154.17 c | 1084174 | 1154 4790 14223 | 1 116593 21 | 0.944 % | 154.09/154.17 c | 1084515 | 1154 4790 14223 | 1 116934 21 | 0.944 % | 154.09/154.17 c | 1084944 | 1154 4790 14223 | 1 117363 21 | 0.944 % | 154.09/154.17 c | 1085049 | 1154 4790 14223 | 1 117468 21 | 0.944 % | 154.09/154.17 c | 1087146 | 1154 4790 14223 | 1 119565 21 | 0.944 % | 154.09/154.17 c | 1087354 | 1154 4790 14223 | 1 119773 21 | 0.944 % | 154.09/154.17 c | 1087455 | 1154 4790 14223 | 1 119874 21 | 0.944 % | 154.09/154.17 c | 1087556 | 1154 4790 14223 | 1 119975 21 | 0.944 % | 154.09/154.17 c | 1087657 | 1154 4790 14223 | 1 120076 21 | 0.944 % | 168.89/168.99 c | 1088072 | 1154 4790 14223 | 1 120491 21 | 0.944 % | 168.89/168.99 c | 1088748 | 1154 4790 14223 | 1 121167 21 | 0.944 % | 168.89/168.99 c | 1088848 | 1154 4790 14223 | 1 121267 21 | 0.944 % | 168.89/168.99 c | 1090530 | 1154 4790 14223 | 1 122949 21 | 0.944 % | 168.89/168.99 c | 1090631 | 1154 4790 14223 | 1 123050 21 | 0.944 % | 168.89/168.99 c | 1090731 | 1154 4790 14223 | 1 123150 21 | 0.944 % | 168.89/168.99 c | 1090928 | 1154 4790 14223 | 1 123347 21 | 0.944 % | 168.89/168.99 c | 1091056 | 1154 4790 14223 | 1 123475 21 | 0.944 % | 168.89/168.99 c | 1091470 | 1154 4790 14223 | 1 123889 21 | 0.944 % | 168.89/168.99 c | 1091570 | 1154 4790 14223 | 1 123989 21 | 0.944 % | 168.89/168.99 c | 1093409 | 1154 4790 14223 | 1 125828 21 | 0.944 % | 168.89/168.99 c | 1093509 | 1154 4790 14223 | 1 125928 21 | 0.944 % | 168.89/168.99 c | 1093840 | 1154 4790 14223 | 1 126259 22 | 0.944 % | 168.89/168.99 c | 1093941 | 1154 4790 14223 | 1 126360 22 | 0.944 % | 168.89/168.99 c | 1094041 | 1154 4790 14223 | 1 126460 22 | 0.944 % | 168.89/168.99 c | 1094141 | 1154 4790 14223 | 1 126560 22 | 0.944 % | 168.89/168.99 c | 1094244 | 1154 4790 14223 | 1 126663 22 | 0.944 % | 168.89/168.99 c | 1094344 | 1154 4790 14223 | 1 126763 22 | 0.944 % | 168.89/168.99 c | 1094476 | 1154 4790 14223 | 1 126895 22 | 0.944 % | 168.89/168.99 c | 1094576 | 1154 4790 14223 | 1 126995 22 | 0.944 % | 168.89/168.99 c | 1094974 | 1154 4790 14223 | 1 63791 12 | 0.944 % | 168.89/168.99 c | 1095327 | 1154 4790 14223 | 1 64144 12 | 0.944 % | 168.89/168.99 c | 1095427 | 1154 4790 14223 | 1 64244 12 | 0.944 % | 168.89/168.99 c | 1096093 | 1154 4790 14223 | 1 64910 13 | 0.944 % | 168.89/168.99 c | 1136428 | 1154 4790 14223 | 1 105245 15 | 0.944 % | 168.89/168.99 c | 1152044 | 1154 4790 14223 | 1 120861 16 | 0.944 % | 168.89/168.99 c | 1152994 | 1154 4790 14223 | 1 121811 16 | 0.944 % | 168.89/168.99 c | 1153095 | 1154 4790 14223 | 1 121912 16 | 0.944 % | 168.89/168.99 c | 1154921 | 1154 4790 14223 | 1 123738 17 | 0.944 % | 168.89/168.99 c | 1155021 | 1154 4790 14223 | 1 123838 17 | 0.944 % | 168.89/168.99 c | 1155786 | 1154 4790 14223 | 1 124603 17 | 0.944 % | 168.89/168.99 c | 1157060 | 1154 4790 14223 | 1 125877 17 | 0.944 % | 168.89/168.99 c | 1157480 | 1154 4790 14223 | 1 126297 17 | 0.944 % | 168.89/168.99 c | 1157690 | 1154 4790 14223 | 1 126507 17 | 0.944 % | 168.89/168.99 c | 1157921 | 1154 4790 14223 | 1 126738 17 | 0.944 % | 168.89/168.99 c | 1158056 | 1154 4790 14223 | 1 126873 17 | 0.944 % | 168.89/168.99 c | 1158168 | 1154 4790 14223 | 1 126985 17 | 0.944 % | 168.89/168.99 c | 1158557 | 1154 4790 14223 | 1 127374 17 | 0.944 % | 168.89/168.99 c | 1158687 | 1154 4790 14223 | 1 127504 17 | 0.944 % | 168.89/168.99 c | 1159273 | 1154 4790 14223 | 1 128090 17 | 0.944 % | 168.89/168.99 c | 1159375 | 1154 4790 14223 | 1 128192 17 | 0.944 % | 168.89/168.99 c | 1159475 | 1154 4790 14223 | 1 128292 17 | 0.944 % | 168.89/168.99 c | 1159576 | 1154 4790 14223 | 1 128393 17 | 0.944 % | 168.89/168.99 c | 1161289 | 1154 4790 14223 | 1 130106 17 | 0.944 % | 168.89/168.99 c | 1161389 | 1154 4790 14223 | 1 130206 17 | 0.944 % | 168.89/168.99 c | 1161490 | 1154 4790 14223 | 1 130307 17 | 0.944 % | 168.89/168.99 c | 1161893 | 1154 4790 14223 | 1 130710 18 | 0.944 % | 168.89/168.99 c | 1162677 | 1154 4790 14223 | 1 131494 18 | 0.944 % | 168.89/168.99 c | 1162839 | 1154 4790 14223 | 1 131656 18 | 0.944 % | 168.89/168.99 c | 1162939 | 1154 4790 14223 | 1 131756 18 | 0.944 % | 182.19/182.27 c | 1163040 | 1154 4790 14223 | 1 131857 18 | 0.944 % | 182.19/182.27 c | 1163416 | 1154 4790 14223 | 1 132233 18 | 0.944 % | 182.19/182.27 c | 1163554 | 1154 4790 14223 | 1 132371 18 | 0.944 % | 182.19/182.27 c | 1164001 | 1154 4790 14223 | 1 132818 18 | 0.944 % | 182.19/182.27 c | 1164831 | 1154 4790 14223 | 1 133648 18 | 0.944 % | 182.19/182.27 c | 1166430 | 1154 4790 14223 | 1 135247 18 | 0.944 % | 182.19/182.27 c | 1166530 | 1154 4790 14223 | 1 135347 18 | 0.944 % | 182.19/182.27 c | 1166857 | 1154 4790 14223 | 1 135674 18 | 0.944 % | 182.19/182.27 c | 1166958 | 1154 4790 14223 | 1 135775 18 | 0.944 % | 182.19/182.27 c | 1170795 | 1154 4790 14223 | 1 139612 19 | 0.944 % | 182.19/182.27 c | 1170978 | 1154 4790 14223 | 1 139795 19 | 0.944 % | 182.19/182.27 c | 1171080 | 1154 4790 14223 | 1 139897 19 | 0.944 % | 182.19/182.27 c | 1184175 | 1154 4790 14223 | 1 82794 16 | 0.944 % | 182.19/182.27 c | 1184416 | 1154 4790 14223 | 1 83035 16 | 0.944 % | 182.19/182.27 c | 1185242 | 1154 4790 14223 | 1 83861 16 | 0.944 % | 182.19/182.27 c | 1185417 | 1154 4790 14223 | 1 84036 16 | 0.944 % | 182.19/182.27 c | 1186327 | 1154 4790 14223 | 1 84946 16 | 0.944 % | 182.19/182.27 c | 1186912 | 1154 4790 14223 | 1 85531 16 | 0.944 % | 182.19/182.27 c | 1187754 | 1154 4790 14223 | 1 86373 17 | 0.944 % | 182.19/182.27 c | 1187854 | 1154 4790 14223 | 1 86473 17 | 0.944 % | 182.19/182.27 c | 1188573 | 1154 4790 14223 | 1 87192 17 | 0.944 % | 182.19/182.27 c | 1190737 | 1154 4790 14223 | 1 89356 17 | 0.944 % | 182.19/182.27 c | 1190852 | 1154 4790 14223 | 1 89471 17 | 0.944 % | 182.19/182.27 c | 1191125 | 1154 4790 14223 | 1 89744 17 | 0.944 % | 182.19/182.27 c | 1201023 | 1154 4790 14223 | 1 99642 19 | 0.944 % | 182.19/182.27 c | 1201367 | 1154 4790 14223 | 1 99986 19 | 0.944 % | 182.19/182.27 c | 1201470 | 1154 4790 14223 | 1 100089 19 | 0.944 % | 182.19/182.27 c | 1202040 | 1154 4790 14223 | 1 100659 19 | 0.944 % | 182.19/182.27 c | 1202412 | 1154 4790 14223 | 1 101031 19 | 0.944 % | 182.19/182.27 c | 1202815 | 1154 4790 14223 | 1 101434 19 | 0.944 % | 182.19/182.27 c | 1203073 | 1154 4790 14223 | 1 101692 19 | 0.944 % | 182.19/182.27 c | 1203173 | 1154 4790 14223 | 1 101792 19 | 0.944 % | 182.19/182.27 c | 1204447 | 1154 4790 14223 | 1 103066 20 | 0.944 % | 182.19/182.27 c | 1207355 | 1154 4790 14223 | 1 105974 20 | 0.944 % | 182.19/182.27 c | 1208990 | 1154 4790 14223 | 1 107609 20 | 0.944 % | 182.19/182.27 c | 1209673 | 1154 4790 14223 | 1 108292 20 | 0.944 % | 182.19/182.27 c | 1216642 | 1154 4790 14223 | 1 115261 21 | 0.944 % | 182.19/182.27 c | 1216756 | 1154 4790 14223 | 1 115375 21 | 0.944 % | 182.19/182.27 c | 1216856 | 1154 4790 14223 | 1 115475 21 | 0.944 % | 182.19/182.27 c | 1216958 | 1154 4790 14223 | 1 115577 21 | 0.944 % | 182.19/182.27 c | 1217092 | 1154 4790 14223 | 1 115711 21 | 0.944 % | 182.19/182.27 c | 1217375 | 1154 4790 14223 | 1 115994 21 | 0.944 % | 182.19/182.27 c | 1217475 | 1154 4790 14223 | 1 116094 21 | 0.944 % | 182.19/182.27 c | 1219724 | 1154 4790 14223 | 1 118343 21 | 0.944 % | 182.19/182.27 c | 1221345 | 1154 4790 14223 | 1 119964 21 | 0.944 % | 182.19/182.27 c | 1224285 | 1154 4790 14223 | 1 122904 22 | 0.944 % | 182.19/182.27 c | 1224807 | 1154 4790 14223 | 1 123426 22 | 0.944 % | 182.19/182.27 c | 1224907 | 1154 4790 14223 | 1 123526 22 | 0.944 % | 182.19/182.27 c | 1225007 | 1154 4790 14223 | 1 123626 22 | 0.944 % | 182.19/182.27 c | 1225740 | 1154 4790 14223 | 1 124359 22 | 0.944 % | 200.99/201.00 c | 1225840 | 1154 4790 14223 | 1 124459 22 | 0.944 % | 200.99/201.00 c | 1226133 | 1154 4790 14223 | 1 124752 22 | 0.944 % | 200.99/201.00 c | 1227645 | 1154 4790 14223 | 1 126264 22 | 0.944 % | 200.99/201.00 c | 1227774 | 1154 4790 14223 | 1 126393 22 | 0.944 % | 200.99/201.00 c | 1227948 | 1154 4790 14223 | 1 126567 22 | 0.944 % | 200.99/201.00 c | 1228048 | 1154 4790 14223 | 1 126667 22 | 0.944 % | 200.99/201.00 c | 1228626 | 1154 4790 14223 | 1 127245 22 | 0.944 % | 200.99/201.00 c | 1228727 | 1154 4790 14223 | 1 127346 22 | 0.944 % | 200.99/201.00 c | 1228850 | 1154 4790 14223 | 1 127469 22 | 0.944 % | 200.99/201.00 c | 1230556 | 1154 4790 14223 | 1 129175 22 | 0.944 % | 200.99/201.00 c | 1230656 | 1154 4790 14223 | 1 129275 22 | 0.944 % | 200.99/201.00 c | 1230816 | 1154 4790 14223 | 1 129435 22 | 0.944 % | 200.99/201.00 c | 1230916 | 1154 4790 14223 | 1 129535 22 | 0.944 % | 200.99/201.00 c | 1231490 | 1154 4790 14223 | 1 130109 23 | 0.944 % | 200.99/201.00 c | 1232491 | 1154 4790 14223 | 1 131110 23 | 0.944 % | 200.99/201.00 c | 1237223 | 1154 4790 14223 | 1 135842 23 | 0.944 % | 200.99/201.00 c | 1250560 | 1154 4790 14223 | 1 149179 24 | 0.944 % | 200.99/201.00 c | 1250661 | 1154 4790 14223 | 1 149280 24 | 0.944 % | 200.99/201.00 c | 1250850 | 1154 4790 14223 | 1 149469 24 | 0.944 % | 200.99/201.00 c | 1251482 | 1154 4790 14223 | 1 75296 13 | 0.944 % | 200.99/201.00 c | 1253413 | 1154 4790 14223 | 1 77227 14 | 0.944 % | 200.99/201.00 c | 1253794 | 1154 4790 14223 | 1 77608 14 | 0.944 % | 200.99/201.00 c | 1253894 | 1154 4790 14223 | 1 77708 14 | 0.944 % | 200.99/201.00 c | 1254120 | 1154 4790 14223 | 1 77934 14 | 0.944 % | 200.99/201.00 c | 1257216 | 1154 4790 14223 | 1 81030 15 | 0.944 % | 200.99/201.00 c | 1263817 | 1154 4790 14223 | 1 87631 17 | 0.944 % | 200.99/201.00 c | 1266182 | 1154 4790 14223 | 1 89996 17 | 0.944 % | 200.99/201.00 c | 1267325 | 1154 4790 14223 | 1 91139 17 | 0.944 % | 200.99/201.00 c | 1267439 | 1154 4790 14223 | 1 91253 17 | 0.944 % | 200.99/201.00 c | 1267540 | 1154 4790 14223 | 1 91354 17 | 0.944 % | 200.99/201.00 c | 1267718 | 1154 4790 14223 | 1 91532 17 | 0.944 % | 200.99/201.00 c | 1273409 | 1154 4790 14223 | 1 97223 18 | 0.944 % | 200.99/201.00 c | 1276305 | 1154 4790 14223 | 1 100119 19 | 0.944 % | 200.99/201.00 c | 1276730 | 1154 4790 14223 | 1 100544 19 | 0.944 % | 200.99/201.00 c | 1276832 | 1154 4790 14223 | 1 100646 19 | 0.944 % | 200.99/201.00 c | 1280816 | 1154 4790 14223 | 1 104630 20 | 0.944 % | 200.99/201.00 c | 1282269 | 1154 4790 14223 | 1 106083 20 | 0.944 % | 200.99/201.00 c | 1282373 | 1154 4790 14223 | 1 106187 20 | 0.944 % | 200.99/201.00 c | 1282482 | 1154 4790 14223 | 1 106296 20 | 0.944 % | 200.99/201.00 c | 1283104 | 1154 4790 14223 | 1 106918 20 | 0.944 % | 200.99/201.00 c | 1283204 | 1154 4790 14223 | 1 107018 20 | 0.944 % | 200.99/201.00 c | 1284748 | 1154 4790 14223 | 1 108562 20 | 0.944 % | 200.99/201.00 c | 1284850 | 1154 4790 14223 | 1 108664 20 | 0.944 % | 200.99/201.00 c | 1285125 | 1154 4790 14223 | 1 108939 20 | 0.944 % | 200.99/201.00 c | 1286759 | 1154 4790 14223 | 1 110573 20 | 0.944 % | 200.99/201.00 c | 1287145 | 1154 4790 14223 | 1 110959 20 | 0.944 % | 200.99/201.00 c | 1288725 | 1154 4790 14223 | 1 112539 21 | 0.944 % | 200.99/201.00 c | 1288921 | 1154 4790 14223 | 1 112735 21 | 0.944 % | 200.99/201.00 c | 1289743 | 1154 4790 14223 | 1 113557 21 | 0.944 % | 200.99/201.00 c | 1302035 | 1154 4790 14223 | 1 125849 21 | 0.944 % | 228.39/228.48 c | 1302140 | 1154 4790 14223 | 1 125954 21 | 0.944 % | 228.39/228.48 c | 1302304 | 1154 4790 14223 | 1 126118 21 | 0.944 % | 228.39/228.48 c | 1302628 | 1154 4790 14223 | 1 126442 21 | 0.944 % | 228.39/228.48 c | 1330234 | 1154 4790 14223 | 1 154048 22 | 0.944 % | 228.39/228.48 c | 1330335 | 1154 4790 14223 | 1 154149 22 | 0.944 % | 228.39/228.48 c | 1330435 | 1154 4790 14223 | 1 154249 22 | 0.944 % | 228.39/228.48 c | 1333796 | 1154 4790 14223 | 1 79209 13 | 0.944 % | 228.39/228.48 c | 1334449 | 1154 4790 14223 | 1 79862 13 | 0.944 % | 228.39/228.48 c | 1335367 | 1154 4790 14223 | 1 80780 13 | 0.944 % | 228.39/228.48 c | 1335468 | 1154 4790 14223 | 1 80881 13 | 0.944 % | 228.39/228.48 c | 1335577 | 1154 4790 14223 | 1 80990 13 | 0.944 % | 228.39/228.48 c | 1335678 | 1154 4790 14223 | 1 81091 13 | 0.944 % | 228.39/228.48 c | 1336668 | 1154 4790 14223 | 1 82081 13 | 0.944 % | 228.39/228.48 c | 1340563 | 1154 4790 14223 | 1 85976 15 | 0.944 % | 228.39/228.48 c | 1341187 | 1154 4790 14223 | 1 86600 15 | 0.944 % | 228.39/228.48 c | 1341605 | 1154 4790 14223 | 1 87018 15 | 0.944 % | 228.39/228.48 c | 1341771 | 1154 4790 14223 | 1 87184 15 | 0.944 % | 228.39/228.48 c | 1342062 | 1154 4790 14223 | 1 87475 15 | 0.944 % | 228.39/228.48 c | 1344417 | 1154 4790 14223 | 1 89830 15 | 0.944 % | 228.39/228.48 c | 1344578 | 1154 4790 14223 | 1 89991 15 | 0.944 % | 228.39/228.48 c | 1344703 | 1154 4790 14223 | 1 90116 15 | 0.944 % | 228.39/228.48 c | 1344982 | 1154 4790 14223 | 1 90395 16 | 0.944 % | 228.39/228.48 c | 1345352 | 1154 4790 14223 | 1 90765 16 | 0.944 % | 228.39/228.48 c | 1345686 | 1154 4790 14223 | 1 91099 16 | 0.944 % | 228.39/228.48 c | 1345787 | 1154 4790 14223 | 1 91200 16 | 0.944 % | 228.39/228.48 c | 1345970 | 1154 4790 14223 | 1 91383 16 | 0.944 % | 228.39/228.48 c | 1346216 | 1154 4790 14223 | 1 91629 16 | 0.944 % | 228.39/228.48 c | 1369868 | 1154 4790 14223 | 1 115281 18 | 0.944 % | 228.39/228.48 c | 1391121 | 1154 4790 14223 | 1 136534 18 | 0.944 % | 228.39/228.48 c | 1391366 | 1154 4790 14223 | 1 136779 18 | 0.944 % | 228.39/228.48 c | 1391474 | 1154 4790 14223 | 1 136887 18 | 0.944 % | 228.39/228.48 c | 1391753 | 1154 4790 14223 | 1 137166 18 | 0.944 % | 228.39/228.48 c | 1398089 | 1154 4790 14223 | 1 143502 19 | 0.944 % | 228.39/228.48 c | 1398590 | 1154 4790 14223 | 1 144003 19 | 0.944 % | 228.39/228.48 c | 1398705 | 1154 4790 14223 | 1 144118 19 | 0.944 % | 228.39/228.48 c | 1398807 | 1154 4790 14223 | 1 144220 19 | 0.944 % | 228.39/228.48 c | 1398907 | 1154 4790 14223 | 1 144320 19 | 0.944 % | 228.39/228.48 c | 1399489 | 1154 4790 14223 | 1 144902 19 | 0.944 % | 228.39/228.48 c | 1399637 | 1154 4790 14223 | 1 145050 19 | 0.944 % | 228.39/228.48 c | 1399739 | 1154 4790 14223 | 1 145152 19 | 0.944 % | 228.39/228.48 c | 1399957 | 1154 4790 14223 | 1 145370 19 | 0.944 % | 228.39/228.48 c | 1400523 | 1154 4790 14223 | 1 145936 19 | 0.944 % | 228.39/228.48 c | 1400738 | 1154 4790 14223 | 1 146151 19 | 0.944 % | 228.39/228.48 c | 1400888 | 1154 4790 14223 | 1 146301 19 | 0.944 % | 228.39/228.48 c | 1401007 | 1154 4790 14223 | 1 146420 19 | 0.944 % | 228.39/228.48 c | 1401272 | 1154 4790 14223 | 1 146685 19 | 0.944 % | 228.39/228.48 c | 1405674 | 1154 4790 14223 | 1 151087 20 | 0.944 % | 228.39/228.48 c | 1405955 | 1154 4790 14223 | 1 151368 20 | 0.944 % | 228.39/228.48 c | 1406056 | 1154 4790 14223 | 1 151469 20 | 0.944 % | 228.39/228.48 c | 1406157 | 1154 4790 14223 | 1 151570 20 | 0.944 % | 255.09/255.12 c | 1422688 | 1154 4790 14223 | 1 86601 13 | 0.944 % | 255.09/255.12 c | 1423093 | 1154 4790 14223 | 1 87006 13 | 0.944 % | 255.09/255.12 c | 1423193 | 1154 4790 14223 | 1 87106 13 | 0.944 % | 255.09/255.12 c | 1423295 | 1154 4790 14223 | 1 87208 13 | 0.944 % | 255.09/255.12 c | 1423398 | 1154 4790 14223 | 1 87311 13 | 0.944 % | 255.09/255.12 c | 1423498 | 1154 4790 14223 | 1 87411 13 | 0.944 % | 255.09/255.12 c | 1423658 | 1154 4790 14223 | 1 87571 13 | 0.944 % | 255.09/255.12 c | 1425211 | 1154 4790 14223 | 1 89124 13 | 0.944 % | 255.09/255.12 c | 1429195 | 1154 4790 14223 | 1 93108 14 | 0.944 % | 255.09/255.12 c | 1431792 | 1154 4790 14223 | 1 95705 15 | 0.944 % | 255.09/255.12 c | 1476654 | 1154 4790 14223 | 1 140567 20 | 0.944 % | 255.09/255.12 c | 1477171 | 1154 4790 14223 | 1 141084 20 | 0.944 % | 255.09/255.12 c | 1477271 | 1154 4790 14223 | 1 141184 20 | 0.944 % | 255.09/255.12 c | 1477371 | 1154 4790 14223 | 1 141284 20 | 0.944 % | 255.09/255.12 c | 1477906 | 1154 4790 14223 | 1 141819 20 | 0.944 % | 255.09/255.12 c | 1480140 | 1154 4790 14223 | 1 144053 20 | 0.944 % | 255.09/255.12 c | 1480241 | 1154 4790 14223 | 1 144154 20 | 0.944 % | 255.09/255.12 c | 1480525 | 1154 4790 14223 | 1 144438 20 | 0.944 % | 255.09/255.12 c | 1480632 | 1154 4790 14223 | 1 144545 20 | 0.944 % | 255.09/255.12 c | 1480732 | 1154 4790 14223 | 1 144645 20 | 0.944 % | 255.09/255.12 c | 1486094 | 1154 4790 14223 | 1 150007 21 | 0.944 % | 255.09/255.12 c | 1486194 | 1154 4790 14223 | 1 150107 21 | 0.944 % | 255.09/255.12 c | 1487473 | 1154 4790 14223 | 1 151386 21 | 0.944 % | 255.09/255.12 c | 1487745 | 1154 4790 14223 | 1 151658 21 | 0.944 % | 255.09/255.12 c | 1487845 | 1154 4790 14223 | 1 151758 21 | 0.944 % | 255.09/255.12 c | 1487946 | 1154 4790 14223 | 1 151859 21 | 0.944 % | 255.09/255.12 c | 1488138 | 1154 4790 14223 | 1 152051 21 | 0.944 % | 255.09/255.12 c | 1488584 | 1154 4790 14223 | 1 152497 21 | 0.944 % | 255.09/255.12 c | 1491750 | 1154 4790 14223 | 1 155663 21 | 0.944 % | 255.09/255.12 c | 1499854 | 1154 4790 14223 | 1 163767 22 | 0.944 % | 255.09/255.12 c | 1499954 | 1154 4790 14223 | 1 163867 22 | 0.944 % | 255.09/255.12 c | 1500995 | 1154 4790 14223 | 1 164908 22 | 0.944 % | 255.09/255.12 c | 1505675 | 1154 4790 14223 | 1 85241 13 | 0.944 % | 255.09/255.12 c | 1505832 | 1154 4790 14223 | 1 85398 13 | 0.944 % | 255.09/255.12 c | 1507536 | 1154 4790 14223 | 1 87102 13 | 0.944 % | 255.09/255.12 c | 1508023 | 1154 4790 14223 | 1 87589 13 | 0.944 % | 255.09/255.12 c | 1508133 | 1154 4790 14223 | 1 87699 13 | 0.944 % | 255.09/255.12 c | 1508234 | 1154 4790 14223 | 1 87800 13 | 0.944 % | 255.09/255.12 c | 1508334 | 1154 4790 14223 | 1 87900 13 | 0.944 % | 255.09/255.12 c | 1508848 | 1154 4790 14223 | 1 88414 14 | 0.944 % | 255.09/255.12 c | 1508948 | 1154 4790 14223 | 1 88514 14 | 0.944 % | 255.09/255.12 c | 1509174 | 1154 4790 14223 | 1 88740 14 | 0.944 % | 255.09/255.12 c | 1509303 | 1154 4790 14223 | 1 88869 14 | 0.944 % | 255.09/255.12 c | 1510131 | 1154 4790 14223 | 1 89697 14 | 0.944 % | 255.09/255.12 c | 1510234 | 1154 4790 14223 | 1 89800 14 | 0.944 % | 255.09/255.12 c | 1511807 | 1154 4790 14223 | 1 91373 14 | 0.944 % | 255.09/255.12 c | 1511907 | 1154 4790 14223 | 1 91473 14 | 0.944 % | 255.09/255.12 c | 1512008 | 1154 4790 14223 | 1 91574 15 | 0.944 % | 255.09/255.12 c | 1512117 | 1154 4790 14223 | 1 91683 15 | 0.944 % | 255.09/255.12 c | 1512407 | 1154 4790 14223 | 1 91973 15 | 0.944 % | 299.39/299.44 c | 1513794 | 1154 4790 14223 | 1 93360 15 | 0.944 % | 299.39/299.44 c | 1514686 | 1154 4790 14223 | 1 94252 15 | 0.944 % | 299.39/299.44 c | 1514790 | 1154 4790 14223 | 1 94356 15 | 0.944 % | 299.39/299.44 c | 1519819 | 1154 4790 14223 | 1 99385 16 | 0.944 % | 299.39/299.44 c | 1520237 | 1154 4790 14223 | 1 99803 16 | 0.944 % | 299.39/299.44 c | 1571088 | 1154 4790 14223 | 1 150654 18 | 0.944 % | 299.39/299.44 c | 1571288 | 1154 4790 14223 | 1 150854 18 | 0.944 % | 299.39/299.44 c | 1572104 | 1154 4790 14223 | 1 151670 18 | 0.944 % | 299.39/299.44 c | 1576130 | 1154 4790 14223 | 1 155696 19 | 0.944 % | 299.39/299.44 c | 1576231 | 1154 4790 14223 | 1 155797 19 | 0.944 % | 299.39/299.44 c | 1576356 | 1154 4790 14223 | 1 155922 19 | 0.944 % | 299.39/299.44 c | 1577477 | 1154 4790 14223 | 1 157043 19 | 0.944 % | 299.39/299.44 c | 1577579 | 1154 4790 14223 | 1 157145 19 | 0.944 % | 299.39/299.44 c | 1578124 | 1154 4790 14223 | 1 157690 19 | 0.944 % | 299.39/299.44 c | 1578225 | 1154 4790 14223 | 1 157791 19 | 0.944 % | 299.39/299.44 c | 1578326 | 1154 4790 14223 | 1 157892 19 | 0.944 % | 299.39/299.44 c | 1578500 | 1154 4790 14223 | 1 158066 19 | 0.944 % | 299.39/299.44 c | 1578728 | 1154 4790 14223 | 1 158294 19 | 0.944 % | 299.39/299.44 c | 1578828 | 1154 4790 14223 | 1 158394 19 | 0.944 % | 299.39/299.44 c | 1580326 | 1154 4790 14223 | 1 159892 19 | 0.944 % | 299.39/299.44 c | 1580504 | 1154 4790 14223 | 1 160070 19 | 0.944 % | 299.39/299.44 c | 1580742 | 1154 4790 14223 | 1 160308 19 | 0.944 % | 299.39/299.44 c | 1581863 | 1154 4790 14223 | 1 161429 19 | 0.944 % | 299.39/299.44 c | 1584198 | 1154 4790 14223 | 1 163764 19 | 0.944 % | 299.39/299.44 c | 1591309 | 1154 4790 14223 | 1 170875 20 | 0.944 % | 299.39/299.44 c | 1614460 | 1154 4790 14223 | 1 106949 16 | 0.944 % | 299.39/299.44 c | 1617592 | 1154 4790 14223 | 1 110081 16 | 0.944 % | 299.39/299.44 c | 1622736 | 1154 4790 14223 | 1 115225 17 | 0.944 % | 299.39/299.44 c | 1623863 | 1154 4790 14223 | 1 116352 17 | 0.944 % | 299.39/299.44 c | 1624119 | 1154 4790 14223 | 1 116608 17 | 0.944 % | 299.39/299.44 c | 1627630 | 1154 4790 14223 | 1 120119 17 | 0.944 % | 299.39/299.44 c | 1628668 | 1154 4790 14223 | 1 121157 17 | 0.944 % | 299.39/299.44 c | 1628774 | 1154 4790 14223 | 1 121263 17 | 0.944 % | 299.39/299.44 c | 1628877 | 1154 4790 14223 | 1 121366 17 | 0.944 % | 299.39/299.44 c | 1629035 | 1154 4790 14223 | 1 121524 17 | 0.944 % | 299.39/299.44 c | 1629361 | 1154 4790 14223 | 1 121850 17 | 0.944 % | 299.39/299.44 c | 1629462 | 1154 4790 14223 | 1 121951 17 | 0.944 % | 299.39/299.44 c | 1629563 | 1154 4790 14223 | 1 122052 17 | 0.944 % | 299.39/299.44 c | 1631962 | 1154 4790 14223 | 1 124451 18 | 0.944 % | 299.39/299.44 c | 1632063 | 1154 4790 14223 | 1 124552 18 | 0.944 % | 299.39/299.44 c | 1632287 | 1154 4790 14223 | 1 124776 18 | 0.944 % | 299.39/299.44 c | 1633763 | 1154 4790 14223 | 1 126252 18 | 0.944 % | 299.39/299.44 c | 1633865 | 1154 4790 14223 | 1 126354 18 | 0.944 % | 299.39/299.44 c | 1639049 | 1154 4790 14223 | 1 131538 19 | 0.944 % | 299.39/299.44 c | 1639150 | 1154 4790 14223 | 1 131639 19 | 0.944 % | 299.39/299.44 c | 1639250 | 1154 4790 14223 | 1 131739 19 | 0.944 % | 299.39/299.44 c | 1639448 | 1154 4790 14223 | 1 131937 19 | 0.944 % | 299.39/299.44 c | 1639548 | 1154 4790 14223 | 1 132037 19 | 0.944 % | 299.39/299.44 c | 1676689 | 1154 4790 14223 | 1 169178 20 | 0.944 % | 299.39/299.44 c | 1676789 | 1154 4790 14223 | 1 169278 20 | 0.944 % | 326.29/326.39 c | 1676960 | 1154 4790 14223 | 1 169449 20 | 0.944 % | 326.29/326.39 c | 1677061 | 1154 4790 14223 | 1 169550 20 | 0.944 % | 326.29/326.39 c | 1678827 | 1154 4790 14223 | 1 171316 20 | 0.944 % | 326.29/326.39 c | 1678930 | 1154 4790 14223 | 1 171419 20 | 0.944 % | 326.29/326.39 c | 1679031 | 1154 4790 14223 | 1 171520 20 | 0.944 % | 326.29/326.39 c | 1679163 | 1154 4790 14223 | 1 171652 20 | 0.944 % | 326.29/326.39 c | 1679265 | 1154 4790 14223 | 1 171754 20 | 0.944 % | 326.29/326.39 c | 1679366 | 1154 4790 14223 | 1 171855 20 | 0.944 % | 326.29/326.39 c | 1679602 | 1154 4790 14223 | 1 172091 20 | 0.944 % | 326.29/326.39 c | 1680629 | 1154 4790 14223 | 1 173118 20 | 0.944 % | 326.29/326.39 c | 1680729 | 1154 4790 14223 | 1 173218 20 | 0.944 % | 326.29/326.39 c | 1682093 | 1154 4790 14223 | 1 174582 21 | 0.944 % | 326.29/326.39 c | 1693155 | 1154 4790 14223 | 1 95905 13 | 0.944 % | 326.29/326.39 c | 1695548 | 1154 4790 14223 | 1 98298 13 | 0.944 % | 326.29/326.39 c | 1696614 | 1154 4790 14223 | 1 99364 14 | 0.944 % | 326.29/326.39 c | 1696715 | 1154 4790 14223 | 1 99465 14 | 0.944 % | 326.29/326.39 c | 1700556 | 1154 4790 14223 | 1 103306 14 | 0.944 % | 326.29/326.39 c | 1707231 | 1154 4790 14223 | 1 109981 15 | 0.944 % | 326.29/326.39 c | 1707331 | 1154 4790 14223 | 1 110081 15 | 0.944 % | 326.29/326.39 c | 1708062 | 1154 4790 14223 | 1 110812 15 | 0.944 % | 326.29/326.39 c | 1708164 | 1154 4790 14223 | 1 110914 15 | 0.944 % | 326.29/326.39 c | 1708335 | 1154 4790 14223 | 1 111085 15 | 0.944 % | 326.29/326.39 c | 1720778 | 1154 4790 14223 | 1 123528 16 | 0.944 % | 326.29/326.39 c | 1721033 | 1154 4790 14223 | 1 123783 16 | 0.944 % | 326.29/326.39 c | 1721281 | 1154 4790 14223 | 1 124031 16 | 0.944 % | 326.29/326.39 c | 1730576 | 1154 4790 14223 | 1 133326 18 | 0.944 % | 326.29/326.39 c | 1730679 | 1154 4790 14223 | 1 133429 18 | 0.944 % | 326.29/326.39 c | 1730822 | 1154 4790 14223 | 1 133572 18 | 0.944 % | 326.29/326.39 c | 1740557 | 1154 4790 14223 | 1 143307 19 | 0.944 % | 326.29/326.39 c | 1742052 | 1154 4790 14223 | 1 144802 20 | 0.944 % | 326.29/326.39 c | 1742153 | 1154 4790 14223 | 1 144903 20 | 0.944 % | 326.29/326.39 c | 1742494 | 1154 4790 14223 | 1 145244 20 | 0.944 % | 326.29/326.39 c | 1742672 | 1154 4790 14223 | 1 145422 20 | 0.944 % | 326.29/326.39 c | 1742991 | 1154 4790 14223 | 1 145741 20 | 0.944 % | 326.29/326.39 c | 1744339 | 1154 4790 14223 | 1 147089 20 | 0.944 % | 326.29/326.39 c | 1744439 | 1154 4790 14223 | 1 147189 20 | 0.944 % | 326.29/326.39 c | 1745169 | 1154 4790 14223 | 1 147919 20 | 0.944 % | 326.29/326.39 c | 1745321 | 1154 4790 14223 | 1 148071 20 | 0.944 % | 326.29/326.39 c | 1745665 | 1154 4790 14223 | 1 148415 20 | 0.944 % | 326.29/326.39 c | 1747325 | 1154 4790 14223 | 1 150075 20 | 0.944 % | 326.29/326.39 c | 1754731 | 1154 4790 14223 | 1 157481 21 | 0.944 % | 326.29/326.39 c | 1755043 | 1154 4790 14223 | 1 157793 21 | 0.944 % | 326.29/326.39 c | 1770139 | 1154 4790 14223 | 1 172889 22 | 0.944 % | 326.29/326.39 c | 1770276 | 1154 4790 14223 | 1 173026 22 | 0.944 % | 326.29/326.39 c | 1770482 | 1154 4790 14223 | 1 173232 22 | 0.944 % | 326.29/326.39 c | 1770582 | 1154 4790 14223 | 1 173332 22 | 0.944 % | 326.29/326.39 c | 1771908 | 1154 4790 14223 | 1 174658 22 | 0.944 % | 326.29/326.39 c | 1772113 | 1154 4790 14223 | 1 174863 22 | 0.944 % | 326.29/326.39 c | 1772215 | 1154 4790 14223 | 1 174965 22 | 0.944 % | 326.29/326.39 c | 1776608 | 1154 4790 14223 | 1 179358 22 | 0.944 % | 413.50/413.51 c | 1808573 | 1154 4790 14223 | 1 118957 17 | 0.944 % | 413.50/413.51 c | 1808818 | 1154 4790 14223 | 1 119202 17 | 0.944 % | 413.50/413.51 c | 1808918 | 1154 4790 14223 | 1 119302 17 | 0.944 % | 413.50/413.51 c | 1809039 | 1154 4790 14223 | 1 119423 17 | 0.944 % | 413.50/413.51 c | 1812007 | 1154 4790 14223 | 1 122391 18 | 0.944 % | 413.50/413.51 c | 1816837 | 1154 4790 14223 | 1 127221 18 | 0.944 % | 413.50/413.51 c | 1817348 | 1154 4790 14223 | 1 127732 18 | 0.944 % | 413.50/413.51 c | 1817497 | 1154 4790 14223 | 1 127881 18 | 0.944 % | 413.50/413.51 c | 1818064 | 1154 4790 14223 | 1 128448 18 | 0.944 % | 413.50/413.51 c | 1876041 | 1154 4790 14223 | 1 186425 21 | 0.944 % | 413.50/413.51 c | 1877953 | 1154 4790 14223 | 1 188337 21 | 0.944 % | 413.50/413.51 c | 1878863 | 1154 4790 14223 | 1 189247 21 | 0.944 % | 413.50/413.51 c | 1879275 | 1154 4790 14223 | 1 189659 21 | 0.944 % | 413.50/413.51 c | 1882331 | 1154 4790 14223 | 1 97724 13 | 0.944 % | 413.50/413.51 c | 1882432 | 1154 4790 14223 | 1 97825 13 | 0.944 % | 413.50/413.51 c | 1882532 | 1154 4790 14223 | 1 97925 13 | 0.944 % | 413.50/413.51 c | 1883158 | 1154 4790 14223 | 1 98551 13 | 0.944 % | 413.50/413.51 c | 1891288 | 1154 4790 14223 | 1 106681 14 | 0.944 % | 413.50/413.51 c | 1892417 | 1154 4790 14223 | 1 107810 15 | 0.944 % | 413.50/413.51 c | 1897823 | 1154 4790 14223 | 1 113216 16 | 0.944 % | 413.50/413.51 c | 1928381 | 1154 4790 14223 | 1 143774 18 | 0.944 % | 413.50/413.51 c | 1928716 | 1154 4790 14223 | 1 144109 18 | 0.944 % | 413.50/413.51 c | 1928816 | 1154 4790 14223 | 1 144209 18 | 0.944 % | 413.50/413.51 c | 1931464 | 1154 4790 14223 | 1 146857 18 | 0.944 % | 413.50/413.51 c | 1931741 | 1154 4790 14223 | 1 147134 18 | 0.944 % | 413.50/413.51 c | 1933588 | 1154 4790 14223 | 1 148981 18 | 0.944 % | 413.50/413.51 c | 1933689 | 1154 4790 14223 | 1 149082 18 | 0.944 % | 413.50/413.51 c | 1934121 | 1154 4790 14223 | 1 149514 18 | 0.944 % | 413.50/413.51 c | 1936451 | 1154 4790 14223 | 1 151844 19 | 0.944 % | 413.50/413.51 c | 1936552 | 1154 4790 14223 | 1 151945 19 | 0.944 % | 413.50/413.51 c | 1942026 | 1154 4790 14223 | 1 157419 19 | 0.944 % | 413.50/413.51 c | 1964961 | 1154 4790 14223 | 1 180354 20 | 0.944 % | 413.50/413.51 c | 1979691 | 1154 4790 14223 | 1 195084 21 | 0.944 % | 413.50/413.51 c | 1980179 | 1154 4790 14223 | 1 97979 13 | 0.944 % | 413.50/413.51 c | 1982524 | 1154 4790 14223 | 1 100324 13 | 0.944 % | 413.50/413.51 c | 1982624 | 1154 4790 14223 | 1 100424 13 | 0.944 % | 413.50/413.51 c | 1982976 | 1154 4790 14223 | 1 100776 13 | 0.944 % | 413.50/413.51 c | 1983257 | 1154 4790 14223 | 1 101057 13 | 0.944 % | 413.50/413.51 c | 1983441 | 1154 4790 14223 | 1 101241 13 | 0.944 % | 413.50/413.51 c | 1989327 | 1154 4790 14223 | 1 107127 14 | 0.944 % | 413.50/413.51 c | 1990517 | 1154 4790 14223 | 1 108317 14 | 0.944 % | 413.50/413.51 c | 2040985 | 1154 4790 14223 | 1 158785 18 | 0.944 % | 413.50/413.51 c | 2047904 | 1154 4790 14223 | 1 165704 19 | 0.944 % | 413.50/413.51 c | 2051136 | 1154 4790 14223 | 1 168936 19 | 0.944 % | 413.50/413.51 c | 2059874 | 1154 4790 14223 | 1 177674 20 | 0.944 % | 413.50/413.51 c | 2059975 | 1154 4790 14223 | 1 177775 20 | 0.944 % | 413.50/413.51 c | 2066728 | 1154 4790 14223 | 1 184528 20 | 0.944 % | 413.50/413.51 c | 2067416 | 1154 4790 14223 | 1 185216 20 | 0.944 % | 413.50/413.51 c | 2068637 | 1154 4790 14223 | 1 186437 20 | 0.944 % | 413.50/413.51 c | 2069025 | 1154 4790 14223 | 1 186825 20 | 0.944 % | 512.39/512.47 c | 2207890 | 1154 4790 14223 | 1 122699 14 | 0.944 % | 512.39/512.47 c | 2207990 | 1154 4790 14223 | 1 122799 14 | 0.944 % | 512.39/512.47 c | 2208095 | 1154 4790 14223 | 1 122904 14 | 0.944 % | 512.39/512.47 c | 2228302 | 1154 4790 14223 | 1 143111 17 | 0.944 % | 512.39/512.47 c | 2228403 | 1154 4790 14223 | 1 143212 17 | 0.944 % | 512.39/512.47 c | 2228597 | 1154 4790 14223 | 1 143406 17 | 0.944 % | 512.39/512.47 c | 2236142 | 1154 4790 14223 | 1 150951 17 | 0.944 % | 512.39/512.47 c | 2242081 | 1154 4790 14223 | 1 156890 18 | 0.944 % | 512.39/512.47 c | 2242183 | 1154 4790 14223 | 1 156992 18 | 0.944 % | 512.39/512.47 c | 2242399 | 1154 4790 14223 | 1 157208 18 | 0.944 % | 512.39/512.47 c | 2246540 | 1154 4790 14223 | 1 161349 18 | 0.944 % | 512.39/512.47 c | 2246865 | 1154 4790 14223 | 1 161674 18 | 0.944 % | 512.39/512.47 c | 2251031 | 1154 4790 14223 | 1 165840 18 | 0.944 % | 512.39/512.47 c | 2252623 | 1154 4790 14223 | 1 167432 18 | 0.944 % | 512.39/512.47 c | 2270767 | 1154 4790 14223 | 1 185576 20 | 0.944 % | 512.39/512.47 c | 2273878 | 1154 4790 14223 | 1 188687 20 | 0.944 % | 512.39/512.47 c | 2274403 | 1154 4790 14223 | 1 189212 20 | 0.944 % | 512.39/512.47 c | 2274503 | 1154 4790 14223 | 1 189312 20 | 0.944 % | 512.39/512.47 c | 2284367 | 1154 4790 14223 | 1 199176 21 | 0.944 % | 512.39/512.47 c | 2284904 | 1154 4790 14223 | 1 199713 21 | 0.944 % | 512.39/512.47 c | 2288585 | 1154 4790 14223 | 1 203394 21 | 0.944 % | 512.39/512.47 c | 2292664 | 1154 4790 14223 | 1 207473 21 | 0.944 % | 512.39/512.47 c | 2293456 | 1154 4790 14223 | 1 208265 21 | 0.944 % | 512.39/512.47 c | 2304188 | 1154 4790 14223 | 1 113602 14 | 0.944 % | 512.39/512.47 c | 2305047 | 1154 4790 14223 | 1 114461 14 | 0.944 % | 512.39/512.47 c | 2307681 | 1154 4790 14223 | 1 117095 14 | 0.944 % | 512.39/512.47 c | 2307782 | 1154 4790 14223 | 1 117196 14 | 0.944 % | 512.39/512.47 c | 2330234 | 1154 4790 14223 | 1 139648 16 | 0.944 % | 512.39/512.47 c | 2334585 | 1154 4790 14223 | 1 143999 17 | 0.944 % | 512.39/512.47 c | 2334685 | 1154 4790 14223 | 1 144099 17 | 0.944 % | 512.39/512.47 c | 2345545 | 1154 4790 14223 | 1 154959 18 | 0.944 % | 512.39/512.47 c | 2345986 | 1154 4790 14223 | 1 155400 18 | 0.944 % | 512.39/512.47 c | 2346086 | 1154 4790 14223 | 1 155500 18 | 0.944 % | 512.39/512.47 c | 2346407 | 1154 4790 14223 | 1 155821 18 | 0.944 % | 512.39/512.47 c | 2350002 | 1154 4790 14223 | 1 159416 18 | 0.944 % | 512.39/512.47 c | 2352222 | 1154 4790 14223 | 1 161636 19 | 0.944 % | 512.39/512.47 c | 2352427 | 1154 4790 14223 | 1 161841 19 | 0.944 % | 512.39/512.47 c | 2356162 | 1154 4790 14223 | 1 165576 19 | 0.944 % | 512.39/512.47 c | 2356277 | 1154 4790 14223 | 1 165691 19 | 0.944 % | 512.39/512.47 c | 2357345 | 1154 4790 14223 | 1 166759 19 | 0.944 % | 512.39/512.47 c | 2357445 | 1154 4790 14223 | 1 166859 19 | 0.944 % | 512.39/512.47 c | 2357584 | 1154 4790 14223 | 1 166998 19 | 0.944 % | 512.39/512.47 c | 2358964 | 1154 4790 14223 | 1 168378 19 | 0.944 % | 512.39/512.47 c | 2361498 | 1154 4790 14223 | 1 170912 19 | 0.944 % | 512.39/512.47 c | 2363482 | 1154 4790 14223 | 1 172896 19 | 0.944 % | 512.39/512.47 c | 2363639 | 1154 4790 14223 | 1 173053 19 | 0.944 % | 512.39/512.47 c | 2363821 | 1154 4790 14223 | 1 173235 19 | 0.944 % | 512.39/512.47 c | 2368801 | 1154 4790 14223 | 1 178215 20 | 0.944 % | 512.39/512.47 c | 2370260 | 1154 4790 14223 | 1 179674 20 | 0.944 % | 512.39/512.47 c | 2383332 | 1154 4790 14223 | 1 192746 20 | 0.944 % | 585.39/585.44 c | 2383432 | 1154 4790 14223 | 1 192846 20 | 0.944 % | 585.39/585.44 c | 2418754 | 1154 4790 14223 | 1 120169 14 | 0.944 % | 585.39/585.44 c | 2419304 | 1154 4790 14223 | 1 120719 14 | 0.944 % | 585.39/585.44 c | 2419495 | 1154 4790 14223 | 1 120910 14 | 0.944 % | 585.39/585.44 c | 2423892 | 1154 4790 14223 | 1 125307 15 | 0.944 % | 585.39/585.44 c | 2423992 | 1154 4790 14223 | 1 125407 15 | 0.944 % | 585.39/585.44 c | 2428759 | 1154 4790 14223 | 1 130174 15 | 0.944 % | 585.39/585.44 c | 2429811 | 1154 4790 14223 | 1 131226 16 | 0.944 % | 585.39/585.44 c | 2430004 | 1154 4790 14223 | 1 131419 16 | 0.944 % | 585.39/585.44 c | 2434579 | 1154 4790 14223 | 1 135994 16 | 0.944 % | 585.39/585.44 c | 2450278 | 1154 4790 14223 | 1 151693 18 | 0.944 % | 585.39/585.44 c | 2451065 | 1154 4790 14223 | 1 152480 18 | 0.944 % | 585.39/585.44 c | 2451894 | 1154 4790 14223 | 1 153309 18 | 0.944 % | 585.39/585.44 c | 2458342 | 1154 4790 14223 | 1 159757 19 | 0.944 % | 585.39/585.44 c | 2458442 | 1154 4790 14223 | 1 159857 19 | 0.944 % | 585.39/585.44 c | 2462207 | 1154 4790 14223 | 1 163622 19 | 0.944 % | 585.39/585.44 c | 2462307 | 1154 4790 14223 | 1 163722 19 | 0.944 % | 585.39/585.44 c | 2463118 | 1154 4790 14223 | 1 164533 19 | 0.944 % | 585.39/585.44 c | 2476298 | 1154 4790 14223 | 1 177713 20 | 0.944 % | 585.39/585.44 c | 2478284 | 1154 4790 14223 | 1 179699 20 | 0.944 % | 585.39/585.44 c | 2478999 | 1154 4790 14223 | 1 180414 20 | 0.944 % | 585.39/585.44 c | 2479100 | 1154 4790 14223 | 1 180515 20 | 0.944 % | 585.39/585.44 c | 2493211 | 1154 4790 14223 | 1 194626 21 | 0.944 % | 585.39/585.44 c | 2493312 | 1154 4790 14223 | 1 194727 21 | 0.944 % | 585.39/585.44 c | 2493433 | 1154 4790 14223 | 1 194848 21 | 0.944 % | 585.39/585.44 c | 2497411 | 1154 4790 14223 | 1 198826 21 | 0.944 % | 585.39/585.44 c | 2497653 | 1154 4790 14223 | 1 199068 21 | 0.944 % | 585.39/585.44 c | 2497923 | 1154 4790 14223 | 1 199338 21 | 0.944 % | 585.39/585.44 c | 2499787 | 1154 4790 14223 | 1 201202 21 | 0.944 % | 585.39/585.44 c | 2526993 | 1154 4790 14223 | 1 117815 14 | 0.944 % | 585.39/585.44 c | 2527093 | 1154 4790 14223 | 1 117915 14 | 0.944 % | 585.39/585.44 c | 2572471 | 1154 4790 14223 | 1 163293 19 | 0.944 % | 585.39/585.44 c | 2572572 | 1154 4790 14223 | 1 163394 19 | 0.944 % | 585.39/585.44 c | 2572748 | 1154 4790 14223 | 1 163570 19 | 0.944 % | 585.39/585.44 c | 2576152 | 1154 4790 14223 | 1 166974 19 | 0.944 % | 585.39/585.44 c | 2577157 | 1154 4790 14223 | 1 167979 19 | 0.944 % | 585.39/585.44 c | 2577393 | 1154 4790 14223 | 1 168215 19 | 0.944 % | 585.39/585.44 c | 2594432 | 1154 4790 14223 | 1 185254 20 | 0.944 % | 585.39/585.44 c | 2594742 | 1154 4790 14223 | 1 185564 20 | 0.944 % | 585.39/585.44 c | 2594842 | 1154 4790 14223 | 1 185664 20 | 0.944 % | 585.39/585.44 c | 2595699 | 1154 4790 14223 | 1 186521 20 | 0.944 % | 585.39/585.44 c | 2595988 | 1154 4790 14223 | 1 186810 20 | 0.944 % | 585.39/585.44 c | 2600851 | 1154 4790 14223 | 1 191673 20 | 0.944 % | 585.39/585.44 c | 2600951 | 1154 4790 14223 | 1 191773 20 | 0.944 % | 585.39/585.44 c | 2601619 | 1154 4790 14223 | 1 192441 21 | 0.944 % | 585.39/585.44 c | 2601849 | 1154 4790 14223 | 1 192671 21 | 0.944 % | 585.39/585.44 c | 2602212 | 1154 4790 14223 | 1 193034 21 | 0.944 % | 585.39/585.44 c | 2609778 | 1154 4790 14223 | 1 200600 21 | 0.944 % | 585.39/585.44 c | 2610699 | 1154 4790 14223 | 1 201521 21 | 0.944 % | 585.39/585.44 c | 2610860 | 1154 4790 14223 | 1 201682 21 | 0.944 % | 667.80/667.80 c | 2611080 | 1154 4790 14223 | 1 201902 21 | 0.944 % | 667.80/667.80 c | 2611181 | 1154 4790 14223 | 1 202003 21 | 0.944 % | 667.80/667.80 c | 2612217 | 1154 4790 14223 | 1 203039 21 | 0.944 % | 667.80/667.80 c | 2612711 | 1154 4790 14223 | 1 203533 21 | 0.944 % | 667.80/667.80 c | 2612820 | 1154 4790 14223 | 1 203642 21 | 0.944 % | 667.80/667.80 c | 2613239 | 1154 4790 14223 | 1 204061 21 | 0.944 % | 667.80/667.80 c | 2619617 | 1154 4790 14223 | 1 210439 21 | 0.944 % | 667.80/667.80 c | 2620473 | 1154 4790 14223 | 1 211295 21 | 0.944 % | 667.80/667.80 c | 2622623 | 1154 4790 14223 | 1 213445 22 | 0.944 % | 667.80/667.80 c | 2625006 | 1154 4790 14223 | 1 215828 22 | 0.944 % | 667.80/667.80 c | 2650430 | 1154 4790 14223 | 1 128048 14 | 0.944 % | 667.80/667.80 c | 2650831 | 1154 4790 14223 | 1 128449 14 | 0.944 % | 667.80/667.80 c | 2651557 | 1154 4790 14223 | 1 129175 14 | 0.944 % | 667.80/667.80 c | 2652118 | 1154 4790 14223 | 1 129736 14 | 0.944 % | 667.80/667.80 c | 2652289 | 1154 4790 14223 | 1 129907 14 | 0.944 % | 667.80/667.80 c | 2652944 | 1154 4790 14223 | 1 130562 14 | 0.944 % | 667.80/667.80 c | 2653238 | 1154 4790 14223 | 1 130856 15 | 0.944 % | 667.80/667.80 c | 2657083 | 1154 4790 14223 | 1 134701 15 | 0.944 % | 667.80/667.80 c | 2657184 | 1154 4790 14223 | 1 134802 15 | 0.944 % | 667.80/667.80 c | 2657313 | 1154 4790 14223 | 1 134931 15 | 0.944 % | 667.80/667.80 c | 2658364 | 1154 4790 14223 | 1 135982 15 | 0.944 % | 667.80/667.80 c | 2659168 | 1154 4790 14223 | 1 136786 15 | 0.944 % | 667.80/667.80 c | 2659705 | 1154 4790 14223 | 1 137323 15 | 0.944 % | 667.80/667.80 c | 2660052 | 1154 4790 14223 | 1 137670 15 | 0.944 % | 667.80/667.80 c | 2661017 | 1154 4790 14223 | 1 138635 15 | 0.944 % | 667.80/667.80 c | 2675812 | 1154 4790 14223 | 1 153430 17 | 0.944 % | 667.80/667.80 c | 2676244 | 1154 4790 14223 | 1 153862 17 | 0.944 % | 667.80/667.80 c | 2676604 | 1154 4790 14223 | 1 154222 17 | 0.944 % | 667.80/667.80 c | 2688815 | 1154 4790 14223 | 1 166433 18 | 0.944 % | 667.80/667.80 c | 2689348 | 1154 4790 14223 | 1 166966 18 | 0.944 % | 667.80/667.80 c | 2786199 | 1154 4790 14223 | 1 148017 13 | 0.944 % | 667.80/667.80 c | 2795994 | 1154 4790 14223 | 1 157812 14 | 0.944 % | 667.80/667.80 c | 2796178 | 1154 4790 14223 | 1 157996 14 | 0.944 % | 667.80/667.80 c | 2806643 | 1154 4790 14223 | 1 168461 16 | 0.944 % | 667.80/667.80 c | 2806775 | 1154 4790 14223 | 1 168593 16 | 0.944 % | 667.80/667.80 c | 2807101 | 1154 4790 14223 | 1 168919 16 | 0.944 % | 667.80/667.80 c | 2807202 | 1154 4790 14223 | 1 169020 16 | 0.944 % | 667.80/667.80 c | 2807335 | 1154 4790 14223 | 1 169153 16 | 0.944 % | 667.80/667.80 c | 2808665 | 1154 4790 14223 | 1 170483 16 | 0.944 % | 667.80/667.80 c | 2809299 | 1154 4790 14223 | 1 171117 16 | 0.944 % | 667.80/667.80 c | 2809538 | 1154 4790 14223 | 1 171356 16 | 0.944 % | 667.80/667.80 c | 2876643 | 1154 4790 14223 | 1 120065 13 | 0.944 % | 667.80/667.80 c | 2876744 | 1154 4790 14223 | 1 120166 13 | 0.944 % | 667.80/667.80 c | 2876897 | 1154 4790 14223 | 1 120319 13 | 0.944 % | 667.80/667.80 c | 2877019 | 1154 4790 14223 | 1 120441 13 | 0.944 % | 667.80/667.80 c | 2877520 | 1154 4790 14223 | 1 120942 13 | 0.944 % | 667.80/667.80 c | 2884216 | 1154 4790 14223 | 1 127638 14 | 0.944 % | 667.80/667.80 c | 2887519 | 1154 4790 14223 | 1 130941 14 | 0.944 % | 667.80/667.80 c | 2897910 | 1154 4790 14223 | 1 141332 16 | 0.944 % | 667.80/667.80 c | 2898016 | 1154 4790 14223 | 1 141438 16 | 0.944 % | 1346.11/1346.18 c | 2927969 | 1154 4790 14223 | 1 171391 18 | 0.944 % | 1346.11/1346.18 c | 2929441 | 1154 4790 14223 | 1 172863 18 | 0.944 % | 1346.11/1346.18 c | 2929846 | 1154 4790 14223 | 1 173268 18 | 0.944 % | 1346.11/1346.18 c | 2930483 | 1154 4790 14223 | 1 173905 18 | 0.944 % | 1346.11/1346.18 c | 2930927 | 1154 4790 14223 | 1 174349 18 | 0.944 % | 1346.11/1346.18 c | 2931232 | 1154 4790 14223 | 1 174654 18 | 0.944 % | 1346.11/1346.18 c | 2931523 | 1154 4790 14223 | 1 174945 18 | 0.944 % | 1346.11/1346.18 c | 2939655 | 1154 4790 14223 | 1 183077 18 | 0.944 % | 1346.11/1346.18 c | 2939984 | 1154 4790 14223 | 1 183406 18 | 0.944 % | 1346.11/1346.18 c | 2941456 | 1154 4790 14223 | 1 184878 18 | 0.944 % | 1346.11/1346.18 c | 3003619 | 1154 4790 14223 | 1 126039 13 | 0.944 % | 1346.11/1346.18 c | 3041298 | 1154 4790 14223 | 1 163718 16 | 0.944 % | 1346.11/1346.18 c | 3044963 | 1154 4790 14223 | 1 167383 16 | 0.944 % | 1346.11/1346.18 c | 3086792 | 1154 4790 14223 | 1 209212 19 | 0.944 % | 1346.11/1346.18 c | 3093236 | 1154 4790 14223 | 1 215656 19 | 0.944 % | 1346.11/1346.18 c | 3108729 | 1154 4790 14223 | 1 231149 20 | 0.944 % | 1346.11/1346.18 c | 3112358 | 1154 4790 14223 | 1 234778 20 | 0.944 % | 1346.11/1346.18 c | 3112459 | 1154 4790 14223 | 1 234879 20 | 0.944 % | 1346.11/1346.18 c | 3133461 | 1154 4790 14223 | 1 132278 14 | 0.944 % | 1346.11/1346.18 c | 3149922 | 1154 4790 14223 | 1 148739 15 | 0.944 % | 1346.11/1346.18 c | 3220436 | 1154 4790 14223 | 1 219253 19 | 0.944 % | 1346.11/1346.18 c | 3225427 | 1154 4790 14223 | 1 224244 19 | 0.944 % | 1346.11/1346.18 c | 3229951 | 1154 4790 14223 | 1 228768 20 | 0.944 % | 1346.11/1346.18 c | 3635998 | 1154 4790 14223 | 1 248416 19 | 0.944 % | 1346.11/1346.18 c | 3637132 | 1154 4790 14223 | 1 249550 19 | 0.944 % | 1346.11/1346.18 c | 3645199 | 1153 4786 14207 | 1 257455 19 | 1.030 % | 1346.11/1346.18 c | 3650660 | 1153 4786 14207 | 1 262916 19 | 1.030 % | 1346.11/1346.18 c | 4348996 | 1153 4786 14207 | 1 265412 19 | 1.030 % | 1346.11/1346.18 c | 4350276 | 1153 4786 14207 | 1 266692 19 | 1.030 % | 1346.11/1346.18 c | 4380345 | 1153 4786 14207 | 1 149767 13 | 1.030 % | 1346.11/1346.18 c | 4382046 | 1153 4786 14207 | 1 151468 13 | 1.030 % | 1346.11/1346.18 c | 4382872 | 1153 4786 14207 | 1 152294 14 | 1.030 % | 1346.11/1346.18 c | 4427964 | 1153 4786 14207 | 1 197386 17 | 1.030 % | 1346.11/1346.18 c | 4475428 | 1153 4786 14207 | 1 244850 19 | 1.030 % | 1346.11/1346.18 c | 4476949 | 1153 4786 14207 | 1 246371 19 | 1.030 % | 1346.11/1346.18 c | 4521334 | 1153 4786 14207 | 1 290756 20 | 1.030 % | 1346.11/1346.18 c | 4558991 | 1153 4786 14207 | 1 178808 15 | 1.030 % | 1346.11/1346.18 c | 4569812 | 1153 4786 14207 | 1 189629 16 | 1.030 % | 1346.11/1346.18 c | 4569942 | 1153 4786 14207 | 1 189759 16 | 1.030 % | 1346.11/1346.18 c | 4573150 | 1153 4786 14207 | 1 192967 16 | 1.030 % | 1346.11/1346.18 c | 4575744 | 1153 4786 14207 | 1 195561 17 | 1.030 % | 1346.11/1346.18 c | 4576563 | 1153 4786 14207 | 1 196380 17 | 1.030 % | 1346.11/1346.18 c | 4620204 | 1153 4786 14207 | 1 240021 18 | 1.030 % | 1346.11/1346.18 c | 4747573 | 1153 4786 14207 | 1 215190 17 | 1.030 % | 1346.11/1346.18 c | 4747815 | 1153 4786 14207 | 1 215432 17 | 1.030 % | 1346.11/1346.18 c | 4754870 | 1153 4786 14207 | 1 222487 17 | 1.030 % | 1346.11/1346.18 c | 4755312 | 1153 4786 14207 | 1 222929 17 | 1.030 % | 1346.11/1346.18 c | 4758305 | 1153 4786 14207 | 1 225922 18 | 1.030 % | 1346.11/1346.18 c | 4761839 | 1153 4786 14207 | 1 229456 18 | 1.030 % | 1346.11/1346.18 c | 4773080 | 1153 4786 14207 | 1 240697 18 | 1.030 % | 2802.44/2802.49 c | 4819962 | 1153 4786 14207 | 1 287579 19 | 1.030 % | 2802.44/2802.49 c | 5219446 | 1153 4786 14207 | 1 214857 14 | 1.030 % | 2802.44/2802.49 c | 5220478 | 1153 4786 14207 | 1 215889 14 | 1.030 % | 2802.44/2802.49 c | 5237967 | 1153 4786 14207 | 1 233378 15 | 1.030 % | 2802.44/2802.49 c | 5238067 | 1153 4786 14207 | 1 233478 15 | 1.030 % | 2802.44/2802.49 c | 5724539 | 1153 4786 14207 | 1 224353 14 | 1.030 % | 2802.44/2802.49 c | 5724975 | 1153 4786 14207 | 1 224789 14 | 1.030 % | 2802.44/2802.49 c | 5725712 | 1153 4786 14207 | 1 225526 14 | 1.030 % | 2802.44/2802.49 c | 5862552 | 1153 4786 14207 | 1 191965 14 | 1.030 % | 2802.44/2802.49 c | 5868959 | 1153 4786 14207 | 1 198372 14 | 1.030 % | 2802.44/2802.49 c | 5964832 | 1153 4786 14207 | 1 294245 17 | 1.030 % | 2802.44/2802.49 c | 5966547 | 1153 4786 14207 | 1 295960 17 | 1.030 % | 2802.44/2802.49 c | 5966649 | 1153 4786 14207 | 1 296062 17 | 1.030 % | 2802.44/2802.49 c | 5984952 | 1153 4786 14207 | 1 314365 18 | 1.030 % | 2802.44/2802.49 c | 5985220 | 1153 4786 14207 | 1 314633 18 | 1.030 % | 2802.44/2802.49 c | 5985595 | 1153 4786 14207 | 1 315008 18 | 1.030 % | 2802.44/2802.49 c | 6001925 | 1153 4786 14207 | 1 331338 18 | 1.030 % | 2802.44/2802.49 c | 6006048 | 1153 4786 14207 | 1 335461 19 | 1.030 % | 2802.44/2802.49 c | 6014213 | 1153 4786 14207 | 1 343626 19 | 1.030 % | 2802.44/2802.49 c | 6022052 | 1153 4786 14207 | 1 178466 13 | 1.030 % | 2802.44/2802.49 c | 6022352 | 1153 4786 14207 | 1 178766 13 | 1.030 % | 2802.44/2802.49 c | 6023244 | 1153 4786 14207 | 1 179658 13 | 1.030 % | 2802.44/2802.49 c | 6023346 | 1153 4786 14207 | 1 179760 13 | 1.030 % | 2802.44/2802.49 c | 6034963 | 1153 4786 14207 | 1 191377 14 | 1.030 % | 2802.44/2802.49 c | 6035670 | 1153 4786 14207 | 1 192084 14 | 1.030 % | 2802.44/2802.49 c | 6054051 | 1153 4786 14207 | 1 210465 16 | 1.030 % | 2802.44/2802.49 c | 6054153 | 1153 4786 14207 | 1 210567 16 | 1.030 % | 2802.44/2802.49 c | 6054952 | 1153 4786 14207 | 1 211366 16 | 1.030 % | 2802.44/2802.49 c | 6179962 | 1153 4786 14207 | 1 336376 20 | 1.030 % | 2802.44/2802.49 c | 6187072 | 1153 4786 14207 | 1 343486 20 | 1.030 % | 2802.44/2802.49 c | 6190041 | 1153 4786 14207 | 1 346455 20 | 1.030 % | 2802.44/2802.49 c | 6190143 | 1153 4786 14207 | 1 346557 20 | 1.030 % | 2802.44/2802.49 c | 6198516 | 1153 4786 14207 | 1 179331 14 | 1.030 % | 2802.44/2802.49 c | 6229587 | 1153 4786 14207 | 1 210402 16 | 1.030 % | 2802.44/2802.49 c | 6244103 | 1153 4786 14207 | 1 224918 17 | 1.030 % | 2802.44/2802.49 c | 6663104 | 1153 4786 14207 | 1 284923 15 | 1.030 % | 2802.44/2802.49 c | 6678960 | 1153 4786 14207 | 1 300779 16 | 1.030 % | 2802.44/2802.49 c | 6679803 | 1153 4786 14207 | 1 301622 16 | 1.030 % | 2802.44/2802.49 c | 7065100 | 1152 4782 14191 | 1 209239 13 | 1.116 % | 2802.44/2802.49 c | 7070715 | 1152 4782 14191 | 1 214854 13 | 1.116 % | 2802.44/2802.49 c | 7071841 | 1152 4782 14191 | 1 215980 13 | 1.116 % | 2802.44/2802.49 c | 7073128 | 1152 4782 14191 | 1 217267 13 | 1.116 % | 2802.44/2802.49 c | 7073694 | 1152 4782 14191 | 1 217833 13 | 1.116 % | 2802.44/2802.49 c | 7105836 | 1152 4782 14191 | 1 249975 15 | 1.116 % | 2802.44/2802.49 c | 7111829 | 1152 4782 14191 | 1 255968 15 | 1.116 % | 2802.44/2802.49 c | 7143854 | 1152 4782 14191 | 1 158108 13 | 1.116 % | 2802.44/2802.49 c | 7144252 | 1152 4782 14191 | 1 158506 13 | 1.116 % | 2802.44/2802.49 c | 7166642 | 1152 4782 14191 | 1 180896 14 | 1.116 % | 2802.44/2802.49 c | 7731327 | 1152 4782 14191 | 1 341746 17 | 1.116 % | 2802.44/2802.49 c | 8353874 | 1152
ERROR: Unexpected answer ! (SATISFIABLE/UNSATISFIABLE expected) Got answer: <no 's ' line found>
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.0 (svn: 935) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3303659-1303901126/watcher-3303659-1303901126 -o /tmp/evaluation-result-3303659-1303901126/solver-3303659-1303901126 -C 5000 -W 5100 -M 15500 glucose.sh HOME/instance-3303659-1303901126.cnf running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 5000 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 5030 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 5100 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.00 1.99 1.68 3/178 20151 /proc/meminfo: memFree=13906464/32950928 swapFree=67111528/67111528 [pid=20151] ppid=20149 vsize=8704 CPUtime=0 cores=0,2,4,6 /proc/20151/stat : 20151 (glucose.sh) S 20149 20151 19914 0 -1 4202496 335 0 0 0 0 0 0 0 25 0 1 0 501711315 8912896 253 33554432000 4194304 4922060 140736699430000 18446744073709551615 235594685573 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/20151/statm: 2176 253 211 178 0 69 0 [startup+0.0658769 s] /proc/loadavg: 2.00 1.99 1.68 3/178 20151 /proc/meminfo: memFree=13906464/32950928 swapFree=67111528/67111528 [pid=20151] ppid=20149 vsize=8704 CPUtime=0.01 cores=0,2,4,6 /proc/20151/stat : 20151 (glucose.sh) S 20149 20151 19914 0 -1 4202496 360 377 0 0 0 0 1 0 25 0 1 0 501711315 8912896 255 33554432000 4194304 4922060 140736699430000 18446744073709551615 235594685573 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0 /proc/20151/statm: 2176 255 211 178 0 69 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 8704 [startup+0.100845 s] /proc/loadavg: 2.00 1.99 1.68 3/178 20151 /proc/meminfo: memFree=13906464/32950928 swapFree=67111528/67111528 [pid=20151] ppid=20149 vsize=8704 CPUtime=0.01 cores=0,2,4,6 /proc/20151/stat : 20151 (glucose.sh) S 20149 20151 19914 0 -1 4202496 360 377 0 0 0 0 1 0 25 0 1 0 501711315 8912896 255 33554432000 4194304 4922060 140736699430000 18446744073709551615 235594685573 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0 /proc/20151/statm: 2176 255 211 178 0 69 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 8704 [startup+0.300776 s] /proc/loadavg: 2.00 1.99 1.68 3/178 20151 /proc/meminfo: memFree=13906464/32950928 swapFree=67111528/67111528 [pid=20151] ppid=20149 vsize=8704 CPUtime=0.01 cores=0,2,4,6 /proc/20151/stat : 20151 (glucose.sh) S 20149 20151 19914 0 -1 4202496 360 377 0 0 0 0 1 0 25 0 1 0 501711315 8912896 255 33554432000 4194304 4922060 140736699430000 18446744073709551615 235594685573 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0 /proc/20151/statm: 2176 255 211 178 0 69 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 8704 [startup+0.700761 s] /proc/loadavg: 2.00 1.99 1.68 3/178 20151 /proc/meminfo: memFree=13906464/32950928 swapFree=67111528/67111528 [pid=20151] ppid=20149 vsize=8704 CPUtime=0.01 cores=0,2,4,6 /proc/20151/stat : 20151 (glucose.sh) S 20149 20151 19914 0 -1 4202496 360 377 0 0 0 0 1 0 25 0 1 0 501711315 8912896 255 33554432000 4194304 4922060 140736699430000 18446744073709551615 235594685573 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0 /proc/20151/statm: 2176 255 211 178 0 69 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 8704 [startup+1.50062 s] /proc/loadavg: 2.00 1.99 1.68 3/180 20154 /proc/meminfo: memFree=13901800/32950928 swapFree=67111528/67111528 [pid=20151] ppid=20149 vsize=8704 CPUtime=0.01 cores=0,2,4,6 /proc/20151/stat : 20151 (glucose.sh) S 20149 20151 19914 0 -1 4202496 360 377 0 0 0 0 1 0 25 0 1 0 501711315 8912896 255 33554432000 4194304 4922060 140736699430000 18446744073709551615 235594685573 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0 /proc/20151/statm: 2176 255 211 178 0 69 0 [pid=20154] ppid=20151 vsize=19556 CPUtime=1.47 cores=0,2,4,6 /proc/20154/stat : 20154 (glucose_static) R 20151 20151 19914 0 -1 4202496 1979 0 0 0 147 0 0 0 20 0 1 0 501711317 20025344 1434 33554432000 4194304 4260849 140736228871568 18446744073709551615 4209332 0 0 4096 0 0 0 0 17 2 0 0 0 /proc/20154/statm: 4889 1434 249 17 0 1530 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 28260 [startup+3.10034 s] /proc/loadavg: 2.00 1.99 1.68 3/180 20154 /proc/meminfo: memFree=13898328/32950928 swapFree=67111528/67111528 [pid=20151] ppid=20149 vsize=8704 CPUtime=0.01 cores=0,2,4,6 /proc/20151/stat : 20151 (glucose.sh) S 20149 20151 19914 0 -1 4202496 360 377 0 0 0 0 1 0 25 0 1 0 501711315 8912896 255 33554432000 4194304 4922060 140736699430000 18446744073709551615 235594685573 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0 /proc/20151/statm: 2176 255 211 178 0 69 0 [pid=20154] ppid=20151 vsize=23544 CPUtime=3.07 cores=0,2,4,6 /proc/20154/stat : 20154 (glucose_static) R 20151 20151 19914 0 -1 4202496 2782 0 0 0 307 0 0 0 25 0 1 0 501711317 24109056 2232 33554432000 4194304 4260849 140736228871568 18446744073709551615 4224632 0 0 4096 0 0 0 0 17 2 0 0 0 /proc/20154/statm: 5886 2232 249 17 0 2527 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 32248 [startup+6.30072 s] /proc/loadavg: 2.00 1.99 1.68 3/180 20154 /proc/meminfo: memFree=13897684/32950928 swapFree=67111528/67111528 [pid=20151] ppid=20149 vsize=8704 CPUtime=0.01 cores=0,2,4,6 /proc/20151/stat : 20151 (glucose.sh) S 20149 20151 19914 0 -1 4202496 360 377 0 0 0 0 1 0 25 0 1 0 501711315 8912896 255 33554432000 4194304 4922060 140736699430000 18446744073709551615 235594685573 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0 /proc/20151/statm: 2176 255 211 178 0 69 0 [pid=20154] ppid=20151 vsize=23544 CPUtime=6.27 cores=0,2,4,6 /proc/20154/stat : 20154 (glucose_static) R 20151 20151 19914 0 -1 4202496 2915 0 0 0 627 0 0 0 25 0 1 0 501711317 24109056 2360 33554432000 4194304 4260849 140736228871568 18446744073709551615 4224632 0 0 4096 0 0 0 0 17 2 0 0 0 /proc/20154/statm: 5886 2360 249 17 0 2527 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 32248 [startup+12.7006 s] /proc/loadavg: 2.00 1.99 1.68 3/180 20154 /proc/meminfo: memFree=13894596/32950928 swapFree=67111528/67111528 [pid=20151] ppid=20149 vsize=8704 CPUtime=0.01 cores=0,2,4,6 /proc/20151/stat : 20151 (glucose.sh) S 20149 20151 19914 0 -1 4202496 360 377 0 0 0 0 1 0 25 0 1 0 501711315 8912896 255 33554432000 4194304 4922060 140736699430000 18446744073709551615 235594685573 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0 /proc/20151/statm: 2176 255 211 178 0 69 0 [pid=20154] ppid=20151 vsize=25192 CPUtime=12.67 cores=0,2,4,6 /proc/20154/stat : 20154 (glucose_static) R 20151 20151 19914 0 -1 4202496 4609 0 0 0 1267 0 0 0 25 0 1 0 501711317 25796608 2913 33554432000 4194304 4260849 140736228871568 18446744073709551615 4224658 0 0 4096 0 0 0 0 17 2 0 0 0 /proc/20154/statm: 6298 2913 249 17 0 2939 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 33896 [startup+25.5003 s] /proc/loadavg: 2.00 1.99 1.68 3/180 20154 /proc/meminfo: memFree=13857620/32950928 swapFree=67111528/67111528 [pid=20151] ppid=20149 vsize=8704 CPUtime=0.01 cores=0,2,4,6 /proc/20151/stat : 20151 (glucose.sh) S 20149 20151 19914 0 -1 4202496 360 377 0 0 0 0 1 0 25 0 1 0 501711315 8912896 255 33554432000 4194304 4922060 140736699430000 18446744073709551615 235594685573 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0 /proc/20151/statm: 2176 255 211 178 0 69 0 [pid=20154] ppid=20151 vsize=31880 CPUtime=25.47 cores=0,2,4,6 /proc/20154/stat : 20154 (glucose_static) R 20151 20151 19914 0 -1 4202496 5967 0 0 0 2547 0 0 0 25 0 1 0 501711317 32645120 4236 33554432000 4194304 4260849 140736228871568 18446744073709551615 4224808 0 0 4096 0 0 0 0 17 2 0 0 0 /proc/20154/statm: 7970 4236 249 17 0 4611 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 40584 [startup+51.1008 s] /proc/loadavg: 2.00 1.99 1.69 3/180 20155 /proc/meminfo: memFree=13840844/32950928 swapFree=67111528/67111528 [pid=20151] ppid=20149 vsize=8704 CPUtime=0.01 cores=0,2,4,6 /proc/20151/stat : 20151 (glucose.sh) S 20149 20151 19914 0 -1 4202496 360 377 0 0 0 0 1 0 25 0 1 0 501711315 8912896 255 33554432000 4194304 4922060 140736699430000 18446744073709551615 235594685573 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0 /proc/20151/statm: 2176 255 211 178 0 69 0 [pid=20154] ppid=20151 vsize=43372 CPUtime=51.07 cores=0,2,4,6 /proc/20154/stat : 20154 (glucose_static) R 20151 20151 19914 0 -1 4202496 10238 0 0 0 5106 1 0 0 25 0 1 0 501711317 44412928 6404 33554432000 4194304 4260849 140736228871568 18446744073709551615 4225500 0 0 4096 0 0 0 0 17 2 0 0 0 /proc/20154/statm: 10843 6404 249 17 0 7484 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 52076 [startup+102.307 s] /proc/loadavg: 2.00 1.99 1.70 3/180 20156 /proc/meminfo: memFree=13843924/32950928 swapFree=67111528/67111528 [pid=20151] ppid=20149 vsize=8704 CPUtime=0.01 cores=0,2,4,6 /proc/20151/stat : 20151 (glucose.sh) S 20149 20151 19914 0 -1 4202496 360 377 0 0 0 0 1 0 25 0 1 0 501711315 8912896 255 33554432000 4194304 4922060 140736699430000 18446744073709551615 235594685573 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0 /proc/20151/statm: 2176 255 211 178 0 69 0 [pid=20154] ppid=20151 vsize=54952 CPUtime=102.28 cores=0,2,4,6 /proc/20154/stat : 20154 (glucose_static) R 20151 20151 19914 0 -1 4202496 11360 0 0 0 10227 1 0 0 25 0 1 0 501711317 56270848 7488 33554432000 4194304 4260849 140736228871568 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/20154/statm: 13738 7488 249 17 0 10379 0 Current children cumulated CPU time (s) 102.29 Current children cumulated vsize (KiB) 63656 [startup+162.3 s] /proc/loadavg: 2.00 1.99 1.72 3/180 20158 /proc/meminfo: memFree=13872300/32950928 swapFree=67111528/67111528 [pid=20151] ppid=20149 vsize=8704 CPUtime=0.01 cores=0,2,4,6 /proc/20151/stat : 20151 (glucose.sh) S 20149 20151 19914 0 -1 4202496 360 377 0 0 0 0 1 0 25 0 1 0 501711315 8912896 255 33554432000 4194304 4922060 140736699430000 18446744073709551615 235594685573 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0 /proc/20151/statm: 2176 255 211 178 0 69 0 [pid=20154] ppid=20151 vsize=54952 CPUtime=162.28 cores=0,2,4,6 /proc/20154/stat : 20154 (glucose_static) R 20151 20151 19914 0 -1 4202496 12640 0 0 0 16226 2 0 0 25 0 1 0 501711317 56270848 8732 33554432000 4194304 4260849 140736228871568 18446744073709551615 4224647 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/20154/statm: 13738 8732 249 17 0 10379 0 Current children cumulated CPU time (s) 162.29 Current children cumulated vsize (KiB) 63656 [startup+222.301 s] /proc/loadavg: 2.00 1.99 1.74 3/180 20159 /proc/meminfo: memFree=13816728/32950928 swapFree=67111528/67111528 [pid=20151] ppid=20149 vsize=8704 CPUtime=0.01 cores=0,2,4,6 /proc/20151/stat : 20151 (glucose.sh) S 20149 20151 19914 0 -1 4202496 360 377 0 0 0 0 1 0 25 0 1 0 501711315 8912896 255 33554432000 4194304 4922060 140736699430000 18446744073709551615 235594685573 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0 /proc/20151/statm: 2176 255 211 178 0 69 0 [pid=20154] ppid=20151 vsize=62132 CPUtime=222.28 cores=0,2,4,6 /proc/20154/stat : 20154 (glucose_static) R 20151 20151 19914 0 -1 4202496 15225 0 0 0 22226 2 0 0 25 0 1 0 501711317 63623168 11206 33554432000 4194304 4260849 140736228871568 18446744073709551615 4224632 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/20154/statm: 15533 11206 249 17 0 12174 0 Current children cumulated CPU time (s) 222.29 Current children cumulated vsize (KiB) 70836 [startup+282.301 s] /proc/loadavg: 2.00 1.99 1.75 3/180 20161 /proc/meminfo: memFree=13823292/32950928 swapFree=67111528/67111528 [pid=20151] ppid=20149 vsize=8704 CPUtime=0.01 cores=0,2,4,6 /proc/20151/stat : 20151 (glucose.sh) S 20149 20151 19914 0 -1 4202496 360 377 0 0 0 0 1 0 25 0 1 0 501711315 8912896 255 33554432000 4194304 4922060 140736699430000 18446744073709551615 235594685573 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0 /proc/20151/statm: 2176 255 211 178 0 69 0 [pid=20154] ppid=20151 vsize=62132 CPUtime=282.28 cores=0,2,4,6 /proc/20154/stat : 20154 (glucose_static) R 20151 20151 19914 0 -1 4202496 15451 0 0 0 28226 2 0 0 25 0 1 0 501711317 63623168 11423 33554432000 4194304 4260849 140736228871568 18446744073709551615 4225060 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/20154/statm: 15533 11423 249 17 0 12174 0 Current children cumulated CPU time (s) 282.29 Current children cumulated vsize (KiB) 70836 [startup+342.301 s] /proc/loadavg: 2.00 1.99 1.76 3/180 20162 /proc/meminfo: memFree=13837900/32950928 swapFree=67111528/67111528 [pid=20151] ppid=20149 vsize=8704 CPUtime=0.01 cores=0,2,4,6 /proc/20151/stat : 20151 (glucose.sh) S 20149 20151 19914 0 -1 4202496 360 377 0 0 0 0 1 0 25 0 1 0 501711315 8912896 255 33554432000 4194304 4922060 140736699430000 18446744073709551615 235594685573 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0 /proc/20151/statm: 2176 255 211 178 0 69 0 [pid=20154] ppid=20151 vsize=54952 CPUtime=342.28 cores=0,2,4,6 /proc/20154/stat : 20154 (glucose_static) R 20151 20151 19914 0 -1 4202496 24140 0 0 0 34224 4 0 0 25 0 1 0 501711317 56270848 8862 33554432000 4194304 4260849 140736228871568 18446744073709551615 4225060 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/20154/statm: 13738 8862 250 17 0 10379 0 Current children cumulated CPU time (s) 342.29 Current children cumulated vsize (KiB) 63656 [startup+402.301 s] /proc/loadavg: 2.00 1.99 1.77 3/180 20164 /proc/meminfo: memFree=13858948/32950928 swapFree=67111528/67111528 [pid=20151] ppid=20149 vsize=8704 CPUtime=0.01 cores=0,2,4,6 ################ # More data... # ################ /proc/20154/statm: 42295 34799 250 17 0 38936 0 Current children cumulated CPU time (s) 4302.37 Current children cumulated vsize (KiB) 177884 [startup+4362.3 s] /proc/loadavg: 2.02 2.01 1.96 3/180 20312 /proc/meminfo: memFree=13753992/32950928 swapFree=67111528/67111528 [pid=20151] ppid=20149 vsize=8704 CPUtime=0.01 cores=0,2,4,6 /proc/20151/stat : 20151 (glucose.sh) S 20149 20151 19914 0 -1 4202496 360 377 0 0 0 0 1 0 25 0 1 0 501711315 8912896 255 33554432000 4194304 4922060 140736699430000 18446744073709551615 235594685573 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0 /proc/20151/statm: 2176 255 211 178 0 69 0 [pid=20154] ppid=20151 vsize=139976 CPUtime=4362.36 cores=0,2,4,6 /proc/20154/stat : 20154 (glucose_static) R 20151 20151 19914 0 -1 4202496 249867 0 0 0 436181 55 0 0 25 0 1 0 501711317 143335424 26267 33554432000 4194304 4260849 140736228871568 18446744073709551615 4225146 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/20154/statm: 34994 26267 250 17 0 31635 0 Current children cumulated CPU time (s) 4362.37 Current children cumulated vsize (KiB) 148680 [startup+4422.3 s] /proc/loadavg: 2.00 2.00 1.96 3/180 20313 /proc/meminfo: memFree=13684408/32950928 swapFree=67111528/67111528 [pid=20151] ppid=20149 vsize=8704 CPUtime=0.01 cores=0,2,4,6 /proc/20151/stat : 20151 (glucose.sh) S 20149 20151 19914 0 -1 4202496 360 377 0 0 0 0 1 0 25 0 1 0 501711315 8912896 255 33554432000 4194304 4922060 140736699430000 18446744073709551615 235594685573 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0 /proc/20151/statm: 2176 255 211 178 0 69 0 [pid=20154] ppid=20151 vsize=189296 CPUtime=4422.36 cores=0,2,4,6 /proc/20154/stat : 20154 (glucose_static) R 20151 20151 19914 0 -1 4202496 259147 0 0 0 442179 57 0 0 25 0 1 0 501711317 193839104 35482 33554432000 4194304 4260849 140736228871568 18446744073709551615 4224867 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/20154/statm: 47324 35482 250 17 0 43965 0 Current children cumulated CPU time (s) 4422.37 Current children cumulated vsize (KiB) 198000 [startup+4482.3 s] /proc/loadavg: 2.00 2.00 1.96 3/180 20315 /proc/meminfo: memFree=13721592/32950928 swapFree=67111528/67111528 [pid=20151] ppid=20149 vsize=8704 CPUtime=0.01 cores=0,2,4,6 /proc/20151/stat : 20151 (glucose.sh) S 20149 20151 19914 0 -1 4202496 360 377 0 0 0 0 1 0 25 0 1 0 501711315 8912896 255 33554432000 4194304 4922060 140736699430000 18446744073709551615 235594685573 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0 /proc/20151/statm: 2176 255 211 178 0 69 0 [pid=20154] ppid=20151 vsize=139976 CPUtime=4482.36 cores=0,2,4,6 /proc/20154/stat : 20154 (glucose_static) R 20151 20151 19914 0 -1 4202496 260326 0 0 0 448179 57 0 0 25 0 1 0 501711317 143335424 26626 33554432000 4194304 4260849 140736228871568 18446744073709551615 4224895 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/20154/statm: 34994 26626 250 17 0 31635 0 Current children cumulated CPU time (s) 4482.37 Current children cumulated vsize (KiB) 148680 [startup+4542.3 s] /proc/loadavg: 2.04 2.01 1.97 3/180 20325 /proc/meminfo: memFree=13717096/32950928 swapFree=67111528/67111528 [pid=20151] ppid=20149 vsize=8704 CPUtime=0.01 cores=0,2,4,6 /proc/20151/stat : 20151 (glucose.sh) S 20149 20151 19914 0 -1 4202496 360 377 0 0 0 0 1 0 25 0 1 0 501711315 8912896 255 33554432000 4194304 4922060 140736699430000 18446744073709551615 235594685573 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0 /proc/20151/statm: 2176 255 211 178 0 69 0 [pid=20154] ppid=20151 vsize=189296 CPUtime=4542.36 cores=0,2,4,6 /proc/20154/stat : 20154 (glucose_static) R 20151 20151 19914 0 -1 4202496 268911 0 0 0 454178 58 0 0 25 0 1 0 501711317 193839104 35166 33554432000 4194304 4260849 140736228871568 18446744073709551615 4224822 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/20154/statm: 47324 35166 250 17 0 43965 0 Current children cumulated CPU time (s) 4542.37 Current children cumulated vsize (KiB) 198000 [startup+4602.3 s] /proc/loadavg: 2.01 2.01 1.97 3/180 20327 /proc/meminfo: memFree=13712344/32950928 swapFree=67111528/67111528 [pid=20151] ppid=20149 vsize=8704 CPUtime=0.01 cores=0,2,4,6 /proc/20151/stat : 20151 (glucose.sh) S 20149 20151 19914 0 -1 4202496 360 377 0 0 0 0 1 0 25 0 1 0 501711315 8912896 255 33554432000 4194304 4922060 140736699430000 18446744073709551615 235594685573 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0 /proc/20151/statm: 2176 255 211 178 0 69 0 [pid=20154] ppid=20151 vsize=139976 CPUtime=4602.37 cores=0,2,4,6 /proc/20154/stat : 20154 (glucose_static) R 20151 20151 19914 0 -1 4202496 270191 0 0 0 460178 59 0 0 25 0 1 0 501711317 143335424 26626 33554432000 4194304 4260849 140736228871568 18446744073709551615 4225121 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/20154/statm: 34994 26626 250 17 0 31635 0 Current children cumulated CPU time (s) 4602.38 Current children cumulated vsize (KiB) 148680 [startup+4662.3 s] /proc/loadavg: 2.00 2.00 1.97 3/180 20329 /proc/meminfo: memFree=13680188/32950928 swapFree=67111528/67111528 [pid=20151] ppid=20149 vsize=8704 CPUtime=0.01 cores=0,2,4,6 /proc/20151/stat : 20151 (glucose.sh) S 20149 20151 19914 0 -1 4202496 360 377 0 0 0 0 1 0 25 0 1 0 501711315 8912896 255 33554432000 4194304 4922060 140736699430000 18446744073709551615 235594685573 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0 /proc/20151/statm: 2176 255 211 178 0 69 0 [pid=20154] ppid=20151 vsize=189296 CPUtime=4662.37 cores=0,2,4,6 /proc/20154/stat : 20154 (glucose_static) R 20151 20151 19914 0 -1 4202496 278546 0 0 0 466177 60 0 0 25 0 1 0 501711317 193839104 34956 33554432000 4194304 4260849 140736228871568 18446744073709551615 4224647 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/20154/statm: 47324 34956 250 17 0 43965 0 Current children cumulated CPU time (s) 4662.38 Current children cumulated vsize (KiB) 198000 [startup+4722.31 s] /proc/loadavg: 2.00 2.00 1.97 3/180 20332 /proc/meminfo: memFree=13717124/32950928 swapFree=67111528/67111528 [pid=20151] ppid=20149 vsize=8704 CPUtime=0.01 cores=0,2,4,6 /proc/20151/stat : 20151 (glucose.sh) S 20149 20151 19914 0 -1 4202496 360 377 0 0 0 0 1 0 25 0 1 0 501711315 8912896 255 33554432000 4194304 4922060 140736699430000 18446744073709551615 235594685573 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0 /proc/20151/statm: 2176 255 211 178 0 69 0 [pid=20154] ppid=20151 vsize=139976 CPUtime=4722.38 cores=0,2,4,6 /proc/20154/stat : 20154 (glucose_static) R 20151 20151 19914 0 -1 4202496 280316 0 0 0 472176 62 0 0 25 0 1 0 501711317 143335424 26649 33554432000 4194304 4260849 140736228871568 18446744073709551615 4224696 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/20154/statm: 34994 26649 250 17 0 31635 0 Current children cumulated CPU time (s) 4722.39 Current children cumulated vsize (KiB) 148680 [startup+4782.3 s] /proc/loadavg: 2.03 2.01 1.97 3/180 20335 /proc/meminfo: memFree=13719768/32950928 swapFree=67111528/67111528 [pid=20151] ppid=20149 vsize=8704 CPUtime=0.01 cores=0,2,4,6 /proc/20151/stat : 20151 (glucose.sh) S 20149 20151 19914 0 -1 4202496 360 377 0 0 0 0 1 0 25 0 1 0 501711315 8912896 255 33554432000 4194304 4922060 140736699430000 18446744073709551615 235594685573 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0 /proc/20151/statm: 2176 255 211 178 0 69 0 [pid=20154] ppid=20151 vsize=189296 CPUtime=4782.37 cores=0,2,4,6 /proc/20154/stat : 20154 (glucose_static) R 20151 20151 19914 0 -1 4202496 288360 0 0 0 478175 62 0 0 25 0 1 0 501711317 193839104 34675 33554432000 4194304 4260849 140736228871568 18446744073709551615 4224674 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/20154/statm: 47324 34675 250 17 0 43965 0 Current children cumulated CPU time (s) 4782.38 Current children cumulated vsize (KiB) 198000 [startup+4842.3 s] /proc/loadavg: 2.08 2.02 1.98 3/180 20336 /proc/meminfo: memFree=13711700/32950928 swapFree=67111528/67111528 [pid=20151] ppid=20149 vsize=8704 CPUtime=0.01 cores=0,2,4,6 /proc/20151/stat : 20151 (glucose.sh) S 20149 20151 19914 0 -1 4202496 360 377 0 0 0 0 1 0 25 0 1 0 501711315 8912896 255 33554432000 4194304 4922060 140736699430000 18446744073709551615 235594685573 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0 /proc/20151/statm: 2176 255 211 178 0 69 0 [pid=20154] ppid=20151 vsize=139976 CPUtime=4842.37 cores=0,2,4,6 /proc/20154/stat : 20154 (glucose_static) R 20151 20151 19914 0 -1 4202496 290207 0 0 0 484174 63 0 0 25 0 1 0 501711317 143335424 26649 33554432000 4194304 4260849 140736228871568 18446744073709551615 4224665 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/20154/statm: 34994 26649 250 17 0 31635 0 Current children cumulated CPU time (s) 4842.38 Current children cumulated vsize (KiB) 148680 [startup+4902.3 s] /proc/loadavg: 2.03 2.02 1.98 3/180 20338 /proc/meminfo: memFree=13686140/32950928 swapFree=67111528/67111528 [pid=20151] ppid=20149 vsize=8704 CPUtime=0.01 cores=0,2,4,6 /proc/20151/stat : 20151 (glucose.sh) S 20149 20151 19914 0 -1 4202496 360 377 0 0 0 0 1 0 25 0 1 0 501711315 8912896 255 33554432000 4194304 4922060 140736699430000 18446744073709551615 235594685573 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0 /proc/20151/statm: 2176 255 211 178 0 69 0 [pid=20154] ppid=20151 vsize=189296 CPUtime=4902.37 cores=0,2,4,6 /proc/20154/stat : 20154 (glucose_static) R 20151 20151 19914 0 -1 4202496 298444 0 0 0 490172 65 0 0 25 0 1 0 501711317 193839104 34869 33554432000 4194304 4260849 140736228871568 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/20154/statm: 47324 34869 250 17 0 43965 0 Current children cumulated CPU time (s) 4902.38 Current children cumulated vsize (KiB) 198000 [startup+4962.3 s] /proc/loadavg: 2.01 2.01 1.98 3/180 20340 /proc/meminfo: memFree=13749360/32950928 swapFree=67111528/67111528 [pid=20151] ppid=20149 vsize=8704 CPUtime=0.01 cores=0,2,4,6 /proc/20151/stat : 20151 (glucose.sh) S 20149 20151 19914 0 -1 4202496 360 377 0 0 0 0 1 0 25 0 1 0 501711315 8912896 255 33554432000 4194304 4922060 140736699430000 18446744073709551615 235594685573 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0 /proc/20151/statm: 2176 255 211 178 0 69 0 [pid=20154] ppid=20151 vsize=139976 CPUtime=4962.37 cores=0,2,4,6 /proc/20154/stat : 20154 (glucose_static) R 20151 20151 19914 0 -1 4202496 300978 0 0 0 496170 67 0 0 25 0 1 0 501711317 143335424 27152 33554432000 4194304 4260849 140736228871568 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/20154/statm: 34994 27152 250 17 0 31635 0 Current children cumulated CPU time (s) 4962.38 Current children cumulated vsize (KiB) 148680 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+5000 s] /proc/loadavg: 2.00 2.01 1.98 3/180 20341 /proc/meminfo: memFree=13693052/32950928 swapFree=67111528/67111528 [pid=20151] ppid=20149 vsize=8704 CPUtime=0.01 cores=0,2,4,6 /proc/20151/stat : 20151 (glucose.sh) S 20149 20151 19914 0 -1 4202496 360 377 0 0 0 0 1 0 25 0 1 0 501711315 8912896 255 33554432000 4194304 4922060 140736699430000 18446744073709551615 235594685573 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0 /proc/20151/statm: 2176 255 211 178 0 69 0 [pid=20154] ppid=20151 vsize=153888 CPUtime=5000.08 cores=0,2,4,6 /proc/20154/stat : 20154 (glucose_static) R 20151 20151 19914 0 -1 4202496 307306 0 0 0 499940 68 0 0 25 0 1 0 501711317 157581312 33406 33554432000 4194304 4260849 140736228871568 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/20154/statm: 38472 33406 250 17 0 35113 0 Current children cumulated CPU time (s) 5000.09 Current children cumulated vsize (KiB) 162592 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child ended because it received signal 15 (SIGTERM) # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 20151 and gives # childrusage.ru_utime.tv_sec=0 # childrusage.ru_utime.tv_usec=15997 # childrusage.ru_stime.tv_sec=0 # childrusage.ru_stime.tv_usec=999 # CPU time returned by wait4() is 0.016996 # while last known CPU time is 5000.09 # # Solver probably didn't/couldn't wait for its children # Using CPU time of the last sample as value... Real time (s): 5000.01 CPU time (s): 5000.09 CPU user time (s): 4999.41 CPU system time (s): 0.68 CPU usage (%): 100.002 Max. virtual memory (cumulated for all children) (KiB): 198000 getrusage(RUSAGE_CHILDREN,...) data: user time used= 0.015997 system time used= 0.000999 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 737 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= 8 involuntary context switches= 5 runsolver used 8.79166 second user time and 17.9783 second system time The end
Begin job on node120 at 2011-04-27 12:45:26 IDJOB=3303659 IDBENCH=20468 IDSOLVER=1687 FILE ID=node120/3303659-1303901126 RUNJOBID= node120-1303899343-19932 PBS_JOBID= 13164528 Free space on /tmp= 72076 MiB SOLVER NAME= glucose 2 BENCH NAME= SAT07/industrial/jarvisalo/eq.atree.braun.12.unsat.cnf COMMAND LINE= glucose.sh BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3303659-1303901126/watcher-3303659-1303901126 -o /tmp/evaluation-result-3303659-1303901126/solver-3303659-1303901126 -C 5000 -W 5100 -M 15500 glucose.sh HOME/instance-3303659-1303901126.cnf TIME LIMIT= 5000 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 8d6acb9f6b752ad76c024133f5175c69 RANDOM SEED=1397455578 node120.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.809 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5333.61 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.809 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5226.07 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.809 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.809 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.809 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.78 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.809 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.809 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.809 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32950928 kB MemFree: 13906620 kB Buffers: 2475096 kB Cached: 15820196 kB SwapCached: 0 kB Active: 10860504 kB Inactive: 7613232 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32950928 kB LowFree: 13906620 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 1660 kB Writeback: 0 kB AnonPages: 177488 kB Mapped: 15288 kB Slab: 508216 kB PageTables: 4852 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83586992 kB Committed_AS: 324200 kB VmallocTotal: 34359738367 kB VmallocUsed: 296008 kB VmallocChunk: 34359440975 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 72020 MiB End job on node120 at 2011-04-27 14:08:48