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 | 1530 4590 | 458 0 0 nan | 0.000 % |
0.00/0.01 c | 0 | 1495 4565 | -- 0 -- -- | -- | -35/-25
0.00/0.01 c ==============================================================================
0.00/0.01 c Result : #vars: 343 #clauses: 1495 #literals: 4565
0.00/0.01 c CPU time: 0.005999 s
0.00/0.01 c ==============================================================================
0.00/0.01 c This is MiniSat 2.0 beta
0.00/0.01 c WARNING: for repeatability, setting FPU to use double precision
0.00/0.01 c ============================[ Problem Statistics ]=============================
0.00/0.01 c | |
0.00/0.01 c | Number of variables: 343 |
0.00/0.01 c | Number of clauses: 1495 |
0.00/0.01 c | Parsing time: 0.00 s |
0.00/0.01 c ============================[ Search Statistics ]==============================
0.00/0.01 c | Conflicts | ORIGINAL | LEARNT | Progress |
0.00/0.01 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
0.00/0.01 c ===============================================================================
0.00/0.01 c | 0 | 343 1495 4565 | 498 0 nan | 0.000 % |
0.00/0.01 c | 100 | 343 1495 4565 | 498 100 18 | 0.001 % |
0.00/0.02 c | 201 | 343 1495 4565 | 498 201 17 | 0.001 % |
0.00/0.02 c | 301 | 343 1495 4565 | 498 301 17 | 0.001 % |
0.00/0.02 c | 414 | 343 1495 4565 | 498 414 17 | 0.001 % |
0.00/0.02 c | 515 | 343 1495 4565 | 498 515 17 | 0.001 % |
0.00/0.03 c | 625 | 343 1495 4565 | 498 522 17 | 0.001 % |
0.00/0.03 c | 747 | 343 1495 4565 | 498 540 16 | 0.001 % |
0.00/0.03 c | 847 | 343 1495 4565 | 498 532 16 | 0.001 % |
0.00/0.04 c | 958 | 343 1495 4565 | 498 486 15 | 0.001 % |
0.00/0.04 c | 1083 | 343 1495 4565 | 498 505 15 | 0.001 % |
0.00/0.05 c | 1217 | 343 1495 4565 | 498 538 16 | 0.001 % |
0.00/0.05 c | 1319 | 343 1495 4565 | 498 485 16 | 0.001 % |
0.00/0.05 c | 1430 | 343 1495 4565 | 498 493 15 | 0.001 % |
0.00/0.06 c | 1552 | 343 1495 4565 | 498 513 14 | 0.001 % |
0.00/0.06 c | 1686 | 343 1495 4565 | 498 496 14 | 0.001 % |
0.00/0.07 c | 1835 | 343 1495 4565 | 498 494 13 | 0.001 % |
0.00/0.07 c | 1935 | 343 1495 4565 | 498 541 14 | 0.001 % |
0.00/0.07 c | 2045 | 343 1495 4565 | 498 494 14 | 0.001 % |
0.00/0.08 c | 2167 | 343 1495 4565 | 498 511 14 | 0.001 % |
0.00/0.08 c | 2300 | 343 1495 4565 | 498 490 14 | 0.001 % |
0.00/0.09 c | 2446 | 343 1495 4565 | 498 533 14 | 0.001 % |
0.00/0.09 c | 2609 | 343 1495 4565 | 498 541 14 | 0.001 % |
0.00/0.10 c | 2710 | 343 1495 4565 | 498 536 14 | 0.001 % |
0.00/0.10 c | 2820 | 343 1495 4565 | 498 491 14 | 0.001 % |
0.00/0.10 c | 2942 | 343 1495 4565 | 498 511 14 | 0.001 % |
0.00/0.11 c | 3075 | 343 1495 4565 | 498 491 13 | 0.001 % |
0.00/0.11 c | 3223 | 343 1495 4565 | 498 534 13 | 0.001 % |
0.00/0.12 c | 3383 | 343 1495 4565 | 498 537 14 | 0.001 % |
0.00/0.12 c | 3560 | 343 1495 4565 | 498 509 14 | 0.001 % |
0.00/0.13 c | 3664 | 343 1495 4565 | 498 512 13 | 0.001 % |
0.00/0.13 c | 3774 | 343 1495 4565 | 498 520 13 | 0.001 % |
0.00/0.13 c | 3895 | 343 1495 4565 | 498 487 13 | 0.001 % |
0.00/0.14 c | 4030 | 343 1495 4565 | 498 519 14 | 0.001 % |
0.00/0.14 c | 4177 | 343 1495 4565 | 498 514 13 | 0.001 % |
0.00/0.15 c | 4337 | 343 1495 4565 | 498 522 13 | 0.001 % |
0.00/0.15 c | 4513 | 343 1495 4565 | 498 494 13 | 0.001 % |
0.00/0.16 c | 4707 | 343 1495 4565 | 498 535 14 | 0.001 % |
0.00/0.16 c | 4807 | 343 1495 4565 | 498 529 14 | 0.001 % |
0.00/0.17 c | 4918 | 343 1495 4565 | 498 486 13 | 0.001 % |
0.00/0.17 c | 5039 | 343 1495 4565 | 498 505 13 | 0.001 % |
0.00/0.18 c | 5172 | 343 1495 4565 | 498 538 13 | 0.001 % |
0.00/0.18 c | 5320 | 343 1495 4565 | 498 530 14 | 0.001 % |
0.00/0.19 c | 5480 | 343 1495 4565 | 498 537 14 | 0.001 % |
0.00/0.19 c | 5657 | 343 1495 4565 | 498 505 14 | 0.001 % |
0.00/0.20 c | 5850 | 343 1495 4565 | 498 496 13 | 0.001 % |
0.00/0.20 c | 6063 | 343 1495 4565 | 498 503 13 | 0.001 % |
0.00/0.21 c | 6163 | 343 1495 4565 | 498 502 13 | 0.001 % |
0.00/0.21 c | 6274 | 343 1495 4565 | 498 510 13 | 0.001 % |
0.00/0.22 c | 6396 | 343 1495 4565 | 498 529 14 | 0.001 % |
0.00/0.22 c | 6530 | 343 1495 4565 | 498 508 14 | 0.001 % |
0.00/0.22 c | 6676 | 343 1495 4565 | 498 552 14 | 0.001 % |
0.00/0.23 c | 6836 | 343 1495 4565 | 498 500 13 | 0.001 % |
0.00/0.24 c | 7012 | 343 1495 4565 | 498 522 14 | 0.001 % |
0.00/0.24 c | 7207 | 343 1495 4565 | 498 512 13 | 0.001 % |
0.00/0.25 c | 7421 | 343 1495 4565 | 498 526 13 | 0.001 % |
0.00/0.26 c | 7655 | 343 1495 4565 | 498 512 13 | 0.001 % |
0.00/0.26 c | 7755 | 343 1495 4565 | 498 510 14 | 0.001 % |
0.00/0.26 c | 7865 | 343 1495 4565 | 498 521 13 | 0.001 % |
0.00/0.27 c | 7987 | 343 1495 4565 | 498 489 13 | 0.001 % |
0.00/0.27 c | 8121 | 343 1495 4565 | 498 519 13 | 0.001 % |
0.00/0.28 c | 8268 | 343 1495 4565 | 498 512 13 | 0.001 % |
0.00/0.28 c | 8429 | 343 1495 4565 | 498 521 13 | 0.001 % |
0.00/0.29 c | 8606 | 343 1495 4565 | 498 542 14 | 0.001 % |
0.00/0.29 c | 8800 | 343 1495 4565 | 498 527 14 | 0.001 % |
0.00/0.30 c | 9012 | 343 1495 4565 | 498 534 13 | 0.001 % |
0.00/0.31 c | 9245 | 343 1495 4565 | 498 504 15 | 0.001 % |
0.00/0.32 c | 9502 | 343 1495 4565 | 498 507 14 | 0.001 % |
0.00/0.32 c | 9603 | 343 1495 4565 | 498 507 14 | 0.001 % |
0.00/0.32 c | 9713 | 343 1495 4565 | 498 517 14 | 0.001 % |
0.00/0.33 c | 9836 | 343 1495 4565 | 498 537 14 | 0.001 % |
0.00/0.33 c | 9969 | 343 1495 4565 | 498 512 14 | 0.001 % |
0.00/0.34 c | 10115 | 343 1495 4565 | 2147483647 607 15 | 0.001 % |
0.00/0.34 c | 10275 | 343 1495 4565 | 2147483647 767 15 | 0.001 % |
0.00/0.35 c | 10452 | 343 1495 4565 | 2147483647 944 16 | 0.001 % |
0.00/0.36 c | 10645 | 343 1495 4565 | 2147483647 1137 16 | 0.001 % |
0.00/0.36 c | 10858 | 343 1495 4565 | 2147483647 1350 16 | 0.001 % |
0.00/0.37 c | 11091 | 343 1495 4565 | 2147483647 1583 16 | 0.001 % |
0.00/0.38 c | 11347 | 343 1495 4565 | 2147483647 1839 16 | 0.001 % |
0.00/0.39 c | 11628 | 343 1495 4565 | 2147483647 2120 17 | 0.001 % |
0.00/0.40 c | 11729 | 343 1495 4565 | 2147483647 2221 17 | 0.001 % |
0.00/0.40 c | 11839 | 343 1495 4565 | 2147483647 2331 17 | 0.001 % |
0.00/0.41 c | 11960 | 343 1495 4565 | 2147483647 2452 17 | 0.001 % |
0.00/0.41 c | 12093 | 343 1495 4565 | 2147483647 2585 17 | 0.001 % |
0.00/0.42 c | 12243 | 343 1495 4565 | 2147483647 2735 17 | 0.001 % |
0.00/0.43 c | 12405 | 343 1495 4565 | 2147483647 2897 17 | 0.001 % |
0.00/0.43 c | 12584 | 343 1495 4565 | 2147483647 3076 17 | 0.001 % |
0.00/0.44 c | 12777 | 343 1495 4565 | 2147483647 3269 17 | 0.001 % |
0.00/0.46 c | 12989 | 343 1495 4565 | 2147483647 3481 17 | 0.001 % |
0.00/0.47 c | 13223 | 343 1495 4565 | 2147483647 3715 17 | 0.001 % |
0.00/0.48 c | 13479 | 343 1495 4565 | 2147483647 3971 17 | 0.001 % |
0.00/0.50 c | 13760 | 343 1495 4565 | 2147483647 4252 18 | 0.001 % |
0.00/0.52 c | 14069 | 343 1495 4565 | 2147483647 4561 18 | 0.001 % |
0.00/0.53 c | 14169 | 343 1495 4565 | 2147483647 4661 18 | 0.001 % |
0.00/0.53 c | 14279 | 343 1495 4565 | 2147483647 4771 18 | 0.001 % |
0.00/0.54 c | 14403 | 343 1495 4565 | 2147483647 4895 18 | 0.001 % |
0.00/0.55 c | 14539 | 343 1495 4565 | 2147483647 5031 18 | 0.001 % |
0.00/0.56 c | 14685 | 343 1495 4565 | 2147483647 5177 18 | 0.001 % |
0.00/0.57 c | 14845 | 343 1495 4565 | 2147483647 5337 18 | 0.001 % |
0.00/0.58 c | 15024 | 343 1495 4565 | 2147483647 5516 18 | 0.001 % |
0.00/0.59 c | 15217 | 343 1495 4565 | 2147483647 5709 18 | 0.001 % |
0.00/0.61 c | 15430 | 343 1495 4565 | 2147483647 5922 18 | 0.001 % |
0.00/0.62 c | 15664 | 343 1495 4565 | 2147483647 6156 18 | 0.001 % |
0.00/0.64 c | 15920 | 343 1495 4565 | 2147483647 6412 18 | 0.001 % |
0.00/0.66 c | 16202 | 343 1495 4565 | 2147483647 6694 18 | 0.001 % |
0.00/0.69 c | 16511 | 343 1495 4565 | 2147483647 7003 18 | 0.001 % |
0.00/0.71 c | 16850 | 343 1495 4565 | 2147483647 7342 18 | 0.001 % |
0.00/0.72 c | 16950 | 343 1495 4565 | 2147483647 7442 18 | 0.001 % |
0.00/0.73 c | 17060 | 343 1495 4565 | 2147483647 7552 18 | 0.001 % |
0.00/0.74 c | 17182 | 343 1495 4565 | 2147483647 7674 18 | 0.001 % |
0.00/0.75 c | 17315 | 343 1495 4565 | 2147483647 7807 18 | 0.001 % |
0.00/0.76 c | 17463 | 343 1495 4565 | 2147483647 7955 18 | 0.001 % |
0.00/0.77 c | 17625 | 343 1495 4565 | 2147483647 8117 18 | 0.001 % |
0.00/0.79 c | 17801 | 343 1495 4565 | 2147483647 8293 18 | 0.001 % |
0.00/0.80 c | 17994 | 343 1495 4565 | 2147483647 8486 18 | 0.001 % |
0.00/0.82 c | 18206 | 343 1495 4565 | 2147483647 8698 18 | 0.001 % |
0.00/0.84 c | 18439 | 343 1495 4565 | 2147483647 8931 18 | 0.001 % |
0.00/0.87 c | 18695 | 343 1495 4565 | 2147483647 9187 17 | 0.001 % |
0.00/0.89 c | 18976 | 343 1495 4565 | 2147483647 9468 17 | 0.001 % |
0.00/0.92 c | 19287 | 343 1495 4565 | 2147483647 9779 17 | 0.001 % |
0.00/0.94 c | 19628 | 343 1495 4565 | 2147483647 10120 18 | 0.001 % |
0.00/0.98 c | 20001 | 343 1495 4565 | 2147483647 10493 18 | 0.001 % |
0.00/0.99 c | 20102 | 343 1495 4565 | 2147483647 10594 18 | 0.001 % |
0.98/1.01 c | 20215 | 343 1495 4565 | 2147483647 10707 18 | 0.001 % |
0.98/1.02 c | 20336 | 343 1495 4565 | 2147483647 10828 17 | 0.001 % |
0.98/1.03 c | 20471 | 343 1495 4565 | 2147483647 10963 17 | 0.001 % |
0.98/1.05 c | 20617 | 343 1495 4565 | 2147483647 11109 18 | 0.001 % |
0.98/1.06 c | 20779 | 343 1495 4565 | 2147483647 11271 18 | 0.001 % |
0.98/1.08 c | 20955 | 343 1495 4565 | 2147483647 11447 18 | 0.001 % |
1.08/1.10 c | 21148 | 343 1495 4565 | 2147483647 11640 17 | 0.001 % |
1.08/1.12 c | 21360 | 343 1495 4565 | 2147483647 11852 18 | 0.001 % |
1.08/1.15 c | 21593 | 343 1495 4565 | 2147483647 12085 18 | 0.001 % |
1.08/1.17 c | 21850 | 343 1495 4565 | 2147483647 12342 18 | 0.001 % |
1.17/1.20 c | 22131 | 343 1495 4565 | 2147483647 12623 18 | 0.001 % |
1.17/1.24 c | 22441 | 343 1495 4565 | 2147483647 12933 18 | 0.001 % |
1.17/1.27 c | 22781 | 343 1495 4565 | 2147483647 13273 18 | 0.001 % |
1.27/1.31 c | 23153 | 343 1495 4565 | 2147483647 13645 18 | 0.001 % |
1.27/1.36 c | 23564 | 343 1495 4565 | 2147483647 14056 18 | 0.001 % |
1.27/1.37 c | 23666 | 343 1495 4565 | 2147483647 14158 18 | 0.001 % |
1.27/1.38 c | 23776 | 343 1495 4565 | 2147483647 14268 18 | 0.001 % |
1.37/1.40 c | 23897 | 343 1495 4565 | 2147483647 14389 18 | 0.001 % |
1.37/1.41 c | 24030 | 343 1495 4565 | 2147483647 14522 18 | 0.001 % |
1.37/1.43 c | 24176 | 343 1495 4565 | 2147483647 14668 18 | 0.001 % |
1.37/1.45 c | 24336 | 343 1495 4565 | 2147483647 14828 18 | 0.001 % |
1.37/1.47 c | 24513 | 343 1495 4565 | 2147483647 15005 18 | 0.001 % |
1.47/1.50 c | 24707 | 343 1495 4565 | 2147483647 15199 18 | 0.001 % |
1.47/1.52 c | 24919 | 343 1495 4565 | 2147483647 15411 18 | 0.001 % |
1.47/1.56 c | 25154 | 343 1495 4565 | 2147483647 15646 18 | 0.001 % |
1.47/1.59 c | 25411 | 343 1495 4565 | 2147483647 15903 18 | 0.001 % |
1.57/1.62 c | 25693 | 343 1495 4565 | 2147483647 16185 18 | 0.001 % |
1.57/1.66 c | 26003 | 343 1495 4565 | 2147483647 16495 18 | 0.001 % |
1.67/1.71 c | 26345 | 343 1495 4565 | 2147483647 16837 18 | 0.001 % |
1.67/1.77 c | 26717 | 343 1495 4565 | 2147483647 17209 18 | 0.001 % |
1.77/1.84 c | 27126 | 343 1495 4565 | 2147483647 17618 18 | 0.001 % |
1.87/1.91 c | 27577 | 343 1495 4565 | 2147483647 18069 18 | 0.001 % |
1.87/1.93 c | 27678 | 343 1495 4565 | 2147483647 18170 18 | 0.001 % |
1.87/1.95 c | 27791 | 343 1495 4565 | 2147483647 18283 18 | 0.001 % |
1.87/1.97 c | 27912 | 343 1495 4565 | 2147483647 18404 18 | 0.001 % |
1.87/1.99 c | 28045 | 343 1495 4565 | 2147483647 18537 18 | 0.001 % |
1.97/2.02 c | 28191 | 343 1495 4565 | 2147483647 18683 18 | 0.001 % |
1.97/2.04 c | 28351 | 343 1495 4565 | 2147483647 18843 18 | 0.001 % |
1.97/2.06 c | 28528 | 343 1495 4565 | 2147483647 19020 18 | 0.001 % |
1.97/2.10 c | 28721 | 343 1495 4565 | 2147483647 19213 18 | 0.001 % |
2.07/2.13 c | 28935 | 343 1495 4565 | 2147483647 19427 18 | 0.001 % |
2.07/2.17 c | 29168 | 343 1495 4565 | 2147483647 19660 18 | 0.001 % |
2.17/2.21 c | 29425 | 343 1495 4565 | 2147483647 19917 18 | 0.001 % |
2.17/2.26 c | 29709 | 343 1495 4565 | 2147483647 20201 18 | 0.001 % |
2.27/2.31 c | 30018 | 343 1495 4565 | 20492 20510 18 | 0.001 % |
2.27/2.37 c | 30358 | 343 1495 4565 | 20492 17600 17 | 0.001 % |
2.37/2.42 c | 30730 | 343 1495 4565 | 20492 17972 17 | 0.001 % |
2.37/2.48 c | 31141 | 343 1495 4565 | 20492 18383 17 | 0.001 % |
2.47/2.55 c | 31590 | 343 1495 4565 | 20492 18832 17 | 0.001 % |
2.57/2.64 c | 32083 | 343 1495 4565 | 20492 19325 17 | 0.001 % |
2.57/2.65 c | 32183 | 343 1495 4565 | 20492 19425 17 | 0.001 % |
2.57/2.67 c | 32293 | 343 1495 4565 | 20492 19535 17 | 0.001 % |
2.67/2.70 c | 32415 | 343 1495 4565 | 20492 19657 17 | 0.001 % |
2.67/2.72 c | 32551 | 343 1495 4565 | 20492 19793 17 | 0.001 % |
2.67/2.75 c | 32697 | 343 1495 4565 | 20492 19939 17 | 0.001 % |
2.67/2.78 c | 32857 | 343 1495 4565 | 20492 20099 17 | 0.001 % |
2.77/2.82 c | 33035 | 343 1495 4565 | 20492 20277 17 | 0.001 % |
2.77/2.86 c | 33230 | 343 1495 4565 | 20492 20472 17 | 0.001 % |
2.87/2.90 c | 33442 | 343 1495 4565 | 20492 15769 17 | 0.001 % |
2.87/2.94 c | 33675 | 343 1495 4565 | 20492 16002 17 | 0.001 % |
2.87/2.97 c | 33931 | 343 1495 4565 | 20492 16258 17 | 0.001 % |
2.97/3.02 c | 34214 | 343 1495 4565 | 20492 16541 17 | 0.001 % |
2.97/3.07 c | 34523 | 343 1495 4565 | 20492 16850 17 | 0.001 % |
3.07/3.12 c | 34864 | 343 1495 4565 | 20492 17191 17 | 0.001 % |
3.07/3.17 c | 35237 | 343 1495 4565 | 20492 17564 17 | 0.001 % |
3.17/3.22 c | 35646 | 343 1495 4565 | 20492 17973 17 | 0.001 % |
3.17/3.29 c | 36095 | 343 1495 4565 | 20492 18422 17 | 0.001 % |
3.27/3.36 c | 36589 | 343 1495 4565 | 20492 18916 17 | 0.001 % |
3.37/3.45 c | 37133 | 343 1495 4565 | 20492 19460 17 | 0.001 % |
3.37/3.47 c | 37233 | 343 1495 4565 | 20492 19560 17 | 0.001 % |
3.37/3.49 c | 37344 | 343 1495 4565 | 20492 19671 17 | 0.001 % |
3.47/3.52 c | 37465 | 343 1495 4565 | 20492 19792 17 | 0.001 % |
3.47/3.54 c | 37598 | 343 1495 4565 | 20492 19925 17 | 0.001 % |
3.47/3.57 c | 37745 | 343 1495 4565 | 20492 20072 17 | 0.001 % |
3.47/3.60 c | 37906 | 343 1495 4565 | 20492 20233 17 | 0.001 % |
3.57/3.63 c | 38082 | 343 1495 4565 | 20492 20409 17 | 0.001 % |
3.57/3.67 c | 38275 | 343 1495 4565 | 20492 15382 17 | 0.001 % |
3.67/3.70 c | 38488 | 343 1495 4565 | 20492 15595 17 | 0.001 % |
3.67/3.74 c | 38723 | 343 1495 4565 | 20492 15830 17 | 0.001 % |
3.67/3.77 c | 38979 | 343 1495 4565 | 20492 16086 17 | 0.001 % |
3.77/3.81 c | 39260 | 343 1495 4565 | 20492 16367 17 | 0.001 % |
3.77/3.85 c | 39570 | 343 1495 4565 | 20492 16677 17 | 0.001 % |
3.87/3.91 c | 39909 | 343 1495 4565 | 20492 17016 17 | 0.001 % |
3.87/3.97 c | 40281 | 343 1495 4565 | 17107 12995 17 | 0.001 % |
3.97/4.02 c | 40692 | 343 1495 4565 | 17107 13406 17 | 0.001 % |
3.97/4.07 c | 41141 | 343 1495 4565 | 17107 13855 17 | 0.001 % |
4.07/4.13 c | 41635 | 343 1495 4565 | 17107 14349 17 | 0.001 % |
4.17/4.20 c | 42177 | 343 1495 4565 | 17107 14891 17 | 0.001 % |
4.17/4.28 c | 42773 | 343 1495 4565 | 17107 15487 17 | 0.001 % |
4.17/4.30 c | 42876 | 343 1495 4565 | 17107 15590 17 | 0.001 % |
4.27/4.32 c | 42986 | 343 1495 4565 | 17107 15700 17 | 0.001 % |
4.27/4.33 c | 43107 | 343 1495 4565 | 17107 15821 17 | 0.001 % |
4.27/4.36 c | 43240 | 343 1495 4565 | 17107 15954 17 | 0.001 % |
4.27/4.38 c | 43389 | 343 1495 4565 | 17107 16103 17 | 0.001 % |
4.27/4.40 c | 43551 | 343 1495 4565 | 17107 16265 17 | 0.001 % |
4.37/4.42 c | 43727 | 343 1495 4565 | 17107 16441 17 | 0.001 % |
4.37/4.46 c | 43920 | 343 1495 4565 | 17107 16634 17 | 0.001 % |
4.37/4.49 c | 44132 | 343 1495 4565 | 17107 16846 17 | 0.001 % |
4.47/4.52 c | 44366 | 343 1495 4565 | 17107 17080 17 | 0.001 % |
4.47/4.56 c | 44622 | 343 1495 4565 | 17107 13267 17 | 0.001 % |
4.47/4.59 c | 44903 | 343 1495 4565 | 17107 13548 17 | 0.001 % |
4.57/4.63 c | 45212 | 343 1495 4565 | 17107 13857 17 | 0.001 % |
4.57/4.66 c | 45552 | 343 1495 4565 | 17107 14197 17 | 0.001 % |
4.67/4.70 c | 45925 | 343 1495 4565 | 17107 14570 17 | 0.001 % |
4.67/4.75 c | 46334 | 343 1495 4565 | 17107 14979 17 | 0.001 % |
4.77/4.80 c | 46785 | 343 1495 4565 | 17107 15430 17 | 0.001 % |
4.77/4.87 c | 47278 | 343 1495 4565 | 17107 15923 17 | 0.001 % |
4.87/4.95 c | 47822 | 343 1495 4565 | 17107 16467 17 | 0.001 % |
4.97/5.04 c | 48419 | 343 1495 4565 | 17107 17064 17 | 0.001 % |
5.07/5.13 c | 49075 | 343 1495 4565 | 17107 13863 16 | 0.001 % |
5.07/5.14 c | 49177 | 343 1495 4565 | 17107 13965 16 | 0.001 % |
5.07/5.15 c | 49287 | 343 1495 4565 | 17107 14075 16 | 0.001 % |
5.07/5.17 c | 49409 | 343 1495 4565 | 17107 14197 16 | 0.001 % |
5.07/5.18 c | 49543 | 343 1495 4565 | 17107 14331 16 | 0.001 % |
5.17/5.20 c | 49689 | 343 1495 4565 | 17107 14477 16 | 0.001 % |
5.17/5.22 c | 49849 | 343 1495 4565 | 17107 14637 16 | 0.001 % |
5.17/5.25 c | 50025 | 343 1495 4565 | 14788 11572 16 | 0.001 % |
5.17/5.27 c | 50218 | 343 1495 4565 | 14788 11765 16 | 0.001 % |
5.17/5.29 c | 50432 | 343 1495 4565 | 14788 11979 16 | 0.001 % |
5.27/5.32 c | 50668 | 343 1495 4565 | 14788 12215 16 | 0.001 % |
5.27/5.34 c | 50928 | 343 1495 4565 | 14788 12475 16 | 0.001 % |
5.27/5.37 c | 51210 | 343 1495 4565 | 14788 12757 16 | 0.001 % |
5.37/5.41 c | 51519 | 343 1495 4565 | 14788 13066 16 | 0.001 % |
5.37/5.45 c | 51858 | 343 1495 4565 | 14788 13405 16 | 0.001 % |
5.37/5.49 c | 52230 | 343 1495 4565 | 14788 13777 16 | 0.001 % |
5.47/5.54 c | 52640 | 343 1495 4565 | 14788 14187 16 | 0.001 % |
5.57/5.60 c | 53089 | 343 1495 4565 | 14788 14636 16 | 0.001 % |
5.57/5.68 c | 53582 | 343 1495 4565 | 14788 12245 16 | 0.001 % |
5.67/5.75 c | 54124 | 343 1495 4565 | 14788 12787 16 | 0.001 % |
5.77/5.83 c | 54721 | 343 1495 4565 | 14788 13384 16 | 0.001 % |
5.87/5.91 c | 55376 | 343 1495 4565 | 14788 14039 16 | 0.001 % |
5.97/6.00 c | 56097 | 343 1495 4565 | 14788 14760 16 | 0.001 % |
5.97/6.03 c | 56197 | 343 1495 4565 | 14788 11894 16 | 0.001 % |
5.97/6.04 c | 56308 | 343 1495 4565 | 14788 12005 16 | 0.001 % |
5.97/6.05 c | 56429 | 343 1495 4565 | 14788 12126 16 | 0.001 % |
5.97/6.07 c | 56562 | 343 1495 4565 | 14788 12259 16 | 0.001 % |
5.97/6.08 c | 56708 | 343 1495 4565 | 14788 12405 16 | 0.001 % |
6.07/6.10 c | 56869 | 343 1495 4565 | 14788 12566 16 | 0.001 % |
6.07/6.12 c | 57045 | 343 1495 4565 | 14788 12742 16 | 0.001 % |
6.07/6.14 c | 57239 | 343 1495 4565 | 14788 12936 16 | 0.001 % |
6.07/6.17 c | 57451 | 343 1495 4565 | 14788 13148 16 | 0.001 % |
6.07/6.19 c | 57685 | 343 1495 4565 | 14788 13382 16 | 0.001 % |
6.16/6.22 c | 57941 | 343 1495 4565 | 14788 13638 16 | 0.001 % |
6.16/6.24 c | 58222 | 343 1495 4565 | 14788 13919 16 | 0.001 % |
6.16/6.27 c | 58531 | 343 1495 4565 | 14788 14228 16 | 0.001 % |
6.26/6.32 c | 58870 | 343 1495 4565 | 14788 14567 16 | 0.001 % |
6.26/6.37 c | 59243 | 343 1495 4565 | 14788 12108 16 | 0.001 % |
6.36/6.41 c | 59652 | 343 1495 4565 | 14788 12517 16 | 0.001 % |
6.36/6.45 c | 60104 | 343 1495 4565 | 12865 10576 16 | 0.001 % |
6.36/6.50 c | 60599 | 343 1495 4565 | 12865 11071 16 | 0.001 % |
6.47/6.56 c | 61142 | 343 1495 4565 | 12865 11614 16 | 0.001 % |
6.57/6.62 c | 61738 | 343 1495 4565 | 12865 12210 16 | 0.001 % |
6.57/6.69 c | 62393 | 343 1495 4565 | 12865 12865 16 | 0.001 % |
6.66/6.76 c | 63113 | 343 1495 4565 | 12865 11434 16 | 0.001 % |
6.76/6.84 c | 63906 | 343 1495 4565 | 12865 12227 16 | 0.001 % |
6.76/6.85 c | 64006 | 343 1495 4565 | 12865 12327 16 | 0.001 % |
6.76/6.86 c | 64116 | 343 1495 4565 | 12865 12437 16 | 0.001 % |
6.76/6.87 c | 64239 | 343 1495 4565 | 12865 12560 16 | 0.001 % |
6.76/6.89 c | 64372 | 343 1495 4565 | 12865 12693 16 | 0.001 % |
6.86/6.91 c | 64520 | 343 1495 4565 | 12865 12841 16 | 0.001 % |
6.86/6.94 c | 64680 | 343 1495 4565 | 12865 10972 16 | 0.001 % |
6.86/6.96 c | 64856 | 343 1495 4565 | 12865 11148 16 | 0.001 % |
6.86/6.97 c | 65049 | 343 1495 4565 | 12865 11341 16 | 0.001 % |
6.96/7.00 c | 65261 | 343 1495 4565 | 12865 11553 16 | 0.001 % |
6.96/7.02 c | 65494 | 343 1495 4565 | 12865 11786 16 | 0.001 % |
6.96/7.05 c | 65750 | 343 1495 4565 | 12865 12042 16 | 0.001 % |
6.96/7.09 c | 66031 | 343 1495 4565 | 12865 12323 16 | 0.001 % |
7.06/7.12 c | 66343 | 343 1495 4565 | 12865 12635 16 | 0.001 % |
7.06/7.16 c | 66682 | 343 1495 4565 | 12865 10985 17 | 0.001 % |
7.16/7.20 c | 67054 | 343 1495 4565 | 12865 11357 17 | 0.001 % |
7.16/7.24 c | 67463 | 343 1495 4565 | 12865 11766 17 | 0.001 % |
7.16/7.29 c | 67912 | 343 1495 4565 | 12865 12215 17 | 0.001 % |
7.26/7.34 c | 68407 | 343 1495 4565 | 12865 12710 17 | 0.001 % |
7.36/7.40 c | 68953 | 343 1495 4565 | 12865 11341 17 | 0.001 % |
7.36/7.47 c | 69550 | 343 1495 4565 | 12865 11938 17 | 0.001 % |
7.46/7.54 c | 70206 | 343 1495 4565 | 12389 10783 17 | 0.001 % |
7.57/7.61 c | 70926 | 343 1495 4565 | 12389 11503 17 | 0.001 % |
7.57/7.68 c | 71719 | 343 1495 4565 | 12389 12296 17 | 0.001 % |
7.67/7.78 c | 72591 | 343 1495 4565 | 12389 11561 17 | 0.001 % |
7.67/7.79 c | 72692 | 343 1495 4565 | 12389 11662 17 | 0.001 % |
7.76/7.80 c | 72802 | 343 1495 4565 | 12389 11772 17 | 0.001 % |
7.76/7.82 c | 72924 | 343 1495 4565 | 12389 11894 17 | 0.001 % |
7.76/7.83 c | 73058 | 343 1495 4565 | 12389 12028 17 | 0.001 % |
7.76/7.85 c | 73204 | 343 1495 4565 | 12389 12174 17 | 0.001 % |
7.76/7.87 c | 73366 | 343 1495 4565 | 12389 12336 17 | 0.001 % |
7.76/7.89 c | 73542 | 343 1495 4565 | 12389 10918 16 | 0.001 % |
7.86/7.91 c | 73737 | 343 1495 4565 | 12389 11113 17 | 0.001 % |
7.86/7.93 c | 73950 | 343 1495 4565 | 12389 11326 16 | 0.001 % |
7.86/7.95 c | 74183 | 343 1495 4565 | 12389 11559 17 | 0.001 % |
7.86/7.97 c | 74439 | 343 1495 4565 | 12389 11815 17 | 0.001 % |
7.96/8.00 c | 74720 | 343 1495 4565 | 12389 12096 17 | 0.001 % |
7.96/8.03 c | 75029 | 343 1495 4565 | 12389 12405 17 | 0.001 % |
7.96/8.07 c | 75368 | 343 1495 4565 | 12389 11270 17 | 0.001 % |
8.06/8.10 c | 75741 | 343 1495 4565 | 12389 11643 17 | 0.001 % |
8.06/8.15 c | 76151 | 343 1495 4565 | 12389 12053 17 | 0.001 % |
8.16/8.20 c | 76603 | 343 1495 4565 | 12389 11050 17 | 0.001 % |
8.16/8.25 c | 77097 | 343 1495 4565 | 12389 11544 17 | 0.001 % |
8.26/8.31 c | 77640 | 343 1495 4565 | 12389 12087 17 | 0.001 % |
8.26/8.37 c | 78237 | 343 1495 4565 | 12389 11238 16 | 0.001 % |
8.37/8.44 c | 78893 | 343 1495 4565 | 12389 11894 16 | 0.001 % |
8.47/8.51 c | 79614 | 343 1495 4565 | 12389 11200 16 | 0.001 % |
8.47/8.60 c | 80406 | 343 1495 4565 | 11586 10670 16 | 0.001 % |
8.57/8.67 c | 81278 | 343 1495 4565 | 11586 11542 16 | 0.001 % |
8.67/8.76 c | 82236 | 343 1495 4565 | 11586 11337 16 | 0.001 % |
8.67/8.77 c | 82337 | 343 1495 4565 | 11586 11438 16 | 0.001 % |
8.67/8.78 c | 82449 | 343 1495 4565 | 11586 11550 16 | 0.001 % |
8.67/8.79 c | 82573 | 343 1495 4565 | 11586 10511 16 | 0.001 % |
8.77/8.81 c | 82707 | 343 1495 4565 | 11586 10645 16 | 0.001 % |
8.77/8.82 c | 82853 | 343 1495 4565 | 11586 10791 16 | 0.001 % |
8.77/8.83 c | 83013 | 343 1495 4565 | 11586 10951 16 | 0.001 % |
8.77/8.85 c | 83189 | 343 1495 4565 | 11586 11127 16 | 0.001 % |
8.77/8.87 c | 83382 | 343 1495 4565 | 11586 11320 16 | 0.001 % |
8.77/8.90 c | 83596 | 343 1495 4565 | 11586 11534 16 | 0.001 % |
8.87/8.92 c | 83830 | 343 1495 4565 | 11586 10606 16 | 0.001 % |
8.87/8.95 c | 84087 | 343 1495 4565 | 11586 10863 16 | 0.001 % |
8.87/8.97 c | 84368 | 343 1495 4565 | 11586 11144 16 | 0.001 % |
8.97/9.00 c | 84678 | 343 1495 4565 | 11586 11454 16 | 0.001 % |
8.97/9.04 c | 85017 | 343 1495 4565 | 11586 10630 16 | 0.001 % |
8.97/9.08 c | 85391 | 343 1495 4565 | 11586 11004 16 | 0.001 % |
9.07/9.11 c | 85801 | 343 1495 4565 | 11586 11414 16 | 0.001 % |
9.07/9.16 c | 86250 | 343 1495 4565 | 11586 10700 16 | 0.001 % |
9.17/9.21 c | 86744 | 343 1495 4565 | 11586 11194 16 | 0.001 % |
9.17/9.26 c | 87288 | 343 1495 4565 | 11586 10575 16 | 0.001 % |
9.27/9.32 c | 87884 | 343 1495 4565 | 11586 11171 16 | 0.001 % |
9.27/9.39 c | 88541 | 343 1495 4565 | 11586 10667 16 | 0.001 % |
9.37/9.45 c | 89262 | 343 1495 4565 | 11586 11388 16 | 0.001 % |
9.47/9.53 c | 90054 | 343 1495 4565 | 2147483647 11018 17 | 0.001 % |
9.57/9.62 c | 90927 | 343 1495 4565 | 2147483647 11891 17 | 0.001 % |
9.67/9.73 c | 91885 | 343 1495 4565 | 2147483647 12849 17 | 0.001 % |
9.77/9.85 c | 92938 | 343 1495 4565 | 2147483647 13902 17 | 0.001 % |
9.77/9.86 c | 93039 | 343 1495 4565 | 2147483647 14003 17 | 0.001 % |
9.77/9.88 c | 93151 | 343 1495 4565 | 2147483647 14115 17 | 0.001 % |
9.77/9.89 c | 93273 | 343 1495 4565 | 2147483647 14237 17 | 0.001 % |
9.87/9.91 c | 93406 | 343 1495 4565 | 2147483647 14370 17 | 0.001 % |
9.87/9.93 c | 93552 | 343 1495 4565 | 2147483647 14516 17 | 0.001 % |
9.87/9.95 c | 93713 | 343 1495 4565 | 2147483647 14677 17 | 0.001 % |
9.87/9.97 c | 93889 | 343 1495 4565 | 2147483647 14853 17 | 0.001 % |
9.87/9.99 c | 94083 | 343 1495 4565 | 2147483647 15047 17 | 0.001 % |
9.97/10.02 c | 94295 | 343 1495 4565 | 2147483647 15259 17 | 0.001 % |
9.97/10.05 c | 94529 | 343 1495 4565 | 2147483647 15493 17 | 0.001 % |
9.97/10.08 c | 94786 | 343 1495 4565 | 2147483647 15750 17 | 0.001 % |
10.07/10.12 c | 95067 | 343 1495 4565 | 2147483647 16031 17 | 0.001 % |
10.07/10.16 c | 95376 | 343 1495 4565 | 2147483647 16340 17 | 0.001 % |
10.17/10.21 c | 95717 | 343 1495 4565 | 2147483647 16681 17 | 0.001 % |
10.17/10.26 c | 96091 | 343 1495 4565 | 2147483647 17055 17 | 0.001 % |
10.27/10.32 c | 96501 | 343 1495 4565 | 2147483647 17465 17 | 0.001 % |
10.27/10.39 c | 96952 | 343 1495 4565 | 2147483647 17916 17 | 0.001 % |
10.37/10.46 c | 97450 | 343 1495 4565 | 2147483647 18414 17 | 0.001 % |
10.47/10.53 c | 97993 | 343 1495 4565 | 2147483647 18957 18 | 0.001 % |
10.57/10.63 c | 98589 | 343 1495 4565 | 2147483647 19553 18 | 0.001 % |
10.67/10.74 c | 99244 | 343 1495 4565 | 2147483647 20208 18 | 0.001 % |
10.77/10.87 c | 99965 | 343 1495 4565 | 2147483647 20929 17 | 0.001 % |
10.97/11.01 c | 100757 | 343 1495 4565 | 20965 17372 17 | 0.001 % |
11.07/11.14 c | 101629 | 343 1495 4565 | 20965 18244 17 | 0.001 % |
11.17/11.29 c | 102587 | 343 1495 4565 | 20965 19202 17 | 0.001 % |
11.37/11.48 c | 103641 | 343 1495 4565 | 20965 20256 17 | 0.001 % |
11.57/11.67 c | 104799 | 343 1495 4565 | 20965 16011 17 | 0.001 % |
11.57/11.69 c | 104899 | 343 1495 4565 | 20965 16111 17 | 0.001 % |
11.67/11.71 c | 105009 | 343 1495 4565 | 20965 16221 17 | 0.001 % |
11.67/11.72 c | 105133 | 343 1495 4565 | 20965 16345 17 | 0.001 % |
11.67/11.74 c | 105266 | 343 1495 4565 | 20965 16478 17 | 0.001 % |
11.67/11.76 c | 105413 | 343 1495 4565 | 20965 16625 17 | 0.001 % |
11.67/11.78 c | 105575 | 343 1495 4565 | 20965 16787 17 | 0.001 % |
11.77/11.81 c | 105751 | 343 1495 4565 | 20965 16963 17 | 0.001 % |
11.77/11.84 c | 105945 | 343 1495 4565 | 20965 17157 17 | 0.001 % |
11.77/11.87 c | 106158 | 343 1495 4565 | 20965 17370 17 | 0.001 % |
11.87/11.90 c | 106392 | 343 1495 4565 | 20965 17604 17 | 0.001 % |
11.87/11.93 c | 106648 | 343 1495 4565 | 20965 17860 17 | 0.001 % |
11.87/11.97 c | 106929 | 343 1495 4565 | 20965 18141 17 | 0.001 % |
11.97/12.01 c | 107239 | 343 1495 4565 | 20965 18451 17 | 0.001 % |
11.97/12.05 c | 107579 | 343 1495 4565 | 20965 18791 17 | 0.001 % |
12.07/12.11 c | 107952 | 343 1495 4565 | 20965 19164 17 | 0.001 % |
12.07/12.17 c | 108361 | 343 1495 4565 | 20965 19573 17 | 0.001 % |
12.17/12.24 c | 108810 | 343 1495 4565 | 20965 20022 17 | 0.001 % |
12.27/12.32 c | 109303 | 343 1495 4565 | 20965 20515 17 | 0.001 % |
12.37/12.43 c | 109845 | 343 1495 4565 | 20965 15669 16 | 0.001 % |
12.37/12.50 c | 110441 | 343 1495 4565 | 15824 12205 16 | 0.001 % |
12.47/12.56 c | 111096 | 343 1495 4565 | 15824 12860 16 | 0.001 % |
12.57/12.63 c | 111817 | 343 1495 4565 | 15824 13581 16 | 0.001 % |
12.67/12.72 c | 112610 | 343 1495 4565 | 15824 14374 16 | 0.001 % |
12.77/12.83 c | 113481 | 343 1495 4565 | 15824 15245 16 | 0.001 % |
12.87/12.95 c | 114440 | 343 1495 4565 | 15824 12750 16 | 0.001 % |
12.97/13.06 c | 115495 | 343 1495 4565 | 15824 13805 16 | 0.001 % |
13.07/13.19 c | 116656 | 343 1495 4565 | 15824 14966 16 | 0.001 % |
13.27/13.35 c | 117929 | 343 1495 4565 | 15824 12953 16 | 0.001 % |
13.27/13.36 c | 118029 | 343 1495 4565 | 15824 13053 16 | 0.001 % |
13.27/13.38 c | 118140 | 343 1495 4565 | 15824 13164 16 | 0.001 % |
13.27/13.39 c | 118263 | 343 1495 4565 | 15824 13287 16 | 0.001 % |
13.37/13.41 c | 118396 | 343 1495 4565 | 15824 13420 16 | 0.001 % |
13.37/13.43 c | 118542 | 343 1495 4565 | 15824 13566 16 | 0.001 % |
13.37/13.45 c | 118702 | 343 1495 4565 | 15824 13726 16 | 0.001 % |
13.37/13.47 c | 118880 | 343 1495 4565 | 15824 13904 16 | 0.001 % |
13.37/13.49 c | 119075 | 343 1495 4565 | 15824 14099 16 | 0.001 % |
13.46/13.52 c | 119287 | 343 1495 4565 | 15824 14311 16 | 0.001 % |
13.46/13.55 c | 119520 | 343 1495 4565 | 15824 14544 16 | 0.001 % |
13.46/13.58 c | 119776 | 343 1495 4565 | 15824 14800 16 | 0.001 % |
13.56/13.63 c | 120057 | 343 1495 4565 | 15024 11962 16 | 0.001 % |
13.56/13.66 c | 120369 | 343 1495 4565 | 15024 12274 16 | 0.001 % |
13.56/13.70 c | 120709 | 343 1495 4565 | 15024 12614 16 | 0.001 % |
13.66/13.74 c | 121082 | 343 1495 4565 | 15024 12987 16 | 0.001 % |
13.66/13.79 c | 121491 | 343 1495 4565 | 15024 13396 16 | 0.001 % |
13.76/13.84 c | 121940 | 343 1495 4565 | 15024 13845 16 | 0.001 % |
13.86/13.90 c | 122433 | 343 1495 4565 | 15024 14338 16 | 0.001 % |
13.86/13.96 c | 122975 | 343 1495 4565 | 15024 14880 16 | 0.001 % |
13.96/14.04 c | 123572 | 343 1495 4565 | 15024 12452 16 | 0.001 % |
14.06/14.12 c | 124227 | 343 1495 4565 | 15024 13107 16 | 0.001 % |
14.06/14.20 c | 124948 | 343 1495 4565 | 15024 13828 16 | 0.001 % |
14.17/14.28 c | 125741 | 343 1495 4565 | 15024 14621 16 | 0.001 % |
14.27/14.37 c | 126614 | 343 1495 4565 | 15024 12560 16 | 0.001 % |
14.36/14.47 c | 127572 | 343 1495 4565 | 15024 13518 16 | 0.001 % |
14.46/14.60 c | 128625 | 343 1495 4565 | 15024 14571 16 | 0.001 % |
14.66/14.73 c | 129784 | 343 1495 4565 | 15024 12854 16 | 0.001 % |
14.76/14.87 c | 131057 | 343 1495 4565 | 13071 11651 16 | 0.001 % |
14.96/15.01 c | 132458 | 343 1495 4565 | 13071 13052 16 | 0.001 % |
14.96/15.03 c | 132558 | 343 1495 4565 | 13071 10951 16 | 0.001 % |
14.96/15.04 c | 132668 | 343 1495 4565 | 13071 11061 16 | 0.001 % |
14.96/15.05 c | 132789 | 343 1495 4565 | 13071 11182 16 | 0.001 % |
14.96/15.07 c | 132922 | 343 1495 4565 | 13071 11315 16 | 0.001 % |
14.96/15.08 c | 133068 | 343 1495 4565 | 13071 11461 16 | 0.001 % |
15.06/15.10 c | 133229 | 343 1495 4565 | 13071 11622 16 | 0.001 % |
15.06/15.12 c | 133406 | 343 1495 4565 | 13071 11799 16 | 0.001 % |
15.06/15.14 c | 133604 | 343 1495 4565 | 13071 11997 16 | 0.001 % |
15.06/15.16 c | 133818 | 343 1495 4565 | 13071 12211 16 | 0.001 % |
15.06/15.19 c | 134051 | 343 1495 4565 | 13071 12444 16 | 0.001 % |
15.16/15.21 c | 134308 | 343 1495 4565 | 13071 12701 16 | 0.001 % |
15.16/15.25 c | 134590 | 343 1495 4565 | 13071 12983 16 | 0.001 % |
15.16/15.29 c | 134899 | 343 1495 4565 | 13071 11153 16 | 0.001 % |
15.27/15.32 c | 135238 | 343 1495 4565 | 13071 11492 17 | 0.001 % |
15.27/15.36 c | 135612 | 343 1495 4565 | 13071 11866 17 | 0.001 % |
15.27/15.40 c | 136022 | 343 1495 4565 | 13071 12276 17 | 0.001 % |
15.37/15.45 c | 136472 | 343 1495 4565 | 13071 12726 17 | 0.001 % |
15.46/15.52 c | 136965 | 343 1495 4565 | 13071 11109 16 | 0.001 % |
15.46/15.58 c | 137507 | 343 1495 4565 | 13071 11651 17 | 0.001 % |
15.56/15.64 c | 138104 | 343 1495 4565 | 13071 12248 17 | 0.001 % |
15.66/15.70 c | 138760 | 343 1495 4565 | 13071 12904 17 | 0.001 % |
15.66/15.79 c | 139482 | 343 1495 4565 | 13071 11561 17 | 0.001 % |
15.76/15.88 c | 140275 | 343 1495 4565 | 12080 10479 17 | 0.001 % |
15.86/15.97 c | 141148 | 343 1495 4565 | 12080 11352 17 | 0.001 % |
15.96/16.07 c | 142106 | 343 1495 4565 | 12080 10570 16 | 0.001 % |
16.06/16.17 c | 143161 | 343 1495 4565 | 12080 11625 16 | 0.001 % |
16.26/16.30 c | 144320 | 343 1495 4565 | 12080 11149 16 | 0.001 % |
16.37/16.44 c | 145593 | 343 1495 4565 | 12080 10795 16 | 0.001 % |
16.46/16.59 c | 146993 | 343 1495 4565 | 12080 10579 16 | 0.001 % |
16.66/16.75 c | 148534 | 343 1495 4565 | 12080 10478 15 | 0.001 % |
16.66/16.76 c | 148634 | 343 1495 4565 | 12080 10578 15 | 0.001 % |
16.66/16.77 c | 148746 | 343 1495 4565 | 12080 10690 15 | 0.001 % |
16.66/16.79 c | 148867 | 343 1495 4565 | 12080 10811 15 | 0.001 % |
16.76/16.80 c | 149000 | 343 1495 4565 | 12080 10944 15 | 0.001 % |
16.76/16.81 c | 149150 | 343 1495 4565 | 12080 11094 15 | 0.001 % |
16.76/16.83 c | 149311 | 343 1495 4565 | 12080 11255 15 | 0.001 % |
16.76/16.85 c | 149490 | 343 1495 4565 | 12080 11434 15 | 0.001 % |
16.76/16.87 c | 149684 | 343 1495 4565 | 12080 11628 16 | 0.001 % |
16.76/16.89 c | 149896 | 343 1495 4565 | 12080 11840 16 | 0.001 % |
16.86/16.92 c | 150129 | 343 1495 4565 | 11946 10467 15 | 0.001 % |
16.86/16.94 c | 150386 | 343 1495 4565 | 11946 10724 15 | 0.001 % |
16.86/16.97 c | 150667 | 343 1495 4565 | 11946 11005 15 | 0.001 % |
16.96/17.00 c | 150980 | 343 1495 4565 | 11946 11318 16 | 0.001 % |
16.96/17.03 c | 151320 | 343 1495 4565 | 11946 11658 16 | 0.001 % |
16.96/17.07 c | 151693 | 343 1495 4565 | 11946 10480 15 | 0.001 % |
17.06/17.10 c | 152103 | 343 1495 4565 | 11946 10890 15 | 0.001 % |
17.06/17.14 c | 152556 | 343 1495 4565 | 11946 11343 16 | 0.001 % |
17.06/17.19 c | 153049 | 343 1495 4565 | 11946 11836 16 | 0.001 % |
17.16/17.24 c | 153594 | 343 1495 4565 | 11946 10931 16 | 0.001 % |
17.26/17.30 c | 154191 | 343 1495 4565 | 11946 11528 16 | 0.001 % |
17.26/17.37 c | 154846 | 343 1495 4565 | 11946 10732 16 | 0.001 % |
17.36/17.44 c | 155566 | 343 1495 4565 | 11946 11452 16 | 0.001 % |
17.46/17.51 c | 156358 | 343 1495 4565 | 11946 10882 16 | 0.001 % |
17.46/17.60 c | 157231 | 343 1495 4565 | 11946 11755 16 | 0.001 % |
17.56/17.69 c | 158190 | 343 1495 4565 | 11946 11403 16 | 0.001 % |
17.66/17.79 c | 159243 | 343 1495 4565 | 11946 11168 16 | 0.001 % |
17.86/17.92 c | 160401 | 343 1495 4565 | 11927 11047 16 | 0.001 % |
17.96/18.05 c | 161674 | 343 1495 4565 | 11927 11090 16 | 0.001 % |
18.06/18.17 c | 163076 | 343 1495 4565 | 11927 11296 16 | 0.001 % |
18.26/18.31 c | 164616 | 343 1495 4565 | 11927 11639 17 | 0.001 % |
18.36/18.48 c | 166311 | 343 1495 4565 | 11927 10945 16 | 0.001 % |
18.36/18.49 c | 166412 | 343 1495 4565 | 11927 11046 16 | 0.001 % |
18.46/18.50 c | 166524 | 343 1495 4565 | 11927 11158 16 | 0.001 % |
18.46/18.51 c | 166647 | 343 1495 4565 | 11927 11281 16 | 0.001 % |
18.46/18.53 c | 166780 | 343 1495 4565 | 11927 11414 16 | 0.001 % |
18.46/18.54 c | 166927 | 343 1495 4565 | 11927 11561 16 | 0.001 % |
18.46/18.56 c | 167088 | 343 1495 4565 | 11927 11722 16 | 0.001 % |
18.46/18.57 c | 167265 | 343 1495 4565 | 11927 11899 16 | 0.001 % |
18.46/18.60 c | 167459 | 343 1495 4565 | 11927 10895 16 | 0.001 % |
18.56/18.62 c | 167672 | 343 1495 4565 | 11927 11108 16 | 0.001 % |
18.56/18.64 c | 167906 | 343 1495 4565 | 11927 11342 16 | 0.001 % |
18.56/18.66 c | 168164 | 343 1495 4565 | 11927 11600 16 | 0.001 % |
18.56/18.69 c | 168447 | 343 1495 4565 | 11927 11883 17 | 0.001 % |
18.66/18.73 c | 168759 | 343 1495 4565 | 11927 10999 16 | 0.001 % |
18.66/18.77 c | 169098 | 343 1495 4565 | 11927 11338 17 | 0.001 % |
18.76/18.80 c | 169471 | 343 1495 4565 | 11927 11711 17 | 0.001 % |
18.76/18.84 c | 169880 | 343 1495 4565 | 11927 10923 17 | 0.001 % |
18.76/18.88 c | 170329 | 343 1495 4565 | 2147483647 11372 17 | 0.001 % |
18.86/18.93 c | 170822 | 343 1495 4565 | 2147483647 11865 17 | 0.001 % |
18.86/18.99 c | 171365 | 343 1495 4565 | 2147483647 12408 17 | 0.001 % |
18.96/19.06 c | 171961 | 343 1495 4565 | 2147483647 13004 17 | 0.001 % |
19.06/19.14 c | 172617 | 343 1495 4565 | 2147483647 13660 17 | 0.001 % |
19.16/19.21 c | 173337 | 343 1495 4565 | 2147483647 14380 17 | 0.001 % |
19.26/19.30 c | 174133 | 343 1495 4565 | 2147483647 15176 17 | 0.001 % |
19.36/19.41 c | 175004 | 343 1495 4565 | 2147483647 16047 17 | 0.001 % |
19.46/19.53 c | 175963 | 343 1495 4565 | 2147483647 17006 17 | 0.001 % |
19.56/19.65 c | 177018 | 343 1495 4565 | 2147483647 18061 17 | 0.001 % |
19.76/19.85 c | 178178 | 343 1495 4565 | 2147483647 19221 17 | 0.001 % |
19.95/20.05 c | 179452 | 343 1495 4565 | 2147483647 20495 17 | 0.001 % |
20.15/20.28 c | 180852 | 343 1495 4565 | 21043 17587 17 | 0.001 % |
20.45/20.51 c | 182393 | 343 1495 4565 | 21043 19128 17 | 0.001 % |
20.76/20.80 c | 184088 | 343 1495 4565 | 21043 20823 17 | 0.001 % |
20.95/21.09 c | 185955 | 343 1495 4565 | 21043 17357 17 | 0.001 % |
21.05/21.10 c | 186056 | 343 1495 4565 | 21043 17458 17 | 0.001 % |
21.05/21.12 c | 186167 | 343 1495 4565 | 21043 17569 17 | 0.001 % |
21.05/21.14 c | 186290 | 343 1495 4565 | 21043 17692 17 | 0.001 % |
21.05/21.16 c | 186423 | 343 1495 4565 | 21043 17825 17 | 0.001 % |
21.05/21.19 c | 186569 | 343 1495 4565 | 21043 17971 17 | 0.001 % |
21.15/21.21 c | 186729 | 343 1495 4565 | 21043 18131 17 | 0.001 % |
21.15/21.24 c | 186906 | 343 1495 4565 | 21043 18308 17 | 0.001 % |
21.15/21.27 c | 187099 | 343 1495 4565 | 21043 18501 17 | 0.001 % |
21.25/21.31 c | 187313 | 343 1495 4565 | 21043 18715 17 | 0.001 % |
21.25/21.35 c | 187549 | 343 1495 4565 | 21043 18951 17 | 0.001 % |
21.25/21.39 c | 187806 | 343 1495 4565 | 21043 19208 17 | 0.001 % |
21.35/21.44 c | 188087 | 343 1495 4565 | 21043 19489 17 | 0.001 % |
21.35/21.49 c | 188396 | 343 1495 4565 | 21043 19798 17 | 0.001 % |
21.45/21.55 c | 188736 | 343 1495 4565 | 21043 20138 17 | 0.001 % |
21.55/21.61 c | 189110 | 343 1495 4565 | 21043 20512 17 | 0.001 % |
21.55/21.69 c | 189522 | 343 1495 4565 | 21043 20924 17 | 0.001 % |
21.65/21.78 c | 189971 | 343 1495 4565 | 21043 15774 17 | 0.001 % |
21.75/21.85 c | 190464 | 343 1495 4565 | 15804 12058 16 | 0.001 % |
21.86/21.92 c | 191008 | 343 1495 4565 | 15804 12602 16 | 0.001 % |
21.86/21.98 c | 191604 | 343 1495 4565 | 15804 13198 16 | 0.001 % |
21.96/22.05 c | 192260 | 343 1495 4565 | 15804 13854 17 | 0.001 % |
22.05/22.13 c | 192981 | 343 1495 4565 | 15804 14575 17 | 0.001 % |
22.15/22.24 c | 193773 | 343 1495 4565 | 15804 15367 17 | 0.001 % |
22.25/22.36 c | 194644 | 343 1495 4565 | 15804 12752 16 | 0.001 % |
22.35/22.47 c | 195602 | 343 1495 4565 | 15804 13710 17 | 0.001 % |
22.55/22.60 c | 196655 | 343 1495 4565 | 15804 14763 17 | 0.001 % |
22.65/22.77 c | 197814 | 343 1495 4565 | 15804 12626 16 | 0.001 % |
22.85/22.93 c | 199087 | 343 1495 4565 | 15804 13899 17 | 0.001 % |
22.96/23.10 c | 200487 | 343 1495 4565 | 14813 12208 16 | 0.001 % |
23.15/23.24 c | 202027 | 343 1495 4565 | 14813 13748 17 | 0.001 % |
23.35/23.45 c | 203724 | 343 1495 4565 | 14813 12708 16 | 0.001 % |
23.55/23.67 c | 205588 | 343 1495 4565 | 14813 14572 17 | 0.001 % |
23.75/23.90 c | 207637 | 343 1495 4565 | 14813 13894 17 | 0.001 % |
23.85/23.91 c | 207739 | 343 1495 4565 | 14813 13996 17 | 0.001 % |
23.85/23.93 c | 207849 | 343 1495 4565 | 14813 14106 17 | 0.001 % |
23.85/23.94 c | 207970 | 343 1495 4565 | 14813 14227 17 | 0.001 % |
23.85/23.96 c | 208104 | 343 1495 4565 | 14813 14361 17 | 0.001 % |
23.85/23.97 c | 208251 | 343 1495 4565 | 14813 14508 17 | 0.001 % |
23.85/23.99 c | 208411 | 343 1495 4565 | 14813 14668 17 | 0.001 % |
23.95/24.01 c | 208587 | 343 1495 4565 | 14813 14844 17 | 0.001 % |
23.95/24.04 c | 208782 | 343 1495 4565 | 14813 12405 17 | 0.001 % |
23.95/24.07 c | 208994 | 343 1495 4565 | 14813 12617 17 | 0.001 % |
23.95/24.10 c | 209227 | 343 1495 4565 | 14813 12850 17 | 0.001 % |
24.06/24.12 c | 209483 | 343 1495 4565 | 14813 13106 17 | 0.001 % |
24.06/24.16 c | 209765 | 343 1495 4565 | 14813 13388 17 | 0.001 % |
24.16/24.21 c | 210075 | 343 1495 4565 | 13623 11282 17 | 0.001 % |
24.16/24.24 c | 210415 | 343 1495 4565 | 13623 11622 17 | 0.001 % |
24.16/24.29 c | 210788 | 343 1495 4565 | 13623 11995 17 | 0.001 % |
24.25/24.33 c | 211199 | 343 1495 4565 | 13623 12406 17 | 0.001 % |
24.25/24.38 c | 211651 | 343 1495 4565 | 13623 12858 17 | 0.001 % |
24.35/24.44 c | 212144 | 343 1495 4565 | 13623 13351 17 | 0.001 % |
24.45/24.50 c | 212687 | 343 1495 4565 | 13623 11738 17 | 0.001 % |
24.45/24.57 c | 213286 | 343 1495 4565 | 13623 12337 17 | 0.001 % |
24.55/24.64 c | 213942 | 343 1495 4565 | 13623 12993 17 | 0.001 % |
24.65/24.73 c | 214662 | 343 1495 4565 | 13623 11629 16 | 0.001 % |
24.75/24.82 c | 215454 | 343 1495 4565 | 13623 12421 16 | 0.001 % |
24.85/24.92 c | 216325 | 343 1495 4565 | 13623 13292 16 | 0.001 % |
24.95/25.04 c | 217283 | 343 1495 4565 | 13623 12204 16 | 0.001 % |
25.05/25.15 c | 218336 | 343 1495 4565 | 13623 13257 16 | 0.001 % |
25.15/25.26 c | 219494 | 343 1495 4565 | 13623 12383 16 | 0.001 % |
25.25/25.39 c | 220768 | 343 1495 4565 | 12889 11823 16 | 0.001 % |
25.44/25.52 c | 222168 | 343 1495 4565 | 12889 11697 16 | 0.001 % |
25.64/25.70 c | 223709 | 343 1495 4565 | 12889 11701 16 | 0.001 % |
25.74/25.89 c | 225404 | 343 1495 4565 | 12889 11791 16 | 0.001 % |
25.94/26.08 c | 227268 | 343 1495 4565 | 12889 12100 16 | 0.001 % |
26.24/26.33 c | 229318 | 343 1495 4565 | 12889 12533 17 | 0.001 % |
26.44/26.56 c | 231572 | 343 1495 4565 | 11534 10388 16 | 0.001 % |
26.44/26.57 c | 231675 | 343 1495 4565 | 11534 10491 16 | 0.001 % |
26.44/26.59 c | 231786 | 343 1495 4565 | 11534 10602 16 | 0.001 % |
26.54/26.60 c | 231907 | 343 1495 4565 | 11534 10723 16 | 0.001 % |
26.54/26.62 c | 232041 | 343 1495 4565 | 11534 10857 16 | 0.001 % |
26.54/26.63 c | 232187 | 343 1495 4565 | 11534 11003 16 | 0.001 % |
26.54/26.65 c | 232347 | 343 1495 4565 | 11534 11163 16 | 0.001 % |
26.54/26.67 c | 232524 | 343 1495 4565 | 11534 11340 16 | 0.001 % |
26.54/26.69 c | 232718 | 343 1495 4565 | 11534 11534 16 | 0.001 % |
26.64/26.72 c | 232930 | 343 1495 4565 | 11534 10437 16 | 0.001 % |
26.64/26.74 c | 233163 | 343 1495 4565 | 11534 10670 16 | 0.001 % |
26.64/26.77 c | 233420 | 343 1495 4565 | 11534 10927 16 | 0.001 % |
26.74/26.80 c | 233701 | 343 1495 4565 | 11534 11208 16 | 0.001 % |
26.74/26.83 c | 234010 | 343 1495 4565 | 11534 11517 16 | 0.001 % |
26.74/26.86 c | 234350 | 343 1495 4565 | 11534 10548 16 | 0.001 % |
26.74/26.89 c | 234722 | 343 1495 4565 | 11534 10920 16 | 0.001 % |
26.84/26.93 c | 235132 | 343 1495 4565 | 11534 11330 16 | 0.001 % |
26.84/26.98 c | 235581 | 343 1495 4565 | 11534 10586 16 | 0.001 % |
26.94/27.02 c | 236076 | 343 1495 4565 | 11534 11081 16 | 0.001 % |
26.94/27.08 c | 236621 | 343 1495 4565 | 11534 10452 16 | 0.001 % |
27.04/27.14 c | 237218 | 343 1495 4565 | 11534 11049 16 | 0.001 % |
27.14/27.21 c | 237874 | 343 1495 4565 | 11534 10500 16 | 0.001 % |
27.14/27.28 c | 238594 | 343 1495 4565 | 11534 11220 16 | 0.001 % |
27.23/27.37 c | 239387 | 343 1495 4565 | 11534 10819 16 | 0.001 % |
27.34/27.45 c | 240259 | 343 1495 4565 | 11435 10544 16 | 0.001 % |
27.44/27.55 c | 241219 | 343 1495 4565 | 11435 10357 16 | 0.001 % |
27.53/27.66 c | 242274 | 343 1495 4565 | 11435 11412 16 | 0.001 % |
27.63/27.77 c | 243432 | 343 1495 4565 | 11435 11423 17 | 0.001 % |
27.83/27.91 c | 244706 | 343 1495 4565 | 11435 10405 17 | 0.001 % |
27.93/28.04 c | 246106 | 343 1495 4565 | 11435 10658 17 | 0.001 % |
28.13/28.21 c | 247646 | 343 1495 4565 | 11435 11050 17 | 0.001 % |
28.23/28.37 c | 249341 | 343 1495 4565 | 11435 10452 17 | 0.001 % |
28.44/28.56 c | 251204 | 343 1495 4565 | 2147483647 12315 17 | 0.001 % |
28.73/28.81 c | 253255 | 343 1495 4565 | 2147483647 14366 17 | 0.001 % |
28.93/29.08 c | 255510 | 343 1495 4565 | 2147483647 16621 17 | 0.001 % |
29.23/29.39 c | 257988 | 343 1495 4565 | 2147483647 19099 17 | 0.001 % |
29.33/29.41 c | 258088 | 343 1495 4565 | 2147483647 19199 17 | 0.001 % |
29.33/29.43 c | 258200 | 343 1495 4565 | 2147483647 19311 17 | 0.001 % |
29.33/29.44 c | 258321 | 343 1495 4565 | 2147483647 19432 17 | 0.001 % |
29.33/29.46 c | 258454 | 343 1495 4565 | 2147483647 19565 17 | 0.001 % |
29.33/29.49 c | 258600 | 343 1495 4565 | 2147483647 19711 17 | 0.001 % |
29.43/29.52 c | 258760 | 343 1495 4565 | 2147483647 19871 17 | 0.001 % |
29.43/29.55 c | 258937 | 343 1495 4565 | 2147483647 20048 17 | 0.001 % |
29.43/29.58 c | 259131 | 343 1495 4565 | 2147483647 20242 17 | 0.001 % |
29.54/29.62 c | 259343 | 343 1495 4565 | 2147483647 20454 17 | 0.001 % |
29.54/29.66 c | 259576 | 343 1495 4565 | 2147483647 20687 17 | 0.001 % |
29.64/29.71 c | 259832 | 343 1495 4565 | 2147483647 20943 17 | 0.001 % |
29.64/29.78 c | 260115 | 343 1495 4565 | 21111 16630 17 | 0.001 % |
29.73/29.82 c | 260425 | 343 1495 4565 | 21111 16940 17 | 0.001 % |
29.73/29.87 c | 260765 | 343 1495 4565 | 21111 17280 17 | 0.001 % |
29.83/29.93 c | 261138 | 343 1495 4565 | 21111 17653 17 | 0.001 % |
29.83/29.99 c | 261549 | 343 1495 4565 | 21111 18064 17 | 0.001 % |
29.93/30.06 c | 261998 | 343 1495 4565 | 21111 18513 17 | 0.001 % |
30.03/30.14 c | 262492 | 343 1495 4565 | 21111 19007 17 | 0.001 % |
30.13/30.24 c | 263034 | 343 1495 4565 | 21111 19549 17 | 0.001 % |
30.23/30.34 c | 263631 | 343 1495 4565 | 21111 20146 17 | 0.001 % |
30.33/30.44 c | 264286 | 343 1495 4565 | 21111 20801 17 | 0.001 % |
30.43/30.57 c | 265009 | 343 1495 4565 | 21111 16169 16 | 0.001 % |
30.53/30.67 c | 265802 | 343 1495 4565 | 21111 16962 17 | 0.001 % |
30.73/30.80 c | 266674 | 343 1495 4565 | 21111 17834 17 | 0.001 % |
30.83/30.95 c | 267632 | 343 1495 4565 | 21111 18792 17 | 0.001 % |
31.03/31.10 c | 268685 | 343 1495 4565 | 21111 19845 17 | 0.001 % |
31.13/31.28 c | 269843 | 343 1495 4565 | 21111 21003 17 | 0.001 % |
31.33/31.44 c | 271116 | 343 1495 4565 | 15674 12729 16 | 0.001 % |
31.53/31.60 c | 272516 | 343 1495 4565 | 15674 14129 16 | 0.001 % |
31.63/31.79 c | 274056 | 343 1495 4565 | 15674 15669 17 | 0.001 % |
31.83/31.99 c | 275750 | 343 1495 4565 | 15674 14059 17 | 0.001 % |
32.13/32.21 c | 277613 | 343 1495 4565 | 15674 12812 17 | 0.001 % |
32.33/32.46 c | 279663 | 343 1495 4565 | 15674 14862 17 | 0.001 % |
32.63/32.73 c | 281916 | 343 1495 4565 | 15200 14119 17 | 0.001 % |
32.83/33.00 c | 284394 | 343 1495 4565 | 15200 13718 16 | 0.001 % |
33.24/33.32 c | 287121 | 343 1495 4565 | 15200 13589 16 | 0.001 % |
33.24/33.33 c | 287222 | 343 1495 4565 | 15200 13690 16 | 0.001 % |
33.24/33.35 c | 287333 | 343 1495 4565 | 15200 13801 16 | 0.001 % |
33.24/33.36 c | 287454 | 343 1495 4565 | 15200 13922 16 | 0.001 % |
33.24/33.37 c | 287588 | 343 1495 4565 | 15200 14056 16 | 0.001 % |
33.24/33.39 c | 287734 | 343 1495 4565 | 15200 14202 16 | 0.001 % |
33.34/33.41 c | 287895 | 343 1495 4565 | 15200 14363 16 | 0.001 % |
33.34/33.43 c | 288071 | 343 1495 4565 | 15200 14539 17 | 0.001 % |
33.34/33.46 c | 288265 | 343 1495 4565 | 15200 14733 17 | 0.001 % |
33.34/33.48 c | 288477 | 343 1495 4565 | 15200 14945 17 | 0.001 % |
33.44/33.51 c | 288710 | 343 1495 4565 | 15200 15178 17 | 0.001 % |
33.44/33.55 c | 288966 | 343 1495 4565 | 15200 12573 16 | 0.001 % |
33.44/33.58 c | 289248 | 343 1495 4565 | 15200 12855 16 | 0.001 % |
33.54/33.61 c | 289557 | 343 1495 4565 | 15200 13164 16 | 0.001 % |
33.54/33.65 c | 289896 | 343 1495 4565 | 15200 13503 16 | 0.001 % |
33.64/33.70 c | 290269 | 343 1495 4565 | 13608 11360 16 | 0.001 % |
33.64/33.74 c | 290681 | 343 1495 4565 | 13608 11772 16 | 0.001 % |
33.64/33.79 c | 291130 | 343 1495 4565 | 13608 12221 16 | 0.001 % |
33.74/33.85 c | 291623 | 343 1495 4565 | 13608 12714 16 | 0.001 % |
33.84/33.91 c | 292165 | 343 1495 4565 | 13608 13256 16 | 0.001 % |
33.84/33.98 c | 292761 | 343 1495 4565 | 13608 11516 16 | 0.001 % |
33.94/34.05 c | 293416 | 343 1495 4565 | 13608 12171 16 | 0.001 % |
34.04/34.14 c | 294137 | 343 1495 4565 | 13608 12892 16 | 0.001 % |
34.14/34.24 c | 294929 | 343 1495 4565 | 13608 11322 16 | 0.001 % |
34.24/34.34 c | 295801 | 343 1495 4565 | 13608 12194 16 | 0.001 % |
34.34/34.42 c | 296760 | 343 1495 4565 | 13608 13153 16 | 0.001 % |
34.44/34.52 c | 297813 | 343 1495 4565 | 13608 12023 16 | 0.001 % |
34.54/34.63 c | 298973 | 343 1495 4565 | 13608 13183 16 | 0.001 % |
34.64/34.79 c | 300246 | 343 1495 4565 | 12063 10401 16 | 0.001 % |
34.84/34.92 c | 301646 | 343 1495 4565 | 12063 11801 16 | 0.001 % |
34.94/35.05 c | 303186 | 343 1495 4565 | 12063 11777 16 | 0.001 % |
35.04/35.20 c | 304880 | 343 1495 4565 | 12063 10836 16 | 0.001 % |
35.24/35.37 c | 306744 | 343 1495 4565 | 12063 11423 16 | 0.001 % |
35.44/35.56 c | 308793 | 343 1495 4565 | 12063 11040 16 | 0.001 % |
35.63/35.78 c | 311048 | 343 1495 4565 | 11027 10943 16 | 0.001 % |
35.83/35.98 c | 313531 | 343 1495 4565 | 11027 10101 16 | 0.001 % |
36.14/36.23 c | 316258 | 343 1495 4565 | 11027 10616 17 | 0.001 % |
36.43/36.52 c | 319255 | 343 1495 4565 | 11027 10294 16 | 0.001 % |
36.43/36.53 c | 319356 | 343 1495 4565 | 11027 10395 17 | 0.001 % |
36.43/36.54 c | 319466 | 343 1495 4565 | 11027 10505 17 | 0.001 % |
36.43/36.55 c | 319587 | 343 1495 4565 | 11027 10626 17 | 0.001 % |
36.43/36.57 c | 319721 | 343 1495 4565 | 11027 10760 17 | 0.001 % |
36.43/36.59 c | 319867 | 343 1495 4565 | 11027 10906 17 | 0.001 % |
36.53/36.60 c | 320029 | 343 1495 4565 | 2147483647 11068 17 | 0.001 % |
36.53/36.63 c | 320205 | 343 1495 4565 | 2147483647 11244 17 | 0.001 % |
36.53/36.64 c | 320399 | 343 1495 4565 | 2147483647 11438 17 | 0.001 % |
36.53/36.67 c | 320612 | 343 1495 4565 | 2147483647 11651 17 | 0.001 % |
36.53/36.69 c | 320845 | 343 1495 4565 | 2147483647 11884 17 | 0.001 % |
36.63/36.73 c | 321101 | 343 1495 4565 | 2147483647 12140 17 | 0.001 % |
36.63/36.76 c | 321382 | 343 1495 4565 | 2147483647 12421 17 | 0.001 % |
36.63/36.79 c | 321691 | 343 1495 4565 | 2147483647 12730 17 | 0.001 % |
36.73/36.83 c | 322030 | 343 1495 4565 | 2147483647 13069 17 | 0.001 % |
36.73/36.87 c | 322402 | 343 1495 4565 | 2147483647 13441 17 | 0.001 % |
36.83/36.92 c | 322813 | 343 1495 4565 | 2147483647 13852 17 | 0.001 % |
36.83/36.97 c | 323262 | 343 1495 4565 | 2147483647 14301 17 | 0.001 % |
36.93/37.03 c | 323758 | 343 1495 4565 | 2147483647 14797 17 | 0.001 % |
36.93/37.10 c | 324301 | 343 1495 4565 | 2147483647 15340 17 | 0.001 % |
37.03/37.17 c | 324898 | 343 1495 4565 | 2147483647 15937 17 | 0.001 % |
37.13/37.26 c | 325553 | 343 1495 4565 | 2147483647 16592 17 | 0.001 % |
37.24/37.36 c | 326273 | 343 1495 4565 | 2147483647 17312 17 | 0.001 % |
37.43/37.51 c | 327065 | 343 1495 4565 | 2147483647 18104 17 | 0.001 % |
37.53/37.67 c | 327937 | 343 1495 4565 | 2147483647 18976 17 | 0.001 % |
37.73/37.83 c | 328895 | 343 1495 4565 | 2147483647 19934 17 | 0.001 % |
37.83/37.99 c | 329950 | 343 1495 4565 | 2147483647 20989 17 | 0.001 % |
38.03/38.15 c | 331108 | 343 1495 4565 | 21039 17549 17 | 0.001 % |
38.23/38.32 c | 332381 | 343 1495 4565 | 21039 18822 17 | 0.001 % |
38.44/38.53 c | 333781 | 343 1495 4565 | 21039 20222 17 | 0.001 % |
38.63/38.78 c | 335322 | 343 1495 4565 | 21039 16245 17 | 0.001 % |
38.83/38.99 c | 337017 | 343 1495 4565 | 21039 17940 17 | 0.001 % |
39.13/39.26 c | 338880 | 343 1495 4565 | 21039 19803 17 | 0.001 % |
39.43/39.52 c | 340929 | 343 1495 4565 | 20923 16598 17 | 0.001 % |
39.73/39.81 c | 343182 | 343 1495 4565 | 20923 18851 17 | 0.001 % |
40.03/40.18 c | 345660 | 343 1495 4565 | 20923 16399 17 | 0.001 % |
40.43/40.57 c | 348385 | 343 1495 4565 | 20923 19124 18 | 0.001 % |
40.93/41.07 c | 351385 | 343 1495 4565 | 20740 16939 18 | 0.001 % |
41.43/41.59 c | 354682 | 343 1495 4565 | 20740 20236 18 | 0.001 % |
41.53/41.61 c | 354782 | 343 1495 4565 | 20740 20336 18 | 0.001 % |
41.53/41.63 c | 354893 | 343 1495 4565 | 20740 20447 18 | 0.001 % |
41.53/41.65 c | 355014 | 343 1495 4565 | 20740 20568 18 | 0.001 % |
41.53/41.68 c | 355147 | 343 1495 4565 | 20740 20701 18 | 0.001 % |
41.63/41.72 c | 355293 | 343 1495 4565 | 20740 15229 18 | 0.001 % |
41.63/41.74 c | 355453 | 343 1495 4565 | 20740 15389 18 | 0.001 % |
41.63/41.76 c | 355629 | 343 1495 4565 | 20740 15565 18 | 0.001 % |
41.63/41.80 c | 355823 | 343 1495 4565 | 20740 15759 18 | 0.001 % |
41.73/41.83 c | 356035 | 343 1495 4565 | 20740 15971 18 | 0.001 % |
41.73/41.87 c | 356270 | 343 1495 4565 | 20740 16206 18 | 0.001 % |
41.83/41.90 c | 356526 | 343 1495 4565 | 20740 16462 18 | 0.001 % |
41.83/41.94 c | 356809 | 343 1495 4565 | 20740 16745 18 | 0.001 % |
41.83/41.99 c | 357119 | 343 1495 4565 | 20740 17055 18 | 0.001 % |
41.93/42.04 c | 357459 | 343 1495 4565 | 20740 17395 18 | 0.001 % |
41.93/42.09 c | 357832 | 343 1495 4565 | 20740 17768 18 | 0.001 % |
42.03/42.16 c | 358243 | 343 1495 4565 | 20740 18179 18 | 0.001 % |
42.13/42.23 c | 358693 | 343 1495 4565 | 20740 18629 18 | 0.001 % |
42.23/42.32 c | 359188 | 343 1495 4565 | 20740 19124 17 | 0.001 % |
42.33/42.40 c | 359730 | 343 1495 4565 | 20740 19666 17 | 0.001 % |
42.43/42.50 c | 360327 | 343 1495 4565 | 19937 14836 17 | 0.001 % |
42.43/42.58 c | 360982 | 343 1495 4565 | 19937 15491 17 | 0.001 % |
42.53/42.66 c | 361705 | 343 1495 4565 | 19937 16214 17 | 0.001 % |
42.63/42.77 c | 362498 | 343 1495 4565 | 19937 17007 17 | 0.001 % |
42.83/42.91 c | 363372 | 343 1495 4565 | 19937 17881 17 | 0.001 % |
42.93/43.08 c | 364333 | 343 1495 4565 | 19937 18842 17 | 0.001 % |
43.13/43.26 c | 365388 | 343 1495 4565 | 19937 19897 17 | 0.001 % |
43.33/43.43 c | 366546 | 343 1495 4565 | 19937 15913 17 | 0.001 % |
43.53/43.61 c | 367819 | 343 1495 4565 | 19937 17186 17 | 0.001 % |
43.73/43.82 c | 369220 | 343 1495 4565 | 19937 18587 17 | 0.001 % |
43.93/44.06 c | 370760 | 343 1495 4565 | 19367 15098 16 | 0.001 % |
44.13/44.28 c | 372455 | 343 1495 4565 | 19367 16793 16 | 0.001 % |
44.43/44.53 c | 374318 | 343 1495 4565 | 19367 18656 17 | 0.001 % |
44.63/44.80 c | 376367 | 343 1495 4565 | 19367 16001 16 | 0.001 % |
44.93/45.08 c | 378620 | 343 1495 4565 | 19367 18254 17 | 0.001 % |
45.33/45.40 c | 381098 | 343 1495 4565 | 15006 12541 17 | 0.001 % |
45.53/45.65 c | 383827 | 343 1495 4565 | 15006 12504 17 | 0.001 % |
45.83/45.99 c | 386824 | 343 1495 4565 | 15006 12857 17 | 0.001 % |
46.23/46.36 c | 390120 | 343 1495 4565 | 13359 11130 16 | 0.001 % |
46.62/46.72 c | 393745 | 343 1495 4565 | 13359 12711 16 | 0.001 % |
46.62/46.73 c | 393847 | 343 1495 4565 | 13359 12813 16 | 0.001 % |
46.62/46.75 c | 393957 | 343 1495 4565 | 13359 12923 17 | 0.001 % |
46.62/46.76 c | 394079 | 343 1495 4565 | 13359 13045 17 | 0.001 % |
46.62/46.78 c | 394212 | 343 1495 4565 | 13359 13178 17 | 0.001 % |
46.62/46.79 c | 394359 | 343 1495 4565 | 13359 13325 17 | 0.001 % |
46.72/46.81 c | 394519 | 343 1495 4565 | 13359 11504 16 | 0.001 % |
46.72/46.83 c | 394695 | 343 1495 4565 | 13359 11680 16 | 0.001 % |
46.72/46.85 c | 394888 | 343 1495 4565 | 13359 11873 16 | 0.001 % |
46.72/46.87 c | 395101 | 343 1495 4565 | 13359 12086 16 | 0.001 % |
46.72/46.89 c | 395335 | 343 1495 4565 | 13359 12320 16 | 0.001 % |
46.82/46.92 c | 395591 | 343 1495 4565 | 13359 12576 16 | 0.001 % |
46.82/46.95 c | 395874 | 343 1495 4565 | 13359 12859 17 | 0.001 % |
46.82/46.98 c | 396183 | 343 1495 4565 | 13359 13168 17 | 0.001 % |
46.92/47.03 c | 396522 | 343 1495 4565 | 13359 11622 16 | 0.001 % |
46.92/47.06 c | 396894 | 343 1495 4565 | 13359 11994 16 | 0.001 % |
47.02/47.12 c | 397303 | 343 1495 4565 | 13359 12403 16 | 0.001 % |
47.02/47.16 c | 397753 | 343 1495 4565 | 13359 12853 16 | 0.001 % |
47.12/47.22 c | 398246 | 343 1495 4565 | 13359 13346 16 | 0.001 % |
47.12/47.28 c | 398792 | 343 1495 4565 | 13359 11998 16 | 0.001 % |
47.22/47.34 c | 399388 | 343 1495 4565 | 13359 12594 16 | 0.001 % |
47.32/47.44 c | 400043 | 343 1495 4565 | 13207 11350 16 | 0.001 % |
47.42/47.51 c | 400765 | 343 1495 4565 | 13207 12072 16 | 0.001 % |
47.52/47.61 c | 401557 | 343 1495 4565 | 13207 12864 16 | 0.001 % |
47.62/47.71 c | 402429 | 343 1495 4565 | 13207 11772 16 | 0.001 % |
47.72/47.82 c | 403388 | 343 1495 4565 | 13207 12731 16 | 0.001 % |
47.82/47.93 c | 404441 | 343 1495 4565 | 13207 11872 16 | 0.001 % |
47.92/48.05 c | 405599 | 343 1495 4565 | 13207 13030 17 | 0.001 % |
48.02/48.19 c | 406872 | 343 1495 4565 | 13207 12528 16 | 0.001 % |
48.22/48.35 c | 408274 | 343 1495 4565 | 13207 12178 16 | 0.001 % |
48.41/48.54 c | 409815 | 343 1495 4565 | 13207 11946 16 | 0.001 % |
48.61/48.73 c | 411511 | 343 1495 4565 | 12134 12001 16 | 0.001 % |
48.81/48.93 c | 413376 | 343 1495 4565 | 12134 10712 16 | 0.001 % |
49.01/49.14 c | 415426 | 343 1495 4565 | 12134 11260 16 | 0.001 % |
49.21/49.36 c | 417680 | 343 1495 4565 | 12134 12059 16 | 0.001 % |
49.52/49.60 c | 420160 | 343 1495 4565 | 11552 10382 16 | 0.001 % |
49.72/49.85 c | 422888 | 343 1495 4565 | 11552 10793 16 | 0.001 % |
50.02/50.17 c | 425885 | 343 1495 4565 | 11552 11474 16 | 0.001 % |
50.32/50.50 c | 429181 | 343 1495 4565 | 11552 11296 16 | 0.001 % |
50.71/50.90 c | 432806 | 343 1495 4565 | 2147483647 13764 16 | 0.001 % |
51.21/51.36 c | 436796 | 343 1495 4565 | 2147483647 17754 17 | 0.001 % |
51.21/51.37 c | 436897 | 343 1495 4565 | 2147483647 17855 17 | 0.001 % |
51.21/51.38 c | 437007 | 343 1495 4565 | 2147483647 17965 17 | 0.001 % |
51.31/51.40 c | 437129 | 343 1495 4565 | 2147483647 18087 17 | 0.001 % |
51.31/51.43 c | 437262 | 343 1495 4565 | 2147483647 18220 17 | 0.001 % |
51.31/51.45 c | 437408 | 343 1495 4565 | 2147483647 18366 17 | 0.001 % |
51.31/51.47 c | 437570 | 343 1495 4565 | 2147483647 18528 17 | 0.001 % |
51.41/51.50 c | 437746 | 343 1495 4565 | 2147483647 18704 17 | 0.001 % |
51.41/51.53 c | 437941 | 343 1495 4565 | 2147483647 18899 17 | 0.001 % |
51.41/51.56 c | 438153 | 343 1495 4565 | 2147483647 19111 17 | 0.001 % |
51.52/51.60 c | 438386 | 343 1495 4565 | 2147483647 19344 17 | 0.001 % |
51.52/51.65 c | 438642 | 343 1495 4565 | 2147483647 19600 17 | 0.001 % |
51.62/51.70 c | 438925 | 343 1495 4565 | 2147483647 19883 17 | 0.001 % |
51.62/51.76 c | 439235 | 343 1495 4565 | 2147483647 20193 17 | 0.001 % |
51.71/51.82 c | 439574 | 343 1495 4565 | 2147483647 20532 17 | 0.001 % |
51.71/51.87 c | 439946 | 343 1495 4565 | 2147483647 20904 17 | 0.001 % |
51.81/51.95 c | 440356 | 343 1495 4565 | 20959 17085 17 | 0.001 % |
51.91/52.00 c | 440805 | 343 1495 4565 | 20959 17534 17 | 0.001 % |
51.91/52.07 c | 441299 | 343 1495 4565 | 20959 18028 17 | 0.001 % |
52.01/52.15 c | 441842 | 343 1495 4565 | 20959 18571 17 | 0.001 % |
52.11/52.25 c | 442438 | 343 1495 4565 | 20959 19167 17 | 0.001 % |
52.21/52.36 c | 443093 | 343 1495 4565 | 20959 19822 17 | 0.001 % |
52.31/52.46 c | 443813 | 343 1495 4565 | 20959 20542 17 | 0.001 % |
52.51/52.60 c | 444606 | 343 1495 4565 | 20959 16124 17 | 0.001 % |
52.62/52.71 c | 445477 | 343 1495 4565 | 20959 16995 17 | 0.001 % |
52.72/52.82 c | 446435 | 343 1495 4565 | 20959 17953 17 | 0.001 % |
52.81/52.96 c | 447489 | 343 1495 4565 | 20959 19007 17 | 0.001 % |
53.01/53.15 c | 448648 | 343 1495 4565 | 20959 20166 17 | 0.001 % |
53.21/53.34 c | 449922 | 343 1495 4565 | 20959 16112 17 | 0.001 % |
53.31/53.50 c | 451324 | 343 1495 4565 | 16190 13413 17 | 0.001 % |
53.51/53.68 c | 452864 | 343 1495 4565 | 16190 14953 17 | 0.001 % |
53.72/53.89 c | 454558 | 343 1495 4565 | 16190 13098 16 | 0.001 % |
53.91/54.07 c | 456422 | 343 1495 4565 | 16190 14962 17 | 0.001 % |
54.21/54.31 c | 458472 | 343 1495 4565 | 16190 13680 16 | 0.001 % |
54.41/54.56 c | 460727 | 343 1495 4565 | 15209 12895 16 | 0.001 % |
54.71/54.83 c | 463206 | 343 1495 4565 | 15209 12591 16 | 0.001 % |
55.01/55.14 c | 465934 | 343 1495 4565 | 15209 12648 17 | 0.001 % |
55.31/55.48 c | 468931 | 343 1495 4565 | 15209 13048 16 | 0.001 % |
55.71/55.89 c | 472227 | 343 1495 4565 | 14117 13938 17 | 0.001 % |
56.21/56.30 c | 475853 | 343 1495 4565 | 14117 12674 17 | 0.001 % |
56.61/56.73 c | 479841 | 343 1495 4565 | 14117 11945 16 | 0.001 % |
57.01/57.18 c | 484228 | 343 1495 4565 | 12105 10907 16 | 0.001 % |
57.01/57.19 c | 484328 | 343 1495 4565 | 12105 11007 16 | 0.001 % |
57.11/57.20 c | 484438 | 343 1495 4565 | 12105 11117 16 | 0.001 % |
57.11/57.22 c | 484559 | 343 1495 4565 | 12105 11238 16 | 0.001 % |
57.11/57.23 c | 484693 | 343 1495 4565 | 12105 11372 16 | 0.001 % |
57.11/57.25 c | 484839 | 343 1495 4565 | 12105 11518 16 | 0.001 % |
57.11/57.27 c | 484999 | 343 1495 4565 | 12105 11678 16 | 0.001 % |
57.11/57.29 c | 485176 | 343 1495 4565 | 12105 11855 16 | 0.001 % |
57.21/57.31 c | 485370 | 343 1495 4565 | 12105 12049 16 | 0.001 % |
57.21/57.33 c | 485582 | 343 1495 4565 | 12105 10539 16 | 0.001 % |
57.21/57.35 c | 485816 | 343 1495 4565 | 12105 10773 16 | 0.001 % |
57.21/57.37 c | 486072 | 343 1495 4565 | 12105 11029 16 | 0.001 % |
57.31/57.40 c | 486353 | 343 1495 4565 | 12105 11310 16 | 0.001 % |
57.31/57.43 c | 486664 | 343 1495 4565 | 12105 11621 16 | 0.001 % |
57.31/57.46 c | 487004 | 343 1495 4565 | 12105 11961 16 | 0.001 % |
57.41/57.51 c | 487377 | 343 1495 4565 | 12105 10705 16 | 0.001 % |
57.41/57.55 c | 487787 | 343 1495 4565 | 12105 11115 16 | 0.001 % |
57.41/57.60 c | 488237 | 343 1495 4565 | 12105 11565 16 | 0.001 % |
57.51/57.65 c | 488730 | 343 1495 4565 | 12105 12058 16 | 0.001 % |
57.61/57.71 c | 489274 | 343 1495 4565 | 12105 10995 16 | 0.001 % |
57.61/57.77 c | 489871 | 343 1495 4565 | 12105 11592 16 | 0.001 % |
57.71/57.83 c | 490526 | 343 1495 4565 | 11721 10722 16 | 0.001 % |
57.81/57.90 c | 491247 | 343 1495 4565 | 11721 11443 16 | 0.001 % |
57.81/57.98 c | 492040 | 343 1495 4565 | 11721 10956 16 | 0.001 % |
57.91/58.06 c | 492912 | 343 1495 4565 | 11721 10653 16 | 0.001 % |
58.01/58.16 c | 493871 | 343 1495 4565 | 11721 11612 16 | 0.001 % |
58.11/58.27 c | 494926 | 343 1495 4565 | 11721 11490 17 | 0.001 % |
58.21/58.38 c | 496087 | 343 1495 4565 | 11721 11474 16 | 0.001 % |
58.41/58.50 c | 497360 | 343 1495 4565 | 11721 11571 16 | 0.001 % |
58.51/58.63 c | 498760 | 343 1495 4565 | 11721 10620 17 | 0.001 % |
58.61/58.78 c | 500300 | 343 1495 4565 | 2147483647 10984 17 | 0.001 % |
58.81/58.93 c | 501995 | 343 1495 4565 | 2147483647 12679 17 | 0.001 % |
59.01/59.16 c | 503858 | 343 1495 4565 | 2147483647 14542 17 | 0.001 % |
59.31/59.42 c | 505907 | 343 1495 4565 | 2147483647 16591 18 | 0.001 % |
59.60/59.78 c | 508160 | 343 1495 4565 | 2147483647 18844 18 | 0.001 % |
60.10/60.22 c | 510638 | 343 1495 4565 | 20684 17135 18 | 0.001 % |
60.50/60.61 c | 513363 | 343 1495 4565 | 20684 19860 18 | 0.001 % |
60.90/61.02 c | 516361 | 343 1495 4565 | 20684 17810 18 | 0.001 % |
61.41/61.56 c | 519659 | 343 1495 4565 | 20684 15799 18 | 0.001 % |
61.80/61.99 c | 523284 | 343 1495 4565 | 16140 15291 17 | 0.001 % |
62.30/62.47 c | 527271 | 343 1495 4565 | 16140 15641 17 | 0.001 % |
62.90/63.01 c | 531656 | 343 1495 4565 | 14874 13314 16 | 0.001 % |
63.50/63.66 c | 536479 | 343 1495 4565 | 14874 12054 16 | 0.001 % |
63.50/63.67 c | 536579 | 343 1495 4565 | 14874 12154 16 | 0.001 % |
63.50/63.68 c | 536689 | 343 1495 4565 | 14874 12264 16 | 0.001 % |
63.50/63.69 c | 536810 | 343 1495 4565 | 14874 12385 16 | 0.001 % |
63.61/63.71 c | 536943 | 343 1495 4565 | 14874 12518 16 | 0.001 % |
63.61/63.73 c | 537089 | 343 1495 4565 | 14874 12664 16 | 0.001 % |
63.61/63.75 c | 537249 | 343 1495 4565 | 14874 12824 16 | 0.001 % |
63.61/63.77 c | 537426 | 343 1495 4565 | 14874 13001 16 | 0.001 % |
63.61/63.79 c | 537620 | 343 1495 4565 | 14874 13195 16 | 0.001 % |
63.71/63.82 c | 537832 | 343 1495 4565 | 14874 13407 16 | 0.001 % |
63.71/63.84 c | 538065 | 343 1495 4565 | 14874 13640 16 | 0.001 % |
63.71/63.87 c | 538321 | 343 1495 4565 | 14874 13896 16 | 0.001 % |
63.80/63.91 c | 538602 | 343 1495 4565 | 14874 14177 16 | 0.001 % |
63.80/63.95 c | 538911 | 343 1495 4565 | 14874 14486 16 | 0.001 % |
63.80/63.99 c | 539250 | 343 1495 4565 | 14874 14825 16 | 0.001 % |
63.90/64.03 c | 539622 | 343 1495 4565 | 14874 12172 16 | 0.001 % |
63.90/64.07 c | 540031 | 343 1495 4565 | 12550 12581 16 | 0.001 % |
64.00/64.12 c | 540483 | 343 1495 4565 | 12550 10539 16 | 0.001 % |
64.00/64.17 c | 540976 | 343 1495 4565 | 12550 11032 16 | 0.001 % |
64.10/64.22 c | 541518 | 343 1495 4565 | 12550 11574 16 | 0.001 % |
64.10/64.29 c | 542117 | 343 1495 4565 | 12550 12173 16 | 0.001 % |
64.20/64.37 c | 542773 | 343 1495 4565 | 12550 10773 16 | 0.001 % |
64.30/64.44 c | 543496 | 343 1495 4565 | 12550 11496 16 | 0.001 % |
64.40/64.52 c | 544290 | 343 1495 4565 | 12550 12290 16 | 0.001 % |
64.50/64.61 c | 545162 | 343 1495 4565 | 12550 11321 17 | 0.001 % |
64.60/64.70 c | 546122 | 343 1495 4565 | 12550 12281 17 | 0.001 % |
64.71/64.81 c | 547177 | 343 1495 4565 | 12550 11641 17 | 0.001 % |
64.81/64.94 c | 548337 | 343 1495 4565 | 12550 11168 17 | 0.001 % |
64.90/65.08 c | 549610 | 343 1495 4565 | 12550 12441 17 | 0.001 % |
65.10/65.22 c | 551010 | 343 1495 4565 | 11182 10739 16 | 0.001 % |
65.20/65.35 c | 552550 | 343 1495 4565 | 11182 11106 16 | 0.001 % |
65.40/65.52 c | 554244 | 343 1495 4565 | 11182 10553 16 | 0.001 % |
65.60/65.72 c | 556108 | 343 1495 4565 | 11182 10174 16 | 0.001 % |
65.80/65.94 c | 558159 | 343 1495 4565 | 11182 11093 16 | 0.001 % |
66.00/66.18 c | 560413 | 343 1495 4565 | 10678 10011 16 | 0.001 % |
66.30/66.44 c | 562892 | 343 1495 4565 | 10678 10348 16 | 0.001 % |
66.60/66.72 c | 565618 | 343 1495 4565 | 10678 9862 16 | 0.001 % |
66.90/67.03 c | 568615 | 343 1495 4565 | 10678 10582 16 | 0.001 % |
67.20/67.34 c | 571911 | 343 1495 4565 | 2147483647 11686 16 | 0.001 % |
67.60/67.74 c | 575536 | 343 1495 4565 | 2147483647 15311 17 | 0.001 % |
68.10/68.23 c | 579523 | 343 1495 4565 | 2147483647 19298 17 | 0.001 % |
68.70/68.89 c | 583908 | 343 1495 4565 | 19776 16218 17 | 0.001 % |
69.40/69.58 c | 588732 | 343 1495 4565 | 19776 16178 17 | 0.001 % |
70.10/70.28 c | 594037 | 343 1495 4565 | 17447 17125 16 | 0.001 % |
70.19/70.30 c | 594137 | 343 1495 4565 | 17447 17225 16 | 0.001 % |
70.19/70.32 c | 594248 | 343 1495 4565 | 17447 17336 16 | 0.001 % |
70.19/70.33 c | 594370 | 343 1495 4565 | 17447 17458 16 | 0.001 % |
70.19/70.36 c | 594503 | 343 1495 4565 | 17447 13346 16 | 0.001 % |
70.19/70.38 c | 594649 | 343 1495 4565 | 17447 13492 16 | 0.001 % |
70.29/70.40 c | 594810 | 343 1495 4565 | 17447 13653 16 | 0.001 % |
70.29/70.42 c | 594989 | 343 1495 4565 | 17447 13832 16 | 0.001 % |
70.29/70.45 c | 595182 | 343 1495 4565 | 17447 14025 16 | 0.001 % |
70.29/70.48 c | 595395 | 343 1495 4565 | 17447 14238 16 | 0.001 % |
70.39/70.51 c | 595629 | 343 1495 4565 | 17447 14472 16 | 0.001 % |
70.39/70.54 c | 595885 | 343 1495 4565 | 17447 14728 16 | 0.001 % |
70.39/70.58 c | 596168 | 343 1495 4565 | 17447 15011 16 | 0.001 % |
70.49/70.62 c | 596478 | 343 1495 4565 | 17447 15321 16 | 0.001 % |
70.49/70.68 c | 596819 | 343 1495 4565 | 17447 15662 16 | 0.001 % |
70.59/70.74 c | 597191 | 343 1495 4565 | 17447 16034 16 | 0.001 % |
70.69/70.81 c | 597600 | 343 1495 4565 | 17447 16443 16 | 0.001 % |
70.69/70.87 c | 598049 | 343 1495 4565 | 17447 16892 17 | 0.001 % |
70.79/70.95 c | 598543 | 343 1495 4565 | 17447 17386 17 | 0.001 % |
70.89/71.02 c | 599085 | 343 1495 4565 | 17447 13659 16 | 0.001 % |
70.99/71.10 c | 599681 | 343 1495 4565 | 17447 14255 17 | 0.001 % |
70.99/71.19 c | 600338 | 343 1495 4565 | 14574 11404 16 | 0.001 % |
71.09/71.27 c | 601058 | 343 1495 4565 | 14574 12124 16 | 0.001 % |
71.19/71.36 c | 601851 | 343 1495 4565 | 14574 12917 16 | 0.001 % |
71.29/71.47 c | 602722 | 343 1495 4565 | 14574 13788 17 | 0.001 % |
71.49/71.62 c | 603682 | 343 1495 4565 | 14574 11581 17 | 0.001 % |
71.59/71.75 c | 604740 | 343 1495 4565 | 14574 12639 17 | 0.001 % |
71.79/71.90 c | 605899 | 343 1495 4565 | 14574 13798 17 | 0.001 % |
71.89/72.08 c | 607172 | 343 1495 4565 | 14574 11990 16 | 0.001 % |
72.09/72.25 c | 608572 | 343 1495 4565 | 14574 13390 16 | 0.001 % |
72.29/72.44 c | 610112 | 343 1495 4565 | 11794 9485 15 | 0.001 % |
72.49/72.60 c | 611807 | 343 1495 4565 | 11794 11180 16 | 0.001 % |
72.59/72.77 c | 613670 | 343 1495 4565 | 11794 11298 16 | 0.001 % |
72.79/72.98 c | 615719 | 343 1495 4565 | 11794 10422 16 | 0.001 % |
73.09/73.22 c | 617973 | 343 1495 4565 | 11794 11248 16 | 0.001 % |
73.39/73.50 c | 620452 | 343 1495 4565 | 11830 10814 17 | 0.001 % |
73.59/73.75 c | 623177 | 343 1495 4565 | 11830 10916 17 | 0.001 % |
73.89/74.05 c | 626174 | 343 1495 4565 | 11830 11244 17 | 0.001 % |
74.29/74.41 c | 629470 | 343 1495 4565 | 11830 11743 17 | 0.001 % |
74.59/74.75 c | 633095 | 343 1495 4565 | 10849 10413 17 | 0.001 % |
74.89/75.09 c | 637083 | 343 1495 4565 | 10849 10047 17 | 0.001 % |
75.29/75.49 c | 641468 | 343 1495 4565 | 2147483647 12256 17 | 0.001 % |
75.89/76.05 c | 646292 | 343 1495 4565 | 2147483647 17080 17 | 0.001 % |
76.69/76.86 c | 651597 | 343 1495 4565 | 20790 18411 17 | 0.001 % |
77.39/77.57 c | 657433 | 343 1495 4565 | 20790 19526 17 | 0.001 % |
77.39/77.59 c | 657534 | 343 1495 4565 | 20790 19627 17 | 0.001 % |
77.49/77.61 c | 657644 | 343 1495 4565 | 20790 19737 17 | 0.001 % |
77.49/77.63 c | 657765 | 343 1495 4565 | 20790 19858 17 | 0.001 % |
77.49/77.65 c | 657899 | 343 1495 4565 | 20790 19992 17 | 0.001 % |
77.49/77.67 c | 658045 | 343 1495 4565 | 20790 20138 17 | 0.001 % |
77.59/77.71 c | 658205 | 343 1495 4565 | 20790 20298 17 | 0.001 % |
77.59/77.74 c | 658381 | 343 1495 4565 | 20790 20474 17 | 0.001 % |
77.59/77.79 c | 658574 | 343 1495 4565 | 20790 20667 17 | 0.001 % |
77.69/77.84 c | 658786 | 343 1495 4565 | 20790 15772 17 | 0.001 % |
77.69/77.87 c | 659019 | 343 1495 4565 | 20790 16005 17 | 0.001 % |
77.79/77.91 c | 659276 | 343 1495 4565 | 20790 16262 17 | 0.001 % |
77.79/77.96 c | 659557 | 343 1495 4565 | 20790 16543 17 | 0.001 % |
77.89/78.01 c | 659867 | 343 1495 4565 | 20790 16853 17 | 0.001 % |
77.89/78.06 c | 660207 | 343 1495 4565 | 16986 12976 17 | 0.001 % |
77.99/78.11 c | 660580 | 343 1495 4565 | 16986 13349 17 | 0.001 % |
77.99/78.16 c | 660989 | 343 1495 4565 | 16986 13758 17 | 0.001 % |
78.09/78.22 c | 661440 | 343 1495 4565 | 16986 14209 17 | 0.001 % |
78.09/78.28 c | 661934 | 343 1495 4565 | 16986 14703 17 | 0.001 % |
78.19/78.34 c | 662477 | 343 1495 4565 | 16986 15246 17 | 0.001 % |
78.29/78.44 c | 663073 | 343 1495 4565 | 16986 15842 17 | 0.001 % |
78.39/78.52 c | 663728 | 343 1495 4565 | 16986 16497 17 | 0.001 % |
78.49/78.63 c | 664448 | 343 1495 4565 | 16986 13364 17 | 0.001 % |
78.59/78.72 c | 665241 | 343 1495 4565 | 16986 14157 17 | 0.001 % |
78.69/78.82 c | 666114 | 343 1495 4565 | 16986 15030 17 | 0.001 % |
78.79/78.93 c | 667074 | 343 1495 4565 | 16986 15990 17 | 0.001 % |
78.89/79.09 c | 668127 | 343 1495 4565 | 16986 13254 17 | 0.001 % |
79.09/79.22 c | 669286 | 343 1495 4565 | 16986 14413 17 | 0.001 % |
79.18/79.39 c | 670559 | 343 1495 4565 | 15127 12375 17 | 0.001 % |
79.38/79.55 c | 671959 | 343 1495 4565 | 15127 13775 17 | 0.001 % |
79.58/79.76 c | 673499 | 343 1495 4565 | 15127 12130 16 | 0.001 % |
79.78/79.95 c | 675194 | 343 1495 4565 | 15127 13825 17 | 0.001 % |
79.98/80.20 c | 677057 | 343 1495 4565 | 15127 12594 16 | 0.001 % |
80.28/80.46 c | 679107 | 343 1495 4565 | 15127 14644 16 | 0.001 % |
80.58/80.71 c | 681362 | 343 1495 4565 | 12462 11308 16 | 0.001 % |
80.78/80.97 c | 683841 | 343 1495 4565 | 12462 11531 15 | 0.001 % |
81.08/81.25 c | 686567 | 343 1495 4565 | 12462 12157 16 | 0.001 % |
81.38/81.58 c | 689567 | 343 1495 4565 | 12462 11250 16 | 0.001 % |
81.78/81.94 c | 692863 | 343 1495 4565 | 11684 11051 16 | 0.001 % |
82.18/82.35 c | 696489 | 343 1495 4565 | 11684 11332 16 | 0.001 % |
82.68/82.80 c | 700477 | 343 1495 4565 | 11581 10467 16 | 0.001 % |
83.08/83.21 c | 704863 | 343 1495 4565 | 11581 11176 17 | 0.001 % |
83.58/83.71 c | 709687 | 343 1495 4565 | 11581 11353 17 | 0.001 % |
84.08/84.26 c | 714992 | 343 1495 4565 | 2147483647 15497 18 | 0.001 % |
84.98/85.11 c | 720827 | 343 1495 4565 | 20506 17556 18 | 0.001 % |
85.88/86.09 c | 727246 | 343 1495 4565 | 20506 18663 17 | 0.001 % |
85.98/86.11 c | 727348 | 343 1495 4565 | 20506 18765 17 | 0.001 % |
85.98/86.13 c | 727458 | 343 1495 4565 | 20506 18875 17 | 0.001 % |
85.98/86.17 c | 727579 | 343 1495 4565 | 20506 18996 17 | 0.001 % |
85.98/86.19 c | 727712 | 343 1495 4565 | 20506 19129 17 | 0.001 % |
86.08/86.22 c | 727858 | 343 1495 4565 | 20506 19275 17 | 0.001 % |
86.08/86.24 c | 728018 | 343 1495 4565 | 20506 19435 17 | 0.001 % |
86.08/86.30 c | 728194 | 343 1495 4565 | 20506 19611 17 | 0.001 % |
86.19/86.34 c | 728387 | 343 1495 4565 | 20506 19804 17 | 0.001 % |
86.19/86.39 c | 728599 | 343 1495 4565 | 20506 20016 17 | 0.001 % |
86.29/86.43 c | 728834 | 343 1495 4565 | 20506 20251 17 | 0.001 % |
86.29/86.49 c | 729090 | 343 1495 4565 | 20506 20507 17 | 0.001 % |
86.39/86.55 c | 729371 | 343 1495 4565 | 20506 15027 17 | 0.001 % |
86.49/86.60 c | 729680 | 343 1495 4565 | 20506 15336 17 | 0.001 % |
86.49/86.65 c | 730019 | 343 1495 4565 | 15656 15675 17 | 0.001 % |
86.59/86.70 c | 730392 | 343 1495 4565 | 15656 11650 16 | 0.001 % |
86.59/86.76 c | 730802 | 343 1495 4565 | 15656 12060 16 | 0.001 % |
86.69/86.82 c | 731251 | 343 1495 4565 | 15656 12509 16 | 0.001 % |
86.69/86.89 c | 731744 | 343 1495 4565 | 15656 13002 16 | 0.001 % |
86.79/86.96 c | 732286 | 343 1495 4565 | 15656 13544 16 | 0.001 % |
86.89/87.04 c | 732883 | 343 1495 4565 | 15656 14141 16 | 0.001 % |
86.99/87.11 c | 733539 | 343 1495 4565 | 15656 14797 16 | 0.001 % |
87.09/87.22 c | 734262 | 343 1495 4565 | 15656 15520 16 | 0.001 % |
87.19/87.33 c | 735055 | 343 1495 4565 | 15656 12431 16 | 0.001 % |
87.29/87.43 c | 735927 | 343 1495 4565 | 15656 13303 16 | 0.001 % |
87.39/87.53 c | 736885 | 343 1495 4565 | 15656 14261 16 | 0.001 % |
87.49/87.63 c | 737939 | 343 1495 4565 | 15656 15315 16 | 0.001 % |
87.59/87.76 c | 739097 | 343 1495 4565 | 15656 12967 16 | 0.001 % |
87.79/87.90 c | 740371 | 343 1495 4565 | 13872 11230 16 | 0.001 % |
87.89/88.04 c | 741771 | 343 1495 4565 | 13872 12630 16 | 0.001 % |
88.09/88.21 c | 743311 | 343 1495 4565 | 13872 11726 16 | 0.001 % |
88.19/88.37 c | 745005 | 343 1495 4565 | 13872 13420 16 | 0.001 % |
88.39/88.58 c | 746869 | 343 1495 4565 | 13872 13040 16 | 0.001 % |
88.69/88.80 c | 748924 | 343 1495 4565 | 13872 12898 16 | 0.001 % |
88.89/89.04 c | 751177 | 343 1495 4565 | 11844 11206 16 | 0.001 % |
89.09/89.29 c | 753655 | 343 1495 4565 | 11844 10751 16 | 0.001 % |
89.39/89.56 c | 756380 | 343 1495 4565 | 11844 10911 16 | 0.001 % |
89.69/89.86 c | 759378 | 343 1495 4565 | 11844 11406 15 | 0.001 % |
89.99/90.20 c | 762674 | 343 1495 4565 | 10765 10130 15 | 0.001 % |
90.39/90.51 c | 766299 | 343 1495 4565 | 10765 10515 16 | 0.001 % |
90.79/90.90 c | 770287 | 343 1495 4565 | 2147483647 10183 17 | 0.001 % |
91.19/91.36 c | 774672 | 343 1495 4565 | 2147483647 14568 17 | 0.001 % |
91.79/91.97 c | 779495 | 343 1495 4565 | 2147483647 19391 18 | 0.001 % |
92.59/92.72 c | 784802 | 343 1495 4565 | 19896 17191 18 | 0.001 % |
93.49/93.60 c | 790639 | 343 1495 4565 | 17720 14121 17 | 0.001 % |
94.39/94.52 c | 797058 | 343 1495 4565 | 17720 16048 17 | 0.001 % |
95.09/95.29 c | 804118 | 343 1495 4565 | 14426 11841 16 | 0.001 % |
95.19/95.30 c | 804220 | 343 1495 4565 | 14426 11943 16 | 0.001 % |
95.19/95.31 c | 804331 | 343 1495 4565 | 14426 12054 16 | 0.001 % |
95.19/95.33 c | 804453 | 343 1495 4565 | 14426 12176 16 | 0.001 % |
95.19/95.34 c | 804586 | 343 1495 4565 | 14426 12309 16 | 0.001 % |
95.19/95.36 c | 804732 | 343 1495 4565 | 14426 12455 16 | 0.001 % |
95.19/95.38 c | 804892 | 343 1495 4565 | 14426 12615 16 | 0.001 % |
95.29/95.40 c | 805068 | 343 1495 4565 | 14426 12791 16 | 0.001 % |
95.29/95.42 c | 805262 | 343 1495 4565 | 14426 12985 16 | 0.001 % |
95.29/95.44 c | 805474 | 343 1495 4565 | 14426 13197 16 | 0.001 % |
95.29/95.47 c | 805708 | 343 1495 4565 | 14426 13431 16 | 0.001 % |
95.29/95.50 c | 805965 | 343 1495 4565 | 14426 13688 16 | 0.001 % |
95.38/95.53 c | 806246 | 343 1495 4565 | 14426 13969 16 | 0.001 % |
95.38/95.56 c | 806556 | 343 1495 4565 | 14426 14279 16 | 0.001 % |
95.49/95.60 c | 806896 | 343 1495 4565 | 14426 11748 16 | 0.001 % |
95.49/95.64 c | 807269 | 343 1495 4565 | 14426 12121 16 | 0.001 % |
95.49/95.69 c | 807679 | 343 1495 4565 | 14426 12531 16 | 0.001 % |
95.59/95.73 c | 808129 | 343 1495 4565 | 14426 12981 16 | 0.001 % |
95.59/95.79 c | 808623 | 343 1495 4565 | 14426 13475 16 | 0.001 % |
95.68/95.85 c | 809168 | 343 1495 4565 | 14426 14020 16 | 0.001 % |
95.78/95.93 c | 809764 | 343 1495 4565 | 14426 11878 16 | 0.001 % |
95.78/96.00 c | 810419 | 343 1495 4565 | 12115 10259 16 | 0.001 % |
95.88/96.06 c | 811140 | 343 1495 4565 | 12115 10980 16 | 0.001 % |
95.98/96.13 c | 811932 | 343 1495 4565 | 12115 11772 16 | 0.001 % |
96.08/96.22 c | 812803 | 343 1495 4565 | 12115 10859 16 | 0.001 % |
96.18/96.31 c | 813762 | 343 1495 4565 | 12115 11818 17 | 0.001 % |
96.28/96.42 c | 814815 | 343 1495 4565 | 12115 11295 17 | 0.001 % |
96.38/96.54 c | 815973 | 343 1495 4565 | 12115 10965 17 | 0.001 % |
96.48/96.67 c | 817246 | 343 1495 4565 | 12115 10796 17 | 0.001 % |
96.69/96.81 c | 818646 | 343 1495 4565 | 12115 10801 17 | 0.001 % |
96.78/96.96 c | 820188 | 343 1495 4565 | 12156 11020 17 | 0.001 % |
96.98/97.12 c | 821883 | 343 1495 4565 | 12156 11430 17 | 0.001 % |
97.18/97.30 c | 823748 | 343 1495 4565 | 12156 12063 17 | 0.001 % |
97.38/97.51 c | 825797 | 343 1495 4565 | 12156 11557 17 | 0.001 % |
97.58/97.76 c | 828050 | 343 1495 4565 | 12156 11232 17 | 0.001 % |
97.79/97.97 c | 830530 | 343 1495 4565 | 11859 11118 17 | 0.001 % |
98.08/98.28 c | 833257 | 343 1495 4565 | 11859 11187 16 | 0.001 % |
98.38/98.56 c | 836254 | 343 1495 4565 | 11859 11483 16 | 0.001 % |
98.78/98.90 c | 839552 | 343 1495 4565 | 11859 10793 16 | 0.001 % |
99.08/99.22 c | 843178 | 343 1495 4565 | 11241 10780 17 | 0.001 % |
99.48/99.60 c | 847165 | 343 1495 4565 | 11241 10256 17 | 0.001 % |
99.88/100.05 c | 851554 | 343 1495 4565 | 2147483647 12390 17 | 0.001 % |
100.38/100.50 c | 856377 | 343 1495 4565 | 2147483647 17213 17 | 0.001 % |
101.18/101.31 c | 861683 | 343 1495 4565 | 20837 18663 17 | 0.001 % |
102.08/102.21 c | 867518 | 343 1495 4565 | 20837 19386 16 | 0.001 % |
102.78/102.94 c | 873936 | 343 1495 4565 | 16384 16104 16 | 0.001 % |
103.68/103.84 c | 880997 | 343 1495 4565 | 15337 13127 17 | 0.001 % |
104.58/104.76 c | 888762 | 343 1495 4565 | 15337 14564 17 | 0.001 % |
104.58/104.78 c | 888862 | 343 1495 4565 | 15337 14664 17 | 0.001 % |
104.58/104.79 c | 888972 | 343 1495 4565 | 15337 14774 17 | 0.001 % |
104.68/104.81 c | 889093 | 343 1495 4565 | 15337 14895 17 | 0.001 % |
104.68/104.83 c | 889226 | 343 1495 4565 | 15337 15028 17 | 0.001 % |
104.68/104.85 c | 889372 | 343 1495 4565 | 15337 15174 17 | 0.001 % |
104.68/104.87 c | 889535 | 343 1495 4565 | 15337 15337 17 | 0.001 % |
104.78/104.90 c | 889713 | 343 1495 4565 | 15337 12430 17 | 0.001 % |
104.78/104.92 c | 889907 | 343 1495 4565 | 15337 12624 17 | 0.001 % |
104.78/104.95 c | 890120 | 343 1495 4565 | 12718 10317 16 | 0.001 % |
104.78/104.97 c | 890353 | 343 1495 4565 | 12718 10550 16 | 0.001 % |
104.88/105.00 c | 890609 | 343 1495 4565 | 12718 10806 16 | 0.001 % |
104.88/105.03 c | 890892 | 343 1495 4565 | 12718 11089 16 | 0.001 % |
104.88/105.05 c | 891201 | 343 1495 4565 | 12718 11398 16 | 0.001 % |
104.88/105.08 c | 891540 | 343 1495 4565 | 12718 11737 17 | 0.001 % |
104.98/105.12 c | 891912 | 343 1495 4565 | 12718 12109 17 | 0.001 % |
104.98/105.16 c | 892321 | 343 1495 4565 | 12718 12518 17 | 0.001 % |
105.08/105.21 c | 892770 | 343 1495 4565 | 12718 11052 16 | 0.001 % |
105.08/105.26 c | 893264 | 343 1495 4565 | 12718 11546 16 | 0.001 % |
105.18/105.31 c | 893808 | 343 1495 4565 | 12718 12090 16 | 0.001 % |
105.18/105.37 c | 894404 | 343 1495 4565 | 12718 12686 16 | 0.001 % |
105.28/105.44 c | 895059 | 343 1495 4565 | 12718 11649 16 | 0.001 % |
105.38/105.52 c | 895780 | 343 1495 4565 | 12718 12370 16 | 0.001 % |
105.48/105.62 c | 896574 | 343 1495 4565 | 12718 11468 16 | 0.001 % |
105.58/105.72 c | 897445 | 343 1495 4565 | 12718 12339 16 | 0.001 % |
105.68/105.83 c | 898405 | 343 1495 4565 | 12718 11582 16 | 0.001 % |
105.78/105.95 c | 899460 | 343 1495 4565 | 12718 12637 16 | 0.001 % |
105.88/106.08 c | 900618 | 343 1495 4565 | 11429 10504 16 | 0.001 % |
106.08/106.21 c | 901892 | 343 1495 4565 | 11429 10340 16 | 0.001 % |
106.18/106.36 c | 903294 | 343 1495 4565 | 11429 10330 16 | 0.001 % |
106.38/106.52 c | 904834 | 343 1495 4565 | 11429 10462 16 | 0.001 % |
106.48/106.69 c | 906528 | 343 1495 4565 | 11429 10797 16 | 0.001 % |
106.68/106.87 c | 908392 | 343 1495 4565 | 11429 11328 16 | 0.001 % |
106.98/107.11 c | 910443 | 343 1495 4565 | 10275 9526 15 | 0.001 % |
107.18/107.31 c | 912697 | 343 1495 4565 | 10275 9720 15 | 0.001 % |
107.38/107.52 c | 915177 | 343 1495 4565 | 10275 10141 15 | 0.001 % |
107.58/107.77 c | 917904 | 343 1495 4565 | 10275 9775 16 | 0.001 % |
107.88/108.05 c | 920901 | 343 1495 4565 | 2147483647 10706 17 | 0.001 % |
108.28/108.40 c | 924197 | 343 1495 4565 | 2147483647 14002 17 | 0.001 % |
108.68/108.87 c | 927822 | 343 1495 4565 | 2147483647 17627 17 | 0.001 % |
109.28/109.41 c | 931811 | 343 1495 4565 | 19805 18097 17 | 0.001 % |
109.88/110.04 c | 936197 | 343 1495 4565 | 19805 18037 17 | 0.001 % |
110.48/110.60 c | 941023 | 343 1495 4565 | 17425 14736 16 | 0.001 % |
111.08/111.24 c | 946328 | 343 1495 4565 | 17425 16520 16 | 0.001 % |
111.77/111.95 c | 952163 | 343 1495 4565 | 16694 15622 17 | 0.001 % |
112.57/112.74 c | 958581 | 343 1495 4565 | 16694 15414 16 | 0.001 % |
113.27/113.44 c | 965641 | 343 1495 4565 | 13529 12270 17 | 0.001 % |
114.07/114.29 c | 973405 | 343 1495 4565 | 12491 12205 17 | 0.001 % |
114.87/115.09 c | 981945 | 343 1495 4565 | 11340 10939 17 | 0.001 % |
114.97/115.10 c | 982045 | 343 1495 4565 | 11340 11039 17 | 0.001 % |
114.97/115.11 c | 982158 | 343 1495 4565 | 11340 11152 17 | 0.001 % |
114.97/115.13 c | 982279 | 343 1495 4565 | 11340 11273 17 | 0.001 % |
114.97/115.15 c | 982412 | 343 1495 4565 | 11340 10235 17 | 0.001 % |
114.97/115.17 c | 982560 | 343 1495 4565 | 11340 10383 17 | 0.001 % |
114.97/115.19 c | 982722 | 343 1495 4565 | 11340 10545 17 | 0.001 % |
115.07/115.21 c | 982900 | 343 1495 4565 | 11340 10723 17 | 0.001 % |
115.07/115.23 c | 983093 | 343 1495 4565 | 11340 10916 17 | 0.001 % |
115.07/115.26 c | 983305 | 343 1495 4565 | 11340 11128 17 | 0.001 % |
115.07/115.28 c | 983538 | 343 1495 4565 | 11340 11361 17 | 0.001 % |
115.17/115.32 c | 983794 | 343 1495 4565 | 11340 10383 17 | 0.001 % |
115.17/115.35 c | 984075 | 343 1495 4565 | 11340 10664 17 | 0.001 % |
115.17/115.39 c | 984385 | 343 1495 4565 | 11340 10974 17 | 0.001 % |
115.27/115.42 c | 984724 | 343 1495 4565 | 11340 11313 17 | 0.001 % |
115.27/115.47 c | 985096 | 343 1495 4565 | 11340 10464 17 | 0.001 % |
115.37/115.52 c | 985506 | 343 1495 4565 | 11340 10874 17 | 0.001 % |
115.37/115.58 c | 985955 | 343 1495 4565 | 11340 11323 17 | 0.001 % |
115.46/115.64 c | 986449 | 343 1495 4565 | 11340 10515 17 | 0.001 % |
115.46/115.69 c | 986991 | 343 1495 4565 | 11340 11057 17 | 0.001 % |
115.56/115.77 c | 987588 | 343 1495 4565 | 11340 10325 17 | 0.001 % |
115.66/115.83 c | 988244 | 343 1495 4565 | 11340 10981 17 | 0.001 % |
115.76/115.91 c | 988964 | 343 1495 4565 | 11340 10397 17 | 0.001 % |
115.76/115.99 c | 989756 | 343 1495 4565 | 11340 11189 17 | 0.001 % |
115.86/116.08 c | 990627 | 343 1495 4565 | 10132 9608 16 | 0.001 % |
115.96/116.18 c | 991585 | 343 1495 4565 | 10132 9518 16 | 0.001 % |
116.06/116.29 c | 992638 | 343 1495 4565 | 10132 9556 16 | 0.001 % |
116.26/116.40 c | 993796 | 343 1495 4565 | 10132 9698 16 | 0.001 % |
116.37/116.51 c | 995070 | 343 1495 4565 | 10132 9956 16 | 0.001 % |
116.47/116.65 c | 996470 | 343 1495 4565 | 10132 9322 16 | 0.001 % |
116.56/116.78 c | 998011 | 343 1495 4565 | 10132 9848 16 | 0.001 % |
116.76/116.95 c | 999705 | 343 1495 4565 | 10132 9512 16 | 0.001 % |
116.96/117.11 c | 1001569 | 343 1495 4565 | 2147483647 11376 16 | 0.001 % |
117.16/117.32 c | 1003619 | 343 1495 4565 | 2147483647 13426 16 | 0.001 % |
117.36/117.55 c | 1005872 | 343 1495 4565 | 2147483647 15679 17 | 0.001 % |
117.66/117.90 c | 1008352 | 343 1495 4565 | 2147483647 18159 17 | 0.001 % |
118.16/118.36 c | 1011078 | 343 1495 4565 | 19807 17394 17 | 0.001 % |
118.57/118.79 c | 1014075 | 343 1495 4565 | 19807 15909 17 | 0.001 % |
119.06/119.26 c | 1017373 | 343 1495 4565 | 19807 19207 17 | 0.001 % |
119.56/119.73 c | 1020998 | 343 1495 4565 | 17220 14300 16 | 0.001 % |
120.06/120.29 c | 1024985 | 343 1495 4565 | 17220 14413 16 | 0.001 % |
120.66/120.82 c | 1029370 | 343 1495 4565 | 17220 14943 16 | 0.001 % |
121.16/121.36 c | 1034193 | 343 1495 4565 | 15574 13489 16 | 0.001 % |
121.76/121.98 c | 1039498 | 343 1495 4565 | 15574 13049 17 | 0.001 % |
122.46/122.67 c | 1045333 | 343 1495 4565 | 13554 11531 17 | 0.001 % |
123.16/123.33 c | 1051751 | 343 1495 4565 | 11747 11588 15 | 0.001 % |
123.86/124.01 c | 1058811 | 343 1495 4565 | 11747 10978 17 | 0.001 % |
124.56/124.76 c | 1066575 | 343 1495 4565 | 10936 10846 16 | 0.001 % |
125.36/125.54 c | 1075117 | 343 1495 4565 | 2147483647 15000 16 | 0.001 % |
126.66/126.80 c | 1084512 | 343 1495 4565 | 19883 15862 16 | 0.001 % |
126.66/126.82 c | 1084613 | 343 1495 4565 | 19883 15963 16 | 0.001 % |
126.66/126.83 c | 1084724 | 343 1495 4565 | 19883 16074 16 | 0.001 % |
126.66/126.85 c | 1084847 | 343 1495 4565 | 19883 16197 16 | 0.001 % |
126.66/126.87 c | 1084983 | 343 1495 4565 | 19883 16333 16 | 0.001 % |
126.66/126.89 c | 1085129 | 343 1495 4565 | 19883 16479 16 | 0.001 % |
126.76/126.91 c | 1085289 | 343 1495 4565 | 19883 16639 16 | 0.001 % |
126.76/126.93 c | 1085465 | 343 1495 4565 | 19883 16815 16 | 0.001 % |
126.76/126.97 c | 1085661 | 343 1495 4565 | 19883 17011 16 | 0.001 % |
126.76/126.99 c | 1085873 | 343 1495 4565 | 19883 17223 16 | 0.001 % |
126.86/127.02 c | 1086106 | 343 1495 4565 | 19883 17456 16 | 0.001 % |
126.86/127.06 c | 1086364 | 343 1495 4565 | 19883 17714 17 | 0.001 % |
126.86/127.10 c | 1086646 | 343 1495 4565 | 19883 17996 17 | 0.001 % |
126.96/127.13 c | 1086956 | 343 1495 4565 | 19883 18306 17 | 0.001 % |
126.96/127.19 c | 1087297 | 343 1495 4565 | 19883 18647 17 | 0.001 % |
127.06/127.25 c | 1087670 | 343 1495 4565 | 19883 19020 17 | 0.001 % |
127.16/127.31 c | 1088081 | 343 1495 4565 | 19883 19431 17 | 0.001 % |
127.16/127.39 c | 1088531 | 343 1495 4565 | 19883 19881 17 | 0.001 % |
127.26/127.47 c | 1089024 | 343 1495 4565 | 19883 15418 16 | 0.001 % |
127.36/127.54 c | 1089568 | 343 1495 4565 | 19883 15962 16 | 0.001 % |
127.46/127.64 c | 1090164 | 343 1495 4565 | 16394 12535 16 | 0.001 % |
127.56/127.71 c | 1090819 | 343 1495 4565 | 16394 13190 16 | 0.001 % |
127.56/127.78 c | 1091541 | 343 1495 4565 | 16394 13912 16 | 0.001 % |
127.66/127.88 c | 1092333 | 343 1495 4565 | 16394 14704 17 | 0.001 % |
127.76/127.99 c | 1093204 | 343 1495 4565 | 16394 15575 17 | 0.001 % |
127.96/128.13 c | 1094162 | 343 1495 4565 | 16394 13013 16 | 0.001 % |
128.06/128.26 c | 1095215 | 343 1495 4565 | 16394 14066 16 | 0.001 % |
128.26/128.40 c | 1096374 | 343 1495 4565 | 16394 15225 17 | 0.001 % |
128.36/128.57 c | 1097647 | 343 1495 4565 | 16394 13238 17 | 0.001 % |
128.56/128.73 c | 1099048 | 343 1495 4565 | 16394 14639 17 | 0.001 % |
128.76/128.92 c | 1100589 | 343 1495 4565 | 15592 13149 17 | 0.001 % |
128.96/129.13 c | 1102285 | 343 1495 4565 | 15592 14845 17 | 0.001 % |
129.16/129.36 c | 1104148 | 343 1495 4565 | 15592 13614 17 | 0.001 % |
129.46/129.61 c | 1106199 | 343 1495 4565 | 15592 12667 17 | 0.001 % |
129.66/129.86 c | 1108454 | 343 1495 4565 | 15592 14922 17 | 0.001 % |
129.96/130.16 c | 1110932 | 343 1495 4565 | 13559 12002 17 | 0.001 % |
130.26/130.43 c | 1113658 | 343 1495 4565 | 13559 12576 17 | 0.001 % |
130.56/130.74 c | 1116656 | 343 1495 4565 | 13559 13557 17 | 0.001 % |
130.96/131.12 c | 1119953 | 343 1495 4565 | 13559 12983 17 | 0.001 % |
131.36/131.50 c | 1123579 | 343 1495 4565 | 13030 12890 17 | 0.001 % |
131.76/131.92 c | 1127566 | 343 1495 4565 | 13030 11468 17 | 0.001 % |
132.15/132.37 c | 1131952 | 343 1495 4565 | 12116 11007 16 | 0.001 % |
132.65/132.89 c | 1136777 | 343 1495 4565 | 12116 11645 16 | 0.001 % |
133.35/133.51 c | 1142083 | 343 1495 4565 | 11764 10448 16 | 0.001 % |
133.85/134.02 c | 1147918 | 343 1495 4565 | 11764 11626 17 | 0.001 % |
134.45/134.68 c | 1154336 | 343 1495 4565 | 10831 10271 17 | 0.001 % |
135.16/135.35 c | 1161397 | 343 1495 4565 | 10240 9581 16 | 0.001 % |
135.85/136.08 c | 1169161 | 343 1495 4565 | 10240 10152 16 | 0.001 % |
136.85/137.07 c | 1177701 | 343 1495 4565 | 2147483647 17664 16 | 0.001 % |
138.25/138.41 c | 1187097 | 343 1495 4565 | 19964 18291 17 | 0.001 % |
139.35/139.57 c | 1197430 | 343 1495 4565 | 16160 16046 16 | 0.001 % |
139.35/139.59 c | 1197530 | 343 1495 4565 | 16160 16146 16 | 0.001 % |
139.46/139.61 c | 1197641 | 343 1495 4565 | 16160 12851 16 | 0.001 % |
139.46/139.63 c | 1197763 | 343 1495 4565 | 16160 12973 16 | 0.001 % |
139.46/139.65 c | 1197897 | 343 1495 4565 | 16160 13107 16 | 0.001 % |
139.46/139.67 c | 1198043 | 343 1495 4565 | 16160 13253 16 | 0.001 % |
139.56/139.70 c | 1198204 | 343 1495 4565 | 16160 13414 16 | 0.001 % |
139.56/139.73 c | 1198384 | 343 1495 4565 | 16160 13594 16 | 0.001 % |
139.56/139.75 c | 1198577 | 343 1495 4565 | 16160 13787 16 | 0.001 % |
139.56/139.78 c | 1198790 | 343 1495 4565 | 16160 14000 16 | 0.001 % |
139.65/139.81 c | 1199023 | 343 1495 4565 | 16160 14233 16 | 0.001 % |
139.65/139.83 c | 1199280 | 343 1495 4565 | 16160 14490 16 | 0.001 % |
139.65/139.87 c | 1199561 | 343 1495 4565 | 16160 14771 16 | 0.001 % |
139.75/139.91 c | 1199870 | 343 1495 4565 | 16160 15080 16 | 0.001 % |
139.75/139.97 c | 1200211 | 343 1495 4565 | 15210 12237 16 | 0.001 % |
139.85/140.01 c | 1200585 | 343 1495 4565 | 15210 12611 16 | 0.001 % |
139.85/140.05 c | 1200994 | 343 1495 4565 | 15210 13020 16 | 0.001 % |
139.95/140.10 c | 1201444 | 343 1495 4565 | 15210 13470 16 | 0.001 % |
139.95/140.15 c | 1201937 | 343 1495 4565 | 15210 13963 17 | 0.001 % |
140.05/140.22 c | 1202479 | 343 1495 4565 | 15210 14505 17 | 0.001 % |
140.15/140.30 c | 1203075 | 343 1495 4565 | 15210 15101 17 | 0.001 % |
140.15/140.39 c | 1203730 | 343 1495 4565 | 15210 12792 17 | 0.001 % |
140.25/140.46 c | 1204450 | 343 1495 4565 | 15210 13512 17 | 0.001 % |
140.35/140.55 c | 1205242 | 343 1495 4565 | 15210 14304 17 | 0.001 % |
140.45/140.65 c | 1206116 | 343 1495 4565 | 15210 15178 17 | 0.001 % |
140.55/140.76 c | 1207074 | 343 1495 4565 | 15210 13302 17 | 0.001 % |
140.65/140.88 c | 1208127 | 343 1495 4565 | 15210 14355 17 | 0.001 % |
140.85/141.03 c | 1209286 | 343 1495 4565 | 15210 12671 17 | 0.001 % |
140.95/141.17 c | 1210559 | 343 1495 4565 | 13387 11480 17 | 0.001 % |
141.15/141.30 c | 1211959 | 343 1495 4565 | 13387 12880 17 | 0.001 % |
141.25/141.44 c | 1213499 | 343 1495 4565 | 13387 12415 17 | 0.001 % |
141.45/141.63 c | 1215194 | 343 1495 4565 | 13387 12290 17 | 0.001 % |
141.65/141.85 c | 1217057 | 343 1495 4565 | 13387 12325 17 | 0.001 % |
141.85/142.06 c | 1219107 | 343 1495 4565 | 13387 12483 18 | 0.001 % |
142.15/142.31 c | 1221360 | 343 1495 4565 | 13376 12897 18 | 0.001 % |
142.35/142.59 c | 1223840 | 343 1495 4565 | 13376 11604 18 | 0.001 % |
142.65/142.88 c | 1226565 | 343 1495 4565 | 13376 12556 17 | 0.001 % |
143.05/143.25 c | 1229563 | 343 1495 4565 | 13376 11830 17 | 0.001 % |
143.35/143.58 c | 1232859 | 343 1495 4565 | 12267 11821 17 | 0.001 % |
143.75/143.94 c | 1236484 | 343 1495 4565 | 12267 11253 17 | 0.001 % |
144.15/144.33 c | 1240472 | 343 1495 4565 | 12007 11143 17 | 0.001 % |
144.65/144.80 c | 1244857 | 343 1495 4565 | 12007 11138 17 | 0.001 % |
145.05/145.29 c | 1249680 | 343 1495 4565 | 12007 11885 17 | 0.001 % |
145.55/145.77 c | 1254986 | 343 1495 4565 | 10908 10360 17 | 0.001 % |
146.15/146.34 c | 1260821 | 343 1495 4565 | 2147483647 10723 17 | 0.001 % |
146.85/147.08 c | 1267241 | 343 1495 4565 | 2147483647 17143 17 | 0.001 % |
147.75/147.99 c | 1274300 | 343 1495 4565 | 19902 16523 17 | 0.001 % |
148.95/149.10 c | 1282065 | 343 1495 4565 | 17406 15195 17 | 0.001 % |
149.85/150.03 c | 1290607 | 343 1495 4565 | 15665 13060 18 | 0.001 % |
150.95/151.16 c | 1300001 | 343 1495 4565 | 15665 13537 18 | 0.001 % |
152.15/152.31 c | 1310334 | 343 1495 4565 | 12128 10464 17 | 0.001 % |
153.35/153.52 c | 1321702 | 343 1495 4565 | 10728 9423 17 | 0.001 % |
153.35/153.53 c | 1321802 | 343 1495 4565 | 10728 9523 17 | 0.001 % |
153.35/153.54 c | 1321913 | 343 1495 4565 | 10728 9634 17 | 0.001 % |
153.35/153.56 c | 1322034 | 343 1495 4565 | 10728 9755 17 | 0.001 % |
153.35/153.57 c | 1322168 | 343 1495 4565 | 10728 9889 17 | 0.001 % |
153.35/153.59 c | 1322315 | 343 1495 4565 | 10728 10036 17 | 0.001 % |
153.44/153.60 c | 1322475 | 343 1495 4565 | 10728 10196 17 | 0.001 % |
153.44/153.62 c | 1322652 | 343 1495 4565 | 10728 10373 17 | 0.001 % |
153.44/153.64 c | 1322848 | 343 1495 4565 | 10728 10569 17 | 0.001 % |
153.44/153.66 c | 1323060 | 343 1495 4565 | 10728 9449 17 | 0.001 % |
153.44/153.68 c | 1323294 | 343 1495 4565 | 10728 9683 17 | 0.001 % |
153.54/153.70 c | 1323550 | 343 1495 4565 | 10728 9939 17 | 0.001 % |
153.54/153.73 c | 1323832 | 343 1495 4565 | 10728 10221 17 | 0.001 % |
153.54/153.76 c | 1324141 | 343 1495 4565 | 10728 10530 17 | 0.001 % |
153.54/153.80 c | 1324480 | 343 1495 4565 | 10728 9608 16 | 0.001 % |
153.64/153.84 c | 1324852 | 343 1495 4565 | 10728 9980 16 | 0.001 % |
153.64/153.87 c | 1325261 | 343 1495 4565 | 10728 10389 16 | 0.001 % |
153.75/153.92 c | 1325711 | 343 1495 4565 | 10728 9625 16 | 0.001 % |
153.75/153.96 c | 1326206 | 343 1495 4565 | 10728 10120 16 | 0.001 % |
153.85/154.01 c | 1326748 | 343 1495 4565 | 10728 10662 16 | 0.001 % |
153.85/154.07 c | 1327344 | 343 1495 4565 | 10728 10090 17 | 0.001 % |
153.94/154.13 c | 1327999 | 343 1495 4565 | 10728 10745 17 | 0.001 % |
154.04/154.20 c | 1328721 | 343 1495 4565 | 10728 10337 17 | 0.001 % |
154.14/154.30 c | 1329514 | 343 1495 4565 | 10728 9999 17 | 0.001 % |
154.14/154.39 c | 1330385 | 343 1495 4565 | 10485 9787 17 | 0.001 % |
154.24/154.48 c | 1331345 | 343 1495 4565 | 10485 9696 17 | 0.001 % |
154.34/154.57 c | 1332398 | 343 1495 4565 | 10485 9698 17 | 0.001 % |
154.44/154.68 c | 1333556 | 343 1495 4565 | 10485 9804 17 | 0.001 % |
154.64/154.81 c | 1334833 | 343 1495 4565 | 10485 10029 17 | 0.001 % |
154.74/154.94 c | 1336233 | 343 1495 4565 | 10485 10378 17 | 0.001 % |
154.85/155.07 c | 1337773 | 343 1495 4565 | 10485 9813 17 | 0.001 % |
155.04/155.21 c | 1339467 | 343 1495 4565 | 10485 10455 18 | 0.001 % |
155.24/155.40 c | 1341331 | 343 1495 4565 | 2147483647 11267 17 | 0.001 % |
155.44/155.62 c | 1343380 | 343 1495 4565 | 2147483647 13316 17 | 0.001 % |
155.64/155.89 c | 1345635 | 343 1495 4565 | 2147483647 15571 17 | 0.001 % |
155.94/156.19 c | 1348115 | 343 1495 4565 | 2147483647 18051 18 | 0.001 % |
156.34/156.59 c | 1350840 | 343 1495 4565 | 19936 17389 18 | 0.001 % |
156.84/157.07 c | 1353838 | 343 1495 4565 | 19936 15799 17 | 0.001 % |
157.34/157.54 c | 1357137 | 343 1495 4565 | 19936 19098 17 | 0.001 % |
157.84/158.05 c | 1360763 | 343 1495 4565 | 17007 13618 16 | 0.001 % |
158.34/158.52 c | 1364752 | 343 1495 4565 | 17007 13841 17 | 0.001 % |
158.84/159.01 c | 1369140 | 343 1495 4565 | 17007 14658 16 | 0.001 % |
159.34/159.57 c | 1373963 | 343 1495 4565 | 15518 13100 16 | 0.001 % |
159.74/159.90 c ===============================================================================
159.74/159.90 c restarts : 1370
159.74/159.90 c conflicts : 1377023 (8621 /sec)
159.74/159.90 c decisions : 1652764 (1.81 % random) (10348 /sec)
159.74/159.90 c propagations : 74316037 (465290 /sec)
159.74/159.90 c conflict literals : 24400763 (20.79 % deleted)
159.74/159.90 c Memory used : 6.20 MB
159.74/159.90 c CPU time : 159.72 s
159.74/159.90 c
159.74/159.90 s SATISFIABLE
159.74/159.91 s SATISFIABLE
159.74/159.91 v 1 -2 3 4 -5 -6 7 -8 9 -10 -11 -12 -13 14 15 16 -17 -18 19 20 -21 -22 -23 24 25 -26 -27 28 29 -30 -31 -32 -33 -34 -35 -36 -37 -38 -39 -40 -41 42 -43 -44 -45 46 -47 -48 49 -50 -51 -52 53 54 55 56 -57 -58 -59 -60 61 62 63 64 -65 -66 -67 -68 -69 -70 71 72 73 74 75 -76 77 -78 79 80 81 82 83 84 85 86 87 -88 -89 90 91 -92 93 -94 95 -96 -97 98 99 100 -101 102 103 -104 -105 106 107 -108 -109 -110 111 -112 -113 -114 115 -116 117 -118 -119 -120 -121 -122 -123 124 125 -126 -127 128 129 130 -131 -132 -133 134 135 136 137 -138 -139 140 -141 142 -143 -144 -145 -146 -147 -148 149 150 -151 -152 -153 154 155 -156 157 158 159 160 -161 -162 -163 -164 165 -166 -167 168 169 -170 171 172 173 -174 175 -176 177 -178 179 -180 -181 -182 183 184 185 186 187 188 -189 -190 -191 192 193 194 195 -196 197 -198 -199 -200 -201 202 203 -204 205 -206 -207 208 -209 210 211 -212 -213 214 215 216 217 -218 -219 -220 -221 222 223 -224 225 226 227 228 -229 230 -231 -232 -233 -234 -235 -236 237 -238 239 240 -241 -242 -243 -244 245 246 247 -248 -249 -250 251 -252 -253 -254 255 256 257 -258 259 -260 -261 -262 -263 -264 -265 266 -267 268 -269 -270 -271 272 -273 -274 -275 -276 -277 278 279 -280 -281 -282 283 -284 -285 -286 -287 -288 289 -290 291 292 293 294 -295 -296 -297 298 -299 -300 301 302 303 304 305 306 307 -308 -309 310 311 -312 -313 -314 315 -316 -317 318 -319 320 321 322 323 -324 325 -326 -327 328 329 330 331 -332 333 -334 -335 -336 337 338 -339 -340 341 342 343 -344 -345 -346 -347 -348 349 350 -351 352 353 354 355 -356 357 -358 359 360 0
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1833577-1242823582/watcher-1833577-1242823582 -o /tmp/evaluation-result-1833577-1242823582/solver-1833577-1242823582 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1833577-1242823582.cnf
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1230 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.00 1.00 1.02 3/64 14993
/proc/meminfo: memFree=1875576/2055920 swapFree=4179700/4192956
[pid=14993] ppid=14991 vsize=5356 CPUtime=0
/proc/14993/stat : 14993 (SatELiteGTI) R 14991 14993 14887 0 -1 4194304 291 249 0 0 0 0 0 0 18 0 1 0 310385965 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 255539210739 0 0 4100 65536 0 0 0 17 0 0 0
/proc/14993/statm: 1339 237 197 169 0 50 0
[startup+0.0615169 s]
/proc/loadavg: 1.00 1.00 1.02 3/64 14993
/proc/meminfo: memFree=1875576/2055920 swapFree=4179700/4192956
[pid=14993] ppid=14991 vsize=5356 CPUtime=0
/proc/14993/stat : 14993 (SatELiteGTI) S 14991 14993 14887 0 -1 4194304 336 402 0 0 0 0 0 0 16 0 1 0 310385965 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 255539602244 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/14993/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.101521 s]
/proc/loadavg: 1.00 1.00 1.02 3/64 14993
/proc/meminfo: memFree=1875576/2055920 swapFree=4179700/4192956
[pid=14993] ppid=14991 vsize=5356 CPUtime=0
/proc/14993/stat : 14993 (SatELiteGTI) S 14991 14993 14887 0 -1 4194304 336 402 0 0 0 0 0 0 16 0 1 0 310385965 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 255539602244 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/14993/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.301539 s]
/proc/loadavg: 1.00 1.00 1.02 3/64 14993
/proc/meminfo: memFree=1875576/2055920 swapFree=4179700/4192956
[pid=14993] ppid=14991 vsize=5356 CPUtime=0
/proc/14993/stat : 14993 (SatELiteGTI) S 14991 14993 14887 0 -1 4194304 336 402 0 0 0 0 0 0 16 0 1 0 310385965 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 255539602244 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/14993/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.701577 s]
/proc/loadavg: 1.00 1.00 1.02 3/64 14993
/proc/meminfo: memFree=1875576/2055920 swapFree=4179700/4192956
[pid=14993] ppid=14991 vsize=5356 CPUtime=0
/proc/14993/stat : 14993 (SatELiteGTI) S 14991 14993 14887 0 -1 4194304 336 402 0 0 0 0 0 0 16 0 1 0 310385965 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 255539602244 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/14993/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+1.50165 s]
/proc/loadavg: 1.00 1.00 1.02 2/66 14999
/proc/meminfo: memFree=1873896/2055920 swapFree=4179700/4192956
[pid=14993] ppid=14991 vsize=5356 CPUtime=0
/proc/14993/stat : 14993 (SatELiteGTI) S 14991 14993 14887 0 -1 4194304 336 402 0 0 0 0 0 0 16 0 1 0 310385965 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 255539602244 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/14993/statm: 1339 239 197 169 0 50 0
[pid=14999] ppid=14993 vsize=3648 CPUtime=1.47
/proc/14999/stat : 14999 (minisat_static) R 14993 14993 14887 0 -1 4194304 546 0 0 0 147 0 0 0 25 0 1 0 310385966 3735552 532 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/14999/statm: 912 532 76 171 0 739 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 9004
[startup+3.1018 s]
/proc/loadavg: 1.00 1.00 1.02 2/66 14999
/proc/meminfo: memFree=1872872/2055920 swapFree=4179700/4192956
[pid=14993] ppid=14991 vsize=5356 CPUtime=0
/proc/14993/stat : 14993 (SatELiteGTI) S 14991 14993 14887 0 -1 4194304 336 402 0 0 0 0 0 0 16 0 1 0 310385965 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 255539602244 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/14993/statm: 1339 239 197 169 0 50 0
[pid=14999] ppid=14993 vsize=4208 CPUtime=3.07
/proc/14999/stat : 14999 (minisat_static) R 14993 14993 14887 0 -1 4194304 699 0 0 0 307 0 0 0 25 0 1 0 310385966 4308992 685 1992294400 134512640 135215339 4294956240 18446744073709551615 134528728 0 0 4096 3 0 0 0 17 0 0 0
/proc/14999/statm: 1052 685 76 171 0 879 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 9564
[startup+6.3011 s]
/proc/loadavg: 1.00 1.00 1.02 2/66 14999
/proc/meminfo: memFree=1872488/2055920 swapFree=4179700/4192956
[pid=14993] ppid=14991 vsize=5356 CPUtime=0
/proc/14993/stat : 14993 (SatELiteGTI) S 14991 14993 14887 0 -1 4194304 336 402 0 0 0 0 0 0 16 0 1 0 310385965 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 255539602244 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/14993/statm: 1339 239 197 169 0 50 0
[pid=14999] ppid=14993 vsize=4340 CPUtime=6.26
/proc/14999/stat : 14999 (minisat_static) R 14993 14993 14887 0 -1 4194304 722 0 0 0 626 0 0 0 25 0 1 0 310385966 4444160 708 1992294400 134512640 135215339 4294956240 18446744073709551615 134528821 0 0 4096 3 0 0 0 17 0 0 0
/proc/14999/statm: 1085 708 76 171 0 912 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 9696
[startup+12.7017 s]
/proc/loadavg: 1.00 1.00 1.01 3/66 14999
/proc/meminfo: memFree=1872112/2055920 swapFree=4179700/4192956
[pid=14993] ppid=14991 vsize=5356 CPUtime=0
/proc/14993/stat : 14993 (SatELiteGTI) S 14991 14993 14887 0 -1 4194304 336 402 0 0 0 0 0 0 16 0 1 0 310385965 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 255539602244 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/14993/statm: 1339 239 197 169 0 50 0
[pid=14999] ppid=14993 vsize=4608 CPUtime=12.67
/proc/14999/stat : 14999 (minisat_static) R 14993 14993 14887 0 -1 4194304 796 0 0 0 1266 1 0 0 25 0 1 0 310385966 4718592 782 1992294400 134512640 135215339 4294956240 18446744073709551615 134527221 0 0 4096 3 0 0 0 17 0 0 0
/proc/14999/statm: 1152 782 76 171 0 979 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 9964
[startup+25.5019 s]
/proc/loadavg: 1.00 1.00 1.01 2/66 14999
/proc/meminfo: memFree=1871984/2055920 swapFree=4179700/4192956
[pid=14993] ppid=14991 vsize=5356 CPUtime=0
/proc/14993/stat : 14993 (SatELiteGTI) S 14991 14993 14887 0 -1 4194304 336 402 0 0 0 0 0 0 16 0 1 0 310385965 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 255539602244 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/14993/statm: 1339 239 197 169 0 50 0
[pid=14999] ppid=14993 vsize=4740 CPUtime=25.44
/proc/14999/stat : 14999 (minisat_static) R 14993 14993 14887 0 -1 4194304 837 0 0 0 2543 1 0 0 25 0 1 0 310385966 4853760 823 1992294400 134512640 135215339 4294956240 18446744073709551615 134528779 0 0 4096 3 0 0 0 17 1 0 0
/proc/14999/statm: 1185 823 76 171 0 1012 0
Current children cumulated CPU time (s) 25.44
Current children cumulated vsize (KiB) 10096
[startup+51.1013 s]
/proc/loadavg: 1.00 1.00 1.01 2/66 14999
/proc/meminfo: memFree=1871600/2055920 swapFree=4179700/4192956
[pid=14993] ppid=14991 vsize=5356 CPUtime=0
/proc/14993/stat : 14993 (SatELiteGTI) S 14991 14993 14887 0 -1 4194304 336 402 0 0 0 0 0 0 16 0 1 0 310385965 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 255539602244 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/14993/statm: 1339 239 197 169 0 50 0
[pid=14999] ppid=14993 vsize=5136 CPUtime=51.01
/proc/14999/stat : 14999 (minisat_static) R 14993 14993 14887 0 -1 4194304 935 0 0 0 5099 2 0 0 25 0 1 0 310385966 5259264 921 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/14999/statm: 1284 921 76 171 0 1111 0
Current children cumulated CPU time (s) 51.01
Current children cumulated vsize (KiB) 10492
[startup+102.305 s]
/proc/loadavg: 1.00 1.00 1.01 2/66 14999
/proc/meminfo: memFree=1870704/2055920 swapFree=4179700/4192956
[pid=14993] ppid=14991 vsize=5356 CPUtime=0
/proc/14993/stat : 14993 (SatELiteGTI) S 14991 14993 14887 0 -1 4194304 336 402 0 0 0 0 0 0 16 0 1 0 310385965 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 255539602244 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/14993/statm: 1339 239 197 169 0 50 0
[pid=14999] ppid=14993 vsize=5936 CPUtime=102.18
/proc/14999/stat : 14999 (minisat_static) R 14993 14993 14887 0 -1 4194304 1121 0 0 0 10215 3 0 0 25 0 1 0 310385966 6078464 1107 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/14999/statm: 1484 1107 76 171 0 1311 0
Current children cumulated CPU time (s) 102.18
Current children cumulated vsize (KiB) 11292
Solver just ended. Dumping a history of the last processes samples
[startup+127.901 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 14999
/proc/meminfo: memFree=1870512/2055920 swapFree=4179700/4192956
[pid=14993] ppid=14991 vsize=5356 CPUtime=0
/proc/14993/stat : 14993 (SatELiteGTI) S 14991 14993 14887 0 -1 4194304 336 402 0 0 0 0 0 0 16 0 1 0 310385965 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 255539602244 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/14993/statm: 1339 239 197 169 0 50 0
[pid=14999] ppid=14993 vsize=6212 CPUtime=127.76
/proc/14999/stat : 14999 (minisat_static) R 14993 14993 14887 0 -1 4194304 1176 0 0 0 12773 3 0 0 25 0 1 0 310385966 6361088 1162 1992294400 134512640 135215339 4294956240 18446744073709551615 134528791 0 0 4096 3 0 0 0 17 0 0 0
/proc/14999/statm: 1553 1162 76 171 0 1380 0
Current children cumulated CPU time (s) 127.76
Current children cumulated vsize (KiB) 11568
[startup+140.702 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 14999
/proc/meminfo: memFree=1870320/2055920 swapFree=4179700/4192956
[pid=14993] ppid=14991 vsize=5356 CPUtime=0
/proc/14993/stat : 14993 (SatELiteGTI) S 14991 14993 14887 0 -1 4194304 336 402 0 0 0 0 0 0 16 0 1 0 310385965 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 255539602244 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/14993/statm: 1339 239 197 169 0 50 0
[pid=14999] ppid=14993 vsize=6344 CPUtime=140.55
/proc/14999/stat : 14999 (minisat_static) R 14993 14993 14887 0 -1 4194304 1210 0 0 0 14052 3 0 0 25 0 1 0 310385966 6496256 1196 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/14999/statm: 1586 1196 76 171 0 1413 0
Current children cumulated CPU time (s) 140.55
Current children cumulated vsize (KiB) 11700
[startup+153.502 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 14999
/proc/meminfo: memFree=1870192/2055920 swapFree=4179700/4192956
[pid=14993] ppid=14991 vsize=5356 CPUtime=0
/proc/14993/stat : 14993 (SatELiteGTI) S 14991 14993 14887 0 -1 4194304 336 402 0 0 0 0 0 0 16 0 1 0 310385965 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 255539602244 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/14993/statm: 1339 239 197 169 0 50 0
[pid=14999] ppid=14993 vsize=6344 CPUtime=153.35
/proc/14999/stat : 14999 (minisat_static) R 14993 14993 14887 0 -1 4194304 1222 0 0 0 15332 3 0 0 25 0 1 0 310385966 6496256 1208 1992294400 134512640 135215339 4294956240 18446744073709551615 134537957 0 0 4096 3 0 0 0 17 0 0 0
/proc/14999/statm: 1586 1208 76 171 0 1413 0
Current children cumulated CPU time (s) 153.35
Current children cumulated vsize (KiB) 11700
[startup+156.701 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 14999
/proc/meminfo: memFree=1870192/2055920 swapFree=4179700/4192956
[pid=14993] ppid=14991 vsize=5356 CPUtime=0
/proc/14993/stat : 14993 (SatELiteGTI) S 14991 14993 14887 0 -1 4194304 336 402 0 0 0 0 0 0 16 0 1 0 310385965 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 255539602244 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/14993/statm: 1339 239 197 169 0 50 0
[pid=14999] ppid=14993 vsize=6344 CPUtime=156.54
/proc/14999/stat : 14999 (minisat_static) R 14993 14993 14887 0 -1 4194304 1226 0 0 0 15651 3 0 0 25 0 1 0 310385966 6496256 1212 1992294400 134512640 135215339 4294956240 18446744073709551615 134528734 0 0 4096 3 0 0 0 17 0 0 0
/proc/14999/statm: 1586 1212 76 171 0 1413 0
Current children cumulated CPU time (s) 156.54
Current children cumulated vsize (KiB) 11700
[startup+158.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 14999
/proc/meminfo: memFree=1870128/2055920 swapFree=4179700/4192956
[pid=14993] ppid=14991 vsize=5356 CPUtime=0
/proc/14993/stat : 14993 (SatELiteGTI) S 14991 14993 14887 0 -1 4194304 336 402 0 0 0 0 0 0 16 0 1 0 310385965 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 255539602244 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/14993/statm: 1339 239 197 169 0 50 0
[pid=14999] ppid=14993 vsize=6344 CPUtime=158.14
/proc/14999/stat : 14999 (minisat_static) R 14993 14993 14887 0 -1 4194304 1229 0 0 0 15811 3 0 0 25 0 1 0 310385966 6496256 1215 1992294400 134512640 135215339 4294956240 18446744073709551615 134528809 0 0 4096 3 0 0 0 17 0 0 0
/proc/14999/statm: 1586 1215 76 171 0 1413 0
Current children cumulated CPU time (s) 158.14
Current children cumulated vsize (KiB) 11700
[startup+159.101 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 14999
/proc/meminfo: memFree=1870128/2055920 swapFree=4179700/4192956
[pid=14993] ppid=14991 vsize=5356 CPUtime=0
/proc/14993/stat : 14993 (SatELiteGTI) S 14991 14993 14887 0 -1 4194304 336 402 0 0 0 0 0 0 16 0 1 0 310385965 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 255539602244 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/14993/statm: 1339 239 197 169 0 50 0
[pid=14999] ppid=14993 vsize=6344 CPUtime=158.94
/proc/14999/stat : 14999 (minisat_static) R 14993 14993 14887 0 -1 4194304 1229 0 0 0 15891 3 0 0 25 0 1 0 310385966 6496256 1215 1992294400 134512640 135215339 4294956240 18446744073709551615 134528809 0 0 4096 3 0 0 0 17 0 0 0
/proc/14999/statm: 1586 1215 76 171 0 1413 0
Current children cumulated CPU time (s) 158.94
Current children cumulated vsize (KiB) 11700
[startup+159.506 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 14999
/proc/meminfo: memFree=1870128/2055920 swapFree=4179700/4192956
[pid=14993] ppid=14991 vsize=5356 CPUtime=0
/proc/14993/stat : 14993 (SatELiteGTI) S 14991 14993 14887 0 -1 4194304 336 402 0 0 0 0 0 0 16 0 1 0 310385965 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 255539602244 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/14993/statm: 1339 239 197 169 0 50 0
[pid=14999] ppid=14993 vsize=6344 CPUtime=159.34
/proc/14999/stat : 14999 (minisat_static) R 14993 14993 14887 0 -1 4194304 1229 0 0 0 15931 3 0 0 25 0 1 0 310385966 6496256 1215 1992294400 134512640 135215339 4294956240 18446744073709551615 134528814 0 0 4096 3 0 0 0 17 0 0 0
/proc/14999/statm: 1586 1215 76 171 0 1413 0
Current children cumulated CPU time (s) 159.34
Current children cumulated vsize (KiB) 11700
[startup+159.901 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 14999
/proc/meminfo: memFree=1870128/2055920 swapFree=4179700/4192956
[pid=14993] ppid=14991 vsize=5356 CPUtime=0
/proc/14993/stat : 14993 (SatELiteGTI) S 14991 14993 14887 0 -1 4194304 336 402 0 0 0 0 0 0 16 0 1 0 310385965 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 255539602244 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/14993/statm: 1339 239 197 169 0 50 0
[pid=14999] ppid=14993 vsize=6344 CPUtime=159.74
/proc/14999/stat : 14999 (minisat_static) R 14993 14993 14887 0 -1 4194304 1229 0 0 0 15971 3 0 0 25 0 1 0 310385966 6496256 1215 1992294400 134512640 135215339 4294956240 18446744073709551615 134528728 0 0 4096 3 0 0 0 17 0 0 0
/proc/14999/statm: 1586 1215 76 171 0 1413 0
Current children cumulated CPU time (s) 159.74
Current children cumulated vsize (KiB) 11700
Child status: 10
Real time (s): 159.917
CPU time (s): 159.771
CPU user time (s): 159.73
CPU system time (s): 0.040993
CPU usage (%): 99.9086
Max. virtual memory (cumulated for all children) (KiB): 11700
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 159.73
system time used= 0.040993
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2262
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 47
involuntary context switches= 2926
runsolver used 0.182972 second user time and 0.492925 second system time
The end
Begin job on node48 at 2009-05-20 14:46:22
IDJOB=1833577
IDBENCH=70752
IDSOLVER=671
FILE ID=node48/1833577-1242823582
PBS_JOBID= 9322483
Free space on /tmp= 66404 MiB
SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT09/RANDOM/MEDIUM/3SAT/SATISFIABLE/360/unif-k3-r4.25-v360-c1530-S144043535-002.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1833577-1242823582/watcher-1833577-1242823582 -o /tmp/evaluation-result-1833577-1242823582/solver-1833577-1242823582 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1833577-1242823582.cnf
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 7d1ad487c2fb43d49523e96ef25c43ea
RANDOM SEED=1872948384
node48.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.209
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
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 lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5914.62
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.209
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
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 lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5586.94
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1876056 kB
Buffers: 47948 kB
Cached: 82668 kB
SwapCached: 7560 kB
Active: 42756 kB
Inactive: 96800 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1876056 kB
SwapTotal: 4192956 kB
SwapFree: 4179700 kB
Dirty: 1600 kB
Writeback: 0 kB
Mapped: 14048 kB
Slab: 26332 kB
Committed_AS: 1112596 kB
PageTables: 1372 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264952 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 66404 MiB
End job on node48 at 2009-05-20 14:49:02