| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| glucose 2 | ? (TO) | 1300.03 | 1300.01 |
| Name | SAT02/industrial/nam/fpga-routing/ k2fix_gr_rcs_w8.shuffled.cnf |
| MD5SUM | 82e833e539576c6d79252b19dcace0cf |
| Bench Category | APPLICATION (applications instances) |
| Best result obtained on this benchmark | UNSAT |
| Best CPU time to get the best result obtained on this benchmark | 5.08123 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 10056 |
| Number of clauses | 271393 |
| Sum of the clauses size | 550328 |
| Maximum clause length | 8 |
| Minimum clause length | 2 |
| Number of clauses of size 1 | 0 |
| Number of clauses of size 2 | 270136 |
| Number of clauses of size 3 | 0 |
| Number of clauses of size 4 | 0 |
| Number of clauses of size 5 | 0 |
| Number of clauses of size over 5 | 1257 |
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.10 c ============================================================================== 0.00/0.10 c | | ORIGINAL | LEARNT | | 0.00/0.10 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress | 0.00/0.10 c ============================================================================== 0.00/0.10 c | 0 | 271393 550328 | 81417 0 0 nan | 0.000 % | 0.00/0.77 c | 0 | 269998 945031 | -- 0 -- -- | -- | -1395/394703 0.00/0.77 c ============================================================================== 0.00/0.77 c Result : #vars: 8694 #clauses: 269998 #literals: 945031 0.00/0.77 c CPU time: 0.759884 s 0.00/0.77 c ============================================================================== 0.00/0.94 c 0.00/0.94 c Starting glucose 0.00/0.94 c 137.28/137.35 c This is glucose 2.0 -- based on MiniSAT (Many thanks to MiniSAT team) 137.28/137.35 c WARNING: for repeatability, setting FPU to use double precision 137.28/137.35 c ============================[ Problem Statistics ]============================= 137.28/137.35 c | | 137.28/137.35 c | Number of variables: 8694 | 137.28/137.35 c | Number of clauses: 269998 | 137.28/137.35 c | Parse time: 0.08 s | 137.28/137.35 c | | 137.28/137.35 c ============================[ Search Statistics ]============================== 137.28/137.35 c | Conflicts | ORIGINAL | LEARNT | Progress | 137.28/137.35 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | | 137.28/137.35 c =============================================================================== 137.28/137.35 c | 12969 | 8694 269998 945031 | 1 6680 33 | 0.000 % | 137.28/137.35 c | 107176 | 8694 269998 945031 | 1 22003 25 | 0.000 % | 137.28/137.35 c | 193279 | 8694 269998 945031 | 1 33704 23 | 0.000 % | 137.28/137.35 c | 249955 | 8694 269998 945031 | 1 60375 27 | 0.000 % | 137.28/137.35 c | 256826 | 8694 269998 945031 | 1 34644 22 | 0.000 % | 137.28/137.35 c | 351048 | 8694 269998 945031 | 1 55860 24 | 0.000 % | 137.28/137.35 c | 360388 | 8694 269998 945031 | 1 65200 24 | 0.000 % | 137.28/137.35 c | 424571 | 8694 269998 945031 | 1 45979 20 | 0.000 % | 137.28/137.35 c | 437189 | 8694 269998 945031 | 1 58597 22 | 0.000 % | 137.28/137.35 c | 442237 | 8694 269998 945031 | 1 63645 23 | 0.000 % | 137.28/137.35 c | 481956 | 8694 269998 945031 | 1 57766 22 | 0.000 % | 137.28/137.35 c | 485670 | 8694 269998 945031 | 1 61480 22 | 0.000 % | 137.28/137.35 c | 488514 | 8694 269998 945031 | 1 64324 23 | 0.000 % | 137.28/137.35 c | 511130 | 8694 269998 945031 | 1 86940 24 | 0.000 % | 137.28/137.35 c | 525310 | 8694 269998 945031 | 1 52930 21 | 0.000 % | 137.28/137.35 c | 529775 | 8694 269998 945031 | 1 57395 22 | 0.000 % | 137.28/137.35 c | 529960 | 8694 269998 945031 | 1 57580 22 | 0.000 % | 137.28/137.35 c | 530267 | 8694 269998 945031 | 1 57887 22 | 0.000 % | 137.28/137.35 c | 532730 | 8694 269998 945031 | 1 60350 23 | 0.000 % | 137.28/137.35 c | 532860 | 8694 269998 945031 | 1 60480 23 | 0.000 % | 137.28/137.35 c | 532961 | 8694 269998 945031 | 1 60581 23 | 0.000 % | 137.28/137.35 c | 533063 | 8694 269998 945031 | 1 60683 23 | 0.000 % | 137.28/137.35 c | 538418 | 8694 269998 945031 | 1 66038 24 | 0.000 % | 137.28/137.35 c | 556886 | 8694 269998 945031 | 1 84506 25 | 0.000 % | 137.28/137.35 c | 577624 | 8694 269998 945031 | 1 54440 20 | 0.000 % | 137.28/137.35 c | 590747 | 8694 269998 945031 | 1 67563 23 | 0.000 % | 137.28/137.35 c | 590923 | 8694 269998 945031 | 1 67739 23 | 0.000 % | 137.28/137.35 c | 592710 | 8694 269998 945031 | 1 69526 23 | 0.000 % | 137.28/137.35 c | 593008 | 8694 269998 945031 | 1 69824 23 | 0.000 % | 137.28/137.35 c | 603041 | 8694 269998 945031 | 1 79857 23 | 0.000 % | 137.28/137.35 c | 618452 | 8694 269998 945031 | 1 95268 24 | 0.000 % | 137.28/137.35 c | 618553 | 8694 269998 945031 | 1 95369 24 | 0.000 % | 137.28/137.35 c | 618668 | 8694 269998 945031 | 1 95484 24 | 0.000 % | 137.28/137.35 c | 618769 | 8694 269998 945031 | 1 95585 24 | 0.000 % | 137.28/137.35 c | 619239 | 8694 269998 945031 | 1 96055 24 | 0.000 % | 137.28/137.35 c | 619834 | 8694 269998 945031 | 1 96650 25 | 0.000 % | 137.28/137.35 c | 640355 | 8694 269998 945031 | 1 63772 22 | 0.000 % | 137.28/137.35 c | 665710 | 8694 269998 945031 | 1 89127 25 | 0.000 % | 137.28/137.35 c | 668246 | 8694 269998 945031 | 1 91663 25 | 0.000 % | 182.18/182.25 c | 670278 | 8694 269998 945031 | 1 93695 25 | 0.000 % | 182.18/182.25 c | 672316 | 8694 269998 945031 | 1 95733 25 | 0.000 % | 182.18/182.25 c | 672791 | 8694 269998 945031 | 1 96208 25 | 0.000 % | 182.18/182.25 c | 675458 | 8694 269998 945031 | 1 98875 25 | 0.000 % | 182.18/182.25 c | 675643 | 8694 269998 945031 | 1 99060 25 | 0.000 % | 182.18/182.25 c | 680534 | 8694 269998 945031 | 1 103951 26 | 0.000 % | 182.18/182.25 c | 680723 | 8694 269998 945031 | 1 104140 26 | 0.000 % | 182.18/182.25 c | 683883 | 8694 269998 945031 | 1 107300 26 | 0.000 % | 182.18/182.25 c | 684225 | 8694 269998 945031 | 1 107642 26 | 0.000 % | 182.18/182.25 c | 684484 | 8694 269998 945031 | 1 107901 26 | 0.000 % | 182.18/182.25 c | 687953 | 8694 269998 945031 | 1 111370 26 | 0.000 % | 182.18/182.25 c | 691849 | 8694 269998 945031 | 1 59267 21 | 0.000 % | 182.18/182.25 c | 694345 | 8694 269998 945031 | 1 61763 22 | 0.000 % | 182.18/182.25 c | 697112 | 8694 269998 945031 | 1 64530 23 | 0.000 % | 182.18/182.25 c | 698298 | 8694 269998 945031 | 1 65716 23 | 0.000 % | 182.18/182.25 c | 699383 | 8694 269998 945031 | 1 66801 23 | 0.000 % | 182.18/182.25 c | 729290 | 8694 269998 945031 | 1 96708 26 | 0.000 % | 182.18/182.25 c | 733274 | 8694 269998 945031 | 1 100692 27 | 0.000 % | 182.18/182.25 c | 760488 | 8694 269998 945031 | 1 69305 23 | 0.000 % | 182.18/182.25 c | 769430 | 8694 269998 945031 | 1 78247 23 | 0.000 % | 182.18/182.25 c | 789080 | 8694 269998 945031 | 1 97897 25 | 0.000 % | 182.18/182.25 c | 789633 | 8694 269998 945031 | 1 98450 25 | 0.000 % | 182.18/182.25 c | 789799 | 8694 269998 945031 | 1 98616 25 | 0.000 % | 182.18/182.25 c | 792674 | 8694 269998 945031 | 1 101491 25 | 0.000 % | 182.18/182.25 c | 816073 | 8694 269998 945031 | 1 63690 20 | 0.000 % | 182.18/182.25 c | 836637 | 8694 269998 945031 | 1 84254 23 | 0.000 % | 182.18/182.25 c | 837007 | 8694 269998 945031 | 1 84624 23 | 0.000 % | 182.18/182.25 c | 838153 | 8694 269998 945031 | 1 85770 23 | 0.000 % | 182.18/182.25 c | 843172 | 8694 269998 945031 | 1 90789 24 | 0.000 % | 182.18/182.25 c | 843276 | 8694 269998 945031 | 1 90893 24 | 0.000 % | 182.18/182.25 c | 843576 | 8694 269998 945031 | 1 91193 24 | 0.000 % | 182.18/182.25 c | 846164 | 8694 269998 945031 | 1 93781 24 | 0.000 % | 182.18/182.25 c | 846905 | 8694 269998 945031 | 1 94522 24 | 0.000 % | 182.18/182.25 c | 847006 | 8694 269998 945031 | 1 94623 24 | 0.000 % | 182.18/182.25 c | 847934 | 8694 269998 945031 | 1 95551 24 | 0.000 % | 182.18/182.25 c | 848035 | 8694 269998 945031 | 1 95652 24 | 0.000 % | 182.18/182.25 c | 848136 | 8694 269998 945031 | 1 95753 24 | 0.000 % | 182.18/182.25 c | 848825 | 8694 269998 945031 | 1 96442 25 | 0.000 % | 182.18/182.25 c | 849488 | 8694 269998 945031 | 1 97105 25 | 0.000 % | 182.18/182.25 c | 853859 | 8694 269998 945031 | 1 101476 25 | 0.000 % | 182.18/182.25 c | 854059 | 8694 269998 945031 | 1 101676 25 | 0.000 % | 182.18/182.25 c | 854313 | 8694 269998 945031 | 1 101930 25 | 0.000 % | 182.18/182.25 c | 854646 | 8694 269998 945031 | 1 102263 25 | 0.000 % | 182.18/182.25 c | 854935 | 8694 269998 945031 | 1 102552 25 | 0.000 % | 182.18/182.25 c | 855450 | 8694 269998 945031 | 1 103067 25 | 0.000 % | 182.18/182.25 c | 855902 | 8694 269998 945031 | 1 103519 25 | 0.000 % | 182.18/182.25 c | 857894 | 8694 269998 945031 | 1 105511 25 | 0.000 % | 182.18/182.25 c | 858190 | 8694 269998 945031 | 1 105807 25 | 0.000 % | 182.18/182.25 c | 858290 | 8694 269998 945031 | 1 105907 25 | 0.000 % | 182.18/182.25 c | 858391 | 8694 269998 945031 | 1 106008 25 | 0.000 % | 372.08/372.11 c | 858491 | 8694 269998 945031 | 1 106108 25 | 0.000 % | 372.08/372.11 c | 859099 | 8694 269998 945031 | 1 106716 26 | 0.000 % | 372.08/372.11 c | 859199 | 8694 269998 945031 | 1 106816 26 | 0.000 % | 372.08/372.11 c | 912828 | 8694 269998 945031 | 1 96648 24 | 0.000 % | 372.08/372.11 c | 933687 | 8694 269998 945031 | 1 117507 25 | 0.000 % | 372.08/372.11 c | 933787 | 8694 269998 945031 | 1 117607 25 | 0.000 % | 372.08/372.11 c | 934019 | 8694 269998 945031 | 1 117839 25 | 0.000 % | 372.08/372.11 c | 938684 | 8694 269998 945031 | 1 122504 25 | 0.000 % | 372.08/372.11 c | 939718 | 8694 269998 945031 | 1 123538 25 | 0.000 % | 372.08/372.11 c | 970967 | 8694 269998 945031 | 1 88387 23 | 0.000 % | 372.08/372.11 c | 971194 | 8694 269998 945031 | 1 88614 23 | 0.000 % | 372.08/372.11 c | 971987 | 8694 269998 945031 | 1 89407 23 | 0.000 % | 372.08/372.11 c | 974022 | 8694 269998 945031 | 1 91442 23 | 0.000 % | 372.08/372.11 c | 975796 | 8694 269998 945031 | 1 93216 23 | 0.000 % | 372.08/372.11 c | 1001939 | 8694 269998 945031 | 1 119359 25 | 0.000 % | 372.08/372.11 c | 1081087 | 8694 269998 945031 | 1 129508 25 | 0.000 % | 372.08/372.11 c | 1199845 | 8694 269998 945031 | 1 102466 22 | 0.000 % | 372.08/372.11 c | 1201975 | 8694 269998 945031 | 1 104596 22 | 0.000 % | 372.08/372.11 c | 1219122 | 8694 269998 945031 | 1 121743 24 | 0.000 % | 372.08/372.11 c | 1257920 | 8694 269998 945031 | 1 83740 20 | 0.000 % | 372.08/372.11 c | 1359863 | 8694 269998 945031 | 1 106278 21 | 0.000 % | 372.08/372.11 c | 1367907 | 8694 269998 945031 | 1 114322 22 | 0.000 % | 372.08/372.11 c | 1392085 | 8694 269998 945031 | 1 138500 24 | 0.000 % | 372.08/372.11 c | 1393934 | 8694 269998 945031 | 1 140349 24 | 0.000 % | 372.08/372.11 c | 1394074 | 8694 269998 945031 | 1 140489 24 | 0.000 % | 372.08/372.11 c | 1407182 | 8694 269998 945031 | 1 153597 25 | 0.000 % | 372.08/372.11 c | 1413417 | 8694 269998 945031 | 1 159832 25 | 0.000 % | 372.08/372.11 c | 1414313 | 8694 269998 945031 | 1 160728 25 | 0.000 % | 372.08/372.11 c | 1417117 | 8694 269998 945031 | 1 163532 25 | 0.000 % | 372.08/372.11 c | 1434686 | 8694 269998 945031 | 1 99101 21 | 0.000 % | 372.08/372.11 c | 1435669 | 8694 269998 945031 | 1 100084 22 | 0.000 % | 372.08/372.11 c | 1439882 | 8694 269998 945031 | 1 104297 22 | 0.000 % | 372.08/372.11 c | 1439989 | 8694 269998 945031 | 1 104404 22 | 0.000 % | 372.08/372.11 c | 1440089 | 8694 269998 945031 | 1 104504 22 | 0.000 % | 372.08/372.11 c | 1440398 | 8694 269998 945031 | 1 104813 22 | 0.000 % | 372.08/372.11 c | 1440499 | 8694 269998 945031 | 1 104914 22 | 0.000 % | 372.08/372.11 c | 1440928 | 8694 269998 945031 | 1 105343 22 | 0.000 % | 372.08/372.11 c | 1441028 | 8694 269998 945031 | 1 105443 22 | 0.000 % | 372.08/372.11 c | 1441131 | 8694 269998 945031 | 1 105546 22 | 0.000 % | 372.08/372.11 c | 1441234 | 8694 269998 945031 | 1 105649 22 | 0.000 % | 372.08/372.11 c | 1441337 | 8694 269998 945031 | 1 105752 22 | 0.000 % | 372.08/372.11 c | 1441439 | 8694 269998 945031 | 1 105854 22 | 0.000 % | 372.08/372.11 c | 1441599 | 8694 269998 945031 | 1 106014 22 | 0.000 % | 372.08/372.11 c | 1441903 | 8694 269998 945031 | 1 106318 22 | 0.000 % | 372.08/372.11 c | 1447051 | 8694 269998 945031 | 1 111466 23 | 0.000 % | 372.08/372.11 c | 1447151 | 8694 269998 945031 | 1 111566 23 | 0.000 % | 372.08/372.11 c | 1482878 | 8694 269998 945031 | 1 147293 24 | 0.000 % | 372.08/372.11 c | 1558800 | 8694 269998 945031 | 1 138616 23 | 0.000 % | 372.08/372.11 c | 1559895 | 8694 269998 945031 | 1 139711 23 | 0.000 % | 372.08/372.11 c | 1577972 | 8694 269998 945031 | 1 157788 24 | 0.000 % | 446.39/446.47 c | 1581071 | 8694 269998 945031 | 1 160887 24 | 0.000 % | 446.39/446.47 c | 1581804 | 8694 269998 945031 | 1 161620 24 | 0.000 % | 446.39/446.47 c | 1582146 | 8694 269998 945031 | 1 161962 24 | 0.000 % | 446.39/446.47 c | 1582390 | 8694 269998 945031 | 1 162206 24 | 0.000 % | 446.39/446.47 c | 1593394 | 8694 269998 945031 | 1 173210 24 | 0.000 % | 446.39/446.47 c | 1599431 | 8694 269998 945031 | 1 92045 19 | 0.000 % | 446.39/446.47 c | 1601731 | 8694 269998 945031 | 1 94345 20 | 0.000 % | 446.39/446.47 c | 1629760 | 8694 269998 945031 | 1 122374 22 | 0.000 % | 446.39/446.47 c | 1634151 | 8694 269998 945031 | 1 126765 23 | 0.000 % | 446.39/446.47 c | 1634251 | 8694 269998 945031 | 1 126865 23 | 0.000 % | 446.39/446.47 c | 1637232 | 8694 269998 945031 | 1 129846 23 | 0.000 % | 446.39/446.47 c | 1692336 | 8694 269998 945031 | 1 95156 20 | 0.000 % | 446.39/446.47 c | 1749297 | 8694 269998 945031 | 1 152117 22 | 0.000 % | 446.39/446.47 c | 1769171 | 8694 269998 945031 | 1 171991 23 | 0.000 % | 446.39/446.47 c | 1769501 | 8694 269998 945031 | 1 172321 23 | 0.000 % | 446.39/446.47 c | 1770618 | 8694 269998 945031 | 1 173438 23 | 0.000 % | 446.39/446.47 c | 1770718 | 8694 269998 945031 | 1 173538 23 | 0.000 % | 446.39/446.47 c | 1770841 | 8694 269998 945031 | 1 173661 23 | 0.000 % | 446.39/446.47 c | 1775290 | 8694 269998 945031 | 1 178110 23 | 0.000 % | 446.39/446.47 c | 1775971 | 8694 269998 945031 | 1 178791 23 | 0.000 % | 446.39/446.47 c | 1776264 | 8694 269998 945031 | 1 179084 24 | 0.000 % | 446.39/446.47 c | 1776833 | 8694 269998 945031 | 1 179653 24 | 0.000 % | 446.39/446.47 c | 1776933 | 8694 269998 945031 | 1 179753 24 | 0.000 % | 446.39/446.47 c | 1777034 | 8694 269998 945031 | 1 179854 24 | 0.000 % | 446.39/446.47 c | 1777136 | 8694 269998 945031 | 1 179956 24 | 0.000 % | 446.39/446.47 c | 1777280 | 8694 269998 945031 | 1 180100 24 | 0.000 % | 446.39/446.47 c | 1779067 | 8694 269998 945031 | 1 181887 24 | 0.000 % | 446.39/446.47 c | 1779652 | 8694 269998 945031 | 1 182472 24 | 0.000 % | 446.39/446.47 c | 1779918 | 8694 269998 945031 | 1 182738 24 | 0.000 % | 446.39/446.47 c | 1780019 | 8694 269998 945031 | 1 182839 24 | 0.000 % | 446.39/446.47 c | 1780204 | 8694 269998 945031 | 1 183024 24 | 0.000 % | 446.39/446.47 c | 1781238 | 8694 269998 945031 | 1 184058 24 | 0.000 % | 446.39/446.47 c | 1781338 | 8694 269998 945031 | 1 184158 24 | 0.000 % | 446.39/446.47 c | 1782130 | 8694 269998 945031 | 1 92543 19 | 0.000 % | 446.39/446.47 c | 1783408 | 8694 269998 945031 | 1 93821 19 | 0.000 % | 446.39/446.47 c | 1784390 | 8694 269998 945031 | 1 94803 19 | 0.000 % | 446.39/446.47 c | 1785322 | 8694 269998 945031 | 1 95735 19 | 0.000 % | 446.39/446.47 c | 1811811 | 8694 269998 945031 | 1 122224 22 | 0.000 % | 446.39/446.47 c | 1813288 | 8694 269998 945031 | 1 123701 22 | 0.000 % | 446.39/446.47 c | 1813388 | 8694 269998 945031 | 1 123801 22 | 0.000 % | 446.39/446.47 c | 1817637 | 8694 269998 945031 | 1 128050 22 | 0.000 % | 446.39/446.47 c | 1821427 | 8694 269998 945031 | 1 131840 22 | 0.000 % | 446.39/446.47 c | 1821527 | 8694 269998 945031 | 1 131940 22 | 0.000 % | 446.39/446.47 c | 1821791 | 8694 269998 945031 | 1 132204 22 | 0.000 % | 446.39/446.47 c | 1823159 | 8694 269998 945031 | 1 133572 22 | 0.000 % | 446.39/446.47 c | 1825091 | 8694 269998 945031 | 1 135504 23 | 0.000 % | 446.39/446.47 c | 1827686 | 8694 269998 945031 | 1 138099 23 | 0.000 % | 446.39/446.47 c | 1827787 | 8694 269998 945031 | 1 138200 23 | 0.000 % | 446.39/446.47 c | 1832187 | 8694 269998 945031 | 1 142600 23 | 0.000 % | 446.39/446.47 c | 1832538 | 8694 269998 945031 | 1 142951 23 | 0.000 % | 566.10/566.10 c | 1928744 | 8694 269998 945031 | 1 144164 22 | 0.000 % | 566.10/566.10 c | 1944733 | 8694 269998 945031 | 1 160153 23 | 0.000 % | 566.10/566.10 c | 1948787 | 8694 269998 945031 | 1 164207 23 | 0.000 % | 566.10/566.10 c | 1948891 | 8694 269998 945031 | 1 164311 23 | 0.000 % | 566.10/566.10 c | 1949062 | 8694 269998 945031 | 1 164482 23 | 0.000 % | 566.10/566.10 c | 1949764 | 8694 269998 945031 | 1 165184 23 | 0.000 % | 566.10/566.10 c | 1950110 | 8694 269998 945031 | 1 165530 23 | 0.000 % | 566.10/566.10 c | 1952439 | 8694 269998 945031 | 1 167859 24 | 0.000 % | 566.10/566.10 c | 1952553 | 8694 269998 945031 | 1 167973 24 | 0.000 % | 566.10/566.10 c | 1953023 | 8694 269998 945031 | 1 168443 24 | 0.000 % | 566.10/566.10 c | 1955882 | 8694 269998 945031 | 1 171302 24 | 0.000 % | 566.10/566.10 c | 1956031 | 8694 269998 945031 | 1 171451 24 | 0.000 % | 566.10/566.10 c | 1992260 | 8694 269998 945031 | 1 110081 20 | 0.000 % | 566.10/566.10 c | 2005649 | 8694 269998 945031 | 1 123470 21 | 0.000 % | 566.10/566.10 c | 2006134 | 8694 269998 945031 | 1 123955 21 | 0.000 % | 566.10/566.10 c | 2024358 | 8694 269998 945031 | 1 142179 22 | 0.000 % | 566.10/566.10 c | 2037886 | 8694 269998 945031 | 1 155707 23 | 0.000 % | 566.10/566.10 c | 2038159 | 8694 269998 945031 | 1 155980 23 | 0.000 % | 566.10/566.10 c | 2038300 | 8694 269998 945031 | 1 156121 23 | 0.000 % | 566.10/566.10 c | 2045753 | 8694 269998 945031 | 1 163574 23 | 0.000 % | 566.10/566.10 c | 2051265 | 8694 269998 945031 | 1 169086 23 | 0.000 % | 566.10/566.10 c | 2051444 | 8694 269998 945031 | 1 169265 23 | 0.000 % | 566.10/566.10 c | 2051632 | 8694 269998 945031 | 1 169453 23 | 0.000 % | 566.10/566.10 c | 2052478 | 8694 269998 945031 | 1 170299 23 | 0.000 % | 566.10/566.10 c | 2052578 | 8694 269998 945031 | 1 170399 23 | 0.000 % | 566.10/566.10 c | 2054173 | 8694 269998 945031 | 1 171994 23 | 0.000 % | 566.10/566.10 c | 2071194 | 8694 269998 945031 | 1 189015 24 | 0.000 % | 566.10/566.10 c | 2074099 | 8694 269998 945031 | 1 191920 24 | 0.000 % | 566.10/566.10 c | 2074199 | 8694 269998 945031 | 1 192020 24 | 0.000 % | 566.10/566.10 c | 2076707 | 8694 269998 945031 | 1 194528 24 | 0.000 % | 566.10/566.10 c | 2080932 | 8694 269998 945031 | 1 198753 24 | 0.000 % | 566.10/566.10 c | 2106442 | 8694 269998 945031 | 1 124062 20 | 0.000 % | 566.10/566.10 c | 2113184 | 8694 269998 945031 | 1 130804 20 | 0.000 % | 566.10/566.10 c | 2113685 | 8694 269998 945031 | 1 131305 20 | 0.000 % | 566.10/566.10 c | 2114449 | 8694 269998 945031 | 1 132069 20 | 0.000 % | 566.10/566.10 c | 2119403 | 8694 269998 945031 | 1 137023 21 | 0.000 % | 566.10/566.10 c | 2119503 | 8694 269998 945031 | 1 137123 21 | 0.000 % | 566.10/566.10 c | 2125665 | 8694 269998 945031 | 1 143285 21 | 0.000 % | 566.10/566.10 c | 2135855 | 8694 269998 945031 | 1 153475 22 | 0.000 % | 566.10/566.10 c | 2136109 | 8694 269998 945031 | 1 153729 22 | 0.000 % | 566.10/566.10 c | 2143514 | 8694 269998 945031 | 1 161134 22 | 0.000 % | 566.10/566.10 c | 2192653 | 8694 269998 945031 | 1 107469 19 | 0.000 % | 566.10/566.10 c | 2206927 | 8694 269998 945031 | 1 121743 20 | 0.000 % | 566.10/566.10 c | 2208760 | 8694 269998 945031 | 1 123576 20 | 0.000 % | 566.10/566.10 c | 2224241 | 8694 269998 945031 | 1 139057 22 | 0.000 % | 566.10/566.10 c | 2224468 | 8694 269998 945031 | 1 139284 22 | 0.000 % | 566.10/566.10 c | 2226234 | 8694 269998 945031 | 1 141050 22 | 0.000 % | 566.10/566.10 c | 2233104 | 8694 269998 945031 | 1 147920 22 | 0.000 % | 566.10/566.10 c | 2238029 | 8694 269998 945031 | 1 152845 23 | 0.000 % | 566.10/566.10 c | 2244344 | 8694 269998 945031 | 1 159160 23 | 0.000 % | 666.51/666.55 c | 2244550 | 8694 269998 945031 | 1 159366 23 | 0.000 % | 666.51/666.55 c | 2250440 | 8694 269998 945031 | 1 165256 23 | 0.000 % | 666.51/666.55 c | 2271240 | 8694 269998 945031 | 1 186056 24 | 0.000 % | 666.51/666.55 c | 2287001 | 8694 269998 945031 | 1 201817 24 | 0.000 % | 666.51/666.55 c | 2288878 | 8694 269998 945031 | 1 203694 24 | 0.000 % | 666.51/666.55 c | 2293157 | 8694 269998 945031 | 1 207973 25 | 0.000 % | 666.51/666.55 c | 2293701 | 8694 269998 945031 | 1 208517 25 | 0.000 % | 666.51/666.55 c | 2303780 | 8694 269998 945031 | 1 113197 20 | 0.000 % | 666.51/666.55 c | 2305792 | 8694 269998 945031 | 1 115209 20 | 0.000 % | 666.51/666.55 c | 2307352 | 8694 269998 945031 | 1 116769 20 | 0.000 % | 666.51/666.55 c | 2307592 | 8694 269998 945031 | 1 117009 20 | 0.000 % | 666.51/666.55 c | 2332853 | 8694 269998 945031 | 1 142270 22 | 0.000 % | 666.51/666.55 c | 2332959 | 8694 269998 945031 | 1 142376 22 | 0.000 % | 666.51/666.55 c | 2335150 | 8694 269998 945031 | 1 144567 22 | 0.000 % | 666.51/666.55 c | 2342237 | 8694 269998 945031 | 1 151654 22 | 0.000 % | 666.51/666.55 c | 2362743 | 8694 269998 945031 | 1 172160 23 | 0.000 % | 666.51/666.55 c | 2371580 | 8694 269998 945031 | 1 180997 24 | 0.000 % | 666.51/666.55 c | 2389327 | 8694 269998 945031 | 1 198744 24 | 0.000 % | 666.51/666.55 c | 2390207 | 8694 269998 945031 | 1 199624 24 | 0.000 % | 666.51/666.55 c | 2406018 | 8694 269998 945031 | 1 215435 25 | 0.000 % | 666.51/666.55 c | 2410993 | 8694 269998 945031 | 1 112418 19 | 0.000 % | 666.51/666.55 c | 2412751 | 8694 269998 945031 | 1 114176 20 | 0.000 % | 666.51/666.55 c | 2415851 | 8694 269998 945031 | 1 117276 20 | 0.000 % | 666.51/666.55 c | 2416446 | 8694 269998 945031 | 1 117871 20 | 0.000 % | 666.51/666.55 c | 2416546 | 8694 269998 945031 | 1 117971 20 | 0.000 % | 666.51/666.55 c | 2416646 | 8694 269998 945031 | 1 118071 20 | 0.000 % | 666.51/666.55 c | 2442698 | 8694 269998 945031 | 1 144123 21 | 0.000 % | 666.51/666.55 c | 2463276 | 8694 269998 945031 | 1 164701 22 | 0.000 % | 666.51/666.55 c | 2467300 | 8694 269998 945031 | 1 168725 23 | 0.000 % | 666.51/666.55 c | 2472986 | 8694 269998 945031 | 1 174411 23 | 0.000 % | 666.51/666.55 c | 2477365 | 8694 269998 945031 | 1 178790 23 | 0.000 % | 666.51/666.55 c | 2477465 | 8694 269998 945031 | 1 178890 23 | 0.000 % | 666.51/666.55 c | 2502016 | 8694 269998 945031 | 1 203441 24 | 0.000 % | 666.51/666.55 c | 2504019 | 8694 269998 945031 | 1 205444 24 | 0.000 % | 666.51/666.55 c | 2520205 | 8694 269998 945031 | 1 111028 19 | 0.000 % | 666.51/666.55 c | 2522690 | 8694 269998 945031 | 1 113513 19 | 0.000 % | 666.51/666.55 c | 2523166 | 8694 269998 945031 | 1 113989 19 | 0.000 % | 666.51/666.55 c | 2523269 | 8694 269998 945031 | 1 114092 19 | 0.000 % | 666.51/666.55 c | 2524435 | 8694 269998 945031 | 1 115258 19 | 0.000 % | 666.51/666.55 c | 2532749 | 8694 269998 945031 | 1 123572 20 | 0.000 % | 666.51/666.55 c | 2532850 | 8694 269998 945031 | 1 123673 20 | 0.000 % | 666.51/666.55 c | 2543228 | 8694 269998 945031 | 1 134051 21 | 0.000 % | 666.51/666.55 c | 2543450 | 8694 269998 945031 | 1 134273 21 | 0.000 % | 666.51/666.55 c | 2554450 | 8694 269998 945031 | 1 145273 22 | 0.000 % | 666.51/666.55 c | 2555938 | 8694 269998 945031 | 1 146761 22 | 0.000 % | 666.51/666.55 c | 2557765 | 8694 269998 945031 | 1 148588 22 | 0.000 % | 666.51/666.55 c | 2557865 | 8694 269998 945031 | 1 148688 22 | 0.000 % | 666.51/666.55 c | 2558053 | 8694 269998 945031 | 1 148876 22 | 0.000 % | 666.51/666.55 c | 2562928 | 8694 269998 945031 | 1 153751 23 | 0.000 % | 666.51/666.55 c | 2563643 | 8694 269998 945031 | 1 154466 23 | 0.000 % | 821.91/821.91 c | 2572610 | 8694 269998 945031 | 1 163433 23 | 0.000 % | 821.91/821.91 c | 2583809 | 8694 269998 945031 | 1 174632 24 | 0.000 % | 821.91/821.91 c | 2583910 | 8694 269998 945031 | 1 174733 24 | 0.000 % | 821.91/821.91 c | 2584742 | 8694 269998 945031 | 1 175565 24 | 0.000 % | 821.91/821.91 c | 2585177 | 8694 269998 945031 | 1 176000 24 | 0.000 % | 821.91/821.91 c | 2585331 | 8694 269998 945031 | 1 176154 24 | 0.000 % | 821.91/821.91 c | 2667267 | 8694 269998 945031 | 1 144879 21 | 0.000 % | 821.91/821.91 c | 2676544 | 8694 269998 945031 | 1 154156 21 | 0.000 % | 821.91/821.91 c | 2731506 | 8694 269998 945031 | 1 209118 23 | 0.000 % | 821.91/821.91 c | 2731606 | 8694 269998 945031 | 1 209218 23 | 0.000 % | 821.91/821.91 c | 2731862 | 8694 269998 945031 | 1 209474 23 | 0.000 % | 821.91/821.91 c | 2748075 | 8694 269998 945031 | 1 225687 24 | 0.000 % | 821.91/821.91 c | 2748394 | 8694 269998 945031 | 1 226006 24 | 0.000 % | 821.91/821.91 c | 2748494 | 8694 269998 945031 | 1 226106 24 | 0.000 % | 821.91/821.91 c | 2770065 | 8694 269998 945031 | 1 131881 21 | 0.000 % | 821.91/821.91 c | 2770214 | 8694 269998 945031 | 1 132030 21 | 0.000 % | 821.91/821.91 c | 2781025 | 8694 269998 945031 | 1 142841 21 | 0.000 % | 821.91/821.91 c | 2792793 | 8694 269998 945031 | 1 154609 22 | 0.000 % | 821.91/821.91 c | 2792893 | 8694 269998 945031 | 1 154709 22 | 0.000 % | 821.91/821.91 c | 2792994 | 8694 269998 945031 | 1 154810 22 | 0.000 % | 821.91/821.91 c | 2793650 | 8694 269998 945031 | 1 155466 22 | 0.000 % | 821.91/821.91 c | 2829953 | 8694 269998 945031 | 1 191769 23 | 0.000 % | 821.91/821.91 c | 2833679 | 8694 269998 945031 | 1 195495 23 | 0.000 % | 821.91/821.91 c | 2836368 | 8694 269998 945031 | 1 198184 23 | 0.000 % | 821.91/821.91 c | 2836468 | 8694 269998 945031 | 1 198284 23 | 0.000 % | 821.91/821.91 c | 2836569 | 8694 269998 945031 | 1 198385 23 | 0.000 % | 821.91/821.91 c | 2840214 | 8694 269998 945031 | 1 202030 23 | 0.000 % | 821.91/821.91 c | 2840514 | 8694 269998 945031 | 1 202330 23 | 0.000 % | 821.91/821.91 c | 2840614 | 8694 269998 945031 | 1 202430 23 | 0.000 % | 821.91/821.91 c | 2840715 | 8694 269998 945031 | 1 202531 23 | 0.000 % | 821.91/821.91 c | 2847142 | 8694 269998 945031 | 1 208958 24 | 0.000 % | 821.91/821.91 c | 2880399 | 8694 269998 945031 | 1 123820 19 | 0.000 % | 821.91/821.91 c | 2891924 | 8694 269998 945031 | 1 135345 20 | 0.000 % | 821.91/821.91 c | 2929856 | 8694 269998 945031 | 1 173277 22 | 0.000 % | 821.91/821.91 c | 2929957 | 8694 269998 945031 | 1 173378 22 | 0.000 % | 821.91/821.91 c | 2930189 | 8694 269998 945031 | 1 173610 22 | 0.000 % | 821.91/821.91 c | 2930849 | 8694 269998 945031 | 1 174270 22 | 0.000 % | 821.91/821.91 c | 2947096 | 8694 269998 945031 | 1 190517 23 | 0.000 % | 821.91/821.91 c | 2948948 | 8694 269998 945031 | 1 192369 23 | 0.000 % | 821.91/821.91 c | 2953490 | 8694 269998 945031 | 1 196911 23 | 0.000 % | 821.91/821.91 c | 2953721 | 8694 269998 945031 | 1 197142 23 | 0.000 % | 821.91/821.91 c | 2954425 | 8694 269998 945031 | 1 197846 23 | 0.000 % | 821.91/821.91 c | 2955271 | 8694 269998 945031 | 1 198692 23 | 0.000 % | 821.91/821.91 c | 2955459 | 8694 269998 945031 | 1 198880 23 | 0.000 % | 821.91/821.91 c | 2968270 | 8694 269998 945031 | 1 211691 24 | 0.000 % | 821.91/821.91 c | 2968757 | 8694 269998 945031 | 1 212178 24 | 0.000 % | 821.91/821.91 c | 2979781 | 8694 269998 945031 | 1 223202 24 | 0.000 % | 821.91/821.91 c | 3008154 | 8694 269998 945031 | 1 130577 20 | 0.000 % | 821.91/821.91 c | 3017880 | 8694 269998 945031 | 1 140303 20 | 0.000 % | 963.01/963.03 c | 3071789 | 8694 269998 945031 | 1 194212 22 | 0.000 % | 963.01/963.03 c | 3077361 | 8694 269998 945031 | 1 199784 22 | 0.000 % | 963.01/963.03 c | 3079203 | 8694 269998 945031 | 1 201626 22 | 0.000 % | 963.01/963.03 c | 3079902 | 8694 269998 945031 | 1 202325 22 | 0.000 % | 963.01/963.03 c | 3080135 | 8694 269998 945031 | 1 202558 22 | 0.000 % | 963.01/963.03 c | 3087956 | 8694 269998 945031 | 1 210379 23 | 0.000 % | 963.01/963.03 c | 3088302 | 8694 269998 945031 | 1 210725 23 | 0.000 % | 963.01/963.03 c | 3116644 | 8694 269998 945031 | 1 239067 23 | 0.000 % | 963.01/963.03 c | 3126980 | 8694 269998 945031 | 1 125796 19 | 0.000 % | 963.01/963.03 c | 3146411 | 8694 269998 945031 | 1 145227 20 | 0.000 % | 963.01/963.03 c | 3153592 | 8694 269998 945031 | 1 152408 20 | 0.000 % | 963.01/963.03 c | 3156973 | 8694 269998 945031 | 1 155789 20 | 0.000 % | 963.01/963.03 c | 3160751 | 8694 269998 945031 | 1 159567 21 | 0.000 % | 963.01/963.03 c | 3203562 | 8694 269998 945031 | 1 202378 23 | 0.000 % | 963.01/963.03 c | 3203662 | 8694 269998 945031 | 1 202478 23 | 0.000 % | 963.01/963.03 c | 3225177 | 8694 269998 945031 | 1 223993 23 | 0.000 % | 963.01/963.03 c | 3227619 | 8694 269998 945031 | 1 226435 23 | 0.000 % | 963.01/963.03 c | 3228901 | 8694 269998 945031 | 1 227717 24 | 0.000 % | 963.01/963.03 c | 3229573 | 8694 269998 945031 | 1 228389 24 | 0.000 % | 963.01/963.03 c | 3230157 | 8694 269998 945031 | 1 228973 24 | 0.000 % | 963.01/963.03 c | 3231176 | 8694 269998 945031 | 1 229992 24 | 0.000 % | 963.01/963.03 c | 3236165 | 8694 269998 945031 | 1 234981 24 | 0.000 % | 963.01/963.03 c | 3237270 | 8694 269998 945031 | 1 236086 24 | 0.000 % | 963.01/963.03 c | 3237381 | 8694 269998 945031 | 1 236197 24 | 0.000 % | 963.01/963.03 c | 3237484 | 8694 269998 945031 | 1 236300 24 | 0.000 % | 963.01/963.03 c | 3237584 | 8694 269998 945031 | 1 236400 24 | 0.000 % | 963.01/963.03 c | 3237684 | 8694 269998 945031 | 1 236500 24 | 0.000 % | 963.01/963.03 c | 3244220 | 8694 269998 945031 | 1 243036 24 | 0.000 % | 963.01/963.03 c | 3244638 | 8694 269998 945031 | 1 243454 24 | 0.000 % | 963.01/963.03 c | 3269660 | 8694 269998 945031 | 1 142280 20 | 0.000 % | 963.01/963.03 c | 3283172 | 8694 269998 945031 | 1 155792 21 | 0.000 % | 963.01/963.03 c | 3283274 | 8694 269998 945031 | 1 155894 21 | 0.000 % | 963.01/963.03 c | 3285133 | 8694 269998 945031 | 1 157753 21 | 0.000 % | 963.01/963.03 c | 3285949 | 8694 269998 945031 | 1 158569 21 | 0.000 % | 963.01/963.03 c | 3287195 | 8694 269998 945031 | 1 159815 22 | 0.000 % | 963.01/963.03 c | 3287299 | 8694 269998 945031 | 1 159919 22 | 0.000 % | 963.01/963.03 c | 3291607 | 8694 269998 945031 | 1 164227 22 | 0.000 % | 963.01/963.03 c | 3291846 | 8694 269998 945031 | 1 164466 22 | 0.000 % | 963.01/963.03 c | 3292006 | 8694 269998 945031 | 1 164626 22 | 0.000 % | 963.01/963.03 c | 3299975 | 8694 269998 945031 | 1 172595 22 | 0.000 % | 963.01/963.03 c | 3300075 | 8694 269998 945031 | 1 172695 22 | 0.000 % | 963.01/963.03 c | 3312646 | 8694 269998 945031 | 1 185266 23 | 0.000 % | 963.01/963.03 c | 3323948 | 8694 269998 945031 | 1 196568 23 | 0.000 % | 963.01/963.03 c | 3336141 | 8694 269998 945031 | 1 208761 23 | 0.000 % | 963.01/963.03 c | 3340970 | 8694 269998 945031 | 1 213590 23 | 0.000 % | 963.01/963.03 c | 3366327 | 8694 269998 945031 | 1 238947 24 | 0.000 % | 963.01/963.03 c | 3381671 | 8694 269998 945031 | 1 254291 24 | 0.000 % | 963.01/963.03 c | 3397094 | 8694 269998 945031 | 1 140917 20 | 0.000 % | 963.01/963.03 c | 3411952 | 8694 269998 945031 | 1 155775 21 | 0.000 % | 963.01/963.03 c | 3412226 | 8694 269998 945031 | 1 156049 21 | 0.000 % | 1078.11/1078.19 c | 3425023 | 8694 269998 945031 | 1 168846 21 | 0.000 % | 1078.11/1078.19 c | 3431202 | 8694 269998 945031 | 1 175025 22 | 0.000 % | 1078.11/1078.19 c | 3458495 | 8694 269998 945031 | 1 202318 23 | 0.000 % | 1078.11/1078.19 c | 3459135 | 8694 269998 945031 | 1 202958 23 | 0.000 % | 1078.11/1078.19 c | 3473058 | 8694 269998 945031 | 1 216881 23 | 0.000 % | 1078.11/1078.19 c | 3475780 | 8694 269998 945031 | 1 219603 23 | 0.000 % | 1078.11/1078.19 c | 3489128 | 8694 269998 945031 | 1 232951 23 | 0.000 % | 1078.11/1078.19 c | 3489601 | 8694 269998 945031 | 1 233424 23 | 0.000 % | 1078.11/1078.19 c | 3507295 | 8694 269998 945031 | 1 251118 24 | 0.000 % | 1078.11/1078.19 c | 3525183 | 8694 269998 945031 | 1 137608 19 | 0.000 % | 1078.11/1078.19 c | 3525802 | 8694 269998 945031 | 1 138227 19 | 0.000 % | 1078.11/1078.19 c | 3526340 | 8694 269998 945031 | 1 138765 20 | 0.000 % | 1078.11/1078.19 c | 3526440 | 8694 269998 945031 | 1 138865 20 | 0.000 % | 1078.11/1078.19 c | 3527519 | 8694 269998 945031 | 1 139944 20 | 0.000 % | 1078.11/1078.19 c | 3527796 | 8694 269998 945031 | 1 140221 20 | 0.000 % | 1078.11/1078.19 c | 3527931 | 8694 269998 945031 | 1 140356 20 | 0.000 % | 1078.11/1078.19 c | 3528828 | 8694 269998 945031 | 1 141253 20 | 0.000 % | 1078.11/1078.19 c | 3528962 | 8694 269998 945031 | 1 141387 20 | 0.000 % | 1078.11/1078.19 c | 3529064 | 8694 269998 945031 | 1 141489 20 | 0.000 % | 1078.11/1078.19 c | 3530099 | 8694 269998 945031 | 1 142524 20 | 0.000 % | 1078.11/1078.19 c | 3530199 | 8694 269998 945031 | 1 142624 20 | 0.000 % | 1078.11/1078.19 c | 3532125 | 8694 269998 945031 | 1 144550 20 | 0.000 % | 1078.11/1078.19 c | 3532390 | 8694 269998 945031 | 1 144815 20 | 0.000 % | 1078.11/1078.19 c | 3540529 | 8694 269998 945031 | 1 152954 21 | 0.000 % | 1078.11/1078.19 c | 3541058 | 8694 269998 945031 | 1 153483 21 | 0.000 % | 1078.11/1078.19 c | 3541777 | 8694 269998 945031 | 1 154202 21 | 0.000 % | 1078.11/1078.19 c | 3542571 | 8694 269998 945031 | 1 154996 21 | 0.000 % | 1078.11/1078.19 c | 3546959 | 8694 269998 945031 | 1 159384 21 | 0.000 % | 1078.11/1078.19 c | 3590944 | 8694 269998 945031 | 1 203369 23 | 0.000 % | 1078.11/1078.19 c | 3660261 | 8694 269998 945031 | 1 138686 20 | 0.000 % | 1078.11/1078.19 c | 3660364 | 8694 269998 945031 | 1 138789 20 | 0.000 % | 1078.11/1078.19 c | 3660496 | 8694 269998 945031 | 1 138921 20 | 0.000 % | 1078.11/1078.19 c | 3660866 | 8694 269998 945031 | 1 139291 20 | 0.000 % | 1078.11/1078.19 c | 3661599 | 8694 269998 945031 | 1 140024 20 | 0.000 % | 1078.11/1078.19 c | 3661702 | 8694 269998 945031 | 1 140127 20 | 0.000 % | 1078.11/1078.19 c | 3661986 | 8694 269998 945031 | 1 140411 20 | 0.000 % | 1078.11/1078.19 c | 3662459 | 8694 269998 945031 | 1 140884 20 | 0.000 % | 1078.11/1078.19 c | 3665441 | 8694 269998 945031 | 1 143866 20 | 0.000 % | 1078.11/1078.19 c | 3672233 | 8694 269998 945031 | 1 150658 21 | 0.000 % | 1078.11/1078.19 c | 3672987 | 8694 269998 945031 | 1 151412 21 | 0.000 % | 1078.11/1078.19 c | 3673117 | 8694 269998 945031 | 1 151542 21 | 0.000 % | 1078.11/1078.19 c | 3674539 | 8694 269998 945031 | 1 152964 21 | 0.000 % | 1078.11/1078.19 c | 3682888 | 8694 269998 945031 | 1 161313 21 | 0.000 % | 1078.11/1078.19 c | 3683433 | 8694 269998 945031 | 1 161858 21 | 0.000 % | 1078.11/1078.19 c | 3705313 | 8694 269998 945031 | 1 183738 22 | 0.000 % | 1078.11/1078.19 c | 3705413 | 8694 269998 945031 | 1 183838 22 | 0.000 % | 1078.11/1078.19 c | 3719503 | 8694 269998 945031 | 1 197928 23 | 0.000 % | 1078.11/1078.19 c | 3722251 | 8694 269998 945031 | 1 200676 23 | 0.000 % | 1078.11/1078.19 c | 3722355 | 8694 269998 945031 | 1 200780 23 | 0.000 % | 1078.11/1078.19 c | 3727818 | 8694 269998 945031 | 1 206243 24 | 0.000 % | 1255.32/1255.30 c | 3727995 | 8694 269998 945031 | 1 206420 24 | 0.000 % | 1255.32/1255.30 c | 3733427 | 8694 269998 945031 | 1 211852 24 | 0.000 % | 1255.32/1255.30 c | 3748367 | 8694 269998 945031 | 1 226792 24 | 0.000 % | 1255.32/1255.30 c | 3755661 | 8694 269998 945031 | 1 234086 24 | 0.000 % | 1255.32/1255.30 c | 3783762 | 8694 269998 945031 | 1 262187 25 | 0.000 % | 1255.32/1255.30 c | 3783985 | 8694 269998 945031 | 1 262410 25 | 0.000 % | 1255.32/1255.30 c | 3784330 | 8694 269998 945031 | 1 262755 25 | 0.000 % | 1255.32/1255.30 c | 3790434 | 8694 269998 945031 | 1 268859 25 | 0.000 % | 1255.32/1255.30 c | 3815117 | 8694 269998 945031 | 1 156941 20 | 0.000 % | 1255.32/1255.30 c | 3824745 | 8694 269998 945031 | 1 166569 21 | 0.000 % | 1255.32/1255.30 c | 3825346 | 8694 269998 945031 | 1 167170 21 | 0.000 % | 1255.32/1255.30 c | 3844842 | 8694 269998 945031 | 1 186666 22 | 0.000 % | 1255.32/1255.30 c | 3869056 | 8694 269998 945031 | 1 210880 23 | 0.000 % | 1255.32/1255.30 c | 3870161 | 8694 269998 945031 | 1 211985 23 | 0.000 % | 1255.32/1255.30 c | 3872310 | 8694 269998 945031 | 1 214134 23 | 0.000 % | 1255.32/1255.30 c | 3889243 | 8694 269998 945031 | 1 231067 23 | 0.000 % | 1255.32/1255.30 c | 3892241 | 8694 269998 945031 | 1 234065 23 | 0.000 % | 1255.32/1255.30 c | 3905884 | 8694 269998 945031 | 1 247708 24 | 0.000 % | 1255.32/1255.30 c | 3911741 | 8694 269998 945031 | 1 253565 24 | 0.000 % | 1255.32/1255.30 c | 3915406 | 8694 269998 945031 | 1 257230 24 | 0.000 % | 1255.32/1255.30 c | 3978224 | 8694 269998 945031 | 1 180846 21 | 0.000 % | 1255.32/1255.30 c | 3979078 | 8694 269998 945031 | 1 181700 21 | 0.000 % | 1255.32/1255.30 c | 4025916 | 8694 269998 945031 | 1 228538 22 | 0.000 % | 1255.32/1255.30 c | 4040017 | 8694 269998 945031 | 1 242639 23 | 0.000 % | 1255.32/1255.30 c | 4040229 | 8694 269998 945031 | 1 242851 23 | 0.000 % | 1255.32/1255.30 c | 4040864 | 8694 269998 945031 | 1 243486 23 | 0.000 % | 1255.32/1255.30 c | 4041619 | 8694 269998 945031 | 1 244241 23 | 0.000 % | 1255.32/1255.30 c | 4057061 | 8694 269998 945031 | 1 259683 23 | 0.000 % | 1255.32/1255.30 c | 4057523 | 8694 269998 945031 | 1 260145 23 | 0.000 % | 1255.32/1255.30 c | 4077089 | 8694 269998 945031 | 1 279711 23 | 0.000 % | 1255.32/1255.30 c | 4077560 | 8694 269998 945031 | 1 280182 23 | 0.000 % | 1255.32/1255.30 c | 4112857 | 8694 269998 945031 | 1 173677 20 | 0.000 % | 1255.32/1255.30 c | 4113576 | 8694 269998 945031 | 1 174396 20 | 0.000 % | 1255.32/1255.30 c | 4115345 | 8694 269998 945031 | 1 176165 20 | 0.000 % | 1255.32/1255.30 c | 4153730 | 8694 269998 945031 | 1 214550 22 | 0.000 % | 1255.32/1255.30 c | 4154632 | 8694 269998 945031 | 1 215452 22 | 0.000 % | 1255.32/1255.30 c | 4171458 | 8694 269998 945031 | 1 232278 22 | 0.000 % | 1255.32/1255.30 c | 4172527 | 8694 269998 945031 | 1 233347 22 | 0.000 % | 1255.32/1255.30 c | 4172960 | 8694 269998 945031 | 1 233780 22 | 0.000 % | 1255.32/1255.30 c | 4175907 | 8694 269998 945031 | 1 236727 22 | 0.000 % | 1255.32/1255.30 c | 4182160 | 8694 269998 945031 | 1 242980 22 | 0.000 % | 1255.32/1255.30 c | 4182263 | 8694 269998 945031 | 1 243083 23 | 0.000 % | 1255.32/1255.30 c | 4186288 | 8694 269998 945031 | 1 247108 23 | 0.000 % | 1255.32/1255.30 c | 4188187 | 8694 269998 945031 | 1 249007 23 | 0.000 % | 1255.32/1255.30 c | 4188289 | 8694 269998 945031 | 1 249109 23 | 0.000 % | 1255.32/1255.30 c | 4189974 | 8694 269998 945031 | 1 250794 23 | 0.000 % | 1255.32/1255.30 c | 4198665 | 8694 269998 945031 | 1 259485 23 | 0.000 % | 1255.32/1255.30 c | 4199391 | 8694 269998 945031 | 1 260211 23 | 0.000 % | 1255.32/1255.30 c | 4199628 | 8694 269998 945031 | 1 260448 23 | 0.000 % | 1255.32/1255.30 c | 4200525 | 8694 269998 945031 | 1 261345 2
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-3293174-1303782306/watcher-3293174-1303782306 -o /tmp/evaluation-result-3293174-1303782306/solver-3293174-1303782306 -C 2400 -W 1300 -M 7680 glucose.sh HOME/instance-3293174-1303782306.cnf running on 2 cores: 0,2 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: 4.04 4.01 3.91 4/192 25532 /proc/meminfo: memFree=27909936/32950928 swapFree=67111364/67111528 [pid=25532] ppid=25530 vsize=8704 CPUtime=0 cores=0,2 /proc/25532/stat : 25532 (glucose.sh) R 25530 25532 24832 0 -1 4202496 317 0 0 0 0 0 0 0 25 0 1 0 489830331 8912896 253 33554432000 4194304 4922060 140734921631360 18446744073709551615 208080052629 0 65538 4100 65536 0 0 0 17 0 0 0 0 /proc/25532/statm: 2176 253 211 178 0 69 0 [startup+0.0843279 s] /proc/loadavg: 4.04 4.01 3.91 4/192 25532 /proc/meminfo: memFree=27909936/32950928 swapFree=67111364/67111528 [pid=25532] ppid=25530 vsize=8704 CPUtime=0 cores=0,2 /proc/25532/stat : 25532 (glucose.sh) S 25530 25532 24832 0 -1 4202496 335 0 0 0 0 0 0 0 25 0 1 0 489830331 8912896 253 33554432000 4194304 4922060 140734921631360 18446744073709551615 208080051333 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0 /proc/25532/statm: 2176 253 211 178 0 69 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8704 [startup+0.100325 s] /proc/loadavg: 4.04 4.01 3.91 4/192 25532 /proc/meminfo: memFree=27909936/32950928 swapFree=67111364/67111528 [pid=25532] ppid=25530 vsize=8704 CPUtime=0 cores=0,2 /proc/25532/stat : 25532 (glucose.sh) S 25530 25532 24832 0 -1 4202496 335 0 0 0 0 0 0 0 25 0 1 0 489830331 8912896 253 33554432000 4194304 4922060 140734921631360 18446744073709551615 208080051333 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0 /proc/25532/statm: 2176 253 211 178 0 69 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8704 [startup+0.300349 s] /proc/loadavg: 4.04 4.01 3.91 4/192 25532 /proc/meminfo: memFree=27909936/32950928 swapFree=67111364/67111528 [pid=25532] ppid=25530 vsize=8704 CPUtime=0 cores=0,2 /proc/25532/stat : 25532 (glucose.sh) S 25530 25532 24832 0 -1 4202496 335 0 0 0 0 0 0 0 25 0 1 0 489830331 8912896 253 33554432000 4194304 4922060 140734921631360 18446744073709551615 208080051333 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0 /proc/25532/statm: 2176 253 211 178 0 69 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8704 [startup+0.70027 s] /proc/loadavg: 4.04 4.01 3.91 4/192 25532 /proc/meminfo: memFree=27909936/32950928 swapFree=67111364/67111528 [pid=25532] ppid=25530 vsize=8704 CPUtime=0 cores=0,2 /proc/25532/stat : 25532 (glucose.sh) S 25530 25532 24832 0 -1 4202496 335 0 0 0 0 0 0 0 25 0 1 0 489830331 8912896 253 33554432000 4194304 4922060 140734921631360 18446744073709551615 208080051333 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0 /proc/25532/statm: 2176 253 211 178 0 69 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8704 [startup+1.50112 s] /proc/loadavg: 4.04 4.01 3.91 5/194 25535 /proc/meminfo: memFree=27890460/32950928 swapFree=67111364/67111528 [pid=25532] ppid=25530 vsize=8704 CPUtime=0.93 cores=0,2 /proc/25532/stat : 25532 (glucose.sh) S 25530 25532 24832 0 -1 4202496 360 6530 0 0 0 0 91 2 18 0 1 0 489830331 8912896 255 33554432000 4194304 4922060 140734921631360 18446744073709551615 208080051333 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/25532/statm: 2176 255 211 178 0 69 0 [pid=25535] ppid=25532 vsize=31516 CPUtime=0.54 cores=0,2 /proc/25535/stat : 25535 (glucose_static) R 25532 25532 24832 0 -1 4202496 4836 0 0 0 54 0 0 0 20 0 1 0 489830426 32272384 4435 33554432000 4194304 4260849 140734547101312 18446744073709551615 4224816 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/25535/statm: 7879 4435 240 17 0 4520 0 Current children cumulated CPU time (s) 1.47 Current children cumulated vsize (KiB) 40220 [startup+3.10075 s] /proc/loadavg: 4.04 4.01 3.91 5/194 25535 /proc/meminfo: memFree=27931608/32950928 swapFree=67111364/67111528 [pid=25532] ppid=25530 vsize=8704 CPUtime=0.93 cores=0,2 /proc/25532/stat : 25532 (glucose.sh) S 25530 25532 24832 0 -1 4202496 360 6530 0 0 0 0 91 2 18 0 1 0 489830331 8912896 255 33554432000 4194304 4922060 140734921631360 18446744073709551615 208080051333 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/25532/statm: 2176 255 211 178 0 69 0 [pid=25535] ppid=25532 vsize=36464 CPUtime=2.15 cores=0,2 /proc/25535/stat : 25535 (glucose_static) R 25532 25532 24832 0 -1 4202496 5301 0 0 0 214 1 0 0 25 0 1 0 489830426 37339136 4891 33554432000 4194304 4260849 140734547101312 18446744073709551615 4224878 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/25535/statm: 9116 4891 240 17 0 5757 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 45168 [startup+6.3012 s] /proc/loadavg: 4.04 4.01 3.91 5/194 25535 /proc/meminfo: memFree=27926896/32950928 swapFree=67111364/67111528 [pid=25532] ppid=25530 vsize=8704 CPUtime=0.93 cores=0,2 /proc/25532/stat : 25532 (glucose.sh) S 25530 25532 24832 0 -1 4202496 360 6530 0 0 0 0 91 2 18 0 1 0 489830331 8912896 255 33554432000 4194304 4922060 140734921631360 18446744073709551615 208080051333 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/25532/statm: 2176 255 211 178 0 69 0 [pid=25535] ppid=25532 vsize=37684 CPUtime=5.34 cores=0,2 /proc/25535/stat : 25535 (glucose_static) R 25532 25532 24832 0 -1 4202496 8248 0 0 0 533 1 0 0 25 0 1 0 489830426 38588416 5218 33554432000 4194304 4260849 140734547101312 18446744073709551615 4224864 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/25535/statm: 9421 5218 249 17 0 6062 0 Current children cumulated CPU time (s) 6.27 Current children cumulated vsize (KiB) 46388 [startup+12.701 s] /proc/loadavg: 4.04 4.01 3.91 5/194 25535 /proc/meminfo: memFree=27886756/32950928 swapFree=67111364/67111528 [pid=25532] ppid=25530 vsize=8704 CPUtime=0.93 cores=0,2 /proc/25532/stat : 25532 (glucose.sh) S 25530 25532 24832 0 -1 4202496 360 6530 0 0 0 0 91 2 18 0 1 0 489830331 8912896 255 33554432000 4194304 4922060 140734921631360 18446744073709551615 208080051333 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/25532/statm: 2176 255 211 178 0 69 0 [pid=25535] ppid=25532 vsize=50568 CPUtime=11.75 cores=0,2 /proc/25535/stat : 25535 (glucose_static) R 25532 25532 24832 0 -1 4202496 14099 0 0 0 1173 2 0 0 25 0 1 0 489830426 51781632 8003 33554432000 4194304 4260849 140734547101312 18446744073709551615 4209953 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/25535/statm: 12642 8003 249 17 0 9283 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 59272 [startup+25.5005 s] /proc/loadavg: 3.95 3.99 3.91 5/194 25566 /proc/meminfo: memFree=27943140/32950928 swapFree=67111364/67111528 [pid=25532] ppid=25530 vsize=8704 CPUtime=0.93 cores=0,2 /proc/25532/stat : 25532 (glucose.sh) S 25530 25532 24832 0 -1 4202496 360 6530 0 0 0 0 91 2 18 0 1 0 489830331 8912896 255 33554432000 4194304 4922060 140734921631360 18446744073709551615 208080051333 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/25532/statm: 2176 255 211 178 0 69 0 [pid=25535] ppid=25532 vsize=69244 CPUtime=24.54 cores=0,2 /proc/25535/stat : 25535 (glucose_static) R 25532 25532 24832 0 -1 4202496 19520 0 0 0 2451 3 0 0 25 0 1 0 489830426 70905856 12914 33554432000 4194304 4260849 140734547101312 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/25535/statm: 17311 12914 249 17 0 13952 0 Current children cumulated CPU time (s) 25.47 Current children cumulated vsize (KiB) 77948 [startup+51.1006 s] /proc/loadavg: 3.96 3.99 3.91 5/194 25566 /proc/meminfo: memFree=27956148/32950928 swapFree=67111364/67111528 [pid=25532] ppid=25530 vsize=8704 CPUtime=0.93 cores=0,2 /proc/25532/stat : 25532 (glucose.sh) S 25530 25532 24832 0 -1 4202496 360 6530 0 0 0 0 91 2 18 0 1 0 489830331 8912896 255 33554432000 4194304 4922060 140734921631360 18446744073709551615 208080051333 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/25532/statm: 2176 255 211 178 0 69 0 [pid=25535] ppid=25532 vsize=69244 CPUtime=50.15 cores=0,2 /proc/25535/stat : 25535 (glucose_static) R 25532 25532 24832 0 -1 4202496 20209 0 0 0 5012 3 0 0 25 0 1 0 489830426 70905856 13592 33554432000 4194304 4260849 140734547101312 18446744073709551615 4225146 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/25535/statm: 17311 13592 249 17 0 13952 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 77948 [startup+102.307 s] /proc/loadavg: 3.98 3.99 3.91 5/194 25568 /proc/meminfo: memFree=27908996/32950928 swapFree=67111364/67111528 [pid=25532] ppid=25530 vsize=8704 CPUtime=0.93 cores=0,2 /proc/25532/stat : 25532 (glucose.sh) S 25530 25532 24832 0 -1 4202496 360 6530 0 0 0 0 91 2 18 0 1 0 489830331 8912896 255 33554432000 4194304 4922060 140734921631360 18446744073709551615 208080051333 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/25532/statm: 2176 255 211 178 0 69 0 [pid=25535] ppid=25532 vsize=69244 CPUtime=101.35 cores=0,2 /proc/25535/stat : 25535 (glucose_static) R 25532 25532 24832 0 -1 4202496 20209 0 0 0 10132 3 0 0 25 0 1 0 489830426 70905856 13592 33554432000 4194304 4260849 140734547101312 18446744073709551615 4224895 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/25535/statm: 17311 13592 249 17 0 13952 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 77948 [startup+162.3 s] /proc/loadavg: 4.01 3.99 3.91 5/194 25690 /proc/meminfo: memFree=27955864/32950928 swapFree=67111364/67111528 [pid=25532] ppid=25530 vsize=8704 CPUtime=0.93 cores=0,2 /proc/25532/stat : 25532 (glucose.sh) S 25530 25532 24832 0 -1 4202496 360 6530 0 0 0 0 91 2 18 0 1 0 489830331 8912896 255 33554432000 4194304 4922060 140734921631360 18446744073709551615 208080051333 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/25532/statm: 2176 255 211 178 0 69 0 [pid=25535] ppid=25532 vsize=88100 CPUtime=161.35 cores=0,2 /proc/25535/stat : 25535 (glucose_static) R 25532 25532 24832 0 -1 4202496 34490 0 0 0 16130 5 0 0 25 0 1 0 489830426 90214400 14953 33554432000 4194304 4260849 140734547101312 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/25535/statm: 22025 14953 249 17 0 18666 0 Current children cumulated CPU time (s) 162.28 Current children cumulated vsize (KiB) 96804 [startup+222.301 s] /proc/loadavg: 4.00 3.99 3.91 5/194 25692 /proc/meminfo: memFree=27927508/32950928 swapFree=67111364/67111528 [pid=25532] ppid=25530 vsize=8704 CPUtime=0.93 cores=0,2 /proc/25532/stat : 25532 (glucose.sh) S 25530 25532 24832 0 -1 4202496 360 6530 0 0 0 0 91 2 18 0 1 0 489830331 8912896 255 33554432000 4194304 4922060 140734921631360 18446744073709551615 208080051333 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/25532/statm: 2176 255 211 178 0 69 0 [pid=25535] ppid=25532 vsize=118512 CPUtime=221.35 cores=0,2 /proc/25535/stat : 25535 (glucose_static) R 25532 25532 24832 0 -1 4202496 36515 0 0 0 22128 7 0 0 25 0 1 0 489830426 121356288 16920 33554432000 4194304 4260849 140734547101312 18446744073709551615 4224647 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/25535/statm: 29628 16920 249 17 0 26269 0 Current children cumulated CPU time (s) 222.28 Current children cumulated vsize (KiB) 127216 [startup+282.301 s] /proc/loadavg: 4.00 3.99 3.91 5/194 25693 /proc/meminfo: memFree=27904124/32950928 swapFree=67111364/67111528 [pid=25532] ppid=25530 vsize=8704 CPUtime=0.93 cores=0,2 /proc/25532/stat : 25532 (glucose.sh) S 25530 25532 24832 0 -1 4202496 360 6530 0 0 0 0 91 2 18 0 1 0 489830331 8912896 255 33554432000 4194304 4922060 140734921631360 18446744073709551615 208080051333 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/25532/statm: 2176 255 211 178 0 69 0 [pid=25535] ppid=25532 vsize=118512 CPUtime=281.35 cores=0,2 /proc/25535/stat : 25535 (glucose_static) R 25532 25532 24832 0 -1 4202496 37381 0 0 0 28128 7 0 0 25 0 1 0 489830426 121356288 17776 33554432000 4194304 4260849 140734547101312 18446744073709551615 4224352 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/25535/statm: 29628 17776 249 17 0 26269 0 Current children cumulated CPU time (s) 282.28 Current children cumulated vsize (KiB) 127216 [startup+342.301 s] /proc/loadavg: 4.00 3.99 3.91 5/194 25695 /proc/meminfo: memFree=27885588/32950928 swapFree=67111364/67111528 [pid=25532] ppid=25530 vsize=8704 CPUtime=0.93 cores=0,2 /proc/25532/stat : 25532 (glucose.sh) S 25530 25532 24832 0 -1 4202496 360 6530 0 0 0 0 91 2 18 0 1 0 489830331 8912896 255 33554432000 4194304 4922060 140734921631360 18446744073709551615 208080051333 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/25532/statm: 2176 255 211 178 0 69 0 [pid=25535] ppid=25532 vsize=118512 CPUtime=341.35 cores=0,2 /proc/25535/stat : 25535 (glucose_static) R 25532 25532 24832 0 -1 4202496 38167 0 0 0 34128 7 0 0 25 0 1 0 489830426 121356288 18554 33554432000 4194304 4260849 140734547101312 18446744073709551615 4224632 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/25535/statm: 29628 18554 249 17 0 26269 0 Current children cumulated CPU time (s) 342.28 Current children cumulated vsize (KiB) 127216 [startup+402.301 s] /proc/loadavg: 4.00 3.99 3.91 5/194 25697 /proc/meminfo: memFree=27884008/32950928 swapFree=67111364/67111528 [pid=25532] ppid=25530 vsize=8704 CPUtime=0.93 cores=0,2 ################ # More data... # ################ /proc/25535/statm: 29628 25558 249 17 0 26269 0 Current children cumulated CPU time (s) 582.3 Current children cumulated vsize (KiB) 127216 [startup+642.301 s] /proc/loadavg: 2.49 3.44 3.72 3/180 25739 /proc/meminfo: memFree=28043020/32950928 swapFree=67111364/67111528 [pid=25532] ppid=25530 vsize=8704 CPUtime=0.93 cores=0,2 /proc/25532/stat : 25532 (glucose.sh) S 25530 25532 24832 0 -1 4202496 360 6530 0 0 0 0 91 2 18 0 1 0 489830331 8912896 255 33554432000 4194304 4922060 140734921631360 18446744073709551615 208080051333 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/25532/statm: 2176 255 211 178 0 69 0 [pid=25535] ppid=25532 vsize=118512 CPUtime=641.38 cores=0,2 /proc/25535/stat : 25535 (glucose_static) R 25532 25532 24832 0 -1 4202496 45838 0 0 0 64128 10 0 0 25 0 1 0 489830426 121356288 25769 33554432000 4194304 4260849 140734547101312 18446744073709551615 4225080 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/25535/statm: 29628 25769 249 17 0 26269 0 Current children cumulated CPU time (s) 642.31 Current children cumulated vsize (KiB) 127216 [startup+702.301 s] /proc/loadavg: 2.19 3.20 3.62 3/180 25741 /proc/meminfo: memFree=28005760/32950928 swapFree=67111364/67111528 [pid=25532] ppid=25530 vsize=8704 CPUtime=0.93 cores=0,2 /proc/25532/stat : 25532 (glucose.sh) S 25530 25532 24832 0 -1 4202496 360 6530 0 0 0 0 91 2 18 0 1 0 489830331 8912896 255 33554432000 4194304 4922060 140734921631360 18446744073709551615 208080051333 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/25532/statm: 2176 255 211 178 0 69 0 [pid=25535] ppid=25532 vsize=118512 CPUtime=701.37 cores=0,2 /proc/25535/stat : 25535 (glucose_static) R 25532 25532 24832 0 -1 4202496 53781 0 0 0 70126 11 0 0 25 0 1 0 489830426 121356288 26088 33554432000 4194304 4260849 140734547101312 18446744073709551615 4224812 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/25535/statm: 29628 26088 249 17 0 26269 0 Current children cumulated CPU time (s) 702.3 Current children cumulated vsize (KiB) 127216 [startup+762.306 s] /proc/loadavg: 2.07 2.98 3.51 3/180 25742 /proc/meminfo: memFree=27988836/32950928 swapFree=67111364/67111528 [pid=25532] ppid=25530 vsize=8704 CPUtime=0.93 cores=0,2 /proc/25532/stat : 25532 (glucose.sh) S 25530 25532 24832 0 -1 4202496 360 6530 0 0 0 0 91 2 18 0 1 0 489830331 8912896 255 33554432000 4194304 4922060 140734921631360 18446744073709551615 208080051333 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/25532/statm: 2176 255 211 178 0 69 0 [pid=25535] ppid=25532 vsize=118512 CPUtime=761.38 cores=0,2 /proc/25535/stat : 25535 (glucose_static) R 25532 25532 24832 0 -1 4202496 53799 0 0 0 76127 11 0 0 25 0 1 0 489830426 121356288 26106 33554432000 4194304 4260849 140734547101312 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/25535/statm: 29628 26106 249 17 0 26269 0 Current children cumulated CPU time (s) 762.31 Current children cumulated vsize (KiB) 127216 [startup+822.301 s] /proc/loadavg: 2.02 2.80 3.42 3/180 25744 /proc/meminfo: memFree=27978864/32950928 swapFree=67111364/67111528 [pid=25532] ppid=25530 vsize=8704 CPUtime=0.93 cores=0,2 /proc/25532/stat : 25532 (glucose.sh) S 25530 25532 24832 0 -1 4202496 360 6530 0 0 0 0 91 2 18 0 1 0 489830331 8912896 255 33554432000 4194304 4922060 140734921631360 18446744073709551615 208080051333 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/25532/statm: 2176 255 211 178 0 69 0 [pid=25535] ppid=25532 vsize=118512 CPUtime=821.38 cores=0,2 /proc/25535/stat : 25535 (glucose_static) R 25532 25532 24832 0 -1 4202496 69510 0 0 0 82124 14 0 0 25 0 1 0 489830426 121356288 26123 33554432000 4194304 4260849 140734547101312 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/25535/statm: 29628 26123 249 17 0 26269 0 Current children cumulated CPU time (s) 822.31 Current children cumulated vsize (KiB) 127216 [startup+882.3 s] /proc/loadavg: 2.01 2.65 3.33 3/180 25745 /proc/meminfo: memFree=28039928/32950928 swapFree=67111364/67111528 [pid=25532] ppid=25530 vsize=8704 CPUtime=0.93 cores=0,2 /proc/25532/stat : 25532 (glucose.sh) S 25530 25532 24832 0 -1 4202496 360 6530 0 0 0 0 91 2 18 0 1 0 489830331 8912896 255 33554432000 4194304 4922060 140734921631360 18446744073709551615 208080051333 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/25532/statm: 2176 255 211 178 0 69 0 [pid=25535] ppid=25532 vsize=118512 CPUtime=881.38 cores=0,2 /proc/25535/stat : 25535 (glucose_static) R 25532 25532 24832 0 -1 4202496 77330 0 0 0 88123 15 0 0 25 0 1 0 489830426 121356288 26131 33554432000 4194304 4260849 140734547101312 18446744073709551615 4224822 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/25535/statm: 29628 26131 249 17 0 26269 0 Current children cumulated CPU time (s) 882.31 Current children cumulated vsize (KiB) 127216 [startup+942.301 s] /proc/loadavg: 2.00 2.53 3.24 3/180 25747 /proc/meminfo: memFree=28039888/32950928 swapFree=67111364/67111528 [pid=25532] ppid=25530 vsize=8704 CPUtime=0.93 cores=0,2 /proc/25532/stat : 25532 (glucose.sh) S 25530 25532 24832 0 -1 4202496 360 6530 0 0 0 0 91 2 18 0 1 0 489830331 8912896 255 33554432000 4194304 4922060 140734921631360 18446744073709551615 208080051333 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/25532/statm: 2176 255 211 178 0 69 0 [pid=25535] ppid=25532 vsize=118512 CPUtime=941.38 cores=0,2 /proc/25535/stat : 25535 (glucose_static) R 25532 25532 24832 0 -1 4202496 85515 0 0 0 94122 16 0 0 25 0 1 0 489830426 121356288 26141 33554432000 4194304 4260849 140734547101312 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/25535/statm: 29628 26141 249 17 0 26269 0 Current children cumulated CPU time (s) 942.31 Current children cumulated vsize (KiB) 127216 [startup+1002.3 s] /proc/loadavg: 2.00 2.43 3.16 3/180 25758 /proc/meminfo: memFree=28007356/32950928 swapFree=67111364/67111528 [pid=25532] ppid=25530 vsize=8704 CPUtime=0.93 cores=0,2 /proc/25532/stat : 25532 (glucose.sh) S 25530 25532 24832 0 -1 4202496 360 6530 0 0 0 0 91 2 18 0 1 0 489830331 8912896 255 33554432000 4194304 4922060 140734921631360 18446744073709551615 208080051333 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/25532/statm: 2176 255 211 178 0 69 0 [pid=25535] ppid=25532 vsize=167832 CPUtime=1001.38 cores=0,2 /proc/25535/stat : 25535 (glucose_static) R 25532 25532 24832 0 -1 4202496 102183 0 0 0 100120 18 0 0 25 0 1 0 489830426 171859968 34387 33554432000 4194304 4260849 140734547101312 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/25535/statm: 41958 34387 249 17 0 38599 0 Current children cumulated CPU time (s) 1002.31 Current children cumulated vsize (KiB) 176536 [startup+1062.3 s] /proc/loadavg: 2.13 2.39 3.10 3/180 26231 /proc/meminfo: memFree=28005512/32950928 swapFree=67111364/67111528 [pid=25532] ppid=25530 vsize=8704 CPUtime=0.93 cores=0,2 /proc/25532/stat : 25532 (glucose.sh) S 25530 25532 24832 0 -1 4202496 360 6530 0 0 0 0 91 2 18 0 1 0 489830331 8912896 255 33554432000 4194304 4922060 140734921631360 18446744073709551615 208080051333 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/25532/statm: 2176 255 211 178 0 69 0 [pid=25535] ppid=25532 vsize=118512 CPUtime=1061.38 cores=0,2 /proc/25535/stat : 25535 (glucose_static) R 25532 25532 24832 0 -1 4202496 111221 0 0 0 106117 21 0 0 25 0 1 0 489830426 121356288 26161 33554432000 4194304 4260849 140734547101312 18446744073709551615 4225080 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/25535/statm: 29628 26161 249 17 0 26269 0 Current children cumulated CPU time (s) 1062.31 Current children cumulated vsize (KiB) 127216 [startup+1122.3 s] /proc/loadavg: 2.09 2.33 3.03 3/180 26233 /proc/meminfo: memFree=28005676/32950928 swapFree=67111364/67111528 [pid=25532] ppid=25530 vsize=8704 CPUtime=0.93 cores=0,2 /proc/25532/stat : 25532 (glucose.sh) S 25530 25532 24832 0 -1 4202496 360 6530 0 0 0 0 91 2 18 0 1 0 489830331 8912896 255 33554432000 4194304 4922060 140734921631360 18446744073709551615 208080051333 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/25532/statm: 2176 255 211 178 0 69 0 [pid=25535] ppid=25532 vsize=118512 CPUtime=1121.39 cores=0,2 /proc/25535/stat : 25535 (glucose_static) R 25532 25532 24832 0 -1 4202496 120236 0 0 0 112116 23 0 0 25 0 1 0 489830426 121356288 26174 33554432000 4194304 4260849 140734547101312 18446744073709551615 4224658 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/25535/statm: 29628 26174 249 17 0 26269 0 Current children cumulated CPU time (s) 1122.32 Current children cumulated vsize (KiB) 127216 [startup+1182.3 s] /proc/loadavg: 2.07 2.28 2.97 3/180 26237 /proc/meminfo: memFree=28005624/32950928 swapFree=67111364/67111528 [pid=25532] ppid=25530 vsize=8704 CPUtime=0.93 cores=0,2 /proc/25532/stat : 25532 (glucose.sh) S 25530 25532 24832 0 -1 4202496 360 6530 0 0 0 0 91 2 18 0 1 0 489830331 8912896 255 33554432000 4194304 4922060 140734921631360 18446744073709551615 208080051333 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/25532/statm: 2176 255 211 178 0 69 0 [pid=25535] ppid=25532 vsize=118512 CPUtime=1181.39 cores=0,2 /proc/25535/stat : 25535 (glucose_static) R 25532 25532 24832 0 -1 4202496 129234 0 0 0 118115 24 0 0 25 0 1 0 489830426 121356288 26178 33554432000 4194304 4260849 140734547101312 18446744073709551615 4225146 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/25535/statm: 29628 26178 249 17 0 26269 0 Current children cumulated CPU time (s) 1182.32 Current children cumulated vsize (KiB) 127216 [startup+1242.3 s] /proc/loadavg: 2.02 2.23 2.91 3/180 26239 /proc/meminfo: memFree=27925084/32950928 swapFree=67111364/67111528 [pid=25532] ppid=25530 vsize=8704 CPUtime=0.93 cores=0,2 /proc/25532/stat : 25532 (glucose.sh) S 25530 25532 24832 0 -1 4202496 360 6530 0 0 0 0 91 2 18 0 1 0 489830331 8912896 255 33554432000 4194304 4922060 140734921631360 18446744073709551615 208080051333 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/25532/statm: 2176 255 211 178 0 69 0 [pid=25535] ppid=25532 vsize=118512 CPUtime=1241.39 cores=0,2 /proc/25535/stat : 25535 (glucose_static) R 25532 25532 24832 0 -1 4202496 138037 0 0 0 124113 26 0 0 25 0 1 0 489830426 121356288 26178 33554432000 4194304 4260849 140734547101312 18446744073709551615 4224667 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/25535/statm: 29628 26178 249 17 0 26269 0 Current children cumulated CPU time (s) 1242.32 Current children cumulated vsize (KiB) 127216 Maximum wall clock time exceeded: sending SIGTERM then SIGKILL [startup+1300 s] /proc/loadavg: 2.01 2.19 2.85 3/180 26241 /proc/meminfo: memFree=27933444/32950928 swapFree=67111364/67111528 [pid=25532] ppid=25530 vsize=8704 CPUtime=0.93 cores=0,2 /proc/25532/stat : 25532 (glucose.sh) S 25530 25532 24832 0 -1 4202496 360 6530 0 0 0 0 91 2 18 0 1 0 489830331 8912896 255 33554432000 4194304 4922060 140734921631360 18446744073709551615 208080051333 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/25532/statm: 2176 255 211 178 0 69 0 [pid=25535] ppid=25532 vsize=118512 CPUtime=1299.1 cores=0,2 /proc/25535/stat : 25535 (glucose_static) R 25532 25532 24832 0 -1 4202496 147177 0 0 0 129882 28 0 0 25 0 1 0 489830426 121356288 26193 33554432000 4194304 4260849 140734547101312 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/25535/statm: 29628 26193 249 17 0 26269 0 Current children cumulated CPU time (s) 1300.03 Current children cumulated vsize (KiB) 127216 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 25532 and gives # childrusage.ru_utime.tv_sec=0 # childrusage.ru_utime.tv_usec=917860 # childrusage.ru_stime.tv_sec=0 # childrusage.ru_stime.tv_usec=27995 # CPU time returned by wait4() is 0.945855 # while last known CPU time is 1300.03 # # 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.03 CPU user time (s): 1299.73 CPU system time (s): 0.3 CPU usage (%): 100.001 Max. virtual memory (cumulated for all children) (KiB): 176536 getrusage(RUSAGE_CHILDREN,...) data: user time used= 0.91786 system time used= 0.027995 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 6890 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= 7 involuntary context switches= 3 runsolver used 2.15867 second user time and 4.94125 second system time The end
Begin job on node127 at 2011-04-26 03:45:07 IDJOB=3293174 IDBENCH=88062 IDSOLVER=1651 FILE ID=node127/3293174-1303782306 RUNJOBID= node127-1303779629-24850 PBS_JOBID= 13157213 Free space on /tmp= 71184 MiB SOLVER NAME= glucose 2 BENCH NAME= SAT02/industrial/nam/fpga-routing/k2fix_gr_rcs_w8.shuffled.cnf COMMAND LINE= glucose.sh BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3293174-1303782306/watcher-3293174-1303782306 -o /tmp/evaluation-result-3293174-1303782306/solver-3293174-1303782306 -C 2400 -W 1300 -M 7680 glucose.sh HOME/instance-3293174-1303782306.cnf TIME LIMIT= 2400 seconds MEMORY LIMIT= 7680 MiB NBCORE= 2 MD5SUM BENCH= 82e833e539576c6d79252b19dcace0cf RANDOM SEED=1855343358 node127.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.823 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.64 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.823 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 : 5332.83 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.823 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.74 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.823 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.86 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.823 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.823 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.823 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.60 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.823 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.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32950928 kB MemFree: 27910092 kB Buffers: 1258604 kB Cached: 2904344 kB SwapCached: 0 kB Active: 1009728 kB Inactive: 3563176 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32950928 kB LowFree: 27910092 kB SwapTotal: 67111528 kB SwapFree: 67111364 kB Dirty: 4736 kB Writeback: 0 kB AnonPages: 409456 kB Mapped: 15288 kB Slab: 401436 kB PageTables: 6180 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83586992 kB Committed_AS: 674892 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= 71932 MiB End job on node127 at 2011-04-26 04:06:49