| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| glucose 2 | SAT | 941.417 | 941.401 |
| Name | crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/ VanDerWaerden_pd_2-3-22_443.cnf |
| MD5SUM | 91ac0151536835225f21cbe5a3574a2d |
| 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.435933 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 222 |
| Number of clauses | 26201 |
| Sum of the clauses size | 115467 |
| Maximum clause length | 22 |
| Minimum clause length | 2 |
| Number of clauses of size 1 | 0 |
| Number of clauses of size 2 | 294 |
| Number of clauses of size 3 | 23935 |
| Number of clauses of size 4 | 0 |
| Number of clauses of size 5 | 0 |
| Number of clauses of size over 5 | 1972 |
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 | 26201 115467 | 7860 0 0 nan | 0.000 % | 0.00/0.01 c ============================================================================== 0.00/0.01 c Result : #vars: 222 #clauses: 26201 #literals: 115467 0.00/0.01 c CPU time: 0.009998 s 0.00/0.01 c ============================================================================== 0.00/0.03 c 0.00/0.03 c Starting glucose 0.00/0.03 c 30.18/30.22 c This is glucose 2.0 -- based on MiniSAT (Many thanks to MiniSAT team) 30.18/30.22 c WARNING: for repeatability, setting FPU to use double precision 30.18/30.22 c ============================[ Problem Statistics ]============================= 30.18/30.22 c | | 30.18/30.22 c | Number of variables: 222 | 30.18/30.22 c | Number of clauses: 26201 | 30.18/30.22 c | Parse time: 0.00 s | 30.18/30.22 c | | 30.18/30.22 c ============================[ Search Statistics ]============================== 30.18/30.22 c | Conflicts | ORIGINAL | LEARNT | Progress | 30.18/30.22 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | | 30.18/30.22 c =============================================================================== 30.18/30.22 c | 7250 | 222 26201 115467 | 1 5252 25 | 0.000 % | 30.18/30.22 c | 7351 | 222 26201 115467 | 1 5353 25 | 0.000 % | 30.18/30.22 c | 62420 | 222 26201 115467 | 1 28265 24 | 0.000 % | 30.18/30.22 c | 64423 | 222 26201 115467 | 1 15850 23 | 0.000 % | 30.18/30.22 c | 65003 | 222 26201 115467 | 1 16430 23 | 0.000 % | 30.18/30.22 c | 150534 | 222 26201 115467 | 1 43147 22 | 0.000 % | 30.18/30.22 c | 208401 | 222 26201 115467 | 1 48807 22 | 0.000 % | 30.18/30.22 c | 208502 | 222 26201 115467 | 1 48908 22 | 0.000 % | 30.18/30.22 c | 208691 | 222 26201 115467 | 1 49097 22 | 0.000 % | 30.18/30.22 c | 208791 | 222 26201 115467 | 1 49197 22 | 0.000 % | 30.18/30.22 c | 209693 | 222 26201 115467 | 1 50099 22 | 0.000 % | 30.18/30.22 c | 213833 | 222 26201 115467 | 1 54239 22 | 0.000 % | 30.18/30.22 c | 234564 | 222 26201 115467 | 1 44977 21 | 0.000 % | 30.18/30.22 c | 277201 | 222 26201 115467 | 1 55014 21 | 0.000 % | 30.18/30.22 c | 343904 | 222 26201 115467 | 1 48724 21 | 0.000 % | 30.18/30.22 c | 423796 | 222 26201 115467 | 1 45213 20 | 0.000 % | 30.18/30.22 c | 428412 | 222 26201 115467 | 1 49829 20 | 0.000 % | 30.18/30.22 c | 428634 | 222 26201 115467 | 1 50051 20 | 0.000 % | 30.18/30.22 c | 428734 | 222 26201 115467 | 1 50151 20 | 0.000 % | 30.18/30.22 c | 429218 | 222 26201 115467 | 1 50635 21 | 0.000 % | 30.18/30.22 c | 429951 | 222 26201 115467 | 1 51368 21 | 0.000 % | 30.18/30.22 c | 432272 | 222 26201 115467 | 1 53689 21 | 0.000 % | 30.18/30.22 c | 432373 | 222 26201 115467 | 1 53790 21 | 0.000 % | 30.18/30.22 c | 432473 | 222 26201 115467 | 1 53890 21 | 0.000 % | 30.18/30.22 c | 436922 | 222 26201 115467 | 1 58339 21 | 0.000 % | 30.18/30.22 c | 437022 | 222 26201 115467 | 1 58439 21 | 0.000 % | 30.18/30.22 c | 437268 | 222 26201 115467 | 1 58685 21 | 0.000 % | 30.18/30.22 c | 437588 | 222 26201 115467 | 1 59005 21 | 0.000 % | 30.18/30.22 c | 438457 | 222 26201 115467 | 1 59874 22 | 0.000 % | 30.18/30.22 c | 456032 | 222 26201 115467 | 1 77449 22 | 0.000 % | 30.18/30.22 c | 456134 | 222 26201 115467 | 1 77551 22 | 0.000 % | 30.18/30.22 c | 473159 | 222 26201 115467 | 1 48973 20 | 0.000 % | 30.18/30.22 c | 474873 | 222 26201 115467 | 1 50687 20 | 0.000 % | 30.18/30.22 c | 490162 | 222 26201 115467 | 1 65976 21 | 0.000 % | 30.18/30.22 c | 498277 | 222 26201 115467 | 1 74091 21 | 0.000 % | 30.18/30.22 c | 510381 | 222 26201 115467 | 1 86195 22 | 0.000 % | 30.18/30.22 c | 512584 | 222 26201 115467 | 1 88398 22 | 0.000 % | 30.18/30.22 c | 513668 | 222 26201 115467 | 1 89482 22 | 0.000 % | 30.18/30.22 c | 513768 | 222 26201 115467 | 1 89582 22 | 0.000 % | 66.38/66.49 c | 513870 | 222 26201 115467 | 1 89684 22 | 0.000 % | 66.38/66.49 c | 516731 | 222 26201 115467 | 1 92545 22 | 0.000 % | 66.38/66.49 c | 543550 | 222 26201 115467 | 1 71166 21 | 0.000 % | 66.38/66.49 c | 559057 | 222 26201 115467 | 1 86673 22 | 0.000 % | 66.38/66.49 c | 559899 | 222 26201 115467 | 1 87515 22 | 0.000 % | 66.38/66.49 c | 560345 | 222 26201 115467 | 1 87961 22 | 0.000 % | 66.38/66.49 c | 560661 | 222 26201 115467 | 1 88277 22 | 0.000 % | 66.38/66.49 c | 560993 | 222 26201 115467 | 1 88609 22 | 0.000 % | 66.38/66.49 c | 561094 | 222 26201 115467 | 1 88710 23 | 0.000 % | 66.38/66.49 c | 562882 | 222 26201 115467 | 1 90498 23 | 0.000 % | 66.38/66.49 c | 569610 | 222 26201 115467 | 1 97226 23 | 0.000 % | 66.38/66.49 c | 586756 | 222 26201 115467 | 1 63573 20 | 0.000 % | 66.38/66.49 c | 622169 | 222 26201 115467 | 1 98986 22 | 0.000 % | 66.38/66.49 c | 622271 | 222 26201 115467 | 1 99088 22 | 0.000 % | 66.38/66.49 c | 624412 | 222 26201 115467 | 1 101229 22 | 0.000 % | 66.38/66.49 c | 624532 | 222 26201 115467 | 1 101349 22 | 0.000 % | 66.38/66.49 c | 624634 | 222 26201 115467 | 1 101451 22 | 0.000 % | 66.38/66.49 c | 624735 | 222 26201 115467 | 1 101552 22 | 0.000 % | 66.38/66.49 c | 626732 | 222 26201 115467 | 1 103549 22 | 0.000 % | 66.38/66.49 c | 632688 | 222 26201 115467 | 1 56101 20 | 0.000 % | 66.38/66.49 c | 634259 | 222 26201 115467 | 1 57672 20 | 0.000 % | 66.38/66.49 c | 634508 | 222 26201 115467 | 1 57921 20 | 0.000 % | 66.38/66.49 c | 636299 | 222 26201 115467 | 1 59712 20 | 0.000 % | 66.38/66.49 c | 748423 | 222 26201 115467 | 1 115834 20 | 0.000 % | 66.38/66.49 c | 750330 | 222 26201 115467 | 1 59143 18 | 0.000 % | 66.38/66.49 c | 752380 | 222 26201 115467 | 1 61193 19 | 0.000 % | 66.38/66.49 c | 752480 | 222 26201 115467 | 1 61293 19 | 0.000 % | 66.38/66.49 c | 791540 | 222 26201 115467 | 1 100353 21 | 0.000 % | 66.38/66.49 c | 845994 | 222 26201 115467 | 1 93615 20 | 0.000 % | 66.38/66.49 c | 848842 | 222 26201 115467 | 1 96463 20 | 0.000 % | 66.38/66.49 c | 851165 | 222 26201 115467 | 1 98786 21 | 0.000 % | 66.38/66.49 c | 851924 | 222 26201 115467 | 1 99545 21 | 0.000 % | 66.38/66.49 c | 852025 | 222 26201 115467 | 1 99646 21 | 0.000 % | 66.38/66.49 c | 852230 | 222 26201 115467 | 1 99851 21 | 0.000 % | 66.38/66.49 c | 852330 | 222 26201 115467 | 1 99951 21 | 0.000 % | 66.38/66.49 c | 852430 | 222 26201 115467 | 1 100051 21 | 0.000 % | 66.38/66.49 c | 853593 | 222 26201 115467 | 1 101214 21 | 0.000 % | 66.38/66.49 c | 870356 | 222 26201 115467 | 1 117977 21 | 0.000 % | 66.38/66.49 c | 870862 | 222 26201 115467 | 1 118483 21 | 0.000 % | 66.38/66.49 c | 872113 | 222 26201 115467 | 1 119734 21 | 0.000 % | 66.38/66.49 c | 901073 | 222 26201 115467 | 1 84896 20 | 0.000 % | 66.38/66.49 c | 911112 | 222 26201 115467 | 1 94935 20 | 0.000 % | 66.38/66.49 c | 911717 | 222 26201 115467 | 1 95540 20 | 0.000 % | 66.38/66.49 c | 923202 | 222 26201 115467 | 1 107025 20 | 0.000 % | 66.38/66.49 c | 924769 | 222 26201 115467 | 1 108592 21 | 0.000 % | 66.38/66.49 c | 925346 | 222 26201 115467 | 1 109169 21 | 0.000 % | 66.38/66.49 c | 991093 | 222 26201 115467 | 1 108507 20 | 0.000 % | 66.38/66.49 c | 998149 | 222 26201 115467 | 1 115563 21 | 0.000 % | 66.38/66.49 c | 1000175 | 222 26201 115467 | 1 117589 21 | 0.000 % | 66.38/66.49 c | 1004868 | 222 26201 115467 | 1 122282 21 | 0.000 % | 100.98/101.09 c | 1083263 | 222 26201 115467 | 1 131679 21 | 0.000 % | 100.98/101.09 c | 1090615 | 222 26201 115467 | 1 139031 21 | 0.000 % | 100.98/101.09 c | 1090715 | 222 26201 115467 | 1 139131 21 | 0.000 % | 100.98/101.09 c | 1090889 | 222 26201 115467 | 1 139305 21 | 0.000 % | 100.98/101.09 c | 1094243 | 222 26201 115467 | 1 142659 21 | 0.000 % | 100.98/101.09 c | 1094345 | 222 26201 115467 | 1 142761 21 | 0.000 % | 100.98/101.09 c | 1095318 | 222 26201 115467 | 1 72132 18 | 0.000 % | 100.98/101.09 c | 1136376 | 222 26201 115467 | 1 113190 21 | 0.000 % | 100.98/101.09 c | 1136476 | 222 26201 115467 | 1 113290 21 | 0.000 % | 100.98/101.09 c | 1136577 | 222 26201 115467 | 1 113391 21 | 0.000 % | 100.98/101.09 c | 1140061 | 222 26201 115467 | 1 116875 21 | 0.000 % | 100.98/101.09 c | 1149064 | 222 26201 115467 | 1 125878 21 | 0.000 % | 100.98/101.09 c | 1152083 | 222 26201 115467 | 1 128897 21 | 0.000 % | 100.98/101.09 c | 1152184 | 222 26201 115467 | 1 128998 21 | 0.000 % | 100.98/101.09 c | 1156305 | 222 26201 115467 | 1 133119 21 | 0.000 % | 100.98/101.09 c | 1156407 | 222 26201 115467 | 1 133221 21 | 0.000 % | 100.98/101.09 c | 1156969 | 222 26201 115467 | 1 133783 21 | 0.000 % | 100.98/101.09 c | 1157923 | 222 26201 115467 | 1 134737 21 | 0.000 % | 100.98/101.09 c | 1158705 | 222 26201 115467 | 1 135519 21 | 0.000 % | 100.98/101.09 c | 1234715 | 222 26201 115467 | 1 137329 20 | 0.000 % | 100.98/101.09 c | 1236450 | 222 26201 115467 | 1 139064 20 | 0.000 % | 100.98/101.09 c | 1236551 | 222 26201 115467 | 1 139165 20 | 0.000 % | 100.98/101.09 c | 1239917 | 222 26201 115467 | 1 142531 20 | 0.000 % | 100.98/101.09 c | 1241578 | 222 26201 115467 | 1 144192 20 | 0.000 % | 100.98/101.09 c | 1249139 | 222 26201 115467 | 1 151753 20 | 0.000 % | 100.98/101.09 c | 1250326 | 222 26201 115467 | 1 152940 20 | 0.000 % | 100.98/101.09 c | 1253524 | 222 26201 115467 | 1 79339 18 | 0.000 % | 100.98/101.09 c | 1254298 | 222 26201 115467 | 1 80113 18 | 0.000 % | 100.98/101.09 c | 1254399 | 222 26201 115467 | 1 80214 18 | 0.000 % | 100.98/101.09 c | 1254945 | 222 26201 115467 | 1 80760 18 | 0.000 % | 100.98/101.09 c | 1255951 | 222 26201 115467 | 1 81766 18 | 0.000 % | 100.98/101.09 c | 1256051 | 222 26201 115467 | 1 81866 18 | 0.000 % | 100.98/101.09 c | 1263624 | 222 26201 115467 | 1 89439 19 | 0.000 % | 100.98/101.09 c | 1265869 | 222 26201 115467 | 1 91684 19 | 0.000 % | 100.98/101.09 c | 1269287 | 222 26201 115467 | 1 95102 19 | 0.000 % | 100.98/101.09 c | 1269389 | 222 26201 115467 | 1 95204 19 | 0.000 % | 100.98/101.09 c | 1275452 | 222 26201 115467 | 1 101267 20 | 0.000 % | 100.98/101.09 c | 1279661 | 222 26201 115467 | 1 105476 20 | 0.000 % | 100.98/101.09 c | 1282322 | 222 26201 115467 | 1 108137 20 | 0.000 % | 100.98/101.09 c | 1344749 | 222 26201 115467 | 1 91159 19 | 0.000 % | 100.98/101.09 c | 1346265 | 222 26201 115467 | 1 92675 19 | 0.000 % | 100.98/101.09 c | 1347087 | 222 26201 115467 | 1 93497 19 | 0.000 % | 100.98/101.09 c | 1349210 | 222 26201 115467 | 1 95620 19 | 0.000 % | 100.98/101.09 c | 1353913 | 222 26201 115467 | 1 100323 19 | 0.000 % | 100.98/101.09 c | 1385751 | 222 26201 115467 | 1 132161 20 | 0.000 % | 100.98/101.09 c | 1402946 | 222 26201 115467 | 1 149356 21 | 0.000 % | 100.98/101.09 c | 1409718 | 222 26201 115467 | 1 156128 21 | 0.000 % | 100.98/101.09 c | 1425968 | 222 26201 115467 | 1 90384 19 | 0.000 % | 100.98/101.09 c | 1427387 | 222 26201 115467 | 1 91803 19 | 0.000 % | 100.98/101.09 c | 1434383 | 222 26201 115467 | 1 98799 19 | 0.000 % | 127.78/127.88 c | 1435376 | 222 26201 115467 | 1 99792 19 | 0.000 % | 127.78/127.88 c | 1443872 | 222 26201 115467 | 1 108288 20 | 0.000 % | 127.78/127.88 c | 1443977 | 222 26201 115467 | 1 108393 20 | 0.000 % | 127.78/127.88 c | 1445884 | 222 26201 115467 | 1 110300 20 | 0.000 % | 127.78/127.88 c | 1449205 | 222 26201 115467 | 1 113621 20 | 0.000 % | 127.78/127.88 c | 1450689 | 222 26201 115467 | 1 115105 20 | 0.000 % | 127.78/127.88 c | 1452281 | 222 26201 115467 | 1 116697 20 | 0.000 % | 127.78/127.88 c | 1452647 | 222 26201 115467 | 1 117063 20 | 0.000 % | 127.78/127.88 c | 1455296 | 222 26201 115467 | 1 119712 20 | 0.000 % | 127.78/127.88 c | 1455826 | 222 26201 115467 | 1 120242 20 | 0.000 % | 127.78/127.88 c | 1456010 | 222 26201 115467 | 1 120426 20 | 0.000 % | 127.78/127.88 c | 1456110 | 222 26201 115467 | 1 120526 20 | 0.000 % | 127.78/127.88 c | 1456210 | 222 26201 115467 | 1 120626 20 | 0.000 % | 127.78/127.88 c | 1463232 | 222 26201 115467 | 1 127648 21 | 0.000 % | 127.78/127.88 c | 1463534 | 222 26201 115467 | 1 127950 21 | 0.000 % | 127.78/127.88 c | 1472408 | 222 26201 115467 | 1 136824 21 | 0.000 % | 127.78/127.88 c | 1488781 | 222 26201 115467 | 1 153197 22 | 0.000 % | 127.78/127.88 c | 1488882 | 222 26201 115467 | 1 153298 22 | 0.000 % | 127.78/127.88 c | 1491534 | 222 26201 115467 | 1 155950 22 | 0.000 % | 127.78/127.88 c | 1507360 | 222 26201 115467 | 1 87172 19 | 0.000 % | 127.78/127.88 c | 1696272 | 222 26201 115467 | 1 99089 18 | 0.000 % | 127.78/127.88 c | 1698261 | 222 26201 115467 | 1 101078 18 | 0.000 % | 127.78/127.88 c | 1698361 | 222 26201 115467 | 1 101178 18 | 0.000 % | 127.78/127.88 c | 1701915 | 222 26201 115467 | 1 104732 18 | 0.000 % | 127.78/127.88 c | 1702271 | 222 26201 115467 | 1 105088 18 | 0.000 % | 127.78/127.88 c | 1704570 | 222 26201 115467 | 1 107387 18 | 0.000 % | 127.78/127.88 c | 1704671 | 222 26201 115467 | 1 107488 19 | 0.000 % | 127.78/127.88 c | 1704825 | 222 26201 115467 | 1 107642 19 | 0.000 % | 127.78/127.88 c | 1704928 | 222 26201 115467 | 1 107745 19 | 0.000 % | 127.78/127.88 c | 1708843 | 222 26201 115467 | 1 111660 19 | 0.000 % | 127.78/127.88 c | 1709792 | 222 26201 115467 | 1 112609 19 | 0.000 % | 127.78/127.88 c | 1709892 | 222 26201 115467 | 1 112709 19 | 0.000 % | 127.78/127.88 c | 1714479 | 222 26201 115467 | 1 117296 19 | 0.000 % | 127.78/127.88 c | 1715522 | 222 26201 115467 | 1 118339 19 | 0.000 % | 127.78/127.88 c | 1716775 | 222 26201 115467 | 1 119592 19 | 0.000 % | 127.78/127.88 c | 1717781 | 222 26201 115467 | 1 120598 19 | 0.000 % | 127.78/127.88 c | 1718235 | 222 26201 115467 | 1 121052 19 | 0.000 % | 127.78/127.88 c | 1720827 | 222 26201 115467 | 1 123644 19 | 0.000 % | 127.78/127.88 c | 1720927 | 222 26201 115467 | 1 123744 19 | 0.000 % | 127.78/127.88 c | 1721027 | 222 26201 115467 | 1 123844 19 | 0.000 % | 127.78/127.88 c | 1721127 | 222 26201 115467 | 1 123944 19 | 0.000 % | 127.78/127.88 c | 1721227 | 222 26201 115467 | 1 124044 19 | 0.000 % | 127.78/127.88 c | 1721328 | 222 26201 115467 | 1 124145 19 | 0.000 % | 127.78/127.88 c | 1721884 | 222 26201 115467 | 1 124701 20 | 0.000 % | 127.78/127.88 c | 1730506 | 222 26201 115467 | 1 133323 20 | 0.000 % | 127.78/127.88 c | 1731943 | 222 26201 115467 | 1 134760 20 | 0.000 % | 127.78/127.88 c | 1732069 | 222 26201 115467 | 1 134886 20 | 0.000 % | 127.78/127.88 c | 1735056 | 222 26201 115467 | 1 137873 20 | 0.000 % | 127.78/127.88 c | 1736427 | 222 26201 115467 | 1 139244 20 | 0.000 % | 127.78/127.88 c | 1736528 | 222 26201 115467 | 1 139345 20 | 0.000 % | 177.78/177.80 c | 1736629 | 222 26201 115467 | 1 139446 20 | 0.000 % | 177.78/177.80 c | 1742641 | 222 26201 115467 | 1 145458 20 | 0.000 % | 177.78/177.80 c | 1761282 | 222 26201 115467 | 1 164099 21 | 0.000 % | 177.78/177.80 c | 1763296 | 222 26201 115467 | 1 166113 21 | 0.000 % | 177.78/177.80 c | 1763884 | 222 26201 115467 | 1 166701 21 | 0.000 % | 177.78/177.80 c | 1770506 | 222 26201 115467 | 1 173323 21 | 0.000 % | 177.78/177.80 c | 1770621 | 222 26201 115467 | 1 173438 21 | 0.000 % | 177.78/177.80 c | 1796622 | 222 26201 115467 | 1 107036 19 | 0.000 % | 177.78/177.80 c | 1798620 | 222 26201 115467 | 1 109034 19 | 0.000 % | 177.78/177.80 c | 1806764 | 222 26201 115467 | 1 117178 19 | 0.000 % | 177.78/177.80 c | 1811633 | 222 26201 115467 | 1 122047 19 | 0.000 % | 177.78/177.80 c | 1821929 | 222 26201 115467 | 1 132343 20 | 0.000 % | 177.78/177.80 c | 1822029 | 222 26201 115467 | 1 132443 20 | 0.000 % | 177.78/177.80 c | 1835753 | 222 26201 115467 | 1 146167 21 | 0.000 % | 177.78/177.80 c | 1886781 | 222 26201 115467 | 1 102194 18 | 0.000 % | 177.78/177.80 c | 1900056 | 222 26201 115467 | 1 115469 19 | 0.000 % | 177.78/177.80 c | 1904215 | 222 26201 115467 | 1 119628 19 | 0.000 % | 177.78/177.80 c | 1911796 | 222 26201 115467 | 1 127209 19 | 0.000 % | 177.78/177.80 c | 1912966 | 222 26201 115467 | 1 128379 20 | 0.000 % | 177.78/177.80 c | 1922004 | 222 26201 115467 | 1 137417 20 | 0.000 % | 177.78/177.80 c | 1940845 | 222 26201 115467 | 1 156258 21 | 0.000 % | 177.78/177.80 c | 2007914 | 222 26201 115467 | 1 125733 20 | 0.000 % | 177.78/177.80 c | 2020788 | 222 26201 115467 | 1 138607 20 | 0.000 % | 177.78/177.80 c | 2028926 | 222 26201 115467 | 1 146745 20 | 0.000 % | 177.78/177.80 c | 2128581 | 222 26201 115467 | 1 146201 19 | 0.000 % | 177.78/177.80 c | 2128685 | 222 26201 115467 | 1 146305 19 | 0.000 % | 177.78/177.80 c | 2129839 | 222 26201 115467 | 1 147459 19 | 0.000 % | 177.78/177.80 c | 2135060 | 222 26201 115467 | 1 152680 19 | 0.000 % | 177.78/177.80 c | 2135161 | 222 26201 115467 | 1 152781 19 | 0.000 % | 177.78/177.80 c | 2135261 | 222 26201 115467 | 1 152881 19 | 0.000 % | 177.78/177.80 c | 2142684 | 222 26201 115467 | 1 160304 19 | 0.000 % | 177.78/177.80 c | 2143274 | 222 26201 115467 | 1 160894 20 | 0.000 % | 177.78/177.80 c | 2143854 | 222 26201 115467 | 1 161474 20 | 0.000 % | 177.78/177.80 c | 2164463 | 222 26201 115467 | 1 182083 20 | 0.000 % | 177.78/177.80 c | 2164563 | 222 26201 115467 | 1 182183 20 | 0.000 % | 177.78/177.80 c | 2169405 | 222 26201 115467 | 1 187025 20 | 0.000 % | 177.78/177.80 c | 2170804 | 222 26201 115467 | 1 188424 20 | 0.000 % | 177.78/177.80 c | 2170957 | 222 26201 115467 | 1 188577 20 | 0.000 % | 177.78/177.80 c | 2179589 | 222 26201 115467 | 1 197209 20 | 0.000 % | 177.78/177.80 c | 2200604 | 222 26201 115467 | 1 115421 18 | 0.000 % | 177.78/177.80 c | 2234478 | 222 26201 115467 | 1 149295 20 | 0.000 % | 177.78/177.80 c | 2237542 | 222 26201 115467 | 1 152359 20 | 0.000 % | 177.78/177.80 c | 2237642 | 222 26201 115467 | 1 152459 20 | 0.000 % | 177.78/177.80 c | 2242850 | 222 26201 115467 | 1 157667 20 | 0.000 % | 177.78/177.80 c | 2246319 | 222 26201 115467 | 1 161136 20 | 0.000 % | 177.78/177.80 c | 2265482 | 222 26201 115467 | 1 180299 21 | 0.000 % | 177.78/177.80 c | 2266625 | 222 26201 115467 | 1 181442 21 | 0.000 % | 177.78/177.80 c | 2268507 | 222 26201 115467 | 1 183324 21 | 0.000 % | 177.78/177.80 c | 2280527 | 222 26201 115467 | 1 195344 21 | 0.000 % | 177.78/177.80 c | 2283560 | 222 26201 115467 | 1 198377 21 | 0.000 % | 230.18/230.27 c | 2328823 | 222 26201 115467 | 1 138244 20 | 0.000 % | 230.18/230.27 c | 2329289 | 222 26201 115467 | 1 138710 20 | 0.000 % | 230.18/230.27 c | 2350739 | 222 26201 115467 | 1 160160 20 | 0.000 % | 230.18/230.27 c | 2359869 | 222 26201 115467 | 1 169290 20 | 0.000 % | 230.18/230.27 c | 2362107 | 222 26201 115467 | 1 171528 20 | 0.000 % | 230.18/230.27 c | 2362207 | 222 26201 115467 | 1 171628 20 | 0.000 % | 230.18/230.27 c | 2427265 | 222 26201 115467 | 1 128687 18 | 0.000 % | 230.18/230.27 c | 2427367 | 222 26201 115467 | 1 128789 18 | 0.000 % | 230.18/230.27 c | 2430679 | 222 26201 115467 | 1 132101 19 | 0.000 % | 230.18/230.27 c | 2444322 | 222 26201 115467 | 1 145744 19 | 0.000 % | 230.18/230.27 c | 2455608 | 222 26201 115467 | 1 157030 19 | 0.000 % | 230.18/230.27 c | 2461036 | 222 26201 115467 | 1 162458 20 | 0.000 % | 230.18/230.27 c | 2514662 | 222 26201 115467 | 1 216084 20 | 0.000 % | 230.18/230.27 c | 2562979 | 222 26201 115467 | 1 153797 19 | 0.000 % | 230.18/230.27 c | 2563465 | 222 26201 115467 | 1 154283 19 | 0.000 % | 230.18/230.27 c | 2565300 | 222 26201 115467 | 1 156118 19 | 0.000 % | 230.18/230.27 c | 2565400 | 222 26201 115467 | 1 156218 19 | 0.000 % | 230.18/230.27 c | 2571217 | 222 26201 115467 | 1 162035 19 | 0.000 % | 230.18/230.27 c | 2571387 | 222 26201 115467 | 1 162205 19 | 0.000 % | 230.18/230.27 c | 2572544 | 222 26201 115467 | 1 163362 19 | 0.000 % | 230.18/230.27 c | 2575033 | 222 26201 115467 | 1 165851 19 | 0.000 % | 230.18/230.27 c | 2581267 | 222 26201 115467 | 1 172085 19 | 0.000 % | 230.18/230.27 c | 2586720 | 222 26201 115467 | 1 177538 19 | 0.000 % | 230.18/230.27 c | 2589700 | 222 26201 115467 | 1 180518 19 | 0.000 % | 230.18/230.27 c | 2589906 | 222 26201 115467 | 1 180724 19 | 0.000 % | 230.18/230.27 c | 2602717 | 222 26201 115467 | 1 193535 20 | 0.000 % | 230.18/230.27 c | 2603225 | 222 26201 115467 | 1 194043 20 | 0.000 % | 230.18/230.27 c | 2614691 | 222 26201 115467 | 1 205509 20 | 0.000 % | 230.18/230.27 c | 2659607 | 222 26201 115467 | 1 137223 19 | 0.000 % | 230.18/230.27 c | 2675708 | 222 26201 115467 | 1 153324 19 | 0.000 % | 230.18/230.27 c | 2692739 | 222 26201 115467 | 1 170355 19 | 0.000 % | 230.18/230.27 c | 2692872 | 222 26201 115467 | 1 170488 19 | 0.000 % | 230.18/230.27 c | 2734837 | 222 26201 115467 | 1 212453 20 | 0.000 % | 230.18/230.27 c | 2737274 | 222 26201 115467 | 1 214890 20 | 0.000 % | 230.18/230.27 c | 2737380 | 222 26201 115467 | 1 214996 20 | 0.000 % | 230.18/230.27 c | 2749917 | 222 26201 115467 | 1 227533 21 | 0.000 % | 230.18/230.27 c | 2752359 | 222 26201 115467 | 1 229975 21 | 0.000 % | 230.18/230.27 c | 2754505 | 222 26201 115467 | 1 116323 18 | 0.000 % | 230.18/230.27 c | 2759058 | 222 26201 115467 | 1 120876 18 | 0.000 % | 230.18/230.27 c | 2763013 | 222 26201 115467 | 1 124831 18 | 0.000 % | 230.18/230.27 c | 2777969 | 222 26201 115467 | 1 139787 19 | 0.000 % | 230.18/230.27 c | 2778289 | 222 26201 115467 | 1 140107 19 | 0.000 % | 230.18/230.27 c | 2807092 | 222 26201 115467 | 1 168910 19 | 0.000 % | 230.18/230.27 c | 2811513 | 222 26201 115467 | 1 173331 20 | 0.000 % | 230.18/230.27 c | 2811613 | 222 26201 115467 | 1 173431 20 | 0.000 % | 230.18/230.27 c | 2811716 | 222 26201 115467 | 1 173534 20 | 0.000 % | 230.18/230.27 c | 2818247 | 222 26201 115467 | 1 180065 20 | 0.000 % | 230.18/230.27 c | 2818347 | 222 26201 115467 | 1 180165 20 | 0.000 % | 230.18/230.27 c | 2819590 | 222 26201 115467 | 1 181408 20 | 0.000 % | 230.18/230.27 c | 2820450 | 222 26201 115467 | 1 182268 20 | 0.000 % | 252.08/252.13 c | 2827104 | 222 26201 115467 | 1 188922 20 | 0.000 % | 252.08/252.13 c | 2827330 | 222 26201 115467 | 1 189148 20 | 0.000 % | 252.08/252.13 c | 2828442 | 222 26201 115467 | 1 190260 20 | 0.000 % | 252.08/252.13 c | 2842689 | 222 26201 115467 | 1 204507 20 | 0.000 % | 252.08/252.13 c | 2853312 | 222 26201 115467 | 1 215130 20 | 0.000 % | 252.08/252.13 c | 2853451 | 222 26201 115467 | 1 215269 20 | 0.000 % | 252.08/252.13 c | 2864275 | 222 26201 115467 | 1 226093 21 | 0.000 % | 252.08/252.13 c | 2864827 | 222 26201 115467 | 1 226645 21 | 0.000 % | 252.08/252.13 c | 2865280 | 222 26201 115467 | 1 227098 21 | 0.000 % | 252.08/252.13 c | 2866331 | 222 26201 115467 | 1 228149 21 | 0.000 % | 252.08/252.13 c | 2868324 | 222 26201 115467 | 1 230142 21 | 0.000 % | 252.08/252.13 c | 2868425 | 222 26201 115467 | 1 230243 21 | 0.000 % | 252.08/252.13 c | 2874177 | 222 26201 115467 | 1 235995 21 | 0.000 % | 252.08/252.13 c | 2878219 | 222 26201 115467 | 1 121634 18 | 0.000 % | 252.08/252.13 c | 2878319 | 222 26201 115467 | 1 121734 18 | 0.000 % | 252.08/252.13 c | 2881126 | 222 26201 115467 | 1 124541 18 | 0.000 % | 252.08/252.13 c | 2882143 | 222 26201 115467 | 1 125558 18 | 0.000 % | 252.08/252.13 c | 2883571 | 222 26201 115467 | 1 126986 18 | 0.000 % | 252.08/252.13 c | 2889382 | 222 26201 115467 | 1 132797 18 | 0.000 % | 252.08/252.13 c | 2889484 | 222 26201 115467 | 1 132899 18 | 0.000 % | 252.08/252.13 c | 2891373 | 222 26201 115467 | 1 134788 18 | 0.000 % | 252.08/252.13 c | 2893533 | 222 26201 115467 | 1 136948 19 | 0.000 % | 252.08/252.13 c | 2894227 | 222 26201 115467 | 1 137642 19 | 0.000 % | 252.08/252.13 c | 2894626 | 222 26201 115467 | 1 138041 19 | 0.000 % | 252.08/252.13 c | 2894726 | 222 26201 115467 | 1 138141 19 | 0.000 % | 252.08/252.13 c | 2894827 | 222 26201 115467 | 1 138242 19 | 0.000 % | 252.08/252.13 c | 2894935 | 222 26201 115467 | 1 138350 19 | 0.000 % | 252.08/252.13 c | 2895035 | 222 26201 115467 | 1 138450 19 | 0.000 % | 252.08/252.13 c | 2896730 | 222 26201 115467 | 1 140145 19 | 0.000 % | 252.08/252.13 c | 2914222 | 222 26201 115467 | 1 157637 19 | 0.000 % | 252.08/252.13 c | 2914684 | 222 26201 115467 | 1 158099 19 | 0.000 % | 252.08/252.13 c | 2918500 | 222 26201 115467 | 1 161915 19 | 0.000 % | 252.08/252.13 c | 2921757 | 222 26201 115467 | 1 165172 19 | 0.000 % | 252.08/252.13 c | 2925937 | 222 26201 115467 | 1 169352 19 | 0.000 % | 252.08/252.13 c | 2926038 | 222 26201 115467 | 1 169453 19 | 0.000 % | 252.08/252.13 c | 2927116 | 222 26201 115467 | 1 170531 20 | 0.000 % | 252.08/252.13 c | 2927216 | 222 26201 115467 | 1 170631 20 | 0.000 % | 252.08/252.13 c | 2934819 | 222 26201 115467 | 1 178234 20 | 0.000 % | 252.08/252.13 c | 2942562 | 222 26201 115467 | 1 185977 20 | 0.000 % | 252.08/252.13 c | 2942662 | 222 26201 115467 | 1 186077 20 | 0.000 % | 252.08/252.13 c | 2946869 | 222 26201 115467 | 1 190284 20 | 0.000 % | 252.08/252.13 c | 2946970 | 222 26201 115467 | 1 190385 20 | 0.000 % | 252.08/252.13 c | 2947510 | 222 26201 115467 | 1 190925 20 | 0.000 % | 252.08/252.13 c | 2968567 | 222 26201 115467 | 1 211982 20 | 0.000 % | 252.08/252.13 c | 3028973 | 222 26201 115467 | 1 151389 19 | 0.000 % | 252.08/252.13 c | 3029075 | 222 26201 115467 | 1 151491 19 | 0.000 % | 252.08/252.13 c | 3041590 | 222 26201 115467 | 1 164006 19 | 0.000 % | 252.08/252.13 c | 3041745 | 222 26201 115467 | 1 164161 19 | 0.000 % | 252.08/252.13 c | 3044309 | 222 26201 115467 | 1 166725 19 | 0.000 % | 284.18/284.26 c | 3045247 | 222 26201 115467 | 1 167663 20 | 0.000 % | 284.18/284.26 c | 3045351 | 222 26201 115467 | 1 167767 20 | 0.000 % | 284.18/284.26 c | 3057344 | 222 26201 115467 | 1 179760 20 | 0.000 % | 284.18/284.26 c | 3060111 | 222 26201 115467 | 1 182527 20 | 0.000 % | 284.18/284.26 c | 3062237 | 222 26201 115467 | 1 184653 20 | 0.000 % | 284.18/284.26 c | 3063353 | 222 26201 115467 | 1 185769 20 | 0.000 % | 284.18/284.26 c | 3122458 | 222 26201 115467 | 1 244874 21 | 0.000 % | 284.18/284.26 c | 3122711 | 222 26201 115467 | 1 245127 21 | 0.000 % | 284.18/284.26 c | 3124904 | 222 26201 115467 | 1 123719 18 | 0.000 % | 284.18/284.26 c | 3135650 | 222 26201 115467 | 1 134465 18 | 0.000 % | 284.18/284.26 c | 3146151 | 222 26201 115467 | 1 144966 18 | 0.000 % | 284.18/284.26 c | 3146619 | 222 26201 115467 | 1 145434 18 | 0.000 % | 284.18/284.26 c | 3146719 | 222 26201 115467 | 1 145534 18 | 0.000 % | 284.18/284.26 c | 3153000 | 222 26201 115467 | 1 151815 19 | 0.000 % | 284.18/284.26 c | 3153101 | 222 26201 115467 | 1 151916 19 | 0.000 % | 284.18/284.26 c | 3173202 | 222 26201 115467 | 1 172017 19 | 0.000 % | 284.18/284.26 c | 3183958 | 222 26201 115467 | 1 182773 19 | 0.000 % | 284.18/284.26 c | 3184060 | 222 26201 115467 | 1 182875 19 | 0.000 % | 284.18/284.26 c | 3184348 | 222 26201 115467 | 1 183163 19 | 0.000 % | 284.18/284.26 c | 3197958 | 222 26201 115467 | 1 196773 20 | 0.000 % | 284.18/284.26 c | 3214593 | 222 26201 115467 | 1 213408 20 | 0.000 % | 284.18/284.26 c | 3214823 | 222 26201 115467 | 1 213638 20 | 0.000 % | 284.18/284.26 c | 3215659 | 222 26201 115467 | 1 214474 20 | 0.000 % | 284.18/284.26 c | 3216239 | 222 26201 115467 | 1 215054 20 | 0.000 % | 284.18/284.26 c | 3216386 | 222 26201 115467 | 1 215201 20 | 0.000 % | 284.18/284.26 c | 3216488 | 222 26201 115467 | 1 215303 20 | 0.000 % | 284.18/284.26 c | 3216619 | 222 26201 115467 | 1 215434 20 | 0.000 % | 284.18/284.26 c | 3217013 | 222 26201 115467 | 1 215828 20 | 0.000 % | 284.18/284.26 c | 3220272 | 222 26201 115467 | 1 219087 20 | 0.000 % | 284.18/284.26 c | 3220374 | 222 26201 115467 | 1 219189 20 | 0.000 % | 284.18/284.26 c | 3220611 | 222 26201 115467 | 1 219426 20 | 0.000 % | 284.18/284.26 c | 3220711 | 222 26201 115467 | 1 219526 20 | 0.000 % | 284.18/284.26 c | 3230310 | 222 26201 115467 | 1 229125 20 | 0.000 % | 284.18/284.26 c | 3231052 | 222 26201 115467 | 1 229867 20 | 0.000 % | 284.18/284.26 c | 3231217 | 222 26201 115467 | 1 230032 20 | 0.000 % | 284.18/284.26 c | 3231417 | 222 26201 115467 | 1 230232 20 | 0.000 % | 284.18/284.26 c | 3233710 | 222 26201 115467 | 1 232525 20 | 0.000 % | 284.18/284.26 c | 3233811 | 222 26201 115467 | 1 232626 20 | 0.000 % | 284.18/284.26 c | 3233912 | 222 26201 115467 | 1 232727 20 | 0.000 % | 284.18/284.26 c | 3264468 | 222 26201 115467 | 1 137088 18 | 0.000 % | 284.18/284.26 c | 3303722 | 222 26201 115467 | 1 176342 19 | 0.000 % | 284.18/284.26 c | 3304418 | 222 26201 115467 | 1 177038 19 | 0.000 % | 284.18/284.26 c | 3305905 | 222 26201 115467 | 1 178525 19 | 0.000 % | 284.18/284.26 c | 3306988 | 222 26201 115467 | 1 179608 19 | 0.000 % | 284.18/284.26 c | 3308236 | 222 26201 115467 | 1 180856 19 | 0.000 % | 284.18/284.26 c | 3308338 | 222 26201 115467 | 1 180958 19 | 0.000 % | 284.18/284.26 c | 3313733 | 222 26201 115467 | 1 186353 19 | 0.000 % | 284.18/284.26 c | 3339619 | 222 26201 115467 | 1 212239 19 | 0.000 % | 284.18/284.26 c | 3339719 | 222 26201 115467 | 1 212339 19 | 0.000 % | 284.18/284.26 c | 3344679 | 222 26201 115467 | 1 217299 20 | 0.000 % | 330.88/330.99 c | 3345764 | 222 26201 115467 | 1 218384 20 | 0.000 % | 330.88/330.99 c | 3348415 | 222 26201 115467 | 1 221035 20 | 0.000 % | 330.88/330.99 c | 3350719 | 222 26201 115467 | 1 223339 20 | 0.000 % | 330.88/330.99 c | 3352798 | 222 26201 115467 | 1 225418 20 | 0.000 % | 330.88/330.99 c | 3352901 | 222 26201 115467 | 1 225521 20 | 0.000 % | 330.88/330.99 c | 3354583 | 222 26201 115467 | 1 227203 20 | 0.000 % | 330.88/330.99 c | 3355294 | 222 26201 115467 | 1 227914 20 | 0.000 % | 330.88/330.99 c | 3369940 | 222 26201 115467 | 1 242560 20 | 0.000 % | 330.88/330.99 c | 3373081 | 222 26201 115467 | 1 245701 20 | 0.000 % | 330.88/330.99 c | 3374434 | 222 26201 115467 | 1 247054 20 | 0.000 % | 330.88/330.99 c | 3374723 | 222 26201 115467 | 1 247343 20 | 0.000 % | 330.88/330.99 c | 3405230 | 222 26201 115467 | 1 149043 18 | 0.000 % | 330.88/330.99 c | 3409297 | 222 26201 115467 | 1 153110 18 | 0.000 % | 330.88/330.99 c | 3412056 | 222 26201 115467 | 1 155869 18 | 0.000 % | 330.88/330.99 c | 3412156 | 222 26201 115467 | 1 155969 18 | 0.000 % | 330.88/330.99 c | 3412257 | 222 26201 115467 | 1 156070 18 | 0.000 % | 330.88/330.99 c | 3425315 | 222 26201 115467 | 1 169128 19 | 0.000 % | 330.88/330.99 c | 3436066 | 222 26201 115467 | 1 179879 19 | 0.000 % | 330.88/330.99 c | 3436166 | 222 26201 115467 | 1 179979 19 | 0.000 % | 330.88/330.99 c | 3436486 | 222 26201 115467 | 1 180299 19 | 0.000 % | 330.88/330.99 c | 3436770 | 222 26201 115467 | 1 180583 19 | 0.000 % | 330.88/330.99 c | 3444118 | 222 26201 115467 | 1 187931 19 | 0.000 % | 330.88/330.99 c | 3467236 | 222 26201 115467 | 1 211049 20 | 0.000 % | 330.88/330.99 c | 3471383 | 222 26201 115467 | 1 215196 20 | 0.000 % | 330.88/330.99 c | 3496209 | 222 26201 115467 | 1 240022 20 | 0.000 % | 330.88/330.99 c | 3503844 | 222 26201 115467 | 1 247657 20 | 0.000 % | 330.88/330.99 c | 3504035 | 222 26201 115467 | 1 247848 20 | 0.000 % | 330.88/330.99 c | 3509705 | 222 26201 115467 | 1 253518 20 | 0.000 % | 330.88/330.99 c | 3554779 | 222 26201 115467 | 1 167199 18 | 0.000 % | 330.88/330.99 c | 3555239 | 222 26201 115467 | 1 167659 18 | 0.000 % | 330.88/330.99 c | 3555339 | 222 26201 115467 | 1 167759 18 | 0.000 % | 330.88/330.99 c | 3555440 | 222 26201 115467 | 1 167860 18 | 0.000 % | 330.88/330.99 c | 3555541 | 222 26201 115467 | 1 167961 18 | 0.000 % | 330.88/330.99 c | 3574814 | 222 26201 115467 | 1 187234 18 | 0.000 % | 330.88/330.99 c | 3579588 | 222 26201 115467 | 1 192008 19 | 0.000 % | 330.88/330.99 c | 3585469 | 222 26201 115467 | 1 197889 19 | 0.000 % | 330.88/330.99 c | 3585896 | 222 26201 115467 | 1 198316 19 | 0.000 % | 330.88/330.99 c | 3604986 | 222 26201 115467 | 1 217406 19 | 0.000 % | 330.88/330.99 c | 3608859 | 222 26201 115467 | 1 221279 19 | 0.000 % | 330.88/330.99 c | 3609272 | 222 26201 115467 | 1 221692 19 | 0.000 % | 330.88/330.99 c | 3611292 | 222 26201 115467 | 1 223712 19 | 0.000 % | 330.88/330.99 c | 3647400 | 222 26201 115467 | 1 259820 20 | 0.000 % | 330.88/330.99 c | 3650358 | 222 26201 115467 | 1 262778 20 | 0.000 % | 330.88/330.99 c | 3654634 | 222 26201 115467 | 1 267054 20 | 0.000 % | 330.88/330.99 c | 3661401 | 222 26201 115467 | 1 139816 17 | 0.000 % | 330.88/330.99 c | 3661501 | 222 26201 115467 | 1 139916 17 | 0.000 % | 330.88/330.99 c | 3678016 | 222 26201 115467 | 1 156431 18 | 0.000 % | 330.88/330.99 c | 3749609 | 222 26201 115467 | 1 228024 20 | 0.000 % | 330.88/330.99 c | 3749710 | 222 26201 115467 | 1 228125 20 | 0.000 % | 330.88/330.99 c | 3764897 | 222 26201 115467 | 1 243312 20 | 0.000 % | 373.08/373.13 c | 3769750 | 222 26201 115467 | 1 248165 20 | 0.000 % | 373.08/373.13 c | 3773101 | 222 26201 115467 | 1 251516 20 | 0.000 % | 373.08/373.13 c | 3773202 | 222 26201 115467 | 1 251617 20 | 0.000 % | 373.08/373.13 c | 3773765 | 222 26201 115467 | 1 252180 20 | 0.000 % | 373.08/373.13 c | 3774344 | 222 26201 115467 | 1 252759 20 | 0.000 % | 373.08/373.13 c | 3774444 | 222 26201 115467 | 1 252859 20 | 0.000 % | 373.08/373.13 c | 3774544 | 222 26201 115467 | 1 252959 20 | 0.000 % | 373.08/373.13 c | 3778897 | 222 26201 115467 | 1 257312 20 | 0.000 % | 373.08/373.13 c | 3790204 | 222 26201 115467 | 1 268619 20 | 0.000 % | 373.08/373.13 c | 3803271 | 222 26201 115467 | 1 145084 18 | 0.000 % | 373.08/373.13 c | 3804840 | 222 26201 115467 | 1 146653 18 | 0.000 % | 373.08/373.13 c | 3805956 | 222 26201 115467 | 1 147769 18 | 0.000 % | 373.08/373.13 c | 3811055 | 222 26201 115467 | 1 152868 18 | 0.000 % | 373.08/373.13 c | 3828513 | 222 26201 115467 | 1 170326 19 | 0.000 % | 373.08/373.13 c | 3828613 | 222 26201 115467 | 1 170426 19 | 0.000 % | 373.08/373.13 c | 3829542 | 222 26201 115467 | 1 171355 19 | 0.000 % | 373.08/373.13 c | 3830014 | 222 26201 115467 | 1 171827 19 | 0.000 % | 373.08/373.13 c | 3832000 | 222 26201 115467 | 1 173813 19 | 0.000 % | 373.08/373.13 c | 3834395 | 222 26201 115467 | 1 176208 19 | 0.000 % | 373.08/373.13 c | 3952528 | 222 26201 115467 | 1 155137 18 | 0.000 % | 373.08/373.13 c | 3954210 | 222 26201 115467 | 1 156819 18 | 0.000 % | 373.08/373.13 c | 3975309 | 222 26201 115467 | 1 177918 18 | 0.000 % | 373.08/373.13 c | 3975411 | 222 26201 115467 | 1 178020 18 | 0.000 % | 373.08/373.13 c | 3975537 | 222 26201 115467 | 1 178146 18 | 0.000 % | 373.08/373.13 c | 3976226 | 222 26201 115467 | 1 178835 18 | 0.000 % | 373.08/373.13 c | 4020287 | 222 26201 115467 | 1 222896 19 | 0.000 % | 373.08/373.13 c | 4020399 | 222 26201 115467 | 1 223008 19 | 0.000 % | 373.08/373.13 c | 4020500 | 222 26201 115467 | 1 223109 19 | 0.000 % | 373.08/373.13 c | 4022055 | 222 26201 115467 | 1 224664 19 | 0.000 % | 373.08/373.13 c | 4025783 | 222 26201 115467 | 1 228392 19 | 0.000 % | 373.08/373.13 c | 4033855 | 222 26201 115467 | 1 236464 20 | 0.000 % | 373.08/373.13 c | 4037461 | 222 26201 115467 | 1 240070 20 | 0.000 % | 373.08/373.13 c | 4039584 | 222 26201 115467 | 1 242193 20 | 0.000 % | 373.08/373.13 c | 4040023 | 222 26201 115467 | 1 242632 20 | 0.000 % | 373.08/373.13 c | 4108826 | 222 26201 115467 | 1 169637 18 | 0.000 % | 373.08/373.13 c | 4119342 | 222 26201 115467 | 1 180153 18 | 0.000 % | 373.08/373.13 c | 4124903 | 222 26201 115467 | 1 185714 18 | 0.000 % | 373.08/373.13 c | 4125959 | 222 26201 115467 | 1 186770 18 | 0.000 % | 373.08/373.13 c | 4126617 | 222 26201 115467 | 1 187428 18 | 0.000 % | 373.08/373.13 c | 4126717 | 222 26201 115467 | 1 187528 18 | 0.000 % | 373.08/373.13 c | 4126857 | 222 26201 115467 | 1 187668 18 | 0.000 % | 373.08/373.13 c | 4126957 | 222 26201 115467 | 1 187768 18 | 0.000 % | 373.08/373.13 c | 4131983 | 222 26201 115467 | 1 192794 19 | 0.000 % | 373.08/373.13 c | 4137201 | 222 26201 115467 | 1 198012 19 | 0.000 % | 373.08/373.13 c | 4138860 | 222 26201 115467 | 1 199671 19 | 0.000 % | 373.08/373.13 c | 4139933 | 222 26201 115467 | 1 200744 19 | 0.000 % | 373.08/373.13 c | 4140265 | 222 26201 115467 | 1 201076 19 | 0.000 % | 373.08/373.13 c | 4140366 | 222 26201 115467 | 1 201177 19 | 0.000 % | 373.08/373.13 c | 4144087 | 222 26201 115467 | 1 204898 19 | 0.000 % | 373.08/373.13 c | 4144195 | 222 26201 115467 | 1 205006 19 | 0.000 % | 422.59/422.60 c | 4180731 | 222 26201 115467 | 1 241542 19 | 0.000 % | 422.59/422.60 c | 4185864 | 222 26201 115467 | 1 246675 20 | 0.000 % | 422.59/422.60 c | 4189525 | 222 26201 115467 | 1 250336 20 | 0.000 % | 422.59/422.60 c | 4189625 | 222 26201 115467 | 1 250436 20 | 0.000 % | 422.59/422.60 c | 4189785 | 222 26201 115467 | 1 250596 20 | 0.000 % | 422.59/422.60 c | 4189885 | 222 26201 115467 | 1 250696 20 | 0.000 % | 422.59/422.60 c | 4197633 | 222 26201 115467 | 1 258444 20 | 0.000 % | 422.59/422.60 c | 4201495 | 222 26201 115467 | 1 262306 20 | 0.000 % | 422.59/422.60 c | 4201727 | 222 26201 115467 | 1 262538 20 | 0.000 % | 422.59/422.60 c | 4256863 | 222 26201 115467 | 1 173273 18 | 0.000 % | 422.59/422.60 c | 4273954 | 222 26201 115467 | 1 190364 18 | 0.000 % | 422.59/422.60 c | 4284362 | 222 26201 115467 | 1 200772 18 | 0.000 % | 422.59/422.60 c | 4290809 | 222 26201 115467 | 1 207219 19 | 0.000 % | 422.59/422.60 c | 4296671 | 222 26201 115467 | 1 213081 19 | 0.000 % | 422.59/422.60 c | 4297625 | 222 26201 115467 | 1 214035 19 | 0.000 % | 422.59/422.60 c | 4297727 | 222 26201 115467 | 1 214137 19 | 0.000 % | 422.59/422.60 c | 4302935 | 222 26201 115467 | 1 219345 19 | 0.000 % | 422.59/422.60 c | 4303035 | 222 26201 115467 | 1 219445 19 | 0.000 % | 422.59/422.60 c | 4312958 | 222 26201 115467 | 1 229368 19 | 0.000 % | 422.59/422.60 c | 4313060 | 222 26201 115467 | 1 229470 19 | 0.000 % | 422.59/422.60 c | 4313160 | 222 26201 115467 | 1 229570 19 | 0.000 % | 422.59/422.60 c | 4345910 | 222 26201 115467 | 1 262320 20 | 0.000 % | 422.59/422.60 c | 4346013 | 222 26201 115467 | 1 262423 20 | 0.000 % | 422.59/422.60 c | 4349053 | 222 26201 115467 | 1 265463 20 | 0.000 % | 422.59/422.60 c | 4366186 | 222 26201 115467 | 1 282596 20 | 0.000 % | 422.59/422.60 c | 4378724 | 222 26201 115467 | 1 148141 17 | 0.000 % | 422.59/422.60 c | 4400651 | 222 26201 115467 | 1 170068 18 | 0.000 % | 422.59/422.60 c | 4400794 | 222 26201 115467 | 1 170211 18 | 0.000 % | 422.59/422.60 c | 4400894 | 222 26201 115467 | 1 170311 18 | 0.000 % | 422.59/422.60 c | 4412276 | 222 26201 115467 | 1 181693 18 | 0.000 % | 422.59/422.60 c | 4412426 | 222 26201 115467 | 1 181843 18 | 0.000 % | 422.59/422.60 c | 4414572 | 222 26201 115467 | 1 183989 18 | 0.000 % | 422.59/422.60 c | 4447219 | 222 26201 115467 | 1 216636 19 | 0.000 % | 422.59/422.60 c | 4488946 | 222 26201 115467 | 1 258363 20 | 0.000 % | 422.59/422.60 c | 4498673 | 222 26201 115467 | 1 268090 20 | 0.000 % | 422.59/422.60 c | 4498774 | 222 26201 115467 | 1 268191 20 | 0.000 % | 422.59/422.60 c | 4498875 | 222 26201 115467 | 1 268292 20 | 0.000 % | 422.59/422.60 c | 4508168 | 222 26201 115467 | 1 277585 20 | 0.000 % | 422.59/422.60 c | 4508269 | 222 26201 115467 | 1 277686 20 | 0.000 % | 422.59/422.60 c | 4520552 | 222 26201 115467 | 1 289969 20 | 0.000 % | 422.59/422.60 c | 4521688 | 222 26201 115467 | 1 291105 20 | 0.000 % | 422.59/422.60 c | 4530000 | 222 26201 115467 | 1 149811 17 | 0.000 % | 422.59/422.60 c | 4530100 | 222 26201 115467 | 1 149911 17 | 0.000 % | 422.59/422.60 c | 4530201 | 222 26201 115467 | 1 150012 17 | 0.000 % | 422.59/422.60 c | 4531975 | 222 26201 115467 | 1 151786 17 | 0.000 % | 422.59/422.60 c | 4544458 | 222 26201 115467 | 1 164269 18 | 0.000 % | 422.59/422.60 c | 4565615 | 222 26201 115467 | 1 185426 18 | 0.000 % | 422.59/422.60 c | 4567103 | 222 26201 115467 | 1 186914 18 | 0.000 % | 422.59/422.60 c | 4567244 | 222 26201 115467 | 1 187055 18 | 0.000 % | 422.59/422.60 c | 4568892 | 222 26201 115467 | 1 188703 19 | 0.000 % | 465.59/465.68 c | 4569298 | 222 26201 115467 | 1 189109 19 | 0.000 % | 465.59/465.68 c | 4611614 | 222 26201 115467 | 1 231425 19 | 0.000 % | 465.59/465.68 c | 4613653 | 222 26201 115467 | 1 233464 19 | 0.000 % | 465.59/465.68 c | 4628596 | 222 26201 115467 | 1 248407 19 | 0.000 % | 465.59/465.68 c | 4628697 | 222 26201 115467 | 1 248508 19 | 0.000 % | 465.59/465.68 c | 4629125 | 222 26201 115467 | 1 248936 19 | 0.000 % | 465.59/465.68 c | 4643817 | 222 26201 115467 | 1 263628 20 | 0.000 % | 465.59/465.68 c | 4644019 | 222 26201 115467 | 1 263830 20 | 0.000 % | 465.59/465.68 c | 4644121 | 222 26201 115467 | 1 263932 20 | 0.000 % | 465.59/465.68 c | 4650919 | 222 26201 115467 | 1 270730 20 | 0.000 % | 465.59/465.68 c | 4657802 | 222 26201 115467 | 1 277613 20 | 0.000 % | 465.59/465.68 c | 4658494 | 222 26201 115467 | 1 278305 20 | 0.000 % | 465.59/465.68 c | 4658865 | 222 26201 115467 | 1 278676 20 | 0.000 % | 465.59/465.68 c | 4671416 | 222 26201 115467 | 1 291227 20 | 0.000 % | 465.59/465.68 c | 4674294 | 222 26201 115467 | 1 294105 20 | 0.000 % | 465.59/465.68 c | 4674645 | 222 26201 115467 | 1 294456 20 | 0.000 % | 465.59/465.68 c | 4674787 | 222 26201 115467 | 1 294598 20 | 0.000 % | 465.59/465.68 c | 4676783 | 222 26201 115467 | 1 296594 20 | 0.000 % | 465.59/465.68 c | 4679409 | 222 26201 115467 | 1 299220 20 | 0.000 % | 465.59/465.68 c | 4680732 | 222 26201 115467 | 1 300543 20 | 0.000 % | 465.59/465.68 c | 4680832 | 222 26201 115467 | 1 300643 20 | 0.000 % | 465.59/465.68 c | 4720752 | 222 26201 115467 | 1 188366 18 | 0.000 % | 465.59/465.68 c | 4720863 | 222 26201 115467 | 1 188477 18 | 0.000 % | 465.59/465.68 c | 4722469 | 222 26201 115467 | 1 190083 18 | 0.000 % | 465.59/465.68 c | 4729351 | 222 26201 115467 | 1 196965 19 | 0.000 % | 465.59/465.68 c | 4729452 | 222 26201 115467 | 1 197066 19 | 0.000 % | 465.59/465.68 c | 4729987 | 222 26201 115467 | 1 197601 19 | 0.000 % | 465.59/465.68 c | 4730848 | 222 26201 115467 | 1 198462 19 | 0.000 % | 465.59/465.68 c | 4731362 | 222 26201 115467 | 1 198976 19 | 0.000 % | 465.59/465.68 c | 4733239 | 222 26201 115467 | 1 200853 19 | 0.000 % | 465.59/465.68 c | 4746200 | 222 26201 115467 | 1 213814 19 | 0.000 % | 465.59/465.68 c | 4746302 | 222 26201 115467 | 1 213916 19 | 0.000 % | 465.59/465.68 c | 4746662 | 222 26201 115467 | 1 214276 19 | 0.000 % | 465.59/465.68 c | 4752063 | 222 26201 115467 | 1 219677 19 | 0.000 % | 465.59/465.68 c | 4811400 | 222 26201 115467 | 1 279014 20 | 0.000 % | 465.59/465.68 c | 4812811 | 222 26201 115467 | 1 280425 20 | 0.000 % | 465.59/465.68 c | 4813828 | 222 26201 115467 | 1 281442 20 | 0.000 % | 465.59/465.68 c | 4834843 | 222 26201 115467 | 1 302457 20 | 0.000 % | 465.59/465.68 c | 4859437 | 222 26201 115467 | 1 172254 18 | 0.000 % | 465.59/465.68 c | 4859538 | 222 26201 115467 | 1 172355 18 | 0.000 % | 465.59/465.68 c | 4865284 | 222 26201 115467 | 1 178101 18 | 0.000 % | 465.59/465.68 c | 4887342 | 222 26201 115467 | 1 200159 19 | 0.000 % | 465.59/465.68 c | 4887858 | 222 26201 115467 | 1 200675 19 | 0.000 % | 465.59/465.68 c | 4912552 | 222 26201 115467 | 1 225369 19 | 0.000 % | 465.59/465.68 c | 4933494 | 222 26201 115467 | 1 246311 19 | 0.000 % | 465.59/465.68 c | 4937638 | 222 26201 115467 | 1 250455 20 | 0.000 % | 465.59/465.68 c | 4937740 | 222 26201 115467 | 1 250557 20 | 0.000 % | 465.59/465.68 c | 4938128 | 222 26201 115467 | 1 250945 20 | 0.000 % | 465.59/465.68 c | 4938228 | 222 26201 115467 | 1 251045 20 | 0.000 % | 465.59/465.68 c | 4940329 | 222 26201 115467 | 1 253146 20 | 0.000 % | 552.50/552.56 c | 4940526 | 222 26201 115467 | 1 253343 20 | 0.000 % | 552.50/552.56 c | 4953445 | 222 26201 115467 | 1 266262 20 | 0.000 % | 552.50/552.56 c | 4953995 | 222 26201 115467 | 1 266812 20 | 0.000 % | 552.50/552.56 c | 4980821 | 222 26201 115467 | 1 293638 20 | 0.000 % | 552.50/552.56 c | 4982305 | 222 26201 115467 | 1 295122 20 | 0.000 % | 552.50/552.56 c | 4986427 | 222 26201 115467 | 1 299244 20 | 0.000 % | 552.50/552.56 c | 4986530 | 222 26201 115467 | 1 299347 20 | 0.000 % | 552.50/552.56 c | 4988388 | 222 26201 115467 | 1 301205 20 | 0.000 % | 552.50/552.56 c | 4990314 | 222 26201 115467 | 1 303131 20 | 0.000 % | 552.50/552.56 c | 4990414 | 222 26201 115467 | 1 303231 20 | 0.000 % | 552.50/552.56 c | 4990850 | 222 26201 115467 | 1 303667 20 | 0.000 % | 552.50/552.56 c | 5056714 | 222 26201 115467 | 1 212131 19 | 0.000 % | 552.50/552.56 c | 5056909 | 222 26201 115467 | 1 212326 19 | 0.000 % | 552.50/552.56 c | 5070945 | 222 26201 115467 | 1 226362 19 | 0.000 % | 552.50/552.56 c | 5071048 | 222 26201 115467 | 1 226465 19 | 0.000 % | 552.50/552.56 c | 5081376 | 222 26201 115467 | 1 236793 19 | 0.000 % | 552.50/552.56 c | 5090585 | 222 26201 115467 | 1 246002 20 | 0.000 % | 552.50/552.56 c | 5090685 | 222 26201 115467 | 1 246102 20 | 0.000 % | 552.50/552.56 c | 5119313 | 222 26201 115467 | 1 274730 20 | 0.000 % | 552.50/552.56 c | 5201614 | 222 26201 115467 | 1 197035 18 | 0.000 % | 552.50/552.56 c | 5210229 | 222 26201 115467 | 1 205650 18 | 0.000 % | 552.50/552.56 c | 5221161 | 222 26201 115467 | 1 216582 19 | 0.000 % | 552.50/552.56 c | 5295607 | 222 26201 115467 | 1 291028 20 | 0.000 % | 552.50/552.56 c | 5302069 | 222 26201 115467 | 1 297490 20 | 0.000 % | 552.50/552.56 c | 5311395 | 222 26201 115467 | 1 306816 20 | 0.000 % | 552.50/552.56 c | 5336242 | 222 26201 115467 | 1 169059 17 | 0.000 % | 552.50/552.56 c | 5403024 | 222 26201 115467 | 1 235841 18 | 0.000 % | 552.50/552.56 c | 5405920 | 222 26201 115467 | 1 238737 19 | 0.000 % | 552.50/552.56 c | 5406021 | 222 26201 115467 | 1 238838 19 | 0.000 % | 552.50/552.56 c | 5434938 | 222 26201 115467 | 1 267755 19 | 0.000 % | 552.50/552.56 c | 5435234 | 222 26201 115467 | 1 268051 19 | 0.000 % | 552.50/552.56 c | 5484184 | 222 26201 115467 | 1 317001 20 | 0.000 % | 552.50/552.56 c | 5496455 | 222 26201 115467 | 1 329272 20 | 0.000 % | 552.50/552.56 c | 5505260 | 222 26201 115467 | 1 172875 17 | 0.000 % | 552.50/552.56 c | 5511663 | 222 26201 115467 | 1 179278 17 | 0.000 % | 552.50/552.56 c | 5519257 | 222 26201 115467 | 1 186872 18 | 0.000 % | 552.50/552.56 c | 5522933 | 222 26201 115467 | 1 190548 18 | 0.000 % | 552.50/552.56 c | 5568395 | 222 26201 115467 | 1 236010 19 | 0.000 % | 552.50/552.56 c | 5568498 | 222 26201 115467 | 1 236113 19 | 0.000 % | 552.50/552.56 c | 5571937 | 222 26201 115467 | 1 239552 19 | 0.000 % | 552.50/552.56 c | 5572514 | 222 26201 115467 | 1 240129 19 | 0.000 % | 552.50/552.56 c | 5573458 | 222 26201 115467 | 1 241073 19 | 0.000 % | 552.50/552.56 c | 5579800 | 222 26201 115467 | 1 247415 19 | 0.000 % | 552.50/552.56 c | 5594113 | 222 26201 115467 | 1 261728 19 | 0.000 % | 552.50/552.56 c | 5594570 | 222 26201 115467 | 1 262185 19 | 0.000 % | 552.50/552.56 c | 5594698 | 222 26201 115467 | 1 262313 19 | 0.000 % | 552.50/552.56 c | 5641945 | 222 26201 115467 | 1 309560 20 | 0.000 % | 552.50/552.56 c | 5652608 | 222 26201 115467 | 1 320223 20 | 0.000 % | 552.50/552.56 c | 5654204 | 222 26201 115467 | 1 321819 20 | 0.000 % | 552.50/552.56 c | 5655395 | 222 26201 115467 | 1 323010 20 | 0.000 % | 618.69/618.78 c | 5667870 | 222 26201 115467 | 1 335485 20 | 0.000 % | 618.69/618.78 c | 5672162 | 222 26201 115467 | 1 171974 17 | 0.000 % | 618.69/618.78 c | 5674720 | 222 26201 115467 | 1 174532 17 | 0.000 % | 618.69/618.78 c | 5681632 | 222 26201 115467 | 1 181444 17 | 0.000 % | 618.69/618.78 c | 5682967 | 222 26201 115467 | 1 182779 17 | 0.000 % | 618.69/618.78 c | 5683287 | 222 26201 115467 | 1 183099 17 | 0.000 % | 618.69/618.78 c | 5687364 | 222 26201 115467 | 1 187176 18 | 0.000 % | 618.69/618.78 c | 5687520 | 222 26201 115467 | 1 187332 18 | 0.000 % | 618.69/618.78 c | 5694516 | 222 26201 115467 | 1 194328 18 | 0.000 % | 618.69/618.78 c | 5694616 | 222 26201 115467 | 1 194428 18 | 0.000 % | 618.69/618.78 c | 5696421 | 222 26201 115467 | 1 196233 18 | 0.000 % | 618.69/618.78 c | 5697713 | 222 26201 115467 | 1 197525 18 | 0.000 % | 618.69/618.78 c | 5700650 | 222 26201 115467 | 1 200462 18 | 0.000 % | 618.69/618.78 c | 5708021 | 222 26201 115467 | 1 207833 18 | 0.000 % | 618.69/618.78 c | 5708121 | 222 26201 115467 | 1 207933 18 | 0.000 % | 618.69/618.78 c | 5708724 | 222 26201 115467 | 1 208536 18 | 0.000 % | 618.69/618.78 c | 5720427 | 222 26201 115467 | 1 220239 18 | 0.000 % | 618.69/618.78 c | 5720574 | 222 26201 115467 | 1 220386 18 | 0.000 % | 618.69/618.78 c | 5721024 | 222 26201 115467 | 1 220836 18 | 0.000 % | 618.69/618.78 c | 5723283 | 222 26201 115467 | 1 223095 19 | 0.000 % | 618.69/618.78 c | 5732733 | 222 26201 115467 | 1 232545 19 | 0.000 % | 618.69/618.78 c | 5755827 | 222 26201 115467 | 1 255639 19 | 0.000 % | 618.69/618.78 c | 5757279 | 222 26201 115467 | 1 257091 19 | 0.000 % | 618.69/618.78 c | 5779065 | 222 26201 115467 | 1 278877 19 | 0.000 % | 618.69/618.78 c | 5798756 | 222 26201 115467 | 1 298568 20 | 0.000 % | 618.69/618.78 c | 5799154 | 222 26201 115467 | 1 298966 20 | 0.000 % | 618.69/618.78 c | 5799254 | 222 26201 115467 | 1 299066 20 | 0.000 % | 618.69/618.78 c | 5799397 | 222 26201 115467 | 1 299209 20 | 0.000 % | 618.69/618.78 c | 5800213 | 222 26201 115467 | 1 300025 20 | 0.000 % | 618.69/618.78 c | 5816406 | 222 26201 115467 | 1 316218 20 | 0.000 % | 618.69/618.78 c | 5816506 | 222 26201 115467 | 1 316318 20 | 0.000 % | 618.69/618.78 c | 5820366 | 222 26201 115467 | 1 320178 20 | 0.000 % | 618.69/618.78 c | 5879885 | 222 26201 115467 | 1 209297 18 | 0.000 % | 618.69/618.78 c | 5881983 | 222 26201 115467 | 1 211395 18 | 0.000 % | 618.69/618.78 c | 5887837 | 222 26201 115467 | 1 217249 18 | 0.000 % | 618.69/618.78 c | 5901041 | 222 26201 115467 | 1 230453 18 | 0.000 % | 618.69/618.78 c | 5901439 | 222 26201 115467 | 1 230851 18 | 0.000 % | 618.69/618.78 c | 5901940 | 222 26201 115467 | 1 231352 18 | 0.000 % | 618.69/618.78 c | 6007559 | 222 26201 115467 | 1 336971 19 | 0.000 % | 618.69/618.78 c | 6029267 | 222 26201 115467 | 1 185675 17 | 0.000 % | 618.69/618.78 c | 6029368 | 222 26201 115467 | 1 185776 17 | 0.000 % | 618.69/618.78 c | 6033211 | 222 26201 115467 | 1 189619 17 | 0.000 % | 618.69/618.78 c | 6051818 | 222 26201 115467 | 1 208226 17 | 0.000 % | 618.69/618.78 c | 6083202 | 222 26201 115467 | 1 239610 18 | 0.000 % | 618.69/618.78 c | 6096879 | 222 26201 115467 | 1 253287 18 | 0.000 % | 618.69/618.78 c | 6123689 | 222 26201 115467 | 1 280097 19 | 0.000 % | 618.69/618.78 c | 6140939 | 222 26201 115467 | 1 297347 19 | 0.000 % | 618.69/618.78 c | 6164204 | 222 26201 115467 | 1 320612 19 | 0.000 % | 618.69/618.78 c | 6169207 | 222 26201 115467 | 1 325615 19 | 0.000 % | 618.69/618.78 c | 6178255 | 222 26201 115467 | 1 334663 20 | 0.000 % | 676.40/676.44 c | 6178355 | 222 26201 115467 | 1 334763 20 | 0.000 % | 676.40/676.44 c | 6181140 | 222 26201 115467 | 1 337548 20 | 0.000 % | 676.40/676.44 c | 6185512 | 222 26201 115467 | 1 341920 20 | 0.000 % | 676.40/676.44 c | 6201799 | 222 26201 115467 | 1 182609 17 | 0.000 % | 676.40/676.44 c | 6225440 | 222 26201 115467 | 1 206250 18 | 0.000 % | 676.40/676.44 c | 6227841 | 222 26201 115467 | 1 208651 18 | 0.000 % | 676.40/676.44 c | 6228499 | 222 26201 115467 | 1 209309 18 | 0.000 % | 676.40/676.44 c | 6228600 | 222 26201 115467 | 1 209410 18 | 0.000 % | 676.40/676.44 c | 6240880 | 222 26201 115467 | 1 221690 18 | 0.000 % | 676.40/676.44 c | 6241960 | 222 26201 115467 | 1 222770 18 | 0.000 % | 676.40/676.44 c | 6259308 | 222 26201 115467 | 1 240118 18 | 0.000 % | 676.40/676.44 c | 6259409 | 222 26201 115467 | 1 240219 19 | 0.000 % | 676.40/676.44 c | 6259956 | 222 26201 115467 | 1 240766 19 | 0.000 % | 676.40/676.44 c | 6265032 | 222 26201 115467 | 1 245842 19 | 0.000 % | 676.40/676.44 c | 6267660 | 222 26201 115467 | 1 248470 19 | 0.000 % | 676.40/676.44 c | 6270552 | 222 26201 115467 | 1 251362 19 | 0.000 % | 676.40/676.44 c | 6270653 | 222 26201 115467 | 1 251463 19 | 0.000 % | 676.40/676.44 c | 6270753 | 222 26201 115467 | 1 251563 19 | 0.000 % | 676.40/676.44 c | 6278209 | 222 26201 115467 | 1 259019 19 | 0.000 % | 676.40/676.44 c | 6295429 | 222 26201 115467 | 1 276239 19 | 0.000 % | 676.40/676.44 c | 6370031 | 222 26201 115467 | 1 350841 19 | 0.000 % | 676.40/676.44 c | 6373737 | 222 26201 115467 | 1 354547 19 | 0.000 % | 676.40/676.44 c | 6409982 | 222 26201 115467 | 1 212594 17 | 0.000 % | 676.40/676.44 c | 6427104 | 222 26201 115467 | 1 229716 18 | 0.000 % | 676.40/676.44 c | 6427204 | 222 26201 115467 | 1 229816 18 | 0.000 % | 676.40/676.44 c | 6427305 | 222 26201 115467 | 1 229917 18 | 0.000 % | 676.40/676.44 c | 6431142 | 222 26201 115467 | 1 233754 18 | 0.000 % | 676.40/676.44 c | 6437985 | 222 26201 115467 | 1 240597 18 | 0.000 % | 676.40/676.44 c | 6439239 | 222 26201 115467 | 1 241851 18 | 0.000 % | 676.40/676.44 c | 6439901 | 222 26201 115467 | 1 242513 18 | 0.000 % | 676.40/676.44 c | 6470742 | 222 26201 115467 | 1 273354 18 | 0.000 % | 676.40/676.44 c | 6475161 | 222 26201 115467 | 1 277773 18 | 0.000 % | 676.40/676.44 c | 6475262 | 222 26201 115467 | 1 277874 18 | 0.000 % | 676.40/676.44 c | 6476207 | 222 26201 115467 | 1 278819 18 | 0.000 % | 676.40/676.44 c | 6477755 | 222 26201 115467 | 1 280367 18 | 0.000 % | 676.40/676.44 c | 6517521 | 222 26201 115467 | 1 320133 19 | 0.000 % | 676.40/676.44 c | 6524648 | 222 26201 115467 | 1 327260 19 | 0.000 % | 676.40/676.44 c | 6525446 | 222 26201 115467 | 1 328058 19 | 0.000 % | 676.40/676.44 c | 6530927 | 222 26201 115467 | 1 333539 19 | 0.000 % | 676.40/676.44 c | 6531120 | 222 26201 115467 | 1 333732 19 | 0.000 % | 676.40/676.44 c | 6543574 | 222 26201 115467 | 1 346186 19 | 0.000 % | 676.40/676.44 c | 6546366 | 222 26201 115467 | 1 348978 19 | 0.000 % | 676.40/676.44 c | 6547662 | 222 26201 115467 | 1 350274 19 | 0.000 % | 676.40/676.44 c | 6562831 | 222 26201 115467 | 1 184642 17 | 0.000 % | 676.40/676.44 c | 6569647 | 222 26201 115467 | 1 191458 17 | 0.000 % | 676.40/676.44 c | 6574007 | 222 26201 115467 | 1 195818 17 | 0.000 % | 676.40/676.44 c | 6579563 | 222 26201 115467 | 1 201374 17 | 0.000 % | 676.40/676.44 c | 6581207 | 222 26201 115467 | 1 203018 17 | 0.000 % | 676.40/676.44 c | 6600241 | 222 26201 115467 | 1 222052 18 | 0.000 % | 676.40/676.44 c | 6627493 | 222 26201 115467 | 1 249304 18 | 0.000 % | 735.39/735.48 c | 6630952 | 222 26201 115467 | 1 252763 19 | 0.000 % | 735.39/735.48 c | 6635748 | 222 26201 115467 | 1 257559 19 | 0.000 % | 735.39/735.48 c | 6649476 | 222 26201 115467 | 1 271287 19 | 0.000 % | 735.39/735.48 c | 6649725 | 222 26201 115467 | 1 271536 19 | 0.000 % | 735.39/735.48 c | 6655525 | 222 26201 115467 | 1 277336 19 | 0.000 % | 735.39/735.48 c | 6677721 | 222 26201 115467 | 1 299532 19 | 0.000 % | 735.39/735.48 c | 6692132 | 222 26201 115467 | 1 313943 19 | 0.000 % | 735.39/735.48 c | 6701883 | 222 26201 115467 | 1 323694 20 | 0.000 % | 735.39/735.48 c | 6705075 | 222 26201 115467 | 1 326886 20 | 0.000 % | 735.39/735.48 c | 6705176 | 222 26201 115467 | 1 326987 20 | 0.000 % | 735.39/735.48 c | 6705796 | 222 26201 115467 | 1 327607 20 | 0.000 % | 735.39/735.48 c | 6705912 | 222 26201 115467 | 1 327723 20 | 0.000 % | 735.39/735.48 c | 6723269 | 222 26201 115467 | 1 345080 20 | 0.000 % | 735.39/735.48 c | 6735449 | 222 26201 115467 | 1 357260 20 | 0.000 % | 735.39/735.48 c | 6735552 | 222 26201 115467 | 1 357363 20 | 0.000 % | 735.39/735.48 c | 6744863 | 222 26201 115467 | 1 366674 20 | 0.000 % | 735.39/735.48 c | 6748032 | 222 26201 115467 | 1 186440 17 | 0.000 % | 735.39/735.48 c | 6752457 | 222 26201 115467 | 1 190865 17 | 0.000 % | 735.39/735.48 c | 6752640 | 222 26201 115467 | 1 191048 17 | 0.000 % | 735.39/735.48 c | 6752740 | 222 26201 115467 | 1 191148 17 | 0.000 % | 735.39/735.48 c | 6759736 | 222 26201 115467 | 1 198144 17 | 0.000 % | 735.39/735.48 c | 6787189 | 222 26201 115467 | 1 225597 18 | 0.000 % | 735.39/735.48 c | 6787560 | 222 26201 115467 | 1 225968 18 | 0.000 % | 735.39/735.48 c | 6791407 | 222 26201 115467 | 1 229815 18 | 0.000 % | 735.39/735.48 c | 6828214 | 222 26201 115467 | 1 266622 19 | 0.000 % | 735.39/735.48 c | 6833535 | 222 26201 115467 | 1 271943 19 | 0.000 % | 735.39/735.48 c | 6833637 | 222 26201 115467 | 1 272045 19 | 0.000 % | 735.39/735.48 c | 6855507 | 222 26201 115467 | 1 293915 19 | 0.000 % | 735.39/735.48 c | 6860565 | 222 26201 115467 | 1 298973 19 | 0.000 % | 735.39/735.48 c | 6893975 | 222 26201 115467 | 1 332383 19 | 0.000 % | 735.39/735.48 c | 6901220 | 222 26201 115467 | 1 339628 19 | 0.000 % | 735.39/735.48 c | 6906867 | 222 26201 115467 | 1 345275 19 | 0.000 % | 735.39/735.48 c | 6910231 | 222 26201 115467 | 1 348639 19 | 0.000 % | 735.39/735.48 c | 6916329 | 222 26201 115467 | 1 354737 20 | 0.000 % | 735.39/735.48 c | 6916579 | 222 26201 115467 | 1 354987 20 | 0.000 % | 735.39/735.48 c | 6929655 | 222 26201 115467 | 1 368063 20 | 0.000 % | 735.39/735.48 c | 6940497 | 222 26201 115467 | 1 192911 17 | 0.000 % | 735.39/735.48 c | 6940601 | 222 26201 115467 | 1 193015 17 | 0.000 % | 735.39/735.48 c | 6967957 | 222 26201 115467 | 1 220371 17 | 0.000 % | 735.39/735.48 c | 6979827 | 222 26201 115467 | 1 232241 18 | 0.000 % | 735.39/735.48 c | 6981960 | 222 26201 115467 | 1 234374 18 | 0.000 % | 735.39/735.48 c | 6994848 | 222 26201 115467 | 1 247262 18 | 0.000 % | 735.39/735.48 c | 6996333 | 222 26201 115467 | 1 248747 18 | 0.000 % | 735.39/735.48 c | 7002621 | 222 26201 115467 | 1 255035 18 | 0.000 % | 735.39/735.48 c | 7038399 | 222 26201 115467 | 1 290813 19 | 0.000 % | 735.39/735.48 c | 7038862 | 222 26201 115467 | 1 291276 19 | 0.000 % | 735.39/735.48 c | 7039166 | 222 26201 115467 | 1 291580 19 | 0.000 % | 735.39/735.48 c | 7040838 | 222 26201 115467 | 1 293252 19 | 0.000 % | 735.39/735.48 c | 7043412 | 222 26201 115467 | 1 295826 19 | 0.000 % | 735.39/735.48 c | 7069606 | 222 26201 115467 | 1 322020 19 | 0.000 % | 797.59/797.69 c | 7072079 | 222 26201 115467 | 1 324493 19 | 0.000 % | 797.59/797.69 c | 7085329 | 222 26201 115467 | 1 337743 19 | 0.000 % | 797.59/797.69 c | 7120827 | 222 26201 115467 | 1 373241 19 | 0.000 % | 797.59/797.69 c | 7125872 | 222 26201 115467 | 1 189686 16 | 0.000 % | 797.59/797.69 c | 7125972 | 222 26201 115467 | 1 189786 16 | 0.000 % | 797.59/797.69 c | 7128646 | 222 26201 115467 | 1 192460 17 | 0.000 % | 797.59/797.69 c | 7133445 | 222 26201 115467 | 1 197259 17 | 0.000 % | 797.59/797.69 c | 7135397 | 222 26201 115467 | 1 199211 17 | 0.000 % | 797.59/797.69 c | 7135497 | 222 26201 115467 | 1 199311 17 | 0.000 % | 797.59/797.69 c | 7136674 | 222 26201 115467 | 1 200488 17 | 0.000 % | 797.59/797.69 c | 7187546 | 222 26201 115467 | 1 251360 18 | 0.000 % | 797.59/797.69 c | 7198992 | 222 26201 115467 | 1 262806 18 | 0.000 % | 797.59/797.69 c | 7208594 | 222 26201 115467 | 1 272408 18 | 0.000 % | 797.59/797.69 c | 7210221 | 222 26201 115467 | 1 274035 18 | 0.000 % | 797.59/797.69 c | 7221515 | 222 26201 115467 | 1 285329 18 | 0.000 % | 797.59/797.69 c | 7239157 | 222 26201 115467 | 1 302971 19 | 0.000 % | 797.59/797.69 c | 7245864 | 222 26201 115467 | 1 309678 19 | 0.000 % | 797.59/797.69 c | 7246010 | 222 26201 115467 | 1 309824 19 | 0.000 % | 797.59/797.69 c | 7249704 | 222 26201 115467 | 1 313518 19 | 0.000 % | 797.59/797.69 c | 7266036 | 222 26201 115467 | 1 329850 19 | 0.000 % | 797.59/797.69 c | 7271159 | 222 26201 115467 | 1 334973 19 | 0.000 % | 797.59/797.69 c | 7284331 | 222 26201 115467 | 1 348145 19 | 0.000 % | 797.59/797.69 c | 7284728 | 222 26201 115467 | 1 348542 19 | 0.000 % | 797.59/797.69 c | 7285086 | 222 26201 115467 | 1 348900 19 | 0.000 % | 797.59/797.69 c | 7288875 | 222 26201 115467 | 1 352689 19 | 0.000 % | 797.59/797.69 c | 7291433 | 222 26201 115467 | 1 355247 19 | 0.000 % | 797.59/797.69 c | 7293581 | 222 26201 115467 | 1 357395 19 | 0.000 % | 797.59/797.69 c | 7293681 | 222 26201 115467 | 1 357495 19 | 0.000 % | 797.59/797.69 c | 7298470 | 222 26201 115467 | 1 362284 19 | 0.000 % | 797.59/797.69 c | 7299413 | 222 26201 115467 | 1 363227 19 | 0.000 % | 797.59/797.69 c | 7300053 | 222 26201 115467 | 1 363867 19 | 0.000 % | 797.59/797.69 c | 7343508 | 222 26201 115467 | 1 216122 17 | 0.000 % | 797.59/797.69 c | 7368801 | 222 26201 115467 | 1 241415 17 | 0.000 % | 797.59/797.69 c | 7368901 | 222 26201 115467 | 1 241515 17 | 0.000 % | 797.59/797.69 c | 7377360 | 222 26201 115467 | 1 249974 18 | 0.000 % | 797.59/797.69 c | 7416028 | 222 26201 115467 | 1 288642 18 | 0.000 % | 797.59/797.69 c | 7417752 | 222 26201 115467 | 1 290366 18 | 0.000 % | 797.59/797.69 c | 7430245 | 222 26201 115467 | 1 302859 18 | 0.000 % | 797.59/797.69 c | 7432320 | 222 26201 115467 | 1 304934 18 | 0.000 % | 797.59/797.69 c | 7432676 | 222 26201 115467 | 1 305290 18 | 0.000 % | 797.59/797.69 c | 7440220 | 222 26201 115467 | 1 312834 19 | 0.000 % | 797.59/797.69 c | 7450477 | 222 26201 115467 | 1 323091 19 | 0.000 % | 797.59/797.69 c | 7453317 | 222 26201 115467 | 1 325931 19 | 0.000 % | 797.59/797.69 c | 7470811 | 222 26201 115467 | 1 343425 19 | 0.000 % | 797.59/797.69 c | 7489968 | 222 26201 115467 | 1 362582 19 | 0.000 % | 797.59/797.69 c | 7491966 | 222 26201 115467 | 1 364580 19 | 0.000 % | 797.59/797.69 c | 7492066 | 222 26201 115467 | 1 364680 19 | 0.000 % | 797.59/797.69 c | 7494830 | 222 26201 115467 | 1 367444 19 | 0.000 % | 797.59/797.69 c | 7510772 | 222 26201 115467 | 1 383386 19 | 0.000 % | 797.59/797.69 c | 7517763 | 222 26201 115467 | 1 196574 16 | 0.000 % | 864.80/864.85 c | 7522455 | 222 26201 115467 | 1 201266 17 | 0.000 % | 864.80/864.85 c | 7556980 | 222 26201 115467 | 1 235791 17 | 0.000 % | 864.80/864.85 c | 7625202 | 222 26201 115467 | 1 304013 19 | 0.000 % | 864.80/864.85 c | 7628816 | 222 26201 115467 | 1 307627 19 | 0.000 % | 864.80/864.85 c | 7676437 | 222 26201 115467 | 1 355248 19 | 0.000 % | 864.80/864.85 c | 7719573 | 222 26201 115467 | 1 201984 16 | 0.000 % | 864.80/864.85 c | 7720140 | 222 26201 115467 | 1 202551 17 | 0.000 % | 864.80/864.85 c | 7721811 | 222 26201 115467 | 1 204222 17 | 0.000 % | 864.80/864.85 c | 7721913 | 222 26201 115467 | 1 204324 17 | 0.000 % | 864.80/864.85 c | 7746099 | 222 26201 115467 | 1 228510 17 | 0.000 % | 864.80/864.85 c | 7746199 | 222 26201 115467 | 1 228610 17 | 0.000 % | 864.80/864.85 c | 7778362 | 222 26201 115467 | 1 260773 18 | 0.000 % | 864.80/864.85 c | 7778560 | 222 26201 115467 | 1 260971 18 | 0.000 % | 864.80/864.85 c | 7783516 | 222 26201 115467 | 1 265927 18 | 0.000 % | 864.80/864.85 c | 7788812 | 222 26201 115467 | 1 271223 18 | 0.000 % | 864.80/864.85 c | 7817299 | 222 26201 115467 | 1 299710 18 | 0.000 % | 864.80/864.85 c | 7824000 | 222 26201 115467 | 1 306411 18 | 0.000 % | 864.80/864.85 c | 7824544 | 222 26201 115467 | 1 306955 18 | 0.000 % | 864.80/864.85 c | 7825712 | 222 26201 115467 | 1 308123 18 | 0.000 % | 864.80/864.85 c | 7833905 | 222 26201 115467 | 1 316316 19 | 0.000 % | 864.80/864.85 c | 7840757 | 222 26201 115467 | 1 323168 19 | 0.000 % | 864.80/864.85 c | 7841269 | 222 26201 115467 | 1 323680 19 | 0.000 % | 864.80/864.85 c | 7841872 | 222 26201 115467 | 1 324283 19 | 0.000 % | 864.80/864.85 c | 7843060 | 222 26201 115467 | 1 325471 19 | 0.000 % | 864.80/864.85 c | 7843160 | 222 26201 115467 | 1 325571 19 | 0.000 % | 864.80/864.85 c | 7852072 | 222 26201 115467 | 1 334483 19 | 0.000 % | 864.80/864.85 c | 7854246 | 222 26201 115467 | 1 336657 19 | 0.000 % | 864.80/864.85 c | 7856264 | 222 26201 115467 | 1 338675 19 | 0.000 % | 864.80/864.85 c | 7856637 | 222 26201 115467 | 1 339048 19 | 0.000 % | 864.80/864.85 c | 7856737 | 222 26201 115467 | 1 339148 19 | 0.000 % | 864.80/864.85 c | 7856837 | 222 26201 115467 | 1 339248 19 | 0.000 % | 864.80/864.85 c | 7859830 | 222 26201 115467 | 1 342241 19 | 0.000 % | 864.80/864.85 c | 7861336 | 222 26201 115467 | 1 343747 19 | 0.000 % | 864.80/864.85 c | 7862210 | 222 26201 115467 | 1 344621 19 | 0.000 % | 864.80/864.85 c | 7863767 | 222 26201 115467 | 1 346178 19 | 0.000 % | 864.80/864.85 c | 7877930 | 222 26201 115467 | 1 360341 19 | 0.000 % | 864.80/864.85 c | 7878070 | 222 26201 115467 | 1 360481 19 | 0.000 % | 864.80/864.85 c | 7878570 | 222 26201 115467 | 1 360981 19 | 0.000 % | 864.80/864.85 c | 7881420 | 222 26201 115467 | 1 363831 19 | 0.000 % | 864.80/864.85 c | 7885779 | 222 26201 115467 | 1 368190 19 | 0.000 % | 864.80/864.85 c | 7895967 | 222 26201 115467 | 1 378378 19 | 0.000 % | 864.80/864.85 c | 7896072 | 222 26201 115467 | 1 378483 19 | 0.000 % | 864.80/864.85 c | 7903284 | 222 26201 115467 | 1 385695 19 | 0.000 % | 864.80/864.85 c | 7935256 | 222 26201 115467 | 1 218678 17 | 0.000 % | 864.80/864.85 c | 7949089 | 222 26201 115467 | 1 232511 17 | 0.000 % | 864.80/864.85 c | 7951063 | 222 26201 115467 | 1 234485 17 | 0.000 % | 864.80/864.85 c | 7961321 | 222 26201 115467 | 1 244743 17 | 0.000 % | 864.80/864.85 c | 7964299 | 222 26201 115467 | 1 247721 17 | 0.000 % | 864.80/864.85 c | 7976689 | 222 26201 115467 | 1 260111 18 | 0.000 % | 864.80/864.85 c | 7976795 | 222 26201 115467 | 1 260217 18 | 0.000 % | 938.90/938.97 c | 7982837 | 222 26201 115467 | 1 266259 18 | 0.000 % | 938.90/938.97 c | 8091506 | 222 26201 115467 | 1 374928 19 | 0.000 % | 938.90/938.97 c | 8103658 | 222 26201 115467 | 1 387080 19 | 0.000 % | 938.90/938.97 c | 8125531 | 222 26201 115467 | 1 207356 17 | 0.000 % | 938.90/938.97 c | 8142698 | 222 26201 115467 | 1 224523 17 | 0.000 % | 938.90/938.97 c | 8151414 | 222 26201 115467 | 1 233239 17 | 0.000 % | 938.90/938.97 c | 8153030 | 222 26201 115467 | 1 234855 17 | 0.000 % | 938.90/938.97 c | 8173391 | 222 26201 115467 | 1 255216 18 | 0.000 % | 938.90/938.97 c | 8192832 | 222 26201 115467 | 1 274657 18 | 0.000 % | 938.90/938.97 c | 8201860 | 222 26201 115467 | 1 283685 18 | 0.000 % | 938.90/938.97 c | 8222906 | 222 26201 115467 | 1 304731 18 | 0.000 % | 938.90/938.97 c | 8224529 | 222 26201 115467 | 1 306354 18 | 0.000 % | 938.90/938.97 c | 8225098 | 222 26201 115467 | 1 306923 18 | 0.000 % | 938.90/938.97 c | 8261627 | 222 26201 115467 | 1 343452 19 | 0.000 % | 938.90/938.97 c | 8261836 | 222 26201 115467 | 1 343661 19 | 0.000 % | 938.90/938.97 c | 8278527 | 222 26201 115467 | 1 360352 19 | 0.000 % | 938.90/938.97 c | 8278864 | 222 26201 115467 | 1 360689 19 | 0.000 % | 938.90/938.97 c | 8279030 | 222 26201 115467 | 1 360855 19 | 0.000 % | 938.90/938.97 c | 8279131 | 222 26201 115467 | 1 360956 19 | 0.000 % | 938.90/938.97 c | 8279232 | 222 26201 115467 | 1 361057 19 | 0.000 % | 938.90/938.97 c | 8305579 | 222 26201 115467 | 1 387404 19 | 0.000 % | 938.90/938.97 c | 8305681 | 222 26201 115467 | 1 387506 19 | 0.000 % | 938.90/938.97 c | 8319851 | 222 26201 115467 | 1 401676 19 | 0.000 % | 938.90/938.97 c | 8326097 | 222 26201 115467 | 1 407922 19 | 0.000 % | 938.90/938.97 c | 8326437 | 222 26201 115467 | 1 408262 19 | 0.000 % | 938.90/938.97 c | 8326594 | 222 26201 115467 | 1 408419 19 | 0.000 % | 938.90/938.97 c | 8327481 | 222 26201 115467 | 1 205096 16 | 0.000 % | 938.90/938.97 c | 8332596 | 222 26201 115467 | 1 210211 16 | 0.000 % | 938.90/938.97 c | 8334612 | 222 26201 115467 | 1 212227 16 | 0.000 % | 938.90/938.97 c | 8336030 | 222 26201 115467 | 1 213645 17 | 0.000 % | 938.90/938.97 c | 8369686 | 222 26201 115467 | 1 247301 17 | 0.000 % | 938.90/938.97 c | 8370302 | 222 26201 115467 | 1 247917 17 | 0.000 % | 938.90/938.97 c | 8381718 | 222 26201 115467 | 1 259333 18 | 0.000 % | 938.90/938.97 c | 8384928 | 222 26201 115467 | 1 262543 18 | 0.000 % | 938.90/938.97 c | 8386468 | 222 26201 115467 | 1 264083 18 | 0.000 % | 938.90/938.97 c | 8421418 | 222 26201 115467 | 1 299033 18 | 0.000 % | 938.90/938.97 c | 8422405 | 222 26201 115467 | 1 300020 18 | 0.000 % | 938.90/938.97 c | 8422505 | 222 26201 115467 | 1 300120 18 | 0.000 % | 938.90/938.97 c | 8439946 | 222 26201 115467 | 1 317561 18 | 0.000 % | 938.90/938.97 c | 8443600 | 222 26201 115467 | 1 321215 18 | 0.000 % | 938.90/938.97 c | 8443706 | 222 26201 115467 | 1 321321 18 | 0.000 % | 938.90/938.97 c | 8443806 | 222 26201 115467 | 1 321421 18 | 0.000 % | 938.90/938.97 c | 8443907 | 222 26201 115467 | 1 321522 18 | 0.000 % | 938.90/938.97 c | 8447886 | 222 26201 115467 | 1 325501 19 | 0.000 % | 938.90/938.97 c | 8451695 | 222 26201 115467 | 1 329310 19 | 0.000 % | 938.90/938.97 c | 8491832 | 222 26201 115467 | 1 369447 19 | 0.000 % | 938.90/938.97 c | 8494628 | 222 26201 115467 | 1 372243 19 | 0.000 % | 938.90/938.97 c | 8494977 | 222 26201 115467 | 1 372592 19 | 0.000 % | 938.90/938.97 c | 8498596 | 222 26201 115467 | 1 376211 19 | 0.000 % | 938.90/938.97 c | 8499562 | 222 26201 115467 | 1 377177 19 | 0.000 % | 941.30/941.38 c | 8512922 | 222 26201 115467 | 1 390537 19 | 0.008 % | 941.30/941.38 c =============================================================================== 941.30/941.38 c restarts : 939 941.30/941.38 c nb ReduceDB : 79 941.30/941.38 c nb removed Clauses : 8122385 941.30/941.38 c nb learnts DL2 : 79 941.30/941.38 c nb learnts size 2 : 16 941.30/941.38 c nb learnts size 1 : 0 941.30/941.38 c conflicts : 8512922 (9046 /sec) 941.30/941.38 c decisions : 10136140 (0.00 % random) (10771 /sec) 941.30/941.38 c propagations : 259222922 (275450 /sec) 941.30/941.38 c conflict literals : 196386410 (49.17 % deleted) 941.30/941.38 c nb reduced Clauses : 13969 941.30/941.38 c CPU time : 941.088 s 941.30/941.38 941.30/941.39 s SATISFIABLE 941.30/941.39 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 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-3262352-1303542328/watcher-3262352-1303542328 -o /tmp/evaluation-result-3262352-1303542328/solver-3262352-1303542328 -C 2400 -W 1300 -M 7680 glucose.sh HOME/instance-3262352-1303542328.cnf running on 2 cores: 1,3 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 3/178 29076 /proc/meminfo: memFree=13292948/32951124 swapFree=67111528/67111528 [pid=29076] ppid=29073 vsize=8704 CPUtime=0 cores=1,3 /proc/29076/stat : 29076 (glucose.sh) S 29073 29076 28537 0 -1 4202496 333 0 0 0 0 0 0 0 20 0 1 0 465835154 8912896 253 33554432000 4194304 4922060 140736144096992 18446744073709551615 212435836037 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/29076/statm: 2176 253 211 178 0 69 0 [startup+0.0503699 s] /proc/loadavg: 2.06 2.85 3.11 3/178 29076 /proc/meminfo: memFree=13292948/32951124 swapFree=67111528/67111528 [pid=29076] ppid=29073 vsize=8704 CPUtime=0.02 cores=1,3 /proc/29076/stat : 29076 (glucose.sh) S 29073 29076 28537 0 -1 4202496 360 589 0 0 0 0 2 0 20 0 1 0 465835154 8912896 255 33554432000 4194304 4922060 140736144096992 18446744073709551615 212435836037 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/29076/statm: 2176 255 211 178 0 69 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 8704 [startup+0.100359 s] /proc/loadavg: 2.06 2.85 3.11 3/178 29076 /proc/meminfo: memFree=13292948/32951124 swapFree=67111528/67111528 [pid=29076] ppid=29073 vsize=8704 CPUtime=0.02 cores=1,3 /proc/29076/stat : 29076 (glucose.sh) S 29073 29076 28537 0 -1 4202496 360 589 0 0 0 0 2 0 20 0 1 0 465835154 8912896 255 33554432000 4194304 4922060 140736144096992 18446744073709551615 212435836037 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/29076/statm: 2176 255 211 178 0 69 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 8704 [startup+0.300322 s] /proc/loadavg: 2.06 2.85 3.11 3/178 29076 /proc/meminfo: memFree=13292948/32951124 swapFree=67111528/67111528 [pid=29076] ppid=29073 vsize=8704 CPUtime=0.02 cores=1,3 /proc/29076/stat : 29076 (glucose.sh) S 29073 29076 28537 0 -1 4202496 360 589 0 0 0 0 2 0 20 0 1 0 465835154 8912896 255 33554432000 4194304 4922060 140736144096992 18446744073709551615 212435836037 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/29076/statm: 2176 255 211 178 0 69 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 8704 [startup+0.700247 s] /proc/loadavg: 2.06 2.85 3.11 3/178 29076 /proc/meminfo: memFree=13292948/32951124 swapFree=67111528/67111528 [pid=29076] ppid=29073 vsize=8704 CPUtime=0.02 cores=1,3 /proc/29076/stat : 29076 (glucose.sh) S 29073 29076 28537 0 -1 4202496 360 589 0 0 0 0 2 0 20 0 1 0 465835154 8912896 255 33554432000 4194304 4922060 140736144096992 18446744073709551615 212435836037 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/29076/statm: 2176 255 211 178 0 69 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 8704 [startup+1.50113 s] /proc/loadavg: 2.06 2.85 3.11 5/194 29104 /proc/meminfo: memFree=13254012/32951124 swapFree=67111528/67111528 [pid=29076] ppid=29073 vsize=8704 CPUtime=0.02 cores=1,3 /proc/29076/stat : 29076 (glucose.sh) S 29073 29076 28537 0 -1 4202496 360 589 0 0 0 0 2 0 20 0 1 0 465835154 8912896 255 33554432000 4194304 4922060 140736144096992 18446744073709551615 212435836037 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/29076/statm: 2176 255 211 178 0 69 0 [pid=29091] ppid=29076 vsize=24996 CPUtime=1.46 cores=1,3 /proc/29091/stat : 29091 (glucose_static) R 29076 29076 28537 0 -1 4202496 3743 0 0 0 146 0 0 0 25 0 1 0 465835157 25595904 2824 33554432000 4194304 4260849 140736016649376 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/29091/statm: 6249 2824 248 17 0 2890 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 33700 [startup+3.10083 s] /proc/loadavg: 2.06 2.85 3.11 6/194 29104 /proc/meminfo: memFree=13240496/32951124 swapFree=67111528/67111528 [pid=29076] ppid=29073 vsize=8704 CPUtime=0.02 cores=1,3 /proc/29076/stat : 29076 (glucose.sh) S 29073 29076 28537 0 -1 4202496 360 589 0 0 0 0 2 0 20 0 1 0 465835154 8912896 255 33554432000 4194304 4922060 140736144096992 18446744073709551615 212435836037 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/29076/statm: 2176 255 211 178 0 69 0 [pid=29091] ppid=29076 vsize=24996 CPUtime=3.06 cores=1,3 /proc/29091/stat : 29091 (glucose_static) R 29076 29076 28537 0 -1 4202496 3882 0 0 0 306 0 0 0 25 0 1 0 465835157 25595904 2960 33554432000 4194304 4260849 140736016649376 18446744073709551615 4225146 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/29091/statm: 6249 2960 248 17 0 2890 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 33700 [startup+6.30023 s] /proc/loadavg: 2.21 2.87 3.11 5/194 29105 /proc/meminfo: memFree=13225476/32951124 swapFree=67111528/67111528 [pid=29076] ppid=29073 vsize=8704 CPUtime=0.02 cores=1,3 /proc/29076/stat : 29076 (glucose.sh) S 29073 29076 28537 0 -1 4202496 360 589 0 0 0 0 2 0 20 0 1 0 465835154 8912896 255 33554432000 4194304 4922060 140736144096992 18446744073709551615 212435836037 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/29076/statm: 2176 255 211 178 0 69 0 [pid=29091] ppid=29076 vsize=33912 CPUtime=6.25 cores=1,3 /proc/29091/stat : 29091 (glucose_static) R 29076 29076 28537 0 -1 4202496 5309 0 0 0 625 0 0 0 25 0 1 0 465835157 34725888 4318 33554432000 4194304 4260849 140736016649376 18446744073709551615 4225056 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/29091/statm: 8478 4318 248 17 0 5119 0 Current children cumulated CPU time (s) 6.27 Current children cumulated vsize (KiB) 42616 [startup+12.701 s] /proc/loadavg: 2.36 2.89 3.11 6/194 29105 /proc/meminfo: memFree=13202172/32951124 swapFree=67111528/67111528 [pid=29076] ppid=29073 vsize=8704 CPUtime=0.02 cores=1,3 /proc/29076/stat : 29076 (glucose.sh) S 29073 29076 28537 0 -1 4202496 360 589 0 0 0 0 2 0 20 0 1 0 465835154 8912896 255 33554432000 4194304 4922060 140736144096992 18446744073709551615 212435836037 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/29076/statm: 2176 255 211 178 0 69 0 [pid=29091] ppid=29076 vsize=33912 CPUtime=12.66 cores=1,3 /proc/29091/stat : 29091 (glucose_static) R 29076 29076 28537 0 -1 4202496 6094 0 0 0 1266 0 0 0 25 0 1 0 465835157 34725888 5070 33554432000 4194304 4260849 140736016649376 18446744073709551615 4225082 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/29091/statm: 8478 5070 248 17 0 5119 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 42616 [startup+25.5006 s] /proc/loadavg: 2.72 2.95 3.13 6/194 29105 /proc/meminfo: memFree=13188292/32951124 swapFree=67111528/67111528 [pid=29076] ppid=29073 vsize=8704 CPUtime=0.02 cores=1,3 /proc/29076/stat : 29076 (glucose.sh) S 29073 29076 28537 0 -1 4202496 360 589 0 0 0 0 2 0 20 0 1 0 465835154 8912896 255 33554432000 4194304 4922060 140736144096992 18446744073709551615 212435836037 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/29076/statm: 2176 255 211 178 0 69 0 [pid=29091] ppid=29076 vsize=45700 CPUtime=25.46 cores=1,3 /proc/29091/stat : 29091 (glucose_static) R 29076 29076 28537 0 -1 4202496 12162 0 0 0 2545 1 0 0 25 0 1 0 465835157 46796800 6742 33554432000 4194304 4260849 140736016649376 18446744073709551615 4224875 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/29091/statm: 11425 6742 250 17 0 8066 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 54404 [startup+51.1008 s] /proc/loadavg: 3.16 3.03 3.15 6/194 29106 /proc/meminfo: memFree=13136312/32951124 swapFree=67111528/67111528 [pid=29076] ppid=29073 vsize=8704 CPUtime=0.02 cores=1,3 /proc/29076/stat : 29076 (glucose.sh) S 29073 29076 28537 0 -1 4202496 360 589 0 0 0 0 2 0 20 0 1 0 465835154 8912896 255 33554432000 4194304 4922060 140736144096992 18446744073709551615 212435836037 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/29076/statm: 2176 255 211 178 0 69 0 [pid=29091] ppid=29076 vsize=64376 CPUtime=51.06 cores=1,3 /proc/29091/stat : 29091 (glucose_static) R 29076 29076 28537 0 -1 4202496 16457 0 0 0 5105 1 0 0 25 0 1 0 465835157 65921024 11010 33554432000 4194304 4260849 140736016649376 18446744073709551615 4224682 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/29091/statm: 16094 11010 250 17 0 12735 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 73080 [startup+102.307 s] /proc/loadavg: 3.79 3.21 3.20 6/194 29107 /proc/meminfo: memFree=13078372/32951124 swapFree=67111528/67111528 [pid=29076] ppid=29073 vsize=8704 CPUtime=0.02 cores=1,3 /proc/29076/stat : 29076 (glucose.sh) S 29073 29076 28537 0 -1 4202496 360 589 0 0 0 0 2 0 20 0 1 0 465835154 8912896 255 33554432000 4194304 4922060 140736144096992 18446744073709551615 212435836037 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/29076/statm: 2176 255 211 178 0 69 0 [pid=29091] ppid=29076 vsize=64376 CPUtime=102.27 cores=1,3 /proc/29091/stat : 29091 (glucose_static) R 29076 29076 28537 0 -1 4202496 20797 0 0 0 10225 2 0 0 25 0 1 0 465835157 65921024 12073 33554432000 4194304 4260849 140736016649376 18446744073709551615 4225146 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/29091/statm: 16094 12073 250 17 0 12735 0 Current children cumulated CPU time (s) 102.29 Current children cumulated vsize (KiB) 73080 [startup+162.301 s] /proc/loadavg: 3.92 3.35 3.25 6/194 29109 /proc/meminfo: memFree=13049940/32951124 swapFree=67111528/67111528 [pid=29076] ppid=29073 vsize=8704 CPUtime=0.02 cores=1,3 /proc/29076/stat : 29076 (glucose.sh) S 29073 29076 28537 0 -1 4202496 360 589 0 0 0 0 2 0 20 0 1 0 465835154 8912896 255 33554432000 4194304 4922060 140736144096992 18446744073709551615 212435836037 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/29076/statm: 2176 255 211 178 0 69 0 [pid=29091] ppid=29076 vsize=102192 CPUtime=162.26 cores=1,3 /proc/29091/stat : 29091 (glucose_static) R 29076 29076 28537 0 -1 4202496 28076 0 0 0 16223 3 0 0 25 0 1 0 465835157 104644608 14405 33554432000 4194304 4260849 140736016649376 18446744073709551615 4225146 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/29091/statm: 25548 14405 250 17 0 22189 0 Current children cumulated CPU time (s) 162.28 Current children cumulated vsize (KiB) 110896 [startup+222.3 s] /proc/loadavg: 3.97 3.47 3.29 6/194 29110 /proc/meminfo: memFree=13027964/32951124 swapFree=67111528/67111528 [pid=29076] ppid=29073 vsize=8704 CPUtime=0.02 cores=1,3 /proc/29076/stat : 29076 (glucose.sh) S 29073 29076 28537 0 -1 4202496 360 589 0 0 0 0 2 0 20 0 1 0 465835154 8912896 255 33554432000 4194304 4922060 140736144096992 18446744073709551615 212435836037 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/29076/statm: 2176 255 211 178 0 69 0 [pid=29091] ppid=29076 vsize=102192 CPUtime=222.26 cores=1,3 /proc/29091/stat : 29091 (glucose_static) R 29076 29076 28537 0 -1 4202496 28671 0 0 0 22223 3 0 0 25 0 1 0 465835157 104644608 14978 33554432000 4194304 4260849 140736016649376 18446744073709551615 4225124 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/29091/statm: 25548 14978 250 17 0 22189 0 Current children cumulated CPU time (s) 222.28 Current children cumulated vsize (KiB) 110896 [startup+282.301 s] /proc/loadavg: 3.99 3.56 3.34 5/194 29112 /proc/meminfo: memFree=12999300/32951124 swapFree=67111528/67111528 [pid=29076] ppid=29073 vsize=8704 CPUtime=0.02 cores=1,3 /proc/29076/stat : 29076 (glucose.sh) S 29073 29076 28537 0 -1 4202496 360 589 0 0 0 0 2 0 20 0 1 0 465835154 8912896 255 33554432000 4194304 4922060 140736144096992 18446744073709551615 212435836037 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/29076/statm: 2176 255 211 178 0 69 0 [pid=29091] ppid=29076 vsize=102192 CPUtime=282.27 cores=1,3 /proc/29091/stat : 29091 (glucose_static) R 29076 29076 28537 0 -1 4202496 34477 0 0 0 28222 5 0 0 25 0 1 0 465835157 104644608 20546 33554432000 4194304 4260849 140736016649376 18446744073709551615 4225146 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/29091/statm: 25548 20546 250 17 0 22189 0 Current children cumulated CPU time (s) 282.29 Current children cumulated vsize (KiB) 110896 [startup+342.301 s] /proc/loadavg: 3.99 3.64 3.37 6/194 29114 /proc/meminfo: memFree=12944092/32951124 swapFree=67111528/67111528 [pid=29076] ppid=29073 vsize=8704 CPUtime=0.02 cores=1,3 /proc/29076/stat : 29076 (glucose.sh) S 29073 29076 28537 0 -1 4202496 360 589 0 0 0 0 2 0 20 0 1 0 465835154 8912896 255 33554432000 4194304 4922060 140736144096992 18446744073709551615 212435836037 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/29076/statm: 2176 255 211 178 0 69 0 [pid=29091] ppid=29076 vsize=102192 CPUtime=342.26 cores=1,3 /proc/29091/stat : 29091 (glucose_static) R 29076 29076 28537 0 -1 4202496 34914 0 0 0 34221 5 0 0 25 0 1 0 465835157 104644608 20970 33554432000 4194304 4260849 140736016649376 18446744073709551615 4224674 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/29091/statm: 25548 20970 250 17 0 22189 0 Current children cumulated CPU time (s) 342.28 Current children cumulated vsize (KiB) 110896 [startup+402.3 s] /proc/loadavg: 4.07 3.72 3.42 6/194 29115 /proc/meminfo: memFree=12928532/32951124 swapFree=67111528/67111528 [pid=29076] ppid=29073 vsize=8704 CPUtime=0.02 cores=1,3 ################ # More data... # ################ /proc/29091/statm: 25753 22415 250 17 0 22394 0 Current children cumulated CPU time (s) 582.29 Current children cumulated vsize (KiB) 111716 [startup+642.301 s] /proc/loadavg: 4.00 3.86 3.54 6/194 29122 /proc/meminfo: memFree=12876640/32951124 swapFree=67111528/67111528 [pid=29076] ppid=29073 vsize=8704 CPUtime=0.02 cores=1,3 /proc/29076/stat : 29076 (glucose.sh) S 29073 29076 28537 0 -1 4202496 360 589 0 0 0 0 2 0 20 0 1 0 465835154 8912896 255 33554432000 4194304 4922060 140736144096992 18446744073709551615 212435836037 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/29076/statm: 2176 255 211 178 0 69 0 [pid=29091] ppid=29076 vsize=103012 CPUtime=642.28 cores=1,3 /proc/29091/stat : 29091 (glucose_static) R 29076 29076 28537 0 -1 4202496 67576 0 0 0 64218 10 0 0 25 0 1 0 465835157 105484288 22418 33554432000 4194304 4260849 140736016649376 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/29091/statm: 25753 22418 250 17 0 22394 0 Current children cumulated CPU time (s) 642.3 Current children cumulated vsize (KiB) 111716 [startup+702.301 s] /proc/loadavg: 4.08 3.92 3.58 6/194 29123 /proc/meminfo: memFree=12823048/32951124 swapFree=67111528/67111528 [pid=29076] ppid=29073 vsize=8704 CPUtime=0.02 cores=1,3 /proc/29076/stat : 29076 (glucose.sh) S 29073 29076 28537 0 -1 4202496 360 589 0 0 0 0 2 0 20 0 1 0 465835154 8912896 255 33554432000 4194304 4922060 140736144096992 18446744073709551615 212435836037 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/29076/statm: 2176 255 211 178 0 69 0 [pid=29091] ppid=29076 vsize=115752 CPUtime=702.27 cores=1,3 /proc/29091/stat : 29091 (glucose_static) R 29076 29076 28537 0 -1 4202496 95325 0 0 0 70212 15 0 0 25 0 1 0 465835157 118530048 25606 33554432000 4194304 4260849 140736016649376 18446744073709551615 4224665 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/29091/statm: 28938 25606 250 17 0 25579 0 Current children cumulated CPU time (s) 702.29 Current children cumulated vsize (KiB) 124456 [startup+762.307 s] /proc/loadavg: 4.03 3.93 3.60 5/194 29125 /proc/meminfo: memFree=12889612/32951124 swapFree=67111528/67111528 [pid=29076] ppid=29073 vsize=8704 CPUtime=0.02 cores=1,3 /proc/29076/stat : 29076 (glucose.sh) S 29073 29076 28537 0 -1 4202496 360 589 0 0 0 0 2 0 20 0 1 0 465835154 8912896 255 33554432000 4194304 4922060 140736144096992 18446744073709551615 212435836037 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/29076/statm: 2176 255 211 178 0 69 0 [pid=29091] ppid=29076 vsize=115752 CPUtime=762.28 cores=1,3 /proc/29091/stat : 29091 (glucose_static) R 29076 29076 28537 0 -1 4202496 112158 0 0 0 76210 18 0 0 25 0 1 0 465835157 118530048 25609 33554432000 4194304 4260849 140736016649376 18446744073709551615 4224647 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/29091/statm: 28938 25609 250 17 0 25579 0 Current children cumulated CPU time (s) 762.3 Current children cumulated vsize (KiB) 124456 [startup+822.301 s] /proc/loadavg: 4.01 3.94 3.62 5/194 29157 /proc/meminfo: memFree=12872996/32951124 swapFree=67111528/67111528 [pid=29076] ppid=29073 vsize=8704 CPUtime=0.02 cores=1,3 /proc/29076/stat : 29076 (glucose.sh) S 29073 29076 28537 0 -1 4202496 360 589 0 0 0 0 2 0 20 0 1 0 465835154 8912896 255 33554432000 4194304 4922060 140736144096992 18446744073709551615 212435836037 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/29076/statm: 2176 255 211 178 0 69 0 [pid=29091] ppid=29076 vsize=165072 CPUtime=822.28 cores=1,3 /proc/29091/stat : 29091 (glucose_static) R 29076 29076 28537 0 -1 4202496 137450 0 0 0 82206 22 0 0 25 0 1 0 465835157 169033728 33738 33554432000 4194304 4260849 140736016649376 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/29091/statm: 41268 33738 250 17 0 37909 0 Current children cumulated CPU time (s) 822.3 Current children cumulated vsize (KiB) 173776 [startup+882.301 s] /proc/loadavg: 4.00 3.95 3.64 6/194 29159 /proc/meminfo: memFree=12854952/32951124 swapFree=67111528/67111528 [pid=29076] ppid=29073 vsize=8704 CPUtime=0.02 cores=1,3 /proc/29076/stat : 29076 (glucose.sh) S 29073 29076 28537 0 -1 4202496 360 589 0 0 0 0 2 0 20 0 1 0 465835154 8912896 255 33554432000 4194304 4922060 140736144096992 18446744073709551615 212435836037 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/29076/statm: 2176 255 211 178 0 69 0 [pid=29091] ppid=29076 vsize=165072 CPUtime=882.28 cores=1,3 /proc/29091/stat : 29091 (glucose_static) R 29076 29076 28537 0 -1 4202496 155482 0 0 0 88203 25 0 0 25 0 1 0 465835157 169033728 34044 33554432000 4194304 4260849 140736016649376 18446744073709551615 4225149 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/29091/statm: 41268 34044 250 17 0 37909 0 Current children cumulated CPU time (s) 882.3 Current children cumulated vsize (KiB) 173776 Solver just ended. Dumping a history of the last processes samples [startup+895.9 s] /proc/loadavg: 4.00 3.95 3.65 5/194 29159 /proc/meminfo: memFree=12883940/32951124 swapFree=67111528/67111528 [pid=29076] ppid=29073 vsize=8704 CPUtime=0.02 cores=1,3 /proc/29076/stat : 29076 (glucose.sh) S 29073 29076 28537 0 -1 4202496 360 589 0 0 0 0 2 0 20 0 1 0 465835154 8912896 255 33554432000 4194304 4922060 140736144096992 18446744073709551615 212435836037 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/29076/statm: 2176 255 211 178 0 69 0 [pid=29091] ppid=29076 vsize=115752 CPUtime=895.87 cores=1,3 /proc/29091/stat : 29091 (glucose_static) R 29076 29076 28537 0 -1 4202496 156016 0 0 0 89562 25 0 0 25 0 1 0 465835157 118530048 25616 33554432000 4194304 4260849 140736016649376 18446744073709551615 4225082 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/29091/statm: 28938 25616 250 17 0 25579 0 Current children cumulated CPU time (s) 895.89 Current children cumulated vsize (KiB) 124456 [startup+921.5 s] /proc/loadavg: 4.00 3.95 3.66 6/194 29160 /proc/meminfo: memFree=12914428/32951124 swapFree=67111528/67111528 [pid=29076] ppid=29073 vsize=8704 CPUtime=0.02 cores=1,3 /proc/29076/stat : 29076 (glucose.sh) S 29073 29076 28537 0 -1 4202496 360 589 0 0 0 0 2 0 20 0 1 0 465835154 8912896 255 33554432000 4194304 4922060 140736144096992 18446744073709551615 212435836037 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/29076/statm: 2176 255 211 178 0 69 0 [pid=29091] ppid=29076 vsize=115752 CPUtime=921.48 cores=1,3 /proc/29091/stat : 29091 (glucose_static) R 29076 29076 28537 0 -1 4202496 165155 0 0 0 92121 27 0 0 25 0 1 0 465835157 118530048 25626 33554432000 4194304 4260849 140736016649376 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/29091/statm: 28938 25626 250 17 0 25579 0 Current children cumulated CPU time (s) 921.5 Current children cumulated vsize (KiB) 124456 [startup+934.301 s] /proc/loadavg: 4.00 3.95 3.66 6/194 29160 /proc/meminfo: memFree=12849080/32951124 swapFree=67111528/67111528 [pid=29076] ppid=29073 vsize=8704 CPUtime=0.02 cores=1,3 /proc/29076/stat : 29076 (glucose.sh) S 29073 29076 28537 0 -1 4202496 360 589 0 0 0 0 2 0 20 0 1 0 465835154 8912896 255 33554432000 4194304 4922060 140736144096992 18446744073709551615 212435836037 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/29076/statm: 2176 255 211 178 0 69 0 [pid=29091] ppid=29076 vsize=165072 CPUtime=934.28 cores=1,3 /proc/29091/stat : 29091 (glucose_static) R 29076 29076 28537 0 -1 4202496 172768 0 0 0 93400 28 0 0 25 0 1 0 465835157 169033728 33237 33554432000 4194304 4260849 140736016649376 18446744073709551615 4224682 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/29091/statm: 41268 33237 250 17 0 37909 0 Current children cumulated CPU time (s) 934.3 Current children cumulated vsize (KiB) 173776 [startup+937.5 s] /proc/loadavg: 4.00 3.95 3.66 5/194 29160 /proc/meminfo: memFree=12813864/32951124 swapFree=67111528/67111528 [pid=29076] ppid=29073 vsize=8704 CPUtime=0.02 cores=1,3 /proc/29076/stat : 29076 (glucose.sh) S 29073 29076 28537 0 -1 4202496 360 589 0 0 0 0 2 0 20 0 1 0 465835154 8912896 255 33554432000 4194304 4922060 140736144096992 18446744073709551615 212435836037 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/29076/statm: 2176 255 211 178 0 69 0 [pid=29091] ppid=29076 vsize=165072 CPUtime=937.48 cores=1,3 /proc/29091/stat : 29091 (glucose_static) R 29076 29076 28537 0 -1 4202496 173305 0 0 0 93720 28 0 0 25 0 1 0 465835157 169033728 33753 33554432000 4194304 4260849 140736016649376 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/29091/statm: 41268 33753 250 17 0 37909 0 Current children cumulated CPU time (s) 937.5 Current children cumulated vsize (KiB) 173776 [startup+939.101 s] /proc/loadavg: 4.00 3.95 3.66 6/194 29160 /proc/meminfo: memFree=12812128/32951124 swapFree=67111528/67111528 [pid=29076] ppid=29073 vsize=8704 CPUtime=0.02 cores=1,3 /proc/29076/stat : 29076 (glucose.sh) S 29073 29076 28537 0 -1 4202496 360 589 0 0 0 0 2 0 20 0 1 0 465835154 8912896 255 33554432000 4194304 4922060 140736144096992 18446744073709551615 212435836037 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/29076/statm: 2176 255 211 178 0 69 0 [pid=29091] ppid=29076 vsize=165072 CPUtime=939.08 cores=1,3 /proc/29091/stat : 29091 (glucose_static) R 29076 29076 28537 0 -1 4202496 173508 0 0 0 93880 28 0 0 25 0 1 0 465835157 169033728 33953 33554432000 4194304 4260849 140736016649376 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/29091/statm: 41268 33953 250 17 0 37909 0 Current children cumulated CPU time (s) 939.1 Current children cumulated vsize (KiB) 173776 [startup+940.701 s] /proc/loadavg: 4.00 3.95 3.66 6/194 29161 /proc/meminfo: memFree=12845856/32951124 swapFree=67111528/67111528 [pid=29076] ppid=29073 vsize=8704 CPUtime=0.02 cores=1,3 /proc/29076/stat : 29076 (glucose.sh) S 29073 29076 28537 0 -1 4202496 360 589 0 0 0 0 2 0 20 0 1 0 465835154 8912896 255 33554432000 4194304 4922060 140736144096992 18446744073709551615 212435836037 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/29076/statm: 2176 255 211 178 0 69 0 [pid=29091] ppid=29076 vsize=165072 CPUtime=940.68 cores=1,3 /proc/29091/stat : 29091 (glucose_static) R 29076 29076 28537 0 -1 4202496 173718 0 0 0 94040 28 0 0 25 0 1 0 465835157 169033728 34158 33554432000 4194304 4260849 140736016649376 18446744073709551615 4224885 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/29091/statm: 41268 34158 250 17 0 37909 0 Current children cumulated CPU time (s) 940.7 Current children cumulated vsize (KiB) 173776 [startup+941.101 s] /proc/loadavg: 4.00 3.95 3.66 6/194 29161 /proc/meminfo: memFree=12845856/32951124 swapFree=67111528/67111528 [pid=29076] ppid=29073 vsize=8704 CPUtime=0.02 cores=1,3 /proc/29076/stat : 29076 (glucose.sh) S 29073 29076 28537 0 -1 4202496 360 589 0 0 0 0 2 0 20 0 1 0 465835154 8912896 255 33554432000 4194304 4922060 140736144096992 18446744073709551615 212435836037 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/29076/statm: 2176 255 211 178 0 69 0 [pid=29091] ppid=29076 vsize=165072 CPUtime=941.08 cores=1,3 /proc/29091/stat : 29091 (glucose_static) R 29076 29076 28537 0 -1 4202496 173796 0 0 0 94079 29 0 0 25 0 1 0 465835157 169033728 34235 33554432000 4194304 4260849 140736016649376 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/29091/statm: 41268 34235 250 17 0 37909 0 Current children cumulated CPU time (s) 941.1 Current children cumulated vsize (KiB) 173776 [startup+941.301 s] /proc/loadavg: 4.00 3.95 3.66 6/194 29161 /proc/meminfo: memFree=12845856/32951124 swapFree=67111528/67111528 [pid=29076] ppid=29073 vsize=8704 CPUtime=0.02 cores=1,3 /proc/29076/stat : 29076 (glucose.sh) S 29073 29076 28537 0 -1 4202496 360 589 0 0 0 0 2 0 20 0 1 0 465835154 8912896 255 33554432000 4194304 4922060 140736144096992 18446744073709551615 212435836037 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/29076/statm: 2176 255 211 178 0 69 0 [pid=29091] ppid=29076 vsize=165072 CPUtime=941.28 cores=1,3 /proc/29091/stat : 29091 (glucose_static) R 29076 29076 28537 0 -1 4202496 173830 0 0 0 94099 29 0 0 25 0 1 0 465835157 169033728 34269 33554432000 4194304 4260849 140736016649376 18446744073709551615 4238067 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/29091/statm: 41268 34269 250 17 0 37909 0 Current children cumulated CPU time (s) 941.3 Current children cumulated vsize (KiB) 173776 [startup+941.401 s] /proc/loadavg: 4.00 3.95 3.66 6/194 29161 /proc/meminfo: memFree=12845856/32951124 swapFree=67111528/67111528 [pid=29076] ppid=29073 vsize=8704 CPUtime=941.4 cores=1,3 /proc/29076/stat : 29076 (glucose.sh) S 29073 29076 28537 0 -1 4202496 413 174571 0 0 0 0 94111 29 18 0 1 0 465835154 8912896 257 33554432000 4194304 4922060 140736144096992 18446744073709551615 212435836037 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0 /proc/29076/statm: 2176 257 213 178 0 69 0 Current children cumulated CPU time (s) 941.4 Current children cumulated vsize (KiB) 8704 Child status: 10 Real time (s): 941.401 CPU time (s): 941.417 CPU user time (s): 941.118 CPU system time (s): 0.298954 CPU usage (%): 100.002 Max. virtual memory (cumulated for all children) (KiB): 173776 getrusage(RUSAGE_CHILDREN,...) data: user time used= 941.118 system time used= 0.298954 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 175169 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= 42 involuntary context switches= 2070 runsolver used 1.44378 second user time and 3.74643 second system time The end
Begin job on node102 at 2011-04-23 09:05:28 IDJOB=3262352 IDBENCH=83293 IDSOLVER=1651 FILE ID=node102/3262352-1303542328 RUNJOBID= node102-1303542328-29055 PBS_JOBID= 13143136 Free space on /tmp= 71004 MiB SOLVER NAME= glucose 2 BENCH NAME= SAT11/crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/VanDerWaerden_pd_2-3-22_443.cnf COMMAND LINE= glucose.sh BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3262352-1303542328/watcher-3262352-1303542328 -o /tmp/evaluation-result-3262352-1303542328/solver-3262352-1303542328 -C 2400 -W 1300 -M 7680 glucose.sh HOME/instance-3262352-1303542328.cnf TIME LIMIT= 2400 seconds MEMORY LIMIT= 7680 MiB NBCORE= 2 MD5SUM BENCH= 91ac0151536835225f21cbe5a3574a2d 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: 13293864 kB Buffers: 1834236 kB Cached: 17202644 kB SwapCached: 0 kB Active: 9637232 kB Inactive: 9464864 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 13293864 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 3208 kB Writeback: 0 kB AnonPages: 64812 kB Mapped: 14492 kB Slab: 492440 kB PageTables: 5500 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 193936 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:21:10