0.00/0.00 c Parsing...
0.00/0.20 c ==============================================================================
0.00/0.20 c | | ORIGINAL | LEARNT | |
0.00/0.20 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress |
0.00/0.20 c ==============================================================================
0.00/0.20 c | 0 | 222378 518882 | 66713 0 0 nan | 0.000 % |
1.48/1.59 c | 0 | 95236 376800 | -- 0 -- -- | -- | -127140/-142077
1.48/1.59 c ==============================================================================
1.48/1.59 c Result : #vars: 12806 #clauses: 95236 #literals: 376800
1.48/1.59 c CPU time: 1.50177 s
1.48/1.59 c ==============================================================================
1.68/1.72 c This is MiniSat 2.0 beta
1.68/1.72 c WARNING: for repeatability, setting FPU to use double precision
1.68/1.72 c ============================[ Problem Statistics ]=============================
1.68/1.72 c | |
1.68/1.72 c | Number of variables: 12806 |
1.68/1.72 c | Number of clauses: 95236 |
1.68/1.79 c | Parsing time: 0.06 s |
1.68/1.80 c ============================[ Search Statistics ]==============================
1.68/1.80 c | Conflicts | ORIGINAL | LEARNT | Progress |
1.68/1.80 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
1.68/1.80 c ===============================================================================
1.68/1.80 c | 0 | 12806 95236 376800 | 31745 0 nan | 0.000 % |
1.71/1.81 c | 100 | 12792 95236 376800 | 31745 96 7 | 0.273 % |
1.71/1.84 c | 201 | 12784 95236 376800 | 31745 197 8 | 0.273 % |
1.71/1.87 c | 301 | 12782 95236 376800 | 31745 297 10 | 0.273 % |
1.71/1.87 c | 412 | 12782 95236 376800 | 31745 408 9 | 0.273 % |
1.71/1.90 c | 512 | 12775 95236 376800 | 31745 508 10 | 0.273 % |
1.71/1.92 c | 622 | 12775 95236 376800 | 31745 618 10 | 0.273 % |
1.71/1.95 c | 743 | 12775 95236 376800 | 31745 739 11 | 0.273 % |
1.71/1.97 c | 844 | 12767 95236 376800 | 31745 839 11 | 0.375 % |
1.71/1.99 c | 955 | 12767 95236 376800 | 31745 950 12 | 0.375 % |
1.71/2.02 c | 1076 | 12767 95236 376800 | 31745 1071 13 | 0.375 % |
1.71/2.03 c | 1210 | 12764 95236 376800 | 31745 1204 12 | 0.406 % |
1.71/2.03 c | 1311 | 12764 95236 376800 | 31745 1305 13 | 0.406 % |
1.71/2.05 c | 1421 | 12754 95236 376800 | 31745 1413 12 | 0.562 % |
1.71/2.07 c | 1543 | 12734 93579 370272 | 31745 1518 13 | 0.562 % |
1.71/2.08 c | 1676 | 12734 93579 370272 | 31745 1651 13 | 0.562 % |
2.08/2.11 c | 1822 | 12734 93579 370272 | 31745 1797 15 | 0.562 % |
2.08/2.13 c | 1923 | 12734 93579 370272 | 31745 1898 15 | 0.562 % |
2.08/2.14 c | 2034 | 12734 93579 370272 | 31745 2009 16 | 0.562 % |
2.08/2.15 c | 2156 | 12734 93579 370272 | 31745 2131 17 | 0.562 % |
2.08/2.15 c | 2290 | 12734 93579 370272 | 31745 2265 17 | 0.562 % |
2.08/2.16 c | 2437 | 12734 93579 370272 | 31745 2412 16 | 0.562 % |
2.08/2.18 c | 2597 | 12734 93579 370272 | 31745 2572 16 | 0.562 % |
2.08/2.19 c | 2698 | 12734 93579 370272 | 31745 2673 16 | 0.562 % |
2.08/2.20 c | 2808 | 12734 93579 370272 | 31745 2783 16 | 0.562 % |
2.18/2.21 c | 2931 | 12734 93579 370272 | 31745 2906 16 | 0.562 % |
2.18/2.23 c | 3065 | 12734 93579 370272 | 31745 3040 15 | 0.562 % |
2.18/2.26 c | 3213 | 12734 93579 370272 | 31745 3188 16 | 0.562 % |
2.28/2.30 c | 3373 | 12734 93579 370272 | 31745 3348 16 | 0.562 % |
2.28/2.32 c | 3549 | 12734 93579 370272 | 31745 3524 16 | 0.562 % |
2.28/2.32 c | 3649 | 12734 93579 370272 | 31745 3624 16 | 0.562 % |
2.28/2.34 c | 3759 | 12734 93579 370272 | 31745 3734 17 | 0.562 % |
2.28/2.35 c | 3881 | 12734 93579 370272 | 31745 3856 17 | 0.562 % |
2.28/2.35 c | 4015 | 12734 93579 370272 | 31745 3990 17 | 0.562 % |
2.28/2.38 c | 4161 | 12732 93526 369760 | 31745 4135 17 | 0.578 % |
2.38/2.40 c | 4321 | 12732 93526 369760 | 31745 4295 17 | 0.578 % |
2.38/2.41 c | 4497 | 12732 93526 369760 | 31745 4471 17 | 0.578 % |
2.38/2.45 c | 4691 | 12728 93526 369760 | 31745 4663 17 | 0.609 % |
2.38/2.47 c | 4792 | 12708 93526 369760 | 31745 4762 17 | 0.828 % |
2.38/2.48 c | 4903 | 12708 93526 369760 | 31745 4873 17 | 0.828 % |
2.38/2.50 c | 5025 | 12708 93526 369760 | 31745 4995 17 | 0.828 % |
2.47/2.50 c | 5163 | 12708 93526 369760 | 31745 5133 18 | 0.828 % |
2.47/2.52 c | 5309 | 12708 93526 369760 | 31745 5279 18 | 0.828 % |
2.47/2.53 c | 5469 | 12708 93526 369760 | 31745 5439 18 | 0.828 % |
2.47/2.56 c | 5647 | 12703 93526 369760 | 31745 5616 18 | 0.867 % |
2.47/2.57 c | 5840 | 12703 93526 369760 | 31745 5809 18 | 0.867 % |
2.57/2.61 c | 6052 | 12703 93526 369760 | 31745 6021 19 | 0.867 % |
2.57/2.62 c | 6152 | 12703 93526 369760 | 31745 6121 19 | 0.867 % |
2.57/2.63 c | 6262 | 12703 93526 369760 | 31745 6231 19 | 0.867 % |
2.57/2.65 c | 6383 | 12703 93526 369760 | 31745 6352 19 | 0.867 % |
2.57/2.68 c | 6516 | 12681 92945 367636 | 31745 6478 19 | 1.234 % |
2.67/2.70 c | 6667 | 12681 92945 367636 | 31745 6629 19 | 1.234 % |
2.67/2.72 c | 6828 | 12679 92945 367636 | 31745 6790 19 | 1.234 % |
2.67/2.74 c | 7005 | 12679 92945 367636 | 31745 6967 19 | 1.234 % |
2.67/2.76 c | 7198 | 12679 92945 367636 | 31745 7160 20 | 1.234 % |
2.67/2.78 c | 7411 | 12679 92945 367636 | 31745 7373 19 | 1.234 % |
2.77/2.80 c | 7644 | 12679 92945 367636 | 31745 7606 19 | 1.234 % |
2.77/2.81 c | 7747 | 12676 92945 367636 | 31745 7708 19 | 1.265 % |
2.77/2.83 c | 7857 | 12676 92945 367636 | 31745 7818 19 | 1.265 % |
2.77/2.84 c | 7978 | 12676 92945 367636 | 31745 7939 19 | 1.265 % |
2.77/2.85 c | 8111 | 12676 92945 367636 | 31745 8072 19 | 1.265 % |
2.77/2.87 c | 8258 | 12676 92945 367636 | 31745 8219 19 | 1.265 % |
2.77/2.87 c | 8418 | 12676 92945 367636 | 31745 8379 19 | 1.265 % |
2.77/2.89 c | 8594 | 12676 92945 367636 | 31745 8555 19 | 1.265 % |
2.77/2.90 c | 8787 | 12676 92945 367636 | 31745 8748 19 | 1.265 % |
2.87/2.93 c | 9000 | 12676 92945 367636 | 31745 8961 19 | 1.265 % |
2.87/2.96 c | 9233 | 12675 92945 367636 | 31745 9193 19 | 1.296 % |
2.87/2.99 c | 9489 | 12675 92945 367636 | 31745 9449 19 | 1.296 % |
2.97/3.00 c | 9590 | 12675 92945 367636 | 31745 9550 19 | 1.296 % |
2.97/3.02 c | 9700 | 12675 92945 367636 | 31745 9660 19 | 1.296 % |
2.97/3.05 c | 9821 | 12640 91658 362837 | 31745 9772 19 | 1.296 % |
2.97/3.07 c | 9954 | 12640 91658 362837 | 31745 9905 19 | 1.296 % |
2.97/3.09 c | 10100 | 12640 91658 362837 | 2147483647 10051 19 | 1.296 % |
3.07/3.11 c | 10260 | 12640 91658 362837 | 2147483647 10211 19 | 1.296 % |
3.07/3.14 c | 10439 | 12635 91658 362837 | 2147483647 10387 19 | 1.468 % |
3.07/3.17 c | 10632 | 12635 91658 362837 | 2147483647 10580 19 | 1.468 % |
3.17/3.21 c | 10846 | 12632 91658 362837 | 2147483647 10794 19 | 1.468 % |
3.17/3.24 c | 11079 | 12632 91658 362837 | 2147483647 11027 19 | 1.468 % |
3.17/3.27 c | 11337 | 12632 91658 362837 | 2147483647 11285 19 | 1.468 % |
3.27/3.31 c | 11618 | 12632 91658 362837 | 2147483647 11566 19 | 1.468 % |
3.27/3.32 c | 11719 | 12632 91658 362837 | 2147483647 11667 19 | 1.468 % |
3.27/3.34 c | 11829 | 12632 91658 362837 | 2147483647 11777 19 | 1.468 % |
3.27/3.35 c | 11951 | 12632 91658 362837 | 2147483647 11899 19 | 1.468 % |
3.27/3.36 c | 12085 | 12630 91658 362837 | 2147483647 12032 19 | 1.499 % |
3.27/3.38 c | 12231 | 12630 91658 362837 | 2147483647 12178 20 | 1.499 % |
3.36/3.40 c | 12392 | 12621 91658 362837 | 2147483647 12337 20 | 1.718 % |
3.36/3.43 c | 12569 | 12620 91658 362837 | 2147483647 12514 20 | 1.718 % |
3.36/3.45 c | 12766 | 12586 90714 359263 | 2147483647 12688 20 | 1.718 % |
3.36/3.46 c | 12978 | 12586 90714 359263 | 2147483647 12900 20 | 1.718 % |
3.36/3.49 c | 13212 | 12586 90714 359263 | 2147483647 13134 20 | 1.718 % |
3.46/3.51 c | 13468 | 12586 90714 359263 | 2147483647 13390 20 | 1.718 % |
3.46/3.55 c | 13753 | 12583 90714 359263 | 2147483647 13674 20 | 1.851 % |
3.46/3.57 c | 14063 | 12583 90714 359263 | 2147483647 13984 21 | 1.851 % |
3.46/3.59 c | 14165 | 12583 90714 359263 | 2147483647 14086 20 | 1.851 % |
3.46/3.59 c | 14275 | 12583 90714 359263 | 2147483647 14196 21 | 1.851 % |
3.56/3.61 c | 14396 | 12583 90714 359263 | 2147483647 14317 21 | 1.851 % |
3.56/3.62 c | 14529 | 12583 90714 359263 | 2147483647 14450 21 | 1.851 % |
3.56/3.64 c | 14675 | 12583 90714 359263 | 2147483647 14596 21 | 1.851 % |
3.56/3.66 c | 14836 | 12578 90714 359263 | 2147483647 14755 21 | 2.171 % |
3.56/3.69 c | 15012 | 12565 90714 359263 | 2147483647 14930 21 | 2.194 % |
3.66/3.71 c | 15206 | 12564 90714 359263 | 2147483647 15123 21 | 2.233 % |
3.66/3.74 c | 15418 | 12564 90714 359263 | 2147483647 15335 21 | 2.233 % |
3.66/3.77 c | 15651 | 12564 90714 359263 | 2147483647 15568 21 | 2.233 % |
3.66/3.80 c | 15908 | 12564 90714 359263 | 2147483647 15825 21 | 2.233 % |
3.76/3.82 c | 16189 | 12564 90714 359263 | 2147483647 16106 21 | 2.233 % |
3.76/3.87 c | 16500 | 12564 90714 359263 | 2147483647 16417 21 | 2.233 % |
3.86/3.90 c | 16839 | 12564 90714 359263 | 2147483647 16756 21 | 2.233 % |
3.86/3.93 c | 16943 | 12520 89437 355188 | 2147483647 16857 22 | 2.233 % |
3.86/3.94 c | 17059 | 12520 89437 355188 | 2147483647 16973 22 | 2.233 % |
3.86/3.95 c | 17181 | 12520 89437 355188 | 2147483647 17095 22 | 2.233 % |
3.86/3.98 c | 17315 | 12520 89437 355188 | 2147483647 17229 21 | 2.233 % |
3.96/4.02 c | 17462 | 12520 89437 355188 | 2147483647 17376 21 | 2.233 % |
3.96/4.04 c | 17624 | 12520 89437 355188 | 2147483647 17538 22 | 2.233 % |
3.96/4.05 c | 17800 | 12520 89437 355188 | 2147483647 17714 22 | 2.233 % |
3.96/4.08 c | 17993 | 12520 89437 355188 | 2147483647 17907 22 | 2.233 % |
4.06/4.10 c | 18205 | 12520 89437 355188 | 2147483647 18119 22 | 2.233 % |
4.06/4.13 c | 18438 | 12520 89437 355188 | 2147483647 18352 22 | 2.233 % |
4.06/4.16 c | 18694 | 12520 89437 355188 | 2147483647 18608 22 | 2.233 % |
4.06/4.19 c | 18975 | 12520 89437 355188 | 2147483647 18889 22 | 2.233 % |
4.16/4.21 c | 19284 | 12520 89437 355188 | 2147483647 19198 22 | 2.233 % |
4.16/4.27 c | 19623 | 12520 89437 355188 | 2147483647 19537 22 | 2.233 % |
4.16/4.29 c | 19995 | 12520 89437 355188 | 2147483647 19909 22 | 2.233 % |
4.16/4.29 c | 20095 | 12520 89437 355188 | 2147483647 20009 22 | 2.233 % |
4.26/4.31 c | 20205 | 12520 89437 355188 | 2147483647 20119 22 | 2.233 % |
4.26/4.32 c | 20329 | 12520 89437 355188 | 2147483647 20243 22 | 2.233 % |
4.26/4.34 c | 20462 | 12520 89437 355188 | 2147483647 20376 22 | 2.233 % |
4.26/4.36 c | 20608 | 12520 89437 355188 | 2147483647 20522 22 | 2.233 % |
4.26/4.38 c | 20768 | 12520 89437 355188 | 2147483647 20682 22 | 2.233 % |
4.26/4.39 c | 20944 | 12520 89437 355188 | 2147483647 20858 22 | 2.233 % |
4.36/4.41 c | 21140 | 12520 89437 355188 | 2147483647 21054 22 | 2.233 % |
4.36/4.43 c | 21353 | 12498 89437 355188 | 2147483647 21266 22 | 2.796 % |
4.36/4.48 c | 21587 | 12496 89437 355188 | 2147483647 21499 22 | 3.116 % |
4.46/4.51 c | 21843 | 12496 89437 355188 | 2147483647 21755 22 | 3.116 % |
4.46/4.53 c | 22124 | 12407 87958 349537 | 2147483647 20940 23 | 3.116 % |
4.46/4.57 c | 22433 | 12407 87958 349537 | 2147483647 21249 23 | 3.116 % |
4.46/4.60 c | 22772 | 12407 87958 349537 | 2147483647 21588 23 | 3.116 % |
4.56/4.63 c | 23149 | 12404 87958 349537 | 2147483647 21964 23 | 3.155 % |
4.56/4.68 c | 23558 | 12402 87958 349537 | 2147483647 22373 23 | 3.155 % |
4.56/4.69 c | 23658 | 12402 87958 349537 | 2147483647 22473 23 | 3.155 % |
4.66/4.70 c | 23768 | 12402 87958 349537 | 2147483647 22583 23 | 3.155 % |
4.66/4.72 c | 23890 | 12402 87958 349537 | 2147483647 22705 23 | 3.155 % |
4.66/4.73 c | 24023 | 12402 87958 349537 | 2147483647 22838 23 | 3.155 % |
4.66/4.77 c | 24170 | 12402 87958 349537 | 2147483647 22985 23 | 3.155 % |
4.66/4.79 c | 24330 | 12402 87958 349537 | 2147483647 23145 23 | 3.155 % |
4.76/4.81 c | 24507 | 12402 87958 349537 | 2147483647 23322 23 | 3.155 % |
4.76/4.84 c | 24701 | 12399 87958 349537 | 2147483647 23515 23 | 3.178 % |
4.76/4.86 c | 24913 | 12398 87958 349537 | 2147483647 23726 23 | 3.186 % |
4.76/4.88 c | 25147 | 12398 87958 349537 | 2147483647 23960 23 | 3.186 % |
4.86/4.92 c | 25405 | 12398 87958 349537 | 2147483647 24218 23 | 3.186 % |
4.86/4.95 c | 25686 | 12398 87958 349537 | 2147483647 24499 23 | 3.186 % |
4.86/5.00 c | 25995 | 12398 87958 349537 | 2147483647 24808 23 | 3.186 % |
4.96/5.03 c | 26334 | 12398 87958 349537 | 2147483647 25147 24 | 3.186 % |
4.96/5.08 c | 26706 | 12398 87958 349537 | 2147483647 25519 24 | 3.186 % |
5.06/5.12 c | 27121 | 12398 87958 349537 | 2147483647 25934 24 | 3.186 % |
5.06/5.16 c | 27572 | 12398 87958 349537 | 2147483647 26385 24 | 3.186 % |
5.06/5.18 c | 27676 | 12397 87958 349537 | 2147483647 26488 24 | 3.194 % |
5.06/5.19 c | 27786 | 12397 87958 349537 | 2147483647 26598 24 | 3.194 % |
5.15/5.20 c | 27910 | 12397 87958 349537 | 2147483647 26722 24 | 3.194 % |
5.15/5.22 c | 28044 | 12397 87958 349537 | 2147483647 26856 24 | 3.194 % |
5.15/5.23 c | 28192 | 12397 87958 349537 | 2147483647 27004 24 | 3.194 % |
5.15/5.26 c | 28359 | 12397 87958 349537 | 2147483647 27171 24 | 3.194 % |
5.15/5.27 c | 28535 | 12397 87958 349537 | 2147483647 27347 24 | 3.194 % |
5.25/5.31 c | 28728 | 12394 87815 348975 | 2147483647 27509 24 | 3.217 % |
5.25/5.33 c | 28940 | 12394 87815 348975 | 2147483647 27721 24 | 3.217 % |
5.25/5.35 c | 29173 | 12394 87815 348975 | 2147483647 27954 24 | 3.217 % |
5.25/5.38 c | 29429 | 12394 87815 348975 | 2147483647 28210 24 | 3.217 % |
5.35/5.43 c | 29712 | 12394 87815 348975 | 2147483647 28493 24 | 3.217 % |
5.35/5.46 c | 30022 | 12394 87815 348975 | 2147483647 28803 24 | 3.217 % |
5.45/5.51 c | 30363 | 12378 87815 348975 | 2147483647 29143 24 | 3.545 % |
5.45/5.54 c | 30736 | 12378 87815 348975 | 2147483647 29516 24 | 3.545 % |
5.45/5.57 c | 31146 | 12378 87815 348975 | 2147483647 29926 24 | 3.545 % |
5.55/5.60 c | 31598 | 12376 87815 348975 | 2147483647 30377 25 | 3.639 % |
5.55/5.63 c | 32098 | 12376 87815 348975 | 2147483647 30877 25 | 3.639 % |
5.55/5.64 c | 32198 | 12376 87815 348975 | 2147483647 30977 25 | 3.639 % |
5.55/5.66 c | 32309 | 12373 87815 348975 | 2147483647 31087 25 | 3.662 % |
5.55/5.69 c | 32432 | 12373 87815 348975 | 2147483647 31210 25 | 3.662 % |
5.55/5.69 c | 32567 | 12373 87815 348975 | 2147483647 31345 25 | 3.662 % |
5.65/5.72 c | 32713 | 12370 87815 348975 | 2147483647 31490 25 | 3.686 % |
5.65/5.73 c | 32873 | 12370 87815 348975 | 2147483647 31650 25 | 3.686 % |
5.65/5.75 c | 33054 | 12370 87815 348975 | 2147483647 31831 25 | 3.686 % |
5.65/5.78 c | 33248 | 12370 87815 348975 | 2147483647 32025 25 | 3.686 % |
5.75/5.82 c | 33461 | 12370 87815 348975 | 2147483647 32238 25 | 3.686 % |
5.75/5.84 c | 33694 | 12370 87815 348975 | 2147483647 32471 25 | 3.686 % |
5.75/5.87 c | 33957 | 12370 87815 348975 | 2147483647 32734 25 | 3.686 % |
5.85/5.90 c | 34241 | 12366 87815 348975 | 2147483647 33017 25 | 3.772 % |
5.85/5.93 c | 34557 | 12366 87815 348975 | 2147483647 33333 25 | 3.772 % |
5.85/5.96 c | 34898 | 12366 87815 348975 | 2147483647 33674 25 | 3.772 % |
5.85/6.00 c | 35277 | 12366 87815 348975 | 2147483647 34053 25 | 3.772 % |
5.95/6.03 c | 35686 | 12366 87815 348975 | 2147483647 34462 25 | 3.772 % |
5.95/6.07 c | 36140 | 12366 87815 348975 | 2147483647 34916 25 | 3.772 % |
6.05/6.11 c | 36633 | 12366 87815 348975 | 2147483647 35409 25 | 3.772 % |
6.05/6.16 c | 37175 | 12366 87815 348975 | 2147483647 35951 25 | 3.772 % |
6.05/6.18 c | 37276 | 12366 87815 348975 | 2147483647 36052 25 | 3.772 % |
6.15/6.20 c | 37388 | 12366 87815 348975 | 2147483647 36164 25 | 3.772 % |
6.15/6.22 c | 37514 | 12366 87815 348975 | 2147483647 36290 25 | 3.772 % |
6.15/6.24 c | 37649 | 12366 87815 348975 | 2147483647 36425 25 | 3.772 % |
6.15/6.25 c | 37796 | 12366 87815 348975 | 2147483647 36572 25 | 3.772 % |
6.15/6.27 c | 37958 | 12366 87815 348975 | 2147483647 36734 25 | 3.772 % |
6.15/6.29 c | 38134 | 12366 87815 348975 | 2147483647 36910 25 | 3.772 % |
6.25/6.32 c | 38327 | 12366 87815 348975 | 2147483647 37103 25 | 3.772 % |
6.25/6.34 c | 38540 | 12366 87815 348975 | 2147483647 37316 25 | 3.772 % |
6.25/6.36 c | 38773 | 12366 87815 348975 | 2147483647 37549 25 | 3.772 % |
6.25/6.39 c | 39036 | 12366 87815 348975 | 2147483647 37812 25 | 3.772 % |
6.35/6.42 c | 39317 | 12366 87815 348975 | 2147483647 38093 25 | 3.772 % |
6.35/6.48 c | 39628 | 12345 87815 348975 | 2147483647 38404 25 | 3.772 % |
6.45/6.54 c | 39968 | 12323 86710 344759 | 2147483647 38525 25 | 3.772 % |
6.45/6.59 c | 40343 | 12323 86710 344759 | 2147483647 38900 25 | 3.772 % |
6.55/6.63 c | 40752 | 12323 86710 344759 | 2147483647 39309 25 | 3.772 % |
6.55/6.67 c | 41201 | 12323 86710 344759 | 2147483647 39758 25 | 3.772 % |
6.64/6.71 c | 41697 | 12323 86710 344759 | 2147483647 40254 25 | 3.772 % |
6.64/6.78 c | 42239 | 12323 86710 344759 | 2147483647 40796 26 | 3.772 % |
6.74/6.83 c | 42835 | 12323 86710 344759 | 2147483647 41392 25 | 3.772 % |
6.74/6.85 c | 42942 | 12323 86710 344759 | 2147483647 41499 25 | 3.772 % |
6.74/6.85 c | 43053 | 12322 86710 344759 | 2147483647 41609 25 | 3.819 % |
6.74/6.87 c | 43175 | 12320 86710 344759 | 2147483647 41731 25 | 3.819 % |
6.74/6.90 c | 43309 | 12320 86710 344759 | 2147483647 41865 25 | 3.819 % |
6.84/6.91 c | 43455 | 12320 86710 344759 | 2147483647 42011 25 | 3.819 % |
6.84/6.93 c | 43615 | 12320 86710 344759 | 2147483647 42171 25 | 3.819 % |
6.84/6.95 c | 43792 | 12320 86710 344759 | 2147483647 42348 25 | 3.819 % |
6.84/6.98 c | 43986 | 12320 86710 344759 | 2147483647 42542 25 | 3.819 % |
6.94/7.00 c | 44199 | 12320 86710 344759 | 2147483647 42755 25 | 3.819 % |
6.94/7.02 c | 44432 | 12320 86710 344759 | 2147483647 42988 25 | 3.819 % |
6.94/7.04 c | 44688 | 12320 86710 344759 | 2147483647 43244 25 | 3.819 % |
6.94/7.07 c | 44969 | 12320 86710 344759 | 2147483647 43525 25 | 3.819 % |
7.04/7.11 c | 45279 | 12319 86710 344759 | 2147483647 43834 25 | 3.834 % |
7.04/7.16 c | 45619 | 12318 86710 344759 | 2147483647 44174 25 | 3.834 % |
7.14/7.21 c | 45995 | 12318 86710 344759 | 2147483647 44550 25 | 3.834 % |
7.14/7.26 c | 46407 | 12318 86710 344759 | 2147483647 44962 25 | 3.834 % |
7.24/7.31 c | 46856 | 12318 86710 344759 | 2147483647 45411 25 | 3.834 % |
7.24/7.36 c | 47357 | 12318 86710 344759 | 2147483647 45912 25 | 3.834 % |
7.34/7.42 c | 47899 | 12318 86710 344759 | 2147483647 46454 25 | 3.834 % |
7.34/7.49 c | 48495 | 12318 86710 344759 | 2147483647 47050 25 | 3.834 % |
7.44/7.57 c | 49152 | 12318 86710 344759 | 2147483647 47707 25 | 3.834 % |
7.44/7.59 c | 49252 | 12318 86710 344759 | 2147483647 47807 25 | 3.834 % |
7.54/7.61 c | 49362 | 12318 86710 344759 | 2147483647 47917 25 | 3.834 % |
7.54/7.63 c | 49483 | 12318 86710 344759 | 2147483647 48038 25 | 3.834 % |
7.54/7.66 c | 49616 | 12318 86710 344759 | 2147483647 48171 25 | 3.834 % |
7.54/7.68 c | 49762 | 12318 86710 344759 | 2147483647 48317 25 | 3.834 % |
7.64/7.70 c | 49923 | 12318 86710 344759 | 2147483647 48478 25 | 3.834 % |
7.64/7.73 c | 50100 | 12318 86710 344759 | 2147483647 48655 25 | 3.834 % |
7.64/7.75 c | 50293 | 12318 86710 344759 | 2147483647 48848 25 | 3.834 % |
7.64/7.77 c | 50505 | 12318 86710 344759 | 2147483647 49060 25 | 3.834 % |
7.74/7.80 c | 50744 | 12318 86710 344759 | 2147483647 49299 25 | 3.834 % |
7.74/7.85 c | 51000 | 12318 86710 344759 | 2147483647 49555 25 | 3.834 % |
7.74/7.89 c | 51282 | 12314 86710 344759 | 2147483647 49836 25 | 3.865 % |
7.84/7.95 c | 51593 | 12314 86710 344759 | 2147483647 50147 25 | 3.865 % |
7.94/8.00 c | 51932 | 12310 86710 344759 | 2147483647 50485 25 | 3.897 % |
7.94/8.08 c | 52304 | 12310 86710 344759 | 2147483647 50857 25 | 3.897 % |
8.04/8.13 c | 52713 | 12310 86710 344759 | 2147483647 51266 25 | 3.897 % |
8.04/8.17 c | 53162 | 12310 86710 344759 | 2147483647 51715 25 | 3.897 % |
8.15/8.23 c | 53655 | 12298 86710 344759 | 2147483647 52207 25 | 4.014 % |
8.25/8.34 c | 54199 | 12292 86419 343519 | 2147483647 40677 24 | 4.014 % |
8.25/8.39 c | 54795 | 12292 86419 343519 | 2147483647 41273 24 | 4.014 % |
8.34/8.49 c | 55450 | 12290 86419 343519 | 2147483647 41926 24 | 4.467 % |
8.44/8.59 c | 56176 | 12290 86419 343519 | 2147483647 42652 24 | 4.467 % |
8.54/8.61 c | 56277 | 12290 86419 343519 | 2147483647 42753 24 | 4.467 % |
8.54/8.63 c | 56387 | 12290 86419 343519 | 2147483647 42863 24 | 4.467 % |
8.54/8.65 c | 56512 | 12290 86419 343519 | 2147483647 42988 24 | 4.467 % |
8.54/8.68 c | 56647 | 12286 86419 343519 | 2147483647 43121 24 | 4.498 % |
8.54/8.69 c | 56796 | 12286 86419 343519 | 2147483647 43270 24 | 4.498 % |
8.65/8.71 c | 56957 | 12286 86419 343519 | 2147483647 43431 24 | 4.498 % |
8.65/8.72 c | 57136 | 12286 86419 343519 | 2147483647 43610 24 | 4.498 % |
8.65/8.75 c | 57329 | 12286 86419 343519 | 2147483647 43803 24 | 4.498 % |
8.65/8.77 c | 57544 | 12286 86419 343519 | 2147483647 44018 24 | 4.498 % |
8.75/8.81 c | 57777 | 12286 86419 343519 | 2147483647 44251 24 | 4.498 % |
8.75/8.83 c | 58037 | 12286 86419 343519 | 2147483647 44511 24 | 4.498 % |
8.75/8.87 c | 58318 | 12286 86419 343519 | 2147483647 44792 24 | 4.498 % |
8.84/8.90 c | 58628 | 12286 86419 343519 | 2147483647 45102 24 | 4.498 % |
8.84/8.93 c | 58967 | 12286 86419 343519 | 2147483647 45441 24 | 4.498 % |
8.84/8.96 c | 59340 | 12286 86419 343519 | 2147483647 45814 24 | 4.498 % |
8.94/9.00 c | 59754 | 12286 86419 343519 | 2147483647 46228 24 | 4.498 % |
8.94/9.05 c | 60203 | 12286 86419 343519 | 2147483647 46677 24 | 4.498 % |
9.04/9.10 c | 60696 | 12286 86419 343519 | 2147483647 47170 24 | 4.498 % |
9.04/9.17 c | 61240 | 12286 86419 343519 | 2147483647 47714 24 | 4.498 % |
9.14/9.23 c | 61840 | 12286 86419 343519 | 2147483647 48314 24 | 4.498 % |
9.24/9.30 c | 62495 | 12286 86419 343519 | 2147483647 48969 24 | 4.498 % |
9.24/9.37 c | 63216 | 12286 86419 343519 | 2147483647 49690 24 | 4.498 % |
9.34/9.45 c | 64010 | 12286 86419 343519 | 2147483647 50483 23 | 4.607 % |
9.34/9.48 c | 64118 | 12286 86419 343519 | 2147483647 50591 23 | 4.607 % |
9.34/9.49 c | 64231 | 12286 86419 343519 | 2147483647 50704 23 | 4.607 % |
9.44/9.51 c | 64352 | 12286 86419 343519 | 2147483647 50825 23 | 4.607 % |
9.44/9.53 c | 64488 | 12286 86419 343519 | 2147483647 50961 23 | 4.607 % |
9.44/9.55 c | 64636 | 12286 86419 343519 | 2147483647 51109 23 | 4.607 % |
9.44/9.58 c | 64801 | 12286 86419 343519 | 2147483647 51274 23 | 4.607 % |
9.54/9.60 c | 64981 | 12286 86419 343519 | 2147483647 51454 23 | 4.607 % |
9.54/9.63 c | 65176 | 12286 86419 343519 | 2147483647 51649 23 | 4.607 % |
9.54/9.65 c | 65389 | 12286 86419 343519 | 2147483647 51862 23 | 4.607 % |
9.54/9.68 c | 65629 | 12286 86419 343519 | 2147483647 52102 23 | 4.607 % |
9.64/9.71 c | 65887 | 12286 86419 343519 | 2147483647 52360 23 | 4.607 % |
9.64/9.75 c | 66168 | 12286 86419 343519 | 2147483647 52641 23 | 4.607 % |
9.64/9.78 c | 66477 | 12286 86419 343519 | 2147483647 52950 23 | 4.607 % |
9.74/9.82 c | 66822 | 12286 86419 343519 | 2147483647 53295 23 | 4.607 % |
9.74/9.87 c | 67202 | 12286 86419 343519 | 2147483647 53675 23 | 4.607 % |
9.85/9.91 c | 67612 | 12286 86419 343519 | 2147483647 54085 23 | 4.607 % |
9.85/9.96 c | 68064 | 12286 86419 343519 | 2147483647 54537 23 | 4.607 % |
9.94/10.04 c | 68559 | 12286 86419 343519 | 2147483647 55032 23 | 4.607 % |
10.04/10.14 c | 69102 | 12216 85520 339515 | 2147483647 55140 23 | 4.607 % |
10.14/10.21 c | 69698 | 12216 85520 339515 | 2147483647 55736 23 | 4.607 % |
10.14/10.30 c | 70353 | 12216 85520 339515 | 2147483647 56391 23 | 4.607 % |
10.24/10.38 c | 71076 | 12216 85520 339515 | 2147483647 57114 23 | 4.607 % |
10.34/10.48 c | 71868 | 12216 85520 339515 | 2147483647 57906 23 | 4.607 % |
10.44/10.59 c | 72739 | 12216 85520 339515 | 2147483647 58777 23 | 4.607 % |
10.54/10.61 c | 72839 | 12216 85520 339515 | 2147483647 58877 23 | 4.607 % |
10.54/10.63 c | 72949 | 12216 85520 339515 | 2147483647 58987 23 | 4.607 % |
10.54/10.64 c | 73070 | 12216 85520 339515 | 2147483647 59108 23 | 4.607 % |
10.54/10.66 c | 73203 | 12216 85520 339515 | 2147483647 59241 23 | 4.607 % |
10.54/10.68 c | 73350 | 12216 85520 339515 | 2147483647 59388 23 | 4.607 % |
10.64/10.70 c | 73512 | 12216 85520 339515 | 2147483647 59550 23 | 4.607 % |
10.64/10.74 c | 73689 | 12216 85520 339515 | 2147483647 59727 23 | 4.607 % |
10.64/10.76 c | 73887 | 12216 85520 339515 | 2147483647 59925 23 | 4.607 % |
10.64/10.79 c | 74100 | 12216 85520 339515 | 2147483647 60138 23 | 4.607 % |
10.74/10.83 c | 74334 | 12216 85520 339515 | 2147483647 60372 23 | 4.607 % |
10.74/10.87 c | 74596 | 12216 85520 339515 | 2147483647 60634 23 | 4.607 % |
10.84/10.91 c | 74877 | 12216 85520 339515 | 2147483647 60915 23 | 4.607 % |
10.84/10.95 c | 75187 | 12216 85520 339515 | 2147483647 61225 22 | 4.607 % |
10.94/11.01 c | 75526 | 12216 85520 339515 | 2147483647 61564 22 | 4.607 % |
10.94/11.06 c | 75898 | 12216 85520 339515 | 2147483647 61936 22 | 4.607 % |
11.04/11.11 c | 76311 | 12216 85520 339515 | 2147483647 62349 22 | 4.607 % |
11.04/11.17 c | 76760 | 12216 85520 339515 | 2147483647 62798 22 | 4.607 % |
11.14/11.24 c | 77253 | 12216 85520 339515 | 2147483647 63291 22 | 4.607 % |
11.24/11.32 c | 77799 | 12216 85520 339515 | 2147483647 63837 22 | 4.607 % |
11.34/11.41 c | 78405 | 12216 85520 339515 | 2147483647 64443 22 | 4.607 % |
11.34/11.49 c | 79061 | 12216 85520 339515 | 2147483647 65099 22 | 4.607 % |
11.54/11.60 c | 79781 | 12216 85520 339515 | 2147483647 65819 22 | 4.607 % |
11.64/11.72 c | 80573 | 12216 85520 339515 | 66039 66611 22 | 4.607 % |
11.84/11.91 c | 81444 | 12216 85520 339515 | 66039 56701 22 | 4.607 % |
11.94/12.05 c | 82405 | 12216 85520 339515 | 66039 57662 22 | 4.607 % |
11.94/12.06 c | 82507 | 12216 85520 339515 | 66039 57764 22 | 4.607 % |
11.94/12.08 c | 82618 | 12216 85520 339515 | 66039 57875 22 | 4.607 % |
12.04/12.11 c | 82739 | 12216 85520 339515 | 66039 57996 22 | 4.607 % |
12.04/12.13 c | 82875 | 12216 85520 339515 | 66039 58132 22 | 4.607 % |
12.04/12.15 c | 83028 | 12216 85520 339515 | 66039 58285 22 | 4.607 % |
12.04/12.18 c | 83188 | 12216 85520 339515 | 66039 58445 22 | 4.607 % |
12.14/12.21 c | 83368 | 12216 85520 339515 | 66039 58625 22 | 4.607 % |
12.14/12.25 c | 83561 | 12216 85520 339515 | 66039 58818 22 | 4.607 % |
12.14/12.28 c | 83778 | 12216 85520 339515 | 66039 59035 22 | 4.607 % |
12.24/12.32 c | 84015 | 12216 85520 339515 | 66039 59272 22 | 4.607 % |
12.24/12.37 c | 84273 | 12216 85520 339515 | 66039 59530 22 | 4.607 % |
12.34/12.41 c | 84558 | 12216 85520 339515 | 66039 59815 22 | 4.607 % |
12.34/12.47 c | 84867 | 12216 85520 339515 | 66039 60124 22 | 4.607 % |
12.44/12.52 c | 85208 | 12216 85520 339515 | 66039 60465 22 | 4.607 % |
12.44/12.58 c | 85581 | 12216 85520 339515 | 66039 60838 22 | 4.607 % |
12.54/12.65 c | 85990 | 12216 85520 339515 | 66039 61247 22 | 4.607 % |
12.63/12.72 c | 86440 | 12216 85520 339515 | 66039 61697 22 | 4.607 % |
12.73/12.80 c | 86942 | 12216 85520 339515 | 66039 62199 22 | 4.607 % |
12.73/12.89 c | 87484 | 12216 85520 339515 | 66039 62741 21 | 4.607 % |
12.93/13.00 c | 88081 | 12216 85520 339515 | 66039 63338 21 | 4.607 % |
13.04/13.12 c | 88738 | 12216 85520 339515 | 66039 63995 21 | 4.607 % |
13.14/13.24 c | 89463 | 12216 85520 339515 | 66039 64720 21 | 4.607 % |
13.23/13.37 c | 90255 | 12216 85520 339515 | 65257 65512 21 | 4.607 % |
13.63/13.75 c | 91127 | 12216 85520 339515 | 65257 49144 20 | 4.607 % |
13.83/13.91 c | 92086 | 12216 85520 339515 | 65257 50103 20 | 4.607 % |
14.03/14.11 c | 93142 | 12216 85520 339515 | 65257 51159 20 | 4.607 % |
14.03/14.12 c | 93245 | 12216 85520 339515 | 65257 51262 20 | 4.607 % |
14.03/14.14 c | 93355 | 12216 85520 339515 | 65257 51372 20 | 4.607 % |
14.03/14.16 c | 93477 | 12216 85520 339515 | 65257 51494 20 | 4.607 % |
14.03/14.18 c | 93610 | 12216 85520 339515 | 65257 51627 20 | 4.607 % |
14.13/14.21 c | 93757 | 12216 85520 339515 | 65257 51774 20 | 4.607 % |
14.13/14.23 c | 93917 | 12216 85520 339515 | 65257 51934 20 | 4.607 % |
14.13/14.26 c | 94095 | 12216 85520 339515 | 65257 52112 20 | 4.607 % |
14.13/14.30 c | 94291 | 12216 85520 339515 | 65257 52308 20 | 4.607 % |
14.23/14.33 c | 94505 | 12216 85520 339515 | 65257 52522 20 | 4.607 % |
14.23/14.37 c | 94738 | 12216 85520 339515 | 65257 52755 20 | 4.607 % |
14.33/14.41 c | 95003 | 12216 85520 339515 | 65257 53020 19 | 4.607 % |
14.33/14.46 c | 95284 | 12216 85520 339515 | 65257 53301 19 | 4.607 % |
14.43/14.51 c | 95596 | 12216 85520 339515 | 65257 53613 19 | 4.607 % |
14.43/14.56 c | 95935 | 12216 85520 339515 | 65257 53952 19 | 4.607 % |
14.53/14.62 c | 96309 | 12216 85520 339515 | 65257 54326 19 | 4.607 % |
14.53/14.69 c | 96718 | 12216 85520 339515 | 65257 54735 19 | 4.607 % |
14.63/14.76 c | 97167 | 12216 85520 339515 | 65257 55184 19 | 4.607 % |
14.73/14.84 c | 97666 | 12216 85520 339515 | 65257 55683 19 | 4.607 % |
14.83/14.93 c | 98208 | 12216 85520 339515 | 65257 56225 19 | 4.607 % |
14.92/15.02 c | 98805 | 12216 85520 339515 | 65257 56822 19 | 4.607 % |
15.02/15.13 c | 99463 | 12216 85520 339515 | 65257 57480 19 | 4.607 % |
15.12/15.25 c | 100187 | 12216 85520 339515 | 58018 58204 19 | 4.607 % |
15.82/15.92 c | 100981 | 12216 85520 339515 | 58018 40254 18 | 4.607 % |
15.92/16.04 c | 101858 | 12216 85520 339515 | 58018 41131 18 | 4.607 % |
16.02/16.17 c | 102827 | 12216 85520 339515 | 58018 42100 18 | 4.607 % |
16.22/16.33 c | 103882 | 12216 85520 339515 | 58018 43155 18 | 4.607 % |
16.43/16.50 c | 105040 | 12216 85520 339515 | 58018 44313 18 | 4.607 % |
16.43/16.53 c | 105142 | 12216 85520 339515 | 58018 44415 18 | 4.607 % |
16.43/16.55 c | 105252 | 12216 85520 339515 | 58018 44525 18 | 4.607 % |
16.43/16.57 c | 105377 | 12216 85520 339515 | 58018 44650 18 | 4.607 % |
16.43/16.59 c | 105510 | 12216 85520 339515 | 58018 44783 18 | 4.607 % |
16.52/16.64 c | 105656 | 12204 85329 338783 | 58018 44926 18 | 4.701 % |
16.52/16.66 c | 105816 | 12204 85329 338783 | 58018 45086 18 | 4.701 % |
16.52/16.69 c | 105998 | 12204 85329 338783 | 58018 45268 18 | 4.701 % |
16.62/16.72 c | 106191 | 12204 85329 338783 | 58018 45461 18 | 4.701 % |
16.62/16.75 c | 106403 | 12204 85329 338783 | 58018 45673 18 | 4.701 % |
16.62/16.78 c | 106636 | 12204 85329 338783 | 58018 45906 18 | 4.701 % |
16.72/16.82 c | 106896 | 12204 85329 338783 | 58018 46166 18 | 4.701 % |
16.72/16.86 c | 107179 | 12204 85329 338783 | 58018 46449 18 | 4.701 % |
16.82/16.91 c | 107493 | 12204 85329 338783 | 58018 46763 18 | 4.701 % |
16.82/16.95 c | 107838 | 12204 85329 338783 | 58018 47108 18 | 4.701 % |
16.92/17.01 c | 108210 | 12204 85329 338783 | 58018 47480 18 | 4.701 % |
16.92/17.07 c | 108619 | 12204 85329 338783 | 58018 47889 18 | 4.701 % |
17.02/17.15 c | 109070 | 12204 85329 338783 | 58018 48340 18 | 4.701 % |
17.12/17.22 c | 109564 | 12204 85329 338783 | 58018 48834 17 | 4.701 % |
17.22/17.31 c | 110120 | 12204 85329 338783 | 49270 49390 17 | 4.701 % |
17.22/17.39 c | 110716 | 12204 85329 338783 | 49270 49986 17 | 4.701 % |
18.02/18.10 c | 111371 | 12204 85329 338783 | 49270 35496 17 | 4.701 % |
18.02/18.19 c | 112092 | 12204 85329 338783 | 49270 36217 17 | 4.701 % |
18.12/18.29 c | 112884 | 12204 85329 338783 | 49270 37009 17 | 4.701 % |
18.22/18.39 c | 113755 | 12204 85329 338783 | 49270 37880 17 | 4.701 % |
18.42/18.52 c | 114714 | 12204 85329 338783 | 49270 38839 17 | 4.701 % |
18.52/18.65 c | 115767 | 12204 85329 338783 | 49270 39892 17 | 4.701 % |
18.72/18.80 c | 116925 | 12204 85329 338783 | 49270 41050 16 | 4.701 % |
18.82/18.98 c | 118205 | 12204 85329 338783 | 49270 42330 16 | 4.701 % |
18.82/18.99 c | 118306 | 12204 85329 338783 | 49270 42431 16 | 4.701 % |
18.92/19.01 c | 118416 | 12204 85329 338783 | 49270 42541 16 | 4.701 % |
18.92/19.02 c | 118537 | 12204 85329 338783 | 49270 42662 16 | 4.701 % |
18.92/19.05 c | 118671 | 12204 85329 338783 | 49270 42796 16 | 4.701 % |
18.92/19.07 c | 118817 | 12204 85329 338783 | 49270 42942 16 | 4.701 % |
18.92/19.10 c | 118977 | 12204 85329 338783 | 49270 43102 16 | 4.701 % |
19.01/19.12 c | 119153 | 12204 85329 338783 | 49270 43278 16 | 4.701 % |
19.01/19.15 c | 119346 | 12204 85329 338783 | 49270 43471 16 | 4.701 % |
19.01/19.18 c | 119564 | 12204 85329 338783 | 49270 43689 16 | 4.701 % |
19.11/19.22 c | 119797 | 12204 85329 338783 | 49270 43922 16 | 4.701 % |
19.11/19.25 c | 120054 | 12204 85329 338783 | 44125 44179 16 | 4.701 % |
19.11/19.29 c | 120340 | 12204 85329 338783 | 44125 44465 16 | 4.701 % |
19.21/19.34 c | 120649 | 12204 85329 338783 | 44125 44774 16 | 4.701 % |
19.61/19.77 c | 120988 | 12204 85329 338783 | 44125 31494 16 | 4.701 % |
19.72/19.82 c | 121362 | 12204 85329 338783 | 44125 31868 16 | 4.701 % |
19.72/19.86 c | 121772 | 12204 85329 338783 | 44125 32278 16 | 4.701 % |
19.81/19.91 c | 122221 | 12204 85329 338783 | 44125 32727 16 | 4.701 % |
19.81/19.97 c | 122715 | 12204 85329 338783 | 44125 33221 16 | 4.701 % |
19.91/20.03 c | 123257 | 12204 85329 338783 | 44125 33763 16 | 4.701 % |
19.91/20.10 c | 123856 | 12204 85329 338783 | 44125 34362 16 | 4.701 % |
20.01/20.17 c | 124513 | 12204 85329 338783 | 44125 35019 16 | 4.701 % |
20.11/20.27 c | 125233 | 12204 85329 338783 | 44125 35739 16 | 4.701 % |
20.21/20.37 c | 126027 | 12204 85329 338783 | 44125 36533 16 | 4.701 % |
20.31/20.48 c | 126898 | 12204 85329 338783 | 44125 37404 16 | 4.701 % |
20.51/20.62 c | 127856 | 12204 85329 338783 | 44125 38362 16 | 4.701 % |
20.61/20.76 c | 128912 | 12204 85329 338783 | 44125 39418 16 | 4.701 % |
20.81/20.93 c | 130072 | 12204 85329 338783 | 40508 40578 16 | 4.701 % |
21.21/21.36 c | 131352 | 12204 85329 338783 | 40508 29122 15 | 4.701 % |
21.41/21.52 c | 132752 | 12204 85329 338783 | 40508 30522 15 | 4.701 % |
21.41/21.53 c | 132854 | 12204 85329 338783 | 40508 30624 15 | 4.701 % |
21.41/21.54 c | 132970 | 12204 85329 338783 | 40508 30740 15 | 4.701 % |
21.41/21.55 c | 133092 | 12204 85329 338783 | 40508 30862 15 | 4.701 % |
21.41/21.57 c | 133225 | 12204 85329 338783 | 40508 30995 15 | 4.701 % |
21.41/21.59 c | 133371 | 12204 85329 338783 | 40508 31141 15 | 4.701 % |
21.51/21.61 c | 133544 | 12204 85329 338783 | 40508 31314 15 | 4.701 % |
21.51/21.63 c | 133725 | 12204 85329 338783 | 40508 31495 15 | 4.701 % |
21.51/21.65 c | 133918 | 12204 85329 338783 | 40508 31688 15 | 4.701 % |
21.51/21.68 c | 134131 | 12204 85329 338783 | 40508 31901 15 | 4.701 % |
21.61/21.71 c | 134364 | 12204 85329 338783 | 40508 32134 15 | 4.701 % |
21.61/21.74 c | 134620 | 12204 85329 338783 | 40508 32390 15 | 4.701 % |
21.61/21.78 c | 134904 | 12204 85329 338783 | 40508 32674 15 | 4.701 % |
21.71/21.82 c | 135222 | 12204 85329 338783 | 40508 32992 15 | 4.701 % |
21.71/21.86 c | 135561 | 12204 85329 338783 | 40508 33331 15 | 4.701 % |
21.81/21.91 c | 135933 | 12204 85329 338783 | 40508 33703 15 | 4.701 % |
21.81/21.96 c | 136344 | 12204 85329 338783 | 40508 34114 15 | 4.701 % |
21.91/22.01 c | 136794 | 12204 85329 338783 | 40508 34564 15 | 4.701 % |
21.91/22.06 c | 137287 | 12204 85329 338783 | 40508 35057 15 | 4.701 % |
22.01/22.13 c | 137829 | 12204 85329 338783 | 40508 35599 15 | 4.701 % |
22.11/22.20 c | 138427 | 12204 85329 338783 | 40508 36197 15 | 4.701 % |
22.11/22.28 c | 139088 | 12204 85329 338783 | 40508 36858 15 | 4.701 % |
22.21/22.37 c | 139808 | 12204 85329 338783 | 40508 37578 15 | 4.701 % |
22.31/22.48 c | 140603 | 12204 85329 338783 | 37771 38373 15 | 4.701 % |
22.61/22.73 c | 141474 | 12204 85329 338783 | 37771 27498 15 | 4.701 % |
22.71/22.83 c | 142432 | 12204 85329 338783 | 37771 28456 15 | 4.701 % |
22.81/22.94 c | 143489 | 12204 85329 338783 | 37771 29513 15 | 4.701 % |
22.91/23.05 c | 144650 | 12204 85329 338783 | 37771 30674 15 | 4.701 % |
23.01/23.19 c | 145923 | 12204 85329 338783 | 37771 31947 15 | 4.701 % |
23.20/23.35 c | 147325 | 12204 85329 338783 | 37771 33349 15 | 4.701 % |
23.40/23.54 c | 148865 | 12204 85329 338783 | 37771 34889 15 | 4.701 % |
23.40/23.55 c | 148966 | 12204 85329 338783 | 37771 34990 15 | 4.701 % |
23.40/23.57 c | 149077 | 12204 85329 338783 | 37771 35101 15 | 4.701 % |
23.40/23.59 c | 149204 | 12204 85329 338783 | 37771 35228 15 | 4.701 % |
23.50/23.60 c | 149339 | 12204 85329 338783 | 37771 35363 15 | 4.701 % |
23.50/23.62 c | 149493 | 12204 85329 338783 | 37771 35517 15 | 4.701 % |
23.50/23.64 c | 149655 | 12204 85329 338783 | 37771 35679 15 | 4.701 % |
23.50/23.67 c | 149838 | 12204 85329 338783 | 37771 35862 15 | 4.701 % |
23.50/23.69 c | 150031 | 12204 85329 338783 | 36029 36055 15 | 4.701 % |
23.60/23.72 c | 150243 | 12204 85329 338783 | 36029 36267 15 | 4.701 % |
23.60/23.75 c | 150477 | 12204 85329 338783 | 36029 36501 15 | 4.701 % |
23.60/23.78 c | 150733 | 12204 85329 338783 | 36029 36757 15 | 4.701 % |
23.80/23.97 c | 151019 | 12204 85329 338783 | 36029 26025 15 | 4.701 % |
23.90/24.00 c | 151328 | 12204 85329 338783 | 36029 26334 15 | 4.701 % |
23.90/24.03 c | 151667 | 12204 85329 338783 | 36029 26673 15 | 4.701 % |
23.90/24.07 c | 152042 | 12204 85329 338783 | 36029 27048 15 | 4.701 % |
24.01/24.11 c | 152453 | 12204 85329 338783 | 36029 27459 15 | 4.701 % |
24.01/24.15 c | 152905 | 12204 85329 338783 | 36029 27911 15 | 4.701 % |
24.01/24.19 c | 153401 | 12204 85329 338783 | 36029 28407 15 | 4.701 % |
24.11/24.25 c | 153947 | 12204 85329 338783 | 36029 28953 15 | 4.701 % |
24.20/24.31 c | 154543 | 12204 85329 338783 | 36029 29549 15 | 4.701 % |
24.20/24.38 c | 155199 | 12204 85329 338783 | 36029 30205 15 | 4.701 % |
24.30/24.45 c | 155919 | 12204 85329 338783 | 36029 30925 15 | 4.701 % |
24.40/24.53 c | 156711 | 12204 85329 338783 | 36029 31717 15 | 4.701 % |
24.50/24.62 c | 157583 | 12204 85329 338783 | 36029 32589 14 | 4.701 % |
24.70/24.90 c | 158545 | 12199 85244 338385 | 36029 17738 15 | 4.740 % |
24.80/24.96 c | 159601 | 12199 85244 338385 | 36029 18794 15 | 4.740 % |
24.90/25.09 c | 160759 | 12197 85244 338385 | 19193 14756 14 | 4.810 % |
25.00/25.17 c | 162033 | 12197 85244 338385 | 19193 16030 14 | 4.810 % |
25.11/25.26 c | 163434 | 12197 85244 338385 | 19193 17431 14 | 4.810 % |
25.21/25.36 c | 164975 | 12197 85244 338385 | 19193 18972 14 | 4.810 % |
25.40/25.55 c | 166669 | 12195 85244 338385 | 19193 17453 14 | 4.881 % |
25.40/25.56 c | 166769 | 12195 85244 338385 | 19193 17553 14 | 4.881 % |
25.40/25.57 c | 166882 | 12195 85244 338385 | 19193 17666 14 | 4.881 % |
25.40/25.58 c | 167007 | 12195 85244 338385 | 19193 17791 14 | 4.881 % |
25.40/25.59 c | 167143 | 12195 85244 338385 | 19193 17927 14 | 4.881 % |
25.40/25.60 c | 167289 | 12195 85244 338385 | 19193 18073 14 | 4.881 % |
25.50/25.61 c | 167449 | 12195 85244 338385 | 19193 18233 14 | 4.881 % |
25.50/25.62 c | 167629 | 12195 85244 338385 | 19193 18413 14 | 4.881 % |
25.50/25.63 c | 167828 | 12195 85244 338385 | 19193 18612 14 | 4.881 % |
25.50/25.65 c | 168041 | 12195 85244 338385 | 19193 18825 14 | 4.881 % |
25.50/25.67 c | 168284 | 12195 85244 338385 | 19193 19068 14 | 4.881 % |
25.50/25.69 c | 168547 | 12195 85244 338385 | 19193 19331 14 | 4.881 % |
25.60/25.71 c | 168828 | 12195 85244 338385 | 19193 19612 14 | 4.881 % |
25.60/25.73 c | 169137 | 12195 85244 338385 | 19193 19921 14 | 4.881 % |
25.70/25.80 c | 169481 | 12195 85244 338385 | 19193 17321 13 | 4.881 % |
25.70/25.82 c | 169855 | 12189 85244 338385 | 19193 17694 13 | 5.005 % |
25.70/25.85 c | 170265 | 12189 85244 338385 | 17839 18104 13 | 5.005 % |
25.80/25.91 c | 170715 | 12189 85244 338385 | 17839 15838 13 | 5.005 % |
25.80/25.94 c | 171208 | 12189 85244 338385 | 17839 16331 13 | 5.005 % |
25.90/26.02 c | 171750 | 12165 84674 335535 | 17839 3835 12 | 5.005 % |
25.90/26.04 c | 172346 | 12161 84674 335535 | 17839 4430 11 | 5.232 % |
25.90/26.05 c ===============================================================================
25.90/26.05 c restarts : 518
25.90/26.05 c conflicts : 172879 (7138 /sec)
25.90/26.05 c decisions : 596053 (1.80 % random) (24611 /sec)
25.90/26.05 c propagations : 13594750 (561318 /sec)
25.90/26.05 c conflict literals : 3231377 (39.49 % deleted)
25.90/26.05 c Memory used : 16.62 MB
25.90/26.05 c CPU time : 24.2193 s
25.90/26.05 c
25.90/26.05 s UNSATISFIABLE
25.90/26.06 s UNSATISFIABLE
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1834229-1242828830/watcher-1834229-1242828830 -o /tmp/evaluation-result-1834229-1242828830/solver-1834229-1242828830 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1834229-1242828830.cnf
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1230 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 0.99 0.98 0.99 3/65 28667
/proc/meminfo: memFree=1871472/2055920 swapFree=4180004/4192956
[pid=28667] ppid=28665 vsize=5356 CPUtime=0
/proc/28667/stat : 28667 (SatELiteGTI) S 28665 28667 28348 0 -1 4194304 276 0 0 0 0 0 0 0 18 0 1 0 310910782 5484544 235 1992294400 4194304 4889804 548682068832 18446744073709551615 250969030738 0 0 4100 65536 18446744071563648864 0 0 17 0 0 0
/proc/28667/statm: 1339 235 195 169 0 50 0
[pid=28668] ppid=28667 vsize=5356 CPUtime=0
/proc/28668/stat : 28668 (SatELiteGTI) S 28667 28667 28348 0 -1 4194368 51 25 0 0 0 0 0 0 20 0 1 0 310910782 5484544 238 1992294400 4194304 4889804 548682068832 18446744073709551615 250968859460 0 65536 4096 65538 18446744071563356171 0 0 17 0 0 0
/proc/28668/statm: 1339 238 198 169 0 50 0
[pid=28670] ppid=28668 vsize=1204 CPUtime=0
/proc/28670/stat : 28670 (sed) R 28668 28667 28348 0 -1 4194304 21 0 0 0 0 0 0 0 18 0 1 0 310910782 1232896 3 1992294400 0 0 548682069787 18446744073709551615 250968861991 0 0 4096 0 0 0 0 17 0 0 0
/proc/28670/statm: 47 12 6 11 0 10 0
[startup+0.0774029 s]
/proc/loadavg: 0.99 0.98 0.99 3/65 28667
/proc/meminfo: memFree=1871472/2055920 swapFree=4180004/4192956
[pid=28667] ppid=28665 vsize=5356 CPUtime=0
/proc/28667/stat : 28667 (SatELiteGTI) S 28665 28667 28348 0 -1 4194304 310 249 0 0 0 0 0 0 19 0 1 0 310910782 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 250968859460 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/28667/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.101403 s]
/proc/loadavg: 0.99 0.98 0.99 3/65 28667
/proc/meminfo: memFree=1871472/2055920 swapFree=4180004/4192956
[pid=28667] ppid=28665 vsize=5356 CPUtime=0
/proc/28667/stat : 28667 (SatELiteGTI) S 28665 28667 28348 0 -1 4194304 310 249 0 0 0 0 0 0 19 0 1 0 310910782 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 250968859460 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/28667/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.301422 s]
/proc/loadavg: 0.99 0.98 0.99 3/65 28667
/proc/meminfo: memFree=1871472/2055920 swapFree=4180004/4192956
[pid=28667] ppid=28665 vsize=5356 CPUtime=0
/proc/28667/stat : 28667 (SatELiteGTI) S 28665 28667 28348 0 -1 4194304 310 249 0 0 0 0 0 0 19 0 1 0 310910782 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 250968859460 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/28667/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.701462 s]
/proc/loadavg: 0.99 0.98 0.99 3/65 28667
/proc/meminfo: memFree=1871472/2055920 swapFree=4180004/4192956
[pid=28667] ppid=28665 vsize=5356 CPUtime=0
/proc/28667/stat : 28667 (SatELiteGTI) S 28665 28667 28348 0 -1 4194304 310 249 0 0 0 0 0 0 19 0 1 0 310910782 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 250968859460 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/28667/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+1.50153 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 28672
/proc/meminfo: memFree=1833120/2055920 swapFree=4180004/4192956
[pid=28667] ppid=28665 vsize=5356 CPUtime=0
/proc/28667/stat : 28667 (SatELiteGTI) S 28665 28667 28348 0 -1 4194304 310 249 0 0 0 0 0 0 19 0 1 0 310910782 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 250968859460 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/28667/statm: 1339 237 197 169 0 50 0
[pid=28672] ppid=28667 vsize=40272 CPUtime=1.48
/proc/28672/stat : 28672 (SatELite_releas) R 28667 28667 28348 0 -1 4194304 9233 0 0 0 140 8 0 0 25 0 1 0 310910783 41238528 8418 1992294400 134512640 135223648 4294956128 18446744073709551615 134585544 0 0 4096 3 0 0 0 17 0 0 0
/proc/28672/statm: 10068 8418 76 173 0 9893 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 45628
[startup+3.1027 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 28673
/proc/meminfo: memFree=1855008/2055920 swapFree=4180004/4192956
[pid=28667] ppid=28665 vsize=5356 CPUtime=1.71
/proc/28667/stat : 28667 (SatELiteGTI) S 28665 28667 28348 0 -1 4194304 336 10226 0 0 0 0 161 10 16 0 1 0 310910782 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 250968859460 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/28667/statm: 1339 239 197 169 0 50 0
[pid=28673] ppid=28667 vsize=8976 CPUtime=1.36
/proc/28673/stat : 28673 (minisat_static) R 28667 28667 28348 0 -1 4194304 2081 0 0 0 135 1 0 0 25 0 1 0 310910955 9191424 2067 1992294400 134512640 135215339 4294956240 18446744073709551615 134528884 0 0 4096 3 0 0 0 17 1 0 0
/proc/28673/statm: 2244 2067 77 171 0 2071 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 14332
[startup+6.30201 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 28673
/proc/meminfo: memFree=1851488/2055920 swapFree=4180004/4192956
[pid=28667] ppid=28665 vsize=5356 CPUtime=1.71
/proc/28667/stat : 28667 (SatELiteGTI) S 28665 28667 28348 0 -1 4194304 336 10226 0 0 0 0 161 10 16 0 1 0 310910782 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 250968859460 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/28667/statm: 1339 239 197 169 0 50 0
[pid=28673] ppid=28667 vsize=12920 CPUtime=4.54
/proc/28673/stat : 28673 (minisat_static) R 28667 28667 28348 0 -1 4194304 3040 0 0 0 452 2 0 0 25 0 1 0 310910955 13230080 3026 1992294400 134512640 135215339 4294956240 18446744073709551615 134528691 0 0 4096 3 0 0 0 17 1 0 0
/proc/28673/statm: 3230 3026 77 171 0 3057 0
Current children cumulated CPU time (s) 6.25
Current children cumulated vsize (KiB) 18276
[startup+12.7026 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 28673
/proc/meminfo: memFree=1846688/2055920 swapFree=4180004/4192956
[pid=28667] ppid=28665 vsize=5356 CPUtime=1.71
/proc/28667/stat : 28667 (SatELiteGTI) S 28665 28667 28348 0 -1 4194304 336 10226 0 0 0 0 161 10 16 0 1 0 310910782 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 250968859460 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/28667/statm: 1339 239 197 169 0 50 0
[pid=28673] ppid=28667 vsize=16588 CPUtime=10.92
/proc/28673/stat : 28673 (minisat_static) R 28667 28667 28348 0 -1 4194304 3930 0 0 0 1089 3 0 0 25 0 1 0 310910955 16986112 3916 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/28673/statm: 4147 3916 77 171 0 3974 0
Current children cumulated CPU time (s) 12.63
Current children cumulated vsize (KiB) 21944
[startup+25.5019 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 28673
/proc/meminfo: memFree=1846304/2055920 swapFree=4180004/4192956
[pid=28667] ppid=28665 vsize=5356 CPUtime=1.71
/proc/28667/stat : 28667 (SatELiteGTI) S 28665 28667 28348 0 -1 4194304 336 10226 0 0 0 0 161 10 16 0 1 0 310910782 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 250968859460 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/28667/statm: 1339 239 197 169 0 50 0
[pid=28673] ppid=28667 vsize=17020 CPUtime=23.69
/proc/28673/stat : 28673 (minisat_static) R 28667 28667 28348 0 -1 4194304 4035 0 0 0 2366 3 0 0 25 0 1 0 310910955 17428480 4021 1992294400 134512640 135215339 4294956240 18446744073709551615 134534491 0 0 4096 3 0 0 0 17 0 0 0
/proc/28673/statm: 4255 4021 77 171 0 4082 0
Current children cumulated CPU time (s) 25.4
Current children cumulated vsize (KiB) 22376
Solver just ended. Dumping a history of the last processes samples
[startup+25.9019 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 28673
/proc/meminfo: memFree=1846304/2055920 swapFree=4180004/4192956
[pid=28667] ppid=28665 vsize=5356 CPUtime=1.71
/proc/28667/stat : 28667 (SatELiteGTI) S 28665 28667 28348 0 -1 4194304 336 10226 0 0 0 0 161 10 16 0 1 0 310910782 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 250968859460 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/28667/statm: 1339 239 197 169 0 50 0
[pid=28673] ppid=28667 vsize=17020 CPUtime=24.09
/proc/28673/stat : 28673 (minisat_static) R 28667 28667 28348 0 -1 4194304 4035 0 0 0 2406 3 0 0 25 0 1 0 310910955 17428480 4021 1992294400 134512640 135215339 4294956240 18446744073709551615 134534506 0 0 4096 3 0 0 0 17 0 0 0
/proc/28673/statm: 4255 4021 77 171 0 4082 0
Current children cumulated CPU time (s) 25.8
Current children cumulated vsize (KiB) 22376
[startup+26.0019 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 28673
/proc/meminfo: memFree=1846304/2055920 swapFree=4180004/4192956
[pid=28667] ppid=28665 vsize=5356 CPUtime=1.71
/proc/28667/stat : 28667 (SatELiteGTI) S 28665 28667 28348 0 -1 4194304 336 10226 0 0 0 0 161 10 16 0 1 0 310910782 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 250968859460 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/28667/statm: 1339 239 197 169 0 50 0
[pid=28673] ppid=28667 vsize=17020 CPUtime=24.19
/proc/28673/stat : 28673 (minisat_static) R 28667 28667 28348 0 -1 4194304 4035 0 0 0 2416 3 0 0 25 0 1 0 310910955 17428480 4021 1992294400 134512640 135215339 4294956240 18446744073709551615 134525859 0 0 4096 3 0 0 0 17 0 0 0
/proc/28673/statm: 4255 4021 77 171 0 4082 0
Current children cumulated CPU time (s) 25.9
Current children cumulated vsize (KiB) 22376
Child status: 20
Real time (s): 26.0681
CPU time (s): 25.99
CPU user time (s): 25.8341
CPU system time (s): 0.155976
CPU usage (%): 99.7006
Max. virtual memory (cumulated for all children) (KiB): 46168
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 25.8341
system time used= 0.155976
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 14758
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= 20
involuntary context switches= 986
runsolver used 0.052991 second user time and 0.095985 second system time
The end
Begin job on node56 at 2009-05-20 16:13:50
IDJOB=1834229
IDBENCH=71767
IDSOLVER=671
FILE ID=node56/1834229-1242828830
PBS_JOBID= 9322552
Free space on /tmp= 103032 MiB
SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT_RACE06/manol-pipe-g7nidw.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1834229-1242828830/watcher-1834229-1242828830 -o /tmp/evaluation-result-1834229-1242828830/solver-1834229-1242828830 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1834229-1242828830.cnf
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= a0303c742e981cc0d4711ad3ac66f146
RANDOM SEED=1352333078
node56.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.218
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5914.62
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.218
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5586.94
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1872016 kB
Buffers: 50576 kB
Cached: 84076 kB
SwapCached: 7060 kB
Active: 35420 kB
Inactive: 109056 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1872016 kB
SwapTotal: 4192956 kB
SwapFree: 4180004 kB
Dirty: 5212 kB
Writeback: 0 kB
Mapped: 14600 kB
Slab: 25468 kB
Committed_AS: 964228 kB
PageTables: 1472 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264952 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 103032 MiB
End job on node56 at 2009-05-20 16:14:16