Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
glucose 2 | ? (TO) | 1300.02 | 1300.01 |
Name | industrial/jarvisalo/ eq.atree.braun.12.unsat.cnf |
MD5SUM | 8d6acb9f6b752ad76c024133f5175c69 |
Bench Category | APPLICATION (applications instances) |
Best result obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | |
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.013997 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.88 c This is glucose 2.0 -- based on MiniSAT (Many thanks to MiniSAT team) 4.78/4.88 c WARNING: for repeatability, setting FPU to use double precision 4.78/4.88 c ============================[ Problem Statistics ]============================= 4.78/4.88 c | | 4.78/4.88 c | Number of variables: 1165 | 4.78/4.88 c | Number of clauses: 4834 | 4.78/4.88 c | Parse time: 0.00 s | 4.78/4.88 c | | 4.78/4.88 c ============================[ Search Statistics ]============================== 4.78/4.88 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.78/4.88 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | | 4.78/4.88 c =============================================================================== 4.78/4.88 c | 17535 | 1164 4828 14357 | 1 11240 29 | 0.086 % | 4.78/4.88 c | 17635 | 1164 4828 14357 | 1 11340 29 | 0.086 % | 4.78/4.88 c | 17736 | 1164 4828 14357 | 1 11441 29 | 0.086 % | 4.78/4.88 c | 18076 | 1164 4828 14357 | 1 11781 29 | 0.086 % | 4.78/4.88 c | 18195 | 1164 4828 14357 | 1 11900 29 | 0.086 % | 4.78/4.88 c | 18675 | 1164 4828 14357 | 1 12380 30 | 0.086 % | 4.78/4.88 c | 18776 | 1164 4828 14357 | 1 12481 30 | 0.086 % | 4.78/4.88 c | 19905 | 1164 4828 14357 | 1 6861 17 | 0.086 % | 4.78/4.88 c | 20034 | 1164 4828 14357 | 1 6990 17 | 0.086 % | 4.78/4.88 c | 20174 | 1164 4828 14357 | 1 7130 17 | 0.086 % | 4.78/4.88 c | 20288 | 1164 4828 14357 | 1 7244 18 | 0.086 % | 4.78/4.88 c | 20458 | 1164 4828 14357 | 1 7414 19 | 0.086 % | 4.78/4.88 c | 20559 | 1164 4828 14357 | 1 7515 19 | 0.086 % | 4.78/4.88 c | 20660 | 1164 4828 14357 | 1 7616 19 | 0.086 % | 4.78/4.88 c | 20763 | 1164 4828 14357 | 1 7719 19 | 0.086 % | 4.78/4.88 c | 21473 | 1164 4828 14357 | 1 8429 22 | 0.086 % | 4.78/4.88 c | 21643 | 1164 4828 14357 | 1 8599 22 | 0.086 % | 4.78/4.88 c | 21756 | 1164 4828 14357 | 1 8712 22 | 0.086 % | 4.78/4.88 c | 21924 | 1164 4828 14357 | 1 8880 23 | 0.086 % | 4.78/4.88 c | 22025 | 1164 4828 14357 | 1 8981 23 | 0.086 % | 4.78/4.88 c | 22125 | 1164 4828 14357 | 1 9081 24 | 0.086 % | 4.78/4.88 c | 23707 | 1164 4828 14357 | 1 10663 28 | 0.086 % | 4.78/4.88 c | 23815 | 1164 4828 14357 | 1 10771 28 | 0.086 % | 4.78/4.88 c | 35967 | 1164 4828 14357 | 1 13652 28 | 0.086 % | 4.78/4.88 c | 36564 | 1164 4828 14357 | 1 14249 28 | 0.086 % | 4.78/4.88 c | 37419 | 1164 4828 14357 | 1 15104 29 | 0.086 % | 4.78/4.88 c | 37528 | 1164 4828 14357 | 1 15213 29 | 0.086 % | 4.78/4.88 c | 37994 | 1164 4828 14357 | 1 15679 30 | 0.086 % | 4.78/4.88 c | 38520 | 1164 4828 14357 | 1 16205 30 | 0.086 % | 4.78/4.88 c | 38622 | 1164 4828 14357 | 1 16307 30 | 0.086 % | 4.78/4.88 c | 68131 | 1160 4814 14310 | 1 19559 19 | 0.429 % | 4.78/4.88 c | 68860 | 1160 4814 14310 | 1 20288 20 | 0.429 % | 4.78/4.88 c | 70306 | 1160 4814 14310 | 1 21734 21 | 0.429 % | 4.78/4.88 c | 70418 | 1160 4814 14310 | 1 21846 21 | 0.429 % | 4.78/4.88 c | 70622 | 1160 4814 14310 | 1 22050 21 | 0.429 % | 4.78/4.88 c | 71695 | 1157 4802 14271 | 1 23113 22 | 0.687 % | 4.78/4.88 c | 72259 | 1157 4802 14271 | 1 23677 23 | 0.687 % | 4.78/4.88 c | 73662 | 1157 4802 14271 | 1 25080 23 | 0.687 % | 4.78/4.88 c | 74076 | 1157 4802 14271 | 1 25494 23 | 0.687 % | 37.08/37.15 c | 75384 | 1157 4802 14271 | 1 26802 23 | 0.687 % | 37.08/37.15 c | 75980 | 1157 4802 14271 | 1 27398 24 | 0.687 % | 37.08/37.15 c | 122759 | 1157 4802 14271 | 1 37575 22 | 0.687 % | 37.08/37.15 c | 123129 | 1157 4802 14271 | 1 37945 22 | 0.687 % | 37.08/37.15 c | 123557 | 1157 4802 14271 | 1 38373 22 | 0.687 % | 37.08/37.15 c | 123935 | 1157 4802 14271 | 1 38751 23 | 0.687 % | 37.08/37.15 c | 124054 | 1157 4802 14271 | 1 38870 23 | 0.687 % | 37.08/37.15 c | 164396 | 1157 4802 14271 | 1 32201 14 | 0.687 % | 37.08/37.15 c | 212149 | 1157 4802 14271 | 1 52558 16 | 0.687 % | 37.08/37.15 c | 216455 | 1157 4802 14271 | 1 56864 17 | 0.687 % | 37.08/37.15 c | 217111 | 1157 4802 14271 | 1 57520 17 | 0.687 % | 37.08/37.15 c | 253819 | 1157 4802 14271 | 1 64230 15 | 0.687 % | 37.08/37.15 c | 254065 | 1157 4802 14271 | 1 64476 15 | 0.687 % | 37.08/37.15 c | 282061 | 1157 4802 14271 | 1 59872 15 | 0.687 % | 37.08/37.15 c | 282584 | 1157 4802 14271 | 1 60395 15 | 0.687 % | 37.08/37.15 c | 282947 | 1157 4802 14271 | 1 60758 15 | 0.687 % | 37.08/37.15 c | 286705 | 1157 4802 14271 | 1 64516 16 | 0.687 % | 37.08/37.15 c | 286805 | 1157 4802 14271 | 1 64616 16 | 0.687 % | 37.08/37.15 c | 287054 | 1157 4802 14271 | 1 64865 17 | 0.687 % | 37.08/37.15 c | 287154 | 1157 4802 14271 | 1 64965 17 | 0.687 % | 37.08/37.15 c | 287481 | 1157 4802 14271 | 1 65292 17 | 0.687 % | 37.08/37.15 c | 287587 | 1157 4802 14271 | 1 65398 17 | 0.687 % | 37.08/37.15 c | 287689 | 1157 4802 14271 | 1 65500 17 | 0.687 % | 37.08/37.15 c | 288034 | 1157 4802 14271 | 1 65845 17 | 0.687 % | 37.08/37.15 c | 353911 | 1157 4802 14271 | 1 58727 17 | 0.687 % | 37.08/37.15 c | 354015 | 1157 4802 14271 | 1 58831 17 | 0.687 % | 37.08/37.15 c | 354327 | 1157 4802 14271 | 1 59143 17 | 0.687 % | 37.08/37.15 c | 356834 | 1157 4802 14271 | 1 61650 18 | 0.687 % | 37.08/37.15 c | 357226 | 1157 4802 14271 | 1 62042 18 | 0.687 % | 37.08/37.15 c | 357326 | 1157 4802 14271 | 1 62142 18 | 0.687 % | 37.08/37.15 c | 357428 | 1157 4802 14271 | 1 62244 18 | 0.687 % | 37.08/37.15 c | 357528 | 1157 4802 14271 | 1 62344 18 | 0.687 % | 37.08/37.15 c | 357980 | 1157 4802 14271 | 1 62796 18 | 0.687 % | 37.08/37.15 c | 358081 | 1157 4802 14271 | 1 62897 18 | 0.687 % | 37.08/37.15 c | 360675 | 1157 4802 14271 | 1 65491 19 | 0.687 % | 37.08/37.15 c | 360776 | 1157 4802 14271 | 1 65592 19 | 0.687 % | 37.08/37.15 c | 361589 | 1157 4802 14271 | 1 66405 20 | 0.687 % | 37.08/37.15 c | 361690 | 1157 4802 14271 | 1 66506 20 | 0.687 % | 37.08/37.15 c | 361989 | 1157 4802 14271 | 1 66805 20 | 0.687 % | 37.08/37.15 c | 362091 | 1157 4802 14271 | 1 66907 20 | 0.687 % | 37.08/37.15 c | 362191 | 1157 4802 14271 | 1 67007 20 | 0.687 % | 37.08/37.15 c | 362398 | 1157 4802 14271 | 1 67214 20 | 0.687 % | 37.08/37.15 c | 362730 | 1157 4802 14271 | 1 67546 20 | 0.687 % | 37.08/37.15 c | 362831 | 1157 4802 14271 | 1 67647 20 | 0.687 % | 37.08/37.15 c | 362931 | 1157 4802 14271 | 1 67747 20 | 0.687 % | 37.08/37.15 c | 363032 | 1157 4802 14271 | 1 67848 20 | 0.687 % | 37.08/37.15 c | 363143 | 1157 4802 14271 | 1 67959 20 | 0.687 % | 37.08/37.15 c | 363259 | 1157 4802 14271 | 1 68075 20 | 0.687 % | 37.08/37.15 c | 363404 | 1157 4802 14271 | 1 68220 20 | 0.687 % | 37.08/37.15 c | 363828 | 1157 4802 14271 | 1 68644 20 | 0.687 % | 45.38/45.45 c | 363928 | 1157 4802 14271 | 1 68744 20 | 0.687 % | 45.38/45.45 c | 364170 | 1157 4802 14271 | 1 68986 20 | 0.687 % | 45.38/45.45 c | 364821 | 1157 4802 14271 | 1 69637 21 | 0.687 % | 45.38/45.45 c | 364921 | 1157 4802 14271 | 1 69737 21 | 0.687 % | 45.38/45.45 c | 365022 | 1157 4802 14271 | 1 69838 21 | 0.687 % | 45.38/45.45 c | 366485 | 1157 4802 14271 | 1 71301 21 | 0.687 % | 45.38/45.45 c | 366630 | 1157 4802 14271 | 1 71446 21 | 0.687 % | 45.38/45.45 c | 366761 | 1157 4802 14271 | 1 71577 21 | 0.687 % | 45.38/45.45 c | 366865 | 1157 4802 14271 | 1 71681 21 | 0.687 % | 45.38/45.45 c | 366975 | 1157 4802 14271 | 1 71791 21 | 0.687 % | 45.38/45.45 c | 367075 | 1157 4802 14271 | 1 71891 21 | 0.687 % | 45.38/45.45 c | 367175 | 1157 4802 14271 | 1 71991 21 | 0.687 % | 45.38/45.45 c | 367275 | 1157 4802 14271 | 1 72091 21 | 0.687 % | 45.38/45.45 c | 370174 | 1157 4802 14271 | 1 74990 22 | 0.687 % | 45.38/45.45 c | 370329 | 1157 4802 14271 | 1 75145 22 | 0.687 % | 45.38/45.45 c | 417524 | 1157 4802 14271 | 1 81937 15 | 0.687 % | 45.38/45.45 c | 417693 | 1157 4802 14271 | 1 82106 15 | 0.687 % | 45.38/45.45 c | 418330 | 1157 4802 14271 | 1 82743 16 | 0.687 % | 45.38/45.45 c | 418899 | 1157 4802 14271 | 1 83312 16 | 0.687 % | 45.38/45.45 c | 419114 | 1157 4802 14271 | 1 83527 16 | 0.687 % | 45.38/45.45 c | 419884 | 1157 4802 14271 | 1 84297 16 | 0.687 % | 45.38/45.45 c | 419987 | 1157 4802 14271 | 1 84400 16 | 0.687 % | 45.38/45.45 c | 420331 | 1156 4798 14255 | 1 84735 16 | 0.773 % | 45.38/45.45 c | 420432 | 1156 4798 14255 | 1 84836 16 | 0.773 % | 45.38/45.45 c | 420552 | 1156 4798 14255 | 1 84956 16 | 0.773 % | 45.38/45.45 c | 420652 | 1156 4798 14255 | 1 85056 16 | 0.773 % | 45.38/45.45 c | 420966 | 1156 4798 14255 | 1 85370 16 | 0.773 % | 45.38/45.45 c | 421066 | 1156 4798 14255 | 1 85470 16 | 0.773 % | 45.38/45.45 c | 423384 | 1156 4798 14255 | 1 44791 12 | 0.773 % | 45.38/45.45 c | 424033 | 1156 4798 14255 | 1 45440 13 | 0.773 % | 45.38/45.45 c | 424220 | 1156 4798 14255 | 1 45627 13 | 0.773 % | 45.38/45.45 c | 424322 | 1156 4798 14255 | 1 45729 13 | 0.773 % | 45.38/45.45 c | 424430 | 1156 4798 14255 | 1 45837 13 | 0.773 % | 45.38/45.45 c | 425043 | 1156 4798 14255 | 1 46450 13 | 0.773 % | 45.38/45.45 c | 425390 | 1156 4798 14255 | 1 46797 13 | 0.773 % | 45.38/45.45 c | 425490 | 1156 4798 14255 | 1 46897 13 | 0.773 % | 45.38/45.45 c | 431262 | 1156 4798 14255 | 1 52669 16 | 0.773 % | 45.38/45.45 c | 431697 | 1156 4798 14255 | 1 53104 16 | 0.773 % | 45.38/45.45 c | 431799 | 1156 4798 14255 | 1 53206 16 | 0.773 % | 45.38/45.45 c | 431899 | 1156 4798 14255 | 1 53306 16 | 0.773 % | 45.38/45.45 c | 431999 | 1156 4798 14255 | 1 53406 16 | 0.773 % | 45.38/45.45 c | 433439 | 1156 4798 14255 | 1 54846 17 | 0.773 % | 45.38/45.45 c | 433654 | 1156 4798 14255 | 1 55061 17 | 0.773 % | 45.38/45.45 c | 433754 | 1156 4798 14255 | 1 55161 17 | 0.773 % | 45.38/45.45 c | 434414 | 1156 4798 14255 | 1 55821 17 | 0.773 % | 45.38/45.45 c | 434817 | 1156 4798 14255 | 1 56224 17 | 0.773 % | 45.38/45.45 c | 434993 | 1156 4798 14255 | 1 56400 17 | 0.773 % | 45.38/45.45 c | 435093 | 1156 4798 14255 | 1 56500 17 | 0.773 % | 45.38/45.45 c | 435804 | 1156 4798 14255 | 1 57211 18 | 0.773 % | 45.38/45.45 c | 435933 | 1156 4798 14255 | 1 57340 18 | 0.773 % | 54.48/54.59 c | 436033 | 1156 4798 14255 | 1 57440 18 | 0.773 % | 54.48/54.59 c | 436470 | 1156 4798 14255 | 1 57877 18 | 0.773 % | 54.48/54.59 c | 436602 | 1156 4798 14255 | 1 58009 18 | 0.773 % | 54.48/54.59 c | 436703 | 1156 4798 14255 | 1 58110 18 | 0.773 % | 54.48/54.59 c | 436804 | 1156 4798 14255 | 1 58211 18 | 0.773 % | 54.48/54.59 c | 438043 | 1156 4798 14255 | 1 59450 18 | 0.773 % | 54.48/54.59 c | 438144 | 1156 4798 14255 | 1 59551 18 | 0.773 % | 54.48/54.59 c | 439419 | 1156 4798 14255 | 1 60826 19 | 0.773 % | 54.48/54.59 c | 439653 | 1156 4798 14255 | 1 61060 19 | 0.773 % | 54.48/54.59 c | 440117 | 1156 4798 14255 | 1 61524 19 | 0.773 % | 54.48/54.59 c | 440519 | 1156 4798 14255 | 1 61926 19 | 0.773 % | 54.48/54.59 c | 440814 | 1156 4798 14255 | 1 62221 19 | 0.773 % | 54.48/54.59 c | 440962 | 1156 4798 14255 | 1 62369 19 | 0.773 % | 54.48/54.59 c | 441366 | 1156 4798 14255 | 1 62773 19 | 0.773 % | 54.48/54.59 c | 443799 | 1156 4798 14255 | 1 65206 20 | 0.773 % | 54.48/54.59 c | 443899 | 1156 4798 14255 | 1 65306 20 | 0.773 % | 54.48/54.59 c | 443999 | 1156 4798 14255 | 1 65406 20 | 0.773 % | 54.48/54.59 c | 444205 | 1156 4798 14255 | 1 65612 20 | 0.773 % | 54.48/54.59 c | 444440 | 1156 4798 14255 | 1 65847 20 | 0.773 % | 54.48/54.59 c | 444541 | 1156 4798 14255 | 1 65948 20 | 0.773 % | 54.48/54.59 c | 444644 | 1156 4798 14255 | 1 66051 20 | 0.773 % | 54.48/54.59 c | 445189 | 1156 4798 14255 | 1 66596 20 | 0.773 % | 54.48/54.59 c | 445854 | 1156 4798 14255 | 1 67261 21 | 0.773 % | 54.48/54.59 c | 447877 | 1156 4798 14255 | 1 69284 21 | 0.773 % | 54.48/54.59 c | 448666 | 1156 4798 14255 | 1 70073 21 | 0.773 % | 54.48/54.59 c | 448766 | 1156 4798 14255 | 1 70173 21 | 0.773 % | 54.48/54.59 c | 449090 | 1156 4798 14255 | 1 70497 21 | 0.773 % | 54.48/54.59 c | 449343 | 1156 4798 14255 | 1 70750 21 | 0.773 % | 54.48/54.59 c | 449443 | 1156 4798 14255 | 1 70850 21 | 0.773 % | 54.48/54.59 c | 449756 | 1156 4798 14255 | 1 71163 21 | 0.773 % | 54.48/54.59 c | 450509 | 1156 4798 14255 | 1 71916 21 | 0.773 % | 54.48/54.59 c | 450741 | 1156 4798 14255 | 1 72148 21 | 0.773 % | 54.48/54.59 c | 455534 | 1156 4798 14255 | 1 76941 22 | 0.773 % | 54.48/54.59 c | 455635 | 1156 4798 14255 | 1 77042 22 | 0.773 % | 54.48/54.59 c | 455736 | 1156 4798 14255 | 1 77143 22 | 0.773 % | 54.48/54.59 c | 456225 | 1156 4798 14255 | 1 77632 22 | 0.773 % | 54.48/54.59 c | 480490 | 1156 4798 14255 | 1 56301 16 | 0.773 % | 54.48/54.59 c | 480858 | 1156 4798 14255 | 1 56669 16 | 0.773 % | 54.48/54.59 c | 481089 | 1156 4798 14255 | 1 56900 16 | 0.773 % | 54.48/54.59 c | 483031 | 1156 4798 14255 | 1 58842 17 | 0.773 % | 54.48/54.59 c | 483132 | 1156 4798 14255 | 1 58943 17 | 0.773 % | 54.48/54.59 c | 483234 | 1156 4798 14255 | 1 59045 17 | 0.773 % | 54.48/54.59 c | 483458 | 1156 4798 14255 | 1 59269 17 | 0.773 % | 54.48/54.59 c | 483558 | 1156 4798 14255 | 1 59369 17 | 0.773 % | 54.48/54.59 c | 483659 | 1156 4798 14255 | 1 59470 17 | 0.773 % | 54.48/54.59 c | 483760 | 1156 4798 14255 | 1 59571 17 | 0.773 % | 54.48/54.59 c | 483864 | 1156 4798 14255 | 1 59675 17 | 0.773 % | 54.48/54.59 c | 484007 | 1156 4798 14255 | 1 59818 17 | 0.773 % | 54.48/54.59 c | 486840 | 1156 4798 14255 | 1 62651 18 | 0.773 % | 54.48/54.59 c | 486941 | 1156 4798 14255 | 1 62752 18 | 0.773 % | 146.29/146.33 c | 487147 | 1156 4798 14255 | 1 62958 18 | 0.773 % | 146.29/146.33 c | 487427 | 1156 4798 14255 | 1 63238 18 | 0.773 % | 146.29/146.33 c | 491910 | 1156 4798 14255 | 1 67721 19 | 0.773 % | 146.29/146.33 c | 492012 | 1156 4798 14255 | 1 67823 19 | 0.773 % | 146.29/146.33 c | 492117 | 1156 4798 14255 | 1 67928 19 | 0.773 % | 146.29/146.33 c | 493317 | 1156 4798 14255 | 1 69128 19 | 0.773 % | 146.29/146.33 c | 493419 | 1156 4798 14255 | 1 69230 19 | 0.773 % | 146.29/146.33 c | 494733 | 1156 4798 14255 | 1 70544 20 | 0.773 % | 146.29/146.33 c | 494833 | 1156 4798 14255 | 1 70644 20 | 0.773 % | 146.29/146.33 c | 495032 | 1156 4798 14255 | 1 70843 20 | 0.773 % | 146.29/146.33 c | 495158 | 1156 4798 14255 | 1 70969 20 | 0.773 % | 146.29/146.33 c | 495258 | 1156 4798 14255 | 1 71069 20 | 0.773 % | 146.29/146.33 c | 495681 | 1156 4798 14255 | 1 71492 20 | 0.773 % | 146.29/146.33 c | 497756 | 1156 4798 14255 | 1 73567 20 | 0.773 % | 146.29/146.33 c | 497856 | 1156 4798 14255 | 1 73667 20 | 0.773 % | 146.29/146.33 c | 506034 | 1156 4798 14255 | 1 81845 21 | 0.773 % | 146.29/146.33 c | 512040 | 1156 4798 14255 | 1 87851 22 | 0.773 % | 146.29/146.33 c | 512142 | 1156 4798 14255 | 1 87953 22 | 0.773 % | 146.29/146.33 c | 512244 | 1156 4798 14255 | 1 88055 22 | 0.773 % | 146.29/146.33 c | 512834 | 1156 4798 14255 | 1 88645 22 | 0.773 % | 146.29/146.33 c | 514830 | 1156 4798 14255 | 1 90641 22 | 0.773 % | 146.29/146.33 c | 515567 | 1156 4798 14255 | 1 91378 22 | 0.773 % | 146.29/146.33 c | 515668 | 1156 4798 14255 | 1 91479 22 | 0.773 % | 146.29/146.33 c | 515914 | 1156 4798 14255 | 1 91725 22 | 0.773 % | 146.29/146.33 c | 516196 | 1156 4798 14255 | 1 92007 22 | 0.773 % | 146.29/146.33 c | 516906 | 1156 4798 14255 | 1 92717 23 | 0.773 % | 146.29/146.33 c | 517010 | 1156 4798 14255 | 1 92821 23 | 0.773 % | 146.29/146.33 c | 517766 | 1156 4798 14255 | 1 93577 23 | 0.773 % | 146.29/146.33 c | 609868 | 1156 4798 14255 | 1 86685 15 | 0.773 % | 146.29/146.33 c | 610039 | 1156 4798 14255 | 1 86856 15 | 0.773 % | 146.29/146.33 c | 610211 | 1156 4798 14255 | 1 87028 15 | 0.773 % | 146.29/146.33 c | 610312 | 1156 4798 14255 | 1 87129 15 | 0.773 % | 146.29/146.33 c | 610430 | 1156 4798 14255 | 1 87247 15 | 0.773 % | 146.29/146.33 c | 616447 | 1156 4798 14255 | 1 93264 16 | 0.773 % | 146.29/146.33 c | 616644 | 1156 4798 14255 | 1 93461 16 | 0.773 % | 146.29/146.33 c | 616744 | 1156 4798 14255 | 1 93561 16 | 0.773 % | 146.29/146.33 c | 616845 | 1156 4798 14255 | 1 93662 16 | 0.773 % | 146.29/146.33 c | 617281 | 1156 4798 14255 | 1 94098 16 | 0.773 % | 146.29/146.33 c | 622344 | 1156 4798 14255 | 1 99161 16 | 0.773 % | 146.29/146.33 c | 622449 | 1156 4798 14255 | 1 99266 16 | 0.773 % | 146.29/146.33 c | 623136 | 1156 4798 14255 | 1 99953 17 | 0.773 % | 146.29/146.33 c | 625932 | 1156 4798 14255 | 1 102749 17 | 0.773 % | 146.29/146.33 c | 626084 | 1156 4798 14255 | 1 102901 17 | 0.773 % | 146.29/146.33 c | 626185 | 1156 4798 14255 | 1 103002 17 | 0.773 % | 146.29/146.33 c | 1026174 | 1155 4794 14239 | 1 62578 11 | 0.858 % | 146.29/146.33 c | 1026942 | 1155 4794 14239 | 1 63346 12 | 0.858 % | 146.29/146.33 c | 1027042 | 1155 4794 14239 | 1 63446 12 | 0.858 % | 146.29/146.33 c | 1027143 | 1155 4794 14239 | 1 63547 12 | 0.858 % | 146.29/146.33 c | 1032633 | 1155 4794 14239 | 1 69037 13 | 0.858 % | 146.29/146.33 c | 1033170 | 1155 4794 14239 | 1 69574 13 | 0.858 % | 154.08/154.18 c | 1033272 | 1155 4794 14239 | 1 69676 13 | 0.858 % | 154.08/154.18 c | 1033520 | 1155 4794 14239 | 1 69924 13 | 0.858 % | 154.08/154.18 c | 1033621 | 1155 4794 14239 | 1 70025 13 | 0.858 % | 154.08/154.18 c | 1034151 | 1155 4794 14239 | 1 70555 13 | 0.858 % | 154.08/154.18 c | 1034253 | 1155 4794 14239 | 1 70657 13 | 0.858 % | 154.08/154.18 c | 1034354 | 1155 4794 14239 | 1 70758 13 | 0.858 % | 154.08/154.18 c | 1034454 | 1155 4794 14239 | 1 70858 13 | 0.858 % | 154.08/154.18 c | 1035421 | 1155 4794 14239 | 1 71825 13 | 0.858 % | 154.08/154.18 c | 1035521 | 1155 4794 14239 | 1 71925 14 | 0.858 % | 154.08/154.18 c | 1041043 | 1154 4790 14223 | 1 73462 14 | 0.944 % | 154.08/154.18 c | 1043980 | 1154 4790 14223 | 1 76399 14 | 0.944 % | 154.08/154.18 c | 1044080 | 1154 4790 14223 | 1 76499 14 | 0.944 % | 154.08/154.18 c | 1044215 | 1154 4790 14223 | 1 76634 14 | 0.944 % | 154.08/154.18 c | 1044317 | 1154 4790 14223 | 1 76736 14 | 0.944 % | 154.08/154.18 c | 1044418 | 1154 4790 14223 | 1 76837 14 | 0.944 % | 154.08/154.18 c | 1044607 | 1154 4790 14223 | 1 77026 14 | 0.944 % | 154.08/154.18 c | 1044714 | 1154 4790 14223 | 1 77133 14 | 0.944 % | 154.08/154.18 c | 1045056 | 1154 4790 14223 | 1 77475 14 | 0.944 % | 154.08/154.18 c | 1045156 | 1154 4790 14223 | 1 77575 14 | 0.944 % | 154.08/154.18 c | 1048350 | 1154 4790 14223 | 1 80769 15 | 0.944 % | 154.08/154.18 c | 1048451 | 1154 4790 14223 | 1 80870 15 | 0.944 % | 154.08/154.18 c | 1048552 | 1154 4790 14223 | 1 80971 15 | 0.944 % | 154.08/154.18 c | 1048653 | 1154 4790 14223 | 1 81072 16 | 0.944 % | 154.08/154.18 c | 1048753 | 1154 4790 14223 | 1 81172 16 | 0.944 % | 154.08/154.18 c | 1049106 | 1154 4790 14223 | 1 81525 16 | 0.944 % | 154.08/154.18 c | 1049227 | 1154 4790 14223 | 1 81646 16 | 0.944 % | 154.08/154.18 c | 1049420 | 1154 4790 14223 | 1 81839 16 | 0.944 % | 154.08/154.18 c | 1052244 | 1154 4790 14223 | 1 84663 16 | 0.944 % | 154.08/154.18 c | 1052740 | 1154 4790 14223 | 1 85159 16 | 0.944 % | 154.08/154.18 c | 1052840 | 1154 4790 14223 | 1 85259 16 | 0.944 % | 154.08/154.18 c | 1053048 | 1154 4790 14223 | 1 85467 16 | 0.944 % | 154.08/154.18 c | 1053153 | 1154 4790 14223 | 1 85572 16 | 0.944 % | 154.08/154.18 c | 1053253 | 1154 4790 14223 | 1 85672 16 | 0.944 % | 154.08/154.18 c | 1053353 | 1154 4790 14223 | 1 85772 16 | 0.944 % | 154.08/154.18 c | 1054382 | 1154 4790 14223 | 1 86801 17 | 0.944 % | 154.08/154.18 c | 1054482 | 1154 4790 14223 | 1 86901 17 | 0.944 % | 154.08/154.18 c | 1066729 | 1154 4790 14223 | 1 99148 19 | 0.944 % | 154.08/154.18 c | 1067021 | 1154 4790 14223 | 1 99440 19 | 0.944 % | 154.08/154.18 c | 1067122 | 1154 4790 14223 | 1 99541 19 | 0.944 % | 154.08/154.18 c | 1067231 | 1154 4790 14223 | 1 99650 19 | 0.944 % | 154.08/154.18 c | 1067334 | 1154 4790 14223 | 1 99753 19 | 0.944 % | 154.08/154.18 c | 1067641 | 1154 4790 14223 | 1 100060 19 | 0.944 % | 154.08/154.18 c | 1067863 | 1154 4790 14223 | 1 100282 19 | 0.944 % | 154.08/154.18 c | 1068064 | 1154 4790 14223 | 1 100483 19 | 0.944 % | 154.08/154.18 c | 1068167 | 1154 4790 14223 | 1 100586 19 | 0.944 % | 154.08/154.18 c | 1068428 | 1154 4790 14223 | 1 100847 19 | 0.944 % | 154.08/154.18 c | 1068529 | 1154 4790 14223 | 1 100948 19 | 0.944 % | 154.08/154.18 c | 1068894 | 1154 4790 14223 | 1 101313 19 | 0.944 % | 154.08/154.18 c | 1069291 | 1154 4790 14223 | 1 101710 19 | 0.944 % | 154.08/154.18 c | 1069391 | 1154 4790 14223 | 1 101810 19 | 0.944 % | 158.88/158.99 c | 1069510 | 1154 4790 14223 | 1 101929 19 | 0.944 % | 158.88/158.99 c | 1069612 | 1154 4790 14223 | 1 102031 19 | 0.944 % | 158.88/158.99 c | 1070020 | 1154 4790 14223 | 1 102439 19 | 0.944 % | 158.88/158.99 c | 1070214 | 1154 4790 14223 | 1 102633 19 | 0.944 % | 158.88/158.99 c | 1070377 | 1154 4790 14223 | 1 102796 19 | 0.944 % | 158.88/158.99 c | 1071814 | 1154 4790 14223 | 1 104233 19 | 0.944 % | 158.88/158.99 c | 1071917 | 1154 4790 14223 | 1 104336 19 | 0.944 % | 158.88/158.99 c | 1072017 | 1154 4790 14223 | 1 104436 19 | 0.944 % | 158.88/158.99 c | 1072203 | 1154 4790 14223 | 1 104622 19 | 0.944 % | 158.88/158.99 c | 1072418 | 1154 4790 14223 | 1 104837 19 | 0.944 % | 158.88/158.99 c | 1072518 | 1154 4790 14223 | 1 104937 19 | 0.944 % | 158.88/158.99 c | 1072618 | 1154 4790 14223 | 1 105037 19 | 0.944 % | 158.88/158.99 c | 1073699 | 1154 4790 14223 | 1 106118 20 | 0.944 % | 158.88/158.99 c | 1073799 | 1154 4790 14223 | 1 106218 20 | 0.944 % | 158.88/158.99 c | 1073901 | 1154 4790 14223 | 1 106320 20 | 0.944 % | 158.88/158.99 c | 1074002 | 1154 4790 14223 | 1 106421 20 | 0.944 % | 158.88/158.99 c | 1074750 | 1154 4790 14223 | 1 107169 20 | 0.944 % | 158.88/158.99 c | 1075651 | 1154 4790 14223 | 1 108070 20 | 0.944 % | 158.88/158.99 c | 1075813 | 1154 4790 14223 | 1 108232 20 | 0.944 % | 158.88/158.99 c | 1076431 | 1154 4790 14223 | 1 108850 20 | 0.944 % | 158.88/158.99 c | 1076531 | 1154 4790 14223 | 1 108950 20 | 0.944 % | 158.88/158.99 c | 1077362 | 1154 4790 14223 | 1 109781 20 | 0.944 % | 158.88/158.99 c | 1077463 | 1154 4790 14223 | 1 109882 20 | 0.944 % | 158.88/158.99 c | 1077667 | 1154 4790 14223 | 1 110086 20 | 0.944 % | 158.88/158.99 c | 1078138 | 1154 4790 14223 | 1 110557 20 | 0.944 % | 158.88/158.99 c | 1079470 | 1154 4790 14223 | 1 111889 20 | 0.944 % | 158.88/158.99 c | 1079571 | 1154 4790 14223 | 1 111990 20 | 0.944 % | 158.88/158.99 c | 1079810 | 1154 4790 14223 | 1 112229 20 | 0.944 % | 158.88/158.99 c | 1081477 | 1154 4790 14223 | 1 113896 20 | 0.944 % | 158.88/158.99 c | 1081577 | 1154 4790 14223 | 1 113996 20 | 0.944 % | 158.88/158.99 c | 1081677 | 1154 4790 14223 | 1 114096 20 | 0.944 % | 158.88/158.99 c | 1082181 | 1154 4790 14223 | 1 114600 21 | 0.944 % | 158.88/158.99 c | 1082562 | 1154 4790 14223 | 1 114981 21 | 0.944 % | 158.88/158.99 c | 1082716 | 1154 4790 14223 | 1 115135 21 | 0.944 % | 158.88/158.99 c | 1082950 | 1154 4790 14223 | 1 115369 21 | 0.944 % | 158.88/158.99 c | 1083050 | 1154 4790 14223 | 1 115469 21 | 0.944 % | 158.88/158.99 c | 1083150 | 1154 4790 14223 | 1 115569 21 | 0.944 % | 158.88/158.99 c | 1083612 | 1154 4790 14223 | 1 116031 21 | 0.944 % | 158.88/158.99 c | 1083712 | 1154 4790 14223 | 1 116131 21 | 0.944 % | 158.88/158.99 c | 1083813 | 1154 4790 14223 | 1 116232 21 | 0.944 % | 158.88/158.99 c | 1084174 | 1154 4790 14223 | 1 116593 21 | 0.944 % | 158.88/158.99 c | 1084515 | 1154 4790 14223 | 1 116934 21 | 0.944 % | 158.88/158.99 c | 1084944 | 1154 4790 14223 | 1 117363 21 | 0.944 % | 158.88/158.99 c | 1085049 | 1154 4790 14223 | 1 117468 21 | 0.944 % | 158.88/158.99 c | 1087146 | 1154 4790 14223 | 1 119565 21 | 0.944 % | 158.88/158.99 c | 1087354 | 1154 4790 14223 | 1 119773 21 | 0.944 % | 158.88/158.99 c | 1087455 | 1154 4790 14223 | 1 119874 21 | 0.944 % | 158.88/158.99 c | 1087556 | 1154 4790 14223 | 1 119975 21 | 0.944 % | 158.88/158.99 c | 1087657 | 1154 4790 14223 | 1 120076 21 | 0.944 % | 173.79/173.81 c | 1088072 | 1154 4790 14223 | 1 120491 21 | 0.944 % | 173.79/173.81 c | 1088748 | 1154 4790 14223 | 1 121167 21 | 0.944 % | 173.79/173.81 c | 1088848 | 1154 4790 14223 | 1 121267 21 | 0.944 % | 173.79/173.81 c | 1090530 | 1154 4790 14223 | 1 122949 21 | 0.944 % | 173.79/173.81 c | 1090631 | 1154 4790 14223 | 1 123050 21 | 0.944 % | 173.79/173.81 c | 1090731 | 1154 4790 14223 | 1 123150 21 | 0.944 % | 173.79/173.81 c | 1090928 | 1154 4790 14223 | 1 123347 21 | 0.944 % | 173.79/173.81 c | 1091056 | 1154 4790 14223 | 1 123475 21 | 0.944 % | 173.79/173.81 c | 1091470 | 1154 4790 14223 | 1 123889 21 | 0.944 % | 173.79/173.81 c | 1091570 | 1154 4790 14223 | 1 123989 21 | 0.944 % | 173.79/173.81 c | 1093409 | 1154 4790 14223 | 1 125828 21 | 0.944 % | 173.79/173.81 c | 1093509 | 1154 4790 14223 | 1 125928 21 | 0.944 % | 173.79/173.81 c | 1093840 | 1154 4790 14223 | 1 126259 22 | 0.944 % | 173.79/173.81 c | 1093941 | 1154 4790 14223 | 1 126360 22 | 0.944 % | 173.79/173.81 c | 1094041 | 1154 4790 14223 | 1 126460 22 | 0.944 % | 173.79/173.81 c | 1094141 | 1154 4790 14223 | 1 126560 22 | 0.944 % | 173.79/173.81 c | 1094244 | 1154 4790 14223 | 1 126663 22 | 0.944 % | 173.79/173.81 c | 1094344 | 1154 4790 14223 | 1 126763 22 | 0.944 % | 173.79/173.81 c | 1094476 | 1154 4790 14223 | 1 126895 22 | 0.944 % | 173.79/173.81 c | 1094576 | 1154 4790 14223 | 1 126995 22 | 0.944 % | 173.79/173.81 c | 1094974 | 1154 4790 14223 | 1 63791 12 | 0.944 % | 173.79/173.81 c | 1095327 | 1154 4790 14223 | 1 64144 12 | 0.944 % | 173.79/173.81 c | 1095427 | 1154 4790 14223 | 1 64244 12 | 0.944 % | 173.79/173.81 c | 1096093 | 1154 4790 14223 | 1 64910 13 | 0.944 % | 173.79/173.81 c | 1136428 | 1154 4790 14223 | 1 105245 15 | 0.944 % | 173.79/173.81 c | 1152044 | 1154 4790 14223 | 1 120861 16 | 0.944 % | 173.79/173.81 c | 1152994 | 1154 4790 14223 | 1 121811 16 | 0.944 % | 173.79/173.81 c | 1153095 | 1154 4790 14223 | 1 121912 16 | 0.944 % | 173.79/173.81 c | 1154921 | 1154 4790 14223 | 1 123738 17 | 0.944 % | 173.79/173.81 c | 1155021 | 1154 4790 14223 | 1 123838 17 | 0.944 % | 173.79/173.81 c | 1155786 | 1154 4790 14223 | 1 124603 17 | 0.944 % | 173.79/173.81 c | 1157060 | 1154 4790 14223 | 1 125877 17 | 0.944 % | 173.79/173.81 c | 1157480 | 1154 4790 14223 | 1 126297 17 | 0.944 % | 173.79/173.81 c | 1157690 | 1154 4790 14223 | 1 126507 17 | 0.944 % | 173.79/173.81 c | 1157921 | 1154 4790 14223 | 1 126738 17 | 0.944 % | 173.79/173.81 c | 1158056 | 1154 4790 14223 | 1 126873 17 | 0.944 % | 173.79/173.81 c | 1158168 | 1154 4790 14223 | 1 126985 17 | 0.944 % | 173.79/173.81 c | 1158557 | 1154 4790 14223 | 1 127374 17 | 0.944 % | 173.79/173.81 c | 1158687 | 1154 4790 14223 | 1 127504 17 | 0.944 % | 173.79/173.81 c | 1159273 | 1154 4790 14223 | 1 128090 17 | 0.944 % | 173.79/173.81 c | 1159375 | 1154 4790 14223 | 1 128192 17 | 0.944 % | 173.79/173.81 c | 1159475 | 1154 4790 14223 | 1 128292 17 | 0.944 % | 173.79/173.81 c | 1159576 | 1154 4790 14223 | 1 128393 17 | 0.944 % | 173.79/173.81 c | 1161289 | 1154 4790 14223 | 1 130106 17 | 0.944 % | 173.79/173.81 c | 1161389 | 1154 4790 14223 | 1 130206 17 | 0.944 % | 173.79/173.81 c | 1161490 | 1154 4790 14223 | 1 130307 17 | 0.944 % | 173.79/173.81 c | 1161893 | 1154 4790 14223 | 1 130710 18 | 0.944 % | 173.79/173.81 c | 1162677 | 1154 4790 14223 | 1 131494 18 | 0.944 % | 173.79/173.81 c | 1162839 | 1154 4790 14223 | 1 131656 18 | 0.944 % | 173.79/173.81 c | 1162939 | 1154 4790 14223 | 1 131756 18 | 0.944 % | 187.08/187.17 c | 1163040 | 1154 4790 14223 | 1 131857 18 | 0.944 % | 187.08/187.17 c | 1163416 | 1154 4790 14223 | 1 132233 18 | 0.944 % | 187.08/187.17 c | 1163554 | 1154 4790 14223 | 1 132371 18 | 0.944 % | 187.08/187.17 c | 1164001 | 1154 4790 14223 | 1 132818 18 | 0.944 % | 187.08/187.17 c | 1164831 | 1154 4790 14223 | 1 133648 18 | 0.944 % | 187.08/187.17 c | 1166430 | 1154 4790 14223 | 1 135247 18 | 0.944 % | 187.08/187.17 c | 1166530 | 1154 4790 14223 | 1 135347 18 | 0.944 % | 187.08/187.17 c | 1166857 | 1154 4790 14223 | 1 135674 18 | 0.944 % | 187.08/187.17 c | 1166958 | 1154 4790 14223 | 1 135775 18 | 0.944 % | 187.08/187.17 c | 1170795 | 1154 4790 14223 | 1 139612 19 | 0.944 % | 187.08/187.17 c | 1170978 | 1154 4790 14223 | 1 139795 19 | 0.944 % | 187.08/187.17 c | 1171080 | 1154 4790 14223 | 1 139897 19 | 0.944 % | 187.08/187.17 c | 1184175 | 1154 4790 14223 | 1 82794 16 | 0.944 % | 187.08/187.17 c | 1184416 | 1154 4790 14223 | 1 83035 16 | 0.944 % | 187.08/187.17 c | 1185242 | 1154 4790 14223 | 1 83861 16 | 0.944 % | 187.08/187.17 c | 1185417 | 1154 4790 14223 | 1 84036 16 | 0.944 % | 187.08/187.17 c | 1186327 | 1154 4790 14223 | 1 84946 16 | 0.944 % | 187.08/187.17 c | 1186912 | 1154 4790 14223 | 1 85531 16 | 0.944 % | 187.08/187.17 c | 1187754 | 1154 4790 14223 | 1 86373 17 | 0.944 % | 187.08/187.17 c | 1187854 | 1154 4790 14223 | 1 86473 17 | 0.944 % | 187.08/187.17 c | 1188573 | 1154 4790 14223 | 1 87192 17 | 0.944 % | 187.08/187.17 c | 1190737 | 1154 4790 14223 | 1 89356 17 | 0.944 % | 187.08/187.17 c | 1190852 | 1154 4790 14223 | 1 89471 17 | 0.944 % | 187.08/187.17 c | 1191125 | 1154 4790 14223 | 1 89744 17 | 0.944 % | 187.08/187.17 c | 1201023 | 1154 4790 14223 | 1 99642 19 | 0.944 % | 187.08/187.17 c | 1201367 | 1154 4790 14223 | 1 99986 19 | 0.944 % | 187.08/187.17 c | 1201470 | 1154 4790 14223 | 1 100089 19 | 0.944 % | 187.08/187.17 c | 1202040 | 1154 4790 14223 | 1 100659 19 | 0.944 % | 187.08/187.17 c | 1202412 | 1154 4790 14223 | 1 101031 19 | 0.944 % | 187.08/187.17 c | 1202815 | 1154 4790 14223 | 1 101434 19 | 0.944 % | 187.08/187.17 c | 1203073 | 1154 4790 14223 | 1 101692 19 | 0.944 % | 187.08/187.17 c | 1203173 | 1154 4790 14223 | 1 101792 19 | 0.944 % | 187.08/187.17 c | 1204447 | 1154 4790 14223 | 1 103066 20 | 0.944 % | 187.08/187.17 c | 1207355 | 1154 4790 14223 | 1 105974 20 | 0.944 % | 187.08/187.17 c | 1208990 | 1154 4790 14223 | 1 107609 20 | 0.944 % | 187.08/187.17 c | 1209673 | 1154 4790 14223 | 1 108292 20 | 0.944 % | 187.08/187.17 c | 1216642 | 1154 4790 14223 | 1 115261 21 | 0.944 % | 187.08/187.17 c | 1216756 | 1154 4790 14223 | 1 115375 21 | 0.944 % | 187.08/187.17 c | 1216856 | 1154 4790 14223 | 1 115475 21 | 0.944 % | 187.08/187.17 c | 1216958 | 1154 4790 14223 | 1 115577 21 | 0.944 % | 187.08/187.17 c | 1217092 | 1154 4790 14223 | 1 115711 21 | 0.944 % | 187.08/187.17 c | 1217375 | 1154 4790 14223 | 1 115994 21 | 0.944 % | 187.08/187.17 c | 1217475 | 1154 4790 14223 | 1 116094 21 | 0.944 % | 187.08/187.17 c | 1219724 | 1154 4790 14223 | 1 118343 21 | 0.944 % | 187.08/187.17 c | 1221345 | 1154 4790 14223 | 1 119964 21 | 0.944 % | 187.08/187.17 c | 1224285 | 1154 4790 14223 | 1 122904 22 | 0.944 % | 187.08/187.17 c | 1224807 | 1154 4790 14223 | 1 123426 22 | 0.944 % | 187.08/187.17 c | 1224907 | 1154 4790 14223 | 1 123526 22 | 0.944 % | 187.08/187.17 c | 1225007 | 1154 4790 14223 | 1 123626 22 | 0.944 % | 187.08/187.17 c | 1225740 | 1154 4790 14223 | 1 124359 22 | 0.944 % | 206.48/206.51 c | 1225840 | 1154 4790 14223 | 1 124459 22 | 0.944 % | 206.48/206.51 c | 1226133 | 1154 4790 14223 | 1 124752 22 | 0.944 % | 206.48/206.51 c | 1227645 | 1154 4790 14223 | 1 126264 22 | 0.944 % | 206.48/206.51 c | 1227774 | 1154 4790 14223 | 1 126393 22 | 0.944 % | 206.48/206.51 c | 1227948 | 1154 4790 14223 | 1 126567 22 | 0.944 % | 206.48/206.51 c | 1228048 | 1154 4790 14223 | 1 126667 22 | 0.944 % | 206.48/206.51 c | 1228626 | 1154 4790 14223 | 1 127245 22 | 0.944 % | 206.48/206.51 c | 1228727 | 1154 4790 14223 | 1 127346 22 | 0.944 % | 206.48/206.51 c | 1228850 | 1154 4790 14223 | 1 127469 22 | 0.944 % | 206.48/206.51 c | 1230556 | 1154 4790 14223 | 1 129175 22 | 0.944 % | 206.48/206.51 c | 1230656 | 1154 4790 14223 | 1 129275 22 | 0.944 % | 206.48/206.51 c | 1230816 | 1154 4790 14223 | 1 129435 22 | 0.944 % | 206.48/206.51 c | 1230916 | 1154 4790 14223 | 1 129535 22 | 0.944 % | 206.48/206.51 c | 1231490 | 1154 4790 14223 | 1 130109 23 | 0.944 % | 206.48/206.51 c | 1232491 | 1154 4790 14223 | 1 131110 23 | 0.944 % | 206.48/206.51 c | 1237223 | 1154 4790 14223 | 1 135842 23 | 0.944 % | 206.48/206.51 c | 1250560 | 1154 4790 14223 | 1 149179 24 | 0.944 % | 206.48/206.51 c | 1250661 | 1154 4790 14223 | 1 149280 24 | 0.944 % | 206.48/206.51 c | 1250850 | 1154 4790 14223 | 1 149469 24 | 0.944 % | 206.48/206.51 c | 1251482 | 1154 4790 14223 | 1 75296 13 | 0.944 % | 206.48/206.51 c | 1253413 | 1154 4790 14223 | 1 77227 14 | 0.944 % | 206.48/206.51 c | 1253794 | 1154 4790 14223 | 1 77608 14 | 0.944 % | 206.48/206.51 c | 1253894 | 1154 4790 14223 | 1 77708 14 | 0.944 % | 206.48/206.51 c | 1254120 | 1154 4790 14223 | 1 77934 14 | 0.944 % | 206.48/206.51 c | 1257216 | 1154 4790 14223 | 1 81030 15 | 0.944 % | 206.48/206.51 c | 1263817 | 1154 4790 14223 | 1 87631 17 | 0.944 % | 206.48/206.51 c | 1266182 | 1154 4790 14223 | 1 89996 17 | 0.944 % | 206.48/206.51 c | 1267325 | 1154 4790 14223 | 1 91139 17 | 0.944 % | 206.48/206.51 c | 1267439 | 1154 4790 14223 | 1 91253 17 | 0.944 % | 206.48/206.51 c | 1267540 | 1154 4790 14223 | 1 91354 17 | 0.944 % | 206.48/206.51 c | 1267718 | 1154 4790 14223 | 1 91532 17 | 0.944 % | 206.48/206.51 c | 1273409 | 1154 4790 14223 | 1 97223 18 | 0.944 % | 206.48/206.51 c | 1276305 | 1154 4790 14223 | 1 100119 19 | 0.944 % | 206.48/206.51 c | 1276730 | 1154 4790 14223 | 1 100544 19 | 0.944 % | 206.48/206.51 c | 1276832 | 1154 4790 14223 | 1 100646 19 | 0.944 % | 206.48/206.51 c | 1280816 | 1154 4790 14223 | 1 104630 20 | 0.944 % | 206.48/206.51 c | 1282269 | 1154 4790 14223 | 1 106083 20 | 0.944 % | 206.48/206.51 c | 1282373 | 1154 4790 14223 | 1 106187 20 | 0.944 % | 206.48/206.51 c | 1282482 | 1154 4790 14223 | 1 106296 20 | 0.944 % | 206.48/206.51 c | 1283104 | 1154 4790 14223 | 1 106918 20 | 0.944 % | 206.48/206.51 c | 1283204 | 1154 4790 14223 | 1 107018 20 | 0.944 % | 206.48/206.51 c | 1284748 | 1154 4790 14223 | 1 108562 20 | 0.944 % | 206.48/206.51 c | 1284850 | 1154 4790 14223 | 1 108664 20 | 0.944 % | 206.48/206.51 c | 1285125 | 1154 4790 14223 | 1 108939 20 | 0.944 % | 206.48/206.51 c | 1286759 | 1154 4790 14223 | 1 110573 20 | 0.944 % | 206.48/206.51 c | 1287145 | 1154 4790 14223 | 1 110959 20 | 0.944 % | 206.48/206.51 c | 1288725 | 1154 4790 14223 | 1 112539 21 | 0.944 % | 206.48/206.51 c | 1288921 | 1154 4790 14223 | 1 112735 21 | 0.944 % | 206.48/206.51 c | 1289743 | 1154 4790 14223 | 1 113557 21 | 0.944 % | 206.48/206.51 c | 1302035 | 1154 4790 14223 | 1 125849 21 | 0.944 % | 235.68/235.76 c | 1302140 | 1154 4790 14223 | 1 125954 21 | 0.944 % | 235.68/235.76 c | 1302304 | 1154 4790 14223 | 1 126118 21 | 0.944 % | 235.68/235.76 c | 1302628 | 1154 4790 14223 | 1 126442 21 | 0.944 % | 235.68/235.76 c | 1330234 | 1154 4790 14223 | 1 154048 22 | 0.944 % | 235.68/235.76 c | 1330335 | 1154 4790 14223 | 1 154149 22 | 0.944 % | 235.68/235.76 c | 1330435 | 1154 4790 14223 | 1 154249 22 | 0.944 % | 235.68/235.76 c | 1333796 | 1154 4790 14223 | 1 79209 13 | 0.944 % | 235.68/235.76 c | 1334449 | 1154 4790 14223 | 1 79862 13 | 0.944 % | 235.68/235.76 c | 1335367 | 1154 4790 14223 | 1 80780 13 | 0.944 % | 235.68/235.76 c | 1335468 | 1154 4790 14223 | 1 80881 13 | 0.944 % | 235.68/235.76 c | 1335577 | 1154 4790 14223 | 1 80990 13 | 0.944 % | 235.68/235.76 c | 1335678 | 1154 4790 14223 | 1 81091 13 | 0.944 % | 235.68/235.76 c | 1336668 | 1154 4790 14223 | 1 82081 13 | 0.944 % | 235.68/235.76 c | 1340563 | 1154 4790 14223 | 1 85976 15 | 0.944 % | 235.68/235.76 c | 1341187 | 1154 4790 14223 | 1 86600 15 | 0.944 % | 235.68/235.76 c | 1341605 | 1154 4790 14223 | 1 87018 15 | 0.944 % | 235.68/235.76 c | 1341771 | 1154 4790 14223 | 1 87184 15 | 0.944 % | 235.68/235.76 c | 1342062 | 1154 4790 14223 | 1 87475 15 | 0.944 % | 235.68/235.76 c | 1344417 | 1154 4790 14223 | 1 89830 15 | 0.944 % | 235.68/235.76 c | 1344578 | 1154 4790 14223 | 1 89991 15 | 0.944 % | 235.68/235.76 c | 1344703 | 1154 4790 14223 | 1 90116 15 | 0.944 % | 235.68/235.76 c | 1344982 | 1154 4790 14223 | 1 90395 16 | 0.944 % | 235.68/235.76 c | 1345352 | 1154 4790 14223 | 1 90765 16 | 0.944 % | 235.68/235.76 c | 1345686 | 1154 4790 14223 | 1 91099 16 | 0.944 % | 235.68/235.76 c | 1345787 | 1154 4790 14223 | 1 91200 16 | 0.944 % | 235.68/235.76 c | 1345970 | 1154 4790 14223 | 1 91383 16 | 0.944 % | 235.68/235.76 c | 1346216 | 1154 4790 14223 | 1 91629 16 | 0.944 % | 235.68/235.76 c | 1369868 | 1154 4790 14223 | 1 115281 18 | 0.944 % | 235.68/235.76 c | 1391121 | 1154 4790 14223 | 1 136534 18 | 0.944 % | 235.68/235.76 c | 1391366 | 1154 4790 14223 | 1 136779 18 | 0.944 % | 235.68/235.76 c | 1391474 | 1154 4790 14223 | 1 136887 18 | 0.944 % | 235.68/235.76 c | 1391753 | 1154 4790 14223 | 1 137166 18 | 0.944 % | 235.68/235.76 c | 1398089 | 1154 4790 14223 | 1 143502 19 | 0.944 % | 235.68/235.76 c | 1398590 | 1154 4790 14223 | 1 144003 19 | 0.944 % | 235.68/235.76 c | 1398705 | 1154 4790 14223 | 1 144118 19 | 0.944 % | 235.68/235.76 c | 1398807 | 1154 4790 14223 | 1 144220 19 | 0.944 % | 235.68/235.76 c | 1398907 | 1154 4790 14223 | 1 144320 19 | 0.944 % | 235.68/235.76 c | 1399489 | 1154 4790 14223 | 1 144902 19 | 0.944 % | 235.68/235.76 c | 1399637 | 1154 4790 14223 | 1 145050 19 | 0.944 % | 235.68/235.76 c | 1399739 | 1154 4790 14223 | 1 145152 19 | 0.944 % | 235.68/235.76 c | 1399957 | 1154 4790 14223 | 1 145370 19 | 0.944 % | 235.68/235.76 c | 1400523 | 1154 4790 14223 | 1 145936 19 | 0.944 % | 235.68/235.76 c | 1400738 | 1154 4790 14223 | 1 146151 19 | 0.944 % | 235.68/235.76 c | 1400888 | 1154 4790 14223 | 1 146301 19 | 0.944 % | 235.68/235.76 c | 1401007 | 1154 4790 14223 | 1 146420 19 | 0.944 % | 235.68/235.76 c | 1401272 | 1154 4790 14223 | 1 146685 19 | 0.944 % | 235.68/235.76 c | 1405674 | 1154 4790 14223 | 1 151087 20 | 0.944 % | 235.68/235.76 c | 1405955 | 1154 4790 14223 | 1 151368 20 | 0.944 % | 235.68/235.76 c | 1406056 | 1154 4790 14223 | 1 151469 20 | 0.944 % | 235.68/235.76 c | 1406157 | 1154 4790 14223 | 1 151570 20 | 0.944 % | 262.98/263.06 c | 1422688 | 1154 4790 14223 | 1 86601 13 | 0.944 % | 262.98/263.06 c | 1423093 | 1154 4790 14223 | 1 87006 13 | 0.944 % | 262.98/263.06 c | 1423193 | 1154 4790 14223 | 1 87106 13 | 0.944 % | 262.98/263.06 c | 1423295 | 1154 4790 14223 | 1 87208 13 | 0.944 % | 262.98/263.06 c | 1423398 | 1154 4790 14223 | 1 87311 13 | 0.944 % | 262.98/263.06 c | 1423498 | 1154 4790 14223 | 1 87411 13 | 0.944 % | 262.98/263.06 c | 1423658 | 1154 4790 14223 | 1 87571 13 | 0.944 % | 262.98/263.06 c | 1425211 | 1154 4790 14223 | 1 89124 13 | 0.944 % | 262.98/263.06 c | 1429195 | 1154 4790 14223 | 1 93108 14 | 0.944 % | 262.98/263.06 c | 1431792 | 1154 4790 14223 | 1 95705 15 | 0.944 % | 262.98/263.06 c | 1476654 | 1154 4790 14223 | 1 140567 20 | 0.944 % | 262.98/263.06 c | 1477171 | 1154 4790 14223 | 1 141084 20 | 0.944 % | 262.98/263.06 c | 1477271 | 1154 4790 14223 | 1 141184 20 | 0.944 % | 262.98/263.06 c | 1477371 | 1154 4790 14223 | 1 141284 20 | 0.944 % | 262.98/263.06 c | 1477906 | 1154 4790 14223 | 1 141819 20 | 0.944 % | 262.98/263.06 c | 1480140 | 1154 4790 14223 | 1 144053 20 | 0.944 % | 262.98/263.06 c | 1480241 | 1154 4790 14223 | 1 144154 20 | 0.944 % | 262.98/263.06 c | 1480525 | 1154 4790 14223 | 1 144438 20 | 0.944 % | 262.98/263.06 c | 1480632 | 1154 4790 14223 | 1 144545 20 | 0.944 % | 262.98/263.06 c | 1480732 | 1154 4790 14223 | 1 144645 20 | 0.944 % | 262.98/263.06 c | 1486094 | 1154 4790 14223 | 1 150007 21 | 0.944 % | 262.98/263.06 c | 1486194 | 1154 4790 14223 | 1 150107 21 | 0.944 % | 262.98/263.06 c | 1487473 | 1154 4790 14223 | 1 151386 21 | 0.944 % | 262.98/263.06 c | 1487745 | 1154 4790 14223 | 1 151658 21 | 0.944 % | 262.98/263.06 c | 1487845 | 1154 4790 14223 | 1 151758 21 | 0.944 % | 262.98/263.06 c | 1487946 | 1154 4790 14223 | 1 151859 21 | 0.944 % | 262.98/263.06 c | 1488138 | 1154 4790 14223 | 1 152051 21 | 0.944 % | 262.98/263.06 c | 1488584 | 1154 4790 14223 | 1 152497 21 | 0.944 % | 262.98/263.06 c | 1491750 | 1154 4790 14223 | 1 155663 21 | 0.944 % | 262.98/263.06 c | 1499854 | 1154 4790 14223 | 1 163767 22 | 0.944 % | 262.98/263.06 c | 1499954 | 1154 4790 14223 | 1 163867 22 | 0.944 % | 262.98/263.06 c | 1500995 | 1154 4790 14223 | 1 164908 22 | 0.944 % | 262.98/263.06 c | 1505675 | 1154 4790 14223 | 1 85241 13 | 0.944 % | 262.98/263.06 c | 1505832 | 1154 4790 14223 | 1 85398 13 | 0.944 % | 262.98/263.06 c | 1507536 | 1154 4790 14223 | 1 87102 13 | 0.944 % | 262.98/263.06 c | 1508023 | 1154 4790 14223 | 1 87589 13 | 0.944 % | 262.98/263.06 c | 1508133 | 1154 4790 14223 | 1 87699 13 | 0.944 % | 262.98/263.06 c | 1508234 | 1154 4790 14223 | 1 87800 13 | 0.944 % | 262.98/263.06 c | 1508334 | 1154 4790 14223 | 1 87900 13 | 0.944 % | 262.98/263.06 c | 1508848 | 1154 4790 14223 | 1 88414 14 | 0.944 % | 262.98/263.06 c | 1508948 | 1154 4790 14223 | 1 88514 14 | 0.944 % | 262.98/263.06 c | 1509174 | 1154 4790 14223 | 1 88740 14 | 0.944 % | 262.98/263.06 c | 1509303 | 1154 4790 14223 | 1 88869 14 | 0.944 % | 262.98/263.06 c | 1510131 | 1154 4790 14223 | 1 89697 14 | 0.944 % | 262.98/263.06 c | 1510234 | 1154 4790 14223 | 1 89800 14 | 0.944 % | 262.98/263.06 c | 1511807 | 1154 4790 14223 | 1 91373 14 | 0.944 % | 262.98/263.06 c | 1511907 | 1154 4790 14223 | 1 91473 14 | 0.944 % | 262.98/263.06 c | 1512008 | 1154 4790 14223 | 1 91574 15 | 0.944 % | 262.98/263.06 c | 1512117 | 1154 4790 14223 | 1 91683 15 | 0.944 % | 262.98/263.06 c | 1512407 | 1154 4790 14223 | 1 91973 15 | 0.944 % | 308.99/309.09 c | 1513794 | 1154 4790 14223 | 1 93360 15 | 0.944 % | 308.99/309.09 c | 1514686 | 1154 4790 14223 | 1 94252 15 | 0.944 % | 308.99/309.09 c | 1514790 | 1154 4790 14223 | 1 94356 15 | 0.944 % | 308.99/309.09 c | 1519819 | 1154 4790 14223 | 1 99385 16 | 0.944 % | 308.99/309.09 c | 1520237 | 1154 4790 14223 | 1 99803 16 | 0.944 % | 308.99/309.09 c | 1571088 | 1154 4790 14223 | 1 150654 18 | 0.944 % | 308.99/309.09 c | 1571288 | 1154 4790 14223 | 1 150854 18 | 0.944 % | 308.99/309.09 c | 1572104 | 1154 4790 14223 | 1 151670 18 | 0.944 % | 308.99/309.09 c | 1576130 | 1154 4790 14223 | 1 155696 19 | 0.944 % | 308.99/309.09 c | 1576231 | 1154 4790 14223 | 1 155797 19 | 0.944 % | 308.99/309.09 c | 1576356 | 1154 4790 14223 | 1 155922 19 | 0.944 % | 308.99/309.09 c | 1577477 | 1154 4790 14223 | 1 157043 19 | 0.944 % | 308.99/309.09 c | 1577579 | 1154 4790 14223 | 1 157145 19 | 0.944 % | 308.99/309.09 c | 1578124 | 1154 4790 14223 | 1 157690 19 | 0.944 % | 308.99/309.09 c | 1578225 | 1154 4790 14223 | 1 157791 19 | 0.944 % | 308.99/309.09 c | 1578326 | 1154 4790 14223 | 1 157892 19 | 0.944 % | 308.99/309.09 c | 1578500 | 1154 4790 14223 | 1 158066 19 | 0.944 % | 308.99/309.09 c | 1578728 | 1154 4790 14223 | 1 158294 19 | 0.944 % | 308.99/309.09 c | 1578828 | 1154 4790 14223 | 1 158394 19 | 0.944 % | 308.99/309.09 c | 1580326 | 1154 4790 14223 | 1 159892 19 | 0.944 % | 308.99/309.09 c | 1580504 | 1154 4790 14223 | 1 160070 19 | 0.944 % | 308.99/309.09 c | 1580742 | 1154 4790 14223 | 1 160308 19 | 0.944 % | 308.99/309.09 c | 1581863 | 1154 4790 14223 | 1 161429 19 | 0.944 % | 308.99/309.09 c | 1584198 | 1154 4790 14223 | 1 163764 19 | 0.944 % | 308.99/309.09 c | 1591309 | 1154 4790 14223 | 1 170875 20 | 0.944 % | 308.99/309.09 c | 1614460 | 1154 4790 14223 | 1 106949 16 | 0.944 % | 308.99/309.09 c | 1617592 | 1154 4790 14223 | 1 110081 16 | 0.944 % | 308.99/309.09 c | 1622736 | 1154 4790 14223 | 1 115225 17 | 0.944 % | 308.99/309.09 c | 1623863 | 1154 4790 14223 | 1 116352 17 | 0.944 % | 308.99/309.09 c | 1624119 | 1154 4790 14223 | 1 116608 17 | 0.944 % | 308.99/309.09 c | 1627630 | 1154 4790 14223 | 1 120119 17 | 0.944 % | 308.99/309.09 c | 1628668 | 1154 4790 14223 | 1 121157 17 | 0.944 % | 308.99/309.09 c | 1628774 | 1154 4790 14223 | 1 121263 17 | 0.944 % | 308.99/309.09 c | 1628877 | 1154 4790 14223 | 1 121366 17 | 0.944 % | 308.99/309.09 c | 1629035 | 1154 4790 14223 | 1 121524 17 | 0.944 % | 308.99/309.09 c | 1629361 | 1154 4790 14223 | 1 121850 17 | 0.944 % | 308.99/309.09 c | 1629462 | 1154 4790 14223 | 1 121951 17 | 0.944 % | 308.99/309.09 c | 1629563 | 1154 4790 14223 | 1 122052 17 | 0.944 % | 308.99/309.09 c | 1631962 | 1154 4790 14223 | 1 124451 18 | 0.944 % | 308.99/309.09 c | 1632063 | 1154 4790 14223 | 1 124552 18 | 0.944 % | 308.99/309.09 c | 1632287 | 1154 4790 14223 | 1 124776 18 | 0.944 % | 308.99/309.09 c | 1633763 | 1154 4790 14223 | 1 126252 18 | 0.944 % | 308.99/309.09 c | 1633865 | 1154 4790 14223 | 1 126354 18 | 0.944 % | 308.99/309.09 c | 1639049 | 1154 4790 14223 | 1 131538 19 | 0.944 % | 308.99/309.09 c | 1639150 | 1154 4790 14223 | 1 131639 19 | 0.944 % | 308.99/309.09 c | 1639250 | 1154 4790 14223 | 1 131739 19 | 0.944 % | 308.99/309.09 c | 1639448 | 1154 4790 14223 | 1 131937 19 | 0.944 % | 308.99/309.09 c | 1639548 | 1154 4790 14223 | 1 132037 19 | 0.944 % | 308.99/309.09 c | 1676689 | 1154 4790 14223 | 1 169178 20 | 0.944 % | 308.99/309.09 c | 1676789 | 1154 4790 14223 | 1 169278 20 | 0.944 % | 336.89/336.91 c | 1676960 | 1154 4790 14223 | 1 169449 20 | 0.944 % | 336.89/336.91 c | 1677061 | 1154 4790 14223 | 1 169550 20 | 0.944 % | 336.89/336.91 c | 1678827 | 1154 4790 14223 | 1 171316 20 | 0.944 % | 336.89/336.91 c | 1678930 | 1154 4790 14223 | 1 171419 20 | 0.944 % | 336.89/336.91 c | 1679031 | 1154 4790 14223 | 1 171520 20 | 0.944 % | 336.89/336.91 c | 1679163 | 1154 4790 14223 | 1 171652 20 | 0.944 % | 336.89/336.91 c | 1679265 | 1154 4790 14223 | 1 171754 20 | 0.944 % | 336.89/336.91 c | 1679366 | 1154 4790 14223 | 1 171855 20 | 0.944 % | 336.89/336.91 c | 1679602 | 1154 4790 14223 | 1 172091 20 | 0.944 % | 336.89/336.91 c | 1680629 | 1154 4790 14223 | 1 173118 20 | 0.944 % | 336.89/336.91 c | 1680729 | 1154 4790 14223 | 1 173218 20 | 0.944 % | 336.89/336.91 c | 1682093 | 1154 4790 14223 | 1 174582 21 | 0.944 % | 336.89/336.91 c | 1693155 | 1154 4790 14223 | 1 95905 13 | 0.944 % | 336.89/336.91 c | 1695548 | 1154 4790 14223 | 1 98298 13 | 0.944 % | 336.89/336.91 c | 1696614 | 1154 4790 14223 | 1 99364 14 | 0.944 % | 336.89/336.91 c | 1696715 | 1154 4790 14223 | 1 99465 14 | 0.944 % | 336.89/336.91 c | 1700556 | 1154 4790 14223 | 1 103306 14 | 0.944 % | 336.89/336.91 c | 1707231 | 1154 4790 14223 | 1 109981 15 | 0.944 % | 336.89/336.91 c | 1707331 | 1154 4790 14223 | 1 110081 15 | 0.944 % | 336.89/336.91 c | 1708062 | 1154 4790 14223 | 1 110812 15 | 0.944 % | 336.89/336.91 c | 1708164 | 1154 4790 14223 | 1 110914 15 | 0.944 % | 336.89/336.91 c | 1708335 | 1154 4790 14223 | 1 111085 15 | 0.944 % | 336.89/336.91 c | 1720778 | 1154 4790 14223 | 1 123528 16 | 0.944 % | 336.89/336.91 c | 1721033 | 1154 4790 14223 | 1 123783 16 | 0.944 % | 336.89/336.91 c | 1721281 | 1154 4790 14223 | 1 124031 16 | 0.944 % | 336.89/336.91 c | 1730576 | 1154 4790 14223 | 1 133326 18 | 0.944 % | 336.89/336.91 c | 1730679 | 1154 4790 14223 | 1 133429 18 | 0.944 % | 336.89/336.91 c | 1730822 | 1154 4790 14223 | 1 133572 18 | 0.944 % | 336.89/336.91 c | 1740557 | 1154 4790 14223 | 1 143307 19 | 0.944 % | 336.89/336.91 c | 1742052 | 1154 4790 14223 | 1 144802 20 | 0.944 % | 336.89/336.91 c | 1742153 | 1154 4790 14223 | 1 144903 20 | 0.944 % | 336.89/336.91 c | 1742494 | 1154 4790 14223 | 1 145244 20 | 0.944 % | 336.89/336.91 c | 1742672 | 1154 4790 14223 | 1 145422 20 | 0.944 % | 336.89/336.91 c | 1742991 | 1154 4790 14223 | 1 145741 20 | 0.944 % | 336.89/336.91 c | 1744339 | 1154 4790 14223 | 1 147089 20 | 0.944 % | 336.89/336.91 c | 1744439 | 1154 4790 14223 | 1 147189 20 | 0.944 % | 336.89/336.91 c | 1745169 | 1154 4790 14223 | 1 147919 20 | 0.944 % | 336.89/336.91 c | 1745321 | 1154 4790 14223 | 1 148071 20 | 0.944 % | 336.89/336.91 c | 1745665 | 1154 4790 14223 | 1 148415 20 | 0.944 % | 336.89/336.91 c | 1747325 | 1154 4790 14223 | 1 150075 20 | 0.944 % | 336.89/336.91 c | 1754731 | 1154 4790 14223 | 1 157481 21 | 0.944 % | 336.89/336.91 c | 1755043 | 1154 4790 14223 | 1 157793 21 | 0.944 % | 336.89/336.91 c | 1770139 | 1154 4790 14223 | 1 172889 22 | 0.944 % | 336.89/336.91 c | 1770276 | 1154 4790 14223 | 1 173026 22 | 0.944 % | 336.89/336.91 c | 1770482 | 1154 4790 14223 | 1 173232 22 | 0.944 % | 336.89/336.91 c | 1770582 | 1154 4790 14223 | 1 173332 22 | 0.944 % | 336.89/336.91 c | 1771908 | 1154 4790 14223 | 1 174658 22 | 0.944 % | 336.89/336.91 c | 1772113 | 1154 4790 14223 | 1 174863 22 | 0.944 % | 336.89/336.91 c | 1772215 | 1154 4790 14223 | 1 174965 22 | 0.944 % | 336.89/336.91 c | 1776608 | 1154 4790 14223 | 1 179358 22 | 0.944 % | 428.18/428.27 c | 1808573 | 1154 4790 14223 | 1 118957 17 | 0.944 % | 428.18/428.27 c | 1808818 | 1154 4790 14223 | 1 119202 17 | 0.944 % | 428.18/428.27 c | 1808918 | 1154 4790 14223 | 1 119302 17 | 0.944 % | 428.18/428.27 c | 1809039 | 1154 4790 14223 | 1 119423 17 | 0.944 % | 428.18/428.27 c | 1812007 | 1154 4790 14223 | 1 122391 18 | 0.944 % | 428.18/428.27 c | 1816837 | 1154 4790 14223 | 1 127221 18 | 0.944 % | 428.18/428.27 c | 1817348 | 1154 4790 14223 | 1 127732 18 | 0.944 % | 428.18/428.27 c | 1817497 | 1154 4790 14223 | 1 127881 18 | 0.944 % | 428.18/428.27 c | 1818064 | 1154 4790 14223 | 1 128448 18 | 0.944 % | 428.18/428.27 c | 1876041 | 1154 4790 14223 | 1 186425 21 | 0.944 % | 428.18/428.27 c | 1877953 | 1154 4790 14223 | 1 188337 21 | 0.944 % | 428.18/428.27 c | 1878863 | 1154 4790 14223 | 1 189247 21 | 0.944 % | 428.18/428.27 c | 1879275 | 1154 4790 14223 | 1 189659 21 | 0.944 % | 428.18/428.27 c | 1882331 | 1154 4790 14223 | 1 97724 13 | 0.944 % | 428.18/428.27 c | 1882432 | 1154 4790 14223 | 1 97825 13 | 0.944 % | 428.18/428.27 c | 1882532 | 1154 4790 14223 | 1 97925 13 | 0.944 % | 428.18/428.27 c | 1883158 | 1154 4790 14223 | 1 98551 13 | 0.944 % | 428.18/428.27 c | 1891288 | 1154 4790 14223 | 1 106681 14 | 0.944 % | 428.18/428.27 c | 1892417 | 1154 4790 14223 | 1 107810 15 | 0.944 % | 428.18/428.27 c | 1897823 | 1154 4790 14223 | 1 113216 16 | 0.944 % | 428.18/428.27 c | 1928381 | 1154 4790 14223 | 1 143774 18 | 0.944 % | 428.18/428.27 c | 1928716 | 1154 4790 14223 | 1 144109 18 | 0.944 % | 428.18/428.27 c | 1928816 | 1154 4790 14223 | 1 144209 18 | 0.944 % | 428.18/428.27 c | 1931464 | 1154 4790 14223 | 1 146857 18 | 0.944 % | 428.18/428.27 c | 1931741 | 1154 4790 14223 | 1 147134 18 | 0.944 % | 428.18/428.27 c | 1933588 | 1154 4790 14223 | 1 148981 18 | 0.944 % | 428.18/428.27 c | 1933689 | 1154 4790 14223 | 1 149082 18 | 0.944 % | 428.18/428.27 c | 1934121 | 1154 4790 14223 | 1 149514 18 | 0.944 % | 428.18/428.27 c | 1936451 | 1154 4790 14223 | 1 151844 19 | 0.944 % | 428.18/428.27 c | 1936552 | 1154 4790 14223 | 1 151945 19 | 0.944 % | 428.18/428.27 c | 1942026 | 1154 4790 14223 | 1 157419 19 | 0.944 % | 428.18/428.27 c | 1964961 | 1154 4790 14223 | 1 180354 20 | 0.944 % | 428.18/428.27 c | 1979691 | 1154 4790 14223 | 1 195084 21 | 0.944 % | 428.18/428.27 c | 1980179 | 1154 4790 14223 | 1 97979 13 | 0.944 % | 428.18/428.27 c | 1982524 | 1154 4790 14223 | 1 100324 13 | 0.944 % | 428.18/428.27 c | 1982624 | 1154 4790 14223 | 1 100424 13 | 0.944 % | 428.18/428.27 c | 1982976 | 1154 4790 14223 | 1 100776 13 | 0.944 % | 428.18/428.27 c | 1983257 | 1154 4790 14223 | 1 101057 13 | 0.944 % | 428.18/428.27 c | 1983441 | 1154 4790 14223 | 1 101241 13 | 0.944 % | 428.18/428.27 c | 1989327 | 1154 4790 14223 | 1 107127 14 | 0.944 % | 428.18/428.27 c | 1990517 | 1154 4790 14223 | 1 108317 14 | 0.944 % | 428.18/428.27 c | 2040985 | 1154 4790 14223 | 1 158785 18 | 0.944 % | 428.18/428.27 c | 2047904 | 1154 4790 14223 | 1 165704 19 | 0.944 % | 428.18/428.27 c | 2051136 | 1154 4790 14223 | 1 168936 19 | 0.944 % | 428.18/428.27 c | 2059874 | 1154 4790 14223 | 1 177674 20 | 0.944 % | 428.18/428.27 c | 2059975 | 1154 4790 14223 | 1 177775 20 | 0.944 % | 428.18/428.27 c | 2066728 | 1154 4790 14223 | 1 184528 20 | 0.944 % | 428.18/428.27 c | 2067416 | 1154 4790 14223 | 1 185216 20 | 0.944 % | 428.18/428.27 c | 2068637 | 1154 4790 14223 | 1 186437 20 | 0.944 % | 428.18/428.27 c | 2069025 | 1154 4790 14223 | 1 186825 20 | 0.944 % | 531.69/531.80 c | 2207890 | 1154 4790 14223 | 1 122699 14 | 0.944 % | 531.69/531.80 c | 2207990 | 1154 4790 14223 | 1 122799 14 | 0.944 % | 531.69/531.80 c | 2208095 | 1154 4790 14223 | 1 122904 14 | 0.944 % | 531.69/531.80 c | 2228302 | 1154 4790 14223 | 1 143111 17 | 0.944 % | 531.69/531.80 c | 2228403 | 1154 4790 14223 | 1 143212 17 | 0.944 % | 531.69/531.80 c | 2228597 | 1154 4790 14223 | 1 143406 17 | 0.944 % | 531.69/531.80 c | 2236142 | 1154 4790 14223 | 1 150951 17 | 0.944 % | 531.69/531.80 c | 2242081 | 1154 4790 14223 | 1 156890 18 | 0.944 % | 531.69/531.80 c | 2242183 | 1154 4790 14223 | 1 156992 18 | 0.944 % | 531.69/531.80 c | 2242399 | 1154 4790 14223 | 1 157208 18 | 0.944 % | 531.69/531.80 c | 2246540 | 1154 4790 14223 | 1 161349 18 | 0.944 % | 531.69/531.80 c | 2246865 | 1154 4790 14223 | 1 161674 18 | 0.944 % | 531.69/531.80 c | 2251031 | 1154 4790 14223 | 1 165840 18 | 0.944 % | 531.69/531.80 c | 2252623 | 1154 4790 14223 | 1 167432 18 | 0.944 % | 531.69/531.80 c | 2270767 | 1154 4790 14223 | 1 185576 20 | 0.944 % | 531.69/531.80 c | 2273878 | 1154 4790 14223 | 1 188687 20 | 0.944 % | 531.69/531.80 c | 2274403 | 1154 4790 14223 | 1 189212 20 | 0.944 % | 531.69/531.80 c | 2274503 | 1154 4790 14223 | 1 189312 20 | 0.944 % | 531.69/531.80 c | 2284367 | 1154 4790 14223 | 1 199176 21 | 0.944 % | 531.69/531.80 c | 2284904 | 1154 4790 14223 | 1 199713 21 | 0.944 % | 531.69/531.80 c | 2288585 | 1154 4790 14223 | 1 203394 21 | 0.944 % | 531.69/531.80 c | 2292664 | 1154 4790 14223 | 1 207473 21 | 0.944 % | 531.69/531.80 c | 2293456 | 1154 4790 14223 | 1 208265 21 | 0.944 % | 531.69/531.80 c | 2304188 | 1154 4790 14223 | 1 113602 14 | 0.944 % | 531.69/531.80 c | 2305047 | 1154 4790 14223 | 1 114461 14 | 0.944 % | 531.69/531.80 c | 2307681 | 1154 4790 14223 | 1 117095 14 | 0.944 % | 531.69/531.80 c | 2307782 | 1154 4790 14223 | 1 117196 14 | 0.944 % | 531.69/531.80 c | 2330234 | 1154 4790 14223 | 1 139648 16 | 0.944 % | 531.69/531.80 c | 2334585 | 1154 4790 14223 | 1 143999 17 | 0.944 % | 531.69/531.80 c | 2334685 | 1154 4790 14223 | 1 144099 17 | 0.944 % | 531.69/531.80 c | 2345545 | 1154 4790 14223 | 1 154959 18 | 0.944 % | 531.69/531.80 c | 2345986 | 1154 4790 14223 | 1 155400 18 | 0.944 % | 531.69/531.80 c | 2346086 | 1154 4790 14223 | 1 155500 18 | 0.944 % | 531.69/531.80 c | 2346407 | 1154 4790 14223 | 1 155821 18 | 0.944 % | 531.69/531.80 c | 2350002 | 1154 4790 14223 | 1 159416 18 | 0.944 % | 531.69/531.80 c | 2352222 | 1154 4790 14223 | 1 161636 19 | 0.944 % | 531.69/531.80 c | 2352427 | 1154 4790 14223 | 1 161841 19 | 0.944 % | 531.69/531.80 c | 2356162 | 1154 4790 14223 | 1 165576 19 | 0.944 % | 531.69/531.80 c | 2356277 | 1154 4790 14223 | 1 165691 19 | 0.944 % | 531.69/531.80 c | 2357345 | 1154 4790 14223 | 1 166759 19 | 0.944 % | 531.69/531.80 c | 2357445 | 1154 4790 14223 | 1 166859 19 | 0.944 % | 531.69/531.80 c | 2357584 | 1154 4790 14223 | 1 166998 19 | 0.944 % | 531.69/531.80 c | 2358964 | 1154 4790 14223 | 1 168378 19 | 0.944 % | 531.69/531.80 c | 2361498 | 1154 4790 14223 | 1 170912 19 | 0.944 % | 531.69/531.80 c | 2363482 | 1154 4790 14223 | 1 172896 19 | 0.944 % | 531.69/531.80 c | 2363639 | 1154 4790 14223 | 1 173053 19 | 0.944 % | 531.69/531.80 c | 2363821 | 1154 4790 14223 | 1 173235 19 | 0.944 % | 531.69/531.80 c | 2368801 | 1154 4790 14223 | 1 178215 20 | 0.944 % | 531.69/531.80 c | 2370260 | 1154 4790 14223 | 1 179674 20 | 0.944 % | 531.69/531.80 c | 2383332 | 1154 4790 14223 | 1 192746 20 | 0.944 % | 608.59/608.61 c | 2383432 | 1154 4790 14223 | 1 192846 20 | 0.944 % | 608.59/608.61 c | 2418754 | 1154 4790 14223 | 1 120169 14 | 0.944 % | 608.59/608.61 c | 2419304 | 1154 4790 14223 | 1 120719 14 | 0.944 % | 608.59/608.61 c | 2419495 | 1154 4790 14223 | 1 120910 14 | 0.944 % | 608.59/608.61 c | 2423892 | 1154 4790 14223 | 1 125307 15 | 0.944 % | 608.59/608.61 c | 2423992 | 1154 4790 14223 | 1 125407 15 | 0.944 % | 608.59/608.61 c | 2428759 | 1154 4790 14223 | 1 130174 15 | 0.944 % | 608.59/608.61 c | 2429811 | 1154 4790 14223 | 1 131226 16 | 0.944 % | 608.59/608.61 c | 2430004 | 1154 4790 14223 | 1 131419 16 | 0.944 % | 608.59/608.61 c | 2434579 | 1154 4790 14223 | 1 135994 16 | 0.944 % | 608.59/608.61 c | 2450278 | 1154 4790 14223 | 1 151693 18 | 0.944 % | 608.59/608.61 c | 2451065 | 1154 4790 14223 | 1 152480 18 | 0.944 % | 608.59/608.61 c | 2451894 | 1154 4790 14223 | 1 153309 18 | 0.944 % | 608.59/608.61 c | 2458342 | 1154 4790 14223 | 1 159757 19 | 0.944 % | 608.59/608.61 c | 2458442 | 1154 4790 14223 | 1 159857 19 | 0.944 % | 608.59/608.61 c | 2462207 | 1154 4790 14223 | 1 163622 19 | 0.944 % | 608.59/608.61 c | 2462307 | 1154 4790 14223 | 1 163722 19 | 0.944 % | 608.59/608.61 c | 2463118 | 1154 4790 14223 | 1 164533 19 | 0.944 % | 608.59/608.61 c | 2476298 | 1154 4790 14223 | 1 177713 20 | 0.944 % | 608.59/608.61 c | 2478284 | 1154 4790 14223 | 1 179699 20 | 0.944 % | 608.59/608.61 c | 2478999 | 1154 4790 14223 | 1 180414 20 | 0.944 % | 608.59/608.61 c | 2479100 | 1154 4790 14223 | 1 180515 20 | 0.944 % | 608.59/608.61 c | 2493211 | 1154 4790 14223 | 1 194626 21 | 0.944 % | 608.59/608.61 c | 2493312 | 1154 4790 14223 | 1 194727 21 | 0.944 % | 608.59/608.61 c | 2493433 | 1154 4790 14223 | 1 194848 21 | 0.944 % | 608.59/608.61 c | 2497411 | 1154 4790 14223 | 1 198826 21 | 0.944 % | 608.59/608.61 c | 2497653 | 1154 4790 14223 | 1 199068 21 | 0.944 % | 608.59/608.61 c | 2497923 | 1154 4790 14223 | 1 199338 21 | 0.944 % | 608.59/608.61 c | 2499787 | 1154 4790 14223 | 1 201202 21 | 0.944 % | 608.59/608.61 c | 2526993 | 1154 4790 14223 | 1 117815 14 | 0.944 % | 608.59/608.61 c | 2527093 | 1154 4790 14223 | 1 117915 14 | 0.944 % | 608.59/608.61 c | 2572471 | 1154 4790 14223 | 1 163293 19 | 0.944 % | 608.59/608.61 c | 2572572 | 1154 4790 14223 | 1 163394 19 | 0.944 % | 608.59/608.61 c | 2572748 | 1154 4790 14223 | 1 163570 19 | 0.944 % | 608.59/608.61 c | 2576152 | 1154 4790 14223 | 1 166974 19 | 0.944 % | 608.59/608.61 c | 2577157 | 1154 4790 14223 | 1 167979 19 | 0.944 % | 608.59/608.61 c | 2577393 | 1154 4790 14223 | 1 168215 19 | 0.944 % | 608.59/608.61 c | 2594432 | 1154 4790 14223 | 1 185254 20 | 0.944 % | 608.59/608.61 c | 2594742 | 1154 4790 14223 | 1 185564 20 | 0.944 % | 608.59/608.61 c | 2594842 | 1154 4790 14223 | 1 185664 20 | 0.944 % | 608.59/608.61 c | 2595699 | 1154 4790 14223 | 1 186521 20 | 0.944 % | 608.59/608.61 c | 2595988 | 1154 4790 14223 | 1 186810 20 | 0.944 % | 608.59/608.61 c | 2600851 | 1154 4790 14223 | 1 191673 20 | 0.944 % | 608.59/608.61 c | 2600951 | 1154 4790 14223 | 1 191773 20 | 0.944 % | 608.59/608.61 c | 2601619 | 1154 4790 14223 | 1 192441 21 | 0.944 % | 608.59/608.61 c | 2601849 | 1154 4790 14223 | 1 192671 21 | 0.944 % | 608.59/608.61 c | 2602212 | 1154 4790 14223 | 1 193034 21 | 0.944 % | 608.59/608.61 c | 2609778 | 1154 4790 14223 | 1 200600 21 | 0.944 % | 608.59/608.61 c | 2610699 | 1154 4790 14223 | 1 201521 21 | 0.944 % | 608.59/608.61 c | 2610860 | 1154 4790 14223 | 1 201682 21 | 0.944 % | 695.21/695.29 c | 2611080 | 1154 4790 14223 | 1 201902 21 | 0.944 % | 695.21/695.29 c | 2611181 | 1154 4790 14223 | 1 202003 21 | 0.944 % | 695.21/695.29 c | 2612217 | 1154 4790 14223 | 1 203039 21 | 0.944 % | 695.21/695.29 c | 2612711 | 1154 4790 14223 | 1 203533 21 | 0.944 % | 695.21/695.29 c | 2612820 | 1154 4790 14223 | 1 203642 21 | 0.944 % | 695.21/695.29 c | 2613239 | 1154 4790 14223 | 1 204061 21 | 0.944 % | 695.21/695.29 c | 2619617 | 1154 4790 14223 | 1 210439 21 | 0.944 % | 695.21/695.29 c | 2620473 | 1154 4790 14223 | 1 211295 21 | 0.944 % | 695.21/695.29 c | 2622623 | 1154 4790 14223 | 1 213445 22 | 0.944 % | 695.21/695.29 c | 2625006 | 1154 4790 14223 | 1 215828 22 | 0.944 % | 695.21/695.29 c | 2650430 | 1154 4790 14223 | 1 128048 14 | 0.944 % | 695.21/695.29 c | 2650831 | 1154 4790 14223 | 1 128449 14 | 0.944 % | 695.21/695.29 c | 2651557 | 1154 4790 14223 | 1 129175 14 | 0.944 % | 695.21/695.29 c | 2652118 | 1154 4790 14223 | 1 129736 14 | 0.944 % | 695.21/695.29 c | 2652289 | 1154 4790 14223 | 1 129907 14 | 0.944 % | 695.21/695.29 c | 2652944 | 1154 4790 14223 | 1 130562 14 | 0.944 % | 695.21/695.29 c | 2653238 | 1154 4790 14223 | 1 130856 15 | 0.944 % | 695.21/695.29 c | 2657083 | 1154 4790 14223 | 1 134701 15 | 0.944 % | 695.21/695.29 c | 2657184 | 1154 4790 14223 | 1 134802 15 | 0.944 % | 695.21/695.29 c | 2657313 | 1154 4790 14223 | 1 134931 15 | 0.944 % | 695.21/695.29 c | 2658364 | 1154 4790 14223 | 1 135982 15 | 0.944 % | 695.21/695.29 c | 2659168 | 1154 4790 14223 | 1 136786 15 | 0.944 % | 695.21/695.29 c | 2659705 | 1154 4790 14223 | 1 137323 15 | 0.944 % | 695.21/695.29 c | 2660052 | 1154 4790 14223 | 1 137670 15 | 0.944 % | 695.21/695.29 c | 2661017 | 1154 4790 14223 | 1 138635 15 | 0.944 % | 695.21/695.29 c | 2675812 | 1154 4790 14223 | 1 153430 17 | 0.944 % | 695.21/695.29 c | 2676244 | 1154 4790 14223 | 1 153862 17 | 0.944 % | 695.21/695.29 c | 2676604 | 1154 4790 14223 | 1 154222 17 | 0.944 % | 695.21/695.29 c | 2688815 | 1154 4790 14223 | 1 166433 18 | 0.944 % | 695.21/695.29 c | 2689348 | 1154 4790 14223 | 1 166966 18 | 0.944 % | 695.21/695.29 c | 2786199 | 1154 4790 14223 | 1 148017 13 | 0.944 % | 695.21/695.29 c | 2795994 | 1154 4790 14223 | 1 157812 14 | 0.944 % | 695.21/695.29 c | 2796178 | 1154 4790 14223 | 1 157996 14 | 0.944 % | 695.21/695.29 c | 2806643 | 1154 4790 14223 | 1 168461 16 | 0.944 % | 695.21/695.29 c | 2806775 | 1154 4790 14223 | 1 168593 16 | 0.944 % | 695.21/695.29 c | 2807101 | 1154 4790 14223 | 1 168919 16 | 0.944 % | 695.21/695.29 c | 2807202 | 1154 4790 14223 | 1 169020 16 | 0.944 % | 695.21/695.29 c | 2807335 | 1154 4790 14223 | 1 169153 16 | 0.944 % | 695.21/695.29 c | 2808665 | 1154 4790 14223 | 1 170483 16 | 0.944 % | 695.21/695.29 c | 2809299 | 1154 4790 14223 | 1 171117 16 | 0.944 % | 695.21/695.29 c | 2809538 | 1154 4790 14223 | 1 171356 16 | 0.944 % | 695.21/695.29 c | 2876643 | 1154 4790 14223 | 1 120065 13 | 0.944 % | 695.21/695.29 c | 2876744 | 1154 4790 14223 | 1 120166 13 | 0.944 % | 695.21/695.29 c | 2876897 | 1154 4790 14223 | 1 120319 13 | 0.944 % | 695.21/695.29 c | 2877019 | 1154 4790 14223 | 1 120441 13 | 0.944 % | 695.21/695.29 c | 2877520 | 1154 4790 14223 | 1 120942 13 | 0.944 % | 695.21/695.29 c | 2884216 | 1154 4790 14223 | 1 127638 14 | 0.944 % | 695.21/695.29 c | 2887519 | 1154 4790 14223 | 1 130941 14 | 0.944 % | 695.21/695.29 c | 2897910 | 1154 4790 14223 | 1 141332 16 | 0.944 % | 695.21/695.29 c | 2898016 | 1154 4790
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-3280892-1303749656/watcher-3280892-1303749656 -o /tmp/evaluation-result-3280892-1303749656/solver-3280892-1303749656 -C 2400 -W 1300 -M 7680 glucose.sh HOME/instance-3280892-1303749656.cnf running on 2 cores: 1,3 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1300 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 7864320 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 7915520 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 3.95 3.94 3.76 4/192 14512 /proc/meminfo: memFree=19363828/32951124 swapFree=67111524/67111528 [pid=14512] ppid=14510 vsize=8704 CPUtime=0 cores=1,3 /proc/14512/stat : 14512 (glucose.sh) R 14510 14512 13951 0 -1 4202496 316 0 0 0 0 0 0 0 25 0 1 0 467381750 8912896 252 33554432000 4194304 4922060 140735863816592 18446744073709551615 255106589077 0 65538 4100 65536 0 0 0 17 1 0 0 0 /proc/14512/statm: 2176 252 211 178 0 69 0 [startup+0.0671209 s] /proc/loadavg: 3.95 3.94 3.76 4/192 14512 /proc/meminfo: memFree=19363828/32951124 swapFree=67111524/67111528 [pid=14512] ppid=14510 vsize=8704 CPUtime=0.01 cores=1,3 /proc/14512/stat : 14512 (glucose.sh) S 14510 14512 13951 0 -1 4202496 359 376 0 0 0 0 1 0 25 0 1 0 467381750 8912896 254 33554432000 4194304 4922060 140735863816592 18446744073709551615 255106587781 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/14512/statm: 2176 254 211 178 0 69 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 8704 [startup+0.101112 s] /proc/loadavg: 3.95 3.94 3.76 4/192 14512 /proc/meminfo: memFree=19363828/32951124 swapFree=67111524/67111528 [pid=14512] ppid=14510 vsize=8704 CPUtime=0.01 cores=1,3 /proc/14512/stat : 14512 (glucose.sh) S 14510 14512 13951 0 -1 4202496 359 376 0 0 0 0 1 0 25 0 1 0 467381750 8912896 254 33554432000 4194304 4922060 140735863816592 18446744073709551615 255106587781 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/14512/statm: 2176 254 211 178 0 69 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 8704 [startup+0.301079 s] /proc/loadavg: 3.95 3.94 3.76 4/192 14512 /proc/meminfo: memFree=19363828/32951124 swapFree=67111524/67111528 [pid=14512] ppid=14510 vsize=8704 CPUtime=0.01 cores=1,3 /proc/14512/stat : 14512 (glucose.sh) S 14510 14512 13951 0 -1 4202496 359 376 0 0 0 0 1 0 25 0 1 0 467381750 8912896 254 33554432000 4194304 4922060 140735863816592 18446744073709551615 255106587781 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/14512/statm: 2176 254 211 178 0 69 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 8704 [startup+0.701009 s] /proc/loadavg: 3.95 3.94 3.76 4/192 14512 /proc/meminfo: memFree=19363828/32951124 swapFree=67111524/67111528 [pid=14512] ppid=14510 vsize=8704 CPUtime=0.01 cores=1,3 /proc/14512/stat : 14512 (glucose.sh) S 14510 14512 13951 0 -1 4202496 359 376 0 0 0 0 1 0 25 0 1 0 467381750 8912896 254 33554432000 4194304 4922060 140735863816592 18446744073709551615 255106587781 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/14512/statm: 2176 254 211 178 0 69 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 8704 [startup+1.5009 s] /proc/loadavg: 3.95 3.94 3.76 5/194 14515 /proc/meminfo: memFree=19355008/32951124 swapFree=67111524/67111528 [pid=14512] ppid=14510 vsize=8704 CPUtime=0.01 cores=1,3 /proc/14512/stat : 14512 (glucose.sh) S 14510 14512 13951 0 -1 4202496 359 376 0 0 0 0 1 0 25 0 1 0 467381750 8912896 254 33554432000 4194304 4922060 140735863816592 18446744073709551615 255106587781 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/14512/statm: 2176 254 211 178 0 69 0 [pid=14515] ppid=14512 vsize=19552 CPUtime=1.47 cores=1,3 /proc/14515/stat : 14515 (glucose_static) R 14512 14512 13951 0 -1 4202496 1964 0 0 0 147 0 0 0 25 0 1 0 467381752 20021248 1420 33554432000 4194304 4260849 140733473313840 18446744073709551615 4238067 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/14515/statm: 4888 1420 249 17 0 1529 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 28256 [startup+3.10062 s] /proc/loadavg: 3.95 3.94 3.76 5/194 14515 /proc/meminfo: memFree=19348188/32951124 swapFree=67111524/67111528 [pid=14512] ppid=14510 vsize=8704 CPUtime=0.01 cores=1,3 /proc/14512/stat : 14512 (glucose.sh) S 14510 14512 13951 0 -1 4202496 359 376 0 0 0 0 1 0 25 0 1 0 467381750 8912896 254 33554432000 4194304 4922060 140735863816592 18446744073709551615 255106587781 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/14512/statm: 2176 254 211 178 0 69 0 [pid=14515] ppid=14512 vsize=23540 CPUtime=3.07 cores=1,3 /proc/14515/stat : 14515 (glucose_static) R 14512 14512 13951 0 -1 4202496 2781 0 0 0 307 0 0 0 25 0 1 0 467381752 24104960 2231 33554432000 4194304 4260849 140733473313840 18446744073709551615 4225146 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/14515/statm: 5885 2231 249 17 0 2526 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 32244 [startup+6.30106 s] /proc/loadavg: 3.95 3.94 3.76 5/194 14515 /proc/meminfo: memFree=19337132/32951124 swapFree=67111524/67111528 [pid=14512] ppid=14510 vsize=8704 CPUtime=0.01 cores=1,3 /proc/14512/stat : 14512 (glucose.sh) S 14510 14512 13951 0 -1 4202496 359 376 0 0 0 0 1 0 25 0 1 0 467381750 8912896 254 33554432000 4194304 4922060 140735863816592 18446744073709551615 255106587781 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/14512/statm: 2176 254 211 178 0 69 0 [pid=14515] ppid=14512 vsize=23540 CPUtime=6.27 cores=1,3 /proc/14515/stat : 14515 (glucose_static) R 14512 14512 13951 0 -1 4202496 2914 0 0 0 627 0 0 0 25 0 1 0 467381752 24104960 2359 33554432000 4194304 4260849 140733473313840 18446744073709551615 4209346 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/14515/statm: 5885 2359 249 17 0 2526 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 32244 [startup+12.7009 s] /proc/loadavg: 3.95 3.94 3.76 5/194 14515 /proc/meminfo: memFree=19309852/32951124 swapFree=67111524/67111528 [pid=14512] ppid=14510 vsize=8704 CPUtime=0.01 cores=1,3 /proc/14512/stat : 14512 (glucose.sh) S 14510 14512 13951 0 -1 4202496 359 376 0 0 0 0 1 0 25 0 1 0 467381750 8912896 254 33554432000 4194304 4922060 140735863816592 18446744073709551615 255106587781 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/14512/statm: 2176 254 211 178 0 69 0 [pid=14515] ppid=14512 vsize=25188 CPUtime=12.67 cores=1,3 /proc/14515/stat : 14515 (glucose_static) R 14512 14512 13951 0 -1 4202496 4608 0 0 0 1267 0 0 0 25 0 1 0 467381752 25792512 2912 33554432000 4194304 4260849 140733473313840 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/14515/statm: 6297 2912 249 17 0 2938 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 33892 [startup+25.5007 s] /proc/loadavg: 3.96 3.94 3.76 5/194 14515 /proc/meminfo: memFree=19335072/32951124 swapFree=67111524/67111528 [pid=14512] ppid=14510 vsize=8704 CPUtime=0.01 cores=1,3 /proc/14512/stat : 14512 (glucose.sh) S 14510 14512 13951 0 -1 4202496 359 376 0 0 0 0 1 0 25 0 1 0 467381750 8912896 254 33554432000 4194304 4922060 140735863816592 18446744073709551615 255106587781 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/14512/statm: 2176 254 211 178 0 69 0 [pid=14515] ppid=14512 vsize=31876 CPUtime=25.47 cores=1,3 /proc/14515/stat : 14515 (glucose_static) R 14512 14512 13951 0 -1 4202496 5912 0 0 0 2546 1 0 0 25 0 1 0 467381752 32641024 4182 33554432000 4194304 4260849 140733473313840 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/14515/statm: 7969 4182 249 17 0 4610 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 40580 [startup+51.1012 s] /proc/loadavg: 3.97 3.94 3.77 5/194 14516 /proc/meminfo: memFree=19325004/32951124 swapFree=67111524/67111528 [pid=14512] ppid=14510 vsize=8704 CPUtime=0.01 cores=1,3 /proc/14512/stat : 14512 (glucose.sh) S 14510 14512 13951 0 -1 4202496 359 376 0 0 0 0 1 0 25 0 1 0 467381750 8912896 254 33554432000 4194304 4922060 140735863816592 18446744073709551615 255106587781 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/14512/statm: 2176 254 211 178 0 69 0 [pid=14515] ppid=14512 vsize=43368 CPUtime=51.07 cores=1,3 /proc/14515/stat : 14515 (glucose_static) R 14512 14512 13951 0 -1 4202496 9022 0 0 0 5106 1 0 0 25 0 1 0 467381752 44408832 5256 33554432000 4194304 4260849 140733473313840 18446744073709551615 4224647 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/14515/statm: 10842 5256 249 17 0 7483 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 52072 [startup+102.307 s] /proc/loadavg: 3.99 3.95 3.77 5/194 14517 /proc/meminfo: memFree=19319392/32951124 swapFree=67111524/67111528 [pid=14512] ppid=14510 vsize=8704 CPUtime=0.01 cores=1,3 /proc/14512/stat : 14512 (glucose.sh) S 14510 14512 13951 0 -1 4202496 359 376 0 0 0 0 1 0 25 0 1 0 467381750 8912896 254 33554432000 4194304 4922060 140735863816592 18446744073709551615 255106587781 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/14512/statm: 2176 254 211 178 0 69 0 [pid=14515] ppid=14512 vsize=54948 CPUtime=102.28 cores=1,3 /proc/14515/stat : 14515 (glucose_static) R 14512 14512 13951 0 -1 4202496 11359 0 0 0 10226 2 0 0 25 0 1 0 467381752 56266752 7487 33554432000 4194304 4260849 140733473313840 18446744073709551615 4224647 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/14515/statm: 13737 7487 249 17 0 10378 0 Current children cumulated CPU time (s) 102.29 Current children cumulated vsize (KiB) 63652 [startup+162.301 s] /proc/loadavg: 3.99 3.96 3.79 5/194 14519 /proc/meminfo: memFree=19204768/32951124 swapFree=67111524/67111528 [pid=14512] ppid=14510 vsize=8704 CPUtime=0.01 cores=1,3 /proc/14512/stat : 14512 (glucose.sh) S 14510 14512 13951 0 -1 4202496 359 376 0 0 0 0 1 0 25 0 1 0 467381750 8912896 254 33554432000 4194304 4922060 140735863816592 18446744073709551615 255106587781 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/14512/statm: 2176 254 211 178 0 69 0 [pid=14515] ppid=14512 vsize=54948 CPUtime=162.27 cores=1,3 /proc/14515/stat : 14515 (glucose_static) R 14512 14512 13951 0 -1 4202496 12639 0 0 0 16225 2 0 0 25 0 1 0 467381752 56266752 8731 33554432000 4194304 4260849 140733473313840 18446744073709551615 4225104 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/14515/statm: 13737 8731 249 17 0 10378 0 Current children cumulated CPU time (s) 162.28 Current children cumulated vsize (KiB) 63652 [startup+222.301 s] /proc/loadavg: 3.99 3.96 3.80 5/194 14521 /proc/meminfo: memFree=19221456/32951124 swapFree=67111524/67111528 [pid=14512] ppid=14510 vsize=8704 CPUtime=0.01 cores=1,3 /proc/14512/stat : 14512 (glucose.sh) S 14510 14512 13951 0 -1 4202496 359 376 0 0 0 0 1 0 25 0 1 0 467381750 8912896 254 33554432000 4194304 4922060 140735863816592 18446744073709551615 255106587781 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/14512/statm: 2176 254 211 178 0 69 0 [pid=14515] ppid=14512 vsize=62128 CPUtime=222.27 cores=1,3 /proc/14515/stat : 14515 (glucose_static) R 14512 14512 13951 0 -1 4202496 15224 0 0 0 22224 3 0 0 25 0 1 0 467381752 63619072 11205 33554432000 4194304 4260849 140733473313840 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/14515/statm: 15532 11205 249 17 0 12173 0 Current children cumulated CPU time (s) 222.28 Current children cumulated vsize (KiB) 70832 [startup+282.301 s] /proc/loadavg: 3.99 3.97 3.81 5/194 14522 /proc/meminfo: memFree=19262088/32951124 swapFree=67111524/67111528 [pid=14512] ppid=14510 vsize=8704 CPUtime=0.01 cores=1,3 /proc/14512/stat : 14512 (glucose.sh) S 14510 14512 13951 0 -1 4202496 359 376 0 0 0 0 1 0 25 0 1 0 467381750 8912896 254 33554432000 4194304 4922060 140735863816592 18446744073709551615 255106587781 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/14512/statm: 2176 254 211 178 0 69 0 [pid=14515] ppid=14512 vsize=62128 CPUtime=282.27 cores=1,3 /proc/14515/stat : 14515 (glucose_static) R 14512 14512 13951 0 -1 4202496 15450 0 0 0 28224 3 0 0 25 0 1 0 467381752 63619072 11422 33554432000 4194304 4260849 140733473313840 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/14515/statm: 15532 11422 249 17 0 12173 0 Current children cumulated CPU time (s) 282.28 Current children cumulated vsize (KiB) 70832 [startup+342.301 s] /proc/loadavg: 3.99 3.97 3.82 6/194 14524 /proc/meminfo: memFree=19212452/32951124 swapFree=67111524/67111528 [pid=14512] ppid=14510 vsize=8704 CPUtime=0.01 cores=1,3 /proc/14512/stat : 14512 (glucose.sh) S 14510 14512 13951 0 -1 4202496 359 376 0 0 0 0 1 0 25 0 1 0 467381750 8912896 254 33554432000 4194304 4922060 140735863816592 18446744073709551615 255106587781 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/14512/statm: 2176 254 211 178 0 69 0 [pid=14515] ppid=14512 vsize=54948 CPUtime=342.28 cores=1,3 /proc/14515/stat : 14515 (glucose_static) R 14512 14512 13951 0 -1 4202496 22864 0 0 0 34223 5 0 0 25 0 1 0 467381752 56266752 7619 33554432000 4194304 4260849 140733473313840 18446744073709551615 4224632 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/14515/statm: 13737 7619 250 17 0 10378 0 Current children cumulated CPU time (s) 342.29 Current children cumulated vsize (KiB) 63652 [startup+402.301 s] /proc/loadavg: 4.04 3.99 3.83 5/194 14525 /proc/meminfo: memFree=19254064/32951124 swapFree=67111524/67111528 [pid=14512] ppid=14510 vsize=8704 CPUtime=0.01 cores=1,3 ################ # More data... # ################ /proc/14515/statm: 26318 15953 250 17 0 22959 0 Current children cumulated CPU time (s) 582.29 Current children cumulated vsize (KiB) 113976 [startup+642.3 s] /proc/loadavg: 4.01 4.00 3.86 5/194 14532 /proc/meminfo: memFree=19086232/32951124 swapFree=67111524/67111528 [pid=14512] ppid=14510 vsize=8704 CPUtime=0.01 cores=1,3 /proc/14512/stat : 14512 (glucose.sh) S 14510 14512 13951 0 -1 4202496 359 376 0 0 0 0 1 0 25 0 1 0 467381750 8912896 254 33554432000 4194304 4922060 140735863816592 18446744073709551615 255106587781 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/14512/statm: 2176 254 211 178 0 69 0 [pid=14515] ppid=14512 vsize=105272 CPUtime=642.29 cores=1,3 /proc/14515/stat : 14515 (glucose_static) R 14512 14512 13951 0 -1 4202496 31637 0 0 0 64221 8 0 0 25 0 1 0 467381752 107798528 16117 33554432000 4194304 4260849 140733473313840 18446744073709551615 4224674 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/14515/statm: 26318 16117 250 17 0 22959 0 Current children cumulated CPU time (s) 642.3 Current children cumulated vsize (KiB) 113976 [startup+702.301 s] /proc/loadavg: 4.00 4.00 3.87 5/194 14533 /proc/meminfo: memFree=19167036/32951124 swapFree=67111524/67111528 [pid=14512] ppid=14510 vsize=8704 CPUtime=0.01 cores=1,3 /proc/14512/stat : 14512 (glucose.sh) S 14510 14512 13951 0 -1 4202496 359 376 0 0 0 0 1 0 25 0 1 0 467381750 8912896 254 33554432000 4194304 4922060 140735863816592 18446744073709551615 255106587781 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/14512/statm: 2176 254 211 178 0 69 0 [pid=14515] ppid=14512 vsize=105272 CPUtime=702.29 cores=1,3 /proc/14515/stat : 14515 (glucose_static) R 14512 14512 13951 0 -1 4202496 31649 0 0 0 70221 8 0 0 25 0 1 0 467381752 107798528 16129 33554432000 4194304 4260849 140733473313840 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/14515/statm: 26318 16129 250 17 0 22959 0 Current children cumulated CPU time (s) 702.3 Current children cumulated vsize (KiB) 113976 [startup+762.307 s] /proc/loadavg: 4.00 4.00 3.87 5/194 14535 /proc/meminfo: memFree=19151124/32951124 swapFree=67111524/67111528 [pid=14512] ppid=14510 vsize=8704 CPUtime=0.01 cores=1,3 /proc/14512/stat : 14512 (glucose.sh) S 14510 14512 13951 0 -1 4202496 359 376 0 0 0 0 1 0 25 0 1 0 467381750 8912896 254 33554432000 4194304 4922060 140735863816592 18446744073709551615 255106587781 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/14512/statm: 2176 254 211 178 0 69 0 [pid=14515] ppid=14512 vsize=105272 CPUtime=762.3 cores=1,3 /proc/14515/stat : 14515 (glucose_static) R 14512 14512 13951 0 -1 4202496 31654 0 0 0 76222 8 0 0 25 0 1 0 467381752 107798528 16134 33554432000 4194304 4260849 140733473313840 18446744073709551615 4225146 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/14515/statm: 26318 16134 250 17 0 22959 0 Current children cumulated CPU time (s) 762.31 Current children cumulated vsize (KiB) 113976 [startup+822.301 s] /proc/loadavg: 4.00 4.00 3.88 5/194 14537 /proc/meminfo: memFree=19130120/32951124 swapFree=67111524/67111528 [pid=14512] ppid=14510 vsize=8704 CPUtime=0.01 cores=1,3 /proc/14512/stat : 14512 (glucose.sh) S 14510 14512 13951 0 -1 4202496 359 376 0 0 0 0 1 0 25 0 1 0 467381750 8912896 254 33554432000 4194304 4922060 140735863816592 18446744073709551615 255106587781 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/14512/statm: 2176 254 211 178 0 69 0 [pid=14515] ppid=14512 vsize=105272 CPUtime=822.29 cores=1,3 /proc/14515/stat : 14515 (glucose_static) R 14512 14512 13951 0 -1 4202496 31871 0 0 0 82221 8 0 0 25 0 1 0 467381752 107798528 16341 33554432000 4194304 4260849 140733473313840 18446744073709551615 4224808 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/14515/statm: 26318 16341 250 17 0 22959 0 Current children cumulated CPU time (s) 822.3 Current children cumulated vsize (KiB) 113976 [startup+882.3 s] /proc/loadavg: 4.00 4.00 3.88 5/194 14538 /proc/meminfo: memFree=19243924/32951124 swapFree=67111524/67111528 [pid=14512] ppid=14510 vsize=8704 CPUtime=0.01 cores=1,3 /proc/14512/stat : 14512 (glucose.sh) S 14510 14512 13951 0 -1 4202496 359 376 0 0 0 0 1 0 25 0 1 0 467381750 8912896 254 33554432000 4194304 4922060 140735863816592 18446744073709551615 255106587781 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/14512/statm: 2176 254 211 178 0 69 0 [pid=14515] ppid=14512 vsize=105272 CPUtime=882.29 cores=1,3 /proc/14515/stat : 14515 (glucose_static) R 14512 14512 13951 0 -1 4202496 31876 0 0 0 88221 8 0 0 25 0 1 0 467381752 107798528 16346 33554432000 4194304 4260849 140733473313840 18446744073709551615 4225110 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/14515/statm: 26318 16346 250 17 0 22959 0 Current children cumulated CPU time (s) 882.3 Current children cumulated vsize (KiB) 113976 [startup+942.301 s] /proc/loadavg: 4.06 4.02 3.89 5/194 14540 /proc/meminfo: memFree=19068792/32951124 swapFree=67111524/67111528 [pid=14512] ppid=14510 vsize=8704 CPUtime=0.01 cores=1,3 /proc/14512/stat : 14512 (glucose.sh) S 14510 14512 13951 0 -1 4202496 359 376 0 0 0 0 1 0 25 0 1 0 467381750 8912896 254 33554432000 4194304 4922060 140735863816592 18446744073709551615 255106587781 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/14512/statm: 2176 254 211 178 0 69 0 [pid=14515] ppid=14512 vsize=105272 CPUtime=942.29 cores=1,3 /proc/14515/stat : 14515 (glucose_static) R 14512 14512 13951 0 -1 4202496 31882 0 0 0 94221 8 0 0 25 0 1 0 467381752 107798528 16352 33554432000 4194304 4260849 140733473313840 18446744073709551615 4225121 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/14515/statm: 26318 16352 250 17 0 22959 0 Current children cumulated CPU time (s) 942.3 Current children cumulated vsize (KiB) 113976 [startup+1002.3 s] /proc/loadavg: 4.02 4.01 3.90 5/194 14541 /proc/meminfo: memFree=19147992/32951124 swapFree=67111524/67111528 [pid=14512] ppid=14510 vsize=8704 CPUtime=0.01 cores=1,3 /proc/14512/stat : 14512 (glucose.sh) S 14510 14512 13951 0 -1 4202496 359 376 0 0 0 0 1 0 25 0 1 0 467381750 8912896 254 33554432000 4194304 4922060 140735863816592 18446744073709551615 255106587781 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/14512/statm: 2176 254 211 178 0 69 0 [pid=14515] ppid=14512 vsize=105272 CPUtime=1002.3 cores=1,3 /proc/14515/stat : 14515 (glucose_static) R 14512 14512 13951 0 -1 4202496 36951 0 0 0 100221 9 0 0 25 0 1 0 467381752 107798528 21200 33554432000 4194304 4260849 140733473313840 18446744073709551615 4225146 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/14515/statm: 26318 21200 250 17 0 22959 0 Current children cumulated CPU time (s) 1002.31 Current children cumulated vsize (KiB) 113976 [startup+1062.3 s] /proc/loadavg: 4.01 4.00 3.91 5/194 14543 /proc/meminfo: memFree=18974340/32951124 swapFree=67111524/67111528 [pid=14512] ppid=14510 vsize=8704 CPUtime=0.01 cores=1,3 /proc/14512/stat : 14512 (glucose.sh) S 14510 14512 13951 0 -1 4202496 359 376 0 0 0 0 1 0 25 0 1 0 467381750 8912896 254 33554432000 4194304 4922060 140735863816592 18446744073709551615 255106587781 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/14512/statm: 2176 254 211 178 0 69 0 [pid=14515] ppid=14512 vsize=105272 CPUtime=1062.3 cores=1,3 /proc/14515/stat : 14515 (glucose_static) R 14512 14512 13951 0 -1 4202496 36957 0 0 0 106221 9 0 0 25 0 1 0 467381752 107798528 21206 33554432000 4194304 4260849 140733473313840 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/14515/statm: 26318 21206 250 17 0 22959 0 Current children cumulated CPU time (s) 1062.31 Current children cumulated vsize (KiB) 113976 [startup+1122.3 s] /proc/loadavg: 3.97 3.99 3.91 5/194 14635 /proc/meminfo: memFree=19413260/32951124 swapFree=67111524/67111528 [pid=14512] ppid=14510 vsize=8704 CPUtime=0.01 cores=1,3 /proc/14512/stat : 14512 (glucose.sh) S 14510 14512 13951 0 -1 4202496 359 376 0 0 0 0 1 0 25 0 1 0 467381750 8912896 254 33554432000 4194304 4922060 140735863816592 18446744073709551615 255106587781 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/14512/statm: 2176 254 211 178 0 69 0 [pid=14515] ppid=14512 vsize=105272 CPUtime=1122.3 cores=1,3 /proc/14515/stat : 14515 (glucose_static) R 14512 14512 13951 0 -1 4202496 37199 0 0 0 112221 9 0 0 25 0 1 0 467381752 107798528 21441 33554432000 4194304 4260849 140733473313840 18446744073709551615 4224855 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/14515/statm: 26318 21441 250 17 0 22959 0 Current children cumulated CPU time (s) 1122.31 Current children cumulated vsize (KiB) 113976 [startup+1182.3 s] /proc/loadavg: 3.99 3.99 3.91 5/194 14636 /proc/meminfo: memFree=19390340/32951124 swapFree=67111524/67111528 [pid=14512] ppid=14510 vsize=8704 CPUtime=0.01 cores=1,3 /proc/14512/stat : 14512 (glucose.sh) S 14510 14512 13951 0 -1 4202496 359 376 0 0 0 0 1 0 25 0 1 0 467381750 8912896 254 33554432000 4194304 4922060 140735863816592 18446744073709551615 255106587781 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/14512/statm: 2176 254 211 178 0 69 0 [pid=14515] ppid=14512 vsize=105272 CPUtime=1182.3 cores=1,3 /proc/14515/stat : 14515 (glucose_static) R 14512 14512 13951 0 -1 4202496 37199 0 0 0 118221 9 0 0 25 0 1 0 467381752 107798528 21441 33554432000 4194304 4260849 140733473313840 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/14515/statm: 26318 21441 250 17 0 22959 0 Current children cumulated CPU time (s) 1182.31 Current children cumulated vsize (KiB) 113976 [startup+1242.3 s] /proc/loadavg: 3.99 3.99 3.91 5/194 14677 /proc/meminfo: memFree=18933412/32951124 swapFree=67111524/67111528 [pid=14512] ppid=14510 vsize=8704 CPUtime=0.01 cores=1,3 /proc/14512/stat : 14512 (glucose.sh) S 14510 14512 13951 0 -1 4202496 359 376 0 0 0 0 1 0 25 0 1 0 467381750 8912896 254 33554432000 4194304 4922060 140735863816592 18446744073709551615 255106587781 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/14512/statm: 2176 254 211 178 0 69 0 [pid=14515] ppid=14512 vsize=105272 CPUtime=1242.3 cores=1,3 /proc/14515/stat : 14515 (glucose_static) R 14512 14512 13951 0 -1 4202496 37250 0 0 0 124221 9 0 0 25 0 1 0 467381752 107798528 21489 33554432000 4194304 4260849 140733473313840 18446744073709551615 4224885 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/14515/statm: 26318 21489 250 17 0 22959 0 Current children cumulated CPU time (s) 1242.31 Current children cumulated vsize (KiB) 113976 Maximum wall clock time exceeded: sending SIGTERM then SIGKILL [startup+1300 s] /proc/loadavg: 3.99 3.99 3.91 5/194 14678 /proc/meminfo: memFree=18922804/32951124 swapFree=67111524/67111528 [pid=14512] ppid=14510 vsize=8704 CPUtime=0.01 cores=1,3 /proc/14512/stat : 14512 (glucose.sh) S 14510 14512 13951 0 -1 4202496 359 376 0 0 0 0 1 0 25 0 1 0 467381750 8912896 254 33554432000 4194304 4922060 140735863816592 18446744073709551615 255106587781 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/14512/statm: 2176 254 211 178 0 69 0 [pid=14515] ppid=14512 vsize=105272 CPUtime=1300.01 cores=1,3 /proc/14515/stat : 14515 (glucose_static) R 14512 14512 13951 0 -1 4202496 37795 0 0 0 129992 9 0 0 25 0 1 0 467381752 107798528 22014 33554432000 4194304 4260849 140733473313840 18446744073709551615 4225129 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/14515/statm: 26318 22014 250 17 0 22959 0 Current children cumulated CPU time (s) 1300.02 Current children cumulated vsize (KiB) 113976 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 14512 and gives # childrusage.ru_utime.tv_sec=0 # childrusage.ru_utime.tv_usec=16997 # childrusage.ru_stime.tv_sec=0 # childrusage.ru_stime.tv_usec=999 # CPU time returned by wait4() is 0.017996 # while last known CPU time is 1300.02 # # Solver probably didn't/couldn't wait for its children # Using CPU time of the last sample as value... Real time (s): 1300.01 CPU time (s): 1300.02 CPU user time (s): 1299.93 CPU system time (s): 0.09 CPU usage (%): 100.001 Max. virtual memory (cumulated for all children) (KiB): 113976 getrusage(RUSAGE_CHILDREN,...) data: user time used= 0.016997 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= 735 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= 9 involuntary context switches= 2 runsolver used 2.11368 second user time and 4.99524 second system time The end
Begin job on node144 at 2011-04-25 18:40:56 IDJOB=3280892 IDBENCH=20468 IDSOLVER=1651 FILE ID=node144/3280892-1303749656 RUNJOBID= node144-1303749419-14281 PBS_JOBID= 13154018 Free space on /tmp= 72124 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-3280892-1303749656/watcher-3280892-1303749656 -o /tmp/evaluation-result-3280892-1303749656/solver-3280892-1303749656 -C 2400 -W 1300 -M 7680 glucose.sh HOME/instance-3280892-1303749656.cnf TIME LIMIT= 2400 seconds MEMORY LIMIT= 7680 MiB NBCORE= 2 MD5SUM BENCH= 8d6acb9f6b752ad76c024133f5175c69 RANDOM SEED=1031320418 node144.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.850 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.70 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.850 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.16 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.850 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.75 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.850 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.83 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.850 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.75 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.850 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.82 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.850 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.75 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.850 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.76 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 19364100 kB Buffers: 2162924 kB Cached: 10467500 kB SwapCached: 4 kB Active: 3899644 kB Inactive: 9149884 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 19364100 kB SwapTotal: 67111528 kB SwapFree: 67111524 kB Dirty: 1704 kB Writeback: 0 kB AnonPages: 418448 kB Mapped: 15200 kB Slab: 471348 kB PageTables: 6096 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 644684 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= 72008 MiB End job on node144 at 2011-04-25 19:02:38