Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
glucose 2 | ? (TO) | 5000.12 | 4999.95 |
Name | crafted/spence/sgen/ sgen3-n140-s20078956-unsat.cnf |
MD5SUM | 8d05c170d9e6ebfc370bd1d7f7c63d86 |
Bench Category | CRAFTED (crafted instances) |
Best result obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 141 |
Number of clauses | 292 |
Sum of the clauses size | 876 |
Maximum clause length | 3 |
Minimum clause length | 3 |
Number of clauses of size 1 | 0 |
Number of clauses of size 2 | 0 |
Number of clauses of size 3 | 292 |
Number of clauses of size 4 | 0 |
Number of clauses of size 5 | 0 |
Number of clauses of size over 5 | 0 |
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.00 c ============================================================================== 0.00/0.00 c | | ORIGINAL | LEARNT | | 0.00/0.00 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress | 0.00/0.00 c ============================================================================== 0.00/0.00 c | 0 | 292 876 | 87 0 0 nan | 0.000 % | 0.00/0.00 c ============================================================================== 0.00/0.00 c Result : #vars: 141 #clauses: 292 #literals: 876 0.00/0.00 c CPU time: 0 s 0.00/0.00 c ============================================================================== 0.00/0.00 c 0.00/0.00 c Starting glucose 0.00/0.00 c 687.91/687.95 c This is glucose 2.0 -- based on MiniSAT (Many thanks to MiniSAT team) 687.91/687.95 c WARNING: for repeatability, setting FPU to use double precision 687.91/687.95 c ============================[ Problem Statistics ]============================= 687.91/687.95 c | | 687.91/687.95 c | Number of variables: 141 | 687.91/687.95 c | Number of clauses: 292 | 687.91/687.95 c | Parse time: 0.00 s | 687.91/687.95 c | | 687.91/687.95 c ============================[ Search Statistics ]============================== 687.91/687.95 c | Conflicts | ORIGINAL | LEARNT | Progress | 687.91/687.95 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | | 687.91/687.95 c =============================================================================== 687.91/687.95 c | 28478 | 141 292 876 | 1 15442 22 | 0.000 % | 687.91/687.95 c | 3813013 | 141 292 876 | 1 154837 17 | 0.000 % | 687.91/687.95 c | 3813779 | 141 292 876 | 1 155603 17 | 0.000 % | 687.91/687.95 c | 3815033 | 141 292 876 | 1 156857 17 | 0.000 % | 687.91/687.95 c | 3816396 | 141 292 876 | 1 158220 17 | 0.000 % | 687.91/687.95 c | 3816750 | 141 292 876 | 1 158574 17 | 0.000 % | 687.91/687.95 c | 3817915 | 141 292 876 | 1 159739 17 | 0.000 % | 687.91/687.95 c | 3839051 | 141 292 876 | 1 180875 18 | 0.000 % | 687.91/687.95 c | 3841009 | 141 292 876 | 1 182833 18 | 0.000 % | 687.91/687.95 c | 3843796 | 141 292 876 | 1 185620 18 | 0.000 % | 687.91/687.95 c | 5577645 | 141 292 876 | 1 245260 18 | 0.000 % | 687.91/687.95 c | 5586564 | 141 292 876 | 1 254179 18 | 0.000 % | 687.91/687.95 c | 5587330 | 141 292 876 | 1 254945 18 | 0.000 % | 687.91/687.95 c | 5635251 | 141 292 876 | 1 302866 19 | 0.000 % | 687.91/687.95 c | 5643204 | 141 292 876 | 1 310819 19 | 0.000 % | 687.91/687.95 c | 5645587 | 141 292 876 | 1 313202 19 | 0.000 % | 687.91/687.95 c | 5646619 | 141 292 876 | 1 314234 19 | 0.000 % | 687.91/687.95 c | 5647487 | 141 292 876 | 1 315102 19 | 0.000 % | 687.91/687.95 c | 5656048 | 141 292 876 | 1 323663 19 | 0.000 % | 687.91/687.95 c | 5656816 | 141 292 876 | 1 324431 19 | 0.000 % | 687.91/687.95 c | 5657476 | 141 292 876 | 1 325091 19 | 0.000 % | 687.91/687.95 c | 5659169 | 141 292 876 | 1 326784 19 | 0.000 % | 687.91/687.95 c | 5663435 | 141 292 876 | 1 331050 19 | 0.000 % | 687.91/687.95 c | 5692438 | 141 292 876 | 1 192254 15 | 0.000 % | 687.91/687.95 c | 5693826 | 141 292 876 | 1 193642 16 | 0.000 % | 687.91/687.95 c | 5695000 | 141 292 876 | 1 194816 16 | 0.000 % | 687.91/687.95 c | 5696436 | 141 292 876 | 1 196252 16 | 0.000 % | 687.91/687.95 c | 5698951 | 141 292 876 | 1 198767 16 | 0.000 % | 687.91/687.95 c | 5700336 | 141 292 876 | 1 200152 16 | 0.000 % | 687.91/687.95 c | 5740937 | 141 292 876 | 1 240753 17 | 0.000 % | 687.91/687.95 c | 5741194 | 141 292 876 | 1 241010 17 | 0.000 % | 687.91/687.95 c | 5742255 | 141 292 876 | 1 242071 17 | 0.000 % | 687.91/687.95 c | 5743354 | 141 292 876 | 1 243170 17 | 0.000 % | 687.91/687.95 c | 5743519 | 141 292 876 | 1 243335 17 | 0.000 % | 687.91/687.95 c | 5748467 | 141 292 876 | 1 248283 17 | 0.000 % | 687.91/687.95 c | 5758111 | 141 292 876 | 1 257927 18 | 0.000 % | 687.91/687.95 c | 5764226 | 141 292 876 | 1 264042 18 | 0.000 % | 687.91/687.95 c | 5766419 | 141 292 876 | 1 266235 18 | 0.000 % | 687.91/687.95 c | 5769023 | 141 292 876 | 1 268839 18 | 0.000 % | 859.02/859.06 c | 5772696 | 141 292 876 | 1 272512 18 | 0.000 % | 859.02/859.06 c | 5874759 | 141 292 876 | 1 204176 16 | 0.000 % | 859.02/859.06 c | 5876456 | 141 292 876 | 1 205873 16 | 0.000 % | 859.02/859.06 c | 5878067 | 141 292 876 | 1 207484 16 | 0.000 % | 859.02/859.06 c | 5878608 | 141 292 876 | 1 208025 16 | 0.000 % | 859.02/859.06 c | 5879858 | 141 292 876 | 1 209275 16 | 0.000 % | 859.02/859.06 c | 5881146 | 141 292 876 | 1 210563 16 | 0.000 % | 859.02/859.06 c | 5881363 | 141 292 876 | 1 210780 16 | 0.000 % | 859.02/859.06 c | 5884032 | 141 292 876 | 1 213449 16 | 0.000 % | 859.02/859.06 c | 5884193 | 141 292 876 | 1 213610 16 | 0.000 % | 859.02/859.06 c | 5884372 | 141 292 876 | 1 213789 16 | 0.000 % | 859.02/859.06 c | 5885517 | 141 292 876 | 1 214934 17 | 0.000 % | 859.02/859.06 c | 5885770 | 141 292 876 | 1 215187 17 | 0.000 % | 859.02/859.06 c | 5887379 | 141 292 876 | 1 216796 17 | 0.000 % | 859.02/859.06 c | 5888989 | 141 292 876 | 1 218406 17 | 0.000 % | 859.02/859.06 c | 5890056 | 141 292 876 | 1 219473 17 | 0.000 % | 859.02/859.06 c | 5890513 | 141 292 876 | 1 219930 17 | 0.000 % | 859.02/859.06 c | 5891201 | 141 292 876 | 1 220618 17 | 0.000 % | 859.02/859.06 c | 5929260 | 141 292 876 | 1 258677 18 | 0.000 % | 859.02/859.06 c | 5929891 | 141 292 876 | 1 259308 18 | 0.000 % | 859.02/859.06 c | 5931112 | 141 292 876 | 1 260529 18 | 0.000 % | 859.02/859.06 c | 5933592 | 141 292 876 | 1 263009 18 | 0.000 % | 859.02/859.06 c | 5933706 | 141 292 876 | 1 263123 18 | 0.000 % | 859.02/859.06 c | 5938234 | 141 292 876 | 1 267651 18 | 0.000 % | 859.02/859.06 c | 5939419 | 141 292 876 | 1 268836 18 | 0.000 % | 859.02/859.06 c | 5940016 | 141 292 876 | 1 269433 18 | 0.000 % | 859.02/859.06 c | 5947294 | 141 292 876 | 1 276711 19 | 0.000 % | 859.02/859.06 c | 5947516 | 141 292 876 | 1 276933 19 | 0.000 % | 859.02/859.06 c | 5947711 | 141 292 876 | 1 277128 19 | 0.000 % | 859.02/859.06 c | 6441055 | 141 292 876 | 1 243674 17 | 0.000 % | 859.02/859.06 c | 6458629 | 141 292 876 | 1 261248 17 | 0.000 % | 859.02/859.06 c | 6461802 | 141 292 876 | 1 264421 17 | 0.000 % | 859.02/859.06 c | 6465290 | 141 292 876 | 1 267909 17 | 0.000 % | 859.02/859.06 c | 6465493 | 141 292 876 | 1 268112 17 | 0.000 % | 859.02/859.06 c | 6484933 | 141 292 876 | 1 287552 18 | 0.000 % | 859.02/859.06 c | 6486903 | 141 292 876 | 1 289522 18 | 0.000 % | 859.02/859.06 c | 6494215 | 141 292 876 | 1 296834 18 | 0.000 % | 859.02/859.06 c | 6502359 | 141 292 876 | 1 304978 18 | 0.000 % | 859.02/859.06 c | 6505306 | 141 292 876 | 1 307925 18 | 0.000 % | 859.02/859.06 c | 6921465 | 141 292 876 | 1 359893 18 | 0.000 % | 859.02/859.06 c | 6923403 | 141 292 876 | 1 361831 19 | 0.000 % | 859.02/859.06 c | 6934802 | 141 292 876 | 1 187219 13 | 0.000 % | 859.02/859.06 c | 6940330 | 141 292 876 | 1 192747 14 | 0.000 % | 859.02/859.06 c | 6945886 | 141 292 876 | 1 198303 14 | 0.000 % | 859.02/859.06 c | 6946051 | 141 292 876 | 1 198468 14 | 0.000 % | 859.02/859.06 c | 6950920 | 141 292 876 | 1 203337 14 | 0.000 % | 859.02/859.06 c | 6956723 | 141 292 876 | 1 209140 15 | 0.000 % | 859.02/859.06 c | 6957140 | 141 292 876 | 1 209557 15 | 0.000 % | 859.02/859.06 c | 6957240 | 141 292 876 | 1 209657 15 | 0.000 % | 859.02/859.06 c | 6959814 | 141 292 876 | 1 212231 15 | 0.000 % | 1119.43/1119.44 c | 6960673 | 141 292 876 | 1 213090 15 | 0.000 % | 1119.43/1119.44 c | 6963897 | 141 292 876 | 1 216314 15 | 0.000 % | 1119.43/1119.44 c | 6964374 | 141 292 876 | 1 216791 15 | 0.000 % | 1119.43/1119.44 c | 6970406 | 141 292 876 | 1 222823 15 | 0.000 % | 1119.43/1119.44 c | 6971373 | 141 292 876 | 1 223790 15 | 0.000 % | 1119.43/1119.44 c | 6972432 | 141 292 876 | 1 224849 15 | 0.000 % | 1119.43/1119.44 c | 6982254 | 141 292 876 | 1 234671 16 | 0.000 % | 1119.43/1119.44 c | 6983031 | 141 292 876 | 1 235448 16 | 0.000 % | 1119.43/1119.44 c | 6984035 | 141 292 876 | 1 236452 16 | 0.000 % | 1119.43/1119.44 c | 6985336 | 141 292 876 | 1 237753 16 | 0.000 % | 1119.43/1119.44 c | 6987577 | 141 292 876 | 1 239994 16 | 0.000 % | 1119.43/1119.44 c | 7038985 | 141 292 876 | 1 291402 17 | 0.000 % | 1119.43/1119.44 c | 7039126 | 141 292 876 | 1 291543 17 | 0.000 % | 1119.43/1119.44 c | 7075784 | 141 292 876 | 1 328201 18 | 0.000 % | 1119.43/1119.44 c | 7076560 | 141 292 876 | 1 328977 18 | 0.000 % | 1119.43/1119.44 c | 7130565 | 141 292 876 | 1 194382 14 | 0.000 % | 1119.43/1119.44 c | 7134388 | 141 292 876 | 1 198205 14 | 0.000 % | 1119.43/1119.44 c | 7134631 | 141 292 876 | 1 198448 14 | 0.000 % | 1119.43/1119.44 c | 7136026 | 141 292 876 | 1 199843 14 | 0.000 % | 1119.43/1119.44 c | 7136308 | 141 292 876 | 1 200125 14 | 0.000 % | 1119.43/1119.44 c | 7560176 | 141 292 876 | 1 238997 16 | 0.000 % | 1119.43/1119.44 c | 7561019 | 141 292 876 | 1 239840 16 | 0.000 % | 1119.43/1119.44 c | 7592453 | 141 292 876 | 1 271274 17 | 0.000 % | 1119.43/1119.44 c | 7592675 | 141 292 876 | 1 271496 17 | 0.000 % | 1119.43/1119.44 c | 7632687 | 141 292 876 | 1 311508 19 | 0.000 % | 1119.43/1119.44 c | 7634490 | 141 292 876 | 1 313311 19 | 0.000 % | 1119.43/1119.44 c | 7641708 | 141 292 876 | 1 320529 19 | 0.000 % | 1119.43/1119.44 c | 7665488 | 141 292 876 | 1 344309 19 | 0.000 % | 1119.43/1119.44 c | 7668149 | 141 292 876 | 1 346970 19 | 0.000 % | 1119.43/1119.44 c | 7668876 | 141 292 876 | 1 347697 19 | 0.000 % | 1119.43/1119.44 c | 7671258 | 141 292 876 | 1 350079 19 | 0.000 % | 1119.43/1119.44 c | 7671814 | 141 292 876 | 1 350635 19 | 0.000 % | 1119.43/1119.44 c | 7673437 | 141 292 876 | 1 352258 19 | 0.000 % | 1119.43/1119.44 c | 7680604 | 141 292 876 | 1 359425 19 | 0.000 % | 1119.43/1119.44 c | 7686080 | 141 292 876 | 1 364901 19 | 0.000 % | 1119.43/1119.44 c | 7687578 | 141 292 876 | 1 366399 19 | 0.000 % | 1119.43/1119.44 c | 7688020 | 141 292 876 | 1 366841 19 | 0.000 % | 1119.43/1119.44 c | 7688563 | 141 292 876 | 1 367384 19 | 0.000 % | 1119.43/1119.44 c | 7689329 | 141 292 876 | 1 368150 19 | 0.000 % | 1119.43/1119.44 c | 7689723 | 141 292 876 | 1 368544 19 | 0.000 % | 1119.43/1119.44 c | 7690362 | 141 292 876 | 1 369183 19 | 0.000 % | 1119.43/1119.44 c | 7691081 | 141 292 876 | 1 369902 19 | 0.000 % | 1119.43/1119.44 c | 7691183 | 141 292 876 | 1 370004 19 | 0.000 % | 1119.43/1119.44 c | 7692249 | 141 292 876 | 1 371070 20 | 0.000 % | 1119.43/1119.44 c | 7705253 | 141 292 876 | 1 384074 20 | 0.000 % | 1119.43/1119.44 c | 8548286 | 141 292 876 | 1 219107 14 | 0.000 % | 1119.43/1119.44 c | 8549259 | 141 292 876 | 1 220080 14 | 0.000 % | 1119.43/1119.44 c | 8550003 | 141 292 876 | 1 220824 14 | 0.000 % | 1119.43/1119.44 c | 8631510 | 141 292 876 | 1 302331 17 | 0.000 % | 1119.43/1119.44 c | 8631811 | 141 292 876 | 1 302632 17 | 0.000 % | 1383.94/1383.92 c | 8633129 | 141 292 876 | 1 303950 17 | 0.000 % | 1383.94/1383.92 c | 8641957 | 141 292 876 | 1 312778 18 | 0.000 % | 1383.94/1383.92 c | 8643255 | 141 292 876 | 1 314076 18 | 0.000 % | 1383.94/1383.92 c | 8643972 | 141 292 876 | 1 314793 18 | 0.000 % | 1383.94/1383.92 c | 8652530 | 141 292 876 | 1 323351 18 | 0.000 % | 1383.94/1383.92 c | 8653104 | 141 292 876 | 1 323925 18 | 0.000 % | 1383.94/1383.92 c | 8672281 | 141 292 876 | 1 343102 18 | 0.000 % | 1383.94/1383.92 c | 8673160 | 141 292 876 | 1 343981 18 | 0.000 % | 1383.94/1383.92 c | 8676591 | 141 292 876 | 1 347412 18 | 0.000 % | 1383.94/1383.92 c | 8683736 | 141 292 876 | 1 354557 18 | 0.000 % | 1383.94/1383.92 c | 8688430 | 141 292 876 | 1 359251 18 | 0.000 % | 1383.94/1383.92 c | 8689766 | 141 292 876 | 1 360587 19 | 0.000 % | 1383.94/1383.92 c | 8699707 | 141 292 876 | 1 370528 19 | 0.000 % | 1383.94/1383.92 c | 8700530 | 141 292 876 | 1 371351 19 | 0.000 % | 1383.94/1383.92 c | 8701006 | 141 292 876 | 1 371827 19 | 0.000 % | 1383.94/1383.92 c | 8707456 | 141 292 876 | 1 378277 19 | 0.000 % | 1383.94/1383.92 c | 8714242 | 141 292 876 | 1 385063 19 | 0.000 % | 1383.94/1383.92 c | 8718588 | 141 292 876 | 1 389409 19 | 0.000 % | 1383.94/1383.92 c | 8721226 | 141 292 876 | 1 392047 19 | 0.000 % | 1383.94/1383.92 c | 8723415 | 141 292 876 | 1 394236 19 | 0.000 % | 1383.94/1383.92 c | 8724163 | 141 292 876 | 1 394984 19 | 0.000 % | 1383.94/1383.92 c | 8726289 | 141 292 876 | 1 397110 19 | 0.000 % | 1383.94/1383.92 c | 8726958 | 141 292 876 | 1 397779 19 | 0.000 % | 1383.94/1383.92 c | 8733229 | 141 292 876 | 1 404050 19 | 0.000 % | 1383.94/1383.92 c | 8733329 | 141 292 876 | 1 404150 19 | 0.000 % | 1383.94/1383.92 c | 9952437 | 141 292 876 | 1 327859 18 | 0.000 % | 1383.94/1383.92 c | 9952537 | 141 292 876 | 1 327959 18 | 0.000 % | 1383.94/1383.92 c | 9953244 | 141 292 876 | 1 328666 18 | 0.000 % | 1383.94/1383.92 c | 9953955 | 141 292 876 | 1 329377 18 | 0.000 % | 1383.94/1383.92 c | 9954116 | 141 292 876 | 1 329538 18 | 0.000 % | 1383.94/1383.92 c | 9954267 | 141 292 876 | 1 329689 18 | 0.000 % | 1383.94/1383.92 c | 9954914 | 141 292 876 | 1 330336 18 | 0.000 % | 1383.94/1383.92 c | 9955300 | 141 292 876 | 1 330722 18 | 0.000 % | 1383.94/1383.92 c | 9956344 | 141 292 876 | 1 331766 18 | 0.000 % | 1383.94/1383.92 c | 9962123 | 141 292 876 | 1 337545 18 | 0.000 % | 1383.94/1383.92 c | 9964114 | 141 292 876 | 1 339536 18 | 0.000 % | 1383.94/1383.92 c | 9964884 | 141 292 876 | 1 340306 18 | 0.000 % | 1383.94/1383.92 c | 9974933 | 141 292 876 | 1 350355 18 | 0.000 % | 1383.94/1383.92 c | 9978021 | 141 292 876 | 1 353443 18 | 0.000 % | 1383.94/1383.92 c | 9978770 | 141 292 876 | 1 354192 18 | 0.000 % | 1383.94/1383.92 c | 10031673 | 141 292 876 | 1 407095 19 | 0.000 % | 1383.94/1383.92 c | 10033909 | 141 292 876 | 1 409331 19 | 0.000 % | 1383.94/1383.92 c | 10036560 | 141 292 876 | 1 411982 19 | 0.000 % | 1383.94/1383.92 c | 10044718 | 141 292 876 | 1 420140 19 | 0.000 % | 1383.94/1383.92 c | 10045971 | 141 292 876 | 1 421393 19 | 0.000 % | 1383.94/1383.92 c | 10046521 | 141 292 876 | 1 421943 19 | 0.000 % | 1383.94/1383.92 c | 10079104 | 141 292 876 | 1 229520 14 | 0.000 % | 1383.94/1383.92 c | 10081240 | 141 292 876 | 1 231656 14 | 0.000 % | 1383.94/1383.92 c | 10083998 | 141 292 876 | 1 234414 14 | 0.000 % | 1383.94/1383.92 c | 10084194 | 141 292 876 | 1 234610 14 | 0.000 % | 1473.84/1473.86 c | 10086895 | 141 292 876 | 1 237311 14 | 0.000 % | 1473.84/1473.86 c | 10087910 | 141 292 876 | 1 238326 14 | 0.000 % | 1473.84/1473.86 c | 10088301 | 141 292 876 | 1 238717 14 | 0.000 % | 1473.84/1473.86 c | 10089275 | 141 292 876 | 1 239691 14 | 0.000 % | 1473.84/1473.86 c | 10142365 | 141 292 876 | 1 292781 15 | 0.000 % | 1473.84/1473.86 c | 10142653 | 141 292 876 | 1 293069 15 | 0.000 % | 1473.84/1473.86 c | 10145670 | 141 292 876 | 1 296086 16 | 0.000 % | 1473.84/1473.86 c | 10146139 | 141 292 876 | 1 296555 16 | 0.000 % | 1473.84/1473.86 c | 10149987 | 141 292 876 | 1 300403 16 | 0.000 % | 1473.84/1473.86 c | 10151046 | 141 292 876 | 1 301462 16 | 0.000 % | 1473.84/1473.86 c | 10154040 | 141 292 876 | 1 304456 16 | 0.000 % | 1473.84/1473.86 c | 10155226 | 141 292 876 | 1 305642 16 | 0.000 % | 1473.84/1473.86 c | 10155849 | 141 292 876 | 1 306265 16 | 0.000 % | 1473.84/1473.86 c | 10184011 | 141 292 876 | 1 334427 17 | 0.000 % | 1473.84/1473.86 c | 10185265 | 141 292 876 | 1 335681 17 | 0.000 % | 1473.84/1473.86 c | 10189544 | 141 292 876 | 1 339960 17 | 0.000 % | 1473.84/1473.86 c | 10190631 | 141 292 876 | 1 341047 17 | 0.000 % | 1473.84/1473.86 c | 10194142 | 141 292 876 | 1 344558 17 | 0.000 % | 1473.84/1473.86 c | 10194469 | 141 292 876 | 1 344885 17 | 0.000 % | 1473.84/1473.86 c | 10249093 | 141 292 876 | 1 399509 18 | 0.000 % | 1473.84/1473.86 c | 10249254 | 141 292 876 | 1 399670 18 | 0.000 % | 1473.84/1473.86 c | 10267577 | 141 292 876 | 1 417993 18 | 0.000 % | 1473.84/1473.86 c | 10349935 | 141 292 876 | 1 272751 16 | 0.000 % | 1473.84/1473.86 c | 10350405 | 141 292 876 | 1 273221 16 | 0.000 % | 1473.84/1473.86 c | 10354966 | 141 292 876 | 1 277782 16 | 0.000 % | 1473.84/1473.86 c | 10392030 | 141 292 876 | 1 314846 17 | 0.000 % | 1473.84/1473.86 c | 10393024 | 141 292 876 | 1 315840 17 | 0.000 % | 1473.84/1473.86 c | 10393653 | 141 292 876 | 1 316469 17 | 0.000 % | 1473.84/1473.86 c | 10394092 | 141 292 876 | 1 316908 17 | 0.000 % | 1473.84/1473.86 c | 10396819 | 141 292 876 | 1 319635 17 | 0.000 % | 1473.84/1473.86 c | 10407461 | 141 292 876 | 1 330277 17 | 0.000 % | 1473.84/1473.86 c | 10410071 | 141 292 876 | 1 332887 17 | 0.000 % | 1473.84/1473.86 c | 10418115 | 141 292 876 | 1 340931 18 | 0.000 % | 1473.84/1473.86 c | 10419452 | 141 292 876 | 1 342268 18 | 0.000 % | 1473.84/1473.86 c | 10421234 | 141 292 876 | 1 344050 18 | 0.000 % | 1473.84/1473.86 c | 10421667 | 141 292 876 | 1 344483 18 | 0.000 % | 1473.84/1473.86 c | 10428853 | 141 292 876 | 1 351669 18 | 0.000 % | 1473.84/1473.86 c | 10429128 | 141 292 876 | 1 351944 18 | 0.000 % | 1473.84/1473.86 c | 10521667 | 141 292 876 | 1 444483 20 | 0.000 % | 1473.84/1473.86 c | 10521771 | 141 292 876 | 1 444587 20 | 0.000 % | 1473.84/1473.86 c | 10641380 | 141 292 876 | 1 333992 17 | 0.000 % | 1473.84/1473.86 c | 10644399 | 141 292 876 | 1 337011 17 | 0.000 % | 1473.84/1473.86 c | 10646031 | 141 292 876 | 1 338643 17 | 0.000 % | 1473.84/1473.86 c | 10646155 | 141 292 876 | 1 338767 17 | 0.000 % | 1473.84/1473.86 c | 10648591 | 141 292 876 | 1 341203 17 | 0.000 % | 1473.84/1473.86 c | 10649206 | 141 292 876 | 1 341818 17 | 0.000 % | 1473.84/1473.86 c | 10652917 | 141 292 876 | 1 345529 17 | 0.000 % | 1473.84/1473.86 c | 10668283 | 141 292 876 | 1 360895 18 | 0.000 % | 1473.84/1473.86 c | 10668384 | 141 292 876 | 1 360996 18 | 0.000 % | 1473.84/1473.86 c | 10668760 | 141 292 876 | 1 361372 18 | 0.000 % | 1552.35/1552.35 c | 10670360 | 141 292 876 | 1 362972 18 | 0.000 % | 1552.35/1552.35 c | 10672600 | 141 292 876 | 1 365212 18 | 0.000 % | 1552.35/1552.35 c | 10673442 | 141 292 876 | 1 366054 18 | 0.000 % | 1552.35/1552.35 c | 10673963 | 141 292 876 | 1 366575 18 | 0.000 % | 1552.35/1552.35 c | 10674594 | 141 292 876 | 1 367206 18 | 0.000 % | 1552.35/1552.35 c | 10675047 | 141 292 876 | 1 367659 18 | 0.000 % | 1552.35/1552.35 c | 10675316 | 141 292 876 | 1 367928 18 | 0.000 % | 1552.35/1552.35 c | 10675456 | 141 292 876 | 1 368068 18 | 0.000 % | 1552.35/1552.35 c | 10675935 | 141 292 876 | 1 368547 18 | 0.000 % | 1552.35/1552.35 c | 10677167 | 141 292 876 | 1 369779 18 | 0.000 % | 1552.35/1552.35 c | 10699151 | 141 292 876 | 1 391763 18 | 0.000 % | 1552.35/1552.35 c | 10699470 | 141 292 876 | 1 392082 18 | 0.000 % | 1552.35/1552.35 c | 10713973 | 141 292 876 | 1 406585 19 | 0.000 % | 1552.35/1552.35 c | 10716668 | 141 292 876 | 1 409280 19 | 0.000 % | 1552.35/1552.35 c | 10728851 | 141 292 876 | 1 421463 19 | 0.000 % | 1552.35/1552.35 c | 10729722 | 141 292 876 | 1 422334 19 | 0.000 % | 1552.35/1552.35 c | 10729824 | 141 292 876 | 1 422436 19 | 0.000 % | 1552.35/1552.35 c | 10743919 | 141 292 876 | 1 436531 19 | 0.000 % | 1552.35/1552.35 c | 10744660 | 141 292 876 | 1 437272 19 | 0.000 % | 1552.35/1552.35 c | 10745197 | 141 292 876 | 1 437809 19 | 0.000 % | 1552.35/1552.35 c | 10745856 | 141 292 876 | 1 438468 19 | 0.000 % | 1552.35/1552.35 c | 10747493 | 141 292 876 | 1 440105 19 | 0.000 % | 1552.35/1552.35 c | 10756305 | 141 292 876 | 1 448917 19 | 0.000 % | 1552.35/1552.35 c | 10760799 | 141 292 876 | 1 453411 19 | 0.000 % | 1552.35/1552.35 c | 10761505 | 141 292 876 | 1 454117 19 | 0.000 % | 1552.35/1552.35 c | 10761727 | 141 292 876 | 1 454339 19 | 0.000 % | 1552.35/1552.35 c | 10761963 | 141 292 876 | 1 454575 19 | 0.000 % | 1552.35/1552.35 c | 10766518 | 141 292 876 | 1 459130 19 | 0.000 % | 1552.35/1552.35 c | 10940744 | 141 292 876 | 1 400556 20 | 0.000 % | 1552.35/1552.35 c | 10941614 | 141 292 876 | 1 401426 20 | 0.000 % | 1552.35/1552.35 c | 10946394 | 141 292 876 | 1 406206 20 | 0.000 % | 1552.35/1552.35 c | 10946822 | 141 292 876 | 1 406634 20 | 0.000 % | 1552.35/1552.35 c | 10947190 | 141 292 876 | 1 407002 20 | 0.000 % | 1552.35/1552.35 c | 11038725 | 141 292 876 | 1 263142 14 | 0.000 % | 1552.35/1552.35 c | 11039443 | 141 292 876 | 1 263860 14 | 0.000 % | 1552.35/1552.35 c | 11040233 | 141 292 876 | 1 264650 14 | 0.000 % | 1552.35/1552.35 c | 11040420 | 141 292 876 | 1 264837 14 | 0.000 % | 1552.35/1552.35 c | 11040679 | 141 292 876 | 1 265096 14 | 0.000 % | 1552.35/1552.35 c | 11041566 | 141 292 876 | 1 265983 14 | 0.000 % | 1552.35/1552.35 c | 11044736 | 141 292 876 | 1 269153 14 | 0.000 % | 1552.35/1552.35 c | 11046062 | 141 292 876 | 1 270479 15 | 0.000 % | 1552.35/1552.35 c | 11046806 | 141 292 876 | 1 271223 15 | 0.000 % | 1552.35/1552.35 c | 11047346 | 141 292 876 | 1 271763 15 | 0.000 % | 1552.35/1552.35 c | 11047735 | 141 292 876 | 1 272152 15 | 0.000 % | 1552.35/1552.35 c | 11050018 | 141 292 876 | 1 274435 15 | 0.000 % | 1552.35/1552.35 c | 11051108 | 141 292 876 | 1 275525 15 | 0.000 % | 1552.35/1552.35 c | 11062729 | 141 292 876 | 1 287146 15 | 0.000 % | 1552.35/1552.35 c | 11068818 | 141 292 876 | 1 293235 15 | 0.000 % | 1552.35/1552.35 c | 11072723 | 141 292 876 | 1 297140 15 | 0.000 % | 1552.35/1552.35 c | 11183149 | 141 292 876 | 1 407566 17 | 0.000 % | 1789.16/1789.14 c | 11188173 | 141 292 876 | 1 412590 17 | 0.000 % | 1789.16/1789.14 c | 11190275 | 141 292 876 | 1 414692 17 | 0.000 % | 1789.16/1789.14 c | 11193660 | 141 292 876 | 1 418077 17 | 0.000 % | 1789.16/1789.14 c | 11193914 | 141 292 876 | 1 418331 17 | 0.000 % | 1789.16/1789.14 c | 11201376 | 141 292 876 | 1 425793 17 | 0.000 % | 1789.16/1789.14 c | 11201528 | 141 292 876 | 1 425945 17 | 0.000 % | 1789.16/1789.14 c | 11201774 | 141 292 876 | 1 426191 18 | 0.000 % | 1789.16/1789.14 c | 11207614 | 141 292 876 | 1 432031 18 | 0.000 % | 1789.16/1789.14 c | 11210812 | 141 292 876 | 1 435229 18 | 0.000 % | 1789.16/1789.14 c | 11211514 | 141 292 876 | 1 435931 18 | 0.000 % | 1789.16/1789.14 c | 11226424 | 141 292 876 | 1 450841 18 | 0.000 % | 1789.16/1789.14 c | 11227640 | 141 292 876 | 1 452057 18 | 0.000 % | 1789.16/1789.14 c | 11534345 | 141 292 876 | 1 280162 15 | 0.000 % | 1789.16/1789.14 c | 11950877 | 141 292 876 | 1 453494 21 | 0.000 % | 1789.16/1789.14 c | 11951929 | 141 292 876 | 1 454546 21 | 0.000 % | 1789.16/1789.14 c | 11952965 | 141 292 876 | 1 455582 21 | 0.000 % | 1789.16/1789.14 c | 11953501 | 141 292 876 | 1 456118 21 | 0.000 % | 1789.16/1789.14 c | 11953960 | 141 292 876 | 1 456577 21 | 0.000 % | 1789.16/1789.14 c | 11959493 | 141 292 876 | 1 462110 21 | 0.000 % | 1789.16/1789.14 c | 12334884 | 141 292 876 | 1 343302 17 | 0.000 % | 1789.16/1789.14 c | 12335063 | 141 292 876 | 1 343481 17 | 0.000 % | 1789.16/1789.14 c | 12337444 | 141 292 876 | 1 345862 17 | 0.000 % | 1789.16/1789.14 c | 12338757 | 141 292 876 | 1 347175 17 | 0.000 % | 1789.16/1789.14 c | 12349733 | 141 292 876 | 1 358151 17 | 0.000 % | 1789.16/1789.14 c | 12359541 | 141 292 876 | 1 367959 18 | 0.000 % | 1789.16/1789.14 c | 12360610 | 141 292 876 | 1 369028 18 | 0.000 % | 1789.16/1789.14 c | 12361639 | 141 292 876 | 1 370057 18 | 0.000 % | 1789.16/1789.14 c | 12369528 | 141 292 876 | 1 377946 18 | 0.000 % | 1789.16/1789.14 c | 12375891 | 141 292 876 | 1 384309 18 | 0.000 % | 1789.16/1789.14 c | 12377400 | 141 292 876 | 1 385818 18 | 0.000 % | 1789.16/1789.14 c | 12396292 | 141 292 876 | 1 404710 18 | 0.000 % | 1789.16/1789.14 c | 12415309 | 141 292 876 | 1 423727 19 | 0.000 % | 1789.16/1789.14 c | 12415632 | 141 292 876 | 1 424050 19 | 0.000 % | 1789.16/1789.14 c | 12433884 | 141 292 876 | 1 442302 19 | 0.000 % | 1789.16/1789.14 c | 12434797 | 141 292 876 | 1 443215 19 | 0.000 % | 1789.16/1789.14 c | 12435305 | 141 292 876 | 1 443723 19 | 0.000 % | 1789.16/1789.14 c | 12438052 | 141 292 876 | 1 446470 19 | 0.000 % | 1789.16/1789.14 c | 12483608 | 141 292 876 | 1 492026 20 | 0.000 % | 1789.16/1789.14 c | 12490271 | 141 292 876 | 1 498689 20 | 0.000 % | 1789.16/1789.14 c | 12513151 | 141 292 876 | 1 270563 14 | 0.000 % | 1789.16/1789.14 c | 12514195 | 141 292 876 | 1 271607 14 | 0.000 % | 1789.16/1789.14 c | 12515183 | 141 292 876 | 1 272595 14 | 0.000 % | 1789.16/1789.14 c | 12515285 | 141 292 876 | 1 272697 14 | 0.000 % | 1789.16/1789.14 c | 12522422 | 141 292 876 | 1 279834 14 | 0.000 % | 1789.16/1789.14 c | 12522747 | 141 292 876 | 1 280159 14 | 0.000 % | 1789.16/1789.14 c | 12525679 | 141 292 876 | 1 283091 15 | 0.000 % | 1789.16/1789.14 c | 12527965 | 141 292 876 | 1 285377 15 | 0.000 % | 1789.16/1789.14 c | 12534992 | 141 292 876 | 1 292404 15 | 0.000 % | 1789.16/1789.14 c | 12537338 | 141 292 876 | 1 294750 15 | 0.000 % | 1877.77/1877.71 c | 12538391 | 141 292 876 | 1 295803 15 | 0.000 % | 1877.77/1877.71 c | 12539029 | 141 292 876 | 1 296441 15 | 0.000 % | 1877.77/1877.71 c | 12547632 | 141 292 876 | 1 305044 15 | 0.000 % | 1877.77/1877.71 c | 12547987 | 141 292 876 | 1 305399 15 | 0.000 % | 1877.77/1877.71 c | 12569965 | 141 292 876 | 1 327377 16 | 0.000 % | 1877.77/1877.71 c | 12570478 | 141 292 876 | 1 327890 16 | 0.000 % | 1877.77/1877.71 c | 12582536 | 141 292 876 | 1 339948 16 | 0.000 % | 1877.77/1877.71 c | 12582779 | 141 292 876 | 1 340191 16 | 0.000 % | 1877.77/1877.71 c | 12584723 | 141 292 876 | 1 342135 16 | 0.000 % | 1877.77/1877.71 c | 12593023 | 141 292 876 | 1 350435 17 | 0.000 % | 1877.77/1877.71 c | 12600991 | 141 292 876 | 1 358403 17 | 0.000 % | 1877.77/1877.71 c | 12637185 | 141 292 876 | 1 394597 18 | 0.000 % | 1877.77/1877.71 c | 12640531 | 141 292 876 | 1 397943 18 | 0.000 % | 1877.77/1877.71 c | 12643224 | 141 292 876 | 1 400636 18 | 0.000 % | 1877.77/1877.71 c | 12644485 | 141 292 876 | 1 401897 18 | 0.000 % | 1877.77/1877.71 c | 12646331 | 141 292 876 | 1 403743 18 | 0.000 % | 1877.77/1877.71 c | 12646621 | 141 292 876 | 1 404033 18 | 0.000 % | 1877.77/1877.71 c | 12646938 | 141 292 876 | 1 404350 18 | 0.000 % | 1877.77/1877.71 c | 12649481 | 141 292 876 | 1 406893 18 | 0.000 % | 1877.77/1877.71 c | 12651129 | 141 292 876 | 1 408541 18 | 0.000 % | 1877.77/1877.71 c | 12651777 | 141 292 876 | 1 409189 18 | 0.000 % | 1877.77/1877.71 c | 12651978 | 141 292 876 | 1 409390 18 | 0.000 % | 1877.77/1877.71 c | 12654500 | 141 292 876 | 1 411912 18 | 0.000 % | 1877.77/1877.71 c | 12654602 | 141 292 876 | 1 412014 18 | 0.000 % | 1877.77/1877.71 c | 12667406 | 141 292 876 | 1 424818 18 | 0.000 % | 1877.77/1877.71 c | 12674926 | 141 292 876 | 1 432338 18 | 0.000 % | 1877.77/1877.71 c | 12675702 | 141 292 876 | 1 433114 18 | 0.000 % | 1877.77/1877.71 c | 12684294 | 141 292 876 | 1 441706 19 | 0.000 % | 1877.77/1877.71 c | 12684581 | 141 292 876 | 1 441993 19 | 0.000 % | 1877.77/1877.71 c | 12688362 | 141 292 876 | 1 445774 19 | 0.000 % | 1877.77/1877.71 c | 12688469 | 141 292 876 | 1 445881 19 | 0.000 % | 1877.77/1877.71 c | 12689488 | 141 292 876 | 1 446900 19 | 0.000 % | 1877.77/1877.71 c | 12691337 | 141 292 876 | 1 448749 19 | 0.000 % | 1877.77/1877.71 c | 12806624 | 141 292 876 | 1 310435 15 | 0.000 % | 1877.77/1877.71 c | 12808128 | 141 292 876 | 1 311939 15 | 0.000 % | 1877.77/1877.71 c | 12813069 | 141 292 876 | 1 316880 16 | 0.000 % | 1877.77/1877.71 c | 12813255 | 141 292 876 | 1 317066 16 | 0.000 % | 1877.77/1877.71 c | 12815742 | 141 292 876 | 1 319553 16 | 0.000 % | 1877.77/1877.71 c | 12816928 | 141 292 876 | 1 320739 16 | 0.000 % | 1877.77/1877.71 c | 12817400 | 141 292 876 | 1 321211 16 | 0.000 % | 1877.77/1877.71 c | 12937860 | 141 292 876 | 1 441671 18 | 0.000 % | 1877.77/1877.71 c | 12939043 | 141 292 876 | 1 442854 18 | 0.000 % | 1877.77/1877.71 c | 13058875 | 141 292 876 | 1 306491 15 | 0.000 % | 1877.77/1877.71 c | 13064855 | 141 292 876 | 1 312471 15 | 0.000 % | 1877.77/1877.71 c | 13069751 | 141 292 876 | 1 317367 15 | 0.000 % | 1877.77/1877.71 c | 13071884 | 141 292 876 | 1 319500 15 | 0.000 % | 1877.77/1877.71 c | 13083517 | 141 292 876 | 1 331133 15 | 0.000 % | 1877.77/1877.71 c | 13087748 | 141 292 876 | 1 335364 16 | 0.000 % | 1877.77/1877.71 c | 13088178 | 141 292 876 | 1 335794 16 | 0.000 % | 1877.77/1877.71 c | 13088561 | 141 292 876 | 1 336177 16 | 0.000 % | 1981.77/1981.71 c | 13124389 | 141 292 876 | 1 372005 17 | 0.000 % | 1981.77/1981.71 c | 13124820 | 141 292 876 | 1 372436 17 | 0.000 % | 1981.77/1981.71 c | 13125177 | 141 292 876 | 1 372793 17 | 0.000 % | 1981.77/1981.71 c | 13130302 | 141 292 876 | 1 377918 17 | 0.000 % | 1981.77/1981.71 c | 13131001 | 141 292 876 | 1 378617 17 | 0.000 % | 1981.77/1981.71 c | 13134380 | 141 292 876 | 1 381996 17 | 0.000 % | 1981.77/1981.71 c | 13134645 | 141 292 876 | 1 382261 17 | 0.000 % | 1981.77/1981.71 c | 13142089 | 141 292 876 | 1 389705 17 | 0.000 % | 1981.77/1981.71 c | 13146756 | 141 292 876 | 1 394372 17 | 0.000 % | 1981.77/1981.71 c | 13215870 | 141 292 876 | 1 463486 18 | 0.000 % | 1981.77/1981.71 c | 13216713 | 141 292 876 | 1 464329 18 | 0.000 % | 1981.77/1981.71 c | 13402275 | 141 292 876 | 1 391090 17 | 0.000 % | 1981.77/1981.71 c | 13405268 | 141 292 876 | 1 394083 17 | 0.000 % | 1981.77/1981.71 c | 13405679 | 141 292 876 | 1 394494 17 | 0.000 % | 1981.77/1981.71 c | 13406368 | 141 292 876 | 1 395183 17 | 0.000 % | 1981.77/1981.71 c | 13407860 | 141 292 876 | 1 396675 18 | 0.000 % | 1981.77/1981.71 c | 13409741 | 141 292 876 | 1 398556 18 | 0.000 % | 1981.77/1981.71 c | 13428954 | 141 292 876 | 1 417769 18 | 0.000 % | 1981.77/1981.71 c | 13429202 | 141 292 876 | 1 418017 18 | 0.000 % | 1981.77/1981.71 c | 13531317 | 141 292 876 | 1 520132 20 | 0.000 % | 1981.77/1981.71 c | 13531574 | 141 292 876 | 1 520389 20 | 0.000 % | 1981.77/1981.71 c | 13534145 | 141 292 876 | 1 261560 13 | 0.000 % | 1981.77/1981.71 c | 13534409 | 141 292 876 | 1 261824 13 | 0.000 % | 1981.77/1981.71 c | 13540806 | 141 292 876 | 1 268221 13 | 0.000 % | 1981.77/1981.71 c | 13577686 | 141 292 876 | 1 305101 15 | 0.000 % | 1981.77/1981.71 c | 13578003 | 141 292 876 | 1 305418 15 | 0.000 % | 1981.77/1981.71 c | 13578876 | 141 292 876 | 1 306291 15 | 0.000 % | 1981.77/1981.71 c | 13579131 | 141 292 876 | 1 306546 15 | 0.000 % | 1981.77/1981.71 c | 13584548 | 141 292 876 | 1 311963 16 | 0.000 % | 1981.77/1981.71 c | 13588047 | 141 292 876 | 1 315462 16 | 0.000 % | 1981.77/1981.71 c | 13589697 | 141 292 876 | 1 317112 16 | 0.000 % | 1981.77/1981.71 c | 13595791 | 141 292 876 | 1 323206 16 | 0.000 % | 1981.77/1981.71 c | 13609216 | 141 292 876 | 1 336631 16 | 0.000 % | 1981.77/1981.71 c | 13614283 | 141 292 876 | 1 341698 16 | 0.000 % | 1981.77/1981.71 c | 13622103 | 141 292 876 | 1 349518 17 | 0.000 % | 1981.77/1981.71 c | 13624980 | 141 292 876 | 1 352395 17 | 0.000 % | 1981.77/1981.71 c | 13632638 | 141 292 876 | 1 360053 17 | 0.000 % | 1981.77/1981.71 c | 13633609 | 141 292 876 | 1 361024 17 | 0.000 % | 1981.77/1981.71 c | 13634006 | 141 292 876 | 1 361421 17 | 0.000 % | 1981.77/1981.71 c | 13648394 | 141 292 876 | 1 375809 17 | 0.000 % | 1981.77/1981.71 c | 13648551 | 141 292 876 | 1 375966 17 | 0.000 % | 1981.77/1981.71 c | 13651429 | 141 292 876 | 1 378844 17 | 0.000 % | 1981.77/1981.71 c | 13653536 | 141 292 876 | 1 380951 17 | 0.000 % | 1981.77/1981.71 c | 13662628 | 141 292 876 | 1 390043 18 | 0.000 % | 1981.77/1981.71 c | 13663001 | 141 292 876 | 1 390416 18 | 0.000 % | 1981.77/1981.71 c | 13671155 | 141 292 876 | 1 398570 18 | 0.000 % | 1981.77/1981.71 c | 13671986 | 141 292 876 | 1 399401 18 | 0.000 % | 1981.77/1981.71 c | 13673797 | 141 292 876 | 1 401212 18 | 0.000 % | 1981.77/1981.71 c | 13691977 | 141 292 876 | 1 419392 18 | 0.000 % | 1981.77/1981.71 c | 13692681 | 141 292 876 | 1 420096 18 | 0.000 % | 2181.28/2181.28 c | 13695366 | 141 292 876 | 1 422781 18 | 0.000 % | 2181.28/2181.28 c | 13732978 | 141 292 876 | 1 460393 18 | 0.000 % | 2181.28/2181.28 c | 13733611 | 141 292 876 | 1 461026 18 | 0.000 % | 2181.28/2181.28 c | 13734227 | 141 292 876 | 1 461642 18 | 0.000 % | 2181.28/2181.28 c | 13784959 | 141 292 876 | 1 512374 19 | 0.000 % | 2181.28/2181.28 c | 13795291 | 141 292 876 | 1 522706 19 | 0.000 % | 2181.28/2181.28 c | 13799632 | 141 292 876 | 1 527047 19 | 0.000 % | 2181.28/2181.28 c | 13800978 | 141 292 876 | 1 264389 13 | 0.000 % | 2181.28/2181.28 c | 13819308 | 141 292 876 | 1 282719 14 | 0.000 % | 2181.28/2181.28 c | 13833080 | 141 292 876 | 1 296491 14 | 0.000 % | 2181.28/2181.28 c | 13833194 | 141 292 876 | 1 296605 14 | 0.000 % | 2181.28/2181.28 c | 13865558 | 141 292 876 | 1 328969 15 | 0.000 % | 2181.28/2181.28 c | 13867220 | 141 292 876 | 1 330631 15 | 0.000 % | 2181.28/2181.28 c | 14074842 | 141 292 876 | 1 271655 13 | 0.000 % | 2181.28/2181.28 c | 14075113 | 141 292 876 | 1 271926 13 | 0.000 % | 2181.28/2181.28 c | 14078489 | 141 292 876 | 1 275302 13 | 0.000 % | 2181.28/2181.28 c | 14078791 | 141 292 876 | 1 275604 13 | 0.000 % | 2181.28/2181.28 c | 14088642 | 141 292 876 | 1 285455 14 | 0.000 % | 2181.28/2181.28 c | 14090569 | 141 292 876 | 1 287382 14 | 0.000 % | 2181.28/2181.28 c | 14090798 | 141 292 876 | 1 287611 14 | 0.000 % | 2181.28/2181.28 c | 14093389 | 141 292 876 | 1 290202 14 | 0.000 % | 2181.28/2181.28 c | 14103236 | 141 292 876 | 1 300049 14 | 0.000 % | 2181.28/2181.28 c | 14106327 | 141 292 876 | 1 303140 14 | 0.000 % | 2181.28/2181.28 c | 14638026 | 141 292 876 | 1 293849 14 | 0.000 % | 2181.28/2181.28 c | 14638754 | 141 292 876 | 1 294577 14 | 0.000 % | 2181.28/2181.28 c | 14643829 | 141 292 876 | 1 299652 14 | 0.000 % | 2181.28/2181.28 c | 14644299 | 141 292 876 | 1 300122 14 | 0.000 % | 2181.28/2181.28 c | 14648279 | 141 292 876 | 1 304102 14 | 0.000 % | 2181.28/2181.28 c | 14648509 | 141 292 876 | 1 304332 14 | 0.000 % | 2181.28/2181.28 c | 14649090 | 141 292 876 | 1 304913 14 | 0.000 % | 2181.28/2181.28 c | 14649462 | 141 292 876 | 1 305285 14 | 0.000 % | 2181.28/2181.28 c | 14650212 | 141 292 876 | 1 306035 14 | 0.000 % | 2181.28/2181.28 c | 14650568 | 141 292 876 | 1 306391 14 | 0.000 % | 2181.28/2181.28 c | 14651357 | 141 292 876 | 1 307180 14 | 0.000 % | 2181.28/2181.28 c | 14655105 | 141 292 876 | 1 310928 14 | 0.000 % | 2181.28/2181.28 c | 14656146 | 141 292 876 | 1 311969 14 | 0.000 % | 2181.28/2181.28 c | 14659952 | 141 292 876 | 1 315775 14 | 0.000 % | 2181.28/2181.28 c | 14660808 | 141 292 876 | 1 316631 14 | 0.000 % | 2181.28/2181.28 c | 14661219 | 141 292 876 | 1 317042 14 | 0.000 % | 2181.28/2181.28 c | 14661618 | 141 292 876 | 1 317441 14 | 0.000 % | 2181.28/2181.28 c | 14661841 | 141 292 876 | 1 317664 14 | 0.000 % | 2181.28/2181.28 c | 14662065 | 141 292 876 | 1 317888 14 | 0.000 % | 2181.28/2181.28 c | 14686626 | 141 292 876 | 1 342449 15 | 0.000 % | 2181.28/2181.28 c | 14687368 | 141 292 876 | 1 343191 15 | 0.000 % | 2181.28/2181.28 c | 14690828 | 141 292 876 | 1 346651 15 | 0.000 % | 2181.28/2181.28 c | 14691509 | 141 292 876 | 1 347332 15 | 0.000 % | 2181.28/2181.28 c | 14692119 | 141 292 876 | 1 347942 15 | 0.000 % | 2181.28/2181.28 c | 14692683 | 141 292 876 | 1 348506 15 | 0.000 % | 2181.28/2181.28 c | 14693476 | 141 292 876 | 1 349299 15 | 0.000 % | 2181.28/2181.28 c | 14694212 | 141 292 876 | 1 350035 15 | 0.000 % | 2467.38/2467.39 c | 14695259 | 141 292 876 | 1 351082 15 | 0.000 % | 2467.38/2467.39 c | 14696333 | 141 292 876 | 1 352156 15 | 0.000 % | 2467.38/2467.39 c | 14750194 | 141 292 876 | 1 406017 16 | 0.000 % | 2467.38/2467.39 c | 14750749 | 141 292 876 | 1 406572 16 | 0.000 % | 2467.38/2467.39 c | 14754658 | 141 292 876 | 1 410481 17 | 0.000 % | 2467.38/2467.39 c | 14754961 | 141 292 876 | 1 410784 17 | 0.000 % | 2467.38/2467.39 c | 14755134 | 141 292 876 | 1 410957 17 | 0.000 % | 2467.38/2467.39 c | 14755235 | 141 292 876 | 1 411058 17 | 0.000 % | 2467.38/2467.39 c | 14780974 | 141 292 876 | 1 436797 17 | 0.000 % | 2467.38/2467.39 c | 14781730 | 141 292 876 | 1 437553 17 | 0.000 % | 2467.38/2467.39 c | 14782825 | 141 292 876 | 1 438648 17 | 0.000 % | 2467.38/2467.39 c | 14874216 | 141 292 876 | 1 530039 19 | 0.000 % | 2467.38/2467.39 c | 14874461 | 141 292 876 | 1 530284 19 | 0.000 % | 2467.38/2467.39 c | 14875488 | 141 292 876 | 1 531311 19 | 0.000 % | 2467.38/2467.39 c | 14875589 | 141 292 876 | 1 531412 19 | 0.000 % | 2467.38/2467.39 c | 14883984 | 141 292 876 | 1 539807 19 | 0.000 % | 2467.38/2467.39 c | 14950646 | 141 292 876 | 1 332068 15 | 0.000 % | 2467.38/2467.39 c | 15002149 | 141 292 876 | 1 383571 17 | 0.000 % | 2467.38/2467.39 c | 15002251 | 141 292 876 | 1 383673 17 | 0.000 % | 2467.38/2467.39 c | 15133978 | 141 292 876 | 1 515400 18 | 0.000 % | 2467.38/2467.39 c | 15146169 | 141 292 876 | 1 527591 19 | 0.000 % | 2467.38/2467.39 c | 15188914 | 141 292 876 | 1 293334 13 | 0.000 % | 2467.38/2467.39 c | 15192578 | 141 292 876 | 1 296998 13 | 0.000 % | 2467.38/2467.39 c | 15216981 | 141 292 876 | 1 321401 14 | 0.000 % | 2467.38/2467.39 c | 15217472 | 141 292 876 | 1 321892 14 | 0.000 % | 2467.38/2467.39 c | 15287237 | 141 292 876 | 1 391657 16 | 0.000 % | 2467.38/2467.39 c | 15296569 | 141 292 876 | 1 400989 17 | 0.000 % | 2467.38/2467.39 c | 15339979 | 141 292 876 | 1 444399 17 | 0.000 % | 2467.38/2467.39 c | 15340160 | 141 292 876 | 1 444580 17 | 0.000 % | 2467.38/2467.39 c | 15340396 | 141 292 876 | 1 444816 17 | 0.000 % | 2467.38/2467.39 c | 15342362 | 141 292 876 | 1 446782 17 | 0.000 % | 2467.38/2467.39 c | 15342570 | 141 292 876 | 1 446990 17 | 0.000 % | 2467.38/2467.39 c | 15412632 | 141 292 876 | 1 517052 19 | 0.000 % | 2467.38/2467.39 c | 15423687 | 141 292 876 | 1 528107 19 | 0.000 % | 2467.38/2467.39 c | 15518673 | 141 292 876 | 1 343492 15 | 0.000 % | 2467.38/2467.39 c | 15531045 | 141 292 876 | 1 355864 16 | 0.000 % | 2467.38/2467.39 c | 15536274 | 141 292 876 | 1 361093 16 | 0.000 % | 2467.38/2467.39 c | 15723830 | 141 292 876 | 1 548649 20 | 0.000 % | 2467.38/2467.39 c | 15724001 | 141 292 876 | 1 548820 20 | 0.000 % | 2467.38/2467.39 c | 15747139 | 141 292 876 | 1 289754 13 | 0.000 % | 2467.38/2467.39 c | 15780189 | 141 292 876 | 1 322804 15 | 0.000 % | 2467.38/2467.39 c | 15784538 | 141 292 876 | 1 327153 15 | 0.000 % | 2467.38/2467.39 c | 15784840 | 141 292 876 | 1 327455 15 | 0.000 % | 2467.38/2467.39 c | 16233730 | 141 292 876 | 1 491547 20 | 0.000 % | 2467.38/2467.39 c | 16241980 | 141 292 876 | 1 499797 20 | 0.000 % | 2467.38/2467.39 c | 16243203 | 141 292 876 | 1 501020 20 | 0.000 % | 2467.38/2467.39 c | 16246335 | 141 292 876 | 1 504152 20 | 0.000 % | 2467.38/2467.39 c | 16247853 | 141 292 876 | 1 505670 20 | 0.000 % | 2467.38/2467.39 c | 16247971 | 141 292 876 | 1 505788 20 | 0.000 % | 2467.38/2467.39 c | 16249107 | 141 292 876 | 1 506924 20 | 0.000 % | 2496.99/2496.94 c | 16250264 | 141 292 876 | 1 508081 20 | 0.000 % | 2496.99/2496.94 c | 16256446 | 141 292 876 | 1 514263 20 | 0.000 % | 2496.99/2496.94 c | 16263770 | 141 292 876 | 1 521587 20 | 0.000 % | 2496.99/2496.94 c | 16267304 | 141 292 876 | 1 525121 20 | 0.000 % | 2496.99/2496.94 c | 16275978 | 141 292 876 | 1 533795 20 | 0.000 % | 2496.99/2496.94 c | 16281507 | 141 292 876 | 1 539324 20 | 0.000 % | 2496.99/2496.94 c | 16283562 | 141 292 876 | 1 541379 20 | 0.000 % | 2496.99/2496.94 c | 16295691 | 141 292 876 | 1 553508 20 | 0.000 % | 2496.99/2496.94 c | 16298393 | 141 292 876 | 1 556210 20 | 0.000 % | 2496.99/2496.94 c | 16305394 | 141 292 876 | 1 563211 20 | 0.000 % | 2496.99/2496.94 c | 16306691 | 141 292 876 | 1 564508 20 | 0.000 % | 2496.99/2496.94 c | 16308591 | 141 292 876 | 1 566408 20 | 0.000 % | 2496.99/2496.94 c | 16309884 | 141 292 876 | 1 567701 20 | 0.000 % | 2496.99/2496.94 c | 16312778 | 141 292 876 | 1 570595 20 | 0.000 % | 2496.99/2496.94 c | 16313189 | 141 292 876 | 1 571006 20 | 0.000 % | 2496.99/2496.94 c | 16313439 | 141 292 876 | 1 571256 20 | 0.000 % | 2496.99/2496.94 c | 16313923 | 141 292 876 | 1 571740 20 | 0.000 % | 2496.99/2496.94 c | 16314066 | 141 292 876 | 1 571883 20 | 0.000 % | 2496.99/2496.94 c | 16321516 | 141 292 876 | 1 291930 13 | 0.000 % | 2496.99/2496.94 c | 16322077 | 141 292 876 | 1 292491 14 | 0.000 % | 2496.99/2496.94 c | 16323167 | 141 292 876 | 1 293581 14 | 0.000 % | 2496.99/2496.94 c | 16323298 | 141 292 876 | 1 293712 14 | 0.000 % | 2496.99/2496.94 c | 16324254 | 141 292 876 | 1 294668 14 | 0.000 % | 2496.99/2496.94 c | 16324495 | 141 292 876 | 1 294909 14 | 0.000 % | 2496.99/2496.94 c | 16324862 | 141 292 876 | 1 295276 14 | 0.000 % | 2496.99/2496.94 c | 16325537 | 141 292 876 | 1 295951 14 | 0.000 % | 2496.99/2496.94 c | 16325646 | 141 292 876 | 1 296060 14 | 0.000 % | 2496.99/2496.94 c | 16332048 | 141 292 876 | 1 302462 14 | 0.000 % | 2496.99/2496.94 c | 16334229 | 141 292 876 | 1 304643 14 | 0.000 % | 2496.99/2496.94 c | 16335719 | 141 292 876 | 1 306133 14 | 0.000 % | 2496.99/2496.94 c | 16337666 | 141 292 876 | 1 308080 14 | 0.000 % | 2496.99/2496.94 c | 16337954 | 141 292 876 | 1 308368 14 | 0.000 % | 2496.99/2496.94 c | 16346133 | 141 292 876 | 1 316547 14 | 0.000 % | 2496.99/2496.94 c | 16346697 | 141 292 876 | 1 317111 14 | 0.000 % | 2496.99/2496.94 c | 16350230 | 141 292 876 | 1 320644 14 | 0.000 % | 2496.99/2496.94 c | 16351289 | 141 292 876 | 1 321703 15 | 0.000 % | 2496.99/2496.94 c | 16352569 | 141 292 876 | 1 322983 15 | 0.000 % | 2496.99/2496.94 c | 16353424 | 141 292 876 | 1 323838 15 | 0.000 % | 2496.99/2496.94 c | 16362646 | 141 292 876 | 1 333060 15 | 0.000 % | 2496.99/2496.94 c | 16364451 | 141 292 876 | 1 334865 15 | 0.000 % | 2496.99/2496.94 c | 16365877 | 141 292 876 | 1 336291 15 | 0.000 % | 2496.99/2496.94 c | 16369763 | 141 292 876 | 1 340177 15 | 0.000 % | 2496.99/2496.94 c | 16370103 | 141 292 876 | 1 340517 15 | 0.000 % | 2496.99/2496.94 c | 16370828 | 141 292 876 | 1 341242 15 | 0.000 % | 2496.99/2496.94 c | 16385495 | 141 292 876 | 1 355909 15 | 0.000 % | 2496.99/2496.94 c | 16390384 | 141 292 876 | 1 360798 15 | 0.000 % | 2496.99/2496.94 c | 16390527 | 141 292 876 | 1 360941 15 | 0.000 % | 2496.99/2496.94 c | 16391640 | 141 292 876 | 1 362054 15 | 0.000 % | 2496.99/2496.94 c | 16393974 | 141 292 876 | 1 364388 16 | 0.000 % | 2496.99/2496.94 c | 16394123 | 141 292 876 | 1 364537 16 | 0.000 % | 2605.38/2605.35 c | 16394472 | 141 292 876 | 1 364886 16 | 0.000 % | 2605.38/2605.35 c | 16394732 | 141 292 876 | 1 365146 16 | 0.000 % | 2605.38/2605.35 c | 16395331 | 141 292 876 | 1 365745 16 | 0.000 % | 2605.38/2605.35 c | 16396950 | 141 292 876 | 1 367364 16 | 0.000 % | 2605.38/2605.35 c | 16398390 | 141 292 876 | 1 368804 16 | 0.000 % | 2605.38/2605.35 c | 16398869 | 141 292 876 | 1 369283 16 | 0.000 % | 2605.38/2605.35 c | 16398989 | 141 292 876 | 1 369403 16 | 0.000 % | 2605.38/2605.35 c | 16409549 | 141 292 876 | 1 379963 16 | 0.000 % | 2605.38/2605.35 c | 16409701 | 141 292 876 | 1 380115 16 | 0.000 % | 2605.38/2605.35 c | 16415950 | 141 292 876 | 1 386364 16 | 0.000 % | 2605.38/2605.35 c | 16419832 | 141 292 876 | 1 390246 16 | 0.000 % | 2605.38/2605.35 c | 16421034 | 141 292 876 | 1 391448 16 | 0.000 % | 2605.38/2605.35 c | 16422018 | 141 292 876 | 1 392432 16 | 0.000 % | 2605.38/2605.35 c | 16429881 | 141 292 876 | 1 400295 16 | 0.000 % | 2605.38/2605.35 c | 16436492 | 141 292 876 | 1 406906 17 | 0.000 % | 2605.38/2605.35 c | 16437005 | 141 292 876 | 1 407419 17 | 0.000 % | 2605.38/2605.35 c | 16438512 | 141 292 876 | 1 408926 17 | 0.000 % | 2605.38/2605.35 c | 16441294 | 141 292 876 | 1 411708 17 | 0.000 % | 2605.38/2605.35 c | 16453954 | 141 292 876 | 1 424368 17 | 0.000 % | 2605.38/2605.35 c | 16455409 | 141 292 876 | 1 425823 17 | 0.000 % | 2605.38/2605.35 c | 16497296 | 141 292 876 | 1 467710 18 | 0.000 % | 2605.38/2605.35 c | 16501268 | 141 292 876 | 1 471682 18 | 0.000 % | 2605.38/2605.35 c | 16503530 | 141 292 876 | 1 473944 18 | 0.000 % | 2605.38/2605.35 c | 16505706 | 141 292 876 | 1 476120 18 | 0.000 % | 2605.38/2605.35 c | 16506155 | 141 292 876 | 1 476569 18 | 0.000 % | 2605.38/2605.35 c | 16507578 | 141 292 876 | 1 477992 18 | 0.000 % | 2605.38/2605.35 c | 16507685 | 141 292 876 | 1 478099 18 | 0.000 % | 2605.38/2605.35 c | 16508369 | 141 292 876 | 1 478783 18 | 0.000 % | 2605.38/2605.35 c | 16511280 | 141 292 876 | 1 481694 18 | 0.000 % | 2605.38/2605.35 c | 16513035 | 141 292 876 | 1 483449 18 | 0.000 % | 2605.38/2605.35 c | 16513520 | 141 292 876 | 1 483934 18 | 0.000 % | 2605.38/2605.35 c | 16515759 | 141 292 876 | 1 486173 18 | 0.000 % | 2605.38/2605.35 c | 16516716 | 141 292 876 | 1 487130 18 | 0.000 % | 2605.38/2605.35 c | 16516818 | 141 292 876 | 1 487232 18 | 0.000 % | 2605.38/2605.35 c | 16517041 | 141 292 876 | 1 487455 18 | 0.000 % | 2605.38/2605.35 c | 16517357 | 141 292 876 | 1 487771 18 | 0.000 % | 2605.38/2605.35 c | 16534864 | 141 292 876 | 1 505278 18 | 0.000 % | 2605.38/2605.35 c | 16538815 | 141 292 876 | 1 509229 18 | 0.000 % | 2605.38/2605.35 c | 16538932 | 141 292 876 | 1 509346 18 | 0.000 % | 2605.38/2605.35 c | 16550113 | 141 292 876 | 1 520527 18 | 0.000 % | 2605.38/2605.35 c | 16550549 | 141 292 876 | 1 520963 18 | 0.000 % | 2605.38/2605.35 c | 16556431 | 141 292 876 | 1 526845 19 | 0.000 % | 2605.38/2605.35 c | 16559352 | 141 292 876 | 1 529766 19 | 0.000 % | 2605.38/2605.35 c | 16803203 | 141 292 876 | 1 483618 17 | 0.000 % | 2605.38/2605.35 c | 16803504 | 141 292 876 | 1 483919 17 | 0.000 % | 2605.38/2605.35 c | 16803837 | 141 292 876 | 1 484252 17 | 0.000 % | 2605.38/2605.35 c | 16848578 | 141 292 876 | 1 528993 18 | 0.000 % | 2605.38/2605.35 c | 16849066 | 141 292 876 | 1 529481 18 | 0.000 % | 2605.38/2605.35 c | 16849759 | 141 292 876 | 1 530174 18 | 0.000 % | 2605.38/2605.35 c | 16955917 | 141 292 876 | 1 343735 15 | 0.000 % | 2725.69/2725.66 c | 16980200 | 141 292 876 | 1 368018 15 | 0.000 % | 2725.69/2725.66 c | 16980825 | 141 292 876 | 1 368643 15 | 0.000 % | 2725.69/2725.66 c | 16986254 | 141 292 876 | 1 374072 15 | 0.000 % | 2725.69/2725.66 c | 16986354 | 141 292 876 | 1 374172 15 | 0.000 % | 2725.69/2725.66 c | 16999394 | 141 292 876 | 1 387212 16 | 0.000 % | 2725.69/2725.66 c | 17012625 | 141 292 876 | 1 400443 16 | 0.000 % | 2725.69/2725.66 c | 17017047 | 141 292 876 | 1 404865 16 | 0.000 % | 2725.69/2725.66 c | 17017468 | 141 292 876 | 1 405286 16 | 0.000 % | 2725.69/2725.66 c | 17017955 | 141 292 876 | 1 405773 16 | 0.000 % | 2725.69/2725.66 c | 17018234 | 141 292 876 | 1 406052 16 | 0.000 % | 2725.69/2725.66 c | 17020298 | 141 292 876 | 1 408116 16 | 0.000 % | 2725.69/2725.66 c | 17083951 | 141 292 876 | 1 471769 17 | 0.000 % | 2725.69/2725.66 c | 17090568 | 141 292 876 | 1 478386 17 | 0.000 % | 2725.69/2725.66 c | 17115248 | 141 292 876 | 1 503066 18 | 0.000 % | 2725.69/2725.66 c | 17116590 | 141 292 876 | 1 504408 18 | 0.000 % | 2725.69/2725.66 c | 17118931 | 141 292 876 | 1 506749 18 | 0.000 % | 2725.69/2725.66 c | 17119229 | 141 292 876 | 1 507047 18 | 0.000 % | 2725.69/2725.66 c | 17121051 | 141 292 876 | 1 508869 18 | 0.000 % | 2725.69/2725.66 c | 17121705 | 141 292 876 | 1 509523 18 | 0.000 % | 2725.69/2725.66 c | 17123476 | 141 292 876 | 1 511294 18 | 0.000 % | 2725.69/2725.66 c | 17123883 | 141 292 876 | 1 511701 18 | 0.000 % | 2725.69/2725.66 c | 17334556 | 141 292 876 | 1 427170 17 | 0.000 % | 2725.69/2725.66 c | 17400343 | 141 292 876 | 1 492957 18 | 0.000 % | 2725.69/2725.66 c | 17419941 | 141 292 876 | 1 512555 19 | 0.000 % | 2725.69/2725.66 c | 17420158 | 141 292 876 | 1 512772 19 | 0.000 % | 2725.69/2725.66 c | 17430738 | 141 292 876 | 1 523352 19 | 0.000 % | 2725.69/2725.66 c | 17431072 | 141 292 876 | 1 523686 19 | 0.000 % | 2725.69/2725.66 c | 17443412 | 141 292 876 | 1 536026 19 | 0.000 % | 2725.69/2725.66 c | 17445789 | 141 292 876 | 1 538403 19 | 0.000 % | 2725.69/2725.66 c | 17450271 | 141 292 876 | 1 542885 19 | 0.000 % | 2725.69/2725.66 c | 17450446 | 141 292 876 | 1 543060 19 | 0.000 % | 2725.69/2725.66 c | 17452744 | 141 292 876 | 1 545358 19 | 0.000 % | 2725.69/2725.66 c | 17469185 | 141 292 876 | 1 561799 19 | 0.000 % | 2725.69/2725.66 c | 17496674 | 141 292 876 | 1 589288 19 | 0.000 % | 2725.69/2725.66 c | 17498309 | 141 292 876 | 1 590923 19 | 0.000 % | 2725.69/2725.66 c | 17500010 | 141 292 876 | 1 592624 19 | 0.000 % | 2725.69/2725.66 c | 17572285 | 141 292 876 | 1 367098 15 | 0.000 % | 2725.69/2725.66 c | 17590212 | 141 292 876 | 1 385025 16 | 0.000 % | 2725.69/2725.66 c | 17594292 | 141 292 876 | 1 389105 16 | 0.000 % | 2725.69/2725.66 c | 17595587 | 141 292 876 | 1 390400 16 | 0.000 % | 2725.69/2725.66 c | 17596052 | 141 292 876 | 1 390865 16 | 0.000 % | 2725.69/2725.66 c | 17622896 | 141 292 876 | 1 417709 16 | 0.000 % | 2725.69/2725.66 c | 17623396 | 141 292 876 | 1 418209 16 | 0.000 % | 2725.69/2725.66 c | 17624888 | 141 292 876 | 1 419701 16 | 0.000 % | 2725.69/2725.66 c | 17625067 | 141 292 876 | 1 419880 16 | 0.000 % | 2725.69/2725.66 c | 17630308 | 141 292 876 | 1 425121 17 | 0.000 % | 2725.69/2725.66 c | 17632061 | 141 292 876 | 1 426874 17 | 0.000 % | 2725.69/2725.66 c | 17632456 | 141 292 876 | 1 427269 17 | 0.000 % | 2725.69/2725.66 c | 17633567 | 141 292 876 | 1 428380 17 | 0.000 % | 2725.69/2725.66 c | 17638873 | 141 292 876 | 1 433686 17 | 0.000 % | 3097.21/3097.19 c | 17639606 | 141 292 876 | 1 434419 17 | 0.000 % | 3097.21/3097.19 c | 17644313 | 141 292 876 | 1 439126 17 | 0.000 % | 3097.21/3097.19 c | 17646724 | 141 292 876 | 1 441537 17 | 0.000 % | 3097.21/3097.19 c | 17647222 | 141 292 876 | 1 442035 17 | 0.000 % | 3097.21/3097.19 c | 17647830 | 141 292 876 | 1 442643 17 | 0.000 % | 3097.21/3097.19 c | 17647932 | 141 292 876 | 1 442745 17 | 0.000 % | 3097.21/3097.19 c | 17705514 | 141 292 876 | 1 500327 18 | 0.000 % | 3097.21/3097.19 c | 17706652 | 141 292 876 | 1 501465 18 | 0.000 % | 3097.21/3097.19 c | 17721728 | 141 292 876 | 1 516541 18 | 0.000 % | 3097.21/3097.19 c | 17731047 | 141 292 876 | 1 525860 18 | 0.000 % | 3097.21/3097.19 c | 17731326 | 141 292 876 | 1 526139 18 | 0.000 % | 3097.21/3097.19 c | 19111809 | 141 292 876 | 1 378627 14 | 0.000 % | 3097.21/3097.19 c | 19115319 | 141 292 876 | 1 382137 15 | 0.000 % | 3097.21/3097.19 c | 19122548 | 141 292 876 | 1 389366 15 | 0.000 % | 3097.21/3097.19 c | 19122654 | 141 292 876 | 1 389472 15 | 0.000 % | 3097.21/3097.19 c | 19133417 | 141 292 876 | 1 400235 15 | 0.000 % | 3097.21/3097.19 c | 19150659 | 141 292 876 | 1 417477 15 | 0.000 % | 3097.21/3097.19 c | 19151075 | 141 292 876 | 1 417893 15 | 0.000 % | 3097.21/3097.19 c | 19152340 | 141 292 876 | 1 419158 15 | 0.000 % | 3097.21/3097.19 c | 19154509 | 141 292 876 | 1 421327 15 | 0.000 % | 3097.21/3097.19 c | 19156991 | 141 292 876 | 1 423809 15 | 0.000 % | 3097.21/3097.19 c | 19159169 | 141 292 876 | 1 425987 16 | 0.000 % | 3097.21/3097.19 c | 19160995 | 141 292 876 | 1 427813 16 | 0.000 % | 3097.21/3097.19 c | 19163164 | 141 292 876 | 1 429982 16 | 0.000 % | 3097.21/3097.19 c | 19163705 | 141 292 876 | 1 430523 16 | 0.000 % | 3097.21/3097.19 c | 19315663 | 141 292 876 | 1 582481 18 | 0.000 % | 3097.21/3097.19 c | 19316784 | 141 292 876 | 1 583602 18 | 0.000 % | 3097.21/3097.19 c | 19317290 | 141 292 876 | 1 584108 18 | 0.000 % | 3097.21/3097.19 c | 19320368 | 141 292 876 | 1 587186 18 | 0.000 % | 3097.21/3097.19 c | 19320746 | 141 292 876 | 1 587564 18 | 0.000 % | 3097.21/3097.19 c | 19322668 | 141 292 876 | 1 589486 18 | 0.000 % | 3097.21/3097.19 c | 19323154 | 141 292 876 | 1 589972 18 | 0.000 % | 3097.21/3097.19 c | 19325445 | 141 292 876 | 1 592263 18 | 0.000 % | 3097.21/3097.19 c | 19325545 | 141 292 876 | 1 592363 18 | 0.000 % | 3097.21/3097.19 c | 19333710 | 141 292 876 | 1 600528 18 | 0.000 % | 3097.21/3097.19 c | 19376212 | 141 292 876 | 1 329628 14 | 0.000 % | 3097.21/3097.19 c | 19376428 | 141 292 876 | 1 329844 14 | 0.000 % | 3097.21/3097.19 c | 19390003 | 141 292 876 | 1 343419 14 | 0.000 % | 3097.21/3097.19 c | 19390244 | 141 292 876 | 1 343660 14 | 0.000 % | 3097.21/3097.19 c | 19390686 | 141 292 876 | 1 344102 14 | 0.000 % | 3097.21/3097.19 c | 19391923 | 141 292 876 | 1 345339 14 | 0.000 % | 3097.21/3097.19 c | 19392184 | 141 292 876 | 1 345600 14 | 0.000 % | 3097.21/3097.19 c | 19392446 | 141 292 876 | 1 345862 14 | 0.000 % | 3097.21/3097.19 c | 19399628 | 141 292 876 | 1 353044 15 | 0.000 % | 3097.21/3097.19 c | 19399749 | 141 292 876 | 1 353165 15 | 0.000 % | 3097.21/3097.19 c | 19399981 | 141 292 876 | 1 353397 15 | 0.000 % | 3097.21/3097.19 c | 19401946 | 141 292 876 | 1 355362 15 | 0.000 % | 3097.21/3097.19 c | 19402657 | 141 292 876 | 1 356073 15 | 0.000 % | 3097.21/3097.19 c | 19406422 | 141 292 876 | 1 359838 15 | 0.000 % | 3097.21/3097.19 c | 19408285 | 141 292 876 | 1 361701 15 | 0.000 % | 3136.91/3136.83 c | 19413937 | 141 292 876 | 1 367353 15 | 0.000 % | 3136.91/3136.83 c | 19414063 | 141 292 876 | 1 367479 15 | 0.000 % | 3136.91/3136.83 c | 19422353 | 141 292 876 | 1 375769 15 | 0.000 % | 3136.91/3136.83 c | 19424728 | 141 292 876 | 1 378144 15 | 0.000 % | 3136.91/3136.83 c | 19425804 | 141 292 876 | 1 379220 15 | 0.000 % | 3136.91/3136.83 c | 19425923 | 141 292 876 | 1 379339 15 | 0.000 % | 3136.91/3136.83 c | 19428030 | 141 292 876 | 1 381446 15 | 0.000 % | 3136.91/3136.83 c | 19431984 | 141 292 876 | 1 385400 15 | 0.000 % | 3136.91/3136.83 c | 19437657 | 141 292 876 | 1 391073 16 | 0.000 % | 3136.91/3136.83 c | 19446762 | 141 292 876 | 1 400178 16 | 0.000 % | 3136.91/3136.83 c | 19450684 | 141 292 876 | 1 404100 16 | 0.000 % | 3136.91/3136.83 c | 19451120 | 141 292 876 | 1 404536 16 | 0.000 % | 3136.91/3136.83 c | 19451842 | 141 292 876 | 1 405258 16 | 0.000 % | 3136.91/3136.83 c | 19452546 | 141 292 876 | 1 405962 16 | 0.000 % | 3136.91/3136.83 c | 19453781 | 141 292 876 | 1 407197 16 | 0.000 % | 3136.91/3136.83 c | 19453916 | 141 292 876 | 1 407332 16 | 0.000 % | 3136.91/3136.83 c | 19454353 | 141 292 876 | 1 407769 16 | 0.000 % | 3136.91/3136.83 c | 19455635 | 141 292 876 | 1 409051 16 | 0.000 % | 3136.91/3136.83 c | 19456125 | 141 292 876 | 1 409541 16 | 0.000 % | 3136.91/3136.83 c | 19457487 | 141 292 876 | 1 410903 16 | 0.000 % | 3136.91/3136.83 c | 19457813 | 141 292 876 | 1 411229 16 | 0.000 % | 3136.91/3136.83 c | 19458558 | 141 292 876 | 1 411974 16 | 0.000 % | 3136.91/3136.83 c | 19459617 | 141 292 876 | 1 413033 16 | 0.000 % | 3136.91/3136.83 c | 19461860 | 141 292 876 | 1 415276 16 | 0.000 % | 3136.91/3136.83 c | 19462063 | 141 292 876 | 1 415479 16 | 0.000 % | 3136.91/3136.83 c | 19462699 | 141 292 876 | 1 416115 16 | 0.000 % | 3136.91/3136.83 c | 19462875 | 141 292 876 | 1 416291 16 | 0.000 % | 3136.91/3136.83 c | 19463086 | 141 292 876 | 1 416502 16 | 0.000 % | 3136.91/3136.83 c | 19464146 | 141 292 876 | 1 417562 16 | 0.000 % | 3136.91/3136.83 c | 19465532 | 141 292 876 | 1 418948 16 | 0.000 % | 3136.91/3136.83 c | 19465945 | 141 292 876 | 1 419361 16 | 0.000 % | 3136.91/3136.83 c | 19472765 | 141 292 876 | 1 426181 16 | 0.000 % | 3136.91/3136.83 c | 19473444 | 141 292 876 | 1 426860 16 | 0.000 % | 3136.91/3136.83 c | 19473555 | 141 292 876 | 1 426971 16 | 0.000 % | 3136.91/3136.83 c | 19520048 | 141 292 876 | 1 473464 17 | 0.000 % | 3136.91/3136.83 c | 19520715 | 141 292 876 | 1 474131 17 | 0.000 % | 3136.91/3136.83 c | 19521065 | 141 292 876 | 1 474481 17 | 0.000 % | 3136.91/3136.83 c | 19521184 | 141 292 876 | 1 474600 17 | 0.000 % | 3136.91/3136.83 c | 19533139 | 141 292 876 | 1 486555 18 | 0.000 % | 3136.91/3136.83 c | 19534713 | 141 292 876 | 1 488129 18 | 0.000 % | 3136.91/3136.83 c | 19534852 | 141 292 876 | 1 488268 18 | 0.000 % | 3136.91/3136.83 c | 19541575 | 141 292 876 | 1 494991 18 | 0.000 % | 3136.91/3136.83 c | 19554792 | 141 292 876 | 1 508208 18 | 0.000 % | 3136.91/3136.83 c | 19555064 | 141 292 876 | 1 508480 18 | 0.000 % | 3136.91/3136.83 c | 19600931 | 141 292 876 | 1 554347 18 | 0.000 % | 3136.91/3136.83 c | 19601140 | 141 292 876 | 1 554556 18 | 0.000 % | 3136.91/3136.83 c | 19601311 | 141 292 876 | 1 554727 18 | 0.000 % | 3136.91/3136.83 c | 19606919 | 141 292 876 | 1 560335 18 | 0.000 % | 3136.91/3136.83 c | 19609620 | 141 292 876 | 1 563036 18 | 0.000 % | 3136.91/3136.83 c | 19614555 | 141 292 876 | 1 567971 18 | 0.000 % | 3222.91/3222.88 c | 19650975 | 141 292 876 | 1 604391 19 | 0.000 % | 3222.91/3222.88 c | 19665180 | 141 292 876 | 1 618596 19 | 0.000 % | 3222.91/3222.88 c | 19666272 | 141 292 876 | 1 619688 19 | 0.000 % | 3222.91/3222.88 c | 19667268 | 141 292 876 | 1 620684 19 | 0.000 % | 3222.91/3222.88 c | 19670035 | 141 292 876 | 1 623451 19 | 0.000 % | 3222.91/3222.88 c | 19670803 | 141 292 876 | 1 624219 19 | 0.000 % | 3222.91/3222.88 c | 19671078 | 141 292 876 | 1 624494 19 | 0.000 % | 3222.91/3222.88 c | 19672027 | 141 292 876 | 1 625443 19 | 0.000 % | 3222.91/3222.88 c | 19672403 | 141 292 876 | 1 625819 19 | 0.000 % | 3222.91/3222.88 c | 19674932 | 141 292 876 | 1 628348 19 | 0.000 % | 3222.91/3222.88 c | 19675186 | 141 292 876 | 1 628602 19 | 0.000 % | 3222.91/3222.88 c | 19726803 | 141 292 876 | 1 364215 14 | 0.000 % | 3222.91/3222.88 c | 19728790 | 141 292 876 | 1 366202 14 | 0.000 % | 3222.91/3222.88 c | 19729024 | 141 292 876 | 1 366436 14 | 0.000 % | 3222.91/3222.88 c | 19729592 | 141 292 876 | 1 367004 14 | 0.000 % | 3222.91/3222.88 c | 19753771 | 141 292 876 | 1 391183 15 | 0.000 % | 3222.91/3222.88 c | 19754867 | 141 292 876 | 1 392279 15 | 0.000 % | 3222.91/3222.88 c | 19755505 | 141 292 876 | 1 392917 15 | 0.000 % | 3222.91/3222.88 c | 19756644 | 141 292 876 | 1 394056 15 | 0.000 % | 3222.91/3222.88 c | 19757273 | 141 292 876 | 1 394685 15 | 0.000 % | 3222.91/3222.88 c | 19768892 | 141 292 876 | 1 406304 15 | 0.000 % | 3222.91/3222.88 c | 19769432 | 141 292 876 | 1 406844 15 | 0.000 % | 3222.91/3222.88 c | 19778925 | 141 292 876 | 1 416337 15 | 0.000 % | 3222.91/3222.88 c | 19786856 | 141 292 876 | 1 424268 15 | 0.000 % | 3222.91/3222.88 c | 19796576 | 141 292 876 | 1 433988 16 | 0.000 % | 3222.91/3222.88 c | 19835276 | 141 292 876 | 1 472688 16 | 0.000 % | 3222.91/3222.88 c | 19835378 | 141 292 876 | 1 472790 16 | 0.000 % | 3222.91/3222.88 c | 19875115 | 141 292 876 | 1 512527 17 | 0.000 % | 3222.91/3222.88 c | 19876847 | 141 292 876 | 1 514259 17 | 0.000 % | 3222.91/3222.88 c | 19876948 | 141 292 876 | 1 514360 17 | 0.000 % | 3222.91/3222.88 c | 19881484 | 141 292 876 | 1 518896 17 | 0.000 % | 3222.91/3222.88 c | 19882888 | 141 292 876 | 1 520300 17 | 0.000 % | 3222.91/3222.88 c | 19883309 | 141 292 876 | 1 520721 17 | 0.000 % | 3222.91/3222.88 c | 19883733 | 141 292 876 | 1 521145 17 | 0.000 % | 3222.91/3222.88 c | 19887032 | 141 292 876 | 1 524444 17 | 0.000 % | 3222.91/3222.88 c | 19887513 | 141 292 876 | 1 524925 17 | 0.000 % | 3222.91/3222.88 c | 19893652 | 141 292 876 | 1 531064 17 | 0.000 % | 3222.91/3222.88 c | 19898369 | 141 292 876 | 1 535781 17 | 0.000 % | 3222.91/3222.88 c | 19898470 | 141 292 876 | 1 535882 17 | 0.000 % | 3222.91/3222.88 c | 19899918 | 141 292 876 | 1 537330 17 | 0.000 % | 3222.91/3222.88 c | 19904579 | 141 292 876 | 1 541991 17 | 0.000 % | 3222.91/3222.88 c | 19905229 | 141 292 876 | 1 542641 17 | 0.000 % | 3222.91/3222.88 c | 19911417 | 141 292 876 | 1 548829 17 | 0.000 % | 3222.91/3222.88 c | 19913374 | 141 292 876 | 1 550786 17 | 0.000 % | 3222.91/3222.88 c | 20000002 | 141 292 876 | 1 318813 13 | 0.000 % | 3222.91/3222.88 c | 20048884 | 141 292 876 | 1 367695 15 | 0.000 % | 3222.91/3222.88 c | 20049072 | 141 292 876 | 1 367883 15 | 0.000 % | 3222.91/3222.88 c | 20049288 | 141 292 876 | 1 368099 15 | 0.000 % | 3222.91/3222.88 c | 20055016 | 141 292 876 | 1 373827 15 | 0.000 % | 3222.91/3222.88 c | 20067038 | 141 292 876 | 1 385849 15 | 0.000 % | 3306.02/3305.97 c | 20069619 | 141 292 876 | 1 388430 15 | 0.000 % | 3306.02/3305.97 c | 20086722 | 141 292 876 | 1 405533 16 | 0.000 % | 3306.02/3305.97 c | 20086823 | 141 292 876 | 1 405634 16 | 0.000 % | 3306.02/3305.97 c | 20087365 | 141 292 876 | 1 406176 16 | 0.000 % | 3306.02/3305.97 c | 20087478 | 141 292 876 | 1 406289 16 | 0.000 % | 3306.02/3305.97 c | 20087580 | 141 292 876 | 1 406391 16 | 0.000 % | 3306.02/3305.97 c | 20087908 | 141 292 876 | 1 406719 16 | 0.000 % | 3306.02/3305.97 c | 20088009 | 141 292 876 | 1 406820 16 | 0.000 % | 3306.02/3305.97 c | 20092848 | 141 292 876 | 1 411659 16 | 0.000 % | 3306.02/3305.97 c | 20095182 | 141 292 876 | 1 413993 16 | 0.000 % | 3306.02/3305.97 c | 20095315 | 141 292 876 | 1 414126 16 | 0.000 % | 3306.02/3305.97 c | 20098829 | 141 292 876 | 1 417640 16 | 0.000 % | 3306.02/3305.97 c | 20099103 | 141 292 876 | 1 417914 16 | 0.000 % | 3306.02/3305.97 c | 20099407 | 141 292 876 | 1 418218 16 | 0.000 % | 3306.02/3305.97 c | 20110851 | 141 292 876 | 1 429662 16 | 0.000 % | 3306.02/3305.97 c | 20111025 | 141 292 876 | 1 429836 16 | 0.000 % | 3306.02/3305.97 c | 20111770 | 141 292 876 | 1 430581 16 | 0.000 % | 3306.02/3305.97 c | 20113212 | 141 292 876 | 1 432023 16 | 0.000 % | 3306.02/3305.97 c | 20113602 | 141 292 876 | 1 432413 16 | 0.000 % | 3306.02/3305.97 c | 20117703 | 141 292 876 | 1 436514 16 | 0.000 % | 3306.02/3305.97 c | 20121095 | 141 292 876 | 1 439906 16 | 0.000 % | 3306.02/3305.97 c | 20121274 | 141 292 876 | 1 440085 16 | 0.000 % | 3306.02/3305.97 c | 20121505 | 141 292 876 | 1 440316 16 | 0.000 % | 3306.02/3305.97 c | 20143055 | 141 292 876 | 1 461866 17 | 0.000 % | 3306.02/3305.97 c | 20143188 | 141 292 876 | 1 461999 17 | 0.000 % | 3306.02/3305.97 c | 20143288 | 141 292 876 | 1 462099 17 | 0.000 % | 3306.02/3305.97 c | 20143388 | 141 292 876 | 1 462199 17 | 0.000 % | 3306.02/3305.97 c | 20172780 | 141 292 876 | 1 491591 17 | 0.000 % | 3306.02/3305.97 c | 20173448 | 141 292 876 | 1 492259 17 | 0.000 % | 3306.02/3305.97 c | 20186135 | 141 292 876 | 1 504946 17 | 0.000 % | 3306.02/3305.97 c | 20186592 | 141 292 876 | 1 505403 17 | 0.000 % | 3306.02/3305.97 c | 20187271 | 141 292 876 | 1 506082 17 | 0.000 % | 3306.02/3305.97 c | 20371343 | 141 292 876 | 1 368957 14 | 0.000 % | 3306.02/3305.97 c | 20373481 | 141 292 876 | 1 371095 15 | 0.000 % | 3306.02/3305.97 c | 20373863 | 141 292 876 | 1 371477 15 | 0.000 % | 3306.02/3305.97 c | 20374633 | 141 292 876 | 1 372247 15 | 0.000 % | 3306.02/3305.97 c | 20374818 | 141 292 876 | 1 372432 15 | 0.000 % | 3306.02/3305.97 c | 20374918 | 141 292 876 | 1 372532 15 | 0.000 % | 3306.02/3305.97 c | 20390995 | 141 292 876 | 1 388609 15 | 0.000 % | 3306.02/3305.97 c | 20391478 | 141 292 876 | 1 389092 15 | 0.000 % | 3306.02/3305.97 c | 20396583 | 141 292 876 | 1 394197 15 | 0.000 % | 3306.02/3305.97 c | 20399208 | 141 292 876 | 1 396822 15 | 0.000 % | 3306.02/3305.97 c | 20399692 | 141 292 876 | 1 397306 15 | 0.000 % | 3306.02/3305.97 c | 20399940 | 141 292 876 | 1 397554 15 | 0.000 % | 3306.02/3305.97 c | 20403419 | 141 292 876 | 1 401033 15 | 0.000 % | 3306.02/3305.97 c | 20408257 | 141 292 876 | 1 405871 15 | 0.000 % | 3306.02/3305.97 c | 20410005 | 141 292 876 | 1 407619 15 | 0.000 % | 3306.02/3305.97 c | 20417128 | 141 292 876 | 1 414742 15 | 0.000 % | 3306.02/3305.97 c | 20430072 | 141 292 876 | 1 427686 16 | 0.000 % | 3306.02/3305.97 c | 20449981 | 141 292 876 | 1 447595 16 | 0.000 % | 3367.41/3367.31 c | 20450448 | 141 292 876 | 1 448062 16 | 0.000 % | 3367.41/3367.31 c | 20450789 | 141 292 876 | 1 448403 16 | 0.000 % | 3367.41/3367.31 c | 20450930 | 141 292 876 | 1 448544 16 | 0.000 % | 3367.41/3367.31 c | 20452629 | 141 292 876 | 1 450243 16 | 0.000 % | 3367.41/3367.31 c | 20483133 | 141 292 876 | 1 480747 16 | 0.000 % | 3367.41/3367.31 c | 20494348 | 141 292 876 | 1 491962 17 | 0.000 % | 3367.41/3367.31 c | 20495826 | 141 292 876 | 1 493440 17 | 0.000 % | 3367.41/3367.31 c | 20496023 | 141 292 876 | 1 493637 17 | 0.000 % | 3367.41/3367.31 c | 20496309 | 141 292 876 | 1 493923 17 | 0.000 % | 3367.41/3367.31 c | 20497664 | 141 292 876 | 1 495278 17 | 0.000 % | 3367.41/3367.31 c | 20498137 | 141 292 876 | 1 495751 17 | 0.000 % | 3367.41/3367.31 c | 20506116 | 141 292 876 | 1 503730 17 | 0.000 % | 3367.41/3367.31 c | 20506696 | 141 292 876 | 1 504310 17 | 0.000 % | 3367.41/3367.31 c | 20509613 | 141 292 876 | 1 507227 17 | 0.000 % | 3367.41/3367.31 c | 20510486 | 141 292 876 | 1 508100 17 | 0.000 % | 3367.41/3367.31 c | 20514606 | 141 292 876 | 1 512220 17 | 0.000 % | 3367.41/3367.31 c | 20519557 | 141 292 876 | 1 517171 17 | 0.000 % | 3367.41/3367.31 c | 20542692 | 141 292 876 | 1 540306 17 | 0.000 % | 3367.41/3367.31 c | 20543305 | 141 292 876 | 1 540919 17 | 0.000 % | 3367.41/3367.31 c | 20543405 | 141 292 876 | 1 541019 17 | 0.000 % | 3367.41/3367.31 c | 20543873 | 141 292 876 | 1 541487 17 | 0.000 % | 3367.41/3367.31 c | 20544442 | 141 292 876 | 1 542056 17 | 0.000 % | 3367.41/3367.31 c | 20545696 | 141 292 876 | 1 543310 17 | 0.000 % | 3367.41/3367.31 c | 20670400 | 141 292 876 | 1 344214 13 | 0.000 % | 3367.41/3367.31 c | 20671920 | 141 292 876 | 1 345734 13 | 0.000 % | 3367.41/3367.31 c | 20672215 | 141 292 876 | 1 346029 13 | 0.000 % | 3367.41/3367.31 c | 20672518 | 141 292 876 | 1 346332 13 | 0.000 % | 3367.41/3367.31 c | 20674399 | 141 292 876 | 1 348213 13 | 0.000 % | 3367.41/3367.31 c | 20678295 | 141 292 876 | 1 352109 14 | 0.000 % | 3367.41/3367.31 c | 20678585 | 141 292 876 | 1 352399 14 | 0.000 % | 3367.41/3367.31 c | 20678765 | 141 292 876 | 1 352579 14 | 0.000 % | 3367.41/3367.31 c | 20679082 | 141 292 876 | 1 352896 14 | 0.000 % | 3367.41/3367.31 c | 20679885 | 141 292 876 | 1 353699 14 | 0.000 % | 3367.41/3367.31 c | 20679985 | 141 292 876 | 1 353799 14 | 0.000 % | 3367.41/3367.31 c | 20682468 | 141 292 876 | 1 356282 14 | 0.000 % | 3367.41/3367.31 c | 20686444 | 141 292 876 | 1 360258 14 | 0.000 % | 3367.41/3367.31 c | 20686602 | 141 292 876 | 1 360416 14 | 0.000 % | 3367.41/3367.31 c | 20686715 | 141 292 876 | 1 360529 14 | 0.000 % | 3367.41/3367.31 c | 20686852 | 141 292 876 | 1 360666 14 | 0.000 % | 3367.41/3367.31 c | 20688760 | 141 292 876 | 1 362574 14 | 0.000 % | 3367.41/3367.31 c | 20688921 | 141 292 876 | 1 362735 14 | 0.000 % | 3367.41/3367.31 c | 20689367 | 141 292 876 | 1 363181 14 | 0.000 % | 3367.41/3367.31 c | 20693499 | 141 292 876 | 1 367313 14 | 0.000 % | 3367.41/3367.31 c | 20694460 | 141 292 876 | 1 368274 14 | 0.000 % | 3367.41/3367.31 c | 20694724 | 141 292 876 | 1 368538 14 | 0.000 % | 3367.41/3367.31 c | 20695191 | 141 292 876 | 1 369005 14 | 0.000 % | 3367.41/3367.31 c | 20731044 | 141 292 876 | 1 404858 15 | 0.000 % | 3367.41/3367.31 c | 20782550 | 141 292 876 | 1 456364 16 | 0.000 % | 3367.41/3367.31 c | 20782773 | 141 292 876 | 1 456587 16 | 0.000 % | 3367.41/3367.31 c | 20783560 | 141 292 876 | 1 457374 16 | 0.000 % | 3394.02/3393.96 c | 20798513 | 141 292 876 | 1 472327 16 | 0.000 % | 3394.02/3393.96 c | 20803094 | 141 292 876 | 1 476908 16 | 0.000 % | 3394.02/3393.96 c | 20803257 | 141 292 876 | 1 477071 16 | 0.000 % | 3394.02/3393.96 c | 20804556 | 141 292 876 | 1 478370 16 | 0.000 % | 3394.02/3393.96 c | 20809194 | 141 292 876 | 1 483008 16 | 0.000 % | 3394.02/3393.96 c | 20809644 | 141 292 876 | 1 483458 16 | 0.000 % | 3394.02/3393.96 c | 20816573 | 141 292 876 | 1 490387 16 | 0.000 % | 3394.02/3393.96 c | 20817355 | 141 292 876 | 1 491169 16 | 0.000 % | 3394.02/3393.96 c | 20822034 | 141 292 876 | 1 495848 17 | 0.000 % | 3394.02/3393.96 c | 20822751 | 141 292 876 | 1 496565 17 | 0.000 % | 3394.02/3393.96 c | 20824363 | 141 292 876 | 1 498177 17 | 0.000 % | 3394.02/3393.96 c | 20824544 | 141 292 876 | 1 498358 17 | 0.000 % | 3394.02/3393.96 c | 20825157 | 141 292 876 | 1 498971 17 | 0.000 % | 3394.02/3393.96 c | 20831177 | 141 292 876 | 1 504991 17 | 0.000 % | 3394.02/3393.96 c | 20831360 | 141 292 876 | 1 505174 17 | 0.000 % | 3394.02/3393.96 c | 20841857 | 141 292 876 | 1 515671 17 | 0.000 % | 3394.02/3393.96 c | 20846113 | 141 292 876 | 1 519927 17 | 0.000 % | 3394.02/3393.96 c | 20847585 | 141 292 876 | 1 521399 17 | 0.000 % | 3394.02/3393.96 c | 20848245 | 141 292 876 | 1 522059 17 | 0.000 % | 3394.02/3393.96 c | 20848675 | 141 292 876 | 1 522489 17 | 0.000 % | 3394.02/3393.96 c | 20851960 | 141 292 876 | 1 525774 17 | 0.000 % | 3394.02/3393.96 c | 20853273 | 141 292 876 | 1 527087 17 | 0.000 % | 3394.02/3393.96 c | 20854087 | 141 292 876 | 1 527901 17 | 0.000 % | 3394.02/3393.96 c | 20859525 | 141 292 876 | 1 533339 17 | 0.000 % | 3394.02/3393.96 c | 20859675 | 141 292 876 | 1 533489 17 | 0.000 % | 3394.02/3393.96 c | 20859882 | 141 292 876 | 1 533696 17 | 0.000 % | 3394.02/3393.96 c | 20862912 | 141 292 876 | 1 536726 17 | 0.000 % | 3394.02/3393.96 c | 20864339 | 141 292 876 | 1 538153 17 | 0.000 % | 3394.02/3393.96 c | 20866050 | 141 292 876 | 1 539864 17 | 0.000 % | 3394.02/3393.96 c | 20872791 | 141 292 876 | 1 546605 17 | 0.000 % | 3394.02/3393.96 c | 20873486 | 141 292 876 | 1 547300 17 | 0.000 % | 3394.02/3393.96 c | 20873666 | 141 292 876 | 1 547480 17 | 0.000 % | 3394.02/3393.96 c | 20874347 | 141 292 876 | 1 548161 17 | 0.000 % | 3394.02/3393.96 c | 20880696 | 141 292 876 | 1 554510 17 | 0.000 % | 3394.02/3393.96 c | 20881434 | 141 292 876 | 1 555248 17 | 0.000 % | 3394.02/3393.96 c | 20882552 | 141 292 876 | 1 556366 17 | 0.000 % | 3394.02/3393.96 c | 20882665 | 141 292 876 | 1 556479 17 | 0.000 % | 3394.02/3393.96 c | 20883854 | 141 292 876 | 1 557668 17 | 0.000 % | 3394.02/3393.96 c | 20884036 | 141 292 876 | 1 557850 17 | 0.000 % | 3394.02/3393.96 c | 20884263 | 141 292 876 | 1 558077 17 | 0.000 % | 3394.02/3393.96 c | 20887264 | 141 292 876 | 1 561078 18 | 0.000 % | 3394.02/3393.96 c | 20887530 | 141 292 876 | 1 561344 18 | 0.000 % | 3394.02/3393.96 c | 20887882 | 141 292 876 | 1 561696 18 | 0.000 % | 3394.02/3393.96 c | 20894762 | 141 292 876 | 1 568576 18 | 0.000 % | 3394.02/3393.96 c | 20894874 | 141 292 876 | 1 568688 18 | 0.000 % | 3394.02/3393.96 c | 20897360 | 141 292 876 | 1 571174 18 | 0.000 % | 3394.02/3393.96 c | 20898213 | 141 292 876 | 1 572027 18 | 0.000 % | 3394.02/3393.96 c | 20898673 | 141 292 876 | 1 572487 18 | 0.000 % | 3394.02/3393.96 c | 20898826 | 141 292 876 | 1 572640 18 | 0.000 % | 3394.02/3393.96 c | 20899422 | 141 292 876 | 1 573236 18 | 0.000 % | 3432.61/3432.53 c | 20925554 | 141 292 876 | 1 599368 18 | 0.000 % | 3432.61/3432.53 c | 20926443 | 141 292 876 | 1 600257 18 | 0.000 % | 3432.61/3432.53 c | 20943897 | 141 292 876 | 1 617711 18 | 0.000 % | 3432.61/3432.53 c | 20946600 | 141 292 876 | 1 620414 18 | 0.000 % | 3432.61/3432.53 c | 20948066 | 141 292 876 | 1 621880 18 | 0.000 % | 3432.61/3432.53 c | 20948475 | 141 292 876 | 1 622289 18 | 0.000 % | 3432.61/3432.53 c | 20949198 | 141 292 876 | 1 623012 18 | 0.000 % | 3432.61/3432.53 c | 20949535 | 141 292 876 | 1 623349 18 | 0.000 % | 3432.61/3432.53 c | 20949790 | 141 292 876 | 1 623604 18 | 0.000 % | 3432.61/3432.53 c | 20952054 | 141 292 876 | 1 625868 18 | 0.000 % | 3432.61/3432.53 c | 20986527 | 141 292 876 | 1 333941 13 | 0.000 % | 3432.61/3432.53 c | 20993591 | 141 292 876 | 1 341005 13 | 0.000 % | 3432.61/3432.53 c | 20994642 | 141 292 876 | 1 342056 13 | 0.000 % | 3432.61/3432.53 c | 20996852 | 141 292 876 | 1 344266 13 | 0.000 % | 3432.61/3432.53 c | 20997051 | 141 292 876 | 1 344465 13 | 0.000 % | 3432.61/3432.53 c | 21002096 | 141 292 876 | 1 349510 13 | 0.000 % | 3432.61/3432.53 c | 21006862 | 141 292 876 | 1 354276 14 | 0.000 % | 3432.61/3432.53 c | 21006965 | 141 292 876 | 1 354379 14 | 0.000 % | 3432.61/3432.53 c | 21007172 | 141 292 876 | 1 354586 14 | 0.000 % | 3432.61/3432.53 c | 21007339 | 141 292 876 | 1 354753 14 | 0.000 % | 3432.61/3432.53 c | 21007979 | 141 292 876 | 1 355393 14 | 0.000 % | 3432.61/3432.53 c | 21008260 | 141 292 876 | 1 355674 14 | 0.000 % | 3432.61/3432.53 c | 21008968 | 141 292 876 | 1 356382 14 | 0.000 % | 3432.61/3432.53 c | 21009369 | 141 292 876 | 1 356783 14 | 0.000 % | 3432.61/3432.53 c | 21009550 | 141 292 876 | 1 356964 14 | 0.000 % | 3432.61/3432.53 c | 21009783 | 141 292 876 | 1 357197 14 | 0.000 % | 3432.61/3432.53 c | 21010655 | 141 292 876 | 1 358069 14 | 0.000 % | 3432.61/3432.53 c | 21011543 | 141 292 876 | 1 358957 14 | 0.000 % | 3432.61/3432.53 c | 21011795 | 141 292 876 | 1 359209 14 | 0.000 % | 3432.61/3432.53 c | 21011946 | 141 292 876 | 1 359360 14 | 0.000 % | 3432.61/3432.53 c | 21012425 | 141 292 876 | 1 359839 14 | 0.000 % | 3432.61/3432.53 c | 21014907 | 141 292 876 | 1 362321 14 | 0.000 % | 3432.61/3432.53 c | 21016184 | 141 292 876 | 1 363598 14 | 0.000 % | 3432.61/3432.53 c | 21016428 | 141 292 876 | 1 363842 14 | 0.000 % | 3432.61/3432.53 c | 21022254 | 141 292 876 | 1 369668 14 | 0.000 % | 3432.61/3432.53 c | 21022567 | 141 292 876 | 1 369981 14 | 0.000 % | 3432.61/3432.53 c | 21022790 | 141 292 876 | 1 370204 14 | 0.000 % | 3432.61/3432.53 c | 21023505 | 141 292 876 | 1 370919 14 | 0.000 % | 3432.61/3432.53 c | 21040953 | 141 292 876 | 1 388367 15 | 0.000 % | 3432.61/3432.53 c | 21041056 | 141 292 876 | 1 388470 15 | 0.000 % | 3432.61/3432.53 c | 21041679 | 141 292 876 | 1 389093 15 | 0.000 % | 3432.61/3432.53 c | 21056655 | 141 292 876 | 1 404069 15 | 0.000 % | 3432.61/3432.53 c | 21056812 | 141 292 876 | 1 404226 15 | 0.000 % | 3432.61/3432.53 c | 21078486 | 141 292 876 | 1 425900 15 | 0.000 % | 3432.61/3432.53 c | 21086139 | 141 292 876 | 1 433553 16 | 0.000 % | 3432.61/3432.53 c | 21088453 | 141 292 876 | 1 435867 16 | 0.000 % | 3432.61/3432.53 c | 21088644 | 141 292 876 | 1 436058 16 | 0.000 % | 3432.61/3432.53 c | 21088865 | 141 292 876 | 1 436279 16 | 0.000 % | 3432.61/3432.53 c | 21090538 | 141 292 876 | 1 437952 16 | 0.000 % | 3432.61/3432.53 c | 21090639 | 141 292 876 | 1 438053 16 | 0.000 % | 3487.12/3487.01 c | 21090762 | 141 292 876 | 1 438176 16 | 0.000 % | 3487.12/3487.01 c | 21092430 | 141 292 876 | 1 439844 16 | 0.000 % | 3487.12/3487.01 c | 21092794 | 141 292 876 | 1 440208 16 | 0.000 % | 3487.12/3487.01 c | 21093232 | 141 292 876 | 1 440646 16 | 0.000 % | 3487.12/3487.01 c | 21094562 | 141 292 876 | 1 441976 16 | 0.000 % | 3487.12/3487.01 c | 21099488 | 141 292 876 | 1 446902 16 | 0.000 % | 3487.12/3487.01 c | 21099588 | 141 292 876 | 1 447002 16 | 0.000 % | 3487.12/3487.01 c | 21099874 | 141 292 876 | 1 447288 16 | 0.000 % | 3487.12/3487.01 c | 21099974 | 141 292 876 | 1 447388 16 | 0.000 % | 3487.12/3487.01 c | 21100533 | 141 292 876 | 1 447947 16 | 0.000 % | 3487.12/3487.01 c | 21100761 | 141 292 876 | 1 448175 16 | 0.000 % | 3487.12/3487.01 c | 21107951 | 141 292 876 | 1 455365 16 | 0.000 % | 3487.12/3487.01 c | 21122908 | 141 292 876 | 1 470322 16 | 0.000 % | 3487.12/3487.01 c | 21123881 | 141 292 876 | 1 471295 16 | 0.000 % | 3487.12/3487.01 c | 21124001 | 141 292 876 | 1 471415 16 | 0.000 % | 3487.12/3487.01 c | 21145385 | 141 292 876 | 1 492799 17 | 0.000 % | 3487.12/3487.01 c | 21145792 | 141 292 876 | 1 493206 17 | 0.000 % | 3487.12/3487.01 c | 21149627 | 141 292 876 | 1 497041 17 | 0.000 % | 3487.12/3487.01 c | 21251939 | 141 292 876 | 1 599353 18 | 0.000 % | 3487.12/3487.01 c | 21253072 | 141 292 876 | 1 600486 18 | 0.000 % | 3487.12/3487.01 c | 21253539 | 141 292 876 | 1 600953 18 | 0.000 % | 3487.12/3487.01 c | 21267284 | 141 292 876 | 1 614698 18 | 0.000 % | 3487.12/3487.01 c | 21267422 | 141 292 876 | 1 614836 18 | 0.000 % | 3487.12/3487.01 c | 21268121 | 141 292 876 | 1 615535 18 | 0.000 % | 3487.12/3487.01 c | 21269444 | 141 292 876 | 1 616858 18 | 0.000 % | 3487.12/3487.01 c | 21269982 | 141 292 876 | 1 617396 18 | 0.000 % | 3487.12/3487.01 c | 21310116 | 141 292 876 | 1 657530 19 | 0.000 % | 3487.12/3487.01 c | 21315491 | 141 292 876 | 1 333901 13 | 0.000 % | 3487.12/3487.01 c | 21315926 | 141 292 876 | 1 334336 13 | 0.000 % | 3487.12/3487.01 c | 21317179 | 141 292 876 | 1 335589 13 | 0.000 % | 3487.12/3487.01 c | 21320314 | 141 292 876 | 1 338724 13 | 0.000 % | 3487.12/3487.01 c | 21320931 | 141 292 876 | 1 339341 13 | 0.000 % | 3487.12/3487.01 c | 21322332 | 141 292 876 | 1 340742 13 | 0.000 % | 3487.12/3487.01 c | 21322954 | 141 292 876 | 1 341364 13 | 0.000 % | 3487.12/3487.01 c | 21326049 | 141 292 876 | 1 344459 13 | 0.000 % | 3487.12/3487.01 c | 21326218 | 141 292 876 | 1 344628 13 | 0.000 % | 3487.12/3487.01 c | 21326318 | 141 292 876 | 1 344728 13 | 0.000 % | 3487.12/3487.01 c | 21328242 | 141 292 876 | 1 346652 13 | 0.000 % | 3487.12/3487.01 c | 21328354 | 141 292 876 | 1 346764 13 | 0.000 % | 3487.12/3487.01 c | 21328846 | 141 292 876 | 1 347256 13 | 0.000 % | 3487.12/3487.01 c | 21329328 | 141 292 876 | 1 347738 13 | 0.000 % | 3487.12/3487.01 c | 21330738 | 141 292 876 | 1 349148 13 | 0.000 % | 3487.12/3487.01 c | 21331520 | 141 292 876 | 1 349930 13 | 0.000 % | 3487.12/3487.01 c | 21332557 | 141 292 876 | 1 350967 13 | 0.000 % | 3487.12/3487.01 c | 21334296 | 141 292 876 | 1 352706 14 | 0.000 % | 3487.12/3487.01 c | 21341983 | 141 292 876 | 1 360393 14 | 0.000 % | 3487.12/3487.01 c | 21348814 | 141 292 876 | 1 367224 14 | 0.000 % | 3487.12/3487.01 c | 21349502 | 141 292 876 | 1 367912 14 | 0.000 % | 3487.12/3487.01 c | 21350151 | 141 292 876 | 1 368561 14 | 0.000 % | 3487.12/3487.01 c | 21351717 | 141 292 876 | 1 370127 14 | 0.000 % | 3517.52/3517.43 c | 21353513 | 141 292 876 | 1 371923 14 | 0.000 % | 3517.52/3517.43 c | 21353950 | 141 292 876 | 1 372360 14 | 0.000 % | 3517.52/3517.43 c | 21358547 | 141 292 876 | 1 376957 14 | 0.000 % | 3517.52/3517.43 c | 21358658 | 141 292 876 | 1 377068 14 | 0.000 % | 3517.52/3517.43 c | 21358775 | 141 292 876 | 1 377185 14 | 0.000 % | 3517.52/3517.43 c | 21358968 | 141 292 876 | 1 377378 14 | 0.000 % | 3517.52/3517.43 c | 21360487 | 141 292 876 | 1 378897 14 | 0.000 % | 3517.52/3517.43 c | 21362960 | 141 292 876 | 1 381370 14 | 0.000 % | 3517.52/3517.43 c | 21363166 | 141 292 876 | 1 381576 14 | 0.000 % | 3517.52/3517.43 c | 21368089 | 141 292 876 | 1 386499 14 | 0.000 % | 3517.52/3517.43 c | 21369967 | 141 292 876 | 1 388377 14 | 0.000 % | 3517.52/3517.43 c | 21370257 | 141 292 876 | 1 388667 14 | 0.000 % | 3517.52/3517.43 c | 21370359 | 141 292 876 | 1 388769 14 | 0.000 % | 3517.52/3517.43 c | 21370624 | 141 292 876 | 1 389034 14 | 0.000 % | 3517.52/3517.43 c | 21370724 | 141 292 876 | 1 389134 14 | 0.000 % | 3517.52/3517.43 c | 21370978 | 141 292 876 | 1 389388 14 | 0.000 % | 3517.52/3517.43 c | 21371652 | 141 292 876 | 1 390062 14 | 0.000 % | 3517.52/3517.43 c | 21372580 | 141 292 876 | 1 390990 15 | 0.000 % | 3517.52/3517.43 c | 21385159 | 141 292 876 | 1 403569 15 | 0.000 % | 3517.52/3517.43 c | 21385567 | 141 292 876 | 1 403977 15 | 0.000 % | 3517.52/3517.43 c | 21387793 | 141 292 876 | 1 406203 15 | 0.000 % | 3517.52/3517.43 c | 21390942 | 141 292 876 | 1 409352 15 | 0.000 % | 3517.52/3517.43 c | 21392210 | 141 292 876 | 1 410620 15 | 0.000 % | 3517.52/3517.43 c | 21394035 | 141 292 876 | 1 412445 15 | 0.000 % | 3517.52/3517.43 c | 21394957 | 141 292 876 | 1 413367 15 | 0.000 % | 3517.52/3517.43 c | 21399408 | 141 292 876 | 1 417818 15 | 0.000 % | 3517.52/3517.43 c | 21399843 | 141 292 876 | 1 418253 15 | 0.000 % | 3517.52/3517.43 c | 21404460 | 141 292 876 | 1 422870 15 | 0.000 % | 3517.52/3517.43 c | 21406434 | 141 292 876 | 1 424844 15 | 0.000 % | 3517.52/3517.43 c | 21408822 | 141 292 876 | 1 427232 15 | 0.000 % | 3517.52/3517.43 c | 21424519 | 141 292 876 | 1 442929 16 | 0.000 % | 3517.52/3517.43 c | 21424620 | 141 292 876 | 1 443030 16 | 0.000 % | 3517.52/3517.43 c | 21445331 | 141 292 876 | 1 463741 16 | 0.000 % | 3517.52/3517.43 c | 21447375 | 141 292 876 | 1 465785 16 | 0.000 % | 3517.52/3517.43 c | 21450959 | 141 292 876 | 1 469369 16 | 0.000 % | 3517.52/3517.43 c | 21458997 | 141 292 876 | 1 477407 16 | 0.000 % | 3517.52/3517.43 c | 21459481 | 141 292 876 | 1 477891 16 | 0.000 % | 3517.52/3517.43 c | 21460466 | 141 292 876 | 1 478876 16 | 0.000 % | 3517.52/3517.43 c | 21460566 | 141 292 876 | 1 478976 16 | 0.000 % | 3517.52/3517.43 c | 21462243 | 141 292 876 | 1 480653 16 | 0.000 % | 3517.52/3517.43 c | 21462506 | 141 292 876 | 1 480916 16 | 0.000 % | 3517.52/3517.43 c | 21463004 | 141 292 876 | 1 481414 16 | 0.000 % | 3517.52/3517.43 c | 21464105 | 141 292 876 | 1 482515 16 | 0.000 % | 3517.52/3517.43 c | 21464399 | 141 292 876 | 1 482809 16 | 0.000 % | 3517.52/3517.43 c | 21477987 | 141 292 876 | 1 496397 17 | 0.000 % | 3517.52/3517.43 c | 21478239 | 141 292 876 | 1 496649 17 | 0.000 % | 3517.52/3517.43 c | 21494842 | 141 292 876 | 1 513252 17 | 0.000 % | 3517.52/3517.43 c | 21504911 | 141 292 876 | 1 523321 17 | 0.000 % | 3517.52/3517.43 c | 21505017 | 141 292 876 | 1 523427 17 | 0.000 % | 3517.52/3517.43 c | 21506698 | 141 292 876 | 1 525108 17 | 0.000 % | 3608.82/3608.77 c | 21586101 | 141 292 876 | 1 604511 18 | 0.000 % | 3608.82/3608.77 c | 21589150 | 141 292 876 | 1 607560 18 | 0.000 % | 3608.82/3608.77 c | 21597921 | 141 292 876 | 1 616331 19 | 0.000 % | 3608.82/3608.77 c | 21598034 | 141 292 876 | 1 616444 19 | 0.000 % | 3608.82/3608.77 c | 21598514 | 141 292 876 | 1 616924 19 | 0.000 % | 3608.82/3608.77 c | 21669401 | 141 292 876 | 1 356214 14 | 0.000 % | 3608.82/3608.77 c | 21728324 | 141 292 876 | 1 415137 15 | 0.000 % | 3608.82/3608.77 c | 21729338 | 141 292 876 | 1 416151 15 | 0.000 % | 3608.82/3608.77 c | 21738053 | 141 292 876 | 1 424866 15 | 0.000 % | 3608.82/3608.77 c | 21761106 | 141 292 876 | 1 447919 16 | 0.000 % | 3608.82/3608.77 c | 21761425 | 141 292 876 | 1 448238 16 | 0.000 % | 3608.82/3608.77 c | 21761588 | 141 292 876 | 1 448401 16 | 0.000 % | 3608.82/3608.77 c | 21762279 | 141 292 876 | 1 449092 16 | 0.000 % | 3608.82/3608.77 c | 21762379 | 141 292 876 | 1 449192 16 | 0.000 % | 3608.82/3608.77 c | 21763954 | 141 292 876 | 1 450767 16 | 0.000 % | 3608.82/3608.77 c | 21764265 | 141 292 876 | 1 451078 16 | 0.000 % | 3608.82/3608.77 c | 21780940 | 141 292 876 | 1 467753 16 | 0.000 % | 3608.82/3608.77 c | 21781223 | 141 292 876 | 1 468036 16 | 0.000 % | 3608.82/3608.77 c | 21782821 | 141 292 876 | 1 469634 16 | 0.000 % | 3608.82/3608.77 c | 21783004 | 141 292 876 | 1 469817 16 | 0.000 % | 3608.82/3608.77 c | 21783185 | 141 292 876 | 1 469998 16 | 0.000 % | 3608.82/3608.77 c | 21784804 | 141 292 876 | 1 471617 16 | 0.000 % | 3608.82/3608.77 c | 21784989 | 141 292 876 | 1 471802 16 | 0.000 % | 3608.82/3608.77 c | 21821447 | 141 292 876 | 1 508260 17 | 0.000 % | 3608.82/3608.77 c | 21821624 | 141 292 876 | 1 508437 17 | 0.000 % | 3608.82/3608.77 c | 21823255 | 141 292 876 | 1 510068 17 | 0.000 % | 3608.82/3608.77 c | 21823428 | 141 292 876 | 1 510241 17 | 0.000 % | 3608.82/3608.77 c | 21823931 | 141 292 876 | 1 510744 17 | 0.000 % | 3608.82/3608.77 c | 21824150 | 141 292 876 | 1 510963 17 | 0.000 % | 3608.82/3608.77 c | 21825102 | 141 292 876 | 1 511915 17 | 0.000 % | 3608.82/3608.77 c | 21827793 | 141 292 876 | 1 514606 17 | 0.000 % | 3608.82/3608.77 c | 21829396 | 141 292 876 | 1 516209 17 | 0.000 % | 3608.82/3608.77 c | 21830033 | 141 292 876 | 1 516846 17 | 0.000 % | 3608.82/3608.77 c | 21830147 | 141 292 876 | 1 516960 17 | 0.000 % | 3608.82/3608.77 c | 21830271 | 141 292 876 | 1 517084 17 | 0.000 % | 3608.82/3608.77 c | 21854237 | 141 292 876 | 1 541050 17 | 0.000 % | 3608.82/3608.77 c | 21858204 | 141 292 876 | 1 545017 17 | 0.000 % | 3608.82/3608.77 c | 21858461 | 141 292 876 | 1 545274 17 | 0.000 % | 3608.82/3608.77 c | 21871414 | 141 292 876 | 1 558227 17 | 0.000 % | 3608.82/3608.77 c | 21872333 | 141 292 876 | 1 559146 17 | 0.000 % | 3608.82/3608.77 c | 21872590 | 141 292 876 | 1 559403 17 | 0.000 % | 3608.82/3608.77 c | 21885445 | 141 292 876 | 1 572258 18 | 0.000 % | 3608.82/3608.77 c | 21886707 | 141 292 876 | 1 573520 18 | 0.000 % | 3608.82/3608.77 c | 21888207 | 141 292 876 | 1 575020 18 | 0.000 % | 3608.82/3608.77 c | 21889922 | 141 292 876 | 1 576735 18 | 0.000 % | 3608.82/3608.77 c | 21890438 | 141 292 876 | 1 577251 18 | 0.000 % | 3608.82/3608.77 c | 21924252 | 141 292 876 | 1 611065 18 | 0.000 % | 3608.82/3608.77 c | 21925891 | 141 292 876 | 1 612704 18 | 0.000 % | 3608.82/3608.77 c | 21930970 | 141 292 876 | 1 617783 18 | 0.000 % | 3608.82/3608.77 c | 21942034 | 141 292 876 | 1 628847 18 | 0.000 % | 3727.52/3727.45 c | 22079267 | 141 292 876 | 1 431882 15 | 0.000 % | 3727.52/3727.45 c | 22079713 | 141 292 876 | 1 432328 15 | 0.000 % | 3727.52/3727.45 c | 22080308 | 141 292 876 | 1 432923 15 | 0.000 % | 3727.52/3727.45 c | 22081011 | 141 292 876 | 1 433626 15 | 0.000 % | 3727.52/3727.45 c | 22086919 | 141 292 876 | 1 439534 16 | 0.000 % | 3727.52/3727.45 c | 22087042 | 141 292 876 | 1 439657 16 | 0.000 % | 3727.52/3727.45 c | 22090905 | 141 292 876 | 1 443520 16 | 0.000 % | 3727.52/3727.45 c | 22094283 | 141 292 876 | 1 446898 16 | 0.000 % | 3727.52/3727.45 c | 22110107 | 141 292 876 | 1 462722 16 | 0.000 % | 3727.52/3727.45 c | 22171897 | 141 292 876 | 1 524512 17 | 0.000 % | 3727.52/3727.45 c | 22172415 | 141 292 876 | 1 525030 17 | 0.000 % | 3727.52/3727.45 c | 22179828 | 141 292 876 | 1 532443 17 | 0.000 % | 3727.52/3727.45 c | 22180214 | 141 292 876 | 1 532829 17 | 0.000 % | 3727.52/3727.45 c | 22209204 | 141 292 876 | 1 561819 18 | 0.000 % | 3727.52/3727.45 c | 22218353 | 141 292 876 | 1 570968 18 | 0.000 % | 3727.52/3727.45 c | 22393608 | 141 292 876 | 1 409424 15 | 0.000 % | 3727.52/3727.45 c | 22394246 | 141 292 876 | 1 410062 15 | 0.000 % | 3727.52/3727.45 c | 22401273 | 141 292 876 | 1 417089 15 | 0.000 % | 3727.52/3727.45 c | 22401417 | 141 292 876 | 1 417233 15 | 0.000 % | 3727.52/3727.45 c | 22416082 | 141 292 876 | 1 431898 16 | 0.000 % | 3727.52/3727.45 c | 22417219 | 141 292 876 | 1 433035 16 | 0.000 % | 3727.52/3727.45 c | 22433850 | 141 292 876 | 1 449666 16 | 0.000 % | 3727.52/3727.45 c | 22453885 | 141 292 876 | 1 469701 16 | 0.000 % | 3727.52/3727.45 c | 22454162 | 141 292 876 | 1 469978 16 | 0.000 % | 3727.52/3727.45 c | 22454754 | 141 292 876 | 1 470570 16 | 0.000 % | 3727.52/3727.45 c | 22486341 | 141 292 876 | 1 502157 17 | 0.000 % | 3727.52/3727.45 c | 22486512 | 141 292 876 | 1 502328 17 | 0.000 % | 3727.52/3727.45 c | 22488009 | 141 292 876 | 1 503825 17 | 0.000 % | 3727.52/3727.45 c | 22488802 | 141 292 876 | 1 504618 17 | 0.000 % | 3727.52/3727.45 c | 22491440 | 141 292 876 | 1 507256 17 | 0.000 % | 3727.52/3727.45 c | 22491540 | 141 292 876 | 1 507356 17 | 0.000 % | 3727.52/3727.45 c | 22491645 | 141 292 876 | 1 507461 17 | 0.000 % | 3727.52/3727.45 c | 22494003 | 141 292 876 | 1 509819 17 | 0.000 % | 3727.52/3727.45 c | 22494181 | 141 292 876 | 1 509997 17 | 0.000 % | 3727.52/3727.45 c | 22495273 | 141 292 876 | 1 511089 17 | 0.000 % | 3727.52/3727.45 c | 22496615 | 141 292 876 | 1 512431 17 | 0.000 % | 3727.52/3727.45 c | 22531478 | 141 292 876 | 1 547294 18 | 0.000 % | 3727.52/3727.45 c | 22540359 | 141 292 876 | 1 556175 18 | 0.000 % | 3727.52/3727.45 c | 22540630 | 141 292 876 | 1 556446 18 | 0.000 % | 3727.52/3727.45 c | 22543908 | 141 292 876 | 1 559724 18 | 0.000 % | 3727.52/3727.45 c | 22544043 | 141 292 876 | 1 559859 18 | 0.000 % | 3727.52/3727.45 c | 22545473 | 141 292 876 | 1 561289 18 | 0.000 % | 3727.52/3727.45 c | 22546168 | 141 292 876 | 1 561984 18 | 0.000 % | 3727.52/3727.45 c | 22546441 | 141 292 876 | 1 562257 18 | 0.000 % | 3727.52/3727.45 c | 22546659 | 141 292 876 | 1 562475 18 | 0.000 % | 3727.52/3727.45 c | 22550805 | 141 292 876 | 1 566621 18 | 0.000 % | 3727.52/3727.45 c | 22550906 | 141 292 876 | 1 566722 18 | 0.000 % | 3727.52/3727.45 c | 22551006 | 141 292 876 | 1 566822 18 | 0.000 % | 3727.52/3727.45 c | 22551108 | 141 292 876 | 1 566924 18 | 0.000 % | 3727.52/3727.45 c | 22551354 | 141 292 876 | 1 567170 18 | 0.000 % | 3818.73/3818.63 c | 22552237 | 141 292 876 | 1 568053 18 | 0.000 % | 3818.73/3818.63 c | 22555142 | 141 292 876 | 1 570958 18 | 0.000 % | 3818.73/3818.63 c | 22555498 | 141 292 876 | 1 571314 18 | 0.000 % | 3818.73/3818.63 c | 22560875 | 141 292 876 | 1 576691 18 | 0.000 % | 3818.73/3818.63 c | 22563852 | 141 292 876 | 1 579668 18 | 0.000 % | 3818.73/3818.63 c | 22564805 | 141 292 876 | 1 580621 18 | 0.000 % | 3818.73/3818.63 c | 22565197 | 141 292 876 | 1 581013 18 | 0.000 % | 3818.73/3818.63 c | 22566207 | 141 292 876 | 1 582023 18 | 0.000 % | 3818.73/3818.63 c | 22566464 | 141 292 876 | 1 582280 18 | 0.000 % | 3818.73/3818.63 c | 22599318 | 141 292 876 | 1 615134 18 | 0.000 % | 3818.73/3818.63 c | 22599418 | 141 292 876 | 1 615234 19 | 0.000 % | 3818.73/3818.63 c | 22600045 | 141 292 876 | 1 615861 19 | 0.000 % | 3818.73/3818.63 c | 22600156 | 141 292 876 | 1 615972 19 | 0.000 % | 3818.73/3818.63 c | 22602668 | 141 292 876 | 1 618484 19 | 0.000 % | 3818.73/3818.63 c | 22604758 | 141 292 876 | 1 620574 19 | 0.000 % | 3818.73/3818.63 c | 22605582 | 141 292 876 | 1 621398 19 | 0.000 % | 3818.73/3818.63 c | 22605926 | 141 292 876 | 1 621742 19 | 0.000 % | 3818.73/3818.63 c | 22645928 | 141 292 876 | 1 661744 19 | 0.000 % | 3818.73/3818.63 c | 22646591 | 141 292 876 | 1 662407 19 | 0.000 % | 3818.73/3818.63 c | 22651204 | 141 292 876 | 1 667020 19 | 0.000 % | 3818.73/3818.63 c | 22651324 | 141 292 876 | 1 667140 19 | 0.000 % | 3818.73/3818.63 c | 22730634 | 141 292 876 | 1 407052 15 | 0.000 % | 3818.73/3818.63 c | 22731077 | 141 292 876 | 1 407495 15 | 0.000 % | 3818.73/3818.63 c | 22731179 | 141 292 876 | 1 407597 15 | 0.000 % | 3818.73/3818.63 c | 22732143 | 141 292 876 | 1 408561 15 | 0.000 % | 3818.73/3818.63 c | 22736949 | 141 292 876 | 1 413367 15 | 0.000 % | 3818.73/3818.63 c | 22739998 | 141 292 876 | 1 416416 15 | 0.000 % | 3818.73/3818.63 c | 22742374 | 141 292 876 | 1 418792 15 | 0.000 % | 3818.73/3818.63 c | 22742489 | 141 292 876 | 1 418907 15 | 0.000 % | 3818.73/3818.63 c | 22744215 | 141 292 876 | 1 420633 15 | 0.000 % | 3818.73/3818.63 c | 22817774 | 141 292 876 | 1 494192 17 | 0.000 % | 3818.73/3818.63 c | 22818195 | 141 292 876 | 1 494613 17 | 0.000 % | 3818.73/3818.63 c | 22818998 | 141 292 876 | 1 495416 17 | 0.000 % | 3818.73/3818.63 c | 22819415 | 141 292 876 | 1 495833 17 | 0.000 % | 3818.73/3818.63 c | 22936855 | 141 292 876 | 1 613273 19 | 0.000 % | 3818.73/3818.63 c | 22936985 | 141 292 876 | 1 613403 19 | 0.000 % | 3818.73/3818.63 c | 22937108 | 141 292 876 | 1 613526 19 | 0.000 % | 3818.73/3818.63 c | 22937424 | 141 292 876 | 1 613842 19 | 0.000 % | 3818.73/3818.63 c | 22937986 | 141 292 876 | 1 614404 19 | 0.000 % | 3818.73/3818.63 c | 22938229 | 141 292 876 | 1 614647 19 | 0.000 % | 3818.73/3818.63 c | 22938629 | 141 292 876 | 1 615047 19 | 0.000 % | 3818.73/3818.63 c | 22938729 | 141 292 876 | 1 615147 19 | 0.000 % | 3818.73/3818.63 c | 22939386 | 141 292 876 | 1 615804 19 | 0.000 % | 3818.73/3818.63 c | 22939848 | 141 292 876 | 1 616266 19 | 0.000 % | 3818.73/3818.63 c | 22941792 | 141 292 876 | 1 618210 19 | 0.000 % | 3818.73/3818.63 c | 22941908 | 141 292 876 | 1 618326 19 | 0.000 % | 3818.73/3818.63 c | 22973076 | 141 292 876 | 1 649494 19 | 0.000 % | 3818.73/3818.63 c | 22973636 | 141 292 876 | 1 650054 19 | 0.000 % | 3818.73/3818.63 c | 22973796 | 141 292 876 | 1 650214 19 | 0.000 % | 3818.73/3818.63 c | 22974045 | 141 292 876 | 1 650463 19 | 0.000 % | 3869.23/3869.14 c | 22974207 | 141 292 876 | 1 650625 19 | 0.000 % | 3869.23/3869.14 c | 22974448 | 141 292 876 | 1 650866 19 | 0.000 % | 3869.23/3869.14 c | 22975871 | 141 292 876 | 1 652289 19 | 0.000 % | 3869.23/3869.14 c | 23023732 | 141 292 876 | 1 358157 13 | 0.000 % | 3869.23/3869.14 c | 23027688 | 141 292 876 | 1 362113 13 | 0.000 % | 3869.23/3869.14 c | 23031380 | 141 292 876 | 1 365805 13 | 0.000 % | 3869.23/3869.14 c | 23033895 | 141 292 876 | 1 368320 14 | 0.000 % | 3869.23/3869.14 c | 23035647 | 141 292 876 | 1 370072 14 | 0.000 % | 3869.23/3869.14 c | 23036220 | 141 292 876 | 1 370645 14 | 0.000 % | 3869.23/3869.14 c | 23036901 | 141 292 876 | 1 371326 14 | 0.000 % | 3869.23/3869.14 c | 23037010 | 141 292 876 | 1 371435 14 | 0.000 % | 3869.23/3869.14 c | 23037418 | 141 292 876 | 1 371843 14 | 0.000 % | 3869.23/3869.15 c | 23037693 | 141 292 876 | 1 372118 14 | 0.000 % | 3869.23/3869.15 c | 23049167 | 141 292 876 | 1 383592 14 | 0.000 % | 3869.23/3869.15 c | 23049554 | 141 292 876 | 1 383979 14 | 0.000 % | 3869.23/3869.15 c | 23049689 | 141 292 876 | 1 384114 14 | 0.000 % | 3869.23/3869.15 c | 23050113 | 141 292 876 | 1 384538 14 | 0.000 % | 3869.23/3869.15 c | 23050712 | 141 292 876 | 1 385137 14 | 0.000 % | 3869.23/3869.15 c | 23050871 | 141 292 876 | 1 385296 14 | 0.000 % | 3869.23/3869.15 c | 23051049 | 141 292 876 | 1 385474 14 | 0.000 % | 3869.23/3869.15 c | 23052251 | 141 292 876 | 1 386676 14 | 0.000 % | 3869.23/3869.15 c | 23052706 | 141 292 876 | 1 387131 14 | 0.000 % | 3869.23/3869.15 c | 23159986 | 141 292 876 | 1 494411 17 | 0.000 % | 3869.23/3869.15 c | 23161240 | 141 292 876 | 1 495665 17 | 0.000 % | 3869.23/3869.15 c | 23161395 | 141 292 876 | 1 495820 17 | 0.000 % | 3869.23/3869.15 c | 23161539 | 141 292 876 | 1 495964 17 | 0.000 % | 3869.23/3869.15 c | 23161640 | 141 292 876 | 1 496065 17 | 0.000 % | 3869.23/3869.15 c | 23161772 | 141 292 876 | 1 496197 17 | 0.000 % | 3869.23/3869.15 c | 23161873 | 141 292 876 | 1 496298 17 | 0.000 % | 3869.23/3869.15 c | 23162528 | 141 292 876 | 1 496953 17 | 0.000 % | 3869.23/3869.15 c | 23165672 | 141 292 876 | 1 500097 17 | 0.000 % | 3869.23/3869.15 c | 23166035 | 141 292 876 | 1 500460 17 | 0.000 % | 3869.23/3869.15 c | 23166135 | 141 292 876 | 1 500560 17 | 0.000 % | 3869.23/3869.15 c | 23166405 | 141 292 876 | 1 500830 17 | 0.000 % | 3869.23/3869.15 c | 23166865 | 141 292 876 | 1 501290 17 | 0.000 % | 3869.23/3869.15 c | 23166969 | 141 292 876 | 1 501394 17 | 0.000 % | 3869.23/3869.15 c | 23169408 | 141 292 876 | 1 503833 17 | 0.000 % | 3869.23/3869.15 c | 23190070 | 141 292 876 | 1 524495 17 | 0.000 % | 3869.23/3869.15 c | 23193860 | 141 292 876 | 1 528285 17 | 0.000 % | 3869.23/3869.15 c | 23194678 | 141 292 876 | 1 529103 17 | 0.000 % | 3869.23/3869.15 c | 23197449 | 141 292 876 | 1 531874 17 | 0.000 % | 3869.23/3869.15 c | 23198796 | 141 292 876 | 1 533221 17 | 0.000 % | 3869.23/3869.15 c | 23208351 | 141 292 876 | 1 542776 17 | 0.000 % | 3869.23/3869.15 c | 23209383 | 141 292 876 | 1 543808 18 | 0.000 % | 3869.23/3869.15 c | 23211696 | 141 292 876 | 1 546121 18 | 0.000 % | 3869.23/3869.15 c | 23212032 | 141 292 876 | 1 546457 18 | 0.000 % | 3869.23/3869.15 c | 23212383 | 141 292 876 | 1 546808 18 | 0.000 % | 3869.23/3869.15 c | 23212679 | 141 292 876 | 1 547104 18 | 0.000 % | 3869.23/3869.15 c | 23215772 | 141 292 876 | 1 550197 18 | 0.000 % | 3990.23/3990.11 c | 23216446 | 141 292 876 | 1 550871 18 | 0.000 % | 3990.23/3990.11 c | 23216988 | 141 292 876 | 1 551413 18 | 0.000 % | 3990.23/3990.11 c | 23224157 | 141 292 876 | 1 558582 18 | 0.000 % | 3990.23/3990.11 c | 23225062 | 141 292 876 | 1 559487 18 | 0.000 % | 3990.23/3990.11 c | 23225162 | 141 292 876 | 1 559587 18 | 0.000 % | 3990.23/3990.11 c | 23225375 | 141 292 876 | 1 559800 18 | 0.000 % | 3990.23/3990.11 c | 23225477 | 141 292 876 | 1 559902 18 | 0.000 % | 3990.23/3990.11 c | 23225625 | 141 292 876 | 1 560050 18 | 0.000 % | 3990.23/3990.11 c | 23226388 | 141 292 876 | 1 560813 18 | 0.000 % | 3990.23/3990.11 c | 23227944 | 141 292 876 | 1 562369 18 | 0.000 % | 3990.23/3990.11 c | 23228044 | 141 292 876 | 1 562469 18 | 0.000 % | 3990.23/3990.11 c | 23228620 | 141 292 876 | 1 563045 18 | 0.000 % | 3990.23/3990.11 c | 23229413 | 141 292 876 | 1 563838 18 | 0.000 % | 3990.23/3990.11 c | 23273190 | 141 292 876 | 1 607615 18 | 0.000 % | 3990.23/3990.11 c | 23273329 | 141 292 876 | 1 607754 18 | 0.000 % | 3990.23/3990.11 c | 23273437 | 141 292 876 | 1 607862 18 | 0.000 % | 3990.23/3990.11 c | 23273594 | 141 292 876 | 1 608019 18 | 0.000 % | 3990.23/3990.11 c | 23290365 | 141 292 876 | 1 624790 18 | 0.000 % | 3990.23/3990.11 c | 23290723 | 141 292 876 | 1 625148 18 | 0.000 % | 3990.23/3990.11 c | 23290935 | 141 292 876 | 1 625360 18 | 0.000 % | 3990.23/3990.11 c | 23291110 | 141 292 876 | 1 625535 18 | 0.000 % | 3990.23/3990.11 c | 23325821 | 141 292 876 | 1 660246 19 | 0.000 % | 3990.23/3990.11 c | 23325942 | 141 292 876 | 1 660367 19 | 0.000 % | 3990.23/3990.11 c | 23336594 | 141 292 876 | 1 671019 19 | 0.000 % | 3990.23/3990.11 c | 23475031 | 141 292 876 | 1 464855 16 | 0.000 % | 3990.23/3990.11 c | 23475313 | 141 292 876 | 1 465137 16 | 0.000 % | 3990.23/3990.11 c | 23488691 | 141 292 876 | 1 478515 16 | 0.000 % | 3990.23/3990.11 c | 23489366 | 141 292 876 | 1 479190 16 | 0.000 % | 3990.23/3990.11 c | 23497027 | 141 292 876 | 1 486851 16 | 0.000 % | 3990.23/3990.11 c | 23498202 | 141 292 876 | 1 488026 16 | 0.000 % | 3990.23/3990.11 c | 23498303 | 141 292 876 | 1 488127 16 | 0.000 % | 3990.23/3990.11 c | 23607221 | 141 292 876 | 1 597045 18 | 0.000 % | 3990.23/3990.11 c | 23607790 | 141 292 876 | 1 597614 18 | 0.000 % | 3990.23/3990.11 c | 23608355 | 141 292 876 | 1 598179 18 | 0.000 % | 3990.23/3990.11 c | 23655239 | 141 292 876 | 1 645063 18 | 0.000 % | 3990.23/3990.11 c | 23657483 | 141 292 876 | 1 647307 18 | 0.000 % | 3990.23/3990.11 c | 23660273 | 141 292 876 | 1 650097 18 | 0.000 % | 3990.23/3990.11 c | 23660828 | 141 292 876 | 1 650652 18 | 0.000 % | 3990.23/3990.11 c | 23690573 | 141 292 876 | 1 680397 18 | 0.000 % | 3990.23/3990.11 c | 23690986 | 141 292 876 | 1 680810 18 | 0.000 % | 3990.23/3990.11 c | 23692029 | 141 292 876 | 1 681853 18 | 0.000 % | 3990.23/3990.11 c | 23776204 | 141 292 876 | 1 418826 15 | 0.000 % | 3990.23/3990.11 c | 23776304 | 141 292 876 | 1 418926 15 | 0.000 % | 3990.23/3990.11 c | 23776594 | 141 292 876 | 1 419216 15 | 0.000 % | 3990.23/3990.11 c | 23785122 | 141 292 876 | 1 427744 15 | 0.000 % | 3990.23/3990.11 c | 23786521 | 141 292 876 | 1 429143 15 | 0.000 % | 3990.23/3990.11 c | 23787034 | 141 292 876 | 1 429656 15 | 0.000 % | 3990.23/3990.11 c | 23807444 | 141 292 876 | 1 450066 15 | 0.000 % | 3990.23/3990.11 c | 23809794 | 141 292 876 | 1 452416 15 | 0.000 % | 3990.23/3990.11 c | 23810671 | 141 292 876 | 1 453293 15 | 0.000 % | 4070.84/4070.70 c | 23810942 | 141 292 876 | 1 453564 15 | 0.000 % | 4070.84/4070.70 c | 24028237 | 141 292 876 | 1 670859 20 | 0.000 % | 4070.84/4070.70 c | 24028410 | 141 292 876 | 1 671032 20 | 0.000 % | 4070.84/4070.70 c | 24028604 | 141 292 876 | 1 671226 20 | 0.000 % | 4070.84/4070.70 c | 24030107 | 141 292 876 | 1 672729 20 | 0.000 % | 4070.84/4070.70 c | 24030735 | 141 292 876 | 1 673357 20 | 0.000 % | 4070.84/4070.70 c | 24075252 | 141 292 876 | 1 368069 13 | 0.000 % | 4070.84/4070.70 c | 24075922 | 141 292 876 | 1 368739 13 | 0.000 % | 4070.84/4070.70 c | 24076385 | 141 292 876 | 1 369202 13 | 0.000 % | 4070.84/4070.70 c | 24078623 | 141 292 876 | 1 371440 14 | 0.000 % | 4070.84/4070.70 c | 24079244 | 141 292 876 | 1 372061 14 | 0.000 % | 4070.84/4070.70 c | 24080438 | 141 292 876 | 1 373255 14 | 0.000 % | 4070.84/4070.70 c | 24081676 | 141 292 876 | 1 374493 14 | 0.000 % | 4070.84/4070.70 c | 24081919 | 141 292 876 | 1 374736 14 | 0.000 % | 4070.84/4070.70 c | 24084788 | 141 292 876 | 1 377605 14 | 0.000 % | 4070.84/4070.70 c | 24086485 | 141 292 876 | 1 379302 14 | 0.000 % | 4070.84/4070.70 c | 24097128 | 141 292 876 | 1 389945 14 | 0.000 % | 4070.84/4070.70 c | 24099175 | 141 292 876 | 1 391992 14 | 0.000 % | 4070.84/4070.70 c | 24102439 | 141 292 876 | 1 395256 14 | 0.000 % | 4070.84/4070.70 c | 24104161 | 141 292 876 | 1 396978 14 | 0.000 % | 4070.84/4070.70 c | 24130699 | 141 292 876 | 1 423516 15 | 0.000 % | 4070.84/4070.70 c | 24131510 | 141 292 876 | 1 424327 15 | 0.000 % | 4070.84/4070.70 c | 24131636 | 141 292 876 | 1 424453 15 | 0.000 % | 4070.84/4070.70 c | 24132050 | 141 292 876 | 1 424867 15 | 0.000 % | 4070.84/4070.70 c | 24132313 | 141 292 876 | 1 425130 15 | 0.000 % | 4070.84/4070.70 c | 24133066 | 141 292 876 | 1 425883 15 | 0.000 % | 4070.84/4070.70 c | 24148083 | 141 292 876 | 1 440900 15 | 0.000 % | 4070.84/4070.70 c | 24148477 | 141 292 876 | 1 441294 15 | 0.000 % | 4070.84/4070.70 c | 24151385 | 141 292 876 | 1 444202 15 | 0.000 % | 4070.84/4070.70 c | 24151664 | 141 292 876 | 1 444481 15 | 0.000 % | 4070.84/4070.70 c | 24154385 | 141 292 876 | 1 447202 15 | 0.000 % | 4070.84/4070.70 c | 24154654 | 141 292 876 | 1 447471 15 | 0.000 % | 4070.84/4070.70 c | 24156078 | 141 292 876 | 1 448895 15 | 0.000 % | 4070.84/4070.70 c | 24157491 | 141 292 876 | 1 450308 15 | 0.000 % | 4070.84/4070.70 c | 24157755 | 141 292 876 | 1 450572 15 | 0.000 % | 4070.84/4070.70 c | 24158030 | 141 292 876 | 1 450847 15 | 0.000 % | 4070.84/4070.70 c | 24161478 | 141 292 876 | 1 454295 15 | 0.000 % | 4070.84/4070.70 c | 24161871 | 141 292 876 | 1 454688 15 | 0.000 % | 4070.84/4070.70 c | 24163879 | 141 292 876 | 1 456696 15 | 0.000 % | 4070.84/4070.70 c | 24164227 | 141 292 876 | 1 457044 15 | 0.000 % | 4070.84/4070.70 c | 24164327 | 141 292 876 | 1 457144 15 | 0.000 % | 4070.84/4070.70 c | 24164738 | 141 292 876 | 1 457555 15 | 0.000 % | 4070.84/4070.70 c | 24166477 | 141 292 876 | 1 459294 15 | 0.000 % | 4070.84/4070.70 c | 24166925 | 141 292 876 | 1 459742 15 | 0.000 % | 4070.84/4070.70 c | 24170672 | 141 292 876 | 1 463489 16 | 0.000 % | 4070.84/4070.70 c | 24170777 | 141 292 876 | 1 463594 16 | 0.000 % | 4070.84/4070.70 c | 24185037 | 141 292 876 | 1 477854 16 | 0.000 % | 4070.84/4070.70 c | 24185413 | 141 292 876 | 1 478230 16 | 0.000 % | 4070.84/4070.70 c | 24187029 | 141 292 876 | 1 479846 16 | 0.000 % | 4070.84/4070.70 c | 24187156 | 141 292 876 | 1 479973 16 | 0.000 % | 4300.55/4300.44 c | 24212068 | 141 292 876 | 1 504885 16 | 0.000 % | 4300.55/4300.44 c | 24212314 | 141 292 876 | 1 505131 16 | 0.000 % | 4300.55/4300.44 c | 24216182 | 141 292 876 | 1 508999 16 | 0.000 % | 4300.55/4300.44 c | 24216641 | 141 292 876 | 1 509458 16 | 0.000 % | 4300.55/4300.44 c | 24216902 | 141 292 876 | 1 509719 16 | 0.000 % | 4300.55/4300.44 c | 24217273 | 141 292 876 | 1 510090 16 | 0.000 % | 4300.55/4300.44 c | 24217638 | 141 292 876 | 1 510455 16 | 0.000 % | 4300.55/4300.44 c | 24217915 | 141 292 876 | 1 510732 16 | 0.000 % | 4300.55/4300.44 c | 24219859 | 141 292 876 | 1 512676 16 | 0.000 % | 4300.55/4300.44 c | 24222309 | 141 292 876 | 1 515126 17 | 0.000 % | 4300.55/4300.44 c | 24256705 | 141 292 876 | 1 549522 17 | 0.000 % | 4300.55/4300.44 c | 24256929 | 141 292 876 | 1 549746 17 | 0.000 % | 4300.55/4300.44 c | 24257207 | 141 292 876 | 1 550024 17 | 0.000 % | 4300.55/4300.44 c | 24262491 | 141 292 876 | 1 555308 17 | 0.000 % | 4300.55/4300.44 c | 24263061 | 141 292 876 | 1 555878 17 | 0.000 % | 4300.55/4300.44 c | 24266741 | 141 292 876 | 1 559558 17 | 0.000 % | 4300.55/4300.44 c | 24267010 | 141 292 876 | 1 559827 17 | 0.000 % | 4300.55/4300.44 c | 24267740 | 141 292 876 | 1 560557 17 | 0.000 % | 4300.55/4300.44 c | 24273345 | 141 292 876 | 1 566162 17 | 0.000 % | 4300.55/4300.44 c | 24275237 | 141 292 876 | 1 568054 17 | 0.000 % | 4300.55/4300.44 c | 24275784 | 141 292 876 | 1 568601 17 | 0.000 % | 4300.55/4300.44 c | 24278959 | 141 292 876 | 1 571776 17 | 0.000 % | 4300.55/4300.44 c | 24280200 | 141 292 876 | 1 573017 17 | 0.000 % | 4300.55/4300.44 c | 24299806 | 141 292 876 | 1 592623 18 | 0.000 % | 4300.55/4300.44 c | 24300648 | 141 292 876 | 1 593465 18 | 0.000 % | 4300.55/4300.44 c | 24332452 | 141 292 876 | 1 625269 18 | 0.000 % | 4300.55/4300.44 c | 24340580 | 141 292 876 | 1 633397 18 | 0.000 % | 4300.55/4300.44 c | 24341478 | 141 292 876 | 1 634295 18 | 0.000 % | 4300.55/4300.44 c | 24342469 | 141 292 876 | 1 635286 18 | 0.000 % | 4300.55/4300.44 c | 24342590 | 141 292 876 | 1 635407 18 | 0.000 % | 4300.55/4300.44 c | 24346792 | 141 292 876 | 1 639609 18 | 0.000 % | 4300.55/4300.44 c | 24596155 | 141 292 876 | 1 536571 17 | 0.000 % | 4300.55/4300.44 c | 24597235 | 141 292 876 | 1 537651 17 | 0.000 % | 4300.55/4300.44 c | 24923219 | 141 292 876 | 1 508636 16 | 0.000 % | 4300.55/4300.44 c | 25133548 | 141 292 876 | 1 361369 13 | 0.000 % | 4300.55/4300.44 c | 25134292 | 141 292 876 | 1 362113 13 | 0.000 % | 4300.55/4300.44 c | 25135387 | 141 292 876 | 1 363208 13 | 0.000 % | 4300.55/4300.44 c | 25150540 | 141 292 876 | 1 378361 13 | 0.000 % | 4300.55/4300.44 c | 25150828 | 141 292 876 | 1 378649 13 | 0.000 % | 4300.55/4300.44 c | 25156363 | 141 292 876 | 1 384184 14 | 0.000 % | 4300.55/4300.44 c | 25156970 | 141 292 876 | 1 384791 14 | 0.000 % | 4300.55/4300.44 c | 25157264 | 141 292 876 | 1 385085 14 | 0.000 % | 4300.55/4300.44 c | 25157978 | 141 292 876 | 1 385799 14 | 0.000 % | 4300.55/4300.44 c | 25158168 | 141 292 876 | 1 385989 14 | 0.000 % | 4300.55/4300.44 c | 25158396 | 141 292 876 | 1 386217 14 | 0.000 % | 4300.55/4300.44 c | 25160035 | 141 292 876 | 1 387856 14 | 0.000 % | 4300.55/4300.44 c | 25179423 | 141 292 876 | 1 407244 14 | 0.000 % | 4300.55/4300.44 c | 25179621 | 141 292 876 | 1 407442 14 | 0.000 % | 4300.55/4300.44 c | 25186898 | 141 292 876 | 1 414719 14 | 0.000 % | 4300.55/4300.44 c | 25256876 | 141 292 876 | 1 484697 16 | 0.000 % | 4441.45/4441.31 c | 25257306 | 141 292 876 | 1 485127 16 | 0.000 % | 4441.45/4441.31 c | 25258392 | 141 292 876 | 1 486213 16 | 0.000 % | 4441.45/4441.31 c | 25258665 | 141 292 876 | 1 486486 16 | 0.000 % | 4441.45/4441.31 c | 25299851 | 141 292 876 | 1 527672 17 | 0.000 % | 4441.45/4441.31 c | 25299951 | 141 292 876 | 1 527772 17 | 0.000 % | 4441.45/4441.31 c | 25300276 | 141 292 876 | 1 528097 17 | 0.000 % | 4441.45/4441.31 c | 25342950 | 141 292 876 | 1 570771 17 | 0.000 % | 4441.45/4441.31 c | 25351924 | 141 292 876 | 1 579745 18 | 0.000 % | 4441.45/4441.31 c | 25355173 | 141 292 876 | 1 582994 18 | 0.000 % | 4441.45/4441.31 c | 25355479 | 141 292 876 | 1 583300 18 | 0.000 % | 4441.45/4441.31 c | 25381383 | 141 292 876 | 1 609204 18 | 0.000 % | 4441.45/4441.31 c | 25383978 | 141 292 876 | 1 611799 18 | 0.000 % | 4441.45/4441.31 c | 25384212 | 141 292 876 | 1 612033 18 | 0.000 % | 4441.45/4441.31 c | 25385916 | 141 292 876 | 1 613737 18 | 0.000 % | 4441.45/4441.31 c | 25386235 | 141 292 876 | 1 614056 18 | 0.000 % | 4441.45/4441.31 c | 25386373 | 141 292 876 | 1 614194 18 | 0.000 % | 4441.45/4441.31 c | 25387400 | 141 292 876 | 1 615221 18 | 0.000 % | 4441.45/4441.31 c | 25395045 | 141 292 876 | 1 622866 18 | 0.000 % | 4441.45/4441.31 c | 25395148 | 141 292 876 | 1 622969 18 | 0.000 % | 4441.45/4441.31 c | 25395684 | 141 292 876 | 1 623505 18 | 0.000 % | 4441.45/4441.31 c | 25397578 | 141 292 876 | 1 625399 18 | 0.000 % | 4441.45/4441.31 c | 25578648 | 141 292 876 | 1 446268 16 | 0.000 % | 4441.45/4441.31 c | 25579454 | 141 292 876 | 1 447074 16 | 0.000 % | 4441.45/4441.31 c | 25585718 | 141 292 876 | 1 453338 16 | 0.000 % | 4441.45/4441.31 c | 25585922 | 141 292 876 | 1 453542 16 | 0.000 % | 4441.45/4441.31 c | 25586709 | 141 292 876 | 1 454329 16 | 0.000 % | 4441.45/4441.31 c | 25629166 | 141 292 876 | 1 496786 17 | 0.000 % | 4441.45/4441.31 c | 25629709 | 141 292 876 | 1 497329 17 | 0.000 % | 4441.45/4441.31 c | 25629875 | 141 292 876 | 1 497495 17 | 0.000 % | 4441.45/4441.31 c | 25630432 | 141 292 876 | 1 498052 17 | 0.000 % | 4441.45/4441.31 c | 25631062 | 141 292 876 | 1 498682 17 | 0.000 % | 4441.45/4441.31 c | 25668858 | 141 292 876 | 1 536478 18 | 0.000 % | 4441.45/4441.31 c | 25672719 | 141 292 876 | 1 540339 18 | 0.000 % | 4441.45/4441.31 c | 25672975 | 141 292 876 | 1 540595 18 | 0.000 % | 4441.45/4441.31 c | 25674446 | 141 292 876 | 1 542066 18 | 0.000 % | 4441.45/4441.31 c | 25680667 | 141 292 876 | 1 548287 18 | 0.000 % | 4441.45/4441.31 c | 25696970 | 141 292 876 | 1 564590 18 | 0.000 % | 4441.45/4441.31 c | 25697517 | 141 292 876 | 1 565137 18 | 0.000 % | 4441.45/4441.31 c | 25698640 | 141 292 876 | 1 566260 18 | 0.000 % | 4441.45/4441.31 c | 25700978 | 141 292 876 | 1 568598 18 | 0.000 % | 4441.45/4441.31 c | 25702917 | 141 292 876 | 1 570537 18 | 0.000 % | 4441.45/4441.31 c | 25703141 | 141 292 876 | 1 570761 18 | 0.000 % | 4441.45/4441.31 c | 25892069 | 141 292 876 | 1 396898 14 | 0.000 % | 4441.45/4441.31 c | 25894565 | 141 292 876 | 1 399394 14 | 0.000 % | 4441.45/4441.31 c | 25895338 | 141 292 876 | 1 400167 14 | 0.000 % | 4441.45/4441.31 c | 25896723 | 141 292 876 | 1 401552 14 | 0.000 % | 4441.45/4441.31 c | 25897586 | 141 292 876 | 1 402415 14 | 0.000 % | 4441.45/4441.31 c | 25897686 | 141 292 876 | 1 402515 14 | 0.000 % | 4441.45/4441.31 c | 25898374 | 141 292 876 | 1 403203 14 | 0.000 % | 4441.45/4441.31 c | 25899397 | 141 292 876 | 1 404226 14 | 0.000 % | 4504.75/4504.68 c | 25899693 | 141 292 876 | 1 404522 14 | 0.000 % | 4504.75/4504.68 c | 25900694 | 141 292 876 | 1 405523 14 | 0.000 % | 4504.75/4504.68 c | 25901467 | 141 292 876 | 1 406296 14 | 0.000 % | 4504.75/4504.68 c | 25902853 | 141 292 876 | 1 407682 14 | 0.000 % | 4504.75/4504.68 c | 25903984 | 141 292 876 | 1 408813 14 | 0.000 % | 4504.75/4504.68 c | 25904578 | 141 292 876 | 1 409407 14 | 0.000 % | 4504.75/4504.68 c | 25971794 | 141 292 876 | 1 476623 15 | 0.000 % | 4504.75/4504.68 c | 25988035 | 141 292 876 | 1 492864 16 | 0.000 % | 4504.75/4504.68 c | 25990492 | 141 292 876 | 1 495321 16 | 0.000 % | 4504.75/4504.68 c | 26089036 | 141 292 876 | 1 593865 17 | 0.000 % | 4504.75/4504.68 c | 26089235 | 141 292 876 | 1 594064 17 | 0.000 % | 4504.75/4504.68 c | 26090111 | 141 292 876 | 1 594940 17 | 0.000 % | 4504.75/4504.68 c | 26090217 | 141 292 876 | 1 595046 17 | 0.000 % | 4504.75/4504.68 c | 26091737 | 141 292 876 | 1 596566 17 | 0.000 % | 4504.75/4504.68 c | 26091851 | 141 292 876 | 1 596680 17 | 0.000 % | 4504.75/4504.68 c | 26092084 | 141 292 876 | 1 596913 17 | 0.000 % | 4504.75/4504.68 c | 26094128 | 141 292 876 | 1 598957 17 | 0.000 % | 4504.75/4504.68 c | 26094351 | 141 292 876 | 1 599180 17 | 0.000 % | 4504.75/4504.68 c | 26095565 | 141 292 876 | 1 600394 17 | 0.000 % | 4504.75/4504.68 c | 26095981 | 141 292 876 | 1 600810 17 | 0.000 % | 4504.75/4504.68 c | 26096264 | 141 292 876 | 1 601093 17 | 0.000 % | 4504.75/4504.68 c | 26096386 | 141 292 876 | 1 601215 17 | 0.000 % | 4504.75/4504.68 c | 26115270 | 141 292 876 | 1 620099 17 | 0.000 % | 4504.75/4504.68 c | 26116022 | 141 292 876 | 1 620851 17 | 0.000 % | 4504.75/4504.68 c | 26119234 | 141 292 876 | 1 624063 17 | 0.000 % | 4504.75/4504.68 c | 26121088 | 141 292 876 | 1 625917 17 | 0.000 % | 4504.75/4504.68 c | 26121890 | 141 292 876 | 1 626719 17 | 0.000 % | 4504.75/4504.68 c | 26122051 | 141 292 876 | 1 626880 17 | 0.000 % | 4504.75/4504.68 c | 26122637 | 141 292 876 | 1 627466 17 | 0.000 % | 4504.75/4504.68 c | 26122737 | 141 292 876 | 1 627566 17 | 0.000 % | 4504.75/4504.68 c | 26123165 | 141 292 876 | 1 627994 17 | 0.000 % | 4504.75/4504.68 c | 26123512 | 141 292 876 | 1 628341 17 | 0.000 % | 4504.75/4504.68 c | 26124552 | 141 292 876 | 1 629381 17 | 0.000 % | 4504.75/4504.68 c | 26124886 | 141 292 876 | 1 629715 17 | 0.000 % | 4504.75/4504.68 c | 26129303 | 141 292 876 | 1 634132 17 | 0.000 % | 4504.75/4504.68 c | 26129405 | 141 292 876 | 1 634234 17 | 0.000 % | 4504.75/4504.68 c | 26137952 | 141 292 876 | 1 642781 17 | 0.000 % | 4504.75/4504.68 c | 26138813 | 141 292 876 | 1 643642 17 | 0.000 % | 4504.75/4504.68 c | 26142606 | 141 292 876 | 1 647435 17 | 0.000 % | 4504.75/4504.68 c | 26142883 | 141 292 876 | 1 647712 17 | 0.000 % | 4504.75/4504.68 c | 26159091 | 141 292 876 | 1 663920 18 | 0.000 % | 4504.75/4504.68 c | 26160039 | 141 292 876 | 1 664868 18 | 0.000 % | 4504.75/4504.68 c | 26162158 | 141 292 876 | 1 666987 18 | 0.000 % | 4504.75/4504.68 c | 26162341 | 141 292 876 | 1 667170 18 | 0.000 % | 4504.75/4504.68 c | 26162531 | 141 292 876 | 1 667360 18 | 0.000 % | 4504.75/4504.68 c | 26163330 | 141 292 876 | 1 668159 18 | 0.000 % | 4504.75/4504.68 c | 26163690 | 141 292 876 | 1 668519 18 | 0.000 % | 4504.75/4504.68 c | 26165729 | 141 292 876 | 1 670558 18 | 0.000 % | 4504.75/4504.68 c | 26165935 | 141 292 876 | 1 670764 18 | 0.000 % | 4504.75/4504.68 c | 26166271 | 141 292 876 | 1 671100 18 | 0.000 % | 4638.37/4638.20 c | 26313950 | 141 292 876 | 1 453374 15 | 0.000 % | 4638.37/4638.20 c | 26314660 | 141 292 876 | 1 454084 15 | 0.000 % | 4638.37/4638.20 c | 26320912 | 141 292 876 | 1 460336 15 | 0.000 % | 4638.37/4638.20 c | 26321063 | 141 292 876 | 1 460487 15 | 0.000 % | 4638.37/4638.20 c | 26373816 | 141 292 876 | 1 513240 16 | 0.000 % | 4638.37/4638.20 c | 26386954 | 141 292 876 | 1 526378 17 | 0.000 % | 4638.37/4638.20 c | 26388792 | 141 292 876 | 1 528216 17 | 0.000 % | 4638.37/4638.20 c | 26389157 | 141 292 876 | 1 528581 17 | 0.000 % | 4638.37/4638.20 c | 26390250 | 141 292 876 | 1 529674 17 | 0.000 % | 4638.37/4638.20 c | 26390784 | 141 292 876 | 1 530208 17 | 0.000 % | 4638.37/4638.20 c | 26419286 | 141 292 876 | 1 558710 17 | 0.000 % | 4638.37/4638.20 c | 26433731 | 141 292 876 | 1 573155 17 | 0.000 % | 4638.37/4638.20 c | 26434343 | 141 292 876 | 1 573767 17 | 0.000 % | 4638.37/4638.20 c | 26455642 | 141 292 876 | 1 595066 18 | 0.000 % | 4638.37/4638.20 c | 26456393 | 141 292 876 | 1 595817 18 | 0.000 % | 4638.37/4638.20 c | 26457001 | 141 292 876 | 1 596425 18 | 0.000 % | 4638.37/4638.20 c | 26457105 | 141 292 876 | 1 596529 18 | 0.000 % | 4638.37/4638.20 c | 26462458 | 141 292 876 | 1 601882 18 | 0.000 % | 4638.37/4638.20 c | 26465567 | 141 292 876 | 1 604991 18 | 0.000 % | 4638.37/4638.20 c | 26466081 | 141 292 876 | 1 605505 18 | 0.000 % | 4638.37/4638.20 c | 26466507 | 141 292 876 | 1 605931 18 | 0.000 % | 4638.37/4638.20 c | 26469550 | 141 292 876 | 1 608974 18 | 0.000 % | 4638.37/4638.20 c | 26499961 | 141 292 876 | 1 639385 18 | 0.000 % | 4638.37/4638.20 c | 26537856 | 141 292 876 | 1 677280 19 | 0.000 % | 4638.37/4638.20 c | 26538475 | 141 292 876 | 1 677899 19 | 0.000 % | 4638.37/4638.20 c | 26538814 | 141 292 876 | 1 678238 19 | 0.000 % | 4638.37/4638.20 c | 26539344 | 141 292 876 | 1 678768 19 | 0.000 % | 4638.37/4638.20 c | 26540192 | 141 292 876 | 1 679616 19 | 0.000 % | 4638.37/4638.20 c | 26558297 | 141 292 876 | 1 697721 19 | 0.000 % | 4638.37/4638.20 c | 26560209 | 141 292 876 | 1 699633 19 | 0.000 % | 4638.37/4638.20 c | 26560911 | 141 292 876 | 1 700335 19 | 0.000 % | 4638.37/4638.20 c | 26617668 | 141 292 876 | 1 389093 13 | 0.000 % | 4638.37/4638.20 c | 26618017 | 141 292 876 | 1 389442 13 | 0.000 % | 4638.37/4638.20 c | 26630593 | 141 292 876 | 1 402018 14 | 0.000 % | 4638.37/4638.20 c | 26640929 | 141 292 876 | 1 412354 14 | 0.000 % | 4638.37/4638.20 c | 26641333 | 141 292 876 | 1 412758 14 | 0.000 % | 4638.37/4638.20 c | 26641685 | 141 292 876 | 1 413110 14 | 0.000 % | 4638.37/4638.20 c | 26643461 | 141 292 876 | 1 414886 14 | 0.000 % | 4638.37/4638.20 c | 26644120 | 141 292 876 | 1 415545 14 | 0.000 % | 4638.37/4638.20 c | 26645345 | 141 292 876 | 1 416770 14 | 0.000 % | 4638.37/4638.20 c | 26712316 | 141 292 876 | 1 483741 15 | 0.000 % | 4638.37/4638.20 c | 26713655 | 141 292 876 | 1 485080 16 | 0.000 % | 4638.37/4638.20 c | 26713794 | 141 292 876 | 1 485219 16 | 0.000 % | 4638.37/4638.20 c | 26713897 | 141 292 876 | 1 485322 16 | 0.000 % | 4638.37/4638.20 c | 26713999 | 141 292 876 | 1 485424 16 | 0.000 % | 4638.37/4638.20 c | 26714488 | 141 292 876 | 1 485913 16 | 0.000 % | 4638.37/4638.20 c | 26811584 | 141 292 876 | 1 583009 17 | 0.000 % | 4638.37/4638.20 c | 26812399 | 141 292 876 | 1 583824 17 | 0.000 % | 4638.37/4638.20 c | 26812500 | 141 292 876 | 1 583925 17 | 0.000 % | 4638.37/4638.20 c | 26812684 | 141 292 876 | 1 584109 17 | 0.000 % | 4795.77/4795.68 c | 26814063 | 141 292 876 | 1 585488 17 | 0.000 % | 4795.77/4795.68 c | 26814388 | 141 292 876 | 1 585813 17 | 0.000 % | 4795.77/4795.68 c | 26830314 | 141 292 876 | 1 601739 17 | 0.000 % | 4795.77/4795.68 c | 26830415 | 141 292 876 | 1 601840 17 | 0.000 % | 4795.77/4795.68 c | 26833753 | 141 292 876 | 1 605178 17 | 0.000 % | 4795.77/4795.68 c | 26834126 | 141 292 876 | 1 605551 17 | 0.000 % | 4795.77/4795.68 c | 26834226 | 141 292 876 | 1 605651 17 | 0.000 % | 4795.77/4795.68 c | 26841849 | 141 292 876 | 1 613274 18 | 0.000 % | 4795.77/4795.68 c | 26841951 | 141 292 876 | 1 613376 18 | 0.000 % | 4795.77/4795.68 c | 26842250 | 141 292 876 | 1 613675 18 | 0.000 % | 4795.77/4795.68 c | 26843115 | 141 292 876 | 1 614540 18 | 0.000 % | 4795.77/4795.68 c | 26843757 | 141 292 876 | 1 615182 18 | 0.000 % | 4795.77/4795.68 c | 26844004 | 141 292 876 | 1 615429 18 | 0.000 % | 4795.77/4795.68 c | 26845187 | 141 292 876 | 1 616612 18 | 0.000 % | 4795.77/4795.68 c | 26845776 | 141 292 876 | 1 617201 18 | 0.000 % | 4795.77/4795.68 c | 26845876 | 141 292 876 | 1 617301 18 | 0.000 % | 4795.77/4795.68 c | 26846051 | 141 292 876 | 1 617476 18 | 0.000 % | 4795.77/4795.68 c | 26846537 | 141 292 876 | 1 617962 18 | 0.000 % | 4795.77/4795.68 c | 26851201 | 141 292 876 | 1 622626 18 | 0.000 % | 4795.77/4795.68 c | 26853253 | 141 292 876 | 1 624678 18 | 0.000 % | 4795.77/4795.68 c | 26855322 | 141 292 876 | 1 626747 18 | 0.000 % | 4795.77/4795.68 c | 26859946 | 141 292 876 | 1 631371 18 | 0.000 % | 4795.77/4795.68 c | 26860049 | 141 292 876 | 1 631474 18 | 0.000 % | 4795.77/4795.68 c | 26861341 | 141 292 876 | 1 632766 18 | 0.000 % | 4795.77/4795.68 c | 26862408 | 141 292 876 | 1 633833 18 | 0.000 % | 4795.77/4795.68 c | 26863820 | 141 292 876 | 1 635245 18 | 0.000 % | 4795.77/4795.68 c | 26864656 | 141 292 876 | 1 636081 18 | 0.000 % | 4795.77/4795.68 c | 26864757 | 141 292 876 | 1 636182 18 | 0.000 % | 4795.77/4795.68 c | 26870681 | 141 292 876 | 1 642106 18 | 0.000 % | 4795.77/4795.68 c | 26872553 | 141 292 876 | 1 643978 18 | 0.000 % | 4795.77/4795.68 c | 26900601 | 141 292 876 | 1 672026 18 | 0.000 % | 4795.77/4795.68 c | 26901395 | 141 292 876 | 1 672820 18 | 0.000 % | 4795.77/4795.68 c | 26923969 | 141 292 876 | 1 695394 18 | 0.000 % | 4795.77/4795.68 c | 26924711 | 141 292 876 | 1 696136 18 | 0.000 % | 4795.77/4795.68 c | 26925498 | 141 292 876 | 1 696923 18 | 0.000 % | 4795.77/4795.68 c | 26925598 | 141 292 876 | 1 697023 18 | 0.000 % | 4795.77/4795.68 c | 26926763 | 141 292 876 | 1 698188 18 | 0.000 % | 4795.77/4795.68 c | 26933242 | 141 292 876 | 1 704667 18 | 0.000 % | 4795.77/4795.68 c | 26935006 | 141 292 876 | 1 706431 18 | 0.000 % | 4795.77/4795.68 c | 26936555 | 141 292 876 | 1 707980 18 | 0.000 % | 4795.77/4795.68 c | 26936655 | 141 292 876 | 1 708080 18 | 0.000 % | 4795.77/4795.68 c | 26936755 | 141 292 876 | 1 708180 18 | 0.000 % | 4795.77/4795.68 c | 26937150 | 141 292 876 | 1 708575 18 | 0.000 % | 4795.77/4795.68 c | 26938417 | 141 292 876 | 1 709842 18 | 0.000 % | 4795.77/4795.68 c | 26939229 | 141 292 876 | 1 710654 18 | 0.000 % | 4795.77/4795.68 c | 27441597 | 141 292 876 | 1 469218 15 | 0.000 % | 4795.77/4795.68 c | 27441928 | 141 292 876 | 1 469549 15 | 0.000 % | 4795.77/4795.68 c | 27443805 | 141 292 876 | 1 471426 15 | 0.000 % | 4795.77/4795.68 c | 27443905 | 141 292 876 | 1 471526 15 | 0.000 % | 4795.77/4795.68 c | 27444439 | 141 292 876 | 1 472060 15 | 0.000 % | 4890.97/4890.89 c | 27444739 | 141 292 876 | 1 472360 15 | 0.000 % | 4890.97/4890.89 c | 27445884 | 141 292 876 | 1 473505 15 | 0.000 % | 4890.97/4890.89 c | 27446587 | 141 292 876 | 1 474208 15 | 0.000 % | 4890.97/4890.89 c | 27446688 | 141 292 876 | 1 474309 15 | 0.000 % | 4890.97/4890.89 c | 27476193 | 141 292 876 | 1 503814 15 | 0.000 % | 4890.97/4890.89 c | 27478033 | 141 292 876 | 1 505654 15 | 0.000 % | 4890.97/4890.89 c | 27478133 | 141 292 876 | 1 505754 15 | 0.000 % | 4890.97/4890.89 c | 27478322 | 141 292 876 | 1 505943 15 | 0.000 % | 4890.97/4890.89 c | 27478468 | 141 292 876 | 1 506089 15 | 0.000 % | 4890.97/4890.89 c | 27478568 | 141 292 876 | 1 506189 15 | 0.000 % | 4890.97/4890.89 c | 27492476 | 141 292 876 | 1 520097 16 | 0.000 % | 4890.97/4890.89 c | 27492578 | 141 292 876 | 1 520199 16 | 0.000 % | 4890.97/4890.89 c | 27492909 | 141 292 876 | 1 520530 16 | 0.000 % | 4890.97/4890.89 c | 27493126 | 141 292 876 | 1 520747 16 | 0.000 % | 4890.97/4890.89 c | 27493729 | 141 292 876 | 1 521350 16 | 0.000 % | 4890.97/4890.89 c | 27494753 | 141 292 876 | 1 522374 16 | 0.000 % | 4890.97/4890.89 c | 27495414 | 141 292 876 | 1 523035 16 | 0.000 % | 4890.97/4890.89 c | 27496163 | 141 292 876 | 1 523784 16 | 0.000 % | 4890.97/4890.89 c | 27496462 | 141 292 876 | 1 524083 16 | 0.000 % | 4890.97/4890.89 c | 27496731 | 141 292 876 | 1 524352 16 | 0.000 % | 4890.97/4890.89 c | 27497836 | 141 292 876 | 1 525457 16 | 0.000 % | 4890.97/4890.89 c | 27498643 | 141 292 876 | 1 526264 16 | 0.000 % | 4890.97/4890.89 c | 27499075 | 141 292 876 | 1 526696 16 | 0.000 % | 4890.97/4890.89 c | 27504539 | 141 292 876 | 1 532160 16 | 0.000 % | 4890.97/4890.89 c | 27505085 | 141 292 876 | 1 532706 16 | 0.000 % | 4890.97/4890.89 c | 27505516 | 141 292 876 | 1 533137 16 | 0.000 % | 4890.97/4890.89 c | 27506891 | 141 292 876 | 1 534512 16 | 0.000 % | 4890.97/4890.89 c | 27508672 | 141 292 876 | 1 536293 16 | 0.000 % | 4890.97/4890.89 c | 27514603 | 141 292 876 | 1 542224 16 | 0.000 % | 4890.97/4890.89 c | 27514705 | 141 292 876 | 1 542326 16 | 0.000 % | 4890.97/4890.89 c | 27514949 | 141 292 876 | 1 542570 16 | 0.000 % | 4890.97/4890.89 c | 27515151 | 141 292 876 | 1 542772 16 | 0.000 % | 4890.97/4890.89 c | 27518044 | 141 292 876 | 1 545665 16 | 0.000 % | 4890.97/4890.89 c | 27518145 | 141 292 876 | 1 545766 16 | 0.000 % | 4890.97/4890.89 c | 27518308 | 141 292 876 | 1 545929 16 | 0.000 % | 4890.97/4890.89 c | 27520034 | 141 292 876 | 1 547655 16 | 0.000 % | 4890.97/4890.89 c | 27522277 | 141 292 876 | 1 549898 16 | 0.000 % | 4890.97/4890.89 c | 27523032 | 141 292 876 | 1 550653 16 | 0.000 % | 4890.97/4890.89 c | 27523142 | 141 292 876 | 1 550763 16 | 0.000 % | 4890.97/4890.89 c | 27523481 | 141 292 876 | 1 551102 16 | 0.000 % | 4890.97/4890.89 c | 27524483 | 141 292 876 | 1 552104 16 | 0.000 % | 4890.97/4890.89 c | 27524835 | 141 292 876 | 1 552456 16 | 0.000 % | 4890.97/4890.89 c | 27525232 | 141 292 876 | 1 552853 16 | 0.000 % | 4890.97/4890.89 c | 27525334 | 141 292 876 | 1 552955 16 | 0.000 % | 4890.97/4890.89 c | 27529373 | 141 292 876 | 1 556994 16 | 0.000 % | 4890.97/4890.89 c | 27538913 | 141 292 876 | 1 566534 16 | 0.000 % | 4890.97/4890.89 c | 27546850 | 141 292 876 | 1 574471 16 | 0.000 % | 4890.97/4890.89 c | 27546975 | 141 292 876 | 1 574596 16 | 0.000 % | 4890.97/4890.89 c | 27547374 | 141 292 876 | 1 574995 16 | 0.000 % | 4890.97/4890.89 c | 27856131 | 141 292 876 |
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-3303396-1303899345/watcher-3303396-1303899345 -o /tmp/evaluation-result-3303396-1303899345/solver-3303396-1303899345 -C 5000 -W 5100 -M 15500 glucose.sh HOME/instance-3303396-1303899345.cnf running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 5000 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 5030 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 5100 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.00 0.00 0.00 1/172 19874 /proc/meminfo: memFree=16625720/32950928 swapFree=67111528/67111528 [pid=19874] ppid=19872 vsize=8704 CPUtime=0 cores=0,2,4,6 /proc/19874/stat : 19874 (glucose.sh) S 19872 19874 19846 0 -1 4202496 358 148 0 0 0 0 0 0 22 0 1 0 580165227 8912896 254 33554432000 4194304 4922060 140736254347856 18446744073709551615 231895309445 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/19874/statm: 2176 254 211 178 0 69 0 [startup+0.010986 s] /proc/loadavg: 0.00 0.00 0.00 1/172 19874 /proc/meminfo: memFree=16625720/32950928 swapFree=67111528/67111528 [pid=19874] ppid=19872 vsize=8704 CPUtime=0 cores=0,2,4,6 /proc/19874/stat : 19874 (glucose.sh) S 19872 19874 19846 0 -1 4202496 358 148 0 0 0 0 0 0 22 0 1 0 580165227 8912896 254 33554432000 4194304 4922060 140736254347856 18446744073709551615 231895309445 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/19874/statm: 2176 254 211 178 0 69 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8704 [startup+0.100951 s] /proc/loadavg: 0.00 0.00 0.00 1/172 19874 /proc/meminfo: memFree=16625720/32950928 swapFree=67111528/67111528 [pid=19874] ppid=19872 vsize=8704 CPUtime=0 cores=0,2,4,6 /proc/19874/stat : 19874 (glucose.sh) S 19872 19874 19846 0 -1 4202496 358 148 0 0 0 0 0 0 22 0 1 0 580165227 8912896 254 33554432000 4194304 4922060 140736254347856 18446744073709551615 231895309445 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/19874/statm: 2176 254 211 178 0 69 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8704 [startup+0.300914 s] /proc/loadavg: 0.00 0.00 0.00 1/172 19874 /proc/meminfo: memFree=16625720/32950928 swapFree=67111528/67111528 [pid=19874] ppid=19872 vsize=8704 CPUtime=0 cores=0,2,4,6 /proc/19874/stat : 19874 (glucose.sh) S 19872 19874 19846 0 -1 4202496 358 148 0 0 0 0 0 0 22 0 1 0 580165227 8912896 254 33554432000 4194304 4922060 140736254347856 18446744073709551615 231895309445 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/19874/statm: 2176 254 211 178 0 69 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8704 [startup+0.70084 s] /proc/loadavg: 0.00 0.00 0.00 1/172 19874 /proc/meminfo: memFree=16625720/32950928 swapFree=67111528/67111528 [pid=19874] ppid=19872 vsize=8704 CPUtime=0 cores=0,2,4,6 /proc/19874/stat : 19874 (glucose.sh) S 19872 19874 19846 0 -1 4202496 358 148 0 0 0 0 0 0 22 0 1 0 580165227 8912896 254 33554432000 4194304 4922060 140736254347856 18446744073709551615 231895309445 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/19874/statm: 2176 254 211 178 0 69 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8704 [startup+1.50069 s] /proc/loadavg: 0.00 0.00 0.00 2/174 19877 /proc/meminfo: memFree=16620132/32950928 swapFree=67111528/67111528 [pid=19874] ppid=19872 vsize=8704 CPUtime=0 cores=0,2,4,6 /proc/19874/stat : 19874 (glucose.sh) S 19872 19874 19846 0 -1 4202496 358 148 0 0 0 0 0 0 22 0 1 0 580165227 8912896 254 33554432000 4194304 4922060 140736254347856 18446744073709551615 231895309445 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/19874/statm: 2176 254 211 178 0 69 0 [pid=19876] ppid=19874 vsize=20472 CPUtime=1.49 cores=0,2,4,6 /proc/19876/stat : 19876 (glucose_static) R 19874 19874 19846 0 -1 4202496 2109 0 0 0 149 0 0 0 25 0 1 0 580165227 20963328 1675 33554432000 4194304 4260849 140733359903328 18446744073709551615 4225146 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/19876/statm: 5118 1675 248 17 0 1759 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 29176 [startup+3.10038 s] /proc/loadavg: 0.00 0.00 0.00 2/174 19877 /proc/meminfo: memFree=16616552/32950928 swapFree=67111528/67111528 [pid=19874] ppid=19872 vsize=8704 CPUtime=0 cores=0,2,4,6 /proc/19874/stat : 19874 (glucose.sh) S 19872 19874 19846 0 -1 4202496 358 148 0 0 0 0 0 0 22 0 1 0 580165227 8912896 254 33554432000 4194304 4922060 140736254347856 18446744073709551615 231895309445 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/19874/statm: 2176 254 211 178 0 69 0 [pid=19876] ppid=19874 vsize=24824 CPUtime=3.09 cores=0,2,4,6 /proc/19876/stat : 19876 (glucose_static) R 19874 19874 19846 0 -1 4202496 3039 0 0 0 309 0 0 0 25 0 1 0 580165227 25419776 2564 33554432000 4194304 4260849 140733359903328 18446744073709551615 4224674 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/19876/statm: 6206 2564 248 17 0 2847 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 33528 [startup+6.30071 s] /proc/loadavg: 0.08 0.02 0.01 2/174 19908 /proc/meminfo: memFree=16613180/32950928 swapFree=67111528/67111528 [pid=19874] ppid=19872 vsize=8704 CPUtime=0 cores=0,2,4,6 /proc/19874/stat : 19874 (glucose.sh) S 19872 19874 19846 0 -1 4202496 358 148 0 0 0 0 0 0 22 0 1 0 580165227 8912896 254 33554432000 4194304 4922060 140736254347856 18446744073709551615 231895309445 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/19874/statm: 2176 254 211 178 0 69 0 [pid=19876] ppid=19874 vsize=26836 CPUtime=6.29 cores=0,2,4,6 /proc/19876/stat : 19876 (glucose_static) R 19874 19874 19846 0 -1 4202496 4853 0 0 0 629 0 0 0 25 0 1 0 580165227 27480064 3159 33554432000 4194304 4260849 140733359903328 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/19876/statm: 6709 3159 248 17 0 3350 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 35540 [startup+12.7006 s] /proc/loadavg: 0.23 0.05 0.02 3/180 19951 /proc/meminfo: memFree=16594504/32950928 swapFree=67111528/67111528 [pid=19874] ppid=19872 vsize=8704 CPUtime=0 cores=0,2,4,6 /proc/19874/stat : 19874 (glucose.sh) S 19872 19874 19846 0 -1 4202496 358 148 0 0 0 0 0 0 22 0 1 0 580165227 8912896 254 33554432000 4194304 4922060 140736254347856 18446744073709551615 231895309445 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/19874/statm: 2176 254 211 178 0 69 0 [pid=19876] ppid=19874 vsize=33908 CPUtime=12.69 cores=0,2,4,6 /proc/19876/stat : 19876 (glucose_static) R 19874 19874 19846 0 -1 4202496 6498 0 0 0 1269 0 0 0 25 0 1 0 580165227 34721792 4733 33554432000 4194304 4260849 140733359903328 18446744073709551615 4225129 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/19876/statm: 8477 4733 248 17 0 5118 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 42612 [startup+25.5011 s] /proc/loadavg: 0.62 0.14 0.05 3/180 19951 /proc/meminfo: memFree=16581500/32950928 swapFree=67111528/67111528 [pid=19874] ppid=19872 vsize=8704 CPUtime=0 cores=0,2,4,6 /proc/19874/stat : 19874 (glucose.sh) S 19872 19874 19846 0 -1 4202496 358 148 0 0 0 0 0 0 22 0 1 0 580165227 8912896 254 33554432000 4194304 4922060 140736254347856 18446744073709551615 231895309445 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/19874/statm: 2176 254 211 178 0 69 0 [pid=19876] ppid=19874 vsize=38592 CPUtime=25.48 cores=0,2,4,6 /proc/19876/stat : 19876 (glucose_static) R 19874 19874 19846 0 -1 4202496 8062 0 0 0 2548 0 0 0 25 0 1 0 580165227 39518208 6229 33554432000 4194304 4260849 140733359903328 18446744073709551615 4224658 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/19876/statm: 9648 6229 248 17 0 6289 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 47296 [startup+51.1003 s] /proc/loadavg: 1.09 0.29 0.10 3/180 19952 /proc/meminfo: memFree=16567548/32950928 swapFree=67111528/67111528 [pid=19874] ppid=19872 vsize=8704 CPUtime=0 cores=0,2,4,6 /proc/19874/stat : 19874 (glucose.sh) S 19872 19874 19846 0 -1 4202496 358 148 0 0 0 0 0 0 22 0 1 0 580165227 8912896 254 33554432000 4194304 4922060 140736254347856 18446744073709551615 231895309445 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/19874/statm: 2176 254 211 178 0 69 0 [pid=19876] ppid=19874 vsize=46160 CPUtime=51.08 cores=0,2,4,6 /proc/19876/stat : 19876 (glucose_static) R 19874 19874 19846 0 -1 4202496 12413 0 0 0 5107 1 0 0 25 0 1 0 580165227 47267840 7997 33554432000 4194304 4260849 140733359903328 18446744073709551615 4224818 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/19876/statm: 11540 7997 248 17 0 8181 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 54864 [startup+102.307 s] /proc/loadavg: 1.60 0.55 0.19 3/180 19953 /proc/meminfo: memFree=16537900/32950928 swapFree=67111528/67111528 [pid=19874] ppid=19872 vsize=8704 CPUtime=0 cores=0,2,4,6 /proc/19874/stat : 19874 (glucose.sh) S 19872 19874 19846 0 -1 4202496 358 148 0 0 0 0 0 0 22 0 1 0 580165227 8912896 254 33554432000 4194304 4922060 140736254347856 18446744073709551615 231895309445 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/19874/statm: 2176 254 211 178 0 69 0 [pid=19876] ppid=19874 vsize=64836 CPUtime=102.3 cores=0,2,4,6 /proc/19876/stat : 19876 (glucose_static) R 19874 19874 19846 0 -1 4202496 19374 0 0 0 10228 2 0 0 25 0 1 0 580165227 66392064 11915 33554432000 4194304 4260849 140733359903328 18446744073709551615 4225146 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/19876/statm: 16209 11915 248 17 0 12850 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 73540 [startup+162.301 s] /proc/loadavg: 1.85 0.81 0.30 3/180 19985 /proc/meminfo: memFree=16553968/32950928 swapFree=67111528/67111528 [pid=19874] ppid=19872 vsize=8704 CPUtime=0 cores=0,2,4,6 /proc/19874/stat : 19874 (glucose.sh) S 19872 19874 19846 0 -1 4202496 358 148 0 0 0 0 0 0 22 0 1 0 580165227 8912896 254 33554432000 4194304 4922060 140736254347856 18446744073709551615 231895309445 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/19874/statm: 2176 254 211 178 0 69 0 [pid=19876] ppid=19874 vsize=64836 CPUtime=162.29 cores=0,2,4,6 /proc/19876/stat : 19876 (glucose_static) R 19874 19874 19846 0 -1 4202496 20060 0 0 0 16227 2 0 0 25 0 1 0 580165227 66392064 12580 33554432000 4194304 4260849 140733359903328 18446744073709551615 4224885 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/19876/statm: 16209 12580 248 17 0 12850 0 Current children cumulated CPU time (s) 162.29 Current children cumulated vsize (KiB) 73540 [startup+222.301 s] /proc/loadavg: 1.98 1.04 0.41 3/180 19986 /proc/meminfo: memFree=16533232/32950928 swapFree=67111528/67111528 [pid=19874] ppid=19872 vsize=8704 CPUtime=0 cores=0,2,4,6 /proc/19874/stat : 19874 (glucose.sh) S 19872 19874 19846 0 -1 4202496 358 148 0 0 0 0 0 0 22 0 1 0 580165227 8912896 254 33554432000 4194304 4922060 140736254347856 18446744073709551615 231895309445 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/19874/statm: 2176 254 211 178 0 69 0 [pid=19876] ppid=19874 vsize=84120 CPUtime=222.3 cores=0,2,4,6 /proc/19876/stat : 19876 (glucose_static) R 19874 19874 19846 0 -1 4202496 27290 0 0 0 22227 3 0 0 25 0 1 0 580165227 86138880 15093 33554432000 4194304 4260849 140733359903328 18446744073709551615 4224674 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/19876/statm: 21030 15093 248 17 0 17671 0 Current children cumulated CPU time (s) 222.3 Current children cumulated vsize (KiB) 92824 [startup+282.3 s] /proc/loadavg: 2.04 1.23 0.51 3/180 19988 /proc/meminfo: memFree=16522908/32950928 swapFree=67111528/67111528 [pid=19874] ppid=19872 vsize=8704 CPUtime=0 cores=0,2,4,6 /proc/19874/stat : 19874 (glucose.sh) S 19872 19874 19846 0 -1 4202496 358 148 0 0 0 0 0 0 22 0 1 0 580165227 8912896 254 33554432000 4194304 4922060 140736254347856 18446744073709551615 231895309445 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/19874/statm: 2176 254 211 178 0 69 0 [pid=19876] ppid=19874 vsize=84120 CPUtime=282.3 cores=0,2,4,6 /proc/19876/stat : 19876 (glucose_static) R 19874 19874 19846 0 -1 4202496 27736 0 0 0 28227 3 0 0 25 0 1 0 580165227 86138880 15523 33554432000 4194304 4260849 140733359903328 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/19876/statm: 21030 15523 248 17 0 17671 0 Current children cumulated CPU time (s) 282.3 Current children cumulated vsize (KiB) 92824 [startup+342.301 s] /proc/loadavg: 2.01 1.37 0.60 3/180 20021 /proc/meminfo: memFree=16530780/32950928 swapFree=67111528/67111528 [pid=19874] ppid=19872 vsize=8704 CPUtime=0 cores=0,2,4,6 /proc/19874/stat : 19874 (glucose.sh) S 19872 19874 19846 0 -1 4202496 358 148 0 0 0 0 0 0 22 0 1 0 580165227 8912896 254 33554432000 4194304 4922060 140736254347856 18446744073709551615 231895309445 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/19874/statm: 2176 254 211 178 0 69 0 [pid=19876] ppid=19874 vsize=84120 CPUtime=342.3 cores=0,2,4,6 /proc/19876/stat : 19876 (glucose_static) R 19874 19874 19846 0 -1 4202496 28269 0 0 0 34227 3 0 0 25 0 1 0 580165227 86138880 16038 33554432000 4194304 4260849 140733359903328 18446744073709551615 4224632 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/19876/statm: 21030 16038 248 17 0 17671 0 Current children cumulated CPU time (s) 342.3 Current children cumulated vsize (KiB) 92824 [startup+402.3 s] /proc/loadavg: 2.00 1.48 0.69 3/180 20022 /proc/meminfo: memFree=16508184/32950928 swapFree=67111528/67111528 [pid=19874] ppid=19872 vsize=8704 CPUtime=0 cores=0,2,4,6 ################ # More data... # ################ /proc/19876/statm: 38135 31941 249 17 0 34776 0 Current children cumulated CPU time (s) 4362.45 Current children cumulated vsize (KiB) 161244 [startup+4422.3 s] /proc/loadavg: 1.00 1.00 0.92 2/173 20159 /proc/meminfo: memFree=16440480/32950928 swapFree=67111528/67111528 [pid=19874] ppid=19872 vsize=8704 CPUtime=0 cores=0,2,4,6 /proc/19874/stat : 19874 (glucose.sh) S 19872 19874 19846 0 -1 4202496 358 148 0 0 0 0 0 0 22 0 1 0 580165227 8912896 254 33554432000 4194304 4922060 140736254347856 18446744073709551615 231895309445 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/19874/statm: 2176 254 211 178 0 69 0 [pid=19876] ppid=19874 vsize=232680 CPUtime=4422.45 cores=0,2,4,6 /proc/19876/stat : 19876 (glucose_static) R 19874 19874 19846 0 -1 4202496 916711 0 0 0 442090 155 0 0 25 0 1 0 580165227 238264320 46577 33554432000 4194304 4260849 140733359903328 18446744073709551615 4224822 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/19876/statm: 58170 46577 249 17 0 54811 0 Current children cumulated CPU time (s) 4422.45 Current children cumulated vsize (KiB) 241384 [startup+4482.3 s] /proc/loadavg: 1.00 1.00 0.92 2/173 20161 /proc/meminfo: memFree=16454212/32950928 swapFree=67111528/67111528 [pid=19874] ppid=19872 vsize=8704 CPUtime=0 cores=0,2,4,6 /proc/19874/stat : 19874 (glucose.sh) S 19872 19874 19846 0 -1 4202496 358 148 0 0 0 0 0 0 22 0 1 0 580165227 8912896 254 33554432000 4194304 4922060 140736254347856 18446744073709551615 231895309445 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/19874/statm: 2176 254 211 178 0 69 0 [pid=19876] ppid=19874 vsize=201860 CPUtime=4482.45 cores=0,2,4,6 /proc/19876/stat : 19876 (glucose_static) R 19874 19874 19846 0 -1 4202496 929225 0 0 0 448087 158 0 0 25 0 1 0 580165227 206704640 43195 33554432000 4194304 4260849 140733359903328 18446744073709551615 4224674 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/19876/statm: 50465 43195 249 17 0 47106 0 Current children cumulated CPU time (s) 4482.45 Current children cumulated vsize (KiB) 210564 [startup+4542.3 s] /proc/loadavg: 1.00 1.00 0.92 2/173 20163 /proc/meminfo: memFree=16461980/32950928 swapFree=67111528/67111528 [pid=19874] ppid=19872 vsize=8704 CPUtime=0 cores=0,2,4,6 /proc/19874/stat : 19874 (glucose.sh) S 19872 19874 19846 0 -1 4202496 358 148 0 0 0 0 0 0 22 0 1 0 580165227 8912896 254 33554432000 4194304 4922060 140736254347856 18446744073709551615 231895309445 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/19874/statm: 2176 254 211 178 0 69 0 [pid=19876] ppid=19874 vsize=201860 CPUtime=4542.46 cores=0,2,4,6 /proc/19876/stat : 19876 (glucose_static) R 19874 19874 19846 0 -1 4202496 942686 0 0 0 454085 161 0 0 25 0 1 0 580165227 206704640 41260 33554432000 4194304 4260849 140733359903328 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/19876/statm: 50465 41260 249 17 0 47106 0 Current children cumulated CPU time (s) 4542.46 Current children cumulated vsize (KiB) 210564 [startup+4602.3 s] /proc/loadavg: 1.00 1.00 0.92 2/173 20164 /proc/meminfo: memFree=16498272/32950928 swapFree=67111528/67111528 [pid=19874] ppid=19872 vsize=8704 CPUtime=0 cores=0,2,4,6 /proc/19874/stat : 19874 (glucose.sh) S 19872 19874 19846 0 -1 4202496 358 148 0 0 0 0 0 0 22 0 1 0 580165227 8912896 254 33554432000 4194304 4922060 140736254347856 18446744073709551615 231895309445 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/19874/statm: 2176 254 211 178 0 69 0 [pid=19876] ppid=19874 vsize=152540 CPUtime=4602.46 cores=0,2,4,6 /proc/19876/stat : 19876 (glucose_static) R 19874 19874 19846 0 -1 4202496 949370 0 0 0 460083 163 0 0 25 0 1 0 580165227 156200960 31941 33554432000 4194304 4260849 140733359903328 18446744073709551615 4224632 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/19876/statm: 38135 31941 249 17 0 34776 0 Current children cumulated CPU time (s) 4602.46 Current children cumulated vsize (KiB) 161244 [startup+4662.3 s] /proc/loadavg: 1.00 1.00 0.92 2/173 20166 /proc/meminfo: memFree=16442920/32950928 swapFree=67111528/67111528 [pid=19874] ppid=19872 vsize=8704 CPUtime=0 cores=0,2,4,6 /proc/19874/stat : 19874 (glucose.sh) S 19872 19874 19846 0 -1 4202496 358 148 0 0 0 0 0 0 22 0 1 0 580165227 8912896 254 33554432000 4194304 4922060 140736254347856 18446744073709551615 231895309445 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/19874/statm: 2176 254 211 178 0 69 0 [pid=19876] ppid=19874 vsize=232680 CPUtime=4662.46 cores=0,2,4,6 /proc/19876/stat : 19876 (glucose_static) R 19874 19874 19846 0 -1 4202496 963619 0 0 0 466080 166 0 0 25 0 1 0 580165227 238264320 45968 33554432000 4194304 4260849 140733359903328 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/19876/statm: 58170 45968 249 17 0 54811 0 Current children cumulated CPU time (s) 4662.46 Current children cumulated vsize (KiB) 241384 [startup+4722.31 s] /proc/loadavg: 1.00 1.00 0.92 2/173 20168 /proc/meminfo: memFree=16454280/32950928 swapFree=67111528/67111528 [pid=19874] ppid=19872 vsize=8704 CPUtime=0 cores=0,2,4,6 /proc/19874/stat : 19874 (glucose.sh) S 19872 19874 19846 0 -1 4202496 358 148 0 0 0 0 0 0 22 0 1 0 580165227 8912896 254 33554432000 4194304 4922060 140736254347856 18446744073709551615 231895309445 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/19874/statm: 2176 254 211 178 0 69 0 [pid=19876] ppid=19874 vsize=201860 CPUtime=4722.47 cores=0,2,4,6 /proc/19876/stat : 19876 (glucose_static) R 19874 19874 19846 0 -1 4202496 976534 0 0 0 472078 169 0 0 25 0 1 0 580165227 206704640 43075 33554432000 4194304 4260849 140733359903328 18446744073709551615 4224632 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/19876/statm: 50465 43075 249 17 0 47106 0 Current children cumulated CPU time (s) 4722.47 Current children cumulated vsize (KiB) 210564 [startup+4782.3 s] /proc/loadavg: 1.00 1.00 0.92 2/173 20169 /proc/meminfo: memFree=16498372/32950928 swapFree=67111528/67111528 [pid=19874] ppid=19872 vsize=8704 CPUtime=0 cores=0,2,4,6 /proc/19874/stat : 19874 (glucose.sh) S 19872 19874 19846 0 -1 4202496 358 148 0 0 0 0 0 0 22 0 1 0 580165227 8912896 254 33554432000 4194304 4922060 140736254347856 18446744073709551615 231895309445 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/19874/statm: 2176 254 211 178 0 69 0 [pid=19876] ppid=19874 vsize=152540 CPUtime=4782.47 cores=0,2,4,6 /proc/19876/stat : 19876 (glucose_static) R 19874 19874 19846 0 -1 4202496 980913 0 0 0 478076 171 0 0 25 0 1 0 580165227 156200960 31942 33554432000 4194304 4260849 140733359903328 18446744073709551615 4224895 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/19876/statm: 38135 31942 249 17 0 34776 0 Current children cumulated CPU time (s) 4782.47 Current children cumulated vsize (KiB) 161244 [startup+4842.3 s] /proc/loadavg: 1.00 1.00 0.92 2/173 20171 /proc/meminfo: memFree=16442180/32950928 swapFree=67111528/67111528 [pid=19874] ppid=19872 vsize=8704 CPUtime=0 cores=0,2,4,6 /proc/19874/stat : 19874 (glucose.sh) S 19872 19874 19846 0 -1 4202496 358 148 0 0 0 0 0 0 22 0 1 0 580165227 8912896 254 33554432000 4194304 4922060 140736254347856 18446744073709551615 231895309445 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/19874/statm: 2176 254 211 178 0 69 0 [pid=19876] ppid=19874 vsize=232680 CPUtime=4842.47 cores=0,2,4,6 /proc/19876/stat : 19876 (glucose_static) R 19874 19874 19846 0 -1 4202496 995326 0 0 0 484073 174 0 0 25 0 1 0 580165227 238264320 46112 33554432000 4194304 4260849 140733359903328 18446744073709551615 4224737 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/19876/statm: 58170 46112 249 17 0 54811 0 Current children cumulated CPU time (s) 4842.47 Current children cumulated vsize (KiB) 241384 [startup+4902.3 s] /proc/loadavg: 1.00 1.00 0.92 2/173 20172 /proc/meminfo: memFree=16453304/32950928 swapFree=67111528/67111528 [pid=19874] ppid=19872 vsize=8704 CPUtime=0 cores=0,2,4,6 /proc/19874/stat : 19874 (glucose.sh) S 19872 19874 19846 0 -1 4202496 358 148 0 0 0 0 0 0 22 0 1 0 580165227 8912896 254 33554432000 4194304 4922060 140736254347856 18446744073709551615 231895309445 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/19874/statm: 2176 254 211 178 0 69 0 [pid=19876] ppid=19874 vsize=201860 CPUtime=4902.47 cores=0,2,4,6 /proc/19876/stat : 19876 (glucose_static) R 19874 19874 19846 0 -1 4202496 1008701 0 0 0 490071 176 0 0 25 0 1 0 580165227 206704640 43401 33554432000 4194304 4260849 140733359903328 18446744073709551615 4224730 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/19876/statm: 50465 43401 249 17 0 47106 0 Current children cumulated CPU time (s) 4902.47 Current children cumulated vsize (KiB) 210564 [startup+4962.3 s] /proc/loadavg: 1.00 1.00 0.92 2/173 20174 /proc/meminfo: memFree=16496188/32950928 swapFree=67111528/67111528 [pid=19874] ppid=19872 vsize=8704 CPUtime=0 cores=0,2,4,6 /proc/19874/stat : 19874 (glucose.sh) S 19872 19874 19846 0 -1 4202496 358 148 0 0 0 0 0 0 22 0 1 0 580165227 8912896 254 33554432000 4194304 4922060 140736254347856 18446744073709551615 231895309445 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/19874/statm: 2176 254 211 178 0 69 0 [pid=19876] ppid=19874 vsize=152540 CPUtime=4962.48 cores=0,2,4,6 /proc/19876/stat : 19876 (glucose_static) R 19874 19874 19846 0 -1 4202496 1013947 0 0 0 496070 178 0 0 25 0 1 0 580165227 156200960 32482 33554432000 4194304 4260849 140733359903328 18446744073709551615 4224632 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/19876/statm: 38135 32482 249 17 0 34776 0 Current children cumulated CPU time (s) 4962.48 Current children cumulated vsize (KiB) 161244 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+4999.9 s] /proc/loadavg: 1.00 1.00 0.92 2/173 20178 /proc/meminfo: memFree=16451676/32950928 swapFree=67111528/67111528 [pid=19874] ppid=19872 vsize=8704 CPUtime=0 cores=0,2,4,6 /proc/19874/stat : 19874 (glucose.sh) S 19872 19874 19846 0 -1 4202496 358 148 0 0 0 0 0 0 22 0 1 0 580165227 8912896 254 33554432000 4194304 4922060 140736254347856 18446744073709551615 231895309445 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/19874/statm: 2176 254 211 178 0 69 0 [pid=19876] ppid=19874 vsize=201860 CPUtime=5000.12 cores=0,2,4,6 /proc/19876/stat : 19876 (glucose_static) R 19874 19874 19846 0 -1 4202496 1025229 0 0 0 499832 180 0 0 25 0 1 0 580165227 206704640 43630 33554432000 4194304 4260849 140733359903328 18446744073709551615 4224632 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/19876/statm: 50465 43630 249 17 0 47106 0 Current children cumulated CPU time (s) 5000.12 Current children cumulated vsize (KiB) 210564 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+4999.9 s] /proc/loadavg: 1.00 1.00 0.92 2/173 20178 /proc/meminfo: memFree=16451676/32950928 swapFree=67111528/67111528 [pid=19874] ppid=19872 vsize=8704 CPUtime=0 cores=0,2,4,6 /proc/19874/stat : 19874 (glucose.sh) S 19872 19874 19846 0 -1 4202496 358 148 0 0 0 0 0 0 22 0 1 0 580165227 8912896 254 33554432000 4194304 4922060 140736254347856 18446744073709551615 231895309445 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/19874/statm: 2176 254 211 178 0 69 0 [pid=19876] ppid=19874 vsize=201860 CPUtime=5000.12 cores=0,2,4,6 /proc/19876/stat : 19876 (glucose_static) R 19874 19874 19846 0 -1 4202496 1025229 0 0 0 499832 180 0 0 25 0 1 0 580165227 206704640 43630 33554432000 4194304 4260849 140733359903328 18446744073709551615 4224632 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/19876/statm: 50465 43630 249 17 0 47106 0 Current children cumulated CPU time (s) 5000.12 Current children cumulated vsize (KiB) 210564 Child ended because it received signal 15 (SIGTERM) # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 19874 and gives # childrusage.ru_utime.tv_sec=0 # childrusage.ru_utime.tv_usec=999 # childrusage.ru_stime.tv_sec=0 # childrusage.ru_stime.tv_usec=999 # CPU time returned by wait4() is 0.001998 # while last known CPU time is 5000.12 # # Solver probably didn't/couldn't wait for its children # Using CPU time of the last sample as value... Real time (s): 4999.95 CPU time (s): 5000.12 CPU user time (s): 4998.32 CPU system time (s): 1.8 CPU usage (%): 100.003 Max. virtual memory (cumulated for all children) (KiB): 241384 getrusage(RUSAGE_CHILDREN,...) data: user time used= 0.000999 system time used= 0.000999 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 506 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= 4 runsolver used 7.31689 second user time and 15.5566 second system time The end
Begin job on node114 at 2011-04-27 12:15:45 IDJOB=3303396 IDBENCH=83150 IDSOLVER=1687 FILE ID=node114/3303396-1303899345 RUNJOBID= node114-1303899345-19864 PBS_JOBID= 13164534 Free space on /tmp= 71812 MiB SOLVER NAME= glucose 2 BENCH NAME= SAT11/crafted/spence/sgen/sgen3-n140-s20078956-unsat.cnf COMMAND LINE= glucose.sh BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3303396-1303899345/watcher-3303396-1303899345 -o /tmp/evaluation-result-3303396-1303899345/solver-3303396-1303899345 -C 5000 -W 5100 -M 15500 glucose.sh HOME/instance-3303396-1303899345.cnf TIME LIMIT= 5000 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 8d05c170d9e6ebfc370bd1d7f7c63d86 RANDOM SEED=303005096 node114.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.848 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.69 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.848 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5226.15 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.848 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.848 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.73 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.848 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.848 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.848 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.74 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.848 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32950928 kB MemFree: 16626016 kB Buffers: 2319416 kB Cached: 13352220 kB SwapCached: 0 kB Active: 7049932 kB Inactive: 8686228 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32950928 kB LowFree: 16626016 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 1164 kB Writeback: 0 kB AnonPages: 63744 kB Mapped: 14604 kB Slab: 523852 kB PageTables: 5096 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83586992 kB Committed_AS: 187424 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= 71812 MiB End job on node114 at 2011-04-27 13:39:07