| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| Haifa-MUC-A 2011-04-07 | ? (TO) | 1800.04 | 1800.01 |
| Name | APPLICATIONS/ bitverif/minand/minand064.cnf |
| MD5SUM | bf7b492ab6e18ae58155d14517070d60 |
| Bench Category | APPLICATION (applications instances) |
| Best result obtained on this benchmark | UNSAT |
| Best CPU time to get the best result obtained on this benchmark | 1105.69 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 14703 |
| Number of clauses | 42956 |
| Sum of the clauses size | 100228 |
| Maximum clause length | 3 |
| Minimum clause length | 1 |
| Number of clauses of size 1 | 2 |
| Number of clauses of size 2 | 28636 |
| Number of clauses of size 3 | 14318 |
| Number of clauses of size 4 | 0 |
| Number of clauses of size 5 | 0 |
| Number of clauses of size over 5 | 0 |
422.00/422.07 c WARNING: for repeatability, setting FPU to use double precision 422.00/422.07 c iter 1 time 107.815 not-muc 7402 unknown 35554 muc 0 422.00/422.07 c iter 2 time 109.588 not-muc 7402 unknown 35553 muc 1 422.00/422.07 c iter 3 time 109.599 not-muc 7402 unknown 35552 muc 2 422.00/422.07 c iter 4 time 170.704 not-muc 9491 unknown 33463 muc 2 422.00/422.07 c iter 5 time 235.058 not-muc 11707 unknown 31247 muc 2 422.00/422.07 c iter 6 time 235.184 not-muc 11707 unknown 31246 muc 3 422.00/422.07 c iter 7 time 236.774 not-muc 11707 unknown 31245 muc 4 422.00/422.07 c iter 8 time 236.791 not-muc 11707 unknown 31244 muc 5 422.00/422.07 c iter 9 time 237.667 not-muc 11707 unknown 31243 muc 6 422.00/422.07 c iter 10 time 237.684 not-muc 11707 unknown 31242 muc 7 422.00/422.07 c iter 11 time 237.694 not-muc 11707 unknown 31241 muc 8 422.00/422.07 c iter 12 time 237.703 not-muc 11707 unknown 31240 muc 9 422.00/422.07 c iter 13 time 237.712 not-muc 11707 unknown 31239 muc 10 422.00/422.07 c iter 14 time 237.721 not-muc 11707 unknown 31238 muc 11 422.00/422.07 c iter 15 time 237.73 not-muc 11707 unknown 31237 muc 12 422.00/422.07 c iter 16 time 237.739 not-muc 11707 unknown 31236 muc 13 422.00/422.07 c iter 17 time 237.747 not-muc 11707 unknown 31235 muc 14 422.00/422.07 c iter 18 time 237.756 not-muc 11707 unknown 31234 muc 15 422.00/422.07 c iter 19 time 237.765 not-muc 11707 unknown 31233 muc 16 422.00/422.07 c iter 20 time 237.773 not-muc 11707 unknown 31232 muc 17 422.00/422.07 c iter 21 time 237.782 not-muc 11707 unknown 31231 muc 18 422.00/422.07 c iter 22 time 237.791 not-muc 11707 unknown 31230 muc 19 422.00/422.07 c iter 23 time 272.229 not-muc 13334 unknown 29603 muc 19 422.00/422.07 c iter 24 time 272.255 not-muc 13334 unknown 29602 muc 20 422.00/422.07 c iter 25 time 351.283 not-muc 13969 unknown 28967 muc 20 422.00/422.07 c iter 26 time 351.406 not-muc 13969 unknown 28966 muc 21 422.00/422.07 c iter 27 time 407.09 not-muc 14284 unknown 28651 muc 21 422.00/422.07 c iter 28 time 407.798 not-muc 14284 unknown 28650 muc 22 422.00/422.07 c iter 29 time 407.813 not-muc 14284 unknown 28649 muc 23 422.00/422.07 c iter 30 time 408.174 not-muc 14284 unknown 28648 muc 24 422.00/422.07 c iter 31 time 408.318 not-muc 14284 unknown 28647 muc 25 422.00/422.07 c iter 32 time 409.004 not-muc 14284 unknown 28646 muc 26 422.00/422.07 c iter 33 time 409.255 not-muc 14284 unknown 28645 muc 27 422.00/422.07 c iter 34 time 410.038 not-muc 14284 unknown 28644 muc 28 422.00/422.07 c iter 35 time 410.047 not-muc 14284 unknown 28643 muc 29 422.00/422.07 c iter 36 time 410.372 not-muc 14284 unknown 28642 muc 30 422.00/422.07 c iter 37 time 410.383 not-muc 14284 unknown 28641 muc 31 422.00/422.07 c iter 38 time 410.561 not-muc 14284 unknown 28640 muc 32 422.00/422.07 c iter 39 time 410.701 not-muc 14284 unknown 28639 muc 33 422.00/422.07 c iter 40 time 410.838 not-muc 14284 unknown 28638 muc 34 422.00/422.07 c iter 41 time 410.849 not-muc 14284 unknown 28637 muc 35 422.00/422.07 c iter 42 time 410.863 not-muc 14284 unknown 28636 muc 36 422.00/422.07 c iter 43 time 410.875 not-muc 14284 unknown 28635 muc 37 422.00/422.07 c iter 44 time 410.89 not-muc 14284 unknown 28634 muc 38 422.00/422.07 c iter 45 time 410.902 not-muc 14284 unknown 28633 muc 39 422.00/422.07 c iter 46 time 410.919 not-muc 14284 unknown 28632 muc 40 422.00/422.07 c iter 47 time 410.932 not-muc 14284 unknown 28631 muc 41 422.00/422.07 c iter 48 time 411.001 not-muc 14284 unknown 28630 muc 42 422.00/422.07 c iter 49 time 411.08 not-muc 14284 unknown 28629 muc 43 422.00/422.07 c iter 50 time 411.551 not-muc 14284 unknown 28628 muc 44 422.00/422.07 c iter 51 time 411.565 not-muc 14284 unknown 28627 muc 45 422.00/422.07 c iter 52 time 412.525 not-muc 14284 unknown 28626 muc 46 422.00/422.07 c iter 53 time 412.546 not-muc 14284 unknown 28625 muc 47 422.00/422.07 c iter 54 time 414.173 not-muc 14284 unknown 28624 muc 48 422.00/422.07 c iter 55 time 414.397 not-muc 14284 unknown 28623 muc 49 422.00/422.07 c iter 56 time 414.987 not-muc 14284 unknown 28622 muc 50 422.00/422.07 c iter 57 time 415.092 not-muc 14284 unknown 28621 muc 51 422.00/422.07 c iter 58 time 415.799 not-muc 14284 unknown 28620 muc 52 422.00/422.07 c iter 59 time 415.819 not-muc 14284 unknown 28619 muc 53 422.00/422.07 c iter 60 time 415.827 not-muc 14284 unknown 28618 muc 54 422.00/422.07 c iter 61 time 415.836 not-muc 14284 unknown 28617 muc 55 422.00/422.07 c iter 62 time 415.844 not-muc 14284 unknown 28616 muc 56 422.00/422.07 c iter 63 time 415.852 not-muc 14284 unknown 28615 muc 57 422.00/422.07 c iter 64 time 415.86 not-muc 14284 unknown 28614 muc 58 422.00/422.07 c iter 65 time 415.869 not-muc 14284 unknown 28613 muc 59 422.00/422.07 c iter 66 time 415.877 not-muc 14284 unknown 28612 muc 60 422.00/422.07 c iter 67 time 415.885 not-muc 14284 unknown 28611 muc 61 422.00/422.07 c iter 68 time 417.277 not-muc 14284 unknown 28610 muc 62 422.00/422.07 c iter 69 time 417.288 not-muc 14284 unknown 28609 muc 63 422.00/422.07 c iter 70 time 417.438 not-muc 14284 unknown 28608 muc 64 425.30/425.34 c iter 71 time 417.448 not-muc 14284 unknown 28607 muc 65 425.30/425.34 c iter 72 time 417.846 not-muc 14284 unknown 28606 muc 66 425.30/425.34 c iter 73 time 417.862 not-muc 14284 unknown 28605 muc 67 425.30/425.34 c iter 74 time 418.943 not-muc 14284 unknown 28604 muc 68 425.30/425.34 c iter 75 time 418.963 not-muc 14284 unknown 28603 muc 69 425.30/425.34 c iter 76 time 418.971 not-muc 14284 unknown 28602 muc 70 425.30/425.34 c iter 77 time 418.981 not-muc 14284 unknown 28601 muc 71 425.30/425.34 c iter 78 time 419.441 not-muc 14284 unknown 28600 muc 72 425.30/425.34 c iter 79 time 419.451 not-muc 14284 unknown 28599 muc 73 425.30/425.34 c iter 80 time 419.46 not-muc 14284 unknown 28598 muc 74 425.30/425.34 c iter 81 time 419.469 not-muc 14284 unknown 28597 muc 75 425.30/425.34 c iter 82 time 419.478 not-muc 14284 unknown 28596 muc 76 425.30/425.34 c iter 83 time 419.487 not-muc 14284 unknown 28595 muc 77 425.30/425.34 c iter 84 time 419.496 not-muc 14284 unknown 28594 muc 78 425.30/425.34 c iter 85 time 419.504 not-muc 14284 unknown 28593 muc 79 425.30/425.34 c iter 86 time 419.513 not-muc 14284 unknown 28592 muc 80 425.30/425.34 c iter 87 time 419.522 not-muc 14284 unknown 28591 muc 81 425.30/425.34 c iter 88 time 419.531 not-muc 14284 unknown 28590 muc 82 425.30/425.34 c iter 89 time 419.54 not-muc 14284 unknown 28589 muc 83 425.30/425.34 c iter 90 time 419.697 not-muc 14284 unknown 28588 muc 84 425.30/425.34 c iter 91 time 419.705 not-muc 14284 unknown 28587 muc 85 425.30/425.34 c iter 92 time 419.714 not-muc 14284 unknown 28586 muc 86 425.30/425.34 c iter 93 time 419.723 not-muc 14284 unknown 28585 muc 87 425.30/425.34 c iter 94 time 419.732 not-muc 14284 unknown 28584 muc 88 425.30/425.34 c iter 95 time 419.741 not-muc 14284 unknown 28583 muc 89 425.30/425.34 c iter 96 time 419.751 not-muc 14284 unknown 28582 muc 90 425.30/425.34 c iter 97 time 419.76 not-muc 14284 unknown 28581 muc 91 425.30/425.34 c iter 98 time 419.77 not-muc 14284 unknown 28580 muc 92 425.30/425.34 c iter 99 time 419.779 not-muc 14284 unknown 28579 muc 93 425.30/425.34 c iter 100 time 419.788 not-muc 14284 unknown 28578 muc 94 425.30/425.34 c iter 101 time 419.798 not-muc 14284 unknown 28577 muc 95 425.30/425.34 c iter 102 time 419.807 not-muc 14284 unknown 28576 muc 96 425.30/425.34 c iter 103 time 419.817 not-muc 14284 unknown 28575 muc 97 425.30/425.34 c iter 104 time 419.828 not-muc 14284 unknown 28574 muc 98 425.30/425.34 c iter 105 time 419.838 not-muc 14284 unknown 28573 muc 99 425.30/425.34 c iter 106 time 419.848 not-muc 14284 unknown 28572 muc 100 425.30/425.34 c iter 107 time 419.858 not-muc 14284 unknown 28571 muc 101 425.30/425.34 c iter 108 time 419.869 not-muc 14284 unknown 28570 muc 102 425.30/425.34 c iter 109 time 419.879 not-muc 14284 unknown 28569 muc 103 425.30/425.34 c iter 110 time 419.89 not-muc 14284 unknown 28568 muc 104 425.30/425.34 c iter 111 time 419.9 not-muc 14284 unknown 28567 muc 105 425.30/425.34 c iter 112 time 419.912 not-muc 14284 unknown 28566 muc 106 425.30/425.34 c iter 113 time 419.923 not-muc 14284 unknown 28565 muc 107 425.30/425.34 c iter 114 time 419.935 not-muc 14284 unknown 28564 muc 108 425.30/425.34 c iter 115 time 419.947 not-muc 14284 unknown 28563 muc 109 425.30/425.34 c iter 116 time 419.96 not-muc 14284 unknown 28562 muc 110 425.30/425.34 c iter 117 time 419.972 not-muc 14284 unknown 28561 muc 111 425.30/425.34 c iter 118 time 419.983 not-muc 14284 unknown 28560 muc 112 425.30/425.34 c iter 119 time 419.993 not-muc 14284 unknown 28559 muc 113 425.30/425.34 c iter 120 time 420.005 not-muc 14284 unknown 28558 muc 114 425.30/425.34 c iter 121 time 420.015 not-muc 14284 unknown 28557 muc 115 425.30/425.34 c iter 122 time 420.026 not-muc 14284 unknown 28556 muc 116 425.30/425.34 c iter 123 time 420.036 not-muc 14284 unknown 28555 muc 117 425.30/425.34 c iter 124 time 420.048 not-muc 14284 unknown 28554 muc 118 425.30/425.34 c iter 125 time 420.059 not-muc 14284 unknown 28553 muc 119 425.30/425.34 c iter 126 time 420.071 not-muc 14284 unknown 28552 muc 120 425.30/425.34 c iter 127 time 420.081 not-muc 14284 unknown 28551 muc 121 425.30/425.34 c iter 128 time 420.093 not-muc 14284 unknown 28550 muc 122 425.30/425.34 c iter 129 time 420.103 not-muc 14284 unknown 28549 muc 123 425.30/425.34 c iter 130 time 420.115 not-muc 14284 unknown 28548 muc 124 425.30/425.34 c iter 131 time 420.126 not-muc 14284 unknown 28547 muc 125 425.30/425.34 c iter 132 time 420.138 not-muc 14284 unknown 28546 muc 126 425.30/425.34 c iter 133 time 420.15 not-muc 14284 unknown 28545 muc 127 425.30/425.34 c iter 134 time 420.164 not-muc 14284 unknown 28544 muc 128 425.30/425.34 c iter 135 time 420.176 not-muc 14284 unknown 28543 muc 129 425.30/425.34 c iter 136 time 420.226 not-muc 14284 unknown 28542 muc 130 425.30/425.34 c iter 137 time 420.534 not-muc 14284 unknown 28541 muc 131 425.30/425.34 c iter 138 time 420.661 not-muc 14284 unknown 28540 muc 132 425.30/425.34 c iter 139 time 420.671 not-muc 14284 unknown 28539 muc 133 425.30/425.34 c iter 140 time 420.694 not-muc 14284 unknown 28538 muc 134 427.50/427.54 c iter 141 time 420.705 not-muc 14284 unknown 28537 muc 135 427.50/427.54 c iter 142 time 421.08 not-muc 14284 unknown 28536 muc 136 427.50/427.54 c iter 143 time 421.132 not-muc 14284 unknown 28535 muc 137 427.50/427.54 c iter 144 time 421.16 not-muc 14284 unknown 28534 muc 138 427.50/427.54 c iter 145 time 421.319 not-muc 14284 unknown 28533 muc 139 427.50/427.54 c iter 146 time 421.343 not-muc 14284 unknown 28532 muc 140 427.50/427.54 c iter 147 time 421.353 not-muc 14284 unknown 28531 muc 141 427.50/427.54 c iter 148 time 421.366 not-muc 14284 unknown 28530 muc 142 427.50/427.54 c iter 149 time 421.376 not-muc 14284 unknown 28529 muc 143 427.50/427.54 c iter 150 time 421.41 not-muc 14284 unknown 28528 muc 144 427.50/427.54 c iter 151 time 421.42 not-muc 14284 unknown 28527 muc 145 427.50/427.54 c iter 152 time 421.649 not-muc 14284 unknown 28526 muc 146 427.50/427.54 c iter 153 time 421.66 not-muc 14284 unknown 28525 muc 147 427.50/427.54 c iter 154 time 421.705 not-muc 14284 unknown 28524 muc 148 427.50/427.54 c iter 155 time 421.716 not-muc 14284 unknown 28523 muc 149 427.50/427.54 c iter 156 time 421.783 not-muc 14284 unknown 28522 muc 150 427.50/427.54 c iter 157 time 421.803 not-muc 14284 unknown 28521 muc 151 427.50/427.54 c iter 158 time 421.976 not-muc 14284 unknown 28520 muc 152 427.50/427.54 c iter 159 time 421.987 not-muc 14284 unknown 28519 muc 153 427.50/427.54 c iter 160 time 422.002 not-muc 14284 unknown 28518 muc 154 427.50/427.54 c iter 161 time 422.012 not-muc 14284 unknown 28517 muc 155 427.50/427.54 c iter 162 time 422.023 not-muc 14284 unknown 28516 muc 156 427.50/427.54 c iter 163 time 422.033 not-muc 14284 unknown 28515 muc 157 427.50/427.54 c iter 164 time 422.044 not-muc 14284 unknown 28514 muc 158 427.50/427.54 c iter 165 time 422.055 not-muc 14284 unknown 28513 muc 159 427.50/427.54 c iter 166 time 422.069 not-muc 14284 unknown 28512 muc 160 427.50/427.54 c iter 167 time 422.079 not-muc 14284 unknown 28511 muc 161 427.50/427.54 c iter 168 time 422.092 not-muc 14284 unknown 28510 muc 162 427.50/427.54 c iter 169 time 422.102 not-muc 14284 unknown 28509 muc 163 427.50/427.54 c iter 170 time 422.122 not-muc 14284 unknown 28508 muc 164 427.50/427.54 c iter 171 time 422.133 not-muc 14284 unknown 28507 muc 165 427.50/427.54 c iter 172 time 422.147 not-muc 14284 unknown 28506 muc 166 427.50/427.54 c iter 173 time 422.157 not-muc 14284 unknown 28505 muc 167 427.50/427.54 c iter 174 time 422.17 not-muc 14284 unknown 28504 muc 168 427.50/427.54 c iter 175 time 422.181 not-muc 14284 unknown 28503 muc 169 427.50/427.54 c iter 176 time 422.197 not-muc 14284 unknown 28502 muc 170 427.50/427.54 c iter 177 time 422.208 not-muc 14284 unknown 28501 muc 171 427.50/427.54 c iter 178 time 422.222 not-muc 14284 unknown 28500 muc 172 427.50/427.54 c iter 179 time 422.235 not-muc 14284 unknown 28499 muc 173 427.50/427.54 c iter 180 time 422.445 not-muc 14284 unknown 28498 muc 174 427.50/427.54 c iter 181 time 422.457 not-muc 14284 unknown 28497 muc 175 427.50/427.54 c iter 182 time 422.47 not-muc 14284 unknown 28496 muc 176 427.50/427.54 c iter 183 time 422.48 not-muc 14284 unknown 28495 muc 177 427.50/427.54 c iter 184 time 422.492 not-muc 14284 unknown 28494 muc 178 427.50/427.54 c iter 185 time 422.502 not-muc 14284 unknown 28493 muc 179 427.50/427.54 c iter 186 time 422.514 not-muc 14284 unknown 28492 muc 180 427.50/427.54 c iter 187 time 422.524 not-muc 14284 unknown 28491 muc 181 427.50/427.54 c iter 188 time 422.538 not-muc 14284 unknown 28490 muc 182 427.50/427.54 c iter 189 time 422.549 not-muc 14284 unknown 28489 muc 183 427.50/427.54 c iter 190 time 422.563 not-muc 14284 unknown 28488 muc 184 427.50/427.54 c iter 191 time 422.574 not-muc 14284 unknown 28487 muc 185 427.50/427.54 c iter 192 time 422.589 not-muc 14284 unknown 28486 muc 186 427.50/427.54 c iter 193 time 422.602 not-muc 14284 unknown 28485 muc 187 427.50/427.54 c iter 194 time 422.621 not-muc 14284 unknown 28484 muc 188 427.50/427.54 c iter 195 time 422.634 not-muc 14284 unknown 28483 muc 189 427.50/427.54 c iter 196 time 422.654 not-muc 14284 unknown 28482 muc 190 427.50/427.54 c iter 197 time 422.667 not-muc 14284 unknown 28481 muc 191 427.50/427.54 c iter 198 time 422.686 not-muc 14284 unknown 28480 muc 192 427.50/427.54 c iter 199 time 422.701 not-muc 14284 unknown 28479 muc 193 427.50/427.54 c iter 200 time 422.723 not-muc 14284 unknown 28478 muc 194 427.50/427.54 c iter 201 time 422.737 not-muc 14284 unknown 28477 muc 195 427.50/427.54 c iter 202 time 422.76 not-muc 14284 unknown 28476 muc 196 427.50/427.54 c iter 203 time 422.774 not-muc 14284 unknown 28475 muc 197 427.50/427.54 c iter 204 time 422.799 not-muc 14284 unknown 28474 muc 198 427.50/427.54 c iter 205 time 422.813 not-muc 14284 unknown 28473 muc 199 427.50/427.54 c iter 206 time 422.839 not-muc 14284 unknown 28472 muc 200 427.50/427.54 c iter 207 time 422.854 not-muc 14284 unknown 28471 muc 201 427.50/427.54 c iter 208 time 422.881 not-muc 14284 unknown 28470 muc 202 604.81/604.87 c iter 209 time 422.902 not-muc 14284 unknown 28469 muc 203 604.81/604.87 c iter 210 time 422.929 not-muc 14284 unknown 28468 muc 204 604.81/604.87 c iter 211 time 422.95 not-muc 14284 unknown 28467 muc 205 604.81/604.87 c iter 212 time 422.977 not-muc 14284 unknown 28466 muc 206 604.81/604.87 c iter 213 time 422.997 not-muc 14284 unknown 28465 muc 207 604.81/604.87 c iter 214 time 423.029 not-muc 14284 unknown 28464 muc 208 604.81/604.87 c iter 215 time 423.049 not-muc 14284 unknown 28463 muc 209 604.81/604.87 c iter 216 time 423.079 not-muc 14284 unknown 28462 muc 210 604.81/604.87 c iter 217 time 423.108 not-muc 14284 unknown 28461 muc 211 604.81/604.87 c iter 218 time 423.141 not-muc 14284 unknown 28460 muc 212 604.81/604.87 c iter 219 time 423.169 not-muc 14284 unknown 28459 muc 213 604.81/604.87 c iter 220 time 423.201 not-muc 14284 unknown 28458 muc 214 604.81/604.87 c iter 221 time 423.228 not-muc 14284 unknown 28457 muc 215 604.81/604.87 c iter 222 time 423.26 not-muc 14284 unknown 28456 muc 216 604.81/604.87 c iter 223 time 423.288 not-muc 14284 unknown 28455 muc 217 604.81/604.87 c iter 224 time 423.322 not-muc 14284 unknown 28454 muc 218 604.81/604.87 c iter 225 time 423.354 not-muc 14284 unknown 28453 muc 219 604.81/604.87 c iter 226 time 423.386 not-muc 14284 unknown 28452 muc 220 604.81/604.87 c iter 227 time 423.419 not-muc 14284 unknown 28451 muc 221 604.81/604.87 c iter 228 time 423.452 not-muc 14284 unknown 28450 muc 222 604.81/604.87 c iter 229 time 423.486 not-muc 14284 unknown 28449 muc 223 604.81/604.87 c iter 230 time 423.523 not-muc 14284 unknown 28448 muc 224 604.81/604.87 c iter 231 time 423.561 not-muc 14284 unknown 28447 muc 225 604.81/604.87 c iter 232 time 423.6 not-muc 14284 unknown 28446 muc 226 604.81/604.87 c iter 233 time 423.639 not-muc 14284 unknown 28445 muc 227 604.81/604.87 c iter 234 time 423.678 not-muc 14284 unknown 28444 muc 228 604.81/604.87 c iter 235 time 423.717 not-muc 14284 unknown 28443 muc 229 604.81/604.87 c iter 236 time 423.84 not-muc 14284 unknown 28442 muc 230 604.81/604.87 c iter 237 time 423.894 not-muc 14284 unknown 28441 muc 231 604.81/604.87 c iter 238 time 424.549 not-muc 14284 unknown 28440 muc 232 604.81/604.87 c iter 239 time 424.604 not-muc 14284 unknown 28439 muc 233 604.81/604.87 c iter 240 time 424.651 not-muc 14284 unknown 28438 muc 234 604.81/604.87 c iter 241 time 424.74 not-muc 14284 unknown 28437 muc 235 604.81/604.87 c iter 242 time 424.783 not-muc 14284 unknown 28436 muc 236 604.81/604.87 c iter 243 time 425.292 not-muc 14284 unknown 28435 muc 237 604.81/604.87 c iter 244 time 425.488 not-muc 14284 unknown 28434 muc 238 604.81/604.87 c iter 245 time 522.6 not-muc 14934 unknown 27784 muc 238 604.81/604.87 c iter 246 time 592.524 not-muc 15284 unknown 27434 muc 238 604.81/604.87 c iter 247 time 592.842 not-muc 15284 unknown 27433 muc 239 604.81/604.87 c iter 248 time 592.851 not-muc 15284 unknown 27432 muc 240 604.81/604.87 c iter 249 time 592.86 not-muc 15284 unknown 27431 muc 241 604.81/604.87 c iter 250 time 593.357 not-muc 15284 unknown 27430 muc 242 604.81/604.87 c iter 251 time 593.802 not-muc 15284 unknown 27429 muc 243 604.81/604.87 c iter 252 time 593.81 not-muc 15284 unknown 27428 muc 244 604.81/604.87 c iter 253 time 596.062 not-muc 15284 unknown 27427 muc 245 604.81/604.87 c iter 254 time 596.079 not-muc 15284 unknown 27426 muc 246 604.81/604.87 c iter 255 time 596.087 not-muc 15284 unknown 27425 muc 247 604.81/604.87 c iter 256 time 596.096 not-muc 15284 unknown 27424 muc 248 604.81/604.87 c iter 257 time 596.111 not-muc 15284 unknown 27423 muc 249 604.81/604.87 c iter 258 time 596.12 not-muc 15284 unknown 27422 muc 250 604.81/604.87 c iter 259 time 596.128 not-muc 15284 unknown 27421 muc 251 604.81/604.87 c iter 260 time 596.248 not-muc 15284 unknown 27420 muc 252 604.81/604.87 c iter 261 time 596.256 not-muc 15284 unknown 27419 muc 253 604.81/604.87 c iter 262 time 596.284 not-muc 15284 unknown 27418 muc 254 604.81/604.87 c iter 263 time 596.294 not-muc 15284 unknown 27417 muc 255 604.81/604.87 c iter 264 time 596.302 not-muc 15284 unknown 27416 muc 256 604.81/604.87 c iter 265 time 596.311 not-muc 15284 unknown 27415 muc 257 604.81/604.87 c iter 266 time 596.319 not-muc 15284 unknown 27414 muc 258 604.81/604.87 c iter 267 time 596.328 not-muc 15284 unknown 27413 muc 259 604.81/604.87 c iter 268 time 596.337 not-muc 15284 unknown 27412 muc 260 604.81/604.87 c iter 269 time 596.345 not-muc 15284 unknown 27411 muc 261 604.81/604.87 c iter 270 time 596.354 not-muc 15284 unknown 27410 muc 262 604.81/604.87 c iter 271 time 596.362 not-muc 15284 unknown 27409 muc 263 604.81/604.87 c iter 272 time 596.854 not-muc 15284 unknown 27408 muc 264 604.81/604.87 c iter 273 time 596.865 not-muc 15284 unknown 27407 muc 265 604.81/604.87 c iter 274 time 598.231 not-muc 15284 unknown 27406 muc 266 604.81/604.87 c iter 275 time 598.259 not-muc 15284 unknown 27405 muc 267 604.81/604.87 c iter 276 time 598.267 not-muc 15284 unknown 27404 muc 268 604.81/604.87 c iter 277 time 598.37 not-muc 15284 unknown 27403 muc 269 607.21/607.22 c iter 278 time 598.378 not-muc 15284 unknown 27402 muc 270 607.21/607.22 c iter 279 time 598.386 not-muc 15284 unknown 27401 muc 271 607.21/607.22 c iter 280 time 598.394 not-muc 15284 unknown 27400 muc 272 607.21/607.22 c iter 281 time 598.402 not-muc 15284 unknown 27399 muc 273 607.21/607.22 c iter 282 time 598.409 not-muc 15284 unknown 27398 muc 274 607.21/607.22 c iter 283 time 598.417 not-muc 15284 unknown 27397 muc 275 607.21/607.22 c iter 284 time 598.425 not-muc 15284 unknown 27396 muc 276 607.21/607.22 c iter 285 time 598.433 not-muc 15284 unknown 27395 muc 277 607.21/607.22 c iter 286 time 598.441 not-muc 15284 unknown 27394 muc 278 607.21/607.22 c iter 287 time 598.449 not-muc 15284 unknown 27393 muc 279 607.21/607.22 c iter 288 time 598.456 not-muc 15284 unknown 27392 muc 280 607.21/607.22 c iter 289 time 598.464 not-muc 15284 unknown 27391 muc 281 607.21/607.22 c iter 290 time 598.472 not-muc 15284 unknown 27390 muc 282 607.21/607.22 c iter 291 time 598.48 not-muc 15284 unknown 27389 muc 283 607.21/607.22 c iter 292 time 598.487 not-muc 15284 unknown 27388 muc 284 607.21/607.22 c iter 293 time 598.495 not-muc 15284 unknown 27387 muc 285 607.21/607.22 c iter 294 time 598.503 not-muc 15284 unknown 27386 muc 286 607.21/607.22 c iter 295 time 598.511 not-muc 15284 unknown 27385 muc 287 607.21/607.22 c iter 296 time 598.518 not-muc 15284 unknown 27384 muc 288 607.21/607.22 c iter 297 time 598.526 not-muc 15284 unknown 27383 muc 289 607.21/607.22 c iter 298 time 598.535 not-muc 15284 unknown 27382 muc 290 607.21/607.22 c iter 299 time 598.543 not-muc 15284 unknown 27381 muc 291 607.21/607.22 c iter 300 time 598.551 not-muc 15284 unknown 27380 muc 292 607.21/607.22 c iter 301 time 598.558 not-muc 15284 unknown 27379 muc 293 607.21/607.22 c iter 302 time 598.566 not-muc 15284 unknown 27378 muc 294 607.21/607.22 c iter 303 time 598.574 not-muc 15284 unknown 27377 muc 295 607.21/607.22 c iter 304 time 598.582 not-muc 15284 unknown 27376 muc 296 607.21/607.22 c iter 305 time 598.589 not-muc 15284 unknown 27375 muc 297 607.21/607.22 c iter 306 time 598.597 not-muc 15284 unknown 27374 muc 298 607.21/607.22 c iter 307 time 598.605 not-muc 15284 unknown 27373 muc 299 607.21/607.22 c iter 308 time 598.613 not-muc 15284 unknown 27372 muc 300 607.21/607.22 c iter 309 time 598.62 not-muc 15284 unknown 27371 muc 301 607.21/607.22 c iter 310 time 600.396 not-muc 15284 unknown 27370 muc 302 607.21/607.22 c iter 311 time 600.406 not-muc 15284 unknown 27369 muc 303 607.21/607.22 c iter 312 time 600.415 not-muc 15284 unknown 27368 muc 304 607.21/607.22 c iter 313 time 600.424 not-muc 15284 unknown 27367 muc 305 607.21/607.22 c iter 314 time 600.433 not-muc 15284 unknown 27366 muc 306 607.21/607.22 c iter 315 time 600.441 not-muc 15284 unknown 27365 muc 307 607.21/607.22 c iter 316 time 600.45 not-muc 15284 unknown 27364 muc 308 607.21/607.22 c iter 317 time 600.459 not-muc 15284 unknown 27363 muc 309 607.21/607.22 c iter 318 time 600.467 not-muc 15284 unknown 27362 muc 310 607.21/607.22 c iter 319 time 600.476 not-muc 15284 unknown 27361 muc 311 607.21/607.22 c iter 320 time 600.484 not-muc 15284 unknown 27360 muc 312 607.21/607.22 c iter 321 time 600.493 not-muc 15284 unknown 27359 muc 313 607.21/607.22 c iter 322 time 600.501 not-muc 15284 unknown 27358 muc 314 607.21/607.22 c iter 323 time 600.511 not-muc 15284 unknown 27357 muc 315 607.21/607.22 c iter 324 time 600.519 not-muc 15284 unknown 27356 muc 316 607.21/607.22 c iter 325 time 600.528 not-muc 15284 unknown 27355 muc 317 607.21/607.22 c iter 326 time 600.537 not-muc 15284 unknown 27354 muc 318 607.21/607.22 c iter 327 time 600.546 not-muc 15284 unknown 27353 muc 319 607.21/607.22 c iter 328 time 600.554 not-muc 15284 unknown 27352 muc 320 607.21/607.22 c iter 329 time 600.563 not-muc 15284 unknown 27351 muc 321 607.21/607.22 c iter 330 time 600.571 not-muc 15284 unknown 27350 muc 322 607.21/607.22 c iter 331 time 600.58 not-muc 15284 unknown 27349 muc 323 607.21/607.22 c iter 332 time 600.589 not-muc 15284 unknown 27348 muc 324 607.21/607.22 c iter 333 time 600.598 not-muc 15284 unknown 27347 muc 325 607.21/607.22 c iter 334 time 600.606 not-muc 15284 unknown 27346 muc 326 607.21/607.22 c iter 335 time 600.615 not-muc 15284 unknown 27345 muc 327 607.21/607.22 c iter 336 time 600.624 not-muc 15284 unknown 27344 muc 328 607.21/607.22 c iter 337 time 600.632 not-muc 15284 unknown 27343 muc 329 607.21/607.22 c iter 338 time 600.641 not-muc 15284 unknown 27342 muc 330 607.21/607.22 c iter 339 time 600.65 not-muc 15284 unknown 27341 muc 331 607.21/607.22 c iter 340 time 600.659 not-muc 15284 unknown 27340 muc 332 607.21/607.22 c iter 341 time 600.668 not-muc 15284 unknown 27339 muc 333 607.21/607.22 c iter 342 time 600.677 not-muc 15284 unknown 27338 muc 334 607.21/607.22 c iter 343 time 600.686 not-muc 15284 unknown 27337 muc 335 607.21/607.22 c iter 344 time 600.695 not-muc 15284 unknown 27336 muc 336 607.21/607.22 c iter 345 time 600.703 not-muc 15284 unknown 27335 muc 337 771.01/771.10 c iter 346 time 600.712 not-muc 15284 unknown 27334 muc 338 771.01/771.10 c iter 347 time 600.721 not-muc 15284 unknown 27333 muc 339 771.01/771.10 c iter 348 time 600.729 not-muc 15284 unknown 27332 muc 340 771.01/771.10 c iter 349 time 600.741 not-muc 15284 unknown 27331 muc 341 771.01/771.10 c iter 350 time 600.753 not-muc 15284 unknown 27330 muc 342 771.01/771.10 c iter 351 time 600.763 not-muc 15284 unknown 27329 muc 343 771.01/771.10 c iter 352 time 600.773 not-muc 15284 unknown 27328 muc 344 771.01/771.10 c iter 353 time 600.782 not-muc 15284 unknown 27327 muc 345 771.01/771.10 c iter 354 time 600.792 not-muc 15284 unknown 27326 muc 346 771.01/771.10 c iter 355 time 606.295 not-muc 15284 unknown 27325 muc 347 771.01/771.10 c iter 356 time 606.316 not-muc 15284 unknown 27324 muc 348 771.01/771.10 c iter 357 time 606.324 not-muc 15284 unknown 27323 muc 349 771.01/771.10 c iter 358 time 606.332 not-muc 15284 unknown 27322 muc 350 771.01/771.10 c iter 359 time 606.34 not-muc 15284 unknown 27321 muc 351 771.01/771.10 c iter 360 time 606.348 not-muc 15284 unknown 27320 muc 352 771.01/771.10 c iter 361 time 606.357 not-muc 15284 unknown 27319 muc 353 771.01/771.10 c iter 362 time 606.365 not-muc 15284 unknown 27318 muc 354 771.01/771.10 c iter 363 time 606.373 not-muc 15284 unknown 27317 muc 355 771.01/771.10 c iter 364 time 606.381 not-muc 15284 unknown 27316 muc 356 771.01/771.10 c iter 365 time 606.389 not-muc 15284 unknown 27315 muc 357 771.01/771.10 c iter 366 time 606.398 not-muc 15284 unknown 27314 muc 358 771.01/771.10 c iter 367 time 606.406 not-muc 15284 unknown 27313 muc 359 771.01/771.10 c iter 368 time 606.414 not-muc 15284 unknown 27312 muc 360 771.01/771.10 c iter 369 time 606.422 not-muc 15284 unknown 27311 muc 361 771.01/771.10 c iter 370 time 606.43 not-muc 15284 unknown 27310 muc 362 771.01/771.10 c iter 371 time 606.439 not-muc 15284 unknown 27309 muc 363 771.01/771.10 c iter 372 time 606.447 not-muc 15284 unknown 27308 muc 364 771.01/771.10 c iter 373 time 606.455 not-muc 15284 unknown 27307 muc 365 771.01/771.10 c iter 374 time 606.463 not-muc 15284 unknown 27306 muc 366 771.01/771.10 c iter 375 time 606.471 not-muc 15284 unknown 27305 muc 367 771.01/771.10 c iter 376 time 606.479 not-muc 15284 unknown 27304 muc 368 771.01/771.10 c iter 377 time 606.488 not-muc 15284 unknown 27303 muc 369 771.01/771.10 c iter 378 time 606.496 not-muc 15284 unknown 27302 muc 370 771.01/771.10 c iter 379 time 606.504 not-muc 15284 unknown 27301 muc 371 771.01/771.10 c iter 380 time 606.512 not-muc 15284 unknown 27300 muc 372 771.01/771.10 c iter 381 time 606.52 not-muc 15284 unknown 27299 muc 373 771.01/771.10 c iter 382 time 606.529 not-muc 15284 unknown 27298 muc 374 771.01/771.10 c iter 383 time 606.809 not-muc 15284 unknown 27297 muc 375 771.01/771.10 c iter 384 time 606.817 not-muc 15284 unknown 27296 muc 376 771.01/771.10 c iter 385 time 607.16 not-muc 15284 unknown 27295 muc 377 771.01/771.10 c iter 386 time 607.168 not-muc 15284 unknown 27294 muc 378 771.01/771.10 c iter 387 time 607.176 not-muc 15284 unknown 27293 muc 379 771.01/771.10 c iter 388 time 609.336 not-muc 15284 unknown 27292 muc 380 771.01/771.10 c iter 389 time 609.349 not-muc 15284 unknown 27291 muc 381 771.01/771.10 c iter 390 time 609.357 not-muc 15284 unknown 27290 muc 382 771.01/771.10 c iter 391 time 609.366 not-muc 15284 unknown 27289 muc 383 771.01/771.10 c iter 392 time 609.374 not-muc 15284 unknown 27288 muc 384 771.01/771.10 c iter 393 time 609.383 not-muc 15284 unknown 27287 muc 385 771.01/771.10 c iter 394 time 609.392 not-muc 15284 unknown 27286 muc 386 771.01/771.10 c iter 395 time 609.401 not-muc 15284 unknown 27285 muc 387 771.01/771.10 c iter 396 time 609.41 not-muc 15284 unknown 27284 muc 388 771.01/771.10 c iter 397 time 609.419 not-muc 15284 unknown 27283 muc 389 771.01/771.10 c iter 398 time 609.428 not-muc 15284 unknown 27282 muc 390 771.01/771.10 c iter 399 time 609.437 not-muc 15284 unknown 27281 muc 391 771.01/771.10 c iter 400 time 609.446 not-muc 15284 unknown 27280 muc 392 771.01/771.10 c iter 401 time 609.455 not-muc 15284 unknown 27279 muc 393 771.01/771.10 c iter 402 time 609.464 not-muc 15284 unknown 27278 muc 394 771.01/771.10 c iter 403 time 609.473 not-muc 15284 unknown 27277 muc 395 771.01/771.10 c iter 404 time 609.483 not-muc 15284 unknown 27276 muc 396 771.01/771.10 c iter 405 time 609.492 not-muc 15284 unknown 27275 muc 397 771.01/771.10 c iter 406 time 609.502 not-muc 15284 unknown 27274 muc 398 771.01/771.10 c iter 407 time 609.511 not-muc 15284 unknown 27273 muc 399 771.01/771.10 c iter 408 time 721.067 not-muc 15710 unknown 26847 muc 399 771.01/771.10 c iter 409 time 721.098 not-muc 15710 unknown 26846 muc 400 771.01/771.10 c iter 410 time 721.121 not-muc 15710 unknown 26845 muc 401 771.01/771.10 c iter 411 time 762.698 not-muc 16276 unknown 26279 muc 401 771.01/771.10 c iter 412 time 762.856 not-muc 16276 unknown 26278 muc 402 771.01/771.10 c iter 413 time 762.864 not-muc 16276 unknown 26277 muc 403 771.01/771.10 c iter 414 time 762.872 not-muc 16276 unknown 26276 muc 404 893.21/893.22 c iter 415 time 762.879 not-muc 16276 unknown 26275 muc 405 893.21/893.22 c iter 416 time 827.354 not-muc 16603 unknown 25948 muc 405 893.21/893.22 c iter 417 time 827.381 not-muc 16603 unknown 25947 muc 406 893.21/893.22 c iter 418 time 828.152 not-muc 16603 unknown 25946 muc 407 893.21/893.22 c iter 419 time 828.188 not-muc 16603 unknown 25945 muc 408 893.21/893.22 c iter 420 time 828.56 not-muc 16603 unknown 25944 muc 409 893.21/893.22 c iter 421 time 828.569 not-muc 16603 unknown 25943 muc 410 893.21/893.22 c iter 422 time 828.577 not-muc 16603 unknown 25942 muc 411 893.21/893.22 c iter 423 time 828.585 not-muc 16603 unknown 25941 muc 412 893.21/893.22 c iter 424 time 828.593 not-muc 16603 unknown 25940 muc 413 893.21/893.22 c iter 425 time 828.601 not-muc 16603 unknown 25939 muc 414 893.21/893.22 c iter 426 time 828.608 not-muc 16603 unknown 25938 muc 415 893.21/893.22 c iter 427 time 828.616 not-muc 16603 unknown 25937 muc 416 893.21/893.22 c iter 428 time 830.512 not-muc 16603 unknown 25936 muc 417 893.21/893.22 c iter 429 time 830.532 not-muc 16603 unknown 25935 muc 418 893.21/893.22 c iter 430 time 830.539 not-muc 16603 unknown 25934 muc 419 893.21/893.22 c iter 431 time 830.547 not-muc 16603 unknown 25933 muc 420 893.21/893.22 c iter 432 time 830.554 not-muc 16603 unknown 25932 muc 421 893.21/893.22 c iter 433 time 830.562 not-muc 16603 unknown 25931 muc 422 893.21/893.22 c iter 434 time 830.569 not-muc 16603 unknown 25930 muc 423 893.21/893.22 c iter 435 time 830.577 not-muc 16603 unknown 25929 muc 424 893.21/893.22 c iter 436 time 830.584 not-muc 16603 unknown 25928 muc 425 893.21/893.22 c iter 437 time 831.08 not-muc 16603 unknown 25927 muc 426 893.21/893.22 c iter 438 time 831.088 not-muc 16603 unknown 25926 muc 427 893.21/893.22 c iter 439 time 833.776 not-muc 16603 unknown 25925 muc 428 893.21/893.22 c iter 440 time 833.794 not-muc 16603 unknown 25924 muc 429 893.21/893.22 c iter 441 time 833.802 not-muc 16603 unknown 25923 muc 430 893.21/893.22 c iter 442 time 833.809 not-muc 16603 unknown 25922 muc 431 893.21/893.22 c iter 443 time 833.816 not-muc 16603 unknown 25921 muc 432 893.21/893.22 c iter 444 time 833.824 not-muc 16603 unknown 25920 muc 433 893.21/893.22 c iter 445 time 833.831 not-muc 16603 unknown 25919 muc 434 893.21/893.22 c iter 446 time 833.839 not-muc 16603 unknown 25918 muc 435 893.21/893.22 c iter 447 time 833.846 not-muc 16603 unknown 25917 muc 436 893.21/893.22 c iter 448 time 833.854 not-muc 16603 unknown 25916 muc 437 893.21/893.22 c iter 449 time 833.861 not-muc 16603 unknown 25915 muc 438 893.21/893.22 c iter 450 time 833.868 not-muc 16603 unknown 25914 muc 439 893.21/893.22 c iter 451 time 833.876 not-muc 16603 unknown 25913 muc 440 893.21/893.22 c iter 452 time 833.883 not-muc 16603 unknown 25912 muc 441 893.21/893.22 c iter 453 time 833.891 not-muc 16603 unknown 25911 muc 442 893.21/893.22 c iter 454 time 833.898 not-muc 16603 unknown 25910 muc 443 893.21/893.22 c iter 455 time 834.246 not-muc 16603 unknown 25909 muc 444 893.21/893.22 c iter 456 time 834.254 not-muc 16603 unknown 25908 muc 445 893.21/893.22 c iter 457 time 835.06 not-muc 16603 unknown 25907 muc 446 893.21/893.22 c iter 458 time 835.068 not-muc 16603 unknown 25906 muc 447 893.21/893.22 c iter 459 time 835.076 not-muc 16603 unknown 25905 muc 448 893.21/893.22 c iter 460 time 835.084 not-muc 16603 unknown 25904 muc 449 893.21/893.22 c iter 461 time 835.093 not-muc 16603 unknown 25903 muc 450 893.21/893.22 c iter 462 time 835.101 not-muc 16603 unknown 25902 muc 451 893.21/893.22 c iter 463 time 858.232 not-muc 16915 unknown 25590 muc 451 893.21/893.22 c iter 464 time 865.855 not-muc 16915 unknown 25589 muc 452 893.21/893.22 c iter 465 time 865.879 not-muc 16915 unknown 25588 muc 453 893.21/893.22 c iter 466 time 865.887 not-muc 16915 unknown 25587 muc 454 893.21/893.22 c iter 467 time 865.896 not-muc 16915 unknown 25586 muc 455 893.21/893.22 c iter 468 time 865.903 not-muc 16915 unknown 25585 muc 456 893.21/893.22 c iter 469 time 865.91 not-muc 16915 unknown 25584 muc 457 893.21/893.22 c iter 470 time 865.917 not-muc 16915 unknown 25583 muc 458 893.21/893.22 c iter 471 time 866.785 not-muc 16915 unknown 25582 muc 459 893.21/893.22 c iter 472 time 866.8 not-muc 16915 unknown 25581 muc 460 893.21/893.22 c iter 473 time 871.294 not-muc 16915 unknown 25580 muc 461 893.21/893.22 c iter 474 time 874.562 not-muc 16915 unknown 25579 muc 462 893.21/893.22 c iter 475 time 874.582 not-muc 16915 unknown 25578 muc 463 893.21/893.22 c iter 476 time 883.592 not-muc 16915 unknown 25577 muc 464 893.21/893.22 c iter 477 time 883.613 not-muc 16915 unknown 25576 muc 465 893.21/893.22 c iter 478 time 883.62 not-muc 16915 unknown 25575 muc 466 893.21/893.22 c iter 479 time 883.628 not-muc 16915 unknown 25574 muc 467 893.21/893.22 c iter 480 time 883.635 not-muc 16915 unknown 25573 muc 468 893.21/893.22 c iter 481 time 883.642 not-muc 16915 unknown 25572 muc 469 893.21/893.22 c iter 482 time 883.65 not-muc 16915 unknown 25571 muc 470 968.31/968.36 c iter 483 time 883.657 not-muc 16915 unknown 25570 muc 471 968.31/968.36 c iter 484 time 883.665 not-muc 16915 unknown 25569 muc 472 968.31/968.36 c iter 485 time 901.053 not-muc 17200 unknown 25284 muc 472 968.31/968.36 c iter 486 time 901.329 not-muc 17200 unknown 25283 muc 473 968.31/968.36 c iter 487 time 901.337 not-muc 17200 unknown 25282 muc 474 968.31/968.36 c iter 488 time 901.344 not-muc 17200 unknown 25281 muc 475 968.31/968.36 c iter 489 time 901.351 not-muc 17200 unknown 25280 muc 476 968.31/968.36 c iter 490 time 901.359 not-muc 17200 unknown 25279 muc 477 968.31/968.36 c iter 491 time 901.366 not-muc 17200 unknown 25278 muc 478 968.31/968.36 c iter 492 time 901.373 not-muc 17200 unknown 25277 muc 479 968.31/968.36 c iter 493 time 901.381 not-muc 17200 unknown 25276 muc 480 968.31/968.36 c iter 494 time 901.388 not-muc 17200 unknown 25275 muc 481 968.31/968.36 c iter 495 time 901.395 not-muc 17200 unknown 25274 muc 482 968.31/968.36 c iter 496 time 901.403 not-muc 17200 unknown 25273 muc 483 968.31/968.36 c iter 497 time 901.41 not-muc 17200 unknown 25272 muc 484 968.31/968.36 c iter 498 time 901.417 not-muc 17200 unknown 25271 muc 485 968.31/968.36 c iter 499 time 901.425 not-muc 17200 unknown 25270 muc 486 968.31/968.36 c iter 500 time 901.432 not-muc 17200 unknown 25269 muc 487 968.31/968.36 c iter 501 time 901.439 not-muc 17200 unknown 25268 muc 488 968.31/968.36 c iter 502 time 901.447 not-muc 17200 unknown 25267 muc 489 968.31/968.36 c iter 503 time 901.454 not-muc 17200 unknown 25266 muc 490 968.31/968.36 c iter 504 time 955.886 not-muc 17337 unknown 25129 muc 490 968.31/968.36 c iter 505 time 957.406 not-muc 17337 unknown 25128 muc 491 968.31/968.36 c iter 506 time 957.424 not-muc 17337 unknown 25127 muc 492 968.31/968.36 c iter 507 time 957.431 not-muc 17337 unknown 25126 muc 493 968.31/968.36 c iter 508 time 957.439 not-muc 17337 unknown 25125 muc 494 968.31/968.36 c iter 509 time 957.446 not-muc 17337 unknown 25124 muc 495 968.31/968.36 c iter 510 time 957.453 not-muc 17337 unknown 25123 muc 496 968.31/968.36 c iter 511 time 957.46 not-muc 17337 unknown 25122 muc 497 968.31/968.36 c iter 512 time 957.468 not-muc 17337 unknown 25121 muc 498 968.31/968.36 c iter 513 time 957.475 not-muc 17337 unknown 25120 muc 499 968.31/968.36 c iter 514 time 957.483 not-muc 17337 unknown 25119 muc 500 968.31/968.36 c iter 515 time 957.49 not-muc 17337 unknown 25118 muc 501 968.31/968.36 c iter 516 time 957.497 not-muc 17337 unknown 25117 muc 502 968.31/968.36 c iter 517 time 957.504 not-muc 17337 unknown 25116 muc 503 968.31/968.36 c iter 518 time 957.512 not-muc 17337 unknown 25115 muc 504 968.31/968.36 c iter 519 time 957.519 not-muc 17337 unknown 25114 muc 505 968.31/968.36 c iter 520 time 957.795 not-muc 17337 unknown 25113 muc 506 968.31/968.36 c iter 521 time 957.802 not-muc 17337 unknown 25112 muc 507 968.31/968.36 c iter 522 time 957.81 not-muc 17337 unknown 25111 muc 508 968.31/968.36 c iter 523 time 957.817 not-muc 17337 unknown 25110 muc 509 968.31/968.36 c iter 524 time 957.825 not-muc 17337 unknown 25109 muc 510 968.31/968.36 c iter 525 time 957.833 not-muc 17337 unknown 25108 muc 511 968.31/968.36 c iter 526 time 957.84 not-muc 17337 unknown 25107 muc 512 968.31/968.36 c iter 527 time 957.848 not-muc 17337 unknown 25106 muc 513 968.31/968.36 c iter 528 time 957.855 not-muc 17337 unknown 25105 muc 514 968.31/968.36 c iter 529 time 957.863 not-muc 17337 unknown 25104 muc 515 968.31/968.36 c iter 530 time 957.87 not-muc 17337 unknown 25103 muc 516 968.31/968.36 c iter 531 time 957.878 not-muc 17337 unknown 25102 muc 517 968.31/968.36 c iter 532 time 957.885 not-muc 17337 unknown 25101 muc 518 968.31/968.36 c iter 533 time 957.893 not-muc 17337 unknown 25100 muc 519 968.31/968.36 c iter 534 time 957.9 not-muc 17337 unknown 25099 muc 520 968.31/968.36 c iter 535 time 957.908 not-muc 17337 unknown 25098 muc 521 968.31/968.36 c iter 536 time 957.915 not-muc 17337 unknown 25097 muc 522 968.31/968.36 c iter 537 time 957.923 not-muc 17337 unknown 25096 muc 523 968.31/968.36 c iter 538 time 957.931 not-muc 17337 unknown 25095 muc 524 968.31/968.36 c iter 539 time 957.938 not-muc 17337 unknown 25094 muc 525 968.31/968.36 c iter 540 time 957.946 not-muc 17337 unknown 25093 muc 526 968.31/968.36 c iter 541 time 957.953 not-muc 17337 unknown 25092 muc 527 968.31/968.36 c iter 542 time 957.961 not-muc 17337 unknown 25091 muc 528 968.31/968.36 c iter 543 time 957.968 not-muc 17337 unknown 25090 muc 529 968.31/968.36 c iter 544 time 957.976 not-muc 17337 unknown 25089 muc 530 968.31/968.36 c iter 545 time 957.984 not-muc 17337 unknown 25088 muc 531 968.31/968.36 c iter 546 time 957.991 not-muc 17337 unknown 25087 muc 532 968.31/968.36 c iter 547 time 957.999 not-muc 17337 unknown 25086 muc 533 968.31/968.36 c iter 548 time 958.006 not-muc 17337 unknown 25085 muc 534 968.31/968.36 c iter 549 time 958.014 not-muc 17337 unknown 25084 muc 535 968.31/968.36 c iter 550 time 958.021 not-muc 17337 unknown 25083 muc 536 997.21/997.20 c iter 551 time 958.028 not-muc 17337 unknown 25082 muc 537 997.21/997.20 c iter 552 time 958.036 not-muc 17337 unknown 25081 muc 538 997.21/997.20 c iter 553 time 958.043 not-muc 17337 unknown 25080 muc 539 997.21/997.20 c iter 554 time 958.05 not-muc 17337 unknown 25079 muc 540 997.21/997.20 c iter 555 time 958.058 not-muc 17337 unknown 25078 muc 541 997.21/997.20 c iter 556 time 958.065 not-muc 17337 unknown 25077 muc 542 997.21/997.20 c iter 557 time 958.073 not-muc 17337 unknown 25076 muc 543 997.21/997.20 c iter 558 time 958.08 not-muc 17337 unknown 25075 muc 544 997.21/997.20 c iter 559 time 958.088 not-muc 17337 unknown 25074 muc 545 997.21/997.20 c iter 560 time 958.095 not-muc 17337 unknown 25073 muc 546 997.21/997.20 c iter 561 time 958.103 not-muc 17337 unknown 25072 muc 547 997.21/997.20 c iter 562 time 958.11 not-muc 17337 unknown 25071 muc 548 997.21/997.20 c iter 563 time 958.118 not-muc 17337 unknown 25070 muc 549 997.21/997.20 c iter 564 time 958.125 not-muc 17337 unknown 25069 muc 550 997.21/997.20 c iter 565 time 958.133 not-muc 17337 unknown 25068 muc 551 997.21/997.20 c iter 566 time 958.233 not-muc 17337 unknown 25067 muc 552 997.21/997.20 c iter 567 time 958.24 not-muc 17337 unknown 25066 muc 553 997.21/997.20 c iter 568 time 962.402 not-muc 17337 unknown 25065 muc 554 997.21/997.20 c iter 569 time 962.84 not-muc 17337 unknown 25064 muc 555 997.21/997.20 c iter 570 time 962.848 not-muc 17337 unknown 25063 muc 556 997.21/997.20 c iter 571 time 962.856 not-muc 17337 unknown 25062 muc 557 997.21/997.20 c iter 572 time 962.864 not-muc 17337 unknown 25061 muc 558 997.21/997.20 c iter 573 time 963.044 not-muc 17337 unknown 25060 muc 559 997.21/997.20 c iter 574 time 964.74 not-muc 17337 unknown 25059 muc 560 997.21/997.20 c iter 575 time 964.75 not-muc 17337 unknown 25058 muc 561 997.21/997.20 c iter 576 time 964.758 not-muc 17337 unknown 25057 muc 562 997.21/997.20 c iter 577 time 964.768 not-muc 17337 unknown 25056 muc 563 997.21/997.20 c iter 578 time 964.801 not-muc 17337 unknown 25055 muc 564 997.21/997.20 c iter 579 time 964.813 not-muc 17337 unknown 25054 muc 565 997.21/997.20 c iter 580 time 964.821 not-muc 17337 unknown 25053 muc 566 997.21/997.20 c iter 581 time 964.829 not-muc 17337 unknown 25052 muc 567 997.21/997.20 c iter 582 time 964.837 not-muc 17337 unknown 25051 muc 568 997.21/997.20 c iter 583 time 964.846 not-muc 17337 unknown 25050 muc 569 997.21/997.20 c iter 584 time 983.572 not-muc 17493 unknown 24894 muc 569 997.21/997.20 c iter 585 time 983.621 not-muc 17493 unknown 24893 muc 570 997.21/997.20 c iter 586 time 983.631 not-muc 17493 unknown 24892 muc 571 997.21/997.20 c iter 587 time 984.517 not-muc 17493 unknown 24891 muc 572 997.21/997.20 c iter 588 time 984.525 not-muc 17493 unknown 24890 muc 573 997.21/997.20 c iter 589 time 984.616 not-muc 17493 unknown 24889 muc 574 997.21/997.20 c iter 590 time 984.631 not-muc 17493 unknown 24888 muc 575 997.21/997.20 c iter 591 time 985.012 not-muc 17493 unknown 24887 muc 576 997.21/997.20 c iter 592 time 985.021 not-muc 17493 unknown 24886 muc 577 997.21/997.20 c iter 593 time 985.377 not-muc 17493 unknown 24885 muc 578 997.21/997.20 c iter 594 time 985.386 not-muc 17493 unknown 24884 muc 579 997.21/997.20 c iter 595 time 985.463 not-muc 17493 unknown 24883 muc 580 997.21/997.20 c iter 596 time 985.472 not-muc 17493 unknown 24882 muc 581 997.21/997.20 c iter 597 time 985.482 not-muc 17493 unknown 24881 muc 582 997.21/997.20 c iter 598 time 985.491 not-muc 17493 unknown 24880 muc 583 997.21/997.20 c iter 599 time 986.283 not-muc 17493 unknown 24879 muc 584 997.21/997.20 c iter 600 time 986.294 not-muc 17493 unknown 24878 muc 585 997.21/997.20 c iter 601 time 986.309 not-muc 17493 unknown 24877 muc 586 997.21/997.20 c iter 602 time 986.318 not-muc 17493 unknown 24876 muc 587 997.21/997.20 c iter 603 time 986.329 not-muc 17493 unknown 24875 muc 588 997.21/997.20 c iter 604 time 986.338 not-muc 17493 unknown 24874 muc 589 997.21/997.20 c iter 605 time 986.358 not-muc 17493 unknown 24873 muc 590 997.21/997.20 c iter 606 time 986.369 not-muc 17493 unknown 24872 muc 591 997.21/997.20 c iter 607 time 986.382 not-muc 17493 unknown 24871 muc 592 997.21/997.20 c iter 608 time 986.393 not-muc 17493 unknown 24870 muc 593 997.21/997.20 c iter 609 time 986.409 not-muc 17493 unknown 24869 muc 594 997.21/997.20 c iter 610 time 986.421 not-muc 17493 unknown 24868 muc 595 997.21/997.20 c iter 611 time 986.45 not-muc 17493 unknown 24867 muc 596 997.21/997.20 c iter 612 time 986.463 not-muc 17493 unknown 24866 muc 597 997.21/997.20 c iter 613 time 986.482 not-muc 17493 unknown 24865 muc 598 997.21/997.20 c iter 614 time 986.495 not-muc 17493 unknown 24864 muc 599 997.21/997.20 c iter 615 time 986.514 not-muc 17493 unknown 24863 muc 600 997.21/997.20 c iter 616 time 986.527 not-muc 17493 unknown 24862 muc 601 997.21/997.20 c iter 617 time 986.548 not-muc 17493 unknown 24861 muc 602 997.21/997.20 c iter 618 time 986.565 not-muc 17493 unknown 24860 muc 603 997.21/997.20 c iter 619 time 986.586 not-muc 17493 unknown 24859 muc 604 999.71/999.72 c iter 620 time 986.605 not-muc 17493 unknown 24858 muc 605 999.71/999.72 c iter 621 time 986.628 not-muc 17493 unknown 24857 muc 606 999.71/999.72 c iter 622 time 986.646 not-muc 17493 unknown 24856 muc 607 999.71/999.72 c iter 623 time 986.67 not-muc 17493 unknown 24855 muc 608 999.71/999.72 c iter 624 time 986.687 not-muc 17493 unknown 24854 muc 609 999.71/999.72 c iter 625 time 986.709 not-muc 17493 unknown 24853 muc 610 999.71/999.72 c iter 626 time 986.728 not-muc 17493 unknown 24852 muc 611 999.71/999.72 c iter 627 time 986.754 not-muc 17493 unknown 24851 muc 612 999.71/999.72 c iter 628 time 986.769 not-muc 17493 unknown 24850 muc 613 999.71/999.72 c iter 629 time 986.785 not-muc 17493 unknown 24849 muc 614 999.71/999.72 c iter 630 time 986.795 not-muc 17493 unknown 24848 muc 615 999.71/999.72 c iter 631 time 988.666 not-muc 17493 unknown 24847 muc 616 999.71/999.72 c iter 632 time 988.689 not-muc 17493 unknown 24846 muc 617 999.71/999.72 c iter 633 time 988.696 not-muc 17493 unknown 24845 muc 618 999.71/999.72 c iter 634 time 988.703 not-muc 17493 unknown 24844 muc 619 999.71/999.72 c iter 635 time 988.71 not-muc 17493 unknown 24843 muc 620 999.71/999.72 c iter 636 time 988.717 not-muc 17493 unknown 24842 muc 621 999.71/999.72 c iter 637 time 988.724 not-muc 17493 unknown 24841 muc 622 999.71/999.72 c iter 638 time 988.731 not-muc 17493 unknown 24840 muc 623 999.71/999.72 c iter 639 time 988.738 not-muc 17493 unknown 24839 muc 624 999.71/999.72 c iter 640 time 988.745 not-muc 17493 unknown 24838 muc 625 999.71/999.72 c iter 641 time 988.752 not-muc 17493 unknown 24837 muc 626 999.71/999.72 c iter 642 time 988.761 not-muc 17493 unknown 24836 muc 627 999.71/999.72 c iter 643 time 988.768 not-muc 17493 unknown 24835 muc 628 999.71/999.72 c iter 644 time 988.775 not-muc 17493 unknown 24834 muc 629 999.71/999.72 c iter 645 time 988.782 not-muc 17493 unknown 24833 muc 630 999.71/999.72 c iter 646 time 988.789 not-muc 17493 unknown 24832 muc 631 999.71/999.72 c iter 647 time 988.796 not-muc 17493 unknown 24831 muc 632 999.71/999.72 c iter 648 time 988.803 not-muc 17493 unknown 24830 muc 633 999.71/999.72 c iter 649 time 988.81 not-muc 17493 unknown 24829 muc 634 999.71/999.72 c iter 650 time 988.817 not-muc 17493 unknown 24828 muc 635 999.71/999.72 c iter 651 time 988.824 not-muc 17493 unknown 24827 muc 636 999.71/999.72 c iter 652 time 988.831 not-muc 17493 unknown 24826 muc 637 999.71/999.72 c iter 653 time 988.838 not-muc 17493 unknown 24825 muc 638 999.71/999.72 c iter 654 time 988.845 not-muc 17493 unknown 24824 muc 639 999.71/999.72 c iter 655 time 988.852 not-muc 17493 unknown 24823 muc 640 999.71/999.72 c iter 656 time 988.859 not-muc 17493 unknown 24822 muc 641 999.71/999.72 c iter 657 time 988.866 not-muc 17493 unknown 24821 muc 642 999.71/999.72 c iter 658 time 988.873 not-muc 17493 unknown 24820 muc 643 999.71/999.72 c iter 659 time 988.88 not-muc 17493 unknown 24819 muc 644 999.71/999.72 c iter 660 time 988.887 not-muc 17493 unknown 24818 muc 645 999.71/999.72 c iter 661 time 988.894 not-muc 17493 unknown 24817 muc 646 999.71/999.72 c iter 662 time 988.901 not-muc 17493 unknown 24816 muc 647 999.71/999.72 c iter 663 time 988.908 not-muc 17493 unknown 24815 muc 648 999.71/999.72 c iter 664 time 988.915 not-muc 17493 unknown 24814 muc 649 999.71/999.72 c iter 665 time 988.922 not-muc 17493 unknown 24813 muc 650 999.71/999.72 c iter 666 time 988.929 not-muc 17493 unknown 24812 muc 651 999.71/999.72 c iter 667 time 988.936 not-muc 17493 unknown 24811 muc 652 999.71/999.72 c iter 668 time 988.943 not-muc 17493 unknown 24810 muc 653 999.71/999.72 c iter 669 time 988.95 not-muc 17493 unknown 24809 muc 654 999.71/999.72 c iter 670 time 988.957 not-muc 17493 unknown 24808 muc 655 999.71/999.72 c iter 671 time 988.964 not-muc 17493 unknown 24807 muc 656 999.71/999.72 c iter 672 time 988.971 not-muc 17493 unknown 24806 muc 657 999.71/999.72 c iter 673 time 988.978 not-muc 17493 unknown 24805 muc 658 999.71/999.72 c iter 674 time 988.985 not-muc 17493 unknown 24804 muc 659 999.71/999.72 c iter 675 time 988.991 not-muc 17493 unknown 24803 muc 660 999.71/999.72 c iter 676 time 988.998 not-muc 17493 unknown 24802 muc 661 999.71/999.72 c iter 677 time 989.005 not-muc 17493 unknown 24801 muc 662 999.71/999.72 c iter 678 time 989.012 not-muc 17493 unknown 24800 muc 663 999.71/999.72 c iter 679 time 989.02 not-muc 17493 unknown 24799 muc 664 999.71/999.72 c iter 680 time 989.027 not-muc 17493 unknown 24798 muc 665 999.71/999.72 c iter 681 time 989.034 not-muc 17493 unknown 24797 muc 666 999.71/999.72 c iter 682 time 989.04 not-muc 17493 unknown 24796 muc 667 999.71/999.72 c iter 683 time 989.047 not-muc 17493 unknown 24795 muc 668 999.71/999.72 c iter 684 time 989.054 not-muc 17493 unknown 24794 muc 669 999.71/999.72 c iter 685 time 989.061 not-muc 17493 unknown 24793 muc 670 999.71/999.72 c iter 686 time 989.068 not-muc 17493 unknown 24792 muc 671 999.71/999.72 c iter 687 time 989.075 not-muc 17493 unknown 24791 muc 672 1000.70/1000.76 c iter 688 time 989.082 not-muc 17493 unknown 24790 muc 673 1000.70/1000.76 c iter 689 time 989.089 not-muc 17493 unknown 24789 muc 674 1000.70/1000.76 c iter 690 time 989.096 not-muc 17493 unknown 24788 muc 675 1000.70/1000.76 c iter 691 time 989.104 not-muc 17493 unknown 24787 muc 676 1000.70/1000.76 c iter 692 time 989.182 not-muc 17493 unknown 24786 muc 677 1000.70/1000.76 c iter 693 time 989.197 not-muc 17493 unknown 24785 muc 678 1000.70/1000.76 c iter 694 time 989.204 not-muc 17493 unknown 24784 muc 679 1000.70/1000.76 c iter 695 time 989.211 not-muc 17493 unknown 24783 muc 680 1000.70/1000.76 c iter 696 time 989.218 not-muc 17493 unknown 24782 muc 681 1000.70/1000.76 c iter 697 time 989.225 not-muc 17493 unknown 24781 muc 682 1000.70/1000.76 c iter 698 time 989.232 not-muc 17493 unknown 24780 muc 683 1000.70/1000.76 c iter 699 time 989.481 not-muc 17493 unknown 24779 muc 684 1000.70/1000.76 c iter 700 time 989.497 not-muc 17493 unknown 24778 muc 685 1000.70/1000.76 c iter 701 time 989.507 not-muc 17493 unknown 24777 muc 686 1000.70/1000.76 c iter 702 time 989.514 not-muc 17493 unknown 24776 muc 687 1000.70/1000.76 c iter 703 time 989.541 not-muc 17493 unknown 24775 muc 688 1000.70/1000.76 c iter 704 time 989.549 not-muc 17493 unknown 24774 muc 689 1000.70/1000.76 c iter 705 time 989.588 not-muc 17493 unknown 24773 muc 690 1000.70/1000.76 c iter 706 time 989.596 not-muc 17493 unknown 24772 muc 691 1000.70/1000.76 c iter 707 time 989.604 not-muc 17493 unknown 24771 muc 692 1000.70/1000.76 c iter 708 time 989.612 not-muc 17493 unknown 24770 muc 693 1000.70/1000.76 c iter 709 time 989.62 not-muc 17493 unknown 24769 muc 694 1000.70/1000.76 c iter 710 time 989.628 not-muc 17493 unknown 24768 muc 695 1000.70/1000.76 c iter 711 time 989.636 not-muc 17493 unknown 24767 muc 696 1000.70/1000.76 c iter 712 time 989.644 not-muc 17493 unknown 24766 muc 697 1000.70/1000.76 c iter 713 time 989.653 not-muc 17493 unknown 24765 muc 698 1000.70/1000.76 c iter 714 time 989.661 not-muc 17493 unknown 24764 muc 699 1000.70/1000.76 c iter 715 time 989.671 not-muc 17493 unknown 24763 muc 700 1000.70/1000.76 c iter 716 time 989.679 not-muc 17493 unknown 24762 muc 701 1000.70/1000.76 c iter 717 time 989.689 not-muc 17493 unknown 24761 muc 702 1000.70/1000.76 c iter 718 time 989.697 not-muc 17493 unknown 24760 muc 703 1000.70/1000.76 c iter 719 time 989.706 not-muc 17493 unknown 24759 muc 704 1000.70/1000.76 c iter 720 time 989.715 not-muc 17493 unknown 24758 muc 705 1000.70/1000.76 c iter 721 time 989.725 not-muc 17493 unknown 24757 muc 706 1000.70/1000.76 c iter 722 time 989.734 not-muc 17493 unknown 24756 muc 707 1000.70/1000.76 c iter 723 time 989.744 not-muc 17493 unknown 24755 muc 708 1000.70/1000.76 c iter 724 time 989.754 not-muc 17493 unknown 24754 muc 709 1000.70/1000.76 c iter 725 time 989.765 not-muc 17493 unknown 24753 muc 710 1000.70/1000.76 c iter 726 time 989.773 not-muc 17493 unknown 24752 muc 711 1000.70/1000.76 c iter 727 time 989.785 not-muc 17493 unknown 24751 muc 712 1000.70/1000.76 c iter 728 time 989.794 not-muc 17493 unknown 24750 muc 713 1000.70/1000.76 c iter 729 time 989.805 not-muc 17493 unknown 24749 muc 714 1000.70/1000.76 c iter 730 time 989.815 not-muc 17493 unknown 24748 muc 715 1000.70/1000.76 c iter 731 time 989.827 not-muc 17493 unknown 24747 muc 716 1000.70/1000.76 c iter 732 time 989.837 not-muc 17493 unknown 24746 muc 717 1000.70/1000.76 c iter 733 time 989.849 not-muc 17493 unknown 24745 muc 718 1000.70/1000.76 c iter 734 time 989.859 not-muc 17493 unknown 24744 muc 719 1000.70/1000.76 c iter 735 time 989.871 not-muc 17493 unknown 24743 muc 720 1000.70/1000.76 c iter 736 time 989.881 not-muc 17493 unknown 24742 muc 721 1000.70/1000.76 c iter 737 time 989.893 not-muc 17493 unknown 24741 muc 722 1000.70/1000.76 c iter 738 time 989.903 not-muc 17493 unknown 24740 muc 723 1000.70/1000.76 c iter 739 time 989.915 not-muc 17493 unknown 24739 muc 724 1000.70/1000.76 c iter 740 time 989.926 not-muc 17493 unknown 24738 muc 725 1000.70/1000.76 c iter 741 time 989.939 not-muc 17493 unknown 24737 muc 726 1000.70/1000.76 c iter 742 time 989.949 not-muc 17493 unknown 24736 muc 727 1000.70/1000.76 c iter 743 time 989.962 not-muc 17493 unknown 24735 muc 728 1000.70/1000.76 c iter 744 time 989.974 not-muc 17493 unknown 24734 muc 729 1000.70/1000.76 c iter 745 time 989.987 not-muc 17493 unknown 24733 muc 730 1000.70/1000.76 c iter 746 time 989.998 not-muc 17493 unknown 24732 muc 731 1000.70/1000.76 c iter 747 time 990.011 not-muc 17493 unknown 24731 muc 732 1000.70/1000.76 c iter 748 time 990.023 not-muc 17493 unknown 24730 muc 733 1000.70/1000.76 c iter 749 time 990.036 not-muc 17493 unknown 24729 muc 734 1000.70/1000.76 c iter 750 time 990.048 not-muc 17493 unknown 24728 muc 735 1000.70/1000.76 c iter 751 time 990.062 not-muc 17493 unknown 24727 muc 736 1000.70/1000.76 c iter 752 time 990.074 not-muc 17493 unknown 24726 muc 737 1000.70/1000.76 c iter 753 time 990.087 not-muc 17493 unknown 24725 muc 738 1000.70/1000.76 c iter 754 time 990.098 not-muc 17493 unknown 24724 muc 739 1000.70/1000.76 c iter 755 time 990.112 not-muc 17493 unknown 24723 muc 740 1164.00/1164.09 c iter 756 time 990.124 not-muc 17493 unknown 24722 muc 741 1164.00/1164.09 c iter 757 time 990.141 not-muc 17493 unknown 24721 muc 742 1164.00/1164.09 c iter 758 time 990.155 not-muc 17493 unknown 24720 muc 743 1164.00/1164.09 c iter 759 time 990.171 not-muc 17493 unknown 24719 muc 744 1164.00/1164.09 c iter 760 time 990.184 not-muc 17493 unknown 24718 muc 745 1164.00/1164.09 c iter 761 time 990.201 not-muc 17493 unknown 24717 muc 746 1164.00/1164.09 c iter 762 time 990.216 not-muc 17493 unknown 24716 muc 747 1164.00/1164.09 c iter 763 time 990.233 not-muc 17493 unknown 24715 muc 748 1164.00/1164.09 c iter 764 time 990.247 not-muc 17493 unknown 24714 muc 749 1164.00/1164.09 c iter 765 time 990.265 not-muc 17493 unknown 24713 muc 750 1164.00/1164.09 c iter 766 time 990.28 not-muc 17493 unknown 24712 muc 751 1164.00/1164.09 c iter 767 time 990.297 not-muc 17493 unknown 24711 muc 752 1164.00/1164.09 c iter 768 time 990.312 not-muc 17493 unknown 24710 muc 753 1164.00/1164.09 c iter 769 time 990.331 not-muc 17493 unknown 24709 muc 754 1164.00/1164.09 c iter 770 time 990.346 not-muc 17493 unknown 24708 muc 755 1164.00/1164.09 c iter 771 time 990.364 not-muc 17493 unknown 24707 muc 756 1164.00/1164.09 c iter 772 time 990.38 not-muc 17493 unknown 24706 muc 757 1164.00/1164.09 c iter 773 time 990.399 not-muc 17493 unknown 24705 muc 758 1164.00/1164.09 c iter 774 time 990.415 not-muc 17493 unknown 24704 muc 759 1164.00/1164.09 c iter 775 time 990.435 not-muc 17493 unknown 24703 muc 760 1164.00/1164.09 c iter 776 time 990.452 not-muc 17493 unknown 24702 muc 761 1164.00/1164.09 c iter 777 time 990.472 not-muc 17493 unknown 24701 muc 762 1164.00/1164.09 c iter 778 time 990.49 not-muc 17493 unknown 24700 muc 763 1164.00/1164.09 c iter 779 time 990.511 not-muc 17493 unknown 24699 muc 764 1164.00/1164.09 c iter 780 time 990.528 not-muc 17493 unknown 24698 muc 765 1164.00/1164.09 c iter 781 time 990.548 not-muc 17493 unknown 24697 muc 766 1164.00/1164.09 c iter 782 time 990.559 not-muc 17493 unknown 24696 muc 767 1164.00/1164.09 c iter 783 time 990.578 not-muc 17493 unknown 24695 muc 768 1164.00/1164.09 c iter 784 time 990.596 not-muc 17493 unknown 24694 muc 769 1164.00/1164.09 c iter 785 time 990.616 not-muc 17493 unknown 24693 muc 770 1164.00/1164.09 c iter 786 time 990.635 not-muc 17493 unknown 24692 muc 771 1164.00/1164.09 c iter 787 time 990.656 not-muc 17493 unknown 24691 muc 772 1164.00/1164.09 c iter 788 time 990.674 not-muc 17493 unknown 24690 muc 773 1164.00/1164.09 c iter 789 time 990.695 not-muc 17493 unknown 24689 muc 774 1164.00/1164.09 c iter 790 time 990.714 not-muc 17493 unknown 24688 muc 775 1164.00/1164.09 c iter 791 time 990.734 not-muc 17493 unknown 24687 muc 776 1164.00/1164.09 c iter 792 time 990.754 not-muc 17493 unknown 24686 muc 777 1164.00/1164.09 c iter 793 time 990.777 not-muc 17493 unknown 24685 muc 778 1164.00/1164.09 c iter 794 time 990.797 not-muc 17493 unknown 24684 muc 779 1164.00/1164.09 c iter 795 time 990.817 not-muc 17493 unknown 24683 muc 780 1164.00/1164.09 c iter 796 time 990.84 not-muc 17493 unknown 24682 muc 781 1164.00/1164.09 c iter 797 time 990.868 not-muc 17493 unknown 24681 muc 782 1164.00/1164.09 c iter 798 time 1006.77 not-muc 17559 unknown 24615 muc 782 1164.00/1164.09 c iter 799 time 1024.93 not-muc 17732 unknown 24442 muc 782 1164.00/1164.09 c iter 800 time 1025.13 not-muc 17732 unknown 24441 muc 783 1164.00/1164.09 c iter 801 time 1025.21 not-muc 17732 unknown 24440 muc 784 1164.00/1164.09 c iter 802 time 1025.93 not-muc 17732 unknown 24439 muc 785 1164.00/1164.09 c iter 803 time 1070.1 not-muc 17762 unknown 24409 muc 785 1164.00/1164.09 c iter 804 time 1070.24 not-muc 17762 unknown 24408 muc 786 1164.00/1164.09 c iter 805 time 1070.44 not-muc 17762 unknown 24407 muc 787 1164.00/1164.09 c iter 806 time 1070.45 not-muc 17762 unknown 24406 muc 788 1164.00/1164.09 c iter 807 time 1071.51 not-muc 17762 unknown 24405 muc 789 1164.00/1164.09 c iter 808 time 1071.52 not-muc 17762 unknown 24404 muc 790 1164.00/1164.09 c iter 809 time 1071.53 not-muc 17762 unknown 24403 muc 791 1164.00/1164.09 c iter 810 time 1071.57 not-muc 17762 unknown 24402 muc 792 1164.00/1164.09 c iter 811 time 1071.59 not-muc 17762 unknown 24401 muc 793 1164.00/1164.09 c iter 812 time 1071.6 not-muc 17762 unknown 24400 muc 794 1164.00/1164.09 c iter 813 time 1071.6 not-muc 17762 unknown 24399 muc 795 1164.00/1164.09 c iter 814 time 1071.61 not-muc 17762 unknown 24398 muc 796 1164.00/1164.09 c iter 815 time 1071.62 not-muc 17762 unknown 24397 muc 797 1164.00/1164.09 c iter 816 time 1071.63 not-muc 17762 unknown 24396 muc 798 1164.00/1164.09 c iter 817 time 1071.63 not-muc 17762 unknown 24395 muc 799 1164.00/1164.09 c iter 818 time 1071.64 not-muc 17762 unknown 24394 muc 800 1164.00/1164.09 c iter 819 time 1071.65 not-muc 17762 unknown 24393 muc 801 1164.00/1164.09 c iter 820 time 1071.76 not-muc 17762 unknown 24392 muc 802 1164.00/1164.09 c iter 821 time 1071.77 not-muc 17762 unknown 24391 muc 803 1164.00/1164.09 c iter 822 time 1151.59 not-muc 17846 unknown 24307 muc 803 1164.00/1164.09 c iter 823 time 1151.68 not-muc 17846 unknown 24306 muc 804 1164.00/1164.09 c iter 824 time 1151.69 not-muc 17846 unknown 24305 muc 805 1341.60/1341.61 c iter 825 time 1151.69 not-muc 17846 unknown 24304 muc 806 1341.60/1341.61 c iter 826 time 1151.7 not-muc 17846 unknown 24303 muc 807 1341.60/1341.61 c iter 827 time 1151.71 not-muc 17846 unknown 24302 muc 808 1341.60/1341.61 c iter 828 time 1151.72 not-muc 17846 unknown 24301 muc 809 1341.60/1341.61 c iter 829 time 1151.72 not-muc 17846 unknown 24300 muc 810 1341.60/1341.61 c iter 830 time 1151.73 not-muc 17846 unknown 24299 muc 811 1341.60/1341.61 c iter 831 time 1151.74 not-muc 17846 unknown 24298 muc 812 1341.60/1341.61 c iter 832 time 1151.74 not-muc 17846 unknown 24297 muc 813 1341.60/1341.61 c iter 833 time 1151.75 not-muc 17846 unknown 24296 muc 814 1341.60/1341.61 c iter 834 time 1151.76 not-muc 17846 unknown 24295 muc 815 1341.60/1341.61 c iter 835 time 1151.77 not-muc 17846 unknown 24294 muc 816 1341.60/1341.61 c iter 836 time 1151.77 not-muc 17846 unknown 24293 muc 817 1341.60/1341.61 c iter 837 time 1151.78 not-muc 17846 unknown 24292 muc 818 1341.60/1341.61 c iter 838 time 1151.79 not-muc 17846 unknown 24291 muc 819 1341.60/1341.61 c iter 839 time 1151.79 not-muc 17846 unknown 24290 muc 820 1341.60/1341.61 c iter 840 time 1151.8 not-muc 17846 unknown 24289 muc 821 1341.60/1341.61 c iter 841 time 1151.81 not-muc 17846 unknown 24288 muc 822 1341.60/1341.61 c iter 842 time 1151.81 not-muc 17846 unknown 24287 muc 823 1341.60/1341.61 c iter 843 time 1151.82 not-muc 17846 unknown 24286 muc 824 1341.60/1341.61 c iter 844 time 1184.68 not-muc 17889 unknown 24243 muc 824 1341.60/1341.61 c iter 845 time 1185.36 not-muc 17889 unknown 24242 muc 825 1341.60/1341.61 c iter 846 time 1185.36 not-muc 17889 unknown 24241 muc 826 1341.60/1341.61 c iter 847 time 1185.37 not-muc 17889 unknown 24240 muc 827 1341.60/1341.61 c iter 848 time 1185.38 not-muc 17889 unknown 24239 muc 828 1341.60/1341.61 c iter 849 time 1185.39 not-muc 17889 unknown 24238 muc 829 1341.60/1341.61 c iter 850 time 1185.39 not-muc 17889 unknown 24237 muc 830 1341.60/1341.61 c iter 851 time 1185.4 not-muc 17889 unknown 24236 muc 831 1341.60/1341.61 c iter 852 time 1185.41 not-muc 17889 unknown 24235 muc 832 1341.60/1341.61 c iter 853 time 1185.42 not-muc 17889 unknown 24234 muc 833 1341.60/1341.61 c iter 854 time 1248.83 not-muc 17903 unknown 24220 muc 833 1341.60/1341.61 c iter 855 time 1248.92 not-muc 17903 unknown 24219 muc 834 1341.60/1341.61 c iter 856 time 1248.93 not-muc 17903 unknown 24218 muc 835 1341.60/1341.61 c iter 857 time 1248.94 not-muc 17903 unknown 24217 muc 836 1341.60/1341.61 c iter 858 time 1248.95 not-muc 17903 unknown 24216 muc 837 1341.60/1341.61 c iter 859 time 1248.95 not-muc 17903 unknown 24215 muc 838 1341.60/1341.61 c iter 860 time 1248.96 not-muc 17903 unknown 24214 muc 839 1341.60/1341.61 c iter 861 time 1248.97 not-muc 17903 unknown 24213 muc 840 1341.60/1341.61 c iter 862 time 1248.97 not-muc 17903 unknown 24212 muc 841 1341.60/1341.61 c iter 863 time 1248.98 not-muc 17903 unknown 24211 muc 842 1341.60/1341.61 c iter 864 time 1248.99 not-muc 17903 unknown 24210 muc 843 1341.60/1341.61 c iter 865 time 1249 not-muc 17903 unknown 24209 muc 844 1341.60/1341.61 c iter 866 time 1249 not-muc 17903 unknown 24208 muc 845 1341.60/1341.61 c iter 867 time 1249.01 not-muc 17903 unknown 24207 muc 846 1341.60/1341.61 c iter 868 time 1249.02 not-muc 17903 unknown 24206 muc 847 1341.60/1341.61 c iter 869 time 1249.02 not-muc 17903 unknown 24205 muc 848 1341.60/1341.61 c iter 870 time 1249.03 not-muc 17903 unknown 24204 muc 849 1341.60/1341.61 c iter 871 time 1249.05 not-muc 17903 unknown 24203 muc 850 1341.60/1341.61 c iter 872 time 1249.06 not-muc 17903 unknown 24202 muc 851 1341.60/1341.61 c iter 873 time 1326.38 not-muc 17994 unknown 24111 muc 851 1341.60/1341.61 c iter 874 time 1326.97 not-muc 17994 unknown 24110 muc 852 1341.60/1341.61 c iter 875 time 1327.14 not-muc 17994 unknown 24109 muc 853 1341.60/1341.61 c iter 876 time 1327.15 not-muc 17994 unknown 24108 muc 854 1341.60/1341.61 c iter 877 time 1327.16 not-muc 17994 unknown 24107 muc 855 1341.60/1341.61 c iter 878 time 1327.17 not-muc 17994 unknown 24106 muc 856 1341.60/1341.61 c iter 879 time 1327.18 not-muc 17994 unknown 24105 muc 857 1341.60/1341.61 c iter 880 time 1327.18 not-muc 17994 unknown 24104 muc 858 1341.60/1341.61 c iter 881 time 1327.19 not-muc 17994 unknown 24103 muc 859 1341.60/1341.61 c iter 882 time 1327.2 not-muc 17994 unknown 24102 muc 860 1341.60/1341.61 c iter 883 time 1327.2 not-muc 17994 unknown 24101 muc 861 1341.60/1341.61 c iter 884 time 1327.21 not-muc 17994 unknown 24100 muc 862 1341.60/1341.61 c iter 885 time 1327.22 not-muc 17994 unknown 24099 muc 863 1341.60/1341.61 c iter 886 time 1327.22 not-muc 17994 unknown 24098 muc 864 1341.60/1341.61 c iter 887 time 1327.23 not-muc 17994 unknown 24097 muc 865 1341.60/1341.61 c iter 888 time 1327.24 not-muc 17994 unknown 24096 muc 866 1341.60/1341.61 c iter 889 time 1327.24 not-muc 17994 unknown 24095 muc 867 1341.60/1341.61 c iter 890 time 1327.25 not-muc 17994 unknown 24094 muc 868 1341.60/1341.61 c iter 891 time 1327.26 not-muc 17994 unknown 24093 muc 869 1341.60/1341.61 c iter 892 time 1327.27 not-muc 17994 unknown 24092 muc 870 1607.02/1607.07 c iter 893 time 1327.27 not-muc 17994 unknown 24091 muc 871 1607.02/1607.07 c iter 894 time 1327.28 not-muc 17994 unknown 24090 muc 872 1607.02/1607.07 c iter 895 time 1327.29 not-muc 17994 unknown 24089 muc 873 1607.02/1607.07 c iter 896 time 1327.29 not-muc 17994 unknown 24088 muc 874 1607.02/1607.07 c iter 897 time 1327.3 not-muc 17994 unknown 24087 muc 875 1607.02/1607.07 c iter 898 time 1327.31 not-muc 17994 unknown 24086 muc 876 1607.02/1607.07 c iter 899 time 1327.31 not-muc 17994 unknown 24085 muc 877 1607.02/1607.07 c iter 900 time 1327.32 not-muc 17994 unknown 24084 muc 878 1607.02/1607.07 c iter 901 time 1395.03 not-muc 18064 unknown 24014 muc 878 1607.02/1607.07 c iter 902 time 1395.74 not-muc 18064 unknown 24013 muc 879 1607.02/1607.07 c iter 903 time 1395.75 not-muc 18064 unknown 24012 muc 880 1607.02/1607.07 c iter 904 time 1395.75 not-muc 18064 unknown 24011 muc 881 1607.02/1607.07 c iter 905 time 1395.76 not-muc 18064 unknown 24010 muc 882 1607.02/1607.07 c iter 906 time 1395.77 not-muc 18064 unknown 24009 muc 883 1607.02/1607.07 c iter 907 time 1395.77 not-muc 18064 unknown 24008 muc 884 1607.02/1607.07 c iter 908 time 1395.78 not-muc 18064 unknown 24007 muc 885 1607.02/1607.07 c iter 909 time 1395.79 not-muc 18064 unknown 24006 muc 886 1607.02/1607.07 c iter 910 time 1395.8 not-muc 18064 unknown 24005 muc 887 1607.02/1607.07 c iter 911 time 1395.81 not-muc 18064 unknown 24004 muc 888 1607.02/1607.07 c iter 912 time 1395.82 not-muc 18064 unknown 24003 muc 889 1607.02/1607.07 c iter 913 time 1395.83 not-muc 18064 unknown 24002 muc 890 1607.02/1607.07 c iter 914 time 1395.84 not-muc 18064 unknown 24001 muc 891 1607.02/1607.07 c iter 915 time 1395.85 not-muc 18064 unknown 24000 muc 892 1607.02/1607.07 c iter 916 time 1395.85 not-muc 18064 unknown 23999 muc 893 1607.02/1607.07 c iter 917 time 1395.86 not-muc 18064 unknown 23998 muc 894 1607.02/1607.07 c iter 918 time 1395.87 not-muc 18064 unknown 23997 muc 895 1607.02/1607.07 c iter 919 time 1395.88 not-muc 18064 unknown 23996 muc 896 1607.02/1607.07 c iter 920 time 1471.5 not-muc 18073 unknown 23987 muc 896 1607.02/1607.07 c iter 921 time 1471.75 not-muc 18073 unknown 23986 muc 897 1607.02/1607.07 c iter 922 time 1471.76 not-muc 18073 unknown 23985 muc 898 1607.02/1607.07 c iter 923 time 1471.76 not-muc 18073 unknown 23984 muc 899 1607.02/1607.07 c iter 924 time 1471.77 not-muc 18073 unknown 23983 muc 900 1607.02/1607.07 c iter 925 time 1471.78 not-muc 18073 unknown 23982 muc 901 1607.02/1607.07 c iter 926 time 1471.79 not-muc 18073 unknown 23981 muc 902 1607.02/1607.07 c iter 927 time 1534 not-muc 18089 unknown 23965 muc 902 1607.02/1607.07 c iter 928 time 1536.9 not-muc 18089 unknown 23964 muc 903 1607.02/1607.07 c iter 929 time 1536.94 not-muc 18089 unknown 23963 muc 904 1607.02/1607.07 c iter 930 time 1536.95 not-muc 18089 unknown 23962 muc 905 1607.02/1607.07 c iter 931 time 1537.63 not-muc 18089 unknown 23961 muc 906 1607.02/1607.07 c iter 932 time 1538.05 not-muc 18089 unknown 23960 muc 907 1607.02/1607.07 c iter 933 time 1538.06 not-muc 18089 unknown 23959 muc 908 1607.02/1607.07 c iter 934 time 1538.07 not-muc 18089 unknown 23958 muc 909 1607.02/1607.07 c iter 935 time 1538.08 not-muc 18089 unknown 23957 muc 910 1607.02/1607.07 c iter 936 time 1538.09 not-muc 18089 unknown 23956 muc 911 1607.02/1607.07 c iter 937 time 1538.1 not-muc 18089 unknown 23955 muc 912 1607.02/1607.07 c iter 938 time 1538.1 not-muc 18089 unknown 23954 muc 913 1607.02/1607.07 c iter 939 time 1538.11 not-muc 18089 unknown 23953 muc 914 1607.02/1607.07 c iter 940 time 1538.12 not-muc 18089 unknown 23952 muc 915 1607.02/1607.07 c iter 941 time 1538.13 not-muc 18089 unknown 23951 muc 916 1607.02/1607.07 c iter 942 time 1538.13 not-muc 18089 unknown 23950 muc 917 1607.02/1607.07 c iter 943 time 1538.14 not-muc 18089 unknown 23949 muc 918 1607.02/1607.07 c iter 944 time 1539.99 not-muc 18089 unknown 23948 muc 919 1607.02/1607.07 c iter 945 time 1540 not-muc 18089 unknown 23947 muc 920 1607.02/1607.07 c iter 946 time 1589.15 not-muc 18134 unknown 23902 muc 920 1607.02/1607.07 c iter 947 time 1589.68 not-muc 18134 unknown 23901 muc 921 1607.02/1607.07 c iter 948 time 1589.69 not-muc 18134 unknown 23900 muc 922 1607.02/1607.07 c iter 949 time 1589.7 not-muc 18134 unknown 23899 muc 923 1607.02/1607.07 c iter 950 time 1589.71 not-muc 18134 unknown 23898 muc 924 1607.02/1607.07 c iter 951 time 1589.71 not-muc 18134 unknown 23897 muc 925 1607.02/1607.07 c iter 952 time 1589.72 not-muc 18134 unknown 23896 muc 926 1607.02/1607.07 c iter 953 time 1589.73 not-muc 18134 unknown 23895 muc 927 1607.02/1607.07 c iter 954 time 1589.73 not-muc 18134 unknown 23894 muc 928 1607.02/1607.07 c iter 955 time 1589.74 not-muc 18134 unknown 23893 muc 929 1607.02/1607.07 c iter 956 time 1589.75 not-muc 18134 unknown 23892 muc 930 1607.02/1607.07 c iter 957 time 1589.76 not-muc 18134 unknown 23891 muc 931 1607.02/1607.07 c iter 958 time 1589.76 not-muc 18134 unknown 23890 muc 932 1607.02/1607.07 c iter 959 time 1589.77 not-muc 18134 unknown 23889 muc 933 1607.02/1607.07 c iter 960 time 1589.78 not-muc 18134 unknown 23888 muc 934 1607.02/1607.07 c iter 961 time 1589.78 not-muc 18134 unknown 23887 muc 935 1690.42/1690.45 c iter 962 time 1589.79 not-muc 18134 unknown 23886 muc 936 1690.42/1690.45 c iter 963 time 1589.8 not-muc 18134 unknown 23885 muc 937 1690.42/1690.45 c iter 964 time 1589.8 not-muc 18134 unknown 23884 muc 938 1690.42/1690.45 c iter 965 time 1589.81 not-muc 18134 unknown 23883 muc 939 1690.42/1690.45 c iter 966 time 1589.82 not-muc 18134 unknown 23882 muc 940 1690.42/1690.45 c iter 967 time 1589.82 not-muc 18134 unknown 23881 muc 941 1690.42/1690.45 c iter 968 time 1612.08 not-muc 18162 unknown 23853 muc 941 1690.42/1690.45 c iter 969 time 1612.25 not-muc 18162 unknown 23852 muc 942 1690.42/1690.45 c iter 970 time 1623.71 not-muc 18178 unknown 23836 muc 942 1690.42/1690.45 c iter 971 time 1623.79 not-muc 18178 unknown 23835 muc 943 1690.42/1690.45 c iter 972 time 1623.8 not-muc 18178 unknown 23834 muc 944 1690.42/1690.45 c iter 973 time 1623.8 not-muc 18178 unknown 23833 muc 945 1690.42/1690.45 c iter 974 time 1623.81 not-muc 18178 unknown 23832 muc 946 1690.42/1690.45 c iter 975 time 1664.93 not-muc 18181 unknown 23829 muc 946 1690.42/1690.45 c iter 976 time 1665.04 not-muc 18181 unknown 23828 muc 947 1690.42/1690.45 c iter 977 time 1665.25 not-muc 18181 unknown 23827 muc 948 1690.42/1690.45 c iter 978 time 1665.26 not-muc 18181 unknown 23826 muc 949 1690.42/1690.45 c iter 979 time 1665.27 not-muc 18181 unknown 23825 muc 950 1690.42/1690.45 c iter 980 time 1665.27 not-muc 18181 unknown 23824 muc 951 1690.42/1690.45 c iter 981 time 1665.38 not-muc 18181 unknown 23823 muc 952 1690.42/1690.45 c iter 982 time 1665.38 not-muc 18181 unknown 23822 muc 953 1690.42/1690.45 c iter 983 time 1670.53 not-muc 18181 unknown 23821 muc 954 1690.42/1690.45 c iter 984 time 1670.54 not-muc 18181 unknown 23820 muc 955 1690.42/1690.45 c iter 985 time 1670.55 not-muc 18181 unknown 23819 muc 956 1690.42/1690.45 c iter 986 time 1670.55 not-muc 18181 unknown 23818 muc 957 1690.42/1690.45 c iter 987 time 1670.56 not-muc 18181 unknown 23817 muc 958 1690.42/1690.45 c iter 988 time 1670.57 not-muc 18181 unknown 23816 muc 959 1690.42/1690.45 c iter 989 time 1670.58 not-muc 18181 unknown 23815 muc 960 1690.42/1690.45 c iter 990 time 1670.58 not-muc 18181 unknown 23814 muc 961 1690.42/1690.45 c iter 991 time 1670.59 not-muc 18181 unknown 23813 muc 962 1690.42/1690.45 c iter 992 time 1670.6 not-muc 18181 unknown 23812 muc 963 1690.42/1690.45 c iter 993 time 1670.6 not-muc 18181 unknown 23811 muc 964 1690.42/1690.45 c iter 994 time 1670.61 not-muc 18181 unknown 23810 muc 965 1690.42/1690.45 c iter 995 time 1670.62 not-muc 18181 unknown 23809 muc 966 1690.42/1690.45 c iter 996 time 1671.97 not-muc 18181 unknown 23808 muc 967 1690.42/1690.45 c iter 997 time 1671.98 not-muc 18181 unknown 23807 muc 968 1690.42/1690.45 c iter 998 time 1671.99 not-muc 18181 unknown 23806 muc 969 1690.42/1690.45 c iter 999 time 1671.99 not-muc 18181 unknown 23805 muc 970 1690.42/1690.45 c iter 1000 time 1672 not-muc 18181 unknown 23804 muc 971 1690.42/1690.45 c iter 1001 time 1672.01 not-muc 18181 unknown 23803 muc 972 1690.42/1690.45 c iter 1002 time 1672.02 not-muc 18181 unknown 23802 muc 973 1690.42/1690.45 c iter 1003 time 1672.02 not-muc 18181 unknown 23801 muc 974 1690.42/1690.45 c iter 1004 time 1672.03 not-muc 18181 unknown 23800 muc 975 1690.42/1690.45 c iter 1005 time 1672.04 not-muc 18181 unknown 23799 muc 976 1690.42/1690.45 c iter 1006 time 1672.04 not-muc 18181 unknown 23798 muc 977 1690.42/1690.45 c iter 1007 time 1672.05 not-muc 18181 unknown 23797 muc 978 1690.42/1690.45 c iter 1008 time 1672.06 not-muc 18181 unknown 23796 muc 979 1690.42/1690.45 c iter 1009 time 1672.07 not-muc 18181 unknown 23795 muc 980 1690.42/1690.45 c iter 1010 time 1672.07 not-muc 18181 unknown 23794 muc 981 1690.42/1690.45 c iter 1011 time 1672.08 not-muc 18181 unknown 23793 muc 982 1690.42/1690.45 c iter 1012 time 1672.09 not-muc 18181 unknown 23792 muc 983 1690.42/1690.45 c iter 1013 time 1672.1 not-muc 18181 unknown 23791 muc 984 1690.42/1690.45 c iter 1014 time 1672.1 not-muc 18181 unknown 23790 muc 985 1690.42/1690.45 c iter 1015 time 1672.11 not-muc 18181 unknown 23789 muc 986 1690.42/1690.45 c iter 1016 time 1672.12 not-muc 18181 unknown 23788 muc 987 1690.42/1690.45 c iter 1017 time 1672.13 not-muc 18181 unknown 23787 muc 988 1690.42/1690.45 c iter 1018 time 1672.13 not-muc 18181 unknown 23786 muc 989 1690.42/1690.45 c iter 1019 time 1672.14 not-muc 18181 unknown 23785 muc 990 1690.42/1690.45 c iter 1020 time 1672.15 not-muc 18181 unknown 23784 muc 991 1690.42/1690.45 c iter 1021 time 1672.16 not-muc 18181 unknown 23783 muc 992 1690.42/1690.45 c iter 1022 time 1672.16 not-muc 18181 unknown 23782 muc 993 1690.42/1690.45 c iter 1023 time 1672.17 not-muc 18181 unknown 23781 muc 994 1690.42/1690.45 c iter 1024 time 1672.18 not-muc 18181 unknown 23780 muc 995 1690.42/1690.45 c iter 1025 time 1672.19 not-muc 18181 unknown 23779 muc 996 1690.42/1690.45 c iter 1026 time 1672.2 not-muc 18181 unknown 23778 muc 997 1690.42/1690.45 c iter 1027 time 1672.2 not-muc 18181 unknown 23777 muc 998 1690.42/1690.45 c iter 1028 time 1672.21 not-muc 18181 unknown 23776 muc 999 1690.42/1690.45 c iter 1029 time 1672.22 not-muc 18181 unknown 23775 muc 1000 1691.31/1691.37 c iter 1030 time 1672.23 not-muc 18181 unknown 23774 muc 1001 1691.31/1691.37 c iter 1031 time 1672.24 not-muc 18181 unknown 23773 muc 1002 1691.31/1691.37 c iter 1032 time 1672.24 not-muc 18181 unknown 23772 muc 1003 1691.31/1691.37 c iter 1033 time 1672.25 not-muc 18181 unknown 23771 muc 1004 1691.31/1691.37 c iter 1034 time 1672.26 not-muc 18181 unknown 23770 muc 1005 1691.31/1691.37 c iter 1035 time 1672.27 not-muc 18181 unknown 23769 muc 1006 1691.31/1691.37 c iter 1036 time 1672.28 not-muc 18181 unknown 23768 muc 1007 1691.31/1691.37 c iter 1037 time 1672.29 not-muc 18181 unknown 23767 muc 1008 1691.31/1691.37 c iter 1038 time 1672.3 not-muc 18181 unknown 23766 muc 1009 1691.31/1691.37 c iter 1039 time 1672.31 not-muc 18181 unknown 23765 muc 1010 1691.31/1691.37 c iter 1040 time 1672.32 not-muc 18181 unknown 23764 muc 1011 1691.31/1691.37 c iter 1041 time 1672.33 not-muc 18181 unknown 23763 muc 1012 1691.31/1691.37 c iter 1042 time 1672.34 not-muc 18181 unknown 23762 muc 1013 1691.31/1691.37 c iter 1043 time 1672.34 not-muc 18181 unknown 23761 muc 1014 1691.31/1691.37 c iter 1044 time 1672.35 not-muc 18181 unknown 23760 muc 1015 1691.31/1691.37 c iter 1045 time 1672.36 not-muc 18181 unknown 23759 muc 1016 1691.31/1691.37 c iter 1046 time 1672.37 not-muc 18181 unknown 23758 muc 1017 1691.31/1691.37 c iter 1047 time 1672.38 not-muc 18181 unknown 23757 muc 1018 1691.31/1691.37 c iter 1048 time 1672.39 not-muc 18181 unknown 23756 muc 1019 1691.31/1691.37 c iter 1049 time 1672.51 not-muc 18181 unknown 23755 muc 1020 1691.31/1691.37 c iter 1050 time 1672.52 not-muc 18181 unknown 23754 muc 1021 1691.31/1691.37 c iter 1051 time 1672.53 not-muc 18181 unknown 23753 muc 1022 1691.31/1691.37 c iter 1052 time 1672.54 not-muc 18181 unknown 23752 muc 1023 1691.31/1691.37 c iter 1053 time 1672.55 not-muc 18181 unknown 23751 muc 1024 1691.31/1691.37 c iter 1054 time 1672.56 not-muc 18181 unknown 23750 muc 1025 1691.31/1691.37 c iter 1055 time 1672.57 not-muc 18181 unknown 23749 muc 1026 1691.31/1691.37 c iter 1056 time 1672.57 not-muc 18181 unknown 23748 muc 1027 1691.31/1691.37 c iter 1057 time 1672.58 not-muc 18181 unknown 23747 muc 1028 1691.31/1691.37 c iter 1058 time 1672.59 not-muc 18181 unknown 23746 muc 1029 1691.31/1691.37 c iter 1059 time 1672.6 not-muc 18181 unknown 23745 muc 1030 1691.31/1691.37 c iter 1060 time 1672.61 not-muc 18181 unknown 23744 muc 1031 1691.31/1691.37 c iter 1061 time 1672.62 not-muc 18181 unknown 23743 muc 1032 1691.31/1691.37 c iter 1062 time 1672.63 not-muc 18181 unknown 23742 muc 1033 1691.31/1691.37 c iter 1063 time 1672.64 not-muc 18181 unknown 23741 muc 1034 1691.31/1691.37 c iter 1064 time 1672.66 not-muc 18181 unknown 23740 muc 1035 1691.31/1691.37 c iter 1065 time 1672.67 not-muc 18181 unknown 23739 muc 1036 1691.31/1691.37 c iter 1066 time 1672.68 not-muc 18181 unknown 23738 muc 1037 1691.31/1691.37 c iter 1067 time 1672.69 not-muc 18181 unknown 23737 muc 1038 1691.31/1691.37 c iter 1068 time 1672.7 not-muc 18181 unknown 23736 muc 1039 1691.31/1691.37 c iter 1069 time 1672.71 not-muc 18181 unknown 23735 muc 1040 1691.31/1691.37 c iter 1070 time 1672.73 not-muc 18181 unknown 23734 muc 1041 1691.31/1691.37 c iter 1071 time 1672.75 not-muc 18181 unknown 23733 muc 1042 1691.31/1691.37 c iter 1072 time 1672.76 not-muc 18181 unknown 23732 muc 1043 1691.31/1691.37 c iter 1073 time 1672.77 not-muc 18181 unknown 23731 muc 1044 1691.31/1691.37 c iter 1074 time 1672.78 not-muc 18181 unknown 23730 muc 1045 1691.31/1691.37 c iter 1075 time 1672.8 not-muc 18181 unknown 23729 muc 1046 1691.31/1691.37 c iter 1076 time 1672.81 not-muc 18181 unknown 23728 muc 1047 1691.31/1691.37 c iter 1077 time 1672.83 not-muc 18181 unknown 23727 muc 1048 1691.31/1691.37 c iter 1078 time 1672.84 not-muc 18181 unknown 23726 muc 1049 1691.31/1691.37 c iter 1079 time 1672.86 not-muc 18181 unknown 23725 muc 1050 1691.31/1691.37 c iter 1080 time 1672.87 not-muc 18181 unknown 23724 muc 1051 1691.31/1691.37 c iter 1081 time 1672.88 not-muc 18181 unknown 23723 muc 1052 1691.31/1691.37 c iter 1082 time 1672.89 not-muc 18181 unknown 23722 muc 1053 1691.31/1691.37 c iter 1083 time 1672.9 not-muc 18181 unknown 23721 muc 1054 1691.31/1691.37 c iter 1084 time 1672.91 not-muc 18181 unknown 23720 muc 1055 1691.31/1691.37 c iter 1085 time 1672.92 not-muc 18181 unknown 23719 muc 1056 1691.31/1691.37 c iter 1086 time 1672.94 not-muc 18181 unknown 23718 muc 1057 1691.31/1691.37 c iter 1087 time 1672.95 not-muc 18181 unknown 23717 muc 1058 1691.31/1691.37 c iter 1088 time 1673.04 not-muc 18181 unknown 23716 muc 1059 1691.31/1691.37 c iter 1089 time 1673.06 not-muc 18181 unknown 23715 muc 1060 1691.31/1691.37 c iter 1090 time 1673.07 not-muc 18181 unknown 23714 muc 1061 1691.31/1691.37 c iter 1091 time 1673.08 not-muc 18181 unknown 23713 muc 1062 1691.31/1691.37 c iter 1092 time 1673.1 not-muc 18181 unknown 23712 muc 1063 1691.31/1691.37 c iter 1093 time 1673.11 not-muc 18181 unknown 23711 muc 1064 1691.31/1691.37 c iter 1094 time 1673.12 not-muc 18181 unknown 23710 muc 1065 1691.31/1691.37 c iter 1095 time 1673.13 not-muc 18181 unknown 23709 muc 1066 1729.32/1729.32 c iter 1096 time 1673.15 not-muc 18181 unknown 23708 muc 1067 1729.32/1729.32 c iter 1097 time 1673.16 not-muc 18181 unknown 23707 muc 1068 1729.32/1729.32 c iter 1098 time 1673.17 not-muc 18181 unknown 23706 muc 1069 1729.32/1729.32 c iter 1099 time 1673.18 not-muc 18181 unknown 23705 muc 1070 1729.32/1729.32 c iter 1100 time 1673.2 not-muc 18181 unknown 23704 muc 1071 1729.32/1729.32 c iter 1101 time 1673.21 not-muc 18181 unknown 23703 muc 1072 1729.32/1729.32 c iter 1102 time 1673.22 not-muc 18181 unknown 23702 muc 1073 1729.32/1729.32 c iter 1103 time 1673.23 not-muc 18181 unknown 23701 muc 1074 1729.32/1729.32 c iter 1104 time 1673.25 not-muc 18181 unknown 23700 muc 1075 1729.32/1729.32 c iter 1105 time 1673.26 not-muc 18181 unknown 23699 muc 1076 1729.32/1729.32 c iter 1106 time 1673.27 not-muc 18181 unknown 23698 muc 1077 1729.32/1729.32 c iter 1107 time 1673.29 not-muc 18181 unknown 23697 muc 1078 1729.32/1729.32 c iter 1108 time 1673.3 not-muc 18181 unknown 23696 muc 1079 1729.32/1729.32 c iter 1109 time 1673.31 not-muc 18181 unknown 23695 muc 1080 1729.32/1729.32 c iter 1110 time 1673.33 not-muc 18181 unknown 23694 muc 1081 1729.32/1729.32 c iter 1111 time 1673.34 not-muc 18181 unknown 23693 muc 1082 1729.32/1729.32 c iter 1112 time 1673.36 not-muc 18181 unknown 23692 muc 1083 1729.32/1729.32 c iter 1113 time 1673.37 not-muc 18181 unknown 23691 muc 1084 1729.32/1729.32 c iter 1114 time 1673.38 not-muc 18181 unknown 23690 muc 1085 1729.32/1729.32 c iter 1115 time 1673.4 not-muc 18181 unknown 23689 muc 1086 1729.32/1729.32 c iter 1116 time 1673.42 not-muc 18181 unknown 23688 muc 1087 1729.32/1729.32 c iter 1117 time 1673.43 not-muc 18181 unknown 23687 muc 1088 1729.32/1729.32 c iter 1118 time 1673.45 not-muc 18181 unknown 23686 muc 1089 1729.32/1729.32 c iter 1119 time 1673.47 not-muc 18181 unknown 23685 muc 1090 1729.32/1729.32 c iter 1120 time 1673.48 not-muc 18181 unknown 23684 muc 1091 1729.32/1729.32 c iter 1121 time 1673.5 not-muc 18181 unknown 23683 muc 1092 1729.32/1729.32 c iter 1122 time 1673.51 not-muc 18181 unknown 23682 muc 1093 1729.32/1729.32 c iter 1123 time 1673.53 not-muc 18181 unknown 23681 muc 1094 1729.32/1729.32 c iter 1124 time 1673.55 not-muc 18181 unknown 23680 muc 1095 1729.32/1729.32 c iter 1125 time 1673.56 not-muc 18181 unknown 23679 muc 1096 1729.32/1729.32 c iter 1126 time 1673.58 not-muc 18181 unknown 23678 muc 1097 1729.32/1729.32 c iter 1127 time 1673.6 not-muc 18181 unknown 23677 muc 1098 1729.32/1729.32 c iter 1128 time 1673.62 not-muc 18181 unknown 23676 muc 1099 1729.32/1729.32 c iter 1129 time 1673.63 not-muc 18181 unknown 23675 muc 1100 1729.32/1729.32 c iter 1130 time 1673.65 not-muc 18181 unknown 23674 muc 1101 1729.32/1729.32 c iter 1131 time 1673.67 not-muc 18181 unknown 23673 muc 1102 1729.32/1729.32 c iter 1132 time 1673.69 not-muc 18181 unknown 23672 muc 1103 1729.32/1729.32 c iter 1133 time 1673.72 not-muc 18181 unknown 23671 muc 1104 1729.32/1729.32 c iter 1134 time 1673.73 not-muc 18181 unknown 23670 muc 1105 1729.32/1729.32 c iter 1135 time 1673.74 not-muc 18181 unknown 23669 muc 1106 1729.32/1729.32 c iter 1136 time 1673.77 not-muc 18181 unknown 23668 muc 1107 1729.32/1729.32 c iter 1137 time 1709.33 not-muc 18188 unknown 23661 muc 1107 1729.32/1729.32 c iter 1138 time 1709.38 not-muc 18188 unknown 23660 muc 1108 1729.32/1729.32 c iter 1139 time 1709.42 not-muc 18188 unknown 23659 muc 1109 1729.32/1729.32 c iter 1140 time 1709.43 not-muc 18188 unknown 23658 muc 1110 1729.32/1729.32 c iter 1141 time 1709.44 not-muc 18188 unknown 23657 muc 1111 1729.32/1729.32 c iter 1142 time 1709.69 not-muc 18188 unknown 23656 muc 1112 1729.32/1729.32 c iter 1143 time 1709.69 not-muc 18188 unknown 23655 muc 1113 1729.32/1729.32 c iter 1144 time 1709.71 not-muc 18188 unknown 23654 muc 1114 1729.32/1729.32 c iter 1145 time 1709.72 not-muc 18188 unknown 23653 muc 1115 1729.32/1729.32 c iter 1146 time 1710.53 not-muc 18188 unknown 23652 muc 1116 1729.32/1729.32 c iter 1147 time 1710.54 not-muc 18188 unknown 23651 muc 1117 1729.32/1729.32 c iter 1148 time 1710.54 not-muc 18188 unknown 23650 muc 1118 1729.32/1729.32 c iter 1149 time 1710.55 not-muc 18188 unknown 23649 muc 1119 1729.32/1729.32 c iter 1150 time 1710.56 not-muc 18188 unknown 23648 muc 1120 1729.32/1729.32 c iter 1151 time 1710.57 not-muc 18188 unknown 23647 muc 1121 1729.32/1729.32 c iter 1152 time 1710.58 not-muc 18188 unknown 23646 muc 1122 1729.32/1729.32 c iter 1153 time 1710.59 not-muc 18188 unknown 23645 muc 1123 1729.32/1729.32 c iter 1154 time 1710.6 not-muc 18188 unknown 23644 muc 1124 1729.32/1729.32 c iter 1155 time 1710.61 not-muc 18188 unknown 23643 muc 1125 1729.32/1729.32 c iter 1156 time 1710.62 not-muc 18188 unknown 23642 muc 1126 1729.32/1729.32 c iter 1157 time 1710.63 not-muc 18188 unknown 23641 muc 1127 1729.32/1729.32 c iter 1158 time 1710.64 not-muc 18188 unknown 23640 muc 1128 1729.32/1729.32 c iter 1159 time 1710.66 not-muc 18188 unknown 23639 muc 1129 1729.32/1729.32 c iter 1160 time 1710.67 not-muc 18188 unknown 23638 muc 1130 1729.32/1729.32 c iter 1161 time 1710.68 not-muc 18188 unknown 23637 muc 1131 1741.32/1741.32 c iter 1162 time 1710.7 not-muc 18188 unknown 23636 muc 1132 1741.32/1741.32 c iter 1163 time 1710.71 not-muc 18188 unknown 23635 muc 1133 1741.32/1741.32 c iter 1164 time 1710.72 not-muc 18188 unknown 23634 muc 1134 1741.32/1741.32 c iter 1165 time 1710.74 not-muc 18188 unknown 23633 muc 1135 1741.32/1741.32 c iter 1166 time 1710.75 not-muc 18188 unknown 23632 muc 1136 1741.32/1741.32 c iter 1167 time 1710.77 not-muc 18188 unknown 23631 muc 1137 1741.32/1741.32 c iter 1168 time 1710.78 not-muc 18188 unknown 23630 muc 1138 1741.32/1741.32 c iter 1169 time 1710.8 not-muc 18188 unknown 23629 muc 1139 1741.32/1741.32 c iter 1170 time 1710.81 not-muc 18188 unknown 23628 muc 1140 1741.32/1741.32 c iter 1171 time 1710.83 not-muc 18188 unknown 23627 muc 1141 1741.32/1741.32 c iter 1172 time 1710.84 not-muc 18188 unknown 23626 muc 1142 1741.32/1741.32 c iter 1173 time 1710.86 not-muc 18188 unknown 23625 muc 1143 1741.32/1741.32 c iter 1174 time 1713.54 not-muc 18188 unknown 23624 muc 1144 1741.32/1741.32 c iter 1175 time 1713.6 not-muc 18188 unknown 23623 muc 1145 1741.32/1741.32 c iter 1176 time 1713.72 not-muc 18188 unknown 23622 muc 1146 1741.32/1741.32 c iter 1177 time 1713.73 not-muc 18188 unknown 23621 muc 1147 1741.32/1741.32 c iter 1178 time 1713.73 not-muc 18188 unknown 23620 muc 1148 1741.32/1741.32 c iter 1179 time 1713.74 not-muc 18188 unknown 23619 muc 1149 1741.32/1741.32 c iter 1180 time 1713.75 not-muc 18188 unknown 23618 muc 1150 1741.32/1741.32 c iter 1181 time 1713.75 not-muc 18188 unknown 23617 muc 1151 1741.32/1741.32 c iter 1182 time 1713.76 not-muc 18188 unknown 23616 muc 1152 1741.32/1741.32 c iter 1183 time 1713.77 not-muc 18188 unknown 23615 muc 1153 1741.32/1741.32 c iter 1184 time 1714.75 not-muc 18188 unknown 23614 muc 1154 1741.32/1741.32 c iter 1185 time 1714.77 not-muc 18188 unknown 23613 muc 1155 1741.32/1741.32 c iter 1186 time 1718.28 not-muc 18188 unknown 23612 muc 1156 1741.32/1741.32 c iter 1187 time 1718.36 not-muc 18188 unknown 23611 muc 1157 1741.32/1741.32 c iter 1188 time 1718.5 not-muc 18188 unknown 23610 muc 1158 1741.32/1741.32 c iter 1189 time 1718.51 not-muc 18188 unknown 23609 muc 1159 1741.32/1741.32 c iter 1190 time 1718.53 not-muc 18188 unknown 23608 muc 1160 1741.32/1741.32 c iter 1191 time 1718.54 not-muc 18188 unknown 23607 muc 1161 1741.32/1741.32 c iter 1192 time 1718.55 not-muc 18188 unknown 23606 muc 1162 1741.32/1741.32 c iter 1193 time 1718.56 not-muc 18188 unknown 23605 muc 1163 1741.32/1741.32 c iter 1194 time 1718.94 not-muc 18188 unknown 23604 muc 1164 1741.32/1741.32 c iter 1195 time 1719.02 not-muc 18188 unknown 23603 muc 1165 1741.32/1741.32 c iter 1196 time 1720.8 not-muc 18188 unknown 23602 muc 1166 1741.32/1741.32 c iter 1197 time 1720.82 not-muc 18188 unknown 23601 muc 1167 1741.32/1741.32 c iter 1198 time 1721.14 not-muc 18188 unknown 23600 muc 1168 1741.32/1741.32 c iter 1199 time 1721.16 not-muc 18188 unknown 23599 muc 1169 1741.32/1741.32 c iter 1200 time 1721.91 not-muc 18188 unknown 23598 muc 1170 1741.32/1741.32 c iter 1201 time 1722.21 not-muc 18188 unknown 23597 muc 1171 1741.32/1741.32 c iter 1202 time 1722.37 not-muc 18188 unknown 23596 muc 1172 1741.32/1741.32 c iter 1203 time 1722.37 not-muc 18188 unknown 23595 muc 1173 1741.32/1741.32 c iter 1204 time 1722.38 not-muc 18188 unknown 23594 muc 1174 1741.32/1741.32 c iter 1205 time 1722.39 not-muc 18188 unknown 23593 muc 1175 1741.32/1741.32 c iter 1206 time 1722.39 not-muc 18188 unknown 23592 muc 1176 1741.32/1741.32 c iter 1207 time 1722.4 not-muc 18188 unknown 23591 muc 1177 1741.32/1741.32 c iter 1208 time 1722.41 not-muc 18188 unknown 23590 muc 1178 1741.32/1741.32 c iter 1209 time 1722.41 not-muc 18188 unknown 23589 muc 1179 1741.32/1741.32 c iter 1210 time 1722.42 not-muc 18188 unknown 23588 muc 1180 1741.32/1741.32 c iter 1211 time 1722.43 not-muc 18188 unknown 23587 muc 1181 1741.32/1741.32 c iter 1212 time 1722.43 not-muc 18188 unknown 23586 muc 1182 1741.32/1741.32 c iter 1213 time 1722.44 not-muc 18188 unknown 23585 muc 1183 1741.32/1741.32 c iter 1214 time 1722.45 not-muc 18188 unknown 23584 muc 1184 1741.32/1741.32 c iter 1215 time 1722.45 not-muc 18188 unknown 23583 muc 1185 1741.32/1741.32 c iter 1216 time 1722.46 not-muc 18188 unknown 23582 muc 1186 1741.32/1741.32 c iter 1217 time 1722.47 not-muc 18188 unknown 23581 muc 1187 1741.32/1741.32 c iter 1218 time 1722.47 not-muc 18188 unknown 23580 muc 1188 1741.32/1741.32 c iter 1219 time 1722.48 not-muc 18188 unknown 23579 muc 1189 1741.32/1741.32 c iter 1220 time 1722.49 not-muc 18188 unknown 23578 muc 1190 1741.32/1741.32 c iter 1221 time 1722.49 not-muc 18188 unknown 23577 muc 1191 1741.32/1741.32 c iter 1222 time 1722.5 not-muc 18188 unknown 23576 muc 1192 1741.32/1741.32 c iter 1223 time 1722.51 not-muc 18188 unknown 23575 muc 1193 1741.32/1741.32 c iter 1224 time 1722.51 not-muc 18188 unknown 23574 muc 1194 1741.32/1741.32 c iter 1225 time 1722.52 not-muc 18188 unknown 23573 muc 1195 1741.32/1741.32 c iter 1226 time 1722.53 not-muc 18188 unknown 23572 muc 1196 1741.32/1741.32 c iter 1227 time 1722.53 not-muc 18188 unknown 23571 muc 1197 1743.02/1743.05 c iter 1228 time 1722.54 not-muc 18188 unknown 23570 muc 1198 1743.02/1743.05 c iter 1229 time 1722.55 not-muc 18188 unknown 23569 muc 1199 1743.02/1743.05 c iter 1230 time 1722.55 not-muc 18188 unknown 23568 muc 1200 1743.02/1743.05 c iter 1231 time 1722.56 not-muc 18188 unknown 23567 muc 1201 1743.02/1743.05 c iter 1232 time 1722.57 not-muc 18188 unknown 23566 muc 1202 1743.02/1743.05 c iter 1233 time 1722.75 not-muc 18188 unknown 23565 muc 1203 1743.02/1743.05 c iter 1234 time 1722.95 not-muc 18188 unknown 23564 muc 1204 1743.02/1743.05 c iter 1235 time 1722.96 not-muc 18188 unknown 23563 muc 1205 1743.02/1743.05 c iter 1236 time 1722.96 not-muc 18188 unknown 23562 muc 1206 1743.02/1743.05 c iter 1237 time 1722.98 not-muc 18188 unknown 23561 muc 1207 1743.02/1743.05 c iter 1238 time 1723 not-muc 18188 unknown 23560 muc 1208 1743.02/1743.05 c iter 1239 time 1723.01 not-muc 18188 unknown 23559 muc 1209 1743.02/1743.05 c iter 1240 time 1723.55 not-muc 18188 unknown 23558 muc 1210 1743.02/1743.05 c iter 1241 time 1723.56 not-muc 18188 unknown 23557 muc 1211 1743.02/1743.05 c iter 1242 time 1723.57 not-muc 18188 unknown 23556 muc 1212 1743.02/1743.05 c iter 1243 time 1723.73 not-muc 18188 unknown 23555 muc 1213 1743.02/1743.05 c iter 1244 time 1723.86 not-muc 18188 unknown 23554 muc 1214 1743.02/1743.05 c iter 1245 time 1723.87 not-muc 18188 unknown 23553 muc 1215 1743.02/1743.05 c iter 1246 time 1723.87 not-muc 18188 unknown 23552 muc 1216 1743.02/1743.05 c iter 1247 time 1723.88 not-muc 18188 unknown 23551 muc 1217 1743.02/1743.05 c iter 1248 time 1723.89 not-muc 18188 unknown 23550 muc 1218 1743.02/1743.05 c iter 1249 time 1723.9 not-muc 18188 unknown 23549 muc 1219 1743.02/1743.05 c iter 1250 time 1723.9 not-muc 18188 unknown 23548 muc 1220 1743.02/1743.05 c iter 1251 time 1723.91 not-muc 18188 unknown 23547 muc 1221 1743.02/1743.05 c iter 1252 time 1723.92 not-muc 18188 unknown 23546 muc 1222 1743.02/1743.05 c iter 1253 time 1723.93 not-muc 18188 unknown 23545 muc 1223 1743.02/1743.05 c iter 1254 time 1723.93 not-muc 18188 unknown 23544 muc 1224 1743.02/1743.05 c iter 1255 time 1723.94 not-muc 18188 unknown 23543 muc 1225 1743.02/1743.05 c iter 1256 time 1723.95 not-muc 18188 unknown 23542 muc 1226 1743.02/1743.05 c iter 1257 time 1723.96 not-muc 18188 unknown 23541 muc 1227 1743.02/1743.05 c iter 1258 time 1723.96 not-muc 18188 unknown 23540 muc 1228 1743.02/1743.05 c iter 1259 time 1723.97 not-muc 18188 unknown 23539 muc 1229 1743.02/1743.05 c iter 1260 time 1723.98 not-muc 18188 unknown 23538 muc 1230 1743.02/1743.05 c iter 1261 time 1723.99 not-muc 18188 unknown 23537 muc 1231 1743.02/1743.05 c iter 1262 time 1723.99 not-muc 18188 unknown 23536 muc 1232 1743.02/1743.05 c iter 1263 time 1724 not-muc 18188 unknown 23535 muc 1233 1743.02/1743.05 c iter 1264 time 1724.01 not-muc 18188 unknown 23534 muc 1234 1743.02/1743.05 c iter 1265 time 1724.02 not-muc 18188 unknown 23533 muc 1235 1743.02/1743.05 c iter 1266 time 1724.03 not-muc 18188 unknown 23532 muc 1236 1743.02/1743.05 c iter 1267 time 1724.04 not-muc 18188 unknown 23531 muc 1237 1743.02/1743.05 c iter 1268 time 1724.04 not-muc 18188 unknown 23530 muc 1238 1743.02/1743.05 c iter 1269 time 1724.05 not-muc 18188 unknown 23529 muc 1239 1743.02/1743.05 c iter 1270 time 1724.06 not-muc 18188 unknown 23528 muc 1240 1743.02/1743.05 c iter 1271 time 1724.07 not-muc 18188 unknown 23527 muc 1241 1743.02/1743.05 c iter 1272 time 1724.08 not-muc 18188 unknown 23526 muc 1242 1743.02/1743.05 c iter 1273 time 1724.09 not-muc 18188 unknown 23525 muc 1243 1743.02/1743.05 c iter 1274 time 1724.09 not-muc 18188 unknown 23524 muc 1244 1743.02/1743.05 c iter 1275 time 1724.1 not-muc 18188 unknown 23523 muc 1245 1743.02/1743.05 c iter 1276 time 1724.11 not-muc 18188 unknown 23522 muc 1246 1743.02/1743.05 c iter 1277 time 1724.12 not-muc 18188 unknown 23521 muc 1247 1743.02/1743.05 c iter 1278 time 1724.12 not-muc 18188 unknown 23520 muc 1248 1743.02/1743.05 c iter 1279 time 1724.13 not-muc 18188 unknown 23519 muc 1249 1743.02/1743.05 c iter 1280 time 1724.14 not-muc 18188 unknown 23518 muc 1250 1743.02/1743.05 c iter 1281 time 1724.15 not-muc 18188 unknown 23517 muc 1251 1743.02/1743.05 c iter 1282 time 1724.16 not-muc 18188 unknown 23516 muc 1252 1743.02/1743.05 c iter 1283 time 1724.16 not-muc 18188 unknown 23515 muc 1253 1743.02/1743.05 c iter 1284 time 1724.17 not-muc 18188 unknown 23514 muc 1254 1743.02/1743.05 c iter 1285 time 1724.18 not-muc 18188 unknown 23513 muc 1255 1743.02/1743.05 c iter 1286 time 1724.19 not-muc 18188 unknown 23512 muc 1256 1743.02/1743.05 c iter 1287 time 1724.19 not-muc 18188 unknown 23511 muc 1257 1743.02/1743.05 c iter 1288 time 1724.2 not-muc 18188 unknown 23510 muc 1258 1743.02/1743.05 c iter 1289 time 1724.21 not-muc 18188 unknown 23509 muc 1259 1743.02/1743.05 c iter 1290 time 1724.22 not-muc 18188 unknown 23508 muc 1260 1743.02/1743.05 c iter 1291 time 1724.22 not-muc 18188 unknown 23507 muc 1261 1743.02/1743.05 c iter 1292 time 1724.23 not-muc 18188 unknown 23506 muc 1262 1743.02/1743.05 c iter 1293 time 1724.24 not-muc 18188 unknown 23505 muc 126
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-3493922-1307802598/watcher-3493922-1307802598 -o /tmp/evaluation-result-3493922-1307802598/solver-3493922-1307802598 -C 1800 -W 1850 -M 7680 HOME/hmuc-a HOME/instance-3493922-1307802598.cnf running on 2 cores: 1,3 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: 1.20 0.27 0.09 4/186 15133 /proc/meminfo: memFree=31219984/32951124 swapFree=67060628/67111528 [pid=15133] ppid=15131 vsize=23292 CPUtime=0 cores=1,3 /proc/15133/stat : 15133 (hmuc-a) R 15131 15133 14904 0 -1 4202496 1259 0 0 0 0 0 0 0 25 0 1 0 891860211 23851008 1178 33554432000 4194304 4311632 140735932021648 18446744073709551615 4240641 0 0 4096 8388610 0 0 0 17 1 0 0 0 /proc/15133/statm: 5823 1181 216 29 0 2452 0 [startup+0.0103049 s] /proc/loadavg: 1.20 0.27 0.09 4/186 15133 /proc/meminfo: memFree=31219984/32951124 swapFree=67060628/67111528 [pid=15133] ppid=15131 vsize=27048 CPUtime=0 cores=1,3 /proc/15133/stat : 15133 (hmuc-a) R 15131 15133 14904 0 -1 4202496 1916 0 0 0 0 0 0 0 25 0 1 0 891860211 27697152 1835 33554432000 4194304 4311632 140735932021648 18446744073709551615 253640556032 0 0 4096 8388610 0 0 0 17 1 0 0 0 /proc/15133/statm: 6762 1836 218 29 0 3391 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 27048 [startup+0.10229 s] /proc/loadavg: 1.20 0.27 0.09 4/186 15133 /proc/meminfo: memFree=31219984/32951124 swapFree=67060628/67111528 [pid=15133] ppid=15131 vsize=29412 CPUtime=0.09 cores=1,3 /proc/15133/stat : 15133 (hmuc-a) R 15131 15133 14904 0 -1 4202496 4098 0 0 0 9 0 0 0 25 0 1 0 891860211 30117888 3479 33554432000 4194304 4311632 140735932021648 18446744073709551615 4209309 0 0 4096 8388610 0 0 0 17 3 0 0 0 /proc/15133/statm: 7353 3479 225 29 0 3982 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 29412 [startup+0.300256 s] /proc/loadavg: 1.20 0.27 0.09 4/186 15133 /proc/meminfo: memFree=31219984/32951124 swapFree=67060628/67111528 [pid=15133] ppid=15131 vsize=33364 CPUtime=0.29 cores=1,3 /proc/15133/stat : 15133 (hmuc-a) R 15131 15133 14904 0 -1 4202496 5560 0 0 0 29 0 0 0 25 0 1 0 891860211 34164736 4479 33554432000 4194304 4311632 140735932021648 18446744073709551615 4264437 0 0 4096 8388610 0 0 0 17 3 0 0 0 /proc/15133/statm: 8341 4479 245 29 0 4970 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 33364 [startup+0.700182 s] /proc/loadavg: 1.20 0.27 0.09 4/186 15133 /proc/meminfo: memFree=31219984/32951124 swapFree=67060628/67111528 [pid=15133] ppid=15131 vsize=63716 CPUtime=0.69 cores=1,3 /proc/15133/stat : 15133 (hmuc-a) R 15131 15133 14904 0 -1 4202496 11427 0 0 0 68 1 0 0 25 0 1 0 891860211 65245184 10342 33554432000 4194304 4311632 140735932021648 18446744073709551615 4260736 0 0 4096 8388610 0 0 0 17 3 0 0 0 /proc/15133/statm: 15929 10342 246 29 0 12558 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 63716 [startup+1.50107 s] /proc/loadavg: 1.20 0.27 0.09 5/187 15134 /proc/meminfo: memFree=31239536/32951124 swapFree=67060628/67111528 [pid=15133] ppid=15131 vsize=113504 CPUtime=1.49 cores=1,3 /proc/15133/stat : 15133 (hmuc-a) R 15131 15133 14904 0 -1 4202496 20791 0 0 0 147 2 0 0 25 0 1 0 891860211 116228096 19702 33554432000 4194304 4311632 140735932021648 18446744073709551615 4264447 0 0 4096 8388610 0 0 0 17 1 0 0 0 /proc/15133/statm: 28376 19702 247 29 0 25005 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 113504 [startup+3.10078 s] /proc/loadavg: 1.20 0.27 0.09 5/187 15134 /proc/meminfo: memFree=31103260/32951124 swapFree=67060628/67111528 [pid=15133] ppid=15131 vsize=163592 CPUtime=3.09 cores=1,3 /proc/15133/stat : 15133 (hmuc-a) R 15131 15133 14904 0 -1 4202496 36522 0 0 0 305 4 0 0 25 0 1 0 891860211 167518208 35430 33554432000 4194304 4311632 140735932021648 18446744073709551615 4282542 0 0 4096 8388610 0 0 0 17 1 0 0 0 /proc/15133/statm: 40898 35430 247 29 0 37527 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 163592 [startup+6.30021 s] /proc/loadavg: 1.42 0.34 0.11 5/187 15134 /proc/meminfo: memFree=30964908/32951124 swapFree=67060628/67111528 [pid=15133] ppid=15131 vsize=377240 CPUtime=6.29 cores=1,3 /proc/15133/stat : 15133 (hmuc-a) R 15131 15133 14904 0 -1 4202496 69114 0 0 0 621 8 0 0 25 0 1 0 891860211 386293760 68021 33554432000 4194304 4311632 140735932021648 18446744073709551615 4264416 0 0 4096 8388610 0 0 0 17 1 0 0 0 /proc/15133/statm: 94310 68021 247 29 0 90939 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 377240 [startup+12.7011 s] /proc/loadavg: 1.63 0.40 0.13 5/187 15134 /proc/meminfo: memFree=30489888/32951124 swapFree=67060628/67111528 [pid=15133] ppid=15131 vsize=592164 CPUtime=12.69 cores=1,3 /proc/15133/stat : 15133 (hmuc-a) R 15131 15133 14904 0 -1 4202496 121483 0 0 0 1256 13 0 0 25 0 1 0 891860211 606375936 120388 33554432000 4194304 4311632 140735932021648 18446744073709551615 4260462 0 0 4096 8388610 0 0 0 17 1 0 0 0 /proc/15133/statm: 148041 120388 247 29 0 144670 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 592164 [startup+25.5007 s] /proc/loadavg: 2.22 0.59 0.20 5/187 15134 /proc/meminfo: memFree=30542712/32951124 swapFree=67060628/67111528 [pid=15133] ppid=15131 vsize=163592 CPUtime=25.49 cores=1,3 /proc/15133/stat : 15133 (hmuc-a) R 15131 15133 14904 0 -1 4202496 275496 0 0 0 2516 33 0 0 25 0 1 0 891860211 167518208 25856 33554432000 4194304 4311632 140735932021648 18446744073709551615 4264416 0 0 4096 8388610 0 0 0 17 1 0 0 0 /proc/15133/statm: 40898 25856 247 29 0 37527 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 163592 [startup+51.1011 s] /proc/loadavg: 2.91 0.88 0.30 5/187 15135 /proc/meminfo: memFree=29795616/32951124 swapFree=67060628/67111528 [pid=15133] ppid=15131 vsize=960088 CPUtime=51.09 cores=1,3 /proc/15133/stat : 15133 (hmuc-a) R 15131 15133 14904 0 -1 4202496 514787 0 0 0 5045 64 0 0 25 0 1 0 891860211 983130112 44927 33554432000 4194304 4311632 140735932021648 18446744073709551615 253640902791 0 0 4096 8388610 0 0 0 17 1 0 0 0 /proc/15133/statm: 240022 44927 247 29 0 236651 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 960088 [startup+102.307 s] /proc/loadavg: 3.52 1.36 0.49 5/187 15136 /proc/meminfo: memFree=28536868/32951124 swapFree=67060628/67111528 [pid=15133] ppid=15131 vsize=941412 CPUtime=102.3 cores=1,3 /proc/15133/stat : 15133 (hmuc-a) R 15131 15133 14904 0 -1 4202496 944155 0 0 0 10117 113 0 0 25 0 1 0 891860211 964005888 212116 33554432000 4194304 4311632 140735932021648 18446744073709551615 4260736 0 0 4096 8388610 0 0 0 17 1 0 0 0 /proc/15133/statm: 235353 212116 247 29 0 231982 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 941412 [startup+162.301 s] /proc/loadavg: 3.82 1.83 0.71 5/187 15138 /proc/meminfo: memFree=27759728/32951124 swapFree=67060628/67111528 [pid=15133] ppid=15131 vsize=617368 CPUtime=162.29 cores=1,3 /proc/15133/stat : 15133 (hmuc-a) R 15131 15133 14904 0 -1 4202496 1539602 0 0 0 16045 184 0 0 25 0 1 0 891860211 632184832 99940 33554432000 4194304 4311632 140735932021648 18446744073709551615 4264419 0 0 4096 8388610 0 0 0 17 1 0 0 0 /proc/15133/statm: 154342 99940 264 29 0 150971 0 Current children cumulated CPU time (s) 162.29 Current children cumulated vsize (KiB) 617368 [startup+222.301 s] /proc/loadavg: 3.93 2.23 0.91 5/187 15140 /proc/meminfo: memFree=27015684/32951124 swapFree=67060628/67111528 [pid=15133] ppid=15131 vsize=139196 CPUtime=222.3 cores=1,3 /proc/15133/stat : 15133 (hmuc-a) R 15131 15133 14904 0 -1 4202496 2093288 0 0 0 21980 250 0 0 25 0 1 0 891860211 142536704 21655 33554432000 4194304 4311632 140735932021648 18446744073709551615 4264235 0 0 4096 8388610 0 0 0 17 1 0 0 0 /proc/15133/statm: 34799 21655 264 29 0 31428 0 Current children cumulated CPU time (s) 222.3 Current children cumulated vsize (KiB) 139196 [startup+282.301 s] /proc/loadavg: 4.01 2.56 1.11 5/187 15141 /proc/meminfo: memFree=26092828/32951124 swapFree=67060628/67111528 [pid=15133] ppid=15131 vsize=402932 CPUtime=282.3 cores=1,3 /proc/15133/stat : 15133 (hmuc-a) R 15131 15133 14904 0 -1 4202496 2583816 0 0 0 27916 314 0 0 25 0 1 0 891860211 412602368 79020 33554432000 4194304 4311632 140735932021648 18446744073709551615 4271538 0 0 4096 8388610 0 0 0 17 1 0 0 0 /proc/15133/statm: 100733 79020 264 29 0 97362 0 Current children cumulated CPU time (s) 282.3 Current children cumulated vsize (KiB) 402932 [startup+342.3 s] /proc/loadavg: 4.00 2.82 1.29 5/187 15143 /proc/meminfo: memFree=25204584/32951124 swapFree=67060628/67111528 [pid=15133] ppid=15131 vsize=189284 CPUtime=342.3 cores=1,3 /proc/15133/stat : 15133 (hmuc-a) R 15131 15133 14904 0 -1 4202496 3033956 0 0 0 33859 371 0 0 25 0 1 0 891860211 193826816 34377 33554432000 4194304 4311632 140735932021648 18446744073709551615 4271553 0 0 4096 8388610 0 0 0 17 1 0 0 0 /proc/15133/statm: 47321 34377 264 29 0 43950 0 Current children cumulated CPU time (s) 342.3 Current children cumulated vsize (KiB) 189284 [startup+402.3 s] /proc/loadavg: 4.00 3.03 1.45 5/187 15182 /proc/meminfo: memFree=30467868/32951124 swapFree=67060628/67111528 [pid=15133] ppid=15131 vsize=402932 CPUtime=402.3 cores=1,3 /proc/15133/stat : 15133 (hmuc-a) R 15131 15133 14904 0 -1 4202496 3594872 0 0 0 39791 439 0 0 25 0 1 0 891860211 412602368 65666 33554432000 4194304 4311632 140735932021648 18446744073709551615 4264419 0 0 4096 8388610 0 0 0 17 1 0 0 0 /proc/15133/statm: 100733 65666 264 29 0 97362 0 Current children cumulated CPU time (s) 402.3 Current children cumulated vsize (KiB) 402932 [startup+462.3 s] /proc/loadavg: 4.00 3.21 1.61 5/187 15184 /proc/meminfo: memFree=28979964/32951124 swapFree=67060628/67111528 [pid=15133] ppid=15131 vsize=967104 CPUtime=462.3 cores=1,3 /proc/15133/stat : 15133 (hmuc-a) R 15131 15133 14904 0 -1 4202496 4122947 0 0 0 45733 497 0 0 25 0 1 0 891860211 990314496 151685 33554432000 4194304 4311632 140735932021648 18446744073709551615 4260432 0 0 4096 8388610 0 0 0 17 1 0 0 0 /proc/15133/statm: 241776 151685 264 29 0 238405 0 Current children cumulated CPU time (s) 462.3 Current children cumulated vsize (KiB) 967104 [startup+522.3 s] /proc/loadavg: 4.00 3.35 1.76 5/187 15186 /proc/meminfo: memFree=30427620/32951124 swapFree=67060628/67111528 [pid=15133] ppid=15131 vsize=617856 CPUtime=522.3 cores=1,3 /proc/15133/stat : 15133 (hmuc-a) R 15131 15133 14904 0 -1 4202496 4657918 0 0 0 51667 563 0 0 25 0 1 0 891860211 632684544 130261 33554432000 4194304 4311632 140735932021648 18446744073709551615 4260736 0 0 4096 8388610 0 0 0 17 1 0 0 0 /proc/15133/statm: 154464 130261 264 29 0 151093 0 Current children cumulated CPU time (s) 522.3 Current children cumulated vsize (KiB) 617856 [startup+582.301 s] /proc/loadavg: 4.00 3.46 1.89 5/187 15187 /proc/meminfo: memFree=30686616/32951124 swapFree=67060628/67111528 [pid=15133] ppid=15131 vsize=139196 CPUtime=582.3 cores=1,3 /proc/15133/stat : 15133 (hmuc-a) R 15131 15133 14904 0 -1 4202496 5125755 0 0 0 57608 622 0 0 25 0 1 0 891860211 142536704 22693 33554432000 4194304 4311632 140735932021648 18446744073709551615 4271538 0 0 4096 8388610 0 0 0 17 1 0 0 0 /proc/15133/statm: 34799 22696 264 29 0 31428 0 Current children cumulated CPU time (s) 582.3 Current children cumulated vsize (KiB) 139196 [startup+642.301 s] ################ # More data... # ################ [startup+822.301 s] /proc/loadavg: 4.06 3.78 2.37 5/187 15194 /proc/meminfo: memFree=29673968/32951124 swapFree=67060628/67111528 [pid=15133] ppid=15131 vsize=59056 CPUtime=822.3 cores=1,3 /proc/15133/stat : 15133 (hmuc-a) R 15131 15133 14904 0 -1 4202496 7163554 0 0 0 81359 871 0 0 25 0 1 0 891860211 60473344 9222 33554432000 4194304 4311632 140735932021648 18446744073709551615 4262781 0 0 4096 8388610 0 0 0 17 1 0 0 0 /proc/15133/statm: 14764 9222 265 29 0 11393 0 Current children cumulated CPU time (s) 822.3 Current children cumulated vsize (KiB) 59056 [startup+882.301 s] /proc/loadavg: 4.02 3.82 2.47 5/187 15195 /proc/meminfo: memFree=30208644/32951124 swapFree=67060628/67111528 [pid=15133] ppid=15131 vsize=139196 CPUtime=882.31 cores=1,3 /proc/15133/stat : 15133 (hmuc-a) R 15131 15133 14904 0 -1 4202496 7759359 0 0 0 87285 946 0 0 25 0 1 0 891860211 142536704 29109 33554432000 4194304 4311632 140735932021648 18446744073709551615 4264676 0 0 4096 8388610 0 0 0 17 1 0 0 0 /proc/15133/statm: 34799 29110 264 29 0 31428 0 Current children cumulated CPU time (s) 882.31 Current children cumulated vsize (KiB) 139196 [startup+942.301 s] /proc/loadavg: 4.01 3.85 2.57 5/187 15197 /proc/meminfo: memFree=30912388/32951124 swapFree=67060628/67111528 [pid=15133] ppid=15131 vsize=189284 CPUtime=942.3 cores=1,3 /proc/15133/stat : 15133 (hmuc-a) R 15131 15133 14904 0 -1 4202496 8283266 0 0 0 93218 1012 0 0 25 0 1 0 891860211 193826816 41753 33554432000 4194304 4311632 140735932021648 18446744073709551615 4260462 0 0 4096 8388610 0 0 0 17 1 0 0 0 /proc/15133/statm: 47321 41753 264 29 0 43950 0 Current children cumulated CPU time (s) 942.3 Current children cumulated vsize (KiB) 189284 [startup+1002.3 s] /proc/loadavg: 4.00 3.87 2.65 5/187 15198 /proc/meminfo: memFree=30873916/32951124 swapFree=67060628/67111528 [pid=15133] ppid=15131 vsize=139196 CPUtime=1002.3 cores=1,3 /proc/15133/stat : 15133 (hmuc-a) R 15131 15133 14904 0 -1 4202496 8755300 0 0 0 99163 1067 0 0 25 0 1 0 891860211 142536704 22888 33554432000 4194304 4311632 140735932021648 18446744073709551615 4272144 0 0 4096 8388610 0 0 0 17 1 0 0 0 /proc/15133/statm: 34799 22888 265 29 0 31428 0 Current children cumulated CPU time (s) 1002.3 Current children cumulated vsize (KiB) 139196 [startup+1062.3 s] /proc/loadavg: 4.00 3.89 2.73 5/187 15200 /proc/meminfo: memFree=29416260/32951124 swapFree=67060628/67111528 [pid=15133] ppid=15131 vsize=59056 CPUtime=1062.31 cores=1,3 /proc/15133/stat : 15133 (hmuc-a) R 15131 15133 14904 0 -1 4202496 9257861 0 0 0 105102 1129 0 0 25 0 1 0 891860211 60473344 9350 33554432000 4194304 4311632 140735932021648 18446744073709551615 4264427 0 0 4096 8388610 0 0 0 17 1 0 0 0 /proc/15133/statm: 14764 9350 264 29 0 11393 0 Current children cumulated CPU time (s) 1062.31 Current children cumulated vsize (KiB) 59056 [startup+1122.3 s] /proc/loadavg: 4.00 3.91 2.81 5/187 15202 /proc/meminfo: memFree=29642884/32951124 swapFree=67060628/67111528 [pid=15133] ppid=15131 vsize=617856 CPUtime=1122.3 cores=1,3 /proc/15133/stat : 15133 (hmuc-a) R 15131 15133 14904 0 -1 4202496 9764970 0 0 0 111040 1190 0 0 25 0 1 0 891860211 632684544 134595 33554432000 4194304 4311632 140735932021648 18446744073709551615 4260450 0 0 4096 8388610 0 0 0 17 1 0 0 0 /proc/15133/statm: 154464 134595 264 29 0 151093 0 Current children cumulated CPU time (s) 1122.3 Current children cumulated vsize (KiB) 617856 [startup+1182.3 s] /proc/loadavg: 4.00 3.92 2.88 5/187 15203 /proc/meminfo: memFree=30481936/32951124 swapFree=67060628/67111528 [pid=15133] ppid=15131 vsize=402932 CPUtime=1182.31 cores=1,3 /proc/15133/stat : 15133 (hmuc-a) R 15131 15133 14904 0 -1 4202496 10333801 0 0 0 116969 1262 0 0 25 0 1 0 891860211 412602368 93818 33554432000 4194304 4311632 140735932021648 18446744073709551615 4260483 0 0 4096 8388610 0 0 0 17 1 0 0 0 /proc/15133/statm: 100733 93818 266 29 0 97362 0 Current children cumulated CPU time (s) 1182.31 Current children cumulated vsize (KiB) 402932 [startup+1242.3 s] /proc/loadavg: 4.00 3.93 2.95 5/187 15205 /proc/meminfo: memFree=29422064/32951124 swapFree=67060628/67111528 [pid=15133] ppid=15131 vsize=139196 CPUtime=1242.31 cores=1,3 /proc/15133/stat : 15133 (hmuc-a) R 15131 15133 14904 0 -1 4202496 10860528 0 0 0 122903 1328 0 0 25 0 1 0 891860211 142536704 27963 33554432000 4194304 4311632 140735932021648 18446744073709551615 4282542 0 0 4096 8388610 0 0 0 17 1 0 0 0 /proc/15133/statm: 34799 27963 264 29 0 31428 0 Current children cumulated CPU time (s) 1242.31 Current children cumulated vsize (KiB) 139196 [startup+1302.3 s] /proc/loadavg: 4.05 3.96 3.02 5/187 15206 /proc/meminfo: memFree=30246740/32951124 swapFree=67060628/67111528 [pid=15133] ppid=15131 vsize=189284 CPUtime=1302.32 cores=1,3 /proc/15133/stat : 15133 (hmuc-a) R 15131 15133 14904 0 -1 4202496 11395791 0 0 0 128839 1393 0 0 25 0 1 0 891860211 193826816 37881 33554432000 4194304 4311632 140735932021648 18446744073709551615 4282542 0 0 4096 8388610 0 0 0 17 1 0 0 0 /proc/15133/statm: 47321 37881 264 29 0 43950 0 Current children cumulated CPU time (s) 1302.32 Current children cumulated vsize (KiB) 189284 [startup+1362.3 s] /proc/loadavg: 4.09 3.98 3.08 5/187 15208 /proc/meminfo: memFree=29505916/32951124 swapFree=67060628/67111528 [pid=15133] ppid=15131 vsize=617856 CPUtime=1362.31 cores=1,3 /proc/15133/stat : 15133 (hmuc-a) R 15131 15133 14904 0 -1 4202496 11950830 0 0 0 134770 1461 0 0 25 0 1 0 891860211 632684544 145149 33554432000 4194304 4311632 140735932021648 18446744073709551615 4264447 0 0 4096 8388610 0 0 0 17 1 0 0 0 /proc/15133/statm: 154464 145149 264 29 0 151093 0 Current children cumulated CPU time (s) 1362.31 Current children cumulated vsize (KiB) 617856 [startup+1422.31 s] /proc/loadavg: 4.03 3.98 3.14 5/187 15210 /proc/meminfo: memFree=30029768/32951124 swapFree=67060628/67111528 [pid=15133] ppid=15131 vsize=402932 CPUtime=1422.32 cores=1,3 /proc/15133/stat : 15133 (hmuc-a) R 15131 15133 14904 0 -1 4202496 12523270 0 0 0 140699 1533 0 0 25 0 1 0 891860211 412602368 71083 33554432000 4194304 4311632 140735932021648 18446744073709551615 4271934 0 0 4096 8388610 0 0 0 17 1 0 0 0 /proc/15133/statm: 100733 71083 264 29 0 97362 0 Current children cumulated CPU time (s) 1422.32 Current children cumulated vsize (KiB) 402932 [startup+1482.3 s] /proc/loadavg: 4.01 3.98 3.19 5/187 15211 /proc/meminfo: memFree=30739392/32951124 swapFree=67060628/67111528 [pid=15133] ppid=15131 vsize=402932 CPUtime=1482.32 cores=1,3 /proc/15133/stat : 15133 (hmuc-a) R 15131 15133 14904 0 -1 4202496 12999026 0 0 0 146639 1593 0 0 25 0 1 0 891860211 412602368 71742 33554432000 4194304 4311632 140735932021648 18446744073709551615 4273144 0 0 4096 8388610 0 0 0 17 1 0 0 0 /proc/15133/statm: 100733 71742 264 29 0 97362 0 Current children cumulated CPU time (s) 1482.32 Current children cumulated vsize (KiB) 402932 [startup+1542.3 s] /proc/loadavg: 4.00 3.98 3.23 5/187 15213 /proc/meminfo: memFree=29430284/32951124 swapFree=67060628/67111528 [pid=15133] ppid=15131 vsize=402932 CPUtime=1542.32 cores=1,3 /proc/15133/stat : 15133 (hmuc-a) R 15131 15133 14904 0 -1 4202496 13509986 0 0 0 152574 1658 0 0 25 0 1 0 891860211 412602368 95285 33554432000 4194304 4311632 140735932021648 18446744073709551615 4271580 0 0 4096 8388610 0 0 0 17 1 0 0 0 /proc/15133/statm: 100733 95285 264 29 0 97362 0 Current children cumulated CPU time (s) 1542.32 Current children cumulated vsize (KiB) 402932 [startup+1602.3 s] /proc/loadavg: 4.00 3.98 3.28 5/187 15214 /proc/meminfo: memFree=30169024/32951124 swapFree=67060628/67111528 [pid=15133] ppid=15131 vsize=617856 CPUtime=1602.32 cores=1,3 /proc/15133/stat : 15133 (hmuc-a) R 15131 15133 14904 0 -1 4202496 14076831 0 0 0 158507 1725 0 0 25 0 1 0 891860211 632684544 117745 33554432000 4194304 4311632 140735932021648 18446744073709551615 4273008 0 0 4096 8388610 0 0 0 17 1 0 0 0 /proc/15133/statm: 154464 117745 264 29 0 151093 0 Current children cumulated CPU time (s) 1602.32 Current children cumulated vsize (KiB) 617856 [startup+1662.3 s] /proc/loadavg: 4.06 4.00 3.33 5/187 15216 /proc/meminfo: memFree=29316828/32951124 swapFree=67060628/67111528 [pid=15133] ppid=15131 vsize=617856 CPUtime=1662.32 cores=1,3 /proc/15133/stat : 15133 (hmuc-a) R 15131 15133 14904 0 -1 4202496 14639208 0 0 0 164438 1794 0 0 25 0 1 0 891860211 632684544 117017 33554432000 4194304 4311632 140735932021648 18446744073709551615 4264427 0 0 4096 8388610 0 0 0 17 1 0 0 0 /proc/15133/statm: 154464 117017 264 29 0 151093 0 Current children cumulated CPU time (s) 1662.32 Current children cumulated vsize (KiB) 617856 [startup+1722.3 s] /proc/loadavg: 4.02 4.00 3.37 5/187 15218 /proc/meminfo: memFree=29776176/32951124 swapFree=67060628/67111528 [pid=15133] ppid=15131 vsize=617856 CPUtime=1722.31 cores=1,3 /proc/15133/stat : 15133 (hmuc-a) R 15131 15133 14904 0 -1 4202496 15173631 0 0 0 170372 1859 0 0 25 0 1 0 891860211 632684544 129566 33554432000 4194304 4311632 140735932021648 18446744073709551615 4286219 0 0 4096 8388610 0 0 0 17 1 0 0 0 /proc/15133/statm: 154464 129566 264 29 0 151093 0 Current children cumulated CPU time (s) 1722.31 Current children cumulated vsize (KiB) 617856 [startup+1782.3 s] /proc/loadavg: 4.00 4.00 3.40 5/187 15219 /proc/meminfo: memFree=30014312/32951124 swapFree=67060628/67111528 [pid=15133] ppid=15131 vsize=617856 CPUtime=1782.31 cores=1,3 /proc/15133/stat : 15133 (hmuc-a) R 15131 15133 14904 0 -1 4202496 15743937 0 0 0 176303 1928 0 0 25 0 1 0 891860211 632684544 109133 33554432000 4194304 4311632 140735932021648 18446744073709551615 4264416 0 0 4096 8388610 0 0 0 17 1 0 0 0 /proc/15133/statm: 154464 109133 264 29 0 151093 0 Current children cumulated CPU time (s) 1782.31 Current children cumulated vsize (KiB) 617856 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800 s] /proc/loadavg: 3.93 3.98 3.41 5/187 15298 /proc/meminfo: memFree=31121560/32951124 swapFree=67060628/67111528 [pid=15133] ppid=15131 vsize=139196 CPUtime=1800.02 cores=1,3 /proc/15133/stat : 15133 (hmuc-a) R 15131 15133 14904 0 -1 4202496 15920077 0 0 0 178051 1951 0 0 25 0 1 0 891860211 142536704 26913 33554432000 4194304 4311632 140735932021648 18446744073709551615 4286596 0 0 4096 8388610 0 0 0 17 1 0 0 0 /proc/15133/statm: 34799 26913 264 29 0 31428 0 Current children cumulated CPU time (s) 1800.02 Current children cumulated vsize (KiB) 139196 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) Real time (s): 1800.01 CPU time (s): 1800.04 CPU user time (s): 1780.51 CPU system time (s): 19.524 CPU usage (%): 100.001 Max. virtual memory (cumulated for all children) (KiB): 1534632 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1780.51 system time used= 19.524 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 15920086 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= 5211 runsolver used 2.90156 second user time and 6.93195 second system time The end
Begin job on node106 at 2011-06-11 16:29:58 IDJOB=3493922 IDBENCH=70777 IDSOLVER=1983 FILE ID=node106/3493922-1307802598 RUNJOBID= node106-1307802576-14924 PBS_JOBID= 13551070 Free space on /tmp= 74012 MiB SOLVER NAME= Haifa-MUC-A 2011-04-07 BENCH NAME= SAT09/APPLICATIONS/bitverif/minand/minand064.cnf COMMAND LINE= HOME/hmuc-a BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3493922-1307802598/watcher-3493922-1307802598 -o /tmp/evaluation-result-3493922-1307802598/solver-3493922-1307802598 -C 1800 -W 1850 -M 7680 HOME/hmuc-a HOME/instance-3493922-1307802598.cnf TIME LIMIT= 1800 seconds MEMORY LIMIT= 7680 MiB NBCORE= 2 MD5SUM BENCH= bf7b492ab6e18ae58155d14517070d60 RANDOM SEED=283388156 node106.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.830 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.66 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.830 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.20 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.830 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.830 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.830 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.830 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.830 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.830 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: 31221892 kB Buffers: 152184 kB Cached: 896560 kB SwapCached: 12488 kB Active: 749972 kB Inactive: 815336 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 31221892 kB SwapTotal: 67111528 kB SwapFree: 67060628 kB Dirty: 11300 kB Writeback: 0 kB AnonPages: 515372 kB Mapped: 10664 kB Slab: 98852 kB PageTables: 5344 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 904484 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= 74008 MiB End job on node106 at 2011-06-11 17:00:00