| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| glucose 2 | SAT | 763.725 | 763.707 |
| Name | crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/ VanDerWaerden_pd_2-3-23_505.cnf |
| MD5SUM | 8e7b614904543aa28491ea45c761cbd5 |
| Bench Category | CRAFTED (crafted instances) |
| Best result obtained on this benchmark | SAT |
| Best CPU time to get the best result obtained on this benchmark | 97.5682 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 253 |
| Number of clauses | 34014 |
| Sum of the clauses size | 150994 |
| Maximum clause length | 23 |
| Minimum clause length | 2 |
| Number of clauses of size 1 | 0 |
| Number of clauses of size 2 | 336 |
| Number of clauses of size 3 | 31196 |
| Number of clauses of size 4 | 0 |
| Number of clauses of size 5 | 0 |
| Number of clauses of size over 5 | 2482 |
0.00/0.00 c 0.00/0.00 c Starting SatElite Preprocessing 0.00/0.00 c 0.00/0.00 c Parsing... 0.00/0.01 c ============================================================================== 0.00/0.01 c | | ORIGINAL | LEARNT | | 0.00/0.01 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress | 0.00/0.01 c ============================================================================== 0.00/0.01 c | 0 | 34014 150994 | 10204 0 0 nan | 0.000 % | 0.00/0.01 c ============================================================================== 0.00/0.01 c Result : #vars: 253 #clauses: 34014 #literals: 150994 0.00/0.01 c CPU time: 0.011998 s 0.00/0.01 c ============================================================================== 0.00/0.03 c 0.00/0.03 c Starting glucose 0.00/0.03 c 52.18/52.29 c This is glucose 2.0 -- based on MiniSAT (Many thanks to MiniSAT team) 52.18/52.29 c WARNING: for repeatability, setting FPU to use double precision 52.18/52.29 c ============================[ Problem Statistics ]============================= 52.18/52.29 c | | 52.18/52.29 c | Number of variables: 253 | 52.18/52.29 c | Number of clauses: 34014 | 52.18/52.29 c | Parse time: 0.01 s | 52.18/52.29 c | | 52.18/52.29 c ============================[ Search Statistics ]============================== 52.18/52.29 c | Conflicts | ORIGINAL | LEARNT | Progress | 52.18/52.29 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | | 52.18/52.29 c =============================================================================== 52.18/52.29 c | 2169 | 253 34014 150994 | 1 2169 25 | 0.000 % | 52.18/52.29 c | 2510 | 253 34014 150994 | 1 2510 26 | 0.000 % | 52.18/52.29 c | 2613 | 253 34014 150994 | 1 2613 26 | 0.000 % | 52.18/52.29 c | 2715 | 253 34014 150994 | 1 2715 26 | 0.000 % | 52.18/52.29 c | 6883 | 253 34014 150994 | 1 4885 27 | 0.000 % | 52.18/52.29 c | 7994 | 253 34014 150994 | 1 5996 28 | 0.000 % | 52.18/52.29 c | 27512 | 253 34014 150994 | 1 14465 26 | 0.000 % | 52.18/52.29 c | 39227 | 253 34014 150994 | 1 16905 26 | 0.000 % | 52.18/52.29 c | 80044 | 253 34014 150994 | 1 31469 25 | 0.000 % | 52.18/52.29 c | 143388 | 253 34014 150994 | 1 35997 23 | 0.000 % | 52.18/52.29 c | 143489 | 253 34014 150994 | 1 36098 23 | 0.000 % | 52.18/52.29 c | 143772 | 253 34014 150994 | 1 36381 23 | 0.000 % | 52.18/52.29 c | 143875 | 253 34014 150994 | 1 36484 23 | 0.000 % | 52.18/52.29 c | 143975 | 253 34014 150994 | 1 36584 23 | 0.000 % | 52.18/52.29 c | 144075 | 253 34014 150994 | 1 36684 23 | 0.000 % | 52.18/52.29 c | 155310 | 253 34014 150994 | 1 47919 24 | 0.000 % | 52.18/52.29 c | 174696 | 253 34014 150994 | 1 42508 24 | 0.000 % | 52.18/52.29 c | 177494 | 253 34014 150994 | 1 45306 24 | 0.000 % | 52.18/52.29 c | 190476 | 253 34014 150994 | 1 30893 22 | 0.000 % | 52.18/52.29 c | 206426 | 253 34014 150994 | 1 46843 24 | 0.000 % | 52.18/52.29 c | 206527 | 253 34014 150994 | 1 46944 24 | 0.000 % | 52.18/52.29 c | 218109 | 253 34014 150994 | 1 58526 24 | 0.000 % | 52.18/52.29 c | 300624 | 253 34014 150994 | 1 43235 22 | 0.000 % | 52.18/52.29 c | 300724 | 253 34014 150994 | 1 43335 22 | 0.000 % | 52.18/52.29 c | 301247 | 253 34014 150994 | 1 43858 22 | 0.000 % | 52.18/52.29 c | 324451 | 253 34014 150994 | 1 67062 23 | 0.000 % | 52.18/52.29 c | 324551 | 253 34014 150994 | 1 67162 23 | 0.000 % | 52.18/52.29 c | 366501 | 253 34014 150994 | 1 71313 24 | 0.000 % | 52.18/52.29 c | 708552 | 253 34014 150994 | 1 75966 20 | 0.000 % | 52.18/52.29 c | 714779 | 253 34014 150994 | 1 82193 21 | 0.000 % | 52.18/52.29 c | 726102 | 253 34014 150994 | 1 93516 22 | 0.000 % | 52.18/52.29 c | 729849 | 253 34014 150994 | 1 97263 22 | 0.000 % | 52.18/52.29 c | 731124 | 253 34014 150994 | 1 98538 22 | 0.000 % | 52.18/52.29 c | 732324 | 253 34014 150994 | 1 99738 22 | 0.000 % | 52.18/52.29 c | 732904 | 253 34014 150994 | 1 100318 22 | 0.000 % | 52.18/52.29 c | 756903 | 253 34014 150994 | 1 65712 20 | 0.000 % | 52.18/52.29 c | 757004 | 253 34014 150994 | 1 65813 20 | 0.000 % | 52.18/52.29 c | 758877 | 253 34014 150994 | 1 67686 20 | 0.000 % | 52.18/52.29 c | 758978 | 253 34014 150994 | 1 67787 20 | 0.000 % | 75.89/76.00 c | 759079 | 253 34014 150994 | 1 67888 20 | 0.000 % | 75.89/76.00 c | 759180 | 253 34014 150994 | 1 67989 21 | 0.000 % | 75.89/76.00 c | 759280 | 253 34014 150994 | 1 68089 21 | 0.000 % | 75.89/76.00 c | 759380 | 253 34014 150994 | 1 68189 21 | 0.000 % | 75.89/76.00 c | 762085 | 253 34014 150994 | 1 70894 21 | 0.000 % | 75.89/76.00 c | 762781 | 253 34014 150994 | 1 71590 21 | 0.000 % | 75.89/76.00 c | 767632 | 253 34014 150994 | 1 76441 21 | 0.000 % | 75.89/76.00 c | 767736 | 253 34014 150994 | 1 76545 21 | 0.000 % | 75.89/76.00 c | 767837 | 253 34014 150994 | 1 76646 21 | 0.000 % | 75.89/76.00 c | 773852 | 253 34014 150994 | 1 82661 22 | 0.000 % | 75.89/76.00 c | 774188 | 253 34014 150994 | 1 82997 22 | 0.000 % | 75.89/76.00 c | 787119 | 253 34014 150994 | 1 95928 22 | 0.000 % | 75.89/76.00 c | 800747 | 253 34014 150994 | 1 109556 23 | 0.000 % | 75.89/76.00 c | 800847 | 253 34014 150994 | 1 109656 23 | 0.000 % | 75.89/76.00 c | 811335 | 253 34014 150994 | 1 120144 23 | 0.000 % | 75.89/76.00 c | 829956 | 253 34014 150994 | 1 77569 21 | 0.000 % | 75.89/76.00 c | 832014 | 253 34014 150994 | 1 79627 21 | 0.000 % | 75.89/76.00 c | 832114 | 253 34014 150994 | 1 79727 21 | 0.000 % | 75.89/76.00 c | 833376 | 253 34014 150994 | 1 80989 21 | 0.000 % | 75.89/76.00 c | 837177 | 253 34014 150994 | 1 84790 21 | 0.000 % | 75.89/76.00 c | 837277 | 253 34014 150994 | 1 84890 21 | 0.000 % | 75.89/76.00 c | 849850 | 253 34014 150994 | 1 97463 22 | 0.000 % | 75.89/76.00 c | 852747 | 253 34014 150994 | 1 100360 22 | 0.000 % | 75.89/76.00 c | 854802 | 253 34014 150994 | 1 102415 22 | 0.000 % | 75.89/76.00 c | 854903 | 253 34014 150994 | 1 102516 22 | 0.000 % | 75.89/76.00 c | 859459 | 253 34014 150994 | 1 107072 22 | 0.000 % | 75.89/76.00 c | 862749 | 253 34014 150994 | 1 110362 22 | 0.000 % | 75.89/76.00 c | 863032 | 253 34014 150994 | 1 110645 22 | 0.000 % | 75.89/76.00 c | 863978 | 253 34014 150994 | 1 111591 22 | 0.000 % | 75.89/76.00 c | 864078 | 253 34014 150994 | 1 111691 22 | 0.000 % | 75.89/76.00 c | 864178 | 253 34014 150994 | 1 111791 22 | 0.000 % | 75.89/76.00 c | 864326 | 253 34014 150994 | 1 111939 22 | 0.000 % | 75.89/76.00 c | 864426 | 253 34014 150994 | 1 112039 22 | 0.000 % | 75.89/76.00 c | 864527 | 253 34014 150994 | 1 112140 22 | 0.000 % | 75.89/76.00 c | 864629 | 253 34014 150994 | 1 112242 22 | 0.000 % | 75.89/76.00 c | 865350 | 253 34014 150994 | 1 112963 22 | 0.000 % | 75.89/76.00 c | 865450 | 253 34014 150994 | 1 113063 22 | 0.000 % | 75.89/76.00 c | 872180 | 253 34014 150994 | 1 119793 23 | 0.000 % | 75.89/76.00 c | 937864 | 253 34014 150994 | 1 121681 22 | 0.000 % | 75.89/76.00 c | 964639 | 253 34014 150994 | 1 82058 20 | 0.000 % | 75.89/76.00 c | 964739 | 253 34014 150994 | 1 82158 20 | 0.000 % | 75.89/76.00 c | 964839 | 253 34014 150994 | 1 82258 20 | 0.000 % | 75.89/76.00 c | 969460 | 253 34014 150994 | 1 86879 21 | 0.000 % | 75.89/76.00 c | 1033235 | 253 34014 150994 | 1 81652 20 | 0.000 % | 75.89/76.00 c | 1037686 | 253 34014 150994 | 1 86103 20 | 0.000 % | 75.89/76.00 c | 1038056 | 253 34014 150994 | 1 86473 20 | 0.000 % | 75.89/76.00 c | 1044871 | 253 34014 150994 | 1 93288 21 | 0.000 % | 75.89/76.00 c | 1044973 | 253 34014 150994 | 1 93390 21 | 0.000 % | 75.89/76.00 c | 1048898 | 253 34014 150994 | 1 97315 21 | 0.000 % | 75.89/76.00 c | 1049177 | 253 34014 150994 | 1 97594 21 | 0.000 % | 119.08/119.11 c | 1078410 | 253 34014 150994 | 1 126827 22 | 0.000 % | 119.08/119.11 c | 1078511 | 253 34014 150994 | 1 126928 22 | 0.000 % | 119.08/119.11 c | 1080803 | 253 34014 150994 | 1 129220 22 | 0.000 % | 119.08/119.11 c | 1081501 | 253 34014 150994 | 1 129918 22 | 0.000 % | 119.08/119.11 c | 1086236 | 253 34014 150994 | 1 134653 22 | 0.000 % | 119.08/119.11 c | 1094435 | 253 34014 150994 | 1 142852 22 | 0.000 % | 119.08/119.11 c | 1094954 | 253 34014 150994 | 1 71764 19 | 0.000 % | 119.08/119.11 c | 1095251 | 253 34014 150994 | 1 72061 19 | 0.000 % | 119.08/119.11 c | 1111236 | 253 34014 150994 | 1 88046 20 | 0.000 % | 119.08/119.11 c | 1152027 | 253 34014 150994 | 1 128837 21 | 0.000 % | 119.08/119.11 c | 1152464 | 253 34014 150994 | 1 129274 21 | 0.000 % | 119.08/119.11 c | 1168754 | 253 34014 150994 | 1 145564 21 | 0.000 % | 119.08/119.11 c | 1170063 | 253 34014 150994 | 1 146873 21 | 0.000 % | 119.08/119.11 c | 1223340 | 253 34014 150994 | 1 125951 21 | 0.000 % | 119.08/119.11 c | 1419552 | 253 34014 150994 | 1 83971 19 | 0.000 % | 119.08/119.11 c | 1428442 | 253 34014 150994 | 1 92861 19 | 0.000 % | 119.08/119.11 c | 1431868 | 253 34014 150994 | 1 96287 20 | 0.000 % | 119.08/119.11 c | 1431968 | 253 34014 150994 | 1 96387 20 | 0.000 % | 119.08/119.11 c | 1432081 | 253 34014 150994 | 1 96500 20 | 0.000 % | 119.08/119.11 c | 1433189 | 253 34014 150994 | 1 97608 20 | 0.000 % | 119.08/119.11 c | 1437495 | 253 34014 150994 | 1 101914 20 | 0.000 % | 119.08/119.11 c | 1437595 | 253 34014 150994 | 1 102014 20 | 0.000 % | 119.08/119.11 c | 1437695 | 253 34014 150994 | 1 102114 20 | 0.000 % | 119.08/119.11 c | 1439681 | 253 34014 150994 | 1 104100 20 | 0.000 % | 119.08/119.11 c | 1439782 | 253 34014 150994 | 1 104201 20 | 0.000 % | 119.08/119.11 c | 1439884 | 253 34014 150994 | 1 104303 20 | 0.000 % | 119.08/119.11 c | 1441635 | 253 34014 150994 | 1 106054 20 | 0.000 % | 119.08/119.11 c | 1441736 | 253 34014 150994 | 1 106155 20 | 0.000 % | 119.08/119.11 c | 1442030 | 253 34014 150994 | 1 106449 20 | 0.000 % | 119.08/119.11 c | 1442874 | 253 34014 150994 | 1 107293 21 | 0.000 % | 119.08/119.11 c | 1442974 | 253 34014 150994 | 1 107393 21 | 0.000 % | 119.08/119.11 c | 1443076 | 253 34014 150994 | 1 107495 21 | 0.000 % | 119.08/119.11 c | 1445088 | 253 34014 150994 | 1 109507 21 | 0.000 % | 119.08/119.11 c | 1445408 | 253 34014 150994 | 1 109827 21 | 0.000 % | 119.08/119.11 c | 1447753 | 253 34014 150994 | 1 112172 21 | 0.000 % | 119.08/119.11 c | 1448476 | 253 34014 150994 | 1 112895 21 | 0.000 % | 119.08/119.11 c | 1448578 | 253 34014 150994 | 1 112997 21 | 0.000 % | 119.08/119.11 c | 1449613 | 253 34014 150994 | 1 114032 21 | 0.000 % | 119.08/119.11 c | 1449725 | 253 34014 150994 | 1 114144 21 | 0.000 % | 119.08/119.11 c | 1449845 | 253 34014 150994 | 1 114264 21 | 0.000 % | 119.08/119.11 c | 1513951 | 253 34014 150994 | 1 93769 20 | 0.000 % | 119.08/119.11 c | 1516429 | 253 34014 150994 | 1 96247 20 | 0.000 % | 119.08/119.11 c | 1516594 | 253 34014 150994 | 1 96412 20 | 0.000 % | 119.08/119.11 c | 1516696 | 253 34014 150994 | 1 96514 20 | 0.000 % | 119.08/119.11 c | 1516799 | 253 34014 150994 | 1 96617 20 | 0.000 % | 119.08/119.11 c | 1516901 | 253 34014 150994 | 1 96719 20 | 0.000 % | 119.08/119.11 c | 1518022 | 253 34014 150994 | 1 97840 20 | 0.000 % | 119.08/119.11 c | 1532615 | 253 34014 150994 | 1 112433 20 | 0.000 % | 119.08/119.11 c | 1532715 | 253 34014 150994 | 1 112533 20 | 0.000 % | 119.08/119.11 c | 1532937 | 253 34014 150994 | 1 112755 20 | 0.000 % | 131.08/131.14 c | 1533211 | 253 34014 150994 | 1 113029 21 | 0.000 % | 131.08/131.14 c | 1543176 | 253 34014 150994 | 1 122994 21 | 0.000 % | 131.08/131.14 c | 1547575 | 253 34014 150994 | 1 127393 21 | 0.000 % | 131.08/131.14 c | 1572080 | 253 34014 150994 | 1 151898 22 | 0.000 % | 131.08/131.14 c | 1582963 | 253 34014 150994 | 1 162781 22 | 0.000 % | 131.08/131.14 c | 1588853 | 253 34014 150994 | 1 168671 22 | 0.000 % | 131.08/131.14 c | 1589281 | 253 34014 150994 | 1 169099 22 | 0.000 % | 131.08/131.14 c | 1589381 | 253 34014 150994 | 1 169199 22 | 0.000 % | 131.08/131.14 c | 1589481 | 253 34014 150994 | 1 169299 22 | 0.000 % | 131.08/131.14 c | 1593306 | 253 34014 150994 | 1 173124 22 | 0.000 % | 131.08/131.14 c | 1593406 | 253 34014 150994 | 1 173224 22 | 0.000 % | 131.08/131.14 c | 1593507 | 253 34014 150994 | 1 173325 22 | 0.000 % | 131.08/131.14 c | 1593608 | 253 34014 150994 | 1 173426 22 | 0.000 % | 131.08/131.14 c | 1594872 | 253 34014 150994 | 1 87488 19 | 0.000 % | 131.08/131.14 c | 1601340 | 253 34014 150994 | 1 93956 19 | 0.000 % | 131.08/131.14 c | 1601968 | 253 34014 150994 | 1 94584 19 | 0.000 % | 131.08/131.14 c | 1602069 | 253 34014 150994 | 1 94685 19 | 0.000 % | 131.08/131.14 c | 1602173 | 253 34014 150994 | 1 94789 19 | 0.000 % | 131.08/131.14 c | 1602273 | 253 34014 150994 | 1 94889 19 | 0.000 % | 131.08/131.14 c | 1602373 | 253 34014 150994 | 1 94989 19 | 0.000 % | 131.08/131.14 c | 1602473 | 253 34014 150994 | 1 95089 19 | 0.000 % | 131.08/131.14 c | 1602707 | 253 34014 150994 | 1 95323 19 | 0.000 % | 131.08/131.14 c | 1603421 | 253 34014 150994 | 1 96037 19 | 0.000 % | 131.08/131.14 c | 1604028 | 253 34014 150994 | 1 96644 20 | 0.000 % | 131.08/131.14 c | 1610774 | 253 34014 150994 | 1 103390 20 | 0.000 % | 131.08/131.14 c | 1610875 | 253 34014 150994 | 1 103491 20 | 0.000 % | 131.08/131.14 c | 1610975 | 253 34014 150994 | 1 103591 20 | 0.000 % | 131.08/131.14 c | 1612353 | 253 34014 150994 | 1 104969 20 | 0.000 % | 131.08/131.14 c | 1612828 | 253 34014 150994 | 1 105444 20 | 0.000 % | 131.08/131.14 c | 1614834 | 253 34014 150994 | 1 107450 20 | 0.000 % | 131.08/131.14 c | 1620090 | 253 34014 150994 | 1 112706 21 | 0.000 % | 131.08/131.14 c | 1620237 | 253 34014 150994 | 1 112853 21 | 0.000 % | 131.08/131.14 c | 1622211 | 253 34014 150994 | 1 114827 21 | 0.000 % | 131.08/131.14 c | 1631764 | 253 34014 150994 | 1 124380 21 | 0.000 % | 131.08/131.14 c | 1632042 | 253 34014 150994 | 1 124658 21 | 0.000 % | 131.08/131.14 c | 1664848 | 253 34014 150994 | 1 157464 22 | 0.000 % | 131.08/131.14 c | 1666237 | 253 34014 150994 | 1 158853 22 | 0.000 % | 131.08/131.14 c | 1666404 | 253 34014 150994 | 1 159020 22 | 0.000 % | 131.08/131.14 c | 1666557 | 253 34014 150994 | 1 159173 22 | 0.000 % | 131.08/131.14 c | 1666781 | 253 34014 150994 | 1 159397 22 | 0.000 % | 131.08/131.14 c | 1667065 | 253 34014 150994 | 1 159681 22 | 0.000 % | 131.08/131.14 c | 1667165 | 253 34014 150994 | 1 159781 22 | 0.000 % | 131.08/131.14 c | 1667437 | 253 34014 150994 | 1 160053 22 | 0.000 % | 131.08/131.14 c | 1668652 | 253 34014 150994 | 1 161268 22 | 0.000 % | 131.08/131.14 c | 1668754 | 253 34014 150994 | 1 161370 22 | 0.000 % | 131.08/131.14 c | 1669301 | 253 34014 150994 | 1 161917 22 | 0.000 % | 131.08/131.14 c | 1669402 | 253 34014 150994 | 1 162018 22 | 0.000 % | 131.08/131.14 c | 1669502 | 253 34014 150994 | 1 162118 22 | 0.000 % | 131.08/131.14 c | 1670161 | 253 34014 150994 | 1 162777 22 | 0.000 % | 131.08/131.14 c | 1670264 | 253 34014 150994 | 1 162880 22 | 0.000 % | 190.30/190.31 c | 1670593 | 253 34014 150994 | 1 163209 22 | 0.000 % | 190.30/190.31 c | 1675674 | 253 34014 150994 | 1 168290 22 | 0.000 % | 190.30/190.31 c | 1678458 | 253 34014 150994 | 1 171074 22 | 0.000 % | 190.30/190.31 c | 1704295 | 253 34014 150994 | 1 107112 20 | 0.000 % | 190.30/190.31 c | 1704399 | 253 34014 150994 | 1 107216 20 | 0.000 % | 190.30/190.31 c | 1721479 | 253 34014 150994 | 1 124296 21 | 0.000 % | 190.30/190.31 c | 1721581 | 253 34014 150994 | 1 124398 21 | 0.000 % | 190.30/190.31 c | 1738757 | 253 34014 150994 | 1 141574 21 | 0.000 % | 190.30/190.31 c | 1759012 | 253 34014 150994 | 1 161829 22 | 0.000 % | 190.30/190.31 c | 1762478 | 253 34014 150994 | 1 165295 22 | 0.000 % | 190.30/190.31 c | 1781816 | 253 34014 150994 | 1 184633 22 | 0.000 % | 190.30/190.31 c | 1782554 | 253 34014 150994 | 1 92969 19 | 0.000 % | 190.30/190.31 c | 1782654 | 253 34014 150994 | 1 93069 19 | 0.000 % | 190.30/190.31 c | 1782754 | 253 34014 150994 | 1 93169 19 | 0.000 % | 190.30/190.31 c | 1782854 | 253 34014 150994 | 1 93269 19 | 0.000 % | 190.30/190.31 c | 1785195 | 253 34014 150994 | 1 95610 19 | 0.000 % | 190.30/190.31 c | 1785296 | 253 34014 150994 | 1 95711 19 | 0.000 % | 190.30/190.31 c | 1785396 | 253 34014 150994 | 1 95811 19 | 0.000 % | 190.30/190.31 c | 1785636 | 253 34014 150994 | 1 96051 19 | 0.000 % | 190.30/190.31 c | 1786700 | 253 34014 150994 | 1 97115 19 | 0.000 % | 190.30/190.31 c | 1798789 | 253 34014 150994 | 1 109204 20 | 0.000 % | 190.30/190.31 c | 1799318 | 253 34014 150994 | 1 109733 20 | 0.000 % | 190.30/190.31 c | 1809738 | 253 34014 150994 | 1 120153 21 | 0.000 % | 190.30/190.31 c | 1810029 | 253 34014 150994 | 1 120444 21 | 0.000 % | 190.30/190.31 c | 1885854 | 253 34014 150994 | 1 101264 19 | 0.000 % | 190.30/190.31 c | 1891560 | 253 34014 150994 | 1 106970 19 | 0.000 % | 190.30/190.31 c | 1899664 | 253 34014 150994 | 1 115074 20 | 0.000 % | 190.30/190.31 c | 1901903 | 253 34014 150994 | 1 117313 20 | 0.000 % | 190.30/190.31 c | 1902052 | 253 34014 150994 | 1 117462 20 | 0.000 % | 190.30/190.31 c | 1903472 | 253 34014 150994 | 1 118882 20 | 0.000 % | 190.30/190.31 c | 1903770 | 253 34014 150994 | 1 119180 20 | 0.000 % | 190.30/190.31 c | 1905720 | 253 34014 150994 | 1 121130 20 | 0.000 % | 190.30/190.31 c | 1905820 | 253 34014 150994 | 1 121230 20 | 0.000 % | 190.30/190.31 c | 1960929 | 253 34014 150994 | 1 176339 22 | 0.000 % | 190.30/190.31 c | 1968092 | 253 34014 150994 | 1 183502 22 | 0.000 % | 190.30/190.31 c | 1968818 | 253 34014 150994 | 1 184228 22 | 0.000 % | 190.30/190.31 c | 1973226 | 253 34014 150994 | 1 188636 22 | 0.000 % | 190.30/190.31 c | 1989193 | 253 34014 150994 | 1 107008 19 | 0.000 % | 190.30/190.31 c | 2198977 | 253 34014 150994 | 1 113793 19 | 0.000 % | 190.30/190.31 c | 2209864 | 253 34014 150994 | 1 124680 20 | 0.000 % | 190.30/190.31 c | 2209982 | 253 34014 150994 | 1 124798 20 | 0.000 % | 190.30/190.31 c | 2210112 | 253 34014 150994 | 1 124928 20 | 0.000 % | 190.30/190.31 c | 2254776 | 253 34014 150994 | 1 169592 21 | 0.000 % | 190.30/190.31 c | 2257058 | 253 34014 150994 | 1 171874 21 | 0.000 % | 190.30/190.31 c | 2257972 | 253 34014 150994 | 1 172788 21 | 0.000 % | 190.30/190.31 c | 2258073 | 253 34014 150994 | 1 172889 21 | 0.000 % | 190.30/190.31 c | 2262734 | 253 34014 150994 | 1 177550 21 | 0.000 % | 190.30/190.31 c | 2262834 | 253 34014 150994 | 1 177650 21 | 0.000 % | 190.30/190.31 c | 2263077 | 253 34014 150994 | 1 177893 21 | 0.000 % | 190.30/190.31 c | 2307874 | 253 34014 150994 | 1 117296 19 | 0.000 % | 253.00/253.02 c | 2351982 | 253 34014 150994 | 1 161404 20 | 0.000 % | 253.00/253.02 c | 2352178 | 253 34014 150994 | 1 161600 20 | 0.000 % | 253.00/253.02 c | 2371066 | 253 34014 150994 | 1 180488 21 | 0.000 % | 253.00/253.02 c | 2389043 | 253 34014 150994 | 1 198465 21 | 0.000 % | 253.00/253.02 c | 2389145 | 253 34014 150994 | 1 198567 21 | 0.000 % | 253.00/253.02 c | 2389557 | 253 34014 150994 | 1 198979 21 | 0.000 % | 253.00/253.02 c | 2426796 | 253 34014 150994 | 1 128217 19 | 0.000 % | 253.00/253.02 c | 2426901 | 253 34014 150994 | 1 128322 19 | 0.000 % | 253.00/253.02 c | 2448666 | 253 34014 150994 | 1 150087 20 | 0.000 % | 253.00/253.02 c | 2448767 | 253 34014 150994 | 1 150188 20 | 0.000 % | 253.00/253.02 c | 2470592 | 253 34014 150994 | 1 172013 21 | 0.000 % | 253.00/253.02 c | 2472744 | 253 34014 150994 | 1 174165 21 | 0.000 % | 253.00/253.02 c | 2472844 | 253 34014 150994 | 1 174265 21 | 0.000 % | 253.00/253.02 c | 2472953 | 253 34014 150994 | 1 174374 21 | 0.000 % | 253.00/253.02 c | 2473061 | 253 34014 150994 | 1 174482 21 | 0.000 % | 253.00/253.02 c | 2479310 | 253 34014 150994 | 1 180731 21 | 0.000 % | 253.00/253.02 c | 2479410 | 253 34014 150994 | 1 180831 21 | 0.000 % | 253.00/253.02 c | 2483155 | 253 34014 150994 | 1 184576 21 | 0.000 % | 253.00/253.02 c | 2483491 | 253 34014 150994 | 1 184912 21 | 0.000 % | 253.00/253.02 c | 2501312 | 253 34014 150994 | 1 202733 22 | 0.000 % | 253.00/253.02 c | 2538218 | 253 34014 150994 | 1 129032 19 | 0.000 % | 253.00/253.02 c | 2538319 | 253 34014 150994 | 1 129133 19 | 0.000 % | 253.00/253.02 c | 2539757 | 253 34014 150994 | 1 130571 19 | 0.000 % | 253.00/253.02 c | 2557577 | 253 34014 150994 | 1 148391 20 | 0.000 % | 253.00/253.02 c | 2557677 | 253 34014 150994 | 1 148491 20 | 0.000 % | 253.00/253.02 c | 2557778 | 253 34014 150994 | 1 148592 20 | 0.000 % | 253.00/253.02 c | 2557878 | 253 34014 150994 | 1 148692 20 | 0.000 % | 253.00/253.02 c | 2570999 | 253 34014 150994 | 1 161813 21 | 0.000 % | 253.00/253.02 c | 2571283 | 253 34014 150994 | 1 162097 21 | 0.000 % | 253.00/253.02 c | 2573072 | 253 34014 150994 | 1 163886 21 | 0.000 % | 253.00/253.02 c | 2573222 | 253 34014 150994 | 1 164036 21 | 0.000 % | 253.00/253.02 c | 2573360 | 253 34014 150994 | 1 164174 21 | 0.000 % | 253.00/253.02 c | 2577180 | 253 34014 150994 | 1 167994 21 | 0.000 % | 253.00/253.02 c | 2582624 | 253 34014 150994 | 1 173438 21 | 0.000 % | 253.00/253.02 c | 2585546 | 253 34014 150994 | 1 176360 21 | 0.000 % | 253.00/253.02 c | 2586498 | 253 34014 150994 | 1 177312 21 | 0.000 % | 253.00/253.02 c | 2728417 | 253 34014 150994 | 1 206028 21 | 0.000 % | 253.00/253.02 c | 2746772 | 253 34014 150994 | 1 224383 21 | 0.000 % | 253.00/253.02 c | 2747129 | 253 34014 150994 | 1 224740 21 | 0.000 % | 253.00/253.02 c | 2812737 | 253 34014 150994 | 1 174549 20 | 0.000 % | 253.00/253.02 c | 2819191 | 253 34014 150994 | 1 181003 20 | 0.000 % | 253.00/253.02 c | 2819899 | 253 34014 150994 | 1 181711 20 | 0.000 % | 253.00/253.02 c | 2826584 | 253 34014 150994 | 1 188396 20 | 0.000 % | 253.00/253.02 c | 2827527 | 253 34014 150994 | 1 189339 20 | 0.000 % | 253.00/253.02 c | 2833842 | 253 34014 150994 | 1 195654 21 | 0.000 % | 253.00/253.02 c | 2920466 | 253 34014 150994 | 1 163873 19 | 0.000 % | 253.00/253.02 c | 2923736 | 253 34014 150994 | 1 167143 19 | 0.000 % | 253.00/253.02 c | 2924300 | 253 34014 150994 | 1 167707 19 | 0.000 % | 253.00/253.02 c | 2926224 | 253 34014 150994 | 1 169631 20 | 0.000 % | 253.00/253.02 c | 2927310 | 253 34014 150994 | 1 170717 20 | 0.000 % | 299.29/299.31 c | 2945613 | 253 34014 150994 | 1 189020 20 | 0.000 % | 299.29/299.31 c | 3016204 | 253 34014 150994 | 1 138612 19 | 0.000 % | 299.29/299.31 c | 3016392 | 253 34014 150994 | 1 138800 19 | 0.000 % | 299.29/299.31 c | 3053938 | 253 34014 150994 | 1 176346 20 | 0.000 % | 299.29/299.31 c | 3066987 | 253 34014 150994 | 1 189395 20 | 0.000 % | 299.29/299.31 c | 3068347 | 253 34014 150994 | 1 190755 21 | 0.000 % | 299.29/299.31 c | 3070515 | 253 34014 150994 | 1 192923 21 | 0.000 % | 299.29/299.31 c | 3071390 | 253 34014 150994 | 1 193798 21 | 0.000 % | 299.29/299.31 c | 3074936 | 253 34014 150994 | 1 197344 21 | 0.000 % | 299.29/299.31 c | 3075037 | 253 34014 150994 | 1 197445 21 | 0.000 % | 299.29/299.31 c | 3087507 | 253 34014 150994 | 1 209915 21 | 0.000 % | 299.29/299.31 c | 3088987 | 253 34014 150994 | 1 211395 21 | 0.000 % | 299.29/299.31 c | 3090527 | 253 34014 150994 | 1 212935 21 | 0.000 % | 299.29/299.31 c | 3091461 | 253 34014 150994 | 1 213869 21 | 0.000 % | 299.29/299.31 c | 3092412 | 253 34014 150994 | 1 214820 21 | 0.000 % | 299.29/299.31 c | 3111132 | 253 34014 150994 | 1 233540 22 | 0.000 % | 299.29/299.31 c | 3114213 | 253 34014 150994 | 1 236621 22 | 0.000 % | 299.29/299.31 c | 3115011 | 253 34014 150994 | 1 237419 22 | 0.000 % | 299.29/299.31 c | 3115149 | 253 34014 150994 | 1 237557 22 | 0.000 % | 299.29/299.31 c | 3115251 | 253 34014 150994 | 1 237659 22 | 0.000 % | 299.29/299.31 c | 3154522 | 253 34014 150994 | 1 153336 20 | 0.000 % | 299.29/299.31 c | 3159229 | 253 34014 150994 | 1 158043 20 | 0.000 % | 299.29/299.31 c | 3159329 | 253 34014 150994 | 1 158143 20 | 0.000 % | 299.29/299.31 c | 3202267 | 253 34014 150994 | 1 201081 21 | 0.000 % | 299.29/299.31 c | 3206663 | 253 34014 150994 | 1 205477 21 | 0.000 % | 299.29/299.31 c | 3206830 | 253 34014 150994 | 1 205644 21 | 0.000 % | 299.29/299.31 c | 3207599 | 253 34014 150994 | 1 206413 21 | 0.000 % | 299.29/299.31 c | 3218243 | 253 34014 150994 | 1 217057 21 | 0.000 % | 299.29/299.31 c | 3236488 | 253 34014 150994 | 1 235302 22 | 0.000 % | 299.29/299.31 c | 3244959 | 253 34014 150994 | 1 243773 22 | 0.000 % | 299.29/299.31 c | 3252319 | 253 34014 150994 | 1 251133 22 | 0.000 % | 299.29/299.31 c | 3253981 | 253 34014 150994 | 1 126592 18 | 0.000 % | 299.29/299.31 c | 3258001 | 253 34014 150994 | 1 130612 19 | 0.000 % | 299.29/299.31 c | 3260871 | 253 34014 150994 | 1 133482 19 | 0.000 % | 299.29/299.31 c | 3260985 | 253 34014 150994 | 1 133596 19 | 0.000 % | 299.29/299.31 c | 3333321 | 253 34014 150994 | 1 205932 21 | 0.000 % | 299.29/299.31 c | 3335080 | 253 34014 150994 | 1 207691 21 | 0.000 % | 299.29/299.31 c | 3360534 | 253 34014 150994 | 1 233145 21 | 0.000 % | 299.29/299.31 c | 3361733 | 253 34014 150994 | 1 234344 21 | 0.000 % | 299.29/299.31 c | 3364783 | 253 34014 150994 | 1 237394 21 | 0.000 % | 299.29/299.31 c | 3364883 | 253 34014 150994 | 1 237494 21 | 0.000 % | 299.29/299.31 c | 3365727 | 253 34014 150994 | 1 238338 21 | 0.000 % | 299.29/299.31 c | 3365827 | 253 34014 150994 | 1 238438 21 | 0.000 % | 299.29/299.31 c | 3366743 | 253 34014 150994 | 1 239354 21 | 0.000 % | 299.29/299.31 c | 3368571 | 253 34014 150994 | 1 241182 21 | 0.000 % | 299.29/299.31 c | 3368671 | 253 34014 150994 | 1 241282 21 | 0.000 % | 299.29/299.31 c | 3371035 | 253 34014 150994 | 1 243646 22 | 0.000 % | 299.29/299.31 c | 3371846 | 253 34014 150994 | 1 244457 22 | 0.000 % | 299.29/299.31 c | 3372031 | 253 34014 150994 | 1 244642 22 | 0.000 % | 355.69/355.70 c | 3378040 | 253 34014 150994 | 1 250651 22 | 0.000 % | 355.69/355.70 c | 3437509 | 253 34014 150994 | 1 181326 20 | 0.000 % | 355.69/355.70 c | 3456381 | 253 34014 150994 | 1 200198 20 | 0.000 % | 355.69/355.70 c | 3461920 | 253 34014 150994 | 1 205737 21 | 0.000 % | 355.69/355.70 c | 3462020 | 253 34014 150994 | 1 205837 21 | 0.000 % | 355.69/355.70 c | 3467539 | 253 34014 150994 | 1 211356 21 | 0.000 % | 355.69/355.70 c | 3471338 | 253 34014 150994 | 1 215155 21 | 0.000 % | 355.69/355.70 c | 3475506 | 253 34014 150994 | 1 219323 21 | 0.000 % | 355.69/355.70 c | 3476319 | 253 34014 150994 | 1 220136 21 | 0.000 % | 355.69/355.70 c | 3495589 | 253 34014 150994 | 1 239406 21 | 0.000 % | 355.69/355.70 c | 3498472 | 253 34014 150994 | 1 242289 21 | 0.000 % | 355.69/355.70 c | 3526778 | 253 34014 150994 | 1 139193 19 | 0.000 % | 355.69/355.70 c | 3526923 | 253 34014 150994 | 1 139338 19 | 0.000 % | 355.69/355.70 c | 3527023 | 253 34014 150994 | 1 139438 19 | 0.000 % | 355.69/355.70 c | 3527325 | 253 34014 150994 | 1 139740 19 | 0.000 % | 355.69/355.70 c | 3531767 | 253 34014 150994 | 1 144182 19 | 0.000 % | 355.69/355.70 c | 3532089 | 253 34014 150994 | 1 144504 19 | 0.000 % | 355.69/355.70 c | 3565161 | 253 34014 150994 | 1 177576 20 | 0.000 % | 355.69/355.70 c | 3597766 | 253 34014 150994 | 1 210181 20 | 0.000 % | 355.69/355.70 c | 3613750 | 253 34014 150994 | 1 226165 20 | 0.000 % | 355.69/355.70 c | 3620095 | 253 34014 150994 | 1 232510 20 | 0.000 % | 355.69/355.70 c | 3621094 | 253 34014 150994 | 1 233509 20 | 0.000 % | 355.69/355.70 c | 3633497 | 253 34014 150994 | 1 245912 21 | 0.000 % | 355.69/355.70 c | 3635194 | 253 34014 150994 | 1 247609 21 | 0.000 % | 355.69/355.70 c | 3676098 | 253 34014 150994 | 1 154520 19 | 0.000 % | 355.69/355.70 c | 3676198 | 253 34014 150994 | 1 154620 19 | 0.000 % | 355.69/355.70 c | 3676299 | 253 34014 150994 | 1 154721 19 | 0.000 % | 355.69/355.70 c | 3677729 | 253 34014 150994 | 1 156151 19 | 0.000 % | 355.69/355.70 c | 3679580 | 253 34014 150994 | 1 158002 19 | 0.000 % | 355.69/355.70 c | 3679765 | 253 34014 150994 | 1 158187 19 | 0.000 % | 355.69/355.70 c | 3696063 | 253 34014 150994 | 1 174485 20 | 0.000 % | 355.69/355.70 c | 3696253 | 253 34014 150994 | 1 174675 20 | 0.000 % | 355.69/355.70 c | 3740679 | 253 34014 150994 | 1 219101 21 | 0.000 % | 355.69/355.70 c | 3741751 | 253 34014 150994 | 1 220173 21 | 0.000 % | 355.69/355.70 c | 3747691 | 253 34014 150994 | 1 226113 21 | 0.000 % | 355.69/355.70 c | 3755460 | 253 34014 150994 | 1 233882 21 | 0.000 % | 355.69/355.70 c | 3757520 | 253 34014 150994 | 1 235942 21 | 0.000 % | 355.69/355.70 c | 3758889 | 253 34014 150994 | 1 237311 21 | 0.000 % | 355.69/355.70 c | 3760041 | 253 34014 150994 | 1 238463 21 | 0.000 % | 355.69/355.70 c | 3849350 | 253 34014 150994 | 1 191171 20 | 0.000 % | 355.69/355.70 c | 3849450 | 253 34014 150994 | 1 191271 20 | 0.000 % | 355.69/355.70 c | 3864448 | 253 34014 150994 | 1 206269 21 | 0.000 % | 355.69/355.70 c | 3864744 | 253 34014 150994 | 1 206565 21 | 0.000 % | 355.69/355.70 c | 3877883 | 253 34014 150994 | 1 219704 21 | 0.000 % | 355.69/355.70 c | 3885990 | 253 34014 150994 | 1 227811 21 | 0.000 % | 355.69/355.70 c | 3886090 | 253 34014 150994 | 1 227911 21 | 0.000 % | 355.69/355.70 c | 3886362 | 253 34014 150994 | 1 228183 21 | 0.000 % | 355.69/355.70 c | 3891212 | 253 34014 150994 | 1 233033 21 | 0.000 % | 355.69/355.70 c | 3891312 | 253 34014 150994 | 1 233133 21 | 0.000 % | 355.69/355.70 c | 3893922 | 253 34014 150994 | 1 235743 21 | 0.000 % | 389.19/389.29 c | 3899918 | 253 34014 150994 | 1 241739 21 | 0.000 % | 389.19/389.29 c | 3900176 | 253 34014 150994 | 1 241997 21 | 0.000 % | 389.19/389.29 c | 3903812 | 253 34014 150994 | 1 245633 21 | 0.000 % | 389.19/389.29 c | 3903912 | 253 34014 150994 | 1 245733 21 | 0.000 % | 389.19/389.29 c | 3904179 | 253 34014 150994 | 1 246000 21 | 0.000 % | 389.19/389.29 c | 3906150 | 253 34014 150994 | 1 247971 21 | 0.000 % | 389.19/389.29 c | 3906250 | 253 34014 150994 | 1 248071 21 | 0.000 % | 389.19/389.29 c | 3906351 | 253 34014 150994 | 1 248172 21 | 0.000 % | 389.19/389.29 c | 3906726 | 253 34014 150994 | 1 248547 21 | 0.000 % | 389.19/389.29 c | 3908587 | 253 34014 150994 | 1 250408 21 | 0.000 % | 389.19/389.29 c | 3914232 | 253 34014 150994 | 1 256053 22 | 0.000 % | 389.19/389.29 c | 3919393 | 253 34014 150994 | 1 261214 22 | 0.000 % | 389.19/389.29 c | 3919735 | 253 34014 150994 | 1 261556 22 | 0.000 % | 389.19/389.29 c | 3919835 | 253 34014 150994 | 1 261656 22 | 0.000 % | 389.19/389.29 c | 3925999 | 253 34014 150994 | 1 267820 22 | 0.000 % | 389.19/389.29 c | 3926529 | 253 34014 150994 | 1 268350 22 | 0.000 % | 389.19/389.29 c | 3926631 | 253 34014 150994 | 1 268452 22 | 0.000 % | 389.19/389.29 c | 3944503 | 253 34014 150994 | 1 147122 19 | 0.000 % | 389.19/389.29 c | 3944603 | 253 34014 150994 | 1 147222 19 | 0.000 % | 389.19/389.29 c | 3945116 | 253 34014 150994 | 1 147735 19 | 0.000 % | 389.19/389.29 c | 3952601 | 253 34014 150994 | 1 155220 19 | 0.000 % | 389.19/389.29 c | 3952763 | 253 34014 150994 | 1 155382 19 | 0.000 % | 389.19/389.29 c | 3953152 | 253 34014 150994 | 1 155771 19 | 0.000 % | 389.19/389.29 c | 3960824 | 253 34014 150994 | 1 163443 19 | 0.000 % | 389.19/389.29 c | 3961053 | 253 34014 150994 | 1 163672 19 | 0.000 % | 389.19/389.29 c | 3984524 | 253 34014 150994 | 1 187143 20 | 0.000 % | 389.19/389.29 c | 3995449 | 253 34014 150994 | 1 198068 20 | 0.000 % | 389.19/389.29 c | 3998681 | 253 34014 150994 | 1 201300 20 | 0.000 % | 389.19/389.29 c | 3999644 | 253 34014 150994 | 1 202263 20 | 0.000 % | 389.19/389.29 c | 4004683 | 253 34014 150994 | 1 207302 21 | 0.000 % | 389.19/389.29 c | 4005753 | 253 34014 150994 | 1 208372 21 | 0.000 % | 389.19/389.29 c | 4019548 | 253 34014 150994 | 1 222167 21 | 0.000 % | 389.19/389.29 c | 4019931 | 253 34014 150994 | 1 222550 21 | 0.000 % | 389.19/389.29 c | 4067520 | 253 34014 150994 | 1 270139 22 | 0.000 % | 389.19/389.29 c | 4080342 | 253 34014 150994 | 1 282961 22 | 0.000 % | 389.19/389.29 c | 4093982 | 253 34014 150994 | 1 154798 18 | 0.000 % | 389.19/389.29 c | 4100963 | 253 34014 150994 | 1 161779 19 | 0.000 % | 389.19/389.29 c | 4111990 | 253 34014 150994 | 1 172806 19 | 0.000 % | 389.19/389.29 c | 4134310 | 253 34014 150994 | 1 195126 20 | 0.000 % | 389.19/389.29 c | 4141685 | 253 34014 150994 | 1 202501 20 | 0.000 % | 389.19/389.29 c | 4141872 | 253 34014 150994 | 1 202688 20 | 0.000 % | 389.19/389.29 c | 4148863 | 253 34014 150994 | 1 209679 20 | 0.000 % | 389.19/389.29 c | 4152166 | 253 34014 150994 | 1 212982 20 | 0.000 % | 389.19/389.29 c | 4152633 | 253 34014 150994 | 1 213449 20 | 0.000 % | 389.19/389.29 c | 4152733 | 253 34014 150994 | 1 213549 20 | 0.000 % | 389.19/389.29 c | 4152835 | 253 34014 150994 | 1 213651 20 | 0.000 % | 389.19/389.29 c | 4167492 | 253 34014 150994 | 1 228308 21 | 0.000 % | 389.19/389.29 c | 4183990 | 253 34014 150994 | 1 244806 21 | 0.000 % | 389.19/389.29 c | 4184090 | 253 34014 150994 | 1 244906 21 | 0.000 % | 389.19/389.29 c | 4185446 | 253 34014 150994 | 1 246262 21 | 0.000 % | 450.40/450.46 c | 4185934 | 253 34014 150994 | 1 246750 21 | 0.000 % | 450.40/450.46 c | 4186036 | 253 34014 150994 | 1 246852 21 | 0.000 % | 450.40/450.46 c | 4190574 | 253 34014 150994 | 1 251390 21 | 0.000 % | 450.40/450.46 c | 4207539 | 253 34014 150994 | 1 268355 21 | 0.000 % | 450.40/450.46 c | 4208062 | 253 34014 150994 | 1 268878 21 | 0.000 % | 450.40/450.46 c | 4221203 | 253 34014 150994 | 1 282019 21 | 0.000 % | 450.40/450.46 c | 4221305 | 253 34014 150994 | 1 282121 21 | 0.000 % | 450.40/450.46 c | 4221405 | 253 34014 150994 | 1 282221 21 | 0.000 % | 450.40/450.46 c | 4243090 | 253 34014 150994 | 1 159500 19 | 0.000 % | 450.40/450.46 c | 4266683 | 253 34014 150994 | 1 183093 19 | 0.000 % | 450.40/450.46 c | 4266784 | 253 34014 150994 | 1 183194 19 | 0.000 % | 450.40/450.46 c | 4269816 | 253 34014 150994 | 1 186226 20 | 0.000 % | 450.40/450.46 c | 4293191 | 253 34014 150994 | 1 209601 20 | 0.000 % | 450.40/450.46 c | 4304684 | 253 34014 150994 | 1 221094 20 | 0.000 % | 450.40/450.46 c | 4306642 | 253 34014 150994 | 1 223052 20 | 0.000 % | 450.40/450.46 c | 4331169 | 253 34014 150994 | 1 247579 21 | 0.000 % | 450.40/450.46 c | 4332456 | 253 34014 150994 | 1 248866 21 | 0.000 % | 450.40/450.46 c | 4369231 | 253 34014 150994 | 1 285641 21 | 0.000 % | 450.40/450.46 c | 4369332 | 253 34014 150994 | 1 285742 21 | 0.000 % | 450.40/450.46 c | 4370972 | 253 34014 150994 | 1 287382 21 | 0.000 % | 450.40/450.46 c | 4374545 | 253 34014 150994 | 1 290955 21 | 0.000 % | 450.40/450.46 c | 4394994 | 253 34014 150994 | 1 164410 18 | 0.000 % | 450.40/450.46 c | 4395094 | 253 34014 150994 | 1 164510 19 | 0.000 % | 450.40/450.46 c | 4396185 | 253 34014 150994 | 1 165601 19 | 0.000 % | 450.40/450.46 c | 4453335 | 253 34014 150994 | 1 222751 20 | 0.000 % | 450.40/450.46 c | 4453662 | 253 34014 150994 | 1 223078 20 | 0.000 % | 450.40/450.46 c | 4460872 | 253 34014 150994 | 1 230288 20 | 0.000 % | 450.40/450.46 c | 4467956 | 253 34014 150994 | 1 237372 20 | 0.000 % | 450.40/450.46 c | 4470365 | 253 34014 150994 | 1 239781 20 | 0.000 % | 450.40/450.46 c | 4470465 | 253 34014 150994 | 1 239881 20 | 0.000 % | 450.40/450.46 c | 4474191 | 253 34014 150994 | 1 243607 21 | 0.000 % | 450.40/450.46 c | 4475861 | 253 34014 150994 | 1 245277 21 | 0.000 % | 450.40/450.46 c | 4477234 | 253 34014 150994 | 1 246650 21 | 0.000 % | 450.40/450.46 c | 4558051 | 253 34014 150994 | 1 177873 19 | 0.000 % | 450.40/450.46 c | 4568947 | 253 34014 150994 | 1 188769 19 | 0.000 % | 450.40/450.46 c | 4585009 | 253 34014 150994 | 1 204831 20 | 0.000 % | 450.40/450.46 c | 4629238 | 253 34014 150994 | 1 249060 21 | 0.000 % | 450.40/450.46 c | 4632655 | 253 34014 150994 | 1 252477 21 | 0.000 % | 450.40/450.46 c | 4634920 | 253 34014 150994 | 1 254742 21 | 0.000 % | 450.40/450.46 c | 4660236 | 253 34014 150994 | 1 280058 21 | 0.000 % | 450.40/450.46 c | 4660336 | 253 34014 150994 | 1 280158 21 | 0.000 % | 450.40/450.46 c | 4662939 | 253 34014 150994 | 1 282761 21 | 0.000 % | 450.40/450.46 c | 4663747 | 253 34014 150994 | 1 283569 21 | 0.000 % | 450.40/450.46 c | 4663847 | 253 34014 150994 | 1 283669 21 | 0.000 % | 450.40/450.46 c | 4663947 | 253 34014 150994 | 1 283769 21 | 0.000 % | 450.40/450.46 c | 4665288 | 253 34014 150994 | 1 285110 21 | 0.000 % | 450.40/450.46 c | 4665388 | 253 34014 150994 | 1 285210 21 | 0.000 % | 450.40/450.46 c | 4709525 | 253 34014 150994 | 1 177152 19 | 0.000 % | 450.40/450.46 c | 4709626 | 253 34014 150994 | 1 177253 19 | 0.000 % | 450.40/450.46 c | 4709726 | 253 34014 150994 | 1 177353 19 | 0.000 % | 496.10/496.15 c | 4709826 | 253 34014 150994 | 1 177453 19 | 0.000 % | 496.10/496.15 c | 4717536 | 253 34014 150994 | 1 185163 19 | 0.000 % | 496.10/496.15 c | 4728641 | 253 34014 150994 | 1 196268 19 | 0.000 % | 496.10/496.15 c | 4731901 | 253 34014 150994 | 1 199528 20 | 0.000 % | 496.10/496.15 c | 4732001 | 253 34014 150994 | 1 199628 20 | 0.000 % | 496.10/496.15 c | 4765566 | 253 34014 150994 | 1 233193 20 | 0.000 % | 496.10/496.15 c | 4783614 | 253 34014 150994 | 1 251241 20 | 0.000 % | 496.10/496.15 c | 4786881 | 253 34014 150994 | 1 254508 20 | 0.000 % | 496.10/496.15 c | 4791826 | 253 34014 150994 | 1 259453 21 | 0.000 % | 496.10/496.15 c | 4792638 | 253 34014 150994 | 1 260265 21 | 0.000 % | 496.10/496.15 c | 4803546 | 253 34014 150994 | 1 271173 21 | 0.000 % | 496.10/496.15 c | 4806037 | 253 34014 150994 | 1 273664 21 | 0.000 % | 496.10/496.15 c | 4826309 | 253 34014 150994 | 1 293936 21 | 0.000 % | 496.10/496.15 c | 4827982 | 253 34014 150994 | 1 295609 21 | 0.000 % | 496.10/496.15 c | 4828204 | 253 34014 150994 | 1 295831 21 | 0.000 % | 496.10/496.15 c | 4849743 | 253 34014 150994 | 1 162567 18 | 0.000 % | 496.10/496.15 c | 4849846 | 253 34014 150994 | 1 162670 18 | 0.000 % | 496.10/496.15 c | 4851618 | 253 34014 150994 | 1 164442 18 | 0.000 % | 496.10/496.15 c | 4856371 | 253 34014 150994 | 1 169195 18 | 0.000 % | 496.10/496.15 c | 4865976 | 253 34014 150994 | 1 178800 19 | 0.000 % | 496.10/496.15 c | 4883057 | 253 34014 150994 | 1 195881 19 | 0.000 % | 496.10/496.15 c | 4891804 | 253 34014 150994 | 1 204628 19 | 0.000 % | 496.10/496.15 c | 4893290 | 253 34014 150994 | 1 206114 20 | 0.000 % | 496.10/496.15 c | 4893815 | 253 34014 150994 | 1 206639 20 | 0.000 % | 496.10/496.15 c | 4901579 | 253 34014 150994 | 1 214403 20 | 0.000 % | 496.10/496.15 c | 4917914 | 253 34014 150994 | 1 230738 20 | 0.000 % | 496.10/496.15 c | 4918707 | 253 34014 150994 | 1 231531 20 | 0.000 % | 496.10/496.15 c | 4919669 | 253 34014 150994 | 1 232493 20 | 0.000 % | 496.10/496.15 c | 4924530 | 253 34014 150994 | 1 237354 20 | 0.000 % | 496.10/496.15 c | 4925492 | 253 34014 150994 | 1 238316 20 | 0.000 % | 496.10/496.15 c | 4935652 | 253 34014 150994 | 1 248476 20 | 0.000 % | 496.10/496.15 c | 4989476 | 253 34014 150994 | 1 302300 21 | 0.000 % | 496.10/496.15 c | 5014907 | 253 34014 150994 | 1 170324 18 | 0.000 % | 496.10/496.15 c | 5022488 | 253 34014 150994 | 1 177905 19 | 0.000 % | 496.10/496.15 c | 5022591 | 253 34014 150994 | 1 178008 19 | 0.000 % | 496.10/496.15 c | 5044811 | 253 34014 150994 | 1 200228 19 | 0.000 % | 496.10/496.15 c | 5045359 | 253 34014 150994 | 1 200776 19 | 0.000 % | 496.10/496.15 c | 5045459 | 253 34014 150994 | 1 200876 19 | 0.000 % | 496.10/496.15 c | 5046516 | 253 34014 150994 | 1 201933 20 | 0.000 % | 496.10/496.15 c | 5048011 | 253 34014 150994 | 1 203428 20 | 0.000 % | 496.10/496.15 c | 5049143 | 253 34014 150994 | 1 204560 20 | 0.000 % | 496.10/496.15 c | 5049243 | 253 34014 150994 | 1 204660 20 | 0.000 % | 496.10/496.15 c | 5059667 | 253 34014 150994 | 1 215084 20 | 0.000 % | 496.10/496.15 c | 5060884 | 253 34014 150994 | 1 216301 20 | 0.000 % | 496.10/496.15 c | 5074181 | 253 34014 150994 | 1 229598 20 | 0.000 % | 496.10/496.15 c | 5112531 | 253 34014 150994 | 1 267948 21 | 0.000 % | 496.10/496.15 c | 5112631 | 253 34014 150994 | 1 268048 21 | 0.000 % | 496.10/496.15 c | 5112879 | 253 34014 150994 | 1 268296 21 | 0.000 % | 496.10/496.15 c | 5112994 | 253 34014 150994 | 1 268411 21 | 0.000 % | 496.10/496.15 c | 5115643 | 253 34014 150994 | 1 271060 21 | 0.000 % | 607.70/607.75 c | 5158555 | 253 34014 150994 | 1 313972 21 | 0.000 % | 607.70/607.75 c | 5314055 | 253 34014 150994 | 1 309475 20 | 0.000 % | 607.70/607.75 c | 5321413 | 253 34014 150994 | 1 316833 20 | 0.000 % | 607.70/607.75 c | 5326287 | 253 34014 150994 | 1 321707 20 | 0.000 % | 607.70/607.75 c | 5331533 | 253 34014 150994 | 1 164348 17 | 0.000 % | 607.70/607.75 c | 5331910 | 253 34014 150994 | 1 164725 17 | 0.000 % | 607.70/607.75 c | 5332012 | 253 34014 150994 | 1 164827 17 | 0.000 % | 607.70/607.75 c | 5332173 | 253 34014 150994 | 1 164988 18 | 0.000 % | 607.70/607.75 c | 5334963 | 253 34014 150994 | 1 167778 18 | 0.000 % | 607.70/607.75 c | 5346427 | 253 34014 150994 | 1 179242 18 | 0.000 % | 607.70/607.75 c | 5397420 | 253 34014 150994 | 1 230235 19 | 0.000 % | 607.70/607.75 c | 5411878 | 253 34014 150994 | 1 244693 19 | 0.000 % | 607.70/607.75 c | 5418778 | 253 34014 150994 | 1 251593 19 | 0.000 % | 607.70/607.75 c | 5426385 | 253 34014 150994 | 1 259200 20 | 0.000 % | 607.70/607.75 c | 5449050 | 253 34014 150994 | 1 281865 20 | 0.000 % | 607.70/607.75 c | 5576864 | 253 34014 150994 | 1 244484 19 | 0.000 % | 607.70/607.75 c | 5581116 | 253 34014 150994 | 1 248736 19 | 0.000 % | 607.70/607.75 c | 5583103 | 253 34014 150994 | 1 250723 19 | 0.000 % | 607.70/607.75 c | 5608915 | 253 34014 150994 | 1 276535 20 | 0.000 % | 607.70/607.75 c | 5610476 | 253 34014 150994 | 1 278096 20 | 0.000 % | 607.70/607.75 c | 5668768 | 253 34014 150994 | 1 168579 18 | 0.000 % | 607.70/607.75 c | 5672409 | 253 34014 150994 | 1 172220 18 | 0.000 % | 607.70/607.75 c | 5732172 | 253 34014 150994 | 1 231983 19 | 0.000 % | 607.70/607.75 c | 5813498 | 253 34014 150994 | 1 313309 20 | 0.000 % | 607.70/607.75 c | 5813977 | 253 34014 150994 | 1 313788 20 | 0.000 % | 607.70/607.75 c | 5824600 | 253 34014 150994 | 1 324411 20 | 0.000 % | 607.70/607.75 c | 5824701 | 253 34014 150994 | 1 324512 20 | 0.000 % | 607.70/607.75 c | 5844372 | 253 34014 150994 | 1 173785 18 | 0.000 % | 607.70/607.75 c | 5844472 | 253 34014 150994 | 1 173885 18 | 0.000 % | 607.70/607.75 c | 5849294 | 253 34014 150994 | 1 178707 18 | 0.000 % | 607.70/607.75 c | 5871316 | 253 34014 150994 | 1 200729 19 | 0.000 % | 607.70/607.75 c | 5879813 | 253 34014 150994 | 1 209226 19 | 0.000 % | 607.70/607.75 c | 5880282 | 253 34014 150994 | 1 209695 19 | 0.000 % | 607.70/607.75 c | 5897697 | 253 34014 150994 | 1 227110 20 | 0.000 % | 607.70/607.75 c | 5897803 | 253 34014 150994 | 1 227216 20 | 0.000 % | 607.70/607.75 c | 5900288 | 253 34014 150994 | 1 229701 20 | 0.000 % | 607.70/607.75 c | 5900390 | 253 34014 150994 | 1 229803 20 | 0.000 % | 607.70/607.75 c | 5918404 | 253 34014 150994 | 1 247817 20 | 0.000 % | 607.70/607.75 c | 5919104 | 253 34014 150994 | 1 248517 20 | 0.000 % | 607.70/607.75 c | 5941842 | 253 34014 150994 | 1 271255 20 | 0.000 % | 607.70/607.75 c | 5953381 | 253 34014 150994 | 1 282794 21 | 0.000 % | 607.70/607.75 c | 5953482 | 253 34014 150994 | 1 282895 21 | 0.000 % | 607.70/607.75 c | 5955279 | 253 34014 150994 | 1 284692 21 | 0.000 % | 607.70/607.75 c | 5955379 | 253 34014 150994 | 1 284792 21 | 0.000 % | 607.70/607.75 c | 5958531 | 253 34014 150994 | 1 287944 21 | 0.000 % | 607.70/607.75 c | 5959505 | 253 34014 150994 | 1 288918 21 | 0.000 % | 607.70/607.75 c | 5959607 | 253 34014 150994 | 1 289020 21 | 0.000 % | 607.70/607.75 c | 5975548 | 253 34014 150994 | 1 304961 21 | 0.000 % | 607.70/607.75 c | 5975772 | 253 34014 150994 | 1 305185 21 | 0.000 % | 607.70/607.75 c | 5987181 | 253 34014 150994 | 1 316594 21 | 0.000 % | 639.11/639.12 c | 5987446 | 253 34014 150994 | 1 316859 21 | 0.000 % | 639.11/639.12 c | 5987549 | 253 34014 150994 | 1 316962 21 | 0.000 % | 639.11/639.12 c | 5991622 | 253 34014 150994 | 1 321035 21 | 0.000 % | 639.11/639.12 c | 5997263 | 253 34014 150994 | 1 326676 21 | 0.000 % | 639.11/639.12 c | 5999307 | 253 34014 150994 | 1 328720 21 | 0.000 % | 639.11/639.12 c | 5999793 | 253 34014 150994 | 1 329206 21 | 0.000 % | 639.11/639.12 c | 6010918 | 253 34014 150994 | 1 340331 22 | 0.000 % | 639.11/639.12 c | 6038037 | 253 34014 150994 | 1 194454 19 | 0.000 % | 639.11/639.12 c | 6053008 | 253 34014 150994 | 1 209425 19 | 0.000 % | 639.11/639.12 c | 6053108 | 253 34014 150994 | 1 209525 19 | 0.000 % | 639.11/639.12 c | 6084959 | 253 34014 150994 | 1 241376 20 | 0.000 % | 639.11/639.12 c | 6092016 | 253 34014 150994 | 1 248433 20 | 0.000 % | 639.11/639.12 c | 6092461 | 253 34014 150994 | 1 248878 20 | 0.000 % | 639.11/639.12 c | 6106015 | 253 34014 150994 | 1 262432 20 | 0.000 % | 639.11/639.12 c | 6109289 | 253 34014 150994 | 1 265706 20 | 0.000 % | 639.11/639.12 c | 6110183 | 253 34014 150994 | 1 266600 20 | 0.000 % | 639.11/639.12 c | 6110985 | 253 34014 150994 | 1 267402 20 | 0.000 % | 639.11/639.12 c | 6111085 | 253 34014 150994 | 1 267502 20 | 0.000 % | 639.11/639.12 c | 6113082 | 253 34014 150994 | 1 269499 20 | 0.000 % | 639.11/639.12 c | 6116065 | 253 34014 150994 | 1 272482 20 | 0.000 % | 639.11/639.12 c | 6120439 | 253 34014 150994 | 1 276856 21 | 0.000 % | 639.11/639.12 c | 6122769 | 253 34014 150994 | 1 279186 21 | 0.000 % | 639.11/639.12 c | 6128981 | 253 34014 150994 | 1 285398 21 | 0.000 % | 639.11/639.12 c | 6130201 | 253 34014 150994 | 1 286618 21 | 0.000 % | 639.11/639.12 c | 6136454 | 253 34014 150994 | 1 292871 21 | 0.000 % | 639.11/639.12 c | 6136555 | 253 34014 150994 | 1 292972 21 | 0.000 % | 639.11/639.12 c | 6147937 | 253 34014 150994 | 1 304354 21 | 0.000 % | 639.11/639.12 c | 6150071 | 253 34014 150994 | 1 306488 21 | 0.000 % | 639.11/639.12 c | 6150172 | 253 34014 150994 | 1 306589 21 | 0.000 % | 639.11/639.12 c | 6151546 | 253 34014 150994 | 1 307963 21 | 0.000 % | 639.11/639.12 c | 6159875 | 253 34014 150994 | 1 316292 21 | 0.000 % | 639.11/639.12 c | 6161543 | 253 34014 150994 | 1 317960 21 | 0.000 % | 639.11/639.12 c | 6161680 | 253 34014 150994 | 1 318097 21 | 0.000 % | 639.11/639.12 c | 6187645 | 253 34014 150994 | 1 344062 21 | 0.000 % | 639.11/639.12 c | 6197575 | 253 34014 150994 | 1 178392 18 | 0.000 % | 639.11/639.12 c | 6213283 | 253 34014 150994 | 1 194100 18 | 0.000 % | 639.11/639.12 c | 6214819 | 253 34014 150994 | 1 195636 18 | 0.000 % | 639.11/639.12 c | 6214940 | 253 34014 150994 | 1 195757 18 | 0.000 % | 639.11/639.12 c | 6215040 | 253 34014 150994 | 1 195857 18 | 0.000 % | 639.11/639.12 c | 6215144 | 253 34014 150994 | 1 195961 18 | 0.000 % | 639.11/639.12 c | 6215252 | 253 34014 150994 | 1 196069 18 | 0.000 % | 639.11/639.12 c | 6215353 | 253 34014 150994 | 1 196170 18 | 0.000 % | 639.11/639.12 c | 6225051 | 253 34014 150994 | 1 205868 19 | 0.000 % | 639.11/639.12 c | 6226225 | 253 34014 150994 | 1 207042 19 | 0.000 % | 639.11/639.12 c | 6226325 | 253 34014 150994 | 1 207142 19 | 0.000 % | 639.11/639.12 c | 6229415 | 253 34014 150994 | 1 210232 19 | 0.000 % | 639.11/639.12 c | 6229516 | 253 34014 150994 | 1 210333 19 | 0.000 % | 639.11/639.12 c | 6230260 | 253 34014 150994 | 1 211077 19 | 0.000 % | 639.11/639.12 c | 6233523 | 253 34014 150994 | 1 214340 19 | 0.000 % | 639.11/639.12 c | 6246562 | 253 34014 150994 | 1 227379 19 | 0.000 % | 725.40/725.46 c | 6275427 | 253 34014 150994 | 1 256244 20 | 0.000 % | 725.40/725.46 c | 6275527 | 253 34014 150994 | 1 256344 20 | 0.000 % | 725.40/725.46 c | 6276803 | 253 34014 150994 | 1 257620 20 | 0.000 % | 725.40/725.46 c | 6278144 | 253 34014 150994 | 1 258961 20 | 0.000 % | 725.40/725.46 c | 6288912 | 253 34014 150994 | 1 269729 20 | 0.000 % | 725.40/725.46 c | 6300148 | 253 34014 150994 | 1 280965 20 | 0.000 % | 725.40/725.46 c | 6306982 | 253 34014 150994 | 1 287799 21 | 0.000 % | 725.40/725.46 c | 6472896 | 253 34014 150994 | 1 275511 19 | 0.000 % | 725.40/725.46 c | 6481445 | 253 34014 150994 | 1 284060 20 | 0.000 % | 725.40/725.46 c | 6491473 | 253 34014 150994 | 1 294088 20 | 0.000 % | 725.40/725.46 c | 6494576 | 253 34014 150994 | 1 297191 20 | 0.000 % | 725.40/725.46 c | 6499569 | 253 34014 150994 | 1 302184 20 | 0.000 % | 725.40/725.46 c | 6528520 | 253 34014 150994 | 1 331135 20 | 0.000 % | 725.40/725.46 c | 6529249 | 253 34014 150994 | 1 331864 20 | 0.000 % | 725.40/725.46 c | 6529417 | 253 34014 150994 | 1 332032 20 | 0.000 % | 725.40/725.46 c | 6532833 | 253 34014 150994 | 1 335448 20 | 0.000 % | 725.40/725.46 c | 6538461 | 253 34014 150994 | 1 341076 21 | 0.000 % | 725.40/725.46 c | 6539741 | 253 34014 150994 | 1 342356 21 | 0.000 % | 725.40/725.46 c | 6539891 | 253 34014 150994 | 1 342506 21 | 0.000 % | 725.40/725.46 c | 6540235 | 253 34014 150994 | 1 342850 21 | 0.000 % | 725.40/725.46 c | 6543848 | 253 34014 150994 | 1 346463 21 | 0.000 % | 725.40/725.46 c | 6545654 | 253 34014 150994 | 1 348269 21 | 0.000 % | 725.40/725.46 c | 6545754 | 253 34014 150994 | 1 348369 21 | 0.000 % | 725.40/725.46 c | 6553610 | 253 34014 150994 | 1 356225 21 | 0.000 % | 725.40/725.46 c | 6557151 | 253 34014 150994 | 1 359766 21 | 0.000 % | 725.40/725.46 c | 6557251 | 253 34014 150994 | 1 359866 21 | 0.000 % | 725.40/725.46 c | 6587883 | 253 34014 150994 | 1 209694 18 | 0.000 % | 725.40/725.46 c | 6588637 | 253 34014 150994 | 1 210448 18 | 0.000 % | 725.40/725.46 c | 6601125 | 253 34014 150994 | 1 222936 19 | 0.000 % | 725.40/725.46 c | 6604267 | 253 34014 150994 | 1 226078 19 | 0.000 % | 725.40/725.46 c | 6604883 | 253 34014 150994 | 1 226694 19 | 0.000 % | 725.40/725.46 c | 6604983 | 253 34014 150994 | 1 226794 19 | 0.000 % | 725.40/725.46 c | 6639691 | 253 34014 150994 | 1 261502 19 | 0.000 % | 725.40/725.46 c | 6646633 | 253 34014 150994 | 1 268444 20 | 0.000 % | 725.40/725.46 c | 6649959 | 253 34014 150994 | 1 271770 20 | 0.000 % | 725.40/725.46 c | 6655706 | 253 34014 150994 | 1 277517 20 | 0.000 % | 725.40/725.46 c | 6799711 | 253 34014 150994 | 1 238119 19 | 0.000 % | 725.40/725.46 c | 6844761 | 253 34014 150994 | 1 283169 19 | 0.000 % | 725.40/725.46 c | 6845315 | 253 34014 150994 | 1 283723 19 | 0.000 % | 725.40/725.46 c | 6859710 | 253 34014 150994 | 1 298118 20 | 0.000 % | 725.40/725.46 c | 6864869 | 253 34014 150994 | 1 303277 20 | 0.000 % | 725.40/725.46 c | 6879066 | 253 34014 150994 | 1 317474 20 | 0.000 % | 725.40/725.46 c | 6880405 | 253 34014 150994 | 1 318813 20 | 0.000 % | 725.40/725.46 c | 6880509 | 253 34014 150994 | 1 318917 20 | 0.000 % | 725.40/725.46 c | 6881125 | 253 34014 150994 | 1 319533 20 | 0.000 % | 725.40/725.46 c | 6881753 | 253 34014 150994 | 1 320161 20 | 0.000 % | 725.40/725.46 c | 6881855 | 253 34014 150994 | 1 320263 20 | 0.000 % | 725.40/725.46 c | 6908735 | 253 34014 150994 | 1 347143 20 | 0.000 % | 725.40/725.46 c | 6908837 | 253 34014 150994 | 1 347245 20 | 0.000 % | 725.40/725.46 c | 6918493 | 253 34014 150994 | 1 356901 20 | 0.000 % | 763.61/763.69 c | 6918769 | 253 34014 150994 | 1 357177 20 | 0.000 % | 763.61/763.69 c | 6918910 | 253 34014 150994 | 1 357318 20 | 0.000 % | 763.61/763.69 c | 6919127 | 253 34014 150994 | 1 357535 21 | 0.000 % | 763.61/763.69 c | 6919255 | 253 34014 150994 | 1 357663 21 | 0.000 % | 763.61/763.69 c | 6927535 | 253 34014 150994 | 1 365943 21 | 0.000 % | 763.61/763.69 c | 6942534 | 253 34014 150994 | 1 194943 18 | 0.000 % | 763.61/763.69 c | 6942712 | 253 34014 150994 | 1 195121 18 | 0.000 % | 763.61/763.69 c | 6942812 | 253 34014 150994 | 1 195221 18 | 0.000 % | 763.61/763.69 c | 6943723 | 253 34014 150994 | 1 196132 18 | 0.000 % | 763.61/763.69 c | 6944093 | 253 34014 150994 | 1 196502 18 | 0.000 % | 763.61/763.69 c | 6952184 | 253 34014 150994 | 1 204593 18 | 0.000 % | 763.61/763.69 c | 6952284 | 253 34014 150994 | 1 204693 18 | 0.000 % | 763.61/763.69 c | 6954984 | 253 34014 150994 | 1 207393 18 | 0.000 % | 763.61/763.69 c | 7037011 | 253 34014 150994 | 1 289420 20 | 0.000 % | 763.61/763.69 c | 7041594 | 253 34014 150994 | 1 294003 20 | 0.000 % | 763.61/763.69 c | 7044998 | 253 34014 150994 | 1 297407 20 | 0.000 % | 763.61/763.69 c | 7055840 | 253 34014 150994 | 1 308249 20 | 0.000 % | 763.61/763.69 c | 7057339 | 253 34014 150994 | 1 309748 20 | 0.000 % | 763.61/763.69 c | 7057439 | 253 34014 150994 | 1 309848 20 | 0.000 % | 763.61/763.69 c | 7064537 | 253 34014 150994 | 1 316946 20 | 0.000 % | 763.61/763.69 c | 7079783 | 253 34014 150994 | 1 332192 21 | 0.000 % | 763.61/763.69 c | 7080163 | 253 34014 150994 | 1 332572 21 | 0.000 % | 763.61/763.69 c | 7080263 | 253 34014 150994 | 1 332672 21 | 0.000 % | 763.61/763.69 c | 7080570 | 253 34014 150994 | 1 332979 21 | 0.000 % | 763.61/763.69 c | 7131789 | 253 34014 150994 | 1 195602 18 | 0.000 % | 763.61/763.69 c | 7182528 | 253 34014 150994 | 1 246341 19 | 0.000 % | 763.61/763.69 c | 7184677 | 253 34014 150994 | 1 248490 20 | 0.000 % | 763.61/763.69 c | 7184779 | 253 34014 150994 | 1 248592 20 | 0.000 % | 763.61/763.69 c | 7184881 | 253 34014 150994 | 1 248694 20 | 0.000 % | 763.61/763.69 c | 7187875 | 253 34014 150994 | 1 251688 20 | 0.000 % | 763.61/763.69 c | 7193098 | 253 34014 150994 | 1 256911 20 | 0.000 % | 763.61/763.69 c | 7202825 | 253 34014 150994 | 1 266638 20 | 0.000 % | 763.61/763.69 c | 7205721 | 253 34014 150994 | 1 269534 20 | 0.000 % | 763.61/763.69 c | 7206985 | 253 34014 150994 | 1 270798 20 | 0.000 % | 763.61/763.69 c | 7216639 | 253 34014 150994 | 1 280452 20 | 0.000 % | 763.61/763.69 c | 7217368 | 253 34014 150994 | 1 281181 20 | 0.000 % | 763.61/763.69 c | 7218118 | 253 34014 150994 | 1 281931 20 | 0.000 % | 763.61/763.69 c | 7223690 | 253 34014 150994 | 1 287503 20 | 0.005 % | 763.61/763.69 c =============================================================================== 763.61/763.69 c restarts : 726 763.61/763.69 c nb ReduceDB : 73 763.61/763.69 c nb removed Clauses : 6936187 763.61/763.69 c nb learnts DL2 : 15 763.61/763.69 c nb learnts size 2 : 5 763.61/763.69 c nb learnts size 1 : 0 763.61/763.69 c conflicts : 7223690 (9462 /sec) 763.61/763.69 c decisions : 8664331 (0.00 % random) (11349 /sec) 763.61/763.69 c propagations : 243214064 (318576 /sec) 763.61/763.69 c conflict literals : 177102840 (49.42 % deleted) 763.61/763.69 c nb reduced Clauses : 10053 763.61/763.69 c CPU time : 763.441 s 763.61/763.69 763.71/763.70 s SATISFIABLE 763.71/763.70 v 1 2 3 4 5 6 7 8 9 10 11 -12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 -35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 -56 -57 58 59 60 61 62 63 64 65 66 -67 68 69 70 71 -72 73 74 75 76 77 78 79 80 -81 -82 83 84 85 86 87 88 -89 90 91 92 93 94 95 96 97 98 99 100 101 102 103 104 105 106 107 108 109 110 111 -112 -113 114 115 116 -117 -118 119 120 121 122 123 124 -125 126 127 128 129 130 131 132 133 134 135 -136 137 138 139 140 141 142 143 144 145 146 147 -148 149 150 -151 152 153 154 155 156 157 158 159 160 161 162 -163 164 165 166 167 168 169 170 171 172 173 -174 175 176 177 178 179 180 -181 -182 183 184 185 -186 -187 188 189 190 191 192 193 194 195 196 197 198 199 200 201 202 203 204 205 206 207 208 209 -210 211 212 213 214 215 216 -217 218 219 220 221 222 223 224 225 226 -227 228 229 230 231 -232 233 234 235 236 237 238 239 240 241 242 -243 244 245 246 247 248 249 250 251 252 253 0
OK
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.0 (svn: 935) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3262484-1303542328/watcher-3262484-1303542328 -o /tmp/evaluation-result-3262484-1303542328/solver-3262484-1303542328 -C 2400 -W 1300 -M 7680 glucose.sh HOME/instance-3262484-1303542328.cnf running on 2 cores: 4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1300 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 7864320 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 7915520 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.06 2.85 3.11 5/192 29101 /proc/meminfo: memFree=13276464/32951124 swapFree=67111528/67111528 [pid=29101] ppid=29099 vsize=8704 CPUtime=0 cores=4,6 /proc/29101/stat : 29101 (glucose.sh) S 29099 29101 28537 0 -1 4202496 333 0 0 0 0 0 0 0 22 0 1 0 465835169 8912896 253 33554432000 4194304 4922060 140736256327232 18446744073709551615 212435836037 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/29101/statm: 2176 253 211 178 0 69 0 [startup+0.09643 s] /proc/loadavg: 2.06 2.85 3.11 5/192 29101 /proc/meminfo: memFree=13276464/32951124 swapFree=67111528/67111528 [pid=29101] ppid=29099 vsize=8704 CPUtime=0.03 cores=4,6 /proc/29101/stat : 29101 (glucose.sh) S 29099 29101 28537 0 -1 4202496 360 729 0 0 0 0 3 0 22 0 1 0 465835169 8912896 255 33554432000 4194304 4922060 140736256327232 18446744073709551615 212435836037 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/29101/statm: 2176 255 211 178 0 69 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 8704 [startup+0.100426 s] /proc/loadavg: 2.06 2.85 3.11 5/192 29101 /proc/meminfo: memFree=13276464/32951124 swapFree=67111528/67111528 [pid=29101] ppid=29099 vsize=8704 CPUtime=0.03 cores=4,6 /proc/29101/stat : 29101 (glucose.sh) S 29099 29101 28537 0 -1 4202496 360 729 0 0 0 0 3 0 22 0 1 0 465835169 8912896 255 33554432000 4194304 4922060 140736256327232 18446744073709551615 212435836037 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/29101/statm: 2176 255 211 178 0 69 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 8704 [startup+0.300387 s] /proc/loadavg: 2.06 2.85 3.11 5/192 29101 /proc/meminfo: memFree=13276464/32951124 swapFree=67111528/67111528 [pid=29101] ppid=29099 vsize=8704 CPUtime=0.03 cores=4,6 /proc/29101/stat : 29101 (glucose.sh) S 29099 29101 28537 0 -1 4202496 360 729 0 0 0 0 3 0 22 0 1 0 465835169 8912896 255 33554432000 4194304 4922060 140736256327232 18446744073709551615 212435836037 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/29101/statm: 2176 255 211 178 0 69 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 8704 [startup+0.700325 s] /proc/loadavg: 2.06 2.85 3.11 5/192 29101 /proc/meminfo: memFree=13276464/32951124 swapFree=67111528/67111528 [pid=29101] ppid=29099 vsize=8704 CPUtime=0.03 cores=4,6 /proc/29101/stat : 29101 (glucose.sh) S 29099 29101 28537 0 -1 4202496 360 729 0 0 0 0 3 0 22 0 1 0 465835169 8912896 255 33554432000 4194304 4922060 140736256327232 18446744073709551615 212435836037 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/29101/statm: 2176 255 211 178 0 69 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 8704 [startup+1.50022 s] /proc/loadavg: 2.06 2.85 3.11 5/194 29104 /proc/meminfo: memFree=13251780/32951124 swapFree=67111528/67111528 [pid=29101] ppid=29099 vsize=8704 CPUtime=0.03 cores=4,6 /proc/29101/stat : 29101 (glucose.sh) S 29099 29101 28537 0 -1 4202496 360 729 0 0 0 0 3 0 22 0 1 0 465835169 8912896 255 33554432000 4194304 4922060 140736256327232 18446744073709551615 212435836037 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/29101/statm: 2176 255 211 178 0 69 0 [pid=29104] ppid=29101 vsize=25464 CPUtime=1.45 cores=4,6 /proc/29104/stat : 29104 (glucose_static) R 29101 29101 28537 0 -1 4202496 3998 0 0 0 145 0 0 0 25 0 1 0 465835173 26075136 2602 33554432000 4194304 4260849 140735442721088 18446744073709551615 4224682 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/29104/statm: 6366 2602 249 17 0 3007 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 34168 [startup+3.10092 s] /proc/loadavg: 2.06 2.85 3.11 5/194 29105 /proc/meminfo: memFree=13239380/32951124 swapFree=67111528/67111528 [pid=29101] ppid=29099 vsize=8704 CPUtime=0.03 cores=4,6 /proc/29101/stat : 29101 (glucose.sh) S 29099 29101 28537 0 -1 4202496 360 729 0 0 0 0 3 0 22 0 1 0 465835169 8912896 255 33554432000 4194304 4922060 140736256327232 18446744073709551615 212435836037 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/29101/statm: 2176 255 211 178 0 69 0 [pid=29104] ppid=29101 vsize=25464 CPUtime=3.05 cores=4,6 /proc/29104/stat : 29104 (glucose_static) R 29101 29101 28537 0 -1 4202496 4454 0 0 0 305 0 0 0 25 0 1 0 465835173 26075136 3045 33554432000 4194304 4260849 140735442721088 18446744073709551615 4225082 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/29104/statm: 6366 3045 249 17 0 3007 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 34168 [startup+6.30029 s] /proc/loadavg: 2.21 2.87 3.11 5/194 29105 /proc/meminfo: memFree=13224856/32951124 swapFree=67111528/67111528 [pid=29101] ppid=29099 vsize=8704 CPUtime=0.03 cores=4,6 /proc/29101/stat : 29101 (glucose.sh) S 29099 29101 28537 0 -1 4202496 360 729 0 0 0 0 3 0 22 0 1 0 465835169 8912896 255 33554432000 4194304 4922060 140736256327232 18446744073709551615 212435836037 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/29101/statm: 2176 255 211 178 0 69 0 [pid=29104] ppid=29101 vsize=34696 CPUtime=6.25 cores=4,6 /proc/29104/stat : 29104 (glucose_static) R 29101 29101 28537 0 -1 4202496 6504 0 0 0 625 0 0 0 25 0 1 0 465835173 35528704 3815 33554432000 4194304 4260849 140735442721088 18446744073709551615 4209264 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/29104/statm: 8674 3815 249 17 0 5315 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 43400 [startup+12.7011 s] /proc/loadavg: 2.36 2.89 3.11 5/194 29105 /proc/meminfo: memFree=13202172/32951124 swapFree=67111528/67111528 [pid=29101] ppid=29099 vsize=8704 CPUtime=0.03 cores=4,6 /proc/29101/stat : 29101 (glucose.sh) S 29099 29101 28537 0 -1 4202496 360 729 0 0 0 0 3 0 22 0 1 0 465835169 8912896 255 33554432000 4194304 4922060 140736256327232 18446744073709551615 212435836037 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/29101/statm: 2176 255 211 178 0 69 0 [pid=29104] ppid=29101 vsize=39116 CPUtime=12.65 cores=4,6 /proc/29104/stat : 29104 (glucose_static) R 29101 29101 28537 0 -1 4202496 9368 0 0 0 1265 0 0 0 25 0 1 0 465835173 40054784 6530 33554432000 4194304 4260849 140735442721088 18446744073709551615 4224873 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/29104/statm: 9779 6530 249 17 0 6420 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 47820 [startup+25.5007 s] /proc/loadavg: 2.72 2.95 3.13 5/194 29105 /proc/meminfo: memFree=13179612/32951124 swapFree=67111528/67111528 [pid=29101] ppid=29099 vsize=8704 CPUtime=0.03 cores=4,6 /proc/29101/stat : 29101 (glucose.sh) S 29099 29101 28537 0 -1 4202496 360 729 0 0 0 0 3 0 22 0 1 0 465835169 8912896 255 33554432000 4194304 4922060 140736256327232 18446744073709551615 212435836037 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/29101/statm: 2176 255 211 178 0 69 0 [pid=29104] ppid=29101 vsize=35512 CPUtime=25.45 cores=4,6 /proc/29104/stat : 29104 (glucose_static) R 29101 29101 28537 0 -1 4202496 12236 0 0 0 2544 1 0 0 25 0 1 0 465835173 36364288 4834 33554432000 4194304 4260849 140735442721088 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/29104/statm: 8878 4834 249 17 0 5519 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 44216 [startup+51.1009 s] /proc/loadavg: 3.16 3.03 3.15 5/194 29106 /proc/meminfo: memFree=13136188/32951124 swapFree=67111528/67111528 [pid=29101] ppid=29099 vsize=8704 CPUtime=0.03 cores=4,6 /proc/29101/stat : 29101 (glucose.sh) S 29099 29101 28537 0 -1 4202496 360 729 0 0 0 0 3 0 22 0 1 0 465835169 8912896 255 33554432000 4194304 4922060 140736256327232 18446744073709551615 212435836037 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/29101/statm: 2176 255 211 178 0 69 0 [pid=29104] ppid=29101 vsize=55504 CPUtime=51.05 cores=4,6 /proc/29104/stat : 29104 (glucose_static) R 29101 29101 28537 0 -1 4202496 18678 0 0 0 5104 1 0 0 25 0 1 0 465835173 56836096 8631 33554432000 4194304 4260849 140735442721088 18446744073709551615 4225504 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/29104/statm: 13876 8631 249 17 0 10517 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 64208 [startup+102.307 s] /proc/loadavg: 3.79 3.21 3.20 5/194 29107 /proc/meminfo: memFree=13078372/32951124 swapFree=67111528/67111528 [pid=29101] ppid=29099 vsize=8704 CPUtime=0.03 cores=4,6 /proc/29101/stat : 29101 (glucose.sh) S 29099 29101 28537 0 -1 4202496 360 729 0 0 0 0 3 0 22 0 1 0 465835169 8912896 255 33554432000 4194304 4922060 140736256327232 18446744073709551615 212435836037 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/29101/statm: 2176 255 211 178 0 69 0 [pid=29104] ppid=29101 vsize=67108 CPUtime=102.26 cores=4,6 /proc/29104/stat : 29104 (glucose_static) R 29101 29101 28537 0 -1 4202496 22872 0 0 0 10224 2 0 0 25 0 1 0 465835173 68718592 12657 33554432000 4194304 4260849 140735442721088 18446744073709551615 4224643 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/29104/statm: 16777 12657 249 17 0 13418 0 Current children cumulated CPU time (s) 102.29 Current children cumulated vsize (KiB) 75812 [startup+162.301 s] /proc/loadavg: 3.92 3.35 3.25 5/194 29109 /proc/meminfo: memFree=13049940/32951124 swapFree=67111528/67111528 [pid=29101] ppid=29099 vsize=8704 CPUtime=0.03 cores=4,6 /proc/29101/stat : 29101 (glucose.sh) S 29099 29101 28537 0 -1 4202496 360 729 0 0 0 0 3 0 22 0 1 0 465835169 8912896 255 33554432000 4194304 4922060 140736256327232 18446744073709551615 212435836037 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/29101/statm: 2176 255 211 178 0 69 0 [pid=29104] ppid=29101 vsize=85960 CPUtime=162.25 cores=4,6 /proc/29104/stat : 29104 (glucose_static) R 29101 29101 28537 0 -1 4202496 38325 0 0 0 16221 4 0 0 25 0 1 0 465835173 88023040 15456 33554432000 4194304 4260849 140735442721088 18446744073709551615 4224834 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/29104/statm: 21490 15456 249 17 0 18131 0 Current children cumulated CPU time (s) 162.28 Current children cumulated vsize (KiB) 94664 [startup+222.301 s] /proc/loadavg: 3.97 3.47 3.29 5/194 29110 /proc/meminfo: memFree=13027840/32951124 swapFree=67111528/67111528 [pid=29101] ppid=29099 vsize=8704 CPUtime=0.03 cores=4,6 /proc/29101/stat : 29101 (glucose.sh) S 29099 29101 28537 0 -1 4202496 360 729 0 0 0 0 3 0 22 0 1 0 465835169 8912896 255 33554432000 4194304 4922060 140736256327232 18446744073709551615 212435836037 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/29101/statm: 2176 255 211 178 0 69 0 [pid=29104] ppid=29101 vsize=87732 CPUtime=222.26 cores=4,6 /proc/29104/stat : 29104 (glucose_static) R 29101 29101 28537 0 -1 4202496 46701 0 0 0 22220 6 0 0 25 0 1 0 465835173 89837568 16685 33554432000 4194304 4260849 140735442721088 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/29104/statm: 21933 16685 249 17 0 18574 0 Current children cumulated CPU time (s) 222.29 Current children cumulated vsize (KiB) 96436 [startup+282.301 s] /proc/loadavg: 3.99 3.56 3.34 5/194 29112 /proc/meminfo: memFree=12999300/32951124 swapFree=67111528/67111528 [pid=29101] ppid=29099 vsize=8704 CPUtime=0.03 cores=4,6 /proc/29101/stat : 29101 (glucose.sh) S 29099 29101 28537 0 -1 4202496 360 729 0 0 0 0 3 0 22 0 1 0 465835169 8912896 255 33554432000 4194304 4922060 140736256327232 18446744073709551615 212435836037 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/29101/statm: 2176 255 211 178 0 69 0 [pid=29104] ppid=29101 vsize=87732 CPUtime=282.26 cores=4,6 /proc/29104/stat : 29104 (glucose_static) R 29101 29101 28537 0 -1 4202496 47349 0 0 0 28220 6 0 0 25 0 1 0 465835173 89837568 17306 33554432000 4194304 4260849 140735442721088 18446744073709551615 4225087 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/29104/statm: 21933 17306 249 17 0 18574 0 Current children cumulated CPU time (s) 282.29 Current children cumulated vsize (KiB) 96436 [startup+342.301 s] /proc/loadavg: 3.99 3.64 3.37 5/194 29114 /proc/meminfo: memFree=12944092/32951124 swapFree=67111528/67111528 [pid=29101] ppid=29099 vsize=8704 CPUtime=0.03 cores=4,6 /proc/29101/stat : 29101 (glucose.sh) S 29099 29101 28537 0 -1 4202496 360 729 0 0 0 0 3 0 22 0 1 0 465835169 8912896 255 33554432000 4194304 4922060 140736256327232 18446744073709551615 212435836037 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/29101/statm: 2176 255 211 178 0 69 0 [pid=29104] ppid=29101 vsize=106408 CPUtime=342.26 cores=4,6 /proc/29104/stat : 29104 (glucose_static) R 29101 29101 28537 0 -1 4202496 52556 0 0 0 34219 7 0 0 25 0 1 0 465835173 108961792 22285 33554432000 4194304 4260849 140735442721088 18446744073709551615 4224812 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/29104/statm: 26602 22285 249 17 0 23243 0 Current children cumulated CPU time (s) 342.29 Current children cumulated vsize (KiB) 115112 [startup+402.301 s] /proc/loadavg: 4.07 3.72 3.42 5/194 29115 /proc/meminfo: memFree=12928532/32951124 swapFree=67111528/67111528 [pid=29101] ppid=29099 vsize=8704 CPUtime=0.03 cores=4,6 /proc/29101/stat : 29101 (glucose.sh) S 29099 29101 28537 0 -1 4202496 360 729 0 0 0 0 3 0 22 0 1 0 465835169 8912896 255 33554432000 4194304 4922060 140736256327232 18446744073709551615 212435836037 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/29101/statm: 2176 255 211 178 0 69 0 [pid=29104] ppid=29101 vsize=106408 CPUtime=402.27 cores=4,6 /proc/29104/stat : 29104 (glucose_static) R 29101 29101 28537 0 -1 4202496 53179 0 0 0 40219 8 0 0 25 0 1 0 465835173 108961792 22894 33554432000 4194304 4260849 140735442721088 18446744073709551615 4224885 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/29104/statm: 26602 22894 249 17 0 23243 0 Current children cumulated CPU time (s) 402.3 Current children cumulated vsize (KiB) 115112 [startup+462.301 s] /proc/loadavg: 4.02 3.77 3.45 5/194 29117 /proc/meminfo: memFree=12924128/32951124 swapFree=67111528/67111528 [pid=29101] ppid=29099 vsize=8704 CPUtime=0.03 cores=4,6 /proc/29101/stat : 29101 (glucose.sh) S 29099 29101 28537 0 -1 4202496 360 729 0 0 0 0 3 0 22 0 1 0 465835169 8912896 255 33554432000 4194304 4922060 140736256327232 18446744073709551615 212435836037 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/29101/statm: 2176 255 211 178 0 69 0 [pid=29104] ppid=29101 vsize=106408 CPUtime=462.27 cores=4,6 /proc/29104/stat : 29104 (glucose_static) R 29101 29101 28537 0 -1 4202496 53543 0 0 0 46219 8 0 0 25 0 1 0 465835173 108961792 23245 33554432000 4194304 4260849 140735442721088 18446744073709551615 4224845 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/29104/statm: 26602 23245 249 17 0 23243 0 Current children cumulated CPU time (s) 462.3 Current children cumulated vsize (KiB) 115112 [startup+522.301 s] /proc/loadavg: 4.01 3.81 3.48 5/194 29118 /proc/meminfo: memFree=12917996/32951124 swapFree=67111528/67111528 [pid=29101] ppid=29099 vsize=8704 CPUtime=0.03 cores=4,6 /proc/29101/stat : 29101 (glucose.sh) S 29099 29101 28537 0 -1 4202496 360 729 0 0 0 0 3 0 22 0 1 0 465835169 8912896 255 33554432000 4194304 4922060 140736256327232 18446744073709551615 212435836037 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/29101/statm: 2176 255 211 178 0 69 0 [pid=29104] ppid=29101 vsize=106408 CPUtime=522.27 cores=4,6 /proc/29104/stat : 29104 (glucose_static) R 29101 29101 28537 0 -1 4202496 69144 0 0 0 52217 10 0 0 25 0 1 0 465835173 108961792 23342 33554432000 4194304 4260849 140735442721088 18446744073709551615 4225060 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/29104/statm: 26602 23342 249 17 0 23243 0 Current children cumulated CPU time (s) 522.3 Current children cumulated vsize (KiB) 115112 [startup+582.301 s] /proc/loadavg: 4.00 3.84 3.51 5/194 29120 /proc/meminfo: memFree=12915244/32951124 swapFree=67111528/67111528 [pid=29101] ppid=29099 vsize=8704 CPUtime=0.03 cores=4,6 /proc/29101/stat : 29101 (glucose.sh) S 29099 29101 28537 0 -1 4202496 360 729 0 0 0 0 3 0 22 0 1 0 465835169 8912896 255 33554432000 4194304 4922060 140736256327232 18446744073709551615 212435836037 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/29101/statm: 2176 255 211 178 0 69 0 [pid=29104] ppid=29101 vsize=106408 CPUtime=582.27 cores=4,6 /proc/29104/stat : 29104 (glucose_static) R 29101 29101 28537 0 -1 4202496 92538 0 0 0 58214 13 0 0 25 0 1 0 465835173 108961792 23342 33554432000 4194304 4260849 140735442721088 18446744073709551615 4225087 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/29104/statm: 26602 23342 249 17 0 23243 0 Current children cumulated CPU time (s) 582.3 Current children cumulated vsize (KiB) 115112 [startup+642.301 s] /proc/loadavg: 4.00 3.86 3.54 5/194 29122 /proc/meminfo: memFree=12876392/32951124 swapFree=67111528/67111528 [pid=29101] ppid=29099 vsize=8704 CPUtime=0.03 cores=4,6 /proc/29101/stat : 29101 (glucose.sh) S 29099 29101 28537 0 -1 4202496 360 729 0 0 0 0 3 0 22 0 1 0 465835169 8912896 255 33554432000 4194304 4922060 140736256327232 18446744073709551615 212435836037 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/29101/statm: 2176 255 211 178 0 69 0 [pid=29104] ppid=29101 vsize=106408 CPUtime=642.28 cores=4,6 /proc/29104/stat : 29104 (glucose_static) R 29101 29101 28537 0 -1 4202496 117789 0 0 0 64212 16 0 0 25 0 1 0 465835173 108961792 23343 33554432000 4194304 4260849 140735442721088 18446744073709551615 4224647 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/29104/statm: 26602 23343 249 17 0 23243 0 Current children cumulated CPU time (s) 642.31 Current children cumulated vsize (KiB) 115112 [startup+702.301 s] /proc/loadavg: 4.08 3.92 3.58 5/194 29123 /proc/meminfo: memFree=12855660/32951124 swapFree=67111528/67111528 [pid=29101] ppid=29099 vsize=8704 CPUtime=0.03 cores=4,6 /proc/29101/stat : 29101 (glucose.sh) S 29099 29101 28537 0 -1 4202496 360 729 0 0 0 0 3 0 22 0 1 0 465835169 8912896 255 33554432000 4194304 4922060 140736256327232 18446744073709551615 212435836037 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/29101/statm: 2176 255 211 178 0 69 0 [pid=29104] ppid=29101 vsize=106408 CPUtime=702.28 cores=4,6 /proc/29104/stat : 29104 (glucose_static) R 29101 29101 28537 0 -1 4202496 143765 0 0 0 70207 21 0 0 25 0 1 0 465835173 108961792 23344 33554432000 4194304 4260849 140735442721088 18446744073709551615 4224895 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/29104/statm: 26602 23344 249 17 0 23243 0 Current children cumulated CPU time (s) 702.31 Current children cumulated vsize (KiB) 115112 [startup+762.307 s] /proc/loadavg: 4.03 3.93 3.60 5/194 29125 /proc/meminfo: memFree=12889612/32951124 swapFree=67111528/67111528 [pid=29101] ppid=29099 vsize=8704 CPUtime=0.03 cores=4,6 /proc/29101/stat : 29101 (glucose.sh) S 29099 29101 28537 0 -1 4202496 360 729 0 0 0 0 3 0 22 0 1 0 465835169 8912896 255 33554432000 4194304 4922060 140736256327232 18446744073709551615 212435836037 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/29101/statm: 2176 255 211 178 0 69 0 [pid=29104] ppid=29101 vsize=106408 CPUtime=762.29 cores=4,6 /proc/29104/stat : 29104 (glucose_static) R 29101 29101 28537 0 -1 4202496 161754 0 0 0 76205 24 0 0 25 0 1 0 465835173 108961792 23344 33554432000 4194304 4260849 140735442721088 18446744073709551615 4224878 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/29104/statm: 26602 23344 249 17 0 23243 0 Current children cumulated CPU time (s) 762.32 Current children cumulated vsize (KiB) 115112 Solver just ended. Dumping a history of the last processes samples [startup+763.1 s] /proc/loadavg: 4.03 3.93 3.60 5/194 29125 /proc/meminfo: memFree=12889612/32951124 swapFree=67111528/67111528 [pid=29101] ppid=29099 vsize=8704 CPUtime=0.03 cores=4,6 /proc/29101/stat : 29101 (glucose.sh) S 29099 29101 28537 0 -1 4202496 360 729 0 0 0 0 3 0 22 0 1 0 465835169 8912896 255 33554432000 4194304 4922060 140736256327232 18446744073709551615 212435836037 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/29101/statm: 2176 255 211 178 0 69 0 [pid=29104] ppid=29101 vsize=106408 CPUtime=763.08 cores=4,6 /proc/29104/stat : 29104 (glucose_static) R 29101 29101 28537 0 -1 4202496 161754 0 0 0 76284 24 0 0 25 0 1 0 465835173 108961792 23344 33554432000 4194304 4260849 140735442721088 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/29104/statm: 26602 23344 249 17 0 23243 0 Current children cumulated CPU time (s) 763.11 Current children cumulated vsize (KiB) 115112 [startup+763.5 s] /proc/loadavg: 4.03 3.93 3.60 5/194 29125 /proc/meminfo: memFree=12889612/32951124 swapFree=67111528/67111528 [pid=29101] ppid=29099 vsize=8704 CPUtime=0.03 cores=4,6 /proc/29101/stat : 29101 (glucose.sh) S 29099 29101 28537 0 -1 4202496 360 729 0 0 0 0 3 0 22 0 1 0 465835169 8912896 255 33554432000 4194304 4922060 140736256327232 18446744073709551615 212435836037 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/29101/statm: 2176 255 211 178 0 69 0 [pid=29104] ppid=29101 vsize=106408 CPUtime=763.48 cores=4,6 /proc/29104/stat : 29104 (glucose_static) R 29101 29101 28537 0 -1 4202496 161754 0 0 0 76324 24 0 0 25 0 1 0 465835173 108961792 23344 33554432000 4194304 4260849 140735442721088 18446744073709551615 4225104 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/29104/statm: 26602 23344 249 17 0 23243 0 Current children cumulated CPU time (s) 763.51 Current children cumulated vsize (KiB) 115112 [startup+763.7 s] /proc/loadavg: 4.03 3.93 3.60 5/194 29125 /proc/meminfo: memFree=12889612/32951124 swapFree=67111528/67111528 [pid=29101] ppid=29099 vsize=8704 CPUtime=0.03 cores=4,6 /proc/29101/stat : 29101 (glucose.sh) S 29099 29101 28537 0 -1 4202496 360 729 0 0 0 0 3 0 22 0 1 0 465835169 8912896 255 33554432000 4194304 4922060 140736256327232 18446744073709551615 212435836037 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/29101/statm: 2176 255 211 178 0 69 0 [pid=29104] ppid=29101 vsize=0 CPUtime=763.68 cores=4,6 /proc/29104/stat : 29104 (glucose_static) R 29101 29101 28537 0 -1 4202500 161758 0 0 0 76344 24 0 0 25 0 1 0 465835173 0 0 33554432000 0 0 0 0 0 0 0 4096 0 18446744073709551615 0 0 17 4 0 0 0 /proc/29104/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 763.71 Current children cumulated vsize (KiB) 8704 Child status: 10 Real time (s): 763.707 CPU time (s): 763.725 CPU user time (s): 763.473 CPU system time (s): 0.251961 CPU usage (%): 100.002 Max. virtual memory (cumulated for all children) (KiB): 164432 getrusage(RUSAGE_CHILDREN,...) data: user time used= 763.473 system time used= 0.251961 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 163226 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= 47 involuntary context switches= 1152 runsolver used 1.38279 second user time and 2.79157 second system time The end
Begin job on node102 at 2011-04-23 09:05:28 IDJOB=3262484 IDBENCH=83313 IDSOLVER=1651 FILE ID=node102/3262484-1303542328 RUNJOBID= node102-1303542328-29054 PBS_JOBID= 13143136 Free space on /tmp= 70996 MiB SOLVER NAME= glucose 2 BENCH NAME= SAT11/crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/VanDerWaerden_pd_2-3-23_505.cnf COMMAND LINE= glucose.sh BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3262484-1303542328/watcher-3262484-1303542328 -o /tmp/evaluation-result-3262484-1303542328/solver-3262484-1303542328 -C 2400 -W 1300 -M 7680 glucose.sh HOME/instance-3262484-1303542328.cnf TIME LIMIT= 2400 seconds MEMORY LIMIT= 7680 MiB NBCORE= 2 MD5SUM BENCH= 8e7b614904543aa28491ea45c761cbd5 RANDOM SEED=2139766098 node102.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.828 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.65 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.828 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5226.15 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.828 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.82 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.828 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.828 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.82 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.828 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.828 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.828 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.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 13276620 kB Buffers: 1834268 kB Cached: 17207656 kB SwapCached: 0 kB Active: 9652400 kB Inactive: 9464944 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 13276620 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 8252 kB Writeback: 0 kB AnonPages: 74124 kB Mapped: 14880 kB Slab: 492440 kB PageTables: 5112 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 279684 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= 70996 MiB End job on node102 at 2011-04-23 09:18:12