| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| glucose 2 | ? (TO) | 5000.06 | 5000.03 |
| Name | crafted/anton/SRHD-SGI/ srhd-sgi-m37-q446.25-n35-p30-s33692332.cnf |
| MD5SUM | 1002234f62b5dfa01a75197c65e66327 |
| 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.177972 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 1285 |
| Number of clauses | 166723 |
| Sum of the clauses size | 334661 |
| Maximum clause length | 37 |
| Minimum clause length | 2 |
| Number of clauses of size 1 | 0 |
| Number of clauses of size 2 | 166688 |
| 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 | 35 |
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.04 c ============================================================================== 0.00/0.04 c | | ORIGINAL | LEARNT | | 0.00/0.04 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress | 0.00/0.04 c ============================================================================== 0.00/0.04 c | 0 | 166723 334661 | 50016 0 0 nan | 0.000 % | 0.00/0.32 c | 0 | 165438 468174 | -- 0 -- -- | -- | -1285/133513 0.00/0.32 c ============================================================================== 0.00/0.32 c Result : #vars: 1250 #clauses: 165438 #literals: 468174 0.00/0.32 c CPU time: 0.313952 s 0.00/0.32 c ============================================================================== 0.00/0.39 c 0.00/0.39 c Starting glucose 0.00/0.39 c 244.24/244.30 c This is glucose 2.0 -- based on MiniSAT (Many thanks to MiniSAT team) 244.24/244.30 c WARNING: for repeatability, setting FPU to use double precision 244.24/244.30 c ============================[ Problem Statistics ]============================= 244.24/244.30 c | | 244.24/244.30 c | Number of variables: 1250 | 244.24/244.30 c | Number of clauses: 165438 | 244.24/244.30 c | Parse time: 0.02 s | 244.24/244.30 c | | 244.24/244.30 c ============================[ Search Statistics ]============================== 244.24/244.30 c | Conflicts | ORIGINAL | LEARNT | Progress | 244.24/244.30 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | | 244.24/244.30 c =============================================================================== 244.24/244.30 c | 15734 | 1250 165438 468174 | 1 9443 158 | 0.000 % | 244.24/244.30 c | 15834 | 1250 165438 468174 | 1 9543 158 | 0.000 % | 244.24/244.30 c | 15937 | 1250 165438 468174 | 1 9646 158 | 0.000 % | 244.24/244.30 c | 18389 | 1250 165438 468174 | 1 12098 155 | 0.000 % | 244.24/244.30 c | 23553 | 1250 165438 468174 | 1 10514 120 | 0.000 % | 244.24/244.30 c | 203519 | 1250 165438 468174 | 1 43951 106 | 0.000 % | 244.24/244.30 c | 204838 | 1250 165438 468174 | 1 45270 106 | 0.000 % | 244.24/244.30 c | 206176 | 1250 165438 468174 | 1 46608 107 | 0.000 % | 244.24/244.30 c | 501676 | 1250 165438 468174 | 1 77498 108 | 0.000 % | 244.24/244.30 c | 501776 | 1250 165438 468174 | 1 77598 108 | 0.000 % | 244.24/244.30 c | 532250 | 1250 165438 468174 | 1 59878 97 | 0.000 % | 244.24/244.30 c | 579798 | 1250 165438 468174 | 1 56619 91 | 0.000 % | 244.24/244.30 c | 761732 | 1250 165438 468174 | 1 70554 95 | 0.000 % | 244.24/244.30 c | 762606 | 1250 165438 468174 | 1 71428 96 | 0.000 % | 244.24/244.30 c | 762706 | 1250 165438 468174 | 1 71528 96 | 0.000 % | 244.24/244.30 c | 763380 | 1250 165438 468174 | 1 72202 96 | 0.000 % | 244.24/244.30 c | 771682 | 1250 165438 468174 | 1 80504 100 | 0.000 % | 244.24/244.30 c | 772200 | 1250 165438 468174 | 1 81022 100 | 0.000 % | 244.24/244.30 c | 772301 | 1250 165438 468174 | 1 81123 100 | 0.000 % | 244.24/244.30 c | 772905 | 1250 165438 468174 | 1 81727 101 | 0.000 % | 244.24/244.30 c | 773006 | 1250 165438 468174 | 1 81828 101 | 0.000 % | 244.24/244.30 c | 773283 | 1250 165438 468174 | 1 82105 101 | 0.000 % | 244.24/244.30 c | 1047070 | 1250 165438 468174 | 1 95482 97 | 0.000 % | 244.24/244.30 c | 1047285 | 1250 165438 468174 | 1 95697 98 | 0.000 % | 244.24/244.30 c | 1047387 | 1250 165438 468174 | 1 95799 98 | 0.000 % | 244.24/244.30 c | 1234575 | 1250 165438 468174 | 1 137188 102 | 0.000 % | 244.24/244.30 c | 1240790 | 1250 165438 468174 | 1 143403 103 | 0.000 % | 244.24/244.30 c | 1243438 | 1250 165438 468174 | 1 146051 104 | 0.000 % | 244.24/244.30 c | 1267073 | 1250 165438 468174 | 1 92886 89 | 0.000 % | 244.24/244.30 c | 1267215 | 1250 165438 468174 | 1 93028 89 | 0.000 % | 244.24/244.30 c | 1267317 | 1250 165438 468174 | 1 93130 89 | 0.000 % | 244.24/244.30 c | 1276478 | 1250 165438 468174 | 1 102291 94 | 0.000 % | 244.24/244.30 c | 1276580 | 1250 165438 468174 | 1 102393 94 | 0.000 % | 244.24/244.30 c | 1286499 | 1250 165438 468174 | 1 112312 97 | 0.000 % | 244.24/244.30 c | 1286787 | 1250 165438 468174 | 1 112600 97 | 0.000 % | 244.24/244.30 c | 1286890 | 1250 165438 468174 | 1 112703 97 | 0.000 % | 244.24/244.30 c | 1288990 | 1250 165438 468174 | 1 114803 98 | 0.000 % | 244.24/244.30 c | 1289090 | 1250 165438 468174 | 1 114903 98 | 0.000 % | 244.24/244.30 c | 1289190 | 1250 165438 468174 | 1 115003 99 | 0.000 % | 380.24/380.38 c | 1289292 | 1250 165438 468174 | 1 115105 99 | 0.000 % | 380.24/380.38 c | 1289591 | 1250 165438 468174 | 1 115404 99 | 0.000 % | 380.24/380.38 c | 1292602 | 1250 165438 468174 | 1 118415 101 | 0.000 % | 380.24/380.38 c | 1292730 | 1250 165438 468174 | 1 118543 101 | 0.000 % | 380.24/380.38 c | 1292830 | 1250 165438 468174 | 1 118643 101 | 0.000 % | 380.24/380.38 c | 1294493 | 1250 165438 468174 | 1 120306 101 | 0.000 % | 380.24/380.38 c | 1295947 | 1250 165438 468174 | 1 121760 102 | 0.000 % | 380.24/380.38 c | 1296056 | 1250 165438 468174 | 1 121869 102 | 0.000 % | 380.24/380.38 c | 1299080 | 1250 165438 468174 | 1 124893 102 | 0.000 % | 380.24/380.38 c | 1323037 | 1250 165438 468174 | 1 148850 106 | 0.000 % | 380.24/380.38 c | 1323138 | 1250 165438 468174 | 1 148951 106 | 0.000 % | 380.24/380.38 c | 1323239 | 1250 165438 468174 | 1 149052 106 | 0.000 % | 380.24/380.38 c | 1323341 | 1250 165438 468174 | 1 149154 106 | 0.000 % | 380.24/380.38 c | 1387521 | 1250 165438 468174 | 1 133934 101 | 0.000 % | 380.24/380.38 c | 1389868 | 1250 165438 468174 | 1 136281 102 | 0.000 % | 380.24/380.38 c | 1390576 | 1250 165438 468174 | 1 136989 102 | 0.000 % | 380.24/380.38 c | 1390689 | 1250 165438 468174 | 1 137102 102 | 0.000 % | 380.24/380.38 c | 1390789 | 1250 165438 468174 | 1 137202 102 | 0.000 % | 380.24/380.38 c | 1390891 | 1250 165438 468174 | 1 137304 102 | 0.000 % | 380.24/380.38 c | 1391228 | 1250 165438 468174 | 1 137641 102 | 0.000 % | 380.24/380.38 c | 1392031 | 1250 165438 468174 | 1 138444 102 | 0.000 % | 380.24/380.38 c | 1392139 | 1250 165438 468174 | 1 138552 102 | 0.000 % | 380.24/380.38 c | 1392297 | 1250 165438 468174 | 1 138710 102 | 0.000 % | 380.24/380.38 c | 1394793 | 1250 165438 468174 | 1 141206 103 | 0.000 % | 380.24/380.38 c | 1394896 | 1250 165438 468174 | 1 141309 103 | 0.000 % | 380.24/380.38 c | 1394996 | 1250 165438 468174 | 1 141409 103 | 0.000 % | 380.24/380.38 c | 1395318 | 1250 165438 468174 | 1 141731 103 | 0.000 % | 380.24/380.38 c | 1395419 | 1250 165438 468174 | 1 141832 103 | 0.000 % | 380.24/380.38 c | 1395855 | 1250 165438 468174 | 1 142268 104 | 0.000 % | 380.24/380.38 c | 1396255 | 1250 165438 468174 | 1 142668 104 | 0.000 % | 380.24/380.38 c | 1396356 | 1250 165438 468174 | 1 142769 104 | 0.000 % | 380.24/380.38 c | 1397157 | 1250 165438 468174 | 1 143570 104 | 0.000 % | 380.24/380.38 c | 1397257 | 1250 165438 468174 | 1 143670 104 | 0.000 % | 380.24/380.38 c | 1397411 | 1250 165438 468174 | 1 143824 104 | 0.000 % | 380.24/380.38 c | 1450524 | 1250 165438 468174 | 1 114942 102 | 0.000 % | 380.24/380.38 c | 1450625 | 1250 165438 468174 | 1 115043 102 | 0.000 % | 380.24/380.38 c | 1450725 | 1250 165438 468174 | 1 115143 102 | 0.000 % | 380.24/380.38 c | 1450825 | 1250 165438 468174 | 1 115243 102 | 0.000 % | 380.24/380.38 c | 1450945 | 1250 165438 468174 | 1 115363 102 | 0.000 % | 380.24/380.38 c | 1451045 | 1250 165438 468174 | 1 115463 102 | 0.000 % | 380.24/380.38 c | 1451145 | 1250 165438 468174 | 1 115563 102 | 0.000 % | 380.24/380.38 c | 1451246 | 1250 165438 468174 | 1 115664 102 | 0.000 % | 380.24/380.38 c | 1451346 | 1250 165438 468174 | 1 115764 102 | 0.000 % | 380.24/380.38 c | 1757677 | 1250 165438 468174 | 1 160496 103 | 0.000 % | 380.24/380.38 c | 1757784 | 1250 165438 468174 | 1 160603 103 | 0.000 % | 380.24/380.38 c | 1757884 | 1250 165438 468174 | 1 160703 103 | 0.000 % | 380.24/380.38 c | 1820257 | 1250 165438 468174 | 1 130678 97 | 0.000 % | 380.24/380.38 c | 1820359 | 1250 165438 468174 | 1 130780 97 | 0.000 % | 380.24/380.38 c | 1820459 | 1250 165438 468174 | 1 130880 98 | 0.000 % | 380.24/380.38 c | 1820559 | 1250 165438 468174 | 1 130980 98 | 0.000 % | 505.14/505.29 c | 1820763 | 1250 165438 468174 | 1 131184 98 | 0.000 % | 505.14/505.29 c | 1824014 | 1250 165438 468174 | 1 134435 99 | 0.000 % | 505.14/505.29 c | 1824114 | 1250 165438 468174 | 1 134535 99 | 0.000 % | 505.14/505.29 c | 1824236 | 1250 165438 468174 | 1 134657 99 | 0.000 % | 505.14/505.29 c | 1824336 | 1250 165438 468174 | 1 134757 99 | 0.000 % | 505.14/505.29 c | 1824438 | 1250 165438 468174 | 1 134859 99 | 0.000 % | 505.14/505.29 c | 1824541 | 1250 165438 468174 | 1 134962 99 | 0.000 % | 505.14/505.29 c | 1824643 | 1250 165438 468174 | 1 135064 99 | 0.000 % | 505.14/505.29 c | 1824744 | 1250 165438 468174 | 1 135165 99 | 0.000 % | 505.14/505.29 c | 1824846 | 1250 165438 468174 | 1 135267 99 | 0.000 % | 505.14/505.29 c | 1826166 | 1250 165438 468174 | 1 136587 100 | 0.000 % | 505.14/505.29 c | 1836524 | 1250 165438 468174 | 1 146945 103 | 0.000 % | 505.14/505.29 c | 1836630 | 1250 165438 468174 | 1 147051 103 | 0.000 % | 505.14/505.29 c | 1836733 | 1250 165438 468174 | 1 147154 103 | 0.000 % | 505.14/505.29 c | 1836834 | 1250 165438 468174 | 1 147255 103 | 0.000 % | 505.14/505.29 c | 1836935 | 1250 165438 468174 | 1 147356 103 | 0.000 % | 505.14/505.29 c | 1837037 | 1250 165438 468174 | 1 147458 103 | 0.000 % | 505.14/505.29 c | 1841277 | 1250 165438 468174 | 1 151698 104 | 0.000 % | 505.14/505.29 c | 1841995 | 1250 165438 468174 | 1 152416 104 | 0.000 % | 505.14/505.29 c | 1842096 | 1250 165438 468174 | 1 152517 104 | 0.000 % | 505.14/505.29 c | 1853299 | 1250 165438 468174 | 1 163720 105 | 0.000 % | 505.14/505.29 c | 1853399 | 1250 165438 468174 | 1 163820 105 | 0.000 % | 505.14/505.29 c | 1858987 | 1250 165438 468174 | 1 169408 105 | 0.000 % | 505.14/505.29 c | 1927318 | 1250 165438 468174 | 1 142734 101 | 0.000 % | 505.14/505.29 c | 1965058 | 1250 165438 468174 | 1 180474 106 | 0.000 % | 505.14/505.29 c | 1965599 | 1250 165438 468174 | 1 181015 106 | 0.000 % | 505.14/505.29 c | 1965700 | 1250 165438 468174 | 1 181116 106 | 0.000 % | 505.14/505.29 c | 1965831 | 1250 165438 468174 | 1 181247 106 | 0.000 % | 505.14/505.29 c | 1965931 | 1250 165438 468174 | 1 181347 106 | 0.000 % | 505.14/505.29 c | 1966036 | 1250 165438 468174 | 1 181452 106 | 0.000 % | 505.14/505.29 c | 1974928 | 1250 165438 468174 | 1 190344 109 | 0.000 % | 505.14/505.29 c | 1981426 | 1250 165438 468174 | 1 99243 87 | 0.000 % | 505.14/505.29 c | 2068146 | 1250 165438 468174 | 1 185963 110 | 0.000 % | 505.14/505.29 c | 2068247 | 1250 165438 468174 | 1 186064 110 | 0.000 % | 505.14/505.29 c | 2071068 | 1250 165438 468174 | 1 188885 111 | 0.000 % | 505.14/505.29 c | 2096011 | 1250 165438 468174 | 1 113631 95 | 0.000 % | 505.14/505.29 c | 2096112 | 1250 165438 468174 | 1 113732 95 | 0.000 % | 505.14/505.29 c | 2096213 | 1250 165438 468174 | 1 113833 95 | 0.000 % | 505.14/505.29 c | 2098392 | 1250 165438 468174 | 1 116012 95 | 0.000 % | 505.14/505.29 c | 2102896 | 1250 165438 468174 | 1 120516 97 | 0.000 % | 505.14/505.29 c | 2102996 | 1250 165438 468174 | 1 120616 98 | 0.000 % | 505.14/505.29 c | 2103096 | 1250 165438 468174 | 1 120716 98 | 0.000 % | 505.14/505.29 c | 2103197 | 1250 165438 468174 | 1 120817 98 | 0.000 % | 505.14/505.29 c | 2103298 | 1250 165438 468174 | 1 120918 98 | 0.000 % | 505.14/505.29 c | 2164221 | 1250 165438 468174 | 1 181841 113 | 0.000 % | 505.14/505.29 c | 2164321 | 1250 165438 468174 | 1 181941 113 | 0.000 % | 505.14/505.29 c | 2164421 | 1250 165438 468174 | 1 182041 113 | 0.000 % | 505.14/505.29 c | 2164524 | 1250 165438 468174 | 1 182144 113 | 0.000 % | 505.14/505.29 c | 2164627 | 1250 165438 468174 | 1 182247 113 | 0.000 % | 505.14/505.29 c | 2252028 | 1250 165438 468174 | 1 166857 110 | 0.000 % | 1113.45/1113.56 c | 2252129 | 1250 165438 468174 | 1 166958 110 | 0.000 % | 1113.45/1113.56 c | 2252343 | 1250 165438 468174 | 1 167172 110 | 0.000 % | 1113.45/1113.56 c | 2252995 | 1250 165438 468174 | 1 167824 110 | 0.000 % | 1113.45/1113.56 c | 2372598 | 1250 165438 468174 | 1 182025 106 | 0.000 % | 1113.45/1113.56 c | 2392043 | 1250 165438 468174 | 1 201470 107 | 0.000 % | 1113.45/1113.56 c | 2392482 | 1250 165438 468174 | 1 201909 107 | 0.000 % | 1113.45/1113.56 c | 2393209 | 1250 165438 468174 | 1 202636 107 | 0.000 % | 1113.45/1113.56 c | 2393309 | 1250 165438 468174 | 1 202736 108 | 0.000 % | 1113.45/1113.56 c | 2393409 | 1250 165438 468174 | 1 202836 108 | 0.000 % | 1113.45/1113.56 c | 2393509 | 1250 165438 468174 | 1 202936 108 | 0.000 % | 1113.45/1113.56 c | 2393610 | 1250 165438 468174 | 1 203037 108 | 0.000 % | 1113.45/1113.56 c | 2393711 | 1250 165438 468174 | 1 203138 108 | 0.000 % | 1113.45/1113.56 c | 2393811 | 1250 165438 468174 | 1 203238 108 | 0.000 % | 1113.45/1113.56 c | 2393911 | 1250 165438 468174 | 1 203338 108 | 0.000 % | 1113.45/1113.56 c | 2394014 | 1250 165438 468174 | 1 203441 108 | 0.000 % | 1113.45/1113.56 c | 2394115 | 1250 165438 468174 | 1 203542 108 | 0.000 % | 1113.45/1113.56 c | 2394218 | 1250 165438 468174 | 1 203645 108 | 0.000 % | 1113.45/1113.56 c | 2394318 | 1250 165438 468174 | 1 203745 108 | 0.000 % | 1113.45/1113.56 c | 2394420 | 1250 165438 468174 | 1 203847 108 | 0.000 % | 1113.45/1113.56 c | 2394521 | 1250 165438 468174 | 1 203948 108 | 0.000 % | 1113.45/1113.56 c | 2405478 | 1250 165438 468174 | 1 214905 109 | 0.000 % | 1113.45/1113.56 c | 2405578 | 1250 165438 468174 | 1 215005 109 | 0.000 % | 1113.45/1113.56 c | 2405680 | 1250 165438 468174 | 1 215107 109 | 0.000 % | 1113.45/1113.56 c | 2405935 | 1250 165438 468174 | 1 215362 109 | 0.000 % | 1113.45/1113.56 c | 2406035 | 1250 165438 468174 | 1 215462 109 | 0.000 % | 1113.45/1113.56 c | 2406136 | 1250 165438 468174 | 1 215563 109 | 0.000 % | 1113.45/1113.56 c | 2498771 | 1250 165438 468174 | 1 200195 113 | 0.000 % | 1113.45/1113.56 c | 2518747 | 1250 165438 468174 | 1 220171 117 | 0.000 % | 1113.45/1113.56 c | 2611361 | 1250 165438 468174 | 1 202177 112 | 0.000 % | 1113.45/1113.56 c | 2611461 | 1250 165438 468174 | 1 202277 112 | 0.000 % | 1113.45/1113.56 c | 3222109 | 1250 165438 468174 | 1 220918 133 | 0.000 % | 1113.45/1113.56 c | 3430863 | 1250 165438 468174 | 1 174682 104 | 0.000 % | 1113.45/1113.56 c | 3431562 | 1250 165438 468174 | 1 175381 104 | 0.000 % | 1113.45/1113.56 c | 3432024 | 1250 165438 468174 | 1 175843 105 | 0.000 % | 1113.45/1113.56 c | 3432136 | 1250 165438 468174 | 1 175955 105 | 0.000 % | 1113.45/1113.56 c | 3432286 | 1250 165438 468174 | 1 176105 105 | 0.000 % | 1113.45/1113.56 c | 3445139 | 1250 165438 468174 | 1 188958 107 | 0.000 % | 1113.45/1113.56 c | 3445239 | 1250 165438 468174 | 1 189058 107 | 0.000 % | 1113.45/1113.56 c | 3450127 | 1250 165438 468174 | 1 193946 108 | 0.000 % | 1113.45/1113.56 c | 3451325 | 1250 165438 468174 | 1 195144 108 | 0.000 % | 1113.45/1113.56 c | 3451425 | 1250 165438 468174 | 1 195244 108 | 0.000 % | 1113.45/1113.56 c | 3451672 | 1250 165438 468174 | 1 195491 108 | 0.000 % | 1113.45/1113.56 c | 3451774 | 1250 165438 468174 | 1 195593 108 | 0.000 % | 1113.45/1113.56 c | 3454932 | 1250 165438 468174 | 1 198751 109 | 0.000 % | 1113.45/1113.56 c | 3455042 | 1250 165438 468174 | 1 198861 109 | 0.000 % | 1113.45/1113.56 c | 3465409 | 1250 165438 468174 | 1 209228 111 | 0.000 % | 1113.45/1113.56 c | 3465510 | 1250 165438 468174 | 1 209329 111 | 0.000 % | 1113.45/1113.56 c | 3465613 | 1250 165438 468174 | 1 209432 111 | 0.000 % | 1113.45/1113.56 c | 3465713 | 1250 165438 468174 | 1 209532 111 | 0.000 % | 1113.45/1113.56 c | 3465813 | 1250 165438 468174 | 1 209632 111 | 0.000 % | 1412.47/1412.57 c | 3466942 | 1250 165438 468174 | 1 210761 111 | 0.000 % | 1412.47/1412.57 c | 3467042 | 1250 165438 468174 | 1 210861 111 | 0.000 % | 1412.47/1412.57 c | 3476144 | 1250 165438 468174 | 1 219963 112 | 0.000 % | 1412.47/1412.57 c | 3476244 | 1250 165438 468174 | 1 220063 112 | 0.000 % | 1412.47/1412.57 c | 3476344 | 1250 165438 468174 | 1 220163 112 | 0.000 % | 1412.47/1412.57 c | 3476444 | 1250 165438 468174 | 1 220263 112 | 0.000 % | 1412.47/1412.57 c | 3476550 | 1250 165438 468174 | 1 220369 112 | 0.000 % | 1412.47/1412.57 c | 3476949 | 1250 165438 468174 | 1 220768 112 | 0.000 % | 1412.47/1412.57 c | 3477085 | 1250 165438 468174 | 1 220904 112 | 0.000 % | 1412.47/1412.57 c | 3477185 | 1250 165438 468174 | 1 221004 112 | 0.000 % | 1412.47/1412.57 c | 3477285 | 1250 165438 468174 | 1 221104 112 | 0.000 % | 1412.47/1412.57 c | 3477490 | 1250 165438 468174 | 1 221309 112 | 0.000 % | 1412.47/1412.57 c | 3477591 | 1250 165438 468174 | 1 221410 112 | 0.000 % | 1412.47/1412.57 c | 3544545 | 1250 165438 468174 | 1 156958 109 | 0.000 % | 1412.47/1412.57 c | 3544646 | 1250 165438 468174 | 1 157059 109 | 0.000 % | 1412.47/1412.57 c | 3576100 | 1250 165438 468174 | 1 188513 113 | 0.000 % | 1412.47/1412.57 c | 3585539 | 1250 165438 468174 | 1 197952 113 | 0.000 % | 1412.47/1412.57 c | 3638678 | 1250 165438 468174 | 1 251091 113 | 0.000 % | 1412.47/1412.57 c | 3639468 | 1250 165438 468174 | 1 251881 113 | 0.000 % | 1412.47/1412.57 c | 3709014 | 1250 165438 468174 | 1 187446 102 | 0.000 % | 1412.47/1412.57 c | 3729419 | 1250 165438 468174 | 1 207851 104 | 0.000 % | 1412.47/1412.57 c | 3729521 | 1250 165438 468174 | 1 207953 104 | 0.000 % | 1412.47/1412.57 c | 3730401 | 1250 165438 468174 | 1 208833 104 | 0.000 % | 1412.47/1412.57 c | 3745125 | 1250 165438 468174 | 1 223557 104 | 0.000 % | 1412.47/1412.57 c | 3745226 | 1250 165438 468174 | 1 223658 104 | 0.000 % | 1412.47/1412.57 c | 3745328 | 1250 165438 468174 | 1 223760 104 | 0.000 % | 1412.47/1412.57 c | 3745619 | 1250 165438 468174 | 1 224051 104 | 0.000 % | 1412.47/1412.57 c | 3745722 | 1250 165438 468174 | 1 224154 104 | 0.000 % | 1412.47/1412.57 c | 3746063 | 1250 165438 468174 | 1 224495 104 | 0.000 % | 1412.47/1412.57 c | 3746763 | 1250 165438 468174 | 1 225195 104 | 0.000 % | 1412.47/1412.57 c | 3783881 | 1250 165438 468174 | 1 262313 105 | 0.000 % | 1412.47/1412.57 c | 3785381 | 1250 165438 468174 | 1 263813 105 | 0.000 % | 1412.47/1412.57 c | 3802861 | 1250 165438 468174 | 1 144681 99 | 0.000 % | 1412.47/1412.57 c | 3812671 | 1250 165438 468174 | 1 154491 99 | 0.000 % | 1412.47/1412.57 c | 3820413 | 1250 165438 468174 | 1 162233 100 | 0.000 % | 1412.47/1412.57 c | 3823632 | 1250 165438 468174 | 1 165452 101 | 0.000 % | 1412.47/1412.57 c | 3823878 | 1250 165438 468174 | 1 165698 101 | 0.000 % | 1412.47/1412.57 c | 3824414 | 1250 165438 468174 | 1 166234 101 | 0.000 % | 1412.47/1412.57 c | 3824611 | 1250 165438 468174 | 1 166431 101 | 0.000 % | 1412.47/1412.57 c | 3824711 | 1250 165438 468174 | 1 166531 101 | 0.000 % | 1412.47/1412.57 c | 3825271 | 1250 165438 468174 | 1 167091 102 | 0.000 % | 1412.47/1412.57 c | 3825570 | 1250 165438 468174 | 1 167390 102 | 0.000 % | 1412.47/1412.57 c | 3868242 | 1250 165438 468174 | 1 210062 103 | 0.000 % | 1412.47/1412.57 c | 3872255 | 1250 165438 468174 | 1 214075 103 | 0.000 % | 1412.47/1412.57 c | 3880788 | 1250 165438 468174 | 1 222608 103 | 0.000 % | 1412.47/1412.57 c | 3975509 | 1250 165438 468174 | 1 178125 97 | 0.000 % | 1412.47/1412.57 c | 3990492 | 1250 165438 468174 | 1 193108 96 | 0.000 % | 1412.47/1412.57 c | 3995786 | 1250 165438 468174 | 1 198402 97 | 0.000 % | 1412.47/1412.57 c | 3995886 | 1250 165438 468174 | 1 198502 97 | 0.000 % | 1412.47/1412.57 c | 3995988 | 1250 165438 468174 | 1 198604 97 | 0.000 % | 1621.97/1622.00 c | 3996089 | 1250 165438 468174 | 1 198705 97 | 0.000 % | 1621.97/1622.00 c | 4000264 | 1250 165438 468174 | 1 202880 98 | 0.000 % | 1621.97/1622.00 c | 4012610 | 1250 165438 468174 | 1 215226 101 | 0.000 % | 1621.97/1622.00 c | 4012879 | 1250 165438 468174 | 1 215495 101 | 0.000 % | 1621.97/1622.00 c | 4012980 | 1250 165438 468174 | 1 215596 101 | 0.000 % | 1621.97/1622.00 c | 4013083 | 1250 165438 468174 | 1 215699 101 | 0.000 % | 1621.97/1622.00 c | 4014081 | 1250 165438 468174 | 1 216697 101 | 0.000 % | 1621.97/1622.00 c | 4014737 | 1250 165438 468174 | 1 217353 101 | 0.000 % | 1621.97/1622.00 c | 4018150 | 1250 165438 468174 | 1 220766 101 | 0.000 % | 1621.97/1622.00 c | 4068795 | 1250 165438 468174 | 1 271411 114 | 0.000 % | 1621.97/1622.00 c | 4068896 | 1250 165438 468174 | 1 271512 114 | 0.000 % | 1621.97/1622.00 c | 4068996 | 1250 165438 468174 | 1 271612 114 | 0.000 % | 1621.97/1622.00 c | 4116111 | 1250 165438 468174 | 1 176947 108 | 0.000 % | 1621.97/1622.00 c | 4116213 | 1250 165438 468174 | 1 177049 108 | 0.000 % | 1621.97/1622.00 c | 4125081 | 1250 165438 468174 | 1 185917 108 | 0.000 % | 1621.97/1622.00 c | 4125185 | 1250 165438 468174 | 1 186021 108 | 0.000 % | 1621.97/1622.00 c | 4125289 | 1250 165438 468174 | 1 186125 108 | 0.000 % | 1621.97/1622.00 c | 4125599 | 1250 165438 468174 | 1 186435 108 | 0.000 % | 1621.97/1622.00 c | 4133209 | 1250 165438 468174 | 1 194045 109 | 0.000 % | 1621.97/1622.00 c | 4133309 | 1250 165438 468174 | 1 194145 109 | 0.000 % | 1621.97/1622.00 c | 4133410 | 1250 165438 468174 | 1 194246 109 | 0.000 % | 1621.97/1622.00 c | 4139399 | 1250 165438 468174 | 1 200235 110 | 0.000 % | 1621.97/1622.00 c | 4139838 | 1250 165438 468174 | 1 200674 110 | 0.000 % | 1621.97/1622.00 c | 4139957 | 1250 165438 468174 | 1 200793 110 | 0.000 % | 1621.97/1622.00 c | 4174039 | 1250 165438 468174 | 1 234875 112 | 0.000 % | 1621.97/1622.00 c | 4174139 | 1250 165438 468174 | 1 234975 112 | 0.000 % | 1621.97/1622.00 c | 4174239 | 1250 165438 468174 | 1 235075 112 | 0.000 % | 1621.97/1622.00 c | 4174339 | 1250 165438 468174 | 1 235175 112 | 0.000 % | 1621.97/1622.00 c | 4174440 | 1250 165438 468174 | 1 235276 112 | 0.000 % | 1621.97/1622.00 c | 4174541 | 1250 165438 468174 | 1 235377 112 | 0.000 % | 1621.97/1622.00 c | 4174641 | 1250 165438 468174 | 1 235477 112 | 0.000 % | 1621.97/1622.00 c | 4174742 | 1250 165438 468174 | 1 235578 112 | 0.000 % | 1621.97/1622.00 c | 4175114 | 1250 165438 468174 | 1 235950 112 | 0.000 % | 1621.97/1622.00 c | 4175216 | 1250 165438 468174 | 1 236052 112 | 0.000 % | 1621.97/1622.00 c | 4201280 | 1250 165438 468174 | 1 262116 116 | 0.000 % | 1621.97/1622.00 c | 4201381 | 1250 165438 468174 | 1 262217 116 | 0.000 % | 1621.97/1622.00 c | 4203857 | 1250 165438 468174 | 1 264693 116 | 0.000 % | 1621.97/1622.00 c | 4204011 | 1250 165438 468174 | 1 264847 116 | 0.000 % | 1621.97/1622.00 c | 4204588 | 1250 165438 468174 | 1 265424 116 | 0.000 % | 1621.97/1622.00 c | 4222553 | 1250 165438 468174 | 1 283389 115 | 0.000 % | 1621.97/1622.00 c | 4256808 | 1250 165438 468174 | 1 173232 96 | 0.000 % | 1621.97/1622.00 c | 4260875 | 1250 165438 468174 | 1 177299 96 | 0.000 % | 1621.97/1622.00 c | 4261367 | 1250 165438 468174 | 1 177791 96 | 0.000 % | 1621.97/1622.00 c | 4261782 | 1250 165438 468174 | 1 178206 96 | 0.000 % | 1621.97/1622.00 c | 4269971 | 1250 165438 468174 | 1 186395 97 | 0.000 % | 1621.97/1622.00 c | 4290167 | 1250 165438 468174 | 1 206591 98 | 0.000 % | 1621.97/1622.00 c | 4291956 | 1250 165438 468174 | 1 208380 98 | 0.000 % | 1621.97/1622.00 c | 4333215 | 1250 165438 468174 | 1 249639 101 | 0.000 % | 1621.97/1622.00 c | 4333444 | 1250 165438 468174 | 1 249868 101 | 0.000 % | 1621.97/1622.00 c | 4333574 | 1250 165438 468174 | 1 249998 101 | 0.000 % | 2185.29/2185.30 c | 4335788 | 1250 165438 468174 | 1 252212 101 | 0.000 % | 2185.29/2185.30 c | 4341373 | 1250 165438 468174 | 1 257797 102 | 0.000 % | 2185.29/2185.30 c | 4345789 | 1250 165438 468174 | 1 262213 102 | 0.000 % | 2185.29/2185.30 c | 4374689 | 1250 165438 468174 | 1 291113 104 | 0.000 % | 2185.29/2185.30 c | 4374790 | 1250 165438 468174 | 1 291214 104 | 0.000 % | 2185.29/2185.30 c | 4386336 | 1250 165438 468174 | 1 155764 96 | 0.000 % | 2185.29/2185.30 c | 4386437 | 1250 165438 468174 | 1 155865 96 | 0.000 % | 2185.29/2185.30 c | 4389744 | 1250 165438 468174 | 1 159172 96 | 0.000 % | 2185.29/2185.30 c | 4389844 | 1250 165438 468174 | 1 159272 96 | 0.000 % | 2185.29/2185.30 c | 4389945 | 1250 165438 468174 | 1 159373 96 | 0.000 % | 2185.29/2185.30 c | 5012742 | 1249 165420 467534 | 1 120929 95 | 0.080 % | 2185.29/2185.30 c | 5012842 | 1249 165420 467534 | 1 121029 95 | 0.080 % | 2185.29/2185.30 c | 5013308 | 1249 165420 467534 | 1 121495 96 | 0.080 % | 2185.29/2185.30 c | 5013714 | 1249 165420 467534 | 1 121901 96 | 0.080 % | 2185.29/2185.30 c | 5013884 | 1249 165420 467534 | 1 122071 96 | 0.080 % | 2185.29/2185.30 c | 5014010 | 1249 165420 467534 | 1 122197 96 | 0.080 % | 2185.29/2185.30 c | 5014145 | 1249 165420 467534 | 1 122332 96 | 0.080 % | 2185.29/2185.30 c | 5014246 | 1249 165420 467534 | 1 122433 96 | 0.080 % | 2185.29/2185.30 c | 5015608 | 1249 165420 467534 | 1 123795 97 | 0.080 % | 2185.29/2185.30 c | 5023269 | 1249 165420 467534 | 1 131456 101 | 0.080 % | 2185.29/2185.30 c | 5023370 | 1249 165420 467534 | 1 131557 101 | 0.080 % | 2185.29/2185.30 c | 5023475 | 1249 165420 467534 | 1 131662 101 | 0.080 % | 2185.29/2185.30 c | 5023576 | 1249 165420 467534 | 1 131763 101 | 0.080 % | 2185.29/2185.30 c | 5023678 | 1249 165420 467534 | 1 131865 101 | 0.080 % | 2185.29/2185.30 c | 5031518 | 1249 165420 467534 | 1 139705 102 | 0.080 % | 2185.29/2185.30 c | 5031618 | 1249 165420 467534 | 1 139805 102 | 0.080 % | 2185.29/2185.30 c | 5091124 | 1249 165420 467534 | 1 199311 106 | 0.080 % | 2185.29/2185.30 c | 5091225 | 1249 165420 467534 | 1 199412 106 | 0.080 % | 2185.29/2185.30 c | 5091519 | 1249 165420 467534 | 1 199706 106 | 0.080 % | 2185.29/2185.30 c | 5091633 | 1249 165420 467534 | 1 199820 106 | 0.080 % | 2185.29/2185.30 c | 5118342 | 1249 165420 467534 | 1 226529 109 | 0.080 % | 2185.29/2185.30 c | 5120238 | 1249 165420 467534 | 1 228425 109 | 0.080 % | 2185.29/2185.30 c | 5141084 | 1249 165420 467534 | 1 249271 110 | 0.080 % | 2185.29/2185.30 c | 5146471 | 1249 165420 467534 | 1 254658 110 | 0.080 % | 2185.29/2185.30 c | 5146625 | 1249 165420 467534 | 1 254812 110 | 0.080 % | 2185.29/2185.30 c | 5171159 | 1249 165420 467534 | 1 142961 94 | 0.080 % | 2185.29/2185.30 c | 5171259 | 1249 165420 467534 | 1 143061 94 | 0.080 % | 2185.29/2185.30 c | 5175615 | 1249 165420 467534 | 1 147417 95 | 0.080 % | 2185.29/2185.30 c | 5194807 | 1249 165420 467534 | 1 166609 101 | 0.080 % | 2185.29/2185.30 c | 5195139 | 1249 165420 467534 | 1 166941 101 | 0.080 % | 2185.29/2185.30 c | 5195241 | 1249 165420 467534 | 1 167043 101 | 0.080 % | 2185.29/2185.30 c | 5195342 | 1249 165420 467534 | 1 167144 101 | 0.080 % | 2185.29/2185.30 c | 5195444 | 1249 165420 467534 | 1 167246 101 | 0.080 % | 2185.29/2185.30 c | 5195680 | 1249 165420 467534 | 1 167482 101 | 0.080 % | 2185.29/2185.30 c | 5222116 | 1249 165420 467534 | 1 193918 104 | 0.080 % | 2185.29/2185.30 c | 5222216 | 1249 165420 467534 | 1 194018 104 | 0.080 % | 2185.29/2185.30 c | 5223125 | 1249 165420 467534 | 1 194927 104 | 0.080 % | 2185.29/2185.30 c | 5223775 | 1249 165420 467534 | 1 195577 104 | 0.080 % | 2185.29/2185.30 c | 5223890 | 1249 165420 467534 | 1 195692 104 | 0.080 % | 2342.29/2342.33 c | 5237655 | 1249 165420 467534 | 1 209457 107 | 0.080 % | 2342.29/2342.33 c | 5237755 | 1249 165420 467534 | 1 209557 107 | 0.080 % | 2342.29/2342.33 c | 5253916 | 1249 165420 467534 | 1 225718 108 | 0.080 % | 2342.29/2342.33 c | 5254417 | 1249 165420 467534 | 1 226219 109 | 0.080 % | 2342.29/2342.33 c | 5254518 | 1249 165420 467534 | 1 226320 109 | 0.080 % | 2342.29/2342.33 c | 5254618 | 1249 165420 467534 | 1 226420 109 | 0.080 % | 2342.29/2342.33 c | 5254914 | 1249 165420 467534 | 1 226716 109 | 0.080 % | 2342.29/2342.33 c | 5255014 | 1249 165420 467534 | 1 226816 109 | 0.080 % | 2342.29/2342.33 c | 5260034 | 1249 165420 467534 | 1 231836 109 | 0.080 % | 2342.29/2342.33 c | 5265728 | 1249 165420 467534 | 1 237530 109 | 0.080 % | 2342.29/2342.33 c | 5277746 | 1249 165420 467534 | 1 249548 110 | 0.080 % | 2342.29/2342.33 c | 5278544 | 1249 165420 467534 | 1 250346 110 | 0.080 % | 2342.29/2342.33 c | 5289984 | 1249 165420 467534 | 1 261786 112 | 0.080 % | 2342.29/2342.33 c | 5290122 | 1249 165420 467534 | 1 261924 112 | 0.080 % | 2342.29/2342.33 c | 5290222 | 1249 165420 467534 | 1 262024 112 | 0.080 % | 2342.29/2342.33 c | 5290322 | 1249 165420 467534 | 1 262124 112 | 0.080 % | 2342.29/2342.33 c | 5290433 | 1249 165420 467534 | 1 262235 112 | 0.080 % | 2342.29/2342.33 c | 5290533 | 1249 165420 467534 | 1 262335 112 | 0.080 % | 2342.29/2342.33 c | 5290832 | 1249 165420 467534 | 1 262634 112 | 0.080 % | 2342.29/2342.33 c | 5293425 | 1249 165420 467534 | 1 265227 113 | 0.080 % | 2342.29/2342.33 c | 5293526 | 1249 165420 467534 | 1 265328 113 | 0.080 % | 2342.29/2342.33 c | 5293627 | 1249 165420 467534 | 1 265429 113 | 0.080 % | 2342.29/2342.33 c | 5293729 | 1249 165420 467534 | 1 265531 113 | 0.080 % | 2342.29/2342.33 c | 5293831 | 1249 165420 467534 | 1 265633 113 | 0.080 % | 2342.29/2342.33 c | 5303329 | 1249 165420 467534 | 1 275131 114 | 0.080 % | 2342.29/2342.33 c | 5303430 | 1249 165420 467534 | 1 275232 114 | 0.080 % | 2342.29/2342.33 c | 5314376 | 1249 165420 467534 | 1 286178 116 | 0.080 % | 2342.29/2342.33 c | 5314476 | 1249 165420 467534 | 1 286278 116 | 0.080 % | 2342.29/2342.33 c | 5314579 | 1249 165420 467534 | 1 286381 116 | 0.080 % | 2342.29/2342.33 c | 5314985 | 1249 165420 467534 | 1 286787 116 | 0.080 % | 2342.29/2342.33 c | 5315085 | 1249 165420 467534 | 1 286887 116 | 0.080 % | 2342.29/2342.33 c | 5315185 | 1249 165420 467534 | 1 286987 116 | 0.080 % | 2342.29/2342.33 c | 5315537 | 1249 165420 467534 | 1 287339 116 | 0.080 % | 2342.29/2342.33 c | 5321328 | 1249 165420 467534 | 1 293130 117 | 0.080 % | 2342.29/2342.33 c | 5339416 | 1249 165420 467534 | 1 160426 94 | 0.080 % | 2342.29/2342.33 c | 5339518 | 1249 165420 467534 | 1 160528 94 | 0.080 % | 2342.29/2342.33 c | 5339624 | 1249 165420 467534 | 1 160634 94 | 0.080 % | 2342.29/2342.33 c | 5339724 | 1249 165420 467534 | 1 160734 94 | 0.080 % | 2342.29/2342.33 c | 5373502 | 1249 165420 467534 | 1 194512 102 | 0.080 % | 2342.29/2342.33 c | 5373602 | 1249 165420 467534 | 1 194612 102 | 0.080 % | 2342.29/2342.33 c | 5424057 | 1249 165420 467534 | 1 245067 109 | 0.080 % | 2342.29/2342.33 c | 5424707 | 1249 165420 467534 | 1 245717 109 | 0.080 % | 2342.29/2342.33 c | 5424927 | 1249 165420 467534 | 1 245937 109 | 0.080 % | 2342.29/2342.33 c | 5425279 | 1249 165420 467534 | 1 246289 110 | 0.080 % | 2342.29/2342.33 c | 5425379 | 1249 165420 467534 | 1 246389 110 | 0.080 % | 2342.29/2342.33 c | 5460009 | 1249 165420 467534 | 1 281019 113 | 0.080 % | 2342.29/2342.33 c | 5468714 | 1249 165420 467534 | 1 289724 114 | 0.080 % | 2342.29/2342.33 c | 5468920 | 1249 165420 467534 | 1 289930 114 | 0.080 % | 2342.29/2342.33 c | 5469022 | 1249 165420 467534 | 1 290032 114 | 0.080 % | 2342.29/2342.33 c | 5469122 | 1249 165420 467534 | 1 290132 114 | 0.080 % | 2481.09/2481.14 c | 5469755 | 1249 165420 467534 | 1 290765 114 | 0.080 % | 2481.09/2481.14 c | 5469858 | 1249 165420 467534 | 1 290868 114 | 0.080 % | 2481.09/2481.14 c | 5478398 | 1249 165420 467534 | 1 299408 115 | 0.080 % | 2481.09/2481.14 c | 5478498 | 1249 165420 467534 | 1 299508 115 | 0.080 % | 2481.09/2481.14 c | 5478598 | 1249 165420 467534 | 1 299608 115 | 0.080 % | 2481.09/2481.14 c | 5478698 | 1249 165420 467534 | 1 299708 115 | 0.080 % | 2481.09/2481.14 c | 5478800 | 1249 165420 467534 | 1 299810 115 | 0.080 % | 2481.09/2481.14 c | 5480892 | 1249 165420 467534 | 1 301902 115 | 0.080 % | 2481.09/2481.14 c | 5480992 | 1249 165420 467534 | 1 302002 115 | 0.080 % | 2481.09/2481.14 c | 5481092 | 1249 165420 467534 | 1 302102 115 | 0.080 % | 2481.09/2481.14 c | 5490319 | 1249 165420 467534 | 1 311329 117 | 0.080 % | 2481.09/2481.14 c | 5490422 | 1249 165420 467534 | 1 311432 117 | 0.080 % | 2481.09/2481.14 c | 5490867 | 1249 165420 467534 | 1 311877 117 | 0.080 % | 2481.09/2481.14 c | 5493470 | 1249 165420 467534 | 1 314480 117 | 0.080 % | 2481.09/2481.14 c | 5493576 | 1249 165420 467534 | 1 314586 117 | 0.080 % | 2481.09/2481.14 c | 5493679 | 1249 165420 467534 | 1 314689 117 | 0.080 % | 2481.09/2481.14 c | 5493780 | 1249 165420 467534 | 1 314790 117 | 0.080 % | 2481.09/2481.14 c | 5493882 | 1249 165420 467534 | 1 314892 117 | 0.080 % | 2481.09/2481.14 c | 5493983 | 1249 165420 467534 | 1 314993 117 | 0.080 % | 2481.09/2481.14 c | 5495027 | 1249 165420 467534 | 1 316037 117 | 0.080 % | 2481.09/2481.14 c | 5500273 | 1249 165420 467534 | 1 161992 93 | 0.080 % | 2481.09/2481.14 c | 5526531 | 1249 165420 467534 | 1 188250 97 | 0.080 % | 2481.09/2481.14 c | 5547003 | 1249 165420 467534 | 1 208722 101 | 0.080 % | 2481.09/2481.14 c | 5547291 | 1249 165420 467534 | 1 209010 101 | 0.080 % | 2481.09/2481.14 c | 5547395 | 1249 165420 467534 | 1 209114 101 | 0.080 % | 2481.09/2481.14 c | 5555374 | 1249 165420 467534 | 1 217093 102 | 0.080 % | 2481.09/2481.14 c | 5555474 | 1249 165420 467534 | 1 217193 102 | 0.080 % | 2481.09/2481.14 c | 5555574 | 1249 165420 467534 | 1 217293 102 | 0.080 % | 2481.09/2481.14 c | 5555675 | 1249 165420 467534 | 1 217394 102 | 0.080 % | 2481.09/2481.14 c | 5555775 | 1249 165420 467534 | 1 217494 103 | 0.080 % | 2481.09/2481.14 c | 5555876 | 1249 165420 467534 | 1 217595 103 | 0.080 % | 2481.09/2481.14 c | 5555977 | 1249 165420 467534 | 1 217696 103 | 0.080 % | 2481.09/2481.14 c | 5586187 | 1249 165420 467534 | 1 247906 108 | 0.080 % | 2481.09/2481.14 c | 5600381 | 1249 165420 467534 | 1 262100 110 | 0.080 % | 2481.09/2481.14 c | 5600481 | 1249 165420 467534 | 1 262200 110 | 0.080 % | 2481.09/2481.14 c | 5600581 | 1249 165420 467534 | 1 262300 110 | 0.080 % | 2481.09/2481.14 c | 5613220 | 1249 165420 467534 | 1 274939 112 | 0.080 % | 2481.09/2481.14 c | 5613323 | 1249 165420 467534 | 1 275042 112 | 0.080 % | 2481.09/2481.14 c | 5620072 | 1249 165420 467534 | 1 281791 113 | 0.080 % | 2481.09/2481.14 c | 5620172 | 1249 165420 467534 | 1 281891 113 | 0.080 % | 2481.09/2481.14 c | 5660243 | 1249 165420 467534 | 1 321962 116 | 0.080 % | 2481.09/2481.14 c | 5660343 | 1249 165420 467534 | 1 322062 116 | 0.080 % | 2481.09/2481.14 c | 5660535 | 1249 165420 467534 | 1 322254 116 | 0.080 % | 2481.09/2481.14 c | 5660636 | 1249 165420 467534 | 1 322355 116 | 0.080 % | 2481.09/2481.14 c | 5660737 | 1249 165420 467534 | 1 322456 116 | 0.080 % | 2481.09/2481.14 c | 5666780 | 1249 165420 467534 | 1 328499 116 | 0.080 % | 2481.09/2481.14 c | 5666881 | 1249 165420 467534 | 1 328600 116 | 0.080 % | 2481.09/2481.14 c | 5677399 | 1249 165420 467534 | 1 174266 95 | 0.080 % | 2481.09/2481.14 c | 5677499 | 1249 165420 467534 | 1 174366 95 | 0.080 % | 2481.09/2481.14 c | 5677599 | 1249 165420 467534 | 1 174466 95 | 0.080 % | 2626.30/2626.36 c | 5684142 | 1249 165420 467534 | 1 181009 98 | 0.080 % | 2626.30/2626.36 c | 5684242 | 1249 165420 467534 | 1 181109 98 | 0.080 % | 2626.30/2626.36 c | 5685592 | 1249 165420 467534 | 1 182459 98 | 0.080 % | 2626.30/2626.36 c | 5685998 | 1249 165420 467534 | 1 182865 98 | 0.080 % | 2626.30/2626.36 c | 5686098 | 1249 165420 467534 | 1 182965 98 | 0.080 % | 2626.30/2626.36 c | 5702163 | 1249 165420 467534 | 1 199030 102 | 0.080 % | 2626.30/2626.36 c | 5702266 | 1249 165420 467534 | 1 199133 102 | 0.080 % | 2626.30/2626.36 c | 5702366 | 1249 165420 467534 | 1 199233 102 | 0.080 % | 2626.30/2626.36 c | 5702468 | 1249 165420 467534 | 1 199335 102 | 0.080 % | 2626.30/2626.36 c | 5702572 | 1249 165420 467534 | 1 199439 102 | 0.080 % | 2626.30/2626.36 c | 5702708 | 1249 165420 467534 | 1 199575 102 | 0.080 % | 2626.30/2626.36 c | 5702809 | 1249 165420 467534 | 1 199676 102 | 0.080 % | 2626.30/2626.36 c | 5702910 | 1249 165420 467534 | 1 199777 102 | 0.080 % | 2626.30/2626.36 c | 5703060 | 1249 165420 467534 | 1 199927 102 | 0.080 % | 2626.30/2626.36 c | 5703162 | 1249 165420 467534 | 1 200029 102 | 0.080 % | 2626.30/2626.36 c | 5703262 | 1249 165420 467534 | 1 200129 102 | 0.080 % | 2626.30/2626.36 c | 5713374 | 1249 165420 467534 | 1 210241 105 | 0.080 % | 2626.30/2626.36 c | 5718055 | 1249 165420 467534 | 1 214922 106 | 0.080 % | 2626.30/2626.36 c | 5718157 | 1249 165420 467534 | 1 215024 106 | 0.080 % | 2626.30/2626.36 c | 5718654 | 1249 165420 467534 | 1 215521 106 | 0.080 % | 2626.30/2626.36 c | 5718756 | 1249 165420 467534 | 1 215623 106 | 0.080 % | 2626.30/2626.36 c | 5718856 | 1249 165420 467534 | 1 215723 106 | 0.080 % | 2626.30/2626.36 c | 5718958 | 1249 165420 467534 | 1 215825 106 | 0.080 % | 2626.30/2626.36 c | 5722370 | 1249 165420 467534 | 1 219237 107 | 0.080 % | 2626.30/2626.36 c | 5722471 | 1249 165420 467534 | 1 219338 107 | 0.080 % | 2626.30/2626.36 c | 5722572 | 1249 165420 467534 | 1 219439 107 | 0.080 % | 2626.30/2626.36 c | 5722672 | 1249 165420 467534 | 1 219539 107 | 0.080 % | 2626.30/2626.36 c | 5722772 | 1249 165420 467534 | 1 219639 107 | 0.080 % | 2626.30/2626.36 c | 5722920 | 1249 165420 467534 | 1 219787 107 | 0.080 % | 2626.30/2626.36 c | 5744851 | 1249 165420 467534 | 1 241718 111 | 0.080 % | 2626.30/2626.36 c | 5746725 | 1249 165420 467534 | 1 243592 111 | 0.080 % | 2626.30/2626.36 c | 5746825 | 1249 165420 467534 | 1 243692 111 | 0.080 % | 2626.30/2626.36 c | 5746926 | 1249 165420 467534 | 1 243793 111 | 0.080 % | 2626.30/2626.36 c | 5747027 | 1249 165420 467534 | 1 243894 111 | 0.080 % | 2626.30/2626.36 c | 5747129 | 1249 165420 467534 | 1 243996 111 | 0.080 % | 2626.30/2626.36 c | 5747229 | 1249 165420 467534 | 1 244096 112 | 0.080 % | 2626.30/2626.36 c | 5792082 | 1249 165420 467534 | 1 288949 116 | 0.080 % | 2626.30/2626.36 c | 5792182 | 1249 165420 467534 | 1 289049 116 | 0.080 % | 2626.30/2626.36 c | 5792285 | 1249 165420 467534 | 1 289152 116 | 0.080 % | 2626.30/2626.36 c | 5792386 | 1249 165420 467534 | 1 289253 116 | 0.080 % | 2626.30/2626.36 c | 5792518 | 1249 165420 467534 | 1 289385 116 | 0.080 % | 2626.30/2626.36 c | 5826473 | 1249 165420 467534 | 1 323340 120 | 0.080 % | 2626.30/2626.36 c | 5826576 | 1249 165420 467534 | 1 323443 120 | 0.080 % | 2626.30/2626.36 c | 5847546 | 1249 165420 467534 | 1 175485 93 | 0.080 % | 2626.30/2626.36 c | 5847646 | 1249 165420 467534 | 1 175585 93 | 0.080 % | 2626.30/2626.36 c | 5849923 | 1249 165420 467534 | 1 177862 94 | 0.080 % | 2626.30/2626.36 c | 5850023 | 1249 165420 467534 | 1 177962 94 | 0.080 % | 2626.30/2626.36 c | 5864642 | 1249 165420 467534 | 1 192581 98 | 0.080 % | 2626.30/2626.36 c | 5864745 | 1249 165420 467534 | 1 192684 98 | 0.080 % | 2626.30/2626.36 c | 5864870 | 1249 165420 467534 | 1 192809 98 | 0.080 % | 2753.49/2753.55 c | 5867211 | 1249 165420 467534 | 1 195150 99 | 0.080 % | 2753.49/2753.55 c | 5867311 | 1249 165420 467534 | 1 195250 99 | 0.080 % | 2753.49/2753.55 c | 5867415 | 1249 165420 467534 | 1 195354 99 | 0.080 % | 2753.49/2753.55 c | 5869349 | 1249 165420 467534 | 1 197288 99 | 0.080 % | 2753.49/2753.55 c | 5869451 | 1249 165420 467534 | 1 197390 99 | 0.080 % | 2753.49/2753.55 c | 5869571 | 1249 165420 467534 | 1 197510 100 | 0.080 % | 2753.49/2753.55 c | 5869680 | 1249 165420 467534 | 1 197619 100 | 0.080 % | 2753.49/2753.55 c | 5884560 | 1249 165420 467534 | 1 212499 102 | 0.080 % | 2753.49/2753.55 c | 5885217 | 1249 165420 467534 | 1 213156 102 | 0.080 % | 2753.49/2753.55 c | 5885317 | 1249 165420 467534 | 1 213256 102 | 0.080 % | 2753.49/2753.55 c | 5885807 | 1249 165420 467534 | 1 213746 103 | 0.080 % | 2753.49/2753.55 c | 5886058 | 1249 165420 467534 | 1 213997 103 | 0.080 % | 2753.49/2753.55 c | 5886159 | 1249 165420 467534 | 1 214098 103 | 0.080 % | 2753.49/2753.55 c | 5889209 | 1249 165420 467534 | 1 217148 103 | 0.080 % | 2753.49/2753.55 c | 5894446 | 1249 165420 467534 | 1 222385 104 | 0.080 % | 2753.49/2753.55 c | 5922649 | 1249 165420 467534 | 1 250588 108 | 0.080 % | 2753.49/2753.55 c | 5927385 | 1249 165420 467534 | 1 255324 109 | 0.080 % | 2753.49/2753.55 c | 5937860 | 1249 165420 467534 | 1 265799 110 | 0.080 % | 2753.49/2753.55 c | 5937960 | 1249 165420 467534 | 1 265899 110 | 0.080 % | 2753.49/2753.55 c | 5938060 | 1249 165420 467534 | 1 265999 110 | 0.080 % | 2753.49/2753.55 c | 5938162 | 1249 165420 467534 | 1 266101 110 | 0.080 % | 2753.49/2753.55 c | 5938262 | 1249 165420 467534 | 1 266201 110 | 0.080 % | 2753.49/2753.55 c | 5938363 | 1249 165420 467534 | 1 266302 110 | 0.080 % | 2753.49/2753.55 c | 5938463 | 1249 165420 467534 | 1 266402 110 | 0.080 % | 2753.49/2753.55 c | 5938950 | 1249 165420 467534 | 1 266889 110 | 0.080 % | 2753.49/2753.55 c | 5939050 | 1249 165420 467534 | 1 266989 110 | 0.080 % | 2753.49/2753.55 c | 5939150 | 1249 165420 467534 | 1 267089 110 | 0.080 % | 2753.49/2753.55 c | 5943523 | 1249 165420 467534 | 1 271462 111 | 0.080 % | 2753.49/2753.55 c | 5975032 | 1249 165420 467534 | 1 302971 116 | 0.080 % | 2753.49/2753.55 c | 5975136 | 1249 165420 467534 | 1 303075 116 | 0.080 % | 2753.49/2753.55 c | 5976372 | 1249 165420 467534 | 1 304311 116 | 0.080 % | 2753.49/2753.55 c | 5976472 | 1249 165420 467534 | 1 304411 116 | 0.080 % | 2753.49/2753.55 c | 5976572 | 1249 165420 467534 | 1 304511 116 | 0.080 % | 2753.49/2753.55 c | 5976673 | 1249 165420 467534 | 1 304612 116 | 0.080 % | 2753.49/2753.55 c | 5978891 | 1249 165420 467534 | 1 306830 117 | 0.080 % | 2753.49/2753.55 c | 5979159 | 1249 165420 467534 | 1 307098 117 | 0.080 % | 2753.49/2753.55 c | 5979262 | 1249 165420 467534 | 1 307201 117 | 0.080 % | 2753.49/2753.55 c | 5979363 | 1249 165420 467534 | 1 307302 117 | 0.080 % | 2753.49/2753.55 c | 5982977 | 1249 165420 467534 | 1 310916 117 | 0.080 % | 2753.49/2753.55 c | 5983077 | 1249 165420 467534 | 1 311016 117 | 0.080 % | 2753.49/2753.55 c | 5983181 | 1249 165420 467534 | 1 311120 117 | 0.080 % | 2753.49/2753.55 c | 5995520 | 1249 165420 467534 | 1 323459 118 | 0.080 % | 2753.49/2753.55 c | 5995621 | 1249 165420 467534 | 1 323560 118 | 0.080 % | 2753.49/2753.55 c | 5995721 | 1249 165420 467534 | 1 323660 118 | 0.080 % | 2753.49/2753.55 c | 5995824 | 1249 165420 467534 | 1 323763 118 | 0.080 % | 2753.49/2753.55 c | 5997125 | 1249 165420 467534 | 1 325064 119 | 0.080 % | 2753.49/2753.55 c | 6008639 | 1249 165420 467534 | 1 336578 119 | 0.080 % | 2753.49/2753.55 c | 6008962 | 1249 165420 467534 | 1 336901 119 | 0.080 % | 2753.49/2753.55 c | 6009063 | 1249 165420 467534 | 1 337002 119 | 0.080 % | 2753.49/2753.55 c | 6009164 | 1249 165420 467534 | 1 337103 119 | 0.080 % | 2952.60/2952.63 c | 6009266 | 1249 165420 467534 | 1 337205 119 | 0.080 % | 2952.60/2952.63 c | 6009366 | 1249 165420 467534 | 1 337305 119 | 0.080 % | 2952.60/2952.63 c | 6014406 | 1249 165420 467534 | 1 342345 120 | 0.080 % | 2952.60/2952.63 c | 6014506 | 1249 165420 467534 | 1 342445 120 | 0.080 % | 2952.60/2952.63 c | 6019290 | 1249 165420 467534 | 1 174961 93 | 0.080 % | 2952.60/2952.63 c | 6023171 | 1249 165420 467534 | 1 178842 94 | 0.080 % | 2952.60/2952.63 c | 6023271 | 1249 165420 467534 | 1 178942 94 | 0.080 % | 2952.60/2952.63 c | 6026493 | 1249 165420 467534 | 1 182164 95 | 0.080 % | 2952.60/2952.63 c | 6073602 | 1249 165420 467534 | 1 229273 108 | 0.080 % | 2952.60/2952.63 c | 6073705 | 1249 165420 467534 | 1 229376 108 | 0.080 % | 2952.60/2952.63 c | 6073809 | 1249 165420 467534 | 1 229480 108 | 0.080 % | 2952.60/2952.63 c | 6073909 | 1249 165420 467534 | 1 229580 108 | 0.080 % | 2952.60/2952.63 c | 6074010 | 1249 165420 467534 | 1 229681 108 | 0.080 % | 2952.60/2952.63 c | 6101754 | 1249 165420 467534 | 1 257425 111 | 0.080 % | 2952.60/2952.63 c | 6101854 | 1249 165420 467534 | 1 257525 111 | 0.080 % | 2952.60/2952.63 c | 6101957 | 1249 165420 467534 | 1 257628 111 | 0.080 % | 2952.60/2952.63 c | 6102057 | 1249 165420 467534 | 1 257728 111 | 0.080 % | 2952.60/2952.63 c | 6102157 | 1249 165420 467534 | 1 257828 111 | 0.080 % | 2952.60/2952.63 c | 6102259 | 1249 165420 467534 | 1 257930 111 | 0.080 % | 2952.60/2952.63 c | 6102597 | 1249 165420 467534 | 1 258268 111 | 0.080 % | 2952.60/2952.63 c | 6102699 | 1249 165420 467534 | 1 258370 111 | 0.080 % | 2952.60/2952.63 c | 6102802 | 1249 165420 467534 | 1 258473 111 | 0.080 % | 2952.60/2952.63 c | 6102904 | 1249 165420 467534 | 1 258575 111 | 0.080 % | 2952.60/2952.63 c | 6103004 | 1249 165420 467534 | 1 258675 111 | 0.080 % | 2952.60/2952.63 c | 6103105 | 1249 165420 467534 | 1 258776 111 | 0.080 % | 2952.60/2952.63 c | 6141949 | 1249 165420 467534 | 1 297620 117 | 0.080 % | 2952.60/2952.63 c | 6142049 | 1249 165420 467534 | 1 297720 117 | 0.080 % | 2952.60/2952.63 c | 6224116 | 1249 165420 467534 | 1 204553 100 | 0.080 % | 2952.60/2952.63 c | 6236330 | 1249 165420 467534 | 1 216767 102 | 0.080 % | 2952.60/2952.63 c | 6242916 | 1249 165420 467534 | 1 223353 104 | 0.080 % | 2952.60/2952.63 c | 6243209 | 1249 165420 467534 | 1 223646 104 | 0.080 % | 2952.60/2952.63 c | 6244063 | 1249 165420 467534 | 1 224500 104 | 0.080 % | 2952.60/2952.63 c | 6244166 | 1249 165420 467534 | 1 224603 104 | 0.080 % | 2952.60/2952.63 c | 6244266 | 1249 165420 467534 | 1 224703 104 | 0.080 % | 2952.60/2952.63 c | 6251582 | 1249 165420 467534 | 1 232019 105 | 0.080 % | 2952.60/2952.63 c | 6253050 | 1249 165420 467534 | 1 233487 105 | 0.080 % | 2952.60/2952.63 c | 6253150 | 1249 165420 467534 | 1 233587 105 | 0.080 % | 2952.60/2952.63 c | 6253322 | 1249 165420 467534 | 1 233759 105 | 0.080 % | 2952.60/2952.63 c | 6253470 | 1249 165420 467534 | 1 233907 105 | 0.080 % | 2952.60/2952.63 c | 6253863 | 1249 165420 467534 | 1 234300 105 | 0.080 % | 2952.60/2952.63 c | 6253963 | 1249 165420 467534 | 1 234400 105 | 0.080 % | 2952.60/2952.63 c | 6254064 | 1249 165420 467534 | 1 234501 105 | 0.080 % | 2952.60/2952.63 c | 6256026 | 1249 165420 467534 | 1 236463 106 | 0.080 % | 2952.60/2952.63 c | 6260380 | 1249 165420 467534 | 1 240817 106 | 0.080 % | 2952.60/2952.63 c | 6260480 | 1249 165420 467534 | 1 240917 106 | 0.080 % | 2952.60/2952.63 c | 6260677 | 1249 165420 467534 | 1 241114 106 | 0.080 % | 2952.60/2952.63 c | 6260822 | 1249 165420 467534 | 1 241259 106 | 0.080 % | 2952.60/2952.63 c | 6260923 | 1249 165420 467534 | 1 241360 106 | 0.080 % | 2952.60/2952.63 c | 6261024 | 1249 165420 467534 | 1 241461 106 | 0.080 % | 2952.60/2952.63 c | 6272439 | 1249 165420 467534 | 1 252876 108 | 0.080 % | 3165.61/3165.71 c | 6272539 | 1249 165420 467534 | 1 252976 108 | 0.080 % | 3165.61/3165.71 c | 6272639 | 1249 165420 467534 | 1 253076 108 | 0.080 % | 3165.61/3165.71 c | 6281458 | 1249 165420 467534 | 1 261895 110 | 0.080 % | 3165.61/3165.71 c | 6283789 | 1249 165420 467534 | 1 264226 110 | 0.080 % | 3165.61/3165.71 c | 6283890 | 1249 165420 467534 | 1 264327 111 | 0.080 % | 3165.61/3165.71 c | 6296610 | 1249 165420 467534 | 1 277047 112 | 0.080 % | 3165.61/3165.71 c | 6296751 | 1249 165420 467534 | 1 277188 112 | 0.080 % | 3165.61/3165.71 c | 6296852 | 1249 165420 467534 | 1 277289 112 | 0.080 % | 3165.61/3165.71 c | 6296960 | 1249 165420 467534 | 1 277397 112 | 0.080 % | 3165.61/3165.71 c | 6297060 | 1249 165420 467534 | 1 277497 112 | 0.080 % | 3165.61/3165.71 c | 6297160 | 1249 165420 467534 | 1 277597 112 | 0.080 % | 3165.61/3165.71 c | 6297261 | 1249 165420 467534 | 1 277698 112 | 0.080 % | 3165.61/3165.71 c | 6297362 | 1249 165420 467534 | 1 277799 112 | 0.080 % | 3165.61/3165.71 c | 6298799 | 1249 165420 467534 | 1 279236 113 | 0.080 % | 3165.61/3165.71 c | 6298900 | 1249 165420 467534 | 1 279337 113 | 0.080 % | 3165.61/3165.71 c | 6300558 | 1249 165420 467534 | 1 280995 113 | 0.080 % | 3165.61/3165.71 c | 6300659 | 1249 165420 467534 | 1 281096 113 | 0.080 % | 3165.61/3165.71 c | 6300761 | 1249 165420 467534 | 1 281198 113 | 0.080 % | 3165.61/3165.71 c | 6303293 | 1249 165420 467534 | 1 283730 113 | 0.080 % | 3165.61/3165.71 c | 6315395 | 1249 165420 467534 | 1 295832 115 | 0.080 % | 3165.61/3165.71 c | 6338683 | 1249 165420 467534 | 1 319120 117 | 0.080 % | 3165.61/3165.71 c | 6350634 | 1249 165420 467534 | 1 331071 119 | 0.080 % | 3165.61/3165.71 c | 6350738 | 1249 165420 467534 | 1 331175 119 | 0.080 % | 3165.61/3165.71 c | 6350838 | 1249 165420 467534 | 1 331275 119 | 0.080 % | 3165.61/3165.71 c | 6350938 | 1249 165420 467534 | 1 331375 119 | 0.080 % | 3165.61/3165.71 c | 6351038 | 1249 165420 467534 | 1 331475 119 | 0.080 % | 3165.61/3165.71 c | 6351138 | 1249 165420 467534 | 1 331575 119 | 0.080 % | 3165.61/3165.71 c | 6351239 | 1249 165420 467534 | 1 331676 119 | 0.080 % | 3165.61/3165.71 c | 6351339 | 1249 165420 467534 | 1 331776 119 | 0.080 % | 3165.61/3165.71 c | 6351439 | 1249 165420 467534 | 1 331876 119 | 0.080 % | 3165.61/3165.71 c | 6351539 | 1249 165420 467534 | 1 331976 119 | 0.080 % | 3165.61/3165.71 c | 6357407 | 1249 165420 467534 | 1 337844 119 | 0.080 % | 3165.61/3165.71 c | 6357508 | 1249 165420 467534 | 1 337945 119 | 0.080 % | 3165.61/3165.71 c | 6357608 | 1249 165420 467534 | 1 338045 119 | 0.080 % | 3165.61/3165.71 c | 6357709 | 1249 165420 467534 | 1 338146 119 | 0.080 % | 3165.61/3165.71 c | 6365676 | 1249 165420 467534 | 1 346113 120 | 0.080 % | 3165.61/3165.71 c | 6505567 | 1249 165420 467534 | 1 307994 117 | 0.080 % | 3165.61/3165.71 c | 6505673 | 1249 165420 467534 | 1 308100 117 | 0.080 % | 3165.61/3165.71 c | 6505773 | 1249 165420 467534 | 1 308200 117 | 0.080 % | 3165.61/3165.71 c | 6505877 | 1249 165420 467534 | 1 308304 117 | 0.080 % | 3165.61/3165.71 c | 6507002 | 1249 165420 467534 | 1 309429 117 | 0.080 % | 3165.61/3165.71 c | 6507151 | 1249 165420 467534 | 1 309578 117 | 0.080 % | 3165.61/3165.71 c | 6512239 | 1249 165420 467534 | 1 314666 117 | 0.080 % | 3165.61/3165.71 c | 6512341 | 1249 165420 467534 | 1 314768 117 | 0.080 % | 3165.61/3165.71 c | 6512441 | 1249 165420 467534 | 1 314868 117 | 0.080 % | 3165.61/3165.71 c | 6512541 | 1249 165420 467534 | 1 314968 117 | 0.080 % | 3165.61/3165.71 c | 6512641 | 1249 165420 467534 | 1 315068 117 | 0.080 % | 3165.61/3165.71 c | 6512742 | 1249 165420 467534 | 1 315169 117 | 0.080 % | 3165.61/3165.71 c | 6513733 | 1249 165420 467534 | 1 316160 118 | 0.080 % | 3165.61/3165.71 c | 6513836 | 1249 165420 467534 | 1 316263 118 | 0.080 % | 3243.71/3243.72 c | 6513936 | 1249 165420 467534 | 1 316363 118 | 0.080 % | 3243.71/3243.72 c | 6514037 | 1249 165420 467534 | 1 316464 118 | 0.080 % | 3243.71/3243.72 c | 6514137 | 1249 165420 467534 | 1 316564 118 | 0.080 % | 3243.71/3243.72 c | 6514414 | 1249 165420 467534 | 1 316841 118 | 0.080 % | 3243.71/3243.72 c | 6518211 | 1249 165420 467534 | 1 320638 118 | 0.080 % | 3243.71/3243.72 c | 6536710 | 1249 165420 467534 | 1 339137 119 | 0.080 % | 3243.71/3243.72 c | 6540834 | 1249 165420 467534 | 1 343261 120 | 0.080 % | 3243.71/3243.72 c | 6540934 | 1249 165420 467534 | 1 343361 120 | 0.080 % | 3243.71/3243.72 c | 6541127 | 1249 165420 467534 | 1 343554 120 | 0.080 % | 3243.71/3243.72 c | 6541229 | 1249 165420 467534 | 1 343656 120 | 0.080 % | 3243.71/3243.72 c | 6541330 | 1249 165420 467534 | 1 343757 120 | 0.080 % | 3243.71/3243.72 c | 6541431 | 1249 165420 467534 | 1 343858 120 | 0.080 % | 3243.71/3243.72 c | 6541537 | 1249 165420 467534 | 1 343964 120 | 0.080 % | 3243.71/3243.72 c | 6541639 | 1249 165420 467534 | 1 344066 120 | 0.080 % | 3243.71/3243.72 c | 6541741 | 1249 165420 467534 | 1 344168 120 | 0.080 % | 3243.71/3243.72 c | 6543566 | 1249 165420 467534 | 1 345993 120 | 0.080 % | 3243.71/3243.72 c | 6543666 | 1249 165420 467534 | 1 346093 120 | 0.080 % | 3243.71/3243.72 c | 6543766 | 1249 165420 467534 | 1 346193 120 | 0.080 % | 3243.71/3243.72 c | 6543868 | 1249 165420 467534 | 1 346295 120 | 0.080 % | 3243.71/3243.72 c | 6544403 | 1249 165420 467534 | 1 346830 120 | 0.080 % | 3243.71/3243.72 c | 6544506 | 1249 165420 467534 | 1 346933 121 | 0.080 % | 3243.71/3243.72 c | 6555837 | 1249 165420 467534 | 1 358264 122 | 0.080 % | 3243.71/3243.72 c | 6555938 | 1249 165420 467534 | 1 358365 122 | 0.080 % | 3243.71/3243.72 c | 6556038 | 1249 165420 467534 | 1 358465 122 | 0.080 % | 3243.71/3243.72 c | 6556138 | 1249 165420 467534 | 1 358565 122 | 0.080 % | 3243.71/3243.72 c | 6556241 | 1249 165420 467534 | 1 358668 122 | 0.080 % | 3243.71/3243.72 c | 6556343 | 1249 165420 467534 | 1 358770 122 | 0.080 % | 3243.71/3243.72 c | 6569598 | 1249 165420 467534 | 1 191324 98 | 0.080 % | 3243.71/3243.72 c | 6569820 | 1249 165420 467534 | 1 191546 98 | 0.080 % | 3243.71/3243.72 c | 6569920 | 1249 165420 467534 | 1 191646 98 | 0.080 % | 3243.71/3243.72 c | 6572680 | 1249 165420 467534 | 1 194406 99 | 0.080 % | 3243.71/3243.72 c | 6572832 | 1249 165420 467534 | 1 194558 99 | 0.080 % | 3243.71/3243.72 c | 6573119 | 1249 165420 467534 | 1 194845 99 | 0.080 % | 3243.71/3243.72 c | 6573219 | 1249 165420 467534 | 1 194945 99 | 0.080 % | 3243.71/3243.72 c | 6573320 | 1249 165420 467534 | 1 195046 99 | 0.080 % | 3243.71/3243.72 c | 6573422 | 1249 165420 467534 | 1 195148 99 | 0.080 % | 3243.71/3243.72 c | 6597160 | 1249 165420 467534 | 1 218886 103 | 0.080 % | 3243.71/3243.72 c | 6597261 | 1249 165420 467534 | 1 218987 103 | 0.080 % | 3243.71/3243.72 c | 6597365 | 1249 165420 467534 | 1 219091 103 | 0.080 % | 3243.71/3243.72 c | 6597466 | 1249 165420 467534 | 1 219192 103 | 0.080 % | 3243.71/3243.72 c | 6597566 | 1249 165420 467534 | 1 219292 103 | 0.080 % | 3243.71/3243.72 c | 6597666 | 1249 165420 467534 | 1 219392 104 | 0.080 % | 3243.71/3243.72 c | 6597767 | 1249 165420 467534 | 1 219493 104 | 0.080 % | 3243.71/3243.72 c | 6598509 | 1249 165420 467534 | 1 220235 104 | 0.080 % | 3243.71/3243.72 c | 6598614 | 1249 165420 467534 | 1 220340 104 | 0.080 % | 3243.71/3243.72 c | 6598714 | 1249 165420 467534 | 1 220440 104 | 0.080 % | 3243.71/3243.72 c | 6598815 | 1249 165420 467534 | 1 220541 104 | 0.080 % | 3243.71/3243.72 c | 6598916 | 1249 165420 467534 | 1 220642 104 | 0.080 % | 3243.71/3243.72 c | 6599017 | 1249 165420 467534 | 1 220743 104 | 0.080 % | 3243.71/3243.72 c | 6602591 | 1249 165420 467534 | 1 224317 105 | 0.080 % | 3680.82/3680.85 c | 6607237 | 1249 165420 467534 | 1 228963 106 | 0.080 % | 3680.82/3680.85 c | 6607337 | 1249 165420 467534 | 1 229063 106 | 0.080 % | 3680.82/3680.85 c | 6611581 | 1249 165420 467534 | 1 233307 107 | 0.080 % | 3680.82/3680.85 c | 6611683 | 1249 165420 467534 | 1 233409 107 | 0.080 % | 3680.82/3680.85 c | 6611783 | 1249 165420 467534 | 1 233509 107 | 0.080 % | 3680.82/3680.85 c | 6614836 | 1249 165420 467534 | 1 236562 107 | 0.080 % | 3680.82/3680.85 c | 6614936 | 1249 165420 467534 | 1 236662 107 | 0.080 % | 3680.82/3680.85 c | 6615036 | 1249 165420 467534 | 1 236762 107 | 0.080 % | 3680.82/3680.85 c | 6616407 | 1249 165420 467534 | 1 238133 108 | 0.080 % | 3680.82/3680.85 c | 6616510 | 1249 165420 467534 | 1 238236 108 | 0.080 % | 3680.82/3680.85 c | 6616613 | 1249 165420 467534 | 1 238339 108 | 0.080 % | 3680.82/3680.85 c | 6616713 | 1249 165420 467534 | 1 238439 108 | 0.080 % | 3680.82/3680.85 c | 6616815 | 1249 165420 467534 | 1 238541 108 | 0.080 % | 3680.82/3680.85 c | 6616917 | 1249 165420 467534 | 1 238643 108 | 0.080 % | 3680.82/3680.85 c | 6617017 | 1249 165420 467534 | 1 238743 108 | 0.080 % | 3680.82/3680.85 c | 6617118 | 1249 165420 467534 | 1 238844 108 | 0.080 % | 3680.82/3680.85 c | 6617218 | 1249 165420 467534 | 1 238944 108 | 0.080 % | 3680.82/3680.85 c | 6617320 | 1249 165420 467534 | 1 239046 108 | 0.080 % | 3680.82/3680.85 c | 6617420 | 1249 165420 467534 | 1 239146 108 | 0.080 % | 3680.82/3680.85 c | 6617521 | 1249 165420 467534 | 1 239247 108 | 0.080 % | 3680.82/3680.85 c | 6617623 | 1249 165420 467534 | 1 239349 108 | 0.080 % | 3680.82/3680.85 c | 6617724 | 1249 165420 467534 | 1 239450 108 | 0.080 % | 3680.82/3680.85 c | 6617824 | 1249 165420 467534 | 1 239550 108 | 0.080 % | 3680.82/3680.85 c | 6617925 | 1249 165420 467534 | 1 239651 108 | 0.080 % | 3680.82/3680.85 c | 6618027 | 1249 165420 467534 | 1 239753 108 | 0.080 % | 3680.82/3680.85 c | 6618130 | 1249 165420 467534 | 1 239856 108 | 0.080 % | 3680.82/3680.85 c | 6618232 | 1249 165420 467534 | 1 239958 108 | 0.080 % | 3680.82/3680.85 c | 6618333 | 1249 165420 467534 | 1 240059 108 | 0.080 % | 3680.82/3680.85 c | 6638966 | 1249 165420 467534 | 1 260692 113 | 0.080 % | 3680.82/3680.85 c | 6639068 | 1249 165420 467534 | 1 260794 113 | 0.080 % | 3680.82/3680.85 c | 6639599 | 1249 165420 467534 | 1 261325 113 | 0.080 % | 3680.82/3680.85 c | 6639701 | 1249 165420 467534 | 1 261427 113 | 0.080 % | 3680.82/3680.85 c | 6639802 | 1249 165420 467534 | 1 261528 113 | 0.080 % | 3680.82/3680.85 c | 6640271 | 1249 165420 467534 | 1 261997 113 | 0.080 % | 3680.82/3680.85 c | 6640538 | 1249 165420 467534 | 1 262264 113 | 0.080 % | 3680.82/3680.85 c | 6654614 | 1249 165420 467534 | 1 276340 116 | 0.080 % | 3680.82/3680.85 c | 6654715 | 1249 165420 467534 | 1 276441 116 | 0.080 % | 3680.82/3680.85 c | 6654815 | 1249 165420 467534 | 1 276541 116 | 0.080 % | 3680.82/3680.85 c | 6654919 | 1249 165420 467534 | 1 276645 116 | 0.080 % | 3680.82/3680.85 c | 6655021 | 1249 165420 467534 | 1 276747 116 | 0.080 % | 3680.82/3680.85 c | 6668336 | 1249 165420 467534 | 1 290062 117 | 0.080 % | 3680.82/3680.85 c | 6668437 | 1249 165420 467534 | 1 290163 117 | 0.080 % | 3680.82/3680.85 c | 7134671 | 1249 165420 467534 | 1 198475 103 | 0.080 % | 3680.82/3680.85 c | 7134771 | 1249 165420 467534 | 1 198575 103 | 0.080 % | 3680.82/3680.85 c | 7137434 | 1249 165420 467534 | 1 201238 103 | 0.080 % | 3680.82/3680.85 c | 7140568 | 1249 165420 467534 | 1 204372 104 | 0.080 % | 3680.82/3680.85 c | 7148051 | 1249 165420 467534 | 1 211855 104 | 0.080 % | 3680.82/3680.85 c | 7149442 | 1249 165420 467534 | 1 213246 105 | 0.080 % | 3680.82/3680.85 c | 7149542 | 1249 165420 467534 | 1 213346 105 | 0.080 % | 3680.82/3680.85 c | 7149758 | 1249 165420 467534 | 1 213562 105 | 0.080 % | 3840.03/3840.09 c | 7149858 | 1249 165420 467534 | 1 213662 105 | 0.080 % | 3840.03/3840.09 c | 7154940 | 1249 165420 467534 | 1 218744 106 | 0.080 % | 3840.03/3840.09 c | 7197681 | 1249 165420 467534 | 1 261485 108 | 0.080 % | 3840.03/3840.09 c | 7197782 | 1249 165420 467534 | 1 261586 108 | 0.080 % | 3840.03/3840.09 c | 7198168 | 1249 165420 467534 | 1 261972 108 | 0.080 % | 3840.03/3840.09 c | 7198297 | 1249 165420 467534 | 1 262101 108 | 0.080 % | 3840.03/3840.09 c | 7198735 | 1249 165420 467534 | 1 262539 108 | 0.080 % | 3840.03/3840.09 c | 7198981 | 1249 165420 467534 | 1 262785 108 | 0.080 % | 3840.03/3840.09 c | 7199081 | 1249 165420 467534 | 1 262885 108 | 0.080 % | 3840.03/3840.09 c | 7199182 | 1249 165420 467534 | 1 262986 108 | 0.080 % | 3840.03/3840.09 c | 7199971 | 1249 165420 467534 | 1 263775 108 | 0.080 % | 3840.03/3840.09 c | 7200922 | 1249 165420 467534 | 1 264726 109 | 0.080 % | 3840.03/3840.09 c | 7220720 | 1249 165420 467534 | 1 284524 111 | 0.080 % | 3840.03/3840.09 c | 7220958 | 1249 165420 467534 | 1 284762 111 | 0.080 % | 3840.03/3840.09 c | 7228379 | 1249 165420 467534 | 1 292183 112 | 0.080 % | 3840.03/3840.09 c | 7228479 | 1249 165420 467534 | 1 292283 112 | 0.080 % | 3840.03/3840.09 c | 7228581 | 1249 165420 467534 | 1 292385 112 | 0.080 % | 3840.03/3840.09 c | 7228681 | 1249 165420 467534 | 1 292485 112 | 0.080 % | 3840.03/3840.09 c | 7228782 | 1249 165420 467534 | 1 292586 112 | 0.080 % | 3840.03/3840.09 c | 7228883 | 1249 165420 467534 | 1 292687 112 | 0.080 % | 3840.03/3840.09 c | 7229172 | 1249 165420 467534 | 1 292976 112 | 0.080 % | 3840.03/3840.09 c | 7229273 | 1249 165420 467534 | 1 293077 112 | 0.080 % | 3840.03/3840.09 c | 7229588 | 1249 165420 467534 | 1 293392 112 | 0.080 % | 3840.03/3840.09 c | 7230462 | 1249 165420 467534 | 1 294266 112 | 0.080 % | 3840.03/3840.09 c | 7286420 | 1249 165420 467534 | 1 350224 115 | 0.080 % | 3840.03/3840.09 c | 7286520 | 1249 165420 467534 | 1 350324 115 | 0.080 % | 3840.03/3840.09 c | 7286678 | 1249 165420 467534 | 1 350482 115 | 0.080 % | 3840.03/3840.09 c | 7286780 | 1249 165420 467534 | 1 350584 115 | 0.080 % | 3840.03/3840.09 c | 7286880 | 1249 165420 467534 | 1 350684 115 | 0.080 % | 3840.03/3840.09 c | 7287069 | 1249 165420 467534 | 1 350873 115 | 0.080 % | 3840.03/3840.09 c | 7288054 | 1249 165420 467534 | 1 351858 115 | 0.080 % | 3840.03/3840.09 c | 7297592 | 1249 165420 467534 | 1 361396 115 | 0.080 % | 3840.03/3840.09 c | 7298828 | 1249 165420 467534 | 1 362632 115 | 0.080 % | 3840.03/3840.09 c | 7298965 | 1249 165420 467534 | 1 362769 115 | 0.080 % | 3840.03/3840.09 c | 7300165 | 1249 165420 467534 | 1 363969 115 | 0.080 % | 3840.03/3840.09 c | 7300269 | 1249 165420 467534 | 1 364073 115 | 0.080 % | 3840.03/3840.09 c | 7300369 | 1249 165420 467534 | 1 364173 115 | 0.080 % | 3840.03/3840.09 c | 7303795 | 1249 165420 467534 | 1 367599 116 | 0.080 % | 3840.03/3840.09 c | 7303895 | 1249 165420 467534 | 1 367699 116 | 0.080 % | 3840.03/3840.09 c | 7304166 | 1249 165420 467534 | 1 367970 116 | 0.080 % | 3840.03/3840.09 c | 7304266 | 1249 165420 467534 | 1 368070 116 | 0.080 % | 3840.03/3840.09 c | 7304767 | 1249 165420 467534 | 1 368571 116 | 0.080 % | 3840.03/3840.09 c | 7314301 | 1249 165420 467534 | 1 378105 117 | 0.080 % | 3840.03/3840.09 c | 7314402 | 1249 165420 467534 | 1 378206 117 | 0.080 % | 3840.03/3840.09 c | 7342187 | 1249 165420 467534 | 1 214795 100 | 0.080 % | 3840.03/3840.09 c | 7347953 | 1249 165420 467534 | 1 220561 101 | 0.080 % | 3840.03/3840.09 c | 7349880 | 1249 165420 467534 | 1 222488 101 | 0.080 % | 3840.03/3840.09 c | 7350049 | 1249 165420 467534 | 1 222657 101 | 0.080 % | 3840.03/3840.09 c | 7350940 | 1249 165420 467534 | 1 223548 101 | 0.080 % | 3840.03/3840.09 c | 7354113 | 1249 165420 467534 | 1 226721 101 | 0.080 % | 4035.23/4035.21 c | 7362744 | 1249 165420 467534 | 1 235352 102 | 0.080 % | 4035.23/4035.21 c | 7362845 | 1249 165420 467534 | 1 235453 102 | 0.080 % | 4035.23/4035.21 c | 7374183 | 1249 165420 467534 | 1 246791 103 | 0.080 % | 4035.23/4035.21 c | 7395953 | 1249 165420 467534 | 1 268561 105 | 0.080 % | 4035.23/4035.21 c | 7396053 | 1249 165420 467534 | 1 268661 105 | 0.080 % | 4035.23/4035.21 c | 7412054 | 1249 165420 467534 | 1 284662 108 | 0.080 % | 4035.23/4035.21 c | 7412155 | 1249 165420 467534 | 1 284763 108 | 0.080 % | 4035.23/4035.21 c | 7431449 | 1249 165420 467534 | 1 304057 110 | 0.080 % | 4035.23/4035.21 c | 7433283 | 1249 165420 467534 | 1 305891 110 | 0.080 % | 4035.23/4035.21 c | 7433451 | 1249 165420 467534 | 1 306059 110 | 0.080 % | 4035.23/4035.21 c | 7433552 | 1249 165420 467534 | 1 306160 110 | 0.080 % | 4035.23/4035.21 c | 7438039 | 1249 165420 467534 | 1 310647 110 | 0.080 % | 4035.23/4035.21 c | 7438231 | 1249 165420 467534 | 1 310839 110 | 0.080 % | 4035.23/4035.21 c | 7441232 | 1249 165420 467534 | 1 313840 111 | 0.080 % | 4035.23/4035.21 c | 7441333 | 1249 165420 467534 | 1 313941 111 | 0.080 % | 4035.23/4035.21 c | 7441707 | 1249 165420 467534 | 1 314315 111 | 0.080 % | 4035.23/4035.21 c | 7445205 | 1249 165420 467534 | 1 317813 111 | 0.080 % | 4035.23/4035.21 c | 7447638 | 1249 165420 467534 | 1 320246 111 | 0.080 % | 4035.23/4035.21 c | 7447740 | 1249 165420 467534 | 1 320348 111 | 0.080 % | 4035.23/4035.21 c | 7478228 | 1249 165420 467534 | 1 350836 112 | 0.080 % | 4035.23/4035.21 c | 7478408 | 1249 165420 467534 | 1 351016 112 | 0.080 % | 4035.23/4035.21 c | 7486147 | 1249 165420 467534 | 1 358755 113 | 0.080 % | 4035.23/4035.21 c | 7512429 | 1249 165420 467534 | 1 385037 114 | 0.080 % | 4035.23/4035.21 c | 7530541 | 1249 165420 467534 | 1 209368 100 | 0.080 % | 4035.23/4035.21 c | 7530720 | 1249 165420 467534 | 1 209547 100 | 0.080 % | 4035.23/4035.21 c | 7531705 | 1249 165420 467534 | 1 210532 100 | 0.080 % | 4035.23/4035.21 c | 7555380 | 1249 165420 467534 | 1 234207 105 | 0.080 % | 4035.23/4035.21 c | 7555480 | 1249 165420 467534 | 1 234307 105 | 0.080 % | 4035.23/4035.21 c | 7555580 | 1249 165420 467534 | 1 234407 106 | 0.080 % | 4035.23/4035.21 c | 7555680 | 1249 165420 467534 | 1 234507 106 | 0.080 % | 4035.23/4035.21 c | 7555781 | 1249 165420 467534 | 1 234608 106 | 0.080 % | 4035.23/4035.21 c | 7555882 | 1249 165420 467534 | 1 234709 106 | 0.080 % | 4035.23/4035.21 c | 7556158 | 1249 165420 467534 | 1 234985 106 | 0.080 % | 4035.23/4035.21 c | 7557140 | 1249 165420 467534 | 1 235967 106 | 0.080 % | 4035.23/4035.21 c | 7557242 | 1249 165420 467534 | 1 236069 106 | 0.080 % | 4035.23/4035.21 c | 7557372 | 1249 165420 467534 | 1 236199 106 | 0.080 % | 4035.23/4035.21 c | 7557786 | 1249 165420 467534 | 1 236613 106 | 0.080 % | 4035.23/4035.21 c | 7558145 | 1249 165420 467534 | 1 236972 106 | 0.080 % | 4035.23/4035.21 c | 7558246 | 1249 165420 467534 | 1 237073 106 | 0.080 % | 4035.23/4035.21 c | 7560427 | 1249 165420 467534 | 1 239254 106 | 0.080 % | 4035.23/4035.21 c | 7563846 | 1249 165420 467534 | 1 242673 107 | 0.080 % | 4035.23/4035.21 c | 7583624 | 1249 165420 467534 | 1 262451 109 | 0.080 % | 4035.23/4035.21 c | 7583725 | 1249 165420 467534 | 1 262552 109 | 0.080 % | 4035.23/4035.21 c | 7585183 | 1249 165420 467534 | 1 264010 109 | 0.080 % | 4035.23/4035.21 c | 7589331 | 1249 165420 467534 | 1 268158 110 | 0.080 % | 4035.23/4035.21 c | 7589431 | 1249 165420 467534 | 1 268258 110 | 0.080 % | 4035.23/4035.21 c | 7590056 | 1249 165420 467534 | 1 268883 110 | 0.080 % | 4035.23/4035.21 c | 7590460 | 1249 165420 467534 | 1 269287 110 | 0.080 % | 4035.23/4035.21 c | 7601919 | 1249 165420 467534 | 1 280746 111 | 0.080 % | 4035.23/4035.21 c | 7602224 | 1249 165420 467534 | 1 281051 111 | 0.080 % | 4328.74/4328.76 c | 7618829 | 1249 165420 467534 | 1 297656 112 | 0.080 % | 4328.74/4328.76 c | 7618952 | 1249 165420 467534 | 1 297779 112 | 0.080 % | 4328.74/4328.76 c | 7642263 | 1249 165420 467534 | 1 321090 114 | 0.080 % | 4328.74/4328.76 c | 7649094 | 1249 165420 467534 | 1 327921 115 | 0.080 % | 4328.74/4328.76 c | 7651660 | 1249 165420 467534 | 1 330487 116 | 0.080 % | 4328.74/4328.76 c | 7664415 | 1249 165420 467534 | 1 343242 116 | 0.080 % | 4328.74/4328.76 c | 7665236 | 1249 165420 467534 | 1 344063 116 | 0.080 % | 4328.74/4328.76 c | 7678228 | 1249 165420 467534 | 1 357055 116 | 0.080 % | 4328.74/4328.76 c | 7678328 | 1249 165420 467534 | 1 357155 116 | 0.080 % | 4328.74/4328.76 c | 7678428 | 1249 165420 467534 | 1 357255 116 | 0.080 % | 4328.74/4328.76 c | 7678853 | 1249 165420 467534 | 1 357680 116 | 0.080 % | 4328.74/4328.76 c | 7685108 | 1249 165420 467534 | 1 363935 117 | 0.080 % | 4328.74/4328.76 c | 7685267 | 1249 165420 467534 | 1 364094 117 | 0.080 % | 4328.74/4328.76 c | 7689201 | 1249 165420 467534 | 1 368028 117 | 0.080 % | 4328.74/4328.76 c | 7689301 | 1249 165420 467534 | 1 368128 117 | 0.080 % | 4328.74/4328.76 c | 7689408 | 1249 165420 467534 | 1 368235 117 | 0.080 % | 4328.74/4328.76 c | 7689620 | 1249 165420 467534 | 1 368447 118 | 0.080 % | 4328.74/4328.76 c | 7689720 | 1249 165420 467534 | 1 368547 118 | 0.080 % | 4328.74/4328.76 c | 7689820 | 1249 165420 467534 | 1 368647 118 | 0.080 % | 4328.74/4328.76 c | 7689921 | 1249 165420 467534 | 1 368748 118 | 0.080 % | 4328.74/4328.76 c | 7690021 | 1249 165420 467534 | 1 368848 118 | 0.080 % | 4328.74/4328.76 c | 7690123 | 1249 165420 467534 | 1 368950 118 | 0.080 % | 4328.74/4328.76 c | 7702587 | 1249 165420 467534 | 1 381414 119 | 0.080 % | 4328.74/4328.76 c | 7702688 | 1249 165420 467534 | 1 381515 119 | 0.080 % | 4328.74/4328.76 c | 7702791 | 1249 165420 467534 | 1 381618 119 | 0.080 % | 4328.74/4328.76 c | 7702895 | 1249 165420 467534 | 1 381722 119 | 0.080 % | 4328.74/4328.76 c | 7702995 | 1249 165420 467534 | 1 381822 119 | 0.080 % | 4328.74/4328.76 c | 7703222 | 1249 165420 467534 | 1 382049 119 | 0.080 % | 4328.74/4328.76 c | 7703323 | 1249 165420 467534 | 1 382150 119 | 0.080 % | 4328.74/4328.76 c | 7703950 | 1249 165420 467534 | 1 382777 119 | 0.080 % | 4328.74/4328.76 c | 7704052 | 1249 165420 467534 | 1 382879 119 | 0.080 % | 4328.74/4328.76 c | 7704379 | 1249 165420 467534 | 1 383206 119 | 0.080 % | 4328.74/4328.76 c | 7732036 | 1249 165420 467534 | 1 214454 103 | 0.080 % | 4328.74/4328.76 c | 7798930 | 1249 165420 467534 | 1 281348 112 | 0.080 % | 4328.74/4328.76 c | 7804715 | 1249 165420 467534 | 1 287133 113 | 0.080 % | 4328.74/4328.76 c | 7804815 | 1249 165420 467534 | 1 287233 113 | 0.080 % | 4328.74/4328.76 c | 7834969 | 1249 165420 467534 | 1 317387 113 | 0.080 % | 4328.74/4328.76 c | 7899650 | 1249 165420 467534 | 1 382068 114 | 0.080 % | 4328.74/4328.76 c | 7899752 | 1249 165420 467534 | 1 382170 114 | 0.080 % | 4328.74/4328.76 c | 7899852 | 1249 165420 467534 | 1 382270 114 | 0.080 % | 4328.74/4328.76 c | 7905019 | 1249 165420 467534 | 1 387437 114 | 0.080 % | 4328.74/4328.76 c | 7906048 | 1249 165420 467534 | 1 388466 114 | 0.080 % | 4328.74/4328.76 c | 7906148 | 1249 165420 467534 | 1 388566 114 | 0.080 % | 4328.74/4328.76 c | 7906361 | 1249 165420 467534 | 1 388779 114 | 0.080 % | 4328.74/4328.76 c | 7906461 | 1249 165420 467534 | 1 388879 114 | 0.080 % | 4328.74/4328.76 c | 7906561 | 1249 165420 467534 | 1 388979 114 | 0.080 % | 4328.74/4328.76 c | 7986080 | 1249 165420 467534 | 1 269500 118 | 0.080 % | 4328.74/4328.76 c | 7986548 | 1249 165420 467534 | 1 269968 118 | 0.080 % | 4328.74/4328.76 c | 7986673 | 1249 165420 467534 | 1 270093 118 | 0.080 % | 4328.74/4328.76 c | 7987888 | 1249 165420 467534 | 1 271308 119 | 0.080 % | 4578.34/4578.38 c | 7988770 | 1249 165420 467534 | 1 272190 119 | 0.080 % | 4578.34/4578.38 c | 7988871 | 1249 165420 467534 | 1 272291 119 | 0.080 % | 4578.34/4578.38 c | 7988971 | 1249 165420 467534 | 1 272391 119 | 0.080 % | 4578.34/4578.38 c | 7989071 | 1249 165420 467534 | 1 272491 119 | 0.080 % | 4578.34/4578.38 c | 7989171 | 1249 165420 467534 | 1 272591 119 | 0.080 % | 4578.34/4578.38 c | 7989272 | 1249 165420 467534 | 1 272692 119 | 0.080 % | 4578.34/4578.38 c | 7989373 | 1249 165420 467534 | 1 272793 119 | 0.080 % | 4578.34/4578.38 c | 7989681 | 1249 165420 467534 | 1 273101 119 | 0.080 % | 4578.34/4578.38 c | 7989781 | 1249 165420 467534 | 1 273201 119 | 0.080 % | 4578.34/4578.38 c | 7989882 | 1249 165420 467534 | 1 273302 119 | 0.080 % | 4578.34/4578.38 c | 7990344 | 1249 165420 467534 | 1 273764 119 | 0.080 % | 4578.34/4578.38 c | 7995837 | 1249 165420 467534 | 1 279257 119 | 0.080 % | 4578.34/4578.38 c | 8017425 | 1249 165420 467534 | 1 300845 119 | 0.080 % | 4578.34/4578.38 c | 8017525 | 1249 165420 467534 | 1 300945 119 | 0.080 % | 4578.34/4578.38 c | 8024215 | 1249 165420 467534 | 1 307635 120 | 0.080 % | 4578.34/4578.38 c | 8032530 | 1249 165420 467534 | 1 315950 121 | 0.080 % | 4578.34/4578.38 c | 8032633 | 1249 165420 467534 | 1 316053 121 | 0.080 % | 4578.34/4578.38 c | 8051922 | 1249 165420 467534 | 1 335342 122 | 0.080 % | 4578.34/4578.38 c | 8052060 | 1249 165420 467534 | 1 335480 122 | 0.080 % | 4578.34/4578.38 c | 8052162 | 1249 165420 467534 | 1 335582 122 | 0.080 % | 4578.34/4578.38 c | 8052263 | 1249 165420 467534 | 1 335683 122 | 0.080 % | 4578.34/4578.38 c | 8052686 | 1249 165420 467534 | 1 336106 122 | 0.080 % | 4578.34/4578.38 c | 8052810 | 1249 165420 467534 | 1 336230 122 | 0.080 % | 4578.34/4578.38 c | 8052912 | 1249 165420 467534 | 1 336332 122 | 0.080 % | 4578.34/4578.38 c | 8053012 | 1249 165420 467534 | 1 336432 122 | 0.080 % | 4578.34/4578.38 c | 8053115 | 1249 165420 467534 | 1 336535 122 | 0.080 % | 4578.34/4578.38 c | 8053471 | 1249 165420 467534 | 1 336891 122 | 0.080 % | 4578.34/4578.38 c | 8053573 | 1249 165420 467534 | 1 336993 122 | 0.080 % | 4578.34/4578.38 c | 8053674 | 1249 165420 467534 | 1 337094 122 | 0.080 % | 4578.34/4578.38 c | 8064935 | 1249 165420 467534 | 1 348355 122 | 0.080 % | 4578.34/4578.38 c | 8069991 | 1249 165420 467534 | 1 353411 122 | 0.080 % | 4578.34/4578.38 c | 8081133 | 1249 165420 467534 | 1 364553 122 | 0.080 % | 4578.34/4578.38 c | 8081396 | 1249 165420 467534 | 1 364816 122 | 0.080 % | 4578.34/4578.38 c | 8081567 | 1249 165420 467534 | 1 364987 122 | 0.080 % | 4578.34/4578.38 c | 8086469 | 1249 165420 467534 | 1 369889 122 | 0.080 % | 4578.34/4578.38 c | 8086569 | 1249 165420 467534 | 1 369989 122 | 0.080 % | 4578.34/4578.38 c | 8167695 | 1249 165420 467534 | 1 249519 98 | 0.080 % | 4578.34/4578.38 c | 8189932 | 1249 165420 467534 | 1 271756 98 | 0.080 % | 4578.34/4578.38 c | 8192053 | 1249 165420 467534 | 1 273877 98 | 0.080 % | 4578.34/4578.38 c | 8201035 | 1249 165420 467534 | 1 282859 98 | 0.080 % | 4578.34/4578.38 c | 8243284 | 1249 165420 467534 | 1 325108 99 | 0.080 % | 4578.34/4578.38 c | 8243896 | 1249 165420 467534 | 1 325720 99 | 0.080 % | 4578.34/4578.38 c | 8243997 | 1249 165420 467534 | 1 325821 99 | 0.080 % | 4578.34/4578.38 c | 8244098 | 1249 165420 467534 | 1 325922 99 | 0.080 % | 4578.34/4578.38 c | 8244200 | 1249 165420 467534 | 1 326024 100 | 0.080 % | 4578.34/4578.38 c | 8283523 | 1249 165420 467534 | 1 365347 102 | 0.080 % | 4578.34/4578.38 c | 8288919 | 1249 165420 467534 | 1 370743 103 | 0.080 % | 4578.34/4578.38 c | 8289518 | 1249 165420 467534 | 1 371342 103 | 0.080 % | 4578.34/4578.38 c | 8292880 | 1249 165420 467534 | 1 374704 103 | 0.080 % | 4578.34/4578.38 c | 8293592 | 1249 165420 467534 | 1 375416 103 | 0.080 % | 4909.05/4909.01 c | 8301066 | 1249 165420 467534 | 1 382890 104 | 0.080 % | 4909.05/4909.01 c | 8305048 | 1249 165420 467534 | 1 386872 104 | 0.080 % | 4909.05/4909.01 c | 8305148 | 1249 165420 467534 | 1 386972 104 | 0.080 % | 4909.05/4909.01 c | 8305250 | 1249 165420 467534 | 1 387074 104 | 0.080 % | 4909.05/4909.01 c | 8307222 | 1249 165420 467534 | 1 389046 104 | 0.080 % | 4909.05/4909.01 c | 8327896 | 1249 165420 467534 | 1 205517 96 | 0.080 % | 4909.05/4909.01 c | 8329025 | 1249 165420 467534 | 1 206646 97 | 0.080 % | 4909.05/4909.01 c | 8329177 | 1249 165420 467534 | 1 206798 97 | 0.080 % | 4909.05/4909.01 c | 8329292 | 1249 165420 467534 | 1 206913 97 | 0.080 % | 4909.05/4909.01 c | 8329394 | 1249 165420 467534 | 1 207015 97 | 0.080 % | 4909.05/4909.01 c | 8329497 | 1249 165420 467534 | 1 207118 97 | 0.080 % | 4909.05/4909.01 c | 8349471 | 1249 165420 467534 | 1 227092 99 | 0.080 % | 4909.05/4909.01 c | 8356679 | 1249 165420 467534 | 1 234300 101 | 0.080 % | 4909.05/4909.01 c | 8385892 | 1249 165420 467534 | 1 263513 106 | 0.080 % | 4909.05/4909.01 c | 8386026 | 1249 165420 467534 | 1 263647 106 | 0.080 % | 4909.05/4909.01 c | 8387711 | 1249 165420 467534 | 1 265332 106 | 0.080 % | 4909.05/4909.01 c | 8387928 | 1249 165420 467534 | 1 265549 106 | 0.080 % | 4909.05/4909.01 c | 8388030 | 1249 165420 467534 | 1 265651 106 | 0.080 % | 4909.05/4909.01 c | 8388131 | 1249 165420 467534 | 1 265752 106 | 0.080 % | 4909.05/4909.01 c | 8397081 | 1249 165420 467534 | 1 274702 108 | 0.080 % | 4909.05/4909.01 c | 8397356 | 1249 165420 467534 | 1 274977 108 | 0.080 % | 4909.05/4909.01 c | 8403603 | 1249 165420 467534 | 1 281224 109 | 0.080 % | 4909.05/4909.01 c | 8404933 | 1249 165420 467534 | 1 282554 109 | 0.080 % | 4909.05/4909.01 c | 8406948 | 1249 165420 467534 | 1 284569 109 | 0.080 % | 4909.05/4909.01 c | 8434099 | 1249 165420 467534 | 1 311720 111 | 0.080 % | 4909.05/4909.01 c | 8434199 | 1249 165420 467534 | 1 311820 111 | 0.080 % | 4909.05/4909.01 c | 8435499 | 1249 165420 467534 | 1 313120 111 | 0.080 % | 4909.05/4909.01 c | 8435599 | 1249 165420 467534 | 1 313220 111 | 0.080 % | 4909.05/4909.01 c | 8443389 | 1249 165420 467534 | 1 321010 112 | 0.080 % | 4909.05/4909.01 c | 8443937 | 1249 165420 467534 | 1 321558 112 | 0.080 % | 4909.05/4909.01 c | 8508630 | 1249 165420 467534 | 1 386251 113 | 0.080 % | 4909.05/4909.01 c | 8541656 | 1249 165420 467534 | 1 212481 97 | 0.080 % | 4909.05/4909.01 c | 8541757 | 1249 165420 467534 | 1 212582 97 | 0.080 % | 4909.05/4909.01 c | 8595231 | 1249 165420 467534 | 1 266056 102 | 0.080 % | 4909.05/4909.01 c | 8601156 | 1249 165420 467534 | 1 271981 103 | 0.080 % | 4909.05/4909.01 c | 8654103 | 1249 165420 467534 | 1 324928 114 | 0.080 % | 4909.05/4909.01 c | 8654241 | 1249 165420 467534 | 1 325066 114 | 0.080 % | 4909.05/4909.01 c | 8654343 | 1249 165420 467534 | 1 325168 114 | 0.080 % | 4909.05/4909.01 c | 8654443 | 1249 165420 467534 | 1 325268 114 | 0.080 % | 4909.05/4909.01 c | 8654544 | 1249 165420 467534 | 1 325369 114 | 0.080 % | 4909.05/4909.01 c | 8654646 | 1249 165420 467534 | 1 325471 114 | 0.080 % | 4909.05/4909.01 c | 8654746 | 1249 165420 467534 | 1 325571 114 | 0.080 % | 4909.05/4909.01 c | 8654848 | 1249 165420 467534 | 1 325673 114 | 0.080 % | 4909.05/4909.01 c | 8654951 | 1249 165420 467534 | 1 325776 114 | 0.080 % | 4909.05/4909.01 c | 8655052 | 1249 165420 467534 | 1 325877 114 | 0.080 % | 4909.05/4909.01 c | 8703756 | 1249 165420 467534 | 1 374581 118 | 0.080 % | 4909.05/4909.01 c | 8703880 | 1249 165420 467534 | 1 374705 118 | 0.080 % | 4909.05/4909.01 c | 8703982 | 1249 165420 467534 | 1 374807 118 | 0.080 % | 4909.05/4909.01 c | 8704082 | 1249 165420 467534 | 1 374907 118 | 0.080 % | 4909.05/4909.01 c | 8707236 | 1249 1
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: 977) 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-3303599-1306950618/watcher-3303599-1306950618 -o /tmp/evaluation-result-3303599-1306950618/solver-3303599-1306950618 -C 5000 -W 5100 -M 15500 glucose.sh HOME/instance-3303599-1306950618.cnf running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 5000 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 5030 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 5100 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.13 2.07 2.01 3/572 7626 /proc/meminfo: memFree=23956588/32951124 swapFree=58940260/67111528 [pid=7626] ppid=7624 vsize=8704 CPUtime=0 cores=1,3,5,7 /proc/7626/stat : 7626 (glucose.sh) S 7624 7626 6362 0 -1 4202496 333 0 0 0 0 0 0 0 21 0 1 0 806659508 8912896 252 33554432000 4194304 4922060 140734233611808 18446744073709551615 212687494277 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0 /proc/7626/statm: 2176 252 211 178 0 69 0 [startup+0.0907291 s] /proc/loadavg: 2.13 2.07 2.01 3/572 7626 /proc/meminfo: memFree=23956588/32951124 swapFree=58940260/67111528 [pid=7626] ppid=7624 vsize=8704 CPUtime=0 cores=1,3,5,7 /proc/7626/stat : 7626 (glucose.sh) S 7624 7626 6362 0 -1 4202496 333 0 0 0 0 0 0 0 21 0 1 0 806659508 8912896 252 33554432000 4194304 4922060 140734233611808 18446744073709551615 212687494277 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0 /proc/7626/statm: 2176 252 211 178 0 69 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8704 [startup+0.100714 s] /proc/loadavg: 2.13 2.07 2.01 3/572 7626 /proc/meminfo: memFree=23956588/32951124 swapFree=58940260/67111528 [pid=7626] ppid=7624 vsize=8704 CPUtime=0 cores=1,3,5,7 /proc/7626/stat : 7626 (glucose.sh) S 7624 7626 6362 0 -1 4202496 333 0 0 0 0 0 0 0 21 0 1 0 806659508 8912896 252 33554432000 4194304 4922060 140734233611808 18446744073709551615 212687494277 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0 /proc/7626/statm: 2176 252 211 178 0 69 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8704 [startup+0.300674 s] /proc/loadavg: 2.13 2.07 2.01 3/572 7626 /proc/meminfo: memFree=23956588/32951124 swapFree=58940260/67111528 [pid=7626] ppid=7624 vsize=8704 CPUtime=0 cores=1,3,5,7 /proc/7626/stat : 7626 (glucose.sh) S 7624 7626 6362 0 -1 4202496 333 0 0 0 0 0 0 0 21 0 1 0 806659508 8912896 252 33554432000 4194304 4922060 140734233611808 18446744073709551615 212687494277 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0 /proc/7626/statm: 2176 252 211 178 0 69 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8704 [startup+0.700599 s] /proc/loadavg: 2.13 2.07 2.01 3/572 7626 /proc/meminfo: memFree=23956588/32951124 swapFree=58940260/67111528 [pid=7626] ppid=7624 vsize=8704 CPUtime=0.38 cores=1,3,5,7 /proc/7626/stat : 7626 (glucose.sh) S 7624 7626 6362 0 -1 4202496 360 3242 0 0 0 0 38 0 18 0 1 0 806659508 8912896 254 33554432000 4194304 4922060 140734233611808 18446744073709551615 212687494277 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/7626/statm: 2176 254 211 178 0 69 0 Current children cumulated CPU time (s) 0.38 Current children cumulated vsize (KiB) 8704 [startup+1.50046 s] /proc/loadavg: 2.13 2.07 2.01 3/578 7636 /proc/meminfo: memFree=23895804/32951124 swapFree=58940260/67111528 [pid=7626] ppid=7624 vsize=8704 CPUtime=0.38 cores=1,3,5,7 /proc/7626/stat : 7626 (glucose.sh) S 7624 7626 6362 0 -1 4202496 360 3242 0 0 0 0 38 0 18 0 1 0 806659508 8912896 254 33554432000 4194304 4922060 140734233611808 18446744073709551615 212687494277 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/7626/statm: 2176 254 211 178 0 69 0 [pid=7636] ppid=7626 vsize=27180 CPUtime=1.09 cores=1,3,5,7 /proc/7636/stat : 7636 (glucose_static) R 7626 7626 6362 0 -1 4202496 7658 0 0 0 108 1 0 0 19 0 1 0 806659548 27832320 3561 33554432000 4194304 4260849 140733918587168 18446744073709551615 4225110 0 0 4096 0 0 0 0 17 3 0 0 0 /proc/7636/statm: 6795 3561 240 17 0 3436 0 Current children cumulated CPU time (s) 1.47 Current children cumulated vsize (KiB) 35884 [startup+3.10016 s] /proc/loadavg: 2.13 2.07 2.01 3/578 7636 /proc/meminfo: memFree=23880304/32951124 swapFree=58940260/67111528 [pid=7626] ppid=7624 vsize=8704 CPUtime=0.38 cores=1,3,5,7 /proc/7626/stat : 7626 (glucose.sh) S 7624 7626 6362 0 -1 4202496 360 3242 0 0 0 0 38 0 18 0 1 0 806659508 8912896 254 33554432000 4194304 4922060 140734233611808 18446744073709551615 212687494277 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/7626/statm: 2176 254 211 178 0 69 0 [pid=7636] ppid=7626 vsize=45832 CPUtime=2.69 cores=1,3,5,7 /proc/7636/stat : 7636 (glucose_static) R 7626 7626 6362 0 -1 4202496 12514 0 0 0 268 1 0 0 23 0 1 0 806659548 46931968 8238 33554432000 4194304 4260849 140733918587168 18446744073709551615 4225080 0 0 4096 0 0 0 0 17 3 0 0 0 /proc/7636/statm: 11458 8238 250 17 0 8099 0 Current children cumulated CPU time (s) 3.07 Current children cumulated vsize (KiB) 54536 [startup+6.30058 s] /proc/loadavg: 2.12 2.07 2.01 3/578 7637 /proc/meminfo: memFree=23835868/32951124 swapFree=58940260/67111528 [pid=7626] ppid=7624 vsize=8704 CPUtime=0.38 cores=1,3,5,7 /proc/7626/stat : 7626 (glucose.sh) S 7624 7626 6362 0 -1 4202496 360 3242 0 0 0 0 38 0 18 0 1 0 806659508 8912896 254 33554432000 4194304 4922060 140734233611808 18446744073709551615 212687494277 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/7626/statm: 2176 254 211 178 0 69 0 [pid=7636] ppid=7626 vsize=57436 CPUtime=5.89 cores=1,3,5,7 /proc/7636/stat : 7636 (glucose_static) R 7626 7626 6362 0 -1 4202496 15623 0 0 0 588 1 0 0 25 0 1 0 806659548 58814464 11166 33554432000 4194304 4260849 140733918587168 18446744073709551615 4225080 0 0 4096 0 0 0 0 17 3 0 0 0 /proc/7636/statm: 14359 11166 250 17 0 11000 0 Current children cumulated CPU time (s) 6.27 Current children cumulated vsize (KiB) 66140 [startup+12.7004 s] /proc/loadavg: 2.11 2.07 2.01 3/578 7638 /proc/meminfo: memFree=23809976/32951124 swapFree=58940260/67111528 [pid=7626] ppid=7624 vsize=8704 CPUtime=0.38 cores=1,3,5,7 /proc/7626/stat : 7626 (glucose.sh) S 7624 7626 6362 0 -1 4202496 360 3242 0 0 0 0 38 0 18 0 1 0 806659508 8912896 254 33554432000 4194304 4922060 140734233611808 18446744073709551615 212687494277 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/7626/statm: 2176 254 211 178 0 69 0 [pid=7636] ppid=7626 vsize=57620 CPUtime=12.29 cores=1,3,5,7 /proc/7636/stat : 7636 (glucose_static) R 7626 7626 6362 0 -1 4202496 20701 0 0 0 1227 2 0 0 25 0 1 0 806659548 59002880 8732 33554432000 4194304 4260849 140733918587168 18446744073709551615 4247213 0 0 4096 0 0 0 0 17 3 0 0 0 /proc/7636/statm: 14405 8732 251 17 0 11046 0 Current children cumulated CPU time (s) 12.67 Current children cumulated vsize (KiB) 66324 [startup+25.5011 s] /proc/loadavg: 2.08 2.06 2.01 3/578 7638 /proc/meminfo: memFree=23762464/32951124 swapFree=58940260/67111528 [pid=7626] ppid=7624 vsize=8704 CPUtime=0.38 cores=1,3,5,7 /proc/7626/stat : 7626 (glucose.sh) S 7624 7626 6362 0 -1 4202496 360 3242 0 0 0 0 38 0 18 0 1 0 806659508 8912896 254 33554432000 4194304 4922060 140734233611808 18446744073709551615 212687494277 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/7626/statm: 2176 254 211 178 0 69 0 [pid=7636] ppid=7626 vsize=76292 CPUtime=25.1 cores=1,3,5,7 /proc/7636/stat : 7636 (glucose_static) R 7626 7626 6362 0 -1 4202496 32341 0 0 0 2506 4 0 0 25 0 1 0 806659548 78123008 14921 33554432000 4194304 4260849 140733918587168 18446744073709551615 4225969 0 0 4096 0 0 0 0 17 3 0 0 0 /proc/7636/statm: 19073 14921 251 17 0 15714 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 84996 [startup+51.1004 s] /proc/loadavg: 2.28 2.10 2.02 3/578 7639 /proc/meminfo: memFree=23754824/32951124 swapFree=58940260/67111528 [pid=7626] ppid=7624 vsize=8704 CPUtime=0.38 cores=1,3,5,7 /proc/7626/stat : 7626 (glucose.sh) S 7624 7626 6362 0 -1 4202496 360 3242 0 0 0 0 38 0 18 0 1 0 806659508 8912896 254 33554432000 4194304 4922060 140734233611808 18446744073709551615 212687494277 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/7626/statm: 2176 254 211 178 0 69 0 [pid=7636] ppid=7626 vsize=126392 CPUtime=50.7 cores=1,3,5,7 /proc/7636/stat : 7636 (glucose_static) R 7626 7626 6362 0 -1 4202496 49291 0 0 0 5064 6 0 0 25 0 1 0 806659548 129425408 23839 33554432000 4194304 4260849 140733918587168 18446744073709551615 4225080 0 0 4096 0 0 0 0 17 3 0 0 0 /proc/7636/statm: 31598 23839 251 17 0 28239 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 135096 [startup+102.321 s] /proc/loadavg: 2.12 2.09 2.02 3/578 7640 /proc/meminfo: memFree=23711276/32951124 swapFree=58940260/67111528 [pid=7626] ppid=7624 vsize=8704 CPUtime=0.38 cores=1,3,5,7 /proc/7626/stat : 7626 (glucose.sh) S 7624 7626 6362 0 -1 4202496 360 3242 0 0 0 0 38 0 18 0 1 0 806659508 8912896 254 33554432000 4194304 4922060 140734233611808 18446744073709551615 212687494277 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/7626/statm: 2176 254 211 178 0 69 0 [pid=7636] ppid=7626 vsize=138808 CPUtime=101.92 cores=1,3,5,7 /proc/7636/stat : 7636 (glucose_static) R 7626 7626 6362 0 -1 4202496 112803 0 0 0 10177 15 0 0 25 0 1 0 806659548 142139392 28257 33554432000 4194304 4260849 140733918587168 18446744073709551615 4224878 0 0 4096 0 0 0 0 17 3 0 0 0 /proc/7636/statm: 34702 28257 251 17 0 31343 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 147512 [startup+162.301 s] /proc/loadavg: 2.04 2.07 2.01 3/578 7641 /proc/meminfo: memFree=23698468/32951124 swapFree=58940260/67111528 [pid=7626] ppid=7624 vsize=8704 CPUtime=0.38 cores=1,3,5,7 /proc/7626/stat : 7626 (glucose.sh) S 7624 7626 6362 0 -1 4202496 360 3242 0 0 0 0 38 0 18 0 1 0 806659508 8912896 254 33554432000 4194304 4922060 140734233611808 18446744073709551615 212687494277 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/7626/statm: 2176 254 211 178 0 69 0 [pid=7636] ppid=7626 vsize=138808 CPUtime=161.9 cores=1,3,5,7 /proc/7636/stat : 7636 (glucose_static) R 7626 7626 6362 0 -1 4202496 181354 0 0 0 16166 24 0 0 25 0 1 0 806659548 142139392 30975 33554432000 4194304 4260849 140733918587168 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 3 0 0 0 /proc/7636/statm: 34702 30975 252 17 0 31343 0 Current children cumulated CPU time (s) 162.28 Current children cumulated vsize (KiB) 147512 [startup+222.301 s] /proc/loadavg: 2.01 2.05 2.01 3/578 7643 /proc/meminfo: memFree=23719880/32951124 swapFree=58940260/67111528 [pid=7626] ppid=7624 vsize=8704 CPUtime=0.38 cores=1,3,5,7 /proc/7626/stat : 7626 (glucose.sh) S 7624 7626 6362 0 -1 4202496 360 3242 0 0 0 0 38 0 18 0 1 0 806659508 8912896 254 33554432000 4194304 4922060 140734233611808 18446744073709551615 212687494277 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/7626/statm: 2176 254 211 178 0 69 0 [pid=7636] ppid=7626 vsize=138808 CPUtime=221.85 cores=1,3,5,7 /proc/7636/stat : 7636 (glucose_static) R 7626 7626 6362 0 -1 4202496 241600 0 0 0 22151 34 0 0 25 0 1 0 806659548 142139392 28958 33554432000 4194304 4260849 140733918587168 18446744073709551615 4224331 0 0 4096 0 0 0 0 17 3 0 0 0 /proc/7636/statm: 34702 28958 252 17 0 31343 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 147512 [startup+282.3 s] /proc/loadavg: 2.00 2.04 2.00 3/578 7645 /proc/meminfo: memFree=23681528/32951124 swapFree=58940260/67111528 [pid=7626] ppid=7624 vsize=8704 CPUtime=0.38 cores=1,3,5,7 /proc/7626/stat : 7626 (glucose.sh) S 7624 7626 6362 0 -1 4202496 360 3242 0 0 0 0 38 0 18 0 1 0 806659508 8912896 254 33554432000 4194304 4922060 140734233611808 18446744073709551615 212687494277 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/7626/statm: 2176 254 211 178 0 69 0 [pid=7636] ppid=7626 vsize=169628 CPUtime=281.86 cores=1,3,5,7 /proc/7636/stat : 7636 (glucose_static) R 7626 7626 6362 0 -1 4202496 299730 0 0 0 28139 47 0 0 25 0 1 0 806659548 173699072 32927 33554432000 4194304 4260849 140733918587168 18446744073709551615 4224875 0 0 4096 0 0 0 0 17 3 0 0 0 /proc/7636/statm: 42407 32927 252 17 0 39048 0 Current children cumulated CPU time (s) 282.24 Current children cumulated vsize (KiB) 178332 [startup+342.3 s] /proc/loadavg: 2.00 2.03 2.00 3/578 7646 /proc/meminfo: memFree=23650996/32951124 swapFree=58940260/67111528 [pid=7626] ppid=7624 vsize=8704 CPUtime=0.38 cores=1,3,5,7 /proc/7626/stat : 7626 (glucose.sh) S 7624 7626 6362 0 -1 4202496 360 3242 0 0 0 0 38 0 18 0 1 0 806659508 8912896 254 33554432000 4194304 4922060 140734233611808 18446744073709551615 212687494277 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/7626/statm: 2176 254 211 178 0 69 0 [pid=7636] ppid=7626 vsize=169628 CPUtime=341.85 cores=1,3,5,7 /proc/7636/stat : 7636 (glucose_static) R 7626 7626 6362 0 -1 4202496 344290 0 0 0 34130 55 0 0 25 0 1 0 806659548 173699072 38063 33554432000 4194304 4260849 140733918587168 18446744073709551615 4224845 0 0 4096 0 0 0 0 17 3 0 0 0 /proc/7636/statm: 42407 38063 252 17 0 39048 0 Current children cumulated CPU time (s) 342.23 Current children cumulated vsize (KiB) 178332 [startup+402.3 s] /proc/loadavg: 2.00 2.02 2.00 3/578 7648 /proc/meminfo: memFree=23677108/32951124 swapFree=58940260/67111528 [pid=7626] ppid=7624 vsize=8704 CPUtime=0.38 cores=1,3,5,7 ################ # More data... # ################ /proc/7636/statm: 77569 64964 252 17 0 74210 0 Current children cumulated CPU time (s) 4302.33 Current children cumulated vsize (KiB) 318980 [startup+4362.3 s] /proc/loadavg: 2.15 2.04 2.01 3/578 7774 /proc/meminfo: memFree=23304904/32951124 swapFree=58940260/67111528 [pid=7626] ppid=7624 vsize=8704 CPUtime=0.38 cores=1,3,5,7 /proc/7626/stat : 7626 (glucose.sh) S 7624 7626 6362 0 -1 4202496 360 3242 0 0 0 0 38 0 18 0 1 0 806659508 8912896 254 33554432000 4194304 4922060 140734233611808 18446744073709551615 212687494277 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/7626/statm: 2176 254 211 178 0 69 0 [pid=7636] ppid=7626 vsize=391664 CPUtime=4361.96 cores=1,3,5,7 /proc/7636/stat : 7636 (glucose_static) R 7626 7626 6362 0 -1 4202496 1862059 0 0 0 435767 429 0 0 25 0 1 0 806659548 401063936 78294 33554432000 4194304 4260849 140733918587168 18446744073709551615 4225146 0 0 4096 0 0 0 0 17 3 0 0 0 /proc/7636/statm: 97916 78294 252 17 0 94557 0 Current children cumulated CPU time (s) 4362.34 Current children cumulated vsize (KiB) 400368 [startup+4422.3 s] /proc/loadavg: 2.32 2.10 2.03 3/578 7776 /proc/meminfo: memFree=23344432/32951124 swapFree=58940260/67111528 [pid=7626] ppid=7624 vsize=8704 CPUtime=0.38 cores=1,3,5,7 /proc/7626/stat : 7626 (glucose.sh) S 7624 7626 6362 0 -1 4202496 360 3242 0 0 0 0 38 0 18 0 1 0 806659508 8912896 254 33554432000 4194304 4922060 140734233611808 18446744073709551615 212687494277 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/7626/statm: 2176 254 211 178 0 69 0 [pid=7636] ppid=7626 vsize=392108 CPUtime=4421.96 cores=1,3,5,7 /proc/7636/stat : 7636 (glucose_static) R 7626 7626 6362 0 -1 4202496 1870277 0 0 0 441764 432 0 0 25 0 1 0 806659548 401518592 86449 33554432000 4194304 4260849 140733918587168 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 3 0 0 0 /proc/7636/statm: 98027 86449 252 17 0 94668 0 Current children cumulated CPU time (s) 4422.34 Current children cumulated vsize (KiB) 400812 [startup+4482.3 s] /proc/loadavg: 2.18 2.10 2.03 3/578 7781 /proc/meminfo: memFree=23387508/32951124 swapFree=58940260/67111528 [pid=7626] ppid=7624 vsize=8704 CPUtime=0.38 cores=1,3,5,7 /proc/7626/stat : 7626 (glucose.sh) S 7624 7626 6362 0 -1 4202496 360 3242 0 0 0 0 38 0 18 0 1 0 806659508 8912896 254 33554432000 4194304 4922060 140734233611808 18446744073709551615 212687494277 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/7626/statm: 2176 254 211 178 0 69 0 [pid=7636] ppid=7626 vsize=310720 CPUtime=4481.95 cores=1,3,5,7 /proc/7636/stat : 7636 (glucose_static) R 7626 7626 6362 0 -1 4202496 1898797 0 0 0 447756 439 0 0 25 0 1 0 806659548 318177280 64876 33554432000 4194304 4260849 140733918587168 18446744073709551615 4224647 0 0 4096 0 0 0 0 17 3 0 0 0 /proc/7636/statm: 77680 64876 252 17 0 74321 0 Current children cumulated CPU time (s) 4482.33 Current children cumulated vsize (KiB) 319424 [startup+4542.3 s] /proc/loadavg: 2.06 2.08 2.02 3/578 7782 /proc/meminfo: memFree=23312392/32951124 swapFree=58940260/67111528 [pid=7626] ppid=7624 vsize=8704 CPUtime=0.38 cores=1,3,5,7 /proc/7626/stat : 7626 (glucose.sh) S 7624 7626 6362 0 -1 4202496 360 3242 0 0 0 0 38 0 18 0 1 0 806659508 8912896 254 33554432000 4194304 4922060 140734233611808 18446744073709551615 212687494277 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/7626/statm: 2176 254 211 178 0 69 0 [pid=7636] ppid=7626 vsize=393260 CPUtime=4541.96 cores=1,3,5,7 /proc/7636/stat : 7636 (glucose_static) R 7626 7626 6362 0 -1 4202496 1907949 0 0 0 453754 442 0 0 25 0 1 0 806659548 402698240 73964 33554432000 4194304 4260849 140733918587168 18446744073709551615 4224944 0 0 4096 0 0 0 0 17 3 0 0 0 /proc/7636/statm: 98315 73964 252 17 0 94956 0 Current children cumulated CPU time (s) 4542.34 Current children cumulated vsize (KiB) 401964 [startup+4602.3 s] /proc/loadavg: 2.02 2.06 2.02 3/578 7784 /proc/meminfo: memFree=23326480/32951124 swapFree=58940260/67111528 [pid=7626] ppid=7624 vsize=8704 CPUtime=0.38 cores=1,3,5,7 /proc/7626/stat : 7626 (glucose.sh) S 7624 7626 6362 0 -1 4202496 360 3242 0 0 0 0 38 0 18 0 1 0 806659508 8912896 254 33554432000 4194304 4922060 140734233611808 18446744073709551615 212687494277 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/7626/statm: 2176 254 211 178 0 69 0 [pid=7636] ppid=7626 vsize=393576 CPUtime=4601.97 cores=1,3,5,7 /proc/7636/stat : 7636 (glucose_static) R 7626 7626 6362 0 -1 4202496 1918087 0 0 0 459751 446 0 0 25 0 1 0 806659548 403021824 84032 33554432000 4194304 4260849 140733918587168 18446744073709551615 4224864 0 0 4096 0 0 0 0 17 3 0 0 0 /proc/7636/statm: 98394 84032 252 17 0 95035 0 Current children cumulated CPU time (s) 4602.35 Current children cumulated vsize (KiB) 402280 [startup+4662.3 s] /proc/loadavg: 2.00 2.05 2.01 3/578 7785 /proc/meminfo: memFree=23332524/32951124 swapFree=58940260/67111528 [pid=7626] ppid=7624 vsize=8704 CPUtime=0.38 cores=1,3,5,7 /proc/7626/stat : 7626 (glucose.sh) S 7624 7626 6362 0 -1 4202496 360 3242 0 0 0 0 38 0 18 0 1 0 806659508 8912896 254 33554432000 4194304 4922060 140734233611808 18446744073709551615 212687494277 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/7626/statm: 2176 254 211 178 0 69 0 [pid=7636] ppid=7626 vsize=312188 CPUtime=4661.96 cores=1,3,5,7 /proc/7636/stat : 7636 (glucose_static) R 7626 7626 6362 0 -1 4202496 1950554 0 0 0 465744 452 0 0 25 0 1 0 806659548 319680512 72262 33554432000 4194304 4260849 140733918587168 18446744073709551615 4225060 0 0 4096 0 0 0 0 17 3 0 0 0 /proc/7636/statm: 78047 72262 252 17 0 74688 0 Current children cumulated CPU time (s) 4662.34 Current children cumulated vsize (KiB) 320892 [startup+4722.32 s] /proc/loadavg: 2.00 2.04 2.01 3/578 7787 /proc/meminfo: memFree=23266508/32951124 swapFree=58940260/67111528 [pid=7626] ppid=7624 vsize=8704 CPUtime=0.38 cores=1,3,5,7 /proc/7626/stat : 7626 (glucose.sh) S 7624 7626 6362 0 -1 4202496 360 3242 0 0 0 0 38 0 18 0 1 0 806659508 8912896 254 33554432000 4194304 4922060 140734233611808 18446744073709551615 212687494277 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/7626/statm: 2176 254 211 178 0 69 0 [pid=7636] ppid=7626 vsize=393764 CPUtime=4721.99 cores=1,3,5,7 /proc/7636/stat : 7636 (glucose_static) R 7626 7626 6362 0 -1 4202496 1958225 0 0 0 471743 456 0 0 25 0 1 0 806659548 403214336 79873 33554432000 4194304 4260849 140733918587168 18446744073709551615 4224873 0 0 4096 0 0 0 0 17 3 0 0 0 /proc/7636/statm: 98441 79873 252 17 0 95082 0 Current children cumulated CPU time (s) 4722.37 Current children cumulated vsize (KiB) 402468 [startup+4782.3 s] /proc/loadavg: 2.00 2.03 2.00 3/578 7789 /proc/meminfo: memFree=23317436/32951124 swapFree=58940260/67111528 [pid=7626] ppid=7624 vsize=8704 CPUtime=0.38 cores=1,3,5,7 /proc/7626/stat : 7626 (glucose.sh) S 7624 7626 6362 0 -1 4202496 360 3242 0 0 0 0 38 0 18 0 1 0 806659508 8912896 254 33554432000 4194304 4922060 140734233611808 18446744073709551615 212687494277 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/7626/statm: 2176 254 211 178 0 69 0 [pid=7636] ppid=7626 vsize=395124 CPUtime=4781.97 cores=1,3,5,7 /proc/7636/stat : 7636 (glucose_static) R 7626 7626 6362 0 -1 4202496 1967180 0 0 0 477737 460 0 0 25 0 1 0 806659548 404606976 88764 33554432000 4194304 4260849 140733918587168 18446744073709551615 4246608 0 0 4096 0 0 0 0 17 3 0 0 0 /proc/7636/statm: 98781 88764 252 17 0 95422 0 Current children cumulated CPU time (s) 4782.35 Current children cumulated vsize (KiB) 403828 [startup+4842.3 s] /proc/loadavg: 2.00 2.02 2.00 3/578 7790 /proc/meminfo: memFree=23343548/32951124 swapFree=58940260/67111528 [pid=7626] ppid=7624 vsize=8704 CPUtime=0.38 cores=1,3,5,7 /proc/7626/stat : 7626 (glucose.sh) S 7624 7626 6362 0 -1 4202496 360 3242 0 0 0 0 38 0 18 0 1 0 806659508 8912896 254 33554432000 4194304 4922060 140734233611808 18446744073709551615 212687494277 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/7626/statm: 2176 254 211 178 0 69 0 [pid=7636] ppid=7626 vsize=395124 CPUtime=4841.96 cores=1,3,5,7 /proc/7636/stat : 7636 (glucose_static) R 7626 7626 6362 0 -1 4202496 2000537 0 0 0 483730 466 0 0 25 0 1 0 806659548 404606976 73517 33554432000 4194304 4260849 140733918587168 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 3 0 0 0 /proc/7636/statm: 98781 73517 252 17 0 95422 0 Current children cumulated CPU time (s) 4842.34 Current children cumulated vsize (KiB) 403828 [startup+4902.3 s] /proc/loadavg: 2.00 2.02 2.00 3/578 7792 /proc/meminfo: memFree=23255828/32951124 swapFree=58940260/67111528 [pid=7626] ppid=7624 vsize=8704 CPUtime=0.38 cores=1,3,5,7 /proc/7626/stat : 7626 (glucose.sh) S 7624 7626 6362 0 -1 4202496 360 3242 0 0 0 0 38 0 18 0 1 0 806659508 8912896 254 33554432000 4194304 4922060 140734233611808 18446744073709551615 212687494277 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/7626/statm: 2176 254 211 178 0 69 0 [pid=7636] ppid=7626 vsize=395632 CPUtime=4901.97 cores=1,3,5,7 /proc/7636/stat : 7636 (glucose_static) R 7626 7626 6362 0 -1 4202496 2012497 0 0 0 489726 471 0 0 25 0 1 0 806659548 405127168 85417 33554432000 4194304 4260849 140733918587168 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 3 0 0 0 /proc/7636/statm: 98908 85417 252 17 0 95549 0 Current children cumulated CPU time (s) 4902.35 Current children cumulated vsize (KiB) 404336 [startup+4962.3 s] /proc/loadavg: 2.15 2.07 2.02 3/578 7794 /proc/meminfo: memFree=23408788/32951124 swapFree=58940260/67111528 [pid=7626] ppid=7624 vsize=8704 CPUtime=0.38 cores=1,3,5,7 /proc/7626/stat : 7626 (glucose.sh) S 7624 7626 6362 0 -1 4202496 360 3242 0 0 0 0 38 0 18 0 1 0 806659508 8912896 254 33554432000 4194304 4922060 140734233611808 18446744073709551615 212687494277 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/7626/statm: 2176 254 211 178 0 69 0 [pid=7636] ppid=7626 vsize=317368 CPUtime=4961.97 cores=1,3,5,7 /proc/7636/stat : 7636 (glucose_static) R 7626 7626 6362 0 -1 4202496 2042863 0 0 0 495718 479 0 0 25 0 1 0 806659548 324984832 63706 33554432000 4194304 4260849 140733918587168 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 3 0 0 0 /proc/7636/statm: 79342 63706 252 17 0 75983 0 Current children cumulated CPU time (s) 4962.35 Current children cumulated vsize (KiB) 326072 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+5000 s] /proc/loadavg: 2.19 2.09 2.02 3/578 7795 /proc/meminfo: memFree=23358660/32951124 swapFree=58940260/67111528 [pid=7626] ppid=7624 vsize=8704 CPUtime=0.38 cores=1,3,5,7 /proc/7626/stat : 7626 (glucose.sh) S 7624 7626 6362 0 -1 4202496 360 3242 0 0 0 0 38 0 18 0 1 0 806659508 8912896 254 33554432000 4194304 4922060 140734233611808 18446744073709551615 212687494277 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/7626/statm: 2176 254 211 178 0 69 0 [pid=7636] ppid=7626 vsize=317368 CPUtime=4999.68 cores=1,3,5,7 /proc/7636/stat : 7636 (glucose_static) R 7626 7626 6362 0 -1 4202496 2048988 0 0 0 499487 481 0 0 25 0 1 0 806659548 324984832 69785 33554432000 4194304 4260849 140733918587168 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 3 0 0 0 /proc/7636/statm: 79342 69785 252 17 0 75983 0 Current children cumulated CPU time (s) 5000.06 Current children cumulated vsize (KiB) 326072 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 7626 and gives # childrusage.ru_utime.tv_sec=0 # childrusage.ru_utime.tv_usec=382941 # childrusage.ru_stime.tv_sec=0 # childrusage.ru_stime.tv_usec=10998 # CPU time returned by wait4() is 0.393939 # while last known CPU time is 5000.06 # # Solver probably didn't/couldn't wait for its children # Using CPU time of the last sample as value... Real time (s): 5000.03 CPU time (s): 5000.06 CPU user time (s): 4995.25 CPU system time (s): 4.81 CPU usage (%): 100.001 Max. virtual memory (cumulated for all children) (KiB): 537688 getrusage(RUSAGE_CHILDREN,...) data: user time used= 0.382941 system time used= 0.010998 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 3602 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= 9 involuntary context switches= 5 runsolver used 28.7686 second user time and 66.6919 second system time The end
Begin job on node139 at 2011-06-01 19:50:18 IDJOB=3303599 IDBENCH=88205 IDSOLVER=1687 FILE ID=node139/3303599-1306950618 RUNJOBID= node139-1306950618-7613 PBS_JOBID= 13488591 Free space on /tmp= 73208 MiB SOLVER NAME= glucose 2 BENCH NAME= SAT11/crafted/anton/SRHD-SGI/srhd-sgi-m37-q446.25-n35-p30-s33692332.cnf COMMAND LINE= glucose.sh BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3303599-1306950618/watcher-3303599-1306950618 -o /tmp/evaluation-result-3303599-1306950618/solver-3303599-1306950618 -C 5000 -W 5100 -M 15500 glucose.sh HOME/instance-3303599-1306950618.cnf TIME LIMIT= 5000 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 1002234f62b5dfa01a75197c65e66327 RANDOM SEED=2109726087 node139.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.852 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5333.70 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.852 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.852 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.74 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.852 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.75 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.852 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 : 5321.49 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.852 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.852 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.82 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.852 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.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 23956736 kB Buffers: 153584 kB Cached: 333184 kB SwapCached: 3628 kB Active: 8365480 kB Inactive: 329680 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 23956736 kB SwapTotal: 67111528 kB SwapFree: 58940260 kB Dirty: 7416 kB Writeback: 0 kB AnonPages: 8206260 kB Mapped: 32572 kB Slab: 148492 kB PageTables: 79080 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 170874992 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= 73188 MiB End job on node139 at 2011-06-01 21:13:40