| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| glucose 2 | ? (TO) | 1300.01 | 1300.01 |
| Name | application/rintanen/SATPlanning/ sokoban-sequential-p145-microban-sequential.060-NOTKNOWN.cnf |
| MD5SUM | e44b288003a3eaf34673a2c0fb8c6f3e |
| Bench Category | APPLICATION (applications instances) |
| Best result obtained on this benchmark | SAT |
| Best CPU time to get the best result obtained on this benchmark | 1226.02 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 131484 |
| Number of clauses | 2120376 |
| Sum of the clauses size | 4841016 |
| Maximum clause length | 78 |
| Minimum clause length | 1 |
| Number of clauses of size 1 | 696 |
| Number of clauses of size 2 | 2046240 |
| Number of clauses of size 3 | 5760 |
| Number of clauses of size 4 | 26640 |
| Number of clauses of size 5 | 11520 |
| Number of clauses of size over 5 | 29520 |
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.60 c ============================================================================== 0.00/0.60 c | | ORIGINAL | LEARNT | | 0.00/0.60 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress | 0.00/0.60 c ============================================================================== 0.00/0.60 c | 0 | 1746718 3992465 | 524015 0 0 nan | 0.000 % | 2.39/2.43 c | 0 | 1250297 2911475 | -- 0 -- -- | -- | -35/-52 2.39/2.43 c ============================================================================== 2.39/2.43 c Result : #vars: 89756 #clauses: 1250297 #literals: 2911475 2.39/2.43 c CPU time: 2.32965 s 2.39/2.43 c ============================================================================== 2.89/2.95 c 2.89/2.95 c Starting glucose 2.89/2.95 c 37.67/37.70 c This is glucose 2.0 -- based on MiniSAT (Many thanks to MiniSAT team) 37.67/37.70 c WARNING: for repeatability, setting FPU to use double precision 37.67/37.70 c ============================[ Problem Statistics ]============================= 37.67/37.70 c | | 37.67/37.70 c | Number of variables: 89756 | 37.67/37.70 c | Number of clauses: 1250297 | 37.67/37.70 c | Parse time: 0.24 s | 37.67/37.70 c | | 37.67/37.70 c ============================[ Search Statistics ]============================== 37.67/37.70 c | Conflicts | ORIGINAL | LEARNT | Progress | 37.67/37.70 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | | 37.67/37.70 c =============================================================================== 37.67/37.70 c | 627 | 89501 1250297 2911475 | 1 623 834 | 0.284 % | 37.67/37.70 c | 727 | 89501 1250297 2911475 | 1 723 820 | 0.284 % | 37.67/37.70 c | 1126 | 89386 1250158 2910855 | 1 1120 685 | 0.412 % | 37.67/37.70 c | 1228 | 89386 1250158 2910855 | 1 1222 671 | 0.412 % | 37.67/37.70 c | 1413 | 89386 1250158 2910855 | 1 1407 708 | 0.412 % | 37.67/37.70 c | 1516 | 89210 1250158 2910855 | 1 1504 742 | 0.608 % | 37.67/37.70 c | 1616 | 89210 1250158 2910855 | 1 1604 746 | 0.608 % | 37.67/37.70 c | 3689 | 88992 1250055 2910383 | 1 3668 896 | 0.851 % | 37.67/37.70 c | 4314 | 88921 1250055 2910383 | 1 2311 312 | 0.930 % | 37.67/37.70 c | 4414 | 88744 1250055 2910383 | 1 2409 333 | 1.128 % | 37.67/37.70 c | 4803 | 88744 1250055 2910383 | 1 2798 369 | 1.128 % | 37.67/37.70 c | 6209 | 88714 1250055 2910383 | 1 4202 623 | 1.161 % | 37.67/37.70 c | 6309 | 88714 1249907 2909706 | 1 4297 621 | 1.161 % | 37.67/37.70 c | 6706 | 88695 1249907 2909706 | 1 4691 774 | 1.182 % | 37.67/37.70 c | 7578 | 88693 1249907 2909706 | 1 5561 811 | 1.184 % | 37.67/37.70 c | 7678 | 88676 1249907 2909706 | 1 5657 804 | 1.203 % | 37.67/37.70 c | 7983 | 88664 1249907 2909706 | 1 5959 812 | 1.217 % | 37.67/37.70 c | 8263 | 88601 1249896 2909652 | 1 6234 804 | 1.287 % | 37.67/37.70 c | 8381 | 88601 1249896 2909652 | 1 6352 804 | 1.287 % | 37.67/37.70 c | 8534 | 88601 1249896 2909652 | 1 6505 803 | 1.287 % | 37.67/37.70 c | 9724 | 88570 1249896 2909652 | 1 7691 806 | 1.321 % | 37.67/37.70 c | 9825 | 88570 1249896 2909652 | 1 7792 806 | 1.321 % | 37.67/37.70 c | 11019 | 88569 1249896 2909652 | 1 4722 501 | 1.322 % | 37.67/37.70 c | 11119 | 88569 1249855 2909478 | 1 4819 547 | 1.322 % | 37.67/37.70 c | 11410 | 88569 1249855 2909478 | 1 5110 567 | 1.322 % | 37.67/37.70 c | 12395 | 88566 1249855 2909478 | 1 6092 617 | 1.326 % | 37.67/37.70 c | 12638 | 88566 1249855 2909478 | 1 6335 661 | 1.326 % | 37.67/37.70 c | 14108 | 88545 1249855 2909478 | 1 7796 681 | 1.349 % | 37.67/37.70 c | 15110 | 88542 1249855 2909478 | 1 8795 729 | 1.353 % | 37.67/37.70 c | 15213 | 88542 1249849 2909454 | 1 8898 738 | 1.353 % | 37.67/37.70 c | 15313 | 88542 1249849 2909454 | 1 8998 736 | 1.353 % | 37.67/37.70 c | 15420 | 88542 1249849 2909454 | 1 9105 740 | 1.353 % | 37.67/37.70 c | 15857 | 88541 1249849 2909454 | 1 9541 735 | 1.354 % | 37.67/37.70 c | 16393 | 88541 1249849 2909454 | 1 10077 744 | 1.354 % | 37.67/37.70 c | 17190 | 88358 1249849 2909454 | 1 10870 777 | 1.558 % | 37.67/37.70 c | 17386 | 88358 1249849 2909454 | 1 11066 778 | 1.558 % | 37.67/37.70 c | 17500 | 88358 1249849 2909454 | 1 11180 794 | 1.558 % | 37.67/37.70 c | 18070 | 88356 1249849 2909454 | 1 11748 814 | 1.560 % | 37.67/37.70 c | 18637 | 88354 1249767 2909067 | 1 12306 837 | 1.562 % | 120.17/120.22 c | 19011 | 88342 1249767 2909067 | 1 12677 832 | 1.575 % | 120.17/120.22 c | 19447 | 88340 1249767 2909067 | 1 13111 840 | 1.578 % | 120.17/120.22 c | 19724 | 88339 1249767 2909067 | 1 13387 841 | 1.579 % | 120.17/120.22 c | 19824 | 88339 1249767 2909067 | 1 6762 168 | 1.579 % | 120.17/120.22 c | 20085 | 88313 1249767 2909067 | 1 7019 227 | 1.608 % | 120.17/120.22 c | 20512 | 88310 1249767 2909067 | 1 7443 236 | 1.611 % | 120.17/120.22 c | 20811 | 88310 1249767 2909067 | 1 7742 251 | 1.611 % | 120.17/120.22 c | 21131 | 88310 1249767 2909067 | 1 8062 283 | 1.611 % | 120.17/120.22 c | 22778 | 88303 1249767 2909067 | 1 9703 371 | 1.619 % | 120.17/120.22 c | 25251 | 88300 1249755 2909015 | 1 12171 765 | 1.622 % | 120.17/120.22 c | 25633 | 88299 1249755 2909015 | 1 12552 767 | 1.623 % | 120.17/120.22 c | 30981 | 88274 1249749 2908988 | 1 17893 1075 | 1.651 % | 120.17/120.22 c | 31081 | 88274 1249749 2908988 | 1 17993 1072 | 1.651 % | 120.17/120.22 c | 31410 | 88274 1249749 2908988 | 1 18322 1067 | 1.651 % | 120.17/120.22 c | 33036 | 88217 1249749 2908988 | 1 10714 328 | 1.715 % | 120.17/120.22 c | 33895 | 88215 1249749 2908988 | 1 11571 383 | 1.717 % | 120.17/120.22 c | 37029 | 88208 1249749 2908988 | 1 14698 453 | 1.725 % | 120.17/120.22 c | 37131 | 88208 1249749 2908988 | 1 14800 452 | 1.725 % | 120.17/120.22 c | 38797 | 88200 1249723 2908877 | 1 16456 572 | 1.734 % | 120.17/120.22 c | 38899 | 88200 1249723 2908877 | 1 16558 589 | 1.734 % | 120.17/120.22 c | 39123 | 88199 1249723 2908877 | 1 16781 590 | 1.735 % | 120.17/120.22 c | 39307 | 88198 1249723 2908877 | 1 16964 602 | 1.736 % | 120.17/120.22 c | 39720 | 88196 1249723 2908877 | 1 17375 605 | 1.738 % | 120.17/120.22 c | 41165 | 88185 1249723 2908877 | 1 18818 679 | 1.750 % | 120.17/120.22 c | 41265 | 88185 1249723 2908877 | 1 18918 683 | 1.750 % | 120.17/120.22 c | 41483 | 88185 1249723 2908877 | 1 19136 688 | 1.750 % | 120.17/120.22 c | 42195 | 88176 1249723 2908877 | 1 19847 710 | 1.760 % | 120.17/120.22 c | 42631 | 88151 1249723 2908877 | 1 20282 730 | 1.788 % | 120.17/120.22 c | 42732 | 88151 1249723 2908877 | 1 20383 733 | 1.788 % | 120.17/120.22 c | 43387 | 88149 1249702 2908789 | 1 21033 755 | 1.790 % | 120.17/120.22 c | 44682 | 88149 1249702 2908789 | 1 22328 773 | 1.790 % | 120.17/120.22 c | 47744 | 88149 1249702 2908789 | 1 13614 446 | 1.790 % | 120.17/120.22 c | 47849 | 88149 1249702 2908789 | 1 13719 446 | 1.790 % | 120.17/120.22 c | 48254 | 88149 1249702 2908789 | 1 14124 461 | 1.790 % | 120.17/120.22 c | 48358 | 88149 1249702 2908789 | 1 14228 463 | 1.790 % | 120.17/120.22 c | 48458 | 88149 1249702 2908789 | 1 14328 466 | 1.790 % | 120.17/120.22 c | 48743 | 88149 1249702 2908789 | 1 14613 475 | 1.790 % | 120.17/120.22 c | 48843 | 88149 1249702 2908789 | 1 14713 477 | 1.790 % | 120.17/120.22 c | 49291 | 88148 1249701 2908786 | 1 15160 488 | 1.792 % | 120.17/120.22 c | 49392 | 88148 1249701 2908786 | 1 15261 512 | 1.792 % | 120.17/120.22 c | 49493 | 88147 1249701 2908786 | 1 15361 522 | 1.793 % | 120.17/120.22 c | 50732 | 88113 1249701 2908786 | 1 16591 534 | 1.831 % | 120.17/120.22 c | 50915 | 88110 1249701 2908786 | 1 16771 538 | 1.834 % | 120.17/120.22 c | 51018 | 88110 1249701 2908786 | 1 16874 541 | 1.834 % | 120.17/120.22 c | 51643 | 88108 1249701 2908786 | 1 17497 569 | 1.836 % | 120.17/120.22 c | 52140 | 88108 1249701 2908786 | 1 17994 576 | 1.836 % | 120.17/120.22 c | 52296 | 88107 1249688 2908700 | 1 18148 577 | 1.837 % | 120.17/120.22 c | 52783 | 88107 1249688 2908700 | 1 18635 584 | 1.837 % | 120.17/120.22 c | 52907 | 88107 1249688 2908700 | 1 18759 594 | 1.837 % | 120.17/120.22 c | 53020 | 88107 1249688 2908700 | 1 18872 594 | 1.837 % | 161.68/161.79 c | 53353 | 88045 1249688 2908700 | 1 19203 593 | 1.906 % | 161.68/161.79 c | 53459 | 88045 1249688 2908700 | 1 19309 596 | 1.906 % | 161.68/161.79 c | 53609 | 88045 1249688 2908700 | 1 19459 605 | 1.906 % | 161.68/161.79 c | 53709 | 88045 1249688 2908700 | 1 19559 607 | 1.906 % | 161.68/161.79 c | 54394 | 88044 1249688 2908700 | 1 20243 635 | 1.907 % | 161.68/161.79 c | 54494 | 88044 1249688 2908700 | 1 20343 638 | 1.907 % | 161.68/161.79 c | 55573 | 88043 1249688 2908700 | 1 21421 684 | 1.909 % | 161.68/161.79 c | 55879 | 88043 1249688 2908700 | 1 21727 703 | 1.909 % | 161.68/161.79 c | 56415 | 88042 1249688 2908700 | 1 22262 741 | 1.910 % | 161.68/161.79 c | 56515 | 88042 1249688 2908700 | 1 22362 750 | 1.910 % | 161.68/161.79 c | 56615 | 88042 1249688 2908700 | 1 22462 754 | 1.910 % | 161.68/161.79 c | 56716 | 88042 1249688 2908700 | 1 22563 754 | 1.910 % | 161.68/161.79 c | 56818 | 88042 1249688 2908700 | 1 22665 753 | 1.910 % | 161.68/161.79 c | 56918 | 88041 1249656 2908568 | 1 22762 754 | 1.911 % | 161.68/161.79 c | 57849 | 88040 1249656 2908568 | 1 23692 774 | 1.912 % | 161.68/161.79 c | 58424 | 88033 1249656 2908568 | 1 24266 805 | 1.920 % | 161.68/161.79 c | 58540 | 88032 1249656 2908568 | 1 24381 805 | 1.921 % | 161.68/161.79 c | 58702 | 88031 1249656 2908568 | 1 24542 808 | 1.922 % | 161.68/161.79 c | 59108 | 88031 1249656 2908568 | 1 24948 819 | 1.922 % | 161.68/161.79 c | 60225 | 88030 1249656 2908568 | 1 26064 852 | 1.923 % | 161.68/161.79 c | 60326 | 88030 1249656 2908568 | 1 26165 851 | 1.923 % | 161.68/161.79 c | 60462 | 88029 1249656 2908568 | 1 26300 854 | 1.924 % | 161.68/161.79 c | 60564 | 88029 1249656 2908568 | 1 26402 854 | 1.924 % | 161.68/161.79 c | 61304 | 88028 1249656 2908568 | 1 27141 870 | 1.925 % | 161.68/161.79 c | 61436 | 88027 1249656 2908568 | 1 27272 873 | 1.926 % | 161.68/161.79 c | 61537 | 88027 1249656 2908568 | 1 27373 873 | 1.926 % | 161.68/161.79 c | 64107 | 88002 1249656 2908568 | 1 15567 201 | 1.954 % | 161.68/161.79 c | 64573 | 87998 1249645 2908520 | 1 16030 214 | 1.959 % | 161.68/161.79 c | 64704 | 87998 1249645 2908520 | 1 16161 221 | 1.959 % | 161.68/161.79 c | 64806 | 87996 1249645 2908520 | 1 16262 225 | 1.961 % | 161.68/161.79 c | 65484 | 87995 1249645 2908520 | 1 16939 256 | 1.962 % | 161.68/161.79 c | 65800 | 87995 1249645 2908520 | 1 17255 268 | 1.962 % | 161.68/161.79 c | 66705 | 87993 1249642 2908510 | 1 18157 304 | 1.964 % | 161.68/161.79 c | 67095 | 87993 1249642 2908510 | 1 18547 323 | 1.964 % | 161.68/161.79 c | 67195 | 87993 1249642 2908510 | 1 18647 326 | 1.964 % | 161.68/161.79 c | 67677 | 87993 1249642 2908510 | 1 19129 337 | 1.964 % | 161.68/161.79 c | 68074 | 87934 1249642 2908510 | 1 19523 337 | 2.030 % | 161.68/161.79 c | 68174 | 87933 1249642 2908510 | 1 19622 336 | 2.031 % | 161.68/161.79 c | 69260 | 87932 1249642 2908510 | 1 20707 356 | 2.032 % | 161.68/161.79 c | 70860 | 87930 1249612 2908385 | 1 22305 391 | 2.034 % | 161.68/161.79 c | 71450 | 87910 1249612 2908385 | 1 22890 402 | 2.057 % | 161.68/161.79 c | 72588 | 87910 1249612 2908385 | 1 24028 437 | 2.057 % | 161.68/161.79 c | 72840 | 87900 1249606 2908357 | 1 24277 440 | 2.068 % | 161.68/161.79 c | 72941 | 87899 1249606 2908357 | 1 24377 441 | 2.069 % | 161.68/161.79 c | 73050 | 87899 1249606 2908357 | 1 24486 443 | 2.069 % | 161.68/161.79 c | 73204 | 87899 1249606 2908357 | 1 24640 443 | 2.069 % | 161.68/161.79 c | 73518 | 87852 1249606 2908357 | 1 24953 473 | 2.121 % | 161.68/161.79 c | 73619 | 87852 1249606 2908357 | 1 25054 476 | 2.121 % | 161.68/161.79 c | 74148 | 87811 1249606 2908357 | 1 25581 480 | 2.167 % | 161.68/161.79 c | 74248 | 87811 1249606 2908357 | 1 25681 483 | 2.167 % | 243.48/243.54 c | 74350 | 87811 1249606 2908357 | 1 25783 487 | 2.167 % | 243.48/243.54 c | 75473 | 87811 1249606 2908357 | 1 26906 569 | 2.167 % | 243.48/243.54 c | 75573 | 87811 1249606 2908357 | 1 27006 570 | 2.167 % | 243.48/243.54 c | 76167 | 87811 1249606 2908357 | 1 27600 575 | 2.167 % | 243.48/243.54 c | 76267 | 87811 1249606 2908357 | 1 27700 576 | 2.167 % | 243.48/243.54 c | 76443 | 87810 1249606 2908357 | 1 27875 587 | 2.168 % | 243.48/243.54 c | 76669 | 87810 1249606 2908357 | 1 28101 589 | 2.168 % | 243.48/243.54 c | 76850 | 87810 1249606 2908357 | 1 28282 590 | 2.168 % | 243.48/243.54 c | 77239 | 87810 1249564 2908162 | 1 28667 599 | 2.168 % | 243.48/243.54 c | 77528 | 87584 1249564 2908162 | 1 28955 605 | 2.420 % | 243.48/243.54 c | 77749 | 87584 1249564 2908162 | 1 29176 605 | 2.420 % | 243.48/243.54 c | 79233 | 87556 1249564 2908162 | 1 30658 619 | 2.451 % | 243.48/243.54 c | 80804 | 87554 1249564 2908162 | 1 32227 662 | 2.453 % | 243.48/243.54 c | 81371 | 87554 1249564 2908162 | 1 32794 666 | 2.453 % | 243.48/243.54 c | 81875 | 87554 1249564 2908162 | 1 33298 668 | 2.453 % | 243.48/243.54 c | 84183 | 87552 1249437 2907530 | 1 18994 286 | 2.456 % | 243.48/243.54 c | 85452 | 87552 1249437 2907530 | 1 20263 363 | 2.456 % | 243.48/243.54 c | 85832 | 87546 1249437 2907530 | 1 20642 366 | 2.462 % | 243.48/243.54 c | 86261 | 87546 1249437 2907530 | 1 21071 379 | 2.462 % | 243.48/243.54 c | 89138 | 87461 1249407 2907402 | 1 23942 458 | 2.557 % | 243.48/243.54 c | 89238 | 87460 1249407 2907402 | 1 24041 460 | 2.558 % | 243.48/243.54 c | 90744 | 87455 1249407 2907402 | 1 25542 487 | 2.564 % | 243.48/243.54 c | 90901 | 87455 1249407 2907402 | 1 25699 490 | 2.564 % | 243.48/243.54 c | 91001 | 87455 1249407 2907402 | 1 25799 492 | 2.564 % | 243.48/243.54 c | 91506 | 87443 1249407 2907402 | 1 26300 508 | 2.577 % | 243.48/243.54 c | 91736 | 87443 1249407 2907402 | 1 26530 524 | 2.577 % | 243.48/243.54 c | 92149 | 87442 1249407 2907402 | 1 26942 536 | 2.578 % | 243.48/243.54 c | 92598 | 87442 1249407 2907402 | 1 27391 536 | 2.578 % | 243.48/243.54 c | 92698 | 87442 1249396 2907351 | 1 27486 539 | 2.578 % | 243.48/243.54 c | 94314 | 87442 1249396 2907351 | 1 29102 624 | 2.578 % | 243.48/243.54 c | 94414 | 87442 1249396 2907351 | 1 29202 624 | 2.578 % | 243.48/243.54 c | 95081 | 87442 1249396 2907351 | 1 29869 629 | 2.578 % | 243.48/243.54 c | 95183 | 87442 1249396 2907351 | 1 29971 628 | 2.578 % | 243.48/243.54 c | 97773 | 87442 1249396 2907351 | 1 32561 760 | 2.578 % | 243.48/243.54 c | 97873 | 87442 1249396 2907351 | 1 32661 765 | 2.578 % | 243.48/243.54 c | 97973 | 87442 1249396 2907351 | 1 32761 773 | 2.578 % | 243.48/243.54 c | 98075 | 87442 1249396 2907351 | 1 32863 776 | 2.578 % | 243.48/243.54 c | 98175 | 87441 1249396 2907351 | 1 32962 778 | 2.579 % | 243.48/243.54 c | 98561 | 87440 1249396 2907351 | 1 33344 777 | 2.580 % | 243.48/243.54 c | 98663 | 87440 1249396 2907351 | 1 33446 778 | 2.580 % | 243.48/243.54 c | 99342 | 87439 1249396 2907351 | 1 34124 782 | 2.581 % | 243.48/243.54 c | 100651 | 87434 1249396 2907351 | 1 35432 783 | 2.587 % | 243.48/243.54 c | 101123 | 87428 1249396 2907351 | 1 35901 786 | 2.594 % | 243.48/243.54 c | 101830 | 87427 1249396 2907351 | 1 36607 810 | 2.595 % | 243.48/243.54 c | 102098 | 87427 1249396 2907351 | 1 36875 810 | 2.595 % | 243.48/243.54 c | 102787 | 87427 1249396 2907351 | 1 37564 815 | 2.595 % | 243.48/243.54 c | 103846 | 87422 1249396 2907351 | 1 38621 835 | 2.600 % | 243.48/243.54 c | 103947 | 87422 1249396 2907351 | 1 38722 835 | 2.600 % | 243.48/243.54 c | 105240 | 87422 1249396 2907351 | 1 21212 159 | 2.600 % | 243.48/243.54 c | 106022 | 87420 1249396 2907351 | 1 21992 178 | 2.603 % | 323.28/323.40 c | 106889 | 87419 1249396 2907351 | 1 22858 231 | 2.604 % | 323.28/323.40 c | 106990 | 87419 1249396 2907351 | 1 22959 234 | 2.604 % | 323.28/323.40 c | 107732 | 87419 1249396 2907351 | 1 23701 282 | 2.604 % | 323.28/323.40 c | 108231 | 87419 1249396 2907351 | 1 24200 305 | 2.604 % | 323.28/323.40 c | 109640 | 87418 1249396 2907351 | 1 25608 437 | 2.605 % | 323.28/323.40 c | 110320 | 87411 1249390 2907326 | 1 26285 452 | 2.613 % | 323.28/323.40 c | 110567 | 87411 1249390 2907326 | 1 26532 455 | 2.613 % | 323.28/323.40 c | 110718 | 87411 1249390 2907326 | 1 26683 468 | 2.613 % | 323.28/323.40 c | 110818 | 87411 1249390 2907326 | 1 26783 470 | 2.613 % | 323.28/323.40 c | 112238 | 87410 1249390 2907326 | 1 28202 496 | 2.614 % | 323.28/323.40 c | 113339 | 87285 1249390 2907326 | 1 29302 512 | 2.753 % | 323.28/323.40 c | 113439 | 87284 1249390 2907326 | 1 29401 514 | 2.754 % | 323.28/323.40 c | 113539 | 87284 1249390 2907326 | 1 29501 515 | 2.754 % | 323.28/323.40 c | 113948 | 87284 1249390 2907326 | 1 29910 530 | 2.754 % | 323.28/323.40 c | 114048 | 87284 1249390 2907326 | 1 30010 532 | 2.754 % | 323.28/323.40 c | 114237 | 87282 1249390 2907326 | 1 30197 533 | 2.756 % | 323.28/323.40 c | 114339 | 87243 1249303 2906910 | 1 30291 535 | 2.800 % | 323.28/323.40 c | 114987 | 87235 1249303 2906910 | 1 30938 538 | 2.809 % | 323.28/323.40 c | 115087 | 87235 1249303 2906910 | 1 31038 538 | 2.809 % | 323.28/323.40 c | 116192 | 87228 1249303 2906910 | 1 32141 554 | 2.817 % | 323.28/323.40 c | 117788 | 87174 1249303 2906910 | 1 33734 608 | 2.877 % | 323.28/323.40 c | 117889 | 87174 1249303 2906910 | 1 33835 609 | 2.877 % | 323.28/323.40 c | 117990 | 87112 1249303 2906910 | 1 33932 610 | 2.946 % | 323.28/323.40 c | 118090 | 87089 1249303 2906910 | 1 34027 609 | 2.971 % | 323.28/323.40 c | 118214 | 87089 1249303 2906910 | 1 34151 613 | 2.971 % | 323.28/323.40 c | 119057 | 87083 1249303 2906910 | 1 34991 619 | 2.978 % | 323.28/323.40 c | 119398 | 87082 1249303 2906910 | 1 35331 623 | 2.979 % | 323.28/323.40 c | 119499 | 87082 1249303 2906910 | 1 35432 623 | 2.979 % | 323.28/323.40 c | 121785 | 87080 1249303 2906910 | 1 37716 651 | 2.981 % | 323.28/323.40 c | 122742 | 87049 1249236 2906607 | 1 38663 674 | 3.016 % | 323.28/323.40 c | 123761 | 87048 1249236 2906607 | 1 39681 683 | 3.017 % | 323.28/323.40 c | 124002 | 87048 1249236 2906607 | 1 39922 689 | 3.017 % | 323.28/323.40 c | 124376 | 87048 1249236 2906607 | 1 40296 703 | 3.017 % | 323.28/323.40 c | 124476 | 87048 1249236 2906607 | 1 40396 705 | 3.017 % | 323.28/323.40 c | 124577 | 87048 1249236 2906607 | 1 40497 706 | 3.017 % | 323.28/323.40 c | 124678 | 87048 1249236 2906607 | 1 40598 707 | 3.017 % | 323.28/323.40 c | 124794 | 87043 1249236 2906607 | 1 40713 708 | 3.023 % | 323.28/323.40 c | 124894 | 87040 1249236 2906607 | 1 40810 707 | 3.026 % | 323.28/323.40 c | 125063 | 87040 1249236 2906607 | 1 40979 709 | 3.026 % | 323.28/323.40 c | 126674 | 87038 1249236 2906607 | 1 42588 757 | 3.028 % | 323.28/323.40 c | 129438 | 87035 1249236 2906607 | 1 45350 911 | 3.032 % | 323.28/323.40 c | 129538 | 87035 1249236 2906607 | 1 45450 911 | 3.032 % | 323.28/323.40 c | 129638 | 87035 1249236 2906607 | 1 24803 155 | 3.032 % | 323.28/323.40 c | 129785 | 87035 1249236 2906607 | 1 24950 160 | 3.032 % | 323.28/323.40 c | 131659 | 87034 1249236 2906607 | 1 26823 289 | 3.033 % | 323.28/323.40 c | 131760 | 87034 1249236 2906607 | 1 26924 292 | 3.033 % | 323.28/323.40 c | 132318 | 87034 1249236 2906607 | 1 27482 320 | 3.033 % | 323.28/323.40 c | 133074 | 87034 1249236 2906607 | 1 28238 359 | 3.033 % | 323.28/323.40 c | 133372 | 87033 1249219 2906539 | 1 28533 374 | 3.034 % | 323.28/323.40 c | 133474 | 87033 1249219 2906539 | 1 28635 378 | 3.034 % | 402.49/402.53 c | 134131 | 87032 1249219 2906539 | 1 29291 392 | 3.035 % | 402.49/402.53 c | 134232 | 87032 1249219 2906539 | 1 29392 393 | 3.035 % | 402.49/402.53 c | 134739 | 87015 1249219 2906539 | 1 29898 399 | 3.054 % | 402.49/402.53 c | 134932 | 87015 1249219 2906539 | 1 30091 401 | 3.054 % | 402.49/402.53 c | 135185 | 87015 1249219 2906539 | 1 30344 408 | 3.054 % | 402.49/402.53 c | 135287 | 87015 1249219 2906539 | 1 30446 410 | 3.054 % | 402.49/402.53 c | 136186 | 87015 1249219 2906539 | 1 31345 434 | 3.054 % | 402.49/402.53 c | 136288 | 87015 1249219 2906539 | 1 31447 436 | 3.054 % | 402.49/402.53 c | 136993 | 87015 1249219 2906539 | 1 32152 462 | 3.054 % | 402.49/402.53 c | 137436 | 87015 1249219 2906539 | 1 32595 464 | 3.054 % | 402.49/402.53 c | 138094 | 87015 1249219 2906539 | 1 33253 488 | 3.054 % | 402.49/402.53 c | 138194 | 87015 1249210 2906498 | 1 33353 488 | 3.054 % | 402.49/402.53 c | 138613 | 87012 1249210 2906498 | 1 33769 492 | 3.057 % | 402.49/402.53 c | 138792 | 87012 1249210 2906498 | 1 33948 501 | 3.057 % | 402.49/402.53 c | 138915 | 87011 1249210 2906498 | 1 34070 502 | 3.058 % | 402.49/402.53 c | 139914 | 87010 1249210 2906498 | 1 35068 530 | 3.059 % | 402.49/402.53 c | 140016 | 87010 1249210 2906498 | 1 35170 530 | 3.059 % | 402.49/402.53 c | 140587 | 87008 1249210 2906498 | 1 35739 538 | 3.062 % | 402.49/402.53 c | 140687 | 87008 1249210 2906498 | 1 35839 541 | 3.062 % | 402.49/402.53 c | 141035 | 87008 1249210 2906498 | 1 36187 546 | 3.062 % | 402.49/402.53 c | 141135 | 87008 1249210 2906498 | 1 36287 546 | 3.062 % | 402.49/402.53 c | 144539 | 86972 1249210 2906498 | 1 39686 687 | 3.102 % | 402.49/402.53 c | 147782 | 86904 1249161 2906267 | 1 42915 718 | 3.178 % | 402.49/402.53 c | 147993 | 86904 1249161 2906267 | 1 43126 721 | 3.178 % | 402.49/402.53 c | 148095 | 86904 1249161 2906267 | 1 43228 722 | 3.178 % | 402.49/402.53 c | 148443 | 86904 1249161 2906267 | 1 43576 734 | 3.178 % | 402.49/402.53 c | 149894 | 86904 1249161 2906267 | 1 45027 805 | 3.178 % | 402.49/402.53 c | 149994 | 86904 1249161 2906267 | 1 45127 805 | 3.178 % | 402.49/402.53 c | 150303 | 86904 1249161 2906267 | 1 45436 817 | 3.178 % | 402.49/402.53 c | 150403 | 86904 1249161 2906267 | 1 45536 820 | 3.178 % | 402.49/402.53 c | 151710 | 86902 1249161 2906267 | 1 46841 833 | 3.180 % | 402.49/402.53 c | 151810 | 86901 1249161 2906267 | 1 46940 832 | 3.181 % | 402.49/402.53 c | 152310 | 86901 1249161 2906267 | 1 47440 833 | 3.181 % | 402.49/402.53 c | 152761 | 86901 1249161 2906267 | 1 47891 840 | 3.181 % | 402.49/402.53 c | 152862 | 86901 1249161 2906267 | 1 47992 839 | 3.181 % | 402.49/402.53 c | 153534 | 86901 1249161 2906267 | 1 48664 842 | 3.181 % | 402.49/402.53 c | 154028 | 86899 1249161 2906267 | 1 49156 849 | 3.183 % | 402.49/402.53 c | 155310 | 86879 1249161 2906267 | 1 50435 876 | 3.205 % | 402.49/402.53 c | 155478 | 86879 1249161 2906267 | 1 50603 875 | 3.205 % | 402.49/402.53 c | 155926 | 86871 1249150 2906215 | 1 51037 876 | 3.214 % | 402.49/402.53 c | 156026 | 86870 1249150 2906215 | 1 51136 875 | 3.215 % | 402.49/402.53 c | 156388 | 86870 1249150 2906215 | 1 51498 882 | 3.215 % | 402.49/402.53 c | 156713 | 86869 1249150 2906215 | 1 51822 882 | 3.216 % | 402.49/402.53 c | 156813 | 86860 1249150 2906215 | 1 51920 881 | 3.227 % | 402.49/402.53 c | 157048 | 86860 1249150 2906215 | 1 28916 137 | 3.227 % | 402.49/402.53 c | 157417 | 86858 1249150 2906215 | 1 29283 152 | 3.229 % | 402.49/402.53 c | 157519 | 86858 1249150 2906215 | 1 29385 152 | 3.229 % | 402.49/402.53 c | 157855 | 86858 1249150 2906215 | 1 29721 175 | 3.229 % | 402.49/402.53 c | 160208 | 86795 1249150 2906215 | 1 32073 257 | 3.299 % | 402.49/402.53 c | 160719 | 86795 1249150 2906215 | 1 32584 288 | 3.299 % | 447.69/447.75 c | 160866 | 86795 1249150 2906215 | 1 32731 288 | 3.299 % | 447.69/447.75 c | 161314 | 86795 1249150 2906215 | 1 33179 313 | 3.299 % | 447.69/447.75 c | 161414 | 86795 1249150 2906215 | 1 33279 320 | 3.299 % | 447.69/447.75 c | 162003 | 86795 1249150 2906215 | 1 33868 334 | 3.299 % | 447.69/447.75 c | 162103 | 86795 1249150 2906215 | 1 33968 335 | 3.299 % | 447.69/447.75 c | 163116 | 86795 1249150 2906215 | 1 34981 372 | 3.299 % | 447.69/447.75 c | 164246 | 86795 1249150 2906215 | 1 36111 432 | 3.299 % | 447.69/447.75 c | 164419 | 86795 1249150 2906215 | 1 36284 446 | 3.299 % | 447.69/447.75 c | 164520 | 86794 1249150 2906215 | 1 36384 450 | 3.300 % | 447.69/447.75 c | 165086 | 86794 1249150 2906215 | 1 36950 469 | 3.300 % | 447.69/447.75 c | 165481 | 86793 1249150 2906215 | 1 37344 476 | 3.301 % | 447.69/447.75 c | 165768 | 86793 1249150 2906215 | 1 37631 481 | 3.301 % | 447.69/447.75 c | 165868 | 86793 1249150 2906215 | 1 37731 482 | 3.301 % | 447.69/447.75 c | 165968 | 86793 1249150 2906215 | 1 37831 485 | 3.301 % | 447.69/447.75 c | 166125 | 86793 1249150 2906215 | 1 37988 488 | 3.301 % | 447.69/447.75 c | 166502 | 86779 1249150 2906215 | 1 38364 500 | 3.317 % | 447.69/447.75 c | 166615 | 86779 1249150 2906215 | 1 38477 501 | 3.317 % | 447.69/447.75 c | 167474 | 86778 1249150 2906215 | 1 39335 531 | 3.318 % | 447.69/447.75 c | 167605 | 86778 1249150 2906215 | 1 39466 531 | 3.318 % | 447.69/447.75 c | 167780 | 86778 1249150 2906215 | 1 39641 536 | 3.318 % | 447.69/447.75 c | 168858 | 86778 1249150 2906215 | 1 40719 554 | 3.318 % | 447.69/447.75 c | 168961 | 86778 1249150 2906215 | 1 40822 560 | 3.318 % | 447.69/447.75 c | 170348 | 86722 1249150 2906215 | 1 42207 585 | 3.380 % | 447.69/447.75 c | 170448 | 86722 1249150 2906215 | 1 42307 584 | 3.380 % | 447.69/447.75 c | 170549 | 86722 1249150 2906215 | 1 42408 583 | 3.380 % | 447.69/447.75 c | 170953 | 86722 1249150 2906215 | 1 42812 596 | 3.380 % | 447.69/447.75 c | 171634 | 86716 1249150 2906215 | 1 43487 600 | 3.387 % | 447.69/447.75 c | 171780 | 86715 1249150 2906215 | 1 43632 603 | 3.388 % | 447.69/447.75 c | 171881 | 86715 1249150 2906215 | 1 43733 604 | 3.388 % | 447.69/447.75 c | 172055 | 86715 1249150 2906215 | 1 43907 612 | 3.388 % | 447.69/447.75 c | 172155 | 86705 1249081 2905924 | 1 43990 613 | 3.399 % | 447.69/447.75 c | 172605 | 86705 1249081 2905924 | 1 44440 622 | 3.399 % | 447.69/447.75 c | 172714 | 86705 1249081 2905924 | 1 44549 623 | 3.399 % | 447.69/447.75 c | 172814 | 86705 1249081 2905924 | 1 44649 622 | 3.399 % | 447.69/447.75 c | 174557 | 86702 1249081 2905924 | 1 46389 638 | 3.403 % | 447.69/447.75 c | 174658 | 86702 1249081 2905924 | 1 46490 637 | 3.403 % | 447.69/447.75 c | 175132 | 86702 1249081 2905924 | 1 46964 647 | 3.403 % | 447.69/447.75 c | 175296 | 86702 1249081 2905924 | 1 47128 655 | 3.403 % | 447.69/447.75 c | 176676 | 86702 1249081 2905924 | 1 48508 658 | 3.403 % | 447.69/447.75 c | 176886 | 86701 1249081 2905924 | 1 48717 658 | 3.404 % | 447.69/447.75 c | 177107 | 86689 1249081 2905924 | 1 48937 657 | 3.417 % | 447.69/447.75 c | 177247 | 86688 1249081 2905924 | 1 49076 659 | 3.418 % | 447.69/447.75 c | 177348 | 86688 1249081 2905924 | 1 49177 659 | 3.418 % | 447.69/447.75 c | 178017 | 86688 1249081 2905924 | 1 49846 666 | 3.418 % | 447.69/447.75 c | 178263 | 86688 1249081 2905924 | 1 50092 668 | 3.418 % | 447.69/447.75 c | 178365 | 86688 1249081 2905924 | 1 50194 668 | 3.418 % | 447.69/447.75 c | 178791 | 86678 1249081 2905924 | 1 50618 671 | 3.429 % | 447.69/447.75 c | 178891 | 86678 1249081 2905924 | 1 50718 672 | 3.429 % | 447.69/447.75 c | 179729 | 86676 1249081 2905924 | 1 51555 679 | 3.432 % | 524.29/524.31 c | 179831 | 86676 1249081 2905924 | 1 51657 679 | 3.432 % | 524.29/524.31 c | 182375 | 86676 1249081 2905924 | 1 54201 773 | 3.432 % | 524.29/524.31 c | 182477 | 86676 1249066 2905860 | 1 54290 773 | 3.432 % | 524.29/524.31 c | 182936 | 86676 1249066 2905860 | 1 54749 775 | 3.432 % | 524.29/524.31 c | 183036 | 86676 1249066 2905860 | 1 54849 775 | 3.432 % | 524.29/524.31 c | 183470 | 86676 1249066 2905860 | 1 55283 777 | 3.432 % | 524.29/524.31 c | 183573 | 86676 1249066 2905860 | 1 55386 778 | 3.432 % | 524.29/524.31 c | 184200 | 86662 1249066 2905860 | 1 56011 778 | 3.447 % | 524.29/524.31 c | 184436 | 86655 1249066 2905860 | 1 56246 781 | 3.455 % | 524.29/524.31 c | 184698 | 86655 1249066 2905860 | 1 56508 788 | 3.455 % | 524.29/524.31 c | 184934 | 86653 1249066 2905860 | 1 56742 792 | 3.457 % | 524.29/524.31 c | 185218 | 86653 1249066 2905860 | 1 57026 792 | 3.457 % | 524.29/524.31 c | 185318 | 86653 1249066 2905860 | 1 57126 792 | 3.457 % | 524.29/524.31 c | 185499 | 86652 1249066 2905860 | 1 57306 791 | 3.458 % | 524.29/524.31 c | 185975 | 86652 1249066 2905860 | 1 57782 794 | 3.458 % | 524.29/524.31 c | 186151 | 86652 1249066 2905860 | 1 57958 793 | 3.458 % | 524.29/524.31 c | 186346 | 86652 1249066 2905860 | 1 58153 795 | 3.458 % | 524.29/524.31 c | 186446 | 86652 1249066 2905860 | 1 58253 796 | 3.458 % | 524.29/524.31 c | 186847 | 86652 1249066 2905860 | 1 58654 809 | 3.458 % | 524.29/524.31 c | 187640 | 86634 1249066 2905860 | 1 33349 133 | 3.478 % | 524.29/524.31 c | 190051 | 86631 1249066 2905860 | 1 35757 289 | 3.482 % | 524.29/524.31 c | 190939 | 86630 1249066 2905860 | 1 36644 306 | 3.483 % | 524.29/524.31 c | 191632 | 86623 1249066 2905860 | 1 37335 331 | 3.491 % | 524.29/524.31 c | 191734 | 86623 1249066 2905860 | 1 37437 332 | 3.491 % | 524.29/524.31 c | 192288 | 86622 1249066 2905860 | 1 37990 374 | 3.492 % | 524.29/524.31 c | 192544 | 86594 1249066 2905860 | 1 38244 379 | 3.523 % | 524.29/524.31 c | 192857 | 86594 1249066 2905860 | 1 38557 389 | 3.523 % | 524.29/524.31 c | 193792 | 86593 1249066 2905860 | 1 39491 403 | 3.524 % | 524.29/524.31 c | 194123 | 86593 1249066 2905860 | 1 39822 415 | 3.524 % | 524.29/524.31 c | 194225 | 86593 1249066 2905860 | 1 39924 416 | 3.524 % | 524.29/524.31 c | 194620 | 86593 1249066 2905860 | 1 40319 427 | 3.524 % | 524.29/524.31 c | 194720 | 86592 1249066 2905860 | 1 40418 427 | 3.525 % | 524.29/524.31 c | 194972 | 86592 1249066 2905860 | 1 40670 445 | 3.525 % | 524.29/524.31 c | 195074 | 86592 1249066 2905860 | 1 40772 447 | 3.525 % | 524.29/524.31 c | 195176 | 86592 1249066 2905860 | 1 40874 450 | 3.525 % | 524.29/524.31 c | 195413 | 86592 1249066 2905860 | 1 41111 455 | 3.525 % | 524.29/524.31 c | 195513 | 86568 1249066 2905860 | 1 41210 455 | 3.552 % | 524.29/524.31 c | 195781 | 86568 1249066 2905860 | 1 41478 461 | 3.552 % | 524.29/524.31 c | 198544 | 86567 1249066 2905860 | 1 44240 556 | 3.553 % | 524.29/524.31 c | 198646 | 86566 1249019 2905655 | 1 44338 558 | 3.554 % | 524.29/524.31 c | 200036 | 86566 1249019 2905655 | 1 45728 555 | 3.554 % | 524.29/524.31 c | 201454 | 86566 1249019 2905655 | 1 47146 547 | 3.554 % | 524.29/524.31 c | 201555 | 86566 1249019 2905655 | 1 47247 547 | 3.554 % | 524.29/524.31 c | 201907 | 86565 1249019 2905655 | 1 47598 554 | 3.555 % | 524.29/524.31 c | 202049 | 86557 1249019 2905655 | 1 47739 554 | 3.564 % | 524.29/524.31 c | 202197 | 86557 1249019 2905655 | 1 47887 557 | 3.564 % | 524.29/524.31 c | 203552 | 86557 1249019 2905655 | 1 49242 590 | 3.564 % | 524.29/524.31 c | 203666 | 86501 1249019 2905655 | 1 49355 592 | 3.626 % | 524.29/524.31 c | 203925 | 86501 1249019 2905655 | 1 49614 592 | 3.626 % | 524.29/524.31 c | 204026 | 86501 1249019 2905655 | 1 49715 594 | 3.626 % | 622.38/622.49 c | 204243 | 86501 1249019 2905655 | 1 49932 596 | 3.626 % | 622.38/622.49 c | 206122 | 86479 1249019 2905655 | 1 51809 639 | 3.651 % | 622.38/622.49 c | 206542 | 86479 1249019 2905655 | 1 52229 643 | 3.651 % | 622.38/622.49 c | 206643 | 86479 1249019 2905655 | 1 52330 643 | 3.651 % | 622.38/622.49 c | 207146 | 86447 1249019 2905655 | 1 52832 647 | 3.687 % | 622.38/622.49 c | 207246 | 86446 1249019 2905655 | 1 52931 648 | 3.688 % | 622.38/622.49 c | 208371 | 86445 1248958 2905387 | 1 54033 654 | 3.689 % | 622.38/622.49 c | 209426 | 86444 1248958 2905387 | 1 55087 675 | 3.690 % | 622.38/622.49 c | 209526 | 86444 1248958 2905387 | 1 55187 674 | 3.690 % | 622.38/622.49 c | 209898 | 86443 1248958 2905387 | 1 55558 675 | 3.691 % | 622.38/622.49 c | 210282 | 86443 1248958 2905387 | 1 55942 684 | 3.691 % | 622.38/622.49 c | 210973 | 86442 1248958 2905387 | 1 56632 689 | 3.692 % | 622.38/622.49 c | 213025 | 86441 1248958 2905387 | 1 58683 715 | 3.693 % | 622.38/622.49 c | 213130 | 86441 1248958 2905387 | 1 58788 716 | 3.693 % | 622.38/622.49 c | 213645 | 86441 1248958 2905387 | 1 59303 735 | 3.693 % | 622.38/622.49 c | 213749 | 86441 1248958 2905387 | 1 59407 735 | 3.693 % | 622.38/622.49 c | 213851 | 86441 1248958 2905387 | 1 59509 735 | 3.693 % | 622.38/622.49 c | 214440 | 86374 1248958 2905387 | 1 60095 741 | 3.768 % | 622.38/622.49 c | 214974 | 86372 1248958 2905387 | 1 60627 745 | 3.770 % | 622.38/622.49 c | 215074 | 86372 1248958 2905387 | 1 60727 744 | 3.770 % | 622.38/622.49 c | 215717 | 86372 1248958 2905387 | 1 61370 768 | 3.770 % | 622.38/622.49 c | 215821 | 86372 1248958 2905387 | 1 61474 769 | 3.770 % | 622.38/622.49 c | 217532 | 86370 1248958 2905387 | 1 63183 770 | 3.772 % | 622.38/622.49 c | 218425 | 86369 1248958 2905387 | 1 64075 770 | 3.774 % | 622.38/622.49 c | 220071 | 86353 1248958 2905387 | 1 38133 155 | 3.791 % | 622.38/622.49 c | 220171 | 86353 1248958 2905387 | 1 38233 157 | 3.791 % | 622.38/622.49 c | 221470 | 86353 1248958 2905387 | 1 39532 192 | 3.791 % | 622.38/622.49 c | 221570 | 86353 1248922 2905220 | 1 39624 196 | 3.791 % | 622.38/622.49 c | 221670 | 86339 1248922 2905220 | 1 39722 198 | 3.807 % | 622.38/622.49 c | 221950 | 86339 1248922 2905220 | 1 40002 202 | 3.807 % | 622.38/622.49 c | 222057 | 86339 1248922 2905220 | 1 40109 205 | 3.807 % | 622.38/622.49 c | 222360 | 86339 1248922 2905220 | 1 40412 215 | 3.807 % | 622.38/622.49 c | 222670 | 86339 1248922 2905220 | 1 40722 217 | 3.807 % | 622.38/622.49 c | 222971 | 86339 1248922 2905220 | 1 41023 235 | 3.807 % | 622.38/622.49 c | 223071 | 86339 1248922 2905220 | 1 41123 237 | 3.807 % | 622.38/622.49 c | 223405 | 86338 1248922 2905220 | 1 41456 248 | 3.808 % | 622.38/622.49 c | 223505 | 86338 1248922 2905220 | 1 41556 248 | 3.808 % | 622.38/622.49 c | 228144 | 86337 1248914 2905183 | 1 46193 418 | 3.809 % | 622.38/622.49 c | 228246 | 86337 1248914 2905183 | 1 46295 419 | 3.809 % | 622.38/622.49 c | 229143 | 86337 1248914 2905183 | 1 47192 428 | 3.809 % | 622.38/622.49 c | 229243 | 86337 1248914 2905183 | 1 47292 428 | 3.809 % | 622.38/622.49 c | 230279 | 86336 1248914 2905183 | 1 48327 453 | 3.810 % | 622.38/622.49 c | 231375 | 86336 1248914 2905183 | 1 49423 462 | 3.810 % | 622.38/622.49 c | 233632 | 86336 1248914 2905183 | 1 51680 518 | 3.810 % | 622.38/622.49 c | 233732 | 86336 1248914 2905183 | 1 51780 519 | 3.810 % | 622.38/622.49 c | 233976 | 86334 1248914 2905183 | 1 52022 519 | 3.813 % | 622.38/622.49 c | 234187 | 86334 1248914 2905183 | 1 52233 523 | 3.813 % | 622.38/622.49 c | 234311 | 86333 1248914 2905183 | 1 52356 523 | 3.814 % | 622.38/622.49 c | 235419 | 86333 1248914 2905183 | 1 53464 570 | 3.814 % | 622.38/622.49 c | 235519 | 86333 1248914 2905183 | 1 53564 573 | 3.814 % | 718.68/718.78 c | 235619 | 86333 1248914 2905183 | 1 53664 574 | 3.814 % | 718.68/718.78 c | 235887 | 86250 1248914 2905183 | 1 53916 580 | 3.906 % | 718.68/718.78 c | 235987 | 86249 1248914 2905183 | 1 54015 582 | 3.907 % | 718.68/718.78 c | 236088 | 86248 1248914 2905183 | 1 54115 582 | 3.908 % | 718.68/718.78 c | 236282 | 86248 1248914 2905183 | 1 54309 581 | 3.908 % | 718.68/718.78 c | 236398 | 86248 1248914 2905183 | 1 54425 583 | 3.908 % | 718.68/718.78 c | 237030 | 86247 1248914 2905183 | 1 55056 594 | 3.909 % | 718.68/718.78 c | 238054 | 86247 1248914 2905183 | 1 56080 611 | 3.909 % | 718.68/718.78 c | 241184 | 86234 1248914 2905183 | 1 59207 650 | 3.924 % | 718.68/718.78 c | 241285 | 86234 1248914 2905183 | 1 59308 650 | 3.924 % | 718.68/718.78 c | 241385 | 86234 1248914 2905183 | 1 59408 649 | 3.924 % | 718.68/718.78 c | 242143 | 86233 1248914 2905183 | 1 60165 660 | 3.925 % | 718.68/718.78 c | 243314 | 86225 1248914 2905183 | 1 61335 667 | 3.934 % | 718.68/718.78 c | 244081 | 86225 1248914 2905183 | 1 62102 669 | 3.934 % | 718.68/718.78 c | 244631 | 86224 1248914 2905183 | 1 62651 675 | 3.935 % | 718.68/718.78 c | 244731 | 86224 1248914 2905183 | 1 62751 676 | 3.935 % | 718.68/718.78 c | 245021 | 86224 1248914 2905183 | 1 63041 682 | 3.935 % | 718.68/718.78 c | 245240 | 86224 1248914 2905183 | 1 63260 683 | 3.935 % | 718.68/718.78 c | 245340 | 86224 1248914 2905183 | 1 63360 683 | 3.935 % | 718.68/718.78 c | 245485 | 86223 1248914 2905183 | 1 63504 685 | 3.936 % | 718.68/718.78 c | 248496 | 86223 1248914 2905183 | 1 66515 690 | 3.936 % | 718.68/718.78 c | 249410 | 86223 1248875 2905014 | 1 67412 713 | 3.936 % | 718.68/718.78 c | 249510 | 86223 1248875 2905014 | 1 67512 713 | 3.936 % | 718.68/718.78 c | 250706 | 86223 1248875 2905014 | 1 68708 734 | 3.936 % | 718.68/718.78 c | 250806 | 86223 1248875 2905014 | 1 68808 734 | 3.936 % | 718.68/718.78 c | 251115 | 86223 1248875 2905014 | 1 69117 733 | 3.936 % | 718.68/718.78 c | 253003 | 86223 1248875 2905014 | 1 71005 813 | 3.936 % | 718.68/718.78 c | 254567 | 86223 1248875 2905014 | 1 72569 829 | 3.936 % | 718.68/718.78 c | 254668 | 86223 1248875 2905014 | 1 72670 831 | 3.936 % | 718.68/718.78 c | 255083 | 86223 1248875 2905014 | 1 42472 130 | 3.936 % | 718.68/718.78 c | 255183 | 86223 1248875 2905014 | 1 42572 132 | 3.936 % | 718.68/718.78 c | 258408 | 86222 1248875 2905014 | 1 45796 281 | 3.937 % | 718.68/718.78 c | 260423 | 86198 1248875 2905014 | 1 47807 348 | 3.964 % | 718.68/718.78 c | 260523 | 86198 1248875 2905014 | 1 47907 349 | 3.964 % | 718.68/718.78 c | 261374 | 86198 1248875 2905014 | 1 48758 360 | 3.964 % | 718.68/718.78 c | 261476 | 86198 1248875 2905014 | 1 48860 361 | 3.964 % | 718.68/718.78 c | 262329 | 86197 1248875 2905014 | 1 49712 372 | 3.965 % | 718.68/718.78 c | 262992 | 86196 1248875 2905014 | 1 50374 395 | 3.966 % | 718.68/718.78 c | 263754 | 86185 1248875 2905014 | 1 51134 406 | 3.979 % | 718.68/718.78 c | 264828 | 86184 1248875 2905014 | 1 52207 408 | 3.980 % | 718.68/718.78 c | 266048 | 86182 1248875 2905014 | 1 53426 425 | 3.982 % | 718.68/718.78 c | 266782 | 86181 1248875 2905014 | 1 54159 443 | 3.983 % | 718.68/718.78 c | 266882 | 86176 1248861 2904953 | 1 54247 443 | 3.989 % | 718.68/718.78 c | 267112 | 86176 1248861 2904953 | 1 54477 450 | 3.989 % | 718.68/718.78 c | 268198 | 86176 1248861 2904953 | 1 55563 455 | 3.989 % | 718.68/718.78 c | 268477 | 86175 1248861 2904953 | 1 55841 457 | 3.990 % | 718.68/718.78 c | 268845 | 86173 1248861 2904953 | 1 56207 463 | 3.992 % | 718.68/718.78 c | 268945 | 86173 1248861 2904953 | 1 56307 464 | 3.992 % | 718.68/718.78 c | 269162 | 86172 1248861 2904953 | 1 56523 466 | 3.993 % | 718.68/718.78 c | 269653 | 86171 1248861 2904953 | 1 57013 482 | 3.994 % | 803.69/803.79 c | 269755 | 86171 1248861 2904953 | 1 57115 486 | 3.994 % | 803.69/803.79 c | 269856 | 86171 1248861 2904953 | 1 57216 487 | 3.994 % | 803.69/803.79 c | 270676 | 86170 1248861 2904953 | 1 58035 486 | 3.995 % | 803.69/803.79 c | 271306 | 86170 1248861 2904953 | 1 58665 507 | 3.995 % | 803.69/803.79 c | 271412 | 86169 1248861 2904953 | 1 58770 507 | 3.996 % | 803.69/803.79 c | 271944 | 86169 1248861 2904953 | 1 59302 516 | 3.996 % | 803.69/803.79 c | 273092 | 86167 1248861 2904953 | 1 60448 553 | 3.999 % | 803.69/803.79 c | 274043 | 86165 1248861 2904953 | 1 61397 566 | 4.001 % | 803.69/803.79 c | 274466 | 86165 1248861 2904953 | 1 61820 573 | 4.001 % | 803.69/803.79 c | 274833 | 86164 1248861 2904953 | 1 62186 575 | 4.002 % | 803.69/803.79 c | 275763 | 86159 1248861 2904953 | 1 63114 579 | 4.008 % | 803.69/803.79 c | 276108 | 86159 1248861 2904953 | 1 63459 588 | 4.008 % | 803.69/803.79 c | 276209 | 86159 1248861 2904953 | 1 63560 588 | 4.008 % | 803.69/803.79 c | 276586 | 86159 1248861 2904953 | 1 63937 595 | 4.008 % | 803.69/803.79 c | 276963 | 86157 1248857 2904937 | 1 64310 600 | 4.010 % | 803.69/803.79 c | 277065 | 86157 1248857 2904937 | 1 64412 600 | 4.010 % | 803.69/803.79 c | 277861 | 86156 1248857 2904937 | 1 65207 619 | 4.011 % | 803.69/803.79 c | 277961 | 86156 1248857 2904937 | 1 65307 619 | 4.011 % | 803.69/803.79 c | 278129 | 86156 1248857 2904937 | 1 65475 620 | 4.011 % | 803.69/803.79 c | 279056 | 86156 1248857 2904937 | 1 66402 631 | 4.011 % | 803.69/803.79 c | 281285 | 86156 1248857 2904937 | 1 68631 679 | 4.011 % | 803.69/803.79 c | 281386 | 86156 1248857 2904937 | 1 68732 678 | 4.011 % | 803.69/803.79 c | 281488 | 86155 1248857 2904937 | 1 68833 677 | 4.012 % | 803.69/803.79 c | 281589 | 86155 1248857 2904937 | 1 68934 677 | 4.012 % | 803.69/803.79 c | 284445 | 86155 1248857 2904937 | 1 71790 739 | 4.012 % | 803.69/803.79 c | 284756 | 86155 1248857 2904937 | 1 72101 738 | 4.012 % | 803.69/803.79 c | 284995 | 86155 1248857 2904937 | 1 72340 745 | 4.012 % | 803.69/803.79 c | 285096 | 86155 1248857 2904937 | 1 72441 745 | 4.012 % | 803.69/803.79 c | 285622 | 86153 1248857 2904937 | 1 72965 759 | 4.014 % | 803.69/803.79 c | 285870 | 86151 1248857 2904937 | 1 73211 762 | 4.016 % | 803.69/803.79 c | 286385 | 86150 1248857 2904937 | 1 73725 768 | 4.018 % | 803.69/803.79 c | 286526 | 86150 1248857 2904937 | 1 73866 772 | 4.018 % | 803.69/803.79 c | 286630 | 86150 1248857 2904937 | 1 73970 771 | 4.018 % | 803.69/803.79 c | 286737 | 86150 1248857 2904937 | 1 74077 772 | 4.018 % | 803.69/803.79 c | 287120 | 86150 1248857 2904937 | 1 74460 775 | 4.018 % | 803.69/803.79 c | 287225 | 86150 1248857 2904937 | 1 74565 776 | 4.018 % | 803.69/803.79 c | 289371 | 86149 1248857 2904937 | 1 76710 821 | 4.019 % | 803.69/803.79 c | 289471 | 86149 1248857 2904937 | 1 76810 821 | 4.019 % | 803.69/803.79 c | 290794 | 86149 1248857 2904937 | 1 78133 829 | 4.019 % | 803.69/803.79 c | 290894 | 86149 1248857 2904937 | 1 78233 829 | 4.019 % | 803.69/803.79 c | 291769 | 86122 1248852 2904914 | 1 79095 828 | 4.049 % | 803.69/803.79 c | 292084 | 86122 1248852 2904914 | 1 79410 830 | 4.049 % | 803.69/803.79 c | 292184 | 86122 1248852 2904914 | 1 79510 829 | 4.049 % | 803.69/803.79 c | 292941 | 86122 1248852 2904914 | 1 46628 137 | 4.049 % | 803.69/803.79 c | 293044 | 86122 1248852 2904914 | 1 46731 138 | 4.049 % | 803.69/803.79 c | 293972 | 86121 1248852 2904914 | 1 47658 168 | 4.050 % | 803.69/803.79 c | 294073 | 86121 1248852 2904914 | 1 47759 170 | 4.050 % | 803.69/803.79 c | 294208 | 86121 1248852 2904914 | 1 47894 171 | 4.050 % | 803.69/803.79 c | 294538 | 86121 1248852 2904914 | 1 48224 186 | 4.050 % | 803.69/803.79 c | 295174 | 86121 1248852 2904914 | 1 48860 201 | 4.050 % | 904.79/904.83 c | 298709 | 86113 1248852 2904914 | 1 52391 288 | 4.059 % | 904.79/904.83 c | 298811 | 86102 1248852 2904914 | 1 52491 290 | 4.071 % | 904.79/904.83 c | 298911 | 86102 1248852 2904914 | 1 52591 292 | 4.071 % | 904.79/904.83 c | 301078 | 86101 1248852 2904914 | 1 54757 329 | 4.072 % | 904.79/904.83 c | 301179 | 86101 1248852 2904914 | 1 54858 330 | 4.072 % | 904.79/904.83 c | 301865 | 86101 1248852 2904914 | 1 55544 349 | 4.072 % | 904.79/904.83 c | 301966 | 86101 1248852 2904914 | 1 55645 350 | 4.072 % | 904.79/904.83 c | 302067 | 86101 1248852 2904914 | 1 55746 352 | 4.072 % | 904.79/904.83 c | 302167 | 86101 1248852 2904914 | 1 55846 352 | 4.072 % | 904.79/904.83 c | 302916 | 86101 1248852 2904914 | 1 56595 384 | 4.072 % | 904.79/904.83 c | 303248 | 86101 1248852 2904914 | 1 56927 388 | 4.072 % | 904.79/904.83 c | 303348 | 86101 1248852 2904914 | 1 57027 390 | 4.072 % | 904.79/904.83 c | 304428 | 86099 1248852 2904914 | 1 58105 404 | 4.074 % | 904.79/904.83 c | 304529 | 86099 1248852 2904914 | 1 58206 406 | 4.074 % | 904.79/904.83 c | 304712 | 86099 1248852 2904914 | 1 58389 408 | 4.074 % | 904.79/904.83 c | 306230 | 86090 1248852 2904914 | 1 59905 444 | 4.084 % | 904.79/904.83 c | 306334 | 86090 1248852 2904914 | 1 60009 445 | 4.084 % | 904.79/904.83 c | 307418 | 86078 1248852 2904914 | 1 61092 467 | 4.098 % | 904.79/904.83 c | 307597 | 86078 1248852 2904914 | 1 61271 467 | 4.098 % | 904.79/904.83 c | 308750 | 86070 1248852 2904914 | 1 62422 479 | 4.107 % | 904.79/904.83 c | 308952 | 86070 1248852 2904914 | 1 62624 481 | 4.107 % | 904.79/904.83 c | 309351 | 86068 1248852 2904914 | 1 63021 486 | 4.109 % | 904.79/904.83 c | 309689 | 86066 1248852 2904914 | 1 63358 490 | 4.111 % | 904.79/904.83 c | 309790 | 86066 1248852 2904914 | 1 63459 492 | 4.111 % | 904.79/904.83 c | 311832 | 86065 1248852 2904914 | 1 65500 548 | 4.112 % | 904.79/904.83 c | 313566 | 86059 1248852 2904914 | 1 67229 569 | 4.119 % | 904.79/904.83 c | 313878 | 86059 1248852 2904914 | 1 67541 570 | 4.119 % | 904.79/904.83 c | 313985 | 86059 1248852 2904914 | 1 67648 571 | 4.119 % | 904.79/904.83 c | 314087 | 86059 1248852 2904914 | 1 67750 571 | 4.119 % | 904.79/904.83 c | 314187 | 86059 1248852 2904914 | 1 67850 573 | 4.119 % | 904.79/904.83 c | 314289 | 86056 1248852 2904914 | 1 67949 574 | 4.122 % | 904.79/904.83 c | 315281 | 86054 1248852 2904914 | 1 68939 582 | 4.125 % | 904.79/904.83 c | 317096 | 86053 1248825 2904787 | 1 70737 604 | 4.126 % | 904.79/904.83 c | 317591 | 86053 1248825 2904787 | 1 71232 611 | 4.126 % | 904.79/904.83 c | 317691 | 86053 1248825 2904787 | 1 71332 611 | 4.126 % | 904.79/904.83 c | 318181 | 86053 1248825 2904787 | 1 71822 619 | 4.126 % | 904.79/904.83 c | 318884 | 86042 1248825 2904787 | 1 72524 621 | 4.138 % | 904.79/904.83 c | 318984 | 86042 1248825 2904787 | 1 72624 621 | 4.138 % | 904.79/904.83 c | 319681 | 86042 1248825 2904787 | 1 73321 624 | 4.138 % | 904.79/904.83 c | 320971 | 86042 1248825 2904787 | 1 74611 655 | 4.138 % | 904.79/904.83 c | 321699 | 86041 1248825 2904787 | 1 75338 656 | 4.139 % | 904.79/904.83 c | 326267 | 86035 1248825 2904787 | 1 79905 689 | 4.146 % | 904.79/904.83 c | 326830 | 86034 1248825 2904787 | 1 80467 688 | 4.147 % | 904.79/904.83 c | 328778 | 86031 1248825 2904787 | 1 82413 692 | 4.150 % | 904.79/904.83 c | 328881 | 86031 1248825 2904787 | 1 82516 692 | 4.150 % | 904.79/904.83 c | 329688 | 86030 1248825 2904787 | 1 83322 695 | 4.151 % | 904.79/904.83 c | 330795 | 86020 1248825 2904787 | 1 84428 705 | 4.162 % | 904.79/904.83 c | 332231 | 86014 1248825 2904787 | 1 85862 716 | 4.169 % | 904.79/904.83 c | 332334 | 86014 1248825 2904787 | 1 85965 719 | 4.169 % | 904.79/904.83 c | 332547 | 86014 1248825 2904787 | 1 86178 720 | 4.169 % | 1004.09/1004.20 c | 333255 | 86014 1248810 2904721 | 1 51916 130 | 4.169 % | 1004.09/1004.20 c | 333863 | 86012 1248810 2904721 | 1 52522 141 | 4.171 % | 1004.09/1004.20 c | 334194 | 86011 1248810 2904721 | 1 52852 146 | 4.172 % | 1004.09/1004.20 c | 334317 | 86011 1248810 2904721 | 1 52975 149 | 4.172 % | 1004.09/1004.20 c | 334539 | 86011 1248810 2904721 | 1 53197 153 | 4.172 % | 1004.09/1004.20 c | 335207 | 86011 1248810 2904721 | 1 53865 162 | 4.172 % | 1004.09/1004.20 c | 335326 | 86011 1248810 2904721 | 1 53984 164 | 4.172 % | 1004.09/1004.20 c | 335758 | 86009 1248810 2904721 | 1 54414 171 | 4.175 % | 1004.09/1004.20 c | 335987 | 86008 1248810 2904721 | 1 54642 174 | 4.176 % | 1004.09/1004.20 c | 336089 | 86008 1248810 2904721 | 1 54744 175 | 4.176 % | 1004.09/1004.20 c | 339222 | 85991 1248810 2904721 | 1 57875 221 | 4.195 % | 1004.09/1004.20 c | 339324 | 85991 1248810 2904721 | 1 57977 222 | 4.195 % | 1004.09/1004.20 c | 340031 | 85989 1248810 2904721 | 1 58682 236 | 4.197 % | 1004.09/1004.20 c | 340383 | 85988 1248810 2904721 | 1 59033 244 | 4.198 % | 1004.09/1004.20 c | 340484 | 85985 1248810 2904721 | 1 59131 245 | 4.201 % | 1004.09/1004.20 c | 340586 | 85985 1248810 2904721 | 1 59233 246 | 4.201 % | 1004.09/1004.20 c | 340691 | 85985 1248810 2904721 | 1 59338 246 | 4.201 % | 1004.09/1004.20 c | 340791 | 85985 1248810 2904721 | 1 59438 246 | 4.201 % | 1004.09/1004.20 c | 342081 | 85984 1248810 2904721 | 1 60727 275 | 4.203 % | 1004.09/1004.20 c | 343213 | 85984 1248810 2904721 | 1 61859 286 | 4.203 % | 1004.09/1004.20 c | 343540 | 85980 1248810 2904721 | 1 62185 291 | 4.207 % | 1004.09/1004.20 c | 344855 | 85980 1248810 2904721 | 1 63500 314 | 4.207 % | 1004.09/1004.20 c | 345592 | 85980 1248810 2904721 | 1 64237 341 | 4.207 % | 1004.09/1004.20 c | 346120 | 85980 1248810 2904721 | 1 64765 352 | 4.207 % | 1004.09/1004.20 c | 347752 | 85980 1248810 2904721 | 1 66397 385 | 4.207 % | 1004.09/1004.20 c | 348771 | 85979 1248810 2904721 | 1 67415 422 | 4.208 % | 1004.09/1004.20 c | 349689 | 85941 1248810 2904721 | 1 68332 448 | 4.250 % | 1004.09/1004.20 c | 349789 | 85941 1248810 2904721 | 1 68432 449 | 4.250 % | 1004.09/1004.20 c | 350065 | 85941 1248810 2904721 | 1 68708 451 | 4.250 % | 1004.09/1004.20 c | 350253 | 85941 1248810 2904721 | 1 68896 453 | 4.250 % | 1004.09/1004.20 c | 350961 | 85931 1248810 2904721 | 1 69602 460 | 4.262 % | 1004.09/1004.20 c | 352558 | 85886 1248810 2904721 | 1 71191 493 | 4.312 % | 1004.09/1004.20 c | 352662 | 85886 1248810 2904721 | 1 71295 494 | 4.312 % | 1004.09/1004.20 c | 352904 | 85886 1248810 2904721 | 1 71537 500 | 4.312 % | 1004.09/1004.20 c | 353009 | 85885 1248810 2904721 | 1 71641 499 | 4.313 % | 1004.09/1004.20 c | 353594 | 85885 1248810 2904721 | 1 72226 522 | 4.313 % | 1004.09/1004.20 c | 353791 | 85885 1248810 2904721 | 1 72423 522 | 4.313 % | 1004.09/1004.20 c | 355577 | 85879 1248810 2904721 | 1 74207 573 | 4.319 % | 1004.09/1004.20 c | 355677 | 85879 1248810 2904721 | 1 74307 574 | 4.319 % | 1004.09/1004.20 c | 356306 | 85878 1248755 2904478 | 1 74899 576 | 4.321 % | 1004.09/1004.20 c | 356410 | 85878 1248755 2904478 | 1 75003 577 | 4.321 % | 1004.09/1004.20 c | 356511 | 85878 1248755 2904478 | 1 75104 579 | 4.321 % | 1004.09/1004.20 c | 356752 | 85878 1248755 2904478 | 1 75345 581 | 4.321 % | 1004.09/1004.20 c | 356855 | 85878 1248755 2904478 | 1 75448 581 | 4.321 % | 1004.09/1004.20 c | 357383 | 85878 1248755 2904478 | 1 75976 596 | 4.321 % | 1004.09/1004.20 c | 358919 | 85877 1248755 2904478 | 1 77511 607 | 4.322 % | 1004.09/1004.20 c | 359020 | 85877 1248755 2904478 | 1 77612 608 | 4.322 % | 1004.09/1004.20 c | 359134 | 85877 1248755 2904478 | 1 77726 610 | 4.322 % | 1004.09/1004.20 c | 359910 | 85874 1248755 2904478 | 1 78501 619 | 4.325 % | 1004.09/1004.20 c | 360010 | 85863 1248755 2904478 | 1 78600 619 | 4.337 % | 1072.89/1072.94 c | 361662 | 85863 1248755 2904478 | 1 80252 669 | 4.337 % | 1072.89/1072.94 c | 361765 | 85863 1248755 2904478 | 1 80355 669 | 4.337 % | 1072.89/1072.94 c | 361976 | 85863 1248755 2904478 | 1 80566 670 | 4.337 % | 1072.89/1072.94 c | 362174 | 85863 1248755 2904478 | 1 80764 675 | 4.337 % | 1072.89/1072.94 c | 362274 | 85862 1248755 2904478 | 1 80863 676 | 4.338 % | 1072.89/1072.94 c | 362377 | 85862 1248755 2904478 | 1 80966 676 | 4.338 % | 1072.89/1072.94 c | 363095 | 85862 1248755 2904478 | 1 81684 696 | 4.338 % | 1072.89/1072.94 c | 363195 | 85862 1248755 2904478 | 1 81784 696 | 4.338 % | 1072.89/1072.94 c | 363704 | 85856 1248755 2904478 | 1 82291 702 | 4.345 % | 1072.89/1072.94 c | 364088 | 85856 1248755 2904478 | 1 82675 704 | 4.345 % | 1072.89/1072.94 c | 366190 | 85850 1248755 2904478 | 1 84776 722 | 4.352 % | 1072.89/1072.94 c | 366290 | 85850 1248755 2904478 | 1 84876 723 | 4.352 % | 1072.89/1072.94 c | 366391 | 85843 1248755 2904478 | 1 84975 723 | 4.360 % | 1072.89/1072.94 c | 367043 | 85841 1248755 2904478 | 1 85625 731 | 4.362 % | 1072.89/1072.94 c | 367144 | 85841 1248755 2904478 | 1 85726 731 | 4.362 % | 1072.89/1072.94 c | 367432 | 85840 1248755 2904478 | 1 86013 730 | 4.363 % | 1072.89/1072.94 c | 368289 | 85840 1248755 2904478 | 1 86870 743 | 4.363 % | 1072.89/1072.94 c | 368389 | 85840 1248755 2904478 | 1 86970 743 | 4.363 % | 1072.89/1072.94 c | 368754 | 85840 1248755 2904478 | 1 87335 753 | 4.363 % | 1072.89/1072.94 c | 369118 | 85840 1248755 2904478 | 1 87699 753 | 4.363 % | 1072.89/1072.94 c | 369218 | 85838 1248755 2904478 | 1 87797 753 | 4.365 % | 1072.89/1072.94 c | 369366 | 85838 1248755 2904478 | 1 87945 754 | 4.365 % | 1072.89/1072.94 c | 369466 | 85838 1248755 2904478 | 1 88045 754 | 4.365 % | 1072.89/1072.94 c | 369668 | 85838 1248755 2904478 | 1 88247 755 | 4.365 % | 1072.89/1072.94 c | 369768 | 85838 1248755 2904478 | 1 88347 755 | 4.365 % | 1072.89/1072.94 c | 369872 | 85838 1248755 2904478 | 1 88451 756 | 4.365 % | 1072.89/1072.94 c | 370600 | 85838 1248755 2904478 | 1 89179 757 | 4.365 % | 1072.89/1072.94 c | 370700 | 85838 1248755 2904478 | 1 89279 759 | 4.365 % | 1072.89/1072.94 c | 370954 | 85838 1248755 2904478 | 1 89533 761 | 4.365 % | 1072.89/1072.94 c | 371143 | 85838 1248755 2904478 | 1 89722 764 | 4.365 % | 1072.89/1072.94 c | 371655 | 85837 1248755 2904478 | 1 90233 763 | 4.366 % | 1072.89/1072.94 c | 372098 | 85835 1248755 2904478 | 1 90675 763 | 4.369 % | 1072.89/1072.94 c | 372620 | 85835 1248755 2904478 | 1 91197 770 | 4.369 % | 1072.89/1072.94 c | 372720 | 85835 1248755 2904478 | 1 91297 771 | 4.369 % | 1072.89/1072.94 c | 373171 | 85835 1248755 2904478 | 1 91748 776 | 4.369 % | 1072.89/1072.94 c | 373475 | 85835 1248738 2904407 | 1 92041 777 | 4.369 % | 1072.89/1072.94 c | 373849 | 85835 1248738 2904407 | 1 92415 783 | 4.369 % | 1072.89/1072.94 c | 373949 | 85835 1248738 2904407 | 1 92515 783 | 4.369 % | 1072.89/1072.94 c | 376560 | 85833 1248738 2904407 | 1 57140 144 | 4.371 % | 1072.89/1072.94 c | 377027 | 85833 1248738 2904407 | 1 57607 161 | 4.371 % | 1072.89/1072.94 c | 377127 | 85833 1248738 2904407 | 1 57707 163 | 4.371 % | 1072.89/1072.94 c | 377527 | 85833 1248738 2904407 | 1 58107 175 | 4.371 % | 1072.89/1072.94 c | 377628 | 85833 1248738 2904407 | 1 58208 176 | 4.371 % | 1072.89/1072.94 c | 377734 | 85833 1248738 2904407 | 1 58314 178 | 4.371 % | 1072.89/1072.94 c | 379740 | 85833 1248738 2904407 | 1 60320 221 | 4.371 % | 1072.89/1072.94 c | 380679 | 85833 1248738 2904407 | 1 61259 248 | 4.371 % | 1072.89/1072.94 c | 380781 | 85833 1248738 2904407 | 1 61361 249 | 4.371 % | 1072.89/1072.94 c | 380883 | 85830 1248738 2904407 | 1 61462 250 | 4.374 % | 1072.89/1072.94 c | 380986 | 85830 1248738 2904407 | 1 61565 252 | 4.374 % | 1072.89/1072.94 c | 381389 | 85830 1248738 2904407 | 1 61968 272 | 4.374 % | 1175.09/1175.20 c | 381490 | 85829 1248738 2904407 | 1 62068 274 | 4.375 % | 1175.09/1175.20 c | 381996 | 85819 1248738 2904407 | 1 62572 275 | 4.386 % | 1175.09/1175.20 c | 382309 | 85817 1248738 2904407 | 1 62883 277 | 4.389 % | 1175.09/1175.20 c | 382868 | 85817 1248738 2904407 | 1 63442 291 | 4.389 % | 1175.09/1175.20 c | 383303 | 85817 1248738 2904407 | 1 63877 298 | 4.389 % | 1175.09/1175.20 c | 383422 | 85816 1248738 2904407 | 1 63995 302 | 4.390 % | 1175.09/1175.20 c | 383522 | 85816 1248738 2904407 | 1 64095 303 | 4.390 % | 1175.09/1175.20 c | 383622 | 85815 1248738 2904407 | 1 64194 306 | 4.391 % | 1175.09/1175.20 c | 385640 | 85815 1248738 2904407 | 1 66212 324 | 4.391 % | 1175.09/1175.20 c | 385743 | 85815 1248738 2904407 | 1 66315 326 | 4.391 % | 1175.09/1175.20 c | 385845 | 85806 1248738 2904407 | 1 66416 327 | 4.401 % | 1175.09/1175.20 c | 385962 | 85806 1248738 2904407 | 1 66533 329 | 4.401 % | 1175.09/1175.20 c | 386249 | 85806 1248738 2904407 | 1 66820 340 | 4.401 % | 1175.09/1175.20 c | 386469 | 85801 1248738 2904407 | 1 67039 341 | 4.406 % | 1175.09/1175.20 c | 387478 | 85800 1248738 2904407 | 1 68047 376 | 4.408 % | 1175.09/1175.20 c | 387589 | 85800 1248738 2904407 | 1 68158 380 | 4.408 % | 1175.09/1175.20 c | 387718 | 85800 1248738 2904407 | 1 68287 380 | 4.408 % | 1175.09/1175.20 c | 388050 | 85800 1248738 2904407 | 1 68619 395 | 4.408 % | 1175.09/1175.20 c | 388960 | 85799 1248738 2904407 | 1 69528 414 | 4.409 % | 1175.09/1175.20 c | 389062 | 85799 1248738 2904407 | 1 69630 415 | 4.409 % | 1175.09/1175.20 c | 390741 | 85798 1248738 2904407 | 1 71308 441 | 4.410 % | 1175.09/1175.20 c | 391004 | 85798 1248738 2904407 | 1 71571 443 | 4.410 % | 1175.09/1175.20 c | 391588 | 85797 1248738 2904407 | 1 72154 456 | 4.411 % | 1175.09/1175.20 c | 391689 | 85797 1248738 2904407 | 1 72255 458 | 4.411 % | 1175.09/1175.20 c | 391794 | 85797 1248738 2904407 | 1 72360 459 | 4.411 % | 1175.09/1175.20 c | 391998 | 85797 1248738 2904407 | 1 72564 468 | 4.411 % | 1175.09/1175.20 c | 392099 | 85797 1248738 2904407 | 1 72665 470 | 4.411 % | 1175.09/1175.20 c | 392499 | 85797 1248738 2904407 | 1 73065 473 | 4.411 % | 1175.09/1175.20 c | 393815 | 85773 1248738 2904407 | 1 74380 492 | 4.438 % | 1175.09/1175.20 c | 393915 | 85773 1248738 2904407 | 1 74480 493 | 4.438 % | 1175.09/1175.20 c | 394931 | 85773 1248738 2904407 | 1 75496 504 | 4.438 % | 1175.09/1175.20 c | 395570 | 85773 1248738 2904407 | 1 76135 522 | 4.438 % | 1175.09/1175.20 c | 395670 | 85773 1248738 2904407 | 1 76235 522 | 4.438 % | 1175.09/1175.20 c | 395837 | 85773 1248738 2904407 | 1 76402 524 | 4.438 % | 1175.09/1175.20 c | 397582 | 85773 1248738 2904407 | 1 78147 563 | 4.438 % | 1175.09/1175.20 c | 397685 | 85773 1248738 2904407 | 1 78250 563 | 4.438 % | 1175.09/1175.20 c | 397825 | 85773 1248738 2904407 | 1 78390 563 | 4.438 % | 1175.09/1175.20 c | 401728 | 85772 1248738 2904407 | 1 82292 649 | 4.439 % | 1175.09/1175.20 c | 401828 | 85772 1248715 2904308 | 1 82380 652 | 4.439 % | 1175.09/1175.20 c | 401928 | 85772 1248715 2904308 | 1 82480 652 | 4.439 % | 1175.09/1175.20 c | 402028 | 85772 1248715 2904308 | 1 82580 652 | 4.439 % | 1175.09/1175.20 c | 402129 | 85772 1248715 2904308 | 1 82681 652 | 4.439 % | 1175.09/1175.20 c | 403923 | 85772 1248715 2904308 | 1 84475 730 | 4.439 % | 1175.09/1175.20 c | 404230 | 85771 1248715 2904308 | 1 84781 732 | 4.440 % | 1175.09/1175.20 c | 404745 | 85770 1248715 2904308 | 1 85295 734 | 4.441 % | 1175.09/1175.20 c | 404845 | 85770 1248715 2904308 | 1 85395 734 | 4.441 % | 1175.09/1175.20 c | 406436 | 85762 1248715 2904308 | 1 86984 743 | 4.450 % | 1175.09/1175.20 c | 406572 | 85762 1248715 2904308 | 1 87120 743 | 4.450 % | 1175.09/1175.20 c | 406739 | 85762 1248715 2904308 | 1 87287 746 | 4.450 % | 1175.09/1175.20 c | 406840 | 85762 1248715 2904308 | 1 87388 746 | 4.450 % | 1275.39/1275.46 c | 407091 | 85762 1248715 2904308 | 1 87639 751 | 4.450 % | 1275.39/1275.46 c | 407191 | 85762 1248715 2904308 | 1 87739 751 | 4.450 % | 1275.39/1275.46 c | 407294 | 85761 1248715 2904308 | 1 87841 752 | 4.451 % | 1275.39/1275.46 c | 407833 | 85761 1248715 2904308 | 1 88380 751 | 4.451 % | 1275.39/1275.46 c | 407934 | 85759 1248715 2904308 | 1 88479 751 | 4.453 % | 1275.39/1275.46 c | 410629 | 85759 1248715 2904308 | 1 91174 817 | 4.453 % | 1275.39/1275.46 c | 410953 | 85758 1248715 2904308 | 1 91497 823 | 4.454 % | 1275.39/1275.46 c | 411399 | 85758 1248715 2904308 | 1 91943 825 | 4.454 % | 1275.39/1275.46 c | 411499 | 85758 1248715 2904308 | 1 92043 825 | 4.454 % | 1275.39/1275.46 c | 412464 | 85749 1248715 2904308 | 1 93007 828 | 4.464 % | 1275.39/1275.46 c | 412910 | 85749 1248715 2904308 | 1 93453 828 | 4.464 % | 1275.39/1275.46 c | 413733 | 85748 1248715 2904308 | 1 94275 825 | 4.465 % | 1275.39/1275.46 c | 415392 | 85746 1248715 2904308 | 1 95933 886 | 4.468 % | 1275.39/1275.46 c | 415492 | 85746 1248715 2904308 | 1 96033 889 | 4.468 % | 1275.39/1275.46 c | 415738 | 85746 1248715 2904308 | 1 96279 890 | 4.468 % | 1275.39/1275.46 c | 415911 | 85746 1248715 2904308 | 1 96452 891 | 4.468 % | 1275.39/1275.46 c | 416202 | 85741 1248715 2904308 | 1 96742 890 | 4.473 % | 1275.39/1275.46 c | 416304 | 85740 1248715 2904308 | 1 96843 890 | 4.474 % | 1275.39/1275.46 c | 416405 | 85740 1248715 2904308 | 1 96944 894 | 4.474 % | 1275.39/1275.46 c | 416506 | 85740 1248715 2904308 | 1 97045 897 | 4.474 % | 1275.39/1275.46 c | 416608 | 85740 1248715 2904308 | 1 97147 897 | 4.474 % | 1275.39/1275.46 c | 417963 | 85740 1248715 2904308 | 1 98502 923 | 4.474 % | 1275.39/1275.46 c | 418063 | 85740 1248715 2904308 | 1 98602 924 | 4.474 % | 1275.39/1275.46 c | 418163 | 85740 1248715 2904308 | 1 98702 924 | 4.474 % | 1275.39/1275.46 c | 418979 | 85740 1248715 2904308 | 1 99518 929 | 4.474 % | 1275.39/1275.46 c | 419565 | 85740 1248715 2904308 | 1 100104 931 | 4.474 % | 1275.39/1275.46 c | 421781 | 85733 1248715 2904308 | 1 62122 160 | 4.482 % | 1275.39/1275.46 c | 421885 | 85733 1248715 2904308 | 1 62226 161 | 4.482 % | 1275.39/1275.46 c | 422364 | 85729 1248715 2904308 | 1 62703 172 | 4.487 % | 1275.39/1275.46 c | 423124 | 85727 1248698 2904231 | 1 63451 179 | 4.489 % | 1275.39/1275.46 c | 423228 | 85724 1248698 2904231 | 1 63554 180 | 4.492 % | 1275.39/1275.46 c | 423432 | 85723 1248698 2904231 | 1 63757 185 | 4.493 % | 1275.39/1275.46 c | 424241 | 85721 1248698 2904231 | 1 64564 216 | 4.496 % | 1275.39/1275.46 c | 424345 | 85721 1248698 2904231 | 1 64668 219 | 4.496 % | 1275.39/1275.46 c | 424447 | 85721 1248698 2904231 | 1 64770 220 | 4.496 % | 1275.39/1275.46 c | 424733 | 85721 1248698 2904231 | 1 65056 223 | 4.496 % | 1275.39/1275.46 c | 424837 | 85721 1248698 2904231 | 1 65160 224 | 4.496 % | 1275.39/1275.46 c | 427724 | 85718 1248698 2904231 | 1 68045 351 | 4.499 % | 1275.39/1275.46 c | 429235 | 85718 1248698 2904231 | 1 69556 356 | 4.499 % | 1275.39/1275.46 c | 429337 | 85718 1248695 2904222 | 1 69658 356 | 4.499 % | 1275.39/1275.46 c | 429437 | 85718 1248695 2904222 | 1 69758 358 | 4.499 % | 1275.39/1275.46 c | 429818 | 85718 1248695 2904222 | 1 70139 362 | 4.499 % | 1275.39/1275.46 c | 429919 | 85718 1248695 2904222 | 1 70240 363 | 4.499 % | 1275.39/1275.46 c | 430742 | 85718 1248695 2904222 | 1 71063 366 | 4.499 % | 1275.39/1275.46 c | 432366 | 85708 1248695 2904222 | 1 72685 402 | 4.510 % | 1275.39/1275.46 c | 432466 | 85708 1248695 2904222 | 1 72785 402 | 4.510 % | 1275.39/1275.46 c | 433508 | 85708 1248695 2904222 | 1 73827 422 | 4.510 % | 1275.39/1275.46 c | 433610 | 85708 1248695 2904222 | 1 73929 425 | 4.510 % | 1275.39/1275.46 c | 433710 | 85708 1248695 2904222 | 1 74029 425 | 4.510 % | 1275.39/1275.46 c | 434253 | 85708 1248695 2904222 |
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-3284894-1303758086/watcher-3284894-1303758086 -o /tmp/evaluation-result-3284894-1303758086/solver-3284894-1303758086 -C 2400 -W 1300 -M 7680 glucose.sh HOME/instance-3284894-1303758086.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: 4.06 4.06 3.73 5/192 7439 /proc/meminfo: memFree=20363316/32951124 swapFree=67111528/67111528 [pid=7439] ppid=7437 vsize=8704 CPUtime=0 cores=1,3 /proc/7439/stat : 7439 (glucose.sh) S 7437 7439 5286 0 -1 4202496 333 0 0 0 0 0 0 0 22 0 1 0 220000034 8912896 252 33554432000 4194304 4922060 140735110028048 18446744073709551615 268660481157 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/7439/statm: 2176 252 211 178 0 69 0 [startup+0.0322029 s] /proc/loadavg: 4.06 4.06 3.73 5/192 7439 /proc/meminfo: memFree=20363316/32951124 swapFree=67111528/67111528 [pid=7439] ppid=7437 vsize=8704 CPUtime=0 cores=1,3 /proc/7439/stat : 7439 (glucose.sh) S 7437 7439 5286 0 -1 4202496 333 0 0 0 0 0 0 0 22 0 1 0 220000034 8912896 252 33554432000 4194304 4922060 140735110028048 18446744073709551615 268660481157 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/7439/statm: 2176 252 211 178 0 69 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8704 [startup+0.100204 s] /proc/loadavg: 4.06 4.06 3.73 5/192 7439 /proc/meminfo: memFree=20363316/32951124 swapFree=67111528/67111528 [pid=7439] ppid=7437 vsize=8704 CPUtime=0 cores=1,3 /proc/7439/stat : 7439 (glucose.sh) S 7437 7439 5286 0 -1 4202496 333 0 0 0 0 0 0 0 22 0 1 0 220000034 8912896 252 33554432000 4194304 4922060 140735110028048 18446744073709551615 268660481157 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/7439/statm: 2176 252 211 178 0 69 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8704 [startup+0.300161 s] /proc/loadavg: 4.06 4.06 3.73 5/192 7439 /proc/meminfo: memFree=20363316/32951124 swapFree=67111528/67111528 [pid=7439] ppid=7437 vsize=8704 CPUtime=0 cores=1,3 /proc/7439/stat : 7439 (glucose.sh) S 7437 7439 5286 0 -1 4202496 333 0 0 0 0 0 0 0 22 0 1 0 220000034 8912896 252 33554432000 4194304 4922060 140735110028048 18446744073709551615 268660481157 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/7439/statm: 2176 252 211 178 0 69 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8704 [startup+0.70109 s] /proc/loadavg: 4.06 4.06 3.73 5/192 7439 /proc/meminfo: memFree=20363316/32951124 swapFree=67111528/67111528 [pid=7439] ppid=7437 vsize=8704 CPUtime=0 cores=1,3 /proc/7439/stat : 7439 (glucose.sh) S 7437 7439 5286 0 -1 4202496 333 0 0 0 0 0 0 0 22 0 1 0 220000034 8912896 252 33554432000 4194304 4922060 140735110028048 18446744073709551615 268660481157 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/7439/statm: 2176 252 211 178 0 69 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8704 [startup+1.50095 s] /proc/loadavg: 4.06 4.06 3.73 5/194 7441 /proc/meminfo: memFree=20230532/32951124 swapFree=67111528/67111528 [pid=7439] ppid=7437 vsize=8704 CPUtime=0 cores=1,3 /proc/7439/stat : 7439 (glucose.sh) S 7437 7439 5286 0 -1 4202496 333 0 0 0 0 0 0 0 22 0 1 0 220000034 8912896 252 33554432000 4194304 4922060 140735110028048 18446744073709551615 268660481157 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/7439/statm: 2176 252 211 178 0 69 0 [pid=7440] ppid=7439 vsize=151832 CPUtime=1.49 cores=1,3 /proc/7440/stat : 7440 (SatELite_releas) R 7439 7439 5286 0 -1 4202496 35066 0 0 0 140 9 0 0 25 0 1 0 220000035 155475968 31305 33554432000 134512640 135144242 4290289088 18446744073709551615 134585381 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/7440/statm: 37958 31305 77 155 0 37801 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 160536 [startup+3.10063 s] /proc/loadavg: 4.06 4.05 3.74 5/194 7441 /proc/meminfo: memFree=20221604/32951124 swapFree=67111528/67111528 [pid=7439] ppid=7437 vsize=8704 CPUtime=2.94 cores=1,3 /proc/7439/stat : 7439 (glucose.sh) S 7437 7439 5286 0 -1 4202496 359 38626 0 0 0 0 281 13 19 0 1 0 220000034 8912896 254 33554432000 4194304 4922060 140735110028048 18446744073709551615 268660481157 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/7439/statm: 2176 254 211 178 0 69 0 Current children cumulated CPU time (s) 2.94 Current children cumulated vsize (KiB) 8704 [startup+6.3011 s] /proc/loadavg: 4.06 4.05 3.74 5/194 7442 /proc/meminfo: memFree=20228528/32951124 swapFree=67111528/67111528 [pid=7439] ppid=7437 vsize=8704 CPUtime=2.94 cores=1,3 /proc/7439/stat : 7439 (glucose.sh) S 7437 7439 5286 0 -1 4202496 359 38626 0 0 0 0 281 13 19 0 1 0 220000034 8912896 254 33554432000 4194304 4922060 140735110028048 18446744073709551615 268660481157 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/7439/statm: 2176 254 211 178 0 69 0 [pid=7442] ppid=7439 vsize=91996 CPUtime=3.33 cores=1,3 /proc/7442/stat : 7442 (glucose_static) R 7439 7439 5286 0 -1 4202496 19291 0 0 0 330 3 0 0 25 0 1 0 220000330 94203904 18961 33554432000 4194304 4260849 140735368618432 18446744073709551615 4209635 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/7442/statm: 22999 18961 249 17 0 19640 0 Current children cumulated CPU time (s) 6.27 Current children cumulated vsize (KiB) 100700 [startup+12.701 s] /proc/loadavg: 4.05 4.05 3.74 5/194 7442 /proc/meminfo: memFree=20238704/32951124 swapFree=67111528/67111528 [pid=7439] ppid=7437 vsize=8704 CPUtime=2.94 cores=1,3 /proc/7439/stat : 7439 (glucose.sh) S 7437 7439 5286 0 -1 4202496 359 38626 0 0 0 0 281 13 19 0 1 0 220000034 8912896 254 33554432000 4194304 4922060 140735110028048 18446744073709551615 268660481157 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/7439/statm: 2176 254 211 178 0 69 0 [pid=7442] ppid=7439 vsize=111732 CPUtime=9.73 cores=1,3 /proc/7442/stat : 7442 (glucose_static) R 7439 7439 5286 0 -1 4202496 30185 0 0 0 969 4 0 0 25 0 1 0 220000330 114413568 19982 33554432000 4194304 4260849 140735368618432 18446744073709551615 4226937 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/7442/statm: 27933 19982 250 17 0 24574 0 Current children cumulated CPU time (s) 12.67 Current children cumulated vsize (KiB) 120436 [startup+25.5007 s] /proc/loadavg: 4.04 4.05 3.74 5/194 7443 /proc/meminfo: memFree=20280500/32951124 swapFree=67111528/67111528 [pid=7439] ppid=7437 vsize=8704 CPUtime=2.94 cores=1,3 /proc/7439/stat : 7439 (glucose.sh) S 7437 7439 5286 0 -1 4202496 359 38626 0 0 0 0 281 13 19 0 1 0 220000034 8912896 254 33554432000 4194304 4922060 140735110028048 18446744073709551615 268660481157 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/7439/statm: 2176 254 211 178 0 69 0 [pid=7442] ppid=7439 vsize=113096 CPUtime=22.53 cores=1,3 /proc/7442/stat : 7442 (glucose_static) R 7439 7439 5286 0 -1 4202496 45005 0 0 0 2247 6 0 0 25 0 1 0 220000330 115810304 20754 33554432000 4194304 4260849 140735368618432 18446744073709551615 4226718 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/7442/statm: 28274 20754 251 17 0 24915 0 Current children cumulated CPU time (s) 25.47 Current children cumulated vsize (KiB) 121800 [startup+51.1002 s] /proc/loadavg: 4.03 4.05 3.74 5/194 7443 /proc/meminfo: memFree=20198496/32951124 swapFree=67111528/67111528 [pid=7439] ppid=7437 vsize=8704 CPUtime=2.94 cores=1,3 /proc/7439/stat : 7439 (glucose.sh) S 7437 7439 5286 0 -1 4202496 359 38626 0 0 0 0 281 13 19 0 1 0 220000034 8912896 254 33554432000 4194304 4922060 140735110028048 18446744073709551615 268660481157 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/7439/statm: 2176 254 211 178 0 69 0 [pid=7442] ppid=7439 vsize=144872 CPUtime=48.13 cores=1,3 /proc/7442/stat : 7442 (glucose_static) R 7439 7439 5286 0 -1 4202496 67550 0 0 0 4803 10 0 0 25 0 1 0 220000330 148348928 25675 33554432000 4194304 4260849 140735368618432 18446744073709551615 4209488 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/7442/statm: 36218 25675 251 17 0 32859 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 153576 [startup+102.307 s] /proc/loadavg: 4.01 4.04 3.75 5/194 7445 /proc/meminfo: memFree=20136228/32951124 swapFree=67111528/67111528 [pid=7439] ppid=7437 vsize=8704 CPUtime=2.94 cores=1,3 /proc/7439/stat : 7439 (glucose.sh) S 7437 7439 5286 0 -1 4202496 359 38626 0 0 0 0 281 13 19 0 1 0 220000034 8912896 254 33554432000 4194304 4922060 140735110028048 18446744073709551615 268660481157 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/7439/statm: 2176 254 211 178 0 69 0 [pid=7442] ppid=7439 vsize=115828 CPUtime=99.34 cores=1,3 /proc/7442/stat : 7442 (glucose_static) R 7439 7439 5286 0 -1 4202496 113188 0 0 0 9917 17 0 0 25 0 1 0 220000330 118607872 20557 33554432000 4194304 4260849 140735368618432 18446744073709551615 4209649 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/7442/statm: 28957 20557 251 17 0 25598 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 124532 [startup+162.301 s] /proc/loadavg: 4.04 4.04 3.77 5/194 7446 /proc/meminfo: memFree=20122144/32951124 swapFree=67111528/67111528 [pid=7439] ppid=7437 vsize=8704 CPUtime=2.94 cores=1,3 /proc/7439/stat : 7439 (glucose.sh) S 7437 7439 5286 0 -1 4202496 359 38626 0 0 0 0 281 13 19 0 1 0 220000034 8912896 254 33554432000 4194304 4922060 140735110028048 18446744073709551615 268660481157 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/7439/statm: 2176 254 211 178 0 69 0 [pid=7442] ppid=7439 vsize=148596 CPUtime=159.33 cores=1,3 /proc/7442/stat : 7442 (glucose_static) R 7439 7439 5286 0 -1 4202496 155240 0 0 0 15908 25 0 0 25 0 1 0 220000330 152162304 31185 33554432000 4194304 4260849 140735368618432 18446744073709551615 4209401 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/7442/statm: 37149 31185 251 17 0 33790 0 Current children cumulated CPU time (s) 162.27 Current children cumulated vsize (KiB) 157300 [startup+222.301 s] /proc/loadavg: 4.01 4.03 3.78 5/194 7448 /proc/meminfo: memFree=20037916/32951124 swapFree=67111528/67111528 [pid=7439] ppid=7437 vsize=8704 CPUtime=2.94 cores=1,3 /proc/7439/stat : 7439 (glucose.sh) S 7437 7439 5286 0 -1 4202496 359 38626 0 0 0 0 281 13 19 0 1 0 220000034 8912896 254 33554432000 4194304 4922060 140735110028048 18446744073709551615 268660481157 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/7439/statm: 2176 254 211 178 0 69 0 [pid=7442] ppid=7439 vsize=199644 CPUtime=219.34 cores=1,3 /proc/7442/stat : 7442 (glucose_static) R 7439 7439 5286 0 -1 4202496 196205 0 0 0 21902 32 0 0 25 0 1 0 220000330 204435456 42346 33554432000 4194304 4260849 140735368618432 18446744073709551615 4209292 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/7442/statm: 49911 42346 251 17 0 46552 0 Current children cumulated CPU time (s) 222.28 Current children cumulated vsize (KiB) 208348 [startup+282.301 s] /proc/loadavg: 4.00 4.02 3.79 5/194 7449 /proc/meminfo: memFree=20025940/32951124 swapFree=67111528/67111528 [pid=7439] ppid=7437 vsize=8704 CPUtime=2.94 cores=1,3 /proc/7439/stat : 7439 (glucose.sh) S 7437 7439 5286 0 -1 4202496 359 38626 0 0 0 0 281 13 19 0 1 0 220000034 8912896 254 33554432000 4194304 4922060 140735110028048 18446744073709551615 268660481157 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/7439/statm: 2176 254 211 178 0 69 0 [pid=7442] ppid=7439 vsize=200912 CPUtime=279.34 cores=1,3 /proc/7442/stat : 7442 (glucose_static) R 7439 7439 5286 0 -1 4202496 239435 0 0 0 27895 39 0 0 25 0 1 0 220000330 205733888 44985 33554432000 4194304 4260849 140735368618432 18446744073709551615 4224658 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/7442/statm: 50228 44985 251 17 0 46869 0 Current children cumulated CPU time (s) 282.28 Current children cumulated vsize (KiB) 209616 [startup+342.301 s] /proc/loadavg: 4.00 4.02 3.81 5/194 7451 /proc/meminfo: memFree=20109552/32951124 swapFree=67111528/67111528 [pid=7439] ppid=7437 vsize=8704 CPUtime=2.94 cores=1,3 /proc/7439/stat : 7439 (glucose.sh) S 7437 7439 5286 0 -1 4202496 359 38626 0 0 0 0 281 13 19 0 1 0 220000034 8912896 254 33554432000 4194304 4922060 140735110028048 18446744073709551615 268660481157 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/7439/statm: 2176 254 211 178 0 69 0 [pid=7442] ppid=7439 vsize=201824 CPUtime=339.34 cores=1,3 /proc/7442/stat : 7442 (glucose_static) R 7439 7439 5286 0 -1 4202496 281596 0 0 0 33888 46 0 0 25 0 1 0 220000330 206667776 39952 33554432000 4194304 4260849 140735368618432 18446744073709551615 4209338 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/7442/statm: 50456 39952 251 17 0 47097 0 Current children cumulated CPU time (s) 342.28 Current children cumulated vsize (KiB) 210528 [startup+402.3 s] /proc/loadavg: 4.04 4.03 3.82 5/194 7453 /proc/meminfo: memFree=20109128/32951124 swapFree=67111528/67111528 [pid=7439] ppid=7437 vsize=8704 CPUtime=2.94 cores=1,3 /proc/7439/stat : 7439 (glucose.sh) S 7437 7439 5286 0 -1 4202496 359 38626 0 0 0 0 281 13 19 0 1 0 220000034 8912896 254 33554432000 4194304 4922060 140735110028048 18446744073709551615 268660481157 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/7439/statm: 2176 254 211 178 0 69 0 [pid=7442] ppid=7439 vsize=152076 CPUtime=399.34 cores=1,3 ################ # More data... # ################ /proc/7442/statm: 38617 34080 251 17 0 35258 0 Current children cumulated CPU time (s) 582.28 Current children cumulated vsize (KiB) 163172 [startup+642.3 s] /proc/loadavg: 4.01 4.02 3.85 5/194 7459 /proc/meminfo: memFree=19866828/32951124 swapFree=67111528/67111528 [pid=7439] ppid=7437 vsize=8704 CPUtime=2.94 cores=1,3 /proc/7439/stat : 7439 (glucose.sh) S 7437 7439 5286 0 -1 4202496 359 38626 0 0 0 0 281 13 19 0 1 0 220000034 8912896 254 33554432000 4194304 4922060 140735110028048 18446744073709551615 268660481157 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/7439/statm: 2176 254 211 178 0 69 0 [pid=7442] ppid=7439 vsize=286376 CPUtime=639.35 cores=1,3 /proc/7442/stat : 7442 (glucose_static) R 7439 7439 5286 0 -1 4202496 464756 0 0 0 63858 77 0 0 25 0 1 0 220000330 293249024 61636 33554432000 4194304 4260849 140735368618432 18446744073709551615 4209409 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/7442/statm: 71594 61636 251 17 0 68235 0 Current children cumulated CPU time (s) 642.29 Current children cumulated vsize (KiB) 295080 [startup+702.301 s] /proc/loadavg: 4.05 4.03 3.86 5/194 7461 /proc/meminfo: memFree=20080100/32951124 swapFree=67111528/67111528 [pid=7439] ppid=7437 vsize=8704 CPUtime=2.94 cores=1,3 /proc/7439/stat : 7439 (glucose.sh) S 7437 7439 5286 0 -1 4202496 359 38626 0 0 0 0 281 13 19 0 1 0 220000034 8912896 254 33554432000 4194304 4922060 140735110028048 18446744073709551615 268660481157 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/7439/statm: 2176 254 211 178 0 69 0 [pid=7442] ppid=7439 vsize=205420 CPUtime=699.35 cores=1,3 /proc/7442/stat : 7442 (glucose_static) R 7439 7439 5286 0 -1 4202496 507642 0 0 0 69850 85 0 0 25 0 1 0 220000330 210350080 38699 33554432000 4194304 4260849 140735368618432 18446744073709551615 4238067 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/7442/statm: 51355 38699 251 17 0 47996 0 Current children cumulated CPU time (s) 702.29 Current children cumulated vsize (KiB) 214124 [startup+762.307 s] /proc/loadavg: 4.02 4.02 3.87 5/194 7462 /proc/meminfo: memFree=19784076/32951124 swapFree=67111528/67111528 [pid=7439] ppid=7437 vsize=8704 CPUtime=2.94 cores=1,3 /proc/7439/stat : 7439 (glucose.sh) S 7437 7439 5286 0 -1 4202496 359 38626 0 0 0 0 281 13 19 0 1 0 220000034 8912896 254 33554432000 4194304 4922060 140735110028048 18446744073709551615 268660481157 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/7439/statm: 2176 254 211 178 0 69 0 [pid=7442] ppid=7439 vsize=419868 CPUtime=759.35 cores=1,3 /proc/7442/stat : 7442 (glucose_static) R 7439 7439 5286 0 -1 4202496 537224 0 0 0 75845 90 0 0 25 0 1 0 220000330 429944832 68259 33554432000 4194304 4260849 140735368618432 18446744073709551615 4209389 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/7442/statm: 104967 68259 251 17 0 101608 0 Current children cumulated CPU time (s) 762.29 Current children cumulated vsize (KiB) 428572 [startup+822.301 s] /proc/loadavg: 4.00 4.02 3.87 5/194 7464 /proc/meminfo: memFree=20130768/32951124 swapFree=67111528/67111528 [pid=7439] ppid=7437 vsize=8704 CPUtime=2.94 cores=1,3 /proc/7439/stat : 7439 (glucose.sh) S 7437 7439 5286 0 -1 4202496 359 38626 0 0 0 0 281 13 19 0 1 0 220000034 8912896 254 33554432000 4194304 4922060 140735110028048 18446744073709551615 268660481157 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/7439/statm: 2176 254 211 178 0 69 0 [pid=7442] ppid=7439 vsize=206652 CPUtime=819.35 cores=1,3 /proc/7442/stat : 7442 (glucose_static) R 7439 7439 5286 0 -1 4202496 580570 0 0 0 81837 98 0 0 25 0 1 0 220000330 211611648 40038 33554432000 4194304 4260849 140735368618432 18446744073709551615 4209318 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/7442/statm: 51663 40038 251 17 0 48304 0 Current children cumulated CPU time (s) 822.29 Current children cumulated vsize (KiB) 215356 [startup+882.301 s] /proc/loadavg: 4.00 4.01 3.88 5/194 7465 /proc/meminfo: memFree=19896764/32951124 swapFree=67111528/67111528 [pid=7439] ppid=7437 vsize=8704 CPUtime=2.94 cores=1,3 /proc/7439/stat : 7439 (glucose.sh) S 7437 7439 5286 0 -1 4202496 359 38626 0 0 0 0 281 13 19 0 1 0 220000034 8912896 254 33554432000 4194304 4922060 140735110028048 18446744073709551615 268660481157 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/7439/statm: 2176 254 211 178 0 69 0 [pid=7442] ppid=7439 vsize=420404 CPUtime=879.35 cores=1,3 /proc/7442/stat : 7442 (glucose_static) R 7439 7439 5286 0 -1 4202496 612429 0 0 0 87832 103 0 0 25 0 1 0 220000330 430493696 71807 33554432000 4194304 4260849 140735368618432 18446744073709551615 4209287 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/7442/statm: 105101 71807 251 17 0 101742 0 Current children cumulated CPU time (s) 882.29 Current children cumulated vsize (KiB) 429108 [startup+942.301 s] /proc/loadavg: 4.06 4.02 3.89 5/194 7467 /proc/meminfo: memFree=19880604/32951124 swapFree=67111528/67111528 [pid=7439] ppid=7437 vsize=8704 CPUtime=2.94 cores=1,3 /proc/7439/stat : 7439 (glucose.sh) S 7437 7439 5286 0 -1 4202496 359 38626 0 0 0 0 281 13 19 0 1 0 220000034 8912896 254 33554432000 4194304 4922060 140735110028048 18446744073709551615 268660481157 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/7439/statm: 2176 254 211 178 0 69 0 [pid=7442] ppid=7439 vsize=207884 CPUtime=939.35 cores=1,3 /proc/7442/stat : 7442 (glucose_static) R 7439 7439 5286 0 -1 4202496 654183 0 0 0 93823 112 0 0 25 0 1 0 220000330 212873216 45413 33554432000 4194304 4260849 140735368618432 18446744073709551615 4209304 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/7442/statm: 51971 45413 251 17 0 48612 0 Current children cumulated CPU time (s) 942.29 Current children cumulated vsize (KiB) 216588 [startup+1002.3 s] /proc/loadavg: 4.02 4.01 3.90 5/194 7469 /proc/meminfo: memFree=19880100/32951124 swapFree=67111528/67111528 [pid=7439] ppid=7437 vsize=8704 CPUtime=2.94 cores=1,3 /proc/7439/stat : 7439 (glucose.sh) S 7437 7439 5286 0 -1 4202496 359 38626 0 0 0 0 281 13 19 0 1 0 220000034 8912896 254 33554432000 4194304 4922060 140735110028048 18446744073709551615 268660481157 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/7439/statm: 2176 254 211 178 0 69 0 [pid=7442] ppid=7439 vsize=289848 CPUtime=999.35 cores=1,3 /proc/7442/stat : 7442 (glucose_static) R 7439 7439 5286 0 -1 4202496 676422 0 0 0 99819 116 0 0 25 0 1 0 220000330 296804352 67639 33554432000 4194304 4260849 140735368618432 18446744073709551615 4227007 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/7442/statm: 72462 67639 251 17 0 69103 0 Current children cumulated CPU time (s) 1002.29 Current children cumulated vsize (KiB) 298552 [startup+1062.3 s] /proc/loadavg: 3.86 3.98 3.89 4/187 7488 /proc/meminfo: memFree=20150548/32951124 swapFree=67111528/67111528 [pid=7439] ppid=7437 vsize=8704 CPUtime=2.94 cores=1,3 /proc/7439/stat : 7439 (glucose.sh) S 7437 7439 5286 0 -1 4202496 359 38626 0 0 0 0 281 13 19 0 1 0 220000034 8912896 254 33554432000 4194304 4922060 140735110028048 18446744073709551615 268660481157 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/7439/statm: 2176 254 211 178 0 69 0 [pid=7442] ppid=7439 vsize=158844 CPUtime=1059.35 cores=1,3 /proc/7442/stat : 7442 (glucose_static) R 7439 7439 5286 0 -1 4202496 720467 0 0 0 105809 126 0 0 25 0 1 0 220000330 162656256 32445 33554432000 4194304 4260849 140735368618432 18446744073709551615 4209488 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/7442/statm: 39711 32445 251 17 0 36352 0 Current children cumulated CPU time (s) 1062.29 Current children cumulated vsize (KiB) 167548 [startup+1122.3 s] /proc/loadavg: 3.29 3.78 3.83 4/187 7490 /proc/meminfo: memFree=19879348/32951124 swapFree=67111528/67111528 [pid=7439] ppid=7437 vsize=8704 CPUtime=2.94 cores=1,3 /proc/7439/stat : 7439 (glucose.sh) S 7437 7439 5286 0 -1 4202496 359 38626 0 0 0 0 281 13 19 0 1 0 220000034 8912896 254 33554432000 4194304 4922060 140735110028048 18446744073709551615 268660481157 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/7439/statm: 2176 254 211 178 0 69 0 [pid=7442] ppid=7439 vsize=290320 CPUtime=1119.35 cores=1,3 /proc/7442/stat : 7442 (glucose_static) R 7439 7439 5286 0 -1 4202496 748446 0 0 0 111805 130 0 0 25 0 1 0 220000330 297287680 60406 33554432000 4194304 4260849 140735368618432 18446744073709551615 4209287 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/7442/statm: 72580 60406 251 17 0 69221 0 Current children cumulated CPU time (s) 1122.29 Current children cumulated vsize (KiB) 299024 [startup+1182.3 s] /proc/loadavg: 2.47 3.48 3.72 2/173 7527 /proc/meminfo: memFree=20456784/32951124 swapFree=67111528/67111528 [pid=7439] ppid=7437 vsize=8704 CPUtime=2.94 cores=1,3 /proc/7439/stat : 7439 (glucose.sh) S 7437 7439 5286 0 -1 4202496 359 38626 0 0 0 0 281 13 19 0 1 0 220000034 8912896 254 33554432000 4194304 4922060 140735110028048 18446744073709551615 268660481157 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/7439/statm: 2176 254 211 178 0 69 0 [pid=7442] ppid=7439 vsize=423044 CPUtime=1179.35 cores=1,3 /proc/7442/stat : 7442 (glucose_static) R 7439 7439 5286 0 -1 4202496 778262 0 0 0 117799 136 0 0 25 0 1 0 220000330 433197056 90209 33554432000 4194304 4260849 140735368618432 18446744073709551615 4209645 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/7442/statm: 105761 90209 251 17 0 102402 0 Current children cumulated CPU time (s) 1182.29 Current children cumulated vsize (KiB) 431748 [startup+1242.3 s] /proc/loadavg: 1.49 2.99 3.53 2/173 7529 /proc/meminfo: memFree=20672428/32951124 swapFree=67111528/67111528 [pid=7439] ppid=7437 vsize=8704 CPUtime=2.94 cores=1,3 /proc/7439/stat : 7439 (glucose.sh) S 7437 7439 5286 0 -1 4202496 359 38626 0 0 0 0 281 13 19 0 1 0 220000034 8912896 254 33554432000 4194304 4922060 140735110028048 18446744073709551615 268660481157 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/7439/statm: 2176 254 211 178 0 69 0 [pid=7442] ppid=7439 vsize=159596 CPUtime=1239.35 cores=1,3 /proc/7442/stat : 7442 (glucose_static) R 7439 7439 5286 0 -1 4202496 825303 0 0 0 123791 144 0 0 25 0 1 0 220000330 163426304 36031 33554432000 4194304 4260849 140735368618432 18446744073709551615 4209368 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/7442/statm: 39899 36031 251 17 0 36540 0 Current children cumulated CPU time (s) 1242.29 Current children cumulated vsize (KiB) 168300 Maximum wall clock time exceeded: sending SIGTERM then SIGKILL [startup+1300 s] /proc/loadavg: 1.20 2.65 3.38 2/173 7531 /proc/meminfo: memFree=20550740/32951124 swapFree=67111528/67111528 [pid=7439] ppid=7437 vsize=8704 CPUtime=2.94 cores=1,3 /proc/7439/stat : 7439 (glucose.sh) S 7437 7439 5286 0 -1 4202496 359 38626 0 0 0 0 281 13 19 0 1 0 220000034 8912896 254 33554432000 4194304 4922060 140735110028048 18446744073709551615 268660481157 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/7439/statm: 2176 254 211 178 0 69 0 [pid=7442] ppid=7439 vsize=291548 CPUtime=1297.07 cores=1,3 /proc/7442/stat : 7442 (glucose_static) R 7439 7439 5286 0 -1 4202496 855407 0 0 0 129557 150 0 0 25 0 1 0 220000330 298545152 66122 33554432000 4194304 4260849 140735368618432 18446744073709551615 4238067 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/7442/statm: 72887 66122 251 17 0 69528 0 Current children cumulated CPU time (s) 1300.01 Current children cumulated vsize (KiB) 300252 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 7439 and gives # childrusage.ru_utime.tv_sec=2 # childrusage.ru_utime.tv_usec=819571 # childrusage.ru_stime.tv_sec=0 # childrusage.ru_stime.tv_usec=135979 # CPU time returned by wait4() is 2.95555 # while last known CPU time is 1300.01 # # 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.01 CPU user time (s): 1298.38 CPU system time (s): 1.63 CPU usage (%): 99.9998 Max. virtual memory (cumulated for all children) (KiB): 726812 getrusage(RUSAGE_CHILDREN,...) data: user time used= 2.81957 system time used= 0.135979 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 38985 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 7 involuntary context switches= 21 runsolver used 2.04369 second user time and 4.95225 second system time The end
Begin job on node107 at 2011-04-25 21:01:28 IDJOB=3284894 IDBENCH=82366 IDSOLVER=1651 FILE ID=node107/3284894-1303758086 RUNJOBID= node107-1303756522-6696 PBS_JOBID= 13154055 Free space on /tmp= 71560 MiB SOLVER NAME= glucose 2 BENCH NAME= SAT11/application/rintanen/SATPlanning/sokoban-sequential-p145-microban-sequential.060-NOTKNOWN.cnf COMMAND LINE= glucose.sh BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3284894-1303758086/watcher-3284894-1303758086 -o /tmp/evaluation-result-3284894-1303758086/solver-3284894-1303758086 -C 2400 -W 1300 -M 7680 glucose.sh HOME/instance-3284894-1303758086.cnf TIME LIMIT= 2400 seconds MEMORY LIMIT= 7680 MiB NBCORE= 2 MD5SUM BENCH= e44b288003a3eaf34673a2c0fb8c6f3e RANDOM SEED=2048743469 node107.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.829 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.65 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.829 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.829 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.67 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.829 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.82 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.829 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.74 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.829 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 : 5359.47 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.829 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.829 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 20363596 kB Buffers: 2026756 kB Cached: 9617752 kB SwapCached: 0 kB Active: 8185048 kB Inactive: 3920932 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 20363596 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 76400 kB Writeback: 0 kB AnonPages: 460832 kB Mapped: 15292 kB Slab: 416332 kB PageTables: 6164 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 693432 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= 71608 MiB End job on node107 at 2011-04-25 21:23:10