| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| glucose 2 | ? (TO) | 1300.02 | 1300.01 |
| Name | crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/ VanDerWaerden_pd_2-3-23_508.cnf |
| MD5SUM | b891f70c80006fb02dca40f266c0cec1 |
| Bench Category | CRAFTED (crafted instances) |
| Best result obtained on this benchmark | |
| Best CPU time to get the best result obtained on this benchmark | |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 254 |
| Number of clauses | 34661 |
| Sum of the clauses size | 157137 |
| Maximum clause length | 23 |
| Minimum clause length | 2 |
| Number of clauses of size 1 | 0 |
| Number of clauses of size 2 | 85 |
| Number of clauses of size 3 | 31908 |
| Number of clauses of size 4 | 0 |
| Number of clauses of size 5 | 0 |
| Number of clauses of size over 5 | 2668 |
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 | 34661 157137 | 10398 0 0 nan | 0.000 % | 0.00/0.01 c ============================================================================== 0.00/0.01 c Result : #vars: 254 #clauses: 34661 #literals: 157137 0.00/0.01 c CPU time: 0.013997 s 0.00/0.01 c ============================================================================== 0.00/0.04 c 0.00/0.04 c Starting glucose 0.00/0.04 c 37.18/37.28 c This is glucose 2.0 -- based on MiniSAT (Many thanks to MiniSAT team) 37.18/37.28 c WARNING: for repeatability, setting FPU to use double precision 37.18/37.28 c ============================[ Problem Statistics ]============================= 37.18/37.28 c | | 37.18/37.28 c | Number of variables: 254 | 37.18/37.28 c | Number of clauses: 34661 | 37.18/37.28 c | Parse time: 0.01 s | 37.18/37.28 c | | 37.18/37.28 c ============================[ Search Statistics ]============================== 37.18/37.28 c | Conflicts | ORIGINAL | LEARNT | Progress | 37.18/37.28 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | | 37.18/37.28 c =============================================================================== 37.18/37.28 c | 14119 | 254 34661 157137 | 1 7824 26 | 0.000 % | 37.18/37.28 c | 15427 | 254 34661 157137 | 1 9132 26 | 0.000 % | 37.18/37.28 c | 15527 | 254 34661 157137 | 1 9232 26 | 0.000 % | 37.18/37.28 c | 15628 | 254 34661 157137 | 1 9333 26 | 0.000 % | 37.18/37.28 c | 16564 | 254 34661 157137 | 1 10269 27 | 0.000 % | 37.18/37.28 c | 16666 | 254 34661 157137 | 1 10371 27 | 0.000 % | 37.18/37.28 c | 16766 | 254 34661 157137 | 1 10471 27 | 0.000 % | 37.18/37.28 c | 16867 | 254 34661 157137 | 1 10572 27 | 0.000 % | 37.18/37.28 c | 16967 | 254 34661 157137 | 1 10672 27 | 0.000 % | 37.18/37.28 c | 17206 | 254 34661 157137 | 1 10911 27 | 0.000 % | 37.18/37.28 c | 17307 | 254 34661 157137 | 1 11012 27 | 0.000 % | 37.18/37.28 c | 17407 | 254 34661 157137 | 1 11112 28 | 0.000 % | 37.18/37.28 c | 17508 | 254 34661 157137 | 1 11213 28 | 0.000 % | 37.18/37.28 c | 17974 | 254 34661 157137 | 1 11679 28 | 0.000 % | 37.18/37.28 c | 18075 | 254 34661 157137 | 1 11780 28 | 0.000 % | 37.18/37.28 c | 25706 | 254 34661 157137 | 1 12665 28 | 0.000 % | 37.18/37.28 c | 25806 | 254 34661 157137 | 1 12765 28 | 0.000 % | 37.18/37.28 c | 27263 | 254 34661 157137 | 1 14222 28 | 0.000 % | 37.18/37.28 c | 27760 | 254 34661 157137 | 1 14719 28 | 0.000 % | 37.18/37.28 c | 33297 | 254 34661 157137 | 1 10982 27 | 0.000 % | 37.18/37.28 c | 34330 | 254 34661 157137 | 1 12015 27 | 0.000 % | 37.18/37.28 c | 34430 | 254 34661 157137 | 1 12115 27 | 0.000 % | 37.18/37.28 c | 40648 | 254 34661 157137 | 1 18333 29 | 0.000 % | 37.18/37.28 c | 41054 | 254 34661 157137 | 1 18739 29 | 0.000 % | 37.18/37.28 c | 108745 | 254 34661 157137 | 1 23565 27 | 0.000 % | 37.18/37.28 c | 150362 | 254 34661 157137 | 1 42977 29 | 0.000 % | 37.18/37.28 c | 150487 | 254 34661 157137 | 1 43102 29 | 0.000 % | 37.18/37.28 c | 253265 | 254 34661 157137 | 1 63681 28 | 0.000 % | 37.18/37.28 c | 253368 | 254 34661 157137 | 1 63784 28 | 0.000 % | 37.18/37.28 c | 262639 | 254 34661 157137 | 1 40450 26 | 0.000 % | 37.18/37.28 c | 368943 | 254 34661 157137 | 1 73754 26 | 0.000 % | 37.18/37.28 c | 370244 | 254 34661 157137 | 1 75055 27 | 0.000 % | 37.18/37.28 c | 371497 | 254 34661 157137 | 1 76308 27 | 0.000 % | 37.18/37.28 c | 371597 | 254 34661 157137 | 1 76408 27 | 0.000 % | 37.18/37.28 c | 371697 | 254 34661 157137 | 1 76508 27 | 0.000 % | 37.18/37.28 c | 371797 | 254 34661 157137 | 1 76608 27 | 0.000 % | 37.18/37.28 c | 371898 | 254 34661 157137 | 1 76709 27 | 0.000 % | 37.18/37.28 c | 372214 | 254 34661 157137 | 1 77025 27 | 0.000 % | 37.18/37.28 c | 527960 | 254 34661 157137 | 1 55574 25 | 0.000 % | 162.08/162.14 c | 589105 | 254 34661 157137 | 1 65917 24 | 0.000 % | 162.08/162.14 c | 704572 | 254 34661 157137 | 1 71982 25 | 0.000 % | 162.08/162.14 c | 704674 | 254 34661 157137 | 1 72084 25 | 0.000 % | 162.08/162.14 c | 705977 | 254 34661 157137 | 1 73387 25 | 0.000 % | 162.08/162.14 c | 706078 | 254 34661 157137 | 1 73488 25 | 0.000 % | 162.08/162.14 c | 779616 | 254 34661 157137 | 1 88432 25 | 0.000 % | 162.08/162.14 c | 779799 | 254 34661 157137 | 1 88615 25 | 0.000 % | 162.08/162.14 c | 779900 | 254 34661 157137 | 1 88716 25 | 0.000 % | 162.08/162.14 c | 780002 | 254 34661 157137 | 1 88818 25 | 0.000 % | 162.08/162.14 c | 780103 | 254 34661 157137 | 1 88919 25 | 0.000 % | 162.08/162.14 c | 781028 | 254 34661 157137 | 1 89844 25 | 0.000 % | 162.08/162.14 c | 781571 | 254 34661 157137 | 1 90387 25 | 0.000 % | 162.08/162.14 c | 786554 | 254 34661 157137 | 1 95370 26 | 0.000 % | 162.08/162.14 c | 788714 | 254 34661 157137 | 1 97530 26 | 0.000 % | 162.08/162.14 c | 789552 | 254 34661 157137 | 1 98368 26 | 0.000 % | 162.08/162.14 c | 789653 | 254 34661 157137 | 1 98469 26 | 0.000 % | 162.08/162.14 c | 793815 | 254 34661 157137 | 1 102631 26 | 0.000 % | 162.08/162.14 c | 806182 | 254 34661 157137 | 1 114998 27 | 0.000 % | 162.08/162.14 c | 856194 | 254 34661 157137 | 1 103809 26 | 0.000 % | 162.08/162.14 c | 856294 | 254 34661 157137 | 1 103909 26 | 0.000 % | 162.08/162.14 c | 907056 | 254 34661 157137 | 1 90869 25 | 0.000 % | 162.08/162.14 c | 916120 | 254 34661 157137 | 1 99933 25 | 0.000 % | 162.08/162.14 c | 931131 | 254 34661 157137 | 1 114944 26 | 0.000 % | 162.08/162.14 c | 976069 | 254 34661 157137 | 1 93486 24 | 0.000 % | 162.08/162.14 c | 980999 | 254 34661 157137 | 1 98416 25 | 0.000 % | 162.08/162.14 c | 984715 | 254 34661 157137 | 1 102132 25 | 0.000 % | 162.08/162.14 c | 985806 | 254 34661 157137 | 1 103223 25 | 0.000 % | 162.08/162.14 c | 989583 | 254 34661 157137 | 1 107000 25 | 0.000 % | 162.08/162.14 c | 1001062 | 254 34661 157137 | 1 118479 26 | 0.000 % | 162.08/162.14 c | 1050753 | 254 34661 157137 | 1 99175 25 | 0.000 % | 162.08/162.14 c | 1050854 | 254 34661 157137 | 1 99276 25 | 0.000 % | 162.08/162.14 c | 1050954 | 254 34661 157137 | 1 99376 25 | 0.000 % | 162.08/162.14 c | 1053236 | 254 34661 157137 | 1 101658 25 | 0.000 % | 162.08/162.14 c | 1053336 | 254 34661 157137 | 1 101758 25 | 0.000 % | 162.08/162.14 c | 1053436 | 254 34661 157137 | 1 101858 25 | 0.000 % | 162.08/162.14 c | 1187465 | 254 34661 157137 | 1 90084 24 | 0.000 % | 162.08/162.14 c | 1247194 | 254 34661 157137 | 1 149813 26 | 0.000 % | 162.08/162.14 c | 1247296 | 254 34661 157137 | 1 149915 26 | 0.000 % | 162.08/162.14 c | 1313300 | 254 34661 157137 | 1 139115 26 | 0.000 % | 162.08/162.14 c | 1313403 | 254 34661 157137 | 1 139218 26 | 0.000 % | 162.08/162.14 c | 1345621 | 254 34661 157137 | 1 92039 24 | 0.000 % | 162.08/162.14 c | 1348326 | 254 34661 157137 | 1 94744 24 | 0.000 % | 162.08/162.14 c | 1487734 | 254 34661 157137 | 1 152152 25 | 0.000 % | 162.08/162.14 c | 1487835 | 254 34661 157137 | 1 152253 25 | 0.000 % | 162.08/162.14 c | 1489472 | 254 34661 157137 | 1 153890 25 | 0.000 % | 162.08/162.14 c | 1489657 | 254 34661 157137 | 1 154075 25 | 0.000 % | 162.08/162.14 c | 1806135 | 254 34661 157137 | 1 116545 23 | 0.000 % | 162.08/162.14 c | 1809485 | 254 34661 157137 | 1 119895 23 | 0.000 % | 162.08/162.14 c | 1809585 | 254 34661 157137 | 1 119995 23 | 0.000 % | 162.08/162.14 c | 1819472 | 254 34661 157137 | 1 129882 23 | 0.000 % | 205.39/205.48 c | 1851986 | 254 34661 157137 | 1 162396 25 | 0.000 % | 205.39/205.48 c | 1852089 | 254 34661 157137 | 1 162499 25 | 0.000 % | 205.39/205.48 c | 1852329 | 254 34661 157137 | 1 162739 25 | 0.000 % | 205.39/205.48 c | 1853945 | 254 34661 157137 | 1 164355 25 | 0.000 % | 205.39/205.48 c | 1854356 | 254 34661 157137 | 1 164766 25 | 0.000 % | 205.39/205.48 c | 1854456 | 254 34661 157137 | 1 164866 25 | 0.000 % | 205.39/205.48 c | 1856119 | 254 34661 157137 | 1 166529 25 | 0.000 % | 205.39/205.48 c | 1856520 | 254 34661 157137 | 1 166930 25 | 0.000 % | 205.39/205.48 c | 1857263 | 254 34661 157137 | 1 167673 25 | 0.000 % | 205.39/205.48 c | 1857363 | 254 34661 157137 | 1 167773 25 | 0.000 % | 205.39/205.48 c | 1857464 | 254 34661 157137 | 1 167874 25 | 0.000 % | 205.39/205.48 c | 1858153 | 254 34661 157137 | 1 168563 25 | 0.000 % | 205.39/205.48 c | 1858254 | 254 34661 157137 | 1 168664 25 | 0.000 % | 205.39/205.48 c | 1859858 | 254 34661 157137 | 1 170268 25 | 0.000 % | 205.39/205.48 c | 1860612 | 254 34661 157137 | 1 171022 25 | 0.000 % | 205.39/205.48 c | 1865084 | 254 34661 157137 | 1 175494 25 | 0.000 % | 205.39/205.48 c | 1865188 | 254 34661 157137 | 1 175598 25 | 0.000 % | 205.39/205.48 c | 1865288 | 254 34661 157137 | 1 175698 25 | 0.000 % | 205.39/205.48 c | 1865388 | 254 34661 157137 | 1 175798 25 | 0.000 % | 205.39/205.48 c | 1904403 | 254 34661 157137 | 1 119814 24 | 0.000 % | 205.39/205.48 c | 1913427 | 254 34661 157137 | 1 128838 24 | 0.000 % | 205.39/205.48 c | 1949537 | 254 34661 157137 | 1 164948 25 | 0.000 % | 205.39/205.48 c | 1953710 | 254 34661 157137 | 1 169121 25 | 0.000 % | 205.39/205.48 c | 1972870 | 254 34661 157137 | 1 188281 25 | 0.000 % | 205.39/205.48 c | 1973947 | 254 34661 157137 | 1 189358 25 | 0.000 % | 205.39/205.48 c | 1974272 | 254 34661 157137 | 1 189683 25 | 0.000 % | 205.39/205.48 c | 1974763 | 254 34661 157137 | 1 190174 25 | 0.000 % | 205.39/205.48 c | 1975769 | 254 34661 157137 | 1 191180 25 | 0.000 % | 205.39/205.48 c | 2005075 | 254 34661 157137 | 1 122890 24 | 0.000 % | 205.39/205.48 c | 2061045 | 254 34661 157137 | 1 178860 25 | 0.000 % | 205.39/205.48 c | 2063153 | 254 34661 157137 | 1 180968 25 | 0.000 % | 205.39/205.48 c | 2063516 | 254 34661 157137 | 1 181331 25 | 0.000 % | 205.39/205.48 c | 2077391 | 254 34661 157137 | 1 195206 25 | 0.000 % | 205.39/205.48 c | 2077816 | 254 34661 157137 | 1 195631 25 | 0.000 % | 205.39/205.48 c | 2077920 | 254 34661 157137 | 1 195735 25 | 0.000 % | 205.39/205.48 c | 2079451 | 254 34661 157137 | 1 197266 25 | 0.000 % | 205.39/205.48 c | 2079553 | 254 34661 157137 | 1 197368 25 | 0.000 % | 205.39/205.48 c | 2079653 | 254 34661 157137 | 1 197468 25 | 0.000 % | 205.39/205.48 c | 2123352 | 254 34661 157137 | 1 140967 24 | 0.000 % | 205.39/205.48 c | 2178040 | 254 34661 157137 | 1 195655 25 | 0.000 % | 205.39/205.48 c | 2193505 | 254 34661 157137 | 1 108322 23 | 0.000 % | 205.39/205.48 c | 2193606 | 254 34661 157137 | 1 108423 23 | 0.000 % | 205.39/205.48 c | 2193768 | 254 34661 157137 | 1 108585 23 | 0.000 % | 205.39/205.48 c | 2195231 | 254 34661 157137 | 1 110048 23 | 0.000 % | 205.39/205.48 c | 2195333 | 254 34661 157137 | 1 110150 23 | 0.000 % | 205.39/205.48 c | 2202068 | 254 34661 157137 | 1 116885 23 | 0.000 % | 205.39/205.48 c | 2202172 | 254 34661 157137 | 1 116989 23 | 0.000 % | 205.39/205.48 c | 2202273 | 254 34661 157137 | 1 117090 23 | 0.000 % | 205.39/205.48 c | 2243516 | 254 34661 157137 | 1 158333 24 | 0.000 % | 205.39/205.48 c | 2243662 | 254 34661 157137 | 1 158479 24 | 0.000 % | 265.79/265.87 c | 2261119 | 254 34661 157137 | 1 175936 25 | 0.000 % | 265.79/265.87 c | 2268195 | 254 34661 157137 | 1 183012 25 | 0.000 % | 265.79/265.87 c | 2269235 | 254 34661 157137 | 1 184052 25 | 0.000 % | 265.79/265.87 c | 2286006 | 254 34661 157137 | 1 200823 25 | 0.000 % | 265.79/265.87 c | 2286106 | 254 34661 157137 | 1 200923 25 | 0.000 % | 265.79/265.87 c | 2286207 | 254 34661 157137 | 1 201024 25 | 0.000 % | 265.79/265.87 c | 2286307 | 254 34661 157137 | 1 201124 25 | 0.000 % | 265.79/265.87 c | 2286407 | 254 34661 157137 | 1 201224 25 | 0.000 % | 265.79/265.87 c | 2410763 | 254 34661 157137 | 1 112182 23 | 0.000 % | 265.79/265.87 c | 2413635 | 254 34661 157137 | 1 115054 23 | 0.000 % | 265.79/265.87 c | 2413737 | 254 34661 157137 | 1 115156 23 | 0.000 % | 265.79/265.87 c | 2413909 | 254 34661 157137 | 1 115328 23 | 0.000 % | 265.79/265.87 c | 2429471 | 254 34661 157137 | 1 130890 23 | 0.000 % | 265.79/265.87 c | 2432486 | 254 34661 157137 | 1 133905 24 | 0.000 % | 265.79/265.87 c | 2443447 | 254 34661 157137 | 1 144866 24 | 0.000 % | 265.79/265.87 c | 2469731 | 254 34661 157137 | 1 171150 24 | 0.000 % | 265.79/265.87 c | 2469831 | 254 34661 157137 | 1 171250 24 | 0.000 % | 265.79/265.87 c | 2476852 | 254 34661 157137 | 1 178271 25 | 0.000 % | 265.79/265.87 c | 2476953 | 254 34661 157137 | 1 178372 25 | 0.000 % | 265.79/265.87 c | 2477055 | 254 34661 157137 | 1 178474 25 | 0.000 % | 265.79/265.87 c | 2477155 | 254 34661 157137 | 1 178574 25 | 0.000 % | 265.79/265.87 c | 2493266 | 254 34661 157137 | 1 194685 25 | 0.000 % | 265.79/265.87 c | 2493367 | 254 34661 157137 | 1 194786 25 | 0.000 % | 265.79/265.87 c | 2515835 | 254 34661 157137 | 1 217254 25 | 0.000 % | 265.79/265.87 c | 2516040 | 254 34661 157137 | 1 217459 25 | 0.000 % | 265.79/265.87 c | 2534697 | 254 34661 157137 | 1 125510 23 | 0.000 % | 265.79/265.87 c | 2534797 | 254 34661 157137 | 1 125610 23 | 0.000 % | 265.79/265.87 c | 2653283 | 254 34661 157137 | 1 130891 23 | 0.000 % | 265.79/265.87 c | 2657026 | 254 34661 157137 | 1 134634 23 | 0.000 % | 265.79/265.87 c | 2669106 | 254 34661 157137 | 1 146714 23 | 0.000 % | 265.79/265.87 c | 2669206 | 254 34661 157137 | 1 146814 23 | 0.000 % | 265.79/265.87 c | 2669306 | 254 34661 157137 | 1 146914 23 | 0.000 % | 265.79/265.87 c | 2669406 | 254 34661 157137 | 1 147014 23 | 0.000 % | 265.79/265.87 c | 2669509 | 254 34661 157137 | 1 147117 23 | 0.000 % | 265.79/265.87 c | 2699893 | 254 34661 157137 | 1 177501 24 | 0.000 % | 265.79/265.87 c | 2709619 | 254 34661 157137 | 1 187227 25 | 0.000 % | 265.79/265.87 c | 2709719 | 254 34661 157137 | 1 187327 25 | 0.000 % | 265.79/265.87 c | 2711327 | 254 34661 157137 | 1 188935 25 | 0.000 % | 265.79/265.87 c | 2711429 | 254 34661 157137 | 1 189037 25 | 0.000 % | 265.79/265.87 c | 2711531 | 254 34661 157137 | 1 189139 25 | 0.000 % | 265.79/265.87 c | 2718313 | 254 34661 157137 | 1 195921 25 | 0.000 % | 265.79/265.87 c | 2718414 | 254 34661 157137 | 1 196022 25 | 0.000 % | 265.79/265.87 c | 2718516 | 254 34661 157137 | 1 196124 25 | 0.000 % | 265.79/265.87 c | 2721387 | 254 34661 157137 | 1 198995 25 | 0.000 % | 265.79/265.87 c | 2735945 | 254 34661 157137 | 1 213553 25 | 0.000 % | 265.79/265.87 c | 2775308 | 254 34661 157137 | 1 137121 23 | 0.000 % | 265.79/265.87 c | 2787714 | 254 34661 157137 | 1 149527 24 | 0.000 % | 265.79/265.87 c | 2789665 | 254 34661 157137 | 1 151478 24 | 0.000 % | 265.79/265.87 c | 2789765 | 254 34661 157137 | 1 151578 24 | 0.000 % | 265.79/265.87 c | 2805300 | 254 34661 157137 | 1 167113 25 | 0.000 % | 378.49/378.58 c | 2838213 | 254 34661 157137 | 1 200026 25 | 0.000 % | 378.49/378.58 c | 2838313 | 254 34661 157137 | 1 200126 25 | 0.000 % | 378.49/378.58 c | 2838413 | 254 34661 157137 | 1 200226 25 | 0.000 % | 378.49/378.58 c | 2838514 | 254 34661 157137 | 1 200327 25 | 0.000 % | 378.49/378.58 c | 2850733 | 254 34661 157137 | 1 212546 26 | 0.000 % | 378.49/378.58 c | 2850835 | 254 34661 157137 | 1 212648 26 | 0.000 % | 378.49/378.58 c | 2872305 | 254 34661 157137 | 1 234118 26 | 0.000 % | 378.49/378.58 c | 2884578 | 254 34661 157137 | 1 127991 23 | 0.000 % | 378.49/378.58 c | 2884681 | 254 34661 157137 | 1 128094 23 | 0.000 % | 378.49/378.58 c | 2920174 | 254 34661 157137 | 1 163587 24 | 0.000 % | 378.49/378.58 c | 2921955 | 254 34661 157137 | 1 165368 24 | 0.000 % | 378.49/378.58 c | 2931768 | 254 34661 157137 | 1 175181 24 | 0.000 % | 378.49/378.58 c | 2931868 | 254 34661 157137 | 1 175281 24 | 0.000 % | 378.49/378.58 c | 2953551 | 254 34661 157137 | 1 196964 25 | 0.000 % | 378.49/378.58 c | 2954013 | 254 34661 157137 | 1 197426 25 | 0.000 % | 378.49/378.58 c | 2966606 | 254 34661 157137 | 1 210019 25 | 0.000 % | 378.49/378.58 c | 2970094 | 254 34661 157137 | 1 213507 25 | 0.000 % | 378.49/378.58 c | 2972186 | 254 34661 157137 | 1 215599 25 | 0.000 % | 378.49/378.58 c | 2972286 | 254 34661 157137 | 1 215699 25 | 0.000 % | 378.49/378.58 c | 2977105 | 254 34661 157137 | 1 220518 25 | 0.000 % | 378.49/378.58 c | 2979512 | 254 34661 157137 | 1 222925 25 | 0.000 % | 378.49/378.58 c | 2980205 | 254 34661 157137 | 1 223618 25 | 0.000 % | 378.49/378.58 c | 2980872 | 254 34661 157137 | 1 224285 26 | 0.000 % | 378.49/378.58 c | 2986767 | 254 34661 157137 | 1 230180 26 | 0.000 % | 378.49/378.58 c | 2986870 | 254 34661 157137 | 1 230283 26 | 0.000 % | 378.49/378.58 c | 3085319 | 254 34661 157137 | 1 207740 24 | 0.000 % | 378.49/378.58 c | 3114026 | 254 34661 157137 | 1 236447 25 | 0.000 % | 378.49/378.58 c | 3114127 | 254 34661 157137 | 1 236548 25 | 0.000 % | 378.49/378.58 c | 3117766 | 254 34661 157137 | 1 240187 25 | 0.000 % | 378.49/378.58 c | 3129310 | 254 34661 157137 | 1 128127 22 | 0.000 % | 378.49/378.58 c | 3130247 | 254 34661 157137 | 1 129064 22 | 0.000 % | 378.49/378.58 c | 3130347 | 254 34661 157137 | 1 129164 22 | 0.000 % | 378.49/378.58 c | 3131025 | 254 34661 157137 | 1 129842 22 | 0.000 % | 378.49/378.58 c | 3131125 | 254 34661 157137 | 1 129942 22 | 0.000 % | 378.49/378.58 c | 3131362 | 254 34661 157137 | 1 130179 22 | 0.000 % | 378.49/378.58 c | 3218783 | 254 34661 157137 | 1 217600 25 | 0.000 % | 378.49/378.58 c | 3371493 | 254 34661 157137 | 1 244106 25 | 0.000 % | 378.49/378.58 c | 3371641 | 254 34661 157137 | 1 244254 25 | 0.000 % | 378.49/378.58 c | 3627859 | 254 34661 157137 | 1 240276 24 | 0.000 % | 378.49/378.58 c | 3646865 | 254 34661 157137 | 1 259282 25 | 0.000 % | 378.49/378.58 c | 3647039 | 254 34661 157137 | 1 259456 25 | 0.000 % | 378.49/378.58 c | 3669570 | 254 34661 157137 | 1 147985 22 | 0.000 % | 378.49/378.58 c | 3669670 | 254 34661 157137 | 1 148085 22 | 0.000 % | 378.49/378.58 c | 3687581 | 254 34661 157137 | 1 165996 23 | 0.000 % | 378.49/378.58 c | 3732683 | 254 34661 157137 | 1 211098 24 | 0.000 % | 378.49/378.58 c | 3755152 | 254 34661 157137 | 1 233567 25 | 0.000 % | 378.49/378.58 c | 3756977 | 254 34661 157137 | 1 235392 25 | 0.000 % | 378.49/378.58 c | 3759628 | 254 34661 157137 | 1 238043 25 | 0.000 % | 378.49/378.58 c | 3760996 | 254 34661 157137 | 1 239411 25 | 0.000 % | 378.49/378.58 c | 3761099 | 254 34661 157137 | 1 239514 25 | 0.000 % | 436.49/436.52 c | 3761689 | 254 34661 157137 | 1 240104 25 | 0.000 % | 436.49/436.52 c | 3788449 | 254 34661 157137 | 1 266864 25 | 0.000 % | 436.49/436.52 c | 3795429 | 254 34661 157137 | 1 137251 22 | 0.000 % | 436.49/436.52 c | 3798415 | 254 34661 157137 | 1 140237 22 | 0.000 % | 436.49/436.52 c | 3803580 | 254 34661 157137 | 1 145402 22 | 0.000 % | 436.49/436.52 c | 3803680 | 254 34661 157137 | 1 145502 22 | 0.000 % | 436.49/436.52 c | 3804787 | 254 34661 157137 | 1 146609 22 | 0.000 % | 436.49/436.52 c | 3812246 | 254 34661 157137 | 1 154068 23 | 0.000 % | 436.49/436.52 c | 3824242 | 254 34661 157137 | 1 166064 23 | 0.000 % | 436.49/436.52 c | 3824606 | 254 34661 157137 | 1 166428 23 | 0.000 % | 436.49/436.52 c | 3826449 | 254 34661 157137 | 1 168271 24 | 0.000 % | 436.49/436.52 c | 3826973 | 254 34661 157137 | 1 168795 24 | 0.000 % | 436.49/436.52 c | 3836444 | 254 34661 157137 | 1 178266 24 | 0.000 % | 436.49/436.52 c | 3840757 | 254 34661 157137 | 1 182579 24 | 0.000 % | 436.49/436.52 c | 3840857 | 254 34661 157137 | 1 182679 24 | 0.000 % | 436.49/436.52 c | 3840957 | 254 34661 157137 | 1 182779 24 | 0.000 % | 436.49/436.52 c | 3845068 | 254 34661 157137 | 1 186890 24 | 0.000 % | 436.49/436.52 c | 3867448 | 254 34661 157137 | 1 209270 24 | 0.000 % | 436.49/436.52 c | 3870880 | 254 34661 157137 | 1 212702 25 | 0.000 % | 436.49/436.52 c | 3870981 | 254 34661 157137 | 1 212803 25 | 0.000 % | 436.49/436.52 c | 3932723 | 254 34661 157137 | 1 274545 25 | 0.000 % | 436.49/436.52 c | 3932826 | 254 34661 157137 | 1 274648 25 | 0.000 % | 436.49/436.52 c | 3939391 | 254 34661 157137 | 1 142009 22 | 0.000 % | 436.49/436.52 c | 3959449 | 254 34661 157137 | 1 162067 23 | 0.000 % | 436.49/436.52 c | 3959549 | 254 34661 157137 | 1 162167 23 | 0.000 % | 436.49/436.52 c | 3999156 | 254 34661 157137 | 1 201774 23 | 0.000 % | 436.49/436.52 c | 3999256 | 254 34661 157137 | 1 201874 23 | 0.000 % | 436.49/436.52 c | 4003085 | 254 34661 157137 | 1 205703 23 | 0.000 % | 436.49/436.52 c | 4003514 | 254 34661 157137 | 1 206132 23 | 0.000 % | 436.49/436.52 c | 4003978 | 254 34661 157137 | 1 206596 24 | 0.000 % | 436.49/436.52 c | 4006410 | 254 34661 157137 | 1 209028 24 | 0.000 % | 436.49/436.52 c | 4048513 | 254 34661 157137 | 1 251131 25 | 0.000 % | 436.49/436.52 c | 4048616 | 254 34661 157137 | 1 251234 25 | 0.000 % | 436.49/436.52 c | 4119536 | 254 34661 157137 | 1 180348 24 | 0.000 % | 436.49/436.52 c | 4120894 | 254 34661 157137 | 1 181706 24 | 0.000 % | 436.49/436.52 c | 4133313 | 254 34661 157137 | 1 194125 24 | 0.000 % | 436.49/436.52 c | 4133611 | 254 34661 157137 | 1 194423 24 | 0.000 % | 436.49/436.52 c | 4135926 | 254 34661 157137 | 1 196738 24 | 0.000 % | 436.49/436.52 c | 4138794 | 254 34661 157137 | 1 199606 24 | 0.000 % | 436.49/436.52 c | 4139010 | 254 34661 157137 | 1 199822 24 | 0.000 % | 436.49/436.52 c | 4141734 | 254 34661 157137 | 1 202546 25 | 0.000 % | 436.49/436.52 c | 4151007 | 254 34661 157137 | 1 211819 25 | 0.000 % | 436.49/436.52 c | 4151860 | 254 34661 157137 | 1 212672 25 | 0.000 % | 436.49/436.52 c | 4188117 | 254 34661 157137 | 1 248929 25 | 0.000 % | 436.49/436.52 c | 4189914 | 254 34661 157137 | 1 250726 25 | 0.000 % | 436.49/436.52 c | 4191303 | 254 34661 157137 | 1 252115 25 | 0.000 % | 436.49/436.52 c | 4196158 | 254 34661 157137 | 1 256970 26 | 0.000 % | 436.49/436.52 c | 4225365 | 254 34661 157137 | 1 286177 26 | 0.000 % | 436.49/436.52 c | 4255049 | 254 34661 157137 | 1 171464 23 | 0.000 % | 436.49/436.52 c | 4256971 | 254 34661 157137 | 1 173386 23 | 0.000 % | 474.59/474.66 c | 4267479 | 254 34661 157137 | 1 183894 23 | 0.000 % | 474.59/474.66 c | 4272666 | 254 34661 157137 | 1 189081 24 | 0.000 % | 474.59/474.66 c | 4275052 | 254 34661 157137 | 1 191467 24 | 0.000 % | 474.59/474.66 c | 4275382 | 254 34661 157137 | 1 191797 24 | 0.000 % | 474.59/474.66 c | 4277300 | 254 34661 157137 | 1 193715 24 | 0.000 % | 474.59/474.66 c | 4277592 | 254 34661 157137 | 1 194007 24 | 0.000 % | 474.59/474.66 c | 4277695 | 254 34661 157137 | 1 194110 24 | 0.000 % | 474.59/474.66 c | 4304339 | 254 34661 157137 | 1 220754 24 | 0.000 % | 474.59/474.66 c | 4304440 | 254 34661 157137 | 1 220855 24 | 0.000 % | 474.59/474.66 c | 4304919 | 254 34661 157137 | 1 221334 24 | 0.000 % | 474.59/474.66 c | 4318021 | 254 34661 157137 | 1 234436 25 | 0.000 % | 474.59/474.66 c | 4318122 | 254 34661 157137 | 1 234537 25 | 0.000 % | 474.59/474.66 c | 4318244 | 254 34661 157137 | 1 234659 25 | 0.000 % | 474.59/474.66 c | 4319233 | 254 34661 157137 | 1 235648 25 | 0.000 % | 474.59/474.66 c | 4319980 | 254 34661 157137 | 1 236395 25 | 0.000 % | 474.59/474.66 c | 4326037 | 254 34661 157137 | 1 242452 25 | 0.000 % | 474.59/474.66 c | 4326138 | 254 34661 157137 | 1 242553 25 | 0.000 % | 474.59/474.66 c | 4342756 | 254 34661 157137 | 1 259171 25 | 0.000 % | 474.59/474.66 c | 4358361 | 254 34661 157137 | 1 274776 25 | 0.000 % | 474.59/474.66 c | 4371263 | 254 34661 157137 | 1 287678 26 | 0.000 % | 474.59/474.66 c | 4371946 | 254 34661 157137 | 1 288361 26 | 0.000 % | 474.59/474.66 c | 4372046 | 254 34661 157137 | 1 288461 26 | 0.000 % | 474.59/474.66 c | 4390181 | 254 34661 157137 | 1 159596 22 | 0.000 % | 474.59/474.66 c | 4390285 | 254 34661 157137 | 1 159700 22 | 0.000 % | 474.59/474.66 c | 4411322 | 254 34661 157137 | 1 180737 23 | 0.000 % | 474.59/474.66 c | 4417575 | 254 34661 157137 | 1 186990 23 | 0.000 % | 474.59/474.66 c | 4443206 | 254 34661 157137 | 1 212621 24 | 0.000 % | 474.59/474.66 c | 4443306 | 254 34661 157137 | 1 212721 24 | 0.000 % | 474.59/474.66 c | 4450485 | 254 34661 157137 | 1 219900 24 | 0.000 % | 474.59/474.66 c | 4450586 | 254 34661 157137 | 1 220001 24 | 0.000 % | 474.59/474.66 c | 4475755 | 254 34661 157137 | 1 245170 25 | 0.000 % | 474.59/474.66 c | 4475872 | 254 34661 157137 | 1 245287 25 | 0.000 % | 474.59/474.66 c | 4475972 | 254 34661 157137 | 1 245387 25 | 0.000 % | 474.59/474.66 c | 4487050 | 254 34661 157137 | 1 256465 25 | 0.000 % | 474.59/474.66 c | 4494061 | 254 34661 157137 | 1 263476 25 | 0.000 % | 474.59/474.66 c | 4503003 | 254 34661 157137 | 1 272418 25 | 0.000 % | 474.59/474.66 c | 4515215 | 254 34661 157137 | 1 284630 25 | 0.000 % | 474.59/474.66 c | 4515317 | 254 34661 157137 | 1 284732 25 | 0.000 % | 474.59/474.66 c | 4517079 | 254 34661 157137 | 1 286494 25 | 0.000 % | 474.59/474.66 c | 4517436 | 254 34661 157137 | 1 286851 25 | 0.000 % | 474.59/474.66 c | 4517538 | 254 34661 157137 | 1 286953 25 | 0.000 % | 474.59/474.66 c | 4540281 | 254 34661 157137 | 1 160100 22 | 0.000 % | 474.59/474.66 c | 4541310 | 254 34661 157137 | 1 161129 22 | 0.000 % | 474.59/474.66 c | 4541576 | 254 34661 157137 | 1 161395 22 | 0.000 % | 474.59/474.66 c | 4543706 | 254 34661 157137 | 1 163525 22 | 0.000 % | 474.59/474.66 c | 4543924 | 254 34661 157137 | 1 163743 22 | 0.000 % | 474.59/474.66 c | 4559734 | 254 34661 157137 | 1 179553 23 | 0.000 % | 474.59/474.66 c | 4559836 | 254 34661 157137 | 1 179655 23 | 0.000 % | 474.59/474.66 c | 4559937 | 254 34661 157137 | 1 179756 23 | 0.000 % | 583.70/583.70 c | 4560038 | 254 34661 157137 | 1 179857 23 | 0.000 % | 583.70/583.70 c | 4561301 | 254 34661 157137 | 1 181120 23 | 0.000 % | 583.70/583.70 c | 4588168 | 254 34661 157137 | 1 207987 24 | 0.000 % | 583.70/583.70 c | 4604919 | 254 34661 157137 | 1 224738 24 | 0.000 % | 583.70/583.70 c | 4605020 | 254 34661 157137 | 1 224839 24 | 0.000 % | 583.70/583.70 c | 4607476 | 254 34661 157137 | 1 227295 24 | 0.000 % | 583.70/583.70 c | 4607577 | 254 34661 157137 | 1 227396 24 | 0.000 % | 583.70/583.70 c | 4629720 | 254 34661 157137 | 1 249539 24 | 0.000 % | 583.70/583.70 c | 4756144 | 254 34661 157137 | 1 223764 23 | 0.000 % | 583.70/583.70 c | 4757440 | 254 34661 157137 | 1 225060 23 | 0.000 % | 583.70/583.70 c | 4757541 | 254 34661 157137 | 1 225161 23 | 0.000 % | 583.70/583.70 c | 4757946 | 254 34661 157137 | 1 225566 23 | 0.000 % | 583.70/583.70 c | 4763010 | 254 34661 157137 | 1 230630 24 | 0.000 % | 583.70/583.70 c | 4763112 | 254 34661 157137 | 1 230732 24 | 0.000 % | 583.70/583.70 c | 4772239 | 254 34661 157137 | 1 239859 24 | 0.000 % | 583.70/583.70 c | 4791318 | 254 34661 157137 | 1 258938 24 | 0.000 % | 583.70/583.70 c | 4791419 | 254 34661 157137 | 1 259039 24 | 0.000 % | 583.70/583.70 c | 4806451 | 254 34661 157137 | 1 274071 24 | 0.000 % | 583.70/583.70 c | 4809850 | 254 34661 157137 | 1 277470 25 | 0.000 % | 583.70/583.70 c | 4809950 | 254 34661 157137 | 1 277570 25 | 0.000 % | 583.70/583.70 c | 4823218 | 254 34661 157137 | 1 290838 25 | 0.000 % | 583.70/583.70 c | 4823863 | 254 34661 157137 | 1 291483 25 | 0.000 % | 583.70/583.70 c | 4878795 | 254 34661 157137 | 1 191617 23 | 0.000 % | 583.70/583.70 c | 4900993 | 254 34661 157137 | 1 213815 23 | 0.000 % | 583.70/583.70 c | 4921113 | 254 34661 157137 | 1 233935 24 | 0.000 % | 583.70/583.70 c | 4921214 | 254 34661 157137 | 1 234036 24 | 0.000 % | 583.70/583.70 c | 4921525 | 254 34661 157137 | 1 234347 24 | 0.000 % | 583.70/583.70 c | 5183411 | 254 34661 157137 | 1 178829 22 | 0.000 % | 583.70/583.70 c | 5200341 | 254 34661 157137 | 1 195759 23 | 0.000 % | 583.70/583.70 c | 5224919 | 254 34661 157137 | 1 220337 23 | 0.000 % | 583.70/583.70 c | 5225019 | 254 34661 157137 | 1 220437 23 | 0.000 % | 583.70/583.70 c | 5225119 | 254 34661 157137 | 1 220537 23 | 0.000 % | 583.70/583.70 c | 5225257 | 254 34661 157137 | 1 220675 23 | 0.000 % | 583.70/583.70 c | 5244182 | 254 34661 157137 | 1 239600 24 | 0.000 % | 583.70/583.70 c | 5245427 | 254 34661 157137 | 1 240845 24 | 0.000 % | 583.70/583.70 c | 5246986 | 254 34661 157137 | 1 242404 24 | 0.000 % | 583.70/583.70 c | 5262264 | 254 34661 157137 | 1 257682 24 | 0.000 % | 583.70/583.70 c | 5262366 | 254 34661 157137 | 1 257784 24 | 0.000 % | 583.70/583.70 c | 5262467 | 254 34661 157137 | 1 257885 24 | 0.000 % | 583.70/583.70 c | 5267265 | 254 34661 157137 | 1 262683 24 | 0.000 % | 583.70/583.70 c | 5294719 | 254 34661 157137 | 1 290137 24 | 0.000 % | 583.70/583.70 c | 5294972 | 254 34661 157137 | 1 290390 24 | 0.000 % | 583.70/583.70 c | 5295072 | 254 34661 157137 | 1 290490 24 | 0.000 % | 583.70/583.70 c | 5326332 | 254 34661 157137 | 1 321750 25 | 0.000 % | 583.70/583.70 c | 5326537 | 254 34661 157137 | 1 321955 25 | 0.000 % | 583.70/583.70 c | 5326637 | 254 34661 157137 | 1 322055 25 | 0.000 % | 583.70/583.70 c | 5373324 | 254 34661 157137 | 1 206140 23 | 0.000 % | 583.70/583.70 c | 5403163 | 254 34661 157137 | 1 235979 23 | 0.000 % | 583.70/583.70 c | 5407517 | 254 34661 157137 | 1 240333 23 | 0.000 % | 583.70/583.70 c | 5408825 | 254 34661 157137 | 1 241641 23 | 0.000 % | 642.30/642.31 c | 5409479 | 254 34661 157137 | 1 242295 23 | 0.000 % | 642.30/642.31 c | 5410841 | 254 34661 157137 | 1 243657 24 | 0.000 % | 642.30/642.31 c | 5411374 | 254 34661 157137 | 1 244190 24 | 0.000 % | 642.30/642.31 c | 5411555 | 254 34661 157137 | 1 244371 24 | 0.000 % | 642.30/642.31 c | 5411849 | 254 34661 157137 | 1 244665 24 | 0.000 % | 642.30/642.31 c | 5411950 | 254 34661 157137 | 1 244766 24 | 0.000 % | 642.30/642.31 c | 5420362 | 254 34661 157137 | 1 253178 24 | 0.000 % | 642.30/642.31 c | 5503063 | 254 34661 157137 | 1 170684 22 | 0.000 % | 642.30/642.31 c | 5516157 | 254 34661 157137 | 1 183778 22 | 0.000 % | 642.30/642.31 c | 5517032 | 254 34661 157137 | 1 184653 22 | 0.000 % | 642.30/642.31 c | 5517149 | 254 34661 157137 | 1 184770 22 | 0.000 % | 642.30/642.31 c | 5518132 | 254 34661 157137 | 1 185753 22 | 0.000 % | 642.30/642.31 c | 5523245 | 254 34661 157137 | 1 190866 22 | 0.000 % | 642.30/642.31 c | 5530634 | 254 34661 157137 | 1 198255 23 | 0.000 % | 642.30/642.31 c | 5533251 | 254 34661 157137 | 1 200872 23 | 0.000 % | 642.30/642.31 c | 5545505 | 254 34661 157137 | 1 213126 23 | 0.000 % | 642.30/642.31 c | 5545814 | 254 34661 157137 | 1 213435 23 | 0.000 % | 642.30/642.31 c | 5546966 | 254 34661 157137 | 1 214587 23 | 0.000 % | 642.30/642.31 c | 5547067 | 254 34661 157137 | 1 214688 23 | 0.000 % | 642.30/642.31 c | 5548026 | 254 34661 157137 | 1 215647 23 | 0.000 % | 642.30/642.31 c | 5548768 | 254 34661 157137 | 1 216389 23 | 0.000 % | 642.30/642.31 c | 5552015 | 254 34661 157137 | 1 219636 23 | 0.000 % | 642.30/642.31 c | 5552218 | 254 34661 157137 | 1 219839 23 | 0.000 % | 642.30/642.31 c | 5552972 | 254 34661 157137 | 1 220593 23 | 0.000 % | 642.30/642.31 c | 5553348 | 254 34661 157137 | 1 220969 23 | 0.000 % | 642.30/642.31 c | 5553449 | 254 34661 157137 | 1 221070 23 | 0.000 % | 642.30/642.31 c | 5554569 | 254 34661 157137 | 1 222190 23 | 0.000 % | 642.30/642.31 c | 5583205 | 254 34661 157137 | 1 250826 24 | 0.000 % | 642.30/642.31 c | 5585777 | 254 34661 157137 | 1 253398 24 | 0.000 % | 642.30/642.31 c | 5585877 | 254 34661 157137 | 1 253498 24 | 0.000 % | 642.30/642.31 c | 5718683 | 254 34661 157137 | 1 218502 23 | 0.000 % | 642.30/642.31 c | 5719397 | 254 34661 157137 | 1 219216 23 | 0.000 % | 642.30/642.31 c | 5724976 | 254 34661 157137 | 1 224795 23 | 0.000 % | 642.30/642.31 c | 5725223 | 254 34661 157137 | 1 225042 23 | 0.000 % | 642.30/642.31 c | 5725451 | 254 34661 157137 | 1 225270 23 | 0.000 % | 642.30/642.31 c | 5727758 | 254 34661 157137 | 1 227577 23 | 0.000 % | 642.30/642.31 c | 5727858 | 254 34661 157137 | 1 227677 23 | 0.000 % | 642.30/642.31 c | 5727959 | 254 34661 157137 | 1 227778 23 | 0.000 % | 642.30/642.31 c | 5736131 | 254 34661 157137 | 1 235950 23 | 0.000 % | 642.30/642.31 c | 5736231 | 254 34661 157137 | 1 236050 23 | 0.000 % | 642.30/642.31 c | 5766170 | 254 34661 157137 | 1 265989 24 | 0.000 % | 642.30/642.31 c | 5767317 | 254 34661 157137 | 1 267136 24 | 0.000 % | 642.30/642.31 c | 5769526 | 254 34661 157137 | 1 269345 24 | 0.000 % | 642.30/642.31 c | 5769626 | 254 34661 157137 | 1 269445 24 | 0.000 % | 642.30/642.31 c | 5769727 | 254 34661 157137 | 1 269546 24 | 0.000 % | 642.30/642.31 c | 5788240 | 254 34661 157137 | 1 288059 24 | 0.000 % | 642.30/642.31 c | 5831582 | 254 34661 157137 | 1 331401 25 | 0.000 % | 642.30/642.31 c | 5831684 | 254 34661 157137 | 1 331503 25 | 0.000 % | 642.30/642.31 c | 5852786 | 254 34661 157137 | 1 182203 22 | 0.000 % | 642.30/642.31 c | 5853571 | 254 34661 157137 | 1 182988 22 | 0.000 % | 730.80/730.86 c | 5883517 | 254 34661 157137 | 1 212934 23 | 0.000 % | 730.80/730.86 c | 5928410 | 254 34661 157137 | 1 257827 24 | 0.000 % | 730.80/730.86 c | 5928510 | 254 34661 157137 | 1 257927 24 | 0.000 % | 730.80/730.86 c | 5929109 | 254 34661 157137 | 1 258526 24 | 0.000 % | 730.80/730.86 c | 5929209 | 254 34661 157137 | 1 258626 24 | 0.000 % | 730.80/730.86 c | 5929309 | 254 34661 157137 | 1 258726 24 | 0.000 % | 730.80/730.86 c | 5929931 | 254 34661 157137 | 1 259348 24 | 0.000 % | 730.80/730.86 c | 5930034 | 254 34661 157137 | 1 259451 24 | 0.000 % | 730.80/730.86 c | 5930135 | 254 34661 157137 | 1 259552 24 | 0.000 % | 730.80/730.86 c | 5930287 | 254 34661 157137 | 1 259704 24 | 0.000 % | 730.80/730.86 c | 5940902 | 254 34661 157137 | 1 270319 24 | 0.000 % | 730.80/730.86 c | 6024226 | 254 34661 157137 | 1 180650 22 | 0.000 % | 730.80/730.86 c | 6024685 | 254 34661 157137 | 1 181109 22 | 0.000 % | 730.80/730.86 c | 6062390 | 254 34661 157137 | 1 218814 23 | 0.000 % | 730.80/730.86 c | 6078670 | 254 34661 157137 | 1 235094 23 | 0.000 % | 730.80/730.86 c | 6112419 | 254 34661 157137 | 1 268843 24 | 0.000 % | 730.80/730.86 c | 6224820 | 254 34661 157137 | 1 205638 22 | 0.000 % | 730.80/730.86 c | 6242703 | 254 34661 157137 | 1 223521 22 | 0.000 % | 730.80/730.86 c | 6245851 | 254 34661 157137 | 1 226669 23 | 0.000 % | 730.80/730.86 c | 6245951 | 254 34661 157137 | 1 226769 23 | 0.000 % | 730.80/730.86 c | 6246052 | 254 34661 157137 | 1 226870 23 | 0.000 % | 730.80/730.86 c | 6260728 | 254 34661 157137 | 1 241546 23 | 0.000 % | 730.80/730.86 c | 6268177 | 254 34661 157137 | 1 248995 23 | 0.000 % | 730.80/730.86 c | 6331529 | 254 34661 157137 | 1 312347 24 | 0.000 % | 730.80/730.86 c | 6346721 | 254 34661 157137 | 1 327539 24 | 0.000 % | 730.80/730.86 c | 6348673 | 254 34661 157137 | 1 329491 24 | 0.000 % | 730.80/730.86 c | 6348938 | 254 34661 157137 | 1 329756 24 | 0.000 % | 730.80/730.86 c | 6349038 | 254 34661 157137 | 1 329856 24 | 0.000 % | 730.80/730.86 c | 6349484 | 254 34661 157137 | 1 330302 24 | 0.000 % | 730.80/730.86 c | 6349586 | 254 34661 157137 | 1 330404 24 | 0.000 % | 730.80/730.86 c | 6354330 | 254 34661 157137 | 1 335148 24 | 0.000 % | 730.80/730.86 c | 6375984 | 254 34661 157137 | 1 178602 21 | 0.000 % | 730.80/730.86 c | 6414228 | 254 34661 157137 | 1 216846 22 | 0.000 % | 730.80/730.86 c | 6414329 | 254 34661 157137 | 1 216947 22 | 0.000 % | 730.80/730.86 c | 6414798 | 254 34661 157137 | 1 217416 22 | 0.000 % | 730.80/730.86 c | 6414898 | 254 34661 157137 | 1 217516 22 | 0.000 % | 730.80/730.86 c | 6415109 | 254 34661 157137 | 1 217727 22 | 0.000 % | 730.80/730.86 c | 6415966 | 254 34661 157137 | 1 218584 22 | 0.000 % | 730.80/730.86 c | 6420671 | 254 34661 157137 | 1 223289 22 | 0.000 % | 730.80/730.86 c | 6438902 | 254 34661 157137 | 1 241520 23 | 0.000 % | 730.80/730.86 c | 6439104 | 254 34661 157137 | 1 241722 23 | 0.000 % | 730.80/730.86 c | 6439206 | 254 34661 157137 | 1 241824 23 | 0.000 % | 730.80/730.86 c | 6439308 | 254 34661 157137 | 1 241926 23 | 0.000 % | 730.80/730.86 c | 6439599 | 254 34661 157137 | 1 242217 23 | 0.000 % | 730.80/730.86 c | 6478427 | 254 34661 157137 | 1 281045 24 | 0.000 % | 730.80/730.86 c | 6478527 | 254 34661 157137 | 1 281145 24 | 0.000 % | 730.80/730.86 c | 6481208 | 254 34661 157137 | 1 283826 24 | 0.000 % | 730.80/730.86 c | 6481535 | 254 34661 157137 | 1 284153 24 | 0.000 % | 730.80/730.86 c | 6484542 | 254 34661 157137 | 1 287160 24 | 0.000 % | 730.80/730.86 c | 6484642 | 254 34661 157137 | 1 287260 24 | 0.000 % | 856.70/856.72 c | 6580898 | 254 34661 157137 | 1 202714 22 | 0.000 % | 856.70/856.72 c | 6591130 | 254 34661 157137 | 1 212946 23 | 0.000 % | 856.70/856.72 c | 6594657 | 254 34661 157137 | 1 216473 23 | 0.000 % | 856.70/856.72 c | 6595133 | 254 34661 157137 | 1 216949 23 | 0.000 % | 856.70/856.72 c | 6595235 | 254 34661 157137 | 1 217051 23 | 0.000 % | 856.70/856.72 c | 6765255 | 254 34661 157137 | 1 203670 22 | 0.000 % | 856.70/856.72 c | 6765355 | 254 34661 157137 | 1 203770 22 | 0.000 % | 856.70/856.72 c | 6856176 | 254 34661 157137 | 1 294591 24 | 0.000 % | 856.70/856.72 c | 6856325 | 254 34661 157137 | 1 294740 24 | 0.000 % | 856.70/856.72 c | 6860453 | 254 34661 157137 | 1 298868 24 | 0.000 % | 856.70/856.72 c | 6860582 | 254 34661 157137 | 1 298997 24 | 0.000 % | 856.70/856.72 c | 6860856 | 254 34661 157137 | 1 299271 24 | 0.000 % | 856.70/856.72 c | 6861005 | 254 34661 157137 | 1 299420 24 | 0.000 % | 856.70/856.72 c | 6861106 | 254 34661 157137 | 1 299521 24 | 0.000 % | 856.70/856.72 c | 6862792 | 254 34661 157137 | 1 301207 24 | 0.000 % | 856.70/856.72 c | 6875702 | 254 34661 157137 | 1 314117 24 | 0.000 % | 856.70/856.72 c | 6912813 | 254 34661 157137 | 1 351228 25 | 0.000 % | 856.70/856.72 c | 6912914 | 254 34661 157137 | 1 351329 25 | 0.000 % | 856.70/856.72 c | 7015402 | 254 34661 157137 | 1 267819 23 | 0.000 % | 856.70/856.72 c | 7025279 | 254 34661 157137 | 1 277696 23 | 0.000 % | 856.70/856.72 c | 7030063 | 254 34661 157137 | 1 282480 23 | 0.000 % | 856.70/856.72 c | 7097149 | 254 34661 157137 | 1 349566 24 | 0.000 % | 856.70/856.72 c | 7097249 | 254 34661 157137 | 1 349666 24 | 0.000 % | 856.70/856.72 c | 7107571 | 254 34661 157137 | 1 359988 24 | 0.000 % | 856.70/856.72 c | 7107671 | 254 34661 157137 | 1 360088 24 | 0.000 % | 856.70/856.72 c | 7107772 | 254 34661 157137 | 1 360189 24 | 0.000 % | 856.70/856.72 c | 7115005 | 254 34661 157137 | 1 367422 24 | 0.000 % | 856.70/856.72 c | 7115106 | 254 34661 157137 | 1 367523 24 | 0.000 % | 856.70/856.72 c | 7115206 | 254 34661 157137 | 1 367623 24 | 0.000 % | 856.70/856.72 c | 7129462 | 254 34661 157137 | 1 193276 21 | 0.000 % | 856.70/856.72 c | 7172674 | 254 34661 157137 | 1 236488 23 | 0.000 % | 856.70/856.72 c | 7174195 | 254 34661 157137 | 1 238009 23 | 0.000 % | 856.70/856.72 c | 7175060 | 254 34661 157137 | 1 238874 23 | 0.000 % | 856.70/856.72 c | 7175160 | 254 34661 157137 | 1 238974 23 | 0.000 % | 856.70/856.72 c | 7175502 | 254 34661 157137 | 1 239316 23 | 0.000 % | 856.70/856.72 c | 7175656 | 254 34661 157137 | 1 239470 23 | 0.000 % | 856.70/856.72 c | 7175757 | 254 34661 157137 | 1 239571 23 | 0.000 % | 856.70/856.72 c | 7176446 | 254 34661 157137 | 1 240260 23 | 0.000 % | 856.70/856.72 c | 7177235 | 254 34661 157137 | 1 241049 23 | 0.000 % | 856.70/856.72 c | 7178212 | 254 34661 157137 | 1 242026 23 | 0.000 % | 856.70/856.72 c | 7205437 | 254 34661 157137 | 1 269251 23 | 0.000 % | 856.70/856.72 c | 7217933 | 254 34661 157137 | 1 281747 24 | 0.000 % | 856.70/856.72 c | 7220161 | 254 34661 157137 | 1 283975 24 | 0.000 % | 856.70/856.72 c | 7220261 | 254 34661 157137 | 1 284075 24 | 0.000 % | 856.70/856.72 c | 7220988 | 254 34661 157137 | 1 284802 24 | 0.000 % | 856.70/856.72 c | 7221090 | 254 34661 157137 | 1 284904 24 | 0.000 % | 856.70/856.72 c | 7221190 | 254 34661 157137 | 1 285004 24 | 0.000 % | 856.70/856.72 c | 7223230 | 254 34661 157137 | 1 287044 24 | 0.000 % | 856.70/856.72 c | 7239252 | 254 34661 157137 | 1 303066 24 | 0.000 % | 856.70/856.72 c | 7318663 | 254 34661 157137 | 1 191276 21 | 0.000 % | 894.60/894.65 c | 7318791 | 254 34661 157137 | 1 191404 21 | 0.000 % | 894.60/894.65 c | 7318892 | 254 34661 157137 | 1 191505 21 | 0.000 % | 894.60/894.65 c | 7358875 | 254 34661 157137 | 1 231488 23 | 0.000 % | 894.60/894.65 c | 7359412 | 254 34661 157137 | 1 232025 23 | 0.000 % | 894.60/894.65 c | 7359906 | 254 34661 157137 | 1 232519 23 | 0.000 % | 894.60/894.65 c | 7364943 | 254 34661 157137 | 1 237556 23 | 0.000 % | 894.60/894.65 c | 7365656 | 254 34661 157137 | 1 238269 23 | 0.000 % | 894.60/894.65 c | 7365756 | 254 34661 157137 | 1 238369 23 | 0.000 % | 894.60/894.65 c | 7366020 | 254 34661 157137 | 1 238633 23 | 0.000 % | 894.60/894.65 c | 7376463 | 254 34661 157137 | 1 249076 23 | 0.000 % | 894.60/894.65 c | 7382735 | 254 34661 157137 | 1 255348 23 | 0.000 % | 894.60/894.65 c | 7382836 | 254 34661 157137 | 1 255449 23 | 0.000 % | 894.60/894.65 c | 7382936 | 254 34661 157137 | 1 255549 23 | 0.000 % | 894.60/894.65 c | 7383038 | 254 34661 157137 | 1 255651 23 | 0.000 % | 894.60/894.65 c | 7383140 | 254 34661 157137 | 1 255753 23 | 0.000 % | 894.60/894.65 c | 7384294 | 254 34661 157137 | 1 256907 23 | 0.000 % | 894.60/894.65 c | 7384394 | 254 34661 157137 | 1 257007 23 | 0.000 % | 894.60/894.65 c | 7384494 | 254 34661 157137 | 1 257107 23 | 0.000 % | 894.60/894.65 c | 7386352 | 254 34661 157137 | 1 258965 23 | 0.000 % | 894.60/894.65 c | 7390985 | 254 34661 157137 | 1 263598 24 | 0.000 % | 894.60/894.65 c | 7397788 | 254 34661 157137 | 1 270401 24 | 0.000 % | 894.60/894.65 c | 7414716 | 254 34661 157137 | 1 287329 24 | 0.000 % | 894.60/894.65 c | 7427423 | 254 34661 157137 | 1 300036 24 | 0.000 % | 894.60/894.65 c | 7432832 | 254 34661 157137 | 1 305445 24 | 0.000 % | 894.60/894.65 c | 7449072 | 254 34661 157137 | 1 321685 25 | 0.000 % | 894.60/894.65 c | 7449945 | 254 34661 157137 | 1 322558 25 | 0.000 % | 894.60/894.65 c | 7451722 | 254 34661 157137 | 1 324335 25 | 0.000 % | 894.60/894.65 c | 7453982 | 254 34661 157137 | 1 326595 25 | 0.000 % | 894.60/894.65 c | 7454360 | 254 34661 157137 | 1 326973 25 | 0.000 % | 894.60/894.65 c | 7454462 | 254 34661 157137 | 1 327075 25 | 0.000 % | 894.60/894.65 c | 7454566 | 254 34661 157137 | 1 327179 25 | 0.000 % | 894.60/894.65 c | 7456235 | 254 34661 157137 | 1 328848 25 | 0.000 % | 894.60/894.65 c | 7456393 | 254 34661 157137 | 1 329006 25 | 0.000 % | 894.60/894.65 c | 7456493 | 254 34661 157137 | 1 329106 25 | 0.000 % | 894.60/894.65 c | 7456877 | 254 34661 157137 | 1 329490 25 | 0.000 % | 894.60/894.65 c | 7457605 | 254 34661 157137 | 1 330218 25 | 0.000 % | 894.60/894.65 c | 7457705 | 254 34661 157137 | 1 330318 25 | 0.000 % | 894.60/894.65 c | 7457912 | 254 34661 157137 | 1 330525 25 | 0.000 % | 894.60/894.65 c | 7458097 | 254 34661 157137 | 1 330710 25 | 0.000 % | 894.60/894.65 c | 7460866 | 254 34661 157137 | 1 333479 25 | 0.000 % | 894.60/894.65 c | 7461404 | 254 34661 157137 | 1 334017 25 | 0.000 % | 894.60/894.65 c | 7471166 | 254 34661 157137 | 1 343779 25 | 0.000 % | 894.60/894.65 c | 7478833 | 254 34661 157137 | 1 351446 25 | 0.000 % | 894.60/894.65 c | 7491774 | 254 34661 157137 | 1 364387 25 | 0.000 % | 894.60/894.65 c | 7491874 | 254 34661 157137 | 1 364487 25 | 0.000 % | 894.60/894.65 c | 7571687 | 254 34661 157137 | 1 250503 23 | 0.000 % | 894.60/894.65 c | 7576175 | 254 34661 157137 | 1 254991 23 | 0.000 % | 894.60/894.65 c | 7576511 | 254 34661 157137 | 1 255327 23 | 0.000 % | 894.60/894.65 c | 7579087 | 254 34661 157137 | 1 257903 23 | 0.000 % | 894.60/894.65 c | 7584609 | 254 34661 157137 | 1 263425 23 | 0.000 % | 1030.31/1030.37 c | 7616770 | 254 34661 157137 | 1 295586 23 | 0.000 % | 1030.31/1030.37 c | 7636227 | 254 34661 157137 | 1 315043 24 | 0.000 % | 1030.31/1030.37 c | 7636331 | 254 34661 157137 | 1 315147 24 | 0.000 % | 1030.31/1030.37 c | 7651354 | 254 34661 157137 | 1 330170 24 | 0.000 % | 1030.31/1030.37 c | 7651728 | 254 34661 157137 | 1 330544 24 | 0.000 % | 1030.31/1030.37 c | 7699121 | 254 34661 157137 | 1 377937 24 | 0.000 % | 1030.31/1030.37 c | 7708577 | 254 34661 157137 | 1 387393 24 | 0.000 % | 1030.31/1030.37 c | 7709083 | 254 34661 157137 | 1 387899 24 | 0.000 % | 1030.31/1030.37 c | 7740949 | 254 34661 157137 | 1 223365 22 | 0.000 % | 1030.31/1030.37 c | 7782281 | 254 34661 157137 | 1 264697 23 | 0.000 % | 1030.31/1030.37 c | 7828493 | 254 34661 157137 | 1 310909 24 | 0.000 % | 1030.31/1030.37 c | 7828593 | 254 34661 157137 | 1 311009 24 | 0.000 % | 1030.31/1030.37 c | 7834857 | 254 34661 157137 | 1 317273 24 | 0.000 % | 1030.31/1030.37 c | 7836809 | 254 34661 157137 | 1 319225 24 | 0.000 % | 1030.31/1030.37 c | 7837556 | 254 34661 157137 | 1 319972 24 | 0.000 % | 1030.31/1030.37 c | 7838484 | 254 34661 157137 | 1 320900 24 | 0.000 % | 1030.31/1030.37 c | 7847534 | 254 34661 157137 | 1 329950 24 | 0.000 % | 1030.31/1030.37 c | 7891844 | 254 34661 157137 | 1 374260 25 | 0.000 % | 1030.31/1030.37 c | 7891944 | 254 34661 157137 | 1 374360 25 | 0.000 % | 1030.31/1030.37 c | 7906484 | 254 34661 157137 | 1 388900 25 | 0.000 % | 1030.31/1030.37 c | 7909869 | 254 34661 157137 | 1 392285 25 | 0.000 % | 1030.31/1030.37 c | 7914961 | 254 34661 157137 | 1 397377 25 | 0.000 % | 1030.31/1030.37 c | 7922584 | 254 34661 157137 | 1 205994 21 | 0.000 % | 1030.31/1030.37 c | 7922773 | 254 34661 157137 | 1 206183 21 | 0.000 % | 1030.31/1030.37 c | 7922873 | 254 34661 157137 | 1 206283 21 | 0.000 % | 1030.31/1030.37 c | 7922973 | 254 34661 157137 | 1 206383 21 | 0.000 % | 1030.31/1030.37 c | 7926542 | 254 34661 157137 | 1 209952 22 | 0.000 % | 1030.31/1030.37 c | 7934337 | 254 34661 157137 | 1 217747 22 | 0.000 % | 1030.31/1030.37 c | 7949554 | 254 34661 157137 | 1 232964 23 | 0.000 % | 1030.31/1030.37 c | 7959499 | 254 34661 157137 | 1 242909 23 | 0.000 % | 1030.31/1030.37 c | 8025801 | 254 34661 157137 | 1 309211 24 | 0.000 % | 1030.31/1030.37 c | 8100614 | 254 34661 157137 | 1 384024 24 | 0.000 % | 1030.31/1030.37 c | 8100731 | 254 34661 157137 | 1 384141 24 | 0.000 % | 1030.31/1030.37 c | 8100882 | 254 34661 157137 | 1 384292 25 | 0.000 % | 1030.31/1030.37 c | 8297016 | 254 34661 157137 | 1 378834 24 | 0.000 % | 1030.31/1030.37 c | 8314544 | 254 34661 157137 | 1 396362 24 | 0.000 % | 1030.31/1030.37 c | 8316094 | 254 34661 157137 | 1 397912 24 | 0.000 % | 1030.31/1030.37 c | 8332474 | 254 34661 157137 | 1 210095 22 | 0.000 % | 1030.31/1030.37 c | 8342824 | 254 34661 157137 | 1 220445 22 | 0.000 % | 1030.31/1030.37 c | 8342925 | 254 34661 157137 | 1 220546 22 | 0.000 % | 1030.31/1030.37 c | 8345093 | 254 34661 157137 | 1 222714 22 | 0.000 % | 1030.31/1030.37 c | 8345395 | 254 34661 157137 | 1 223016 22 | 0.000 % | 1030.31/1030.37 c | 8345586 | 254 34661 157137 | 1 223207 22 | 0.000 % | 1030.31/1030.37 c | 8381644 | 254 34661 157137 | 1 259265 23 | 0.000 % | 1030.31/1030.37 c | 8381744 | 254 34661 157137 | 1 259365 23 | 0.000 % | 1030.31/1030.37 c | 8381847 | 254 34661 157137 | 1 259468 23 | 0.000 % | 1030.31/1030.37 c | 8383613 | 254 34661 157137 | 1 261234 23 | 0.000 % | 1030.31/1030.37 c | 8383713 | 254 34661 157137 | 1 261334 23 | 0.000 % | 1030.31/1030.37 c | 8457092 | 254 34661 157137 | 1 334713 24 | 0.000 % | 1030.31/1030.37 c | 8459052 | 254 34661 157137 | 1 336673 24 | 0.000 % | 1280.61/1280.66 c | 8467248 | 254 34661 157137 | 1 344869 24 | 0.000 % | 1280.61/1280.66 c | 8467352 | 254 34661 157137 | 1 344973 24 | 0.000 % | 1280.61/1280.66 c | 8467915 | 254 34661 157137 | 1 345536 24 | 0.000 % | 1280.61/1280.66 c | 8482288 | 254 34661 157137 | 1 359909 25 | 0.000 % | 1280.61/1280.66 c | 8482405 | 254 34661 157137 | 1 360026 25 | 0.000 % | 1280.61/1280.66 c | 8484022 | 254 34661 157137 | 1 361643 25 | 0.000 % | 1280.61/1280.66 c | 8766965 | 254 34661 157137 | 1 228385 21 | 0.000 % | 1280.61/1280.66 c | 8830094 | 254 34661 157137 | 1 291514 22 | 0.000 % | 1280.61/1280.66 c | 8830194 | 254 34661 157137 | 1 291614 22 | 0.000 % | 1280.61/1280.66 c | 8843377 | 254 34661 157137 | 1 304797 22 | 0.000 % | 1280.61/1280.66 c | 8869233 | 254 34661 157137 | 1 330653 23 | 0.000 % | 1280.61/1280.66 c | 8889767 | 254 34661 157137 | 1 351187 23 | 0.000 % | 1280.61/1280.66 c | 8889867 | 254 34661 157137 | 1 351287 23 | 0.000 % | 1280.61/1280.66 c | 8892958 | 254 34661 157137 | 1 354378 23 | 0.000 % | 1280.61/1280.66 c | 8893058 | 254 34661 157137 | 1 354478 23 | 0.000 % | 1280.61/1280.66 c | 8907464 | 254 34661 157137 | 1 368884 24 | 0.000 % | 1280.61/1280.66 c | 8907642 | 254 34661 157137 | 1 369062 24 | 0.000 % | 1280.61/1280.66 c | 8942902 | 254 34661 157137 | 1 404322 24 | 0.000 % | 1280.61/1280.66 c | 8994115 | 254 34661 157137 | 1 243538 22 | 0.000 % | 1280.61/1280.66 c | 9175926 | 254 34661 157137 | 1 425349 24 | 0.000 % | 1280.61/1280.66 c | 9212161 | 254 34661 157137 | 1 246984 22 | 0.000 % | 1280.61/1280.66 c | 9266973 | 254 34661 157137 | 1 301796 22 | 0.000 % | 1280.61/1280.66 c | 9279092 | 254 34661 157137 | 1 313915 23 | 0.000 % | 1280.61/1280.66 c | 9289066 | 254 34661 157137 | 1 323889 23 | 0.000 % | 1280.61/1280.66 c | 9340459 | 254 34661 157137 | 1 375282 24 | 0.000 % | 1280.61/1280.66 c | 9340571 | 254 34661 157137 | 1 375394 24 | 0.000 % | 1280.61/1280.66 c | 9344743 | 254 34661 157137 | 1 379566 24 | 0.000 % | 1280.61/1280.66 c | 9378787 | 254 34661 157137 | 1 413610 24 | 0.000 % | 1280.61/1280.66 c | 9381582 | 254 34661 157137 | 1 416405 24 | 0.000 % | 1280.61/1280.66 c | 9382248 | 254 34661 157137 | 1 417071 24 | 0.000 % | 1280.61/1280.66 c | 9383639 | 254 34661 157137 | 1 418462 24 | 0.000 % | 1280.61/1280.66 c | 9562670 | 254 34661 157137 | 1 380290 23 | 0.000 % | 1280.61/1280.66 c | 9566686 | 254 34661 157137 | 1 384306 23 | 0.000 % | 1280.61/1280.66 c | 9568112 | 254 34661 157137 | 1 385732 23 | 0.000 % | 1280.61/1280.66 c | 9568212 | 254 34661 157137 | 1 385832 23 | 0.000 % | 1280.61/1280.66 c | 9571791 | 254 34661 157137 | 1 389411 24 | 0.000 % | 1280.61/1280.66 c | 9657675 | 254 34661 157137 | 1 255496 22 | 0.000 % | 1280.61/1280.66 c | 9658229 | 254 34661 157137 | 1 256050 22 | 0.000 % | 1280.61/1280.66 c | 9728732 | 254 34661 157137 | 1 326553 23 | 0.000 % | 1280.61/1280.66 c | 9728846 | 254 34661 157137 | 1 326667 23 | 0.000 % | 1280.61/1280.66 c | 9734073 | 254 34661 157137 | 1 331894 23 | 0.000 % | 1280.61/1280.66 c | 9857439 | 254 34661 157137 | 1 232855 21 | 0.000 % | 1280.61/1280.66 c | 9953403 | 254 34661 157137 | 1 328819 24 | 0.000 % | 1280.61/1280.66 c | 9956151 | 254 34661 157137 | 1 331567 24 | 0.000 % | 1280.61/1280.66 c | 9958522 | 254 34661 157137 | 1 333938 24 | 0.000 % | 1280.61/1280.66 c | 9959254 | 254 34661 157137 | 1 334670 24 | 0.000 % | 1280.61/1280.66 c | 9959354 | 254 34661 157137 | 1 334770 24 | 0.000 % | 1280.61/1280.66 c | 9972082 | 254 34661 157137 | 1 347498 24 | 0.000 % | 1280.61/1280.66 c | 9972365 | 254 34661 157137 | 1 347781 24 | 0.000 % | 1280.61/1280.66 c | 9975154 | 254 34661 157137 |
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-3250514-1303515732/watcher-3250514-1303515732 -o /tmp/evaluation-result-3250514-1303515732/solver-3250514-1303515732 -C 2400 -W 1300 -M 7680 glucose.sh HOME/instance-3250514-1303515732.cnf running on 2 cores: 0,2 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1300 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 7864320 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 7915520 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 4.00 4.00 3.91 5/192 2921 /proc/meminfo: memFree=15423940/32950928 swapFree=67111528/67111528 [pid=2921] ppid=2919 vsize=8704 CPUtime=0 cores=0,2 /proc/2921/stat : 2921 (glucose.sh) S 2919 2921 925 0 -1 4202496 333 0 0 0 0 0 0 0 25 0 1 0 463171955 8912896 252 33554432000 4194304 4922060 140733902527680 18446744073709551615 268272508037 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/2921/statm: 2176 252 211 178 0 69 0 [startup+0.0516419 s] /proc/loadavg: 4.00 4.00 3.91 5/192 2921 /proc/meminfo: memFree=15423940/32950928 swapFree=67111528/67111528 [pid=2921] ppid=2919 vsize=8704 CPUtime=0.03 cores=0,2 /proc/2921/stat : 2921 (glucose.sh) S 2919 2921 925 0 -1 4202496 360 746 0 0 0 0 3 0 25 0 1 0 463171955 8912896 254 33554432000 4194304 4922060 140733902527680 18446744073709551615 268272508037 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/2921/statm: 2176 254 211 178 0 69 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 8704 [startup+0.100671 s] /proc/loadavg: 4.00 4.00 3.91 5/192 2921 /proc/meminfo: memFree=15423940/32950928 swapFree=67111528/67111528 [pid=2921] ppid=2919 vsize=8704 CPUtime=0.03 cores=0,2 /proc/2921/stat : 2921 (glucose.sh) S 2919 2921 925 0 -1 4202496 360 746 0 0 0 0 3 0 25 0 1 0 463171955 8912896 254 33554432000 4194304 4922060 140733902527680 18446744073709551615 268272508037 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/2921/statm: 2176 254 211 178 0 69 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 8704 [startup+0.300575 s] /proc/loadavg: 4.00 4.00 3.91 5/192 2921 /proc/meminfo: memFree=15423940/32950928 swapFree=67111528/67111528 [pid=2921] ppid=2919 vsize=8704 CPUtime=0.03 cores=0,2 /proc/2921/stat : 2921 (glucose.sh) S 2919 2921 925 0 -1 4202496 360 746 0 0 0 0 3 0 25 0 1 0 463171955 8912896 254 33554432000 4194304 4922060 140733902527680 18446744073709551615 268272508037 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/2921/statm: 2176 254 211 178 0 69 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 8704 [startup+0.700498 s] /proc/loadavg: 4.00 4.00 3.91 5/192 2921 /proc/meminfo: memFree=15423940/32950928 swapFree=67111528/67111528 [pid=2921] ppid=2919 vsize=8704 CPUtime=0.03 cores=0,2 /proc/2921/stat : 2921 (glucose.sh) S 2919 2921 925 0 -1 4202496 360 746 0 0 0 0 3 0 25 0 1 0 463171955 8912896 254 33554432000 4194304 4922060 140733902527680 18446744073709551615 268272508037 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/2921/statm: 2176 254 211 178 0 69 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 8704 [startup+1.5003 s] /proc/loadavg: 4.00 4.00 3.91 5/194 2926 /proc/meminfo: memFree=15416492/32950928 swapFree=67111528/67111528 [pid=2921] ppid=2919 vsize=8704 CPUtime=0.03 cores=0,2 /proc/2921/stat : 2921 (glucose.sh) S 2919 2921 925 0 -1 4202496 360 746 0 0 0 0 3 0 25 0 1 0 463171955 8912896 254 33554432000 4194304 4922060 140733902527680 18446744073709551615 268272508037 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/2921/statm: 2176 254 211 178 0 69 0 [pid=2926] ppid=2921 vsize=24184 CPUtime=1.44 cores=0,2 /proc/2926/stat : 2926 (glucose_static) R 2921 2921 925 0 -1 4202496 3874 0 0 0 144 0 0 0 25 0 1 0 463171959 24764416 2498 33554432000 4194304 4260849 140737027867072 18446744073709551615 4224867 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/2926/statm: 6046 2498 248 17 0 2687 0 Current children cumulated CPU time (s) 1.47 Current children cumulated vsize (KiB) 32888 [startup+3.10108 s] /proc/loadavg: 4.00 4.00 3.91 5/194 2926 /proc/meminfo: memFree=15408432/32950928 swapFree=67111528/67111528 [pid=2921] ppid=2919 vsize=8704 CPUtime=0.03 cores=0,2 /proc/2921/stat : 2921 (glucose.sh) S 2919 2921 925 0 -1 4202496 360 746 0 0 0 0 3 0 25 0 1 0 463171955 8912896 254 33554432000 4194304 4922060 140733902527680 18446744073709551615 268272508037 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/2921/statm: 2176 254 211 178 0 69 0 [pid=2926] ppid=2921 vsize=26860 CPUtime=3.05 cores=0,2 /proc/2926/stat : 2926 (glucose_static) R 2921 2921 925 0 -1 4202496 4894 0 0 0 304 1 0 0 25 0 1 0 463171959 27504640 3457 33554432000 4194304 4260849 140737027867072 18446744073709551615 4224867 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/2926/statm: 6715 3457 248 17 0 3356 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 35564 [startup+6.3005 s] /proc/loadavg: 4.00 4.00 3.91 5/194 2926 /proc/meminfo: memFree=15406572/32950928 swapFree=67111528/67111528 [pid=2921] ppid=2919 vsize=8704 CPUtime=0.03 cores=0,2 /proc/2921/stat : 2921 (glucose.sh) S 2919 2921 925 0 -1 4202496 360 746 0 0 0 0 3 0 25 0 1 0 463171955 8912896 254 33554432000 4194304 4922060 140733902527680 18446744073709551615 268272508037 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/2921/statm: 2176 254 211 178 0 69 0 [pid=2926] ppid=2921 vsize=31256 CPUtime=6.25 cores=0,2 /proc/2926/stat : 2926 (glucose_static) R 2921 2921 925 0 -1 4202496 6072 0 0 0 624 1 0 0 25 0 1 0 463171959 32006144 4576 33554432000 4194304 4260849 140737027867072 18446744073709551615 4224674 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/2926/statm: 7814 4576 248 17 0 4455 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 39960 [startup+12.7004 s] /proc/loadavg: 4.00 4.00 3.91 5/194 2927 /proc/meminfo: memFree=15398108/32950928 swapFree=67111528/67111528 [pid=2921] ppid=2919 vsize=8704 CPUtime=0.03 cores=0,2 /proc/2921/stat : 2921 (glucose.sh) S 2919 2921 925 0 -1 4202496 360 746 0 0 0 0 3 0 25 0 1 0 463171955 8912896 254 33554432000 4194304 4922060 140733902527680 18446744073709551615 268272508037 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/2921/statm: 2176 254 211 178 0 69 0 [pid=2926] ppid=2921 vsize=45728 CPUtime=12.65 cores=0,2 /proc/2926/stat : 2926 (glucose_static) R 2921 2921 925 0 -1 4202496 8755 0 0 0 1264 1 0 0 25 0 1 0 463171959 46825472 5453 33554432000 4194304 4260849 140737027867072 18446744073709551615 4209346 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/2926/statm: 11432 5453 248 17 0 8073 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 54432 [startup+25.5011 s] /proc/loadavg: 4.07 4.02 3.92 5/194 2927 /proc/meminfo: memFree=15389428/32950928 swapFree=67111528/67111528 [pid=2921] ppid=2919 vsize=8704 CPUtime=0.03 cores=0,2 /proc/2921/stat : 2921 (glucose.sh) S 2919 2921 925 0 -1 4202496 360 746 0 0 0 0 3 0 25 0 1 0 463171955 8912896 254 33554432000 4194304 4922060 140733902527680 18446744073709551615 268272508037 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/2921/statm: 2176 254 211 178 0 69 0 [pid=2926] ppid=2921 vsize=45728 CPUtime=25.45 cores=0,2 /proc/2926/stat : 2926 (glucose_static) R 2921 2921 925 0 -1 4202496 11312 0 0 0 2543 2 0 0 25 0 1 0 463171959 46825472 7923 33554432000 4194304 4260849 140737027867072 18446744073709551615 4224665 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/2926/statm: 11432 7923 248 17 0 8073 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 54432 [startup+51.1005 s] /proc/loadavg: 4.05 4.01 3.92 5/194 2928 /proc/meminfo: memFree=15410048/32950928 swapFree=67111528/67111528 [pid=2921] ppid=2919 vsize=8704 CPUtime=0.03 cores=0,2 /proc/2921/stat : 2921 (glucose.sh) S 2919 2921 925 0 -1 4202496 360 746 0 0 0 0 3 0 25 0 1 0 463171955 8912896 254 33554432000 4194304 4922060 140733902527680 18446744073709551615 268272508037 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/2921/statm: 2176 254 211 178 0 69 0 [pid=2926] ppid=2921 vsize=64596 CPUtime=51.05 cores=0,2 /proc/2926/stat : 2926 (glucose_static) R 2921 2921 925 0 -1 4202496 18286 0 0 0 5102 3 0 0 25 0 1 0 463171959 66146304 11477 33554432000 4194304 4260849 140737027867072 18446744073709551615 4225060 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/2926/statm: 16149 11477 248 17 0 12790 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 73300 [startup+102.307 s] /proc/loadavg: 4.02 4.01 3.92 5/194 2929 /proc/meminfo: memFree=15370604/32950928 swapFree=67111528/67111528 [pid=2921] ppid=2919 vsize=8704 CPUtime=0.03 cores=0,2 /proc/2921/stat : 2921 (glucose.sh) S 2919 2921 925 0 -1 4202496 360 746 0 0 0 0 3 0 25 0 1 0 463171955 8912896 254 33554432000 4194304 4922060 140733902527680 18446744073709551615 268272508037 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/2921/statm: 2176 254 211 178 0 69 0 [pid=2926] ppid=2921 vsize=64596 CPUtime=102.25 cores=0,2 /proc/2926/stat : 2926 (glucose_static) R 2921 2921 925 0 -1 4202496 19504 0 0 0 10222 3 0 0 25 0 1 0 463171959 66146304 12664 33554432000 4194304 4260849 140737027867072 18446744073709551615 4224632 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/2926/statm: 16149 12664 248 17 0 12790 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 73300 [startup+162.301 s] /proc/loadavg: 4.00 4.00 3.92 5/194 2965 /proc/meminfo: memFree=15428924/32950928 swapFree=67111528/67111528 [pid=2921] ppid=2919 vsize=8704 CPUtime=0.03 cores=0,2 /proc/2921/stat : 2921 (glucose.sh) S 2919 2921 925 0 -1 4202496 360 746 0 0 0 0 3 0 25 0 1 0 463171955 8912896 254 33554432000 4194304 4922060 140733902527680 18446744073709551615 268272508037 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/2921/statm: 2176 254 211 178 0 69 0 [pid=2926] ppid=2921 vsize=94988 CPUtime=162.25 cores=0,2 /proc/2926/stat : 2926 (glucose_static) R 2921 2921 925 0 -1 4202496 29808 0 0 0 16220 5 0 0 25 0 1 0 463171959 97267712 17962 33554432000 4194304 4260849 140737027867072 18446744073709551615 4224632 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/2926/statm: 23747 17962 248 17 0 20388 0 Current children cumulated CPU time (s) 162.28 Current children cumulated vsize (KiB) 103692 [startup+222.301 s] /proc/loadavg: 4.00 4.00 3.92 5/194 2966 /proc/meminfo: memFree=15398792/32950928 swapFree=67111528/67111528 [pid=2921] ppid=2919 vsize=8704 CPUtime=0.03 cores=0,2 /proc/2921/stat : 2921 (glucose.sh) S 2919 2921 925 0 -1 4202496 360 746 0 0 0 0 3 0 25 0 1 0 463171955 8912896 254 33554432000 4194304 4922060 140733902527680 18446744073709551615 268272508037 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/2921/statm: 2176 254 211 178 0 69 0 [pid=2926] ppid=2921 vsize=94988 CPUtime=222.26 cores=0,2 /proc/2926/stat : 2926 (glucose_static) R 2921 2921 925 0 -1 4202496 30863 0 0 0 22220 6 0 0 25 0 1 0 463171959 97267712 18989 33554432000 4194304 4260849 140737027867072 18446744073709551615 4224845 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/2926/statm: 23747 18989 248 17 0 20388 0 Current children cumulated CPU time (s) 222.29 Current children cumulated vsize (KiB) 103692 [startup+282.3 s] /proc/loadavg: 4.00 4.00 3.92 5/194 2968 /proc/meminfo: memFree=15360088/32950928 swapFree=67111528/67111528 [pid=2921] ppid=2919 vsize=8704 CPUtime=0.03 cores=0,2 /proc/2921/stat : 2921 (glucose.sh) S 2919 2921 925 0 -1 4202496 360 746 0 0 0 0 3 0 25 0 1 0 463171955 8912896 254 33554432000 4194304 4922060 140733902527680 18446744073709551615 268272508037 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/2921/statm: 2176 254 211 178 0 69 0 [pid=2926] ppid=2921 vsize=94988 CPUtime=282.26 cores=0,2 /proc/2926/stat : 2926 (glucose_static) R 2921 2921 925 0 -1 4202496 31656 0 0 0 28220 6 0 0 25 0 1 0 463171959 97267712 19754 33554432000 4194304 4260849 140737027867072 18446744073709551615 4224632 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/2926/statm: 23747 19754 248 17 0 20388 0 Current children cumulated CPU time (s) 282.29 Current children cumulated vsize (KiB) 103692 [startup+342.301 s] /proc/loadavg: 4.00 4.00 3.92 5/194 2970 /proc/meminfo: memFree=15377180/32950928 swapFree=67111528/67111528 [pid=2921] ppid=2919 vsize=8704 CPUtime=0.03 cores=0,2 /proc/2921/stat : 2921 (glucose.sh) S 2919 2921 925 0 -1 4202496 360 746 0 0 0 0 3 0 25 0 1 0 463171955 8912896 254 33554432000 4194304 4922060 140733902527680 18446744073709551615 268272508037 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/2921/statm: 2176 254 211 178 0 69 0 [pid=2926] ppid=2921 vsize=97628 CPUtime=342.26 cores=0,2 /proc/2926/stat : 2926 (glucose_static) R 2921 2921 925 0 -1 4202496 32777 0 0 0 34220 6 0 0 25 0 1 0 463171959 99971072 20842 33554432000 4194304 4260849 140737027867072 18446744073709551615 4224812 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/2926/statm: 24407 20842 248 17 0 21048 0 Current children cumulated CPU time (s) 342.29 Current children cumulated vsize (KiB) 106332 [startup+402.301 s] /proc/loadavg: 4.04 4.01 3.92 5/194 2971 /proc/meminfo: memFree=15328552/32950928 swapFree=67111528/67111528 [pid=2921] ppid=2919 vsize=8704 CPUtime=0.03 cores=0,2 ################ # More data... # ################ /proc/2926/statm: 27574 24339 248 17 0 24215 0 Current children cumulated CPU time (s) 582.3 Current children cumulated vsize (KiB) 119000 [startup+642.301 s] /proc/loadavg: 4.00 4.00 3.92 5/194 2978 /proc/meminfo: memFree=15271652/32950928 swapFree=67111528/67111528 [pid=2921] ppid=2919 vsize=8704 CPUtime=0.03 cores=0,2 /proc/2921/stat : 2921 (glucose.sh) S 2919 2921 925 0 -1 4202496 360 746 0 0 0 0 3 0 25 0 1 0 463171955 8912896 254 33554432000 4194304 4922060 140733902527680 18446744073709551615 268272508037 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/2921/statm: 2176 254 211 178 0 69 0 [pid=2926] ppid=2921 vsize=110296 CPUtime=642.27 cores=0,2 /proc/2926/stat : 2926 (glucose_static) R 2921 2921 925 0 -1 4202496 157639 0 0 0 64201 26 0 0 25 0 1 0 463171959 112943104 24339 33554432000 4194304 4260849 140737027867072 18446744073709551615 4224845 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/2926/statm: 27574 24339 248 17 0 24215 0 Current children cumulated CPU time (s) 642.3 Current children cumulated vsize (KiB) 119000 [startup+702.301 s] /proc/loadavg: 3.02 3.75 3.84 3/180 3016 /proc/meminfo: memFree=15560436/32950928 swapFree=67111528/67111528 [pid=2921] ppid=2919 vsize=8704 CPUtime=0.03 cores=0,2 /proc/2921/stat : 2921 (glucose.sh) S 2919 2921 925 0 -1 4202496 360 746 0 0 0 0 3 0 25 0 1 0 463171955 8912896 254 33554432000 4194304 4922060 140733902527680 18446744073709551615 268272508037 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/2921/statm: 2176 254 211 178 0 69 0 [pid=2926] ppid=2921 vsize=110296 CPUtime=702.26 cores=0,2 /proc/2926/stat : 2926 (glucose_static) R 2921 2921 925 0 -1 4202496 176913 0 0 0 70196 30 0 0 25 0 1 0 463171959 112943104 24339 33554432000 4194304 4260849 140737027867072 18446744073709551615 4224632 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/2926/statm: 27574 24339 248 17 0 24215 0 Current children cumulated CPU time (s) 702.29 Current children cumulated vsize (KiB) 119000 [startup+762.307 s] /proc/loadavg: 2.37 3.43 3.72 3/180 3018 /proc/meminfo: memFree=15490728/32950928 swapFree=67111528/67111528 [pid=2921] ppid=2919 vsize=8704 CPUtime=0.03 cores=0,2 /proc/2921/stat : 2921 (glucose.sh) S 2919 2921 925 0 -1 4202496 360 746 0 0 0 0 3 0 25 0 1 0 463171955 8912896 254 33554432000 4194304 4922060 140733902527680 18446744073709551615 268272508037 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/2921/statm: 2176 254 211 178 0 69 0 [pid=2926] ppid=2921 vsize=159616 CPUtime=762.28 cores=0,2 /proc/2926/stat : 2926 (glucose_static) R 2921 2921 925 0 -1 4202496 205634 0 0 0 76192 36 0 0 25 0 1 0 463171959 163446784 33049 33554432000 4194304 4260849 140737027867072 18446744073709551615 4224864 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/2926/statm: 39904 33049 248 17 0 36545 0 Current children cumulated CPU time (s) 762.31 Current children cumulated vsize (KiB) 168320 [startup+822.301 s] /proc/loadavg: 2.14 3.16 3.61 3/180 3019 /proc/meminfo: memFree=15523568/32950928 swapFree=67111528/67111528 [pid=2921] ppid=2919 vsize=8704 CPUtime=0.03 cores=0,2 /proc/2921/stat : 2921 (glucose.sh) S 2919 2921 925 0 -1 4202496 360 746 0 0 0 0 3 0 25 0 1 0 463171955 8912896 254 33554432000 4194304 4922060 140733902527680 18446744073709551615 268272508037 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/2921/statm: 2176 254 211 178 0 69 0 [pid=2926] ppid=2921 vsize=159616 CPUtime=822.27 cores=0,2 /proc/2926/stat : 2926 (glucose_static) R 2921 2921 925 0 -1 4202496 226876 0 0 0 82186 41 0 0 25 0 1 0 463171959 163446784 33758 33554432000 4194304 4260849 140737027867072 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/2926/statm: 39904 33758 248 17 0 36545 0 Current children cumulated CPU time (s) 822.3 Current children cumulated vsize (KiB) 168320 [startup+882.3 s] /proc/loadavg: 2.05 2.95 3.51 3/180 3021 /proc/meminfo: memFree=15484336/32950928 swapFree=67111528/67111528 [pid=2921] ppid=2919 vsize=8704 CPUtime=0.03 cores=0,2 /proc/2921/stat : 2921 (glucose.sh) S 2919 2921 925 0 -1 4202496 360 746 0 0 0 0 3 0 25 0 1 0 463171955 8912896 254 33554432000 4194304 4922060 140733902527680 18446744073709551615 268272508037 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/2921/statm: 2176 254 211 178 0 69 0 [pid=2926] ppid=2921 vsize=159616 CPUtime=882.27 cores=0,2 /proc/2926/stat : 2926 (glucose_static) R 2921 2921 925 0 -1 4202496 248974 0 0 0 88181 46 0 0 25 0 1 0 463171959 163446784 34797 33554432000 4194304 4260849 140737027867072 18446744073709551615 4224632 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/2926/statm: 39904 34797 248 17 0 36545 0 Current children cumulated CPU time (s) 882.3 Current children cumulated vsize (KiB) 168320 [startup+942.301 s] /proc/loadavg: 2.02 2.77 3.41 3/180 3023 /proc/meminfo: memFree=15481088/32950928 swapFree=67111528/67111528 [pid=2921] ppid=2919 vsize=8704 CPUtime=0.03 cores=0,2 /proc/2921/stat : 2921 (glucose.sh) S 2919 2921 925 0 -1 4202496 360 746 0 0 0 0 3 0 25 0 1 0 463171955 8912896 254 33554432000 4194304 4922060 140733902527680 18446744073709551615 268272508037 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/2921/statm: 2176 254 211 178 0 69 0 [pid=2926] ppid=2921 vsize=159616 CPUtime=942.27 cores=0,2 /proc/2926/stat : 2926 (glucose_static) R 2921 2921 925 0 -1 4202496 270837 0 0 0 94176 51 0 0 25 0 1 0 463171959 163446784 34696 33554432000 4194304 4260849 140737027867072 18446744073709551615 4225146 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/2926/statm: 39904 34696 248 17 0 36545 0 Current children cumulated CPU time (s) 942.3 Current children cumulated vsize (KiB) 168320 [startup+1002.3 s] /proc/loadavg: 2.00 2.63 3.32 3/180 3024 /proc/meminfo: memFree=15479092/32950928 swapFree=67111528/67111528 [pid=2921] ppid=2919 vsize=8704 CPUtime=0.03 cores=0,2 /proc/2921/stat : 2921 (glucose.sh) S 2919 2921 925 0 -1 4202496 360 746 0 0 0 0 3 0 25 0 1 0 463171955 8912896 254 33554432000 4194304 4922060 140733902527680 18446744073709551615 268272508037 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/2921/statm: 2176 254 211 178 0 69 0 [pid=2926] ppid=2921 vsize=159616 CPUtime=1002.28 cores=0,2 /proc/2926/stat : 2926 (glucose_static) R 2921 2921 925 0 -1 4202496 292699 0 0 0 100171 57 0 0 25 0 1 0 463171959 163446784 34161 33554432000 4194304 4260849 140737027867072 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/2926/statm: 39904 34161 248 17 0 36545 0 Current children cumulated CPU time (s) 1002.31 Current children cumulated vsize (KiB) 168320 [startup+1062.3 s] /proc/loadavg: 2.00 2.51 3.23 3/180 3026 /proc/meminfo: memFree=15483668/32950928 swapFree=67111528/67111528 [pid=2921] ppid=2919 vsize=8704 CPUtime=0.03 cores=0,2 /proc/2921/stat : 2921 (glucose.sh) S 2919 2921 925 0 -1 4202496 360 746 0 0 0 0 3 0 25 0 1 0 463171955 8912896 254 33554432000 4194304 4922060 140733902527680 18446744073709551615 268272508037 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/2921/statm: 2176 254 211 178 0 69 0 [pid=2926] ppid=2921 vsize=159616 CPUtime=1062.28 cores=0,2 /proc/2926/stat : 2926 (glucose_static) R 2921 2921 925 0 -1 4202496 314406 0 0 0 106167 61 0 0 25 0 1 0 463171959 163446784 32832 33554432000 4194304 4260849 140737027867072 18446744073709551615 4225409 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/2926/statm: 39904 32832 248 17 0 36545 0 Current children cumulated CPU time (s) 1062.31 Current children cumulated vsize (KiB) 168320 [startup+1122.3 s] /proc/loadavg: 2.00 2.42 3.15 3/180 3027 /proc/meminfo: memFree=15519460/32950928 swapFree=67111528/67111528 [pid=2921] ppid=2919 vsize=8704 CPUtime=0.03 cores=0,2 /proc/2921/stat : 2921 (glucose.sh) S 2919 2921 925 0 -1 4202496 360 746 0 0 0 0 3 0 25 0 1 0 463171955 8912896 254 33554432000 4194304 4922060 140733902527680 18446744073709551615 268272508037 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/2921/statm: 2176 254 211 178 0 69 0 [pid=2926] ppid=2921 vsize=110508 CPUtime=1122.28 cores=0,2 /proc/2926/stat : 2926 (glucose_static) R 2921 2921 925 0 -1 4202496 328525 0 0 0 112162 66 0 0 25 0 1 0 463171959 113160192 24401 33554432000 4194304 4260849 140737027867072 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/2926/statm: 27627 24401 248 17 0 24268 0 Current children cumulated CPU time (s) 1122.31 Current children cumulated vsize (KiB) 119212 [startup+1182.3 s] /proc/loadavg: 2.00 2.34 3.08 3/180 3038 /proc/meminfo: memFree=15480372/32950928 swapFree=67111528/67111528 [pid=2921] ppid=2919 vsize=8704 CPUtime=0.03 cores=0,2 /proc/2921/stat : 2921 (glucose.sh) S 2919 2921 925 0 -1 4202496 360 746 0 0 0 0 3 0 25 0 1 0 463171955 8912896 254 33554432000 4194304 4922060 140733902527680 18446744073709551615 268272508037 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/2921/statm: 2176 254 211 178 0 69 0 [pid=2926] ppid=2921 vsize=159828 CPUtime=1182.28 cores=0,2 /proc/2926/stat : 2926 (glucose_static) R 2921 2921 925 0 -1 4202496 351395 0 0 0 118156 72 0 0 25 0 1 0 463171959 163663872 35681 33554432000 4194304 4260849 140737027867072 18446744073709551615 4224822 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/2926/statm: 39957 35681 248 17 0 36598 0 Current children cumulated CPU time (s) 1182.31 Current children cumulated vsize (KiB) 168532 [startup+1242.3 s] /proc/loadavg: 2.00 2.27 3.01 3/180 3040 /proc/meminfo: memFree=15489524/32950928 swapFree=67111528/67111528 [pid=2921] ppid=2919 vsize=8704 CPUtime=0.03 cores=0,2 /proc/2921/stat : 2921 (glucose.sh) S 2919 2921 925 0 -1 4202496 360 746 0 0 0 0 3 0 25 0 1 0 463171955 8912896 254 33554432000 4194304 4922060 140733902527680 18446744073709551615 268272508037 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/2921/statm: 2176 254 211 178 0 69 0 [pid=2926] ppid=2921 vsize=159828 CPUtime=1242.28 cores=0,2 /proc/2926/stat : 2926 (glucose_static) R 2921 2921 925 0 -1 4202496 372915 0 0 0 124152 76 0 0 25 0 1 0 463171959 163663872 33358 33554432000 4194304 4260849 140737027867072 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/2926/statm: 39957 33358 248 17 0 36598 0 Current children cumulated CPU time (s) 1242.31 Current children cumulated vsize (KiB) 168532 Maximum wall clock time exceeded: sending SIGTERM then SIGKILL [startup+1300 s] /proc/loadavg: 2.00 2.22 2.94 3/180 3041 /proc/meminfo: memFree=15560692/32950928 swapFree=67111528/67111528 [pid=2921] ppid=2919 vsize=8704 CPUtime=0.03 cores=0,2 /proc/2921/stat : 2921 (glucose.sh) S 2919 2921 925 0 -1 4202496 360 746 0 0 0 0 3 0 25 0 1 0 463171955 8912896 254 33554432000 4194304 4922060 140733902527680 18446744073709551615 268272508037 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/2921/statm: 2176 254 211 178 0 69 0 [pid=2926] ppid=2921 vsize=110508 CPUtime=1299.99 cores=0,2 /proc/2926/stat : 2926 (glucose_static) R 2921 2921 925 0 -1 4202496 388611 0 0 0 129919 80 0 0 25 0 1 0 463171959 113160192 24401 33554432000 4194304 4260849 140737027867072 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/2926/statm: 27627 24401 248 17 0 24268 0 Current children cumulated CPU time (s) 1300.02 Current children cumulated vsize (KiB) 119212 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 2921 and gives # childrusage.ru_utime.tv_sec=0 # childrusage.ru_utime.tv_usec=37994 # childrusage.ru_stime.tv_sec=0 # childrusage.ru_stime.tv_usec=2999 # CPU time returned by wait4() is 0.040993 # 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.22 CPU system time (s): 0.8 CPU usage (%): 100 Max. virtual memory (cumulated for all children) (KiB): 199352 getrusage(RUSAGE_CHILDREN,...) data: user time used= 0.037994 system time used= 0.002999 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 1106 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= 8 involuntary context switches= 5 runsolver used 2.21566 second user time and 4.86426 second system time The end
Begin job on node122 at 2011-04-23 01:42:12 IDJOB=3250514 IDBENCH=83275 IDSOLVER=1651 FILE ID=node122/3250514-1303515732 RUNJOBID= node122-1303513790-2590 PBS_JOBID= 13134241 Free space on /tmp= 70800 MiB SOLVER NAME= glucose 2 BENCH NAME= SAT11/crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/VanDerWaerden_pd_2-3-23_508.cnf COMMAND LINE= glucose.sh BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3250514-1303515732/watcher-3250514-1303515732 -o /tmp/evaluation-result-3250514-1303515732/solver-3250514-1303515732 -C 2400 -W 1300 -M 7680 glucose.sh HOME/instance-3250514-1303515732.cnf TIME LIMIT= 2400 seconds MEMORY LIMIT= 7680 MiB NBCORE= 2 MD5SUM BENCH= b891f70c80006fb02dca40f266c0cec1 RANDOM SEED=1631966496 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: 15424220 kB Buffers: 1618532 kB Cached: 14959864 kB SwapCached: 0 kB Active: 5103448 kB Inactive: 11873320 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32950928 kB LowFree: 15424220 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 1984 kB Writeback: 0 kB AnonPages: 397872 kB Mapped: 15548 kB Slab: 484232 kB PageTables: 5928 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83586992 kB Committed_AS: 622120 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= 70800 MiB End job on node122 at 2011-04-23 02:03:54