| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| glucose 2 | ? (TO) | 1300.04 | 1300.01 |
| Name | SAT02/industrial/goldberg/rand_net/ rand_net70-60-10.shuffled.cnf |
| MD5SUM | 6ebe2de27b5534e626cb88c01abcf6c6 |
| Bench Category | APPLICATION (applications instances) |
| Best result obtained on this benchmark | UNSAT |
| Best CPU time to get the best result obtained on this benchmark | 0.028995 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 8400 |
| Number of clauses | 25061 |
| Sum of the clauses size | 58730 |
| Maximum clause length | 70 |
| Minimum clause length | 2 |
| Number of clauses of size 1 | 0 |
| Number of clauses of size 2 | 16520 |
| Number of clauses of size 3 | 8540 |
| Number of clauses of size 4 | 0 |
| Number of clauses of size 5 | 0 |
| Number of clauses of size over 5 | 1 |
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 | 25061 58730 | 7518 0 0 nan | 0.000 % | 0.00/0.06 c | 0 | 19058 51527 | -- 0 -- -- | -- | -6003/-7203 0.00/0.06 c ============================================================================== 0.00/0.06 c Result : #vars: 5192 #clauses: 19058 #literals: 51527 0.00/0.06 c CPU time: 0.06299 s 0.00/0.06 c ============================================================================== 0.00/0.07 c 0.00/0.07 c Starting glucose 0.00/0.07 c 14.19/14.25 c This is glucose 2.0 -- based on MiniSAT (Many thanks to MiniSAT team) 14.19/14.25 c WARNING: for repeatability, setting FPU to use double precision 14.19/14.25 c ============================[ Problem Statistics ]============================= 14.19/14.25 c | | 14.19/14.25 c | Number of variables: 5192 | 14.19/14.25 c | Number of clauses: 19058 | 14.19/14.25 c | Parse time: 0.01 s | 14.19/14.25 c | | 14.19/14.25 c ============================[ Search Statistics ]============================== 14.19/14.25 c | Conflicts | ORIGINAL | LEARNT | Progress | 14.19/14.25 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | | 14.19/14.25 c =============================================================================== 14.19/14.25 c | 243 | 5192 19058 51527 | 1 243 35 | 0.000 % | 14.19/14.25 c | 350 | 5192 19058 51527 | 1 350 39 | 0.000 % | 14.19/14.25 c | 632 | 5192 19058 51527 | 1 632 42 | 0.000 % | 14.19/14.25 c | 745 | 5192 19058 51527 | 1 745 41 | 0.000 % | 14.19/14.25 c | 962 | 5192 19058 51527 | 1 962 41 | 0.000 % | 14.19/14.25 c | 1072 | 5192 19058 51527 | 1 1072 42 | 0.000 % | 14.19/14.25 c | 1371 | 5192 19058 51527 | 1 1371 46 | 0.000 % | 14.19/14.25 c | 5922 | 5192 19058 51527 | 1 3927 47 | 0.000 % | 14.19/14.25 c | 10840 | 5192 19058 51527 | 1 4560 38 | 0.000 % | 14.19/14.25 c | 12743 | 5192 19058 51527 | 1 6463 36 | 0.000 % | 14.19/14.25 c | 12844 | 5192 19058 51527 | 1 6564 36 | 0.000 % | 14.19/14.25 c | 15742 | 5192 19058 51527 | 1 9462 39 | 0.000 % | 14.19/14.25 c | 23580 | 5192 19058 51527 | 1 10546 28 | 0.000 % | 14.19/14.25 c | 27767 | 5192 19058 51527 | 1 14733 33 | 0.000 % | 14.19/14.25 c | 28242 | 5192 19058 51527 | 1 15208 35 | 0.000 % | 14.19/14.25 c | 29101 | 5192 19058 51527 | 1 16067 37 | 0.000 % | 14.19/14.25 c | 29361 | 5192 19058 51527 | 1 16327 38 | 0.000 % | 14.19/14.25 c | 29872 | 5192 19058 51527 | 1 16838 38 | 0.000 % | 14.19/14.25 c | 31747 | 5192 19058 51527 | 1 9450 24 | 0.000 % | 14.19/14.25 c | 37883 | 5192 19058 51527 | 1 15586 33 | 0.000 % | 14.19/14.25 c | 48796 | 5192 19058 51527 | 1 14665 34 | 0.000 % | 14.19/14.25 c | 48932 | 5192 19058 51527 | 1 14801 35 | 0.000 % | 14.19/14.25 c | 49033 | 5192 19058 51527 | 1 14902 35 | 0.000 % | 14.19/14.25 c | 49137 | 5192 19058 51527 | 1 15006 35 | 0.000 % | 14.19/14.25 c | 49460 | 5192 19058 51527 | 1 15329 36 | 0.000 % | 14.19/14.25 c | 49560 | 5192 19058 51527 | 1 15429 36 | 0.000 % | 14.19/14.25 c | 74020 | 5192 19058 51527 | 1 25463 34 | 0.000 % | 14.19/14.25 c | 77022 | 5192 19058 51527 | 1 28465 35 | 0.000 % | 14.19/14.25 c | 77149 | 5192 19058 51527 | 1 28592 35 | 0.000 % | 14.19/14.25 c | 77497 | 5192 19058 51527 | 1 28940 35 | 0.000 % | 14.19/14.25 c | 80642 | 5192 19058 51527 | 1 32085 37 | 0.000 % | 14.19/14.25 c | 80742 | 5192 19058 51527 | 1 32185 37 | 0.000 % | 14.19/14.25 c | 81071 | 5192 19058 51527 | 1 32514 38 | 0.000 % | 14.19/14.25 c | 82603 | 5192 19058 51527 | 1 17035 23 | 0.000 % | 14.19/14.25 c | 83340 | 5192 19058 51527 | 1 17772 26 | 0.000 % | 14.19/14.25 c | 87389 | 5192 19058 51527 | 1 21821 29 | 0.000 % | 14.19/14.25 c | 100112 | 5192 19058 51527 | 1 34544 34 | 0.000 % | 14.19/14.25 c | 100247 | 5192 19058 51527 | 1 34679 34 | 0.000 % | 14.19/14.25 c | 103935 | 5192 19058 51527 | 1 38367 38 | 0.000 % | 45.59/45.61 c | 104035 | 5192 19058 51527 | 1 38467 38 | 0.000 % | 45.59/45.61 c | 104583 | 5192 19058 51527 | 1 39015 38 | 0.000 % | 45.59/45.61 c | 105032 | 5192 19058 51527 | 1 19857 23 | 0.000 % | 45.59/45.61 c | 122305 | 5192 19058 51527 | 1 37130 54 | 0.000 % | 45.59/45.61 c | 122405 | 5192 19058 51527 | 1 37230 54 | 0.000 % | 45.59/45.61 c | 122505 | 5192 19058 51527 | 1 37330 54 | 0.000 % | 45.59/45.61 c | 128871 | 5192 19058 51527 | 1 43696 55 | 0.000 % | 45.59/45.61 c | 131507 | 5192 19058 51527 | 1 24141 38 | 0.000 % | 45.59/45.61 c | 131960 | 5192 19058 51527 | 1 24594 39 | 0.000 % | 45.59/45.61 c | 162033 | 5192 19058 51527 | 1 29864 26 | 0.000 % | 45.59/45.61 c | 166932 | 5192 19058 51527 | 1 34763 28 | 0.000 % | 45.59/45.61 c | 167677 | 5192 19058 51527 | 1 35508 29 | 0.000 % | 45.59/45.61 c | 168497 | 5192 19058 51527 | 1 36328 29 | 0.000 % | 45.59/45.61 c | 169262 | 5192 19058 51527 | 1 37093 29 | 0.000 % | 45.59/45.61 c | 173231 | 5192 19058 51527 | 1 41062 31 | 0.000 % | 45.59/45.61 c | 173334 | 5192 19058 51527 | 1 41165 31 | 0.000 % | 45.59/45.61 c | 174548 | 5192 19058 51527 | 1 42379 32 | 0.000 % | 45.59/45.61 c | 190832 | 5192 19058 51527 | 1 31276 28 | 0.000 % | 45.59/45.61 c | 191168 | 5192 19058 51527 | 1 31612 29 | 0.000 % | 45.59/45.61 c | 191268 | 5192 19058 51527 | 1 31712 29 | 0.000 % | 45.59/45.61 c | 191431 | 5192 19058 51527 | 1 31875 29 | 0.000 % | 45.59/45.61 c | 192806 | 5192 19058 51527 | 1 33250 30 | 0.000 % | 45.59/45.61 c | 195964 | 5192 19058 51527 | 1 36408 35 | 0.000 % | 45.59/45.61 c | 196064 | 5192 19058 51527 | 1 36508 35 | 0.000 % | 45.59/45.61 c | 207006 | 5192 19058 51527 | 1 47450 40 | 0.000 % | 45.59/45.61 c | 207726 | 5192 19058 51527 | 1 48170 40 | 0.000 % | 45.59/45.61 c | 207831 | 5192 19058 51527 | 1 48275 40 | 0.000 % | 45.59/45.61 c | 209393 | 5192 19058 51527 | 1 49837 40 | 0.000 % | 45.59/45.61 c | 210886 | 5192 19058 51527 | 1 51330 41 | 0.000 % | 45.59/45.61 c | 211158 | 5192 19058 51527 | 1 51602 41 | 0.000 % | 45.59/45.61 c | 211552 | 5192 19058 51527 | 1 51996 41 | 0.000 % | 45.59/45.61 c | 211712 | 5192 19058 51527 | 1 52156 41 | 0.000 % | 45.59/45.61 c | 212924 | 5192 19058 51527 | 1 53368 41 | 0.000 % | 45.59/45.61 c | 217433 | 5192 19058 51527 | 1 57877 42 | 0.000 % | 45.59/45.61 c | 217533 | 5192 19058 51527 | 1 57977 42 | 0.000 % | 45.59/45.61 c | 219788 | 5192 19058 51527 | 1 30250 25 | 0.000 % | 45.59/45.61 c | 220280 | 5192 19058 51527 | 1 30742 26 | 0.000 % | 45.59/45.61 c | 247047 | 5192 19058 51527 | 1 57509 35 | 0.000 % | 45.59/45.61 c | 247147 | 5192 19058 51527 | 1 57609 35 | 0.000 % | 45.59/45.61 c | 249476 | 5192 19058 51527 | 1 59938 35 | 0.000 % | 45.59/45.61 c | 258572 | 5192 19058 51527 | 1 36414 28 | 0.000 % | 45.59/45.61 c | 266733 | 5192 19058 51527 | 1 44575 42 | 0.000 % | 45.59/45.61 c | 267755 | 5192 19058 51527 | 1 45597 42 | 0.000 % | 45.59/45.61 c | 268447 | 5192 19058 51527 | 1 46289 42 | 0.000 % | 45.59/45.61 c | 272980 | 5192 19058 51527 | 1 50822 42 | 0.000 % | 45.59/45.61 c | 273298 | 5192 19058 51527 | 1 51140 42 | 0.000 % | 45.59/45.61 c | 274951 | 5192 19058 51527 | 1 52793 42 | 0.000 % | 45.59/45.61 c | 275354 | 5192 19058 51527 | 1 53196 42 | 0.000 % | 45.59/45.61 c | 278449 | 5192 19058 51527 | 1 56291 42 | 0.000 % | 45.59/45.61 c | 278567 | 5192 19058 51527 | 1 56409 42 | 0.000 % | 86.28/86.34 c | 294141 | 5192 19058 51527 | 1 36781 31 | 0.000 % | 86.28/86.34 c | 295310 | 5192 19058 51527 | 1 37950 32 | 0.000 % | 86.28/86.34 c | 319750 | 5192 19058 51527 | 1 62390 40 | 0.000 % | 86.28/86.34 c | 320290 | 5192 19058 51527 | 1 62930 40 | 0.000 % | 86.28/86.34 c | 320663 | 5192 19058 51527 | 1 63303 40 | 0.000 % | 86.28/86.34 c | 320766 | 5192 19058 51527 | 1 63406 40 | 0.000 % | 86.28/86.34 c | 320867 | 5192 19058 51527 | 1 63507 40 | 0.000 % | 86.28/86.34 c | 345207 | 5192 19058 51527 | 1 50051 29 | 0.000 % | 86.28/86.34 c | 357205 | 5192 19058 51527 | 1 62049 36 | 0.000 % | 86.28/86.34 c | 360875 | 5192 19058 51527 | 1 65719 37 | 0.000 % | 86.28/86.34 c | 362022 | 5192 19058 51527 | 1 66866 37 | 0.000 % | 86.28/86.34 c | 362125 | 5192 19058 51527 | 1 66969 37 | 0.000 % | 86.28/86.34 c | 396979 | 5192 19058 51527 | 1 61421 28 | 0.000 % | 86.28/86.34 c | 397081 | 5192 19058 51527 | 1 61523 28 | 0.000 % | 86.28/86.34 c | 397268 | 5192 19058 51527 | 1 61710 28 | 0.000 % | 86.28/86.34 c | 404053 | 5192 19058 51527 | 1 68495 32 | 0.000 % | 86.28/86.34 c | 406491 | 5192 19058 51527 | 1 70933 34 | 0.000 % | 86.28/86.34 c | 406592 | 5192 19058 51527 | 1 71034 34 | 0.000 % | 86.28/86.34 c | 414497 | 5192 19058 51527 | 1 78939 36 | 0.000 % | 86.28/86.34 c | 419703 | 5192 19058 51527 | 1 84145 37 | 0.000 % | 86.28/86.34 c | 426891 | 5192 19058 51527 | 1 48334 29 | 0.000 % | 86.28/86.34 c | 427849 | 5192 19058 51527 | 1 49292 29 | 0.000 % | 86.28/86.34 c | 427949 | 5192 19058 51527 | 1 49392 30 | 0.000 % | 86.28/86.34 c | 428285 | 5192 19058 51527 | 1 49728 30 | 0.000 % | 86.28/86.34 c | 428948 | 5192 19058 51527 | 1 50391 30 | 0.000 % | 86.28/86.34 c | 429048 | 5192 19058 51527 | 1 50491 30 | 0.000 % | 86.28/86.34 c | 429570 | 5192 19058 51527 | 1 51013 31 | 0.000 % | 86.28/86.34 c | 432882 | 5192 19058 51527 | 1 54325 33 | 0.000 % | 86.28/86.34 c | 433110 | 5192 19058 51527 | 1 54553 33 | 0.000 % | 86.28/86.34 c | 439728 | 5192 19058 51527 | 1 61171 35 | 0.000 % | 86.28/86.34 c | 440535 | 5192 19058 51527 | 1 61978 36 | 0.000 % | 86.28/86.34 c | 440781 | 5192 19058 51527 | 1 62224 36 | 0.000 % | 86.28/86.34 c | 442535 | 5192 19058 51527 | 1 63978 36 | 0.000 % | 86.28/86.34 c | 455123 | 5192 19058 51527 | 1 76566 40 | 0.000 % | 86.28/86.34 c | 455223 | 5192 19058 51527 | 1 76666 40 | 0.000 % | 86.28/86.34 c | 455363 | 5192 19058 51527 | 1 76806 40 | 0.000 % | 86.28/86.34 c | 459986 | 5192 19058 51527 | 1 81429 41 | 0.000 % | 86.28/86.34 c | 460112 | 5192 19058 51527 | 1 81555 41 | 0.000 % | 86.28/86.34 c | 461462 | 5192 19058 51527 | 1 82905 42 | 0.000 % | 86.28/86.34 c | 461611 | 5192 19058 51527 | 1 83054 42 | 0.000 % | 86.28/86.34 c | 478189 | 5192 19058 51527 | 1 54031 34 | 0.000 % | 86.28/86.34 c | 478820 | 5192 19058 51527 | 1 54662 34 | 0.000 % | 86.28/86.34 c | 478921 | 5192 19058 51527 | 1 54763 34 | 0.000 % | 86.28/86.34 c | 480552 | 5192 19058 51527 | 1 56394 36 | 0.000 % | 86.28/86.34 c | 480654 | 5192 19058 51527 | 1 56496 36 | 0.000 % | 86.28/86.34 c | 481500 | 5192 19058 51527 | 1 57342 37 | 0.000 % | 86.28/86.34 c | 481601 | 5192 19058 51527 | 1 57443 37 | 0.000 % | 86.28/86.34 c | 481701 | 5192 19058 51527 | 1 57543 37 | 0.000 % | 86.28/86.34 c | 481801 | 5192 19058 51527 | 1 57643 37 | 0.000 % | 86.28/86.34 c | 482399 | 5192 19058 51527 | 1 58241 37 | 0.000 % | 118.99/119.04 c | 485422 | 5192 19058 51527 | 1 61264 39 | 0.000 % | 118.99/119.04 c | 485546 | 5192 19058 51527 | 1 61388 39 | 0.000 % | 118.99/119.04 c | 491607 | 5192 19058 51527 | 1 67449 39 | 0.000 % | 118.99/119.04 c | 509581 | 5192 19058 51527 | 1 85423 43 | 0.000 % | 118.99/119.04 c | 510571 | 5192 19058 51527 | 1 86413 43 | 0.000 % | 118.99/119.04 c | 510672 | 5192 19058 51527 | 1 86514 43 | 0.000 % | 118.99/119.04 c | 510775 | 5192 19058 51527 | 1 86617 43 | 0.000 % | 118.99/119.04 c | 515543 | 5192 19058 51527 | 1 91385 45 | 0.000 % | 118.99/119.04 c | 523162 | 5192 19058 51527 | 1 50799 29 | 0.000 % | 118.99/119.04 c | 533394 | 5192 19058 51527 | 1 61031 32 | 0.000 % | 118.99/119.04 c | 534192 | 5192 19058 51527 | 1 61829 32 | 0.000 % | 118.99/119.04 c | 534412 | 5192 19058 51527 | 1 62049 33 | 0.000 % | 118.99/119.04 c | 534646 | 5192 19058 51527 | 1 62283 33 | 0.000 % | 118.99/119.04 c | 534748 | 5192 19058 51527 | 1 62385 33 | 0.000 % | 118.99/119.04 c | 539727 | 5192 19058 51527 | 1 67364 36 | 0.000 % | 118.99/119.04 c | 539827 | 5192 19058 51527 | 1 67464 36 | 0.000 % | 118.99/119.04 c | 539961 | 5192 19058 51527 | 1 67598 36 | 0.000 % | 118.99/119.04 c | 540102 | 5192 19058 51527 | 1 67739 36 | 0.000 % | 118.99/119.04 c | 541202 | 5192 19058 51527 | 1 68839 36 | 0.000 % | 118.99/119.04 c | 561346 | 5192 19058 51527 | 1 88983 41 | 0.000 % | 118.99/119.04 c | 563798 | 5192 19058 51527 | 1 91435 41 | 0.000 % | 118.99/119.04 c | 564563 | 5192 19058 51527 | 1 92200 42 | 0.000 % | 118.99/119.04 c | 564846 | 5192 19058 51527 | 1 92483 42 | 0.000 % | 118.99/119.04 c | 589285 | 5192 19058 51527 | 1 66107 28 | 0.000 % | 118.99/119.04 c | 593170 | 5192 19058 51527 | 1 69992 30 | 0.000 % | 118.99/119.04 c | 593270 | 5192 19058 51527 | 1 70092 30 | 0.000 % | 118.99/119.04 c | 596989 | 5192 19058 51527 | 1 73811 31 | 0.000 % | 118.99/119.04 c | 597091 | 5192 19058 51527 | 1 73913 31 | 0.000 % | 118.99/119.04 c | 600303 | 5192 19058 51527 | 1 77125 33 | 0.000 % | 118.99/119.04 c | 600403 | 5192 19058 51527 | 1 77225 33 | 0.000 % | 118.99/119.04 c | 603659 | 5192 19058 51527 | 1 80481 35 | 0.000 % | 118.99/119.04 c | 603759 | 5192 19058 51527 | 1 80581 35 | 0.000 % | 118.99/119.04 c | 603861 | 5192 19058 51527 | 1 80683 35 | 0.000 % | 118.99/119.04 c | 617808 | 5192 19058 51527 | 1 94630 37 | 0.000 % | 118.99/119.04 c | 618845 | 5192 19058 51527 | 1 95667 38 | 0.000 % | 118.99/119.04 c | 619571 | 5192 19058 51527 | 1 96393 38 | 0.000 % | 118.99/119.04 c | 619939 | 5192 19058 51527 | 1 96761 38 | 0.000 % | 118.99/119.04 c | 620528 | 5192 19058 51527 | 1 97350 38 | 0.000 % | 118.99/119.04 c | 621076 | 5192 19058 51527 | 1 97898 38 | 0.000 % | 118.99/119.04 c | 621354 | 5192 19058 51527 | 1 98176 38 | 0.000 % | 118.99/119.04 c | 621648 | 5192 19058 51527 | 1 98470 38 | 0.000 % | 118.99/119.04 c | 622871 | 5192 19058 51527 | 1 99693 38 | 0.000 % | 118.99/119.04 c | 622971 | 5192 19058 51527 | 1 99793 38 | 0.000 % | 118.99/119.04 c | 623486 | 5192 19058 51527 | 1 100308 39 | 0.000 % | 118.99/119.04 c | 623587 | 5192 19058 51527 | 1 100409 39 | 0.000 % | 118.99/119.04 c | 623688 | 5192 19058 51527 | 1 100510 39 | 0.000 % | 118.99/119.04 c | 624820 | 5192 19058 51527 | 1 101642 39 | 0.000 % | 118.99/119.04 c | 625267 | 5192 19058 51527 | 1 102089 39 | 0.000 % | 118.99/119.04 c | 626211 | 5192 19058 51527 | 1 103033 39 | 0.000 % | 118.99/119.04 c | 627661 | 5192 19058 51527 | 1 104483 40 | 0.000 % | 137.29/137.32 c | 627761 | 5192 19058 51527 | 1 104583 40 | 0.000 % | 137.29/137.32 c | 627862 | 5192 19058 51527 | 1 104684 40 | 0.000 % | 137.29/137.32 c | 627964 | 5192 19058 51527 | 1 104786 40 | 0.000 % | 137.29/137.32 c | 636766 | 5192 19058 51527 | 1 60205 30 | 0.000 % | 137.29/137.32 c | 639508 | 5192 19058 51527 | 1 62947 30 | 0.000 % | 137.29/137.32 c | 643434 | 5192 19058 51527 | 1 66873 31 | 0.000 % | 137.29/137.32 c | 647514 | 5192 19058 51527 | 1 70953 33 | 0.000 % | 137.29/137.32 c | 647879 | 5192 19058 51527 | 1 71318 33 | 0.000 % | 137.29/137.32 c | 649863 | 5192 19058 51527 | 1 73302 34 | 0.000 % | 137.29/137.32 c | 649964 | 5192 19058 51527 | 1 73403 35 | 0.000 % | 137.29/137.32 c | 652887 | 5192 19058 51527 | 1 76326 36 | 0.000 % | 137.29/137.32 c | 654773 | 5192 19058 51527 | 1 78212 37 | 0.000 % | 137.29/137.32 c | 655571 | 5192 19058 51527 | 1 79010 37 | 0.000 % | 137.29/137.32 c | 655673 | 5192 19058 51527 | 1 79112 37 | 0.000 % | 137.29/137.32 c | 658345 | 5192 19058 51527 | 1 81784 38 | 0.000 % | 137.29/137.32 c | 658447 | 5192 19058 51527 | 1 81886 38 | 0.000 % | 137.29/137.32 c | 659772 | 5192 19058 51527 | 1 83211 39 | 0.000 % | 137.29/137.32 c | 661631 | 5192 19058 51527 | 1 85070 40 | 0.000 % | 137.29/137.32 c | 664850 | 5192 19058 51527 | 1 88289 41 | 0.000 % | 137.29/137.32 c | 665135 | 5192 19058 51527 | 1 88574 41 | 0.000 % | 137.29/137.32 c | 665488 | 5192 19058 51527 | 1 88927 41 | 0.000 % | 137.29/137.32 c | 669975 | 5192 19058 51527 | 1 93414 41 | 0.000 % | 137.29/137.32 c | 670311 | 5192 19058 51527 | 1 93750 41 | 0.000 % | 137.29/137.32 c | 670414 | 5192 19058 51527 | 1 93853 41 | 0.000 % | 137.29/137.32 c | 671639 | 5192 19058 51527 | 1 95078 41 | 0.000 % | 137.29/137.32 c | 671740 | 5192 19058 51527 | 1 95179 41 | 0.000 % | 137.29/137.32 c | 671840 | 5192 19058 51527 | 1 95279 41 | 0.000 % | 137.29/137.32 c | 673291 | 5192 19058 51527 | 1 96730 42 | 0.000 % | 137.29/137.32 c | 681034 | 5192 19058 51527 | 1 104473 44 | 0.000 % | 137.29/137.32 c | 681136 | 5192 19058 51527 | 1 104575 44 | 0.000 % | 137.29/137.32 c | 681314 | 5192 19058 51527 | 1 104753 44 | 0.000 % | 137.29/137.32 c | 681593 | 5192 19058 51527 | 1 105032 44 | 0.000 % | 137.29/137.32 c | 681718 | 5192 19058 51527 | 1 105157 44 | 0.000 % | 137.29/137.32 c | 682328 | 5192 19058 51527 | 1 105767 44 | 0.000 % | 137.29/137.32 c | 683571 | 5192 19058 51527 | 1 107010 44 | 0.000 % | 137.29/137.32 c | 684592 | 5192 19058 51527 | 1 108031 44 | 0.000 % | 137.29/137.32 c | 685359 | 5192 19058 51527 | 1 108798 44 | 0.000 % | 137.29/137.32 c | 686179 | 5192 19058 51527 | 1 109618 44 | 0.000 % | 137.29/137.32 c | 688547 | 5192 19058 51527 | 1 111986 44 | 0.000 % | 137.29/137.32 c | 688722 | 5192 19058 51527 | 1 56155 26 | 0.000 % | 137.29/137.32 c | 688822 | 5192 19058 51527 | 1 56255 26 | 0.000 % | 137.29/137.32 c | 690463 | 5192 19058 51527 | 1 57896 27 | 0.000 % | 137.29/137.32 c | 690564 | 5192 19058 51527 | 1 57997 27 | 0.000 % | 137.29/137.32 c | 698607 | 5192 19058 51527 | 1 66040 33 | 0.000 % | 137.29/137.32 c | 699266 | 5192 19058 51527 | 1 66699 33 | 0.000 % | 137.29/137.32 c | 699366 | 5192 19058 51527 | 1 66799 33 | 0.000 % | 137.29/137.32 c | 699581 | 5192 19058 51527 | 1 67014 33 | 0.000 % | 137.29/137.32 c | 699842 | 5192 19058 51527 | 1 67275 33 | 0.000 % | 137.29/137.32 c | 700187 | 5192 19058 51527 | 1 67620 33 | 0.000 % | 137.29/137.32 c | 700289 | 5192 19058 51527 | 1 67722 33 | 0.000 % | 146.69/146.74 c | 700727 | 5192 19058 51527 | 1 68160 33 | 0.000 % | 146.69/146.74 c | 700830 | 5192 19058 51527 | 1 68263 33 | 0.000 % | 146.69/146.74 c | 702488 | 5192 19058 51527 | 1 69921 34 | 0.000 % | 146.69/146.74 c | 702597 | 5192 19058 51527 | 1 70030 34 | 0.000 % | 146.69/146.74 c | 702704 | 5192 19058 51527 | 1 70137 34 | 0.000 % | 146.69/146.74 c | 703190 | 5192 19058 51527 | 1 70623 34 | 0.000 % | 146.69/146.74 c | 703292 | 5192 19058 51527 | 1 70725 34 | 0.000 % | 146.69/146.74 c | 703392 | 5192 19058 51527 | 1 70825 34 | 0.000 % | 146.69/146.74 c | 703597 | 5192 19058 51527 | 1 71030 34 | 0.000 % | 146.69/146.74 c | 703985 | 5192 19058 51527 | 1 71418 34 | 0.000 % | 146.69/146.74 c | 704226 | 5192 19058 51527 | 1 71659 34 | 0.000 % | 146.69/146.74 c | 706360 | 5192 19058 51527 | 1 73793 35 | 0.000 % | 146.69/146.74 c | 706461 | 5192 19058 51527 | 1 73894 35 | 0.000 % | 146.69/146.74 c | 706578 | 5192 19058 51527 | 1 74011 35 | 0.000 % | 146.69/146.74 c | 706964 | 5192 19058 51527 | 1 74397 35 | 0.000 % | 146.69/146.74 c | 707064 | 5192 19058 51527 | 1 74497 35 | 0.000 % | 146.69/146.74 c | 707165 | 5192 19058 51527 | 1 74598 35 | 0.000 % | 146.69/146.74 c | 707294 | 5192 19058 51527 | 1 74727 35 | 0.000 % | 146.69/146.74 c | 712219 | 5192 19058 51527 | 1 79652 36 | 0.000 % | 146.69/146.74 c | 712321 | 5192 19058 51527 | 1 79754 36 | 0.000 % | 146.69/146.74 c | 712421 | 5192 19058 51527 | 1 79854 36 | 0.000 % | 146.69/146.74 c | 712521 | 5192 19058 51527 | 1 79954 36 | 0.000 % | 146.69/146.74 c | 712623 | 5192 19058 51527 | 1 80056 36 | 0.000 % | 146.69/146.74 c | 712935 | 5192 19058 51527 | 1 80368 36 | 0.000 % | 146.69/146.74 c | 713037 | 5192 19058 51527 | 1 80470 36 | 0.000 % | 146.69/146.74 c | 715545 | 5192 19058 51527 | 1 82978 37 | 0.000 % | 146.69/146.74 c | 715645 | 5192 19058 51527 | 1 83078 37 | 0.000 % | 146.69/146.74 c | 716167 | 5192 19058 51527 | 1 83600 38 | 0.000 % | 146.69/146.74 c | 716268 | 5192 19058 51527 | 1 83701 38 | 0.000 % | 146.69/146.74 c | 716922 | 5192 19058 51527 | 1 84355 38 | 0.000 % | 146.69/146.74 c | 717478 | 5192 19058 51527 | 1 84911 38 | 0.000 % | 146.69/146.74 c | 717844 | 5192 19058 51527 | 1 85277 38 | 0.000 % | 146.69/146.74 c | 717944 | 5192 19058 51527 | 1 85377 38 | 0.000 % | 146.69/146.74 c | 718985 | 5192 19058 51527 | 1 86418 38 | 0.000 % | 146.69/146.74 c | 719085 | 5192 19058 51527 | 1 86518 38 | 0.000 % | 146.69/146.74 c | 719756 | 5192 19058 51527 | 1 87189 39 | 0.000 % | 146.69/146.74 c | 720413 | 5192 19058 51527 | 1 87846 39 | 0.000 % | 146.69/146.74 c | 721065 | 5192 19058 51527 | 1 88498 39 | 0.000 % | 146.69/146.74 c | 721165 | 5192 19058 51527 | 1 88598 39 | 0.000 % | 146.69/146.74 c | 721270 | 5192 19058 51527 | 1 88703 39 | 0.000 % | 146.69/146.74 c | 727245 | 5192 19058 51527 | 1 94678 40 | 0.000 % | 146.69/146.74 c | 727345 | 5192 19058 51527 | 1 94778 40 | 0.000 % | 146.69/146.74 c | 728100 | 5192 19058 51527 | 1 95533 40 | 0.000 % | 146.69/146.74 c | 728253 | 5192 19058 51527 | 1 95686 40 | 0.000 % | 146.69/146.74 c | 728488 | 5192 19058 51527 | 1 95921 40 | 0.000 % | 146.69/146.74 c | 728674 | 5192 19058 51527 | 1 96107 40 | 0.000 % | 146.69/146.74 c | 728847 | 5192 19058 51527 | 1 96280 40 | 0.000 % | 146.69/146.74 c | 729188 | 5192 19058 51527 | 1 96621 40 | 0.000 % | 146.69/146.74 c | 730412 | 5192 19058 51527 | 1 97845 41 | 0.000 % | 146.69/146.74 c | 733730 | 5192 19058 51527 | 1 101163 41 | 0.000 % | 177.19/177.30 c | 735373 | 5192 19058 51527 | 1 102806 42 | 0.000 % | 177.19/177.30 c | 735475 | 5192 19058 51527 | 1 102908 42 | 0.000 % | 177.19/177.30 c | 738956 | 5192 19058 51527 | 1 106389 43 | 0.000 % | 177.19/177.30 c | 742378 | 5192 19058 51527 | 1 109811 43 | 0.000 % | 177.19/177.30 c | 743019 | 5192 19058 51527 | 1 110452 43 | 0.000 % | 177.19/177.30 c | 743820 | 5192 19058 51527 | 1 111253 43 | 0.000 % | 177.19/177.30 c | 744895 | 5192 19058 51527 | 1 112328 43 | 0.000 % | 177.19/177.30 c | 744996 | 5192 19058 51527 | 1 112429 43 | 0.000 % | 177.19/177.30 c | 749965 | 5192 19058 51527 | 1 58821 26 | 0.000 % | 177.19/177.30 c | 751523 | 5192 19058 51527 | 1 60379 27 | 0.000 % | 177.19/177.30 c | 751623 | 5192 19058 51527 | 1 60479 27 | 0.000 % | 177.19/177.30 c | 751724 | 5192 19058 51527 | 1 60580 27 | 0.000 % | 177.19/177.30 c | 755665 | 5192 19058 51527 | 1 64521 29 | 0.000 % | 177.19/177.30 c | 761249 | 5192 19058 51527 | 1 70105 32 | 0.000 % | 177.19/177.30 c | 761709 | 5192 19058 51527 | 1 70565 32 | 0.000 % | 177.19/177.30 c | 761810 | 5192 19058 51527 | 1 70666 32 | 0.000 % | 177.19/177.30 c | 763223 | 5192 19058 51527 | 1 72079 32 | 0.000 % | 177.19/177.30 c | 771082 | 5192 19058 51527 | 1 79938 34 | 0.000 % | 177.19/177.30 c | 771184 | 5192 19058 51527 | 1 80040 34 | 0.000 % | 177.19/177.30 c | 771284 | 5192 19058 51527 | 1 80140 34 | 0.000 % | 177.19/177.30 c | 772360 | 5192 19058 51527 | 1 81216 34 | 0.000 % | 177.19/177.30 c | 788642 | 5192 19058 51527 | 1 97498 38 | 0.000 % | 177.19/177.30 c | 790636 | 5192 19058 51527 | 1 99492 38 | 0.000 % | 177.19/177.30 c | 795818 | 5192 19058 51527 | 1 104674 39 | 0.000 % | 177.19/177.30 c | 804169 | 5192 19058 51527 | 1 113025 40 | 0.000 % | 177.19/177.30 c | 807766 | 5192 19058 51527 | 1 116622 41 | 0.000 % | 177.19/177.30 c | 807868 | 5192 19058 51527 | 1 116724 41 | 0.000 % | 177.19/177.30 c | 807972 | 5192 19058 51527 | 1 116828 41 | 0.000 % | 177.19/177.30 c | 808073 | 5192 19058 51527 | 1 116929 41 | 0.000 % | 177.19/177.30 c | 808173 | 5192 19058 51527 | 1 117029 41 | 0.000 % | 177.19/177.30 c | 813183 | 5192 19058 51527 | 1 122039 42 | 0.000 % | 177.19/177.30 c | 813285 | 5192 19058 51527 | 1 122141 42 | 0.000 % | 177.19/177.30 c | 813386 | 5192 19058 51527 | 1 122242 42 | 0.000 % | 177.19/177.30 c | 817723 | 5192 19058 51527 | 1 65355 28 | 0.000 % | 177.19/177.30 c | 819133 | 5192 19058 51527 | 1 66765 29 | 0.000 % | 177.19/177.30 c | 819687 | 5192 19058 51527 | 1 67319 29 | 0.000 % | 177.19/177.30 c | 819787 | 5192 19058 51527 | 1 67419 29 | 0.000 % | 177.19/177.30 c | 819893 | 5192 19058 51527 | 1 67525 29 | 0.000 % | 177.19/177.30 c | 822377 | 5192 19058 51527 | 1 70009 30 | 0.000 % | 177.19/177.30 c | 822477 | 5192 19058 51527 | 1 70109 30 | 0.000 % | 177.19/177.30 c | 823501 | 5192 19058 51527 | 1 71133 31 | 0.000 % | 177.19/177.30 c | 825689 | 5192 19058 51527 | 1 73321 31 | 0.000 % | 177.19/177.30 c | 828056 | 5192 19058 51527 | 1 75688 33 | 0.000 % | 177.19/177.30 c | 832301 | 5192 19058 51527 | 1 79933 34 | 0.000 % | 177.19/177.30 c | 832401 | 5192 19058 51527 | 1 80033 34 | 0.000 % | 177.19/177.30 c | 842731 | 5192 19058 51527 | 1 90363 37 | 0.000 % | 177.19/177.30 c | 854057 | 5192 19058 51527 | 1 101689 41 | 0.000 % | 177.19/177.30 c | 855063 | 5192 19058 51527 | 1 102695 41 | 0.000 % | 177.19/177.30 c | 858605 | 5192 19058 51527 | 1 106237 41 | 0.000 % | 283.10/283.13 c | 860351 | 5192 19058 51527 | 1 107983 42 | 0.000 % | 283.10/283.13 c | 860451 | 5192 19058 51527 | 1 108083 42 | 0.000 % | 283.10/283.13 c | 860552 | 5192 19058 51527 | 1 108184 42 | 0.000 % | 283.10/283.13 c | 862219 | 5192 19058 51527 | 1 109851 42 | 0.000 % | 283.10/283.13 c | 865485 | 5192 19058 51527 | 1 113117 42 | 0.000 % | 283.10/283.13 c | 865586 | 5192 19058 51527 | 1 113218 42 | 0.000 % | 283.10/283.13 c | 869671 | 5192 19058 51527 | 1 117303 43 | 0.000 % | 283.10/283.13 c | 874072 | 5192 19058 51527 | 1 121704 43 | 0.000 % | 283.10/283.13 c | 874173 | 5192 19058 51527 | 1 121805 43 | 0.000 % | 283.10/283.13 c | 874665 | 5192 19058 51527 | 1 122297 43 | 0.000 % | 283.10/283.13 c | 877380 | 5192 19058 51527 | 1 125012 44 | 0.000 % | 283.10/283.13 c | 882817 | 5192 19058 51527 | 1 66668 28 | 0.000 % | 283.10/283.13 c | 893839 | 5192 19058 51527 | 1 77690 32 | 0.000 % | 283.10/283.13 c | 913403 | 5192 19058 51527 | 1 97254 41 | 0.000 % | 283.10/283.13 c | 914005 | 5192 19058 51527 | 1 97856 41 | 0.000 % | 283.10/283.13 c | 916135 | 5192 19058 51527 | 1 99986 42 | 0.000 % | 283.10/283.13 c | 920745 | 5192 19058 51527 | 1 104596 43 | 0.000 % | 283.10/283.13 c | 920862 | 5192 19058 51527 | 1 104713 43 | 0.000 % | 283.10/283.13 c | 921036 | 5192 19058 51527 | 1 104887 43 | 0.000 % | 283.10/283.13 c | 930335 | 5192 19058 51527 | 1 114186 45 | 0.000 % | 283.10/283.13 c | 930435 | 5192 19058 51527 | 1 114286 45 | 0.000 % | 283.10/283.13 c | 932067 | 5192 19058 51527 | 1 115918 45 | 0.000 % | 283.10/283.13 c | 939592 | 5192 19058 51527 | 1 123443 47 | 0.000 % | 283.10/283.13 c | 943493 | 5192 19058 51527 | 1 127344 48 | 0.000 % | 283.10/283.13 c | 943593 | 5192 19058 51527 | 1 127444 48 | 0.000 % | 283.10/283.13 c | 943811 | 5192 19058 51527 | 1 127662 48 | 0.000 % | 283.10/283.13 c | 945475 | 5192 19058 51527 | 1 129326 48 | 0.000 % | 283.10/283.13 c | 949262 | 5192 19058 51527 | 1 66712 29 | 0.000 % | 283.10/283.13 c | 949768 | 5192 19058 51527 | 1 67218 29 | 0.000 % | 283.10/283.13 c | 975240 | 5192 19058 51527 | 1 92690 37 | 0.000 % | 283.10/283.13 c | 975340 | 5192 19058 51527 | 1 92790 37 | 0.000 % | 283.10/283.13 c | 975617 | 5192 19058 51527 | 1 93067 37 | 0.000 % | 283.10/283.13 c | 1030149 | 5192 19058 51527 | 1 78585 27 | 0.000 % | 283.10/283.13 c | 1045774 | 5192 19058 51527 | 1 94210 31 | 0.000 % | 283.10/283.13 c | 1045874 | 5192 19058 51527 | 1 94310 31 | 0.000 % | 283.10/283.13 c | 1144005 | 5192 19058 51527 | 1 120829 30 | 0.000 % | 283.10/283.13 c | 1182477 | 5192 19058 51527 | 1 85100 26 | 0.000 % | 283.10/283.13 c | 1182577 | 5192 19058 51527 | 1 85200 27 | 0.000 % | 283.10/283.13 c | 1237899 | 5192 19058 51527 | 1 140522 50 | 0.000 % | 283.10/283.13 c | 1237999 | 5192 19058 51527 | 1 140622 50 | 0.000 % | 283.10/283.13 c | 1247647 | 5192 19058 51527 | 1 150270 51 | 0.000 % | 283.10/283.13 c | 1248389 | 5192 19058 51527 | 1 151012 51 | 0.000 % | 283.10/283.13 c | 1252857 | 5192 19058 51527 | 1 78692 35 | 0.000 % | 283.10/283.13 c | 1265988 | 5192 19058 51527 | 1 91823 36 | 0.000 % | 283.10/283.13 c | 1270326 | 5192 19058 51527 | 1 96161 38 | 0.000 % | 283.10/283.13 c | 1270509 | 5192 19058 51527 | 1 96344 38 | 0.000 % | 283.10/283.13 c | 1274870 | 5192 19058 51527 | 1 100705 39 | 0.000 % | 283.10/283.13 c | 1275220 | 5192 19058 51527 | 1 101055 39 | 0.000 % | 283.10/283.13 c | 1275651 | 5192 19058 51527 | 1 101486 39 | 0.000 % | 283.10/283.13 c | 1275832 | 5192 19058 51527 | 1 101667 39 | 0.000 % | 356.90/356.93 c | 1276092 | 5192 19058 51527 | 1 101927 39 | 0.000 % | 356.90/356.93 c | 1276406 | 5192 19058 51527 | 1 102241 39 | 0.000 % | 356.90/356.93 c | 1283489 | 5192 19058 51527 | 1 109324 39 | 0.000 % | 356.90/356.93 c | 1283590 | 5192 19058 51527 | 1 109425 40 | 0.000 % | 356.90/356.93 c | 1283848 | 5192 19058 51527 | 1 109683 40 | 0.000 % | 356.90/356.93 c | 1283999 | 5192 19058 51527 | 1 109834 40 | 0.000 % | 356.90/356.93 c | 1290300 | 5192 19058 51527 | 1 116135 40 | 0.000 % | 356.90/356.93 c | 1290401 | 5192 19058 51527 | 1 116236 40 | 0.000 % | 356.90/356.93 c | 1290501 | 5192 19058 51527 | 1 116336 40 | 0.000 % | 356.90/356.93 c | 1296492 | 5192 19058 51527 | 1 122327 41 | 0.000 % | 356.90/356.93 c | 1296593 | 5192 19058 51527 | 1 122428 41 | 0.000 % | 356.90/356.93 c | 1309132 | 5192 19058 51527 | 1 134967 42 | 0.000 % | 356.90/356.93 c | 1313287 | 5192 19058 51527 | 1 139122 43 | 0.000 % | 356.90/356.93 c | 1320038 | 5192 19058 51527 | 1 145873 44 | 0.000 % | 356.90/356.93 c | 1321770 | 5192 19058 51527 | 1 147605 44 | 0.000 % | 356.90/356.93 c | 1325448 | 5192 19058 51527 | 1 151283 45 | 0.000 % | 356.90/356.93 c | 1330054 | 5192 19058 51527 | 1 155889 45 | 0.000 % | 356.90/356.93 c | 1335845 | 5192 19058 51527 | 1 82290 27 | 0.000 % | 356.90/356.93 c | 1338223 | 5192 19058 51527 | 1 84668 27 | 0.000 % | 356.90/356.93 c | 1338520 | 5192 19058 51527 | 1 84965 27 | 0.000 % | 356.90/356.93 c | 1356832 | 5192 19058 51527 | 1 103277 31 | 0.000 % | 356.90/356.93 c | 1365852 | 5192 19058 51527 | 1 112297 34 | 0.000 % | 356.90/356.93 c | 1365955 | 5192 19058 51527 | 1 112400 34 | 0.000 % | 356.90/356.93 c | 1369976 | 5192 19058 51527 | 1 116421 34 | 0.000 % | 356.90/356.93 c | 1370077 | 5192 19058 51527 | 1 116522 35 | 0.000 % | 356.90/356.93 c | 1370179 | 5192 19058 51527 | 1 116624 35 | 0.000 % | 356.90/356.93 c | 1371279 | 5192 19058 51527 | 1 117724 35 | 0.000 % | 356.90/356.93 c | 1374442 | 5192 19058 51527 | 1 120887 35 | 0.000 % | 356.90/356.93 c | 1374543 | 5192 19058 51527 | 1 120988 35 | 0.000 % | 356.90/356.93 c | 1374643 | 5192 19058 51527 | 1 121088 35 | 0.000 % | 356.90/356.93 c | 1392652 | 5192 19058 51527 | 1 139097 39 | 0.000 % | 356.90/356.93 c | 1395522 | 5192 19058 51527 | 1 141967 40 | 0.000 % | 356.90/356.93 c | 1442548 | 5192 19058 51527 | 1 106998 36 | 0.000 % | 356.90/356.93 c | 1442648 | 5192 19058 51527 | 1 107098 36 | 0.000 % | 356.90/356.93 c | 1443070 | 5192 19058 51527 | 1 107520 36 | 0.000 % | 356.90/356.93 c | 1445996 | 5192 19058 51527 | 1 110446 37 | 0.000 % | 356.90/356.93 c | 1448921 | 5192 19058 51527 | 1 113371 38 | 0.000 % | 356.90/356.93 c | 1477231 | 5192 19058 51527 | 1 141681 43 | 0.000 % | 356.90/356.93 c | 1496514 | 5192 19058 51527 | 1 160964 46 | 0.000 % | 356.90/356.93 c | 1508488 | 5192 19058 51527 | 1 88322 31 | 0.000 % | 356.90/356.93 c | 1509368 | 5192 19058 51527 | 1 89202 32 | 0.000 % | 356.90/356.93 c | 1518665 | 5192 19058 51527 | 1 98499 33 | 0.000 % | 356.90/356.93 c | 1520476 | 5192 19058 51527 | 1 100310 34 | 0.000 % | 356.90/356.93 c | 1520638 | 5192 19058 51527 | 1 100472 34 | 0.000 % | 356.90/356.93 c | 1522272 | 5192 19058 51527 | 1 102106 34 | 0.000 % | 356.90/356.93 c | 1544742 | 5192 19058 51527 | 1 124576 38 | 0.000 % | 356.90/356.93 c | 1545140 | 5192 19058 51527 | 1 124974 39 | 0.000 % | 356.90/356.93 c | 1547899 | 5192 19058 51527 | 1 127733 39 | 0.000 % | 356.90/356.93 c | 1547999 | 5192 19058 51527 | 1 127833 39 | 0.000 % | 356.90/356.93 c | 1553211 | 5192 19058 51527 | 1 133045 40 | 0.000 % | 434.51/434.52 c | 1553311 | 5192 19058 51527 | 1 133145 40 | 0.000 % | 434.51/434.52 c | 1558187 | 5192 19058 51527 | 1 138021 40 | 0.000 % | 434.51/434.52 c | 1559097 | 5192 19058 51527 | 1 138931 40 | 0.000 % | 434.51/434.52 c | 1561909 | 5192 19058 51527 | 1 141743 41 | 0.000 % | 434.51/434.52 c | 1562011 | 5192 19058 51527 | 1 141845 41 | 0.000 % | 434.51/434.52 c | 1582149 | 5192 19058 51527 | 1 161983 44 | 0.000 % | 434.51/434.52 c | 1582283 | 5192 19058 51527 | 1 162117 44 | 0.000 % | 434.51/434.52 c | 1582384 | 5192 19058 51527 | 1 162218 44 | 0.000 % | 434.51/434.52 c | 1582525 | 5192 19058 51527 | 1 162359 44 | 0.000 % | 434.51/434.52 c | 1590191 | 5192 19058 51527 | 1 170025 45 | 0.000 % | 434.51/434.52 c | 1590296 | 5192 19058 51527 | 1 170130 45 | 0.000 % | 434.51/434.52 c | 1622226 | 5192 19058 51527 | 1 114862 40 | 0.000 % | 434.51/434.52 c | 1622327 | 5192 19058 51527 | 1 114963 40 | 0.000 % | 434.51/434.52 c | 1622427 | 5192 19058 51527 | 1 115063 40 | 0.000 % | 434.51/434.52 c | 1627276 | 5192 19058 51527 | 1 119912 41 | 0.000 % | 434.51/434.52 c | 1634689 | 5192 19058 51527 | 1 127325 42 | 0.000 % | 434.51/434.52 c | 1634790 | 5192 19058 51527 | 1 127426 42 | 0.000 % | 434.51/434.52 c | 1634891 | 5192 19058 51527 | 1 127527 42 | 0.000 % | 434.51/434.52 c | 1634994 | 5192 19058 51527 | 1 127630 42 | 0.000 % | 434.51/434.52 c | 1636366 | 5192 19058 51527 | 1 129002 42 | 0.000 % | 434.51/434.52 c | 1638958 | 5192 19058 51527 | 1 131594 43 | 0.000 % | 434.51/434.52 c | 1655332 | 5192 19058 51527 | 1 147968 45 | 0.000 % | 434.51/434.52 c | 1660894 | 5192 19058 51527 | 1 153530 46 | 0.000 % | 434.51/434.52 c | 1664787 | 5192 19058 51527 | 1 157423 46 | 0.000 % | 434.51/434.52 c | 1683039 | 5192 19058 51527 | 1 175675 47 | 0.000 % | 434.51/434.52 c | 1683671 | 5192 19058 51527 | 1 176307 47 | 0.000 % | 434.51/434.52 c | 1685618 | 5192 19058 51527 | 1 178254 48 | 0.000 % | 434.51/434.52 c | 1692733 | 5192 19058 51527 | 1 95591 32 | 0.000 % | 434.51/434.52 c | 1731246 | 5192 19058 51527 | 1 134104 41 | 0.000 % | 434.51/434.52 c | 1732261 | 5192 19058 51527 | 1 135119 41 | 0.000 % | 434.51/434.52 c | 1732451 | 5192 19058 51527 | 1 135309 41 | 0.000 % | 434.51/434.52 c | 1733495 | 5192 19058 51527 | 1 136353 42 | 0.000 % | 434.51/434.52 c | 1734350 | 5192 19058 51527 | 1 137208 42 | 0.000 % | 434.51/434.52 c | 1735314 | 5192 19058 51527 | 1 138172 42 | 0.000 % | 434.51/434.52 c | 1735414 | 5192 19058 51527 | 1 138272 42 | 0.000 % | 434.51/434.52 c | 1740309 | 5192 19058 51527 | 1 143167 42 | 0.000 % | 434.51/434.52 c | 1740409 | 5192 19058 51527 | 1 143267 42 | 0.000 % | 434.51/434.52 c | 1742523 | 5192 19058 51527 | 1 145381 42 | 0.000 % | 434.51/434.52 c | 1744066 | 5192 19058 51527 | 1 146924 43 | 0.000 % | 434.51/434.52 c | 1744166 | 5192 19058 51527 | 1 147024 43 | 0.000 % | 434.51/434.52 c | 1745455 | 5192 19058 51527 | 1 148313 43 | 0.000 % | 434.51/434.52 c | 1746578 | 5192 19058 51527 | 1 149436 43 | 0.000 % | 434.51/434.52 c | 1767858 | 5192 19058 51527 | 1 170716 44 | 0.000 % | 434.51/434.52 c | 1770615 | 5192 19058 51527 | 1 173473 44 | 0.000 % | 434.51/434.52 c | 1780826 | 5192 19058 51527 | 1 183684 45 | 0.000 % | 434.51/434.52 c | 1781131 | 5192 19058 51527 | 1 183989 45 | 0.000 % | 434.51/434.52 c | 1803565 | 5192 19058 51527 | 1 114004 34 | 0.000 % | 434.51/434.52 c | 1803665 | 5192 19058 51527 | 1 114104 34 | 0.000 % | 434.51/434.52 c | 1803765 | 5192 19058 51527 | 1 114204 34 | 0.000 % | 434.51/434.52 c | 1803865 | 5192 19058 51527 | 1 114304 34 | 0.000 % | 609.91/610.00 c | 1804261 | 5192 19058 51527 | 1 114700 34 | 0.000 % | 609.91/610.00 c | 1805812 | 5192 19058 51527 | 1 116251 35 | 0.000 % | 609.91/610.00 c | 1806987 | 5192 19058 51527 | 1 117426 35 | 0.000 % | 609.91/610.00 c | 1808951 | 5192 19058 51527 | 1 119390 35 | 0.000 % | 609.91/610.00 c | 1840922 | 5192 19058 51527 | 1 151361 40 | 0.000 % | 609.91/610.00 c | 1844441 | 5192 19058 51527 | 1 154880 40 | 0.000 % | 609.91/610.00 c | 1845093 | 5192 19058 51527 | 1 155532 40 | 0.000 % | 609.91/610.00 c | 1846059 | 5192 19058 51527 | 1 156498 40 | 0.000 % | 609.91/610.00 c | 1846161 | 5192 19058 51527 | 1 156600 40 | 0.000 % | 609.91/610.00 c | 1852439 | 5192 19058 51527 | 1 162878 41 | 0.000 % | 609.91/610.00 c | 1852542 | 5192 19058 51527 | 1 162981 41 | 0.000 % | 609.91/610.00 c | 1858752 | 5192 19058 51527 | 1 169191 42 | 0.000 % | 609.91/610.00 c | 1859272 | 5192 19058 51527 | 1 169711 42 | 0.000 % | 609.91/610.00 c | 1861800 | 5192 19058 51527 | 1 172239 43 | 0.000 % | 609.91/610.00 c | 1871783 | 5192 19058 51527 | 1 182222 44 | 0.000 % | 609.91/610.00 c | 1872798 | 5192 19058 51527 | 1 183237 44 | 0.000 % | 609.91/610.00 c | 1873713 | 5192 19058 51527 | 1 184152 44 | 0.000 % | 609.91/610.00 c | 1873942 | 5192 19058 51527 | 1 184381 44 | 0.000 % | 609.91/610.00 c | 1874559 | 5192 19058 51527 | 1 184998 44 | 0.000 % | 609.91/610.00 c | 1874696 | 5192 19058 51527 | 1 185135 44 | 0.000 % | 609.91/610.00 c | 1875360 | 5192 19058 51527 | 1 185799 44 | 0.000 % | 609.91/610.00 c | 1875811 | 5192 19058 51527 | 1 186250 44 | 0.000 % | 609.91/610.00 c | 1878028 | 5192 19058 51527 | 1 188467 44 | 0.000 % | 609.91/610.00 c | 1882466 | 5192 19058 51527 | 1 97895 29 | 0.000 % | 609.91/610.00 c | 1882566 | 5192 19058 51527 | 1 97995 29 | 0.000 % | 609.91/610.00 c | 1886592 | 5192 19058 51527 | 1 102021 30 | 0.000 % | 609.91/610.00 c | 1886693 | 5192 19058 51527 | 1 102122 30 | 0.000 % | 609.91/610.00 c | 1911403 | 5192 19058 51527 | 1 126832 38 | 0.000 % | 609.91/610.00 c | 1911504 | 5192 19058 51527 | 1 126933 38 | 0.000 % | 609.91/610.00 c | 1917293 | 5192 19058 51527 | 1 132722 39 | 0.000 % | 609.91/610.00 c | 1917581 | 5192 19058 51527 | 1 133010 39 | 0.000 % | 609.91/610.00 c | 1921175 | 5192 19058 51527 | 1 136604 40 | 0.000 % | 609.91/610.00 c | 1921407 | 5192 19058 51527 | 1 136836 40 | 0.000 % | 609.91/610.00 c | 1937438 | 5192 19058 51527 | 1 152867 43 | 0.000 % | 609.91/610.00 c | 1938628 | 5192 19058 51527 | 1 154057 43 | 0.000 % | 609.91/610.00 c | 2322917 | 5192 19058 51527 | 1 132335 29 | 0.000 % | 609.91/610.00 c | 2339105 | 5192 19058 51527 | 1 148523 33 | 0.000 % | 609.91/610.00 c | 2371851 | 5192 19058 51527 | 1 181269 35 | 0.000 % | 610.01/610.00 c | 2372035 | 5192 19058 51527 | 1 181453 35 | 0.000 % | 610.01/610.00 c | 2390740 | 5192 19058 51527 | 1 200158 39 | 0.000 % | 610.01/610.00 c | 2390840 | 5192 19058 51527 | 1 200258 39 | 0.000 % | 610.01/610.00 c | 2391386 | 5192 19058 51527 | 1 200804 39 | 0.000 % | 610.01/610.00 c | 2412506 | 5192 19058 51527 | 1 113931 26 | 0.000 % | 610.01/610.00 c | 2436081 | 5192 19058 51527 | 1 137506 33 | 0.000 % | 610.01/610.00 c | 2438197 | 5192 19058 51527 | 1 139622 33 | 0.000 % | 610.01/610.00 c | 2438298 | 5192 19058 51527 | 1 139723 33 | 0.000 % | 610.01/610.00 c | 2438398 | 5192 19058 51527 | 1 139823 33 | 0.000 % | 610.01/610.00 c | 2440061 | 5192 19058 51527 | 1 141486 34 | 0.000 % | 610.01/610.00 c | 2440468 | 5192 19058 51527 | 1 141893 34 | 0.000 % | 610.01/610.00 c | 2440569 | 5192 19058 51527 | 1 141994 34 | 0.000 % | 666.80/666.88 c | 2457391 | 5192 19058 51527 | 1 158816 38 | 0.000 % | 666.80/666.88 c | 2459206 | 5192 19058 51527 | 1 160631 38 | 0.000 % | 666.80/666.88 c | 2460357 | 5192 19058 51527 | 1 161782 38 | 0.000 % | 666.80/666.88 c | 2460490 | 5192 19058 51527 | 1 161915 38 | 0.000 % | 666.80/666.88 c | 2460822 | 5192 19058 51527 | 1 162247 38 | 0.000 % | 666.80/666.88 c | 2460922 | 5192 19058 51527 | 1 162347 38 | 0.000 % | 666.80/666.88 c | 2462541 | 5192 19058 51527 | 1 163966 38 | 0.000 % | 666.80/666.88 c | 2466172 | 5192 19058 51527 | 1 167597 39 | 0.000 % | 666.80/666.88 c | 2466305 | 5192 19058 51527 | 1 167730 39 | 0.000 % | 666.80/666.88 c | 2486101 | 5192 19058 51527 | 1 187526 39 | 0.000 % | 666.80/666.88 c | 2490504 | 5192 19058 51527 | 1 191929 40 | 0.000 % | 666.80/666.88 c | 2490605 | 5192 19058 51527 | 1 192030 40 | 0.000 % | 666.80/666.88 c | 2502449 | 5192 19058 51527 | 1 203874 42 | 0.000 % | 666.80/666.88 c | 2502551 | 5192 19058 51527 | 1 203976 42 | 0.000 % | 666.80/666.88 c | 2506260 | 5192 19058 51527 | 1 207685 42 | 0.000 % | 666.80/666.88 c | 2507327 | 5192 19058 51527 | 1 208752 42 | 0.000 % | 666.80/666.88 c | 2509008 | 5192 19058 51527 | 1 210433 42 | 0.000 % | 666.80/666.88 c | 2530053 | 5192 19058 51527 | 1 120891 31 | 0.000 % | 666.80/666.88 c | 2530155 | 5192 19058 51527 | 1 120993 31 | 0.000 % | 666.80/666.88 c | 2542166 | 5192 19058 51527 | 1 133004 35 | 0.000 % | 666.80/666.88 c | 2542268 | 5192 19058 51527 | 1 133106 36 | 0.000 % | 666.80/666.88 c | 2542371 | 5192 19058 51527 | 1 133209 36 | 0.000 % | 666.80/666.88 c | 2542475 | 5192 19058 51527 | 1 133313 36 | 0.000 % | 666.80/666.88 c | 2547266 | 5192 19058 51527 | 1 138104 36 | 0.000 % | 666.80/666.88 c | 2547369 | 5192 19058 51527 | 1 138207 36 | 0.000 % | 666.80/666.88 c | 2547623 | 5192 19058 51527 | 1 138461 36 | 0.000 % | 666.80/666.88 c | 2547723 | 5192 19058 51527 | 1 138561 36 | 0.000 % | 666.80/666.88 c | 2554969 | 5192 19058 51527 | 1 145807 37 | 0.000 % | 666.80/666.88 c | 2555070 | 5192 19058 51527 | 1 145908 37 | 0.000 % | 666.80/666.88 c | 2555170 | 5192 19058 51527 | 1 146008 37 | 0.000 % | 666.80/666.88 c | 2555271 | 5192 19058 51527 | 1 146109 37 | 0.000 % | 666.80/666.88 c | 2556650 | 5192 19058 51527 | 1 147488 37 | 0.000 % | 666.80/666.88 c | 2558487 | 5192 19058 51527 | 1 149325 37 | 0.000 % | 666.80/666.88 c | 2559405 | 5192 19058 51527 | 1 150243 37 | 0.000 % | 666.80/666.88 c | 2559507 | 5192 19058 51527 | 1 150345 37 | 0.000 % | 666.80/666.88 c | 2559777 | 5192 19058 51527 | 1 150615 37 | 0.000 % | 666.80/666.88 c | 2560027 | 5192 19058 51527 | 1 150865 37 | 0.000 % | 666.80/666.88 c | 2563677 | 5192 19058 51527 | 1 154515 37 | 0.000 % | 666.80/666.88 c | 2563779 | 5192 19058 51527 | 1 154617 37 | 0.000 % | 666.80/666.88 c | 2568202 | 5192 19058 51527 | 1 159040 37 | 0.000 % | 666.80/666.88 c | 2568331 | 5192 19058 51527 | 1 159169 37 | 0.000 % | 666.80/666.88 c | 2595006 | 5192 19058 51527 | 1 185844 39 | 0.000 % | 666.80/666.88 c | 2595653 | 5192 19058 51527 | 1 186491 39 | 0.000 % | 666.80/666.88 c | 2596212 | 5192 19058 51527 | 1 187050 39 | 0.000 % | 666.80/666.88 c | 2597830 | 5192 19058 51527 | 1 188668 39 | 0.000 % | 666.80/666.88 c | 2597931 | 5192 19058 51527 | 1 188769 39 | 0.000 % | 666.80/666.88 c | 2601855 | 5192 19058 51527 | 1 192693 39 | 0.000 % | 666.80/666.88 c | 2601955 | 5192 19058 51527 | 1 192793 39 | 0.000 % | 666.80/666.88 c | 2602730 | 5192 19058 51527 | 1 193568 40 | 0.000 % | 666.80/666.88 c | 2606636 | 5192 19058 51527 | 1 197474 40 | 0.000 % | 702.82/702.82 c | 2606737 | 5192 19058 51527 | 1 197575 40 | 0.000 % | 702.82/702.82 c | 2606839 | 5192 19058 51527 | 1 197677 40 | 0.000 % | 702.82/702.82 c | 2608952 | 5192 19058 51527 | 1 199790 40 | 0.000 % | 702.82/702.82 c | 2609729 | 5192 19058 51527 | 1 200567 40 | 0.000 % | 702.82/702.82 c | 2609929 | 5192 19058 51527 | 1 200767 40 | 0.000 % | 702.82/702.82 c | 2610032 | 5192 19058 51527 | 1 200870 40 | 0.000 % | 702.82/702.82 c | 2610455 | 5192 19058 51527 | 1 201293 40 | 0.000 % | 702.82/702.82 c | 2610879 | 5192 19058 51527 | 1 201717 40 | 0.000 % | 702.82/702.82 c | 2610979 | 5192 19058 51527 | 1 201817 40 | 0.000 % | 702.82/702.82 c | 2614485 | 5192 19058 51527 | 1 205323 41 | 0.000 % | 702.82/702.82 c | 2615526 | 5192 19058 51527 | 1 206364 41 | 0.000 % | 702.82/702.82 c | 2620576 | 5192 19058 51527 | 1 211414 42 | 0.000 % | 702.82/702.82 c | 2625630 | 5192 19058 51527 | 1 216468 43 | 0.000 % | 702.82/702.82 c | 2627146 | 5192 19058 51527 | 1 217984 43 | 0.000 % | 702.82/702.82 c | 2627432 | 5192 19058 51527 | 1 218270 43 | 0.000 % | 702.82/702.82 c | 2627532 | 5192 19058 51527 | 1 218370 43 | 0.000 % | 702.82/702.82 c | 2627632 | 5192 19058 51527 | 1 218470 43 | 0.000 % | 702.82/702.82 c | 2635655 | 5192 19058 51527 | 1 113300 26 | 0.000 % | 702.82/702.82 c | 2643527 | 5192 19058 51527 | 1 121172 30 | 0.000 % | 702.82/702.82 c | 2644129 | 5192 19058 51527 | 1 121774 30 | 0.000 % | 702.82/702.82 c | 2646247 | 5192 19058 51527 | 1 123892 31 | 0.000 % | 702.82/702.82 c | 2655669 | 5192 19058 51527 | 1 133314 34 | 0.000 % | 702.82/702.82 c | 2663869 | 5192 19058 51527 | 1 141514 35 | 0.000 % | 702.82/702.82 c | 2677578 | 5192 19058 51527 | 1 155223 35 | 0.000 % | 702.82/702.82 c | 2679802 | 5192 19058 51527 | 1 157447 36 | 0.000 % | 702.82/702.82 c | 2688678 | 5192 19058 51527 | 1 166323 36 | 0.000 % | 702.82/702.82 c | 2693625 | 5192 19058 51527 | 1 171270 37 | 0.000 % | 702.82/702.82 c | 2693825 | 5192 19058 51527 | 1 171470 37 | 0.000 % | 702.82/702.82 c | 2696455 | 5192 19058 51527 | 1 174100 37 | 0.000 % | 702.82/702.82 c | 2696557 | 5192 19058 51527 | 1 174202 37 | 0.000 % | 702.82/702.82 c | 2699432 | 5192 19058 51527 | 1 177077 38 | 0.000 % | 702.82/702.82 c | 2699547 | 5192 19058 51527 | 1 177192 38 | 0.000 % | 702.82/702.82 c | 2702181 | 5192 19058 51527 | 1 179826 38 | 0.000 % | 702.82/702.82 c | 2704236 | 5192 19058 51527 | 1 181881 38 | 0.000 % | 702.82/702.82 c | 2704478 | 5192 19058 51527 | 1 182123 38 | 0.000 % | 702.82/702.82 c | 2705431 | 5192 19058 51527 | 1 183076 38 | 0.000 % | 702.82/702.82 c | 2705532 | 5192 19058 51527 | 1 183177 38 | 0.000 % | 702.82/702.82 c | 2705869 | 5192 19058 51527 | 1 183514 38 | 0.000 % | 702.82/702.82 c | 2706164 | 5192 19058 51527 | 1 183809 38 | 0.000 % | 702.82/702.82 c | 2706266 | 5192 19058 51527 | 1 183911 38 | 0.000 % | 702.82/702.82 c | 2708141 | 5192 19058 51527 | 1 185786 39 | 0.000 % | 702.82/702.82 c | 2710080 | 5192 19058 51527 | 1 187725 39 | 0.000 % | 702.82/702.82 c | 2713547 | 5192 19058 51527 | 1 191192 39 | 0.000 % | 702.82/702.82 c | 2714584 | 5192 19058 51527 | 1 192229 39 | 0.000 % | 702.82/702.82 c | 2715340 | 5192 19058 51527 | 1 192985 39 | 0.000 % | 702.82/702.82 c | 2715443 | 5192 19058 51527 | 1 193088 39 | 0.000 % | 702.82/702.82 c | 2717571 | 5192 19058 51527 | 1 195216 39 | 0.000 % | 702.82/702.82 c | 2717672 | 5192 19058 51527 | 1 195317 39 | 0.000 % | 702.82/702.82 c | 2717960 | 5192 19058 51527 | 1 195605 40 | 0.000 % | 702.82/702.82 c | 2718060 | 5192 19058 51527 | 1 195705 40 | 0.000 % | 750.81/750.85 c | 2725851 | 5192 19058 51527 | 1 203496 40 | 0.000 % | 750.81/750.85 c | 2725952 | 5192 19058 51527 | 1 203597 40 | 0.000 % | 750.81/750.85 c | 2748351 | 5192 19058 51527 | 1 225996 43 | 0.000 % | 750.81/750.85 c | 2749176 | 5192 19058 51527 | 1 226821 43 | 0.000 % | 750.81/750.85 c | 2751044 | 5192 19058 51527 | 1 228689 43 | 0.000 % | 750.81/750.85 c | 2751405 | 5192 19058 51527 | 1 229050 43 | 0.000 % | 750.81/750.85 c | 2751556 | 5192 19058 51527 | 1 229201 43 | 0.000 % | 750.81/750.85 c | 2752511 | 5192 19058 51527 | 1 230156 43 | 0.000 % | 750.81/750.85 c | 2752690 | 5192 19058 51527 | 1 230335 43 | 0.000 % | 750.81/750.85 c | 2752790 | 5192 19058 51527 | 1 230435 43 | 0.000 % | 750.81/750.85 c | 2765837 | 5192 19058 51527 | 1 127703 30 | 0.000 % | 750.81/750.85 c | 2765938 | 5192 19058 51527 | 1 127804 30 | 0.000 % | 750.81/750.85 c | 2767255 | 5192 19058 51527 | 1 129121 31 | 0.000 % | 750.81/750.85 c | 2767916 | 5192 19058 51527 | 1 129782 31 | 0.000 % | 750.81/750.85 c | 2774124 | 5192 19058 51527 | 1 135990 32 | 0.000 % | 750.81/750.85 c | 2774407 | 5192 19058 51527 | 1 136273 32 | 0.000 % | 750.81/750.85 c | 2775072 | 5192 19058 51527 | 1 136938 32 | 0.000 % | 750.81/750.85 c | 2775795 | 5192 19058 51527 | 1 137661 33 | 0.000 % | 750.81/750.85 c | 2776580 | 5192 19058 51527 | 1 138446 33 | 0.000 % | 750.81/750.85 c | 2778283 | 5192 19058 51527 | 1 140149 33 | 0.000 % | 750.81/750.85 c | 2778383 | 5192 19058 51527 | 1 140249 33 | 0.000 % | 750.81/750.85 c | 2779855 | 5192 19058 51527 | 1 141721 33 | 0.000 % | 750.81/750.85 c | 2779961 | 5192 19058 51527 | 1 141827 33 | 0.000 % | 750.81/750.85 c | 2780924 | 5192 19058 51527 | 1 142790 34 | 0.000 % | 750.81/750.85 c | 2781024 | 5192 19058 51527 | 1 142890 34 | 0.000 % | 750.81/750.85 c | 2781125 | 5192 19058 51527 | 1 142991 34 | 0.000 % | 750.81/750.85 c | 2781225 | 5192 19058 51527 | 1 143091 34 | 0.000 % | 750.81/750.85 c | 2781327 | 5192 19058 51527 | 1 143193 34 | 0.000 % | 750.81/750.85 c | 2783490 | 5192 19058 51527 | 1 145356 34 | 0.000 % | 750.81/750.85 c | 2783591 | 5192 19058 51527 | 1 145457 34 | 0.000 % | 750.81/750.85 c | 2783691 | 5192 19058 51527 | 1 145557 34 | 0.000 % | 750.81/750.85 c | 2784309 | 5192 19058 51527 | 1 146175 35 | 0.000 % | 750.81/750.85 c | 2784458 | 5192 19058 51527 | 1 146324 35 | 0.000 % | 750.81/750.85 c | 2784558 | 5192 19058 51527 | 1 146424 35 | 0.000 % | 750.81/750.85 c | 2784658 | 5192 19058 51527 | 1 146524 35 | 0.000 % | 750.81/750.85 c | 2789145 | 5192 19058 51527 | 1 151011 35 | 0.000 % | 750.81/750.85 c | 2806331 | 5192 19058 51527 | 1 168197 38 | 0.000 % | 750.81/750.85 c | 2809113 | 5192 19058 51527 | 1 170979 38 | 0.000 % | 750.81/750.85 c | 2809214 | 5192 19058 51527 | 1 171080 38 | 0.000 % | 750.81/750.85 c | 2809740 | 5192 19058 51527 | 1 171606 39 | 0.000 % | 750.81/750.85 c | 2809840 | 5192 19058 51527 | 1 171706 39 | 0.000 % | 750.81/750.85 c | 2813749 | 5192 19058 51527 | 1 175615 39 | 0.000 % | 750.81/750.85 c | 2816167 | 5192 19058 51527 | 1 178033 40 | 0.000 % | 750.81/750.85 c | 2816270 | 5192 19058 51527 | 1 178136 40 | 0.000 % | 750.81/750.85 c | 2820637 | 5192 19058 51527 | 1 182503 41 | 0.000 % | 750.81/750.85 c | 2852259 | 5192 19058 51527 | 1 214125 42 | 0.000 % | 750.81/750.85 c | 2854305 | 5192 19058 51527 | 1 216171 43 | 0.000 % | 750.81/750.85 c | 2869688 | 5192 19058 51527 | 1 231554 44 | 0.000 % | 750.81/750.85 c | 2872058 | 5192 19058 51527 | 1 233924 45 | 0.000 % | 750.81/750.85 c | 2874856 | 5192 19058 51527 | 1 236722 44 | 0.000 % | 801.92/801.96 c | 2875875 | 5192 19058 51527 | 1 119357 28 | 0.000 % | 801.92/801.96 c | 2876356 | 5192 19058 51527 | 1 119838 28 | 0.000 % | 801.92/801.96 c | 2876456 | 5192 19058 51527 | 1 119938 28 | 0.000 % | 801.92/801.96 c | 2876557 | 5192 19058 51527 | 1 120039 28 | 0.000 % | 801.92/801.96 c | 2876816 | 5192 19058 51527 | 1 120298 28 | 0.000 % | 801.92/801.96 c | 2876918 | 5192 19058 51527 | 1 120400 28 | 0.000 % | 801.92/801.96 c | 2877018 | 5192 19058 51527 | 1 120500 28 | 0.000 % | 801.92/801.96 c | 2880718 | 5192 19058 51527 | 1 124200 28 | 0.000 % | 801.92/801.96 c | 2888723 | 5192 19058 51527 | 1 132205 29 | 0.000 % | 801.92/801.96 c | 2903811 | 5192 19058 51527 | 1 147293 30 | 0.000 % | 801.92/801.96 c | 2908766 | 5192 19058 51527 | 1 152248 32 | 0.000 % | 801.92/801.96 c | 2909204 | 5192 19058 51527 | 1 152686 32 | 0.000 % | 801.92/801.96 c | 2909305 | 5192 19058 51527 | 1 152787 32 | 0.000 % | 801.92/801.96 c | 2909408 | 5192 19058 51527 | 1 152890 32 | 0.000 % | 801.92/801.96 c | 2909511 | 5192 19058 51527 | 1 152993 32 | 0.000 % | 801.92/801.96 c | 2909642 | 5192 19058 51527 | 1 153124 32 | 0.000 % | 801.92/801.96 c | 2915883 | 5192 19058 51527 | 1 159365 32 | 0.000 % | 801.92/801.96 c | 2926447 | 5192 19058 51527 | 1 169929 33 | 0.000 % | 801.92/801.96 c | 2936802 | 5192 19058 51527 | 1 180284 34 | 0.000 % | 801.92/801.96 c | 2936904 | 5192 19058 51527 | 1 180386 34 | 0.000 % | 801.92/801.96 c | 2938893 | 5192 19058 51527 | 1 182375 34 | 0.000 % | 801.92/801.96 c | 2956858 | 5192 19058 51527 | 1 200340 37 | 0.000 % | 801.92/801.96 c | 2962079 | 5192 19058 51527 | 1 205561 37 | 0.000 % | 801.92/801.96 c | 2962179 | 5192 19058 51527 | 1 205661 37 | 0.000 % | 801.92/801.96 c | 2962280 | 5192 19058 51527 | 1 205762 37 | 0.000 % | 801.92/801.96 c | 2967220 | 5192 19058 51527 | 1 210702 38 | 0.000 % | 801.92/801.96 c | 2970358 | 5192 19058 51527 | 1 213840 38 | 0.000 % | 801.92/801.96 c | 2972062 | 5192 19058 51527 | 1 215544 38 | 0.000 % | 801.92/801.96 c | 2972162 | 5192 19058 51527 | 1 215644 38 | 0.000 % | 801.92/801.96 c | 2976597 | 5192 19058 51527 | 1 220079 38 | 0.000 % | 801.92/801.96 c | 2976698 | 5192 19058 51527 | 1 220180 38 | 0.000 % | 801.92/801.96 c | 2981975 | 5192 19058 51527 | 1 225457 39 | 0.000 % | 801.92/801.96 c | 2982075 | 5192 19058 51527 | 1 225557 39 | 0.000 % | 801.92/801.96 c | 2999146 | 5192 19058 51527 | 1 121635 26 | 0.000 % | 801.92/801.96 c | 2999247 | 5192 19058 51527 | 1 121736 26 | 0.000 % | 801.92/801.96 c | 3000795 | 5192 19058 51527 | 1 123284 26 | 0.000 % | 801.92/801.96 c | 3000896 | 5192 19058 51527 | 1 123385 26 | 0.000 % | 801.92/801.96 c | 3000996 | 5192 19058 51527 | 1 123485 26 | 0.000 % | 801.92/801.96 c | 3004188 | 5192 19058 51527 | 1 126677 27 | 0.000 % | 801.92/801.96 c | 3004508 | 5192 19058 51527 | 1 126997 27 | 0.000 % | 801.92/801.96 c | 3018218 | 5192 19058 51527 | 1 140707 32 | 0.000 % | 801.92/801.96 c | 3020236 | 5192 19058 51527 | 1 142725 32 | 0.000 % | 801.92/801.96 c | 3020394 | 5192 19058 51527 | 1 142883 32 | 0.000 % | 801.92/801.96 c | 3024433 | 5192 19058 51527 | 1 146922 33 | 0.000 % | 801.92/801.96 c | 3024533 | 5192 19058 51527 | 1 147022 33 | 0.000 % | 801.92/801.96 c | 3025655 | 5192 19058 51527 | 1 148144 33 | 0.000 % | 801.92/801.96 c | 3025755 | 5192 19058 51527 | 1 148244 33 | 0.000 % | 801.92/801.96 c | 3026055 | 5192 19058 51527 | 1 148544 33 | 0.000 % | 801.92/801.96 c | 3026155 | 5192 19058 51527 | 1 148644 33 | 0.000 % | 801.92/801.96 c | 3030924 | 5192 19058 51527 | 1 153413 34 | 0.000 % | 894.23/894.25 c | 3031120 | 5192 19058 51527 | 1 153609 34 | 0.000 % | 894.23/894.25 c | 3033554 | 5192 19058 51527 | 1 156043 35 | 0.000 % | 894.23/894.25 c | 3042411 | 5192 19058 51527 | 1 164900 36 | 0.000 % | 894.23/894.25 c | 3042514 | 5192 19058 51527 | 1 165003 36 | 0.000 % | 894.23/894.25 c | 3042977 | 5192 19058 51527 | 1 165466 37 | 0.000 % | 894.23/894.25 c | 3044158 | 5192 19058 51527 | 1 166647 37 | 0.000 % | 894.23/894.25 c | 3045220 | 5192 19058 51527 | 1 167709 37 | 0.000 % | 894.23/894.25 c | 3046464 | 5192 19058 51527 | 1 168953 37 | 0.000 % | 894.23/894.25 c | 3048327 | 5192 19058 51527 | 1 170816 37 | 0.000 % | 894.23/894.25 c | 3048662 | 5192 19058 51527 | 1 171151 37 | 0.000 % | 894.23/894.25 c | 3049707 | 5192 19058 51527 | 1 172196 38 | 0.000 % | 894.23/894.25 c | 3052916 | 5192 19058 51527 | 1 175405 38 | 0.000 % | 894.23/894.25 c | 3053017 | 5192 19058 51527 | 1 175506 38 | 0.000 % | 894.23/894.25 c | 3053126 | 5192 19058 51527 | 1 175615 38 | 0.000 % | 894.23/894.25 c | 3053226 | 5192 19058 51527 | 1 175715 38 | 0.000 % | 894.23/894.25 c | 3073174 | 5192 19058 51527 | 1 195663 40 | 0.000 % | 894.23/894.25 c | 3073275 | 5192 19058 51527 | 1 195764 40 | 0.000 % | 894.23/894.25 c | 3073378 | 5192 19058 51527 | 1 195867 40 | 0.000 % | 894.23/894.25 c | 3074550 | 5192 19058 51527 | 1 197039 40 | 0.000 % | 894.23/894.25 c | 3076135 | 5192 19058 51527 | 1 198624 40 | 0.000 % | 894.23/894.25 c | 3076236 | 5192 19058 51527 | 1 198725 40 | 0.000 % | 894.23/894.25 c | 3083197 | 5192 19058 51527 | 1 205686 41 | 0.000 % | 894.23/894.25 c | 3087610 | 5192 19058 51527 | 1 210099 42 | 0.000 % | 894.23/894.25 c | 3092048 | 5192 19058 51527 | 1 214537 42 | 0.000 % | 894.23/894.25 c | 3092151 | 5192 19058 51527 | 1 214640 42 | 0.000 % | 894.23/894.25 c | 3093692 | 5192 19058 51527 | 1 216181 43 | 0.000 % | 894.23/894.25 c | 3097371 | 5192 19058 51527 | 1 219860 43 | 0.000 % | 894.23/894.25 c | 3097471 | 5192 19058 51527 | 1 219960 43 | 0.000 % | 894.23/894.25 c | 3101508 | 5192 19058 51527 | 1 223997 43 | 0.000 % | 894.23/894.25 c | 3138650 | 5192 19058 51527 | 1 137506 31 | 0.000 % | 894.23/894.25 c | 3141504 | 5192 19058 51527 | 1 140360 32 | 0.000 % | 894.23/894.25 c | 3145363 | 5192 19058 51527 | 1 144219 33 | 0.000 % | 894.23/894.25 c | 3158527 | 5192 19058 51527 | 1 157383 35 | 0.000 % | 894.23/894.25 c | 3160541 | 5192 19058 51527 | 1 159397 35 | 0.000 % | 894.23/894.25 c | 3160643 | 5192 19058 51527 | 1 159499 35 | 0.000 % | 894.23/894.25 c | 3161924 | 5192 19058 51527 | 1 160780 35 | 0.000 % | 894.23/894.25 c | 3162024 | 5192 19058 51527 | 1 160880 35 | 0.000 % | 894.23/894.25 c | 3163884 | 5192 19058 51527 | 1 162740 36 | 0.000 % | 894.23/894.25 c | 3165305 | 5192 19058 51527 | 1 164161 36 | 0.000 % | 894.23/894.25 c | 3209231 | 5192 19058 51527 | 1 208087 40 | 0.000 % | 894.23/894.25 c | 3215077 | 5192 19058 51527 | 1 213933 41 | 0.000 % | 894.23/894.25 c | 3223040 | 5192 19058 51527 | 1 221896 41 | 0.000 % | 894.23/894.25 c | 3322601 | 5192 19058 51527 | 1 195246 31 | 0.000 % | 894.23/894.25 c | 3322815 | 5192 19058 51527 | 1 195460 31 | 0.000 % | 894.23/894.25 c | 3322970 | 5192 19058 51527 | 1 195615 31 | 0.000 % | 894.23/894.25 c | 3325407 | 5192 19058 51527 | 1 198052 32 | 0.000 % | 894.23/894.25 c | 3325507 | 5192 19058 51527 | 1 198152 32 | 0.000 % | 894.23/894.25 c | 3326332 | 5192 19058 51527 | 1 198977 32 | 0.000 % | 894.23/894.25 c | 3329463 | 5192 19058 51527 | 1 202108 32 | 0.000 % | 894.23/894.25 c | 3329563 | 5192 19058 51527 | 1 202208 32 | 0.000 % | 1001.43/1001.45 c | 3329669 | 5192 19058 51527 | 1 202314 32 | 0.000 % | 1001.43/1001.45 c | 3334434 | 5192 19058 51527 | 1 207079 33 | 0.000 % | 1001.43/1001.45 c | 3338756 | 5192 19058 51527 | 1 211401 34 | 0.000 % | 1001.43/1001.45 c | 3341490 | 5192 19058 51527 | 1 214135 35 | 0.000 % | 1001.43/1001.45 c | 3343279 | 5192 19058 51527 | 1 215924 35 | 0.000 % | 1001.43/1001.45 c | 3345492 | 5192 19058 51527 | 1 218137 35 | 0.000 % | 1001.43/1001.45 c | 3350595 | 5192 19058 51527 | 1 223240 36 | 0.000 % | 1001.43/1001.45 c | 3353261 | 5192 19058 51527 | 1 225906 36 | 0.000 % | 1001.43/1001.45 c | 3379120 | 5192 19058 51527 | 1 251765 39 | 0.000 % | 1001.43/1001.45 c | 3379714 | 5192 19058 51527 | 1 252359 39 | 0.000 % | 1001.43/1001.45 c | 3380050 | 5192 19058 51527 | 1 252695 39 | 0.000 % | 1001.43/1001.45 c | 3380893 | 5192 19058 51527 | 1 253538 39 | 0.000 % | 1001.43/1001.45 c | 3380995 | 5192 19058 51527 | 1 253640 39 | 0.000 % | 1001.43/1001.45 c | 3386095 | 5192 19058 51527 | 1 129928 25 | 0.000 % | 1001.43/1001.45 c | 3386317 | 5192 19058 51527 | 1 130150 25 | 0.000 % | 1001.43/1001.45 c | 3397135 | 5192 19058 51527 | 1 140968 29 | 0.000 % | 1001.43/1001.45 c | 3400757 | 5192 19058 51527 | 1 144590 29 | 0.000 % | 1001.43/1001.45 c | 3401191 | 5192 19058 51527 | 1 145024 29 | 0.000 % | 1001.43/1001.45 c | 3403127 | 5192 19058 51527 | 1 146960 30 | 0.000 % | 1001.43/1001.45 c | 3411242 | 5192 19058 51527 | 1 155075 31 | 0.000 % | 1001.43/1001.45 c | 3411530 | 5192 19058 51527 | 1 155363 31 | 0.000 % | 1001.43/1001.45 c | 3412147 | 5192 19058 51527 | 1 155980 31 | 0.000 % | 1001.43/1001.45 c | 3412249 | 5192 19058 51527 | 1 156082 31 | 0.000 % | 1001.43/1001.45 c | 3441535 | 5192 19058 51527 | 1 185368 37 | 0.000 % | 1001.43/1001.45 c | 3441635 | 5192 19058 51527 | 1 185468 37 | 0.000 % | 1001.43/1001.45 c | 3454077 | 5192 19058 51527 | 1 197910 38 | 0.000 % | 1001.43/1001.45 c | 3454177 | 5192 19058 51527 | 1 198010 38 | 0.000 % | 1001.43/1001.45 c | 3454277 | 5192 19058 51527 | 1 198110 38 | 0.000 % | 1001.43/1001.45 c | 3480923 | 5192 19058 51527 | 1 224756 41 | 0.000 % | 1001.43/1001.45 c | 3481769 | 5192 19058 51527 | 1 225602 41 | 0.000 % | 1001.43/1001.45 c | 3481869 | 5192 19058 51527 | 1 225702 41 | 0.000 % | 1001.43/1001.45 c | 3491181 | 5192 19058 51527 | 1 235014 42 | 0.000 % | 1001.43/1001.45 c | 3491282 | 5192 19058 51527 | 1 235115 42 | 0.000 % | 1001.43/1001.45 c | 3498817 | 5192 19058 51527 | 1 242650 43 | 0.000 % | 1001.43/1001.45 c | 3498973 | 5192 19058 51527 | 1 242806 43 | 0.000 % | 1001.43/1001.45 c | 3499123 | 5192 19058 51527 | 1 242956 43 | 0.000 % | 1001.43/1001.45 c | 3508486 | 5192 19058 51527 | 1 252319 44 | 0.000 % | 1001.43/1001.45 c | 3508996 | 5192 19058 51527 | 1 252829 44 | 0.000 % | 1001.43/1001.45 c | 3512252 | 5192 19058 51527 | 1 256085 44 | 0.000 % | 1001.43/1001.45 c | 3522925 | 5192 19058 51527 | 1 135369 29 | 0.000 % | 1001.43/1001.45 c | 3526286 | 5192 19058 51527 | 1 138730 30 | 0.000 % | 1001.43/1001.45 c | 3527953 | 5192 19058 51527 | 1 140397 31 | 0.000 % | 1001.43/1001.45 c | 3528220 | 5192 19058 51527 | 1 140664 31 | 0.000 % | 1001.43/1001.45 c | 3549364 | 5192 19058 51527 | 1 161808 33 | 0.000 % | 1001.43/1001.45 c | 3551401 | 5192 19058 51527 | 1 163845 34 | 0.000 % | 1001.43/1001.45 c | 3587489 | 5192 19058 51527 | 1 199933 36 | 0.000 % | 1001.43/1001.45 c | 3587589 | 5192 19058 51527 | 1 200033 36 | 0.000 % | 1001.43/1001.45 c | 3621298 | 5192 19058 51527 | 1 233742 37 | 0.000 % | 1001.43/1001.45 c | 3621398 | 5192 19058 51527 | 1 233842 37 | 0.000 % | 1001.43/1001.45 c | 3621597 | 5192 19058 51527 | 1 234041 37 | 0.000 % | 1045.83/1045.81 c | 3622421 | 5192 19058 51527 | 1 234865 38 | 0.000 % | 1045.83/1045.81 c | 3622522 | 5192 19058 51527 | 1 234966 38 | 0.000 % | 1045.83/1045.81 c | 3622893 | 5192 19058 51527 | 1 235337 38 | 0.000 % | 1045.83/1045.81 c | 3623670 | 5192 19058 51527 | 1 236114 38 | 0.000 % | 1045.83/1045.81 c | 3623770 | 5192 19058 51527 | 1 236214 38 | 0.000 % | 1045.83/1045.81 c | 3624237 | 5192 19058 51527 | 1 236681 38 | 0.000 % | 1045.83/1045.81 c | 3625241 | 5192 19058 51527 | 1 237685 38 | 0.000 % | 1045.83/1045.81 c | 3631881 | 5192 19058 51527 | 1 244325 38 | 0.000 % | 1045.83/1045.81 c | 3634848 | 5192 19058 51527 | 1 247292 39 | 0.000 % | 1045.83/1045.81 c | 3634952 | 5192 19058 51527 | 1 247396 39 | 0.000 % | 1045.83/1045.81 c | 3639618 | 5192 19058 51527 | 1 252062 39 | 0.000 % | 1045.83/1045.81 c | 3640085 | 5192 19058 51527 | 1 252529 39 | 0.000 % | 1045.83/1045.81 c | 3643252 | 5192 19058 51527 | 1 255696 39 | 0.000 % | 1045.83/1045.81 c | 3646614 | 5192 19058 51527 | 1 259058 40 | 0.000 % | 1045.83/1045.81 c | 3649724 | 5192 19058 51527 | 1 262168 40 | 0.000 % | 1045.83/1045.81 c | 3649825 | 5192 19058 51527 | 1 262269 40 | 0.000 % | 1045.83/1045.81 c | 3650066 | 5192 19058 51527 | 1 262510 40 | 0.000 % | 1045.83/1045.81 c | 3650167 | 5192 19058 51527 | 1 262611 40 | 0.000 % | 1045.83/1045.81 c | 3657179 | 5192 19058 51527 | 1 135614 25 | 0.000 % | 1045.83/1045.81 c | 3657279 | 5192 19058 51527 | 1 135714 25 | 0.000 % | 1045.83/1045.81 c | 3664235 | 5192 19058 51527 | 1 142670 27 | 0.000 % | 1045.83/1045.81 c | 3664848 | 5192 19058 51527 | 1 143283 27 | 0.000 % | 1045.83/1045.81 c | 3669751 | 5192 19058 51527 | 1 148186 28 | 0.000 % | 1045.83/1045.81 c | 3671011 | 5192 19058 51527 | 1 149446 28 | 0.000 % | 1045.83/1045.81 c | 3702656 | 5192 19058 51527 | 1 181091 34 | 0.000 % | 1045.83/1045.81 c | 3702756 | 5192 19058 51527 | 1 181191 34 | 0.000 % | 1045.83/1045.81 c | 3702856 | 5192 19058 51527 | 1 181291 34 | 0.000 % | 1045.83/1045.81 c | 3711497 | 5192 19058 51527 | 1 189932 35 | 0.000 % | 1045.83/1045.81 c | 3712196 | 5192 19058 51527 | 1 190631 35 | 0.000 % | 1045.83/1045.81 c | 3712522 | 5192 19058 51527 | 1 190957 35 | 0.000 % | 1045.83/1045.81 c | 3712622 | 5192 19058 51527 | 1 191057 36 | 0.000 % | 1045.83/1045.81 c | 3712725 | 5192 19058 51527 | 1 191160 36 | 0.000 % | 1045.83/1045.81 c | 3712825 | 5192 19058 51527 | 1 191260 36 | 0.000 % | 1045.83/1045.81 c | 3721154 | 5192 19058 51527 | 1 199589 36 | 0.000 % | 1045.83/1045.81 c | 3721428 | 5192 19058 51527 | 1 199863 36 | 0.000 % | 1045.83/1045.81 c | 3722685 | 5192 19058 51527 | 1 201120 37 | 0.000 % | 1045.83/1045.81 c | 3722786 | 5192 19058 51527 | 1 201221 37 | 0.000 % | 1045.83/1045.81 c | 3725944 | 5192 19058 51527 | 1 204379 37 | 0.000 % | 1045.83/1045.81 c | 3726384 | 5192 19058 51527 | 1 204819 37 | 0.000 % | 1045.83/1045.81 c | 3730362 | 5192 19058 51527 | 1 208797 38 | 0.000 % | 1045.83/1045.81 c | 3732504 | 5192 19058 51527 | 1 210939 38 | 0.000 % | 1045.83/1045.81 c | 3735015 | 5192 19058 51527 | 1 213450 39 | 0.000 % | 1045.83/1045.81 c | 3735115 | 5192 19058 51527 | 1 213550 39 | 0.000 % | 1045.83/1045.81 c | 3735215 | 5192 19058 51527 | 1 213650 39 | 0.000 % | 1045.83/1045.81 c | 3735315 | 5192 19058 51527 | 1 213750 39 | 0.000 % | 1045.83/1045.81 c | 3736521 | 5192 19058 51527 | 1 214956 39 | 0.000 % | 1045.83/1045.81 c | 3736622 | 5192 19058 51527 | 1 215057 39 | 0.000 % | 1045.83/1045.81 c | 3736723 | 5192 19058 51527 | 1 215158 39 | 0.000 % | 1045.83/1045.81 c | 3737916 | 5192 19058 51527 | 1 216351 39 | 0.000 % | 1045.83/1045.81 c | 3739171 | 5192 19058 51527 | 1 217606 39 | 0.000 % | 1104.83/1104.81 c | 3739273 | 5192 19058 51527 | 1 217708 39 | 0.000 % | 1104.83/1104.81 c | 3739374 | 5192 19058 51527 | 1 217809 39 | 0.000 % | 1104.83/1104.81 c | 3739475 | 5192 19058 51527 | 1 217910 39 | 0.000 % | 1104.83/1104.81 c | 3739577 | 5192 19058 51527 | 1 218012 39 | 0.000 % | 1104.83/1104.81 c | 3741019 | 5192 19058 51527 | 1 219454 39 | 0.000 % | 1104.83/1104.81 c | 3751324 | 5192 19058 51527 | 1 229759 40 | 0.000 % | 1104.83/1104.81 c | 3752119 | 5192 19058 51527 | 1 230554 40 | 0.000 % | 1104.83/1104.81 c | 3753089 | 5192 19058 51527 | 1 231524 40 | 0.000 % | 1104.83/1104.81 c | 3755521 | 5192 19058 51527 | 1 233956 40 | 0.000 % | 1104.83/1104.81 c | 3755891 | 5192 19058 51527 | 1 234326 40 | 0.000 % | 1104.83/1104.81 c | 3756620 | 5192 19058 51527 | 1 235055 40 | 0.000 % | 1104.83/1104.81 c | 3756721 | 5192 19058 51527 | 1 235156 40 | 0.000 % | 1104.83/1104.81 c | 3757553 | 5192 19058 51527 | 1 235988 40 | 0.000 % | 1104.83/1104.81 c | 3761468 | 5192 19058 51527 | 1 239903 41 | 0.000 % | 1104.83/1104.81 c | 3761568 | 5192 19058 51527 | 1 240003 41 | 0.000 % | 1104.83/1104.81 c | 3763454 | 5192 19058 51527 | 1 241889 42 | 0.000 % | 1104.83/1104.81 c | 3765239 | 5192 19058 51527 | 1 243674 42 | 0.000 % | 1104.83/1104.81 c | 3765339 | 5192 19058 51527 | 1 243774 42 | 0.000 % | 1104.83/1104.81 c | 3767353 | 5192 19058 51527 | 1 245788 42 | 0.000 % | 1104.83/1104.81 c | 3767454 | 5192 19058 51527 | 1 245889 42 | 0.000 % | 1104.83/1104.81 c | 3769301 | 5192 19058 51527 | 1 247736 43 | 0.000 % | 1104.83/1104.81 c | 3769403 | 5192 19058 51527 | 1 247838 43 | 0.000 % | 1104.83/1104.81 c | 3773245 | 5192 19058 51527 | 1 251680 43 | 0.000 % | 1104.83/1104.81 c | 3773345 | 5192 19058 51527 | 1 251780 43 | 0.000 % | 1104.83/1104.81 c | 3779016 | 5192 19058 51527 | 1 257451 43 | 0.000 % | 1104.83/1104.81 c | 3780178 | 5192 19058 51527 | 1 258613 44 | 0.000 % | 1104.83/1104.81 c | 3780278 | 5192 19058 51527 | 1 258713 44 | 0.000 % | 1104.83/1104.81 c | 3784170 | 5192 19058 51527 | 1 262605 44 | 0.000 % | 1104.83/1104.81 c | 3790467 | 5192 19058 51527 | 1 268902 44 | 0.000 % | 1104.83/1104.81 c | 3797028 | 5192 19058 51527 | 1 138889 28 | 0.000 % | 1104.83/1104.81 c | 3797130 | 5192 19058 51527 | 1 138991 28 | 0.000 % | 1104.83/1104.81 c | 3850459 | 5192 19058 51527 | 1 192320 38 | 0.000 % | 1104.83/1104.81 c | 3850617 | 5192 19058 51527 | 1 192478 38 | 0.000 % | 1104.83/1104.81 c | 3857561 | 5192 19058 51527 | 1 199422 39 | 0.000 % | 1104.83/1104.81 c | 3857661 | 5192 19058 51527 | 1 199522 39 | 0.000 % | 1104.83/1104.81 c | 3857764 | 5192 19058 51527 | 1 199625 39 | 0.000 % | 1104.83/1104.81 c | 3859850 | 5192 19058 51527 | 1 201711 39 | 0.000 % | 1104.83/1104.81 c | 3861855 | 5192 19058 51527 | 1 203716 39 | 0.000 % | 1104.83/1104.81 c | 3865328 | 5192 19058 51527 | 1 207189 39 | 0.000 % | 1104.83/1104.81 c | 3869147 | 5192 19058 51527 | 1 211008 40 | 0.000 % | 1104.83/1104.81 c | 3869666 | 5192 19058 51527 | 1 211527 40 | 0.000 % | 1104.83/1104.81 c | 3869770 | 5192 19058 51527 | 1 211631 40 | 0.000 % | 1104.83/1104.81 c | 3869870 | 5192 19058 51527 | 1 211731 40 | 0.000 % | 1104.83/1104.81 c | 3870825 | 5192 19058 51527 | 1 212686 40 | 0.000 % | 1104.83/1104.81 c | 3871968 | 5192 19058 51527 | 1 213829 40 | 0.000 % | 1104.83/1104.81 c | 3873233 | 5192 19058 51527 | 1 215094 40 | 0.000 % | 1104.83/1104.81 c | 3873333 | 5192 19058 51527 | 1 215194 40 | 0.000 % | 1104.83/1104.81 c | 3883083 | 5192 19058 51527 | 1 224944 41 | 0.000 % | 1104.83/1104.81 c | 3886501 | 5192 19058 51527 | 1 228362 42 | 0.000 % | 1104.83/1104.81 c | 3893239 | 5192 19058 51527 | 1 235100 43 | 0.000 % | 1145.33/1145.37 c | 3893861 | 5192 19058 51527 | 1 235722 43 | 0.000 % | 1145.33/1145.37 c | 3897051 | 5192 19058 51527 | 1 238912 43 | 0.000 % | 1145.33/1145.37 c | 3900458 | 5192 19058 51527 | 1 242319 43 | 0.000 % | 1145.33/1145.37 c | 3901000 | 5192 19058 51527 | 1 242861 44 | 0.000 % | 1145.33/1145.37 c | 3908252 | 5192 19058 51527 | 1 250113 44 | 0.000 % | 1145.33/1145.37 c | 3911823 | 5192 19058 51527 | 1 253684 44 | 0.000 % | 1145.33/1145.37 c | 3911923 | 5192 19058 51527 | 1 253784 44 | 0.000 % | 1145.33/1145.37 c | 3923036 | 5192 19058 51527 | 1 264897 45 | 0.000 % | 1145.33/1145.37 c | 3924849 | 5192 19058 51527 | 1 266710 45 | 0.000 % | 1145.33/1145.37 c | 3924951 | 5192 19058 51527 | 1 266812 45 | 0.000 % | 1145.33/1145.37 c | 3925842 | 5192 19058 51527 | 1 267703 45 | 0.000 % | 1145.33/1145.37 c | 3925943 | 5192 19058 51527 | 1 267804 45 | 0.000 % | 1145.33/1145.37 c | 3931918 | 5192 19058 51527 | 1 273779 45 | 0.000 % | 1145.33/1145.37 c | 3934416 | 5192 19058 51527 | 1 276277 46 | 0.000 % | 1145.33/1145.37 c | 3936102 | 5192 19058 51527 | 1 277963 46 | 0.000 % | 1145.33/1145.37 c | 3937814 | 5192 19058 51527 | 1 140524 29 | 0.000 % | 1145.33/1145.37 c | 3938268 | 5192 19058 51527 | 1 140978 29 | 0.000 % | 1145.33/1145.37 c | 3938368 | 5192 19058 51527 | 1 141078 29 | 0.000 % | 1145.33/1145.37 c | 3938595 | 5192 19058 51527 | 1 141305 29 | 0.000 % | 1145.33/1145.37 c | 3940078 | 5192 19058 51527 | 1 142788 29 | 0.000 % | 1145.33/1145.37 c | 3940178 | 5192 19058 51527 | 1 142888 29 | 0.000 % | 1145.33/1145.37 c | 3940425 | 5192 19058 51527 | 1 143135 29 | 0.000 % | 1145.33/1145.37 c | 3954871 | 5192 19058 51527 | 1 157581 34 | 0.000 % | 1145.33/1145.37 c | 3956694 | 5192 19058 51527 | 1 159404 34 | 0.000 % | 1145.33/1145.37 c | 3956794 | 5192 19058 51527 | 1 159504 34 | 0.000 % | 1145.33/1145.37 c | 3957109 | 5192 19058 51527 | 1 159819 34 | 0.000 % | 1145.33/1145.37 c | 3957954 | 5192 19058 51527 | 1 160664 34 | 0.000 % | 1145.33/1145.37 c | 3958111 | 5192 19058 51527 | 1 160821 34 | 0.000 % | 1145.33/1145.37 c | 3958753 | 5192 19058 51527 | 1 161463 34 | 0.000 % | 1145.33/1145.37 c | 3959059 | 5192 19058 51527 | 1 161769 34 | 0.000 % | 1145.33/1145.37 c | 3963240 | 5192 19058 51527 | 1 165950 35 | 0.000 % | 1145.33/1145.37 c | 3963416 | 5192 19058 51527 | 1 166126 35 | 0.000 % | 1145.33/1145.37 c | 3968364 | 5192 19058 51527 | 1 171074 36 | 0.000 % | 1145.33/1145.37 c | 3970419 | 5192 19058 51527 | 1 173129 36 | 0.000 % | 1145.33/1145.37 c | 3970521 | 5192 19058 51527 | 1 173231 36 | 0.000 % | 1145.33/1145.37 c | 3970621 | 5192 19058 51527 | 1 173331 36 | 0.000 % | 1145.33/1145.37 c | 3972090 | 5192 19058 51527 | 1 174800 37 | 0.000 % | 1145.33/1145.37 c | 3972337 | 5192 19058 51527 | 1 175047 37 | 0.000 % | 1145.33/1145.37 c | 3977025 | 5192 19058 51527 | 1 179735 37 | 0.000 % | 1145.33/1145.37 c | 3978695 | 5192 19058 51527 | 1 181405 37 | 0.000 % | 1145.33/1145.37 c | 3978801 | 5192 19058 51527 | 1 181511 37 | 0.000 % | 1145.33/1145.37 c | 3984775 | 5192 19058 51527 | 1 187485 38 | 0.000 % | 1145.33/1145.37 c | 3985067 | 5192 19058 51527 | 1 187777 38 | 0.000 % | 1145.33/1145.37 c | 3985317 | 5192 19058 51527 | 1 188027 38 | 0.000 % | 1145.33/1145.37 c | 3985417 | 5192 19058 51527 | 1 188127 38 | 0.000 % | 1145.33/1145.37 c | 3991635 | 5192 19058 51527 | 1 194345 38 | 0.000 % | 1145.33/1145.37 c | 3993375 | 5192 19058 51527 | 1 196085 39 | 0.000 % | 1145.33/1145.37 c | 3993476 | 5192 19058 51527 | 1 196186 39 | 0.000 % | 1145.33/1145.37 c | 3994833 | 5192 19058 51527 | 1 197543 39 | 0.000 % | 1145.33/1145.37 c | 3997129 | 5192 19058 51527 | 1 199839 39 | 0.000 % | 1197.03/1197.07 c | 3997230 | 5192 19058 51527 | 1 199940 39 | 0.000 % | 1197.03/1197.07 c | 3997331 | 5192 19058 51527 | 1 200041 39 | 0.000 % | 1197.03/1197.07 c | 4001435 | 5192 19058 51527 | 1 204145 39 | 0.000 % | 1197.03/1197.07 c | 4005288 | 5192 19058 51527 | 1 207998 40 | 0.000 % | 1197.03/1197.07 c | 4011821 | 5192 19058 51527 | 1 214531 41 | 0.000 % | 1197.03/1197.07 c | 4014070 | 5192 19058 51527 | 1 216780 41 | 0.000 % | 1197.03/1197.07 c | 4014189 | 5192 19058 51527 | 1 216899 41 | 0.000 % | 1197.03/1197.07 c | 4014289 | 5192 19058 51527 | 1 216999 42 | 0.000 % | 1197.03/1197.07 c | 4016445 | 5192 19058 51527 | 1 219155 42 | 0.000 % | 1197.03/1197.07 c | 4017682 | 5192 19058 51527 | 1 220392 42 | 0.000 % | 1197.03/1197.07 c | 4017782 | 5192 19058 51527 | 1 220492 42 | 0.000 % | 1197.03/1197.07 c | 4058293 | 5192 19058 51527 | 1 261003 45 | 0.000 % | 1197.03/1197.07 c | 4065118 | 5192 19058 51527 | 1 267828 46 | 0.000 % | 1197.03/1197.07 c | 4065218 | 5192 19058 51527 | 1 267928 46 | 0.000 % | 1197.03/1197.07 c | 4065387 | 5192 19058 51527 | 1 268097 46 | 0.000 % | 1197.03/1197.07 c | 4069517 | 5192 19058 51527 | 1 272227 46 | 0.000 % | 1197.03/1197.07 c | 4069639 | 5192 19058 51527 | 1 272349 46 | 0.000 % | 1197.03/1197.07 c | 4069826 | 5192 19058 51527 | 1 272536 46 | 0.000 % | 1197.03/1197.07 c | 4069927 | 5192 19058 51527 | 1 272637 46 | 0.000 % | 1197.03/1197.07 c | 4081752 | 5192 19058 51527 | 1 142626 30 | 0.000 % | 1197.03/1197.07 c | 4082724 | 5192 19058 51527 | 1 143598 30 | 0.000 % | 1197.03/1197.07 c | 4082826 | 5192 19058 51527 | 1 143700 30 | 0.000 % | 1197.03/1197.07 c | 4083026 | 5192 19058 51527 | 1 143900 30 | 0.000 % | 1197.03/1197.07 c | 4083126 | 5192 19058 51527 | 1 144000 30 | 0.000 % | 1197.03/1197.07 c | 4083226 | 5192 19058 51527 | 1 144100 30 | 0.000 % | 1197.03/1197.07 c | 4083550 | 5192 19058 51527 | 1 144424 30 | 0.000 % | 1197.03/1197.07 c | 4087155 | 5192 19058 51527 | 1 148029 31 | 0.000 % | 1197.03/1197.07 c | 4087415 | 5192 19058 51527 | 1 148289 31 | 0.000 % | 1197.03/1197.07 c | 4087971 | 5192 19058 51527 | 1 148845 31 | 0.000 % | 1197.03/1197.07 c | 4088073 | 5192 19058 51527 | 1 148947 31 | 0.000 % | 1197.03/1197.07 c | 4097462 | 5192 19058 51527 | 1 158336 33 | 0.000 % | 1197.03/1197.07 c | 4100079 | 5192 19058 51527 | 1 160953 33 | 0.000 % | 1197.03/1197.07 c | 4100181 | 5192 19058 51527 | 1 161055 34 | 0.000 % | 1197.03/1197.07 c | 4102512 | 5192 19058 51527 | 1 163386 34 | 0.000 % | 1197.03/1197.07 c | 4102612 | 5192 19058 51527 | 1 163486 34 | 0.000 % | 1197.03/1197.07 c | 4127172 | 5192 19058 51527 | 1 188046 38 | 0.000 % | 1197.03/1197.07 c | 4130709 | 5192 19058 51527 | 1 191583 38 | 0.000 % | 1197.03/1197.07 c | 4130811 | 5192 19058 51527 | 1 191685 38 | 0.000 % | 1197.03/1197.07 c | 4131744 | 5192 19058 51527 | 1 192618 39 | 0.000 % | 1197.03/1197.07 c | 4131844 | 5192 19058 51527 | 1 192718 39 | 0.000 % | 1197.03/1197.07 c | 4132040 | 5192 19058 51527 | 1 192914 39 | 0.000 % | 1197.03/1197.07 c | 4132142 | 5192 19058 51527 | 1 193016 39 | 0.000 % | 1197.03/1197.07 c | 4141210 | 5192 19058 51527 | 1 202084 39 | 0.000 % | 1197.03/1197.07 c | 4146927 | 5192 19058 51527 | 1 207801 40 | 0.000 % | 1197.03/1197.07 c | 4149627 | 5192 19058 51527 | 1 210501 40 | 0.000 % | 1197.03/1197.07 c | 4149728 | 5192 19058 51527 | 1 210602 40 | 0.000 % | 1197.03/1197.07 c | 4149829 | 5192 19058 51527 | 1 210703 40 | 0.000 % | 1197.03/1197.07 c | 4150673 | 5192 19058 51527 | 1 211547 40 | 0.000 % | 1197.03/1197.07 c | 4154304 | 5192 19058 51527 | 1 215178 40 | 0.000 % | 1197.03/1197.07 c | 4154404 | 5192
ERROR: Unexpected answer ! (SATISFIABLE/UNSATISFIABLE expected) Got answer: <no 's ' line found>
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.0 (svn: 935) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3292944-1303781117/watcher-3292944-1303781117 -o /tmp/evaluation-result-3292944-1303781117/solver-3292944-1303781117 -C 2400 -W 1300 -M 7680 glucose.sh HOME/instance-3292944-1303781117.cnf running on 2 cores: 4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1300 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 7864320 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 7915520 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 4.06 4.00 3.81 4/192 25349 /proc/meminfo: memFree=28038268/32950928 swapFree=67111364/67111528 [pid=25349] ppid=25347 vsize=8704 CPUtime=0 cores=4,6 /proc/25349/stat : 25349 (glucose.sh) S 25347 25349 24832 0 -1 4202496 333 0 0 0 0 0 0 0 25 0 1 0 489711367 8912896 253 33554432000 4194304 4922060 140736375388336 18446744073709551615 208080051333 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/25349/statm: 2176 253 211 178 0 69 0 [startup+0.0418849 s] /proc/loadavg: 4.06 4.00 3.81 4/192 25349 /proc/meminfo: memFree=28038268/32950928 swapFree=67111364/67111528 [pid=25349] ppid=25347 vsize=8704 CPUtime=0 cores=4,6 /proc/25349/stat : 25349 (glucose.sh) S 25347 25349 24832 0 -1 4202496 333 0 0 0 0 0 0 0 25 0 1 0 489711367 8912896 253 33554432000 4194304 4922060 140736375388336 18446744073709551615 208080051333 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/25349/statm: 2176 253 211 178 0 69 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8704 [startup+0.100922 s] /proc/loadavg: 4.06 4.00 3.81 4/192 25349 /proc/meminfo: memFree=28038268/32950928 swapFree=67111364/67111528 [pid=25349] ppid=25347 vsize=8704 CPUtime=0.07 cores=4,6 /proc/25349/stat : 25349 (glucose.sh) S 25347 25349 24832 0 -1 4202496 359 1207 0 0 0 0 7 0 25 0 1 0 489711367 8912896 255 33554432000 4194304 4922060 140736375388336 18446744073709551615 208080051333 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/25349/statm: 2176 255 211 178 0 69 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 8704 [startup+0.300942 s] /proc/loadavg: 4.06 4.00 3.81 4/192 25349 /proc/meminfo: memFree=28038268/32950928 swapFree=67111364/67111528 [pid=25349] ppid=25347 vsize=8704 CPUtime=0.07 cores=4,6 /proc/25349/stat : 25349 (glucose.sh) S 25347 25349 24832 0 -1 4202496 359 1207 0 0 0 0 7 0 25 0 1 0 489711367 8912896 255 33554432000 4194304 4922060 140736375388336 18446744073709551615 208080051333 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/25349/statm: 2176 255 211 178 0 69 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 8704 [startup+0.700822 s] /proc/loadavg: 4.06 4.00 3.81 4/192 25349 /proc/meminfo: memFree=28038268/32950928 swapFree=67111364/67111528 [pid=25349] ppid=25347 vsize=8704 CPUtime=0.07 cores=4,6 /proc/25349/stat : 25349 (glucose.sh) S 25347 25349 24832 0 -1 4202496 359 1207 0 0 0 0 7 0 25 0 1 0 489711367 8912896 255 33554432000 4194304 4922060 140736375388336 18446744073709551615 208080051333 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/25349/statm: 2176 255 211 178 0 69 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 8704 [startup+1.50066 s] /proc/loadavg: 4.06 4.00 3.81 5/194 25352 /proc/meminfo: memFree=28030944/32950928 swapFree=67111364/67111528 [pid=25349] ppid=25347 vsize=8704 CPUtime=0.07 cores=4,6 /proc/25349/stat : 25349 (glucose.sh) S 25347 25349 24832 0 -1 4202496 359 1207 0 0 0 0 7 0 25 0 1 0 489711367 8912896 255 33554432000 4194304 4922060 140736375388336 18446744073709551615 208080051333 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/25349/statm: 2176 255 211 178 0 69 0 [pid=25352] ppid=25349 vsize=21308 CPUtime=1.41 cores=4,6 /proc/25352/stat : 25352 (glucose_static) R 25349 25349 24832 0 -1 4202496 2904 0 0 0 141 0 0 0 25 0 1 0 489711375 21819392 1764 33554432000 4194304 4260849 140734767889056 18446744073709551615 4225104 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/25352/statm: 5327 1764 250 17 0 1968 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 30012 [startup+3.1003 s] /proc/loadavg: 4.06 4.00 3.81 5/194 25352 /proc/meminfo: memFree=28028588/32950928 swapFree=67111364/67111528 [pid=25349] ppid=25347 vsize=8704 CPUtime=0.07 cores=4,6 /proc/25349/stat : 25349 (glucose.sh) S 25347 25349 24832 0 -1 4202496 359 1207 0 0 0 0 7 0 25 0 1 0 489711367 8912896 255 33554432000 4194304 4922060 140736375388336 18446744073709551615 208080051333 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/25349/statm: 2176 255 211 178 0 69 0 [pid=25352] ppid=25349 vsize=25660 CPUtime=3.01 cores=4,6 /proc/25352/stat : 25352 (glucose_static) R 25349 25349 24832 0 -1 4202496 3269 0 0 0 301 0 0 0 25 0 1 0 489711375 26275840 2119 33554432000 4194304 4260849 140734767889056 18446744073709551615 4224665 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/25352/statm: 6415 2119 251 17 0 3056 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 34364 [startup+6.30069 s] /proc/loadavg: 4.05 4.00 3.81 5/194 25352 /proc/meminfo: memFree=28024184/32950928 swapFree=67111364/67111528 [pid=25349] ppid=25347 vsize=8704 CPUtime=0.07 cores=4,6 /proc/25349/stat : 25349 (glucose.sh) S 25347 25349 24832 0 -1 4202496 359 1207 0 0 0 0 7 0 25 0 1 0 489711367 8912896 255 33554432000 4194304 4922060 140736375388336 18446744073709551615 208080051333 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/25349/statm: 2176 255 211 178 0 69 0 [pid=25352] ppid=25349 vsize=25660 CPUtime=6.21 cores=4,6 /proc/25352/stat : 25352 (glucose_static) R 25349 25349 24832 0 -1 4202496 4193 0 0 0 621 0 0 0 25 0 1 0 489711375 26275840 3011 33554432000 4194304 4260849 140734767889056 18446744073709551615 4224352 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/25352/statm: 6415 3011 251 17 0 3056 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 34364 [startup+12.7005 s] /proc/loadavg: 4.05 4.00 3.81 5/194 25352 /proc/meminfo: memFree=28020116/32950928 swapFree=67111364/67111528 [pid=25349] ppid=25347 vsize=8704 CPUtime=0.07 cores=4,6 /proc/25349/stat : 25349 (glucose.sh) S 25347 25349 24832 0 -1 4202496 359 1207 0 0 0 0 7 0 25 0 1 0 489711367 8912896 255 33554432000 4194304 4922060 140736375388336 18446744073709551615 208080051333 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/25349/statm: 2176 255 211 178 0 69 0 [pid=25352] ppid=25349 vsize=37284 CPUtime=12.62 cores=4,6 /proc/25352/stat : 25352 (glucose_static) R 25349 25349 24832 0 -1 4202496 6906 0 0 0 1261 1 0 0 25 0 1 0 489711375 38178816 4220 33554432000 4194304 4260849 140734767889056 18446744073709551615 4225124 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/25352/statm: 9321 4220 251 17 0 5962 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 45988 [startup+25.501 s] /proc/loadavg: 4.04 4.00 3.81 5/194 25353 /proc/meminfo: memFree=28008944/32950928 swapFree=67111364/67111528 [pid=25349] ppid=25347 vsize=8704 CPUtime=0.07 cores=4,6 /proc/25349/stat : 25349 (glucose.sh) S 25347 25349 24832 0 -1 4202496 359 1207 0 0 0 0 7 0 25 0 1 0 489711367 8912896 255 33554432000 4194304 4922060 140736375388336 18446744073709551615 208080051333 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/25349/statm: 2176 255 211 178 0 69 0 [pid=25352] ppid=25349 vsize=41704 CPUtime=25.41 cores=4,6 /proc/25352/stat : 25352 (glucose_static) R 25349 25349 24832 0 -1 4202496 9570 0 0 0 2540 1 0 0 25 0 1 0 489711375 42704896 6811 33554432000 4194304 4260849 140734767889056 18446744073709551615 4224647 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/25352/statm: 10426 6811 251 17 0 7067 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 50408 [startup+51.1002 s] /proc/loadavg: 4.02 4.00 3.82 5/194 25414 /proc/meminfo: memFree=28068948/32950928 swapFree=67111364/67111528 [pid=25349] ppid=25347 vsize=8704 CPUtime=0.07 cores=4,6 /proc/25349/stat : 25349 (glucose.sh) S 25347 25349 24832 0 -1 4202496 359 1207 0 0 0 0 7 0 25 0 1 0 489711367 8912896 255 33554432000 4194304 4922060 140736375388336 18446744073709551615 208080051333 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/25349/statm: 2176 255 211 178 0 69 0 [pid=25352] ppid=25349 vsize=44424 CPUtime=51.01 cores=4,6 /proc/25352/stat : 25352 (glucose_static) R 25349 25349 24832 0 -1 4202496 15317 0 0 0 5098 3 0 0 25 0 1 0 489711375 45490176 5054 33554432000 4194304 4260849 140734767889056 18446744073709551615 4224334 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/25352/statm: 11106 5054 251 17 0 7747 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 53128 [startup+102.307 s] /proc/loadavg: 4.08 4.02 3.83 5/194 25415 /proc/meminfo: memFree=28004172/32950928 swapFree=67111364/67111528 [pid=25349] ppid=25347 vsize=8704 CPUtime=0.07 cores=4,6 /proc/25349/stat : 25349 (glucose.sh) S 25347 25349 24832 0 -1 4202496 359 1207 0 0 0 0 7 0 25 0 1 0 489711367 8912896 255 33554432000 4194304 4922060 140736375388336 18446744073709551615 208080051333 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/25349/statm: 2176 255 211 178 0 69 0 [pid=25352] ppid=25349 vsize=63692 CPUtime=102.23 cores=4,6 /proc/25352/stat : 25352 (glucose_static) R 25349 25349 24832 0 -1 4202496 22407 0 0 0 10218 5 0 0 25 0 1 0 489711375 65220608 12007 33554432000 4194304 4260849 140734767889056 18446744073709551615 4225124 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/25352/statm: 15923 12007 251 17 0 12564 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 72396 [startup+162.301 s] /proc/loadavg: 4.03 4.01 3.83 5/194 25416 /proc/meminfo: memFree=27986352/32950928 swapFree=67111364/67111528 [pid=25349] ppid=25347 vsize=8704 CPUtime=0.07 cores=4,6 /proc/25349/stat : 25349 (glucose.sh) S 25347 25349 24832 0 -1 4202496 359 1207 0 0 0 0 7 0 25 0 1 0 489711367 8912896 255 33554432000 4194304 4922060 140736375388336 18446744073709551615 208080051333 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/25349/statm: 2176 255 211 178 0 69 0 [pid=25352] ppid=25349 vsize=94040 CPUtime=162.22 cores=4,6 /proc/25352/stat : 25352 (glucose_static) R 25349 25349 24832 0 -1 4202496 28425 0 0 0 16216 6 0 0 25 0 1 0 489711375 96296960 12749 33554432000 4194304 4260849 140734767889056 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/25352/statm: 23510 12749 251 17 0 20151 0 Current children cumulated CPU time (s) 162.29 Current children cumulated vsize (KiB) 102744 [startup+222.301 s] /proc/loadavg: 4.08 4.02 3.85 5/194 25418 /proc/meminfo: memFree=27898116/32950928 swapFree=67111364/67111528 [pid=25349] ppid=25347 vsize=8704 CPUtime=0.07 cores=4,6 /proc/25349/stat : 25349 (glucose.sh) S 25347 25349 24832 0 -1 4202496 359 1207 0 0 0 0 7 0 25 0 1 0 489711367 8912896 255 33554432000 4194304 4922060 140736375388336 18446744073709551615 208080051333 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/25349/statm: 2176 255 211 178 0 69 0 [pid=25352] ppid=25349 vsize=94040 CPUtime=222.23 cores=4,6 /proc/25352/stat : 25352 (glucose_static) R 25349 25349 24832 0 -1 4202496 36057 0 0 0 22215 8 0 0 25 0 1 0 489711375 96296960 20184 33554432000 4194304 4260849 140734767889056 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/25352/statm: 23510 20184 251 17 0 20151 0 Current children cumulated CPU time (s) 222.3 Current children cumulated vsize (KiB) 102744 [startup+282.301 s] /proc/loadavg: 4.09 4.03 3.86 5/194 25420 /proc/meminfo: memFree=27920244/32950928 swapFree=67111364/67111528 [pid=25349] ppid=25347 vsize=8704 CPUtime=0.07 cores=4,6 /proc/25349/stat : 25349 (glucose.sh) S 25347 25349 24832 0 -1 4202496 359 1207 0 0 0 0 7 0 25 0 1 0 489711367 8912896 255 33554432000 4194304 4922060 140736375388336 18446744073709551615 208080051333 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/25349/statm: 2176 255 211 178 0 69 0 [pid=25352] ppid=25349 vsize=99132 CPUtime=282.23 cores=4,6 /proc/25352/stat : 25352 (glucose_static) R 25349 25349 24832 0 -1 4202496 37373 0 0 0 28215 8 0 0 25 0 1 0 489711375 101511168 21457 33554432000 4194304 4260849 140734767889056 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/25352/statm: 24783 21457 251 17 0 21424 0 Current children cumulated CPU time (s) 282.3 Current children cumulated vsize (KiB) 107836 [startup+342.301 s] /proc/loadavg: 4.03 4.02 3.86 5/194 25421 /proc/meminfo: memFree=27912368/32950928 swapFree=67111364/67111528 [pid=25349] ppid=25347 vsize=8704 CPUtime=0.07 cores=4,6 /proc/25349/stat : 25349 (glucose.sh) S 25347 25349 24832 0 -1 4202496 359 1207 0 0 0 0 7 0 25 0 1 0 489711367 8912896 255 33554432000 4194304 4922060 140736375388336 18446744073709551615 208080051333 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/25349/statm: 2176 255 211 178 0 69 0 [pid=25352] ppid=25349 vsize=99132 CPUtime=342.23 cores=4,6 /proc/25352/stat : 25352 (glucose_static) R 25349 25349 24832 0 -1 4202496 37373 0 0 0 34215 8 0 0 25 0 1 0 489711375 101511168 21457 33554432000 4194304 4260849 140734767889056 18446744073709551615 4224632 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/25352/statm: 24783 21457 251 17 0 21424 0 Current children cumulated CPU time (s) 342.3 Current children cumulated vsize (KiB) 107836 [startup+402.3 s] /proc/loadavg: 4.01 4.02 3.87 5/194 25423 /proc/meminfo: memFree=27902132/32950928 swapFree=67111364/67111528 [pid=25349] ppid=25347 vsize=8704 CPUtime=0.07 cores=4,6 ################ # More data... # ################ /proc/25352/statm: 29530 21536 251 17 0 26171 0 Current children cumulated CPU time (s) 582.3 Current children cumulated vsize (KiB) 126824 [startup+642.3 s] /proc/loadavg: 4.00 4.00 3.89 5/194 25489 /proc/meminfo: memFree=27870324/32950928 swapFree=67111364/67111528 [pid=25349] ppid=25347 vsize=8704 CPUtime=0.07 cores=4,6 /proc/25349/stat : 25349 (glucose.sh) S 25347 25349 24832 0 -1 4202496 359 1207 0 0 0 0 7 0 25 0 1 0 489711367 8912896 255 33554432000 4194304 4922060 140736375388336 18446744073709551615 208080051333 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/25349/statm: 2176 255 211 178 0 69 0 [pid=25352] ppid=25349 vsize=118120 CPUtime=642.24 cores=4,6 /proc/25352/stat : 25352 (glucose_static) R 25349 25349 24832 0 -1 4202496 123615 0 0 0 64204 20 0 0 25 0 1 0 489711375 120954880 21536 33554432000 4194304 4260849 140734767889056 18446744073709551615 4224677 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/25352/statm: 29530 21536 251 17 0 26171 0 Current children cumulated CPU time (s) 642.31 Current children cumulated vsize (KiB) 126824 [startup+702.301 s] /proc/loadavg: 4.00 4.00 3.90 6/194 25491 /proc/meminfo: memFree=27867068/32950928 swapFree=67111364/67111528 [pid=25349] ppid=25347 vsize=8704 CPUtime=0.07 cores=4,6 /proc/25349/stat : 25349 (glucose.sh) S 25347 25349 24832 0 -1 4202496 359 1207 0 0 0 0 7 0 25 0 1 0 489711367 8912896 255 33554432000 4194304 4922060 140736375388336 18446744073709551615 208080051333 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/25349/statm: 2176 255 211 178 0 69 0 [pid=25352] ppid=25349 vsize=167440 CPUtime=702.24 cores=4,6 /proc/25352/stat : 25352 (glucose_static) R 25349 25349 24832 0 -1 4202496 142043 0 0 0 70201 23 0 0 25 0 1 0 489711375 171458560 29614 33554432000 4194304 4260849 140734767889056 18446744073709551615 4226333 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/25352/statm: 41860 29614 251 17 0 38501 0 Current children cumulated CPU time (s) 702.31 Current children cumulated vsize (KiB) 176144 [startup+762.307 s] /proc/loadavg: 4.00 4.00 3.90 5/194 25492 /proc/meminfo: memFree=27898508/32950928 swapFree=67111364/67111528 [pid=25349] ppid=25347 vsize=8704 CPUtime=0.07 cores=4,6 /proc/25349/stat : 25349 (glucose.sh) S 25347 25349 24832 0 -1 4202496 359 1207 0 0 0 0 7 0 25 0 1 0 489711367 8912896 255 33554432000 4194304 4922060 140736375388336 18446744073709551615 208080051333 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/25349/statm: 2176 255 211 178 0 69 0 [pid=25352] ppid=25349 vsize=118120 CPUtime=762.25 cores=4,6 /proc/25352/stat : 25352 (glucose_static) R 25349 25349 24832 0 -1 4202496 155635 0 0 0 76199 26 0 0 25 0 1 0 489711375 120954880 21536 33554432000 4194304 4260849 140734767889056 18446744073709551615 4224875 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/25352/statm: 29530 21536 251 17 0 26171 0 Current children cumulated CPU time (s) 762.32 Current children cumulated vsize (KiB) 126824 [startup+822.3 s] /proc/loadavg: 4.00 4.00 3.91 6/194 25494 /proc/meminfo: memFree=27814120/32950928 swapFree=67111364/67111528 [pid=25349] ppid=25347 vsize=8704 CPUtime=0.07 cores=4,6 /proc/25349/stat : 25349 (glucose.sh) S 25347 25349 24832 0 -1 4202496 359 1207 0 0 0 0 7 0 25 0 1 0 489711367 8912896 255 33554432000 4194304 4922060 140736375388336 18446744073709551615 208080051333 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/25349/statm: 2176 255 211 178 0 69 0 [pid=25352] ppid=25349 vsize=167440 CPUtime=822.24 cores=4,6 /proc/25352/stat : 25352 (glucose_static) R 25349 25349 24832 0 -1 4202496 175847 0 0 0 82195 29 0 0 25 0 1 0 489711375 171458560 31402 33554432000 4194304 4260849 140734767889056 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/25352/statm: 41860 31402 251 17 0 38501 0 Current children cumulated CPU time (s) 822.31 Current children cumulated vsize (KiB) 176144 [startup+882.301 s] /proc/loadavg: 4.00 4.00 3.91 5/194 25496 /proc/meminfo: memFree=27852740/32950928 swapFree=67111364/67111528 [pid=25349] ppid=25347 vsize=8704 CPUtime=0.07 cores=4,6 /proc/25349/stat : 25349 (glucose.sh) S 25347 25349 24832 0 -1 4202496 359 1207 0 0 0 0 7 0 25 0 1 0 489711367 8912896 255 33554432000 4194304 4922060 140736375388336 18446744073709551615 208080051333 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/25349/statm: 2176 255 211 178 0 69 0 [pid=25352] ppid=25349 vsize=118120 CPUtime=882.25 cores=4,6 /proc/25352/stat : 25352 (glucose_static) R 25349 25349 24832 0 -1 4202496 188795 0 0 0 88193 32 0 0 25 0 1 0 489711375 120954880 21536 33554432000 4194304 4260849 140734767889056 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/25352/statm: 29530 21536 251 17 0 26171 0 Current children cumulated CPU time (s) 882.32 Current children cumulated vsize (KiB) 126824 [startup+942.3 s] /proc/loadavg: 4.00 4.00 3.91 5/194 25497 /proc/meminfo: memFree=27833364/32950928 swapFree=67111364/67111528 [pid=25349] ppid=25347 vsize=8704 CPUtime=0.07 cores=4,6 /proc/25349/stat : 25349 (glucose.sh) S 25347 25349 24832 0 -1 4202496 359 1207 0 0 0 0 7 0 25 0 1 0 489711367 8912896 255 33554432000 4194304 4922060 140736375388336 18446744073709551615 208080051333 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/25349/statm: 2176 255 211 178 0 69 0 [pid=25352] ppid=25349 vsize=167440 CPUtime=942.25 cores=4,6 /proc/25352/stat : 25352 (glucose_static) R 25349 25349 24832 0 -1 4202496 209293 0 0 0 94189 36 0 0 25 0 1 0 489711375 171458560 31197 33554432000 4194304 4260849 140734767889056 18446744073709551615 4224632 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/25352/statm: 41860 31197 251 17 0 38501 0 Current children cumulated CPU time (s) 942.32 Current children cumulated vsize (KiB) 176144 [startup+1002.3 s] /proc/loadavg: 4.00 4.00 3.91 5/194 25499 /proc/meminfo: memFree=27754696/32950928 swapFree=67111364/67111528 [pid=25349] ppid=25347 vsize=8704 CPUtime=0.07 cores=4,6 /proc/25349/stat : 25349 (glucose.sh) S 25347 25349 24832 0 -1 4202496 359 1207 0 0 0 0 7 0 25 0 1 0 489711367 8912896 255 33554432000 4194304 4922060 140736375388336 18446744073709551615 208080051333 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/25349/statm: 2176 255 211 178 0 69 0 [pid=25352] ppid=25349 vsize=167440 CPUtime=1002.26 cores=4,6 /proc/25352/stat : 25352 (glucose_static) R 25349 25349 24832 0 -1 4202496 221300 0 0 0 100187 39 0 0 25 0 1 0 489711375 171458560 30973 33554432000 4194304 4260849 140734767889056 18446744073709551615 4224867 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/25352/statm: 41860 30973 251 17 0 38501 0 Current children cumulated CPU time (s) 1002.33 Current children cumulated vsize (KiB) 176144 [startup+1062.3 s] /proc/loadavg: 4.00 4.00 3.91 5/194 25500 /proc/meminfo: memFree=27784380/32950928 swapFree=67111364/67111528 [pid=25349] ppid=25347 vsize=8704 CPUtime=0.07 cores=4,6 /proc/25349/stat : 25349 (glucose.sh) S 25347 25349 24832 0 -1 4202496 359 1207 0 0 0 0 7 0 25 0 1 0 489711367 8912896 255 33554432000 4194304 4922060 140736375388336 18446744073709551615 208080051333 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/25349/statm: 2176 255 211 178 0 69 0 [pid=25352] ppid=25349 vsize=167440 CPUtime=1062.26 cores=4,6 /proc/25352/stat : 25352 (glucose_static) R 25349 25349 24832 0 -1 4202496 234899 0 0 0 106184 42 0 0 25 0 1 0 489711375 171458560 32995 33554432000 4194304 4260849 140734767889056 18446744073709551615 4224906 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/25352/statm: 41860 32995 251 17 0 38501 0 Current children cumulated CPU time (s) 1062.33 Current children cumulated vsize (KiB) 176144 [startup+1122.3 s] /proc/loadavg: 4.00 4.00 3.91 5/194 25502 /proc/meminfo: memFree=27737204/32950928 swapFree=67111364/67111528 [pid=25349] ppid=25347 vsize=8704 CPUtime=0.07 cores=4,6 /proc/25349/stat : 25349 (glucose.sh) S 25347 25349 24832 0 -1 4202496 359 1207 0 0 0 0 7 0 25 0 1 0 489711367 8912896 255 33554432000 4194304 4922060 140736375388336 18446744073709551615 208080051333 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/25349/statm: 2176 255 211 178 0 69 0 [pid=25352] ppid=25349 vsize=198260 CPUtime=1122.25 cores=4,6 /proc/25352/stat : 25352 (glucose_static) R 25349 25349 24832 0 -1 4202496 249523 0 0 0 112180 45 0 0 25 0 1 0 489711375 203018240 34819 33554432000 4194304 4260849 140734767889056 18446744073709551615 4225080 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/25352/statm: 49565 34819 251 17 0 46206 0 Current children cumulated CPU time (s) 1122.32 Current children cumulated vsize (KiB) 206964 [startup+1182.3 s] /proc/loadavg: 4.05 4.01 3.91 5/194 25504 /proc/meminfo: memFree=27790816/32950928 swapFree=67111364/67111528 [pid=25349] ppid=25347 vsize=8704 CPUtime=0.07 cores=4,6 /proc/25349/stat : 25349 (glucose.sh) S 25347 25349 24832 0 -1 4202496 359 1207 0 0 0 0 7 0 25 0 1 0 489711367 8912896 255 33554432000 4194304 4922060 140736375388336 18446744073709551615 208080051333 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/25349/statm: 2176 255 211 178 0 69 0 [pid=25352] ppid=25349 vsize=118120 CPUtime=1182.26 cores=4,6 /proc/25352/stat : 25352 (glucose_static) R 25349 25349 24832 0 -1 4202496 264006 0 0 0 118177 49 0 0 25 0 1 0 489711375 120954880 21536 33554432000 4194304 4260849 140734767889056 18446744073709551615 4225114 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/25352/statm: 29530 21536 251 17 0 26171 0 Current children cumulated CPU time (s) 1182.33 Current children cumulated vsize (KiB) 126824 [startup+1242.3 s] /proc/loadavg: 3.96 3.99 3.91 6/194 25566 /proc/meminfo: memFree=27955156/32950928 swapFree=67111364/67111528 [pid=25349] ppid=25347 vsize=8704 CPUtime=0.07 cores=4,6 /proc/25349/stat : 25349 (glucose.sh) S 25347 25349 24832 0 -1 4202496 359 1207 0 0 0 0 7 0 25 0 1 0 489711367 8912896 255 33554432000 4194304 4922060 140736375388336 18446744073709551615 208080051333 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/25349/statm: 2176 255 211 178 0 69 0 [pid=25352] ppid=25349 vsize=118120 CPUtime=1242.26 cores=4,6 /proc/25352/stat : 25352 (glucose_static) R 25349 25349 24832 0 -1 4202496 277619 0 0 0 124173 53 0 0 25 0 1 0 489711375 120954880 21536 33554432000 4194304 4260849 140734767889056 18446744073709551615 4224808 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/25352/statm: 29530 21536 251 17 0 26171 0 Current children cumulated CPU time (s) 1242.33 Current children cumulated vsize (KiB) 126824 Maximum wall clock time exceeded: sending SIGTERM then SIGKILL [startup+1300 s] /proc/loadavg: 3.98 3.99 3.91 5/194 25568 /proc/meminfo: memFree=27894732/32950928 swapFree=67111364/67111528 [pid=25349] ppid=25347 vsize=8704 CPUtime=0.07 cores=4,6 /proc/25349/stat : 25349 (glucose.sh) S 25347 25349 24832 0 -1 4202496 359 1207 0 0 0 0 7 0 25 0 1 0 489711367 8912896 255 33554432000 4194304 4922060 140736375388336 18446744073709551615 208080051333 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/25349/statm: 2176 255 211 178 0 69 0 [pid=25352] ppid=25349 vsize=167440 CPUtime=1299.97 cores=4,6 /proc/25352/stat : 25352 (glucose_static) R 25349 25349 24832 0 -1 4202496 300951 0 0 0 129939 58 0 0 25 0 1 0 489711375 171458560 31589 33554432000 4194304 4260849 140734767889056 18446744073709551615 4209287 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/25352/statm: 41860 31589 251 17 0 38501 0 Current children cumulated CPU time (s) 1300.04 Current children cumulated vsize (KiB) 176144 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child ended because it received signal 15 (SIGTERM) # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 25349 and gives # childrusage.ru_utime.tv_sec=0 # childrusage.ru_utime.tv_usec=72988 # childrusage.ru_stime.tv_sec=0 # childrusage.ru_stime.tv_usec=3999 # CPU time returned by wait4() is 0.076987 # while last known CPU time is 1300.04 # # Solver probably didn't/couldn't wait for its children # Using CPU time of the last sample as value... Real time (s): 1300.01 CPU time (s): 1300.04 CPU user time (s): 1299.46 CPU system time (s): 0.58 CPU usage (%): 100.002 Max. virtual memory (cumulated for all children) (KiB): 206964 getrusage(RUSAGE_CHILDREN,...) data: user time used= 0.072988 system time used= 0.003999 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 1566 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 7 involuntary context switches= 3 runsolver used 2.07968 second user time and 5.02823 second system time The end
Begin job on node127 at 2011-04-26 03:25:17 IDJOB=3292944 IDBENCH=87988 IDSOLVER=1651 FILE ID=node127/3292944-1303781117 RUNJOBID= node127-1303779629-24851 PBS_JOBID= 13157213 Free space on /tmp= 71188 MiB SOLVER NAME= glucose 2 BENCH NAME= SAT02/industrial/goldberg/rand_net/rand_net70-60-10.shuffled.cnf COMMAND LINE= glucose.sh BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3292944-1303781117/watcher-3292944-1303781117 -o /tmp/evaluation-result-3292944-1303781117/solver-3292944-1303781117 -C 2400 -W 1300 -M 7680 glucose.sh HOME/instance-3292944-1303781117.cnf TIME LIMIT= 2400 seconds MEMORY LIMIT= 7680 MiB NBCORE= 2 MD5SUM BENCH= 6ebe2de27b5534e626cb88c01abcf6c6 RANDOM SEED=1861498804 node127.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.823 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5333.64 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.823 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.83 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.823 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.823 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.86 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.823 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.823 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.823 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.60 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.823 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.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32950928 kB MemFree: 28038424 kB Buffers: 1256940 kB Cached: 2898276 kB SwapCached: 0 kB Active: 884388 kB Inactive: 3559992 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32950928 kB LowFree: 28038424 kB SwapTotal: 67111528 kB SwapFree: 67111364 kB Dirty: 1752 kB Writeback: 0 kB AnonPages: 288924 kB Mapped: 15648 kB Slab: 402112 kB PageTables: 5676 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83586992 kB Committed_AS: 489548 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= 71164 MiB End job on node127 at 2011-04-26 03:46:59