| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| Haifa-MUC-A 2011-04-07 | ? (TO) | 1800.09 | 1800.11 |
| Name | SAT02/industrial/biere/ dinphil/dp08u07.shuffled.cnf |
| MD5SUM | ef6166b8ccba4e6def7a25a397686e54 |
| Bench Category | APPLICATION (applications instances) |
| Best result obtained on this benchmark | UNSAT |
| Best CPU time to get the best result obtained on this benchmark | 194.429 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 4312 |
| Number of clauses | 12757 |
| Sum of the clauses size | 30072 |
| Maximum clause length | 8 |
| Minimum clause length | 1 |
| Number of clauses of size 1 | 16 |
| Number of clauses of size 2 | 8172 |
| Number of clauses of size 3 | 4568 |
| Number of clauses of size 4 | 0 |
| Number of clauses of size 5 | 0 |
| Number of clauses of size over 5 | 1 |
200.28/200.37 c WARNING: for repeatability, setting FPU to use double precision 200.28/200.37 c iter 1 time 8.91165 not-muc 6747 unknown 6010 muc 0 200.28/200.37 c iter 2 time 9.71452 not-muc 7020 unknown 5737 muc 0 200.28/200.37 c iter 3 time 9.74352 not-muc 7020 unknown 5736 muc 1 200.28/200.37 c iter 4 time 11.5592 not-muc 7140 unknown 5616 muc 1 200.28/200.37 c iter 5 time 13.203 not-muc 7247 unknown 5509 muc 1 200.28/200.37 c iter 6 time 14.9727 not-muc 7280 unknown 5476 muc 1 200.28/200.37 c iter 7 time 14.9797 not-muc 7280 unknown 5475 muc 2 200.28/200.37 c iter 8 time 17.7293 not-muc 7332 unknown 5423 muc 2 200.28/200.37 c iter 9 time 17.8063 not-muc 7332 unknown 5422 muc 3 200.28/200.37 c iter 10 time 18.6162 not-muc 7429 unknown 5325 muc 3 200.28/200.37 c iter 11 time 22.4596 not-muc 7481 unknown 5273 muc 3 200.28/200.37 c iter 12 time 24.4153 not-muc 7523 unknown 5231 muc 3 200.28/200.37 c iter 13 time 26.296 not-muc 7641 unknown 5113 muc 3 200.28/200.37 c iter 14 time 27.9847 not-muc 7692 unknown 5062 muc 3 200.28/200.37 c iter 15 time 29.8885 not-muc 7734 unknown 5020 muc 3 200.28/200.37 c iter 16 time 31.6872 not-muc 7745 unknown 5009 muc 3 200.28/200.37 c iter 17 time 33.4499 not-muc 7754 unknown 5000 muc 3 200.28/200.37 c iter 18 time 33.4709 not-muc 7754 unknown 4999 muc 4 200.28/200.37 c iter 19 time 33.5439 not-muc 7754 unknown 4998 muc 5 200.28/200.37 c iter 20 time 36.1835 not-muc 7772 unknown 4980 muc 5 200.28/200.37 c iter 21 time 38.0782 not-muc 7816 unknown 4936 muc 5 200.28/200.37 c iter 22 time 39.772 not-muc 7839 unknown 4913 muc 5 200.28/200.37 c iter 23 time 43.1634 not-muc 7857 unknown 4895 muc 5 200.28/200.37 c iter 24 time 44.8382 not-muc 7883 unknown 4869 muc 5 200.28/200.37 c iter 25 time 45.5881 not-muc 7907 unknown 4845 muc 5 200.28/200.37 c iter 26 time 47.1808 not-muc 7942 unknown 4810 muc 5 200.28/200.37 c iter 27 time 48.0537 not-muc 7951 unknown 4801 muc 5 200.28/200.37 c iter 28 time 51.5802 not-muc 8037 unknown 4715 muc 5 200.28/200.37 c iter 29 time 58.3851 not-muc 8102 unknown 4650 muc 5 200.28/200.37 c iter 30 time 61.7236 not-muc 8183 unknown 4569 muc 5 200.28/200.37 c iter 31 time 61.7306 not-muc 8183 unknown 4568 muc 6 200.28/200.37 c iter 32 time 69.8774 not-muc 8214 unknown 4537 muc 6 200.28/200.37 c iter 33 time 69.9064 not-muc 8214 unknown 4536 muc 7 200.28/200.37 c iter 34 time 77.6722 not-muc 8232 unknown 4518 muc 7 200.28/200.37 c iter 35 time 77.6802 not-muc 8232 unknown 4517 muc 8 200.28/200.37 c iter 36 time 85.84 not-muc 8283 unknown 4466 muc 8 200.28/200.37 c iter 37 time 93.4148 not-muc 8317 unknown 4432 muc 8 200.28/200.37 c iter 38 time 100.719 not-muc 8332 unknown 4417 muc 8 200.28/200.37 c iter 39 time 104.37 not-muc 8436 unknown 4313 muc 8 200.28/200.37 c iter 40 time 107.541 not-muc 8472 unknown 4277 muc 8 200.28/200.37 c iter 41 time 107.548 not-muc 8472 unknown 4276 muc 9 200.28/200.37 c iter 42 time 107.55 not-muc 8472 unknown 4275 muc 10 200.28/200.37 c iter 43 time 110.718 not-muc 8479 unknown 4268 muc 10 200.28/200.37 c iter 44 time 110.733 not-muc 8479 unknown 4267 muc 11 200.28/200.37 c iter 45 time 118 not-muc 8502 unknown 4244 muc 11 200.28/200.37 c iter 46 time 118.02 not-muc 8502 unknown 4243 muc 12 200.28/200.37 c iter 47 time 118.022 not-muc 8502 unknown 4242 muc 13 200.28/200.37 c iter 48 time 121.257 not-muc 8538 unknown 4206 muc 13 200.28/200.37 c iter 49 time 121.285 not-muc 8538 unknown 4205 muc 14 200.28/200.37 c iter 50 time 124.651 not-muc 8559 unknown 4184 muc 14 200.28/200.37 c iter 51 time 124.66 not-muc 8559 unknown 4183 muc 15 200.28/200.37 c iter 52 time 124.663 not-muc 8559 unknown 4182 muc 16 200.28/200.37 c iter 53 time 132.035 not-muc 8564 unknown 4177 muc 16 200.28/200.37 c iter 54 time 132.147 not-muc 8564 unknown 4176 muc 17 200.28/200.37 c iter 55 time 139.114 not-muc 8572 unknown 4168 muc 17 200.28/200.37 c iter 56 time 139.123 not-muc 8572 unknown 4167 muc 18 200.28/200.37 c iter 57 time 147.079 not-muc 8600 unknown 4139 muc 18 200.28/200.37 c iter 58 time 154.311 not-muc 8606 unknown 4133 muc 18 200.28/200.37 c iter 59 time 154.321 not-muc 8606 unknown 4132 muc 19 200.28/200.37 c iter 60 time 161.776 not-muc 8607 unknown 4131 muc 19 200.28/200.37 c iter 61 time 161.871 not-muc 8607 unknown 4130 muc 20 200.28/200.37 c iter 62 time 161.884 not-muc 8607 unknown 4129 muc 21 200.28/200.37 c iter 63 time 164.933 not-muc 8610 unknown 4126 muc 21 200.28/200.37 c iter 64 time 167.967 not-muc 8620 unknown 4116 muc 21 200.28/200.37 c iter 65 time 175.31 not-muc 8635 unknown 4101 muc 21 200.28/200.37 c iter 66 time 178.282 not-muc 8636 unknown 4100 muc 21 200.28/200.37 c iter 67 time 184.971 not-muc 8650 unknown 4086 muc 21 200.28/200.37 c iter 68 time 192.603 not-muc 8678 unknown 4058 muc 21 200.28/200.37 c iter 69 time 192.612 not-muc 8678 unknown 4057 muc 22 200.28/200.37 c iter 70 time 192.614 not-muc 8678 unknown 4056 muc 23 200.28/200.37 c iter 71 time 192.616 not-muc 8678 unknown 4055 muc 24 200.28/200.37 c iter 72 time 192.652 not-muc 8678 unknown 4054 muc 25 200.28/200.37 c iter 73 time 192.656 not-muc 8678 unknown 4053 muc 26 200.28/200.37 c iter 74 time 199.24 not-muc 8715 unknown 4016 muc 26 456.89/456.97 c iter 75 time 202.16 not-muc 8732 unknown 3999 muc 26 456.89/456.97 c iter 76 time 202.171 not-muc 8732 unknown 3998 muc 27 456.89/456.97 c iter 77 time 208.899 not-muc 8734 unknown 3996 muc 27 456.89/456.97 c iter 78 time 216.284 not-muc 8756 unknown 3974 muc 27 456.89/456.97 c iter 79 time 222.677 not-muc 8767 unknown 3963 muc 27 456.89/456.97 c iter 80 time 222.695 not-muc 8767 unknown 3962 muc 28 456.89/456.97 c iter 81 time 222.697 not-muc 8767 unknown 3961 muc 29 456.89/456.97 c iter 82 time 222.731 not-muc 8767 unknown 3960 muc 30 456.89/456.97 c iter 83 time 225.611 not-muc 8775 unknown 3952 muc 30 456.89/456.97 c iter 84 time 225.622 not-muc 8775 unknown 3951 muc 31 456.89/456.97 c iter 85 time 225.629 not-muc 8775 unknown 3950 muc 32 456.89/456.97 c iter 86 time 225.636 not-muc 8775 unknown 3949 muc 33 456.89/456.97 c iter 87 time 232.101 not-muc 8779 unknown 3945 muc 33 456.89/456.97 c iter 88 time 232.109 not-muc 8779 unknown 3944 muc 34 456.89/456.97 c iter 89 time 238.542 not-muc 8798 unknown 3925 muc 34 456.89/456.97 c iter 90 time 241.498 not-muc 8799 unknown 3924 muc 34 456.89/456.97 c iter 91 time 241.505 not-muc 8799 unknown 3923 muc 35 456.89/456.97 c iter 92 time 241.559 not-muc 8799 unknown 3922 muc 36 456.89/456.97 c iter 93 time 248.207 not-muc 8806 unknown 3915 muc 36 456.89/456.97 c iter 94 time 255.449 not-muc 8811 unknown 3910 muc 36 456.89/456.97 c iter 95 time 255.456 not-muc 8811 unknown 3909 muc 37 456.89/456.97 c iter 96 time 255.459 not-muc 8811 unknown 3908 muc 38 456.89/456.97 c iter 97 time 255.461 not-muc 8811 unknown 3907 muc 39 456.89/456.97 c iter 98 time 255.485 not-muc 8811 unknown 3906 muc 40 456.89/456.97 c iter 99 time 270.291 not-muc 8834 unknown 3883 muc 40 456.89/456.97 c iter 100 time 270.311 not-muc 8834 unknown 3882 muc 41 456.89/456.97 c iter 101 time 270.315 not-muc 8834 unknown 3881 muc 42 456.89/456.97 c iter 102 time 270.324 not-muc 8834 unknown 3880 muc 43 456.89/456.97 c iter 103 time 281.172 not-muc 8846 unknown 3868 muc 43 456.89/456.97 c iter 104 time 281.197 not-muc 8846 unknown 3867 muc 44 456.89/456.97 c iter 105 time 281.202 not-muc 8846 unknown 3866 muc 45 456.89/456.97 c iter 106 time 292.027 not-muc 8863 unknown 3849 muc 45 456.89/456.97 c iter 107 time 292.034 not-muc 8863 unknown 3848 muc 46 456.89/456.97 c iter 108 time 299.649 not-muc 8880 unknown 3831 muc 46 456.89/456.97 c iter 109 time 306.761 not-muc 8889 unknown 3822 muc 46 456.89/456.97 c iter 110 time 313.977 not-muc 8890 unknown 3821 muc 46 456.89/456.97 c iter 111 time 314.404 not-muc 8890 unknown 3820 muc 47 456.89/456.97 c iter 112 time 314.41 not-muc 8890 unknown 3819 muc 48 456.89/456.97 c iter 113 time 314.412 not-muc 8890 unknown 3818 muc 49 456.89/456.97 c iter 114 time 314.444 not-muc 8890 unknown 3817 muc 50 456.89/456.97 c iter 115 time 321.252 not-muc 8892 unknown 3815 muc 50 456.89/456.97 c iter 116 time 335.563 not-muc 8895 unknown 3812 muc 50 456.89/456.97 c iter 117 time 335.633 not-muc 8895 unknown 3811 muc 51 456.89/456.97 c iter 118 time 335.668 not-muc 8895 unknown 3810 muc 52 456.89/456.97 c iter 119 time 346.149 not-muc 8908 unknown 3797 muc 52 456.89/456.97 c iter 120 time 346.157 not-muc 8908 unknown 3796 muc 53 456.89/456.97 c iter 121 time 346.185 not-muc 8908 unknown 3795 muc 54 456.89/456.97 c iter 122 time 346.187 not-muc 8908 unknown 3794 muc 55 456.89/456.97 c iter 123 time 346.189 not-muc 8908 unknown 3793 muc 56 456.89/456.97 c iter 124 time 346.201 not-muc 8908 unknown 3792 muc 57 456.89/456.97 c iter 125 time 360.763 not-muc 8923 unknown 3777 muc 57 456.89/456.97 c iter 126 time 360.783 not-muc 8923 unknown 3776 muc 58 456.89/456.97 c iter 127 time 375.403 not-muc 8929 unknown 3770 muc 58 456.89/456.97 c iter 128 time 375.447 not-muc 8929 unknown 3769 muc 59 456.89/456.97 c iter 129 time 382.201 not-muc 8937 unknown 3761 muc 59 456.89/456.97 c iter 130 time 382.238 not-muc 8937 unknown 3760 muc 60 456.89/456.97 c iter 131 time 388.667 not-muc 8944 unknown 3753 muc 60 456.89/456.97 c iter 132 time 402.664 not-muc 8946 unknown 3751 muc 60 456.89/456.97 c iter 133 time 402.689 not-muc 8946 unknown 3750 muc 61 456.89/456.97 c iter 134 time 402.691 not-muc 8946 unknown 3749 muc 62 456.89/456.97 c iter 135 time 402.707 not-muc 8946 unknown 3748 muc 63 456.89/456.97 c iter 136 time 409.897 not-muc 8951 unknown 3743 muc 63 456.89/456.97 c iter 137 time 409.922 not-muc 8951 unknown 3742 muc 64 456.89/456.97 c iter 138 time 424.303 not-muc 8952 unknown 3741 muc 64 456.89/456.97 c iter 139 time 431.307 not-muc 8959 unknown 3734 muc 64 456.89/456.97 c iter 140 time 431.316 not-muc 8959 unknown 3733 muc 65 456.89/456.97 c iter 141 time 442.017 not-muc 8969 unknown 3723 muc 65 456.89/456.97 c iter 142 time 442.077 not-muc 8969 unknown 3722 muc 66 456.89/456.97 c iter 143 time 448.28 not-muc 8977 unknown 3714 muc 66 456.89/456.97 c iter 144 time 448.29 not-muc 8977 unknown 3713 muc 67 456.89/456.97 c iter 145 time 448.291 not-muc 8977 unknown 3712 muc 68 456.89/456.97 c iter 146 time 455.113 not-muc 8996 unknown 3693 muc 68 715.89/715.94 c iter 147 time 461.652 not-muc 9001 unknown 3688 muc 68 715.89/715.94 c iter 148 time 461.66 not-muc 9001 unknown 3687 muc 69 715.89/715.94 c iter 149 time 461.663 not-muc 9001 unknown 3686 muc 70 715.89/715.94 c iter 150 time 461.664 not-muc 9001 unknown 3685 muc 71 715.89/715.94 c iter 151 time 461.683 not-muc 9001 unknown 3684 muc 72 715.89/715.94 c iter 152 time 467.859 not-muc 9002 unknown 3683 muc 72 715.89/715.94 c iter 153 time 467.87 not-muc 9002 unknown 3682 muc 73 715.89/715.94 c iter 154 time 467.892 not-muc 9002 unknown 3681 muc 74 715.89/715.94 c iter 155 time 468.158 not-muc 9002 unknown 3680 muc 75 715.89/715.94 c iter 156 time 475.041 not-muc 9017 unknown 3665 muc 75 715.89/715.94 c iter 157 time 475.076 not-muc 9017 unknown 3664 muc 76 715.89/715.94 c iter 158 time 475.105 not-muc 9017 unknown 3663 muc 77 715.89/715.94 c iter 159 time 482.367 not-muc 9026 unknown 3654 muc 77 715.89/715.94 c iter 160 time 490.127 not-muc 9027 unknown 3653 muc 77 715.89/715.94 c iter 161 time 490.135 not-muc 9027 unknown 3652 muc 78 715.89/715.94 c iter 162 time 490.138 not-muc 9027 unknown 3651 muc 79 715.89/715.94 c iter 163 time 490.139 not-muc 9027 unknown 3650 muc 80 715.89/715.94 c iter 164 time 497.757 not-muc 9038 unknown 3639 muc 80 715.89/715.94 c iter 165 time 513.412 not-muc 9041 unknown 3636 muc 80 715.89/715.94 c iter 166 time 513.433 not-muc 9041 unknown 3635 muc 81 715.89/715.94 c iter 167 time 528.7 not-muc 9042 unknown 3634 muc 81 715.89/715.94 c iter 168 time 543.057 not-muc 9058 unknown 3618 muc 81 715.89/715.94 c iter 169 time 543.078 not-muc 9058 unknown 3617 muc 82 715.89/715.94 c iter 170 time 550.106 not-muc 9063 unknown 3612 muc 82 715.89/715.94 c iter 171 time 560.814 not-muc 9066 unknown 3609 muc 82 715.89/715.94 c iter 172 time 567.435 not-muc 9069 unknown 3606 muc 82 715.89/715.94 c iter 173 time 567.442 not-muc 9069 unknown 3605 muc 83 715.89/715.94 c iter 174 time 567.443 not-muc 9069 unknown 3604 muc 84 715.89/715.94 c iter 175 time 567.464 not-muc 9069 unknown 3603 muc 85 715.89/715.94 c iter 176 time 567.466 not-muc 9069 unknown 3602 muc 86 715.89/715.94 c iter 177 time 567.468 not-muc 9069 unknown 3601 muc 87 715.89/715.94 c iter 178 time 582.212 not-muc 9077 unknown 3593 muc 87 715.89/715.94 c iter 179 time 592.974 not-muc 9080 unknown 3590 muc 87 715.89/715.94 c iter 180 time 593.333 not-muc 9080 unknown 3589 muc 88 715.89/715.94 c iter 181 time 599.841 not-muc 9094 unknown 3575 muc 88 715.89/715.94 c iter 182 time 606.161 not-muc 9113 unknown 3556 muc 88 715.89/715.94 c iter 183 time 606.169 not-muc 9113 unknown 3555 muc 89 715.89/715.94 c iter 184 time 606.172 not-muc 9113 unknown 3554 muc 90 715.89/715.94 c iter 185 time 606.174 not-muc 9113 unknown 3553 muc 91 715.89/715.94 c iter 186 time 606.189 not-muc 9113 unknown 3552 muc 92 715.89/715.94 c iter 187 time 606.191 not-muc 9113 unknown 3551 muc 93 715.89/715.94 c iter 188 time 606.363 not-muc 9113 unknown 3550 muc 94 715.89/715.94 c iter 189 time 606.364 not-muc 9113 unknown 3549 muc 95 715.89/715.94 c iter 190 time 612.786 not-muc 9127 unknown 3535 muc 95 715.89/715.94 c iter 191 time 612.916 not-muc 9127 unknown 3534 muc 96 715.89/715.94 c iter 192 time 612.964 not-muc 9127 unknown 3533 muc 97 715.89/715.94 c iter 193 time 613.006 not-muc 9127 unknown 3532 muc 98 715.89/715.94 c iter 194 time 619.178 not-muc 9141 unknown 3518 muc 98 715.89/715.94 c iter 195 time 626.869 not-muc 9154 unknown 3505 muc 98 715.89/715.94 c iter 196 time 626.877 not-muc 9154 unknown 3504 muc 99 715.89/715.94 c iter 197 time 626.905 not-muc 9154 unknown 3503 muc 100 715.89/715.94 c iter 198 time 626.915 not-muc 9154 unknown 3502 muc 101 715.89/715.94 c iter 199 time 626.92 not-muc 9154 unknown 3501 muc 102 715.89/715.94 c iter 200 time 637.109 not-muc 9161 unknown 3494 muc 102 715.89/715.94 c iter 201 time 637.162 not-muc 9161 unknown 3493 muc 103 715.89/715.94 c iter 202 time 637.164 not-muc 9161 unknown 3492 muc 104 715.89/715.94 c iter 203 time 637.166 not-muc 9161 unknown 3491 muc 105 715.89/715.94 c iter 204 time 637.212 not-muc 9161 unknown 3490 muc 106 715.89/715.94 c iter 205 time 652.011 not-muc 9166 unknown 3485 muc 106 715.89/715.94 c iter 206 time 658.758 not-muc 9177 unknown 3474 muc 106 715.89/715.94 c iter 207 time 658.856 not-muc 9177 unknown 3473 muc 107 715.89/715.94 c iter 208 time 658.86 not-muc 9177 unknown 3472 muc 108 715.89/715.94 c iter 209 time 658.903 not-muc 9177 unknown 3471 muc 109 715.89/715.94 c iter 210 time 665.652 not-muc 9182 unknown 3466 muc 109 715.89/715.94 c iter 211 time 665.676 not-muc 9182 unknown 3465 muc 110 715.89/715.94 c iter 212 time 672.649 not-muc 9202 unknown 3445 muc 110 715.89/715.94 c iter 213 time 672.662 not-muc 9202 unknown 3444 muc 111 715.89/715.94 c iter 214 time 676.176 not-muc 9221 unknown 3425 muc 111 715.89/715.94 c iter 215 time 682.825 not-muc 9237 unknown 3409 muc 111 715.89/715.94 c iter 216 time 698.915 not-muc 9248 unknown 3398 muc 111 715.89/715.94 c iter 217 time 713.355 not-muc 9255 unknown 3391 muc 111 715.89/715.94 c iter 218 time 713.38 not-muc 9255 unknown 3390 muc 112 902.99/903.04 c iter 219 time 727.542 not-muc 9259 unknown 3386 muc 112 902.99/903.04 c iter 220 time 727.608 not-muc 9259 unknown 3385 muc 113 902.99/903.04 c iter 221 time 727.61 not-muc 9259 unknown 3384 muc 114 902.99/903.04 c iter 222 time 741.584 not-muc 9277 unknown 3366 muc 114 902.99/903.04 c iter 223 time 748.576 not-muc 9287 unknown 3356 muc 114 902.99/903.04 c iter 224 time 748.583 not-muc 9287 unknown 3355 muc 115 902.99/903.04 c iter 225 time 755.506 not-muc 9295 unknown 3347 muc 115 902.99/903.04 c iter 226 time 755.516 not-muc 9295 unknown 3346 muc 116 902.99/903.04 c iter 227 time 755.556 not-muc 9295 unknown 3345 muc 117 902.99/903.04 c iter 228 time 755.562 not-muc 9295 unknown 3344 muc 118 902.99/903.04 c iter 229 time 755.564 not-muc 9295 unknown 3343 muc 119 902.99/903.04 c iter 230 time 762.893 not-muc 9300 unknown 3338 muc 119 902.99/903.04 c iter 231 time 762.901 not-muc 9300 unknown 3337 muc 120 902.99/903.04 c iter 232 time 762.913 not-muc 9300 unknown 3336 muc 121 902.99/903.04 c iter 233 time 766.36 not-muc 9303 unknown 3333 muc 121 902.99/903.04 c iter 234 time 766.363 not-muc 9303 unknown 3332 muc 122 902.99/903.04 c iter 235 time 766.388 not-muc 9303 unknown 3331 muc 123 902.99/903.04 c iter 236 time 766.405 not-muc 9303 unknown 3330 muc 124 902.99/903.04 c iter 237 time 769.731 not-muc 9305 unknown 3328 muc 124 902.99/903.04 c iter 238 time 784.651 not-muc 9309 unknown 3324 muc 124 902.99/903.04 c iter 239 time 784.676 not-muc 9309 unknown 3323 muc 125 902.99/903.04 c iter 240 time 790.73 not-muc 9314 unknown 3318 muc 125 902.99/903.04 c iter 241 time 807.038 not-muc 9326 unknown 3306 muc 125 902.99/903.04 c iter 242 time 807.071 not-muc 9326 unknown 3305 muc 126 902.99/903.04 c iter 243 time 807.243 not-muc 9326 unknown 3304 muc 127 902.99/903.04 c iter 244 time 814.319 not-muc 9374 unknown 3256 muc 127 902.99/903.04 c iter 245 time 814.327 not-muc 9374 unknown 3255 muc 128 902.99/903.04 c iter 246 time 814.332 not-muc 9374 unknown 3254 muc 129 902.99/903.04 c iter 247 time 821.584 not-muc 9386 unknown 3242 muc 129 902.99/903.04 c iter 248 time 821.593 not-muc 9386 unknown 3241 muc 130 902.99/903.04 c iter 249 time 828.398 not-muc 9398 unknown 3229 muc 130 902.99/903.04 c iter 250 time 828.407 not-muc 9398 unknown 3228 muc 131 902.99/903.04 c iter 251 time 828.409 not-muc 9398 unknown 3227 muc 132 902.99/903.04 c iter 252 time 828.425 not-muc 9398 unknown 3226 muc 133 902.99/903.04 c iter 253 time 828.431 not-muc 9398 unknown 3225 muc 134 902.99/903.04 c iter 254 time 828.432 not-muc 9398 unknown 3224 muc 135 902.99/903.04 c iter 255 time 828.434 not-muc 9398 unknown 3223 muc 136 902.99/903.04 c iter 256 time 828.437 not-muc 9398 unknown 3222 muc 137 902.99/903.04 c iter 257 time 835.066 not-muc 9403 unknown 3217 muc 137 902.99/903.04 c iter 258 time 835.105 not-muc 9403 unknown 3216 muc 138 902.99/903.04 c iter 259 time 841.96 not-muc 9408 unknown 3211 muc 138 902.99/903.04 c iter 260 time 841.97 not-muc 9408 unknown 3210 muc 139 902.99/903.04 c iter 261 time 841.972 not-muc 9408 unknown 3209 muc 140 902.99/903.04 c iter 262 time 842.066 not-muc 9408 unknown 3208 muc 141 902.99/903.04 c iter 263 time 849.275 not-muc 9434 unknown 3182 muc 141 902.99/903.04 c iter 264 time 856.1 not-muc 9435 unknown 3181 muc 141 902.99/903.04 c iter 265 time 856.123 not-muc 9435 unknown 3180 muc 142 902.99/903.04 c iter 266 time 856.149 not-muc 9435 unknown 3179 muc 143 902.99/903.04 c iter 267 time 856.151 not-muc 9435 unknown 3178 muc 144 902.99/903.04 c iter 268 time 862.891 not-muc 9439 unknown 3174 muc 144 902.99/903.04 c iter 269 time 869.328 not-muc 9467 unknown 3146 muc 144 902.99/903.04 c iter 270 time 869.339 not-muc 9467 unknown 3145 muc 145 902.99/903.04 c iter 271 time 876.335 not-muc 9471 unknown 3141 muc 145 902.99/903.04 c iter 272 time 876.353 not-muc 9471 unknown 3140 muc 146 902.99/903.04 c iter 273 time 876.362 not-muc 9471 unknown 3139 muc 147 902.99/903.04 c iter 274 time 876.395 not-muc 9471 unknown 3138 muc 148 902.99/903.04 c iter 275 time 876.396 not-muc 9471 unknown 3137 muc 149 902.99/903.04 c iter 276 time 882.44 not-muc 9479 unknown 3129 muc 149 902.99/903.04 c iter 277 time 882.448 not-muc 9479 unknown 3128 muc 150 902.99/903.04 c iter 278 time 885.613 not-muc 9486 unknown 3121 muc 150 902.99/903.04 c iter 279 time 885.623 not-muc 9486 unknown 3120 muc 151 902.99/903.04 c iter 280 time 885.625 not-muc 9486 unknown 3119 muc 152 902.99/903.04 c iter 281 time 885.628 not-muc 9486 unknown 3118 muc 153 902.99/903.04 c iter 282 time 885.629 not-muc 9486 unknown 3117 muc 154 902.99/903.04 c iter 283 time 885.689 not-muc 9486 unknown 3116 muc 155 902.99/903.04 c iter 284 time 885.694 not-muc 9486 unknown 3115 muc 156 902.99/903.04 c iter 285 time 885.708 not-muc 9486 unknown 3114 muc 157 902.99/903.04 c iter 286 time 900.095 not-muc 9488 unknown 3112 muc 157 902.99/903.04 c iter 287 time 900.114 not-muc 9488 unknown 3111 muc 158 902.99/903.04 c iter 288 time 900.116 not-muc 9488 unknown 3110 muc 159 1071.89/1071.98 c iter 289 time 900.144 not-muc 9488 unknown 3109 muc 160 1071.89/1071.98 c iter 290 time 900.145 not-muc 9488 unknown 3108 muc 161 1071.89/1071.98 c iter 291 time 900.189 not-muc 9488 unknown 3107 muc 162 1071.89/1071.98 c iter 292 time 900.257 not-muc 9488 unknown 3106 muc 163 1071.89/1071.98 c iter 293 time 903.228 not-muc 9500 unknown 3094 muc 163 1071.89/1071.98 c iter 294 time 903.236 not-muc 9500 unknown 3093 muc 164 1071.89/1071.98 c iter 295 time 903.237 not-muc 9500 unknown 3092 muc 165 1071.89/1071.98 c iter 296 time 903.239 not-muc 9500 unknown 3091 muc 166 1071.89/1071.98 c iter 297 time 903.241 not-muc 9500 unknown 3090 muc 167 1071.89/1071.98 c iter 298 time 903.283 not-muc 9500 unknown 3089 muc 168 1071.89/1071.98 c iter 299 time 903.304 not-muc 9500 unknown 3088 muc 169 1071.89/1071.98 c iter 300 time 909.957 not-muc 9505 unknown 3083 muc 169 1071.89/1071.98 c iter 301 time 916.753 not-muc 9507 unknown 3081 muc 169 1071.89/1071.98 c iter 302 time 931.053 not-muc 9514 unknown 3074 muc 169 1071.89/1071.98 c iter 303 time 931.095 not-muc 9514 unknown 3073 muc 170 1071.89/1071.98 c iter 304 time 931.192 not-muc 9514 unknown 3072 muc 171 1071.89/1071.98 c iter 305 time 931.193 not-muc 9514 unknown 3071 muc 172 1071.89/1071.98 c iter 306 time 931.195 not-muc 9514 unknown 3070 muc 173 1071.89/1071.98 c iter 307 time 931.212 not-muc 9514 unknown 3069 muc 174 1071.89/1071.98 c iter 308 time 938.33 not-muc 9519 unknown 3064 muc 174 1071.89/1071.98 c iter 309 time 938.348 not-muc 9519 unknown 3063 muc 175 1071.89/1071.98 c iter 310 time 938.523 not-muc 9519 unknown 3062 muc 176 1071.89/1071.98 c iter 311 time 945.507 not-muc 9523 unknown 3058 muc 176 1071.89/1071.98 c iter 312 time 945.519 not-muc 9523 unknown 3057 muc 177 1071.89/1071.98 c iter 313 time 945.521 not-muc 9523 unknown 3056 muc 178 1071.89/1071.98 c iter 314 time 952.262 not-muc 9532 unknown 3047 muc 178 1071.89/1071.98 c iter 315 time 952.285 not-muc 9532 unknown 3046 muc 179 1071.89/1071.98 c iter 316 time 952.286 not-muc 9532 unknown 3045 muc 180 1071.89/1071.98 c iter 317 time 952.323 not-muc 9532 unknown 3044 muc 181 1071.89/1071.98 c iter 318 time 955.181 not-muc 9544 unknown 3032 muc 181 1071.89/1071.98 c iter 319 time 955.188 not-muc 9544 unknown 3031 muc 182 1071.89/1071.98 c iter 320 time 955.202 not-muc 9544 unknown 3030 muc 183 1071.89/1071.98 c iter 321 time 969.216 not-muc 9552 unknown 3022 muc 183 1071.89/1071.98 c iter 322 time 969.311 not-muc 9552 unknown 3021 muc 184 1071.89/1071.98 c iter 323 time 969.324 not-muc 9552 unknown 3020 muc 185 1071.89/1071.98 c iter 324 time 976.834 not-muc 9573 unknown 2999 muc 185 1071.89/1071.98 c iter 325 time 976.854 not-muc 9573 unknown 2998 muc 186 1071.89/1071.98 c iter 326 time 976.869 not-muc 9573 unknown 2997 muc 187 1071.89/1071.98 c iter 327 time 976.878 not-muc 9573 unknown 2996 muc 188 1071.89/1071.98 c iter 328 time 980.007 not-muc 9607 unknown 2962 muc 188 1071.89/1071.98 c iter 329 time 980.152 not-muc 9607 unknown 2961 muc 189 1071.89/1071.98 c iter 330 time 980.155 not-muc 9607 unknown 2960 muc 190 1071.89/1071.98 c iter 331 time 980.198 not-muc 9607 unknown 2959 muc 191 1071.89/1071.98 c iter 332 time 994.35 not-muc 9626 unknown 2940 muc 191 1071.89/1071.98 c iter 333 time 994.406 not-muc 9626 unknown 2939 muc 192 1071.89/1071.98 c iter 334 time 994.421 not-muc 9626 unknown 2938 muc 193 1071.89/1071.98 c iter 335 time 994.423 not-muc 9626 unknown 2937 muc 194 1071.89/1071.98 c iter 336 time 994.435 not-muc 9626 unknown 2936 muc 195 1071.89/1071.98 c iter 337 time 994.436 not-muc 9626 unknown 2935 muc 196 1071.89/1071.98 c iter 338 time 994.591 not-muc 9626 unknown 2934 muc 197 1071.89/1071.98 c iter 339 time 994.615 not-muc 9626 unknown 2933 muc 198 1071.89/1071.98 c iter 340 time 1005.09 not-muc 9628 unknown 2931 muc 198 1071.89/1071.98 c iter 341 time 1019.39 not-muc 9639 unknown 2920 muc 198 1071.89/1071.98 c iter 342 time 1019.49 not-muc 9639 unknown 2919 muc 199 1071.89/1071.98 c iter 343 time 1019.5 not-muc 9639 unknown 2918 muc 200 1071.89/1071.98 c iter 344 time 1019.5 not-muc 9639 unknown 2917 muc 201 1071.89/1071.98 c iter 345 time 1022.7 not-muc 9640 unknown 2916 muc 201 1071.89/1071.98 c iter 346 time 1029.04 not-muc 9652 unknown 2904 muc 201 1071.89/1071.98 c iter 347 time 1029.06 not-muc 9652 unknown 2903 muc 202 1071.89/1071.98 c iter 348 time 1029.08 not-muc 9652 unknown 2902 muc 203 1071.89/1071.98 c iter 349 time 1032.11 not-muc 9656 unknown 2898 muc 203 1071.89/1071.98 c iter 350 time 1047.09 not-muc 9657 unknown 2897 muc 203 1071.89/1071.98 c iter 351 time 1047.14 not-muc 9657 unknown 2896 muc 204 1071.89/1071.98 c iter 352 time 1047.14 not-muc 9657 unknown 2895 muc 205 1071.89/1071.98 c iter 353 time 1047.14 not-muc 9657 unknown 2894 muc 206 1071.89/1071.98 c iter 354 time 1053.89 not-muc 9659 unknown 2892 muc 206 1071.89/1071.98 c iter 355 time 1053.9 not-muc 9659 unknown 2891 muc 207 1071.89/1071.98 c iter 356 time 1053.91 not-muc 9659 unknown 2890 muc 208 1071.89/1071.98 c iter 357 time 1053.92 not-muc 9659 unknown 2889 muc 209 1071.89/1071.98 c iter 358 time 1068.83 not-muc 9664 unknown 2884 muc 209 1071.89/1071.98 c iter 359 time 1068.85 not-muc 9664 unknown 2883 muc 210 1188.68/1188.70 c iter 360 time 1068.85 not-muc 9664 unknown 2882 muc 211 1188.68/1188.70 c iter 361 time 1068.9 not-muc 9664 unknown 2881 muc 212 1188.68/1188.70 c iter 362 time 1069.11 not-muc 9664 unknown 2880 muc 213 1188.68/1188.70 c iter 363 time 1069.11 not-muc 9664 unknown 2879 muc 214 1188.68/1188.70 c iter 364 time 1069.17 not-muc 9664 unknown 2878 muc 215 1188.68/1188.70 c iter 365 time 1076.28 not-muc 9665 unknown 2877 muc 215 1188.68/1188.70 c iter 366 time 1079.72 not-muc 9677 unknown 2865 muc 215 1188.68/1188.70 c iter 367 time 1079.73 not-muc 9677 unknown 2864 muc 216 1188.68/1188.70 c iter 368 time 1079.73 not-muc 9677 unknown 2863 muc 217 1188.68/1188.70 c iter 369 time 1079.76 not-muc 9677 unknown 2862 muc 218 1188.68/1188.70 c iter 370 time 1086.8 not-muc 9703 unknown 2836 muc 218 1188.68/1188.70 c iter 371 time 1086.83 not-muc 9703 unknown 2835 muc 219 1188.68/1188.70 c iter 372 time 1086.83 not-muc 9703 unknown 2834 muc 220 1188.68/1188.70 c iter 373 time 1086.85 not-muc 9703 unknown 2833 muc 221 1188.68/1188.70 c iter 374 time 1086.87 not-muc 9703 unknown 2832 muc 222 1188.68/1188.70 c iter 375 time 1086.88 not-muc 9703 unknown 2831 muc 223 1188.68/1188.70 c iter 376 time 1086.93 not-muc 9703 unknown 2830 muc 224 1188.68/1188.70 c iter 377 time 1086.94 not-muc 9703 unknown 2829 muc 225 1188.68/1188.70 c iter 378 time 1087.02 not-muc 9703 unknown 2828 muc 226 1188.68/1188.70 c iter 379 time 1087.03 not-muc 9703 unknown 2827 muc 227 1188.68/1188.70 c iter 380 time 1087.03 not-muc 9703 unknown 2826 muc 228 1188.68/1188.70 c iter 381 time 1087.26 not-muc 9703 unknown 2825 muc 229 1188.68/1188.70 c iter 382 time 1087.27 not-muc 9703 unknown 2824 muc 230 1188.68/1188.70 c iter 383 time 1087.33 not-muc 9703 unknown 2823 muc 231 1188.68/1188.70 c iter 384 time 1087.45 not-muc 9703 unknown 2822 muc 232 1188.68/1188.70 c iter 385 time 1087.45 not-muc 9703 unknown 2821 muc 233 1188.68/1188.70 c iter 386 time 1087.48 not-muc 9703 unknown 2820 muc 234 1188.68/1188.70 c iter 387 time 1094.8 not-muc 9711 unknown 2812 muc 234 1188.68/1188.70 c iter 388 time 1101.3 not-muc 9712 unknown 2811 muc 234 1188.68/1188.70 c iter 389 time 1101.31 not-muc 9712 unknown 2810 muc 235 1188.68/1188.70 c iter 390 time 1101.32 not-muc 9712 unknown 2809 muc 236 1188.68/1188.70 c iter 391 time 1101.32 not-muc 9712 unknown 2808 muc 237 1188.68/1188.70 c iter 392 time 1101.32 not-muc 9712 unknown 2807 muc 238 1188.68/1188.70 c iter 393 time 1101.32 not-muc 9712 unknown 2806 muc 239 1188.68/1188.70 c iter 394 time 1108.74 not-muc 9716 unknown 2802 muc 239 1188.68/1188.70 c iter 395 time 1108.76 not-muc 9716 unknown 2801 muc 240 1188.68/1188.70 c iter 396 time 1108.81 not-muc 9716 unknown 2800 muc 241 1188.68/1188.70 c iter 397 time 1108.81 not-muc 9716 unknown 2799 muc 242 1188.68/1188.70 c iter 398 time 1109.09 not-muc 9716 unknown 2798 muc 243 1188.68/1188.70 c iter 399 time 1123.56 not-muc 9718 unknown 2796 muc 243 1188.68/1188.70 c iter 400 time 1127.21 not-muc 9732 unknown 2782 muc 243 1188.68/1188.70 c iter 401 time 1127.22 not-muc 9732 unknown 2781 muc 244 1188.68/1188.70 c iter 402 time 1127.23 not-muc 9732 unknown 2780 muc 245 1188.68/1188.70 c iter 403 time 1142.79 not-muc 9735 unknown 2777 muc 245 1188.68/1188.70 c iter 404 time 1142.81 not-muc 9735 unknown 2776 muc 246 1188.68/1188.70 c iter 405 time 1142.81 not-muc 9735 unknown 2775 muc 247 1188.68/1188.70 c iter 406 time 1142.82 not-muc 9735 unknown 2774 muc 248 1188.68/1188.70 c iter 407 time 1142.83 not-muc 9735 unknown 2773 muc 249 1188.68/1188.70 c iter 408 time 1142.83 not-muc 9735 unknown 2772 muc 250 1188.68/1188.70 c iter 409 time 1142.83 not-muc 9735 unknown 2771 muc 251 1188.68/1188.70 c iter 410 time 1142.84 not-muc 9735 unknown 2770 muc 252 1188.68/1188.70 c iter 411 time 1142.84 not-muc 9735 unknown 2769 muc 253 1188.68/1188.70 c iter 412 time 1153.48 not-muc 9747 unknown 2757 muc 253 1188.68/1188.70 c iter 413 time 1153.51 not-muc 9747 unknown 2756 muc 254 1188.68/1188.70 c iter 414 time 1156.8 not-muc 9753 unknown 2750 muc 254 1188.68/1188.70 c iter 415 time 1156.81 not-muc 9753 unknown 2749 muc 255 1188.68/1188.70 c iter 416 time 1163.61 not-muc 9755 unknown 2747 muc 255 1188.68/1188.70 c iter 417 time 1171.27 not-muc 9756 unknown 2746 muc 255 1188.68/1188.70 c iter 418 time 1171.28 not-muc 9756 unknown 2745 muc 256 1188.68/1188.70 c iter 419 time 1171.29 not-muc 9756 unknown 2744 muc 257 1188.68/1188.70 c iter 420 time 1171.29 not-muc 9756 unknown 2743 muc 258 1188.68/1188.70 c iter 421 time 1171.78 not-muc 9756 unknown 2742 muc 259 1188.68/1188.70 c iter 422 time 1172.02 not-muc 9756 unknown 2741 muc 260 1188.68/1188.70 c iter 423 time 1178.53 not-muc 9758 unknown 2739 muc 260 1188.68/1188.70 c iter 424 time 1178.54 not-muc 9758 unknown 2738 muc 261 1188.68/1188.70 c iter 425 time 1178.54 not-muc 9758 unknown 2737 muc 262 1188.68/1188.70 c iter 426 time 1178.55 not-muc 9758 unknown 2736 muc 263 1188.68/1188.70 c iter 427 time 1185.36 not-muc 9771 unknown 2723 muc 263 1188.68/1188.70 c iter 428 time 1185.39 not-muc 9771 unknown 2722 muc 264 1188.68/1188.70 c iter 429 time 1185.47 not-muc 9771 unknown 2721 muc 265 1188.68/1188.70 c iter 430 time 1185.47 not-muc 9771 unknown 2720 muc 266 1336.69/1336.76 c iter 431 time 1192.31 not-muc 9784 unknown 2707 muc 266 1336.69/1336.76 c iter 432 time 1198.97 not-muc 9799 unknown 2692 muc 266 1336.69/1336.76 c iter 433 time 1198.97 not-muc 9799 unknown 2691 muc 267 1336.69/1336.76 c iter 434 time 1198.99 not-muc 9799 unknown 2690 muc 268 1336.69/1336.76 c iter 435 time 1198.99 not-muc 9799 unknown 2689 muc 269 1336.69/1336.76 c iter 436 time 1199 not-muc 9799 unknown 2688 muc 270 1336.69/1336.76 c iter 437 time 1199 not-muc 9799 unknown 2687 muc 271 1336.69/1336.76 c iter 438 time 1199 not-muc 9799 unknown 2686 muc 272 1336.69/1336.76 c iter 439 time 1199.12 not-muc 9799 unknown 2685 muc 273 1336.69/1336.76 c iter 440 time 1199.19 not-muc 9799 unknown 2684 muc 274 1336.69/1336.76 c iter 441 time 1199.19 not-muc 9799 unknown 2683 muc 275 1336.69/1336.76 c iter 442 time 1199.23 not-muc 9799 unknown 2682 muc 276 1336.69/1336.76 c iter 443 time 1199.23 not-muc 9799 unknown 2681 muc 277 1336.69/1336.76 c iter 444 time 1199.26 not-muc 9799 unknown 2680 muc 278 1336.69/1336.76 c iter 445 time 1199.27 not-muc 9799 unknown 2679 muc 279 1336.69/1336.76 c iter 446 time 1199.27 not-muc 9799 unknown 2678 muc 280 1336.69/1336.76 c iter 447 time 1199.33 not-muc 9799 unknown 2677 muc 281 1336.69/1336.76 c iter 448 time 1199.33 not-muc 9799 unknown 2676 muc 282 1336.69/1336.76 c iter 449 time 1213.29 not-muc 9822 unknown 2653 muc 282 1336.69/1336.76 c iter 450 time 1213.36 not-muc 9822 unknown 2652 muc 283 1336.69/1336.76 c iter 451 time 1213.51 not-muc 9822 unknown 2651 muc 284 1336.69/1336.76 c iter 452 time 1213.52 not-muc 9822 unknown 2650 muc 285 1336.69/1336.76 c iter 453 time 1213.52 not-muc 9822 unknown 2649 muc 286 1336.69/1336.76 c iter 454 time 1213.52 not-muc 9822 unknown 2648 muc 287 1336.69/1336.76 c iter 455 time 1213.52 not-muc 9822 unknown 2647 muc 288 1336.69/1336.76 c iter 456 time 1213.52 not-muc 9822 unknown 2646 muc 289 1336.69/1336.76 c iter 457 time 1213.55 not-muc 9822 unknown 2645 muc 290 1336.69/1336.76 c iter 458 time 1228.59 not-muc 9858 unknown 2609 muc 290 1336.69/1336.76 c iter 459 time 1228.6 not-muc 9858 unknown 2608 muc 291 1336.69/1336.76 c iter 460 time 1234.11 not-muc 9860 unknown 2606 muc 291 1336.69/1336.76 c iter 461 time 1234.12 not-muc 9860 unknown 2605 muc 292 1336.69/1336.76 c iter 462 time 1249.57 not-muc 9874 unknown 2591 muc 292 1336.69/1336.76 c iter 463 time 1249.59 not-muc 9874 unknown 2590 muc 293 1336.69/1336.76 c iter 464 time 1249.59 not-muc 9874 unknown 2589 muc 294 1336.69/1336.76 c iter 465 time 1249.6 not-muc 9874 unknown 2588 muc 295 1336.69/1336.76 c iter 466 time 1249.62 not-muc 9874 unknown 2587 muc 296 1336.69/1336.76 c iter 467 time 1249.64 not-muc 9874 unknown 2586 muc 297 1336.69/1336.76 c iter 468 time 1249.64 not-muc 9874 unknown 2585 muc 298 1336.69/1336.76 c iter 469 time 1253.12 not-muc 9876 unknown 2583 muc 298 1336.69/1336.76 c iter 470 time 1253.12 not-muc 9876 unknown 2582 muc 299 1336.69/1336.76 c iter 471 time 1253.13 not-muc 9876 unknown 2581 muc 300 1336.69/1336.76 c iter 472 time 1253.15 not-muc 9876 unknown 2580 muc 301 1336.69/1336.76 c iter 473 time 1253.15 not-muc 9876 unknown 2579 muc 302 1336.69/1336.76 c iter 474 time 1253.19 not-muc 9876 unknown 2578 muc 303 1336.69/1336.76 c iter 475 time 1253.19 not-muc 9876 unknown 2577 muc 304 1336.69/1336.76 c iter 476 time 1259.63 not-muc 9877 unknown 2576 muc 304 1336.69/1336.76 c iter 477 time 1259.64 not-muc 9877 unknown 2575 muc 305 1336.69/1336.76 c iter 478 time 1259.68 not-muc 9877 unknown 2574 muc 306 1336.69/1336.76 c iter 479 time 1259.69 not-muc 9877 unknown 2573 muc 307 1336.69/1336.76 c iter 480 time 1263.15 not-muc 9885 unknown 2565 muc 307 1336.69/1336.76 c iter 481 time 1263.17 not-muc 9885 unknown 2564 muc 308 1336.69/1336.76 c iter 482 time 1263.18 not-muc 9885 unknown 2563 muc 309 1336.69/1336.76 c iter 483 time 1263.18 not-muc 9885 unknown 2562 muc 310 1336.69/1336.76 c iter 484 time 1263.18 not-muc 9885 unknown 2561 muc 311 1336.69/1336.76 c iter 485 time 1263.19 not-muc 9885 unknown 2560 muc 312 1336.69/1336.76 c iter 486 time 1263.19 not-muc 9885 unknown 2559 muc 313 1336.69/1336.76 c iter 487 time 1278.58 not-muc 9888 unknown 2556 muc 313 1336.69/1336.76 c iter 488 time 1278.58 not-muc 9888 unknown 2555 muc 314 1336.69/1336.76 c iter 489 time 1278.59 not-muc 9888 unknown 2554 muc 315 1336.69/1336.76 c iter 490 time 1285.48 not-muc 9889 unknown 2553 muc 315 1336.69/1336.76 c iter 491 time 1288.94 not-muc 9897 unknown 2545 muc 315 1336.69/1336.76 c iter 492 time 1289.02 not-muc 9897 unknown 2544 muc 316 1336.69/1336.76 c iter 493 time 1302.94 not-muc 9899 unknown 2542 muc 316 1336.69/1336.76 c iter 494 time 1302.95 not-muc 9899 unknown 2541 muc 317 1336.69/1336.76 c iter 495 time 1313.48 not-muc 9912 unknown 2528 muc 317 1336.69/1336.76 c iter 496 time 1313.53 not-muc 9912 unknown 2527 muc 318 1336.69/1336.76 c iter 497 time 1313.53 not-muc 9912 unknown 2526 muc 319 1336.69/1336.76 c iter 498 time 1320.5 not-muc 9915 unknown 2523 muc 319 1336.69/1336.76 c iter 499 time 1323.74 not-muc 9916 unknown 2522 muc 319 1336.69/1336.76 c iter 500 time 1323.74 not-muc 9916 unknown 2521 muc 320 1336.69/1336.76 c iter 501 time 1333.49 not-muc 9921 unknown 2516 muc 320 1409.69/1409.79 c iter 502 time 1333.5 not-muc 9921 unknown 2515 muc 321 1409.69/1409.79 c iter 503 time 1333.5 not-muc 9921 unknown 2514 muc 322 1409.69/1409.79 c iter 504 time 1333.5 not-muc 9921 unknown 2513 muc 323 1409.69/1409.79 c iter 505 time 1343.67 not-muc 9922 unknown 2512 muc 323 1409.69/1409.79 c iter 506 time 1343.68 not-muc 9922 unknown 2511 muc 324 1409.69/1409.79 c iter 507 time 1343.69 not-muc 9922 unknown 2510 muc 325 1409.69/1409.79 c iter 508 time 1343.77 not-muc 9922 unknown 2509 muc 326 1409.69/1409.79 c iter 509 time 1350.73 not-muc 9927 unknown 2504 muc 326 1409.69/1409.79 c iter 510 time 1350.74 not-muc 9927 unknown 2503 muc 327 1409.69/1409.79 c iter 511 time 1350.75 not-muc 9927 unknown 2502 muc 328 1409.69/1409.79 c iter 512 time 1350.75 not-muc 9927 unknown 2501 muc 329 1409.69/1409.79 c iter 513 time 1350.83 not-muc 9927 unknown 2500 muc 330 1409.69/1409.79 c iter 514 time 1350.83 not-muc 9927 unknown 2499 muc 331 1409.69/1409.79 c iter 515 time 1350.84 not-muc 9927 unknown 2498 muc 332 1409.69/1409.79 c iter 516 time 1350.89 not-muc 9927 unknown 2497 muc 333 1409.69/1409.79 c iter 517 time 1350.9 not-muc 9927 unknown 2496 muc 334 1409.69/1409.79 c iter 518 time 1354.12 not-muc 9928 unknown 2495 muc 334 1409.69/1409.79 c iter 519 time 1354.16 not-muc 9928 unknown 2494 muc 335 1409.69/1409.79 c iter 520 time 1354.16 not-muc 9928 unknown 2493 muc 336 1409.69/1409.79 c iter 521 time 1354.16 not-muc 9928 unknown 2492 muc 337 1409.69/1409.79 c iter 522 time 1360.54 not-muc 9931 unknown 2489 muc 337 1409.69/1409.79 c iter 523 time 1360.56 not-muc 9931 unknown 2488 muc 338 1409.69/1409.79 c iter 524 time 1360.59 not-muc 9931 unknown 2487 muc 339 1409.69/1409.79 c iter 525 time 1360.6 not-muc 9931 unknown 2486 muc 340 1409.69/1409.79 c iter 526 time 1360.6 not-muc 9931 unknown 2485 muc 341 1409.69/1409.79 c iter 527 time 1360.6 not-muc 9931 unknown 2484 muc 342 1409.69/1409.79 c iter 528 time 1360.73 not-muc 9931 unknown 2483 muc 343 1409.69/1409.79 c iter 529 time 1360.73 not-muc 9931 unknown 2482 muc 344 1409.69/1409.79 c iter 530 time 1360.73 not-muc 9931 unknown 2481 muc 345 1409.69/1409.79 c iter 531 time 1374.29 not-muc 9935 unknown 2477 muc 345 1409.69/1409.79 c iter 532 time 1374.3 not-muc 9935 unknown 2476 muc 346 1409.69/1409.79 c iter 533 time 1374.3 not-muc 9935 unknown 2475 muc 347 1409.69/1409.79 c iter 534 time 1374.3 not-muc 9935 unknown 2474 muc 348 1409.69/1409.79 c iter 535 time 1374.3 not-muc 9935 unknown 2473 muc 349 1409.69/1409.79 c iter 536 time 1374.31 not-muc 9935 unknown 2472 muc 350 1409.69/1409.79 c iter 537 time 1374.33 not-muc 9935 unknown 2471 muc 351 1409.69/1409.79 c iter 538 time 1374.36 not-muc 9935 unknown 2470 muc 352 1409.69/1409.79 c iter 539 time 1374.4 not-muc 9935 unknown 2469 muc 353 1409.69/1409.79 c iter 540 time 1374.41 not-muc 9935 unknown 2468 muc 354 1409.69/1409.79 c iter 541 time 1374.42 not-muc 9935 unknown 2467 muc 355 1409.69/1409.79 c iter 542 time 1374.42 not-muc 9935 unknown 2466 muc 356 1409.69/1409.79 c iter 543 time 1380.47 not-muc 9944 unknown 2457 muc 356 1409.69/1409.79 c iter 544 time 1383.67 not-muc 9948 unknown 2453 muc 356 1409.69/1409.79 c iter 545 time 1383.67 not-muc 9948 unknown 2452 muc 357 1409.69/1409.79 c iter 546 time 1383.68 not-muc 9948 unknown 2451 muc 358 1409.69/1409.79 c iter 547 time 1383.68 not-muc 9948 unknown 2450 muc 359 1409.69/1409.79 c iter 548 time 1383.73 not-muc 9948 unknown 2449 muc 360 1409.69/1409.79 c iter 549 time 1383.73 not-muc 9948 unknown 2448 muc 361 1409.69/1409.79 c iter 550 time 1383.74 not-muc 9948 unknown 2447 muc 362 1409.69/1409.79 c iter 551 time 1383.84 not-muc 9948 unknown 2446 muc 363 1409.69/1409.79 c iter 552 time 1390.2 not-muc 9964 unknown 2430 muc 363 1409.69/1409.79 c iter 553 time 1393.22 not-muc 9985 unknown 2409 muc 363 1409.69/1409.79 c iter 554 time 1393.23 not-muc 9985 unknown 2408 muc 364 1409.69/1409.79 c iter 555 time 1393.23 not-muc 9985 unknown 2407 muc 365 1409.69/1409.79 c iter 556 time 1393.25 not-muc 9985 unknown 2406 muc 366 1409.69/1409.79 c iter 557 time 1399.63 not-muc 9986 unknown 2405 muc 366 1409.69/1409.79 c iter 558 time 1399.64 not-muc 9986 unknown 2404 muc 367 1409.69/1409.79 c iter 559 time 1399.66 not-muc 9986 unknown 2403 muc 368 1409.69/1409.79 c iter 560 time 1399.67 not-muc 9986 unknown 2402 muc 369 1409.69/1409.79 c iter 561 time 1399.67 not-muc 9986 unknown 2401 muc 370 1409.69/1409.79 c iter 562 time 1399.68 not-muc 9986 unknown 2400 muc 371 1409.69/1409.79 c iter 563 time 1399.7 not-muc 9986 unknown 2399 muc 372 1409.69/1409.79 c iter 564 time 1399.73 not-muc 9986 unknown 2398 muc 373 1409.69/1409.79 c iter 565 time 1399.73 not-muc 9986 unknown 2397 muc 374 1409.69/1409.79 c iter 566 time 1399.73 not-muc 9986 unknown 2396 muc 375 1409.69/1409.79 c iter 567 time 1399.82 not-muc 9986 unknown 2395 muc 376 1409.69/1409.79 c iter 568 time 1399.83 not-muc 9986 unknown 2394 muc 377 1409.69/1409.79 c iter 569 time 1399.86 not-muc 9986 unknown 2393 muc 378 1409.69/1409.79 c iter 570 time 1399.86 not-muc 9986 unknown 2392 muc 379 1409.69/1409.79 c iter 571 time 1399.87 not-muc 9986 unknown 2391 muc 380 1556.08/1556.18 c iter 572 time 1406.53 not-muc 9987 unknown 2390 muc 380 1556.08/1556.18 c iter 573 time 1406.55 not-muc 9987 unknown 2389 muc 381 1556.08/1556.18 c iter 574 time 1406.55 not-muc 9987 unknown 2388 muc 382 1556.08/1556.18 c iter 575 time 1406.55 not-muc 9987 unknown 2387 muc 383 1556.08/1556.18 c iter 576 time 1406.55 not-muc 9987 unknown 2386 muc 384 1556.08/1556.18 c iter 577 time 1406.56 not-muc 9987 unknown 2385 muc 385 1556.08/1556.18 c iter 578 time 1406.56 not-muc 9987 unknown 2384 muc 386 1556.08/1556.18 c iter 579 time 1406.56 not-muc 9987 unknown 2383 muc 387 1556.08/1556.18 c iter 580 time 1406.56 not-muc 9987 unknown 2382 muc 388 1556.08/1556.18 c iter 581 time 1406.57 not-muc 9987 unknown 2381 muc 389 1556.08/1556.18 c iter 582 time 1406.57 not-muc 9987 unknown 2380 muc 390 1556.08/1556.18 c iter 583 time 1406.58 not-muc 9987 unknown 2379 muc 391 1556.08/1556.18 c iter 584 time 1413.14 not-muc 9990 unknown 2376 muc 391 1556.08/1556.18 c iter 585 time 1413.15 not-muc 9990 unknown 2375 muc 392 1556.08/1556.18 c iter 586 time 1413.15 not-muc 9990 unknown 2374 muc 393 1556.08/1556.18 c iter 587 time 1413.17 not-muc 9990 unknown 2373 muc 394 1556.08/1556.18 c iter 588 time 1413.18 not-muc 9990 unknown 2372 muc 395 1556.08/1556.18 c iter 589 time 1413.19 not-muc 9990 unknown 2371 muc 396 1556.08/1556.18 c iter 590 time 1413.23 not-muc 9990 unknown 2370 muc 397 1556.08/1556.18 c iter 591 time 1427.31 not-muc 9991 unknown 2369 muc 397 1556.08/1556.18 c iter 592 time 1427.32 not-muc 9991 unknown 2368 muc 398 1556.08/1556.18 c iter 593 time 1427.34 not-muc 9991 unknown 2367 muc 399 1556.08/1556.18 c iter 594 time 1427.34 not-muc 9991 unknown 2366 muc 400 1556.08/1556.18 c iter 595 time 1427.35 not-muc 9991 unknown 2365 muc 401 1556.08/1556.18 c iter 596 time 1427.35 not-muc 9991 unknown 2364 muc 402 1556.08/1556.18 c iter 597 time 1434.1 not-muc 9991 unknown 2363 muc 403 1556.08/1556.18 c iter 598 time 1434.13 not-muc 9991 unknown 2362 muc 404 1556.08/1556.18 c iter 599 time 1434.13 not-muc 9991 unknown 2361 muc 405 1556.08/1556.18 c iter 600 time 1434.43 not-muc 9991 unknown 2360 muc 406 1556.08/1556.18 c iter 601 time 1434.73 not-muc 9991 unknown 2359 muc 407 1556.08/1556.18 c iter 602 time 1434.76 not-muc 9991 unknown 2358 muc 408 1556.08/1556.18 c iter 603 time 1434.77 not-muc 9991 unknown 2357 muc 409 1556.08/1556.18 c iter 604 time 1434.78 not-muc 9991 unknown 2356 muc 410 1556.08/1556.18 c iter 605 time 1434.87 not-muc 9991 unknown 2355 muc 411 1556.08/1556.18 c iter 606 time 1434.94 not-muc 9991 unknown 2354 muc 412 1556.08/1556.18 c iter 607 time 1434.94 not-muc 9991 unknown 2353 muc 413 1556.08/1556.18 c iter 608 time 1434.95 not-muc 9991 unknown 2352 muc 414 1556.08/1556.18 c iter 609 time 1441.11 not-muc 9993 unknown 2350 muc 414 1556.08/1556.18 c iter 610 time 1441.11 not-muc 9993 unknown 2349 muc 415 1556.08/1556.18 c iter 611 time 1441.12 not-muc 9993 unknown 2348 muc 416 1556.08/1556.18 c iter 612 time 1441.12 not-muc 9993 unknown 2347 muc 417 1556.08/1556.18 c iter 613 time 1441.12 not-muc 9993 unknown 2346 muc 418 1556.08/1556.18 c iter 614 time 1448.17 not-muc 9997 unknown 2342 muc 418 1556.08/1556.18 c iter 615 time 1461.68 not-muc 9999 unknown 2340 muc 418 1556.08/1556.18 c iter 616 time 1461.69 not-muc 9999 unknown 2339 muc 419 1556.08/1556.18 c iter 617 time 1461.71 not-muc 9999 unknown 2338 muc 420 1556.08/1556.18 c iter 618 time 1461.73 not-muc 9999 unknown 2337 muc 421 1556.08/1556.18 c iter 619 time 1467.87 not-muc 10008 unknown 2328 muc 421 1556.08/1556.18 c iter 620 time 1467.88 not-muc 10008 unknown 2327 muc 422 1556.08/1556.18 c iter 621 time 1467.93 not-muc 10008 unknown 2326 muc 423 1556.08/1556.18 c iter 622 time 1467.97 not-muc 10008 unknown 2325 muc 424 1556.08/1556.18 c iter 623 time 1474.9 not-muc 10009 unknown 2324 muc 424 1556.08/1556.18 c iter 624 time 1489.68 not-muc 10010 unknown 2323 muc 424 1556.08/1556.18 c iter 625 time 1489.7 not-muc 10010 unknown 2322 muc 425 1556.08/1556.18 c iter 626 time 1489.71 not-muc 10010 unknown 2321 muc 426 1556.08/1556.18 c iter 627 time 1489.72 not-muc 10010 unknown 2320 muc 427 1556.08/1556.18 c iter 628 time 1489.73 not-muc 10010 unknown 2319 muc 428 1556.08/1556.18 c iter 629 time 1489.73 not-muc 10010 unknown 2318 muc 429 1556.08/1556.18 c iter 630 time 1489.73 not-muc 10010 unknown 2317 muc 430 1556.08/1556.18 c iter 631 time 1490.29 not-muc 10010 unknown 2316 muc 431 1556.08/1556.18 c iter 632 time 1502.71 not-muc 10011 unknown 2315 muc 431 1556.08/1556.18 c iter 633 time 1502.75 not-muc 10011 unknown 2314 muc 432 1556.08/1556.18 c iter 634 time 1502.77 not-muc 10011 unknown 2313 muc 433 1556.08/1556.18 c iter 635 time 1502.79 not-muc 10011 unknown 2312 muc 434 1556.08/1556.18 c iter 636 time 1502.79 not-muc 10011 unknown 2311 muc 435 1556.08/1556.18 c iter 637 time 1502.94 not-muc 10011 unknown 2310 muc 436 1556.08/1556.18 c iter 638 time 1532.03 not-muc 10013 unknown 2308 muc 436 1556.08/1556.18 c iter 639 time 1546.35 not-muc 10014 unknown 2307 muc 436 1556.08/1556.18 c iter 640 time 1546.43 not-muc 10014 unknown 2306 muc 437 1556.08/1556.18 c iter 641 time 1552.9 not-muc 10027 unknown 2293 muc 437 1556.08/1556.18 c iter 642 time 1552.91 not-muc 10027 unknown 2292 muc 438 1681.28/1681.30 c iter 643 time 1552.92 not-muc 10027 unknown 2291 muc 439 1681.28/1681.30 c iter 644 time 1552.92 not-muc 10027 unknown 2290 muc 440 1681.28/1681.30 c iter 645 time 1552.92 not-muc 10027 unknown 2289 muc 441 1681.28/1681.30 c iter 646 time 1552.94 not-muc 10027 unknown 2288 muc 442 1681.28/1681.30 c iter 647 time 1553.12 not-muc 10027 unknown 2287 muc 443 1681.28/1681.30 c iter 648 time 1553.13 not-muc 10027 unknown 2286 muc 444 1681.28/1681.30 c iter 649 time 1553.13 not-muc 10027 unknown 2285 muc 445 1681.28/1681.30 c iter 650 time 1566.58 not-muc 10028 unknown 2284 muc 445 1681.28/1681.30 c iter 651 time 1594.06 not-muc 10041 unknown 2271 muc 445 1681.28/1681.30 c iter 652 time 1594.26 not-muc 10041 unknown 2270 muc 446 1681.28/1681.30 c iter 653 time 1594.28 not-muc 10041 unknown 2269 muc 447 1681.28/1681.30 c iter 654 time 1594.28 not-muc 10041 unknown 2268 muc 448 1681.28/1681.30 c iter 655 time 1594.28 not-muc 10041 unknown 2267 muc 449 1681.28/1681.30 c iter 656 time 1594.28 not-muc 10041 unknown 2266 muc 450 1681.28/1681.30 c iter 657 time 1594.33 not-muc 10041 unknown 2265 muc 451 1681.28/1681.30 c iter 658 time 1594.33 not-muc 10041 unknown 2264 muc 452 1681.28/1681.30 c iter 659 time 1594.35 not-muc 10041 unknown 2263 muc 453 1681.28/1681.30 c iter 660 time 1594.46 not-muc 10041 unknown 2262 muc 454 1681.28/1681.30 c iter 661 time 1594.62 not-muc 10041 unknown 2261 muc 455 1681.28/1681.30 c iter 662 time 1594.7 not-muc 10041 unknown 2260 muc 456 1681.28/1681.30 c iter 663 time 1594.78 not-muc 10041 unknown 2259 muc 457 1681.28/1681.30 c iter 664 time 1594.78 not-muc 10041 unknown 2258 muc 458 1681.28/1681.30 c iter 665 time 1594.78 not-muc 10041 unknown 2257 muc 459 1681.28/1681.30 c iter 666 time 1594.79 not-muc 10041 unknown 2256 muc 460 1681.28/1681.30 c iter 667 time 1594.8 not-muc 10041 unknown 2255 muc 461 1681.28/1681.30 c iter 668 time 1594.8 not-muc 10041 unknown 2254 muc 462 1681.28/1681.30 c iter 669 time 1600.98 not-muc 10053 unknown 2242 muc 462 1681.28/1681.30 c iter 670 time 1600.98 not-muc 10053 unknown 2241 muc 463 1681.28/1681.30 c iter 671 time 1601.07 not-muc 10053 unknown 2240 muc 464 1681.28/1681.30 c iter 672 time 1601.12 not-muc 10053 unknown 2239 muc 465 1681.28/1681.30 c iter 673 time 1601.13 not-muc 10053 unknown 2238 muc 466 1681.28/1681.30 c iter 674 time 1601.14 not-muc 10053 unknown 2237 muc 467 1681.28/1681.30 c iter 675 time 1601.14 not-muc 10053 unknown 2236 muc 468 1681.28/1681.30 c iter 676 time 1601.19 not-muc 10053 unknown 2235 muc 469 1681.28/1681.30 c iter 677 time 1601.2 not-muc 10053 unknown 2234 muc 470 1681.28/1681.30 c iter 678 time 1601.21 not-muc 10053 unknown 2233 muc 471 1681.28/1681.30 c iter 679 time 1601.21 not-muc 10053 unknown 2232 muc 472 1681.28/1681.30 c iter 680 time 1601.21 not-muc 10053 unknown 2231 muc 473 1681.28/1681.30 c iter 681 time 1601.22 not-muc 10053 unknown 2230 muc 474 1681.28/1681.30 c iter 682 time 1601.22 not-muc 10053 unknown 2229 muc 475 1681.28/1681.30 c iter 683 time 1608.2 not-muc 10054 unknown 2228 muc 475 1681.28/1681.30 c iter 684 time 1621.64 not-muc 10055 unknown 2227 muc 475 1681.28/1681.30 c iter 685 time 1621.76 not-muc 10055 unknown 2226 muc 476 1681.28/1681.30 c iter 686 time 1621.77 not-muc 10055 unknown 2225 muc 477 1681.28/1681.30 c iter 687 time 1621.77 not-muc 10055 unknown 2224 muc 478 1681.28/1681.30 c iter 688 time 1621.78 not-muc 10055 unknown 2223 muc 479 1681.28/1681.30 c iter 689 time 1628.78 not-muc 10057 unknown 2221 muc 479 1681.28/1681.30 c iter 690 time 1628.98 not-muc 10057 unknown 2220 muc 480 1681.28/1681.30 c iter 691 time 1629.02 not-muc 10057 unknown 2219 muc 481 1681.28/1681.30 c iter 692 time 1629.02 not-muc 10057 unknown 2218 muc 482 1681.28/1681.30 c iter 693 time 1629.03 not-muc 10057 unknown 2217 muc 483 1681.28/1681.30 c iter 694 time 1629.04 not-muc 10057 unknown 2216 muc 484 1681.28/1681.30 c iter 695 time 1629.04 not-muc 10057 unknown 2215 muc 485 1681.28/1681.30 c iter 696 time 1629.04 not-muc 10057 unknown 2214 muc 486 1681.28/1681.30 c iter 697 time 1629.05 not-muc 10057 unknown 2213 muc 487 1681.28/1681.30 c iter 698 time 1635.62 not-muc 10058 unknown 2212 muc 487 1681.28/1681.30 c iter 699 time 1635.63 not-muc 10058 unknown 2211 muc 488 1681.28/1681.30 c iter 700 time 1635.63 not-muc 10058 unknown 2210 muc 489 1681.28/1681.30 c iter 701 time 1635.64 not-muc 10058 unknown 2209 muc 490 1681.28/1681.30 c iter 702 time 1665.15 not-muc 10060 unknown 2207 muc 490 1681.28/1681.30 c iter 703 time 1677.86 not-muc 10071 unknown 2196 muc 490 1681.28/1681.30 c iter 704 time 1677.89 not-muc 10071 unknown 2195 muc 491 1681.28/1681.30 c iter 705 time 1677.91 not-muc 10071 unknown 2194 muc 492 1681.28/1681.30 c iter 706 time 1677.91 not-muc 10071 unknown 2193 muc 493 1681.28/1681.30 c iter 707 time 1677.91 not-muc 10071 unknown 2192 muc 494 1681.28/1681.30 c iter 708 time 1677.91 not-muc 10071 unknown 2191 muc 495 1681.28/1681.30 c iter 709 time 1677.92 not-muc 10071 unknown 2190 muc 496 1681.28/1681.30 c iter 710 time 1677.92 not-muc 10071 unknown 2189 muc 497 1681.28/1681.30 c iter 711 time 1678.03 not-muc 10071 unknown 2
ERROR: Unexpected answer ! (UNSATISFIABLE expected) Got answer: <no 's ' line found>
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.1 (svn: 988) 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-3493871-1307804421/watcher-3493871-1307804421 -o /tmp/evaluation-result-3493871-1307804421/solver-3493871-1307804421 -C 1800 -W 1850 -M 7680 HOME/hmuc-a HOME/instance-3493871-1307804421.cnf running on 2 cores: 5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1850 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.00 4.00 3.69 4/189 5066 /proc/meminfo: memFree=31214432/32951124 swapFree=67088052/67111528 [pid=5066] ppid=5064 vsize=21728 CPUtime=0 cores=5,7 /proc/5066/stat : 5066 (hmuc-a) R 5064 5066 10609 0 -1 4202496 912 0 0 0 0 0 0 0 25 0 1 0 872858275 22249472 829 33554432000 4194304 4311632 140733493790064 18446744073709551615 255106768640 0 0 4096 8388610 0 0 0 17 5 0 0 0 /proc/5066/statm: 5432 830 218 29 0 2061 0 [startup+0.0132581 s] /proc/loadavg: 4.00 4.00 3.69 4/189 5066 /proc/meminfo: memFree=31214432/32951124 swapFree=67088052/67111528 [pid=5066] ppid=5064 vsize=21552 CPUtime=0.01 cores=5,7 /proc/5066/stat : 5066 (hmuc-a) R 5064 5066 10609 0 -1 4202496 1180 0 0 0 1 0 0 0 25 0 1 0 872858275 22069248 1088 33554432000 4194304 4311632 140733493790064 18446744073709551615 255106812039 0 0 4096 8388610 0 0 0 17 5 0 0 0 /proc/5066/statm: 5387 1089 219 29 0 2016 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 21552 [startup+0.100276 s] /proc/loadavg: 4.00 4.00 3.69 4/189 5066 /proc/meminfo: memFree=31214432/32951124 swapFree=67088052/67111528 [pid=5066] ppid=5064 vsize=20324 CPUtime=0.09 cores=5,7 /proc/5066/stat : 5066 (hmuc-a) R 5064 5066 10609 0 -1 4202496 1847 0 0 0 9 0 0 0 25 0 1 0 872858275 20811776 1523 33554432000 4194304 4311632 140733493790064 18446744073709551615 4264235 0 0 4096 8388610 0 0 0 17 5 0 0 0 /proc/5066/statm: 5081 1524 245 29 0 1710 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 20324 [startup+0.300243 s] /proc/loadavg: 4.00 4.00 3.69 4/189 5066 /proc/meminfo: memFree=31214432/32951124 swapFree=67088052/67111528 [pid=5066] ppid=5064 vsize=36188 CPUtime=0.29 cores=5,7 /proc/5066/stat : 5066 (hmuc-a) R 5064 5066 10609 0 -1 4202496 5234 0 0 0 29 0 0 0 25 0 1 0 872858275 37056512 4910 33554432000 4194304 4311632 140733493790064 18446744073709551615 255110228464 0 0 4096 8388610 0 0 0 17 5 0 0 0 /proc/5066/statm: 9047 4910 247 29 0 5676 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 36188 [startup+0.700169 s] /proc/loadavg: 4.00 4.00 3.69 4/189 5066 /proc/meminfo: memFree=31214432/32951124 swapFree=67088052/67111528 [pid=5066] ppid=5064 vsize=24692 CPUtime=0.69 cores=5,7 /proc/5066/stat : 5066 (hmuc-a) R 5064 5066 10609 0 -1 4202496 7584 0 0 0 69 0 0 0 25 0 1 0 872858275 25284608 2960 33554432000 4194304 4311632 140733493790064 18446744073709551615 4259434 0 0 4096 8388610 0 0 0 17 5 0 0 0 /proc/5066/statm: 6173 2960 247 29 0 2802 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 24692 [startup+1.50103 s] /proc/loadavg: 4.00 4.00 3.69 5/190 5067 /proc/meminfo: memFree=31159764/32951124 swapFree=67088052/67111528 [pid=5066] ppid=5064 vsize=69368 CPUtime=1.49 cores=5,7 /proc/5066/stat : 5066 (hmuc-a) R 5064 5066 10609 0 -1 4202496 16381 0 0 0 148 1 0 0 25 0 1 0 872858275 71032832 11744 33554432000 4194304 4311632 140733493790064 18446744073709551615 4282542 0 0 4096 8388610 0 0 0 17 5 0 0 0 /proc/5066/statm: 17342 11744 246 29 0 13971 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 69368 [startup+3.10075 s] /proc/loadavg: 4.00 4.00 3.69 6/190 5067 /proc/meminfo: memFree=31089220/32951124 swapFree=67088052/67111528 [pid=5066] ppid=5064 vsize=39016 CPUtime=3.09 cores=5,7 /proc/5066/stat : 5066 (hmuc-a) R 5064 5066 10609 0 -1 4202496 17240 0 0 0 307 2 0 0 25 0 1 0 872858275 39952384 6532 33554432000 4194304 4311632 140733493790064 18446744073709551615 4264427 0 0 4096 8388610 0 0 0 17 5 0 0 0 /proc/5066/statm: 9754 6532 245 29 0 6383 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 39016 [startup+6.30019 s] /proc/loadavg: 4.00 4.00 3.69 6/190 5067 /proc/meminfo: memFree=30975848/32951124 swapFree=67088052/67111528 [pid=5066] ppid=5064 vsize=66684 CPUtime=6.29 cores=5,7 /proc/5066/stat : 5066 (hmuc-a) R 5064 5066 10609 0 -1 4202496 33879 0 0 0 625 4 0 0 25 0 1 0 872858275 68284416 13449 33554432000 4194304 4311632 140733493790064 18446744073709551615 4264208 0 0 4096 8388610 0 0 0 17 5 0 0 0 /proc/5066/statm: 16671 13449 245 29 0 13300 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 66684 [startup+12.7011 s] /proc/loadavg: 4.00 4.00 3.69 6/190 5068 /proc/meminfo: memFree=31136080/32951124 swapFree=67088052/67111528 [pid=5066] ppid=5064 vsize=78420 CPUtime=12.69 cores=5,7 /proc/5066/stat : 5066 (hmuc-a) R 5064 5066 10609 0 -1 4202496 70201 0 0 0 1261 8 0 0 25 0 1 0 872858275 80302080 16402 33554432000 4194304 4311632 140733493790064 18446744073709551615 4264427 0 0 4096 8388610 0 0 0 17 5 0 0 0 /proc/5066/statm: 19605 16402 263 29 0 16234 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 78420 [startup+25.5008 s] /proc/loadavg: 4.00 4.00 3.70 6/190 5068 /proc/meminfo: memFree=31276188/32951124 swapFree=67088052/67111528 [pid=5066] ppid=5064 vsize=127740 CPUtime=25.49 cores=5,7 /proc/5066/stat : 5066 (hmuc-a) R 5064 5066 10609 0 -1 4202496 190204 0 0 0 2526 23 0 0 25 0 1 0 872858275 130805760 24606 33554432000 4194304 4311632 140733493790064 18446744073709551615 4282542 0 0 4096 8388610 0 0 0 17 5 0 0 0 /proc/5066/statm: 31935 24606 263 29 0 28564 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 127740 [startup+51.1003 s] /proc/loadavg: 4.00 4.00 3.70 6/190 5078 /proc/meminfo: memFree=30943528/32951124 swapFree=67088052/67111528 [pid=5066] ppid=5064 vsize=78420 CPUtime=51.08 cores=5,7 /proc/5066/stat : 5066 (hmuc-a) R 5064 5066 10609 0 -1 4202496 366689 0 0 0 5067 41 0 0 25 0 1 0 872858275 80302080 16403 33554432000 4194304 4311632 140733493790064 18446744073709551615 4264634 0 0 4096 8388610 0 0 0 17 5 0 0 0 /proc/5066/statm: 19605 16403 263 29 0 16234 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 78420 [startup+102.306 s] /proc/loadavg: 4.00 4.00 3.72 6/190 5079 /proc/meminfo: memFree=30894992/32951124 swapFree=67088052/67111528 [pid=5066] ppid=5064 vsize=78420 CPUtime=102.29 cores=5,7 /proc/5066/stat : 5066 (hmuc-a) R 5064 5066 10609 0 -1 4202496 643788 0 0 0 10155 74 0 0 25 0 1 0 872858275 80302080 16405 33554432000 4194304 4311632 140733493790064 18446744073709551615 4271553 0 0 4096 8388610 0 0 0 17 5 0 0 0 /proc/5066/statm: 19605 16405 263 29 0 16234 0 Current children cumulated CPU time (s) 102.29 Current children cumulated vsize (KiB) 78420 [startup+162.301 s] /proc/loadavg: 4.00 4.00 3.73 6/190 5081 /proc/meminfo: memFree=31224892/32951124 swapFree=67088052/67111528 [pid=5066] ppid=5064 vsize=78420 CPUtime=162.28 cores=5,7 /proc/5066/stat : 5066 (hmuc-a) R 5064 5066 10609 0 -1 4202496 886124 0 0 0 16127 101 0 0 25 0 1 0 872858275 80302080 16405 33554432000 4194304 4311632 140733493790064 18446744073709551615 4271553 0 0 4096 8388610 0 0 0 17 5 0 0 0 /proc/5066/statm: 19605 16405 263 29 0 16234 0 Current children cumulated CPU time (s) 162.28 Current children cumulated vsize (KiB) 78420 [startup+222.3 s] /proc/loadavg: 4.00 4.00 3.74 6/190 5082 /proc/meminfo: memFree=31141360/32951124 swapFree=67088052/67111528 [pid=5066] ppid=5064 vsize=78420 CPUtime=222.28 cores=5,7 /proc/5066/stat : 5066 (hmuc-a) R 5064 5066 10609 0 -1 4202496 1017271 0 0 0 22112 116 0 0 25 0 1 0 872858275 80302080 16405 33554432000 4194304 4311632 140733493790064 18446744073709551615 4264235 0 0 4096 8388610 0 0 0 17 5 0 0 0 /proc/5066/statm: 19605 16405 263 29 0 16234 0 Current children cumulated CPU time (s) 222.28 Current children cumulated vsize (KiB) 78420 [startup+282.301 s] /proc/loadavg: 3.78 3.95 3.74 4/184 5109 /proc/meminfo: memFree=31516548/32951124 swapFree=67088052/67111528 [pid=5066] ppid=5064 vsize=127740 CPUtime=282.29 cores=5,7 /proc/5066/stat : 5066 (hmuc-a) R 5064 5066 10609 0 -1 4202496 1121173 0 0 0 28102 127 0 0 25 0 1 0 872858275 130805760 25291 33554432000 4194304 4311632 140733493790064 18446744073709551615 4273025 0 0 4096 8388610 0 0 0 17 5 0 0 0 /proc/5066/statm: 31935 25292 263 29 0 28564 0 Current children cumulated CPU time (s) 282.29 Current children cumulated vsize (KiB) 127740 [startup+342.3 s] /proc/loadavg: 3.28 3.77 3.69 4/184 5111 /proc/meminfo: memFree=31303208/32951124 swapFree=67088052/67111528 [pid=5066] ppid=5064 vsize=78420 CPUtime=342.29 cores=5,7 /proc/5066/stat : 5066 (hmuc-a) R 5064 5066 10609 0 -1 4202496 1297319 0 0 0 34080 149 0 0 25 0 1 0 872858275 80302080 16405 33554432000 4194304 4311632 140733493790064 18446744073709551615 4264447 0 0 4096 8388610 0 0 0 17 5 0 0 0 /proc/5066/statm: 19605 16405 263 29 0 16234 0 Current children cumulated CPU time (s) 342.29 Current children cumulated vsize (KiB) 78420 [startup+402.301 s] /proc/loadavg: 3.16 3.65 3.65 4/184 5112 /proc/meminfo: memFree=31539764/32951124 swapFree=67088052/67111528 [pid=5066] ppid=5064 vsize=78420 CPUtime=402.28 cores=5,7 /proc/5066/stat : 5066 (hmuc-a) R 5064 5066 10609 0 -1 4202496 1424171 0 0 0 40064 164 0 0 25 0 1 0 872858275 80302080 16405 33554432000 4194304 4311632 140733493790064 18446744073709551615 4264235 0 0 4096 8388610 0 0 0 17 5 0 0 0 /proc/5066/statm: 19605 16405 263 29 0 16234 0 Current children cumulated CPU time (s) 402.28 Current children cumulated vsize (KiB) 78420 [startup+462.301 s] /proc/loadavg: 3.11 3.54 3.61 4/184 5114 /proc/meminfo: memFree=31329552/32951124 swapFree=67088052/67111528 [pid=5066] ppid=5064 vsize=78420 CPUtime=462.29 cores=5,7 /proc/5066/stat : 5066 (hmuc-a) R 5064 5066 10609 0 -1 4202496 1610039 0 0 0 46043 186 0 0 25 0 1 0 872858275 80302080 16408 33554432000 4194304 4311632 140733493790064 18446744073709551615 4271580 0 0 4096 8388610 0 0 0 17 5 0 0 0 /proc/5066/statm: 19605 16408 263 29 0 16234 0 Current children cumulated CPU time (s) 462.29 Current children cumulated vsize (KiB) 78420 [startup+522.301 s] /proc/loadavg: 3.04 3.44 3.57 4/184 5115 /proc/meminfo: memFree=31552092/32951124 swapFree=67088052/67111528 [pid=5066] ppid=5064 vsize=78420 CPUtime=522.28 cores=5,7 /proc/5066/stat : 5066 (hmuc-a) R 5064 5066 10609 0 -1 4202496 1748175 0 0 0 52026 202 0 0 25 0 1 0 872858275 80302080 16408 33554432000 4194304 4311632 140733493790064 18446744073709551615 4264427 0 0 4096 8388610 0 0 0 17 5 0 0 0 /proc/5066/statm: 19605 16408 263 29 0 16234 0 Current children cumulated CPU time (s) 522.28 Current children cumulated vsize (KiB) 78420 [startup+582.301 s] /proc/loadavg: 3.01 3.36 3.53 4/184 5117 /proc/meminfo: memFree=31297232/32951124 swapFree=67088052/67111528 [pid=5066] ppid=5064 vsize=78420 CPUtime=582.29 cores=5,7 /proc/5066/stat : 5066 (hmuc-a) R 5064 5066 10609 0 -1 4202496 1946653 0 0 0 58004 225 0 0 25 0 1 0 872858275 80302080 16408 33554432000 4194304 4311632 140733493790064 18446744073709551615 4264419 0 0 4096 8388610 0 0 0 17 5 0 0 0 /proc/5066/statm: 19605 16408 263 29 0 16234 0 Current children cumulated CPU time (s) 582.29 Current children cumulated vsize (KiB) 78420 [startup+642.3 s] ################ # More data... # ################ [startup+882.3 s] /proc/loadavg: 3.00 3.13 3.38 4/184 5125 /proc/meminfo: memFree=31123540/32951124 swapFree=67088052/67111528 [pid=5066] ppid=5064 vsize=127740 CPUtime=882.29 cores=5,7 /proc/5066/stat : 5066 (hmuc-a) R 5064 5066 10609 0 -1 4202496 2521333 0 0 0 87939 290 0 0 25 0 1 0 872858275 130805760 24877 33554432000 4194304 4311632 140733493790064 18446744073709551615 4264702 0 0 4096 8388610 0 0 0 17 5 0 0 0 /proc/5066/statm: 31935 24877 263 29 0 28564 0 Current children cumulated CPU time (s) 882.29 Current children cumulated vsize (KiB) 127740 [startup+942.301 s] /proc/loadavg: 3.00 3.10 3.35 4/184 5127 /proc/meminfo: memFree=31219216/32951124 swapFree=67088052/67111528 [pid=5066] ppid=5064 vsize=78420 CPUtime=942.29 cores=5,7 /proc/5066/stat : 5066 (hmuc-a) R 5064 5066 10609 0 -1 4202496 2589913 0 0 0 93930 299 0 0 25 0 1 0 872858275 80302080 16408 33554432000 4194304 4311632 140733493790064 18446744073709551615 4271785 0 0 4096 8388610 0 0 0 17 5 0 0 0 /proc/5066/statm: 19605 16408 263 29 0 16234 0 Current children cumulated CPU time (s) 942.29 Current children cumulated vsize (KiB) 78420 [startup+1002.3 s] /proc/loadavg: 3.08 3.10 3.33 4/184 5128 /proc/meminfo: memFree=31413852/32951124 swapFree=67088052/67111528 [pid=5066] ppid=5064 vsize=78420 CPUtime=1002.29 cores=5,7 /proc/5066/stat : 5066 (hmuc-a) R 5064 5066 10609 0 -1 4202496 2663445 0 0 0 99921 308 0 0 25 0 1 0 872858275 80302080 16408 33554432000 4194304 4311632 140733493790064 18446744073709551615 4271538 0 0 4096 8388610 0 0 0 17 5 0 0 0 /proc/5066/statm: 19605 16408 263 29 0 16234 0 Current children cumulated CPU time (s) 1002.29 Current children cumulated vsize (KiB) 78420 [startup+1062.3 s] /proc/loadavg: 3.03 3.08 3.31 4/184 5130 /proc/meminfo: memFree=31162224/32951124 swapFree=67088052/67111528 [pid=5066] ppid=5064 vsize=78420 CPUtime=1062.29 cores=5,7 /proc/5066/stat : 5066 (hmuc-a) R 5064 5066 10609 0 -1 4202496 2719448 0 0 0 105916 313 0 0 25 0 1 0 872858275 80302080 16408 33554432000 4194304 4311632 140733493790064 18446744073709551615 4264676 0 0 4096 8388610 0 0 0 17 5 0 0 0 /proc/5066/statm: 19605 16408 263 29 0 16234 0 Current children cumulated CPU time (s) 1062.29 Current children cumulated vsize (KiB) 78420 [startup+1122.3 s] /proc/loadavg: 3.01 3.06 3.29 4/184 5131 /proc/meminfo: memFree=31412148/32951124 swapFree=67088052/67111528 [pid=5066] ppid=5064 vsize=78420 CPUtime=1122.29 cores=5,7 /proc/5066/stat : 5066 (hmuc-a) R 5064 5066 10609 0 -1 4202496 2768253 0 0 0 111911 318 0 0 25 0 1 0 872858275 80302080 16408 33554432000 4194304 4311632 140733493790064 18446744073709551615 4264235 0 0 4096 8388610 0 0 0 17 5 0 0 0 /proc/5066/statm: 19605 16408 263 29 0 16234 0 Current children cumulated CPU time (s) 1122.29 Current children cumulated vsize (KiB) 78420 [startup+1182.3 s] /proc/loadavg: 3.00 3.05 3.27 4/184 5133 /proc/meminfo: memFree=31294536/32951124 swapFree=67088052/67111528 [pid=5066] ppid=5064 vsize=78420 CPUtime=1182.28 cores=5,7 /proc/5066/stat : 5066 (hmuc-a) R 5064 5066 10609 0 -1 4202496 2809012 0 0 0 117906 322 0 0 25 0 1 0 872858275 80302080 16408 33554432000 4194304 4311632 140733493790064 18446744073709551615 4264427 0 0 4096 8388610 0 0 0 17 5 0 0 0 /proc/5066/statm: 19605 16408 263 29 0 16234 0 Current children cumulated CPU time (s) 1182.28 Current children cumulated vsize (KiB) 78420 [startup+1242.3 s] /proc/loadavg: 3.06 3.05 3.25 4/184 5135 /proc/meminfo: memFree=31423056/32951124 swapFree=67088052/67111528 [pid=5066] ppid=5064 vsize=78420 CPUtime=1242.29 cores=5,7 /proc/5066/stat : 5066 (hmuc-a) R 5064 5066 10609 0 -1 4202496 2817227 0 0 0 123905 324 0 0 25 0 1 0 872858275 80302080 16408 33554432000 4194304 4311632 140733493790064 18446744073709551615 4271928 0 0 4096 8388610 0 0 0 17 5 0 0 0 /proc/5066/statm: 19605 16408 263 29 0 16234 0 Current children cumulated CPU time (s) 1242.29 Current children cumulated vsize (KiB) 78420 [startup+1302.3 s] /proc/loadavg: 3.02 3.04 3.24 4/184 5136 /proc/meminfo: memFree=31226584/32951124 swapFree=67088052/67111528 [pid=5066] ppid=5064 vsize=78420 CPUtime=1302.29 cores=5,7 /proc/5066/stat : 5066 (hmuc-a) R 5064 5066 10609 0 -1 4202496 2824948 0 0 0 129904 325 0 0 25 0 1 0 872858275 80302080 16408 33554432000 4194304 4311632 140733493790064 18446744073709551615 4264685 0 0 4096 8388610 0 0 0 17 5 0 0 0 /proc/5066/statm: 19605 16408 263 29 0 16234 0 Current children cumulated CPU time (s) 1302.29 Current children cumulated vsize (KiB) 78420 [startup+1362.3 s] /proc/loadavg: 3.00 3.03 3.22 4/184 5138 /proc/meminfo: memFree=31300184/32951124 swapFree=67088052/67111528 [pid=5066] ppid=5064 vsize=78420 CPUtime=1362.29 cores=5,7 /proc/5066/stat : 5066 (hmuc-a) R 5064 5066 10609 0 -1 4202496 2840458 0 0 0 135903 326 0 0 25 0 1 0 872858275 80302080 16408 33554432000 4194304 4311632 140733493790064 18446744073709551615 4264427 0 0 4096 8388610 0 0 0 17 5 0 0 0 /proc/5066/statm: 19605 16408 263 29 0 16234 0 Current children cumulated CPU time (s) 1362.29 Current children cumulated vsize (KiB) 78420 [startup+1422.31 s] /proc/loadavg: 2.47 2.88 3.15 3/178 5164 /proc/meminfo: memFree=31620160/32951124 swapFree=67088052/67111528 [pid=5066] ppid=5064 vsize=78420 CPUtime=1422.29 cores=5,7 /proc/5066/stat : 5066 (hmuc-a) R 5064 5066 10609 0 -1 4202496 2840458 0 0 0 141903 326 0 0 25 0 1 0 872858275 80302080 16408 33554432000 4194304 4311632 140733493790064 18446744073709551615 4264447 0 0 4096 8388610 0 0 0 17 5 0 0 0 /proc/5066/statm: 19605 16408 263 29 0 16234 0 Current children cumulated CPU time (s) 1422.29 Current children cumulated vsize (KiB) 78420 [startup+1482.3 s] /proc/loadavg: 2.17 2.72 3.08 3/178 5168 /proc/meminfo: memFree=31586508/32951124 swapFree=67088052/67111528 [pid=5066] ppid=5064 vsize=78420 CPUtime=1482.29 cores=5,7 /proc/5066/stat : 5066 (hmuc-a) R 5064 5066 10609 0 -1 4202496 2840458 0 0 0 147903 326 0 0 25 0 1 0 872858275 80302080 16408 33554432000 4194304 4311632 140733493790064 18446744073709551615 4264427 0 0 4096 8388610 0 0 0 17 5 0 0 0 /proc/5066/statm: 19605 16408 263 29 0 16234 0 Current children cumulated CPU time (s) 1482.29 Current children cumulated vsize (KiB) 78420 [startup+1542.3 s] /proc/loadavg: 2.06 2.58 3.01 3/178 5171 /proc/meminfo: memFree=31570184/32951124 swapFree=67088052/67111528 [pid=5066] ppid=5064 vsize=78420 CPUtime=1542.28 cores=5,7 /proc/5066/stat : 5066 (hmuc-a) R 5064 5066 10609 0 -1 4202496 2840458 0 0 0 153902 326 0 0 25 0 1 0 872858275 80302080 16408 33554432000 4194304 4311632 140733493790064 18446744073709551615 4264437 0 0 4096 8388610 0 0 0 17 5 0 0 0 /proc/5066/statm: 19605 16408 263 29 0 16234 0 Current children cumulated CPU time (s) 1542.28 Current children cumulated vsize (KiB) 78420 [startup+1602.3 s] /proc/loadavg: 2.06 2.49 2.95 3/178 5172 /proc/meminfo: memFree=31586888/32951124 swapFree=67088052/67111528 [pid=5066] ppid=5064 vsize=78420 CPUtime=1602.28 cores=5,7 /proc/5066/stat : 5066 (hmuc-a) R 5064 5066 10609 0 -1 4202496 2840458 0 0 0 159902 326 0 0 25 0 1 0 872858275 80302080 16408 33554432000 4194304 4311632 140733493790064 18446744073709551615 4264447 0 0 4096 8388610 0 0 0 17 5 0 0 0 /proc/5066/statm: 19605 16408 263 29 0 16234 0 Current children cumulated CPU time (s) 1602.28 Current children cumulated vsize (KiB) 78420 [startup+1662.3 s] /proc/loadavg: 2.02 2.40 2.89 3/178 5174 /proc/meminfo: memFree=31620716/32951124 swapFree=67088052/67111528 [pid=5066] ppid=5064 vsize=78420 CPUtime=1662.28 cores=5,7 /proc/5066/stat : 5066 (hmuc-a) R 5064 5066 10609 0 -1 4202496 2840458 0 0 0 165902 326 0 0 25 0 1 0 872858275 80302080 16408 33554432000 4194304 4311632 140733493790064 18446744073709551615 4264210 0 0 4096 8388610 0 0 0 17 5 0 0 0 /proc/5066/statm: 19605 16408 263 29 0 16234 0 Current children cumulated CPU time (s) 1662.28 Current children cumulated vsize (KiB) 78420 [startup+1722.3 s] /proc/loadavg: 2.01 2.32 2.83 3/178 5175 /proc/meminfo: memFree=31588680/32951124 swapFree=67088052/67111528 [pid=5066] ppid=5064 vsize=78420 CPUtime=1722.28 cores=5,7 /proc/5066/stat : 5066 (hmuc-a) R 5064 5066 10609 0 -1 4202496 2840458 0 0 0 171902 326 0 0 25 0 1 0 872858275 80302080 16408 33554432000 4194304 4311632 140733493790064 18446744073709551615 4264183 0 0 4096 8388610 0 0 0 17 5 0 0 0 /proc/5066/statm: 19605 16408 263 29 0 16234 0 Current children cumulated CPU time (s) 1722.28 Current children cumulated vsize (KiB) 78420 [startup+1782.3 s] /proc/loadavg: 2.00 2.26 2.77 3/178 5177 /proc/meminfo: memFree=31581472/32951124 swapFree=67088052/67111528 [pid=5066] ppid=5064 vsize=78420 CPUtime=1782.28 cores=5,7 /proc/5066/stat : 5066 (hmuc-a) R 5064 5066 10609 0 -1 4202496 2840458 0 0 0 177902 326 0 0 25 0 1 0 872858275 80302080 16408 33554432000 4194304 4311632 140733493790064 18446744073709551615 4264447 0 0 4096 8388610 0 0 0 17 5 0 0 0 /proc/5066/statm: 19605 16408 263 29 0 16234 0 Current children cumulated CPU time (s) 1782.28 Current children cumulated vsize (KiB) 78420 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.1 s] /proc/loadavg: 2.00 2.24 2.76 2/176 5178 /proc/meminfo: memFree=31674224/32951124 swapFree=67088052/67111528 [pid=5066] ppid=5064 vsize=78420 CPUtime=1800.08 cores=5,7 /proc/5066/stat : 5066 (hmuc-a) R 5064 5066 10609 0 -1 4202496 2840458 0 0 0 179682 326 0 0 25 0 1 0 872858275 80302080 16408 33554432000 4194304 4311632 140733493790064 18446744073709551615 4273018 0 0 4096 8388610 0 0 0 17 5 0 0 0 /proc/5066/statm: 19605 16408 263 29 0 16234 0 Current children cumulated CPU time (s) 1800.08 Current children cumulated vsize (KiB) 78420 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.1 s] /proc/loadavg: 2.00 2.24 2.76 2/176 5178 /proc/meminfo: memFree=31674224/32951124 swapFree=67088052/67111528 [pid=5066] ppid=5064 vsize=78420 CPUtime=1800.08 cores=5,7 /proc/5066/stat : 5066 (hmuc-a) R 5064 5066 10609 0 -1 4202496 2840458 0 0 0 179682 326 0 0 25 0 1 0 872858275 80302080 16408 33554432000 4194304 4311632 140733493790064 18446744073709551615 4273018 0 0 4096 8388610 0 0 0 17 5 0 0 0 /proc/5066/statm: 19605 16408 263 29 0 16234 0 Current children cumulated CPU time (s) 1800.08 Current children cumulated vsize (KiB) 78420 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.11 CPU time (s): 1800.09 CPU user time (s): 1796.82 CPU system time (s): 3.2695 CPU usage (%): 99.9992 Max. virtual memory (cumulated for all children) (KiB): 127740 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1796.82 system time used= 3.2695 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 2840458 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= 5 involuntary context switches= 2893 runsolver used 2.84057 second user time and 6.62599 second system time The end
Begin job on node144 at 2011-06-11 17:00:21 IDJOB=3493871 IDBENCH=88074 IDSOLVER=1983 FILE ID=node144/3493871-1307804421 RUNJOBID= node144-1307802619-4543 PBS_JOBID= 13551004 Free space on /tmp= 74004 MiB SOLVER NAME= Haifa-MUC-A 2011-04-07 BENCH NAME= SAT02/industrial/biere/dinphil/dp08u07.shuffled.cnf COMMAND LINE= HOME/hmuc-a BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3493871-1307804421/watcher-3493871-1307804421 -o /tmp/evaluation-result-3493871-1307804421/solver-3493871-1307804421 -C 1800 -W 1850 -M 7680 HOME/hmuc-a HOME/instance-3493871-1307804421.cnf TIME LIMIT= 1800 seconds MEMORY LIMIT= 7680 MiB NBCORE= 2 MD5SUM BENCH= ef6166b8ccba4e6def7a25a397686e54 RANDOM SEED=1886010793 node144.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.850 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5333.70 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.850 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5226.16 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.850 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.850 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.850 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.850 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.850 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.850 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.76 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 31215224 kB Buffers: 196852 kB Cached: 818912 kB SwapCached: 1652 kB Active: 940760 kB Inactive: 621416 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 31215224 kB SwapTotal: 67111528 kB SwapFree: 67088052 kB Dirty: 1620 kB Writeback: 0 kB AnonPages: 544332 kB Mapped: 14332 kB Slab: 107628 kB PageTables: 5996 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 908376 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= 74028 MiB End job on node144 at 2011-06-11 17:30:24