| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| glucose 2 | ? (TO) | 1300 | 1300.01 |
| Name | application/rintanen/SATPlanning/ sokoban-sequential-p145-microban-sequential.040-NOTKNOWN.cnf |
| MD5SUM | 36e8e2178d03f08fa4223da0e3d9beb5 |
| Bench Category | APPLICATION (applications instances) |
| Best result obtained on this benchmark | UNSAT |
| Best CPU time to get the best result obtained on this benchmark | 539.975 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 87884 |
| Number of clauses | 1413816 |
| Sum of the clauses size | 3227576 |
| Maximum clause length | 78 |
| Minimum clause length | 1 |
| Number of clauses of size 1 | 696 |
| Number of clauses of size 2 | 1364160 |
| Number of clauses of size 3 | 3840 |
| Number of clauses of size 4 | 17760 |
| Number of clauses of size 5 | 7680 |
| Number of clauses of size over 5 | 19680 |
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.38 c ============================================================================== 0.00/0.38 c | | ORIGINAL | LEARNT | | 0.00/0.38 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress | 0.00/0.38 c ============================================================================== 0.00/0.38 c | 0 | 1040158 2379025 | 312047 0 0 nan | 0.000 % | 1.39/1.46 c | 0 | 741497 1727155 | -- 0 -- -- | -- | -35/-52 1.39/1.46 c ============================================================================== 1.39/1.46 c Result : #vars: 53836 #clauses: 741497 #literals: 1727155 1.39/1.46 c CPU time: 1.40279 s 1.39/1.46 c ============================================================================== 1.68/1.77 c 1.68/1.77 c Starting glucose 1.68/1.77 c 30.17/30.27 c This is glucose 2.0 -- based on MiniSAT (Many thanks to MiniSAT team) 30.17/30.27 c WARNING: for repeatability, setting FPU to use double precision 30.17/30.27 c ============================[ Problem Statistics ]============================= 30.17/30.27 c | | 30.17/30.27 c | Number of variables: 53836 | 30.17/30.27 c | Number of clauses: 741497 | 30.17/30.27 c | Parse time: 0.15 s | 30.17/30.27 c | | 30.17/30.27 c ============================[ Search Statistics ]============================== 30.17/30.27 c | Conflicts | ORIGINAL | LEARNT | Progress | 30.17/30.27 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | | 30.17/30.27 c =============================================================================== 30.17/30.27 c | 160 | 53836 741497 1727155 | 1 160 2278 | 0.000 % | 30.17/30.27 c | 1748 | 53833 741497 1727155 | 1 1745 1525 | 0.006 % | 30.17/30.27 c | 1852 | 53833 741497 1727155 | 1 1849 1480 | 0.006 % | 30.17/30.27 c | 1953 | 53833 741497 1727155 | 1 1950 1429 | 0.006 % | 30.17/30.27 c | 3446 | 53708 741497 1727155 | 1 3440 1150 | 0.238 % | 30.17/30.27 c | 4012 | 53694 741456 1726970 | 1 2003 562 | 0.264 % | 30.17/30.27 c | 4112 | 53693 741456 1726970 | 1 2102 591 | 0.266 % | 30.17/30.27 c | 4321 | 53504 741456 1726970 | 1 2309 604 | 0.617 % | 30.17/30.27 c | 4559 | 53501 741456 1726970 | 1 2544 633 | 0.622 % | 30.17/30.27 c | 4664 | 53501 741456 1726970 | 1 2649 643 | 0.622 % | 30.17/30.27 c | 5435 | 53447 741370 1726588 | 1 3401 671 | 0.723 % | 30.17/30.27 c | 5535 | 53445 741370 1726588 | 1 3499 674 | 0.726 % | 30.17/30.27 c | 7925 | 53419 741359 1726539 | 1 5883 846 | 0.775 % | 30.17/30.27 c | 8025 | 53419 741359 1726539 | 1 5983 837 | 0.775 % | 30.17/30.27 c | 8434 | 53411 741359 1726539 | 1 6390 862 | 0.789 % | 30.17/30.27 c | 9407 | 53406 741359 1726539 | 1 7358 844 | 0.799 % | 30.17/30.27 c | 9509 | 53406 741354 1726513 | 1 7459 852 | 0.799 % | 30.17/30.27 c | 9609 | 53406 741354 1726513 | 1 7559 849 | 0.799 % | 30.17/30.27 c | 10088 | 53220 741354 1726513 | 1 8031 848 | 1.144 % | 30.17/30.27 c | 10300 | 53220 741354 1726513 | 1 8243 858 | 1.144 % | 30.17/30.27 c | 10400 | 53219 741354 1726513 | 1 8342 856 | 1.146 % | 30.17/30.27 c | 12315 | 53153 741354 1726513 | 1 5988 525 | 1.269 % | 30.17/30.27 c | 12416 | 53153 741253 1726048 | 1 6086 531 | 1.269 % | 30.17/30.27 c | 13212 | 52667 741253 1726048 | 1 6866 532 | 2.171 % | 30.17/30.27 c | 13351 | 52667 741253 1726048 | 1 7005 542 | 2.171 % | 30.17/30.27 c | 13477 | 52666 741253 1726048 | 1 7130 550 | 2.173 % | 30.17/30.27 c | 14484 | 52654 741059 1725159 | 1 8115 612 | 2.196 % | 30.17/30.27 c | 14584 | 52653 741059 1725159 | 1 8214 612 | 2.197 % | 30.17/30.27 c | 14684 | 52653 741059 1725159 | 1 8314 623 | 2.197 % | 30.17/30.27 c | 14928 | 52653 741059 1725159 | 1 8558 628 | 2.197 % | 30.17/30.27 c | 15697 | 52652 741059 1725159 | 1 9326 670 | 2.199 % | 30.17/30.27 c | 16191 | 52652 741059 1725159 | 1 9820 721 | 2.199 % | 30.17/30.27 c | 16541 | 52580 741059 1725159 | 1 10165 721 | 2.333 % | 30.17/30.27 c | 16903 | 52577 741059 1725159 | 1 10524 711 | 2.339 % | 30.17/30.27 c | 17362 | 52558 741059 1725159 | 1 10981 729 | 2.374 % | 30.17/30.27 c | 19155 | 52544 741059 1725159 | 1 12770 715 | 2.400 % | 30.17/30.27 c | 19483 | 52441 741059 1725159 | 1 13090 718 | 2.591 % | 30.17/30.27 c | 19985 | 52438 740973 1724759 | 1 6890 191 | 2.597 % | 30.17/30.27 c | 20290 | 52438 740973 1724759 | 1 7195 245 | 2.597 % | 80.58/80.60 c | 21112 | 52321 740973 1724759 | 1 8014 325 | 2.814 % | 80.58/80.60 c | 21222 | 52321 740973 1724759 | 1 8124 335 | 2.814 % | 80.58/80.60 c | 21430 | 52320 740973 1724759 | 1 8331 352 | 2.816 % | 80.58/80.60 c | 21571 | 52295 740973 1724759 | 1 8470 359 | 2.862 % | 80.58/80.60 c | 21671 | 52295 740973 1724759 | 1 8570 360 | 2.862 % | 80.58/80.60 c | 22041 | 52233 740973 1724759 | 1 8935 379 | 2.978 % | 80.58/80.60 c | 22776 | 52165 740973 1724759 | 1 9666 434 | 3.104 % | 80.58/80.60 c | 23260 | 52165 740973 1724759 | 1 10150 455 | 3.104 % | 80.58/80.60 c | 25590 | 52140 740838 1724117 | 1 12459 551 | 3.150 % | 80.58/80.60 c | 28402 | 52126 740832 1724090 | 1 15267 769 | 3.176 % | 80.58/80.60 c | 28502 | 52126 740832 1724090 | 1 15367 776 | 3.176 % | 80.58/80.60 c | 28817 | 52125 740832 1724090 | 1 15681 800 | 3.178 % | 80.58/80.60 c | 29311 | 52125 740826 1724060 | 1 16175 810 | 3.178 % | 80.58/80.60 c | 29500 | 52125 740826 1724060 | 1 16364 808 | 3.178 % | 80.58/80.60 c | 30953 | 51960 740826 1724060 | 1 17814 826 | 3.485 % | 80.58/80.60 c | 31627 | 51955 740826 1724060 | 1 9267 177 | 3.494 % | 80.58/80.60 c | 32300 | 51955 740826 1724060 | 1 9940 342 | 3.494 % | 80.58/80.60 c | 33221 | 51953 740826 1724060 | 1 10859 428 | 3.498 % | 80.58/80.60 c | 33324 | 51943 740826 1724060 | 1 10961 432 | 3.516 % | 80.58/80.60 c | 33613 | 51943 740826 1724060 | 1 11250 446 | 3.516 % | 80.58/80.60 c | 33713 | 51943 740826 1724060 | 1 11350 446 | 3.516 % | 80.58/80.60 c | 33817 | 51942 740826 1724060 | 1 11453 459 | 3.518 % | 80.58/80.60 c | 33917 | 51941 740741 1723675 | 1 11536 469 | 3.520 % | 80.58/80.60 c | 34301 | 51941 740741 1723675 | 1 11920 468 | 3.520 % | 80.58/80.60 c | 36205 | 51938 740741 1723675 | 1 13821 547 | 3.526 % | 80.58/80.60 c | 36305 | 51938 740741 1723675 | 1 13921 545 | 3.526 % | 80.58/80.60 c | 36405 | 51938 740741 1723675 | 1 14021 560 | 3.526 % | 80.58/80.60 c | 37532 | 51853 740741 1723675 | 1 15139 627 | 3.683 % | 80.58/80.60 c | 37845 | 51791 740741 1723675 | 1 15449 630 | 3.799 % | 80.58/80.60 c | 37947 | 51781 740741 1723675 | 1 15550 635 | 3.817 % | 80.58/80.60 c | 38047 | 51781 740741 1723675 | 1 15650 639 | 3.817 % | 80.58/80.60 c | 38148 | 51781 740741 1723675 | 1 15751 645 | 3.817 % | 80.58/80.60 c | 38248 | 51781 740741 1723675 | 1 15851 645 | 3.817 % | 80.58/80.60 c | 39266 | 51780 740741 1723675 | 1 16868 695 | 3.819 % | 80.58/80.60 c | 39467 | 51773 740669 1723333 | 1 17060 691 | 3.832 % | 80.58/80.60 c | 39913 | 51773 740669 1723333 | 1 17506 697 | 3.832 % | 80.58/80.60 c | 40210 | 51763 740669 1723333 | 1 17802 700 | 3.851 % | 80.58/80.60 c | 40310 | 51763 740669 1723333 | 1 17902 699 | 3.851 % | 80.58/80.60 c | 40864 | 51748 740669 1723333 | 1 18451 703 | 3.878 % | 80.58/80.60 c | 41550 | 51730 740669 1723333 | 1 19132 708 | 3.912 % | 80.58/80.60 c | 41650 | 51729 740669 1723333 | 1 19231 713 | 3.914 % | 80.58/80.60 c | 41923 | 51728 740669 1723333 | 1 19503 718 | 3.916 % | 80.58/80.60 c | 42327 | 51726 740669 1723333 | 1 19905 724 | 3.919 % | 80.58/80.60 c | 43026 | 51713 740669 1723333 | 1 20601 751 | 3.943 % | 80.58/80.60 c | 43369 | 51712 740669 1723333 | 1 20943 755 | 3.945 % | 80.58/80.60 c | 43583 | 51711 740669 1723333 | 1 21156 755 | 3.947 % | 80.58/80.60 c | 44570 | 51696 740655 1723265 | 1 22134 792 | 3.975 % | 80.58/80.60 c | 45101 | 51692 740655 1723265 | 1 22661 807 | 3.982 % | 80.58/80.60 c | 45329 | 51691 740655 1723265 | 1 22888 814 | 3.984 % | 80.58/80.60 c | 45724 | 51689 740655 1723265 | 1 23281 820 | 3.988 % | 148.48/148.59 c | 45825 | 51689 740655 1723265 | 1 23382 820 | 3.988 % | 148.48/148.59 c | 45940 | 51689 740655 1723265 | 1 23497 826 | 3.988 % | 148.48/148.59 c | 46041 | 51689 740655 1723265 | 1 11834 180 | 3.988 % | 148.48/148.59 c | 46141 | 51689 740655 1723265 | 1 11934 188 | 3.988 % | 148.48/148.59 c | 46518 | 51689 740655 1723265 | 1 12311 224 | 3.988 % | 148.48/148.59 c | 47203 | 51689 740655 1723265 | 1 12996 251 | 3.988 % | 148.48/148.59 c | 47685 | 51689 740655 1723265 | 1 13478 305 | 3.988 % | 148.48/148.59 c | 47786 | 51689 740655 1723265 | 1 13579 313 | 3.988 % | 148.48/148.59 c | 47888 | 51689 740655 1723265 | 1 13681 320 | 3.988 % | 148.48/148.59 c | 49091 | 51687 740655 1723265 | 1 14882 497 | 3.992 % | 148.48/148.59 c | 49193 | 51687 740655 1723265 | 1 14984 505 | 3.992 % | 148.48/148.59 c | 50116 | 51678 740655 1723265 | 1 15905 567 | 4.008 % | 148.48/148.59 c | 51275 | 51674 740645 1723214 | 1 17055 621 | 4.016 % | 148.48/148.59 c | 52727 | 51401 740645 1723214 | 1 18503 639 | 4.523 % | 148.48/148.59 c | 54055 | 51397 740645 1723214 | 1 19830 718 | 4.530 % | 148.48/148.59 c | 54156 | 51397 740525 1722701 | 1 19920 716 | 4.530 % | 148.48/148.59 c | 54415 | 51396 740525 1722701 | 1 20178 734 | 4.532 % | 148.48/148.59 c | 54989 | 51396 740525 1722701 | 1 20752 743 | 4.532 % | 148.48/148.59 c | 56093 | 51393 740525 1722701 | 1 21853 771 | 4.538 % | 148.48/148.59 c | 56348 | 51384 740525 1722701 | 1 22106 772 | 4.555 % | 148.48/148.59 c | 57215 | 51365 740525 1722701 | 1 22971 789 | 4.590 % | 148.48/148.59 c | 57320 | 51365 740525 1722701 | 1 23076 795 | 4.590 % | 148.48/148.59 c | 57422 | 51365 740525 1722701 | 1 23178 798 | 4.590 % | 148.48/148.59 c | 58883 | 51363 740525 1722701 | 1 24637 829 | 4.594 % | 148.48/148.59 c | 59262 | 51323 740525 1722701 | 1 25013 843 | 4.668 % | 148.48/148.59 c | 59589 | 51318 740500 1722596 | 1 25333 844 | 4.677 % | 148.48/148.59 c | 59691 | 51318 740500 1722596 | 1 25435 844 | 4.677 % | 148.48/148.59 c | 60005 | 51318 740500 1722596 | 1 25749 860 | 4.677 % | 148.48/148.59 c | 61145 | 51317 740500 1722596 | 1 26888 905 | 4.679 % | 148.48/148.59 c | 61245 | 51317 740500 1722596 | 1 26988 905 | 4.679 % | 148.48/148.59 c | 61349 | 51317 740500 1722596 | 1 27092 909 | 4.679 % | 148.48/148.59 c | 61812 | 51316 740500 1722596 | 1 27554 924 | 4.681 % | 148.48/148.59 c | 61912 | 51316 740500 1722596 | 1 27654 928 | 4.681 % | 148.48/148.59 c | 62016 | 51316 740500 1722596 | 1 27758 927 | 4.681 % | 148.48/148.59 c | 62948 | 51315 740500 1722596 | 1 28689 946 | 4.683 % | 148.48/148.59 c | 63697 | 51314 740500 1722596 | 1 15078 277 | 4.685 % | 148.48/148.59 c | 64689 | 51312 740500 1722596 | 1 16068 348 | 4.688 % | 148.48/148.59 c | 64794 | 51312 740500 1722596 | 1 16173 360 | 4.688 % | 148.48/148.59 c | 65224 | 51311 740500 1722596 | 1 16602 386 | 4.690 % | 148.48/148.59 c | 68327 | 51297 740500 1722596 | 1 19702 529 | 4.716 % | 148.48/148.59 c | 69682 | 51297 740496 1722579 | 1 21056 538 | 4.716 % | 148.48/148.59 c | 69854 | 51297 740496 1722579 | 1 21228 543 | 4.716 % | 148.48/148.59 c | 69954 | 51297 740496 1722579 | 1 21328 545 | 4.716 % | 148.48/148.59 c | 70094 | 51297 740496 1722579 | 1 21468 555 | 4.716 % | 148.48/148.59 c | 70195 | 51297 740496 1722579 | 1 21569 559 | 4.716 % | 148.48/148.59 c | 70378 | 51295 740496 1722579 | 1 21750 568 | 4.720 % | 148.48/148.59 c | 70885 | 51294 740496 1722579 | 1 22256 580 | 4.722 % | 148.48/148.59 c | 70988 | 51294 740496 1722579 | 1 22359 585 | 4.722 % | 148.48/148.59 c | 71105 | 51293 740496 1722579 | 1 22475 588 | 4.724 % | 148.48/148.59 c | 71581 | 51292 740496 1722579 | 1 22950 631 | 4.725 % | 205.48/205.51 c | 71681 | 51291 740496 1722579 | 1 23049 632 | 4.727 % | 205.48/205.51 c | 73339 | 51287 740496 1722579 | 1 24701 688 | 4.735 % | 205.48/205.51 c | 73524 | 51286 740496 1722579 | 1 24885 688 | 4.737 % | 205.48/205.51 c | 73665 | 51286 740496 1722579 | 1 25026 688 | 4.737 % | 205.48/205.51 c | 73949 | 51286 740496 1722579 | 1 25310 689 | 4.737 % | 205.48/205.51 c | 74050 | 51285 740496 1722579 | 1 25410 690 | 4.738 % | 205.48/205.51 c | 74152 | 51285 740496 1722579 | 1 25512 691 | 4.738 % | 205.48/205.51 c | 74503 | 51285 740496 1722579 | 1 25863 713 | 4.738 % | 205.48/205.51 c | 74603 | 51285 740496 1722579 | 1 25963 713 | 4.738 % | 205.48/205.51 c | 75143 | 51237 740496 1722579 | 1 26500 715 | 4.828 % | 205.48/205.51 c | 75245 | 51236 740496 1722579 | 1 26601 714 | 4.829 % | 205.48/205.51 c | 76527 | 51236 740496 1722579 | 1 27883 736 | 4.829 % | 205.48/205.51 c | 76627 | 51236 740496 1722579 | 1 27983 736 | 4.829 % | 205.48/205.51 c | 77321 | 51236 740496 1722579 | 1 28677 753 | 4.829 % | 205.48/205.51 c | 77432 | 51236 740496 1722579 | 1 28788 758 | 4.829 % | 205.48/205.51 c | 77532 | 51236 740496 1722579 | 1 28888 759 | 4.829 % | 205.48/205.51 c | 77670 | 51166 740496 1722579 | 1 29025 759 | 4.960 % | 205.48/205.51 c | 78250 | 51065 740390 1722101 | 1 29583 769 | 5.147 % | 205.48/205.51 c | 78361 | 51065 740390 1722101 | 1 29694 770 | 5.147 % | 205.48/205.51 c | 80664 | 51065 740390 1722101 | 1 31997 888 | 5.147 % | 205.48/205.51 c | 80766 | 51065 740390 1722101 | 1 32099 889 | 5.147 % | 205.48/205.51 c | 80938 | 51065 740390 1722101 | 1 32271 893 | 5.147 % | 205.48/205.51 c | 81038 | 51065 740390 1722101 | 1 32371 892 | 5.147 % | 205.48/205.51 c | 82470 | 51063 740390 1722101 | 1 33801 893 | 5.151 % | 205.48/205.51 c | 82596 | 51063 740390 1722101 | 1 33927 895 | 5.151 % | 205.48/205.51 c | 82700 | 51062 740390 1722101 | 1 17462 196 | 5.153 % | 205.48/205.51 c | 82813 | 51062 740390 1722101 | 1 17575 207 | 5.153 % | 205.48/205.51 c | 82914 | 51062 740390 1722101 | 1 17676 218 | 5.153 % | 205.48/205.51 c | 83017 | 51062 740390 1722101 | 1 17779 221 | 5.153 % | 205.48/205.51 c | 84201 | 51061 740390 1722101 | 1 18962 280 | 5.155 % | 205.48/205.51 c | 84301 | 51061 740390 1722101 | 1 19062 286 | 5.155 % | 205.48/205.51 c | 84429 | 51061 740390 1722101 | 1 19190 299 | 5.155 % | 205.48/205.51 c | 84530 | 51061 740390 1722101 | 1 19291 304 | 5.155 % | 205.48/205.51 c | 84829 | 51060 740390 1722101 | 1 19589 318 | 5.156 % | 205.48/205.51 c | 84951 | 51060 740390 1722101 | 1 19711 323 | 5.156 % | 205.48/205.51 c | 85051 | 51060 740390 1722101 | 1 19811 329 | 5.156 % | 205.48/205.51 c | 86097 | 51060 740390 1722101 | 1 20857 381 | 5.156 % | 205.48/205.51 c | 86199 | 51060 740390 1722101 | 1 20959 386 | 5.156 % | 205.48/205.51 c | 88274 | 51042 740390 1722101 | 1 23020 455 | 5.190 % | 205.48/205.51 c | 88422 | 51042 740390 1722101 | 1 23168 464 | 5.190 % | 205.48/205.51 c | 88523 | 51042 740390 1722101 | 1 23269 469 | 5.190 % | 205.48/205.51 c | 89296 | 51039 740390 1722101 | 1 24039 488 | 5.195 % | 205.48/205.51 c | 89398 | 51039 740390 1722101 | 1 24141 491 | 5.195 % | 205.48/205.51 c | 89619 | 51038 740390 1722101 | 1 24361 501 | 5.197 % | 205.48/205.51 c | 89719 | 51038 740390 1722101 | 1 24461 505 | 5.197 % | 205.48/205.51 c | 89902 | 51038 740390 1722101 | 1 24644 513 | 5.197 % | 205.48/205.51 c | 90351 | 51036 740385 1722077 | 1 25087 528 | 5.201 % | 205.48/205.51 c | 92396 | 51033 740385 1722077 | 1 27129 702 | 5.207 % | 205.48/205.51 c | 92498 | 51033 740385 1722077 | 1 27231 702 | 5.207 % | 205.48/205.51 c | 93968 | 51029 740385 1722077 | 1 28697 722 | 5.214 % | 289.87/289.92 c | 94699 | 51029 740385 1722077 | 1 29428 765 | 5.214 % | 289.87/289.92 c | 94799 | 51029 740385 1722077 | 1 29528 767 | 5.214 % | 289.87/289.92 c | 95150 | 51029 740385 1722077 | 1 29879 775 | 5.214 % | 289.87/289.92 c | 95251 | 51029 740385 1722077 | 1 29980 774 | 5.214 % | 289.87/289.92 c | 95880 | 51027 740385 1722077 | 1 30605 792 | 5.218 % | 289.87/289.92 c | 95980 | 51027 740385 1722077 | 1 30705 793 | 5.218 % | 289.87/289.92 c | 97030 | 51027 740385 1722077 | 1 31755 872 | 5.218 % | 289.87/289.92 c | 97132 | 51020 740385 1722077 | 1 31855 870 | 5.231 % | 289.87/289.92 c | 97793 | 51019 740385 1722077 | 1 32515 875 | 5.233 % | 289.87/289.92 c | 98084 | 51019 740385 1722077 | 1 32806 874 | 5.233 % | 289.87/289.92 c | 98383 | 51016 740385 1722077 | 1 33102 879 | 5.238 % | 289.87/289.92 c | 99026 | 51014 740385 1722077 | 1 33743 882 | 5.242 % | 289.87/289.92 c | 99127 | 51014 740385 1722077 | 1 33844 882 | 5.242 % | 289.87/289.92 c | 99228 | 51014 740385 1722077 | 1 33945 884 | 5.242 % | 289.87/289.92 c | 99328 | 51014 740385 1722077 | 1 34045 883 | 5.242 % | 289.87/289.92 c | 99551 | 51014 740385 1722077 | 1 34268 895 | 5.242 % | 289.87/289.92 c | 99654 | 51014 740385 1722077 | 1 34371 896 | 5.242 % | 289.87/289.92 c | 100067 | 51014 740385 1722077 | 1 34784 905 | 5.242 % | 289.87/289.92 c | 101018 | 51008 740385 1722077 | 1 35732 905 | 5.253 % | 289.87/289.92 c | 101118 | 51008 740385 1722077 | 1 35832 905 | 5.253 % | 289.87/289.92 c | 101934 | 50991 740385 1722077 | 1 36645 910 | 5.285 % | 289.87/289.92 c | 102267 | 50982 740385 1722077 | 1 36976 908 | 5.301 % | 289.87/289.92 c | 102398 | 50982 740385 1722077 | 1 37107 915 | 5.301 % | 289.87/289.92 c | 102501 | 50982 740385 1722077 | 1 37210 915 | 5.301 % | 289.87/289.92 c | 103015 | 50981 740385 1722077 | 1 37723 933 | 5.303 % | 289.87/289.92 c | 104259 | 50974 740385 1722077 | 1 38964 961 | 5.316 % | 289.87/289.92 c | 106706 | 50929 740362 1721980 | 1 22338 238 | 5.400 % | 289.87/289.92 c | 107553 | 50928 740362 1721980 | 1 23184 277 | 5.402 % | 289.87/289.92 c | 107838 | 50926 740341 1721878 | 1 23464 284 | 5.405 % | 289.87/289.92 c | 107940 | 50926 740341 1721878 | 1 23566 288 | 5.405 % | 289.87/289.92 c | 108117 | 50926 740341 1721878 | 1 23743 291 | 5.405 % | 289.87/289.92 c | 108846 | 50926 740341 1721878 | 1 24472 340 | 5.405 % | 289.87/289.92 c | 108950 | 50926 740341 1721878 | 1 24576 342 | 5.405 % | 289.87/289.92 c | 109310 | 50921 740341 1721878 | 1 24935 365 | 5.415 % | 289.87/289.92 c | 109412 | 50921 740341 1721878 | 1 25037 367 | 5.415 % | 289.87/289.92 c | 112942 | 50910 740337 1721862 | 1 28559 494 | 5.435 % | 289.87/289.92 c | 113042 | 50910 740337 1721862 | 1 28659 493 | 5.435 % | 289.87/289.92 c | 113855 | 50910 740337 1721862 | 1 29472 509 | 5.435 % | 289.87/289.92 c | 113956 | 50910 740337 1721862 | 1 29573 510 | 5.435 % | 289.87/289.92 c | 114056 | 50910 740337 1721862 | 1 29673 509 | 5.435 % | 289.87/289.92 c | 114158 | 50910 740337 1721862 | 1 29775 511 | 5.435 % | 289.87/289.92 c | 114412 | 50909 740337 1721862 | 1 30028 526 | 5.437 % | 289.87/289.92 c | 114680 | 50909 740337 1721862 | 1 30296 535 | 5.437 % | 289.87/289.92 c | 114931 | 50909 740337 1721862 | 1 30547 536 | 5.437 % | 289.87/289.92 c | 117750 | 50884 740327 1721817 | 1 33351 596 | 5.483 % | 289.87/289.92 c | 117858 | 50883 740327 1721817 | 1 33458 598 | 5.485 % | 289.87/289.92 c | 118590 | 50883 740327 1721817 | 1 34190 620 | 5.485 % | 289.87/289.92 c | 120133 | 50883 740327 1721817 | 1 35733 650 | 5.485 % | 289.87/289.92 c | 121596 | 50882 740327 1721817 | 1 37195 674 | 5.487 % | 289.87/289.92 c | 122254 | 50881 740327 1721817 | 1 37852 681 | 5.489 % | 355.68/355.75 c | 124068 | 50877 740327 1721817 | 1 39662 684 | 5.496 % | 355.68/355.75 c | 124492 | 50876 740327 1721817 | 1 40085 683 | 5.498 % | 355.68/355.75 c | 124593 | 50876 740327 1721817 | 1 40186 684 | 5.498 % | 355.68/355.75 c | 124851 | 50876 740327 1721817 | 1 40444 684 | 5.498 % | 355.68/355.75 c | 124955 | 50873 740327 1721817 | 1 40545 683 | 5.504 % | 355.68/355.75 c | 125623 | 50866 740327 1721817 | 1 41211 689 | 5.517 % | 355.68/355.75 c | 127187 | 50859 740327 1721817 | 1 42770 697 | 5.530 % | 355.68/355.75 c | 127287 | 50859 740327 1721817 | 1 42870 697 | 5.530 % | 355.68/355.75 c | 128138 | 50856 740327 1721817 | 1 43718 703 | 5.535 % | 355.68/355.75 c | 128238 | 50856 740327 1721817 | 1 43818 706 | 5.535 % | 355.68/355.75 c | 128342 | 50856 740327 1721817 | 1 43922 706 | 5.535 % | 355.68/355.75 c | 129549 | 50856 740327 1721817 | 1 45129 772 | 5.535 % | 355.68/355.75 c | 129649 | 50856 740327 1721817 | 1 24203 154 | 5.535 % | 355.68/355.75 c | 130129 | 50855 740327 1721817 | 1 24682 162 | 5.537 % | 355.68/355.75 c | 130437 | 50801 740327 1721817 | 1 24989 172 | 5.637 % | 355.68/355.75 c | 131160 | 50799 740327 1721817 | 1 25710 182 | 5.641 % | 355.68/355.75 c | 131428 | 50799 740327 1721817 | 1 25978 211 | 5.641 % | 355.68/355.75 c | 131880 | 50798 740327 1721817 | 1 26429 221 | 5.643 % | 355.68/355.75 c | 132044 | 50798 740327 1721817 | 1 26593 227 | 5.643 % | 355.68/355.75 c | 132833 | 50798 740327 1721817 | 1 27382 275 | 5.643 % | 355.68/355.75 c | 132935 | 50797 740327 1721817 | 1 27483 278 | 5.645 % | 355.68/355.75 c | 133231 | 50797 740327 1721817 | 1 27779 288 | 5.645 % | 355.68/355.75 c | 133420 | 50789 740327 1721817 | 1 27967 295 | 5.660 % | 355.68/355.75 c | 133794 | 50789 740327 1721817 | 1 28341 304 | 5.660 % | 355.68/355.75 c | 135240 | 50787 740291 1721655 | 1 29775 337 | 5.663 % | 355.68/355.75 c | 135357 | 50787 740291 1721655 | 1 29892 345 | 5.663 % | 355.68/355.75 c | 135459 | 50787 740291 1721655 | 1 29994 349 | 5.663 % | 355.68/355.75 c | 135635 | 50787 740291 1721655 | 1 30170 353 | 5.663 % | 355.68/355.75 c | 135761 | 50787 740291 1721655 | 1 30296 354 | 5.663 % | 355.68/355.75 c | 139126 | 50784 740291 1721655 | 1 33655 474 | 5.669 % | 355.68/355.75 c | 139229 | 50784 740291 1721655 | 1 33758 476 | 5.669 % | 355.68/355.75 c | 139340 | 50784 740291 1721655 | 1 33869 476 | 5.669 % | 355.68/355.75 c | 139697 | 50784 740291 1721655 | 1 34226 496 | 5.669 % | 355.68/355.75 c | 140617 | 50784 740291 1721655 | 1 35146 497 | 5.669 % | 355.68/355.75 c | 141046 | 50784 740291 1721655 | 1 35575 518 | 5.669 % | 355.68/355.75 c | 142928 | 50780 740291 1721655 | 1 37453 542 | 5.676 % | 355.68/355.75 c | 143031 | 50780 740291 1721655 | 1 37556 545 | 5.676 % | 355.68/355.75 c | 143132 | 50780 740291 1721655 | 1 37657 546 | 5.676 % | 355.68/355.75 c | 143234 | 50778 740291 1721655 | 1 37757 546 | 5.680 % | 355.68/355.75 c | 144121 | 50774 740291 1721655 | 1 38643 583 | 5.688 % | 355.68/355.75 c | 144278 | 50774 740289 1721647 | 1 38797 584 | 5.688 % | 355.68/355.75 c | 144628 | 50774 740289 1721647 | 1 39147 584 | 5.688 % | 355.68/355.75 c | 144756 | 50774 740289 1721647 | 1 39275 585 | 5.688 % | 355.68/355.75 c | 144857 | 50773 740289 1721647 | 1 39375 586 | 5.690 % | 355.68/355.75 c | 144991 | 50773 740289 1721647 | 1 39509 585 | 5.690 % | 355.68/355.75 c | 145301 | 50772 740289 1721647 | 1 39818 595 | 5.691 % | 355.68/355.75 c | 145719 | 50589 740289 1721647 | 1 40235 598 | 6.031 % | 355.68/355.75 c | 147897 | 50530 740289 1721647 | 1 42410 642 | 6.141 % | 355.68/355.75 c | 148172 | 50529 740289 1721647 | 1 42684 648 | 6.143 % | 355.68/355.75 c | 149567 | 50528 740289 1721647 | 1 44078 647 | 6.145 % | 478.08/478.17 c | 150015 | 50528 740289 1721647 | 1 44526 648 | 6.145 % | 478.08/478.17 c | 152468 | 50526 740162 1721053 | 1 46952 724 | 6.148 % | 478.08/478.17 c | 152568 | 50526 740162 1721053 | 1 47052 725 | 6.148 % | 478.08/478.17 c | 152669 | 50525 740162 1721053 | 1 47152 727 | 6.150 % | 478.08/478.17 c | 152841 | 50525 740162 1721053 | 1 47324 729 | 6.150 % | 478.08/478.17 c | 152942 | 50525 740162 1721053 | 1 47425 729 | 6.150 % | 478.08/478.17 c | 153824 | 50525 740162 1721053 | 1 48307 766 | 6.150 % | 478.08/478.17 c | 153924 | 50524 740162 1721053 | 1 48406 766 | 6.152 % | 478.08/478.17 c | 154030 | 50524 740162 1721053 | 1 48512 768 | 6.152 % | 478.08/478.17 c | 154839 | 50522 740162 1721053 | 1 49319 771 | 6.156 % | 478.08/478.17 c | 154939 | 50522 740162 1721053 | 1 49419 772 | 6.156 % | 478.08/478.17 c | 155182 | 50522 740162 1721053 | 1 49662 770 | 6.156 % | 478.08/478.17 c | 156027 | 50522 740162 1721053 | 1 50507 774 | 6.156 % | 478.08/478.17 c | 156208 | 50522 740162 1721053 | 1 50688 774 | 6.156 % | 478.08/478.17 c | 156559 | 50522 740162 1721053 | 1 51039 777 | 6.156 % | 478.08/478.17 c | 156948 | 50520 740162 1721053 | 1 51427 777 | 6.159 % | 478.08/478.17 c | 157160 | 50519 740162 1721053 | 1 28546 169 | 6.161 % | 478.08/478.17 c | 158025 | 50518 740162 1721053 | 1 29410 204 | 6.163 % | 478.08/478.17 c | 158963 | 50516 740162 1721053 | 1 30346 239 | 6.167 % | 478.08/478.17 c | 161595 | 50502 740162 1721053 | 1 32975 280 | 6.193 % | 478.08/478.17 c | 161699 | 50500 740162 1721053 | 1 33078 284 | 6.197 % | 478.08/478.17 c | 163186 | 50497 740162 1721053 | 1 34563 347 | 6.202 % | 478.08/478.17 c | 166131 | 50495 740157 1721031 | 1 37499 507 | 6.206 % | 478.08/478.17 c | 166691 | 50494 740157 1721031 | 1 38058 521 | 6.208 % | 478.08/478.17 c | 167851 | 50493 740157 1721031 | 1 39217 522 | 6.210 % | 478.08/478.17 c | 169998 | 50491 740157 1721031 | 1 41361 552 | 6.213 % | 478.08/478.17 c | 170098 | 50491 740157 1721031 | 1 41461 553 | 6.213 % | 478.08/478.17 c | 171311 | 50442 740157 1721031 | 1 42671 580 | 6.304 % | 478.08/478.17 c | 171941 | 50442 740157 1721031 | 1 43301 591 | 6.304 % | 478.08/478.17 c | 172043 | 50442 740157 1721031 | 1 43403 593 | 6.304 % | 478.08/478.17 c | 172147 | 50442 740157 1721031 | 1 43507 593 | 6.304 % | 478.08/478.17 c | 172389 | 50442 740157 1721031 | 1 43749 593 | 6.304 % | 478.08/478.17 c | 175265 | 50442 740157 1721031 | 1 46625 626 | 6.304 % | 478.08/478.17 c | 175943 | 50442 740157 1721031 | 1 47303 631 | 6.304 % | 478.08/478.17 c | 178635 | 50420 740125 1720881 | 1 49985 649 | 6.345 % | 478.08/478.17 c | 178737 | 50420 740125 1720881 | 1 50087 649 | 6.345 % | 478.08/478.17 c | 179744 | 50419 740125 1720881 | 1 51093 673 | 6.347 % | 478.08/478.17 c | 179848 | 50419 740125 1720881 | 1 51197 673 | 6.347 % | 478.08/478.17 c | 180141 | 50419 740125 1720881 | 1 51490 678 | 6.347 % | 478.08/478.17 c | 180244 | 50419 740125 1720881 | 1 51593 680 | 6.347 % | 478.08/478.17 c | 180866 | 50418 740125 1720881 | 1 52214 688 | 6.349 % | 478.08/478.17 c | 180966 | 50417 740125 1720881 | 1 52313 689 | 6.351 % | 478.08/478.17 c | 181164 | 50417 740125 1720881 | 1 52511 694 | 6.351 % | 478.08/478.17 c | 181265 | 50416 740125 1720881 | 1 52611 694 | 6.353 % | 478.08/478.17 c | 182379 | 50385 740125 1720881 | 1 53722 699 | 6.410 % | 478.08/478.17 c | 182484 | 50385 740125 1720881 | 1 53827 698 | 6.410 % | 478.08/478.17 c | 182584 | 50385 740125 1720881 | 1 53927 697 | 6.410 % | 478.08/478.17 c | 182687 | 50385 740125 1720881 | 1 54030 697 | 6.410 % | 478.08/478.17 c | 182787 | 50385 740125 1720881 | 1 54130 696 | 6.410 % | 627.48/627.57 c | 184672 | 50380 740125 1720881 | 1 56013 711 | 6.419 % | 627.48/627.57 c | 184774 | 50380 740125 1720881 | 1 56115 712 | 6.419 % | 627.48/627.57 c | 185126 | 50380 740125 1720881 | 1 56467 720 | 6.419 % | 627.48/627.57 c | 188482 | 50377 740125 1720881 | 1 34420 201 | 6.425 % | 627.48/627.57 c | 188582 | 50377 740125 1720881 | 1 34520 204 | 6.425 % | 627.48/627.57 c | 188953 | 50377 740125 1720881 | 1 34891 214 | 6.425 % | 627.48/627.57 c | 190653 | 50376 740108 1720809 | 1 36588 272 | 6.427 % | 627.48/627.57 c | 191070 | 50375 740108 1720809 | 1 37004 284 | 6.429 % | 627.48/627.57 c | 192392 | 50375 740108 1720809 | 1 38326 302 | 6.429 % | 627.48/627.57 c | 192492 | 50375 740108 1720809 | 1 38426 302 | 6.429 % | 627.48/627.57 c | 192778 | 50375 740108 1720809 | 1 38712 313 | 6.429 % | 627.48/627.57 c | 192878 | 50375 740108 1720809 | 1 38812 314 | 6.429 % | 627.48/627.57 c | 193190 | 50375 740108 1720809 | 1 39124 324 | 6.429 % | 627.48/627.57 c | 193290 | 50375 740108 1720809 | 1 39224 324 | 6.429 % | 627.48/627.57 c | 194887 | 50372 740108 1720809 | 1 40820 377 | 6.434 % | 627.48/627.57 c | 194988 | 50372 740108 1720809 | 1 40921 378 | 6.434 % | 627.48/627.57 c | 195535 | 50372 740108 1720809 | 1 41468 380 | 6.434 % | 627.48/627.57 c | 196044 | 50371 740108 1720809 | 1 41976 396 | 6.436 % | 627.48/627.57 c | 196144 | 50371 740108 1720809 | 1 42076 398 | 6.436 % | 627.48/627.57 c | 196249 | 50371 740108 1720809 | 1 42181 399 | 6.436 % | 627.48/627.57 c | 196920 | 50368 740108 1720809 | 1 42849 414 | 6.442 % | 627.48/627.57 c | 197124 | 50367 740108 1720809 | 1 43052 422 | 6.444 % | 627.48/627.57 c | 198397 | 50367 740108 1720809 | 1 44325 457 | 6.444 % | 627.48/627.57 c | 201839 | 50361 740106 1720800 | 1 47765 512 | 6.455 % | 627.48/627.57 c | 201939 | 50361 740106 1720800 | 1 47865 513 | 6.455 % | 627.48/627.57 c | 202039 | 50360 740106 1720800 | 1 47964 516 | 6.457 % | 627.48/627.57 c | 202139 | 50360 740106 1720800 | 1 48064 517 | 6.457 % | 627.48/627.57 c | 204836 | 50355 740106 1720800 | 1 50759 574 | 6.466 % | 627.48/627.57 c | 204936 | 50355 740106 1720800 | 1 50859 575 | 6.466 % | 627.48/627.57 c | 205039 | 50355 740106 1720800 | 1 50962 580 | 6.466 % | 627.48/627.57 c | 205140 | 50355 740106 1720800 | 1 51063 583 | 6.466 % | 627.48/627.57 c | 205241 | 50355 740106 1720800 | 1 51164 584 | 6.466 % | 627.48/627.57 c | 206127 | 50354 740102 1720784 | 1 52046 588 | 6.468 % | 627.48/627.57 c | 206231 | 50354 740102 1720784 | 1 52150 590 | 6.468 % | 627.48/627.57 c | 207073 | 50354 740102 1720784 | 1 52992 590 | 6.468 % | 627.48/627.57 c | 207173 | 50353 740102 1720784 | 1 53091 592 | 6.470 % | 627.48/627.57 c | 207275 | 50353 740102 1720784 | 1 53193 596 | 6.470 % | 627.48/627.57 c | 208770 | 50352 740102 1720784 | 1 54687 622 | 6.472 % | 627.48/627.57 c | 211391 | 50350 740102 1720784 | 1 57307 648 | 6.475 % | 627.48/627.57 c | 211497 | 50350 740102 1720784 | 1 57413 650 | 6.475 % | 627.48/627.57 c | 215355 | 50336 740102 1720784 | 1 61268 663 | 6.501 % | 627.48/627.57 c | 215456 | 50336 740102 1720784 | 1 61369 663 | 6.501 % | 627.48/627.57 c | 218562 | 50333 740097 1720760 | 1 64472 675 | 6.507 % | 627.48/627.57 c | 220795 | 50332 740097 1720760 | 1 39031 206 | 6.509 % | 627.48/627.57 c | 220895 | 50332 740097 1720760 | 1 39131 209 | 6.509 % | 627.48/627.57 c | 222707 | 50331 740097 1720760 | 1 40942 256 | 6.511 % | 627.48/627.57 c | 225496 | 50322 740097 1720760 | 1 43730 328 | 6.527 % | 627.48/627.57 c | 225602 | 50322 740097 1720760 | 1 43836 328 | 6.527 % | 627.48/627.57 c | 226113 | 50321 740097 1720760 | 1 44346 340 | 6.529 % | 627.48/627.57 c | 227414 | 50315 740097 1720760 | 1 45645 362 | 6.540 % | 819.79/819.83 c | 227540 | 50315 740097 1720760 | 1 45771 366 | 6.540 % | 819.79/819.83 c | 227644 | 50315 740097 1720760 | 1 45875 367 | 6.540 % | 819.79/819.83 c | 227954 | 50314 740097 1720760 | 1 46184 374 | 6.542 % | 819.79/819.83 c | 228185 | 50314 740097 1720760 | 1 46415 379 | 6.542 % | 819.79/819.83 c | 228286 | 50314 740097 1720760 | 1 46516 382 | 6.542 % | 819.79/819.83 c | 228386 | 50313 740097 1720760 | 1 46615 382 | 6.544 % | 819.79/819.83 c | 229602 | 50313 740097 1720760 | 1 47831 404 | 6.544 % | 819.79/819.83 c | 231790 | 50312 740092 1720736 | 1 50009 446 | 6.546 % | 819.79/819.83 c | 231894 | 50312 740092 1720736 | 1 50113 450 | 6.546 % | 819.79/819.83 c | 232506 | 50312 740092 1720736 | 1 50725 461 | 6.546 % | 819.79/819.83 c | 233180 | 50307 740092 1720736 | 1 51397 477 | 6.555 % | 819.79/819.83 c | 233280 | 50307 740092 1720736 | 1 51497 477 | 6.555 % | 819.79/819.83 c | 235094 | 50307 740092 1720736 | 1 53311 508 | 6.555 % | 819.79/819.83 c | 236749 | 50306 740092 1720736 | 1 54965 554 | 6.557 % | 819.79/819.83 c | 236852 | 50306 740092 1720736 | 1 55068 555 | 6.557 % | 819.79/819.83 c | 239692 | 50305 740092 1720736 | 1 57907 585 | 6.559 % | 819.79/819.83 c | 239794 | 50304 740090 1720729 | 1 58007 586 | 6.561 % | 819.79/819.83 c | 243937 | 50304 740090 1720729 | 1 62150 636 | 6.561 % | 819.79/819.83 c | 244896 | 50303 740090 1720729 | 1 63108 653 | 6.563 % | 819.79/819.83 c | 245121 | 50303 740090 1720729 | 1 63333 655 | 6.563 % | 819.79/819.83 c | 247180 | 50300 740090 1720729 | 1 65389 669 | 6.568 % | 819.79/819.83 c | 247452 | 50300 740090 1720729 | 1 65661 672 | 6.568 % | 819.79/819.83 c | 248087 | 50300 740090 1720729 | 1 66296 670 | 6.568 % | 819.79/819.83 c | 249481 | 50299 740090 1720729 | 1 67689 694 | 6.570 % | 819.79/819.83 c | 249581 | 50299 740090 1720729 | 1 67789 694 | 6.570 % | 819.79/819.83 c | 249846 | 50299 740090 1720729 | 1 68054 702 | 6.570 % | 819.79/819.83 c | 249948 | 50299 740090 1720729 | 1 68156 703 | 6.570 % | 819.79/819.83 c | 256090 | 50251 740062 1720597 | 1 43529 217 | 6.659 % | 819.79/819.83 c | 256605 | 50239 740062 1720597 | 1 44041 221 | 6.681 % | 819.79/819.83 c | 259620 | 50149 740062 1720597 | 1 47055 298 | 6.849 % | 819.79/819.83 c | 259978 | 50148 740062 1720597 | 1 47412 308 | 6.850 % | 819.79/819.83 c | 260078 | 50148 740062 1720597 | 1 47512 309 | 6.850 % | 819.79/819.83 c | 263499 | 50138 740062 1720597 | 1 50932 392 | 6.869 % | 819.79/819.83 c | 264933 | 50138 740062 1720597 | 1 52366 405 | 6.869 % | 819.79/819.83 c | 267343 | 50136 740062 1720597 | 1 54774 453 | 6.873 % | 819.79/819.83 c | 267444 | 50136 740062 1720597 | 1 54875 454 | 6.873 % | 819.79/819.83 c | 268088 | 50135 740062 1720597 | 1 55518 458 | 6.875 % | 819.79/819.83 c | 268565 | 50134 740010 1720350 | 1 55973 466 | 6.876 % | 819.79/819.83 c | 269110 | 50133 740010 1720350 | 1 56517 468 | 6.878 % | 819.79/819.83 c | 269214 | 50133 740010 1720350 | 1 56621 468 | 6.878 % | 819.79/819.83 c | 271692 | 50131 740010 1720350 | 1 59098 507 | 6.882 % | 819.79/819.83 c | 271793 | 50131 740010 1720350 | 1 59199 508 | 6.882 % | 819.79/819.83 c | 271975 | 50131 740010 1720350 | 1 59381 511 | 6.882 % | 819.79/819.83 c | 272889 | 50131 740010 1720350 | 1 60295 522 | 6.882 % | 819.79/819.83 c | 276124 | 50129 740010 1720350 | 1 63528 553 | 6.886 % | 819.79/819.83 c | 277345 | 50129 740010 1720350 | 1 64749 569 | 6.886 % | 819.79/819.83 c | 277622 | 50129 740009 1720347 | 1 65024 576 | 6.886 % | 819.79/819.83 c | 277722 | 50129 740009 1720347 | 1 65124 577 | 6.886 % | 819.79/819.83 c | 278143 | 50128 740009 1720347 | 1 65544 583 | 6.888 % | 819.79/819.83 c | 279254 | 50127 740009 1720347 | 1 66654 588 | 6.889 % | 990.48/990.52 c | 280624 | 50127 740009 1720347 | 1 68024 592 | 6.889 % | 990.48/990.52 c | 280953 | 50127 740009 1720347 | 1 68353 594 | 6.889 % | 990.48/990.52 c | 282614 | 50117 740009 1720347 | 1 70012 603 | 6.908 % | 990.48/990.52 c | 284021 | 50116 740009 1720347 | 1 71418 622 | 6.910 % | 990.48/990.52 c | 284121 | 50116 740009 1720347 | 1 71518 622 | 6.910 % | 990.48/990.52 c | 284230 | 50116 740009 1720347 | 1 71627 624 | 6.910 % | 990.48/990.52 c | 284334 | 50116 740009 1720347 | 1 71731 624 | 6.910 % | 990.48/990.52 c | 284600 | 50116 740009 1720347 | 1 71997 626 | 6.910 % | 990.48/990.52 c | 284701 | 50116 740009 1720347 | 1 72098 626 | 6.910 % | 990.48/990.52 c | 287419 | 50099 740009 1720347 | 1 74815 647 | 6.941 % | 990.48/990.52 c | 287519 | 50099 740009 1720347 | 1 74915 648 | 6.941 % | 990.48/990.52 c | 287840 | 50099 740009 1720347 | 1 75236 652 | 6.941 % | 990.48/990.52 c | 289131 | 50099 740009 1720347 | 1 76527 657 | 6.941 % | 990.48/990.52 c | 289231 | 50099 740009 1720347 | 1 76627 659 | 6.941 % | 990.48/990.52 c | 289331 | 50098 740009 1720347 | 1 76726 660 | 6.943 % | 990.48/990.52 c | 289433 | 50098 740009 1720347 | 1 76828 661 | 6.943 % | 990.48/990.52 c | 289638 | 50098 740009 1720347 | 1 77033 664 | 6.943 % | 990.48/990.52 c | 289738 | 50098 739995 1720284 | 1 77123 664 | 6.943 % | 990.48/990.52 c | 290155 | 50098 739995 1720284 | 1 77540 668 | 6.943 % | 990.48/990.52 c | 290255 | 50098 739995 1720284 | 1 77640 667 | 6.943 % | 990.48/990.52 c | 291335 | 50098 739995 1720284 | 1 78720 679 | 6.943 % | 990.48/990.52 c | 295063 | 50087 739995 1720284 | 1 49336 207 | 6.964 % | 990.48/990.52 c | 297898 | 50054 739995 1720284 | 1 52170 242 | 7.025 % | 990.48/990.52 c | 298237 | 50054 739995 1720284 | 1 52509 243 | 7.025 % | 990.48/990.52 c | 298495 | 50027 739995 1720284 | 1 52766 245 | 7.075 % | 990.48/990.52 c | 299137 | 50026 739995 1720284 | 1 53407 253 | 7.077 % | 990.48/990.52 c | 301588 | 50023 739995 1720284 | 1 55856 289 | 7.083 % | 990.48/990.52 c | 301688 | 50023 739995 1720284 | 1 55956 290 | 7.083 % | 990.48/990.52 c | 301788 | 50023 739995 1720284 | 1 56056 292 | 7.083 % | 990.48/990.52 c | 303749 | 50021 739995 1720284 | 1 58015 312 | 7.086 % | 990.48/990.52 c | 305483 | 50011 739995 1720284 | 1 59748 366 | 7.105 % | 990.48/990.52 c | 305584 | 50011 739995 1720284 | 1 59849 366 | 7.105 % | 990.48/990.52 c | 308070 | 50006 739962 1720138 | 1 62310 383 | 7.114 % | 990.48/990.52 c | 312572 | 49958 739962 1720138 | 1 66811 467 | 7.203 % | 990.48/990.52 c | 316184 | 49957 739962 1720138 | 1 70422 497 | 7.205 % | 990.48/990.52 c | 316284 | 49957 739939 1720030 | 1 70508 498 | 7.205 % | 990.48/990.52 c | 318712 | 49957 739939 1720030 | 1 72936 522 | 7.205 % | 990.48/990.52 c | 319364 | 49956 739939 1720030 | 1 73587 533 | 7.207 % | 990.48/990.52 c | 320543 | 49901 739939 1720030 | 1 74765 546 | 7.309 % | 990.48/990.52 c | 320795 | 49900 739939 1720030 | 1 75016 549 | 7.311 % | 990.48/990.52 c | 320921 | 49900 739939 1720030 | 1 75142 552 | 7.311 % | 990.48/990.52 c | 321089 | 49900 739939 1720030 | 1 75310 552 | 7.311 % | 990.48/990.52 c | 321713 | 49900 739939 1720030 | 1 75934 573 | 7.311 % | 990.48/990.52 c | 321814 | 49900 739939 1720030 | 1 76035 574 | 7.311 % | 990.48/990.52 c | 323042 | 49888 739939 1720030 | 1 77262 578 | 7.333 % | 990.48/990.52 c | 327065 | 49887 739939 1720030 | 1 81284 600 | 7.335 % | 990.48/990.52 c | 327283 | 49887 739939 1720030 | 1 81502 600 | 7.335 % | 990.48/990.52 c | 332782 | 49881 739906 1719872 | 1 86986 634 | 7.346 % | 990.48/990.52 c | 332980 | 49881 739906 1719872 | 1 87184 633 | 7.346 % | 990.48/990.52 c | 333080 | 49881 739906 1719872 | 1 52469 179 | 7.346 % | 1160.40/1160.43 c | 333779 | 49880 739906 1719872 | 1 53167 189 | 7.348 % | 1160.40/1160.43 c | 333880 | 49880 739906 1719872 | 1 53268 191 | 7.348 % | 1160.40/1160.43 c | 334821 | 49879 739906 1719872 | 1 54208 210 | 7.350 % | 1160.40/1160.43 c | 334922 | 49879 739906 1719872 | 1 54309 211 | 7.350 % | 1160.40/1160.43 c | 336250 | 49871 739906 1719872 | 1 55636 227 | 7.365 % | 1160.40/1160.43 c | 336400 | 49871 739906 1719872 | 1 55786 228 | 7.365 % | 1160.40/1160.43 c | 336554 | 49871 739906 1719872 | 1 55940 233 | 7.365 % | 1160.40/1160.43 c | 337067 | 49870 739906 1719872 | 1 56452 247 | 7.367 % | 1160.40/1160.43 c | 338937 | 49869 739906 1719872 | 1 58321 317 | 7.369 % | 1160.40/1160.43 c | 339044 | 49869 739906 1719872 | 1 58428 318 | 7.369 % | 1160.40/1160.43 c | 340243 | 49869 739906 1719872 | 1 59627 351 | 7.369 % | 1160.40/1160.43 c | 340509 | 49869 739906 1719872 | 1 59893 355 | 7.369 % | 1160.40/1160.43 c | 340682 | 49869 739906 1719872 | 1 60066 356 | 7.369 % | 1160.40/1160.43 c | 340873 | 49869 739906 1719872 | 1 60257 359 | 7.369 % | 1160.40/1160.43 c | 341954 | 49860 739906 1719872 | 1 61337 376 | 7.385 % | 1160.40/1160.43 c | 342055 | 49859 739906 1719872 | 1 61437 377 | 7.387 % | 1160.40/1160.43 c | 342594 | 49859 739906 1719872 | 1 61976 388 | 7.387 % | 1160.40/1160.43 c | 342698 | 49859 739906 1719872 | 1 62080 388 | 7.387 % | 1160.40/1160.43 c | 344042 | 49859 739906 1719872 | 1 63424 392 | 7.387 % | 1160.40/1160.43 c | 345197 | 49855 739900 1719844 | 1 64304 413 | 7.395 % | 1160.40/1160.43 c | 347341 | 49855 739900 1719844 | 1 66448 439 | 7.395 % | 1160.40/1160.43 c | 347800 | 49854 739900 1719844 | 1 66906 444 | 7.397 % | 1160.40/1160.43 c | 347901 | 49854 739900 1719844 | 1 67007 444 | 7.397 % | 1160.40/1160.43 c | 349380 | 49839 739900 1719844 | 1 68485 470 | 7.424 % | 1160.40/1160.43 c | 351122 | 49838 739900 1719844 | 1 70226 490 | 7.426 % | 1160.40/1160.43 c | 351296 | 49830 739900 1719844 | 1 70398 492 | 7.441 % | 1160.40/1160.43 c | 351399 | 49830 739900 1719844 | 1 70501 492 | 7.441 % | 1160.40/1160.43 c | 351983 | 49829 739900 1719844 | 1 71084 497 | 7.443 % | 1160.40/1160.43 c | 352086 | 49829 739900 1719844 | 1 71187 498 | 7.443 % | 1160.40/1160.43 c | 353392 | 49829 739900 1719844 | 1 72493 514 | 7.443 % | 1160.40/1160.43 c | 354417 | 49824 739885 1719774 | 1 73512 516 | 7.452 % | 1160.40/1160.43 c | 354745 | 49824 739885 1719774 | 1 73840 517 | 7.452 % | 1160.40/1160.43 c | 354847 | 49824 739885 1719774 | 1 73942 520 | 7.452 % | 1160.40/1160.43 c | 355062 | 49824 739885 1719774 | 1 74157 521 | 7.452 % | 1160.40/1160.43 c | 358406 | 49818 739885 1719774 | 1 77500 533 | 7.463 % | 1160.40/1160.43 c | 360295 | 49768 739885 1719774 | 1 79386 549 | 7.556 % | 1160.40/1160.43 c | 360395 | 49768 739885 1719774 | 1 79486 549 | 7.556 % | 1160.40/1160.43 c | 363582 | 49767 739885 1719774 | 1 82672 550 | 7.558 % | 1160.40/1160.43 c | 365178 | 49767 739885 1719774 | 1 84268 565 | 7.558 % | 1160.40/1160.43 c | 365890 | 49766 739854 1719637 | 1 84958 571 | 7.560 % | 1160.40/1160.43 c | 371036 | 49764 739854 1719637 | 1 90102 612 | 7.564 % | 1160.40/1160.43 c | 373559 | 49761 739854 1719637 | 1 92624 624 | 7.569 % | 1160.40/1160.43 c | 375065 | 49760 739854 1719637 | 1 94129 633 | 7.571 % | 1160.40/1160.43 c | 375166 | 49760 739854 1719637 | 1 94230 633 | 7.571 % | 1160.40/1160.43 c | 375331 | 49759 739854 1719637 | 1 94394 635 | 7.573 % | 1160.40/1160.43 c | 375431 | 49759 739854 1719637 | 1 94494 634 | 7.573 % | 1160.40/1160.43 c | 377288 | 49758 739854 1719637 | 1 57333 200 | 7.575 % | 1160.40/1160.43 c | 377390 | 49758 739854 1719637 | 1 57435 200 | 7.575 % | 1160.40/1160.43 c | 379267 | 49756 739854 1719637 | 1 59310 238 | 7.579 % | 1160.40/1160.43 c | 379998 | 49756 739854 1719637 | 1 60041
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-3285308-1303761088/watcher-3285308-1303761088 -o /tmp/evaluation-result-3285308-1303761088/solver-3285308-1303761088 -C 2400 -W 1300 -M 7680 glucose.sh HOME/instance-3285308-1303761088.cnf running on 2 cores: 1,3 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1300 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 7864320 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 7915520 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 3.66 3.92 3.70 3/185 25265 /proc/meminfo: memFree=19325636/32951124 swapFree=67110396/67111528 [pid=25265] ppid=25263 vsize=8704 CPUtime=0 cores=1,3 /proc/25265/stat : 25265 (glucose.sh) S 25263 25265 24306 0 -1 4202496 333 0 0 0 0 0 0 0 18 0 1 0 566339496 8912896 253 33554432000 4194304 4922060 140734921199456 18446744073709551615 224284744837 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/25265/statm: 2176 253 211 178 0 69 0 [startup+0.048968 s] /proc/loadavg: 3.66 3.92 3.70 3/185 25265 /proc/meminfo: memFree=19325636/32951124 swapFree=67110396/67111528 [pid=25265] ppid=25263 vsize=8704 CPUtime=0 cores=1,3 /proc/25265/stat : 25265 (glucose.sh) S 25263 25265 24306 0 -1 4202496 333 0 0 0 0 0 0 0 18 0 1 0 566339496 8912896 253 33554432000 4194304 4922060 140734921199456 18446744073709551615 224284744837 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/25265/statm: 2176 253 211 178 0 69 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8704 [startup+0.10096 s] /proc/loadavg: 3.66 3.92 3.70 3/185 25265 /proc/meminfo: memFree=19325636/32951124 swapFree=67110396/67111528 [pid=25265] ppid=25263 vsize=8704 CPUtime=0 cores=1,3 /proc/25265/stat : 25265 (glucose.sh) S 25263 25265 24306 0 -1 4202496 333 0 0 0 0 0 0 0 18 0 1 0 566339496 8912896 253 33554432000 4194304 4922060 140734921199456 18446744073709551615 224284744837 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/25265/statm: 2176 253 211 178 0 69 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8704 [startup+0.300924 s] /proc/loadavg: 3.66 3.92 3.70 3/185 25265 /proc/meminfo: memFree=19325636/32951124 swapFree=67110396/67111528 [pid=25265] ppid=25263 vsize=8704 CPUtime=0 cores=1,3 /proc/25265/stat : 25265 (glucose.sh) S 25263 25265 24306 0 -1 4202496 333 0 0 0 0 0 0 0 18 0 1 0 566339496 8912896 253 33554432000 4194304 4922060 140734921199456 18446744073709551615 224284744837 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/25265/statm: 2176 253 211 178 0 69 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8704 [startup+0.700858 s] /proc/loadavg: 3.66 3.92 3.70 3/185 25265 /proc/meminfo: memFree=19325636/32951124 swapFree=67110396/67111528 [pid=25265] ppid=25263 vsize=8704 CPUtime=0 cores=1,3 /proc/25265/stat : 25265 (glucose.sh) S 25263 25265 24306 0 -1 4202496 333 0 0 0 0 0 0 0 18 0 1 0 566339496 8912896 253 33554432000 4194304 4922060 140734921199456 18446744073709551615 224284744837 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/25265/statm: 2176 253 211 178 0 69 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8704 [startup+1.50072 s] /proc/loadavg: 3.66 3.92 3.70 4/187 25267 /proc/meminfo: memFree=19246784/32951124 swapFree=67110396/67111528 [pid=25265] ppid=25263 vsize=8704 CPUtime=0 cores=1,3 /proc/25265/stat : 25265 (glucose.sh) S 25263 25265 24306 0 -1 4202496 333 0 0 0 0 0 0 0 18 0 1 0 566339496 8912896 253 33554432000 4194304 4922060 140734921199456 18446744073709551615 224284744837 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/25265/statm: 2176 253 211 178 0 69 0 [pid=25266] ppid=25265 vsize=87948 CPUtime=1.49 cores=1,3 /proc/25266/stat : 25266 (SatELite_releas) R 25265 25265 24306 0 -1 4202496 23428 0 0 0 143 6 0 0 23 0 1 0 566339496 90058752 19087 33554432000 134512640 135144242 4292471680 18446744073709551615 134745630 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/25266/statm: 21987 19087 77 155 0 21830 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 96652 [startup+3.10046 s] /proc/loadavg: 3.66 3.92 3.70 4/187 25268 /proc/meminfo: memFree=19263648/32951124 swapFree=67110396/67111528 [pid=25265] ppid=25263 vsize=8704 CPUtime=1.76 cores=1,3 /proc/25265/stat : 25265 (glucose.sh) S 25263 25265 24306 0 -1 4202496 360 23429 0 0 0 0 169 7 18 0 1 0 566339496 8912896 255 33554432000 4194304 4922060 140734921199456 18446744073709551615 224284744837 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/25265/statm: 2176 255 211 178 0 69 0 [pid=25268] ppid=25265 vsize=60936 CPUtime=1.32 cores=1,3 /proc/25268/stat : 25268 (glucose_static) R 25265 25265 24306 0 -1 4202496 11375 0 0 0 131 1 0 0 22 0 1 0 566339673 62398464 11098 33554432000 4194304 4260849 140736179284656 18446744073709551615 4209368 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/25268/statm: 15234 11098 250 17 0 11875 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 69640 [startup+6.30092 s] /proc/loadavg: 3.69 3.92 3.70 4/187 25268 /proc/meminfo: memFree=19247800/32951124 swapFree=67110396/67111528 [pid=25265] ppid=25263 vsize=8704 CPUtime=1.76 cores=1,3 /proc/25265/stat : 25265 (glucose.sh) S 25263 25265 24306 0 -1 4202496 360 23429 0 0 0 0 169 7 18 0 1 0 566339496 8912896 255 33554432000 4194304 4922060 140734921199456 18446744073709551615 224284744837 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/25265/statm: 2176 255 211 178 0 69 0 [pid=25268] ppid=25265 vsize=72856 CPUtime=4.51 cores=1,3 /proc/25268/stat : 25268 (glucose_static) R 25265 25265 24306 0 -1 4202496 13497 0 0 0 450 1 0 0 25 0 1 0 566339673 74604544 13195 33554432000 4194304 4260849 140736179284656 18446744073709551615 4209619 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/25268/statm: 18214 13195 250 17 0 14855 0 Current children cumulated CPU time (s) 6.27 Current children cumulated vsize (KiB) 81560 [startup+12.7009 s] /proc/loadavg: 3.63 3.90 3.70 4/187 25268 /proc/meminfo: memFree=19217292/32951124 swapFree=67110396/67111528 [pid=25265] ppid=25263 vsize=8704 CPUtime=1.76 cores=1,3 /proc/25265/stat : 25265 (glucose.sh) S 25263 25265 24306 0 -1 4202496 360 23429 0 0 0 0 169 7 18 0 1 0 566339496 8912896 255 33554432000 4194304 4922060 140734921199456 18446744073709551615 224284744837 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/25265/statm: 2176 255 211 178 0 69 0 [pid=25268] ppid=25265 vsize=73908 CPUtime=10.92 cores=1,3 /proc/25268/stat : 25268 (glucose_static) R 25265 25265 24306 0 -1 4202496 23074 0 0 0 1089 3 0 0 25 0 1 0 566339673 75681792 14360 33554432000 4194304 4260849 140736179284656 18446744073709551615 4209645 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/25268/statm: 18477 14360 251 17 0 15118 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 82612 [startup+25.5007 s] /proc/loadavg: 3.49 3.86 3.68 4/187 25270 /proc/meminfo: memFree=19166004/32951124 swapFree=67110396/67111528 [pid=25265] ppid=25263 vsize=8704 CPUtime=1.76 cores=1,3 /proc/25265/stat : 25265 (glucose.sh) S 25263 25265 24306 0 -1 4202496 360 23429 0 0 0 0 169 7 18 0 1 0 566339496 8912896 255 33554432000 4194304 4922060 140734921199456 18446744073709551615 224284744837 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/25265/statm: 2176 255 211 178 0 69 0 [pid=25268] ppid=25265 vsize=94040 CPUtime=23.71 cores=1,3 /proc/25268/stat : 25268 (glucose_static) R 25265 25265 24306 0 -1 4202496 37691 0 0 0 2365 6 0 0 25 0 1 0 566339673 96296960 17934 33554432000 4194304 4260849 140736179284656 18446744073709551615 4209389 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/25268/statm: 23510 17934 252 17 0 20151 0 Current children cumulated CPU time (s) 25.47 Current children cumulated vsize (KiB) 102744 [startup+51.1004 s] /proc/loadavg: 3.32 3.79 3.66 4/187 25270 /proc/meminfo: memFree=19154992/32951124 swapFree=67110396/67111528 [pid=25265] ppid=25263 vsize=8704 CPUtime=1.76 cores=1,3 /proc/25265/stat : 25265 (glucose.sh) S 25263 25265 24306 0 -1 4202496 360 23429 0 0 0 0 169 7 18 0 1 0 566339496 8912896 255 33554432000 4194304 4922060 140734921199456 18446744073709551615 224284744837 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/25265/statm: 2176 255 211 178 0 69 0 [pid=25268] ppid=25265 vsize=126144 CPUtime=49.31 cores=1,3 /proc/25268/stat : 25268 (glucose_static) R 25265 25265 24306 0 -1 4202496 59258 0 0 0 4922 9 0 0 25 0 1 0 566339673 129171456 25985 33554432000 4194304 4260849 140736179284656 18446744073709551615 4224374 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/25268/statm: 31536 25985 252 17 0 28177 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 134848 [startup+102.307 s] /proc/loadavg: 2.99 3.63 3.62 3/180 25290 /proc/meminfo: memFree=19775140/32951124 swapFree=67110396/67111528 [pid=25265] ppid=25263 vsize=8704 CPUtime=1.76 cores=1,3 /proc/25265/stat : 25265 (glucose.sh) S 25263 25265 24306 0 -1 4202496 360 23429 0 0 0 0 169 7 18 0 1 0 566339496 8912896 255 33554432000 4194304 4922060 140734921199456 18446744073709551615 224284744837 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/25265/statm: 2176 255 211 178 0 69 0 [pid=25268] ppid=25265 vsize=127860 CPUtime=100.52 cores=1,3 /proc/25268/stat : 25268 (glucose_static) R 25265 25265 24306 0 -1 4202496 101629 0 0 0 10035 17 0 0 25 0 1 0 566339673 130928640 26155 33554432000 4194304 4260849 140736179284656 18446744073709551615 4224448 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/25268/statm: 31965 26155 252 17 0 28606 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 136564 [startup+162.301 s] /proc/loadavg: 2.36 3.33 3.51 3/180 25290 /proc/meminfo: memFree=19802576/32951124 swapFree=67110396/67111528 [pid=25265] ppid=25263 vsize=8704 CPUtime=1.76 cores=1,3 /proc/25265/stat : 25265 (glucose.sh) S 25263 25265 24306 0 -1 4202496 360 23429 0 0 0 0 169 7 18 0 1 0 566339496 8912896 255 33554432000 4194304 4922060 140734921199456 18446744073709551615 224284744837 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/25265/statm: 2176 255 211 178 0 69 0 [pid=25268] ppid=25265 vsize=179012 CPUtime=160.51 cores=1,3 /proc/25268/stat : 25268 (glucose_static) R 25265 25265 24306 0 -1 4202496 140004 0 0 0 16027 24 0 0 25 0 1 0 566339673 183308288 33995 33554432000 4194304 4260849 140736179284656 18446744073709551615 4209639 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/25268/statm: 44753 33995 252 17 0 41394 0 Current children cumulated CPU time (s) 162.27 Current children cumulated vsize (KiB) 187716 [startup+222.301 s] /proc/loadavg: 2.13 3.09 3.41 3/180 25292 /proc/meminfo: memFree=19736700/32951124 swapFree=67110396/67111528 [pid=25265] ppid=25263 vsize=8704 CPUtime=1.76 cores=1,3 /proc/25265/stat : 25265 (glucose.sh) S 25263 25265 24306 0 -1 4202496 360 23429 0 0 0 0 169 7 18 0 1 0 566339496 8912896 255 33554432000 4194304 4922060 140734921199456 18446744073709551615 224284744837 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/25265/statm: 2176 255 211 178 0 69 0 [pid=25268] ppid=25265 vsize=179820 CPUtime=220.52 cores=1,3 /proc/25268/stat : 25268 (glucose_static) R 25265 25265 24306 0 -1 4202496 179825 0 0 0 22021 31 0 0 25 0 1 0 566339673 184135680 40121 33554432000 4194304 4260849 140736179284656 18446744073709551615 4209287 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/25268/statm: 44955 40121 252 17 0 41596 0 Current children cumulated CPU time (s) 222.28 Current children cumulated vsize (KiB) 188524 [startup+282.301 s] /proc/loadavg: 2.05 2.89 3.32 3/180 25294 /proc/meminfo: memFree=19683464/32951124 swapFree=67110396/67111528 [pid=25265] ppid=25263 vsize=8704 CPUtime=1.76 cores=1,3 /proc/25265/stat : 25265 (glucose.sh) S 25263 25265 24306 0 -1 4202496 360 23429 0 0 0 0 169 7 18 0 1 0 566339496 8912896 255 33554432000 4194304 4922060 140734921199456 18446744073709551615 224284744837 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/25265/statm: 2176 255 211 178 0 69 0 [pid=25268] ppid=25265 vsize=180580 CPUtime=280.52 cores=1,3 /proc/25268/stat : 25268 (glucose_static) R 25265 25265 24306 0 -1 4202496 214393 0 0 0 28014 38 0 0 25 0 1 0 566339673 184913920 33844 33554432000 4194304 4260849 140736179284656 18446744073709551615 4209318 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/25268/statm: 45145 33844 252 17 0 41786 0 Current children cumulated CPU time (s) 282.28 Current children cumulated vsize (KiB) 189284 [startup+342.301 s] /proc/loadavg: 1.97 2.71 3.23 3/180 25326 /proc/meminfo: memFree=19736980/32951124 swapFree=67110396/67111528 [pid=25265] ppid=25263 vsize=8704 CPUtime=1.76 cores=1,3 /proc/25265/stat : 25265 (glucose.sh) S 25263 25265 24306 0 -1 4202496 360 23429 0 0 0 0 169 7 18 0 1 0 566339496 8912896 255 33554432000 4194304 4922060 140734921199456 18446744073709551615 224284744837 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/25265/statm: 2176 255 211 178 0 69 0 [pid=25268] ppid=25265 vsize=181252 CPUtime=340.52 cores=1,3 /proc/25268/stat : 25268 (glucose_static) R 25265 25265 24306 0 -1 4202496 252345 0 0 0 34007 45 0 0 25 0 1 0 566339673 185602048 33760 33554432000 4194304 4260849 140736179284656 18446744073709551615 4209287 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/25268/statm: 45313 33764 252 17 0 41954 0 Current children cumulated CPU time (s) 342.28 Current children cumulated vsize (KiB) 189956 [startup+402.301 s] /proc/loadavg: 1.99 2.58 3.15 3/180 25328 /proc/meminfo: memFree=19796956/32951124 swapFree=67110396/67111528 [pid=25265] ppid=25263 vsize=8704 CPUtime=1.76 cores=1,3 ################ # More data... # ################ /proc/25268/statm: 66067 50370 252 17 0 62708 0 Current children cumulated CPU time (s) 582.29 Current children cumulated vsize (KiB) 272972 [startup+642.301 s] /proc/loadavg: 1.99 2.25 2.88 3/180 25343 /proc/meminfo: memFree=19609436/32951124 swapFree=67110396/67111528 [pid=25265] ppid=25263 vsize=8704 CPUtime=1.76 cores=1,3 /proc/25265/stat : 25265 (glucose.sh) S 25263 25265 24306 0 -1 4202496 360 23429 0 0 0 0 169 7 18 0 1 0 566339496 8912896 255 33554432000 4194304 4922060 140734921199456 18446744073709551615 224284744837 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/25265/statm: 2176 255 211 178 0 69 0 [pid=25268] ppid=25265 vsize=183256 CPUtime=640.53 cores=1,3 /proc/25268/stat : 25268 (glucose_static) R 25265 25265 24306 0 -1 4202496 389084 0 0 0 63978 75 0 0 25 0 1 0 566339673 187654144 33956 33554432000 4194304 4260849 140736179284656 18446744073709551615 4209476 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/25268/statm: 45814 33956 252 17 0 42455 0 Current children cumulated CPU time (s) 642.29 Current children cumulated vsize (KiB) 191960 [startup+702.301 s] /proc/loadavg: 1.99 2.20 2.82 3/180 25345 /proc/meminfo: memFree=19542184/32951124 swapFree=67110396/67111528 [pid=25265] ppid=25263 vsize=8704 CPUtime=1.76 cores=1,3 /proc/25265/stat : 25265 (glucose.sh) S 25263 25265 24306 0 -1 4202496 360 23429 0 0 0 0 169 7 18 0 1 0 566339496 8912896 255 33554432000 4194304 4922060 140734921199456 18446744073709551615 224284744837 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/25265/statm: 2176 255 211 178 0 69 0 [pid=25268] ppid=25265 vsize=265096 CPUtime=700.53 cores=1,3 /proc/25268/stat : 25268 (glucose_static) R 25265 25265 24306 0 -1 4202496 411180 0 0 0 69973 80 0 0 25 0 1 0 566339673 271458304 56001 33554432000 4194304 4260849 140736179284656 18446744073709551615 4224658 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/25268/statm: 66274 56001 252 17 0 62915 0 Current children cumulated CPU time (s) 702.29 Current children cumulated vsize (KiB) 273800 [startup+762.307 s] /proc/loadavg: 1.99 2.16 2.77 3/180 25345 /proc/meminfo: memFree=19691808/32951124 swapFree=67110396/67111528 [pid=25265] ppid=25263 vsize=8704 CPUtime=1.76 cores=1,3 /proc/25265/stat : 25265 (glucose.sh) S 25263 25265 24306 0 -1 4202496 360 23429 0 0 0 0 169 7 18 0 1 0 566339496 8912896 255 33554432000 4194304 4922060 140734921199456 18446744073709551615 224284744837 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/25265/statm: 2176 255 211 178 0 69 0 [pid=25268] ppid=25265 vsize=183920 CPUtime=760.53 cores=1,3 /proc/25268/stat : 25268 (glucose_static) R 25265 25265 24306 0 -1 4202496 444359 0 0 0 75966 87 0 0 25 0 1 0 566339673 188334080 30683 33554432000 4194304 4260849 140736179284656 18446744073709551615 4227007 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/25268/statm: 45980 30683 252 17 0 42621 0 Current children cumulated CPU time (s) 762.29 Current children cumulated vsize (KiB) 192624 [startup+822.301 s] /proc/loadavg: 1.99 2.13 2.72 3/180 25347 /proc/meminfo: memFree=19500692/32951124 swapFree=67110396/67111528 [pid=25265] ppid=25263 vsize=8704 CPUtime=1.76 cores=1,3 /proc/25265/stat : 25265 (glucose.sh) S 25263 25265 24306 0 -1 4202496 360 23429 0 0 0 0 169 7 18 0 1 0 566339496 8912896 255 33554432000 4194304 4922060 140734921199456 18446744073709551615 224284744837 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/25265/statm: 2176 255 211 178 0 69 0 [pid=25268] ppid=25265 vsize=265568 CPUtime=820.53 cores=1,3 /proc/25268/stat : 25268 (glucose_static) R 25265 25265 24306 0 -1 4202496 466475 0 0 0 81961 92 0 0 25 0 1 0 566339673 271941632 52776 33554432000 4194304 4260849 140736179284656 18446744073709551615 4226503 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/25268/statm: 66392 52776 252 17 0 63033 0 Current children cumulated CPU time (s) 822.29 Current children cumulated vsize (KiB) 274272 [startup+882.301 s] /proc/loadavg: 2.06 2.12 2.67 3/180 25349 /proc/meminfo: memFree=19710832/32951124 swapFree=67110396/67111528 [pid=25265] ppid=25263 vsize=8704 CPUtime=1.76 cores=1,3 /proc/25265/stat : 25265 (glucose.sh) S 25263 25265 24306 0 -1 4202496 360 23429 0 0 0 0 169 7 18 0 1 0 566339496 8912896 255 33554432000 4194304 4922060 140734921199456 18446744073709551615 224284744837 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/25265/statm: 2176 255 211 178 0 69 0 [pid=25268] ppid=25265 vsize=134480 CPUtime=880.53 cores=1,3 /proc/25268/stat : 25268 (glucose_static) R 25265 25265 24306 0 -1 4202496 499716 0 0 0 87952 101 0 0 25 0 1 0 566339673 137707520 28957 33554432000 4194304 4260849 140736179284656 18446744073709551615 4224459 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/25268/statm: 33620 28957 252 17 0 30261 0 Current children cumulated CPU time (s) 882.29 Current children cumulated vsize (KiB) 143184 [startup+942.301 s] /proc/loadavg: 2.02 2.10 2.63 3/180 25351 /proc/meminfo: memFree=19515868/32951124 swapFree=67110396/67111528 [pid=25265] ppid=25263 vsize=8704 CPUtime=1.76 cores=1,3 /proc/25265/stat : 25265 (glucose.sh) S 25263 25265 24306 0 -1 4202496 360 23429 0 0 0 0 169 7 18 0 1 0 566339496 8912896 255 33554432000 4194304 4922060 140734921199456 18446744073709551615 224284744837 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/25265/statm: 2176 255 211 178 0 69 0 [pid=25268] ppid=25265 vsize=266224 CPUtime=940.53 cores=1,3 /proc/25268/stat : 25268 (glucose_static) R 25265 25265 24306 0 -1 4202496 521232 0 0 0 93948 105 0 0 25 0 1 0 566339673 272613376 50457 33554432000 4194304 4260849 140736179284656 18446744073709551615 4209287 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/25268/statm: 66556 50457 252 17 0 63197 0 Current children cumulated CPU time (s) 942.29 Current children cumulated vsize (KiB) 274928 [startup+1002.3 s] /proc/loadavg: 2.00 2.08 2.59 3/180 25353 /proc/meminfo: memFree=19722304/32951124 swapFree=67110396/67111528 [pid=25265] ppid=25263 vsize=8704 CPUtime=1.76 cores=1,3 /proc/25265/stat : 25265 (glucose.sh) S 25263 25265 24306 0 -1 4202496 360 23429 0 0 0 0 169 7 18 0 1 0 566339496 8912896 255 33554432000 4194304 4922060 140734921199456 18446744073709551615 224284744837 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/25265/statm: 2176 255 211 178 0 69 0 [pid=25268] ppid=25265 vsize=135292 CPUtime=1000.52 cores=1,3 /proc/25268/stat : 25268 (glucose_static) R 25265 25265 24306 0 -1 4202496 556297 0 0 0 99939 113 0 0 25 0 1 0 566339673 138539008 27374 33554432000 4194304 4260849 140736179284656 18446744073709551615 4209227 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/25268/statm: 33823 27374 252 17 0 30464 0 Current children cumulated CPU time (s) 1002.28 Current children cumulated vsize (KiB) 143996 [startup+1062.3 s] /proc/loadavg: 2.00 2.06 2.55 3/180 25353 /proc/meminfo: memFree=19524480/32951124 swapFree=67110396/67111528 [pid=25265] ppid=25263 vsize=8704 CPUtime=1.76 cores=1,3 /proc/25265/stat : 25265 (glucose.sh) S 25263 25265 24306 0 -1 4202496 360 23429 0 0 0 0 169 7 18 0 1 0 566339496 8912896 255 33554432000 4194304 4922060 140734921199456 18446744073709551615 224284744837 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/25265/statm: 2176 255 211 178 0 69 0 [pid=25268] ppid=25265 vsize=266928 CPUtime=1060.53 cores=1,3 /proc/25268/stat : 25268 (glucose_static) R 25265 25265 24306 0 -1 4202496 578914 0 0 0 105934 119 0 0 25 0 1 0 566339673 273334272 49956 33554432000 4194304 4260849 140736179284656 18446744073709551615 4209346 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/25268/statm: 66732 49956 252 17 0 63373 0 Current children cumulated CPU time (s) 1062.29 Current children cumulated vsize (KiB) 275632 [startup+1122.3 s] /proc/loadavg: 2.08 2.06 2.52 3/180 25355 /proc/meminfo: memFree=19590928/32951124 swapFree=67110396/67111528 [pid=25265] ppid=25263 vsize=8704 CPUtime=1.76 cores=1,3 /proc/25265/stat : 25265 (glucose.sh) S 25263 25265 24306 0 -1 4202496 360 23429 0 0 0 0 169 7 18 0 1 0 566339496 8912896 255 33554432000 4194304 4922060 140734921199456 18446744073709551615 224284744837 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/25265/statm: 2176 255 211 178 0 69 0 [pid=25268] ppid=25265 vsize=399452 CPUtime=1120.53 cores=1,3 /proc/25268/stat : 25268 (glucose_static) R 25265 25265 24306 0 -1 4202496 595766 0 0 0 111929 124 0 0 25 0 1 0 566339673 409038848 66778 33554432000 4194304 4260849 140736179284656 18446744073709551615 4209649 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/25268/statm: 99863 66778 252 17 0 96504 0 Current children cumulated CPU time (s) 1122.29 Current children cumulated vsize (KiB) 408156 [startup+1182.3 s] /proc/loadavg: 2.03 2.05 2.48 3/180 25357 /proc/meminfo: memFree=19603648/32951124 swapFree=67110396/67111528 [pid=25265] ppid=25263 vsize=8704 CPUtime=1.76 cores=1,3 /proc/25265/stat : 25265 (glucose.sh) S 25263 25265 24306 0 -1 4202496 360 23429 0 0 0 0 169 7 18 0 1 0 566339496 8912896 255 33554432000 4194304 4922060 140734921199456 18446744073709551615 224284744837 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/25265/statm: 2176 255 211 178 0 69 0 [pid=25268] ppid=25265 vsize=186316 CPUtime=1180.53 cores=1,3 /proc/25268/stat : 25268 (glucose_static) R 25265 25265 24306 0 -1 4202496 629626 0 0 0 117922 131 0 0 25 0 1 0 566339673 190787584 37380 33554432000 4194304 4260849 140736179284656 18446744073709551615 4209287 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/25268/statm: 46579 37380 252 17 0 43220 0 Current children cumulated CPU time (s) 1182.29 Current children cumulated vsize (KiB) 195020 [startup+1242.3 s] /proc/loadavg: 2.01 2.04 2.45 3/180 25359 /proc/meminfo: memFree=19398744/32951124 swapFree=67110396/67111528 [pid=25265] ppid=25263 vsize=8704 CPUtime=1.76 cores=1,3 /proc/25265/stat : 25265 (glucose.sh) S 25263 25265 24306 0 -1 4202496 360 23429 0 0 0 0 169 7 18 0 1 0 566339496 8912896 255 33554432000 4194304 4922060 140734921199456 18446744073709551615 224284744837 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/25265/statm: 2176 255 211 178 0 69 0 [pid=25268] ppid=25265 vsize=267704 CPUtime=1240.54 cores=1,3 /proc/25268/stat : 25268 (glucose_static) R 25265 25265 24306 0 -1 4202496 650072 0 0 0 123917 137 0 0 25 0 1 0 566339673 274128896 57798 33554432000 4194304 4260849 140736179284656 18446744073709551615 4209318 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/25268/statm: 66926 57798 252 17 0 63567 0 Current children cumulated CPU time (s) 1242.3 Current children cumulated vsize (KiB) 276408 Maximum wall clock time exceeded: sending SIGTERM then SIGKILL [startup+1300 s] /proc/loadavg: 2.00 2.03 2.42 3/180 25361 /proc/meminfo: memFree=19514020/32951124 swapFree=67110396/67111528 [pid=25265] ppid=25263 vsize=8704 CPUtime=1.76 cores=1,3 /proc/25265/stat : 25265 (glucose.sh) S 25263 25265 24306 0 -1 4202496 360 23429 0 0 0 0 169 7 18 0 1 0 566339496 8912896 255 33554432000 4194304 4922060 140734921199456 18446744073709551615 224284744837 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/25265/statm: 2176 255 211 178 0 69 0 [pid=25268] ppid=25265 vsize=400224 CPUtime=1298.24 cores=1,3 /proc/25268/stat : 25268 (glucose_static) R 25265 25265 24306 0 -1 4202496 665101 0 0 0 129683 141 0 0 25 0 1 0 566339673 409829376 72815 33554432000 4194304 4260849 140736179284656 18446744073709551615 4209368 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/25268/statm: 100056 72815 252 17 0 96697 0 Current children cumulated CPU time (s) 1300 Current children cumulated vsize (KiB) 408928 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 25265 and gives # childrusage.ru_utime.tv_sec=1 # childrusage.ru_utime.tv_usec=695742 # childrusage.ru_stime.tv_sec=0 # childrusage.ru_stime.tv_usec=78987 # CPU time returned by wait4() is 1.77473 # while last known CPU time is 1300 # # 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 CPU user time (s): 1298.52 CPU system time (s): 1.48 CPU usage (%): 99.9989 Max. virtual memory (cumulated for all children) (KiB): 488572 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1.69574 system time used= 0.078987 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 23789 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 9 involuntary context switches= 9 runsolver used 1.85272 second user time and 5.2522 second system time The end
Begin job on node118 at 2011-04-25 21:51:28 IDJOB=3285308 IDBENCH=82378 IDSOLVER=1651 FILE ID=node118/3285308-1303761088 RUNJOBID= node118-1303759785-25013 PBS_JOBID= 13154063 Free space on /tmp= 71572 MiB SOLVER NAME= glucose 2 BENCH NAME= SAT11/application/rintanen/SATPlanning/sokoban-sequential-p145-microban-sequential.040-NOTKNOWN.cnf COMMAND LINE= glucose.sh BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3285308-1303761088/watcher-3285308-1303761088 -o /tmp/evaluation-result-3285308-1303761088/solver-3285308-1303761088 -C 2400 -W 1300 -M 7680 glucose.sh HOME/instance-3285308-1303761088.cnf TIME LIMIT= 2400 seconds MEMORY LIMIT= 7680 MiB NBCORE= 2 MD5SUM BENCH= 36e8e2178d03f08fa4223da0e3d9beb5 RANDOM SEED=1726306887 node118.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.842 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.68 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.842 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.75 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.842 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.842 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.842 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.68 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.842 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.842 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.842 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 : 5374.59 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 19325784 kB Buffers: 1869348 kB Cached: 10593580 kB SwapCached: 600 kB Active: 9295952 kB Inactive: 3803544 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 19325784 kB SwapTotal: 67111528 kB SwapFree: 67110396 kB Dirty: 25032 kB Writeback: 0 kB AnonPages: 635424 kB Mapped: 15316 kB Slab: 460836 kB PageTables: 6320 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 937784 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= 71656 MiB End job on node118 at 2011-04-25 22:13:10