| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| glucose 2 | ? (TO) | 1300.02 | 1300.01 |
| Name | CRAFTED/rbsat/crafted/forced/ rbsat-v760c43649gyes6.cnf |
| MD5SUM | dc046d6f885b64777ffc1cfc8367a176 |
| Bench Category | CRAFTED (crafted instances) |
| Best result obtained on this benchmark | SAT |
| Best CPU time to get the best result obtained on this benchmark | 0.909861 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 760 |
| Number of clauses | 43649 |
| Sum of the clauses size | 87978 |
| Maximum clause length | 19 |
| Minimum clause length | 2 |
| Number of clauses of size 1 | 0 |
| Number of clauses of size 2 | 43609 |
| Number of clauses of size 3 | 0 |
| Number of clauses of size 4 | 0 |
| Number of clauses of size 5 | 0 |
| Number of clauses of size over 5 | 40 |
0.00/0.00 c 0.00/0.00 c Starting SatElite Preprocessing 0.00/0.00 c 0.00/0.00 c Parsing... 0.00/0.01 c ============================================================================== 0.00/0.01 c | | ORIGINAL | LEARNT | | 0.00/0.01 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress | 0.00/0.01 c ============================================================================== 0.00/0.01 c | 0 | 43649 87978 | 13094 0 0 nan | 0.000 % | 0.00/0.07 c | 0 | 42889 140372 | -- 0 -- -- | -- | -760/52394 0.00/0.07 c ============================================================================== 0.00/0.07 c Result : #vars: 720 #clauses: 42889 #literals: 140372 0.00/0.07 c CPU time: 0.073988 s 0.00/0.07 c ============================================================================== 0.00/0.10 c 0.00/0.10 c Starting glucose 0.00/0.10 c 155.48/155.58 c This is glucose 2.0 -- based on MiniSAT (Many thanks to MiniSAT team) 155.48/155.58 c WARNING: for repeatability, setting FPU to use double precision 155.48/155.58 c ============================[ Problem Statistics ]============================= 155.48/155.58 c | | 155.48/155.58 c | Number of variables: 720 | 155.48/155.58 c | Number of clauses: 42889 | 155.48/155.58 c | Parse time: 0.01 s | 155.48/155.58 c | | 155.48/155.58 c ============================[ Search Statistics ]============================== 155.48/155.58 c | Conflicts | ORIGINAL | LEARNT | Progress | 155.48/155.58 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | | 155.48/155.58 c =============================================================================== 155.48/155.58 c | 11536 | 720 42889 140372 | 1 5247 61 | 0.000 % | 155.48/155.58 c | 114348 | 720 42889 140372 | 1 29180 43 | 0.000 % | 155.48/155.58 c | 374987 | 720 42889 140372 | 1 79805 36 | 0.000 % | 155.48/155.58 c | 396024 | 720 42889 140372 | 1 60436 32 | 0.000 % | 155.48/155.58 c | 442918 | 720 42889 140372 | 1 64344 37 | 0.000 % | 155.48/155.58 c | 464957 | 720 42889 140372 | 1 86383 39 | 0.000 % | 155.48/155.58 c | 552108 | 720 42889 140372 | 1 79735 33 | 0.000 % | 155.48/155.58 c | 554682 | 720 42889 140372 | 1 82309 34 | 0.000 % | 155.48/155.58 c | 557390 | 720 42889 140372 | 1 85017 34 | 0.000 % | 155.48/155.58 c | 591695 | 720 42889 140372 | 1 68517 32 | 0.000 % | 155.48/155.58 c | 613471 | 720 42889 140372 | 1 90293 33 | 0.000 % | 155.48/155.58 c | 674629 | 720 42889 140372 | 1 98043 34 | 0.000 % | 155.48/155.58 c | 720113 | 720 42889 140372 | 1 87528 32 | 0.000 % | 155.48/155.58 c | 761385 | 720 42889 140372 | 1 70199 29 | 0.000 % | 155.48/155.58 c | 763649 | 720 42889 140372 | 1 72463 30 | 0.000 % | 155.48/155.58 c | 765595 | 720 42889 140372 | 1 74409 30 | 0.000 % | 155.48/155.58 c | 771291 | 720 42889 140372 | 1 80105 31 | 0.000 % | 155.48/155.58 c | 795398 | 720 42889 140372 | 1 104212 34 | 0.000 % | 155.48/155.58 c | 796089 | 720 42889 140372 | 1 104903 34 | 0.000 % | 155.48/155.58 c | 821648 | 720 42889 140372 | 1 69265 28 | 0.000 % | 155.48/155.58 c | 833434 | 720 42889 140372 | 1 81051 29 | 0.000 % | 155.48/155.58 c | 839728 | 720 42889 140372 | 1 87345 30 | 0.000 % | 155.48/155.58 c | 889193 | 720 42889 140372 | 1 73004 27 | 0.000 % | 155.48/155.58 c | 950177 | 720 42889 140372 | 1 67592 25 | 0.000 % | 155.48/155.58 c | 955410 | 720 42889 140372 | 1 72825 26 | 0.000 % | 155.48/155.58 c | 977551 | 720 42889 140372 | 1 94966 31 | 0.000 % | 155.48/155.58 c | 1006314 | 720 42889 140372 | 1 123729 33 | 0.000 % | 155.48/155.58 c | 1014198 | 720 42889 140372 | 1 131613 34 | 0.000 % | 155.48/155.58 c | 1129264 | 720 42889 140372 | 1 106077 31 | 0.000 % | 155.48/155.58 c | 1129491 | 720 42889 140372 | 1 106304 31 | 0.000 % | 155.48/155.58 c | 1165389 | 720 42889 140372 | 1 142202 33 | 0.000 % | 155.48/155.58 c | 1262228 | 720 42889 140372 | 1 88047 27 | 0.000 % | 155.48/155.58 c | 1277688 | 720 42889 140372 | 1 103507 28 | 0.000 % | 155.48/155.58 c | 1277791 | 720 42889 140372 | 1 103610 28 | 0.000 % | 155.48/155.58 c | 1287012 | 720 42889 140372 | 1 112831 29 | 0.000 % | 155.48/155.58 c | 1310803 | 720 42889 140372 | 1 136622 31 | 0.000 % | 155.48/155.58 c | 1352446 | 720 42889 140372 | 1 98870 29 | 0.000 % | 155.48/155.58 c | 1374367 | 720 42889 140372 | 1 120791 31 | 0.000 % | 155.48/155.58 c | 1382493 | 720 42889 140372 | 1 128917 31 | 0.000 % | 247.98/248.03 c | 1382594 | 720 42889 140372 | 1 129018 31 | 0.000 % | 247.98/248.03 c | 1389846 | 720 42889 140372 | 1 136270 33 | 0.000 % | 247.98/248.03 c | 1405311 | 720 42889 140372 | 1 151735 34 | 0.000 % | 247.98/248.03 c | 1406612 | 720 42889 140372 | 1 153036 34 | 0.000 % | 247.98/248.03 c | 1411889 | 720 42889 140372 | 1 158313 34 | 0.000 % | 247.98/248.03 c | 1418416 | 720 42889 140372 | 1 82837 26 | 0.000 % | 247.98/248.03 c | 1420601 | 720 42889 140372 | 1 85022 26 | 0.000 % | 247.98/248.03 c | 1422027 | 720 42889 140372 | 1 86448 26 | 0.000 % | 247.98/248.03 c | 1423086 | 720 42889 140372 | 1 87507 27 | 0.000 % | 247.98/248.03 c | 1423186 | 720 42889 140372 | 1 87607 27 | 0.000 % | 247.98/248.03 c | 1461137 | 720 42889 140372 | 1 125558 31 | 0.000 % | 247.98/248.03 c | 1462927 | 720 42889 140372 | 1 127348 31 | 0.000 % | 247.98/248.03 c | 1479953 | 720 42889 140372 | 1 144374 32 | 0.000 % | 247.98/248.03 c | 1497732 | 720 42889 140372 | 1 162153 33 | 0.000 % | 247.98/248.03 c | 1497837 | 720 42889 140372 | 1 162258 33 | 0.000 % | 247.98/248.03 c | 1510277 | 720 42889 140372 | 1 90094 26 | 0.000 % | 247.98/248.03 c | 1545827 | 720 42889 140372 | 1 125644 29 | 0.000 % | 247.98/248.03 c | 1552388 | 720 42889 140372 | 1 132205 29 | 0.000 % | 247.98/248.03 c | 1554477 | 720 42889 140372 | 1 134294 30 | 0.000 % | 247.98/248.03 c | 1572771 | 720 42889 140372 | 1 152588 32 | 0.000 % | 247.98/248.03 c | 1583915 | 720 42889 140372 | 1 163732 33 | 0.000 % | 247.98/248.03 c | 1610388 | 720 42889 140372 | 1 103006 27 | 0.000 % | 247.98/248.03 c | 1612017 | 720 42889 140372 | 1 104635 27 | 0.000 % | 247.98/248.03 c | 1621866 | 720 42889 140372 | 1 114484 29 | 0.000 % | 247.98/248.03 c | 1627351 | 720 42889 140372 | 1 119969 29 | 0.000 % | 247.98/248.03 c | 1635098 | 720 42889 140372 | 1 127716 30 | 0.000 % | 247.98/248.03 c | 1676730 | 720 42889 140372 | 1 169348 34 | 0.000 % | 247.98/248.03 c | 1702585 | 720 42889 140372 | 1 105403 28 | 0.000 % | 247.98/248.03 c | 1731837 | 720 42889 140372 | 1 134655 31 | 0.000 % | 247.98/248.03 c | 1732164 | 720 42889 140372 | 1 134982 31 | 0.000 % | 247.98/248.03 c | 1740660 | 720 42889 140372 | 1 143478 32 | 0.000 % | 247.98/248.03 c | 1745719 | 720 42889 140372 | 1 148537 32 | 0.000 % | 247.98/248.03 c | 1746152 | 720 42889 140372 | 1 148970 32 | 0.000 % | 247.98/248.03 c | 1753376 | 720 42889 140372 | 1 156194 33 | 0.000 % | 247.98/248.03 c | 1753487 | 720 42889 140372 | 1 156305 33 | 0.000 % | 247.98/248.03 c | 1762170 | 720 42889 140372 | 1 164988 33 | 0.000 % | 247.98/248.03 c | 1778688 | 720 42889 140372 | 1 181506 33 | 0.000 % | 247.98/248.03 c | 1780113 | 720 42889 140372 | 1 182931 33 | 0.000 % | 247.98/248.03 c | 1786419 | 720 42889 140372 | 1 96842 26 | 0.000 % | 247.98/248.03 c | 1791763 | 720 42889 140372 | 1 102186 26 | 0.000 % | 247.98/248.03 c | 1798648 | 720 42889 140372 | 1 109071 27 | 0.000 % | 247.98/248.03 c | 1817271 | 720 42889 140372 | 1 127694 29 | 0.000 % | 247.98/248.03 c | 1871393 | 720 42889 140372 | 1 181816 33 | 0.000 % | 247.98/248.03 c | 1872598 | 720 42889 140372 | 1 183021 33 | 0.000 % | 247.98/248.03 c | 1889038 | 720 42889 140372 | 1 104452 26 | 0.000 % | 247.98/248.03 c | 1907024 | 720 42889 140372 | 1 122438 27 | 0.000 % | 247.98/248.03 c | 1928024 | 720 42889 140372 | 1 143438 29 | 0.000 % | 247.98/248.03 c | 1959903 | 720 42889 140372 | 1 175317 31 | 0.000 % | 247.98/248.03 c | 2000363 | 720 42889 140372 | 1 118175 26 | 0.000 % | 247.98/248.03 c | 2029265 | 720 42889 140372 | 1 147077 29 | 0.000 % | 333.69/333.73 c | 2033688 | 720 42889 140372 | 1 151500 29 | 0.000 % | 333.69/333.73 c | 2034437 | 720 42889 140372 | 1 152249 30 | 0.000 % | 333.69/333.73 c | 2041892 | 720 42889 140372 | 1 159704 30 | 0.000 % | 333.69/333.73 c | 2064054 | 720 42889 140372 | 1 181866 32 | 0.000 % | 333.69/333.73 c | 2080435 | 720 42889 140372 | 1 198247 33 | 0.000 % | 333.69/333.73 c | 2082758 | 720 42889 140372 | 1 100373 24 | 0.000 % | 333.69/333.73 c | 2083609 | 720 42889 140372 | 1 101224 24 | 0.000 % | 333.69/333.73 c | 2085377 | 720 42889 140372 | 1 102992 25 | 0.000 % | 333.69/333.73 c | 2092149 | 720 42889 140372 | 1 109764 26 | 0.000 % | 333.69/333.73 c | 2092884 | 720 42889 140372 | 1 110499 26 | 0.000 % | 333.69/333.73 c | 2098076 | 720 42889 140372 | 1 115691 27 | 0.000 % | 333.69/333.73 c | 2102400 | 720 42889 140372 | 1 120015 27 | 0.000 % | 333.69/333.73 c | 2102640 | 720 42889 140372 | 1 120255 27 | 0.000 % | 333.69/333.73 c | 2123363 | 720 42889 140372 | 1 140978 30 | 0.000 % | 333.69/333.73 c | 2123465 | 720 42889 140372 | 1 141080 30 | 0.000 % | 333.69/333.73 c | 2130894 | 720 42889 140372 | 1 148509 31 | 0.000 % | 333.69/333.73 c | 2134307 | 720 42889 140372 | 1 151922 31 | 0.000 % | 333.69/333.73 c | 2152415 | 720 42889 140372 | 1 170030 32 | 0.000 % | 333.69/333.73 c | 2162426 | 720 42889 140372 | 1 180041 32 | 0.000 % | 333.69/333.73 c | 2197582 | 720 42889 140372 | 1 112394 25 | 0.000 % | 333.69/333.73 c | 2198014 | 720 42889 140372 | 1 112826 25 | 0.000 % | 333.69/333.73 c | 2221712 | 720 42889 140372 | 1 136524 28 | 0.000 % | 333.69/333.73 c | 2231130 | 720 42889 140372 | 1 145942 29 | 0.000 % | 333.69/333.73 c | 2235389 | 720 42889 140372 | 1 150201 29 | 0.000 % | 333.69/333.73 c | 2237607 | 720 42889 140372 | 1 152419 29 | 0.000 % | 333.69/333.73 c | 2251440 | 720 42889 140372 | 1 166252 31 | 0.000 % | 333.69/333.73 c | 2259847 | 720 42889 140372 | 1 174659 31 | 0.000 % | 333.69/333.73 c | 2275445 | 720 42889 140372 | 1 190257 32 | 0.000 % | 333.69/333.73 c | 2319285 | 720 42889 140372 | 1 128700 28 | 0.000 % | 333.69/333.73 c | 2319385 | 720 42889 140372 | 1 128800 28 | 0.000 % | 333.69/333.73 c | 2319569 | 720 42889 140372 | 1 128984 28 | 0.000 % | 333.69/333.73 c | 2328656 | 720 42889 140372 | 1 138071 29 | 0.000 % | 333.69/333.73 c | 2330612 | 720 42889 140372 | 1 140027 29 | 0.000 % | 333.69/333.73 c | 2376842 | 720 42889 140372 | 1 186257 31 | 0.000 % | 333.69/333.73 c | 2385106 | 720 42889 140372 | 1 194521 31 | 0.000 % | 333.69/333.73 c | 2389152 | 720 42889 140372 | 1 198567 31 | 0.000 % | 333.69/333.73 c | 2390138 | 720 42889 140372 | 1 199553 31 | 0.000 % | 333.69/333.73 c | 2398598 | 720 42889 140372 | 1 208013 31 | 0.000 % | 333.69/333.73 c | 2401308 | 720 42889 140372 | 1 210723 32 | 0.000 % | 333.69/333.73 c | 2402596 | 720 42889 140372 | 1 212011 32 | 0.000 % | 333.69/333.73 c | 2415975 | 720 42889 140372 | 1 117396 24 | 0.000 % | 333.69/333.73 c | 2416627 | 720 42889 140372 | 1 118048 25 | 0.000 % | 333.69/333.73 c | 2419866 | 720 42889 140372 | 1 121287 25 | 0.000 % | 333.69/333.73 c | 2421631 | 720 42889 140372 | 1 123052 25 | 0.000 % | 333.69/333.73 c | 2434168 | 720 42889 140372 | 1 135589 27 | 0.000 % | 333.69/333.73 c | 2440369 | 720 42889 140372 | 1 141790 27 | 0.000 % | 333.69/333.73 c | 2455567 | 720 42889 140372 | 1 156988 29 | 0.000 % | 333.69/333.73 c | 2459618 | 720 42889 140372 | 1 161039 29 | 0.000 % | 333.69/333.73 c | 2493143 | 720 42889 140372 | 1 194564 31 | 0.000 % | 333.69/333.73 c | 2507373 | 720 42889 140372 | 1 208794 32 | 0.000 % | 404.98/405.09 c | 2511009 | 720 42889 140372 | 1 212430 32 | 0.000 % | 404.98/405.09 c | 2511342 | 720 42889 140372 | 1 212763 32 | 0.000 % | 404.98/405.09 c | 2524695 | 720 42889 140372 | 1 115512 24 | 0.000 % | 404.98/405.09 c | 2534112 | 720 42889 140372 | 1 124929 26 | 0.000 % | 404.98/405.09 c | 2534212 | 720 42889 140372 | 1 125029 26 | 0.000 % | 404.98/405.09 c | 2535109 | 720 42889 140372 | 1 125926 26 | 0.000 % | 404.98/405.09 c | 2551254 | 720 42889 140372 | 1 142071 27 | 0.000 % | 404.98/405.09 c | 2553858 | 720 42889 140372 | 1 144675 28 | 0.000 % | 404.98/405.09 c | 2572216 | 720 42889 140372 | 1 163033 29 | 0.000 % | 404.98/405.09 c | 2577104 | 720 42889 140372 | 1 167921 29 | 0.000 % | 404.98/405.09 c | 2586402 | 720 42889 140372 | 1 177219 30 | 0.000 % | 404.98/405.09 c | 2586514 | 720 42889 140372 | 1 177331 30 | 0.000 % | 404.98/405.09 c | 2618810 | 720 42889 140372 | 1 209627 33 | 0.000 % | 404.98/405.09 c | 2623177 | 720 42889 140372 | 1 213994 33 | 0.000 % | 404.98/405.09 c | 2623278 | 720 42889 140372 | 1 214095 33 | 0.000 % | 404.98/405.09 c | 2649764 | 720 42889 140372 | 1 127381 26 | 0.000 % | 404.98/405.09 c | 2658945 | 720 42889 140372 | 1 136562 27 | 0.000 % | 404.98/405.09 c | 2666458 | 720 42889 140372 | 1 144075 28 | 0.000 % | 404.98/405.09 c | 2672698 | 720 42889 140372 | 1 150315 28 | 0.000 % | 404.98/405.09 c | 2672798 | 720 42889 140372 | 1 150415 28 | 0.000 % | 404.98/405.09 c | 2674551 | 720 42889 140372 | 1 152168 28 | 0.000 % | 404.98/405.09 c | 2676678 | 720 42889 140372 | 1 154295 29 | 0.000 % | 404.98/405.09 c | 2676821 | 720 42889 140372 | 1 154438 29 | 0.000 % | 404.98/405.09 c | 2678835 | 720 42889 140372 | 1 156452 29 | 0.000 % | 404.98/405.09 c | 2679110 | 720 42889 140372 | 1 156727 29 | 0.000 % | 404.98/405.09 c | 2696003 | 720 42889 140372 | 1 173620 30 | 0.000 % | 404.98/405.09 c | 2696107 | 720 42889 140372 | 1 173724 30 | 0.000 % | 404.98/405.09 c | 2758462 | 720 42889 140372 | 1 120279 24 | 0.000 % | 404.98/405.09 c | 2777377 | 720 42889 140372 | 1 139194 27 | 0.000 % | 404.98/405.09 c | 2790993 | 720 42889 140372 | 1 152810 28 | 0.000 % | 404.98/405.09 c | 2791093 | 720 42889 140372 | 1 152910 28 | 0.000 % | 404.98/405.09 c | 2799527 | 720 42889 140372 | 1 161344 29 | 0.000 % | 404.98/405.09 c | 2799809 | 720 42889 140372 | 1 161626 29 | 0.000 % | 404.98/405.09 c | 2824045 | 720 42889 140372 | 1 185862 30 | 0.000 % | 404.98/405.09 c | 2839832 | 720 42889 140372 | 1 201649 30 | 0.000 % | 404.98/405.09 c | 2845480 | 720 42889 140372 | 1 207297 31 | 0.000 % | 404.98/405.09 c | 2853274 | 720 42889 140372 | 1 215091 31 | 0.000 % | 404.98/405.09 c | 2858246 | 720 42889 140372 | 1 220063 32 | 0.000 % | 404.98/405.09 c | 2859081 | 720 42889 140372 | 1 220898 32 | 0.000 % | 404.98/405.09 c | 2902741 | 720 42889 140372 | 1 146159 26 | 0.000 % | 404.98/405.09 c | 2905801 | 720 42889 140372 | 1 149219 27 | 0.000 % | 404.98/405.09 c | 2913199 | 720 42889 140372 | 1 156617 27 | 0.000 % | 404.98/405.09 c | 2914987 | 720 42889 140372 | 1 158405 27 | 0.000 % | 404.98/405.09 c | 2923872 | 720 42889 140372 | 1 167290 28 | 0.000 % | 404.98/405.09 c | 2930287 | 720 42889 140372 | 1 173705 29 | 0.000 % | 404.98/405.09 c | 2931713 | 720 42889 140372 | 1 175131 29 | 0.000 % | 404.98/405.09 c | 2935289 | 720 42889 140372 | 1 178707 29 | 0.000 % | 404.98/405.09 c | 2967405 | 720 42889 140372 | 1 210823 30 | 0.000 % | 404.98/405.09 c | 2974217 | 720 42889 140372 | 1 217635 30 | 0.000 % | 404.98/405.09 c | 2976252 | 720 42889 140372 | 1 219670 31 | 0.000 % | 493.29/493.30 c | 2977993 | 720 42889 140372 | 1 221411 31 | 0.000 % | 493.29/493.30 c | 2988447 | 720 42889 140372 | 1 231865 31 | 0.000 % | 493.29/493.30 c | 3037417 | 720 42889 140372 | 1 159835 25 | 0.000 % | 493.29/493.30 c | 3054648 | 720 42889 140372 | 1 177066 26 | 0.000 % | 493.29/493.30 c | 3062191 | 720 42889 140372 | 1 184609 27 | 0.000 % | 493.29/493.30 c | 3070344 | 720 42889 140372 | 1 192762 27 | 0.000 % | 493.29/493.30 c | 3089847 | 720 42889 140372 | 1 212265 28 | 0.000 % | 493.29/493.30 c | 3107863 | 720 42889 140372 | 1 230281 29 | 0.000 % | 493.29/493.30 c | 3120786 | 720 42889 140372 | 1 243204 30 | 0.000 % | 493.29/493.30 c | 3128103 | 720 42889 140372 | 1 126923 23 | 0.000 % | 493.29/493.30 c | 3129423 | 720 42889 140372 | 1 128243 23 | 0.000 % | 493.29/493.30 c | 3139446 | 720 42889 140372 | 1 138266 24 | 0.000 % | 493.29/493.30 c | 3139908 | 720 42889 140372 | 1 138728 24 | 0.000 % | 493.29/493.30 c | 3145267 | 720 42889 140372 | 1 144087 25 | 0.000 % | 493.29/493.30 c | 3145373 | 720 42889 140372 | 1 144193 25 | 0.000 % | 493.29/493.30 c | 3146352 | 720 42889 140372 | 1 145172 25 | 0.000 % | 493.29/493.30 c | 3161531 | 720 42889 140372 | 1 160351 27 | 0.000 % | 493.29/493.30 c | 3161700 | 720 42889 140372 | 1 160520 27 | 0.000 % | 493.29/493.30 c | 3198072 | 720 42889 140372 | 1 196892 29 | 0.000 % | 493.29/493.30 c | 3220342 | 720 42889 140372 | 1 219162 30 | 0.000 % | 493.29/493.30 c | 3225808 | 720 42889 140372 | 1 224628 30 | 0.000 % | 493.29/493.30 c | 3231830 | 720 42889 140372 | 1 230650 31 | 0.000 % | 493.29/493.30 c | 3242947 | 720 42889 140372 | 1 241767 31 | 0.000 % | 493.29/493.30 c | 3282440 | 720 42889 140372 | 1 155054 26 | 0.000 % | 493.29/493.30 c | 3330461 | 720 42889 140372 | 1 203075 30 | 0.000 % | 493.29/493.30 c | 3350792 | 720 42889 140372 | 1 223406 31 | 0.000 % | 493.29/493.30 c | 3352597 | 720 42889 140372 | 1 225211 31 | 0.000 % | 493.29/493.30 c | 3360639 | 720 42889 140372 | 1 233253 31 | 0.000 % | 493.29/493.30 c | 3370142 | 720 42889 140372 | 1 242756 32 | 0.000 % | 493.29/493.30 c | 3376394 | 720 42889 140372 | 1 249008 32 | 0.000 % | 493.29/493.30 c | 3376764 | 720 42889 140372 | 1 249378 32 | 0.000 % | 493.29/493.30 c | 3384518 | 720 42889 140372 | 1 257132 32 | 0.000 % | 493.29/493.30 c | 3394684 | 720 42889 140372 | 1 138496 24 | 0.000 % | 493.29/493.30 c | 3401303 | 720 42889 140372 | 1 145115 25 | 0.000 % | 493.29/493.30 c | 3404746 | 720 42889 140372 | 1 148558 25 | 0.000 % | 493.29/493.30 c | 3404896 | 720 42889 140372 | 1 148708 25 | 0.000 % | 493.29/493.30 c | 3437021 | 720 42889 140372 | 1 180833 27 | 0.000 % | 493.29/493.30 c | 3442905 | 720 42889 140372 | 1 186717 28 | 0.000 % | 493.29/493.30 c | 3451056 | 720 42889 140372 | 1 194868 28 | 0.000 % | 493.29/493.30 c | 3465047 | 720 42889 140372 | 1 208859 29 | 0.000 % | 493.29/493.30 c | 3465337 | 720 42889 140372 | 1 209149 29 | 0.000 % | 493.29/493.30 c | 3483927 | 720 42889 140372 | 1 227739 30 | 0.000 % | 493.29/493.30 c | 3487873 | 720 42889 140372 | 1 231685 30 | 0.000 % | 493.29/493.30 c | 3497210 | 720 42889 140372 | 1 241022 31 | 0.000 % | 493.29/493.30 c | 3499436 | 720 42889 140372 | 1 243248 31 | 0.000 % | 493.29/493.30 c | 3501752 | 720 42889 140372 | 1 245564 31 | 0.000 % | 493.29/493.30 c | 3525142 | 720 42889 140372 | 1 137558 23 | 0.000 % | 493.29/493.30 c | 3531680 | 720 42889 140372 | 1 144096 24 | 0.000 % | 493.29/493.30 c | 3534716 | 720 42889 140372 | 1 147132 25 | 0.000 % | 493.29/493.30 c | 3537653 | 720 42889 140372 | 1 150069 25 | 0.000 % | 575.89/575.92 c | 3538333 | 720 42889 140372 | 1 150749 25 | 0.000 % | 575.89/575.92 c | 3554227 | 720 42889 140372 | 1 166643 26 | 0.000 % | 575.89/575.92 c | 3562261 | 720 42889 140372 | 1 174677 27 | 0.000 % | 575.89/575.92 c | 3567503 | 720 42889 140372 | 1 179919 27 | 0.000 % | 575.89/575.92 c | 3570555 | 720 42889 140372 | 1 182971 27 | 0.000 % | 575.89/575.92 c | 3590049 | 720 42889 140372 | 1 202465 28 | 0.000 % | 575.89/575.92 c | 3595314 | 720 42889 140372 | 1 207730 28 | 0.000 % | 575.89/575.92 c | 3608823 | 720 42889 140372 | 1 221239 29 | 0.000 % | 575.89/575.92 c | 3622888 | 720 42889 140372 | 1 235304 29 | 0.000 % | 575.89/575.92 c | 3623059 | 720 42889 140372 | 1 235475 30 | 0.000 % | 575.89/575.92 c | 3626785 | 720 42889 140372 | 1 239201 30 | 0.000 % | 575.89/575.92 c | 3644004 | 720 42889 140372 | 1 256420 30 | 0.000 % | 575.89/575.92 c | 3644105 | 720 42889 140372 | 1 256521 30 | 0.000 % | 575.89/575.92 c | 3686843 | 720 42889 140372 | 1 165258 25 | 0.000 % | 575.89/575.92 c | 3729896 | 720 42889 140372 | 1 208311 28 | 0.000 % | 575.89/575.92 c | 3730317 | 720 42889 140372 | 1 208732 28 | 0.000 % | 575.89/575.92 c | 3730435 | 720 42889 140372 | 1 208850 28 | 0.000 % | 575.89/575.92 c | 3733536 | 720 42889 140372 | 1 211951 28 | 0.000 % | 575.89/575.92 c | 3733636 | 720 42889 140372 | 1 212051 28 | 0.000 % | 575.89/575.92 c | 3737360 | 720 42889 140372 | 1 215775 28 | 0.000 % | 575.89/575.92 c | 3737461 | 720 42889 140372 | 1 215876 28 | 0.000 % | 575.89/575.92 c | 3738466 | 720 42889 140372 | 1 216881 28 | 0.000 % | 575.89/575.92 c | 3738568 | 720 42889 140372 | 1 216983 29 | 0.000 % | 575.89/575.92 c | 3750564 | 720 42889 140372 | 1 228979 30 | 0.000 % | 575.89/575.92 c | 3751519 | 720 42889 140372 | 1 229934 30 | 0.000 % | 575.89/575.92 c | 3756505 | 720 42889 140372 | 1 234920 30 | 0.000 % | 575.89/575.92 c | 3759143 | 720 42889 140372 | 1 237558 30 | 0.000 % | 575.89/575.92 c | 3766956 | 720 42889 140372 | 1 245371 31 | 0.000 % | 575.89/575.92 c | 3773184 | 720 42889 140372 | 1 251599 31 | 0.000 % | 575.89/575.92 c | 3825786 | 720 42889 140372 | 1 167603 28 | 0.000 % | 575.89/575.92 c | 3833103 | 720 42889 140372 | 1 174920 28 | 0.000 % | 575.89/575.92 c | 3833204 | 720 42889 140372 | 1 175021 28 | 0.000 % | 575.89/575.92 c | 3854026 | 720 42889 140372 | 1 195843 30 | 0.000 % | 575.89/575.92 c | 3855963 | 720 42889 140372 | 1 197780 30 | 0.000 % | 575.89/575.92 c | 3861677 | 720 42889 140372 | 1 203494 30 | 0.000 % | 575.89/575.92 c | 3891226 | 720 42889 140372 | 1 233043 31 | 0.000 % | 575.89/575.92 c | 3898604 | 720 42889 140372 | 1 240421 32 | 0.000 % | 575.89/575.92 c | 3917582 | 720 42889 140372 | 1 259399 33 | 0.000 % | 575.89/575.92 c | 3923777 | 720 42889 140372 | 1 265594 33 | 0.000 % | 575.89/575.92 c | 3927043 | 720 42889 140372 | 1 268860 33 | 0.000 % | 575.89/575.92 c | 3932123 | 720 42889 140372 | 1 273940 34 | 0.000 % | 575.89/575.92 c | 3946315 | 720 42889 140372 | 1 148931 25 | 0.000 % | 575.89/575.92 c | 3946445 | 720 42889 140372 | 1 149061 25 | 0.000 % | 575.89/575.92 c | 3947862 | 720 42889 140372 | 1 150478 25 | 0.000 % | 575.89/575.92 c | 3950261 | 720 42889 140372 | 1 152877 26 | 0.000 % | 575.89/575.92 c | 3970340 | 720 42889 140372 | 1 172956 28 | 0.000 % | 575.89/575.92 c | 3973803 | 720 42889 140372 | 1 176419 28 | 0.000 % | 575.89/575.92 c | 4016820 | 720 42889 140372 | 1 219436 30 | 0.000 % | 575.89/575.92 c | 4021590 | 720 42889 140372 | 1 224206 30 | 0.000 % | 575.89/575.92 c | 4021693 | 720 42889 140372 | 1 224309 30 | 0.000 % | 697.19/697.20 c | 4051489 | 720 42889 140372 | 1 254105 32 | 0.000 % | 697.19/697.20 c | 4053992 | 720 42889 140372 | 1 256608 32 | 0.000 % | 697.19/697.20 c | 4092724 | 720 42889 140372 | 1 153536 24 | 0.000 % | 697.19/697.20 c | 4092825 | 720 42889 140372 | 1 153637 24 | 0.000 % | 697.19/697.20 c | 4191005 | 720 42889 140372 | 1 251817 31 | 0.000 % | 697.19/697.20 c | 4191672 | 720 42889 140372 | 1 252484 31 | 0.000 % | 697.19/697.20 c | 4209595 | 720 42889 140372 | 1 270407 32 | 0.000 % | 697.19/697.20 c | 4214023 | 720 42889 140372 | 1 274835 32 | 0.000 % | 697.19/697.20 c | 4225893 | 720 42889 140372 | 1 286705 32 | 0.000 % | 697.19/697.20 c | 4267430 | 720 42889 140372 | 1 183839 27 | 0.000 % | 697.19/697.20 c | 4279778 | 720 42889 140372 | 1 196187 27 | 0.000 % | 697.19/697.20 c | 4279880 | 720 42889 140372 | 1 196289 28 | 0.000 % | 697.19/697.20 c | 4315809 | 720 42889 140372 | 1 232218 30 | 0.000 % | 697.19/697.20 c | 4333220 | 720 42889 140372 | 1 249629 31 | 0.000 % | 697.19/697.20 c | 4345958 | 720 42889 140372 | 1 262367 32 | 0.000 % | 697.19/697.20 c | 4346428 | 720 42889 140372 | 1 262837 32 | 0.000 % | 697.19/697.20 c | 4350940 | 720 42889 140372 | 1 267349 32 | 0.000 % | 697.19/697.20 c | 4361813 | 720 42889 140372 | 1 278222 32 | 0.000 % | 697.19/697.20 c | 4362934 | 720 42889 140372 | 1 279343 32 | 0.000 % | 697.19/697.20 c | 4364201 | 720 42889 140372 | 1 280610 32 | 0.000 % | 697.19/697.20 c | 4371933 | 720 42889 140372 | 1 288342 33 | 0.000 % | 697.19/697.20 c | 4372642 | 720 42889 140372 | 1 289051 33 | 0.000 % | 697.19/697.20 c | 4380183 | 720 42889 140372 | 1 149598 24 | 0.000 % | 697.19/697.20 c | 4389678 | 720 42889 140372 | 1 159093 24 | 0.000 % | 697.19/697.20 c | 4412183 | 720 42889 140372 | 1 181598 26 | 0.000 % | 697.19/697.20 c | 4445042 | 720 42889 140372 | 1 214457 28 | 0.000 % | 697.19/697.20 c | 4445395 | 720 42889 140372 | 1 214810 28 | 0.000 % | 697.19/697.20 c | 4457609 | 720 42889 140372 | 1 227024 28 | 0.000 % | 697.19/697.20 c | 4458691 | 720 42889 140372 | 1 228106 28 | 0.000 % | 697.19/697.20 c | 4458791 | 720 42889 140372 | 1 228206 28 | 0.000 % | 697.19/697.20 c | 4459607 | 720 42889 140372 | 1 229022 28 | 0.000 % | 697.19/697.20 c | 4460076 | 720 42889 140372 | 1 229491 28 | 0.000 % | 697.19/697.20 c | 4486226 | 720 42889 140372 | 1 255641 29 | 0.000 % | 697.19/697.20 c | 4514393 | 720 42889 140372 | 1 283808 29 | 0.000 % | 697.19/697.20 c | 4523827 | 720 42889 140372 | 1 293242 30 | 0.000 % | 697.19/697.20 c | 4528734 | 720 42889 140372 | 1 298149 30 | 0.000 % | 697.19/697.20 c | 4554224 | 720 42889 140372 | 1 174037 25 | 0.000 % | 697.19/697.20 c | 4566730 | 720 42889 140372 | 1 186543 26 | 0.000 % | 697.19/697.20 c | 4573394 | 720 42889 140372 | 1 193207 26 | 0.000 % | 697.19/697.20 c | 4581596 | 720 42889 140372 | 1 201409 27 | 0.000 % | 697.19/697.20 c | 4590293 | 720 42889 140372 | 1 210106 27 | 0.000 % | 697.19/697.20 c | 4599163 | 720 42889 140372 | 1 218976 27 | 0.000 % | 697.19/697.20 c | 4626713 | 720 42889 140372 | 1 246526 29 | 0.000 % | 697.19/697.20 c | 4627374 | 720 42889 140372 | 1 247187 29 | 0.000 % | 697.19/697.20 c | 4627475 | 720 42889 140372 | 1 247288 29 | 0.000 % | 697.19/697.20 c | 4640527 | 720 42889 140372 | 1 260340 30 | 0.000 % | 697.19/697.20 c | 4653330 | 720 42889 140372 | 1 273143 31 | 0.000 % | 697.19/697.20 c | 4666327 | 720 42889 140372 | 1 286140 31 | 0.000 % | 697.19/697.20 c | 4678271 | 720 42889 140372 | 1 298084 31 | 0.000 % | 742.70/742.73 c | 4681944 | 720 42889 140372 | 1 301757 32 | 0.000 % | 742.70/742.73 c | 4682045 | 720 42889 140372 | 1 301858 32 | 0.000 % | 742.70/742.73 c | 4684227 | 720 42889 140372 | 1 304040 32 | 0.000 % | 742.70/742.73 c | 4689568 | 720 42889 140372 | 1 157185 23 | 0.000 % | 742.70/742.73 c | 4693254 | 720 42889 140372 | 1 160871 24 | 0.000 % | 742.70/742.73 c | 4693354 | 720 42889 140372 | 1 160971 24 | 0.000 % | 742.70/742.73 c | 4693456 | 720 42889 140372 | 1 161073 24 | 0.000 % | 742.70/742.73 c | 4693739 | 720 42889 140372 | 1 161356 24 | 0.000 % | 742.70/742.73 c | 4695964 | 720 42889 140372 | 1 163581 24 | 0.000 % | 742.70/742.73 c | 4697159 | 720 42889 140372 | 1 164776 24 | 0.000 % | 742.70/742.73 c | 4697259 | 720 42889 140372 | 1 164876 24 | 0.000 % | 742.70/742.73 c | 4725651 | 720 42889 140372 | 1 193268 26 | 0.000 % | 742.70/742.73 c | 4725999 | 720 42889 140372 | 1 193616 26 | 0.000 % | 742.70/742.73 c | 4738987 | 720 42889 140372 | 1 206604 27 | 0.000 % | 742.70/742.73 c | 4748343 | 720 42889 140372 | 1 215960 27 | 0.000 % | 742.70/742.73 c | 4749198 | 720 42889 140372 | 1 216815 27 | 0.000 % | 742.70/742.73 c | 4782366 | 720 42889 140372 | 1 249983 29 | 0.000 % | 742.70/742.73 c | 4793639 | 720 42889 140372 | 1 261256 29 | 0.000 % | 742.70/742.73 c | 4795631 | 720 42889 140372 | 1 263248 29 | 0.000 % | 742.70/742.73 c | 4797896 | 720 42889 140372 | 1 265513 29 | 0.000 % | 742.70/742.73 c | 4798112 | 720 42889 140372 | 1 265729 29 | 0.000 % | 742.70/742.73 c | 4812334 | 720 42889 140372 | 1 279951 29 | 0.000 % | 742.70/742.73 c | 4821900 | 720 42889 140372 | 1 289517 30 | 0.000 % | 742.70/742.73 c | 4822001 | 720 42889 140372 | 1 289618 30 | 0.000 % | 742.70/742.73 c | 4825358 | 720 42889 140372 | 1 292975 30 | 0.000 % | 742.70/742.73 c | 4825459 | 720 42889 140372 | 1 293076 30 | 0.000 % | 742.70/742.73 c | 4827527 | 720 42889 140372 | 1 295144 30 | 0.000 % | 742.70/742.73 c | 4829571 | 720 42889 140372 | 1 297188 30 | 0.000 % | 742.70/742.73 c | 4830092 | 720 42889 140372 | 1 297709 30 | 0.000 % | 742.70/742.73 c | 4830193 | 720 42889 140372 | 1 297810 30 | 0.000 % | 742.70/742.73 c | 4848128 | 720 42889 140372 | 1 160952 23 | 0.000 % | 742.70/742.73 c | 4848228 | 720 42889 140372 | 1 161052 23 | 0.000 % | 742.70/742.73 c | 4855225 | 720 42889 140372 | 1 168049 24 | 0.000 % | 742.70/742.73 c | 4858367 | 720 42889 140372 | 1 171191 24 | 0.000 % | 742.70/742.73 c | 4861299 | 720 42889 140372 | 1 174123 24 | 0.000 % | 742.70/742.73 c | 4873562 | 720 42889 140372 | 1 186386 25 | 0.000 % | 742.70/742.73 c | 4876637 | 720 42889 140372 | 1 189461 26 | 0.000 % | 742.70/742.73 c | 4877714 | 720 42889 140372 | 1 190538 26 | 0.000 % | 742.70/742.73 c | 4878382 | 720 42889 140372 | 1 191206 26 | 0.000 % | 742.70/742.73 c | 4878482 | 720 42889 140372 | 1 191306 26 | 0.000 % | 742.70/742.73 c | 4878733 | 720 42889 140372 | 1 191557 26 | 0.000 % | 742.70/742.73 c | 4881990 | 720 42889 140372 | 1 194814 26 | 0.000 % | 742.70/742.73 c | 4882357 | 720 42889 140372 | 1 195181 26 | 0.000 % | 742.70/742.73 c | 4883047 | 720 42889 140372 | 1 195871 26 | 0.000 % | 742.70/742.73 c | 4885001 | 720 42889 140372 | 1 197825 26 | 0.000 % | 742.70/742.73 c | 4888243 | 720 42889 140372 | 1 201067 27 | 0.000 % | 742.70/742.73 c | 4888390 | 720 42889 140372 | 1 201214 27 | 0.000 % | 742.70/742.73 c | 4889941 | 720 42889 140372 | 1 202765 27 | 0.000 % | 742.70/742.73 c | 4896063 | 720 42889 140372 | 1 208887 27 | 0.000 % | 742.70/742.73 c | 4916370 | 720 42889 140372 | 1 229194 28 | 0.000 % | 803.40/803.48 c | 4916590 | 720 42889 140372 | 1 229414 28 | 0.000 % | 803.40/803.48 c | 4921444 | 720 42889 140372 | 1 234268 28 | 0.000 % | 803.40/803.48 c | 4941574 | 720 42889 140372 | 1 254398 29 | 0.000 % | 803.40/803.48 c | 4945403 | 720 42889 140372 | 1 258227 29 | 0.000 % | 803.40/803.48 c | 4956707 | 720 42889 140372 | 1 269531 30 | 0.000 % | 803.40/803.48 c | 4962433 | 720 42889 140372 | 1 275257 30 | 0.000 % | 803.40/803.48 c | 5005989 | 720 42889 140372 | 1 161411 23 | 0.000 % | 803.40/803.48 c | 5006999 | 720 42889 140372 | 1 162421 23 | 0.000 % | 803.40/803.48 c | 5012108 | 720 42889 140372 | 1 167530 24 | 0.000 % | 803.40/803.48 c | 5012210 | 720 42889 140372 | 1 167632 24 | 0.000 % | 803.40/803.48 c | 5024698 | 720 42889 140372 | 1 180120 25 | 0.000 % | 803.40/803.48 c | 5028898 | 720 42889 140372 | 1 184320 26 | 0.000 % | 803.40/803.48 c | 5041394 | 720 42889 140372 | 1 196816 27 | 0.000 % | 803.40/803.48 c | 5056332 | 720 42889 140372 | 1 211754 28 | 0.000 % | 803.40/803.48 c | 5063577 | 720 42889 140372 | 1 218999 28 | 0.000 % | 803.40/803.48 c | 5064061 | 720 42889 140372 | 1 219483 28 | 0.000 % | 803.40/803.48 c | 5073319 | 720 42889 140372 | 1 228741 28 | 0.000 % | 803.40/803.48 c | 5088843 | 720 42889 140372 | 1 244265 29 | 0.000 % | 803.40/803.48 c | 5092416 | 720 42889 140372 | 1 247838 29 | 0.000 % | 803.40/803.48 c | 5094782 | 720 42889 140372 | 1 250204 29 | 0.000 % | 803.40/803.48 c | 5111223 | 720 42889 140372 | 1 266645 30 | 0.000 % | 803.40/803.48 c | 5119509 | 720 42889 140372 | 1 274931 30 | 0.000 % | 803.40/803.48 c | 5120221 | 720 42889 140372 | 1 275643 30 | 0.000 % | 803.40/803.48 c | 5120322 | 720 42889 140372 | 1 275744 30 | 0.000 % | 803.40/803.48 c | 5123554 | 720 42889 140372 | 1 278976 30 | 0.000 % | 803.40/803.48 c | 5123655 | 720 42889 140372 | 1 279077 30 | 0.000 % | 803.40/803.48 c | 5133864 | 720 42889 140372 | 1 289286 31 | 0.000 % | 803.40/803.48 c | 5137219 | 720 42889 140372 | 1 292641 31 | 0.000 % | 803.40/803.48 c | 5138531 | 720 42889 140372 | 1 293953 31 | 0.000 % | 803.40/803.48 c | 5142046 | 720 42889 140372 | 1 297468 31 | 0.000 % | 803.40/803.48 c | 5142495 | 720 42889 140372 | 1 297917 31 | 0.000 % | 803.40/803.48 c | 5142595 | 720 42889 140372 | 1 298017 31 | 0.000 % | 803.40/803.48 c | 5150509 | 720 42889 140372 | 1 305931 31 | 0.000 % | 803.40/803.48 c | 5151192 | 720 42889 140372 | 1 306614 31 | 0.000 % | 803.40/803.48 c | 5152652 | 720 42889 140372 | 1 308074 31 | 0.000 % | 803.40/803.48 c | 5161066 | 720 42889 140372 | 1 316488 31 | 0.000 % | 803.40/803.48 c | 5163330 | 720 42889 140372 | 1 318752 31 | 0.000 % | 803.40/803.48 c | 5165109 | 720 42889 140372 | 1 160527 23 | 0.000 % | 803.40/803.48 c | 5169957 | 720 42889 140372 | 1 165375 23 | 0.000 % | 803.40/803.48 c | 5172944 | 720 42889 140372 | 1 168362 23 | 0.000 % | 803.40/803.48 c | 5175922 | 720 42889 140372 | 1 171340 24 | 0.000 % | 803.40/803.48 c | 5188731 | 720 42889 140372 | 1 184149 25 | 0.000 % | 803.40/803.48 c | 5194147 | 720 42889 140372 | 1 189565 25 | 0.000 % | 803.40/803.48 c | 5201933 | 720 42889 140372 | 1 197351 26 | 0.000 % | 803.40/803.48 c | 5213160 | 720 42889 140372 | 1 208578 27 | 0.000 % | 803.40/803.48 c | 5213261 | 720 42889 140372 | 1 208679 27 | 0.000 % | 803.40/803.48 c | 5219343 | 720 42889 140372 | 1 214761 27 | 0.000 % | 803.40/803.48 c | 5251514 | 720 42889 140372 | 1 246932 29 | 0.000 % | 803.40/803.48 c | 5252778 | 720 42889 140372 | 1 248196 30 | 0.000 % | 803.40/803.48 c | 5255610 | 720 42889 140372 | 1 251028 30 | 0.000 % | 865.60/865.67 c | 5256614 | 720 42889 140372 | 1 252032 30 | 0.000 % | 865.60/865.67 c | 5257446 | 720 42889 140372 | 1 252864 30 | 0.000 % | 865.60/865.67 c | 5261738 | 720 42889 140372 | 1 257156 30 | 0.000 % | 865.60/865.67 c | 5262314 | 720 42889 140372 | 1 257732 30 | 0.000 % | 865.60/865.67 c | 5262833 | 720 42889 140372 | 1 258251 30 | 0.000 % | 865.60/865.67 c | 5282636 | 720 42889 140372 | 1 278054 32 | 0.000 % | 865.60/865.67 c | 5286417 | 720 42889 140372 | 1 281835 32 | 0.000 % | 865.60/865.67 c | 5295861 | 720 42889 140372 | 1 291279 32 | 0.000 % | 865.60/865.67 c | 5305103 | 720 42889 140372 | 1 300521 33 | 0.000 % | 865.60/865.67 c | 5309866 | 720 42889 140372 | 1 305284 33 | 0.000 % | 865.60/865.67 c | 5310061 | 720 42889 140372 | 1 305479 33 | 0.000 % | 865.60/865.67 c | 5320131 | 720 42889 140372 | 1 315549 33 | 0.000 % | 865.60/865.67 c | 5335357 | 720 42889 140372 | 1 168177 24 | 0.000 % | 865.60/865.67 c | 5360988 | 720 42889 140372 | 1 193808 26 | 0.000 % | 865.60/865.67 c | 5362060 | 720 42889 140372 | 1 194880 27 | 0.000 % | 865.60/865.67 c | 5362444 | 720 42889 140372 | 1 195264 27 | 0.000 % | 865.60/865.67 c | 5377116 | 720 42889 140372 | 1 209936 28 | 0.000 % | 865.60/865.67 c | 5394092 | 720 42889 140372 | 1 226912 29 | 0.000 % | 865.60/865.67 c | 5394639 | 720 42889 140372 | 1 227459 29 | 0.000 % | 865.60/865.67 c | 5405519 | 720 42889 140372 | 1 238339 29 | 0.000 % | 865.60/865.67 c | 5416466 | 720 42889 140372 | 1 249286 30 | 0.000 % | 865.60/865.67 c | 5418516 | 720 42889 140372 | 1 251336 30 | 0.000 % | 865.60/865.67 c | 5425752 | 720 42889 140372 | 1 258572 31 | 0.000 % | 865.60/865.67 c | 5428003 | 720 42889 140372 | 1 260823 31 | 0.000 % | 865.60/865.67 c | 5429540 | 720 42889 140372 | 1 262360 31 | 0.000 % | 865.60/865.67 c | 5429767 | 720 42889 140372 | 1 262587 31 | 0.000 % | 865.60/865.67 c | 5430101 | 720 42889 140372 | 1 262921 31 | 0.000 % | 865.60/865.67 c | 5449813 | 720 42889 140372 | 1 282633 31 | 0.000 % | 865.60/865.67 c | 5457013 | 720 42889 140372 | 1 289833 31 | 0.000 % | 865.60/865.67 c | 5459388 | 720 42889 140372 | 1 292208 31 | 0.000 % | 865.60/865.67 c | 5464249 | 720 42889 140372 | 1 297069 32 | 0.000 % | 865.60/865.67 c | 5465952 | 720 42889 140372 | 1 298772 32 | 0.000 % | 865.60/865.67 c | 5466295 | 720 42889 140372 | 1 299115 32 | 0.000 % | 865.60/865.67 c | 5470398 | 720 42889 140372 | 1 303218 32 | 0.000 % | 865.60/865.67 c | 5488773 | 720 42889 140372 | 1 321593 32 | 0.000 % | 865.60/865.67 c | 5489494 | 720 42889 140372 | 1 322314 32 | 0.000 % | 865.60/865.67 c | 5501657 | 720 42889 140372 | 1 169274 23 | 0.000 % | 865.60/865.67 c | 5504233 | 720 42889 140372 | 1 171850 23 | 0.000 % | 865.60/865.67 c | 5514928 | 720 42889 140372 | 1 182545 24 | 0.000 % | 865.60/865.67 c | 5520479 | 720 42889 140372 | 1 188096 25 | 0.000 % | 865.60/865.67 c | 5525282 | 720 42889 140372 | 1 192899 25 | 0.000 % | 865.60/865.67 c | 5540525 | 720 42889 140372 | 1 208142 26 | 0.000 % | 865.60/865.67 c | 5548684 | 720 42889 140372 | 1 216301 27 | 0.000 % | 865.60/865.67 c | 5548784 | 720 42889 140372 | 1 216401 27 | 0.000 % | 865.60/865.67 c | 5556410 | 720 42889 140372 | 1 224027 27 | 0.000 % | 865.60/865.67 c | 5561591 | 720 42889 140372 | 1 229208 27 | 0.000 % | 865.60/865.67 c | 5575705 | 720 42889 140372 | 1 243322 28 | 0.000 % | 865.60/865.67 c | 5575807 | 720 42889 140372 | 1 243424 28 | 0.000 % | 865.60/865.67 c | 5576851 | 720 42889 140372 | 1 244468 28 | 0.000 % | 865.60/865.67 c | 5580821 | 720 42889 140372 | 1 248438 28 | 0.000 % | 915.99/916.03 c | 5580975 | 720 42889 140372 | 1 248592 28 | 0.000 % | 915.99/916.03 c | 5582177 | 720 42889 140372 | 1 249794 28 | 0.000 % | 915.99/916.03 c | 5584464 | 720 42889 140372 | 1 252081 28 | 0.000 % | 915.99/916.03 c | 5585423 | 720 42889 140372 | 1 253040 28 | 0.000 % | 915.99/916.03 c | 5589265 | 720 42889 140372 | 1 256882 29 | 0.000 % | 915.99/916.03 c | 5610814 | 720 42889 140372 | 1 278431 29 | 0.000 % | 915.99/916.03 c | 5616254 | 720 42889 140372 | 1 283871 30 | 0.000 % | 915.99/916.03 c | 5623548 | 720 42889 140372 | 1 291165 30 | 0.000 % | 915.99/916.03 c | 5627745 | 720 42889 140372 | 1 295362 30 | 0.000 % | 915.99/916.03 c | 5630700 | 720 42889 140372 | 1 298317 30 | 0.000 % | 915.99/916.03 c | 5630800 | 720 42889 140372 | 1 298417 30 | 0.000 % | 915.99/916.03 c | 5631589 | 720 42889 140372 | 1 299206 30 | 0.000 % | 915.99/916.03 c | 5633300 | 720 42889 140372 | 1 300917 30 | 0.000 % | 915.99/916.03 c | 5634838 | 720 42889 140372 | 1 302455 30 | 0.000 % | 915.99/916.03 c | 5637903 | 720 42889 140372 | 1 305520 30 | 0.000 % | 915.99/916.03 c | 5643490 | 720 42889 140372 | 1 311107 30 | 0.000 % | 915.99/916.03 c | 5644630 | 720 42889 140372 | 1 312247 30 | 0.000 % | 915.99/916.03 c | 5660607 | 720 42889 140372 | 1 328224 31 | 0.000 % | 915.99/916.03 c | 5661802 | 720 42889 140372 | 1 329419 31 | 0.000 % | 915.99/916.03 c | 5665544 | 720 42889 140372 | 1 333161 31 | 0.000 % | 915.99/916.03 c | 5671196 | 720 42889 140372 | 1 171018 23 | 0.000 % | 915.99/916.03 c | 5674331 | 720 42889 140372 | 1 174153 23 | 0.000 % | 915.99/916.03 c | 5681915 | 720 42889 140372 | 1 181737 23 | 0.000 % | 915.99/916.03 c | 5683635 | 720 42889 140372 | 1 183457 24 | 0.000 % | 915.99/916.03 c | 5689598 | 720 42889 140372 | 1 189420 24 | 0.000 % | 915.99/916.03 c | 5692863 | 720 42889 140372 | 1 192685 24 | 0.000 % | 915.99/916.03 c | 5701244 | 720 42889 140372 | 1 201066 25 | 0.000 % | 915.99/916.03 c | 5722172 | 720 42889 140372 | 1 221994 25 | 0.000 % | 915.99/916.03 c | 5726467 | 720 42889 140372 | 1 226289 25 | 0.000 % | 915.99/916.03 c | 5739754 | 720 42889 140372 | 1 239576 26 | 0.000 % | 915.99/916.03 c | 5741998 | 720 42889 140372 | 1 241820 26 | 0.000 % | 915.99/916.03 c | 5742882 | 720 42889 140372 | 1 242704 26 | 0.000 % | 915.99/916.03 c | 5753184 | 720 42889 140372 | 1 253006 27 | 0.000 % | 915.99/916.03 c | 5755070 | 720 42889 140372 | 1 254892 27 | 0.000 % | 915.99/916.03 c | 5758635 | 720 42889 140372 | 1 258457 27 | 0.000 % | 915.99/916.03 c | 5759358 | 720 42889 140372 | 1 259180 27 | 0.000 % | 915.99/916.03 c | 5759544 | 720 42889 140372 | 1 259366 27 | 0.000 % | 915.99/916.03 c | 5761012 | 720 42889 140372 | 1 260834 27 | 0.000 % | 915.99/916.03 c | 5761718 | 720 42889 140372 | 1 261540 27 | 0.000 % | 915.99/916.03 c | 5763794 | 720 42889 140372 | 1 263616 27 | 0.000 % | 915.99/916.03 c | 5769443 | 720 42889 140372 | 1 269265 28 | 0.000 % | 915.99/916.03 c | 5769543 | 720 42889 140372 | 1 269365 28 | 0.000 % | 915.99/916.03 c | 5791407 | 720 42889 140372 | 1 291229 29 | 0.000 % | 915.99/916.03 c | 5793679 | 720 42889 140372 | 1 293501 29 | 0.000 % | 915.99/916.03 c | 5801568 | 720 42889 140372 | 1 301390 29 | 0.000 % | 915.99/916.03 c | 5803957 | 720 42889 140372 | 1 303779 29 | 0.000 % | 915.99/916.03 c | 5804490 | 720 42889 140372 | 1 304312 29 | 0.000 % | 915.99/916.03 c | 5805337 | 720 42889 140372 | 1 305159 29 | 0.000 % | 915.99/916.03 c | 5810311 | 720 42889 140372 | 1 310133 30 | 0.000 % | 915.99/916.03 c | 5810411 | 720 42889 140372 | 1 310233 30 | 0.000 % | 967.10/967.14 c | 5813534 | 720 42889 140372 | 1 313356 30 | 0.000 % | 967.10/967.14 c | 5817175 | 720 42889 140372 | 1 316997 30 | 0.000 % | 967.10/967.14 c | 5817275 | 720 42889 140372 | 1 317097 30 | 0.000 % | 967.10/967.14 c | 5818695 | 720 42889 140372 | 1 318517 30 | 0.000 % | 967.10/967.14 c | 5827607 | 720 42889 140372 | 1 327429 30 | 0.000 % | 967.10/967.14 c | 5834177 | 720 42889 140372 | 1 333999 30 | 0.000 % | 967.10/967.14 c | 5834494 | 720 42889 140372 | 1 334316 30 | 0.000 % | 967.10/967.14 c | 5834727 | 720 42889 140372 | 1 334549 31 | 0.000 % | 967.10/967.14 c | 5835380 | 720 42889 140372 | 1 335202 31 | 0.000 % | 967.10/967.14 c | 5847375 | 720 42889 140372 | 1 176793 22 | 0.000 % | 967.10/967.14 c | 5851784 | 720 42889 140372 | 1 181202 23 | 0.000 % | 967.10/967.14 c | 5855978 | 720 42889 140372 | 1 185396 23 | 0.000 % | 967.10/967.14 c | 5856237 | 720 42889 140372 | 1 185655 23 | 0.000 % | 967.10/967.14 c | 5857521 | 720 42889 140372 | 1 186939 23 | 0.000 % | 967.10/967.14 c | 5858235 | 720 42889 140372 | 1 187653 23 | 0.000 % | 967.10/967.14 c | 5858337 | 720 42889 140372 | 1 187755 23 | 0.000 % | 967.10/967.14 c | 5864892 | 720 42889 140372 | 1 194310 24 | 0.000 % | 967.10/967.14 c | 5865047 | 720 42889 140372 | 1 194465 24 | 0.000 % | 967.10/967.14 c | 5865907 | 720 42889 140372 | 1 195325 24 | 0.000 % | 967.10/967.14 c | 5878888 | 720 42889 140372 | 1 208306 25 | 0.000 % | 967.10/967.14 c | 5881229 | 720 42889 140372 | 1 210647 25 | 0.000 % | 967.10/967.14 c | 5882990 | 720 42889 140372 | 1 212408 25 | 0.000 % | 967.10/967.14 c | 5895433 | 720 42889 140372 | 1 224851 27 | 0.000 % | 967.10/967.14 c | 5911381 | 720 42889 140372 | 1 240799 27 | 0.000 % | 967.10/967.14 c | 5928498 | 720 42889 140372 | 1 257916 28 | 0.000 % | 967.10/967.14 c | 5928954 | 720 42889 140372 | 1 258372 28 | 0.000 % | 967.10/967.14 c | 5931574 | 720 42889 140372 | 1 260992 28 | 0.000 % | 967.10/967.14 c | 5939936 | 720 42889 140372 | 1 269354 28 | 0.000 % | 967.10/967.14 c | 5944062 | 720 42889 140372 | 1 273480 28 | 0.000 % | 967.10/967.14 c | 5948799 | 720 42889 140372 | 1 278217 28 | 0.000 % | 967.10/967.14 c | 5951479 | 720 42889 140372 | 1 280897 29 | 0.000 % | 967.10/967.14 c | 5956511 | 720 42889 140372 | 1 285929 29 | 0.000 % | 967.10/967.14 c | 5956707 | 720 42889 140372 | 1 286125 29 | 0.000 % | 967.10/967.14 c | 5964075 | 720 42889 140372 | 1 293493 29 | 0.000 % | 967.10/967.14 c | 5967472 | 720 42889 140372 | 1 296890 29 | 0.000 % | 967.10/967.14 c | 5968374 | 720 42889 140372 | 1 297792 29 | 0.000 % | 967.10/967.14 c | 5981571 | 720 42889 140372 | 1 310989 29 | 0.000 % | 967.10/967.14 c | 5998153 | 720 42889 140372 | 1 327571 30 | 0.000 % | 967.10/967.14 c | 6008875 | 720 42889 140372 | 1 338293 31 | 0.000 % | 967.10/967.14 c | 6011907 | 720 42889 140372 | 1 341325 31 | 0.000 % | 967.10/967.14 c | 6014403 | 720 42889 140372 | 1 343821 31 | 0.000 % | 967.10/967.14 c | 6021561 | 720 42889 140372 | 1 177975 23 | 0.000 % | 967.10/967.14 c | 6023557 | 720 42889 140372 | 1 179971 23 | 0.000 % | 967.10/967.14 c | 6031882 | 720 42889 140372 | 1 188296 24 | 0.000 % | 967.10/967.14 c | 6036529 | 720 42889 140372 | 1 192943 25 | 0.000 % | 967.10/967.14 c | 6043923 | 720 42889 140372 | 1 200337 25 | 0.000 % | 967.10/967.14 c | 6048446 | 720 42889 140372 | 1 204860 26 | 0.000 % | 967.10/967.14 c | 6055075 | 720 42889 140372 | 1 211489 26 | 0.000 % | 967.10/967.14 c | 6056307 | 720 42889 140372 | 1 212721 26 | 0.000 % | 967.10/967.14 c | 6057390 | 720 42889 140372 | 1 213804 26 | 0.000 % | 1016.31/1016.34 c | 6057491 | 720 42889 140372 | 1 213905 26 | 0.000 % | 1016.31/1016.34 c | 6067706 | 720 42889 140372 | 1 224120 27 | 0.000 % | 1016.31/1016.34 c | 6069107 | 720 42889 140372 | 1 225521 27 | 0.000 % | 1016.31/1016.34 c | 6074523 | 720 42889 140372 | 1 230937 28 | 0.000 % | 1016.31/1016.34 c | 6088997 | 720 42889 140372 | 1 245411 28 | 0.000 % | 1016.31/1016.34 c | 6090929 | 720 42889 140372 | 1 247343 28 | 0.000 % | 1016.31/1016.34 c | 6095883 | 720 42889 140372 | 1 252297 29 | 0.000 % | 1016.31/1016.34 c | 6095983 | 720 42889 140372 | 1 252397 29 | 0.000 % | 1016.31/1016.34 c | 6100817 | 720 42889 140372 | 1 257231 29 | 0.000 % | 1016.31/1016.34 c | 6104303 | 720 42889 140372 | 1 260717 29 | 0.000 % | 1016.31/1016.34 c | 6105261 | 720 42889 140372 | 1 261675 29 | 0.000 % | 1016.31/1016.34 c | 6105624 | 720 42889 140372 | 1 262038 29 | 0.000 % | 1016.31/1016.34 c | 6107175 | 720 42889 140372 | 1 263589 29 | 0.000 % | 1016.31/1016.34 c | 6115292 | 720 42889 140372 | 1 271706 30 | 0.000 % | 1016.31/1016.34 c | 6123731 | 720 42889 140372 | 1 280145 30 | 0.000 % | 1016.31/1016.34 c | 6123831 | 720 42889 140372 | 1 280245 30 | 0.000 % | 1016.31/1016.34 c | 6134967 | 720 42889 140372 | 1 291381 31 | 0.000 % | 1016.31/1016.34 c | 6135121 | 720 42889 140372 | 1 291535 31 | 0.000 % | 1016.31/1016.34 c | 6146482 | 720 42889 140372 | 1 302896 31 | 0.000 % | 1016.31/1016.34 c | 6149408 | 720 42889 140372 | 1 305822 31 | 0.000 % | 1016.31/1016.34 c | 6149508 | 720 42889 140372 | 1 305922 31 | 0.000 % | 1016.31/1016.34 c | 6152732 | 720 42889 140372 | 1 309146 31 | 0.000 % | 1016.31/1016.34 c | 6153942 | 720 42889 140372 | 1 310356 31 | 0.000 % | 1016.31/1016.34 c | 6154044 | 720 42889 140372 | 1 310458 31 | 0.000 % | 1016.31/1016.34 c | 6169190 | 720 42889 140372 | 1 325604 32 | 0.000 % | 1016.31/1016.34 c | 6210764 | 720 42889 140372 | 1 191573 24 | 0.000 % | 1016.31/1016.34 c | 6219742 | 720 42889 140372 | 1 200551 25 | 0.000 % | 1016.31/1016.34 c | 6221826 | 720 42889 140372 | 1 202635 25 | 0.000 % | 1016.31/1016.34 c | 6221926 | 720 42889 140372 | 1 202735 25 | 0.000 % | 1016.31/1016.34 c | 6222991 | 720 42889 140372 | 1 203800 26 | 0.000 % | 1016.31/1016.34 c | 6226281 | 720 42889 140372 | 1 207090 26 | 0.000 % | 1016.31/1016.34 c | 6235749 | 720 42889 140372 | 1 216558 26 | 0.000 % | 1016.31/1016.34 c | 6235917 | 720 42889 140372 | 1 216726 26 | 0.000 % | 1016.31/1016.34 c | 6240905 | 720 42889 140372 | 1 221714 27 | 0.000 % | 1016.31/1016.34 c | 6249862 | 720 42889 140372 | 1 230671 27 | 0.000 % | 1016.31/1016.34 c | 6254797 | 720 42889 140372 | 1 235606 27 | 0.000 % | 1016.31/1016.34 c | 6257378 | 720 42889 140372 | 1 238187 27 | 0.000 % | 1016.31/1016.34 c | 6257480 | 720 42889 140372 | 1 238289 27 | 0.000 % | 1016.31/1016.34 c | 6260161 | 720 42889 140372 | 1 240970 28 | 0.000 % | 1016.31/1016.34 c | 6270949 | 720 42889 140372 | 1 251758 28 | 0.000 % | 1016.31/1016.34 c | 6276251 | 720 42889 140372 | 1 257060 28 | 0.000 % | 1016.31/1016.34 c | 6276351 | 720 42889 140372 | 1 257160 28 | 0.000 % | 1016.31/1016.34 c | 6276452 | 720 42889 140372 | 1 257261 28 | 0.000 % | 1016.31/1016.34 c | 6278258 | 720 42889 140372 | 1 259067 28 | 0.000 % | 1016.31/1016.34 c | 6287016 | 720 42889 140372 | 1 267825 29 | 0.000 % | 1016.31/1016.34 c | 6288284 | 720 42889 140372 | 1 269093 29 | 0.000 % | 1016.31/1016.34 c | 6291078 | 720 42889 140372 | 1 271887 29 | 0.000 % | 1016.31/1016.34 c | 6295562 | 720 42889 140372 | 1 276371 29 | 0.000 % | 1016.31/1016.34 c | 6296415 | 720 42889 140372 | 1 277224 29 | 0.000 % | 1016.31/1016.34 c | 6297905 | 720 42889 140372 | 1 278714 29 | 0.000 % | 1090.20/1090.29 c | 6298006 | 720 42889 140372 | 1 278815 29 | 0.000 % | 1090.20/1090.29 c | 6298122 | 720 42889 140372 | 1 278931 29 | 0.000 % | 1090.20/1090.29 c | 6300237 | 720 42889 140372 | 1 281046 29 | 0.000 % | 1090.20/1090.29 c | 6301879 | 720 42889 140372 | 1 282688 29 | 0.000 % | 1090.20/1090.29 c | 6304772 | 720 42889 140372 | 1 285581 29 | 0.000 % | 1090.20/1090.29 c | 6308643 | 720 42889 140372 | 1 289452 29 | 0.000 % | 1090.20/1090.29 c | 6311378 | 720 42889 140372 | 1 292187 30 | 0.000 % | 1090.20/1090.29 c | 6320765 | 720 42889 140372 | 1 301574 30 | 0.000 % | 1090.20/1090.29 c | 6325871 | 720 42889 140372 | 1 306680 30 | 0.000 % | 1090.20/1090.29 c | 6330531 | 720 42889 140372 | 1 311340 30 | 0.000 % | 1090.20/1090.29 c | 6332088 | 720 42889 140372 | 1 312897 30 | 0.000 % | 1090.20/1090.29 c | 6354751 | 720 42889 140372 | 1 335560 31 | 0.000 % | 1090.20/1090.29 c | 6355437 | 720 42889 140372 | 1 336246 31 | 0.000 % | 1090.20/1090.29 c | 6366893 | 720 42889 140372 | 1 347702 31 | 0.000 % | 1090.20/1090.29 c | 6369396 | 720 42889 140372 | 1 350205 31 | 0.000 % | 1090.20/1090.29 c | 6397898 | 720 42889 140372 | 1 200512 24 | 0.000 % | 1090.20/1090.29 c | 6398029 | 720 42889 140372 | 1 200643 24 | 0.000 % | 1090.20/1090.29 c | 6410943 | 720 42889 140372 | 1 213557 26 | 0.000 % | 1090.20/1090.29 c | 6417583 | 720 42889 140372 | 1 220197 26 | 0.000 % | 1090.20/1090.29 c | 6424294 | 720 42889 140372 | 1 226908 27 | 0.000 % | 1090.20/1090.29 c | 6424602 | 720 42889 140372 | 1 227216 27 | 0.000 % | 1090.20/1090.29 c | 6424771 | 720 42889 140372 | 1 227385 27 | 0.000 % | 1090.20/1090.29 c | 6426720 | 720 42889 140372 | 1 229334 27 | 0.000 % | 1090.20/1090.29 c | 6450582 | 720 42889 140372 | 1 253196 28 | 0.000 % | 1090.20/1090.29 c | 6450682 | 720 42889 140372 | 1 253296 28 | 0.000 % | 1090.20/1090.29 c | 6461994 | 720 42889 140372 | 1 264608 28 | 0.000 % | 1090.20/1090.29 c | 6463080 | 720 42889 140372 | 1 265694 28 | 0.000 % | 1090.20/1090.29 c | 6464352 | 720 42889 140372 | 1 266966 28 | 0.000 % | 1090.20/1090.29 c | 6466158 | 720 42889 140372 | 1 268772 29 | 0.000 % | 1090.20/1090.29 c | 6468606 | 720 42889 140372 | 1 271220 29 | 0.000 % | 1090.20/1090.29 c | 6475380 | 720 42889 140372 | 1 277994 29 | 0.000 % | 1090.20/1090.29 c | 6477513 | 720 42889 140372 | 1 280127 29 | 0.000 % | 1090.20/1090.29 c | 6480385 | 720 42889 140372 | 1 282999 29 | 0.000 % | 1090.20/1090.29 c | 6507470 | 720 42889 140372 | 1 310084 30 | 0.000 % | 1090.20/1090.29 c | 6510310 | 720 42889 140372 | 1 312924 30 | 0.000 % | 1090.20/1090.29 c | 6538081 | 720 42889 140372 | 1 340695 31 | 0.000 % | 1090.20/1090.29 c | 6542540 | 720 42889 140372 | 1 345154 31 | 0.000 % | 1090.20/1090.29 c | 6542726 | 720 42889 140372 | 1 345340 31 | 0.000 % | 1090.20/1090.29 c | 6543403 | 720 42889 140372 | 1 346017 31 | 0.000 % | 1090.20/1090.29 c | 6574277 | 720 42889 140372 | 1 196094 23 | 0.000 % | 1090.20/1090.29 c | 6582469 | 720 42889 140372 | 1 204286 24 | 0.000 % | 1090.20/1090.29 c | 6595246 | 720 42889 140372 | 1 217063 25 | 0.000 % | 1090.20/1090.29 c | 6615688 | 720 42889 140372 | 1 237505 26 | 0.000 % | 1090.20/1090.29 c | 6628938 | 720 42889 140372 | 1 250755 26 | 0.000 % | 1090.20/1090.29 c | 6633385 | 720 42889 140372 | 1 255202 26 | 0.000 % | 1090.20/1090.29 c | 6633801 | 720 42889 140372 | 1 255618 26 | 0.000 % | 1090.20/1090.29 c | 6647219 | 720 42889 140372 | 1 269036 27 | 0.000 % | 1090.20/1090.29 c | 6647618 | 720 42889 140372 | 1 269435 27 | 0.000 % | 1090.20/1090.29 c | 6648373 | 720 42889 140372 | 1 270190 27 | 0.000 % | 1090.20/1090.29 c | 6650740 | 720 42889 140372 | 1 272557 27 | 0.000 % | 1150.80/1150.83 c | 6665762 | 720 42889 140372 | 1 287579 28 | 0.000 % | 1150.80/1150.83 c | 6666629 | 720 42889 140372 | 1 288446 28 | 0.000 % | 1150.80/1150.83 c | 6686388 | 720 42889 140372 | 1 308205 28 | 0.000 % | 1150.80/1150.83 c | 6689025 | 720 42889 140372 | 1 310842 28 | 0.000 % | 1150.80/1150.83 c | 6691701 | 720 42889 140372 | 1 313518 29 | 0.000 % | 1150.80/1150.83 c | 6691806 | 720 42889 140372 | 1 313623 29 | 0.000 % | 1150.80/1150.83 c | 6711417 | 720 42889 140372 | 1 333234 29 | 0.000 % | 1150.80/1150.83 c | 6711518 | 720 42889 140372 | 1 333335 29 | 0.000 % | 1150.80/1150.83 c | 6713571 | 720 42889 140372 | 1 335388 29 | 0.000 % | 1150.80/1150.83 c | 6715040 | 720 42889 140372 | 1 336857 29 | 0.000 % | 1150.80/1150.83 c | 6732822 | 720 42889 140372 | 1 354639 30 | 0.000 % | 1150.80/1150.83 c | 6735793 | 720 42889 140372 | 1 357610 30 | 0.000 % | 1150.80/1150.83 c | 6762667 | 720 42889 140372 | 1 201079 23 | 0.000 % | 1150.80/1150.83 c | 6762769 | 720 42889 140372 | 1 201181 23 | 0.000 % | 1150.80/1150.83 c | 6765398 | 720 42889 140372 | 1 203810 23 | 0.000 % | 1150.80/1150.83 c | 6768992 | 720 42889 140372 | 1 207404 23 | 0.000 % | 1150.80/1150.83 c | 6773516 | 720 42889 140372 | 1 211928 24 | 0.000 % | 1150.80/1150.83 c | 6791819 | 720 42889 140372 | 1 230231 25 | 0.000 % | 1150.80/1150.83 c | 6792434 | 720 42889 140372 | 1 230846 25 | 0.000 % | 1150.80/1150.83 c | 6808594 | 720 42889 140372 | 1 247006 26 | 0.000 % | 1150.80/1150.83 c | 6810025 | 720 42889 140372 | 1 248437 26 | 0.000 % | 1150.80/1150.83 c | 6816338 | 720 42889 140372 | 1 254750 26 | 0.000 % | 1150.80/1150.83 c | 6823647 | 720 42889 140372 | 1 262059 27 | 0.000 % | 1150.80/1150.83 c | 6831623 | 720 42889 140372 | 1 270035 27 | 0.000 % | 1150.80/1150.83 c | 6832202 | 720 42889 140372 | 1 270614 27 | 0.000 % | 1150.80/1150.83 c | 6833134 | 720 42889 140372 | 1 271546 27 | 0.000 % | 1150.80/1150.83 c | 6833373 | 720 42889 140372 | 1 271785 27 | 0.000 % | 1150.80/1150.83 c | 6852087 | 720 42889 140372 | 1 290499 28 | 0.000 % | 1150.80/1150.83 c | 6855912 | 720 42889 140372 | 1 294324 29 | 0.000 % | 1150.80/1150.83 c | 6856181 | 720 42889 140372 | 1 294593 29 | 0.000 % | 1150.80/1150.83 c | 6856384 | 720 42889 140372 | 1 294796 29 | 0.000 % | 1150.80/1150.83 c | 6857613 | 720 42889 140372 | 1 296025 29 | 0.000 % | 1150.80/1150.83 c | 6857932 | 720 42889 140372 | 1 296344 29 | 0.000 % | 1150.80/1150.83 c | 6858423 | 720 42889 140372 | 1 296835 29 | 0.000 % | 1150.80/1150.83 c | 6858562 | 720 42889 140372 | 1 296974 29 | 0.000 % | 1150.80/1150.83 c | 6867822 | 720 42889 140372 | 1 306234 29 | 0.000 % | 1150.80/1150.83 c | 6868408 | 720 42889 140372 | 1 306820 29 | 0.000 % | 1150.80/1150.83 c | 6869202 | 720 42889 140372 | 1 307614 29 | 0.000 % | 1150.80/1150.83 c | 6877632 | 720 42889 140372 | 1 316044 29 | 0.000 % | 1150.80/1150.83 c | 6880464 | 720 42889 140372 | 1 318876 30 | 0.000 % | 1150.80/1150.83 c | 6886689 | 720 42889 140372 | 1 325101 30 | 0.000 % | 1150.80/1150.83 c | 6897165 | 720 42889 140372 | 1 335577 30 | 0.000 % | 1150.80/1150.83 c | 6897805 | 720 42889 140372 | 1 336217 30 | 0.000 % | 1150.80/1150.83 c | 6904147 | 720 42889 140372 | 1 342559 30 | 0.000 % | 1150.80/1150.83 c | 6911847 | 720 42889 140372 | 1 350259 30 | 0.000 % | 1150.80/1150.83 c | 6911947 | 720 42889 140372 | 1 350359 30 | 0.000 % | 1150.80/1150.83 c | 6922961 | 720 42889 140372 | 1 361373 31 | 0.000 % | 1150.80/1150.83 c | 6925806 | 720 42889 140372 | 1 364218 31 | 0.000 % | 1150.80/1150.83 c | 6925908 | 720 42889 140372 | 1 364320 31 | 0.000 % | 1150.80/1150.83 c | 6926008 | 720 42889 140372 | 1 364420 31 | 0.000 % | 1227.41/1227.49 c | 6932178 | 720 42889 140372 | 1 370590 31 | 0.000 % | 1227.41/1227.49 c | 6932279 | 720 42889 140372 | 1 370691 31 | 0.000 % | 1227.41/1227.49 c | 6934759 | 720 42889 140372 | 1 187173 23 | 0.000 % | 1227.41/1227.49 c | 6936850 | 720 42889 140372 | 1 189264 23 | 0.000 % | 1227.41/1227.49 c | 6960498 | 720 42889 140372 | 1 212912 24 | 0.000 % | 1227.41/1227.49 c | 6980978 | 720 42889 140372 | 1 233392 26 | 0.000 % | 1227.41/1227.49 c | 6993171 | 720 42889 140372 | 1 245585 27 | 0.000 % | 1227.41/1227.49 c | 7002192 | 720 42889 140372 | 1 254606 27 | 0.000 % | 1227.41/1227.49 c | 7004155 | 720 42889 140372 | 1 256569 27 | 0.000 % | 1227.41/1227.49 c | 7004259 | 720 42889 140372 | 1 256673 27 | 0.000 % | 1227.41/1227.49 c | 7011189 | 720 42889 140372 | 1 263603 28 | 0.000 % | 1227.41/1227.49 c | 7017012 | 720 42889 140372 | 1 269426 28 | 0.000 % | 1227.41/1227.49 c | 7017210 | 720 42889 140372 | 1 269624 28 | 0.000 % | 1227.41/1227.49 c | 7022844 | 720 42889 140372 | 1 275258 28 | 0.000 % | 1227.41/1227.49 c | 7030228 | 720 42889 140372 | 1 282642 28 | 0.000 % | 1227.41/1227.49 c | 7034580 | 720 42889 140372 | 1 286994 28 | 0.000 % | 1227.41/1227.49 c | 7040294 | 720 42889 140372 | 1 292708 29 | 0.000 % | 1227.41/1227.49 c | 7044887 | 720 42889 140372 | 1 297301 29 | 0.000 % | 1227.41/1227.49 c | 7058484 | 720 42889 140372 | 1 310898 29 | 0.000 % | 1227.41/1227.49 c | 7065328 | 720 42889 140372 | 1 317742 30 | 0.000 % | 1227.41/1227.49 c | 7079947 | 720 42889 140372 | 1 332361 30 | 0.000 % | 1227.41/1227.49 c | 7087070 | 720 42889 140372 | 1 339484 30 | 0.000 % | 1227.41/1227.49 c | 7089455 | 720 42889 140372 | 1 341869 31 | 0.000 % | 1227.41/1227.49 c | 7090089 | 720 42889 140372 | 1 342503 31 | 0.000 % | 1227.41/1227.49 c | 7094723 | 720 42889 140372 | 1 347137 31 | 0.000 % | 1227.41/1227.49 c | 7097088 | 720 42889 140372 | 1 349502 31 | 0.000 % | 1227.41/1227.49 c | 7099624 | 720 42889 140372 | 1 352038 31 | 0.000 % | 1227.41/1227.49 c | 7108656 | 720 42889 140372 | 1 361070 31 | 0.000 % | 1227.41/1227.49 c | 7112930 | 720 42889 140372 | 1 365344 31 | 0.000 % | 1227.41/1227.49 c | 7114481 | 720 42889 140372 | 1 366895 31 | 0.000 % | 1227.41/1227.49 c | 7114582 | 720 42889 140372 | 1 366996 31 | 0.000 % | 1227.41/1227.49 c | 7123633 | 720 42889 140372 | 1 376047 31 | 0.000 % | 1227.41/1227.49 c | 7131960 | 720 42889 140372 | 1 195771 23 | 0.000 % | 1227.41/1227.49 c | 7135429 | 720 42889 140372 | 1 199240 23 | 0.000 % | 1227.41/1227.49 c | 7160551 | 720 42889 140372 | 1 224362 25 | 0.000 % | 1227.41/1227.49 c | 7169565 | 720 42889 140372 | 1 233376 25 | 0.000 % | 1227.41/1227.49 c | 7172326 | 720 42889 140372 | 1 236137 26 | 0.000 % | 1227.41/1227.49 c | 7177709 | 720 42889 140372 | 1 241520 26 | 0.000 % | 1227.41/1227.49 c | 7181828 | 720 42889 140372 | 1 245639 26 | 0.000 % | 1227.41/1227.49 c | 7223762 | 720 42889 140372 | 1 287573 28 | 0.000 % | 1227.41/1227.49 c | 7225306 | 720 42889 140372 | 1 289117 28 | 0.000 % | 1227.41/1227.49 c | 7226809 | 720 42889 140372 | 1 290620 29 | 0.000 % | 1227.41/1227.49 c | 7242133 | 720 42889 140372 | 1 305944 29 | 0.000 % | 1227.41/1227.49 c | 7244032 | 720 42889 140372 | 1 307843 29 | 0.000 % | 1227.41/1227.49 c | 7250778 | 720 42889 140372 | 1 314589 30 | 0.000 % | 1227.41/1227.49 c | 7257457 | 720 42889 140372 | 1 321268 30 | 0.000 % | 1227.41/1227.49 c | 7277010 | 720 42889 140372 | 1 340821 31 | 0.000 % | 1227.41/1227.49 c | 7302941 | 720 42889 140372 | 1 366752 32 | 0.000 % | 1227.41/1227.49 c | 7303078 | 720 42889 140372 | 1 366889 32 | 0.000 % | 1227.41/1227.49 c | 7313714 | 720 42889 140372 | 1 377525 32 | 0.000 % | 1272.31/1272.36 c | 7316485 | 720 42889 140372 | 1 380296 32 | 0.000 % | 1272.31/1272.36 c | 7316835 | 720 42889 140372 | 1 380646 32 | 0.000 % | 1272.31/1272.36 c | 7318193 | 720 42889 140372 | 1 382004 32 | 0.000 % | 1272.31/1272.36 c | 7318324 | 720 42889 140372 | 1 382135 32 | 0.000 % | 1272.31/1272.36 c | 7329382 | 720 42889 140372 | 1 201990 23 | 0.000 % | 1272.31/1272.36 c | 7330079 | 720 42889 140372 | 1 202687 24 | 0.000 % | 1272.31/1272.36 c | 7334075 | 720 42889 140372 | 1 206683 24 | 0.000 % | 1272.31/1272.36 c | 7336099 | 720 42889 140372 | 1 208707 24 | 0.000 % | 1272.31/1272.36 c | 7336202 | 720 42889 140372 | 1 208810 24 | 0.000 % | 1272.31/1272.36 c | 7337562 | 720 42889 140372 | 1 210170 24 | 0.000 % | 1272.31/1272.36 c | 7337678 | 720 42889 140372 | 1 210286 24 | 0.000 % | 1272.31/1272.36 c | 7351113 | 720 42889 140372 | 1 223721 25 | 0.000 % | 1272.31/1272.36 c | 7358793 | 720 42889 140372 | 1 231401 25 | 0.000 % | 1272.31/1272.36 c | 7372334 | 720 42889 140372 | 1 244942 26 | 0.000 % | 1272.31/1272.36 c | 7374768 | 720 42889 140372 | 1 247376 26 | 0.000 % | 1272.31/1272.36 c | 7376996 | 720 42889 140372 | 1 249604 26 | 0.000 % | 1272.31/1272.36 c | 7382651 | 720 42889 140372 | 1 255259 27 | 0.000 % | 1272.31/1272.36 c | 7388316 | 720 42889 140372 | 1 260924 27 | 0.000 % | 1272.31/1272.36 c | 7392752 | 720 42889 140372 | 1 265360 27 | 0.000 % | 1272.31/1272.36 c | 7397755 | 720 42889 140372 | 1 270363 27 | 0.000 % | 1272.31/1272.36 c | 7405376 | 720 42889 140372 | 1 277984 28 | 0.000 % | 1272.31/1272.36 c | 7405476 | 720 42889 140372 | 1 278084 28 | 0.000 % | 1272.31/1272.36 c | 7405747 | 720 42889 140372 | 1 278355 28 | 0.000 % | 1272.31/1272.36 c | 7405886 | 720 42889 140372 | 1 278494 28 | 0.000 % | 1272.31/1272.36 c | 7405990 | 720 42889 140372 | 1 278598 28 | 0.000 % | 1272.31/1272.36 c | 7414683 | 720 42889 140372 | 1 287291 28 | 0.000 % | 1272.31/1272.36 c | 7418754 | 720 42889 140372 | 1 291362 28 | 0.000 % | 1272.31/1272.36 c | 7419049 | 720 42889 140372 | 1 291657 28 | 0.000 % | 1272.31/1272.36 c | 7421315 | 720 42889 140372 | 1 293923 29 | 0.000 % | 1272.31/1272.36 c | 7424471 | 720 42889 140372 | 1 297079 29 | 0.000 % | 1272.31/1272.36 c | 7426067 | 720 42889 140372 | 1 298675 29 | 0.000 % | 1272.31/1272.36 c | 7437229 | 720 42889 140372 | 1 309837 29 | 0.000 % | 1272.31/1272.36 c | 7439350 | 720 42889 140372 | 1 311958 29 | 0.000 % | 1272.31/1272.36 c | 7443451 | 720 42889 140372 | 1 316059 29 | 0.000 % | 1272.31/1272.36 c | 7443596 | 720 42889 140372 | 1 316204 29 | 0.000 % | 1272.31/1272.36 c | 7446221 | 720 42889 140372 | 1 318829 30 | 0.000 % | 1272.31/1272.36 c | 7453776 | 720 42889 140372 | 1 326384 30 | 0.000 % | 1272.31/1272.36 c | 7453888 | 720 42889 140372 | 1 326496 30 | 0.000 % | 1272.31/1272.36 c | 7462678 | 720 42889 140372 | 1 335286 30 | 0.000 % | 1272.31/1272.36 c | 7469869 | 720 42889 140372 | 1 342477 30 | 0.000 % | 1272.31/1272.36 c | 7469969 | 720 42889 140372 | 1 342577 30 | 0.000 % | 1272.31/1272.36 c | 7475124 | 720 42889 140372 | 1 347732 30 | 0.000 % | 1272.31/1272.36 c | 7478128 | 720 42889 140372 | 1 350736 30 | 0.000 % | 1272.31/1272.36 c | 7479718 | 720 42889 140372 | 1 352326 30 | 0.000 % | 1272.31/1272.36 c | 7486801 | 720 42889 140372 | 1 359409 30 | 0.000 % | 1272.31/1272.36 c | 7500034 | 720 42889 140372 | 1 372642 31 | 0.000 % | 1272.31/1272.36 c | 7502548 | 720 42889 140372 | 1 375156 31 | 0.000 % | 1272.31/1272.36 c | 7507226 | 720 42889 140372 | 1 379834 31 | 0.000 % | 1272.31/1272.36 c | 7507810 | 720 42889 140372 | 1 380418 31 | 0.000 % | 1272.31/1272.36 c | 7509343 | 720 42889 1403
ERROR: Unexpected answer ! (SATISFIABLE/UNSATISFIABLE expected) Got answer: <no 's ' line found>
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.0 (svn: 935) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3259492-1303504643/watcher-3259492-1303504643 -o /tmp/evaluation-result-3259492-1303504643/solver-3259492-1303504643 -C 2400 -W 1300 -M 7680 glucose.sh HOME/instance-3259492-1303504643.cnf running on 2 cores: 5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1300 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 7864320 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 7915520 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 3.76 3.94 3.30 2/180 1125 /proc/meminfo: memFree=13175356/32950928 swapFree=67111528/67111528 [pid=1125] ppid=1123 vsize=8704 CPUtime=0 cores=5,7 /proc/1125/stat : 1125 (glucose.sh) S 1123 1125 925 0 -1 4202496 334 0 0 0 0 0 0 0 25 0 1 0 462063127 8912896 252 33554432000 4194304 4922060 140734167616608 18446744073709551615 268272508037 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0 /proc/1125/statm: 2176 252 211 178 0 69 0 [startup+0.0741041 s] /proc/loadavg: 3.76 3.94 3.30 2/180 1125 /proc/meminfo: memFree=13175356/32950928 swapFree=67111528/67111528 [pid=1125] ppid=1123 vsize=8704 CPUtime=0 cores=5,7 /proc/1125/stat : 1125 (glucose.sh) S 1123 1125 925 0 -1 4202496 334 0 0 0 0 0 0 0 25 0 1 0 462063127 8912896 252 33554432000 4194304 4922060 140734167616608 18446744073709551615 268272508037 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0 /proc/1125/statm: 2176 252 211 178 0 69 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8704 [startup+0.100102 s] /proc/loadavg: 3.76 3.94 3.30 2/180 1125 /proc/meminfo: memFree=13175356/32950928 swapFree=67111528/67111528 [pid=1125] ppid=1123 vsize=8704 CPUtime=0 cores=5,7 /proc/1125/stat : 1125 (glucose.sh) S 1123 1125 925 0 -1 4202496 334 0 0 0 0 0 0 0 25 0 1 0 462063127 8912896 252 33554432000 4194304 4922060 140734167616608 18446744073709551615 268272508037 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0 /proc/1125/statm: 2176 252 211 178 0 69 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8704 [startup+0.301068 s] /proc/loadavg: 3.76 3.94 3.30 2/180 1125 /proc/meminfo: memFree=13175356/32950928 swapFree=67111528/67111528 [pid=1125] ppid=1123 vsize=8704 CPUtime=0.09 cores=5,7 /proc/1125/stat : 1125 (glucose.sh) S 1123 1125 925 0 -1 4202496 361 1042 0 0 0 0 9 0 25 0 1 0 462063127 8912896 254 33554432000 4194304 4922060 140734167616608 18446744073709551615 268272508037 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0 /proc/1125/statm: 2176 254 211 178 0 69 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 8704 [startup+0.700996 s] /proc/loadavg: 3.76 3.94 3.30 2/180 1125 /proc/meminfo: memFree=13175356/32950928 swapFree=67111528/67111528 [pid=1125] ppid=1123 vsize=8704 CPUtime=0.09 cores=5,7 /proc/1125/stat : 1125 (glucose.sh) S 1123 1125 925 0 -1 4202496 361 1042 0 0 0 0 9 0 25 0 1 0 462063127 8912896 254 33554432000 4194304 4922060 140734167616608 18446744073709551615 268272508037 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0 /proc/1125/statm: 2176 254 211 178 0 69 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 8704 [startup+1.50085 s] /proc/loadavg: 3.76 3.94 3.30 5/194 1152 /proc/meminfo: memFree=13137440/32950928 swapFree=67111528/67111528 [pid=1125] ppid=1123 vsize=8704 CPUtime=0.09 cores=5,7 /proc/1125/stat : 1125 (glucose.sh) S 1123 1125 925 0 -1 4202496 361 1042 0 0 0 0 9 0 25 0 1 0 462063127 8912896 254 33554432000 4194304 4922060 140734167616608 18446744073709551615 268272508037 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0 /proc/1125/statm: 2176 254 211 178 0 69 0 [pid=1136] ppid=1125 vsize=26388 CPUtime=1.38 cores=5,7 /proc/1136/stat : 1136 (glucose_static) R 1125 1125 925 0 -1 4202496 5114 0 0 0 138 0 0 0 25 0 1 0 462063138 27021312 3358 33554432000 4194304 4260849 140737156378000 18446744073709551615 4224677 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/1136/statm: 6597 3358 247 17 0 3238 0 Current children cumulated CPU time (s) 1.47 Current children cumulated vsize (KiB) 35092 [startup+3.10057 s] /proc/loadavg: 3.76 3.94 3.30 5/194 1152 /proc/meminfo: memFree=13111524/32950928 swapFree=67111528/67111528 [pid=1125] ppid=1123 vsize=8704 CPUtime=0.09 cores=5,7 /proc/1125/stat : 1125 (glucose.sh) S 1123 1125 925 0 -1 4202496 361 1042 0 0 0 0 9 0 25 0 1 0 462063127 8912896 254 33554432000 4194304 4922060 140734167616608 18446744073709551615 268272508037 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0 /proc/1125/statm: 2176 254 211 178 0 69 0 [pid=1136] ppid=1125 vsize=30780 CPUtime=2.98 cores=5,7 /proc/1136/stat : 1136 (glucose_static) R 1125 1125 925 0 -1 4202496 6254 0 0 0 298 0 0 0 25 0 1 0 462063138 31518720 4443 33554432000 4194304 4260849 140737156378000 18446744073709551615 4225056 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/1136/statm: 7695 4443 247 17 0 4336 0 Current children cumulated CPU time (s) 3.07 Current children cumulated vsize (KiB) 39484 [startup+6.301 s] /proc/loadavg: 3.78 3.94 3.30 5/194 1152 /proc/meminfo: memFree=13093292/32950928 swapFree=67111528/67111528 [pid=1125] ppid=1123 vsize=8704 CPUtime=0.09 cores=5,7 /proc/1125/stat : 1125 (glucose.sh) S 1123 1125 925 0 -1 4202496 361 1042 0 0 0 0 9 0 25 0 1 0 462063127 8912896 254 33554432000 4194304 4922060 140734167616608 18446744073709551615 268272508037 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0 /proc/1125/statm: 2176 254 211 178 0 69 0 [pid=1136] ppid=1125 vsize=35200 CPUtime=6.18 cores=5,7 /proc/1136/stat : 1136 (glucose_static) R 1125 1125 925 0 -1 4202496 11141 0 0 0 617 1 0 0 25 0 1 0 462063138 36044800 4619 33554432000 4194304 4260849 140737156378000 18446744073709551615 4225080 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/1136/statm: 8800 4619 248 17 0 5441 0 Current children cumulated CPU time (s) 6.27 Current children cumulated vsize (KiB) 43904 [startup+12.7009 s] /proc/loadavg: 3.80 3.94 3.30 5/194 1152 /proc/meminfo: memFree=13056728/32950928 swapFree=67111528/67111528 [pid=1125] ppid=1123 vsize=8704 CPUtime=0.09 cores=5,7 /proc/1125/stat : 1125 (glucose.sh) S 1123 1125 925 0 -1 4202496 361 1042 0 0 0 0 9 0 25 0 1 0 462063127 8912896 254 33554432000 4194304 4922060 140734167616608 18446744073709551615 268272508037 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0 /proc/1125/statm: 2176 254 211 178 0 69 0 [pid=1136] ppid=1125 vsize=35648 CPUtime=12.59 cores=5,7 /proc/1136/stat : 1136 (glucose_static) R 1125 1125 925 0 -1 4202496 13871 0 0 0 1257 2 0 0 25 0 1 0 462063138 36503552 5061 33554432000 4194304 4260849 140737156378000 18446744073709551615 4229282 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/1136/statm: 8912 5061 248 17 0 5553 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 44352 [startup+25.5006 s] /proc/loadavg: 3.92 3.96 3.32 5/194 1152 /proc/meminfo: memFree=13030060/32950928 swapFree=67111528/67111528 [pid=1125] ppid=1123 vsize=8704 CPUtime=0.09 cores=5,7 /proc/1125/stat : 1125 (glucose.sh) S 1123 1125 925 0 -1 4202496 361 1042 0 0 0 0 9 0 25 0 1 0 462063127 8912896 254 33554432000 4194304 4922060 140734167616608 18446744073709551615 268272508037 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0 /proc/1125/statm: 2176 254 211 178 0 69 0 [pid=1136] ppid=1125 vsize=42788 CPUtime=25.38 cores=5,7 /proc/1136/stat : 1136 (glucose_static) R 1125 1125 925 0 -1 4202496 15898 0 0 0 2536 2 0 0 25 0 1 0 462063138 43814912 7068 33554432000 4194304 4260849 140737156378000 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/1136/statm: 10697 7068 248 17 0 7338 0 Current children cumulated CPU time (s) 25.47 Current children cumulated vsize (KiB) 51492 [startup+51.101 s] /proc/loadavg: 3.95 3.96 3.34 5/194 1153 /proc/meminfo: memFree=13005328/32950928 swapFree=67111528/67111528 [pid=1125] ppid=1123 vsize=8704 CPUtime=0.09 cores=5,7 /proc/1125/stat : 1125 (glucose.sh) S 1123 1125 925 0 -1 4202496 361 1042 0 0 0 0 9 0 25 0 1 0 462063127 8912896 254 33554432000 4194304 4922060 140734167616608 18446744073709551615 268272508037 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0 /proc/1125/statm: 2176 254 211 178 0 69 0 [pid=1136] ppid=1125 vsize=61464 CPUtime=50.99 cores=5,7 /proc/1136/stat : 1136 (glucose_static) R 1125 1125 925 0 -1 4202496 23275 0 0 0 5095 4 0 0 25 0 1 0 462063138 62939136 11392 33554432000 4194304 4260849 140737156378000 18446744073709551615 4224895 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/1136/statm: 15366 11392 248 17 0 12007 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 70168 [startup+102.307 s] /proc/loadavg: 3.98 3.97 3.37 5/194 1154 /proc/meminfo: memFree=12920500/32950928 swapFree=67111528/67111528 [pid=1125] ppid=1123 vsize=8704 CPUtime=0.09 cores=5,7 /proc/1125/stat : 1125 (glucose.sh) S 1123 1125 925 0 -1 4202496 361 1042 0 0 0 0 9 0 25 0 1 0 462063127 8912896 254 33554432000 4194304 4922060 140734167616608 18446744073709551615 268272508037 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0 /proc/1125/statm: 2176 254 211 178 0 69 0 [pid=1136] ppid=1125 vsize=81040 CPUtime=102.2 cores=5,7 /proc/1136/stat : 1136 (glucose_static) R 1125 1125 925 0 -1 4202496 30827 0 0 0 10215 5 0 0 25 0 1 0 462063138 82984960 14157 33554432000 4194304 4260849 140737156378000 18446744073709551615 4226718 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/1136/statm: 20260 14157 249 17 0 16901 0 Current children cumulated CPU time (s) 102.29 Current children cumulated vsize (KiB) 89744 [startup+162.3 s] /proc/loadavg: 3.99 3.97 3.41 5/194 1156 /proc/meminfo: memFree=12868260/32950928 swapFree=67111528/67111528 [pid=1125] ppid=1123 vsize=8704 CPUtime=0.09 cores=5,7 /proc/1125/stat : 1125 (glucose.sh) S 1123 1125 925 0 -1 4202496 361 1042 0 0 0 0 9 0 25 0 1 0 462063127 8912896 254 33554432000 4194304 4922060 140734167616608 18446744073709551615 268272508037 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0 /proc/1125/statm: 2176 254 211 178 0 69 0 [pid=1136] ppid=1125 vsize=81040 CPUtime=162.19 cores=5,7 /proc/1136/stat : 1136 (glucose_static) R 1125 1125 925 0 -1 4202496 32366 0 0 0 16214 5 0 0 25 0 1 0 462063138 82984960 15655 33554432000 4194304 4260849 140737156378000 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/1136/statm: 20260 15655 249 17 0 16901 0 Current children cumulated CPU time (s) 162.28 Current children cumulated vsize (KiB) 89744 [startup+222.3 s] /proc/loadavg: 3.99 3.97 3.44 5/194 1158 /proc/meminfo: memFree=12925128/32950928 swapFree=67111528/67111528 [pid=1125] ppid=1123 vsize=8704 CPUtime=0.09 cores=5,7 /proc/1125/stat : 1125 (glucose.sh) S 1123 1125 925 0 -1 4202496 361 1042 0 0 0 0 9 0 25 0 1 0 462063127 8912896 254 33554432000 4194304 4922060 140734167616608 18446744073709551615 268272508037 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0 /proc/1125/statm: 2176 254 211 178 0 69 0 [pid=1136] ppid=1125 vsize=92532 CPUtime=222.19 cores=5,7 /proc/1136/stat : 1136 (glucose_static) R 1125 1125 925 0 -1 4202496 35962 0 0 0 22214 5 0 0 25 0 1 0 462063138 94752768 19108 33554432000 4194304 4260849 140737156378000 18446744073709551615 4209368 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/1136/statm: 23133 19108 249 17 0 19774 0 Current children cumulated CPU time (s) 222.28 Current children cumulated vsize (KiB) 101236 [startup+282.301 s] /proc/loadavg: 4.06 3.99 3.48 5/194 1159 /proc/meminfo: memFree=12856540/32950928 swapFree=67111528/67111528 [pid=1125] ppid=1123 vsize=8704 CPUtime=0.09 cores=5,7 /proc/1125/stat : 1125 (glucose.sh) S 1123 1125 925 0 -1 4202496 361 1042 0 0 0 0 9 0 25 0 1 0 462063127 8912896 254 33554432000 4194304 4922060 140734167616608 18446744073709551615 268272508037 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0 /proc/1125/statm: 2176 254 211 178 0 69 0 [pid=1136] ppid=1125 vsize=98968 CPUtime=282.19 cores=5,7 /proc/1136/stat : 1136 (glucose_static) R 1125 1125 925 0 -1 4202496 37434 0 0 0 28213 6 0 0 25 0 1 0 462063138 101343232 20551 33554432000 4194304 4260849 140737156378000 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/1136/statm: 24742 20551 249 17 0 21383 0 Current children cumulated CPU time (s) 282.28 Current children cumulated vsize (KiB) 107672 [startup+342.301 s] /proc/loadavg: 4.02 3.99 3.51 5/194 1161 /proc/meminfo: memFree=12854388/32950928 swapFree=67111528/67111528 [pid=1125] ppid=1123 vsize=8704 CPUtime=0.09 cores=5,7 /proc/1125/stat : 1125 (glucose.sh) S 1123 1125 925 0 -1 4202496 361 1042 0 0 0 0 9 0 25 0 1 0 462063127 8912896 254 33554432000 4194304 4922060 140734167616608 18446744073709551615 268272508037 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0 /proc/1125/statm: 2176 254 211 178 0 69 0 [pid=1136] ppid=1125 vsize=98968 CPUtime=342.2 cores=5,7 /proc/1136/stat : 1136 (glucose_static) R 1125 1125 925 0 -1 4202496 54002 0 0 0 34211 9 0 0 25 0 1 0 462063138 101343232 21471 33554432000 4194304 4260849 140737156378000 18446744073709551615 4224875 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/1136/statm: 24742 21471 249 17 0 21383 0 Current children cumulated CPU time (s) 342.29 Current children cumulated vsize (KiB) 107672 [startup+402.3 s] /proc/loadavg: 4.00 3.99 3.54 5/194 1162 /proc/meminfo: memFree=12835344/32950928 swapFree=67111528/67111528 [pid=1125] ppid=1123 vsize=8704 CPUtime=0.09 cores=5,7 ################ # More data... # ################ /proc/1136/statm: 40197 33852 249 17 0 36838 0 Current children cumulated CPU time (s) 582.29 Current children cumulated vsize (KiB) 169492 [startup+642.301 s] /proc/loadavg: 4.04 4.01 3.64 5/194 1169 /proc/meminfo: memFree=12736512/32950928 swapFree=67111528/67111528 [pid=1125] ppid=1123 vsize=8704 CPUtime=0.09 cores=5,7 /proc/1125/stat : 1125 (glucose.sh) S 1123 1125 925 0 -1 4202496 361 1042 0 0 0 0 9 0 25 0 1 0 462063127 8912896 254 33554432000 4194304 4922060 140734167616608 18446744073709551615 268272508037 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0 /proc/1125/statm: 2176 254 211 178 0 69 0 [pid=1136] ppid=1125 vsize=111468 CPUtime=642.21 cores=5,7 /proc/1136/stat : 1136 (glucose_static) R 1125 1125 925 0 -1 4202496 185335 0 0 0 64189 32 0 0 25 0 1 0 462063138 114143232 24599 33554432000 4194304 4260849 140737156378000 18446744073709551615 4225129 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/1136/statm: 27867 24599 249 17 0 24508 0 Current children cumulated CPU time (s) 642.3 Current children cumulated vsize (KiB) 120172 [startup+702.301 s] /proc/loadavg: 4.01 4.01 3.66 5/194 1170 /proc/meminfo: memFree=12782220/32950928 swapFree=67111528/67111528 [pid=1125] ppid=1123 vsize=8704 CPUtime=0.09 cores=5,7 /proc/1125/stat : 1125 (glucose.sh) S 1123 1125 925 0 -1 4202496 361 1042 0 0 0 0 9 0 25 0 1 0 462063127 8912896 254 33554432000 4194304 4922060 140734167616608 18446744073709551615 268272508037 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0 /proc/1125/statm: 2176 254 211 178 0 69 0 [pid=1136] ppid=1125 vsize=111468 CPUtime=702.21 cores=5,7 /proc/1136/stat : 1136 (glucose_static) R 1125 1125 925 0 -1 4202496 205776 0 0 0 70185 36 0 0 25 0 1 0 462063138 114143232 24599 33554432000 4194304 4260849 140737156378000 18446744073709551615 4225129 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/1136/statm: 27867 24599 249 17 0 24508 0 Current children cumulated CPU time (s) 702.3 Current children cumulated vsize (KiB) 120172 [startup+762.307 s] /proc/loadavg: 4.00 4.00 3.68 5/194 1172 /proc/meminfo: memFree=12734332/32950928 swapFree=67111528/67111528 [pid=1125] ppid=1123 vsize=8704 CPUtime=0.09 cores=5,7 /proc/1125/stat : 1125 (glucose.sh) S 1123 1125 925 0 -1 4202496 361 1042 0 0 0 0 9 0 25 0 1 0 462063127 8912896 254 33554432000 4194304 4922060 140734167616608 18446744073709551615 268272508037 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0 /proc/1125/statm: 2176 254 211 178 0 69 0 [pid=1136] ppid=1125 vsize=111468 CPUtime=762.21 cores=5,7 /proc/1136/stat : 1136 (glucose_static) R 1125 1125 925 0 -1 4202496 227101 0 0 0 76182 39 0 0 25 0 1 0 462063138 114143232 24603 33554432000 4194304 4260849 140737156378000 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/1136/statm: 27867 24603 249 17 0 24508 0 Current children cumulated CPU time (s) 762.3 Current children cumulated vsize (KiB) 120172 [startup+822.3 s] /proc/loadavg: 4.00 4.00 3.69 5/194 1173 /proc/meminfo: memFree=12697104/32950928 swapFree=67111528/67111528 [pid=1125] ppid=1123 vsize=8704 CPUtime=0.09 cores=5,7 /proc/1125/stat : 1125 (glucose.sh) S 1123 1125 925 0 -1 4202496 361 1042 0 0 0 0 9 0 25 0 1 0 462063127 8912896 254 33554432000 4194304 4922060 140734167616608 18446744073709551615 268272508037 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0 /proc/1125/statm: 2176 254 211 178 0 69 0 [pid=1136] ppid=1125 vsize=111468 CPUtime=822.2 cores=5,7 /proc/1136/stat : 1136 (glucose_static) R 1125 1125 925 0 -1 4202496 250043 0 0 0 82176 44 0 0 25 0 1 0 462063138 114143232 24603 33554432000 4194304 4260849 140737156378000 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/1136/statm: 27867 24603 249 17 0 24508 0 Current children cumulated CPU time (s) 822.29 Current children cumulated vsize (KiB) 120172 [startup+882.301 s] /proc/loadavg: 4.03 4.01 3.72 5/194 1175 /proc/meminfo: memFree=12723128/32950928 swapFree=67111528/67111528 [pid=1125] ppid=1123 vsize=8704 CPUtime=0.09 cores=5,7 /proc/1125/stat : 1125 (glucose.sh) S 1123 1125 925 0 -1 4202496 361 1042 0 0 0 0 9 0 25 0 1 0 462063127 8912896 254 33554432000 4194304 4922060 140734167616608 18446744073709551615 268272508037 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0 /proc/1125/statm: 2176 254 211 178 0 69 0 [pid=1136] ppid=1125 vsize=160788 CPUtime=882.21 cores=5,7 /proc/1136/stat : 1136 (glucose_static) R 1125 1125 925 0 -1 4202496 272727 0 0 0 88173 48 0 0 25 0 1 0 462063138 164646912 35474 33554432000 4194304 4260849 140737156378000 18446744073709551615 4225107 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/1136/statm: 40197 35474 249 17 0 36838 0 Current children cumulated CPU time (s) 882.3 Current children cumulated vsize (KiB) 169492 [startup+942.301 s] /proc/loadavg: 4.01 4.01 3.73 5/194 1177 /proc/meminfo: memFree=12729068/32950928 swapFree=67111528/67111528 [pid=1125] ppid=1123 vsize=8704 CPUtime=0.09 cores=5,7 /proc/1125/stat : 1125 (glucose.sh) S 1123 1125 925 0 -1 4202496 361 1042 0 0 0 0 9 0 25 0 1 0 462063127 8912896 254 33554432000 4194304 4922060 140734167616608 18446744073709551615 268272508037 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0 /proc/1125/statm: 2176 254 211 178 0 69 0 [pid=1136] ppid=1125 vsize=160788 CPUtime=942.21 cores=5,7 /proc/1136/stat : 1136 (glucose_static) R 1125 1125 925 0 -1 4202496 292833 0 0 0 94170 51 0 0 25 0 1 0 462063138 164646912 32745 33554432000 4194304 4260849 140737156378000 18446744073709551615 4224875 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/1136/statm: 40197 32745 249 17 0 36838 0 Current children cumulated CPU time (s) 942.3 Current children cumulated vsize (KiB) 169492 [startup+1002.3 s] /proc/loadavg: 4.00 4.00 3.74 5/194 1178 /proc/meminfo: memFree=12702728/32950928 swapFree=67111528/67111528 [pid=1125] ppid=1123 vsize=8704 CPUtime=0.09 cores=5,7 /proc/1125/stat : 1125 (glucose.sh) S 1123 1125 925 0 -1 4202496 361 1042 0 0 0 0 9 0 25 0 1 0 462063127 8912896 254 33554432000 4194304 4922060 140734167616608 18446744073709551615 268272508037 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0 /proc/1125/statm: 2176 254 211 178 0 69 0 [pid=1136] ppid=1125 vsize=111468 CPUtime=1002.21 cores=5,7 /proc/1136/stat : 1136 (glucose_static) R 1125 1125 925 0 -1 4202496 308880 0 0 0 100165 56 0 0 25 0 1 0 462063138 114143232 24604 33554432000 4194304 4260849 140737156378000 18446744073709551615 4224658 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/1136/statm: 27867 24604 249 17 0 24508 0 Current children cumulated CPU time (s) 1002.3 Current children cumulated vsize (KiB) 120172 [startup+1062.3 s] /proc/loadavg: 4.06 4.02 3.76 5/194 1180 /proc/meminfo: memFree=12705428/32950928 swapFree=67111528/67111528 [pid=1125] ppid=1123 vsize=8704 CPUtime=0.09 cores=5,7 /proc/1125/stat : 1125 (glucose.sh) S 1123 1125 925 0 -1 4202496 361 1042 0 0 0 0 9 0 25 0 1 0 462063127 8912896 254 33554432000 4194304 4922060 140734167616608 18446744073709551615 268272508037 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0 /proc/1125/statm: 2176 254 211 178 0 69 0 [pid=1136] ppid=1125 vsize=160788 CPUtime=1062.21 cores=5,7 /proc/1136/stat : 1136 (glucose_static) R 1125 1125 925 0 -1 4202496 332049 0 0 0 106160 61 0 0 25 0 1 0 462063138 164646912 35379 33554432000 4194304 4260849 140737156378000 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/1136/statm: 40197 35379 249 17 0 36838 0 Current children cumulated CPU time (s) 1062.3 Current children cumulated vsize (KiB) 169492 [startup+1122.3 s] /proc/loadavg: 4.02 4.01 3.77 5/194 1182 /proc/meminfo: memFree=12669924/32950928 swapFree=67111528/67111528 [pid=1125] ppid=1123 vsize=8704 CPUtime=0.09 cores=5,7 /proc/1125/stat : 1125 (glucose.sh) S 1123 1125 925 0 -1 4202496 361 1042 0 0 0 0 9 0 25 0 1 0 462063127 8912896 254 33554432000 4194304 4922060 140734167616608 18446744073709551615 268272508037 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0 /proc/1125/statm: 2176 254 211 178 0 69 0 [pid=1136] ppid=1125 vsize=111468 CPUtime=1122.22 cores=5,7 /proc/1136/stat : 1136 (glucose_static) R 1125 1125 925 0 -1 4202496 345718 0 0 0 112157 65 0 0 25 0 1 0 462063138 114143232 24604 33554432000 4194304 4260849 140737156378000 18446744073709551615 4225080 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/1136/statm: 27867 24604 249 17 0 24508 0 Current children cumulated CPU time (s) 1122.31 Current children cumulated vsize (KiB) 120172 [startup+1182.3 s] /proc/loadavg: 4.05 4.02 3.79 5/194 1213 /proc/meminfo: memFree=12738992/32950928 swapFree=67111528/67111528 [pid=1125] ppid=1123 vsize=8704 CPUtime=0.09 cores=5,7 /proc/1125/stat : 1125 (glucose.sh) S 1123 1125 925 0 -1 4202496 361 1042 0 0 0 0 9 0 25 0 1 0 462063127 8912896 254 33554432000 4194304 4922060 140734167616608 18446744073709551615 268272508037 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0 /proc/1125/statm: 2176 254 211 178 0 69 0 [pid=1136] ppid=1125 vsize=160788 CPUtime=1182.22 cores=5,7 /proc/1136/stat : 1136 (glucose_static) R 1125 1125 925 0 -1 4202496 369878 0 0 0 118151 71 0 0 25 0 1 0 462063138 164646912 35832 33554432000 4194304 4260849 140737156378000 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/1136/statm: 40197 35832 249 17 0 36838 0 Current children cumulated CPU time (s) 1182.31 Current children cumulated vsize (KiB) 169492 [startup+1242.3 s] /proc/loadavg: 4.02 4.01 3.80 5/194 1215 /proc/meminfo: memFree=12738088/32950928 swapFree=67111528/67111528 [pid=1125] ppid=1123 vsize=8704 CPUtime=0.09 cores=5,7 /proc/1125/stat : 1125 (glucose.sh) S 1123 1125 925 0 -1 4202496 361 1042 0 0 0 0 9 0 25 0 1 0 462063127 8912896 254 33554432000 4194304 4922060 140734167616608 18446744073709551615 268272508037 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0 /proc/1125/statm: 2176 254 211 178 0 69 0 [pid=1136] ppid=1125 vsize=111468 CPUtime=1242.22 cores=5,7 /proc/1136/stat : 1136 (glucose_static) R 1125 1125 925 0 -1 4202496 384919 0 0 0 124147 75 0 0 25 0 1 0 462063138 114143232 24604 33554432000 4194304 4260849 140737156378000 18446744073709551615 4224632 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/1136/statm: 27867 24604 249 17 0 24508 0 Current children cumulated CPU time (s) 1242.31 Current children cumulated vsize (KiB) 120172 Maximum wall clock time exceeded: sending SIGTERM then SIGKILL [startup+1300 s] /proc/loadavg: 4.00 4.01 3.81 5/194 1216 /proc/meminfo: memFree=12681860/32950928 swapFree=67111528/67111528 [pid=1125] ppid=1123 vsize=8704 CPUtime=0.09 cores=5,7 /proc/1125/stat : 1125 (glucose.sh) S 1123 1125 925 0 -1 4202496 361 1042 0 0 0 0 9 0 25 0 1 0 462063127 8912896 254 33554432000 4194304 4922060 140734167616608 18446744073709551615 268272508037 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0 /proc/1125/statm: 2176 254 211 178 0 69 0 [pid=1136] ppid=1125 vsize=160788 CPUtime=1299.93 cores=5,7 /proc/1136/stat : 1136 (glucose_static) R 1125 1125 925 0 -1 4202496 409120 0 0 0 129912 81 0 0 25 0 1 0 462063138 164646912 35503 33554432000 4194304 4260849 140737156378000 18446744073709551615 4224875 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/1136/statm: 40197 35503 249 17 0 36838 0 Current children cumulated CPU time (s) 1300.02 Current children cumulated vsize (KiB) 169492 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child ended because it received signal 15 (SIGTERM) # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 1125 and gives # childrusage.ru_utime.tv_sec=0 # childrusage.ru_utime.tv_usec=93985 # childrusage.ru_stime.tv_sec=0 # childrusage.ru_stime.tv_usec=4999 # CPU time returned by wait4() is 0.098984 # while last known CPU time is 1300.02 # # Solver probably didn't/couldn't wait for its children # Using CPU time of the last sample as value... Real time (s): 1300.01 CPU time (s): 1300.02 CPU user time (s): 1299.21 CPU system time (s): 0.81 CPU usage (%): 100.001 Max. virtual memory (cumulated for all children) (KiB): 200312 getrusage(RUSAGE_CHILDREN,...) data: user time used= 0.093985 system time used= 0.004999 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 1403 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 7 involuntary context switches= 3 runsolver used 2.07868 second user time and 5.03024 second system time The end
Begin job on node122 at 2011-04-22 22:37:23 IDJOB=3259492 IDBENCH=71576 IDSOLVER=1651 FILE ID=node122/3259492-1303504643 RUNJOBID= node122-1303503341-947 PBS_JOBID= 13134241 Free space on /tmp= 71004 MiB SOLVER NAME= glucose 2 BENCH NAME= SAT09/CRAFTED/rbsat/crafted/forced/rbsat-v760c43649gyes6.cnf COMMAND LINE= glucose.sh BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3259492-1303504643/watcher-3259492-1303504643 -o /tmp/evaluation-result-3259492-1303504643/solver-3259492-1303504643 -C 2400 -W 1300 -M 7680 glucose.sh HOME/instance-3259492-1303504643.cnf TIME LIMIT= 2400 seconds MEMORY LIMIT= 7680 MiB NBCORE= 2 MD5SUM BENCH= dc046d6f885b64777ffc1cfc8367a176 RANDOM SEED=1092565849 node122.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.820 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.64 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.820 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.820 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.820 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.820 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.820 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.820 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.820 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.97 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32950928 kB MemFree: 13175380 kB Buffers: 1622724 kB Cached: 17474800 kB SwapCached: 0 kB Active: 9227544 kB Inactive: 10000132 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32950928 kB LowFree: 13175380 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 1608 kB Writeback: 0 kB AnonPages: 130396 kB Mapped: 15356 kB Slab: 483804 kB PageTables: 5384 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83586992 kB Committed_AS: 281572 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= 70988 MiB End job on node122 at 2011-04-22 22:59:05