0.00/0.01 c Parsing...
0.00/0.01 c ==============================================================================
0.00/0.01 c | | ORIGINAL | LEARNT | |
0.00/0.01 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress |
0.00/0.01 c ==============================================================================
0.00/0.01 c | 0 | 1527 4472 | 458 0 0 nan | 0.000 % |
0.00/0.01 c | 0 | 1512 6579 | -- 0 -- -- | -- | -15/2107
0.00/0.01 c ==============================================================================
0.00/0.01 c Result : #vars: 117 #clauses: 1512 #literals: 6579
0.00/0.01 c CPU time: 0.008998 s
0.00/0.01 c ==============================================================================
0.00/0.02 c This is MiniSat 2.0 beta
0.00/0.02 c WARNING: for repeatability, setting FPU to use double precision
0.00/0.02 c ============================[ Problem Statistics ]=============================
0.00/0.02 c | |
0.00/0.02 c | Number of variables: 117 |
0.00/0.02 c | Number of clauses: 1512 |
0.00/0.02 c | Parsing time: 0.00 s |
0.00/0.02 c ============================[ Search Statistics ]==============================
0.00/0.02 c | Conflicts | ORIGINAL | LEARNT | Progress |
0.00/0.02 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
0.00/0.02 c ===============================================================================
0.00/0.02 c | 0 | 117 1512 6579 | 504 0 nan | 0.000 % |
0.00/0.02 c | 101 | 117 1512 6579 | 504 101 12 | 0.008 % |
0.00/0.02 c | 202 | 117 1512 6579 | 504 202 17 | 0.037 % |
0.00/0.02 c | 302 | 117 1512 6579 | 504 302 16 | 0.007 % |
0.00/0.03 c | 415 | 117 1512 6579 | 504 415 15 | 0.008 % |
0.00/0.03 c | 515 | 117 1512 6579 | 504 515 16 | 0.008 % |
0.00/0.03 c | 625 | 117 1512 6579 | 504 574 16 | 0.007 % |
0.00/0.03 c | 751 | 117 1512 6579 | 504 540 16 | 0.007 % |
0.00/0.03 c | 851 | 117 1512 6579 | 504 586 17 | 0.007 % |
0.00/0.04 c | 961 | 117 1512 6579 | 504 586 18 | 0.007 % |
0.00/0.04 c | 1084 | 117 1512 6579 | 504 497 18 | 0.051 % |
0.00/0.04 c | 1217 | 117 1512 6579 | 504 576 18 | 0.037 % |
0.01/0.04 c | 1318 | 117 1512 6579 | 504 569 17 | 0.007 % |
0.01/0.04 c | 1428 | 117 1512 6579 | 504 521 16 | 0.007 % |
0.01/0.05 c | 1549 | 117 1512 6579 | 504 497 15 | 0.007 % |
0.01/0.05 c | 1682 | 117 1512 6579 | 504 575 17 | 0.007 % |
0.01/0.05 c | 1830 | 117 1512 6579 | 504 558 16 | 0.007 % |
0.01/0.05 c | 1932 | 117 1512 6579 | 504 505 15 | 0.007 % |
0.01/0.06 c | 2042 | 117 1512 6579 | 504 513 13 | 0.007 % |
0.01/0.06 c | 2163 | 117 1512 6579 | 504 583 15 | 0.008 % |
0.01/0.06 c | 2296 | 117 1512 6579 | 504 550 15 | 0.007 % |
0.01/0.06 c | 2442 | 117 1512 6579 | 504 584 17 | 0.008 % |
0.01/0.07 c | 2603 | 117 1512 6579 | 504 577 18 | 0.007 % |
0.01/0.07 c | 2704 | 117 1512 6579 | 504 569 19 | 0.008 % |
0.01/0.07 c | 2816 | 117 1512 6579 | 504 574 19 | 0.007 % |
0.01/0.07 c | 2938 | 117 1512 6579 | 504 536 19 | 0.044 % |
0.01/0.08 c | 3071 | 117 1512 6579 | 504 566 17 | 0.008 % |
0.01/0.08 c | 3217 | 117 1512 6579 | 504 553 15 | 0.007 % |
0.01/0.08 c | 3377 | 117 1512 6579 | 504 510 14 | 0.007 % |
0.01/0.09 c | 3554 | 117 1512 6579 | 504 582 16 | 0.037 % |
0.01/0.09 c | 3655 | 117 1512 6579 | 504 524 16 | 0.007 % |
0.01/0.09 c | 3765 | 117 1512 6579 | 504 530 16 | 0.007 % |
0.01/0.09 c | 3886 | 117 1512 6579 | 504 493 15 | 0.008 % |
0.01/0.09 c | 4019 | 117 1512 6579 | 504 572 16 | 0.007 % |
0.01/0.10 c | 4165 | 117 1512 6579 | 504 556 16 | 0.007 % |
0.01/0.10 c | 4328 | 117 1512 6579 | 504 560 16 | 0.007 % |
0.01/0.10 c | 4504 | 117 1512 6579 | 504 567 14 | 0.007 % |
0.01/0.11 c | 4698 | 117 1512 6579 | 504 504 11 | 0.007 % |
0.01/0.11 c | 4798 | 117 1512 6579 | 504 502 11 | 0.007 % |
0.01/0.11 c | 4910 | 117 1512 6579 | 504 515 12 | 0.007 % |
0.01/0.11 c | 5031 | 117 1512 6579 | 504 484 12 | 0.007 % |
0.01/0.12 c | 5164 | 117 1512 6579 | 504 515 12 | 0.007 % |
0.01/0.12 c | 5310 | 117 1512 6579 | 504 555 13 | 0.008 % |
0.01/0.12 c | 5470 | 117 1512 6579 | 504 551 13 | 0.007 % |
0.01/0.13 c | 5648 | 117 1512 6579 | 504 476 12 | 0.008 % |
0.01/0.13 c | 5842 | 117 1512 6579 | 504 517 12 | 0.008 % |
0.01/0.13 c | 6054 | 117 1512 6579 | 504 570 17 | 0.007 % |
0.01/0.14 c | 6154 | 117 1512 6579 | 504 562 15 | 0.007 % |
0.01/0.14 c | 6264 | 117 1512 6579 | 504 566 15 | 0.007 % |
0.01/0.14 c | 6386 | 117 1512 6579 | 504 581 14 | 0.007 % |
0.01/0.14 c | 6520 | 117 1512 6579 | 504 507 14 | 0.007 % |
0.01/0.15 c | 6668 | 117 1512 6579 | 504 505 14 | 0.007 % |
0.01/0.15 c | 6828 | 117 1512 6579 | 504 561 16 | 0.007 % |
0.01/0.15 c | 7005 | 117 1512 6579 | 504 524 14 | 0.007 % |
0.01/0.15 c | 7198 | 117 1512 6579 | 504 557 16 | 0.007 % |
0.01/0.16 c | 7412 | 117 1512 6579 | 504 549 16 | 0.007 % |
0.01/0.16 c | 7645 | 117 1512 6579 | 504 563 17 | 0.008 % |
0.01/0.16 c | 7745 | 117 1512 6579 | 504 557 18 | 0.007 % |
0.01/0.17 c | 7856 | 117 1512 6579 | 504 557 18 | 0.044 % |
0.01/0.17 c | 7977 | 117 1512 6579 | 504 568 17 | 0.007 % |
0.01/0.17 c | 8112 | 117 1512 6579 | 504 540 17 | 0.007 % |
0.01/0.17 c | 8260 | 117 1512 6579 | 504 579 16 | 0.007 % |
0.01/0.18 c | 8420 | 117 1512 6579 | 504 528 13 | 0.007 % |
0.01/0.18 c | 8596 | 117 1512 6579 | 504 507 12 | 0.007 % |
0.01/0.18 c | 8789 | 117 1512 6579 | 504 593 15 | 0.007 % |
0.01/0.19 c | 9001 | 117 1512 6579 | 504 527 14 | 0.007 % |
0.01/0.19 c | 9236 | 117 1512 6579 | 504 551 17 | 0.037 % |
0.01/0.20 c | 9493 | 117 1512 6579 | 504 590 16 | 0.007 % |
0.01/0.20 c | 9595 | 117 1512 6579 | 504 532 14 | 0.007 % |
0.01/0.20 c | 9705 | 117 1512 6579 | 504 589 16 | 0.007 % |
0.01/0.20 c | 9826 | 117 1512 6579 | 504 541 16 | 0.007 % |
0.01/0.20 c | 9960 | 117 1512 6579 | 504 569 16 | 0.044 % |
0.01/0.21 c | 10107 | 117 1512 6579 | 2147483647 609 15 | 0.007 % |
0.01/0.21 c | 10267 | 117 1512 6579 | 2147483647 769 17 | 0.007 % |
0.01/0.21 c | 10443 | 117 1512 6579 | 2147483647 945 17 | 0.007 % |
0.01/0.22 c | 10636 | 117 1512 6579 | 2147483647 1138 17 | 0.008 % |
0.01/0.22 c | 10850 | 117 1512 6579 | 2147483647 1352 17 | 0.007 % |
0.01/0.23 c | 11083 | 117 1512 6579 | 2147483647 1585 18 | 0.044 % |
0.01/0.24 c | 11340 | 117 1512 6579 | 2147483647 1842 19 | 0.052 % |
0.01/0.24 c | 11621 | 117 1512 6579 | 2147483647 2123 18 | 0.007 % |
0.01/0.24 c | 11722 | 117 1512 6579 | 2147483647 2224 18 | 0.037 % |
0.01/0.25 c | 11832 | 117 1512 6579 | 2147483647 2334 18 | 0.007 % |
0.01/0.25 c | 11953 | 117 1512 6579 | 2147483647 2455 19 | 0.008 % |
0.01/0.25 c | 12087 | 117 1512 6579 | 2147483647 2589 18 | 0.007 % |
0.01/0.26 c | 12233 | 117 1512 6579 | 2147483647 2735 18 | 0.008 % |
0.01/0.26 c | 12397 | 117 1512 6579 | 2147483647 2899 18 | 0.007 % |
0.01/0.26 c | 12575 | 117 1512 6579 | 2147483647 3077 18 | 0.007 % |
0.01/0.27 c | 12768 | 117 1512 6579 | 2147483647 3270 18 | 0.007 % |
0.01/0.28 c | 12980 | 117 1512 6579 | 2147483647 3482 18 | 0.007 % |
0.01/0.29 c | 13215 | 117 1512 6579 | 2147483647 3717 18 | 0.007 % |
0.01/0.29 c | 13474 | 117 1512 6579 | 2147483647 3976 18 | 0.007 % |
0.01/0.30 c | 13755 | 117 1512 6579 | 2147483647 4257 18 | 0.007 % |
0.01/0.31 c | 14064 | 117 1512 6579 | 2147483647 4566 18 | 0.007 % |
0.01/0.31 c | 14166 | 117 1512 6579 | 2147483647 4668 18 | 0.008 % |
0.01/0.32 c | 14276 | 117 1512 6579 | 2147483647 4778 18 | 0.007 % |
0.01/0.32 c | 14397 | 117 1512 6579 | 2147483647 4899 18 | 0.008 % |
0.01/0.33 c | 14530 | 117 1512 6579 | 2147483647 5032 18 | 0.007 % |
0.01/0.34 c | 14676 | 117 1512 6579 | 2147483647 5178 18 | 0.037 % |
0.01/0.34 c | 14836 | 117 1512 6579 | 2147483647 5338 18 | 0.007 % |
0.01/0.35 c | 15013 | 117 1512 6579 | 2147483647 5515 18 | 0.008 % |
0.01/0.36 c | 15208 | 117 1512 6579 | 2147483647 5710 18 | 0.007 % |
0.01/0.37 c | 15423 | 117 1512 6579 | 2147483647 5925 19 | 0.007 % |
0.01/0.37 c | 15657 | 117 1512 6579 | 2147483647 6159 19 | 0.007 % |
0.01/0.39 c | 15916 | 117 1512 6579 | 2147483647 6418 19 | 0.007 % |
0.01/0.40 c | 16197 | 117 1512 6579 | 2147483647 6699 19 | 0.007 % |
0.01/0.42 c | 16506 | 117 1512 6579 | 2147483647 7008 20 | 0.037 % |
0.01/0.43 c | 16848 | 117 1512 6579 | 2147483647 7350 19 | 0.007 % |
0.01/0.44 c | 16949 | 117 1512 6579 | 2147483647 7451 19 | 0.007 % |
0.01/0.44 c | 17062 | 117 1512 6579 | 2147483647 7564 19 | 0.007 % |
0.01/0.45 c | 17183 | 117 1512 6579 | 2147483647 7685 19 | 0.008 % |
0.01/0.45 c | 17317 | 117 1512 6579 | 2147483647 7819 19 | 0.007 % |
0.01/0.46 c | 17463 | 117 1512 6579 | 2147483647 7965 19 | 0.037 % |
0.01/0.47 c | 17625 | 117 1512 6579 | 2147483647 8127 19 | 0.007 % |
0.01/0.48 c | 17802 | 117 1512 6579 | 2147483647 8304 20 | 0.037 % |
0.01/0.49 c | 17997 | 117 1512 6579 | 2147483647 8499 20 | 0.007 % |
0.01/0.50 c | 18210 | 117 1512 6579 | 2147483647 8712 20 | 0.037 % |
0.01/0.51 c | 18443 | 117 1512 6579 | 2147483647 8945 20 | 0.044 % |
0.01/0.52 c | 18699 | 117 1512 6579 | 2147483647 9201 20 | 0.007 % |
0.01/0.54 c | 18980 | 117 1512 6579 | 2147483647 9482 20 | 0.008 % |
0.01/0.56 c | 19290 | 117 1512 6579 | 2147483647 9792 21 | 0.007 % |
0.01/0.58 c | 19631 | 117 1512 6579 | 2147483647 10133 21 | 0.051 % |
0.01/0.60 c | 20004 | 117 1512 6579 | 2147483647 10506 21 | 0.008 % |
0.01/0.61 c | 20104 | 117 1512 6579 | 2147483647 10606 21 | 0.007 % |
0.01/0.62 c | 20215 | 117 1512 6579 | 2147483647 10717 21 | 0.007 % |
0.01/0.63 c | 20336 | 117 1512 6579 | 2147483647 10838 21 | 0.007 % |
0.01/0.64 c | 20469 | 117 1512 6579 | 2147483647 10971 21 | 0.007 % |
0.01/0.65 c | 20616 | 117 1512 6579 | 2147483647 11118 21 | 0.007 % |
0.01/0.66 c | 20776 | 117 1512 6579 | 2147483647 11278 21 | 0.007 % |
0.01/0.67 c | 20953 | 117 1512 6579 | 2147483647 11455 21 | 0.037 % |
0.01/0.68 c | 21147 | 117 1512 6579 | 2147483647 11649 21 | 0.007 % |
0.01/0.69 c | 21359 | 117 1512 6579 | 2147483647 11861 21 | 0.008 % |
0.01/0.71 c | 21592 | 117 1512 6579 | 2147483647 12094 21 | 0.007 % |
0.01/0.72 c | 21850 | 117 1512 6579 | 2147483647 12352 21 | 0.008 % |
0.01/0.73 c | 22133 | 117 1512 6579 | 2147483647 12635 21 | 0.007 % |
0.01/0.76 c | 22442 | 117 1512 6579 | 2147483647 12944 21 | 0.007 % |
0.01/0.79 c | 22781 | 117 1512 6579 | 2147483647 13283 21 | 0.008 % |
0.01/0.81 c | 23154 | 117 1512 6579 | 2147483647 13656 21 | 0.007 % |
0.01/0.84 c | 23563 | 117 1512 6579 | 2147483647 14065 21 | 0.008 % |
0.01/0.84 c | 23664 | 117 1512 6579 | 2147483647 14166 21 | 0.008 % |
0.01/0.85 c | 23774 | 117 1512 6579 | 2147483647 14276 21 | 0.007 % |
0.01/0.85 c | 23897 | 117 1512 6579 | 2147483647 14399 21 | 0.037 % |
0.01/0.86 c | 24033 | 117 1512 6579 | 2147483647 14535 21 | 0.037 % |
0.01/0.87 c | 24181 | 117 1512 6579 | 2147483647 14683 21 | 0.007 % |
0.01/0.88 c | 24341 | 117 1512 6579 | 2147483647 14843 21 | 0.007 % |
0.01/0.89 c | 24517 | 117 1512 6579 | 2147483647 15019 21 | 0.007 % |
0.01/0.90 c | 24711 | 117 1512 6579 | 2147483647 15213 20 | 0.008 % |
0.01/0.91 c | 24923 | 117 1512 6579 | 2147483647 15425 20 | 0.007 % |
0.01/0.92 c | 25156 | 117 1512 6579 | 2147483647 15658 20 | 0.044 % |
0.01/0.94 c | 25414 | 117 1512 6579 | 2147483647 15916 20 | 0.007 % |
0.01/0.96 c | 25696 | 117 1512 6579 | 2147483647 16198 20 | 0.007 % |
0.01/0.97 c | 26006 | 117 1512 6579 | 2147483647 16508 20 | 0.007 % |
0.01/0.99 c | 26345 | 117 1512 6579 | 2147483647 16847 20 | 0.037 % |
0.97/1.01 c | 26718 | 117 1512 6579 | 2147483647 17220 20 | 0.051 % |
0.97/1.05 c | 27128 | 117 1512 6579 | 2147483647 17630 20 | 0.044 % |
0.97/1.08 c | 27577 | 117 1512 6579 | 2147483647 18079 20 | 0.037 % |
0.97/1.09 c | 27677 | 117 1512 6579 | 2147483647 18179 20 | 0.007 % |
0.97/1.10 c | 27787 | 117 1512 6579 | 2147483647 18289 20 | 0.051 % |
1.07/1.11 c | 27909 | 117 1512 6579 | 2147483647 18411 20 | 0.044 % |
1.07/1.12 c | 28042 | 117 1512 6579 | 2147483647 18544 20 | 0.007 % |
1.07/1.13 c | 28189 | 117 1512 6579 | 2147483647 18691 20 | 0.037 % |
1.07/1.14 c | 28353 | 117 1512 6579 | 2147483647 18855 20 | 0.008 % |
1.07/1.15 c | 28532 | 117 1512 6579 | 2147483647 19034 20 | 0.051 % |
1.07/1.17 c | 28726 | 117 1512 6579 | 2147483647 19228 20 | 0.007 % |
1.07/1.18 c | 28938 | 117 1512 6579 | 2147483647 19440 20 | 0.007 % |
1.16/1.20 c | 29173 | 117 1512 6579 | 2147483647 19675 20 | 0.051 % |
1.16/1.21 c | 29432 | 117 1512 6579 | 2147483647 19934 20 | 0.044 % |
1.16/1.23 c | 29714 | 117 1512 6579 | 2147483647 20216 20 | 0.008 % |
1.16/1.25 c | 30023 | 117 1512 6579 | 20503 20525 20 | 0.052 % |
1.16/1.28 c | 30362 | 117 1512 6579 | 20503 15446 19 | 0.007 % |
1.26/1.30 c | 30735 | 117 1512 6579 | 20503 15819 19 | 0.052 % |
1.26/1.32 c | 31145 | 117 1512 6579 | 20503 16229 19 | 0.051 % |
1.26/1.34 c | 31596 | 117 1512 6579 | 20503 16680 19 | 0.051 % |
1.26/1.37 c | 32090 | 117 1512 6579 | 20503 17174 19 | 0.044 % |
1.26/1.38 c | 32191 | 117 1512 6579 | 20503 17275 19 | 0.037 % |
1.26/1.39 c | 32302 | 117 1512 6579 | 20503 17386 19 | 0.037 % |
1.26/1.39 c | 32423 | 117 1512 6579 | 20503 17507 19 | 0.037 % |
1.36/1.40 c | 32556 | 117 1512 6579 | 20503 17640 19 | 0.044 % |
1.36/1.41 c | 32703 | 117 1512 6579 | 20503 17787 19 | 0.044 % |
1.36/1.42 c | 32866 | 117 1512 6579 | 20503 17950 19 | 0.044 % |
1.36/1.43 c | 33042 | 117 1512 6579 | 20503 18126 19 | 0.007 % |
1.36/1.45 c | 33235 | 117 1512 6579 | 20503 18319 19 | 0.007 % |
1.36/1.46 c | 33448 | 117 1512 6579 | 20503 18532 19 | 0.044 % |
1.36/1.48 c | 33683 | 117 1512 6579 | 20503 18767 19 | 0.008 % |
1.36/1.49 c | 33939 | 117 1512 6579 | 20503 19023 19 | 0.037 % |
1.46/1.51 c | 34223 | 117 1512 6579 | 20503 19307 19 | 0.052 % |
1.46/1.53 c | 34532 | 117 1512 6579 | 20503 19616 19 | 0.007 % |
1.46/1.55 c | 34875 | 117 1512 6579 | 20503 19959 18 | 0.037 % |
1.46/1.57 c | 35250 | 117 1512 6579 | 20503 20334 18 | 0.008 % |
1.56/1.61 c | 35661 | 117 1512 6579 | 20503 14454 16 | 0.007 % |
1.56/1.64 c | 36111 | 117 1512 6579 | 20503 14904 16 | 0.008 % |
1.56/1.67 c | 36604 | 117 1512 6579 | 20503 15397 16 | 0.037 % |
1.66/1.70 c | 37149 | 117 1512 6579 | 20503 15942 16 | 0.044 % |
1.66/1.71 c | 37249 | 117 1512 6579 | 20503 16042 16 | 0.037 % |
1.66/1.72 c | 37366 | 117 1512 6579 | 20503 16159 16 | 0.037 % |
1.66/1.73 c | 37487 | 117 1512 6579 | 20503 16280 16 | 0.037 % |
1.66/1.74 c | 37624 | 117 1512 6579 | 20503 16417 16 | 0.037 % |
1.66/1.76 c | 37770 | 117 1512 6579 | 20503 16563 16 | 0.037 % |
1.66/1.77 c | 37931 | 117 1512 6579 | 20503 16724 16 | 0.037 % |
1.66/1.78 c | 38107 | 117 1512 6579 | 20503 16900 16 | 0.008 % |
1.66/1.79 c | 38300 | 117 1512 6579 | 20503 17093 16 | 0.037 % |
1.76/1.81 c | 38512 | 117 1512 6579 | 20503 17305 16 | 0.037 % |
1.76/1.83 c | 38745 | 117 1512 6579 | 20503 17538 16 | 0.051 % |
1.76/1.84 c | 39001 | 117 1512 6579 | 20503 17794 16 | 0.007 % |
1.76/1.86 c | 39284 | 117 1512 6579 | 20503 18077 16 | 0.007 % |
1.76/1.89 c | 39594 | 117 1512 6579 | 20503 18387 16 | 0.037 % |
1.86/1.92 c | 39933 | 117 1512 6579 | 20503 18726 16 | 0.037 % |
1.86/1.96 c | 40306 | 117 1512 6579 | 18793 12755 15 | 0.037 % |
1.86/1.98 c | 40717 | 117 1512 6579 | 18793 13166 15 | 0.052 % |
1.96/2.01 c | 41169 | 117 1512 6579 | 18793 13618 15 | 0.008 % |
1.96/2.04 c | 41662 | 117 1512 6579 | 18793 14111 15 | 0.008 % |
1.96/2.07 c | 42205 | 117 1512 6579 | 18793 14654 14 | 0.037 % |
1.96/2.10 c | 42802 | 117 1512 6579 | 18793 15251 14 | 0.037 % |
2.06/2.11 c | 42902 | 117 1512 6579 | 18793 15351 14 | 0.037 % |
2.06/2.11 c | 43013 | 117 1512 6579 | 18793 15462 14 | 0.008 % |
2.06/2.12 c | 43134 | 117 1512 6579 | 18793 15583 14 | 0.008 % |
2.06/2.13 c | 43268 | 117 1512 6579 | 18793 15717 15 | 0.008 % |
2.06/2.14 c | 43416 | 117 1512 6579 | 18793 15865 15 | 0.008 % |
2.06/2.15 c | 43576 | 117 1512 6579 | 18793 16025 15 | 0.044 % |
2.06/2.16 c | 43752 | 117 1512 6579 | 18793 16201 14 | 0.037 % |
2.06/2.17 c | 43946 | 117 1512 6579 | 18793 16395 14 | 0.037 % |
2.06/2.19 c | 44158 | 117 1512 6579 | 18793 16607 14 | 0.044 % |
2.16/2.20 c | 44393 | 117 1512 6579 | 18793 16842 14 | 0.037 % |
2.16/2.22 c | 44650 | 117 1512 6579 | 18793 17099 14 | 0.037 % |
2.16/2.24 c | 44931 | 117 1512 6579 | 18793 17380 14 | 0.037 % |
2.16/2.26 c | 45241 | 117 1512 6579 | 18793 17690 14 | 0.037 % |
2.16/2.29 c | 45580 | 117 1512 6579 | 18793 18029 14 | 0.007 % |
2.26/2.32 c | 45954 | 117 1512 6579 | 18793 18403 14 | 0.007 % |
2.26/2.35 c | 46365 | 117 1512 6579 | 18793 18814 14 | 0.007 % |
2.26/2.39 c | 46816 | 117 1512 6579 | 18793 12698 14 | 0.051 % |
2.36/2.43 c | 47310 | 117 1512 6579 | 18793 13192 14 | 0.007 % |
2.36/2.47 c | 47853 | 117 1512 6579 | 18793 13735 14 | 0.007 % |
2.46/2.51 c | 48450 | 117 1512 6579 | 18793 14332 14 | 0.007 % |
2.46/2.56 c | 49106 | 117 1512 6579 | 18793 14988 14 | 0.007 % |
2.46/2.57 c | 49206 | 117 1512 6579 | 18793 15088 14 | 0.008 % |
2.46/2.58 c | 49317 | 117 1512 6579 | 18793 15199 14 | 0.044 % |
2.46/2.59 c | 49442 | 117 1512 6579 | 18793 15324 14 | 0.044 % |
2.56/2.60 c | 49576 | 117 1512 6579 | 18793 15458 14 | 0.007 % |
2.56/2.61 c | 49722 | 117 1512 6579 | 18793 15604 14 | 0.044 % |
2.56/2.63 c | 49883 | 117 1512 6579 | 18793 15765 14 | 0.044 % |
2.56/2.66 c | 50061 | 117 1512 6579 | 15883 10377 14 | 0.008 % |
2.56/2.67 c | 50254 | 117 1512 6579 | 15883 10570 14 | 0.008 % |
2.56/2.68 c | 50467 | 117 1512 6579 | 15883 10783 14 | 0.044 % |
2.56/2.69 c | 50700 | 117 1512 6579 | 15883 11016 14 | 0.044 % |
2.66/2.71 c | 50956 | 117 1512 6579 | 15883 11272 14 | 0.044 % |
2.66/2.72 c | 51237 | 117 1512 6579 | 15883 11553 14 | 0.037 % |
2.66/2.74 c | 51546 | 117 1512 6579 | 15883 11862 14 | 0.037 % |
2.66/2.76 c | 51887 | 117 1512 6579 | 15883 12203 14 | 0.007 % |
2.66/2.77 c | 52261 | 117 1512 6579 | 15883 12577 14 | 0.007 % |
2.66/2.79 c | 52672 | 117 1512 6579 | 15883 12988 15 | 0.008 % |
2.76/2.82 c | 53122 | 117 1512 6579 | 15883 13438 15 | 0.051 % |
2.76/2.85 c | 53616 | 117 1512 6579 | 15883 13932 15 | 0.044 % |
2.76/2.88 c | 54158 | 117 1512 6579 | 15883 14474 15 | 0.008 % |
2.86/2.92 c | 54754 | 117 1512 6579 | 15883 15070 15 | 0.044 % |
2.86/2.97 c | 55411 | 117 1512 6579 | 15883 15727 14 | 0.044 % |
2.96/3.03 c | 56133 | 117 1512 6579 | 15883 11083 15 | 0.008 % |
2.96/3.03 c | 56234 | 117 1512 6579 | 15883 11184 15 | 0.007 % |
2.96/3.04 c | 56345 | 117 1512 6579 | 15883 11295 15 | 0.007 % |
2.96/3.05 c | 56466 | 117 1512 6579 | 15883 11416 15 | 0.007 % |
2.96/3.05 c | 56599 | 117 1512 6579 | 15883 11549 15 | 0.037 % |
2.96/3.06 c | 56745 | 117 1512 6579 | 15883 11695 15 | 0.037 % |
2.96/3.07 c | 56907 | 117 1512 6579 | 15883 11857 15 | 0.037 % |
2.96/3.08 c | 57083 | 117 1512 6579 | 15883 12033 15 | 0.037 % |
2.96/3.08 c | 57277 | 117 1512 6579 | 15883 12227 15 | 0.037 % |
3.06/3.10 c | 57490 | 117 1512 6579 | 15883 12440 15 | 0.037 % |
3.06/3.11 c | 57723 | 117 1512 6579 | 15883 12673 15 | 0.052 % |
3.06/3.12 c | 57979 | 117 1512 6579 | 15883 12929 15 | 0.037 % |
3.06/3.14 c | 58261 | 117 1512 6579 | 15883 13211 15 | 0.037 % |
3.06/3.16 c | 58570 | 117 1512 6579 | 15883 13520 15 | 0.037 % |
3.06/3.18 c | 58911 | 117 1512 6579 | 15883 13861 15 | 0.037 % |
3.17/3.20 c | 59283 | 117 1512 6579 | 15883 14233 15 | 0.037 % |
3.17/3.23 c | 59692 | 117 1512 6579 | 15883 14642 15 | 0.037 % |
3.17/3.27 c | 60142 | 117 1512 6579 | 14950 10099 15 | 0.007 % |
3.17/3.30 c | 60635 | 117 1512 6579 | 14950 10592 15 | 0.052 % |
3.27/3.33 c | 61179 | 117 1512 6579 | 14950 11136 15 | 0.044 % |
3.27/3.36 c | 61775 | 117 1512 6579 | 14950 11732 15 | 0.008 % |
3.37/3.40 c | 62430 | 117 1512 6579 | 14950 12387 15 | 0.037 % |
3.37/3.46 c | 63152 | 117 1512 6579 | 14950 13109 15 | 0.037 % |
3.47/3.51 c | 63944 | 117 1512 6579 | 14950 13901 15 | 0.037 % |
3.47/3.52 c | 64044 | 117 1512 6579 | 14950 14001 15 | 0.008 % |
3.47/3.52 c | 64155 | 117 1512 6579 | 14950 14112 15 | 0.037 % |
3.47/3.53 c | 64276 | 117 1512 6579 | 14950 14233 15 | 0.037 % |
3.47/3.55 c | 64412 | 117 1512 6579 | 14950 14369 15 | 0.037 % |
3.47/3.55 c | 64558 | 117 1512 6579 | 14950 14515 15 | 0.037 % |
3.47/3.57 c | 64718 | 117 1512 6579 | 14950 14675 15 | 0.037 % |
3.47/3.58 c | 64899 | 117 1512 6579 | 14950 14856 15 | 0.037 % |
3.57/3.61 c | 65093 | 117 1512 6579 | 14950 9661 14 | 0.037 % |
3.57/3.62 c | 65307 | 117 1512 6579 | 14950 9875 14 | 0.044 % |
3.57/3.64 c | 65540 | 117 1512 6579 | 14950 10108 14 | 0.044 % |
3.57/3.65 c | 65796 | 117 1512 6579 | 14950 10364 14 | 0.007 % |
3.57/3.66 c | 66078 | 117 1512 6579 | 14950 10646 14 | 0.052 % |
3.57/3.68 c | 66390 | 117 1512 6579 | 14950 10958 14 | 0.008 % |
3.67/3.70 c | 66729 | 117 1512 6579 | 14950 11297 14 | 0.044 % |
3.67/3.71 c | 67101 | 117 1512 6579 | 14950 11669 14 | 0.044 % |
3.67/3.74 c | 67511 | 117 1512 6579 | 14950 12079 14 | 0.044 % |
3.67/3.76 c | 67962 | 117 1512 6579 | 14950 12530 14 | 0.051 % |
3.67/3.78 c | 68457 | 117 1512 6579 | 14950 13025 14 | 0.051 % |
3.77/3.81 c | 68999 | 117 1512 6579 | 14950 13567 14 | 0.044 % |
3.77/3.84 c | 69595 | 117 1512 6579 | 14950 14163 14 | 0.044 % |
3.87/3.90 c | 70252 | 117 1512 6579 | 14568 9767 14 | 0.044 % |
3.87/3.93 c | 70972 | 117 1512 6579 | 14568 10487 14 | 0.007 % |
3.87/3.96 c | 71765 | 117 1512 6579 | 14568 11280 14 | 0.044 % |
3.97/4.01 c | 72637 | 117 1512 6579 | 14568 12152 15 | 0.044 % |
3.97/4.02 c | 72737 | 117 1512 6579 | 14568 12252 15 | 0.007 % |
3.97/4.03 c | 72848 | 117 1512 6579 | 14568 12363 15 | 0.007 % |
3.97/4.03 c | 72971 | 117 1512 6579 | 14568 12486 15 | 0.044 % |
3.97/4.04 c | 73106 | 117 1512 6579 | 14568 12621 15 | 0.007 % |
3.97/4.05 c | 73252 | 117 1512 6579 | 14568 12767 15 | 0.008 % |
3.97/4.06 c | 73414 | 117 1512 6579 | 14568 12929 15 | 0.052 % |
3.97/4.07 c | 73590 | 117 1512 6579 | 14568 13105 15 | 0.052 % |
3.97/4.08 c | 73783 | 117 1512 6579 | 14568 13298 15 | 0.007 % |
3.97/4.09 c | 73995 | 117 1512 6579 | 14568 13510 15 | 0.044 % |
4.07/4.10 c | 74230 | 117 1512 6579 | 14568 13745 15 | 0.008 % |
4.07/4.12 c | 74486 | 117 1512 6579 | 14568 14001 15 | 0.044 % |
4.07/4.13 c | 74768 | 117 1512 6579 | 14568 14283 15 | 0.044 % |
4.07/4.15 c | 75078 | 117 1512 6579 | 14568 14593 15 | 0.008 % |
4.07/4.19 c | 75418 | 117 1512 6579 | 14568 9878 15 | 0.007 % |
4.17/4.21 c | 75791 | 117 1512 6579 | 14568 10251 16 | 0.044 % |
4.17/4.22 c | 76200 | 117 1512 6579 | 14568 10660 16 | 0.044 % |
4.17/4.25 c | 76651 | 117 1512 6579 | 14568 11111 15 | 0.008 % |
4.17/4.27 c | 77144 | 117 1512 6579 | 14568 11604 15 | 0.051 % |
4.27/4.31 c | 77688 | 117 1512 6579 | 14568 12148 15 | 0.007 % |
4.27/4.34 c | 78284 | 117 1512 6579 | 14568 12744 16 | 0.007 % |
4.27/4.38 c | 78941 | 117 1512 6579 | 14568 13401 16 | 0.044 % |
4.37/4.42 c | 79663 | 117 1512 6579 | 14568 14123 16 | 0.052 % |
4.37/4.48 c | 80456 | 117 1512 6579 | 14460 9918 16 | 0.008 % |
4.47/4.53 c | 81329 | 117 1512 6579 | 14460 10791 16 | 0.007 % |
4.47/4.59 c | 82287 | 117 1512 6579 | 14460 11749 16 | 0.037 % |
4.57/4.60 c | 82390 | 117 1512 6579 | 14460 11852 15 | 0.037 % |
4.57/4.61 c | 82500 | 117 1512 6579 | 14460 11962 15 | 0.037 % |
4.57/4.62 c | 82621 | 117 1512 6579 | 14460 12083 15 | 0.007 % |
4.57/4.62 c | 82756 | 117 1512 6579 | 14460 12218 15 | 0.051 % |
4.57/4.63 c | 82902 | 117 1512 6579 | 14460 12364 15 | 0.007 % |
4.57/4.64 c | 83062 | 117 1512 6579 | 14460 12524 15 | 0.007 % |
4.57/4.66 c | 83238 | 117 1512 6579 | 14460 12700 15 | 0.052 % |
4.57/4.67 c | 83432 | 117 1512 6579 | 14460 12894 15 | 0.008 % |
4.57/4.68 c | 83644 | 117 1512 6579 | 14460 13106 15 | 0.007 % |
4.67/4.70 c | 83877 | 117 1512 6579 | 14460 13339 15 | 0.044 % |
4.67/4.71 c | 84133 | 117 1512 6579 | 14460 13595 15 | 0.037 % |
4.67/4.73 c | 84415 | 117 1512 6579 | 14460 13877 15 | 0.044 % |
4.67/4.75 c | 84724 | 117 1512 6579 | 14460 14186 15 | 0.044 % |
4.67/4.78 c | 85065 | 117 1512 6579 | 14460 9645 15 | 0.052 % |
4.77/4.80 c | 85442 | 117 1512 6579 | 14460 10022 15 | 0.044 % |
4.77/4.82 c | 85852 | 117 1512 6579 | 14460 10432 15 | 0.044 % |
4.77/4.85 c | 86301 | 117 1512 6579 | 14460 10881 15 | 0.008 % |
4.77/4.87 c | 86795 | 117 1512 6579 | 14460 11375 15 | 0.051 % |
4.87/4.90 c | 87339 | 117 1512 6579 | 14460 11919 15 | 0.044 % |
4.87/4.94 c | 87935 | 117 1512 6579 | 14460 12515 15 | 0.008 % |
4.87/4.98 c | 88593 | 117 1512 6579 | 14460 13173 15 | 0.051 % |
4.97/5.02 c | 89314 | 117 1512 6579 | 14460 13894 15 | 0.007 % |
4.97/5.09 c | 90106 | 117 1512 6579 | 9657 6482 16 | 0.051 % |
5.07/5.13 c | 90977 | 117 1512 6579 | 9657 7353 15 | 0.044 % |
5.07/5.18 c | 91936 | 117 1512 6579 | 9657 8312 15 | 0.038 % |
5.17/5.22 c | 92989 | 117 1512 6579 | 9657 9365 15 | 0.007 % |
5.17/5.23 c | 93089 | 117 1512 6579 | 9657 9465 15 | 0.007 % |
5.17/5.23 c | 93206 | 117 1512 6579 | 9657 9582 15 | 0.037 % |
5.17/5.25 c | 93328 | 117 1512 6579 | 9657 6731 15 | 0.008 % |
5.17/5.25 c | 93462 | 117 1512 6579 | 9657 6865 15 | 0.037 % |
5.17/5.26 c | 93608 | 117 1512 6579 | 9657 7011 15 | 0.052 % |
5.17/5.27 c | 93770 | 117 1512 6579 | 9657 7173 15 | 0.037 % |
5.17/5.27 c | 93947 | 117 1512 6579 | 9657 7350 15 | 0.037 % |
5.17/5.28 c | 94142 | 117 1512 6579 | 9657 7545 15 | 0.052 % |
5.17/5.29 c | 94355 | 117 1512 6579 | 9657 7758 15 | 0.051 % |
5.27/5.30 c | 94589 | 117 1512 6579 | 9657 7992 15 | 0.052 % |
5.27/5.31 c | 94846 | 117 1512 6579 | 9657 8249 15 | 0.052 % |
5.27/5.32 c | 95127 | 117 1512 6579 | 9657 8530 14 | 0.044 % |
5.27/5.33 c | 95436 | 117 1512 6579 | 9657 8839 15 | 0.051 % |
5.27/5.35 c | 95775 | 117 1512 6579 | 9657 9178 15 | 0.037 % |
5.27/5.37 c | 96147 | 117 1512 6579 | 9657 9550 15 | 0.037 % |
5.27/5.39 c | 96556 | 117 1512 6579 | 9657 7223 14 | 0.008 % |
5.37/5.41 c | 97005 | 117 1512 6579 | 9657 7672 14 | 0.008 % |
5.37/5.43 c | 97498 | 117 1512 6579 | 9657 8165 14 | 0.007 % |
5.37/5.46 c | 98040 | 117 1512 6579 | 9657 8707 14 | 0.007 % |
5.37/5.49 c | 98638 | 117 1512 6579 | 9657 9305 14 | 0.007 % |
5.47/5.54 c | 99298 | 117 1512 6579 | 9657 7409 14 | 0.015 % |
5.47/5.57 c | 100018 | 117 1512 6579 | 8113 8129 14 | 0.008 % |
5.57/5.60 c | 100810 | 117 1512 6579 | 8113 6786 14 | 0.044 % |
5.57/5.64 c | 101681 | 117 1512 6579 | 8113 7657 14 | 0.008 % |
5.57/5.68 c | 102639 | 117 1512 6579 | 8113 6741 14 | 0.044 % |
5.67/5.72 c | 103693 | 117 1512 6579 | 8113 7795 14 | 0.044 % |
5.67/5.77 c | 104851 | 117 1512 6579 | 8113 7147 15 | 0.008 % |
5.67/5.77 c | 104952 | 117 1512 6579 | 8113 7248 15 | 0.044 % |
5.67/5.78 c | 105062 | 117 1512 6579 | 8113 7358 15 | 0.044 % |
5.67/5.78 c | 105183 | 117 1512 6579 | 8113 7479 15 | 0.008 % |
5.67/5.79 c | 105316 | 117 1512 6579 | 8113 7612 15 | 0.044 % |
5.67/5.80 c | 105463 | 117 1512 6579 | 8113 7759 15 | 0.008 % |
5.77/5.80 c | 105624 | 117 1512 6579 | 8113 7920 15 | 0.008 % |
5.77/5.81 c | 105800 | 117 1512 6579 | 8113 8096 15 | 0.044 % |
5.77/5.82 c | 105995 | 117 1512 6579 | 8113 6484 16 | 0.044 % |
5.77/5.83 c | 106207 | 117 1512 6579 | 8113 6696 16 | 0.044 % |
5.77/5.84 c | 106440 | 117 1512 6579 | 8113 6929 16 | 0.044 % |
5.77/5.85 c | 106698 | 117 1512 6579 | 8113 7187 16 | 0.007 % |
5.77/5.86 c | 106979 | 117 1512 6579 | 8113 7468 16 | 0.044 % |
5.77/5.88 c | 107288 | 117 1512 6579 | 8113 7777 16 | 0.044 % |
5.77/5.89 c | 107627 | 117 1512 6579 | 8113 8116 16 | 0.044 % |
5.87/5.91 c | 108000 | 117 1512 6579 | 8113 6723 15 | 0.044 % |
5.87/5.93 c | 108412 | 117 1512 6579 | 8113 7135 15 | 0.044 % |
5.87/5.95 c | 108862 | 117 1512 6579 | 8113 7585 15 | 0.052 % |
5.87/5.97 c | 109355 | 117 1512 6579 | 8113 8078 15 | 0.007 % |
5.87/5.99 c | 109900 | 117 1512 6579 | 8113 6871 15 | 0.007 % |
5.97/6.02 c | 110496 | 117 1512 6579 | 6971 5968 14 | 0.044 % |
5.97/6.04 c | 111153 | 117 1512 6579 | 6971 6625 14 | 0.008 % |
5.97/6.07 c | 111874 | 117 1512 6579 | 6971 6047 14 | 0.044 % |
6.07/6.11 c | 112666 | 117 1512 6579 | 6971 6839 14 | 0.044 % |
6.07/6.15 c | 113537 | 117 1512 6579 | 6971 6497 13 | 0.044 % |
6.07/6.19 c | 114495 | 117 1512 6579 | 6971 6178 14 | 0.044 % |
6.17/6.25 c | 115549 | 117 1512 6579 | 6971 5896 14 | 0.051 % |
6.27/6.31 c | 116707 | 117 1512 6579 | 6971 5665 14 | 0.051 % |
6.27/6.36 c | 117983 | 117 1512 6579 | 6971 6941 14 | 0.051 % |
6.27/6.37 c | 118085 | 117 1512 6579 | 6971 5611 14 | 0.052 % |
6.27/6.38 c | 118198 | 117 1512 6579 | 6971 5724 14 | 0.052 % |
6.27/6.38 c | 118320 | 117 1512 6579 | 6971 5846 14 | 0.051 % |
6.27/6.39 c | 118453 | 117 1512 6579 | 6971 5979 14 | 0.051 % |
6.27/6.39 c | 118602 | 117 1512 6579 | 6971 6128 14 | 0.051 % |
6.37/6.40 c | 118762 | 117 1512 6579 | 6971 6288 14 | 0.051 % |
6.37/6.40 c | 118941 | 117 1512 6579 | 6971 6467 14 | 0.044 % |
6.37/6.41 c | 119136 | 117 1512 6579 | 6971 6662 14 | 0.007 % |
6.37/6.43 c | 119348 | 117 1512 6579 | 6971 6874 14 | 0.052 % |
6.37/6.44 c | 119581 | 117 1512 6579 | 6971 5656 14 | 0.052 % |
6.37/6.45 c | 119837 | 117 1512 6579 | 6971 5912 14 | 0.008 % |
6.37/6.46 c | 120120 | 117 1512 6579 | 6077 4969 15 | 0.044 % |
6.37/6.47 c | 120433 | 117 1512 6579 | 6077 5282 15 | 0.007 % |
6.37/6.48 c | 120772 | 117 1512 6579 | 6077 5621 15 | 0.008 % |
6.37/6.49 c | 121144 | 117 1512 6579 | 6077 5993 15 | 0.037 % |
6.47/6.51 c | 121553 | 117 1512 6579 | 6077 5370 15 | 0.008 % |
6.47/6.52 c | 122002 | 117 1512 6579 | 6077 5819 15 | 0.007 % |
6.47/6.55 c | 122497 | 117 1512 6579 | 6077 5429 15 | 0.007 % |
6.47/6.56 c | 123039 | 117 1512 6579 | 6077 5971 16 | 0.007 % |
6.47/6.59 c | 123635 | 117 1512 6579 | 6077 5745 16 | 0.044 % |
6.57/6.61 c | 124290 | 117 1512 6579 | 6077 5657 15 | 0.007 % |
6.57/6.64 c | 125011 | 117 1512 6579 | 6077 5680 15 | 0.037 % |
6.57/6.67 c | 125805 | 117 1512 6579 | 6077 5808 14 | 0.044 % |
6.67/6.71 c | 126677 | 117 1512 6579 | 6077 6015 14 | 0.037 % |
6.67/6.75 c | 127636 | 117 1512 6579 | 6077 5619 14 | 0.037 % |
6.67/6.78 c | 128690 | 117 1512 6579 | 6077 6017 14 | 0.051 % |
6.77/6.82 c | 129849 | 117 1512 6579 | 6077 5920 16 | 0.007 % |
6.77/6.86 c | 131122 | 117 1512 6579 | 6072 5973 16 | 0.037 % |
6.87/6.91 c | 132522 | 117 1512 6579 | 6072 5540 16 | 0.037 % |
6.87/6.92 c | 132623 | 117 1512 6579 | 6072 5641 16 | 0.037 % |
6.87/6.92 c | 132734 | 117 1512 6579 | 6072 5752 16 | 0.037 % |
6.87/6.93 c | 132858 | 117 1512 6579 | 6072 5876 16 | 0.044 % |
6.87/6.93 c | 132994 | 117 1512 6579 | 6072 6012 16 | 0.037 % |
6.87/6.94 c | 133142 | 117 1512 6579 | 6072 5549 16 | 0.051 % |
6.87/6.94 c | 133302 | 117 1512 6579 | 6072 5709 16 | 0.044 % |
6.87/6.95 c | 133479 | 117 1512 6579 | 6072 5886 16 | 0.037 % |
6.87/6.96 c | 133673 | 117 1512 6579 | 6072 6080 16 | 0.044 % |
6.87/6.96 c | 133890 | 117 1512 6579 | 6072 5689 15 | 0.044 % |
6.87/6.97 c | 134126 | 117 1512 6579 | 6072 5925 15 | 0.037 % |
6.87/6.98 c | 134383 | 117 1512 6579 | 6072 5571 15 | 0.052 % |
6.87/6.99 c | 134664 | 117 1512 6579 | 6072 5852 15 | 0.044 % |
6.97/7.01 c | 134974 | 117 1512 6579 | 6072 5552 14 | 0.044 % |
6.97/7.02 c | 135315 | 117 1512 6579 | 6072 5893 14 | 0.044 % |
6.97/7.03 c | 135687 | 117 1512 6579 | 6072 5654 14 | 0.044 % |
6.97/7.05 c | 136097 | 117 1512 6579 | 6072 6064 15 | 0.007 % |
6.97/7.06 c | 136546 | 117 1512 6579 | 6072 5904 15 | 0.051 % |
6.97/7.08 c | 137039 | 117 1512 6579 | 6072 5787 15 | 0.008 % |
7.07/7.11 c | 137581 | 117 1512 6579 | 6072 5718 15 | 0.008 % |
7.07/7.13 c | 138178 | 117 1512 6579 | 6072 5704 15 | 0.044 % |
7.07/7.16 c | 138835 | 117 1512 6579 | 6072 5750 15 | 0.044 % |
7.07/7.19 c | 139556 | 117 1512 6579 | 6072 5861 16 | 0.044 % |
7.17/7.22 c | 140350 | 117 1512 6579 | 2147483647 6045 15 | 0.044 % |
7.17/7.26 c | 141221 | 117 1512 6579 | 2147483647 6916 15 | 0.051 % |
7.17/7.30 c | 142180 | 117 1512 6579 | 2147483647 7875 14 | 0.051 % |
7.27/7.34 c | 143234 | 117 1512 6579 | 2147483647 8929 14 | 0.044 % |
7.27/7.39 c | 144393 | 117 1512 6579 | 2147483647 10088 14 | 0.052 % |
7.36/7.45 c | 145667 | 117 1512 6579 | 2147483647 11362 14 | 0.008 % |
7.46/7.52 c | 147067 | 117 1512 6579 | 2147483647 12762 14 | 0.051 % |
7.57/7.63 c | 148608 | 117 1512 6579 | 2147483647 14303 14 | 0.007 % |
7.57/7.64 c | 148710 | 117 1512 6579 | 2147483647 14405 14 | 0.044 % |
7.57/7.64 c | 148821 | 117 1512 6579 | 2147483647 14516 14 | 0.015 % |
7.57/7.65 c | 148945 | 117 1512 6579 | 2147483647 14640 14 | 0.037 % |
7.57/7.66 c | 149083 | 117 1512 6579 | 2147483647 14778 14 | 0.015 % |
7.57/7.67 c | 149230 | 117 1512 6579 | 2147483647 14925 14 | 0.007 % |
7.57/7.68 c | 149390 | 117 1512 6579 | 2147483647 15085 14 | 0.044 % |
7.57/7.69 c | 149566 | 117 1512 6579 | 2147483647 15261 14 | 0.044 % |
7.67/7.71 c | 149760 | 117 1512 6579 | 2147483647 15455 14 | 0.044 % |
7.67/7.72 c | 149973 | 117 1512 6579 | 2147483647 15668 14 | 0.008 % |
7.67/7.75 c | 150209 | 117 1512 6579 | 15697 11592 13 | 0.008 % |
7.67/7.76 c | 150465 | 117 1512 6579 | 15697 11848 13 | 0.008 % |
7.67/7.77 c | 150747 | 117 1512 6579 | 15697 12130 13 | 0.007 % |
7.67/7.79 c | 151057 | 117 1512 6579 | 15697 12440 14 | 0.008 % |
7.76/7.81 c | 151397 | 117 1512 6579 | 15697 12780 14 | 0.007 % |
7.76/7.83 c | 151769 | 117 1512 6579 | 15697 13152 14 | 0.008 % |
7.76/7.85 c | 152178 | 117 1512 6579 | 15697 13561 14 | 0.007 % |
7.76/7.87 c | 152630 | 117 1512 6579 | 15697 14013 14 | 0.007 % |
7.86/7.90 c | 153123 | 117 1512 6579 | 15697 14506 14 | 0.007 % |
7.86/7.93 c | 153665 | 117 1512 6579 | 15697 15048 14 | 0.008 % |
7.86/7.97 c | 154266 | 117 1512 6579 | 15697 15649 14 | 0.044 % |
7.96/8.05 c | 154921 | 117 1512 6579 | 15697 11329 16 | 0.007 % |
7.96/8.09 c | 155641 | 117 1512 6579 | 15697 12049 16 | 0.007 % |
8.06/8.16 c | 156434 | 117 1512 6579 | 15697 12842 15 | 0.007 % |
8.16/8.23 c | 157308 | 117 1512 6579 | 15697 13716 15 | 0.007 % |
8.26/8.31 c | 158269 | 117 1512 6579 | 15697 14677 15 | 0.007 % |
8.26/8.39 c | 159325 | 117 1512 6579 | 15697 15733 15 | 0.007 % |
8.36/8.47 c | 160483 | 117 1512 6579 | 11152 7907 15 | 0.044 % |
8.46/8.52 c | 161757 | 117 1512 6579 | 11152 9181 15 | 0.044 % |
8.46/8.59 c | 163158 | 117 1512 6579 | 11152 10582 15 | 0.008 % |
8.56/8.67 c | 164702 | 117 1512 6579 | 11152 8758 14 | 0.038 % |
8.67/8.76 c | 166397 | 117 1512 6579 | 11152 10453 14 | 0.051 % |
8.67/8.76 c | 166498 | 117 1512 6579 | 11152 10554 14 | 0.051 % |
8.67/8.77 c | 166611 | 117 1512 6579 | 11152 10667 14 | 0.052 % |
8.67/8.78 c | 166736 | 117 1512 6579 | 11152 10792 14 | 0.044 % |
8.67/8.78 c | 166869 | 117 1512 6579 | 11152 10925 14 | 0.007 % |
8.67/8.79 c | 167015 | 117 1512 6579 | 11152 11071 14 | 0.044 % |
8.77/8.81 c | 167175 | 117 1512 6579 | 11152 7904 14 | 0.044 % |
8.77/8.82 c | 167352 | 117 1512 6579 | 11152 8081 14 | 0.037 % |
8.77/8.83 c | 167546 | 117 1512 6579 | 11152 8275 14 | 0.037 % |
8.77/8.84 c | 167761 | 117 1512 6579 | 11152 8490 14 | 0.037 % |
8.77/8.85 c | 167995 | 117 1512 6579 | 11152 8724 14 | 0.037 % |
8.77/8.86 c | 168252 | 117 1512 6579 | 11152 8981 14 | 0.037 % |
8.77/8.87 c | 168534 | 117 1512 6579 | 11152 9263 14 | 0.037 % |
8.77/8.89 c | 168843 | 117 1512 6579 | 11152 9572 14 | 0.037 % |
8.86/8.90 c | 169182 | 117 1512 6579 | 11152 9911 14 | 0.044 % |
8.86/8.92 c | 169555 | 117 1512 6579 | 11152 10284 14 | 0.037 % |
8.86/8.94 c | 169966 | 117 1512 6579 | 11152 10695 14 | 0.007 % |
8.86/8.97 c | 170415 | 117 1512 6579 | 10730 8065 13 | 0.044 % |
8.86/8.99 c | 170908 | 117 1512 6579 | 10730 8558 13 | 0.015 % |
8.96/9.02 c | 171451 | 117 1512 6579 | 10730 9101 14 | 0.007 % |
8.96/9.04 c | 172047 | 117 1512 6579 | 10730 9697 14 | 0.037 % |
8.96/9.08 c | 172702 | 117 1512 6579 | 10730 10352 14 | 0.052 % |
9.06/9.12 c | 173425 | 117 1512 6579 | 10730 8025 14 | 0.044 % |
9.06/9.15 c | 174217 | 117 1512 6579 | 10730 8817 15 | 0.007 % |
9.06/9.20 c | 175088 | 117 1512 6579 | 10730 9688 15 | 0.008 % |
9.16/9.24 c | 176046 | 117 1512 6579 | 10730 10646 15 | 0.037 % |
9.26/9.30 c | 177100 | 117 1512 6579 | 10730 8703 14 | 0.044 % |
9.26/9.35 c | 178258 | 117 1512 6579 | 10730 9861 14 | 0.015 % |
9.36/9.43 c | 179531 | 117 1512 6579 | 10730 8184 14 | 0.059 % |
9.36/9.50 c | 180934 | 117 1512 6579 | 8654 7211 13 | 0.059 % |
9.46/9.56 c | 182477 | 117 1512 6579 | 8654 6650 12 | 0.037 % |
9.56/9.62 c | 184173 | 117 1512 6579 | 8654 8346 12 | 0.051 % |
9.66/9.70 c | 186036 | 117 1512 6579 | 8654 8239 13 | 0.059 % |
9.66/9.70 c | 186138 | 117 1512 6579 | 8654 8341 13 | 0.052 % |
9.66/9.71 c | 186248 | 117 1512 6579 | 8654 8451 13 | 0.007 % |
9.66/9.71 c | 186369 | 117 1512 6579 | 8654 8572 13 | 0.007 % |
9.66/9.73 c | 186503 | 117 1512 6579 | 8654 6770 13 | 0.007 % |
9.66/9.73 c | 186650 | 117 1512 6579 | 8654 6917 13 | 0.051 % |
9.66/9.74 c | 186813 | 117 1512 6579 | 8654 7080 13 | 0.007 % |
9.66/9.75 c | 186990 | 117 1512 6579 | 8654 7257 13 | 0.007 % |
9.66/9.76 c | 187183 | 117 1512 6579 | 8654 7450 13 | 0.007 % |
9.66/9.77 c | 187396 | 117 1512 6579 | 8654 7663 13 | 0.007 % |
9.66/9.78 c | 187630 | 117 1512 6579 | 8654 7897 13 | 0.007 % |
9.66/9.79 c | 187887 | 117 1512 6579 | 8654 8154 13 | 0.008 % |
9.77/9.80 c | 188168 | 117 1512 6579 | 8654 8435 13 | 0.044 % |
9.77/9.82 c | 188477 | 117 1512 6579 | 8654 6839 13 | 0.008 % |
9.77/9.83 c | 188816 | 117 1512 6579 | 8654 7178 13 | 0.008 % |
9.77/9.85 c | 189191 | 117 1512 6579 | 8654 7553 13 | 0.044 % |
9.77/9.86 c | 189600 | 117 1512 6579 | 8654 7962 13 | 0.052 % |
9.77/9.89 c | 190051 | 117 1512 6579 | 8362 6599 13 | 0.051 % |
9.87/9.91 c | 190544 | 117 1512 6579 | 8362 7092 13 | 0.008 % |
9.87/9.93 c | 191087 | 117 1512 6579 | 8362 7635 13 | 0.059 % |
9.87/9.95 c | 191684 | 117 1512 6579 | 8362 8232 13 | 0.045 % |
9.87/9.99 c | 192340 | 117 1512 6579 | 8362 7067 13 | 0.052 % |
9.96/10.02 c | 193061 | 117 1512 6579 | 8362 7788 13 | 0.051 % |
9.96/10.05 c | 193856 | 117 1512 6579 | 8362 6820 13 | 0.051 % |
9.96/10.09 c | 194727 | 117 1512 6579 | 8362 7691 13 | 0.007 % |
10.06/10.14 c | 195688 | 117 1512 6579 | 8362 6827 13 | 0.051 % |
10.06/10.18 c | 196741 | 117 1512 6579 | 8362 7880 14 | 0.051 % |
10.16/10.25 c | 197900 | 117 1512 6579 | 8362 7118 14 | 0.073 % |
10.16/10.30 c | 199175 | 117 1512 6579 | 8362 8393 14 | 0.044 % |
10.26/10.36 c | 200576 | 117 1512 6579 | 7250 6131 14 | 0.007 % |
10.36/10.42 c | 202116 | 117 1512 6579 | 7250 6065 14 | 0.052 % |
10.36/10.49 c | 203810 | 117 1512 6579 | 7250 6103 15 | 0.059 % |
10.46/10.57 c | 205674 | 117 1512 6579 | 7250 6255 17 | 0.008 % |
10.56/10.67 c | 207724 | 117 1512 6579 | 7250 6548 18 | 0.007 % |
10.56/10.68 c | 207825 | 117 1512 6579 | 7250 6649 18 | 0.044 % |
10.56/10.68 c | 207936 | 117 1512 6579 | 7250 6760 18 | 0.052 % |
10.56/10.69 c | 208059 | 117 1512 6579 | 7250 6883 18 | 0.008 % |
10.66/10.70 c | 208192 | 117 1512 6579 | 7250 7016 18 | 0.059 % |
10.66/10.71 c | 208338 | 117 1512 6579 | 7250 7162 18 | 0.044 % |
10.66/10.72 c | 208499 | 117 1512 6579 | 7250 5523 19 | 0.008 % |
10.66/10.73 c | 208675 | 117 1512 6579 | 7250 5699 18 | 0.044 % |
10.66/10.74 c | 208870 | 117 1512 6579 | 7250 5894 18 | 0.044 % |
10.66/10.75 c | 209083 | 117 1512 6579 | 7250 6107 18 | 0.044 % |
10.66/10.77 c | 209316 | 117 1512 6579 | 7250 6340 18 | 0.037 % |
10.66/10.79 c | 209573 | 117 1512 6579 | 7250 6597 18 | 0.037 % |
10.76/10.81 c | 209854 | 117 1512 6579 | 7250 6878 18 | 0.044 % |
10.76/10.83 c | 210164 | 117 1512 6579 | 7027 5414 16 | 0.044 % |
10.76/10.85 c | 210503 | 117 1512 6579 | 7027 5753 16 | 0.044 % |
10.76/10.87 c | 210876 | 117 1512 6579 | 7027 6126 16 | 0.044 % |
10.76/10.88 c | 211285 | 117 1512 6579 | 7027 6535 16 | 0.044 % |
10.76/10.90 c | 211735 | 117 1512 6579 | 7027 6985 15 | 0.044 % |
10.87/10.92 c | 212228 | 117 1512 6579 | 7027 5877 14 | 0.008 % |
10.87/10.94 c | 212773 | 117 1512 6579 | 7027 6422 14 | 0.044 % |
10.87/10.96 c | 213369 | 117 1512 6579 | 7027 7018 14 | 0.051 % |
10.87/10.98 c | 214024 | 117 1512 6579 | 7027 6248 13 | 0.052 % |
10.97/11.01 c | 214747 | 117 1512 6579 | 7027 6971 14 | 0.037 % |
10.97/11.04 c | 215539 | 117 1512 6579 | 7027 6464 14 | 0.008 % |
10.97/11.08 c | 216411 | 117 1512 6579 | 7027 6074 14 | 0.015 % |
11.06/11.11 c | 217369 | 117 1512 6579 | 7027 7032 14 | 0.044 % |
11.06/11.17 c | 218423 | 117 1512 6579 | 7027 6844 15 | 0.007 % |
11.16/11.24 c | 219581 | 117 1512 6579 | 7027 6767 14 | 0.022 % |
11.16/11.30 c | 220854 | 117 1512 6579 | 5908 5688 15 | 0.007 % |
11.26/11.35 c | 222254 | 117 1512 6579 | 5908 5260 15 | 0.007 % |
11.36/11.41 c | 223801 | 117 1512 6579 | 5908 5896 16 | 0.051 % |
11.36/11.48 c | 225495 | 117 1512 6579 | 5908 5762 17 | 0.044 % |
11.46/11.55 c | 227358 | 117 1512 6579 | 5908 5812 16 | 0.051 % |
11.56/11.64 c | 229408 | 117 1512 6579 | 5908 5065 14 | 0.008 % |
11.66/11.72 c | 231665 | 117 1512 6579 | 5660 5506 15 | 0.007 % |
11.66/11.72 c | 231767 | 117 1512 6579 | 5660 5608 15 | 0.059 % |
11.66/11.73 c | 231878 | 117 1512 6579 | 5660 4860 15 | 0.044 % |
11.66/11.73 c | 232000 | 117 1512 6579 | 5660 4982 16 | 0.007 % |
11.66/11.74 c | 232134 | 117 1512 6579 | 5660 5116 16 | 0.051 % |
11.66/11.74 c | 232280 | 117 1512 6579 | 5660 5262 16 | 0.051 % |
11.66/11.75 c | 232441 | 117 1512 6579 | 5660 5423 16 | 0.008 % |
11.66/11.76 c | 232618 | 117 1512 6579 | 5660 5600 16 | 0.052 % |
11.66/11.77 c | 232812 | 117 1512 6579 | 5660 4897 16 | 0.052 % |
11.66/11.78 c | 233025 | 117 1512 6579 | 5660 5110 16 | 0.008 % |
11.66/11.79 c | 233259 | 117 1512 6579 | 5660 5344 16 | 0.044 % |
11.66/11.80 c | 233515 | 117 1512 6579 | 5660 5600 16 | 0.037 % |
11.76/11.81 c | 233796 | 117 1512 6579 | 5660 5027 16 | 0.037 % |
11.76/11.82 c | 234105 | 117 1512 6579 | 5660 5336 16 | 0.037 % |
11.76/11.83 c | 234444 | 117 1512 6579 | 5660 5675 16 | 0.037 % |
11.76/11.85 c | 234821 | 117 1512 6579 | 5660 5189 17 | 0.007 % |
11.76/11.86 c | 235231 | 117 1512 6579 | 5660 5599 16 | 0.008 % |
11.76/11.88 c | 235683 | 117 1512 6579 | 5660 5202 16 | 0.044 % |
11.76/11.89 c | 236179 | 117 1512 6579 | 5660 5698 16 | 0.044 % |
11.86/11.91 c | 236728 | 117 1512 6579 | 5660 5439 16 | 0.052 % |
11.86/11.94 c | 237324 | 117 1512 6579 | 5660 5237 16 | 0.008 % |
11.86/11.96 c | 237979 | 117 1512 6579 | 5660 5063 17 | 0.007 % |
11.86/11.99 c | 238699 | 117 1512 6579 | 5660 4958 17 | 0.044 % |
11.97/12.02 c | 239492 | 117 1512 6579 | 5660 4913 16 | 0.044 % |
11.97/12.06 c | 240363 | 117 1512 6579 | 5421 4959 17 | 0.007 % |
11.97/12.10 c | 241321 | 117 1512 6579 | 5421 5097 17 | 0.044 % |
12.07/12.14 c | 242374 | 117 1512 6579 | 5421 5347 16 | 0.044 % |
12.07/12.19 c | 243534 | 117 1512 6579 | 5421 4837 15 | 0.044 % |
12.16/12.26 c | 244810 | 117 1512 6579 | 5421 5250 15 | 0.044 % |
12.26/12.32 c | 246212 | 117 1512 6579 | 5421 4945 14 | 0.044 % |
12.26/12.39 c | 247752 | 117 1512 6579 | 5421 4831 14 | 0.051 % |
12.36/12.47 c | 249446 | 117 1512 6579 | 5421 4813 15 | 0.051 % |
12.46/12.55 c | 251313 | 117 1512 6579 | 5370 4799 16 | 0.007 % |
12.56/12.65 c | 253362 | 117 1512 6579 | 5370 4797 15 | 0.118 % |
12.66/12.70 c | 255615 | 116 1464 6405 | 5370 2328 17 | 0.862 % |
12.66/12.79 c | 258093 | 116 1464 6405 | 5370 4806 18 | 0.862 % |
12.66/12.79 c | 258194 | 116 1464 6405 | 5370 4907 17 | 0.928 % |
12.76/12.80 c | 258305 | 116 1464 6405 | 5370 5018 17 | 0.928 % |
12.76/12.80 c | 258426 | 116 1464 6405 | 5370 5139 17 | 0.899 % |
12.76/12.81 c | 258560 | 116 1464 6405 | 5370 5273 17 | 0.928 % |
12.76/12.82 c | 258706 | 116 1464 6405 | 5370 4654 17 | 0.899 % |
12.76/12.83 c | 258869 | 116 1464 6405 | 5370 4817 17 | 0.899 % |
12.76/12.83 c | 259045 | 116 1464 6405 | 5370 4993 16 | 0.862 % |
12.76/12.84 c | 259238 | 116 1464 6405 | 5370 5186 16 | 0.862 % |
12.76/12.85 c | 259450 | 116 1464 6405 | 5370 5398 16 | 0.862 % |
12.76/12.86 c | 259685 | 116 1464 6405 | 5370 4872 16 | 0.862 % |
12.76/12.87 c | 259941 | 116 1464 6405 | 5370 5128 15 | 0.884 % |
12.76/12.88 c | 260226 | 116 1464 6405 | 5188 4692 15 | 0.862 % |
12.76/12.89 c | 260536 | 116 1464 6405 | 5188 5002 15 | 0.906 % |
12.86/12.91 c | 260876 | 116 1464 6405 | 5188 4677 14 | 0.906 % |
12.86/12.92 c | 261249 | 116 1464 6405 | 5188 5050 14 | 0.862 % |
12.86/12.94 c | 261661 | 116 1464 6405 | 5188 4835 14 | 0.884 % |
12.86/12.95 c | 262111 | 116 1464 6405 | 5188 4718 13 | 0.884 % |
12.86/12.97 c | 262606 | 116 1464 6405 | 5188 5213 13 | 0.884 % |
12.86/12.99 c | 263151 | 116 1464 6405 | 5188 5214 13 | 0.899 % |
12.96/13.01 c | 263748 | 116 1464 6405 | 5188 4744 14 | 0.862 % |
12.96/13.04 c | 264406 | 116 1464 6405 | 5188 4864 14 | 0.899 % |
12.96/13.07 c | 265126 | 116 1464 6405 | 5188 5036 15 | 0.862 % |
12.96/13.10 c | 265918 | 116 1464 6405 | 5188 4708 15 | 0.899 % |
13.07/13.13 c | 266790 | 116 1464 6405 | 5188 5002 15 | 0.899 % |
13.07/13.19 c | 267748 | 116 1464 6405 | 5188 4745 15 | 0.900 % |
13.17/13.23 c | 268801 | 116 1464 6405 | 5188 5160 14 | 0.913 % |
13.17/13.27 c | 269960 | 116 1464 6405 | 5188 5009 13 | 0.906 % |
13.26/13.32 c | 271233 | 116 1464 6405 | 5049 5089 13 | 0.862 % |
13.26/13.37 c | 272635 | 116 1464 6405 | 5049 4760 15 | 0.877 % |
13.36/13.44 c | 274177 | 116 1464 6405 | 5049 5022 17 | 0.862 % |
13.46/13.50 c | 275871 | 116 1464 6405 | 5049 4593 17 | 0.862 % |
13.46/13.56 c | 277739 | 116 1464 6405 | 5049 5063 17 | 0.892 % |
13.56/13.63 c | 279792 | 116 1464 6405 | 5049 4631 16 | 0.863 % |
13.66/13.71 c | 282046 | 116 1464 6405 | 4839 4538 18 | 0.906 % |
13.76/13.82 c | 284524 | 116 1464 6405 | 4839 4677 17 | 0.906 % |
13.86/13.92 c | 287250 | 116 1464 6405 | 4839 4306 17 | 0.862 % |
13.86/13.92 c | 287351 | 116 1464 6405 | 4839 4407 16 | 0.899 % |
13.86/13.93 c | 287461 | 116 1464 6405 | 4839 4517 16 | 0.899 % |
13.86/13.93 c | 287582 | 116 1464 6405 | 4839 4638 16 | 0.862 % |
13.86/13.94 c | 287715 | 116 1464 6405 | 4839 4771 16 | 0.906 % |
13.86/13.95 c | 287861 | 116 1464 6405 | 4839 4269 16 | 0.906 % |
13.86/13.95 c | 288022 | 116 1464 6405 | 4839 4430 16 | 0.906 % |
13.86/13.96 c | 288200 | 116 1464 6405 | 4839 4608 16 | 0.906 % |
13.86/13.97 c | 288393 | 116 1464 6405 | 4839 4801 16 | 0.906 % |
13.86/13.98 c | 288605 | 116 1464 6405 | 4839 4362 16 | 0.906 % |
13.86/13.99 c | 288838 | 116 1464 6405 | 4839 4595 16 | 0.906 % |
13.86/14.00 c | 289094 | 116 1464 6405 | 4839 4851 16 | 0.906 % |
13.96/14.01 c | 289375 | 116 1464 6405 | 4839 4482 16 | 0.906 % |
13.96/14.02 c | 289690 | 116 1464 6405 | 4839 4797 16 | 0.862 % |
13.96/14.03 c | 290029 | 116 1464 6405 | 4446 4470 17 | 0.862 % |
13.96/14.05 c | 290401 | 116 1464 6405 | 4446 4229 16 | 0.928 % |
13.96/14.06 c | 290810 | 116 1464 6405 | 4446 4078 15 | 0.928 % |
13.96/14.08 c | 291261 | 116 1464 6405 | 4446 3993 15 | 0.906 % |
14.06/14.10 c | 291754 | 116 1464 6405 | 4446 4486 15 | 0.906 % |
14.06/14.12 c | 292296 | 116 1464 6405 | 4446 4051 15 | 0.899 % |
14.06/14.15 c | 292892 | 116 1464 6405 | 4446 4200 14 | 0.862 % |
14.06/14.17 c | 293547 | 116 1464 6405 | 4446 4406 14 | 0.862 % |
14.16/14.20 c | 294267 | 116 1464 6405 | 4446 4231 14 | 0.928 % |
14.16/14.23 c | 295062 | 116 1464 6405 | 4446 4130 15 | 0.863 % |
14.16/14.27 c | 295934 | 116 1464 6405 | 4446 4106 15 | 0.862 % |
14.26/14.31 c | 296892 | 116 1464 6405 | 4446 4168 15 | 0.935 % |
14.26/14.36 c | 297946 | 116 1464 6405 | 4446 4326 15 | 0.935 % |
14.36/14.41 c | 299105 | 116 1464 6405 | 4446 4067 13 | 0.935 % |
14.36/14.46 c | 300379 | 115 1417 6234 | 919 915 16 | 1.717 % |
14.36/14.49 c | 301779 | 115 1417 6234 | 919 931 15 | 1.717 % |
14.46/14.53 c | 303320 | 115 1417 6234 | 919 948 13 | 1.717 % |
14.46/14.57 c | 305016 | 115 1417 6234 | 919 950 13 | 1.739 % |
14.56/14.61 c | 306879 | 115 1417 6234 | 919 943 18 | 1.717 % |
14.56/14.66 c | 308928 | 115 1417 6234 | 919 958 15 | 1.717 % |
14.66/14.71 c | 311187 | 115 1417 6234 | 2147483647 2108 18 | 1.762 % |
14.66/14.77 c | 313666 | 115 1417 6234 | 2147483647 4587 17 | 1.739 % |
14.76/14.87 c | 316391 | 115 1417 6234 | 2147483647 7312 16 | 1.739 % |
14.96/15.01 c | 319390 | 115 1417 6234 | 2147483647 10311 15 | 1.761 % |
14.96/15.01 c | 319492 | 115 1417 6234 | 2147483647 10413 15 | 1.761 % |
14.96/15.02 c | 319602 | 115 1417 6234 | 2147483647 10523 15 | 1.761 % |
14.96/15.03 c | 319724 | 115 1417 6234 | 2147483647 10645 15 | 1.754 % |
14.96/15.03 c | 319859 | 115 1417 6234 | 2147483647 10780 15 | 1.761 % |
14.96/15.04 c | 320006 | 115 1417 6234 | 2147483647 10927 15 | 1.739 % |
14.96/15.05 c | 320166 | 115 1417 6234 | 2147483647 11087 15 | 1.717 % |
14.96/15.06 c | 320342 | 115 1417 6234 | 2147483647 11263 15 | 1.717 % |
14.96/15.07 c | 320538 | 115 1417 6234 | 2147483647 11459 15 | 1.761 % |
14.96/15.08 c | 320754 | 115 1417 6234 | 2147483647 11675 15 | 1.739 % |
14.96/15.09 c | 320988 | 115 1417 6234 | 2147483647 11909 15 | 1.753 % |
15.06/15.11 c | 321244 | 115 1417 6234 | 2147483647 12165 15 | 1.717 % |
15.06/15.12 c | 321526 | 115 1417 6234 | 2147483647 12447 15 | 1.761 % |
15.06/15.14 c | 321835 | 115 1417 6234 | 2147483647 12756 15 | 1.717 % |
15.06/15.15 c | 322174 | 115 1417 6234 | 2147483647 13095 15 | 1.717 % |
15.06/15.17 c | 322547 | 115 1417 6234 | 2147483647 13468 15 | 1.717 % |
15.06/15.19 c | 322956 | 115 1417 6234 | 2147483647 13877 15 | 1.717 % |
15.16/15.22 c | 323409 | 115 1417 6234 | 2147483647 14330 15 | 1.717 % |
15.16/15.26 c | 323902 | 115 1417 6234 | 2147483647 14823 15 | 1.761 % |
15.16/15.29 c | 324444 | 115 1417 6234 | 2147483647 15365 15 | 1.761 % |
15.26/15.33 c | 325040 | 115 1417 6234 | 2147483647 15961 15 | 1.739 % |
15.26/15.37 c | 325696 | 115 1417 6234 | 2147483647 16617 15 | 1.717 % |
15.36/15.42 c | 326417 | 115 1417 6234 | 2147483647 17338 15 | 1.761 % |
15.36/15.48 c | 327209 | 115 1417 6234 | 2147483647 18130 15 | 1.717 % |
15.46/15.54 c | 328084 | 115 1417 6234 | 2147483647 19005 15 | 1.768 % |
15.56/15.63 c | 329043 | 115 1417 6234 | 2147483647 19964 15 | 1.761 % |
15.66/15.78 c | 330096 | 115 1417 6234 | 20924 12967 15 | 1.768 % |
15.76/15.85 c | 331254 | 115 1417 6234 | 20924 14125 15 | 1.761 % |
15.86/15.93 c | 332527 | 115 1417 6234 | 20924 15398 15 | 1.717 % |
15.96/16.04 c | 333927 | 115 1417 6234 | 20924 16798 15 | 1.768 % |
16.06/16.15 c | 335469 | 115 1417 6234 | 20924 18340 15 | 1.717 % |
16.16/16.29 c | 337163 | 115 1417 6234 | 20924 20034 15 | 1.717 % |
16.36/16.45 c | 339029 | 115 1417 6234 | 20924 13425 15 | 1.761 % |
16.46/16.59 c | 341082 | 115 1417 6234 | 14399 9696 15 | 1.761 % |
16.66/16.73 c | 343335 | 115 1417 6234 | 14399 11949 15 | 1.724 % |
16.76/16.88 c | 345813 | 115 1417 6234 | 14399 14427 15 | 1.717 % |
16.96/17.04 c | 348540 | 115 1417 6234 | 14399 11610 15 | 1.746 % |
17.16/17.26 c | 351537 | 115 1417 6234 | 13073 9650 15 | 1.717 % |
17.36/17.48 c | 354834 | 115 1417 6234 | 13073 12947 15 | 1.717 % |
17.36/17.49 c | 354937 | 115 1417 6234 | 13073 13050 15 | 1.768 % |
17.46/17.51 c | 355047 | 115 1417 6234 | 13073 8234 15 | 1.761 % |
17.46/17.52 c | 355168 | 115 1417 6234 | 13073 8355 15 | 1.761 % |
17.46/17.52 c | 355301 | 115 1417 6234 | 13073 8488 15 | 1.761 % |
17.46/17.53 c | 355447 | 115 1417 6234 | 13073 8634 15 | 1.753 % |
17.46/17.54 c | 355608 | 115 1417 6234 | 13073 8795 15 | 1.717 % |
17.46/17.55 c | 355784 | 115 1417 6234 | 13073 8971 15 | 1.717 % |
17.46/17.56 c | 355977 | 115 1417 6234 | 13073 9164 15 | 1.717 % |
17.46/17.57 c | 356191 | 115 1417 6234 | 13073 9378 15 | 1.717 % |
17.46/17.58 c | 356424 | 115 1417 6234 | 13073 9611 15 | 1.761 % |
17.46/17.60 c | 356681 | 115 1417 6234 | 13073 9868 15 | 1.761 % |
17.56/17.61 c | 356963 | 115 1417 6234 | 13073 10150 15 | 1.754 % |
17.56/17.63 c | 357273 | 115 1417 6234 | 13073 10460 15 | 1.761 % |
17.56/17.65 c | 357612 | 115 1417 6234 | 13073 10799 15 | 1.717 % |
17.56/17.67 c | 357986 | 115 1417 6234 | 13073 11173 15 | 1.761 % |
17.56/17.69 c | 358395 | 115 1417 6234 | 13073 11582 15 | 1.768 % |
17.66/17.72 c | 358844 | 115 1417 6234 | 13073 12031 15 | 1.776 % |
17.66/17.75 c | 359337 | 115 1417 6234 | 13073 12524 15 | 1.761 % |
17.66/17.78 c | 359880 | 115 1417 6234 | 13073 13067 15 | 1.717 % |
17.76/17.83 c | 360476 | 115 1417 6234 | 8457 5866 16 | 1.717 % |
17.76/17.86 c | 361132 | 115 1417 6234 | 8457 6522 16 | 1.717 % |
17.86/17.90 c | 361856 | 115 1417 6234 | 8457 7246 16 | 1.739 % |
17.86/17.94 c | 362648 | 115 1417 6234 | 8457 8038 16 | 1.717 % |
17.86/17.98 c | 363519 | 115 1417 6234 | 8457 6184 16 | 1.717 % |
17.96/18.02 c | 364478 | 115 1417 6234 | 8457 7143 16 | 1.768 % |
17.96/18.08 c | 365531 | 115 1417 6234 | 8457 8196 16 | 1.717 % |
18.06/18.14 c | 366689 | 115 1417 6234 | 8457 6746 14 | 1.762 % |
18.16/18.20 c | 367962 | 115 1417 6234 | 8457 8019 15 | 1.761 % |
18.16/18.28 c | 369362 | 115 1417 6234 | 8457 6870 14 | 1.761 % |
18.26/18.35 c | 370903 | 115 1417 6234 | 7508 6157 14 | 1.783 % |
18.36/18.42 c | 372599 | 115 1417 6234 | 7508 5843 14 | 1.776 % |
18.46/18.50 c | 374464 | 115 1417 6234 | 7508 5765 14 | 1.768 % |
18.56/18.60 c | 376513 | 115 1417 6234 | 7508 5844 15 | 1.717 % |
18.66/18.71 c | 378767 | 115 1417 6234 | 7508 6169 15 | 1.761 % |
18.76/18.83 c | 381246 | 115 1417 6234 | 7403 6771 14 | 1.775 % |
18.86/18.94 c | 383971 | 115 1417 6234 | 7403 5831 14 | 1.776 % |
18.96/19.08 c | 386969 | 115 1417 6234 | 7403 7051 16 | 1.717 % |
19.16/19.25 c | 390266 | 115 1417 6234 | 6265 4859 21 | 1.717 % |
19.36/19.43 c | 393892 | 115 1417 6234 | 6265 5122 14 | 1.797 % |
19.36/19.43 c | 393994 | 115 1417 6234 | 6265 5224 14 | 1.776 % |
19.36/19.44 c | 394104 | 115 1417 6234 | 6265 5334 14 | 1.717 % |
19.36/19.44 c | 394227 | 115 1417 6234 | 6265 5457 14 | 1.761 % |
19.36/19.45 c | 394360 | 115 1417 6234 | 6265 5590 14 | 1.761 % |
19.36/19.45 c | 394506 | 115 1417 6234 | 6265 5736 14 | 1.717 % |
19.36/19.46 c | 394668 | 115 1417 6234 | 6265 5898 14 | 1.717 % |
19.36/19.47 c | 394845 | 115 1417 6234 | 6265 6075 14 | 1.717 % |
19.36/19.48 c | 395038 | 115 1417 6234 | 6265 6268 14 | 1.732 % |
19.36/19.49 c | 395250 | 115 1417 6234 | 6265 4904 13 | 1.761 % |
19.45/19.50 c | 395485 | 115 1417 6234 | 6265 5139 13 | 1.753 % |
19.45/19.51 c | 395744 | 115 1417 6234 | 6265 5398 13 | 1.717 % |
19.45/19.52 c | 396027 | 115 1417 6234 | 6265 5681 14 | 1.717 % |
19.45/19.53 c | 396337 | 115 1417 6234 | 6265 5991 14 | 1.717 % |
19.45/19.55 c | 396676 | 115 1417 6234 | 6265 4844 15 | 1.717 % |
19.45/19.56 c | 397051 | 115 1417 6234 | 6265 5219 15 | 1.717 % |
19.45/19.58 c | 397460 | 115 1417 6234 | 6265 5628 15 | 1.717 % |
19.55/19.60 c | 397909 | 115 1417 6234 | 6265 6077 16 | 1.775 % |
19.55/19.62 c | 398406 | 115 1417 6234 | 6265 5114 17 | 1.776 % |
19.55/19.64 c | 398948 | 115 1417 6234 | 6265 5656 17 | 1.761 % |
19.55/19.67 c | 399545 | 115 1417 6234 | 6265 6253 16 | 1.775 % |
19.55/19.70 c | 400201 | 115 1417 6234 | 5269 4250 16 | 1.775 % |
19.66/19.73 c | 400921 | 115 1417 6234 | 5269 4970 16 | 1.717 % |
19.66/19.76 c | 401713 | 115 1417 6234 | 5269 4601 15 | 1.717 % |
19.66/19.80 c | 402584 | 115 1417 6234 | 5269 4383 14 | 1.761 % |
19.76/19.83 c | 403543 | 115 1417 6234 | 5269 4332 14 | 1.761 % |
19.76/19.87 c | 404596 | 115 1417 6234 | 5269 4402 14 | 1.768 % |
19.85/19.92 c | 405757 | 115 1417 6234 | 5269 4597 14 | 1.775 % |
19.85/19.96 c | 407032 | 115 1417 6234 | 5269 4908 15 | 1.717 % |
19.95/20.02 c | 408434 | 115 1417 6234 | 5269 4384 15 | 1.790 % |
19.95/20.08 c | 409977 | 115 1417 6234 | 5269 4992 15 | 1.790 % |
20.05/20.15 c | 411672 | 115 1417 6234 | 5016 4944 14 | 1.761 % |
20.15/20.21 c | 413536 | 115 1417 6234 | 5016 4534 13 | 1.783 % |
20.15/20.29 c | 415585 | 115 1417 6234 | 5016 4469 14 | 1.768 % |
20.25/20.38 c | 417839 | 115 1417 6234 | 5016 4634 14 | 1.768 % |
20.35/20.47 c | 420319 | 115 1417 6234 | 4648 4311 14 | 1.746 % |
20.45/20.59 c | 423044 | 115 1417 6234 | 4648 4496 13 | 1.761 % |
20.65/20.70 c | 426041 | 115 1417 6234 | 4648 4233 14 | 1.717 % |
20.76/20.83 c | 429338 | 115 1417 6234 | 4648 4507 14 | 1.790 % |
20.86/20.96 c | 432967 | 115 1417 6234 | 4657 4580 17 | 1.768 % |
21.05/21.14 c | 436955 | 115 1417 6234 | 4657 4682 22 | 1.717 % |
21.05/21.15 c | 437055 | 115 1417 6234 | 4657 4039 22 | 1.761 % |
21.05/21.15 c | 437165 | 115 1417 6234 | 4657 4149 22 | 1.768 % |
21.05/21.16 c | 437286 | 115 1417 6234 | 4657 4270 21 | 1.732 % |
21.05/21.17 c | 437421 | 115 1417 6234 | 4657 4405 21 | 1.761 % |
21.05/21.18 c | 437569 | 115 1417 6234 | 4657 4553 21 | 1.761 % |
21.05/21.19 c | 437730 | 115 1417 6234 | 4657 3970 19 | 1.761 % |
21.05/21.19 c | 437907 | 115 1417 6234 | 4657 4147 19 | 1.761 % |
21.15/21.21 c | 438101 | 115 1417 6234 | 4657 4341 18 | 1.761 % |
21.15/21.21 c | 438313 | 115 1417 6234 | 4657 4553 18 | 1.761 % |
21.15/21.23 c | 438547 | 115 1417 6234 | 4657 4050 17 | 1.717 % |
21.15/21.24 c | 438803 | 115 1417 6234 | 4657 4306 16 | 1.761 % |
21.15/21.25 c | 439086 | 115 1417 6234 | 4657 4589 16 | 1.761 % |
21.15/21.26 c | 439397 | 115 1417 6234 | 4657 4174 15 | 1.761 % |
21.15/21.28 c | 439739 | 115 1417 6234 | 4657 4516 15 | 1.768 % |
21.15/21.29 c | 440111 | 115 1417 6234 | 4045 3528 12 | 1.768 % |
21.25/21.30 c | 440521 | 115 1417 6234 | 4045 3938 13 | 1.717 % |
21.25/21.32 c | 440970 | 115 1417 6234 | 4045 3853 13 | 1.717 % |
21.25/21.34 c | 441464 | 115 1417 6234 | 4045 3831 13 | 1.761 % |
21.25/21.36 c | 442006 | 115 1417 6234 | 4045 3877 14 | 1.717 % |
21.25/21.38 c | 442604 | 115 1417 6234 | 4045 3987 14 | 1.775 % |
21.35/21.40 c | 443262 | 115 1417 6234 | 4045 3681 17 | 1.717 % |
21.35/21.43 c | 443984 | 115 1417 6234 | 4045 3887 19 | 1.717 % |
21.35/21.47 c | 444776 | 115 1417 6234 | 4045 3575 21 | 1.717 % |
21.45/21.51 c | 445647 | 115 1417 6234 | 4045 3861 21 | 1.717 % |
21.45/21.55 c | 446605 | 115 1417 6234 | 4045 3609 19 | 1.775 % |
21.45/21.59 c | 447660 | 115 1417 6234 | 4045 4065 18 | 1.717 % |
21.55/21.64 c | 448818 | 115 1417 6234 | 4045 4059 16 | 1.717 % |
21.65/21.70 c | 450093 | 115 1417 6234 | 3565 3170 14 | 1.717 % |
21.65/21.74 c | 451494 | 115 1417 6234 | 3565 3389 13 | 1.717 % |
21.65/21.79 c | 453034 | 115 1417 6234 | 3565 3491 15 | 1.717 % |
21.75/21.85 c | 454729 | 115 1417 6234 | 3565 3386 15 | 1.761 % |
21.86/21.93 c | 456595 | 115 1417 6234 | 3565 3453 16 | 1.717 % |
21.86/22.00 c | 458646 | 114 1371 6067 | 3565 2918 16 | 2.571 % |
21.96/22.08 c | 460899 | 114 1371 6067 | 2147483647 4450 16 | 2.571 % |
22.05/22.19 c | 463378 | 114 1371 6067 | 2147483647 6929 16 | 2.572 % |
22.25/22.37 c | 466104 | 114 1371 6067 | 2147483647 9655 16 | 2.571 % |
22.45/22.59 c | 469103 | 114 1371 6067 | 2147483647 12654 15 | 2.572 % |
22.65/22.78 c | 472399 | 114 1371 6067 | 13552 12120 15 | 2.572 % |
22.85/22.99 c | 476024 | 113 1326 5902 | 13552 9030 15 | 3.477 % |
23.15/23.24 c | 480014 | 112 1326 5902 | 13006 13019 15 | 4.347 % |
23.45/23.52 c | 484402 | 112 1326 5902 | 13006 8480 15 | 4.289 % |
23.45/23.53 c | 484502 | 112 1326 5902 | 13006 8580 15 | 4.281 % |
23.45/23.54 c | 484614 | 112 1326 5902 | 13006 8692 15 | 4.282 % |
23.45/23.54 c | 484736 | 112 1326 5902 | 13006 8814 15 | 4.281 % |
23.45/23.55 c | 484871 | 112 1326 5902 | 13006 8949 15 | 4.281 % |
23.45/23.56 c | 485017 | 112 1326 5902 | 13006 9095 15 | 4.281 % |
23.45/23.57 c | 485179 | 112 1326 5902 | 13006 9257 15 | 4.347 % |
23.45/23.59 c | 485357 | 112 1281 5736 | 13006 8202 16 | 4.318 % |
23.55/23.60 c | 485552 | 112 1281 5736 | 13006 8397 16 | 4.376 % |
23.55/23.61 c | 485764 | 112 1281 5736 | 13006 8609 15 | 4.355 % |
23.55/23.63 c | 485998 | 112 1281 5736 | 13006 8843 15 | 4.333 % |
23.55/23.64 c | 486256 | 112 1281 5736 | 13006 9101 15 | 4.281 % |
23.55/23.66 c | 486537 | 112 1281 5736 | 13006 9382 15 | 4.317 % |
23.55/23.68 c | 486846 | 112 1281 5736 | 13006 9691 15 | 4.281 % |
23.65/23.71 c | 487187 | 112 1281 5736 | 13006 10032 15 | 4.332 % |
23.65/23.73 c | 487559 | 112 1281 5736 | 13006 10404 15 | 4.347 % |
23.65/23.76 c | 487968 | 112 1281 5736 | 13006 10813 15 | 4.288 % |
23.65/23.78 c | 488417 | 112 1281 5736 | 13006 11262 15 | 4.282 % |
23.75/23.81 c | 488911 | 112 1281 5736 | 13006 11756 15 | 4.339 % |
23.75/23.86 c | 489453 | 112 1281 5736 | 13006 12298 15 | 4.289 % |
23.85/23.92 c | 490050 | 112 1281 5736 | 12847 8271 14 | 4.281 % |
23.85/23.95 c | 490710 | 112 1281 5736 | 12847 8931 14 | 4.333 % |
23.85/23.99 c | 491433 | 112 1281 5736 | 12847 9654 14 | 4.288 % |
23.95/24.04 c | 492227 | 112 1281 5736 | 12847 10448 14 | 4.281 % |
24.05/24.10 c | 493098 | 112 1281 5736 | 12847 11319 14 | 4.281 % |
24.05/24.18 c | 494058 | 112 1281 5736 | 12847 12279 14 | 4.281 % |
24.15/24.27 c | 495113 | 112 1281 5736 | 12847 8592 14 | 4.361 % |
24.25/24.31 c ===============================================================================
24.25/24.31 c restarts : 889
24.25/24.31 c conflicts : 495637 (20442 /sec)
24.25/24.31 c decisions : 676188 (1.62 % random) (27888 /sec)
24.25/24.31 c propagations : 7272794 (299955 /sec)
24.25/24.31 c conflict literals : 7642187 (36.08 % deleted)
24.25/24.31 c Memory used : 4.64 MB
24.25/24.31 c CPU time : 24.2463 s
24.25/24.31 c
24.25/24.31 s UNSATISFIABLE
24.25/24.31 s UNSATISFIABLE
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1832145-1242769758/watcher-1832145-1242769758 -o /tmp/evaluation-result-1832145-1242769758/solver-1832145-1242769758 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1832145-1242769758.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: 0.92 0.98 0.95 3/64 13027
/proc/meminfo: memFree=1861352/2055920 swapFree=4180404/4192956
[pid=13027] ppid=13025 vsize=880 CPUtime=0
/proc/13027/stat : 13027 (SatELiteGTI) R 13025 13027 12911 0 -1 4194304 41 0 0 0 0 0 0 0 20 0 1 0 305003305 901120 25 1992294400 4194304 4889804 548682068832 18446744073709551615 273651135881 0 0 4096 0 0 0 0 17 1 0 0
/proc/13027/statm: 220 25 18 169 0 8 0
[startup+0.0459331 s]
/proc/loadavg: 0.92 0.98 0.95 3/64 13027
/proc/meminfo: memFree=1861352/2055920 swapFree=4180404/4192956
[pid=13027] ppid=13025 vsize=5356 CPUtime=0.01
/proc/13027/stat : 13027 (SatELiteGTI) S 13025 13027 12911 0 -1 4194304 336 405 0 0 0 0 1 0 16 0 1 0 305003305 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 273653752644 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/13027/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 5356
[startup+0.101933 s]
/proc/loadavg: 0.92 0.98 0.95 3/64 13027
/proc/meminfo: memFree=1861352/2055920 swapFree=4180404/4192956
[pid=13027] ppid=13025 vsize=5356 CPUtime=0.01
/proc/13027/stat : 13027 (SatELiteGTI) S 13025 13027 12911 0 -1 4194304 336 405 0 0 0 0 1 0 16 0 1 0 305003305 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 273653752644 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/13027/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 5356
[startup+0.301947 s]
/proc/loadavg: 0.92 0.98 0.95 3/64 13027
/proc/meminfo: memFree=1861352/2055920 swapFree=4180404/4192956
[pid=13027] ppid=13025 vsize=5356 CPUtime=0.01
/proc/13027/stat : 13027 (SatELiteGTI) S 13025 13027 12911 0 -1 4194304 336 405 0 0 0 0 1 0 16 0 1 0 305003305 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 273653752644 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/13027/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 5356
[startup+0.701974 s]
/proc/loadavg: 0.92 0.98 0.95 3/64 13027
/proc/meminfo: memFree=1861352/2055920 swapFree=4180404/4192956
[pid=13027] ppid=13025 vsize=5356 CPUtime=0.01
/proc/13027/stat : 13027 (SatELiteGTI) S 13025 13027 12911 0 -1 4194304 336 405 0 0 0 0 1 0 16 0 1 0 305003305 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 273653752644 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/13027/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 5356
[startup+1.50103 s]
/proc/loadavg: 0.92 0.98 0.95 2/66 13033
/proc/meminfo: memFree=1858704/2055920 swapFree=4180404/4192956
[pid=13027] ppid=13025 vsize=5356 CPUtime=0.01
/proc/13027/stat : 13027 (SatELiteGTI) S 13025 13027 12911 0 -1 4194304 336 405 0 0 0 0 1 0 16 0 1 0 305003305 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 273653752644 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/13027/statm: 1339 239 197 169 0 50 0
[pid=13033] ppid=13027 vsize=4480 CPUtime=1.45
/proc/13033/stat : 13033 (minisat_static) R 13027 13027 12911 0 -1 4194304 775 0 0 0 145 0 0 0 25 0 1 0 305003307 4587520 761 1992294400 134512640 135215339 4294956240 18446744073709551615 134528734 0 0 4096 3 0 0 0 17 1 0 0
/proc/13033/statm: 1120 761 76 171 0 947 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 9836
[startup+3.10114 s]
/proc/loadavg: 0.92 0.98 0.95 2/66 13033
/proc/meminfo: memFree=1858000/2055920 swapFree=4180404/4192956
[pid=13027] ppid=13025 vsize=5356 CPUtime=0.01
/proc/13027/stat : 13027 (SatELiteGTI) S 13025 13027 12911 0 -1 4194304 336 405 0 0 0 0 1 0 16 0 1 0 305003305 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 273653752644 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/13027/statm: 1339 239 197 169 0 50 0
[pid=13033] ppid=13027 vsize=4616 CPUtime=3.05
/proc/13033/stat : 13033 (minisat_static) R 13027 13027 12911 0 -1 4194304 801 0 0 0 305 0 0 0 25 0 1 0 305003307 4726784 787 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/13033/statm: 1154 787 76 171 0 981 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 9972
[startup+6.30235 s]
/proc/loadavg: 0.93 0.98 0.95 2/66 13033
/proc/meminfo: memFree=1857808/2055920 swapFree=4180404/4192956
[pid=13027] ppid=13025 vsize=5356 CPUtime=0.01
/proc/13027/stat : 13027 (SatELiteGTI) S 13025 13027 12911 0 -1 4194304 336 405 0 0 0 0 1 0 16 0 1 0 305003305 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 273653752644 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/13027/statm: 1339 239 197 169 0 50 0
[pid=13033] ppid=13027 vsize=4616 CPUtime=6.26
/proc/13033/stat : 13033 (minisat_static) R 13027 13027 12911 0 -1 4194304 806 0 0 0 625 1 0 0 25 0 1 0 305003307 4726784 792 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/13033/statm: 1154 792 76 171 0 981 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 9972
[startup+12.7018 s]
/proc/loadavg: 0.93 0.98 0.95 2/66 13033
/proc/meminfo: memFree=1857752/2055920 swapFree=4180404/4192956
[pid=13027] ppid=13025 vsize=5356 CPUtime=0.01
/proc/13027/stat : 13027 (SatELiteGTI) S 13025 13027 12911 0 -1 4194304 336 405 0 0 0 0 1 0 16 0 1 0 305003305 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 273653752644 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/13027/statm: 1339 239 197 169 0 50 0
[pid=13033] ppid=13027 vsize=4748 CPUtime=12.65
/proc/13033/stat : 13033 (minisat_static) R 13027 13027 12911 0 -1 4194304 818 0 0 0 1264 1 0 0 25 0 1 0 305003307 4861952 804 1992294400 134512640 135215339 4294956240 18446744073709551615 134526885 0 0 4096 3 0 0 0 17 1 0 0
/proc/13033/statm: 1187 804 76 171 0 1014 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 10104
Solver just ended. Dumping a history of the last processes samples
[startup+19.1012 s]
/proc/loadavg: 0.94 0.98 0.95 2/66 13033
/proc/meminfo: memFree=1857624/2055920 swapFree=4180404/4192956
[pid=13027] ppid=13025 vsize=5356 CPUtime=0.01
/proc/13027/stat : 13027 (SatELiteGTI) S 13025 13027 12911 0 -1 4194304 336 405 0 0 0 0 1 0 16 0 1 0 305003305 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 273653752644 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/13027/statm: 1339 239 197 169 0 50 0
[pid=13033] ppid=13027 vsize=4748 CPUtime=19.05
/proc/13033/stat : 13033 (minisat_static) R 13027 13027 12911 0 -1 4194304 843 0 0 0 1904 1 0 0 25 0 1 0 305003307 4861952 829 1992294400 134512640 135215339 4294956240 18446744073709551615 134528811 0 0 4096 3 0 0 0 17 1 0 0
/proc/13033/statm: 1187 829 76 171 0 1014 0
Current children cumulated CPU time (s) 19.06
Current children cumulated vsize (KiB) 10104
[startup+22.3014 s]
/proc/loadavg: 0.94 0.98 0.95 2/66 13033
/proc/meminfo: memFree=1857624/2055920 swapFree=4180404/4192956
[pid=13027] ppid=13025 vsize=5356 CPUtime=0.01
/proc/13027/stat : 13027 (SatELiteGTI) S 13025 13027 12911 0 -1 4194304 336 405 0 0 0 0 1 0 16 0 1 0 305003305 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 273653752644 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/13027/statm: 1339 239 197 169 0 50 0
[pid=13033] ppid=13027 vsize=4748 CPUtime=22.24
/proc/13033/stat : 13033 (minisat_static) R 13027 13027 12911 0 -1 4194304 843 0 0 0 2223 1 0 0 25 0 1 0 305003307 4861952 829 1992294400 134512640 135215339 4294956240 18446744073709551615 134528742 0 0 4096 3 0 0 0 17 1 0 0
/proc/13033/statm: 1187 829 76 171 0 1014 0
Current children cumulated CPU time (s) 22.25
Current children cumulated vsize (KiB) 10104
[startup+23.1055 s]
/proc/loadavg: 0.94 0.98 0.95 2/66 13033
/proc/meminfo: memFree=1857624/2055920 swapFree=4180404/4192956
[pid=13027] ppid=13025 vsize=5356 CPUtime=0.01
/proc/13027/stat : 13027 (SatELiteGTI) S 13025 13027 12911 0 -1 4194304 336 405 0 0 0 0 1 0 16 0 1 0 305003305 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 273653752644 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/13027/statm: 1339 239 197 169 0 50 0
[pid=13033] ppid=13027 vsize=4748 CPUtime=23.05
/proc/13033/stat : 13033 (minisat_static) R 13027 13027 12911 0 -1 4194304 843 0 0 0 2304 1 0 0 25 0 1 0 305003307 4861952 829 1992294400 134512640 135215339 4294956240 18446744073709551615 134528714 0 0 4096 3 0 0 0 17 1 0 0
/proc/13033/statm: 1187 829 76 171 0 1014 0
Current children cumulated CPU time (s) 23.06
Current children cumulated vsize (KiB) 10104
[startup+23.9026 s]
/proc/loadavg: 0.94 0.98 0.95 2/66 13033
/proc/meminfo: memFree=1857624/2055920 swapFree=4180404/4192956
[pid=13027] ppid=13025 vsize=5356 CPUtime=0.01
/proc/13027/stat : 13027 (SatELiteGTI) S 13025 13027 12911 0 -1 4194304 336 405 0 0 0 0 1 0 16 0 1 0 305003305 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 273653752644 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/13027/statm: 1339 239 197 169 0 50 0
[pid=13033] ppid=13027 vsize=4748 CPUtime=23.84
/proc/13033/stat : 13033 (minisat_static) R 13027 13027 12911 0 -1 4194304 843 0 0 0 2383 1 0 0 25 0 1 0 305003307 4861952 829 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/13033/statm: 1187 829 76 171 0 1014 0
Current children cumulated CPU time (s) 23.85
Current children cumulated vsize (KiB) 10104
[startup+24.3026 s]
/proc/loadavg: 0.95 0.98 0.95 2/66 13033
/proc/meminfo: memFree=1857624/2055920 swapFree=4180404/4192956
[pid=13027] ppid=13025 vsize=5356 CPUtime=0.01
/proc/13027/stat : 13027 (SatELiteGTI) S 13025 13027 12911 0 -1 4194304 336 405 0 0 0 0 1 0 16 0 1 0 305003305 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 273653752644 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/13027/statm: 1339 239 197 169 0 50 0
[pid=13033] ppid=13027 vsize=4748 CPUtime=24.24
/proc/13033/stat : 13033 (minisat_static) R 13027 13027 12911 0 -1 4194304 843 0 0 0 2423 1 0 0 25 0 1 0 305003307 4861952 829 1992294400 134512640 135215339 4294956240 18446744073709551615 134528809 0 0 4096 3 0 0 0 17 1 0 0
/proc/13033/statm: 1187 829 76 171 0 1014 0
Current children cumulated CPU time (s) 24.25
Current children cumulated vsize (KiB) 10104
Child status: 20
Real time (s): 24.3175
CPU time (s): 24.2843
CPU user time (s): 24.2593
CPU system time (s): 0.024996
CPU usage (%): 99.8636
Max. virtual memory (cumulated for all children) (KiB): 10104
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 24.2593
system time used= 0.024996
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1746
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= 23
involuntary context switches= 1033
runsolver used 0.044993 second user time and 0.095985 second system time
The end
Begin job on node52 at 2009-05-19 23:49:18
IDJOB=1832145
IDBENCH=24579
IDSOLVER=671
FILE ID=node52/1832145-1242769758
PBS_JOBID= 9322249
Free space on /tmp= 66144 MiB
SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT07/crafted/Medium/contest05/sabharwal/counting-clqcolor-unsat-set-b-clqcolor-08-06-07.sat05-1257.reshuffled-07.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1832145-1242769758/watcher-1832145-1242769758 -o /tmp/evaluation-result-1832145-1242769758/solver-1832145-1242769758 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1832145-1242769758.cnf
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= f1a3e3797897d8c4a2bfe10d09ad0bda
RANDOM SEED=691784632
node52.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.214
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.214
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: 1861832 kB
Buffers: 12820 kB
Cached: 144076 kB
SwapCached: 7052 kB
Active: 18916 kB
Inactive: 147700 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1861832 kB
SwapTotal: 4192956 kB
SwapFree: 4180404 kB
Dirty: 1596 kB
Writeback: 0 kB
Mapped: 13484 kB
Slab: 13428 kB
Committed_AS: 1122428 kB
PageTables: 1480 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= 66144 MiB
End job on node52 at 2009-05-19 23:49:43